Dead Center
| Map | Name | Difficulty | Time |
|---|---|---|---|
| (Co-op) c1m1_hotel | Positivstellensatz | Expert | 5.73 minutes |
| (Co-op) c1m2_streets | Positivstellensatz | Expert | 11.85 minutes |
| (Co-op) c1m3_mall | Positivstellensatz | Expert | 9.49 minutes |
| (Co-op) c1m4_atrium | Positivstellensatz | Expert | 6.52 minutes |