Instances of family jmc_quant solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
test5_quant7SAT0.9
test3_quant2UNSAT346.35
test1_quant3FAIL900
test4_quant4FAIL900
test2_quant3FAIL900