Instances of family PositionalGames_gttt solved by CUED1919_NL
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL13.09
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL13.09
ttt_5x5-shape-0-GTTT-1-2-torus-1FAIL13.1
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL13.11
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL13.11
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL13.15
ttt_5x5-shape-0-GTTT-1-2-torus-0FAIL13.17
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL13.18
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL13.21
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL13.22
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL13.22
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL13.23
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL13.25
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL13.29
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL13.29
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL13.96
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL15.3
ttt_5x5-shape-5-GTTT-2-2-torus-0FAIL15.36
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL15.36
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL15.39
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL15.56
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL15.58
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL15.6
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL15.64
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL15.65
ttt_5x5-shape-0-GTTT-2-2-torus-1FAIL15.7
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL15.73
ttt_5x5-shape-0-GTTT-2-2-torus-0FAIL15.77
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL15.79
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL15.83
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL15.85
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL16.03
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL16.9
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL16.92
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL16.93
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL16.97
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL16.99
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL17.01
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL17.02
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL17.03
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL17.06
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL17.1
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL17.1
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL17.1
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL17.14
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL17.15
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL17.16
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL17.2
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL17.25
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL17.28
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL17.35
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL17.35
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL17.35
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL17.39
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL17.74
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL17.86
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL17.86
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL17.89
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL18.1
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL18.21
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL18.21
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL18.29
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL18.57
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL18.76