Instances of family wmiforward solved by <a href='solver_detail.php?solver=103'>struqs-10</a> <br> QBFEVAL'10 - 2QBF Track.

qbflib.org

Instances of family wmiforward solved by struqs-10
QBFEVAL'10 - 2QBF Track.

Instance	Result	Time
stmt24_7_8	SAT	0
stmt1_145_146	SAT	0
stmt44_107_113	SAT	0
stmt44_107_108	SAT	0
stmt24_148_149	SAT	0.01
stmt1_30_31	SAT	0.01
stmt6_13_14	SAT	0.01
stmt1_20_21	SAT	0.01
stmt32_122_129	SAT	0.01
stmt16_0_1	SAT	5.77
stmt1_811_812	SAT	5.97
stmt17_18_19	SAT	36.81
stmt17_143_144	SAT	118.8
stmt70_495_501	FAIL	1200.07
stmt137_903_911	FAIL	1200.07
stmt16_818_819	FAIL	1200.07
stmt5_731_730	FAIL	1200.08
stmt16_47_48	FAIL	1200.08
stmt9_445_446	FAIL	1200.08
stmt9_350_351	FAIL	1200.08
stmt41_262_275	FAIL	1200.08
stmt72_696_721	FAIL	1200.08
stmt25_52_53	FAIL	1200.08
stmt25_597_598	FAIL	1200.08
stmt3_969_973	FAIL	1200.08
stmt124_966_965	FAIL	1200.08
stmt82_224_225	FAIL	1200.08
stmt44_554_604	FAIL	1200.08
stmt2_649_776	FAIL	1200.08
stmt2_649_723	FAIL	1200.08
stmt37_941_942	FAIL	1200.08
stmt86_889_890	FAIL	1200.08
stmt27_93_98	FAIL	1200.08
stmt70_191_213	FAIL	1200.08
stmt44_252_301	FAIL	1200.08
stmt24_765_766	FAIL	1200.08
stmt17_99_98	FAIL	1200.08
stmt27_296_297	FAIL	1200.08
stmt11_643_645	FAIL	1200.08
stmt24_292_293	FAIL	1200.08
stmt18_258_260	FAIL	1200.08
stmt1_787_788	FAIL	1200.08
stmt1_919_920	FAIL	1200.08
stmt1_392_393	FAIL	1200.08
stmt3_639_640	FAIL	1200.09
stmt2_976_999	FAIL	1200.1

Contact | Organization | Links | Citing QBFLIB