BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk06, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk06, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk06 date: Thu, 2022-10-20 09:06:36 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-chunk06 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe015_rmo.line1498.yml OUT OF MEMORY 703.22 376.95 None safe015_rmo.line1499.yml OUT OF MEMORY 727.32 385.32 None safe015_rmo.line1511.yml TIMEOUT 902.86 465.37 None safe015_rmo.line1512.yml OUT OF MEMORY 671.91 349.59 None safe015_rmo.line316.yml false(unreach-call) 50.08 31.20 None safe015_rmo.line317.yml false(unreach-call) 46.58 30.14 None safe015_rmo.line329.yml false(unreach-call) 51.61 30.26 None safe015_rmo.line330.yml false(unreach-call) 51.95 30.28 None safe015_rmo.line349.yml false(unreach-call) 52.62 30.78 None safe015_rmo.line350.yml false(unreach-call) 43.53 26.01 None safe015_rmo.line475.yml false(unreach-call) 45.56 28.66 None safe015_rmo.line476.yml false(unreach-call) 46.78 28.56 None safe015_rmo.line490.yml OUT OF MEMORY 641.95 357.75 None safe015_rmo.line491.yml OUT OF MEMORY 593.17 323.40 None safe015_rmo.line503.yml false(unreach-call) 44.65 26.60 None safe015_rmo.line504.yml false(unreach-call) 44.80 27.08 None safe015_rmo.line550.yml false(unreach-call) 48.69 29.91 None safe015_rmo.line551.yml false(unreach-call) 49.08 30.18 None safe015_rmo.line564.yml false(unreach-call) 56.65 32.66 None safe015_rmo.line565.yml false(unreach-call) 57.72 33.09 None safe015_rmo.line583.yml false(unreach-call) 58.64 33.16 None safe015_rmo.line584.yml false(unreach-call) 51.24 32.13 None safe015_rmo.line598.yml false(unreach-call) 47.74 27.78 None safe015_rmo.line599.yml false(unreach-call) 48.73 29.67 None safe015_rmo.line700.yml OUT OF MEMORY 757.48 411.47 None safe015_rmo.line701.yml OUT OF MEMORY 757.56 421.80 None safe015_rmo.line713.yml OUT OF MEMORY 718.11 374.57 None safe015_rmo.line714.yml OUT OF MEMORY 799.76 439.24 None safe015_rmo.line733.yml OUT OF MEMORY 660.55 345.49 None safe015_rmo.line734.yml OUT OF MEMORY 692.31 362.86 None safe015_rmo.line861.yml OUT OF MEMORY 579.68 311.55 None safe015_rmo.line862.yml OUT OF MEMORY 710.61 385.09 None safe015_rmo.line876.yml OUT OF MEMORY 607.97 328.42 None safe015_rmo.line877.yml OUT OF MEMORY 651.20 350.21 None safe015_rmo.line889.yml OUT OF MEMORY 533.47 293.05 None safe015_rmo.line890.yml OUT OF MEMORY 823.12 449.89 None safe015_rmo.line916.yml OUT OF MEMORY 795.79 437.14 None safe015_rmo.line917.yml OUT OF MEMORY 728.09 387.65 None safe015_rmo.line931.yml TIMEOUT 906.74 483.96 None safe015_rmo.line932.yml TIMEOUT 919.51 496.07 None safe016_power.oepc.line1108.yml OUT OF MEMORY 535.37 282.23 None safe016_power.oepc.line1109.yml OUT OF MEMORY 588.08 306.76 None safe016_power.oepc.line1136.yml OUT OF MEMORY 531.48 287.73 None safe016_power.oepc.line1137.yml OUT OF MEMORY 471.48 253.25 None safe016_power.oepc.line1164.yml OUT OF MEMORY 385.54 218.06 None safe016_power.oepc.line1165.yml OUT OF MEMORY 413.86 226.82 None safe016_power.oepc.line1192.yml OUT OF MEMORY 473.25 251.64 None safe016_power.oepc.line1193.yml OUT OF MEMORY 447.61 234.71 None safe016_power.oepc.line1226.yml OUT OF MEMORY 464.35 243.86 None safe016_power.oepc.line1227.yml OUT OF MEMORY 593.93 322.39 None safe016_power.oepc.line1241.yml OUT OF MEMORY 632.97 327.32 None safe016_power.oepc.line1242.yml OUT OF MEMORY 557.32 294.00 None safe016_power.oepc.line1290.yml OUT OF MEMORY 617.35 329.31 None safe016_power.oepc.line1291.yml OUT OF MEMORY 577.65 305.51 None safe016_power.oepc.line1303.yml OUT OF MEMORY 663.45 341.72 None safe016_power.oepc.line1304.yml OUT OF MEMORY 475.64 247.50 None safe016_power.oepc.line1323.yml OUT OF MEMORY 569.77 299.00 None safe016_power.oepc.line1324.yml OUT OF MEMORY 574.91 307.12 None safe016_power.oepc.line1453.yml OUT OF MEMORY 499.87 261.97 None safe016_power.oepc.line1454.yml OUT OF MEMORY 699.79 361.32 None safe016_power.oepc.line1477.yml OUT OF MEMORY 551.39 296.37 None safe016_power.oepc.line1478.yml OUT OF MEMORY 643.11 332.34 None safe016_power.oepc.line1495.yml OUT OF MEMORY 515.26 269.38 None safe016_power.oepc.line1496.yml OUT OF MEMORY 562.68 292.91 None safe016_power.oepc.line1508.yml OUT OF MEMORY 586.19 318.62 None safe016_power.oepc.line1509.yml OUT OF MEMORY 494.72 257.62 None safe016_power.oepc.line339.yml OUT OF MEMORY 598.78 311.24 None safe016_power.oepc.line340.yml OUT OF MEMORY 473.51 261.23 None safe016_power.oepc.line354.yml OUT OF MEMORY 494.83 266.32 None safe016_power.oepc.line355.yml OUT OF MEMORY 542.61 282.24 None safe016_power.oepc.line371.yml OUT OF MEMORY 510.73 272.13 None safe016_power.oepc.line372.yml OUT OF MEMORY 496.73 267.17 None safe016_power.oepc.line403.yml OUT OF MEMORY 438.58 231.70 None safe016_power.oepc.line404.yml OUT OF MEMORY 478.05 264.28 None safe016_power.oepc.line424.yml OUT OF MEMORY 373.32 199.62 None safe016_power.oepc.line425.yml OUT OF MEMORY 613.01 319.66 None safe016_power.oepc.line638.yml OUT OF MEMORY 517.63 271.30 None safe016_power.oepc.line639.yml OUT OF MEMORY 425.14 225.02 None safe016_power.oepc.line653.yml OUT OF MEMORY 424.76 227.78 None safe016_power.oepc.line654.yml OUT OF MEMORY 544.99 292.56 None safe016_power.oepc.line666.yml OUT OF MEMORY 540.53 290.81 None safe016_power.oepc.line667.yml OUT OF MEMORY 470.63 263.13 None safe016_power.oepc.line748.yml OUT OF MEMORY 515.18 270.38 None safe016_power.oepc.line749.yml OUT OF MEMORY 455.10 241.68 None safe016_power.oepc.line767.yml OUT OF MEMORY 512.49 276.51 None safe016_power.oepc.line768.yml OUT OF MEMORY 583.23 303.83 None safe016_power.oepc.line782.yml OUT OF MEMORY 527.70 282.50 None safe016_power.oepc.line783.yml OUT OF MEMORY 410.98 216.13 None safe016_power.oepc.line853.yml OUT OF MEMORY 420.56 226.45 None safe016_power.oepc.line854.yml OUT OF MEMORY 464.61 244.05 None safe016_power.oepc.line872.yml OUT OF MEMORY 550.38 289.16 None safe016_power.oepc.line873.yml OUT OF MEMORY 462.49 242.61 None safe016_power.oepc.line887.yml OUT OF MEMORY 545.27 284.71 None safe016_power.oepc.line888.yml OUT OF MEMORY 473.67 258.63 None safe016_power.opt.line1011.yml OUT OF MEMORY 575.43 315.99 None safe016_power.opt.line1012.yml OUT OF MEMORY 347.21 196.22 None safe016_power.opt.line1026.yml OUT OF MEMORY 496.57 270.00 None safe016_power.opt.line1027.yml OUT OF MEMORY 502.16 268.75 None safe016_power.opt.line1246.yml OUT OF MEMORY 582.24 310.76 None safe016_power.opt.line1247.yml OUT OF MEMORY 464.06 253.98 None safe016_power.opt.line1274.yml OUT OF MEMORY 478.95 266.15 None safe016_power.opt.line1275.yml OUT OF MEMORY 427.42 235.25 None safe016_power.opt.line1302.yml OUT OF MEMORY 542.04 290.41 None safe016_power.opt.line1303.yml OUT OF MEMORY 418.84 227.55 None safe016_power.opt.line1330.yml OUT OF MEMORY 557.65 298.20 None safe016_power.opt.line1331.yml OUT OF MEMORY 696.70 363.83 None safe016_power.opt.line1364.yml OUT OF MEMORY 402.57 223.02 None safe016_power.opt.line1365.yml OUT OF MEMORY 643.74 338.56 None safe016_power.opt.line1379.yml OUT OF MEMORY 516.20 287.51 None safe016_power.opt.line1380.yml OUT OF MEMORY 507.03 272.13 None safe016_power.opt.line1428.yml OUT OF MEMORY 510.86 269.89 None safe016_power.opt.line1429.yml OUT OF MEMORY 522.04 280.81 None safe016_power.opt.line1441.yml OUT OF MEMORY 427.88 238.37 None safe016_power.opt.line1442.yml OUT OF MEMORY 552.16 301.88 None safe016_power.opt.line1461.yml OUT OF MEMORY 642.20 335.73 None safe016_power.opt.line1462.yml OUT OF MEMORY 510.33 283.55 None safe016_power.opt.line1591.yml OUT OF MEMORY 478.52 255.60 None safe016_power.opt.line1592.yml OUT OF MEMORY 667.20 347.43 None safe016_power.opt.line1613.yml OUT OF MEMORY 538.35 293.73 None safe016_power.opt.line1614.yml OUT OF MEMORY 522.61 282.81 None safe016_power.opt.line1628.yml OUT OF MEMORY 535.69 298.23 None safe016_power.opt.line1629.yml OUT OF MEMORY 530.80 285.83 None safe016_power.opt.line1641.yml OUT OF MEMORY 499.18 268.04 None safe016_power.opt.line1642.yml OUT OF MEMORY 497.78 263.76 None safe016_power.opt.line298.yml OUT OF MEMORY 531.20 285.50 None safe016_power.opt.line299.yml OUT OF MEMORY 586.29 314.17 None safe016_power.opt.line317.yml OUT OF MEMORY 455.33 250.08 None safe016_power.opt.line318.yml OUT OF MEMORY 533.76 296.73 None safe016_power.opt.line332.yml OUT OF MEMORY 542.94 302.74 None safe016_power.opt.line333.yml OUT OF MEMORY 438.16 236.19 None safe016_power.opt.line403.yml OUT OF MEMORY 490.80 265.65 None safe016_power.opt.line404.yml OUT OF MEMORY 551.06 302.27 None safe016_power.opt.line422.yml OUT OF MEMORY 631.29 331.35 None safe016_power.opt.line423.yml OUT OF MEMORY 412.19 226.46 None safe016_power.opt.line437.yml OUT OF MEMORY 456.51 246.18 None safe016_power.opt.line438.yml OUT OF MEMORY 460.16 247.72 None safe016_power.opt.line561.yml OUT OF MEMORY 487.36 267.17 None safe016_power.opt.line562.yml OUT OF MEMORY 434.01 242.18 None safe016_power.opt.line576.yml OUT OF MEMORY 394.70 220.04 None safe016_power.opt.line577.yml OUT OF MEMORY 532.02 284.97 None safe016_power.opt.line593.yml OUT OF MEMORY 416.54 227.04 None safe016_power.opt.line594.yml OUT OF MEMORY 600.37 317.20 None safe016_power.opt.line625.yml OUT OF MEMORY 561.59 310.83 None safe016_power.opt.line626.yml OUT OF MEMORY 325.47 186.99 None safe016_power.opt.line646.yml OUT OF MEMORY 600.68 317.23 None safe016_power.opt.line647.yml OUT OF MEMORY 358.57 199.65 None safe016_power.opt.line860.yml OUT OF MEMORY 486.37 266.92 None safe016_power.opt.line861.yml OUT OF MEMORY 626.45 329.81 None safe016_power.opt.line875.yml OUT OF MEMORY 518.96 286.57 None safe016_power.opt.line876.yml OUT OF MEMORY 469.03 251.26 None safe016_power.opt.line888.yml OUT OF MEMORY 470.78 253.51 None safe016_power.opt.line889.yml OUT OF MEMORY 555.75 309.80 None safe016_power.opt.line915.yml OUT OF MEMORY 311.87 174.82 None safe016_power.opt.line916.yml OUT OF MEMORY 467.15 270.01 None safe016_power.opt.line930.yml OUT OF MEMORY 463.08 257.31 None safe016_power.opt.line931.yml OUT OF MEMORY 503.04 269.75 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line387.yml true 23.77 15.74 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 23.60 15.39 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line415.yml true 23.70 15.68 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 29.64 17.56 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line443.yml true 24.64 16.28 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line444.yml true 29.44 18.35 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line471.yml true 47.36 27.76 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line472.yml true 38.24 24.59 None safe016_rmo.oepc.line1004.yml OUT OF MEMORY 497.92 278.10 None safe016_rmo.oepc.line1005.yml OUT OF MEMORY 429.25 228.85 None safe016_rmo.oepc.line1032.yml OUT OF MEMORY 580.14 301.29 None safe016_rmo.oepc.line1033.yml OUT OF MEMORY 452.30 235.17 None safe016_rmo.oepc.line1066.yml OUT OF MEMORY 529.57 278.21 None safe016_rmo.oepc.line1067.yml OUT OF MEMORY 534.13 286.86 None safe016_rmo.oepc.line1081.yml OUT OF MEMORY 548.02 286.55 None safe016_rmo.oepc.line1082.yml OUT OF MEMORY 525.46 275.55 None safe016_rmo.oepc.line1130.yml OUT OF MEMORY 549.35 290.50 None safe016_rmo.oepc.line1131.yml OUT OF MEMORY 534.63 285.10 None safe016_rmo.oepc.line1143.yml OUT OF MEMORY 535.82 296.58 None safe016_rmo.oepc.line1144.yml OUT OF MEMORY 670.58 346.34 None safe016_rmo.oepc.line1163.yml OUT OF MEMORY 518.54 281.72 None safe016_rmo.oepc.line1164.yml OUT OF MEMORY 642.06 332.31 None safe016_rmo.oepc.line1293.yml OUT OF MEMORY 683.57 355.23 None safe016_rmo.oepc.line1294.yml OUT OF MEMORY 515.64 268.49 None safe016_rmo.oepc.line1317.yml OUT OF MEMORY 591.05 325.04 None safe016_rmo.oepc.line1318.yml OUT OF MEMORY 521.49 276.83 None safe016_rmo.oepc.line1335.yml OUT OF MEMORY 617.91 323.55 None safe016_rmo.oepc.line1336.yml OUT OF MEMORY 544.82 294.71 None safe016_rmo.oepc.line1348.yml OUT OF MEMORY 518.63 271.60 None safe016_rmo.oepc.line1349.yml OUT OF MEMORY 508.28 264.67 None safe016_rmo.oepc.line317.yml OUT OF MEMORY 400.49 222.90 None safe016_rmo.oepc.line318.yml OUT OF MEMORY 332.76 187.74 None safe016_rmo.oepc.line330.yml OUT OF MEMORY 490.85 267.90 None safe016_rmo.oepc.line331.yml OUT OF MEMORY 535.03 304.33 None safe016_rmo.oepc.line350.yml OUT OF MEMORY 485.88 255.27 None safe016_rmo.oepc.line351.yml OUT OF MEMORY 492.74 259.04 None safe016_rmo.oepc.line478.yml OUT OF MEMORY 366.08 194.55 None safe016_rmo.oepc.line479.yml OUT OF MEMORY 339.40 183.97 None safe016_rmo.oepc.line493.yml OUT OF MEMORY 527.97 276.39 None safe016_rmo.oepc.line494.yml OUT OF MEMORY 380.24 210.54 None safe016_rmo.oepc.line506.yml OUT OF MEMORY 492.84 266.33 None safe016_rmo.oepc.line507.yml OUT OF MEMORY 359.70 196.97 None safe016_rmo.oepc.line588.yml OUT OF MEMORY 357.91 190.69 None safe016_rmo.oepc.line589.yml OUT OF MEMORY 322.02 172.94 None safe016_rmo.oepc.line607.yml OUT OF MEMORY 490.89 258.35 None safe016_rmo.oepc.line608.yml OUT OF MEMORY 534.29 279.87 None safe016_rmo.oepc.line622.yml OUT OF MEMORY 394.47 212.32 None safe016_rmo.oepc.line623.yml OUT OF MEMORY 407.63 214.74 None safe016_rmo.oepc.line693.yml OUT OF MEMORY 274.53 155.72 None safe016_rmo.oepc.line694.yml OUT OF MEMORY 481.82 253.57 None safe016_rmo.oepc.line712.yml OUT OF MEMORY 477.63 251.27 None safe016_rmo.oepc.line713.yml OUT OF MEMORY 363.29 195.41 None safe016_rmo.oepc.line727.yml OUT OF MEMORY 445.21 235.05 None safe016_rmo.oepc.line728.yml OUT OF MEMORY 416.30 225.35 None safe016_rmo.oepc.line948.yml OUT OF MEMORY 415.12 222.19 None safe016_rmo.oepc.line949.yml OUT OF MEMORY 364.74 196.17 None safe016_rmo.oepc.line976.yml OUT OF MEMORY 416.99 223.46 None safe016_rmo.oepc.line977.yml OUT OF MEMORY 346.83 191.16 None safe016_rmo.opt.line1086.yml OUT OF MEMORY 471.01 262.03 None safe016_rmo.opt.line1087.yml OUT OF MEMORY 334.73 201.35 None safe016_rmo.opt.line1114.yml OUT OF MEMORY 459.57 252.14 None safe016_rmo.opt.line1115.yml OUT OF MEMORY 461.26 249.82 None safe016_rmo.opt.line1142.yml OUT OF MEMORY 298.14 168.23 None safe016_rmo.opt.line1143.yml OUT OF MEMORY 465.54 252.31 None safe016_rmo.opt.line1170.yml OUT OF MEMORY 707.00 367.38 None safe016_rmo.opt.line1171.yml OUT OF MEMORY 620.00 324.96 None safe016_rmo.opt.line1204.yml OUT OF MEMORY 389.71 212.08 None safe016_rmo.opt.line1205.yml OUT OF MEMORY 467.82 248.81 None safe016_rmo.opt.line1219.yml OUT OF MEMORY 467.22 254.28 None safe016_rmo.opt.line1220.yml OUT OF MEMORY 520.87 277.90 None safe016_rmo.opt.line1268.yml OUT OF MEMORY 518.38 282.66 None safe016_rmo.opt.line1269.yml OUT OF MEMORY 605.19 317.61 None safe016_rmo.opt.line1281.yml OUT OF MEMORY 495.27 280.92 None safe016_rmo.opt.line1282.yml OUT OF MEMORY 448.68 239.78 None safe016_rmo.opt.line1301.yml OUT OF MEMORY 526.33 284.24 None safe016_rmo.opt.line1302.yml OUT OF MEMORY 532.67 283.51 None safe016_rmo.opt.line1431.yml OUT OF MEMORY 549.15 292.72 None safe016_rmo.opt.line1432.yml OUT OF MEMORY 486.90 262.41 None safe016_rmo.opt.line1453.yml OUT OF MEMORY 480.17 263.05 None safe016_rmo.opt.line1454.yml OUT OF MEMORY 447.67 239.44 None safe016_rmo.opt.line1468.yml OUT OF MEMORY 514.11 280.44 None safe016_rmo.opt.line1469.yml OUT OF MEMORY 467.67 252.40 None safe016_rmo.opt.line1481.yml OUT OF MEMORY 659.51 347.13 None safe016_rmo.opt.line1482.yml OUT OF MEMORY 421.36 226.18 None safe016_rmo.opt.line298.yml OUT OF MEMORY 480.61 267.31 None safe016_rmo.opt.line299.yml OUT OF MEMORY 434.32 235.57 None safe016_rmo.opt.line317.yml OUT OF MEMORY 507.02 276.83 None safe016_rmo.opt.line318.yml OUT OF MEMORY 424.38 230.38 None safe016_rmo.opt.line332.yml OUT OF MEMORY 389.20 218.55 None safe016_rmo.opt.line333.yml OUT OF MEMORY 515.71 278.29 None safe016_rmo.opt.line403.yml OUT OF MEMORY 446.23 241.27 None safe016_rmo.opt.line404.yml OUT OF MEMORY 359.70 203.69 None safe016_rmo.opt.line422.yml OUT OF MEMORY 441.45 243.47 None safe016_rmo.opt.line423.yml OUT OF MEMORY 346.68 190.91 None safe016_rmo.opt.line437.yml OUT OF MEMORY 460.59 247.17 None safe016_rmo.opt.line438.yml OUT OF MEMORY 371.43 203.52 None safe016_rmo.opt.line539.yml OUT OF MEMORY 399.32 225.64 None safe016_rmo.opt.line540.yml OUT OF MEMORY 447.41 242.08 None safe016_rmo.opt.line552.yml OUT OF MEMORY 383.38 214.52 None safe016_rmo.opt.line553.yml OUT OF MEMORY 444.07 241.55 None safe016_rmo.opt.line572.yml OUT OF MEMORY 341.63 206.78 None safe016_rmo.opt.line573.yml OUT OF MEMORY 346.77 195.43 None safe016_rmo.opt.line700.yml OUT OF MEMORY 377.81 209.83 None safe016_rmo.opt.line701.yml OUT OF MEMORY 434.23 237.22 None safe016_rmo.opt.line715.yml OUT OF MEMORY 428.57 231.51 None safe016_rmo.opt.line716.yml OUT OF MEMORY 300.09 167.59 None safe016_rmo.opt.line728.yml OUT OF MEMORY 428.49 237.06 None safe016_rmo.opt.line729.yml OUT OF MEMORY 414.62 228.11 None safe016_rmo.opt.line755.yml OUT OF MEMORY 367.48 202.22 None safe016_rmo.opt.line756.yml OUT OF MEMORY 553.65 306.16 None safe016_rmo.opt.line770.yml OUT OF MEMORY 296.05 166.55 None safe016_rmo.opt.line771.yml OUT OF MEMORY 365.69 207.89 None safe016_rmo.opt.line851.yml OUT OF MEMORY 444.41 240.87 None safe016_rmo.opt.line852.yml OUT OF MEMORY 392.09 219.43 None safe016_rmo.opt.line866.yml OUT OF MEMORY 349.61 203.88 None safe016_rmo.opt.line867.yml OUT OF MEMORY 432.07 235.23 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line600.yml true 13.74 8.57 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line601.yml true 14.24 9.44 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line628.yml true 13.54 8.72 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line629.yml true 14.69 9.25 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line656.yml true 20.25 12.35 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line657.yml true 19.36 12.92 None safe017_tso.line354.yml true 6.99 4.75 None safe017_tso.line355.yml true 6.86 4.79 None safe017_tso.line382.yml true 9.44 5.86 None safe017_tso.line383.yml true 7.39 5.25 None safe017_tso.line410.yml true 8.03 5.39 None safe017_tso.line411.yml true 10.36 6.38 None safe018_power.oepc.line1017.yml true 24.63 15.68 None safe018_power.oepc.line1018.yml true 24.86 14.54 None safe018_power.oepc.line1051.yml OUT OF MEMORY 588.55 304.76 None safe018_power.oepc.line1052.yml OUT OF MEMORY 557.28 290.22 None safe018_power.oepc.line1066.yml OUT OF MEMORY 490.74 261.64 None safe018_power.oepc.line1067.yml OUT OF MEMORY 415.17 221.09 None safe018_power.oepc.line1114.yml OUT OF MEMORY 577.87 327.76 None safe018_power.oepc.line1115.yml OUT OF MEMORY 584.60 330.80 None safe018_power.oepc.line331.yml false(unreach-call) 17.05 10.80 None safe018_power.oepc.line332.yml false(unreach-call) 18.35 11.07 None safe018_power.oepc.line346.yml false(unreach-call) 18.13 10.80 None safe018_power.oepc.line347.yml false(unreach-call) 19.35 11.83 None safe018_power.oepc.line363.yml OUT OF MEMORY 324.75 172.54 None safe018_power.oepc.line364.yml OUT OF MEMORY 318.42 168.81 None safe018_power.oepc.line395.yml OUT OF MEMORY 360.70 193.66 None safe018_power.oepc.line396.yml OUT OF MEMORY 338.55 186.55 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 130813.67 5149.48 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk06 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe015_rmo.line1498.yml OUT OF MEMORY 656.46 350.07 None safe015_rmo.line1499.yml OUT OF MEMORY 612.56 326.19 None safe015_rmo.line1511.yml OUT OF MEMORY 738.28 386.05 None safe015_rmo.line1512.yml OUT OF MEMORY 581.80 307.43 None safe015_rmo.line316.yml false(unreach-call) 36.99 23.81 None safe015_rmo.line317.yml false(unreach-call) 37.21 25.04 None safe015_rmo.line329.yml false(unreach-call) 42.36 25.44 None safe015_rmo.line330.yml false(unreach-call) 44.21 26.65 None safe015_rmo.line349.yml false(unreach-call) 46.49 27.47 None safe015_rmo.line350.yml false(unreach-call) 36.25 22.42 None safe015_rmo.line475.yml false(unreach-call) 37.96 23.79 None safe015_rmo.line476.yml false(unreach-call) 38.30 24.43 None safe015_rmo.line490.yml TIMEOUT 901.94 504.53 None safe015_rmo.line491.yml OUT OF MEMORY 651.49 352.25 None safe015_rmo.line503.yml false(unreach-call) 36.91 23.08 None safe015_rmo.line504.yml false(unreach-call) 38.67 24.36 None safe015_rmo.line550.yml false(unreach-call) 39.56 25.44 None safe015_rmo.line551.yml false(unreach-call) 39.31 25.78 None safe015_rmo.line564.yml false(unreach-call) 39.76 25.47 None safe015_rmo.line565.yml false(unreach-call) 49.16 28.86 None safe015_rmo.line583.yml false(unreach-call) 49.04 28.47 None safe015_rmo.line584.yml false(unreach-call) 45.99 27.80 None safe015_rmo.line598.yml false(unreach-call) 39.70 24.27 None safe015_rmo.line599.yml false(unreach-call) 41.62 26.64 None safe015_rmo.line700.yml OUT OF MEMORY 768.35 424.69 None safe015_rmo.line701.yml OUT OF MEMORY 749.86 412.90 None safe015_rmo.line713.yml OUT OF MEMORY 760.53 410.36 None safe015_rmo.line714.yml OUT OF MEMORY 825.84 439.76 None safe015_rmo.line733.yml OUT OF MEMORY 631.16 332.96 None safe015_rmo.line734.yml OUT OF MEMORY 575.00 306.11 None safe015_rmo.line861.yml OUT OF MEMORY 605.81 328.16 None safe015_rmo.line862.yml OUT OF MEMORY 805.58 438.57 None safe015_rmo.line876.yml OUT OF MEMORY 480.72 266.26 None safe015_rmo.line877.yml OUT OF MEMORY 691.60 377.98 None safe015_rmo.line889.yml OUT OF MEMORY 721.96 397.68 None safe015_rmo.line890.yml OUT OF MEMORY 755.78 402.85 None safe015_rmo.line916.yml OUT OF MEMORY 885.46 472.25 None safe015_rmo.line917.yml OUT OF MEMORY 790.99 420.18 None safe015_rmo.line931.yml TIMEOUT 908.30 491.75 None safe015_rmo.line932.yml TIMEOUT 921.06 504.95 None safe016_power.oepc.line1108.yml OUT OF MEMORY 408.74 231.09 None safe016_power.oepc.line1109.yml OUT OF MEMORY 483.10 256.49 None safe016_power.oepc.line1136.yml OUT OF MEMORY 405.48 226.05 None safe016_power.oepc.line1137.yml OUT OF MEMORY 485.40 258.09 None safe016_power.oepc.line1164.yml OUT OF MEMORY 251.01 143.02 None safe016_power.oepc.line1165.yml OUT OF MEMORY 262.73 150.97 None safe016_power.oepc.line1192.yml OUT OF MEMORY 453.17 237.24 None safe016_power.oepc.line1193.yml OUT OF MEMORY 434.23 231.91 None safe016_power.oepc.line1226.yml OUT OF MEMORY 356.66 196.87 None safe016_power.oepc.line1227.yml OUT OF MEMORY 478.37 264.28 None safe016_power.oepc.line1241.yml OUT OF MEMORY 488.63 262.86 None safe016_power.oepc.line1242.yml OUT OF MEMORY 463.38 251.06 None safe016_power.oepc.line1290.yml OUT OF MEMORY 528.40 279.43 None safe016_power.oepc.line1291.yml OUT OF MEMORY 478.43 267.66 None safe016_power.oepc.line1303.yml OUT OF MEMORY 525.08 276.17 None safe016_power.oepc.line1304.yml OUT OF MEMORY 361.35 192.80 None safe016_power.oepc.line1323.yml OUT OF MEMORY 527.22 274.81 None safe016_power.oepc.line1324.yml OUT OF MEMORY 367.33 196.99 None safe016_power.oepc.line1453.yml OUT OF MEMORY 586.56 306.86 None safe016_power.oepc.line1454.yml OUT OF MEMORY 420.12 231.11 None safe016_power.oepc.line1477.yml OUT OF MEMORY 530.48 285.99 None safe016_power.oepc.line1478.yml OUT OF MEMORY 555.90 292.53 None safe016_power.oepc.line1495.yml OUT OF MEMORY 452.87 240.27 None safe016_power.oepc.line1496.yml OUT OF MEMORY 402.68 213.39 None safe016_power.oepc.line1508.yml OUT OF MEMORY 496.94 266.94 None safe016_power.oepc.line1509.yml OUT OF MEMORY 472.69 261.23 None safe016_power.oepc.line339.yml OUT OF MEMORY 488.30 263.86 None safe016_power.oepc.line340.yml OUT OF MEMORY 392.19 213.67 None safe016_power.oepc.line354.yml OUT OF MEMORY 359.63 194.84 None safe016_power.oepc.line355.yml OUT OF MEMORY 412.74 227.19 None safe016_power.oepc.line371.yml OUT OF MEMORY 516.98 272.84 None safe016_power.oepc.line372.yml OUT OF MEMORY 540.95 284.89 None safe016_power.oepc.line403.yml OUT OF MEMORY 404.84 223.29 None safe016_power.oepc.line404.yml OUT OF MEMORY 582.92 306.77 None safe016_power.oepc.line424.yml OUT OF MEMORY 406.56 217.04 None safe016_power.oepc.line425.yml OUT OF MEMORY 345.24 185.73 None safe016_power.oepc.line638.yml OUT OF MEMORY 393.10 214.69 None safe016_power.oepc.line639.yml OUT OF MEMORY 512.47 271.97 None safe016_power.oepc.line653.yml OUT OF MEMORY 387.19 208.66 None safe016_power.oepc.line654.yml OUT OF MEMORY 401.52 219.97 None safe016_power.oepc.line666.yml OUT OF MEMORY 425.53 245.46 None safe016_power.oepc.line667.yml OUT OF MEMORY 446.60 246.27 None safe016_power.oepc.line748.yml OUT OF MEMORY 392.39 216.10 None safe016_power.oepc.line749.yml OUT OF MEMORY 450.68 249.10 None safe016_power.oepc.line767.yml OUT OF MEMORY 482.19 257.99 None safe016_power.oepc.line768.yml OUT OF MEMORY 421.99 231.68 None safe016_power.oepc.line782.yml OUT OF MEMORY 390.84 208.89 None safe016_power.oepc.line783.yml OUT OF MEMORY 356.31 192.16 None safe016_power.oepc.line853.yml OUT OF MEMORY 517.29 273.14 None safe016_power.oepc.line854.yml OUT OF MEMORY 393.95 215.02 None safe016_power.oepc.line872.yml OUT OF MEMORY 352.97 190.66 None safe016_power.oepc.line873.yml OUT OF MEMORY 409.34 222.72 None safe016_power.oepc.line887.yml OUT OF MEMORY 429.00 236.60 None safe016_power.oepc.line888.yml OUT OF MEMORY 519.61 276.84 None safe016_power.opt.line1011.yml OUT OF MEMORY 539.25 294.92 None safe016_power.opt.line1012.yml OUT OF MEMORY 485.40 290.24 None safe016_power.opt.line1026.yml OUT OF MEMORY 468.50 259.67 None safe016_power.opt.line1027.yml OUT OF MEMORY 423.18 242.10 None safe016_power.opt.line1246.yml OUT OF MEMORY 480.10 272.58 None safe016_power.opt.line1247.yml OUT OF MEMORY 422.14 234.34 None safe016_power.opt.line1274.yml OUT OF MEMORY 277.53 162.14 None safe016_power.opt.line1275.yml OUT OF MEMORY 334.05 191.26 None safe016_power.opt.line1302.yml OUT OF MEMORY 347.51 204.70 None safe016_power.opt.line1303.yml OUT OF MEMORY 377.29 212.48 None safe016_power.opt.line1330.yml OUT OF MEMORY 635.45 335.78 None safe016_power.opt.line1331.yml OUT OF MEMORY 475.96 260.33 None safe016_power.opt.line1364.yml OUT OF MEMORY 482.85 269.15 None safe016_power.opt.line1365.yml OUT OF MEMORY 468.89 251.16 None safe016_power.opt.line1379.yml OUT OF MEMORY 618.45 329.33 None safe016_power.opt.line1380.yml OUT OF MEMORY 590.55 326.71 None safe016_power.opt.line1428.yml OUT OF MEMORY 515.89 285.21 None safe016_power.opt.line1429.yml OUT OF MEMORY 593.17 313.18 None safe016_power.opt.line1441.yml OUT OF MEMORY 617.82 326.85 None safe016_power.opt.line1442.yml OUT OF MEMORY 438.28 247.35 None safe016_power.opt.line1461.yml OUT OF MEMORY 459.81 247.22 None safe016_power.opt.line1462.yml OUT OF MEMORY 493.89 267.13 None safe016_power.opt.line1591.yml OUT OF MEMORY 480.15 257.21 None safe016_power.opt.line1592.yml OUT OF MEMORY 455.61 252.13 None safe016_power.opt.line1613.yml OUT OF MEMORY 494.98 264.08 None safe016_power.opt.line1614.yml OUT OF MEMORY 473.53 256.29 None safe016_power.opt.line1628.yml OUT OF MEMORY 368.49 202.10 None safe016_power.opt.line1629.yml OUT OF MEMORY 618.68 327.35 None safe016_power.opt.line1641.yml OUT OF MEMORY 532.02 300.34 None safe016_power.opt.line1642.yml OUT OF MEMORY 576.20 312.53 None safe016_power.opt.line298.yml OUT OF MEMORY 304.50 175.05 None safe016_power.opt.line299.yml OUT OF MEMORY 422.14 235.23 None safe016_power.opt.line317.yml OUT OF MEMORY 361.02 210.58 None safe016_power.opt.line318.yml OUT OF MEMORY 578.42 312.19 None safe016_power.opt.line332.yml OUT OF MEMORY 316.68 183.79 None safe016_power.opt.line333.yml OUT OF MEMORY 342.48 194.27 None safe016_power.opt.line403.yml OUT OF MEMORY 382.51 218.01 None safe016_power.opt.line404.yml OUT OF MEMORY 399.07 223.53 None safe016_power.opt.line422.yml OUT OF MEMORY 416.97 229.69 None safe016_power.opt.line423.yml OUT OF MEMORY 361.31 205.62 None safe016_power.opt.line437.yml OUT OF MEMORY 452.00 251.79 None safe016_power.opt.line438.yml OUT OF MEMORY 380.82 212.29 None safe016_power.opt.line561.yml OUT OF MEMORY 407.83 233.95 None safe016_power.opt.line562.yml OUT OF MEMORY 248.35 148.05 None safe016_power.opt.line576.yml OUT OF MEMORY 430.73 240.76 None safe016_power.opt.line577.yml OUT OF MEMORY 510.83 281.91 None safe016_power.opt.line593.yml OUT OF MEMORY 302.72 180.91 None safe016_power.opt.line594.yml OUT OF MEMORY 504.01 277.96 None safe016_power.opt.line625.yml OUT OF MEMORY 336.75 220.85 None safe016_power.opt.line626.yml OUT OF MEMORY 408.62 227.25 None safe016_power.opt.line646.yml OUT OF MEMORY 428.51 249.83 None safe016_power.opt.line647.yml OUT OF MEMORY 384.61 217.82 None safe016_power.opt.line860.yml OUT OF MEMORY 374.89 218.45 None safe016_power.opt.line861.yml OUT OF MEMORY 432.69 241.19 None safe016_power.opt.line875.yml OUT OF MEMORY 237.04 141.66 None safe016_power.opt.line876.yml OUT OF MEMORY 395.47 222.89 None safe016_power.opt.line888.yml OUT OF MEMORY 411.36 232.33 None safe016_power.opt.line889.yml OUT OF MEMORY 401.26 226.26 None safe016_power.opt.line915.yml OUT OF MEMORY 335.44 192.59 None safe016_power.opt.line916.yml OUT OF MEMORY 333.90 190.18 None safe016_power.opt.line930.yml OUT OF MEMORY 391.95 227.49 None safe016_power.opt.line931.yml OUT OF MEMORY 472.05 258.39 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line387.yml true 20.22 13.55 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 26.19 15.45 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line415.yml true 20.11 13.57 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 25.92 15.00 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line443.yml true 21.59 14.38 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line444.yml true 21.08 14.31 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line471.yml true 40.60 23.89 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line472.yml true 39.32 23.38 None safe016_rmo.oepc.line1004.yml OUT OF MEMORY 369.46 200.26 None safe016_rmo.oepc.line1005.yml OUT OF MEMORY 386.12 210.88 None safe016_rmo.oepc.line1032.yml OUT OF MEMORY 430.48 230.49 None safe016_rmo.oepc.line1033.yml OUT OF MEMORY 518.63 269.80 None safe016_rmo.oepc.line1066.yml OUT OF MEMORY 592.02 309.19 None safe016_rmo.oepc.line1067.yml OUT OF MEMORY 584.44 305.87 None safe016_rmo.oepc.line1081.yml OUT OF MEMORY 441.67 234.59 None safe016_rmo.oepc.line1082.yml OUT OF MEMORY 446.01 235.99 None safe016_rmo.oepc.line1130.yml OUT OF MEMORY 455.60 242.62 None safe016_rmo.oepc.line1131.yml OUT OF MEMORY 503.35 266.17 None safe016_rmo.oepc.line1143.yml OUT OF MEMORY 416.14 221.14 None safe016_rmo.oepc.line1144.yml OUT OF MEMORY 558.40 298.40 None safe016_rmo.oepc.line1163.yml OUT OF MEMORY 449.67 247.60 None safe016_rmo.oepc.line1164.yml OUT OF MEMORY 556.17 291.02 None safe016_rmo.oepc.line1293.yml OUT OF MEMORY 559.06 291.63 None safe016_rmo.oepc.line1294.yml OUT OF MEMORY 469.51 247.50 None safe016_rmo.oepc.line1317.yml OUT OF MEMORY 375.63 205.93 None safe016_rmo.oepc.line1318.yml OUT OF MEMORY 543.06 289.73 None safe016_rmo.oepc.line1335.yml OUT OF MEMORY 432.82 228.93 None safe016_rmo.oepc.line1336.yml OUT OF MEMORY 447.49 236.08 None safe016_rmo.oepc.line1348.yml OUT OF MEMORY 575.72 301.85 None safe016_rmo.oepc.line1349.yml OUT OF MEMORY 599.13 313.94 None safe016_rmo.oepc.line317.yml OUT OF MEMORY 355.77 191.88 None safe016_rmo.oepc.line318.yml OUT OF MEMORY 332.66 187.26 None safe016_rmo.oepc.line330.yml OUT OF MEMORY 368.32 202.69 None safe016_rmo.oepc.line331.yml OUT OF MEMORY 321.69 178.03 None safe016_rmo.oepc.line350.yml OUT OF MEMORY 333.59 196.89 None safe016_rmo.oepc.line351.yml OUT OF MEMORY 437.36 236.82 None safe016_rmo.oepc.line478.yml OUT OF MEMORY 316.91 175.25 None safe016_rmo.oepc.line479.yml OUT OF MEMORY 423.91 227.40 None safe016_rmo.oepc.line493.yml OUT OF MEMORY 500.15 266.05 None safe016_rmo.oepc.line494.yml OUT OF MEMORY 303.96 167.20 None safe016_rmo.oepc.line506.yml OUT OF MEMORY 360.78 201.18 None safe016_rmo.oepc.line507.yml OUT OF MEMORY 377.11 205.05 None safe016_rmo.oepc.line588.yml OUT OF MEMORY 332.19 180.80 None safe016_rmo.oepc.line589.yml OUT OF MEMORY 344.83 191.92 None safe016_rmo.oepc.line607.yml OUT OF MEMORY 411.19 221.26 None safe016_rmo.oepc.line608.yml OUT OF MEMORY 433.71 238.94 None safe016_rmo.oepc.line622.yml OUT OF MEMORY 372.25 215.03 None safe016_rmo.oepc.line623.yml OUT OF MEMORY 512.29 271.77 None safe016_rmo.oepc.line693.yml OUT OF MEMORY 365.75 199.52 None safe016_rmo.oepc.line694.yml OUT OF MEMORY 426.13 228.89 None safe016_rmo.oepc.line712.yml OUT OF MEMORY 299.63 170.80 None safe016_rmo.oepc.line713.yml OUT OF MEMORY 358.15 194.84 None safe016_rmo.oepc.line727.yml OUT OF MEMORY 390.64 210.24 None safe016_rmo.oepc.line728.yml OUT OF MEMORY 428.79 231.00 None safe016_rmo.oepc.line948.yml OUT OF MEMORY 366.58 199.50 None safe016_rmo.oepc.line949.yml OUT OF MEMORY 371.44 200.77 None safe016_rmo.oepc.line976.yml OUT OF MEMORY 349.17 191.88 None safe016_rmo.oepc.line977.yml OUT OF MEMORY 424.04 229.44 None safe016_rmo.opt.line1086.yml OUT OF MEMORY 168.29 100.68 None safe016_rmo.opt.line1087.yml OUT OF MEMORY 345.44 201.97 None safe016_rmo.opt.line1114.yml OUT OF MEMORY 320.24 186.02 None safe016_rmo.opt.line1115.yml OUT OF MEMORY 327.96 188.63 None safe016_rmo.opt.line1142.yml OUT OF MEMORY 426.22 242.81 None safe016_rmo.opt.line1143.yml OUT OF MEMORY 289.93 165.88 None safe016_rmo.opt.line1170.yml OUT OF MEMORY 453.37 242.45 None safe016_rmo.opt.line1171.yml OUT OF MEMORY 476.76 259.16 None safe016_rmo.opt.line1204.yml OUT OF MEMORY 583.52 310.57 None safe016_rmo.opt.line1205.yml OUT OF MEMORY 426.56 232.12 None safe016_rmo.opt.line1219.yml OUT OF MEMORY 460.04 254.03 None safe016_rmo.opt.line1220.yml OUT OF MEMORY 476.53 259.31 None safe016_rmo.opt.line1268.yml OUT OF MEMORY 607.42 322.76 None safe016_rmo.opt.line1269.yml OUT OF MEMORY 501.68 287.46 None safe016_rmo.opt.line1281.yml OUT OF MEMORY 591.98 315.13 None safe016_rmo.opt.line1282.yml OUT OF MEMORY 435.78 250.14 None safe016_rmo.opt.line1301.yml OUT OF MEMORY 485.13 273.96 None safe016_rmo.opt.line1302.yml OUT OF MEMORY 531.80 294.49 None safe016_rmo.opt.line1431.yml OUT OF MEMORY 543.46 291.59 None safe016_rmo.opt.line1432.yml OUT OF MEMORY 402.38 220.53 None safe016_rmo.opt.line1453.yml OUT OF MEMORY 479.62 261.92 None safe016_rmo.opt.line1454.yml OUT OF MEMORY 421.19 232.72 None safe016_rmo.opt.line1468.yml OUT OF MEMORY 469.36 257.33 None safe016_rmo.opt.line1469.yml OUT OF MEMORY 481.10 263.05 None safe016_rmo.opt.line1481.yml OUT OF MEMORY 461.11 248.16 None safe016_rmo.opt.line1482.yml OUT OF MEMORY 593.52 315.22 None safe016_rmo.opt.line298.yml OUT OF MEMORY 331.50 193.27 None safe016_rmo.opt.line299.yml OUT OF MEMORY 373.44 214.29 None safe016_rmo.opt.line317.yml OUT OF MEMORY 536.39 290.06 None safe016_rmo.opt.line318.yml OUT OF MEMORY 477.57 279.32 None safe016_rmo.opt.line332.yml OUT OF MEMORY 402.67 225.03 None safe016_rmo.opt.line333.yml OUT OF MEMORY 290.19 168.36 None safe016_rmo.opt.line403.yml OUT OF MEMORY 367.34 206.77 None safe016_rmo.opt.line404.yml OUT OF MEMORY 430.47 238.28 None safe016_rmo.opt.line422.yml OUT OF MEMORY 273.84 159.56 None safe016_rmo.opt.line423.yml OUT OF MEMORY 276.12 161.17 None safe016_rmo.opt.line437.yml OUT OF MEMORY 318.46 183.59 None safe016_rmo.opt.line438.yml OUT OF MEMORY 361.35 205.85 None safe016_rmo.opt.line539.yml OUT OF MEMORY 266.19 155.53 None safe016_rmo.opt.line540.yml OUT OF MEMORY 305.15 176.52 None safe016_rmo.opt.line552.yml OUT OF MEMORY 316.58 185.54 None safe016_rmo.opt.line553.yml OUT OF MEMORY 374.26 214.32 None safe016_rmo.opt.line572.yml OUT OF MEMORY 388.97 218.23 None safe016_rmo.opt.line573.yml OUT OF MEMORY 329.79 187.17 None safe016_rmo.opt.line700.yml OUT OF MEMORY 341.93 193.46 None safe016_rmo.opt.line701.yml OUT OF MEMORY 285.65 164.15 None safe016_rmo.opt.line715.yml OUT OF MEMORY 318.10 182.12 None safe016_rmo.opt.line716.yml OUT OF MEMORY 471.52 257.93 None safe016_rmo.opt.line728.yml OUT OF MEMORY 390.31 218.65 None safe016_rmo.opt.line729.yml OUT OF MEMORY 358.79 214.93 None safe016_rmo.opt.line755.yml OUT OF MEMORY 241.46 142.01 None safe016_rmo.opt.line756.yml OUT OF MEMORY 334.63 191.96 None safe016_rmo.opt.line770.yml OUT OF MEMORY 323.84 185.73 None safe016_rmo.opt.line771.yml OUT OF MEMORY 325.23 189.56 None safe016_rmo.opt.line851.yml OUT OF MEMORY 361.07 205.49 None safe016_rmo.opt.line852.yml OUT OF MEMORY 359.64 204.16 None safe016_rmo.opt.line866.yml OUT OF MEMORY 272.31 157.83 None safe016_rmo.opt.line867.yml OUT OF MEMORY 279.84 167.22 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line600.yml true 16.04 9.42 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line601.yml true 14.22 8.36 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line628.yml true 13.25 8.43 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line629.yml true 16.00 9.64 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line656.yml true 18.79 11.37 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line657.yml true 17.67 11.35 None safe017_tso.line354.yml true 8.79 5.55 None safe017_tso.line355.yml true 8.71 5.52 None safe017_tso.line382.yml true 7.32 4.92 None safe017_tso.line383.yml true 9.19 5.84 None safe017_tso.line410.yml true 10.18 6.16 None safe017_tso.line411.yml true 8.23 5.48 None safe018_power.oepc.line1017.yml true 24.50 14.15 None safe018_power.oepc.line1018.yml true 29.95 16.82 None safe018_power.oepc.line1051.yml OUT OF MEMORY 516.02 270.70 None safe018_power.oepc.line1052.yml OUT OF MEMORY 454.89 241.54 None safe018_power.oepc.line1066.yml OUT OF MEMORY 381.19 207.19 None safe018_power.oepc.line1067.yml TIMEOUT 902.68 486.39 None safe018_power.oepc.line1114.yml OUT OF MEMORY 888.15 514.64 None safe018_power.oepc.line1115.yml OUT OF MEMORY 614.67 375.94 None safe018_power.oepc.line331.yml false(unreach-call) 16.56 10.41 None safe018_power.oepc.line332.yml false(unreach-call) 17.03 11.42 None safe018_power.oepc.line346.yml false(unreach-call) 16.25 11.03 None safe018_power.oepc.line347.yml false(unreach-call) 17.40 10.65 None safe018_power.oepc.line363.yml OUT OF MEMORY 302.68 170.17 None safe018_power.oepc.line364.yml OUT OF MEMORY 422.21 227.26 None safe018_power.oepc.line395.yml OUT OF MEMORY 309.35 171.58 None safe018_power.oepc.line396.yml OUT OF MEMORY 306.64 170.06 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 117347.91 4892.91 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk06 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 ------------------------------------------------------------------------------------------------------------------------------------------- safe015_rmo.line1498.yml OUT OF MEMORY 779.23 401.47 None safe015_rmo.line1499.yml OUT OF MEMORY 769.00 396.79 None safe015_rmo.line1511.yml TIMEOUT 921.26 476.80 None safe015_rmo.line1512.yml OUT OF MEMORY 708.25 363.06 None safe015_rmo.line316.yml false(unreach-call) 60.49 38.29 None safe015_rmo.line317.yml false(unreach-call) 62.90 41.42 None safe015_rmo.line329.yml false(unreach-call) 72.14 42.88 None safe015_rmo.line330.yml false(unreach-call) 74.71 43.89 None safe015_rmo.line349.yml false(unreach-call) 70.46 41.95 None safe015_rmo.line350.yml false(unreach-call) 61.64 37.80 None safe015_rmo.line475.yml false(unreach-call) 63.67 40.76 None safe015_rmo.line476.yml false(unreach-call) 62.00 38.27 None safe015_rmo.line490.yml OUT OF MEMORY 511.43 281.52 None safe015_rmo.line491.yml OUT OF MEMORY 828.41 448.38 None safe015_rmo.line503.yml false(unreach-call) 60.04 37.58 None safe015_rmo.line504.yml false(unreach-call) 61.37 38.49 None safe015_rmo.line550.yml false(unreach-call) 65.53 41.80 None safe015_rmo.line551.yml false(unreach-call) 66.47 42.62 None safe015_rmo.line564.yml false(unreach-call) 62.25 41.25 None safe015_rmo.line565.yml false(unreach-call) 81.14 47.55 None safe015_rmo.line583.yml false(unreach-call) 75.41 44.92 None safe015_rmo.line584.yml false(unreach-call) 78.78 46.27 None safe015_rmo.line598.yml false(unreach-call) 63.12 39.35 None safe015_rmo.line599.yml false(unreach-call) 65.82 41.35 None safe015_rmo.line700.yml TIMEOUT 921.29 492.75 None safe015_rmo.line701.yml OUT OF MEMORY 487.29 283.19 None safe015_rmo.line713.yml TIMEOUT 916.84 483.85 None safe015_rmo.line714.yml TIMEOUT 915.31 505.90 None safe015_rmo.line733.yml OUT OF MEMORY 663.00 362.92 None safe015_rmo.line734.yml OUT OF MEMORY 522.19 279.30 None safe015_rmo.line861.yml OUT OF MEMORY 736.56 387.87 None safe015_rmo.line862.yml TIMEOUT 921.26 503.57 None safe015_rmo.line876.yml OUT OF MEMORY 266.70 153.44 None safe015_rmo.line877.yml OUT OF MEMORY 803.23 421.10 None safe015_rmo.line889.yml OUT OF MEMORY 888.88 650.20 None safe015_rmo.line890.yml TIMEOUT 913.94 565.85 None safe015_rmo.line916.yml TIMEOUT 909.78 497.66 None safe015_rmo.line917.yml OUT OF MEMORY 898.02 479.13 None safe015_rmo.line931.yml TIMEOUT 921.29 505.04 None safe015_rmo.line932.yml TIMEOUT 921.13 581.15 None safe016_power.oepc.line1108.yml OUT OF MEMORY 892.51 522.03 None safe016_power.oepc.line1109.yml OUT OF MEMORY 862.71 438.88 None safe016_power.oepc.line1136.yml OUT OF MEMORY 707.77 361.54 None safe016_power.oepc.line1137.yml OUT OF MEMORY 767.44 402.42 None safe016_power.oepc.line1164.yml OUT OF MEMORY 584.31 301.96 None safe016_power.oepc.line1165.yml OUT OF MEMORY 599.37 321.55 None safe016_power.oepc.line1192.yml OUT OF MEMORY 660.54 340.31 None safe016_power.oepc.line1193.yml OUT OF MEMORY 672.72 341.90 None safe016_power.oepc.line1226.yml OUT OF MEMORY 685.68 349.95 None safe016_power.oepc.line1227.yml OUT OF MEMORY 708.05 359.49 None safe016_power.oepc.line1241.yml OUT OF MEMORY 717.16 379.30 None safe016_power.oepc.line1242.yml OUT OF MEMORY 642.61 335.15 None safe016_power.oepc.line1290.yml TIMEOUT 906.09 458.67 None safe016_power.oepc.line1291.yml OUT OF MEMORY 891.08 486.42 None safe016_power.oepc.line1303.yml TIMEOUT 921.40 602.58 None safe016_power.oepc.line1304.yml OUT OF MEMORY 665.85 340.84 None safe016_power.oepc.line1323.yml OUT OF MEMORY 730.52 386.64 None safe016_power.oepc.line1324.yml OUT OF MEMORY 752.38 392.30 None safe016_power.oepc.line1453.yml TIMEOUT 921.49 551.65 None safe016_power.oepc.line1454.yml OUT OF MEMORY 678.23 519.93 None safe016_power.oepc.line1477.yml OUT OF MEMORY 684.32 454.77 None safe016_power.oepc.line1478.yml OUT OF MEMORY 720.66 366.30 None safe016_power.oepc.line1495.yml OUT OF MEMORY 720.94 368.86 None safe016_power.oepc.line1496.yml OUT OF MEMORY 713.63 366.15 None safe016_power.oepc.line1508.yml OUT OF MEMORY 748.62 381.21 None safe016_power.oepc.line1509.yml OUT OF MEMORY 733.69 373.53 None safe016_power.oepc.line339.yml OUT OF MEMORY 698.93 361.15 None safe016_power.oepc.line340.yml OUT OF MEMORY 734.53 392.80 None safe016_power.oepc.line354.yml OUT OF MEMORY 725.94 376.05 None safe016_power.oepc.line355.yml OUT OF MEMORY 849.55 431.92 None safe016_power.oepc.line371.yml OUT OF MEMORY 848.23 469.34 None safe016_power.oepc.line372.yml OUT OF MEMORY 666.33 428.12 None safe016_power.oepc.line403.yml OUT OF MEMORY 636.29 326.72 None safe016_power.oepc.line404.yml OUT OF MEMORY 887.05 514.98 None safe016_power.oepc.line424.yml OUT OF MEMORY 720.84 487.28 None safe016_power.oepc.line425.yml TIMEOUT 903.41 531.70 None safe016_power.oepc.line638.yml OUT OF MEMORY 700.54 358.78 None safe016_power.oepc.line639.yml OUT OF MEMORY 644.80 333.58 None safe016_power.oepc.line653.yml OUT OF MEMORY 665.20 340.45 None safe016_power.oepc.line654.yml OUT OF MEMORY 653.02 334.41 None safe016_power.oepc.line666.yml OUT OF MEMORY 573.67 299.26 None safe016_power.oepc.line667.yml OUT OF MEMORY 711.54 367.58 None safe016_power.oepc.line748.yml OUT OF MEMORY 667.94 349.85 None safe016_power.oepc.line749.yml OUT OF MEMORY 797.98 406.12 None safe016_power.oepc.line767.yml OUT OF MEMORY 614.28 313.52 None safe016_power.oepc.line768.yml OUT OF MEMORY 768.71 391.51 None safe016_power.oepc.line782.yml OUT OF MEMORY 552.82 282.01 None safe016_power.oepc.line783.yml OUT OF MEMORY 652.36 340.26 None safe016_power.oepc.line853.yml OUT OF MEMORY 640.91 332.67 None safe016_power.oepc.line854.yml OUT OF MEMORY 631.92 323.05 None safe016_power.oepc.line872.yml OUT OF MEMORY 657.84 339.43 None safe016_power.oepc.line873.yml OUT OF MEMORY 630.96 322.11 None safe016_power.oepc.line887.yml OUT OF MEMORY 708.32 372.69 None safe016_power.oepc.line888.yml OUT OF MEMORY 800.79 406.45 None safe016_power.opt.line1011.yml OUT OF MEMORY 856.12 438.16 None safe016_power.opt.line1012.yml OUT OF MEMORY 442.13 237.25 None safe016_power.opt.line1026.yml OUT OF MEMORY 670.36 352.74 None safe016_power.opt.line1027.yml OUT OF MEMORY 652.30 336.68 None safe016_power.opt.line1246.yml OUT OF MEMORY 447.06 235.36 None safe016_power.opt.line1247.yml TIMEOUT 921.32 481.55 None safe016_power.opt.line1274.yml OUT OF MEMORY 257.65 141.33 None safe016_power.opt.line1275.yml OUT OF MEMORY 538.58 282.75 None safe016_power.opt.line1302.yml OUT OF MEMORY 204.82 116.21 None safe016_power.opt.line1303.yml OUT OF MEMORY 473.78 250.47 None safe016_power.opt.line1330.yml OUT OF MEMORY 822.64 421.62 None safe016_power.opt.line1331.yml OUT OF MEMORY 764.80 392.95 None safe016_power.opt.line1364.yml OUT OF MEMORY 839.74 430.41 None safe016_power.opt.line1365.yml OUT OF MEMORY 718.01 369.49 None safe016_power.opt.line1379.yml OUT OF MEMORY 712.12 375.57 None safe016_power.opt.line1380.yml TIMEOUT 921.50 478.29 None safe016_power.opt.line1428.yml OUT OF MEMORY 676.04 345.57 None safe016_power.opt.line1429.yml TIMEOUT 921.48 478.26 None safe016_power.opt.line1441.yml OUT OF MEMORY 728.57 380.11 None safe016_power.opt.line1442.yml OUT OF MEMORY 675.57 345.33 None safe016_power.opt.line1461.yml OUT OF MEMORY 888.53 454.58 None safe016_power.opt.line1462.yml OUT OF MEMORY 721.82 370.93 None safe016_power.opt.line1591.yml OUT OF MEMORY 748.22 381.70 None safe016_power.opt.line1592.yml OUT OF MEMORY 778.44 398.64 None safe016_power.opt.line1613.yml TIMEOUT 921.37 477.35 None safe016_power.opt.line1614.yml OUT OF MEMORY 729.90 374.73 None safe016_power.opt.line1628.yml OUT OF MEMORY 706.24 367.66 None safe016_power.opt.line1629.yml OUT OF MEMORY 705.61 362.59 None safe016_power.opt.line1641.yml OUT OF MEMORY 655.44 346.14 None safe016_power.opt.line1642.yml OUT OF MEMORY 702.66 357.84 None safe016_power.opt.line298.yml OUT OF MEMORY 150.64 84.95 None safe016_power.opt.line299.yml OUT OF MEMORY 138.80 80.56 None safe016_power.opt.line317.yml OUT OF MEMORY 773.84 400.65 None safe016_power.opt.line318.yml OUT OF MEMORY 725.17 375.05 None safe016_power.opt.line332.yml OUT OF MEMORY 322.78 174.26 None safe016_power.opt.line333.yml OUT OF MEMORY 748.19 389.26 None safe016_power.opt.line403.yml OUT OF MEMORY 379.48 203.46 None safe016_power.opt.line404.yml OUT OF MEMORY 379.10 203.85 None safe016_power.opt.line422.yml TIMEOUT 921.31 481.53 None safe016_power.opt.line423.yml OUT OF MEMORY 413.73 220.59 None safe016_power.opt.line437.yml OUT OF MEMORY 679.29 355.61 None safe016_power.opt.line438.yml OUT OF MEMORY 675.09 352.51 None safe016_power.opt.line561.yml OUT OF MEMORY 637.69 335.83 None safe016_power.opt.line562.yml OUT OF MEMORY 330.76 181.03 None safe016_power.opt.line576.yml OUT OF MEMORY 657.97 346.55 None safe016_power.opt.line577.yml OUT OF MEMORY 339.20 182.92 None safe016_power.opt.line593.yml OUT OF MEMORY 356.35 189.05 None safe016_power.opt.line594.yml OUT OF MEMORY 669.50 344.45 None safe016_power.opt.line625.yml OUT OF MEMORY 298.72 161.58 None safe016_power.opt.line626.yml OUT OF MEMORY 424.63 225.80 None safe016_power.opt.line646.yml OUT OF MEMORY 829.92 425.98 None safe016_power.opt.line647.yml OUT OF MEMORY 679.79 354.31 None safe016_power.opt.line860.yml OUT OF MEMORY 634.61 331.82 None safe016_power.opt.line861.yml OUT OF MEMORY 731.01 379.23 None safe016_power.opt.line875.yml OUT OF MEMORY 510.55 269.40 None safe016_power.opt.line876.yml OUT OF MEMORY 644.09 331.29 None safe016_power.opt.line888.yml OUT OF MEMORY 848.59 434.69 None safe016_power.opt.line889.yml OUT OF MEMORY 663.65 343.45 None safe016_power.opt.line915.yml OUT OF MEMORY 201.79 111.26 None safe016_power.opt.line916.yml OUT OF MEMORY 844.94 435.21 None safe016_power.opt.line930.yml OUT OF MEMORY 722.30 386.66 None safe016_power.opt.line931.yml OUT OF MEMORY 392.84 214.53 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line387.yml true 31.15 19.74 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line388.yml true 32.36 20.24 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line415.yml true 32.10 20.08 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line416.yml true 33.23 22.12 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line443.yml true 32.83 20.37 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line444.yml true 32.99 20.44 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line471.yml true 48.67 32.48 None safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.line472.yml true 49.61 33.79 None safe016_rmo.oepc.line1004.yml OUT OF MEMORY 193.24 103.83 None safe016_rmo.oepc.line1005.yml OUT OF MEMORY 459.45 236.74 None safe016_rmo.oepc.line1032.yml OUT OF MEMORY 831.02 420.72 None safe016_rmo.oepc.line1033.yml OUT OF MEMORY 674.78 345.63 None safe016_rmo.oepc.line1066.yml OUT OF MEMORY 611.28 313.72 None safe016_rmo.oepc.line1067.yml OUT OF MEMORY 689.42 351.00 None safe016_rmo.oepc.line1081.yml OUT OF MEMORY 648.12 329.08 None safe016_rmo.oepc.line1082.yml OUT OF MEMORY 682.44 347.55 None safe016_rmo.oepc.line1130.yml OUT OF MEMORY 618.52 323.52 None safe016_rmo.oepc.line1131.yml OUT OF MEMORY 709.62 367.74 None safe016_rmo.oepc.line1143.yml OUT OF MEMORY 855.61 433.30 None safe016_rmo.oepc.line1144.yml OUT OF MEMORY 877.10 444.24 None safe016_rmo.oepc.line1163.yml OUT OF MEMORY 722.68 370.79 None safe016_rmo.oepc.line1164.yml OUT OF MEMORY 693.88 356.67 None safe016_rmo.oepc.line1293.yml OUT OF MEMORY 643.72 337.66 None safe016_rmo.oepc.line1294.yml OUT OF MEMORY 856.67 436.11 None safe016_rmo.oepc.line1317.yml OUT OF MEMORY 688.66 352.61 None safe016_rmo.oepc.line1318.yml OUT OF MEMORY 676.11 348.81 None safe016_rmo.oepc.line1335.yml OUT OF MEMORY 621.48 316.11 None safe016_rmo.oepc.line1336.yml OUT OF MEMORY 665.81 339.28 None safe016_rmo.oepc.line1348.yml TIMEOUT 921.45 474.48 None safe016_rmo.oepc.line1349.yml OUT OF MEMORY 651.53 337.95 None safe016_rmo.oepc.line317.yml OUT OF MEMORY 503.82 259.02 None safe016_rmo.oepc.line318.yml OUT OF MEMORY 529.67 275.38 None safe016_rmo.oepc.line330.yml OUT OF MEMORY 659.37 338.00 None safe016_rmo.oepc.line331.yml OUT OF MEMORY 543.66 281.19 None safe016_rmo.oepc.line350.yml OUT OF MEMORY 555.31 287.02 None safe016_rmo.oepc.line351.yml OUT OF MEMORY 488.55 255.19 None safe016_rmo.oepc.line478.yml OUT OF MEMORY 590.90 304.23 None safe016_rmo.oepc.line479.yml OUT OF MEMORY 465.08 239.44 None safe016_rmo.oepc.line493.yml OUT OF MEMORY 642.60 331.02 None safe016_rmo.oepc.line494.yml OUT OF MEMORY 527.99 276.52 None safe016_rmo.oepc.line506.yml OUT OF MEMORY 459.98 236.81 None safe016_rmo.oepc.line507.yml OUT OF MEMORY 674.87 348.66 None safe016_rmo.oepc.line588.yml OUT OF MEMORY 606.33 315.57 None safe016_rmo.oepc.line589.yml OUT OF MEMORY 468.52 241.86 None safe016_rmo.oepc.line607.yml OUT OF MEMORY 674.24 348.11 None safe016_rmo.oepc.line608.yml OUT OF MEMORY 572.39 303.87 None safe016_rmo.oepc.line622.yml OUT OF MEMORY 665.65 339.43 None safe016_rmo.oepc.line623.yml OUT OF MEMORY 631.61 326.28 None safe016_rmo.oepc.line693.yml OUT OF MEMORY 600.74 308.70 None safe016_rmo.oepc.line694.yml OUT OF MEMORY 677.36 347.70 None safe016_rmo.oepc.line712.yml OUT OF MEMORY 518.73 266.82 None safe016_rmo.oepc.line713.yml OUT OF MEMORY 697.61 357.17 None safe016_rmo.oepc.line727.yml OUT OF MEMORY 605.72 308.64 None safe016_rmo.oepc.line728.yml OUT OF MEMORY 576.87 299.22 None safe016_rmo.oepc.line948.yml OUT OF MEMORY 599.34 309.39 None safe016_rmo.oepc.line949.yml OUT OF MEMORY 598.78 306.92 None safe016_rmo.oepc.line976.yml OUT OF MEMORY 560.72 293.13 None safe016_rmo.oepc.line977.yml OUT OF MEMORY 705.42 362.60 None safe016_rmo.opt.line1086.yml OUT OF MEMORY 332.46 179.71 None safe016_rmo.opt.line1087.yml OUT OF MEMORY 562.43 303.53 None safe016_rmo.opt.line1114.yml OUT OF MEMORY 419.76 221.84 None safe016_rmo.opt.line1115.yml OUT OF MEMORY 309.40 167.42 None safe016_rmo.opt.line1142.yml OUT OF MEMORY 374.28 203.43 None safe016_rmo.opt.line1143.yml OUT OF MEMORY 457.13 242.78 None safe016_rmo.opt.line1170.yml OUT OF MEMORY 882.34 448.92 None safe016_rmo.opt.line1171.yml OUT OF MEMORY 677.77 346.45 None safe016_rmo.opt.line1204.yml TIMEOUT 905.97 462.73 None safe016_rmo.opt.line1205.yml OUT OF MEMORY 785.63 407.01 None safe016_rmo.opt.line1219.yml OUT OF MEMORY 798.14 411.40 None safe016_rmo.opt.line1220.yml OUT OF MEMORY 665.86 343.43 None safe016_rmo.opt.line1268.yml OUT OF MEMORY 774.10 400.85 None safe016_rmo.opt.line1269.yml OUT OF MEMORY 757.08 393.60 None safe016_rmo.opt.line1281.yml OUT OF MEMORY 721.29 369.03 None safe016_rmo.opt.line1282.yml OUT OF MEMORY 714.67 373.67 None safe016_rmo.opt.line1301.yml OUT OF MEMORY 738.51 377.23 None safe016_rmo.opt.line1302.yml TIMEOUT 903.31 462.00 None safe016_rmo.opt.line1431.yml OUT OF MEMORY 893.46 456.90 None safe016_rmo.opt.line1432.yml OUT OF MEMORY 741.65 392.99 None safe016_rmo.opt.line1453.yml OUT OF MEMORY 655.66 335.30 None safe016_rmo.opt.line1454.yml OUT OF MEMORY 682.93 351.58 None safe016_rmo.opt.line1468.yml OUT OF MEMORY 891.51 453.88 None safe016_rmo.opt.line1469.yml OUT OF MEMORY 763.63 394.25 None safe016_rmo.opt.line1481.yml OUT OF MEMORY 688.03 357.18 None safe016_rmo.opt.line1482.yml OUT OF MEMORY 651.47 334.65 None safe016_rmo.opt.line298.yml OUT OF MEMORY 573.72 303.20 None safe016_rmo.opt.line299.yml OUT OF MEMORY 558.67 293.91 None safe016_rmo.opt.line317.yml OUT OF MEMORY 661.08 344.26 None safe016_rmo.opt.line318.yml OUT OF MEMORY 423.39 228.42 None safe016_rmo.opt.line332.yml OUT OF MEMORY 558.32 290.81 None safe016_rmo.opt.line333.yml OUT OF MEMORY 380.15 211.43 None safe016_rmo.opt.line403.yml OUT OF MEMORY 678.73 352.16 None safe016_rmo.opt.line404.yml OUT OF MEMORY 743.91 386.79 None safe016_rmo.opt.line422.yml OUT OF MEMORY 522.71 275.23 None safe016_rmo.opt.line423.yml OUT OF MEMORY 204.25 114.54 None safe016_rmo.opt.line437.yml OUT OF MEMORY 475.26 250.93 None safe016_rmo.opt.line438.yml OUT OF MEMORY 595.90 315.02 None safe016_rmo.opt.line539.yml OUT OF MEMORY 411.90 220.22 None safe016_rmo.opt.line540.yml OUT OF MEMORY 477.99 255.83 None safe016_rmo.opt.line552.yml OUT OF MEMORY 372.31 199.75 None safe016_rmo.opt.line553.yml OUT OF MEMORY 481.09 254.00 None safe016_rmo.opt.line572.yml OUT OF MEMORY 594.90 309.94 None safe016_rmo.opt.line573.yml OUT OF MEMORY 485.26 260.42 None safe016_rmo.opt.line700.yml OUT OF MEMORY 753.46 390.67 None safe016_rmo.opt.line701.yml OUT OF MEMORY 553.91 290.26 None safe016_rmo.opt.line715.yml OUT OF MEMORY 461.96 244.88 None safe016_rmo.opt.line716.yml OUT OF MEMORY 363.01 191.46 None safe016_rmo.opt.line728.yml OUT OF MEMORY 517.33 272.74 None safe016_rmo.opt.line729.yml OUT OF MEMORY 502.84 264.46 None safe016_rmo.opt.line755.yml OUT OF MEMORY 328.64 179.09 None safe016_rmo.opt.line756.yml OUT OF MEMORY 528.32 280.04 None safe016_rmo.opt.line770.yml OUT OF MEMORY 408.63 219.15 None safe016_rmo.opt.line771.yml OUT OF MEMORY 210.79 117.42 None safe016_rmo.opt.line851.yml OUT OF MEMORY 396.11 212.00 None safe016_rmo.opt.line852.yml OUT OF MEMORY 504.66 266.23 None safe016_rmo.opt.line866.yml OUT OF MEMORY 533.31 281.30 None safe016_rmo.opt.line867.yml OUT OF MEMORY 472.17 248.24 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line600.yml true 23.00 13.41 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line601.yml true 21.25 13.02 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line628.yml true 18.60 12.51 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line629.yml true 18.09 11.39 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line656.yml true 33.24 19.96 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.line657.yml true 29.58 17.87 None safe017_tso.line354.yml true 7.65 5.02 None safe017_tso.line355.yml true 8.00 5.33 None safe017_tso.line382.yml true 8.07 5.51 None safe017_tso.line383.yml true 7.76 5.21 None safe017_tso.line410.yml true 8.61 5.87 None safe017_tso.line411.yml true 9.93 6.10 None safe018_power.oepc.line1017.yml true 31.67 20.54 None safe018_power.oepc.line1018.yml true 43.62 24.75 None safe018_power.oepc.line1051.yml OUT OF MEMORY 598.55 318.80 None safe018_power.oepc.line1052.yml OUT OF MEMORY 606.53 317.64 None safe018_power.oepc.line1066.yml OUT OF MEMORY 601.23 320.81 None safe018_power.oepc.line1067.yml OUT OF MEMORY 736.22 393.61 None safe018_power.oepc.line1114.yml TIMEOUT 906.58 527.07 None safe018_power.oepc.line1115.yml TIMEOUT 907.44 524.93 None safe018_power.oepc.line331.yml false(unreach-call) 27.72 16.41 None safe018_power.oepc.line332.yml false(unreach-call) 31.17 17.81 None safe018_power.oepc.line346.yml false(unreach-call) 22.56 14.00 None safe018_power.oepc.line347.yml false(unreach-call) 28.89 16.92 None safe018_power.oepc.line363.yml OUT OF MEMORY 349.47 183.52 None safe018_power.oepc.line364.yml OUT OF MEMORY 515.09 266.68 None safe018_power.oepc.line395.yml OUT OF MEMORY 230.39 122.62 None safe018_power.oepc.line396.yml OUT OF MEMORY 419.12 221.68 None ------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 167323.65 6600.05 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk06 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk06 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk06 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk06 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk06 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk06 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk06 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk06 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk06 Run set 19 of 19: skipped Statistics: 900 Files correct: 66 correct true: 66 correct false: 0 incorrect: 66 incorrect true: 0 incorrect false: 66 unknown: 768 Score: -924 (max: 1800)