Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ_2018 10.58 Caqe-bloqqer-qdo 60.33 Caqe-bloqqer 127.67
- - aspq3alt 10.69 Caqe-hqspre 72.37 Qute_random 210.74
- - - - - - Qute_opt500 215.26
aspq2v3(9.26)
ASPQ_2018(10.58)
aspq3alt(10.69)
Caqe-bloqqer-qdo(60.33)
Caqe-hqspre(72.37)
Caqe-bloqqer(127.67)
Qute_random(210.74)
Qute_opt500(215.26)