Sota solver details
Prenex non-CNF Track

Instance: DW-unsat-09-22-1
Best Solver: Cqesto_2018 Time: 76.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS___quabs-caqe_2019 90.8 quabs___caqe-hqspre 575.85 - -
- - Quabs_2018 91.5 - - - -
- - GhostQ___cegar_qcir_2019 168.54 - - - -
- - QFUN 273.96 - - - -
- - GhostQ___plain_qcir_2019 276.37 - - - -
Cqesto_2018(76.48)
QuAbS___quabs-caqe_2019(90.8)
Quabs_2018(91.5)
GhostQ___cegar_qcir_2019(168.54)
QFUN(273.96)
GhostQ___plain_qcir_2019(276.37)
quabs___caqe-hqspre(575.85)