Instances of family jmc_quant solved by sSolve
QBFEVAL'05

InstanceResultTime
test2_quant2FAIL900.75
test4_quant2FAIL900.77
test2_quant3FAIL900.79
test1_quant2FAIL900.84
test1_quant3FAIL900.85
test3_quant2FAIL900.87
test3_quant4FAIL900.89
test4_quant4FAIL900.9
test5_quant5FAIL900.93
test5_quant7FAIL900.94