The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for LTL2DBA family
Download (0 Kb)
Submitter:
Leander Tentrup
Suite:
Tentrup
Domain:
Miscellanea
Description:
Number of instances:
38
Results:
2020 - Track 1
2020 - Track 3
2019 - Track 1
2018 - Track 1
2018 - Track 3
2018 - Track 5
2017 - Track 1
2017 - Track 2
2017 - Track 3
Instances:
ltl2dba_C2-6_comp2_REAL.sat
ltl2dba_C2-6_comp2_REAL.unsat
ltl2dba_C2-6_comp3_REAL.sat
ltl2dba_C2-6_comp3_REAL.unsat
ltl2dba_C2-6_comp4_REAL.sat
ltl2dba_C2-6_comp4_REAL.unsat
ltl2dba_C2-8_comp2_REAL.sat
ltl2dba_C2-8_comp2_REAL.unsat
ltl2dba_C2-8_comp3_REAL.sat
ltl2dba_C2-8_comp3_REAL.unsat
ltl2dba_C2-8_comp4_REAL.sat
ltl2dba_C2-8_comp4_REAL.unsat
ltl2dba_E4_comp2_REAL.sat
ltl2dba_E4_comp2_REAL.unsat
ltl2dba_E4_comp3_REAL.sat
ltl2dba_E4_comp3_REAL.unsat
ltl2dba_E4_comp4_REAL.sat
ltl2dba_E4_comp4_REAL.unsat
ltl2dba_E4_comp5_REAL.sat
ltl2dba_E4_comp5_REAL.unsat
ltl2dba_E6_comp2_REAL.sat
ltl2dba_E6_comp2_REAL.unsat
ltl2dba_Q4_comp2_REAL.sat
ltl2dba_Q4_comp2_REAL.unsat
ltl2dba_Q4_comp3_REAL.sat
ltl2dba_Q4_comp3_REAL.unsat
ltl2dba_Q4_comp4_REAL.sat
ltl2dba_Q4_comp4_REAL.unsat
ltl2dba_Q4_comp5_REAL.sat
ltl2dba_Q4_comp5_REAL.unsat
ltl2dba_U1-4_comp2_REAL.sat
ltl2dba_U1-4_comp2_REAL.unsat
ltl2dba_U1-4_comp3_REAL.sat
ltl2dba_U1-4_comp3_REAL.unsat
ltl2dba_U1-4_comp4_REAL.sat
ltl2dba_U1-4_comp4_REAL.unsat
ltl2dba_U1-4_comp5_REAL.sat
ltl2dba_U1-4_comp5_REAL.unsat
Contact
|
Organization
|
Links
|
Citing QBFLIB