/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint --conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --enable witness.enabled --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/ofuf_1.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

runtime: 00:00:25.067
vars: 61, evals: 50

|rho|=61
|called|=28
|stable|=53
|infl|=22
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43
Found 4 contexts for 4 functions. Top 5 functions:
1	contexts for entry state of Id_MCDC_118 (2063) on ../plain/ofuf_1.c:445:1-451:1
1	contexts for entry state of main (2069) on ../plain/ofuf_1.c:452:1-484:1
1	contexts for entry state of Id_MCDC_117 (2062) on ../plain/ofuf_1.c:425:1-444:1
1	contexts for entry state of Id_MCDC_115 (2058) on ../plain/ofuf_1.c:356:1-424:1

Memory statistics: total=38.71MB, max=8.82MB, minor=35.97MB, major=8.06MB, promoted=5.32MB
    minor collections=25  major collections=4 compactions=0


runtime: 00:01:43.687
vars: 61, evals: 50

|rho|=61
|called|=28
|stable|=53
|infl|=22
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43
Found 4 contexts for 4 functions. Top 5 functions:
1	contexts for entry state of Id_MCDC_118 (2063) on ../plain/ofuf_1.c:445:1-451:1
1	contexts for entry state of main (2069) on ../plain/ofuf_1.c:452:1-484:1
1	contexts for entry state of Id_MCDC_117 (2062) on ../plain/ofuf_1.c:425:1-444:1
1	contexts for entry state of Id_MCDC_115 (2058) on ../plain/ofuf_1.c:356:1-424:1

Memory statistics: total=38.75MB, max=8.82MB, minor=36.00MB, major=8.06MB, promoted=5.32MB
    minor collections=27  major collections=4 compactions=0

