BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk25, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk25, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk25 date: Mon, 2022-10-24 10:42:30 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-chunk25 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 -------------------------------------------------------------------------------------------------------- divinefifo-bug_1w1r.line1005.yml OUT OF MEMORY 82.07 56.82 None divinefifo-bug_1w1r.line1006.yml OUT OF MEMORY 67.42 48.41 None divinefifo-bug_1w1r.line1017.yml OUT OF MEMORY 251.62 196.44 None divinefifo-bug_1w1r.line1018.yml OUT OF MEMORY 175.19 143.86 None divinefifo-bug_1w1r.line1027.yml OUT OF MEMORY 116.25 86.68 None divinefifo-bug_1w1r.line1028.yml OUT OF MEMORY 115.63 80.04 None divinefifo-bug_1w1r.line1037.yml OUT OF MEMORY 73.13 46.58 None divinefifo-bug_1w1r.line1038.yml OUT OF MEMORY 192.81 149.27 None divinefifo-bug_1w1r.line1047.yml OUT OF MEMORY 131.16 91.36 None divinefifo-bug_1w1r.line1048.yml OUT OF MEMORY 125.35 83.40 None divinefifo-bug_1w1r.line1075.yml OUT OF MEMORY 72.09 49.38 None divinefifo-bug_1w1r.line1076.yml OUT OF MEMORY 169.24 135.94 None divinefifo-bug_1w1r.line1085.yml OUT OF MEMORY 107.01 78.73 None divinefifo-bug_1w1r.line1086.yml OUT OF MEMORY 182.52 126.88 None divinefifo-bug_1w1r.line1095.yml OUT OF MEMORY 71.35 46.99 None divinefifo-bug_1w1r.line1096.yml OUT OF MEMORY 126.56 96.50 None divinefifo-bug_1w1r.line1113.yml OUT OF MEMORY 200.78 169.98 None divinefifo-bug_1w1r.line1114.yml OUT OF MEMORY 117.62 70.97 None divinefifo-bug_1w1r.line1125.yml OUT OF MEMORY 55.15 38.09 None divinefifo-bug_1w1r.line1126.yml OUT OF MEMORY 77.10 50.97 None divinefifo-bug_1w1r.line1135.yml OUT OF MEMORY 103.63 67.73 None divinefifo-bug_1w1r.line1136.yml OUT OF MEMORY 188.47 135.58 None divinefifo-bug_1w1r.line1146.yml OUT OF MEMORY 114.86 74.51 None divinefifo-bug_1w1r.line1147.yml OUT OF MEMORY 102.83 58.80 None divinefifo-bug_1w1r.line1157.yml OUT OF MEMORY 123.25 95.72 None divinefifo-bug_1w1r.line1158.yml OUT OF MEMORY 62.06 37.29 None divinefifo-bug_1w1r.line1169.yml TIMEOUT 901.50 807.28 None divinefifo-bug_1w1r.line1170.yml TIMEOUT 900.93 852.61 None divinefifo-bug_1w1r.line1171.yml OUT OF MEMORY 70.51 43.70 None divinefifo-bug_1w1r.line1187.yml OUT OF MEMORY 96.41 58.27 None divinefifo-bug_1w1r.line1188.yml OUT OF MEMORY 160.83 114.63 None divinefifo-bug_1w1r.line1197.yml OUT OF MEMORY 138.47 81.57 None divinefifo-bug_1w1r.line1198.yml TIMEOUT 900.59 756.85 None divinefifo-bug_1w1r.line1214.yml TIMEOUT 900.74 749.82 None divinefifo-bug_1w1r.line1215.yml OUT OF MEMORY 535.00 419.58 None divinefifo-bug_1w1r.line1237.yml TIMEOUT 900.30 696.25 None divinefifo-bug_1w1r.line1238.yml TIMEOUT 900.94 842.47 None divinefifo-bug_1w1r.line1247.yml OUT OF MEMORY 105.04 75.16 None divinefifo-bug_1w1r.line1248.yml TIMEOUT 900.23 777.22 None divinefifo-bug_1w1r.line1259.yml OUT OF MEMORY 87.49 66.28 None divinefifo-bug_1w1r.line1260.yml OUT OF MEMORY 95.68 73.00 None divinefifo-bug_1w1r.line1269.yml TIMEOUT 901.02 838.10 None divinefifo-bug_1w1r.line1270.yml TIMEOUT 900.78 708.16 None divinefifo-bug_1w1r.line1279.yml OUT OF MEMORY 89.83 67.97 None divinefifo-bug_1w1r.line1280.yml OUT OF MEMORY 109.72 79.84 None divinefifo-bug_1w1r.line1289.yml OUT OF MEMORY 125.73 82.36 None divinefifo-bug_1w1r.line1290.yml TIMEOUT 900.95 845.66 None divinefifo-bug_1w1r.line1317.yml OUT OF MEMORY 78.24 50.18 None divinefifo-bug_1w1r.line1318.yml OUT OF MEMORY 107.59 78.58 None divinefifo-bug_1w1r.line1327.yml OUT OF MEMORY 134.39 83.06 None divinefifo-bug_1w1r.line1328.yml OUT OF MEMORY 125.27 77.45 None divinefifo-bug_1w1r.line1339.yml OUT OF MEMORY 108.29 70.26 None divinefifo-bug_1w1r.line1340.yml OUT OF MEMORY 104.19 72.23 None divinefifo-bug_1w1r.line1351.yml OUT OF MEMORY 68.65 42.36 None divinefifo-bug_1w1r.line1352.yml OUT OF MEMORY 81.09 60.79 None divinefifo-bug_1w1r.line1361.yml OUT OF MEMORY 140.59 98.81 None divinefifo-bug_1w1r.line1362.yml OUT OF MEMORY 293.03 255.36 None divinefifo-bug_1w1r.line1371.yml OUT OF MEMORY 74.23 45.46 None divinefifo-bug_1w1r.line1372.yml OUT OF MEMORY 125.60 96.80 None divinefifo-bug_1w1r.line1385.yml OUT OF MEMORY 82.44 48.49 None divinefifo-bug_1w1r.line1386.yml OUT OF MEMORY 244.82 207.75 None divinefifo-bug_1w1r.line1395.yml OUT OF MEMORY 105.87 72.82 None divinefifo-bug_1w1r.line1396.yml false(unreach-call) 527.69 429.15 None divinefifo-bug_1w1r.line1412.yml OUT OF MEMORY 125.37 67.06 None divinefifo-bug_1w1r.line1413.yml TIMEOUT 901.80 866.90 None divinefifo-bug_1w1r.line1424.yml OUT OF MEMORY 83.41 47.22 None divinefifo-bug_1w1r.line1425.yml OUT OF MEMORY 80.10 59.41 None divinefifo-bug_1w1r.line1434.yml OUT OF MEMORY 110.29 74.93 None divinefifo-bug_1w1r.line1435.yml OUT OF MEMORY 113.10 69.93 None divinefifo-bug_1w1r.line1445.yml OUT OF MEMORY 198.94 146.41 None divinefifo-bug_1w1r.line1446.yml OUT OF MEMORY 120.98 80.61 None divinefifo-bug_1w1r.line1456.yml OUT OF MEMORY 141.56 94.13 None divinefifo-bug_1w1r.line1457.yml OUT OF MEMORY 88.87 59.95 None divinefifo-bug_1w1r.line1468.yml TIMEOUT 900.27 692.21 None divinefifo-bug_1w1r.line1469.yml TIMEOUT 901.19 834.13 None divinefifo-bug_1w1r.line1470.yml OUT OF MEMORY 101.26 62.72 None divinefifo-bug_1w1r.line1490.yml TIMEOUT 900.36 701.99 None divinefifo-bug_1w1r.line1491.yml OUT OF MEMORY 227.01 195.73 None divinefifo-bug_1w1r.line1500.yml OUT OF MEMORY 85.33 62.96 None divinefifo-bug_1w1r.line1501.yml OUT OF MEMORY 223.24 156.34 None divinefifo-bug_1w1r.line1512.yml OUT OF MEMORY 103.83 70.78 None divinefifo-bug_1w1r.line1513.yml OUT OF MEMORY 247.59 208.02 None divinefifo-bug_1w1r.line1522.yml TIMEOUT 901.05 845.36 None divinefifo-bug_1w1r.line1523.yml false(unreach-call) 757.41 708.77 None divinefifo-bug_1w1r.line1532.yml OUT OF MEMORY 93.44 68.12 None divinefifo-bug_1w1r.line1533.yml OUT OF MEMORY 80.92 61.26 None divinefifo-bug_1w1r.line1555.yml OUT OF MEMORY 86.80 49.05 None divinefifo-bug_1w1r.line1556.yml OUT OF MEMORY 170.79 135.37 None divinefifo-bug_1w1r.line1567.yml OUT OF MEMORY 79.58 50.97 None divinefifo-bug_1w1r.line1568.yml OUT OF MEMORY 180.72 143.80 None divinefifo-bug_1w1r.line1577.yml OUT OF MEMORY 102.58 55.04 None divinefifo-bug_1w1r.line1578.yml false(unreach-call) 442.41 404.74 None divinefifo-bug_1w1r.line1588.yml OUT OF MEMORY 202.03 136.59 None divinefifo-bug_1w1r.line1589.yml OUT OF MEMORY 202.27 171.71 None divinefifo-bug_1w1r.line1599.yml OUT OF MEMORY 211.44 152.69 None divinefifo-bug_1w1r.line1600.yml OUT OF MEMORY 150.54 105.37 None divinefifo-bug_1w1r.line1611.yml TIMEOUT 901.01 731.54 None divinefifo-bug_1w1r.line1612.yml TIMEOUT 900.38 749.55 None divinefifo-bug_1w1r.line1613.yml ERROR: EXCEPTION 117.19 86.76 None divinefifo-bug_1w1r.line1648.yml OUT OF MEMORY 106.35 70.39 None divinefifo-bug_1w1r.line1649.yml OUT OF MEMORY 111.66 63.26 None divinefifo-bug_1w1r.line1658.yml OUT OF MEMORY 79.96 57.33 None divinefifo-bug_1w1r.line1659.yml OUT OF MEMORY 95.02 61.02 None divinefifo-bug_1w1r.line1670.yml OUT OF MEMORY 105.10 70.51 None divinefifo-bug_1w1r.line1671.yml OUT OF MEMORY 117.48 66.31 None divinefifo-bug_1w1r.line1680.yml OUT OF MEMORY 62.44 40.25 None divinefifo-bug_1w1r.line1681.yml OUT OF MEMORY 88.65 52.66 None divinefifo-bug_1w1r.line1690.yml OUT OF MEMORY 88.87 63.43 None divinefifo-bug_1w1r.line1691.yml OUT OF MEMORY 90.25 53.79 None divinefifo-bug_1w1r.line1700.yml OUT OF MEMORY 94.53 57.32 None divinefifo-bug_1w1r.line1701.yml OUT OF MEMORY 118.97 64.93 None divinefifo-bug_1w1r.line1728.yml OUT OF MEMORY 86.17 50.89 None divinefifo-bug_1w1r.line1729.yml OUT OF MEMORY 72.66 42.63 None divinefifo-bug_1w1r.line1745.yml OUT OF MEMORY 81.43 49.80 None divinefifo-bug_1w1r.line1746.yml OUT OF MEMORY 101.54 60.19 None divinefifo-bug_1w1r.line1755.yml OUT OF MEMORY 86.59 61.11 None divinefifo-bug_1w1r.line1756.yml OUT OF MEMORY 78.44 46.86 None divinefifo-bug_1w1r.line1767.yml OUT OF MEMORY 61.29 41.51 None divinefifo-bug_1w1r.line1768.yml OUT OF MEMORY 104.79 65.24 None divinefifo-bug_1w1r.line1777.yml OUT OF MEMORY 122.95 69.12 None divinefifo-bug_1w1r.line1778.yml OUT OF MEMORY 107.81 67.22 None divinefifo-bug_1w1r.line1787.yml OUT OF MEMORY 89.83 57.39 None divinefifo-bug_1w1r.line1788.yml OUT OF MEMORY 93.71 56.25 None divinefifo-bug_1w1r.line1797.yml OUT OF MEMORY 87.04 57.63 None divinefifo-bug_1w1r.line1798.yml OUT OF MEMORY 91.43 55.77 None divinefifo-bug_1w1r.line1833.yml OUT OF MEMORY 74.50 47.98 None divinefifo-bug_1w1r.line1834.yml OUT OF MEMORY 75.81 45.88 None divinefifo-bug_1w1r.line1843.yml OUT OF MEMORY 80.73 55.25 None divinefifo-bug_1w1r.line1844.yml OUT OF MEMORY 117.59 67.05 None divinefifo-bug_1w1r.line1861.yml OUT OF MEMORY 67.14 46.08 None divinefifo-bug_1w1r.line1862.yml OUT OF MEMORY 121.54 69.09 None divinefifo-bug_1w1r.line1871.yml OUT OF MEMORY 83.77 49.35 None divinefifo-bug_1w1r.line1872.yml OUT OF MEMORY 69.31 42.52 None divinefifo-bug_1w1r.line1887.yml OUT OF MEMORY 81.95 58.30 None divinefifo-bug_1w1r.line1888.yml OUT OF MEMORY 92.18 53.54 None divinefifo-bug_1w1r.line1895.yml OUT OF MEMORY 114.06 67.28 None divinefifo-bug_1w1r.line1896.yml OUT OF MEMORY 143.28 81.44 None divinefifo-bug_1w1r.line1897.yml OUT OF MEMORY 79.88 45.53 None divinefifo-bug_1w1r.line1908.yml OUT OF MEMORY 142.69 82.32 None divinefifo-bug_1w1r.line1909.yml OUT OF MEMORY 88.04 53.55 None divinefifo-bug_1w1r.line1918.yml OUT OF MEMORY 79.48 51.70 None divinefifo-bug_1w1r.line1919.yml OUT OF MEMORY 136.19 76.88 None divinefifo-bug_1w1r.line1926.yml OUT OF MEMORY 102.55 64.00 None divinefifo-bug_1w1r.line1927.yml OUT OF MEMORY 48.70 33.16 None divinefifo-bug_1w1r.line1928.yml OUT OF MEMORY 135.09 76.25 None divinefifo-bug_1w1r.line286.yml OUT OF MEMORY 91.12 63.18 None divinefifo-bug_1w1r.line287.yml true 55.85 37.38 None divinefifo-bug_1w1r.line296.yml OUT OF MEMORY 732.13 599.01 None divinefifo-bug_1w1r.line297.yml OUT OF MEMORY 79.07 52.21 None divinefifo-bug_1w1r.line306.yml OUT OF MEMORY 63.19 44.17 None divinefifo-bug_1w1r.line307.yml true 52.70 32.07 None divinefifo-bug_1w1r.line339.yml OUT OF MEMORY 64.47 38.28 None divinefifo-bug_1w1r.line340.yml true 45.37 28.12 None divinefifo-bug_1w1r.line349.yml OUT OF MEMORY 81.51 50.23 None divinefifo-bug_1w1r.line350.yml true 53.35 35.24 None divinefifo-bug_1w1r.line359.yml OUT OF MEMORY 105.27 60.50 None divinefifo-bug_1w1r.line360.yml true 62.64 36.75 None divinefifo-bug_1w1r.line380.yml OUT OF MEMORY 88.96 65.28 None divinefifo-bug_1w1r.line381.yml true 121.26 73.17 None divinefifo-bug_1w1r.line393.yml TIMEOUT 900.52 839.03 None divinefifo-bug_1w1r.line394.yml OUT OF MEMORY 709.24 480.80 None divinefifo-bug_1w1r.line404.yml OUT OF MEMORY 737.17 673.55 None divinefifo-bug_1w1r.line405.yml OUT OF MEMORY 376.55 259.43 None divinefifo-bug_1w1r.line414.yml OUT OF MEMORY 163.06 134.75 None divinefifo-bug_1w1r.line415.yml true 73.08 45.93 None divinefifo-bug_1w1r.line426.yml OUT OF MEMORY 150.95 117.18 None divinefifo-bug_1w1r.line427.yml true 97.89 66.95 None divinefifo-bug_1w1r.line437.yml TIMEOUT 900.71 882.34 None divinefifo-bug_1w1r.line438.yml OUT OF MEMORY 84.34 55.72 None divinefifo-bug_1w1r.line449.yml TIMEOUT 900.98 727.12 None divinefifo-bug_1w1r.line450.yml true 43.42 28.75 None divinefifo-bug_1w1r.line460.yml ERROR: EXCEPTION 33.75 21.20 None divinefifo-bug_1w1r.line461.yml TIMEOUT 900.66 717.18 None divinefifo-bug_1w1r.line471.yml TIMEOUT 901.41 766.76 None divinefifo-bug_1w1r.line472.yml true 54.50 37.06 None divinefifo-bug_1w1r.line692.yml true 7.65 4.88 None divinefifo-bug_1w1r.line693.yml true 7.34 4.87 None divinefifo-bug_1w1r.line702.yml true 7.31 4.85 None divinefifo-bug_1w1r.line703.yml true 7.65 4.80 None divinefifo-bug_1w1r.line712.yml true 7.29 4.70 None divinefifo-bug_1w1r.line713.yml true 7.30 4.80 None divinefifo-bug_1w1r.line727.yml true 7.75 4.84 None divinefifo-bug_1w1r.line728.yml true 8.37 5.30 None divinefifo-bug_1w1r.line737.yml true 8.50 5.62 None divinefifo-bug_1w1r.line738.yml true 7.56 4.91 None divinefifo-bug_1w1r.line753.yml true 7.57 4.74 None divinefifo-bug_1w1r.line754.yml true 8.13 5.25 None divinefifo-bug_1w1r.line763.yml true 7.31 4.81 None divinefifo-bug_1w1r.line764.yml true 8.21 5.06 None divinefifo-bug_1w1r.line775.yml true 8.16 5.31 None divinefifo-bug_1w1r.line776.yml true 8.20 5.38 None divinefifo-bug_1w1r.line785.yml true 8.91 5.64 None divinefifo-bug_1w1r.line786.yml true 10.22 6.16 None divinefifo-bug_1w1r.line795.yml true 8.97 5.68 None divinefifo-bug_1w1r.line796.yml true 8.25 5.15 None divinefifo-bug_1w1r.line805.yml true 7.95 5.05 None divinefifo-bug_1w1r.line806.yml true 12.15 7.37 None divinefifo-bug_1w1r.line855.yml true 8.22 4.88 None divinefifo-bug_1w1r.line856.yml true 8.88 5.48 None divinefifo-bug_1w1r.line889.yml OUT OF MEMORY 63.90 40.15 None divinefifo-bug_1w1r.line890.yml OUT OF MEMORY 59.91 37.06 None divinefifo-bug_1w1r.line899.yml OUT OF MEMORY 67.03 41.73 None divinefifo-bug_1w1r.line900.yml OUT OF MEMORY 80.35 49.18 None divinefifo-bug_1w1r.line911.yml OUT OF MEMORY 59.94 35.75 None divinefifo-bug_1w1r.line912.yml OUT OF MEMORY 68.63 42.02 None divinefifo-bug_1w1r.line921.yml OUT OF MEMORY 59.50 38.07 None divinefifo-bug_1w1r.line922.yml OUT OF MEMORY 64.30 38.95 None divinefifo-bug_1w1r.line931.yml OUT OF MEMORY 77.58 48.06 None divinefifo-bug_1w1r.line932.yml OUT OF MEMORY 62.17 38.69 None divinefifo-bug_1w1r.line941.yml OUT OF MEMORY 68.44 43.65 None divinefifo-bug_1w1r.line942.yml OUT OF MEMORY 79.22 45.96 None divinefifo-bug_1w1r.line976.yml OUT OF MEMORY 88.94 55.16 None divinefifo-bug_1w1r.line977.yml OUT OF MEMORY 180.12 154.06 None divinefifo-bug_1w1r.line995.yml OUT OF MEMORY 101.92 69.98 None divinefifo-bug_1w1r.line996.yml OUT OF MEMORY 184.21 150.51 None divinefifo_1w1r.line472.yml true 52.62 37.11 None divinefifo_1w1r.line689.yml true 9.32 5.49 None divinefifo_1w1r.line690.yml true 9.44 5.57 None divinefifo_1w1r.line699.yml true 7.99 4.93 None divinefifo_1w1r.line700.yml true 9.86 5.80 None divinefifo_1w1r.line709.yml true 7.38 4.64 None divinefifo_1w1r.line710.yml true 9.90 5.80 None divinefifo_1w1r.line724.yml true 7.98 4.88 None divinefifo_1w1r.line725.yml true 10.40 6.05 None divinefifo_1w1r.line734.yml true 7.29 4.57 None divinefifo_1w1r.line735.yml true 8.11 5.03 None divinefifo_1w1r.line750.yml true 9.82 5.70 None divinefifo_1w1r.line751.yml true 7.79 5.18 None divinefifo_1w1r.line760.yml true 7.44 4.66 None divinefifo_1w1r.line761.yml true 10.40 6.07 None divinefifo_1w1r.line772.yml true 7.99 5.26 None divinefifo_1w1r.line773.yml true 8.10 5.01 None divinefifo_1w1r.line782.yml true 8.60 5.33 None divinefifo_1w1r.line783.yml true 12.06 6.84 None divinefifo_1w1r.line792.yml true 8.03 5.50 None divinefifo_1w1r.line793.yml true 8.10 4.92 None divinefifo_1w1r.line802.yml true 7.80 4.88 None divinefifo_1w1r.line803.yml true 14.40 8.05 None divinefifo_1w1r.line852.yml true 8.23 4.85 None divinefifo_1w1r.line853.yml true 8.30 5.26 None divinefifo_1w1r.line886.yml OUT OF MEMORY 61.22 37.42 None divinefifo_1w1r.line887.yml OUT OF MEMORY 61.46 38.02 None divinefifo_1w1r.line896.yml OUT OF MEMORY 60.31 37.41 None divinefifo_1w1r.line897.yml OUT OF MEMORY 76.10 45.11 None divinefifo_1w1r.line908.yml OUT OF MEMORY 59.27 36.32 None divinefifo_1w1r.line909.yml OUT OF MEMORY 63.01 39.15 None divinefifo_1w1r.line918.yml OUT OF MEMORY 63.76 39.29 None divinefifo_1w1r.line919.yml OUT OF MEMORY 74.51 43.69 None divinefifo_1w1r.line928.yml OUT OF MEMORY 64.45 41.13 None divinefifo_1w1r.line929.yml OUT OF MEMORY 61.96 37.96 None divinefifo_1w1r.line938.yml OUT OF MEMORY 73.46 44.25 None divinefifo_1w1r.line939.yml OUT OF MEMORY 63.46 38.46 None divinefifo_1w1r.line973.yml OUT OF MEMORY 76.24 48.35 None divinefifo_1w1r.line974.yml OUT OF MEMORY 169.77 127.37 None divinefifo_1w1r.line992.yml OUT OF MEMORY 102.99 73.26 None divinefifo_1w1r.line993.yml OUT OF MEMORY 142.17 110.61 None elimination_backoff_stack.line10005.yml OUT OF MEMORY 374.46 207.62 None elimination_backoff_stack.line10006.yml OUT OF MEMORY 367.70 202.38 None elimination_backoff_stack.line10016.yml OUT OF MEMORY 257.48 143.70 None elimination_backoff_stack.line10017.yml OUT OF MEMORY 256.78 146.19 None elimination_backoff_stack.line10026.yml OUT OF MEMORY 50.38 31.29 None elimination_backoff_stack.line10027.yml OUT OF MEMORY 320.04 178.94 None elimination_backoff_stack.line1005.yml OUT OF MEMORY 386.39 214.90 None elimination_backoff_stack.line1006.yml OUT OF MEMORY 245.16 137.99 None elimination_backoff_stack.line10061.yml OUT OF MEMORY 323.30 178.06 None elimination_backoff_stack.line10062.yml OUT OF MEMORY 492.81 267.05 None elimination_backoff_stack.line10077.yml OUT OF MEMORY 279.69 156.67 None elimination_backoff_stack.line10078.yml OUT OF MEMORY 304.34 170.47 None elimination_backoff_stack.line10087.yml OUT OF MEMORY 369.86 204.41 None elimination_backoff_stack.line10088.yml OUT OF MEMORY 435.94 242.24 None elimination_backoff_stack.line10114.yml OUT OF MEMORY 346.69 195.17 None elimination_backoff_stack.line10115.yml OUT OF MEMORY 54.97 33.19 None elimination_backoff_stack.line10127.yml OUT OF MEMORY 51.83 31.43 None elimination_backoff_stack.line10128.yml OUT OF MEMORY 509.60 271.95 None elimination_backoff_stack.line10136.yml OUT OF MEMORY 375.15 208.55 None elimination_backoff_stack.line10137.yml OUT OF MEMORY 297.12 165.59 None elimination_backoff_stack.line1015.yml OUT OF MEMORY 377.52 206.18 None elimination_backoff_stack.line10158.yml OUT OF MEMORY 63.77 37.55 None elimination_backoff_stack.line10159.yml OUT OF MEMORY 407.37 221.99 None elimination_backoff_stack.line1016.yml OUT OF MEMORY 338.74 188.13 None elimination_backoff_stack.line10171.yml OUT OF MEMORY 246.62 141.70 None elimination_backoff_stack.line10172.yml OUT OF MEMORY 570.35 306.54 None elimination_backoff_stack.line10204.yml OUT OF MEMORY 399.79 220.00 None elimination_backoff_stack.line10205.yml OUT OF MEMORY 429.43 235.00 None elimination_backoff_stack.line10218.yml OUT OF MEMORY 486.09 263.43 None elimination_backoff_stack.line10219.yml OUT OF MEMORY 421.14 233.56 None elimination_backoff_stack.line10232.yml OUT OF MEMORY 568.63 310.61 None elimination_backoff_stack.line10233.yml OUT OF MEMORY 526.82 311.28 None elimination_backoff_stack.line10242.yml OUT OF MEMORY 421.98 229.33 None elimination_backoff_stack.line10243.yml OUT OF MEMORY 446.38 245.88 None elimination_backoff_stack.line10270.yml OUT OF MEMORY 519.11 280.73 None elimination_backoff_stack.line10271.yml OUT OF MEMORY 555.21 298.02 None elimination_backoff_stack.line10283.yml OUT OF MEMORY 384.37 211.95 None elimination_backoff_stack.line10284.yml OUT OF MEMORY 550.54 292.68 None elimination_backoff_stack.line10317.yml OUT OF MEMORY 427.65 233.53 None elimination_backoff_stack.line10318.yml OUT OF MEMORY 393.92 225.73 None elimination_backoff_stack.line10329.yml OUT OF MEMORY 463.27 254.44 None elimination_backoff_stack.line10330.yml OUT OF MEMORY 423.66 240.66 None elimination_backoff_stack.line10348.yml OUT OF MEMORY 453.11 252.82 None elimination_backoff_stack.line10349.yml OUT OF MEMORY 500.21 274.26 None -------------------------------------------------------------------------------------------------------- Run set 1 done 60136.20 3222.83 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk25 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 -------------------------------------------------------------------------------------------------------- divinefifo-bug_1w1r.line1005.yml OUT OF MEMORY 73.88 52.55 None divinefifo-bug_1w1r.line1006.yml OUT OF MEMORY 166.88 140.06 None divinefifo-bug_1w1r.line1017.yml OUT OF MEMORY 237.82 194.57 None divinefifo-bug_1w1r.line1018.yml OUT OF MEMORY 131.32 104.09 None divinefifo-bug_1w1r.line1027.yml OUT OF MEMORY 103.81 76.56 None divinefifo-bug_1w1r.line1028.yml OUT OF MEMORY 113.04 80.41 None divinefifo-bug_1w1r.line1037.yml OUT OF MEMORY 206.72 166.59 None divinefifo-bug_1w1r.line1038.yml OUT OF MEMORY 67.92 45.77 None divinefifo-bug_1w1r.line1047.yml OUT OF MEMORY 104.80 72.06 None divinefifo-bug_1w1r.line1048.yml OUT OF MEMORY 123.36 84.10 None divinefifo-bug_1w1r.line1075.yml OUT OF MEMORY 75.21 54.36 None divinefifo-bug_1w1r.line1076.yml OUT OF MEMORY 139.83 112.16 None divinefifo-bug_1w1r.line1085.yml OUT OF MEMORY 94.97 67.16 None divinefifo-bug_1w1r.line1086.yml OUT OF MEMORY 264.60 199.45 None divinefifo-bug_1w1r.line1095.yml OUT OF MEMORY 70.20 46.64 None divinefifo-bug_1w1r.line1096.yml OUT OF MEMORY 119.42 91.93 None divinefifo-bug_1w1r.line1113.yml OUT OF MEMORY 184.12 157.19 None divinefifo-bug_1w1r.line1114.yml OUT OF MEMORY 64.84 42.01 None divinefifo-bug_1w1r.line1125.yml OUT OF MEMORY 160.78 120.51 None divinefifo-bug_1w1r.line1126.yml OUT OF MEMORY 107.14 78.38 None divinefifo-bug_1w1r.line1135.yml OUT OF MEMORY 82.39 54.41 None divinefifo-bug_1w1r.line1136.yml OUT OF MEMORY 291.68 203.41 None divinefifo-bug_1w1r.line1146.yml OUT OF MEMORY 109.92 71.78 None divinefifo-bug_1w1r.line1147.yml OUT OF MEMORY 98.16 58.60 None divinefifo-bug_1w1r.line1157.yml OUT OF MEMORY 112.34 87.53 None divinefifo-bug_1w1r.line1158.yml OUT OF MEMORY 69.92 46.09 None divinefifo-bug_1w1r.line1169.yml OUT OF MEMORY 153.40 119.71 None divinefifo-bug_1w1r.line1170.yml OUT OF MEMORY 244.00 182.23 None divinefifo-bug_1w1r.line1171.yml OUT OF MEMORY 82.11 49.04 None divinefifo-bug_1w1r.line1187.yml OUT OF MEMORY 195.75 136.81 None divinefifo-bug_1w1r.line1188.yml OUT OF MEMORY 113.80 72.29 None divinefifo-bug_1w1r.line1197.yml TIMEOUT 900.65 776.36 None divinefifo-bug_1w1r.line1198.yml OUT OF MEMORY 286.02 192.77 None divinefifo-bug_1w1r.line1214.yml OUT OF MEMORY 490.10 359.95 None divinefifo-bug_1w1r.line1215.yml false(unreach-call) 857.86 655.24 None divinefifo-bug_1w1r.line1237.yml TIMEOUT 900.74 812.97 None divinefifo-bug_1w1r.line1238.yml TIMEOUT 900.52 715.56 None divinefifo-bug_1w1r.line1247.yml OUT OF MEMORY 106.72 84.66 None divinefifo-bug_1w1r.line1248.yml TIMEOUT 900.47 739.30 None divinefifo-bug_1w1r.line1259.yml OUT OF MEMORY 139.16 107.37 None divinefifo-bug_1w1r.line1260.yml OUT OF MEMORY 111.24 83.05 None divinefifo-bug_1w1r.line1269.yml TIMEOUT 900.89 868.01 None divinefifo-bug_1w1r.line1270.yml TIMEOUT 901.06 849.77 None divinefifo-bug_1w1r.line1279.yml OUT OF MEMORY 224.77 184.62 None divinefifo-bug_1w1r.line1280.yml OUT OF MEMORY 203.47 174.51 None divinefifo-bug_1w1r.line1289.yml OUT OF MEMORY 158.33 105.19 None divinefifo-bug_1w1r.line1290.yml TIMEOUT 901.07 843.03 None divinefifo-bug_1w1r.line1317.yml OUT OF MEMORY 79.83 49.04 None divinefifo-bug_1w1r.line1318.yml OUT OF MEMORY 89.13 63.72 None divinefifo-bug_1w1r.line1327.yml OUT OF MEMORY 364.52 251.30 None divinefifo-bug_1w1r.line1328.yml OUT OF MEMORY 202.29 159.36 None divinefifo-bug_1w1r.line1339.yml OUT OF MEMORY 78.27 49.60 None divinefifo-bug_1w1r.line1340.yml OUT OF MEMORY 115.22 82.83 None divinefifo-bug_1w1r.line1351.yml OUT OF MEMORY 92.74 53.09 None divinefifo-bug_1w1r.line1352.yml OUT OF MEMORY 163.90 130.37 None divinefifo-bug_1w1r.line1361.yml OUT OF MEMORY 154.20 112.43 None divinefifo-bug_1w1r.line1362.yml OUT OF MEMORY 450.03 345.93 None divinefifo-bug_1w1r.line1371.yml OUT OF MEMORY 87.82 54.43 None divinefifo-bug_1w1r.line1372.yml OUT OF MEMORY 87.72 68.18 None divinefifo-bug_1w1r.line1385.yml OUT OF MEMORY 86.80 50.20 None divinefifo-bug_1w1r.line1386.yml OUT OF MEMORY 92.55 72.54 None divinefifo-bug_1w1r.line1395.yml OUT OF MEMORY 96.91 68.93 None divinefifo-bug_1w1r.line1396.yml false(unreach-call) 587.26 453.67 None divinefifo-bug_1w1r.line1412.yml OUT OF MEMORY 72.61 44.54 None divinefifo-bug_1w1r.line1413.yml OUT OF MEMORY 670.02 557.49 None divinefifo-bug_1w1r.line1424.yml OUT OF MEMORY 82.09 53.36 None divinefifo-bug_1w1r.line1425.yml OUT OF MEMORY 93.12 72.38 None divinefifo-bug_1w1r.line1434.yml OUT OF MEMORY 89.59 60.17 None divinefifo-bug_1w1r.line1435.yml OUT OF MEMORY 79.98 53.20 None divinefifo-bug_1w1r.line1445.yml OUT OF MEMORY 144.57 96.49 None divinefifo-bug_1w1r.line1446.yml OUT OF MEMORY 89.40 60.27 None divinefifo-bug_1w1r.line1456.yml OUT OF MEMORY 154.73 116.64 None divinefifo-bug_1w1r.line1457.yml OUT OF MEMORY 78.93 61.01 None divinefifo-bug_1w1r.line1468.yml TIMEOUT 900.69 729.79 None divinefifo-bug_1w1r.line1469.yml TIMEOUT 905.49 847.30 None divinefifo-bug_1w1r.line1470.yml OUT OF MEMORY 90.50 54.09 None divinefifo-bug_1w1r.line1490.yml TIMEOUT 900.32 849.42 None divinefifo-bug_1w1r.line1491.yml OUT OF MEMORY 78.13 59.74 None divinefifo-bug_1w1r.line1500.yml OUT OF MEMORY 105.40 69.96 None divinefifo-bug_1w1r.line1501.yml TIMEOUT 901.49 750.19 None divinefifo-bug_1w1r.line1512.yml OUT OF MEMORY 86.11 57.62 None divinefifo-bug_1w1r.line1513.yml OUT OF MEMORY 168.08 133.64 None divinefifo-bug_1w1r.line1522.yml TIMEOUT 900.91 857.74 None divinefifo-bug_1w1r.line1523.yml TIMEOUT 901.09 709.65 None divinefifo-bug_1w1r.line1532.yml OUT OF MEMORY 80.67 54.69 None divinefifo-bug_1w1r.line1533.yml OUT OF MEMORY 183.72 151.05 None divinefifo-bug_1w1r.line1555.yml OUT OF MEMORY 69.58 40.74 None divinefifo-bug_1w1r.line1556.yml OUT OF MEMORY 142.59 108.74 None divinefifo-bug_1w1r.line1567.yml OUT OF MEMORY 207.86 149.34 None divinefifo-bug_1w1r.line1568.yml OUT OF MEMORY 139.13 108.04 None divinefifo-bug_1w1r.line1577.yml OUT OF MEMORY 104.47 66.75 None divinefifo-bug_1w1r.line1578.yml false(unreach-call) 419.36 385.08 None divinefifo-bug_1w1r.line1588.yml OUT OF MEMORY 122.32 83.71 None divinefifo-bug_1w1r.line1589.yml OUT OF MEMORY 206.42 166.02 None divinefifo-bug_1w1r.line1599.yml OUT OF MEMORY 434.07 336.34 None divinefifo-bug_1w1r.line1600.yml OUT OF MEMORY 113.81 84.27 None divinefifo-bug_1w1r.line1611.yml TIMEOUT 900.73 780.27 None divinefifo-bug_1w1r.line1612.yml TIMEOUT 900.63 745.41 None divinefifo-bug_1w1r.line1613.yml OUT OF MEMORY 250.31 170.11 None divinefifo-bug_1w1r.line1648.yml OUT OF MEMORY 88.41 59.42 None divinefifo-bug_1w1r.line1649.yml OUT OF MEMORY 74.53 45.74 None divinefifo-bug_1w1r.line1658.yml OUT OF MEMORY 80.70 54.55 None divinefifo-bug_1w1r.line1659.yml OUT OF MEMORY 114.25 68.97 None divinefifo-bug_1w1r.line1670.yml OUT OF MEMORY 93.57 62.30 None divinefifo-bug_1w1r.line1671.yml OUT OF MEMORY 73.95 45.69 None divinefifo-bug_1w1r.line1680.yml OUT OF MEMORY 63.57 44.95 None divinefifo-bug_1w1r.line1681.yml OUT OF MEMORY 94.76 56.54 None divinefifo-bug_1w1r.line1690.yml OUT OF MEMORY 101.99 69.39 None divinefifo-bug_1w1r.line1691.yml OUT OF MEMORY 102.25 66.25 None divinefifo-bug_1w1r.line1700.yml OUT OF MEMORY 85.73 70.16 None divinefifo-bug_1w1r.line1701.yml OUT OF MEMORY 130.37 85.57 None divinefifo-bug_1w1r.line1728.yml OUT OF MEMORY 78.39 52.24 None divinefifo-bug_1w1r.line1729.yml OUT OF MEMORY 79.21 52.82 None divinefifo-bug_1w1r.line1745.yml OUT OF MEMORY 61.28 60.95 None divinefifo-bug_1w1r.line1746.yml OUT OF MEMORY 139.03 94.55 None divinefifo-bug_1w1r.line1755.yml OUT OF MEMORY 65.61 46.48 None divinefifo-bug_1w1r.line1756.yml OUT OF MEMORY 67.20 42.21 None divinefifo-bug_1w1r.line1767.yml OUT OF MEMORY 77.14 64.09 None divinefifo-bug_1w1r.line1768.yml OUT OF MEMORY 52.61 34.89 None divinefifo-bug_1w1r.line1777.yml OUT OF MEMORY 114.89 68.74 None divinefifo-bug_1w1r.line1778.yml OUT OF MEMORY 143.45 91.01 None divinefifo-bug_1w1r.line1787.yml OUT OF MEMORY 77.59 72.83 None divinefifo-bug_1w1r.line1788.yml OUT OF MEMORY 57.00 34.80 None divinefifo-bug_1w1r.line1797.yml OUT OF MEMORY 66.28 49.89 None divinefifo-bug_1w1r.line1798.yml OUT OF MEMORY 172.59 124.00 None divinefifo-bug_1w1r.line1833.yml OUT OF MEMORY 83.38 58.64 None divinefifo-bug_1w1r.line1834.yml OUT OF MEMORY 139.58 90.85 None divinefifo-bug_1w1r.line1843.yml OUT OF MEMORY 105.40 75.87 None divinefifo-bug_1w1r.line1844.yml OUT OF MEMORY 81.41 49.83 None divinefifo-bug_1w1r.line1861.yml OUT OF MEMORY 41.75 34.07 None divinefifo-bug_1w1r.line1862.yml OUT OF MEMORY 80.71 50.91 None divinefifo-bug_1w1r.line1871.yml OUT OF MEMORY 75.68 46.69 None divinefifo-bug_1w1r.line1872.yml OUT OF MEMORY 67.86 47.91 None divinefifo-bug_1w1r.line1887.yml OUT OF MEMORY 73.84 48.88 None divinefifo-bug_1w1r.line1888.yml OUT OF MEMORY 93.12 58.11 None divinefifo-bug_1w1r.line1895.yml OUT OF MEMORY 192.60 115.20 None divinefifo-bug_1w1r.line1896.yml OUT OF MEMORY 85.99 54.76 None divinefifo-bug_1w1r.line1897.yml OUT OF MEMORY 58.72 36.94 None divinefifo-bug_1w1r.line1908.yml OUT OF MEMORY 103.99 65.34 None divinefifo-bug_1w1r.line1909.yml OUT OF MEMORY 95.78 59.10 None divinefifo-bug_1w1r.line1918.yml OUT OF MEMORY 68.45 49.11 None divinefifo-bug_1w1r.line1919.yml OUT OF MEMORY 119.27 81.36 None divinefifo-bug_1w1r.line1926.yml OUT OF MEMORY 99.76 78.94 None divinefifo-bug_1w1r.line1927.yml OUT OF MEMORY 122.03 78.76 None divinefifo-bug_1w1r.line1928.yml OUT OF MEMORY 121.80 74.60 None divinefifo-bug_1w1r.line286.yml OUT OF MEMORY 78.49 54.87 None divinefifo-bug_1w1r.line287.yml true 53.62 34.97 None divinefifo-bug_1w1r.line296.yml OUT OF MEMORY 168.88 130.90 None divinefifo-bug_1w1r.line297.yml OUT OF MEMORY 455.25 408.75 None divinefifo-bug_1w1r.line306.yml OUT OF MEMORY 68.59 47.65 None divinefifo-bug_1w1r.line307.yml true 53.48 44.02 None divinefifo-bug_1w1r.line339.yml OUT OF MEMORY 73.27 49.06 None divinefifo-bug_1w1r.line340.yml true 35.59 23.73 None divinefifo-bug_1w1r.line349.yml OUT OF MEMORY 118.03 66.10 None divinefifo-bug_1w1r.line350.yml true 47.55 33.59 None divinefifo-bug_1w1r.line359.yml OUT OF MEMORY 351.43 264.19 None divinefifo-bug_1w1r.line360.yml true 54.19 34.50 None divinefifo-bug_1w1r.line380.yml OUT OF MEMORY 73.44 51.50 None divinefifo-bug_1w1r.line381.yml true 139.97 82.33 None divinefifo-bug_1w1r.line393.yml OUT OF MEMORY 120.17 84.17 None divinefifo-bug_1w1r.line394.yml OUT OF MEMORY 194.28 154.85 None divinefifo-bug_1w1r.line404.yml TIMEOUT 901.53 852.75 None divinefifo-bug_1w1r.line405.yml OUT OF MEMORY 290.43 218.92 None divinefifo-bug_1w1r.line414.yml OUT OF MEMORY 135.57 108.95 None divinefifo-bug_1w1r.line415.yml true 61.44 39.51 None divinefifo-bug_1w1r.line426.yml OUT OF MEMORY 148.31 119.05 None divinefifo-bug_1w1r.line427.yml OUT OF MEMORY 85.30 58.69 None divinefifo-bug_1w1r.line437.yml TIMEOUT 900.92 721.54 None divinefifo-bug_1w1r.line438.yml OUT OF MEMORY 84.93 57.20 None divinefifo-bug_1w1r.line449.yml TIMEOUT 900.64 811.45 None divinefifo-bug_1w1r.line450.yml true 38.39 26.37 None divinefifo-bug_1w1r.line460.yml ERROR: EXCEPTION 40.53 23.34 None divinefifo-bug_1w1r.line461.yml TIMEOUT 901.31 838.27 None divinefifo-bug_1w1r.line471.yml OUT OF MEMORY 91.73 55.80 None divinefifo-bug_1w1r.line472.yml true 54.95 50.32 None divinefifo-bug_1w1r.line692.yml true 9.00 5.70 None divinefifo-bug_1w1r.line693.yml true 9.36 5.54 None divinefifo-bug_1w1r.line702.yml true 8.00 4.94 None divinefifo-bug_1w1r.line703.yml true 9.70 7.45 None divinefifo-bug_1w1r.line712.yml true 8.13 5.13 None divinefifo-bug_1w1r.line713.yml true 8.62 5.30 None divinefifo-bug_1w1r.line727.yml true 9.81 8.65 None divinefifo-bug_1w1r.line728.yml true 9.73 5.99 None divinefifo-bug_1w1r.line737.yml true 7.84 5.54 None divinefifo-bug_1w1r.line738.yml true 9.90 8.79 None divinefifo-bug_1w1r.line753.yml true 8.79 5.39 None divinefifo-bug_1w1r.line754.yml true 8.51 5.87 None divinefifo-bug_1w1r.line763.yml true 8.06 7.78 None divinefifo-bug_1w1r.line764.yml true 8.19 5.18 None divinefifo-bug_1w1r.line775.yml true 9.27 5.40 None divinefifo-bug_1w1r.line776.yml true 8.65 5.76 None divinefifo-bug_1w1r.line785.yml true 11.19 9.77 None divinefifo-bug_1w1r.line786.yml true 9.72 6.22 None divinefifo-bug_1w1r.line795.yml true 7.54 6.76 None divinefifo-bug_1w1r.line796.yml true 9.24 5.68 None divinefifo-bug_1w1r.line805.yml true 8.22 5.42 None divinefifo-bug_1w1r.line806.yml true 11.31 7.39 None divinefifo-bug_1w1r.line855.yml true 8.33 9.11 None divinefifo-bug_1w1r.line856.yml true 8.25 5.37 None divinefifo-bug_1w1r.line889.yml OUT OF MEMORY 84.18 53.57 None divinefifo-bug_1w1r.line890.yml OUT OF MEMORY 86.26 52.16 None divinefifo-bug_1w1r.line899.yml OUT OF MEMORY 67.22 43.87 None divinefifo-bug_1w1r.line900.yml OUT OF MEMORY 76.87 46.70 None divinefifo-bug_1w1r.line911.yml OUT OF MEMORY 67.90 41.63 None divinefifo-bug_1w1r.line912.yml OUT OF MEMORY 68.32 41.65 None divinefifo-bug_1w1r.line921.yml OUT OF MEMORY 67.37 45.10 None divinefifo-bug_1w1r.line922.yml OUT OF MEMORY 150.00 99.28 None divinefifo-bug_1w1r.line931.yml OUT OF MEMORY 72.58 45.59 None divinefifo-bug_1w1r.line932.yml OUT OF MEMORY 71.22 44.50 None divinefifo-bug_1w1r.line941.yml OUT OF MEMORY 84.97 50.91 None divinefifo-bug_1w1r.line942.yml OUT OF MEMORY 123.12 79.87 None divinefifo-bug_1w1r.line976.yml OUT OF MEMORY 68.42 44.09 None divinefifo-bug_1w1r.line977.yml OUT OF MEMORY 126.28 112.69 None divinefifo-bug_1w1r.line995.yml OUT OF MEMORY 98.13 64.54 None divinefifo-bug_1w1r.line996.yml OUT OF MEMORY 137.06 108.05 None divinefifo_1w1r.line472.yml true 48.72 36.21 None divinefifo_1w1r.line689.yml true 7.43 4.79 None divinefifo_1w1r.line690.yml true 7.80 4.96 None divinefifo_1w1r.line699.yml true 7.13 4.72 None divinefifo_1w1r.line700.yml true 7.22 4.75 None divinefifo_1w1r.line709.yml true 7.47 4.71 None divinefifo_1w1r.line710.yml true 8.25 5.24 None divinefifo_1w1r.line724.yml true 7.77 4.96 None divinefifo_1w1r.line725.yml true 8.12 5.04 None divinefifo_1w1r.line734.yml true 7.28 4.97 None divinefifo_1w1r.line735.yml true 7.70 4.92 None divinefifo_1w1r.line750.yml true 7.92 4.89 None divinefifo_1w1r.line751.yml true 7.82 5.07 None divinefifo_1w1r.line760.yml true 7.79 4.89 None divinefifo_1w1r.line761.yml true 8.18 5.05 None divinefifo_1w1r.line772.yml true 9.48 5.57 None divinefifo_1w1r.line773.yml true 8.16 5.07 None divinefifo_1w1r.line782.yml true 8.87 5.43 None divinefifo_1w1r.line783.yml true 9.87 5.89 None divinefifo_1w1r.line792.yml true 7.56 4.89 None divinefifo_1w1r.line793.yml true 9.63 5.78 None divinefifo_1w1r.line802.yml true 7.98 5.07 None divinefifo_1w1r.line803.yml true 10.56 6.56 None divinefifo_1w1r.line852.yml true 8.30 5.08 None divinefifo_1w1r.line853.yml true 8.09 5.07 None divinefifo_1w1r.line886.yml OUT OF MEMORY 80.27 49.36 None divinefifo_1w1r.line887.yml OUT OF MEMORY 87.25 62.62 None divinefifo_1w1r.line896.yml OUT OF MEMORY 71.18 44.73 None divinefifo_1w1r.line897.yml OUT OF MEMORY 90.96 54.04 None divinefifo_1w1r.line908.yml OUT OF MEMORY 74.55 46.15 None divinefifo_1w1r.line909.yml OUT OF MEMORY 65.96 40.37 None divinefifo_1w1r.line918.yml OUT OF MEMORY 96.14 77.92 None divinefifo_1w1r.line919.yml OUT OF MEMORY 105.18 99.04 None divinefifo_1w1r.line928.yml OUT OF MEMORY 82.55 54.02 None divinefifo_1w1r.line929.yml OUT OF MEMORY 74.85 49.81 None divinefifo_1w1r.line938.yml OUT OF MEMORY 75.34 49.36 None divinefifo_1w1r.line939.yml OUT OF MEMORY 302.88 223.64 None divinefifo_1w1r.line973.yml OUT OF MEMORY 85.81 54.74 None divinefifo_1w1r.line974.yml OUT OF MEMORY 133.58 109.29 None divinefifo_1w1r.line992.yml OUT OF MEMORY 104.89 70.04 None divinefifo_1w1r.line993.yml OUT OF MEMORY 126.21 110.10 None elimination_backoff_stack.line10005.yml OUT OF MEMORY 455.15 317.72 None elimination_backoff_stack.line10006.yml OUT OF MEMORY 308.40 172.22 None elimination_backoff_stack.line10016.yml OUT OF MEMORY 305.72 169.60 None elimination_backoff_stack.line10017.yml OUT OF MEMORY 414.63 230.34 None elimination_backoff_stack.line10026.yml OUT OF MEMORY 51.62 32.51 None elimination_backoff_stack.line10027.yml OUT OF MEMORY 83.97 49.66 None elimination_backoff_stack.line1005.yml OUT OF MEMORY 602.23 481.30 None elimination_backoff_stack.line1006.yml OUT OF MEMORY 305.68 173.99 None elimination_backoff_stack.line10061.yml OUT OF MEMORY 470.60 286.34 None elimination_backoff_stack.line10062.yml OUT OF MEMORY 740.40 509.96 None elimination_backoff_stack.line10077.yml OUT OF MEMORY 346.41 194.10 None elimination_backoff_stack.line10078.yml OUT OF MEMORY 393.06 215.21 None elimination_backoff_stack.line10087.yml OUT OF MEMORY 381.09 213.33 None elimination_backoff_stack.line10088.yml OUT OF MEMORY 60.08 37.66 None elimination_backoff_stack.line10114.yml OUT OF MEMORY 65.65 40.07 None elimination_backoff_stack.line10115.yml OUT OF MEMORY 58.23 36.87 None elimination_backoff_stack.line10127.yml OUT OF MEMORY 177.60 103.88 None elimination_backoff_stack.line10128.yml OUT OF MEMORY 444.70 241.92 None elimination_backoff_stack.line10136.yml OUT OF MEMORY 278.13 157.10 None elimination_backoff_stack.line10137.yml OUT OF MEMORY 323.41 182.99 None elimination_backoff_stack.line1015.yml OUT OF MEMORY 554.52 360.57 None elimination_backoff_stack.line10158.yml OUT OF MEMORY 623.78 340.84 None elimination_backoff_stack.line10159.yml OUT OF MEMORY 591.76 346.92 None elimination_backoff_stack.line1016.yml OUT OF MEMORY 536.03 286.38 None elimination_backoff_stack.line10171.yml OUT OF MEMORY 674.41 367.00 None elimination_backoff_stack.line10172.yml OUT OF MEMORY 742.94 398.55 None elimination_backoff_stack.line10204.yml OUT OF MEMORY 427.81 236.34 None elimination_backoff_stack.line10205.yml OUT OF MEMORY 63.80 39.39 None elimination_backoff_stack.line10218.yml OUT OF MEMORY 113.01 67.05 None elimination_backoff_stack.line10219.yml OUT OF MEMORY 692.59 395.32 None elimination_backoff_stack.line10232.yml OUT OF MEMORY 90.46 55.21 None elimination_backoff_stack.line10233.yml OUT OF MEMORY 105.34 64.84 None elimination_backoff_stack.line10242.yml OUT OF MEMORY 653.63 392.24 None elimination_backoff_stack.line10243.yml OUT OF MEMORY 497.49 271.23 None elimination_backoff_stack.line10270.yml OUT OF MEMORY 461.46 254.89 None elimination_backoff_stack.line10271.yml OUT OF MEMORY 648.05 353.84 None elimination_backoff_stack.line10283.yml OUT OF MEMORY 372.53 209.06 None elimination_backoff_stack.line10284.yml OUT OF MEMORY 717.37 387.20 None elimination_backoff_stack.line10317.yml OUT OF MEMORY 73.96 44.57 None elimination_backoff_stack.line10318.yml OUT OF MEMORY 74.83 43.41 None elimination_backoff_stack.line10329.yml OUT OF MEMORY 273.79 154.91 None elimination_backoff_stack.line10330.yml OUT OF MEMORY 59.59 35.51 None elimination_backoff_stack.line10348.yml OUT OF MEMORY 54.82 33.99 None elimination_backoff_stack.line10349.yml OUT OF MEMORY 65.82 39.60 None -------------------------------------------------------------------------------------------------------- Run set 2 done 57646.49 3198.47 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk25 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 -------------------------------------------------------------------------------------------------------- divinefifo-bug_1w1r.line1005.yml OUT OF MEMORY 63.75 44.83 None divinefifo-bug_1w1r.line1006.yml OUT OF MEMORY 69.91 52.92 None divinefifo-bug_1w1r.line1017.yml OUT OF MEMORY 399.30 310.11 None divinefifo-bug_1w1r.line1018.yml OUT OF MEMORY 97.61 68.95 None divinefifo-bug_1w1r.line1027.yml OUT OF MEMORY 66.02 46.86 None divinefifo-bug_1w1r.line1028.yml OUT OF MEMORY 75.33 55.12 None divinefifo-bug_1w1r.line1037.yml OUT OF MEMORY 69.14 46.05 None divinefifo-bug_1w1r.line1038.yml OUT OF MEMORY 68.60 46.51 None divinefifo-bug_1w1r.line1047.yml OUT OF MEMORY 80.33 51.65 None divinefifo-bug_1w1r.line1048.yml OUT OF MEMORY 79.43 52.86 None divinefifo-bug_1w1r.line1075.yml OUT OF MEMORY 324.14 257.64 None divinefifo-bug_1w1r.line1076.yml OUT OF MEMORY 66.81 48.16 None divinefifo-bug_1w1r.line1085.yml OUT OF MEMORY 70.54 49.05 None divinefifo-bug_1w1r.line1086.yml OUT OF MEMORY 198.31 145.91 None divinefifo-bug_1w1r.line1095.yml OUT OF MEMORY 70.69 49.63 None divinefifo-bug_1w1r.line1096.yml OUT OF MEMORY 87.51 58.23 None divinefifo-bug_1w1r.line1113.yml OUT OF MEMORY 57.09 36.97 None divinefifo-bug_1w1r.line1114.yml OUT OF MEMORY 143.04 93.06 None divinefifo-bug_1w1r.line1125.yml OUT OF MEMORY 83.62 59.15 None divinefifo-bug_1w1r.line1126.yml OUT OF MEMORY 88.48 57.29 None divinefifo-bug_1w1r.line1135.yml OUT OF MEMORY 134.11 88.22 None divinefifo-bug_1w1r.line1136.yml OUT OF MEMORY 251.56 197.29 None divinefifo-bug_1w1r.line1146.yml OUT OF MEMORY 66.10 41.26 None divinefifo-bug_1w1r.line1147.yml OUT OF MEMORY 61.63 40.69 None divinefifo-bug_1w1r.line1157.yml OUT OF MEMORY 71.90 47.19 None divinefifo-bug_1w1r.line1158.yml OUT OF MEMORY 99.67 62.02 None divinefifo-bug_1w1r.line1169.yml OUT OF MEMORY 428.77 331.33 None divinefifo-bug_1w1r.line1170.yml OUT OF MEMORY 395.75 338.98 None divinefifo-bug_1w1r.line1171.yml OUT OF MEMORY 83.06 52.91 None divinefifo-bug_1w1r.line1187.yml OUT OF MEMORY 100.50 62.52 None divinefifo-bug_1w1r.line1188.yml OUT OF MEMORY 109.13 77.48 None divinefifo-bug_1w1r.line1197.yml OUT OF MEMORY 99.77 70.82 None divinefifo-bug_1w1r.line1198.yml OUT OF MEMORY 567.27 432.28 None divinefifo-bug_1w1r.line1214.yml OUT OF MEMORY 591.16 519.75 None divinefifo-bug_1w1r.line1215.yml OUT OF MEMORY 548.78 412.87 None divinefifo-bug_1w1r.line1237.yml TIMEOUT 901.31 706.97 None divinefifo-bug_1w1r.line1238.yml TIMEOUT 900.62 742.70 None divinefifo-bug_1w1r.line1247.yml OUT OF MEMORY 140.23 114.78 None divinefifo-bug_1w1r.line1248.yml TIMEOUT 901.43 750.98 None divinefifo-bug_1w1r.line1259.yml OUT OF MEMORY 150.67 121.25 None divinefifo-bug_1w1r.line1260.yml OUT OF MEMORY 151.66 121.41 None divinefifo-bug_1w1r.line1269.yml TIMEOUT 900.65 839.87 None divinefifo-bug_1w1r.line1270.yml TIMEOUT 902.76 838.10 None divinefifo-bug_1w1r.line1279.yml OUT OF MEMORY 125.88 101.62 None divinefifo-bug_1w1r.line1280.yml OUT OF MEMORY 144.97 116.15 None divinefifo-bug_1w1r.line1289.yml OUT OF MEMORY 120.38 81.48 None divinefifo-bug_1w1r.line1290.yml TIMEOUT 901.34 703.04 None divinefifo-bug_1w1r.line1317.yml OUT OF MEMORY 71.86 49.73 None divinefifo-bug_1w1r.line1318.yml OUT OF MEMORY 140.05 108.52 None divinefifo-bug_1w1r.line1327.yml OUT OF MEMORY 137.81 95.93 None divinefifo-bug_1w1r.line1328.yml OUT OF MEMORY 135.18 94.31 None divinefifo-bug_1w1r.line1339.yml OUT OF MEMORY 64.56 43.66 None divinefifo-bug_1w1r.line1340.yml OUT OF MEMORY 70.81 48.41 None divinefifo-bug_1w1r.line1351.yml OUT OF MEMORY 89.06 55.59 None divinefifo-bug_1w1r.line1352.yml OUT OF MEMORY 147.38 113.19 None divinefifo-bug_1w1r.line1361.yml OUT OF MEMORY 142.30 113.04 None divinefifo-bug_1w1r.line1362.yml OUT OF MEMORY 328.10 288.01 None divinefifo-bug_1w1r.line1371.yml OUT OF MEMORY 66.84 42.52 None divinefifo-bug_1w1r.line1372.yml OUT OF MEMORY 152.45 118.47 None divinefifo-bug_1w1r.line1385.yml OUT OF MEMORY 73.62 45.71 None divinefifo-bug_1w1r.line1386.yml OUT OF MEMORY 149.53 110.57 None divinefifo-bug_1w1r.line1395.yml OUT OF MEMORY 64.83 45.51 None divinefifo-bug_1w1r.line1396.yml false(unreach-call) 775.92 632.98 None divinefifo-bug_1w1r.line1412.yml OUT OF MEMORY 83.43 49.33 None divinefifo-bug_1w1r.line1413.yml TIMEOUT 900.96 866.39 None divinefifo-bug_1w1r.line1424.yml OUT OF MEMORY 73.07 42.83 None divinefifo-bug_1w1r.line1425.yml TIMEOUT 900.72 818.93 None divinefifo-bug_1w1r.line1434.yml OUT OF MEMORY 54.03 37.59 None divinefifo-bug_1w1r.line1435.yml OUT OF MEMORY 63.65 45.33 None divinefifo-bug_1w1r.line1445.yml OUT OF MEMORY 150.24 111.96 None divinefifo-bug_1w1r.line1446.yml OUT OF MEMORY 96.61 58.19 None divinefifo-bug_1w1r.line1456.yml OUT OF MEMORY 168.39 125.43 None divinefifo-bug_1w1r.line1457.yml OUT OF MEMORY 497.14 436.07 None divinefifo-bug_1w1r.line1468.yml TIMEOUT 900.95 712.44 None divinefifo-bug_1w1r.line1469.yml TIMEOUT 901.10 829.20 None divinefifo-bug_1w1r.line1470.yml OUT OF MEMORY 85.49 58.32 None divinefifo-bug_1w1r.line1490.yml TIMEOUT 901.35 831.67 None divinefifo-bug_1w1r.line1491.yml OUT OF MEMORY 138.92 100.67 None divinefifo-bug_1w1r.line1500.yml OUT OF MEMORY 56.63 38.58 None divinefifo-bug_1w1r.line1501.yml OUT OF MEMORY 209.31 150.27 None divinefifo-bug_1w1r.line1512.yml OUT OF MEMORY 60.01 41.16 None divinefifo-bug_1w1r.line1513.yml OUT OF MEMORY 199.37 145.25 None divinefifo-bug_1w1r.line1522.yml TIMEOUT 900.60 844.59 None divinefifo-bug_1w1r.line1523.yml TIMEOUT 901.09 711.92 None divinefifo-bug_1w1r.line1532.yml OUT OF MEMORY 61.67 39.75 None divinefifo-bug_1w1r.line1533.yml OUT OF MEMORY 248.08 192.10 None divinefifo-bug_1w1r.line1555.yml OUT OF MEMORY 85.43 49.29 None divinefifo-bug_1w1r.line1556.yml OUT OF MEMORY 107.31 70.35 None divinefifo-bug_1w1r.line1567.yml OUT OF MEMORY 76.53 44.16 None divinefifo-bug_1w1r.line1568.yml OUT OF MEMORY 129.54 92.09 None divinefifo-bug_1w1r.line1577.yml OUT OF MEMORY 256.21 148.95 None divinefifo-bug_1w1r.line1578.yml false(unreach-call) 603.15 553.87 None divinefifo-bug_1w1r.line1588.yml OUT OF MEMORY 226.19 160.26 None divinefifo-bug_1w1r.line1589.yml OUT OF MEMORY 246.03 207.01 None divinefifo-bug_1w1r.line1599.yml OUT OF MEMORY 626.41 456.71 None divinefifo-bug_1w1r.line1600.yml OUT OF MEMORY 66.44 44.00 None divinefifo-bug_1w1r.line1611.yml TIMEOUT 900.41 743.09 None divinefifo-bug_1w1r.line1612.yml TIMEOUT 900.66 715.12 None divinefifo-bug_1w1r.line1613.yml ERROR: EXCEPTION 173.57 124.68 None divinefifo-bug_1w1r.line1648.yml OUT OF MEMORY 61.75 37.41 None divinefifo-bug_1w1r.line1649.yml OUT OF MEMORY 89.04 52.99 None divinefifo-bug_1w1r.line1658.yml OUT OF MEMORY 60.00 39.19 None divinefifo-bug_1w1r.line1659.yml OUT OF MEMORY 67.88 42.55 None divinefifo-bug_1w1r.line1670.yml OUT OF MEMORY 95.71 58.35 None divinefifo-bug_1w1r.line1671.yml OUT OF MEMORY 64.61 41.13 None divinefifo-bug_1w1r.line1680.yml OUT OF MEMORY 71.42 46.66 None divinefifo-bug_1w1r.line1681.yml OUT OF MEMORY 79.50 49.73 None divinefifo-bug_1w1r.line1690.yml OUT OF MEMORY 81.54 51.81 None divinefifo-bug_1w1r.line1691.yml OUT OF MEMORY 88.03 52.99 None divinefifo-bug_1w1r.line1700.yml OUT OF MEMORY 67.83 42.70 None divinefifo-bug_1w1r.line1701.yml OUT OF MEMORY 83.06 51.58 None divinefifo-bug_1w1r.line1728.yml OUT OF MEMORY 73.50 45.56 None divinefifo-bug_1w1r.line1729.yml OUT OF MEMORY 85.22 51.52 None divinefifo-bug_1w1r.line1745.yml OUT OF MEMORY 94.28 63.03 None divinefifo-bug_1w1r.line1746.yml OUT OF MEMORY 68.15 40.86 None divinefifo-bug_1w1r.line1755.yml OUT OF MEMORY 98.87 69.04 None divinefifo-bug_1w1r.line1756.yml OUT OF MEMORY 81.31 51.47 None divinefifo-bug_1w1r.line1767.yml OUT OF MEMORY 95.57 67.55 None divinefifo-bug_1w1r.line1768.yml OUT OF MEMORY 87.21 53.06 None divinefifo-bug_1w1r.line1777.yml OUT OF MEMORY 177.20 104.90 None divinefifo-bug_1w1r.line1778.yml OUT OF MEMORY 70.03 44.69 None divinefifo-bug_1w1r.line1787.yml OUT OF MEMORY 86.50 58.88 None divinefifo-bug_1w1r.line1788.yml OUT OF MEMORY 70.50 44.91 None divinefifo-bug_1w1r.line1797.yml OUT OF MEMORY 134.04 101.17 None divinefifo-bug_1w1r.line1798.yml OUT OF MEMORY 102.44 59.69 None divinefifo-bug_1w1r.line1833.yml OUT OF MEMORY 101.88 71.79 None divinefifo-bug_1w1r.line1834.yml OUT OF MEMORY 151.47 93.78 None divinefifo-bug_1w1r.line1843.yml OUT OF MEMORY 92.22 58.30 None divinefifo-bug_1w1r.line1844.yml OUT OF MEMORY 88.25 54.11 None divinefifo-bug_1w1r.line1861.yml OUT OF MEMORY 93.43 62.36 None divinefifo-bug_1w1r.line1862.yml OUT OF MEMORY 93.47 54.93 None divinefifo-bug_1w1r.line1871.yml OUT OF MEMORY 88.71 56.07 None divinefifo-bug_1w1r.line1872.yml OUT OF MEMORY 87.05 52.46 None divinefifo-bug_1w1r.line1887.yml OUT OF MEMORY 123.77 80.31 None divinefifo-bug_1w1r.line1888.yml OUT OF MEMORY 71.76 46.46 None divinefifo-bug_1w1r.line1895.yml OUT OF MEMORY 80.17 49.43 None divinefifo-bug_1w1r.line1896.yml OUT OF MEMORY 74.67 47.61 None divinefifo-bug_1w1r.line1897.yml OUT OF MEMORY 92.62 62.08 None divinefifo-bug_1w1r.line1908.yml OUT OF MEMORY 147.59 91.33 None divinefifo-bug_1w1r.line1909.yml OUT OF MEMORY 85.79 54.56 None divinefifo-bug_1w1r.line1918.yml OUT OF MEMORY 128.74 83.67 None divinefifo-bug_1w1r.line1919.yml OUT OF MEMORY 111.69 68.12 None divinefifo-bug_1w1r.line1926.yml OUT OF MEMORY 90.70 55.33 None divinefifo-bug_1w1r.line1927.yml OUT OF MEMORY 76.48 48.54 None divinefifo-bug_1w1r.line1928.yml OUT OF MEMORY 69.90 43.10 None divinefifo-bug_1w1r.line286.yml OUT OF MEMORY 60.78 37.35 None divinefifo-bug_1w1r.line287.yml true 101.87 77.87 None divinefifo-bug_1w1r.line296.yml OUT OF MEMORY 898.50 641.69 None divinefifo-bug_1w1r.line297.yml TIMEOUT 901.27 852.29 None divinefifo-bug_1w1r.line306.yml OUT OF MEMORY 111.06 73.04 None divinefifo-bug_1w1r.line307.yml true 90.68 69.57 None divinefifo-bug_1w1r.line339.yml OUT OF MEMORY 45.86 26.19 None divinefifo-bug_1w1r.line340.yml true 71.25 50.69 None divinefifo-bug_1w1r.line349.yml OUT OF MEMORY 95.06 60.36 None divinefifo-bug_1w1r.line350.yml true 105.13 78.28 None divinefifo-bug_1w1r.line359.yml OUT OF MEMORY 91.27 59.19 None divinefifo-bug_1w1r.line360.yml true 94.45 70.97 None divinefifo-bug_1w1r.line380.yml OUT OF MEMORY 175.01 112.91 None divinefifo-bug_1w1r.line381.yml true 265.01 164.57 None divinefifo-bug_1w1r.line393.yml TIMEOUT 901.56 823.83 None divinefifo-bug_1w1r.line394.yml OUT OF MEMORY 157.24 107.47 None divinefifo-bug_1w1r.line404.yml TIMEOUT 901.15 800.05 None divinefifo-bug_1w1r.line405.yml OUT OF MEMORY 185.73 128.22 None divinefifo-bug_1w1r.line414.yml OUT OF MEMORY 262.93 208.79 None divinefifo-bug_1w1r.line415.yml true 118.08 94.79 None divinefifo-bug_1w1r.line426.yml OUT OF MEMORY 234.41 185.53 None divinefifo-bug_1w1r.line427.yml true 186.80 157.19 None divinefifo-bug_1w1r.line437.yml TIMEOUT 900.92 732.13 None divinefifo-bug_1w1r.line438.yml OUT OF MEMORY 56.08 34.97 None divinefifo-bug_1w1r.line449.yml TIMEOUT 901.35 850.36 None divinefifo-bug_1w1r.line450.yml true 82.17 60.12 None divinefifo-bug_1w1r.line460.yml ERROR: EXCEPTION 76.78 53.94 None divinefifo-bug_1w1r.line461.yml TIMEOUT 901.23 755.77 None divinefifo-bug_1w1r.line471.yml OUT OF MEMORY 296.40 199.41 None divinefifo-bug_1w1r.line472.yml true 109.70 90.30 None divinefifo-bug_1w1r.line692.yml true 7.73 4.93 None divinefifo-bug_1w1r.line693.yml true 9.09 5.37 None divinefifo-bug_1w1r.line702.yml true 7.47 4.89 None divinefifo-bug_1w1r.line703.yml true 7.31 4.69 None divinefifo-bug_1w1r.line712.yml true 9.02 5.34 None divinefifo-bug_1w1r.line713.yml true 7.41 4.73 None divinefifo-bug_1w1r.line727.yml true 7.89 5.17 None divinefifo-bug_1w1r.line728.yml true 9.96 5.86 None divinefifo-bug_1w1r.line737.yml true 7.19 4.63 None divinefifo-bug_1w1r.line738.yml true 7.41 4.79 None divinefifo-bug_1w1r.line753.yml true 7.27 4.71 None divinefifo-bug_1w1r.line754.yml true 9.90 5.76 None divinefifo-bug_1w1r.line763.yml true 7.78 5.03 None divinefifo-bug_1w1r.line764.yml true 7.91 5.02 None divinefifo-bug_1w1r.line775.yml true 7.97 5.21 None divinefifo-bug_1w1r.line776.yml true 10.36 6.05 None divinefifo-bug_1w1r.line785.yml true 8.96 5.45 None divinefifo-bug_1w1r.line786.yml true 10.13 6.11 None divinefifo-bug_1w1r.line795.yml true 7.69 4.94 None divinefifo-bug_1w1r.line796.yml true 8.24 5.23 None divinefifo-bug_1w1r.line805.yml true 10.36 6.02 None divinefifo-bug_1w1r.line806.yml true 10.62 6.83 None divinefifo-bug_1w1r.line855.yml true 7.91 5.19 None divinefifo-bug_1w1r.line856.yml true 7.91 4.84 None divinefifo-bug_1w1r.line889.yml OUT OF MEMORY 53.36 35.89 None divinefifo-bug_1w1r.line890.yml OUT OF MEMORY 80.98 50.55 None divinefifo-bug_1w1r.line899.yml OUT OF MEMORY 65.73 42.99 None divinefifo-bug_1w1r.line900.yml OUT OF MEMORY 69.54 47.29 None divinefifo-bug_1w1r.line911.yml OUT OF MEMORY 50.31 33.70 None divinefifo-bug_1w1r.line912.yml OUT OF MEMORY 54.59 37.63 None divinefifo-bug_1w1r.line921.yml OUT OF MEMORY 66.52 42.45 None divinefifo-bug_1w1r.line922.yml OUT OF MEMORY 63.07 42.14 None divinefifo-bug_1w1r.line931.yml OUT OF MEMORY 57.17 39.49 None divinefifo-bug_1w1r.line932.yml OUT OF MEMORY 53.35 35.77 None divinefifo-bug_1w1r.line941.yml OUT OF MEMORY 88.00 53.66 None divinefifo-bug_1w1r.line942.yml OUT OF MEMORY 67.97 43.43 None divinefifo-bug_1w1r.line976.yml OUT OF MEMORY 46.84 30.99 None divinefifo-bug_1w1r.line977.yml OUT OF MEMORY 77.28 53.98 None divinefifo-bug_1w1r.line995.yml OUT OF MEMORY 54.48 35.02 None divinefifo-bug_1w1r.line996.yml OUT OF MEMORY 72.01 51.28 None divinefifo_1w1r.line472.yml true 107.17 87.54 None divinefifo_1w1r.line689.yml true 9.54 5.60 None divinefifo_1w1r.line690.yml true 7.79 5.21 None divinefifo_1w1r.line699.yml true 9.54 5.62 None divinefifo_1w1r.line700.yml true 7.32 4.69 None divinefifo_1w1r.line709.yml true 9.38 5.53 None divinefifo_1w1r.line710.yml true 7.85 5.14 None divinefifo_1w1r.line724.yml true 8.47 5.39 None divinefifo_1w1r.line725.yml true 10.52 6.13 None divinefifo_1w1r.line734.yml true 9.57 5.64 None divinefifo_1w1r.line735.yml true 7.69 4.99 None divinefifo_1w1r.line750.yml true 8.58 5.65 None divinefifo_1w1r.line751.yml true 10.19 5.90 None divinefifo_1w1r.line760.yml true 9.56 5.55 None divinefifo_1w1r.line761.yml true 8.25 5.24 None divinefifo_1w1r.line772.yml true 7.63 5.07 None divinefifo_1w1r.line773.yml true 7.95 4.90 None divinefifo_1w1r.line782.yml true 11.42 6.60 None divinefifo_1w1r.line783.yml true 9.83 6.07 None divinefifo_1w1r.line792.yml true 9.70 5.68 None divinefifo_1w1r.line793.yml true 8.09 5.25 None divinefifo_1w1r.line802.yml true 8.13 5.49 None divinefifo_1w1r.line803.yml true 11.19 6.72 None divinefifo_1w1r.line852.yml true 10.25 5.93 None divinefifo_1w1r.line853.yml true 8.44 5.39 None divinefifo_1w1r.line886.yml OUT OF MEMORY 68.57 43.96 None divinefifo_1w1r.line887.yml OUT OF MEMORY 67.47 44.58 None divinefifo_1w1r.line896.yml OUT OF MEMORY 62.46 42.43 None divinefifo_1w1r.line897.yml OUT OF MEMORY 63.65 41.90 None divinefifo_1w1r.line908.yml OUT OF MEMORY 54.28 35.38 None divinefifo_1w1r.line909.yml OUT OF MEMORY 62.60 39.28 None divinefifo_1w1r.line918.yml OUT OF MEMORY 53.75 36.96 None divinefifo_1w1r.line919.yml OUT OF MEMORY 56.93 37.19 None divinefifo_1w1r.line928.yml OUT OF MEMORY 67.76 42.22 None divinefifo_1w1r.line929.yml OUT OF MEMORY 65.69 40.30 None divinefifo_1w1r.line938.yml OUT OF MEMORY 72.30 46.13 None divinefifo_1w1r.line939.yml OUT OF MEMORY 70.65 46.54 None divinefifo_1w1r.line973.yml OUT OF MEMORY 52.24 32.85 None divinefifo_1w1r.line974.yml OUT OF MEMORY 67.54 48.23 None divinefifo_1w1r.line992.yml OUT OF MEMORY 46.23 29.35 None divinefifo_1w1r.line993.yml OUT OF MEMORY 66.48 45.68 None elimination_backoff_stack.line10005.yml TIMEOUT 915.93 472.07 None elimination_backoff_stack.line10006.yml OUT OF MEMORY 756.33 387.13 None elimination_backoff_stack.line10016.yml OUT OF MEMORY 545.67 283.38 None elimination_backoff_stack.line10017.yml OUT OF MEMORY 732.17 380.51 None elimination_backoff_stack.line10026.yml OUT OF MEMORY 204.45 108.83 None elimination_backoff_stack.line10027.yml OUT OF MEMORY 515.58 266.38 None elimination_backoff_stack.line1005.yml OUT OF MEMORY 446.58 231.46 None elimination_backoff_stack.line1006.yml OUT OF MEMORY 619.02 320.28 None elimination_backoff_stack.line10061.yml OUT OF MEMORY 587.42 303.86 None elimination_backoff_stack.line10062.yml OUT OF MEMORY 46.71 27.88 None elimination_backoff_stack.line10077.yml OUT OF MEMORY 315.20 166.84 None elimination_backoff_stack.line10078.yml OUT OF MEMORY 513.23 265.19 None elimination_backoff_stack.line10087.yml OUT OF MEMORY 886.57 456.70 None elimination_backoff_stack.line10088.yml OUT OF MEMORY 854.81 448.29 None elimination_backoff_stack.line10114.yml OUT OF MEMORY 841.15 432.85 None elimination_backoff_stack.line10115.yml TIMEOUT 912.44 472.50 None elimination_backoff_stack.line10127.yml TIMEOUT 921.27 480.05 None elimination_backoff_stack.line10128.yml OUT OF MEMORY 764.77 394.01 None elimination_backoff_stack.line10136.yml OUT OF MEMORY 847.18 432.54 None elimination_backoff_stack.line10137.yml OUT OF MEMORY 899.95 462.28 None elimination_backoff_stack.line1015.yml OUT OF MEMORY 803.14 411.91 None elimination_backoff_stack.line10158.yml OUT OF MEMORY 741.06 381.98 None elimination_backoff_stack.line10159.yml OUT OF MEMORY 717.47 369.27 None elimination_backoff_stack.line1016.yml TIMEOUT 917.19 475.26 None elimination_backoff_stack.line10171.yml OUT OF MEMORY 746.21 386.21 None elimination_backoff_stack.line10172.yml OUT OF MEMORY 567.58 291.96 None elimination_backoff_stack.line10204.yml OUT OF MEMORY 622.41 323.31 None elimination_backoff_stack.line10205.yml OUT OF MEMORY 746.89 396.21 None elimination_backoff_stack.line10218.yml OUT OF MEMORY 835.90 431.16 None elimination_backoff_stack.line10219.yml OUT OF MEMORY 869.65 445.79 None elimination_backoff_stack.line10232.yml OUT OF MEMORY 53.86 31.57 None elimination_backoff_stack.line10233.yml OUT OF MEMORY 167.92 89.23 None elimination_backoff_stack.line10242.yml OUT OF MEMORY 755.58 388.33 None elimination_backoff_stack.line10243.yml OUT OF MEMORY 834.05 427.73 None elimination_backoff_stack.line10270.yml OUT OF MEMORY 662.61 344.12 None elimination_backoff_stack.line10271.yml OUT OF MEMORY 830.46 428.40 None elimination_backoff_stack.line10283.yml OUT OF MEMORY 734.79 378.51 None elimination_backoff_stack.line10284.yml OUT OF MEMORY 510.14 262.13 None elimination_backoff_stack.line10317.yml TIMEOUT 911.56 470.16 None elimination_backoff_stack.line10318.yml OUT OF MEMORY 814.30 419.96 None elimination_backoff_stack.line10329.yml OUT OF MEMORY 865.91 442.02 None elimination_backoff_stack.line10330.yml OUT OF MEMORY 886.38 452.90 None elimination_backoff_stack.line10348.yml OUT OF MEMORY 786.95 402.06 None elimination_backoff_stack.line10349.yml OUT OF MEMORY 67.33 37.89 None -------------------------------------------------------------------------------------------------------- Run set 3 done 73367.39 3763.15 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk25 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk25 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk25 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk25 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk25 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk25 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk25 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk25 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk25 Run set 19 of 19: skipped Statistics: 900 Files correct: 176 correct true: 176 correct false: 0 incorrect: 8 incorrect true: 0 incorrect false: 8 unknown: 716 Score: 224 (max: 1800)