Instance | Solver | Result | Time | |
---|---|---|---|---|
stmt19_217_309 | caqe-portfolio | UNSAT | 5.53 | |
stmt19_3_214 | caqe-portfolio | UNSAT | 36.28 | |
stmt19_83_412 | aqme-10 | UNSAT | 13.1 | |
stmt19_90_266 | squeezebf+aqme | UNSAT | 3.18 | |
stmt21_79_304 | caqe-portfolio | UNSAT | 3.53 | |
stmt27_16_97 | caqe-portfolio | UNSAT | 0.82 | |
stmt29_226_376 | aqme-10 | UNSAT | 9.94 | |
stmt52_244_394 | aqme-10 | UNSAT | 8.67 |