Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: network_trans_sys_notify.c
Best Solver: rareqs Time: 0.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 0.83 - - caqe_2017_v3 12.01
- - ijtihad_v1 0.84 - - caqe_2017_v2 12.17
- - ijtihad_v2 0.88 - - rev_qfun0.1 20.05
- - caqe_2017_v1 0.92 - - - -
- - QELL_unit 1.16 - - - -
- - QELL_default 3.09 - - - -
rareqs(0.67)
heretiq(0.83)
ijtihad_v1(0.84)
ijtihad_v2(0.88)
caqe_2017_v1(0.92)
QELL_unit(1.16)
QELL_default(3.09)
caqe_2017_v3(12.01)
caqe_2017_v2(12.17)
rev_qfun0.1(20.05)
GhostQ-PG_cegar(133.89)
iProver-qbf-2017-07-27-v3(278.84)
iProver-qbf-bloqqer-2017-07-27-v3(302.89)