Instances of family wmiforward solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'08

qbflib.org

Instances of family wmiforward solved by AQME-1NN
QBFEVAL'08

Instance	Result	Time
stmt1_30_31	SAT	0.77
stmt44_107_113	SAT	0.79
stmt6_13_14	SAT	0.81
stmt44_107_108	SAT	0.81
stmt32_122_129	SAT	0.83
stmt1_20_21	SAT	0.83
stmt24_148_149	SAT	0.83
stmt17_143_144	SAT	0.86
stmt17_18_19	SAT	0.86
stmt1_145_146	SAT	0.87
stmt1_811_812	SAT	0.89
stmt16_818_819	SAT	0.97
stmt18_258_260	SAT	0.97
stmt3_639_640	SAT	0.97
stmt70_191_213	SAT	0.97
stmt44_252_301	SAT	0.98
stmt16_0_1	SAT	0.99
stmt3_969_973	SAT	0.99
stmt9_350_351	SAT	1
stmt1_392_393	SAT	1.02
stmt82_224_225	SAT	1.02
stmt44_435_436	SAT	1.03
stmt24_292_293	SAT	1.04
stmt27_296_297	SAT	1.05
stmt2_649_647	SAT	1.06
stmt2_649_723	SAT	1.07
stmt16_285_286	SAT	1.08
stmt9_445_446	SAT	1.09
stmt5_731_730	SAT	1.1
stmt70_854_859	SAT	1.16
stmt44_726_773	SAT	1.18
stmt137_903_911	SAT	1.2
stmt2_480_551	SAT	1.21
stmt124_966_965	SAT	1.22
stmt2_649_776	SAT	1.23
stmt72_696_721	SAT	1.24
stmt137_542_543	SAT	1.26
stmt70_495_501	SAT	1.29
stmt1_953_954	SAT	1.3
stmt41_118_131	SAT	1.31
stmt44_554_604	SAT	1.31
stmt27_946_955	SAT	1.33
stmt32_570_572	SAT	1.33
stmt27_584_603	SAT	1.34
stmt86_889_890	SAT	1.36
stmt25_597_598	SAT	1.37
stmt16_950_951	SAT	1.38
stmt44_554_555	SAT	1.39
stmt16_588_589	SAT	1.45
stmt24_7_8	SAT	1.58
stmt41_262_275	SAT	1.74
stmt41_738_749	SAT	1.98
stmt1_787_788	SAT	3.64
stmt16_76_77	SAT	4.7
stmt16_47_48	SAT	4.88
stmt1_79_80	SAT	4.89
stmt27_93_98	SAT	5.56
stmt25_52_53	SAT	5.58
stmt17_99_98	SAT	6.1
stmt1_60_61	SAT	7.72
stmt16_68_69	SAT	8
stmt11_643_645	SAT	10.6
stmt41_738_737	SAT	14.54
stmt1_919_920	SAT	14.82
stmt44_916_917	SAT	14.88
stmt21_326_327	SAT	49.64
stmt37_941_942	SAT	68.64
stmt24_765_766	SAT	86.83
stmt41_566_580	SAT	148.03
stmt1_629_630	FAIL	468.17
stmt2_976_999	FAIL	471.16
stmt38_943_942	FAIL	481.04

Contact | Organization | Links | Citing QBFLIB