BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk27, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk27, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk27 date: Mon, 2022-10-24 16:00:57 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-chunk27 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 ---------------------------------------------------------------------------------------------------- chl-collitem-symm.wvr.line536.yml true 6.38 4.65 None chl-collitem-symm.wvr.line537.yml true 6.60 5.77 None chl-collitem-symm.wvr.line548.yml true 16.58 9.28 None chl-collitem-symm.wvr.line549.yml true 13.43 7.87 None chl-collitem-symm.wvr.line560.yml true 19.90 12.07 None chl-collitem-symm.wvr.line561.yml true 19.82 12.55 None chl-collitem-trans.wvr.line736.yml true 23.15 13.60 None chl-collitem-trans.wvr.line737.yml true 23.63 13.92 None chl-collitem-trans.wvr.line751.yml true 23.14 13.71 None chl-collitem-trans.wvr.line752.yml true 19.11 11.59 None chl-collitem-trans.wvr.line766.yml true 26.77 17.31 None chl-collitem-trans.wvr.line767.yml true 28.04 18.41 None chl-collitem-trans.wvr.line778.yml OUT OF MEMORY 439.38 229.12 None chl-collitem-trans.wvr.line779.yml OUT OF MEMORY 404.61 207.67 None chl-collitem-trans.wvr.line790.yml OUT OF MEMORY 425.11 220.52 None chl-collitem-trans.wvr.line791.yml OUT OF MEMORY 464.41 245.38 None chl-collitem-trans.wvr.line802.yml OUT OF MEMORY 414.37 213.52 None chl-collitem-trans.wvr.line803.yml OUT OF MEMORY 348.99 180.79 None chl-exp-term-subst.wvr.line382.yml true 7.75 5.45 None chl-exp-term-subst.wvr.line383.yml true 9.26 6.23 None chl-exp-term-subst.wvr.line397.yml true 8.07 6.13 None chl-exp-term-subst.wvr.line398.yml true 10.83 6.61 None chl-exp-term-subst.wvr.line412.yml true 11.45 6.99 None chl-exp-term-subst.wvr.line413.yml true 12.35 7.47 None chl-exp-term-subst.wvr.line424.yml true 35.94 20.71 None chl-exp-term-subst.wvr.line425.yml true 35.64 23.42 None chl-exp-term-subst.wvr.line436.yml true 70.84 41.18 None chl-exp-term-subst.wvr.line437.yml true 71.66 42.34 None chl-exp-term-subst.wvr.line448.yml true 69.79 41.95 None chl-exp-term-subst.wvr.line449.yml true 82.07 45.54 None chl-exp-term-symm.wvr.line277.yml true 7.31 4.71 None chl-exp-term-symm.wvr.line278.yml true 7.99 5.06 None chl-exp-term-symm.wvr.line292.yml true 7.10 4.64 None chl-exp-term-symm.wvr.line293.yml true 7.58 4.80 None chl-exp-term-symm.wvr.line304.yml true 8.94 5.65 None chl-exp-term-symm.wvr.line305.yml true 9.00 5.65 None chl-exp-term-symm.wvr.line316.yml true 10.47 6.28 None chl-exp-term-symm.wvr.line317.yml true 9.87 6.03 None chl-file-item-subst.wvr.line463.yml true 9.87 6.14 None chl-file-item-subst.wvr.line464.yml true 9.96 6.55 None chl-file-item-subst.wvr.line478.yml true 12.01 7.15 None chl-file-item-subst.wvr.line479.yml true 12.98 7.62 None chl-file-item-subst.wvr.line493.yml true 10.56 6.76 None chl-file-item-subst.wvr.line494.yml true 11.29 7.15 None chl-file-item-subst.wvr.line505.yml true 87.65 48.25 None chl-file-item-subst.wvr.line506.yml true 67.06 38.10 None chl-file-item-subst.wvr.line517.yml true 193.52 103.90 None chl-file-item-subst.wvr.line518.yml true 166.94 92.05 None chl-file-item-subst.wvr.line529.yml true 171.44 95.76 None chl-file-item-subst.wvr.line530.yml true 172.34 95.26 None chl-file-item-symm.wvr.line331.yml true 5.92 4.12 None chl-file-item-symm.wvr.line332.yml true 6.28 4.45 None chl-file-item-symm.wvr.line346.yml true 7.35 4.74 None chl-file-item-symm.wvr.line347.yml true 5.59 4.01 None chl-file-item-symm.wvr.line358.yml true 9.33 5.72 None chl-file-item-symm.wvr.line359.yml true 7.66 5.08 None chl-file-item-symm.wvr.line370.yml true 11.10 6.57 None chl-file-item-symm.wvr.line371.yml true 9.08 6.06 None chl-file-item-trans.wvr.line463.yml true 11.61 6.95 None chl-file-item-trans.wvr.line464.yml true 9.95 6.40 None chl-file-item-trans.wvr.line478.yml true 9.63 6.18 None chl-file-item-trans.wvr.line479.yml true 12.23 7.37 None chl-file-item-trans.wvr.line493.yml true 10.81 7.65 None chl-file-item-trans.wvr.line494.yml true 10.93 6.85 None chl-file-item-trans.wvr.line505.yml true 84.23 46.89 None chl-file-item-trans.wvr.line506.yml true 86.31 47.70 None chl-file-item-trans.wvr.line517.yml true 159.62 91.32 None chl-file-item-trans.wvr.line518.yml true 146.43 80.07 None chl-file-item-trans.wvr.line529.yml true 193.50 104.27 None chl-file-item-trans.wvr.line530.yml true 197.86 106.28 None chl-match-subst.wvr.line535.yml true 12.27 7.73 None chl-match-subst.wvr.line536.yml true 14.52 8.54 None chl-match-subst.wvr.line550.yml true 11.22 7.20 None chl-match-subst.wvr.line551.yml true 15.11 8.81 None chl-match-subst.wvr.line565.yml true 15.79 9.60 None chl-match-subst.wvr.line566.yml true 14.43 9.15 None chl-match-subst.wvr.line577.yml true 258.84 140.81 None chl-match-subst.wvr.line578.yml true 308.33 165.31 None chl-match-subst.wvr.line589.yml OUT OF MEMORY 491.95 255.79 None chl-match-subst.wvr.line590.yml OUT OF MEMORY 438.48 224.76 None chl-match-subst.wvr.line601.yml OUT OF MEMORY 442.80 226.73 None chl-match-subst.wvr.line602.yml OUT OF MEMORY 619.06 314.36 None chl-match-symm.wvr.line379.yml true 6.32 4.80 None chl-match-symm.wvr.line380.yml true 7.13 5.53 None chl-match-symm.wvr.line394.yml true 6.12 4.85 None chl-match-symm.wvr.line395.yml true 6.12 4.13 None chl-match-symm.wvr.line406.yml true 8.42 5.63 None chl-match-symm.wvr.line407.yml true 8.37 5.37 None chl-match-symm.wvr.line418.yml true 11.12 7.17 None chl-match-symm.wvr.line419.yml true 11.64 6.92 None chl-match-trans.wvr.line535.yml true 11.50 8.00 None chl-match-trans.wvr.line536.yml true 13.00 8.04 None chl-match-trans.wvr.line550.yml true 10.93 6.89 None chl-match-trans.wvr.line551.yml true 13.20 8.17 None chl-match-trans.wvr.line565.yml true 13.74 9.03 None chl-match-trans.wvr.line566.yml true 14.77 9.48 None chl-match-trans.wvr.line577.yml true 244.29 131.73 None chl-match-trans.wvr.line578.yml true 237.10 127.00 None chl-match-trans.wvr.line589.yml OUT OF MEMORY 502.55 258.89 None chl-match-trans.wvr.line590.yml OUT OF MEMORY 421.01 219.42 None chl-match-trans.wvr.line601.yml OUT OF MEMORY 418.06 226.04 None chl-match-trans.wvr.line602.yml OUT OF MEMORY 574.79 293.39 None chl-nzb-file-subst.wvr.line1339.yml true 58.68 34.77 None chl-nzb-file-subst.wvr.line1340.yml true 79.06 46.03 None chl-nzb-file-subst.wvr.line139.yml OUT OF MEMORY 689.69 410.11 None chl-nzb-file-subst.wvr.line140.yml OUT OF MEMORY 746.15 420.11 None chl-nzb-file-subst.wvr.line1406.yml true 61.48 36.61 None chl-nzb-file-subst.wvr.line1407.yml true 85.75 48.36 None chl-nzb-file-subst.wvr.line1473.yml true 62.30 39.16 None chl-nzb-file-subst.wvr.line1474.yml true 68.84 39.89 None chl-nzb-file-subst.wvr.line1498.yml true 61.49 36.24 None chl-nzb-file-subst.wvr.line1499.yml true 77.64 44.19 None chl-nzb-file-subst.wvr.line151.yml OUT OF MEMORY 718.84 425.59 None chl-nzb-file-subst.wvr.line1513.yml true 64.54 39.04 None chl-nzb-file-subst.wvr.line1514.yml true 63.82 37.51 None chl-nzb-file-subst.wvr.line152.yml OUT OF MEMORY 550.82 320.40 None chl-nzb-file-subst.wvr.line1528.yml true 105.47 61.75 None chl-nzb-file-subst.wvr.line1529.yml true 109.76 65.92 None chl-nzb-file-subst.wvr.line1540.yml OUT OF MEMORY 625.55 324.06 None chl-nzb-file-subst.wvr.line1541.yml OUT OF MEMORY 471.12 249.61 None chl-nzb-file-subst.wvr.line1552.yml OUT OF MEMORY 470.25 245.73 None chl-nzb-file-subst.wvr.line1553.yml OUT OF MEMORY 581.77 319.54 None chl-nzb-file-subst.wvr.line1564.yml OUT OF MEMORY 461.61 248.89 None chl-nzb-file-subst.wvr.line1565.yml OUT OF MEMORY 371.63 206.77 None chl-nzb-file-subst.wvr.line173.yml OUT OF MEMORY 568.42 308.36 None chl-nzb-file-subst.wvr.line174.yml OUT OF MEMORY 730.67 431.90 None chl-nzb-file-subst.wvr.line185.yml OUT OF MEMORY 641.85 339.76 None chl-nzb-file-subst.wvr.line186.yml OUT OF MEMORY 764.79 430.15 None chl-nzb-file-subst.wvr.line209.yml OUT OF MEMORY 436.79 238.64 None chl-nzb-file-subst.wvr.line210.yml OUT OF MEMORY 703.61 402.89 None chl-nzb-file-subst.wvr.line232.yml OUT OF MEMORY 531.40 287.67 None chl-nzb-file-subst.wvr.line233.yml OUT OF MEMORY 672.91 397.05 None chl-nzb-file-subst.wvr.line255.yml OUT OF MEMORY 526.46 294.67 None chl-nzb-file-subst.wvr.line256.yml OUT OF MEMORY 836.67 470.26 None chl-nzb-file-subst.wvr.line278.yml OUT OF MEMORY 407.53 221.34 None chl-nzb-file-subst.wvr.line279.yml OUT OF MEMORY 770.84 438.47 None chl-nzb-file-subst.wvr.line482.yml OUT OF MEMORY 731.70 426.22 None chl-nzb-file-subst.wvr.line483.yml OUT OF MEMORY 736.19 432.91 None chl-nzb-file-subst.wvr.line494.yml OUT OF MEMORY 606.33 326.91 None chl-nzb-file-subst.wvr.line495.yml OUT OF MEMORY 817.75 459.39 None chl-nzb-file-subst.wvr.line516.yml OUT OF MEMORY 520.63 280.59 None chl-nzb-file-subst.wvr.line517.yml OUT OF MEMORY 752.48 438.22 None chl-nzb-file-subst.wvr.line528.yml OUT OF MEMORY 458.68 247.26 None chl-nzb-file-subst.wvr.line529.yml OUT OF MEMORY 677.61 392.86 None chl-nzb-file-subst.wvr.line552.yml OUT OF MEMORY 663.64 352.22 None chl-nzb-file-subst.wvr.line553.yml OUT OF MEMORY 675.62 417.36 None chl-nzb-file-subst.wvr.line575.yml OUT OF MEMORY 541.18 292.82 None chl-nzb-file-subst.wvr.line576.yml OUT OF MEMORY 706.09 420.50 None chl-nzb-file-subst.wvr.line598.yml OUT OF MEMORY 603.43 328.36 None chl-nzb-file-subst.wvr.line599.yml OUT OF MEMORY 818.39 465.57 None chl-nzb-file-subst.wvr.line621.yml OUT OF MEMORY 481.13 258.49 None chl-nzb-file-subst.wvr.line622.yml OUT OF MEMORY 773.73 441.24 None chl-nzb-file-subst.wvr.line825.yml OUT OF MEMORY 680.49 396.83 None chl-nzb-file-subst.wvr.line826.yml OUT OF MEMORY 738.51 428.20 None chl-nzb-file-subst.wvr.line837.yml OUT OF MEMORY 583.47 319.27 None chl-nzb-file-subst.wvr.line838.yml OUT OF MEMORY 817.78 463.61 None chl-nzb-file-subst.wvr.line859.yml OUT OF MEMORY 629.86 334.04 None chl-nzb-file-subst.wvr.line860.yml OUT OF MEMORY 754.83 448.57 None chl-nzb-file-subst.wvr.line871.yml OUT OF MEMORY 436.34 237.53 None chl-nzb-file-subst.wvr.line872.yml OUT OF MEMORY 740.40 428.30 None chl-nzb-file-subst.wvr.line895.yml OUT OF MEMORY 463.94 269.44 None chl-nzb-file-subst.wvr.line896.yml OUT OF MEMORY 608.12 352.55 None chl-nzb-file-subst.wvr.line918.yml OUT OF MEMORY 552.89 302.49 None chl-nzb-file-subst.wvr.line919.yml OUT OF MEMORY 683.84 409.08 None chl-nzb-file-subst.wvr.line941.yml OUT OF MEMORY 575.65 312.91 None chl-nzb-file-subst.wvr.line942.yml OUT OF MEMORY 627.24 367.04 None chl-nzb-file-subst.wvr.line964.yml OUT OF MEMORY 497.21 269.31 None chl-nzb-file-subst.wvr.line965.yml OUT OF MEMORY 782.32 444.10 None chl-nzb-file-symm.wvr.line1004.yml true 7.72 5.42 None chl-nzb-file-symm.wvr.line1005.yml true 18.06 10.99 None chl-nzb-file-symm.wvr.line1029.yml true 11.07 6.81 None chl-nzb-file-symm.wvr.line1030.yml true 15.06 8.84 None chl-nzb-file-symm.wvr.line1044.yml true 11.34 7.23 None chl-nzb-file-symm.wvr.line1045.yml true 15.85 9.02 None chl-nzb-file-symm.wvr.line1056.yml true 35.27 19.70 None chl-nzb-file-symm.wvr.line1057.yml true 34.09 20.93 None chl-nzb-file-symm.wvr.line1068.yml true 68.17 37.02 None chl-nzb-file-symm.wvr.line1069.yml true 77.69 43.42 None chl-nzb-file-symm.wvr.line123.yml true 46.93 28.79 None chl-nzb-file-symm.wvr.line124.yml OUT OF MEMORY 424.57 265.24 None chl-nzb-file-symm.wvr.line135.yml true 47.26 26.86 None chl-nzb-file-symm.wvr.line136.yml true 387.68 229.83 None chl-nzb-file-symm.wvr.line157.yml true 61.02 34.63 None chl-nzb-file-symm.wvr.line158.yml true 205.14 117.11 None chl-nzb-file-symm.wvr.line169.yml true 133.18 78.84 None chl-nzb-file-symm.wvr.line170.yml true 424.80 257.26 None chl-nzb-file-symm.wvr.line193.yml true 60.30 34.61 None chl-nzb-file-symm.wvr.line194.yml true 465.03 276.20 None chl-nzb-file-symm.wvr.line216.yml true 65.44 36.78 None chl-nzb-file-symm.wvr.line217.yml true 497.33 293.32 None chl-nzb-file-symm.wvr.line239.yml true 41.39 24.49 None chl-nzb-file-symm.wvr.line240.yml true 475.18 299.39 None chl-nzb-file-symm.wvr.line262.yml true 48.86 27.64 None chl-nzb-file-symm.wvr.line263.yml true 565.97 328.32 None chl-nzb-file-symm.wvr.line466.yml true 50.89 28.46 None chl-nzb-file-symm.wvr.line467.yml true 539.30 319.53 None chl-nzb-file-symm.wvr.line478.yml true 60.60 34.22 None chl-nzb-file-symm.wvr.line479.yml OUT OF MEMORY 655.39 377.39 None chl-nzb-file-symm.wvr.line500.yml true 65.85 36.54 None chl-nzb-file-symm.wvr.line501.yml true 435.03 247.73 None chl-nzb-file-symm.wvr.line512.yml true 265.96 164.34 None chl-nzb-file-symm.wvr.line513.yml TIMEOUT 901.41 543.27 None chl-nzb-file-symm.wvr.line536.yml true 41.36 24.40 None chl-nzb-file-symm.wvr.line537.yml OUT OF MEMORY 295.65 194.12 None chl-nzb-file-symm.wvr.line559.yml true 43.22 25.25 None chl-nzb-file-symm.wvr.line560.yml true 405.44 246.29 None chl-nzb-file-symm.wvr.line582.yml true 316.26 201.33 None chl-nzb-file-symm.wvr.line583.yml TIMEOUT 902.68 547.58 None chl-nzb-file-symm.wvr.line605.yml true 184.17 111.47 None chl-nzb-file-symm.wvr.line606.yml OUT OF MEMORY 417.66 241.51 None chl-nzb-file-symm.wvr.line937.yml true 9.47 5.82 None chl-nzb-file-symm.wvr.line938.yml true 17.95 10.19 None chl-nzb-file-trans.wvr.line1339.yml true 72.41 41.35 None chl-nzb-file-trans.wvr.line1340.yml true 69.44 41.08 None chl-nzb-file-trans.wvr.line139.yml OUT OF MEMORY 755.38 441.39 None chl-nzb-file-trans.wvr.line140.yml OUT OF MEMORY 791.80 447.01 None chl-nzb-file-trans.wvr.line1406.yml true 62.98 37.92 None chl-nzb-file-trans.wvr.line1407.yml true 87.42 49.19 None chl-nzb-file-trans.wvr.line1473.yml true 59.83 39.21 None chl-nzb-file-trans.wvr.line1474.yml true 93.72 52.53 None chl-nzb-file-trans.wvr.line1498.yml true 65.07 39.95 None chl-nzb-file-trans.wvr.line1499.yml true 68.24 41.75 None chl-nzb-file-trans.wvr.line151.yml OUT OF MEMORY 838.80 474.41 None chl-nzb-file-trans.wvr.line1513.yml true 62.96 37.14 None chl-nzb-file-trans.wvr.line1514.yml true 66.78 42.37 None chl-nzb-file-trans.wvr.line152.yml OUT OF MEMORY 762.06 433.11 None chl-nzb-file-trans.wvr.line1528.yml true 104.25 61.40 None chl-nzb-file-trans.wvr.line1529.yml true 110.46 65.98 None chl-nzb-file-trans.wvr.line1540.yml OUT OF MEMORY 655.44 337.47 None chl-nzb-file-trans.wvr.line1541.yml OUT OF MEMORY 475.31 254.49 None chl-nzb-file-trans.wvr.line1552.yml OUT OF MEMORY 451.15 235.29 None chl-nzb-file-trans.wvr.line1553.yml OUT OF MEMORY 574.04 322.21 None chl-nzb-file-trans.wvr.line1564.yml OUT OF MEMORY 491.48 256.78 None chl-nzb-file-trans.wvr.line1565.yml OUT OF MEMORY 513.05 284.18 None chl-nzb-file-trans.wvr.line173.yml OUT OF MEMORY 529.15 285.97 None chl-nzb-file-trans.wvr.line174.yml OUT OF MEMORY 620.63 360.27 None chl-nzb-file-trans.wvr.line185.yml OUT OF MEMORY 440.80 238.33 None chl-nzb-file-trans.wvr.line186.yml OUT OF MEMORY 688.91 408.19 None chl-nzb-file-trans.wvr.line209.yml OUT OF MEMORY 544.15 296.59 None chl-nzb-file-trans.wvr.line210.yml OUT OF MEMORY 627.01 366.78 None chl-nzb-file-trans.wvr.line232.yml OUT OF MEMORY 662.13 351.09 None chl-nzb-file-trans.wvr.line233.yml OUT OF MEMORY 650.09 398.87 None chl-nzb-file-trans.wvr.line255.yml OUT OF MEMORY 445.97 244.64 None chl-nzb-file-trans.wvr.line256.yml OUT OF MEMORY 681.54 402.16 None chl-nzb-file-trans.wvr.line278.yml OUT OF MEMORY 497.32 271.91 None chl-nzb-file-trans.wvr.line279.yml OUT OF MEMORY 689.02 404.66 None chl-nzb-file-trans.wvr.line482.yml OUT OF MEMORY 812.23 458.09 None chl-nzb-file-trans.wvr.line483.yml OUT OF MEMORY 807.40 459.71 None chl-nzb-file-trans.wvr.line494.yml OUT OF MEMORY 607.78 323.08 None chl-nzb-file-trans.wvr.line495.yml OUT OF MEMORY 612.59 354.02 None chl-nzb-file-trans.wvr.line516.yml OUT OF MEMORY 541.22 289.76 None chl-nzb-file-trans.wvr.line517.yml OUT OF MEMORY 743.38 436.83 None chl-nzb-file-trans.wvr.line528.yml OUT OF MEMORY 598.73 325.70 None chl-nzb-file-trans.wvr.line529.yml OUT OF MEMORY 725.81 419.54 None chl-nzb-file-trans.wvr.line552.yml OUT OF MEMORY 481.20 261.06 None chl-nzb-file-trans.wvr.line553.yml OUT OF MEMORY 696.10 407.02 None chl-nzb-file-trans.wvr.line575.yml OUT OF MEMORY 646.37 342.95 None chl-nzb-file-trans.wvr.line576.yml OUT OF MEMORY 746.54 465.59 None chl-nzb-file-trans.wvr.line598.yml OUT OF MEMORY 558.42 305.16 None chl-nzb-file-trans.wvr.line599.yml OUT OF MEMORY 705.27 412.18 None chl-nzb-file-trans.wvr.line621.yml OUT OF MEMORY 703.66 371.38 None chl-nzb-file-trans.wvr.line622.yml OUT OF MEMORY 654.77 384.15 None chl-nzb-file-trans.wvr.line825.yml OUT OF MEMORY 669.19 387.32 None chl-nzb-file-trans.wvr.line826.yml OUT OF MEMORY 870.47 486.48 None chl-nzb-file-trans.wvr.line837.yml OUT OF MEMORY 654.44 348.21 None chl-nzb-file-trans.wvr.line838.yml OUT OF MEMORY 649.50 382.36 None chl-nzb-file-trans.wvr.line859.yml OUT OF MEMORY 458.50 249.52 None chl-nzb-file-trans.wvr.line860.yml OUT OF MEMORY 724.85 420.40 None chl-nzb-file-trans.wvr.line871.yml OUT OF MEMORY 629.01 333.08 None chl-nzb-file-trans.wvr.line872.yml OUT OF MEMORY 695.85 407.48 None chl-nzb-file-trans.wvr.line895.yml OUT OF MEMORY 567.64 306.24 None chl-nzb-file-trans.wvr.line896.yml OUT OF MEMORY 660.14 395.06 None chl-nzb-file-trans.wvr.line918.yml OUT OF MEMORY 625.82 332.76 None chl-nzb-file-trans.wvr.line919.yml OUT OF MEMORY 585.50 343.00 None chl-nzb-file-trans.wvr.line941.yml OUT OF MEMORY 454.99 246.70 None chl-nzb-file-trans.wvr.line942.yml OUT OF MEMORY 668.16 400.50 None chl-nzb-file-trans.wvr.line964.yml OUT OF MEMORY 460.35 247.91 None chl-nzb-file-trans.wvr.line965.yml OUT OF MEMORY 591.45 354.39 None chl-simpl-str-subst.wvr.line385.yml true 10.42 6.35 None chl-simpl-str-subst.wvr.line386.yml true 11.24 6.86 None chl-simpl-str-subst.wvr.line400.yml true 10.76 6.64 None chl-simpl-str-subst.wvr.line401.yml true 11.10 6.75 None chl-simpl-str-subst.wvr.line415.yml true 12.58 7.48 None chl-simpl-str-subst.wvr.line416.yml true 12.23 7.40 None chl-simpl-str-subst.wvr.line427.yml true 45.83 25.43 None chl-simpl-str-subst.wvr.line428.yml true 43.12 24.62 None chl-simpl-str-subst.wvr.line439.yml true 74.38 45.99 None chl-simpl-str-subst.wvr.line440.yml true 87.47 48.24 None chl-simpl-str-subst.wvr.line451.yml true 91.48 49.99 None chl-simpl-str-subst.wvr.line452.yml true 72.21 43.98 None chl-simpl-str-symm.wvr.line279.yml true 7.60 4.85 None chl-simpl-str-symm.wvr.line280.yml true 7.95 5.17 None chl-simpl-str-symm.wvr.line294.yml true 6.39 4.56 None chl-simpl-str-symm.wvr.line295.yml true 7.55 5.03 None chl-simpl-str-symm.wvr.line306.yml true 9.14 5.61 None chl-simpl-str-symm.wvr.line307.yml true 7.89 5.49 None chl-simpl-str-symm.wvr.line318.yml true 9.78 5.99 None chl-simpl-str-symm.wvr.line319.yml true 9.81 5.94 None chl-simpl-str-trans.wvr.line385.yml true 10.59 6.48 None chl-simpl-str-trans.wvr.line386.yml true 8.94 6.32 None ---------------------------------------------------------------------------------------------------- Run set 1 done 90580.53 3796.42 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk27 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 ---------------------------------------------------------------------------------------------------- chl-collitem-symm.wvr.line536.yml true 6.85 4.92 None chl-collitem-symm.wvr.line537.yml true 6.72 4.87 None chl-collitem-symm.wvr.line548.yml true 15.16 8.67 None chl-collitem-symm.wvr.line549.yml true 12.53 7.63 None chl-collitem-symm.wvr.line560.yml true 19.45 13.24 None chl-collitem-symm.wvr.line561.yml true 18.85 12.96 None chl-collitem-trans.wvr.line736.yml true 21.39 12.93 None chl-collitem-trans.wvr.line737.yml true 22.39 13.60 None chl-collitem-trans.wvr.line751.yml true 22.76 13.62 None chl-collitem-trans.wvr.line752.yml true 19.64 12.05 None chl-collitem-trans.wvr.line766.yml true 28.40 18.50 None chl-collitem-trans.wvr.line767.yml true 25.00 16.70 None chl-collitem-trans.wvr.line778.yml OUT OF MEMORY 394.17 210.04 None chl-collitem-trans.wvr.line779.yml OUT OF MEMORY 451.65 232.09 None chl-collitem-trans.wvr.line790.yml OUT OF MEMORY 440.95 229.69 None chl-collitem-trans.wvr.line791.yml OUT OF MEMORY 284.52 151.59 None chl-collitem-trans.wvr.line802.yml OUT OF MEMORY 289.42 153.35 None chl-collitem-trans.wvr.line803.yml OUT OF MEMORY 445.13 230.17 None chl-exp-term-subst.wvr.line382.yml true 8.61 5.63 None chl-exp-term-subst.wvr.line383.yml true 11.48 6.86 None chl-exp-term-subst.wvr.line397.yml true 8.64 6.53 None chl-exp-term-subst.wvr.line398.yml true 8.93 5.77 None chl-exp-term-subst.wvr.line412.yml true 12.37 7.40 None chl-exp-term-subst.wvr.line413.yml true 12.57 7.65 None chl-exp-term-subst.wvr.line424.yml true 34.16 20.06 None chl-exp-term-subst.wvr.line425.yml true 34.94 20.20 None chl-exp-term-subst.wvr.line436.yml true 72.51 41.48 None chl-exp-term-subst.wvr.line437.yml true 70.20 42.37 None chl-exp-term-subst.wvr.line448.yml true 70.48 44.63 None chl-exp-term-subst.wvr.line449.yml true 87.26 48.01 None chl-exp-term-symm.wvr.line277.yml true 7.66 4.85 None chl-exp-term-symm.wvr.line278.yml true 8.30 5.28 None chl-exp-term-symm.wvr.line292.yml true 7.73 4.92 None chl-exp-term-symm.wvr.line293.yml true 7.82 4.95 None chl-exp-term-symm.wvr.line304.yml true 8.75 5.47 None chl-exp-term-symm.wvr.line305.yml true 9.25 5.62 None chl-exp-term-symm.wvr.line316.yml true 8.42 5.33 None chl-exp-term-symm.wvr.line317.yml true 10.18 6.08 None chl-file-item-subst.wvr.line463.yml true 12.54 7.37 None chl-file-item-subst.wvr.line464.yml true 10.95 6.91 None chl-file-item-subst.wvr.line478.yml true 9.97 6.34 None chl-file-item-subst.wvr.line479.yml true 12.57 7.56 None chl-file-item-subst.wvr.line493.yml true 11.78 7.36 None chl-file-item-subst.wvr.line494.yml true 15.70 9.03 None chl-file-item-subst.wvr.line505.yml true 74.71 42.56 None chl-file-item-subst.wvr.line506.yml true 87.78 48.71 None chl-file-item-subst.wvr.line517.yml true 176.20 95.36 None chl-file-item-subst.wvr.line518.yml true 221.69 118.78 None chl-file-item-subst.wvr.line529.yml true 186.13 101.05 None chl-file-item-subst.wvr.line530.yml true 181.55 98.77 None chl-file-item-symm.wvr.line331.yml true 6.01 4.80 None chl-file-item-symm.wvr.line332.yml true 8.15 5.13 None chl-file-item-symm.wvr.line346.yml true 6.41 4.73 None chl-file-item-symm.wvr.line347.yml true 7.80 5.02 None chl-file-item-symm.wvr.line358.yml true 8.15 5.76 None chl-file-item-symm.wvr.line359.yml true 10.22 6.03 None chl-file-item-symm.wvr.line370.yml true 9.20 5.85 None chl-file-item-symm.wvr.line371.yml true 11.60 6.79 None chl-file-item-trans.wvr.line463.yml true 10.02 7.23 None chl-file-item-trans.wvr.line464.yml true 10.15 6.95 None chl-file-item-trans.wvr.line478.yml true 11.74 7.19 None chl-file-item-trans.wvr.line479.yml true 9.51 6.30 None chl-file-item-trans.wvr.line493.yml true 11.25 7.24 None chl-file-item-trans.wvr.line494.yml true 16.45 9.33 None chl-file-item-trans.wvr.line505.yml true 93.37 51.49 None chl-file-item-trans.wvr.line506.yml true 71.50 43.58 None chl-file-item-trans.wvr.line517.yml true 180.71 99.50 None chl-file-item-trans.wvr.line518.yml true 220.93 118.33 None chl-file-item-trans.wvr.line529.yml true 177.92 100.32 None chl-file-item-trans.wvr.line530.yml true 177.89 96.03 None chl-match-subst.wvr.line535.yml true 14.30 8.54 None chl-match-subst.wvr.line536.yml true 11.55 7.71 None chl-match-subst.wvr.line550.yml true 10.92 7.40 None chl-match-subst.wvr.line551.yml true 16.53 9.17 None chl-match-subst.wvr.line565.yml true 14.05 8.92 None chl-match-subst.wvr.line566.yml true 14.95 9.86 None chl-match-subst.wvr.line577.yml true 212.37 116.46 None chl-match-subst.wvr.line578.yml true 214.26 115.04 None chl-match-subst.wvr.line589.yml OUT OF MEMORY 437.26 225.56 None chl-match-subst.wvr.line590.yml OUT OF MEMORY 587.00 302.16 None chl-match-subst.wvr.line601.yml OUT OF MEMORY 464.00 242.37 None chl-match-subst.wvr.line602.yml OUT OF MEMORY 588.68 300.59 None chl-match-symm.wvr.line379.yml true 6.49 4.77 None chl-match-symm.wvr.line380.yml true 6.70 4.65 None chl-match-symm.wvr.line394.yml true 6.59 4.72 None chl-match-symm.wvr.line395.yml true 6.61 4.57 None chl-match-symm.wvr.line406.yml true 9.56 5.71 None chl-match-symm.wvr.line407.yml true 9.46 5.85 None chl-match-symm.wvr.line418.yml true 11.97 7.81 None chl-match-symm.wvr.line419.yml true 11.54 7.10 None chl-match-trans.wvr.line535.yml true 14.20 8.50 None chl-match-trans.wvr.line536.yml true 12.66 8.34 None chl-match-trans.wvr.line550.yml true 11.94 7.22 None chl-match-trans.wvr.line551.yml true 13.87 8.26 None chl-match-trans.wvr.line565.yml true 14.76 9.73 None chl-match-trans.wvr.line566.yml true 18.11 10.74 None chl-match-trans.wvr.line577.yml true 273.56 144.81 None chl-match-trans.wvr.line578.yml true 218.35 116.45 None chl-match-trans.wvr.line589.yml OUT OF MEMORY 408.82 210.99 None chl-match-trans.wvr.line590.yml OUT OF MEMORY 456.65 239.45 None chl-match-trans.wvr.line601.yml OUT OF MEMORY 452.42 236.50 None chl-match-trans.wvr.line602.yml OUT OF MEMORY 444.62 229.19 None chl-nzb-file-subst.wvr.line1339.yml true 54.88 36.49 None chl-nzb-file-subst.wvr.line1340.yml true 75.87 43.65 None chl-nzb-file-subst.wvr.line139.yml OUT OF MEMORY 602.61 368.28 None chl-nzb-file-subst.wvr.line140.yml OUT OF MEMORY 618.11 394.83 None chl-nzb-file-subst.wvr.line1406.yml true 56.98 34.19 None chl-nzb-file-subst.wvr.line1407.yml true 78.90 45.50 None chl-nzb-file-subst.wvr.line1473.yml true 57.03 36.75 None chl-nzb-file-subst.wvr.line1474.yml true 81.80 47.62 None chl-nzb-file-subst.wvr.line1498.yml true 59.71 37.21 None chl-nzb-file-subst.wvr.line1499.yml true 60.14 36.72 None chl-nzb-file-subst.wvr.line151.yml OUT OF MEMORY 764.22 444.21 None chl-nzb-file-subst.wvr.line1513.yml true 71.36 41.55 None chl-nzb-file-subst.wvr.line1514.yml true 62.85 39.08 None chl-nzb-file-subst.wvr.line152.yml OUT OF MEMORY 648.48 407.83 None chl-nzb-file-subst.wvr.line1528.yml true 94.07 57.29 None chl-nzb-file-subst.wvr.line1529.yml true 102.41 63.51 None chl-nzb-file-subst.wvr.line1540.yml OUT OF MEMORY 600.86 310.66 None chl-nzb-file-subst.wvr.line1541.yml OUT OF MEMORY 506.29 271.48 None chl-nzb-file-subst.wvr.line1552.yml OUT OF MEMORY 419.91 221.18 None chl-nzb-file-subst.wvr.line1553.yml OUT OF MEMORY 405.09 225.70 None chl-nzb-file-subst.wvr.line1564.yml OUT OF MEMORY 512.81 268.22 None chl-nzb-file-subst.wvr.line1565.yml OUT OF MEMORY 415.15 229.18 None chl-nzb-file-subst.wvr.line173.yml OUT OF MEMORY 618.40 330.83 None chl-nzb-file-subst.wvr.line174.yml OUT OF MEMORY 779.72 481.61 None chl-nzb-file-subst.wvr.line185.yml OUT OF MEMORY 521.86 286.21 None chl-nzb-file-subst.wvr.line186.yml OUT OF MEMORY 687.23 416.83 None chl-nzb-file-subst.wvr.line209.yml OUT OF MEMORY 356.40 205.42 None chl-nzb-file-subst.wvr.line210.yml OUT OF MEMORY 662.37 390.93 None chl-nzb-file-subst.wvr.line232.yml OUT OF MEMORY 530.40 299.97 None chl-nzb-file-subst.wvr.line233.yml OUT OF MEMORY 584.45 358.07 None chl-nzb-file-subst.wvr.line255.yml OUT OF MEMORY 503.06 278.57 None chl-nzb-file-subst.wvr.line256.yml OUT OF MEMORY 611.98 376.38 None chl-nzb-file-subst.wvr.line278.yml OUT OF MEMORY 627.77 336.76 None chl-nzb-file-subst.wvr.line279.yml OUT OF MEMORY 737.63 431.12 None chl-nzb-file-subst.wvr.line482.yml OUT OF MEMORY 678.67 414.25 None chl-nzb-file-subst.wvr.line483.yml OUT OF MEMORY 738.19 453.91 None chl-nzb-file-subst.wvr.line494.yml OUT OF MEMORY 666.68 353.60 None chl-nzb-file-subst.wvr.line495.yml OUT OF MEMORY 818.50 479.87 None chl-nzb-file-subst.wvr.line516.yml OUT OF MEMORY 519.65 284.21 None chl-nzb-file-subst.wvr.line517.yml OUT OF MEMORY 576.39 349.63 None chl-nzb-file-subst.wvr.line528.yml OUT OF MEMORY 545.69 299.81 None chl-nzb-file-subst.wvr.line529.yml OUT OF MEMORY 651.30 416.53 None chl-nzb-file-subst.wvr.line552.yml OUT OF MEMORY 521.48 287.94 None chl-nzb-file-subst.wvr.line553.yml OUT OF MEMORY 560.81 338.06 None chl-nzb-file-subst.wvr.line575.yml OUT OF MEMORY 478.70 259.51 None chl-nzb-file-subst.wvr.line576.yml OUT OF MEMORY 699.22 405.16 None chl-nzb-file-subst.wvr.line598.yml OUT OF MEMORY 514.95 280.43 None chl-nzb-file-subst.wvr.line599.yml OUT OF MEMORY 592.99 364.57 None chl-nzb-file-subst.wvr.line621.yml OUT OF MEMORY 625.95 336.58 None chl-nzb-file-subst.wvr.line622.yml OUT OF MEMORY 732.45 432.56 None chl-nzb-file-subst.wvr.line825.yml OUT OF MEMORY 695.13 417.69 None chl-nzb-file-subst.wvr.line826.yml OUT OF MEMORY 671.21 410.57 None chl-nzb-file-subst.wvr.line837.yml OUT OF MEMORY 359.31 211.31 None chl-nzb-file-subst.wvr.line838.yml OUT OF MEMORY 663.94 409.74 None chl-nzb-file-subst.wvr.line859.yml OUT OF MEMORY 513.55 280.58 None chl-nzb-file-subst.wvr.line860.yml TIMEOUT 900.06 526.28 None chl-nzb-file-subst.wvr.line871.yml OUT OF MEMORY 416.71 229.07 None chl-nzb-file-subst.wvr.line872.yml OUT OF MEMORY 608.18 367.08 None chl-nzb-file-subst.wvr.line895.yml OUT OF MEMORY 438.28 243.90 None chl-nzb-file-subst.wvr.line896.yml OUT OF MEMORY 627.43 388.23 None chl-nzb-file-subst.wvr.line918.yml OUT OF MEMORY 582.11 320.58 None chl-nzb-file-subst.wvr.line919.yml OUT OF MEMORY 720.23 424.21 None chl-nzb-file-subst.wvr.line941.yml OUT OF MEMORY 634.53 337.72 None chl-nzb-file-subst.wvr.line942.yml OUT OF MEMORY 613.78 376.43 None chl-nzb-file-subst.wvr.line964.yml OUT OF MEMORY 548.79 297.71 None chl-nzb-file-subst.wvr.line965.yml OUT OF MEMORY 594.35 359.95 None chl-nzb-file-symm.wvr.line1004.yml true 8.40 5.62 None chl-nzb-file-symm.wvr.line1005.yml true 23.69 13.31 None chl-nzb-file-symm.wvr.line1029.yml true 11.91 7.78 None chl-nzb-file-symm.wvr.line1030.yml true 12.49 7.63 None chl-nzb-file-symm.wvr.line1044.yml true 15.05 8.77 None chl-nzb-file-symm.wvr.line1045.yml true 13.86 8.24 None chl-nzb-file-symm.wvr.line1056.yml true 28.86 18.29 None chl-nzb-file-symm.wvr.line1057.yml true 41.30 23.55 None chl-nzb-file-symm.wvr.line1068.yml true 55.62 31.68 None chl-nzb-file-symm.wvr.line1069.yml true 63.80 38.21 None chl-nzb-file-symm.wvr.line123.yml true 56.93 33.10 None chl-nzb-file-symm.wvr.line124.yml true 500.66 309.04 None chl-nzb-file-symm.wvr.line135.yml true 40.54 23.88 None chl-nzb-file-symm.wvr.line136.yml true 388.29 232.65 None chl-nzb-file-symm.wvr.line157.yml true 48.63 30.38 None chl-nzb-file-symm.wvr.line158.yml true 173.93 105.09 None chl-nzb-file-symm.wvr.line169.yml true 117.97 72.30 None chl-nzb-file-symm.wvr.line170.yml true 396.54 242.15 None chl-nzb-file-symm.wvr.line193.yml true 52.40 30.20 None chl-nzb-file-symm.wvr.line194.yml true 528.06 314.73 None chl-nzb-file-symm.wvr.line216.yml true 51.25 30.09 None chl-nzb-file-symm.wvr.line217.yml true 436.78 283.99 None chl-nzb-file-symm.wvr.line239.yml true 41.12 26.22 None chl-nzb-file-symm.wvr.line240.yml OUT OF MEMORY 380.71 242.54 None chl-nzb-file-symm.wvr.line262.yml true 42.56 24.65 None chl-nzb-file-symm.wvr.line263.yml true 453.60 280.83 None chl-nzb-file-symm.wvr.line466.yml true 41.33 24.34 None chl-nzb-file-symm.wvr.line467.yml true 592.21 345.84 None chl-nzb-file-symm.wvr.line478.yml true 58.06 33.54 None chl-nzb-file-symm.wvr.line479.yml OUT OF MEMORY 693.91 404.09 None chl-nzb-file-symm.wvr.line500.yml true 52.36 31.32 None chl-nzb-file-symm.wvr.line501.yml true 426.18 244.52 None chl-nzb-file-symm.wvr.line512.yml true 214.38 145.81 None chl-nzb-file-symm.wvr.line513.yml TIMEOUT 902.15 559.14 None chl-nzb-file-symm.wvr.line536.yml true 43.03 26.01 None chl-nzb-file-symm.wvr.line537.yml OUT OF MEMORY 385.54 231.61 None chl-nzb-file-symm.wvr.line559.yml true 40.39 23.64 None chl-nzb-file-symm.wvr.line560.yml OUT OF MEMORY 334.12 211.26 None chl-nzb-file-symm.wvr.line582.yml true 273.90 183.43 None chl-nzb-file-symm.wvr.line583.yml OUT OF MEMORY 140.13 94.71 None chl-nzb-file-symm.wvr.line605.yml true 151.23 97.39 None chl-nzb-file-symm.wvr.line606.yml OUT OF MEMORY 211.13 129.17 None chl-nzb-file-symm.wvr.line937.yml true 8.14 5.23 None chl-nzb-file-symm.wvr.line938.yml true 15.27 8.92 None chl-nzb-file-trans.wvr.line1339.yml true 57.14 34.05 None chl-nzb-file-trans.wvr.line1340.yml true 63.63 39.16 None chl-nzb-file-trans.wvr.line139.yml OUT OF MEMORY 665.19 402.49 None chl-nzb-file-trans.wvr.line140.yml OUT OF MEMORY 617.49 390.44 None chl-nzb-file-trans.wvr.line1406.yml true 67.16 39.10 None chl-nzb-file-trans.wvr.line1407.yml true 68.68 40.27 None chl-nzb-file-trans.wvr.line1473.yml true 58.24 35.96 None chl-nzb-file-trans.wvr.line1474.yml true 71.55 43.31 None chl-nzb-file-trans.wvr.line1498.yml true 77.25 43.87 None chl-nzb-file-trans.wvr.line1499.yml true 78.80 44.57 None chl-nzb-file-trans.wvr.line151.yml OUT OF MEMORY 626.94 376.02 None chl-nzb-file-trans.wvr.line1513.yml true 62.06 36.60 None chl-nzb-file-trans.wvr.line1514.yml true 64.22 37.95 None chl-nzb-file-trans.wvr.line152.yml OUT OF MEMORY 768.21 448.65 None chl-nzb-file-trans.wvr.line1528.yml true 103.38 62.55 None chl-nzb-file-trans.wvr.line1529.yml true 104.66 64.00 None chl-nzb-file-trans.wvr.line1540.yml OUT OF MEMORY 625.03 324.03 None chl-nzb-file-trans.wvr.line1541.yml OUT OF MEMORY 508.17 272.02 None chl-nzb-file-trans.wvr.line1552.yml OUT OF MEMORY 525.45 273.64 None chl-nzb-file-trans.wvr.line1553.yml OUT OF MEMORY 457.75 251.85 None chl-nzb-file-trans.wvr.line1564.yml OUT OF MEMORY 454.59 241.61 None chl-nzb-file-trans.wvr.line1565.yml OUT OF MEMORY 564.47 303.56 None chl-nzb-file-trans.wvr.line173.yml OUT OF MEMORY 491.37 275.21 None chl-nzb-file-trans.wvr.line174.yml OUT OF MEMORY 679.70 416.54 None chl-nzb-file-trans.wvr.line185.yml OUT OF MEMORY 448.63 248.86 None chl-nzb-file-trans.wvr.line186.yml OUT OF MEMORY 591.06 359.25 None chl-nzb-file-trans.wvr.line209.yml OUT OF MEMORY 477.84 261.51 None chl-nzb-file-trans.wvr.line210.yml OUT OF MEMORY 590.87 354.16 None chl-nzb-file-trans.wvr.line232.yml OUT OF MEMORY 672.75 358.69 None chl-nzb-file-trans.wvr.line233.yml OUT OF MEMORY 562.30 347.91 None chl-nzb-file-trans.wvr.line255.yml OUT OF MEMORY 522.11 301.27 None chl-nzb-file-trans.wvr.line256.yml OUT OF MEMORY 636.22 390.06 None chl-nzb-file-trans.wvr.line278.yml OUT OF MEMORY 544.77 301.10 None chl-nzb-file-trans.wvr.line279.yml OUT OF MEMORY 727.41 427.24 None chl-nzb-file-trans.wvr.line482.yml OUT OF MEMORY 785.48 455.16 None chl-nzb-file-trans.wvr.line483.yml OUT OF MEMORY 644.60 396.45 None chl-nzb-file-trans.wvr.line494.yml OUT OF MEMORY 494.05 268.16 None chl-nzb-file-trans.wvr.line495.yml OUT OF MEMORY 763.43 445.82 None chl-nzb-file-trans.wvr.line516.yml OUT OF MEMORY 585.85 320.57 None chl-nzb-file-trans.wvr.line517.yml OUT OF MEMORY 639.82 387.75 None chl-nzb-file-trans.wvr.line528.yml OUT OF MEMORY 430.01 255.92 None chl-nzb-file-trans.wvr.line529.yml OUT OF MEMORY 623.91 378.41 None chl-nzb-file-trans.wvr.line552.yml OUT OF MEMORY 480.80 262.56 None chl-nzb-file-trans.wvr.line553.yml OUT OF MEMORY 663.80 400.96 None chl-nzb-file-trans.wvr.line575.yml OUT OF MEMORY 595.06 321.61 None chl-nzb-file-trans.wvr.line576.yml OUT OF MEMORY 633.93 385.31 None chl-nzb-file-trans.wvr.line598.yml OUT OF MEMORY 685.29 363.82 None chl-nzb-file-trans.wvr.line599.yml OUT OF MEMORY 715.63 434.49 None chl-nzb-file-trans.wvr.line621.yml OUT OF MEMORY 526.45 288.52 None chl-nzb-file-trans.wvr.line622.yml OUT OF MEMORY 732.43 429.30 None chl-nzb-file-trans.wvr.line825.yml OUT OF MEMORY 783.02 459.09 None chl-nzb-file-trans.wvr.line826.yml OUT OF MEMORY 645.97 392.46 None chl-nzb-file-trans.wvr.line837.yml OUT OF MEMORY 462.60 258.02 None chl-nzb-file-trans.wvr.line838.yml OUT OF MEMORY 611.78 380.11 None chl-nzb-file-trans.wvr.line859.yml OUT OF MEMORY 653.46 349.40 None chl-nzb-file-trans.wvr.line860.yml OUT OF MEMORY 636.17 385.50 None chl-nzb-file-trans.wvr.line871.yml OUT OF MEMORY 509.91 277.08 None chl-nzb-file-trans.wvr.line872.yml OUT OF MEMORY 609.95 378.30 None chl-nzb-file-trans.wvr.line895.yml OUT OF MEMORY 640.54 341.56 None chl-nzb-file-trans.wvr.line896.yml OUT OF MEMORY 616.53 379.67 None chl-nzb-file-trans.wvr.line918.yml OUT OF MEMORY 451.65 248.88 None chl-nzb-file-trans.wvr.line919.yml OUT OF MEMORY 595.67 390.89 None chl-nzb-file-trans.wvr.line941.yml OUT OF MEMORY 500.39 359.63 None chl-nzb-file-trans.wvr.line942.yml OUT OF MEMORY 599.86 370.90 None chl-nzb-file-trans.wvr.line964.yml OUT OF MEMORY 538.07 306.61 None chl-nzb-file-trans.wvr.line965.yml TIMEOUT 902.76 572.66 None chl-simpl-str-subst.wvr.line385.yml true 11.74 6.99 None chl-simpl-str-subst.wvr.line386.yml true 9.32 6.25 None chl-simpl-str-subst.wvr.line400.yml true 11.22 9.06 None chl-simpl-str-subst.wvr.line401.yml true 9.64 6.95 None chl-simpl-str-subst.wvr.line415.yml true 10.28 8.30 None chl-simpl-str-subst.wvr.line416.yml true 14.15 10.35 None chl-simpl-str-subst.wvr.line427.yml true 42.33 27.26 None chl-simpl-str-subst.wvr.line428.yml true 36.65 24.79 None chl-simpl-str-subst.wvr.line439.yml true 71.27 52.20 None chl-simpl-str-subst.wvr.line440.yml true 92.45 61.51 None chl-simpl-str-subst.wvr.line451.yml true 93.96 67.98 None chl-simpl-str-subst.wvr.line452.yml true 78.61 44.87 None chl-simpl-str-symm.wvr.line279.yml true 6.39 5.13 None chl-simpl-str-symm.wvr.line280.yml true 6.92 6.35 None chl-simpl-str-symm.wvr.line294.yml true 6.25 4.86 None chl-simpl-str-symm.wvr.line295.yml true 7.31 4.96 None chl-simpl-str-symm.wvr.line306.yml true 8.02 6.84 None chl-simpl-str-symm.wvr.line307.yml true 8.52 5.60 None chl-simpl-str-symm.wvr.line318.yml true 8.41 6.01 None chl-simpl-str-symm.wvr.line319.yml true 9.45 6.04 None chl-simpl-str-trans.wvr.line385.yml true 8.87 9.43 None chl-simpl-str-trans.wvr.line386.yml true 9.64 7.78 None ---------------------------------------------------------------------------------------------------- Run set 2 done 85691.17 3911.37 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk27 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 ---------------------------------------------------------------------------------------------------- chl-collitem-symm.wvr.line536.yml true 7.23 4.97 None chl-collitem-symm.wvr.line537.yml true 6.84 5.30 None chl-collitem-symm.wvr.line548.yml true 24.70 13.15 None chl-collitem-symm.wvr.line549.yml true 18.24 10.73 None chl-collitem-symm.wvr.line560.yml true 26.73 17.30 None chl-collitem-symm.wvr.line561.yml true 26.52 18.46 None chl-collitem-trans.wvr.line736.yml true 33.24 19.77 None chl-collitem-trans.wvr.line737.yml true 33.64 20.43 None chl-collitem-trans.wvr.line751.yml true 36.18 22.00 None chl-collitem-trans.wvr.line752.yml true 27.81 17.38 None chl-collitem-trans.wvr.line766.yml true 37.98 25.28 None chl-collitem-trans.wvr.line767.yml true 39.69 26.39 None chl-collitem-trans.wvr.line778.yml OUT OF MEMORY 609.88 320.85 None chl-collitem-trans.wvr.line779.yml OUT OF MEMORY 604.72 398.40 None chl-collitem-trans.wvr.line790.yml OUT OF MEMORY 409.17 213.93 None chl-collitem-trans.wvr.line791.yml OUT OF MEMORY 353.70 185.34 None chl-collitem-trans.wvr.line802.yml OUT OF MEMORY 347.26 179.54 None chl-collitem-trans.wvr.line803.yml OUT OF MEMORY 572.05 292.24 None chl-exp-term-subst.wvr.line382.yml true 9.81 6.50 None chl-exp-term-subst.wvr.line383.yml true 10.68 6.85 None chl-exp-term-subst.wvr.line397.yml true 9.91 6.70 None chl-exp-term-subst.wvr.line398.yml true 13.58 8.01 None chl-exp-term-subst.wvr.line412.yml true 14.19 8.38 None chl-exp-term-subst.wvr.line413.yml true 15.40 8.84 None chl-exp-term-subst.wvr.line424.yml true 51.73 33.43 None chl-exp-term-subst.wvr.line425.yml true 51.43 31.21 None chl-exp-term-subst.wvr.line436.yml true 116.83 71.15 None chl-exp-term-subst.wvr.line437.yml true 107.05 64.05 None chl-exp-term-subst.wvr.line448.yml true 113.81 68.90 None chl-exp-term-subst.wvr.line449.yml true 135.18 76.41 None chl-exp-term-symm.wvr.line277.yml true 7.79 4.93 None chl-exp-term-symm.wvr.line278.yml true 8.07 5.08 None chl-exp-term-symm.wvr.line292.yml true 7.78 5.04 None chl-exp-term-symm.wvr.line293.yml true 7.94 4.97 None chl-exp-term-symm.wvr.line304.yml true 10.25 6.05 None chl-exp-term-symm.wvr.line305.yml true 10.18 6.18 None chl-exp-term-symm.wvr.line316.yml true 12.12 7.10 None chl-exp-term-symm.wvr.line317.yml true 12.61 7.41 None chl-file-item-subst.wvr.line463.yml true 14.74 8.96 None chl-file-item-subst.wvr.line464.yml true 17.67 9.63 None chl-file-item-subst.wvr.line478.yml true 12.97 7.56 None chl-file-item-subst.wvr.line479.yml true 12.83 8.01 None chl-file-item-subst.wvr.line493.yml true 19.70 11.13 None chl-file-item-subst.wvr.line494.yml true 15.96 9.49 None chl-file-item-subst.wvr.line505.yml true 146.07 92.12 None chl-file-item-subst.wvr.line506.yml true 124.29 74.73 None chl-file-item-subst.wvr.line517.yml true 332.02 183.08 None chl-file-item-subst.wvr.line518.yml true 400.83 275.08 None chl-file-item-subst.wvr.line529.yml true 325.77 285.41 None chl-file-item-subst.wvr.line530.yml OUT OF MEMORY 321.40 169.73 None chl-file-item-symm.wvr.line331.yml true 6.78 4.48 None chl-file-item-symm.wvr.line332.yml true 7.55 5.06 None chl-file-item-symm.wvr.line346.yml true 8.11 5.09 None chl-file-item-symm.wvr.line347.yml true 7.32 5.43 None chl-file-item-symm.wvr.line358.yml true 11.69 6.80 None chl-file-item-symm.wvr.line359.yml true 10.91 6.81 None chl-file-item-symm.wvr.line370.yml true 15.85 11.44 None chl-file-item-symm.wvr.line371.yml true 15.23 8.62 None chl-file-item-trans.wvr.line463.yml true 16.50 9.79 None chl-file-item-trans.wvr.line464.yml true 16.69 12.24 None chl-file-item-trans.wvr.line478.yml true 13.83 9.15 None chl-file-item-trans.wvr.line479.yml true 13.25 9.18 None chl-file-item-trans.wvr.line493.yml true 19.88 13.38 None chl-file-item-trans.wvr.line494.yml true 15.61 10.03 None chl-file-item-trans.wvr.line505.yml true 121.06 71.94 None chl-file-item-trans.wvr.line506.yml true 146.10 95.51 None chl-file-item-trans.wvr.line517.yml true 407.71 275.53 None chl-file-item-trans.wvr.line518.yml true 348.48 195.75 None chl-file-item-trans.wvr.line529.yml true 313.17 165.90 None chl-file-item-trans.wvr.line530.yml OUT OF MEMORY 313.19 163.88 None chl-match-subst.wvr.line535.yml true 15.85 9.87 None chl-match-subst.wvr.line536.yml true 16.33 10.29 None chl-match-subst.wvr.line550.yml true 15.72 10.40 None chl-match-subst.wvr.line551.yml true 16.32 11.33 None chl-match-subst.wvr.line565.yml true 19.27 12.74 None chl-match-subst.wvr.line566.yml true 21.86 13.60 None chl-match-subst.wvr.line577.yml OUT OF MEMORY 537.65 298.87 None chl-match-subst.wvr.line578.yml OUT OF MEMORY 387.56 199.57 None chl-match-subst.wvr.line589.yml OUT OF MEMORY 653.37 330.72 None chl-match-subst.wvr.line590.yml OUT OF MEMORY 628.89 342.54 None chl-match-subst.wvr.line601.yml OUT OF MEMORY 638.69 324.69 None chl-match-subst.wvr.line602.yml TIMEOUT 904.38 455.70 None chl-match-symm.wvr.line379.yml true 6.61 5.06 None chl-match-symm.wvr.line380.yml true 6.92 4.86 None chl-match-symm.wvr.line394.yml true 7.44 5.43 None chl-match-symm.wvr.line395.yml true 7.20 4.85 None chl-match-symm.wvr.line406.yml true 12.01 8.20 None chl-match-symm.wvr.line407.yml true 14.55 13.10 None chl-match-symm.wvr.line418.yml true 16.22 11.87 None chl-match-symm.wvr.line419.yml true 20.32 11.77 None chl-match-trans.wvr.line535.yml true 15.82 11.78 None chl-match-trans.wvr.line536.yml true 16.03 10.32 None chl-match-trans.wvr.line550.yml true 21.49 19.29 None chl-match-trans.wvr.line551.yml true 16.37 11.68 None chl-match-trans.wvr.line565.yml true 24.12 14.82 None chl-match-trans.wvr.line566.yml true 20.45 14.33 None chl-match-trans.wvr.line577.yml OUT OF MEMORY 377.14 193.68 None chl-match-trans.wvr.line578.yml true 424.25 223.39 None chl-match-trans.wvr.line589.yml OUT OF MEMORY 628.67 478.95 None chl-match-trans.wvr.line590.yml OUT OF MEMORY 541.73 279.96 None chl-match-trans.wvr.line601.yml OUT OF MEMORY 677.65 367.27 None chl-match-trans.wvr.line602.yml OUT OF MEMORY 828.31 512.70 None chl-nzb-file-subst.wvr.line1339.yml true 89.86 64.40 None chl-nzb-file-subst.wvr.line1340.yml true 122.00 78.38 None chl-nzb-file-subst.wvr.line139.yml OUT OF MEMORY 772.58 472.59 None chl-nzb-file-subst.wvr.line140.yml OUT OF MEMORY 372.46 272.19 None chl-nzb-file-subst.wvr.line1406.yml true 119.13 103.60 None chl-nzb-file-subst.wvr.line1407.yml true 131.04 94.20 None chl-nzb-file-subst.wvr.line1473.yml true 91.38 56.38 None chl-nzb-file-subst.wvr.line1474.yml true 114.66 69.43 None chl-nzb-file-subst.wvr.line1498.yml true 100.86 63.79 None chl-nzb-file-subst.wvr.line1499.yml true 99.12 62.47 None chl-nzb-file-subst.wvr.line151.yml OUT OF MEMORY 303.22 186.25 None chl-nzb-file-subst.wvr.line1513.yml true 121.58 74.57 None chl-nzb-file-subst.wvr.line1514.yml true 97.35 59.69 None chl-nzb-file-subst.wvr.line152.yml TIMEOUT 902.57 549.81 None chl-nzb-file-subst.wvr.line1528.yml true 164.27 103.61 None chl-nzb-file-subst.wvr.line1529.yml true 169.75 107.32 None chl-nzb-file-subst.wvr.line1540.yml OUT OF MEMORY 700.02 360.97 None chl-nzb-file-subst.wvr.line1541.yml OUT OF MEMORY 771.12 396.04 None chl-nzb-file-subst.wvr.line1552.yml OUT OF MEMORY 610.11 316.35 None chl-nzb-file-subst.wvr.line1553.yml TIMEOUT 904.63 513.37 None chl-nzb-file-subst.wvr.line1564.yml OUT OF MEMORY 613.64 340.50 None chl-nzb-file-subst.wvr.line1565.yml OUT OF MEMORY 833.08 460.71 None chl-nzb-file-subst.wvr.line173.yml OUT OF MEMORY 640.81 352.93 None chl-nzb-file-subst.wvr.line174.yml TIMEOUT 902.63 531.99 None chl-nzb-file-subst.wvr.line185.yml OUT OF MEMORY 415.00 241.75 None chl-nzb-file-subst.wvr.line186.yml OUT OF MEMORY 243.83 142.71 None chl-nzb-file-subst.wvr.line209.yml OUT OF MEMORY 231.30 135.76 None chl-nzb-file-subst.wvr.line210.yml TIMEOUT 902.54 528.07 None chl-nzb-file-subst.wvr.line232.yml OUT OF MEMORY 829.19 447.40 None chl-nzb-file-subst.wvr.line233.yml OUT OF MEMORY 230.74 133.53 None chl-nzb-file-subst.wvr.line255.yml OUT OF MEMORY 680.25 376.27 None chl-nzb-file-subst.wvr.line256.yml OUT OF MEMORY 532.57 310.56 None chl-nzb-file-subst.wvr.line278.yml OUT OF MEMORY 684.57 373.05 None chl-nzb-file-subst.wvr.line279.yml OUT OF MEMORY 772.24 471.10 None chl-nzb-file-subst.wvr.line482.yml OUT OF MEMORY 762.61 473.10 None chl-nzb-file-subst.wvr.line483.yml OUT OF MEMORY 788.09 482.82 None chl-nzb-file-subst.wvr.line494.yml OUT OF MEMORY 611.37 333.22 None chl-nzb-file-subst.wvr.line495.yml OUT OF MEMORY 440.16 258.98 None chl-nzb-file-subst.wvr.line516.yml OUT OF MEMORY 893.38 477.65 None chl-nzb-file-subst.wvr.line517.yml TIMEOUT 902.08 536.29 None chl-nzb-file-subst.wvr.line528.yml OUT OF MEMORY 251.40 143.13 None chl-nzb-file-subst.wvr.line529.yml OUT OF MEMORY 676.00 384.87 None chl-nzb-file-subst.wvr.line552.yml OUT OF MEMORY 688.86 375.20 None chl-nzb-file-subst.wvr.line553.yml OUT OF MEMORY 742.97 449.01 None chl-nzb-file-subst.wvr.line575.yml OUT OF MEMORY 666.21 379.25 None chl-nzb-file-subst.wvr.line576.yml OUT OF MEMORY 765.48 462.87 None chl-nzb-file-subst.wvr.line598.yml OUT OF MEMORY 228.51 128.50 None chl-nzb-file-subst.wvr.line599.yml TIMEOUT 901.70 552.78 None chl-nzb-file-subst.wvr.line621.yml OUT OF MEMORY 598.27 328.35 None chl-nzb-file-subst.wvr.line622.yml TIMEOUT 901.56 517.44 None chl-nzb-file-subst.wvr.line825.yml OUT OF MEMORY 763.71 468.76 None chl-nzb-file-subst.wvr.line826.yml OUT OF MEMORY 379.63 224.25 None chl-nzb-file-subst.wvr.line837.yml OUT OF MEMORY 656.64 362.43 None chl-nzb-file-subst.wvr.line838.yml OUT OF MEMORY 784.32 478.26 None chl-nzb-file-subst.wvr.line859.yml OUT OF MEMORY 850.60 457.94 None chl-nzb-file-subst.wvr.line860.yml OUT OF MEMORY 371.13 214.92 None chl-nzb-file-subst.wvr.line871.yml OUT OF MEMORY 678.68 372.55 None chl-nzb-file-subst.wvr.line872.yml TIMEOUT 901.32 538.67 None chl-nzb-file-subst.wvr.line895.yml OUT OF MEMORY 192.82 109.10 None chl-nzb-file-subst.wvr.line896.yml TIMEOUT 901.90 533.80 None chl-nzb-file-subst.wvr.line918.yml OUT OF MEMORY 762.53 420.82 None chl-nzb-file-subst.wvr.line919.yml OUT OF MEMORY 768.36 475.40 None chl-nzb-file-subst.wvr.line941.yml OUT OF MEMORY 653.62 360.31 None chl-nzb-file-subst.wvr.line942.yml OUT OF MEMORY 715.36 435.62 None chl-nzb-file-subst.wvr.line964.yml OUT OF MEMORY 746.79 410.68 None chl-nzb-file-subst.wvr.line965.yml TIMEOUT 902.08 533.11 None chl-nzb-file-symm.wvr.line1004.yml true 8.38 5.30 None chl-nzb-file-symm.wvr.line1005.yml true 19.22 11.02 None chl-nzb-file-symm.wvr.line1029.yml true 14.46 8.39 None chl-nzb-file-symm.wvr.line1030.yml true 16.28 9.17 None chl-nzb-file-symm.wvr.line1044.yml true 13.38 7.75 None chl-nzb-file-symm.wvr.line1045.yml true 13.54 8.00 None chl-nzb-file-symm.wvr.line1056.yml true 53.62 30.20 None chl-nzb-file-symm.wvr.line1057.yml true 47.15 29.82 None chl-nzb-file-symm.wvr.line1068.yml true 80.85 47.81 None chl-nzb-file-symm.wvr.line1069.yml true 114.79 66.60 None chl-nzb-file-symm.wvr.line123.yml true 66.60 43.57 None chl-nzb-file-symm.wvr.line124.yml TIMEOUT 903.28 504.40 None chl-nzb-file-symm.wvr.line135.yml true 57.48 36.93 None chl-nzb-file-symm.wvr.line136.yml OUT OF MEMORY 632.67 350.73 None chl-nzb-file-symm.wvr.line157.yml true 74.79 46.91 None chl-nzb-file-symm.wvr.line158.yml true 383.53 231.12 None chl-nzb-file-symm.wvr.line169.yml true 209.31 139.03 None chl-nzb-file-symm.wvr.line170.yml OUT OF MEMORY 649.30 361.61 None chl-nzb-file-symm.wvr.line193.yml true 92.10 55.52 None chl-nzb-file-symm.wvr.line194.yml OUT OF MEMORY 380.81 259.83 None chl-nzb-file-symm.wvr.line216.yml true 92.94 56.39 None chl-nzb-file-symm.wvr.line217.yml OUT OF MEMORY 307.98 194.24 None chl-nzb-file-symm.wvr.line239.yml true 61.65 38.21 None chl-nzb-file-symm.wvr.line240.yml TIMEOUT 901.30 578.28 None chl-nzb-file-symm.wvr.line262.yml true 70.29 41.65 None chl-nzb-file-symm.wvr.line263.yml TIMEOUT 902.99 542.78 None chl-nzb-file-symm.wvr.line466.yml true 73.32 43.66 None chl-nzb-file-symm.wvr.line467.yml TIMEOUT 902.48 504.85 None chl-nzb-file-symm.wvr.line478.yml true 69.24 42.82 None chl-nzb-file-symm.wvr.line479.yml TIMEOUT 920.16 501.70 None chl-nzb-file-symm.wvr.line500.yml true 97.96 58.34 None chl-nzb-file-symm.wvr.line501.yml true 693.56 420.65 None chl-nzb-file-symm.wvr.line512.yml true 535.21 345.15 None chl-nzb-file-symm.wvr.line513.yml TIMEOUT 902.42 526.64 None chl-nzb-file-symm.wvr.line536.yml true 77.03 45.26 None chl-nzb-file-symm.wvr.line537.yml TIMEOUT 901.45 541.09 None chl-nzb-file-symm.wvr.line559.yml true 63.42 38.13 None chl-nzb-file-symm.wvr.line560.yml TIMEOUT 902.71 529.08 None chl-nzb-file-symm.wvr.line582.yml true 862.91 553.95 None chl-nzb-file-symm.wvr.line583.yml TIMEOUT 903.18 556.53 None chl-nzb-file-symm.wvr.line605.yml true 353.14 225.41 None chl-nzb-file-symm.wvr.line606.yml TIMEOUT 903.69 499.83 None chl-nzb-file-symm.wvr.line937.yml true 8.47 5.35 None chl-nzb-file-symm.wvr.line938.yml true 16.09 9.12 None chl-nzb-file-trans.wvr.line1339.yml true 91.79 55.84 None chl-nzb-file-trans.wvr.line1340.yml true 99.27 60.62 None chl-nzb-file-trans.wvr.line139.yml OUT OF MEMORY 733.28 449.60 None chl-nzb-file-trans.wvr.line140.yml TIMEOUT 902.23 532.57 None chl-nzb-file-trans.wvr.line1406.yml true 109.62 65.00 None chl-nzb-file-trans.wvr.line1407.yml true 103.94 65.82 None chl-nzb-file-trans.wvr.line1473.yml true 113.88 66.81 None chl-nzb-file-trans.wvr.line1474.yml true 109.13 67.19 None chl-nzb-file-trans.wvr.line1498.yml true 115.94 68.39 None chl-nzb-file-trans.wvr.line1499.yml true 97.45 59.85 None chl-nzb-file-trans.wvr.line151.yml OUT OF MEMORY 892.71 528.95 None chl-nzb-file-trans.wvr.line1513.yml true 102.37 63.79 None chl-nzb-file-trans.wvr.line1514.yml true 100.84 63.52 None chl-nzb-file-trans.wvr.line152.yml OUT OF MEMORY 376.41 227.18 None chl-nzb-file-trans.wvr.line1528.yml true 159.64 102.57 None chl-nzb-file-trans.wvr.line1529.yml true 155.55 96.91 None chl-nzb-file-trans.wvr.line1540.yml OUT OF MEMORY 858.09 435.99 None chl-nzb-file-trans.wvr.line1541.yml OUT OF MEMORY 746.32 384.50 None chl-nzb-file-trans.wvr.line1552.yml OUT OF MEMORY 723.01 375.25 None chl-nzb-file-trans.wvr.line1553.yml TIMEOUT 921.36 507.31 None chl-nzb-file-trans.wvr.line1564.yml OUT OF MEMORY 707.55 369.97 None chl-nzb-file-trans.wvr.line1565.yml OUT OF MEMORY 506.40 287.96 None chl-nzb-file-trans.wvr.line173.yml OUT OF MEMORY 775.02 428.81 None chl-nzb-file-trans.wvr.line174.yml OUT OF MEMORY 394.08 229.16 None chl-nzb-file-trans.wvr.line185.yml OUT OF MEMORY 467.66 265.22 None chl-nzb-file-trans.wvr.line186.yml OUT OF MEMORY 246.19 143.50 None chl-nzb-file-trans.wvr.line209.yml OUT OF MEMORY 241.27 141.77 None chl-nzb-file-trans.wvr.line210.yml OUT OF MEMORY 204.07 117.54 None chl-nzb-file-trans.wvr.line232.yml OUT OF MEMORY 768.89 431.26 None chl-nzb-file-trans.wvr.line233.yml TIMEOUT 902.40 533.25 None chl-nzb-file-trans.wvr.line255.yml OUT OF MEMORY 288.28 172.31 None chl-nzb-file-trans.wvr.line256.yml OUT OF MEMORY 535.07 312.80 None chl-nzb-file-trans.wvr.line278.yml OUT OF MEMORY 724.53 398.57 None chl-nzb-file-trans.wvr.line279.yml OUT OF MEMORY 702.42 423.86 None chl-nzb-file-trans.wvr.line482.yml OUT OF MEMORY 816.34 489.57 None chl-nzb-file-trans.wvr.line483.yml OUT OF MEMORY 806.75 490.65 None chl-nzb-file-trans.wvr.line494.yml OUT OF MEMORY 398.07 232.17 None chl-nzb-file-trans.wvr.line495.yml OUT OF MEMORY 363.91 209.85 None chl-nzb-file-trans.wvr.line516.yml OUT OF MEMORY 226.53 127.96 None chl-nzb-file-trans.wvr.line517.yml TIMEOUT 902.15 531.39 None chl-nzb-file-trans.wvr.line528.yml OUT OF MEMORY 440.97 252.00 None chl-nzb-file-trans.wvr.line529.yml TIMEOUT 900.91 554.78 None chl-nzb-file-trans.wvr.line552.yml OUT OF MEMORY 697.71 383.58 None chl-nzb-file-trans.wvr.line553.yml OUT OF MEMORY 886.47 521.02 None chl-nzb-file-trans.wvr.line575.yml OUT OF MEMORY 773.07 421.73 None chl-nzb-file-trans.wvr.line576.yml OUT OF MEMORY 891.99 527.26 None chl-nzb-file-trans.wvr.line598.yml OUT OF MEMORY 333.40 196.56 None chl-nzb-file-trans.wvr.line599.yml OUT OF MEMORY 296.57 178.92 None chl-nzb-file-trans.wvr.line621.yml OUT OF MEMORY 675.56 370.35 None chl-nzb-file-trans.wvr.line622.yml OUT OF MEMORY 720.99 434.14 None chl-nzb-file-trans.wvr.line825.yml OUT OF MEMORY 518.29 302.92 None chl-nzb-file-trans.wvr.line826.yml TIMEOUT 901.07 532.38 None chl-nzb-file-trans.wvr.line837.yml OUT OF MEMORY 292.70 173.53 None chl-nzb-file-trans.wvr.line838.yml OUT OF MEMORY 416.52 241.67 None chl-nzb-file-trans.wvr.line859.yml OUT OF MEMORY 292.16 175.75 None chl-nzb-file-trans.wvr.line860.yml OUT OF MEMORY 763.54 465.37 None chl-nzb-file-trans.wvr.line871.yml OUT OF MEMORY 164.05 97.06 None chl-nzb-file-trans.wvr.line872.yml OUT OF MEMORY 854.44 500.60 None chl-nzb-file-trans.wvr.line895.yml OUT OF MEMORY 605.57 336.00 None chl-nzb-file-trans.wvr.line896.yml OUT OF MEMORY 698.11 424.02 None chl-nzb-file-trans.wvr.line918.yml OUT OF MEMORY 753.34 410.08 None chl-nzb-file-trans.wvr.line919.yml OUT OF MEMORY 717.85 447.10 None chl-nzb-file-trans.wvr.line941.yml OUT OF MEMORY 705.27 385.80 None chl-nzb-file-trans.wvr.line942.yml OUT OF MEMORY 387.42 222.85 None chl-nzb-file-trans.wvr.line964.yml OUT OF MEMORY 423.55 239.62 None chl-nzb-file-trans.wvr.line965.yml OUT OF MEMORY 677.13 409.74 None chl-simpl-str-subst.wvr.line385.yml true 10.57 6.84 None chl-simpl-str-subst.wvr.line386.yml true 11.22 7.07 None chl-simpl-str-subst.wvr.line400.yml true 10.79 6.82 None chl-simpl-str-subst.wvr.line401.yml true 10.63 6.72 None chl-simpl-str-subst.wvr.line415.yml true 11.80 7.20 None chl-simpl-str-subst.wvr.line416.yml true 12.76 7.43 None chl-simpl-str-subst.wvr.line427.yml true 63.51 37.35 None chl-simpl-str-subst.wvr.line428.yml true 53.51 32.06 None chl-simpl-str-subst.wvr.line439.yml true 114.26 68.90 None chl-simpl-str-subst.wvr.line440.yml true 114.81 66.61 None chl-simpl-str-subst.wvr.line451.yml true 133.02 76.58 None chl-simpl-str-subst.wvr.line452.yml true 113.48 68.29 None chl-simpl-str-symm.wvr.line279.yml true 6.41 4.29 None chl-simpl-str-symm.wvr.line280.yml true 7.01 4.58 None chl-simpl-str-symm.wvr.line294.yml true 6.52 4.38 None chl-simpl-str-symm.wvr.line295.yml true 8.14 5.15 None chl-simpl-str-symm.wvr.line306.yml true 8.42 5.16 None chl-simpl-str-symm.wvr.line307.yml true 10.05 6.06 None chl-simpl-str-symm.wvr.line318.yml true 10.88 6.23 None chl-simpl-str-symm.wvr.line319.yml true 11.92 7.01 None chl-simpl-str-trans.wvr.line385.yml true 10.09 6.36 None chl-simpl-str-trans.wvr.line386.yml true 13.27 7.99 None ---------------------------------------------------------------------------------------------------- Run set 3 done 102566.95 4389.26 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk27 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk27 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk27 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk27 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk27 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk27 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk27 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk27 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk27 Run set 19 of 19: skipped Statistics: 900 Files correct: 502 correct true: 502 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 398 Score: 1004 (max: 1800)