Sota solver details
Prenex non-CNF Track

Instance: DWs-unsat-09-19-1
Best Solver: Quabs_2018 Time: 16.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS___quabs-caqe_2019 16.8 GhostQ___cegar_qcir_2019 88.3 GhostQ___plain_qcir_2019 444.29
- - Cqesto_2018 40.58 QFUN 151.68 quabs___caqe-hqspre 581.06
Quabs_2018(16.5)
QuAbS___quabs-caqe_2019(16.8)
Cqesto_2018(40.58)
GhostQ___cegar_qcir_2019(88.3)
QFUN(151.68)
GhostQ___plain_qcir_2019(444.29)
quabs___caqe-hqspre(581.06)