| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | results-2023-10-31-18-54-37.txt | 803 | logplain |
| -rw-r--r-- | results-2023-10-31-19-13-49.txt | 803 | logplain |
| -rw-r--r-- | results-2023-11-01-20-55-21.txt | 803 | logplain |
| -rw-r--r-- | results-2023-11-03-23-08-50.txt | 394 | logplain |
| -rw-r--r-- | results-2023-11-03-23-10-40.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-22-43.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-23-11.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-23-43.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-24-08.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-52-05.txt | 803 | logplain |
| -rw-r--r-- | results-2023-11-04-10-53-06.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-04-10-57-46.txt | 804 | logplain |
| -rw-r--r-- | results-2023-11-10-15-49-45.txt | 757 | logplain |
| -rw-r--r-- | results.txt | 757 | logplain |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net