Sota solver details
Prenex non-CNF Track

Instance: DWs-unsat-10-22-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 69.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 69.5 GhostQ___cegar_qcir_2019 370.93 - -
- - Cqesto_2018 168.16 quabs___caqe-hqspre 561.06 - -
- - - - QFUN 642.53 - -
QuAbS___quabs-caqe_2019(69.39)
Quabs_2018(69.5)
Cqesto_2018(168.16)
GhostQ___cegar_qcir_2019(370.93)
quabs___caqe-hqspre(561.06)
QFUN(642.53)