Instances of family jmc_quant solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
test5_quant7FAIL899.84
test5_quant5FAIL899.97
test1_quant3FAIL900.19
test2_quant2FAIL900.24
test4_quant2FAIL900.3
test3_quant4FAIL900.3
test2_quant3FAIL900.6
test1_quant2FAIL900.61
test4_quant4FAIL900.62
test3_quant2FAIL900.73