Sota solver details
Prenex CNF Track

Instance: kmdf_osrusbfx2_exe_dump.c
Best Solver: nanoqbf_hqspre Time: 27.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 30.85 Qute_rrs 174.9 - -
- - Caqe-hqspre 31.16 iprover_bloqqer_schedule 210.35 - -
- - Qute_default 82.77 iprover_bloqqer_single 210.75 - -
- - Caqe-bloqqer-qdo 90.55 - - - -
nanoqbf_hqspre(27.19)
caqe-pre(30.85)
Caqe-hqspre(31.16)
Qute_default(82.77)
Caqe-bloqqer-qdo(90.55)
Qute_rrs(174.9)
iprover_bloqqer_schedule(210.35)
iprover_bloqqer_single(210.75)