| .. | | 09-Apr-2019 | - |
| jan24/ | H | 09-Apr-2019 | - | 95 | 80 |
| jan27/ | H | 09-Apr-2019 | - | 69 | 64 |
| jan28/ | H | 09-Apr-2019 | - | 34 | 25 |
| jan30/ | H | 09-Apr-2019 | - | 47 | 39 |
| mar2014/ | H | 09-Apr-2019 | - | 50 | 42 |
| abt-min.smt2 | H A D | 09-Apr-2019 | 382 | 23 | 16 |
| abt-te-exh.smt2 | H A D | 09-Apr-2019 | 297 | 14 | 9 |
| abt-te-exh2.smt2 | H A D | 09-Apr-2019 | 551 | 25 | 19 |
| card-2.smt2 | H A D | 09-Apr-2019 | 260 | 12 | 11 |
| card-3sets.cvc | H A D | 09-Apr-2019 | 162 | 10 | 7 |
| card.smt2 | H A D | 09-Apr-2019 | 218 | 10 | 9 |
| card3-ground.smt2 | H A D | 09-Apr-2019 | 143 | 7 | 6 |
| complement.cvc | H A D | 09-Apr-2019 | 145 | 11 | 8 |
| complement2.cvc | H A D | 09-Apr-2019 | 182 | 13 | 10 |
| complement3.cvc | H A D | 09-Apr-2019 | 367 | 16 | 15 |
| cvc-sample.cvc | H A D | 09-Apr-2019 | 963 | 56 | 55 |
| dt-simp-mem.smt2 | H A D | 09-Apr-2019 | 240 | 10 | 9 |
| emptyset.smt2 | H A D | 09-Apr-2019 | 108 | 5 | 4 |
| eqtest.smt2 | H A D | 09-Apr-2019 | 536 | 19 | 18 |
| error1.smt2 | H A D | 09-Apr-2019 | 273 | 14 | 11 |
| error2.smt2 | H A D | 09-Apr-2019 | 117 | 5 | 4 |
| insert.smt2 | H A D | 09-Apr-2019 | 176 | 8 | 7 |
| int-real-univ-unsat.smt2 | H A D | 09-Apr-2019 | 274 | 17 | 10 |
| int-real-univ.smt2 | H A D | 09-Apr-2019 | 270 | 17 | 10 |
| nonvar-univ.smt2 | H A D | 09-Apr-2019 | 275 | 14 | 11 |
| pre-proc-univ.smt2 | H A D | 09-Apr-2019 | 228 | 12 | 8 |
| rec_copy_loop_check_heap_access_43_4.smt2 | H A D | 09-Apr-2019 | 5.3 KiB | 150 | 114 |
| setel-eq.smt2 | H A D | 09-Apr-2019 | 244 | 11 | 10 |
| sets-equal.smt2 | H A D | 09-Apr-2019 | 329 | 15 | 14 |
| sets-extr.smt2 | H A D | 09-Apr-2019 | 294 | 16 | 10 |
| sets-inter.smt2 | H A D | 09-Apr-2019 | 281 | 12 | 11 |
| sets-new.smt2 | H A D | 09-Apr-2019 | 370 | 17 | 13 |
| sets-of-sets-subtypes.smt2 | H A D | 09-Apr-2019 | 329 | 15 | 10 |
| sets-poly-int-real.smt2 | H A D | 09-Apr-2019 | 553 | 18 | 16 |
| sets-poly-nonint.smt2 | H A D | 09-Apr-2019 | 290 | 12 | 11 |
| sets-sample.smt2 | H A D | 09-Apr-2019 | 1.6 KiB | 71 | 64 |
| sets-sharing.smt2 | H A D | 09-Apr-2019 | 191 | 12 | 8 |
| sets-testlemma-ints.smt2 | H A D | 09-Apr-2019 | 153 | 8 | 7 |
| sets-testlemma-reals.smt2 | H A D | 09-Apr-2019 | 155 | 8 | 7 |
| sets-testlemma.smt2 | H A D | 09-Apr-2019 | 170 | 8 | 7 |
| sets-union.smt2 | H A D | 09-Apr-2019 | 333 | 16 | 15 |
| sharing-simp.smt2 | H A D | 09-Apr-2019 | 324 | 16 | 12 |
| union-1a-flip.smt2 | H A D | 09-Apr-2019 | 334 | 17 | 15 |
| union-1a.smt2 | H A D | 09-Apr-2019 | 334 | 17 | 15 |
| union-1b-flip.smt2 | H A D | 09-Apr-2019 | 334 | 17 | 15 |
| union-1b.smt2 | H A D | 09-Apr-2019 | 334 | 17 | 15 |
| union-2.smt2 | H A D | 09-Apr-2019 | 301 | 13 | 12 |
| univset-simp.smt2 | H A D | 09-Apr-2019 | 510 | 24 | 19 |