Instances of family jmc_quant solved by openQbf
QBFEVAL'05

InstanceResultTime
test3_quant4FAIL900.88
test5_quant7FAIL900.9
test1_quant2FAIL900.9
test4_quant2FAIL900.9
test2_quant2FAIL900.93
test1_quant3FAIL900.93
test4_quant4FAIL900.93
test5_quant5FAIL900.94
test2_quant3FAIL900.94
test3_quant2FAIL900.95