Results for instance ltl2dba_C2-6_comp3_REAL.sat
Prenex non-CNF Track



Solver Time Result
quabs___caqe-hqspre1.4SAT
QuAbS___quabs-caqe_2019301.35SAT
Qute_default900FAIL
Cqesto_2018900FAIL
QFUN900FAIL
Quabs_2018900FAIL
GhostQ___cegar_qcir_2019900FAIL
GhostQ___plain_qcir_2019900FAIL