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

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.2
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.22
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.24
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0.26
ttt_5x5-shape-0-GTTT-1-1-torus-1SAT0.35
ttt_5x5-shape-2-GTTT-1-2-torus-0SAT0.41
ttt_5x5-shape-0-GTTT-1-1-torus-0SAT0.44
ttt_5x5-shape-1-GTTT-1-1-torus-1SAT3.39
ttt_5x5-shape-1-GTTT-1-1-torus-0SAT3.76
ttt_5x5-shape-2-GTTT-1-1-torus-0SAT3.95
ttt_5x5-shape-2-GTTT-1-1-torus-1SAT4.24
ttt_5x5-shape-2-GTTT-2-2-torus-0SAT5.29
ttt_5x5-shape-4-GTTT-2-2-torus-1SAT5.94
ttt_5x5-shape-1-GTTT-2-1-torus-0SAT6.28
ttt_5x5-shape-1-GTTT-2-1-torus-1SAT6.52
ttt_5x5-shape-2-GTTT-2-1-torus-0SAT6.78
ttt_5x5-shape-6-GTTT-2-2-torus-1SAT6.91
ttt_5x5-shape-2-GTTT-2-1-torus-1SAT6.96
ttt_5x5-shape-5-GTTT-2-2-torus-1SAT9.78
ttt_5x5-shape-5-GTTT-2-2-torus-0SAT13.12
ttt_5x5-shape-1-GTTT-1-2-torus-1SAT76.72
ttt_5x5-shape-2-GTTT-1-2-torus-1SAT77.07
ttt_5x5-shape-1-GTTT-1-2-torus-0SAT77.32
ttt_5x5-shape-2-GTTT-2-2-torus-1SAT84.65
ttt_5x5-shape-4-GTTT-2-2-torus-0SAT85.65
ttt_5x5-shape-6-GTTT-1-2-torus-1SAT86.65
ttt_5x5-shape-5-GTTT-1-2-torus-1SAT87.55
ttt_5x5-shape-4-GTTT-1-2-torus-1SAT87.7
ttt_5x5-shape-6-GTTT-2-2-torus-0SAT93.66
ttt_5x5-shape-5-GTTT-1-2-torus-0SAT120.45
ttt_5x5-shape-1-GTTT-2-2-torus-0SAT190.08
ttt_5x5-shape-1-GTTT-2-2-torus-1SAT269.69
ttt_5x5-shape-4-GTTT-1-2-torus-0SAT276.61
ttt_5x5-shape-6-GTTT-1-1-torus-1SAT319.53
ttt_5x5-shape-5-GTTT-1-1-torus-0SAT340.96
ttt_5x5-shape-4-GTTT-1-1-torus-1SAT350.43
ttt_5x5-shape-5-GTTT-1-1-torus-1SAT378.96
ttt_5x5-shape-6-GTTT-1-1-torus-0SAT601.4
ttt_5x5-shape-4-GTTT-1-1-torus-0SAT620.38
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL886.49
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL886.75
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL887.1
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL887.12
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL887.57
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL887.63
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL887.71
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL887.86
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL888.21
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL888.29
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL888.41
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL888.78
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL889.15
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL889.45
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL889.71
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL889.91
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL889.97
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL890.01
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL890.1
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL890.17
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL890.27
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL890.29
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL890.36
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL890.59
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL890.61