BENCHMARK INFORMATION benchmark definition: ../benchexec/chc-ultimate-goto-be.xml name: chc-ultimate-goto-be run sets: CHC-Goto.CHC date: Sun, 2018-06-24 20:18:39 CEST tool: ULTIMATE Automizer 0.1.23-14921ce3 tool executable: ./Ultimate.py options: parallel runs: 2 resource limits: - memory: 4000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 4000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ CHC-Goto.CHC Run set 1 of 1 with options '-tc ../../../trunk/examples/toolchains/AutomizerCHC_wBE.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/AutomizerCHC/AutomizerCHC_Goto.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------ eldarica-misc/LIA/Consistency/ch-triangle-location-nr.1.smt2 FALSE 44.36 26.12 None eldarica-misc/LIA/Consistency/ch-triangle-location-nr.2.smt2 FALSE 21.46 12.53 None eldarica-misc/LIA/Consistency/ch-triangle-location-nr.3.smt2 FALSE 30.05 17.40 None eldarica-misc/LIA/Consistency/ch-triangle-location-nr.4.smt2 FALSE 31.48 18.88 None eldarica-misc/LIA/Consistency/ch-triangle-location-nr.5.smt2 FALSE 59.51 36.35 None eldarica-misc/LIA/Consistency/ch-triangle-location-nr.6.smt2 FALSE 65.34 41.11 None eldarica-misc/LIA/Consistency/delauny-edge-flipping.7.smt2 FALSE 8.39 4.85 None eldarica-misc/LIA/Consistency/delauny-edge-flipping.8.smt2 TRUE 7.64 4.39 None eldarica-misc/LIA/Consistency/fortune-full.10.smt2 TIMEOUT (ERROR (143)) 90.82 57.25 None eldarica-misc/LIA/Consistency/fortune-full.11.smt2 TIMEOUT (ERROR (143)) 90.88 64.98 None eldarica-misc/LIA/Consistency/fortune-full.12.smt2 TIMEOUT (ERROR (143)) 92.52 56.50 None eldarica-misc/LIA/Consistency/fortune-full.13.smt2 TIMEOUT (ERROR (143)) 90.99 63.18 None eldarica-misc/LIA/Consistency/fortune-full.14.smt2 TIMEOUT (ERROR (143)) 91.68 55.94 None eldarica-misc/LIA/Consistency/fortune-full.15.smt2 TIMEOUT (ERROR (143)) 90.69 62.14 None eldarica-misc/LIA/Consistency/fortune-full.16.smt2 TIMEOUT (ERROR (143)) 90.52 58.52 None eldarica-misc/LIA/Consistency/fortune-full.9.smt2 TIMEOUT (ERROR (143)) 90.68 61.84 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.17.smt2 TIMEOUT (ERROR (143)) 92.83 58.53 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.18.smt2 FALSE 25.24 14.05 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.19.smt2 FALSE 63.17 39.19 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.20.smt2 FALSE 30.28 16.52 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.21.smt2 FALSE 63.46 37.12 None eldarica-misc/LIA/Consistency/fortune-full-nonrobust.22.smt2 FALSE 26.83 14.74 None eldarica-misc/LIA/Consistency/fortune-half.23.smt2 TIMEOUT (ERROR (143)) 90.67 61.45 None eldarica-misc/LIA/Consistency/fortune-half.24.smt2 TIMEOUT (ERROR (143)) 94.23 61.61 None eldarica-misc/LIA/Consistency/giftwrapping.25.smt2 FALSE 18.48 10.53 None eldarica-misc/LIA/Consistency/giftwrapping.26.smt2 FALSE 25.90 14.35 None eldarica-misc/LIA/Consistency/graham.27.smt2 TIMEOUT (ERROR (143)) 90.66 62.72 None eldarica-misc/LIA/Consistency/graham.28.smt2 TIMEOUT (ERROR (143)) 93.81 60.67 None eldarica-misc/LIA/Consistency/graham-scan.29.smt2 TIMEOUT (ERROR (143)) 90.90 61.89 None eldarica-misc/LIA/Consistency/graham-scan.30.smt2 TIMEOUT (ERROR (143)) 90.81 57.36 None eldarica-misc/LIA/Consistency/graham-scan-full.31.smt2 TIMEOUT (ERROR (143)) 91.14 62.50 None eldarica-misc/LIA/Consistency/graham-scan-full.32.smt2 TIMEOUT (ERROR (143)) 90.92 57.93 None eldarica-misc/LIA/Consistency/graham-scan-full.33.smt2 TIMEOUT (ERROR (143)) 92.78 61.27 None eldarica-misc/LIA/Consistency/graham-scan-full.34.smt2 TIMEOUT (ERROR (143)) 97.53 63.38 None eldarica-misc/LIA/Consistency/incremental2.41.smt2 TIMEOUT (ERROR (143)) 91.29 61.29 None eldarica-misc/LIA/Consistency/incremental2.42.smt2 TIMEOUT (ERROR (143)) 103.74 68.09 None eldarica-misc/LIA/Consistency/incremental-2lists.37.smt2 TIMEOUT (ERROR (143)) 90.77 64.57 None eldarica-misc/LIA/Consistency/incremental-2lists.38.smt2 FALSE 48.58 26.80 None eldarica-misc/LIA/Consistency/incremental-2lists.39.smt2 TIMEOUT (ERROR (143)) 91.47 61.19 None eldarica-misc/LIA/Consistency/incremental-2lists.40.smt2 FALSE 37.54 20.78 None eldarica-misc/LIA/Consistency/incremental.35.smt2 TIMEOUT (ERROR (143)) 92.24 60.70 None eldarica-misc/LIA/Consistency/incremental.36.smt2 TIMEOUT (ERROR (143)) 92.21 59.44 None eldarica-misc/LIA/Consistency/point-location.43.smt2 TIMEOUT (ERROR (143)) 91.21 58.41 None eldarica-misc/LIA/Consistency/point-location.44.smt2 TIMEOUT (ERROR (143)) 90.82 54.57 None eldarica-misc/LIA/Consistency/point-location.45.smt2 TIMEOUT (ERROR (143)) 100.04 69.13 None eldarica-misc/LIA/Consistency/point-location.46.smt2 TIMEOUT (ERROR (143)) 91.42 54.55 None eldarica-misc/LIA/Consistency/point-location.47.smt2 TIMEOUT (ERROR (143)) 91.65 58.43 None eldarica-misc/LIA/Consistency/point-location.48.smt2 TIMEOUT (ERROR (143)) 92.98 57.94 None eldarica-misc/LIA/Consistency/point-location-nr.49.smt2 FALSE 16.90 9.51 None eldarica-misc/LIA/Consistency/point-location-nr.50.smt2 FALSE 16.51 9.35 None eldarica-misc/LIA/Consistency/point-location-nr.51.smt2 FALSE 19.20 10.70 None eldarica-misc/LIA/Consistency/point-location-nr.52.smt2 FALSE 17.83 9.92 None eldarica-misc/LIA/Consistency/point-location-nr.53.smt2 FALSE 18.50 10.31 None eldarica-misc/LIA/Consistency/point-location-nr.54.smt2 FALSE 16.99 9.57 None eldarica-misc/LIA/Consistency/slow-hull.55.smt2 TIMEOUT (ERROR (143)) 90.31 64.31 None eldarica-misc/LIA/Consistency/slow-hull.56.smt2 FALSE 87.89 51.25 None eldarica-misc/LIA/HOLA/01.c.smt2 TRUE 8.70 4.99 None eldarica-misc/LIA/HOLA/02.c.smt2 TRUE 11.91 6.48 None eldarica-misc/LIA/HOLA/03.c.smt2 TRUE 13.73 7.53 None eldarica-misc/LIA/HOLA/04.c.smt2 TRUE 7.45 4.37 None eldarica-misc/LIA/HOLA/05.c.smt2 TRUE 9.73 5.49 None eldarica-misc/LIA/HOLA/06.c.smt2 TRUE 13.01 7.20 None eldarica-misc/LIA/HOLA/07.c.smt2 TRUE 12.51 6.85 None eldarica-misc/LIA/HOLA/08.c.smt2 TRUE 12.11 6.67 None eldarica-misc/LIA/HOLA/09.c.smt2 TRUE 16.78 9.03 None eldarica-misc/LIA/HOLA/10.c.smt2 TRUE 11.05 6.14 None eldarica-misc/LIA/HOLA/11.c.smt2 TRUE 10.47 5.92 None eldarica-misc/LIA/HOLA/12.c.smt2 TRUE 24.39 13.03 None eldarica-misc/LIA/HOLA/13.c.smt2 TRUE 11.26 6.21 None eldarica-misc/LIA/HOLA/14.c.smt2 TRUE 12.64 6.99 None eldarica-misc/LIA/HOLA/15.c.smt2 TRUE 12.10 6.73 None eldarica-misc/LIA/HOLA/16.c.smt2 TRUE 8.67 4.97 None eldarica-misc/LIA/HOLA/17.c.smt2 TRUE 14.79 8.17 None eldarica-misc/LIA/HOLA/18.c.smt2 TIMEOUT (ERROR (143)) 91.60 54.47 None eldarica-misc/LIA/HOLA/19.c.smt2 TRUE 14.54 8.03 None eldarica-misc/LIA/HOLA/20.c.smt2 TRUE 18.53 10.08 None eldarica-misc/LIA/HOLA/21.c.smt2 TIMEOUT (ERROR (143)) 90.69 69.11 None eldarica-misc/LIA/HOLA/22.c.smt2 TRUE 12.28 6.77 None eldarica-misc/LIA/HOLA/23.c.smt2 TIMEOUT (ERROR (143)) 91.21 60.88 None eldarica-misc/LIA/HOLA/24.c.smt2 TRUE 12.36 6.80 None eldarica-misc/LIA/HOLA/25.c.smt2 TRUE 12.56 6.86 None eldarica-misc/LIA/HOLA/26.c.smt2 TRUE 15.03 8.13 None eldarica-misc/LIA/HOLA/27.c.smt2 TRUE 12.51 6.76 None eldarica-misc/LIA/HOLA/28.c.smt2 TRUE 11.70 6.52 None eldarica-misc/LIA/HOLA/29.c.smt2 TRUE 14.72 8.07 None eldarica-misc/LIA/HOLA/30.c.smt2 TIMEOUT (ERROR (143)) 92.19 76.41 None eldarica-misc/LIA/HOLA/31.c.smt2 TRUE 22.24 12.30 None eldarica-misc/LIA/HOLA/32.c.smt2 TIMEOUT (ERROR (143)) 91.26 60.51 None eldarica-misc/LIA/HOLA/33.c.smt2 TRUE 15.71 8.48 None eldarica-misc/LIA/HOLA/34.c.smt2 TRUE 17.13 9.58 None eldarica-misc/LIA/HOLA/35.c.smt2 TRUE 8.37 4.84 None eldarica-misc/LIA/HOLA/36.c.smt2 TRUE 22.58 12.10 None eldarica-misc/LIA/HOLA/37.c.smt2 TRUE 11.94 6.69 None eldarica-misc/LIA/HOLA/38.c.smt2 TRUE 13.09 7.26 None eldarica-misc/LIA/HOLA/39.c.smt2 TRUE 12.39 6.64 None eldarica-misc/LIA/HOLA/40.c.smt2 TRUE 15.13 8.24 None eldarica-misc/LIA/HOLA/41.c.smt2 TIMEOUT (ERROR (143)) 92.00 72.38 None eldarica-misc/LIA/HOLA/42.c.smt2 TRUE 15.00 8.21 None eldarica-misc/LIA/HOLA/43.c.smt2 TRUE 9.35 5.20 None eldarica-misc/LIA/HOLA/44.c.smt2 TRUE 14.93 8.32 None eldarica-misc/LIA/HOLA/45.c.smt2 TRUE 17.72 9.54 None eldarica-misc/LIA/HOLA/46.c.smt2 TRUE 9.81 5.56 None eldarica-misc/LIA/llreve/03_while_unsafe.c-1.smt2 FALSE 8.84 5.07 None eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 91.13 69.82 None eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1.smt2 FALSE 13.89 8.30 None eldarica-misc/LIA/llreve/barthe2-big_safe.c-1.smt2 FALSE 10.36 5.94 None eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.94 64.86 None eldarica-misc/LIA/llreve/barthe2_safe.c-1.smt2 FALSE 7.87 4.61 None eldarica-misc/LIA/llreve/barthe_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.62 57.88 None eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1.smt2 FALSE 19.22 10.78 None eldarica-misc/LIA/llreve/barthe_safe.c-1.smt2 FALSE 8.78 5.05 None eldarica-misc/LIA/llreve/barthe_unsafe.c-1.smt2 FALSE 7.00 4.03 None eldarica-misc/LIA/llreve/break_merged_safe.c-1.smt2 TRUE 38.28 23.87 None eldarica-misc/LIA/llreve/break_safe.c-1.smt2 TRUE 65.88 42.87 None eldarica-misc/LIA/llreve/break_single_merged_safe.c-1.smt2 TRUE 55.81 36.56 None eldarica-misc/LIA/llreve/break_single_safe.c-1.smt2 FALSE 8.26 4.81 None eldarica-misc/LIA/llreve/bug15_safe.c-1.smt2 TRUE 9.90 5.67 None eldarica-misc/LIA/llreve/cube_square_unsafe.c-1.smt2 FALSE 13.40 7.81 None eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.90 84.76 None eldarica-misc/LIA/llreve/digits10_inl_safe.c-1.smt2 TIMEOUT (ERROR (143)) 100.58 80.15 None eldarica-misc/LIA/llreve/fib_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 91.78 62.47 None eldarica-misc/LIA/llreve/fib_safe.c-1.smt2 FALSE 8.25 4.86 None eldarica-misc/LIA/llreve/loop2_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.30 59.13 None eldarica-misc/LIA/llreve/loop3_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.91 58.40 None eldarica-misc/LIA/llreve/loop3_safe.c-1.smt2 FALSE 7.00 4.12 None eldarica-misc/LIA/llreve/loop4_merged_safe.c-1.smt2 TRUE 5.85 3.42 None eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1.smt2 FALSE 7.87 4.60 None eldarica-misc/LIA/llreve/loop5_unsafe.c-1.smt2 FALSE 8.05 4.62 None eldarica-misc/LIA/llreve/loop_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 91.11 59.68 None eldarica-misc/LIA/llreve/loop_safe.c-1.smt2 FALSE 8.47 4.98 None eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.38 58.48 None eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1.smt2 FALSE 7.44 4.36 None eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1.smt2 TRUE 21.59 12.60 None eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1.smt2 FALSE 7.98 4.65 None eldarica-misc/LIA/llreve/nested-while_safe.c-1.smt2 TIMEOUT (ERROR (143)) 91.07 59.79 None eldarica-misc/LIA/llreve/nested-while_unsafe.c-1.smt2 FALSE 6.53 3.88 None eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1.smt2 TRUE 16.89 9.70 None eldarica-misc/LIA/llreve/simple-loop_safe.c-1.smt2 FALSE 6.34 3.74 None eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1.smt2 TRUE 16.49 9.68 None eldarica-misc/LIA/llreve/square_twice_safe.c-1.smt2 TIMEOUT (ERROR (143)) 91.10 61.51 None eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1.smt2 TIMEOUT (ERROR (143)) 91.44 61.60 None eldarica-misc/LIA/llreve/upcount_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.40 59.41 None eldarica-misc/LIA/llreve/upcount_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.37 59.20 None eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1.smt2 TIMEOUT (ERROR (143)) 90.94 56.72 None eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1.smt2 FALSE 8.38 4.79 None eldarica-misc/LIA/llreve/while-if_safe.c-1.smt2 FALSE 8.64 4.90 None eldarica-misc/LIA/reve/001b-horn.smt2 ERROR: EXCEPTION 7.93 4.57 None eldarica-misc/LIA/reve/001c-horn.smt2 ERROR: EXCEPTION 8.20 4.71 None eldarica-misc/LIA/reve/001d-horn.smt2 ERROR: EXCEPTION 8.44 4.85 None eldarica-misc/LIA/reve/001-horn.smt2 ERROR: EXCEPTION 8.11 4.65 None eldarica-misc/LIA/reve/002b-horn.smt2 TRUE 8.77 5.09 None eldarica-misc/LIA/reve/002c-horn.smt2 FALSE 8.20 4.80 None eldarica-misc/LIA/reve/002d-horn.smt2 FALSE 7.67 4.45 None eldarica-misc/LIA/reve/002-horn.smt2 TRUE 8.69 5.01 None eldarica-misc/LIA/reve/003b-horn.smt2 TIMEOUT (ERROR (143)) 91.30 59.22 None eldarica-misc/LIA/reve/003c-horn.smt2 FALSE 26.43 15.28 None eldarica-misc/LIA/reve/003d-horn.smt2 FALSE 25.81 14.40 None eldarica-misc/LIA/reve/003-horn.smt2 TIMEOUT (ERROR (143)) 91.21 62.11 None eldarica-misc/LIA/reve/004b-horn.smt2 TIMEOUT (ERROR (143)) 91.79 80.31 None eldarica-misc/LIA/reve/004-horn.smt2 TIMEOUT (ERROR (143)) 91.16 62.43 None eldarica-misc/LIA/reve/005b-horn.smt2 TIMEOUT (ERROR (143)) 91.27 59.64 None eldarica-misc/LIA/reve/005-horn.smt2 TIMEOUT (ERROR (143)) 90.40 60.19 None eldarica-misc/LIA/reve/006b-horn.smt2 TIMEOUT (ERROR (143)) 90.86 60.49 None eldarica-misc/LIA/reve/006-horn.smt2 TIMEOUT (ERROR (143)) 90.97 59.22 None eldarica-misc/LIA/reve/007b-horn.smt2 TRUE 8.38 4.82 None eldarica-misc/LIA/reve/007-horn.smt2 TRUE 8.25 4.84 None eldarica-misc/LIA/reve/008b-horn.smt2 TIMEOUT (ERROR (143)) 91.40 80.25 None eldarica-misc/LIA/reve/008-horn.smt2 TIMEOUT (ERROR (143)) 90.94 67.37 None eldarica-misc/LIA/reve/009b-horn.smt2 TIMEOUT (ERROR (143)) 91.42 82.70 None eldarica-misc/LIA/reve/009-horn.smt2 TRUE 15.50 8.54 None eldarica-misc/LIA/reve/010b-horn.smt2 TRUE 18.78 10.57 None eldarica-misc/LIA/reve/010-horn.smt2 TIMEOUT (ERROR (143)) 91.46 61.56 None eldarica-misc/LIA/reve/011b-horn.smt2 TRUE 11.09 6.25 None eldarica-misc/LIA/reve/011c-horn.smt2 FALSE 7.86 4.58 None eldarica-misc/LIA/reve/011d-horn.smt2 FALSE 7.78 4.54 None eldarica-misc/LIA/reve/011-horn.smt2 TRUE 10.70 6.07 None eldarica-misc/LIA/reve/012b-horn.smt2 TIMEOUT (ERROR (143)) 92.52 83.19 None eldarica-misc/LIA/reve/012c-horn.smt2 FALSE 6.32 3.77 None eldarica-misc/LIA/reve/012d-horn.smt2 FALSE 6.02 3.63 None eldarica-misc/LIA/reve/012-horn.smt2 TIMEOUT (ERROR (143)) 91.91 82.00 None eldarica-misc/LIA/reve/013b-horn.smt2 TRUE 10.35 5.81 None eldarica-misc/LIA/reve/013-horn.smt2 TRUE 10.74 6.04 None eldarica-misc/LIA/reve/014b-horn.smt2 TRUE 9.56 5.45 None eldarica-misc/LIA/reve/014c-horn.smt2 FALSE 17.44 10.28 None eldarica-misc/LIA/reve/014d-horn.smt2 FALSE 16.75 10.03 None eldarica-misc/LIA/reve/014-horn.smt2 TRUE 9.50 5.45 None eldarica-misc/LIA/reve/015b-horn.smt2 TRUE 8.66 4.95 None eldarica-misc/LIA/reve/015-horn.smt2 TRUE 8.78 5.06 None eldarica-misc/LIA/reve/016b-horn.smt2 TRUE 11.53 6.69 None eldarica-misc/LIA/reve/016-horn.smt2 TRUE 10.70 6.11 None eldarica-misc/LIA/reve/017b-horn.smt2 TRUE 10.65 6.11 None eldarica-misc/LIA/reve/017-horn.smt2 TRUE 8.25 4.80 None eldarica-misc/LIA/reve/018b-horn.smt2 TRUE 12.00 6.76 None eldarica-misc/LIA/reve/018-horn.smt2 TRUE 11.68 6.68 None eldarica-misc/LIA/reve/019b-horn.smt2 TIMEOUT (ERROR (143)) 91.02 64.69 None eldarica-misc/LIA/reve/019-horn.smt2 TIMEOUT (ERROR (143)) 90.53 64.16 None eldarica-misc/LIA/reve/020b-horn.smt2 TIMEOUT (ERROR (143)) 90.94 61.56 None eldarica-misc/LIA/reve/020c-horn.smt2 FALSE 7.54 4.44 None eldarica-misc/LIA/reve/020d-horn.smt2 FALSE 9.04 5.39 None eldarica-misc/LIA/reve/020-horn.smt2 TIMEOUT (ERROR (143)) 90.20 65.89 None eldarica-misc/LIA/reve/021b-horn.smt2 ERROR: EXCEPTION 6.60 3.91 None eldarica-misc/LIA/reve/021-horn.smt2 ERROR: EXCEPTION 6.27 3.72 None eldarica-misc/LIA/reve/022b-horn.smt2 TRUE 31.04 19.05 None eldarica-misc/LIA/reve/022c-horn.smt2 FALSE 9.76 5.59 None eldarica-misc/LIA/reve/022d-horn.smt2 FALSE 15.97 9.39 None eldarica-misc/LIA/reve/022-horn.smt2 TRUE 25.74 15.39 None eldarica-misc/LIA/reve/023b-horn.smt2 TRUE 14.41 8.39 None eldarica-misc/LIA/reve/023-horn.smt2 TRUE 19.29 11.65 None eldarica-misc/LIA/reve/024b-horn.smt2 TRUE 25.89 17.33 None eldarica-misc/LIA/reve/024-horn.smt2 TRUE 25.49 17.13 None eldarica-misc/LIA/reve/025b-horn.smt2 TIMEOUT (ERROR (143)) 91.31 79.82 None eldarica-misc/LIA/reve/025c-horn.smt2 FALSE 35.06 24.69 None eldarica-misc/LIA/reve/025d-horn.smt2 FALSE 37.59 25.80 None eldarica-misc/LIA/reve/025-horn.smt2 TIMEOUT (ERROR (143)) 92.61 79.99 None eldarica-misc/LIA/reve/026b-horn.smt2 TRUE 6.78 4.05 None eldarica-misc/LIA/reve/026-horn.smt2 TRUE 6.69 3.95 None eldarica-misc/LIA/reve/027b-horn.smt2 TRUE 8.96 5.17 None eldarica-misc/LIA/reve/027-horn.smt2 TRUE 8.21 4.73 None hcai-bench/arrays_orig/array_fill1_abstracted.smt2 TRUE 7.60 4.44 None hcai-bench/arrays_orig/array_fill1_even_odd_abstracted.smt2 ERROR: EXCEPTION 8.43 4.87 None hcai-bench/arrays_orig/array_fill2_abstracted.smt2 TIMEOUT (ERROR (143)) 90.97 59.90 None hcai-bench/arrays_orig/array_reverse_once1_abstracted.smt2 TIMEOUT (ERROR (143)) 90.34 59.43 None hcai-bench/arrays_orig/selection_sort_abstracted2.smt2 ERROR (1) 4.38 7.65 None hcai-bench/arrays_orig/selection_sort_multiset.smt2 ERROR (1) 4.32 7.60 None hopv/lia/fpice/inductive2.smt2 TRUE 6.89 3.98 None hopv/lia/fpice/inductive3-2.smt2 TRUE 7.09 4.18 None hopv/lia/fpice/inductive3.smt2 TRUE 6.65 3.92 None hopv/lia/fpice/inductive4.smt2 TRUE 8.10 4.71 None hopv/lia/fpice/inductive5.smt2 TRUE 6.77 4.71 None hopv/lia/fpice/inductive6-2.smt2 TRUE 6.19 3.72 None hopv/lia/fpice/inductive6-3.smt2 TRUE 7.18 4.28 None hopv/lia/fpice/inductive6.smt2 TRUE 5.87 3.50 None hopv/lia/fpice/inductive.smt2 TRUE 12.53 7.05 None hopv/lia/fpice/repeat.smt2 TRUE 8.68 5.10 None hopv/lia/mochi/ack.smt2 TRUE 14.39 8.44 None hopv/lia/mochi/a-copy-print.smt2 TIMEOUT (ERROR (143)) 91.28 54.19 None hopv/lia/mochi/a-dotprod.smt2 TRUE 13.55 7.68 None hopv/lia/mochi/a-init.smt2 TRUE 17.12 9.43 None hopv/lia/mochi/a-max.smt2 TRUE 62.33 41.59 None hopv/lia/mochi/apply.smt2 FALSE 10.16 5.90 None hopv/lia/mochi/array_init.smt2 TRUE 32.20 19.29 None hopv/lia/mochi/bcopy2.smt2 TRUE 30.63 17.61 None hopv/lia/mochi/bcopy3.smt2 TRUE 11.81 6.72 None hopv/lia/mochi/bcopy4.smt2 TRUE 7.28 4.26 None hopv/lia/mochi/bcopy5.smt2 TIMEOUT (ERROR (143)) 91.07 57.66 None hopv/lia/mochi/bcopy.smt2 TRUE 25.33 14.82 None hopv/lia/mochi/bsearch.smt2 TRUE 17.98 10.50 None hopv/lia/mochi/copy_intro.smt2 TIMEOUT (ERROR (143)) 91.73 62.00 None hopv/lia/mochi/dotprod2.smt2 TRUE 7.19 4.20 None hopv/lia/mochi/dotprod3.smt2 TRUE 16.37 9.32 None hopv/lia/mochi/dotprod4.smt2 TRUE 14.78 8.54 None hopv/lia/mochi/dotprod5.smt2 TIMEOUT (ERROR (143)) 91.46 59.30 None hopv/lia/mochi/dotprod_lin.smt2 TRUE 43.53 25.66 None hopv/lia/mochi/dotprod.smt2 TRUE 24.20 14.25 None hopv/lia/mochi/enc-rev_accum.smt2 TRUE 8.94 5.23 None hopv/lia/mochi/enc-rev_append.smt2 TIMEOUT (ERROR (143)) 91.07 58.28 None hopv/lia/mochi/enc-zip3.smt2 TRUE 6.57 3.98 None hopv/lia/mochi/enc-zip4.smt2 TRUE 14.28 8.33 None hopv/lia/mochi/enc-zip_map2.smt2 TIMEOUT (ERROR (143)) 90.76 60.21 None hopv/lia/mochi/enc-zip_map.smt2 TIMEOUT (ERROR (143)) 91.70 60.64 None hopv/lia/mochi/enc-zipmap.smt2 TIMEOUT (ERROR (143)) 90.67 60.08 None hopv/lia/mochi/enc-zip.smt2 TRUE 10.02 5.88 None hopv/lia/mochi/enc-zip_unzip.smt2 TIMEOUT (ERROR (143)) 90.51 57.80 None hopv/lia/mochi/exception.smt2 TRUE 5.68 3.41 None hopv/lia/mochi/exc-fact.smt2 TRUE 7.28 4.34 None hopv/lia/mochi/exc-simple.smt2 TRUE 5.71 3.48 None hopv/lia/mochi/fact_exn.smt2 TRUE 7.66 4.46 None hopv/lia/mochi/fib.smt2 TRUE 11.77 6.96 None hopv/lia/mochi/file.smt2 TIMEOUT (ERROR (143)) 90.59 62.93 None hopv/lia/mochi/flow.smt2 TRUE 5.94 3.52 None hopv/lia/mochi/fxx.smt2 TRUE 5.86 3.46 None hopv/lia/mochi/gib2.smt2 TIMEOUT (ERROR (143)) 90.99 61.76 None hopv/lia/mochi/gib.smt2 TIMEOUT (ERROR (143)) 90.62 69.63 None hopv/lia/mochi/hors.smt2 TRUE 7.81 4.56 None hopv/lia/mochi/hrec.smt2 TRUE 13.20 7.55 None hopv/lia/mochi/inc3.smt2 TRUE 33.73 19.81 None hopv/lia/mochi/inc4.smt2 TIMEOUT (ERROR (143)) 93.58 57.90 None hopv/lia/mochi/inc.smt2 TRUE 7.45 4.36 None hopv/lia/mochi/intro1.smt2 TRUE 5.98 3.59 None hopv/lia/mochi/intro2.smt2 TRUE 5.59 3.40 None hopv/lia/mochi/intro3.smt2 TRUE 5.79 3.47 None hopv/lia/mochi/kmp.smt2 TIMEOUT (ERROR (143)) 90.93 53.53 None hopv/lia/mochi/lock.smt2 TRUE 14.10 8.17 None hopv/lia/mochi/map_map.smt2 TIMEOUT (ERROR (143)) 91.39 63.12 None hopv/lia/mochi/map.smt2 TRUE 6.12 3.64 None hopv/lia/mochi/max.smt2 TRUE 14.06 8.19 None hopv/lia/mochi/mc91_95.smt2 TRUE 52.59 35.12 None hopv/lia/mochi/mc91_98.smt2 TRUE 15.46 9.40 None hopv/lia/mochi/mc91_99.smt2 TRUE 59.44 39.50 None hopv/lia/mochi/mc91_cps.smt2 TRUE 15.03 8.81 None hopv/lia/mochi/mc91.smt2 TRUE 19.36 12.22 None hopv/lia/mochi/mult.smt2 TRUE 6.54 3.84 None hopv/lia/mochi/neg1.smt2 TRUE 5.46 3.28 None hopv/lia/mochi/neg2.smt2 TRUE 12.35 7.25 None hopv/lia/mochi/queen.smt2 TIMEOUT (ERROR (143)) 90.37 55.05 None hopv/lia/mochi/recursive.smt2 TRUE 10.55 6.14 None hopv/lia/mochi/repeat4.smt2 TRUE 11.31 6.57 None hopv/lia/mochi/repeat.smt2 TRUE 8.60 4.85 None hopv/lia/mochi/sigma_sum.smt2 TRUE 8.82 5.19 None hopv/lia/mochi/sum2.smt2 TRUE 7.51 4.30 None hopv/lia/mochi/sum3.smt2 TRUE 7.45 4.43 None hopv/lia/mochi/sum4.smt2 TRUE 8.57 5.00 None hopv/lia/mochi/sum_cps.smt2 TRUE 7.05 4.19 None hopv/lia/mochi/sum_intro.smt2 TRUE 7.45 4.37 None hopv/lia/mochi/sum.smt2 TRUE 6.92 4.12 None hopv/lia/mochi/twice.smt2 TRUE 7.54 4.45 None hopv/lia/termination/Ackermann00.smt2 TRUE 6.15 3.63 None hopv/lia/termination/Ackermann01.smt2 TRUE 6.72 3.88 None hopv/lia/termination/Ackermann02.smt2 TRUE 88.11 57.66 None hopv/lia/termination/Ackermann03.smt2 TRUE 6.71 3.94 None hopv/lia/termination/Ackermann04.smt2 TIMEOUT (ERROR (143)) 91.66 62.38 None hopv/lia/termination/Ackermann05.smt2 TRUE 35.77 23.15 None hopv/lia/termination/Ackermann06.smt2 TIMEOUT (ERROR (143)) 91.25 59.54 None hopv/lia/termination/alias_partial00.smt2 TRUE 6.27 3.75 None hopv/lia/termination/alias_partial01.smt2 TRUE 5.77 3.46 None hopv/lia/termination/alias_partial02.smt2 TRUE 6.28 3.69 None hopv/lia/termination/alias_partial03.smt2 TRUE 7.79 4.45 None hopv/lia/termination/append00.smt2 TRUE 6.13 3.62 None hopv/lia/termination/append01.smt2 TRUE 6.52 3.81 None hopv/lia/termination/append02.smt2 TRUE 8.34 4.76 None hopv/lia/termination/binomial00.smt2 TRUE 6.08 3.66 None hopv/lia/termination/binomial01.smt2 TRUE 6.54 3.86 None hopv/lia/termination/binomial02.smt2 TRUE 12.80 7.16 None hopv/lia/termination/binomial03.smt2 TRUE 12.14 7.28 None hopv/lia/termination/binomial04.smt2 TRUE 26.18 17.29 None hopv/lia/termination/binomial05.smt2 TRUE 25.14 16.15 None hopv/lia/termination/CE-0CFA00.smt2 TRUE 6.27 3.73 None hopv/lia/termination/CE-0CFA01.smt2 TRUE 6.65 3.89 None hopv/lia/termination/CE-0CFA02.smt2 TRUE 6.67 3.92 None hopv/lia/termination/CE-0CFA03.smt2 FALSE 8.63 4.83 None hopv/lia/termination/CE-0CFA04.smt2 TRUE 7.28 4.16 None hopv/lia/termination/CE-0CFA05.smt2 TRUE 6.93 4.03 None hopv/lia/termination/CE-1CFA00.smt2 TRUE 9.12 5.10 None hopv/lia/termination/CE-1CFA01.smt2 TRUE 8.62 4.92 None hopv/lia/termination/CE-1CFA02.smt2 TRUE 8.92 4.98 None hopv/lia/termination/CE-1CFA03.smt2 FALSE 10.19 5.54 None hopv/lia/termination/CE-1CFA04.smt2 FALSE 12.73 6.90 None hopv/lia/termination/CE-1CFA05.smt2 TRUE 8.18 4.57 None hopv/lia/termination/CE-1CFA06.smt2 TRUE 6.96 4.06 None hopv/lia/termination/CE-1CFA07.smt2 FALSE 10.24 5.69 None hopv/lia/termination/CE-1CFA08.smt2 TRUE 6.96 4.06 None hopv/lia/termination/CE-1CFA09.smt2 FALSE 10.51 5.81 None hopv/lia/termination/CE-Jones_Bohr00.smt2 TRUE 8.06 4.57 None hopv/lia/termination/CE-Jones_Bohr01.smt2 TRUE 13.96 7.82 None hopv/lia/termination/CE-Jones_Bohr02.smt2 TRUE 6.70 4.12 None hopv/lia/termination/CE-Jones_Bohr03.smt2 TRUE 6.84 3.94 None hopv/lia/termination/CE-Jones_Bohr04.smt2 FALSE 16.77 9.25 None hopv/lia/termination/churchNum01.smt2 TRUE 75.42 48.91 None hopv/lia/termination/churchNum02.smt2 TRUE 7.71 4.42 None hopv/lia/termination/churchNum03.smt2 TRUE 12.99 7.36 None hopv/lia/termination/Fibonacci00.smt2 TRUE 5.95 3.50 None hopv/lia/termination/Fibonacci01.smt2 TRUE 6.43 3.77 None hopv/lia/termination/Fibonacci02.smt2 TRUE 11.72 6.54 None hopv/lia/termination/Fibonacci03.smt2 TRUE 10.68 6.06 None hopv/lia/termination/indirect00.smt2 TRUE 7.01 4.15 None hopv/lia/termination/indirect01.smt2 TRUE 13.50 7.40 None hopv/lia/termination/indirect02.smt2 TRUE 6.16 3.66 None hopv/lia/termination/indirect03.smt2 TRUE 10.37 5.85 None hopv/lia/termination/indirectHO00.smt2 TRUE 7.41 4.21 None hopv/lia/termination/indirectHO01.smt2 TRUE 9.19 5.16 None hopv/lia/termination/indirectHO02.smt2 TRUE 6.40 3.73 None hopv/lia/termination/indirectHO03.smt2 TRUE 13.08 7.37 None hopv/lia/termination/McCarthy9100.smt2 TRUE 5.51 3.38 None hopv/lia/termination/McCarthy9101.smt2 TRUE 6.67 3.87 None hopv/lia/termination/McCarthy9102.smt2 TRUE 9.99 5.66 None hopv/lia/termination/McCarthy9103.smt2 TIMEOUT (ERROR (143)) 90.47 63.74 None hopv/lia/termination/toChurch00.smt2 TRUE 8.59 4.88 None hopv/lia/termination/toChurch01.smt2 TRUE 7.05 4.14 None hopv/lia/termination/toChurch02.smt2 TRUE 11.55 6.38 None hopv/lia/termination/toChurch03.smt2 TRUE 6.86 3.95 None hopv/lia/termination/toChurch04.smt2 TRUE 7.20 4.13 None hopv/lia/termination/toChurch05.smt2 TRUE 11.91 6.37 None hopv/lia/termination/up_down00.smt2 TRUE 6.36 3.74 None hopv/lia/termination/up_down01.smt2 TRUE 8.58 4.86 None hopv/lia/termination/up_down02.smt2 FALSE 9.05 5.07 None hopv/lia/termination/up_down03.smt2 TRUE 6.23 3.77 None hopv/lia/termination/up_down04.smt2 TRUE 8.09 4.67 None hopv/lia/termination/up_down05.smt2 FALSE 9.91 5.64 None hopv/lia/termination/up_down06.smt2 TRUE 6.74 3.96 None hopv/lia/termination/up_down07.smt2 TRUE 6.93 4.01 None hopv/lia/termination/x_plus_2_pow_n00.smt2 TRUE 18.16 10.03 None hopv/lia/termination/x_plus_2_pow_n01.smt2 FALSE 19.48 10.52 None hopv/lia/termination/x_plus_2_pow_n02.smt2 TRUE 6.19 3.67 None hopv/lia/termination/x_plus_2_pow_n03.smt2 TRUE 6.72 3.92 None hopv/lia/termination/x_plus_2_pow_n04.smt2 TRUE 9.91 5.64 None hopv/lia/termination/zip00.smt2 TRUE 5.81 3.50 None hopv/lia/termination/zip01.smt2 TRUE 6.44 3.75 None hopv/lia/termination/zip02.smt2 TRUE 10.04 5.50 None llreve-bench/smt2/arrays/coreutils__md5sum.array.smt2 ERROR: EXCEPTION 5.44 3.08 None llreve-bench/smt2/arrays/coreutils__remove.array.smt2 FALSE 7.08 4.12 None llreve-bench/smt2/arrays/heap__clearstr.array.smt2 ERROR: EXCEPTION 5.10 2.85 None llreve-bench/smt2/arrays/heap__cocome2.array.smt2 ERROR: EXCEPTION 5.45 3.09 None llreve-bench/smt2/arrays/heap__fib.array.smt2 ERROR: EXCEPTION 5.17 2.85 None llreve-bench/smt2/arrays/heap__findmax.array.smt2 ERROR: EXCEPTION 4.93 2.79 None llreve-bench/smt2/arrays/heap__heap_call.array.smt2 ERROR: EXCEPTION 4.99 2.79 None llreve-bench/smt2/arrays/heap__memcpy_a.array.smt2 ERROR: EXCEPTION 4.74 2.75 None llreve-bench/smt2/arrays/heap__memcpy_b.array.smt2 ERROR: EXCEPTION 5.24 2.85 None llreve-bench/smt2/arrays/heap__propagate.array.smt2 ERROR: EXCEPTION 4.93 2.78 None llreve-bench/smt2/arrays/heap__selsort.array.smt2 ERROR: EXCEPTION 5.03 2.79 None llreve-bench/smt2/arrays/heap__swaparray.array.smt2 ERROR: EXCEPTION 5.03 2.83 None llreve-bench/smt2/arrays/libc__memccpy_1.array.smt2 ERROR: EXCEPTION 5.39 3.00 None llreve-bench/smt2/arrays/libc__memchr_1.array.smt2 ERROR: EXCEPTION 5.30 2.96 None llreve-bench/smt2/arrays/libc__memmem_1.array.smt2 ERROR: EXCEPTION 5.17 2.94 None llreve-bench/smt2/arrays/libc__memmove_1.array.smt2 ERROR: EXCEPTION 5.44 3.06 None llreve-bench/smt2/arrays/libc__memrchr_1.array.smt2 ERROR: EXCEPTION 5.33 3.02 None llreve-bench/smt2/arrays/libc__memset_1.array.smt2 ERROR: EXCEPTION 5.20 2.94 None llreve-bench/smt2/arrays/libc__sbrk_1.array.smt2 ERROR: EXCEPTION 5.23 2.96 None llreve-bench/smt2/arrays/libc__stpcpy_1.array.smt2 ERROR: EXCEPTION 4.89 2.76 None llreve-bench/smt2/arrays/libc__strchr_1.array.smt2 ERROR: EXCEPTION 5.88 3.22 None llreve-bench/smt2/arrays/libc__strcmp.array.smt2 ERROR: EXCEPTION 5.33 3.00 None llreve-bench/smt2/arrays/libc__strcspn_2.array.smt2 ERROR: EXCEPTION 5.29 2.97 None llreve-bench/smt2/arrays/libc__strcspn_3.array.smt2 ERROR: EXCEPTION 5.47 3.05 None llreve-bench/smt2/arrays/libc__strcspn.array.smt2 ERROR: EXCEPTION 5.26 2.95 None llreve-bench/smt2/arrays/libc__strncmp_1.array.smt2 ERROR: EXCEPTION 5.43 3.12 None llreve-bench/smt2/arrays/libc__strncmp_2.array.smt2 ERROR: EXCEPTION 5.10 2.90 None llreve-bench/smt2/arrays/libc__strncmp_3.array.smt2 ERROR: EXCEPTION 5.53 3.05 None llreve-bench/smt2/arrays/libc__strpbrk_1.array.smt2 ERROR: EXCEPTION 5.15 2.91 None llreve-bench/smt2/arrays/libc__strpbrk_2.array.smt2 ERROR: EXCEPTION 5.02 2.89 None llreve-bench/smt2/arrays/libc__strpbrk_3.array.smt2 ERROR: EXCEPTION 5.09 2.89 None llreve-bench/smt2/clausified/faulty__ackermann!.smt2 ERROR: EXCEPTION 10.64 5.95 None llreve-bench/smt2/clausified/faulty__add-horn!.smt2 FALSE 11.99 6.71 None llreve-bench/smt2/clausified/faulty__barthe!.smt2 FALSE 34.21 20.58 None llreve-bench/smt2/clausified/faulty__inlining!.smt2 ERROR: EXCEPTION 7.80 4.45 None llreve-bench/smt2/clausified/faulty__limit1!.smt2 FALSE 7.95 4.61 None llreve-bench/smt2/clausified/faulty__limit2!.smt2 FALSE 54.18 33.80 None llreve-bench/smt2/clausified/faulty__loop5!.smt2 FALSE 7.72 4.49 None llreve-bench/smt2/clausified/faulty__nested-while!.smt2 FALSE 9.38 5.40 None llreve-bench/smt2/clausified/loop__barthe2-big2.smt2 TIMEOUT (ERROR (143)) 91.23 65.96 None llreve-bench/smt2/clausified/loop__barthe2-big3.smt2 TIMEOUT (ERROR (143)) 90.80 66.98 None llreve-bench/smt2/clausified/loop__barthe2-big.smt2 TIMEOUT (ERROR (143)) 91.05 65.33 None llreve-bench/smt2/clausified/loop__barthe2.smt2 TIMEOUT (ERROR (143)) 90.74 80.35 None llreve-bench/smt2/clausified/loop__barthe.smt2 TIMEOUT (ERROR (143)) 91.03 61.44 None llreve-bench/smt2/clausified/loop__break_single.smt2 TRUE 34.58 20.58 None llreve-bench/smt2/clausified/loop__break.smt2 TRUE 68.04 45.60 None llreve-bench/smt2/clausified/loop__bug15.smt2 TRUE 6.68 3.94 None llreve-bench/smt2/clausified/loop__digits10_inl.smt2 TRUE 16.29 9.10 None llreve-bench/smt2/clausified/loop__fib.smt2 TRUE 10.75 6.09 None llreve-bench/smt2/clausified/loop__loop2.smt2 TRUE 8.75 5.00 None llreve-bench/smt2/clausified/loop__loop3.smt2 TRUE 9.28 5.32 None llreve-bench/smt2/clausified/loop__loop.smt2 TRUE 10.31 5.98 None llreve-bench/smt2/clausified/loop__loop_unswitching.smt2 TRUE 9.44 5.40 None llreve-bench/smt2/clausified/loop__nested-while.smt2 TRUE 9.37 5.42 None llreve-bench/smt2/clausified/loop__simple-loop.smt2 TRUE 12.34 7.17 None llreve-bench/smt2/clausified/loop__upcount.smt2 TRUE 9.03 5.23 None llreve-bench/smt2/clausified/loop__while_after_while_if.smt2 TRUE 10.85 6.15 None llreve-bench/smt2/clausified/loop__while-if.smt2 TRUE 7.95 4.56 None llreve-bench/smt2/clausified/rec__ackermann.smt2 ERROR: EXCEPTION 12.31 6.79 None llreve-bench/smt2/clausified/rec__add-horn.smt2 TRUE 29.25 17.27 None llreve-bench/smt2/clausified/rec__cocome1.smt2 TIMEOUT (ERROR (143)) 91.82 63.48 None llreve-bench/smt2/clausified/rec__inlining.smt2 TIMEOUT (ERROR: EXCEPTION) 90.83 59.84 None llreve-bench/smt2/clausified/rec__limit1unrolled.smt2 TRUE 24.19 14.60 None llreve-bench/smt2/clausified/rec__limit2.smt2 TRUE 22.48 14.08 None llreve-bench/smt2/clausified/rec__limit3.smt2 TRUE 27.51 16.54 None llreve-bench/smt2/clausified/rec__loop_rec.smt2 TRUE 8.78 5.00 None llreve-bench/smt2/clausified/rec__mccarthy91.smt2 ERROR: EXCEPTION 6.85 4.01 None llreve-bench/smt2/clausified/rec__rec_while.smt2 TRUE 47.52 26.98 None llreve-bench/smt2/clausified/rec__triangular.smt2 TIMEOUT (ERROR (143)) 90.95 63.03 None llreve-bench/smt2/faulty__ackermann!.smt2 ERROR: EXCEPTION 8.18 4.83 None llreve-bench/smt2/faulty__add-horn!.smt2 FALSE 15.55 8.74 None llreve-bench/smt2/faulty__barthe!.smt2 FALSE 34.74 20.35 None llreve-bench/smt2/faulty__inlining!.smt2 FALSE 7.04 4.14 None llreve-bench/smt2/faulty__limit1!.smt2 FALSE 7.98 4.64 None llreve-bench/smt2/faulty__limit2!.smt2 FALSE 54.88 38.48 None llreve-bench/smt2/faulty__loop5!.smt2 FALSE 7.05 4.12 None llreve-bench/smt2/faulty__nested-while!.smt2 FALSE 10.25 5.88 None llreve-bench/smt2/loop__barthe2-big2.smt2 TIMEOUT (ERROR (143)) 91.15 58.68 None llreve-bench/smt2/loop__barthe2-big3.smt2 TIMEOUT (ERROR (143)) 91.27 72.23 None llreve-bench/smt2/loop__barthe2-big.smt2 TIMEOUT (ERROR (143)) 91.41 59.56 None llreve-bench/smt2/loop__barthe2.smt2 TIMEOUT (ERROR (143)) 90.36 77.07 None llreve-bench/smt2/loop__barthe.smt2 TIMEOUT (ERROR (143)) 91.29 61.48 None llreve-bench/smt2/loop__break_single.smt2 TRUE 29.66 18.31 None llreve-bench/smt2/loop__break.smt2 TRUE 12.36 7.41 None llreve-bench/smt2/loop__bug15.smt2 TRUE 6.62 4.00 None llreve-bench/smt2/loop__digits10_inl.smt2 TRUE 14.89 8.41 None llreve-bench/smt2/loop__fib.smt2 TRUE 10.13 5.94 None llreve-bench/smt2/loop__loop2.smt2 TRUE 8.72 5.04 None llreve-bench/smt2/loop__loop3.smt2 TRUE 12.19 6.97 None llreve-bench/smt2/loop__loop.smt2 TRUE 9.70 5.62 None llreve-bench/smt2/loop__loop_unswitching.smt2 TRUE 8.97 5.25 None llreve-bench/smt2/loop__nested-while.smt2 TRUE 10.26 5.77 None llreve-bench/smt2/loop__simple-loop.smt2 TRUE 13.63 7.86 None llreve-bench/smt2/loop__upcount.smt2 TRUE 9.17 5.27 None llreve-bench/smt2/loop__while_after_while_if.smt2 TRUE 10.97 6.28 None llreve-bench/smt2/loop__while-if.smt2 TRUE 8.82 5.05 None llreve-bench/smt2/quant/clausified-no-arrays/coreutils__md5sum.smt2 TIMEOUT (ERROR (143)) 91.17 58.14 None llreve-bench/smt2/quant/clausified-no-arrays/coreutils__remove.smt2 TRUE 5.71 3.33 None llreve-bench/smt2/quant/clausified-no-arrays/heap__clearstr.smt2 TIMEOUT (ERROR (143)) 91.20 60.89 None llreve-bench/smt2/quant/clausified-no-arrays/heap__cocome2.smt2 TIMEOUT (ERROR (143)) 90.66 58.71 None llreve-bench/smt2/quant/clausified-no-arrays/heap__fib.smt2 TIMEOUT (ERROR (143)) 91.65 60.76 None llreve-bench/smt2/quant/clausified-no-arrays/heap__findmax.smt2 TIMEOUT (ERROR (143)) 90.93 62.92 None llreve-bench/smt2/quant/clausified-no-arrays/heap__heap_call.smt2 TIMEOUT (ERROR (143)) 90.49 63.88 None llreve-bench/smt2/quant/clausified-no-arrays/heap__memcpy_a.smt2 TIMEOUT (ERROR (143)) 90.52 64.88 None llreve-bench/smt2/quant/clausified-no-arrays/heap__memcpy_b.smt2 TIMEOUT (ERROR (143)) 91.15 66.03 None llreve-bench/smt2/quant/clausified-no-arrays/heap__propagate.smt2 TIMEOUT (ERROR (143)) 91.21 60.80 None llreve-bench/smt2/quant/clausified-no-arrays/heap__selsort.smt2 TIMEOUT (ERROR (143)) 90.88 63.72 None llreve-bench/smt2/quant/clausified-no-arrays/heap__swaparray.smt2 TIMEOUT (ERROR (143)) 91.71 55.56 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memccpy_1.smt2 TIMEOUT (ERROR (143)) 90.36 57.83 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memchr_1.smt2 TIMEOUT (ERROR (143)) 91.11 62.07 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memmem_1.smt2 TIMEOUT (ERROR (143)) 90.53 57.27 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memmove_1.smt2 TIMEOUT (ERROR (143)) 91.66 61.51 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memrchr_1.smt2 TIMEOUT (ERROR (143)) 90.84 60.67 None llreve-bench/smt2/quant/clausified-no-arrays/libc__memset_1.smt2 TIMEOUT (ERROR (143)) 91.06 61.32 None llreve-bench/smt2/quant/clausified-no-arrays/libc__sbrk_1.smt2 TRUE 23.20 13.26 None llreve-bench/smt2/quant/clausified-no-arrays/libc__stpcpy_1.smt2 TIMEOUT (ERROR (143)) 91.44 62.27 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strchr_1.smt2 TIMEOUT (ERROR (143)) 92.21 59.85 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strcmp.smt2 TIMEOUT (ERROR (143)) 91.26 61.50 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn_2.smt2 TIMEOUT (ERROR (143)) 91.26 62.44 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn_3.smt2 TIMEOUT (ERROR (143)) 91.61 58.18 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn.smt2 TIMEOUT (ERROR (143)) 91.21 58.71 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_1.smt2 TIMEOUT (ERROR (143)) 92.07 60.26 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_2.smt2 TIMEOUT (ERROR (143)) 90.51 56.11 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_3.smt2 TIMEOUT (ERROR (143)) 91.17 58.93 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_1.smt2 TIMEOUT (ERROR (143)) 90.58 63.97 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_2.smt2 TIMEOUT (ERROR (143)) 91.89 63.22 None llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_3.smt2 TIMEOUT (ERROR (143)) 90.57 63.07 None llreve-bench/smt2/quant/coreutils__md5sum.smt2 FALSE 9.74 5.45 None llreve-bench/smt2/quant/coreutils__remove.smt2 FALSE 6.94 4.01 None llreve-bench/smt2/quant/heap__clearstr.smt2 FALSE 6.96 4.01 None llreve-bench/smt2/quant/heap__cocome2.smt2 FALSE 9.36 5.34 None llreve-bench/smt2/quant/heap__fib.smt2 FALSE 5.99 3.65 None llreve-bench/smt2/quant/heap__findmax.smt2 FALSE 6.50 3.83 None llreve-bench/smt2/quant/heap__heap_call.smt2 FALSE 6.28 3.82 None llreve-bench/smt2/quant/heap__memcpy_a.smt2 FALSE 6.20 3.79 None llreve-bench/smt2/quant/heap__memcpy_b.smt2 FALSE 6.32 3.73 None llreve-bench/smt2/quant/heap__propagate.smt2 FALSE 5.94 3.60 None llreve-bench/smt2/quant/heap__selsort.smt2 FALSE 7.69 4.40 None llreve-bench/smt2/quant/heap__swaparray.smt2 FALSE 6.21 3.71 None llreve-bench/smt2/quant/libc__memccpy_1.smt2 FALSE 7.00 4.10 None llreve-bench/smt2/quant/libc__memchr_1.smt2 FALSE 7.22 4.17 None llreve-bench/smt2/quant/libc__memmem_1.smt2 FALSE 7.33 4.20 None llreve-bench/smt2/quant/libc__memmove_1.smt2 FALSE 7.69 4.44 None llreve-bench/smt2/quant/libc__memrchr_1.smt2 FALSE 7.41 4.26 None llreve-bench/smt2/quant/libc__memset_1.smt2 FALSE 6.55 3.83 None llreve-bench/smt2/quant/libc__sbrk_1.smt2 FALSE 8.60 4.81 None llreve-bench/smt2/quant/libc__stpcpy_1.smt2 FALSE 6.70 3.95 None llreve-bench/smt2/quant/libc__strchr_1.smt2 FALSE 11.03 6.06 None llreve-bench/smt2/quant/libc__strcmp.smt2 FALSE 7.45 4.38 None llreve-bench/smt2/quant/libc__strcspn_2.smt2 FALSE 7.91 4.52 None llreve-bench/smt2/quant/libc__strcspn_3.smt2 FALSE 9.66 5.32 None llreve-bench/smt2/quant/libc__strcspn.smt2 FALSE 7.98 4.54 None llreve-bench/smt2/quant/libc__strncmp_1.smt2 FALSE 8.95 5.11 None llreve-bench/smt2/quant/libc__strncmp_2.smt2 FALSE 10.25 5.74 None llreve-bench/smt2/quant/libc__strncmp_3.smt2 FALSE 7.98 4.58 None llreve-bench/smt2/quant/libc__strpbrk_1.smt2 FALSE 6.71 3.98 None llreve-bench/smt2/quant/libc__strpbrk_2.smt2 FALSE 6.85 3.99 None llreve-bench/smt2/quant/libc__strpbrk_3.smt2 FALSE 6.99 4.10 None llreve-bench/smt2/rec__ackermann.smt2 ERROR: EXCEPTION 8.74 4.93 None llreve-bench/smt2/rec__add-horn.smt2 TRUE 22.65 13.21 None llreve-bench/smt2/rec__cocome1.smt2 TIMEOUT (ERROR (143)) 91.89 62.44 None llreve-bench/smt2/rec__inlining.smt2 TIMEOUT (ERROR (143)) 91.41 60.68 None llreve-bench/smt2/rec__limit1unrolled.smt2 TRUE 68.45 53.86 None llreve-bench/smt2/rec__limit2.smt2 TRUE 11.91 6.83 None llreve-bench/smt2/rec__limit3.smt2 TIMEOUT (ERROR (143)) 91.22 69.98 None llreve-bench/smt2/rec__loop_rec.smt2 TRUE 7.33 4.35 None llreve-bench/smt2/rec__mccarthy91.smt2 ERROR: EXCEPTION 7.13 4.14 None llreve-bench/smt2/rec__rec_while.smt2 TRUE 48.17 28.44 None llreve-bench/smt2/rec__triangular.smt2 TIMEOUT (ERROR (143)) 91.28 60.68 None llreve-bench/unsolved/arrayOffByOne.smt2 ERROR: EXCEPTION 4.67 2.70 None llreve-bench/unsolved/shiftByOne.smt2 ERROR: EXCEPTION 5.15 2.89 None sally-chc-benchmarks/approximate_agreement/approx.4.smt2 ERROR: EXCEPTION 5.50 3.05 None sally-chc-benchmarks/approximate_agreement/approx.5.smt2 TIMEOUT 90.00 48.25 None sally-chc-benchmarks/approximate_agreement/approx.6.b.smt2 ERROR: EXCEPTION 5.73 3.60 None sally-chc-benchmarks/approximate_agreement/approx.6.c.smt2 ERROR: EXCEPTION 5.79 3.22 None sally-chc-benchmarks/approximate_agreement/approx.6.smt2 ERROR: EXCEPTION 5.65 3.20 None sally-chc-benchmarks/approximate_agreement/approx_hybrid.6.b.smt2 ERROR: EXCEPTION 5.55 3.15 None sally-chc-benchmarks/approximate_agreement/approx_hybrid.6.c.smt2 ERROR: EXCEPTION 5.86 3.28 None sally-chc-benchmarks/approximate_agreement/approx_hybrid.6.smt2 ERROR: EXCEPTION 5.88 3.24 None sally-chc-benchmarks/approximate_agreement/approx_hybrid_validity.6.smt2 ERROR: EXCEPTION 5.75 3.24 None sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_convergence.smt2 ERROR: EXCEPTION 5.73 3.12 None sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_revised_convergence.smt2 ERROR: EXCEPTION 5.74 3.27 None sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_revised_sanity_check.smt2 ERROR: EXCEPTION 5.63 3.15 None sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_sanity_check.smt2 ERROR: EXCEPTION 5.77 3.26 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_convergence.smt2 ERROR: EXCEPTION 5.68 3.20 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_min_received.smt2 ERROR: EXCEPTION 5.76 3.24 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_convergence.smt2 ERROR: EXCEPTION 5.73 3.14 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_min_received.smt2 ERROR: EXCEPTION 5.73 3.19 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_sanity_check.smt2 ERROR: EXCEPTION 5.71 3.20 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_sanity_check.smt2 ERROR: EXCEPTION 5.93 3.33 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_convergence.smt2 ERROR: EXCEPTION 5.78 3.22 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_min_received.smt2 ERROR: EXCEPTION 5.94 3.34 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_non_convergence.smt2 ERROR: EXCEPTION 5.85 3.30 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_convergence.smt2 ERROR: EXCEPTION 5.75 3.19 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_min_received.smt2 ERROR: EXCEPTION 5.76 3.43 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_non_convergence.smt2 ERROR: EXCEPTION 5.61 3.19 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_sanity_check.smt2 ERROR: EXCEPTION 5.74 3.16 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_strict.smt2 ERROR: EXCEPTION 5.69 3.13 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_sanity_check.smt2 ERROR: EXCEPTION 5.75 3.10 None sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_strict.smt2 ERROR: EXCEPTION 5.93 3.21 None sally-chc-benchmarks/hacms/eventclock3.smt2 ERROR: EXCEPTION 5.27 2.94 None sally-chc-benchmarks/hacms/eventclock4.invalid.01.smt2 ERROR: EXCEPTION 5.02 2.86 None sally-chc-benchmarks/hacms/eventclock4.invalid.02.smt2 ERROR: EXCEPTION 4.87 2.80 None sally-chc-benchmarks/hacms/eventclock5.smt2 ERROR: EXCEPTION 4.94 2.85 None sally-chc-benchmarks/hacms/eventclock6.smt2 OUT OF MEMORY 74.89 40.19 None sally-chc-benchmarks/lfht/lfht_1.smt2 TIMEOUT (ERROR (143)) 90.80 86.92 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.did_not_pay_0.smt2 TIMEOUT (ERROR (143)) 91.01 82.02 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.did_not_pay_1.smt2 TIMEOUT (ERROR (143)) 91.05 80.79 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma0.smt2 TIMEOUT (ERROR (143)) 91.07 80.84 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma1.smt2 TIMEOUT (ERROR (143)) 92.50 81.86 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma2a.smt2 TIMEOUT (ERROR (143)) 91.03 81.31 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma2.smt2 TIMEOUT (ERROR (143)) 91.05 81.30 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma3.smt2 TIMEOUT (ERROR (143)) 91.10 80.24 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma4.smt2 TIMEOUT (ERROR (143)) 91.06 80.32 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5a.smt2 TIMEOUT (ERROR (143)) 91.10 79.52 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5b.smt2 TIMEOUT (ERROR (143)) 91.10 79.54 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5c.smt2 TIMEOUT (ERROR (143)) 91.04 81.60 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5e.smt2 TIMEOUT (ERROR (143)) 91.17 77.89 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5f.smt2 TIMEOUT (ERROR (143)) 92.51 82.15 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma5g.smt2 TIMEOUT (ERROR (143)) 91.06 80.69 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.lemma8a.smt2 ERROR: EXCEPTION 5.29 3.00 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.paid_tax_0.smt2 TIMEOUT (ERROR (143)) 91.12 79.55 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.paid_tax_1.smt2 TIMEOUT (ERROR (143)) 91.07 80.77 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.pending.smt2 ERROR: EXCEPTION 5.31 3.01 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.posted_0.smt2 TIMEOUT (ERROR (143)) 91.11 79.49 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.posted_1.smt2 TIMEOUT (ERROR (143)) 91.09 80.62 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.prop1.smt2 TIMEOUT (ERROR (143)) 91.05 81.05 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.upper.smt2 TIMEOUT (ERROR (143)) 91.02 80.84 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.upper_strengthening_1.smt2 TIMEOUT (ERROR (143)) 91.03 80.56 None sally-chc-benchmarks/lfht/lfht_2_mini_cleaned.upper_strengthening_2.smt2 TIMEOUT (ERROR (143)) 91.07 80.03 None sally-chc-benchmarks/lfht/lfht_2.smt2 TIMEOUT (ERROR (143)) 90.85 86.07 None sally-chc-benchmarks/lfht/lfht_7_3_8.prop1.smt2 TIMEOUT (ERROR (143)) 99.42 59.30 None sally-chc-benchmarks/misc/Ex3.smt2 TRUE 15.78 9.14 None sally-chc-benchmarks/misc/fourslot.smt2 TIMEOUT (ERROR (143)) 91.08 80.92 None sally-chc-benchmarks/misc/frolloc_lifo_prop1.smt2 TRUE 36.26 22.70 None sally-chc-benchmarks/misc/frolloc_lifo_prop2.smt2 TIMEOUT (ERROR (143)) 90.55 73.45 None sally-chc-benchmarks/misc/inc_cas_prop1.smt2 TRUE 16.53 9.67 None sally-chc-benchmarks/misc/inc_cas_prop2.smt2 TRUE 21.55 12.89 None sally-chc-benchmarks/misc/mvs_with_timeouts3.smt2 TIMEOUT (ERROR (143)) 91.36 69.69 None sally-chc-benchmarks/misc/nonatomic_inc_cas_prop1.smt2 ERROR: EXCEPTION 5.10 2.91 None sally-chc-benchmarks/misc/nonatomic_inc_cas_prop2.smt2 ERROR: EXCEPTION 4.95 2.78 None sally-chc-benchmarks/misc/wbs_simple_7_7.smt2 ERROR: EXCEPTION 5.64 3.09 None sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_faulty_process.smt2 TIMEOUT (ERROR (143)) 90.86 85.53 None sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_faulty_relay.smt2 TIMEOUT (ERROR (143)) 90.87 85.08 None sally-chc-benchmarks/oral_messages/om1_with_relays_agreement.smt2 TIMEOUT (ERROR (143)) 90.92 84.93 None sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_two_faults.smt2 TIMEOUT (ERROR (143)) 91.43 85.45 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_10_agreement.smt2 TIMEOUT (ERROR (143)) 90.81 86.97 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_10_validity.smt2 TIMEOUT (ERROR (143)) 91.00 82.10 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_11_agreement.smt2 TIMEOUT (ERROR (143)) 90.84 85.33 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_11_validity.smt2 TIMEOUT (ERROR (143)) 90.60 70.19 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_12_agreement.smt2 TIMEOUT (ERROR (143)) 91.13 81.39 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_12_validity.smt2 TIMEOUT (ERROR (143)) 106.10 56.71 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_13_agreement.smt2 TIMEOUT (ERROR (143)) 90.54 71.61 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_13_validity.smt2 TIMEOUT (ERROR (143)) 93.61 50.61 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_14_agreement.smt2 TIMEOUT (ERROR (143)) 104.39 55.85 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_14_validity.smt2 TIMEOUT 90.93 49.05 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_15_agreement.smt2 TIMEOUT (ERROR (143)) 92.21 50.09 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_15_validity.smt2 TIMEOUT (ERROR (143)) 93.27 50.39 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_16_agreement.smt2 TIMEOUT (ERROR (143)) 104.97 56.16 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_16_validity.smt2 TIMEOUT (ERROR (143)) 108.08 58.09 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_17_agreement.smt2 TIMEOUT (ERROR (143)) 94.61 51.28 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_17_validity.smt2 OUT OF MEMORY 89.84 48.39 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_18_agreement.smt2 TIMEOUT (ERROR (143)) 94.06 50.59 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_18_validity.smt2 OUT OF MEMORY 83.77 45.23 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_19_agreement.smt2 TIMEOUT (ERROR (143)) 95.95 51.98 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_19_validity.smt2 OUT OF MEMORY 82.44 44.62 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_20_agreement.smt2 TIMEOUT (ERROR (143)) 97.91 52.66 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_20_validity.smt2 TIMEOUT (ERROR (143)) 98.28 53.22 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_3_agreement.smt2 TIMEOUT (ERROR (143)) 90.88 85.21 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_3_validity.smt2 TIMEOUT (ERROR (143)) 90.90 84.20 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_4_agreement.smt2 TIMEOUT (ERROR (143)) 95.98 84.37 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_4_validity.smt2 TIMEOUT (ERROR (143)) 96.71 81.03 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_5_agreement.smt2 TIMEOUT (ERROR (143)) 90.79 86.64 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_5_validity.smt2 TIMEOUT (ERROR (143)) 90.80 86.27 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_6_agreement.smt2 TIMEOUT (ERROR (143)) 90.88 84.95 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_6_validity.smt2 TIMEOUT (ERROR (143)) 90.96 83.77 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_7_agreement.smt2 TIMEOUT (ERROR (143)) 90.99 82.21 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_7_validity.smt2 TIMEOUT (ERROR (143)) 90.81 87.41 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_8_agreement.smt2 TIMEOUT (ERROR (143)) 90.19 76.02 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_8_validity.smt2 TIMEOUT (ERROR (143)) 90.84 85.95 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_9_agreement.smt2 TIMEOUT (ERROR (143)) 90.44 83.77 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_9_validity.smt2 TIMEOUT (ERROR (143)) 90.92 84.99 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_10_agreement.smt2 TIMEOUT (ERROR (143)) 90.95 82.83 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_10_validity.smt2 OUT OF MEMORY 68.19 36.78 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_11_agreement.smt2 TIMEOUT (ERROR (143)) 90.53 71.27 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_11_validity.smt2 TIMEOUT (ERROR (143)) 93.30 50.04 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_12_agreement.smt2 TIMEOUT (ERROR (143)) 102.04 54.57 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_12_validity.smt2 OUT OF MEMORY 80.38 43.14 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_13_agreement.smt2 TIMEOUT (ERROR (143)) 98.93 52.97 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_13_validity.smt2 OUT OF MEMORY 82.30 44.24 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_14_agreement.smt2 TIMEOUT (ERROR (143)) 95.24 51.37 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_14_validity.smt2 TIMEOUT (ERROR (143)) 95.67 51.07 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_15_agreement.smt2 OUT OF MEMORY 77.94 42.03 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_15_validity.smt2 TIMEOUT (ERROR (143)) 96.79 52.29 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_16_agreement.smt2 TIMEOUT (ERROR (143)) 102.61 54.37 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_16_validity.smt2 TIMEOUT 93.75 50.67 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_17_agreement.smt2 TIMEOUT (ERROR (143)) 94.99 51.21 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_17_validity.smt2 TIMEOUT (ERROR (143)) 103.21 55.68 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_18_agreement.smt2 TIMEOUT (ERROR (143)) 93.34 50.27 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_18_validity.smt2 TIMEOUT (ERROR (143)) 91.80 49.79 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_19_agreement.smt2 TIMEOUT (ERROR (143)) 92.35 49.83 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_19_validity.smt2 TIMEOUT (ERROR (143)) 101.37 54.48 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_20_agreement.smt2 TIMEOUT (ERROR (143)) 106.56 57.09 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_20_validity.smt2 TIMEOUT (ERROR (143)) 99.04 53.22 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_3_agreement.smt2 TIMEOUT (ERROR (143)) 90.90 84.45 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_3_validity.smt2 TIMEOUT (ERROR (143)) 90.87 81.56 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_4_agreement.smt2 TIMEOUT (ERROR (143)) 91.97 85.68 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_4_validity.smt2 TIMEOUT (ERROR (143)) 90.76 87.45 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_5_agreement.smt2 TIMEOUT (ERROR (143)) 90.60 70.79 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_5_validity.smt2 TIMEOUT (ERROR (143)) 90.77 87.34 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_6_agreement.smt2 TIMEOUT (ERROR (143)) 96.83 60.92 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_6_validity.smt2 TIMEOUT (ERROR (143)) 90.85 85.64 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_7_agreement.smt2 TIMEOUT (ERROR (143)) 90.90 85.20 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_7_validity.smt2 TIMEOUT (ERROR (143)) 90.90 84.73 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_8_agreement.smt2 TIMEOUT (ERROR (143)) 90.81 86.91 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_8_validity.smt2 TIMEOUT (ERROR (143)) 90.22 76.28 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_9_agreement.smt2 TIMEOUT (ERROR (143)) 90.84 85.44 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_9_validity.smt2 TIMEOUT (ERROR (143)) 91.22 62.12 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_10_agreement.smt2 TIMEOUT (ERROR (143)) 90.62 58.13 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_10_validity.smt2 TIMEOUT (ERROR (143)) 97.55 52.64 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_11_agreement.smt2 TIMEOUT (ERROR (143)) 98.96 53.91 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_11_validity.smt2 TIMEOUT (ERROR (143)) 96.73 51.80 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_12_agreement.smt2 OUT OF MEMORY 68.76 37.22 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_12_validity.smt2 TIMEOUT (ERROR (143)) 99.66 53.78 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_13_agreement.smt2 TIMEOUT (ERROR (143)) 101.13 54.96 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_13_validity.smt2 OUT OF MEMORY 85.42 47.30 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_14_agreement.smt2 TIMEOUT (ERROR (143)) 104.59 56.44 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_14_validity.smt2 OUT OF MEMORY 78.22 43.02 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_15_agreement.smt2 OUT OF MEMORY 69.35 37.90 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_15_validity.smt2 TIMEOUT (ERROR (143)) 97.19 53.35 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_16_agreement.smt2 TIMEOUT (ERROR (143)) 94.86 52.03 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_16_validity.smt2 TIMEOUT (ERROR (143)) 100.25 54.30 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_17_agreement.smt2 TIMEOUT (ERROR (143)) 92.66 50.17 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_17_validity.smt2 TIMEOUT 114.11 63.15 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_18_agreement.smt2 TIMEOUT (ERROR (143)) 98.17 53.36 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_18_validity.smt2 OUT OF MEMORY 85.49 45.75 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_19_agreement.smt2 OUT OF MEMORY 75.93 40.87 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_19_validity.smt2 TIMEOUT (ERROR (143)) 104.96 56.66 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_20_agreement.smt2 OUT OF MEMORY 87.96 46.89 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_20_validity.smt2 TIMEOUT (ERROR (143)) 91.90 49.68 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_3_agreement.smt2 TIMEOUT (ERROR (143)) 102.87 68.48 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_3_validity.smt2 TIMEOUT (ERROR (143)) 90.84 86.08 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_4_agreement.smt2 TIMEOUT (ERROR (143)) 90.80 86.21 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_4_validity.smt2 TIMEOUT (ERROR (143)) 90.86 85.65 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_5_agreement.smt2 TIMEOUT (ERROR (143)) 90.82 87.11 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_5_validity.smt2 TIMEOUT (ERROR (143)) 90.85 85.53 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_6_agreement.smt2 TIMEOUT (ERROR (143)) 90.80 86.20 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_6_validity.smt2 TIMEOUT (ERROR (143)) 90.21 76.26 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_7_agreement.smt2 TIMEOUT (ERROR (143)) 90.87 85.40 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_7_validity.smt2 TIMEOUT (ERROR (143)) 104.35 55.92 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_8_agreement.smt2 TIMEOUT (ERROR (143)) 91.03 82.09 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_8_validity.smt2 TIMEOUT (ERROR (143)) 97.18 51.94 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_9_agreement.smt2 TIMEOUT (ERROR (143)) 90.47 72.51 None sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_9_validity.smt2 TIMEOUT (ERROR (143)) 95.65 51.00 None sally-chc-benchmarks/oral_messages/om1_with_relays_validity_faulty_process.smt2 TIMEOUT (ERROR (143)) 92.21 87.47 None sally-chc-benchmarks/oral_messages/om1_with_relays_validity_faulty_relay.smt2 TIMEOUT (ERROR (143)) 91.53 86.98 None sally-chc-benchmarks/oral_messages/om1_with_relays_validity.smt2 TIMEOUT (ERROR (143)) 90.77 87.58 None sally-chc-benchmarks/oral_messages/om1_with_relays_validity_two_faults.smt2 TIMEOUT (ERROR (143)) 90.75 87.51 None sally-chc-benchmarks/oral_messages/om1_with_relays_validity_two_faulty_relays.smt2 TIMEOUT (ERROR (143)) 90.76 87.68 None sally-chc-benchmarks/tta_startup/simple_startup2.2.smt2 ERROR: EXCEPTION 5.21 3.01 None sally-chc-benchmarks/tta_startup/simple_startup2.3.smt2 ERROR: EXCEPTION 5.68 3.16 None sally-chc-benchmarks/tta_startup/simple_startup2.smt2 ERROR: EXCEPTION 6.29 3.45 None sally-chc-benchmarks/tte_synchro/tte_synchro.cm_clock_distance.smt2 ERROR: EXCEPTION 5.97 3.30 None sally-chc-benchmarks/tte_synchro/tte_synchro.cm_clock_distance_strict.smt2 ERROR: EXCEPTION 5.94 3.22 None sally-chc-benchmarks/tte_synchro/tte_synchro.sm_clock_distance.smt2 ERROR: EXCEPTION 5.59 3.08 None sally-chc-benchmarks/tte_synchro/tte_synchro.sm_clock_distance_strict.smt2 ERROR: EXCEPTION 5.77 3.17 None sally-chc-benchmarks/tte_synchro/tte_synchro.sm_cm_clock_distance.smt2 ERROR: EXCEPTION 5.45 3.14 None sally-chc-benchmarks/tte_synchro/tte_synchro.sm_cm_clock_distance_strict.smt2 ERROR: EXCEPTION 5.64 3.14 None sally-chc-benchmarks/unified-approx/fault_free_convergence.smt2 ERROR: EXCEPTION 5.96 3.40 None sally-chc-benchmarks/unified-approx/fault_free_sanity_check2.smt2 ERROR: EXCEPTION 5.65 3.20 None sally-chc-benchmarks/unified-approx/fault_free_sanity_check.smt2 ERROR: EXCEPTION 5.89 3.30 None sally-chc-benchmarks/unified-approx/scenario1_convergence.smt2 ERROR: EXCEPTION 6.09 3.40 None sally-chc-benchmarks/unified-approx/scenario1_sanity_check2.smt2 ERROR: EXCEPTION 5.92 3.33 None sally-chc-benchmarks/unified-approx/scenario2_convergence.smt2 ERROR: EXCEPTION 6.13 3.54 None sally-chc-benchmarks/unified-approx/scenario2_non_convergence2.smt2 ERROR: EXCEPTION 5.93 3.38 None sally-chc-benchmarks/unified-approx/scenario2_non_convergence.smt2 ERROR: EXCEPTION 6.14 3.40 None sally-chc-benchmarks/unified-approx/scenario2_sanity_check2.smt2 ERROR: EXCEPTION 5.94 3.40 None sally-chc-benchmarks/unified-approx/scenario3_convergence.smt2 ERROR: EXCEPTION 5.97 3.33 None sally-chc-benchmarks/unified-approx/scenario3_sanity_check2.smt2 ERROR: EXCEPTION 6.30 3.38 None scripts/format/test/atom_rewriting.smt2 ERROR (1) 4.48 7.74 None scripts/format/test/check_err/cst_in_head.smt2 ERROR (1) 4.34 7.66 None scripts/format/test/check_err/distinct_vars.smt2 ERROR (1) 4.47 7.70 None scripts/format/test/check_err/multi_query.smt2 ERROR (1) 4.28 7.63 None scripts/format/test/check_err/query_not_last.smt2 ERROR (1) 4.30 7.56 None scripts/format/test/check_err/same_var.smt2 FALSE 5.69 3.46 None scripts/format/test/check_err/tail_is_not_conj.smt2 ERROR (1) 4.06 7.59 None scripts/format/test/check_err/uf_in_iformula_1.smt2 ERROR (1) 4.17 7.51 None scripts/format/test/check_err/uf_in_iformula_2.smt2 ERROR (1) 4.42 7.64 None scripts/format/test/check_ok/no_quant.smt2 ERROR (1) 4.32 7.62 None scripts/format/test/inline_test_00.smt2 TRUE 4.91 3.07 None scripts/format/test/inline_test_01.smt2 TRUE 5.03 3.12 None scripts/format/test/nullary.smt2 ERROR (1) 4.34 7.55 None vmt-chc-benchmarks/bv/apache-escape-absolute.c.smt2 ERROR: EXCEPTION 5.31 2.98 None vmt-chc-benchmarks/bv/apache-get-tag.c.smt2 ERROR: EXCEPTION 4.91 2.80 None vmt-chc-benchmarks/bv/array_max-1.smt2 ERROR: EXCEPTION 5.28 3.01 None vmt-chc-benchmarks/bv/array_max-2.smt2 ERROR: EXCEPTION 5.29 3.05 None vmt-chc-benchmarks/bv/array_max-3.smt2 ERROR: EXCEPTION 5.74 3.16 None vmt-chc-benchmarks/bv/array_max-4.smt2 ERROR: EXCEPTION 5.81 3.24 None vmt-chc-benchmarks/bv/array_max-5.smt2 ERROR: EXCEPTION 6.00 3.39 None vmt-chc-benchmarks/bv/bind_expands_vars2.c.smt2 ERROR: EXCEPTION 4.98 2.81 None vmt-chc-benchmarks/bv/bist_cell.smt2 ERROR: EXCEPTION 5.77 3.13 None vmt-chc-benchmarks/bv/bound.c.smt2 ERROR: EXCEPTION 5.16 2.87 None vmt-chc-benchmarks/bv/bubblesort-1.smt2 ERROR: EXCEPTION 5.68 3.13 None vmt-chc-benchmarks/bv/bubblesort-2.smt2 ERROR: EXCEPTION 5.48 3.10 None vmt-chc-benchmarks/bv/bubblesort-3.smt2 ERROR: EXCEPTION 5.75 3.38 None vmt-chc-benchmarks/bv/bubblesort_init-1.smt2 ERROR: EXCEPTION 5.45 3.08 None vmt-chc-benchmarks/bv/bubblesort_init-2.smt2 ERROR: EXCEPTION 5.32 3.00 None vmt-chc-benchmarks/bv/bubblesort_init-3.smt2 ERROR: EXCEPTION 5.35 3.04 None vmt-chc-benchmarks/bv/byte_add_1_safe.c.smt2 ERROR: EXCEPTION 5.53 3.15 None vmt-chc-benchmarks/bv/byte_add_2_safe.c.smt2 ERROR: EXCEPTION 5.37 3.15 None vmt-chc-benchmarks/bv/byte_add_unsafe.c.smt2 ERROR: EXCEPTION 5.70 3.17 None vmt-chc-benchmarks/bv/cdaudio_simpl1_BUG.cil.smt2 ERROR: EXCEPTION 11.70 6.15 None vmt-chc-benchmarks/bv/cdaudio_simpl1.cil.smt2 ERROR: EXCEPTION 10.37 5.53 None vmt-chc-benchmarks/bv/diskperf_simpl1.cil.smt2 ERROR: EXCEPTION 7.68 4.22 None vmt-chc-benchmarks/bv/down.c.smt2 ERROR: EXCEPTION 5.07 2.87 None vmt-chc-benchmarks/bv/floppy_simpl3_BUG.cil.smt2 ERROR: EXCEPTION 7.36 3.89 None vmt-chc-benchmarks/bv/floppy_simpl3.cil.smt2 ERROR: EXCEPTION 7.07 3.89 None vmt-chc-benchmarks/bv/floppy_simpl4_BUG.cil.smt2 ERROR: EXCEPTION 7.62 4.14 None vmt-chc-benchmarks/bv/floppy_simpl4.cil.smt2 ERROR: EXCEPTION 8.03 4.25 None vmt-chc-benchmarks/bv/fragtest_simple.c.smt2 ERROR: EXCEPTION 4.96 2.79 None vmt-chc-benchmarks/bv/gcd_1_safe.c.smt2 ERROR: EXCEPTION 5.24 2.98 None vmt-chc-benchmarks/bv/gcd_2_safe.c.smt2 ERROR: EXCEPTION 5.23 2.87 None vmt-chc-benchmarks/bv/gcd_3_safe.c.smt2 ERROR: EXCEPTION 5.07 2.89 None vmt-chc-benchmarks/bv/gcd_4_safe.c.smt2 ERROR: EXCEPTION 4.98 2.86 None vmt-chc-benchmarks/bv/gulwani_cegar1.c.smt2 ERROR: EXCEPTION 5.04 2.83 None vmt-chc-benchmarks/bv/gulwani_cegar2.c.smt2 ERROR: EXCEPTION 5.08 2.91 None vmt-chc-benchmarks/bv/gulwani_fig1a.c.smt2 ERROR: EXCEPTION 5.04 2.86 None vmt-chc-benchmarks/bv/half.c.smt2 ERROR: EXCEPTION 4.97 2.73 None vmt-chc-benchmarks/bv/heapsort1.c.smt2 ERROR: EXCEPTION 4.98 2.87 None vmt-chc-benchmarks/bv/heapsort2.c.smt2 ERROR: EXCEPTION 5.01 2.80 None vmt-chc-benchmarks/bv/heapsort3.c.smt2 ERROR: EXCEPTION 5.17 2.85 None vmt-chc-benchmarks/bv/heapsort.c.smt2 ERROR: EXCEPTION 5.22 2.93 None vmt-chc-benchmarks/bv/id_build.c.smt2 ERROR: EXCEPTION 5.10 2.85 None vmt-chc-benchmarks/bv/id_trans.c.smt2 ERROR: EXCEPTION 4.93 2.88 None vmt-chc-benchmarks/bv/interleave_bits_safe.c.smt2 ERROR: EXCEPTION 5.34 2.96 None vmt-chc-benchmarks/bv/jain_1_safe.c.smt2 ERROR: EXCEPTION 5.12 2.83 None vmt-chc-benchmarks/bv/jain_2_safe.c.smt2 ERROR: EXCEPTION 5.01 2.78 None vmt-chc-benchmarks/bv/jain_4_safe.c.smt2 ERROR: EXCEPTION 5.13 2.88 None vmt-chc-benchmarks/bv/jain_5_safe.c.smt2 ERROR: EXCEPTION 4.99 2.82 None vmt-chc-benchmarks/bv/jain_6_safe.c.smt2 ERROR: EXCEPTION 4.99 2.80 None vmt-chc-benchmarks/bv/jain_7_safe.c.smt2 ERROR: EXCEPTION 5.01 2.81 None vmt-chc-benchmarks/bv/kbfiltr_simpl1.cil.smt2 ERROR: EXCEPTION 5.47 3.12 None vmt-chc-benchmarks/bv/kbfiltr_simpl2_BUG.cil.smt2 ERROR: EXCEPTION 6.26 3.43 None vmt-chc-benchmarks/bv/kbfiltr_simpl2.cil.smt2 ERROR: EXCEPTION 6.01 3.36 None vmt-chc-benchmarks/bv/ken-imp.c.smt2 ERROR: EXCEPTION 4.76 2.76 None vmt-chc-benchmarks/bv/kundu-bug-1.smt2 ERROR: EXCEPTION 5.69 3.18 None vmt-chc-benchmarks/bv/kundu-bug-2.smt2 ERROR: EXCEPTION 6.15 3.40 None vmt-chc-benchmarks/bv/kundu.smt2 ERROR: EXCEPTION 6.26 3.44 None vmt-chc-benchmarks/bv/MADWiFi-encode_ie_ok.c.smt2 ERROR: EXCEPTION 5.27 2.89 None vmt-chc-benchmarks/bv/mem_slave_tlm.1.smt2 ERROR: EXCEPTION 6.33 3.57 None vmt-chc-benchmarks/bv/mem_slave_tlm.2.smt2 ERROR: EXCEPTION 6.48 3.54 None vmt-chc-benchmarks/bv/mem_slave_tlm.3.smt2 ERROR: EXCEPTION 6.50 3.68 None vmt-chc-benchmarks/bv/mem_slave_tlm.4.smt2 ERROR: EXCEPTION 6.70 3.60 None vmt-chc-benchmarks/bv/mem_slave_tlm.5.smt2 ERROR: EXCEPTION 6.86 3.65 None vmt-chc-benchmarks/bv/mergesort.c.smt2 ERROR: EXCEPTION 5.04 2.86 None vmt-chc-benchmarks/bv/modulus_safe.c.smt2 ERROR: EXCEPTION 5.19 3.01 None vmt-chc-benchmarks/bv/nested1.c.smt2 ERROR: EXCEPTION 4.91 3.03 None vmt-chc-benchmarks/bv/nested2.c.smt2 ERROR: EXCEPTION 5.20 2.96 None vmt-chc-benchmarks/bv/nested3.c.smt2 ERROR: EXCEPTION 5.25 2.95 None vmt-chc-benchmarks/bv/nested4.c.smt2 ERROR: EXCEPTION 5.01 2.89 None vmt-chc-benchmarks/bv/nested5.c.smt2 ERROR: EXCEPTION 5.04 2.88 None vmt-chc-benchmarks/bv/nested6.c.smt2 ERROR: EXCEPTION 4.94 3.01 None vmt-chc-benchmarks/bv/nested7.c.smt2 ERROR: EXCEPTION 5.33 2.98 None vmt-chc-benchmarks/bv/nested8.c.smt2 ERROR: EXCEPTION 5.14 2.88 None vmt-chc-benchmarks/bv/nested9.c.smt2 ERROR: EXCEPTION 5.02 2.86 None vmt-chc-benchmarks/bv/nested.c.smt2 ERROR: EXCEPTION 4.68 2.74 None vmt-chc-benchmarks/bv/nest-if1.c.smt2 ERROR: EXCEPTION 5.15 2.90 None vmt-chc-benchmarks/bv/nest-if2.c.smt2 ERROR: EXCEPTION 5.34 2.98 None vmt-chc-benchmarks/bv/nest-if3.c.smt2 ERROR: EXCEPTION 5.10 2.85 None vmt-chc-benchmarks/bv/nest-if4.c.smt2 ERROR: EXCEPTION 4.94 3.04 None vmt-chc-benchmarks/bv/nest-if5.c.smt2 ERROR: EXCEPTION 5.14 2.88 None vmt-chc-benchmarks/bv/nest-if6.c.smt2 ERROR: EXCEPTION 5.07 2.83 None vmt-chc-benchmarks/bv/nest-if7.c.smt2 ERROR: EXCEPTION 5.22 2.88 None vmt-chc-benchmarks/bv/nest-if8.c.smt2 ERROR: EXCEPTION 5.08 2.89 None vmt-chc-benchmarks/bv/nest-if.c.smt2 ERROR: EXCEPTION 5.24 2.90 None vmt-chc-benchmarks/bv/nest-len.c.smt2 ERROR: EXCEPTION 5.03 2.94 None vmt-chc-benchmarks/bv/NetBSD_loop.c.smt2 ERROR: EXCEPTION 5.29 2.94 None vmt-chc-benchmarks/bv/num_conversion_1_safe.c.smt2 ERROR: EXCEPTION 4.90 2.88 None vmt-chc-benchmarks/bv/num_conversion_2_safe.c.smt2 ERROR: EXCEPTION 4.98 2.84 None vmt-chc-benchmarks/bv/parity_safe.c.smt2 ERROR: EXCEPTION 5.27 2.96 None vmt-chc-benchmarks/bv/pc_sfifo_1.smt2 ERROR: EXCEPTION 5.55 3.02 None vmt-chc-benchmarks/bv/pc_sfifo_2.smt2 ERROR: EXCEPTION 6.04 3.44 None vmt-chc-benchmarks/bv/pc_sfifo_3.smt2 ERROR: EXCEPTION 5.94 3.33 None vmt-chc-benchmarks/bv/pipeline-bug.smt2 ERROR: EXCEPTION 7.08 3.81 None vmt-chc-benchmarks/bv/pipeline.smt2 ERROR: EXCEPTION 6.64 3.71 None vmt-chc-benchmarks/bv/puzzle1.c.smt2 ERROR: EXCEPTION 5.14 2.91 None vmt-chc-benchmarks/bv/rajamani_1.c.smt2 ERROR: EXCEPTION 4.95 2.85 None vmt-chc-benchmarks/bv/s3_clnt_1_BUG.cil.smt2 ERROR: EXCEPTION 5.76 3.23 None vmt-chc-benchmarks/bv/s3_clnt_1.cil.smt2 ERROR: EXCEPTION 5.36 3.07 None vmt-chc-benchmarks/bv/s3_clnt_1_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.68 3.24 None vmt-chc-benchmarks/bv/s3_clnt_1_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.56 3.11 None vmt-chc-benchmarks/bv/s3_clnt_2_BUG.cil.smt2 ERROR: EXCEPTION 5.78 3.23 None vmt-chc-benchmarks/bv/s3_clnt_2.cil.smt2 ERROR: EXCEPTION 5.49 3.26 None vmt-chc-benchmarks/bv/s3_clnt_2_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.61 3.34 None vmt-chc-benchmarks/bv/s3_clnt_2_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.68 3.18 None vmt-chc-benchmarks/bv/s3_clnt_3_BUG.cil.smt2 ERROR: EXCEPTION 5.95 3.33 None vmt-chc-benchmarks/bv/s3_clnt_3.cil.smt2 ERROR: EXCEPTION 5.94 3.22 None vmt-chc-benchmarks/bv/s3_clnt_3_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.81 3.20 None vmt-chc-benchmarks/bv/s3_clnt_3_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 6.00 3.42 None vmt-chc-benchmarks/bv/s3_clnt_4_BUG.cil.smt2 ERROR: EXCEPTION 5.69 3.17 None vmt-chc-benchmarks/bv/s3_clnt_4.cil.smt2 ERROR: EXCEPTION 5.69 3.04 None vmt-chc-benchmarks/bv/s3_srvr_10.cil.smt2 ERROR: EXCEPTION 5.75 3.34 None vmt-chc-benchmarks/bv/s3_srvr_11.cil.smt2 ERROR: EXCEPTION 5.78 3.22 None vmt-chc-benchmarks/bv/s3_srvr_12.cil.smt2 ERROR: EXCEPTION 5.95 3.41 None vmt-chc-benchmarks/bv/s3_srvr_13.cil.smt2 ERROR: EXCEPTION 5.88 3.27 None vmt-chc-benchmarks/bv/s3_srvr_14.cil.smt2 ERROR: EXCEPTION 6.03 3.27 None vmt-chc-benchmarks/bv/s3_srvr_15.cil.smt2 ERROR: EXCEPTION 5.70 3.17 None vmt-chc-benchmarks/bv/s3_srvr_16.cil.smt2 ERROR: EXCEPTION 5.63 3.37 None vmt-chc-benchmarks/bv/s3_srvr_1_BUG.cil.smt2 ERROR: EXCEPTION 5.91 3.37 None vmt-chc-benchmarks/bv/s3_srvr_1.cil.smt2 ERROR: EXCEPTION 5.70 3.16 None vmt-chc-benchmarks/bv/s3_srvr_1_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.72 3.36 None vmt-chc-benchmarks/bv/s3_srvr_1_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 6.23 3.48 None vmt-chc-benchmarks/bv/s3_srvr_2_BUG.cil.smt2 ERROR: EXCEPTION 5.84 3.31 None vmt-chc-benchmarks/bv/s3_srvr_2.cil.smt2 ERROR: EXCEPTION 5.52 3.32 None vmt-chc-benchmarks/bv/s3_srvr_2_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.91 3.31 None vmt-chc-benchmarks/bv/s3_srvr_2_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.91 3.50 None vmt-chc-benchmarks/bv/s3_srvr_3.cil.smt2 ERROR: EXCEPTION 5.87 3.19 None vmt-chc-benchmarks/bv/s3_srvr_3_safe.BV.c.cil.c.smt2 ERROR: EXCEPTION 6.07 3.34 None vmt-chc-benchmarks/bv/s3_srvr_3_unsafe.BV.c.cil.c.smt2 ERROR: EXCEPTION 5.96 3.20 None vmt-chc-benchmarks/bv/s3_srvr_4.cil.smt2 ERROR: EXCEPTION 5.78 3.22 None vmt-chc-benchmarks/bv/s3_srvr_6.cil.smt2 ERROR: EXCEPTION 5.97 3.28 None vmt-chc-benchmarks/bv/s3_srvr_7.cil.smt2 ERROR: EXCEPTION 5.97 3.21 None vmt-chc-benchmarks/bv/s3_srvr_8.cil.smt2 ERROR: EXCEPTION 5.78 3.19 None vmt-chc-benchmarks/bv/s3_srvr_9.cil.smt2 ERROR: EXCEPTION 5.62 3.05 None vmt-chc-benchmarks/bv/sendmail-close-angle.c.smt2 ERROR: EXCEPTION 5.11 2.87 None vmt-chc-benchmarks/bv/sendmail-mime7to8_arr_three_chars_no_test_ok.c.smt2 ERROR: EXCEPTION 5.08 2.86 None vmt-chc-benchmarks/bv/sendmail-mime-fromqp.c.smt2 ERROR: EXCEPTION 4.86 2.83 None vmt-chc-benchmarks/bv/seq2.c.smt2 ERROR: EXCEPTION 5.06 3.01 None vmt-chc-benchmarks/bv/seq3.c.smt2 ERROR: EXCEPTION 5.15 2.98 None vmt-chc-benchmarks/bv/seq4.c.smt2 ERROR: EXCEPTION 4.92 2.83 None vmt-chc-benchmarks/bv/seq.c.smt2 ERROR: EXCEPTION 5.06 3.07 None vmt-chc-benchmarks/bv/seq-len.c.smt2 ERROR: EXCEPTION 4.99 2.84 None vmt-chc-benchmarks/bv/seq-proc.c.smt2 ERROR: EXCEPTION 5.13 2.90 None vmt-chc-benchmarks/bv/seq-sim.c.smt2 ERROR: EXCEPTION 5.13 2.85 None vmt-chc-benchmarks/bv/seq-z3.c.smt2 ERROR: EXCEPTION 5.21 2.89 None vmt-chc-benchmarks/bv/simple_array_inversion-1.smt2 ERROR: EXCEPTION 5.54 3.16 None vmt-chc-benchmarks/bv/simple_array_inversion-2.smt2 ERROR: EXCEPTION 5.56 3.14 None vmt-chc-benchmarks/bv/simple_array_inversion-3.smt2 ERROR: EXCEPTION 5.85 3.25 None vmt-chc-benchmarks/bv/simple_array_inversion-4.smt2 ERROR: EXCEPTION 6.05 3.36 None vmt-chc-benchmarks/bv/simple_array_inversion-5.smt2 ERROR: EXCEPTION 5.79 3.27 None vmt-chc-benchmarks/bv/simple_array_inversion-6.smt2 ERROR: EXCEPTION 6.02 3.34 None vmt-chc-benchmarks/bv/simple_array_inversion-7.smt2 ERROR: EXCEPTION 6.33 3.51 None vmt-chc-benchmarks/bv/simple_array_inversion-8.smt2 ERROR: EXCEPTION 6.76 3.75 None vmt-chc-benchmarks/bv/simple_array_inversion-9.smt2 ERROR: EXCEPTION 6.83 3.75 None vmt-chc-benchmarks/bv/simple.c.smt2 ERROR: EXCEPTION 4.90 2.82 None vmt-chc-benchmarks/bv/simple_if.c.smt2 ERROR: EXCEPTION 5.02 2.85 None vmt-chc-benchmarks/bv/simple_nest.c.smt2 ERROR: EXCEPTION 5.13 2.90 None vmt-chc-benchmarks/bv/soft_float_1_safe.c.cil.c.smt2 ERROR: EXCEPTION 6.08 3.36 None vmt-chc-benchmarks/bv/soft_float_2_safe.c.cil.c.smt2 ERROR: EXCEPTION 5.82 3.26 None vmt-chc-benchmarks/bv/soft_float_3_safe.c.cil.c.smt2 ERROR: EXCEPTION 5.96 3.30 None vmt-chc-benchmarks/bv/soft_float_4_safe.c.cil.c.smt2 ERROR: EXCEPTION 6.09 3.37 None vmt-chc-benchmarks/bv/soft_float_5_safe.c.cil.c.smt2 ERROR: EXCEPTION 5.90 3.30 None vmt-chc-benchmarks/bv/SpamAssassin-loop.c.smt2 ERROR: EXCEPTION 5.06 2.91 None vmt-chc-benchmarks/bv/SpamAssassin-loop_ok.c.smt2 ERROR: EXCEPTION 5.21 2.93 None vmt-chc-benchmarks/bv/split.c.smt2 ERROR: EXCEPTION 5.01 2.89 None vmt-chc-benchmarks/bv/string_concat-noarr.c.smt2 ERROR: EXCEPTION 4.86 2.80 None vmt-chc-benchmarks/bv/svd1.c.smt2 ERROR: EXCEPTION 5.20 3.06 None vmt-chc-benchmarks/bv/svd2.c.smt2 ERROR: EXCEPTION 5.42 2.95 None vmt-chc-benchmarks/bv/svd3.c.smt2 ERROR: EXCEPTION 5.18 2.88 None vmt-chc-benchmarks/bv/svd4.c.smt2 ERROR: EXCEPTION 5.45 3.04 None vmt-chc-benchmarks/bv/svd.c.smt2 ERROR: EXCEPTION 5.88 3.26 None vmt-chc-benchmarks/bv/svd-some-loop.c.smt2 ERROR: EXCEPTION 5.45 3.07 None vmt-chc-benchmarks/bv/token_ring.10.smt2 ERROR: EXCEPTION 13.70 7.58 None vmt-chc-benchmarks/bv/token_ring.11.smt2 ERROR: EXCEPTION 17.31 9.77 None vmt-chc-benchmarks/bv/token_ring.12.smt2 ERROR: EXCEPTION 19.40 11.06 None vmt-chc-benchmarks/bv/token_ring.13.smt2 ERROR: EXCEPTION 19.43 11.85 None vmt-chc-benchmarks/bv/token_ring.1.smt2 ERROR: EXCEPTION 5.85 3.23 None vmt-chc-benchmarks/bv/token_ring.2.smt2 ERROR: EXCEPTION 6.33 3.48 None vmt-chc-benchmarks/bv/token_ring.3.smt2 ERROR: EXCEPTION 6.76 3.70 None vmt-chc-benchmarks/bv/token_ring.4.smt2 ERROR: EXCEPTION 7.68 4.13 None vmt-chc-benchmarks/bv/token_ring.5.smt2 ERROR: EXCEPTION 8.72 4.59 None vmt-chc-benchmarks/bv/token_ring.6.smt2 ERROR: EXCEPTION 9.90 5.32 None vmt-chc-benchmarks/bv/token_ring.7.smt2 ERROR: EXCEPTION 9.34 5.09 None vmt-chc-benchmarks/bv/token_ring.8.smt2 ERROR: EXCEPTION 12.22 6.49 None vmt-chc-benchmarks/bv/token_ring.9.smt2 ERROR: EXCEPTION 13.30 7.06 None vmt-chc-benchmarks/bv/toy-bug-1.smt2 ERROR: EXCEPTION 5.48 3.15 None vmt-chc-benchmarks/bv/toy-bug-2.smt2 ERROR: EXCEPTION 5.69 3.40 None vmt-chc-benchmarks/bv/toy.smt2 ERROR: EXCEPTION 5.89 3.24 None vmt-chc-benchmarks/bv/transmitter.10.smt2 ERROR: EXCEPTION 13.79 7.60 None vmt-chc-benchmarks/bv/transmitter.11.smt2 ERROR: EXCEPTION 15.91 8.77 None vmt-chc-benchmarks/bv/transmitter.12.smt2 ERROR: EXCEPTION 17.11 9.78 None vmt-chc-benchmarks/bv/transmitter.13.smt2 ERROR: EXCEPTION 19.27 11.40 None vmt-chc-benchmarks/bv/transmitter.1.smt2 ERROR: EXCEPTION 5.59 3.11 None vmt-chc-benchmarks/bv/transmitter.2.smt2 ERROR: EXCEPTION 6.03 3.39 None vmt-chc-benchmarks/bv/transmitter.3.smt2 ERROR: EXCEPTION 6.75 3.60 None vmt-chc-benchmarks/bv/transmitter.4.smt2 ERROR: EXCEPTION 7.33 3.94 None vmt-chc-benchmarks/bv/transmitter.5.smt2 ERROR: EXCEPTION 8.03 4.54 None vmt-chc-benchmarks/bv/transmitter.6.smt2 ERROR: EXCEPTION 9.01 4.82 None vmt-chc-benchmarks/bv/transmitter.7.smt2 ERROR: EXCEPTION 10.41 5.60 None vmt-chc-benchmarks/bv/transmitter.8.smt2 ERROR: EXCEPTION 10.54 5.59 None vmt-chc-benchmarks/bv/transmitter.9.smt2 ERROR: EXCEPTION 12.32 6.61 None vmt-chc-benchmarks/bv/up2.c.smt2 ERROR: EXCEPTION 4.88 2.87 None vmt-chc-benchmarks/bv/up3.c.smt2 ERROR: EXCEPTION 4.95 2.82 None vmt-chc-benchmarks/bv/up4.c.smt2 ERROR: EXCEPTION 4.85 2.78 None vmt-chc-benchmarks/bv/up5.c.smt2 ERROR: EXCEPTION 5.21 3.09 None vmt-chc-benchmarks/bv/up.c.smt2 ERROR: EXCEPTION 4.88 2.83 None vmt-chc-benchmarks/bv/up-nested.c.smt2 ERROR: EXCEPTION 5.05 2.80 None vmt-chc-benchmarks/cav12/array_max-1.smt2 TIMEOUT (ERROR (143)) 90.59 81.94 None vmt-chc-benchmarks/cav12/array_max-2.smt2 TIMEOUT (ERROR (143)) 90.85 86.26 None vmt-chc-benchmarks/cav12/array_max-3.smt2 TIMEOUT (ERROR (143)) 90.88 85.01 None vmt-chc-benchmarks/cav12/array_max-4.smt2 TIMEOUT (ERROR (143)) 90.90 85.07 None vmt-chc-benchmarks/cav12/array_max-5.smt2 TIMEOUT (ERROR (143)) 90.96 85.84 None vmt-chc-benchmarks/cav12/bist_cell.smt2 TIMEOUT (ERROR (143)) 90.84 85.12 None vmt-chc-benchmarks/cav12/bubblesort-1.smt2 TIMEOUT (ERROR (143)) 90.89 84.95 None vmt-chc-benchmarks/cav12/bubblesort-2.smt2 TIMEOUT (ERROR (143)) 91.20 76.49 None vmt-chc-benchmarks/cav12/bubblesort-3.smt2 TIMEOUT (ERROR (143)) 90.83 85.77 None vmt-chc-benchmarks/cav12/bubblesort_init-1.smt2 TIMEOUT (ERROR (143)) 90.90 85.39 None vmt-chc-benchmarks/cav12/bubblesort_init-2.smt2 TIMEOUT (ERROR (143)) 93.02 77.06 None vmt-chc-benchmarks/cav12/bubblesort_init-3.smt2 TIMEOUT (ERROR (143)) 90.88 85.32 None vmt-chc-benchmarks/cav12/bubblesort.smt2 TIMEOUT (ERROR (143)) 90.84 86.40 None vmt-chc-benchmarks/cav12/cdaudio_simpl1_BUG.cil.smt2 TIMEOUT (ERROR (143)) 91.02 81.92 None vmt-chc-benchmarks/cav12/cdaudio_simpl1.cil.smt2 TIMEOUT (ERROR (143)) 90.13 77.14 None vmt-chc-benchmarks/cav12/diskperf_simpl1.cil.smt2 TIMEOUT (ERROR (143)) 90.86 84.91 None vmt-chc-benchmarks/cav12/floppy_simpl3_BUG.cil.smt2 TIMEOUT (ERROR (143)) 90.85 84.99 None vmt-chc-benchmarks/cav12/floppy_simpl3.cil.smt2 TIMEOUT (ERROR (143)) 90.89 85.38 None vmt-chc-benchmarks/cav12/floppy_simpl4_BUG.cil.smt2 TIMEOUT (ERROR (143)) 90.86 84.43 None vmt-chc-benchmarks/cav12/floppy_simpl4.cil.smt2 TIMEOUT (ERROR (143)) 91.01 82.80 None vmt-chc-benchmarks/cav12/kbfiltr_simpl1.cil.smt2 FALSE 12.03 6.61 None vmt-chc-benchmarks/cav12/kbfiltr_simpl2_BUG.cil.smt2 TIMEOUT (ERROR (143)) 90.83 85.83 None vmt-chc-benchmarks/cav12/kbfiltr_simpl2.cil.smt2 FALSE 15.28 8.35 None vmt-chc-benchmarks/cav12/kundu-bug-1.smt2 TIMEOUT (ERROR (143)) 90.92 84.02 None vmt-chc-benchmarks/cav12/kundu-bug-2.smt2 TIMEOUT (ERROR (143)) 90.93 84.53 None vmt-chc-benchmarks/cav12/kundu.smt2 TIMEOUT (ERROR (143)) 90.87 85.49 None vmt-chc-benchmarks/cav12/mem_slave_tlm.1.smt2 TIMEOUT (TRUE) 90.31 58.00 None vmt-chc-benchmarks/cav12/mem_slave_tlm.2.smt2 TIMEOUT (ERROR (143)) 91.41 58.22 None vmt-chc-benchmarks/cav12/mem_slave_tlm.3.smt2 TIMEOUT (ERROR (143)) 91.07 58.38 None vmt-chc-benchmarks/cav12/mem_slave_tlm.4.smt2 TIMEOUT (ERROR (143)) 90.40 60.48 None vmt-chc-benchmarks/cav12/mem_slave_tlm.5.smt2 TIMEOUT (ERROR (143)) 94.38 64.83 None vmt-chc-benchmarks/cav12/pc_sfifo_1.smt2 TRUE 23.24 13.03 None vmt-chc-benchmarks/cav12/pc_sfifo_2.smt2 TIMEOUT (ERROR (143)) 90.85 86.61 None vmt-chc-benchmarks/cav12/pc_sfifo_3.smt2 TIMEOUT (ERROR (143)) 90.84 86.26 None vmt-chc-benchmarks/cav12/pipeline-bug.smt2 TIMEOUT (ERROR (143)) 90.89 85.24 None vmt-chc-benchmarks/cav12/pipeline.smt2 TIMEOUT (ERROR (143)) 90.90 84.69 None vmt-chc-benchmarks/cav12/s3_clnt_1_BUG.cil.smt2 FALSE 67.86 49.37 None vmt-chc-benchmarks/cav12/s3_clnt_1.cil.smt2 TIMEOUT (ERROR (143)) 91.02 68.59 None vmt-chc-benchmarks/cav12/s3_clnt_2_BUG.cil.smt2 FALSE 76.68 55.42 None vmt-chc-benchmarks/cav12/s3_clnt_2.cil.smt2 TIMEOUT (ERROR (143)) 91.13 67.77 None vmt-chc-benchmarks/cav12/s3_clnt_3_BUG.cil.smt2 FALSE 84.90 63.87 None vmt-chc-benchmarks/cav12/s3_clnt_3.cil.smt2 TIMEOUT (ERROR (143)) 91.92 68.39 None vmt-chc-benchmarks/cav12/s3_clnt_4_BUG.cil.smt2 FALSE 68.92 50.88 None vmt-chc-benchmarks/cav12/s3_clnt_4.cil.smt2 TIMEOUT (ERROR (143)) 91.68 67.74 None vmt-chc-benchmarks/cav12/s3_srvr_10.cil.smt2 TIMEOUT (ERROR (143)) 91.22 75.61 None vmt-chc-benchmarks/cav12/s3_srvr_11.cil.smt2 TIMEOUT (ERROR (143)) 91.53 77.71 None vmt-chc-benchmarks/cav12/s3_srvr_12.cil.smt2 TIMEOUT (ERROR (143)) 92.35 79.48 None vmt-chc-benchmarks/cav12/s3_srvr_13.cil.smt2 TIMEOUT (ERROR (143)) 91.22 77.18 None vmt-chc-benchmarks/cav12/s3_srvr_14.cil.smt2 TIMEOUT (ERROR (143)) 92.54 78.96 None vmt-chc-benchmarks/cav12/s3_srvr_15.cil.smt2 TIMEOUT (ERROR (143)) 91.07 78.70 None vmt-chc-benchmarks/cav12/s3_srvr_16.cil.smt2 TIMEOUT (ERROR (143)) 90.87 80.49 None vmt-chc-benchmarks/cav12/s3_srvr_1_BUG.cil.smt2 FALSE 80.20 64.12 None vmt-chc-benchmarks/cav12/s3_srvr_1.cil.smt2 TRUE 88.31 71.40 None vmt-chc-benchmarks/cav12/s3_srvr_2_BUG.cil.smt2 TIMEOUT (ERROR (143)) 91.36 74.60 None vmt-chc-benchmarks/cav12/s3_srvr_2.cil.smt2 TIMEOUT (ERROR (143)) 91.05 72.28 None vmt-chc-benchmarks/cav12/s3_srvr_3.cil.smt2 TIMEOUT (ERROR (143)) 91.03 74.36 None vmt-chc-benchmarks/cav12/s3_srvr_4.cil.smt2 TIMEOUT (ERROR (143)) 90.63 73.61 None vmt-chc-benchmarks/cav12/s3_srvr_6.cil.smt2 TIMEOUT (ERROR (143)) 95.20 86.55 None vmt-chc-benchmarks/cav12/s3_srvr_7.cil.smt2 TIMEOUT (ERROR (143)) 91.18 78.97 None vmt-chc-benchmarks/cav12/s3_srvr_8.cil.smt2 TIMEOUT (ERROR (143)) 92.21 78.30 None vmt-chc-benchmarks/cav12/s3_srvr_9.cil.smt2 TIMEOUT (ERROR (143)) 91.50 77.01 None vmt-chc-benchmarks/cav12/simple_array_inversion-1.smt2 TIMEOUT (ERROR (143)) 91.06 87.29 None vmt-chc-benchmarks/cav12/simple_array_inversion-2.smt2 TIMEOUT (ERROR (143)) 90.90 84.47 None vmt-chc-benchmarks/cav12/simple_array_inversion-3.smt2 TIMEOUT (ERROR (143)) 91.06 80.10 None vmt-chc-benchmarks/cav12/simple_array_inversion-4.smt2 TIMEOUT (ERROR (143)) 95.36 84.65 None vmt-chc-benchmarks/cav12/simple_array_inversion-5.smt2 TIMEOUT (ERROR (143)) 90.83 85.98 None vmt-chc-benchmarks/cav12/simple_array_inversion-6.smt2 TIMEOUT (ERROR (143)) 90.85 85.15 None vmt-chc-benchmarks/cav12/simple_array_inversion-7.smt2 TIMEOUT (ERROR (143)) 90.96 84.94 None vmt-chc-benchmarks/cav12/simple_array_inversion-8.smt2 TIMEOUT (ERROR (143)) 90.91 84.49 None vmt-chc-benchmarks/cav12/simple_array_inversion-9.smt2 TIMEOUT (ERROR (143)) 90.94 84.07 None vmt-chc-benchmarks/cav12/token_ring.10.smt2 TIMEOUT (ERROR (143)) 91.10 79.18 None vmt-chc-benchmarks/cav12/token_ring.11.smt2 TIMEOUT (ERROR (143)) 91.11 78.06 None vmt-chc-benchmarks/cav12/token_ring.12.smt2 TIMEOUT (ERROR (143)) 90.32 76.08 None vmt-chc-benchmarks/cav12/token_ring.13.smt2 TIMEOUT (ERROR (143)) 91.06 79.98 None vmt-chc-benchmarks/cav12/token_ring.1.smt2 TIMEOUT (ERROR (143)) 90.90 86.04 None vmt-chc-benchmarks/cav12/token_ring.2.smt2 TIMEOUT (ERROR (143)) 91.00 83.73 None vmt-chc-benchmarks/cav12/token_ring.3.smt2 TIMEOUT (ERROR (143)) 90.94 84.20 None vmt-chc-benchmarks/cav12/token_ring.4.smt2 TIMEOUT (ERROR (143)) 90.89 84.40 None vmt-chc-benchmarks/cav12/token_ring.5.smt2 TIMEOUT (ERROR (143)) 90.88 84.65 None vmt-chc-benchmarks/cav12/token_ring.6.smt2 TIMEOUT (ERROR (143)) 90.98 82.62 None vmt-chc-benchmarks/cav12/token_ring.7.smt2 TIMEOUT (ERROR (143)) 90.98 82.18 None vmt-chc-benchmarks/cav12/token_ring.8.smt2 TIMEOUT (ERROR (143)) 91.07 80.89 None vmt-chc-benchmarks/cav12/token_ring.9.smt2 TIMEOUT (ERROR (143)) 91.20 78.98 None vmt-chc-benchmarks/cav12/toy-bug-1.smt2 TIMEOUT (ERROR (143)) 90.88 86.03 None vmt-chc-benchmarks/cav12/toy-bug-2.smt2 TIMEOUT (ERROR (143)) 90.84 85.86 None vmt-chc-benchmarks/cav12/toy.smt2 TIMEOUT (ERROR (143)) 90.88 85.64 None vmt-chc-benchmarks/cav12/transmitter.10.smt2 TIMEOUT (ERROR (143)) 91.09 79.91 None vmt-chc-benchmarks/cav12/transmitter.11.smt2 TIMEOUT (ERROR (143)) 90.22 77.60 None vmt-chc-benchmarks/cav12/transmitter.12.smt2 TIMEOUT (ERROR (143)) 90.22 75.59 None vmt-chc-benchmarks/cav12/transmitter.13.smt2 TIMEOUT (ERROR (143)) 91.13 78.37 None vmt-chc-benchmarks/cav12/transmitter.1.smt2 TIMEOUT (ERROR (143)) 90.80 86.14 None vmt-chc-benchmarks/cav12/transmitter.2.smt2 TIMEOUT (ERROR (143)) 90.82 85.51 None vmt-chc-benchmarks/cav12/transmitter.3.smt2 TIMEOUT (ERROR (143)) 90.86 85.50 None vmt-chc-benchmarks/cav12/transmitter.4.smt2 TIMEOUT (ERROR (143)) 90.87 85.13 None vmt-chc-benchmarks/cav12/transmitter.5.smt2 TIMEOUT (ERROR (143)) 90.89 84.61 None vmt-chc-benchmarks/cav12/transmitter.6.smt2 TIMEOUT (ERROR (143)) 90.87 84.18 None vmt-chc-benchmarks/cav12/transmitter.7.smt2 TIMEOUT (ERROR (143)) 90.96 82.82 None vmt-chc-benchmarks/cav12/transmitter.8.smt2 TIMEOUT (ERROR (143)) 90.92 82.96 None vmt-chc-benchmarks/cav12/transmitter.9.smt2 TIMEOUT (ERROR (143)) 91.01 80.69 None vmt-chc-benchmarks/conc/fib_bench_safe_v1.smt2 TIMEOUT (ERROR (143)) 91.03 76.16 None vmt-chc-benchmarks/conc/fib_bench_safe_v2.smt2 TIMEOUT (ERROR (143)) 90.22 76.25 None vmt-chc-benchmarks/conc/fib_bench_safe_v3.smt2 TIMEOUT (ERROR (143)) 90.61 67.93 None vmt-chc-benchmarks/conc/lamport_safe.smt2 TIMEOUT (ERROR (143)) 91.13 78.20 None vmt-chc-benchmarks/conc/stateful01_safe_v1.smt2 TIMEOUT (ERROR (143)) 90.70 69.64 None vmt-chc-benchmarks/conc/szymanski_safe.smt2 TIMEOUT (ERROR (143)) 90.82 63.32 None vmt-chc-benchmarks/ctigar/apache-escape-absolute.c.smt2 TIMEOUT (ERROR (143)) 91.91 67.90 None vmt-chc-benchmarks/ctigar/apache-get-tag.c.smt2 TIMEOUT (ERROR (143)) 91.19 66.09 None vmt-chc-benchmarks/ctigar/barbr.c.smt2 TIMEOUT (ERROR (143)) 91.23 68.06 None vmt-chc-benchmarks/ctigar/barbrprime.c.smt2 TIMEOUT (ERROR (143)) 90.62 63.50 None vmt-chc-benchmarks/ctigar/bind_expands_vars2.c.smt2 TIMEOUT (ERROR (143)) 91.09 79.25 None vmt-chc-benchmarks/ctigar/bkley.c.smt2 TIMEOUT (ERROR (143)) 90.32 75.07 None vmt-chc-benchmarks/ctigar/bk-nat.c.smt2 TIMEOUT (ERROR (143)) 90.85 70.11 None vmt-chc-benchmarks/ctigar/bound.c.smt2 TIMEOUT (ERROR (143)) 92.08 51.17 None vmt-chc-benchmarks/ctigar/cars.c.smt2 TIMEOUT (ERROR (143)) 90.82 67.43 None vmt-chc-benchmarks/ctigar/dillig01.c.smt2 TRUE 33.17 25.24 None vmt-chc-benchmarks/ctigar/dillig03.c.smt2 TIMEOUT (ERROR (143)) 91.09 71.12 None vmt-chc-benchmarks/ctigar/dillig05.c.smt2 TIMEOUT (ERROR (143)) 90.86 85.98 None vmt-chc-benchmarks/ctigar/dillig07.c.smt2 TRUE 42.18 34.19 None vmt-chc-benchmarks/ctigar/dillig12.c.smt2 TIMEOUT (ERROR (143)) 90.21 71.69 None vmt-chc-benchmarks/ctigar/dillig15.c.smt2 TIMEOUT (ERROR (143)) 91.85 82.25 None vmt-chc-benchmarks/ctigar/dillig17.c.smt2 TIMEOUT (ERROR (143)) 90.62 50.67 None vmt-chc-benchmarks/ctigar/dillig19.c.smt2 TIMEOUT (ERROR (143)) 92.86 69.24 None vmt-chc-benchmarks/ctigar/dillig20.c.smt2 TIMEOUT (ERROR (143)) 90.96 64.61 None vmt-chc-benchmarks/ctigar/dillig25.c.smt2 TIMEOUT (ERROR (143)) 104.06 57.53 None vmt-chc-benchmarks/ctigar/dillig28.c.smt2 TIMEOUT (ERROR (143)) 90.44 72.71 None vmt-chc-benchmarks/ctigar/dillig32.c.smt2 TIMEOUT (ERROR (143)) 100.81 55.83 None vmt-chc-benchmarks/ctigar/dillig33.c.smt2 TIMEOUT (ERROR (143)) 91.62 50.57 None vmt-chc-benchmarks/ctigar/dillig37.c.smt2 TIMEOUT (ERROR (143)) 90.66 50.53 None vmt-chc-benchmarks/ctigar/down.c.smt2 TIMEOUT (ERROR (143)) 90.87 86.08 None vmt-chc-benchmarks/ctigar/efm.c.smt2 TIMEOUT (ERROR (143)) 91.29 68.97 None vmt-chc-benchmarks/ctigar/ex1.c.smt2 TIMEOUT (ERROR (143)) 91.04 64.21 None vmt-chc-benchmarks/ctigar/ex2.c.smt2 TIMEOUT (ERROR (143)) 91.16 68.51 None vmt-chc-benchmarks/ctigar/fig1a.c.smt2 TIMEOUT (ERROR (143)) 91.51 86.06 None vmt-chc-benchmarks/ctigar/fig2.c.smt2 TIMEOUT (ERROR (143)) 91.28 51.01 None vmt-chc-benchmarks/ctigar/fragtest_simple.c.smt2 TIMEOUT (ERROR (143)) 90.50 72.12 None vmt-chc-benchmarks/ctigar/gulv.c.smt2 TIMEOUT (ERROR (143)) 107.33 59.20 None vmt-chc-benchmarks/ctigar/gulv_simp.c.smt2 TIMEOUT (ERROR (143)) 101.15 55.93 None vmt-chc-benchmarks/ctigar/gulwani_cegar1.c.smt2 TIMEOUT (ERROR (143)) 90.39 75.10 None vmt-chc-benchmarks/ctigar/gulwani_cegar2.c.smt2 TIMEOUT (ERROR (143)) 106.59 59.05 None vmt-chc-benchmarks/ctigar/gulwani_fig1a.c.smt2 TRUE 21.79 15.34 None vmt-chc-benchmarks/ctigar/hsort.c.smt2 TIMEOUT (ERROR (143)) 90.51 72.89 None vmt-chc-benchmarks/ctigar/hsortprime.c.smt2 TIMEOUT (ERROR (143)) 90.51 73.04 None vmt-chc-benchmarks/ctigar/id_build.c.smt2 TIMEOUT (ERROR (143)) 90.29 75.53 None vmt-chc-benchmarks/ctigar/ken-imp.c.smt2 TIMEOUT (ERROR (143)) 91.24 86.66 None vmt-chc-benchmarks/ctigar/large_const.c.smt2 TIMEOUT (ERROR (143)) 91.04 65.56 None vmt-chc-benchmarks/ctigar/lifnat.c.smt2 TIMEOUT (ERROR (143)) 90.52 71.49 None vmt-chc-benchmarks/ctigar/lifnatprime.c.smt2 TIMEOUT (ERROR (143)) 90.80 67.76 None vmt-chc-benchmarks/ctigar/lifo.c.smt2 TIMEOUT (ERROR (143)) 90.61 70.64 None vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c.smt2 TIMEOUT (ERROR (143)) 90.96 65.88 None vmt-chc-benchmarks/ctigar/mergesort.c.smt2 TIMEOUT (ERROR (143)) 90.56 71.15 None vmt-chc-benchmarks/ctigar/nested1.c.smt2 TIMEOUT (ERROR (143)) 91.12 81.34 None vmt-chc-benchmarks/ctigar/nested2.c.smt2 TIMEOUT (ERROR (143)) 91.02 81.83 None vmt-chc-benchmarks/ctigar/nested3.c.smt2 TIMEOUT (ERROR (143)) 91.24 77.79 None vmt-chc-benchmarks/ctigar/nested4.c.smt2 TIMEOUT (ERROR (143)) 90.93 85.67 None vmt-chc-benchmarks/ctigar/nested5.c.smt2 TIMEOUT (ERROR (143)) 91.11 52.56 None vmt-chc-benchmarks/ctigar/nested6.c.smt2 TIMEOUT (ERROR (143)) 95.70 72.72 None vmt-chc-benchmarks/ctigar/nested7.c.smt2 TIMEOUT (ERROR (143)) 90.47 73.69 None vmt-chc-benchmarks/ctigar/nested8.c.smt2 TIMEOUT (ERROR (143)) 91.59 51.25 None vmt-chc-benchmarks/ctigar/nested9.c.smt2 TIMEOUT (ERROR (143)) 106.48 58.56 None vmt-chc-benchmarks/ctigar/nested.c.smt2 TRUE 82.73 74.69 None vmt-chc-benchmarks/ctigar/nest-if1.c.smt2 TIMEOUT (ERROR (143)) 91.08 50.54 None vmt-chc-benchmarks/ctigar/nest-if2.c.smt2 TIMEOUT (ERROR (143)) 105.70 58.26 None vmt-chc-benchmarks/ctigar/nest-if3.c.smt2 TIMEOUT (ERROR (143)) 91.24 51.33 None vmt-chc-benchmarks/ctigar/nest-if4.c.smt2 TIMEOUT (ERROR (143)) 107.73 60.06 None vmt-chc-benchmarks/ctigar/nest-if5.c.smt2 TIMEOUT (ERROR (143)) 91.55 50.67 None vmt-chc-benchmarks/ctigar/nest-if6.c.smt2 TIMEOUT (ERROR (143)) 90.64 70.27 None vmt-chc-benchmarks/ctigar/nest-if7.c.smt2 TIMEOUT (ERROR (143)) 90.87 50.72 None vmt-chc-benchmarks/ctigar/nest-if8.c.smt2 TIMEOUT (ERROR (143)) 90.50 73.26 None vmt-chc-benchmarks/ctigar/nest-if.c.smt2 TIMEOUT (ERROR (143)) 102.07 56.74 None vmt-chc-benchmarks/ctigar/nest-len.c.smt2 TIMEOUT (ERROR (143)) 90.80 67.93 None vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c.smt2 TIMEOUT (ERROR (143)) 96.21 73.30 None vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c.smt2 TIMEOUT (ERROR (143)) 90.80 68.42 None vmt-chc-benchmarks/ctigar/NetBSD_loop.c.smt2 TIMEOUT (ERROR (143)) 90.34 59.64 None vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c.smt2 TIMEOUT (ERROR (143)) 92.12 72.80 None vmt-chc-benchmarks/ctigar/pldi082_unbounded.c.smt2 TIMEOUT (ERROR (143)) 91.77 69.36 None vmt-chc-benchmarks/ctigar/pldi08.c.smt2 TRUE 16.72 11.06 None vmt-chc-benchmarks/ctigar/rajamani_1.c.smt2 TIMEOUT (ERROR (143)) 90.64 70.68 None vmt-chc-benchmarks/ctigar/seesaw.c.smt2 TIMEOUT (ERROR (143)) 90.87 69.18 None vmt-chc-benchmarks/ctigar/sendmail-close-angle.c.smt2 TIMEOUT (ERROR (143)) 90.87 67.09 None vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c.smt2 TIMEOUT (ERROR (143)) 90.66 70.50 None vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c.smt2 TIMEOUT (ERROR (143)) 91.39 66.10 None vmt-chc-benchmarks/ctigar/seq2.c.smt2 TIMEOUT (ERROR (143)) 90.55 71.52 None vmt-chc-benchmarks/ctigar/seq3.c.smt2 TIMEOUT (ERROR (143)) 102.00 55.56 None vmt-chc-benchmarks/ctigar/seq4.c.smt2 TIMEOUT (ERROR (143)) 92.12 50.62 None vmt-chc-benchmarks/ctigar/seq.c.smt2 TIMEOUT (ERROR (143)) 107.25 58.94 None vmt-chc-benchmarks/ctigar/seq-len.c.smt2 TIMEOUT (ERROR (143)) 90.67 69.70 None vmt-chc-benchmarks/ctigar/seq-proc.c.smt2 TIMEOUT (ERROR (143)) 90.40 74.04 None vmt-chc-benchmarks/ctigar/seq-sim.c.smt2 TIMEOUT (ERROR (143)) 91.94 51.45 None vmt-chc-benchmarks/ctigar/seq-z3.c.smt2 TIMEOUT (ERROR (143)) 103.01 57.43 None vmt-chc-benchmarks/ctigar/simple.c.smt2 TRUE 26.32 18.92 None vmt-chc-benchmarks/ctigar/simple_if.c.smt2 TRUE 49.02 42.66 None vmt-chc-benchmarks/ctigar/simple_nest.c.smt2 TRUE 41.67 34.85 None vmt-chc-benchmarks/ctigar/split.c.smt2 TIMEOUT (ERROR (143)) 103.99 57.57 None vmt-chc-benchmarks/ctigar/string_concat-noarr.c.smt2 TIMEOUT (ERROR (143)) 90.72 51.08 None vmt-chc-benchmarks/ctigar/substring1.c.smt2 TIMEOUT (ERROR (143)) 106.84 59.02 None vmt-chc-benchmarks/ctigar/svd1.c.smt2 TIMEOUT (ERROR (143)) 91.09 67.39 None vmt-chc-benchmarks/ctigar/svd2.c.smt2 TIMEOUT (ERROR (143)) 95.43 77.01 None vmt-chc-benchmarks/ctigar/svd3.c.smt2 TIMEOUT (ERROR (143)) 90.33 67.53 None vmt-chc-benchmarks/ctigar/svd4.c.smt2 TIMEOUT (ERROR (143)) 92.03 71.76 None vmt-chc-benchmarks/ctigar/svd.c.smt2 TIMEOUT (ERROR (143)) 90.86 86.16 None vmt-chc-benchmarks/ctigar/svd-some-loop.c.smt2 TIMEOUT (ERROR (143)) 96.82 73.50 None vmt-chc-benchmarks/ctigar/swim1.c.smt2 TIMEOUT (ERROR (143)) 91.15 66.61 None vmt-chc-benchmarks/ctigar/swim.c.smt2 TIMEOUT (ERROR (143)) 90.37 63.51 None vmt-chc-benchmarks/ctigar/up2.c.smt2 TIMEOUT (ERROR (143)) 90.82 86.28 None vmt-chc-benchmarks/ctigar/up3.c.smt2 TIMEOUT (ERROR (143)) 90.98 83.33 None vmt-chc-benchmarks/ctigar/up4.c.smt2 TIMEOUT (ERROR (143)) 90.84 86.19 None vmt-chc-benchmarks/ctigar/up5.c.smt2 TIMEOUT (ERROR (143)) 90.94 85.60 None vmt-chc-benchmarks/ctigar/up.c.smt2 TIMEOUT (ERROR (143)) 90.83 86.64 None vmt-chc-benchmarks/ctigar/up-nd.c.smt2 TIMEOUT (ERROR (143)) 90.57 51.19 None vmt-chc-benchmarks/ctigar/up-nested.c.smt2 TRUE 57.35 50.98 None vmt-chc-benchmarks/ctigar/xy0.c.smt2 TIMEOUT (ERROR (143)) 90.93 85.77 None vmt-chc-benchmarks/ctigar/xy10.c.smt2 TRUE 35.94 29.00 None vmt-chc-benchmarks/ctigar/xy4.c.smt2 TIMEOUT (ERROR (143)) 90.87 85.51 None vmt-chc-benchmarks/ctigar/xyz2.c.smt2 TIMEOUT (ERROR (143)) 106.08 58.96 None vmt-chc-benchmarks/ctigar/xyz.c.smt2 TIMEOUT (ERROR (143)) 105.02 59.75 None vmt-chc-benchmarks/lustre/_6counter2.smt2 TIMEOUT (ERROR (143)) 108.28 60.05 None vmt-chc-benchmarks/lustre/_6countern.smt2 FALSE 5.96 7.62 None vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149.smt2 TIMEOUT (ERROR (143)) 93.65 53.32 None vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448.smt2 TIMEOUT (ERROR (143)) 90.73 53.74 None vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80.smt2 TIMEOUT (ERROR (143)) 91.28 52.40 None vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304.smt2 TIMEOUT (ERROR (143)) 90.71 52.01 None vmt-chc-benchmarks/lustre/_6counter.smt2 TIMEOUT (ERROR (143)) 94.76 52.41 None vmt-chc-benchmarks/lustre/_6counters.smt2 TIMEOUT (ERROR (143)) 102.15 57.49 None vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299.smt2 TIMEOUT (ERROR (143)) 107.81 62.57 None vmt-chc-benchmarks/lustre/car_1.smt2 TIMEOUT (ERROR (143)) 101.28 55.40 None vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047.smt2 TIMEOUT (ERROR (143)) 102.96 56.74 None vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359.smt2 TIMEOUT (ERROR (143)) 99.89 54.54 None vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826.smt2 TIMEOUT 95.82 52.80 None vmt-chc-benchmarks/lustre/car_2.smt2 TIMEOUT (ERROR (143)) 105.22 57.90 None vmt-chc-benchmarks/lustre/car_3_e1_586.smt2 TIMEOUT 91.61 51.52 None vmt-chc-benchmarks/lustre/car_3_e2_695.smt2 TIMEOUT (ERROR (143)) 106.57 58.64 None vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305.smt2 TIMEOUT (ERROR (143)) 103.78 57.76 None vmt-chc-benchmarks/lustre/car_3_e7_626.smt2 TIMEOUT (ERROR (143)) 101.61 56.30 None vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856.smt2 TIMEOUT (ERROR (143)) 103.30 57.64 None vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010.smt2 TIMEOUT (ERROR (143)) 103.00 56.64 None vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220.smt2 TIMEOUT (ERROR (143)) 108.26 59.68 None vmt-chc-benchmarks/lustre/car_3_e8_33.smt2 TIMEOUT (ERROR (143)) 101.92 56.04 None vmt-chc-benchmarks/lustre/car_3.smt2 TIMEOUT (ERROR (143)) 101.03 63.61 None vmt-chc-benchmarks/lustre/car_4_e3_556.smt2 OUT OF MEMORY 87.74 50.86 None vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047.smt2 TIMEOUT (ERROR (143)) 110.14 88.05 None vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999.smt2 TIMEOUT (ERROR (143)) 97.94 82.02 None vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784.smt2 TIMEOUT (ERROR (143)) 103.16 56.93 None vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350.smt2 TIMEOUT 95.28 52.51 None vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265.smt2 TIMEOUT (ERROR (143)) 90.46 55.54 None vmt-chc-benchmarks/lustre/car_4_e7_592.smt2 TIMEOUT (ERROR (143)) 107.92 64.19 None vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514.smt2 TIMEOUT (ERROR (143)) 103.23 57.53 None vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178.smt2 TIMEOUT (ERROR (143)) 106.43 59.34 None vmt-chc-benchmarks/lustre/car_4_e8_118.smt2 TIMEOUT (ERROR (143)) 91.64 54.92 None vmt-chc-benchmarks/lustre/car_4.smt2 TIMEOUT (ERROR (143)) 90.98 53.03 None vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083.smt2 TIMEOUT 99.01 60.39 None vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473.smt2 TIMEOUT (ERROR (143)) 90.57 54.11 None vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028.smt2 TIMEOUT (ERROR (143)) 90.53 56.10 None vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055.smt2 TIMEOUT (ERROR (143)) 104.52 60.93 None vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429.smt2 ERROR (1) 87.66 55.23 None vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24.smt2 TIMEOUT (ERROR (143)) 91.66 53.88 None vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693.smt2 TIMEOUT (ERROR (143)) 91.43 68.47 None vmt-chc-benchmarks/lustre/car_5_e3_11.smt2 ERROR (1) 76.05 52.26 None vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823.smt2 ERROR (1) 84.14 48.58 None vmt-chc-benchmarks/lustre/car_5_e7_244.smt2 TIMEOUT (ERROR (143)) 109.00 63.67 None vmt-chc-benchmarks/lustre/car_5.smt2 ERROR (1) 74.61 63.60 None vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391.smt2 TIMEOUT (ERROR (143)) 106.62 62.30 None vmt-chc-benchmarks/lustre/car_6_e1_152.smt2 TIMEOUT (ERROR (143)) 94.74 72.69 None vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506.smt2 ERROR (1) 51.60 32.57 None vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349.smt2 ERROR (1) 61.35 70.30 None vmt-chc-benchmarks/lustre/car_6_e2_893.smt2 ERROR (1) 59.55 55.52 None vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956.smt2 TIMEOUT (ERROR (143)) 96.81 80.26 None vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47.smt2 ERROR (1) 47.16 49.30 None vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979.smt2 TIMEOUT (ERROR (143)) 91.52 53.69 None vmt-chc-benchmarks/lustre/car_6.smt2 TIMEOUT (ERROR (143)) 97.52 75.01 None vmt-chc-benchmarks/lustre/car_all_e1_388.smt2 TIMEOUT (ERROR (143)) 101.82 55.61 None vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303.smt2 TIMEOUT (ERROR (143)) 103.70 57.00 None vmt-chc-benchmarks/lustre/car_all_e2_108.smt2 TIMEOUT (ERROR (143)) 102.28 56.42 None vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209.smt2 TIMEOUT (ERROR (143)) 98.55 53.49 None vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194.smt2 TIMEOUT (ERROR (143)) 101.13 54.83 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178.smt2 TIMEOUT (ERROR (143)) 99.14 53.77 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13.smt2 TIMEOUT (ERROR (143)) 102.43 55.77 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163.smt2 TIMEOUT (ERROR (143)) 100.88 54.49 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275.smt2 TIMEOUT (ERROR (143)) 101.52 54.73 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882.smt2 TIMEOUT (ERROR (143)) 96.10 52.20 None vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790.smt2 TIMEOUT (ERROR (143)) 100.61 54.62 None vmt-chc-benchmarks/lustre/car_all_e3_1068.smt2 TIMEOUT (ERROR (143)) 98.09 53.02 None vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743.smt2 TIMEOUT (ERROR (143)) 101.95 55.34 None vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217.smt2 TIMEOUT (ERROR (143)) 102.74 55.49 None vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180.smt2 OUT OF MEMORY 89.40 48.69 None vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578.smt2 TIMEOUT (ERROR (143)) 95.67 51.83 None vmt-chc-benchmarks/lustre/car_all_e8_856.smt2 TIMEOUT (ERROR (143)) 101.07 54.79 None vmt-chc-benchmarks/lustre/car_all.smt2 TIMEOUT (ERROR (143)) 101.66 54.96 None vmt-chc-benchmarks/lustre/cd_e7_621_e7_669.smt2 TIMEOUT (ERROR (143)) 90.80 87.11 None vmt-chc-benchmarks/lustre/cd_e7_621_e8_714.smt2 TIMEOUT (ERROR (143)) 90.79 87.68 None vmt-chc-benchmarks/lustre/cd_e7_621.smt2 TIMEOUT (ERROR (143)) 90.79 87.23 None vmt-chc-benchmarks/lustre/cd.smt2 TIMEOUT (ERROR (143)) 90.77 87.29 None vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749.smt2 TIMEOUT (ERROR (143)) 97.89 53.24 None vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872.smt2 OUT OF MEMORY 89.58 48.70 None vmt-chc-benchmarks/lustre/DRAGON_10_e1_998.smt2 TIMEOUT (ERROR (143)) 92.94 50.42 None vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744.smt2 TIMEOUT (ERROR (143)) 95.10 51.54 None vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466.smt2 TIMEOUT (ERROR (143)) 96.95 52.44 None vmt-chc-benchmarks/lustre/DRAGON_10_e2_402.smt2 TIMEOUT (ERROR (143)) 91.75 50.32 None vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046.smt2 TIMEOUT (ERROR (143)) 95.98 51.94 None vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484.smt2 TIMEOUT (ERROR (143)) 92.22 50.21 None vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523.smt2 TIMEOUT (ERROR (143)) 92.02 50.39 None vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429.smt2 TIMEOUT (ERROR (143)) 92.04 50.17 None vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180.smt2 TIMEOUT (ERROR (143)) 92.73 50.46 None vmt-chc-benchmarks/lustre/DRAGON_10.smt2 TIMEOUT 91.54 49.83 None vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950.smt2 OUT OF MEMORY 89.03 48.49 None vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887.smt2 TIMEOUT 91.50 49.69 None vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483.smt2 TIMEOUT (ERROR (143)) 104.68 56.70 None vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330.smt2 TIMEOUT (ERROR (143)) 104.82 56.88 None vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450.smt2 TIMEOUT (ERROR (143)) 107.46 58.32 None vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565.smt2 TIMEOUT (ERROR (143)) 108.15 58.79 None vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282.smt2 TIMEOUT (ERROR (143)) 93.11 50.73 None vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505.smt2 TIMEOUT (ERROR (143)) 92.28 50.54 None vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421.smt2 TIMEOUT (ERROR (143)) 102.35 55.45 None vmt-chc-benchmarks/lustre/DRAGON_11.smt2 TIMEOUT (ERROR (143)) 108.05 58.45 None vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128.smt2 TIMEOUT (ERROR (143)) 107.87 58.38 None vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030.smt2 TIMEOUT (ERROR (143)) 107.62 58.16 None vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138.smt2 TIMEOUT 91.36 49.85 None vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012.smt2 TIMEOUT (ERROR (143)) 92.45 50.11 None vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732.smt2 TIMEOUT (ERROR (143)) 92.01 50.42 None vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618.smt2 TIMEOUT (ERROR (143)) 93.56 50.92 None vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145.smt2 TIMEOUT (ERROR (143)) 106.40 57.84 None vmt-chc-benchmarks/lustre/DRAGON_12.smt2 TIMEOUT (ERROR (143)) 105.79 57.54 None vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761.smt2 TIMEOUT (ERROR (143)) 95.68 52.11 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541.smt2 TIMEOUT (ERROR (143)) 92.40 50.53 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255.smt2 TIMEOUT (ERROR (143)) 104.76 57.16 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117.smt2 TIMEOUT (ERROR (143)) 92.11 50.37 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685.smt2 TIMEOUT (ERROR (143)) 106.83 57.79 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940.smt2 TIMEOUT (ERROR (143)) 104.62 56.94 None vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336.smt2 TIMEOUT (ERROR (143)) 92.76 50.50 None vmt-chc-benchmarks/lustre/DRAGON_13.smt2 TIMEOUT (ERROR (143)) 92.08 50.35 None vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392.smt2 TIMEOUT (ERROR (143)) 91.77 50.09 None vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891.smt2 TIMEOUT (ERROR (143)) 92.47 50.43 None vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606.smt2 TIMEOUT (ERROR (143)) 94.04 51.01 None vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798.smt2 TIMEOUT (ERROR (143)) 92.91 50.38 None vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120.smt2 TIMEOUT (ERROR (143)) 105.46 57.17 None vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998.smt2 TIMEOUT (ERROR (143)) 103.23 55.84 None vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298.smt2 TIMEOUT (ERROR (143)) 105.70 57.22 None vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528.smt2 TIMEOUT (ERROR (143)) 106.80 58.09 None vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719.smt2 TIMEOUT (ERROR (143)) 91.62 49.88 None vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162.smt2 TIMEOUT (ERROR (143)) 91.91 50.31 None vmt-chc-benchmarks/lustre/DRAGON_14.smt2 TIMEOUT (ERROR (143)) 108.36 58.87 None vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501.smt2 TIMEOUT 90.29 48.93 None vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370.smt2 TIMEOUT (ERROR (143)) 91.98 50.19 None vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026.smt2 TIMEOUT (ERROR (143)) 92.23 50.17 None vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184.smt2 TIMEOUT (ERROR (143)) 92.15 50.20 None vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409.smt2 TIMEOUT (ERROR (143)) 91.76 49.82 None vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997.smt2 TIMEOUT (ERROR (143)) 91.96 50.13 None vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881.smt2 TIMEOUT (ERROR (143)) 92.65 50.15 None vmt-chc-benchmarks/lustre/DRAGON_1.smt2 TIMEOUT 90.84 49.69 None vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316.smt2 TIMEOUT 92.09 50.40 None vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644.smt2 TIMEOUT (ERROR (143)) 92.05 50.48 None vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580.smt2 TIMEOUT (ERROR (143)) 93.61 51.04 None vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972.smt2 TIMEOUT 92.46 50.61 None vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183.smt2 TIMEOUT (ERROR (143)) 94.30 51.11 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154.smt2 TIMEOUT (ERROR (143)) 91.54 49.95 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340.smt2 OUT OF MEMORY 81.79 44.97 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829.smt2 TIMEOUT 91.54 50.27 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469.smt2 OUT OF MEMORY 81.58 44.96 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171.smt2 TIMEOUT (ERROR (143)) 91.50 50.08 None vmt-chc-benchmarks/lustre/DRAGON_2_e7_25.smt2 TIMEOUT (ERROR (143)) 93.90 51.10 None vmt-chc-benchmarks/lustre/DRAGON_2.smt2 TIMEOUT 91.69 49.97 None vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755.smt2 TIMEOUT (ERROR (143)) 92.88 50.29 None vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158.smt2 TIMEOUT (ERROR (143)) 92.17 50.19 None vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511.smt2 TIMEOUT (ERROR (143)) 92.04 50.19 None vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070.smt2 TIMEOUT (ERROR (143)) 108.46 58.91 None vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783.smt2 TIMEOUT (ERROR (143)) 104.09 56.42 None vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988.smt2 TIMEOUT 91.79 50.06 None vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846.smt2 TIMEOUT (ERROR (143)) 103.93 56.39 None vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288.smt2 TIMEOUT (ERROR (143)) 91.52 49.91 None vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135.smt2 TIMEOUT (ERROR (143)) 102.79 55.58 None vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211.smt2 TIMEOUT (ERROR (143)) 91.65 50.21 None vmt-chc-benchmarks/lustre/DRAGON_3.smt2 TIMEOUT (ERROR (143)) 104.97 56.78 None vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312.smt2 TIMEOUT (ERROR (143)) 94.89 51.78 None vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303.smt2 TIMEOUT (ERROR (143)) 91.95 50.07 None vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251.smt2 OUT OF MEMORY 88.47 48.19 None vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915.smt2 TIMEOUT (ERROR (143)) 92.34 50.33 None vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499.smt2 TIMEOUT (ERROR (143)) 94.43 51.28 None vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799.smt2 TIMEOUT (ERROR (143)) 92.12 50.81 None vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048.smt2 TIMEOUT (ERROR (143)) 94.83 51.54 None vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133.smt2 TIMEOUT (ERROR (143)) 92.58 50.36 None vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077.smt2 TIMEOUT (ERROR (143)) 92.04 50.04 None vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574.smt2 TIMEOUT (ERROR (143)) 95.79 51.92 None vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856.smt2 TIMEOUT (ERROR (143)) 92.30 50.23 None vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915.smt2 TIMEOUT 90.90 49.45 None vmt-chc-benchmarks/lustre/DRAGON_4.smt2 TIMEOUT (ERROR (143)) 92.65 50.47 None vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835.smt2 TIMEOUT (ERROR (143)) 93.21 50.53 None vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936.smt2 TIMEOUT (ERROR (143)) 95.61 51.83 None vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443.smt2 TIMEOUT (ERROR (143)) 91.85 50.40 None vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879.smt2 TIMEOUT (ERROR (143)) 91.43 50.32 None vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832.smt2 TIMEOUT 91.76 50.24 None vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326.smt2 TIMEOUT (ERROR (143)) 92.28 50.36 None vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841.smt2 TIMEOUT (ERROR (143)) 92.71 50.37 None vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017.smt2 TIMEOUT (ERROR (143)) 93.94 51.03 None vmt-chc-benchmarks/lustre/DRAGON_5.smt2 TIMEOUT 91.77 50.34 None vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623.smt2 TIMEOUT (ERROR (143)) 93.19 50.62 None vmt-chc-benchmarks/lustre/DRAGON_6.smt2 TIMEOUT (ERROR (143)) 95.33 51.68 None vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844.smt2 TIMEOUT (ERROR (143)) 95.37 51.75 None vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640.smt2 TIMEOUT (ERROR (143)) 91.50 50.34 None vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264.smt2 TIMEOUT (ERROR (143)) 96.61 52.63 None vmt-chc-benchmarks/lustre/DRAGON_7.smt2 TIMEOUT 92.17 50.16 None vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125.smt2 TIMEOUT (ERROR (143)) 92.94 50.68 None vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541.smt2 TIMEOUT (ERROR (143)) 92.84 50.42 None vmt-chc-benchmarks/lustre/DRAGON_8_e3_786.smt2 TIMEOUT (ERROR (143)) 92.10 50.43 None vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752.smt2 TIMEOUT (ERROR (143)) 93.08 50.45 None vmt-chc-benchmarks/lustre/DRAGON_8.smt2 TIMEOUT (ERROR (143)) 92.64 50.22 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434.smt2 TIMEOUT (ERROR (143)) 92.10 50.14 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145.smt2 TIMEOUT (ERROR (143)) 92.08 50.12 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316.smt2 TIMEOUT (ERROR (143)) 93.22 50.56 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225.smt2 TIMEOUT (ERROR (143)) 91.77 50.40 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031.smt2 TIMEOUT (ERROR (143)) 92.29 50.48 None vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843.smt2 TIMEOUT (ERROR (143)) 92.95 50.68 None vmt-chc-benchmarks/lustre/DRAGON_9.smt2 TIMEOUT (ERROR (143)) 91.64 50.02 None vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699.smt2 TIMEOUT (ERROR (143)) 91.66 50.84 None vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957.smt2 TIMEOUT (ERROR (143)) 97.00 53.71 None vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864.smt2 TIMEOUT (ERROR (143)) 93.30 52.14 None vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691.smt2 TIMEOUT (ERROR (143)) 91.02 51.66 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463.smt2 TIMEOUT (ERROR (143)) 96.97 53.91 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774.smt2 TIMEOUT (ERROR (143)) 97.80 54.23 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543.smt2 TIMEOUT (ERROR (143)) 102.52 56.98 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719.smt2 TIMEOUT (ERROR (143)) 97.27 53.51 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642.smt2 TIMEOUT (ERROR (143)) 105.18 57.88 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291.smt2 TIMEOUT (ERROR (143)) 103.29 56.24 None vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861.smt2 TIMEOUT (ERROR (143)) 91.13 51.26 None vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322.smt2 TIMEOUT (ERROR (143)) 92.13 51.53 None vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697.smt2 TIMEOUT (ERROR (143)) 105.69 58.27 None vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626.smt2 TIMEOUT (ERROR (143)) 93.01 51.82 None vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579.smt2 TIMEOUT (ERROR (143)) 92.33 51.65 None vmt-chc-benchmarks/lustre/DRAGON_all2.smt2 TIMEOUT (ERROR (143)) 95.20 53.02 None vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759.smt2 TIMEOUT (ERROR (143)) 91.41 50.08 None vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267.smt2 TIMEOUT (ERROR (143)) 93.23 50.67 None vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628.smt2 TIMEOUT (ERROR (143)) 93.38 50.80 None vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886.smt2 TIMEOUT (ERROR (143)) 107.22 58.19 None vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022.smt2 TIMEOUT (ERROR (143)) 91.86 50.06 None vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514.smt2 TIMEOUT (ERROR (143)) 109.21 59.07 None vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205.smt2 TIMEOUT (ERROR (143)) 104.28 56.53 None vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308.smt2 TIMEOUT (ERROR (143)) 106.10 57.34 None vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607.smt2 TIMEOUT (ERROR (143)) 92.20 50.11 None vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856.smt2 TIMEOUT (ERROR (143)) 108.76 58.85 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318.smt2 TIMEOUT (ERROR (143)) 92.40 50.29 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089.smt2 TIMEOUT (ERROR (143)) 104.05 56.62 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791.smt2 TIMEOUT (ERROR (143)) 105.82 57.32 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536.smt2 TIMEOUT (ERROR (143)) 92.24 50.31 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061.smt2 TIMEOUT (ERROR (143)) 92.83 50.21 None vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821.smt2 TIMEOUT (ERROR (143)) 91.92 50.05 None vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065.smt2 TIMEOUT (ERROR (143)) 91.45 50.36 None vmt-chc-benchmarks/lustre/DRAGON_all.smt2 TIMEOUT (ERROR (143)) 92.24 50.23 None vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289.smt2 TIMEOUT (ERROR (143)) 104.55 56.72 None vmt-chc-benchmarks/lustre/durationThm_1_e1_197.smt2 OUT OF MEMORY 83.86 45.29 None vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336.smt2 TIMEOUT (ERROR (143)) 98.99 53.51 None vmt-chc-benchmarks/lustre/durationThm_1_e2_3.smt2 TIMEOUT 90.16 49.15 None vmt-chc-benchmarks/lustre/durationThm_1_e3_173.smt2 TIMEOUT (ERROR (143)) 92.41 50.54 None vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294.smt2 OUT OF MEMORY 87.54 48.34 None vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5.smt2 TIMEOUT (ERROR (143)) 101.04 54.31 None vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167.smt2 TIMEOUT (ERROR (143)) 108.04 58.10 None vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358.smt2 TIMEOUT (ERROR (143)) 92.15 50.29 None vmt-chc-benchmarks/lustre/durationThm_1_e7_12.smt2 OUT OF MEMORY 75.94 40.75 None vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31.smt2 OUT OF MEMORY 73.21 39.63 None vmt-chc-benchmarks/lustre/durationThm_1.smt2 TIMEOUT (ERROR (143)) 108.67 58.42 None vmt-chc-benchmarks/lustre/durationThm_2_e1_118.smt2 OUT OF MEMORY 87.32 47.63 None vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64.smt2 TIMEOUT (ERROR (143)) 99.48 54.49 None vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33.smt2 TIMEOUT (ERROR (143)) 91.46 50.16 None vmt-chc-benchmarks/lustre/durationThm_2_e2_206.smt2 TIMEOUT 103.56 55.39 None vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1.smt2 TIMEOUT (ERROR (143)) 105.48 56.90 None vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124.smt2 TIMEOUT 100.43 53.84 None vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128.smt2 TIMEOUT (ERROR (143)) 107.39 58.57 None vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410.smt2 OUT OF MEMORY 87.79 47.79 None vmt-chc-benchmarks/lustre/durationThm_2_e3_329.smt2 TIMEOUT (ERROR (143)) 99.62 54.00 None vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154.smt2 TIMEOUT (ERROR (143)) 92.12 50.49 None vmt-chc-benchmarks/lustre/durationThm_2_e7_145.smt2 TIMEOUT (ERROR (143)) 96.08 52.07 None vmt-chc-benchmarks/lustre/durationThm_2.smt2 TIMEOUT (ERROR (143)) 104.85 57.29 None vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432.smt2 TIMEOUT (ERROR (143)) 90.81 52.01 None vmt-chc-benchmarks/lustre/durationThm_3_e1_36.smt2 TIMEOUT (ERROR (143)) 90.56 52.12 None vmt-chc-benchmarks/lustre/durationThm_3_e2_148.smt2 TIMEOUT (ERROR (143)) 91.13 62.67 None vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21.smt2 TIMEOUT (ERROR (143)) 90.63 51.51 None vmt-chc-benchmarks/lustre/durationThm_3_e3_207.smt2 TIMEOUT (ERROR (143)) 93.13 50.67 None vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165.smt2 TIMEOUT (ERROR (143)) 99.52 54.30 None vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260.smt2 TIMEOUT (ERROR (143)) 97.45 53.39 None vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113.smt2 TIMEOUT (ERROR (143)) 91.12 54.23 None vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394.smt2 TIMEOUT (ERROR (143)) 90.36 52.25 None vmt-chc-benchmarks/lustre/durationThm_3_e7_201.smt2 TIMEOUT (ERROR (143)) 90.35 52.21 None vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118.smt2 TIMEOUT (ERROR (143)) 92.84 50.48 None vmt-chc-benchmarks/lustre/durationThm_3.smt2 TIMEOUT (ERROR (143)) 90.30 60.14 None vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590.smt2 TRUE 64.25 39.65 None vmt-chc-benchmarks/lustre/ex3_e7_590.smt2 TRUE 59.69 36.18 None vmt-chc-benchmarks/lustre/ex3_e8_120.smt2 TRUE 70.45 43.67 None vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224.smt2 TRUE 62.90 38.13 None vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477.smt2 TRUE 61.97 36.64 None vmt-chc-benchmarks/lustre/ex3.smt2 TRUE 58.90 35.82 None vmt-chc-benchmarks/lustre/ex8_e7_55.smt2 FALSE 65.43 39.15 None vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740.smt2 FALSE 53.51 32.95 None vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249.smt2 FALSE 64.38 38.32 None vmt-chc-benchmarks/lustre/ex8_e8_220.smt2 FALSE 59.56 35.67 None vmt-chc-benchmarks/lustre/ex8.smt2 FALSE 78.73 48.83 None vmt-chc-benchmarks/lustre/fast_1_e7_1035.smt2 OUT OF MEMORY 84.19 46.81 None vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287.smt2 TIMEOUT (ERROR (143)) 106.18 59.51 None vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396.smt2 TIMEOUT (ERROR (143)) 105.70 59.18 None vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692.smt2 OUT OF MEMORY 85.30 47.02 None vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041.smt2 OUT OF MEMORY 84.11 46.80 None vmt-chc-benchmarks/lustre/fast_1_e8_747.smt2 TIMEOUT 96.82 53.44 None vmt-chc-benchmarks/lustre/fast_1.smt2 TIMEOUT (ERROR (143)) 104.80 58.80 None vmt-chc-benchmarks/lustre/fast_2_e7_1871.smt2 TIMEOUT (ERROR (143)) 104.34 56.73 None vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736.smt2 TIMEOUT (ERROR (143)) 105.96 57.98 None vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43.smt2 TIMEOUT (ERROR (143)) 102.85 55.50 None vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920.smt2 TIMEOUT (ERROR (143)) 99.67 55.68 None vmt-chc-benchmarks/lustre/fast_2_e8_460.smt2 TIMEOUT (ERROR (143)) 98.31 53.82 None vmt-chc-benchmarks/lustre/fast_2.smt2 TIMEOUT (ERROR (143)) 91.96 51.09 None vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192.smt2 TIMEOUT 91.88 49.95 None vmt-chc-benchmarks/lustre/FIREFLY_10.smt2 TIMEOUT (ERROR (143)) 99.55 53.81 None vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457.smt2 TIMEOUT (ERROR (143)) 100.91 54.18 None vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270.smt2 TIMEOUT (ERROR (143)) 92.87 50.10 None vmt-chc-benchmarks/lustre/FIREFLY_11.smt2 TIMEOUT (ERROR (143)) 97.52 52.72 None vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486.smt2 TIMEOUT (ERROR (143)) 97.56 52.88 None vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853.smt2 TIMEOUT (ERROR (143)) 98.85 53.12 None vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389.smt2 TIMEOUT (ERROR (143)) 99.31 53.39 None vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119.smt2 TIMEOUT (ERROR (143)) 94.94 51.08 None vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092.smt2 TIMEOUT (ERROR (143)) 99.65 53.77 None vmt-chc-benchmarks/lustre/FIREFLY_1.smt2 TIMEOUT (ERROR (143)) 97.29 52.47 None vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277.smt2 TIMEOUT (ERROR (143)) 98.45 52.97 None vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846.smt2 TIMEOUT (ERROR (143)) 95.47 51.45 None vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660.smt2 TIMEOUT (ERROR (143)) 96.93 52.05 None vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817.smt2 TIMEOUT (ERROR (143)) 101.33 54.79 None vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099.smt2 TIMEOUT (ERROR (143)) 99.17 53.83 None vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305.smt2 TIMEOUT (ERROR (143)) 98.85 53.34 None vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540.smt2 TIMEOUT (ERROR (143)) 103.04 55.41 None vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202.smt2 TIMEOUT (ERROR (143)) 103.00 55.63 None vmt-chc-benchmarks/lustre/FIREFLY_2.smt2 TIMEOUT (ERROR (143)) 96.69 52.08 None vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305.smt2 TIMEOUT (ERROR (143)) 95.30 51.18 None vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058.smt2 TIMEOUT (ERROR (143)) 97.42 52.67 None vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657.smt2 TIMEOUT (ERROR (143)) 98.17 52.88 None vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681.smt2 TIMEOUT (ERROR (143)) 94.48 51.05 None vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236.smt2 TIMEOUT (ERROR (143)) 98.42 53.03 None vmt-chc-benchmarks/lustre/FIREFLY_3.smt2 TIMEOUT (ERROR (143)) 101.98 55.06 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713.smt2 TIMEOUT (ERROR (143)) 98.39 53.02 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375.smt2 TIMEOUT (ERROR (143)) 98.43 53.17 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923.smt2 TIMEOUT (ERROR (143)) 98.47 53.05 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422.smt2 TIMEOUT (ERROR (143)) 96.61 52.10 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464.smt2 TIMEOUT (ERROR (143)) 97.84 52.85 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248.smt2 TIMEOUT (ERROR (143)) 101.49 54.56 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826.smt2 TIMEOUT (ERROR (143)) 99.03 53.42 None vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568.smt2 TIMEOUT (ERROR (143)) 97.49 52.53 None vmt-chc-benchmarks/lustre/FIREFLY_4.smt2 TIMEOUT (ERROR (143)) 101.36 54.75 None vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169.smt2 TIMEOUT (ERROR (143)) 93.13 50.49 None vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229.smt2 TIMEOUT (ERROR (143)) 94.47 50.92 None vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678.smt2 TIMEOUT (ERROR (143)) 98.64 53.02 None vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492.smt2 TIMEOUT (ERROR (143)) 91.84 49.92 None vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882.smt2 TIMEOUT (ERROR (143)) 93.45 50.39 None vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594.smt2 TIMEOUT (ERROR (143)) 99.02 53.39 None vmt-chc-benchmarks/lustre/FIREFLY_5.smt2 TIMEOUT (ERROR (143)) 100.30 54.14 None vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302.smt2 TIMEOUT (ERROR (143)) 98.36 52.91 None vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964.smt2 TIMEOUT (ERROR (143)) 100.05 54.10 None vmt-chc-benchmarks/lustre/FIREFLY_6.smt2 TIMEOUT (ERROR (143)) 98.12 52.72 None vmt-chc-benchmarks/lustre/FIREFLY_7.smt2 TIMEOUT (ERROR (143)) 96.81 52.41 None vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692.smt2 TIMEOUT (ERROR (143)) 96.83 51.98 None vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489.smt2 TIMEOUT (ERROR (143)) 99.12 53.77 None vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673.smt2 TIMEOUT (ERROR (143)) 100.67 54.33 None vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753.smt2 TIMEOUT (ERROR (143)) 96.70 52.45 None vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962.smt2 TIMEOUT (ERROR (143)) 92.46 49.80 None vmt-chc-benchmarks/lustre/FIREFLY_8.smt2 TIMEOUT (ERROR (143)) 101.03 54.66 None vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647.smt2 TIMEOUT (ERROR (143)) 98.79 53.18 None vmt-chc-benchmarks/lustre/FIREFLY_9.smt2 TIMEOUT (ERROR (143)) 99.66 53.85 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195.smt2 TIMEOUT (ERROR (143)) 94.39 51.52 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123.smt2 TIMEOUT (ERROR (143)) 101.46 56.04 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392.smt2 TIMEOUT (ERROR (143)) 99.56 54.29 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970.smt2 TIMEOUT (ERROR (143)) 98.68 53.70 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906.smt2 TIMEOUT (ERROR (143)) 100.47 54.67 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235.smt2 TIMEOUT (ERROR (143)) 95.86 52.87 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689.smt2 TIMEOUT (ERROR (143)) 97.38 52.72 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542.smt2 OUT OF MEMORY 85.98 47.23 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614.smt2 TIMEOUT (ERROR (143)) 99.34 54.47 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086.smt2 TIMEOUT (ERROR (143)) 102.34 55.38 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979.smt2 OUT OF MEMORY 87.81 48.89 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812.smt2 TIMEOUT (ERROR (143)) 103.49 56.01 None vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897.smt2 TIMEOUT (ERROR (143)) 97.97 53.90 None vmt-chc-benchmarks/lustre/FIREFLY_a3.smt2 TIMEOUT (ERROR (143)) 101.07 55.25 None vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201.smt2 TIMEOUT (ERROR (143)) 103.68 55.65 None vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220.smt2 TIMEOUT (ERROR (143)) 92.83 50.69 None vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928.smt2 TIMEOUT (ERROR (143)) 96.20 52.56 None vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156.smt2 TIMEOUT (ERROR (143)) 96.46 52.34 None vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207.smt2 TIMEOUT (ERROR (143)) 102.00 54.87 None vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768.smt2 TIMEOUT (ERROR (143)) 99.51 53.85 None vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767.smt2 TIMEOUT (ERROR (143)) 93.77 50.79 None vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946.smt2 TIMEOUT (ERROR (143)) 97.55 53.55 None vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371.smt2 TIMEOUT (ERROR (143)) 99.82 53.93 None vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924.smt2 TIMEOUT (ERROR (143)) 106.30 59.88 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667.smt2 TIMEOUT (ERROR (143)) 95.58 52.26 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676.smt2 TIMEOUT (ERROR (143)) 102.33 57.64 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055.smt2 TIMEOUT (ERROR (143)) 100.93 54.79 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415.smt2 TIMEOUT (ERROR (143)) 98.30 54.48 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84.smt2 TIMEOUT (ERROR (143)) 94.33 51.02 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569.smt2 TIMEOUT (ERROR (143)) 100.77 60.03 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607.smt2 TIMEOUT (ERROR (143)) 99.37 54.11 None vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600.smt2 TIMEOUT (ERROR (143)) 100.04 59.22 None vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909.smt2 TIMEOUT (ERROR (143)) 99.45 53.81 None vmt-chc-benchmarks/lustre/FIREFLY_all.smt2 TIMEOUT (ERROR (143)) 97.28 54.44 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924.smt2 TIMEOUT (ERROR (143)) 101.24 56.03 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755.smt2 TIMEOUT (ERROR (143)) 107.84 60.66 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091.smt2 TIMEOUT (ERROR (143)) 97.76 55.11 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998.smt2 TIMEOUT (ERROR (143)) 97.08 55.91 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284.smt2 TIMEOUT (ERROR (143)) 95.25 51.63 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213.smt2 TIMEOUT (ERROR (143)) 98.21 53.29 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1a.smt2 TIMEOUT (ERROR (143)) 97.40 52.65 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565.smt2 TIMEOUT (ERROR (143)) 99.68 53.79 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893.smt2 TIMEOUT (ERROR (143)) 99.27 54.12 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839.smt2 TIMEOUT (ERROR (143)) 103.60 55.93 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616.smt2 TIMEOUT (ERROR (143)) 101.73 55.10 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139.smt2 TIMEOUT (ERROR (143)) 96.72 54.35 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192.smt2 TIMEOUT (ERROR (143)) 98.63 55.44 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946.smt2 TIMEOUT (ERROR (143)) 110.44 68.76 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698.smt2 TIMEOUT (ERROR (143)) 109.29 67.11 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697.smt2 TIMEOUT (ERROR (143)) 92.34 52.60 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173.smt2 TIMEOUT (ERROR (143)) 93.65 53.44 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144.smt2 TIMEOUT (ERROR (143)) 95.87 51.67 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725.smt2 TIMEOUT (ERROR (143)) 99.17 53.66 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131.smt2 TIMEOUT (ERROR (143)) 94.80 51.22 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941.smt2 TIMEOUT (ERROR (143)) 96.26 51.96 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147.smt2 TIMEOUT (ERROR (143)) 103.28 55.72 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637.smt2 TIMEOUT (ERROR (143)) 98.44 53.50 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974.smt2 TIMEOUT (ERROR (143)) 99.24 53.59 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882.smt2 TIMEOUT (ERROR (143)) 96.37 52.23 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574.smt2 TIMEOUT (ERROR (143)) 97.79 52.72 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146.smt2 TIMEOUT (ERROR (143)) 99.53 53.60 None vmt-chc-benchmarks/lustre/FIREFLY_luke_1b.smt2 TIMEOUT (ERROR (143)) 95.13 51.83 None vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418.smt2 TIMEOUT (ERROR (143)) 97.24 52.35 None vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126.smt2 TIMEOUT (ERROR (143)) 106.48 66.12 None vmt-chc-benchmarks/lustre/FIREFLY_luke_2.smt2 TIMEOUT (ERROR (143)) 97.36 61.21 None vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200.smt2 TIMEOUT (ERROR (143)) 102.64 64.47 None vmt-chc-benchmarks/lustre/FIREFLY_luke_3.smt2 TIMEOUT (ERROR (143)) 101.53 60.90 None vmt-chc-benchmarks/lustre/FIREFLY_luke_5.smt2 TIMEOUT (ERROR (143)) 103.91 62.82 None vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315.smt2 TIMEOUT (ERROR (143)) 103.64 62.38 None vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455.smt2 TIMEOUT (ERROR (143)) 98.29 64.34 None vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670.smt2 TIMEOUT (ERROR (143)) 91.10 60.46 None vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549.smt2 TIMEOUT (ERROR (143)) 101.19 54.62 None vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637.smt2 TIMEOUT (ERROR (143)) 100.98 55.02 None vmt-chc-benchmarks/lustre/FIREFLY_rt.smt2 TIMEOUT (ERROR (143)) 94.79 61.53 None vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957.smt2 TIMEOUT (ERROR (143)) 99.80 59.60 None vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318.smt2 TIMEOUT (ERROR (143)) 97.99 61.90 None vmt-chc-benchmarks/lustre/FIREFLY_u1.smt2 TIMEOUT (ERROR (143)) 93.48 57.97 None vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532.smt2 TIMEOUT (ERROR (143)) 100.05 57.71 None vmt-chc-benchmarks/lustre/Gas.smt2 TIMEOUT (ERROR (143)) 99.22 54.14 None vmt-chc-benchmarks/lustre/hysteresis_1.smt2 TIMEOUT (ERROR (143)) 90.87 95.63 None vmt-chc-benchmarks/lustre/hysteresis_2.smt2 TRUE 79.61 62.66 None vmt-chc-benchmarks/lustre/hysteresis_3.smt2 TIMEOUT (TRUE) 90.64 62.25 None vmt-chc-benchmarks/lustre/hysteresis_all.smt2 TIMEOUT (ERROR (143)) 90.86 85.95 None vmt-chc-benchmarks/lustre/ILLINOIS_1.smt2 TIMEOUT (ERROR (143)) 100.57 54.27 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758.smt2 TIMEOUT (ERROR (143)) 103.00 56.13 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895.smt2 TIMEOUT (ERROR (143)) 102.50 55.41 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395.smt2 TIMEOUT (ERROR (143)) 101.17 68.00 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931.smt2 TIMEOUT (ERROR (143)) 98.12 66.22 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738.smt2 TIMEOUT (ERROR (143)) 102.20 55.32 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182.smt2 TIMEOUT (ERROR (143)) 104.29 56.30 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561.smt2 TIMEOUT (ERROR (143)) 97.49 53.12 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601.smt2 TIMEOUT (ERROR (143)) 105.69 57.36 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728.smt2 TIMEOUT (ERROR (143)) 105.67 57.82 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367.smt2 TIMEOUT (ERROR (143)) 101.80 55.21 None vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223.smt2 TIMEOUT (ERROR (143)) 98.72 56.53 None vmt-chc-benchmarks/lustre/ILLINOIS_2.smt2 TIMEOUT (ERROR (143)) 104.57 56.58 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130.smt2 TIMEOUT (ERROR (143)) 102.44 57.71 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545.smt2 TIMEOUT (ERROR (143)) 104.14 56.48 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979.smt2 TIMEOUT (ERROR (143)) 95.06 55.55 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958.smt2 TIMEOUT (ERROR (143)) 95.77 52.43 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006.smt2 TIMEOUT (ERROR (143)) 97.97 60.90 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476.smt2 TIMEOUT (ERROR (143)) 101.42 62.86 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447.smt2 TIMEOUT (ERROR (143)) 104.28 56.34 None vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581.smt2 TIMEOUT (ERROR (143)) 106.33 57.73 None vmt-chc-benchmarks/lustre/ILLINOIS_3.smt2 TIMEOUT (ERROR (143)) 104.85 60.49 None vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847.smt2 TIMEOUT (ERROR (143)) 95.67 52.84 None vmt-chc-benchmarks/lustre/ILLINOIS_4.smt2 TIMEOUT (ERROR (143)) 93.86 60.64 None vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865.smt2 TIMEOUT (ERROR (143)) 104.09 61.45 None vmt-chc-benchmarks/lustre/ILLINOIS_5.smt2 TIMEOUT (ERROR (143)) 102.57 59.12 None vmt-chc-benchmarks/lustre/ILLINOIS_a1.smt2 TIMEOUT (ERROR (143)) 100.50 54.47 None vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993.smt2 TIMEOUT (ERROR (143)) 101.46 62.12 None vmt-chc-benchmarks/lustre/ILLINOIS_all.smt2 TIMEOUT (ERROR (143)) 102.13 62.05 None vmt-chc-benchmarks/lustre/ILLINOIS_r4a.smt2 TIMEOUT (ERROR (143)) 99.50 59.77 None vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545.smt2 TIMEOUT (ERROR (143)) 104.97 70.80 None vmt-chc-benchmarks/lustre/MESI_1.smt2 TIMEOUT (ERROR (143)) 99.14 65.21 None vmt-chc-benchmarks/lustre/MESI_2.smt2 TIMEOUT (ERROR (143)) 90.57 59.30 None vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163.smt2 TIMEOUT (ERROR (143)) 93.91 61.80 None vmt-chc-benchmarks/lustre/MESI_3_e2_1872.smt2 TIMEOUT (ERROR (143)) 95.48 62.61 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145.smt2 TIMEOUT (ERROR (143)) 99.22 64.45 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562.smt2 TIMEOUT (ERROR (143)) 99.83 64.41 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698.smt2 TIMEOUT (ERROR (143)) 98.36 64.25 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595.smt2 TIMEOUT (ERROR (143)) 94.95 63.10 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554.smt2 TIMEOUT (ERROR (143)) 95.07 63.36 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459.smt2 TIMEOUT (ERROR (143)) 97.95 64.00 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665.smt2 TIMEOUT (ERROR (143)) 93.11 60.10 None vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896.smt2 TIMEOUT (ERROR (143)) 92.40 62.09 None vmt-chc-benchmarks/lustre/MESI_3_e3_2584.smt2 TIMEOUT (ERROR (143)) 92.51 60.42 None vmt-chc-benchmarks/lustre/MESI_3.smt2 TIMEOUT (ERROR (143)) 94.16 61.87 None vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433.smt2 TIMEOUT (ERROR (143)) 91.20 78.07 None vmt-chc-benchmarks/lustre/MESI_4.smt2 TIMEOUT (ERROR (143)) 95.03 62.09 None vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497.smt2 TIMEOUT (ERROR (143)) 104.08 66.65 None vmt-chc-benchmarks/lustre/MESI_all.smt2 TIMEOUT (ERROR (143)) 102.51 67.55 None vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12.smt2 TIMEOUT (ERROR (143)) 90.49 97.36 None vmt-chc-benchmarks/lustre/MESI_i1_e2_2656.smt2 TIMEOUT (ERROR (143)) 90.75 88.08 None vmt-chc-benchmarks/lustre/MESI_i1_e3_188.smt2 TIMEOUT (ERROR (143)) 90.82 86.92 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667.smt2 TIMEOUT (ERROR (143)) 90.85 86.88 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228.smt2 TIMEOUT (ERROR (143)) 90.81 87.24 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977.smt2 TIMEOUT (ERROR (143)) 90.77 87.33 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717.smt2 TIMEOUT (ERROR (143)) 90.81 86.78 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391.smt2 TIMEOUT (ERROR (143)) 90.84 86.59 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500.smt2 TIMEOUT (ERROR (143)) 90.83 86.78 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847.smt2 TIMEOUT (ERROR (143)) 90.78 87.02 None vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325.smt2 TIMEOUT (ERROR (143)) 90.82 87.08 None vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519.smt2 TIMEOUT (ERROR (143)) 90.80 87.43 None vmt-chc-benchmarks/lustre/MESI_i1_e4_1986.smt2 TIMEOUT (ERROR (143)) 90.79 87.20 None vmt-chc-benchmarks/lustre/MESI_i1.smt2 TIMEOUT (ERROR (143)) 90.84 87.13 None vmt-chc-benchmarks/lustre/MESI_i2.smt2 TIMEOUT (ERROR (143)) 91.73 60.41 None vmt-chc-benchmarks/lustre/MESI_i3_e1_2143.smt2 TIMEOUT (ERROR (143)) 92.71 60.28 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292.smt2 TIMEOUT (ERROR (143)) 93.84 78.04 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098.smt2 TIMEOUT (ERROR (143)) 91.94 76.95 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180.smt2 TIMEOUT (ERROR (143)) 93.86 62.17 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444.smt2 TIMEOUT (ERROR (143)) 91.86 60.61 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281.smt2 TIMEOUT (ERROR (143)) 92.32 72.81 None vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194.smt2 TIMEOUT (ERROR (143)) 104.27 78.67 None vmt-chc-benchmarks/lustre/MESI_i3.smt2 TIMEOUT (ERROR (143)) 99.40 64.98 None vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498.smt2 TIMEOUT (ERROR (143)) 91.60 60.43 None vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290.smt2 TIMEOUT (ERROR (143)) 94.22 61.34 None vmt-chc-benchmarks/lustre/MESI_i4_e4_1689.smt2 TIMEOUT (ERROR (143)) 90.25 59.41 None vmt-chc-benchmarks/lustre/MESI_i4_e6_2175.smt2 TIMEOUT (ERROR (143)) 93.04 66.13 None vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132.smt2 TIMEOUT (ERROR (143)) 94.96 66.90 None vmt-chc-benchmarks/lustre/MESI_i4.smt2 TIMEOUT (ERROR (143)) 101.78 74.63 None vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317.smt2 TIMEOUT (ERROR (143)) 100.10 62.73 None vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394.smt2 TIMEOUT (ERROR (143)) 100.60 62.42 None vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060.smt2 TIMEOUT (ERROR (143)) 94.04 50.80 None vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397.smt2 TIMEOUT (ERROR (143)) 106.60 65.88 None vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253.smt2 TIMEOUT (ERROR (143)) 101.02 61.80 None vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317.smt2 TIMEOUT (ERROR (143)) 106.98 58.95 None vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943.smt2 TIMEOUT (ERROR (143)) 93.27 50.31 None vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961.smt2 TIMEOUT (ERROR (143)) 108.82 64.29 None vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163.smt2 TIMEOUT (ERROR (143)) 106.77 58.41 None vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311.smt2 TIMEOUT (ERROR (143)) 93.84 56.94 None vmt-chc-benchmarks/lustre/metros_1_e2_1102.smt2 TIMEOUT (ERROR (143)) 90.94 55.65 None vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12.smt2 TIMEOUT (ERROR (143)) 105.13 57.54 None vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598.smt2 TIMEOUT (ERROR (143)) 103.83 56.50 None vmt-chc-benchmarks/lustre/metros_1_e7_606.smt2 TIMEOUT (ERROR (143)) 108.19 68.87 None vmt-chc-benchmarks/lustre/metros_1_e8_1567.smt2 TIMEOUT (ERROR (143)) 103.07 66.22 None vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556.smt2 TIMEOUT (ERROR (143)) 108.41 59.12 None vmt-chc-benchmarks/lustre/metros_1.smt2 TIMEOUT (ERROR (143)) 107.88 58.45 None vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556.smt2 TIMEOUT (ERROR (143)) 101.28 64.06 None vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617.smt2 TIMEOUT (ERROR (143)) 106.03 64.94 None vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287.smt2 TIMEOUT (ERROR (143)) 108.50 59.08 None vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440.smt2 TIMEOUT (ERROR (143)) 108.68 58.84 None vmt-chc-benchmarks/lustre/metros_2_e1_1116.smt2 TIMEOUT (ERROR (143)) 104.98 60.01 None vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389.smt2 TIMEOUT (ERROR (143)) 103.88 57.41 None vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13.smt2 TIMEOUT (ERROR (143)) 100.31 67.27 None vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76.smt2 TIMEOUT (ERROR (143)) 101.49 67.72 None vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810.smt2 TIMEOUT (ERROR (143)) 109.89 59.51 None vmt-chc-benchmarks/lustre/metros_2_e2_704.smt2 TIMEOUT (ERROR (143)) 100.46 55.11 None vmt-chc-benchmarks/lustre/metros_2_e3_112.smt2 TIMEOUT (ERROR (143)) 95.89 65.36 None vmt-chc-benchmarks/lustre/metros_2.smt2 TIMEOUT (ERROR (143)) 98.65 62.24 None vmt-chc-benchmarks/lustre/metros_3_e3_1117.smt2 TIMEOUT (ERROR (143)) 102.54 56.13 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350.smt2 TIMEOUT (ERROR (143)) 103.72 56.53 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454.smt2 TIMEOUT (ERROR (143)) 102.83 57.36 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640.smt2 TIMEOUT (ERROR (143)) 104.88 56.51 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164.smt2 TIMEOUT (ERROR (143)) 95.90 61.90 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846.smt2 TIMEOUT (ERROR (143)) 96.85 62.43 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315.smt2 TIMEOUT (ERROR (143)) 106.61 58.46 None vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529.smt2 TIMEOUT (ERROR (143)) 106.57 58.28 None vmt-chc-benchmarks/lustre/metros_3_e4_1251.smt2 TIMEOUT (ERROR (143)) 106.60 68.33 None vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115.smt2 TIMEOUT (ERROR (143)) 91.10 60.19 None vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80.smt2 TIMEOUT (ERROR (143)) 101.75 55.43 None vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291.smt2 TIMEOUT (ERROR (143)) 104.97 57.18 None vmt-chc-benchmarks/lustre/metros_3.smt2 TIMEOUT (ERROR (143)) 100.84 58.90 None vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911.smt2 TIMEOUT (ERROR (143)) 100.09 54.74 None vmt-chc-benchmarks/lustre/metros_4_e1_917.smt2 TIMEOUT (ERROR (143)) 98.04 65.80 None vmt-chc-benchmarks/lustre/metros_4_e2_532.smt2 TIMEOUT (ERROR (143)) 103.06 63.27 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956.smt2 TIMEOUT (ERROR (143)) 104.84 58.59 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166.smt2 TIMEOUT (ERROR (143)) 99.29 54.71 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931.smt2 TIMEOUT (ERROR (143)) 108.54 71.09 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801.smt2 TIMEOUT (ERROR (143)) 96.03 63.33 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991.smt2 TIMEOUT (ERROR (143)) 104.44 57.34 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236.smt2 TIMEOUT (ERROR (143)) 103.62 56.31 None vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860.smt2 TIMEOUT (ERROR (143)) 96.66 61.41 None vmt-chc-benchmarks/lustre/metros_4_e3_1025.smt2 TIMEOUT (ERROR (143)) 106.61 61.48 None vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044.smt2 TIMEOUT (ERROR (143)) 103.45 56.39 None vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317.smt2 TIMEOUT (ERROR (143)) 104.08 56.89 None vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522.smt2 TIMEOUT 92.98 62.85 None vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232.smt2 TIMEOUT (ERROR (143)) 91.23 56.09 None vmt-chc-benchmarks/lustre/metros_4_e5_1150.smt2 TIMEOUT (ERROR (143)) 98.89 63.93 None vmt-chc-benchmarks/lustre/metros_4.smt2 TIMEOUT (ERROR (143)) 95.51 61.92 None vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337.smt2 TIMEOUT (ERROR (143)) 102.20 56.36 None vmt-chc-benchmarks/lustre/metros_5.smt2 TIMEOUT (ERROR (143)) 104.43 56.55 None vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492.smt2 TIMEOUT (ERROR (143)) 90.46 98.80 None vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875.smt2 TIMEOUT (ERROR (143)) 90.50 97.03 None vmt-chc-benchmarks/lustre/MOESI_1.smt2 TIMEOUT (ERROR (143)) 90.83 86.99 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1121.smt2 TIMEOUT (ERROR (143)) 90.89 84.89 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510.smt2 TIMEOUT (ERROR (143)) 90.93 84.75 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615.smt2 TIMEOUT (ERROR (143)) 90.92 84.77 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021.smt2 TIMEOUT (ERROR (143)) 90.90 85.33 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626.smt2 TIMEOUT (ERROR (143)) 90.91 85.23 None vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769.smt2 TIMEOUT (ERROR (143)) 90.90 84.98 None vmt-chc-benchmarks/lustre/MOESI_2_e2_155.smt2 TIMEOUT (ERROR (143)) 90.93 85.14 None vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383.smt2 TIMEOUT (ERROR (143)) 90.92 84.52 None vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815.smt2 TIMEOUT (ERROR (143)) 90.98 83.23 None vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658.smt2 TIMEOUT (ERROR (143)) 90.89 84.98 None vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597.smt2 TIMEOUT (ERROR (143)) 90.88 85.02 None vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334.smt2 TIMEOUT (ERROR (143)) 90.93 84.96 None vmt-chc-benchmarks/lustre/MOESI_2_e3_1523.smt2 TIMEOUT (ERROR (143)) 90.92 84.78 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319.smt2 TIMEOUT (ERROR (143)) 91.02 83.37 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421.smt2 TIMEOUT (ERROR (143)) 91.07 81.57 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294.smt2 TIMEOUT (ERROR (143)) 90.94 84.82 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578.smt2 TIMEOUT (ERROR (143)) 90.88 85.25 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826.smt2 TIMEOUT (ERROR (143)) 90.93 84.89 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707.smt2 TIMEOUT (ERROR (143)) 90.94 85.33 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619.smt2 TIMEOUT (ERROR (143)) 90.91 84.80 None vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167.smt2 TIMEOUT (ERROR (143)) 91.01 82.96 None vmt-chc-benchmarks/lustre/MOESI_2_e7_2607.smt2 TIMEOUT (ERROR (143)) 90.90 85.15 None vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804.smt2 TIMEOUT (ERROR (143)) 90.91 84.81 None vmt-chc-benchmarks/lustre/MOESI_2_e8_101.smt2 TIMEOUT (ERROR (143)) 90.94 85.06 None vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961.smt2 TIMEOUT (ERROR (143)) 90.91 85.01 None vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138.smt2 TIMEOUT (ERROR (143)) 91.03 83.05 None vmt-chc-benchmarks/lustre/MOESI_2.smt2 TIMEOUT (ERROR (143)) 91.00 83.06 None vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788.smt2 TIMEOUT (ERROR (143)) 90.98 83.13 None vmt-chc-benchmarks/lustre/MOESI_all.smt2 TIMEOUT (ERROR (143)) 90.89 85.07 None vmt-chc-benchmarks/lustre/peterson_1_e7_4234.smt2 TIMEOUT (ERROR (143)) 94.48 52.11 None vmt-chc-benchmarks/lustre/peterson_1.smt2 TIMEOUT (ERROR (143)) 93.19 50.88 None vmt-chc-benchmarks/lustre/peterson_2.smt2 TIMEOUT (ERROR (143)) 91.88 66.95 None vmt-chc-benchmarks/lustre/peterson_3.smt2 TIMEOUT 100.12 71.02 None vmt-chc-benchmarks/lustre/peterson_4.smt2 TIMEOUT (ERROR (143)) 93.92 62.81 None vmt-chc-benchmarks/lustre/peterson_all.smt2 TIMEOUT (ERROR (143)) 95.66 59.75 None vmt-chc-benchmarks/lustre/peterson_vt.smt2 TIMEOUT (ERROR (143)) 95.66 52.38 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1.smt2 TRUE 77.34 52.57 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2.smt2 TRUE 66.45 39.33 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3.smt2 TIMEOUT (ERROR (143)) 90.81 81.97 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all.smt2 TIMEOUT (ERROR (143)) 90.96 86.86 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352.smt2 TIMEOUT (ERROR (143)) 90.95 83.09 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507.smt2 TIMEOUT (ERROR (143)) 90.97 83.67 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111.smt2 TIMEOUT (ERROR (143)) 90.99 83.38 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt.smt2 TIMEOUT (ERROR (143)) 91.01 82.86 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1.smt2 TIMEOUT (ERROR (143)) 100.01 82.02 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019.smt2 TIMEOUT (ERROR (143)) 91.92 58.20 None vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2.smt2 TIMEOUT (ERROR (143)) 91.42 56.65 None vmt-chc-benchmarks/lustre/production_cell_e7_207_e7_41.smt2 TIMEOUT (ERROR (143)) 106.91 59.63 None vmt-chc-benchmarks/lustre/production_cell_e7_207_e8_241.smt2 TIMEOUT (ERROR (143)) 109.79 62.24 None vmt-chc-benchmarks/lustre/production_cell_e7_207.smt2 TIMEOUT (ERROR (143)) 103.88 58.35 None vmt-chc-benchmarks/lustre/production_cell_e8_6_e7_651.smt2 TIMEOUT (ERROR (143)) 104.52 68.86 None vmt-chc-benchmarks/lustre/production_cell_e8_6_e8_427.smt2 TIMEOUT (ERROR (143)) 106.29 59.24 None vmt-chc-benchmarks/lustre/production_cell_e8_6.smt2 TIMEOUT (ERROR (143)) 108.22 61.41 None vmt-chc-benchmarks/lustre/production_cell.smt2 TIMEOUT (ERROR (143)) 107.29 59.94 None vmt-chc-benchmarks/lustre/readwrit.smt2 TIMEOUT (ERROR (143)) 95.09 53.90 None vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564.smt2 TIMEOUT (ERROR (143)) 106.48 57.90 None vmt-chc-benchmarks/lustre/rtp_10.smt2 TIMEOUT (ERROR (143)) 103.92 56.34 None vmt-chc-benchmarks/lustre/rtp_1.smt2 TIMEOUT (ERROR (143)) 99.85 54.48 None vmt-chc-benchmarks/lustre/rtp_2.smt2 TIMEOUT (ERROR (143)) 104.29 56.92 None vmt-chc-benchmarks/lustre/rtp_3.smt2 TIMEOUT (ERROR (143)) 104.60 57.24 None vmt-chc-benchmarks/lustre/rtp_4.smt2 TIMEOUT (ERROR (143)) 107.55 59.04 None vmt-chc-benchmarks/lustre/rtp_5_e7_3972.smt2 TIMEOUT (ERROR (143)) 103.03 56.05 None vmt-chc-benchmarks/lustre/rtp_5.smt2 TIMEOUT (ERROR (143)) 97.30 58.94 None vmt-chc-benchmarks/lustre/rtp_6.smt2 TIMEOUT (ERROR (143)) 99.19 54.24 None vmt-chc-benchmarks/lustre/rtp_7.smt2 TIMEOUT (ERROR (143)) 100.88 55.98 None vmt-chc-benchmarks/lustre/rtp_8.smt2 TIMEOUT (ERROR (143)) 102.95 55.94 None vmt-chc-benchmarks/lustre/rtp_9.smt2 TIMEOUT (ERROR (143)) 104.86 59.08 None vmt-chc-benchmarks/lustre/rtp_all_e7_2500.smt2 TIMEOUT (ERROR (143)) 102.26 55.81 None vmt-chc-benchmarks/lustre/rtp_all.smt2 OUT OF MEMORY 87.06 52.84 None vmt-chc-benchmarks/lustre/rtp_vt.smt2 TIMEOUT (ERROR (143)) 93.00 53.88 None vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213.smt2 TRUE 74.86 53.94 None vmt-chc-benchmarks/lustre/speed2_e7_223.smt2 TRUE 69.53 46.35 None vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353.smt2 TRUE 67.60 40.59 None vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517.smt2 TRUE 74.98 46.06 None vmt-chc-benchmarks/lustre/speed2_e8_449.smt2 TRUE 72.22 46.74 None vmt-chc-benchmarks/lustre/speed2.smt2 TRUE 80.15 51.72 None vmt-chc-benchmarks/lustre/speed_e7_207_e7_538.smt2 TRUE 40.89 24.95 None vmt-chc-benchmarks/lustre/speed_e7_207_e8_507.smt2 TRUE 33.88 19.46 None vmt-chc-benchmarks/lustre/speed_e7_207.smt2 TRUE 31.46 17.54 None vmt-chc-benchmarks/lustre/speed_e8_136.smt2 TRUE 44.99 27.29 None vmt-chc-benchmarks/lustre/speed_e8_649_e7_709.smt2 TRUE 37.13 22.45 None vmt-chc-benchmarks/lustre/stalmark_e7_27_e7_31.smt2 TIMEOUT (ERROR (143)) 103.36 57.19 None vmt-chc-benchmarks/lustre/stalmark_e7_27.smt2 TIMEOUT (ERROR (143)) 105.64 58.05 None vmt-chc-benchmarks/lustre/stalmark_e7_76.smt2 TIMEOUT (ERROR (143)) 103.74 68.15 None vmt-chc-benchmarks/lustre/stalmark_e8_48.smt2 TIMEOUT (ERROR (143)) 105.41 64.86 None vmt-chc-benchmarks/lustre/stalmark_e8_64_e7_80.smt2 TIMEOUT (ERROR (143)) 91.80 50.47 None vmt-chc-benchmarks/lustre/stalmark_e8_64_e8_207.smt2 TIMEOUT (ERROR (143)) 91.63 50.05 None vmt-chc-benchmarks/lustre/stalmark.smt2 TIMEOUT (ERROR (143)) 105.46 57.17 None vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621.smt2 TIMEOUT (ERROR (143)) 98.06 53.34 None vmt-chc-benchmarks/lustre/swimmingpool_1.smt2 TIMEOUT (ERROR (143)) 97.72 55.87 None vmt-chc-benchmarks/lustre/swimmingpool_2.smt2 TIMEOUT (ERROR (143)) 99.97 53.95 None vmt-chc-benchmarks/lustre/swimmingpool_3.smt2 TIMEOUT (ERROR (143)) 101.68 55.22 None vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197.smt2 TIMEOUT (ERROR (143)) 99.57 53.93 None vmt-chc-benchmarks/lustre/swimmingpool_4.smt2 TIMEOUT (ERROR (143)) 96.67 59.63 None vmt-chc-benchmarks/lustre/swimmingpool_5.smt2 TIMEOUT (ERROR (143)) 105.93 64.46 None vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341.smt2 TIMEOUT (ERROR (143)) 97.64 53.17 None vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713.smt2 TIMEOUT (ERROR (143)) 100.18 54.46 None vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10.smt2 TIMEOUT (ERROR (143)) 93.67 63.23 None vmt-chc-benchmarks/lustre/swimmingpool_6.smt2 TIMEOUT (ERROR (143)) 90.86 56.86 None vmt-chc-benchmarks/lustre/swimmingpool_7.smt2 TIMEOUT (ERROR (143)) 95.27 56.79 None vmt-chc-benchmarks/lustre/swimmingpool_8.smt2 TIMEOUT (ERROR (143)) 98.41 58.20 None vmt-chc-benchmarks/lustre/swimmingpool_9.smt2 TIMEOUT (ERROR (143)) 94.34 59.49 None vmt-chc-benchmarks/lustre/switch.smt2 TIMEOUT (ERROR (143)) 90.60 94.05 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354.smt2 TIMEOUT (ERROR (143)) 90.86 87.20 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653.smt2 TIMEOUT (ERROR (143)) 91.11 87.15 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141.smt2 TIMEOUT (ERROR (143)) 90.83 87.00 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302.smt2 TIMEOUT (ERROR (143)) 91.01 87.25 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394.smt2 TIMEOUT (ERROR (143)) 91.03 87.43 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135.smt2 TIMEOUT (ERROR (143)) 90.80 87.47 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262.smt2 TIMEOUT (ERROR (143)) 90.82 87.83 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856.smt2 TIMEOUT (ERROR (143)) 90.89 87.20 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748.smt2 TIMEOUT (ERROR (143)) 91.04 87.51 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128.smt2 TIMEOUT (ERROR (143)) 91.01 87.39 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271.smt2 TIMEOUT (ERROR (143)) 91.05 87.42 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465.smt2 TIMEOUT (ERROR (143)) 91.07 87.67 None vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941.smt2 TIMEOUT (ERROR (143)) 91.07 87.38 None vmt-chc-benchmarks/lustre/SYNAPSE_123.smt2 TIMEOUT (ERROR (143)) 91.03 87.36 None vmt-chc-benchmarks/lustre/SYNAPSE_1.smt2 TIMEOUT (ERROR (143)) 90.65 69.46 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331.smt2 TIMEOUT (ERROR (143)) 90.64 70.04 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74.smt2 TIMEOUT (ERROR (143)) 90.34 74.78 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239.smt2 TIMEOUT (ERROR (143)) 90.30 74.83 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216.smt2 TIMEOUT (ERROR (143)) 91.61 70.37 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344.smt2 TIMEOUT (ERROR (143)) 90.50 72.10 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667.smt2 TIMEOUT (ERROR (143)) 90.81 88.93 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237.smt2 TIMEOUT (ERROR (143)) 90.18 76.48 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216.smt2 TIMEOUT (ERROR (143)) 91.11 79.27 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043.smt2 TIMEOUT (ERROR (143)) 91.12 79.51 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177.smt2 TIMEOUT (ERROR (143)) 92.04 82.58 None vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118.smt2 TIMEOUT (ERROR (143)) 91.17 77.90 None vmt-chc-benchmarks/lustre/SYNAPSE_2.smt2 TIMEOUT (ERROR (143)) 90.42 75.32 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303.smt2 TIMEOUT (ERROR (143)) 90.62 70.42 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675.smt2 TIMEOUT (ERROR (143)) 91.01 83.96 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753.smt2 TIMEOUT (ERROR (143)) 90.64 69.45 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191.smt2 TIMEOUT (ERROR (143)) 90.55 74.65 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193.smt2 TIMEOUT (ERROR (143)) 90.57 71.79 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041.smt2 TIMEOUT (ERROR (143)) 91.16 72.18 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922.smt2 TIMEOUT (ERROR (143)) 91.08 81.22 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638.smt2 TIMEOUT (ERROR (143)) 91.27 78.97 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581.smt2 TIMEOUT (ERROR (143)) 90.58 71.13 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425.smt2 TIMEOUT (ERROR (143)) 90.36 76.19 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270.smt2 TIMEOUT (ERROR (143)) 90.97 84.16 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236.smt2 TIMEOUT (ERROR (143)) 90.84 88.53 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062.smt2 TIMEOUT (ERROR (143)) 90.22 75.99 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320.smt2 TIMEOUT (ERROR (143)) 91.26 83.49 None vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329.smt2 TIMEOUT (ERROR (143)) 91.04 83.45 None vmt-chc-benchmarks/lustre/SYNAPSE_3.smt2 TIMEOUT (ERROR (143)) 90.51 77.37 None vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572.smt2 TIMEOUT (ERROR (143)) 91.91 78.89 None vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525.smt2 TIMEOUT (ERROR (143)) 90.98 87.19 None vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974.smt2 TIMEOUT (ERROR (143)) 91.61 83.12 None vmt-chc-benchmarks/lustre/SYNAPSE_4.smt2 TIMEOUT (ERROR (143)) 90.71 61.14 None vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375.smt2 TIMEOUT (ERROR (143)) 90.53 72.76 None vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823.smt2 TIMEOUT (ERROR (143)) 91.03 98.14 None vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026.smt2 TIMEOUT (ERROR (143)) 91.09 84.74 None vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525.smt2 TIMEOUT (ERROR (143)) 91.01 84.45 None vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809.smt2 TIMEOUT (ERROR (143)) 90.46 72.95 None vmt-chc-benchmarks/lustre/SYNAPSE_5.smt2 TIMEOUT (ERROR (143)) 90.85 67.76 None vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954.smt2 TIMEOUT (ERROR (143)) 90.66 69.00 None vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558.smt2 TIMEOUT (ERROR (143)) 90.43 73.26 None vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012.smt2 TIMEOUT (ERROR (143)) 90.63 69.91 None vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326.smt2 TIMEOUT (ERROR (143)) 90.27 75.43 None vmt-chc-benchmarks/lustre/SYNAPSE_6.smt2 TIMEOUT (ERROR (143)) 90.73 68.61 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750.smt2 TIMEOUT (ERROR (143)) 111.97 61.44 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495.smt2 TIMEOUT (ERROR (143)) 92.19 51.38 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34.smt2 TIMEOUT (ERROR (143)) 101.46 56.41 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637.smt2 TIMEOUT 91.16 51.08 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336.smt2 TIMEOUT (ERROR (143)) 92.38 51.46 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251.smt2 TIMEOUT (ERROR (143)) 92.40 51.85 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363.smt2 TIMEOUT (ERROR (143)) 107.65 59.74 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907.smt2 TIMEOUT (ERROR (143)) 92.09 51.04 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852.smt2 TIMEOUT (ERROR (143)) 98.91 55.97 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053.smt2 TIMEOUT (ERROR (143)) 90.42 54.07 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472.smt2 TIMEOUT (ERROR (143)) 92.82 52.30 None vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251.smt2 TIMEOUT (ERROR (143)) 90.82 56.41 None vmt-chc-benchmarks/lustre/SYNAPSE_all.smt2 TIMEOUT (ERROR (143)) 91.89 51.31 None vmt-chc-benchmarks/lustre/SYNAPSE_i1.smt2 TIMEOUT (ERROR (143)) 91.03 64.22 None vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669.smt2 TIMEOUT (ERROR (143)) 102.53 55.55 None vmt-chc-benchmarks/lustre/ticket3i_1.smt2 TIMEOUT (ERROR (143)) 100.17 54.09 None vmt-chc-benchmarks/lustre/ticket3i_2.smt2 TIMEOUT (ERROR (143)) 102.07 55.08 None vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495.smt2 TIMEOUT (ERROR (143)) 96.58 52.24 None vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916.smt2 TIMEOUT (ERROR (143)) 100.77 54.49 None vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312.smt2 TIMEOUT (ERROR (143)) 100.00 54.16 None vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491.smt2 TIMEOUT (ERROR (143)) 96.59 52.21 None vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560.smt2 TIMEOUT (ERROR (143)) 103.10 55.70 None vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703.smt2 TIMEOUT (ERROR (143)) 104.10 56.68 None vmt-chc-benchmarks/lustre/ticket3i_3.smt2 TIMEOUT (ERROR (143)) 102.32 55.28 None vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320.smt2 TIMEOUT (ERROR (143)) 100.53 54.36 None vmt-chc-benchmarks/lustre/ticket3i_4.smt2 TIMEOUT (ERROR (143)) 98.50 53.53 None vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307.smt2 TIMEOUT (ERROR (143)) 98.89 53.50 None vmt-chc-benchmarks/lustre/ticket3i_5.smt2 OUT OF MEMORY 86.87 47.30 None vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688.smt2 TIMEOUT (ERROR (143)) 96.44 52.18 None vmt-chc-benchmarks/lustre/ticket3i_6.smt2 TIMEOUT (ERROR (143)) 101.04 54.55 None vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852.smt2 TIMEOUT (ERROR (143)) 99.36 53.75 None vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516.smt2 TIMEOUT (ERROR (143)) 101.14 54.65 None vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524.smt2 TIMEOUT (ERROR (143)) 96.73 52.36 None vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122.smt2 TIMEOUT (ERROR (143)) 100.65 54.63 None vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176.smt2 OUT OF MEMORY 87.23 47.45 None vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78.smt2 TIMEOUT (ERROR (143)) 97.71 52.80 None vmt-chc-benchmarks/lustre/ticket3i_7.smt2 TIMEOUT (ERROR (143)) 101.13 54.65 None vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776.smt2 TIMEOUT (ERROR (143)) 97.79 52.97 None vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553.smt2 TIMEOUT (ERROR (143)) 101.75 54.98 None vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464.smt2 TIMEOUT (ERROR (143)) 98.39 53.40 None vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837.smt2 TIMEOUT (ERROR (143)) 99.77 53.87 None vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450.smt2 TIMEOUT (ERROR (143)) 98.83 53.39 None vmt-chc-benchmarks/lustre/ticket3i_all.smt2 TIMEOUT (ERROR (143)) 103.59 56.21 None vmt-chc-benchmarks/lustre/traffic_e7_348.smt2 TIMEOUT (ERROR (143)) 103.64 56.19 None vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171.smt2 TIMEOUT (ERROR (143)) 105.00 56.68 None vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16.smt2 TIMEOUT (ERROR (143)) 100.10 53.34 None vmt-chc-benchmarks/lustre/traffic.smt2 TIMEOUT (ERROR (143)) 108.50 58.83 None vmt-chc-benchmarks/lustre/tramway_e7_1834_e7_2363.smt2 TIMEOUT (ERROR (143)) 101.80 55.73 None vmt-chc-benchmarks/lustre/tramway_e7_1834_e8_3192.smt2 TIMEOUT (ERROR (143)) 107.00 58.72 None vmt-chc-benchmarks/lustre/tramway_e7_1834.smt2 TIMEOUT (ERROR (143)) 90.97 49.11 None vmt-chc-benchmarks/lustre/tramway.smt2 TIMEOUT (ERROR (143)) 91.94 50.85 None vmt-chc-benchmarks/lustre/twisted_counters.smt2 TIMEOUT (ERROR (143)) 91.61 57.55 None vmt-chc-benchmarks/lustre/two_counters_e1_268.smt2 TIMEOUT (ERROR (143)) 90.65 51.55 None vmt-chc-benchmarks/lustre/two_counters_e2_3.smt2 TIMEOUT (ERROR (143)) 91.26 51.67 None vmt-chc-benchmarks/lustre/two_counters_e3_325.smt2 TIMEOUT (ERROR (143)) 102.09 55.60 None vmt-chc-benchmarks/lustre/two_counters_e7_222.smt2 TIMEOUT (ERROR (143)) 105.91 58.83 None vmt-chc-benchmarks/lustre/two_counters.smt2 TIMEOUT (ERROR (143)) 90.72 50.68 None vmt-chc-benchmarks/lustre/ums_e7_1700.smt2 TIMEOUT (ERROR (143)) 102.40 57.06 None vmt-chc-benchmarks/lustre/ums_e8_1032.smt2 TIMEOUT (ERROR (143)) 91.12 50.96 None vmt-chc-benchmarks/lustre/ums.smt2 TIMEOUT (ERROR (143)) 109.04 59.93 None ------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 123884.71 43130.20 - Statistics: 1990 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1990