BENCHMARK INFORMATION benchmark definition: ourtool-validate-self.xml name: ourtool-validate-self run sets: ourtool-yaml, ourtool-graphml date: Fri, 2023-02-03 08:36:14 UTC tool: Goblint heads/yaml-witness-unassume-bench-0-g98c2a85b0 tool executable: /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint options: --conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra parallel runs: 4 resource limits: - memory: 6000.0 MB - time: 900 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-5.15.0-52-generic-x86_64-with-glibc2.35 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33662.087168 MB ------------------------------------------------------------ ourtool-yaml Run set 1 of 2 with options '--conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set ana.activated[+] apron --set ana.apron.domain polyhedra --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../results/st-cross-self/ourtool.2023-02-03_08-10-40.files/ourtool/${taskdef_name}/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../results/st-cross-self/ourtool.2023-02-03_08-10-40.files/ourtool/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- MADWiFi-encode_ie_ok.yml false 0.45 0.46 None Mono1_1-2.yml unknown 0.10 0.11 None NetBSD_loop.yml unknown 0.17 0.17 None SpamAssassin-loop.i.v+cfa-reducer.yml false 4.51 4.51 None SpamAssassin-loop.yml false 0.60 0.60 None afnp2014.yml unknown 0.09 0.10 None aiob_1.yml unknown 1.21 1.21 None aiob_2.yml unknown 1.22 1.23 None aiob_3.yml unknown 1.20 1.20 None aiob_4.c.v+cfa-reducer.yml unknown 2.74 2.74 None aiob_4.c.v+lh-reducer.yml false 2.66 2.67 None aiob_4.c.v+lhb-reducer.yml false 352.65 352.67 None aiob_4.c.v+nlh-reducer.yml EXCEPTION (Failure) 0.08 0.08 None aiob_4.yml unknown 1.03 1.03 None apache-escape-absolute.i.v+cfa-reducer.yml false 6.04 6.04 None apache-escape-absolute.yml false 1.83 1.83 None apache-get-tag.i.p+lhb-reducer.yml unknown 96.34 96.36 None apache-get-tag.i.p+nlh-reducer.yml EXCEPTION (Failure) 0.08 0.08 None apache-get-tag.i.p+sep-reducer.yml EXCEPTION (Failure) 0.11 0.11 None apache-get-tag.i.v+lhb-reducer.yml unknown 3.54 3.54 None apache-get-tag.i.v+nlh-reducer.yml unknown 3.23 3.23 None apache-get-tag.yml unknown 0.48 0.49 None array-1.yml unknown 0.14 0.14 None array_1-2.yml unknown 0.08 0.08 None array_2-2-simple.yml unknown 0.12 0.12 None array_2-2.yml unknown 0.12 0.12 None array_3-1.yml true 0.10 0.10 None array_4.yml unknown 0.10 0.10 None benchmark02_linear.yml false 0.11 0.11 None benchmark04_conjunctive.yml false 0.15 0.15 None benchmark05_conjunctive.yml unknown 0.13 0.13 None benchmark09_conjunctive.yml unknown 0.11 0.11 None benchmark10_conjunctive.yml true 0.10 0.11 None benchmark11_linear.yml false 0.11 0.11 None benchmark14_linear.yml false 0.10 0.10 None benchmark17_conjunctive.yml unknown 0.10 0.10 None benchmark18_conjunctive.yml false 0.13 0.13 None benchmark19_conjunctive.yml unknown 0.13 0.13 None benchmark20_conjunctive.yml false 0.16 0.16 None benchmark23_conjunctive.yml unknown 0.11 0.11 None benchmark25_linear.yml true 0.09 0.10 None benchmark26_linear.yml unknown 0.09 0.10 None benchmark32_linear.yml unknown 0.12 0.12 None benchmark33_linear.yml true 0.09 0.09 None benchmark34_conjunctive.yml unknown 0.12 0.12 None benchmark35_linear.yml true 0.11 0.11 None benchmark37_conjunctive.yml unknown 0.12 0.12 None benchmark43_conjunctive.yml unknown 0.11 0.11 None benchmark51_polynomial.yml true 0.11 0.11 None benchmark52_polynomial.yml false 0.10 0.10 None bhmr2007.yml false 0.16 0.16 None bin-suffix-5.yml unknown 0.09 0.10 None bresenham-ll.yml unknown 0.17 0.17 None bresenham-ll_valuebound1.yml unknown 0.20 0.21 None bresenham-ll_valuebound10.yml unknown 0.20 0.20 None bresenham-ll_valuebound100.yml unknown 0.21 0.21 None bresenham-ll_valuebound2.yml unknown 0.19 0.20 None bresenham-ll_valuebound20.yml unknown 0.20 0.20 None bresenham-ll_valuebound5.yml unknown 0.19 0.19 None bresenham-ll_valuebound50.yml unknown 0.21 0.21 None bubble_sort-1.yml unknown 0.26 0.26 None cggmp2005.yml unknown 0.10 0.10 None cggmp2005_variant.yml false 0.13 0.13 None cggmp2005b.yml false 0.22 0.22 None cohencu-ll.yml TIMEOUT 900.95 901.02 None cohencu-ll_valuebound1.yml TIMEOUT 900.99 901.02 None cohencu-ll_valuebound10.yml TIMEOUT 900.93 901.02 None cohencu-ll_valuebound100.yml TIMEOUT 901.00 901.02 None cohencu-ll_valuebound2.yml TIMEOUT 900.99 901.02 None cohencu-ll_valuebound20.yml TIMEOUT 900.99 901.02 None cohencu-ll_valuebound5.yml TIMEOUT 900.93 901.02 None cohencu-ll_valuebound50.yml TIMEOUT 900.99 901.02 None cohendiv-ll.yml unknown 0.40 0.40 None cohendiv-ll_unwindbound1.yml unknown 0.21 0.21 None cohendiv-ll_unwindbound10.yml unknown 0.43 0.43 None cohendiv-ll_unwindbound100.yml unknown 0.45 0.45 None cohendiv-ll_unwindbound2.yml unknown 0.29 0.29 None cohendiv-ll_unwindbound20.yml unknown 0.44 0.44 None cohendiv-ll_unwindbound5.yml unknown 0.41 0.41 None cohendiv-ll_unwindbound50.yml unknown 0.40 0.40 None cohendiv-ll_valuebound1.yml unknown 0.41 0.42 None cohendiv-ll_valuebound10.yml unknown 0.40 0.40 None cohendiv-ll_valuebound100.yml unknown 0.40 0.40 None cohendiv-ll_valuebound2.yml unknown 0.40 0.40 None cohendiv-ll_valuebound20.yml unknown 0.41 0.41 None cohendiv-ll_valuebound5.yml unknown 0.44 0.45 None cohendiv-ll_valuebound50.yml unknown 0.44 0.44 None const.yml unknown 0.10 0.10 None const_1-1.yml true 0.13 0.13 None count_by_1.yml true 0.08 0.08 None count_by_1_variant.yml unknown 0.08 0.08 None count_by_2.yml unknown 0.08 0.09 None count_by_k.yml false 0.11 0.11 None count_by_nondet.yml unknown 0.12 0.12 None count_up_down-1.yml unknown 0.14 0.14 None css2003.yml false 0.13 0.14 None ddlm2013.yml unknown 0.22 0.22 None diamond_1-1.yml unknown 0.11 0.11 None diamond_2-2.yml unknown 0.14 0.14 None dijkstra-u.yml unknown 0.54 0.54 None dijkstra-u_unwindbound1.yml false 0.48 0.48 None dijkstra-u_unwindbound2.yml unknown 0.70 0.70 None dijkstra-u_valuebound1.yml unknown 0.56 0.56 None dijkstra-u_valuebound10.yml unknown 0.58 0.59 None dijkstra-u_valuebound100.yml unknown 0.56 0.56 None dijkstra-u_valuebound2.yml unknown 0.59 0.60 None dijkstra-u_valuebound20.yml unknown 0.60 0.60 None dijkstra-u_valuebound5.yml unknown 0.57 0.57 None dijkstra-u_valuebound50.yml unknown 0.58 0.58 None discover_list.yml unknown 1.97 1.97 None divbin2.yml unknown 0.26 0.26 None divbin2_unwindbound1.yml unknown 0.46 0.46 None divbin2_unwindbound10.yml unknown 0.44 0.44 None divbin2_unwindbound100.yml unknown 0.43 0.43 None divbin2_unwindbound2.yml unknown 0.40 0.40 None divbin2_unwindbound20.yml unknown 0.43 0.43 None divbin2_unwindbound5.yml unknown 0.41 0.41 None divbin2_unwindbound50.yml unknown 0.42 0.42 None divbin2_valuebound1.yml unknown 0.31 0.31 None divbin2_valuebound10.yml unknown 0.30 0.30 None divbin2_valuebound100.yml unknown 0.30 0.31 None divbin2_valuebound2.yml unknown 0.30 0.30 None divbin2_valuebound20.yml unknown 0.31 0.31 None divbin2_valuebound5.yml unknown 0.31 0.31 None divbin2_valuebound50.yml unknown 0.31 0.31 None divbin_unwindbound1.yml false 0.53 0.53 None divbin_unwindbound2.yml unknown 0.82 0.82 None divbin_unwindbound5.yml unknown 0.65 0.65 None divbin_valuebound1.yml unknown 0.53 0.53 None divbin_valuebound10.yml unknown 0.52 0.52 None divbin_valuebound100.yml unknown 0.55 0.55 None divbin_valuebound2.yml unknown 0.52 0.52 None divbin_valuebound20.yml unknown 0.52 0.52 None divbin_valuebound5.yml unknown 0.52 0.52 None divbin_valuebound50.yml unknown 0.54 0.54 None down.yml false 0.15 0.15 None egcd-ll.yml unknown 0.23 0.23 None egcd-ll_valuebound1.yml unknown 0.29 0.29 None egcd-ll_valuebound10.yml unknown 0.30 0.30 None egcd-ll_valuebound100.yml unknown 0.31 0.31 None egcd-ll_valuebound2.yml unknown 0.29 0.29 None egcd-ll_valuebound20.yml unknown 0.28 0.28 None egcd-ll_valuebound5.yml unknown 0.29 0.29 None egcd-ll_valuebound50.yml unknown 0.29 0.29 None egcd2-ll.yml unknown 0.55 0.55 None egcd2-ll_valuebound1.yml unknown 0.64 0.64 None egcd2-ll_valuebound10.yml unknown 0.68 0.68 None egcd2-ll_valuebound100.yml unknown 0.68 0.68 None egcd2-ll_valuebound2.yml unknown 0.68 0.68 None egcd2-ll_valuebound20.yml unknown 0.67 0.67 None egcd2-ll_valuebound5.yml unknown 0.69 0.69 None egcd2-ll_valuebound50.yml unknown 0.70 0.70 None egcd3-ll.yml unknown 0.87 0.87 None egcd3-ll_valuebound1.yml unknown 0.99 1.00 None egcd3-ll_valuebound10.yml unknown 1.00 1.00 None egcd3-ll_valuebound100.yml unknown 1.00 1.00 None egcd3-ll_valuebound2.yml unknown 1.01 1.01 None egcd3-ll_valuebound20.yml unknown 0.99 0.99 None egcd3-ll_valuebound5.yml unknown 0.97 0.97 None egcd3-ll_valuebound50.yml unknown 1.01 1.01 None elimination_max.yml unknown 0.21 0.21 None eq1.yml unknown 0.31 0.31 None eq2.yml unknown 0.17 0.17 None eureka_01-2.yml unknown 0.70 0.70 None eureka_05.yml false 0.22 0.22 None even.yml unknown 0.08 0.08 None fermat1-ll.yml unknown 0.29 0.29 None fermat1-ll_valuebound1.yml unknown 0.34 0.34 None fermat1-ll_valuebound10.yml unknown 0.34 0.34 None fermat1-ll_valuebound100.yml unknown 0.34 0.34 None fermat1-ll_valuebound2.yml unknown 0.34 0.34 None fermat1-ll_valuebound20.yml unknown 0.33 0.33 None fermat1-ll_valuebound5.yml unknown 0.33 0.33 None fermat1-ll_valuebound50.yml unknown 0.33 0.33 None fermat2-ll.yml unknown 0.16 0.16 None fermat2-ll_valuebound1.yml unknown 0.20 0.20 None fermat2-ll_valuebound10.yml unknown 0.20 0.20 None fermat2-ll_valuebound100.yml unknown 0.20 0.20 None fermat2-ll_valuebound2.yml unknown 0.20 0.20 None fermat2-ll_valuebound20.yml unknown 0.20 0.20 None fermat2-ll_valuebound5.yml unknown 0.21 0.21 None fermat2-ll_valuebound50.yml unknown 0.20 0.20 None for_infinite_loop_1.yml false 0.11 0.11 None for_infinite_loop_2.yml false 0.11 0.11 None fragtest_simple.yml unknown 0.24 0.24 None freire1_valuebound1.yml unknown 0.10 0.10 None freire1_valuebound10.yml unknown 0.09 0.09 None freire1_valuebound100.yml unknown 0.10 0.11 None freire1_valuebound2.yml unknown 0.09 0.09 None freire1_valuebound20.yml unknown 0.10 0.10 None freire1_valuebound5.yml unknown 0.10 0.10 None freire1_valuebound50.yml unknown 0.11 0.11 None functions_1-1.yml unknown 0.09 0.09 None gauss_sum.i.p+cfa-reducer.yml false 0.16 0.16 None gauss_sum.i.p+lhb-reducer.yml false 0.31 0.32 None gauss_sum.i.v+cfa-reducer.yml false 0.16 0.16 None gauss_sum.yml false 0.13 0.13 None geo1-ll.yml unknown 0.14 0.14 None geo1-ll_unwindbound1.yml unknown 0.17 0.17 None geo1-ll_unwindbound10.yml unknown 0.15 0.15 None geo1-ll_unwindbound100.yml unknown 0.15 0.15 None geo1-ll_unwindbound2.yml unknown 0.14 0.14 None geo1-ll_unwindbound20.yml unknown 0.16 0.16 None geo1-ll_unwindbound5.yml unknown 0.16 0.16 None geo1-ll_unwindbound50.yml unknown 0.15 0.15 None geo1-ll_valuebound1.yml unknown 0.16 0.16 None geo1-ll_valuebound10.yml unknown 0.17 0.17 None geo1-ll_valuebound100.yml unknown 0.17 0.17 None geo1-ll_valuebound2.yml unknown 0.19 0.19 None geo1-ll_valuebound20.yml unknown 0.17 0.17 None geo1-ll_valuebound5.yml unknown 0.16 0.16 None geo1-ll_valuebound50.yml unknown 0.17 0.17 None geo2-ll.yml unknown 0.12 0.12 None geo2-ll_unwindbound1.yml unknown 0.16 0.16 None geo2-ll_unwindbound10.yml unknown 0.13 0.14 None geo2-ll_unwindbound100.yml unknown 0.14 0.14 None geo2-ll_unwindbound2.yml unknown 0.15 0.15 None geo2-ll_unwindbound20.yml unknown 0.14 0.14 None geo2-ll_unwindbound5.yml unknown 0.16 0.16 None geo2-ll_unwindbound50.yml unknown 0.15 0.15 None geo2-ll_valuebound1.yml unknown 0.16 0.16 None geo2-ll_valuebound10.yml unknown 0.16 0.16 None geo2-ll_valuebound100.yml unknown 0.17 0.17 None geo2-ll_valuebound2.yml unknown 0.17 0.17 None geo2-ll_valuebound20.yml unknown 0.16 0.16 None geo2-ll_valuebound5.yml unknown 0.16 0.16 None geo2-ll_valuebound50.yml unknown 0.15 0.16 None geo3-ll.yml unknown 0.16 0.16 None geo3-ll_unwindbound1.yml unknown 0.18 0.18 None geo3-ll_unwindbound10.yml unknown 0.17 0.17 None geo3-ll_unwindbound100.yml unknown 0.17 0.17 None geo3-ll_unwindbound2.yml unknown 0.16 0.16 None geo3-ll_unwindbound20.yml unknown 0.16 0.16 None geo3-ll_unwindbound5.yml unknown 0.15 0.15 None geo3-ll_unwindbound50.yml unknown 0.16 0.16 None geo3-ll_valuebound1.yml unknown 0.21 0.22 None geo3-ll_valuebound10.yml unknown 0.22 0.22 None geo3-ll_valuebound100.yml unknown 0.21 0.21 None geo3-ll_valuebound2.yml unknown 0.21 0.21 None geo3-ll_valuebound20.yml unknown 0.22 0.22 None geo3-ll_valuebound5.yml unknown 0.21 0.21 None geo3-ll_valuebound50.yml unknown 0.24 0.24 None gj2007.c.i.p+lhb-reducer.yml unknown 0.15 0.15 None gj2007.c.i.p+nlh-reducer.yml unknown 0.30 0.30 None gj2007.yml unknown 0.11 0.11 None gj2007b.yml unknown 0.13 0.13 None gr2006.yml unknown 0.10 0.11 None gsv2008.c.i.p+cfa-reducer.yml false 0.14 0.14 None gsv2008.c.i.v+cfa-reducer.yml false 0.14 0.14 None gsv2008.c.i.v+lhb-reducer.yml false 0.17 0.17 None gsv2008.yml false 0.12 0.12 None half.yml false 0.14 0.14 None half_2.yml false 0.20 0.20 None hard-ll.yml unknown 219.93 219.94 None hard-ll_valuebound1.yml unknown 72.76 72.77 None hard-ll_valuebound10.yml unknown 70.74 70.75 None hard-ll_valuebound100.yml unknown 69.72 69.73 None hard-ll_valuebound2.yml unknown 70.28 70.29 None hard-ll_valuebound20.yml unknown 70.49 70.49 None hard-ll_valuebound5.yml unknown 70.80 70.81 None hard-ll_valuebound50.yml unknown 69.64 69.65 None hard-u_valuebound1.yml unknown 1.37 1.37 None hard-u_valuebound10.yml unknown 1.42 1.42 None hard-u_valuebound100.yml unknown 1.41 1.41 None hard-u_valuebound2.yml unknown 1.41 1.41 None hard-u_valuebound20.yml unknown 1.41 1.42 None hard-u_valuebound5.yml unknown 1.40 1.40 None hard-u_valuebound50.yml unknown 1.41 1.41 None hard2.yml unknown 1.83 1.83 None hard2_valuebound1.yml unknown 1.89 1.89 None hard2_valuebound10.yml unknown 1.85 1.85 None hard2_valuebound100.yml unknown 1.89 1.89 None hard2_valuebound2.yml unknown 1.87 1.87 None hard2_valuebound20.yml unknown 1.86 1.86 None hard2_valuebound5.yml unknown 1.85 1.85 None hard2_valuebound50.yml unknown 1.87 1.87 None heapsort.yml false 1.62 1.62 None heavy-2.yml unknown 0.44 0.45 None hhk2008.yml false 0.17 0.17 None id_build.i.p+nlh-reducer.yml unknown 206.56 206.60 None id_build.i.p+sep-reducer.yml unknown 226.88 226.90 None id_build.i.v+lhb-reducer.yml unknown 0.21 0.21 None id_build.yml true 0.13 0.13 None iftelse.yml unknown 0.18 0.18 None in-de20.yml unknown 0.21 0.21 None in-de31.yml unknown 0.25 0.25 None in-de32.yml false 0.24 0.24 None in-de41.yml unknown 0.29 0.29 None in-de42.yml false 0.28 0.28 None in-de51.yml unknown 0.33 0.33 None in-de52.yml false 0.32 0.32 None in-de61.yml unknown 0.37 0.37 None in-de62.yml false 0.34 0.35 None insertion_sort-2.yml unknown 0.27 0.27 None invert_string-3.yml false 0.17 0.17 None jm2006.c.i.v+cfa-reducer.yml false 0.16 0.16 None jm2006.yml false 0.13 0.13 None jm2006_variant.yml false 0.19 0.19 None knuth.yml unknown 3.99 3.99 None knuth_unwindbound1.yml unknown 5.86 5.86 None knuth_unwindbound10.yml unknown 14.63 14.63 None knuth_unwindbound100.yml unknown 14.73 14.74 None knuth_unwindbound2.yml unknown 14.51 14.51 None knuth_unwindbound20.yml unknown 14.65 14.65 None knuth_unwindbound5.yml unknown 14.59 14.59 None knuth_unwindbound50.yml unknown 14.70 14.70 None knuth_valuebound1.yml unknown 7.60 7.60 None knuth_valuebound10.yml unknown 7.51 7.51 None knuth_valuebound100.yml unknown 7.50 7.51 None knuth_valuebound2.yml unknown 7.56 7.56 None knuth_valuebound20.yml unknown 7.71 7.71 None knuth_valuebound5.yml unknown 7.64 7.64 None knuth_valuebound50.yml unknown 7.79 7.79 None large_const.yml false 0.34 0.34 None lcm1.yml unknown 0.76 0.76 None lcm1_valuebound1.yml unknown 1.11 1.11 None lcm1_valuebound10.yml unknown 1.13 1.13 None lcm1_valuebound100.yml unknown 1.13 1.13 None lcm1_valuebound2.yml unknown 1.13 1.13 None lcm1_valuebound20.yml unknown 1.14 1.14 None lcm1_valuebound5.yml unknown 1.16 1.16 None lcm1_valuebound50.yml unknown 1.19 1.19 None lcm2.yml unknown 0.92 0.92 None lcm2_unwindbound1.yml unknown 1.20 1.20 None lcm2_unwindbound10.yml unknown 2.12 2.12 None lcm2_unwindbound100.yml unknown 2.10 2.10 None lcm2_unwindbound2.yml unknown 2.20 2.20 None lcm2_unwindbound20.yml unknown 2.12 2.12 None lcm2_unwindbound5.yml unknown 2.16 2.16 None lcm2_unwindbound50.yml unknown 2.17 2.17 None lcm2_valuebound1.yml unknown 1.59 1.59 None lcm2_valuebound10.yml unknown 1.58 1.58 None lcm2_valuebound100.yml unknown 1.57 1.57 None lcm2_valuebound2.yml unknown 1.53 1.54 None lcm2_valuebound20.yml unknown 1.55 1.55 None lcm2_valuebound5.yml unknown 1.56 1.56 None lcm2_valuebound50.yml unknown 1.55 1.55 None lcp.yml unknown 0.15 0.15 None linear-inequality-inv-a.yml true 0.26 0.26 None linear_sea.ch.yml unknown 0.32 0.32 None loopv1.yml false 0.12 0.12 None loopv2.yml false 0.20 0.21 None loopv3.yml unknown 0.11 0.11 None lu.cmp.yml false 1.04 1.04 None mannadiv_valuebound2.yml unknown 0.12 0.12 None matrix-1.yml unknown 0.22 0.22 None mcmillan2006.yml false 0.15 0.16 None mod3.c.v+cfa-reducer.yml unknown 0.17 0.17 None mod3.c.v+lhb-reducer.yml unknown 0.36 0.36 None mod3.c.v+sep-reducer.yml unknown 0.33 0.33 None mod3.yml unknown 0.13 0.13 None mod4.yml unknown 0.08 0.08 None mono-crafted_1.yml unknown 0.16 0.16 None mono-crafted_10.yml unknown 0.12 0.12 None mono-crafted_11.yml unknown 0.08 0.08 None mono-crafted_12.yml unknown 0.12 0.12 None mono-crafted_13.yml unknown 0.15 0.15 None mono-crafted_14.yml unknown 0.18 0.18 None mono-crafted_3.yml unknown 0.17 0.17 None mono-crafted_6.yml unknown 0.11 0.11 None mono-crafted_7.yml unknown 0.16 0.16 None mono-crafted_8.yml unknown 0.12 0.12 None mono-crafted_9.yml unknown 0.10 0.11 None multivar_1-1.yml unknown 0.10 0.11 None n.c11.yml unknown 0.09 0.10 None n.c40.yml true 0.08 0.08 None nec40.yml true 0.08 0.08 None nest-if3.yml false 0.26 0.27 None nested-1.yml false 0.32 0.32 None nested-3.yml unknown 0.28 0.28 None nested3-1.yml true 0.20 0.20 None nested5-1.yml true 0.27 0.27 None nested6.yml false 0.45 0.45 None nested9.yml false 0.56 0.56 None nested_1-1.yml true 0.11 0.11 None nested_1.yml true 0.08 0.08 None nested_2.yml unknown 0.11 0.11 None nested_3.yml unknown 0.14 0.14 None nested_4.yml unknown 0.17 0.17 None nested_5.yml unknown 0.25 0.25 None nested_6.yml unknown 0.37 0.37 None nested_delay_nd.yml unknown 0.23 0.23 None net_reset.yml true 0.15 0.16 None odd.yml unknown 0.08 0.09 None ofuf_1.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_2.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_3.yml EXCEPTION (Failure) 0.07 0.08 None ofuf_4.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_5.yml EXCEPTION (Failure) 0.07 0.07 None overflow_1-1.yml unknown 0.08 0.08 None phases_1-1.yml unknown 0.09 0.09 None phases_2-2.yml unknown 0.12 0.12 None prefixsum_iter.yml unknown 0.36 0.36 None prod4br-ll.yml unknown 0.26 0.26 None prod4br-ll_valuebound1.yml unknown 0.32 0.33 None prod4br-ll_valuebound10.yml unknown 0.33 0.33 None prod4br-ll_valuebound100.yml unknown 0.32 0.32 None prod4br-ll_valuebound2.yml unknown 0.32 0.32 None prod4br-ll_valuebound20.yml unknown 0.31 0.32 None prod4br-ll_valuebound5.yml unknown 0.31 0.31 None prod4br-ll_valuebound50.yml unknown 0.32 0.32 None prodbin-ll.yml unknown 0.12 0.12 None prodbin-ll_valuebound1.yml unknown 0.16 0.16 None prodbin-ll_valuebound10.yml unknown 0.15 0.15 None prodbin-ll_valuebound100.yml unknown 0.16 0.16 None prodbin-ll_valuebound2.yml unknown 0.15 0.16 None prodbin-ll_valuebound20.yml unknown 0.16 0.16 None prodbin-ll_valuebound5.yml unknown 0.15 0.15 None prodbin-ll_valuebound50.yml unknown 0.17 0.17 None ps2-ll.yml unknown 0.12 0.13 None ps2-ll_unwindbound1.yml unknown 0.16 0.16 None ps2-ll_unwindbound10.yml unknown 0.13 0.13 None ps2-ll_unwindbound100.yml unknown 0.13 0.13 None ps2-ll_unwindbound2.yml unknown 0.15 0.15 None ps2-ll_unwindbound20.yml unknown 0.13 0.13 None ps2-ll_unwindbound5.yml unknown 0.13 0.13 None ps2-ll_unwindbound50.yml unknown 0.14 0.14 None ps2-ll_valuebound1.yml unknown 0.13 0.13 None ps2-ll_valuebound10.yml unknown 0.13 0.13 None ps2-ll_valuebound100.yml unknown 0.13 0.13 None ps2-ll_valuebound2.yml unknown 0.12 0.13 None ps2-ll_valuebound20.yml unknown 0.13 0.13 None ps2-ll_valuebound5.yml unknown 0.13 0.13 None ps2-ll_valuebound50.yml unknown 0.13 0.13 None ps3-ll.yml unknown 1.56 1.57 None ps3-ll_unwindbound1.yml unknown 0.16 0.16 None ps3-ll_unwindbound10.yml unknown 0.13 0.13 None ps3-ll_unwindbound100.yml unknown 0.14 0.14 None ps3-ll_unwindbound2.yml unknown 0.14 0.14 None ps3-ll_unwindbound20.yml unknown 0.14 0.14 None ps3-ll_unwindbound5.yml unknown 0.14 0.15 None ps3-ll_unwindbound50.yml unknown 0.14 0.14 None ps3-ll_valuebound1.yml unknown 2.02 2.02 None ps3-ll_valuebound10.yml unknown 2.06 2.06 None ps3-ll_valuebound100.yml unknown 2.09 2.09 None ps3-ll_valuebound2.yml unknown 2.06 2.06 None ps3-ll_valuebound20.yml unknown 2.07 2.07 None ps3-ll_valuebound5.yml unknown 2.06 2.06 None ps3-ll_valuebound50.yml unknown 2.06 2.06 None ps4-ll.yml unknown 1.74 1.74 None ps4-ll_valuebound1.yml unknown 2.23 2.23 None ps4-ll_valuebound10.yml unknown 2.21 2.21 None ps4-ll_valuebound100.yml unknown 2.31 2.31 None ps4-ll_valuebound2.yml unknown 2.30 2.30 None ps4-ll_valuebound20.yml unknown 2.21 2.21 None ps4-ll_valuebound5.yml unknown 2.20 2.20 None ps4-ll_valuebound50.yml unknown 2.21 2.22 None ps5-ll.yml unknown 1.73 1.74 None ps5-ll_valuebound1.yml unknown 2.28 2.28 None ps5-ll_valuebound10.yml unknown 2.19 2.20 None ps5-ll_valuebound100.yml unknown 2.25 2.26 None ps5-ll_valuebound2.yml unknown 2.31 2.31 None ps5-ll_valuebound20.yml unknown 2.27 2.27 None ps5-ll_valuebound5.yml unknown 2.26 2.26 None ps5-ll_valuebound50.yml unknown 2.28 2.28 None ps6-ll.yml unknown 1.77 1.77 None ps6-ll_valuebound1.yml unknown 2.21 2.21 None ps6-ll_valuebound10.yml unknown 2.22 2.22 None ps6-ll_valuebound100.yml unknown 2.22 2.22 None ps6-ll_valuebound2.yml unknown 2.17 2.17 None ps6-ll_valuebound20.yml unknown 2.24 2.24 None ps6-ll_valuebound5.yml unknown 2.25 2.25 None ps6-ll_valuebound50.yml unknown 2.19 2.19 None sendmail-close-angle.yml unknown 0.31 0.31 None seq-3.yml false 0.37 0.37 None simple_1-2.yml unknown 0.08 0.08 None simple_2-1.yml true 0.08 0.08 None simple_3-2.yml unknown 0.10 0.10 None simple_4-2.yml true 0.07 0.07 None simple_array_index_value_1-1.yml unknown 0.10 0.10 None simple_array_index_value_2.yml unknown 0.12 0.12 None simple_array_index_value_3.yml unknown 0.14 0.14 None simple_vardep_1.yml unknown 0.14 0.14 None simple_vardep_2.yml unknown 0.15 0.15 None sqrt1-ll.yml unknown 0.14 0.14 None sqrt1-ll_unwindbound1.yml unknown 0.23 0.23 None sqrt1-ll_unwindbound10.yml unknown 0.15 0.15 None sqrt1-ll_unwindbound100.yml unknown 0.16 0.16 None sqrt1-ll_unwindbound2.yml unknown 0.16 0.16 None sqrt1-ll_unwindbound20.yml unknown 0.15 0.15 None sqrt1-ll_unwindbound5.yml unknown 0.16 0.16 None sqrt1-ll_unwindbound50.yml unknown 0.16 0.16 None sqrt1-ll_valuebound1.yml unknown 0.16 0.16 None sqrt1-ll_valuebound10.yml unknown 0.15 0.15 None sqrt1-ll_valuebound100.yml unknown 0.15 0.15 None sqrt1-ll_valuebound2.yml unknown 0.15 0.15 None sqrt1-ll_valuebound20.yml unknown 0.15 0.15 None sqrt1-ll_valuebound5.yml unknown 0.15 0.15 None sqrt1-ll_valuebound50.yml unknown 0.15 0.15 None string-1.yml false 0.28 0.28 None string_concat-noarr.yml unknown 0.15 0.15 None sum01-2.yml false 0.12 0.12 None sum03-2.yml unknown 0.17 0.17 None sum04-2.yml unknown 0.10 0.10 None sum_array-2.yml unknown 0.21 0.21 None sum_by_3.yml unknown 0.25 0.25 None sum_natnum.yml unknown 0.09 0.10 None sumt2.yml unknown 0.23 0.23 None sumt3.yml unknown 0.33 0.33 None sumt4.yml unknown 0.38 0.38 None sumt5.yml unknown 0.65 0.65 None sumt6.yml unknown 1.40 1.40 None sumt7.yml unknown 2.76 2.76 None sumt8.yml unknown 6.92 6.92 None sumt9.yml unknown 18.27 18.27 None terminator_02-2.yml unknown 0.16 0.16 None terminator_03-2.yml unknown 0.11 0.11 None theatreSquare.yml false 1.39 1.40 None trex01-2.yml false 1.58 1.58 None trex02-1.yml unknown 0.12 0.12 None trex03-2.yml unknown 32.54 32.54 None trex04.yml unknown 0.69 0.69 None underapprox_1-2.yml unknown 0.10 0.10 None underapprox_2-2.yml true 0.10 0.11 None up.yml false 0.14 0.14 None veris.c_NetBSD-libc_loop.yml unknown 0.10 0.10 None veris.c_OpenSER_cases1_stripFullBoth_arr.yml unknown 0.46 0.47 None veris.c_sendmail_tTflag_arr_one_loop.yml unknown 0.19 0.19 None vnew1.yml false 0.22 0.22 None vnew2.yml unknown 0.22 0.23 None vogal-1.yml false 0.65 0.65 None watermelon.yml false 0.25 0.25 None while_infinite_loop_1.yml true 0.07 0.07 None while_infinite_loop_2.yml true 0.08 0.08 None while_infinite_loop_3.yml true 0.08 0.08 None ------------------------------------------------------------------------------------------------------------- Run set 1 done 9289.19 2360.04 - ourtool-graphml Run set 2 of 2 with options '--conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set ana.activated[+] apron --set ana.apron.domain polyhedra --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../results/st-cross-self/ourtool.2023-02-03_08-10-40.files2/ourtool/${taskdef_name}/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../results/st-cross-self/ourtool.2023-02-03_08-10-40.files2/ourtool/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- MADWiFi-encode_ie_ok.yml EXCEPTION (Failure) 0.07 0.07 None Mono1_1-2.yml EXCEPTION (Failure) 0.07 0.07 None NetBSD_loop.yml EXCEPTION (Failure) 0.07 0.07 None SpamAssassin-loop.i.v+cfa-reducer.yml EXCEPTION (Failure) 0.07 0.07 None SpamAssassin-loop.yml EXCEPTION (Failure) 0.07 0.07 None afnp2014.yml EXCEPTION (Failure) 0.07 0.07 None aiob_1.yml EXCEPTION (Failure) 0.09 0.09 None aiob_2.yml EXCEPTION (Failure) 0.09 0.09 None aiob_3.yml EXCEPTION (Failure) 0.07 0.07 None aiob_4.c.v+cfa-reducer.yml EXCEPTION (Failure) 0.07 0.07 None aiob_4.c.v+lh-reducer.yml EXCEPTION (Failure) 0.07 0.07 None aiob_4.c.v+lhb-reducer.yml EXCEPTION (Failure) 0.07 0.08 None aiob_4.c.v+nlh-reducer.yml EXCEPTION (Failure) 0.10 0.10 None aiob_4.yml EXCEPTION (Failure) 0.07 0.07 None apache-escape-absolute.i.v+cfa-reducer.yml EXCEPTION (Failure) 0.07 0.07 None apache-escape-absolute.yml EXCEPTION (Failure) 0.06 0.07 None apache-get-tag.i.p+lhb-reducer.yml EXCEPTION (Failure) 0.07 0.07 None apache-get-tag.i.p+nlh-reducer.yml EXCEPTION (Failure) 0.09 0.09 None apache-get-tag.i.p+sep-reducer.yml EXCEPTION (Failure) 0.12 0.12 None apache-get-tag.i.v+lhb-reducer.yml EXCEPTION (Failure) 0.08 0.08 None apache-get-tag.i.v+nlh-reducer.yml EXCEPTION (Failure) 0.07 0.07 None apache-get-tag.yml EXCEPTION (Failure) 0.06 0.06 None array-1.yml EXCEPTION (Failure) 0.06 0.06 None array_1-2.yml EXCEPTION (Failure) 0.06 0.06 None array_2-2-simple.yml EXCEPTION (Failure) 0.07 0.07 None array_2-2.yml EXCEPTION (Failure) 0.07 0.07 None array_3-1.yml EXCEPTION (Failure) 0.07 0.07 None array_4.yml EXCEPTION (Failure) 0.06 0.07 None benchmark02_linear.yml EXCEPTION (Failure) 0.07 0.07 None benchmark04_conjunctive.yml EXCEPTION (Failure) 0.08 0.08 None benchmark05_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark09_conjunctive.yml EXCEPTION (Failure) 0.07 0.07 None benchmark10_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark11_linear.yml EXCEPTION (Failure) 0.07 0.07 None benchmark14_linear.yml EXCEPTION (Failure) 0.06 0.06 None benchmark17_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark18_conjunctive.yml EXCEPTION (Failure) 0.07 0.07 None benchmark19_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark20_conjunctive.yml EXCEPTION (Failure) 0.08 0.08 None benchmark23_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark25_linear.yml EXCEPTION (Failure) 0.07 0.07 None benchmark26_linear.yml EXCEPTION (Failure) 0.06 0.06 None benchmark32_linear.yml EXCEPTION (Failure) 0.07 0.07 None benchmark33_linear.yml EXCEPTION (Failure) 0.06 0.06 None benchmark34_conjunctive.yml EXCEPTION (Failure) 0.07 0.07 None benchmark35_linear.yml EXCEPTION (Failure) 0.06 0.06 None benchmark37_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark43_conjunctive.yml EXCEPTION (Failure) 0.06 0.06 None benchmark51_polynomial.yml EXCEPTION (Failure) 0.06 0.06 None benchmark52_polynomial.yml EXCEPTION (Failure) 0.06 0.06 None bhmr2007.yml EXCEPTION (Failure) 0.06 0.06 None bin-suffix-5.yml EXCEPTION (Failure) 0.06 0.06 None bresenham-ll.yml EXCEPTION (Failure) 0.07 0.08 None bresenham-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None bresenham-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None bresenham-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None bresenham-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None bresenham-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None bresenham-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None bresenham-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None bubble_sort-1.yml EXCEPTION (Failure) 0.06 0.07 None cggmp2005.yml EXCEPTION (Failure) 0.07 0.07 None cggmp2005_variant.yml EXCEPTION (Failure) 0.06 0.06 None cggmp2005b.yml EXCEPTION (Failure) 0.06 0.06 None cohencu-ll.yml EXCEPTION (Failure) 0.06 0.06 None cohencu-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None cohencu-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None cohencu-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None cohencu-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.07 None cohencu-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.07 None cohencu-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None cohencu-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_unwindbound10.yml EXCEPTION (Failure) 0.06 0.06 None cohendiv-ll_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_unwindbound2.yml EXCEPTION (Failure) 0.07 0.13 None cohendiv-ll_unwindbound20.yml EXCEPTION (Failure) 0.07 0.13 None cohendiv-ll_unwindbound5.yml EXCEPTION (Failure) 0.06 0.06 None cohendiv-ll_unwindbound50.yml EXCEPTION (Failure) 0.07 0.12 None cohendiv-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.07 None cohendiv-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.07 None cohendiv-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None cohendiv-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None cohendiv-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None const.yml EXCEPTION (Failure) 0.07 0.07 None const_1-1.yml EXCEPTION (Failure) 0.06 0.06 None count_by_1.yml EXCEPTION (Failure) 0.06 0.06 None count_by_1_variant.yml EXCEPTION (Failure) 0.06 0.06 None count_by_2.yml EXCEPTION (Failure) 0.06 0.06 None count_by_k.yml EXCEPTION (Failure) 0.07 0.07 None count_by_nondet.yml EXCEPTION (Failure) 0.06 0.06 None count_up_down-1.yml EXCEPTION (Failure) 0.06 0.07 None css2003.yml EXCEPTION (Failure) 0.06 0.06 None ddlm2013.yml EXCEPTION (Failure) 0.07 0.07 None diamond_1-1.yml EXCEPTION (Failure) 0.06 0.06 None diamond_2-2.yml EXCEPTION (Failure) 0.07 0.07 None dijkstra-u.yml EXCEPTION (Failure) 0.06 0.06 None dijkstra-u_unwindbound1.yml EXCEPTION (Failure) 0.06 0.06 None dijkstra-u_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None dijkstra-u_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None dijkstra-u_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None dijkstra-u_valuebound100.yml EXCEPTION (Failure) 0.06 0.07 None dijkstra-u_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None dijkstra-u_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None dijkstra-u_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None dijkstra-u_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None discover_list.yml EXCEPTION (Failure) 0.07 0.08 None divbin2.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound10.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None divbin2_unwindbound20.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound5.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_unwindbound50.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None divbin2_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None divbin2_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None divbin2_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None divbin2_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None divbin_unwindbound1.yml EXCEPTION (Failure) 0.06 0.06 None divbin_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None divbin_unwindbound5.yml EXCEPTION (Failure) 0.06 0.07 None divbin_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None divbin_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None divbin_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None divbin_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None divbin_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None divbin_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None divbin_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None down.yml EXCEPTION (Failure) 0.06 0.06 None egcd-ll.yml EXCEPTION (Failure) 0.07 0.07 None egcd-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None egcd-ll_valuebound10.yml EXCEPTION (Failure) 0.08 0.08 None egcd-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None egcd-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None egcd-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None egcd-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None egcd-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None egcd2-ll.yml EXCEPTION (Failure) 0.07 0.07 None egcd2-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None egcd2-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None egcd2-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None egcd2-ll_valuebound2.yml EXCEPTION (Failure) 0.08 0.08 None egcd2-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None egcd2-ll_valuebound5.yml EXCEPTION (Failure) 0.08 0.08 None egcd2-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None egcd3-ll.yml EXCEPTION (Failure) 0.07 0.08 None egcd3-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.07 None egcd3-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None egcd3-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None egcd3-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None egcd3-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None egcd3-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.07 None egcd3-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None elimination_max.yml EXCEPTION (Failure) 0.07 0.07 None eq1.yml EXCEPTION (Failure) 0.07 0.07 None eq2.yml EXCEPTION (Failure) 0.07 0.07 None eureka_01-2.yml EXCEPTION (Failure) 0.06 0.07 None eureka_05.yml EXCEPTION (Failure) 0.07 0.07 None even.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None fermat1-ll_valuebound5.yml EXCEPTION (Failure) 0.08 0.08 None fermat1-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.07 None fermat2-ll.yml EXCEPTION (Failure) 0.07 0.07 None fermat2-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None fermat2-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None fermat2-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None fermat2-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None fermat2-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None fermat2-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None fermat2-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None for_infinite_loop_1.yml EXCEPTION (Failure) 0.06 0.06 None for_infinite_loop_2.yml EXCEPTION (Failure) 0.07 0.07 None fragtest_simple.yml EXCEPTION (Failure) 0.06 0.06 None freire1_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None freire1_valuebound10.yml EXCEPTION (Failure) 0.06 0.07 None freire1_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None freire1_valuebound2.yml EXCEPTION (Failure) 0.06 0.07 None freire1_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None freire1_valuebound5.yml EXCEPTION (Failure) 0.08 0.08 None freire1_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None functions_1-1.yml EXCEPTION (Failure) 0.07 0.07 None gauss_sum.i.p+cfa-reducer.yml EXCEPTION (Failure) 0.07 0.07 None gauss_sum.i.p+lhb-reducer.yml EXCEPTION (Failure) 0.06 0.06 None gauss_sum.i.v+cfa-reducer.yml EXCEPTION (Failure) 0.06 0.07 None gauss_sum.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll_unwindbound1.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_unwindbound10.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll_unwindbound100.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_unwindbound20.yml EXCEPTION (Failure) 0.06 0.07 None geo1-ll_unwindbound5.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_unwindbound50.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None geo1-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None geo1-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.07 None geo1-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.07 None geo2-ll.yml EXCEPTION (Failure) 0.06 0.06 None geo2-ll_unwindbound1.yml EXCEPTION (Failure) 0.06 0.07 None geo2-ll_unwindbound10.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None geo2-ll_unwindbound20.yml EXCEPTION (Failure) 0.06 0.06 None geo2-ll_unwindbound5.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_unwindbound50.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.07 None geo2-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None geo2-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.08 None geo3-ll.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_unwindbound10.yml EXCEPTION (Failure) 0.06 0.07 None geo3-ll_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_unwindbound2.yml EXCEPTION (Failure) 0.06 0.07 None geo3-ll_unwindbound20.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_unwindbound5.yml EXCEPTION (Failure) 0.06 0.07 None geo3-ll_unwindbound50.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None geo3-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None geo3-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None geo3-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None geo3-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None gj2007.c.i.p+lhb-reducer.yml EXCEPTION (Failure) 0.06 0.06 None gj2007.c.i.p+nlh-reducer.yml EXCEPTION (Failure) 0.07 0.08 None gj2007.yml EXCEPTION (Failure) 0.07 0.07 None gj2007b.yml EXCEPTION (Failure) 0.07 0.07 None gr2006.yml EXCEPTION (Failure) 0.07 0.07 None gsv2008.c.i.p+cfa-reducer.yml EXCEPTION (Failure) 0.06 0.06 None gsv2008.c.i.v+cfa-reducer.yml EXCEPTION (Failure) 0.06 0.06 None gsv2008.c.i.v+lhb-reducer.yml EXCEPTION (Failure) 0.07 0.07 None gsv2008.yml EXCEPTION (Failure) 0.07 0.07 None half.yml EXCEPTION (Failure) 0.07 0.07 None half_2.yml EXCEPTION (Failure) 0.06 0.06 None hard-ll.yml EXCEPTION (Failure) 0.07 0.07 None hard-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None hard-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None hard-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None hard-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None hard-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None hard-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None hard-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None hard-u_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None hard-u_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None hard-u_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None hard-u_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None hard-u_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None hard-u_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None hard-u_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None hard2.yml EXCEPTION (Failure) 0.08 0.08 None hard2_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None hard2_valuebound10.yml EXCEPTION (Failure) 0.06 0.07 None hard2_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None hard2_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None hard2_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None hard2_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None hard2_valuebound50.yml EXCEPTION (Failure) 0.06 0.07 None heapsort.yml EXCEPTION (Failure) 0.06 0.07 None heavy-2.yml EXCEPTION (Failure) 0.06 0.07 None hhk2008.yml EXCEPTION (Failure) 0.06 0.06 None id_build.i.p+nlh-reducer.yml EXCEPTION (Failure) 0.09 0.09 None id_build.i.p+sep-reducer.yml EXCEPTION (Failure) 0.08 0.09 None id_build.i.v+lhb-reducer.yml EXCEPTION (Failure) 0.06 0.07 None id_build.yml EXCEPTION (Failure) 0.07 0.07 None iftelse.yml EXCEPTION (Failure) 0.06 0.06 None in-de20.yml EXCEPTION (Failure) 0.06 0.06 None in-de31.yml EXCEPTION (Failure) 0.07 0.07 None in-de32.yml EXCEPTION (Failure) 0.07 0.07 None in-de41.yml EXCEPTION (Failure) 0.06 0.07 None in-de42.yml EXCEPTION (Failure) 0.07 0.07 None in-de51.yml EXCEPTION (Failure) 0.06 0.06 None in-de52.yml EXCEPTION (Failure) 0.06 0.06 None in-de61.yml EXCEPTION (Failure) 0.07 0.07 None in-de62.yml EXCEPTION (Failure) 0.07 0.07 None insertion_sort-2.yml EXCEPTION (Failure) 0.06 0.06 None invert_string-3.yml EXCEPTION (Failure) 0.07 0.07 None jm2006.c.i.v+cfa-reducer.yml EXCEPTION (Failure) 0.06 0.07 None jm2006.yml EXCEPTION (Failure) 0.07 0.07 None jm2006_variant.yml EXCEPTION (Failure) 0.06 0.06 None knuth.yml EXCEPTION (Failure) 0.06 0.06 None knuth_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None knuth_unwindbound10.yml EXCEPTION (Failure) 0.06 0.06 None knuth_unwindbound100.yml EXCEPTION (Failure) 0.06 0.07 None knuth_unwindbound2.yml EXCEPTION (Failure) 0.07 0.07 None knuth_unwindbound20.yml EXCEPTION (Failure) 0.08 0.08 None knuth_unwindbound5.yml EXCEPTION (Failure) 0.06 0.06 None knuth_unwindbound50.yml EXCEPTION (Failure) 0.06 0.07 None knuth_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None knuth_valuebound10.yml EXCEPTION (Failure) 0.06 0.07 None knuth_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None knuth_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None knuth_valuebound20.yml EXCEPTION (Failure) 0.06 0.07 None knuth_valuebound5.yml EXCEPTION (Failure) 0.08 0.08 None knuth_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None large_const.yml EXCEPTION (Failure) 0.06 0.07 None lcm1.yml EXCEPTION (Failure) 0.06 0.07 None lcm1_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None lcm1_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None lcm1_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None lcm1_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None lcm1_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None lcm1_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None lcm1_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None lcm2.yml EXCEPTION (Failure) 0.06 0.07 None lcm2_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_unwindbound10.yml EXCEPTION (Failure) 0.06 0.07 None lcm2_unwindbound100.yml EXCEPTION (Failure) 0.08 0.08 None lcm2_unwindbound2.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_unwindbound20.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_unwindbound5.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_unwindbound50.yml EXCEPTION (Failure) 0.06 0.06 None lcm2_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None lcm2_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None lcm2_valuebound5.yml EXCEPTION (Failure) 0.06 0.07 None lcm2_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None lcp.yml EXCEPTION (Failure) 0.07 0.07 None linear-inequality-inv-a.yml EXCEPTION (Failure) 0.06 0.06 None linear_sea.ch.yml EXCEPTION (Failure) 0.06 0.06 None loopv1.yml EXCEPTION (Failure) 0.06 0.07 None loopv2.yml EXCEPTION (Failure) 0.06 0.06 None loopv3.yml EXCEPTION (Failure) 0.06 0.06 None lu.cmp.yml EXCEPTION (Failure) 0.07 0.07 None mannadiv_valuebound2.yml EXCEPTION (Failure) 0.06 0.07 None matrix-1.yml EXCEPTION (Failure) 0.06 0.06 None mcmillan2006.yml EXCEPTION (Failure) 0.06 0.07 None mod3.c.v+cfa-reducer.yml EXCEPTION (Failure) 0.06 0.06 None mod3.c.v+lhb-reducer.yml EXCEPTION (Failure) 0.07 0.07 None mod3.c.v+sep-reducer.yml EXCEPTION (Failure) 0.07 0.07 None mod3.yml EXCEPTION (Failure) 0.07 0.07 None mod4.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_1.yml EXCEPTION (Failure) 0.07 0.07 None mono-crafted_10.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_11.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_12.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_13.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_14.yml EXCEPTION (Failure) 0.07 0.07 None mono-crafted_3.yml EXCEPTION (Failure) 0.07 0.07 None mono-crafted_6.yml EXCEPTION (Failure) 0.06 0.07 None mono-crafted_7.yml EXCEPTION (Failure) 0.06 0.07 None mono-crafted_8.yml EXCEPTION (Failure) 0.06 0.06 None mono-crafted_9.yml EXCEPTION (Failure) 0.06 0.06 None multivar_1-1.yml EXCEPTION (Failure) 0.07 0.07 None n.c11.yml EXCEPTION (Failure) 0.06 0.07 None n.c40.yml EXCEPTION (Failure) 0.06 0.06 None nec40.yml EXCEPTION (Failure) 0.07 0.07 None nest-if3.yml EXCEPTION (Failure) 0.06 0.06 None nested-1.yml EXCEPTION (Failure) 0.06 0.07 None nested-3.yml EXCEPTION (Failure) 0.06 0.06 None nested3-1.yml EXCEPTION (Failure) 0.06 0.06 None nested5-1.yml EXCEPTION (Failure) 0.07 0.07 None nested6.yml EXCEPTION (Failure) 0.06 0.06 None nested9.yml EXCEPTION (Failure) 0.07 0.07 None nested_1-1.yml EXCEPTION (Failure) 0.06 0.06 None nested_1.yml EXCEPTION (Failure) 0.06 0.07 None nested_2.yml EXCEPTION (Failure) 0.07 0.07 None nested_3.yml EXCEPTION (Failure) 0.08 0.08 None nested_4.yml EXCEPTION (Failure) 0.07 0.07 None nested_5.yml EXCEPTION (Failure) 0.06 0.06 None nested_6.yml EXCEPTION (Failure) 0.07 0.07 None nested_delay_nd.yml EXCEPTION (Failure) 0.07 0.07 None net_reset.yml EXCEPTION (Failure) 0.07 0.07 None odd.yml EXCEPTION (Failure) 0.06 0.07 None ofuf_1.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_2.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_3.yml EXCEPTION (Failure) 0.07 0.08 None ofuf_4.yml EXCEPTION (Failure) 0.07 0.07 None ofuf_5.yml EXCEPTION (Failure) 0.07 0.07 None overflow_1-1.yml EXCEPTION (Failure) 0.07 0.07 None phases_1-1.yml EXCEPTION (Failure) 0.07 0.07 None phases_2-2.yml EXCEPTION (Failure) 0.06 0.06 None prefixsum_iter.yml EXCEPTION (Failure) 0.06 0.06 None prod4br-ll.yml EXCEPTION (Failure) 0.06 0.06 None prod4br-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None prod4br-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.07 None prod4br-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None prod4br-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None prod4br-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None prod4br-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.08 None prod4br-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None prodbin-ll.yml EXCEPTION (Failure) 0.06 0.06 None prodbin-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.07 None prodbin-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None prodbin-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None prodbin-ll_valuebound2.yml EXCEPTION (Failure) 0.07 0.07 None prodbin-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None prodbin-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None prodbin-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None ps2-ll.yml EXCEPTION (Failure) 0.06 0.06 None ps2-ll_unwindbound1.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_unwindbound10.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_unwindbound2.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_unwindbound20.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_unwindbound5.yml EXCEPTION (Failure) 0.06 0.06 None ps2-ll_unwindbound50.yml EXCEPTION (Failure) 0.06 0.07 None ps2-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.07 None ps2-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None ps2-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.07 None ps2-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None ps2-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_unwindbound1.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_unwindbound10.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_unwindbound100.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_unwindbound2.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_unwindbound20.yml EXCEPTION (Failure) 0.06 0.07 None ps3-ll_unwindbound5.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_unwindbound50.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None ps3-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_valuebound5.yml EXCEPTION (Failure) 0.07 0.07 None ps3-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None ps4-ll.yml EXCEPTION (Failure) 0.07 0.07 None ps4-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None ps4-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None ps4-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None ps4-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None ps4-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None ps4-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None ps4-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.06 None ps5-ll.yml EXCEPTION (Failure) 0.07 0.07 None ps5-ll_valuebound1.yml EXCEPTION (Failure) 0.07 0.07 None ps5-ll_valuebound10.yml EXCEPTION (Failure) 0.06 0.06 None ps5-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None ps5-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None ps5-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None ps5-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None ps5-ll_valuebound50.yml EXCEPTION (Failure) 0.07 0.07 None ps6-ll.yml EXCEPTION (Failure) 0.07 0.08 None ps6-ll_valuebound1.yml EXCEPTION (Failure) 0.08 0.09 None ps6-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.09 None ps6-ll_valuebound100.yml EXCEPTION (Failure) 0.06 0.06 None ps6-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None ps6-ll_valuebound20.yml EXCEPTION (Failure) 0.07 0.07 None ps6-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.07 None ps6-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.07 None sendmail-close-angle.yml EXCEPTION (Failure) 0.07 0.07 None seq-3.yml EXCEPTION (Failure) 0.07 0.07 None simple_1-2.yml EXCEPTION (Failure) 0.06 0.06 None simple_2-1.yml EXCEPTION (Failure) 0.07 0.07 None simple_3-2.yml EXCEPTION (Failure) 0.07 0.07 None simple_4-2.yml EXCEPTION (Failure) 0.07 0.07 None simple_array_index_value_1-1.yml EXCEPTION (Failure) 0.06 0.06 None simple_array_index_value_2.yml EXCEPTION (Failure) 0.07 0.07 None simple_array_index_value_3.yml EXCEPTION (Failure) 0.06 0.06 None simple_vardep_1.yml EXCEPTION (Failure) 0.07 0.07 None simple_vardep_2.yml EXCEPTION (Failure) 0.08 0.08 None sqrt1-ll.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_unwindbound1.yml EXCEPTION (Failure) 0.06 0.07 None sqrt1-ll_unwindbound10.yml EXCEPTION (Failure) 0.07 0.07 None sqrt1-ll_unwindbound100.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_unwindbound2.yml EXCEPTION (Failure) 0.06 0.07 None sqrt1-ll_unwindbound20.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_unwindbound5.yml EXCEPTION (Failure) 0.06 0.07 None sqrt1-ll_unwindbound50.yml EXCEPTION (Failure) 0.07 0.07 None sqrt1-ll_valuebound1.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_valuebound10.yml EXCEPTION (Failure) 0.07 0.07 None sqrt1-ll_valuebound100.yml EXCEPTION (Failure) 0.07 0.07 None sqrt1-ll_valuebound2.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_valuebound20.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_valuebound5.yml EXCEPTION (Failure) 0.06 0.06 None sqrt1-ll_valuebound50.yml EXCEPTION (Failure) 0.06 0.07 None string-1.yml EXCEPTION (Failure) 0.06 0.07 None string_concat-noarr.yml EXCEPTION (Failure) 0.07 0.07 None sum01-2.yml EXCEPTION (Failure) 0.06 0.06 None sum03-2.yml EXCEPTION (Failure) 0.07 0.07 None sum04-2.yml EXCEPTION (Failure) 0.07 0.07 None sum_array-2.yml EXCEPTION (Failure) 0.06 0.06 None sum_by_3.yml EXCEPTION (Failure) 0.06 0.07 None sum_natnum.yml EXCEPTION (Failure) 0.06 0.06 None sumt2.yml EXCEPTION (Failure) 0.06 0.06 None sumt3.yml EXCEPTION (Failure) 0.07 0.07 None sumt4.yml EXCEPTION (Failure) 0.06 0.06 None sumt5.yml EXCEPTION (Failure) 0.06 0.07 None sumt6.yml EXCEPTION (Failure) 0.06 0.06 None sumt7.yml EXCEPTION (Failure) 0.07 0.07 None sumt8.yml EXCEPTION (Failure) 0.06 0.06 None sumt9.yml EXCEPTION (Failure) 0.07 0.07 None terminator_02-2.yml EXCEPTION (Failure) 0.06 0.06 None terminator_03-2.yml EXCEPTION (Failure) 0.06 0.07 None theatreSquare.yml EXCEPTION (Failure) 0.06 0.07 None trex01-2.yml EXCEPTION (Failure) 0.06 0.07 None trex02-1.yml EXCEPTION (Failure) 0.06 0.06 None trex03-2.yml EXCEPTION (Failure) 0.06 0.07 None trex04.yml EXCEPTION (Failure) 0.06 0.06 None underapprox_1-2.yml EXCEPTION (Failure) 0.06 0.06 None underapprox_2-2.yml EXCEPTION (Failure) 0.07 0.07 None up.yml EXCEPTION (Failure) 0.06 0.06 None veris.c_NetBSD-libc_loop.yml EXCEPTION (Failure) 0.06 0.07 None veris.c_OpenSER_cases1_stripFullBoth_arr.yml EXCEPTION (Failure) 0.06 0.06 None veris.c_sendmail_tTflag_arr_one_loop.yml EXCEPTION (Failure) 0.07 0.07 None vnew1.yml EXCEPTION (Failure) 0.06 0.06 None vnew2.yml EXCEPTION (Failure) 0.07 0.07 None vogal-1.yml EXCEPTION (Failure) 0.07 0.07 None watermelon.yml EXCEPTION (Failure) 0.07 0.07 None while_infinite_loop_1.yml EXCEPTION (Failure) 0.07 0.07 None while_infinite_loop_2.yml EXCEPTION (Failure) 0.07 0.07 None while_infinite_loop_3.yml EXCEPTION (Failure) 0.06 0.06 None ------------------------------------------------------------------------------------------------------------- Run set 2 done 46.03 36.24 - Statistics: 1050 Files correct: 23 correct true: 23 correct false: 0 incorrect: 63 incorrect true: 0 incorrect false: 63 unknown: 964 Score: -962 (max: 2100)