Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: neclaftp2002
Best Solver: Cued_3_2018 Time: 253.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cued_2_2018 256.28 - - - -
Cued_3_2018(253.83)
Cued_2_2018(256.28)