Sota solver details
Prenex non-CNF Track

Instance: DW-sat-09-26-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 41.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 41.27 - - QFUN 476.61
- - Cqesto_2018 46.35 - - quabs___caqe-hqspre 523.58
- - GhostQ___cegar_qcir_2019 86.54 - - - -
- - GhostQ___plain_qcir_2019 120.06 - - - -
QuAbS___quabs-caqe_2019(41.09)
Quabs_2018(41.27)
Cqesto_2018(46.35)
GhostQ___cegar_qcir_2019(86.54)
GhostQ___plain_qcir_2019(120.06)
QFUN(476.61)
quabs___caqe-hqspre(523.58)