Sota solver details
Prenex non-CNF Track

Instance: DW-unsat-09-23-1
Best Solver: Cqesto_2018 Time: 77.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 116.65 quabs___caqe-hqspre 550.08 - -
- - QuAbS___quabs-caqe_2019 118.92 - - - -
- - GhostQ___cegar_qcir_2019 227.04 - - - -
- - GhostQ___plain_qcir_2019 244.02 - - - -
- - QFUN 295.26 - - - -
Cqesto_2018(77.27)
Quabs_2018(116.65)
QuAbS___quabs-caqe_2019(118.92)
GhostQ___cegar_qcir_2019(227.04)
GhostQ___plain_qcir_2019(244.02)
QFUN(295.26)
quabs___caqe-hqspre(550.08)