Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp
Best Solver: aspq2v3 Time: 5.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ_2018 7.86 Caqe-bloqqer-qdo 31.29 Caqe-hqspre 111.18
- - aspq3alt 7.96 - - Caqe-bloqqer 148.07
aspq2v3(5.89)
ASPQ_2018(7.86)
aspq3alt(7.96)
Caqe-bloqqer-qdo(31.29)
Caqe-hqspre(111.18)
Caqe-bloqqer(148.07)