The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for irqlkeapclte family
Download (7643 Kb)
Submitter:
Gérard Basler
Suite:
Basler
Domain:
Formal Verification
Description:
Fixpoint detection.
Number of instances:
46
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 3
2017 - Track 1
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
2008 - Track 1
Instances:
stmt17_62_78
stmt17_62_98
stmt17_63_70
stmt17_63_78
stmt17_63_82
stmt17_70_78
stmt17_70_82
stmt17_70_86
stmt17_70_90
stmt17_70_98
stmt17_74_78
stmt17_74_90
stmt17_78_90
stmt17_78_94
stmt17_78_98
stmt17_82_86
stmt17_82_94
stmt17_82_98
stmt17_86_98
stmt17_94_98
stmt19_64_87
stmt19_64_91
stmt19_64_99
stmt19_65_87
stmt19_65_95
stmt19_71_95
stmt19_75_83
stmt19_75_95
stmt19_79_83
stmt19_79_87
stmt19_83_91
stmt19_87_95
stmt23_66_67
stmt23_66_76
stmt23_66_96
stmt23_67_92
stmt23_72_76
stmt23_88_92
stmt23_92_96
stmt28_68_69
stmt28_68_73
stmt28_68_81
stmt28_73_85
stmt28_73_97
stmt28_89_97
stmt7_33_34
Contact
|
Organization
|
Links
|
Citing QBFLIB