PRISM Results

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

STORM Results

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