Results for instance SR-sat-02-01-07-2
Prenex non-CNF Track



Solver Time Result
Qute_default0.91SAT
Cqesto_20181.61SAT
Quabs_20182.96SAT
QuAbS___quabs-caqe_20192.99SAT
QFUN10.7SAT
GhostQ___cegar_qcir_201913.64SAT
quabs___caqe-hqspre65.46SAT
GhostQ___plain_qcir_2019500.82SAT