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

qbflib.org

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

Instance	Result	Time
test5_quant_squaring4	FAIL	40.38
test5_quant_squaring5	FAIL	47.2
test3_quant_squaring2	FAIL	593.42
test4_quant_squaring4	FAIL	605.04
test2_quant_squaring3	FAIL	607.93
test2_quant_squaring2	FAIL	608.43
test4_quant_squaring2	FAIL	611.26
test3_quant_squaring4	FAIL	612.12
test1_quant_squaring3	FAIL	619.52
test1_quant_squaring2	FAIL	621.12

Contact | Organization | Links | Citing QBFLIB