Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: cycle_sched_4_4_2.sat
Best Solver: Qute_random Time: 1.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 1.49 Heretiq-simple 5.99 depqbf_pre_QxQBH 23.95
- - Qute_opt500 1.51 ijtihad 5.99 - -
- - Rareqs_2018 2.08 Heretiq-cube 6.01 - -
- - aspq2v3 2.64 predyndep 6.36 - -
- - Caqe-bloqqer-qdo 3.09 - - - -
- - ASPQ_2018 3.92 - - - -
- - Cued_2_2018 3.93 - - - -
- - Cued_3_2018 3.93 - - - -
- - aspq3alt 3.94 - - - -
Qute_random(1.12)
Caqe-bloqqer(1.49)
Qute_opt500(1.51)
Rareqs_2018(2.08)
aspq2v3(2.64)
Caqe-bloqqer-qdo(3.09)
ASPQ_2018(3.92)
Cued_2_2018(3.93)
Cued_3_2018(3.93)
aspq3alt(3.94)
Heretiq-simple(5.99)
ijtihad(5.99)
Heretiq-cube(6.01)
predyndep(6.36)
depqbf_pre_QxQBH(23.95)