/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_3.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.048
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_99 (2062) on ../plain/ofuf_3.c:400:1-419:1
1	contexts for entry state of main (2069) on ../plain/ofuf_3.c:427:1-458:1
1	contexts for entry state of Id_MCDC_97 (2058) on ../plain/ofuf_3.c:331:1-399:1
1	contexts for entry state of Id_MCDC_100 (2063) on ../plain/ofuf_3.c:420:1-426:1

Memory statistics: total=38.55MB, max=8.82MB, minor=35.81MB, major=8.06MB, promoted=5.31MB
    minor collections=25  major collections=4 compactions=0


runtime: 00:01:37.809
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_99 (2062) on ../plain/ofuf_3.c:400:1-419:1
1	contexts for entry state of main (2069) on ../plain/ofuf_3.c:427:1-458:1
1	contexts for entry state of Id_MCDC_97 (2058) on ../plain/ofuf_3.c:331:1-399:1
1	contexts for entry state of Id_MCDC_100 (2063) on ../plain/ofuf_3.c:420:1-426:1

Memory statistics: total=38.59MB, max=8.82MB, minor=35.84MB, major=8.06MB, promoted=5.31MB
    minor collections=27  major collections=4 compactions=0


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

|rho|=61
|called|=27
|stable|=53
|infl|=23
|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_99 (2062) on ../plain/ofuf_3.c:400:1-419:1
1	contexts for entry state of main (2069) on ../plain/ofuf_3.c:427:1-458:1
1	contexts for entry state of Id_MCDC_97 (2058) on ../plain/ofuf_3.c:331:1-399:1
1	contexts for entry state of Id_MCDC_100 (2063) on ../plain/ofuf_3.c:420:1-426:1

Memory statistics: total=38.90MB, max=8.82MB, minor=36.16MB, major=8.07MB, promoted=5.32MB
    minor collections=29  major collections=4 compactions=0

