Sota solver results for family PositionalGames_gttt
QBFEVAL'18 - 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-0Heretiq-simpleUNSAT66.7
ttt_5x5-shape-0-GTTT-2-1-torus-1Heretiq-cubeUNSAT0.19
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.7
ttt_5x5-shape-1-GTTT-1-1-torus-1depqbf_prefix_opt_qdoSAT3.77
ttt_5x5-shape-1-GTTT-1-2-torus-0depqbf_prefix_opt_qdoSAT0.02
ttt_5x5-shape-1-GTTT-1-2-torus-1predyndepSAT25.12
ttt_5x5-shape-1-GTTT-2-1-torus-0depqbf_prefix_opt_qdoSAT5.1
ttt_5x5-shape-1-GTTT-2-1-torus-1depqbf_prefix_opt_qdoSAT5.69
ttt_5x5-shape-1-GTTT-2-2-torus-0predyndepSAT150.9