LOGIC4FUN

Departure Boredintermediate series

This is reasonably straightforward. One important point to remember is that the departure times cannot be written “11:50” etc because the solver treats this as meaning two integers, “11” and “50”, which do not make sense in this context. Your departure times should begin with letters, or at any rate with something other than numerical digits. You could write “dep_1150” or “@1150” for instance. Note that you should not use the colon in the middle of expressions either, because the solver will think it is just punctuation and you are likely to get error messages.

To pass the time when I was stuck in a busy airport recently, I decided to memorize the list of departures. You should try this sometime: it is slightly more interesting than dusting the spokes of your umbrella. On this occasion, I noticed that the next five flights departed from gates 1 to 5, though not in that order. They were all operated by different airlines and departed for different destinations, the first at 10:30 and the last at 12:00. Afterwards, when safely installed in my Economy Class seat, I jotted down what I could remember of the list, which was as follows:

  1. The gate number of the Qantas flight, which departed at 11:50, was one greater than that of the flight to Frankfurt.
  2. The 10:45 departure did not leave from gate 3, and was not the United Airlines flight; United’s destination was Paris.
  3. The Sydney flight had gate number one less than that of the Scandinavian Airlines flight.
  4. Either Singapore Airlines or Lufthansa left from gate 2 at 11:05.
  5. The flight to Los Angeles left at 10:30, but not from gate 1. It was not operated by Singapore Airlines.
  6. The flight to London Heathrow left from gate 4.

Help me remember the rest.

Solver

Please log in or create an account to use the solver.
Save Title:
Saved Solutions
Name Time saved
Class Submissions
Name Time submitted
  
Powered by:                 

  Auto Parser Results

No errors found.