The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for cycle-sched family
Download (0 Kb)
Submitter:
Leander Tentrup
Suite:
Tentrup
Domain:
Miscellanea
Description:
Number of instances:
88
Results:
2020 - Track 1
2020 - Track 3
2019 - Track 1
2019 - Track 2
2018 - Track 1
2018 - Track 2
2018 - Track 3
2017 - Track 1
2017 - Track 2
2017 - Track 3
Instances:
cycle_sched_12_2_1.sat
cycle_sched_12_2_1.unsat
cycle_sched_2_10_1.sat
cycle_sched_2_10_1.unsat
cycle_sched_2_2_1.sat
cycle_sched_2_2_1.unsat
cycle_sched_2_3_1.sat
cycle_sched_2_3_1.unsat
cycle_sched_2_4_1.sat
cycle_sched_2_4_1.unsat
cycle_sched_2_5_1.sat
cycle_sched_2_5_1.unsat
cycle_sched_2_6_1.sat
cycle_sched_2_6_1.unsat
cycle_sched_2_7_1.sat
cycle_sched_2_7_1.unsat
cycle_sched_2_8_1.sat
cycle_sched_2_8_1.unsat
cycle_sched_2_9_1.sat
cycle_sched_2_9_1.unsat
cycle_sched_4_10_1.sat
cycle_sched_4_10_1.unsat
cycle_sched_4_10_2.sat
cycle_sched_4_10_2.unsat
cycle_sched_4_2_1.sat
cycle_sched_4_2_1.unsat
cycle_sched_4_2_2.sat
cycle_sched_4_2_2.unsat
cycle_sched_4_3_1.sat
cycle_sched_4_3_1.unsat
cycle_sched_4_3_2.sat
cycle_sched_4_3_2.unsat
cycle_sched_4_4_1.sat
cycle_sched_4_4_1.unsat
cycle_sched_4_4_2.sat
cycle_sched_4_4_2.unsat
cycle_sched_4_5_1.sat
cycle_sched_4_5_1.unsat
cycle_sched_4_5_2.sat
cycle_sched_4_5_2.unsat
cycle_sched_4_6_1.sat
cycle_sched_4_6_1.unsat
cycle_sched_4_6_2.sat
cycle_sched_4_6_2.unsat
cycle_sched_4_7_1.sat
cycle_sched_4_7_1.unsat
cycle_sched_4_7_2.sat
cycle_sched_4_7_2.unsat
cycle_sched_4_8_1.sat
cycle_sched_4_8_1.unsat
cycle_sched_4_8_2.sat
cycle_sched_4_8_2.unsat
cycle_sched_4_9_1.sat
cycle_sched_4_9_1.unsat
cycle_sched_6_2_1.sat
cycle_sched_6_2_1.unsat
cycle_sched_6_2_2.sat
cycle_sched_6_2_2.unsat
cycle_sched_6_2_3.sat
cycle_sched_6_2_3.unsat
cycle_sched_6_3_1.sat
cycle_sched_6_3_1.unsat
cycle_sched_6_3_2.sat
cycle_sched_6_3_2.unsat
cycle_sched_6_3_3.sat
cycle_sched_6_3_3.unsat
cycle_sched_6_4_1.sat
cycle_sched_6_4_1.unsat
cycle_sched_6_4_2.sat
cycle_sched_6_4_2.unsat
cycle_sched_6_4_3.sat
cycle_sched_6_4_3.unsat
cycle_sched_6_5_1.sat
cycle_sched_6_5_1.unsat
cycle_sched_6_5_2.sat
cycle_sched_6_5_2.unsat
cycle_sched_6_5_3.sat
cycle_sched_6_5_3.unsat
cycle_sched_6_6_2.sat
cycle_sched_6_6_2.unsat
cycle_sched_6_6_3.sat
cycle_sched_6_6_3.unsat
cycle_sched_6_7_1.sat
cycle_sched_6_7_1.unsat
cycle_sched_6_8_1.sat
cycle_sched_6_8_1.unsat
cycle_sched_6_9_1.sat
cycle_sched_6_9_1.unsat
Contact
|
Organization
|
Links
|
Citing QBFLIB