QBF Solver Evaluation Portal
qbflib.orgInstances of family PositionalGames_gttt solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| ttt_5x5-shape-6-GTTT-1-2-torus-0 | SAT | 10.92 | |
| ttt_5x5-shape-3-GTTT-1-2-torus-1 | SAT | 141.95 | |
| ttt_5x5-shape-3-GTTT-1-2-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-5-GTTT-2-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-1-2-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-5-GTTT-2-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-2-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-2-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-2-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-2-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-6-GTTT-2-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-2-2-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-2-2-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-6-GTTT-2-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-2-2-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-2-2-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-1-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-1-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-4-GTTT-2-1-torus-0 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-1-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-3-GTTT-1-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-4-GTTT-2-1-torus-1 | FAIL | 3600 | |
| ttt_5x5-shape-7-GTTT-1-2-torus-0 | FAIL | 3600 |