Instance | Result | Time | |
---|---|---|---|
stmt21_84_215 | UNSAT | 1.65 | |
stmt21_181_218 | UNSAT | 2.23 | |
stmt53_208_245 | UNSAT | 2.39 | |
stmt22_320_370 | SAT | 4.03 | |
stmt21_354_403 | SAT | 4.85 | |
stmt21_71_354 | UNSAT | 5.98 | |
stmt19_180_352 | UNSAT | 6.27 | |
stmt19_352_359 | UNSAT | 6.69 | |
stmt31_190_227 | UNSAT | 7.68 | |
stmt46_111_238 | UNSAT | 8.4 | |
stmt27_16_224 | UNSAT | 8.94 | |
stmt19_137_408 | UNSAT | 14.91 | |
stmt21_84_364 | UNSAT | 15.89 | |
stmt19_133_217 | UNSAT | 17.84 | |
stmt19_302_352 | SAT | 20.02 | |
stmt22_311_370 | UNSAT | 22.11 | |
stmt19_368_417 | SAT | 24.78 | |
stmt27_149_224 | UNSAT | 26.29 | |
stmt31_22_328 | UNSAT | 26.81 | |
stmt19_66_214 | UNSAT | 35.61 | |
stmt53_296_346 | UNSAT | 38.32 | |
stmt85_300_399 | SAT | 40.86 | |
stmt21_143_403 | UNSAT | 43.88 | |
stmt47_340_389 | UNSAT | 47.6 | |
stmt19_90_408 | UNSAT | 56.35 | |
stmt47_290_340 | UNSAT | 58.4 | |
stmt21_71_413 | UNSAT | 61.4 | |
stmt21_178_258 | UNSAT | 66.14 | |
stmt41_286_385 | UNSAT | 68.87 | |
stmt44_40_387 | UNSAT | 98.63 | |
stmt21_70_369 | UNSAT | 101.84 | |
stmt46_289_388 | UNSAT | 105.69 | |
stmt31_276_328 | UNSAT | 108.13 | |
stmt22_6_414 | UNSAT | 133.78 | |
stmt19_3_401 | UNSAT | 157.67 | |
stmt41_336_385 | UNSAT | 217.18 | |
stmt50_343_392 | UNSAT | 282.97 | |
stmt52_295_394 | UNSAT | 375.61 | |
stmt29_275_376 | FAIL | 900 |