Sota solver details
Prenex CNF Track

Instance: depots08_6
Best Solver: caqe-pre Time: 36.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 36.37 Caqe-bloqqer-qdo 192.43 iprover_bloqqer_schedule 703.85
- - Rareqs_2018 36.48 - - - -
- - depqbf_pre_QxQBH 44.32 - - - -
- - nanoqbf_hqspre 46.69 - - - -
- - Qute_rrs 48.84 - - - -
- - Qute_opt500 49.18 - - - -
- - Qute_default 49.32 - - - -
- - nanoqbf_bloqqer 165.73 - - - -
caqe-pre(36.13)
Caqe-hqspre(36.37)
Rareqs_2018(36.48)
depqbf_pre_QxQBH(44.32)
nanoqbf_hqspre(46.69)
Qute_rrs(48.84)
Qute_opt500(49.18)
Qute_default(49.32)
nanoqbf_bloqqer(165.73)
Caqe-bloqqer-qdo(192.43)
iprover_bloqqer_schedule(703.85)