Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | all-logic.smt2 | 105 | logplain |
-rw-r--r-- | coeff-sat.smt2 | 236 | logplain |
-rw-r--r-- | ext-rew-aggr-test.smt2 | 8691 | logplain |
-rw-r--r-- | magnitude-wrong-1020-m.smt2 | 2580 | logplain |
-rw-r--r-- | mult-po.smt2 | 330 | logplain |
-rw-r--r-- | nia-wrong-tl.smt2 | 1224 | logplain |
-rw-r--r-- | nlExtPurify-test.smt2 | 843 | logplain |
d--------- | nta | 397 | logplain |
-rw-r--r-- | real-as-int.smt2 | 234 | logplain |
-rw-r--r-- | real-div-ufnra.smt2 | 275 | logplain |
-rw-r--r-- | sqrt2-value.smt2 | 201 | logplain |
-rw-r--r-- | subs0-unsat-confirm.smt2 | 378 | logplain |
-rw-r--r-- | very-easy-sat.smt2 | 1036 | logplain |
-rw-r--r-- | very-simple-unsat.smt2 | 288 | logplain |