The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for ISCAS89 family
Download (0 Kb)
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
Contact
|
Organization
|
Links
|
Citing QBFLIB