Instances of family wmiforward solved by <a href='solver_detail.php?solver=248'>xb-bid-qsts</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family wmiforward solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
stmt24_7_8	SAT	0.01
stmt44_107_108	SAT	0.01
stmt24_148_149	SAT	0.01
stmt1_145_146	SAT	0.01
stmt1_20_21	SAT	0.01
stmt16_0_1	SAT	0.04
stmt1_811_812	SAT	0.05
stmt3_639_640	SAT	0.07
stmt9_350_351	SAT	0.07
stmt44_435_436	SAT	0.09
stmt16_818_819	SAT	0.1
stmt2_649_647	SAT	0.11
stmt2_649_723	SAT	0.11
stmt70_191_213	SAT	0.11
stmt27_296_297	SAT	0.11
stmt24_292_293	SAT	0.11
stmt18_258_260	SAT	0.11
stmt11_643_645	SAT	0.12
stmt82_224_225	SAT	0.12
stmt2_649_776	SAT	0.14
stmt21_326_327	SAT	0.14
stmt2_480_551	SAT	0.14
stmt70_854_859	SAT	0.15
stmt41_738_737	SAT	0.16
stmt24_765_766	SAT	0.16
stmt124_966_965	SAT	0.16
stmt16_285_286	SAT	0.16
stmt137_903_911	SAT	0.16
stmt44_916_917	SAT	0.16
stmt1_919_920	SAT	0.16
stmt72_696_721	SAT	0.16
stmt41_118_131	SAT	0.17
stmt27_946_955	SAT	0.17
stmt70_495_501	SAT	0.18
stmt44_554_604	SAT	0.18
stmt32_570_572	SAT	0.18
stmt44_554_555	SAT	0.18
stmt27_584_603	SAT	0.19
stmt86_889_890	SAT	0.2
stmt16_950_951	SAT	0.21
stmt1_629_630	SAT	0.34
stmt41_738_749	SAT	0.36
stmt41_566_580	SAT	0.4
stmt1_787_788	SAT	0.43
stmt37_941_942	SAT	0.59
stmt38_943_942	SAT	0.59
stmt1_60_61	SAT	0.6
stmt16_47_48	SAT	0.63
stmt17_99_98	SAT	0.68
stmt2_976_999	UNSAT	10.59

Contact | Organization | Links | Citing QBFLIB