Instances of family SzymanskiP solved by preQuantor
QBFEVAL'06

InstanceResultTime
szymanski-8-sUNSAT0.55
szymanski-10-sUNSAT2.5
szymanski-12-sUNSAT124.54
szymanski-24-sFAIL1125.85
szymanski-22-sFAIL1219.36
szymanski-20-sFAIL1260.99
szymanski-16-sFAIL1336.64
szymanski-18-sFAIL1373.46
szymanski-14-sFAIL2285.68