Sota solver details
Prenex non-CNF Track

Instance: CM-sat-04-01-06-4
Best Solver: Cqesto_2018 Time: 5.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 10.13 QFUN 39.5 GhostQ___cegar_qcir_2019 109.39
- - QuAbS___quabs-caqe_2019 26.4 - - quabs___caqe-hqspre 395.66
- - Quabs_2018 26.43 - - - -
Cqesto_2018(5.54)
Qute_default(10.13)
QuAbS___quabs-caqe_2019(26.4)
Quabs_2018(26.43)
QFUN(39.5)
GhostQ___cegar_qcir_2019(109.39)
quabs___caqe-hqspre(395.66)