Instances of family PositionalGames_gttt solved by prefix-opt-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.07
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0.07
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.07
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.14
ttt_5x5-shape-0-GTTT-1-1-torus-1SAT0.21
ttt_5x5-shape-2-GTTT-1-2-torus-0SAT0.21
ttt_5x5-shape-0-GTTT-1-1-torus-0SAT0.22
ttt_5x5-shape-1-GTTT-1-1-torus-1SAT3.25
ttt_5x5-shape-1-GTTT-1-1-torus-0SAT3.53
ttt_5x5-shape-2-GTTT-1-1-torus-0SAT3.83
ttt_5x5-shape-2-GTTT-1-1-torus-1SAT4.14
ttt_5x5-shape-2-GTTT-2-2-torus-0SAT5.13
ttt_5x5-shape-4-GTTT-2-2-torus-1SAT5.73
ttt_5x5-shape-1-GTTT-2-1-torus-0SAT6.06
ttt_5x5-shape-1-GTTT-2-1-torus-1SAT6.35
ttt_5x5-shape-2-GTTT-2-1-torus-0SAT6.55
ttt_5x5-shape-6-GTTT-2-2-torus-1SAT6.69
ttt_5x5-shape-2-GTTT-2-1-torus-1SAT6.82
ttt_5x5-shape-5-GTTT-2-2-torus-1SAT9.52
ttt_5x5-shape-5-GTTT-2-2-torus-0SAT12.79
ttt_5x5-shape-6-GTTT-1-1-torus-1SAT100.22
ttt_5x5-shape-5-GTTT-1-2-torus-0SAT100.9
ttt_5x5-shape-6-GTTT-1-1-torus-0SAT101.05
ttt_5x5-shape-4-GTTT-1-1-torus-1SAT104.33
ttt_5x5-shape-5-GTTT-1-2-torus-1SAT111.99
ttt_5x5-shape-5-GTTT-1-1-torus-0SAT130.28
ttt_5x5-shape-5-GTTT-1-1-torus-1SAT133.98
ttt_5x5-shape-4-GTTT-1-1-torus-0SAT240.02
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL900