Instances of family wmiforward solved by <a href='solver_detail.php?solver=240'>iprover-QBF-bloqqer</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family wmiforward solved by iprover-QBF-bloqqer
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
stmt1_145_146	SAT	0.04
stmt1_20_21	SAT	0.04
stmt24_7_8	SAT	0.04
stmt44_107_108	SAT	0.04
stmt24_148_149	SAT	0.04
stmt16_0_1	SAT	0.06
stmt1_811_812	SAT	0.07
stmt3_639_640	SAT	0.09
stmt9_350_351	SAT	0.1
stmt44_435_436	SAT	0.11
stmt16_818_819	SAT	0.12
stmt70_191_213	SAT	0.13
stmt24_292_293	SAT	0.13
stmt11_643_645	SAT	0.14
stmt82_224_225	SAT	0.14
stmt2_649_647	SAT	0.14
stmt2_649_723	SAT	0.14
stmt27_296_297	SAT	0.14
stmt18_258_260	SAT	0.14
stmt21_326_327	SAT	0.16
stmt2_480_551	SAT	0.16
stmt2_649_776	SAT	0.17
stmt72_696_721	SAT	0.18
stmt124_966_965	SAT	0.18
stmt70_854_859	SAT	0.18
stmt44_916_917	SAT	0.18
stmt1_919_920	SAT	0.19
stmt41_738_737	SAT	0.19
stmt24_765_766	SAT	0.19
stmt16_285_286	SAT	0.19
stmt137_903_911	SAT	0.19
stmt27_946_955	SAT	0.2
stmt41_118_131	SAT	0.2
stmt44_554_604	SAT	0.21
stmt32_570_572	SAT	0.21
stmt44_554_555	SAT	0.21
stmt27_584_603	SAT	0.21
stmt70_495_501	SAT	0.21
stmt86_889_890	SAT	0.23
stmt16_950_951	SAT	0.24
stmt1_629_630	SAT	0.36
stmt41_738_749	SAT	0.39
stmt41_566_580	SAT	0.43
stmt1_787_788	SAT	0.46
stmt38_943_942	SAT	0.62
stmt37_941_942	SAT	0.62
stmt1_60_61	SAT	0.63
stmt16_47_48	SAT	0.66
stmt17_99_98	SAT	0.71
stmt2_976_999	FAIL	570.44

Contact | Organization | Links | Citing QBFLIB