Results for instance SR-sat-02-01-06-3
Prenex non-CNF Track



Solver Time Result
Qute_default20.45SAT
Quabs_201893SAT
QuAbS___quabs-caqe_201993.37SAT
QFUN109.35SAT
GhostQ___cegar_qcir_2019530.18SAT
quabs___caqe-hqspre682.9SAT
Cqesto_2018900FAIL
GhostQ___plain_qcir_2019900FAIL