Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: filesys_smbmrx_cvsndrcv.c
Best Solver: rareqs Time: 0.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 0.97 caqe_2017_v2 7.47 QELL_unit 8.14
- - ijtihad_v1 0.97 caqe_2017_v3 7.47 rev_qfun0.1 25.7
- - ijtihad_v2 0.97 - - - -
- - caqe_2017_v1 1.02 - - - -
rareqs(0.77)
heretiq(0.97)
ijtihad_v1(0.97)
ijtihad_v2(0.97)
caqe_2017_v1(1.02)
caqe_2017_v2(7.47)
caqe_2017_v3(7.47)
QELL_unit(8.14)
rev_qfun0.1(25.7)
qbfrelay(79.32)
QELL_default(154.92)
iProver-qbf-bloqqer-2017-07-27-v3(253.82)
iProver-qbf-2017-07-27-v3(293.89)
GhostQ-PG_cegar(303.8)