BENCHMARK INFORMATION benchmark definition: ../benchexec/sleep-threadmodular.xml name: sleep-threadmodular run sets: SleepExplicit.Eldarica.threadmodular-examples, SleepExplicit.Z3.threadmodular-examples, SleepExplicit.Golem.threadmodular-examples, SleepExplicit.TreeAutomizer.threadmodular-examples, SleepSymbolic.Eldarica.threadmodular-examples, SleepSymbolic.Z3.threadmodular-examples, SleepSymbolic.Golem.threadmodular-examples, SleepSymbolic.TreeAutomizer.threadmodular-examples, NoSleep.Eldarica.threadmodular-examples, NoSleep.Z3.threadmodular-examples, NoSleep.Golem.threadmodular-examples, NoSleep.TreeAutomizer.threadmodular-examples, UniHorn.threadmodular-examples date: Mon, 2023-06-12 09:45:05 CEST tool: ULTIMATE Automizer 0.2.3-3a8dd60c tool executable: ./Ultimate.py options: --force-no-wrapper -s '${taskdef_path}/ThreadModularVerifier.Settings.epf' parallel runs: 7 resource limits: - memory: 15000.0 MB - time: 1800 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.15.60-1-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 ------------------------------------------------------------ SleepExplicit.Eldarica.threadmodular-examples Run set 1 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --chcsolver.chc.solver.backend ELDARICA --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat true --chcsolver.produce.unsat.core.if.query.is.unsat true' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 456.13 406.24 None add-sub-positive-k/add-sub-positive-k.yml unknown 499.67 460.19 None bluetooth/bluetooth.yml TIMEOUT 1803.27 1305.71 None equalsum-fork/equalsum-fork.yml ERROR: EXCEPTION 649.21 358.33 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1801.57 1630.93 None inc-bdec/inc-bdec.yml unknown 95.11 59.95 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml unknown 790.57 741.02 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.92 1705.54 None inc-dec-eq0/inc-dec-eq0.yml unknown 100.57 74.58 None inc-dec-geq0/inc-dec-geq0.yml unknown 132.38 91.42 None lock/lock.yml unknown 33.69 18.91 None numbered-array/numbered-array.yml unknown 90.81 58.11 None thread-pooling/thread-pooling.yml TIMEOUT 1801.83 1669.33 None ticket/ticket.yml TIMEOUT 1801.42 1611.10 None ------------------------------------------------------------------------------------------------------------------------ Run set 1 done 11858.37 2130.02 - SleepExplicit.Z3.threadmodular-examples Run set 2 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --chcsolver.chc.solver.backend Z3 --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 387.70 384.25 None add-sub-positive-k/add-sub-positive-k.yml unknown 549.04 546.59 None bluetooth/bluetooth.yml TIMEOUT 1801.74 1795.01 None equalsum-fork/equalsum-fork.yml unknown 233.86 230.32 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1801.72 1795.83 None inc-bdec/inc-bdec.yml unknown 71.39 68.08 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1801.70 1798.28 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.71 1795.12 None inc-dec-eq0/inc-dec-eq0.yml unknown 375.77 373.02 None inc-dec-geq0/inc-dec-geq0.yml unknown 10.10 7.07 None lock/lock.yml unknown 7.38 4.38 None numbered-array/numbered-array.yml unknown 7.17 4.27 None thread-pooling/thread-pooling.yml TIMEOUT 1801.76 1794.88 None ticket/ticket.yml TIMEOUT 1801.79 1798.87 None ------------------------------------------------------------------------------------------------------------------------ Run set 2 done 12453.07 2345.93 - SleepExplicit.Golem.threadmodular-examples Run set 3 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --chcsolver.chc.solver.backend GOLEM --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 75.21 71.76 None add-sub-positive-k/add-sub-positive-k.yml unknown 143.19 140.56 None bluetooth/bluetooth.yml TIMEOUT 1801.50 1794.68 None equalsum-fork/equalsum-fork.yml ERROR: EXCEPTION 7.37 4.31 None equalsum-ghost/equalsum-ghost.yml ERROR: EXCEPTION 8.06 4.51 None inc-bdec/inc-bdec.yml unknown 30.47 27.02 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1801.41 1797.68 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.39 1797.21 None inc-dec-eq0/inc-dec-eq0.yml unknown 26.99 23.78 None inc-dec-geq0/inc-dec-geq0.yml unknown 10.40 7.29 None lock/lock.yml unknown 8.17 4.99 None numbered-array/numbered-array.yml ERROR: EXCEPTION 7.75 4.37 None thread-pooling/thread-pooling.yml ERROR: EXCEPTION 9.14 5.10 None ticket/ticket.yml TIMEOUT 1801.44 1797.47 None ------------------------------------------------------------------------------------------------------------------------ Run set 3 done 7532.72 1836.51 - SleepExplicit.TreeAutomizer.threadmodular-examples Run set 4 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --chcsolver.chc.solver.backend TREEAUTOMIZER --chcsolver.produce.chc.model.if.query.is.sat false --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat true --rcfgbuilder.smt.solver Internal_SMTInterpol' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml TIMEOUT 1800.96 1768.80 None add-sub-positive-k/add-sub-positive-k.yml TIMEOUT 1800.89 1779.98 None bluetooth/bluetooth.yml TIMEOUT 1801.36 1704.60 None equalsum-fork/equalsum-fork.yml TIMEOUT 1800.54 1770.37 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1801.01 1762.37 None inc-bdec/inc-bdec.yml TIMEOUT 1800.64 1771.00 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1800.88 1767.71 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1800.98 1766.41 None inc-dec-eq0/inc-dec-eq0.yml TIMEOUT 1800.80 1774.65 None inc-dec-geq0/inc-dec-geq0.yml TIMEOUT 1800.64 1783.02 None lock/lock.yml unknown 148.75 126.67 None numbered-array/numbered-array.yml TIMEOUT 1800.66 1779.32 None thread-pooling/thread-pooling.yml TIMEOUT 1800.68 1769.35 None ticket/ticket.yml TIMEOUT 1800.83 1781.33 None ------------------------------------------------------------------------------------------------------------------------ Run set 4 done 23559.87 3561.82 - SleepSymbolic.Eldarica.threadmodular-examples Run set 5 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.break.symmetry.of.preference.order false --chcsolver.chc.solver.backend ELDARICA --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat true --chcsolver.produce.unsat.core.if.query.is.unsat true' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 1072.26 1002.44 None add-sub-positive-k/add-sub-positive-k.yml TIMEOUT 1801.70 1702.41 None bluetooth/bluetooth.yml TIMEOUT 1802.23 1627.08 None equalsum-fork/equalsum-fork.yml TIMEOUT 1802.64 996.03 None equalsum-ghost/equalsum-ghost.yml ERROR: EXCEPTION 1613.36 1140.19 None inc-bdec/inc-bdec.yml ERROR: EXCEPTION 422.76 345.58 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1801.58 1743.08 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.88 1716.03 None inc-dec-eq0/inc-dec-eq0.yml unknown 670.09 622.63 None inc-dec-geq0/inc-dec-geq0.yml unknown 206.66 154.92 None lock/lock.yml unknown 47.63 24.73 None numbered-array/numbered-array.yml unknown 506.93 269.18 None thread-pooling/thread-pooling.yml TIMEOUT 1804.47 1283.16 None ticket/ticket.yml TIMEOUT 1801.71 1722.22 None ------------------------------------------------------------------------------------------------------------------------ Run set 5 done 17156.13 3149.69 - SleepSymbolic.Z3.threadmodular-examples Run set 6 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.break.symmetry.of.preference.order false --chcsolver.chc.solver.backend Z3 --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 224.09 220.50 None add-sub-positive-k/add-sub-positive-k.yml unknown 978.55 975.96 None bluetooth/bluetooth.yml TIMEOUT 1801.76 1794.37 None equalsum-fork/equalsum-fork.yml unknown 310.38 307.27 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1801.74 1795.35 None inc-bdec/inc-bdec.yml unknown 176.91 173.37 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1801.71 1798.05 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.72 1794.94 None inc-dec-eq0/inc-dec-eq0.yml unknown 51.47 47.89 None inc-dec-geq0/inc-dec-geq0.yml unknown 7.32 4.54 None lock/lock.yml unknown 7.17 4.29 None numbered-array/numbered-array.yml unknown 7.31 4.35 None thread-pooling/thread-pooling.yml TIMEOUT 1801.70 1794.67 None ticket/ticket.yml TIMEOUT 1801.69 1798.31 None ------------------------------------------------------------------------------------------------------------------------ Run set 6 done 12573.78 2106.14 - SleepSymbolic.Golem.threadmodular-examples Run set 7 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.break.symmetry.of.preference.order false --chcsolver.chc.solver.backend GOLEM --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 400.53 396.20 None add-sub-positive-k/add-sub-positive-k.yml unknown 1422.75 1418.92 None bluetooth/bluetooth.yml TIMEOUT 1801.45 1794.83 None equalsum-fork/equalsum-fork.yml ERROR: EXCEPTION 7.04 4.11 None equalsum-ghost/equalsum-ghost.yml ERROR: EXCEPTION 7.70 4.40 None inc-bdec/inc-bdec.yml unknown 165.65 161.15 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1801.44 1797.30 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.39 1797.49 None inc-dec-eq0/inc-dec-eq0.yml unknown 389.77 385.24 None inc-dec-geq0/inc-dec-geq0.yml unknown 9.44 6.25 None lock/lock.yml unknown 7.43 4.49 None numbered-array/numbered-array.yml ERROR: EXCEPTION 7.19 4.19 None thread-pooling/thread-pooling.yml ERROR: EXCEPTION 9.11 5.18 None ticket/ticket.yml TIMEOUT 1801.45 1795.71 None ------------------------------------------------------------------------------------------------------------------------ Run set 7 done 9632.60 1979.03 - SleepSymbolic.TreeAutomizer.threadmodular-examples Run set 8 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.break.symmetry.of.preference.order false --chcsolver.chc.solver.backend TREEAUTOMIZER --chcsolver.produce.chc.model.if.query.is.sat false --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat true --rcfgbuilder.smt.solver Internal_SMTInterpol' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml TIMEOUT 1800.60 1775.52 None add-sub-positive-k/add-sub-positive-k.yml TIMEOUT 1800.57 1781.69 None bluetooth/bluetooth.yml TIMEOUT 1800.78 1772.22 None equalsum-fork/equalsum-fork.yml TIMEOUT 1800.50 1775.16 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1800.93 1760.77 None inc-bdec/inc-bdec.yml TIMEOUT 1800.53 1774.65 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1800.53 1779.89 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1800.58 1773.11 None inc-dec-eq0/inc-dec-eq0.yml TIMEOUT 1801.00 1769.61 None inc-dec-geq0/inc-dec-geq0.yml TIMEOUT 1800.59 1777.79 None lock/lock.yml unknown 186.43 166.38 None numbered-array/numbered-array.yml TIMEOUT 1801.26 1777.13 None thread-pooling/thread-pooling.yml TIMEOUT 1800.68 1776.95 None ticket/ticket.yml TIMEOUT 1800.58 1783.37 None ------------------------------------------------------------------------------------------------------------------------ Run set 8 done 23595.80 3565.55 - NoSleep.Eldarica.threadmodular-examples Run set 9 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.enable.sleep.set.reduction false --chcsolver.chc.solver.backend ELDARICA --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat true --chcsolver.produce.unsat.core.if.query.is.unsat true' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 56.24 30.63 None add-sub-positive-k/add-sub-positive-k.yml unknown 69.62 43.99 None bluetooth/bluetooth.yml unknown 941.81 799.90 None equalsum-fork/equalsum-fork.yml unknown 49.65 27.90 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1802.25 1639.03 None inc-bdec/inc-bdec.yml unknown 46.90 24.38 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml unknown 68.52 46.46 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml unknown 204.32 160.01 None inc-dec-eq0/inc-dec-eq0.yml unknown 30.09 17.32 None inc-dec-geq0/inc-dec-geq0.yml unknown 33.65 17.88 None lock/lock.yml unknown 18.36 10.14 None numbered-array/numbered-array.yml unknown 24.56 13.13 None thread-pooling/thread-pooling.yml TIMEOUT 1804.34 1144.55 None ticket/ticket.yml TIMEOUT 1802.00 1700.82 None ------------------------------------------------------------------------------------------------------------------------ Run set 9 done 6952.54 1750.08 - NoSleep.Z3.threadmodular-examples Run set 10 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.enable.sleep.set.reduction false --chcsolver.chc.solver.backend Z3 --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 26.34 23.68 None add-sub-positive-k/add-sub-positive-k.yml unknown 51.34 49.27 None bluetooth/bluetooth.yml unknown 1132.98 1128.38 None equalsum-fork/equalsum-fork.yml unknown 8.45 6.43 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1801.73 1795.49 None inc-bdec/inc-bdec.yml unknown 9.31 6.17 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml unknown 1362.02 1359.32 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.74 1796.09 None inc-dec-eq0/inc-dec-eq0.yml unknown 11.42 9.43 None inc-dec-geq0/inc-dec-geq0.yml unknown 6.02 3.76 None lock/lock.yml unknown 5.77 3.58 None numbered-array/numbered-array.yml unknown 6.85 4.11 None thread-pooling/thread-pooling.yml TIMEOUT 1801.70 1798.46 None ticket/ticket.yml unknown 1257.36 1252.70 None ------------------------------------------------------------------------------------------------------------------------ Run set 10 done 9283.28 1822.75 - NoSleep.Golem.threadmodular-examples Run set 11 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.enable.sleep.set.reduction false --chcsolver.chc.solver.backend GOLEM --chcsolver.produce.chc.model.if.query.is.sat true --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml unknown 21.09 18.13 None add-sub-positive-k/add-sub-positive-k.yml unknown 92.95 90.78 None bluetooth/bluetooth.yml TIMEOUT 1801.42 1795.61 None equalsum-fork/equalsum-fork.yml ERROR: EXCEPTION 5.13 3.22 None equalsum-ghost/equalsum-ghost.yml ERROR: EXCEPTION 7.16 4.01 None inc-bdec/inc-bdec.yml unknown 9.43 6.38 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml unknown 1568.32 1564.26 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1801.39 1798.12 None inc-dec-eq0/inc-dec-eq0.yml unknown 11.02 8.12 None inc-dec-geq0/inc-dec-geq0.yml unknown 6.91 4.13 None lock/lock.yml unknown 6.92 4.05 None numbered-array/numbered-array.yml ERROR: EXCEPTION 6.69 3.87 None thread-pooling/thread-pooling.yml ERROR: EXCEPTION 7.16 4.08 None ticket/ticket.yml TIMEOUT 1801.47 1795.50 None ------------------------------------------------------------------------------------------------------------------------ Run set 11 done 7147.30 1812.65 - NoSleep.TreeAutomizer.threadmodular-examples Run set 12 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularVerifier.xml --icfgtochc.enable.sleep.set.reduction false --chcsolver.chc.solver.backend TREEAUTOMIZER --chcsolver.produce.chc.model.if.query.is.sat false --chcsolver.produce.derivation.if.query.is.unsat false --chcsolver.produce.unsat.core.if.query.is.unsat true --rcfgbuilder.smt.solver Internal_SMTInterpol' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml TIMEOUT 1800.56 1778.13 None add-sub-positive-k/add-sub-positive-k.yml TIMEOUT 1800.51 1785.38 None bluetooth/bluetooth.yml TIMEOUT 1801.09 1764.01 None equalsum-fork/equalsum-fork.yml TIMEOUT 1800.58 1781.07 None equalsum-ghost/equalsum-ghost.yml TIMEOUT 1800.61 1775.77 None inc-bdec/inc-bdec.yml TIMEOUT 1801.20 1775.33 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml TIMEOUT 1800.60 1782.96 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml TIMEOUT 1800.66 1774.31 None inc-dec-eq0/inc-dec-eq0.yml TIMEOUT 1801.28 1773.07 None inc-dec-geq0/inc-dec-geq0.yml TIMEOUT 1800.66 1784.87 None lock/lock.yml unknown 106.87 87.15 None numbered-array/numbered-array.yml TIMEOUT 1800.44 1786.37 None thread-pooling/thread-pooling.yml TIMEOUT 1800.69 1778.42 None ticket/ticket.yml TIMEOUT 1800.66 1785.95 None ------------------------------------------------------------------------------------------------------------------------ Run set 12 done 23516.66 3571.83 - UniHorn.threadmodular-examples Run set 13 of 13 with options '--force-no-wrapper -s ${taskdef_path}/ThreadModularVerifier.Settings.epf -tc ../../../trunk/examples/threadmodular/regression/ThreadModularUniHorn.xml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------ add-sub-k/add-sub-k.yml OUT OF MEMORY 372.09 228.78 None add-sub-positive-k/add-sub-positive-k.yml OUT OF MEMORY 341.10 237.36 None bluetooth/bluetooth.yml OUT OF MEMORY 762.02 477.36 None equalsum-fork/equalsum-fork.yml ERROR: EXCEPTION 227.01 144.65 None equalsum-ghost/equalsum-ghost.yml OUT OF MEMORY 526.37 340.58 None inc-bdec/inc-bdec.yml OUT OF MEMORY 296.96 172.08 None inc-dec-eq0-locked-assert/inc-dec-eq0-locked-assert.yml OUT OF MEMORY 189.60 129.93 None inc-dec-eq0-locked/inc-dec-eq0-locked.yml OUT OF MEMORY 316.67 217.53 None inc-dec-eq0/inc-dec-eq0.yml OUT OF MEMORY 204.06 136.61 None inc-dec-geq0/inc-dec-geq0.yml OUT OF MEMORY 395.71 242.93 None lock/lock.yml true 51.55 30.90 None numbered-array/numbered-array.yml OUT OF MEMORY 268.19 167.03 None thread-pooling/thread-pooling.yml OUT OF MEMORY 336.98 202.08 None ticket/ticket.yml OUT OF MEMORY 223.18 143.88 None ------------------------------------------------------------------------------------------------------------------------ Run set 13 done 4511.81 477.54 - Statistics: 182 Files correct: 1 correct true: 1 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 181 Score: 2 (max: 364)