The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Q_3_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_3-3_v-100-100_r-11.0
Q_3-3_v-100-100_r-11.1
Q_3-3_v-100-100_r-11.2
Q_3-3_v-100-100_r-11.3
Q_3-3_v-100-100_r-11.4
Q_3-3_v-100-100_r-11.5
Q_3-3_v-100-100_r-11.6
Q_3-3_v-100-100_r-11.7
Q_3-3_v-100-100_r-11.8
Q_3-3_v-100-100_r-11.9
Q_3-3_v-100-100_r-13.0
Q_3-3_v-100-100_r-13.1
Q_3-3_v-100-100_r-13.2
Q_3-3_v-100-100_r-13.3
Q_3-3_v-100-100_r-13.4
Q_3-3_v-100-100_r-13.5
Q_3-3_v-100-100_r-13.6
Q_3-3_v-100-100_r-13.7
Q_3-3_v-100-100_r-13.8
Q_3-3_v-100-100_r-13.9
Q_3-3_v-100-100_r-15.0
Q_3-3_v-100-100_r-15.1
Q_3-3_v-100-100_r-15.2
Q_3-3_v-100-100_r-15.3
Q_3-3_v-100-100_r-15.4
Q_3-3_v-100-100_r-15.5
Q_3-3_v-100-100_r-15.6
Q_3-3_v-100-100_r-15.7
Q_3-3_v-100-100_r-15.8
Q_3-3_v-100-100_r-15.9
Q_3-3_v-100-100_r-17.0
Q_3-3_v-100-100_r-17.1
Q_3-3_v-100-100_r-17.2
Q_3-3_v-100-100_r-17.3
Q_3-3_v-100-100_r-17.4
Q_3-3_v-100-100_r-17.5
Q_3-3_v-100-100_r-17.6
Q_3-3_v-100-100_r-17.7
Q_3-3_v-100-100_r-17.8
Q_3-3_v-100-100_r-17.9
Q_3-3_v-100-100_r-19.0
Q_3-3_v-100-100_r-19.1
Q_3-3_v-100-100_r-19.2
Q_3-3_v-100-100_r-19.3
Q_3-3_v-100-100_r-19.4
Q_3-3_v-100-100_r-19.5
Q_3-3_v-100-100_r-19.6
Q_3-3_v-100-100_r-19.7
Q_3-3_v-100-100_r-19.8
Q_3-3_v-100-100_r-19.9
Contact
|
Organization
|
Links
|
Citing QBFLIB