Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: sdlx-fixpoint-6
Best Solver: CADET_2017 Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
CADET_2017(0)
GhostQ-PG_plain(3.93)
GhostQ-PG_cegar(5.61)
Caqe-hqspre(81.88)
predyndep(572.74)