TPTP 4.6.3 Detailed Schedule

Release renamed to TPTP 4.7. Please see TPTP 4.7 detailed schedule.