Sota solver details
Prenex CNF Track

Instance: driverlog12_9
Best Solver: Rareqs_2018 Time: 6.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_bloqqer 12.14 - - iprover_bloqqer_schedule 309.57
- - nanoqbf_hqspre 14.2 - - - -
- - caqe-pre 15.2 - - - -
- - Caqe-hqspre 15.41 - - - -
- - depqbf_pre_QxQBH 15.42 - - - -
- - Qute_rrs 19.75 - - - -
- - Qute_default 20.1 - - - -
- - Qute_opt500 20.12 - - - -
Rareqs_2018(6.1)
nanoqbf_bloqqer(12.14)
nanoqbf_hqspre(14.2)
caqe-pre(15.2)
Caqe-hqspre(15.41)
depqbf_pre_QxQBH(15.42)
Qute_rrs(19.75)
Qute_default(20.1)
Qute_opt500(20.12)
iprover_bloqqer_schedule(309.57)