BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk15, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk15, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk15 date: Fri, 2022-10-21 15:54:16 CEST tool: ULTIMATE Automizer 0.2.2-e57bdd35 tool executable: ./Ultimate.py options: --force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ GemCutter.NewStatesSleep.single-assert-memsafety-chunk15 Run set 1 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep.epf' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------- peterson.line399.yml true 6.15 4.17 None peterson.line400.yml true 5.78 4.29 None peterson.line414.yml true 7.36 4.61 None peterson.line415.yml true 5.99 4.08 None peterson.line426.yml true 6.72 4.47 None peterson.line427.yml true 6.64 4.45 None peterson.line438.yml true 10.74 6.00 None peterson.line439.yml true 10.19 6.13 None popl20-bad-threaded-sum-2.wvr.line221.yml true 7.16 4.57 None popl20-bad-threaded-sum-2.wvr.line222.yml true 6.27 4.23 None popl20-bad-threaded-sum-2.wvr.line236.yml true 5.40 3.84 None popl20-bad-threaded-sum-2.wvr.line237.yml true 5.86 4.20 None popl20-bad-threaded-sum-2.wvr.line248.yml true 6.15 4.59 None popl20-bad-threaded-sum-2.wvr.line249.yml true 6.34 4.24 None popl20-bad-threaded-sum-2.wvr.line260.yml true 6.64 4.58 None popl20-bad-threaded-sum-2.wvr.line261.yml true 7.21 4.82 None popl20-counter-determinism.wvr.line298.yml true 11.45 7.66 None popl20-counter-determinism.wvr.line299.yml true 12.23 8.69 None popl20-counter-determinism.wvr.line313.yml true 13.03 8.63 None popl20-counter-determinism.wvr.line314.yml true 13.09 8.00 None popl20-counter-determinism.wvr.line328.yml true 12.52 7.80 None popl20-counter-determinism.wvr.line329.yml true 11.97 8.07 None popl20-counter-determinism.wvr.line343.yml true 14.65 9.54 None popl20-counter-determinism.wvr.line344.yml true 18.71 11.22 None popl20-counter-determinism.wvr.line355.yml true 78.70 45.21 None popl20-counter-determinism.wvr.line356.yml true 62.50 37.94 None popl20-counter-determinism.wvr.line367.yml true 178.79 99.69 None popl20-counter-determinism.wvr.line368.yml true 179.64 99.89 None popl20-counter-determinism.wvr.line379.yml true 160.70 92.58 None popl20-counter-determinism.wvr.line380.yml true 150.54 84.24 None popl20-counter-determinism.wvr.line391.yml true 163.74 94.63 None popl20-counter-determinism.wvr.line392.yml true 149.92 84.95 None popl20-difference-det.wvr.line305.yml true 12.44 7.89 None popl20-difference-det.wvr.line306.yml true 12.12 8.16 None popl20-difference-det.wvr.line320.yml true 11.90 7.82 None popl20-difference-det.wvr.line321.yml true 11.79 8.09 None popl20-difference-det.wvr.line335.yml true 12.19 8.32 None popl20-difference-det.wvr.line336.yml true 15.82 9.38 None popl20-difference-det.wvr.line350.yml true 15.35 9.57 None popl20-difference-det.wvr.line351.yml true 15.77 10.16 None popl20-difference-det.wvr.line362.yml true 66.09 39.54 None popl20-difference-det.wvr.line363.yml true 66.57 40.00 None popl20-difference-det.wvr.line374.yml true 155.40 87.90 None popl20-difference-det.wvr.line375.yml true 187.90 104.34 None popl20-difference-det.wvr.line386.yml true 150.46 84.03 None popl20-difference-det.wvr.line387.yml true 156.25 91.77 None popl20-difference-det.wvr.line398.yml true 157.46 91.44 None popl20-difference-det.wvr.line399.yml true 189.95 106.31 None popl20-figure1-alt.wvr.line202.yml true 5.93 4.17 None popl20-figure1-alt.wvr.line203.yml true 6.01 4.31 None popl20-figure1-alt.wvr.line217.yml true 5.74 4.08 None popl20-figure1-alt.wvr.line218.yml true 6.04 4.34 None popl20-figure1-alt.wvr.line229.yml true 6.11 4.46 None popl20-figure1-alt.wvr.line230.yml true 6.20 4.34 None popl20-figure1-alt.wvr.line241.yml true 6.58 4.59 None popl20-figure1-alt.wvr.line242.yml true 6.54 4.81 None popl20-figure1.wvr.line186.yml true 5.48 3.88 None popl20-figure1.wvr.line187.yml true 5.31 4.01 None popl20-figure1.wvr.line201.yml true 5.17 3.76 None popl20-figure1.wvr.line202.yml true 5.58 4.14 None popl20-figure1.wvr.line213.yml true 5.84 4.20 None popl20-figure1.wvr.line214.yml true 5.86 4.37 None popl20-figure1.wvr.line225.yml true 6.61 4.83 None popl20-figure1.wvr.line226.yml true 6.82 4.54 None popl20-figure3.wvr.line194.yml true 5.47 3.91 None popl20-figure3.wvr.line195.yml true 6.31 4.41 None popl20-figure3.wvr.line209.yml true 5.88 4.05 None popl20-figure3.wvr.line210.yml true 5.75 4.12 None popl20-figure3.wvr.line221.yml true 6.08 4.20 None popl20-figure3.wvr.line222.yml true 6.62 4.54 None popl20-figure3.wvr.line233.yml true 6.31 4.43 None popl20-figure3.wvr.line234.yml true 6.25 4.27 None popl20-more-nonblocking-counter-alt2.wvr.line185.yml true 5.55 4.02 None popl20-more-nonblocking-counter-alt2.wvr.line186.yml true 6.61 4.39 None popl20-more-nonblocking-counter-alt2.wvr.line200.yml true 6.78 4.42 None popl20-more-nonblocking-counter-alt2.wvr.line201.yml true 7.18 4.61 None popl20-more-nonblocking-counter-alt2.wvr.line212.yml true 6.07 4.12 None popl20-more-nonblocking-counter-alt2.wvr.line213.yml true 6.07 4.20 None popl20-more-nonblocking-counter-alt2.wvr.line224.yml true 5.86 4.21 None popl20-more-nonblocking-counter-alt2.wvr.line225.yml true 6.28 4.59 None popl20-mult-4.wvr.line297.yml true 10.30 6.79 None popl20-mult-4.wvr.line298.yml true 10.56 7.09 None popl20-mult-4.wvr.line312.yml true 10.93 6.97 None popl20-mult-4.wvr.line313.yml true 11.24 7.15 None popl20-mult-4.wvr.line327.yml true 14.68 8.79 None popl20-mult-4.wvr.line328.yml true 11.52 7.34 None popl20-mult-4.wvr.line342.yml true 13.29 8.49 None popl20-mult-4.wvr.line343.yml true 18.39 10.71 None popl20-mult-4.wvr.line354.yml true 42.04 28.03 None popl20-mult-4.wvr.line355.yml true 44.57 28.45 None popl20-mult-4.wvr.line366.yml true 90.39 53.69 None popl20-mult-4.wvr.line367.yml true 94.13 56.69 None popl20-mult-4.wvr.line378.yml true 96.64 59.29 None popl20-mult-4.wvr.line379.yml true 93.69 55.81 None popl20-mult-4.wvr.line390.yml true 98.65 61.53 None popl20-mult-4.wvr.line391.yml true 100.14 61.57 None popl20-mult-equiv.wvr.line244.yml true 8.35 5.39 None popl20-mult-equiv.wvr.line245.yml true 9.64 6.18 None popl20-mult-equiv.wvr.line259.yml true 6.71 4.70 None popl20-mult-equiv.wvr.line260.yml true 9.28 5.82 None popl20-mult-equiv.wvr.line274.yml true 9.52 5.79 None popl20-mult-equiv.wvr.line275.yml true 6.91 5.04 None popl20-mult-equiv.wvr.line286.yml true 14.39 8.30 None popl20-mult-equiv.wvr.line287.yml true 13.76 8.05 None popl20-mult-equiv.wvr.line298.yml true 14.61 8.63 None popl20-mult-equiv.wvr.line299.yml true 18.95 10.59 None popl20-mult-equiv.wvr.line310.yml true 12.79 8.28 None popl20-mult-equiv.wvr.line311.yml true 17.74 10.20 None popl20-nonblocking-cntr-alt.wvr.line193.yml true 5.48 3.99 None popl20-nonblocking-cntr-alt.wvr.line194.yml true 7.41 4.73 None popl20-nonblocking-cntr-alt.wvr.line208.yml true 5.52 3.94 None popl20-nonblocking-cntr-alt.wvr.line209.yml true 5.84 4.66 None popl20-nonblocking-cntr-alt.wvr.line220.yml true 6.26 4.31 None popl20-nonblocking-cntr-alt.wvr.line221.yml true 6.10 4.36 None popl20-nonblocking-cntr-alt.wvr.line232.yml true 7.65 4.83 None popl20-nonblocking-cntr-alt.wvr.line233.yml true 8.52 5.30 None popl20-nonblocking-cntr.wvr.line186.yml true 5.75 4.15 None popl20-nonblocking-cntr.wvr.line187.yml true 5.88 4.44 None popl20-nonblocking-cntr.wvr.line201.yml true 5.55 4.44 None popl20-nonblocking-cntr.wvr.line202.yml true 5.60 4.21 None popl20-nonblocking-cntr.wvr.line213.yml true 7.72 4.88 None popl20-nonblocking-cntr.wvr.line214.yml true 7.30 4.65 None popl20-nonblocking-cntr.wvr.line225.yml true 8.06 4.97 None popl20-nonblocking-cntr.wvr.line226.yml true 6.84 4.60 None popl20-proofs-counter-add-4-semi-Q67.wvr.line329.yml true 11.22 8.26 None popl20-proofs-counter-add-4-semi-Q67.wvr.line330.yml true 12.04 8.26 None popl20-proofs-counter-add-4-semi-Q67.wvr.line344.yml true 11.57 8.60 None popl20-proofs-counter-add-4-semi-Q67.wvr.line345.yml true 17.90 10.49 None popl20-proofs-counter-add-4-semi-Q67.wvr.line359.yml true 15.34 9.49 None popl20-proofs-counter-add-4-semi-Q67.wvr.line360.yml true 12.98 8.81 None popl20-proofs-counter-add-4-semi-Q67.wvr.line374.yml true 18.62 11.57 None popl20-proofs-counter-add-4-semi-Q67.wvr.line375.yml true 19.94 11.99 None popl20-proofs-counter-add-4-semi-Q67.wvr.line386.yml true 68.14 46.50 None popl20-proofs-counter-add-4-semi-Q67.wvr.line387.yml true 68.97 44.84 None popl20-proofs-counter-add-4-semi-Q67.wvr.line398.yml true 155.69 94.69 None popl20-proofs-counter-add-4-semi-Q67.wvr.line399.yml true 182.79 107.21 None popl20-proofs-counter-add-4-semi-Q67.wvr.line410.yml true 160.97 97.10 None popl20-proofs-counter-add-4-semi-Q67.wvr.line411.yml true 194.73 111.68 None popl20-proofs-counter-add-4-semi-Q67.wvr.line422.yml true 194.13 112.53 None popl20-proofs-counter-add-4-semi-Q67.wvr.line423.yml true 157.34 94.89 None popl20-threaded-sum-3.wvr.line294.yml true 9.30 5.84 None popl20-threaded-sum-3.wvr.line295.yml true 8.23 5.61 None popl20-threaded-sum-3.wvr.line309.yml true 7.16 4.91 None popl20-threaded-sum-3.wvr.line310.yml true 10.00 6.22 None popl20-threaded-sum-3.wvr.line324.yml true 7.71 5.36 None popl20-threaded-sum-3.wvr.line325.yml true 7.95 5.22 None popl20-threaded-sum-3.wvr.line336.yml true 15.15 9.32 None popl20-threaded-sum-3.wvr.line337.yml true 16.05 10.49 None popl20-threaded-sum-3.wvr.line348.yml true 23.35 15.04 None popl20-threaded-sum-3.wvr.line349.yml true 28.65 16.92 None popl20-threaded-sum-3.wvr.line360.yml true 25.09 14.70 None popl20-threaded-sum-3.wvr.line361.yml true 23.68 15.47 None pthread-demo-datarace-1.line447.yml true 5.57 3.69 None pthread-demo-datarace-1.line448.yml true 6.71 4.40 None pthread-demo-datarace-1.line489.yml true 6.81 4.37 None pthread-demo-datarace-1.line490.yml true 30.95 17.74 None pthread-demo-datarace-2.line431.yml true 5.51 3.82 None pthread-demo-datarace-2.line432.yml true 6.01 3.90 None pthread-demo-datarace-2.line467.yml true 6.45 4.13 None pthread-demo-datarace-2.line468.yml true 35.07 18.62 None qrcu-1.line486.yml true 19.22 12.51 None qrcu-1.line487.yml true 19.25 12.73 None qrcu-1.line496.yml true 18.35 11.31 None qrcu-1.line497.yml true 18.73 11.71 None qrcu-1.line578.yml true 48.25 31.08 None qrcu-1.line579.yml true 48.20 32.40 None qrcu-1.line618.yml true 58.92 38.01 None qrcu-1.line619.yml true 57.48 34.03 None qrcu-1.line820.yml true 8.55 5.63 None qrcu-1.line821.yml true 8.26 5.81 None qrcu-1.line835.yml true 7.89 5.32 None qrcu-1.line836.yml true 10.61 6.46 None qrcu-1.line850.yml true 8.60 5.98 None qrcu-1.line851.yml true 8.10 5.92 None qrcu-1.line862.yml false(unreach-call) 7.71 4.63 None qrcu-1.line863.yml false(unreach-call) 9.35 5.34 None qrcu-1.line874.yml false(unreach-call) 8.13 4.82 None qrcu-1.line875.yml false(unreach-call) 8.13 5.32 None qrcu-1.line886.yml false(unreach-call) 8.20 5.25 None qrcu-1.line887.yml false(unreach-call) 10.27 5.80 None qrcu-2.line724.yml true 7.67 5.12 None qrcu-2.line725.yml true 8.56 6.02 None qrcu-2.line739.yml true 7.50 5.38 None qrcu-2.line740.yml true 7.98 5.31 None qrcu-2.line754.yml true 10.29 6.31 None qrcu-2.line755.yml true 8.12 5.60 None qrcu-2.line766.yml true 18.19 12.06 None qrcu-2.line767.yml true 19.92 13.07 None qrcu-2.line778.yml true 33.87 23.09 None qrcu-2.line779.yml true 32.59 19.61 None qrcu-2.line790.yml true 42.77 24.80 None qrcu-2.line791.yml true 33.92 21.64 None queue.line1017.yml true 7.50 4.89 None queue.line1018.yml true 8.17 5.47 None queue.line1032.yml true 7.53 5.32 None queue.line1033.yml true 8.22 5.43 None queue.line1044.yml true 22.02 13.47 None queue.line1045.yml true 23.06 14.46 None queue.line1056.yml true 62.82 38.63 None queue.line1057.yml true 434.47 268.72 None queue.line286.yml true 10.35 6.81 None queue.line287.yml true 12.14 7.48 None queue.line297.yml true 12.51 8.01 None queue.line298.yml false(unreach-call) 43.90 36.43 None queue.line307.yml true 12.85 8.38 None queue.line308.yml true 13.42 8.07 None queue.line319.yml true 13.32 8.80 None queue.line320.yml true 14.73 8.53 None queue.line330.yml true 20.32 11.55 None queue.line331.yml true 16.55 9.81 None queue.line343.yml true 15.39 9.60 None queue.line344.yml true 16.67 10.50 None queue.line354.yml true 20.56 11.77 None queue.line355.yml true 15.94 9.77 None queue.line366.yml true 16.94 11.07 None queue.line367.yml true 19.12 11.60 None queue.line391.yml true 292.98 267.09 None queue.line392.yml true 314.42 278.21 None queue.line405.yml true 22.21 13.11 None queue.line406.yml true 29.43 16.43 None queue.line415.yml true 21.41 14.21 None queue.line416.yml true 27.03 15.64 None queue.line475.yml true 47.13 28.62 None queue.line476.yml true 45.28 27.75 None queue.line486.yml true 44.20 27.61 None queue.line487.yml OUT OF MEMORY 707.11 572.16 None queue.line496.yml true 45.87 28.87 None queue.line497.yml true 44.30 27.05 None queue.line508.yml true 43.77 27.91 None queue.line509.yml true 44.28 28.70 None queue.line519.yml true 56.25 32.88 None queue.line520.yml true 57.14 33.43 None queue.line532.yml true 44.30 28.82 None queue.line533.yml true 45.73 28.11 None queue.line543.yml true 74.50 45.72 None queue.line544.yml true 34.76 21.57 None queue.line555.yml true 74.42 47.69 None queue.line556.yml true 35.93 21.23 None queue.line575.yml true 44.10 27.29 None queue.line576.yml OUT OF MEMORY 374.78 328.74 None queue.line653.yml true 70.09 40.67 None queue.line654.yml true 51.60 35.56 None queue.line663.yml true 70.46 40.71 None queue.line664.yml OUT OF MEMORY 730.83 667.79 None queue.line676.yml true 57.19 34.62 None queue.line677.yml true 50.26 30.96 None queue.line688.yml true 62.59 39.62 None queue.line689.yml true 51.98 33.58 None queue.line699.yml true 58.92 36.11 None queue.line700.yml true 50.20 34.35 None queue.line712.yml true 77.69 44.44 None queue.line713.yml true 69.58 41.54 None queue.line723.yml true 96.69 56.94 None queue.line724.yml true 36.39 21.90 None queue.line735.yml true 106.14 67.47 None queue.line736.yml true 37.65 23.62 None queue.line753.yml true 49.85 30.41 None queue.line754.yml TIMEOUT 900.63 694.00 None queue.line932.yml true 7.92 5.71 None queue.line933.yml true 8.48 5.89 None queue.line942.yml true 7.02 5.11 None queue.line943.yml true 11.78 7.01 None queue.line952.yml true 7.73 5.27 None queue.line953.yml true 11.90 7.03 None queue.line968.yml true 7.45 5.29 None queue.line969.yml true 8.11 5.42 None queue.line978.yml true 9.05 5.54 None queue.line979.yml true 10.22 6.08 None queue_longer.line1016.yml true 7.98 5.63 None queue_longer.line1017.yml true 8.46 5.74 None queue_longer.line1031.yml true 9.90 6.08 None queue_longer.line1032.yml true 8.43 5.32 None queue_longer.line1043.yml true 28.20 16.16 None queue_longer.line1044.yml true 22.40 15.04 None queue_longer.line1055.yml true 58.11 35.33 None queue_longer.line1056.yml OUT OF MEMORY 329.71 266.77 None queue_longer.line286.yml true 12.54 7.37 None queue_longer.line287.yml true 15.30 8.89 None queue_longer.line297.yml true 12.35 7.45 None queue_longer.line298.yml false(unreach-call) 49.19 36.01 None queue_longer.line307.yml true 12.68 8.13 None queue_longer.line308.yml true 17.64 10.12 None queue_longer.line319.yml true 14.76 8.76 None queue_longer.line320.yml true 14.31 9.00 None queue_longer.line330.yml true 20.59 11.49 None queue_longer.line331.yml true 18.05 10.20 None queue_longer.line343.yml true 15.51 9.81 None queue_longer.line344.yml true 16.97 10.64 None queue_longer.line354.yml true 16.57 9.75 None queue_longer.line355.yml true 17.11 10.21 None queue_longer.line366.yml true 20.76 11.94 None queue_longer.line367.yml true 17.38 10.66 None queue_longer.line391.yml true 295.51 275.57 None queue_longer.line392.yml true 298.49 272.03 None queue_longer.line405.yml true 21.05 12.48 None queue_longer.line406.yml true 26.79 15.00 None queue_longer.line415.yml true 20.84 13.27 None queue_longer.line416.yml true 26.67 15.27 None queue_longer.line475.yml true 39.74 24.78 None queue_longer.line476.yml true 42.10 26.65 None --------------------------------------------------------------------------------------------------------------------- Run set 1 done 13675.85 1094.10 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk15 Run set 2 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------- peterson.line399.yml true 5.99 4.33 None peterson.line400.yml true 5.86 4.15 None peterson.line414.yml true 7.59 4.80 None peterson.line415.yml true 6.13 4.17 None peterson.line426.yml true 6.96 4.74 None peterson.line427.yml true 6.76 4.86 None peterson.line438.yml true 9.92 5.98 None peterson.line439.yml true 10.51 6.19 None popl20-bad-threaded-sum-2.wvr.line221.yml true 7.22 4.70 None popl20-bad-threaded-sum-2.wvr.line222.yml true 6.55 4.34 None popl20-bad-threaded-sum-2.wvr.line236.yml true 6.16 4.60 None popl20-bad-threaded-sum-2.wvr.line237.yml true 6.08 4.37 None popl20-bad-threaded-sum-2.wvr.line248.yml true 6.45 4.39 None popl20-bad-threaded-sum-2.wvr.line249.yml true 6.55 4.37 None popl20-bad-threaded-sum-2.wvr.line260.yml true 6.68 4.85 None popl20-bad-threaded-sum-2.wvr.line261.yml true 7.55 4.78 None popl20-counter-determinism.wvr.line298.yml true 11.59 7.65 None popl20-counter-determinism.wvr.line299.yml true 12.26 7.79 None popl20-counter-determinism.wvr.line313.yml true 12.05 8.11 None popl20-counter-determinism.wvr.line314.yml true 12.01 7.61 None popl20-counter-determinism.wvr.line328.yml true 11.22 8.04 None popl20-counter-determinism.wvr.line329.yml true 11.82 8.19 None popl20-counter-determinism.wvr.line343.yml true 13.06 9.19 None popl20-counter-determinism.wvr.line344.yml true 17.66 10.71 None popl20-counter-determinism.wvr.line355.yml true 72.90 41.42 None popl20-counter-determinism.wvr.line356.yml true 58.40 37.66 None popl20-counter-determinism.wvr.line367.yml true 160.51 88.59 None popl20-counter-determinism.wvr.line368.yml true 161.42 89.33 None popl20-counter-determinism.wvr.line379.yml true 134.38 75.89 None popl20-counter-determinism.wvr.line380.yml true 142.23 81.42 None popl20-counter-determinism.wvr.line391.yml true 146.36 82.67 None popl20-counter-determinism.wvr.line392.yml true 133.96 75.44 None popl20-difference-det.wvr.line305.yml true 12.24 7.43 None popl20-difference-det.wvr.line306.yml true 12.61 8.30 None popl20-difference-det.wvr.line320.yml true 12.93 7.83 None popl20-difference-det.wvr.line321.yml true 13.82 8.74 None popl20-difference-det.wvr.line335.yml true 11.49 7.76 None popl20-difference-det.wvr.line336.yml true 16.21 9.63 None popl20-difference-det.wvr.line350.yml true 13.32 8.88 None popl20-difference-det.wvr.line351.yml true 13.70 9.07 None popl20-difference-det.wvr.line362.yml true 59.95 36.81 None popl20-difference-det.wvr.line363.yml true 61.24 37.93 None popl20-difference-det.wvr.line374.yml true 134.28 76.86 None popl20-difference-det.wvr.line375.yml true 167.71 92.73 None popl20-difference-det.wvr.line386.yml true 138.36 78.85 None popl20-difference-det.wvr.line387.yml true 140.56 80.48 None popl20-difference-det.wvr.line398.yml true 138.24 85.79 None popl20-difference-det.wvr.line399.yml true 171.90 94.27 None popl20-figure1-alt.wvr.line202.yml true 5.86 4.12 None popl20-figure1-alt.wvr.line203.yml true 7.03 4.91 None popl20-figure1-alt.wvr.line217.yml true 5.75 4.56 None popl20-figure1-alt.wvr.line218.yml true 6.44 4.68 None popl20-figure1-alt.wvr.line229.yml true 6.08 4.38 None popl20-figure1-alt.wvr.line230.yml true 6.79 4.88 None popl20-figure1-alt.wvr.line241.yml true 6.37 4.45 None popl20-figure1-alt.wvr.line242.yml true 6.97 4.75 None popl20-figure1.wvr.line186.yml true 5.75 4.19 None popl20-figure1.wvr.line187.yml true 6.71 4.52 None popl20-figure1.wvr.line201.yml true 5.64 4.15 None popl20-figure1.wvr.line202.yml true 6.21 4.73 None popl20-figure1.wvr.line213.yml true 6.42 4.35 None popl20-figure1.wvr.line214.yml true 6.24 4.37 None popl20-figure1.wvr.line225.yml true 6.38 4.37 None popl20-figure1.wvr.line226.yml true 6.99 4.69 None popl20-figure3.wvr.line194.yml true 6.02 4.20 None popl20-figure3.wvr.line195.yml true 6.17 4.77 None popl20-figure3.wvr.line209.yml true 5.74 4.22 None popl20-figure3.wvr.line210.yml true 5.84 4.14 None popl20-figure3.wvr.line221.yml true 6.18 4.59 None popl20-figure3.wvr.line222.yml true 6.63 4.52 None popl20-figure3.wvr.line233.yml true 8.55 5.25 None popl20-figure3.wvr.line234.yml true 6.71 4.60 None popl20-more-nonblocking-counter-alt2.wvr.line185.yml true 5.80 4.14 None popl20-more-nonblocking-counter-alt2.wvr.line186.yml true 6.33 4.94 None popl20-more-nonblocking-counter-alt2.wvr.line200.yml true 7.86 4.77 None popl20-more-nonblocking-counter-alt2.wvr.line201.yml true 5.78 4.11 None popl20-more-nonblocking-counter-alt2.wvr.line212.yml true 6.01 4.34 None popl20-more-nonblocking-counter-alt2.wvr.line213.yml true 6.12 4.30 None popl20-more-nonblocking-counter-alt2.wvr.line224.yml true 6.36 4.53 None popl20-more-nonblocking-counter-alt2.wvr.line225.yml true 6.77 4.56 None popl20-mult-4.wvr.line297.yml true 10.34 7.01 None popl20-mult-4.wvr.line298.yml true 14.23 8.63 None popl20-mult-4.wvr.line312.yml true 14.49 8.55 None popl20-mult-4.wvr.line313.yml true 11.75 8.19 None popl20-mult-4.wvr.line327.yml true 10.78 6.97 None popl20-mult-4.wvr.line328.yml true 10.86 7.39 None popl20-mult-4.wvr.line342.yml true 12.96 8.88 None popl20-mult-4.wvr.line343.yml true 13.12 9.15 None popl20-mult-4.wvr.line354.yml true 37.32 23.09 None popl20-mult-4.wvr.line355.yml true 37.85 23.59 None popl20-mult-4.wvr.line366.yml true 76.71 44.87 None popl20-mult-4.wvr.line367.yml true 73.47 43.02 None popl20-mult-4.wvr.line378.yml true 83.21 51.39 None popl20-mult-4.wvr.line379.yml true 102.65 57.53 None popl20-mult-4.wvr.line390.yml true 102.82 58.03 None popl20-mult-4.wvr.line391.yml true 80.21 48.31 None popl20-mult-equiv.wvr.line244.yml true 6.74 4.73 None popl20-mult-equiv.wvr.line245.yml true 7.82 5.60 None popl20-mult-equiv.wvr.line259.yml true 7.49 5.12 None popl20-mult-equiv.wvr.line260.yml true 7.77 5.40 None popl20-mult-equiv.wvr.line274.yml true 9.13 5.84 None popl20-mult-equiv.wvr.line275.yml true 7.59 5.44 None popl20-mult-equiv.wvr.line286.yml true 10.33 6.88 None popl20-mult-equiv.wvr.line287.yml true 10.47 6.83 None popl20-mult-equiv.wvr.line298.yml true 16.43 9.76 None popl20-mult-equiv.wvr.line299.yml true 13.11 8.40 None popl20-mult-equiv.wvr.line310.yml true 13.90 9.16 None popl20-mult-equiv.wvr.line311.yml true 12.97 8.25 None popl20-nonblocking-cntr-alt.wvr.line193.yml true 5.74 4.09 None popl20-nonblocking-cntr-alt.wvr.line194.yml true 6.29 4.65 None popl20-nonblocking-cntr-alt.wvr.line208.yml true 6.05 4.30 None popl20-nonblocking-cntr-alt.wvr.line209.yml true 6.18 4.80 None popl20-nonblocking-cntr-alt.wvr.line220.yml true 6.14 4.47 None popl20-nonblocking-cntr-alt.wvr.line221.yml true 6.58 4.62 None popl20-nonblocking-cntr-alt.wvr.line232.yml true 8.28 5.25 None popl20-nonblocking-cntr-alt.wvr.line233.yml true 6.98 4.71 None popl20-nonblocking-cntr.wvr.line186.yml true 6.15 4.26 None popl20-nonblocking-cntr.wvr.line187.yml true 6.26 4.31 None popl20-nonblocking-cntr.wvr.line201.yml true 6.25 4.29 None popl20-nonblocking-cntr.wvr.line202.yml true 6.05 4.69 None popl20-nonblocking-cntr.wvr.line213.yml true 6.02 4.41 None popl20-nonblocking-cntr.wvr.line214.yml true 6.46 4.56 None popl20-nonblocking-cntr.wvr.line225.yml true 8.13 5.09 None popl20-nonblocking-cntr.wvr.line226.yml true 6.39 4.94 None popl20-proofs-counter-add-4-semi-Q67.wvr.line329.yml true 11.63 7.42 None popl20-proofs-counter-add-4-semi-Q67.wvr.line330.yml true 15.68 9.56 None popl20-proofs-counter-add-4-semi-Q67.wvr.line344.yml true 11.67 8.23 None popl20-proofs-counter-add-4-semi-Q67.wvr.line345.yml true 12.18 8.63 None popl20-proofs-counter-add-4-semi-Q67.wvr.line359.yml true 11.44 8.03 None popl20-proofs-counter-add-4-semi-Q67.wvr.line360.yml true 11.75 7.71 None popl20-proofs-counter-add-4-semi-Q67.wvr.line374.yml true 19.76 11.42 None popl20-proofs-counter-add-4-semi-Q67.wvr.line375.yml true 14.12 9.90 None popl20-proofs-counter-add-4-semi-Q67.wvr.line386.yml true 46.79 29.14 None popl20-proofs-counter-add-4-semi-Q67.wvr.line387.yml true 61.25 36.02 None popl20-proofs-counter-add-4-semi-Q67.wvr.line398.yml true 108.53 70.13 None popl20-proofs-counter-add-4-semi-Q67.wvr.line399.yml true 99.60 57.81 None popl20-proofs-counter-add-4-semi-Q67.wvr.line410.yml true 114.83 66.11 None popl20-proofs-counter-add-4-semi-Q67.wvr.line411.yml true 111.47 67.12 None popl20-proofs-counter-add-4-semi-Q67.wvr.line422.yml true 113.20 67.91 None popl20-proofs-counter-add-4-semi-Q67.wvr.line423.yml true 107.83 62.59 None popl20-threaded-sum-3.wvr.line294.yml true 7.69 5.33 None popl20-threaded-sum-3.wvr.line295.yml true 10.28 6.43 None popl20-threaded-sum-3.wvr.line309.yml true 7.64 5.50 None popl20-threaded-sum-3.wvr.line310.yml true 7.76 5.34 None popl20-threaded-sum-3.wvr.line324.yml true 7.72 5.40 None popl20-threaded-sum-3.wvr.line325.yml true 10.28 6.34 None popl20-threaded-sum-3.wvr.line336.yml true 14.84 9.68 None popl20-threaded-sum-3.wvr.line337.yml true 14.13 9.61 None popl20-threaded-sum-3.wvr.line348.yml true 25.44 14.92 None popl20-threaded-sum-3.wvr.line349.yml true 22.61 14.14 None popl20-threaded-sum-3.wvr.line360.yml true 27.23 16.01 None popl20-threaded-sum-3.wvr.line361.yml true 28.89 16.37 None pthread-demo-datarace-1.line447.yml true 5.98 4.23 None pthread-demo-datarace-1.line448.yml true 5.88 3.87 None pthread-demo-datarace-1.line489.yml true 6.94 4.43 None pthread-demo-datarace-1.line490.yml true 28.81 17.45 None pthread-demo-datarace-2.line431.yml true 5.55 3.85 None pthread-demo-datarace-2.line432.yml true 6.20 4.28 None pthread-demo-datarace-2.line467.yml true 7.91 4.78 None pthread-demo-datarace-2.line468.yml true 27.02 15.33 None qrcu-1.line486.yml true 22.39 13.42 None qrcu-1.line487.yml true 20.63 13.76 None qrcu-1.line496.yml true 17.55 11.64 None qrcu-1.line497.yml true 23.35 13.80 None qrcu-1.line578.yml true 48.70 29.18 None qrcu-1.line579.yml true 50.44 29.98 None qrcu-1.line618.yml true 48.18 31.35 None qrcu-1.line619.yml true 59.72 35.70 None qrcu-1.line820.yml true 7.73 5.58 None qrcu-1.line821.yml true 8.57 5.62 None qrcu-1.line835.yml true 7.62 5.49 None qrcu-1.line836.yml true 10.30 6.41 None qrcu-1.line850.yml true 8.48 5.91 None qrcu-1.line851.yml true 8.57 5.64 None qrcu-1.line862.yml false(unreach-call) 7.47 4.64 None qrcu-1.line863.yml false(unreach-call) 10.17 5.56 None qrcu-1.line874.yml false(unreach-call) 7.84 5.11 None qrcu-1.line875.yml false(unreach-call) 8.36 5.10 None qrcu-1.line886.yml false(unreach-call) 8.13 4.89 None qrcu-1.line887.yml false(unreach-call) 8.76 4.98 None qrcu-2.line724.yml true 9.52 6.01 None qrcu-2.line725.yml true 8.40 5.65 None qrcu-2.line739.yml true 7.58 5.28 None qrcu-2.line740.yml true 7.94 5.71 None qrcu-2.line754.yml true 8.04 5.32 None qrcu-2.line755.yml true 8.44 5.42 None qrcu-2.line766.yml true 19.30 11.80 None qrcu-2.line767.yml true 20.51 12.22 None qrcu-2.line778.yml true 28.44 18.41 None qrcu-2.line779.yml true 27.70 18.57 None qrcu-2.line790.yml true 34.93 20.57 None qrcu-2.line791.yml true 28.60 18.82 None queue.line1017.yml true 7.49 5.02 None queue.line1018.yml true 8.13 5.31 None queue.line1032.yml true 8.39 5.46 None queue.line1033.yml true 8.62 6.01 None queue.line1044.yml true 20.80 15.25 None queue.line1045.yml true 21.93 13.41 None queue.line1056.yml true 56.61 34.52 None queue.line1057.yml OUT OF MEMORY 123.46 81.38 None queue.line286.yml true 11.88 7.33 None queue.line287.yml true 12.09 7.59 None queue.line297.yml true 16.22 9.19 None queue.line298.yml false(unreach-call) 44.44 35.93 None queue.line307.yml true 16.52 9.62 None queue.line308.yml true 16.43 9.60 None queue.line319.yml true 14.65 9.17 None queue.line320.yml true 14.27 9.22 None queue.line330.yml true 14.61 9.00 None queue.line331.yml true 15.37 9.58 None queue.line343.yml true 15.81 10.42 None queue.line344.yml true 15.72 10.49 None queue.line354.yml true 19.51 11.24 None queue.line355.yml true 15.39 10.29 None queue.line366.yml true 19.46 11.46 None queue.line367.yml true 22.93 12.94 None queue.line391.yml true 297.19 267.29 None queue.line392.yml true 282.73 263.82 None queue.line405.yml true 21.54 12.88 None queue.line406.yml true 21.22 13.22 None queue.line415.yml true 20.19 13.10 None queue.line416.yml true 21.01 13.41 None queue.line475.yml true 41.39 25.57 None queue.line476.yml true 54.55 31.47 None queue.line486.yml true 41.96 26.14 None queue.line487.yml TIMEOUT 901.59 788.66 None queue.line496.yml true 52.27 30.34 None queue.line497.yml true 42.24 25.66 None queue.line508.yml true 43.87 26.98 None queue.line509.yml true 42.87 26.62 None queue.line519.yml true 38.89 24.18 None queue.line520.yml true 44.35 29.70 None queue.line532.yml true 41.73 25.27 None queue.line533.yml true 41.18 25.22 None queue.line543.yml true 65.53 41.29 None queue.line544.yml true 91.72 54.83 None queue.line555.yml OUT OF MEMORY 56.47 34.89 None queue.line556.yml true 94.02 55.31 None queue.line575.yml true 38.90 23.87 None queue.line576.yml OUT OF MEMORY 368.66 322.71 None queue.line653.yml true 52.90 31.72 None queue.line654.yml true 53.29 33.43 None queue.line663.yml true 52.30 32.34 None queue.line664.yml TIMEOUT 901.54 782.09 None queue.line676.yml true 47.01 29.42 None queue.line677.yml true 50.31 31.64 None queue.line688.yml true 54.77 33.10 None queue.line689.yml true 51.29 32.13 None queue.line699.yml true 49.74 30.35 None queue.line700.yml true 53.40 35.53 None queue.line712.yml true 51.48 32.47 None queue.line713.yml true 64.66 39.16 None queue.line723.yml true 79.97 48.38 None queue.line724.yml true 42.58 25.13 None queue.line735.yml true 85.22 51.30 None queue.line736.yml true 35.16 22.70 None queue.line753.yml true 48.60 31.08 None queue.line754.yml TIMEOUT 900.58 725.97 None queue.line932.yml true 8.23 5.48 None queue.line933.yml true 8.63 5.82 None queue.line942.yml true 6.90 4.88 None queue.line943.yml true 12.50 7.34 None queue.line952.yml true 7.55 5.35 None queue.line953.yml true 9.74 6.30 None queue.line968.yml true 7.83 5.74 None queue.line969.yml true 10.18 6.12 None queue.line978.yml true 7.69 5.25 None queue.line979.yml true 7.84 5.52 None queue_longer.line1016.yml true 9.65 5.80 None queue_longer.line1017.yml true 8.46 5.82 None queue_longer.line1031.yml true 8.25 5.40 None queue_longer.line1032.yml true 10.67 6.36 None queue_longer.line1043.yml true 20.45 13.42 None queue_longer.line1044.yml true 25.56 15.25 None queue_longer.line1055.yml true 54.10 34.09 None queue_longer.line1056.yml OUT OF MEMORY 313.91 252.77 None queue_longer.line286.yml true 11.27 7.40 None queue_longer.line287.yml true 15.03 8.75 None queue_longer.line297.yml true 12.77 7.70 None queue_longer.line298.yml false(unreach-call) 42.44 33.87 None queue_longer.line307.yml true 12.73 7.76 None queue_longer.line308.yml true 14.30 8.59 None queue_longer.line319.yml true 14.46 8.71 None queue_longer.line320.yml true 19.18 10.93 None queue_longer.line330.yml true 20.15 11.25 None queue_longer.line331.yml true 15.39 9.11 None queue_longer.line343.yml true 15.88 10.34 None queue_longer.line344.yml true 16.22 9.93 None queue_longer.line354.yml true 20.69 11.67 None queue_longer.line355.yml true 20.01 11.42 None queue_longer.line366.yml true 16.26 9.78 None queue_longer.line367.yml true 17.52 10.44 None queue_longer.line391.yml true 291.01 271.82 None queue_longer.line392.yml true 289.76 270.20 None queue_longer.line405.yml true 25.22 14.62 None queue_longer.line406.yml true 18.91 11.68 None queue_longer.line415.yml true 25.87 14.87 None queue_longer.line416.yml true 20.38 12.13 None queue_longer.line475.yml true 37.80 24.33 None queue_longer.line476.yml true 37.78 23.29 None --------------------------------------------------------------------------------------------------------------------- Run set 2 done 12778.19 1083.31 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk15 Run set 3 of 19 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------- peterson.line399.yml true 6.07 4.29 None peterson.line400.yml true 6.24 5.02 None peterson.line414.yml true 7.80 4.93 None peterson.line415.yml true 6.29 4.25 None peterson.line426.yml true 7.53 5.17 None peterson.line427.yml true 7.69 5.65 None peterson.line438.yml true 12.16 6.92 None peterson.line439.yml true 12.04 6.96 None popl20-bad-threaded-sum-2.wvr.line221.yml true 7.64 4.97 None popl20-bad-threaded-sum-2.wvr.line222.yml true 6.72 4.41 None popl20-bad-threaded-sum-2.wvr.line236.yml true 6.52 4.56 None popl20-bad-threaded-sum-2.wvr.line237.yml true 6.14 4.55 None popl20-bad-threaded-sum-2.wvr.line248.yml true 6.84 4.61 None popl20-bad-threaded-sum-2.wvr.line249.yml true 7.26 4.71 None popl20-bad-threaded-sum-2.wvr.line260.yml true 7.73 5.00 None popl20-bad-threaded-sum-2.wvr.line261.yml true 7.83 4.97 None popl20-counter-determinism.wvr.line298.yml true 15.46 9.36 None popl20-counter-determinism.wvr.line299.yml true 16.28 10.93 None popl20-counter-determinism.wvr.line313.yml true 14.92 10.63 None popl20-counter-determinism.wvr.line314.yml true 15.47 10.53 None popl20-counter-determinism.wvr.line328.yml true 14.51 9.33 None popl20-counter-determinism.wvr.line329.yml true 19.44 11.81 None popl20-counter-determinism.wvr.line343.yml true 20.92 12.96 None popl20-counter-determinism.wvr.line344.yml true 24.10 14.75 None popl20-counter-determinism.wvr.line355.yml true 99.05 62.47 None popl20-counter-determinism.wvr.line356.yml true 95.62 62.97 None popl20-counter-determinism.wvr.line367.yml true 265.79 151.30 None popl20-counter-determinism.wvr.line368.yml true 267.92 151.69 None popl20-counter-determinism.wvr.line379.yml true 219.80 129.19 None popl20-counter-determinism.wvr.line380.yml true 234.84 136.86 None popl20-counter-determinism.wvr.line391.yml true 227.40 131.60 None popl20-counter-determinism.wvr.line392.yml true 214.48 123.38 None popl20-difference-det.wvr.line305.yml true 14.15 9.86 None popl20-difference-det.wvr.line306.yml true 16.20 10.50 None popl20-difference-det.wvr.line320.yml true 15.25 10.44 None popl20-difference-det.wvr.line321.yml true 24.49 13.61 None popl20-difference-det.wvr.line335.yml true 14.50 9.95 None popl20-difference-det.wvr.line336.yml true 22.06 12.84 None popl20-difference-det.wvr.line350.yml true 21.14 13.23 None popl20-difference-det.wvr.line351.yml true 22.20 13.78 None popl20-difference-det.wvr.line362.yml true 104.88 64.28 None popl20-difference-det.wvr.line363.yml true 96.23 61.18 None popl20-difference-det.wvr.line374.yml true 274.63 155.63 None popl20-difference-det.wvr.line375.yml true 262.20 149.96 None popl20-difference-det.wvr.line386.yml true 236.29 136.51 None popl20-difference-det.wvr.line387.yml true 235.40 135.26 None popl20-difference-det.wvr.line398.yml true 244.02 142.46 None popl20-difference-det.wvr.line399.yml true 231.66 142.06 None popl20-figure1-alt.wvr.line202.yml true 6.21 4.43 None popl20-figure1-alt.wvr.line203.yml true 7.22 4.78 None popl20-figure1-alt.wvr.line217.yml true 6.34 4.36 None popl20-figure1-alt.wvr.line218.yml true 6.67 4.67 None popl20-figure1-alt.wvr.line229.yml true 6.62 4.74 None popl20-figure1-alt.wvr.line230.yml true 7.31 5.20 None popl20-figure1-alt.wvr.line241.yml true 7.19 5.08 None popl20-figure1-alt.wvr.line242.yml true 7.07 4.77 None popl20-figure1.wvr.line186.yml true 5.55 4.03 None popl20-figure1.wvr.line187.yml true 6.27 4.30 None popl20-figure1.wvr.line201.yml true 5.56 4.09 None popl20-figure1.wvr.line202.yml true 6.14 4.29 None popl20-figure1.wvr.line213.yml true 6.30 4.76 None popl20-figure1.wvr.line214.yml true 6.27 4.49 None popl20-figure1.wvr.line225.yml true 6.38 4.85 None popl20-figure1.wvr.line226.yml true 7.12 4.88 None popl20-figure3.wvr.line194.yml true 5.88 4.15 None popl20-figure3.wvr.line195.yml true 6.31 4.35 None popl20-figure3.wvr.line209.yml true 5.11 3.65 None popl20-figure3.wvr.line210.yml true 6.09 4.21 None popl20-figure3.wvr.line221.yml true 6.18 4.57 None popl20-figure3.wvr.line222.yml true 6.75 4.49 None popl20-figure3.wvr.line233.yml true 7.16 4.69 None popl20-figure3.wvr.line234.yml true 6.62 4.46 None popl20-more-nonblocking-counter-alt2.wvr.line185.yml true 5.81 4.10 None popl20-more-nonblocking-counter-alt2.wvr.line186.yml true 6.59 4.38 None popl20-more-nonblocking-counter-alt2.wvr.line200.yml true 6.23 4.30 None popl20-more-nonblocking-counter-alt2.wvr.line201.yml true 6.15 4.35 None popl20-more-nonblocking-counter-alt2.wvr.line212.yml true 5.85 4.15 None popl20-more-nonblocking-counter-alt2.wvr.line213.yml true 6.73 4.51 None popl20-more-nonblocking-counter-alt2.wvr.line224.yml true 7.00 4.77 None popl20-more-nonblocking-counter-alt2.wvr.line225.yml true 6.77 4.49 None popl20-mult-4.wvr.line297.yml true 12.32 8.27 None popl20-mult-4.wvr.line298.yml true 13.88 8.79 None popl20-mult-4.wvr.line312.yml true 12.17 8.58 None popl20-mult-4.wvr.line313.yml true 13.67 8.55 None popl20-mult-4.wvr.line327.yml true 13.26 8.55 None popl20-mult-4.wvr.line328.yml true 12.92 8.39 None popl20-mult-4.wvr.line342.yml true 17.66 10.75 None popl20-mult-4.wvr.line343.yml true 17.39 10.86 None popl20-mult-4.wvr.line354.yml true 69.33 42.10 None popl20-mult-4.wvr.line355.yml true 73.05 43.91 None popl20-mult-4.wvr.line366.yml true 125.79 79.28 None popl20-mult-4.wvr.line367.yml true 122.65 72.99 None popl20-mult-4.wvr.line378.yml true 135.18 81.39 None popl20-mult-4.wvr.line379.yml true 123.29 73.81 None popl20-mult-4.wvr.line390.yml true 128.94 76.99 None popl20-mult-4.wvr.line391.yml true 130.29 78.34 None popl20-mult-equiv.wvr.line244.yml true 7.78 5.31 None popl20-mult-equiv.wvr.line245.yml true 7.94 5.53 None popl20-mult-equiv.wvr.line259.yml true 7.26 5.05 None popl20-mult-equiv.wvr.line260.yml true 7.59 5.61 None popl20-mult-equiv.wvr.line274.yml true 10.75 6.54 None popl20-mult-equiv.wvr.line275.yml true 10.64 6.51 None popl20-mult-equiv.wvr.line286.yml true 14.37 8.41 None popl20-mult-equiv.wvr.line287.yml true 12.49 8.10 None popl20-mult-equiv.wvr.line298.yml true 22.28 12.98 None popl20-mult-equiv.wvr.line299.yml true 23.43 13.57 None popl20-mult-equiv.wvr.line310.yml true 18.10 11.08 None popl20-mult-equiv.wvr.line311.yml true 18.88 11.64 None popl20-nonblocking-cntr-alt.wvr.line193.yml true 7.56 4.75 None popl20-nonblocking-cntr-alt.wvr.line194.yml true 8.41 5.16 None popl20-nonblocking-cntr-alt.wvr.line208.yml true 7.31 4.70 None popl20-nonblocking-cntr-alt.wvr.line209.yml true 7.27 4.58 None popl20-nonblocking-cntr-alt.wvr.line220.yml true 6.67 4.57 None popl20-nonblocking-cntr-alt.wvr.line221.yml true 8.87 5.38 None popl20-nonblocking-cntr-alt.wvr.line232.yml true 7.20 4.86 None popl20-nonblocking-cntr-alt.wvr.line233.yml true 8.72 5.42 None popl20-nonblocking-cntr.wvr.line186.yml true 7.63 4.66 None popl20-nonblocking-cntr.wvr.line187.yml true 6.36 4.40 None popl20-nonblocking-cntr.wvr.line201.yml true 7.72 4.76 None popl20-nonblocking-cntr.wvr.line202.yml true 5.87 4.12 None popl20-nonblocking-cntr.wvr.line213.yml true 6.19 4.43 None popl20-nonblocking-cntr.wvr.line214.yml true 6.51 4.75 None popl20-nonblocking-cntr.wvr.line225.yml true 8.68 5.31 None popl20-nonblocking-cntr.wvr.line226.yml true 8.57 5.34 None popl20-proofs-counter-add-4-semi-Q67.wvr.line329.yml true 18.52 11.15 None popl20-proofs-counter-add-4-semi-Q67.wvr.line330.yml true 15.77 9.81 None popl20-proofs-counter-add-4-semi-Q67.wvr.line344.yml true 14.09 9.99 None popl20-proofs-counter-add-4-semi-Q67.wvr.line345.yml true 15.09 10.22 None popl20-proofs-counter-add-4-semi-Q67.wvr.line359.yml true 20.72 12.27 None popl20-proofs-counter-add-4-semi-Q67.wvr.line360.yml true 14.31 9.96 None popl20-proofs-counter-add-4-semi-Q67.wvr.line374.yml true 24.53 14.76 None popl20-proofs-counter-add-4-semi-Q67.wvr.line375.yml true 25.10 14.65 None popl20-proofs-counter-add-4-semi-Q67.wvr.line386.yml true 94.56 57.08 None popl20-proofs-counter-add-4-semi-Q67.wvr.line387.yml true 80.71 53.38 None popl20-proofs-counter-add-4-semi-Q67.wvr.line398.yml true 175.45 106.93 None popl20-proofs-counter-add-4-semi-Q67.wvr.line399.yml true 173.22 105.18 None popl20-proofs-counter-add-4-semi-Q67.wvr.line410.yml true 181.75 110.74 None popl20-proofs-counter-add-4-semi-Q67.wvr.line411.yml true 217.25 126.51 None popl20-proofs-counter-add-4-semi-Q67.wvr.line422.yml true 185.17 110.19 None popl20-proofs-counter-add-4-semi-Q67.wvr.line423.yml true 223.88 129.10 None popl20-threaded-sum-3.wvr.line294.yml true 10.13 6.26 None popl20-threaded-sum-3.wvr.line295.yml true 8.56 5.65 None popl20-threaded-sum-3.wvr.line309.yml true 8.12 5.50 None popl20-threaded-sum-3.wvr.line310.yml true 10.89 6.59 None popl20-threaded-sum-3.wvr.line324.yml true 8.45 5.50 None popl20-threaded-sum-3.wvr.line325.yml true 9.94 6.50 None popl20-threaded-sum-3.wvr.line336.yml true 20.70 13.76 None popl20-threaded-sum-3.wvr.line337.yml true 21.02 12.87 None popl20-threaded-sum-3.wvr.line348.yml true 29.92 18.52 None popl20-threaded-sum-3.wvr.line349.yml true 37.68 22.50 None popl20-threaded-sum-3.wvr.line360.yml true 33.36 20.96 None popl20-threaded-sum-3.wvr.line361.yml true 34.00 21.13 None pthread-demo-datarace-1.line447.yml true 5.44 3.71 None pthread-demo-datarace-1.line448.yml true 6.07 4.00 None pthread-demo-datarace-1.line489.yml true 7.02 4.68 None pthread-demo-datarace-1.line490.yml true 31.02 17.80 None pthread-demo-datarace-2.line431.yml true 5.44 3.63 None pthread-demo-datarace-2.line432.yml true 5.60 4.03 None pthread-demo-datarace-2.line467.yml true 7.00 4.57 None pthread-demo-datarace-2.line468.yml true 26.95 15.43 None qrcu-1.line486.yml true 28.72 17.83 None qrcu-1.line487.yml true 26.57 17.48 None qrcu-1.line496.yml true 23.16 15.52 None qrcu-1.line497.yml true 25.67 17.27 None qrcu-1.line578.yml true 68.18 44.15 None qrcu-1.line579.yml true 63.46 39.97 None qrcu-1.line618.yml true 92.47 56.05 None qrcu-1.line619.yml true 75.72 47.40 None qrcu-1.line820.yml true 8.12 5.85 None qrcu-1.line821.yml true 9.30 6.07 None qrcu-1.line835.yml true 10.54 6.44 None qrcu-1.line836.yml true 8.54 5.80 None qrcu-1.line850.yml true 8.83 6.12 None qrcu-1.line851.yml true 9.58 6.23 None qrcu-1.line862.yml false(unreach-call) 10.01 5.51 None qrcu-1.line863.yml false(unreach-call) 8.63 5.21 None qrcu-1.line874.yml false(unreach-call) 7.74 5.33 None qrcu-1.line875.yml false(unreach-call) 10.44 5.86 None qrcu-1.line886.yml false(unreach-call) 8.49 5.00 None qrcu-1.line887.yml false(unreach-call) 8.14 5.63 None qrcu-2.line724.yml true 7.28 5.32 None qrcu-2.line725.yml true 9.02 5.96 None qrcu-2.line739.yml true 10.24 6.31 None qrcu-2.line740.yml true 8.58 5.80 None qrcu-2.line754.yml true 8.29 5.54 None qrcu-2.line755.yml true 8.63 5.68 None qrcu-2.line766.yml true 29.27 17.20 None qrcu-2.line767.yml true 24.28 16.01 None qrcu-2.line778.yml true 42.73 27.62 None qrcu-2.line779.yml true 44.25 27.98 None qrcu-2.line790.yml true 46.22 28.23 None qrcu-2.line791.yml true 45.72 29.47 None queue.line1017.yml true 7.83 5.31 None queue.line1018.yml true 10.70 6.31 None queue.line1032.yml true 8.47 5.60 None queue.line1033.yml true 8.46 5.23 None queue.line1044.yml true 31.81 21.20 None queue.line1045.yml true 33.76 21.86 None queue.line1056.yml true 121.63 75.85 None queue.line1057.yml OUT OF MEMORY 301.38 175.03 None queue.line286.yml true 12.43 7.82 None queue.line287.yml true 17.85 10.23 None queue.line297.yml true 14.51 9.29 None queue.line298.yml false(unreach-call) 44.86 34.84 None queue.line307.yml true 15.12 9.74 None queue.line308.yml true 16.34 10.03 None queue.line319.yml true 17.97 11.06 None queue.line320.yml true 18.44 12.02 None queue.line330.yml true 27.41 15.34 None queue.line331.yml true 17.87 11.09 None queue.line343.yml true 19.64 12.53 None queue.line344.yml true 21.92 14.25 None queue.line354.yml true 19.65 12.81 None queue.line355.yml true 24.83 14.68 None queue.line366.yml true 21.12 13.57 None queue.line367.yml true 21.47 13.86 None queue.line391.yml true 312.29 280.77 None queue.line392.yml true 302.35 268.35 None queue.line405.yml true 27.22 18.57 None queue.line406.yml true 34.28 20.52 None queue.line415.yml true 35.76 21.19 None queue.line416.yml true 30.45 19.84 None queue.line475.yml true 66.74 44.76 None queue.line476.yml true 68.70 44.43 None queue.line486.yml true 67.01 43.35 None queue.line487.yml OUT OF MEMORY 482.02 377.79 None queue.line496.yml true 69.07 44.09 None queue.line497.yml true 64.91 41.30 None queue.line508.yml true 68.90 43.67 None queue.line509.yml true 75.98 47.65 None queue.line519.yml true 68.81 43.79 None queue.line520.yml true 81.46 50.47 None queue.line532.yml true 68.74 44.62 None queue.line533.yml true 79.68 49.13 None queue.line543.yml true 126.61 83.42 None queue.line544.yml true 76.88 49.59 None queue.line555.yml true 132.57 85.91 None queue.line556.yml true 73.87 46.79 None queue.line575.yml true 66.44 42.94 None queue.line576.yml TIMEOUT 902.34 633.79 None queue.line653.yml true 101.63 61.35 None queue.line654.yml true 113.56 70.05 None queue.line663.yml true 86.35 55.78 None queue.line664.yml TIMEOUT 900.65 759.93 None queue.line676.yml true 86.03 52.95 None queue.line677.yml true 99.42 64.69 None queue.line688.yml true 91.10 57.15 None queue.line689.yml true 115.97 70.49 None queue.line699.yml true 81.29 51.51 None queue.line700.yml true 100.88 64.12 None queue.line712.yml true 104.87 64.33 None queue.line713.yml true 100.07 64.63 None queue.line723.yml true 198.50 130.64 None queue.line724.yml true 131.24 85.28 None queue.line735.yml true 208.26 130.18 None queue.line736.yml true 135.94 87.89 None queue.line753.yml true 97.34 64.91 None queue.line754.yml OUT OF MEMORY 773.03 676.02 None queue.line932.yml true 8.33 5.52 None queue.line933.yml true 11.20 6.66 None queue.line942.yml true 7.37 4.97 None queue.line943.yml true 9.94 6.52 None queue.line952.yml true 7.59 4.99 None queue.line953.yml true 12.19 7.24 None queue.line968.yml true 7.94 5.05 None queue.line969.yml true 8.41 5.62 None queue.line978.yml true 9.94 5.89 None queue.line979.yml true 8.08 5.14 None queue_longer.line1016.yml true 8.41 5.48 None queue_longer.line1017.yml true 10.41 6.21 None queue_longer.line1031.yml true 9.19 5.39 None queue_longer.line1032.yml true 9.26 5.97 None queue_longer.line1043.yml true 39.34 23.66 None queue_longer.line1044.yml true 36.69 21.35 None queue_longer.line1055.yml true 102.54 65.01 None queue_longer.line1056.yml OUT OF MEMORY 345.40 279.62 None queue_longer.line286.yml true 14.09 8.71 None queue_longer.line287.yml true 13.29 8.55 None queue_longer.line297.yml true 14.83 8.90 None queue_longer.line298.yml false(unreach-call) 51.57 36.87 None queue_longer.line307.yml true 16.09 10.23 None queue_longer.line308.yml true 15.96 9.95 None queue_longer.line319.yml true 18.28 11.03 None queue_longer.line320.yml true 18.11 10.78 None queue_longer.line330.yml true 17.98 11.51 None queue_longer.line331.yml true 18.65 12.04 None queue_longer.line343.yml true 23.15 14.38 None queue_longer.line344.yml true 20.21 12.46 None queue_longer.line354.yml true 20.06 12.54 None queue_longer.line355.yml true 22.18 13.85 None queue_longer.line366.yml true 21.89 14.13 None queue_longer.line367.yml true 22.39 14.90 None queue_longer.line391.yml true 327.30 296.31 None queue_longer.line392.yml true 305.25 275.81 None queue_longer.line405.yml true 28.08 18.01 None queue_longer.line406.yml true 27.47 17.09 None queue_longer.line415.yml true 28.58 18.60 None queue_longer.line416.yml true 27.64 17.85 None queue_longer.line475.yml true 70.75 44.16 None queue_longer.line476.yml true 61.49 41.79 None --------------------------------------------------------------------------------------------------------------------- Run set 3 done 17465.05 1240.44 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk15 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk15 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk15 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk15 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk15 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk15 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk15 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk15 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk15 Run set 19 of 19: skipped Statistics: 900 Files correct: 858 correct true: 858 correct false: 0 incorrect: 24 incorrect true: 0 incorrect false: 24 unknown: 18 Score: 1332 (max: 1800)