Overview of 693 results from 692 .log files (256 Timeout by benchexec, 57 OOM by benchexec) Categories 214 specifications checked. All of them hold 155 Toolchain execution was canceled (user or tool) before executing 116 TimeoutResultAtElement 96 Killed by 15 30 OOM by benchexec 28 We were not able to verify any specifiation because the program does not contain any specification 27 Killed from outside 9 stderr output: (error "out of memory") 5 ExceptionOrErrorResult 5 unable to decide satisfiability of path constraint 4 CounterExampleResult 3 Cannot interrupt operation gracefully because timeout expired. Forcing shutdown 1 AssertionError: No corresponding IProgramVar Actual results (n>=10) 214 specifications ch... 1 specifications checked. All of them hold: 155 Toolchain executi... [2021-10-13 22:31:48,586 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.witnessprinter: 116 TimeoutResultAtEl... - TimeoutResultAtElement [Line: 50]: Timeout (TraceAbstraction): 96 Killed by 15 ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................Killed by 15: 30 OOM by benchexec ...: 28 We were not able ... We were not able to verify any specifiation because the program does not contain any specification.: 27 Killed from outside ...: Actual results (n<10) 9 stderr output: (e... [2021-10-13 19:07:11,045 WARN L228 Executor]: External (MP /storage/repos/ultimate-2/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1) with exit command (exit)) stderr output: (error "out of memory"): 5 unable to decide ... Reason: unable to decide satisfiability of path constraint, overapproximation of memtrack at line 93. : 5 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder: UnsupportedOperationException: Large block encoding incomplete: Is there illegal control flow (e.g. loops) within an atomic block?: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder.cfg.CfgBuilder.createIcfg(CfgBuilder.java:302): 4 CounterExampleResult - CounterExampleResult [Line: 77]: a call to reach_error is reachable: 3 Cannot interrupt ... Cannot interrupt operation gracefully because timeout expired. Forcing shutdown: 1 AssertionError: N... java.lang.AssertionError: No corresponding IProgramVar for v_prenex_1: Detailed actual results (n>=10) 214 specifications ch... 1 specifications checked. All of them hold: 6.64s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.test-easy8.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/test-easy8.wvr.c 155 Toolchain executi... [2021-10-13 22:31:48,586 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.witnessprinter: 734.13s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.chl-word-symm.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/chl-word-symm.wvr.c 116 TimeoutResultAtEl... - TimeoutResultAtElement [Line: 50]: Timeout (TraceAbstraction): 720.93s results/weaver.2021-10-13_17-16-22.logfiles/memsafety-inline-bv.chl-poker-hand-trans.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s config/svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf -i ../sv-benchmarks/c/weaver/chl-poker-hand-trans.wvr.c 96 Killed by 15 ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................Killed by 15: 774.44s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call.mult-dist.wvr.yml.log Call: None 30 OOM by benchexec ...: 90.67s results/weaver.2021-10-13_17-16-22.logfiles/nooverflow.popl20-difference-det.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s config/svcomp-Overflow-32bit-Automizer_Default.epf -i ../sv-benchmarks/c/weaver/popl20-difference-det.wvr.c 28 We were not able ... We were not able to verify any specifiation because the program does not contain any specification.: 5.27s results/weaver.2021-10-13_17-16-22.logfiles/nooverflow.mult-dist.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s config/svcomp-Overflow-32bit-Automizer_Default.epf -i ../sv-benchmarks/c/weaver/mult-dist.wvr.c 27 Killed from outside ...: 71.04s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call.parallel-barrier-loop.wvr.yml.log Call: None Detailed actual results (n<10) 9 stderr output: (e... [2021-10-13 19:07:11,045 WARN L228 Executor]: External (MP /storage/repos/ultimate-2/releaseScripts/default/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1) with exit command (exit)) stderr output: (error "out of memory"): 145.80s results/weaver.2021-10-13_17-16-22.logfiles/nooverflow.chl-node-subst.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s config/svcomp-Overflow-32bit-Automizer_Default.epf -i ../sv-benchmarks/c/weaver/chl-node-subst.wvr.c 5 unable to decide ... Reason: unable to decide satisfiability of path constraint, overapproximation of memtrack at line 93. : 39.93s results/weaver.2021-10-13_17-16-22.logfiles/memsafety-inline-bv.popl20-mult-equiv.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s config/svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf -i ../sv-benchmarks/c/weaver/popl20-mult-equiv.wvr.c 5 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder: UnsupportedOperationException: Large block encoding incomplete: Is there illegal control flow (e.g. loops) within an atomic block?: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder.cfg.CfgBuilder.createIcfg(CfgBuilder.java:302): 5.99s results/weaver.2021-10-13_17-16-22.logfiles/memsafety-inline-bv.parallel-min-max-2.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s config/svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf -i ../sv-benchmarks/c/weaver/parallel-min-max-2.wvr.c Delta: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s config/svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf -i ../sv-benchmarks/c/weaver/parallel-min-max-2.wvr.c --deltadebugger.look.for.result.of.type "ExceptionOrErrorResult" --deltadebugger.result.long.description.prefix " de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder: UnsupportedOperationException: Large block encoding incomplete: Is there illegal control flow (e.g. loops) within an atomic block?: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder.cfg.CfgBuilder.createIcfg(CfgBuilder.java:302)" Dump SMT: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s config/svcomp-DerefFreeMemtrack-32bit-Automizer_Bitvector.epf -i ../sv-benchmarks/c/weaver/parallel-min-max-2.wvr.c --rcfgbuilder.dump.smt.script.to.file true --rcfgbuilder.compress.dumped.smt.script true --rcfgbuilder.to.the.following.directory "results/weaver.2021-10-13_17-16-22.logfiles-dump" --traceabstraction.dump.smt.script.to.file true --traceabstraction.compress.dumped.smt.script true --traceabstraction.to.the.following.directory "results/weaver.2021-10-13_17-16-22.logfiles-dump" 4 CounterExampleResult - CounterExampleResult [Line: 77]: a call to reach_error is reachable: 9.60s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.popl20-bad-counter-queue.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/popl20-bad-counter-queue.wvr.c 3 Cannot interrupt ... Cannot interrupt operation gracefully because timeout expired. Forcing shutdown: 309.83s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.popl20-mult-4.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/popl20-mult-4.wvr.c 1 AssertionError: N... java.lang.AssertionError: No corresponding IProgramVar for v_prenex_1: 181.04s results/weaver.2021-10-13_17-16-22.logfiles/unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.popl20-three-array-max.wvr.yml.log Call: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/popl20-three-array-max.wvr.c Delta: /usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf -i ../sv-benchmarks/c/weaver/popl20-three-array-max.wvr.c --deltadebugger.look.for.result.of.type "ExceptionOrErrorResult" --deltadebugger.result.short.description.prefix "AssertionError: No corresponding IProgramVar"