BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk07, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk07, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk07 date: Thu, 2022-10-20 13:44:05 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-chunk07 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 ---------------------------------------------------------------------------------------------------------------------- safe014_power.oepc.line363.yml OUT OF MEMORY 210.23 114.83 None safe014_power.oepc.line364.yml OUT OF MEMORY 375.87 204.00 None safe014_power.oepc.line395.yml OUT OF MEMORY 363.03 191.69 None safe014_power.oepc.line396.yml OUT OF MEMORY 195.53 106.39 None safe014_power.oepc.line416.yml false(unreach-call) 20.10 12.76 None safe014_power.oepc.line417.yml false(unreach-call) 20.53 13.90 None safe014_power.oepc.line630.yml false(unreach-call) 23.74 13.73 None safe014_power.oepc.line631.yml false(unreach-call) 28.59 16.11 None safe014_power.oepc.line645.yml OUT OF MEMORY 494.94 256.17 None safe014_power.oepc.line646.yml OUT OF MEMORY 322.18 169.80 None safe014_power.oepc.line658.yml false(unreach-call) 20.00 13.03 None safe014_power.oepc.line659.yml false(unreach-call) 19.54 12.63 None safe014_power.oepc.line745.yml true 166.92 92.42 None safe014_power.oepc.line746.yml OUT OF MEMORY 362.04 191.39 None safe014_power.oepc.line764.yml OUT OF MEMORY 404.71 213.31 None safe014_power.oepc.line765.yml OUT OF MEMORY 393.64 204.91 None safe014_power.oepc.line779.yml OUT OF MEMORY 319.54 173.89 None safe014_power.oepc.line780.yml OUT OF MEMORY 424.63 219.99 None safe014_power.oepc.line966.yml true 17.08 11.11 None safe014_power.oepc.line967.yml true 21.11 12.28 None safe014_power.oepc.line994.yml true 18.25 11.76 None safe014_power.oepc.line995.yml true 24.34 13.82 None safe014_power.opt.line1007.yml true 19.08 11.82 None safe014_power.opt.line1008.yml true 22.64 13.17 None safe014_power.opt.line1035.yml true 26.71 17.05 None safe014_power.opt.line1036.yml true 37.41 20.62 None safe014_power.opt.line1069.yml OUT OF MEMORY 478.10 257.62 None safe014_power.opt.line1070.yml OUT OF MEMORY 618.96 321.96 None safe014_power.opt.line1084.yml OUT OF MEMORY 531.85 290.48 None safe014_power.opt.line1085.yml OUT OF MEMORY 515.72 273.94 None safe014_power.opt.line1132.yml OUT OF MEMORY 829.88 461.16 None safe014_power.opt.line1133.yml OUT OF MEMORY 779.61 431.85 None safe014_power.opt.line331.yml false(unreach-call) 21.62 13.41 None safe014_power.opt.line332.yml false(unreach-call) 19.95 11.75 None safe014_power.opt.line346.yml false(unreach-call) 27.54 15.36 None safe014_power.opt.line347.yml false(unreach-call) 19.36 13.00 None safe014_power.opt.line363.yml OUT OF MEMORY 424.81 243.52 None safe014_power.opt.line364.yml OUT OF MEMORY 389.62 230.42 None safe014_power.opt.line395.yml true 109.48 62.05 None safe014_power.opt.line396.yml OUT OF MEMORY 286.06 156.13 None safe014_power.opt.line416.yml false(unreach-call) 19.40 12.53 None safe014_power.opt.line417.yml false(unreach-call) 19.81 12.57 None safe014_power.opt.line630.yml false(unreach-call) 23.72 14.33 None safe014_power.opt.line631.yml false(unreach-call) 24.20 13.95 None safe014_power.opt.line645.yml OUT OF MEMORY 392.37 211.87 None safe014_power.opt.line646.yml OUT OF MEMORY 359.99 191.14 None safe014_power.opt.line658.yml false(unreach-call) 25.11 14.61 None safe014_power.opt.line659.yml false(unreach-call) 25.79 14.83 None safe014_power.opt.line777.yml OUT OF MEMORY 596.20 312.67 None safe014_power.opt.line778.yml OUT OF MEMORY 672.06 348.68 None safe014_power.opt.line792.yml OUT OF MEMORY 672.75 346.93 None safe014_power.opt.line793.yml OUT OF MEMORY 433.05 239.95 None safe014_power.opt.line979.yml true 19.05 12.56 None safe014_power.opt.line980.yml true 18.17 11.04 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 7.70 5.15 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 7.54 5.46 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 8.01 5.24 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 7.51 5.21 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 8.92 5.85 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 8.84 5.98 None safe014_rmo.oepc.line309.yml false(unreach-call) 18.14 10.73 None safe014_rmo.oepc.line310.yml false(unreach-call) 17.35 10.49 None safe014_rmo.oepc.line322.yml false(unreach-call) 20.61 11.94 None safe014_rmo.oepc.line323.yml false(unreach-call) 17.06 10.76 None safe014_rmo.oepc.line342.yml false(unreach-call) 15.13 10.00 None safe014_rmo.oepc.line343.yml false(unreach-call) 18.04 10.64 None safe014_rmo.oepc.line470.yml false(unreach-call) 21.35 12.21 None safe014_rmo.oepc.line471.yml false(unreach-call) 17.20 10.62 None safe014_rmo.oepc.line485.yml OUT OF MEMORY 368.54 192.39 None safe014_rmo.oepc.line486.yml OUT OF MEMORY 270.18 142.96 None safe014_rmo.oepc.line498.yml false(unreach-call) 17.61 11.06 None safe014_rmo.oepc.line499.yml false(unreach-call) 21.68 12.50 None safe014_rmo.oepc.line585.yml true 164.90 94.87 None safe014_rmo.oepc.line586.yml OUT OF MEMORY 368.06 193.14 None safe014_rmo.oepc.line604.yml true 365.25 205.42 None safe014_rmo.oepc.line605.yml OUT OF MEMORY 567.34 291.45 None safe014_rmo.oepc.line619.yml OUT OF MEMORY 470.99 248.58 None safe014_rmo.oepc.line620.yml OUT OF MEMORY 364.06 192.96 None safe014_rmo.oepc.line806.yml true 15.80 9.89 None safe014_rmo.oepc.line807.yml true 15.26 9.77 None safe014_rmo.oepc.line834.yml true 17.08 10.62 None safe014_rmo.oepc.line835.yml true 15.80 9.63 None safe014_rmo.oepc.line862.yml true 19.63 12.09 None safe014_rmo.oepc.line863.yml true 20.67 13.23 None safe014_rmo.oepc.line896.yml OUT OF MEMORY 461.89 246.75 None safe014_rmo.oepc.line897.yml OUT OF MEMORY 445.55 234.05 None safe014_rmo.oepc.line911.yml OUT OF MEMORY 576.83 301.72 None safe014_rmo.oepc.line912.yml OUT OF MEMORY 489.88 263.04 None safe014_rmo.oepc.line959.yml OUT OF MEMORY 583.11 331.22 None safe014_rmo.oepc.line960.yml OUT OF MEMORY 536.57 292.22 None safe014_rmo.opt.line1143.yml true 38.83 24.70 None safe014_rmo.opt.line1144.yml true 47.49 27.55 None safe014_rmo.opt.line1171.yml true 50.93 28.91 None safe014_rmo.opt.line1172.yml true 40.81 25.79 None safe014_rmo.opt.line1199.yml true 68.88 43.04 None safe014_rmo.opt.line1200.yml true 67.44 41.10 None safe014_rmo.opt.line1233.yml OUT OF MEMORY 619.54 326.90 None safe014_rmo.opt.line1234.yml OUT OF MEMORY 846.70 435.84 None safe014_rmo.opt.line1248.yml OUT OF MEMORY 775.50 401.04 None safe014_rmo.opt.line1249.yml OUT OF MEMORY 607.99 322.13 None safe014_rmo.opt.line1297.yml OUT OF MEMORY 657.99 346.76 None safe014_rmo.opt.line1298.yml OUT OF MEMORY 628.08 328.33 None safe014_rmo.opt.line1310.yml OUT OF MEMORY 643.50 334.14 None safe014_rmo.opt.line1311.yml OUT OF MEMORY 748.95 387.99 None safe014_rmo.opt.line1330.yml OUT OF MEMORY 652.57 341.16 None safe014_rmo.opt.line1331.yml OUT OF MEMORY 722.85 384.16 None safe014_rmo.opt.line1460.yml OUT OF MEMORY 641.89 337.83 None safe014_rmo.opt.line1461.yml OUT OF MEMORY 751.38 389.36 None safe014_rmo.opt.line1482.yml OUT OF MEMORY 645.75 335.15 None safe014_rmo.opt.line1483.yml OUT OF MEMORY 646.96 346.09 None safe014_rmo.opt.line1497.yml OUT OF MEMORY 635.40 339.01 None safe014_rmo.opt.line1498.yml OUT OF MEMORY 615.86 329.27 None safe014_rmo.opt.line1510.yml OUT OF MEMORY 628.55 330.47 None safe014_rmo.opt.line1511.yml OUT OF MEMORY 607.25 320.08 None safe014_rmo.opt.line314.yml false(unreach-call) 40.63 23.70 None safe014_rmo.opt.line315.yml false(unreach-call) 53.74 30.40 None safe014_rmo.opt.line327.yml false(unreach-call) 43.46 25.32 None safe014_rmo.opt.line328.yml false(unreach-call) 54.34 30.80 None safe014_rmo.opt.line347.yml false(unreach-call) 40.23 24.55 None safe014_rmo.opt.line348.yml false(unreach-call) 55.13 30.79 None safe014_rmo.opt.line473.yml false(unreach-call) 41.78 24.89 None safe014_rmo.opt.line474.yml false(unreach-call) 50.76 29.72 None safe014_rmo.opt.line488.yml OUT OF MEMORY 799.23 420.94 None safe014_rmo.opt.line489.yml OUT OF MEMORY 818.62 434.34 None safe014_rmo.opt.line501.yml false(unreach-call) 38.96 23.92 None safe014_rmo.opt.line502.yml false(unreach-call) 53.89 31.19 None safe014_rmo.opt.line548.yml false(unreach-call) 43.65 25.75 None safe014_rmo.opt.line549.yml false(unreach-call) 42.56 25.33 None safe014_rmo.opt.line562.yml false(unreach-call) 50.98 29.82 None safe014_rmo.opt.line563.yml false(unreach-call) 44.93 26.68 None safe014_rmo.opt.line581.yml false(unreach-call) 46.01 27.99 None safe014_rmo.opt.line582.yml false(unreach-call) 43.63 25.49 None safe014_rmo.opt.line596.yml false(unreach-call) 47.65 29.54 None safe014_rmo.opt.line597.yml false(unreach-call) 54.49 31.94 None safe014_rmo.opt.line698.yml OUT OF MEMORY 626.76 333.05 None safe014_rmo.opt.line699.yml OUT OF MEMORY 865.03 474.44 None safe014_rmo.opt.line711.yml OUT OF MEMORY 580.89 304.50 None safe014_rmo.opt.line712.yml OUT OF MEMORY 606.24 321.43 None safe014_rmo.opt.line731.yml OUT OF MEMORY 489.15 265.41 None safe014_rmo.opt.line732.yml OUT OF MEMORY 734.86 386.51 None safe014_rmo.opt.line859.yml OUT OF MEMORY 615.48 350.92 None safe014_rmo.opt.line860.yml OUT OF MEMORY 734.86 388.42 None safe014_rmo.opt.line874.yml OUT OF MEMORY 648.00 349.25 None safe014_rmo.opt.line875.yml OUT OF MEMORY 693.27 384.89 None safe014_rmo.opt.line887.yml OUT OF MEMORY 646.96 349.32 None safe014_rmo.opt.line888.yml OUT OF MEMORY 669.41 363.14 None safe014_rmo.opt.line914.yml OUT OF MEMORY 589.49 325.89 None safe014_rmo.opt.line915.yml OUT OF MEMORY 702.50 371.56 None safe014_rmo.opt.line929.yml TIMEOUT 914.54 489.31 None safe014_rmo.opt.line930.yml TIMEOUT 921.32 499.17 None safe015_power.oepc.line1045.yml OUT OF MEMORY 762.51 404.22 None safe015_power.oepc.line1046.yml OUT OF MEMORY 798.86 422.11 None safe015_power.oepc.line1060.yml OUT OF MEMORY 820.68 458.34 None safe015_power.oepc.line1061.yml TIMEOUT 921.22 500.27 None safe015_power.oepc.line1073.yml OUT OF MEMORY 722.30 398.03 None safe015_power.oepc.line1074.yml TIMEOUT 921.26 489.08 None safe015_power.oepc.line1100.yml OUT OF MEMORY 735.63 396.20 None safe015_power.oepc.line1101.yml OUT OF MEMORY 853.66 455.60 None safe015_power.oepc.line1115.yml TIMEOUT 906.28 496.01 None safe015_power.oepc.line1116.yml TIMEOUT 916.14 500.87 None safe015_power.oepc.line1328.yml true 47.75 29.32 None safe015_power.oepc.line1329.yml true 49.61 31.77 None safe015_power.oepc.line1356.yml true 46.11 27.70 None safe015_power.oepc.line1357.yml true 49.50 32.15 None safe015_power.oepc.line1384.yml true 76.02 45.24 None safe015_power.oepc.line1385.yml true 82.26 51.02 None safe015_power.oepc.line1418.yml OUT OF MEMORY 500.85 264.05 None safe015_power.oepc.line1419.yml OUT OF MEMORY 444.46 234.06 None safe015_power.oepc.line1433.yml OUT OF MEMORY 445.23 240.86 None safe015_power.oepc.line1434.yml OUT OF MEMORY 411.51 218.88 None safe015_power.oepc.line1482.yml OUT OF MEMORY 776.80 402.31 None safe015_power.oepc.line1483.yml OUT OF MEMORY 404.60 216.49 None safe015_power.oepc.line1495.yml OUT OF MEMORY 462.23 250.64 None safe015_power.oepc.line1496.yml OUT OF MEMORY 517.15 293.44 None safe015_power.oepc.line1515.yml OUT OF MEMORY 481.91 265.25 None safe015_power.oepc.line1516.yml OUT OF MEMORY 664.86 347.54 None safe015_power.oepc.line1645.yml OUT OF MEMORY 661.60 343.82 None safe015_power.oepc.line1646.yml OUT OF MEMORY 526.05 278.49 None safe015_power.oepc.line1667.yml OUT OF MEMORY 379.01 202.83 None safe015_power.oepc.line1668.yml OUT OF MEMORY 450.19 244.44 None safe015_power.oepc.line1682.yml OUT OF MEMORY 481.28 255.07 None safe015_power.oepc.line1683.yml OUT OF MEMORY 469.61 258.34 None safe015_power.oepc.line1695.yml OUT OF MEMORY 528.44 285.34 None safe015_power.oepc.line1696.yml OUT OF MEMORY 673.83 350.70 None safe015_power.oepc.line316.yml false(unreach-call) 50.58 29.67 None safe015_power.oepc.line317.yml false(unreach-call) 48.02 28.61 None safe015_power.oepc.line329.yml false(unreach-call) 49.39 30.48 None safe015_power.oepc.line330.yml false(unreach-call) 49.75 29.33 None safe015_power.oepc.line349.yml false(unreach-call) 46.92 29.82 None safe015_power.oepc.line350.yml false(unreach-call) 47.17 27.97 None safe015_power.oepc.line475.yml false(unreach-call) 49.35 30.03 None safe015_power.oepc.line476.yml false(unreach-call) 49.04 33.71 None safe015_power.oepc.line490.yml TIMEOUT 912.31 515.38 None safe015_power.oepc.line491.yml OUT OF MEMORY 483.35 262.11 None safe015_power.oepc.line503.yml false(unreach-call) 49.15 29.61 None safe015_power.oepc.line504.yml false(unreach-call) 48.62 28.71 None safe015_power.oepc.line607.yml TIMEOUT 901.82 592.70 None safe015_power.oepc.line608.yml TIMEOUT 901.06 542.53 None safe015_power.oepc.line622.yml TIMEOUT 901.96 518.61 None safe015_power.oepc.line623.yml TIMEOUT 901.81 509.01 None safe015_power.oepc.line746.yml OUT OF MEMORY 601.44 331.04 None safe015_power.oepc.line747.yml OUT OF MEMORY 498.34 274.08 None safe015_power.oepc.line761.yml TIMEOUT 902.02 500.01 None safe015_power.oepc.line762.yml OUT OF MEMORY 652.01 358.47 None safe015_power.oepc.line778.yml OUT OF MEMORY 860.13 456.96 None safe015_power.oepc.line779.yml OUT OF MEMORY 708.95 369.93 None safe015_power.oepc.line810.yml OUT OF MEMORY 260.48 167.51 None safe015_power.oepc.line811.yml OUT OF MEMORY 322.50 195.79 None safe015_power.oepc.line831.yml OUT OF MEMORY 564.70 303.84 None safe015_power.oepc.line832.yml OUT OF MEMORY 751.30 405.34 None safe015_power.opt.line1021.yml OUT OF MEMORY 702.28 391.52 None safe015_power.opt.line1022.yml TIMEOUT 907.02 492.23 None safe015_power.opt.line1036.yml TIMEOUT 921.39 498.98 None safe015_power.opt.line1037.yml OUT OF MEMORY 774.71 426.06 None safe015_power.opt.line1049.yml TIMEOUT 905.26 483.31 None safe015_power.opt.line1050.yml TIMEOUT 919.85 516.27 None safe015_power.opt.line1076.yml TIMEOUT 907.77 484.31 None safe015_power.opt.line1077.yml TIMEOUT 918.08 510.06 None safe015_power.opt.line1091.yml TIMEOUT 909.50 487.49 None safe015_power.opt.line1092.yml TIMEOUT 916.31 509.54 None safe015_power.opt.line1304.yml true 41.04 25.32 None safe015_power.opt.line1305.yml true 40.89 24.60 None safe015_power.opt.line1332.yml true 42.90 26.61 None safe015_power.opt.line1333.yml true 42.43 25.59 None safe015_power.opt.line1360.yml true 72.80 47.31 None safe015_power.opt.line1361.yml true 74.51 45.13 None safe015_power.opt.line1394.yml OUT OF MEMORY 527.83 274.89 None safe015_power.opt.line1395.yml OUT OF MEMORY 654.97 355.67 None safe015_power.opt.line1409.yml OUT OF MEMORY 611.45 320.28 None safe015_power.opt.line1410.yml OUT OF MEMORY 614.59 327.12 None safe015_power.opt.line1458.yml OUT OF MEMORY 705.63 370.70 None safe015_power.opt.line1459.yml OUT OF MEMORY 609.69 319.34 None safe015_power.opt.line1471.yml OUT OF MEMORY 497.32 265.20 None safe015_power.opt.line1472.yml OUT OF MEMORY 645.88 334.40 None safe015_power.opt.line1491.yml OUT OF MEMORY 685.48 353.59 None safe015_power.opt.line1492.yml OUT OF MEMORY 632.94 327.97 None safe015_power.opt.line1621.yml OUT OF MEMORY 648.67 342.80 None safe015_power.opt.line1622.yml OUT OF MEMORY 676.38 358.71 None safe015_power.opt.line1643.yml OUT OF MEMORY 735.73 386.24 None safe015_power.opt.line1644.yml OUT OF MEMORY 655.00 346.64 None safe015_power.opt.line1658.yml OUT OF MEMORY 891.49 456.41 None safe015_power.opt.line1659.yml OUT OF MEMORY 863.08 442.58 None safe015_power.opt.line1671.yml OUT OF MEMORY 672.88 348.97 None safe015_power.opt.line1672.yml OUT OF MEMORY 488.11 253.90 None safe015_power.opt.line316.yml false(unreach-call) 42.98 27.52 None safe015_power.opt.line317.yml false(unreach-call) 41.87 26.96 None safe015_power.opt.line329.yml false(unreach-call) 43.43 28.07 None safe015_power.opt.line330.yml false(unreach-call) 44.21 28.38 None safe015_power.opt.line349.yml false(unreach-call) 41.90 26.39 None safe015_power.opt.line350.yml false(unreach-call) 42.09 26.93 None safe015_power.opt.line475.yml false(unreach-call) 43.58 26.68 None safe015_power.opt.line476.yml false(unreach-call) 41.10 26.60 None safe015_power.opt.line490.yml OUT OF MEMORY 869.54 481.85 None safe015_power.opt.line491.yml OUT OF MEMORY 578.84 314.42 None safe015_power.opt.line503.yml false(unreach-call) 41.14 27.01 None safe015_power.opt.line504.yml false(unreach-call) 50.12 29.57 None safe015_power.opt.line550.yml false(unreach-call) 43.25 27.63 None safe015_power.opt.line551.yml false(unreach-call) 44.10 26.40 None safe015_power.opt.line564.yml false(unreach-call) 54.17 31.27 None safe015_power.opt.line565.yml false(unreach-call) 45.16 28.74 None safe015_power.opt.line583.yml false(unreach-call) 45.41 26.69 None safe015_power.opt.line584.yml false(unreach-call) 53.30 31.20 None safe015_power.opt.line598.yml false(unreach-call) 53.54 31.24 None safe015_power.opt.line599.yml false(unreach-call) 45.81 27.63 None safe015_power.opt.line722.yml OUT OF MEMORY 597.93 329.36 None safe015_power.opt.line723.yml TIMEOUT 904.41 483.47 None safe015_power.opt.line737.yml OUT OF MEMORY 764.56 398.12 None safe015_power.opt.line738.yml OUT OF MEMORY 816.06 437.36 None safe015_power.opt.line754.yml OUT OF MEMORY 840.02 455.17 None safe015_power.opt.line755.yml OUT OF MEMORY 778.13 418.25 None safe015_power.opt.line786.yml OUT OF MEMORY 813.63 440.76 None safe015_power.opt.line787.yml OUT OF MEMORY 838.77 474.49 None safe015_power.opt.line807.yml OUT OF MEMORY 575.60 313.37 None safe015_power.opt.line808.yml TIMEOUT 921.27 511.52 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 10.02 6.17 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line367.yml true 9.92 6.03 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 9.96 6.22 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line395.yml true 9.97 6.18 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 11.52 7.00 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line423.yml true 10.99 6.70 None safe015_rmo.line1144.yml true 50.35 29.47 None safe015_rmo.line1145.yml true 48.23 28.36 None safe015_rmo.line1172.yml true 42.78 26.92 None safe015_rmo.line1173.yml true 52.37 30.41 None safe015_rmo.line1200.yml true 90.91 51.68 None safe015_rmo.line1201.yml true 71.57 44.07 None safe015_rmo.line1234.yml OUT OF MEMORY 840.86 433.70 None safe015_rmo.line1235.yml OUT OF MEMORY 778.40 402.08 None safe015_rmo.line1249.yml OUT OF MEMORY 700.33 363.70 None safe015_rmo.line1250.yml OUT OF MEMORY 639.66 338.36 None safe015_rmo.line1298.yml OUT OF MEMORY 593.31 316.47 None safe015_rmo.line1299.yml OUT OF MEMORY 613.98 322.63 None safe015_rmo.line1311.yml OUT OF MEMORY 718.86 372.93 None safe015_rmo.line1312.yml OUT OF MEMORY 582.04 304.83 None safe015_rmo.line1331.yml OUT OF MEMORY 594.25 309.49 None safe015_rmo.line1332.yml OUT OF MEMORY 659.57 347.18 None safe015_rmo.line1461.yml OUT OF MEMORY 801.42 414.29 None safe015_rmo.line1462.yml OUT OF MEMORY 587.10 310.88 None safe015_rmo.line1483.yml OUT OF MEMORY 560.38 301.10 None safe015_rmo.line1484.yml OUT OF MEMORY 518.78 271.27 None ---------------------------------------------------------------------------------------------------------------------- Run set 1 done 115216.25 4592.44 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk07 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 ---------------------------------------------------------------------------------------------------------------------- safe014_power.oepc.line363.yml OUT OF MEMORY 321.60 184.58 None safe014_power.oepc.line364.yml OUT OF MEMORY 163.62 98.84 None safe014_power.oepc.line395.yml OUT OF MEMORY 305.06 168.80 None safe014_power.oepc.line396.yml OUT OF MEMORY 315.99 176.09 None safe014_power.oepc.line416.yml false(unreach-call) 19.67 13.16 None safe014_power.oepc.line417.yml false(unreach-call) 18.19 14.33 None safe014_power.oepc.line630.yml false(unreach-call) 23.20 13.71 None safe014_power.oepc.line631.yml false(unreach-call) 25.17 14.66 None safe014_power.oepc.line645.yml OUT OF MEMORY 397.77 211.69 None safe014_power.oepc.line646.yml OUT OF MEMORY 285.62 154.44 None safe014_power.oepc.line658.yml false(unreach-call) 19.48 13.28 None safe014_power.oepc.line659.yml false(unreach-call) 18.90 13.32 None safe014_power.oepc.line745.yml true 148.21 88.84 None safe014_power.oepc.line746.yml OUT OF MEMORY 234.13 128.32 None safe014_power.oepc.line764.yml true 346.59 195.07 None safe014_power.oepc.line765.yml OUT OF MEMORY 399.32 215.87 None safe014_power.oepc.line779.yml OUT OF MEMORY 468.25 250.92 None safe014_power.oepc.line780.yml OUT OF MEMORY 374.92 197.47 None safe014_power.oepc.line966.yml true 18.14 12.53 None safe014_power.oepc.line967.yml true 21.18 12.46 None safe014_power.oepc.line994.yml true 18.92 12.30 None safe014_power.oepc.line995.yml true 22.29 13.12 None safe014_power.opt.line1007.yml true 17.20 12.06 None safe014_power.opt.line1008.yml true 22.70 13.50 None safe014_power.opt.line1035.yml true 25.18 17.70 None safe014_power.opt.line1036.yml true 30.56 18.05 None safe014_power.opt.line1069.yml OUT OF MEMORY 489.19 273.03 None safe014_power.opt.line1070.yml OUT OF MEMORY 617.25 320.87 None safe014_power.opt.line1084.yml OUT OF MEMORY 525.68 290.96 None safe014_power.opt.line1085.yml OUT OF MEMORY 502.29 277.47 None safe014_power.opt.line1132.yml TIMEOUT 902.98 534.25 None safe014_power.opt.line1133.yml TIMEOUT 902.70 536.58 None safe014_power.opt.line331.yml false(unreach-call) 23.79 13.84 None safe014_power.opt.line332.yml false(unreach-call) 18.56 11.50 None safe014_power.opt.line346.yml false(unreach-call) 24.39 14.08 None safe014_power.opt.line347.yml false(unreach-call) 21.21 12.92 None safe014_power.opt.line363.yml OUT OF MEMORY 219.20 143.45 None safe014_power.opt.line364.yml OUT OF MEMORY 119.70 79.31 None safe014_power.opt.line395.yml true 89.08 55.39 None safe014_power.opt.line396.yml OUT OF MEMORY 283.35 158.75 None safe014_power.opt.line416.yml false(unreach-call) 24.20 13.99 None safe014_power.opt.line417.yml false(unreach-call) 25.35 14.47 None safe014_power.opt.line630.yml false(unreach-call) 24.79 14.54 None safe014_power.opt.line631.yml false(unreach-call) 23.91 13.93 None safe014_power.opt.line645.yml OUT OF MEMORY 385.15 206.65 None safe014_power.opt.line646.yml OUT OF MEMORY 422.70 222.66 None safe014_power.opt.line658.yml false(unreach-call) 23.84 13.83 None safe014_power.opt.line659.yml false(unreach-call) 20.02 13.23 None safe014_power.opt.line777.yml OUT OF MEMORY 550.26 292.58 None safe014_power.opt.line778.yml OUT OF MEMORY 436.42 243.50 None safe014_power.opt.line792.yml OUT OF MEMORY 693.33 363.31 None safe014_power.opt.line793.yml OUT OF MEMORY 552.29 287.64 None safe014_power.opt.line979.yml true 18.91 11.33 None safe014_power.opt.line980.yml true 17.30 10.50 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 6.97 5.79 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 7.99 5.93 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 7.78 5.14 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 7.51 5.21 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 9.21 5.88 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 8.52 6.39 None safe014_rmo.oepc.line309.yml false(unreach-call) 14.85 9.61 None safe014_rmo.oepc.line310.yml false(unreach-call) 15.12 9.99 None safe014_rmo.oepc.line322.yml false(unreach-call) 15.08 10.85 None safe014_rmo.oepc.line323.yml false(unreach-call) 14.84 9.48 None safe014_rmo.oepc.line342.yml false(unreach-call) 14.93 9.37 None safe014_rmo.oepc.line343.yml false(unreach-call) 14.63 9.63 None safe014_rmo.oepc.line470.yml false(unreach-call) 15.67 10.97 None safe014_rmo.oepc.line471.yml false(unreach-call) 15.91 10.49 None safe014_rmo.oepc.line485.yml OUT OF MEMORY 291.25 156.04 None safe014_rmo.oepc.line486.yml OUT OF MEMORY 321.78 174.94 None safe014_rmo.oepc.line498.yml false(unreach-call) 16.77 10.48 None safe014_rmo.oepc.line499.yml false(unreach-call) 15.59 10.60 None safe014_rmo.oepc.line585.yml true 136.38 80.86 None safe014_rmo.oepc.line586.yml OUT OF MEMORY 655.97 337.83 None safe014_rmo.oepc.line604.yml true 315.27 186.12 None safe014_rmo.oepc.line605.yml OUT OF MEMORY 411.72 223.49 None safe014_rmo.oepc.line619.yml true 544.39 299.11 None safe014_rmo.oepc.line620.yml OUT OF MEMORY 623.96 322.39 None safe014_rmo.oepc.line806.yml true 13.52 8.84 None safe014_rmo.oepc.line807.yml true 14.21 9.63 None safe014_rmo.oepc.line834.yml true 14.56 9.69 None safe014_rmo.oepc.line835.yml true 15.29 9.88 None safe014_rmo.oepc.line862.yml true 20.48 12.54 None safe014_rmo.oepc.line863.yml true 17.68 12.50 None safe014_rmo.oepc.line896.yml OUT OF MEMORY 431.98 232.08 None safe014_rmo.oepc.line897.yml OUT OF MEMORY 405.75 222.77 None safe014_rmo.oepc.line911.yml OUT OF MEMORY 439.26 236.98 None safe014_rmo.oepc.line912.yml OUT OF MEMORY 800.00 417.42 None safe014_rmo.oepc.line959.yml OUT OF MEMORY 604.90 352.81 None safe014_rmo.oepc.line960.yml TIMEOUT 902.12 491.61 None safe014_rmo.opt.line1143.yml true 33.58 22.66 None safe014_rmo.opt.line1144.yml true 33.23 21.83 None safe014_rmo.opt.line1171.yml true 34.10 23.11 None safe014_rmo.opt.line1172.yml true 35.17 23.20 None safe014_rmo.opt.line1199.yml true 57.47 36.94 None safe014_rmo.opt.line1200.yml true 56.93 38.21 None safe014_rmo.opt.line1233.yml OUT OF MEMORY 562.54 302.34 None safe014_rmo.opt.line1234.yml OUT OF MEMORY 534.74 281.94 None safe014_rmo.opt.line1248.yml OUT OF MEMORY 613.36 327.40 None safe014_rmo.opt.line1249.yml OUT OF MEMORY 535.95 298.57 None safe014_rmo.opt.line1297.yml OUT OF MEMORY 551.67 293.41 None safe014_rmo.opt.line1298.yml OUT OF MEMORY 684.98 360.27 None safe014_rmo.opt.line1310.yml OUT OF MEMORY 522.17 283.63 None safe014_rmo.opt.line1311.yml OUT OF MEMORY 550.86 295.31 None safe014_rmo.opt.line1330.yml OUT OF MEMORY 600.44 317.80 None safe014_rmo.opt.line1331.yml OUT OF MEMORY 546.09 290.73 None safe014_rmo.opt.line1460.yml OUT OF MEMORY 715.81 376.08 None safe014_rmo.opt.line1461.yml OUT OF MEMORY 511.49 275.18 None safe014_rmo.opt.line1482.yml OUT OF MEMORY 419.39 223.97 None safe014_rmo.opt.line1483.yml OUT OF MEMORY 596.29 320.37 None safe014_rmo.opt.line1497.yml OUT OF MEMORY 697.31 364.56 None safe014_rmo.opt.line1498.yml OUT OF MEMORY 597.12 330.04 None safe014_rmo.opt.line1510.yml OUT OF MEMORY 517.00 274.93 None safe014_rmo.opt.line1511.yml OUT OF MEMORY 556.00 297.38 None safe014_rmo.opt.line314.yml false(unreach-call) 37.20 23.79 None safe014_rmo.opt.line315.yml false(unreach-call) 37.20 23.20 None safe014_rmo.opt.line327.yml false(unreach-call) 38.04 24.62 None safe014_rmo.opt.line328.yml false(unreach-call) 48.16 27.77 None safe014_rmo.opt.line347.yml false(unreach-call) 37.20 26.04 None safe014_rmo.opt.line348.yml false(unreach-call) 38.58 24.32 None safe014_rmo.opt.line473.yml false(unreach-call) 36.86 22.65 None safe014_rmo.opt.line474.yml false(unreach-call) 37.34 23.56 None safe014_rmo.opt.line488.yml OUT OF MEMORY 399.88 231.67 None safe014_rmo.opt.line489.yml OUT OF MEMORY 520.30 290.97 None safe014_rmo.opt.line501.yml false(unreach-call) 46.13 27.24 None safe014_rmo.opt.line502.yml false(unreach-call) 36.34 22.53 None safe014_rmo.opt.line548.yml false(unreach-call) 40.02 25.11 None safe014_rmo.opt.line549.yml false(unreach-call) 37.98 24.31 None safe014_rmo.opt.line562.yml false(unreach-call) 38.03 23.36 None safe014_rmo.opt.line563.yml false(unreach-call) 40.80 25.61 None safe014_rmo.opt.line581.yml false(unreach-call) 37.97 24.18 None safe014_rmo.opt.line582.yml false(unreach-call) 49.66 28.91 None safe014_rmo.opt.line596.yml false(unreach-call) 38.42 23.13 None safe014_rmo.opt.line597.yml false(unreach-call) 42.21 26.68 None safe014_rmo.opt.line698.yml OUT OF MEMORY 741.68 404.92 None safe014_rmo.opt.line699.yml TIMEOUT 903.22 491.70 None safe014_rmo.opt.line711.yml OUT OF MEMORY 835.33 437.23 None safe014_rmo.opt.line712.yml OUT OF MEMORY 503.96 274.73 None safe014_rmo.opt.line731.yml OUT OF MEMORY 419.51 223.98 None safe014_rmo.opt.line732.yml OUT OF MEMORY 614.24 337.94 None safe014_rmo.opt.line859.yml OUT OF MEMORY 642.68 352.24 None safe014_rmo.opt.line860.yml OUT OF MEMORY 684.40 367.60 None safe014_rmo.opt.line874.yml OUT OF MEMORY 543.02 301.16 None safe014_rmo.opt.line875.yml OUT OF MEMORY 643.53 350.25 None safe014_rmo.opt.line887.yml OUT OF MEMORY 726.24 403.45 None safe014_rmo.opt.line888.yml TIMEOUT 917.22 490.75 None safe014_rmo.opt.line914.yml OUT OF MEMORY 839.86 447.04 None safe014_rmo.opt.line915.yml OUT OF MEMORY 720.10 387.04 None safe014_rmo.opt.line929.yml OUT OF MEMORY 698.67 382.03 None safe014_rmo.opt.line930.yml OUT OF MEMORY 887.84 480.28 None safe015_power.oepc.line1045.yml OUT OF MEMORY 702.27 384.11 None safe015_power.oepc.line1046.yml TIMEOUT 908.12 489.97 None safe015_power.oepc.line1060.yml TIMEOUT 915.00 503.10 None safe015_power.oepc.line1061.yml TIMEOUT 907.07 497.20 None safe015_power.oepc.line1073.yml TIMEOUT 912.44 490.22 None safe015_power.oepc.line1074.yml OUT OF MEMORY 795.83 423.19 None safe015_power.oepc.line1100.yml TIMEOUT 916.40 494.99 None safe015_power.oepc.line1101.yml TIMEOUT 921.20 500.28 None safe015_power.oepc.line1115.yml OUT OF MEMORY 867.93 503.48 None safe015_power.oepc.line1116.yml TIMEOUT 910.53 500.37 None safe015_power.oepc.line1328.yml true 39.12 24.05 None safe015_power.oepc.line1329.yml true 48.91 28.72 None safe015_power.oepc.line1356.yml true 39.30 24.04 None safe015_power.oepc.line1357.yml true 48.16 28.90 None safe015_power.oepc.line1384.yml true 83.95 49.41 None safe015_power.oepc.line1385.yml true 65.00 39.98 None safe015_power.oepc.line1418.yml OUT OF MEMORY 650.40 345.01 None safe015_power.oepc.line1419.yml OUT OF MEMORY 661.91 348.72 None safe015_power.oepc.line1433.yml OUT OF MEMORY 443.47 239.23 None safe015_power.oepc.line1434.yml OUT OF MEMORY 486.89 265.96 None safe015_power.oepc.line1482.yml OUT OF MEMORY 327.93 182.49 None safe015_power.oepc.line1483.yml OUT OF MEMORY 501.35 273.23 None safe015_power.oepc.line1495.yml OUT OF MEMORY 431.12 233.84 None safe015_power.oepc.line1496.yml OUT OF MEMORY 382.00 211.23 None safe015_power.oepc.line1515.yml OUT OF MEMORY 377.31 212.29 None safe015_power.oepc.line1516.yml OUT OF MEMORY 634.78 334.32 None safe015_power.oepc.line1645.yml OUT OF MEMORY 465.30 250.08 None safe015_power.oepc.line1646.yml OUT OF MEMORY 341.68 186.83 None safe015_power.oepc.line1667.yml OUT OF MEMORY 603.88 321.11 None safe015_power.oepc.line1668.yml OUT OF MEMORY 505.26 271.47 None safe015_power.oepc.line1682.yml OUT OF MEMORY 518.47 283.13 None safe015_power.oepc.line1683.yml OUT OF MEMORY 638.29 336.72 None safe015_power.oepc.line1695.yml OUT OF MEMORY 679.24 355.85 None safe015_power.oepc.line1696.yml OUT OF MEMORY 364.52 208.89 None safe015_power.oepc.line316.yml false(unreach-call) 40.95 26.23 None safe015_power.oepc.line317.yml false(unreach-call) 40.36 26.42 None safe015_power.oepc.line329.yml false(unreach-call) 42.58 25.73 None safe015_power.oepc.line330.yml false(unreach-call) 43.60 26.55 None safe015_power.oepc.line349.yml false(unreach-call) 43.24 27.74 None safe015_power.oepc.line350.yml false(unreach-call) 42.85 25.46 None safe015_power.oepc.line475.yml false(unreach-call) 41.78 25.41 None safe015_power.oepc.line476.yml false(unreach-call) 42.11 27.01 None safe015_power.oepc.line490.yml OUT OF MEMORY 818.04 464.27 None safe015_power.oepc.line491.yml OUT OF MEMORY 639.95 346.10 None safe015_power.oepc.line503.yml false(unreach-call) 40.16 24.57 None safe015_power.oepc.line504.yml false(unreach-call) 43.16 26.55 None safe015_power.oepc.line607.yml OUT OF MEMORY 292.18 212.73 None safe015_power.oepc.line608.yml TIMEOUT 901.95 622.17 None safe015_power.oepc.line622.yml TIMEOUT 902.52 554.42 None safe015_power.oepc.line623.yml TIMEOUT 902.31 554.11 None safe015_power.oepc.line746.yml OUT OF MEMORY 762.57 410.43 None safe015_power.oepc.line747.yml OUT OF MEMORY 532.10 289.32 None safe015_power.oepc.line761.yml TIMEOUT 901.20 512.42 None safe015_power.oepc.line762.yml OUT OF MEMORY 580.66 338.83 None safe015_power.oepc.line778.yml OUT OF MEMORY 652.29 362.85 None safe015_power.oepc.line779.yml OUT OF MEMORY 691.98 365.27 None safe015_power.oepc.line810.yml OUT OF MEMORY 316.77 193.82 None safe015_power.oepc.line811.yml OUT OF MEMORY 274.59 177.47 None safe015_power.oepc.line831.yml OUT OF MEMORY 724.58 388.37 None safe015_power.oepc.line832.yml OUT OF MEMORY 784.36 422.87 None safe015_power.opt.line1021.yml OUT OF MEMORY 646.83 365.16 None safe015_power.opt.line1022.yml TIMEOUT 921.36 498.56 None safe015_power.opt.line1036.yml OUT OF MEMORY 815.31 444.45 None safe015_power.opt.line1037.yml OUT OF MEMORY 782.21 425.71 None safe015_power.opt.line1049.yml OUT OF MEMORY 679.27 384.68 None safe015_power.opt.line1050.yml OUT OF MEMORY 888.55 476.06 None safe015_power.opt.line1076.yml OUT OF MEMORY 847.72 469.74 None safe015_power.opt.line1077.yml TIMEOUT 913.62 496.90 None safe015_power.opt.line1091.yml OUT OF MEMORY 830.02 452.65 None safe015_power.opt.line1092.yml TIMEOUT 900.28 498.96 None safe015_power.opt.line1304.yml true 43.91 26.05 None safe015_power.opt.line1305.yml true 44.45 26.69 None safe015_power.opt.line1332.yml true 35.57 23.52 None safe015_power.opt.line1333.yml true 43.11 26.07 None safe015_power.opt.line1360.yml true 75.01 43.85 None safe015_power.opt.line1361.yml true 60.64 39.72 None safe015_power.opt.line1394.yml OUT OF MEMORY 792.11 411.40 None safe015_power.opt.line1395.yml OUT OF MEMORY 608.57 324.89 None safe015_power.opt.line1409.yml OUT OF MEMORY 766.75 398.54 None safe015_power.opt.line1410.yml OUT OF MEMORY 631.97 335.13 None safe015_power.opt.line1458.yml OUT OF MEMORY 630.08 332.95 None safe015_power.opt.line1459.yml OUT OF MEMORY 607.77 325.97 None safe015_power.opt.line1471.yml OUT OF MEMORY 615.14 328.76 None safe015_power.opt.line1472.yml OUT OF MEMORY 603.75 316.96 None safe015_power.opt.line1491.yml OUT OF MEMORY 793.17 411.59 None safe015_power.opt.line1492.yml OUT OF MEMORY 588.41 309.32 None safe015_power.opt.line1621.yml OUT OF MEMORY 796.41 425.76 None safe015_power.opt.line1622.yml OUT OF MEMORY 797.71 415.97 None safe015_power.opt.line1643.yml OUT OF MEMORY 703.75 374.61 None safe015_power.opt.line1644.yml OUT OF MEMORY 587.73 308.30 None safe015_power.opt.line1658.yml OUT OF MEMORY 575.01 305.55 None safe015_power.opt.line1659.yml OUT OF MEMORY 763.93 396.17 None safe015_power.opt.line1671.yml OUT OF MEMORY 718.85 379.61 None safe015_power.opt.line1672.yml OUT OF MEMORY 627.57 339.58 None safe015_power.opt.line316.yml false(unreach-call) 45.77 27.25 None safe015_power.opt.line317.yml false(unreach-call) 47.23 27.47 None safe015_power.opt.line329.yml false(unreach-call) 46.41 27.54 None safe015_power.opt.line330.yml false(unreach-call) 36.76 27.40 None safe015_power.opt.line349.yml false(unreach-call) 37.22 23.96 None safe015_power.opt.line350.yml false(unreach-call) 47.12 27.77 None safe015_power.opt.line475.yml false(unreach-call) 38.22 23.23 None safe015_power.opt.line476.yml false(unreach-call) 39.22 27.51 None safe015_power.opt.line490.yml TIMEOUT 917.95 524.18 None safe015_power.opt.line491.yml OUT OF MEMORY 682.53 369.71 None safe015_power.opt.line503.yml false(unreach-call) 47.45 28.06 None safe015_power.opt.line504.yml false(unreach-call) 38.02 27.87 None safe015_power.opt.line550.yml false(unreach-call) 50.98 30.22 None safe015_power.opt.line551.yml false(unreach-call) 44.80 26.81 None safe015_power.opt.line564.yml false(unreach-call) 40.27 29.55 None safe015_power.opt.line565.yml false(unreach-call) 41.35 25.05 None safe015_power.opt.line583.yml false(unreach-call) 48.26 28.49 None safe015_power.opt.line584.yml false(unreach-call) 40.39 29.49 None safe015_power.opt.line598.yml false(unreach-call) 41.31 24.95 None safe015_power.opt.line599.yml false(unreach-call) 55.61 31.71 None safe015_power.opt.line722.yml TIMEOUT 921.28 497.92 None safe015_power.opt.line723.yml OUT OF MEMORY 813.32 480.32 None safe015_power.opt.line737.yml OUT OF MEMORY 668.49 353.97 None safe015_power.opt.line738.yml TIMEOUT 902.23 510.67 None safe015_power.opt.line754.yml OUT OF MEMORY 800.39 434.16 None safe015_power.opt.line755.yml OUT OF MEMORY 837.00 460.55 None safe015_power.opt.line786.yml OUT OF MEMORY 783.68 426.85 None safe015_power.opt.line787.yml OUT OF MEMORY 711.26 392.45 None safe015_power.opt.line807.yml OUT OF MEMORY 650.56 345.53 None safe015_power.opt.line808.yml OUT OF MEMORY 881.12 474.72 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 7.65 5.50 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line367.yml true 7.86 5.20 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 7.77 5.29 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line395.yml true 9.94 6.22 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 10.10 6.40 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line423.yml true 10.81 6.88 None safe015_rmo.line1144.yml true 39.30 25.25 None safe015_rmo.line1145.yml true 41.89 25.28 None safe015_rmo.line1172.yml true 38.12 24.17 None safe015_rmo.line1173.yml true 46.33 27.10 None safe015_rmo.line1200.yml true 62.61 39.51 None safe015_rmo.line1201.yml true 71.74 42.21 None safe015_rmo.line1234.yml OUT OF MEMORY 566.08 300.67 None safe015_rmo.line1235.yml OUT OF MEMORY 613.36 326.71 None safe015_rmo.line1249.yml TIMEOUT 909.93 474.00 None safe015_rmo.line1250.yml OUT OF MEMORY 503.70 267.20 None safe015_rmo.line1298.yml OUT OF MEMORY 617.97 325.90 None safe015_rmo.line1299.yml OUT OF MEMORY 692.86 364.61 None safe015_rmo.line1311.yml OUT OF MEMORY 517.29 275.00 None safe015_rmo.line1312.yml OUT OF MEMORY 505.40 272.31 None safe015_rmo.line1331.yml OUT OF MEMORY 580.64 313.25 None safe015_rmo.line1332.yml OUT OF MEMORY 641.72 339.02 None safe015_rmo.line1461.yml OUT OF MEMORY 578.41 306.90 None safe015_rmo.line1462.yml OUT OF MEMORY 490.82 268.17 None safe015_rmo.line1483.yml OUT OF MEMORY 692.30 363.65 None safe015_rmo.line1484.yml OUT OF MEMORY 464.04 251.27 None ---------------------------------------------------------------------------------------------------------------------- Run set 2 done 111747.29 4527.59 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk07 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 ---------------------------------------------------------------------------------------------------------------------- safe014_power.oepc.line363.yml OUT OF MEMORY 575.93 302.48 None safe014_power.oepc.line364.yml OUT OF MEMORY 446.59 234.67 None safe014_power.oepc.line395.yml OUT OF MEMORY 467.37 243.27 None safe014_power.oepc.line396.yml OUT OF MEMORY 420.26 220.18 None safe014_power.oepc.line416.yml false(unreach-call) 27.26 16.97 None safe014_power.oepc.line417.yml false(unreach-call) 26.10 17.82 None safe014_power.oepc.line630.yml false(unreach-call) 31.61 18.45 None safe014_power.oepc.line631.yml false(unreach-call) 33.64 19.39 None safe014_power.oepc.line645.yml OUT OF MEMORY 641.21 327.07 None safe014_power.oepc.line646.yml OUT OF MEMORY 346.46 179.52 None safe014_power.oepc.line658.yml false(unreach-call) 28.06 17.24 None safe014_power.oepc.line659.yml false(unreach-call) 26.38 17.56 None safe014_power.oepc.line745.yml true 252.82 150.81 None safe014_power.oepc.line746.yml OUT OF MEMORY 423.60 217.91 None safe014_power.oepc.line764.yml OUT OF MEMORY 433.96 226.90 None safe014_power.oepc.line765.yml OUT OF MEMORY 486.46 253.03 None safe014_power.oepc.line779.yml OUT OF MEMORY 531.93 274.56 None safe014_power.oepc.line780.yml OUT OF MEMORY 445.47 238.44 None safe014_power.oepc.line966.yml true 31.75 18.29 None safe014_power.oepc.line967.yml true 28.35 16.91 None safe014_power.oepc.line994.yml true 31.31 18.47 None safe014_power.oepc.line995.yml true 30.13 18.06 None safe014_power.opt.line1007.yml true 31.25 18.43 None safe014_power.opt.line1008.yml true 31.80 18.58 None safe014_power.opt.line1035.yml true 42.53 25.84 None safe014_power.opt.line1036.yml true 43.00 26.20 None safe014_power.opt.line1069.yml OUT OF MEMORY 827.27 425.64 None safe014_power.opt.line1070.yml OUT OF MEMORY 286.86 154.92 None safe014_power.opt.line1084.yml OUT OF MEMORY 441.84 252.01 None safe014_power.opt.line1085.yml OUT OF MEMORY 642.65 349.08 None safe014_power.opt.line1132.yml OUT OF MEMORY 820.56 503.45 None safe014_power.opt.line1133.yml OUT OF MEMORY 762.04 477.27 None safe014_power.opt.line331.yml false(unreach-call) 24.22 17.41 None safe014_power.opt.line332.yml false(unreach-call) 31.17 18.47 None safe014_power.opt.line346.yml false(unreach-call) 23.34 15.81 None safe014_power.opt.line347.yml false(unreach-call) 23.88 15.53 None safe014_power.opt.line363.yml OUT OF MEMORY 235.96 146.06 None safe014_power.opt.line364.yml TIMEOUT 912.04 530.09 None safe014_power.opt.line395.yml true 142.99 90.54 None safe014_power.opt.line396.yml OUT OF MEMORY 431.89 225.32 None safe014_power.opt.line416.yml false(unreach-call) 23.18 15.83 None safe014_power.opt.line417.yml false(unreach-call) 27.02 16.98 None safe014_power.opt.line630.yml false(unreach-call) 26.43 16.35 None safe014_power.opt.line631.yml false(unreach-call) 25.78 16.67 None safe014_power.opt.line645.yml OUT OF MEMORY 450.95 234.57 None safe014_power.opt.line646.yml OUT OF MEMORY 273.82 146.55 None safe014_power.opt.line658.yml false(unreach-call) 27.07 17.46 None safe014_power.opt.line659.yml false(unreach-call) 27.13 17.41 None safe014_power.opt.line777.yml OUT OF MEMORY 553.21 306.85 None safe014_power.opt.line778.yml OUT OF MEMORY 275.34 162.93 None safe014_power.opt.line792.yml OUT OF MEMORY 317.32 165.52 None safe014_power.opt.line793.yml OUT OF MEMORY 313.67 165.77 None safe014_power.opt.line979.yml true 29.89 17.54 None safe014_power.opt.line980.yml true 22.61 14.69 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 7.97 5.51 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 10.12 6.24 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 8.07 4.95 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 10.85 6.61 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 9.32 6.50 None safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 11.82 7.08 None safe014_rmo.oepc.line309.yml false(unreach-call) 17.96 12.22 None safe014_rmo.oepc.line310.yml false(unreach-call) 24.12 14.21 None safe014_rmo.oepc.line322.yml false(unreach-call) 19.69 13.17 None safe014_rmo.oepc.line323.yml false(unreach-call) 18.95 12.14 None safe014_rmo.oepc.line342.yml false(unreach-call) 24.71 14.42 None safe014_rmo.oepc.line343.yml false(unreach-call) 21.90 13.23 None safe014_rmo.oepc.line470.yml false(unreach-call) 19.63 13.18 None safe014_rmo.oepc.line471.yml false(unreach-call) 27.30 15.46 None safe014_rmo.oepc.line485.yml OUT OF MEMORY 368.28 193.26 None safe014_rmo.oepc.line486.yml OUT OF MEMORY 417.76 217.02 None safe014_rmo.oepc.line498.yml false(unreach-call) 25.18 14.74 None safe014_rmo.oepc.line499.yml false(unreach-call) 20.38 13.08 None safe014_rmo.oepc.line585.yml true 320.39 184.77 None safe014_rmo.oepc.line586.yml OUT OF MEMORY 703.47 357.37 None safe014_rmo.oepc.line604.yml OUT OF MEMORY 645.53 333.25 None safe014_rmo.oepc.line605.yml OUT OF MEMORY 762.47 387.62 None safe014_rmo.oepc.line619.yml OUT OF MEMORY 772.46 401.21 None safe014_rmo.oepc.line620.yml OUT OF MEMORY 475.43 243.61 None safe014_rmo.oepc.line806.yml true 18.15 12.69 None safe014_rmo.oepc.line807.yml true 18.52 11.73 None safe014_rmo.oepc.line834.yml true 20.00 12.78 None safe014_rmo.oepc.line835.yml true 18.72 11.65 None safe014_rmo.oepc.line862.yml true 27.59 17.13 None safe014_rmo.oepc.line863.yml true 27.21 17.50 None safe014_rmo.oepc.line896.yml OUT OF MEMORY 602.07 310.46 None safe014_rmo.oepc.line897.yml OUT OF MEMORY 391.65 207.87 None safe014_rmo.oepc.line911.yml OUT OF MEMORY 675.12 360.88 None safe014_rmo.oepc.line912.yml OUT OF MEMORY 702.25 377.80 None safe014_rmo.oepc.line959.yml OUT OF MEMORY 623.08 348.55 None safe014_rmo.oepc.line960.yml OUT OF MEMORY 505.59 303.23 None safe014_rmo.opt.line1143.yml true 55.01 34.36 None safe014_rmo.opt.line1144.yml true 52.39 32.93 None safe014_rmo.opt.line1171.yml true 53.96 33.70 None safe014_rmo.opt.line1172.yml true 57.09 34.70 None safe014_rmo.opt.line1199.yml true 92.52 58.54 None safe014_rmo.opt.line1200.yml true 116.72 70.80 None safe014_rmo.opt.line1233.yml OUT OF MEMORY 749.64 382.86 None safe014_rmo.opt.line1234.yml OUT OF MEMORY 701.78 370.48 None safe014_rmo.opt.line1248.yml OUT OF MEMORY 739.34 373.77 None safe014_rmo.opt.line1249.yml OUT OF MEMORY 711.90 362.73 None safe014_rmo.opt.line1297.yml OUT OF MEMORY 826.15 428.63 None safe014_rmo.opt.line1298.yml TIMEOUT 921.23 478.12 None safe014_rmo.opt.line1310.yml TIMEOUT 921.34 475.88 None safe014_rmo.opt.line1311.yml OUT OF MEMORY 734.79 375.40 None safe014_rmo.opt.line1330.yml TIMEOUT 921.29 476.30 None safe014_rmo.opt.line1331.yml OUT OF MEMORY 688.79 358.25 None safe014_rmo.opt.line1460.yml OUT OF MEMORY 807.52 411.93 None safe014_rmo.opt.line1461.yml OUT OF MEMORY 693.09 358.07 None safe014_rmo.opt.line1482.yml TIMEOUT 921.25 476.32 None safe014_rmo.opt.line1483.yml OUT OF MEMORY 690.90 354.60 None safe014_rmo.opt.line1497.yml OUT OF MEMORY 769.87 399.12 None safe014_rmo.opt.line1498.yml OUT OF MEMORY 725.59 369.51 None safe014_rmo.opt.line1510.yml OUT OF MEMORY 722.36 367.06 None safe014_rmo.opt.line1511.yml OUT OF MEMORY 692.51 353.14 None safe014_rmo.opt.line314.yml false(unreach-call) 55.65 34.76 None safe014_rmo.opt.line315.yml false(unreach-call) 57.49 36.74 None safe014_rmo.opt.line327.yml false(unreach-call) 56.49 36.66 None safe014_rmo.opt.line328.yml false(unreach-call) 57.24 35.10 None safe014_rmo.opt.line347.yml false(unreach-call) 56.94 36.96 None safe014_rmo.opt.line348.yml false(unreach-call) 59.24 37.05 None safe014_rmo.opt.line473.yml false(unreach-call) 69.12 40.55 None safe014_rmo.opt.line474.yml false(unreach-call) 75.04 43.95 None safe014_rmo.opt.line488.yml TIMEOUT 921.34 491.26 None safe014_rmo.opt.line489.yml TIMEOUT 921.32 496.56 None safe014_rmo.opt.line501.yml false(unreach-call) 60.17 38.78 None safe014_rmo.opt.line502.yml false(unreach-call) 57.74 38.41 None safe014_rmo.opt.line548.yml false(unreach-call) 73.92 43.83 None safe014_rmo.opt.line549.yml false(unreach-call) 76.47 45.13 None safe014_rmo.opt.line562.yml false(unreach-call) 73.66 43.19 None safe014_rmo.opt.line563.yml false(unreach-call) 63.37 40.55 None safe014_rmo.opt.line581.yml false(unreach-call) 61.26 38.70 None safe014_rmo.opt.line582.yml false(unreach-call) 61.70 40.43 None safe014_rmo.opt.line596.yml false(unreach-call) 67.03 41.12 None safe014_rmo.opt.line597.yml false(unreach-call) 75.29 45.03 None safe014_rmo.opt.line698.yml TIMEOUT 907.34 473.86 None safe014_rmo.opt.line699.yml OUT OF MEMORY 618.33 342.71 None safe014_rmo.opt.line711.yml OUT OF MEMORY 734.29 386.63 None safe014_rmo.opt.line712.yml TIMEOUT 911.56 483.45 None safe014_rmo.opt.line731.yml OUT OF MEMORY 677.21 355.24 None safe014_rmo.opt.line732.yml OUT OF MEMORY 285.58 156.91 None safe014_rmo.opt.line859.yml TIMEOUT 913.21 481.00 None safe014_rmo.opt.line860.yml TIMEOUT 916.93 481.05 None safe014_rmo.opt.line874.yml OUT OF MEMORY 408.34 218.34 None safe014_rmo.opt.line875.yml TIMEOUT 921.27 488.96 None safe014_rmo.opt.line887.yml TIMEOUT 921.40 484.75 None safe014_rmo.opt.line888.yml OUT OF MEMORY 764.94 418.63 None safe014_rmo.opt.line914.yml TIMEOUT 918.41 484.66 None safe014_rmo.opt.line915.yml TIMEOUT 910.83 473.27 None safe014_rmo.opt.line929.yml TIMEOUT 921.16 490.77 None safe014_rmo.opt.line930.yml TIMEOUT 920.50 493.82 None safe015_power.oepc.line1045.yml OUT OF MEMORY 858.37 456.73 None safe015_power.oepc.line1046.yml OUT OF MEMORY 805.88 419.81 None safe015_power.oepc.line1060.yml OUT OF MEMORY 686.76 367.53 None safe015_power.oepc.line1061.yml TIMEOUT 914.19 483.29 None safe015_power.oepc.line1073.yml OUT OF MEMORY 316.85 177.07 None safe015_power.oepc.line1074.yml OUT OF MEMORY 407.28 217.03 None safe015_power.oepc.line1100.yml OUT OF MEMORY 324.87 182.52 None safe015_power.oepc.line1101.yml TIMEOUT 919.44 483.12 None safe015_power.oepc.line1115.yml TIMEOUT 910.26 480.51 None safe015_power.oepc.line1116.yml TIMEOUT 921.27 489.35 None safe015_power.oepc.line1328.yml true 66.15 41.28 None safe015_power.oepc.line1329.yml true 65.76 42.16 None safe015_power.oepc.line1356.yml true 66.60 42.15 None safe015_power.oepc.line1357.yml true 67.28 44.02 None safe015_power.oepc.line1384.yml true 127.34 77.33 None safe015_power.oepc.line1385.yml true 109.50 70.33 None safe015_power.oepc.line1418.yml OUT OF MEMORY 690.08 353.35 None safe015_power.oepc.line1419.yml OUT OF MEMORY 856.66 441.12 None safe015_power.oepc.line1433.yml OUT OF MEMORY 769.70 395.16 None safe015_power.oepc.line1434.yml OUT OF MEMORY 630.24 320.04 None safe015_power.oepc.line1482.yml OUT OF MEMORY 850.67 435.81 None safe015_power.oepc.line1483.yml OUT OF MEMORY 754.38 403.85 None safe015_power.oepc.line1495.yml OUT OF MEMORY 673.02 344.05 None safe015_power.oepc.line1496.yml OUT OF MEMORY 855.12 436.99 None safe015_power.oepc.line1515.yml OUT OF MEMORY 753.82 389.40 None safe015_power.oepc.line1516.yml OUT OF MEMORY 705.84 364.44 None safe015_power.oepc.line1645.yml TIMEOUT 921.22 478.27 None safe015_power.oepc.line1646.yml OUT OF MEMORY 861.54 437.90 None safe015_power.oepc.line1667.yml OUT OF MEMORY 681.27 352.43 None safe015_power.oepc.line1668.yml OUT OF MEMORY 657.68 336.54 None safe015_power.oepc.line1682.yml OUT OF MEMORY 696.25 358.08 None safe015_power.oepc.line1683.yml OUT OF MEMORY 620.41 317.35 None safe015_power.oepc.line1695.yml OUT OF MEMORY 635.40 326.27 None safe015_power.oepc.line1696.yml OUT OF MEMORY 686.90 356.82 None safe015_power.oepc.line316.yml false(unreach-call) 70.20 46.63 None safe015_power.oepc.line317.yml false(unreach-call) 68.41 48.66 None safe015_power.oepc.line329.yml false(unreach-call) 68.12 46.50 None safe015_power.oepc.line330.yml false(unreach-call) 80.77 48.19 None safe015_power.oepc.line349.yml false(unreach-call) 68.93 47.42 None safe015_power.oepc.line350.yml false(unreach-call) 69.64 46.10 None safe015_power.oepc.line475.yml false(unreach-call) 67.62 47.73 None safe015_power.oepc.line476.yml false(unreach-call) 80.73 47.98 None safe015_power.oepc.line490.yml TIMEOUT 913.98 513.51 None safe015_power.oepc.line491.yml OUT OF MEMORY 884.39 458.23 None safe015_power.oepc.line503.yml false(unreach-call) 67.21 47.49 None safe015_power.oepc.line504.yml false(unreach-call) 68.27 46.94 None safe015_power.oepc.line607.yml OUT OF MEMORY 383.89 282.09 None safe015_power.oepc.line608.yml OUT OF MEMORY 835.40 551.13 None safe015_power.oepc.line622.yml OUT OF MEMORY 665.58 429.35 None safe015_power.oepc.line623.yml OUT OF MEMORY 612.19 396.29 None safe015_power.oepc.line746.yml TIMEOUT 908.27 477.67 None safe015_power.oepc.line747.yml OUT OF MEMORY 738.62 385.70 None safe015_power.oepc.line761.yml OUT OF MEMORY 245.48 141.07 None safe015_power.oepc.line762.yml OUT OF MEMORY 256.17 144.56 None safe015_power.oepc.line778.yml TIMEOUT 911.65 491.69 None safe015_power.oepc.line779.yml OUT OF MEMORY 874.57 452.88 None safe015_power.oepc.line810.yml OUT OF MEMORY 374.89 247.32 None safe015_power.oepc.line811.yml OUT OF MEMORY 457.22 287.63 None safe015_power.oepc.line831.yml OUT OF MEMORY 870.16 454.37 None safe015_power.oepc.line832.yml TIMEOUT 921.25 483.77 None safe015_power.opt.line1021.yml TIMEOUT 909.55 500.95 None safe015_power.opt.line1022.yml TIMEOUT 921.31 498.58 None safe015_power.opt.line1036.yml OUT OF MEMORY 492.47 278.40 None safe015_power.opt.line1037.yml TIMEOUT 909.26 483.49 None safe015_power.opt.line1049.yml TIMEOUT 917.16 501.06 None safe015_power.opt.line1050.yml TIMEOUT 921.29 500.48 None safe015_power.opt.line1076.yml TIMEOUT 908.83 484.55 None safe015_power.opt.line1077.yml TIMEOUT 915.97 500.10 None safe015_power.opt.line1091.yml TIMEOUT 920.66 497.38 None safe015_power.opt.line1092.yml TIMEOUT 903.39 488.03 None safe015_power.opt.line1304.yml true 71.85 42.88 None safe015_power.opt.line1305.yml true 59.71 38.79 None safe015_power.opt.line1332.yml true 71.70 43.07 None safe015_power.opt.line1333.yml true 58.65 36.65 None safe015_power.opt.line1360.yml true 101.23 66.32 None safe015_power.opt.line1361.yml true 119.99 72.83 None safe015_power.opt.line1394.yml OUT OF MEMORY 812.24 417.22 None safe015_power.opt.line1395.yml OUT OF MEMORY 822.29 421.95 None safe015_power.opt.line1409.yml OUT OF MEMORY 708.46 358.76 None safe015_power.opt.line1410.yml OUT OF MEMORY 743.08 385.58 None safe015_power.opt.line1458.yml TIMEOUT 921.27 475.32 None safe015_power.opt.line1459.yml OUT OF MEMORY 813.71 426.36 None safe015_power.opt.line1471.yml TIMEOUT 921.39 476.60 None safe015_power.opt.line1472.yml OUT OF MEMORY 738.29 375.57 None safe015_power.opt.line1491.yml OUT OF MEMORY 667.82 343.96 None safe015_power.opt.line1492.yml OUT OF MEMORY 786.81 402.02 None safe015_power.opt.line1621.yml OUT OF MEMORY 681.77 348.77 None safe015_power.opt.line1622.yml OUT OF MEMORY 717.89 372.68 None safe015_power.opt.line1643.yml TIMEOUT 921.31 476.37 None safe015_power.opt.line1644.yml TIMEOUT 921.49 476.48 None safe015_power.opt.line1658.yml OUT OF MEMORY 746.01 378.43 None safe015_power.opt.line1659.yml OUT OF MEMORY 737.17 377.27 None safe015_power.opt.line1671.yml OUT OF MEMORY 792.58 404.09 None safe015_power.opt.line1672.yml OUT OF MEMORY 772.20 397.08 None safe015_power.opt.line316.yml false(unreach-call) 58.27 37.50 None safe015_power.opt.line317.yml false(unreach-call) 60.35 41.72 None safe015_power.opt.line329.yml false(unreach-call) 72.96 42.99 None safe015_power.opt.line330.yml false(unreach-call) 57.62 39.49 None safe015_power.opt.line349.yml false(unreach-call) 58.73 36.29 None safe015_power.opt.line350.yml false(unreach-call) 72.19 42.90 None safe015_power.opt.line475.yml false(unreach-call) 57.39 37.17 None safe015_power.opt.line476.yml false(unreach-call) 59.06 39.74 None safe015_power.opt.line490.yml OUT OF MEMORY 375.54 207.73 None safe015_power.opt.line491.yml TIMEOUT 906.69 475.22 None safe015_power.opt.line503.yml false(unreach-call) 57.44 35.83 None safe015_power.opt.line504.yml false(unreach-call) 72.00 42.33 None safe015_power.opt.line550.yml false(unreach-call) 60.49 42.64 None safe015_power.opt.line551.yml false(unreach-call) 59.44 37.13 None safe015_power.opt.line564.yml false(unreach-call) 62.45 40.01 None safe015_power.opt.line565.yml false(unreach-call) 78.14 46.06 None safe015_power.opt.line583.yml false(unreach-call) 60.89 41.43 None safe015_power.opt.line584.yml false(unreach-call) 73.56 44.06 None safe015_power.opt.line598.yml false(unreach-call) 62.44 41.01 None safe015_power.opt.line599.yml false(unreach-call) 62.83 39.02 None safe015_power.opt.line722.yml TIMEOUT 921.35 490.97 None safe015_power.opt.line723.yml TIMEOUT 912.17 500.11 None safe015_power.opt.line737.yml TIMEOUT 921.31 485.46 None safe015_power.opt.line738.yml TIMEOUT 921.43 493.29 None safe015_power.opt.line754.yml OUT OF MEMORY 719.76 388.64 None safe015_power.opt.line755.yml TIMEOUT 911.28 479.81 None safe015_power.opt.line786.yml OUT OF MEMORY 585.81 306.41 None safe015_power.opt.line787.yml TIMEOUT 908.03 480.22 None safe015_power.opt.line807.yml OUT OF MEMORY 321.01 177.14 None safe015_power.opt.line808.yml OUT OF MEMORY 728.80 389.50 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line366.yml true 8.63 5.86 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line367.yml true 8.39 5.47 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 10.26 6.30 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line395.yml true 9.27 6.17 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 13.42 7.75 None safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.line423.yml true 10.92 7.52 None safe015_rmo.line1144.yml true 60.17 37.49 None safe015_rmo.line1145.yml true 68.92 41.92 None safe015_rmo.line1172.yml true 61.70 40.37 None safe015_rmo.line1173.yml true 58.49 37.97 None safe015_rmo.line1200.yml true 120.08 72.78 None safe015_rmo.line1201.yml true 102.30 65.52 None safe015_rmo.line1234.yml OUT OF MEMORY 744.68 379.28 None safe015_rmo.line1235.yml OUT OF MEMORY 756.15 390.40 None safe015_rmo.line1249.yml TIMEOUT 921.20 477.08 None safe015_rmo.line1250.yml TIMEOUT 921.37 477.99 None safe015_rmo.line1298.yml OUT OF MEMORY 659.72 334.45 None safe015_rmo.line1299.yml OUT OF MEMORY 735.34 377.99 None safe015_rmo.line1311.yml OUT OF MEMORY 776.29 401.87 None safe015_rmo.line1312.yml OUT OF MEMORY 716.22 366.61 None safe015_rmo.line1331.yml TIMEOUT 918.11 474.20 None safe015_rmo.line1332.yml OUT OF MEMORY 695.97 356.53 None safe015_rmo.line1461.yml OUT OF MEMORY 697.27 357.12 None safe015_rmo.line1462.yml OUT OF MEMORY 712.59 363.98 None safe015_rmo.line1483.yml OUT OF MEMORY 874.96 446.40 None safe015_rmo.line1484.yml OUT OF MEMORY 668.68 343.60 None ---------------------------------------------------------------------------------------------------------------------- Run set 3 done 129786.16 5125.01 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk07 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk07 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk07 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk07 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk07 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk07 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk07 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk07 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk07 Run set 19 of 19: skipped Statistics: 900 Files correct: 169 correct true: 169 correct false: 0 incorrect: 216 incorrect true: 0 incorrect false: 216 unknown: 515 Score: -3118 (max: 1800)