Sota solver details
Prenex non-CNF Track

Instance: DWs-sat-10-25-1
Best Solver: Cqesto_2018 Time: 4.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Quabs_2018 73.58
- - - - - - QuAbS___quabs-caqe_2019 75.08
- - - - - - GhostQ___cegar_qcir_2019 95.27
- - - - - - QFUN 367.43
Cqesto_2018(4.09)
Quabs_2018(73.58)
QuAbS___quabs-caqe_2019(75.08)
GhostQ___cegar_qcir_2019(95.27)
QFUN(367.43)
quabs___caqe-hqspre(632.53)