Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: hex_rand_6x6-20m-5
Best Solver: Caqe-bloqqer-qdo Time: 455.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 514.45 - - - -
- - Cued_3_2018 755.84 - - - -
- - Cued_2_2018 757.85 - - - -
Caqe-bloqqer-qdo(455.47)
Caqe-bloqqer(514.45)
Cued_3_2018(755.84)
Cued_2_2018(757.85)