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

qbflib.org

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

Instance	Result	Time
stmt1_20_21	SAT	0.01
stmt24_7_8	SAT	0.01
stmt44_107_108	SAT	0.01
stmt1_145_146	SAT	0.02
stmt24_148_149	SAT	0.02
stmt16_0_1	SAT	0.02
stmt1_811_812	SAT	0.04
stmt3_639_640	SAT	0.06
stmt9_350_351	SAT	0.06
stmt70_191_213	SAT	0.06
stmt27_296_297	SAT	0.07
stmt24_292_293	SAT	0.07
stmt18_258_260	SAT	0.07
stmt82_224_225	SAT	0.07
stmt16_818_819	SAT	0.07
stmt11_643_645	SAT	0.08
stmt2_649_647	SAT	0.08
stmt2_649_723	SAT	0.08
stmt44_435_436	SAT	0.09
stmt1_919_920	SAT	0.1
stmt16_285_286	SAT	0.1
stmt70_854_859	SAT	0.1
stmt44_916_917	SAT	0.11
stmt2_649_776	SAT	0.11
stmt41_738_737	SAT	0.11
stmt24_765_766	SAT	0.11
stmt124_966_965	SAT	0.11
stmt137_903_911	SAT	0.12
stmt41_118_131	SAT	0.12
stmt2_480_551	SAT	0.13
stmt27_946_955	SAT	0.13
stmt86_889_890	SAT	0.14
stmt16_950_951	SAT	0.15
stmt70_495_501	SAT	0.15
stmt44_554_604	SAT	0.16
stmt32_570_572	SAT	0.16
stmt44_554_555	SAT	0.16
stmt27_584_603	SAT	0.17
stmt72_696_721	SAT	0.19
stmt21_326_327	SAT	0.2
stmt41_738_749	SAT	0.31
stmt1_629_630	SAT	0.36
stmt41_566_580	SAT	0.4
stmt1_787_788	SAT	0.57
stmt38_943_942	SAT	0.62
stmt37_941_942	SAT	0.63
stmt16_47_48	SAT	0.7
stmt1_60_61	SAT	0.76
stmt17_99_98	SAT	0.86
stmt2_976_999	SAT	17.25

Contact | Organization | Links | Citing QBFLIB