Instances of family jmc_quant solved by qbfbdd
QBFEVAL'05

InstanceResultTime
test2_quant3FAIL900.63
test2_quant2FAIL900.63
test1_quant3FAIL900.72
test3_quant4FAIL900.82
test5_quant7FAIL900.83
test1_quant2FAIL900.83
test4_quant4FAIL900.85
test4_quant2FAIL900.86
test3_quant2FAIL900.86
test5_quant5FAIL900.87