Instance | Solver | Result | Time | |
---|---|---|---|---|
stmt19_313_412 | ijtihad_v2 | UNSAT | 1.46 | |
stmt19_83_412 | caqe_2017_v2 | UNSAT | 0.28 | |
stmt21_181_369 | caqe_2017_v2 | UNSAT | 0.27 | |
stmt21_310_360 | ijtihad_v2 | UNSAT | 1.45 | |
stmt21_319_418 | qbfrelay | SAT | 5.41 | |
stmt29_226_376 | caqe_2017_v2 | UNSAT | 0.26 | |
stmt32_329_378 | Qute_default | UNSAT | 2.31 | |
stmt39_285_335 | ijtihad_v2 | UNSAT | 0.71 | |
stmt41_160_235 | caqe_2017_v2 | UNSAT | 0.31 |