Instances of family PositionalGames_gttt solved by Hiqqer2019_1
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-1FAIL900.02
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.02
ttt_5x5-shape-0-GTTT-2-2-torus-0FAIL900.04
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.05
ttt_5x5-shape-0-GTTT-1-2-torus-0FAIL900.05
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.06
ttt_5x5-shape-0-GTTT-2-2-torus-1FAIL900.06
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.06
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.07
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900.08
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.08
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.08
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900.08
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900.09
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.09