Instances of family SzymanskiP solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
szymanski-5-sUNSAT0.04
szymanski-6-sUNSAT0.11
szymanski-8-sUNSAT0.53
szymanski-14-sUNSAT13.62
szymanski-16-sUNSAT50.61