; Satallax 2.5 schedule. Use this if a proof is requested.
; 56 modes, 226.1 total time
mode175 0.1
mode288 0.1
mode238 0.1
mode188 0.2
mode19c 0.1
mode289 0.1
mode252 0.5
mode245 0.1
mode249m2 0.1
mode253 0.1
mode293 0.5
mode163 0.1
mode236 0.2
mode295 0.2
mode272 0.1
mode244m5 0.4
mode4a 0.1
mode299 0.5
mode233 0.8
mode261 0.6
mode290 0.5
mode213 1.1
mode185 0.1
mode257 0.3
mode93 0.1
mode223m2 2.4
mode204 6.6
mode205 1.1
mode86 0.7
mode8a 0.4
mode294 0.3
mode276 2.3
mode267 0.9
mode264 2.4
mode279 4.6
mode251 3.2
mode122c 21.1
mode273 3.4
mode172 3.0
mode14 5.4
mode250 19.2
mode108 2.0
mode282 2.1
mode6 2.2
mode223 17.4
mode283 11.4
mode208 3.1
mode173 10.2
mode280 3.9
mode274 9.9
mode269 14.0
mode252c 9.0
mode177 27.3
mode165 18.5
mode301 1.0
mode300 10.0
