You are not logged in. login register
Statistics for 3qbf-5cnf-20var-40cl.2.qdimacs.SAT

Statistics for game 3qbf-5cnf-20var-40cl.2.qdimacs.SAT

Statistics per role

role average score standard deviation number of matches
1 EXISTS 71.5953 45.0959 514
2 FORALL 28.4047 45.0959

Player performance for role EXISTS

player average score standard deviation number of matches actions
1 CadiaPlayer_test 100.0 0.0 16 show matches
2 ary201204 100.0 0.0 2 show matches
3 tut2 100.0 0.0 2 show matches
4 Nexplayer 100.0 0.0 28 show matches
5 ary201107 100.0 0.0 17 show matches
6 Alloy_0.6 100.0 0.0 1 show matches
7 nxtest 100.0 0.0 40 show matches
8 ary201110 100.0 0.0 14 show matches
9 Gamer 100.0 0.0 1 show matches
10 CadiaPlayer 100.0 0.0 18 show matches
11 Alloy_0.4.1 100.0 0.0 16 show matches
12 ATAX_test 100.0 0.0 1 show matches
13 Power-Gamer 100.0 0.0 2 show matches
14 Tortoise 100.0 0.0 1 show matches
15 Fluxplayer_test 99.0991 9.4487 111 show matches
16 RedShell 93.75 24.2061 80 show matches
17 Bremer-Gamer 85.7143 34.9927 7 show matches
18 Alloy_0.4.2 83.3333 37.2678 6 show matches
19 test-1 75.0 43.3013 4 show matches
20 JBaumV1 38.4615 48.6504 13 show matches
21 Alexiel 33.3333 47.1405 3 show matches
22 Random 3.1496 17.4654 127 show matches
23 CloudKingdom 0.0 0.0 2 show matches
24 exelab 0.0 0.0 1 show matches
25 Yggdrasil_test 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

player average score standard deviation number of matches actions
1 ary201204 100.0 0.0 6 show matches
2 Alloy_0.6 100.0 0.0 1 show matches
3 Alexiel 100.0 0.0 1 show matches
4 ATAX_test 100.0 0.0 1 show matches
5 JBaumV1 75.0 43.3013 12 show matches
6 ary201110 50.0 50.0 8 show matches
7 Alloy_0.4.2 50.0 50.0 6 show matches
8 Power-Gamer 50.0 50.0 2 show matches
9 nxtest 40.0 48.9898 35 show matches
10 CadiaPlayer 33.3333 47.1405 6 show matches
11 Alloy_0.4.1 32.1429 46.7025 28 show matches
12 Fluxplayer_test 31.0606 46.2742 132 show matches
13 RedShell 28.4211 45.1038 95 show matches
14 Nexplayer 27.5 44.6514 40 show matches
15 Bremer-Gamer 20.0 40.0 5 show matches
16 CadiaPlayer_test 18.75 39.0312 16 show matches
17 ary201107 13.3333 33.9935 15 show matches
18 Random 10.7527 30.9782 93 show matches
19 bkplayer_1 0.0 0.0 1 show matches
20 CloudKingdom 0.0 0.0 2 show matches
21 exelab 0.0 0.0 3 show matches
22 Gamer 0.0 0.0 1 show matches
23 Fluxplayer_test2 0.0 0.0 2 show matches
24 Yggdrasil_test 0.0 0.0 1 show matches
25 Tortoise 0.0 0.0 1 show matches
26 GorgonPlayer 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.