Sota solver details
Prenex non-CNF Track

Instance: SR-sat-02-01-06-3
Best Solver: Qute_default Time: 20.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 93 QFUN 109.35 GhostQ___cegar_qcir_2019 530.18
- - QuAbS___quabs-caqe_2019 93.37 - - quabs___caqe-hqspre 682.9
Qute_default(20.45)
Quabs_2018(93)
QuAbS___quabs-caqe_2019(93.37)
QFUN(109.35)
GhostQ___cegar_qcir_2019(530.18)
quabs___caqe-hqspre(682.9)