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

InstanceResultTime
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.43
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.46
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.47
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0.49
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL581.31
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL591.68
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL605.67
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL645.05
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL654.95
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL662.49
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL703.66
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL711.6
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL717.78
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL725.39
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL738.26
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL744.85
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL746.4
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL765.1
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL773.33
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL794.92
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL802.11
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL805.65
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL810.69
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL812.74
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL814.7
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL815.34
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL816.17
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL821.26
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL827.4
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL831.99
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL832.5
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL834.82
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL839.6
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL840.67
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL844.72
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL848.72
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL854.02
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL858.41
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL860.96
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL875.07
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL883.37
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL889.5
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL894.73
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL900
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-3-GTTT-2-1-torus-1FAIL900
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-1-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-3-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-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-4-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900