Sota solver results for family PositionalGames_gttt
QBFEVAL'17 - Random QBFs Track


InstanceSolverResultTime
ttt_5x5-shape-0-GTTT-1-1-torus-0prefix-opt-depqbfSAT0.22
ttt_5x5-shape-0-GTTT-1-1-torus-1prefix-opt-depqbfSAT0.21
ttt_5x5-shape-0-GTTT-1-2-torus-0prefix-opt-depqbfSAT0.07
ttt_5x5-shape-0-GTTT-1-2-torus-1prefix-opt-depqbfSAT0.14
ttt_5x5-shape-0-GTTT-2-1-torus-0heretiqUNSAT72.23
ttt_5x5-shape-0-GTTT-2-1-torus-1ijtihad_v2UNSAT0.41
ttt_5x5-shape-0-GTTT-2-2-torus-0prefix-opt-depqbfSAT0.07
ttt_5x5-shape-0-GTTT-2-2-torus-1prefix-opt-depqbfSAT0.07
ttt_5x5-shape-1-GTTT-1-1-torus-0prefix-opt-depqbfSAT3.53
ttt_5x5-shape-1-GTTT-1-1-torus-1prefix-opt-depqbfSAT3.25
ttt_5x5-shape-1-GTTT-1-2-torus-0qbfrelay-limited-depqbfSAT77.32
ttt_5x5-shape-1-GTTT-1-2-torus-1qbfrelay-limited-depqbfSAT76.72
ttt_5x5-shape-1-GTTT-2-1-torus-0prefix-opt-depqbfSAT6.06
ttt_5x5-shape-1-GTTT-2-1-torus-1prefix-opt-depqbfSAT6.35
ttt_5x5-shape-1-GTTT-2-2-torus-0qbfrelay-limited-depqbfSAT190.08
ttt_5x5-shape-1-GTTT-2-2-torus-1qbfrelay-limited-depqbfSAT269.69
ttt_5x5-shape-2-GTTT-1-1-torus-0prefix-opt-depqbfSAT3.83
ttt_5x5-shape-2-GTTT-1-1-torus-1prefix-opt-depqbfSAT4.14
ttt_5x5-shape-2-GTTT-1-2-torus-0prefix-opt-depqbfSAT0.21
ttt_5x5-shape-2-GTTT-1-2-torus-1qbfrelay-limited-depqbfSAT77.07
ttt_5x5-shape-2-GTTT-2-1-torus-0prefix-opt-depqbfSAT6.55
ttt_5x5-shape-2-GTTT-2-1-torus-1prefix-opt-depqbfSAT6.82
ttt_5x5-shape-2-GTTT-2-2-torus-0prefix-opt-depqbfSAT5.13
ttt_5x5-shape-2-GTTT-2-2-torus-1qbfrelay-limited-depqbfSAT84.65
ttt_5x5-shape-4-GTTT-1-1-torus-0prefix-opt-depqbfSAT240.02
ttt_5x5-shape-4-GTTT-1-1-torus-1prefix-opt-depqbfSAT104.33
ttt_5x5-shape-4-GTTT-1-2-torus-0qbfrelay-limited-depqbfSAT276.61
ttt_5x5-shape-4-GTTT-1-2-torus-1qbfrelay-limited-depqbfSAT87.7
ttt_5x5-shape-4-GTTT-2-2-torus-0qbfrelay-limited-depqbfSAT85.65
ttt_5x5-shape-4-GTTT-2-2-torus-1prefix-opt-depqbfSAT5.73
ttt_5x5-shape-5-GTTT-1-1-torus-0prefix-opt-depqbfSAT130.28
ttt_5x5-shape-5-GTTT-1-1-torus-1prefix-opt-depqbfSAT133.98
ttt_5x5-shape-5-GTTT-1-2-torus-0prefix-opt-depqbfSAT100.9
ttt_5x5-shape-5-GTTT-1-2-torus-1qbfrelay-limited-depqbfSAT87.55
ttt_5x5-shape-5-GTTT-2-2-torus-0prefix-opt-depqbfSAT12.79
ttt_5x5-shape-5-GTTT-2-2-torus-1prefix-opt-depqbfSAT9.52
ttt_5x5-shape-6-GTTT-1-1-torus-0prefix-opt-depqbfSAT101.05
ttt_5x5-shape-6-GTTT-1-1-torus-1prefix-opt-depqbfSAT100.22
ttt_5x5-shape-6-GTTT-1-2-torus-1qbfrelay-limited-depqbfSAT86.65
ttt_5x5-shape-6-GTTT-2-2-torus-0qbfrelay-limited-depqbfSAT93.66
ttt_5x5-shape-6-GTTT-2-2-torus-1prefix-opt-depqbfSAT6.69