BENCHMARK INFORMATION benchmark definition: /storage/repos/smtinterpol/SMTInterpolTest/benchexec/defs/bv-preprocessing-tests.xml name: bv-preprocessing-tests run sets: BV.SMT-LIB date: Thu, 2021-05-06 21:27:27 CEST tool: SMTInterpol 2.5-785-g78a327c3 tool executable: /root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: benchexec os: Linux-5.4.65-1-pve-x86_64-with-debian-10.9 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ BV.SMT-LIB Run set 1 of 1 with options '-no-success -smt2' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- crafted/bvlt.smt2.yml true 0.43 0.27 None crafted/bitops1.smt2.yml false 0.42 0.28 None crafted/bitvec3.smt2.yml false 0.52 0.33 None crafted/bitops5.smt2.yml false 0.36 0.25 None crafted/bitvec7.smt2.yml false 0.34 0.23 None crafted/bitops0.smt2.yml false 0.54 0.34 None crafted/bitvec2.smt2.yml false 0.27 0.20 None crafted/bitops4.smt2.yml false 0.30 0.21 None crafted/bitops2.smt2.yml false 0.31 0.21 None crafted/bitvec0.smt2.yml false 0.41 0.27 None crafted/bit-reversal.smt2.yml TIMEOUT 900.37 896.36 None crafted/bitvec4.smt2.yml false 0.35 0.28 None crafted/bit-counting.smt2.yml false 1.89 1.22 None crafted/bitvec8.smt2.yml false 0.29 0.29 None crafted/bbb.smt2.yml false 0.23 0.17 None crafted/bv8.smt2.yml false 0.29 0.20 None crafted/bb.smt2.yml false 0.30 0.22 None crafted/bitops3.smt2.yml false 0.46 0.30 None crafted/bitvec1.smt2.yml false 0.40 0.32 None crafted/bitops7.smt2.yml true 0.33 0.22 None crafted/bitvec5.smt2.yml false 0.36 0.26 None 20170501-Heizmann-UltimateAutomizer/modulus_true-unreach-call_true-no-overflow.i_242.smt2.yml TIMEOUT 900.36 898.15 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_11.smt2.yml false 3.01 1.67 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_7.smt2.yml false 3.01 1.79 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2.yml false 2.97 2.04 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_6.smt2.yml false 2.94 1.69 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2.yml false 3.04 1.62 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_10.smt2.yml false 4.66 2.44 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_14.smt2.yml false 3.59 2.02 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_4.smt2.yml false 3.01 1.61 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2.yml false 2.38 1.47 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_12.smt2.yml false 4.59 2.41 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_8.smt2.yml false 4.06 2.12 None 20190429-UltimateAutomizerSvcomp2019/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c_AllErrorsAtOnce_Iteration21_TraceCheck_0.smt2.yml false 0.67 0.41 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_13.smt2.yml false 3.22 1.83 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_9.smt2.yml false 3.08 1.68 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_5.smt2.yml false 2.62 1.69 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2.yml false 3.15 1.84 None tacas07/Y86_btnft.smt2.yml TIMEOUT 900.32 896.26 None tacas07/Y86_std.smt2.yml TIMEOUT 900.31 898.72 None tacas07/s-40-50-bv.smt2.yml TIMEOUT 900.35 896.68 None tacas07/BBB-32.smt2.yml TIMEOUT 900.34 898.35 None tacas07/rfunit_flat-64.smt2.yml TIMEOUT 900.44 888.47 None bmc-bv/send-more-money.smt2.yml TIMEOUT 900.32 898.81 None bmc-bv/adpcm.smt2.yml true 0.30 0.21 None bmc-bv/ex34.smt2.yml false 2.77 1.48 None bmc-bv/ex7_prime.smt2.yml TIMEOUT 900.66 876.11 None bmc-bv/inf8.smt2.yml false 0.47 0.39 None bmc-bv/ex19.smt2.yml TIMEOUT 900.32 896.06 None bmc-bv/ex30.smt2.yml TIMEOUT 900.94 858.31 None bmc-bv/queens.smt2.yml true 5.98 3.61 None bmc-bv/graycode.smt2.yml true 2.71 1.49 None bmc-bv/fermat.smt2.yml TIMEOUT 900.37 897.57 None bmc-bv/Prim_4.smt2.yml false 0.25 0.23 None bmc-bv/inf5.smt2.yml true 1.04 0.82 None bmc-bv/simpleWhile.smt2.yml TIMEOUT 900.34 893.04 None bmc-bv/inf1.smt2.yml true 0.95 0.55 None bmc-bv/ex10.smt2.yml true 0.36 0.25 None bmc-bv/ex2_prime.smt2.yml TIMEOUT 900.39 893.67 None bmc-bv/matrixsqrt.smt2.yml TIMEOUT 900.29 901.45 None bmc-bv/ex23.smt2.yml TIMEOUT 900.36 896.00 None bmc-bv/sudoku.smt2.yml true 34.52 27.16 None bmc-bv/loop_on_input.smt2.yml true 1.33 0.76 None bmc-bv/ex37.smt2.yml TIMEOUT 900.37 897.05 None bmc-bv/magic.smt2.yml true 3.68 2.26 None bmc-bv/ex33.smt2.yml TIMEOUT 900.30 900.65 None bmc-bv/bitcount32.smt2.yml TIMEOUT 900.25 899.87 None bmc-bv/ex49.smt2.yml TIMEOUT 900.42 890.78 None bmc-bv/intSqRoot.smt2.yml ERROR (1) 572.65 299.24 None bmc-bv/inf6.smt2.yml false 0.44 0.32 None bmc-bv/bitcount16.smt2.yml TIMEOUT 900.42 887.14 None bmc-bv/sort.smt2.yml true 130.17 122.16 None bmc-bv/ex13.smt2.yml TIMEOUT 900.28 900.26 None challenge/multiplyOverflow.smt2.yml TIMEOUT 900.29 899.36 None challenge/integerOverflow.smt2.yml TIMEOUT 900.33 897.31 None bmc-bv-svcomp14/jain_1_true.c.17.smt2.yml TIMEOUT 900.35 896.75 None bmc-bv-svcomp14/jain_2_true.c.21.smt2.yml TIMEOUT 900.34 896.63 None bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 894.22 None bmc-bv-svcomp14/gcd_3_true.c.21.smt2.yml TIMEOUT 900.25 899.81 None bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.30 896.58 None bmc-bv-svcomp14/sum02_true.c.17.smt2.yml TIMEOUT 900.32 897.97 None bmc-bv-svcomp14/soft_float_3_true.c.cil.c.17.smt2.yml false 2.81 2.09 None bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.30 896.83 None bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.17.smt2.yml TIMEOUT 900.30 897.02 None bmc-bv-svcomp14/jain_6_true.c.17.smt2.yml TIMEOUT 900.34 897.03 None bmc-bv-svcomp14/byte_add_false.c.21.smt2.yml true 40.10 32.48 None bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.30 896.74 None bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 894.61 None bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.32 893.00 None bmc-bv-svcomp14/soft_float_1_true.c.cil.c.21.smt2.yml TIMEOUT 900.77 872.68 None bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.30 895.56 None bmc-bv-svcomp14/soft_float_5_true.c.cil.c.17.smt2.yml false 3.42 2.24 None bmc-bv-svcomp14/jain_4_true.c.17.smt2.yml TIMEOUT 900.33 897.15 None bmc-bv-svcomp14/jain_7_true.c.21.smt2.yml TIMEOUT 900.32 898.71 None bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.30 897.16 None bmc-bv-svcomp14/soft_float_2_true.c.cil.c.17.smt2.yml false 2.52 2.44 None bmc-bv-svcomp14/num_conversion_2_true.c.21.smt2.yml false 1.79 1.66 None bmc-bv-svcomp14/interleave_bits_true.c.17.smt2.yml false 0.34 0.32 None bmc-bv-svcomp14/gcd_1_true.c.21.smt2.yml TIMEOUT 900.25 899.57 None bmc-bv-svcomp14/gcd_2_true.c.17.smt2.yml TIMEOUT 900.26 899.70 None bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 895.12 None bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.31 894.50 None bmc-bv-svcomp14/byte_add_1_true.c.17.smt2.yml false 29.15 21.57 None bmc-bv-svcomp14/modulus_true.c.21.smt2.yml TIMEOUT 900.28 899.05 None bmc-bv-svcomp14/byte_add_2_true.c.21.smt2.yml false 44.87 37.86 None bmc-bv-svcomp14/parity_true.c.21.smt2.yml TIMEOUT 900.35 895.45 None bmc-bv-svcomp14/soft_float_4_true.c.cil.c.17.smt2.yml TIMEOUT 900.63 871.61 None bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.28 894.94 None bmc-bv-svcomp14/soft_float_5_true.c.cil.c.21.smt2.yml false 3.74 3.28 None bmc-bv-svcomp14/soft_float_1_true.c.cil.c.17.smt2.yml TIMEOUT 900.34 893.38 None bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 894.79 None bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 894.19 None bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.21.smt2.yml TIMEOUT 900.31 894.72 None bmc-bv-svcomp14/jain_6_true.c.21.smt2.yml TIMEOUT 900.33 898.14 None bmc-bv-svcomp14/byte_add_false.c.17.smt2.yml true 33.13 28.25 None bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.31 894.74 None bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.21.smt2.yml TIMEOUT 900.30 896.19 None bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.30 896.61 None bmc-bv-svcomp14/jain_1_true.c.21.smt2.yml TIMEOUT 900.34 897.43 None bmc-bv-svcomp14/jain_2_true.c.17.smt2.yml TIMEOUT 900.32 898.29 None bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.21.smt2.yml TIMEOUT 900.32 893.35 None bmc-bv-svcomp14/sum02_true.c.21.smt2.yml TIMEOUT 900.29 900.04 None bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.31 894.79 None bmc-bv-svcomp14/gcd_3_true.c.17.smt2.yml TIMEOUT 900.26 899.41 None bmc-bv-svcomp14/soft_float_3_true.c.cil.c.21.smt2.yml false 3.50 3.91 None bmc-bv-svcomp14/parity_true.c.17.smt2.yml TIMEOUT 900.29 899.66 None bmc-bv-svcomp14/soft_float_4_true.c.cil.c.21.smt2.yml TIMEOUT 900.57 875.45 None bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.32 892.91 None bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.31 895.72 None bmc-bv-svcomp14/byte_add_1_true.c.21.smt2.yml false 42.93 36.43 None bmc-bv-svcomp14/modulus_true.c.17.smt2.yml TIMEOUT 900.27 898.73 None bmc-bv-svcomp14/byte_add_2_true.c.17.smt2.yml false 29.91 23.60 None bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2.yml false 1.85 1.02 None bmc-bv-svcomp14/interleave_bits_true.c.21.smt2.yml false 0.35 0.25 None bmc-bv-svcomp14/gcd_1_true.c.17.smt2.yml TIMEOUT 900.26 899.22 None bmc-bv-svcomp14/gcd_2_true.c.21.smt2.yml TIMEOUT 900.27 899.67 None bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.21.smt2.yml TIMEOUT 900.32 895.70 None bmc-bv-svcomp14/jain_4_true.c.21.smt2.yml TIMEOUT 900.37 896.99 None bmc-bv-svcomp14/jain_7_true.c.17.smt2.yml TIMEOUT 900.34 896.58 None bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.17.smt2.yml TIMEOUT 900.33 894.35 None bmc-bv-svcomp14/soft_float_2_true.c.cil.c.21.smt2.yml false 3.57 3.00 None 20200415-Yurichev/t2.smt2.yml TIMEOUT 900.31 830.03 None 2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.load32.Minus32.Or32.Shr32.store32.am_shl32.0001.smt2.yml TIMEOUT 900.50 881.42 None 2017-BuchwaldFried/counterexample.dump.ia32_Mul_base_disp--Add32.load32.Mul32.Mulh_u32.0005.smt2.yml TIMEOUT 900.29 900.28 None 2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.Add32.load32.Or32.Or32.store32.am_shl32.0001.smt2.yml TIMEOUT 900.39 888.43 None 2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.Add32.load32.Shl32.Shr32.store32.am_shl32.0001.smt2.yml TIMEOUT 900.33 894.03 None galois/iffyInterleavedModMult-128.smt2.yml TIMEOUT 900.79 858.73 None galois/iffyInterleavedModMult-32.smt2.yml TIMEOUT 900.36 895.15 None galois/iffyInterleavedModMult-4.smt2.yml false 29.53 24.59 None galois/iffyInterleavedModMult-8.smt2.yml TIMEOUT 900.33 899.17 None pipe/pipe-noabs.atlas.qf_bv.smt2.yml TIMEOUT 900.35 886.63 None 20170531-Hansen-Check/division_by_zero1.smt2.yml false 0.37 0.40 None 20170531-Hansen-Check/division_by_zero.smt2.yml true 0.34 0.24 None 20170531-Hansen-Check/division_by_zero0.smt2.yml false 0.28 0.29 None pspace/ndist.b.24990.smt2.yml TIMEOUT 900.53 890.29 None pspace/ndist.b.25489.smt2.yml unknown 719.87 615.99 None pspace/ndist.b.23493.smt2.yml TIMEOUT 902.01 883.22 None pspace/power2sum.7888.smt2.yml TIMEOUT 900.77 877.35 None pspace/ndist.a.22495.smt2.yml TIMEOUT 901.13 834.33 None pspace/power2sum.6296.smt2.yml TIMEOUT 901.03 884.85 None pspace/shift1add.14985.smt2.yml unknown 164.81 119.05 None pspace/ndist.a.21996.smt2.yml TIMEOUT 900.25 880.75 None pspace/shift1add.26949.smt2.yml unknown 635.08 385.10 None pspace/shift1add.25952.smt2.yml unknown 685.42 454.42 None pspace/power2sum.9679.smt2.yml TIMEOUT 900.33 894.79 None pspace/power2sum.9480.smt2.yml TIMEOUT 900.38 892.86 None pspace/ndist.a.28483.smt2.yml TIMEOUT 901.51 825.53 None pspace/ndist.b.29481.smt2.yml true 542.38 532.16 None pspace/ndist.b.20998.smt2.yml true 323.56 320.16 None pspace/power2sum.9281.smt2.yml TIMEOUT 900.51 887.47 None pspace/power2sum.8883.smt2.yml TIMEOUT 900.42 885.98 None pspace/shift1add.11994.smt2.yml unknown 261.84 174.25 None pspace/power2sum.8485.smt2.yml TIMEOUT 900.35 890.76 None pspace/ndist.a.27984.smt2.yml unknown 804.18 667.77 None pspace/ndist.b.26986.smt2.yml TIMEOUT 900.36 894.45 None pspace/shift1add.28943.smt2.yml unknown 609.69 372.89 None pspace/shift1add.23958.smt2.yml TIMEOUT 900.42 500.24 None pspace/ndist.b.20499.smt2.yml TIMEOUT 900.39 749.20 None pspace/ndist.a.28982.smt2.yml TIMEOUT 902.04 789.38 None pspace/ndist.b.29980.smt2.yml unknown 736.55 510.09 None pspace/power2sum.7092.smt2.yml TIMEOUT 900.67 885.01 None pspace/ndist.a.20000.smt2.yml unknown 805.69 587.27 None pspace/power2sum.6097.smt2.yml TIMEOUT 900.34 891.55 None pspace/ndist.a.27485.smt2.yml TIMEOUT 900.58 887.75 None pspace/ndist.b.26487.smt2.yml TIMEOUT 900.37 893.57 None pspace/shift1add.19970.smt2.yml TIMEOUT 902.01 539.01 None pspace/ndist.b.24491.smt2.yml true 679.13 672.08 None pspace/shift1add.20967.smt2.yml unknown 700.17 400.59 None pspace/ndist.b.23992.smt2.yml TIMEOUT 900.57 888.78 None pspace/power2sum.5699.smt2.yml TIMEOUT 900.44 884.13 None pspace/ndist.b.25988.smt2.yml true 550.64 540.45 None pspace/power2sum.8684.smt2.yml TIMEOUT 900.82 882.08 None pspace/shift1add.17976.smt2.yml unknown 231.33 173.81 None pspace/shift1add.22961.smt2.yml unknown 798.54 458.67 None pspace/ndist.a.22994.smt2.yml unknown 885.74 693.29 None pspace/ndist.a.21497.smt2.yml TIMEOUT 900.95 796.83 None pspace/power2sum.5500.smt2.yml TIMEOUT 901.79 802.69 None pspace/power2sum.7689.smt2.yml TIMEOUT 901.40 808.53 None pspace/shift1add.16979.smt2.yml unknown 473.39 284.82 None pspace/ndist.a.20998.smt2.yml unknown 462.67 354.45 None pspace/ndist.b.28483.smt2.yml true 711.34 700.51 None pspace/ndist.a.29481.smt2.yml TIMEOUT 901.97 692.86 None pspace/ndist.b.27984.smt2.yml TIMEOUT 900.47 891.41 None pspace/ndist.a.26986.smt2.yml TIMEOUT 900.86 833.48 None pspace/power2sum.6694.smt2.yml TIMEOUT 901.89 829.34 None pspace/ndist.a.23493.smt2.yml TIMEOUT 902.07 736.92 None pspace/shift1add.10000.smt2.yml unknown 307.11 173.55 None pspace/ndist.a.25489.smt2.yml TIMEOUT 902.10 767.13 None pspace/ndist.a.24990.smt2.yml TIMEOUT 901.00 820.90 None pspace/power2sum.9082.smt2.yml TIMEOUT 902.11 804.23 None pspace/shift1add.21964.smt2.yml TIMEOUT 902.06 504.23 None pspace/shift1add.18973.smt2.yml unknown 707.15 436.85 None pspace/ndist.b.21996.smt2.yml true 326.51 323.02 None pspace/ndist.b.22495.smt2.yml TIMEOUT 900.30 898.26 None pspace/power2sum.9878.smt2.yml TIMEOUT 900.40 884.80 None pspace/power2sum.8087.smt2.yml TIMEOUT 900.43 888.68 None pspace/power2sum.7291.smt2.yml TIMEOUT 900.38 889.74 None pspace/shift1add.15982.smt2.yml TIMEOUT 902.11 501.64 None pspace/power2sum.7490.smt2.yml TIMEOUT 900.38 889.99 None pspace/ndist.a.25988.smt2.yml TIMEOUT 900.44 889.69 None pspace/ndist.a.23992.smt2.yml TIMEOUT 902.11 749.27 None pspace/ndist.a.24491.smt2.yml TIMEOUT 902.13 626.05 None pspace/shift1add.24955.smt2.yml unknown 704.22 423.63 None pspace/power2sum.6495.smt2.yml TIMEOUT 900.35 891.13 None pspace/ndist.b.21497.smt2.yml true 426.72 419.90 None pspace/ndist.b.22994.smt2.yml TIMEOUT 900.47 883.56 None pspace/power2sum.6893.smt2.yml TIMEOUT 900.43 883.82 None pspace/ndist.b.20000.smt2.yml true 411.32 401.92 None pspace/shift1add.27946.smt2.yml unknown 732.28 434.27 None pspace/ndist.b.28982.smt2.yml true 202.33 196.90 None pspace/ndist.a.29980.smt2.yml TIMEOUT 902.11 769.07 None pspace/shift1add.13988.smt2.yml unknown 589.05 424.28 None pspace/ndist.a.20499.smt2.yml false 699.90 685.01 None pspace/shift1add.12991.smt2.yml unknown 132.60 101.97 None pspace/ndist.b.27485.smt2.yml TIMEOUT 900.32 895.72 None pspace/ndist.a.26487.smt2.yml unknown 861.70 749.98 None pspace/shift1add.10997.smt2.yml unknown 256.11 153.68 None pspace/power2sum.5898.smt2.yml TIMEOUT 902.09 861.67 None pspace/shift1add.29940.smt2.yml unknown 671.68 402.22 None pspace/power2sum.8286.smt2.yml TIMEOUT 900.68 886.73 None uum/uum12.smt2.yml TIMEOUT 900.41 889.83 None uum/uum8.smt2.yml TIMEOUT 900.36 891.19 None uum/uum16.smt2.yml TIMEOUT 900.45 887.18 None uum/uum4.smt2.yml false 29.68 22.17 None uum/uum32.smt2.yml TIMEOUT 900.33 822.51 None uum/uum28.smt2.yml TIMEOUT 900.37 888.08 None uum/uum20.smt2.yml TIMEOUT 900.64 873.79 None uum/uum24.smt2.yml TIMEOUT 900.75 864.93 None brummayerbiere/nlzbe016.smt2.yml false 68.49 64.81 None brummayerbiere/nlzbsdown016.smt2.yml false 62.77 61.22 None brummayerbiere/bitrev1024.smt2.yml TIMEOUT 900.25 899.73 None brummayerbiere/nlzbs008.smt2.yml false 1.74 0.97 None brummayerbiere/nlzbsdown064.smt2.yml TIMEOUT 900.25 899.23 None brummayerbiere/nlzbe064.smt2.yml TIMEOUT 900.25 899.88 None brummayerbiere/countbitssrl008.smt2.yml false 5.00 3.17 None brummayerbiere/countbitsrotate032.smt2.yml TIMEOUT 900.25 899.91 None brummayerbiere/countbits128.smt2.yml TIMEOUT 900.26 899.41 None brummayerbiere/countbitsrotate128.smt2.yml TIMEOUT 900.28 897.29 None brummayerbiere/countbits032.smt2.yml TIMEOUT 900.24 900.42 None brummayerbiere/countbits064.smt2.yml TIMEOUT 900.25 899.59 None brummayerbiere/nextpoweroftwo512.smt2.yml TIMEOUT 900.30 897.72 None brummayerbiere/bitrev2048.smt2.yml ERROR (1) 2.02 1.11 None brummayerbiere/nlzbsdown128.smt2.yml TIMEOUT 900.25 899.92 None brummayerbiere/nlzbe128.smt2.yml TIMEOUT 900.27 898.62 None brummayerbiere/bitrev0512.smt2.yml TIMEOUT 900.25 900.14 None brummayerbiere/bitrev4096.smt2.yml ERROR (1) 4.72 2.81 None brummayerbiere/countbitsrotate064.smt2.yml TIMEOUT 900.26 899.33 None brummayerbiere/countbitssrl256.smt2.yml TIMEOUT 900.30 897.74 None brummayerbiere/nlzbe032.smt2.yml TIMEOUT 900.25 899.51 None brummayerbiere/nlzbsdown032.smt2.yml TIMEOUT 900.25 899.57 None brummayerbiere/nlzbs256.smt2.yml TIMEOUT 900.28 899.52 None brummayerbiere/countbits016.smt2.yml TIMEOUT 900.31 896.32 None brummayerbiere/nextpoweroftwo256.smt2.yml TIMEOUT 900.29 898.65 None brummayerbiere/countbitsrotate016.smt2.yml false 715.80 704.39 None brummayerbiere/bitrev0256.smt2.yml TIMEOUT 900.25 900.18 None brummayerbiere/bitrev0032.smt2.yml false 338.25 336.62 None brummayerbiere/nextpoweroftwo128.smt2.yml TIMEOUT 900.27 899.26 None brummayerbiere/nlzbs128.smt2.yml TIMEOUT 900.25 899.84 None brummayerbiere/bitrev0128.smt2.yml TIMEOUT 900.25 899.81 None brummayerbiere/nextpoweroftwo032.smt2.yml TIMEOUT 900.25 900.19 None brummayerbiere/nlzbs032.smt2.yml TIMEOUT 900.25 899.66 None brummayerbiere/bitrev8192.smt2.yml ERROR (1) 13.29 10.29 None brummayerbiere/nlzbe256.smt2.yml TIMEOUT 900.30 896.80 None brummayerbiere/nlzbsdown256.smt2.yml TIMEOUT 900.28 899.11 None brummayerbiere/countbitsrotate008.smt2.yml false 2.41 1.46 None brummayerbiere/countbitssrl032.smt2.yml TIMEOUT 900.25 899.57 None brummayerbiere/countbitssrl128.smt2.yml TIMEOUT 900.27 898.04 None brummayerbiere/countbits1024.smt2.yml TIMEOUT 900.30 898.02 None brummayerbiere/countbits256.smt2.yml TIMEOUT 900.29 897.77 None brummayerbiere/nextpoweroftwo016.smt2.yml TIMEOUT 900.25 899.92 None brummayerbiere/nlzbs016.smt2.yml false 62.24 60.58 None brummayerbiere/nlzbe008.smt2.yml false 2.34 1.27 None brummayerbiere/nlzbsdown008.smt2.yml false 1.43 0.81 None brummayerbiere/countbitssrl064.smt2.yml TIMEOUT 900.25 899.41 None brummayerbiere/countbitsrotate256.smt2.yml TIMEOUT 900.33 894.43 None brummayerbiere/nlzbs064.smt2.yml TIMEOUT 900.26 899.32 None brummayerbiere/nextpoweroftwo064.smt2.yml TIMEOUT 900.25 899.72 None brummayerbiere/countbits512.smt2.yml TIMEOUT 900.30 896.74 None brummayerbiere/countbitssrl016.smt2.yml TIMEOUT 900.30 896.70 None brummayerbiere/bitrev0064.smt2.yml TIMEOUT 900.25 899.88 None sage/app10/bench_38.smt2.yml false 0.75 0.44 None sage/app10/bench_42.smt2.yml false 0.74 0.46 None sage/app10/bench_20.smt2.yml false 1.21 0.72 None sage/app10/bench_11.smt2.yml false 1.16 0.68 None sage/app10/bench_4.smt2.yml false 1.17 0.68 None sage/app10/bench_46.smt2.yml false 1.03 0.61 None sage/app10/bench_15.smt2.yml false 1.14 0.68 None sage/app10/bench_24.smt2.yml false 1.12 0.66 None sage/app10/bench_28.smt2.yml false 1.10 0.65 None sage/app10/bench_52.smt2.yml false 1.11 0.65 None sage/app10/bench_19.smt2.yml false 1.07 0.91 None sage/app10/bench_30.smt2.yml false 0.89 0.53 None sage/app10/bench_8.smt2.yml false 1.03 0.62 None sage/app10/bench_34.smt2.yml false 0.98 0.58 None sage/app10/bench_29.smt2.yml false 1.12 0.66 None sage/app10/bench_18.smt2.yml false 1.19 0.68 None sage/app10/bench_31.smt2.yml false 0.98 0.58 None sage/app10/bench_9.smt2.yml false 1.11 0.65 None sage/app10/bench_35.smt2.yml false 1.07 0.64 None sage/app10/bench_39.smt2.yml false 0.55 0.35 None sage/app10/bench_43.smt2.yml false 0.59 0.37 None sage/app10/bench_21.smt2.yml false 1.12 0.67 None sage/app10/bench_10.smt2.yml false 0.86 0.53 None sage/app10/bench_5.smt2.yml false 1.08 0.66 None sage/app10/bench_14.smt2.yml false 0.82 0.52 None sage/app10/bench_1.smt2.yml false 1.04 0.63 None sage/app10/bench_25.smt2.yml false 0.91 0.56 None sage/app10/bench_51.smt2.yml false 1.19 0.83 None sage/app10/bench_33.smt2.yml false 0.73 0.45 None sage/app10/bench_49.smt2.yml false 0.39 0.41 None sage/app10/bench_37.smt2.yml false 0.73 0.45 None sage/app10/bench_41.smt2.yml false 0.57 0.35 None sage/app10/bench_23.smt2.yml false 1.10 0.64 None sage/app10/bench_7.smt2.yml false 0.86 0.53 None sage/app10/bench_12.smt2.yml false 1.20 0.69 None sage/app10/bench_45.smt2.yml false 0.58 0.37 None sage/app10/bench_3.smt2.yml false 0.86 0.55 None sage/app10/bench_16.smt2.yml false 1.24 0.72 None sage/app10/bench_27.smt2.yml false 0.87 0.54 None sage/app10/bench_40.smt2.yml false 0.74 0.45 None sage/app10/bench_22.smt2.yml false 0.98 0.61 None sage/app10/bench_6.smt2.yml false 1.10 0.66 None sage/app10/bench_13.smt2.yml false 0.89 0.68 None sage/app10/bench_44.smt2.yml false 0.73 0.44 None sage/app10/bench_2.smt2.yml false 0.98 0.59 None sage/app10/bench_17.smt2.yml false 1.11 0.65 None sage/app10/bench_26.smt2.yml false 0.84 0.53 None sage/app10/bench_50.smt2.yml false 1.05 0.60 None sage/app10/bench_32.smt2.yml false 0.72 0.44 None sage/app10/bench_48.smt2.yml false 0.96 0.56 None sage/app10/bench_36.smt2.yml false 0.59 0.36 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 184255.29 12923.97 - Statistics: 351 Files correct: 142 correct true: 24 correct false: 118 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 209