Sota solver details
Prenex CNF Track

Instance: network_trans_sys_notify.c
Best Solver: Rareqs_2018 Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - nanoqbf_bloqqer 10.02
- - - - - - nanoqbf_hqspre 11.89
- - - - - - Caqe-hqspre 12.72
- - - - - - caqe-pre 12.77
- - - - - - Caqe-bloqqer-qdo 28.31
Rareqs_2018(0.62)
nanoqbf_bloqqer(10.02)
nanoqbf_hqspre(11.89)
Caqe-hqspre(12.72)
caqe-pre(12.77)
Caqe-bloqqer-qdo(28.31)
Qute_default(62.33)
iprover_bloqqer_single(115.09)
iprover_bloqqer_schedule(115.24)
GhostQ___cegar_pcnf_2019(135.37)
Qute_rrs(201.05)