BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/benchexec/my-bench-sv-comp/goblint-all-fast.xml name: goblint-all-fast run sets: sv-comp20_prop-reachsafety date: Tue, 2023-10-31 09:24:40 UTC tool: Goblint tags/svcomp23-0-g4f5dcf38f tool executable: ./goblint options: --conf conf/svcomp23.json parallel runs: 14 resource limits: - memory: 1000.0 MB - time: 3 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 1000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-5.15.0-86-generic-x86_64-with-glibc2.35 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33649.393663999996 MB ------------------------------------------------------------ sv-comp20_prop-reachsafety Run set 1 of 1 with options '--conf conf/svcomp23.json' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- openssl-simplified/s3_srvr_1b.cil.yml unknown 0.14 0.15 None locks/test_locks_10.yml unknown 0.18 0.18 None locks/test_locks_11.yml unknown 0.17 0.19 None locks/test_locks_12.yml unknown 0.19 0.20 None locks/test_locks_13.yml unknown 0.20 0.20 None locks/test_locks_14-1.yml unknown 0.22 0.23 None locks/test_locks_14-2.yml unknown 0.23 0.24 None locks/test_locks_15-1.yml unknown 0.23 0.24 None locks/test_locks_15-2.yml unknown 0.23 0.23 None locks/test_locks_5.yml unknown 0.15 0.15 None locks/test_locks_6.yml unknown 0.17 0.17 None locks/test_locks_7.yml unknown 0.17 0.17 None locks/test_locks_8.yml unknown 0.16 0.16 None locks/test_locks_9.yml unknown 0.15 0.15 None ntdrivers/cdaudio.i.cil-1.yml unknown 2.29 2.29 None ntdrivers/diskperf.i.cil-1.yml TIMEOUT 4.00 4.01 None ntdrivers/diskperf.i.cil-2.yml TIMEOUT 3.97 4.01 None ntdrivers/floppy.i.cil-1.yml unknown 1.96 1.96 None ntdrivers/floppy.i.cil-3.yml unknown 2.06 2.06 None ntdrivers/kbfiltr.i.cil-2.yml unknown 0.94 0.94 None ntdrivers/parport.i.cil-1.yml TIMEOUT 3.99 4.01 None ntdrivers/parport.i.cil-2.yml TIMEOUT 4.01 4.02 None memory-model/2SB.yml TIMEOUT 3.35 3.35 None memory-model/4SB.yml unknown 0.81 0.81 None loops/array-1.yml unknown 0.09 0.10 None loops/array-2.yml unknown 0.09 0.09 None loops/bubble_sort-2.yml unknown 0.70 0.70 None loops/compact.yml unknown 0.25 0.27 None loops/count_up_down-1.yml unknown 0.12 0.12 None loops/count_up_down-2.yml unknown 0.11 0.11 None loops/eureka_01-2.yml true 1.51 1.52 None loops/eureka_05.yml unknown 0.40 0.41 None loops/for_bounded_loop1.yml unknown 0.24 0.25 None loops/for_infinite_loop_1.yml true 0.21 0.22 None loops/for_infinite_loop_2.yml true 0.22 0.22 None loops/heavy-1.yml unknown 2.02 2.04 None loops/heavy-2.yml true 2.00 2.07 None loops/insertion_sort-1-2.yml unknown 0.80 0.81 None loops/insertion_sort-2-2.yml unknown 0.71 0.71 None loops/invert_string-1.yml unknown 0.47 0.47 None loops/invert_string-3.yml unknown 0.14 0.14 None loops/linear_sea.ch.yml unknown 0.22 0.23 None loops/linear_search.yml unknown 0.14 0.14 None loops/lu.cmp.yml true 0.64 0.65 None loops/ludcmp.yml unknown 0.11 0.11 None loops/matrix-1.yml unknown 0.10 0.11 None loops/matrix-2-2.yml unknown 1.38 1.38 None loops/n.c11.yml true 0.19 0.19 None loops/n.c24.yml unknown 2.18 2.20 None loops/n.c40.yml true 0.10 0.10 None loops/nec11.yml unknown 0.14 0.15 None loops/nec20.yml unknown 0.17 0.17 None loops/nec40.yml true 0.08 0.08 None loops/string-1.yml true 0.36 0.36 None loops/string-2.yml unknown 0.25 0.25 None loops/sum01-2.yml unknown 0.18 0.19 None loops/sum01_bug02.yml unknown 0.19 0.19 None loops/sum03-1.yml unknown 0.18 0.18 None loops/sum03-2.yml unknown 0.15 0.15 None loops/sum04-1.yml unknown 0.10 0.11 None loops/sum04-2.yml true 0.10 0.10 None loops/sum_array-2-2.yml unknown 0.49 0.49 None loops/terminator_01.yml unknown 0.12 0.12 None loops/terminator_02-2.yml unknown 0.18 0.18 None loops/terminator_02-2_abstracted.yml unknown 0.10 0.11 None loops/terminator_03-2.yml unknown 0.17 0.17 None loops/terminator_03-2_abstracted.yml unknown 0.13 0.13 None loops/trex01-1.yml unknown 0.91 0.92 None loops/trex01-2.yml true 0.95 0.96 None loops/trex02-1.yml true 0.13 0.13 None loops/trex02-2.yml unknown 0.11 0.11 None loops/trex03-1.yml unknown 0.14 0.14 None loops/trex03-2.yml unknown 0.13 0.14 None loops/trex03-2_abstracted.yml unknown 0.11 0.11 None loops/trex04.yml true 0.35 0.35 None loops/trex04_abstracted.yml true 0.17 0.17 None loops/veris.c_NetBSD-libc_loop.yml unknown 0.15 0.15 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 0.73 0.73 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 0.21 0.21 None loops/verisec_NetBSD-libc_loop.yml unknown 0.16 0.18 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 0.65 0.65 None loops/vogal-1.yml unknown 0.48 0.48 None loops/vogal-2.yml unknown 0.94 0.94 None loops/while_infinite_loop_1.yml true 0.20 0.20 None loops/while_infinite_loop_2.yml true 0.25 0.25 None loops/while_infinite_loop_3.yml true 0.18 0.19 None loops/while_infinite_loop_4.yml unknown 0.09 0.09 None loop-acceleration/array_1-1.yml unknown 0.13 0.15 None loop-acceleration/array_1-2.yml unknown 0.11 0.11 None loop-acceleration/array_2-1-simple.yml unknown 0.16 0.16 None loop-acceleration/array_2-1.yml unknown 0.14 0.14 None loop-acceleration/array_2-2-simple.yml unknown 0.17 0.18 None loop-acceleration/array_2-2.yml unknown 0.14 0.14 None loop-acceleration/array_3-1.yml true 0.19 0.19 None loop-acceleration/array_3-2.yml unknown 0.19 0.19 None loop-acceleration/array_4.yml unknown 0.20 0.21 None loop-acceleration/const_1-1.yml true 0.11 0.12 None loop-acceleration/const_1-2.yml unknown 0.10 0.10 None loop-acceleration/const_1-2_abstracted.yml unknown 0.09 0.09 None loop-acceleration/diamond_1-1.yml unknown 0.12 0.12 None loop-acceleration/diamond_1-2.yml unknown 0.11 0.12 None loop-acceleration/diamond_2-2.yml unknown 0.14 0.14 None loop-acceleration/functions_1-1.yml true 0.11 0.12 None loop-acceleration/functions_1-2.yml unknown 0.10 0.11 None loop-acceleration/multivar_1-1.yml true 0.13 0.13 None loop-acceleration/multivar_1-2.yml unknown 0.10 0.10 None loop-acceleration/nested_1-1.yml true 0.19 0.22 None loop-acceleration/nested_1-2.yml unknown 0.17 0.19 None loop-acceleration/overflow_1-1.yml true 0.13 0.13 None loop-acceleration/phases_1-1.yml unknown 0.10 0.10 None loop-acceleration/phases_1-2.yml unknown 0.11 0.11 None loop-acceleration/phases_2-1.yml unknown 0.11 0.12 None loop-acceleration/phases_2-2.yml true 0.14 0.14 None loop-acceleration/simple_1-1.yml unknown 0.10 0.11 None loop-acceleration/simple_1-1_abstracted.yml unknown 0.09 0.09 None loop-acceleration/simple_1-2.yml true 0.13 0.13 None loop-acceleration/simple_1-2_abstracted.yml true 0.09 0.09 None loop-acceleration/simple_2-1.yml true 0.12 0.13 None loop-acceleration/simple_2-1_abstracted.yml true 0.10 0.10 None loop-acceleration/simple_2-2.yml unknown 0.12 0.13 None loop-acceleration/simple_3-1.yml unknown 0.11 0.13 None loop-acceleration/simple_3-2.yml true 0.15 0.15 None loop-acceleration/simple_4-1.yml unknown 0.10 0.10 None loop-acceleration/simple_4-1_abstracted.yml unknown 0.08 0.08 None loop-acceleration/simple_4-2.yml true 0.12 0.13 None loop-acceleration/simple_4-2_abstracted.yml true 0.09 0.10 None loop-acceleration/underapprox_1-1.yml unknown 0.08 0.09 None loop-acceleration/underapprox_1-2.yml true 0.11 0.13 None loop-acceleration/underapprox_2-1.yml unknown 0.10 0.10 None loop-acceleration/underapprox_2-2.yml true 0.10 0.10 None loop-crafted/simple_array_index_value_1-1.yml unknown 0.19 0.19 None loop-crafted/simple_array_index_value_1-2.yml unknown 0.12 0.12 None loop-crafted/simple_array_index_value_2.yml unknown 0.21 0.22 None loop-crafted/simple_array_index_value_3.yml unknown 0.20 0.21 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml unknown 0.20 0.20 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml unknown 0.21 0.22 None loop-crafted/simple_array_index_value_4.yml unknown 0.24 0.25 None loop-crafted/simple_vardep_1.yml unknown 0.17 0.17 None loop-crafted/simple_vardep_2.yml unknown 0.18 0.19 None loop-invgen/MADWiFi-encode_ie_ok.yml unknown 0.39 0.39 None loop-invgen/NetBSD_loop.yml true 0.33 0.34 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 1.58 1.59 None loop-invgen/SpamAssassin-loop.yml TIMEOUT (true) 3.98 3.99 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 0.47 0.48 None loop-invgen/apache-escape-absolute.yml true 0.65 0.65 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 1.11 1.12 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TIMEOUT 4.01 4.01 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TIMEOUT 4.00 4.01 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 0.34 0.34 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 0.31 0.32 None loop-invgen/apache-get-tag.yml true 0.35 0.35 None loop-invgen/down.yml true 0.24 0.25 None loop-invgen/fragtest_simple.yml unknown 0.31 0.31 None loop-invgen/half_2.yml unknown 0.29 0.30 None loop-invgen/heapsort.yml unknown 1.17 1.17 None loop-invgen/id_build.i.p+nlh-reducer.yml TIMEOUT 4.00 4.01 None loop-invgen/id_build.i.p+sep-reducer.yml TIMEOUT 3.99 4.01 None loop-invgen/id_build.i.v+lhb-reducer.yml true 0.29 0.30 None loop-invgen/id_build.yml true 1.10 1.10 None loop-invgen/id_trans.yml unknown 0.23 0.24 None loop-invgen/large_const.yml true 0.17 0.18 None loop-invgen/nest-if3.yml true 0.75 0.76 None loop-invgen/nested6.yml unknown 2.42 2.43 None loop-invgen/nested9.yml unknown 1.75 1.78 None loop-invgen/sendmail-close-angle.yml true 0.39 0.40 None loop-invgen/seq-3.yml unknown 0.31 0.31 None loop-invgen/string_concat-noarr.yml true 0.27 0.27 None loop-invgen/up.yml unknown 0.17 0.18 None loop-lit/afnp2014.yml true 0.18 0.18 None loop-lit/bhmr2007.yml unknown 0.17 0.17 None loop-lit/cggmp2005.yml true 0.09 0.09 None loop-lit/cggmp2005_variant.yml unknown 0.12 0.12 None loop-lit/cggmp2005b.yml unknown 0.40 0.40 None loop-lit/css2003.yml true 0.27 0.27 None loop-lit/ddlm2013.yml unknown 0.19 0.19 None loop-lit/gcnr2008.yml unknown 0.22 0.23 None loop-lit/gj2007.c.i.p+lhb-reducer.yml unknown 0.12 0.12 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 0.29 0.29 None loop-lit/gj2007.yml unknown 0.10 0.10 None loop-lit/gj2007b.yml unknown 0.21 0.21 None loop-lit/gr2006.yml unknown 0.11 0.12 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 0.10 0.12 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 0.11 0.11 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 0.12 0.12 None loop-lit/gsv2008.yml true 0.13 0.14 None loop-lit/hhk2008.yml unknown 0.12 0.13 None loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 0.12 0.12 None loop-lit/jm2006.yml unknown 0.13 0.13 None loop-lit/jm2006_variant.yml unknown 0.14 0.15 None loop-lit/mcmillan2006.yml true 0.25 0.26 None loop-new/count_by_1.yml true 0.11 0.11 None loop-new/count_by_1_variant.yml true 0.19 0.19 None loop-new/count_by_2.yml unknown 0.12 0.12 None loop-new/count_by_k.yml unknown 0.12 0.12 None loop-new/count_by_nondet.yml true 0.20 0.20 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 0.12 0.12 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 0.11 0.11 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 0.11 0.11 None loop-new/gauss_sum.yml unknown 0.14 0.15 None loop-new/half.yml unknown 0.15 0.15 None loop-new/nested-1.yml unknown 0.44 0.44 None loop-industry-pattern/aiob_1.yml TIMEOUT 3.06 3.07 None loop-industry-pattern/aiob_2.yml unknown 2.98 2.99 None loop-industry-pattern/aiob_3.yml TIMEOUT 3.14 3.15 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 2.26 2.27 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 2.61 2.63 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TIMEOUT 3.99 4.01 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TIMEOUT 4.00 4.01 None loop-industry-pattern/aiob_4.yml unknown 2.13 2.13 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 0.09 0.10 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml unknown 0.18 0.18 None loop-industry-pattern/mod3.c.v+sep-reducer.yml unknown 0.21 0.22 None loop-industry-pattern/mod3.yml unknown 0.11 0.11 None loop-industry-pattern/ofuf_1.yml true 0.55 0.57 None loop-industry-pattern/ofuf_2.yml true 0.55 0.55 None loop-industry-pattern/ofuf_3.yml true 0.55 0.55 None loop-industry-pattern/ofuf_4.yml true 0.56 0.56 None loop-industry-pattern/ofuf_5.yml true 0.58 0.59 None loops-crafted-1/Mono1_1-1.yml unknown 0.14 0.14 None loops-crafted-1/Mono1_1-2.yml unknown 0.11 0.11 None loops-crafted-1/Mono3_1.yml unknown 0.12 0.12 None loops-crafted-1/Mono4_1.yml unknown 0.10 0.11 None loops-crafted-1/Mono5_1.yml unknown 0.13 0.13 None loops-crafted-1/Mono6_1.yml unknown 0.14 0.14 None loops-crafted-1/discover_list.yml TIMEOUT 4.01 4.01 None loops-crafted-1/iftelse.yml unknown 0.16 0.17 None loops-crafted-1/in-de20.yml unknown 0.15 0.15 None loops-crafted-1/in-de31.yml unknown 0.17 0.17 None loops-crafted-1/in-de32.yml unknown 0.18 0.19 None loops-crafted-1/in-de41.yml unknown 0.21 0.21 None loops-crafted-1/in-de42.yml unknown 0.19 0.19 None loops-crafted-1/in-de51.yml unknown 0.23 0.23 None loops-crafted-1/in-de52.yml unknown 0.22 0.22 None loops-crafted-1/in-de61.yml unknown 0.25 0.25 None loops-crafted-1/in-de62.yml unknown 0.25 0.25 None loops-crafted-1/loopv1.yml true 0.16 0.18 None loops-crafted-1/loopv2.yml true 0.18 0.19 None loops-crafted-1/loopv3.yml unknown 0.26 0.26 None loops-crafted-1/mono-crafted_1.yml unknown 0.14 0.14 None loops-crafted-1/mono-crafted_10.yml unknown 0.12 0.12 None loops-crafted-1/mono-crafted_11.yml unknown 0.10 0.10 None loops-crafted-1/mono-crafted_12.yml true 0.18 0.18 None loops-crafted-1/mono-crafted_13.yml unknown 0.15 0.16 None loops-crafted-1/mono-crafted_14.yml unknown 0.16 0.16 None loops-crafted-1/mono-crafted_3.yml unknown 0.16 0.16 None loops-crafted-1/mono-crafted_6.yml unknown 0.13 0.13 None loops-crafted-1/mono-crafted_7.yml unknown 0.15 0.15 None loops-crafted-1/mono-crafted_8.yml unknown 0.12 0.13 None loops-crafted-1/mono-crafted_9.yml unknown 0.11 0.11 None loops-crafted-1/nested3-1.yml true 0.70 0.70 None loops-crafted-1/nested3-1_abstracted.yml true 0.55 0.55 None loops-crafted-1/nested3-2.yml unknown 0.11 0.12 None loops-crafted-1/nested3-2_abstracted.yml unknown 0.08 0.09 None loops-crafted-1/nested5-1.yml TIMEOUT (true) 3.20 3.21 None loops-crafted-1/nested5-2.yml unknown 0.12 0.12 None loops-crafted-1/nested_delay_nd.yml unknown 1.69 1.70 None loops-crafted-1/nested_delay_notd2.yml unknown 1.31 1.31 None loops-crafted-1/net_reset.yml true 0.13 0.13 None loops-crafted-1/sum_by_3.yml unknown 0.19 0.19 None loops-crafted-1/sum_by_3_abstracted.yml unknown 0.15 0.15 None loops-crafted-1/sum_natnum.yml unknown 0.11 0.12 None loops-crafted-1/sumt2.yml unknown 0.13 0.13 None loops-crafted-1/sumt3.yml unknown 0.16 0.16 None loops-crafted-1/sumt4.yml unknown 0.17 0.17 None loops-crafted-1/sumt5.yml unknown 0.16 0.16 None loops-crafted-1/sumt6.yml unknown 0.17 0.18 None loops-crafted-1/sumt7.yml unknown 0.24 0.24 None loops-crafted-1/sumt8.yml unknown 0.23 0.24 None loops-crafted-1/sumt9.yml unknown 0.23 0.23 None loops-crafted-1/theatreSquare.yml unknown 0.33 0.34 None loops-crafted-1/vnew1.yml unknown 0.22 0.22 None loops-crafted-1/vnew2.yml unknown 0.12 0.12 None loops-crafted-1/watermelon.yml unknown 0.18 0.19 None loop-invariants/bin-suffix-5.yml unknown 0.12 0.12 None loop-invariants/const.yml true 0.14 0.14 None loop-invariants/eq1.yml unknown 0.12 0.14 None loop-invariants/eq2.yml unknown 0.11 0.11 None loop-invariants/even.yml true 0.17 0.19 None loop-invariants/linear-inequality-inv-a.yml unknown 0.15 0.15 None loop-invariants/linear-inequality-inv-b.yml unknown 0.22 0.22 None loop-invariants/mod4.yml true 0.13 0.13 None loop-invariants/odd.yml true 0.18 0.18 None loop-simple/deep-nested.yml TIMEOUT 3.99 4.01 None loop-simple/nested_1.yml true 0.11 0.11 None loop-simple/nested_1b.yml unknown 0.09 0.09 None loop-simple/nested_2.yml true 0.11 0.11 None loop-simple/nested_3.yml true 0.21 0.21 None loop-simple/nested_4.yml true 0.36 0.37 None loop-simple/nested_5.yml true 0.60 0.61 None loop-simple/nested_6.yml true 0.98 0.99 None loop-zilu/benchmark02_linear.yml true 0.16 0.16 None loop-zilu/benchmark02_linear_abstracted.yml true 0.11 0.11 None loop-zilu/benchmark04_conjunctive.yml unknown 0.16 0.16 None loop-zilu/benchmark05_conjunctive.yml true 0.18 0.18 None loop-zilu/benchmark09_conjunctive.yml true 0.17 0.17 None loop-zilu/benchmark10_conjunctive.yml true 0.15 0.15 None loop-zilu/benchmark11_linear.yml true 0.17 0.17 None loop-zilu/benchmark11_linear_abstracted.yml true 0.11 0.11 None loop-zilu/benchmark14_linear.yml true 0.13 0.13 None loop-zilu/benchmark17_conjunctive.yml true 0.19 0.20 None loop-zilu/benchmark18_conjunctive.yml true 0.16 0.16 None loop-zilu/benchmark19_conjunctive.yml true 0.18 0.19 None loop-zilu/benchmark20_conjunctive.yml true 0.19 0.20 None loop-zilu/benchmark23_conjunctive.yml unknown 0.11 0.13 None loop-zilu/benchmark25_linear.yml true 0.12 0.13 None loop-zilu/benchmark25_linear_abstracted.yml true 0.11 0.11 None loop-zilu/benchmark26_linear.yml true 0.14 0.14 None loop-zilu/benchmark26_linear_abstracted.yml true 0.09 0.10 None loop-zilu/benchmark32_linear.yml true 0.14 0.14 None loop-zilu/benchmark33_linear.yml true 0.15 0.15 None loop-zilu/benchmark34_conjunctive.yml unknown 0.14 0.15 None loop-zilu/benchmark35_linear.yml true 0.12 0.12 None loop-zilu/benchmark37_conjunctive.yml true 0.13 0.14 None loop-zilu/benchmark43_conjunctive.yml unknown 0.13 0.13 None loop-zilu/benchmark43_conjunctive_abstracted.yml unknown 0.09 0.10 None loop-zilu/benchmark51_polynomial.yml true 0.16 0.16 None loop-zilu/benchmark52_polynomial.yml unknown 0.11 0.11 None verifythis/duplets.yml unknown 0.26 0.26 None verifythis/elimination_max.yml true 0.44 0.45 None verifythis/lcp.yml unknown 0.24 0.24 None verifythis/prefixsum_iter.yml true 0.57 0.60 None verifythis/tree_del_iter.yml TIMEOUT 3.99 4.01 None verifythis/tree_del_iter_incorrect.yml TIMEOUT 4.01 4.02 None nla-digbench/bresenham-ll.yml unknown 0.23 0.24 None nla-digbench/cohencu-ll.yml unknown 0.39 0.40 None nla-digbench/cohendiv-ll.yml unknown 0.66 0.66 None nla-digbench/dijkstra-u.yml unknown 0.30 0.30 None nla-digbench/divbin.yml unknown 0.26 0.26 None nla-digbench/divbin2.yml unknown 0.26 0.26 None nla-digbench/egcd-ll.yml unknown 0.29 0.29 None nla-digbench/egcd2-ll.yml unknown 2.44 2.45 None nla-digbench/egcd3-ll.yml unknown 1.20 1.21 None nla-digbench/fermat1-ll.yml TIMEOUT 4.00 4.01 None nla-digbench/fermat2-ll.yml unknown 0.25 0.26 None nla-digbench/freire1.yml unknown 0.18 0.19 None nla-digbench/freire2.yml unknown 0.29 0.30 None nla-digbench/geo1-ll.yml unknown 0.27 0.28 None nla-digbench/geo1-u.yml unknown 0.26 0.29 None nla-digbench/geo2-ll.yml unknown 0.24 0.26 None nla-digbench/geo3-ll.yml unknown 0.24 0.24 None nla-digbench/hard-ll.yml unknown 0.45 0.45 None nla-digbench/hard-u.yml unknown 0.31 0.31 None nla-digbench/hard2.yml unknown 0.60 0.60 None nla-digbench/knuth.yml unknown 0.19 0.19 None nla-digbench/lcm1.yml unknown 0.57 0.57 None nla-digbench/lcm2.yml unknown 0.17 0.17 None nla-digbench/mannadiv.yml unknown 0.22 0.23 None nla-digbench/prod4br-ll.yml unknown 0.21 0.22 None nla-digbench/prodbin-ll.yml unknown 0.20 0.21 None nla-digbench/ps2-ll.yml unknown 0.17 0.17 None nla-digbench/ps3-ll.yml unknown 0.18 0.18 None nla-digbench/ps4-ll.yml unknown 0.20 0.20 None nla-digbench/ps5-ll.yml unknown 0.23 0.24 None nla-digbench/ps6-ll.yml unknown 0.22 0.22 None nla-digbench/sqrt1-ll.yml unknown 0.30 0.30 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml unknown 0.11 0.11 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml unknown 0.16 0.16 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml unknown 0.16 0.16 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml unknown 0.17 0.17 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml unknown 0.15 0.16 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 0.33 0.34 None nla-digbench-scaling/bresenham-ll_valuebound10.yml unknown 0.37 0.37 None nla-digbench-scaling/bresenham-ll_valuebound100.yml unknown 0.38 0.39 None nla-digbench-scaling/bresenham-ll_valuebound2.yml unknown 0.37 0.38 None nla-digbench-scaling/bresenham-ll_valuebound20.yml unknown 0.38 0.38 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 0.42 0.43 None nla-digbench-scaling/bresenham-ll_valuebound50.yml unknown 0.37 0.38 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml unknown 0.12 0.13 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml unknown 0.29 0.30 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml unknown 0.35 0.35 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml unknown 0.14 0.14 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml unknown 0.32 0.33 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml unknown 0.31 0.31 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml unknown 0.39 0.39 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 0.44 0.46 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 0.54 0.54 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 0.55 0.55 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 0.48 0.48 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 0.46 0.47 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 0.47 0.47 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 0.45 0.46 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml unknown 0.24 0.25 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 0.34 0.34 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 0.36 0.36 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml unknown 0.55 0.55 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 0.46 0.46 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 0.37 0.38 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 0.39 0.39 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 0.75 0.75 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 0.83 0.84 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 0.87 0.87 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 0.74 0.75 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 0.77 0.77 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 0.74 0.75 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 0.86 0.88 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml unknown 0.12 0.12 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml unknown 0.28 0.28 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml unknown 0.35 0.35 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml unknown 0.20 0.20 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml unknown 0.28 0.28 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml unknown 0.33 0.33 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml unknown 0.27 0.28 None nla-digbench-scaling/dijkstra-u_valuebound1.yml unknown 0.29 0.29 None nla-digbench-scaling/dijkstra-u_valuebound10.yml unknown 0.28 0.28 None nla-digbench-scaling/dijkstra-u_valuebound100.yml unknown 0.36 0.36 None nla-digbench-scaling/dijkstra-u_valuebound2.yml unknown 0.31 0.31 None nla-digbench-scaling/dijkstra-u_valuebound20.yml unknown 0.28 0.29 None nla-digbench-scaling/dijkstra-u_valuebound5.yml unknown 0.34 0.35 None nla-digbench-scaling/dijkstra-u_valuebound50.yml unknown 0.27 0.28 None nla-digbench-scaling/divbin2_unwindbound1.yml true 0.11 0.12 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 0.21 0.22 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 0.19 0.19 None nla-digbench-scaling/divbin2_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 0.20 0.20 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 0.20 0.20 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 0.22 0.22 None nla-digbench-scaling/divbin2_valuebound1.yml unknown 0.26 0.26 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 0.26 0.26 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 0.26 0.26 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 0.27 0.27 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 0.28 0.28 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 0.27 0.28 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 0.26 0.26 None nla-digbench-scaling/divbin_unwindbound1.yml true 0.12 0.13 None nla-digbench-scaling/divbin_unwindbound10.yml unknown 0.21 0.21 None nla-digbench-scaling/divbin_unwindbound100.yml unknown 0.20 0.20 None nla-digbench-scaling/divbin_unwindbound2.yml unknown 0.10 0.11 None nla-digbench-scaling/divbin_unwindbound20.yml unknown 0.20 0.20 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 0.18 0.18 None nla-digbench-scaling/divbin_unwindbound50.yml unknown 0.19 0.19 None nla-digbench-scaling/divbin_valuebound1.yml unknown 0.27 0.27 None nla-digbench-scaling/divbin_valuebound10.yml unknown 0.28 0.29 None nla-digbench-scaling/divbin_valuebound100.yml unknown 0.28 0.28 None nla-digbench-scaling/divbin_valuebound2.yml unknown 0.33 0.33 None nla-digbench-scaling/divbin_valuebound20.yml unknown 0.28 0.29 None nla-digbench-scaling/divbin_valuebound5.yml unknown 0.39 0.39 None nla-digbench-scaling/divbin_valuebound50.yml unknown 0.27 0.28 None nla-digbench-scaling/egcd-ll_unwindbound1.yml unknown 0.12 0.12 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 0.24 0.24 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 0.35 0.36 None nla-digbench-scaling/egcd-ll_unwindbound2.yml unknown 0.13 0.13 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 0.25 0.26 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 0.26 0.28 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 0.25 0.27 None nla-digbench-scaling/egcd-ll_valuebound1.yml unknown 0.27 0.29 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 0.30 0.30 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 0.29 0.30 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 0.28 0.28 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 0.30 0.30 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 0.27 0.28 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 0.31 0.31 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml unknown 0.13 0.13 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml unknown 0.75 0.76 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml unknown 0.73 0.73 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml unknown 0.38 0.38 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml unknown 0.73 0.73 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml unknown 0.81 0.82 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml unknown 0.73 0.75 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 2.47 2.47 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 2.93 2.94 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 3.04 3.04 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 2.54 2.57 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 2.99 2.99 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 2.85 2.86 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 2.94 3.01 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml unknown 0.12 0.12 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 0.62 0.63 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 0.59 0.59 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml unknown 0.27 0.27 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 0.56 0.57 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml unknown 0.99 1.00 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 0.56 0.57 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 1.30 1.31 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 1.42 1.42 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 1.33 1.33 None nla-digbench-scaling/egcd3-ll_valuebound2.yml unknown 1.33 1.34 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 1.27 1.27 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 1.28 1.29 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 1.34 1.34 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 0.15 0.15 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 3.99 4.01 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 0.21 0.21 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 0.52 0.53 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_valuebound1.yml TIMEOUT 3.99 4.02 None nla-digbench-scaling/fermat1-ll_valuebound10.yml TIMEOUT 3.98 4.00 None nla-digbench-scaling/fermat1-ll_valuebound100.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_valuebound2.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_valuebound20.yml TIMEOUT 3.99 4.01 None nla-digbench-scaling/fermat1-ll_valuebound5.yml TIMEOUT 4.00 4.01 None nla-digbench-scaling/fermat1-ll_valuebound50.yml TIMEOUT 3.99 4.01 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 0.10 0.10 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 0.15 0.16 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 0.16 0.16 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 0.16 0.16 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 0.14 0.14 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 0.14 0.14 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 0.31 0.31 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 0.33 0.34 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 0.35 0.35 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 0.32 0.32 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 0.36 0.36 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 0.31 0.31 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 0.36 0.37 None nla-digbench-scaling/freire1_unwindbound1.yml unknown 0.08 0.08 None nla-digbench-scaling/freire1_unwindbound10.yml unknown 0.13 0.13 None nla-digbench-scaling/freire1_unwindbound100.yml unknown 0.13 0.13 None nla-digbench-scaling/freire1_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/freire1_unwindbound20.yml unknown 0.14 0.14 None nla-digbench-scaling/freire1_unwindbound5.yml unknown 0.10 0.11 None nla-digbench-scaling/freire1_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/freire1_valuebound1.yml unknown 0.22 0.22 None nla-digbench-scaling/freire1_valuebound10.yml unknown 0.21 0.22 None nla-digbench-scaling/freire1_valuebound100.yml unknown 0.22 0.23 None nla-digbench-scaling/freire1_valuebound2.yml unknown 0.24 0.25 None nla-digbench-scaling/freire1_valuebound20.yml unknown 0.23 0.24 None nla-digbench-scaling/freire1_valuebound5.yml unknown 0.21 0.21 None nla-digbench-scaling/freire1_valuebound50.yml unknown 0.21 0.21 None nla-digbench-scaling/freire2_unwindbound1.yml unknown 0.10 0.10 None nla-digbench-scaling/freire2_unwindbound10.yml unknown 0.18 0.18 None nla-digbench-scaling/freire2_unwindbound100.yml unknown 0.18 0.18 None nla-digbench-scaling/freire2_unwindbound2.yml unknown 0.14 0.15 None nla-digbench-scaling/freire2_unwindbound20.yml unknown 0.18 0.18 None nla-digbench-scaling/freire2_unwindbound5.yml unknown 0.17 0.17 None nla-digbench-scaling/freire2_unwindbound50.yml unknown 0.20 0.20 None nla-digbench-scaling/freire2_valuebound1.yml unknown 0.34 0.34 None nla-digbench-scaling/freire2_valuebound10.yml unknown 0.34 0.36 None nla-digbench-scaling/freire2_valuebound100.yml unknown 0.37 0.40 None nla-digbench-scaling/freire2_valuebound2.yml unknown 0.33 0.34 None nla-digbench-scaling/freire2_valuebound20.yml unknown 0.36 0.38 None nla-digbench-scaling/freire2_valuebound5.yml unknown 0.34 0.37 None nla-digbench-scaling/freire2_valuebound50.yml unknown 0.35 0.36 None nla-digbench-scaling/geo1-ll_unwindbound1.yml unknown 0.10 0.10 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 0.17 0.18 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 0.18 0.19 None nla-digbench-scaling/geo1-ll_unwindbound2.yml unknown 0.10 0.11 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 0.16 0.17 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 0.17 0.17 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/geo1-ll_valuebound1.yml unknown 0.35 0.36 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 0.39 0.40 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 0.42 0.42 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 0.36 0.36 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 0.38 0.38 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 0.40 0.41 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 0.39 0.40 None nla-digbench-scaling/geo1-u_unwindbound1.yml unknown 0.13 0.13 None nla-digbench-scaling/geo1-u_unwindbound10.yml unknown 0.14 0.15 None nla-digbench-scaling/geo1-u_unwindbound100.yml unknown 0.14 0.15 None nla-digbench-scaling/geo1-u_unwindbound2.yml unknown 0.13 0.14 None nla-digbench-scaling/geo1-u_unwindbound20.yml unknown 0.13 0.13 None nla-digbench-scaling/geo1-u_unwindbound5.yml unknown 0.14 0.14 None nla-digbench-scaling/geo1-u_unwindbound50.yml unknown 0.13 0.14 None nla-digbench-scaling/geo1-u_valuebound1.yml unknown 0.28 0.29 None nla-digbench-scaling/geo1-u_valuebound10.yml unknown 0.30 0.30 None nla-digbench-scaling/geo1-u_valuebound100.yml unknown 0.32 0.32 None nla-digbench-scaling/geo1-u_valuebound2.yml unknown 0.28 0.28 None nla-digbench-scaling/geo1-u_valuebound20.yml unknown 0.37 0.37 None nla-digbench-scaling/geo1-u_valuebound5.yml unknown 0.28 0.28 None nla-digbench-scaling/geo1-u_valuebound50.yml unknown 0.34 0.34 None nla-digbench-scaling/geo2-ll_unwindbound1.yml unknown 0.10 0.10 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 0.14 0.14 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 0.17 0.18 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 0.13 0.14 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 0.16 0.17 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 0.15 0.15 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 0.13 0.14 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 0.35 0.35 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 0.35 0.35 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 0.38 0.39 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 0.35 0.35 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 0.38 0.39 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 0.38 0.39 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 0.40 0.41 None nla-digbench-scaling/geo3-ll_unwindbound1.yml unknown 0.09 0.09 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 0.15 0.16 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 0.14 0.15 None nla-digbench-scaling/geo3-ll_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 0.14 0.14 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 0.13 0.14 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 0.14 0.14 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 0.40 0.40 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 0.40 0.41 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 0.41 0.42 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 0.43 0.43 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 0.42 0.42 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 0.40 0.41 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 0.43 0.44 None nla-digbench-scaling/hard-ll_unwindbound1.yml unknown 0.12 0.12 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 0.30 0.31 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 0.31 0.33 None nla-digbench-scaling/hard-ll_unwindbound2.yml unknown 0.12 0.12 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 0.30 0.31 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 0.31 0.34 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 0.31 0.31 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 0.67 0.67 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 0.69 0.69 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 0.71 0.71 None nla-digbench-scaling/hard-ll_valuebound2.yml unknown 0.69 0.70 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 0.72 0.73 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 0.72 0.72 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 0.79 0.79 None nla-digbench-scaling/hard-u_unwindbound1.yml unknown 0.10 0.11 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 0.21 0.21 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 0.21 0.22 None nla-digbench-scaling/hard-u_unwindbound2.yml unknown 0.12 0.12 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 0.21 0.21 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 0.21 0.22 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 0.22 0.23 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 0.36 0.36 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 0.36 0.37 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 0.36 0.36 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 0.36 0.36 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 0.39 0.40 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 0.39 0.42 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 0.42 0.43 None nla-digbench-scaling/hard2_unwindbound1.yml unknown 0.12 0.13 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 0.43 0.44 None nla-digbench-scaling/hard2_unwindbound100.yml unknown 0.42 0.43 None nla-digbench-scaling/hard2_unwindbound2.yml unknown 0.13 0.13 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 0.45 0.45 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 0.47 0.48 None nla-digbench-scaling/hard2_unwindbound50.yml unknown 0.56 0.59 None nla-digbench-scaling/hard2_valuebound1.yml unknown 0.80 0.80 None nla-digbench-scaling/hard2_valuebound10.yml unknown 0.70 0.70 None nla-digbench-scaling/hard2_valuebound100.yml unknown 0.87 0.88 None nla-digbench-scaling/hard2_valuebound2.yml unknown 0.69 0.70 None nla-digbench-scaling/hard2_valuebound20.yml unknown 0.77 0.77 None nla-digbench-scaling/hard2_valuebound5.yml unknown 0.69 0.70 None nla-digbench-scaling/hard2_valuebound50.yml unknown 0.79 0.80 None nla-digbench-scaling/knuth_unwindbound1.yml unknown 0.44 0.44 None nla-digbench-scaling/knuth_unwindbound10.yml unknown 0.35 0.35 None nla-digbench-scaling/knuth_unwindbound100.yml unknown 0.33 0.33 None nla-digbench-scaling/knuth_unwindbound2.yml unknown 0.34 0.34 None nla-digbench-scaling/knuth_unwindbound20.yml unknown 0.33 0.33 None nla-digbench-scaling/knuth_unwindbound5.yml unknown 0.33 0.33 None nla-digbench-scaling/knuth_unwindbound50.yml unknown 0.34 0.36 None nla-digbench-scaling/knuth_valuebound1.yml unknown 0.24 0.25 None nla-digbench-scaling/knuth_valuebound10.yml unknown 0.18 0.18 None nla-digbench-scaling/knuth_valuebound100.yml unknown 0.19 0.20 None nla-digbench-scaling/knuth_valuebound2.yml unknown 0.21 0.21 None nla-digbench-scaling/knuth_valuebound20.yml unknown 0.19 0.21 None nla-digbench-scaling/knuth_valuebound5.yml unknown 0.21 0.21 None nla-digbench-scaling/knuth_valuebound50.yml unknown 0.20 0.20 None nla-digbench-scaling/lcm1_unwindbound1.yml unknown 0.15 0.16 None nla-digbench-scaling/lcm1_unwindbound10.yml unknown 0.42 0.43 None nla-digbench-scaling/lcm1_unwindbound100.yml unknown 0.43 0.44 None nla-digbench-scaling/lcm1_unwindbound2.yml unknown 0.16 0.17 None nla-digbench-scaling/lcm1_unwindbound20.yml unknown 0.51 0.52 None nla-digbench-scaling/lcm1_unwindbound5.yml unknown 0.37 0.37 None nla-digbench-scaling/lcm1_unwindbound50.yml unknown 0.55 0.56 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 0.77 0.77 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 0.61 0.61 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 0.70 0.71 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 0.60 0.61 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 0.62 0.63 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 0.61 0.61 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 0.61 0.62 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 0.11 0.11 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 0.16 0.16 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 0.17 0.18 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 0.11 0.12 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 0.17 0.17 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 0.20 0.21 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 0.19 0.19 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 0.19 0.20 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 0.19 0.19 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 0.18 0.19 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 0.18 0.18 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 0.19 0.19 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 0.19 0.19 None nla-digbench-scaling/mannadiv_unwindbound1.yml unknown 0.11 0.12 None nla-digbench-scaling/mannadiv_unwindbound10.yml unknown 0.19 0.20 None nla-digbench-scaling/mannadiv_unwindbound100.yml unknown 0.17 0.20 None nla-digbench-scaling/mannadiv_unwindbound2.yml unknown 0.12 0.14 None nla-digbench-scaling/mannadiv_unwindbound20.yml unknown 0.17 0.18 None nla-digbench-scaling/mannadiv_unwindbound5.yml unknown 0.16 0.17 None nla-digbench-scaling/mannadiv_unwindbound50.yml unknown 0.17 0.17 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 0.21 0.22 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 0.21 0.21 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 0.21 0.22 None nla-digbench-scaling/mannadiv_valuebound2.yml unknown 0.19 0.20 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 0.23 0.24 None nla-digbench-scaling/mannadiv_valuebound5.yml unknown 0.19 0.20 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 0.20 0.21 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml unknown 0.11 0.12 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 0.20 0.22 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 0.20 0.21 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 0.22 0.22 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 0.20 0.21 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 0.20 0.20 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 0.20 0.21 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 0.26 0.28 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 0.31 0.32 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 0.26 0.26 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 0.31 0.31 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 0.24 0.24 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 0.23 0.24 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 0.24 0.25 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml unknown 0.10 0.10 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 0.18 0.18 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 0.16 0.17 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 0.11 0.12 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 0.18 0.19 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 0.14 0.15 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 0.16 0.18 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 0.20 0.21 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 0.19 0.20 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 0.23 0.23 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 0.19 0.19 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 0.19 0.20 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 0.19 0.20 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 0.19 0.20 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 0.08 0.09 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 0.14 0.14 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 0.16 0.17 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 0.17 0.18 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 0.16 0.17 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 0.15 0.15 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 0.21 0.21 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 0.24 0.24 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 0.24 0.24 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 0.19 0.19 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 0.22 0.22 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 0.18 0.18 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 0.19 0.19 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 0.08 0.09 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 0.14 0.15 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 0.14 0.15 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 0.12 0.13 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 0.20 0.21 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 0.17 0.18 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 0.24 0.25 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 0.20 0.21 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 0.20 0.21 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 0.19 0.19 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 0.21 0.22 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 0.20 0.21 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 0.20 0.21 None nla-digbench-scaling/ps4-ll_unwindbound1.yml unknown 0.09 0.09 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 0.15 0.16 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 0.16 0.17 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 0.09 0.10 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 0.15 0.17 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 0.18 0.19 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 0.18 0.19 None nla-digbench-scaling/ps4-ll_valuebound1.yml unknown 0.21 0.21 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 0.27 0.27 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 0.25 0.26 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 0.26 0.28 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 0.24 0.24 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 0.22 0.22 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 0.22 0.22 None nla-digbench-scaling/ps5-ll_unwindbound1.yml unknown 0.12 0.13 None nla-digbench-scaling/ps5-ll_unwindbound10.yml unknown 0.17 0.17 None nla-digbench-scaling/ps5-ll_unwindbound100.yml unknown 0.19 0.20 None nla-digbench-scaling/ps5-ll_unwindbound2.yml unknown 0.12 0.13 None nla-digbench-scaling/ps5-ll_unwindbound20.yml unknown 0.16 0.18 None nla-digbench-scaling/ps5-ll_unwindbound5.yml unknown 0.16 0.18 None nla-digbench-scaling/ps5-ll_unwindbound50.yml unknown 0.17 0.18 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 0.22 0.25 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 0.24 0.24 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 0.30 0.30 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 0.25 0.25 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 0.28 0.29 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 0.27 0.29 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 0.26 0.30 None nla-digbench-scaling/ps6-ll_unwindbound1.yml unknown 0.10 0.11 None nla-digbench-scaling/ps6-ll_unwindbound10.yml unknown 0.16 0.19 None nla-digbench-scaling/ps6-ll_unwindbound100.yml unknown 0.17 0.17 None nla-digbench-scaling/ps6-ll_unwindbound2.yml unknown 0.11 0.11 None nla-digbench-scaling/ps6-ll_unwindbound20.yml unknown 0.16 0.18 None nla-digbench-scaling/ps6-ll_unwindbound5.yml unknown 0.16 0.17 None nla-digbench-scaling/ps6-ll_unwindbound50.yml unknown 0.16 0.16 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 0.24 0.24 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 0.27 0.27 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 0.25 0.25 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 0.27 0.27 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 0.29 0.30 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 0.30 0.31 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 0.25 0.25 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 0.10 0.11 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 0.34 0.35 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 0.32 0.32 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 0.12 0.12 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 0.32 0.32 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 0.23 0.25 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 0.33 0.33 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 0.35 0.35 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 0.36 0.36 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 0.37 0.37 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 0.33 0.34 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 0.36 0.36 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 0.33 0.34 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 0.38 0.39 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 397.82 44.16 - Statistics: 803 Files correct: 106 correct true: 106 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 697 Score: 212 (max: 1368)