Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: amba3b5y.sat
Best Solver: Qute_default Time: 2.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 2.63 - - Cued_2_2018 83.37
- - Qute_opt500 2.66 - - Cued_3_2018 84.14
- - - - - - Rareqs_2018 186.25
Qute_default(2.62)
Qute_random(2.63)
Qute_opt500(2.66)
Cued_2_2018(83.37)
Cued_3_2018(84.14)
Rareqs_2018(186.25)
Caqe-bloqqer(331.64)
depqbf_pre_QxQBH(401.74)
predyndep(403.31)
Heretiq-simple(700.14)
Heretiq-cube(790.12)
Caqe-bloqqer-qdo(851.4)