; Satallax 2.7 schedule.
; 68 modes, 299.1 total time, 4865 problems
mode438 0.2
mode439 0.2
mode495 0.2
mode371 2.7
mode446 2.0
mode447 2.8
mode445 1.0
mode456 0.3
mode375 0.2
mode405 0.6
mode412 0.8
mode455 1.9
mode450 0.2
mode496 2.6
mode379 3.4
mode448 0.2
mode389 0.6
mode388 3.7
mode457 0.5
mode453 0.2
mode497 0.2
mode454 1.7
mode451 0.4
mode400 0.3
mode498 3.0
mode459 0.4
mode411 0.4
mode461 0.2
mode460 0.2
mode393 0.2
mode499 3.5
mode458 1.2
mode464 1.5
mode485 2.3
mode466 0.3
mode467 0.3
mode500 4.6
mode398 3.1
mode469 0.8
mode471 0.9
mode484 2.0
mode473 0.5
mode479 7.6
mode501 7.0
mode474 0.7
mode502 2.2
mode406 3.7
mode213 2.4
mode481 3.5
mode493 13.6
mode503 7.0
mode504 1.4
mode480 1.4
mode483 5.8
mode478 2.9
mode482 1.8
mode505 2.5
mode490 11.8
mode401 54.9
mode487 6.2
mode506 7.0
mode507 3.5
mode492 10.1
mode368 25.8
mode491 10.0
mode508 11.8
mode433 14.2
mode494 28.0
