| 992737 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 448 ms | 29016 KiB |
| 992733 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 432 ms | 28864 KiB |
| 992727 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 442 ms | 30904 KiB |
| 992724 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1056 ms | 25324 KiB |
| 992723 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1057 ms | 25284 KiB |
| 992722 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 0 ms | 0 KiB |
| 992721 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1062 ms | 28832 KiB |
| 992720 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 0 ms | 0 KiB |
| 992042 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1100 ms | 25284 KiB |
| 992040 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1095 ms | 28516 KiB |
| 991817 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1093 ms | 25172 KiB |
| 991816 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1072 ms | 25284 KiB |
| 991814 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1087 ms | 25284 KiB |
| 991805 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 1 ms | 344 KiB |
| 991803 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 1 ms | 344 KiB |
| 991802 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 1 ms | 600 KiB |
| 991801 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 1 ms | 600 KiB |
| 991800 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 0 ms | 600 KiB |
| 991799 | | stdfloat | Longest Trip (IOI23_longesttrip) | C++17 | | 1 ms | 344 KiB |
| 991790 | | stdfloat | Closing Time (IOI23_closing) | C++17 | | 1050 ms | 27332 KiB |
| 991785 | | stdfloat | Soccer Stadium (IOI23_soccer) | C++17 | | 4571 ms | 47380 KiB |
| 991776 | | stdfloat | Soccer Stadium (IOI23_soccer) | C++17 | | 4590 ms | 47444 KiB |
| 991771 | | stdfloat | Soccer Stadium (IOI23_soccer) | C++17 | | 4584 ms | 47400 KiB |
| 991770 | | stdfloat | Soccer Stadium (IOI23_soccer) | C++17 | | 2937 ms | 47400 KiB |
| 991767 | | stdfloat | Soccer Stadium (IOI23_soccer) | C++17 | | 1947 ms | 47396 KiB |