The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Q_2_3 family
Download (0 Kb)
Submitter:
Hubie Chen
Suite:
Chen-Interian
Domain:
Chen-Interian
Description:
Number of instances:
50
Results:
2019 - Track 1
2018 - Track 1
2018 - Track 3
2018 - Track 5
2017 - Track 5
2016 - Track 8
Instances:
Q_2-3_v-80-100_r-11.0
Q_2-3_v-80-100_r-11.1
Q_2-3_v-80-100_r-11.2
Q_2-3_v-80-100_r-11.3
Q_2-3_v-80-100_r-11.4
Q_2-3_v-80-100_r-11.5
Q_2-3_v-80-100_r-11.6
Q_2-3_v-80-100_r-11.7
Q_2-3_v-80-100_r-11.8
Q_2-3_v-80-100_r-11.9
Q_2-3_v-80-100_r-13.0
Q_2-3_v-80-100_r-13.1
Q_2-3_v-80-100_r-13.2
Q_2-3_v-80-100_r-13.3
Q_2-3_v-80-100_r-13.4
Q_2-3_v-80-100_r-13.5
Q_2-3_v-80-100_r-13.6
Q_2-3_v-80-100_r-13.7
Q_2-3_v-80-100_r-13.8
Q_2-3_v-80-100_r-13.9
Q_2-3_v-80-100_r-5.0
Q_2-3_v-80-100_r-5.1
Q_2-3_v-80-100_r-5.2
Q_2-3_v-80-100_r-5.3
Q_2-3_v-80-100_r-5.4
Q_2-3_v-80-100_r-5.5
Q_2-3_v-80-100_r-5.6
Q_2-3_v-80-100_r-5.7
Q_2-3_v-80-100_r-5.8
Q_2-3_v-80-100_r-5.9
Q_2-3_v-80-100_r-7.0
Q_2-3_v-80-100_r-7.1
Q_2-3_v-80-100_r-7.2
Q_2-3_v-80-100_r-7.3
Q_2-3_v-80-100_r-7.4
Q_2-3_v-80-100_r-7.5
Q_2-3_v-80-100_r-7.6
Q_2-3_v-80-100_r-7.7
Q_2-3_v-80-100_r-7.8
Q_2-3_v-80-100_r-7.9
Q_2-3_v-80-100_r-9.0
Q_2-3_v-80-100_r-9.1
Q_2-3_v-80-100_r-9.2
Q_2-3_v-80-100_r-9.3
Q_2-3_v-80-100_r-9.4
Q_2-3_v-80-100_r-9.5
Q_2-3_v-80-100_r-9.6
Q_2-3_v-80-100_r-9.7
Q_2-3_v-80-100_r-9.8
Q_2-3_v-80-100_r-9.9
Contact
|
Organization
|
Links
|
Citing QBFLIB