Sota solver details
Prenex CNF Track

Instance: driverlog10_7
Best Solver: Rareqs_2018 Time: 1.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 3.21 - - Caqe-bloqqer-qdo 38.92
- - depqbf_pre_QxQBH 3.55 - - iprover_bloqqer_schedule 98.96
- - Qute_default 3.65 - - - -
- - Qute_opt500 3.66 - - - -
- - Qute_rrs 3.67 - - - -
- - nanoqbf_bloqqer 4.44 - - - -
- - Caqe-hqspre 5.51 - - - -
- - caqe-pre 5.52 - - - -
Rareqs_2018(1.84)
nanoqbf_hqspre(3.21)
depqbf_pre_QxQBH(3.55)
Qute_default(3.65)
Qute_opt500(3.66)
Qute_rrs(3.67)
nanoqbf_bloqqer(4.44)
Caqe-hqspre(5.51)
caqe-pre(5.52)
Caqe-bloqqer-qdo(38.92)
iprover_bloqqer_schedule(98.96)
iprover_bloqqer_single(269.5)