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

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT1.81
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT1.82
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT1.82
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT1.98
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL21.32
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL22.21
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL22.38
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL22.7
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL22.77
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL22.83
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL23.02
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL23.03
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL23.05
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL23.11
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL23.13
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL23.15
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL24.23
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL24.83
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL24.98
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL25.27
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL25.46
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL25.59
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL25.59
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL25.62
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL25.69
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL25.77
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL25.78
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL26.03
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL26.1
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL26.44
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL26.62
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL26.65
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL26.66
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL26.72
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL27.09
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL27.12
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL27.19
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL27.44
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL27.84
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL27.89
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL27.92
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL27.98
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL28.12
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL28.16
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL28.43
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL28.73
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL29.02
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL29.12
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL29.19
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL29.51
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL29.85
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL30.17
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL30.39
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL30.46
ttt_5x5-shape-5-GTTT-2-2-torus-0FAIL31.1
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL31.13
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL31.3
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL31.44
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL32.01
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL33.57
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL33.91
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL35.35
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL35.84
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL36.64