Instances of family PositionalGames_gttt solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT1.9
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT1.93
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT1.95
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT2
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-2-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-5-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL900
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-5-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-2-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-0FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-2-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-7-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-2-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-5-GTTT-2-2-torus-0FAIL900
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-1FAIL900
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL900