![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| uuf-250-016.eval | 2025-11-19 18:09 | 42K | |
| transitive_closure_50_bv.eval | 2025-11-19 18:09 | 2.4K | |
| pigeon_30.eval | 2025-11-19 18:09 | 580 | |
| blocksworld_medium_unsat.eval | 2025-11-19 18:09 | 38K | |
| blocksworld_medium.eval | 2025-11-19 18:09 | 38K | |
| WhoKilledAgatha.eval | 2025-11-19 18:09 | 1.1K | |
| SendMoreMoney.eval | 2025-11-19 18:09 | 186 | |
| NQueensBig.eval | 2025-11-19 18:09 | 305 | |
| NBishopsSet.eval | 2025-11-19 18:09 | 407 | |
| NBishopsBV.eval | 2025-11-19 18:09 | 640 | |
| Loop.eval | 2025-11-19 18:09 | 419 | |
| JustQueens_8_9.eval | 2025-11-19 18:09 | 1.0K | |
| IceCream_Generic.eval | 2025-11-19 18:09 | 1.1K | |
| HardGraph_Nr5.eval | 2025-11-19 18:09 | 2.1K | |
| DominatingSet_BV_Middle_clingo_lt13.eval | 2025-11-19 18:09 | 4.5K | |
| DominatingSet_BV_Middle_clingo_lt12.eval | 2025-11-19 18:09 | 4.5K | |