QBF Solver Evaluation Portal
qbflib.orgInstances of family gttt-4x4_2020 solved by caqe-pre
Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| gttt_2_2_000111_4x4_torus_w_2020 | UNSAT | 451.6 | |
| gttt_2_2_000111_4x4_w_2020 | UNSAT | 451.63 | |
| gttt_2_2_000111_4x4_torus_b_2020 | SAT | 453.51 | |
| gttt_2_1_001020_4x4_torus_w_2020 | UNSAT | 454.5 | |
| gttt_2_2_000111_4x4_b_2020 | SAT | 455.95 | |
| gttt_2_1_00102030_4x4_torus_b_2020 | UNSAT | 483.88 | |
| gttt_1_1_000111_4x4_torus_w_2020 | UNSAT | 498.17 | |
| gttt_2_1_00011020_4x4_b_2020 | UNSAT | 500.49 | |
| gttt_1_1_000111_4x4_torus_b_2020 | SAT | 544.17 | |
| gttt_1_1_00101121_4x4_torus_w_2020 | FAIL | 900 |