Detail page for ISCAS89 family


	Submitter:	Sven Reimer

	Suite:	Sauer-Reimer

	Domain:	Formal Verification

	Description:

	Number of instances:	408

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

	Instances:	s00027_PR_0_10 s00027_PR_9_50 s00208_PR_7_75 s00208_PR_8_2 s00298_PR_3_5 s00298_PR_4_10 s00344_PR_5_50 s00344_PR_6_10 s00349_PR_3_20 s00349_PR_4_50 s00382_PR_2_5 s00382_PR_9_75 s00386_PR_0_50 s00386_PR_2_75 s00400_PR_0_5 s00400_PR_9_90 s00420_PR_1_20 s00420_PR_5_90 s00444_PR_5_75 s00444_PR_8_50 s00510_PR_1_5 s00510_PR_5_90 s00526_PR_3_10 s00526_PR_8_50 s00641_PR_2_50 s00641_PR_3_20 s00713_PR_2_20 s00713_PR_6_90 s00820_PR_1_75 s00820_PR_6_50 s00832_PR_5_2 s00832_PR_8_75 s00838_PR_1_90 s00838_PR_6_90 s00953_PR_5_20 s00953_PR_9_75 s01196_PR_0_75 s01196_PR_3_10 s01238_PR_4_75 s01238_PR_8_2 s01423_PR_0_10 s01423_PR_0_2 s01423_PR_0_20 s01423_PR_0_5 s01423_PR_0_50 s01423_PR_0_75 s01423_PR_0_90 s01423_PR_1_10 s01423_PR_1_2 s01423_PR_1_20 s01423_PR_1_5 s01423_PR_1_50 s01423_PR_1_75 s01423_PR_1_90 s01423_PR_2_10 s01423_PR_2_2 s01423_PR_2_20 s01423_PR_2_5 s01423_PR_2_50 s01423_PR_2_75 s01423_PR_2_90 s01423_PR_3_10 s01423_PR_3_2 s01423_PR_3_20 s01423_PR_3_5 s01423_PR_3_50 s01423_PR_3_75 s01423_PR_3_90 s01423_PR_4_10 s01423_PR_4_2 s01423_PR_4_20 s01423_PR_4_5 s01423_PR_4_50 s01423_PR_4_75 s01423_PR_4_90 s01423_PR_5_10 s01423_PR_5_2 s01423_PR_5_20 s01423_PR_5_5 s01423_PR_5_50 s01423_PR_5_75 s01423_PR_5_90 s01423_PR_6_10 s01423_PR_6_2 s01423_PR_6_20 s01423_PR_6_5 s01423_PR_6_50 s01423_PR_6_75 s01423_PR_6_90 s01423_PR_7_10 s01423_PR_7_2 s01423_PR_7_20 s01423_PR_7_5 s01423_PR_7_50 s01423_PR_7_75 s01423_PR_7_90 s01423_PR_8_10 s01423_PR_8_2 s01423_PR_8_20 s01423_PR_8_5 s01423_PR_8_50 s01423_PR_8_75 s01423_PR_8_90 s01423_PR_9_10 s01423_PR_9_2 s01423_PR_9_20 s01423_PR_9_5 s01423_PR_9_50 s01423_PR_9_75 s01423_PR_9_90 s01488_PR_1_10 s01488_PR_7_50 s01494_PR_3_50 s01494_PR_5_50 s05378_PR_0_10 s05378_PR_0_2 s05378_PR_0_20 s05378_PR_0_5 s05378_PR_0_50 s05378_PR_0_75 s05378_PR_0_90 s05378_PR_1_10 s05378_PR_1_2 s05378_PR_1_20 s05378_PR_1_5 s05378_PR_1_50 s05378_PR_1_75 s05378_PR_1_90 s05378_PR_2_10 s05378_PR_2_2 s05378_PR_2_20 s05378_PR_2_5 s05378_PR_2_50 s05378_PR_2_75 s05378_PR_2_90 s05378_PR_3_10 s05378_PR_3_2 s05378_PR_3_20 s05378_PR_3_5 s05378_PR_3_50 s05378_PR_3_75 s05378_PR_3_90 s05378_PR_4_10 s05378_PR_4_2 s05378_PR_4_20 s05378_PR_4_5 s05378_PR_4_50 s05378_PR_4_75 s05378_PR_4_90 s05378_PR_5_10 s05378_PR_5_2 s05378_PR_5_20 s05378_PR_5_5 s05378_PR_5_50 s05378_PR_5_75 s05378_PR_5_90 s05378_PR_6_10 s05378_PR_6_2 s05378_PR_6_20 s05378_PR_6_5 s05378_PR_6_50 s05378_PR_6_75 s05378_PR_6_90 s05378_PR_7_10 s05378_PR_7_2 s05378_PR_7_20 s05378_PR_7_5 s05378_PR_7_50 s05378_PR_7_75 s05378_PR_7_90 s05378_PR_8_10 s05378_PR_8_2 s05378_PR_8_20 s05378_PR_8_5 s05378_PR_8_50 s05378_PR_8_75 s05378_PR_8_90 s05378_PR_9_10 s05378_PR_9_2 s05378_PR_9_20 s05378_PR_9_5 s05378_PR_9_50 s05378_PR_9_75 s05378_PR_9_90 s09234_PR_0_10 s09234_PR_0_2 s09234_PR_0_20 s09234_PR_0_5 s09234_PR_0_50 s09234_PR_0_75 s09234_PR_0_90 s09234_PR_1_10 s09234_PR_1_2 s09234_PR_1_20 s09234_PR_1_5 s09234_PR_1_50 s09234_PR_1_75 s09234_PR_1_90 s09234_PR_2_10 s09234_PR_2_2 s09234_PR_2_20 s09234_PR_2_5 s09234_PR_2_50 s09234_PR_2_75 s09234_PR_2_90 s09234_PR_3_10 s09234_PR_3_2 s09234_PR_3_20 s09234_PR_3_5 s09234_PR_3_50 s09234_PR_3_75 s09234_PR_3_90 s09234_PR_4_10 s09234_PR_4_2 s09234_PR_4_20 s09234_PR_4_5 s09234_PR_4_50 s09234_PR_4_75 s09234_PR_4_90 s09234_PR_5_10 s09234_PR_5_2 s09234_PR_5_20 s09234_PR_5_5 s09234_PR_5_50 s09234_PR_5_75 s09234_PR_5_90 s09234_PR_6_10 s09234_PR_6_2 s09234_PR_6_20 s09234_PR_6_5 s09234_PR_6_50 s09234_PR_6_75 s09234_PR_6_90 s09234_PR_7_10 s09234_PR_7_2 s09234_PR_7_20 s09234_PR_7_5 s09234_PR_7_50 s09234_PR_7_75 s09234_PR_7_90 s09234_PR_8_10 s09234_PR_8_2 s09234_PR_8_20 s09234_PR_8_5 s09234_PR_8_50 s09234_PR_8_75 s09234_PR_8_90 s09234_PR_9_10 s09234_PR_9_2 s09234_PR_9_20 s09234_PR_9_5 s09234_PR_9_50 s09234_PR_9_75 s09234_PR_9_90 s13207_PR_0_90 s13207_PR_1_75 s13207_PR_2_75 s13207_PR_3_75 s13207_PR_4_75 s13207_PR_5_90 s13207_PR_6_75 s13207_PR_7_75 s13207_PR_8_75 s13207_PR_9_75 s15850_PR_0_10 s15850_PR_0_2 s15850_PR_0_20 s15850_PR_0_5 s15850_PR_0_50 s15850_PR_0_75 s15850_PR_0_90 s15850_PR_1_10 s15850_PR_1_2 s15850_PR_1_20 s15850_PR_1_5 s15850_PR_1_50 s15850_PR_1_75 s15850_PR_1_90 s15850_PR_2_10 s15850_PR_2_2 s15850_PR_2_20 s15850_PR_2_5 s15850_PR_2_50 s15850_PR_2_75 s15850_PR_2_90 s15850_PR_3_10 s15850_PR_3_2 s15850_PR_3_20 s15850_PR_3_5 s15850_PR_3_50 s15850_PR_3_75 s15850_PR_3_90 s15850_PR_4_10 s15850_PR_4_2 s15850_PR_4_20 s15850_PR_4_5 s15850_PR_4_50 s15850_PR_4_75 s15850_PR_4_90 s15850_PR_5_10 s15850_PR_5_2 s15850_PR_5_20 s15850_PR_5_5 s15850_PR_5_50 s15850_PR_5_75 s15850_PR_5_90 s15850_PR_6_10 s15850_PR_6_2 s15850_PR_6_20 s15850_PR_6_5 s15850_PR_6_50 s15850_PR_6_75 s15850_PR_6_90 s15850_PR_7_10 s15850_PR_7_2 s15850_PR_7_20 s15850_PR_7_5 s15850_PR_7_50 s15850_PR_7_75 s15850_PR_7_90 s15850_PR_8_10 s15850_PR_8_2 s15850_PR_8_20 s15850_PR_8_5 s15850_PR_8_50 s15850_PR_8_75 s15850_PR_8_90 s15850_PR_9_10 s15850_PR_9_2 s15850_PR_9_20 s15850_PR_9_5 s15850_PR_9_50 s15850_PR_9_75 s15850_PR_9_90 s35932_PR_5_20 s35932_PR_8_50 s38417_PR_2_90 s38417_PR_4_50 s38584_PR_0_10 s38584_PR_0_2 s38584_PR_0_20 s38584_PR_0_5 s38584_PR_0_50 s38584_PR_0_75 s38584_PR_0_90 s38584_PR_1_10 s38584_PR_1_2 s38584_PR_1_20 s38584_PR_1_5 s38584_PR_1_50 s38584_PR_1_75 s38584_PR_1_90 s38584_PR_2_10 s38584_PR_2_2 s38584_PR_2_20 s38584_PR_2_5 s38584_PR_2_50 s38584_PR_2_75 s38584_PR_2_90 s38584_PR_3_10 s38584_PR_3_2 s38584_PR_3_20 s38584_PR_3_5 s38584_PR_3_50 s38584_PR_3_75 s38584_PR_3_90 s38584_PR_4_10 s38584_PR_4_2 s38584_PR_4_20 s38584_PR_4_5 s38584_PR_4_50 s38584_PR_4_75 s38584_PR_4_90 s38584_PR_5_10 s38584_PR_5_2 s38584_PR_5_20 s38584_PR_5_5 s38584_PR_5_50 s38584_PR_5_75 s38584_PR_5_90 s38584_PR_6_10 s38584_PR_6_2 s38584_PR_6_20 s38584_PR_6_5 s38584_PR_6_50 s38584_PR_6_75 s38584_PR_6_90 s38584_PR_7_10 s38584_PR_7_2 s38584_PR_7_20 s38584_PR_7_5 s38584_PR_7_50 s38584_PR_7_75 s38584_PR_7_90 s38584_PR_8_10 s38584_PR_8_2 s38584_PR_8_20 s38584_PR_8_5 s38584_PR_8_50 s38584_PR_8_75 s38584_PR_8_90 s38584_PR_9_10 s38584_PR_9_2 s38584_PR_9_20 s38584_PR_9_5 s38584_PR_9_50 s38584_PR_9_75 s38584_PR_9_90

The Quantified Boolean Formulas Satisfiability Library

Detail page for ISCAS89 family