# Generalized Planning on VisitAll (val)

Source: [Generalized Planning on VisitAll (val)](<https://www.sota2.com/research/sota/generalized-planning-on-visitall-val>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-03-10T10:06:22.703Z

Evaluation of Generalized Planning performance on the validation split of the VisitAll dataset, measured by Coverage.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Generalized Planning |
| Dataset (including any stated split) | VisitAll (val) |
| Metric | Coverage |
| Unit | PERCENT |
| Direction | Higher is better |
| Results loaded | 17 of 17 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Coverage](<https://www.sota2.com/research/sota/generalized-planning-on-visitall-val.md?metric=Coverage>): Higher is better; unit: PERCENT.

## Recorded results

| Method | Coverage | Result date | Report paper |
| --- | --- | --- | --- |
| FD | 100 | Not recorded | 69a125172d603e6de3e3c5a5 |
| SymTE\* | 100 | Not recorded | 69a125172d603e6de3e3c5a5 |
| WL-XGB | 100 | Not recorded | 69a125172d603e6de3e3c5a5 |
| WL-XGB | 100 | Not recorded | 69a125172d603e6de3e3c5a5 |
| SymTED\* | 99 | Not recorded | 69a125172d603e6de3e3c5a5 |
| WL-LSTM | 99 | Not recorded | 69a125172d603e6de3e3c5a5 |
| SymTED\* | 93 | Not recorded | 69a125172d603e6de3e3c5a5 |
| FSF-XGB | 92 | Not recorded | 69a125172d603e6de3e3c5a5 |
| WL-LSTM | 79 | Not recorded | 69a125172d603e6de3e3c5a5 |
| FSF-LSTM | 49 | Not recorded | 69a125172d603e6de3e3c5a5 |
| SymTED\* | 33 | Not recorded | 69a125172d603e6de3e3c5a5 |
| PlanGPT\* | 14 | Not recorded | 69a125172d603e6de3e3c5a5 |
| FSF-XGB | 13 | Not recorded | 69a125172d603e6de3e3c5a5 |
| FSF-LSTM | 3 | Not recorded | 69a125172d603e6de3e3c5a5 |
| Plansf. | 0 | Not recorded | 69a125172d603e6de3e3c5a5 |
| PlanGPT\* | 0 | Not recorded | 69a125172d603e6de3e3c5a5 |
| PlanGPT\* | 0 | Not recorded | 69a125172d603e6de3e3c5a5 |

### FD

Coverage: 100. Result ID: 69afed146dbb7075b958d608.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa60561e209131ce9eee06.md>)

Recorded evaluation configuration: {"timeout":"60s"}. This record does not assert independent reproduction.

### SymTE\*

Coverage: 100. Result ID: 69afed146dbb7075b958d60d.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa7a821e209131cea8398c.md>)

Recorded evaluation configuration: {"Search":"greedy"}. This record does not assert independent reproduction.

### WL-XGB

Coverage: 100. Result ID: 69afed146dbb7075b958d613.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"state"}. This record does not assert independent reproduction.

### WL-XGB

Coverage: 100. Result ID: 69afed146dbb7075b958d614.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"delta"}. This record does not assert independent reproduction.

### SymTED\*

Coverage: 99. Result ID: 69afed146dbb7075b958d610.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa7a821e209131cea8398c.md>)

Recorded evaluation configuration: {"Search":"regr."}. This record does not assert independent reproduction.

### WL-LSTM

Coverage: 99. Result ID: 69afed146dbb7075b958d611.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"state"}. This record does not assert independent reproduction.

### SymTED\*

Coverage: 93. Result ID: 69afed146dbb7075b958d60f.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa7a821e209131cea8398c.md>)

Recorded evaluation configuration: {"Search":"appl."}. This record does not assert independent reproduction.

### FSF-XGB

Coverage: 92. Result ID: 69afed146dbb7075b958d618.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"delta"}. This record does not assert independent reproduction.

### WL-LSTM

Coverage: 79. Result ID: 69afed146dbb7075b958d612.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"delta"}. This record does not assert independent reproduction.

### FSF-LSTM

Coverage: 49. Result ID: 69afed146dbb7075b958d616.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"delta"}. This record does not assert independent reproduction.

### SymTED\*

Coverage: 33. Result ID: 69afed146dbb7075b958d60e.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa7a821e209131cea8398c.md>)

Recorded evaluation configuration: {"Search":"greedy"}. This record does not assert independent reproduction.

### PlanGPT\*

Coverage: 14. Result ID: 69afed146dbb7075b958d60b.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Search":"appl."}. This record does not assert independent reproduction.

### FSF-XGB

Coverage: 13. Result ID: 69afed146dbb7075b958d617.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"state"}. This record does not assert independent reproduction.

### FSF-LSTM

Coverage: 3. Result ID: 69afed146dbb7075b958d615.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Modeling":"state"}. This record does not assert independent reproduction.

### Plansf.

Coverage: 0. Result ID: 69afed146dbb7075b958d609.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa6e421e209131cea3ec75.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### PlanGPT\*

Coverage: 0. Result ID: 69afed146dbb7075b958d60a.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Search":"greedy"}. This record does not assert independent reproduction.

### PlanGPT\*

Coverage: 0. Result ID: 69afed146dbb7075b958d60c.

[Reporting paper](<https://www.sota2.com/research/paper/69a125172d603e6de3e3c5a5.md>)

Recorded evaluation configuration: {"Search":"regr."}. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.
