BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.BV date: Tue, 2025-05-06 14:30:15 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.BV Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- vmt-chc-benchmarks/bv/gcd_3_safe.c_000.smt2 unknown 2.30 0.82 apollon065 vmt-chc-benchmarks/bv/simple_if.c_000.smt2 TIMEOUT 1800.54 1794.88 apollon043 vmt-chc-benchmarks/bv/transmitter.1_000.smt2 TIMEOUT 1802.33 930.19 apollon045 vmt-chc-benchmarks/bv/gulwani_cegar2.c_000.smt2 TIMEOUT 1800.76 1791.33 apollon065 vmt-chc-benchmarks/bv/simple_array_inversion-4_000.smt2 false 25.56 14.79 apollon145 vmt-chc-benchmarks/bv/s3_srvr_15.cil_000.smt2 TIMEOUT 1800.60 1790.47 apollon052 vmt-chc-benchmarks/bv/simple_array_inversion-6_000.smt2 false 59.49 40.33 apollon001 vmt-chc-benchmarks/bv/cdaudio_simpl1.cil_000.smt2 true 161.68 123.00 apollon080 vmt-chc-benchmarks/bv/s3_srvr_9.cil_000.smt2 TIMEOUT 1800.60 1789.44 apollon008 vmt-chc-benchmarks/bv/s3_srvr_4.cil_000.smt2 TIMEOUT 1800.60 1790.54 apollon108 vmt-chc-benchmarks/bv/sendmail-close-angle.c_000.smt2 TIMEOUT 1800.61 1792.87 apollon047 vmt-chc-benchmarks/bv/transmitter.10_000.smt2 TIMEOUT 1808.50 389.62 apollon098 vmt-chc-benchmarks/bv/nest-if5.c_000.smt2 TIMEOUT 1800.65 1791.39 apollon021 vmt-chc-benchmarks/bv/svd-some-loop.c_000.smt2 false 8.05 3.49 apollon091 vmt-chc-benchmarks/bv/nest-if3.c_000.smt2 TIMEOUT 1800.57 1793.92 apollon042 vmt-chc-benchmarks/bv/nested4.c_000.smt2 TIMEOUT 1800.56 1794.16 apollon030 vmt-chc-benchmarks/bv/NetBSD_loop.c_000.smt2 false 3.92 1.30 apollon082 vmt-chc-benchmarks/bv/s3_srvr_2_unsafe.BV.c.cil.c_000.smt2 TIMEOUT 1800.58 1789.97 apollon102 vmt-chc-benchmarks/bv/nest-len.c_000.smt2 TIMEOUT 1800.57 1794.24 apollon136 vmt-chc-benchmarks/bv/ken-imp.c_000.smt2 TIMEOUT 1800.68 1792.25 apollon099 vmt-chc-benchmarks/bv/transmitter.12_000.smt2 TIMEOUT 1808.66 373.23 apollon122 vmt-chc-benchmarks/bv/bubblesort-3_000.smt2 true 878.87 863.60 apollon038 vmt-chc-benchmarks/bv/num_conversion_2_safe.c_000.smt2 true 5.25 2.46 apollon049 vmt-chc-benchmarks/bv/nested.c_000.smt2 TIMEOUT 1800.57 1794.21 apollon158 vmt-chc-benchmarks/bv/mem_slave_tlm.3_000.smt2 TIMEOUT 1800.58 1790.18 apollon092 vmt-chc-benchmarks/bv/bound.c_000.smt2 TIMEOUT 1800.57 1793.77 apollon090 vmt-chc-benchmarks/bv/svd4.c_000.smt2 false 7.25 2.82 apollon136 vmt-chc-benchmarks/bv/s3_clnt_1_safe.BV.c.cil.c_000.smt2 true 70.88 63.03 apollon100 vmt-chc-benchmarks/bv/gcd_4_safe.c_000.smt2 unknown 2.34 0.82 apollon155 vmt-chc-benchmarks/bv/pc_sfifo_1_000.smt2 TIMEOUT 1800.55 1792.88 apollon039 vmt-chc-benchmarks/bv/byte_add_1_safe.c_000.smt2 true 105.88 74.96 apollon119 vmt-chc-benchmarks/bv/apache-get-tag.c_000.smt2 TIMEOUT 1800.57 1793.36 apollon132 vmt-chc-benchmarks/bv/s3_srvr_3.cil_000.smt2 TIMEOUT 1800.59 1790.41 apollon004 vmt-chc-benchmarks/bv/floppy_simpl4.cil_000.smt2 true 153.43 117.65 apollon168 vmt-chc-benchmarks/bv/soft_float_4_safe.c.cil.c_000.smt2 TIMEOUT 1800.55 1791.11 apollon041 vmt-chc-benchmarks/bv/nested1.c_000.smt2 TIMEOUT 1800.56 1794.81 apollon130 vmt-chc-benchmarks/bv/nested5.c_000.smt2 TIMEOUT 1800.59 1794.43 apollon126 vmt-chc-benchmarks/bv/kbfiltr_simpl1.cil_000.smt2 false 7.96 2.81 apollon050 vmt-chc-benchmarks/bv/token_ring.9_000.smt2 TIMEOUT 1803.36 400.22 apollon139 vmt-chc-benchmarks/bv/seq.c_000.smt2 TIMEOUT 1800.57 1794.04 apollon121 vmt-chc-benchmarks/bv/token_ring.12_000.smt2 TIMEOUT 1808.83 366.81 apollon116 vmt-chc-benchmarks/bv/SpamAssassin-loop_ok.c_000.smt2 TIMEOUT 1800.56 1794.20 apollon053 vmt-chc-benchmarks/bv/seq-sim.c_000.smt2 TIMEOUT 1800.52 1795.22 apollon060 vmt-chc-benchmarks/bv/up3.c_000.smt2 TIMEOUT 1800.63 1793.20 apollon133 vmt-chc-benchmarks/bv/floppy_simpl4_BUG.cil_000.smt2 false 199.65 165.99 apollon062 vmt-chc-benchmarks/bv/pc_sfifo_2_000.smt2 TIMEOUT 1800.75 1779.84 apollon103 vmt-chc-benchmarks/bv/simple_array_inversion-7_000.smt2 false 530.70 313.19 apollon091 vmt-chc-benchmarks/bv/bind_expands_vars2.c_000.smt2 false 3.35 1.33 apollon112 vmt-chc-benchmarks/bv/token_ring.7_000.smt2 TIMEOUT 1804.37 418.68 apollon052 vmt-chc-benchmarks/bv/gcd_1_safe.c_000.smt2 unknown 2.32 0.80 apollon023 vmt-chc-benchmarks/bv/toy_000.smt2 TIMEOUT 1801.26 926.56 apollon127 vmt-chc-benchmarks/bv/soft_float_2_safe.c.cil.c_000.smt2 TIMEOUT 1800.62 1791.42 apollon031 vmt-chc-benchmarks/bv/array_max-1_000.smt2 true 21.09 12.55 apollon021 vmt-chc-benchmarks/bv/half.c_000.smt2 unknown 2.31 0.86 apollon092 vmt-chc-benchmarks/bv/jain_7_safe.c_000.smt2 TIMEOUT 1800.56 1793.81 apollon148 vmt-chc-benchmarks/bv/pipeline-bug_000.smt2 TIMEOUT 1803.63 437.98 apollon107 vmt-chc-benchmarks/bv/toy-bug-2_000.smt2 TIMEOUT 1800.98 985.88 apollon077 vmt-chc-benchmarks/bv/transmitter.2_000.smt2 TIMEOUT 1808.67 380.65 apollon027 vmt-chc-benchmarks/bv/mem_slave_tlm.1_000.smt2 TIMEOUT 1800.56 1790.41 apollon160 vmt-chc-benchmarks/bv/modulus_safe.c_000.smt2 unknown 2.46 0.85 apollon102 vmt-chc-benchmarks/bv/nested9.c_000.smt2 false 4.99 1.91 apollon102 vmt-chc-benchmarks/bv/id_trans.c_000.smt2 unknown 2.21 0.76 apollon052 vmt-chc-benchmarks/bv/simple_array_inversion-8_000.smt2 TIMEOUT 1802.20 1176.08 apollon050 vmt-chc-benchmarks/bv/pipeline_000.smt2 TIMEOUT 1808.88 437.76 apollon146 vmt-chc-benchmarks/bv/pc_sfifo_3_000.smt2 TIMEOUT 1808.65 368.25 apollon095 vmt-chc-benchmarks/bv/s3_srvr_1_safe.BV.c.cil.c_000.smt2 TIMEOUT 1800.61 1789.51 apollon077 vmt-chc-benchmarks/bv/array_max-3_000.smt2 TIMEOUT 1802.30 822.24 apollon144 vmt-chc-benchmarks/bv/s3_srvr_1.cil_000.smt2 TIMEOUT 1800.61 1790.36 apollon070 vmt-chc-benchmarks/bv/s3_srvr_1_BUG.cil_000.smt2 false 21.91 15.44 apollon144 vmt-chc-benchmarks/bv/diskperf_simpl1.cil_000.smt2 TIMEOUT 1807.73 493.29 apollon164 vmt-chc-benchmarks/bv/s3_srvr_11.cil_000.smt2 TIMEOUT 1800.62 1790.04 apollon018 vmt-chc-benchmarks/bv/s3_clnt_1_unsafe.BV.c.cil.c_000.smt2 false 51.03 43.76 apollon143 vmt-chc-benchmarks/bv/transmitter.11_000.smt2 TIMEOUT 1808.93 361.11 apollon112 vmt-chc-benchmarks/bv/heapsort3.c_000.smt2 unknown 2.17 0.75 apollon100 vmt-chc-benchmarks/bv/jain_4_safe.c_000.smt2 TIMEOUT 1800.52 1795.53 apollon140 vmt-chc-benchmarks/bv/heapsort.c_000.smt2 unknown 2.59 0.87 apollon142 vmt-chc-benchmarks/bv/nest-if4.c_000.smt2 TIMEOUT 1800.56 1793.96 apollon104 vmt-chc-benchmarks/bv/s3_clnt_4.cil_000.smt2 true 60.17 52.41 apollon148 vmt-chc-benchmarks/bv/s3_clnt_3_safe.BV.c.cil.c_000.smt2 true 114.75 106.42 apollon100 vmt-chc-benchmarks/bv/s3_clnt_4_BUG.cil_000.smt2 false 21.53 14.25 apollon155 vmt-chc-benchmarks/bv/svd2.c_000.smt2 TIMEOUT 1800.57 1793.27 apollon152 vmt-chc-benchmarks/bv/token_ring.4_000.smt2 TIMEOUT 1806.58 416.04 apollon055 vmt-chc-benchmarks/bv/jain_6_safe.c_000.smt2 TIMEOUT 1800.52 1795.42 apollon118 vmt-chc-benchmarks/bv/s3_srvr_8.cil_000.smt2 TIMEOUT 1800.59 1789.72 apollon023 vmt-chc-benchmarks/bv/seq4.c_000.smt2 TIMEOUT 1800.55 1794.96 apollon012 vmt-chc-benchmarks/bv/simple_array_inversion-9_000.smt2 TIMEOUT 1801.72 905.32 apollon136 vmt-chc-benchmarks/bv/token_ring.1_000.smt2 TIMEOUT 1808.69 371.17 apollon026 vmt-chc-benchmarks/bv/s3_srvr_6.cil_000.smt2 TIMEOUT 1800.61 1789.66 apollon107 vmt-chc-benchmarks/bv/nested6.c_000.smt2 TIMEOUT 1800.54 1795.24 apollon080 vmt-chc-benchmarks/bv/nest-if.c_000.smt2 TIMEOUT 1800.57 1794.12 apollon063 vmt-chc-benchmarks/bv/nested2.c_000.smt2 TIMEOUT 1800.56 1793.88 apollon009 vmt-chc-benchmarks/bv/transmitter.5_000.smt2 TIMEOUT 1807.85 409.37 apollon166 vmt-chc-benchmarks/bv/s3_clnt_2_BUG.cil_000.smt2 false 17.40 11.11 apollon100 vmt-chc-benchmarks/bv/mem_slave_tlm.4_000.smt2 TIMEOUT 1800.59 1790.57 apollon159 vmt-chc-benchmarks/bv/num_conversion_1_safe.c_000.smt2 true 5.00 1.97 apollon165 vmt-chc-benchmarks/bv/s3_srvr_10.cil_000.smt2 TIMEOUT 1800.60 1789.99 apollon167 vmt-chc-benchmarks/bv/heapsort2.c_000.smt2 unknown 2.20 0.80 apollon138 vmt-chc-benchmarks/bv/sendmail-mime-fromqp.c_000.smt2 true 3.00 1.13 apollon045 vmt-chc-benchmarks/bv/seq2.c_000.smt2 TIMEOUT 1800.56 1793.98 apollon128 vmt-chc-benchmarks/bv/bubblesort_init-2_000.smt2 true 27.74 19.34 apollon146 vmt-chc-benchmarks/bv/s3_clnt_3_unsafe.BV.c.cil.c_000.smt2 false 33.86 25.89 apollon012 vmt-chc-benchmarks/bv/nest-if7.c_000.smt2 TIMEOUT 1800.57 1793.83 apollon002 vmt-chc-benchmarks/bv/token_ring.5_000.smt2 TIMEOUT 1805.12 436.20 apollon026 vmt-chc-benchmarks/bv/MADWiFi-encode_ie_ok.c_000.smt2 false 4.07 1.41 apollon099 vmt-chc-benchmarks/bv/seq-proc.c_000.smt2 TIMEOUT 1800.58 1793.46 apollon060 vmt-chc-benchmarks/bv/s3_srvr_14.cil_000.smt2 TIMEOUT 1800.61 1789.59 apollon057 vmt-chc-benchmarks/bv/simple_array_inversion-2_000.smt2 false 14.04 6.42 apollon038 vmt-chc-benchmarks/bv/up.c_000.smt2 TIMEOUT 1800.58 1793.88 apollon120 vmt-chc-benchmarks/bv/nest-if1.c_000.smt2 TIMEOUT 1800.56 1794.37 apollon062 vmt-chc-benchmarks/bv/s3_srvr_12.cil_000.smt2 TIMEOUT 1800.61 1789.94 apollon101 vmt-chc-benchmarks/bv/string_concat-noarr.c_000.smt2 true 3.01 1.11 apollon095 vmt-chc-benchmarks/bv/s3_srvr_2_safe.BV.c.cil.c_000.smt2 TIMEOUT 1800.57 1790.15 apollon054 vmt-chc-benchmarks/bv/nested3.c_000.smt2 TIMEOUT 1800.54 1794.93 apollon032 vmt-chc-benchmarks/bv/bubblesort-1_000.smt2 true 23.07 16.94 apollon073 vmt-chc-benchmarks/bv/s3_srvr_2.cil_000.smt2 TIMEOUT 1800.60 1789.98 apollon078 vmt-chc-benchmarks/bv/fragtest_simple.c_000.smt2 true 2.98 1.12 apollon001 vmt-chc-benchmarks/bv/bubblesort-2_000.smt2 true 192.56 184.11 apollon032 vmt-chc-benchmarks/bv/up2.c_000.smt2 TIMEOUT 1800.60 1793.92 apollon036 vmt-chc-benchmarks/bv/jain_5_safe.c_000.smt2 TIMEOUT 1800.77 1788.99 apollon151 vmt-chc-benchmarks/bv/transmitter.9_000.smt2 TIMEOUT 1807.83 411.95 apollon013 vmt-chc-benchmarks/bv/bubblesort_init-3_000.smt2 true 48.86 35.07 apollon062 vmt-chc-benchmarks/bv/nest-if2.c_000.smt2 TIMEOUT 1800.53 1794.71 apollon016 vmt-chc-benchmarks/bv/s3_srvr_3_safe.BV.c.cil.c_000.smt2 unknown 4.00 1.21 apollon127 vmt-chc-benchmarks/bv/s3_srvr_16.cil_000.smt2 TIMEOUT 1800.60 1789.87 apollon061 vmt-chc-benchmarks/bv/cdaudio_simpl1_BUG.cil_000.smt2 false 512.44 445.62 apollon032 vmt-chc-benchmarks/bv/kbfiltr_simpl2.cil_000.smt2 false 10.94 4.50 apollon160 vmt-chc-benchmarks/bv/simple_array_inversion-1_000.smt2 false 13.67 7.28 apollon027 vmt-chc-benchmarks/bv/nest-if6.c_000.smt2 TIMEOUT 1800.56 1794.81 apollon073 vmt-chc-benchmarks/bv/kundu-bug-1_000.smt2 false 713.18 698.79 apollon118 vmt-chc-benchmarks/bv/s3_clnt_1_BUG.cil_000.smt2 false 20.43 13.76 apollon148 vmt-chc-benchmarks/bv/interleave_bits_safe.c_000.smt2 true 66.97 62.59 apollon026 vmt-chc-benchmarks/bv/array_max-2_000.smt2 true 313.42 172.12 apollon052 vmt-chc-benchmarks/bv/array_max-4_000.smt2 TIMEOUT 1803.47 427.34 apollon035 vmt-chc-benchmarks/bv/transmitter.13_000.smt2 TIMEOUT 1800.93 361.66 apollon121 vmt-chc-benchmarks/bv/kundu_000.smt2 TIMEOUT 1806.26 418.43 apollon100 vmt-chc-benchmarks/bv/s3_srvr_1_unsafe.BV.c.cil.c_000.smt2 unknown 4.04 1.23 apollon127 vmt-chc-benchmarks/bv/transmitter.8_000.smt2 TIMEOUT 1808.48 395.70 apollon030 vmt-chc-benchmarks/bv/rajamani_1.c_000.smt2 TIMEOUT 1800.51 1795.12 apollon002 vmt-chc-benchmarks/bv/bist_cell_000.smt2 TIMEOUT 1808.75 388.58 apollon149 vmt-chc-benchmarks/bv/nest-if8.c_000.smt2 false 3.67 1.40 apollon006 vmt-chc-benchmarks/bv/token_ring.3_000.smt2 TIMEOUT 1808.57 382.45 apollon097 vmt-chc-benchmarks/bv/s3_clnt_3.cil_000.smt2 true 56.54 48.64 apollon097 vmt-chc-benchmarks/bv/mem_slave_tlm.5_000.smt2 TIMEOUT 1800.57 1790.45 apollon160 vmt-chc-benchmarks/bv/s3_srvr_3_unsafe.BV.c.cil.c_000.smt2 unknown 3.81 1.18 apollon135 vmt-chc-benchmarks/bv/seq-z3.c_000.smt2 TIMEOUT 1800.53 1795.09 apollon164 vmt-chc-benchmarks/bv/transmitter.3_000.smt2 TIMEOUT 1808.23 389.65 apollon131 vmt-chc-benchmarks/bv/jain_2_safe.c_000.smt2 false 3.54 1.40 apollon166 vmt-chc-benchmarks/bv/kbfiltr_simpl2_BUG.cil_000.smt2 false 18.32 10.00 apollon132 vmt-chc-benchmarks/bv/s3_clnt_2_unsafe.BV.c.cil.c_000.smt2 false 64.79 57.04 apollon097 vmt-chc-benchmarks/bv/gulwani_fig1a.c_000.smt2 false 3.26 1.18 apollon031 vmt-chc-benchmarks/bv/transmitter.6_000.smt2 TIMEOUT 1808.34 399.41 apollon089 vmt-chc-benchmarks/bv/svd.c_000.smt2 TIMEOUT 1800.56 1792.09 apollon071 vmt-chc-benchmarks/bv/token_ring.10_000.smt2 TIMEOUT 1808.67 376.90 apollon165 vmt-chc-benchmarks/bv/transmitter.7_000.smt2 TIMEOUT 1805.45 414.00 apollon124 vmt-chc-benchmarks/bv/soft_float_1_safe.c.cil.c_000.smt2 TIMEOUT 1800.74 1782.61 apollon051 vmt-chc-benchmarks/bv/mem_slave_tlm.2_000.smt2 TIMEOUT 1800.59 1789.70 apollon137 vmt-chc-benchmarks/bv/gcd_2_safe.c_000.smt2 unknown 2.28 0.81 apollon166 vmt-chc-benchmarks/bv/parity_safe.c_000.smt2 false 4.32 1.65 apollon008 vmt-chc-benchmarks/bv/token_ring.11_000.smt2 TIMEOUT 1808.81 370.44 apollon167 vmt-chc-benchmarks/bv/token_ring.6_000.smt2 TIMEOUT 1806.20 406.56 apollon139 vmt-chc-benchmarks/bv/s3_srvr_7.cil_000.smt2 TIMEOUT 1800.59 1790.49 apollon012 vmt-chc-benchmarks/bv/up-nested.c_000.smt2 TIMEOUT 1800.63 1793.01 apollon159 vmt-chc-benchmarks/bv/floppy_simpl3_BUG.cil_000.smt2 false 132.36 103.09 apollon093 vmt-chc-benchmarks/bv/floppy_simpl3.cil_000.smt2 true 104.75 74.77 apollon031 vmt-chc-benchmarks/bv/s3_clnt_2.cil_000.smt2 true 51.76 44.27 apollon156 vmt-chc-benchmarks/bv/gulwani_cegar1.c_000.smt2 true 2.91 1.07 apollon022 vmt-chc-benchmarks/bv/soft_float_5_safe.c.cil.c_000.smt2 TIMEOUT 1800.65 1791.29 apollon117 vmt-chc-benchmarks/bv/s3_clnt_2_safe.BV.c.cil.c_000.smt2 true 74.85 67.97 apollon165 vmt-chc-benchmarks/bv/id_build.c_000.smt2 false 3.67 1.32 apollon124 vmt-chc-benchmarks/bv/bubblesort_init-1_000.smt2 true 11.89 5.55 apollon014 vmt-chc-benchmarks/bv/s3_srvr_2_BUG.cil_000.smt2 false 19.56 12.18 apollon038 vmt-chc-benchmarks/bv/s3_clnt_3_BUG.cil_000.smt2 false 19.71 12.30 apollon031 vmt-chc-benchmarks/bv/up4.c_000.smt2 TIMEOUT 1800.59 1793.67 apollon025 vmt-chc-benchmarks/bv/byte_add_unsafe.c_000.smt2 false 120.13 84.84 apollon022 vmt-chc-benchmarks/bv/mergesort.c_000.smt2 true 4.58 1.60 apollon100 vmt-chc-benchmarks/bv/puzzle1.c_000.smt2 TIMEOUT 1800.58 1793.72 apollon093 vmt-chc-benchmarks/bv/simple_array_inversion-3_000.smt2 false 21.46 12.97 apollon013 vmt-chc-benchmarks/bv/svd3.c_000.smt2 TIMEOUT 1800.60 1793.55 apollon123 vmt-chc-benchmarks/bv/SpamAssassin-loop.c_000.smt2 false 5.95 2.00 apollon140 vmt-chc-benchmarks/bv/s3_srvr_13.cil_000.smt2 TIMEOUT 1800.64 1790.02 apollon108 vmt-chc-benchmarks/bv/soft_float_3_safe.c.cil.c_000.smt2 false 386.51 378.24 apollon130 vmt-chc-benchmarks/bv/simple_nest.c_000.smt2 TIMEOUT 1800.77 1789.20 apollon107 vmt-chc-benchmarks/bv/toy-bug-1_000.smt2 TIMEOUT 1802.91 912.05 apollon099 vmt-chc-benchmarks/bv/svd1.c_000.smt2 false 7.53 2.83 apollon112 vmt-chc-benchmarks/bv/token_ring.8_000.smt2 TIMEOUT 1807.85 398.21 apollon064 vmt-chc-benchmarks/bv/transmitter.4_000.smt2 TIMEOUT 1803.50 438.05 apollon133 vmt-chc-benchmarks/bv/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 true 3.18 1.18 apollon132 vmt-chc-benchmarks/bv/nested7.c_000.smt2 false 9.94 6.57 apollon162 vmt-chc-benchmarks/bv/split.c_000.smt2 TIMEOUT 1800.52 1795.43 apollon067 vmt-chc-benchmarks/bv/jain_1_safe.c_000.smt2 TIMEOUT 1800.67 1792.50 apollon006 vmt-chc-benchmarks/bv/heapsort1.c_000.smt2 unknown 2.08 0.77 apollon132 vmt-chc-benchmarks/bv/seq3.c_000.smt2 TIMEOUT 1800.54 1794.58 apollon121 vmt-chc-benchmarks/bv/kundu-bug-2_000.smt2 TIMEOUT 1801.95 1006.82 apollon147 vmt-chc-benchmarks/bv/up5.c_000.smt2 TIMEOUT 1800.61 1793.61 apollon148 vmt-chc-benchmarks/bv/array_max-5_000.smt2 TIMEOUT 1808.68 386.51 apollon010 vmt-chc-benchmarks/bv/seq-len.c_000.smt2 TIMEOUT 1800.52 1795.01 apollon109 vmt-chc-benchmarks/bv/s3_clnt_1.cil_000.smt2 true 61.37 54.06 apollon054 vmt-chc-benchmarks/bv/simple_array_inversion-5_000.smt2 false 46.56 32.12 apollon035 vmt-chc-benchmarks/bv/down.c_000.smt2 TIMEOUT 1800.57 1794.33 apollon113 vmt-chc-benchmarks/bv/token_ring.13_000.smt2 TIMEOUT 1808.87 364.50 apollon109 vmt-chc-benchmarks/bv/simple.c_000.smt2 TIMEOUT 1800.64 1793.29 apollon147 vmt-chc-benchmarks/bv/apache-escape-absolute.c_000.smt2 TIMEOUT 1800.53 1793.90 apollon112 vmt-chc-benchmarks/bv/token_ring.2_000.smt2 TIMEOUT 1808.93 369.28 apollon018 vmt-chc-benchmarks/bv/byte_add_2_safe.c_000.smt2 true 110.58 79.53 apollon048 vmt-chc-benchmarks/bv/nested8.c_000.smt2 false 4.30 1.57 apollon107 eldarica-misc/BV/IntDualyzer/queens.c-bv_000.smt2 unknown 108.10 81.17 apollon146 eldarica-misc/BV/IntDualyzer/SOR.c-bv_000.smt2 unknown 1012.58 925.59 apollon115 eldarica-misc/BV/IntDualyzer/quicksort.c-bv_000.smt2 unknown 63.28 38.28 apollon102 eldarica-misc/BV/IntDualyzer/LU.c-bv_000.smt2 TIMEOUT 1801.05 1507.53 apollon085 eldarica-misc/BV/IntDualyzer/mergesort.c-bv_000.smt2 unknown 476.27 442.58 apollon030 eldarica-misc/BV/IntDualyzer/tab_acc.c-bv_000.smt2 unknown 2.21 0.80 apollon131 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe.c-bv_000.smt2 true 986.79 972.89 apollon140 eldarica-misc/BV/SLayerCF/chaining/append_fs_unsafe.c-bv_000.smt2 TIMEOUT 1800.82 1691.89 apollon150 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe_garbage_even_less_easy.c-bv_000.smt2 unknown 4.52 1.58 apollon008 eldarica-misc/BV/SLayerCF/chaining/copy_unsafe.c-bv_000.smt2 TIMEOUT 1800.85 1707.92 apollon001 eldarica-misc/BV/SLayerCF/chaining/destroy_iter_rem_unsafe.c-bv_000.smt2 TIMEOUT 1801.54 1550.11 apollon059 eldarica-misc/BV/SLayerCF/chaining/remove_for_unsafe.c-bv_000.smt2 TIMEOUT 1800.90 1659.59 apollon013 eldarica-misc/BV/SLayerCF/chaining/destroy_sll_unsafe.c-bv_000.smt2 TIMEOUT 1800.67 1733.64 apollon106 eldarica-misc/BV/SLayerCF/chaining/simple_list_unsafe.c-bv_000.smt2 TIMEOUT 1800.88 1653.02 apollon066 eldarica-misc/BV/SLayerCF/chaining/reverse_unsafe.c-bv_000.smt2 TIMEOUT 1800.96 1633.01 apollon005 eldarica-misc/BV/SLayerCF/chaining/simple_loop_unsafe.c-bv_000.smt2 true 983.27 836.20 apollon124 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe-ints-fanning-bv_000.smt2 true 5.24 1.94 apollon160 eldarica-misc/BV/SLayerCF/chaining/reverse_leak_unsafe.c-bv_000.smt2 TIMEOUT 1801.29 1615.86 apollon134 eldarica-misc/BV/SLayerCF/chaining/traverse_5lists_unsafe.c-bv_000.smt2 TIMEOUT 1807.57 643.18 apollon112 eldarica-misc/BV/SLayerCF/chaining/changing_truth_value_unsafe.c-bv_000.smt2 unknown 5.27 1.68 apollon047 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe_garbage_less_easy.c-bv_000.smt2 unknown 4.72 1.60 apollon101 eldarica-misc/BV/SLayerCF/chaining/reverse_negative_sublists_unsafe.c-bv_000.smt2 TIMEOUT 1800.99 1683.53 apollon101 eldarica-misc/BV/SLayerCF/chaining/splice_unsafe.c-bv_000.smt2 TIMEOUT 1800.98 1701.24 apollon119 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe-ints-bv_000.smt2 true 4.94 1.85 apollon052 eldarica-misc/BV/SLayerCF/chaining/traverse_rec_unsafe.c-bv_000.smt2 unknown 3.62 1.15 apollon126 eldarica-misc/BV/SLayerCF/chaining/append_unsafe.c-bv_000.smt2 TIMEOUT 1804.07 956.24 apollon078 eldarica-misc/BV/SLayerCF/chaining/destroy_test_dangling_unsafe.c-bv_000.smt2 TIMEOUT 1800.90 1654.12 apollon086 eldarica-misc/BV/SLayerCF/chaining/append_ret_unsafe.c-bv_000.smt2 TIMEOUT 1800.90 1702.25 apollon134 eldarica-misc/BV/SLayerCF/chaining/traverse_seg_rec_unsafe.c-bv_000.smt2 unknown 3.51 1.16 apollon018 eldarica-misc/BV/SLayerCF/chaining/reverse_leak2_unsafe.c-bv_000.smt2 TIMEOUT 1800.58 1692.92 apollon016 eldarica-misc/BV/SLayerCF/chaining/copy_fs_unsafe.c-bv_000.smt2 true 576.23 545.32 apollon139 eldarica-misc/BV/SLayerCF/chaining/traverse3_unsafe.c-bv_000.smt2 TIMEOUT 1801.67 1616.14 apollon054 eldarica-misc/BV/SLayerCF/chaining/complicated_unsafe.c-bv_000.smt2 TIMEOUT 1800.86 1713.15 apollon150 eldarica-misc/BV/SLayerCF/chaining/no_loops_unsafe.c-bv_000.smt2 true 1003.21 911.21 apollon106 eldarica-misc/BV/SLayerCF/chaining/nontrivial_list_unsafe.c-bv_000.smt2 TIMEOUT 1800.49 1693.94 apollon040 eldarica-misc/BV/SLayerCF/chaining/reverse_div_unsafe.c-bv_000.smt2 TIMEOUT 1800.91 1659.54 apollon043 eldarica-misc/BV/SLayerCF/chaining/copy_leak_unsafe.c-bv_000.smt2 TIMEOUT 1800.73 1686.60 apollon005 eldarica-misc/BV/SLayerCF/chaining/create_body_unsafe.c-bv_000.smt2 true 608.87 569.52 apollon114 eldarica-misc/BV/SLayerCF/chaining/find_ret_unsafe.c-bv_000.smt2 TIMEOUT 1800.71 1721.47 apollon038 eldarica-misc/BV/SLayerCF/chaining/traverse_2lists_unsafe.c-bv_000.smt2 TIMEOUT 1802.06 1221.19 apollon088 eldarica-misc/BV/SLayerCF/chaining/reverse_div3_unsafe.c-bv_000.smt2 TIMEOUT 1800.80 1702.40 apollon129 eldarica-misc/BV/SLayerCF/chaining/remove_for2_unsafe.c-bv_000.smt2 TIMEOUT 1801.49 1632.85 apollon081 eldarica-misc/BV/SLayerCF/chaining/reverse_div2_unsafe.c-bv_000.smt2 TIMEOUT 1800.60 1731.28 apollon089 eldarica-misc/BV/SLayerCF/chaining/traverse_seg_unsafe.c-bv_000.smt2 TIMEOUT 1800.56 1728.90 apollon130 eldarica-misc/BV/SLayerCF/chaining/simple_loop_unsafe_garbage.c-bv_000.smt2 unknown 7.36 2.45 apollon081 eldarica-misc/BV/SLayerCF/chaining/remove2_unsafe.c-bv_000.smt2 TIMEOUT 1801.69 1629.11 apollon090 eldarica-misc/BV/SLayerCF/chaining/traverse_twice_unsafe.c-bv_000.smt2 TIMEOUT 1801.98 1577.79 apollon111 eldarica-misc/BV/SLayerCF/chaining/create_via_tmps_unsafe.c-bv_000.smt2 TIMEOUT 1800.59 1731.79 apollon011 eldarica-misc/BV/SLayerCF/chaining/changing_truth_value_unsafe_garbage.c-bv_000.smt2 unknown 5.94 2.23 apollon132 eldarica-misc/BV/SLayerCF/chaining/create_body_unsafe-printf.c-bv_000.smt2 true 1049.42 1010.43 apollon068 eldarica-misc/BV/SLayerCF/chaining/insertion_sort_inlined_unsafe.c-bv_000.smt2 TIMEOUT 1801.22 1630.05 apollon092 eldarica-misc/BV/SLayerCF/chaining/reverse_div4_unsafe.c-bv_000.smt2 TIMEOUT 1801.68 1658.81 apollon156 eldarica-misc/BV/SLayerCF/chaining/two_loops_unsafe.c-bv_000.smt2 TIMEOUT 1800.52 1733.19 apollon037 eldarica-misc/BV/SLayerCF/chaining/insertion_sort_inlined_lead_unsafe.c-bv_000.smt2 TIMEOUT 1801.15 1635.79 apollon146 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe_garbage_easy.c-bv_000.smt2 unknown 4.11 1.47 apollon168 eldarica-misc/BV/SLayerCF/chaining/list_of_objects_unsafe.c-bv_000.smt2 TIMEOUT 1801.64 1647.59 apollon164 eldarica-misc/BV/SLayerCF/chaining/nontrivial_list_2_unsafe_garbage.c-bv_000.smt2 unknown 9.22 4.48 apollon107 eldarica-misc/BV/SLayerCF/chaining/reverse_seg_cyclic_unsafe.c-bv_000.smt2 TIMEOUT 1801.95 1567.77 apollon034 eldarica-misc/BV/SLayerCF/chaining/remove_ret_unsafe.c-bv_000.smt2 TIMEOUT 1800.59 1741.72 apollon135 eldarica-misc/BV/SLayerCF/chaining/fill_walk_drain_unsafe.c-bv_000.smt2 TIMEOUT 1801.04 1733.46 apollon115 eldarica-misc/BV/SLayerCF/chaining/insertion_sort_unsafe.c-bv_000.smt2 TIMEOUT 1801.06 1644.79 apollon047 eldarica-misc/BV/SLayerCF/chaining/append_ret_fs_unsafe.c-bv_000.smt2 TIMEOUT 1800.78 1731.11 apollon056 eldarica-misc/BV/SLayerCF/chaining/reverse_ret_unsafe.c-bv_000.smt2 TIMEOUT 1800.82 1701.50 apollon166 eldarica-misc/BV/SLayerCF/chaining/find_rec_unsafe.c-bv_000.smt2 TIMEOUT 1800.91 1648.38 apollon154 eldarica-misc/BV/SLayerCF/chaining/very_simple_unsafe_garbage_4.c-bv_000.smt2 unknown 5.29 2.13 apollon136 eldarica-misc/BV/SLayerCF/chaining/complicated_safe.c-bv_000.smt2 TIMEOUT 1800.79 1713.92 apollon144 eldarica-misc/BV/SLayerCF/chaining/remove_unsafe.c-bv_000.smt2 TIMEOUT 1800.97 1614.57 apollon069 eldarica-misc/BV/SLayerCF/chaining/traverse_unsafe.c-bv_000.smt2 TIMEOUT 1801.42 1577.98 apollon008 eldarica-misc/BV/SLayerCF/chaining/traverse_seg_rec_nondet_unsafe.c-bv_000.smt2 unknown 3.92 1.24 apollon128 eldarica-misc/BV/SLayerCF/chaining/reverse_seg_unsafe.c-bv_000.smt2 TIMEOUT 1800.78 1716.84 apollon065 eldarica-misc/BV/SLayerCF/chaining/traverse_1lists_unsafe.c-bv_000.smt2 TIMEOUT 1801.12 1667.99 apollon137 eldarica-misc/BV/SLayerCF/chaining/insert_ret_unsafe.c-bv_000.smt2 TIMEOUT 1800.60 1744.14 apollon123 eldarica-misc/BV/SLayerCF/chaining/reverse_negative_sublists_fs_unsafe.c-bv_000.smt2 TIMEOUT 1803.19 929.38 apollon158 eldarica-misc/BV/SLayerCF/chaining/merge_rec_unsafe.c-bv_000.smt2 TIMEOUT 1801.61 1666.91 apollon100 eldarica-misc/BV/SLayerCF/fanning/very_simple_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/append_fs_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/very_simple_unsafe_garbage_even_less_easy.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/copy_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/destroy_iter_rem_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/remove_for_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/destroy_sll_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/simple_list_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/simple_loop_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_leak_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_5lists_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/changing_truth_value_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/very_simple_unsafe_garbage_less_easy.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_negative_sublists_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/splice_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_rec_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/append_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/destroy_test_dangling_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/append_ret_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_seg_rec_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_leak2_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/copy_fs_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse3_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/complicated_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/no_loops_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/nontrivial_list_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_div_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/copy_leak_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/create_body_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/find_ret_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_2lists_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_div3_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/remove_for2_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_div2_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_seg_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/simple_loop_unsafe_garbage.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/remove2_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_twice_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/create_via_tmps_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/changing_truth_value_unsafe_garbage.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/create_body_unsafe-printf.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/insertion_sort_inlined_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_div4_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/two_loops_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/insertion_sort_inlined_lead_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/very_simple_unsafe_garbage_easy.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/list_of_objects_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/nontrivial_list_2_unsafe_garbage.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_seg_cyclic_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/remove_ret_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/fill_walk_drain_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/insertion_sort_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/append_ret_fs_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_ret_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/find_rec_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/very_simple_unsafe_garbage_4.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/complicated_safe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/remove_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_seg_rec_nondet_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_seg_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/traverse_1lists_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/insert_ret_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/reverse_negative_sublists_fs_unsafe.c-bv_000.smt2 eldarica-misc/BV/SLayerCF/fanning/merge_rec_unsafe.c-bv_000.smt2 eldarica-misc/BV/reve/012c-bv_000.smt2 false 3.27 1.32 apollon023 eldarica-misc/BV/reve/022c-bv_000.smt2 false 2.59 1.02 apollon062 eldarica-misc/BV/reve/012b-horn-bv_000.smt2 false 5.23 2.68 apollon130 eldarica-misc/BV/reve/010b-horn-bv_000.smt2 true 3.29 1.18 apollon023 eldarica-misc/BV/reve/025b-horn-bv_000.smt2 true 98.77 92.63 apollon100 eldarica-misc/BV/reve/015b-bv_000.smt2 false 3.10 1.34 apollon041 eldarica-misc/BV/reve/010-horn-bv_000.smt2 TIMEOUT 1800.79 1789.72 apollon088 eldarica-misc/BV/reve/014d-bv_000.smt2 false 3.19 1.41 apollon122 eldarica-misc/BV/reve/027-bv_000.smt2 false 2.95 1.28 apollon114 eldarica-misc/BV/reve/017-horn-bv_000.smt2 true 3.53 1.25 apollon030 eldarica-misc/BV/reve/011d-horn-bv_000.smt2 false 7.42 2.14 apollon027 eldarica-misc/BV/reve/009b-horn-bv_000.smt2 true 76.82 65.26 apollon132 eldarica-misc/BV/reve/017-bv_000.smt2 false 2.67 1.27 apollon155 eldarica-misc/BV/reve/006-bv_000.smt2 false 2.54 1.03 apollon147 eldarica-misc/BV/reve/017b-horn-bv_000.smt2 TIMEOUT 1800.68 1791.77 apollon061 eldarica-misc/BV/reve/021b-horn-bv_000.smt2 unknown 8.00 2.76 apollon134 eldarica-misc/BV/reve/005b-horn-bv_000.smt2 unknown 44.17 24.17 apollon014 eldarica-misc/BV/reve/026-horn-bv_000.smt2 TIMEOUT 1800.63 1793.08 apollon098 eldarica-misc/BV/reve/014d-horn-bv_000.smt2 TIMEOUT 1800.61 1792.52 apollon024 eldarica-misc/BV/reve/013-horn-bv_000.smt2 TIMEOUT 1800.58 1793.49 apollon059 eldarica-misc/BV/reve/022-horn-bv_000.smt2 unknown 10.18 4.19 apollon074 eldarica-misc/BV/reve/020-bv_000.smt2 false 2.45 0.96 apollon050 eldarica-misc/BV/reve/018-bv_000.smt2 false 3.83 1.27 apollon032 eldarica-misc/BV/reve/014b-horn-bv_000.smt2 TIMEOUT 1800.56 1794.49 apollon027 eldarica-misc/BV/reve/010-bv_000.smt2 false 2.68 1.33 apollon150 eldarica-misc/BV/reve/003-bv_000.smt2 false 2.58 1.26 apollon086 eldarica-misc/BV/reve/008-horn-bv_000.smt2 true 6.64 1.80 apollon148 eldarica-misc/BV/reve/009b-bv_000.smt2 unknown 1.64 0.64 apollon080 eldarica-misc/BV/reve/001-bv_000.smt2 false 3.44 1.21 apollon008 eldarica-misc/BV/reve/013-bv_000.smt2 false 3.58 1.21 apollon079 eldarica-misc/BV/reve/016-horn-bv_000.smt2 true 3.02 1.11 apollon157 eldarica-misc/BV/reve/027-horn-bv_000.smt2 true 4.49 1.32 apollon156 eldarica-misc/BV/reve/020b-bv_000.smt2 false 2.62 1.05 apollon100 eldarica-misc/BV/reve/025d-bv_000.smt2 false 2.76 1.29 apollon160 eldarica-misc/BV/reve/011c-bv_000.smt2 false 3.52 1.18 apollon106 eldarica-misc/BV/reve/005-horn-bv_000.smt2 unknown 42.59 22.15 apollon037 eldarica-misc/BV/reve/008b-bv_000.smt2 unknown 1.67 0.69 apollon139 eldarica-misc/BV/reve/027b-bv_000.smt2 false 2.95 1.36 apollon132 eldarica-misc/BV/reve/020-horn-bv_000.smt2 TIMEOUT 1800.60 1793.43 apollon015 eldarica-misc/BV/reve/005-bv_000.smt2 false 2.48 1.01 apollon155 eldarica-misc/BV/reve/025-bv_000.smt2 false 2.84 1.07 apollon137 eldarica-misc/BV/reve/007-bv_000.smt2 false 2.63 1.10 apollon102 eldarica-misc/BV/reve/019-bv_000.smt2 false 2.41 0.97 apollon099 eldarica-misc/BV/reve/015b-horn-bv_000.smt2 TIMEOUT 1800.56 1793.93 apollon070 eldarica-misc/BV/reve/004-horn-bv_000.smt2 TIMEOUT 1800.61 1793.40 apollon068 eldarica-misc/BV/reve/003d-horn-bv_000.smt2 true 4.79 1.48 apollon146 eldarica-misc/BV/reve/010b-bv_000.smt2 false 2.52 1.01 apollon121 eldarica-misc/BV/reve/023-horn-bv_000.smt2 true 4.33 1.77 apollon147 eldarica-misc/BV/reve/012d-bv_000.smt2 false 3.24 1.12 apollon030 eldarica-misc/BV/reve/006-horn-bv_000.smt2 unknown 50.85 38.61 apollon103 eldarica-misc/BV/reve/018b-bv_000.smt2 false 3.64 1.19 apollon004 eldarica-misc/BV/reve/007b-bv_000.smt2 false 2.56 1.00 apollon008 eldarica-misc/BV/reve/003d-bv_000.smt2 false 2.60 1.05 apollon101 eldarica-misc/BV/reve/011b-bv_000.smt2 false 3.54 1.36 apollon022 eldarica-misc/BV/reve/004b-horn-bv_000.smt2 TIMEOUT 1800.65 1791.81 apollon055 eldarica-misc/BV/reve/021-horn-bv_000.smt2 unknown 8.71 2.92 apollon102 eldarica-misc/BV/reve/022c-horn-bv_000.smt2 unknown 10.36 4.22 apollon058 eldarica-misc/BV/reve/022b-horn-bv_000.smt2 unknown 11.03 4.52 apollon122 eldarica-misc/BV/reve/002b-bv_000.smt2 false 3.56 1.23 apollon005 eldarica-misc/BV/reve/014b-bv_000.smt2 false 3.10 1.08 apollon121 eldarica-misc/BV/reve/019b-horn-bv_000.smt2 TIMEOUT 1800.87 1788.70 apollon006 eldarica-misc/BV/reve/001b-bv_000.smt2 false 3.45 1.22 apollon121 eldarica-misc/BV/reve/009-horn-bv_000.smt2 TIMEOUT 1800.76 1783.38 apollon161 eldarica-misc/BV/reve/014-bv_000.smt2 false 3.22 1.06 apollon149 eldarica-misc/BV/reve/003b-bv_000.smt2 false 2.68 1.28 apollon101 eldarica-misc/BV/reve/022d-horn-bv_000.smt2 unknown 10.91 4.58 apollon039 eldarica-misc/BV/reve/027b-horn-bv_000.smt2 true 4.74 1.59 apollon115 eldarica-misc/BV/reve/022b-bv_000.smt2 false 2.57 1.01 apollon041 eldarica-misc/BV/reve/012d-horn-bv_000.smt2 false 4.76 2.46 apollon035 eldarica-misc/BV/reve/025b-bv_000.smt2 false 2.73 1.07 apollon101 eldarica-misc/BV/reve/006b-bv_000.smt2 false 2.67 1.14 apollon068 eldarica-misc/BV/reve/015-horn-bv_000.smt2 TIMEOUT 1800.56 1793.99 apollon019 eldarica-misc/BV/reve/012-bv_000.smt2 false 3.55 1.37 apollon058 eldarica-misc/BV/reve/019b-bv_000.smt2 false 2.60 1.24 apollon142 eldarica-misc/BV/reve/016b-bv_000.smt2 false 2.52 1.26 apollon132 eldarica-misc/BV/reve/026b-horn-bv_000.smt2 true 3.03 1.12 apollon013 eldarica-misc/BV/reve/025d-horn-bv_000.smt2 TIMEOUT 1800.59 1793.06 apollon116 eldarica-misc/BV/reve/021-bv_000.smt2 false 3.68 1.48 apollon027 eldarica-misc/BV/reve/001c-horn-bv_000.smt2 TIMEOUT 1800.26 1747.03 apollon155 eldarica-misc/BV/reve/016-bv_000.smt2 false 2.48 1.22 apollon100 eldarica-misc/BV/reve/017b-bv_000.smt2 false 2.53 1.28 apollon010 eldarica-misc/BV/reve/003c-bv_000.smt2 false 2.61 0.99 apollon075 eldarica-misc/BV/reve/025c-bv_000.smt2 false 2.85 1.17 apollon081 eldarica-misc/BV/reve/018-horn-bv_000.smt2 true 5.34 1.53 apollon002 eldarica-misc/BV/reve/020d-bv_000.smt2 false 2.70 1.28 apollon102 eldarica-misc/BV/reve/003-horn-bv_000.smt2 TIMEOUT 1800.60 1793.45 apollon085 eldarica-misc/BV/reve/001d-bv_000.smt2 false 3.94 1.48 apollon145 eldarica-misc/BV/reve/013b-bv_000.smt2 false 3.61 1.19 apollon132 eldarica-misc/BV/reve/001d-horn-bv_000.smt2 unknown 1430.92 1385.87 apollon049 eldarica-misc/BV/reve/012b-bv_000.smt2 false 3.26 1.34 apollon135 eldarica-misc/BV/reve/012c-horn-bv_000.smt2 false 4.71 2.21 apollon012 eldarica-misc/BV/reve/015-bv_000.smt2 false 3.14 1.33 apollon074 eldarica-misc/BV/reve/005b-bv_000.smt2 false 2.44 0.99 apollon133 eldarica-misc/BV/reve/023-bv_000.smt2 false 2.46 1.01 apollon014 eldarica-misc/BV/reve/025-horn-bv_000.smt2 true 99.44 93.33 apollon020 eldarica-misc/BV/reve/020b-horn-bv_000.smt2 TIMEOUT 1800.87 1788.08 apollon034 eldarica-misc/BV/reve/002c-bv_000.smt2 false 3.87 1.49 apollon132 eldarica-misc/BV/reve/011d-bv_000.smt2 false 3.59 1.36 apollon010 eldarica-misc/BV/reve/002d-horn-bv_000.smt2 false 5.54 2.20 apollon038 eldarica-misc/BV/reve/024-horn-bv_000.smt2 TIMEOUT 1800.56 1794.37 apollon039 eldarica-misc/BV/reve/014c-horn-bv_000.smt2 TIMEOUT 1800.59 1793.18 apollon020 eldarica-misc/BV/reve/002d-bv_000.smt2 false 3.75 1.37 apollon008 eldarica-misc/BV/reve/011b-horn-bv_000.smt2 TIMEOUT 1801.07 1784.30 apollon032 eldarica-misc/BV/reve/003c-horn-bv_000.smt2 true 4.24 1.32 apollon038 eldarica-misc/BV/reve/020c-horn-bv_000.smt2 true 3.40 1.24 apollon080 eldarica-misc/BV/reve/004b-bv_000.smt2 false 2.48 0.99 apollon061 eldarica-misc/BV/reve/007b-horn-bv_000.smt2 true 3.76 1.36 apollon089 eldarica-misc/BV/reve/009-bv_000.smt2 unknown 1.59 0.63 apollon048 eldarica-misc/BV/reve/024b-horn-bv_000.smt2 TIMEOUT 1800.56 1794.60 apollon053 eldarica-misc/BV/reve/012-horn-bv_000.smt2 false 4.93 2.48 apollon103 eldarica-misc/BV/reve/025c-horn-bv_000.smt2 TIMEOUT 1800.55 1794.04 apollon163 eldarica-misc/BV/reve/020c-bv_000.smt2 false 2.61 1.06 apollon121 eldarica-misc/BV/reve/023b-bv_000.smt2 false 2.54 1.29 apollon157 eldarica-misc/BV/reve/024-bv_000.smt2 false 2.74 1.05 apollon025 eldarica-misc/BV/reve/024b-bv_000.smt2 false 2.72 1.34 apollon018 eldarica-misc/BV/reve/002-bv_000.smt2 false 3.43 1.36 apollon139 eldarica-misc/BV/reve/002-horn-bv_000.smt2 TIMEOUT 1800.57 1793.54 apollon082 eldarica-misc/BV/reve/002c-horn-bv_000.smt2 false 5.32 2.10 apollon080 eldarica-misc/BV/reve/021b-bv_000.smt2 false 3.05 1.31 apollon027 eldarica-misc/BV/reve/006b-horn-bv_000.smt2 unknown 53.35 41.80 apollon086 eldarica-misc/BV/reve/020d-horn-bv_000.smt2 true 3.45 1.45 apollon112 eldarica-misc/BV/reve/008-bv_000.smt2 unknown 1.67 0.67 apollon025 eldarica-misc/BV/reve/022d-bv_000.smt2 false 2.89 1.42 apollon080 eldarica-misc/BV/reve/004-bv_000.smt2 false 2.42 0.99 apollon089 eldarica-misc/BV/reve/022-bv_000.smt2 false 2.70 1.27 apollon031 eldarica-misc/BV/reve/023b-horn-bv_000.smt2 true 3.17 1.09 apollon132 eldarica-misc/BV/reve/019-horn-bv_000.smt2 true 3.68 1.36 apollon039 eldarica-misc/BV/reve/001-horn-bv_000.smt2 unknown 13.23 4.52 apollon058 eldarica-misc/BV/reve/002b-horn-bv_000.smt2 TIMEOUT 1800.58 1793.25 apollon142 eldarica-misc/BV/reve/003b-horn-bv_000.smt2 true 3.95 1.29 apollon147 eldarica-misc/BV/reve/011c-horn-bv_000.smt2 false 7.28 2.00 apollon138 eldarica-misc/BV/reve/018b-horn-bv_000.smt2 true 9.27 4.34 apollon102 eldarica-misc/BV/reve/011-bv_000.smt2 false 3.55 1.37 apollon103 eldarica-misc/BV/reve/026-bv_000.smt2 false 2.65 1.03 apollon148 eldarica-misc/BV/reve/008b-horn-bv_000.smt2 true 5.83 1.60 apollon098 eldarica-misc/BV/reve/016b-horn-bv_000.smt2 TIMEOUT 1800.64 1793.06 apollon014 eldarica-misc/BV/reve/001b-horn-bv_000.smt2 unknown 12.18 4.27 apollon011 eldarica-misc/BV/reve/014-horn-bv_000.smt2 TIMEOUT 1800.56 1794.08 apollon095 eldarica-misc/BV/reve/026b-bv_000.smt2 false 2.55 1.25 apollon144 eldarica-misc/BV/reve/014c-bv_000.smt2 false 3.27 1.18 apollon012 eldarica-misc/BV/reve/001c-bv_000.smt2 false 3.72 1.32 apollon022 eldarica-misc/BV/reve/013b-horn-bv_000.smt2 TIMEOUT 1800.58 1793.66 apollon010 eldarica-misc/BV/reve/007-horn-bv_000.smt2 true 3.81 1.37 apollon064 eldarica-misc/BV/reve/011-horn-bv_000.smt2 TIMEOUT 1801.37 1783.16 apollon097 eldarica-misc/BV/ssh-simplified/s3_srvr_3.cil.c-bv_000.smt2 TIMEOUT 1801.01 1571.22 apollon162 eldarica-misc/BV/ssh-simplified/s3_srvr_1b.cil.c-bv_000.smt2 unknown 344.20 321.59 apollon052 eldarica-misc/BV/ssh-simplified/s3_srvr_10_BUG.cil.c-bv_000.smt2 TIMEOUT 1800.45 1531.51 apollon091 eldarica-misc/BV/ssh-simplified/s3_clnt_2.cil.c-bv_000.smt2 TIMEOUT 1801.07 1595.83 apollon046 eldarica-misc/BV/ssh-simplified/s3_clnt_3_BUG.cil.c-bv_000.smt2 TIMEOUT 1804.67 1592.83 apollon051 eldarica-misc/BV/ssh-simplified/s3_srvr_1_BUG.cil.c-bv_000.smt2 TIMEOUT 1801.23 1565.55 apollon122 eldarica-misc/BV/ssh-simplified/s3_srvr_6_BUG.cil.c-bv_000.smt2 TIMEOUT 1801.18 1566.44 apollon086 eldarica-misc/BV/ssh-simplified/s3_srvr_7.cil.c-bv_000.smt2 TIMEOUT 1801.03 1577.62 apollon048 eldarica-misc/BV/ssh-simplified/s3_srvr_2_BUG.cil.c-bv_000.smt2 TIMEOUT 1800.84 1590.79 apollon064 eldarica-misc/BV/ssh-simplified/s3_clnt_3.cil.c-bv_000.smt2 TIMEOUT 1800.63 1593.61 apollon033 eldarica-misc/BV/ssh-simplified/s3_srvr_6.cil.c-bv_000.smt2 TIMEOUT 1800.54 1524.65 apollon138 eldarica-misc/BV/ssh-simplified/s3_clnt_3.cil_org.c-bv_000.smt2 TIMEOUT 1800.54 1632.86 apollon081 eldarica-misc/BV/ssh-simplified/s3_clnt_4_BUG.cil.c-bv_000.smt2 TIMEOUT 1801.19 1589.73 apollon002 eldarica-misc/BV/ssh-simplified/s3_clnt_1_BUG.cil.c-bv_000.smt2 TIMEOUT 1800.89 1609.28 apollon154 eldarica-misc/BV/ssh-simplified/s3_srvr_14_BUG.cil.c-bv_000.smt2 TIMEOUT 1800.69 1518.73 apollon050 eldarica-misc/BV/ssh-simplified/s3_srvr_2.cil.c-bv_000.smt2 TIMEOUT 1800.86 1594.52 apollon142 eldarica-misc/BV/ssh-simplified/s3_clnt_4.cil.c-bv_000.smt2 TIMEOUT 1801.21 1589.29 apollon096 eldarica-misc/BV/ssh-simplified/s3_srvr_1a.cil.c-bv_000.smt2 unknown 53.48 25.91 apollon051 eldarica-misc/BV/ssh-simplified/s3_clnt_2_BUG.cil.c-bv_000.smt2 TIMEOUT 1800.30 1585.37 apollon028 eldarica-misc/BV/ssh-simplified/s3_srvr_4.cil.c-bv_000.smt2 TIMEOUT 1801.01 1573.40 apollon104 eldarica-misc/BV/ssh-simplified/s3_clnt_1.cil.c-bv_000.smt2 TIMEOUT 1800.88 1605.65 apollon033 eldarica-misc/BV/ssh-simplified/s3_srvr_8.cil.c-bv_000.smt2 TIMEOUT 1801.22 1530.59 apollon149 eldarica-misc/BV/Consistency/incremental-2lists.39-bv_000.smt2 unknown 381.76 329.97 apollon058 eldarica-misc/BV/Consistency/point-location.47-bv_000.smt2 unknown 237.33 191.63 apollon142 eldarica-misc/BV/Consistency/point-location.44-bv_000.smt2 unknown 121.97 81.29 apollon055 eldarica-misc/BV/Consistency/point-location-nr.49-bv_000.smt2 unknown 166.12 129.84 apollon054 eldarica-misc/BV/Consistency/point-location.46-bv_000.smt2 unknown 122.27 84.58 apollon064 eldarica-misc/BV/Consistency/fortune-full.14-bv_000.smt2 unknown 235.84 187.06 apollon112 eldarica-misc/BV/Consistency/point-location.48-bv_000.smt2 unknown 121.01 80.71 apollon050 eldarica-misc/BV/Consistency/fortune-full.15-bv_000.smt2 unknown 559.21 507.34 apollon016 eldarica-misc/BV/Consistency/fortune-full.12-bv_000.smt2 unknown 301.54 251.42 apollon131 eldarica-misc/BV/Consistency/graham.28-bv_000.smt2 unknown 126.32 90.01 apollon013 eldarica-misc/BV/Consistency/point-location.43-bv_000.smt2 unknown 243.82 199.54 apollon030 eldarica-misc/BV/Consistency/incremental2.42-bv_000.smt2 unknown 232.69 182.67 apollon128 eldarica-misc/BV/Consistency/point-location-nr.53-bv_000.smt2 unknown 175.33 133.38 apollon126 eldarica-misc/BV/Consistency/point-location-nr.54-bv_000.smt2 unknown 88.27 51.44 apollon040 eldarica-misc/BV/Consistency/incremental.35-bv_000.smt2 unknown 527.36 474.86 apollon124 eldarica-misc/BV/Consistency/fortune-full-nonrobust.22-bv_000.smt2 unknown 190.60 145.42 apollon114 eldarica-misc/BV/Consistency/ch-triangle-location-nr.1-bv_000.smt2 unknown 198.70 158.35 apollon014 eldarica-misc/BV/Consistency/fortune-full.13-bv_000.smt2 unknown 579.88 525.26 apollon033 eldarica-misc/BV/Consistency/fortune-full-nonrobust.21-bv_000.smt2 unknown 399.60 351.80 apollon039 eldarica-misc/BV/Consistency/incremental-2lists.38-bv_000.smt2 unknown 177.43 129.09 apollon025 eldarica-misc/BV/Consistency/giftwrapping.26-bv_000.smt2 unknown 145.35 105.33 apollon030 eldarica-misc/BV/Consistency/fortune-half.24-bv_000.smt2 unknown 117.08 79.77 apollon073 eldarica-misc/BV/Consistency/graham-scan.29-bv_000.smt2 unknown 256.65 215.72 apollon132 eldarica-misc/BV/Consistency/delauny-edge-flipping.7-bv_000.smt2 false 11.52 6.44 apollon023 eldarica-misc/BV/Consistency/fortune-full-nonrobust.20-bv_000.smt2 unknown 168.36 126.13 apollon147 eldarica-misc/BV/Consistency/fortune-full-nonrobust.18-bv_000.smt2 unknown 150.26 107.97 apollon098 eldarica-misc/BV/Consistency/fortune-half.23-bv_000.smt2 unknown 265.92 223.66 apollon031 eldarica-misc/BV/Consistency/fortune-full.11-bv_000.smt2 unknown 681.49 627.52 apollon086 eldarica-misc/BV/Consistency/slow-hull.56-bv_000.smt2 unknown 88.37 55.68 apollon045 eldarica-misc/BV/Consistency/ch-triangle-location-nr.3-bv_000.smt2 unknown 204.87 163.69 apollon022 eldarica-misc/BV/Consistency/incremental.36-bv_000.smt2 unknown 233.34 183.90 apollon050 eldarica-misc/BV/Consistency/ch-triangle-location-nr.5-bv_000.smt2 unknown 199.14 158.23 apollon091 eldarica-misc/BV/Consistency/incremental-2lists.40-bv_000.smt2 unknown 179.78 133.05 apollon142 eldarica-misc/BV/Consistency/slow-hull.55-bv_000.smt2 unknown 172.17 135.43 apollon016 eldarica-misc/BV/Consistency/graham-scan-full.33-bv_000.smt2 unknown 272.94 231.06 apollon155 eldarica-misc/BV/Consistency/point-location.45-bv_000.smt2 unknown 251.89 211.50 apollon119 eldarica-misc/BV/Consistency/fortune-full.9-bv_000.smt2 unknown 675.42 620.23 apollon148 eldarica-misc/BV/Consistency/graham-scan-full.32-bv_000.smt2 unknown 136.61 95.80 apollon097 eldarica-misc/BV/Consistency/fortune-full-nonrobust.17-bv_000.smt2 unknown 326.60 279.92 apollon115 eldarica-misc/BV/Consistency/fortune-full.10-bv_000.smt2 unknown 304.65 254.67 apollon149 eldarica-misc/BV/Consistency/graham-scan-full.31-bv_000.smt2 unknown 286.91 241.42 apollon157 eldarica-misc/BV/Consistency/fortune-full-nonrobust.19-bv_000.smt2 unknown 372.30 326.14 apollon023 eldarica-misc/BV/Consistency/graham.27-bv_000.smt2 unknown 270.85 226.18 apollon092 eldarica-misc/BV/Consistency/graham-scan-full.34-bv_000.smt2 unknown 131.76 90.63 apollon140 eldarica-misc/BV/Consistency/graham-scan.30-bv_000.smt2 unknown 126.23 89.36 apollon166 eldarica-misc/BV/Consistency/incremental-2lists.37-bv_000.smt2 unknown 370.58 319.15 apollon023 eldarica-misc/BV/Consistency/ch-triangle-location-nr.4-bv_000.smt2 unknown 94.07 59.11 apollon018 eldarica-misc/BV/Consistency/ch-triangle-location-nr.2-bv_000.smt2 unknown 92.85 58.32 apollon089 eldarica-misc/BV/Consistency/giftwrapping.25-bv_000.smt2 unknown 311.86 268.12 apollon041 eldarica-misc/BV/Consistency/incremental2.41-bv_000.smt2 unknown 518.08 467.63 apollon160 eldarica-misc/BV/Consistency/point-location-nr.52-bv_000.smt2 unknown 83.90 49.99 apollon114 eldarica-misc/BV/Consistency/fortune-full.16-bv_000.smt2 unknown 244.74 194.88 apollon092 eldarica-misc/BV/Consistency/point-location-nr.51-bv_000.smt2 unknown 167.19 128.80 apollon165 eldarica-misc/BV/Consistency/point-location-nr.50-bv_000.smt2 unknown 84.35 49.92 apollon104 eldarica-misc/BV/Consistency/ch-triangle-location-nr.6-bv_000.smt2 unknown 94.92 58.42 apollon148 eldarica-misc/BV/dillig/02.c-bv_000.smt2 false 24.94 18.44 apollon037 eldarica-misc/BV/dillig/04.c-bv_000.smt2 false 3.93 1.53 apollon122 eldarica-misc/BV/dillig/11.c-bv_000.smt2 false 4.60 2.11 apollon081 eldarica-misc/BV/dillig/22.c-bv_000.smt2 false 12.99 7.54 apollon092 eldarica-misc/BV/dillig/20.c-bv_000.smt2 false 58.14 50.04 apollon007 eldarica-misc/BV/dillig/13.c-bv_000.smt2 TIMEOUT 1800.60 1790.99 apollon131 eldarica-misc/BV/dillig/16.c-bv_000.smt2 TIMEOUT 1800.57 1792.07 apollon161 eldarica-misc/BV/dillig/31.c-bv_000.smt2 false 92.41 84.59 apollon079 eldarica-misc/BV/dillig/45.c-bv_000.smt2 TIMEOUT 1800.68 1785.41 apollon008 eldarica-misc/BV/dillig/39.c-bv_000.smt2 true 6.39 1.83 apollon028 eldarica-misc/BV/dillig/44.c-bv_000.smt2 false 22.94 16.37 apollon028 eldarica-misc/BV/dillig/28.c-bv_000.smt2 false 18.81 13.13 apollon100 eldarica-misc/BV/dillig/14.c-bv_000.smt2 false 10.67 5.33 apollon082 eldarica-misc/BV/dillig/09.c-bv_000.smt2 TIMEOUT 1800.72 1788.44 apollon022 eldarica-misc/BV/dillig/38.c-bv_000.smt2 unknown 2.10 0.74 apollon045 eldarica-misc/BV/dillig/10.c-bv_000.smt2 false 23.39 16.71 apollon162 eldarica-misc/BV/dillig/08.c-bv_000.smt2 TIMEOUT 1800.66 1787.79 apollon020 eldarica-misc/BV/dillig/12.c-bv_000.smt2 TIMEOUT 1800.65 1788.14 apollon133 eldarica-misc/BV/dillig/05.c-bv_000.smt2 false 11.17 5.72 apollon036 eldarica-misc/BV/dillig/03.c-bv_000.smt2 false 82.50 75.62 apollon097 eldarica-misc/BV/dillig/06.c-bv_000.smt2 false 57.20 50.35 apollon107 eldarica-misc/BV/dillig/35.c-bv_000.smt2 false 5.11 2.31 apollon151 eldarica-misc/BV/dillig/37.c-bv_000.smt2 false 12.25 7.93 apollon100 eldarica-misc/BV/dillig/29.c-bv_000.smt2 false 86.41 78.45 apollon128 eldarica-misc/BV/dillig/40.c-bv_000.smt2 false 180.93 171.72 apollon139 eldarica-misc/BV/dillig/41.c-bv_000.smt2 false 37.18 30.93 apollon059 eldarica-misc/BV/dillig/07.c-bv_000.smt2 false 42.72 35.63 apollon074 eldarica-misc/BV/dillig/21.c-bv_000.smt2 false 18.89 12.18 apollon107 eldarica-misc/BV/dillig/46.c-bv_000.smt2 TIMEOUT 1800.59 1791.54 apollon010 eldarica-misc/BV/dillig/42.c-bv_000.smt2 unknown 2.65 0.85 apollon128 eldarica-misc/BV/dillig/26.c-bv_000.smt2 false 128.23 119.42 apollon168 eldarica-misc/BV/dillig/19.c-bv_000.smt2 false 8.63 3.86 apollon027 eldarica-misc/BV/dillig/01.c-bv_000.smt2 true 824.63 818.47 apollon058 eldarica-misc/BV/dillig/24.c-bv_000.smt2 false 32.95 26.57 apollon165 eldarica-misc/BV/dillig/25.c-bv_000.smt2 false 11.17 4.02 apollon167 eldarica-misc/BV/dillig/43.c-bv_000.smt2 false 19.36 14.16 apollon012 eldarica-misc/BV/dillig/33.c-bv_000.smt2 false 228.78 220.40 apollon064 eldarica-misc/BV/dillig/32.c-bv_000.smt2 TIMEOUT 1800.69 1789.82 apollon165 eldarica-misc/BV/dillig/30.c-bv_000.smt2 TIMEOUT 1800.72 1790.72 apollon095 eldarica-misc/BV/dillig/23.c-bv_000.smt2 false 6.17 2.81 apollon022 eldarica-misc/BV/dillig/27.c-bv_000.smt2 TIMEOUT 1800.57 1791.52 apollon003 eldarica-misc/BV/dillig/34.c-bv_000.smt2 unknown 2.21 0.76 apollon027 eldarica-misc/BV/dillig/36.c-bv_000.smt2 TIMEOUT 1800.66 1787.90 apollon094 eldarica-misc/BV/dillig/15.c-bv_000.smt2 false 9.04 5.28 apollon121 eldarica-misc/BV/dillig/17.c-bv_000.smt2 false 11.61 6.89 apollon020 eldarica-misc/BV/dillig/18.c-bv_000.smt2 TIMEOUT 1800.61 1791.90 apollon114 eldarica-misc/BV/qarmc/cyclic-bv_000.smt2 TIMEOUT 1800.93 1763.43 apollon044 eldarica-misc/BV/qarmc/tridag-bv_000.smt2 TIMEOUT 1800.91 1782.61 apollon139 eldarica-misc/BV/qarmc/pzextr-bv_000.smt2 TIMEOUT 1800.68 1779.62 apollon014 eldarica-misc/BV/qarmc/amebsa-bv_000.smt2 TIMEOUT 1800.89 1716.35 apollon157 eldarica-misc/BV/qarmc/qrsolv-bv_000.smt2 false 1774.88 1761.26 apollon127 eldarica-misc/BV/qarmc/rsolv-bv_000.smt2 false 880.88 868.61 apollon155 eldarica-misc/BV/qarmc/crank-bv_000.smt2 false 694.24 680.31 apollon157 eldarica-misc/BV/qarmc/amotsa-bv_000.smt2 TIMEOUT 1800.83 1777.29 apollon097 eldarica-misc/BV/qarmc/bandec-bv_000.smt2 TIMEOUT 1800.54 1725.06 apollon125 eldarica-misc/BV/qarmc/qrdcmp-bv_000.smt2 TIMEOUT 1801.28 1725.85 apollon023 eldarica-misc/BV/qarmc/choldc-bv_000.smt2 TIMEOUT 1800.62 1785.09 apollon080 eldarica-misc/BV/qarmc/four1-bv_000.smt2 TIMEOUT 1800.27 1729.19 apollon004 eldarica-misc/BV/qarmc/lop-bv_000.smt2 TIMEOUT 1800.75 1774.23 apollon056 ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 21427.48 - Statistics: 559 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 348