BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk03, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk03, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk03 date: Wed, 2022-10-19 19:12:55 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-chunk03 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe025_rmo.line1486.yml OUT OF MEMORY 692.83 362.75 None safe025_rmo.line1487.yml OUT OF MEMORY 728.03 383.33 None safe025_rmo.line1501.yml OUT OF MEMORY 826.96 426.65 None safe025_rmo.line1502.yml OUT OF MEMORY 582.97 305.84 None safe025_rmo.line1514.yml OUT OF MEMORY 627.82 332.61 None safe025_rmo.line1515.yml OUT OF MEMORY 606.94 335.10 None safe025_rmo.line318.yml false(unreach-call) 50.36 29.54 None safe025_rmo.line319.yml false(unreach-call) 52.32 30.40 None safe025_rmo.line331.yml false(unreach-call) 52.67 30.37 None safe025_rmo.line332.yml false(unreach-call) 41.45 25.07 None safe025_rmo.line351.yml false(unreach-call) 44.00 27.64 None safe025_rmo.line352.yml false(unreach-call) 43.35 26.91 None safe025_rmo.line477.yml false(unreach-call) 41.71 26.33 None safe025_rmo.line478.yml false(unreach-call) 43.45 25.82 None safe025_rmo.line492.yml OUT OF MEMORY 696.32 375.37 None safe025_rmo.line493.yml OUT OF MEMORY 558.95 302.45 None safe025_rmo.line505.yml false(unreach-call) 44.33 27.54 None safe025_rmo.line506.yml false(unreach-call) 45.13 28.21 None safe025_rmo.line552.yml false(unreach-call) 46.89 27.78 None safe025_rmo.line553.yml false(unreach-call) 53.86 31.23 None safe025_rmo.line566.yml false(unreach-call) 56.35 31.86 None safe025_rmo.line567.yml false(unreach-call) 56.51 32.36 None safe025_rmo.line585.yml false(unreach-call) 43.98 27.44 None safe025_rmo.line586.yml false(unreach-call) 45.27 28.57 None safe025_rmo.line600.yml false(unreach-call) 47.04 28.70 None safe025_rmo.line601.yml false(unreach-call) 54.91 31.77 None safe025_rmo.line702.yml TIMEOUT 912.02 482.21 None safe025_rmo.line703.yml TIMEOUT 902.25 483.81 None safe025_rmo.line715.yml OUT OF MEMORY 546.37 293.08 None safe025_rmo.line716.yml OUT OF MEMORY 513.84 283.41 None safe025_rmo.line735.yml OUT OF MEMORY 535.28 285.37 None safe025_rmo.line736.yml OUT OF MEMORY 789.31 412.73 None safe025_rmo.line863.yml OUT OF MEMORY 545.64 295.31 None safe025_rmo.line864.yml OUT OF MEMORY 674.22 356.78 None safe025_rmo.line878.yml OUT OF MEMORY 497.28 272.73 None safe025_rmo.line879.yml OUT OF MEMORY 485.82 268.98 None safe025_rmo.line891.yml OUT OF MEMORY 658.60 358.00 None safe025_rmo.line892.yml OUT OF MEMORY 613.28 335.93 None safe025_rmo.line918.yml OUT OF MEMORY 676.08 367.73 None safe025_rmo.line919.yml OUT OF MEMORY 745.73 403.41 None safe025_rmo.line933.yml OUT OF MEMORY 730.73 400.62 None safe025_rmo.line934.yml TIMEOUT 919.84 493.79 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line744.yml true 17.80 10.53 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line745.yml true 17.88 10.71 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line772.yml true 19.04 11.02 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line773.yml true 17.52 10.43 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line800.yml true 27.58 15.61 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line801.yml true 26.51 15.12 None safe026_tso.line357.yml true 9.16 5.69 None safe026_tso.line358.yml true 8.89 5.62 None safe026_tso.line385.yml true 9.47 5.94 None safe026_tso.line386.yml true 9.08 5.75 None safe026_tso.line413.yml true 11.25 6.76 None safe026_tso.line414.yml true 9.79 6.13 None safe027_power.oepc.line1010.yml OUT OF MEMORY 675.69 350.95 None safe027_power.oepc.line1011.yml OUT OF MEMORY 632.81 329.34 None safe027_power.oepc.line1029.yml OUT OF MEMORY 670.41 348.71 None safe027_power.oepc.line1030.yml OUT OF MEMORY 642.85 335.66 None safe027_power.oepc.line1044.yml OUT OF MEMORY 516.25 272.77 None safe027_power.oepc.line1045.yml OUT OF MEMORY 550.06 300.95 None safe027_power.oepc.line1239.yml OUT OF MEMORY 622.12 339.58 None safe027_power.oepc.line1240.yml OUT OF MEMORY 484.53 255.09 None safe027_power.oepc.line1267.yml OUT OF MEMORY 593.00 314.22 None safe027_power.oepc.line1268.yml OUT OF MEMORY 513.07 274.30 None safe027_power.oepc.line1295.yml OUT OF MEMORY 321.78 181.80 None safe027_power.oepc.line1296.yml OUT OF MEMORY 389.43 213.86 None safe027_power.oepc.line1323.yml OUT OF MEMORY 546.15 287.79 None safe027_power.oepc.line1324.yml OUT OF MEMORY 690.71 357.28 None safe027_power.oepc.line1357.yml OUT OF MEMORY 591.25 306.54 None safe027_power.oepc.line1358.yml OUT OF MEMORY 395.44 210.41 None safe027_power.oepc.line1372.yml OUT OF MEMORY 566.25 296.10 None safe027_power.oepc.line1373.yml OUT OF MEMORY 489.37 255.76 None safe027_power.oepc.line1420.yml OUT OF MEMORY 391.17 207.13 None safe027_power.oepc.line1421.yml OUT OF MEMORY 391.49 224.48 None safe027_power.oepc.line343.yml OUT OF MEMORY 527.75 282.76 None safe027_power.oepc.line344.yml OUT OF MEMORY 469.94 249.43 None safe027_power.oepc.line358.yml OUT OF MEMORY 542.99 287.63 None safe027_power.oepc.line359.yml OUT OF MEMORY 515.45 278.06 None safe027_power.oepc.line375.yml OUT OF MEMORY 507.46 268.61 None safe027_power.oepc.line376.yml OUT OF MEMORY 509.18 269.52 None safe027_power.oepc.line407.yml OUT OF MEMORY 551.79 294.22 None safe027_power.oepc.line408.yml OUT OF MEMORY 500.54 266.77 None safe027_power.oepc.line428.yml OUT OF MEMORY 529.70 278.27 None safe027_power.oepc.line429.yml OUT OF MEMORY 452.73 251.67 None safe027_power.oepc.line642.yml OUT OF MEMORY 687.63 357.71 None safe027_power.oepc.line643.yml OUT OF MEMORY 688.14 356.63 None safe027_power.oepc.line657.yml OUT OF MEMORY 681.47 354.12 None safe027_power.oepc.line658.yml OUT OF MEMORY 497.91 261.60 None safe027_power.oepc.line670.yml OUT OF MEMORY 570.17 306.86 None safe027_power.oepc.line671.yml OUT OF MEMORY 637.96 333.49 None safe027_power.oepc.line776.yml OUT OF MEMORY 543.09 291.46 None safe027_power.oepc.line777.yml OUT OF MEMORY 462.57 250.06 None safe027_power.oepc.line789.yml OUT OF MEMORY 475.71 253.83 None safe027_power.oepc.line790.yml OUT OF MEMORY 597.53 310.86 None safe027_power.oepc.line809.yml OUT OF MEMORY 500.56 265.31 None safe027_power.oepc.line810.yml OUT OF MEMORY 444.49 240.79 None safe027_power.oepc.line935.yml OUT OF MEMORY 488.26 256.64 None safe027_power.oepc.line936.yml OUT OF MEMORY 490.22 268.38 None safe027_power.oepc.line950.yml OUT OF MEMORY 498.62 260.21 None safe027_power.oepc.line951.yml OUT OF MEMORY 631.25 329.28 None safe027_power.oepc.line963.yml OUT OF MEMORY 558.13 297.15 None safe027_power.oepc.line964.yml OUT OF MEMORY 555.49 295.22 None safe027_power.opt.line1031.yml OUT OF MEMORY 707.58 382.06 None safe027_power.opt.line1032.yml OUT OF MEMORY 606.91 328.64 None safe027_power.opt.line1046.yml OUT OF MEMORY 882.96 462.68 None safe027_power.opt.line1047.yml OUT OF MEMORY 870.36 454.50 None safe027_power.opt.line1059.yml OUT OF MEMORY 849.73 445.03 None safe027_power.opt.line1060.yml OUT OF MEMORY 706.00 377.55 None safe027_power.opt.line1086.yml OUT OF MEMORY 691.82 373.90 None safe027_power.opt.line1087.yml OUT OF MEMORY 399.89 219.17 None safe027_power.opt.line1101.yml OUT OF MEMORY 406.69 223.03 None safe027_power.opt.line1102.yml OUT OF MEMORY 515.16 301.14 None safe027_power.opt.line1182.yml OUT OF MEMORY 651.18 346.15 None safe027_power.opt.line1183.yml OUT OF MEMORY 692.94 375.68 None safe027_power.opt.line1197.yml OUT OF MEMORY 712.82 381.03 None safe027_power.opt.line1198.yml OUT OF MEMORY 661.15 354.27 None safe027_power.opt.line1392.yml OUT OF MEMORY 854.10 448.06 None safe027_power.opt.line1393.yml OUT OF MEMORY 367.35 207.49 None safe027_power.opt.line1420.yml OUT OF MEMORY 649.92 346.39 None safe027_power.opt.line1421.yml OUT OF MEMORY 599.08 326.89 None safe027_power.opt.line1448.yml OUT OF MEMORY 625.80 352.39 None safe027_power.opt.line1449.yml OUT OF MEMORY 756.50 407.98 None safe027_power.opt.line1476.yml OUT OF MEMORY 555.84 300.32 None safe027_power.opt.line1477.yml OUT OF MEMORY 658.41 344.55 None safe027_power.opt.line1510.yml OUT OF MEMORY 752.57 392.83 None safe027_power.opt.line1511.yml OUT OF MEMORY 642.34 338.43 None safe027_power.opt.line1525.yml OUT OF MEMORY 560.80 296.93 None safe027_power.opt.line1526.yml OUT OF MEMORY 526.85 284.71 None safe027_power.opt.line1573.yml OUT OF MEMORY 503.83 271.30 None safe027_power.opt.line1574.yml OUT OF MEMORY 628.90 335.63 None safe027_power.opt.line326.yml OUT OF MEMORY 667.35 356.71 None safe027_power.opt.line327.yml OUT OF MEMORY 489.70 264.89 None safe027_power.opt.line339.yml OUT OF MEMORY 617.76 336.32 None safe027_power.opt.line340.yml OUT OF MEMORY 402.41 224.21 None safe027_power.opt.line359.yml OUT OF MEMORY 868.17 455.24 None safe027_power.opt.line360.yml OUT OF MEMORY 700.57 394.13 None safe027_power.opt.line485.yml TIMEOUT 905.16 470.89 None safe027_power.opt.line486.yml OUT OF MEMORY 842.39 443.20 None safe027_power.opt.line500.yml OUT OF MEMORY 781.80 421.86 None safe027_power.opt.line501.yml OUT OF MEMORY 664.70 351.76 None safe027_power.opt.line513.yml OUT OF MEMORY 876.31 457.58 None safe027_power.opt.line514.yml OUT OF MEMORY 716.23 380.58 None safe027_power.opt.line593.yml OUT OF MEMORY 713.86 385.43 None safe027_power.opt.line594.yml OUT OF MEMORY 668.50 353.01 None safe027_power.opt.line608.yml OUT OF MEMORY 720.85 392.55 None safe027_power.opt.line609.yml OUT OF MEMORY 699.82 376.79 None safe027_power.opt.line732.yml OUT OF MEMORY 641.92 344.56 None safe027_power.opt.line733.yml OUT OF MEMORY 665.70 364.76 None safe027_power.opt.line747.yml OUT OF MEMORY 459.11 269.25 None safe027_power.opt.line748.yml OUT OF MEMORY 642.23 340.70 None safe027_power.opt.line764.yml OUT OF MEMORY 868.18 455.94 None safe027_power.opt.line765.yml OUT OF MEMORY 807.60 432.74 None safe027_power.opt.line796.yml OUT OF MEMORY 694.50 374.22 None safe027_power.opt.line797.yml OUT OF MEMORY 838.20 441.55 None safe027_power.opt.line817.yml OUT OF MEMORY 890.49 465.24 None safe027_power.opt.line818.yml OUT OF MEMORY 575.84 310.34 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 24.39 16.58 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 26.62 16.18 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 26.97 16.15 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 22.88 14.88 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line449.yml true 23.95 15.68 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line450.yml true 29.00 17.20 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line477.yml true 36.95 24.75 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line478.yml true 44.25 26.13 None safe027_rmo.line1079.yml OUT OF MEMORY 496.55 263.21 None safe027_rmo.line1080.yml OUT OF MEMORY 533.70 287.26 None safe027_rmo.line1107.yml OUT OF MEMORY 521.08 281.54 None safe027_rmo.line1108.yml OUT OF MEMORY 437.69 242.80 None safe027_rmo.line1135.yml OUT OF MEMORY 504.28 266.54 None safe027_rmo.line1136.yml OUT OF MEMORY 399.87 220.69 None safe027_rmo.line1163.yml OUT OF MEMORY 528.55 282.33 None safe027_rmo.line1164.yml OUT OF MEMORY 523.07 271.21 None safe027_rmo.line1197.yml OUT OF MEMORY 362.25 192.74 None safe027_rmo.line1198.yml OUT OF MEMORY 368.56 196.11 None safe027_rmo.line1212.yml OUT OF MEMORY 424.87 224.92 None safe027_rmo.line1213.yml OUT OF MEMORY 440.15 237.23 None safe027_rmo.line1260.yml OUT OF MEMORY 438.22 235.38 None safe027_rmo.line1261.yml OUT OF MEMORY 541.69 282.54 None safe027_rmo.line321.yml OUT OF MEMORY 541.95 285.83 None safe027_rmo.line322.yml OUT OF MEMORY 549.67 296.25 None safe027_rmo.line334.yml OUT OF MEMORY 662.03 346.28 None safe027_rmo.line335.yml OUT OF MEMORY 533.91 283.05 None safe027_rmo.line354.yml OUT OF MEMORY 643.48 337.21 None safe027_rmo.line355.yml OUT OF MEMORY 538.24 299.82 None safe027_rmo.line482.yml OUT OF MEMORY 638.12 332.77 None safe027_rmo.line483.yml OUT OF MEMORY 503.69 265.29 None safe027_rmo.line497.yml OUT OF MEMORY 530.75 278.88 None safe027_rmo.line498.yml OUT OF MEMORY 491.96 265.07 None safe027_rmo.line510.yml OUT OF MEMORY 380.21 204.63 None safe027_rmo.line511.yml OUT OF MEMORY 497.59 271.47 None safe027_rmo.line616.yml OUT OF MEMORY 541.53 288.65 None safe027_rmo.line617.yml OUT OF MEMORY 652.97 341.98 None safe027_rmo.line629.yml OUT OF MEMORY 534.14 283.14 None safe027_rmo.line630.yml OUT OF MEMORY 477.07 255.39 None safe027_rmo.line649.yml OUT OF MEMORY 508.63 275.53 None safe027_rmo.line650.yml OUT OF MEMORY 704.99 366.61 None safe027_rmo.line775.yml OUT OF MEMORY 486.83 271.19 None safe027_rmo.line776.yml OUT OF MEMORY 666.79 348.44 None safe027_rmo.line790.yml OUT OF MEMORY 506.28 266.23 None safe027_rmo.line791.yml OUT OF MEMORY 526.72 277.99 None safe027_rmo.line803.yml OUT OF MEMORY 717.19 372.24 None safe027_rmo.line804.yml OUT OF MEMORY 524.79 278.32 None safe027_rmo.line850.yml OUT OF MEMORY 512.60 270.94 None safe027_rmo.line851.yml OUT OF MEMORY 577.26 304.73 None safe027_rmo.line869.yml OUT OF MEMORY 543.49 290.21 None safe027_rmo.line870.yml OUT OF MEMORY 522.52 277.90 None safe027_rmo.line884.yml OUT OF MEMORY 530.55 280.07 None safe027_rmo.line885.yml OUT OF MEMORY 414.39 225.16 None safe028_power.line1022.yml OUT OF MEMORY 707.37 372.05 None safe028_power.line1023.yml OUT OF MEMORY 830.53 452.76 None safe028_power.line1037.yml OUT OF MEMORY 628.53 336.18 None safe028_power.line1038.yml OUT OF MEMORY 765.97 413.32 None safe028_power.line1050.yml OUT OF MEMORY 646.45 345.17 None safe028_power.line1051.yml OUT OF MEMORY 861.42 463.27 None safe028_power.line1077.yml OUT OF MEMORY 767.31 403.48 None safe028_power.line1078.yml TIMEOUT 919.42 491.46 None safe028_power.line1092.yml TIMEOUT 921.30 509.66 None safe028_power.line1093.yml TIMEOUT 917.94 504.81 None safe028_power.line1279.yml true 51.18 28.79 None safe028_power.line1280.yml true 38.05 23.05 None safe028_power.line1307.yml true 48.21 27.81 None safe028_power.line1308.yml true 37.44 23.38 None safe028_power.line1335.yml true 65.74 40.04 None safe028_power.line1336.yml true 64.40 40.51 None safe028_power.line1369.yml OUT OF MEMORY 651.02 339.08 None safe028_power.line1370.yml OUT OF MEMORY 671.44 354.95 None safe028_power.line1384.yml OUT OF MEMORY 491.29 264.92 None safe028_power.line1385.yml OUT OF MEMORY 502.60 272.01 None safe028_power.line1432.yml OUT OF MEMORY 622.76 325.50 None safe028_power.line1433.yml OUT OF MEMORY 483.92 255.11 None safe028_power.line318.yml false(unreach-call) 40.24 23.93 None safe028_power.line319.yml false(unreach-call) 39.41 23.92 None safe028_power.line331.yml false(unreach-call) 39.22 23.35 None safe028_power.line332.yml false(unreach-call) 39.70 27.36 None safe028_power.line351.yml false(unreach-call) 40.02 24.19 None safe028_power.line352.yml false(unreach-call) 39.71 23.81 None safe028_power.line477.yml false(unreach-call) 41.98 24.90 None safe028_power.line478.yml false(unreach-call) 40.08 28.81 None safe028_power.line492.yml TIMEOUT 914.43 495.75 None safe028_power.line493.yml OUT OF MEMORY 549.81 292.66 None safe028_power.line505.yml false(unreach-call) 40.36 24.93 None safe028_power.line506.yml false(unreach-call) 39.32 23.57 None safe028_power.line584.yml TIMEOUT 900.70 585.70 None safe028_power.line585.yml TIMEOUT 902.02 562.58 None safe028_power.line599.yml false(unreach-call) 46.74 27.98 None safe028_power.line600.yml false(unreach-call) 50.39 30.72 None safe028_power.line723.yml OUT OF MEMORY 637.79 339.07 None safe028_power.line724.yml OUT OF MEMORY 893.74 471.70 None safe028_power.line738.yml OUT OF MEMORY 560.84 302.04 None safe028_power.line739.yml OUT OF MEMORY 704.18 377.51 None safe028_power.line755.yml TIMEOUT 903.05 531.25 None safe028_power.line756.yml TIMEOUT 900.96 518.38 None safe028_power.line787.yml OUT OF MEMORY 515.77 276.98 None safe028_power.line788.yml OUT OF MEMORY 701.84 392.53 None safe028_power.line808.yml OUT OF MEMORY 546.94 298.08 None safe028_power.line809.yml TIMEOUT 921.32 495.66 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line364.yml true 7.77 5.12 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 7.54 4.95 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line392.yml true 7.71 5.08 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 7.90 5.25 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line420.yml true 8.71 5.60 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 9.23 5.77 None safe028_rmo.line1106.yml true 34.07 20.74 None safe028_rmo.line1107.yml true 36.29 21.55 None safe028_rmo.line1134.yml true 35.16 22.93 None safe028_rmo.line1135.yml true 33.95 20.78 None safe028_rmo.line1162.yml true 58.68 35.18 None safe028_rmo.line1163.yml true 60.92 40.25 None safe028_rmo.line1196.yml OUT OF MEMORY 612.82 321.33 None safe028_rmo.line1197.yml OUT OF MEMORY 566.54 295.90 None safe028_rmo.line1211.yml OUT OF MEMORY 603.05 316.20 None safe028_rmo.line1212.yml OUT OF MEMORY 644.25 345.25 None safe028_rmo.line1259.yml OUT OF MEMORY 644.00 338.74 None safe028_rmo.line1260.yml OUT OF MEMORY 662.84 349.78 None safe028_rmo.line318.yml false(unreach-call) 42.96 25.40 None safe028_rmo.line319.yml false(unreach-call) 46.84 26.96 None safe028_rmo.line331.yml false(unreach-call) 46.81 26.93 None safe028_rmo.line332.yml false(unreach-call) 44.47 25.93 None safe028_rmo.line351.yml false(unreach-call) 37.29 22.95 None safe028_rmo.line352.yml false(unreach-call) 48.38 27.62 None safe028_rmo.line477.yml false(unreach-call) 46.12 26.84 None safe028_rmo.line478.yml false(unreach-call) 38.09 24.22 None safe028_rmo.line492.yml OUT OF MEMORY 743.67 392.93 None safe028_rmo.line493.yml OUT OF MEMORY 432.76 240.10 None safe028_rmo.line505.yml false(unreach-call) 46.34 26.71 None safe028_rmo.line506.yml false(unreach-call) 37.03 24.03 None safe028_rmo.line552.yml false(unreach-call) 38.52 23.89 None safe028_rmo.line553.yml false(unreach-call) 48.10 27.91 None safe028_rmo.line571.yml false(unreach-call) 39.64 25.94 None safe028_rmo.line572.yml false(unreach-call) 47.07 27.77 None safe028_rmo.line586.yml false(unreach-call) 37.85 25.14 None safe028_rmo.line587.yml false(unreach-call) 39.40 25.16 None safe028_rmo.line688.yml OUT OF MEMORY 622.84 333.47 None safe028_rmo.line689.yml OUT OF MEMORY 731.28 387.80 None safe028_rmo.line701.yml OUT OF MEMORY 604.02 329.45 None safe028_rmo.line702.yml OUT OF MEMORY 562.34 294.28 None safe028_rmo.line721.yml OUT OF MEMORY 541.96 289.92 None safe028_rmo.line722.yml OUT OF MEMORY 623.98 324.00 None safe028_rmo.line849.yml OUT OF MEMORY 483.98 258.89 None safe028_rmo.line850.yml OUT OF MEMORY 501.48 267.14 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 135903.77 5337.98 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk03 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe025_rmo.line1486.yml OUT OF MEMORY 586.96 314.23 None safe025_rmo.line1487.yml OUT OF MEMORY 553.94 298.69 None safe025_rmo.line1501.yml OUT OF MEMORY 764.57 400.70 None safe025_rmo.line1502.yml OUT OF MEMORY 561.59 299.53 None safe025_rmo.line1514.yml OUT OF MEMORY 622.53 334.93 None safe025_rmo.line1515.yml OUT OF MEMORY 608.49 335.00 None safe025_rmo.line318.yml false(unreach-call) 42.71 25.80 None safe025_rmo.line319.yml false(unreach-call) 44.88 26.59 None safe025_rmo.line331.yml false(unreach-call) 47.10 27.68 None safe025_rmo.line332.yml false(unreach-call) 37.45 22.78 None safe025_rmo.line351.yml false(unreach-call) 39.23 24.76 None safe025_rmo.line352.yml false(unreach-call) 38.07 23.46 None safe025_rmo.line477.yml false(unreach-call) 38.11 24.04 None safe025_rmo.line478.yml false(unreach-call) 36.82 22.67 None safe025_rmo.line492.yml OUT OF MEMORY 773.65 425.23 None safe025_rmo.line493.yml OUT OF MEMORY 562.57 309.68 None safe025_rmo.line505.yml false(unreach-call) 37.63 24.20 None safe025_rmo.line506.yml false(unreach-call) 38.95 25.53 None safe025_rmo.line552.yml false(unreach-call) 42.48 26.91 None safe025_rmo.line553.yml false(unreach-call) 50.05 29.35 None safe025_rmo.line566.yml false(unreach-call) 45.62 27.26 None safe025_rmo.line567.yml false(unreach-call) 48.25 28.77 None safe025_rmo.line585.yml false(unreach-call) 41.06 26.30 None safe025_rmo.line586.yml false(unreach-call) 41.21 26.48 None safe025_rmo.line600.yml false(unreach-call) 41.62 26.21 None safe025_rmo.line601.yml false(unreach-call) 52.30 30.16 None safe025_rmo.line702.yml TIMEOUT 919.04 493.96 None safe025_rmo.line703.yml TIMEOUT 902.94 488.23 None safe025_rmo.line715.yml OUT OF MEMORY 606.50 325.78 None safe025_rmo.line716.yml OUT OF MEMORY 720.20 395.47 None safe025_rmo.line735.yml OUT OF MEMORY 553.52 298.44 None safe025_rmo.line736.yml OUT OF MEMORY 722.69 384.58 None safe025_rmo.line863.yml OUT OF MEMORY 599.21 330.01 None safe025_rmo.line864.yml OUT OF MEMORY 514.22 282.22 None safe025_rmo.line878.yml OUT OF MEMORY 580.46 320.14 None safe025_rmo.line879.yml OUT OF MEMORY 591.77 316.71 None safe025_rmo.line891.yml OUT OF MEMORY 713.65 395.63 None safe025_rmo.line892.yml OUT OF MEMORY 603.61 347.13 None safe025_rmo.line918.yml OUT OF MEMORY 764.93 418.25 None safe025_rmo.line919.yml OUT OF MEMORY 843.56 445.55 None safe025_rmo.line933.yml TIMEOUT 920.16 506.53 None safe025_rmo.line934.yml OUT OF MEMORY 773.14 419.28 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line744.yml true 16.58 9.98 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line745.yml true 13.52 8.67 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line772.yml true 17.10 10.09 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line773.yml true 13.25 8.75 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line800.yml true 22.23 13.15 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line801.yml true 17.20 11.91 None safe026_tso.line357.yml true 7.07 4.84 None safe026_tso.line358.yml true 9.06 5.70 None safe026_tso.line385.yml true 7.00 5.22 None safe026_tso.line386.yml true 9.26 5.80 None safe026_tso.line413.yml true 8.49 5.88 None safe026_tso.line414.yml true 10.68 6.63 None safe027_power.oepc.line1010.yml OUT OF MEMORY 399.59 225.70 None safe027_power.oepc.line1011.yml OUT OF MEMORY 595.66 316.46 None safe027_power.oepc.line1029.yml OUT OF MEMORY 596.43 316.27 None safe027_power.oepc.line1030.yml OUT OF MEMORY 590.61 314.03 None safe027_power.oepc.line1044.yml OUT OF MEMORY 441.40 237.39 None safe027_power.oepc.line1045.yml OUT OF MEMORY 526.61 285.66 None safe027_power.oepc.line1239.yml OUT OF MEMORY 415.39 228.70 None safe027_power.oepc.line1240.yml OUT OF MEMORY 444.90 239.19 None safe027_power.oepc.line1267.yml OUT OF MEMORY 472.76 272.49 None safe027_power.oepc.line1268.yml OUT OF MEMORY 401.81 224.23 None safe027_power.oepc.line1295.yml OUT OF MEMORY 317.23 180.44 None safe027_power.oepc.line1296.yml OUT OF MEMORY 383.08 216.68 None safe027_power.oepc.line1323.yml OUT OF MEMORY 464.75 245.83 None safe027_power.oepc.line1324.yml OUT OF MEMORY 700.36 365.07 None safe027_power.oepc.line1357.yml OUT OF MEMORY 544.04 284.58 None safe027_power.oepc.line1358.yml OUT OF MEMORY 527.54 277.00 None safe027_power.oepc.line1372.yml OUT OF MEMORY 537.09 286.71 None safe027_power.oepc.line1373.yml OUT OF MEMORY 610.81 318.69 None safe027_power.oepc.line1420.yml OUT OF MEMORY 392.14 210.88 None safe027_power.oepc.line1421.yml OUT OF MEMORY 396.90 212.44 None safe027_power.oepc.line343.yml OUT OF MEMORY 480.59 258.74 None safe027_power.oepc.line344.yml OUT OF MEMORY 431.29 238.55 None safe027_power.oepc.line358.yml OUT OF MEMORY 424.04 231.17 None safe027_power.oepc.line359.yml OUT OF MEMORY 394.92 224.79 None safe027_power.oepc.line375.yml OUT OF MEMORY 463.22 254.47 None safe027_power.oepc.line376.yml OUT OF MEMORY 508.22 280.30 None safe027_power.oepc.line407.yml OUT OF MEMORY 375.54 207.08 None safe027_power.oepc.line408.yml OUT OF MEMORY 372.11 202.93 None safe027_power.oepc.line428.yml OUT OF MEMORY 469.56 251.08 None safe027_power.oepc.line429.yml OUT OF MEMORY 610.43 324.25 None safe027_power.oepc.line642.yml OUT OF MEMORY 576.44 304.38 None safe027_power.oepc.line643.yml OUT OF MEMORY 514.39 281.89 None safe027_power.oepc.line657.yml OUT OF MEMORY 403.78 225.87 None safe027_power.oepc.line658.yml OUT OF MEMORY 375.53 207.78 None safe027_power.oepc.line670.yml OUT OF MEMORY 460.98 250.43 None safe027_power.oepc.line671.yml OUT OF MEMORY 444.85 252.56 None safe027_power.oepc.line776.yml OUT OF MEMORY 582.65 309.93 None safe027_power.oepc.line777.yml OUT OF MEMORY 595.61 315.28 None safe027_power.oepc.line789.yml OUT OF MEMORY 406.79 222.05 None safe027_power.oepc.line790.yml OUT OF MEMORY 439.64 236.75 None safe027_power.oepc.line809.yml OUT OF MEMORY 456.44 245.30 None safe027_power.oepc.line810.yml OUT OF MEMORY 482.44 261.95 None safe027_power.oepc.line935.yml OUT OF MEMORY 453.45 243.90 None safe027_power.oepc.line936.yml OUT OF MEMORY 428.39 236.35 None safe027_power.oepc.line950.yml OUT OF MEMORY 487.48 267.47 None safe027_power.oepc.line951.yml OUT OF MEMORY 402.32 217.62 None safe027_power.oepc.line963.yml OUT OF MEMORY 451.17 246.46 None safe027_power.oepc.line964.yml OUT OF MEMORY 505.66 274.57 None safe027_power.opt.line1031.yml OUT OF MEMORY 676.46 383.41 None safe027_power.opt.line1032.yml OUT OF MEMORY 754.09 405.00 None safe027_power.opt.line1046.yml OUT OF MEMORY 805.66 427.26 None safe027_power.opt.line1047.yml OUT OF MEMORY 739.19 397.16 None safe027_power.opt.line1059.yml OUT OF MEMORY 552.75 301.60 None safe027_power.opt.line1060.yml OUT OF MEMORY 764.23 407.36 None safe027_power.opt.line1086.yml OUT OF MEMORY 558.35 304.06 None safe027_power.opt.line1087.yml OUT OF MEMORY 496.14 277.26 None safe027_power.opt.line1101.yml OUT OF MEMORY 462.87 257.64 None safe027_power.opt.line1102.yml OUT OF MEMORY 597.64 330.38 None safe027_power.opt.line1182.yml OUT OF MEMORY 580.71 320.76 None safe027_power.opt.line1183.yml OUT OF MEMORY 528.55 292.07 None safe027_power.opt.line1197.yml OUT OF MEMORY 536.11 299.98 None safe027_power.opt.line1198.yml OUT OF MEMORY 546.17 299.95 None safe027_power.opt.line1392.yml OUT OF MEMORY 562.05 308.05 None safe027_power.opt.line1393.yml OUT OF MEMORY 487.95 278.43 None safe027_power.opt.line1420.yml OUT OF MEMORY 588.81 316.66 None safe027_power.opt.line1421.yml OUT OF MEMORY 766.96 418.15 None safe027_power.opt.line1448.yml OUT OF MEMORY 855.39 451.64 None safe027_power.opt.line1449.yml OUT OF MEMORY 667.93 361.56 None safe027_power.opt.line1476.yml OUT OF MEMORY 793.94 415.68 None safe027_power.opt.line1477.yml OUT OF MEMORY 685.77 362.88 None safe027_power.opt.line1510.yml OUT OF MEMORY 625.98 331.47 None safe027_power.opt.line1511.yml OUT OF MEMORY 526.23 284.36 None safe027_power.opt.line1525.yml OUT OF MEMORY 474.77 261.45 None safe027_power.opt.line1526.yml OUT OF MEMORY 543.69 293.14 None safe027_power.opt.line1573.yml OUT OF MEMORY 542.56 293.76 None safe027_power.opt.line1574.yml OUT OF MEMORY 553.64 299.01 None safe027_power.opt.line326.yml OUT OF MEMORY 617.19 353.32 None safe027_power.opt.line327.yml OUT OF MEMORY 580.21 315.63 None safe027_power.opt.line339.yml OUT OF MEMORY 433.13 239.18 None safe027_power.opt.line340.yml OUT OF MEMORY 480.83 269.17 None safe027_power.opt.line359.yml OUT OF MEMORY 586.44 318.29 None safe027_power.opt.line360.yml OUT OF MEMORY 538.20 297.29 None safe027_power.opt.line485.yml OUT OF MEMORY 675.92 367.59 None safe027_power.opt.line486.yml OUT OF MEMORY 566.23 312.78 None safe027_power.opt.line500.yml OUT OF MEMORY 802.41 427.13 None safe027_power.opt.line501.yml OUT OF MEMORY 823.86 439.10 None safe027_power.opt.line513.yml OUT OF MEMORY 689.34 377.67 None safe027_power.opt.line514.yml OUT OF MEMORY 800.73 424.31 None safe027_power.opt.line593.yml OUT OF MEMORY 819.62 437.95 None safe027_power.opt.line594.yml OUT OF MEMORY 655.62 355.91 None safe027_power.opt.line608.yml OUT OF MEMORY 637.01 343.05 None safe027_power.opt.line609.yml OUT OF MEMORY 525.35 289.20 None safe027_power.opt.line732.yml OUT OF MEMORY 662.76 381.12 None safe027_power.opt.line733.yml OUT OF MEMORY 629.68 343.25 None safe027_power.opt.line747.yml OUT OF MEMORY 556.77 307.54 None safe027_power.opt.line748.yml OUT OF MEMORY 501.68 276.68 None safe027_power.opt.line764.yml OUT OF MEMORY 598.99 329.26 None safe027_power.opt.line765.yml OUT OF MEMORY 619.67 340.78 None safe027_power.opt.line796.yml OUT OF MEMORY 548.20 305.15 None safe027_power.opt.line797.yml OUT OF MEMORY 664.02 363.46 None safe027_power.opt.line817.yml OUT OF MEMORY 739.07 394.22 None safe027_power.opt.line818.yml OUT OF MEMORY 746.91 398.16 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 27.26 15.88 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 21.48 13.20 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 18.85 12.08 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 20.93 12.99 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line449.yml true 25.14 15.31 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line450.yml true 26.06 15.59 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line477.yml true 32.74 20.14 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line478.yml true 31.01 19.77 None safe027_rmo.line1079.yml OUT OF MEMORY 579.31 306.08 None safe027_rmo.line1080.yml OUT OF MEMORY 579.95 306.65 None safe027_rmo.line1107.yml OUT OF MEMORY 439.62 236.59 None safe027_rmo.line1108.yml OUT OF MEMORY 389.40 215.01 None safe027_rmo.line1135.yml OUT OF MEMORY 379.31 207.86 None safe027_rmo.line1136.yml OUT OF MEMORY 398.99 220.85 None safe027_rmo.line1163.yml OUT OF MEMORY 537.66 285.10 None safe027_rmo.line1164.yml OUT OF MEMORY 563.27 302.47 None safe027_rmo.line1197.yml OUT OF MEMORY 406.46 223.53 None safe027_rmo.line1198.yml OUT OF MEMORY 489.58 266.60 None safe027_rmo.line1212.yml OUT OF MEMORY 446.07 237.70 None safe027_rmo.line1213.yml OUT OF MEMORY 392.62 210.98 None safe027_rmo.line1260.yml OUT OF MEMORY 395.21 212.61 None safe027_rmo.line1261.yml OUT OF MEMORY 404.92 215.27 None safe027_rmo.line321.yml OUT OF MEMORY 517.89 281.70 None safe027_rmo.line322.yml OUT OF MEMORY 464.65 257.23 None safe027_rmo.line334.yml OUT OF MEMORY 623.46 333.38 None safe027_rmo.line335.yml OUT OF MEMORY 659.87 348.76 None safe027_rmo.line354.yml OUT OF MEMORY 596.64 317.63 None safe027_rmo.line355.yml OUT OF MEMORY 599.16 321.92 None safe027_rmo.line482.yml OUT OF MEMORY 459.08 260.56 None safe027_rmo.line483.yml OUT OF MEMORY 535.03 297.89 None safe027_rmo.line497.yml OUT OF MEMORY 409.92 267.22 None safe027_rmo.line498.yml OUT OF MEMORY 476.56 265.08 None safe027_rmo.line510.yml OUT OF MEMORY 471.23 254.04 None safe027_rmo.line511.yml OUT OF MEMORY 468.74 255.87 None safe027_rmo.line616.yml OUT OF MEMORY 504.26 289.06 None safe027_rmo.line617.yml OUT OF MEMORY 483.87 261.93 None safe027_rmo.line629.yml OUT OF MEMORY 558.68 308.47 None safe027_rmo.line630.yml OUT OF MEMORY 507.95 283.05 None safe027_rmo.line649.yml OUT OF MEMORY 523.23 300.65 None safe027_rmo.line650.yml OUT OF MEMORY 646.56 343.99 None safe027_rmo.line775.yml OUT OF MEMORY 571.23 305.51 None safe027_rmo.line776.yml OUT OF MEMORY 454.74 281.23 None safe027_rmo.line790.yml OUT OF MEMORY 624.43 332.30 None safe027_rmo.line791.yml OUT OF MEMORY 567.98 312.68 None safe027_rmo.line803.yml OUT OF MEMORY 607.72 326.62 None safe027_rmo.line804.yml OUT OF MEMORY 468.83 254.98 None safe027_rmo.line850.yml OUT OF MEMORY 463.91 265.93 None safe027_rmo.line851.yml OUT OF MEMORY 463.23 252.02 None safe027_rmo.line869.yml OUT OF MEMORY 475.32 259.50 None safe027_rmo.line870.yml OUT OF MEMORY 425.14 249.01 None safe027_rmo.line884.yml OUT OF MEMORY 514.28 288.24 None safe027_rmo.line885.yml OUT OF MEMORY 464.70 265.32 None safe028_power.line1022.yml OUT OF MEMORY 583.22 331.22 None safe028_power.line1023.yml OUT OF MEMORY 880.95 495.73 None safe028_power.line1037.yml TIMEOUT 909.98 483.56 None safe028_power.line1038.yml TIMEOUT 905.11 486.83 None safe028_power.line1050.yml OUT OF MEMORY 661.24 356.13 None safe028_power.line1051.yml OUT OF MEMORY 762.01 414.34 None safe028_power.line1077.yml OUT OF MEMORY 684.68 383.57 None safe028_power.line1078.yml TIMEOUT 917.96 494.12 None safe028_power.line1092.yml TIMEOUT 908.85 487.00 None safe028_power.line1093.yml TIMEOUT 907.23 490.94 None safe028_power.line1279.yml true 33.66 21.12 None safe028_power.line1280.yml true 36.56 23.02 None safe028_power.line1307.yml true 34.20 21.22 None safe028_power.line1308.yml true 35.58 23.44 None safe028_power.line1335.yml true 55.62 34.38 None safe028_power.line1336.yml true 55.74 38.12 None safe028_power.line1369.yml OUT OF MEMORY 561.48 300.43 None safe028_power.line1370.yml OUT OF MEMORY 574.27 312.16 None safe028_power.line1384.yml OUT OF MEMORY 547.03 303.90 None safe028_power.line1385.yml OUT OF MEMORY 599.70 322.67 None safe028_power.line1432.yml OUT OF MEMORY 402.00 224.25 None safe028_power.line1433.yml OUT OF MEMORY 498.75 268.15 None safe028_power.line318.yml false(unreach-call) 36.85 24.40 None safe028_power.line319.yml false(unreach-call) 34.60 21.74 None safe028_power.line331.yml false(unreach-call) 34.27 22.54 None safe028_power.line332.yml false(unreach-call) 34.46 21.55 None safe028_power.line351.yml false(unreach-call) 36.17 21.97 None safe028_power.line352.yml false(unreach-call) 34.71 22.09 None safe028_power.line477.yml false(unreach-call) 37.38 24.12 None safe028_power.line478.yml false(unreach-call) 34.70 22.75 None safe028_power.line492.yml TIMEOUT 903.77 502.54 None safe028_power.line493.yml OUT OF MEMORY 539.56 302.70 None safe028_power.line505.yml false(unreach-call) 34.54 21.48 None safe028_power.line506.yml false(unreach-call) 34.92 22.80 None safe028_power.line584.yml TIMEOUT 900.95 636.38 None safe028_power.line585.yml TIMEOUT 901.21 622.51 None safe028_power.line599.yml false(unreach-call) 44.35 26.82 None safe028_power.line600.yml false(unreach-call) 42.19 25.54 None safe028_power.line723.yml OUT OF MEMORY 688.75 370.57 None safe028_power.line724.yml OUT OF MEMORY 574.26 327.14 None safe028_power.line738.yml OUT OF MEMORY 708.39 378.74 None safe028_power.line739.yml OUT OF MEMORY 689.92 374.10 None safe028_power.line755.yml TIMEOUT 902.72 576.82 None safe028_power.line756.yml OUT OF MEMORY 322.87 221.62 None safe028_power.line787.yml OUT OF MEMORY 775.22 413.76 None safe028_power.line788.yml TIMEOUT 906.17 486.55 None safe028_power.line808.yml OUT OF MEMORY 680.34 361.92 None safe028_power.line809.yml OUT OF MEMORY 735.95 393.15 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line364.yml true 7.36 5.48 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 7.42 5.48 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line392.yml true 7.30 5.08 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 7.80 5.32 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line420.yml true 9.39 5.83 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 8.08 6.66 None safe028_rmo.line1106.yml true 30.29 22.56 None safe028_rmo.line1107.yml true 30.60 20.58 None safe028_rmo.line1134.yml true 30.50 20.63 None safe028_rmo.line1135.yml true 30.82 20.27 None safe028_rmo.line1162.yml true 51.60 33.36 None safe028_rmo.line1163.yml true 49.61 33.12 None safe028_rmo.line1196.yml OUT OF MEMORY 677.14 360.61 None safe028_rmo.line1197.yml OUT OF MEMORY 689.26 368.38 None safe028_rmo.line1211.yml OUT OF MEMORY 643.46 351.25 None safe028_rmo.line1212.yml OUT OF MEMORY 601.86 318.59 None safe028_rmo.line1259.yml OUT OF MEMORY 695.56 368.33 None safe028_rmo.line1260.yml OUT OF MEMORY 662.89 351.29 None safe028_rmo.line318.yml false(unreach-call) 38.12 22.91 None safe028_rmo.line319.yml false(unreach-call) 39.12 23.27 None safe028_rmo.line331.yml false(unreach-call) 40.07 23.62 None safe028_rmo.line332.yml false(unreach-call) 40.26 23.91 None safe028_rmo.line351.yml false(unreach-call) 40.19 23.69 None safe028_rmo.line352.yml false(unreach-call) 39.24 23.40 None safe028_rmo.line477.yml false(unreach-call) 32.94 21.51 None safe028_rmo.line478.yml false(unreach-call) 42.27 24.90 None safe028_rmo.line492.yml OUT OF MEMORY 767.19 417.38 None safe028_rmo.line493.yml OUT OF MEMORY 609.35 335.70 None safe028_rmo.line505.yml false(unreach-call) 42.60 25.22 None safe028_rmo.line506.yml false(unreach-call) 43.37 25.35 None safe028_rmo.line552.yml false(unreach-call) 33.66 20.86 None safe028_rmo.line553.yml false(unreach-call) 49.14 27.94 None safe028_rmo.line571.yml false(unreach-call) 41.35 24.81 None safe028_rmo.line572.yml false(unreach-call) 35.00 21.60 None safe028_rmo.line586.yml false(unreach-call) 42.49 25.30 None safe028_rmo.line587.yml false(unreach-call) 45.74 26.55 None safe028_rmo.line688.yml OUT OF MEMORY 583.79 317.27 None safe028_rmo.line689.yml OUT OF MEMORY 764.75 407.88 None safe028_rmo.line701.yml OUT OF MEMORY 619.79 331.17 None safe028_rmo.line702.yml OUT OF MEMORY 595.56 316.10 None safe028_rmo.line721.yml OUT OF MEMORY 592.07 319.81 None safe028_rmo.line722.yml OUT OF MEMORY 600.73 318.16 None safe028_rmo.line849.yml OUT OF MEMORY 528.11 288.89 None safe028_rmo.line850.yml OUT OF MEMORY 473.24 255.55 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 129277.69 5203.18 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk03 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe025_rmo.line1486.yml OUT OF MEMORY 742.23 381.58 None safe025_rmo.line1487.yml OUT OF MEMORY 727.29 374.69 None safe025_rmo.line1501.yml TIMEOUT 921.20 477.47 None safe025_rmo.line1502.yml OUT OF MEMORY 748.99 380.93 None safe025_rmo.line1514.yml OUT OF MEMORY 767.14 395.08 None safe025_rmo.line1515.yml OUT OF MEMORY 717.97 375.86 None safe025_rmo.line318.yml false(unreach-call) 71.49 42.33 None safe025_rmo.line319.yml false(unreach-call) 73.12 43.61 None safe025_rmo.line331.yml false(unreach-call) 70.60 42.33 None safe025_rmo.line332.yml false(unreach-call) 59.49 36.99 None safe025_rmo.line351.yml false(unreach-call) 63.47 40.23 None safe025_rmo.line352.yml false(unreach-call) 59.68 37.92 None safe025_rmo.line477.yml false(unreach-call) 63.02 39.06 None safe025_rmo.line478.yml false(unreach-call) 59.47 36.71 None safe025_rmo.line492.yml TIMEOUT 921.18 490.06 None safe025_rmo.line493.yml OUT OF MEMORY 810.95 422.56 None safe025_rmo.line505.yml false(unreach-call) 59.39 36.93 None safe025_rmo.line506.yml false(unreach-call) 61.11 40.80 None safe025_rmo.line552.yml false(unreach-call) 65.51 42.59 None safe025_rmo.line553.yml false(unreach-call) 79.90 47.30 None safe025_rmo.line566.yml false(unreach-call) 74.74 44.54 None safe025_rmo.line567.yml false(unreach-call) 77.63 46.29 None safe025_rmo.line585.yml false(unreach-call) 62.47 40.09 None safe025_rmo.line586.yml false(unreach-call) 64.50 40.60 None safe025_rmo.line600.yml false(unreach-call) 67.26 42.87 None safe025_rmo.line601.yml false(unreach-call) 79.91 47.06 None safe025_rmo.line702.yml TIMEOUT 909.60 474.87 None safe025_rmo.line703.yml TIMEOUT 909.79 489.07 None safe025_rmo.line715.yml TIMEOUT 921.23 488.29 None safe025_rmo.line716.yml OUT OF MEMORY 489.95 262.71 None safe025_rmo.line735.yml OUT OF MEMORY 501.70 269.19 None safe025_rmo.line736.yml OUT OF MEMORY 612.22 322.03 None safe025_rmo.line863.yml OUT OF MEMORY 316.85 173.69 None safe025_rmo.line864.yml OUT OF MEMORY 712.78 391.38 None safe025_rmo.line878.yml OUT OF MEMORY 785.26 408.15 None safe025_rmo.line879.yml OUT OF MEMORY 845.26 442.07 None safe025_rmo.line891.yml OUT OF MEMORY 890.82 464.53 None safe025_rmo.line892.yml OUT OF MEMORY 296.85 167.30 None safe025_rmo.line918.yml TIMEOUT 921.07 492.67 None safe025_rmo.line919.yml TIMEOUT 917.73 482.39 None safe025_rmo.line933.yml OUT OF MEMORY 539.99 288.16 None safe025_rmo.line934.yml OUT OF MEMORY 780.04 409.10 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line744.yml true 17.31 11.17 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line745.yml true 17.31 11.23 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line772.yml true 18.57 13.18 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line773.yml true 17.76 11.32 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line800.yml true 24.65 16.39 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line801.yml true 25.39 16.08 None safe026_tso.line357.yml true 8.03 5.95 None safe026_tso.line358.yml true 10.28 6.25 None safe026_tso.line385.yml true 8.58 5.74 None safe026_tso.line386.yml true 10.17 6.25 None safe026_tso.line413.yml true 9.37 6.32 None safe026_tso.line414.yml true 11.88 7.26 None safe027_power.oepc.line1010.yml OUT OF MEMORY 647.00 328.40 None safe027_power.oepc.line1011.yml OUT OF MEMORY 704.89 366.35 None safe027_power.oepc.line1029.yml OUT OF MEMORY 849.25 433.39 None safe027_power.oepc.line1030.yml OUT OF MEMORY 699.96 360.20 None safe027_power.oepc.line1044.yml OUT OF MEMORY 851.02 433.59 None safe027_power.oepc.line1045.yml OUT OF MEMORY 707.10 364.75 None safe027_power.oepc.line1239.yml OUT OF MEMORY 616.37 315.83 None safe027_power.oepc.line1240.yml OUT OF MEMORY 628.83 330.95 None safe027_power.oepc.line1267.yml OUT OF MEMORY 664.02 341.70 None safe027_power.oepc.line1268.yml OUT OF MEMORY 682.07 351.90 None safe027_power.oepc.line1295.yml OUT OF MEMORY 379.72 199.97 None safe027_power.oepc.line1296.yml OUT OF MEMORY 619.85 319.66 None safe027_power.oepc.line1323.yml OUT OF MEMORY 783.31 402.92 None safe027_power.oepc.line1324.yml OUT OF MEMORY 657.42 334.68 None safe027_power.oepc.line1357.yml OUT OF MEMORY 854.90 433.16 None safe027_power.oepc.line1358.yml OUT OF MEMORY 670.57 346.09 None safe027_power.oepc.line1372.yml OUT OF MEMORY 726.16 377.59 None safe027_power.oepc.line1373.yml OUT OF MEMORY 655.01 336.76 None safe027_power.oepc.line1420.yml TIMEOUT 921.39 474.80 None safe027_power.oepc.line1421.yml TIMEOUT 921.40 473.75 None safe027_power.oepc.line343.yml OUT OF MEMORY 604.45 312.61 None safe027_power.oepc.line344.yml OUT OF MEMORY 249.50 134.16 None safe027_power.oepc.line358.yml OUT OF MEMORY 715.91 368.63 None safe027_power.oepc.line359.yml OUT OF MEMORY 614.60 314.79 None safe027_power.oepc.line375.yml OUT OF MEMORY 745.54 383.16 None safe027_power.oepc.line376.yml OUT OF MEMORY 605.99 310.17 None safe027_power.oepc.line407.yml OUT OF MEMORY 858.69 439.22 None safe027_power.oepc.line408.yml OUT OF MEMORY 648.88 331.03 None safe027_power.oepc.line428.yml OUT OF MEMORY 651.94 338.61 None safe027_power.oepc.line429.yml OUT OF MEMORY 712.85 369.92 None safe027_power.oepc.line642.yml OUT OF MEMORY 707.34 364.87 None safe027_power.oepc.line643.yml OUT OF MEMORY 736.94 380.96 None safe027_power.oepc.line657.yml OUT OF MEMORY 625.08 322.23 None safe027_power.oepc.line658.yml OUT OF MEMORY 872.65 443.02 None safe027_power.oepc.line670.yml OUT OF MEMORY 699.05 356.69 None safe027_power.oepc.line671.yml OUT OF MEMORY 666.61 362.61 None safe027_power.oepc.line776.yml TIMEOUT 921.26 481.05 None safe027_power.oepc.line777.yml OUT OF MEMORY 849.02 432.16 None safe027_power.oepc.line789.yml OUT OF MEMORY 635.68 325.91 None safe027_power.oepc.line790.yml OUT OF MEMORY 734.36 380.59 None safe027_power.oepc.line809.yml OUT OF MEMORY 595.52 303.51 None safe027_power.oepc.line810.yml OUT OF MEMORY 619.70 325.59 None safe027_power.oepc.line935.yml OUT OF MEMORY 869.98 443.26 None safe027_power.oepc.line936.yml OUT OF MEMORY 675.34 348.91 None safe027_power.oepc.line950.yml OUT OF MEMORY 712.28 365.88 None safe027_power.oepc.line951.yml OUT OF MEMORY 756.89 391.43 None safe027_power.oepc.line963.yml OUT OF MEMORY 686.15 357.11 None safe027_power.oepc.line964.yml OUT OF MEMORY 689.37 353.21 None safe027_power.opt.line1031.yml OUT OF MEMORY 271.82 149.71 None safe027_power.opt.line1032.yml OUT OF MEMORY 750.92 408.33 None safe027_power.opt.line1046.yml OUT OF MEMORY 392.27 212.82 None safe027_power.opt.line1047.yml OUT OF MEMORY 694.35 360.70 None safe027_power.opt.line1059.yml TIMEOUT 905.58 469.71 None safe027_power.opt.line1060.yml OUT OF MEMORY 657.88 349.84 None safe027_power.opt.line1086.yml OUT OF MEMORY 849.28 443.82 None safe027_power.opt.line1087.yml TIMEOUT 921.33 481.37 None safe027_power.opt.line1101.yml TIMEOUT 921.26 481.84 None safe027_power.opt.line1102.yml OUT OF MEMORY 777.39 406.36 None safe027_power.opt.line1182.yml OUT OF MEMORY 170.50 99.46 None safe027_power.opt.line1183.yml OUT OF MEMORY 798.04 415.60 None safe027_power.opt.line1197.yml OUT OF MEMORY 643.79 346.16 None safe027_power.opt.line1198.yml OUT OF MEMORY 840.68 447.75 None safe027_power.opt.line1392.yml TIMEOUT 910.34 473.82 None safe027_power.opt.line1393.yml OUT OF MEMORY 743.86 385.68 None safe027_power.opt.line1420.yml OUT OF MEMORY 842.60 439.97 None safe027_power.opt.line1421.yml OUT OF MEMORY 179.61 103.51 None safe027_power.opt.line1448.yml OUT OF MEMORY 897.74 484.96 None safe027_power.opt.line1449.yml OUT OF MEMORY 723.33 386.93 None safe027_power.opt.line1476.yml OUT OF MEMORY 703.35 358.12 None safe027_power.opt.line1477.yml OUT OF MEMORY 872.39 445.04 None safe027_power.opt.line1510.yml OUT OF MEMORY 776.01 398.41 None safe027_power.opt.line1511.yml OUT OF MEMORY 767.68 394.02 None safe027_power.opt.line1525.yml OUT OF MEMORY 750.52 384.23 None safe027_power.opt.line1526.yml TIMEOUT 909.73 466.32 None safe027_power.opt.line1573.yml TIMEOUT 911.25 468.85 None safe027_power.opt.line1574.yml OUT OF MEMORY 758.54 388.01 None safe027_power.opt.line326.yml OUT OF MEMORY 199.75 113.33 None safe027_power.opt.line327.yml OUT OF MEMORY 628.11 332.25 None safe027_power.opt.line339.yml TIMEOUT 921.23 480.57 None safe027_power.opt.line340.yml OUT OF MEMORY 660.10 342.01 None safe027_power.opt.line359.yml TIMEOUT 909.98 478.18 None safe027_power.opt.line360.yml OUT OF MEMORY 743.22 388.95 None safe027_power.opt.line485.yml OUT OF MEMORY 459.81 244.24 None safe027_power.opt.line486.yml OUT OF MEMORY 744.48 400.56 None safe027_power.opt.line500.yml OUT OF MEMORY 225.87 126.96 None safe027_power.opt.line501.yml OUT OF MEMORY 358.80 199.19 None safe027_power.opt.line513.yml OUT OF MEMORY 656.92 346.43 None safe027_power.opt.line514.yml TIMEOUT 921.45 486.55 None safe027_power.opt.line593.yml OUT OF MEMORY 639.41 335.77 None safe027_power.opt.line594.yml OUT OF MEMORY 865.06 451.50 None safe027_power.opt.line608.yml TIMEOUT 905.18 471.53 None safe027_power.opt.line609.yml TIMEOUT 906.74 471.87 None safe027_power.opt.line732.yml OUT OF MEMORY 712.74 378.91 None safe027_power.opt.line733.yml OUT OF MEMORY 691.99 364.08 None safe027_power.opt.line747.yml OUT OF MEMORY 790.20 410.49 None safe027_power.opt.line748.yml OUT OF MEMORY 740.92 395.96 None safe027_power.opt.line764.yml TIMEOUT 912.21 474.57 None safe027_power.opt.line765.yml OUT OF MEMORY 748.30 396.53 None safe027_power.opt.line796.yml OUT OF MEMORY 859.98 454.60 None safe027_power.opt.line797.yml OUT OF MEMORY 627.42 354.45 None safe027_power.opt.line817.yml OUT OF MEMORY 727.49 388.72 None safe027_power.opt.line818.yml OUT OF MEMORY 370.17 201.20 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 31.59 20.52 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line394.yml true 31.88 19.66 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 30.28 20.48 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line422.yml true 30.08 20.05 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line449.yml true 31.92 20.08 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line450.yml true 38.49 23.27 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line477.yml true 48.62 35.47 None safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.line478.yml true 50.18 32.70 None safe027_rmo.line1079.yml OUT OF MEMORY 592.25 305.20 None safe027_rmo.line1080.yml OUT OF MEMORY 876.68 446.80 None safe027_rmo.line1107.yml OUT OF MEMORY 650.21 331.05 None safe027_rmo.line1108.yml OUT OF MEMORY 711.93 364.09 None safe027_rmo.line1135.yml OUT OF MEMORY 456.42 237.47 None safe027_rmo.line1136.yml OUT OF MEMORY 810.48 416.04 None safe027_rmo.line1163.yml OUT OF MEMORY 673.17 344.15 None safe027_rmo.line1164.yml OUT OF MEMORY 848.71 433.23 None safe027_rmo.line1197.yml OUT OF MEMORY 667.28 344.10 None safe027_rmo.line1198.yml OUT OF MEMORY 734.70 375.80 None safe027_rmo.line1212.yml OUT OF MEMORY 699.62 363.31 None safe027_rmo.line1213.yml OUT OF MEMORY 889.24 450.68 None safe027_rmo.line1260.yml OUT OF MEMORY 679.42 346.42 None safe027_rmo.line1261.yml OUT OF MEMORY 651.78 333.27 None safe027_rmo.line321.yml OUT OF MEMORY 631.47 331.61 None safe027_rmo.line322.yml OUT OF MEMORY 704.20 361.06 None safe027_rmo.line334.yml OUT OF MEMORY 651.25 331.91 None safe027_rmo.line335.yml OUT OF MEMORY 606.78 314.77 None safe027_rmo.line354.yml OUT OF MEMORY 668.10 341.52 None safe027_rmo.line355.yml OUT OF MEMORY 730.75 380.26 None safe027_rmo.line482.yml OUT OF MEMORY 841.19 428.64 None safe027_rmo.line483.yml OUT OF MEMORY 834.85 425.84 None safe027_rmo.line497.yml OUT OF MEMORY 878.81 448.41 None safe027_rmo.line498.yml OUT OF MEMORY 699.99 363.96 None safe027_rmo.line510.yml OUT OF MEMORY 715.57 385.70 None safe027_rmo.line511.yml OUT OF MEMORY 756.89 391.51 None safe027_rmo.line616.yml OUT OF MEMORY 673.28 346.52 None safe027_rmo.line617.yml OUT OF MEMORY 733.62 377.46 None safe027_rmo.line629.yml OUT OF MEMORY 866.90 440.74 None safe027_rmo.line630.yml OUT OF MEMORY 671.65 345.32 None safe027_rmo.line649.yml OUT OF MEMORY 639.06 324.48 None safe027_rmo.line650.yml OUT OF MEMORY 613.86 320.70 None safe027_rmo.line775.yml OUT OF MEMORY 681.55 348.52 None safe027_rmo.line776.yml OUT OF MEMORY 608.09 313.03 None safe027_rmo.line790.yml OUT OF MEMORY 728.14 376.06 None safe027_rmo.line791.yml TIMEOUT 921.33 478.01 None safe027_rmo.line803.yml OUT OF MEMORY 879.66 447.71 None safe027_rmo.line804.yml OUT OF MEMORY 727.03 387.68 None safe027_rmo.line850.yml OUT OF MEMORY 706.99 361.77 None safe027_rmo.line851.yml OUT OF MEMORY 846.66 431.97 None safe027_rmo.line869.yml OUT OF MEMORY 774.05 398.30 None safe027_rmo.line870.yml OUT OF MEMORY 674.74 349.21 None safe027_rmo.line884.yml OUT OF MEMORY 660.82 336.85 None safe027_rmo.line885.yml OUT OF MEMORY 700.77 359.81 None safe028_power.line1022.yml OUT OF MEMORY 886.71 463.15 None safe028_power.line1023.yml TIMEOUT 920.05 484.26 None safe028_power.line1037.yml TIMEOUT 919.57 489.13 None safe028_power.line1038.yml TIMEOUT 904.67 472.66 None safe028_power.line1050.yml OUT OF MEMORY 596.94 318.95 None safe028_power.line1051.yml TIMEOUT 905.03 474.23 None safe028_power.line1077.yml TIMEOUT 917.88 500.29 None safe028_power.line1078.yml OUT OF MEMORY 255.13 144.97 None safe028_power.line1092.yml TIMEOUT 910.20 485.87 None safe028_power.line1093.yml TIMEOUT 918.50 485.76 None safe028_power.line1279.yml true 52.55 31.67 None safe028_power.line1280.yml true 63.10 38.21 None safe028_power.line1307.yml true 64.17 38.43 None safe028_power.line1308.yml true 51.82 32.04 None safe028_power.line1335.yml true 89.27 56.18 None safe028_power.line1336.yml true 109.63 66.69 None safe028_power.line1369.yml OUT OF MEMORY 733.43 372.20 None safe028_power.line1370.yml TIMEOUT 921.40 477.78 None safe028_power.line1384.yml OUT OF MEMORY 662.75 339.41 None safe028_power.line1385.yml OUT OF MEMORY 875.42 446.28 None safe028_power.line1432.yml OUT OF MEMORY 689.10 355.20 None safe028_power.line1433.yml OUT OF MEMORY 777.31 406.16 None safe028_power.line318.yml false(unreach-call) 67.20 40.51 None safe028_power.line319.yml false(unreach-call) 57.85 38.93 None safe028_power.line331.yml false(unreach-call) 54.29 34.83 None safe028_power.line332.yml false(unreach-call) 56.21 34.83 None safe028_power.line351.yml false(unreach-call) 71.55 41.45 None safe028_power.line352.yml false(unreach-call) 56.77 35.65 None safe028_power.line477.yml false(unreach-call) 54.28 34.46 None safe028_power.line478.yml false(unreach-call) 55.41 34.42 None safe028_power.line492.yml TIMEOUT 912.67 484.08 None safe028_power.line493.yml TIMEOUT 921.37 482.65 None safe028_power.line505.yml false(unreach-call) 56.21 35.52 None safe028_power.line506.yml false(unreach-call) 55.77 34.04 None safe028_power.line584.yml OUT OF MEMORY 223.97 167.77 None safe028_power.line585.yml OUT OF MEMORY 254.04 180.86 None safe028_power.line599.yml false(unreach-call) 67.30 42.60 None safe028_power.line600.yml false(unreach-call) 70.36 42.17 None safe028_power.line723.yml TIMEOUT 909.13 472.35 None safe028_power.line724.yml TIMEOUT 903.83 510.79 None safe028_power.line738.yml OUT OF MEMORY 856.51 448.92 None safe028_power.line739.yml TIMEOUT 921.35 487.22 None safe028_power.line755.yml TIMEOUT 901.42 573.68 None safe028_power.line756.yml TIMEOUT 903.72 526.58 None safe028_power.line787.yml OUT OF MEMORY 811.38 454.44 None safe028_power.line788.yml TIMEOUT 908.32 513.92 None safe028_power.line808.yml OUT OF MEMORY 747.90 393.69 None safe028_power.line809.yml OUT OF MEMORY 786.32 414.54 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line364.yml true 8.42 6.34 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line365.yml true 8.86 6.07 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line392.yml true 8.22 5.83 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line393.yml true 9.65 8.17 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line420.yml true 13.28 7.74 None safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.line421.yml true 11.07 8.28 None safe028_rmo.line1106.yml true 62.75 38.13 None safe028_rmo.line1107.yml true 50.87 37.39 None safe028_rmo.line1134.yml true 60.86 37.05 None safe028_rmo.line1135.yml true 50.99 36.51 None safe028_rmo.line1162.yml true 102.19 62.26 None safe028_rmo.line1163.yml true 86.30 61.13 None safe028_rmo.line1196.yml TIMEOUT 902.14 459.77 None safe028_rmo.line1197.yml OUT OF MEMORY 754.86 400.94 None safe028_rmo.line1211.yml OUT OF MEMORY 732.74 387.53 None safe028_rmo.line1212.yml TIMEOUT 912.14 466.24 None safe028_rmo.line1259.yml OUT OF MEMORY 719.31 375.29 None safe028_rmo.line1260.yml OUT OF MEMORY 699.36 358.73 None safe028_rmo.line318.yml false(unreach-call) 53.60 33.71 None safe028_rmo.line319.yml false(unreach-call) 54.30 34.40 None safe028_rmo.line331.yml false(unreach-call) 52.19 39.72 None safe028_rmo.line332.yml false(unreach-call) 52.61 42.98 None safe028_rmo.line351.yml false(unreach-call) 60.55 37.72 None safe028_rmo.line352.yml false(unreach-call) 52.45 32.96 None safe028_rmo.line477.yml false(unreach-call) 54.86 34.56 None safe028_rmo.line478.yml false(unreach-call) 53.41 37.62 None safe028_rmo.line492.yml TIMEOUT 920.25 512.30 None safe028_rmo.line493.yml OUT OF MEMORY 691.18 362.31 None safe028_rmo.line505.yml false(unreach-call) 61.68 37.70 None safe028_rmo.line506.yml false(unreach-call) 64.43 38.90 None safe028_rmo.line552.yml false(unreach-call) 55.75 38.00 None safe028_rmo.line553.yml false(unreach-call) 57.00 35.93 None safe028_rmo.line571.yml false(unreach-call) 55.47 38.72 None safe028_rmo.line572.yml false(unreach-call) 65.92 40.00 None safe028_rmo.line586.yml false(unreach-call) 65.26 39.77 None safe028_rmo.line587.yml false(unreach-call) 56.14 35.13 None safe028_rmo.line688.yml TIMEOUT 910.17 483.50 None safe028_rmo.line689.yml OUT OF MEMORY 898.15 478.30 None safe028_rmo.line701.yml OUT OF MEMORY 272.29 156.32 None safe028_rmo.line702.yml OUT OF MEMORY 843.33 436.21 None safe028_rmo.line721.yml OUT OF MEMORY 692.95 359.75 None safe028_rmo.line722.yml OUT OF MEMORY 691.58 359.42 None safe028_rmo.line849.yml OUT OF MEMORY 618.00 329.68 None safe028_rmo.line850.yml OUT OF MEMORY 783.38 408.16 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 161482.47 6255.14 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk03 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk03 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk03 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk03 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk03 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk03 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk03 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk03 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk03 Run set 19 of 19: skipped Statistics: 900 Files correct: 114 correct true: 114 correct false: 0 incorrect: 138 incorrect true: 0 incorrect false: 138 unknown: 648 Score: -1980 (max: 1800)