Statistics for 3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT

# Statistics for game 3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT

## Statistics per role

role | average score | standard deviation | number of matches | |
---|---|---|---|---|

1 | EXISTS | 76.0536 | 42.6756 | 522 |

2 | FORALL | 23.9464 | 42.6756 |

## Player performance for role EXISTS

player | average score | standard deviation | number of matches | actions | |
---|---|---|---|---|---|

1 | ary201204 | 100.0 | 0.0 | 4 | show matches |

2 | test-1 | 100.0 | 0.0 | 1 | show matches |

3 | ary201107 | 100.0 | 0.0 | 17 | show matches |

4 | Alloy_0.6 | 100.0 | 0.0 | 1 | show matches |

5 | nxtest | 100.0 | 0.0 | 36 | show matches |

6 | ary201110 | 100.0 | 0.0 | 8 | show matches |

7 | exelab | 100.0 | 0.0 | 1 | show matches |

8 | Gamer | 100.0 | 0.0 | 1 | show matches |

9 | CadiaPlayer | 100.0 | 0.0 | 9 | show matches |

10 | Alloy_0.4.1 | 100.0 | 0.0 | 22 | show matches |

11 | Alloy_0.4.2 | 100.0 | 0.0 | 5 | show matches |

12 | Power-Gamer | 100.0 | 0.0 | 3 | show matches |

13 | Tortoise | 100.0 | 0.0 | 1 | show matches |

14 | Fluxplayer_test | 99.1935 | 8.944 | 124 | show matches |

15 | RedShell | 97.619 | 15.2455 | 84 | show matches |

16 | Nexplayer | 97.2973 | 16.2162 | 37 | show matches |

17 | CadiaPlayer_test | 95.4545 | 20.8299 | 22 | show matches |

18 | Bremer-Gamer | 71.4286 | 45.1754 | 7 | show matches |

19 | ATAX_test | 66.6667 | 47.1405 | 3 | show matches |

20 | JBaumV1 | 33.3333 | 47.1405 | 9 | show matches |

21 | tut2 | 20.0 | 40.0 | 5 | show matches |

22 | Random | 12.8205 | 33.4318 | 117 | show matches |

23 | tut | 0.0 | 0.0 | 1 | show matches |

24 | CloudKingdom | 0.0 | 0.0 | 2 | show matches |

25 | Alexiel | 0.0 | 0.0 | 1 | show matches |

26 | exelib | 0.0 | 0.0 | 1 | show matches |

The chart shows the exponential moving average of the scores of each player with a smoothing factor of 0.1.

## Player performance for role FORALL

The chart shows the exponential moving average of the scores of each player with a smoothing factor of 0.1.