Sota solver details
QBFEVAL'17 - Prenex non-CNF Track

Instance: ev-pr-4x4-13-3-0-0-1-lg
Best Solver: cqesto Time: 3.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt993 3.58 - - Qute_opt617 69.53
- - ghostq-plain 8.93 - - Qute_hybrid 92.65
cqesto(3.36)
Qute_opt993(3.58)
ghostq-plain(8.93)
Qute_opt617(69.53)
Qute_hybrid(92.65)
ghostq-cegar(613.04)