Sota solver details
Prenex non-CNF Track

Instance: DWs-unsat-08-18-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 13.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 13.63 QFUN 80.75 GhostQ___plain_qcir_2019 258.12
- - Cqesto_2018 21.4 - - quabs___caqe-hqspre 502.29
- - GhostQ___cegar_qcir_2019 58.32 - - - -
QuAbS___quabs-caqe_2019(13.5)
Quabs_2018(13.63)
Cqesto_2018(21.4)
GhostQ___cegar_qcir_2019(58.32)
QFUN(80.75)
GhostQ___plain_qcir_2019(258.12)
quabs___caqe-hqspre(502.29)