BENCHMARK INFORMATION benchmark definition: convert.xml name: convert run sets: ourtool date: Wed, 2023-02-15 09:27:41 UTC tool: CPAchecker 2.2 tool executable: /mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../CPAchecker-2.2-unix/scripts/cpa.sh options: -heap 10000M -timelimit 900s -witness2invariant -skipRecursion 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 '-heap 10000M -timelimit 900s -witness2invariant -skipRecursion -setprop invariantStore.witness=/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../results/st-cross-self2/ourtool.2023-02-15_09-12-33.files/${rundefinition_name}/${taskdef_name}/witness.graphml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- MADWiFi-encode_ie_ok.yml done 5.09 7.00 None Mono1_1-2.yml ERROR 4.23 6.10 None NetBSD_loop.yml done 4.68 6.50 None SpamAssassin-loop.i.v+cfa-reducer.yml done 5.72 7.43 None SpamAssassin-loop.yml done 5.21 5.25 None afnp2014.yml ERROR 3.99 4.02 None aiob_1.yml ERROR 4.64 4.67 None aiob_2.yml ERROR 4.59 4.62 None aiob_3.yml ERROR 4.53 4.56 None aiob_4.c.v+cfa-reducer.yml ERROR 4.48 4.50 None aiob_4.c.v+lh-reducer.yml ERROR 4.54 4.56 None aiob_4.c.v+lhb-reducer.yml ERROR 4.98 5.00 None aiob_4.c.v+nlh-reducer.yml ERROR 4.21 4.26 None aiob_4.yml ERROR 4.39 4.41 None apache-escape-absolute.i.v+cfa-reducer.yml ERROR 4.66 4.69 None apache-escape-absolute.yml ERROR 4.35 4.39 None apache-get-tag.i.p+lhb-reducer.yml done 7.39 7.44 None apache-get-tag.i.p+nlh-reducer.yml ERROR 4.71 4.73 None apache-get-tag.i.p+sep-reducer.yml ERROR 5.67 5.70 None apache-get-tag.i.v+lhb-reducer.yml done 5.71 5.73 None apache-get-tag.i.v+nlh-reducer.yml done 5.59 5.62 None apache-get-tag.yml done 4.90 4.93 None array-1.yml ERROR 4.06 4.08 None array_1-2.yml ERROR 3.96 3.98 None array_2-2-simple.yml ERROR 4.13 4.19 None array_2-2.yml ERROR 4.01 4.04 None array_3-1.yml done 4.56 4.61 None array_4.yml ERROR 3.96 3.99 None benchmark02_linear.yml done 4.31 4.35 None benchmark04_conjunctive.yml done 4.48 4.51 None benchmark05_conjunctive.yml ERROR 4.12 4.15 None benchmark09_conjunctive.yml done 4.21 4.23 None benchmark10_conjunctive.yml done 4.27 4.31 None benchmark11_linear.yml ERROR 3.99 4.02 None benchmark14_linear.yml done 4.16 4.18 None benchmark17_conjunctive.yml done 4.20 4.22 None benchmark18_conjunctive.yml ERROR 4.10 4.13 None benchmark19_conjunctive.yml ERROR 4.00 4.01 None benchmark20_conjunctive.yml done 4.23 4.26 None benchmark23_conjunctive.yml done 4.29 4.31 None benchmark25_linear.yml done 4.07 4.11 None benchmark26_linear.yml ERROR 4.01 4.04 None benchmark32_linear.yml done 4.31 4.34 None benchmark33_linear.yml done 4.18 4.20 None benchmark34_conjunctive.yml ERROR 3.99 4.03 None benchmark35_linear.yml done 4.08 4.11 None benchmark37_conjunctive.yml done 4.17 4.20 None benchmark43_conjunctive.yml ERROR 4.08 4.10 None benchmark51_polynomial.yml done 4.28 4.30 None benchmark52_polynomial.yml ERROR 3.83 3.86 None bhmr2007.yml done 4.76 4.78 None bin-suffix-5.yml ERROR 4.03 4.05 None bresenham-ll.yml ERROR 4.18 4.21 None bresenham-ll_valuebound1.yml ERROR 4.14 4.18 None bresenham-ll_valuebound10.yml ERROR 4.16 4.19 None bresenham-ll_valuebound100.yml ERROR 4.05 4.08 None bresenham-ll_valuebound2.yml ERROR 4.05 4.08 None bresenham-ll_valuebound20.yml ERROR 4.14 4.16 None bresenham-ll_valuebound5.yml ERROR 4.22 4.23 None bresenham-ll_valuebound50.yml ERROR 4.13 4.16 None bubble_sort-1.yml done 5.23 5.26 None cggmp2005.yml done 4.48 4.50 None cggmp2005_variant.yml ERROR 4.11 4.14 None cggmp2005b.yml done 4.70 4.73 None cohencu-ll.yml ERROR 4.15 4.18 None cohencu-ll_valuebound1.yml ERROR 4.28 4.31 None cohencu-ll_valuebound10.yml ERROR 4.10 4.12 None cohencu-ll_valuebound100.yml ERROR 4.21 4.24 None cohencu-ll_valuebound2.yml ERROR 4.17 4.19 None cohencu-ll_valuebound20.yml ERROR 4.07 4.09 None cohencu-ll_valuebound5.yml ERROR 4.10 4.12 None cohencu-ll_valuebound50.yml ERROR 4.14 4.17 None cohendiv-ll.yml ERROR 4.30 4.32 None cohendiv-ll_unwindbound1.yml ERROR 4.14 4.19 None cohendiv-ll_unwindbound10.yml ERROR 4.06 4.10 None cohendiv-ll_unwindbound100.yml ERROR 4.26 4.29 None cohendiv-ll_unwindbound2.yml ERROR 4.19 4.22 None cohendiv-ll_unwindbound20.yml ERROR 4.27 4.30 None cohendiv-ll_unwindbound5.yml ERROR 4.16 4.19 None cohendiv-ll_unwindbound50.yml ERROR 4.19 4.21 None cohendiv-ll_valuebound1.yml ERROR 4.16 4.19 None cohendiv-ll_valuebound10.yml ERROR 4.29 4.31 None cohendiv-ll_valuebound100.yml ERROR 4.11 4.13 None cohendiv-ll_valuebound2.yml ERROR 4.29 4.32 None cohendiv-ll_valuebound20.yml ERROR 4.19 4.21 None cohendiv-ll_valuebound5.yml ERROR 4.12 4.16 None cohendiv-ll_valuebound50.yml ERROR 4.20 4.24 None const.yml done 4.26 4.29 None const_1-1.yml done 4.53 4.55 None count_by_1.yml done 4.25 4.27 None count_by_1_variant.yml ERROR 3.94 3.96 None count_by_2.yml ERROR 3.97 4.00 None count_by_k.yml ERROR 4.03 4.04 None count_by_nondet.yml ERROR 4.01 4.03 None count_up_down-1.yml done 4.54 4.57 None css2003.yml ERROR 4.10 4.13 None ddlm2013.yml ERROR 4.02 4.05 None diamond_1-1.yml ERROR 3.96 3.98 None diamond_2-2.yml ERROR 4.22 4.24 None dijkstra-u.yml ERROR 4.27 4.30 None dijkstra-u_unwindbound1.yml done 5.24 5.27 None dijkstra-u_unwindbound2.yml ERROR 4.26 4.28 None dijkstra-u_valuebound1.yml ERROR 4.29 4.32 None dijkstra-u_valuebound10.yml ERROR 4.25 4.26 None dijkstra-u_valuebound100.yml ERROR 4.19 4.24 None dijkstra-u_valuebound2.yml ERROR 4.32 4.40 None dijkstra-u_valuebound20.yml ERROR 4.29 4.32 None dijkstra-u_valuebound5.yml ERROR 4.31 4.34 None dijkstra-u_valuebound50.yml ERROR 4.14 4.17 None discover_list.yml ERROR 5.09 5.12 None divbin2.yml ERROR 4.10 4.12 None divbin2_unwindbound1.yml done 5.07 5.09 None divbin2_unwindbound10.yml ERROR 4.12 4.15 None divbin2_unwindbound100.yml ERROR 4.04 4.07 None divbin2_unwindbound2.yml ERROR 4.14 4.17 None divbin2_unwindbound20.yml ERROR 4.00 4.03 None divbin2_unwindbound5.yml ERROR 4.14 4.16 None divbin2_unwindbound50.yml ERROR 4.14 4.18 None divbin2_valuebound1.yml ERROR 4.14 4.17 None divbin2_valuebound10.yml ERROR 4.11 4.13 None divbin2_valuebound100.yml ERROR 4.29 4.31 None divbin2_valuebound2.yml ERROR 4.21 4.24 None divbin2_valuebound20.yml ERROR 4.29 4.32 None divbin2_valuebound5.yml ERROR 4.10 4.13 None divbin2_valuebound50.yml ERROR 4.23 4.26 None divbin_unwindbound1.yml done 5.14 5.17 None divbin_unwindbound2.yml ERROR 4.10 4.12 None divbin_unwindbound5.yml ERROR 4.18 4.21 None divbin_valuebound1.yml ERROR 4.23 4.25 None divbin_valuebound10.yml ERROR 4.17 4.21 None divbin_valuebound100.yml ERROR 4.22 4.24 None divbin_valuebound2.yml ERROR 4.24 4.26 None divbin_valuebound20.yml ERROR 4.19 4.20 None divbin_valuebound5.yml ERROR 4.26 4.30 None divbin_valuebound50.yml ERROR 4.19 4.22 None down.yml done 4.42 4.45 None egcd-ll.yml ERROR 4.17 4.18 None egcd-ll_valuebound1.yml ERROR 4.31 4.35 None egcd-ll_valuebound10.yml ERROR 4.38 4.41 None egcd-ll_valuebound100.yml ERROR 4.18 4.20 None egcd-ll_valuebound2.yml ERROR 4.15 4.18 None egcd-ll_valuebound20.yml ERROR 4.30 4.32 None egcd-ll_valuebound5.yml ERROR 4.39 4.40 None egcd-ll_valuebound50.yml ERROR 4.22 4.25 None egcd2-ll.yml ERROR 4.25 4.28 None egcd2-ll_valuebound1.yml ERROR 4.43 4.46 None egcd2-ll_valuebound10.yml ERROR 4.37 4.40 None egcd2-ll_valuebound100.yml ERROR 4.31 4.34 None egcd2-ll_valuebound2.yml ERROR 4.42 4.45 None egcd2-ll_valuebound20.yml ERROR 4.34 4.36 None egcd2-ll_valuebound5.yml ERROR 4.34 4.36 None egcd2-ll_valuebound50.yml ERROR 4.24 4.27 None egcd3-ll.yml ERROR 4.19 4.21 None egcd3-ll_valuebound1.yml ERROR 4.29 4.30 None egcd3-ll_valuebound10.yml ERROR 4.17 4.19 None egcd3-ll_valuebound100.yml ERROR 4.34 4.37 None egcd3-ll_valuebound2.yml ERROR 4.19 4.22 None egcd3-ll_valuebound20.yml ERROR 4.34 4.36 None egcd3-ll_valuebound5.yml ERROR 4.37 4.39 None egcd3-ll_valuebound50.yml ERROR 4.29 4.32 None elimination_max.yml done 4.57 4.60 None eq1.yml ERROR 4.21 4.24 None eq2.yml ERROR 3.98 4.01 None eureka_01-2.yml done 5.47 5.49 None eureka_05.yml ERROR 4.12 4.14 None even.yml ERROR 3.87 3.88 None fermat1-ll.yml ERROR 4.07 4.09 None fermat1-ll_valuebound1.yml ERROR 4.26 4.29 None fermat1-ll_valuebound10.yml ERROR 4.26 4.29 None fermat1-ll_valuebound100.yml ERROR 4.26 4.29 None fermat1-ll_valuebound2.yml ERROR 4.22 4.25 None fermat1-ll_valuebound20.yml ERROR 4.38 4.41 None fermat1-ll_valuebound5.yml ERROR 4.28 4.31 None fermat1-ll_valuebound50.yml ERROR 4.32 4.35 None fermat2-ll.yml ERROR 4.26 4.29 None fermat2-ll_valuebound1.yml ERROR 4.11 4.14 None fermat2-ll_valuebound10.yml ERROR 4.20 4.22 None fermat2-ll_valuebound100.yml ERROR 4.24 4.27 None fermat2-ll_valuebound2.yml ERROR 4.14 4.16 None fermat2-ll_valuebound20.yml ERROR 4.40 4.42 None fermat2-ll_valuebound5.yml ERROR 4.17 4.20 None fermat2-ll_valuebound50.yml ERROR 4.19 4.20 None for_infinite_loop_1.yml done 4.43 4.46 None for_infinite_loop_2.yml done 4.49 4.52 None fragtest_simple.yml ERROR 4.11 4.13 None freire1_valuebound1.yml ERROR 4.03 4.06 None freire1_valuebound10.yml ERROR 3.99 4.04 None freire1_valuebound100.yml ERROR 4.09 4.11 None freire1_valuebound2.yml ERROR 4.12 4.14 None freire1_valuebound20.yml ERROR 4.14 4.16 None freire1_valuebound5.yml ERROR 4.32 4.35 None freire1_valuebound50.yml ERROR 4.15 4.17 None functions_1-1.yml ERROR 4.01 4.04 None gauss_sum.i.p+cfa-reducer.yml ERROR 4.08 4.11 None gauss_sum.i.p+lhb-reducer.yml ERROR 4.22 4.24 None gauss_sum.i.v+cfa-reducer.yml ERROR 4.02 4.05 None gauss_sum.yml ERROR 3.94 3.96 None geo1-ll.yml ERROR 4.05 4.07 None geo1-ll_unwindbound1.yml ERROR 4.14 4.16 None geo1-ll_unwindbound10.yml ERROR 4.10 4.13 None geo1-ll_unwindbound100.yml ERROR 4.05 4.08 None geo1-ll_unwindbound2.yml ERROR 4.03 4.05 None geo1-ll_unwindbound20.yml ERROR 4.12 4.15 None geo1-ll_unwindbound5.yml ERROR 4.11 4.13 None geo1-ll_unwindbound50.yml ERROR 4.01 4.04 None geo1-ll_valuebound1.yml ERROR 4.13 4.15 None geo1-ll_valuebound10.yml ERROR 4.19 4.23 None geo1-ll_valuebound100.yml ERROR 4.14 4.19 None geo1-ll_valuebound2.yml ERROR 4.14 4.17 None geo1-ll_valuebound20.yml ERROR 4.03 4.08 None geo1-ll_valuebound5.yml ERROR 4.11 4.21 None geo1-ll_valuebound50.yml ERROR 4.18 4.21 None geo2-ll.yml ERROR 4.03 4.04 None geo2-ll_unwindbound1.yml ERROR 4.04 4.06 None geo2-ll_unwindbound10.yml ERROR 4.05 4.07 None geo2-ll_unwindbound100.yml ERROR 3.98 4.02 None geo2-ll_unwindbound2.yml ERROR 4.09 4.11 None geo2-ll_unwindbound20.yml ERROR 4.08 4.10 None geo2-ll_unwindbound5.yml ERROR 3.97 4.00 None geo2-ll_unwindbound50.yml ERROR 3.99 4.01 None geo2-ll_valuebound1.yml ERROR 4.11 4.13 None geo2-ll_valuebound10.yml ERROR 4.16 4.18 None geo2-ll_valuebound100.yml ERROR 4.09 4.12 None geo2-ll_valuebound2.yml ERROR 4.16 4.19 None geo2-ll_valuebound20.yml ERROR 4.18 4.20 None geo2-ll_valuebound5.yml ERROR 4.15 4.17 None geo2-ll_valuebound50.yml ERROR 4.04 4.07 None geo3-ll.yml ERROR 3.96 3.99 None geo3-ll_unwindbound1.yml ERROR 3.94 3.97 None geo3-ll_unwindbound10.yml ERROR 3.99 4.01 None geo3-ll_unwindbound100.yml ERROR 3.94 3.96 None geo3-ll_unwindbound2.yml ERROR 4.08 4.10 None geo3-ll_unwindbound20.yml ERROR 3.97 3.99 None geo3-ll_unwindbound5.yml ERROR 3.95 3.98 None geo3-ll_unwindbound50.yml ERROR 4.07 4.10 None geo3-ll_valuebound1.yml ERROR 4.16 4.18 None geo3-ll_valuebound10.yml ERROR 4.11 4.13 None geo3-ll_valuebound100.yml ERROR 4.23 4.26 None geo3-ll_valuebound2.yml ERROR 4.30 4.32 None geo3-ll_valuebound20.yml ERROR 4.13 4.16 None geo3-ll_valuebound5.yml ERROR 4.13 4.16 None geo3-ll_valuebound50.yml ERROR 4.22 4.25 None gj2007.c.i.p+lhb-reducer.yml ERROR 4.28 4.31 None gj2007.c.i.p+nlh-reducer.yml done 6.59 6.62 None gj2007.yml ERROR 4.00 4.03 None gj2007b.yml ERROR 4.18 4.21 None gr2006.yml ERROR 4.01 4.04 None gsv2008.c.i.p+cfa-reducer.yml ERROR 4.00 4.02 None gsv2008.c.i.v+cfa-reducer.yml ERROR 4.10 4.13 None gsv2008.c.i.v+lhb-reducer.yml ERROR 4.10 4.13 None gsv2008.yml ERROR 4.04 4.07 None half.yml ERROR 4.16 4.17 None half_2.yml ERROR 4.03 4.08 None hard-ll.yml ERROR 4.17 4.21 None hard-ll_valuebound1.yml ERROR 4.19 4.21 None hard-ll_valuebound10.yml ERROR 4.13 4.15 None hard-ll_valuebound100.yml ERROR 4.17 4.18 None hard-ll_valuebound2.yml ERROR 4.17 4.18 None hard-ll_valuebound20.yml ERROR 4.24 4.26 None hard-ll_valuebound5.yml ERROR 4.29 4.31 None hard-ll_valuebound50.yml ERROR 4.29 4.31 None hard-u_valuebound1.yml ERROR 4.33 4.35 None hard-u_valuebound10.yml ERROR 4.34 4.36 None hard-u_valuebound100.yml ERROR 4.29 4.32 None hard-u_valuebound2.yml ERROR 4.21 4.24 None hard-u_valuebound20.yml ERROR 4.24 4.26 None hard-u_valuebound5.yml ERROR 4.29 4.31 None hard-u_valuebound50.yml ERROR 4.26 4.29 None hard2.yml ERROR 4.29 4.32 None hard2_valuebound1.yml ERROR 4.15 4.18 None hard2_valuebound10.yml ERROR 4.04 4.07 None hard2_valuebound100.yml ERROR 4.12 4.15 None hard2_valuebound2.yml ERROR 4.17 4.19 None hard2_valuebound20.yml ERROR 4.04 4.07 None hard2_valuebound5.yml ERROR 4.04 4.06 None hard2_valuebound50.yml ERROR 4.16 4.18 None heapsort.yml done 5.20 5.23 None heavy-2.yml done 4.61 4.63 None hhk2008.yml done 4.37 4.39 None id_build.i.p+nlh-reducer.yml done 7.78 7.81 None id_build.i.p+sep-reducer.yml done 7.76 7.79 None id_build.i.v+lhb-reducer.yml done 4.67 4.70 None id_build.yml done 4.32 4.35 None iftelse.yml ERROR 4.05 4.07 None in-de20.yml done 4.76 4.78 None in-de31.yml done 4.94 4.97 None in-de32.yml done 4.80 4.81 None in-de41.yml done 4.95 4.98 None in-de42.yml ERROR 3.98 4.00 None in-de51.yml done 5.17 5.20 None in-de52.yml done 4.91 4.92 None in-de61.yml done 5.05 5.08 None in-de62.yml done 5.18 5.20 None insertion_sort-2.yml ERROR 4.03 4.05 None invert_string-3.yml ERROR 4.00 4.03 None jm2006.c.i.v+cfa-reducer.yml done 4.47 4.49 None jm2006.yml done 4.33 4.36 None jm2006_variant.yml done 4.42 4.45 None knuth.yml ERROR 4.34 4.35 None knuth_unwindbound1.yml ERROR 4.37 4.41 None knuth_unwindbound10.yml ERROR 4.27 4.30 None knuth_unwindbound100.yml ERROR 4.42 4.43 None knuth_unwindbound2.yml ERROR 4.29 4.30 None knuth_unwindbound20.yml ERROR 4.35 4.37 None knuth_unwindbound5.yml ERROR 4.26 4.29 None knuth_unwindbound50.yml ERROR 4.24 4.28 None knuth_valuebound1.yml ERROR 4.28 4.30 None knuth_valuebound10.yml ERROR 4.44 4.46 None knuth_valuebound100.yml ERROR 4.40 4.43 None knuth_valuebound2.yml ERROR 4.42 4.45 None knuth_valuebound20.yml ERROR 4.32 4.34 None knuth_valuebound5.yml ERROR 4.33 4.36 None knuth_valuebound50.yml ERROR 4.33 4.34 None large_const.yml done 4.72 4.75 None lcm1.yml ERROR 4.13 4.16 None lcm1_valuebound1.yml ERROR 4.12 4.18 None lcm1_valuebound10.yml ERROR 4.28 4.30 None lcm1_valuebound100.yml ERROR 4.28 4.31 None lcm1_valuebound2.yml ERROR 4.21 4.24 None lcm1_valuebound20.yml ERROR 4.21 4.23 None lcm1_valuebound5.yml ERROR 4.23 4.25 None lcm1_valuebound50.yml ERROR 4.26 4.29 None lcm2.yml ERROR 4.09 4.12 None lcm2_unwindbound1.yml ERROR 4.15 4.19 None lcm2_unwindbound10.yml ERROR 3.96 3.99 None lcm2_unwindbound100.yml ERROR 4.17 4.20 None lcm2_unwindbound2.yml ERROR 4.14 4.17 None lcm2_unwindbound20.yml ERROR 4.18 4.21 None lcm2_unwindbound5.yml ERROR 4.13 4.16 None lcm2_unwindbound50.yml ERROR 4.18 4.21 None lcm2_valuebound1.yml ERROR 4.26 4.29 None lcm2_valuebound10.yml ERROR 4.21 4.25 None lcm2_valuebound100.yml ERROR 4.17 4.20 None lcm2_valuebound2.yml ERROR 4.07 4.10 None lcm2_valuebound20.yml ERROR 4.17 4.20 None lcm2_valuebound5.yml ERROR 4.15 4.18 None lcm2_valuebound50.yml ERROR 4.19 4.23 None lcp.yml ERROR 4.22 4.24 None linear-inequality-inv-a.yml done 4.73 4.76 None linear_sea.ch.yml ERROR 3.96 3.99 None loopv1.yml ERROR 3.97 4.00 None loopv2.yml ERROR 3.91 3.94 None loopv3.yml ERROR 4.00 4.02 None lu.cmp.yml done 7.08 7.11 None mannadiv_valuebound2.yml ERROR 4.12 4.15 None matrix-1.yml ERROR 3.93 3.95 None mcmillan2006.yml done 4.47 4.49 None mod3.c.v+cfa-reducer.yml ERROR 4.06 4.11 None mod3.c.v+lhb-reducer.yml ERROR 4.22 4.24 None mod3.c.v+sep-reducer.yml ERROR 4.20 4.23 None mod3.yml ERROR 4.03 4.05 None mod4.yml ERROR 3.93 3.95 None mono-crafted_1.yml ERROR 3.99 4.02 None mono-crafted_10.yml ERROR 3.92 3.96 None mono-crafted_11.yml ERROR 3.93 3.95 None mono-crafted_12.yml ERROR 3.85 3.87 None mono-crafted_13.yml ERROR 4.00 4.03 None mono-crafted_14.yml ERROR 4.02 4.03 None mono-crafted_3.yml ERROR 4.04 4.09 None mono-crafted_6.yml ERROR 3.92 3.94 None mono-crafted_7.yml ERROR 3.96 3.99 None mono-crafted_8.yml ERROR 3.93 3.94 None mono-crafted_9.yml ERROR 4.01 4.04 None multivar_1-1.yml done 4.48 4.52 None n.c11.yml ERROR 3.98 4.00 None n.c40.yml done 3.95 3.98 None nec40.yml done 4.03 4.06 None nest-if3.yml done 4.73 4.75 None nested-1.yml done 4.58 4.60 None nested-3.yml ERROR 4.05 4.08 None nested3-1.yml done 5.07 5.10 None nested5-1.yml done 5.26 5.28 None nested6.yml ERROR 4.12 4.14 None nested9.yml done 4.97 5.00 None nested_1-1.yml done 4.46 4.48 None nested_1.yml done 4.17 4.20 None nested_2.yml done 4.36 4.38 None nested_3.yml done 4.71 4.78 None nested_4.yml done 4.95 4.97 None nested_5.yml done 5.23 5.26 None nested_6.yml done 5.36 5.39 None nested_delay_nd.yml ERROR 4.19 4.21 None net_reset.yml done 4.35 4.38 None odd.yml ERROR 3.98 4.01 None ofuf_1.yml ERROR 3.69 3.71 None ofuf_2.yml ERROR 3.75 3.78 None ofuf_3.yml ERROR 3.81 3.84 None ofuf_4.yml ERROR 3.71 3.73 None ofuf_5.yml ERROR 3.72 3.74 None overflow_1-1.yml ERROR 3.96 3.99 None phases_1-1.yml ERROR 3.94 3.97 None phases_2-2.yml done 4.47 4.50 None prefixsum_iter.yml done 5.01 5.03 None prod4br-ll.yml ERROR 4.07 4.10 None prod4br-ll_valuebound1.yml ERROR 4.22 4.25 None prod4br-ll_valuebound10.yml ERROR 4.25 4.27 None prod4br-ll_valuebound100.yml ERROR 4.32 4.35 None prod4br-ll_valuebound2.yml ERROR 4.23 4.25 None prod4br-ll_valuebound20.yml ERROR 4.25 4.27 None prod4br-ll_valuebound5.yml ERROR 4.36 4.39 None prod4br-ll_valuebound50.yml ERROR 4.28 4.33 None prodbin-ll.yml ERROR 4.15 4.17 None prodbin-ll_valuebound1.yml ERROR 4.20 4.21 None prodbin-ll_valuebound10.yml ERROR 4.10 4.12 None prodbin-ll_valuebound100.yml ERROR 4.20 4.22 None prodbin-ll_valuebound2.yml ERROR 4.16 4.19 None prodbin-ll_valuebound20.yml ERROR 4.10 4.12 None prodbin-ll_valuebound5.yml ERROR 4.09 4.11 None prodbin-ll_valuebound50.yml ERROR 4.08 4.10 None ps2-ll.yml ERROR 3.96 3.98 None ps2-ll_unwindbound1.yml ERROR 3.98 4.01 None ps2-ll_unwindbound10.yml ERROR 3.93 3.96 None ps2-ll_unwindbound100.yml ERROR 3.97 3.99 None ps2-ll_unwindbound2.yml ERROR 4.05 4.07 None ps2-ll_unwindbound20.yml ERROR 4.04 4.07 None ps2-ll_unwindbound5.yml ERROR 4.00 4.03 None ps2-ll_unwindbound50.yml ERROR 4.06 4.08 None ps2-ll_valuebound1.yml ERROR 4.13 4.16 None ps2-ll_valuebound10.yml ERROR 4.10 4.13 None ps2-ll_valuebound100.yml ERROR 3.99 4.02 None ps2-ll_valuebound2.yml ERROR 4.09 4.11 None ps2-ll_valuebound20.yml ERROR 4.13 4.15 None ps2-ll_valuebound5.yml ERROR 4.22 4.23 None ps2-ll_valuebound50.yml ERROR 4.14 4.17 None ps3-ll.yml ERROR 4.31 4.34 None ps3-ll_unwindbound1.yml ERROR 4.17 4.19 None ps3-ll_unwindbound10.yml ERROR 4.03 4.05 None ps3-ll_unwindbound100.yml ERROR 4.05 4.07 None ps3-ll_unwindbound2.yml ERROR 4.06 4.08 None ps3-ll_unwindbound20.yml ERROR 4.08 4.10 None ps3-ll_unwindbound5.yml ERROR 4.09 4.11 None ps3-ll_unwindbound50.yml ERROR 4.14 4.16 None ps3-ll_valuebound1.yml ERROR 4.12 4.16 None ps3-ll_valuebound10.yml ERROR 4.10 4.13 None ps3-ll_valuebound100.yml ERROR 4.11 4.13 None ps3-ll_valuebound2.yml ERROR 4.17 4.19 None ps3-ll_valuebound20.yml ERROR 4.09 4.12 None ps3-ll_valuebound5.yml ERROR 4.09 4.13 None ps3-ll_valuebound50.yml ERROR 4.15 4.18 None ps4-ll.yml ERROR 4.10 4.12 None ps4-ll_valuebound1.yml ERROR 4.20 4.22 None ps4-ll_valuebound10.yml ERROR 4.18 4.20 None ps4-ll_valuebound100.yml ERROR 3.96 3.98 None ps4-ll_valuebound2.yml ERROR 4.19 4.22 None ps4-ll_valuebound20.yml ERROR 4.12 4.15 None ps4-ll_valuebound5.yml ERROR 4.20 4.23 None ps4-ll_valuebound50.yml ERROR 4.19 4.22 None ps5-ll.yml ERROR 4.22 4.25 None ps5-ll_valuebound1.yml ERROR 4.17 4.20 None ps5-ll_valuebound10.yml ERROR 4.20 4.22 None ps5-ll_valuebound100.yml ERROR 4.25 4.27 None ps5-ll_valuebound2.yml ERROR 4.13 4.15 None ps5-ll_valuebound20.yml ERROR 4.11 4.15 None ps5-ll_valuebound5.yml ERROR 4.16 4.19 None ps5-ll_valuebound50.yml ERROR 4.08 4.11 None ps6-ll.yml ERROR 4.16 4.18 None ps6-ll_valuebound1.yml ERROR 4.23 4.26 None ps6-ll_valuebound10.yml ERROR 4.14 4.17 None ps6-ll_valuebound100.yml ERROR 4.22 4.24 None ps6-ll_valuebound2.yml ERROR 4.22 4.25 None ps6-ll_valuebound20.yml ERROR 4.02 4.05 None ps6-ll_valuebound5.yml ERROR 4.19 4.22 None ps6-ll_valuebound50.yml ERROR 4.10 4.12 None sendmail-close-angle.yml done 4.85 4.87 None seq-3.yml done 4.82 4.85 None simple_1-2.yml ERROR 3.91 3.93 None simple_2-1.yml done 4.36 4.38 None simple_3-2.yml ERROR 4.06 4.09 None simple_4-2.yml done 4.23 4.26 None simple_array_index_value_1-1.yml ERROR 4.09 4.12 None simple_array_index_value_2.yml ERROR 4.12 4.14 None simple_array_index_value_3.yml ERROR 4.14 4.17 None simple_vardep_1.yml done 4.75 4.78 None simple_vardep_2.yml done 4.77 4.79 None sqrt1-ll.yml ERROR 4.02 4.03 None sqrt1-ll_unwindbound1.yml ERROR 4.08 4.11 None sqrt1-ll_unwindbound10.yml ERROR 4.14 4.16 None sqrt1-ll_unwindbound100.yml ERROR 4.12 4.15 None sqrt1-ll_unwindbound2.yml ERROR 4.11 4.14 None sqrt1-ll_unwindbound20.yml ERROR 4.14 4.16 None sqrt1-ll_unwindbound5.yml ERROR 4.11 4.13 None sqrt1-ll_unwindbound50.yml ERROR 4.06 4.09 None sqrt1-ll_valuebound1.yml ERROR 3.98 4.02 None sqrt1-ll_valuebound10.yml ERROR 4.11 4.16 None sqrt1-ll_valuebound100.yml ERROR 4.13 4.15 None sqrt1-ll_valuebound2.yml ERROR 4.08 4.10 None sqrt1-ll_valuebound20.yml ERROR 4.00 4.02 None sqrt1-ll_valuebound5.yml ERROR 4.09 4.14 None sqrt1-ll_valuebound50.yml ERROR 4.10 4.13 None string-1.yml done 5.29 5.31 None string_concat-noarr.yml done 4.80 4.83 None sum01-2.yml ERROR 4.25 4.28 None sum03-2.yml ERROR 3.98 4.00 None sum04-2.yml done 4.44 4.46 None sum_array-2.yml ERROR 4.19 4.21 None sum_by_3.yml ERROR 4.01 4.04 None sum_natnum.yml ERROR 3.97 4.00 None sumt2.yml done 4.86 4.89 None sumt3.yml done 4.98 5.01 None sumt4.yml done 5.20 5.23 None sumt5.yml ERROR 4.03 4.06 None sumt6.yml ERROR 4.09 4.11 None sumt7.yml ERROR 4.14 4.17 None sumt8.yml ERROR 4.21 4.24 None sumt9.yml ERROR 4.15 4.18 None terminator_02-2.yml ERROR 4.10 4.13 None terminator_03-2.yml ERROR 4.04 4.06 None theatreSquare.yml ERROR 4.25 4.28 None trex01-2.yml done 5.85 5.89 None trex02-1.yml done 4.76 4.79 None trex03-2.yml ERROR 4.14 4.17 None trex04.yml done 5.53 5.56 None underapprox_1-2.yml ERROR 3.98 4.00 None underapprox_2-2.yml done 4.68 4.70 None up.yml done 4.48 4.50 None veris.c_NetBSD-libc_loop.yml ERROR 4.01 4.03 None veris.c_OpenSER_cases1_stripFullBoth_arr.yml done 5.62 5.65 None veris.c_sendmail_tTflag_arr_one_loop.yml done 5.00 5.07 None vnew1.yml ERROR 4.12 4.15 None vnew2.yml ERROR 4.05 4.07 None vogal-1.yml ERROR 4.28 4.34 None watermelon.yml ERROR 4.16 4.21 None while_infinite_loop_1.yml done 3.92 3.95 None while_infinite_loop_2.yml done 3.97 4.01 None while_infinite_loop_3.yml done 3.99 4.02 None ------------------------------------------------------------------------------------------------------------- Run set 1 done 2259.04 595.89 - Statistics: 525 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 423 Score: 0 (max: 1050)