Instances of family jmc_quant solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
test3_quant2UNSAT411.8
test3_quant4FAIL6000.38
test5_quant7FAIL6000.5
test5_quant5FAIL6000.55