Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: amba2f9n.sat
Best Solver: Qute_random Time: 1.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 1.37 Cued_3_2018 9.97 Rareqs_2018 47.27
- - Qute_opt500 1.37 Cued_2_2018 10.12 Caqe-bloqqer 61.65
- - - - - - Caqe-bloqqer-qdo 62.06
- - - - - - Caqe-hqspre 68.51
- - - - - - predyndep 100.1
- - - - - - aspq2v3 101.4
- - - - - - aspq3alt 102.58
- - - - - - ASPQ_2018 102.65
- - - - - - Heretiq-simple 108.62
- - - - - - Heretiq-cube 108.77
Qute_random(1.36)
Qute_default(1.37)
Qute_opt500(1.37)
Cued_3_2018(9.97)
Cued_2_2018(10.12)
Rareqs_2018(47.27)
Caqe-bloqqer(61.65)
Caqe-bloqqer-qdo(62.06)
Caqe-hqspre(68.51)
predyndep(100.1)
aspq2v3(101.4)
aspq3alt(102.58)
ASPQ_2018(102.65)
Heretiq-simple(108.62)
Heretiq-cube(108.77)
depqbf_pre_QxQBH(249.36)