Instances of family jmc_quant solved by ssolve-A
QBFEVAL'08

InstanceResultTime
test5_quant7FAIL600
test1_quant3FAIL600
test1_quant2FAIL600
test5_quant5FAIL600
test4_quant4FAIL600
test2_quant3FAIL600
test4_quant2FAIL600
test2_quant2FAIL600
test3_quant4FAIL600
test3_quant2FAIL600