Instances of family jmc_quant solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
test3_quant2UNSAT0.75
test5_quant7FAIL900
test4_quant4FAIL900
test2_quant3FAIL900
test1_quant3FAIL900