| Player0 | Player1 | P (Player0 wins) | P (Player1 wins) | R(rounds) |
|---|---|---|---|---|
| 0 | 0 | 0.5126 | 0.4874 | 21.26188 |
| 0 | 1 | 0.27598 | 0.72402 | 11.64354 |
| 0 | 2 | 0.18804 | 0.81196 | 8.1258 |
| 0 | 3 | 0.19398 | 0.80602 | 8.09902 |
| 1 | 0 | 0.7668 | 0.2332 | 11.12688 |
| 1 | 1 | 0.54422 | 0.45578 | 7.90266 |
| 1 | 2 | 0.446 | 0.554 | 6.48912 |
| 1 | 3 | 0.44302 | 0.55698 | 6.48658 |
| 2 | 0 | 0.86494 | 0.13506 | 6.94006 |
| 2 | 1 | 0.6704 | 0.3296 | 5.89656 |
| 2 | 2 | 0.56972 | 0.43028 | 5.52136 |
| 2 | 3 | 0.56478 | 0.43522 | 5.54222 |
| 3 | 0 | 0.86226 | 0.13774 | 6.95394 |
| 3 | 1 | 0.67554 | 0.32446 | 5.92966 |
| 3 | 2 | 0.56586 | 0.43414 | 5.49614 |
| 3 | 3 | 0.56682 | 0.43318 | 5.51918 |
| Player0 | Player1 | Rmin (rounds) | Execution time | Memory (Peak) | States | Transitions |
|---|---|---|---|---|---|---|
| 0 | 0 | 20.81023631 | 12:05:53 | 7.591 TiB* | 14.780 B | 47.271 B |
| 0 | 1 | 11.60163129 | 17:04:42 | 7.452 TiB* | 637 M | 1.952 B |
| 0 | 2 | 7.451742675 | 41:11:13 | 7.451 TiB* | 620 M | 2.429 B |
| 0 | 3 | 7.451742675 | 24:57:51 | 7.454 TiB* | 620 M | 2.429 B |
| 1 | 0 | 11.11053715 | 26:36:12 | 7.459 TiB* | 641 M | 1.964 B |
| 1 | 1 | 7.905685058 | 22:46:12 | 7.138 TiB | 23 M | 66.200 M |
| 1 | 2 | 6.064613559 | 15:32:07 | 6.806 TiB | 23 M | 85.421 M |
| 1 | 3 | 6.064613559 | 08:38:40 | 6.806 TiB | 23 M | 85.421 M |
| 2 | 0 | 6.730102023 | 06:01:02 | 6.603 TiB | 594 M | 1.784 B |
| 2 | 1 | 5.764917719 | 08:31:56 | 6.149 TiB | 20 M | 56.541 M |
| 2 | 2 | 5.33706423 | 07:34:15 | 5.844 TiB | 18 M | 47.481 M |
| 2 | 3 | 5.33706423 | 05:31:12 | 5.844 TiB | 18 M | 47.481 M |
| 3 | 0 | 6.730102023 | 22:28:10 | 6.603 TiB | 594 M | 1.784 B |
| 3 | 1 | 5.764917719 | 10:03:21 | 6.149 TiB | 20 M | 56.541 M |
| 3 | 2 | 5.33706423 | 06:42:59 | 5.844 TiB | 18 M | 47.481 M |
| 3 | 3 | 5.33706423 | 06:49:06 | 5.844 TiB | 18 M | 47.481 M |