Sota solver details
Crafted Instances Track

Instance: ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
Best Solver: Caqe-hqspre Time: 1.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.36 Rareqs_2018 10.82 iprover_bloqqer_single 14.22
- - Qute_rrs 1.51 - - Caqe-bloqqer-qdo 19.16
- - nanoqbf_hqspre 1.53 - - - -
- - Qute_default 1.54 - - - -
- - Qute_opt500 1.57 - - - -
- - depqbf_pre_QxQBH 1.94 - - - -
Caqe-hqspre(1.31)
caqe-pre(1.36)
Qute_rrs(1.51)
nanoqbf_hqspre(1.53)
Qute_default(1.54)
Qute_opt500(1.57)
depqbf_pre_QxQBH(1.94)
Rareqs_2018(10.82)
iprover_bloqqer_single(14.22)
Caqe-bloqqer-qdo(19.16)
iprover_bloqqer_schedule(770.14)
GhostQ___cegar_pcnf_2019(810.6)