Sota solver details
Prenex CNF Track

Instance: driverlog11_9
Best Solver: Rareqs_2018 Time: 6.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_rrs 11.97 - - iprover_bloqqer_schedule 164.04
- - Qute_opt500 12.06 - - - -
- - nanoqbf_hqspre 12.08 - - - -
- - Qute_default 12.11 - - - -
- - Caqe-hqspre 12.75 - - - -
- - caqe-pre 12.79 - - - -
- - depqbf_pre_QxQBH 14.66 - - - -
- - nanoqbf_bloqqer 18.59 - - - -
Rareqs_2018(6.91)
Qute_rrs(11.97)
Qute_opt500(12.06)
nanoqbf_hqspre(12.08)
Qute_default(12.11)
Caqe-hqspre(12.75)
caqe-pre(12.79)
depqbf_pre_QxQBH(14.66)
nanoqbf_bloqqer(18.59)
iprover_bloqqer_schedule(164.04)