Environments

Test And Benchmarking Environments

Test Environments

These environments are built to test for basic behaviour like direction decisions, halting and collision detection.

Simple Switch

A single agent has to decide which path to take on a simple switch. This environment provides a first test of an agent making a choice to reach its destination.

Tests

• dead ends
• switches
• decision making

Crossing

A two agent map which requires one agent to wait and let the other agent pass.

Tests

• straights
• crossing
• halting
• collision detection

Simple Dead End Passing

A slight variation of the Simple Switch with multiple agents. One agent has to take a different path in order to prevent collisions. Specifically the turning behaviour of dead ends is tested on this map.

Tests

• dead ends
• switches
• halting
• collision detection

Edge Cases And Benchmarking Environments

These environments are purposefully designed to challenge encodings in satisfiability (by creating instances that are technically allowed in Flatland but still unsatisfiable) as well as solving time.

Disclaimer: Some of these environments may require a custom line generator

Simple Order

Two agents have to arrive in a specific order. The agent starting in (0,0) has to wait for the other agent to pass first.

Tests

• straights
• curves
• switches
• halting
• timing
• collision detection

Wait Or Late

In this environment one agent has the decision to either halt or take a very long route to their destination.

Tests

• dead ends
• straights
• curves
• switches (normal and mirrored)
• halting
• collision detection
• timing

No Exit

This environment specifically tests for basic satisfiability, more precisely reachability of the goal. Agents can enter the cyclic track, but there is no way to leave it.

Tests

• straights
• curves
• switches (normal and mirrored)
• reachability

Single Cycle

Up to four agents have to reach their destinations with the track containing a single loop.

Tests

• dead ends
• switches (normal and mirrored)
• collision detection
• cyclic behaviour

Four Cycle

A larger variant of the Single Cycle environment.

Warning: Not accounting for cyclic behaviour in the encoding may result very long solving times

Tests

• dead ends
• switches (normal and mirrored)
• collision detection
• cyclic behaviour