BENCHMARK INFORMATION benchmark definition: ourtool.xml name: ourtool run sets: ourtool date: Fri, 2023-02-03 08:10:40 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.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --enable witness.enabled 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 Run set 1 of 1 with options '--conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set ana.activated[+] apron --set ana.apron.domain polyhedra --enable witness.enabled' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- MADWiFi-encode_ie_ok.yml true 0.18 0.44 None Mono1_1-2.yml unknown 0.11 0.37 None NetBSD_loop.yml true 0.14 0.37 None SpamAssassin-loop.i.v+cfa-reducer.yml true 2.78 3.03 None SpamAssassin-loop.yml true 0.56 0.58 None afnp2014.yml unknown 0.10 0.10 None aiob_1.yml unknown 1.31 1.34 None aiob_2.yml unknown 1.31 1.35 None aiob_3.yml unknown 1.33 1.34 None aiob_4.c.v+cfa-reducer.yml unknown 1.61 1.62 None aiob_4.c.v+lh-reducer.yml unknown 1.69 1.71 None aiob_4.c.v+lhb-reducer.yml unknown 354.90 354.94 None aiob_4.c.v+nlh-reducer.yml OUT OF MEMORY 15.65 15.67 None aiob_4.yml unknown 1.18 1.20 None apache-escape-absolute.i.v+cfa-reducer.yml unknown 2.25 2.26 None apache-escape-absolute.yml unknown 0.47 0.47 None apache-get-tag.i.p+lhb-reducer.yml true 31.67 31.70 None apache-get-tag.i.p+nlh-reducer.yml OUT OF MEMORY 512.89 513.09 None apache-get-tag.i.p+sep-reducer.yml OUT OF MEMORY 410.84 411.01 None apache-get-tag.i.v+lhb-reducer.yml true 1.90 1.92 None apache-get-tag.i.v+nlh-reducer.yml true 1.68 1.70 None apache-get-tag.yml true 0.27 0.29 None array-1.yml unknown 0.11 0.14 None array_1-2.yml unknown 0.09 0.12 None array_2-2-simple.yml unknown 0.13 0.15 None array_2-2.yml unknown 0.12 0.14 None array_3-1.yml true 0.10 0.12 None array_4.yml unknown 0.11 0.12 None benchmark02_linear.yml true 0.10 0.12 None benchmark04_conjunctive.yml true 0.11 0.12 None benchmark05_conjunctive.yml unknown 0.12 0.14 None benchmark09_conjunctive.yml true 0.11 0.12 None benchmark10_conjunctive.yml true 0.11 0.12 None benchmark11_linear.yml unknown 0.10 0.12 None benchmark14_linear.yml true 0.10 0.13 None benchmark17_conjunctive.yml true 0.11 0.11 None benchmark18_conjunctive.yml unknown 0.12 0.14 None benchmark19_conjunctive.yml unknown 0.12 0.14 None benchmark20_conjunctive.yml true 0.12 0.14 None benchmark23_conjunctive.yml true 0.10 0.13 None benchmark25_linear.yml true 0.09 0.12 None benchmark26_linear.yml unknown 0.10 0.12 None benchmark32_linear.yml true 0.11 0.14 None benchmark33_linear.yml true 0.09 0.11 None benchmark34_conjunctive.yml unknown 0.12 0.13 None benchmark35_linear.yml true 0.11 0.11 None benchmark37_conjunctive.yml true 0.11 0.11 None benchmark43_conjunctive.yml unknown 0.12 0.14 None benchmark51_polynomial.yml true 0.11 0.13 None benchmark52_polynomial.yml unknown 0.10 0.13 None bhmr2007.yml true 0.13 0.13 None bin-suffix-5.yml unknown 0.08 0.09 None bresenham-ll.yml unknown 0.16 0.16 None bresenham-ll_valuebound1.yml unknown 0.21 0.23 None bresenham-ll_valuebound10.yml unknown 0.20 0.21 None bresenham-ll_valuebound100.yml unknown 0.21 0.23 None bresenham-ll_valuebound2.yml unknown 0.21 0.26 None bresenham-ll_valuebound20.yml unknown 0.21 0.22 None bresenham-ll_valuebound5.yml unknown 0.21 0.23 None bresenham-ll_valuebound50.yml unknown 0.22 0.23 None bubble_sort-1.yml true 0.26 0.27 None cggmp2005.yml true 0.09 0.09 None cggmp2005_variant.yml unknown 0.11 0.12 None cggmp2005b.yml true 0.13 0.15 None cohencu-ll.yml unknown 0.43 0.44 None cohencu-ll_valuebound1.yml unknown 0.48 0.48 None cohencu-ll_valuebound10.yml unknown 0.50 0.52 None cohencu-ll_valuebound100.yml unknown 0.49 0.49 None cohencu-ll_valuebound2.yml unknown 0.48 0.50 None cohencu-ll_valuebound20.yml unknown 0.48 0.50 None cohencu-ll_valuebound5.yml unknown 0.48 0.50 None cohencu-ll_valuebound50.yml unknown 0.47 0.51 None cohendiv-ll.yml unknown 0.24 0.27 None cohendiv-ll_unwindbound1.yml unknown 0.16 0.18 None cohendiv-ll_unwindbound10.yml unknown 0.34 0.36 None cohendiv-ll_unwindbound100.yml unknown 0.32 0.34 None cohendiv-ll_unwindbound2.yml unknown 0.34 0.36 None cohendiv-ll_unwindbound20.yml unknown 0.33 0.35 None cohendiv-ll_unwindbound5.yml unknown 0.33 0.36 None cohendiv-ll_unwindbound50.yml unknown 0.34 0.35 None cohendiv-ll_valuebound1.yml unknown 0.29 0.31 None cohendiv-ll_valuebound10.yml unknown 0.30 0.31 None cohendiv-ll_valuebound100.yml unknown 0.31 0.32 None cohendiv-ll_valuebound2.yml unknown 0.30 0.31 None cohendiv-ll_valuebound20.yml unknown 0.31 0.34 None cohendiv-ll_valuebound5.yml unknown 0.29 0.31 None cohendiv-ll_valuebound50.yml unknown 0.30 0.32 None const.yml true 0.12 0.15 None const_1-1.yml true 0.10 0.15 None count_by_1.yml true 0.09 0.11 None count_by_1_variant.yml unknown 0.09 0.11 None count_by_2.yml unknown 0.09 0.11 None count_by_k.yml unknown 0.10 0.11 None count_by_nondet.yml unknown 0.11 0.12 None count_up_down-1.yml true 0.10 0.11 None css2003.yml unknown 0.13 0.13 None ddlm2013.yml unknown 0.13 0.16 None diamond_1-1.yml unknown 0.10 0.10 None diamond_2-2.yml unknown 0.13 0.15 None dijkstra-u.yml unknown 3.68 3.72 None dijkstra-u_unwindbound1.yml true 0.18 0.24 None dijkstra-u_unwindbound2.yml unknown 0.43 0.49 None dijkstra-u_valuebound1.yml unknown 4.20 4.23 None dijkstra-u_valuebound10.yml unknown 4.08 4.09 None dijkstra-u_valuebound100.yml unknown 4.15 4.16 None dijkstra-u_valuebound2.yml unknown 4.11 4.15 None dijkstra-u_valuebound20.yml unknown 4.13 4.14 None dijkstra-u_valuebound5.yml unknown 4.19 4.22 None dijkstra-u_valuebound50.yml unknown 4.13 4.17 None discover_list.yml unknown 1.80 1.83 None divbin2.yml unknown 0.14 0.16 None divbin2_unwindbound1.yml true 0.13 0.13 None divbin2_unwindbound10.yml unknown 0.21 0.21 None divbin2_unwindbound100.yml unknown 0.19 0.19 None divbin2_unwindbound2.yml unknown 0.19 0.20 None divbin2_unwindbound20.yml unknown 0.19 0.19 None divbin2_unwindbound5.yml unknown 0.19 0.22 None divbin2_unwindbound50.yml unknown 0.18 0.19 None divbin2_valuebound1.yml unknown 0.17 0.20 None divbin2_valuebound10.yml unknown 0.17 0.17 None divbin2_valuebound100.yml unknown 0.17 0.18 None divbin2_valuebound2.yml unknown 0.17 0.17 None divbin2_valuebound20.yml unknown 0.18 0.19 None divbin2_valuebound5.yml unknown 0.17 0.18 None divbin2_valuebound50.yml unknown 0.18 0.20 None divbin_unwindbound1.yml true 0.15 0.15 None divbin_unwindbound2.yml unknown 0.21 0.21 None divbin_unwindbound5.yml unknown 0.25 0.25 None divbin_valuebound1.yml unknown 0.30 0.32 None divbin_valuebound10.yml unknown 0.30 0.31 None divbin_valuebound100.yml unknown 0.29 0.29 None divbin_valuebound2.yml unknown 0.30 0.32 None divbin_valuebound20.yml unknown 0.28 0.28 None divbin_valuebound5.yml unknown 0.28 0.28 None divbin_valuebound50.yml unknown 0.27 0.27 None down.yml true 0.11 0.11 None egcd-ll.yml unknown 0.24 0.24 None egcd-ll_valuebound1.yml unknown 0.32 0.34 None egcd-ll_valuebound10.yml unknown 0.33 0.35 None egcd-ll_valuebound100.yml unknown 0.31 0.31 None egcd-ll_valuebound2.yml unknown 0.31 0.31 None egcd-ll_valuebound20.yml unknown 0.32 0.33 None egcd-ll_valuebound5.yml unknown 0.32 0.34 None egcd-ll_valuebound50.yml unknown 0.31 0.33 None egcd2-ll.yml unknown 0.42 0.42 None egcd2-ll_valuebound1.yml unknown 0.53 0.53 None egcd2-ll_valuebound10.yml unknown 0.53 0.53 None egcd2-ll_valuebound100.yml unknown 0.56 0.58 None egcd2-ll_valuebound2.yml unknown 0.55 0.55 None egcd2-ll_valuebound20.yml unknown 0.56 0.56 None egcd2-ll_valuebound5.yml unknown 0.57 0.58 None egcd2-ll_valuebound50.yml unknown 0.56 0.58 None egcd3-ll.yml unknown 0.64 0.66 None egcd3-ll_valuebound1.yml unknown 0.86 0.86 None egcd3-ll_valuebound10.yml unknown 0.81 0.83 None egcd3-ll_valuebound100.yml unknown 0.79 0.80 None egcd3-ll_valuebound2.yml unknown 0.81 0.81 None egcd3-ll_valuebound20.yml unknown 0.81 0.81 None egcd3-ll_valuebound5.yml unknown 0.81 0.81 None egcd3-ll_valuebound50.yml unknown 0.79 0.79 None elimination_max.yml true 0.15 0.17 None eq1.yml unknown 0.17 0.17 None eq2.yml unknown 0.11 0.13 None eureka_01-2.yml true 0.50 0.50 None eureka_05.yml unknown 0.17 0.17 None even.yml unknown 0.09 0.09 None fermat1-ll.yml unknown 0.24 0.26 None fermat1-ll_valuebound1.yml unknown 0.30 0.30 None fermat1-ll_valuebound10.yml unknown 0.29 0.30 None fermat1-ll_valuebound100.yml unknown 0.30 0.32 None fermat1-ll_valuebound2.yml unknown 0.29 0.29 None fermat1-ll_valuebound20.yml unknown 0.28 0.29 None fermat1-ll_valuebound5.yml unknown 0.31 0.39 None fermat1-ll_valuebound50.yml unknown 0.29 0.30 None fermat2-ll.yml unknown 0.14 0.15 None fermat2-ll_valuebound1.yml unknown 0.17 0.18 None fermat2-ll_valuebound10.yml unknown 0.18 0.18 None fermat2-ll_valuebound100.yml unknown 0.18 0.18 None fermat2-ll_valuebound2.yml unknown 0.18 0.18 None fermat2-ll_valuebound20.yml unknown 0.18 0.18 None fermat2-ll_valuebound5.yml unknown 0.18 0.18 None fermat2-ll_valuebound50.yml unknown 0.17 0.18 None for_infinite_loop_1.yml true 0.09 0.09 None for_infinite_loop_2.yml true 0.09 0.09 None fragtest_simple.yml unknown 0.16 0.17 None freire1_valuebound1.yml unknown 0.11 0.11 None freire1_valuebound10.yml unknown 0.11 0.11 None freire1_valuebound100.yml unknown 0.11 0.11 None freire1_valuebound2.yml unknown 0.11 0.11 None freire1_valuebound20.yml unknown 0.11 0.11 None freire1_valuebound5.yml unknown 0.11 0.11 None freire1_valuebound50.yml unknown 0.10 0.10 None functions_1-1.yml unknown 0.09 0.09 None gauss_sum.i.p+cfa-reducer.yml unknown 0.11 0.11 None gauss_sum.i.p+lhb-reducer.yml unknown 0.14 0.14 None gauss_sum.i.v+cfa-reducer.yml unknown 0.12 0.12 None gauss_sum.yml unknown 0.10 0.10 None geo1-ll.yml unknown 0.13 0.13 None geo1-ll_unwindbound1.yml unknown 0.13 0.14 None geo1-ll_unwindbound10.yml unknown 0.15 0.15 None geo1-ll_unwindbound100.yml unknown 0.14 0.14 None geo1-ll_unwindbound2.yml unknown 0.14 0.14 None geo1-ll_unwindbound20.yml unknown 0.14 0.14 None geo1-ll_unwindbound5.yml unknown 0.15 0.15 None geo1-ll_unwindbound50.yml unknown 0.15 0.16 None geo1-ll_valuebound1.yml unknown 0.15 0.15 None geo1-ll_valuebound10.yml unknown 0.16 0.16 None geo1-ll_valuebound100.yml unknown 0.16 0.18 None geo1-ll_valuebound2.yml unknown 0.16 0.16 None geo1-ll_valuebound20.yml unknown 0.16 0.16 None geo1-ll_valuebound5.yml unknown 0.17 0.17 None geo1-ll_valuebound50.yml unknown 0.16 0.16 None geo2-ll.yml unknown 0.13 0.13 None geo2-ll_unwindbound1.yml unknown 0.12 0.13 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.14 0.14 None geo2-ll_unwindbound20.yml unknown 0.15 0.15 None geo2-ll_unwindbound5.yml unknown 0.14 0.14 None geo2-ll_unwindbound50.yml unknown 0.14 0.14 None geo2-ll_valuebound1.yml unknown 0.15 0.15 None geo2-ll_valuebound10.yml unknown 0.15 0.15 None geo2-ll_valuebound100.yml unknown 0.14 0.15 None geo2-ll_valuebound2.yml unknown 0.15 0.15 None geo2-ll_valuebound20.yml unknown 0.15 0.15 None geo2-ll_valuebound5.yml unknown 0.15 0.15 None geo2-ll_valuebound50.yml unknown 0.14 0.15 None geo3-ll.yml unknown 0.13 0.13 None geo3-ll_unwindbound1.yml unknown 0.14 0.14 None geo3-ll_unwindbound10.yml unknown 0.16 0.16 None geo3-ll_unwindbound100.yml unknown 0.15 0.15 None geo3-ll_unwindbound2.yml unknown 0.14 0.15 None geo3-ll_unwindbound20.yml unknown 0.15 0.15 None geo3-ll_unwindbound5.yml unknown 0.15 0.15 None geo3-ll_unwindbound50.yml unknown 0.15 0.15 None geo3-ll_valuebound1.yml unknown 0.18 0.19 None geo3-ll_valuebound10.yml unknown 0.19 0.19 None geo3-ll_valuebound100.yml unknown 0.19 0.19 None geo3-ll_valuebound2.yml unknown 0.19 0.19 None geo3-ll_valuebound20.yml unknown 0.20 0.20 None geo3-ll_valuebound5.yml unknown 0.19 0.19 None geo3-ll_valuebound50.yml unknown 0.19 0.19 None gj2007.c.i.p+lhb-reducer.yml unknown 0.13 0.13 None gj2007.c.i.p+nlh-reducer.yml true 0.34 0.36 None gj2007.yml unknown 0.10 0.13 None gj2007b.yml unknown 0.12 0.12 None gr2006.yml unknown 0.10 0.10 None gsv2008.c.i.p+cfa-reducer.yml unknown 0.12 0.14 None gsv2008.c.i.v+cfa-reducer.yml unknown 0.12 0.13 None gsv2008.c.i.v+lhb-reducer.yml unknown 0.13 0.13 None gsv2008.yml unknown 0.10 0.10 None half.yml unknown 0.12 0.12 None half_2.yml unknown 0.12 0.13 None hard-ll.yml unknown 2.10 2.10 None hard-ll_valuebound1.yml unknown 4.70 4.72 None hard-ll_valuebound10.yml unknown 5.37 5.38 None hard-ll_valuebound100.yml unknown 5.30 5.33 None hard-ll_valuebound2.yml unknown 5.21 5.23 None hard-ll_valuebound20.yml unknown 5.20 5.22 None hard-ll_valuebound5.yml unknown 5.27 5.29 None hard-ll_valuebound50.yml unknown 5.33 5.35 None hard-u_valuebound1.yml unknown 0.37 0.37 None hard-u_valuebound10.yml unknown 0.37 0.40 None hard-u_valuebound100.yml unknown 0.39 0.40 None hard-u_valuebound2.yml unknown 0.37 0.39 None hard-u_valuebound20.yml unknown 0.38 0.38 None hard-u_valuebound5.yml unknown 0.38 0.39 None hard-u_valuebound50.yml unknown 0.37 0.37 None hard2.yml unknown 1.05 1.06 None hard2_valuebound1.yml unknown 1.17 1.21 None hard2_valuebound10.yml unknown 1.14 1.17 None hard2_valuebound100.yml unknown 1.13 1.13 None hard2_valuebound2.yml unknown 1.13 1.17 None hard2_valuebound20.yml unknown 1.14 1.16 None hard2_valuebound5.yml unknown 1.11 1.11 None hard2_valuebound50.yml unknown 1.13 1.14 None heapsort.yml true 0.82 0.82 None heavy-2.yml true 0.49 0.49 None hhk2008.yml true 0.12 0.12 None id_build.i.p+nlh-reducer.yml true 216.14 216.29 None id_build.i.p+sep-reducer.yml true 217.97 218.50 None id_build.i.v+lhb-reducer.yml true 0.20 0.20 None id_build.yml true 0.16 0.18 None iftelse.yml unknown 0.12 0.14 None in-de20.yml true 0.12 0.14 None in-de31.yml true 0.13 0.13 None in-de32.yml true 0.14 0.14 None in-de41.yml true 0.15 0.15 None in-de42.yml unknown 0.14 0.16 None in-de51.yml true 0.15 0.17 None in-de52.yml true 0.14 0.14 None in-de61.yml true 0.17 0.18 None in-de62.yml true 0.16 0.16 None insertion_sort-2.yml unknown 0.17 0.18 None invert_string-3.yml unknown 0.15 0.16 None jm2006.c.i.v+cfa-reducer.yml true 0.13 0.14 None jm2006.yml true 0.10 0.10 None jm2006_variant.yml true 0.12 0.12 None knuth.yml unknown 0.42 0.43 None knuth_unwindbound1.yml unknown 0.60 0.60 None knuth_unwindbound10.yml unknown 0.70 0.72 None knuth_unwindbound100.yml unknown 0.69 0.72 None knuth_unwindbound2.yml unknown 0.69 0.69 None knuth_unwindbound20.yml unknown 0.69 0.71 None knuth_unwindbound5.yml unknown 0.69 0.71 None knuth_unwindbound50.yml unknown 0.69 0.69 None knuth_valuebound1.yml unknown 1.35 1.35 None knuth_valuebound10.yml unknown 1.38 1.38 None knuth_valuebound100.yml unknown 1.39 1.39 None knuth_valuebound2.yml unknown 1.37 1.39 None knuth_valuebound20.yml unknown 1.42 1.42 None knuth_valuebound5.yml unknown 1.45 1.47 None knuth_valuebound50.yml unknown 1.41 1.42 None large_const.yml true 0.17 0.17 None lcm1.yml unknown 0.33 0.34 None lcm1_valuebound1.yml unknown 0.77 0.78 None lcm1_valuebound10.yml unknown 0.75 0.77 None lcm1_valuebound100.yml unknown 0.78 0.79 None lcm1_valuebound2.yml unknown 0.73 0.73 None lcm1_valuebound20.yml unknown 0.80 0.80 None lcm1_valuebound5.yml unknown 0.77 0.79 None lcm1_valuebound50.yml unknown 0.78 0.79 None lcm2.yml unknown 0.20 0.22 None lcm2_unwindbound1.yml unknown 0.24 0.24 None lcm2_unwindbound10.yml unknown 0.27 0.27 None lcm2_unwindbound100.yml unknown 0.27 0.28 None lcm2_unwindbound2.yml unknown 0.28 0.28 None lcm2_unwindbound20.yml unknown 0.27 0.29 None lcm2_unwindbound5.yml unknown 0.28 0.30 None lcm2_unwindbound50.yml unknown 0.27 0.29 None lcm2_valuebound1.yml unknown 0.46 0.46 None lcm2_valuebound10.yml unknown 0.53 0.55 None lcm2_valuebound100.yml unknown 0.52 0.54 None lcm2_valuebound2.yml unknown 0.50 0.52 None lcm2_valuebound20.yml unknown 0.52 0.52 None lcm2_valuebound5.yml unknown 0.49 0.50 None lcm2_valuebound50.yml unknown 0.48 0.48 None lcp.yml unknown 0.19 0.19 None linear-inequality-inv-a.yml true 0.13 0.18 None linear_sea.ch.yml unknown 0.14 0.14 None loopv1.yml unknown 0.13 0.13 None loopv2.yml unknown 0.12 0.12 None loopv3.yml unknown 0.13 0.13 None lu.cmp.yml true 0.60 0.62 None mannadiv_valuebound2.yml unknown 0.16 0.18 None matrix-1.yml unknown 0.15 0.15 None mcmillan2006.yml true 0.12 0.18 None mod3.c.v+cfa-reducer.yml unknown 0.14 0.15 None mod3.c.v+lhb-reducer.yml unknown 0.36 0.36 None mod3.c.v+sep-reducer.yml unknown 0.34 0.34 None mod3.yml unknown 0.12 0.12 None mod4.yml unknown 0.09 0.09 None mono-crafted_1.yml unknown 0.12 0.13 None mono-crafted_10.yml unknown 0.10 0.10 None mono-crafted_11.yml unknown 0.10 0.10 None mono-crafted_12.yml unknown 0.11 0.11 None mono-crafted_13.yml unknown 0.12 0.14 None mono-crafted_14.yml unknown 0.12 0.13 None mono-crafted_3.yml unknown 0.12 0.13 None mono-crafted_6.yml unknown 0.12 0.14 None mono-crafted_7.yml unknown 0.12 0.12 None mono-crafted_8.yml unknown 0.11 0.14 None mono-crafted_9.yml unknown 0.11 0.14 None multivar_1-1.yml true 0.09 0.10 None n.c11.yml unknown 0.12 0.14 None n.c40.yml true 0.08 0.08 None nec40.yml true 0.10 0.12 None nest-if3.yml true 0.16 0.17 None nested-1.yml true 0.17 0.17 None nested-3.yml unknown 0.22 0.22 None nested3-1.yml true 0.21 0.31 None nested5-1.yml true 0.42 0.44 None nested6.yml unknown 0.27 0.27 None nested9.yml true 0.26 0.27 None nested_1-1.yml true 0.12 0.12 None nested_1.yml true 0.09 0.10 None nested_2.yml true 0.13 0.13 None nested_3.yml true 0.15 0.15 None nested_4.yml true 0.25 0.26 None nested_5.yml true 0.40 0.42 None nested_6.yml true 0.63 0.64 None nested_delay_nd.yml unknown 0.39 0.41 None net_reset.yml true 0.17 0.17 None odd.yml unknown 0.10 0.11 None ofuf_1.yml OUT OF MEMORY 115.17 115.20 None ofuf_2.yml OUT OF MEMORY 110.57 110.60 None ofuf_3.yml OUT OF MEMORY 114.59 114.61 None ofuf_4.yml OUT OF MEMORY 114.56 114.66 None ofuf_5.yml OUT OF MEMORY 118.50 118.56 None overflow_1-1.yml unknown 0.09 0.11 None phases_1-1.yml unknown 0.09 0.09 None phases_2-2.yml true 0.11 0.12 None prefixsum_iter.yml true 0.27 0.27 None prod4br-ll.yml unknown 0.22 0.23 None prod4br-ll_valuebound1.yml unknown 0.30 0.32 None prod4br-ll_valuebound10.yml unknown 0.29 0.38 None prod4br-ll_valuebound100.yml unknown 0.28 0.28 None prod4br-ll_valuebound2.yml unknown 0.29 0.31 None prod4br-ll_valuebound20.yml unknown 0.28 0.28 None prod4br-ll_valuebound5.yml unknown 0.34 0.35 None prod4br-ll_valuebound50.yml unknown 0.32 0.32 None prodbin-ll.yml unknown 0.13 0.13 None prodbin-ll_valuebound1.yml unknown 0.15 0.16 None prodbin-ll_valuebound10.yml unknown 0.16 0.23 None prodbin-ll_valuebound100.yml unknown 0.15 0.16 None prodbin-ll_valuebound2.yml unknown 0.15 0.15 None prodbin-ll_valuebound20.yml unknown 0.16 0.20 None prodbin-ll_valuebound5.yml unknown 0.16 0.17 None prodbin-ll_valuebound50.yml unknown 0.16 0.16 None ps2-ll.yml unknown 0.12 0.12 None ps2-ll_unwindbound1.yml unknown 0.13 0.18 None ps2-ll_unwindbound10.yml unknown 0.14 0.15 None ps2-ll_unwindbound100.yml unknown 0.14 0.15 None ps2-ll_unwindbound2.yml unknown 0.14 0.14 None ps2-ll_unwindbound20.yml unknown 0.14 0.14 None ps2-ll_unwindbound5.yml unknown 0.14 0.14 None ps2-ll_unwindbound50.yml unknown 0.13 0.14 None ps2-ll_valuebound1.yml unknown 0.13 0.13 None ps2-ll_valuebound10.yml unknown 0.14 0.17 None ps2-ll_valuebound100.yml unknown 0.15 0.17 None ps2-ll_valuebound2.yml unknown 0.13 0.13 None ps2-ll_valuebound20.yml unknown 0.14 0.14 None ps2-ll_valuebound5.yml unknown 0.13 0.15 None ps2-ll_valuebound50.yml unknown 0.13 0.13 None ps3-ll.yml unknown 19.85 19.86 None ps3-ll_unwindbound1.yml unknown 0.16 0.18 None ps3-ll_unwindbound10.yml unknown 0.16 0.16 None ps3-ll_unwindbound100.yml unknown 0.16 0.16 None ps3-ll_unwindbound2.yml unknown 0.18 0.18 None ps3-ll_unwindbound20.yml unknown 0.15 0.15 None ps3-ll_unwindbound5.yml unknown 0.15 0.18 None ps3-ll_unwindbound50.yml unknown 0.14 0.14 None ps3-ll_valuebound1.yml unknown 33.98 33.98 None ps3-ll_valuebound10.yml unknown 33.16 33.16 None ps3-ll_valuebound100.yml unknown 33.29 33.34 None ps3-ll_valuebound2.yml unknown 32.67 32.68 None ps3-ll_valuebound20.yml unknown 33.00 33.01 None ps3-ll_valuebound5.yml unknown 33.34 33.35 None ps3-ll_valuebound50.yml unknown 33.10 33.10 None ps4-ll.yml unknown 17.98 17.99 None ps4-ll_valuebound1.yml unknown 33.94 33.94 None ps4-ll_valuebound10.yml unknown 34.47 34.48 None ps4-ll_valuebound100.yml unknown 34.14 34.18 None ps4-ll_valuebound2.yml unknown 34.04 34.04 None ps4-ll_valuebound20.yml unknown 33.59 33.60 None ps4-ll_valuebound5.yml unknown 33.44 33.45 None ps4-ll_valuebound50.yml unknown 33.38 33.39 None ps5-ll.yml unknown 18.72 18.72 None ps5-ll_valuebound1.yml unknown 35.79 35.79 None ps5-ll_valuebound10.yml unknown 35.16 35.16 None ps5-ll_valuebound100.yml unknown 35.23 35.26 None ps5-ll_valuebound2.yml unknown 35.19 35.19 None ps5-ll_valuebound20.yml unknown 35.70 35.71 None ps5-ll_valuebound5.yml unknown 35.39 35.42 None ps5-ll_valuebound50.yml unknown 35.80 35.83 None ps6-ll.yml unknown 17.66 17.70 None ps6-ll_valuebound1.yml unknown 33.55 33.57 None ps6-ll_valuebound10.yml unknown 34.36 34.37 None ps6-ll_valuebound100.yml unknown 34.58 34.59 None ps6-ll_valuebound2.yml unknown 33.40 33.41 None ps6-ll_valuebound20.yml unknown 33.31 33.33 None ps6-ll_valuebound5.yml unknown 33.37 33.39 None ps6-ll_valuebound50.yml unknown 33.46 33.54 None sendmail-close-angle.yml true 0.19 0.20 None seq-3.yml true 0.15 0.18 None simple_1-2.yml unknown 0.09 0.10 None simple_2-1.yml true 0.09 0.09 None simple_3-2.yml unknown 0.10 0.10 None simple_4-2.yml true 0.10 0.10 None simple_array_index_value_1-1.yml unknown 0.12 0.12 None simple_array_index_value_2.yml unknown 0.12 0.12 None simple_array_index_value_3.yml unknown 0.13 0.14 None simple_vardep_1.yml true 0.10 0.10 None simple_vardep_2.yml true 0.10 0.11 None sqrt1-ll.yml unknown 0.18 0.19 None sqrt1-ll_unwindbound1.yml unknown 0.17 0.17 None sqrt1-ll_unwindbound10.yml unknown 0.18 0.19 None sqrt1-ll_unwindbound100.yml unknown 0.18 0.18 None sqrt1-ll_unwindbound2.yml unknown 0.19 0.19 None sqrt1-ll_unwindbound20.yml unknown 0.19 0.20 None sqrt1-ll_unwindbound5.yml unknown 0.18 0.18 None sqrt1-ll_unwindbound50.yml unknown 0.18 0.19 None sqrt1-ll_valuebound1.yml unknown 0.18 0.18 None sqrt1-ll_valuebound10.yml unknown 0.17 0.17 None sqrt1-ll_valuebound100.yml unknown 0.18 0.19 None sqrt1-ll_valuebound2.yml unknown 0.19 0.22 None sqrt1-ll_valuebound20.yml unknown 0.18 0.18 None sqrt1-ll_valuebound5.yml unknown 0.17 0.18 None sqrt1-ll_valuebound50.yml unknown 0.18 0.18 None string-1.yml true 0.20 0.20 None string_concat-noarr.yml true 0.12 0.12 None sum01-2.yml unknown 0.11 0.11 None sum03-2.yml unknown 0.13 0.13 None sum04-2.yml true 0.09 0.11 None sum_array-2.yml unknown 0.15 0.15 None sum_by_3.yml unknown 0.12 0.12 None sum_natnum.yml unknown 0.10 0.12 None sumt2.yml true 0.12 0.12 None sumt3.yml true 0.13 0.13 None sumt4.yml true 0.15 0.17 None sumt5.yml unknown 0.15 0.15 None sumt6.yml unknown 0.17 0.17 None sumt7.yml unknown 0.22 0.23 None sumt8.yml unknown 0.30 0.31 None sumt9.yml unknown 0.42 0.43 None terminator_02-2.yml unknown 0.18 0.18 None terminator_03-2.yml unknown 0.14 0.17 None theatreSquare.yml unknown 0.31 0.31 None trex01-2.yml true 2.09 2.11 None trex02-1.yml true 0.11 0.13 None trex03-2.yml unknown 6.92 6.96 None trex04.yml true 0.20 0.20 None underapprox_1-2.yml unknown 0.09 0.11 None underapprox_2-2.yml true 0.09 0.09 None up.yml true 0.11 0.12 None veris.c_NetBSD-libc_loop.yml unknown 0.10 0.10 None veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 0.27 0.29 None veris.c_sendmail_tTflag_arr_one_loop.yml true 0.12 0.12 None vnew1.yml unknown 0.12 0.14 None vnew2.yml unknown 0.12 0.12 None vogal-1.yml unknown 0.35 0.35 None watermelon.yml unknown 0.14 0.15 None while_infinite_loop_1.yml true 0.07 0.09 None while_infinite_loop_2.yml true 0.08 0.10 None while_infinite_loop_3.yml true 0.09 0.10 None ------------------------------------------------------------------------------------------------------------- Run set 1 done 3588.99 925.30 - Statistics: 525 Files correct: 102 correct true: 102 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 423 Score: 204 (max: 1050)