Sota solver details
Prenex CNF Track

Instance: driverlog14_9
Best Solver: Rareqs_2018 Time: 35.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_bloqqer 124.6 nanoqbf_hqspre 181.32 - -

Rareqs_2018(35.88)
nanoqbf_bloqqer(124.6)
nanoqbf_hqspre(181.32)