QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for Generalized-Tic-Tac-Toe
QBFEVAL'18 - Prenex CNF Track
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| gttt_2_1_00011020_4x4_b | 3 | 9 | Qute_default, Qute_opt500, Qute_random |
| gttt_2_1_00102030_4x4_torus_b | 3 | 9 | Qute_default, Qute_opt500, Qute_random |
| gttt_2_1_001020_4x4_torus_w | 3 | 13 | Qute_default, Qute_opt500, Qute_random |
| gttt_2_2_000111_4x4_torus_w | 3 | 11 | Qute_default, Qute_opt500, Qute_random |
| gttt_2_2_000111_4x4_w | 3 | 11 | Qute_default, Qute_opt500, Qute_random |