Sota solver details
Prenex non-CNF Track

Instance: SR-sat-02-01-07-2
Best Solver: Qute_default Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cqesto_2018 1.61 - - QFUN 10.7
- - Quabs_2018 2.96 - - GhostQ___cegar_qcir_2019 13.64
- - QuAbS___quabs-caqe_2019 2.99 - - quabs___caqe-hqspre 65.46
Qute_default(0.91)
Cqesto_2018(1.61)
Quabs_2018(2.96)
QuAbS___quabs-caqe_2019(2.99)
QFUN(10.7)
GhostQ___cegar_qcir_2019(13.64)
quabs___caqe-hqspre(65.46)
GhostQ___plain_qcir_2019(500.82)