Sota solver details
Prenex non-CNF Track

Instance: DWs-unsat-11-23-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 90.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 91.8 GhostQ___cegar_qcir_2019 554.14 - -
- - Cqesto_2018 231.84 quabs___caqe-hqspre 607.88 - -
QuAbS___quabs-caqe_2019(90.82)
Quabs_2018(91.8)
Cqesto_2018(231.84)
GhostQ___cegar_qcir_2019(554.14)
quabs___caqe-hqspre(607.88)