The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Q_2_2_3 family
Download (0 Kb)
Submitter:
Hubie Chen
Suite:
Chen-Interian
Domain:
Chen-Interian
Description:
Number of instances:
50
Results:
2018 - Track 5
2017 - Track 5
2016 - Track 8
Instances:
Q_2-2-3_v-100-100-100_r-35.0
Q_2-2-3_v-100-100-100_r-35.1
Q_2-2-3_v-100-100-100_r-35.2
Q_2-2-3_v-100-100-100_r-35.3
Q_2-2-3_v-100-100-100_r-35.4
Q_2-2-3_v-100-100-100_r-35.5
Q_2-2-3_v-100-100-100_r-35.6
Q_2-2-3_v-100-100-100_r-35.7
Q_2-2-3_v-100-100-100_r-35.8
Q_2-2-3_v-100-100-100_r-35.9
Q_2-2-3_v-100-100-100_r-45.0
Q_2-2-3_v-100-100-100_r-45.1
Q_2-2-3_v-100-100-100_r-45.2
Q_2-2-3_v-100-100-100_r-45.3
Q_2-2-3_v-100-100-100_r-45.4
Q_2-2-3_v-100-100-100_r-45.5
Q_2-2-3_v-100-100-100_r-45.6
Q_2-2-3_v-100-100-100_r-45.7
Q_2-2-3_v-100-100-100_r-45.8
Q_2-2-3_v-100-100-100_r-45.9
Q_2-2-3_v-100-100-100_r-55.0
Q_2-2-3_v-100-100-100_r-55.1
Q_2-2-3_v-100-100-100_r-55.2
Q_2-2-3_v-100-100-100_r-55.3
Q_2-2-3_v-100-100-100_r-55.4
Q_2-2-3_v-100-100-100_r-55.5
Q_2-2-3_v-100-100-100_r-55.6
Q_2-2-3_v-100-100-100_r-55.7
Q_2-2-3_v-100-100-100_r-55.8
Q_2-2-3_v-100-100-100_r-55.9
Q_2-2-3_v-100-100-100_r-65.0
Q_2-2-3_v-100-100-100_r-65.1
Q_2-2-3_v-100-100-100_r-65.2
Q_2-2-3_v-100-100-100_r-65.3
Q_2-2-3_v-100-100-100_r-65.4
Q_2-2-3_v-100-100-100_r-65.5
Q_2-2-3_v-100-100-100_r-65.6
Q_2-2-3_v-100-100-100_r-65.7
Q_2-2-3_v-100-100-100_r-65.8
Q_2-2-3_v-100-100-100_r-65.9
Q_2-2-3_v-100-100-100_r-75.0
Q_2-2-3_v-100-100-100_r-75.1
Q_2-2-3_v-100-100-100_r-75.2
Q_2-2-3_v-100-100-100_r-75.3
Q_2-2-3_v-100-100-100_r-75.4
Q_2-2-3_v-100-100-100_r-75.5
Q_2-2-3_v-100-100-100_r-75.6
Q_2-2-3_v-100-100-100_r-75.7
Q_2-2-3_v-100-100-100_r-75.8
Q_2-2-3_v-100-100-100_r-75.9
Contact
|
Organization
|
Links
|
Citing QBFLIB
