Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aspq3alt 12.76 - - Rareqs_2018 82.78
- - ASPQ_2018 12.91 - - Qute_random 97.46
- - - - - - Qute_opt500 98.31
- - - - - - Qute_default 153.6
aspq2v3(4.51)
aspq3alt(12.76)
ASPQ_2018(12.91)
Rareqs_2018(82.78)
Qute_random(97.46)
Qute_opt500(98.31)
Qute_default(153.6)