Instances of family jmc_quant solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
test3_quant2FAIL900
test1_quant3FAIL900
test5_quant7FAIL900
test4_quant4FAIL900
test2_quant3FAIL900