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

qbflib.org

Instances of family wmiforward solved by depqbf-v2
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
stmt44_107_108	SAT	0.02
stmt24_148_149	SAT	0.02
stmt1_145_146	SAT	0.02
stmt1_20_21	SAT	0.02
stmt24_7_8	SAT	0.03
stmt1_811_812	SAT	0.05
stmt16_0_1	SAT	0.08
stmt9_350_351	SAT	0.09
stmt27_296_297	SAT	0.09
stmt18_258_260	SAT	0.1
stmt70_191_213	SAT	0.11
stmt24_292_293	SAT	0.11
stmt82_224_225	SAT	0.11
stmt16_818_819	SAT	0.11
stmt3_639_640	SAT	0.11
stmt44_435_436	SAT	0.12
stmt2_649_647	SAT	0.12
stmt24_765_766	SAT	0.21
stmt124_966_965	SAT	0.21
stmt16_285_286	SAT	0.21
stmt137_903_911	SAT	0.21
stmt2_649_723	SAT	0.21
stmt70_854_859	SAT	0.21
stmt41_118_131	SAT	0.21
stmt44_916_917	SAT	0.21
stmt1_919_920	SAT	0.21
stmt72_696_721	SAT	0.21
stmt21_326_327	SAT	0.21
stmt11_643_645	SAT	0.21
stmt2_480_551	SAT	0.21
stmt27_946_955	SAT	0.21
stmt2_649_776	SAT	0.21
stmt41_738_737	SAT	0.21
stmt70_495_501	SAT	0.31
stmt86_889_890	SAT	0.31
stmt16_950_951	SAT	0.31
stmt44_554_604	SAT	0.31
stmt32_570_572	SAT	0.31
stmt44_554_555	SAT	0.31
stmt27_584_603	SAT	0.31
stmt1_629_630	SAT	0.51
stmt41_738_749	SAT	0.51
stmt41_566_580	SAT	0.61
stmt1_787_788	SAT	0.61
stmt37_941_942	SAT	0.91
stmt1_60_61	SAT	0.91
stmt38_943_942	SAT	0.91
stmt16_47_48	SAT	0.91
stmt17_99_98	SAT	1.02
stmt2_976_999	SAT	13.91

Contact | Organization | Links | Citing QBFLIB