| .. | | 03-May-2022 | - |
| arith/ | H | 09-Apr-2019 | - | 3,790 | 3,752 |
| nl/ | H | 09-Apr-2019 | - | 92 | 83 |
| push-pop/ | H | 09-Apr-2019 | - | 1,183 | 1,182 |
| quantifiers/ | H | 09-Apr-2019 | - | 5,186 | 5,120 |
| strings/ | H | 09-Apr-2019 | - | 266 | 219 |
| sygus/ | H | 09-Apr-2019 | - | 919 | 786 |
| DTP_k2_n35_c175_s15.smt2 | H A D | 09-Apr-2019 | 10.1 KiB | 49 | 47 |
| FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2 | H A D | 09-Apr-2019 | 49.6 KiB | 1,361 | 1,359 |
| GEO123+1.minimized.smt2 | H A D | 09-Apr-2019 | 61.7 KiB | 397 | 395 |
| auflia-fuzz06.smt | H A D | 09-Apr-2019 | 10.8 KiB | 350 | 348 |
| bug136.smt | H A D | 09-Apr-2019 | 37.4 KiB | 1,150 | 1,148 |
| bug148.smt | H A D | 09-Apr-2019 | 4.2 KiB | 148 | 146 |
| bug394.smt2 | H A D | 09-Apr-2019 | 76.9 KiB | 1,729 | 1,726 |
| bug396.smt2 | H A D | 09-Apr-2019 | 164.8 KiB | 3,295 | 3,292 |
| bug674.smt2 | H A D | 09-Apr-2019 | 1 KiB | 29 | 22 |
| bug765.smt2 | H A D | 09-Apr-2019 | 873 | 31 | 22 |
| bug812.smt2 | H A D | 09-Apr-2019 | 31.1 KiB | 118 | 117 |
| error0.smt2 | H A D | 09-Apr-2019 | 352.5 KiB | 1,282 | 1,272 |
| error1.smt | H A D | 09-Apr-2019 | 27.5 KiB | 868 | 866 |
| friedman_n4_i5.smt | H A D | 09-Apr-2019 | 411.9 KiB | 13,458 | 13,455 |
| fuzz_2.smt | H A D | 09-Apr-2019 | 21.8 KiB | 700 | 698 |
| hash_sat_06_19.smt2 | H A D | 09-Apr-2019 | 24.1 KiB | 34 | 33 |
| hash_sat_07_17.smt2 | H A D | 09-Apr-2019 | 29.1 KiB | 33 | 32 |
| hash_sat_09_09.smt2 | H A D | 09-Apr-2019 | 25.4 KiB | 27 | 26 |
| hash_sat_10_09.smt2 | H A D | 09-Apr-2019 | 31.2 KiB | 28 | 27 |
| hole7.cvc | H A D | 09-Apr-2019 | 6.9 KiB | 265 | 262 |
| hole8.cvc | H A D | 09-Apr-2019 | 9.8 KiB | 374 | 371 |
| instance_1444.smt | H A D | 09-Apr-2019 | 152.2 KiB | 5,798 | 5,795 |
| javafe.ast.StandardPrettyPrint.319_no_forall.smt2 | H A D | 09-Apr-2019 | 113.7 KiB | 942 | 941 |
| javafe.ast.WhileStmt.447_no_forall.smt2 | H A D | 09-Apr-2019 | 81.2 KiB | 665 | 664 |
| ooo.rf6.smt2 | H A D | 09-Apr-2019 | 9.8 KiB | 32 | 30 |
| ooo.tag10.smt2 | H A D | 09-Apr-2019 | 42.8 KiB | 29 | 27 |
| piVC_5581bd.smt2 | H A D | 09-Apr-2019 | 3.9 KiB | 24 | 23 |
| simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2 | H A D | 09-Apr-2019 | 82.9 KiB | 675 | 674 |
| typed_v1l50016-simp.cvc | H A D | 09-Apr-2019 | 2.2 KiB | 44 | 39 |
| uflia-error0.smt2 | H A D | 09-Apr-2019 | 352.5 KiB | 1,285 | 1,274 |
| xs-09-16-3-4-1-5.decn.smt | H A D | 09-Apr-2019 | 6.7 KiB | 33 | 31 |
| xs-09-16-3-4-1-5.smt | H A D | 09-Apr-2019 | 6.6 KiB | 30 | 29 |
| xs-11-20-5-2-5-3.smt | H A D | 09-Apr-2019 | 7.8 KiB | 30 | 29 |
| xs-11-20-5-2-5-3.smt2 | H A D | 09-Apr-2019 | 6.4 KiB | 25 | 24 |