BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk05, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk05, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk05 date: Thu, 2022-10-20 04:12:19 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-chunk05 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 ---------------------------------------------------------------------------------------------------------------------- safe018_power.oepc.line416.yml false(unreach-call) 19.71 12.61 None safe018_power.oepc.line417.yml false(unreach-call) 17.92 11.68 None safe018_power.oepc.line630.yml false(unreach-call) 24.17 13.81 None safe018_power.oepc.line631.yml false(unreach-call) 19.01 11.67 None safe018_power.oepc.line645.yml OUT OF MEMORY 416.37 230.29 None safe018_power.oepc.line646.yml OUT OF MEMORY 396.67 210.49 None safe018_power.oepc.line658.yml false(unreach-call) 22.29 12.96 None safe018_power.oepc.line659.yml false(unreach-call) 30.40 16.60 None safe018_power.oepc.line740.yml true 166.51 90.76 None safe018_power.oepc.line741.yml OUT OF MEMORY 531.76 277.94 None safe018_power.oepc.line759.yml OUT OF MEMORY 251.34 138.53 None safe018_power.oepc.line760.yml OUT OF MEMORY 407.47 211.15 None safe018_power.oepc.line774.yml OUT OF MEMORY 455.15 245.49 None safe018_power.oepc.line775.yml OUT OF MEMORY 344.42 181.97 None safe018_power.oepc.line961.yml true 18.15 12.19 None safe018_power.oepc.line962.yml true 16.36 10.02 None safe018_power.oepc.line989.yml true 19.89 12.30 None safe018_power.oepc.line990.yml true 24.72 13.72 None safe018_power.opt.line1018.yml OUT OF MEMORY 819.75 428.91 None safe018_power.opt.line1019.yml TIMEOUT 905.85 480.08 None safe018_power.opt.line1033.yml OUT OF MEMORY 706.68 378.29 None safe018_power.opt.line1034.yml TIMEOUT 915.76 500.89 None safe018_power.opt.line1046.yml OUT OF MEMORY 778.01 423.33 None safe018_power.opt.line1047.yml TIMEOUT 906.60 482.83 None safe018_power.opt.line1073.yml TIMEOUT 917.14 485.44 None safe018_power.opt.line1074.yml TIMEOUT 921.28 518.36 None safe018_power.opt.line1088.yml OUT OF MEMORY 837.82 457.45 None safe018_power.opt.line1089.yml TIMEOUT 921.09 542.25 None safe018_power.opt.line1275.yml true 39.85 24.57 None safe018_power.opt.line1276.yml true 49.15 31.02 None safe018_power.opt.line1303.yml true 40.26 24.20 None safe018_power.opt.line1304.yml true 40.52 25.40 None safe018_power.opt.line1331.yml true 68.54 42.80 None safe018_power.opt.line1332.yml true 81.95 51.84 None safe018_power.opt.line1365.yml OUT OF MEMORY 526.65 295.41 None safe018_power.opt.line1366.yml OUT OF MEMORY 536.01 283.42 None safe018_power.opt.line1380.yml OUT OF MEMORY 577.16 308.56 None safe018_power.opt.line1381.yml OUT OF MEMORY 601.37 331.05 None safe018_power.opt.line1428.yml OUT OF MEMORY 510.09 271.14 None safe018_power.opt.line1429.yml OUT OF MEMORY 674.59 351.72 None safe018_power.opt.line314.yml false(unreach-call) 48.20 30.44 None safe018_power.opt.line315.yml false(unreach-call) 44.13 30.75 None safe018_power.opt.line327.yml false(unreach-call) 51.58 29.96 None safe018_power.opt.line328.yml false(unreach-call) 50.32 29.19 None safe018_power.opt.line347.yml false(unreach-call) 48.03 30.54 None safe018_power.opt.line348.yml false(unreach-call) 43.89 28.65 None safe018_power.opt.line473.yml false(unreach-call) 52.63 29.92 None safe018_power.opt.line474.yml false(unreach-call) 49.87 29.14 None safe018_power.opt.line488.yml TIMEOUT 904.67 501.16 None safe018_power.opt.line489.yml OUT OF MEMORY 534.87 291.70 None safe018_power.opt.line501.yml false(unreach-call) 51.55 29.57 None safe018_power.opt.line502.yml false(unreach-call) 41.43 24.95 None safe018_power.opt.line580.yml TIMEOUT 901.51 577.38 None safe018_power.opt.line581.yml OUT OF MEMORY 317.81 212.72 None safe018_power.opt.line595.yml false(unreach-call) 59.96 34.28 None safe018_power.opt.line596.yml false(unreach-call) 52.96 30.27 None safe018_power.opt.line719.yml TIMEOUT 921.28 491.29 None safe018_power.opt.line720.yml TIMEOUT 909.66 487.09 None safe018_power.opt.line734.yml OUT OF MEMORY 554.08 300.10 None safe018_power.opt.line735.yml OUT OF MEMORY 718.90 384.60 None safe018_power.opt.line751.yml TIMEOUT 902.59 534.62 None safe018_power.opt.line752.yml TIMEOUT 901.53 544.94 None safe018_power.opt.line783.yml OUT OF MEMORY 692.12 378.87 None safe018_power.opt.line784.yml OUT OF MEMORY 872.35 476.43 None safe018_power.opt.line804.yml OUT OF MEMORY 584.84 322.21 None safe018_power.opt.line805.yml TIMEOUT 903.17 477.67 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line360.yml true 9.42 5.98 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line361.yml true 9.70 6.07 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 9.79 6.09 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line389.yml true 10.02 6.24 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 11.20 6.66 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line417.yml true 11.24 6.68 None safe018_rmo.oepc.line309.yml false(unreach-call) 20.19 11.68 None safe018_rmo.oepc.line310.yml false(unreach-call) 17.58 11.27 None safe018_rmo.oepc.line322.yml false(unreach-call) 20.43 11.76 None safe018_rmo.oepc.line323.yml false(unreach-call) 15.04 9.96 None safe018_rmo.oepc.line342.yml false(unreach-call) 20.06 11.54 None safe018_rmo.oepc.line343.yml false(unreach-call) 16.29 10.14 None safe018_rmo.oepc.line470.yml false(unreach-call) 19.99 11.41 None safe018_rmo.oepc.line471.yml false(unreach-call) 16.35 10.44 None safe018_rmo.oepc.line485.yml OUT OF MEMORY 647.30 332.88 None safe018_rmo.oepc.line486.yml OUT OF MEMORY 460.95 242.29 None safe018_rmo.oepc.line498.yml false(unreach-call) 18.00 11.29 None safe018_rmo.oepc.line499.yml false(unreach-call) 17.39 11.19 None safe018_rmo.oepc.line580.yml true 125.71 73.82 None safe018_rmo.oepc.line581.yml OUT OF MEMORY 566.87 291.15 None safe018_rmo.oepc.line599.yml true 267.62 150.51 None safe018_rmo.oepc.line600.yml OUT OF MEMORY 542.94 287.77 None safe018_rmo.oepc.line614.yml OUT OF MEMORY 513.90 283.98 None safe018_rmo.oepc.line615.yml OUT OF MEMORY 522.59 285.63 None safe018_rmo.oepc.line801.yml true 18.19 10.41 None safe018_rmo.oepc.line802.yml true 18.34 10.52 None safe018_rmo.oepc.line829.yml true 17.89 10.43 None safe018_rmo.oepc.line830.yml true 20.00 11.23 None safe018_rmo.oepc.line857.yml true 25.60 14.28 None safe018_rmo.oepc.line858.yml true 22.43 13.06 None safe018_rmo.oepc.line891.yml OUT OF MEMORY 865.59 444.22 None safe018_rmo.oepc.line892.yml OUT OF MEMORY 754.92 388.64 None safe018_rmo.oepc.line906.yml OUT OF MEMORY 686.33 369.81 None safe018_rmo.oepc.line907.yml OUT OF MEMORY 657.91 364.36 None safe018_rmo.oepc.line954.yml OUT OF MEMORY 504.69 276.65 None safe018_rmo.oepc.line955.yml OUT OF MEMORY 529.97 293.10 None safe018_rmo.opt.line1102.yml true 38.15 24.06 None safe018_rmo.opt.line1103.yml true 44.59 27.60 None safe018_rmo.opt.line1130.yml true 37.29 22.89 None safe018_rmo.opt.line1131.yml true 44.16 25.66 None safe018_rmo.opt.line1158.yml true 72.13 46.20 None safe018_rmo.opt.line1159.yml true 64.59 39.70 None safe018_rmo.opt.line1192.yml OUT OF MEMORY 808.42 418.92 None safe018_rmo.opt.line1193.yml OUT OF MEMORY 810.05 422.11 None safe018_rmo.opt.line1207.yml OUT OF MEMORY 692.65 365.66 None safe018_rmo.opt.line1208.yml OUT OF MEMORY 720.24 397.24 None safe018_rmo.opt.line1255.yml OUT OF MEMORY 657.82 343.68 None safe018_rmo.opt.line1256.yml OUT OF MEMORY 741.76 398.34 None safe018_rmo.opt.line314.yml false(unreach-call) 42.89 27.74 None safe018_rmo.opt.line315.yml false(unreach-call) 42.85 28.37 None safe018_rmo.opt.line327.yml false(unreach-call) 41.83 28.37 None safe018_rmo.opt.line328.yml false(unreach-call) 41.65 26.94 None safe018_rmo.opt.line347.yml false(unreach-call) 41.97 27.99 None safe018_rmo.opt.line348.yml false(unreach-call) 42.83 27.76 None safe018_rmo.opt.line473.yml false(unreach-call) 42.00 28.81 None safe018_rmo.opt.line474.yml false(unreach-call) 39.65 23.72 None safe018_rmo.opt.line488.yml OUT OF MEMORY 785.58 431.37 None safe018_rmo.opt.line489.yml OUT OF MEMORY 599.63 340.53 None safe018_rmo.opt.line501.yml false(unreach-call) 37.69 22.94 None safe018_rmo.opt.line502.yml false(unreach-call) 40.40 25.36 None safe018_rmo.opt.line548.yml false(unreach-call) 42.13 25.29 None safe018_rmo.opt.line549.yml false(unreach-call) 41.38 25.64 None safe018_rmo.opt.line567.yml false(unreach-call) 39.40 23.84 None safe018_rmo.opt.line568.yml false(unreach-call) 44.18 28.94 None safe018_rmo.opt.line582.yml false(unreach-call) 41.73 26.82 None safe018_rmo.opt.line583.yml false(unreach-call) 41.33 26.50 None safe018_rmo.opt.line684.yml TIMEOUT 904.89 474.07 None safe018_rmo.opt.line685.yml OUT OF MEMORY 662.66 358.22 None safe018_rmo.opt.line697.yml OUT OF MEMORY 773.13 409.73 None safe018_rmo.opt.line698.yml OUT OF MEMORY 817.59 438.18 None safe018_rmo.opt.line717.yml OUT OF MEMORY 532.13 287.39 None safe018_rmo.opt.line718.yml OUT OF MEMORY 686.92 355.99 None safe018_rmo.opt.line845.yml OUT OF MEMORY 593.19 320.34 None safe018_rmo.opt.line846.yml OUT OF MEMORY 580.14 308.20 None safe018_rmo.opt.line860.yml TIMEOUT 915.95 481.82 None safe018_rmo.opt.line861.yml OUT OF MEMORY 788.82 432.02 None safe018_rmo.opt.line873.yml OUT OF MEMORY 674.60 355.20 None safe018_rmo.opt.line874.yml OUT OF MEMORY 619.06 337.22 None safe018_rmo.opt.line900.yml OUT OF MEMORY 698.97 381.10 None safe018_rmo.opt.line901.yml OUT OF MEMORY 818.77 442.92 None safe018_rmo.opt.line915.yml TIMEOUT 906.97 509.70 None safe018_rmo.opt.line916.yml TIMEOUT 921.31 503.12 None safe019_power.oepc.line1110.yml OUT OF MEMORY 597.22 311.29 None safe019_power.oepc.line1111.yml OUT OF MEMORY 475.14 258.20 None safe019_power.oepc.line1138.yml OUT OF MEMORY 446.95 235.99 None safe019_power.oepc.line1139.yml OUT OF MEMORY 516.44 275.34 None safe019_power.oepc.line1166.yml OUT OF MEMORY 328.76 179.73 None safe019_power.oepc.line1167.yml OUT OF MEMORY 463.41 246.23 None safe019_power.oepc.line1194.yml OUT OF MEMORY 653.47 335.89 None safe019_power.oepc.line1195.yml OUT OF MEMORY 535.94 288.09 None safe019_power.oepc.line1228.yml OUT OF MEMORY 675.64 365.69 None safe019_power.oepc.line1229.yml OUT OF MEMORY 701.44 361.83 None safe019_power.oepc.line1243.yml OUT OF MEMORY 543.33 285.96 None safe019_power.oepc.line1244.yml OUT OF MEMORY 621.28 341.28 None safe019_power.oepc.line1292.yml OUT OF MEMORY 550.69 285.82 None safe019_power.oepc.line1293.yml OUT OF MEMORY 607.74 319.65 None safe019_power.oepc.line1305.yml OUT OF MEMORY 536.54 281.96 None safe019_power.oepc.line1306.yml OUT OF MEMORY 672.76 347.88 None safe019_power.oepc.line1325.yml OUT OF MEMORY 726.81 374.85 None safe019_power.oepc.line1326.yml OUT OF MEMORY 535.23 286.78 None safe019_power.oepc.line1455.yml OUT OF MEMORY 627.43 338.80 None safe019_power.oepc.line1456.yml OUT OF MEMORY 703.95 362.96 None safe019_power.oepc.line1477.yml OUT OF MEMORY 667.24 355.41 None safe019_power.oepc.line1478.yml OUT OF MEMORY 544.59 284.25 None safe019_power.oepc.line1492.yml OUT OF MEMORY 532.80 281.82 None safe019_power.oepc.line1493.yml OUT OF MEMORY 718.61 387.29 None safe019_power.oepc.line1505.yml OUT OF MEMORY 517.54 268.99 None safe019_power.oepc.line1506.yml OUT OF MEMORY 732.30 375.67 None safe019_power.oepc.line341.yml OUT OF MEMORY 460.56 245.20 None safe019_power.oepc.line342.yml OUT OF MEMORY 492.33 264.06 None safe019_power.oepc.line356.yml OUT OF MEMORY 456.37 247.36 None safe019_power.oepc.line357.yml OUT OF MEMORY 451.75 247.01 None safe019_power.oepc.line373.yml OUT OF MEMORY 602.35 313.97 None safe019_power.oepc.line374.yml OUT OF MEMORY 611.05 317.09 None safe019_power.oepc.line405.yml OUT OF MEMORY 462.82 244.02 None safe019_power.oepc.line406.yml OUT OF MEMORY 452.11 256.10 None safe019_power.oepc.line426.yml OUT OF MEMORY 529.12 280.00 None safe019_power.oepc.line427.yml OUT OF MEMORY 598.68 331.61 None safe019_power.oepc.line640.yml OUT OF MEMORY 386.06 203.99 None safe019_power.oepc.line641.yml OUT OF MEMORY 605.41 315.49 None safe019_power.oepc.line655.yml OUT OF MEMORY 537.60 284.14 None safe019_power.oepc.line656.yml OUT OF MEMORY 540.07 289.22 None safe019_power.oepc.line668.yml OUT OF MEMORY 516.89 287.32 None safe019_power.oepc.line669.yml OUT OF MEMORY 448.29 245.39 None safe019_power.oepc.line750.yml OUT OF MEMORY 625.65 357.07 None safe019_power.oepc.line751.yml OUT OF MEMORY 616.23 320.47 None safe019_power.oepc.line769.yml OUT OF MEMORY 600.64 314.04 None safe019_power.oepc.line770.yml OUT OF MEMORY 473.42 249.98 None safe019_power.oepc.line784.yml OUT OF MEMORY 587.90 307.56 None safe019_power.oepc.line785.yml OUT OF MEMORY 414.33 218.80 None safe019_power.oepc.line855.yml OUT OF MEMORY 534.23 296.64 None safe019_power.oepc.line856.yml OUT OF MEMORY 472.09 252.43 None safe019_power.oepc.line874.yml OUT OF MEMORY 432.88 231.89 None safe019_power.oepc.line875.yml OUT OF MEMORY 438.07 240.94 None safe019_power.oepc.line889.yml OUT OF MEMORY 566.17 295.29 None safe019_power.oepc.line890.yml OUT OF MEMORY 540.92 290.85 None safe019_power.opt.line1029.yml OUT OF MEMORY 798.29 448.63 None safe019_power.opt.line1030.yml OUT OF MEMORY 801.14 440.47 None safe019_power.opt.line1044.yml OUT OF MEMORY 684.81 363.39 None safe019_power.opt.line1045.yml OUT OF MEMORY 714.46 381.92 None safe019_power.opt.line1057.yml TIMEOUT 904.99 473.94 None safe019_power.opt.line1058.yml TIMEOUT 907.22 499.62 None safe019_power.opt.line1084.yml TIMEOUT 903.25 474.26 None safe019_power.opt.line1085.yml TIMEOUT 902.71 474.45 None safe019_power.opt.line1099.yml OUT OF MEMORY 727.73 395.85 None safe019_power.opt.line1100.yml OUT OF MEMORY 750.26 400.42 None safe019_power.opt.line1180.yml OUT OF MEMORY 738.27 398.19 None safe019_power.opt.line1181.yml OUT OF MEMORY 728.40 404.46 None safe019_power.opt.line1195.yml OUT OF MEMORY 787.94 430.09 None safe019_power.opt.line1196.yml TIMEOUT 900.98 472.16 None safe019_power.opt.line1389.yml OUT OF MEMORY 808.41 446.63 None safe019_power.opt.line1390.yml OUT OF MEMORY 734.48 405.05 None safe019_power.opt.line1417.yml OUT OF MEMORY 702.07 371.88 None safe019_power.opt.line1418.yml OUT OF MEMORY 739.79 394.73 None safe019_power.opt.line1445.yml OUT OF MEMORY 842.84 461.72 None safe019_power.opt.line1446.yml OUT OF MEMORY 752.21 404.26 None safe019_power.opt.line1473.yml OUT OF MEMORY 524.12 285.22 None safe019_power.opt.line1474.yml OUT OF MEMORY 682.34 358.10 None safe019_power.opt.line1507.yml OUT OF MEMORY 764.38 402.28 None safe019_power.opt.line1508.yml OUT OF MEMORY 627.81 341.55 None safe019_power.opt.line1522.yml OUT OF MEMORY 733.21 405.31 None safe019_power.opt.line1523.yml OUT OF MEMORY 787.73 414.09 None safe019_power.opt.line1570.yml OUT OF MEMORY 679.71 368.74 None safe019_power.opt.line1571.yml OUT OF MEMORY 781.42 412.21 None safe019_power.opt.line324.yml OUT OF MEMORY 721.10 382.41 None safe019_power.opt.line325.yml OUT OF MEMORY 761.51 420.88 None safe019_power.opt.line337.yml OUT OF MEMORY 706.76 378.98 None safe019_power.opt.line338.yml OUT OF MEMORY 723.97 387.89 None safe019_power.opt.line357.yml OUT OF MEMORY 810.17 447.83 None safe019_power.opt.line358.yml TIMEOUT 906.87 474.99 None safe019_power.opt.line483.yml OUT OF MEMORY 707.93 397.25 None safe019_power.opt.line484.yml OUT OF MEMORY 734.69 394.78 None safe019_power.opt.line498.yml TIMEOUT 904.64 476.20 None safe019_power.opt.line499.yml OUT OF MEMORY 716.43 391.73 None safe019_power.opt.line511.yml TIMEOUT 917.79 505.79 None safe019_power.opt.line512.yml TIMEOUT 904.51 474.90 None safe019_power.opt.line591.yml OUT OF MEMORY 751.34 409.64 None safe019_power.opt.line592.yml TIMEOUT 902.38 471.67 None safe019_power.opt.line606.yml OUT OF MEMORY 505.84 274.64 None safe019_power.opt.line607.yml OUT OF MEMORY 722.98 387.64 None safe019_power.opt.line730.yml OUT OF MEMORY 774.75 425.44 None safe019_power.opt.line731.yml OUT OF MEMORY 737.45 396.02 None safe019_power.opt.line745.yml OUT OF MEMORY 845.42 462.43 None safe019_power.opt.line746.yml OUT OF MEMORY 677.81 382.94 None safe019_power.opt.line762.yml OUT OF MEMORY 723.94 387.80 None safe019_power.opt.line763.yml OUT OF MEMORY 787.12 431.36 None safe019_power.opt.line794.yml TIMEOUT 902.12 470.96 None safe019_power.opt.line795.yml OUT OF MEMORY 522.87 282.09 None safe019_power.opt.line815.yml OUT OF MEMORY 572.45 319.00 None safe019_power.opt.line816.yml TIMEOUT 903.58 475.39 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line390.yml true 28.71 17.82 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line391.yml true 28.41 19.02 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line418.yml true 30.31 18.15 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line419.yml true 29.60 19.76 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line446.yml true 31.59 18.78 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line447.yml true 29.75 17.88 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line474.yml true 44.64 30.51 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line475.yml true 48.52 28.29 None safe019_rmo.oepc.line1006.yml OUT OF MEMORY 519.99 292.83 None safe019_rmo.oepc.line1007.yml OUT OF MEMORY 519.62 273.03 None safe019_rmo.oepc.line1034.yml OUT OF MEMORY 585.54 302.11 None safe019_rmo.oepc.line1035.yml OUT OF MEMORY 448.06 235.74 None safe019_rmo.oepc.line1068.yml OUT OF MEMORY 540.83 284.73 None safe019_rmo.oepc.line1069.yml OUT OF MEMORY 575.30 310.59 None safe019_rmo.oepc.line1083.yml OUT OF MEMORY 535.98 293.33 None safe019_rmo.oepc.line1084.yml OUT OF MEMORY 518.33 269.23 None safe019_rmo.oepc.line1132.yml OUT OF MEMORY 517.22 271.95 None safe019_rmo.oepc.line1133.yml OUT OF MEMORY 586.15 315.90 None safe019_rmo.oepc.line1145.yml OUT OF MEMORY 581.05 304.66 None safe019_rmo.oepc.line1146.yml OUT OF MEMORY 487.15 262.02 None safe019_rmo.oepc.line1165.yml OUT OF MEMORY 509.01 265.31 None safe019_rmo.oepc.line1166.yml OUT OF MEMORY 688.37 354.44 None safe019_rmo.oepc.line1295.yml OUT OF MEMORY 603.76 327.21 None safe019_rmo.oepc.line1296.yml OUT OF MEMORY 712.57 366.35 None safe019_rmo.oepc.line1317.yml OUT OF MEMORY 697.88 359.39 None safe019_rmo.oepc.line1318.yml OUT OF MEMORY 540.97 285.21 None safe019_rmo.oepc.line1332.yml OUT OF MEMORY 710.13 367.17 None safe019_rmo.oepc.line1333.yml OUT OF MEMORY 561.45 300.78 None safe019_rmo.oepc.line1345.yml OUT OF MEMORY 501.96 260.37 None safe019_rmo.oepc.line1346.yml OUT OF MEMORY 567.71 302.23 None safe019_rmo.oepc.line319.yml OUT OF MEMORY 409.80 216.84 None safe019_rmo.oepc.line320.yml OUT OF MEMORY 429.40 233.49 None safe019_rmo.oepc.line332.yml OUT OF MEMORY 557.14 305.45 None safe019_rmo.oepc.line333.yml OUT OF MEMORY 363.20 201.43 None safe019_rmo.oepc.line352.yml OUT OF MEMORY 478.54 252.07 None safe019_rmo.oepc.line353.yml OUT OF MEMORY 555.63 300.99 None safe019_rmo.oepc.line480.yml OUT OF MEMORY 420.78 225.37 None safe019_rmo.oepc.line481.yml OUT OF MEMORY 412.70 218.39 None safe019_rmo.oepc.line495.yml OUT OF MEMORY 506.77 264.62 None safe019_rmo.oepc.line496.yml OUT OF MEMORY 508.20 266.79 None safe019_rmo.oepc.line508.yml OUT OF MEMORY 401.57 212.04 None safe019_rmo.oepc.line509.yml OUT OF MEMORY 534.92 280.80 None safe019_rmo.oepc.line590.yml OUT OF MEMORY 393.80 217.06 None safe019_rmo.oepc.line591.yml OUT OF MEMORY 353.33 193.71 None ---------------------------------------------------------------------------------------------------------------------- Run set 1 done 143518.48 5650.24 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk05 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 ---------------------------------------------------------------------------------------------------------------------- safe018_power.oepc.line416.yml false(unreach-call) 19.46 12.92 None safe018_power.oepc.line417.yml false(unreach-call) 19.15 12.40 None safe018_power.oepc.line630.yml false(unreach-call) 23.63 13.58 None safe018_power.oepc.line631.yml false(unreach-call) 19.65 11.55 None safe018_power.oepc.line645.yml OUT OF MEMORY 487.65 264.20 None safe018_power.oepc.line646.yml OUT OF MEMORY 435.00 241.90 None safe018_power.oepc.line658.yml false(unreach-call) 22.30 12.98 None safe018_power.oepc.line659.yml false(unreach-call) 23.86 13.85 None safe018_power.oepc.line740.yml true 150.23 83.19 None safe018_power.oepc.line741.yml OUT OF MEMORY 583.80 307.01 None safe018_power.oepc.line759.yml OUT OF MEMORY 232.04 130.78 None safe018_power.oepc.line760.yml OUT OF MEMORY 350.70 184.71 None safe018_power.oepc.line774.yml OUT OF MEMORY 372.84 204.21 None safe018_power.oepc.line775.yml OUT OF MEMORY 339.09 183.09 None safe018_power.oepc.line961.yml true 16.77 10.10 None safe018_power.oepc.line962.yml true 17.08 10.71 None safe018_power.oepc.line989.yml true 19.88 12.61 None safe018_power.oepc.line990.yml true 20.09 11.98 None safe018_power.opt.line1018.yml OUT OF MEMORY 890.21 467.51 None safe018_power.opt.line1019.yml TIMEOUT 921.25 498.66 None safe018_power.opt.line1033.yml OUT OF MEMORY 665.63 360.17 None safe018_power.opt.line1034.yml OUT OF MEMORY 866.58 467.91 None safe018_power.opt.line1046.yml OUT OF MEMORY 875.22 462.28 None safe018_power.opt.line1047.yml TIMEOUT 921.33 516.42 None safe018_power.opt.line1073.yml TIMEOUT 908.35 479.02 None safe018_power.opt.line1074.yml OUT OF MEMORY 868.96 470.90 None safe018_power.opt.line1088.yml OUT OF MEMORY 794.56 440.22 None safe018_power.opt.line1089.yml TIMEOUT 910.88 501.52 None safe018_power.opt.line1275.yml true 35.13 22.39 None safe018_power.opt.line1276.yml true 36.46 23.77 None safe018_power.opt.line1303.yml true 36.97 26.66 None safe018_power.opt.line1304.yml true 35.08 23.33 None safe018_power.opt.line1331.yml true 69.60 46.00 None safe018_power.opt.line1332.yml true 62.10 42.01 None safe018_power.opt.line1365.yml OUT OF MEMORY 615.12 335.56 None safe018_power.opt.line1366.yml OUT OF MEMORY 554.38 295.40 None safe018_power.opt.line1380.yml OUT OF MEMORY 725.44 399.15 None safe018_power.opt.line1381.yml OUT OF MEMORY 482.09 270.67 None safe018_power.opt.line1428.yml OUT OF MEMORY 567.75 303.70 None safe018_power.opt.line1429.yml OUT OF MEMORY 759.21 398.06 None safe018_power.opt.line314.yml false(unreach-call) 41.98 25.12 None safe018_power.opt.line315.yml false(unreach-call) 38.16 23.79 None safe018_power.opt.line327.yml false(unreach-call) 42.59 25.46 None safe018_power.opt.line328.yml false(unreach-call) 41.97 24.98 None safe018_power.opt.line347.yml false(unreach-call) 38.92 23.96 None safe018_power.opt.line348.yml false(unreach-call) 41.40 24.75 None safe018_power.opt.line473.yml false(unreach-call) 46.72 27.08 None safe018_power.opt.line474.yml false(unreach-call) 40.17 27.33 None safe018_power.opt.line488.yml OUT OF MEMORY 893.03 507.35 None safe018_power.opt.line489.yml OUT OF MEMORY 794.04 452.07 None safe018_power.opt.line501.yml false(unreach-call) 41.97 25.07 None safe018_power.opt.line502.yml false(unreach-call) 45.54 26.74 None safe018_power.opt.line580.yml TIMEOUT 901.95 706.43 None safe018_power.opt.line581.yml TIMEOUT 902.23 778.57 None safe018_power.opt.line595.yml false(unreach-call) 51.99 30.30 None safe018_power.opt.line596.yml false(unreach-call) 53.85 31.20 None safe018_power.opt.line719.yml OUT OF MEMORY 845.35 476.06 None safe018_power.opt.line720.yml OUT OF MEMORY 694.75 386.69 None safe018_power.opt.line734.yml OUT OF MEMORY 523.60 291.13 None safe018_power.opt.line735.yml TIMEOUT 921.33 531.01 None safe018_power.opt.line751.yml TIMEOUT 901.85 651.54 None safe018_power.opt.line752.yml TIMEOUT 902.18 643.95 None safe018_power.opt.line783.yml OUT OF MEMORY 203.91 124.22 None safe018_power.opt.line784.yml OUT OF MEMORY 843.01 476.39 None safe018_power.opt.line804.yml OUT OF MEMORY 624.32 374.59 None safe018_power.opt.line805.yml TIMEOUT 906.51 491.91 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line360.yml true 9.73 6.05 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line361.yml true 9.56 5.99 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 10.25 6.44 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line389.yml true 10.01 6.25 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 9.10 6.97 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line417.yml true 11.99 6.80 None safe018_rmo.oepc.line309.yml false(unreach-call) 15.50 11.19 None safe018_rmo.oepc.line310.yml false(unreach-call) 21.42 12.25 None safe018_rmo.oepc.line322.yml false(unreach-call) 16.67 12.24 None safe018_rmo.oepc.line323.yml false(unreach-call) 21.86 12.45 None safe018_rmo.oepc.line342.yml false(unreach-call) 15.49 11.24 None safe018_rmo.oepc.line343.yml false(unreach-call) 22.55 12.47 None safe018_rmo.oepc.line470.yml false(unreach-call) 16.50 11.74 None safe018_rmo.oepc.line471.yml false(unreach-call) 21.64 12.14 None safe018_rmo.oepc.line485.yml OUT OF MEMORY 469.31 258.00 None safe018_rmo.oepc.line486.yml OUT OF MEMORY 660.50 341.09 None safe018_rmo.oepc.line498.yml false(unreach-call) 18.65 11.07 None safe018_rmo.oepc.line499.yml false(unreach-call) 19.06 10.88 None safe018_rmo.oepc.line580.yml true 121.36 72.66 None safe018_rmo.oepc.line581.yml OUT OF MEMORY 770.85 440.59 None safe018_rmo.oepc.line599.yml true 261.23 154.38 None safe018_rmo.oepc.line600.yml OUT OF MEMORY 484.35 262.38 None safe018_rmo.oepc.line614.yml true 462.76 277.82 None safe018_rmo.oepc.line615.yml OUT OF MEMORY 469.74 249.12 None safe018_rmo.oepc.line801.yml true 17.11 10.02 None safe018_rmo.oepc.line802.yml true 17.61 10.60 None safe018_rmo.oepc.line829.yml true 13.59 9.12 None safe018_rmo.oepc.line830.yml true 19.73 14.12 None safe018_rmo.oepc.line857.yml true 19.32 13.70 None safe018_rmo.oepc.line858.yml true 25.59 17.99 None safe018_rmo.oepc.line891.yml OUT OF MEMORY 721.23 401.06 None safe018_rmo.oepc.line892.yml OUT OF MEMORY 864.85 505.39 None safe018_rmo.oepc.line906.yml TIMEOUT 902.13 519.37 None safe018_rmo.oepc.line907.yml OUT OF MEMORY 892.88 496.78 None safe018_rmo.oepc.line954.yml TIMEOUT 901.41 587.37 None safe018_rmo.oepc.line955.yml TIMEOUT 902.06 527.89 None safe018_rmo.opt.line1102.yml true 33.75 21.25 None safe018_rmo.opt.line1103.yml true 32.77 21.01 None safe018_rmo.opt.line1130.yml true 33.28 20.59 None safe018_rmo.opt.line1131.yml true 39.65 23.50 None safe018_rmo.opt.line1158.yml true 55.19 35.09 None safe018_rmo.opt.line1159.yml true 53.13 32.99 None safe018_rmo.opt.line1192.yml OUT OF MEMORY 839.05 438.29 None safe018_rmo.opt.line1193.yml OUT OF MEMORY 699.56 370.92 None safe018_rmo.opt.line1207.yml OUT OF MEMORY 705.19 402.22 None safe018_rmo.opt.line1208.yml OUT OF MEMORY 677.71 401.34 None safe018_rmo.opt.line1255.yml OUT OF MEMORY 629.33 332.78 None safe018_rmo.opt.line1256.yml OUT OF MEMORY 725.16 546.59 None safe018_rmo.opt.line314.yml false(unreach-call) 38.85 26.57 None safe018_rmo.opt.line315.yml false(unreach-call) 42.03 30.01 None safe018_rmo.opt.line327.yml false(unreach-call) 43.14 32.48 None safe018_rmo.opt.line328.yml false(unreach-call) 40.59 26.73 None safe018_rmo.opt.line347.yml false(unreach-call) 45.06 30.67 None safe018_rmo.opt.line348.yml false(unreach-call) 39.26 25.45 None safe018_rmo.opt.line473.yml false(unreach-call) 42.96 25.09 None safe018_rmo.opt.line474.yml false(unreach-call) 43.22 27.72 None safe018_rmo.opt.line488.yml TIMEOUT 912.67 598.37 None safe018_rmo.opt.line489.yml OUT OF MEMORY 803.80 458.88 None safe018_rmo.opt.line501.yml false(unreach-call) 36.07 22.85 None safe018_rmo.opt.line502.yml false(unreach-call) 38.33 24.89 None safe018_rmo.opt.line548.yml false(unreach-call) 37.79 25.75 None safe018_rmo.opt.line549.yml false(unreach-call) 37.98 26.98 None safe018_rmo.opt.line567.yml false(unreach-call) 36.69 25.82 None safe018_rmo.opt.line568.yml false(unreach-call) 38.63 23.41 None safe018_rmo.opt.line582.yml false(unreach-call) 39.31 24.61 None safe018_rmo.opt.line583.yml false(unreach-call) 47.30 31.68 None safe018_rmo.opt.line684.yml OUT OF MEMORY 821.24 460.88 None safe018_rmo.opt.line685.yml OUT OF MEMORY 309.56 183.51 None safe018_rmo.opt.line697.yml OUT OF MEMORY 813.71 435.68 None safe018_rmo.opt.line698.yml OUT OF MEMORY 692.95 401.21 None safe018_rmo.opt.line717.yml OUT OF MEMORY 503.89 272.78 None safe018_rmo.opt.line718.yml OUT OF MEMORY 755.17 456.78 None safe018_rmo.opt.line845.yml OUT OF MEMORY 735.11 415.16 None safe018_rmo.opt.line846.yml OUT OF MEMORY 703.75 460.91 None safe018_rmo.opt.line860.yml TIMEOUT 904.47 477.45 None safe018_rmo.opt.line861.yml OUT OF MEMORY 778.72 436.33 None safe018_rmo.opt.line873.yml TIMEOUT 921.47 602.66 None safe018_rmo.opt.line874.yml OUT OF MEMORY 565.52 305.49 None safe018_rmo.opt.line900.yml TIMEOUT 921.33 673.66 None safe018_rmo.opt.line901.yml TIMEOUT 908.74 512.69 None safe018_rmo.opt.line915.yml OUT OF MEMORY 869.18 480.26 None safe018_rmo.opt.line916.yml TIMEOUT 921.42 557.05 None safe019_power.oepc.line1110.yml OUT OF MEMORY 447.32 259.23 None safe019_power.oepc.line1111.yml OUT OF MEMORY 440.05 237.79 None safe019_power.oepc.line1138.yml OUT OF MEMORY 409.85 241.19 None safe019_power.oepc.line1139.yml OUT OF MEMORY 531.78 296.57 None safe019_power.oepc.line1166.yml OUT OF MEMORY 444.95 261.47 None safe019_power.oepc.line1167.yml OUT OF MEMORY 417.18 225.60 None safe019_power.oepc.line1194.yml OUT OF MEMORY 530.00 307.41 None safe019_power.oepc.line1195.yml OUT OF MEMORY 545.90 285.31 None safe019_power.oepc.line1228.yml OUT OF MEMORY 657.82 342.79 None safe019_power.oepc.line1229.yml OUT OF MEMORY 579.13 313.63 None safe019_power.oepc.line1243.yml OUT OF MEMORY 460.48 245.25 None safe019_power.oepc.line1244.yml OUT OF MEMORY 458.46 248.22 None safe019_power.oepc.line1292.yml OUT OF MEMORY 467.84 248.01 None safe019_power.oepc.line1293.yml OUT OF MEMORY 623.53 325.76 None safe019_power.oepc.line1305.yml OUT OF MEMORY 609.01 316.98 None safe019_power.oepc.line1306.yml OUT OF MEMORY 399.39 217.88 None safe019_power.oepc.line1325.yml OUT OF MEMORY 471.36 248.57 None safe019_power.oepc.line1326.yml OUT OF MEMORY 634.51 342.65 None safe019_power.oepc.line1455.yml OUT OF MEMORY 456.34 245.85 None safe019_power.oepc.line1456.yml OUT OF MEMORY 469.16 254.45 None safe019_power.oepc.line1477.yml OUT OF MEMORY 508.47 280.13 None safe019_power.oepc.line1478.yml OUT OF MEMORY 625.32 326.38 None safe019_power.oepc.line1492.yml OUT OF MEMORY 439.12 233.72 None safe019_power.oepc.line1493.yml OUT OF MEMORY 467.67 263.08 None safe019_power.oepc.line1505.yml OUT OF MEMORY 610.86 319.37 None safe019_power.oepc.line1506.yml OUT OF MEMORY 472.92 251.74 None safe019_power.oepc.line341.yml OUT OF MEMORY 399.02 217.21 None safe019_power.oepc.line342.yml OUT OF MEMORY 452.29 250.61 None safe019_power.oepc.line356.yml OUT OF MEMORY 439.64 235.13 None safe019_power.oepc.line357.yml OUT OF MEMORY 440.82 241.17 None safe019_power.oepc.line373.yml OUT OF MEMORY 535.03 284.55 None safe019_power.oepc.line374.yml OUT OF MEMORY 408.99 222.40 None safe019_power.oepc.line405.yml OUT OF MEMORY 560.10 297.65 None safe019_power.oepc.line406.yml OUT OF MEMORY 618.13 346.46 None safe019_power.oepc.line426.yml OUT OF MEMORY 486.04 276.18 None safe019_power.oepc.line427.yml OUT OF MEMORY 468.67 249.26 None safe019_power.oepc.line640.yml OUT OF MEMORY 452.62 244.98 None safe019_power.oepc.line641.yml OUT OF MEMORY 562.62 305.34 None safe019_power.oepc.line655.yml OUT OF MEMORY 635.21 331.57 None safe019_power.oepc.line656.yml OUT OF MEMORY 407.80 219.31 None safe019_power.oepc.line668.yml OUT OF MEMORY 518.06 288.60 None safe019_power.oepc.line669.yml OUT OF MEMORY 477.85 253.47 None safe019_power.oepc.line750.yml OUT OF MEMORY 556.48 293.47 None safe019_power.oepc.line751.yml OUT OF MEMORY 446.49 243.78 None safe019_power.oepc.line769.yml OUT OF MEMORY 477.58 257.44 None safe019_power.oepc.line770.yml OUT OF MEMORY 540.57 286.21 None safe019_power.oepc.line784.yml OUT OF MEMORY 557.44 295.80 None safe019_power.oepc.line785.yml OUT OF MEMORY 395.43 216.57 None safe019_power.oepc.line855.yml OUT OF MEMORY 525.66 300.03 None safe019_power.oepc.line856.yml OUT OF MEMORY 455.55 242.43 None safe019_power.oepc.line874.yml OUT OF MEMORY 428.18 238.06 None safe019_power.oepc.line875.yml OUT OF MEMORY 478.65 267.61 None safe019_power.oepc.line889.yml OUT OF MEMORY 452.67 248.97 None safe019_power.oepc.line890.yml OUT OF MEMORY 429.39 229.74 None safe019_power.opt.line1029.yml OUT OF MEMORY 776.57 435.59 None safe019_power.opt.line1030.yml OUT OF MEMORY 840.23 446.18 None safe019_power.opt.line1044.yml OUT OF MEMORY 782.87 434.77 None safe019_power.opt.line1045.yml OUT OF MEMORY 627.55 345.75 None safe019_power.opt.line1057.yml TIMEOUT 907.12 481.66 None safe019_power.opt.line1058.yml OUT OF MEMORY 665.58 367.14 None safe019_power.opt.line1084.yml OUT OF MEMORY 891.80 471.01 None safe019_power.opt.line1085.yml TIMEOUT 907.32 482.64 None safe019_power.opt.line1099.yml OUT OF MEMORY 734.11 433.00 None safe019_power.opt.line1100.yml OUT OF MEMORY 643.94 348.87 None safe019_power.opt.line1180.yml OUT OF MEMORY 654.57 371.38 None safe019_power.opt.line1181.yml OUT OF MEMORY 557.77 307.08 None safe019_power.opt.line1195.yml OUT OF MEMORY 762.46 428.04 None safe019_power.opt.line1196.yml OUT OF MEMORY 667.75 370.50 None safe019_power.opt.line1389.yml OUT OF MEMORY 662.56 363.05 None safe019_power.opt.line1390.yml OUT OF MEMORY 845.67 465.43 None safe019_power.opt.line1417.yml OUT OF MEMORY 620.17 343.65 None safe019_power.opt.line1418.yml OUT OF MEMORY 843.32 449.57 None safe019_power.opt.line1445.yml OUT OF MEMORY 822.90 445.17 None safe019_power.opt.line1446.yml OUT OF MEMORY 726.83 394.65 None safe019_power.opt.line1473.yml OUT OF MEMORY 594.63 318.62 None safe019_power.opt.line1474.yml OUT OF MEMORY 870.07 457.40 None safe019_power.opt.line1507.yml OUT OF MEMORY 518.36 300.30 None safe019_power.opt.line1508.yml OUT OF MEMORY 698.36 371.08 None safe019_power.opt.line1522.yml OUT OF MEMORY 677.75 367.41 None safe019_power.opt.line1523.yml OUT OF MEMORY 532.57 297.25 None safe019_power.opt.line1570.yml OUT OF MEMORY 719.22 381.73 None safe019_power.opt.line1571.yml OUT OF MEMORY 787.96 432.92 None safe019_power.opt.line324.yml OUT OF MEMORY 726.54 395.67 None safe019_power.opt.line325.yml OUT OF MEMORY 797.77 436.70 None safe019_power.opt.line337.yml OUT OF MEMORY 680.45 366.31 None safe019_power.opt.line338.yml OUT OF MEMORY 736.97 415.87 None safe019_power.opt.line357.yml OUT OF MEMORY 698.76 384.47 None safe019_power.opt.line358.yml OUT OF MEMORY 717.78 386.18 None safe019_power.opt.line483.yml OUT OF MEMORY 805.95 448.60 None safe019_power.opt.line484.yml TIMEOUT 909.92 484.21 None safe019_power.opt.line498.yml OUT OF MEMORY 633.99 347.74 None safe019_power.opt.line499.yml OUT OF MEMORY 573.75 321.19 None safe019_power.opt.line511.yml OUT OF MEMORY 816.07 433.84 None safe019_power.opt.line512.yml TIMEOUT 906.30 481.92 None safe019_power.opt.line591.yml OUT OF MEMORY 827.20 441.99 None safe019_power.opt.line592.yml OUT OF MEMORY 823.47 469.90 None safe019_power.opt.line606.yml OUT OF MEMORY 690.96 379.55 None safe019_power.opt.line607.yml OUT OF MEMORY 634.95 345.84 None safe019_power.opt.line730.yml OUT OF MEMORY 789.75 439.27 None safe019_power.opt.line731.yml OUT OF MEMORY 659.97 364.20 None safe019_power.opt.line745.yml OUT OF MEMORY 551.26 312.92 None safe019_power.opt.line746.yml OUT OF MEMORY 639.59 357.78 None safe019_power.opt.line762.yml OUT OF MEMORY 538.51 297.29 None safe019_power.opt.line763.yml OUT OF MEMORY 686.43 402.15 None safe019_power.opt.line794.yml OUT OF MEMORY 736.69 412.07 None safe019_power.opt.line795.yml OUT OF MEMORY 871.11 461.60 None safe019_power.opt.line815.yml OUT OF MEMORY 865.47 459.10 None safe019_power.opt.line816.yml TIMEOUT 907.52 482.61 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line390.yml true 24.94 15.47 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line391.yml true 26.36 16.21 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line418.yml true 30.25 17.39 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line419.yml true 26.61 16.12 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line446.yml true 22.07 14.32 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line447.yml true 23.42 15.11 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line474.yml true 40.13 24.18 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line475.yml true 37.78 23.56 None safe019_rmo.oepc.line1006.yml OUT OF MEMORY 385.29 209.33 None safe019_rmo.oepc.line1007.yml OUT OF MEMORY 549.30 290.77 None safe019_rmo.oepc.line1034.yml OUT OF MEMORY 605.71 326.68 None safe019_rmo.oepc.line1035.yml OUT OF MEMORY 511.53 269.78 None safe019_rmo.oepc.line1068.yml OUT OF MEMORY 504.79 265.58 None safe019_rmo.oepc.line1069.yml OUT OF MEMORY 459.95 254.74 None safe019_rmo.oepc.line1083.yml OUT OF MEMORY 478.16 252.96 None safe019_rmo.oepc.line1084.yml OUT OF MEMORY 466.76 251.25 None safe019_rmo.oepc.line1132.yml OUT OF MEMORY 476.18 255.27 None safe019_rmo.oepc.line1133.yml OUT OF MEMORY 482.93 266.70 None safe019_rmo.oepc.line1145.yml OUT OF MEMORY 490.99 257.81 None safe019_rmo.oepc.line1146.yml OUT OF MEMORY 625.63 339.00 None safe019_rmo.oepc.line1165.yml OUT OF MEMORY 536.54 283.29 None safe019_rmo.oepc.line1166.yml OUT OF MEMORY 498.37 274.76 None safe019_rmo.oepc.line1295.yml OUT OF MEMORY 643.34 335.09 None safe019_rmo.oepc.line1296.yml OUT OF MEMORY 492.54 258.42 None safe019_rmo.oepc.line1317.yml OUT OF MEMORY 624.68 325.39 None safe019_rmo.oepc.line1318.yml OUT OF MEMORY 616.42 321.30 None safe019_rmo.oepc.line1332.yml OUT OF MEMORY 507.64 269.45 None safe019_rmo.oepc.line1333.yml OUT OF MEMORY 640.56 350.20 None safe019_rmo.oepc.line1345.yml OUT OF MEMORY 467.95 252.29 None safe019_rmo.oepc.line1346.yml OUT OF MEMORY 516.04 275.64 None safe019_rmo.oepc.line319.yml OUT OF MEMORY 491.04 262.49 None safe019_rmo.oepc.line320.yml OUT OF MEMORY 466.04 255.02 None safe019_rmo.oepc.line332.yml OUT OF MEMORY 409.41 218.99 None safe019_rmo.oepc.line333.yml OUT OF MEMORY 446.63 248.20 None safe019_rmo.oepc.line352.yml OUT OF MEMORY 387.54 209.56 None safe019_rmo.oepc.line353.yml OUT OF MEMORY 480.79 259.49 None safe019_rmo.oepc.line480.yml OUT OF MEMORY 367.94 203.02 None safe019_rmo.oepc.line481.yml OUT OF MEMORY 524.19 284.39 None safe019_rmo.oepc.line495.yml OUT OF MEMORY 415.71 223.12 None safe019_rmo.oepc.line496.yml OUT OF MEMORY 442.80 238.32 None safe019_rmo.oepc.line508.yml OUT OF MEMORY 500.48 264.55 None safe019_rmo.oepc.line509.yml OUT OF MEMORY 505.33 267.57 None safe019_rmo.oepc.line590.yml OUT OF MEMORY 459.30 245.39 None safe019_rmo.oepc.line591.yml OUT OF MEMORY 312.35 173.87 None ---------------------------------------------------------------------------------------------------------------------- Run set 2 done 139782.62 5688.87 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk05 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 ---------------------------------------------------------------------------------------------------------------------- safe018_power.oepc.line416.yml false(unreach-call) 24.81 16.40 None safe018_power.oepc.line417.yml false(unreach-call) 23.23 15.55 None safe018_power.oepc.line630.yml false(unreach-call) 31.42 18.20 None safe018_power.oepc.line631.yml false(unreach-call) 23.42 14.87 None safe018_power.oepc.line645.yml OUT OF MEMORY 458.81 249.72 None safe018_power.oepc.line646.yml OUT OF MEMORY 551.78 297.12 None safe018_power.oepc.line658.yml false(unreach-call) 30.61 17.68 None safe018_power.oepc.line659.yml false(unreach-call) 30.62 17.83 None safe018_power.oepc.line740.yml true 241.66 140.38 None safe018_power.oepc.line741.yml OUT OF MEMORY 420.51 215.81 None safe018_power.oepc.line759.yml OUT OF MEMORY 426.00 225.76 None safe018_power.oepc.line760.yml OUT OF MEMORY 516.96 266.82 None safe018_power.oepc.line774.yml OUT OF MEMORY 400.27 214.89 None safe018_power.oepc.line775.yml OUT OF MEMORY 627.66 323.68 None safe018_power.oepc.line961.yml true 20.66 12.95 None safe018_power.oepc.line962.yml true 26.00 16.61 None safe018_power.oepc.line989.yml true 27.98 17.88 None safe018_power.oepc.line990.yml true 28.02 16.75 None safe018_power.opt.line1018.yml OUT OF MEMORY 849.10 444.54 None safe018_power.opt.line1019.yml TIMEOUT 921.30 486.37 None safe018_power.opt.line1033.yml OUT OF MEMORY 535.92 287.76 None safe018_power.opt.line1034.yml TIMEOUT 912.00 487.63 None safe018_power.opt.line1046.yml OUT OF MEMORY 752.40 409.93 None safe018_power.opt.line1047.yml TIMEOUT 921.07 488.87 None safe018_power.opt.line1073.yml TIMEOUT 915.67 481.51 None safe018_power.opt.line1074.yml TIMEOUT 903.48 474.89 None safe018_power.opt.line1088.yml TIMEOUT 921.36 490.59 None safe018_power.opt.line1089.yml TIMEOUT 910.69 486.76 None safe018_power.opt.line1275.yml true 67.62 44.51 None safe018_power.opt.line1276.yml true 53.54 34.35 None safe018_power.opt.line1303.yml true 65.33 41.75 None safe018_power.opt.line1304.yml true 56.44 36.33 None safe018_power.opt.line1331.yml true 92.35 61.36 None safe018_power.opt.line1332.yml true 95.46 59.50 None safe018_power.opt.line1365.yml OUT OF MEMORY 830.78 427.60 None safe018_power.opt.line1366.yml OUT OF MEMORY 737.24 387.11 None safe018_power.opt.line1380.yml OUT OF MEMORY 887.19 467.31 None safe018_power.opt.line1381.yml TIMEOUT 913.72 469.95 None safe018_power.opt.line1428.yml OUT OF MEMORY 769.78 394.28 None safe018_power.opt.line1429.yml TIMEOUT 919.71 486.51 None safe018_power.opt.line314.yml false(unreach-call) 70.44 41.96 None safe018_power.opt.line315.yml false(unreach-call) 70.12 41.64 None safe018_power.opt.line327.yml false(unreach-call) 71.56 42.06 None safe018_power.opt.line328.yml false(unreach-call) 61.12 39.73 None safe018_power.opt.line347.yml false(unreach-call) 69.51 41.16 None safe018_power.opt.line348.yml false(unreach-call) 68.24 40.89 None safe018_power.opt.line473.yml false(unreach-call) 72.32 42.40 None safe018_power.opt.line474.yml false(unreach-call) 62.57 40.49 None safe018_power.opt.line488.yml TIMEOUT 902.96 473.74 None safe018_power.opt.line489.yml TIMEOUT 921.32 486.43 None safe018_power.opt.line501.yml false(unreach-call) 72.42 42.52 None safe018_power.opt.line502.yml false(unreach-call) 59.45 38.81 None safe018_power.opt.line580.yml TIMEOUT 901.46 615.39 None safe018_power.opt.line581.yml TIMEOUT 901.88 620.78 None safe018_power.opt.line595.yml false(unreach-call) 71.48 44.24 None safe018_power.opt.line596.yml false(unreach-call) 73.99 50.27 None safe018_power.opt.line719.yml OUT OF MEMORY 509.33 282.11 None safe018_power.opt.line720.yml TIMEOUT 921.30 492.11 None safe018_power.opt.line734.yml OUT OF MEMORY 804.29 427.32 None safe018_power.opt.line735.yml TIMEOUT 912.38 488.43 None safe018_power.opt.line751.yml OUT OF MEMORY 568.84 347.38 None safe018_power.opt.line752.yml OUT OF MEMORY 548.83 330.90 None safe018_power.opt.line783.yml OUT OF MEMORY 347.60 200.69 None safe018_power.opt.line784.yml TIMEOUT 904.67 505.78 None safe018_power.opt.line804.yml OUT OF MEMORY 688.61 363.49 None safe018_power.opt.line805.yml TIMEOUT 920.36 499.15 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line360.yml true 8.33 5.51 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line361.yml true 8.71 5.82 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 9.09 5.65 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line389.yml true 8.76 5.96 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 10.50 6.49 None safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.line417.yml true 9.81 6.53 None safe018_rmo.oepc.line309.yml false(unreach-call) 18.08 11.41 None safe018_rmo.oepc.line310.yml false(unreach-call) 20.07 13.23 None safe018_rmo.oepc.line322.yml false(unreach-call) 20.36 12.16 None safe018_rmo.oepc.line323.yml false(unreach-call) 21.60 13.52 None safe018_rmo.oepc.line342.yml false(unreach-call) 21.88 12.25 None safe018_rmo.oepc.line343.yml false(unreach-call) 18.45 12.37 None safe018_rmo.oepc.line470.yml false(unreach-call) 18.86 11.82 None safe018_rmo.oepc.line471.yml false(unreach-call) 19.76 12.97 None safe018_rmo.oepc.line485.yml OUT OF MEMORY 451.32 231.84 None safe018_rmo.oepc.line486.yml OUT OF MEMORY 816.66 414.78 None safe018_rmo.oepc.line498.yml false(unreach-call) 20.57 13.54 None safe018_rmo.oepc.line499.yml false(unreach-call) 19.18 12.55 None safe018_rmo.oepc.line580.yml true 203.35 125.90 None safe018_rmo.oepc.line581.yml OUT OF MEMORY 893.22 453.70 None safe018_rmo.oepc.line599.yml OUT OF MEMORY 440.49 234.65 None safe018_rmo.oepc.line600.yml OUT OF MEMORY 307.91 164.13 None safe018_rmo.oepc.line614.yml OUT OF MEMORY 782.73 406.57 None safe018_rmo.oepc.line615.yml OUT OF MEMORY 578.58 297.56 None safe018_rmo.oepc.line801.yml true 16.81 10.84 None safe018_rmo.oepc.line802.yml true 16.22 10.20 None safe018_rmo.oepc.line829.yml true 18.36 12.35 None safe018_rmo.oepc.line830.yml true 18.29 11.41 None safe018_rmo.oepc.line857.yml true 27.43 18.48 None safe018_rmo.oepc.line858.yml true 27.73 15.94 None safe018_rmo.oepc.line891.yml OUT OF MEMORY 535.15 293.00 None safe018_rmo.oepc.line892.yml OUT OF MEMORY 607.12 329.35 None safe018_rmo.oepc.line906.yml OUT OF MEMORY 330.59 182.03 None safe018_rmo.oepc.line907.yml OUT OF MEMORY 675.19 357.67 None safe018_rmo.oepc.line954.yml OUT OF MEMORY 524.32 313.30 None safe018_rmo.oepc.line955.yml OUT OF MEMORY 669.84 370.79 None safe018_rmo.opt.line1102.yml true 51.81 32.22 None safe018_rmo.opt.line1103.yml true 48.54 31.01 None safe018_rmo.opt.line1130.yml true 59.99 38.53 None safe018_rmo.opt.line1131.yml true 49.13 31.11 None safe018_rmo.opt.line1158.yml true 82.13 52.30 None safe018_rmo.opt.line1159.yml true 98.09 64.31 None safe018_rmo.opt.line1192.yml OUT OF MEMORY 751.75 385.53 None safe018_rmo.opt.line1193.yml OUT OF MEMORY 753.58 385.85 None safe018_rmo.opt.line1207.yml OUT OF MEMORY 881.91 463.17 None safe018_rmo.opt.line1208.yml OUT OF MEMORY 766.89 391.35 None safe018_rmo.opt.line1255.yml OUT OF MEMORY 831.39 431.21 None safe018_rmo.opt.line1256.yml TIMEOUT 908.45 464.38 None safe018_rmo.opt.line314.yml false(unreach-call) 54.33 35.93 None safe018_rmo.opt.line315.yml false(unreach-call) 51.89 33.96 None safe018_rmo.opt.line327.yml false(unreach-call) 63.59 38.53 None safe018_rmo.opt.line328.yml false(unreach-call) 51.75 33.32 None safe018_rmo.opt.line347.yml false(unreach-call) 54.86 36.60 None safe018_rmo.opt.line348.yml false(unreach-call) 51.40 34.56 None safe018_rmo.opt.line473.yml false(unreach-call) 53.39 37.14 None safe018_rmo.opt.line474.yml false(unreach-call) 55.58 36.33 None safe018_rmo.opt.line488.yml OUT OF MEMORY 852.32 446.23 None safe018_rmo.opt.line489.yml TIMEOUT 921.32 485.92 None safe018_rmo.opt.line501.yml false(unreach-call) 54.81 35.75 None safe018_rmo.opt.line502.yml false(unreach-call) 55.37 35.92 None safe018_rmo.opt.line548.yml false(unreach-call) 54.06 35.56 None safe018_rmo.opt.line549.yml false(unreach-call) 68.32 40.35 None safe018_rmo.opt.line567.yml false(unreach-call) 57.68 37.60 None safe018_rmo.opt.line568.yml false(unreach-call) 54.27 35.31 None safe018_rmo.opt.line582.yml false(unreach-call) 57.89 36.92 None safe018_rmo.opt.line583.yml false(unreach-call) 67.75 40.02 None safe018_rmo.opt.line684.yml TIMEOUT 921.36 498.32 None safe018_rmo.opt.line685.yml TIMEOUT 917.70 492.51 None safe018_rmo.opt.line697.yml OUT OF MEMORY 864.18 446.39 None safe018_rmo.opt.line698.yml TIMEOUT 903.67 484.59 None safe018_rmo.opt.line717.yml OUT OF MEMORY 849.23 451.23 None safe018_rmo.opt.line718.yml TIMEOUT 921.27 482.88 None safe018_rmo.opt.line845.yml OUT OF MEMORY 681.22 356.45 None safe018_rmo.opt.line846.yml OUT OF MEMORY 843.50 438.51 None safe018_rmo.opt.line860.yml OUT OF MEMORY 467.11 251.58 None safe018_rmo.opt.line861.yml OUT OF MEMORY 263.18 155.64 None safe018_rmo.opt.line873.yml OUT OF MEMORY 771.86 415.39 None safe018_rmo.opt.line874.yml TIMEOUT 921.26 484.28 None safe018_rmo.opt.line900.yml OUT OF MEMORY 809.80 425.08 None safe018_rmo.opt.line901.yml OUT OF MEMORY 696.92 371.78 None safe018_rmo.opt.line915.yml TIMEOUT 903.07 475.76 None safe018_rmo.opt.line916.yml OUT OF MEMORY 277.58 153.75 None safe019_power.oepc.line1110.yml OUT OF MEMORY 874.78 443.99 None safe019_power.oepc.line1111.yml OUT OF MEMORY 667.33 340.88 None safe019_power.oepc.line1138.yml OUT OF MEMORY 705.50 367.03 None safe019_power.oepc.line1139.yml OUT OF MEMORY 623.99 323.10 None safe019_power.oepc.line1166.yml OUT OF MEMORY 400.09 216.52 None safe019_power.oepc.line1167.yml OUT OF MEMORY 587.23 307.73 None safe019_power.oepc.line1194.yml OUT OF MEMORY 877.77 443.63 None safe019_power.oepc.line1195.yml OUT OF MEMORY 672.36 342.14 None safe019_power.oepc.line1228.yml OUT OF MEMORY 746.59 378.88 None safe019_power.oepc.line1229.yml OUT OF MEMORY 843.92 440.02 None safe019_power.oepc.line1243.yml OUT OF MEMORY 674.35 365.36 None safe019_power.oepc.line1244.yml OUT OF MEMORY 810.75 426.91 None safe019_power.oepc.line1292.yml OUT OF MEMORY 873.29 443.13 None safe019_power.oepc.line1293.yml OUT OF MEMORY 669.62 342.03 None safe019_power.oepc.line1305.yml OUT OF MEMORY 734.80 380.40 None safe019_power.oepc.line1306.yml OUT OF MEMORY 643.20 330.92 None safe019_power.oepc.line1325.yml OUT OF MEMORY 737.43 380.00 None safe019_power.oepc.line1326.yml OUT OF MEMORY 753.20 388.28 None safe019_power.oepc.line1455.yml TIMEOUT 902.86 457.67 None safe019_power.oepc.line1456.yml OUT OF MEMORY 886.66 450.08 None safe019_power.oepc.line1477.yml OUT OF MEMORY 698.30 355.99 None safe019_power.oepc.line1478.yml TIMEOUT 903.79 457.64 None safe019_power.oepc.line1492.yml OUT OF MEMORY 720.95 366.53 None safe019_power.oepc.line1493.yml OUT OF MEMORY 745.25 391.76 None safe019_power.oepc.line1505.yml OUT OF MEMORY 746.64 389.37 None safe019_power.oepc.line1506.yml OUT OF MEMORY 624.96 317.64 None safe019_power.oepc.line341.yml OUT OF MEMORY 711.97 385.76 None safe019_power.oepc.line342.yml OUT OF MEMORY 646.75 330.72 None safe019_power.oepc.line356.yml OUT OF MEMORY 753.09 389.04 None safe019_power.oepc.line357.yml OUT OF MEMORY 655.88 338.82 None safe019_power.oepc.line373.yml OUT OF MEMORY 854.72 433.97 None safe019_power.oepc.line374.yml OUT OF MEMORY 676.26 349.01 None safe019_power.oepc.line405.yml OUT OF MEMORY 649.37 331.51 None safe019_power.oepc.line406.yml OUT OF MEMORY 660.84 336.88 None safe019_power.oepc.line426.yml OUT OF MEMORY 885.67 449.53 None safe019_power.oepc.line427.yml OUT OF MEMORY 866.29 439.14 None safe019_power.oepc.line640.yml OUT OF MEMORY 824.96 418.95 None safe019_power.oepc.line641.yml OUT OF MEMORY 675.40 345.21 None safe019_power.oepc.line655.yml OUT OF MEMORY 671.96 357.38 None safe019_power.oepc.line656.yml OUT OF MEMORY 775.67 399.03 None safe019_power.oepc.line668.yml OUT OF MEMORY 685.89 350.12 None safe019_power.oepc.line669.yml OUT OF MEMORY 699.54 362.93 None safe019_power.oepc.line750.yml OUT OF MEMORY 679.27 353.03 None safe019_power.oepc.line751.yml OUT OF MEMORY 716.32 376.18 None safe019_power.oepc.line769.yml OUT OF MEMORY 760.49 398.17 None safe019_power.oepc.line770.yml OUT OF MEMORY 710.52 362.98 None safe019_power.oepc.line784.yml OUT OF MEMORY 810.40 412.95 None safe019_power.oepc.line785.yml OUT OF MEMORY 641.78 327.45 None safe019_power.oepc.line855.yml TIMEOUT 921.52 475.92 None safe019_power.oepc.line856.yml OUT OF MEMORY 864.92 440.85 None safe019_power.oepc.line874.yml OUT OF MEMORY 700.10 357.38 None safe019_power.oepc.line875.yml OUT OF MEMORY 733.09 386.58 None safe019_power.oepc.line889.yml OUT OF MEMORY 827.04 419.73 None safe019_power.oepc.line890.yml OUT OF MEMORY 660.25 338.55 None safe019_power.opt.line1029.yml TIMEOUT 905.05 482.39 None safe019_power.opt.line1030.yml OUT OF MEMORY 786.54 414.78 None safe019_power.opt.line1044.yml TIMEOUT 921.35 504.88 None safe019_power.opt.line1045.yml OUT OF MEMORY 397.12 225.50 None safe019_power.opt.line1057.yml OUT OF MEMORY 743.02 389.35 None safe019_power.opt.line1058.yml OUT OF MEMORY 223.45 129.86 None safe019_power.opt.line1084.yml OUT OF MEMORY 864.85 449.39 None safe019_power.opt.line1085.yml TIMEOUT 907.93 472.64 None safe019_power.opt.line1099.yml OUT OF MEMORY 836.63 441.57 None safe019_power.opt.line1100.yml OUT OF MEMORY 799.66 418.91 None safe019_power.opt.line1180.yml OUT OF MEMORY 802.15 437.04 None safe019_power.opt.line1181.yml OUT OF MEMORY 871.13 454.57 None safe019_power.opt.line1195.yml TIMEOUT 918.64 498.48 None safe019_power.opt.line1196.yml TIMEOUT 913.83 478.45 None safe019_power.opt.line1389.yml TIMEOUT 914.87 478.99 None safe019_power.opt.line1390.yml TIMEOUT 909.06 476.39 None safe019_power.opt.line1417.yml OUT OF MEMORY 830.67 434.45 None safe019_power.opt.line1418.yml OUT OF MEMORY 193.97 112.06 None safe019_power.opt.line1445.yml OUT OF MEMORY 890.70 482.62 None safe019_power.opt.line1446.yml OUT OF MEMORY 803.65 440.15 None safe019_power.opt.line1473.yml OUT OF MEMORY 777.08 397.59 None safe019_power.opt.line1474.yml OUT OF MEMORY 750.88 387.28 None safe019_power.opt.line1507.yml TIMEOUT 909.71 467.75 None safe019_power.opt.line1508.yml OUT OF MEMORY 832.46 429.62 None safe019_power.opt.line1522.yml OUT OF MEMORY 745.18 381.62 None safe019_power.opt.line1523.yml OUT OF MEMORY 838.11 435.87 None safe019_power.opt.line1570.yml OUT OF MEMORY 836.98 429.02 None safe019_power.opt.line1571.yml OUT OF MEMORY 779.88 413.56 None safe019_power.opt.line324.yml TIMEOUT 910.35 476.14 None safe019_power.opt.line325.yml TIMEOUT 910.75 476.07 None safe019_power.opt.line337.yml TIMEOUT 905.44 478.35 None safe019_power.opt.line338.yml OUT OF MEMORY 868.10 452.27 None safe019_power.opt.line357.yml TIMEOUT 903.36 485.34 None safe019_power.opt.line358.yml OUT OF MEMORY 373.45 203.65 None safe019_power.opt.line483.yml TIMEOUT 905.40 483.44 None safe019_power.opt.line484.yml OUT OF MEMORY 371.20 204.06 None safe019_power.opt.line498.yml OUT OF MEMORY 486.74 262.13 None safe019_power.opt.line499.yml OUT OF MEMORY 242.79 138.53 None safe019_power.opt.line511.yml OUT OF MEMORY 352.39 193.30 None safe019_power.opt.line512.yml OUT OF MEMORY 791.68 412.31 None safe019_power.opt.line591.yml OUT OF MEMORY 740.56 397.83 None safe019_power.opt.line592.yml OUT OF MEMORY 654.01 345.80 None safe019_power.opt.line606.yml OUT OF MEMORY 812.83 427.25 None safe019_power.opt.line607.yml TIMEOUT 905.25 477.72 None safe019_power.opt.line730.yml OUT OF MEMORY 217.99 135.03 None safe019_power.opt.line731.yml TIMEOUT 909.04 475.48 None safe019_power.opt.line745.yml TIMEOUT 908.30 474.73 None safe019_power.opt.line746.yml TIMEOUT 904.00 470.05 None safe019_power.opt.line762.yml TIMEOUT 913.56 478.43 None safe019_power.opt.line763.yml OUT OF MEMORY 442.96 239.58 None safe019_power.opt.line794.yml OUT OF MEMORY 259.93 145.62 None safe019_power.opt.line795.yml OUT OF MEMORY 819.78 452.10 None safe019_power.opt.line815.yml OUT OF MEMORY 702.15 378.71 None safe019_power.opt.line816.yml TIMEOUT 921.41 502.22 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line390.yml true 33.13 20.69 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line391.yml true 31.26 20.07 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line418.yml true 31.46 19.92 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line419.yml true 33.82 20.99 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line446.yml true 33.60 21.21 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line447.yml true 35.00 21.98 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line474.yml true 56.73 38.34 None safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.line475.yml true 52.41 33.54 None safe019_rmo.oepc.line1006.yml OUT OF MEMORY 409.06 210.77 None safe019_rmo.oepc.line1007.yml OUT OF MEMORY 505.33 260.56 None safe019_rmo.oepc.line1034.yml OUT OF MEMORY 647.37 335.94 None safe019_rmo.oepc.line1035.yml OUT OF MEMORY 765.93 397.76 None safe019_rmo.oepc.line1068.yml OUT OF MEMORY 691.30 351.44 None safe019_rmo.oepc.line1069.yml OUT OF MEMORY 710.67 364.09 None safe019_rmo.oepc.line1083.yml OUT OF MEMORY 733.55 378.72 None safe019_rmo.oepc.line1084.yml TIMEOUT 902.94 457.05 None safe019_rmo.oepc.line1132.yml OUT OF MEMORY 700.02 355.93 None safe019_rmo.oepc.line1133.yml TIMEOUT 903.05 457.78 None safe019_rmo.oepc.line1145.yml OUT OF MEMORY 869.49 440.03 None safe019_rmo.oepc.line1146.yml TIMEOUT 921.48 474.09 None safe019_rmo.oepc.line1165.yml OUT OF MEMORY 731.51 399.30 None safe019_rmo.oepc.line1166.yml OUT OF MEMORY 689.79 360.70 None safe019_rmo.oepc.line1295.yml OUT OF MEMORY 691.98 349.97 None safe019_rmo.oepc.line1296.yml OUT OF MEMORY 660.17 339.15 None safe019_rmo.oepc.line1317.yml OUT OF MEMORY 690.12 350.57 None safe019_rmo.oepc.line1318.yml OUT OF MEMORY 793.49 414.37 None safe019_rmo.oepc.line1332.yml OUT OF MEMORY 719.56 369.66 None safe019_rmo.oepc.line1333.yml OUT OF MEMORY 805.71 421.68 None safe019_rmo.oepc.line1345.yml OUT OF MEMORY 755.04 391.86 None safe019_rmo.oepc.line1346.yml OUT OF MEMORY 695.61 356.05 None safe019_rmo.oepc.line319.yml OUT OF MEMORY 554.66 285.69 None safe019_rmo.oepc.line320.yml OUT OF MEMORY 683.82 359.48 None safe019_rmo.oepc.line332.yml OUT OF MEMORY 696.92 360.74 None safe019_rmo.oepc.line333.yml OUT OF MEMORY 721.47 370.13 None safe019_rmo.oepc.line352.yml OUT OF MEMORY 869.86 442.68 None safe019_rmo.oepc.line353.yml OUT OF MEMORY 805.33 411.20 None safe019_rmo.oepc.line480.yml OUT OF MEMORY 608.32 318.59 None safe019_rmo.oepc.line481.yml OUT OF MEMORY 823.29 418.93 None safe019_rmo.oepc.line495.yml OUT OF MEMORY 631.52 322.47 None safe019_rmo.oepc.line496.yml OUT OF MEMORY 615.46 319.69 None safe019_rmo.oepc.line508.yml OUT OF MEMORY 754.97 394.34 None safe019_rmo.oepc.line509.yml OUT OF MEMORY 703.07 371.25 None safe019_rmo.oepc.line590.yml OUT OF MEMORY 507.52 261.53 None safe019_rmo.oepc.line591.yml OUT OF MEMORY 583.67 303.04 None ---------------------------------------------------------------------------------------------------------------------- Run set 3 done 163443.71 6310.66 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk05 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk05 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk05 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk05 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk05 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk05 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk05 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk05 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk05 Run set 19 of 19: skipped Statistics: 900 Files correct: 117 correct true: 117 correct false: 0 incorrect: 132 incorrect true: 0 incorrect false: 132 unknown: 651 Score: -1878 (max: 1800)