BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk11, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk11, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk11 date: Fri, 2022-10-21 03:21:38 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-chunk11 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 ---------------------------------------------------------------------------------------------------------------------- ring_2w1r-1.line836.yml false(unreach-call) 7.42 5.62 None ring_2w1r-1.line837.yml false(unreach-call) 8.10 5.36 None ring_2w1r-1.line879.yml TIMEOUT 902.83 545.40 None ring_2w1r-1.line880.yml TIMEOUT 902.11 510.70 None ring_2w1r-1.line889.yml TIMEOUT 901.42 585.54 None ring_2w1r-1.line890.yml OUT OF MEMORY 707.48 409.93 None ring_2w1r-1.line908.yml TIMEOUT 901.12 546.82 None ring_2w1r-1.line909.yml TIMEOUT 902.13 501.97 None ring_2w1r-1.line919.yml TIMEOUT 901.65 540.84 None ring_2w1r-1.line920.yml OUT OF MEMORY 210.69 153.86 None ring_2w1r-1.line929.yml TIMEOUT 901.29 579.29 None ring_2w1r-1.line930.yml OUT OF MEMORY 865.72 485.78 None ring_2w1r-1.line940.yml TIMEOUT 908.65 573.47 None ring_2w1r-1.line941.yml OUT OF MEMORY 755.14 436.51 None ring_2w1r-1.line965.yml OUT OF MEMORY 205.86 150.85 None ring_2w1r-1.line966.yml OUT OF MEMORY 701.34 392.50 None ring_2w1r-1.line977.yml TIMEOUT 901.93 517.41 None ring_2w1r-1.line978.yml TIMEOUT 902.18 527.04 None ring_2w1r-2.line308.yml true 435.87 243.48 None ring_2w1r-2.line309.yml true 421.46 233.81 None ring_2w1r-2.line318.yml true 407.71 223.42 None ring_2w1r-2.line319.yml true 414.39 225.86 None ring_2w1r-2.line346.yml true 538.21 290.70 None ring_2w1r-2.line347.yml true 443.07 242.12 None ring_2w1r-2.line356.yml true 540.47 291.90 None ring_2w1r-2.line357.yml false(unreach-call) 36.76 20.58 None ring_2w1r-2.line369.yml true 529.81 286.47 None ring_2w1r-2.line370.yml true 557.82 299.61 None ring_2w1r-2.line380.yml true 480.18 260.71 None ring_2w1r-2.line381.yml true 469.85 257.27 None ring_2w1r-2.line404.yml true 469.43 265.95 None ring_2w1r-2.line405.yml true 535.35 295.15 None ring_2w1r-2.line416.yml true 483.77 269.48 None ring_2w1r-2.line417.yml true 489.28 268.85 None ring_2w1r-2.line433.yml true 391.31 214.08 None ring_2w1r-2.line434.yml TIMEOUT 902.31 531.68 None ring_2w1r-2.line447.yml true 392.58 217.31 None ring_2w1r-2.line448.yml TIMEOUT 902.31 529.49 None ring_2w1r-2.line524.yml TIMEOUT 900.70 590.68 None ring_2w1r-2.line525.yml TIMEOUT 903.14 540.36 None ring_2w1r-2.line534.yml TIMEOUT 902.63 517.47 None ring_2w1r-2.line535.yml TIMEOUT 903.26 537.13 None ring_2w1r-2.line553.yml TIMEOUT 902.15 540.48 None ring_2w1r-2.line554.yml TIMEOUT 903.23 574.39 None ring_2w1r-2.line564.yml TIMEOUT 902.60 521.59 None ring_2w1r-2.line565.yml OUT OF MEMORY 193.75 141.72 None ring_2w1r-2.line574.yml TIMEOUT 901.91 540.30 None ring_2w1r-2.line575.yml TIMEOUT 903.11 551.22 None ring_2w1r-2.line585.yml OUT OF MEMORY 890.45 539.36 None ring_2w1r-2.line586.yml TIMEOUT 902.48 520.55 None ring_2w1r-2.line749.yml true 7.76 5.06 None ring_2w1r-2.line750.yml true 7.98 5.17 None ring_2w1r-2.line759.yml true 7.63 4.98 None ring_2w1r-2.line760.yml true 8.77 5.31 None ring_2w1r-2.line773.yml true 7.66 5.04 None ring_2w1r-2.line774.yml true 9.00 5.79 None ring_2w1r-2.line788.yml false(unreach-call) 8.00 4.78 None ring_2w1r-2.line789.yml false(unreach-call) 8.62 5.00 None ring_2w1r-2.line820.yml TIMEOUT 902.13 530.89 None ring_2w1r-2.line821.yml TIMEOUT 901.55 511.74 None ring_2w1r-2.line830.yml TIMEOUT 902.87 539.56 None ring_2w1r-2.line831.yml OUT OF MEMORY 869.39 486.19 None ring_2w1r-2.line849.yml TIMEOUT 903.20 559.40 None ring_2w1r-2.line850.yml TIMEOUT 903.32 502.91 None ring_2w1r-2.line860.yml TIMEOUT 903.97 540.64 None ring_2w1r-2.line861.yml TIMEOUT 900.60 550.60 None ring_2w1r-2.line870.yml TIMEOUT 900.61 539.09 None ring_2w1r-2.line871.yml TIMEOUT 903.73 523.46 None ring_2w1r-2.line881.yml TIMEOUT 902.14 563.32 None ring_2w1r-2.line882.yml TIMEOUT 907.34 523.62 None ring_2w1r-2.line905.yml OUT OF MEMORY 533.64 397.23 None ring_2w1r-2.line906.yml OUT OF MEMORY 206.78 132.07 None ring_2w1r-2.line917.yml TIMEOUT 901.86 517.42 None ring_2w1r-2.line918.yml OUT OF MEMORY 105.74 68.66 None safe000_power.oepc.line1010.yml OUT OF MEMORY 588.58 314.88 None safe000_power.oepc.line1011.yml TIMEOUT 901.55 479.20 None safe000_power.oepc.line1025.yml OUT OF MEMORY 604.31 323.61 None safe000_power.oepc.line1026.yml OUT OF MEMORY 810.04 425.19 None safe000_power.oepc.line1038.yml OUT OF MEMORY 655.01 350.46 None safe000_power.oepc.line1039.yml OUT OF MEMORY 804.75 424.69 None safe000_power.oepc.line1055.yml OUT OF MEMORY 585.52 315.20 None safe000_power.oepc.line1056.yml OUT OF MEMORY 824.86 433.00 None safe000_power.oepc.line1074.yml OUT OF MEMORY 617.37 334.04 None safe000_power.oepc.line1075.yml TIMEOUT 905.56 475.77 None safe000_power.oepc.line1089.yml OUT OF MEMORY 755.48 418.57 None safe000_power.oepc.line1090.yml TIMEOUT 911.80 507.93 None safe000_power.oepc.line1303.yml true 61.40 36.08 None safe000_power.oepc.line1304.yml true 62.88 40.01 None safe000_power.oepc.line1331.yml true 61.95 36.43 None safe000_power.oepc.line1332.yml true 64.34 38.72 None safe000_power.oepc.line1359.yml true 109.12 63.95 None safe000_power.oepc.line1360.yml true 111.48 65.71 None safe000_power.oepc.line1393.yml OUT OF MEMORY 653.22 337.50 None safe000_power.oepc.line1394.yml OUT OF MEMORY 684.28 357.32 None safe000_power.oepc.line1408.yml OUT OF MEMORY 639.38 332.74 None safe000_power.oepc.line1409.yml OUT OF MEMORY 768.43 416.66 None safe000_power.oepc.line1457.yml OUT OF MEMORY 682.68 361.79 None safe000_power.oepc.line1458.yml OUT OF MEMORY 821.83 432.49 None safe000_power.oepc.line1470.yml OUT OF MEMORY 735.12 393.75 None safe000_power.oepc.line1471.yml TIMEOUT 904.77 464.87 None safe000_power.oepc.line1490.yml OUT OF MEMORY 748.02 418.71 None safe000_power.oepc.line1491.yml TIMEOUT 908.00 468.54 None safe000_power.oepc.line1620.yml TIMEOUT 908.24 468.40 None safe000_power.oepc.line1621.yml OUT OF MEMORY 820.66 444.65 None safe000_power.oepc.line1642.yml TIMEOUT 909.26 468.85 None safe000_power.oepc.line1643.yml OUT OF MEMORY 673.71 348.87 None safe000_power.oepc.line1657.yml OUT OF MEMORY 669.66 349.10 None safe000_power.oepc.line1658.yml OUT OF MEMORY 741.96 399.46 None safe000_power.oepc.line1670.yml OUT OF MEMORY 684.30 358.60 None safe000_power.oepc.line1671.yml OUT OF MEMORY 713.92 375.06 None safe000_power.oepc.line331.yml false(unreach-call) 62.94 41.54 None safe000_power.oepc.line332.yml false(unreach-call) 63.17 41.55 None safe000_power.oepc.line346.yml false(unreach-call) 61.27 37.61 None safe000_power.oepc.line347.yml false(unreach-call) 59.91 37.28 None safe000_power.oepc.line363.yml TIMEOUT 902.87 536.01 None safe000_power.oepc.line364.yml TIMEOUT 901.87 522.80 None safe000_power.oepc.line395.yml TIMEOUT 902.54 521.72 None safe000_power.oepc.line396.yml TIMEOUT 902.85 504.28 None safe000_power.oepc.line416.yml false(unreach-call) 68.56 39.57 None safe000_power.oepc.line417.yml false(unreach-call) 74.07 42.29 None safe000_power.oepc.line630.yml false(unreach-call) 74.76 42.17 None safe000_power.oepc.line631.yml false(unreach-call) 64.07 36.99 None safe000_power.oepc.line645.yml OUT OF MEMORY 758.88 406.06 None safe000_power.oepc.line646.yml OUT OF MEMORY 829.54 440.70 None safe000_power.oepc.line658.yml false(unreach-call) 76.27 48.74 None safe000_power.oepc.line659.yml false(unreach-call) 60.87 36.03 None safe000_power.oepc.line715.yml false(unreach-call) 78.13 44.13 None safe000_power.oepc.line716.yml false(unreach-call) 64.62 38.11 None safe000_power.oepc.line734.yml false(unreach-call) 68.26 40.45 None safe000_power.oepc.line735.yml false(unreach-call) 78.84 48.58 None safe000_power.oepc.line749.yml false(unreach-call) 66.09 38.03 None safe000_power.oepc.line750.yml false(unreach-call) 83.14 46.19 None safe000_power.oepc.line851.yml TIMEOUT 904.63 469.65 None safe000_power.oepc.line852.yml OUT OF MEMORY 820.64 444.90 None safe000_power.oepc.line864.yml OUT OF MEMORY 576.16 313.10 None safe000_power.oepc.line865.yml OUT OF MEMORY 854.71 461.86 None safe000_power.oepc.line884.yml OUT OF MEMORY 472.16 250.60 None safe000_power.oepc.line885.yml OUT OF MEMORY 754.90 415.41 None safe000_power.opt.line1118.yml true 95.57 54.69 None safe000_power.opt.line1119.yml true 82.10 51.00 None safe000_power.opt.line1146.yml true 96.26 55.45 None safe000_power.opt.line1147.yml true 80.63 46.72 None safe000_power.opt.line1174.yml true 173.94 98.89 None safe000_power.opt.line1175.yml true 157.03 96.10 None safe000_power.opt.line1208.yml TIMEOUT 911.26 474.18 None safe000_power.opt.line1209.yml TIMEOUT 910.73 487.97 None safe000_power.opt.line1223.yml OUT OF MEMORY 871.87 454.61 None safe000_power.opt.line1224.yml TIMEOUT 914.57 499.16 None safe000_power.opt.line1271.yml OUT OF MEMORY 887.55 466.16 None safe000_power.opt.line1272.yml TIMEOUT 921.32 513.20 None safe000_power.opt.line322.yml OUT OF MEMORY 730.95 404.56 None safe000_power.opt.line323.yml OUT OF MEMORY 464.55 257.37 None safe000_power.opt.line337.yml OUT OF MEMORY 746.76 393.23 None safe000_power.opt.line338.yml OUT OF MEMORY 757.50 398.63 None safe000_power.opt.line461.yml false(unreach-call) 99.51 62.23 None safe000_power.opt.line462.yml false(unreach-call) 85.57 50.23 None safe000_power.opt.line476.yml false(unreach-call) 124.13 69.36 None safe000_power.opt.line477.yml false(unreach-call) 101.69 59.39 None safe000_power.opt.line493.yml OUT OF MEMORY 565.80 305.60 None safe000_power.opt.line494.yml OUT OF MEMORY 735.02 412.95 None safe000_power.opt.line525.yml OUT OF MEMORY 636.59 346.37 None safe000_power.opt.line526.yml OUT OF MEMORY 788.72 420.77 None safe000_power.opt.line546.yml false(unreach-call) 99.66 61.31 None safe000_power.opt.line547.yml false(unreach-call) 102.08 63.26 None safe000_power.opt.line760.yml false(unreach-call) 103.05 64.45 None safe000_power.opt.line761.yml false(unreach-call) 125.47 71.61 None safe000_power.opt.line775.yml OUT OF MEMORY 326.99 201.49 None safe000_power.opt.line776.yml TIMEOUT 903.82 503.79 None safe000_power.opt.line788.yml false(unreach-call) 120.91 70.27 None safe000_power.opt.line789.yml false(unreach-call) 110.70 65.93 None safe000_power.opt.line815.yml false(unreach-call) 126.47 72.42 None safe000_power.opt.line816.yml false(unreach-call) 105.10 63.92 None safe000_power.opt.line830.yml false(unreach-call) 109.81 66.65 None safe000_power.opt.line831.yml false(unreach-call) 137.05 78.49 None safe000_power.opt.line916.yml OUT OF MEMORY 888.63 480.29 None safe000_power.opt.line917.yml TIMEOUT 921.34 505.16 None safe000_power.opt.line931.yml OUT OF MEMORY 614.23 354.00 None safe000_power.opt.line932.yml TIMEOUT 921.27 515.78 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 8.47 6.15 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 7.65 5.49 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 7.75 6.37 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 7.67 5.66 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 8.62 6.25 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 11.49 7.10 None safe000_rmo.line1143.yml true 40.91 28.67 None safe000_rmo.line1144.yml true 37.80 25.26 None safe000_rmo.line1171.yml true 37.67 24.13 None safe000_rmo.line1172.yml true 45.99 27.09 None safe000_rmo.line1199.yml true 70.45 45.65 None safe000_rmo.line1200.yml true 64.37 40.15 None safe000_rmo.line1233.yml TIMEOUT 910.36 471.95 None safe000_rmo.line1234.yml OUT OF MEMORY 722.53 383.24 None safe000_rmo.line1248.yml OUT OF MEMORY 736.90 387.73 None safe000_rmo.line1249.yml TIMEOUT 914.26 475.76 None safe000_rmo.line1297.yml OUT OF MEMORY 706.57 389.20 None safe000_rmo.line1298.yml OUT OF MEMORY 805.72 429.18 None safe000_rmo.line1310.yml OUT OF MEMORY 852.41 457.80 None safe000_rmo.line1311.yml OUT OF MEMORY 709.86 382.73 None safe000_rmo.line1330.yml TIMEOUT 904.61 465.99 None safe000_rmo.line1331.yml OUT OF MEMORY 731.65 386.74 None safe000_rmo.line1460.yml OUT OF MEMORY 636.84 332.59 None safe000_rmo.line1461.yml OUT OF MEMORY 721.67 378.03 None safe000_rmo.line1482.yml OUT OF MEMORY 677.81 355.31 None safe000_rmo.line1483.yml OUT OF MEMORY 852.89 440.09 None safe000_rmo.line1497.yml OUT OF MEMORY 732.14 390.51 None safe000_rmo.line1498.yml OUT OF MEMORY 616.16 322.05 None safe000_rmo.line1510.yml OUT OF MEMORY 763.83 407.16 None safe000_rmo.line1511.yml OUT OF MEMORY 639.88 337.90 None safe000_rmo.line309.yml false(unreach-call) 55.58 30.92 None safe000_rmo.line310.yml false(unreach-call) 44.61 30.73 None safe000_rmo.line322.yml false(unreach-call) 51.94 29.73 None safe000_rmo.line323.yml false(unreach-call) 53.55 30.44 None safe000_rmo.line342.yml false(unreach-call) 50.97 31.84 None safe000_rmo.line343.yml false(unreach-call) 44.45 30.47 None safe000_rmo.line470.yml false(unreach-call) 52.36 30.16 None safe000_rmo.line471.yml false(unreach-call) 50.48 28.91 None safe000_rmo.line485.yml OUT OF MEMORY 654.24 386.33 None safe000_rmo.line486.yml OUT OF MEMORY 829.45 457.82 None safe000_rmo.line498.yml false(unreach-call) 54.15 30.62 None safe000_rmo.line499.yml false(unreach-call) 51.33 29.33 None safe000_rmo.line555.yml false(unreach-call) 55.70 31.52 None safe000_rmo.line556.yml false(unreach-call) 53.49 30.98 None safe000_rmo.line574.yml false(unreach-call) 55.31 30.95 None safe000_rmo.line575.yml false(unreach-call) 53.81 30.43 None safe000_rmo.line589.yml false(unreach-call) 53.06 30.35 None safe000_rmo.line590.yml false(unreach-call) 53.38 30.49 None safe000_rmo.line691.yml TIMEOUT 921.46 485.26 None safe000_rmo.line692.yml TIMEOUT 903.32 480.57 None safe000_rmo.line704.yml OUT OF MEMORY 781.75 404.85 None safe000_rmo.line705.yml OUT OF MEMORY 625.40 343.66 None safe000_rmo.line724.yml OUT OF MEMORY 489.94 258.31 None safe000_rmo.line725.yml OUT OF MEMORY 643.27 345.49 None safe000_rmo.line850.yml OUT OF MEMORY 505.22 272.34 None safe000_rmo.line851.yml OUT OF MEMORY 762.20 409.53 None safe000_rmo.line865.yml OUT OF MEMORY 485.56 266.84 None safe000_rmo.line866.yml OUT OF MEMORY 578.53 313.63 None safe000_rmo.line878.yml OUT OF MEMORY 773.17 429.49 None safe000_rmo.line879.yml OUT OF MEMORY 696.49 366.79 None safe000_rmo.line895.yml OUT OF MEMORY 640.26 353.06 None safe000_rmo.line896.yml OUT OF MEMORY 676.48 361.23 None safe000_rmo.line914.yml OUT OF MEMORY 790.11 437.56 None safe000_rmo.line915.yml OUT OF MEMORY 803.86 434.86 None safe000_rmo.line929.yml OUT OF MEMORY 777.50 422.47 None safe000_rmo.line930.yml TIMEOUT 912.53 493.91 None safe001_power.oepc.line1008.yml OUT OF MEMORY 614.73 337.63 None safe001_power.oepc.line1009.yml OUT OF MEMORY 746.26 400.28 None safe001_power.oepc.line1023.yml OUT OF MEMORY 747.37 391.30 None safe001_power.oepc.line1024.yml OUT OF MEMORY 798.91 419.37 None safe001_power.oepc.line1036.yml OUT OF MEMORY 658.58 355.62 None safe001_power.oepc.line1037.yml OUT OF MEMORY 674.53 362.51 None safe001_power.oepc.line1053.yml OUT OF MEMORY 668.12 352.89 None safe001_power.oepc.line1054.yml OUT OF MEMORY 820.23 451.33 None safe001_power.oepc.line1072.yml OUT OF MEMORY 676.68 378.01 None safe001_power.oepc.line1073.yml OUT OF MEMORY 646.37 343.93 None safe001_power.oepc.line1087.yml TIMEOUT 915.09 504.00 None safe001_power.oepc.line1088.yml TIMEOUT 921.48 522.88 None safe001_power.oepc.line1301.yml true 56.94 33.72 None safe001_power.oepc.line1302.yml true 58.86 37.00 None safe001_power.oepc.line1329.yml true 60.14 35.56 None safe001_power.oepc.line1330.yml true 62.89 38.42 None safe001_power.oepc.line1357.yml true 111.90 67.19 None safe001_power.oepc.line1358.yml true 110.27 65.18 None safe001_power.oepc.line1391.yml TIMEOUT 909.22 468.58 None safe001_power.oepc.line1392.yml OUT OF MEMORY 660.37 342.65 None safe001_power.oepc.line1406.yml OUT OF MEMORY 697.94 372.39 None safe001_power.oepc.line1407.yml TIMEOUT 907.62 468.54 None safe001_power.oepc.line1455.yml OUT OF MEMORY 723.30 381.19 None safe001_power.oepc.line1456.yml OUT OF MEMORY 882.97 454.13 None safe001_power.oepc.line1468.yml OUT OF MEMORY 732.51 393.10 None safe001_power.oepc.line1469.yml OUT OF MEMORY 749.69 390.47 None safe001_power.oepc.line1488.yml TIMEOUT 904.42 464.96 None safe001_power.oepc.line1489.yml OUT OF MEMORY 701.84 363.18 None safe001_power.oepc.line1618.yml OUT OF MEMORY 701.64 371.41 None safe001_power.oepc.line1619.yml OUT OF MEMORY 894.27 474.70 None safe001_power.oepc.line1642.yml OUT OF MEMORY 658.79 340.20 None safe001_power.oepc.line1643.yml OUT OF MEMORY 702.57 387.47 None safe001_power.oepc.line1660.yml OUT OF MEMORY 715.38 378.27 None safe001_power.oepc.line1661.yml OUT OF MEMORY 735.08 385.02 None safe001_power.oepc.line1673.yml OUT OF MEMORY 721.19 376.28 None safe001_power.oepc.line1674.yml OUT OF MEMORY 782.23 409.65 None safe001_power.oepc.line329.yml false(unreach-call) 74.16 46.63 None safe001_power.oepc.line330.yml false(unreach-call) 74.55 41.94 None safe001_power.oepc.line344.yml false(unreach-call) 74.16 42.37 None safe001_power.oepc.line345.yml false(unreach-call) 73.95 46.23 None safe001_power.oepc.line361.yml TIMEOUT 905.06 510.93 None safe001_power.oepc.line362.yml TIMEOUT 906.13 509.49 None safe001_power.oepc.line393.yml OUT OF MEMORY 811.49 461.39 None safe001_power.oepc.line394.yml TIMEOUT 902.30 539.90 None safe001_power.oepc.line414.yml false(unreach-call) 73.90 42.20 None safe001_power.oepc.line415.yml false(unreach-call) 74.33 42.38 None safe001_power.oepc.line628.yml false(unreach-call) 72.79 46.50 None safe001_power.oepc.line629.yml false(unreach-call) 75.36 42.70 None safe001_power.oepc.line643.yml OUT OF MEMORY 783.62 416.38 None safe001_power.oepc.line644.yml OUT OF MEMORY 732.32 411.88 None safe001_power.oepc.line656.yml false(unreach-call) 74.27 42.01 None safe001_power.oepc.line657.yml false(unreach-call) 74.51 42.05 None safe001_power.oepc.line713.yml false(unreach-call) 74.10 46.55 None safe001_power.oepc.line714.yml false(unreach-call) 79.74 45.63 None safe001_power.oepc.line732.yml false(unreach-call) 67.20 39.86 None safe001_power.oepc.line733.yml false(unreach-call) 64.98 37.93 None ---------------------------------------------------------------------------------------------------------------------- Run set 1 done 154774.99 6323.69 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk11 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 ---------------------------------------------------------------------------------------------------------------------- ring_2w1r-1.line836.yml false(unreach-call) 8.37 5.26 None ring_2w1r-1.line837.yml false(unreach-call) 8.80 6.17 None ring_2w1r-1.line879.yml TIMEOUT 901.53 552.95 None ring_2w1r-1.line880.yml TIMEOUT 902.20 509.69 None ring_2w1r-1.line889.yml TIMEOUT 901.20 595.58 None ring_2w1r-1.line890.yml TIMEOUT 902.94 509.41 None ring_2w1r-1.line908.yml TIMEOUT 901.16 560.82 None ring_2w1r-1.line909.yml TIMEOUT 901.02 493.10 None ring_2w1r-1.line919.yml TIMEOUT 901.88 552.69 None ring_2w1r-1.line920.yml false(unreach-call) 419.17 301.14 None ring_2w1r-1.line929.yml TIMEOUT 901.57 586.96 None ring_2w1r-1.line930.yml OUT OF MEMORY 832.80 465.99 None ring_2w1r-1.line940.yml TIMEOUT 901.28 569.59 None ring_2w1r-1.line941.yml OUT OF MEMORY 896.98 499.63 None ring_2w1r-1.line965.yml OUT OF MEMORY 164.87 120.72 None ring_2w1r-1.line966.yml TIMEOUT 904.50 515.38 None ring_2w1r-1.line977.yml TIMEOUT 902.54 528.44 None ring_2w1r-1.line978.yml TIMEOUT 902.52 515.12 None ring_2w1r-2.line308.yml true 358.27 192.25 None ring_2w1r-2.line309.yml true 415.25 223.54 None ring_2w1r-2.line318.yml true 358.59 194.60 None ring_2w1r-2.line319.yml true 345.63 187.96 None ring_2w1r-2.line346.yml true 420.50 234.21 None ring_2w1r-2.line347.yml true 428.84 231.04 None ring_2w1r-2.line356.yml true 467.39 249.41 None ring_2w1r-2.line357.yml false(unreach-call) 35.84 20.47 None ring_2w1r-2.line369.yml true 457.67 244.90 None ring_2w1r-2.line370.yml true 409.94 220.43 None ring_2w1r-2.line380.yml true 508.14 271.83 None ring_2w1r-2.line381.yml true 422.88 230.31 None ring_2w1r-2.line404.yml true 424.75 234.38 None ring_2w1r-2.line405.yml true 486.78 264.76 None ring_2w1r-2.line416.yml true 411.27 221.84 None ring_2w1r-2.line417.yml true 430.31 234.83 None ring_2w1r-2.line433.yml true 331.59 179.65 None ring_2w1r-2.line434.yml TIMEOUT 902.62 519.60 None ring_2w1r-2.line447.yml true 364.43 201.02 None ring_2w1r-2.line448.yml TIMEOUT 902.29 530.27 None ring_2w1r-2.line524.yml TIMEOUT 902.46 660.91 None ring_2w1r-2.line525.yml TIMEOUT 903.71 541.57 None ring_2w1r-2.line534.yml OUT OF MEMORY 220.86 142.79 None ring_2w1r-2.line535.yml TIMEOUT 902.97 536.71 None ring_2w1r-2.line553.yml TIMEOUT 902.64 547.52 None ring_2w1r-2.line554.yml TIMEOUT 903.21 576.55 None ring_2w1r-2.line564.yml OUT OF MEMORY 706.58 429.68 None ring_2w1r-2.line565.yml OUT OF MEMORY 199.63 147.79 None ring_2w1r-2.line574.yml TIMEOUT 902.73 543.55 None ring_2w1r-2.line575.yml TIMEOUT 902.79 570.97 None ring_2w1r-2.line585.yml OUT OF MEMORY 421.33 280.70 None ring_2w1r-2.line586.yml OUT OF MEMORY 459.15 292.69 None ring_2w1r-2.line749.yml true 9.24 5.70 None ring_2w1r-2.line750.yml true 9.69 5.90 None ring_2w1r-2.line759.yml true 9.10 5.62 None ring_2w1r-2.line760.yml true 9.52 5.82 None ring_2w1r-2.line773.yml true 9.42 5.80 None ring_2w1r-2.line774.yml true 10.60 6.36 None ring_2w1r-2.line788.yml false(unreach-call) 9.32 5.28 None ring_2w1r-2.line789.yml false(unreach-call) 9.86 5.56 None ring_2w1r-2.line820.yml TIMEOUT 902.70 528.19 None ring_2w1r-2.line821.yml OUT OF MEMORY 623.47 354.46 None ring_2w1r-2.line830.yml TIMEOUT 902.08 550.64 None ring_2w1r-2.line831.yml OUT OF MEMORY 826.84 454.82 None ring_2w1r-2.line849.yml TIMEOUT 902.57 568.54 None ring_2w1r-2.line850.yml TIMEOUT 902.94 496.84 None ring_2w1r-2.line860.yml TIMEOUT 903.72 543.59 None ring_2w1r-2.line861.yml TIMEOUT 902.14 548.97 None ring_2w1r-2.line870.yml TIMEOUT 902.45 559.50 None ring_2w1r-2.line871.yml TIMEOUT 902.91 502.54 None ring_2w1r-2.line881.yml OUT OF MEMORY 385.23 242.81 None ring_2w1r-2.line882.yml OUT OF MEMORY 302.92 174.23 None ring_2w1r-2.line905.yml OUT OF MEMORY 345.89 266.65 None ring_2w1r-2.line906.yml OUT OF MEMORY 595.26 338.23 None ring_2w1r-2.line917.yml TIMEOUT 906.48 531.67 None ring_2w1r-2.line918.yml TIMEOUT 902.83 506.62 None safe000_power.oepc.line1010.yml OUT OF MEMORY 745.28 411.99 None safe000_power.oepc.line1011.yml OUT OF MEMORY 757.32 408.07 None safe000_power.oepc.line1025.yml OUT OF MEMORY 611.80 329.75 None safe000_power.oepc.line1026.yml OUT OF MEMORY 807.14 427.38 None safe000_power.oepc.line1038.yml OUT OF MEMORY 642.89 348.37 None safe000_power.oepc.line1039.yml TIMEOUT 913.69 486.60 None safe000_power.oepc.line1055.yml OUT OF MEMORY 711.29 385.54 None safe000_power.oepc.line1056.yml OUT OF MEMORY 799.59 436.90 None safe000_power.oepc.line1074.yml OUT OF MEMORY 650.03 354.86 None safe000_power.oepc.line1075.yml OUT OF MEMORY 820.71 445.46 None safe000_power.oepc.line1089.yml OUT OF MEMORY 875.63 460.56 None safe000_power.oepc.line1090.yml TIMEOUT 912.62 498.86 None safe000_power.oepc.line1303.yml true 58.60 37.08 None safe000_power.oepc.line1304.yml true 52.46 32.37 None safe000_power.oepc.line1331.yml true 58.41 36.94 None safe000_power.oepc.line1332.yml true 61.39 39.70 None safe000_power.oepc.line1359.yml true 89.58 53.43 None safe000_power.oepc.line1360.yml true 107.80 62.36 None safe000_power.oepc.line1393.yml OUT OF MEMORY 646.19 341.14 None safe000_power.oepc.line1394.yml OUT OF MEMORY 680.28 370.09 None safe000_power.oepc.line1408.yml OUT OF MEMORY 855.25 464.27 None safe000_power.oepc.line1409.yml OUT OF MEMORY 647.44 342.42 None safe000_power.oepc.line1457.yml TIMEOUT 904.73 469.94 None safe000_power.oepc.line1458.yml OUT OF MEMORY 619.83 330.48 None safe000_power.oepc.line1470.yml OUT OF MEMORY 879.72 458.17 None safe000_power.oepc.line1471.yml OUT OF MEMORY 735.67 400.47 None safe000_power.oepc.line1490.yml OUT OF MEMORY 665.24 349.04 None safe000_power.oepc.line1491.yml OUT OF MEMORY 585.82 329.92 None safe000_power.oepc.line1620.yml OUT OF MEMORY 782.26 409.48 None safe000_power.oepc.line1621.yml OUT OF MEMORY 627.83 340.48 None safe000_power.oepc.line1642.yml OUT OF MEMORY 785.62 409.97 None safe000_power.oepc.line1643.yml OUT OF MEMORY 588.81 315.15 None safe000_power.oepc.line1657.yml OUT OF MEMORY 605.34 319.96 None safe000_power.oepc.line1658.yml OUT OF MEMORY 510.78 272.01 None safe000_power.oepc.line1670.yml OUT OF MEMORY 771.19 413.87 None safe000_power.oepc.line1671.yml OUT OF MEMORY 619.44 329.77 None safe000_power.oepc.line331.yml false(unreach-call) 57.08 37.97 None safe000_power.oepc.line332.yml false(unreach-call) 64.28 40.19 None safe000_power.oepc.line346.yml false(unreach-call) 62.50 36.43 None safe000_power.oepc.line347.yml false(unreach-call) 55.17 34.95 None safe000_power.oepc.line363.yml TIMEOUT 905.77 570.60 None safe000_power.oepc.line364.yml TIMEOUT 914.43 592.86 None safe000_power.oepc.line395.yml TIMEOUT 906.78 539.54 None safe000_power.oepc.line396.yml TIMEOUT 907.55 525.51 None safe000_power.oepc.line416.yml false(unreach-call) 61.84 36.18 None safe000_power.oepc.line417.yml false(unreach-call) 54.06 34.25 None safe000_power.oepc.line630.yml false(unreach-call) 61.01 35.86 None safe000_power.oepc.line631.yml false(unreach-call) 57.95 34.33 None safe000_power.oepc.line645.yml OUT OF MEMORY 787.26 435.53 None safe000_power.oepc.line646.yml OUT OF MEMORY 863.48 459.79 None safe000_power.oepc.line658.yml false(unreach-call) 55.41 34.71 None safe000_power.oepc.line659.yml false(unreach-call) 63.11 36.77 None safe000_power.oepc.line715.yml false(unreach-call) 55.75 32.90 None safe000_power.oepc.line716.yml false(unreach-call) 59.11 36.60 None safe000_power.oepc.line734.yml false(unreach-call) 55.76 35.50 None safe000_power.oepc.line735.yml false(unreach-call) 64.47 37.45 None safe000_power.oepc.line749.yml false(unreach-call) 55.03 33.24 None safe000_power.oepc.line750.yml false(unreach-call) 57.39 34.03 None safe000_power.oepc.line851.yml OUT OF MEMORY 690.40 370.38 None safe000_power.oepc.line852.yml OUT OF MEMORY 846.24 473.70 None safe000_power.oepc.line864.yml OUT OF MEMORY 673.49 353.73 None safe000_power.oepc.line865.yml TIMEOUT 906.28 491.34 None safe000_power.oepc.line884.yml OUT OF MEMORY 459.26 247.17 None safe000_power.oepc.line885.yml OUT OF MEMORY 630.38 336.73 None safe000_power.opt.line1118.yml true 71.66 44.56 None safe000_power.opt.line1119.yml true 70.77 43.89 None safe000_power.opt.line1146.yml true 75.29 47.41 None safe000_power.opt.line1147.yml true 72.15 44.61 None safe000_power.opt.line1174.yml true 138.01 87.05 None safe000_power.opt.line1175.yml true 129.72 79.71 None safe000_power.opt.line1208.yml OUT OF MEMORY 730.25 413.07 None safe000_power.opt.line1209.yml OUT OF MEMORY 780.93 476.53 None safe000_power.opt.line1223.yml OUT OF MEMORY 814.04 461.90 None safe000_power.opt.line1224.yml TIMEOUT 902.25 525.64 None safe000_power.opt.line1271.yml TIMEOUT 901.01 549.70 None safe000_power.opt.line1272.yml TIMEOUT 902.29 582.64 None safe000_power.opt.line322.yml OUT OF MEMORY 474.28 260.78 None safe000_power.opt.line323.yml OUT OF MEMORY 561.86 319.35 None safe000_power.opt.line337.yml OUT OF MEMORY 502.79 297.88 None safe000_power.opt.line338.yml OUT OF MEMORY 700.20 436.59 None safe000_power.opt.line461.yml false(unreach-call) 81.26 64.14 None safe000_power.opt.line462.yml false(unreach-call) 93.74 64.79 None safe000_power.opt.line476.yml false(unreach-call) 83.10 77.71 None safe000_power.opt.line477.yml false(unreach-call) 81.40 60.30 None safe000_power.opt.line493.yml OUT OF MEMORY 785.24 471.54 None safe000_power.opt.line494.yml OUT OF MEMORY 870.96 471.76 None safe000_power.opt.line525.yml OUT OF MEMORY 856.55 475.36 None safe000_power.opt.line526.yml TIMEOUT 921.37 663.70 None safe000_power.opt.line546.yml false(unreach-call) 81.13 49.57 None safe000_power.opt.line547.yml false(unreach-call) 84.03 53.50 None safe000_power.opt.line760.yml false(unreach-call) 78.50 49.71 None safe000_power.opt.line761.yml false(unreach-call) 84.23 50.45 None safe000_power.opt.line775.yml false(unreach-call) 207.40 132.22 None safe000_power.opt.line776.yml false(unreach-call) 230.94 147.40 None safe000_power.opt.line788.yml false(unreach-call) 82.71 54.98 None safe000_power.opt.line789.yml false(unreach-call) 75.60 48.18 None safe000_power.opt.line815.yml false(unreach-call) 84.70 50.88 None safe000_power.opt.line816.yml false(unreach-call) 75.46 45.90 None safe000_power.opt.line830.yml false(unreach-call) 79.48 49.77 None safe000_power.opt.line831.yml false(unreach-call) 86.46 61.25 None safe000_power.opt.line916.yml OUT OF MEMORY 762.87 426.82 None safe000_power.opt.line917.yml TIMEOUT 908.59 499.27 None safe000_power.opt.line931.yml OUT OF MEMORY 886.89 510.89 None safe000_power.opt.line932.yml TIMEOUT 917.23 597.57 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 7.93 6.27 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 8.35 5.95 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 8.98 8.05 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 8.48 6.31 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 11.77 9.08 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 9.46 6.35 None safe000_rmo.line1143.yml true 36.02 22.98 None safe000_rmo.line1144.yml true 38.19 25.12 None safe000_rmo.line1171.yml true 37.60 25.44 None safe000_rmo.line1172.yml true 35.86 23.78 None safe000_rmo.line1199.yml true 58.93 37.70 None safe000_rmo.line1200.yml true 63.51 41.45 None safe000_rmo.line1233.yml OUT OF MEMORY 657.86 368.46 None safe000_rmo.line1234.yml OUT OF MEMORY 760.12 437.48 None safe000_rmo.line1248.yml OUT OF MEMORY 773.71 433.20 None safe000_rmo.line1249.yml OUT OF MEMORY 695.86 368.43 None safe000_rmo.line1297.yml OUT OF MEMORY 670.92 366.46 None safe000_rmo.line1298.yml OUT OF MEMORY 792.63 477.71 None safe000_rmo.line1310.yml OUT OF MEMORY 818.11 454.71 None safe000_rmo.line1311.yml OUT OF MEMORY 779.17 408.33 None safe000_rmo.line1330.yml OUT OF MEMORY 645.22 346.19 None safe000_rmo.line1331.yml OUT OF MEMORY 575.09 308.62 None safe000_rmo.line1460.yml OUT OF MEMORY 782.62 670.56 None safe000_rmo.line1461.yml OUT OF MEMORY 839.03 548.32 None safe000_rmo.line1482.yml OUT OF MEMORY 626.86 334.72 None safe000_rmo.line1483.yml OUT OF MEMORY 818.19 436.49 None safe000_rmo.line1497.yml OUT OF MEMORY 728.48 401.05 None safe000_rmo.line1498.yml OUT OF MEMORY 712.54 395.61 None safe000_rmo.line1510.yml OUT OF MEMORY 656.89 369.88 None safe000_rmo.line1511.yml OUT OF MEMORY 803.64 477.82 None safe000_rmo.line309.yml false(unreach-call) 41.31 27.26 None safe000_rmo.line310.yml false(unreach-call) 41.09 26.38 None safe000_rmo.line322.yml false(unreach-call) 46.69 27.13 None safe000_rmo.line323.yml false(unreach-call) 41.03 26.15 None safe000_rmo.line342.yml false(unreach-call) 44.44 32.34 None safe000_rmo.line343.yml false(unreach-call) 50.02 37.98 None safe000_rmo.line470.yml false(unreach-call) 45.42 26.81 None safe000_rmo.line471.yml false(unreach-call) 49.84 39.98 None safe000_rmo.line485.yml TIMEOUT 904.72 491.63 None safe000_rmo.line486.yml OUT OF MEMORY 862.76 460.74 None safe000_rmo.line498.yml false(unreach-call) 47.84 33.74 None safe000_rmo.line499.yml false(unreach-call) 49.44 43.34 None safe000_rmo.line555.yml false(unreach-call) 50.08 44.25 None safe000_rmo.line556.yml false(unreach-call) 51.74 33.41 None safe000_rmo.line574.yml false(unreach-call) 52.60 42.31 None safe000_rmo.line575.yml false(unreach-call) 50.84 42.26 None safe000_rmo.line589.yml false(unreach-call) 46.50 28.85 None safe000_rmo.line590.yml false(unreach-call) 50.57 34.27 None safe000_rmo.line691.yml OUT OF MEMORY 846.60 454.49 None safe000_rmo.line692.yml TIMEOUT 910.77 582.86 None safe000_rmo.line704.yml TIMEOUT 921.38 572.37 None safe000_rmo.line705.yml TIMEOUT 904.25 512.78 None safe000_rmo.line724.yml OUT OF MEMORY 593.52 315.41 None safe000_rmo.line725.yml OUT OF MEMORY 836.24 473.16 None safe000_rmo.line850.yml OUT OF MEMORY 811.30 443.57 None safe000_rmo.line851.yml OUT OF MEMORY 717.46 388.02 None safe000_rmo.line865.yml OUT OF MEMORY 518.61 299.71 None safe000_rmo.line866.yml OUT OF MEMORY 662.04 389.18 None safe000_rmo.line878.yml OUT OF MEMORY 849.87 476.02 None safe000_rmo.line879.yml TIMEOUT 920.60 553.68 None safe000_rmo.line895.yml OUT OF MEMORY 892.54 473.10 None safe000_rmo.line896.yml OUT OF MEMORY 573.40 312.41 None safe000_rmo.line914.yml OUT OF MEMORY 761.10 420.42 None safe000_rmo.line915.yml OUT OF MEMORY 680.75 366.07 None safe000_rmo.line929.yml TIMEOUT 921.35 520.47 None safe000_rmo.line930.yml TIMEOUT 909.68 523.14 None safe001_power.oepc.line1008.yml OUT OF MEMORY 619.69 335.39 None safe001_power.oepc.line1009.yml TIMEOUT 903.47 478.37 None safe001_power.oepc.line1023.yml OUT OF MEMORY 760.38 403.79 None safe001_power.oepc.line1024.yml OUT OF MEMORY 599.96 328.77 None safe001_power.oepc.line1036.yml OUT OF MEMORY 677.15 373.45 None safe001_power.oepc.line1037.yml OUT OF MEMORY 784.24 426.50 None safe001_power.oepc.line1053.yml OUT OF MEMORY 571.98 310.52 None safe001_power.oepc.line1054.yml TIMEOUT 906.07 478.93 None safe001_power.oepc.line1072.yml OUT OF MEMORY 638.66 348.39 None safe001_power.oepc.line1073.yml OUT OF MEMORY 606.71 327.82 None safe001_power.oepc.line1087.yml TIMEOUT 916.45 495.17 None safe001_power.oepc.line1088.yml TIMEOUT 921.36 537.20 None safe001_power.oepc.line1301.yml true 52.42 32.89 None safe001_power.oepc.line1302.yml true 51.86 32.58 None safe001_power.oepc.line1329.yml true 52.88 32.85 None safe001_power.oepc.line1330.yml true 51.39 32.26 None safe001_power.oepc.line1357.yml true 92.44 56.72 None safe001_power.oepc.line1358.yml true 106.21 61.85 None safe001_power.oepc.line1391.yml OUT OF MEMORY 662.25 362.82 None safe001_power.oepc.line1392.yml OUT OF MEMORY 588.20 312.43 None safe001_power.oepc.line1406.yml OUT OF MEMORY 636.88 349.92 None safe001_power.oepc.line1407.yml OUT OF MEMORY 661.45 349.32 None safe001_power.oepc.line1455.yml OUT OF MEMORY 746.84 400.08 None safe001_power.oepc.line1456.yml OUT OF MEMORY 862.87 467.15 None safe001_power.oepc.line1468.yml OUT OF MEMORY 801.97 420.65 None safe001_power.oepc.line1469.yml OUT OF MEMORY 776.31 406.89 None safe001_power.oepc.line1488.yml OUT OF MEMORY 702.58 374.32 None safe001_power.oepc.line1489.yml OUT OF MEMORY 595.37 315.63 None safe001_power.oepc.line1618.yml OUT OF MEMORY 675.30 363.36 None safe001_power.oepc.line1619.yml OUT OF MEMORY 770.18 401.29 None safe001_power.oepc.line1642.yml OUT OF MEMORY 661.89 350.64 None safe001_power.oepc.line1643.yml OUT OF MEMORY 879.48 456.41 None safe001_power.oepc.line1660.yml OUT OF MEMORY 722.14 391.88 None safe001_power.oepc.line1661.yml OUT OF MEMORY 585.66 312.46 None safe001_power.oepc.line1673.yml OUT OF MEMORY 620.70 328.43 None safe001_power.oepc.line1674.yml OUT OF MEMORY 648.14 347.73 None safe001_power.oepc.line329.yml false(unreach-call) 52.83 32.88 None safe001_power.oepc.line330.yml false(unreach-call) 54.74 33.16 None safe001_power.oepc.line344.yml false(unreach-call) 50.11 30.76 None safe001_power.oepc.line345.yml false(unreach-call) 57.32 38.10 None safe001_power.oepc.line361.yml TIMEOUT 905.26 538.68 None safe001_power.oepc.line362.yml TIMEOUT 908.33 542.64 None safe001_power.oepc.line393.yml OUT OF MEMORY 884.15 520.33 None safe001_power.oepc.line394.yml OUT OF MEMORY 728.42 431.80 None safe001_power.oepc.line414.yml false(unreach-call) 56.47 37.93 None safe001_power.oepc.line415.yml false(unreach-call) 63.55 40.28 None safe001_power.oepc.line628.yml false(unreach-call) 56.03 33.64 None safe001_power.oepc.line629.yml false(unreach-call) 57.83 36.79 None safe001_power.oepc.line643.yml OUT OF MEMORY 794.20 442.69 None safe001_power.oepc.line644.yml OUT OF MEMORY 663.62 368.06 None safe001_power.oepc.line656.yml false(unreach-call) 56.58 37.98 None safe001_power.oepc.line657.yml false(unreach-call) 55.91 36.89 None safe001_power.oepc.line713.yml false(unreach-call) 67.51 39.41 None safe001_power.oepc.line714.yml false(unreach-call) 60.06 40.78 None safe001_power.oepc.line732.yml false(unreach-call) 56.08 34.70 None safe001_power.oepc.line733.yml false(unreach-call) 54.34 34.26 None ---------------------------------------------------------------------------------------------------------------------- Run set 2 done 149322.96 6303.39 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk11 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 ---------------------------------------------------------------------------------------------------------------------- ring_2w1r-1.line836.yml false(unreach-call) 7.85 5.05 None ring_2w1r-1.line837.yml false(unreach-call) 8.46 5.54 None ring_2w1r-1.line879.yml OUT OF MEMORY 898.26 496.19 None ring_2w1r-1.line880.yml TIMEOUT 904.88 502.59 None ring_2w1r-1.line889.yml TIMEOUT 901.59 531.45 None ring_2w1r-1.line890.yml OUT OF MEMORY 274.39 164.16 None ring_2w1r-1.line908.yml TIMEOUT 915.13 513.21 None ring_2w1r-1.line909.yml TIMEOUT 903.52 488.14 None ring_2w1r-1.line919.yml TIMEOUT 902.68 488.17 None ring_2w1r-1.line920.yml OUT OF MEMORY 860.81 512.34 None ring_2w1r-1.line929.yml TIMEOUT 902.08 502.78 None ring_2w1r-1.line930.yml TIMEOUT 900.97 483.54 None ring_2w1r-1.line940.yml TIMEOUT 903.26 507.57 None ring_2w1r-1.line941.yml TIMEOUT 902.88 484.73 None ring_2w1r-1.line965.yml OUT OF MEMORY 580.83 343.88 None ring_2w1r-1.line966.yml OUT OF MEMORY 537.83 321.58 None ring_2w1r-1.line977.yml OUT OF MEMORY 114.60 81.96 None ring_2w1r-1.line978.yml OUT OF MEMORY 92.91 66.73 None ring_2w1r-2.line308.yml true 553.86 340.55 None ring_2w1r-2.line309.yml true 610.76 365.53 None ring_2w1r-2.line318.yml true 662.58 403.75 None ring_2w1r-2.line319.yml true 612.26 370.18 None ring_2w1r-2.line346.yml true 681.97 412.76 None ring_2w1r-2.line347.yml OUT OF MEMORY 735.28 398.41 None ring_2w1r-2.line356.yml OUT OF MEMORY 709.99 387.21 None ring_2w1r-2.line357.yml false(unreach-call) 134.52 79.88 None ring_2w1r-2.line369.yml true 643.19 388.24 None ring_2w1r-2.line370.yml true 684.71 422.45 None ring_2w1r-2.line380.yml OUT OF MEMORY (true) 720.91 444.21 None ring_2w1r-2.line381.yml OUT OF MEMORY 600.95 333.16 None ring_2w1r-2.line404.yml OUT OF MEMORY 669.62 362.55 None ring_2w1r-2.line405.yml OUT OF MEMORY 841.39 466.42 None ring_2w1r-2.line416.yml OUT OF MEMORY 816.28 444.15 None ring_2w1r-2.line417.yml OUT OF MEMORY 667.21 378.38 None ring_2w1r-2.line433.yml OUT OF MEMORY 592.47 331.62 None ring_2w1r-2.line434.yml OUT OF MEMORY 726.90 421.26 None ring_2w1r-2.line447.yml OUT OF MEMORY 552.12 308.52 None ring_2w1r-2.line448.yml OUT OF MEMORY 697.08 390.05 None ring_2w1r-2.line524.yml TIMEOUT 902.03 494.58 None ring_2w1r-2.line525.yml TIMEOUT 902.74 497.63 None ring_2w1r-2.line534.yml TIMEOUT 901.67 492.62 None ring_2w1r-2.line535.yml OUT OF MEMORY 842.48 468.65 None ring_2w1r-2.line553.yml TIMEOUT 910.92 516.41 None ring_2w1r-2.line554.yml TIMEOUT 910.80 510.60 None ring_2w1r-2.line564.yml TIMEOUT 902.11 535.08 None ring_2w1r-2.line565.yml TIMEOUT 902.21 513.98 None ring_2w1r-2.line574.yml TIMEOUT 902.46 474.73 None ring_2w1r-2.line575.yml OUT OF MEMORY 893.04 482.32 None ring_2w1r-2.line585.yml OUT OF MEMORY 816.07 469.10 None ring_2w1r-2.line586.yml TIMEOUT 903.25 499.52 None ring_2w1r-2.line749.yml true 8.72 5.93 None ring_2w1r-2.line750.yml true 9.21 6.20 None ring_2w1r-2.line759.yml true 8.44 5.63 None ring_2w1r-2.line760.yml true 9.47 6.31 None ring_2w1r-2.line773.yml true 9.22 6.40 None ring_2w1r-2.line774.yml true 9.72 6.73 None ring_2w1r-2.line788.yml false(unreach-call) 8.43 5.28 None ring_2w1r-2.line789.yml false(unreach-call) 9.36 5.84 None ring_2w1r-2.line820.yml OUT OF MEMORY 269.61 172.57 None ring_2w1r-2.line821.yml OUT OF MEMORY 195.25 118.13 None ring_2w1r-2.line830.yml OUT OF MEMORY 139.19 80.00 None ring_2w1r-2.line831.yml OUT OF MEMORY 220.64 133.51 None ring_2w1r-2.line849.yml TIMEOUT 902.01 508.22 None ring_2w1r-2.line850.yml TIMEOUT 902.64 493.74 None ring_2w1r-2.line860.yml TIMEOUT 905.30 495.68 None ring_2w1r-2.line861.yml TIMEOUT 902.34 572.41 None ring_2w1r-2.line870.yml TIMEOUT 910.60 519.60 None ring_2w1r-2.line871.yml TIMEOUT 902.07 504.54 None ring_2w1r-2.line881.yml TIMEOUT 902.78 492.30 None ring_2w1r-2.line882.yml TIMEOUT 902.85 490.73 None ring_2w1r-2.line905.yml TIMEOUT 906.97 508.22 None ring_2w1r-2.line906.yml OUT OF MEMORY 584.36 329.79 None ring_2w1r-2.line917.yml OUT OF MEMORY 102.77 75.54 None ring_2w1r-2.line918.yml OUT OF MEMORY 108.51 77.42 None safe000_power.oepc.line1010.yml TIMEOUT 908.44 489.96 None safe000_power.oepc.line1011.yml TIMEOUT 921.18 509.73 None safe000_power.oepc.line1025.yml OUT OF MEMORY 594.88 322.39 None safe000_power.oepc.line1026.yml OUT OF MEMORY 824.12 431.65 None safe000_power.oepc.line1038.yml OUT OF MEMORY 804.63 420.02 None safe000_power.oepc.line1039.yml TIMEOUT 917.05 483.70 None safe000_power.oepc.line1055.yml TIMEOUT 920.69 481.75 None safe000_power.oepc.line1056.yml TIMEOUT 910.32 478.60 None safe000_power.oepc.line1074.yml TIMEOUT 916.91 492.55 None safe000_power.oepc.line1075.yml OUT OF MEMORY 858.89 452.93 None safe000_power.oepc.line1089.yml TIMEOUT 905.16 475.26 None safe000_power.oepc.line1090.yml OUT OF MEMORY 525.82 287.26 None safe000_power.oepc.line1303.yml true 94.60 59.97 None safe000_power.oepc.line1304.yml true 80.70 50.73 None safe000_power.oepc.line1331.yml true 101.12 65.73 None safe000_power.oepc.line1332.yml true 102.87 60.66 None safe000_power.oepc.line1359.yml true 144.44 93.95 None safe000_power.oepc.line1360.yml true 170.17 108.56 None safe000_power.oepc.line1393.yml TIMEOUT 907.71 461.79 None safe000_power.oepc.line1394.yml TIMEOUT 921.49 488.08 None safe000_power.oepc.line1408.yml OUT OF MEMORY 820.54 416.93 None safe000_power.oepc.line1409.yml OUT OF MEMORY 868.24 455.25 None safe000_power.oepc.line1457.yml OUT OF MEMORY 825.80 436.93 None safe000_power.oepc.line1458.yml TIMEOUT 921.29 488.09 None safe000_power.oepc.line1470.yml OUT OF MEMORY 851.80 441.72 None safe000_power.oepc.line1471.yml OUT OF MEMORY 851.10 435.98 None safe000_power.oepc.line1490.yml TIMEOUT 906.08 461.35 None safe000_power.oepc.line1491.yml TIMEOUT 909.88 462.04 None safe000_power.oepc.line1620.yml TIMEOUT 921.49 475.78 None safe000_power.oepc.line1621.yml OUT OF MEMORY 811.33 414.34 None safe000_power.oepc.line1642.yml TIMEOUT 921.22 485.52 None safe000_power.oepc.line1643.yml OUT OF MEMORY 826.99 423.11 None safe000_power.oepc.line1657.yml OUT OF MEMORY 811.12 411.46 None safe000_power.oepc.line1658.yml TIMEOUT 908.10 461.72 None safe000_power.oepc.line1670.yml OUT OF MEMORY 835.75 436.73 None safe000_power.oepc.line1671.yml TIMEOUT 921.43 487.75 None safe000_power.oepc.line331.yml false(unreach-call) 84.26 52.12 None safe000_power.oepc.line332.yml false(unreach-call) 83.73 52.84 None safe000_power.oepc.line346.yml false(unreach-call) 92.25 59.85 None safe000_power.oepc.line347.yml false(unreach-call) 84.79 54.40 None safe000_power.oepc.line363.yml OUT OF MEMORY 349.26 248.42 None safe000_power.oepc.line364.yml OUT OF MEMORY 797.22 487.78 None safe000_power.oepc.line395.yml TIMEOUT 902.45 538.06 None safe000_power.oepc.line396.yml TIMEOUT 915.14 532.76 None safe000_power.oepc.line416.yml false(unreach-call) 81.18 49.77 None safe000_power.oepc.line417.yml false(unreach-call) 100.18 59.59 None safe000_power.oepc.line630.yml false(unreach-call) 101.55 59.91 None safe000_power.oepc.line631.yml false(unreach-call) 90.90 56.60 None safe000_power.oepc.line645.yml OUT OF MEMORY 777.89 414.71 None safe000_power.oepc.line646.yml OUT OF MEMORY 623.95 331.95 None safe000_power.oepc.line658.yml false(unreach-call) 103.51 61.50 None safe000_power.oepc.line659.yml false(unreach-call) 110.86 64.19 None safe000_power.oepc.line715.yml false(unreach-call) 94.58 59.30 None safe000_power.oepc.line716.yml false(unreach-call) 90.90 56.72 None safe000_power.oepc.line734.yml false(unreach-call) 87.96 53.25 None safe000_power.oepc.line735.yml false(unreach-call) 90.84 56.07 None safe000_power.oepc.line749.yml false(unreach-call) 107.61 63.30 None safe000_power.oepc.line750.yml false(unreach-call) 97.17 64.52 None safe000_power.oepc.line851.yml TIMEOUT 909.25 475.62 None safe000_power.oepc.line852.yml OUT OF MEMORY 669.64 373.87 None safe000_power.oepc.line864.yml OUT OF MEMORY 626.40 328.62 None safe000_power.oepc.line865.yml OUT OF MEMORY 886.53 496.33 None safe000_power.oepc.line884.yml OUT OF MEMORY 747.44 401.74 None safe000_power.oepc.line885.yml OUT OF MEMORY 516.31 275.46 None safe000_power.opt.line1118.yml true 141.68 85.84 None safe000_power.opt.line1119.yml true 122.67 77.33 None safe000_power.opt.line1146.yml true 145.19 94.94 None safe000_power.opt.line1147.yml true 145.35 88.35 None safe000_power.opt.line1174.yml true 215.51 139.33 None safe000_power.opt.line1175.yml true 257.28 167.32 None safe000_power.opt.line1208.yml OUT OF MEMORY 611.84 314.25 None safe000_power.opt.line1209.yml OUT OF MEMORY 808.97 413.77 None safe000_power.opt.line1223.yml OUT OF MEMORY 568.90 290.83 None safe000_power.opt.line1224.yml OUT OF MEMORY 674.02 361.64 None safe000_power.opt.line1271.yml OUT OF MEMORY 629.74 332.61 None safe000_power.opt.line1272.yml OUT OF MEMORY 758.00 388.38 None safe000_power.opt.line322.yml OUT OF MEMORY 307.84 172.69 None safe000_power.opt.line323.yml TIMEOUT 917.74 483.91 None safe000_power.opt.line337.yml OUT OF MEMORY 421.54 230.97 None safe000_power.opt.line338.yml OUT OF MEMORY 676.72 372.45 None safe000_power.opt.line461.yml false(unreach-call) 127.88 79.35 None safe000_power.opt.line462.yml false(unreach-call) 131.25 88.64 None safe000_power.opt.line476.yml false(unreach-call) 161.37 102.30 None safe000_power.opt.line477.yml false(unreach-call) 193.51 115.59 None safe000_power.opt.line493.yml OUT OF MEMORY 653.90 349.55 None safe000_power.opt.line494.yml OUT OF MEMORY 798.83 433.15 None safe000_power.opt.line525.yml OUT OF MEMORY 524.00 290.36 None safe000_power.opt.line526.yml OUT OF MEMORY 647.90 348.81 None safe000_power.opt.line546.yml OUT OF MEMORY 302.23 186.30 None safe000_power.opt.line547.yml OUT OF MEMORY 431.61 264.98 None safe000_power.opt.line760.yml OUT OF MEMORY 552.03 308.87 None safe000_power.opt.line761.yml OUT OF MEMORY 603.86 333.40 None safe000_power.opt.line775.yml OUT OF MEMORY 550.11 316.22 None safe000_power.opt.line776.yml OUT OF MEMORY 604.33 348.58 None safe000_power.opt.line788.yml OUT OF MEMORY 694.30 380.12 None safe000_power.opt.line789.yml OUT OF MEMORY 701.79 382.94 None safe000_power.opt.line815.yml OUT OF MEMORY 469.69 270.29 None safe000_power.opt.line816.yml OUT OF MEMORY 617.19 357.25 None safe000_power.opt.line830.yml OUT OF MEMORY 378.24 216.34 None safe000_power.opt.line831.yml OUT OF MEMORY 380.64 231.69 None safe000_power.opt.line916.yml TIMEOUT 914.14 491.52 None safe000_power.opt.line917.yml TIMEOUT 902.62 483.97 None safe000_power.opt.line931.yml OUT OF MEMORY 838.54 474.25 None safe000_power.opt.line932.yml TIMEOUT 921.27 497.29 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 10.62 6.59 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 9.29 6.27 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 11.52 6.89 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 9.23 6.60 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 13.66 8.01 None safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 11.65 7.07 None safe000_rmo.line1143.yml true 64.54 38.60 None safe000_rmo.line1144.yml true 54.54 34.89 None safe000_rmo.line1171.yml true 57.53 40.45 None safe000_rmo.line1172.yml true 64.71 39.23 None safe000_rmo.line1199.yml true 100.18 67.03 None safe000_rmo.line1200.yml true 101.99 67.56 None safe000_rmo.line1233.yml OUT OF MEMORY 796.31 407.69 None safe000_rmo.line1234.yml OUT OF MEMORY 817.92 432.10 None safe000_rmo.line1248.yml TIMEOUT 907.01 461.34 None safe000_rmo.line1249.yml TIMEOUT 921.40 479.16 None safe000_rmo.line1297.yml TIMEOUT 921.43 477.55 None safe000_rmo.line1298.yml OUT OF MEMORY 842.45 439.30 None safe000_rmo.line1310.yml OUT OF MEMORY 788.68 409.90 None safe000_rmo.line1311.yml OUT OF MEMORY 852.14 444.77 None safe000_rmo.line1330.yml TIMEOUT 921.45 476.32 None safe000_rmo.line1331.yml TIMEOUT 921.26 485.97 None safe000_rmo.line1460.yml OUT OF MEMORY 731.09 374.53 None safe000_rmo.line1461.yml OUT OF MEMORY 796.76 415.97 None safe000_rmo.line1482.yml OUT OF MEMORY 767.01 391.01 None safe000_rmo.line1483.yml OUT OF MEMORY 734.39 373.99 None safe000_rmo.line1497.yml OUT OF MEMORY 745.72 380.83 None safe000_rmo.line1498.yml OUT OF MEMORY 840.69 437.00 None safe000_rmo.line1510.yml OUT OF MEMORY 816.24 419.18 None safe000_rmo.line1511.yml TIMEOUT 921.36 477.54 None safe000_rmo.line309.yml false(unreach-call) 57.29 38.71 None safe000_rmo.line310.yml false(unreach-call) 66.43 40.29 None safe000_rmo.line322.yml false(unreach-call) 67.38 40.36 None safe000_rmo.line323.yml false(unreach-call) 60.90 41.85 None safe000_rmo.line342.yml false(unreach-call) 55.35 36.44 None safe000_rmo.line343.yml false(unreach-call) 67.38 40.04 None safe000_rmo.line470.yml false(unreach-call) 66.82 40.08 None safe000_rmo.line471.yml false(unreach-call) 64.71 42.00 None safe000_rmo.line485.yml TIMEOUT 921.42 492.46 None safe000_rmo.line486.yml TIMEOUT 916.59 497.24 None safe000_rmo.line498.yml false(unreach-call) 59.29 39.47 None safe000_rmo.line499.yml false(unreach-call) 72.21 42.07 None safe000_rmo.line555.yml false(unreach-call) 73.69 43.06 None safe000_rmo.line556.yml false(unreach-call) 67.57 43.80 None safe000_rmo.line574.yml false(unreach-call) 65.36 39.84 None safe000_rmo.line575.yml false(unreach-call) 70.42 41.48 None safe000_rmo.line589.yml false(unreach-call) 72.80 42.81 None safe000_rmo.line590.yml false(unreach-call) 64.17 41.90 None safe000_rmo.line691.yml TIMEOUT 921.28 500.86 None safe000_rmo.line692.yml TIMEOUT 915.21 492.74 None safe000_rmo.line704.yml TIMEOUT 921.05 483.70 None safe000_rmo.line705.yml TIMEOUT 921.24 498.04 None safe000_rmo.line724.yml OUT OF MEMORY 729.34 378.26 None safe000_rmo.line725.yml OUT OF MEMORY 754.96 399.60 None safe000_rmo.line850.yml TIMEOUT 917.32 483.13 None safe000_rmo.line851.yml OUT OF MEMORY 839.31 436.58 None safe000_rmo.line865.yml OUT OF MEMORY 793.93 413.72 None safe000_rmo.line866.yml OUT OF MEMORY 801.00 435.99 None safe000_rmo.line878.yml OUT OF MEMORY 813.03 425.94 None safe000_rmo.line879.yml OUT OF MEMORY 714.32 372.72 None safe000_rmo.line895.yml OUT OF MEMORY 295.54 161.39 None safe000_rmo.line896.yml OUT OF MEMORY 898.91 475.45 None safe000_rmo.line914.yml TIMEOUT 921.29 484.62 None safe000_rmo.line915.yml OUT OF MEMORY 879.15 465.84 None safe000_rmo.line929.yml TIMEOUT 906.76 473.98 None safe000_rmo.line930.yml TIMEOUT 921.27 497.10 None safe001_power.oepc.line1008.yml TIMEOUT 917.64 484.12 None safe001_power.oepc.line1009.yml TIMEOUT 904.00 484.93 None safe001_power.oepc.line1023.yml OUT OF MEMORY 835.00 440.19 None safe001_power.oepc.line1024.yml OUT OF MEMORY 789.07 413.53 None safe001_power.oepc.line1036.yml TIMEOUT 911.41 478.96 None safe001_power.oepc.line1037.yml OUT OF MEMORY 755.06 399.84 None safe001_power.oepc.line1053.yml OUT OF MEMORY 747.53 399.20 None safe001_power.oepc.line1054.yml OUT OF MEMORY 699.77 373.96 None safe001_power.oepc.line1072.yml TIMEOUT 918.71 483.18 None safe001_power.oepc.line1073.yml OUT OF MEMORY 833.04 446.52 None safe001_power.oepc.line1087.yml TIMEOUT 907.28 474.83 None safe001_power.oepc.line1088.yml TIMEOUT 921.34 497.12 None safe001_power.oepc.line1301.yml true 79.66 48.84 None safe001_power.oepc.line1302.yml true 79.09 49.06 None safe001_power.oepc.line1329.yml true 98.33 58.88 None safe001_power.oepc.line1330.yml true 82.59 53.04 None safe001_power.oepc.line1357.yml true 178.45 106.65 None safe001_power.oepc.line1358.yml true 160.71 101.91 None safe001_power.oepc.line1391.yml TIMEOUT 921.37 488.01 None safe001_power.oepc.line1392.yml OUT OF MEMORY 823.85 418.34 None safe001_power.oepc.line1406.yml OUT OF MEMORY 824.15 420.39 None safe001_power.oepc.line1407.yml TIMEOUT 903.39 465.58 None safe001_power.oepc.line1455.yml TIMEOUT 921.41 476.61 None safe001_power.oepc.line1456.yml TIMEOUT 905.93 459.80 None safe001_power.oepc.line1468.yml OUT OF MEMORY 860.63 442.65 None safe001_power.oepc.line1469.yml OUT OF MEMORY 791.78 417.94 None safe001_power.oepc.line1488.yml TIMEOUT 921.35 476.75 None safe001_power.oepc.line1489.yml TIMEOUT 916.90 481.97 None safe001_power.oepc.line1618.yml TIMEOUT 904.93 460.05 None safe001_power.oepc.line1619.yml TIMEOUT 911.58 477.81 None safe001_power.oepc.line1642.yml OUT OF MEMORY 806.98 410.57 None safe001_power.oepc.line1643.yml OUT OF MEMORY 815.54 415.70 None safe001_power.oepc.line1660.yml OUT OF MEMORY 889.59 459.46 None safe001_power.oepc.line1661.yml OUT OF MEMORY 813.14 414.39 None safe001_power.oepc.line1673.yml OUT OF MEMORY 803.48 416.46 None safe001_power.oepc.line1674.yml OUT OF MEMORY 831.70 426.70 None safe001_power.oepc.line329.yml false(unreach-call) 94.85 60.82 None safe001_power.oepc.line330.yml false(unreach-call) 104.96 62.30 None safe001_power.oepc.line344.yml false(unreach-call) 86.72 55.52 None safe001_power.oepc.line345.yml false(unreach-call) 99.44 59.58 None safe001_power.oepc.line361.yml TIMEOUT 903.51 561.03 None safe001_power.oepc.line362.yml OUT OF MEMORY 391.23 277.17 None safe001_power.oepc.line393.yml TIMEOUT 903.88 514.76 None safe001_power.oepc.line394.yml TIMEOUT 903.17 512.11 None safe001_power.oepc.line414.yml false(unreach-call) 100.62 59.44 None safe001_power.oepc.line415.yml false(unreach-call) 96.91 60.71 None safe001_power.oepc.line628.yml false(unreach-call) 102.42 60.34 None safe001_power.oepc.line629.yml false(unreach-call) 102.68 60.28 None safe001_power.oepc.line643.yml OUT OF MEMORY 421.06 242.36 None safe001_power.oepc.line644.yml TIMEOUT 911.33 479.39 None safe001_power.oepc.line656.yml false(unreach-call) 102.47 60.66 None safe001_power.oepc.line657.yml false(unreach-call) 101.17 59.64 None safe001_power.oepc.line713.yml false(unreach-call) 94.53 59.05 None safe001_power.oepc.line714.yml false(unreach-call) 86.36 55.13 None safe001_power.oepc.line732.yml false(unreach-call) 103.04 61.27 None safe001_power.oepc.line733.yml false(unreach-call) 90.41 56.69 None ---------------------------------------------------------------------------------------------------------------------- Run set 3 done 167621.01 6763.37 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk11 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk11 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk11 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk11 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk11 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk11 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk11 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk11 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk11 Run set 19 of 19: skipped Statistics: 900 Files correct: 149 correct true: 149 correct false: 0 incorrect: 188 incorrect true: 0 incorrect false: 188 unknown: 563 Score: -2710 (max: 1800)