Instances of family wmiforward solved by <a href='solver_detail.php?solver=250'>caqe-minisat-cert</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

qbflib.org

Instances of family wmiforward solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
stmt1_30_31	SAT	0.02
stmt44_107_108	SAT	0.02
stmt44_107_113	SAT	0.04
stmt25_52_53	FAIL	115.8
stmt41_738_749	FAIL	127.33
stmt16_950_951	FAIL	156.7
stmt27_296_297	FAIL	157.34
stmt24_765_766	FAIL	169.36
stmt44_916_917	FAIL	178.73
stmt17_18_19	FAIL	599.72

Contact | Organization | Links | Citing QBFLIB