temp.txt

| H  | SAT   | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p11.hddl              |   2 |
| H  | SAT   | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p12.hddl              |   2 |
| H  | SAT   | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p13.hddl              |   2 |
| H  | SAT   | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p14.hddl              |   2 |
| H  | SAT   | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p15.hddl              |   2 |
| H  | SAT   | tree-rexx/instances/rover/domain.hddl                | tree-rexx/instances/rover/pfile20.hddl               |   4 |
| H  | SAT   | tree-rexx/instances/transport/domain.hddl            | tree-rexx/instances/transport/pfile25.hddl           |   6 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p09.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p11.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p12.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p13.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p14.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/childsnack/domain.hddl           | tree-rexx/instances/childsnack/p15.hddl              |   1 |
| H  | UNSAT | tree-rexx/instances/rover/domain.hddl                | tree-rexx/instances/rover/pfile20.hddl               |   3 |
| P  | UNSAT | pddl/ipc2018/opt/snake/domain.pddl                   | pddl/ipc2018/opt/snake/p11.pddl                      |  35 |
| P  | UNSAT | pddl/ipc2018/opt/snake/domain.pddl                   | pddl/ipc2018/opt/snake/p20.pddl                      |  29 |