Sota solver results for family wmiforward <br> QBFEVAL'08

Sota solver results for family wmiforward
QBFEVAL'08

Instance	Solver	Result	Time
stmt11_643_645	QuBE6.1	SAT	0.49
stmt124_966_965	AQME-1NN	SAT	1.22
stmt137_542_543	AQME-1NN	SAT	1.26
stmt137_903_911	AQME-1NN	SAT	1.2
stmt16_0_1	ssolveC	SAT	0.02
stmt16_285_286	AQME-1NN	SAT	1.08
stmt16_47_48	AQME-1NN	SAT	4.88
stmt16_588_589	AQME-1NN	SAT	1.45
stmt16_68_69	AQME-1NN	SAT	8
stmt16_76_77	AQME-1NN	SAT	4.7
stmt16_818_819	AQME-1NN	SAT	0.97
stmt16_950_951	AQME-1NN	SAT	1.38
stmt17_143_144	ssolveC	SAT	0.14
stmt17_18_19	ssolveC	SAT	0.16
stmt17_99_98	AQME-1NN	SAT	6.1
stmt18_258_260	QuBE6.1	SAT	0.12
stmt1_145_146	ssolve-A	SAT	0.01
stmt1_20_21	quantor3.0	SAT	0
stmt1_30_31	quantor3.0	SAT	0
stmt1_392_393	QuBE6.1	SAT	0.15
stmt1_60_61	AQME-1NN	SAT	7.72
stmt1_787_788	AQME-1NN	SAT	3.64
stmt1_79_80	AQME-1NN	SAT	4.89
stmt1_811_812	ssolveC	SAT	0.05
stmt1_919_920	QuBE6.1	SAT	13.73
stmt1_953_954	AQME-1NN	SAT	1.3
stmt21_326_327	QuBE6.1	SAT	8.73
stmt24_148_149	ssolve-A	SAT	0.01
stmt24_292_293	QuBE6.1	SAT	0.11
stmt24_765_766	QuBE6.1	SAT	13.54
stmt24_7_8	ssolveB	SAT	0
stmt25_52_53	AQME-1NN	SAT	5.58
stmt25_597_598	AQME-1NN	SAT	1.37
stmt27_296_297	QuBE6.1	SAT	0.12
stmt27_584_603	AQME-1NN	SAT	1.34
stmt27_93_98	AQME-1NN	SAT	5.56
stmt27_946_955	AQME-1NN	SAT	1.33
stmt2_480_551	AQME-1NN	SAT	1.21
stmt2_649_647	AQME-1NN	SAT	1.06
stmt2_649_723	AQME-1NN	SAT	1.07
stmt2_649_776	AQME-1NN	SAT	1.23
stmt32_122_129	quantor3.0	SAT	0
stmt32_570_572	AQME-1NN	SAT	1.33
stmt37_941_942	AQME-1NN	SAT	68.64
stmt3_639_640	QuBE6.1	SAT	0.11
stmt3_969_973	QuBE6.1	SAT	0.11
stmt41_118_131	AQME-1NN	SAT	1.31
stmt41_262_275	AQME-1NN	SAT	1.74
stmt41_566_580	AQME-1NN	SAT	148.03
stmt41_738_737	QuBE6.1	SAT	13.45
stmt41_738_749	AQME-1NN	SAT	1.98
stmt44_107_108	quantor3.0	SAT	0
stmt44_107_113	quantor3.0	SAT	0
stmt44_252_301	QuBE6.1	SAT	0.12
stmt44_435_436	QuBE6.1	SAT	0.56
stmt44_554_555	AQME-1NN	SAT	1.39
stmt44_554_604	AQME-1NN	SAT	1.31
stmt44_726_773	AQME-1NN	SAT	1.18
stmt44_916_917	QuBE6.1	SAT	13.71
stmt5_731_730	AQME-1NN	SAT	1.1
stmt6_13_14	ssolve-A	SAT	0
stmt70_191_213	QuBE6.1	SAT	0.11
stmt70_495_501	AQME-1NN	SAT	1.29
stmt70_854_859	AQME-1NN	SAT	1.16
stmt72_696_721	AQME-1NN	SAT	1.24
stmt82_224_225	QuBE6.1	SAT	0.11
stmt86_889_890	AQME-1NN	SAT	1.36
stmt9_350_351	QuBE6.1	SAT	0.34
stmt9_445_446	QuBE6.1	SAT	0.7

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family wmiforward
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family wmiforward QBFEVAL'08

Sota solver results for family wmiforward
QBFEVAL'08