misc/bench-few-provers-why3-conf

   1 [uninstalled_prover altergo_2_6_0]
   2 name = "Alt-Ergo"
   3 version = "2.6.0"
   4 alternative = ""
   5 policy = "upgrade"
   6 target_alternative = ""
   7 target_name = "Alt-Ergo"
   8 target_version = "2.5.4"
   9
  10 [uninstalled_prover altergo_2_5_2]
  11 name = "Alt-Ergo"
  12 version = "2.5.2"
  13 alternative = ""
  14 policy = "upgrade"
  15 target_alternative = ""
  16 target_name = "Alt-Ergo"
  17 target_version = "2.5.4"
  18
  19 [uninstalled_prover altergo_2_3_3]
  20 name = "Alt-Ergo"
  21 version = "2.3.3"
  22 alternative = ""
  23 policy = "upgrade"
  24 target_alternative = ""
  25 target_name = "Alt-Ergo"
  26 target_version = "2.5.4"
  27
  28 [uninstalled_prover altergo_2_3_0]
  29 name = "Alt-Ergo"
  30 version = "2.3.0"
  31 alternative = ""
  32 policy = "upgrade"
  33 target_alternative = ""
  34 target_name = "Alt-Ergo"
  35 target_version = "2.5.4"
  36
  37 [uninstalled_prover altergo_2_2_0]
  38 name = "Alt-Ergo"
  39 version = "2.2.0"
  40 alternative = ""
  41 policy = "upgrade"
  42 target_alternative = ""
  43 target_name = "Alt-Ergo"
  44 target_version = "2.5.4"
  45
  46 [uninstalled_prover altergo_2_1_0]
  47 name = "Alt-Ergo"
  48 version = "2.1.0"
  49 alternative = ""
  50 policy = "upgrade"
  51 target_alternative = ""
  52 target_name = "Alt-Ergo"
  53 target_version = "2.5.4"
  54
  55 [uninstalled_prover altergo_2_1_0]
  56 name = "Alt-Ergo"
  57 version = "2.0.0"
  58 alternative = ""
  59 policy = "upgrade"
  60 target_alternative = ""
  61 target_name = "Alt-Ergo"
  62 target_version = "2.5.4"
  63
  64 [uninstalled_prover cvc3_2_2]
  65 name = "CVC3"
  66 version = "2.2"
  67 alternative = ""
  68 policy = "remove"
  69
  70 [uninstalled_prover cvc3_2_4_1]
  71 name = "CVC3"
  72 version = "2.4.1"
  73 alternative = ""
  74 policy = "remove"
  75
  76 [uninstalled_prover cvc4_1_2]
  77 name = "CVC4"
  78 version = "1.2"
  79 alternative = ""
  80 policy = "upgrade"
  81 target_alternative = ""
  82 target_name = "CVC4"
  83 target_version = "1.4"
  84
  85 [uninstalled_prover cvc4_1_3]
  86 name = "CVC4"
  87 version = "1.3"
  88 alternative = ""
  89 policy = "upgrade"
  90 target_alternative = ""
  91 target_name = "CVC4"
  92 target_version = "1.4"
  93
  94 [uninstalled_prover Eprover1.8-001]
  95 name = "Eprover"
  96 version = "1.8-001"
  97 alternative = ""
  98 policy = "remove"
  99
 100 [uninstalled_prover Eprover1.9.1-001]
 101 name = "Eprover"
 102 version = "1.9.1-001"
 103 alternative = ""
 104 policy = "remove"
 105
 106 [uninstalled_prover Eprover2.0]
 107 name = "Eprover"
 108 version = "2.0"
 109 alternative = ""
 110 policy = "remove"
 111
 112 [uninstalled_prover Gappa1.3.0]
 113 name = "Gappa"
 114 version = "1.3.0"
 115 alternative = ""
 116 policy = "remove"
 117
 118 [uninstalled_prover MetiTarski2.4]
 119 name = "MetiTarski"
 120 version = "2.4"
 121 alternative = ""
 122 policy = "remove"
 123
 124 [uninstalled_prover PolyPaver0.3]
 125 name = "PolyPaver"
 126 version = "0.3"
 127 alternative = ""
 128 policy = "remove"
 129
 130 [uninstalled_prover Vampire0.6]
 131 name = "Vampire"
 132 version = "0.6"
 133 alternative = ""
 134 policy = "remove"
 135
 136 [uninstalled_prover veriT201410]
 137 name = "veriT"
 138 version = "201410"
 139 alternative = ""
 140 policy = "remove"
 141
 142 [uninstalled_prover Z33.2]
 143 name = "Z3"
 144 version = "3.2"
 145 alternative = ""
 146 policy = "upgrade"
 147 target_name = "Z3"
 148 target_version = "4.6.0"
 149 target_alternative = ""
 150
 151 [uninstalled_prover Z34.3.2]
 152 name = "Z3"
 153 version = "4.3.2"
 154 alternative = ""
 155 policy = "upgrade"
 156 target_name = "Z3"
 157 target_version = "4.6.0"
 158 target_alternative = ""
 159
 160 [uninstalled_prover Z34.4.0]
 161 name = "Z3"
 162 version = "4.4.0"
 163 alternative = ""
 164 policy = "upgrade"
 165 target_name = "Z3"
 166 target_version = "4.6.0"
 167 target_alternative = ""
 168
 169 [uninstalled_prover Z34.4.1_noBV]
 170 name = "Z3"
 171 version = "4.4.1"
 172 alternative = "noBV"
 173 policy = "upgrade"
 174 target_name = "Z3"
 175 target_version = "4.6.0"
 176 target_alternative = "noBV"
 177
 178 [uninstalled_prover Z34.4.1]
 179 name = "Z3"
 180 version = "4.4.1"
 181 alternative = ""
 182 policy = "upgrade"
 183 target_name = "Z3"
 184 target_version = "4.6.0"
 185 target_alternative = ""
 186
 187 [uninstalled_prover Z34.5.0]
 188 name = "Z3"
 189 version = "4.5.0"
 190 alternative = ""
 191 policy = "upgrade"
 192 target_name = "Z3"
 193 target_version = "4.6.0"
 194 target_alternative = ""