Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: cycle_sched_6_7_1.sat
Best Solver: Qute_default Time: 4.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 4.07 Caqe-bloqqer 21.37 depqbf_pre_QxQBH 256.95
- - Qute_random 4.11 Rareqs_2018 26.33 aspq2v3 324.19
- - - - - - ijtihad 383.55
Qute_default(4.06)
Qute_opt500(4.07)
Qute_random(4.11)
Caqe-bloqqer(21.37)
Rareqs_2018(26.33)
depqbf_pre_QxQBH(256.95)
aspq2v3(324.19)
ijtihad(383.55)
Cued_2_2018(574.6)
Cued_3_2018(578.98)
Heretiq-simple(683.96)