Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Arrow_Order-smtlib.778341.smt | 19726 | logplain |
-rw-r--r-- | QEpres-uf.855035.smt | 3937 | logplain |
-rw-r--r-- | array_card.smt2 | 373 | logplain |
-rw-r--r-- | bounded_sets.smt2 | 382 | logplain |
-rw-r--r-- | bug-041417-set-options.cvc | 242 | logplain |
-rw-r--r-- | bug652.smt2 | 578 | logplain |
-rw-r--r-- | bug782.smt2 | 597 | logplain |
-rw-r--r-- | cruanes-no-minimal-unk.smt2 | 373 | logplain |
-rw-r--r-- | fc-simple.smt2 | 175 | logplain |
-rw-r--r-- | fc-unsat-pent.smt2 | 323 | logplain |
-rw-r--r-- | fc-unsat-tot-2.smt2 | 216 | logplain |
-rw-r--r-- | fd-false.smt2 | 157 | logplain |
-rw-r--r-- | fmc_unsound_model.smt2 | 627 | logplain |
-rw-r--r-- | fmf-strange-bounds-2.smt2 | 433 | logplain |
-rw-r--r-- | forall_unit_data2.smt2 | 244 | logplain |
-rw-r--r-- | krs-sat.smt2 | 811 | logplain |
-rw-r--r-- | no-minimal-sat.smt2 | 496 | logplain |
-rw-r--r-- | quant_real_univ.cvc | 510 | logplain |
-rw-r--r-- | sat-logic.smt2 | 175 | logplain |
-rw-r--r-- | sc_bad_model_1221.smt2 | 1087 | logplain |
-rw-r--r-- | sort-infer-typed-082718.smt2 | 189 | logplain |
-rw-r--r-- | syn002-si-real-int.smt2 | 374 | logplain |
-rw-r--r-- | tail_rec.smt2 | 305 | logplain |