Instances of family jmc_quant solved by sSolve
QBFEVAL'04

InstanceResultTime
test2_quant3FAIL901
test2_quant2FAIL901
test1_quant3FAIL901.01
test5_quant5FAIL901.01
test5_quant7FAIL901.01
test1_quant2FAIL901.01
test4_quant4FAIL901.01
test3_quant2FAIL901.01