Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 1.37 Cued_2_2018 10.12 Rareqs_2018 48.91
- - Qute_default 1.38 Cued_3_2018 10.19 Caqe-bloqqer 59.81
- - - - - - Caqe-bloqqer-qdo 62.29
- - - - - - Caqe-hqspre 68.42
- - - - - - predyndep 100.13
- - - - - - Heretiq-cube 110.38
- - - - - - Heretiq-simple 110.48
Qute_random(1.34)
Qute_opt500(1.37)
Qute_default(1.38)
Cued_2_2018(10.12)
Cued_3_2018(10.19)
Rareqs_2018(48.91)
Caqe-bloqqer(59.81)
Caqe-bloqqer-qdo(62.29)
Caqe-hqspre(68.42)
predyndep(100.13)
Heretiq-cube(110.38)
Heretiq-simple(110.48)
depqbf_pre_QxQBH(250.78)