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

Instance: ev-pr-4x4-11-3-0-0-1-lg
Best Solver: ghostq-plain Time: 2.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt993 3.57 - - Qute_hybrid 192.51
ghostq-plain(2.01)
Qute_opt993(3.57)
Qute_hybrid(192.51)
Qute_opt617(320.27)
ghostq-cegar(341.53)
QuAbS_2017(413.44)
cqesto(458.69)