Sota solver results for family SzymanskiP
QBFEVAL'04


InstanceSolverResultTime
szymanski-10-sWalkQSATUNSAT0.63
szymanski-12-sWalkQSATUNSAT1.34
szymanski-14-sWalkQSATUNSAT2.23
szymanski-16-sWalkQSATUNSAT2.33
szymanski-18-sCSBJUNSAT12.98
szymanski-22-sCSBJUNSAT35.87
szymanski-4-sCSBJUNSAT0
szymanski-6-sCSBJUNSAT0.07