Instances of family jmc_quant solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
test5_quant7SAT0
test3_quant2UNSAT33.43
test4_quant4FAIL900
test2_quant3FAIL900
test1_quant3FAIL900