Instances of family jmc_quant_squaring solved by GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
test2_quant_squaring2FAIL900.01
test1_quant_squaring3FAIL900.02
test3_quant_squaring2FAIL900.03
test2_quant_squaring3FAIL900.07