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

Instance	Solver	Result	Time
stmt11_643_645	QuBE7-m	SAT	0.13
stmt124_966_965	QuBE7-m	SAT	1.35
stmt137_903_911	QuBE7-c	SAT	1.33
stmt16_0_1	QuBE7-m	SAT	0.02
stmt16_818_819	aqme-10	SAT	20.94
stmt17_143_144	QuBE7-c	SAT	0.02
stmt17_18_19	QuBE7-m	SAT	0.02
stmt18_258_260	QuBE7	SAT	0.06
stmt1_145_146	QuBE7	SAT	0
stmt1_20_21	quantor-3.1	SAT	0
stmt1_30_31	quantor-3.1	SAT	0
stmt1_392_393	QuBE7	SAT	0.06
stmt1_811_812	QuBE7-c	SAT	0.05
stmt1_919_920	QuBE7-c	SAT	1.36
stmt24_148_149	QuBE7-m	SAT	0
stmt24_292_293	QuBE7	SAT	0.06
stmt24_765_766	QuBE7-m	SAT	1.31
stmt24_7_8	QuBE7-c	SAT	0
stmt25_597_598	QuBE7-m	SAT	1.45
stmt27_296_297	QuBE7-c	SAT	0.07
stmt2_649_723	QuBE7-c	SAT	0.85
stmt2_649_776	QuBE7-c	SAT	835.78
stmt32_122_129	QuBE7-m	SAT	0
stmt3_639_640	QuBE7-m	SAT	0.06
stmt3_969_973	QuBE7	SAT	0.06
stmt44_107_108	struqs-10	SAT	0
stmt44_107_113	quantor-3.1	SAT	0
stmt44_252_301	QuBE7-c	SAT	0.06
stmt44_554_604	QuBE7-m	SAT	1.43
stmt5_731_730	QuBE7-m	SAT	1.34
stmt6_13_14	depqbf	SAT	0
stmt70_191_213	QuBE7	SAT	0.06
stmt70_495_501	QuBE7-m	SAT	1.42
stmt72_696_721	QuBE7-c	SAT	1.33
stmt82_224_225	QuBE7	SAT	0.06
stmt86_889_890	QuBE7-c	SAT	907.94
stmt9_350_351	QuBE7-c	SAT	0.11
stmt9_445_446	QuBE7-c	SAT	0.07

QBF Solver Evaluation Portal