Detail page for wmiforward family


	Submitter:	Gérard Basler

	Suite:	Basler

	Domain:	Formal Verification

	Description:	Fixpoint detection.

	Number of instances:	72

	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 3 2017 - Track 2 2017 - Track 3 2016 - Track 1 2016 - Track 2 2016 - Track 3 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 2 2010 - Track 3 2008 - Track 1

	Instances:	stmt11_643_645 stmt124_966_965 stmt137_542_543 stmt137_903_911 stmt16_0_1 stmt16_285_286 stmt16_47_48 stmt16_588_589 stmt16_68_69 stmt16_76_77 stmt16_818_819 stmt16_950_951 stmt17_143_144 stmt17_18_19 stmt17_99_98 stmt18_258_260 stmt1_145_146 stmt1_20_21 stmt1_30_31 stmt1_392_393 stmt1_60_61 stmt1_629_630 stmt1_787_788 stmt1_79_80 stmt1_811_812 stmt1_919_920 stmt1_953_954 stmt21_326_327 stmt24_148_149 stmt24_292_293 stmt24_765_766 stmt24_7_8 stmt25_52_53 stmt25_597_598 stmt27_296_297 stmt27_584_603 stmt27_93_98 stmt27_946_955 stmt2_480_551 stmt2_649_647 stmt2_649_723 stmt2_649_776 stmt2_976_999 stmt32_122_129 stmt32_570_572 stmt37_941_942 stmt38_943_942 stmt3_639_640 stmt3_969_973 stmt41_118_131 stmt41_262_275 stmt41_566_580 stmt41_738_737 stmt41_738_749 stmt44_107_108 stmt44_107_113 stmt44_252_301 stmt44_435_436 stmt44_554_555 stmt44_554_604 stmt44_726_773 stmt44_916_917 stmt5_731_730 stmt6_13_14 stmt70_191_213 stmt70_495_501 stmt70_854_859 stmt72_696_721 stmt82_224_225 stmt86_889_890 stmt9_350_351 stmt9_445_446

The Quantified Boolean Formulas Satisfiability Library