Instances of family jmc_quant solved by Nenofex
QBFEVAL'08

InstanceResultTime
test3_quant2UNSAT25.79
test5_quant5FAIL89.36
test3_quant4FAIL101.59
test5_quant7FAIL124.46
test4_quant2FAIL203.04
test4_quant4FAIL226.44
test1_quant2FAIL332.39
test1_quant3FAIL371.16
test2_quant3FAIL600
test2_quant2FAIL600