BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk14, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk14, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk14 date: Fri, 2022-10-21 14:02:49 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-chunk14 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 --------------------------------------------------------------------------------------------- queue_longer.line486.yml true 49.65 30.91 None queue_longer.line487.yml TIMEOUT (ERROR: EXCEPTION) 900.82 854.96 None queue_longer.line496.yml true 60.52 34.76 None queue_longer.line497.yml true 47.70 29.21 None queue_longer.line508.yml true 51.93 32.10 None queue_longer.line509.yml true 47.37 32.02 None queue_longer.line519.yml true 60.48 34.32 None queue_longer.line520.yml true 62.37 36.94 None queue_longer.line532.yml true 62.23 35.35 None queue_longer.line533.yml true 49.30 29.61 None queue_longer.line543.yml true 80.36 50.97 None queue_longer.line544.yml true 39.80 24.56 None queue_longer.line555.yml true 75.35 46.69 None queue_longer.line556.yml true 35.97 21.89 None queue_longer.line575.yml true 47.14 27.86 None queue_longer.line576.yml TIMEOUT 900.34 841.53 None queue_longer.line653.yml true 62.36 36.24 None queue_longer.line654.yml true 53.02 32.98 None queue_longer.line663.yml true 60.96 38.12 None queue_longer.line664.yml TIMEOUT (ERROR: EXCEPTION) 900.62 856.26 None queue_longer.line676.yml true 59.73 36.52 None queue_longer.line677.yml true 65.66 38.18 None queue_longer.line688.yml true 79.67 45.55 None queue_longer.line689.yml true 63.61 37.91 None queue_longer.line699.yml true 74.49 43.11 None queue_longer.line700.yml true 52.30 32.94 None queue_longer.line712.yml true 60.77 36.56 None queue_longer.line713.yml true 60.33 37.93 None queue_longer.line723.yml true 98.05 58.27 None queue_longer.line724.yml true 38.00 21.90 None queue_longer.line735.yml true 107.90 64.95 None queue_longer.line736.yml true 36.83 23.00 None queue_longer.line753.yml true 56.63 34.22 None queue_longer.line754.yml TIMEOUT 904.01 660.32 None queue_longer.line932.yml true 7.74 5.22 None queue_longer.line933.yml true 10.76 6.72 None queue_longer.line942.yml true 9.41 5.66 None queue_longer.line943.yml true 9.35 6.26 None queue_longer.line952.yml true 9.14 5.55 None queue_longer.line953.yml true 9.20 5.75 None queue_longer.line968.yml true 9.01 5.52 None queue_longer.line969.yml true 8.11 5.22 None queue_longer.line978.yml true 7.46 5.30 None queue_longer.line979.yml true 10.00 6.05 None queue_longest.line1016.yml true 7.62 5.01 None queue_longest.line1017.yml true 8.15 5.40 None queue_longest.line1031.yml true 7.61 4.94 None queue_longest.line1032.yml true 10.16 6.02 None queue_longest.line1043.yml true 22.33 13.55 None queue_longest.line1044.yml true 23.37 15.30 None queue_longest.line1055.yml true 59.39 37.12 None queue_longest.line1056.yml OUT OF MEMORY 350.41 278.51 None queue_longest.line286.yml true 10.96 6.78 None queue_longest.line287.yml true 15.41 8.95 None queue_longest.line297.yml true 16.15 9.24 None queue_longest.line298.yml false(unreach-call) 42.66 33.36 None queue_longest.line307.yml true 14.04 8.49 None queue_longest.line308.yml true 17.16 9.81 None queue_longest.line319.yml true 19.02 10.84 None queue_longest.line320.yml true 18.07 10.33 None queue_longest.line330.yml true 15.41 9.57 None queue_longest.line331.yml true 16.13 9.62 None queue_longest.line343.yml true 19.98 11.47 None queue_longest.line344.yml true 22.65 12.78 None queue_longest.line354.yml true 22.11 12.35 None queue_longest.line355.yml true 17.41 10.48 None queue_longest.line366.yml true 18.96 10.91 None queue_longest.line367.yml true 18.55 10.93 None queue_longest.line391.yml true 320.79 285.91 None queue_longest.line392.yml true 302.78 282.10 None queue_longest.line405.yml true 26.40 14.94 None queue_longest.line406.yml true 28.16 16.02 None queue_longest.line415.yml true 23.33 13.35 None queue_longest.line416.yml true 22.47 14.34 None queue_longest.line475.yml true 42.64 26.80 None queue_longest.line476.yml true 46.27 28.02 None queue_longest.line486.yml true 40.71 24.87 None queue_longest.line487.yml TIMEOUT (ERROR: EXCEPTION) 900.91 823.78 None queue_longest.line496.yml true 48.50 28.61 None queue_longest.line497.yml true 57.73 33.11 None queue_longest.line508.yml true 43.73 27.92 None queue_longest.line509.yml true 41.56 26.19 None queue_longest.line519.yml true 40.03 24.58 None queue_longest.line520.yml true 46.90 28.03 None queue_longest.line532.yml true 51.53 30.07 None queue_longest.line533.yml true 43.69 26.95 None queue_longest.line543.yml true 84.03 49.49 None queue_longest.line544.yml true 32.93 20.47 None queue_longest.line555.yml OUT OF MEMORY 44.59 26.92 None queue_longest.line556.yml true 33.38 19.97 None queue_longest.line575.yml true 43.72 26.53 None queue_longest.line576.yml TIMEOUT 901.10 730.48 None queue_longest.line653.yml true 56.22 34.28 None queue_longest.line654.yml true 50.79 30.82 None queue_longest.line663.yml true 50.64 30.78 None queue_longest.line664.yml TIMEOUT 901.17 812.05 None queue_longest.line676.yml true 66.19 38.70 None queue_longest.line677.yml true 49.01 30.68 None queue_longest.line688.yml true 56.80 34.78 None queue_longest.line689.yml true 45.78 28.24 None queue_longest.line699.yml true 65.93 38.15 None queue_longest.line700.yml true 46.05 29.97 None queue_longest.line712.yml true 56.66 33.69 None queue_longest.line713.yml true 51.64 32.25 None queue_longest.line723.yml OUT OF MEMORY 45.12 27.47 None queue_longest.line724.yml true 42.94 24.63 None queue_longest.line735.yml OUT OF MEMORY 62.10 36.65 None queue_longest.line736.yml true 34.12 20.48 None queue_longest.line753.yml true 44.49 29.18 None queue_longest.line754.yml TIMEOUT 903.36 627.95 None queue_longest.line932.yml true 9.49 5.77 None queue_longest.line933.yml true 10.83 6.46 None queue_longest.line942.yml true 6.73 4.47 None queue_longest.line943.yml true 11.04 6.65 None queue_longest.line952.yml true 6.94 4.54 None queue_longest.line953.yml true 11.81 6.95 None queue_longest.line968.yml true 7.33 4.80 None queue_longest.line969.yml true 9.46 5.77 None queue_longest.line978.yml true 6.99 4.66 None queue_longest.line979.yml true 7.62 4.99 None queue_ok.line283.yml true 25.58 15.74 None queue_ok.line284.yml true 35.82 20.52 None queue_ok.line294.yml true 27.13 16.88 None queue_ok.line295.yml TIMEOUT 901.30 833.36 None queue_ok.line304.yml true 25.34 16.01 None queue_ok.line305.yml true 25.86 16.55 None queue_ok.line316.yml true 33.06 18.98 None queue_ok.line317.yml true 29.21 16.88 None queue_ok.line327.yml true 27.03 16.92 None queue_ok.line328.yml true 35.33 20.23 None queue_ok.line340.yml true 27.16 18.23 None queue_ok.line341.yml true 28.21 16.96 None queue_ok.line351.yml true 51.04 29.68 None queue_ok.line352.yml true 40.89 26.69 None queue_ok.line363.yml true 47.51 28.25 None queue_ok.line364.yml true 40.35 26.20 None queue_ok.line383.yml true 136.51 103.99 None queue_ok.line384.yml TIMEOUT 900.65 862.77 None queue_ok.line464.yml true 35.82 21.70 None queue_ok.line465.yml true 89.46 53.08 None queue_ok.line474.yml true 31.83 20.09 None queue_ok.line475.yml true 86.76 51.97 None queue_ok.line508.yml true 34.89 21.32 None queue_ok.line509.yml true 75.36 48.45 None queue_ok.line518.yml true 41.19 23.99 None queue_ok.line519.yml TIMEOUT 901.51 698.07 None queue_ok.line531.yml true 38.40 22.94 None queue_ok.line532.yml true 71.96 45.12 None queue_ok.line543.yml true 33.67 22.06 None queue_ok.line544.yml true 91.12 54.60 None queue_ok.line554.yml true 31.24 20.16 None queue_ok.line555.yml true 72.40 45.24 None queue_ok.line567.yml true 32.50 21.09 None queue_ok.line568.yml true 94.44 56.08 None queue_ok.line578.yml true 51.24 32.12 None queue_ok.line579.yml true 75.54 47.81 None queue_ok.line590.yml true 55.71 34.71 None queue_ok.line591.yml true 96.85 58.47 None queue_ok.line608.yml true 14.27 8.50 None queue_ok.line609.yml OUT OF MEMORY 284.95 240.13 None queue_ok.line790.yml true 6.87 4.54 None queue_ok.line791.yml true 7.74 4.96 None queue_ok.line800.yml true 6.52 4.35 None queue_ok.line801.yml true 8.33 5.38 None queue_ok.line810.yml true 6.30 4.27 None queue_ok.line811.yml true 8.55 5.51 None queue_ok.line826.yml true 6.45 4.30 None queue_ok.line827.yml true 6.81 4.47 None queue_ok.line836.yml true 6.56 4.38 None queue_ok.line837.yml true 9.40 5.75 None queue_ok.line874.yml true 6.86 4.53 None queue_ok.line875.yml true 9.89 5.97 None queue_ok.line889.yml true 7.09 4.62 None queue_ok.line890.yml true 9.36 5.67 None queue_ok.line901.yml true 14.89 9.27 None queue_ok.line902.yml true 21.96 12.45 None queue_ok.line913.yml true 48.04 28.70 None queue_ok.line914.yml true 397.14 239.96 None queue_ok_longer.line283.yml true 33.52 19.56 None queue_ok_longer.line284.yml true 34.75 20.03 None queue_ok_longer.line294.yml true 31.62 18.86 None queue_ok_longer.line295.yml TIMEOUT (ERROR: EXCEPTION) 900.96 735.02 None queue_ok_longer.line304.yml true 37.56 21.02 None queue_ok_longer.line305.yml true 34.06 19.98 None queue_ok_longer.line316.yml true 31.94 18.81 None queue_ok_longer.line317.yml true 33.02 19.50 None queue_ok_longer.line327.yml true 28.07 17.61 None queue_ok_longer.line328.yml true 28.50 17.52 None queue_ok_longer.line340.yml true 35.13 19.89 None queue_ok_longer.line341.yml true 29.04 18.24 None queue_ok_longer.line351.yml true 41.57 26.62 None queue_ok_longer.line352.yml true 41.00 26.63 None queue_ok_longer.line363.yml true 49.17 29.15 None queue_ok_longer.line364.yml true 40.74 26.00 None queue_ok_longer.line383.yml true 142.66 109.38 None queue_ok_longer.line384.yml TIMEOUT 900.58 870.00 None queue_ok_longer.line464.yml true 29.01 19.08 None queue_ok_longer.line465.yml OUT OF MEMORY 510.75 364.56 None queue_ok_longer.line474.yml true 28.98 19.07 None queue_ok_longer.line475.yml OUT OF MEMORY 286.75 230.11 None queue_ok_longer.line508.yml true 40.36 23.91 None queue_ok_longer.line509.yml OUT OF MEMORY 446.13 366.10 None queue_ok_longer.line518.yml true 31.99 19.86 None queue_ok_longer.line519.yml OUT OF MEMORY 636.21 455.36 None queue_ok_longer.line531.yml true 31.13 19.11 None queue_ok_longer.line532.yml OUT OF MEMORY 413.45 309.97 None queue_ok_longer.line543.yml true 30.36 18.72 None queue_ok_longer.line544.yml OUT OF MEMORY 326.38 239.96 None queue_ok_longer.line554.yml true 29.67 18.30 None queue_ok_longer.line555.yml OUT OF MEMORY 421.88 347.85 None queue_ok_longer.line567.yml true 29.81 18.92 None queue_ok_longer.line568.yml OUT OF MEMORY 307.30 248.90 None queue_ok_longer.line578.yml true 46.71 29.22 None queue_ok_longer.line579.yml OUT OF MEMORY 412.11 313.19 None queue_ok_longer.line590.yml true 49.69 31.53 None queue_ok_longer.line591.yml OUT OF MEMORY 391.13 316.79 None queue_ok_longer.line608.yml true 15.76 9.69 None queue_ok_longer.line609.yml OUT OF MEMORY 575.85 417.16 None queue_ok_longer.line790.yml true 7.00 4.90 None queue_ok_longer.line791.yml true 7.94 5.34 None queue_ok_longer.line800.yml true 7.01 4.56 None queue_ok_longer.line801.yml true 8.64 5.81 None queue_ok_longer.line810.yml true 6.93 4.56 None queue_ok_longer.line811.yml true 9.23 5.98 None queue_ok_longer.line826.yml true 7.19 4.78 None queue_ok_longer.line827.yml true 7.15 4.93 None queue_ok_longer.line836.yml true 6.83 4.62 None queue_ok_longer.line837.yml true 6.80 4.51 None queue_ok_longer.line874.yml true 7.25 4.75 None queue_ok_longer.line875.yml true 7.55 5.04 None queue_ok_longer.line889.yml true 7.41 4.82 None queue_ok_longer.line890.yml true 7.52 5.11 None queue_ok_longer.line901.yml true 17.33 10.06 None queue_ok_longer.line902.yml true 16.22 10.11 None queue_ok_longer.line913.yml true 39.92 25.07 None queue_ok_longer.line914.yml OUT OF MEMORY 390.79 319.80 None queue_ok_longest.line283.yml true 34.81 20.43 None queue_ok_longest.line284.yml true 29.24 17.67 None queue_ok_longest.line294.yml true 26.46 16.97 None queue_ok_longest.line295.yml TIMEOUT 900.61 755.59 None queue_ok_longest.line304.yml true 35.43 20.87 None queue_ok_longest.line305.yml true 30.40 18.64 None queue_ok_longest.line316.yml true 27.55 18.16 None queue_ok_longest.line317.yml true 31.31 18.48 None queue_ok_longest.line327.yml true 29.75 19.10 None queue_ok_longest.line328.yml true 29.93 19.02 None queue_ok_longest.line340.yml true 33.59 19.82 None queue_ok_longest.line341.yml true 28.61 17.60 None queue_ok_longest.line351.yml true 40.39 25.15 None queue_ok_longest.line352.yml true 43.49 26.69 None queue_ok_longest.line363.yml true 40.43 26.37 None queue_ok_longest.line364.yml true 42.44 26.93 None queue_ok_longest.line383.yml true 169.98 121.16 None queue_ok_longest.line384.yml TIMEOUT 900.22 786.83 None queue_ok_longest.line464.yml true 31.10 20.09 None queue_ok_longest.line465.yml OUT OF MEMORY 257.29 207.26 None queue_ok_longest.line474.yml true 30.31 19.91 None queue_ok_longest.line475.yml OUT OF MEMORY 370.33 302.29 None queue_ok_longest.line508.yml true 31.44 20.71 None queue_ok_longest.line509.yml OUT OF MEMORY 419.48 315.74 None queue_ok_longest.line518.yml true 32.38 21.14 None queue_ok_longest.line519.yml OUT OF MEMORY 351.00 288.54 None queue_ok_longest.line531.yml true 31.16 20.12 None queue_ok_longest.line532.yml OUT OF MEMORY 460.56 328.88 None queue_ok_longest.line543.yml true 31.75 20.37 None queue_ok_longest.line544.yml OUT OF MEMORY 366.71 296.46 None queue_ok_longest.line554.yml true 38.44 22.88 None queue_ok_longest.line555.yml OUT OF MEMORY 493.89 352.00 None queue_ok_longest.line567.yml true 32.57 20.89 None queue_ok_longest.line568.yml OUT OF MEMORY 581.03 412.84 None queue_ok_longest.line578.yml true 48.89 30.71 None queue_ok_longest.line579.yml OUT OF MEMORY 353.24 286.48 None queue_ok_longest.line590.yml true 50.64 31.97 None queue_ok_longest.line591.yml OUT OF MEMORY 189.93 147.66 None queue_ok_longest.line608.yml true 15.37 9.39 None queue_ok_longest.line609.yml OUT OF MEMORY 413.75 339.01 None queue_ok_longest.line790.yml true 9.09 5.52 None queue_ok_longest.line791.yml true 9.56 5.82 None queue_ok_longest.line800.yml true 8.04 5.06 None queue_ok_longest.line801.yml true 10.65 6.39 None queue_ok_longest.line810.yml true 8.05 5.08 None queue_ok_longest.line811.yml true 10.99 6.62 None queue_ok_longest.line826.yml true 8.66 5.41 None queue_ok_longest.line827.yml true 6.99 4.79 None queue_ok_longest.line836.yml true 8.43 5.25 None queue_ok_longest.line837.yml true 7.22 4.80 None queue_ok_longest.line874.yml true 9.20 5.54 None queue_ok_longest.line875.yml true 7.51 5.35 None queue_ok_longest.line889.yml true 7.05 4.80 None queue_ok_longest.line890.yml true 9.25 5.70 None queue_ok_longest.line901.yml true 15.46 9.79 None queue_ok_longest.line902.yml true 17.15 10.66 None queue_ok_longest.line913.yml true 47.34 28.77 None queue_ok_longest.line914.yml OUT OF MEMORY 371.02 303.62 None qw2004-1.line323.yml true 4.90 3.67 None qw2004-1.line324.yml true 6.11 3.62 None qw2004-2.line339.yml true 5.20 3.66 None qw2004-2.line340.yml true 5.15 3.37 None qw2004-2b.line344.yml true 5.14 3.58 None qw2004-2b.line345.yml true 5.30 3.44 None --------------------------------------------------------------------------------------------- Run set 1 done 33492.09 2141.30 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk14 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 --------------------------------------------------------------------------------------------- queue_longer.line486.yml true 46.77 29.46 None queue_longer.line487.yml TIMEOUT (ERROR: EXCEPTION) 900.96 835.33 None queue_longer.line496.yml true 54.26 31.81 None queue_longer.line497.yml true 46.12 28.12 None queue_longer.line508.yml true 45.86 29.65 None queue_longer.line509.yml true 47.24 30.51 None queue_longer.line519.yml true 53.49 31.14 None queue_longer.line520.yml true 57.71 33.61 None queue_longer.line532.yml true 53.25 31.48 None queue_longer.line533.yml true 47.17 28.17 None queue_longer.line543.yml true 72.62 46.07 None queue_longer.line544.yml true 85.28 53.75 None queue_longer.line555.yml true 68.07 42.45 None queue_longer.line556.yml OUT OF MEMORY 52.49 32.08 None queue_longer.line575.yml true 45.24 26.77 None queue_longer.line576.yml TIMEOUT 900.64 754.14 None queue_longer.line653.yml true 51.94 32.52 None queue_longer.line654.yml true 55.88 36.39 None queue_longer.line663.yml true 51.43 34.34 None queue_longer.line664.yml TIMEOUT 901.73 822.20 None queue_longer.line676.yml true 62.67 36.25 None queue_longer.line677.yml true 64.21 38.74 None queue_longer.line688.yml true 53.09 32.48 None queue_longer.line689.yml true 65.64 38.90 None queue_longer.line699.yml true 50.48 31.79 None queue_longer.line700.yml true 54.62 35.24 None queue_longer.line712.yml true 55.31 34.88 None queue_longer.line713.yml OUT OF MEMORY 49.54 30.56 None queue_longer.line723.yml true 81.71 50.24 None queue_longer.line724.yml true 33.35 21.14 None queue_longer.line735.yml true 91.09 56.25 None queue_longer.line736.yml true 34.21 22.10 None queue_longer.line753.yml true 57.22 34.94 None queue_longer.line754.yml TIMEOUT 901.13 714.42 None queue_longer.line932.yml true 10.14 6.27 None queue_longer.line933.yml true 8.98 5.74 None queue_longer.line942.yml true 9.73 5.91 None queue_longer.line943.yml true 9.62 6.48 None queue_longer.line952.yml true 7.99 5.35 None queue_longer.line953.yml true 12.30 7.25 None queue_longer.line968.yml true 7.57 4.95 None queue_longer.line969.yml true 7.66 4.91 None queue_longer.line978.yml true 7.64 5.46 None queue_longer.line979.yml true 8.02 5.30 None queue_longest.line1016.yml true 8.07 5.35 None queue_longest.line1017.yml true 8.22 5.69 None queue_longest.line1031.yml true 8.30 5.30 None queue_longest.line1032.yml true 8.44 5.37 None queue_longest.line1043.yml true 22.54 13.89 None queue_longest.line1044.yml true 23.78 14.26 None queue_longest.line1055.yml true 67.04 39.42 None queue_longest.line1056.yml OUT OF MEMORY 303.21 241.28 None queue_longest.line286.yml true 11.19 7.19 None queue_longest.line287.yml true 11.97 7.32 None queue_longest.line297.yml true 12.32 7.53 None queue_longest.line298.yml false(unreach-call) 43.41 34.39 None queue_longest.line307.yml true 17.61 10.09 None queue_longest.line308.yml true 12.75 7.76 None queue_longest.line319.yml true 14.58 8.41 None queue_longest.line320.yml true 14.54 9.28 None queue_longest.line330.yml true 16.26 9.56 None queue_longest.line331.yml true 15.53 9.22 None queue_longest.line343.yml true 15.07 9.96 None queue_longest.line344.yml true 16.76 9.88 None queue_longest.line354.yml true 22.40 12.62 None queue_longest.line355.yml true 16.51 10.29 None queue_longest.line366.yml true 17.12 10.80 None queue_longest.line367.yml true 16.50 10.70 None queue_longest.line391.yml true 303.15 278.58 None queue_longest.line392.yml true 303.27 283.83 None queue_longest.line405.yml true 18.59 11.51 None queue_longest.line406.yml true 25.37 14.61 None queue_longest.line415.yml true 20.27 12.57 None queue_longest.line416.yml true 21.78 13.61 None queue_longest.line475.yml true 38.98 25.88 None queue_longest.line476.yml true 51.66 30.40 None queue_longest.line486.yml true 40.43 24.21 None queue_longest.line487.yml TIMEOUT (ERROR: EXCEPTION) 900.89 842.25 None queue_longest.line496.yml true 39.38 23.98 None queue_longest.line497.yml true 47.35 28.15 None queue_longest.line508.yml true 38.44 23.86 None queue_longest.line509.yml true 40.22 26.20 None queue_longest.line519.yml true 38.74 23.75 None queue_longest.line520.yml true 51.64 30.39 None queue_longest.line532.yml true 37.11 24.66 None queue_longest.line533.yml true 39.47 24.73 None queue_longest.line543.yml true 74.50 44.37 None queue_longest.line544.yml OUT OF MEMORY 50.34 31.39 None queue_longest.line555.yml true 59.74 38.93 None queue_longest.line556.yml OUT OF MEMORY 48.77 30.90 None queue_longest.line575.yml true 39.91 24.92 None queue_longest.line576.yml TIMEOUT 900.51 729.32 None queue_longest.line653.yml true 55.45 32.93 None queue_longest.line654.yml true 47.09 29.67 None queue_longest.line663.yml true 46.20 28.54 None queue_longest.line664.yml TIMEOUT 901.27 858.15 None queue_longest.line676.yml true 45.32 29.93 None queue_longest.line677.yml true 47.06 30.56 None queue_longest.line688.yml true 48.34 29.73 None queue_longest.line689.yml true 56.72 34.29 None queue_longest.line699.yml true 45.43 29.32 None queue_longest.line700.yml true 45.52 29.11 None queue_longest.line712.yml true 51.48 31.77 None queue_longest.line713.yml true 61.10 37.47 None queue_longest.line723.yml true 74.21 47.62 None queue_longest.line724.yml true 31.72 19.78 None queue_longest.line735.yml true 85.08 52.19 None queue_longest.line736.yml true 40.17 23.95 None queue_longest.line753.yml true 43.97 28.66 None queue_longest.line754.yml TIMEOUT 901.19 857.08 None queue_longest.line932.yml true 7.76 5.19 None queue_longest.line933.yml true 8.07 5.31 None queue_longest.line942.yml true 8.67 5.40 None queue_longest.line943.yml true 9.15 5.94 None queue_longest.line952.yml true 8.90 5.47 None queue_longest.line953.yml true 9.24 6.10 None queue_longest.line968.yml true 7.33 4.78 None queue_longest.line969.yml true 9.66 5.90 None queue_longest.line978.yml true 7.37 4.82 None queue_longest.line979.yml true 7.61 5.09 None queue_ok.line283.yml true 26.61 17.27 None queue_ok.line284.yml true 35.83 20.16 None queue_ok.line294.yml true 25.98 15.67 None queue_ok.line295.yml TIMEOUT (ERROR: EXCEPTION) 903.16 842.17 None queue_ok.line304.yml true 25.70 16.23 None queue_ok.line305.yml true 24.86 15.29 None queue_ok.line316.yml true 31.24 18.27 None queue_ok.line317.yml true 27.03 17.01 None queue_ok.line327.yml true 24.83 15.26 None queue_ok.line328.yml true 32.34 18.94 None queue_ok.line340.yml true 26.27 16.14 None queue_ok.line341.yml true 26.40 16.85 None queue_ok.line351.yml true 36.15 22.61 None queue_ok.line352.yml true 39.20 25.57 None queue_ok.line363.yml true 36.89 23.33 None queue_ok.line364.yml true 47.06 27.98 None queue_ok.line383.yml true 138.52 106.66 None queue_ok.line384.yml TIMEOUT 900.94 790.66 None queue_ok.line464.yml true 26.33 17.10 None queue_ok.line465.yml true 67.87 42.62 None queue_ok.line474.yml true 31.92 19.16 None queue_ok.line475.yml true 66.59 43.16 None queue_ok.line508.yml true 34.95 20.62 None queue_ok.line509.yml true 67.57 42.66 None queue_ok.line518.yml true 33.65 20.52 None queue_ok.line519.yml TIMEOUT 901.27 829.47 None queue_ok.line531.yml true 36.47 21.30 None queue_ok.line532.yml true 67.38 43.24 None queue_ok.line543.yml true 34.43 20.55 None queue_ok.line544.yml true 68.65 44.88 None queue_ok.line554.yml true 36.61 21.25 None queue_ok.line555.yml true 69.04 43.90 None queue_ok.line567.yml true 37.37 21.95 None queue_ok.line568.yml true 69.85 45.66 None queue_ok.line578.yml true 54.29 32.20 None queue_ok.line579.yml true 70.58 45.39 None queue_ok.line590.yml true 46.93 29.32 None queue_ok.line591.yml true 92.74 55.50 None queue_ok.line608.yml true 14.68 8.80 None queue_ok.line609.yml true 385.31 298.37 None queue_ok.line790.yml true 7.31 4.99 None queue_ok.line791.yml true 7.91 5.15 None queue_ok.line800.yml true 6.38 4.37 None queue_ok.line801.yml true 8.49 5.58 None queue_ok.line810.yml true 6.62 4.53 None queue_ok.line811.yml true 11.16 6.64 None queue_ok.line826.yml true 7.31 4.91 None queue_ok.line827.yml true 9.00 5.49 None queue_ok.line836.yml true 7.16 4.82 None queue_ok.line837.yml true 9.01 5.58 None queue_ok.line874.yml true 7.10 4.85 None queue_ok.line875.yml true 9.59 5.78 None queue_ok.line889.yml true 7.50 4.94 None queue_ok.line890.yml true 7.27 4.88 None queue_ok.line901.yml true 21.43 11.91 None queue_ok.line902.yml true 15.17 9.80 None queue_ok.line913.yml true 49.34 28.47 None queue_ok.line914.yml OUT OF MEMORY 158.24 102.91 None queue_ok_longer.line283.yml true 32.47 18.70 None queue_ok_longer.line284.yml true 31.22 18.29 None queue_ok_longer.line294.yml true 24.95 15.51 None queue_ok_longer.line295.yml TIMEOUT 900.72 752.79 None queue_ok_longer.line304.yml true 32.64 18.84 None queue_ok_longer.line305.yml true 25.69 15.76 None queue_ok_longer.line316.yml true 33.74 19.49 None queue_ok_longer.line317.yml true 25.37 15.63 None queue_ok_longer.line327.yml true 36.40 20.29 None queue_ok_longer.line328.yml true 26.42 16.64 None queue_ok_longer.line340.yml true 26.55 16.05 None queue_ok_longer.line341.yml true 25.69 16.12 None queue_ok_longer.line351.yml true 39.14 25.68 None queue_ok_longer.line352.yml true 48.38 28.40 None queue_ok_longer.line363.yml true 38.28 24.08 None queue_ok_longer.line364.yml true 39.16 24.70 None queue_ok_longer.line383.yml true 152.97 111.92 None queue_ok_longer.line384.yml TIMEOUT 900.73 856.52 None queue_ok_longer.line464.yml true 27.42 16.85 None queue_ok_longer.line465.yml OUT OF MEMORY 575.70 414.36 None queue_ok_longer.line474.yml true 27.90 17.88 None queue_ok_longer.line475.yml OUT OF MEMORY 532.44 401.70 None queue_ok_longer.line508.yml true 29.77 19.01 None queue_ok_longer.line509.yml OUT OF MEMORY 471.56 392.01 None queue_ok_longer.line518.yml true 34.51 20.69 None queue_ok_longer.line519.yml OUT OF MEMORY 629.13 456.03 None queue_ok_longer.line531.yml true 27.97 17.56 None queue_ok_longer.line532.yml OUT OF MEMORY 396.69 284.12 None queue_ok_longer.line543.yml true 30.16 18.30 None queue_ok_longer.line544.yml OUT OF MEMORY 383.72 311.52 None queue_ok_longer.line554.yml true 25.75 16.38 None queue_ok_longer.line555.yml OUT OF MEMORY 359.38 265.51 None queue_ok_longer.line567.yml true 28.87 19.12 None queue_ok_longer.line568.yml OUT OF MEMORY 309.84 254.10 None queue_ok_longer.line578.yml true 42.77 27.74 None queue_ok_longer.line579.yml OUT OF MEMORY 231.26 183.02 None queue_ok_longer.line590.yml true 44.03 28.73 None queue_ok_longer.line591.yml OUT OF MEMORY 423.29 315.19 None queue_ok_longer.line608.yml true 14.91 8.96 None queue_ok_longer.line609.yml OUT OF MEMORY 478.56 344.24 None queue_ok_longer.line790.yml true 7.19 4.93 None queue_ok_longer.line791.yml true 7.71 5.24 None queue_ok_longer.line800.yml true 6.65 4.58 None queue_ok_longer.line801.yml true 8.69 5.64 None queue_ok_longer.line810.yml true 6.20 4.18 None queue_ok_longer.line811.yml true 8.62 5.77 None queue_ok_longer.line826.yml true 7.24 4.76 None queue_ok_longer.line827.yml true 7.70 5.24 None queue_ok_longer.line836.yml true 7.55 4.96 None queue_ok_longer.line837.yml true 9.66 5.90 None queue_ok_longer.line874.yml true 7.22 5.60 None queue_ok_longer.line875.yml true 7.85 5.04 None queue_ok_longer.line889.yml true 7.55 5.60 None queue_ok_longer.line890.yml true 7.55 4.88 None queue_ok_longer.line901.yml true 21.26 12.18 None queue_ok_longer.line902.yml true 15.15 9.67 None queue_ok_longer.line913.yml true 38.10 24.00 None queue_ok_longer.line914.yml OUT OF MEMORY 267.53 197.75 None queue_ok_longest.line283.yml true 25.52 17.41 None queue_ok_longest.line284.yml true 25.53 17.25 None queue_ok_longest.line294.yml true 24.99 17.13 None queue_ok_longest.line295.yml TIMEOUT 900.44 751.32 None queue_ok_longest.line304.yml true 26.85 17.02 None queue_ok_longest.line305.yml true 25.24 15.50 None queue_ok_longest.line316.yml true 27.16 18.14 None queue_ok_longest.line317.yml true 28.14 17.42 None queue_ok_longest.line327.yml true 26.55 17.34 None queue_ok_longest.line328.yml true 26.88 17.75 None queue_ok_longest.line340.yml true 27.12 16.52 None queue_ok_longest.line341.yml true 25.18 17.01 None queue_ok_longest.line351.yml true 38.85 25.43 None queue_ok_longest.line352.yml true 40.54 25.97 None queue_ok_longest.line363.yml true 39.63 25.16 None queue_ok_longest.line364.yml true 40.35 26.82 None queue_ok_longest.line383.yml true 138.86 105.45 None queue_ok_longest.line384.yml TIMEOUT 900.61 865.66 None queue_ok_longest.line464.yml true 27.57 17.95 None queue_ok_longest.line465.yml OUT OF MEMORY 415.29 339.18 None queue_ok_longest.line474.yml true 28.12 17.38 None queue_ok_longest.line475.yml OUT OF MEMORY 294.39 236.32 None queue_ok_longest.line508.yml true 28.39 18.69 None queue_ok_longest.line509.yml OUT OF MEMORY 394.40 326.08 None queue_ok_longest.line518.yml true 28.60 18.44 None queue_ok_longest.line519.yml OUT OF MEMORY 628.20 453.47 None queue_ok_longest.line531.yml true 28.34 18.48 None queue_ok_longest.line532.yml OUT OF MEMORY 353.67 287.35 None queue_ok_longest.line543.yml true 27.93 18.08 None queue_ok_longest.line544.yml OUT OF MEMORY 356.90 292.24 None queue_ok_longest.line554.yml true 27.98 17.35 None queue_ok_longest.line555.yml OUT OF MEMORY 470.15 351.82 None queue_ok_longest.line567.yml true 29.10 18.28 None queue_ok_longest.line568.yml OUT OF MEMORY 452.14 337.46 None queue_ok_longest.line578.yml true 53.79 32.09 None queue_ok_longest.line579.yml OUT OF MEMORY 413.55 312.52 None queue_ok_longest.line590.yml true 58.19 33.96 None queue_ok_longest.line591.yml OUT OF MEMORY 619.62 445.51 None queue_ok_longest.line608.yml true 19.41 10.99 None queue_ok_longest.line609.yml OUT OF MEMORY 354.86 286.67 None queue_ok_longest.line790.yml true 9.21 5.66 None queue_ok_longest.line791.yml true 9.90 5.97 None queue_ok_longest.line800.yml true 8.19 5.11 None queue_ok_longest.line801.yml true 10.72 6.42 None queue_ok_longest.line810.yml true 8.24 5.16 None queue_ok_longest.line811.yml true 10.94 6.68 None queue_ok_longest.line826.yml true 8.80 5.40 None queue_ok_longest.line827.yml true 8.96 5.51 None queue_ok_longest.line836.yml true 8.65 5.29 None queue_ok_longest.line837.yml true 9.16 5.60 None queue_ok_longest.line874.yml true 9.20 5.59 None queue_ok_longest.line875.yml true 10.01 6.00 None queue_ok_longest.line889.yml true 9.69 5.86 None queue_ok_longest.line890.yml true 9.63 5.83 None queue_ok_longest.line901.yml true 15.27 9.92 None queue_ok_longest.line902.yml true 19.28 11.46 None queue_ok_longest.line913.yml true 38.17 24.54 None queue_ok_longest.line914.yml OUT OF MEMORY 393.45 325.32 None qw2004-1.line323.yml true 6.74 4.00 None qw2004-1.line324.yml true 6.57 4.14 None qw2004-2.line339.yml true 5.32 3.87 None qw2004-2.line340.yml true 6.63 4.12 None qw2004-2b.line344.yml true 5.68 3.74 None qw2004-2b.line345.yml true 5.34 3.61 None --------------------------------------------------------------------------------------------- Run set 2 done 33281.67 2224.48 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk14 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 --------------------------------------------------------------------------------------------- queue_longer.line486.yml true 72.98 48.17 None queue_longer.line487.yml TIMEOUT (ERROR: EXCEPTION) 900.92 846.32 None queue_longer.line496.yml true 82.28 51.35 None queue_longer.line497.yml true 68.30 44.67 None queue_longer.line508.yml true 69.25 46.58 None queue_longer.line509.yml true 72.48 47.32 None queue_longer.line519.yml true 81.37 50.13 None queue_longer.line520.yml true 89.45 55.14 None queue_longer.line532.yml true 81.80 50.86 None queue_longer.line533.yml true 70.89 45.81 None queue_longer.line543.yml true 140.77 93.47 None queue_longer.line544.yml true 82.22 53.96 None queue_longer.line555.yml true 138.62 91.00 None queue_longer.line556.yml true 78.05 50.13 None queue_longer.line575.yml true 68.84 44.48 None queue_longer.line576.yml OUT OF MEMORY 475.33 404.66 None queue_longer.line653.yml true 86.88 55.88 None queue_longer.line654.yml true 99.74 67.56 None queue_longer.line663.yml true 89.52 57.95 None queue_longer.line664.yml TIMEOUT 902.32 695.03 None queue_longer.line676.yml true 85.95 54.43 None queue_longer.line677.yml true 117.53 73.06 None queue_longer.line688.yml true 114.46 69.51 None queue_longer.line689.yml true 100.86 66.19 None queue_longer.line699.yml true 101.75 62.14 None queue_longer.line700.yml true 97.32 62.92 None queue_longer.line712.yml true 92.95 59.52 None queue_longer.line713.yml true 108.78 71.58 None queue_longer.line723.yml true 200.04 127.09 None queue_longer.line724.yml true 130.91 82.55 None queue_longer.line735.yml true 214.85 133.65 None queue_longer.line736.yml true 135.42 95.08 None queue_longer.line753.yml true 119.28 74.58 None queue_longer.line754.yml OUT OF MEMORY 452.78 395.89 None queue_longer.line932.yml true 11.01 6.46 None queue_longer.line933.yml true 11.31 6.75 None queue_longer.line942.yml true 10.05 6.11 None queue_longer.line943.yml true 12.72 7.42 None queue_longer.line952.yml true 10.05 6.03 None queue_longer.line953.yml true 12.91 7.52 None queue_longer.line968.yml true 10.32 6.14 None queue_longer.line969.yml true 10.57 6.37 None queue_longer.line978.yml true 10.00 6.03 None queue_longer.line979.yml true 8.40 5.76 None queue_longest.line1016.yml true 8.73 5.39 None queue_longest.line1017.yml true 11.39 6.74 None queue_longest.line1031.yml true 11.22 6.67 None queue_longest.line1032.yml true 8.99 6.14 None queue_longest.line1043.yml true 35.40 21.57 None queue_longest.line1044.yml true 44.25 26.09 None queue_longest.line1055.yml true 126.65 77.56 None queue_longest.line1056.yml OUT OF MEMORY 333.72 267.94 None queue_longest.line286.yml true 14.60 9.09 None queue_longest.line287.yml true 15.10 9.10 None queue_longest.line297.yml true 15.78 9.54 None queue_longest.line298.yml false(unreach-call) 45.88 35.32 None queue_longest.line307.yml true 20.49 11.96 None queue_longest.line308.yml true 16.08 9.86 None queue_longest.line319.yml true 19.09 11.52 None queue_longest.line320.yml true 24.24 14.07 None queue_longest.line330.yml true 18.90 11.69 None queue_longest.line331.yml true 27.28 15.43 None queue_longest.line343.yml true 22.51 14.01 None queue_longest.line344.yml true 26.11 15.70 None queue_longest.line354.yml true 20.10 12.40 None queue_longest.line355.yml true 20.97 13.95 None queue_longest.line366.yml true 29.31 17.14 None queue_longest.line367.yml true 23.41 14.54 None queue_longest.line391.yml true 335.19 306.58 None queue_longest.line392.yml true 321.35 287.04 None queue_longest.line405.yml true 32.65 19.97 None queue_longest.line406.yml true 29.15 19.73 None queue_longest.line415.yml true 27.94 18.82 None queue_longest.line416.yml true 28.37 18.12 None queue_longest.line475.yml true 73.68 46.18 None queue_longest.line476.yml true 81.71 50.78 None queue_longest.line486.yml true 61.56 40.91 None queue_longest.line487.yml OUT OF MEMORY 506.10 408.42 None queue_longest.line496.yml true 61.35 44.20 None queue_longest.line497.yml true 64.95 41.65 None queue_longest.line508.yml true 63.06 41.92 None queue_longest.line509.yml true 76.41 47.59 None queue_longest.line519.yml true 61.59 41.01 None queue_longest.line520.yml true 66.16 44.98 None queue_longest.line532.yml true 78.30 48.22 None queue_longest.line533.yml true 66.23 43.11 None queue_longest.line543.yml true 125.82 82.06 None queue_longest.line544.yml true 73.91 48.35 None queue_longest.line555.yml true 148.24 91.67 None queue_longest.line556.yml true 71.14 47.93 None queue_longest.line575.yml true 60.23 39.69 None queue_longest.line576.yml OUT OF MEMORY 558.82 469.78 None queue_longest.line653.yml true 77.76 49.93 None queue_longest.line654.yml true 89.87 59.06 None queue_longest.line663.yml true 79.52 49.96 None queue_longest.line664.yml TIMEOUT 901.22 818.05 None queue_longest.line676.yml true 94.75 58.81 None queue_longest.line677.yml true 90.14 59.74 None queue_longest.line688.yml true 89.39 55.99 None queue_longest.line689.yml true 92.25 61.70 None queue_longest.line699.yml true 78.07 50.29 None queue_longest.line700.yml true 93.74 61.02 None queue_longest.line712.yml true 110.93 67.93 None queue_longest.line713.yml true 101.76 66.49 None queue_longest.line723.yml true 194.86 123.61 None queue_longest.line724.yml true 134.18 86.93 None queue_longest.line735.yml true 203.19 129.32 None queue_longest.line736.yml true 128.28 81.03 None queue_longest.line753.yml true 102.06 65.68 None queue_longest.line754.yml OUT OF MEMORY 434.47 381.87 None queue_longest.line932.yml true 8.37 5.60 None queue_longest.line933.yml true 9.39 5.90 None queue_longest.line942.yml true 8.14 5.26 None queue_longest.line943.yml true 10.03 6.41 None queue_longest.line952.yml true 9.56 5.82 None queue_longest.line953.yml true 10.24 6.31 None queue_longest.line968.yml true 8.46 5.44 None queue_longest.line969.yml true 10.20 6.17 None queue_longest.line978.yml true 7.89 5.02 None queue_longest.line979.yml true 9.27 5.87 None queue_ok.line283.yml true 48.41 30.11 None queue_ok.line284.yml true 42.59 26.28 None queue_ok.line294.yml true 44.52 29.28 None queue_ok.line295.yml TIMEOUT 900.45 823.66 None queue_ok.line304.yml true 40.44 26.54 None queue_ok.line305.yml true 39.45 25.15 None queue_ok.line316.yml true 50.56 30.91 None queue_ok.line317.yml true 40.63 25.56 None queue_ok.line327.yml true 40.64 27.32 None queue_ok.line328.yml true 41.63 26.17 None queue_ok.line340.yml true 45.06 29.14 None queue_ok.line341.yml true 36.34 23.61 None queue_ok.line351.yml true 75.56 47.72 None queue_ok.line352.yml true 100.51 59.42 None queue_ok.line363.yml true 77.03 50.43 None queue_ok.line364.yml true 74.60 50.03 None queue_ok.line383.yml true 190.51 138.78 None queue_ok.line384.yml TIMEOUT 902.26 853.92 None queue_ok.line464.yml true 39.83 26.42 None queue_ok.line465.yml true 127.81 79.61 None queue_ok.line474.yml true 44.40 27.61 None queue_ok.line475.yml true 99.55 65.33 None queue_ok.line508.yml true 48.96 33.23 None queue_ok.line509.yml true 102.30 68.47 None queue_ok.line518.yml true 58.00 36.06 None queue_ok.line519.yml TIMEOUT 902.53 724.77 None queue_ok.line531.yml true 46.30 30.84 None queue_ok.line532.yml true 132.31 82.17 None queue_ok.line543.yml true 47.95 31.64 None queue_ok.line544.yml OUT OF MEMORY 122.57 74.37 None queue_ok.line554.yml true 48.91 32.15 None queue_ok.line555.yml true 104.14 70.10 None queue_ok.line567.yml true 60.91 37.95 None queue_ok.line568.yml true 104.80 68.48 None queue_ok.line578.yml true 94.04 61.01 None queue_ok.line579.yml true 132.47 85.85 None queue_ok.line590.yml true 110.58 69.04 None queue_ok.line591.yml true 161.43 99.61 None queue_ok.line608.yml true 27.54 15.42 None queue_ok.line609.yml OUT OF MEMORY 402.98 293.03 None queue_ok.line790.yml true 7.40 4.76 None queue_ok.line791.yml true 7.95 5.34 None queue_ok.line800.yml true 8.63 5.32 None queue_ok.line801.yml true 9.02 5.85 None queue_ok.line810.yml true 8.58 5.26 None queue_ok.line811.yml true 8.67 5.71 None queue_ok.line826.yml true 7.03 4.77 None queue_ok.line827.yml true 7.40 4.82 None queue_ok.line836.yml true 8.82 5.48 None queue_ok.line837.yml true 7.41 5.33 None queue_ok.line874.yml true 7.80 5.10 None queue_ok.line875.yml true 7.69 4.93 None queue_ok.line889.yml true 9.43 5.76 None queue_ok.line890.yml true 8.25 5.34 None queue_ok.line901.yml true 24.10 14.40 None queue_ok.line902.yml true 23.60 14.38 None queue_ok.line913.yml true 85.47 53.20 None queue_ok.line914.yml OUT OF MEMORY 98.78 66.13 None queue_ok_longer.line283.yml true 40.03 27.72 None queue_ok_longer.line284.yml true 49.90 29.76 None queue_ok_longer.line294.yml true 39.41 26.77 None queue_ok_longer.line295.yml TIMEOUT (ERROR: EXCEPTION) 900.65 777.78 None queue_ok_longer.line304.yml true 39.43 25.00 None queue_ok_longer.line305.yml true 43.20 27.07 None queue_ok_longer.line316.yml true 40.84 27.26 None queue_ok_longer.line317.yml true 43.35 26.68 None queue_ok_longer.line327.yml true 47.53 28.93 None queue_ok_longer.line328.yml true 47.72 29.76 None queue_ok_longer.line340.yml true 57.84 33.96 None queue_ok_longer.line341.yml true 41.29 26.70 None queue_ok_longer.line351.yml true 77.91 50.77 None queue_ok_longer.line352.yml true 79.22 50.21 None queue_ok_longer.line363.yml true 76.75 50.55 None queue_ok_longer.line364.yml true 80.75 52.01 None queue_ok_longer.line383.yml true 217.85 151.74 None queue_ok_longer.line384.yml TIMEOUT 901.28 855.99 None queue_ok_longer.line464.yml true 58.82 34.79 None queue_ok_longer.line465.yml OUT OF MEMORY 504.75 366.59 None queue_ok_longer.line474.yml true 42.66 29.44 None queue_ok_longer.line475.yml OUT OF MEMORY 432.18 327.78 None queue_ok_longer.line508.yml true 49.39 31.79 None queue_ok_longer.line509.yml OUT OF MEMORY 658.07 484.06 None queue_ok_longer.line518.yml true 50.37 32.87 None queue_ok_longer.line519.yml OUT OF MEMORY 365.44 299.15 None queue_ok_longer.line531.yml true 45.12 30.36 None queue_ok_longer.line532.yml OUT OF MEMORY 310.12 253.39 None queue_ok_longer.line543.yml true 45.48 30.82 None queue_ok_longer.line544.yml OUT OF MEMORY 296.65 239.43 None queue_ok_longer.line554.yml true 55.05 34.68 None queue_ok_longer.line555.yml OUT OF MEMORY 436.63 317.59 None queue_ok_longer.line567.yml true 57.33 35.48 None queue_ok_longer.line568.yml OUT OF MEMORY 613.48 446.45 None queue_ok_longer.line578.yml true 90.52 59.79 None queue_ok_longer.line579.yml OUT OF MEMORY 229.60 177.81 None queue_ok_longer.line590.yml true 93.53 64.08 None queue_ok_longer.line591.yml OUT OF MEMORY 151.65 111.63 None queue_ok_longer.line608.yml true 20.04 12.19 None queue_ok_longer.line609.yml OUT OF MEMORY 398.42 322.76 None queue_ok_longer.line790.yml true 9.18 5.68 None queue_ok_longer.line791.yml true 8.50 5.46 None queue_ok_longer.line800.yml true 8.80 5.38 None queue_ok_longer.line801.yml true 9.01 5.77 None queue_ok_longer.line810.yml true 8.64 5.35 None queue_ok_longer.line811.yml true 9.19 5.76 None queue_ok_longer.line826.yml true 8.82 5.48 None queue_ok_longer.line827.yml true 7.59 4.90 None queue_ok_longer.line836.yml true 8.83 5.91 None queue_ok_longer.line837.yml true 7.86 5.02 None queue_ok_longer.line874.yml true 7.53 5.22 None queue_ok_longer.line875.yml true 8.24 5.26 None queue_ok_longer.line889.yml true 9.59 5.89 None queue_ok_longer.line890.yml true 7.73 5.25 None queue_ok_longer.line901.yml true 25.47 14.81 None queue_ok_longer.line902.yml true 30.20 17.09 None queue_ok_longer.line913.yml true 67.11 45.96 None queue_ok_longer.line914.yml OUT OF MEMORY 425.44 325.84 None queue_ok_longest.line283.yml true 45.84 28.20 None queue_ok_longest.line284.yml true 47.82 29.37 None queue_ok_longest.line294.yml true 38.01 26.62 None queue_ok_longest.line295.yml TIMEOUT 901.39 828.30 None queue_ok_longest.line304.yml true 39.16 26.16 None queue_ok_longest.line305.yml true 41.37 27.15 None queue_ok_longest.line316.yml true 48.52 30.07 None queue_ok_longest.line317.yml true 38.72 24.96 None queue_ok_longest.line327.yml true 47.15 29.37 None queue_ok_longest.line328.yml true 40.44 26.15 None queue_ok_longest.line340.yml true 41.09 28.12 None queue_ok_longest.line341.yml true 40.08 26.19 None queue_ok_longest.line351.yml true 99.64 59.42 None queue_ok_longest.line352.yml true 74.44 47.54 None queue_ok_longest.line363.yml true 93.09 55.88 None queue_ok_longest.line364.yml true 97.35 58.09 None queue_ok_longest.line383.yml true 189.00 140.89 None queue_ok_longest.line384.yml TIMEOUT 900.79 856.10 None queue_ok_longest.line464.yml true 43.00 28.99 None queue_ok_longest.line465.yml OUT OF MEMORY 435.20 332.06 None queue_ok_longest.line474.yml true 41.64 27.85 None queue_ok_longest.line475.yml OUT OF MEMORY 347.06 285.58 None queue_ok_longest.line508.yml true 56.55 34.93 None queue_ok_longest.line509.yml OUT OF MEMORY 622.54 460.79 None queue_ok_longest.line518.yml true 56.87 35.60 None queue_ok_longest.line519.yml OUT OF MEMORY 424.25 346.41 None queue_ok_longest.line531.yml true 57.36 35.28 None queue_ok_longest.line532.yml OUT OF MEMORY 540.42 392.68 None queue_ok_longest.line543.yml true 59.78 36.98 None queue_ok_longest.line544.yml OUT OF MEMORY 486.22 350.31 None queue_ok_longest.line554.yml true 47.09 31.62 None queue_ok_longest.line555.yml OUT OF MEMORY 603.68 441.30 None queue_ok_longest.line567.yml true 47.76 32.19 None queue_ok_longest.line568.yml OUT OF MEMORY 324.74 262.53 None queue_ok_longest.line578.yml true 86.83 55.47 None queue_ok_longest.line579.yml OUT OF MEMORY 122.31 85.19 None queue_ok_longest.line590.yml true 91.51 59.43 None queue_ok_longest.line591.yml OUT OF MEMORY 210.23 149.95 None queue_ok_longest.line608.yml true 18.10 11.43 None queue_ok_longest.line609.yml OUT OF MEMORY 355.29 289.53 None queue_ok_longest.line790.yml true 7.35 4.79 None queue_ok_longest.line791.yml true 8.31 5.25 None queue_ok_longest.line800.yml true 7.02 4.61 None queue_ok_longest.line801.yml true 9.15 5.79 None queue_ok_longest.line810.yml true 7.06 4.65 None queue_ok_longest.line811.yml true 9.08 5.76 None queue_ok_longest.line826.yml true 7.15 4.80 None queue_ok_longest.line827.yml true 7.20 5.20 None queue_ok_longest.line836.yml true 6.76 4.79 None queue_ok_longest.line837.yml true 7.95 5.15 None queue_ok_longest.line874.yml true 7.14 5.18 None queue_ok_longest.line875.yml true 8.09 5.43 None queue_ok_longest.line889.yml true 7.89 5.08 None queue_ok_longest.line890.yml true 7.63 5.18 None queue_ok_longest.line901.yml true 21.98 14.57 None queue_ok_longest.line902.yml true 24.76 15.02 None queue_ok_longest.line913.yml true 68.50 46.63 None queue_ok_longest.line914.yml OUT OF MEMORY 326.69 267.95 None qw2004-1.line323.yml true 5.45 3.61 None qw2004-1.line324.yml true 5.50 3.69 None qw2004-2.line339.yml true 5.38 3.55 None qw2004-2.line340.yml true 5.46 3.64 None qw2004-2b.line344.yml true 5.39 3.58 None qw2004-2b.line345.yml true 5.54 3.66 None --------------------------------------------------------------------------------------------- Run set 3 done 36280.99 2314.27 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk14 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk14 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk14 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk14 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk14 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk14 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk14 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk14 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk14 Run set 19 of 19: skipped Statistics: 900 Files correct: 765 correct true: 765 correct false: 0 incorrect: 3 incorrect true: 0 incorrect false: 3 unknown: 132 Score: 1482 (max: 1800)