2022-03-09 11:25:54 /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.restart.sided.enabled --set incremental.restart.sided.fuel 16 --enable incremental.load --set save_run increment branch.c --enable dbg.uncalled --enable allglobs --enable printstats Custom include dirs: 1. /home/simmo/dev/goblint/sv-comp/goblint/includes (exists=true) Preprocessing files. Preprocessor cpp: is_bad=false 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/stdlib.c' '-o' '.goblint/preprocessed/stdlib.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/pthread.c' '-o' '.goblint/preprocessed/pthread.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' 'branch.c' '-o' '.goblint/preprocessed/branch.i' Parsing files. Frontc is parsing .goblint/preprocessed/stdlib.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/pthread.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/branch.i Converting CABS->CIL Pre-merging (0) .goblint/preprocessed/stdlib.i Pre-merging (1) .goblint/preprocessed/pthread.i Pre-merging (2) .goblint/preprocessed/branch.i Final merging phase (0): .goblint/preprocessed/stdlib.i Final merging phase (1): .goblint/preprocessed/pthread.i Final merging phase (2): .goblint/preprocessed/branch.i Constructors: Adding constructors to: main Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/synthetic/incremental/incremental_data/results/ast.data... If type of content changed, this will result in a segmentation fault! Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/synthetic/incremental/incremental_data/results/version.data... If type of content changed, this will result in a segmentation fault! Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/synthetic/incremental/incremental_data/results/solver.data... If type of content changed, this will result in a segmentation fault! And now... the Goblin! Startfuns: [main] Exitfuns: [] Otherfuns: [] Using new format for phases! Activated analyses for phase 0: expRelation, base, threadid, threadflag, threadreturn, escape, mutex, access, mallocWrapper Activated transformations for phase 0: Generating the control flow graph. Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/synthetic/incremental/incremental_data/results/analysis.data... If type of content changed, this will result in a segmentation fault! Initializing 2 globals. Executing 3 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. Loaded data for incremental analysis: |rho|=6 |stable|=6 |infl|=6 |wpoint|=0 |side_dep|=1 |side_infl|=1 change_info = { unchanged = 441; changed = 1; added = 0; removed = 0 } Completely changed function: main Destabilizing changed functions and primary old nodes ... Restarting to bot main Removing data for changed and removed functions... Destabilizing sides of changed functions, primary old nodes and removed functions ... Data after clean-up: |rho|=6 |stable|=1 |infl|=6 |wpoint|=0 |side_dep|=0 |side_infl|=0 Unstable solver start vars in 1. phase: call of main on branch.c:3:1-7:1 Data after solve completed: |rho|=9 |stable|=6 |infl|=9 |wpoint|=0 |side_dep|=0 |side_infl|=0 Postsolving Saving the solver result to increment/solver.marshalled Data after postsolve: |rho|=6 |stable|=6 |infl|=6 |wpoint|=0 |side_dep|=1 |side_infl|=1 Saving the current configuration to increment/config.json, meta-data about this run to increment/meta.json, and solver statistics to increment/solver_stats.csv runtime: 00:00:00.035 vars: 3, evals: 4 max updates: 1 for var node 81 "x < 16" on branch.c:4:3-6:3 |rho|=6 |called|=0 |stable|=6 |infl|=6 |wpoint|=0 |side_dep|=1 |side_infl|=1 Found 2 contexts for 1 functions. Top 5 functions: 2 contexts for entry state of main on branch.c:3:1-7:1 Memory statistics: total=28.48MB, max=6.37MB, minor=25.91MB, major=6.27MB, promoted=3.70MB minor collections=13 major collections=2 compactions=0 vars = 3 evals = 4 narrow_reuses = 0 aborts = 0 Timings: TOTAL 0.012 s parse 0.004 s convert to CIL 0.005 s compareCilFiles 0.000 s analysis 0.004 s global_inits 0.001 s solving 0.001 s S.Dom.equal 0.001 s postsolver 0.001 s warn_global 0.001 s Timing used Memory statistics: total=28.52MB, max=6.37MB, minor=25.95MB, major=6.27MB, promoted=3.70MB minor collections=13 major collections=2 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:25:54 +0200 Analysis ended: 2022-03-09 11:25:54 +0200 Duration: 0.06 s Goblint params: /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.restart.sided.enabled --set incremental.restart.sided.fuel 16 --enable incremental.load --set save_run increment branch.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/home/simmo/dev/goblint/sv-comp/goblint-bench/bench_result/branch.patch.Fuel16.txt 2>&1