Sota solver results for family PositionalGames_gttt
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
ttt_5x5-shape-0-GTTT-1-1-torus-0depqbf_prefix_opt_qdoSAT0.02
ttt_5x5-shape-0-GTTT-1-1-torus-1depqbf_prefix_opt_qdoSAT0.02
ttt_5x5-shape-0-GTTT-1-2-torus-0Qute_defaultSAT0
ttt_5x5-shape-0-GTTT-1-2-torus-1Qute_defaultSAT0
ttt_5x5-shape-0-GTTT-2-1-torus-1caqe-preUNSAT72.47
ttt_5x5-shape-0-GTTT-2-2-torus-0Qute_defaultSAT0
ttt_5x5-shape-0-GTTT-2-2-torus-1Qute_defaultSAT0
ttt_5x5-shape-1-GTTT-1-1-torus-0depqbf_prefix_opt_qdoSAT5.68
ttt_5x5-shape-1-GTTT-1-1-torus-1depqbf_prefix_opt_qdoSAT3.68
ttt_5x5-shape-1-GTTT-1-2-torus-0depqbf_prefix_opt_qdoSAT0.02
ttt_5x5-shape-1-GTTT-1-2-torus-1depqbf_pre_QxQBHSAT148.77
ttt_5x5-shape-1-GTTT-2-1-torus-0depqbf_prefix_opt_qdoSAT5.12
ttt_5x5-shape-1-GTTT-2-1-torus-1depqbf_prefix_opt_qdoSAT5.58
ttt_5x5-shape-1-GTTT-2-2-torus-0depqbf_pre_QxQBHSAT260.79