Sota solver details
Prenex non-CNF Track

Instance: SR-unsat-04-01-08-1
Best Solver: Quabs_2018 Time: 8.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS___quabs-caqe_2019 8.07 QFUN 58.63 GhostQ___plain_qcir_2019 307.85
- - Cqesto_2018 12.18 - - quabs___caqe-hqspre 511.29
- - GhostQ___cegar_qcir_2019 39.73 - - - -
Quabs_2018(8.01)
QuAbS___quabs-caqe_2019(8.07)
Cqesto_2018(12.18)
GhostQ___cegar_qcir_2019(39.73)
QFUN(58.63)
GhostQ___plain_qcir_2019(307.85)
quabs___caqe-hqspre(511.29)