Sota solver details
Prenex non-CNF Track

Instance: reachqu_query60_1344
Best Solver: QFUN Time: 81.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 358.13 Cqesto_2018 636.15 - -
- - - - GhostQ___cegar_qcir_2019 792.66 - -
QFUN(81.22)
quabs___caqe-hqspre(358.13)
Cqesto_2018(636.15)
GhostQ___cegar_qcir_2019(792.66)