Sota solver details
Prenex non-CNF Track

Instance: CM-sat-04-01-07-3
Best Solver: Cqesto_2018 Time: 8.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 8.82 QuAbS___quabs-caqe_2019 46.43 quabs___caqe-hqspre 528.17
- - QFUN 37.86 GhostQ___cegar_qcir_2019 46.53 - -
- - - - Quabs_2018 46.62 - -
Cqesto_2018(8.37)
Qute_default(8.82)
QFUN(37.86)
QuAbS___quabs-caqe_2019(46.43)
GhostQ___cegar_qcir_2019(46.53)
Quabs_2018(46.62)
quabs___caqe-hqspre(528.17)