BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.single-assert-memsafety-chunk26, GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk26, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk26 date: Mon, 2022-10-24 13:32:21 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-chunk26 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 ---------------------------------------------------------------------------------------------------- chl-simpl-str-trans.wvr.line400.yml true 7.37 5.18 None chl-simpl-str-trans.wvr.line401.yml true 7.76 5.35 None chl-simpl-str-trans.wvr.line415.yml true 12.05 7.23 None chl-simpl-str-trans.wvr.line416.yml true 8.94 5.88 None chl-simpl-str-trans.wvr.line427.yml true 32.51 21.08 None chl-simpl-str-trans.wvr.line428.yml true 31.57 20.40 None chl-simpl-str-trans.wvr.line439.yml true 79.78 44.52 None chl-simpl-str-trans.wvr.line440.yml true 80.64 45.23 None chl-simpl-str-trans.wvr.line451.yml true 81.87 45.32 None chl-simpl-str-trans.wvr.line452.yml true 64.97 37.28 None chl-sre-subst.wvr.line223.yml true 6.15 4.36 None chl-sre-subst.wvr.line224.yml true 7.06 5.15 None chl-sre-subst.wvr.line238.yml true 5.92 4.41 None chl-sre-subst.wvr.line239.yml true 6.43 4.48 None chl-sre-subst.wvr.line253.yml true 6.15 4.53 None chl-sre-subst.wvr.line254.yml true 6.04 4.53 None chl-sre-subst.wvr.line265.yml true 6.68 4.61 None chl-sre-subst.wvr.line266.yml true 7.45 5.17 None chl-sre-subst.wvr.line277.yml true 8.20 5.51 None chl-sre-subst.wvr.line278.yml true 8.03 5.73 None chl-sre-subst.wvr.line289.yml true 8.59 5.66 None chl-sre-subst.wvr.line290.yml true 11.08 6.69 None chl-sre-symm.wvr.line171.yml true 5.29 3.90 None chl-sre-symm.wvr.line172.yml true 5.85 4.37 None chl-sre-symm.wvr.line186.yml true 5.24 3.67 None chl-sre-symm.wvr.line187.yml true 5.79 4.07 None chl-sre-symm.wvr.line198.yml true 5.50 4.05 None chl-sre-symm.wvr.line199.yml true 5.29 4.11 None chl-sre-symm.wvr.line210.yml true 5.65 3.97 None chl-sre-symm.wvr.line211.yml true 5.98 4.05 None chl-sre-trans.wvr.line223.yml true 6.03 4.52 None chl-sre-trans.wvr.line224.yml true 7.10 4.94 None chl-sre-trans.wvr.line238.yml true 7.78 5.06 None chl-sre-trans.wvr.line239.yml true 6.46 4.71 None chl-sre-trans.wvr.line253.yml true 6.13 4.62 None chl-sre-trans.wvr.line254.yml true 6.23 4.68 None chl-sre-trans.wvr.line265.yml true 7.50 4.90 None chl-sre-trans.wvr.line266.yml true 7.04 4.81 None chl-sre-trans.wvr.line277.yml true 8.02 5.82 None chl-sre-trans.wvr.line278.yml true 7.78 5.29 None chl-sre-trans.wvr.line289.yml true 10.74 6.57 None chl-sre-trans.wvr.line290.yml true 8.46 5.82 None chl-time-subst.wvr.line466.yml true 10.64 6.78 None chl-time-subst.wvr.line467.yml true 10.66 7.03 None chl-time-subst.wvr.line481.yml true 10.00 6.82 None chl-time-subst.wvr.line482.yml true 10.55 6.80 None chl-time-subst.wvr.line496.yml true 11.39 7.42 None chl-time-subst.wvr.line497.yml true 11.30 7.29 None chl-time-subst.wvr.line508.yml true 134.48 74.29 None chl-time-subst.wvr.line509.yml true 132.81 72.08 None chl-time-subst.wvr.line520.yml OUT OF MEMORY (true) 429.83 227.10 None chl-time-subst.wvr.line521.yml OUT OF MEMORY (true) 558.96 289.74 None chl-time-subst.wvr.line532.yml OUT OF MEMORY 428.99 222.96 None chl-time-subst.wvr.line533.yml true 416.45 219.51 None chl-time-symm.wvr.line337.yml true 5.98 4.20 None chl-time-symm.wvr.line338.yml true 6.14 4.15 None chl-time-symm.wvr.line352.yml true 6.50 4.17 None chl-time-symm.wvr.line353.yml true 5.96 4.11 None chl-time-symm.wvr.line364.yml true 7.36 5.40 None chl-time-symm.wvr.line365.yml true 8.10 5.43 None chl-time-symm.wvr.line376.yml true 10.29 6.19 None chl-time-symm.wvr.line377.yml true 10.37 6.28 None chl-time-trans.wvr.line466.yml true 10.60 6.78 None chl-time-trans.wvr.line467.yml true 10.62 6.92 None chl-time-trans.wvr.line481.yml true 10.83 7.04 None chl-time-trans.wvr.line482.yml true 11.40 7.16 None chl-time-trans.wvr.line496.yml true 12.21 7.63 None chl-time-trans.wvr.line497.yml true 12.88 7.84 None chl-time-trans.wvr.line508.yml true 163.44 87.38 None chl-time-trans.wvr.line509.yml true 114.63 67.26 None chl-time-trans.wvr.line520.yml OUT OF MEMORY 519.62 264.73 None chl-time-trans.wvr.line521.yml true 557.89 289.87 None chl-time-trans.wvr.line532.yml true 445.09 238.21 None chl-time-trans.wvr.line533.yml OUT OF MEMORY (true) 346.10 186.86 None circular_buffer_bad.line254.yml true 10.96 6.75 None circular_buffer_bad.line255.yml true 137.92 84.45 None circular_buffer_bad.line337.yml true 19.69 12.09 None circular_buffer_bad.line338.yml true 45.91 29.51 None circular_buffer_bad.line530.yml true 6.40 4.68 None circular_buffer_bad.line531.yml true 6.74 4.61 None circular_buffer_bad.line545.yml true 6.76 4.67 None circular_buffer_bad.line546.yml true 6.70 4.91 None circular_buffer_bad.line557.yml true 8.11 5.12 None circular_buffer_bad.line558.yml true 8.23 5.27 None circular_buffer_bad.line569.yml true 13.99 9.16 None circular_buffer_bad.line570.yml true 15.26 9.02 None circular_buffer_ok.line256.yml true 12.75 7.66 None circular_buffer_ok.line257.yml OUT OF MEMORY 176.40 121.08 None circular_buffer_ok.line347.yml true 17.70 11.36 None circular_buffer_ok.line348.yml true 52.05 35.17 None circular_buffer_ok.line541.yml true 6.49 4.31 None circular_buffer_ok.line542.yml true 6.68 4.43 None circular_buffer_ok.line556.yml true 6.41 4.32 None circular_buffer_ok.line557.yml true 6.75 4.98 None circular_buffer_ok.line568.yml true 8.72 5.19 None circular_buffer_ok.line569.yml true 10.26 6.12 None circular_buffer_ok.line580.yml true 14.33 9.40 None circular_buffer_ok.line581.yml true 14.42 9.06 None clever.wvr.line227.yml true 5.96 4.13 None clever.wvr.line228.yml true 7.72 4.90 None clever.wvr.line242.yml true 6.24 4.18 None clever.wvr.line243.yml true 6.32 4.70 None clever.wvr.line254.yml true 7.53 4.81 None clever.wvr.line255.yml true 6.42 4.32 None clever.wvr.line266.yml true 6.19 4.24 None clever.wvr.line267.yml true 6.16 5.02 None condvar.line398.yml true 7.20 4.41 None condvar.line399.yml true 5.88 3.89 None condvar.line423.yml true 6.62 4.22 None condvar.line424.yml true 154.52 126.23 None condvar_spurious_wakeup.line389.yml true 6.02 4.08 None condvar_spurious_wakeup.line390.yml true 7.88 4.50 None condvar_spurious_wakeup.line413.yml true 7.16 4.46 None condvar_spurious_wakeup.line414.yml true 153.31 118.35 None dekker-b.line357.yml true 6.21 4.51 None dekker-b.line358.yml true 8.11 5.03 None dekker-b.line372.yml true 6.42 4.41 None dekker-b.line373.yml true 5.94 4.17 None dekker-b.line384.yml true 7.59 4.80 None dekker-b.line385.yml true 6.93 4.53 None dekker-b.line396.yml true 6.57 4.84 None dekker-b.line397.yml true 8.31 5.24 None dekker.line458.yml true 6.23 4.31 None dekker.line459.yml true 6.46 5.18 None dekker.line473.yml true 6.37 4.39 None dekker.line474.yml true 7.42 4.79 None dekker.line485.yml true 7.64 5.15 None dekker.line486.yml true 8.99 5.33 None dekker.line497.yml true 13.24 7.38 None dekker.line498.yml true 9.64 6.24 None divinefifo_1w1r.line1002.yml OUT OF MEMORY 70.88 49.38 None divinefifo_1w1r.line1003.yml OUT OF MEMORY 170.58 130.57 None divinefifo_1w1r.line1014.yml OUT OF MEMORY 190.07 161.39 None divinefifo_1w1r.line1015.yml OUT OF MEMORY 138.79 107.30 None divinefifo_1w1r.line1024.yml OUT OF MEMORY 99.52 71.49 None divinefifo_1w1r.line1025.yml OUT OF MEMORY 96.88 64.21 None divinefifo_1w1r.line1034.yml OUT OF MEMORY 53.39 37.06 None divinefifo_1w1r.line1035.yml OUT OF MEMORY 150.29 120.91 None divinefifo_1w1r.line1044.yml OUT OF MEMORY 105.58 74.90 None divinefifo_1w1r.line1045.yml OUT OF MEMORY 98.83 64.21 None divinefifo_1w1r.line1072.yml OUT OF MEMORY 181.88 153.43 None divinefifo_1w1r.line1073.yml OUT OF MEMORY 140.14 105.37 None divinefifo_1w1r.line1082.yml OUT OF MEMORY 107.68 75.84 None divinefifo_1w1r.line1083.yml OUT OF MEMORY 106.19 68.20 None divinefifo_1w1r.line1092.yml OUT OF MEMORY 187.10 159.34 None divinefifo_1w1r.line1093.yml OUT OF MEMORY 150.31 109.35 None divinefifo_1w1r.line1110.yml OUT OF MEMORY 185.46 147.79 None divinefifo_1w1r.line1111.yml OUT OF MEMORY 114.40 65.85 None divinefifo_1w1r.line1122.yml OUT OF MEMORY 161.94 134.91 None divinefifo_1w1r.line1123.yml OUT OF MEMORY 77.78 43.55 None divinefifo_1w1r.line1132.yml OUT OF MEMORY 97.66 63.75 None divinefifo_1w1r.line1133.yml TIMEOUT 900.49 762.83 None divinefifo_1w1r.line1143.yml OUT OF MEMORY 105.02 73.01 None divinefifo_1w1r.line1144.yml OUT OF MEMORY 79.31 46.71 None divinefifo_1w1r.line1154.yml OUT OF MEMORY 128.79 99.28 None divinefifo_1w1r.line1155.yml OUT OF MEMORY 56.01 34.76 None divinefifo_1w1r.line1166.yml TIMEOUT 901.34 735.32 None divinefifo_1w1r.line1167.yml TIMEOUT 900.86 738.81 None divinefifo_1w1r.line1168.yml OUT OF MEMORY 75.75 46.10 None divinefifo_1w1r.line1184.yml OUT OF MEMORY 94.79 56.88 None divinefifo_1w1r.line1185.yml OUT OF MEMORY 114.26 80.23 None divinefifo_1w1r.line1194.yml OUT OF MEMORY 194.84 145.16 None divinefifo_1w1r.line1195.yml TIMEOUT 901.48 780.96 None divinefifo_1w1r.line1211.yml OUT OF MEMORY 407.02 343.44 None divinefifo_1w1r.line1212.yml TIMEOUT 900.82 845.36 None divinefifo_1w1r.line1234.yml TIMEOUT 900.41 827.61 None divinefifo_1w1r.line1235.yml TIMEOUT 901.20 811.32 None divinefifo_1w1r.line1244.yml OUT OF MEMORY 107.24 83.04 None divinefifo_1w1r.line1245.yml TIMEOUT 901.51 695.00 None divinefifo_1w1r.line1256.yml OUT OF MEMORY 92.75 73.45 None divinefifo_1w1r.line1257.yml OUT OF MEMORY 237.20 204.45 None divinefifo_1w1r.line1266.yml false(unreach-call) 584.00 538.23 None divinefifo_1w1r.line1267.yml TIMEOUT 900.49 875.73 None divinefifo_1w1r.line1276.yml OUT OF MEMORY 87.69 66.92 None divinefifo_1w1r.line1277.yml OUT OF MEMORY 227.16 188.98 None divinefifo_1w1r.line1286.yml OUT OF MEMORY 159.19 109.57 None divinefifo_1w1r.line1287.yml TIMEOUT 900.53 724.87 None divinefifo_1w1r.line1314.yml OUT OF MEMORY 79.51 48.97 None divinefifo_1w1r.line1315.yml OUT OF MEMORY 217.23 187.84 None divinefifo_1w1r.line1324.yml OUT OF MEMORY 131.28 83.56 None divinefifo_1w1r.line1325.yml OUT OF MEMORY 323.23 252.86 None divinefifo_1w1r.line1336.yml OUT OF MEMORY 76.69 51.23 None divinefifo_1w1r.line1337.yml OUT OF MEMORY 99.05 66.77 None divinefifo_1w1r.line1348.yml OUT OF MEMORY 69.11 40.40 None divinefifo_1w1r.line1349.yml OUT OF MEMORY 237.14 204.06 None divinefifo_1w1r.line1358.yml OUT OF MEMORY 128.35 100.93 None divinefifo_1w1r.line1359.yml OUT OF MEMORY 328.70 284.15 None divinefifo_1w1r.line1368.yml OUT OF MEMORY 77.43 45.38 None divinefifo_1w1r.line1369.yml OUT OF MEMORY 95.31 74.10 None divinefifo_1w1r.line1382.yml OUT OF MEMORY 91.07 51.58 None divinefifo_1w1r.line1383.yml OUT OF MEMORY 283.06 237.87 None divinefifo_1w1r.line1392.yml OUT OF MEMORY 102.73 58.85 None divinefifo_1w1r.line1393.yml OUT OF MEMORY 240.11 179.82 None divinefifo_1w1r.line1409.yml OUT OF MEMORY 69.13 40.33 None divinefifo_1w1r.line1410.yml OUT OF MEMORY 277.17 229.78 None divinefifo_1w1r.line1421.yml OUT OF MEMORY 599.65 433.35 None divinefifo_1w1r.line1422.yml OUT OF MEMORY 80.96 60.06 None divinefifo_1w1r.line1431.yml OUT OF MEMORY 79.17 55.72 None divinefifo_1w1r.line1432.yml false(unreach-call) 861.05 667.77 None divinefifo_1w1r.line1442.yml OUT OF MEMORY 252.03 163.00 None divinefifo_1w1r.line1443.yml OUT OF MEMORY 105.14 81.07 None divinefifo_1w1r.line1453.yml OUT OF MEMORY 128.57 89.92 None divinefifo_1w1r.line1454.yml OUT OF MEMORY 67.41 47.97 None divinefifo_1w1r.line1465.yml false(unreach-call) 507.80 408.58 None divinefifo_1w1r.line1466.yml TIMEOUT 901.16 839.62 None divinefifo_1w1r.line1467.yml OUT OF MEMORY 98.54 59.67 None divinefifo_1w1r.line1487.yml TIMEOUT 901.23 833.26 None divinefifo_1w1r.line1488.yml OUT OF MEMORY 123.85 95.48 None divinefifo_1w1r.line1497.yml false(unreach-call) 486.23 447.78 None divinefifo_1w1r.line1498.yml TIMEOUT 901.14 845.50 None divinefifo_1w1r.line1507.yml OUT OF MEMORY 98.09 67.41 None divinefifo_1w1r.line1508.yml OUT OF MEMORY 229.72 190.76 None divinefifo_1w1r.line1525.yml OUT OF MEMORY 94.28 54.13 None divinefifo_1w1r.line1526.yml OUT OF MEMORY 416.82 376.18 None divinefifo_1w1r.line1537.yml OUT OF MEMORY 132.55 88.03 None divinefifo_1w1r.line1538.yml OUT OF MEMORY 156.67 116.94 None divinefifo_1w1r.line1547.yml OUT OF MEMORY 143.30 87.94 None divinefifo_1w1r.line1548.yml TIMEOUT 900.46 872.19 None divinefifo_1w1r.line1558.yml OUT OF MEMORY 197.59 129.82 None divinefifo_1w1r.line1559.yml OUT OF MEMORY 192.26 158.84 None divinefifo_1w1r.line1569.yml OUT OF MEMORY 244.70 177.68 None divinefifo_1w1r.line1570.yml OUT OF MEMORY 134.53 100.27 None divinefifo_1w1r.line1581.yml TIMEOUT 901.05 737.33 None divinefifo_1w1r.line1582.yml TIMEOUT 901.25 722.53 None divinefifo_1w1r.line1583.yml OUT OF MEMORY 215.88 141.56 None divinefifo_1w1r.line1615.yml OUT OF MEMORY 86.53 57.91 None divinefifo_1w1r.line1616.yml OUT OF MEMORY 87.22 53.53 None divinefifo_1w1r.line1625.yml OUT OF MEMORY 86.26 57.82 None divinefifo_1w1r.line1626.yml OUT OF MEMORY 74.73 45.55 None divinefifo_1w1r.line1637.yml OUT OF MEMORY 83.41 55.43 None divinefifo_1w1r.line1638.yml OUT OF MEMORY 68.64 41.06 None divinefifo_1w1r.line1647.yml OUT OF MEMORY 84.09 50.15 None divinefifo_1w1r.line1648.yml OUT OF MEMORY 70.19 42.86 None divinefifo_1w1r.line1657.yml OUT OF MEMORY 114.62 71.75 None divinefifo_1w1r.line1658.yml OUT OF MEMORY 86.03 54.64 None divinefifo_1w1r.line1667.yml OUT OF MEMORY 62.53 41.85 None divinefifo_1w1r.line1668.yml OUT OF MEMORY 81.27 47.82 None divinefifo_1w1r.line1695.yml OUT OF MEMORY 91.86 57.80 None divinefifo_1w1r.line1696.yml OUT OF MEMORY 77.37 46.22 None divinefifo_1w1r.line1712.yml OUT OF MEMORY 63.25 43.66 None divinefifo_1w1r.line1713.yml OUT OF MEMORY 103.50 62.16 None divinefifo_1w1r.line1722.yml OUT OF MEMORY 75.35 49.35 None divinefifo_1w1r.line1723.yml OUT OF MEMORY 80.95 50.15 None divinefifo_1w1r.line1734.yml OUT OF MEMORY 89.46 55.58 None divinefifo_1w1r.line1735.yml OUT OF MEMORY 97.71 61.17 None divinefifo_1w1r.line1744.yml OUT OF MEMORY 85.56 53.11 None divinefifo_1w1r.line1745.yml OUT OF MEMORY 91.40 56.18 None divinefifo_1w1r.line1754.yml OUT OF MEMORY 60.62 41.34 None divinefifo_1w1r.line1755.yml OUT OF MEMORY 100.02 58.44 None divinefifo_1w1r.line1764.yml OUT OF MEMORY 121.79 87.95 None divinefifo_1w1r.line1765.yml OUT OF MEMORY 94.95 59.26 None divinefifo_1w1r.line1800.yml OUT OF MEMORY 78.68 50.57 None divinefifo_1w1r.line1801.yml OUT OF MEMORY 74.01 42.11 None divinefifo_1w1r.line1810.yml OUT OF MEMORY 79.18 51.21 None divinefifo_1w1r.line1811.yml OUT OF MEMORY 83.03 51.75 None divinefifo_1w1r.line1828.yml OUT OF MEMORY 84.43 56.36 None divinefifo_1w1r.line1829.yml OUT OF MEMORY 95.12 57.08 None divinefifo_1w1r.line1838.yml OUT OF MEMORY 72.65 43.78 None divinefifo_1w1r.line1839.yml OUT OF MEMORY 132.43 77.11 None divinefifo_1w1r.line1854.yml OUT OF MEMORY 86.83 54.16 None divinefifo_1w1r.line1855.yml OUT OF MEMORY 95.95 59.77 None divinefifo_1w1r.line1862.yml OUT OF MEMORY 89.15 52.18 None divinefifo_1w1r.line1863.yml OUT OF MEMORY 99.84 58.75 None divinefifo_1w1r.line1864.yml OUT OF MEMORY 61.22 37.56 None divinefifo_1w1r.line1875.yml OUT OF MEMORY 69.98 41.52 None divinefifo_1w1r.line1876.yml OUT OF MEMORY 88.04 49.25 None divinefifo_1w1r.line1885.yml OUT OF MEMORY 92.71 58.75 None divinefifo_1w1r.line1886.yml OUT OF MEMORY 91.40 57.83 None divinefifo_1w1r.line1893.yml OUT OF MEMORY 90.24 52.59 None divinefifo_1w1r.line1894.yml OUT OF MEMORY 90.81 51.59 None divinefifo_1w1r.line1895.yml OUT OF MEMORY 90.84 54.73 None divinefifo_1w1r.line286.yml OUT OF MEMORY 105.15 67.15 None divinefifo_1w1r.line287.yml true 51.15 33.87 None divinefifo_1w1r.line296.yml OUT OF MEMORY 285.83 207.46 None divinefifo_1w1r.line297.yml OUT OF MEMORY 710.81 657.95 None divinefifo_1w1r.line306.yml OUT OF MEMORY 87.16 53.19 None divinefifo_1w1r.line307.yml true 43.12 27.78 None divinefifo_1w1r.line339.yml OUT OF MEMORY 42.66 26.82 None divinefifo_1w1r.line340.yml true 40.59 24.82 None divinefifo_1w1r.line349.yml OUT OF MEMORY 82.81 49.01 None divinefifo_1w1r.line350.yml true 59.42 35.60 None divinefifo_1w1r.line359.yml OUT OF MEMORY 75.58 45.13 None divinefifo_1w1r.line360.yml true 43.76 27.84 None divinefifo_1w1r.line380.yml OUT OF MEMORY 104.48 68.83 None divinefifo_1w1r.line381.yml true 104.67 62.54 None divinefifo_1w1r.line393.yml TIMEOUT 901.27 823.97 None divinefifo_1w1r.line394.yml TIMEOUT 900.72 731.39 None divinefifo_1w1r.line404.yml TIMEOUT 901.43 766.29 None divinefifo_1w1r.line405.yml OUT OF MEMORY 243.76 200.80 None divinefifo_1w1r.line414.yml OUT OF MEMORY 170.15 138.64 None divinefifo_1w1r.line415.yml true 58.24 37.44 None divinefifo_1w1r.line426.yml OUT OF MEMORY 145.00 112.97 None divinefifo_1w1r.line427.yml true 78.18 55.68 None divinefifo_1w1r.line437.yml TIMEOUT 901.22 843.06 None divinefifo_1w1r.line438.yml OUT OF MEMORY 77.79 51.45 None divinefifo_1w1r.line449.yml TIMEOUT 900.39 759.55 None divinefifo_1w1r.line450.yml true 47.33 28.64 None divinefifo_1w1r.line460.yml ERROR: EXCEPTION 31.67 18.88 None divinefifo_1w1r.line461.yml OUT OF MEMORY 773.94 588.13 None divinefifo_1w1r.line471.yml TIMEOUT 901.17 780.13 None ---------------------------------------------------------------------------------------------------- Run set 1 done 47480.05 3026.19 - GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.single-assert-memsafety-chunk26 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 ---------------------------------------------------------------------------------------------------- chl-simpl-str-trans.wvr.line400.yml true 8.75 5.90 None chl-simpl-str-trans.wvr.line401.yml true 8.57 5.89 None chl-simpl-str-trans.wvr.line415.yml true 12.67 7.52 None chl-simpl-str-trans.wvr.line416.yml true 9.31 6.05 None chl-simpl-str-trans.wvr.line427.yml true 29.60 20.17 None chl-simpl-str-trans.wvr.line428.yml true 32.26 22.05 None chl-simpl-str-trans.wvr.line439.yml true 81.74 46.02 None chl-simpl-str-trans.wvr.line440.yml true 84.48 47.54 None chl-simpl-str-trans.wvr.line451.yml true 83.70 46.82 None chl-simpl-str-trans.wvr.line452.yml true 65.52 37.50 None chl-sre-subst.wvr.line223.yml true 6.56 4.69 None chl-sre-subst.wvr.line224.yml true 6.84 5.08 None chl-sre-subst.wvr.line238.yml true 6.33 4.56 None chl-sre-subst.wvr.line239.yml true 6.83 4.68 None chl-sre-subst.wvr.line253.yml true 6.53 5.12 None chl-sre-subst.wvr.line254.yml true 6.95 4.92 None chl-sre-subst.wvr.line265.yml true 7.00 4.90 None chl-sre-subst.wvr.line266.yml true 7.48 5.25 None chl-sre-subst.wvr.line277.yml true 8.47 5.89 None chl-sre-subst.wvr.line278.yml true 8.71 5.56 None chl-sre-subst.wvr.line289.yml true 8.46 5.50 None chl-sre-subst.wvr.line290.yml true 11.32 6.88 None chl-sre-symm.wvr.line171.yml true 5.84 4.75 None chl-sre-symm.wvr.line172.yml true 6.12 4.26 None chl-sre-symm.wvr.line186.yml true 5.67 4.37 None chl-sre-symm.wvr.line187.yml true 6.01 4.26 None chl-sre-symm.wvr.line198.yml true 6.36 4.93 None chl-sre-symm.wvr.line199.yml true 6.24 4.26 None chl-sre-symm.wvr.line210.yml true 5.98 4.66 None chl-sre-symm.wvr.line211.yml true 6.55 4.28 None chl-sre-trans.wvr.line223.yml true 8.45 5.31 None chl-sre-trans.wvr.line224.yml true 7.03 5.07 None chl-sre-trans.wvr.line238.yml true 6.80 4.93 None chl-sre-trans.wvr.line239.yml true 7.13 5.18 None chl-sre-trans.wvr.line253.yml true 6.40 4.56 None chl-sre-trans.wvr.line254.yml true 6.66 5.04 None chl-sre-trans.wvr.line265.yml true 7.09 4.86 None chl-sre-trans.wvr.line266.yml true 7.92 5.20 None chl-sre-trans.wvr.line277.yml true 8.21 5.67 None chl-sre-trans.wvr.line278.yml true 8.92 5.81 None chl-sre-trans.wvr.line289.yml true 11.47 6.71 None chl-sre-trans.wvr.line290.yml true 8.77 5.74 None chl-time-subst.wvr.line466.yml true 9.68 6.37 None chl-time-subst.wvr.line467.yml true 10.74 6.85 None chl-time-subst.wvr.line481.yml true 10.08 6.74 None chl-time-subst.wvr.line482.yml true 10.67 8.29 None chl-time-subst.wvr.line496.yml true 12.73 7.90 None chl-time-subst.wvr.line497.yml true 12.21 7.76 None chl-time-subst.wvr.line508.yml true 127.01 71.15 None chl-time-subst.wvr.line509.yml true 132.16 74.06 None chl-time-subst.wvr.line520.yml true 391.65 213.27 None chl-time-subst.wvr.line521.yml true 503.36 266.65 None chl-time-subst.wvr.line532.yml true 390.65 210.17 None chl-time-subst.wvr.line533.yml true 382.68 206.77 None chl-time-symm.wvr.line337.yml true 5.97 4.21 None chl-time-symm.wvr.line338.yml true 6.78 4.87 None chl-time-symm.wvr.line352.yml true 6.19 4.62 None chl-time-symm.wvr.line353.yml true 6.35 4.22 None chl-time-symm.wvr.line364.yml true 7.99 5.48 None chl-time-symm.wvr.line365.yml true 8.95 5.67 None chl-time-symm.wvr.line376.yml true 10.57 7.08 None chl-time-symm.wvr.line377.yml true 11.24 6.63 None chl-time-trans.wvr.line466.yml true 10.28 6.53 None chl-time-trans.wvr.line467.yml true 10.49 6.82 None chl-time-trans.wvr.line481.yml true 10.84 6.97 None chl-time-trans.wvr.line482.yml true 10.36 7.04 None chl-time-trans.wvr.line496.yml true 11.79 7.46 None chl-time-trans.wvr.line497.yml true 12.65 7.76 None chl-time-trans.wvr.line508.yml true 156.07 84.26 None chl-time-trans.wvr.line509.yml true 128.08 71.03 None chl-time-trans.wvr.line520.yml true 495.94 263.08 None chl-time-trans.wvr.line521.yml true 493.41 262.60 None chl-time-trans.wvr.line532.yml true 405.16 217.33 None chl-time-trans.wvr.line533.yml true 326.28 174.25 None circular_buffer_bad.line254.yml true 11.69 7.16 None circular_buffer_bad.line255.yml true 131.17 83.15 None circular_buffer_bad.line337.yml true 19.75 12.57 None circular_buffer_bad.line338.yml true 44.25 28.24 None circular_buffer_bad.line530.yml true 6.35 4.46 None circular_buffer_bad.line531.yml true 6.70 4.52 None circular_buffer_bad.line545.yml true 7.28 4.98 None circular_buffer_bad.line546.yml true 6.99 4.90 None circular_buffer_bad.line557.yml true 7.89 5.07 None circular_buffer_bad.line558.yml true 8.38 5.42 None circular_buffer_bad.line569.yml true 13.90 8.88 None circular_buffer_bad.line570.yml true 15.52 8.94 None circular_buffer_ok.line256.yml true 12.07 7.44 None circular_buffer_ok.line257.yml true 335.58 200.09 None circular_buffer_ok.line347.yml true 19.50 12.53 None circular_buffer_ok.line348.yml true 41.74 28.14 None circular_buffer_ok.line541.yml true 6.31 4.29 None circular_buffer_ok.line542.yml true 7.16 4.74 None circular_buffer_ok.line556.yml true 6.80 4.54 None circular_buffer_ok.line557.yml true 6.77 4.72 None circular_buffer_ok.line568.yml true 10.33 6.20 None circular_buffer_ok.line569.yml true 8.46 5.33 None circular_buffer_ok.line580.yml true 14.02 9.45 None circular_buffer_ok.line581.yml true 15.74 9.31 None clever.wvr.line227.yml true 7.57 4.80 None clever.wvr.line228.yml true 6.56 4.42 None clever.wvr.line242.yml true 7.38 4.71 None clever.wvr.line243.yml true 6.26 4.28 None clever.wvr.line254.yml true 6.51 4.44 None clever.wvr.line255.yml true 6.50 4.76 None clever.wvr.line266.yml true 8.25 5.14 None clever.wvr.line267.yml true 7.04 5.12 None condvar.line398.yml true 5.79 3.81 None condvar.line399.yml true 6.08 3.97 None condvar.line423.yml true 6.76 4.79 None condvar.line424.yml true 171.84 126.09 None condvar_spurious_wakeup.line389.yml true 5.17 3.68 None condvar_spurious_wakeup.line390.yml true 5.71 3.68 None condvar_spurious_wakeup.line413.yml true 6.79 4.28 None condvar_spurious_wakeup.line414.yml true 128.48 108.96 None dekker-b.line357.yml true 6.06 4.22 None dekker-b.line358.yml true 6.50 4.32 None dekker-b.line372.yml true 6.07 4.17 None dekker-b.line373.yml true 6.34 4.72 None dekker-b.line384.yml true 6.28 4.18 None dekker-b.line385.yml true 6.57 4.38 None dekker-b.line396.yml true 6.58 4.41 None dekker-b.line397.yml true 6.49 4.56 None dekker.line458.yml true 6.32 4.28 None dekker.line459.yml true 6.70 4.46 None dekker.line473.yml true 5.89 4.16 None dekker.line474.yml true 6.08 4.18 None dekker.line485.yml true 7.97 5.02 None dekker.line486.yml true 8.12 5.45 None dekker.line497.yml true 9.62 5.93 None dekker.line498.yml true 10.82 6.21 None divinefifo_1w1r.line1002.yml OUT OF MEMORY 139.81 112.38 None divinefifo_1w1r.line1003.yml OUT OF MEMORY 128.25 98.58 None divinefifo_1w1r.line1014.yml OUT OF MEMORY 165.37 131.65 None divinefifo_1w1r.line1015.yml OUT OF MEMORY 116.26 84.98 None divinefifo_1w1r.line1024.yml OUT OF MEMORY 96.82 63.06 None divinefifo_1w1r.line1025.yml OUT OF MEMORY 98.86 64.26 None divinefifo_1w1r.line1034.yml OUT OF MEMORY 168.98 140.79 None divinefifo_1w1r.line1035.yml OUT OF MEMORY 112.53 81.64 None divinefifo_1w1r.line1044.yml OUT OF MEMORY 102.54 68.99 None divinefifo_1w1r.line1045.yml OUT OF MEMORY 106.57 65.82 None divinefifo_1w1r.line1072.yml OUT OF MEMORY 168.02 131.27 None divinefifo_1w1r.line1073.yml OUT OF MEMORY 121.73 92.89 None divinefifo_1w1r.line1082.yml OUT OF MEMORY 117.17 72.47 None divinefifo_1w1r.line1083.yml OUT OF MEMORY 88.37 55.28 None divinefifo_1w1r.line1092.yml OUT OF MEMORY 55.12 39.52 None divinefifo_1w1r.line1093.yml OUT OF MEMORY 126.51 93.84 None divinefifo_1w1r.line1110.yml OUT OF MEMORY 184.28 139.45 None divinefifo_1w1r.line1111.yml OUT OF MEMORY 177.55 115.01 None divinefifo_1w1r.line1122.yml OUT OF MEMORY 146.46 118.99 None divinefifo_1w1r.line1123.yml OUT OF MEMORY 68.09 42.04 None divinefifo_1w1r.line1132.yml OUT OF MEMORY 84.61 53.48 None divinefifo_1w1r.line1133.yml TIMEOUT 901.19 834.24 None divinefifo_1w1r.line1143.yml OUT OF MEMORY 107.10 67.07 None divinefifo_1w1r.line1144.yml OUT OF MEMORY 79.49 48.56 None divinefifo_1w1r.line1154.yml OUT OF MEMORY 120.21 88.16 None divinefifo_1w1r.line1155.yml OUT OF MEMORY 51.05 31.35 None divinefifo_1w1r.line1166.yml OUT OF MEMORY 376.59 249.08 None divinefifo_1w1r.line1167.yml OUT OF MEMORY 188.20 149.73 None divinefifo_1w1r.line1168.yml OUT OF MEMORY 69.76 42.22 None divinefifo_1w1r.line1184.yml OUT OF MEMORY 165.57 117.71 None divinefifo_1w1r.line1185.yml OUT OF MEMORY 115.00 68.01 None divinefifo_1w1r.line1194.yml OUT OF MEMORY 271.38 212.69 None divinefifo_1w1r.line1195.yml TIMEOUT 901.00 860.20 None divinefifo_1w1r.line1211.yml TIMEOUT 900.40 776.63 None divinefifo_1w1r.line1212.yml OUT OF MEMORY 751.84 589.68 None divinefifo_1w1r.line1234.yml TIMEOUT 901.40 706.62 None divinefifo_1w1r.line1235.yml OUT OF MEMORY 451.27 402.47 None divinefifo_1w1r.line1244.yml OUT OF MEMORY 198.73 167.66 None divinefifo_1w1r.line1245.yml TIMEOUT 901.25 727.44 None divinefifo_1w1r.line1256.yml OUT OF MEMORY 90.96 67.17 None divinefifo_1w1r.line1257.yml OUT OF MEMORY 167.71 132.21 None divinefifo_1w1r.line1266.yml false(unreach-call) 609.52 557.26 None divinefifo_1w1r.line1267.yml TIMEOUT 900.76 736.41 None divinefifo_1w1r.line1276.yml OUT OF MEMORY 77.93 60.25 None divinefifo_1w1r.line1277.yml OUT OF MEMORY 164.35 130.47 None divinefifo_1w1r.line1286.yml OUT OF MEMORY 184.16 129.71 None divinefifo_1w1r.line1287.yml TIMEOUT 900.37 842.83 None divinefifo_1w1r.line1314.yml OUT OF MEMORY 75.72 45.17 None divinefifo_1w1r.line1315.yml OUT OF MEMORY 173.90 135.88 None divinefifo_1w1r.line1324.yml OUT OF MEMORY 192.89 133.10 None divinefifo_1w1r.line1325.yml OUT OF MEMORY 232.25 186.34 None divinefifo_1w1r.line1336.yml OUT OF MEMORY 72.08 45.54 None divinefifo_1w1r.line1337.yml OUT OF MEMORY 109.14 69.32 None divinefifo_1w1r.line1348.yml OUT OF MEMORY 73.28 45.15 None divinefifo_1w1r.line1349.yml OUT OF MEMORY 98.70 75.75 None divinefifo_1w1r.line1358.yml OUT OF MEMORY 191.72 147.20 None divinefifo_1w1r.line1359.yml OUT OF MEMORY 471.83 356.92 None divinefifo_1w1r.line1368.yml OUT OF MEMORY 78.47 48.89 None divinefifo_1w1r.line1369.yml OUT OF MEMORY 96.93 71.84 None divinefifo_1w1r.line1382.yml OUT OF MEMORY 157.31 105.79 None divinefifo_1w1r.line1383.yml OUT OF MEMORY 161.96 134.69 None divinefifo_1w1r.line1392.yml OUT OF MEMORY 67.98 41.57 None divinefifo_1w1r.line1393.yml OUT OF MEMORY 112.72 68.62 None divinefifo_1w1r.line1409.yml OUT OF MEMORY 64.36 38.23 None divinefifo_1w1r.line1410.yml OUT OF MEMORY 165.52 127.81 None divinefifo_1w1r.line1421.yml OUT OF MEMORY 86.64 57.39 None divinefifo_1w1r.line1422.yml OUT OF MEMORY 92.35 71.42 None divinefifo_1w1r.line1431.yml OUT OF MEMORY 79.58 51.64 None divinefifo_1w1r.line1432.yml TIMEOUT 901.07 850.85 None divinefifo_1w1r.line1442.yml OUT OF MEMORY 178.55 124.36 None divinefifo_1w1r.line1443.yml OUT OF MEMORY 120.66 94.80 None divinefifo_1w1r.line1453.yml OUT OF MEMORY 232.42 167.31 None divinefifo_1w1r.line1454.yml OUT OF MEMORY 88.43 66.45 None divinefifo_1w1r.line1465.yml false(unreach-call) 429.92 394.54 None divinefifo_1w1r.line1466.yml TIMEOUT 900.42 694.49 None divinefifo_1w1r.line1467.yml OUT OF MEMORY 66.36 41.72 None divinefifo_1w1r.line1487.yml TIMEOUT 900.47 823.78 None divinefifo_1w1r.line1488.yml OUT OF MEMORY 145.05 111.27 None divinefifo_1w1r.line1497.yml false(unreach-call) 475.33 442.41 None divinefifo_1w1r.line1498.yml TIMEOUT 901.09 705.25 None divinefifo_1w1r.line1507.yml OUT OF MEMORY 78.24 52.05 None divinefifo_1w1r.line1508.yml OUT OF MEMORY 107.67 78.28 None divinefifo_1w1r.line1525.yml OUT OF MEMORY 65.16 38.80 None divinefifo_1w1r.line1526.yml OUT OF MEMORY 321.26 286.20 None divinefifo_1w1r.line1537.yml OUT OF MEMORY 78.58 49.40 None divinefifo_1w1r.line1538.yml OUT OF MEMORY 126.67 93.70 None divinefifo_1w1r.line1547.yml OUT OF MEMORY 126.77 74.25 None divinefifo_1w1r.line1548.yml TIMEOUT 900.47 870.77 None divinefifo_1w1r.line1558.yml OUT OF MEMORY 129.60 78.99 None divinefifo_1w1r.line1559.yml OUT OF MEMORY 187.98 155.68 None divinefifo_1w1r.line1569.yml OUT OF MEMORY 328.21 245.06 None divinefifo_1w1r.line1570.yml OUT OF MEMORY 136.95 94.57 None divinefifo_1w1r.line1581.yml TIMEOUT 900.37 749.88 None divinefifo_1w1r.line1582.yml TIMEOUT 901.13 728.20 None divinefifo_1w1r.line1583.yml OUT OF MEMORY 236.31 157.71 None divinefifo_1w1r.line1615.yml OUT OF MEMORY 89.39 55.80 None divinefifo_1w1r.line1616.yml OUT OF MEMORY 79.97 47.87 None divinefifo_1w1r.line1625.yml OUT OF MEMORY 89.58 57.35 None divinefifo_1w1r.line1626.yml OUT OF MEMORY 114.26 68.23 None divinefifo_1w1r.line1637.yml OUT OF MEMORY 98.00 64.91 None divinefifo_1w1r.line1638.yml OUT OF MEMORY 110.52 66.39 None divinefifo_1w1r.line1647.yml OUT OF MEMORY 86.55 52.49 None divinefifo_1w1r.line1648.yml OUT OF MEMORY 81.60 48.06 None divinefifo_1w1r.line1657.yml OUT OF MEMORY 83.02 55.62 None divinefifo_1w1r.line1658.yml OUT OF MEMORY 86.46 51.92 None divinefifo_1w1r.line1667.yml OUT OF MEMORY 96.72 56.62 None divinefifo_1w1r.line1668.yml OUT OF MEMORY 114.26 67.84 None divinefifo_1w1r.line1695.yml OUT OF MEMORY 74.24 44.87 None divinefifo_1w1r.line1696.yml OUT OF MEMORY 110.43 64.40 None divinefifo_1w1r.line1712.yml OUT OF MEMORY 58.96 41.78 None divinefifo_1w1r.line1713.yml OUT OF MEMORY 131.47 82.80 None divinefifo_1w1r.line1722.yml OUT OF MEMORY 60.56 42.16 None divinefifo_1w1r.line1723.yml OUT OF MEMORY 91.62 54.19 None divinefifo_1w1r.line1734.yml OUT OF MEMORY 102.31 61.63 None divinefifo_1w1r.line1735.yml OUT OF MEMORY 116.08 67.50 None divinefifo_1w1r.line1744.yml OUT OF MEMORY 75.18 46.54 None divinefifo_1w1r.line1745.yml OUT OF MEMORY 82.55 49.47 None divinefifo_1w1r.line1754.yml OUT OF MEMORY 61.78 43.91 None divinefifo_1w1r.line1755.yml OUT OF MEMORY 80.52 48.66 None divinefifo_1w1r.line1764.yml OUT OF MEMORY 69.08 45.12 None divinefifo_1w1r.line1765.yml OUT OF MEMORY 48.13 29.98 None divinefifo_1w1r.line1800.yml OUT OF MEMORY 57.98 39.52 None divinefifo_1w1r.line1801.yml OUT OF MEMORY 110.32 65.47 None divinefifo_1w1r.line1810.yml OUT OF MEMORY 62.36 44.02 None divinefifo_1w1r.line1811.yml OUT OF MEMORY 117.51 69.39 None divinefifo_1w1r.line1828.yml OUT OF MEMORY 83.16 52.17 None divinefifo_1w1r.line1829.yml OUT OF MEMORY 81.98 49.97 None divinefifo_1w1r.line1838.yml OUT OF MEMORY 65.53 39.15 None divinefifo_1w1r.line1839.yml OUT OF MEMORY 96.64 59.94 None divinefifo_1w1r.line1854.yml OUT OF MEMORY 73.97 46.39 None divinefifo_1w1r.line1855.yml OUT OF MEMORY 110.25 67.03 None divinefifo_1w1r.line1862.yml OUT OF MEMORY 103.32 59.70 None divinefifo_1w1r.line1863.yml OUT OF MEMORY 74.49 45.73 None divinefifo_1w1r.line1864.yml true 86.50 58.04 None divinefifo_1w1r.line1875.yml OUT OF MEMORY 80.22 48.83 None divinefifo_1w1r.line1876.yml OUT OF MEMORY 78.24 46.08 None divinefifo_1w1r.line1885.yml OUT OF MEMORY 66.19 43.90 None divinefifo_1w1r.line1886.yml OUT OF MEMORY 96.44 55.77 None divinefifo_1w1r.line1893.yml OUT OF MEMORY 97.35 60.28 None divinefifo_1w1r.line1894.yml OUT OF MEMORY 82.89 50.06 None divinefifo_1w1r.line1895.yml OUT OF MEMORY 93.71 56.87 None divinefifo_1w1r.line286.yml OUT OF MEMORY 82.25 54.62 None divinefifo_1w1r.line287.yml true 47.60 32.23 None divinefifo_1w1r.line296.yml OUT OF MEMORY 166.43 125.49 None divinefifo_1w1r.line297.yml OUT OF MEMORY 374.00 334.61 None divinefifo_1w1r.line306.yml OUT OF MEMORY 74.69 52.79 None divinefifo_1w1r.line307.yml true 48.79 30.95 None divinefifo_1w1r.line339.yml OUT OF MEMORY 85.33 54.13 None divinefifo_1w1r.line340.yml true 35.41 22.36 None divinefifo_1w1r.line349.yml OUT OF MEMORY 320.06 276.38 None divinefifo_1w1r.line350.yml true 45.14 30.38 None divinefifo_1w1r.line359.yml OUT OF MEMORY 315.25 233.07 None divinefifo_1w1r.line360.yml true 39.65 26.69 None divinefifo_1w1r.line380.yml OUT OF MEMORY 77.32 51.18 None divinefifo_1w1r.line381.yml true 117.74 69.39 None divinefifo_1w1r.line393.yml OUT OF MEMORY 124.49 86.01 None divinefifo_1w1r.line394.yml OUT OF MEMORY 261.59 217.59 None divinefifo_1w1r.line404.yml TIMEOUT 901.52 842.77 None divinefifo_1w1r.line405.yml OUT OF MEMORY 368.66 265.95 None divinefifo_1w1r.line414.yml OUT OF MEMORY 127.49 97.06 None divinefifo_1w1r.line415.yml true 51.39 34.27 None divinefifo_1w1r.line426.yml OUT OF MEMORY 134.13 103.25 None divinefifo_1w1r.line427.yml OUT OF MEMORY 75.59 51.65 None divinefifo_1w1r.line437.yml TIMEOUT 900.83 737.62 None divinefifo_1w1r.line438.yml OUT OF MEMORY 74.18 50.86 None divinefifo_1w1r.line449.yml TIMEOUT 900.82 737.13 None divinefifo_1w1r.line450.yml true 34.80 24.19 None divinefifo_1w1r.line460.yml ERROR: EXCEPTION 31.77 19.40 None divinefifo_1w1r.line461.yml TIMEOUT 900.83 724.70 None divinefifo_1w1r.line471.yml OUT OF MEMORY 611.27 556.72 None ---------------------------------------------------------------------------------------------------- Run set 2 done 43339.58 2801.64 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.single-assert-memsafety-chunk26 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 ---------------------------------------------------------------------------------------------------- chl-simpl-str-trans.wvr.line400.yml true 9.56 6.21 None chl-simpl-str-trans.wvr.line401.yml true 9.26 6.64 None chl-simpl-str-trans.wvr.line415.yml true 14.16 8.33 None chl-simpl-str-trans.wvr.line416.yml true 11.26 7.07 None chl-simpl-str-trans.wvr.line427.yml true 50.77 32.18 None chl-simpl-str-trans.wvr.line428.yml true 51.11 34.37 None chl-simpl-str-trans.wvr.line439.yml true 119.31 70.03 None chl-simpl-str-trans.wvr.line440.yml true 128.53 74.28 None chl-simpl-str-trans.wvr.line451.yml true 131.00 75.55 None chl-simpl-str-trans.wvr.line452.yml true 109.83 64.73 None chl-sre-subst.wvr.line223.yml true 6.72 5.12 None chl-sre-subst.wvr.line224.yml true 7.12 4.88 None chl-sre-subst.wvr.line238.yml true 6.24 4.40 None chl-sre-subst.wvr.line239.yml true 7.11 4.98 None chl-sre-subst.wvr.line253.yml true 6.58 4.76 None chl-sre-subst.wvr.line254.yml true 6.87 5.14 None chl-sre-subst.wvr.line265.yml true 8.61 5.51 None chl-sre-subst.wvr.line266.yml true 8.72 5.71 None chl-sre-subst.wvr.line277.yml true 9.92 6.56 None chl-sre-subst.wvr.line278.yml true 9.89 6.54 None chl-sre-subst.wvr.line289.yml true 10.80 6.70 None chl-sre-subst.wvr.line290.yml true 14.00 8.04 None chl-sre-symm.wvr.line171.yml true 5.50 4.00 None chl-sre-symm.wvr.line172.yml true 5.96 4.20 None chl-sre-symm.wvr.line186.yml true 5.67 3.91 None chl-sre-symm.wvr.line187.yml true 6.13 4.33 None chl-sre-symm.wvr.line198.yml true 5.91 4.19 None chl-sre-symm.wvr.line199.yml true 6.23 4.77 None chl-sre-symm.wvr.line210.yml true 6.35 4.53 None chl-sre-symm.wvr.line211.yml true 6.66 4.46 None chl-sre-trans.wvr.line223.yml true 6.43 4.55 None chl-sre-trans.wvr.line224.yml true 7.32 5.18 None chl-sre-trans.wvr.line238.yml true 6.37 5.10 None chl-sre-trans.wvr.line239.yml true 9.62 5.91 None chl-sre-trans.wvr.line253.yml true 6.70 4.74 None chl-sre-trans.wvr.line254.yml true 6.86 5.05 None chl-sre-trans.wvr.line265.yml true 7.97 5.65 None chl-sre-trans.wvr.line266.yml true 8.67 5.65 None chl-sre-trans.wvr.line277.yml true 9.72 6.36 None chl-sre-trans.wvr.line278.yml true 10.21 6.43 None chl-sre-trans.wvr.line289.yml true 10.90 6.85 None chl-sre-trans.wvr.line290.yml true 11.20 6.94 None chl-time-subst.wvr.line466.yml true 16.38 9.58 None chl-time-subst.wvr.line467.yml true 13.88 9.01 None chl-time-subst.wvr.line481.yml true 14.56 8.47 None chl-time-subst.wvr.line482.yml true 12.57 7.96 None chl-time-subst.wvr.line496.yml true 17.21 10.50 None chl-time-subst.wvr.line497.yml true 16.32 9.93 None chl-time-subst.wvr.line508.yml true 215.13 125.96 None chl-time-subst.wvr.line509.yml true 211.29 121.15 None chl-time-subst.wvr.line520.yml OUT OF MEMORY 696.96 358.68 None chl-time-subst.wvr.line521.yml OUT OF MEMORY 831.39 418.63 None chl-time-subst.wvr.line532.yml OUT OF MEMORY 603.39 305.61 None chl-time-subst.wvr.line533.yml OUT OF MEMORY 630.33 329.68 None chl-time-symm.wvr.line337.yml true 6.47 4.53 None chl-time-symm.wvr.line338.yml true 6.78 5.03 None chl-time-symm.wvr.line352.yml true 6.29 4.39 None chl-time-symm.wvr.line353.yml true 6.70 4.56 None chl-time-symm.wvr.line364.yml true 9.26 6.12 None chl-time-symm.wvr.line365.yml true 9.54 6.66 None chl-time-symm.wvr.line376.yml true 13.06 7.86 None chl-time-symm.wvr.line377.yml true 13.17 7.71 None chl-time-trans.wvr.line466.yml true 13.44 8.56 None chl-time-trans.wvr.line467.yml true 14.10 9.48 None chl-time-trans.wvr.line481.yml true 13.04 8.28 None chl-time-trans.wvr.line482.yml true 12.88 8.21 None chl-time-trans.wvr.line496.yml true 14.65 10.00 None chl-time-trans.wvr.line497.yml true 16.35 11.22 None chl-time-trans.wvr.line508.yml true 209.34 119.94 None chl-time-trans.wvr.line509.yml true 206.21 116.31 None chl-time-trans.wvr.line520.yml OUT OF MEMORY 602.93 310.42 None chl-time-trans.wvr.line521.yml OUT OF MEMORY 608.62 307.43 None chl-time-trans.wvr.line532.yml OUT OF MEMORY 597.96 311.22 None chl-time-trans.wvr.line533.yml OUT OF MEMORY 828.77 418.90 None circular_buffer_bad.line254.yml true 17.12 10.35 None circular_buffer_bad.line255.yml true 314.32 187.81 None circular_buffer_bad.line337.yml true 48.68 32.35 None circular_buffer_bad.line338.yml true 84.24 51.48 None circular_buffer_bad.line530.yml true 6.72 4.86 None circular_buffer_bad.line531.yml true 7.62 5.14 None circular_buffer_bad.line545.yml true 7.12 5.02 None circular_buffer_bad.line546.yml true 7.39 5.15 None circular_buffer_bad.line557.yml true 10.02 6.32 None circular_buffer_bad.line558.yml true 10.43 6.60 None circular_buffer_bad.line569.yml true 17.77 11.27 None circular_buffer_bad.line570.yml true 25.00 14.37 None circular_buffer_ok.line256.yml true 14.87 9.77 None circular_buffer_ok.line257.yml OUT OF MEMORY 96.25 59.97 None circular_buffer_ok.line347.yml true 48.22 35.38 None circular_buffer_ok.line348.yml true 75.97 52.27 None circular_buffer_ok.line541.yml true 7.24 4.98 None circular_buffer_ok.line542.yml true 9.36 5.73 None circular_buffer_ok.line556.yml true 7.33 4.85 None circular_buffer_ok.line557.yml true 8.85 5.59 None circular_buffer_ok.line568.yml true 10.42 6.45 None circular_buffer_ok.line569.yml true 12.64 7.52 None circular_buffer_ok.line580.yml true 18.91 13.26 None circular_buffer_ok.line581.yml true 24.15 14.28 None clever.wvr.line227.yml true 6.93 4.80 None clever.wvr.line228.yml true 6.85 4.77 None clever.wvr.line242.yml true 6.47 4.70 None clever.wvr.line243.yml true 8.45 5.27 None clever.wvr.line254.yml true 6.55 4.89 None clever.wvr.line255.yml true 7.18 4.81 None clever.wvr.line266.yml true 9.81 5.80 None clever.wvr.line267.yml true 7.12 4.94 None condvar.line398.yml true 6.17 4.09 None condvar.line399.yml true 5.96 4.03 None condvar.line423.yml true 8.68 5.24 None condvar.line424.yml true 145.66 121.57 None condvar_spurious_wakeup.line389.yml true 5.71 4.16 None condvar_spurious_wakeup.line390.yml true 6.08 4.38 None condvar_spurious_wakeup.line413.yml true 7.20 4.59 None condvar_spurious_wakeup.line414.yml true 182.90 133.10 None dekker-b.line357.yml true 6.45 4.58 None dekker-b.line358.yml true 6.35 4.70 None dekker-b.line372.yml true 6.18 4.23 None dekker-b.line373.yml true 6.82 4.67 None dekker-b.line384.yml true 6.69 4.84 None dekker-b.line385.yml true 7.39 4.82 None dekker-b.line396.yml true 7.32 5.88 None dekker-b.line397.yml true 7.67 5.24 None dekker.line458.yml true 6.77 4.52 None dekker.line459.yml true 7.00 5.19 None dekker.line473.yml true 6.58 4.48 None dekker.line474.yml true 6.99 4.58 None dekker.line485.yml true 9.30 6.04 None dekker.line486.yml true 10.12 6.27 None dekker.line497.yml true 12.37 7.31 None dekker.line498.yml true 15.86 8.84 None divinefifo_1w1r.line1002.yml OUT OF MEMORY 56.02 39.61 None divinefifo_1w1r.line1003.yml OUT OF MEMORY 72.92 54.53 None divinefifo_1w1r.line1014.yml OUT OF MEMORY 84.66 62.19 None divinefifo_1w1r.line1015.yml OUT OF MEMORY 64.52 45.40 None divinefifo_1w1r.line1024.yml OUT OF MEMORY 67.94 45.86 None divinefifo_1w1r.line1025.yml OUT OF MEMORY 77.69 49.18 None divinefifo_1w1r.line1034.yml OUT OF MEMORY 86.14 63.98 None divinefifo_1w1r.line1035.yml OUT OF MEMORY 69.81 47.76 None divinefifo_1w1r.line1044.yml OUT OF MEMORY 66.16 44.56 None divinefifo_1w1r.line1045.yml OUT OF MEMORY 74.54 51.61 None divinefifo_1w1r.line1072.yml OUT OF MEMORY 55.71 38.88 None divinefifo_1w1r.line1073.yml OUT OF MEMORY 184.75 147.13 None divinefifo_1w1r.line1082.yml OUT OF MEMORY 68.83 43.65 None divinefifo_1w1r.line1083.yml OUT OF MEMORY 78.35 48.24 None divinefifo_1w1r.line1092.yml OUT OF MEMORY 71.09 49.58 None divinefifo_1w1r.line1093.yml OUT OF MEMORY 76.61 54.63 None divinefifo_1w1r.line1110.yml OUT OF MEMORY 65.48 44.79 None divinefifo_1w1r.line1111.yml OUT OF MEMORY 117.35 82.27 None divinefifo_1w1r.line1122.yml OUT OF MEMORY 80.54 55.67 None divinefifo_1w1r.line1123.yml OUT OF MEMORY 85.39 55.57 None divinefifo_1w1r.line1132.yml OUT OF MEMORY 111.32 78.94 None divinefifo_1w1r.line1133.yml OUT OF MEMORY 362.40 302.13 None divinefifo_1w1r.line1143.yml OUT OF MEMORY 63.21 40.20 None divinefifo_1w1r.line1144.yml OUT OF MEMORY 66.12 39.36 None divinefifo_1w1r.line1154.yml OUT OF MEMORY 82.50 51.69 None divinefifo_1w1r.line1155.yml OUT OF MEMORY 69.17 43.54 None divinefifo_1w1r.line1166.yml TIMEOUT 900.75 760.12 None divinefifo_1w1r.line1167.yml OUT OF MEMORY 444.35 382.64 None divinefifo_1w1r.line1168.yml OUT OF MEMORY 84.18 51.35 None divinefifo_1w1r.line1184.yml OUT OF MEMORY 76.47 50.47 None divinefifo_1w1r.line1185.yml OUT OF MEMORY 199.30 153.98 None divinefifo_1w1r.line1194.yml OUT OF MEMORY 111.77 72.23 None divinefifo_1w1r.line1195.yml TIMEOUT 900.95 749.70 None divinefifo_1w1r.line1211.yml OUT OF MEMORY 545.50 478.81 None divinefifo_1w1r.line1212.yml TIMEOUT 901.53 780.38 None divinefifo_1w1r.line1234.yml TIMEOUT 901.31 709.30 None divinefifo_1w1r.line1235.yml TIMEOUT 900.82 847.07 None divinefifo_1w1r.line1244.yml OUT OF MEMORY 113.11 83.85 None divinefifo_1w1r.line1245.yml TIMEOUT 901.70 719.27 None divinefifo_1w1r.line1256.yml OUT OF MEMORY 85.22 66.36 None divinefifo_1w1r.line1257.yml OUT OF MEMORY 130.82 103.68 None divinefifo_1w1r.line1266.yml TIMEOUT 900.98 709.31 None divinefifo_1w1r.line1267.yml TIMEOUT 901.30 840.11 None divinefifo_1w1r.line1276.yml OUT OF MEMORY 96.11 69.73 None divinefifo_1w1r.line1277.yml OUT OF MEMORY 141.20 112.68 None divinefifo_1w1r.line1286.yml OUT OF MEMORY 250.47 209.07 None divinefifo_1w1r.line1287.yml TIMEOUT 901.25 711.85 None divinefifo_1w1r.line1314.yml OUT OF MEMORY 75.37 50.80 None divinefifo_1w1r.line1315.yml OUT OF MEMORY 154.63 124.78 None divinefifo_1w1r.line1324.yml OUT OF MEMORY 116.39 79.33 None divinefifo_1w1r.line1325.yml OUT OF MEMORY 277.13 217.71 None divinefifo_1w1r.line1336.yml OUT OF MEMORY 85.77 62.76 None divinefifo_1w1r.line1337.yml OUT OF MEMORY 68.42 48.34 None divinefifo_1w1r.line1348.yml OUT OF MEMORY 61.26 39.22 None divinefifo_1w1r.line1349.yml OUT OF MEMORY 152.30 124.30 None divinefifo_1w1r.line1358.yml OUT OF MEMORY 152.87 122.10 None divinefifo_1w1r.line1359.yml OUT OF MEMORY 331.04 292.24 None divinefifo_1w1r.line1368.yml OUT OF MEMORY 83.64 49.60 None divinefifo_1w1r.line1369.yml OUT OF MEMORY 151.73 123.64 None divinefifo_1w1r.line1382.yml OUT OF MEMORY 65.22 40.47 None divinefifo_1w1r.line1383.yml OUT OF MEMORY 169.42 136.86 None divinefifo_1w1r.line1392.yml OUT OF MEMORY 65.73 41.13 None divinefifo_1w1r.line1393.yml OUT OF MEMORY 79.74 52.82 None divinefifo_1w1r.line1409.yml OUT OF MEMORY 79.16 45.88 None divinefifo_1w1r.line1410.yml OUT OF MEMORY 249.21 205.11 None divinefifo_1w1r.line1421.yml OUT OF MEMORY 68.94 40.97 None divinefifo_1w1r.line1422.yml TIMEOUT 901.27 818.23 None divinefifo_1w1r.line1431.yml OUT OF MEMORY 70.31 47.59 None divinefifo_1w1r.line1432.yml TIMEOUT 901.56 863.24 None divinefifo_1w1r.line1442.yml OUT OF MEMORY 189.60 141.22 None divinefifo_1w1r.line1443.yml OUT OF MEMORY 316.29 237.57 None divinefifo_1w1r.line1453.yml OUT OF MEMORY 159.23 117.39 None divinefifo_1w1r.line1454.yml OUT OF MEMORY 122.29 91.40 None divinefifo_1w1r.line1465.yml TIMEOUT 901.25 707.92 None divinefifo_1w1r.line1466.yml TIMEOUT 900.96 735.24 None divinefifo_1w1r.line1467.yml OUT OF MEMORY 68.57 41.54 None divinefifo_1w1r.line1487.yml TIMEOUT 900.81 736.13 None divinefifo_1w1r.line1488.yml OUT OF MEMORY 414.09 349.17 None divinefifo_1w1r.line1497.yml TIMEOUT 901.34 703.89 None divinefifo_1w1r.line1498.yml TIMEOUT 902.70 841.93 None divinefifo_1w1r.line1507.yml OUT OF MEMORY 62.60 42.96 None divinefifo_1w1r.line1508.yml OUT OF MEMORY 360.00 298.10 None divinefifo_1w1r.line1525.yml OUT OF MEMORY 90.61 53.61 None divinefifo_1w1r.line1526.yml OUT OF MEMORY 243.88 196.39 None divinefifo_1w1r.line1537.yml OUT OF MEMORY 228.09 147.33 None divinefifo_1w1r.line1538.yml OUT OF MEMORY 108.55 76.87 None divinefifo_1w1r.line1547.yml OUT OF MEMORY 401.22 279.43 None divinefifo_1w1r.line1548.yml TIMEOUT 901.38 709.81 None divinefifo_1w1r.line1558.yml OUT OF MEMORY 221.40 175.17 None divinefifo_1w1r.line1559.yml OUT OF MEMORY 91.39 57.63 None divinefifo_1w1r.line1569.yml OUT OF MEMORY 494.85 396.71 None divinefifo_1w1r.line1570.yml OUT OF MEMORY 85.79 54.21 None divinefifo_1w1r.line1581.yml TIMEOUT 901.23 713.51 None divinefifo_1w1r.line1582.yml TIMEOUT 901.25 832.49 None divinefifo_1w1r.line1583.yml OUT OF MEMORY 172.97 131.15 None divinefifo_1w1r.line1615.yml OUT OF MEMORY 97.71 68.10 None divinefifo_1w1r.line1616.yml OUT OF MEMORY 82.96 50.20 None divinefifo_1w1r.line1625.yml OUT OF MEMORY 94.67 66.87 None divinefifo_1w1r.line1626.yml OUT OF MEMORY 67.70 43.25 None divinefifo_1w1r.line1637.yml OUT OF MEMORY 99.34 68.45 None divinefifo_1w1r.line1638.yml OUT OF MEMORY 68.97 42.56 None divinefifo_1w1r.line1647.yml OUT OF MEMORY 86.11 56.80 None divinefifo_1w1r.line1648.yml OUT OF MEMORY 64.04 40.06 None divinefifo_1w1r.line1657.yml OUT OF MEMORY 109.08 76.53 None divinefifo_1w1r.line1658.yml OUT OF MEMORY 72.80 44.36 None divinefifo_1w1r.line1667.yml OUT OF MEMORY 55.57 35.06 None divinefifo_1w1r.line1668.yml OUT OF MEMORY 68.16 42.58 None divinefifo_1w1r.line1695.yml OUT OF MEMORY 63.36 40.20 None divinefifo_1w1r.line1696.yml OUT OF MEMORY 69.15 43.41 None divinefifo_1w1r.line1712.yml OUT OF MEMORY 118.60 75.77 None divinefifo_1w1r.line1713.yml OUT OF MEMORY 51.43 32.50 None divinefifo_1w1r.line1722.yml OUT OF MEMORY 86.94 58.86 None divinefifo_1w1r.line1723.yml OUT OF MEMORY 79.01 49.17 None divinefifo_1w1r.line1734.yml OUT OF MEMORY 93.72 65.00 None divinefifo_1w1r.line1735.yml OUT OF MEMORY 75.32 46.26 None divinefifo_1w1r.line1744.yml OUT OF MEMORY 90.40 55.50 None divinefifo_1w1r.line1745.yml OUT OF MEMORY 66.80 43.76 None divinefifo_1w1r.line1754.yml OUT OF MEMORY 98.55 67.90 None divinefifo_1w1r.line1755.yml OUT OF MEMORY 105.73 61.72 None divinefifo_1w1r.line1764.yml OUT OF MEMORY 219.26 159.35 None divinefifo_1w1r.line1765.yml OUT OF MEMORY 61.91 39.33 None divinefifo_1w1r.line1800.yml OUT OF MEMORY 120.07 76.96 None divinefifo_1w1r.line1801.yml OUT OF MEMORY 66.67 42.35 None divinefifo_1w1r.line1810.yml OUT OF MEMORY 97.96 69.78 None divinefifo_1w1r.line1811.yml OUT OF MEMORY 72.38 45.53 None divinefifo_1w1r.line1828.yml OUT OF MEMORY 97.75 68.68 None divinefifo_1w1r.line1829.yml OUT OF MEMORY 79.49 50.12 None divinefifo_1w1r.line1838.yml OUT OF MEMORY 75.13 48.03 None divinefifo_1w1r.line1839.yml OUT OF MEMORY 68.83 44.96 None divinefifo_1w1r.line1854.yml OUT OF MEMORY 111.66 71.97 None divinefifo_1w1r.line1855.yml OUT OF MEMORY 81.59 50.85 None divinefifo_1w1r.line1862.yml OUT OF MEMORY 74.19 46.13 None divinefifo_1w1r.line1863.yml OUT OF MEMORY 74.92 48.05 None divinefifo_1w1r.line1864.yml OUT OF MEMORY 188.00 124.19 None divinefifo_1w1r.line1875.yml OUT OF MEMORY 77.11 49.01 None divinefifo_1w1r.line1876.yml OUT OF MEMORY 72.87 46.10 None divinefifo_1w1r.line1885.yml OUT OF MEMORY 93.78 67.52 None divinefifo_1w1r.line1886.yml OUT OF MEMORY 68.78 43.93 None divinefifo_1w1r.line1893.yml OUT OF MEMORY 83.50 50.58 None divinefifo_1w1r.line1894.yml OUT OF MEMORY 70.64 45.27 None divinefifo_1w1r.line1895.yml OUT OF MEMORY 108.23 68.06 None divinefifo_1w1r.line286.yml OUT OF MEMORY 130.32 85.19 None divinefifo_1w1r.line287.yml true 111.15 84.03 None divinefifo_1w1r.line296.yml TIMEOUT 901.36 801.84 None divinefifo_1w1r.line297.yml TIMEOUT 900.82 819.94 None divinefifo_1w1r.line306.yml OUT OF MEMORY 130.52 81.60 None divinefifo_1w1r.line307.yml true 91.10 70.01 None divinefifo_1w1r.line339.yml OUT OF MEMORY 37.03 24.02 None divinefifo_1w1r.line340.yml true 68.89 49.41 None divinefifo_1w1r.line349.yml OUT OF MEMORY 88.32 57.90 None divinefifo_1w1r.line350.yml true 97.99 74.25 None divinefifo_1w1r.line359.yml OUT OF MEMORY 80.86 53.52 None divinefifo_1w1r.line360.yml true 83.54 61.15 None divinefifo_1w1r.line380.yml OUT OF MEMORY 153.04 98.31 None divinefifo_1w1r.line381.yml true 221.02 141.52 None divinefifo_1w1r.line393.yml TIMEOUT 902.35 709.90 None divinefifo_1w1r.line394.yml OUT OF MEMORY 170.58 120.57 None divinefifo_1w1r.line404.yml TIMEOUT 901.63 844.75 None divinefifo_1w1r.line405.yml OUT OF MEMORY 181.81 143.43 None divinefifo_1w1r.line414.yml OUT OF MEMORY 263.87 194.78 None divinefifo_1w1r.line415.yml true 107.15 85.13 None divinefifo_1w1r.line426.yml OUT OF MEMORY 202.33 155.29 None divinefifo_1w1r.line427.yml true 178.17 149.34 None divinefifo_1w1r.line437.yml TIMEOUT 900.94 726.06 None divinefifo_1w1r.line438.yml OUT OF MEMORY 56.17 34.44 None divinefifo_1w1r.line449.yml TIMEOUT 901.79 757.06 None divinefifo_1w1r.line450.yml true 78.25 56.45 None divinefifo_1w1r.line460.yml ERROR: EXCEPTION 75.73 51.17 None divinefifo_1w1r.line461.yml OUT OF MEMORY 726.52 647.30 None divinefifo_1w1r.line471.yml OUT OF MEMORY 191.68 137.57 None ---------------------------------------------------------------------------------------------------- Run set 3 done 49949.56 3081.20 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 4 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 5 of 19: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.single-assert-memsafety-chunk26 Run set 6 of 19: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.single-assert-memsafety-chunk26 Run set 7 of 19: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 8 of 19: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 9 of 19: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 10 of 19: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 11 of 19: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 12 of 19: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.single-assert-memsafety-chunk26 Run set 13 of 19: skipped GemCutter.SleepMap.Flip05_seed0_PURE.single-assert-memsafety-chunk26 Run set 14 of 19: skipped GemCutter.SleepMap.Flip10_seed0_PURE.single-assert-memsafety-chunk26 Run set 15 of 19: skipped GemCutter.SleepMap.Flip15_seed0_PURE.single-assert-memsafety-chunk26 Run set 16 of 19: skipped GemCutter.SleepMap.Flip85_seed0_PURE.single-assert-memsafety-chunk26 Run set 17 of 19: skipped GemCutter.SleepMap.Flip90_seed0_PURE.single-assert-memsafety-chunk26 Run set 18 of 19: skipped GemCutter.SleepMap.Flip95_seed0_PURE.single-assert-memsafety-chunk26 Run set 19 of 19: skipped Statistics: 900 Files correct: 402 correct true: 402 correct false: 0 incorrect: 7 incorrect true: 0 incorrect false: 7 unknown: 491 Score: 692 (max: 1800)