Final-state prediction on S3 x S3 group tracking Gate B held-out transition-pair n_test=50 (test)
250Exact Match CountHard-projected
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| Hard-projectedEval length=524288, Seeds=5, n per seed=502026.06 | 250 | 250 | 100 | 98.54 | |
| Hard-projectedEval length=1048576, Seeds=5, n per seed=502026.06 | 250 | 250 | 100 | 98.54 | |
| Hard-projectedEval length=4096, Seeds=5, n per seed=502026.06 | 250 | 250 | 100 | 98.54 | |
| Hard-projectedEval length=16384, Seeds=5, n per seed=502026.06 | 250 | 250 | 100 | 98.54 | |
| Hard-projectedEval length=65536, Seeds=5, n per seed=502026.06 | 250 | 250 | 100 | 98.54 |