Sota solver details
Prenex CNF Track

Instance: filesys_smbmrx_cvsndrcv.c
Best Solver: Rareqs_2018 Time: 0.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - caqe-pre 9.93
- - - - - - Caqe-hqspre 10.01
- - - - - - depqbf_pre_QxQBH 22.04
- - - - - - Caqe-bloqqer-qdo 38.46
- - - - - - nanoqbf_bloqqer 48.57
Rareqs_2018(0.74)
caqe-pre(9.93)
Caqe-hqspre(10.01)
depqbf_pre_QxQBH(22.04)
Caqe-bloqqer-qdo(38.46)
nanoqbf_bloqqer(48.57)
iprover_bloqqer_single(129.37)
iprover_bloqqer_schedule(129.41)
GhostQ___cegar_pcnf_2019(308.52)