You are not logged in. login register
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

player average score standard deviation number of matches actions
1 Alloy_0.6 100.0 0.0 1 show matches
2 Gamer 100.0 0.0 1 show matches
3 ary201204 75.0 43.3013 4 show matches
4 tut2 50.0 50.0 4 show matches
5 ary201110 50.0 50.0 14 show matches
6 Yggdrasil_test 50.0 50.0 2 show matches
7 Alloy_0.4.2 42.8571 49.4872 7 show matches
8 CadiaPlayer_test 40.0 48.9898 10 show matches
9 JBaumV1 40.0 48.9898 15 show matches
10 tut 33.3333 47.1405 3 show matches
11 ATAX_test 33.3333 47.1405 3 show matches
12 Fluxplayer_test 31.1475 46.3097 122 show matches
13 nxtest 26.3158 44.0347 38 show matches
14 RedShell 25.5556 43.6173 90 show matches
15 Alloy_0.4.1 22.7273 41.907 22 show matches
16 Nexplayer 20.0 40.0 30 show matches
17 ary201107 20.0 40.0 15 show matches
18 Bremer-Gamer 20.0 40.0 5 show matches
19 CadiaPlayer 13.3333 33.9935 15 show matches
20 Random 7.0 25.5147 100 show matches
21 TIIGR 0.0 0.0 1 show matches
22 test-1 0.0 0.0 3 show matches
23 inquisitor_1 0.0 0.0 1 show matches
24 CloudKingdom 0.0 0.0 2 show matches
25 exelab 0.0 0.0 4 show matches
26 Fluxplayer_test2 0.0 0.0 2 show matches
27 Alexiel 0.0 0.0 4 show matches
28 Power-Gamer 0.0 0.0 1 show matches
29 Tortoise 0.0 0.0 1 show matches
30 exelib 0.0 0.0 2 show matches

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