Instances of family jmc_quant_squaring solved by <a href='solver_detail.php?solver=252'>cheq</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

qbflib.org

Instances of family jmc_quant_squaring solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
test2_quant_squaring3	FAIL	590.66
test5_quant_squaring5	FAIL	604.18
test4_quant_squaring4	FAIL	606.98
test3_quant_squaring4	FAIL	608.16
test3_quant_squaring2	FAIL	610.23
test1_quant_squaring2	FAIL	611.36
test2_quant_squaring2	FAIL	614.71
test1_quant_squaring3	FAIL	615.16
test5_quant_squaring4	FAIL	625.47
test4_quant_squaring2	FAIL	629.73

Contact | Organization | Links | Citing QBFLIB