Sota solver results for family SzymanskiP
QBFEVAL'07


InstanceSolverResultTime
szymanski-14-sncQuBE1.1UNSAT4.43
szymanski-16-sncQuBE1.1UNSAT8.62
szymanski-18-sncQuBE1.1UNSAT15.97
szymanski-20-sncQuBE1.1UNSAT27.47
szymanski-22-sncQuBE1.1UNSAT47.28
szymanski-24-sncQuBE1.1UNSAT73.92