Instances of family jmc_quant_squaring solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
test3_quant_squaring2UNSAT105.87
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900
test5_quant_squaring5FAIL900
test4_quant_squaring2FAIL900