The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Scholl_dqbf family
Download (0 Kb)
Submitter:
Scholl
Suite:
Scholl
Domain:
Formal Verification
Description:
Number of instances:
175
Results:
2020 - Track 4
2019 - Track 3
2018 - Track 4
Instances:
C432.blif_0.10_0.10_1_0_henkin.dqdimacs
C432.blif_0.10_0.10_1_3_henkin.dqdimacs
C432.blif_0.10_0.10_2_0_henkin.dqdimacs
C432.blif_0.10_0.20_1_1_henkin.dqdimacs
C432.blif_0.10_0.50_0_0_henkin.dqdimacs
C432.blif_0.10_0.50_0_3_henkin.dqdimacs
C432.blif_0.10_0.50_1_3_henkin.dqdimacs
C432.blif_0.10_0.50_2_3_henkin.dqdimacs
C432.blif_0.10_1.00_0_0_henkin.dqdimacs
C432.blif_0.10_1.00_0_2_henkin.dqdimacs
C432.blif_0.10_1.00_1_2_henkin.dqdimacs
C432.blif_0.10_1.00_2_0_henkin.dqdimacs
C432.blif_0.10_1.00_3_0_henkin.dqdimacs
C432.blif_0.10_1.00_3_3_henkin.dqdimacs
C432.blif_0.10_1.00_5_2_henkin.dqdimacs
C432.blif_0.10_1.00_7_2_henkin.dqdimacs
C432.blif_0.10_1.00_7_3_henkin.dqdimacs
C432.blif_0.20_0.10_0_2_henkin.dqdimacs
C432.blif_0.20_0.10_2_1_henkin.dqdimacs
C432.blif_0.20_0.20_1_1_henkin.dqdimacs
C432.blif_0.20_0.50_0_3_henkin.dqdimacs
C432.blif_0.20_0.50_1_3_henkin.dqdimacs
C432.blif_0.20_0.50_2_0_henkin.dqdimacs
C432.blif_0.20_0.50_2_1_henkin.dqdimacs
C432.blif_0.20_1.00_0_0_henkin.dqdimacs
C432.blif_0.20_1.00_0_1_henkin.dqdimacs
C432.blif_0.20_1.00_1_1_henkin.dqdimacs
C432.blif_0.20_1.00_2_2_henkin.dqdimacs
C432.blif_0.20_1.00_7_1_henkin.dqdimacs
C432.blif_0.20_1.00_8_2_henkin.dqdimacs
C432.blif_0.30_0.10_1_0_henkin.dqdimacs
C432.blif_0.30_1.00_2_1_henkin.dqdimacs
C432.blif_0.40_0.10_0_0_henkin.dqdimacs
C432.blif_0.40_0.20_1_2_henkin.dqdimacs
C432.blif_0.40_1.00_1_2_henkin.dqdimacs
C432.blif_0.50_0.50_1_3_henkin.dqdimacs
C432.blif_0.50_1.00_0_1_henkin.dqdimacs
C432.blif_0.50_1.00_3_3_henkin.dqdimacs
C432.blif_0.50_1.00_4_2_henkin.dqdimacs
C432.blif_0.50_1.00_5_3_henkin.dqdimacs
C432.blif_0.50_1.00_6_3_henkin.dqdimacs
C432.blif_0.50_1.00_7_1_henkin.dqdimacs
C432.blif_0.50_1.00_8_1_henkin.dqdimacs
C432.blif_0.50_1.00_8_2_henkin.dqdimacs
C432.blif_0.50_1.00_8_3_henkin.dqdimacs
C499.blif_0.10_1.00_0_0_henkin.dqdimacs
C499.blif_0.10_1.00_0_1_henkin.dqdimacs
C499.blif_0.10_1.00_2_1_henkin.dqdimacs
C499.blif_0.10_1.00_3_0_henkin.dqdimacs
C499.blif_0.10_1.00_3_2_henkin.dqdimacs
C499.blif_0.10_1.00_4_2_henkin.dqdimacs
C499.blif_0.10_1.00_7_1_henkin.dqdimacs
C499.blif_0.10_1.00_7_2_henkin.dqdimacs
C499.blif_0.10_1.00_9_1_henkin.dqdimacs
C499.blif_0.10_1.00_9_2_henkin.dqdimacs
C499.blif_0.20_1.00_1_0_henkin.dqdimacs
C499.blif_0.20_1.00_1_1_henkin.dqdimacs
C499.blif_0.20_1.00_2_0_henkin.dqdimacs
C499.blif_0.20_1.00_3_0_henkin.dqdimacs
C499.blif_0.20_1.00_3_3_henkin.dqdimacs
C499.blif_0.20_1.00_7_2_henkin.dqdimacs
C499.blif_0.20_1.00_8_0_henkin.dqdimacs
C499.blif_0.20_1.00_9_2_henkin.dqdimacs
C499.blif_0.50_1.00_8_1_henkin.dqdimacs
C499.blif_0.60_1.00_0_3_henkin.dqdimacs
C499.blif_0.60_1.00_1_2_henkin.dqdimacs
C499.blif_0.60_1.00_3_3_henkin.dqdimacs
C499.blif_0.60_1.00_8_2_henkin.dqdimacs
C499.blif_0.60_1.00_9_1_henkin.dqdimacs
comp.blif_0.10_0.10_0_0_henkin.dqdimacs
comp.blif_0.10_0.10_0_2_henkin.dqdimacs
comp.blif_0.10_0.10_0_3_henkin.dqdimacs
comp.blif_0.10_0.10_1_3_henkin.dqdimacs
comp.blif_0.10_0.20_0_0_henkin.dqdimacs
comp.blif_0.10_0.20_1_0_henkin.dqdimacs
comp.blif_0.10_0.20_1_3_henkin.dqdimacs
comp.blif_0.10_0.20_2_0_henkin.dqdimacs
comp.blif_0.10_0.20_2_1_henkin.dqdimacs
comp.blif_0.10_0.50_0_3_henkin.dqdimacs
comp.blif_0.10_0.50_1_3_henkin.dqdimacs
comp.blif_0.10_1.00_0_0_henkin.dqdimacs
comp.blif_0.10_1.00_0_1_henkin.dqdimacs
comp.blif_0.10_1.00_2_0_henkin.dqdimacs
comp.blif_0.10_1.00_2_1_henkin.dqdimacs
comp.blif_0.10_1.00_2_3_henkin.dqdimacs
comp.blif_0.10_1.00_4_1_henkin.dqdimacs
comp.blif_0.10_1.00_4_2_henkin.dqdimacs
comp.blif_0.10_1.00_5_2_henkin.dqdimacs
comp.blif_0.10_1.00_9_3_henkin.dqdimacs
comp.blif_0.20_0.10_0_2_henkin.dqdimacs
comp.blif_0.20_0.10_1_1_henkin.dqdimacs
comp.blif_0.20_0.20_0_0_henkin.dqdimacs
comp.blif_0.20_0.20_0_3_henkin.dqdimacs
comp.blif_0.20_0.20_2_1_henkin.dqdimacs
comp.blif_0.20_0.20_2_2_henkin.dqdimacs
comp.blif_0.20_0.50_0_0_henkin.dqdimacs
comp.blif_0.20_0.50_2_3_henkin.dqdimacs
comp.blif_0.20_1.00_4_0_henkin.dqdimacs
comp.blif_0.20_1.00_5_1_henkin.dqdimacs
comp.blif_0.20_1.00_9_3_henkin.dqdimacs
comp.blif_0.30_0.10_2_0_henkin.dqdimacs
comp.blif_0.30_0.20_2_2_henkin.dqdimacs
comp.blif_0.30_0.50_0_0_henkin.dqdimacs
comp.blif_0.30_0.50_0_1_henkin.dqdimacs
comp.blif_0.30_0.50_0_2_henkin.dqdimacs
comp.blif_0.30_0.50_2_1_henkin.dqdimacs
comp.blif_0.30_1.00_1_1_henkin.dqdimacs
comp.blif_0.50_1.00_2_2_henkin.dqdimacs
comp.blif_0.50_1.00_4_0_henkin.dqdimacs
comp.blif_0.50_1.00_5_1_henkin.dqdimacs
comp.blif_0.50_1.00_9_1_henkin.dqdimacs
comp.blif_0.50_1.00_9_2_henkin.dqdimacs
comp.blif_0.60_1.00_2_3_henkin.dqdimacs
comp.blif_0.60_1.00_4_0_henkin.dqdimacs
comp.blif_0.60_1.00_4_1_henkin.dqdimacs
comp.blif_0.60_1.00_5_0_henkin.dqdimacs
comp.blif_0.60_1.00_5_2_henkin.dqdimacs
comp.blif_0.60_1.00_9_1_henkin.dqdimacs
comp.blif_0.60_1.00_9_2_henkin.dqdimacs
term1.blif_0.10_1.00_5_1_henkin.dqdimacs
term1.blif_0.10_1.00_5_2_henkin.dqdimacs
term1.blif_0.10_1.00_5_3_henkin.dqdimacs
term1.blif_0.10_1.00_9_2_henkin.dqdimacs
term1.blif_0.20_1.00_3_1_henkin.dqdimacs
term1.blif_0.20_1.00_3_2_henkin.dqdimacs
term1.blif_0.20_1.00_5_2_henkin.dqdimacs
term1.blif_0.20_1.00_5_3_henkin.dqdimacs
term1.blif_0.20_1.00_9_0_henkin.dqdimacs
term1.blif_0.50_1.00_3_0_henkin.dqdimacs
term1.blif_0.50_1.00_3_1_henkin.dqdimacs
term1.blif_0.50_1.00_5_0_henkin.dqdimacs
term1.blif_0.50_1.00_5_3_henkin.dqdimacs
term1.blif_0.50_1.00_9_2_henkin.dqdimacs
term1.blif_0.60_1.00_3_0_henkin.dqdimacs
term1.blif_0.60_1.00_3_1_henkin.dqdimacs
term1.blif_0.60_1.00_3_3_henkin.dqdimacs
term1.blif_0.60_1.00_5_1_henkin.dqdimacs
term1.blif_0.60_1.00_9_0_henkin.dqdimacs
term1.blif_0.60_1.00_9_1_henkin.dqdimacs
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacs
z4ml.blif_0.10_0.10_1_2_henkin.dqdimacs
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacs
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacs
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacs
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacs
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacs
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacs
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacs
z4ml.blif_0.10_1.00_0_3_henkin.dqdimacs
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacs
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacs
z4ml.blif_0.10_1.00_2_1_henkin.dqdimacs
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacs
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacs
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacs
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacs
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacs
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacs
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacs
z4ml.blif_0.20_1.00_7_1_henkin.dqdimacs
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacs
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacs
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacs
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacs
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacs
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacs
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacs
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacs
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacs
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacs
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacs
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacs
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacs
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacs
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacs
Contact
|
Organization
|
Links
|
Citing QBFLIB