Results for instance klieber2017q-052-13-eq
Prenex non-CNF Track



Solver Time Result
Cqesto_20180SAT
QFUN0SAT
quabs___caqe-hqspre1.74SAT
GhostQ___cegar_qcir_20192.69SAT
QuAbS___quabs-caqe_20194.57SAT
Quabs_20184.6SAT
GhostQ___plain_qcir_201937.21SAT
Qute_default84.05SAT