Sota solver details
Prenex non-CNF Track

Instance: CM-sat-07-01-06-4
Best Solver: QFUN Time: 291.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cqesto_2018 526.54 - - - -
- - GhostQ___cegar_qcir_2019 617.53 - - - -
QFUN(291.76)
Cqesto_2018(526.54)
GhostQ___cegar_qcir_2019(617.53)