The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for ToiletC family
Download (1060 Kb)
Submitter:
Claudio Castellini
Suite:
Castellini
Domain:
Planning
Description:
Number of instances:
85
Results:
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 1
2006 - Track 1
2005 - Track 1
2004 - Track 1
Instances:
toilet_c_02_01.2
toilet_c_02_01.3
toilet_c_02_01.4
toilet_c_02_05.2
toilet_c_02_10.2
toilet_c_04_01.2
toilet_c_04_01.3
toilet_c_04_01.4
toilet_c_04_01.5
toilet_c_04_01.6
toilet_c_04_01.7
toilet_c_04_01.8
toilet_c_04_05.2
toilet_c_04_10.2
toilet_c_06_01.10
toilet_c_06_01.11
toilet_c_06_01.12
toilet_c_06_01.2
toilet_c_06_01.3
toilet_c_06_01.4
toilet_c_06_01.5
toilet_c_06_01.6
toilet_c_06_01.7
toilet_c_06_01.8
toilet_c_06_01.9
toilet_c_06_05.2
toilet_c_06_05.3
toilet_c_06_05.4
toilet_c_06_10.2
toilet_c_08_01.10
toilet_c_08_01.11
toilet_c_08_01.12
toilet_c_08_01.13
toilet_c_08_01.14
toilet_c_08_01.15
toilet_c_08_01.16
toilet_c_08_01.2
toilet_c_08_01.3
toilet_c_08_01.4
toilet_c_08_01.5
toilet_c_08_01.6
toilet_c_08_01.7
toilet_c_08_01.8
toilet_c_08_01.9
toilet_c_08_05.10
toilet_c_08_05.2
toilet_c_08_05.3
toilet_c_08_05.4
toilet_c_08_05.5
toilet_c_08_05.6
toilet_c_08_05.7
toilet_c_08_05.8
toilet_c_08_05.9
toilet_c_08_10.2
toilet_c_10_01.10
toilet_c_10_01.11
toilet_c_10_01.12
toilet_c_10_01.13
toilet_c_10_01.14
toilet_c_10_01.15
toilet_c_10_01.16
toilet_c_10_01.17
toilet_c_10_01.18
toilet_c_10_01.19
toilet_c_10_01.2
toilet_c_10_01.20
toilet_c_10_01.3
toilet_c_10_01.4
toilet_c_10_01.5
toilet_c_10_01.6
toilet_c_10_01.7
toilet_c_10_01.8
toilet_c_10_01.9
toilet_c_10_05.10
toilet_c_10_05.11
toilet_c_10_05.12
toilet_c_10_05.2
toilet_c_10_05.3
toilet_c_10_05.4
toilet_c_10_05.5
toilet_c_10_05.6
toilet_c_10_05.7
toilet_c_10_05.8
toilet_c_10_05.9
toilet_c_10_10.2
Contact
|
Organization
|
Links
|
Citing QBFLIB