Instances of family wmiforward solved by <a href='solver_detail.php?solver=72'>ssolveC</a> <br> QBFEVAL'08

qbflib.org

Instances of family wmiforward solved by ssolveC
QBFEVAL'08

Instance	Result	Time
stmt44_107_108	SAT	0
stmt6_13_14	SAT	0.01
stmt1_30_31	SAT	0.01
stmt24_148_149	SAT	0.01
stmt1_145_146	SAT	0.01
stmt1_20_21	SAT	0.01
stmt44_107_113	SAT	0.01
stmt24_7_8	SAT	0.01
stmt32_122_129	SAT	0.01
stmt16_0_1	SAT	0.02
stmt1_811_812	SAT	0.05
stmt17_143_144	SAT	0.14
stmt17_18_19	SAT	0.16
stmt3_969_973	SAT	0.28
stmt70_191_213	SAT	2.52
stmt44_252_301	SAT	2.64
stmt18_258_260	SAT	2.73
stmt3_639_640	SAT	4.5
stmt27_296_297	SAT	6.2
stmt24_292_293	SAT	6.3
stmt82_224_225	SAT	12.15
stmt9_350_351	SAT	12.47
stmt11_643_645	SAT	37.48
stmt16_818_819	SAT	39.14
stmt1_392_393	SAT	94.19
stmt1_60_61	FAIL	600
stmt32_570_572	FAIL	600
stmt44_554_555	FAIL	600
stmt1_629_630	FAIL	600
stmt2_480_551	FAIL	600
stmt37_941_942	FAIL	600
stmt17_99_98	FAIL	600
stmt44_916_917	FAIL	600
stmt2_649_647	FAIL	600
stmt5_731_730	FAIL	600
stmt41_118_131	FAIL	600
stmt41_738_749	FAIL	600
stmt38_943_942	FAIL	600
stmt27_584_603	FAIL	600
stmt16_68_69	FAIL	600
stmt16_950_951	FAIL	600
stmt25_597_598	FAIL	600
stmt2_976_999	FAIL	600
stmt137_903_911	FAIL	600
stmt41_262_275	FAIL	600
stmt16_588_589	FAIL	600
stmt124_966_965	FAIL	600
stmt72_696_721	FAIL	600
stmt41_566_580	FAIL	600
stmt44_554_604	FAIL	600
stmt70_854_859	FAIL	600
stmt1_79_80	FAIL	600
stmt16_76_77	FAIL	600
stmt9_445_446	FAIL	600
stmt1_787_788	FAIL	600
stmt137_542_543	FAIL	600
stmt86_889_890	FAIL	600
stmt2_649_776	FAIL	600
stmt2_649_723	FAIL	600
stmt27_946_955	FAIL	600
stmt25_52_53	FAIL	600
stmt44_435_436	FAIL	600
stmt44_726_773	FAIL	600
stmt1_919_920	FAIL	600
stmt27_93_98	FAIL	600
stmt41_738_737	FAIL	600
stmt70_495_501	FAIL	600
stmt1_953_954	FAIL	600
stmt21_326_327	FAIL	600
stmt24_765_766	FAIL	600
stmt16_47_48	FAIL	600
stmt16_285_286	FAIL	600

Contact | Organization | Links | Citing QBFLIB