Sota solver results for family SzymanskiP
QBFEVAL'17 - Prenex non-CNF Track


InstanceSolverResultTime
szymanski-14-sQute_opt993UNSAT13.6
szymanski-16-sQute_opt993UNSAT27.25
szymanski-5-sQute_hybridUNSAT0.04
szymanski-6-sQute_hybridUNSAT0.11
szymanski-8-sQute_hybridUNSAT0.53