The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Q_3_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-3_v-100-100-100_r-30.0
Q_3-3-3_v-100-100-100_r-30.1
Q_3-3-3_v-100-100-100_r-30.2
Q_3-3-3_v-100-100-100_r-30.3
Q_3-3-3_v-100-100-100_r-30.4
Q_3-3-3_v-100-100-100_r-30.5
Q_3-3-3_v-100-100-100_r-30.6
Q_3-3-3_v-100-100-100_r-30.7
Q_3-3-3_v-100-100-100_r-30.8
Q_3-3-3_v-100-100-100_r-30.9
Q_3-3-3_v-100-100-100_r-40.0
Q_3-3-3_v-100-100-100_r-40.1
Q_3-3-3_v-100-100-100_r-40.2
Q_3-3-3_v-100-100-100_r-40.3
Q_3-3-3_v-100-100-100_r-40.4
Q_3-3-3_v-100-100-100_r-40.5
Q_3-3-3_v-100-100-100_r-40.6
Q_3-3-3_v-100-100-100_r-40.7
Q_3-3-3_v-100-100-100_r-40.8
Q_3-3-3_v-100-100-100_r-40.9
Q_3-3-3_v-100-100-100_r-50.0
Q_3-3-3_v-100-100-100_r-50.1
Q_3-3-3_v-100-100-100_r-50.2
Q_3-3-3_v-100-100-100_r-50.3
Q_3-3-3_v-100-100-100_r-50.4
Q_3-3-3_v-100-100-100_r-50.5
Q_3-3-3_v-100-100-100_r-50.6
Q_3-3-3_v-100-100-100_r-50.7
Q_3-3-3_v-100-100-100_r-50.8
Q_3-3-3_v-100-100-100_r-50.9
Q_3-3-3_v-100-100-100_r-60.0
Q_3-3-3_v-100-100-100_r-60.1
Q_3-3-3_v-100-100-100_r-60.2
Q_3-3-3_v-100-100-100_r-60.3
Q_3-3-3_v-100-100-100_r-60.4
Q_3-3-3_v-100-100-100_r-60.5
Q_3-3-3_v-100-100-100_r-60.6
Q_3-3-3_v-100-100-100_r-60.7
Q_3-3-3_v-100-100-100_r-60.8
Q_3-3-3_v-100-100-100_r-60.9
Q_3-3-3_v-100-100-100_r-70.0
Q_3-3-3_v-100-100-100_r-70.1
Q_3-3-3_v-100-100-100_r-70.2
Q_3-3-3_v-100-100-100_r-70.3
Q_3-3-3_v-100-100-100_r-70.4
Q_3-3-3_v-100-100-100_r-70.5
Q_3-3-3_v-100-100-100_r-70.6
Q_3-3-3_v-100-100-100_r-70.7
Q_3-3-3_v-100-100-100_r-70.8
Q_3-3-3_v-100-100-100_r-70.9
Contact
|
Organization
|
Links
|
Citing QBFLIB