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

qbflib.org

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

Instance	Result	Time
stmt24_7_8	SAT	0.06
stmt44_107_108	SAT	0.07
stmt24_148_149	SAT	0.07
stmt1_20_21	SAT	0.07
stmt1_145_146	SAT	0.08
stmt16_0_1	SAT	0.09
stmt1_811_812	SAT	0.13
stmt3_639_640	SAT	0.16
stmt70_191_213	SAT	0.17
stmt18_258_260	SAT	0.17
stmt82_224_225	SAT	0.17
stmt16_818_819	SAT	0.17
stmt9_350_351	SAT	0.18
stmt27_296_297	SAT	0.18
stmt24_292_293	SAT	0.18
stmt2_649_647	SAT	0.2
stmt2_649_723	SAT	0.2
stmt44_435_436	SAT	0.21
stmt11_643_645	SAT	0.21
stmt16_285_286	SAT	0.22
stmt70_854_859	SAT	0.23
stmt2_649_776	SAT	0.24
stmt124_966_965	SAT	0.24
stmt137_903_911	SAT	0.24
stmt41_118_131	SAT	0.24
stmt44_916_917	SAT	0.24
stmt1_919_920	SAT	0.24
stmt41_738_737	SAT	0.25
stmt72_696_721	SAT	0.25
stmt2_480_551	SAT	0.26
stmt27_946_955	SAT	0.26
stmt70_495_501	SAT	0.28
stmt86_889_890	SAT	0.28
stmt16_950_951	SAT	0.28
stmt21_326_327	SAT	0.28
stmt24_765_766	SAT	0.29
stmt44_554_604	SAT	0.29
stmt32_570_572	SAT	0.29
stmt44_554_555	SAT	0.29
stmt27_584_603	SAT	0.29
stmt41_738_749	SAT	0.44
stmt1_629_630	SAT	0.47
stmt41_566_580	SAT	0.49
stmt1_787_788	SAT	0.6
stmt37_941_942	SAT	0.6
stmt38_943_942	SAT	0.6
stmt16_47_48	SAT	0.71
stmt1_60_61	SAT	0.73
stmt17_99_98	SAT	0.76
stmt2_976_999	SAT	8.61

Contact | Organization | Links | Citing QBFLIB