BENCHMARK INFORMATION benchmark definition: /storage/repos/smtinterpol/SMTInterpolTest/benchexec/defs/bv-preprocessing-tests.xml name: bv-preprocessing-tests run sets: BV.SMT-LIB date: Fri, 2021-04-30 16:05:10 CEST tool: SMTInterpol 2.5-783-ge6635ac4 tool executable: /root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 60 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.46 0.39 None crafted/bitops1.smt2.yml false 0.46 0.45 None crafted/bitvec3.smt2.yml false 0.50 0.43 None crafted/bitops5.smt2.yml false 0.42 0.45 None crafted/bitvec7.smt2.yml false 0.40 0.42 None crafted/bitops0.smt2.yml false 0.60 0.41 None crafted/bitvec2.smt2.yml false 0.28 0.24 None crafted/bitops4.smt2.yml false 0.30 0.24 None crafted/bitops2.smt2.yml false 0.32 0.27 None crafted/bitvec0.smt2.yml false 0.42 0.31 None crafted/bit-reversal.smt2.yml TIMEOUT (ERROR (143)) 60.22 59.54 None crafted/bitvec4.smt2.yml false 0.45 0.44 None crafted/bit-counting.smt2.yml false 2.87 1.82 None crafted/bitvec8.smt2.yml false 0.29 0.23 None crafted/bbb.smt2.yml false 0.24 0.21 None crafted/bv8.smt2.yml false 0.29 0.20 None crafted/bb.smt2.yml false 0.24 0.21 None crafted/bitops3.smt2.yml false 0.45 0.33 None crafted/bitvec1.smt2.yml false 0.33 0.24 None crafted/bitops7.smt2.yml true 0.44 0.45 None crafted/bitvec5.smt2.yml false 0.36 0.27 None 20170501-Heizmann-UltimateAutomizer/modulus_true-unreach-call_true-no-overflow.i_242.smt2.yml TIMEOUT (ERROR (143)) 60.15 60.18 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_11.smt2.yml false 2.71 1.74 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_7.smt2.yml false 4.61 2.42 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2.yml false 5.05 4.16 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_6.smt2.yml false 3.73 2.16 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2.yml false 2.49 1.51 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_10.smt2.yml false 5.37 2.80 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_14.smt2.yml false 2.88 1.64 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_4.smt2.yml false 4.61 2.46 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2.yml false 3.54 2.00 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_12.smt2.yml false 2.58 1.52 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_8.smt2.yml false 4.56 2.41 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.93 0.82 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_13.smt2.yml false 2.83 1.91 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_9.smt2.yml false 2.85 1.70 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_5.smt2.yml false 3.03 1.76 None 20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2.yml false 2.45 1.71 None tacas07/Y86_btnft.smt2.yml ERROR (1) 10.61 9.04 None tacas07/Y86_std.smt2.yml ERROR (1) 34.42 31.40 None tacas07/s-40-50-bv.smt2.yml TIMEOUT (ERROR (143)) 60.34 57.89 None tacas07/BBB-32.smt2.yml TIMEOUT (ERROR (143)) 60.38 57.19 None tacas07/rfunit_flat-64.smt2.yml TIMEOUT (ERROR (143)) 60.63 54.51 None bmc-bv/send-more-money.smt2.yml TIMEOUT (ERROR (143)) 60.17 60.05 None bmc-bv/adpcm.smt2.yml true 0.34 0.41 None bmc-bv/ex34.smt2.yml false 1.58 1.18 None bmc-bv/ex7_prime.smt2.yml TIMEOUT (ERROR (143)) 60.56 55.11 None bmc-bv/inf8.smt2.yml false 0.49 0.35 None bmc-bv/ex19.smt2.yml ERROR (1) 11.19 9.21 None bmc-bv/ex30.smt2.yml TIMEOUT (ERROR (143)) 60.44 55.99 None bmc-bv/queens.smt2.yml true 6.61 4.42 None bmc-bv/graycode.smt2.yml true 3.09 1.64 None bmc-bv/fermat.smt2.yml TIMEOUT (ERROR (143)) 60.16 59.97 None bmc-bv/Prim_4.smt2.yml false 0.25 0.21 None bmc-bv/inf5.smt2.yml false 0.45 0.32 None bmc-bv/simpleWhile.smt2.yml ERROR (1) 5.71 4.52 None bmc-bv/inf1.smt2.yml false 0.48 0.70 None bmc-bv/ex10.smt2.yml true 0.28 0.22 None bmc-bv/ex2_prime.smt2.yml TIMEOUT (ERROR (143)) 60.22 59.01 None bmc-bv/matrixsqrt.smt2.yml TIMEOUT (ERROR (143)) 60.16 59.92 None bmc-bv/ex23.smt2.yml TIMEOUT (ERROR (143)) 60.25 58.73 None bmc-bv/sudoku.smt2.yml TIMEOUT (ERROR (143)) 63.22 52.41 None bmc-bv/loop_on_input.smt2.yml false 1.68 1.26 None bmc-bv/ex37.smt2.yml TIMEOUT (ERROR (143)) 60.16 60.12 None bmc-bv/magic.smt2.yml true 8.74 5.18 None bmc-bv/ex33.smt2.yml TIMEOUT (ERROR (143)) 60.19 59.77 None bmc-bv/bitcount32.smt2.yml ERROR (1) 4.63 3.85 None bmc-bv/ex49.smt2.yml TIMEOUT (ERROR (143)) 60.33 57.42 None bmc-bv/intSqRoot.smt2.yml ERROR (1) 9.22 7.17 None bmc-bv/inf6.smt2.yml false 0.49 0.33 None bmc-bv/bitcount16.smt2.yml TIMEOUT (ERROR (143)) 60.46 56.28 None bmc-bv/sort.smt2.yml TIMEOUT (ERROR (143)) 61.63 52.08 None bmc-bv/ex13.smt2.yml TIMEOUT (ERROR (143)) 60.19 59.74 None challenge/multiplyOverflow.smt2.yml TIMEOUT (ERROR (143)) 60.17 59.82 None challenge/integerOverflow.smt2.yml TIMEOUT (ERROR (143)) 60.15 59.92 None bmc-bv-svcomp14/jain_1_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.19 59.46 None bmc-bv-svcomp14/jain_2_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.21 59.34 None bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 61.09 57.54 None bmc-bv-svcomp14/gcd_3_true.c.21.smt2.yml ERROR (1) 5.68 4.85 None bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.97 54.60 None bmc-bv-svcomp14/sum02_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.15 59.72 None bmc-bv-svcomp14/soft_float_3_true.c.cil.c.17.smt2.yml false 2.86 2.48 None bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.21.smt2.yml ERROR (1) 33.02 30.19 None bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.17.smt2.yml ERROR (1) 52.41 51.09 None bmc-bv-svcomp14/jain_6_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.16 59.55 None bmc-bv-svcomp14/byte_add_false.c.21.smt2.yml TIMEOUT (ERROR (143)) 61.07 50.47 None bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 61.03 57.65 None bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.17.smt2.yml ERROR (1) 49.50 45.25 None bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.17.smt2.yml ERROR (1) 42.34 39.46 None bmc-bv-svcomp14/soft_float_1_true.c.cil.c.21.smt2.yml false 35.83 26.70 None bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.21.smt2.yml ERROR (1) 55.24 52.10 None bmc-bv-svcomp14/soft_float_5_true.c.cil.c.17.smt2.yml false 2.68 2.17 None bmc-bv-svcomp14/jain_4_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.15 60.05 None bmc-bv-svcomp14/jain_7_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.22 59.24 None bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.21.smt2.yml TIMEOUT (ERROR (143)) 61.09 58.19 None bmc-bv-svcomp14/soft_float_2_true.c.cil.c.17.smt2.yml false 2.62 2.36 None bmc-bv-svcomp14/num_conversion_2_true.c.21.smt2.yml false 2.26 1.25 None bmc-bv-svcomp14/interleave_bits_true.c.17.smt2.yml false 0.59 0.37 None bmc-bv-svcomp14/gcd_1_true.c.21.smt2.yml ERROR (1) 6.69 5.63 None bmc-bv-svcomp14/gcd_2_true.c.17.smt2.yml ERROR (1) 5.09 4.32 None bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.17.smt2.yml ERROR (1) 42.08 39.12 None bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.99 58.60 None bmc-bv-svcomp14/byte_add_1_true.c.17.smt2.yml false 49.13 42.52 None bmc-bv-svcomp14/modulus_true.c.21.smt2.yml ERROR (1) 8.53 6.95 None bmc-bv-svcomp14/byte_add_2_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 61.24 50.94 None bmc-bv-svcomp14/parity_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.22 59.94 None bmc-bv-svcomp14/soft_float_4_true.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.79 51.96 None bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.21.smt2.yml ERROR (1) 29.97 28.34 None bmc-bv-svcomp14/soft_float_5_true.c.cil.c.21.smt2.yml false 4.67 3.43 None bmc-bv-svcomp14/soft_float_1_true.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.95 50.24 None bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.17.smt2.yml ERROR (1) 37.74 35.98 None bmc-bv-svcomp14/s3_clnt_2_true.BV.c.cil.c.17.smt2.yml ERROR (1) 49.36 45.14 None bmc-bv-svcomp14/s3_clnt_3_false.BV.c.cil.c.21.smt2.yml ERROR (1) 30.05 28.89 None bmc-bv-svcomp14/jain_6_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.24 59.01 None bmc-bv-svcomp14/byte_add_false.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.87 54.58 None bmc-bv-svcomp14/s3_srvr_1_alt_true.BV.c.cil.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.44 56.16 None bmc-bv-svcomp14/s3_clnt_2_false.BV.c.cil.c.21.smt2.yml ERROR (1) 31.52 29.34 None bmc-bv-svcomp14/s3_srvr_3_alt_true.BV.c.cil.c.21.smt2.yml ERROR (1) 54.90 53.40 None bmc-bv-svcomp14/jain_1_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.16 59.75 None bmc-bv-svcomp14/jain_2_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.14 59.99 None bmc-bv-svcomp14/s3_clnt_1_false.BV.c.cil.c.21.smt2.yml ERROR (1) 33.59 30.11 None bmc-bv-svcomp14/sum02_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.16 59.85 None bmc-bv-svcomp14/s3_clnt_3_true.BV.c.cil.c.21.smt2.yml ERROR (1) 30.28 28.45 None bmc-bv-svcomp14/gcd_3_true.c.17.smt2.yml ERROR (1) 5.63 5.11 None bmc-bv-svcomp14/soft_float_3_true.c.cil.c.21.smt2.yml false 4.97 3.69 None bmc-bv-svcomp14/parity_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.24 59.09 None bmc-bv-svcomp14/soft_float_4_true.c.cil.c.21.smt2.yml TIMEOUT (ERROR (143)) 61.05 51.23 None bmc-bv-svcomp14/s3_clnt_1_true.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 61.32 55.00 None bmc-bv-svcomp14/s3_srvr_2_alt_true.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 61.96 57.28 None bmc-bv-svcomp14/byte_add_1_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.56 54.98 None bmc-bv-svcomp14/modulus_true.c.17.smt2.yml ERROR (1) 6.35 4.66 None bmc-bv-svcomp14/byte_add_2_true.c.17.smt2.yml false 59.67 50.63 None bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2.yml false 2.57 1.41 None bmc-bv-svcomp14/interleave_bits_true.c.21.smt2.yml false 0.86 0.51 None bmc-bv-svcomp14/gcd_1_true.c.17.smt2.yml ERROR (1) 6.51 5.57 None bmc-bv-svcomp14/gcd_2_true.c.21.smt2.yml ERROR (1) 5.68 4.74 None bmc-bv-svcomp14/s3_srvr_3_true.BV.c.cil.c.21.smt2.yml TIMEOUT (ERROR (1)) 60.12 56.23 None bmc-bv-svcomp14/jain_4_true.c.21.smt2.yml TIMEOUT (ERROR (143)) 60.15 60.15 None bmc-bv-svcomp14/jain_7_true.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.19 59.33 None bmc-bv-svcomp14/s3_srvr_2_true.BV.c.cil.c.17.smt2.yml TIMEOUT (ERROR (143)) 60.97 55.97 None bmc-bv-svcomp14/soft_float_2_true.c.cil.c.21.smt2.yml false 4.67 3.51 None 20200415-Yurichev/t2.smt2.yml TIMEOUT (ERROR (143)) 61.09 53.75 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 (ERROR (143)) 60.54 54.81 None 2017-BuchwaldFried/counterexample.dump.ia32_Mul_base_disp--Add32.load32.Mul32.Mulh_u32.0005.smt2.yml TIMEOUT (ERROR (143)) 60.13 59.65 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 (ERROR (143)) 60.55 55.27 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 (ERROR (143)) 60.75 53.45 None galois/iffyInterleavedModMult-128.smt2.yml TIMEOUT (ERROR (143)) 60.35 57.42 None galois/iffyInterleavedModMult-32.smt2.yml TIMEOUT (ERROR (143)) 60.34 57.39 None galois/iffyInterleavedModMult-4.smt2.yml true 10.93 8.56 None galois/iffyInterleavedModMult-8.smt2.yml TIMEOUT (ERROR (143)) 60.21 58.98 None pipe/pipe-noabs.atlas.qf_bv.smt2.yml ERROR (1) 4.63 4.28 None 20170531-Hansen-Check/division_by_zero1.smt2.yml true 0.41 0.29 None 20170531-Hansen-Check/division_by_zero.smt2.yml false 0.28 0.23 None 20170531-Hansen-Check/division_by_zero0.smt2.yml false 0.28 0.24 None pspace/ndist.b.24990.smt2.yml TIMEOUT (ERROR (143)) 60.43 55.53 None pspace/ndist.b.25489.smt2.yml TIMEOUT (ERROR (143)) 60.62 54.93 None pspace/ndist.b.23493.smt2.yml TIMEOUT (ERROR (143)) 60.70 52.22 None pspace/power2sum.7888.smt2.yml TIMEOUT (ERROR (143)) 60.55 55.09 None pspace/ndist.a.22495.smt2.yml TIMEOUT (ERROR (143)) 60.42 56.15 None pspace/power2sum.6296.smt2.yml TIMEOUT (ERROR (143)) 60.32 56.95 None pspace/shift1add.14985.smt2.yml TIMEOUT (ERROR (143)) 60.44 52.81 None pspace/ndist.a.21996.smt2.yml TIMEOUT (ERROR (143)) 60.38 56.43 None pspace/shift1add.26949.smt2.yml TIMEOUT (ERROR (143)) 60.94 54.12 None pspace/shift1add.25952.smt2.yml TIMEOUT (ERROR (143)) 60.79 55.13 None pspace/power2sum.9679.smt2.yml TIMEOUT (ERROR (143)) 60.55 53.49 None pspace/power2sum.9480.smt2.yml TIMEOUT (ERROR (143)) 60.31 57.37 None pspace/ndist.a.28483.smt2.yml TIMEOUT (ERROR (143)) 60.41 56.15 None pspace/ndist.b.29481.smt2.yml TIMEOUT (ERROR (143)) 60.44 55.42 None pspace/ndist.b.20998.smt2.yml TIMEOUT (ERROR (143)) 60.33 56.92 None pspace/power2sum.9281.smt2.yml TIMEOUT (ERROR (143)) 60.74 55.06 None pspace/power2sum.8883.smt2.yml TIMEOUT (ERROR (143)) 60.53 53.99 None pspace/shift1add.11994.smt2.yml TIMEOUT (ERROR (143)) 62.52 52.26 None pspace/power2sum.8485.smt2.yml TIMEOUT (ERROR (143)) 60.38 56.19 None pspace/ndist.a.27984.smt2.yml TIMEOUT (ERROR (143)) 60.41 55.90 None pspace/ndist.b.26986.smt2.yml TIMEOUT (ERROR (143)) 60.33 56.83 None pspace/shift1add.28943.smt2.yml TIMEOUT (ERROR (143)) 60.22 51.96 None pspace/shift1add.23958.smt2.yml TIMEOUT (ERROR (143)) 60.13 52.19 None pspace/ndist.b.20499.smt2.yml TIMEOUT (ERROR (143)) 60.32 57.25 None pspace/ndist.a.28982.smt2.yml TIMEOUT (ERROR (143)) 60.32 56.90 None pspace/ndist.b.29980.smt2.yml TIMEOUT (ERROR (143)) 60.49 54.76 None pspace/power2sum.7092.smt2.yml TIMEOUT (ERROR (143)) 60.58 55.35 None pspace/ndist.a.20000.smt2.yml TIMEOUT (ERROR (143)) 60.55 54.91 None pspace/power2sum.6097.smt2.yml TIMEOUT (ERROR (143)) 60.36 56.75 None pspace/ndist.a.27485.smt2.yml TIMEOUT (ERROR (143)) 60.26 57.98 None pspace/ndist.b.26487.smt2.yml TIMEOUT (ERROR (143)) 60.47 55.31 None pspace/shift1add.19970.smt2.yml TIMEOUT (ERROR (143)) 60.13 52.33 None pspace/ndist.b.24491.smt2.yml TIMEOUT (ERROR (143)) 60.50 55.64 None pspace/shift1add.20967.smt2.yml TIMEOUT (ERROR (143)) 60.60 50.59 None pspace/ndist.b.23992.smt2.yml TIMEOUT (ERROR (143)) 60.43 55.87 None pspace/power2sum.5699.smt2.yml TIMEOUT (ERROR (143)) 60.39 56.64 None pspace/ndist.b.25988.smt2.yml TIMEOUT (ERROR (143)) 60.38 56.35 None pspace/power2sum.8684.smt2.yml TIMEOUT (ERROR (143)) 60.32 57.17 None pspace/shift1add.17976.smt2.yml TIMEOUT (ERROR (143)) 60.56 52.61 None pspace/shift1add.22961.smt2.yml TIMEOUT (ERROR (143)) 60.15 51.83 None pspace/ndist.a.22994.smt2.yml TIMEOUT (ERROR (143)) 60.35 56.69 None pspace/ndist.a.21497.smt2.yml TIMEOUT (ERROR (143)) 60.58 53.49 None pspace/power2sum.5500.smt2.yml TIMEOUT (ERROR (143)) 60.93 57.12 None pspace/power2sum.7689.smt2.yml TIMEOUT (ERROR (143)) 60.32 56.93 None pspace/shift1add.16979.smt2.yml TIMEOUT (ERROR (143)) 60.53 58.01 None pspace/ndist.a.20998.smt2.yml TIMEOUT (ERROR (143)) 60.40 56.37 None pspace/ndist.b.28483.smt2.yml TIMEOUT (ERROR (143)) 60.44 55.42 None pspace/ndist.a.29481.smt2.yml TIMEOUT (ERROR (143)) 60.48 55.55 None pspace/ndist.b.27984.smt2.yml TIMEOUT (ERROR (143)) 60.32 57.29 None pspace/ndist.a.26986.smt2.yml TIMEOUT (ERROR (143)) 60.58 57.11 None pspace/power2sum.6694.smt2.yml TIMEOUT (ERROR (143)) 60.47 56.54 None pspace/ndist.a.23493.smt2.yml TIMEOUT (ERROR (143)) 60.41 55.96 None pspace/shift1add.10000.smt2.yml TIMEOUT (ERROR (143)) 63.83 51.90 None pspace/ndist.a.25489.smt2.yml TIMEOUT (ERROR (143)) 60.32 57.32 None pspace/ndist.a.24990.smt2.yml TIMEOUT (ERROR (143)) 60.43 55.90 None pspace/power2sum.9082.smt2.yml TIMEOUT (ERROR (143)) 60.56 56.10 None pspace/shift1add.21964.smt2.yml TIMEOUT (ERROR (143)) 60.26 52.10 None pspace/shift1add.18973.smt2.yml TIMEOUT (ERROR (143)) 60.26 50.90 None pspace/ndist.b.21996.smt2.yml TIMEOUT (ERROR (143)) 60.46 55.04 None pspace/ndist.b.22495.smt2.yml TIMEOUT (ERROR (143)) 60.33 56.95 None pspace/power2sum.9878.smt2.yml TIMEOUT (ERROR (143)) 60.58 54.66 None pspace/power2sum.8087.smt2.yml TIMEOUT (ERROR (143)) 60.66 55.86 None pspace/power2sum.7291.smt2.yml TIMEOUT (ERROR (143)) 60.26 57.76 None pspace/shift1add.15982.smt2.yml TIMEOUT (ERROR (143)) 61.08 54.49 None pspace/power2sum.7490.smt2.yml TIMEOUT (ERROR (143)) 60.95 55.72 None pspace/ndist.a.25988.smt2.yml TIMEOUT (ERROR (143)) 60.68 54.68 None pspace/ndist.a.23992.smt2.yml TIMEOUT (ERROR (143)) 60.38 56.53 None pspace/ndist.a.24491.smt2.yml TIMEOUT (ERROR (143)) 60.42 57.20 None pspace/shift1add.24955.smt2.yml TIMEOUT (ERROR (143)) 61.01 52.84 None pspace/power2sum.6495.smt2.yml TIMEOUT (ERROR (143)) 60.52 54.09 None pspace/ndist.b.21497.smt2.yml TIMEOUT (ERROR (143)) 60.41 55.95 None pspace/ndist.b.22994.smt2.yml TIMEOUT (ERROR (143)) 60.41 56.16 None pspace/power2sum.6893.smt2.yml TIMEOUT (ERROR (143)) 60.52 56.05 None pspace/ndist.b.20000.smt2.yml TIMEOUT (ERROR (143)) 60.33 57.20 None pspace/shift1add.27946.smt2.yml TIMEOUT (ERROR (143)) 61.56 51.40 None pspace/ndist.b.28982.smt2.yml true 20.47 15.62 None pspace/ndist.a.29980.smt2.yml TIMEOUT (ERROR (143)) 60.29 57.40 None pspace/shift1add.13988.smt2.yml TIMEOUT (ERROR (143)) 60.92 56.96 None pspace/ndist.a.20499.smt2.yml TIMEOUT (ERROR (143)) 60.31 57.66 None pspace/shift1add.12991.smt2.yml TIMEOUT (ERROR (143)) 60.22 52.89 None pspace/ndist.b.27485.smt2.yml TIMEOUT (ERROR (143)) 60.57 54.05 None pspace/ndist.a.26487.smt2.yml TIMEOUT (ERROR (143)) 60.36 56.80 None pspace/shift1add.10997.smt2.yml TIMEOUT (ERROR (143)) 61.32 51.02 None pspace/power2sum.5898.smt2.yml TIMEOUT (ERROR (143)) 60.59 57.18 None pspace/shift1add.29940.smt2.yml TIMEOUT (ERROR (143)) 61.37 51.41 None pspace/power2sum.8286.smt2.yml TIMEOUT (ERROR (143)) 61.37 54.66 None uum/uum12.smt2.yml TIMEOUT (ERROR (143)) 60.43 56.22 None uum/uum8.smt2.yml TIMEOUT (ERROR (143)) 60.71 51.96 None uum/uum16.smt2.yml TIMEOUT (ERROR (143)) 60.58 54.36 None uum/uum4.smt2.yml false 23.33 20.35 None uum/uum32.smt2.yml TIMEOUT (ERROR (143)) 60.37 51.71 None uum/uum28.smt2.yml TIMEOUT (ERROR (143)) 60.91 54.50 None uum/uum20.smt2.yml TIMEOUT (ERROR (143)) 60.95 52.39 None uum/uum24.smt2.yml TIMEOUT (ERROR (143)) 60.76 52.62 None brummayerbiere/nlzbe016.smt2.yml true 0.37 0.27 None brummayerbiere/nlzbsdown016.smt2.yml true 0.29 0.54 None brummayerbiere/bitrev1024.smt2.yml ERROR (1) 4.07 3.66 None brummayerbiere/nlzbs008.smt2.yml false 1.59 0.91 None brummayerbiere/nlzbsdown064.smt2.yml true 0.41 0.28 None brummayerbiere/nlzbe064.smt2.yml ERROR (1) 6.19 5.63 None brummayerbiere/countbitssrl008.smt2.yml false 5.06 3.25 None brummayerbiere/countbitsrotate032.smt2.yml ERROR (1) 3.67 3.34 None brummayerbiere/countbits128.smt2.yml ERROR (1) 2.48 2.02 None brummayerbiere/countbitsrotate128.smt2.yml ERROR (1) 3.99 2.71 None brummayerbiere/countbits032.smt2.yml ERROR (1) 3.67 3.89 None brummayerbiere/countbits064.smt2.yml ERROR (1) 3.22 2.73 None brummayerbiere/nextpoweroftwo512.smt2.yml ERROR (1) 3.59 2.80 None brummayerbiere/bitrev2048.smt2.yml ERROR (1) 5.53 4.42 None brummayerbiere/nlzbsdown128.smt2.yml true 0.62 0.46 None brummayerbiere/nlzbe128.smt2.yml ERROR (1) 6.98 6.44 None brummayerbiere/bitrev0512.smt2.yml ERROR (1) 4.47 3.92 None brummayerbiere/bitrev4096.smt2.yml ERROR (1) 5.98 4.47 None brummayerbiere/countbitsrotate064.smt2.yml ERROR (1) 5.73 4.62 None brummayerbiere/countbitssrl256.smt2.yml ERROR (1) 3.95 3.47 None brummayerbiere/nlzbe032.smt2.yml ERROR (1) 7.03 6.34 None brummayerbiere/nlzbsdown032.smt2.yml true 0.44 0.30 None brummayerbiere/nlzbs256.smt2.yml ERROR (1) 3.04 2.38 None brummayerbiere/countbits016.smt2.yml TIMEOUT (ERROR (143)) 60.53 54.82 None brummayerbiere/nextpoweroftwo256.smt2.yml ERROR (1) 2.99 2.33 None brummayerbiere/countbitsrotate016.smt2.yml true 2.35 1.52 None brummayerbiere/bitrev0256.smt2.yml ERROR (1) 4.11 4.12 None brummayerbiere/bitrev0032.smt2.yml ERROR (1) 4.22 3.90 None brummayerbiere/nextpoweroftwo128.smt2.yml ERROR (1) 4.42 3.76 None brummayerbiere/nlzbs128.smt2.yml ERROR (1) 2.94 2.55 None brummayerbiere/bitrev0128.smt2.yml ERROR (1) 4.11 3.78 None brummayerbiere/nextpoweroftwo032.smt2.yml ERROR (1) 4.40 3.93 None brummayerbiere/nlzbs032.smt2.yml ERROR (1) 4.31 4.17 None brummayerbiere/bitrev8192.smt2.yml ERROR (1) 7.76 5.40 None brummayerbiere/nlzbe256.smt2.yml ERROR (1) 4.76 4.01 None brummayerbiere/nlzbsdown256.smt2.yml true 0.85 0.52 None brummayerbiere/countbitsrotate008.smt2.yml true 1.29 0.73 None brummayerbiere/countbitssrl032.smt2.yml ERROR (1) 9.25 8.71 None brummayerbiere/countbitssrl128.smt2.yml ERROR (1) 6.85 6.08 None brummayerbiere/countbits1024.smt2.yml ERROR (1) 2.53 1.67 None brummayerbiere/countbits256.smt2.yml ERROR (1) 1.79 1.39 None brummayerbiere/nextpoweroftwo016.smt2.yml ERROR (1) 4.92 4.58 None brummayerbiere/nlzbs016.smt2.yml ERROR (1) 4.64 4.21 None brummayerbiere/nlzbe008.smt2.yml true 0.30 0.23 None brummayerbiere/nlzbsdown008.smt2.yml true 0.27 0.19 None brummayerbiere/countbitssrl064.smt2.yml ERROR (1) 6.19 5.47 None brummayerbiere/countbitsrotate256.smt2.yml ERROR (1) 12.78 8.49 None brummayerbiere/nlzbs064.smt2.yml ERROR (1) 3.82 3.35 None brummayerbiere/nextpoweroftwo064.smt2.yml ERROR (1) 4.61 3.95 None brummayerbiere/countbits512.smt2.yml ERROR (1) 1.66 1.41 None brummayerbiere/countbitssrl016.smt2.yml ERROR (1) 11.82 11.52 None brummayerbiere/bitrev0064.smt2.yml ERROR (1) 4.27 3.96 None sage/app10/bench_38.smt2.yml ERROR (1) 2.89 2.42 None sage/app10/bench_42.smt2.yml ERROR (1) 3.28 2.76 None sage/app10/bench_20.smt2.yml ERROR (1) 3.47 2.85 None sage/app10/bench_11.smt2.yml ERROR (1) 3.31 2.65 None sage/app10/bench_4.smt2.yml ERROR (1) 3.83 3.04 None sage/app10/bench_46.smt2.yml ERROR (1) 3.62 3.22 None sage/app10/bench_15.smt2.yml ERROR (1) 3.36 3.08 None sage/app10/bench_24.smt2.yml ERROR (1) 3.35 3.18 None sage/app10/bench_28.smt2.yml ERROR (1) 3.40 2.86 None sage/app10/bench_52.smt2.yml ERROR (1) 3.32 2.75 None sage/app10/bench_19.smt2.yml ERROR (1) 3.38 2.76 None sage/app10/bench_30.smt2.yml ERROR (1) 3.27 2.63 None sage/app10/bench_8.smt2.yml ERROR (1) 3.09 2.67 None sage/app10/bench_34.smt2.yml ERROR (1) 3.13 2.57 None sage/app10/bench_29.smt2.yml ERROR (1) 3.26 2.61 None sage/app10/bench_18.smt2.yml ERROR (1) 3.53 2.81 None sage/app10/bench_31.smt2.yml ERROR (1) 3.44 3.24 None sage/app10/bench_9.smt2.yml ERROR (1) 3.46 2.90 None sage/app10/bench_35.smt2.yml ERROR (1) 3.14 2.67 None sage/app10/bench_39.smt2.yml ERROR (1) 3.68 2.93 None sage/app10/bench_43.smt2.yml ERROR (1) 2.97 2.48 None sage/app10/bench_21.smt2.yml ERROR (1) 3.15 2.68 None sage/app10/bench_10.smt2.yml ERROR (1) 3.21 2.76 None sage/app10/bench_5.smt2.yml ERROR (1) 3.48 2.91 None sage/app10/bench_14.smt2.yml ERROR (1) 3.46 2.84 None sage/app10/bench_1.smt2.yml ERROR (1) 3.19 2.74 None sage/app10/bench_25.smt2.yml ERROR (1) 3.21 2.70 None sage/app10/bench_51.smt2.yml ERROR (1) 3.29 3.03 None sage/app10/bench_33.smt2.yml ERROR (1) 3.19 2.66 None sage/app10/bench_49.smt2.yml ERROR (1) 3.27 2.93 None sage/app10/bench_37.smt2.yml ERROR (1) 3.51 2.83 None sage/app10/bench_41.smt2.yml ERROR (1) 3.20 2.72 None sage/app10/bench_23.smt2.yml ERROR (1) 3.37 2.76 None sage/app10/bench_7.smt2.yml ERROR (1) 3.67 3.08 None sage/app10/bench_12.smt2.yml ERROR (1) 3.71 3.04 None sage/app10/bench_45.smt2.yml ERROR (1) 3.24 2.68 None sage/app10/bench_3.smt2.yml ERROR (1) 3.36 3.00 None sage/app10/bench_16.smt2.yml ERROR (1) 3.02 2.58 None sage/app10/bench_27.smt2.yml ERROR (1) 3.49 2.91 None sage/app10/bench_40.smt2.yml ERROR (1) 3.43 3.34 None sage/app10/bench_22.smt2.yml ERROR (1) 3.33 2.84 None sage/app10/bench_6.smt2.yml ERROR (1) 2.95 2.61 None sage/app10/bench_13.smt2.yml ERROR (1) 3.19 2.75 None sage/app10/bench_44.smt2.yml ERROR (1) 3.28 2.71 None sage/app10/bench_2.smt2.yml ERROR (1) 3.49 2.87 None sage/app10/bench_17.smt2.yml ERROR (1) 3.43 2.74 None sage/app10/bench_26.smt2.yml ERROR (1) 3.06 2.54 None sage/app10/bench_50.smt2.yml ERROR (1) 3.09 3.10 None sage/app10/bench_32.smt2.yml ERROR (1) 3.30 2.64 None sage/app10/bench_48.smt2.yml ERROR (1) 3.14 2.67 None sage/app10/bench_36.smt2.yml ERROR (1) 3.07 2.59 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 10664.28 724.23 - Statistics: 351 Files correct: 63 correct true: 8 correct false: 55 incorrect: 16 incorrect true: 12 incorrect false: 4 unknown: 272