Sota solver results for family SzymanskiP
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
szymanski-10-shiqqerforkUNSAT0.58
szymanski-12-shiqqerforkUNSAT1.45
szymanski-14-shiqqerforkUNSAT2.65
szymanski-16-shiqqerforkUNSAT3.75
szymanski-18-shiqqerforkUNSAT2.86
szymanski-20-shiqqerforkUNSAT4.85
szymanski-24-shiqqerforkUNSAT7.1
szymanski-5-shiqqerforkUNSAT0.04
szymanski-6-shiqqerforkUNSAT0.07
szymanski-8-shiqqerforkUNSAT0.21