SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2002

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(JSoko Grigr2002 results)
 
(2 intermediate revisions not shown)
Line 1: Line 1:
 +
=Sokoban Solver Statistics  - JSoko - Grigr2002=
 +
;Program: JSoko 1.86
;Program: JSoko 1.86
;RAM for solver: 25 GB
;RAM for solver: 25 GB
Line 4: Line 6:
;Solving method: Any solution solver
;Solving method: Any solution solver
;Time limit: 600 seconds
;Time limit: 600 seconds
 +
 +
{| class="soko-table"
{| class="soko-table"
Line 9: Line 13:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
! colspan="5" | Solver StatisticsJSoko - JSoko
+
! colspan="5" | Sokoban Solver Statistics - JSoko - [[Solver_Statistics_-_Grigr2002_-_Evgeny_Grigoriev | Grigr2002 ]]
-
|- bgcolor="#f1efe5" align="center"
+
<!-- -------------------------------------------------------------------------------------------- -->
-
| width=" 65"   | Level No.
+
<!-- -------------------------------------------------------------------------------------------- -->
-
| width=" 65"   | Moves
+
|- bgcolor="#f1efe5" align="right"
-
| width=" 65"   | Pushes
+
| width=" 65"             | [[ Solver_Statistics_-_Grigr2002_-_Evgeny_Grigoriev | Level ]] &nbsp;&nbsp;
-
| width=" 65"   | Time (sec)
+
| width=" 80"             | Moves &nbsp;&nbsp;
-
| width=" 80"   | Result
+
| width=" 80"             | Pushes &nbsp;&nbsp;
-
 
+
| width=" 80"             | Time (sec) &nbsp;&nbsp;
 +
| width=" 80"             | Solved &nbsp;&nbsp;
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
-
|     1       &nbsp;&nbsp; ||   906     ||   230 ||     2.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=0 1 ]</span> &nbsp;&nbsp; || 906 &nbsp;&nbsp; || 230 &nbsp;&nbsp; || 2 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     2       &nbsp;&nbsp; ||   834     ||   138 ||     0.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=1 2 ]</span> &nbsp;&nbsp; || 834 &nbsp;&nbsp; || 138 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     3       &nbsp;&nbsp; ||   717     ||   127 ||     0.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=2 3 ]</span> &nbsp;&nbsp; || 717 &nbsp;&nbsp; || 127 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     4       &nbsp;&nbsp; ||   923     ||   177 ||     0.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=3 4 ]</span> &nbsp;&nbsp; || 923 &nbsp;&nbsp; || 177 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     5       &nbsp;&nbsp; ||   868     ||   134 ||     0.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=4 5 ]</span> &nbsp;&nbsp; || 868 &nbsp;&nbsp; || 134 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     6       &nbsp;&nbsp; ||   654     ||   103 ||     0.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=5 6 ]</span> &nbsp;&nbsp; || 654 &nbsp;&nbsp; || 103 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     7       &nbsp;&nbsp; ||   1463     ||   231 ||     1.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=6 7 ]</span> &nbsp;&nbsp; || 1463 &nbsp;&nbsp; || 231 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     8       &nbsp;&nbsp; ||   608     ||   129 ||     0.8 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=7 8 ]</span> &nbsp;&nbsp; || 608 &nbsp;&nbsp; || 129 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     9       &nbsp;&nbsp; ||   1239     ||   246 ||     6.6 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=8 9 ]</span> &nbsp;&nbsp; || 1239 &nbsp;&nbsp; || 246 &nbsp;&nbsp; || 7 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     10       &nbsp;&nbsp; ||           ||       ||         ||  style="text-align:center;" |       {{notSolved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=9 10 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{n}} &nbsp;
|- align="right"
|- align="right"
-
|     11       &nbsp;&nbsp; ||   438     ||   103 ||     0.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=10 11 ]</span> &nbsp;&nbsp; || 438 &nbsp;&nbsp; || 103 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     12       &nbsp;&nbsp; ||   1021     ||   226 ||     60.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=11 12 ]</span> &nbsp;&nbsp; || 1021 &nbsp;&nbsp; || 226 &nbsp;&nbsp; || 61 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     13       &nbsp;&nbsp; ||   735     ||   178 ||     1.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=12 13 ]</span> &nbsp;&nbsp; || 735 &nbsp;&nbsp; || 178 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     14       &nbsp;&nbsp; ||   1176     ||   213 ||     6.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=13 14 ]</span> &nbsp;&nbsp; || 1176 &nbsp;&nbsp; || 213 &nbsp;&nbsp; || 6 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     15       &nbsp;&nbsp; ||   767     ||   174 ||     2.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=14 15 ]</span> &nbsp;&nbsp; || 767 &nbsp;&nbsp; || 174 &nbsp;&nbsp; || 2 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     16       &nbsp;&nbsp; ||   627     ||   145 ||     0.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=15 16 ]</span> &nbsp;&nbsp; || 627 &nbsp;&nbsp; || 145 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     17       &nbsp;&nbsp; ||   668     ||   146 ||     0.7 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=16 17 ]</span> &nbsp;&nbsp; || 668 &nbsp;&nbsp; || 146 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     18       &nbsp;&nbsp; ||   596     ||   128 ||     0.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=17 18 ]</span> &nbsp;&nbsp; || 596 &nbsp;&nbsp; || 128 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     19       &nbsp;&nbsp; ||   670     ||   139 ||     1.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=18 19 ]</span> &nbsp;&nbsp; || 670 &nbsp;&nbsp; || 139 &nbsp;&nbsp; || 2 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     20       &nbsp;&nbsp; ||   1024     ||   268 ||     0.7 || style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=19 20 ]</span> &nbsp;&nbsp; || 1024 &nbsp;&nbsp; || 268 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="right"
 +
| width=" 65"              | [[ Solver_Statistics_-_Grigr2002_-_Evgeny_Grigoriev | Level ]] &nbsp;&nbsp;
 +
| width=" 80"              | Moves &nbsp;&nbsp;
 +
| width=" 80"              | Pushes &nbsp;&nbsp;
 +
| width=" 80"              | Time (sec) &nbsp;&nbsp;
 +
| width=" 80"              | Solved &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
-
|     21       &nbsp;&nbsp; ||   1172     ||   314 ||     7.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=20 21 ]</span> &nbsp;&nbsp; || 1172 &nbsp;&nbsp; || 314 &nbsp;&nbsp; || 7 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     22       &nbsp;&nbsp; ||   2739     ||   595 ||   290.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=21 22 ]</span> &nbsp;&nbsp; || 2739 &nbsp;&nbsp; || 595 &nbsp;&nbsp; || 290 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     23       &nbsp;&nbsp; ||   939     ||   170 ||     1.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=22 23 ]</span> &nbsp;&nbsp; || 939 &nbsp;&nbsp; || 170 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     24       &nbsp;&nbsp; ||   405     ||   114 ||     2.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=23 24 ]</span> &nbsp;&nbsp; || 405 &nbsp;&nbsp; || 114 &nbsp;&nbsp; || 3 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     25       &nbsp;&nbsp; ||   1110     ||   213 ||     1.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=24 25 ]</span> &nbsp;&nbsp; || 1110 &nbsp;&nbsp; || 213 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     26       &nbsp;&nbsp; ||   816     ||   181 ||     15.9 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=25 26 ]</span> &nbsp;&nbsp; || 816 &nbsp;&nbsp; || 181 &nbsp;&nbsp; || 16 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     27       &nbsp;&nbsp; ||           ||       ||         ||  style="text-align:center;" |       {{notSolved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=26 27 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{n}} &nbsp;
|- align="right"
|- align="right"
-
|     28       &nbsp;&nbsp; ||   1173     ||   294 ||     3.8 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=27 28 ]</span> &nbsp;&nbsp; || 1173 &nbsp;&nbsp; || 294 &nbsp;&nbsp; || 4 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     29       &nbsp;&nbsp; ||           ||       ||         ||  style="text-align:center;" |       {{notSolved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=28 29 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{n}} &nbsp;
|- align="right"
|- align="right"
-
|     30       &nbsp;&nbsp; ||   712     ||   166 ||     0.3 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=29 30 ]</span> &nbsp;&nbsp; || 712 &nbsp;&nbsp; || 166 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     31       &nbsp;&nbsp; ||           ||       ||         ||  style="text-align:center;" |       {{notSolved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=30 31 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{n}} &nbsp;
|- align="right"
|- align="right"
-
|     32       &nbsp;&nbsp; ||   727     ||   143 ||     7.9 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=31 32 ]</span> &nbsp;&nbsp; || 727 &nbsp;&nbsp; || 143 &nbsp;&nbsp; || 8 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     33       &nbsp;&nbsp; ||   1433     ||   309 ||     37.0 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=32 33 ]</span> &nbsp;&nbsp; || 1433 &nbsp;&nbsp; || 309 &nbsp;&nbsp; || 37 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     34       &nbsp;&nbsp; ||   1047     ||   209 ||     1.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=33 34 ]</span> &nbsp;&nbsp; || 1047 &nbsp;&nbsp; || 209 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     35       &nbsp;&nbsp; ||   560     ||   163 ||     0.4 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=34 35 ]</span> &nbsp;&nbsp; || 560 &nbsp;&nbsp; || 163 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     36       &nbsp;&nbsp; ||   1109     ||   281 ||     0.5 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=35 36 ]</span> &nbsp;&nbsp; || 1109 &nbsp;&nbsp; || 281 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     37       &nbsp;&nbsp; ||   709     ||   164 ||     2.2 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=36 37 ]</span> &nbsp;&nbsp; || 709 &nbsp;&nbsp; || 164 &nbsp;&nbsp; || 2 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     38       &nbsp;&nbsp; ||   618     ||   168 ||     1.1 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=37 38 ]</span> &nbsp;&nbsp; || 618 &nbsp;&nbsp; || 168 &nbsp;&nbsp; || 1 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     39       &nbsp;&nbsp; ||   992     ||   275 ||     9.7 ||  style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=38 39 ]</span> &nbsp;&nbsp; || 992 &nbsp;&nbsp; || 275 &nbsp;&nbsp; || 10 &nbsp;&nbsp;  || {{y}} &nbsp;
|- align="right"
|- align="right"
-
|     40       &nbsp;&nbsp; ||   818     ||   204 ||   185.4 || style="text-align:center;" |           {{solved}}
+
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=grigr2002&lvl=39 40 ]</span> &nbsp;&nbsp; || 818 &nbsp;&nbsp; || 204 &nbsp;&nbsp; || 185 &nbsp;&nbsp;  || {{y}} &nbsp;
 +
 
 +
|- bgcolor="#f1efe5" align="right"
 +
| align="right" | Solved &nbsp;&nbsp;  || 33013 &nbsp;&nbsp;  || 7198 &nbsp;&nbsp;  || 654 &nbsp;&nbsp;  || 36 &nbsp;&nbsp;
|}
|}
-
Total solved: 36
+
 
 +
 
 +
<div style="visibility:hidden">
 +
<pre>
 +
 
 +
level-websites
 +
(
 +
(sokobano . "http://sokobano.de/results/display.php?set={set}&lvl={index}")
 +
)
 +
/level-websites
 +
 
 +
level-webpages
 +
(
 +
(1 9999 sokobano (set grigr2002) (index))
 +
)
 +
/level-webpages
 +
 
 +
</pre>
 +
</div>

Current revision as of 05:08, 17 May 2019

Sokoban Solver Statistics - JSoko - Grigr2002

Program
JSoko 1.86
RAM for solver
25 GB
Computer
Intel(R) Core(TM) i5-6600K CPU @ 4.5 GHz, 32 GiB RAM
Solving method
Any solution solver
Time limit
600 seconds


Sokoban Solver Statistics - JSoko - Grigr2002
Level    Moves    Pushes    Time (sec)    Solved   
1    906    230    2    yes  
2    834    138         yes  
3    717    127         yes  
4    923    177         yes  
5    868    134    1    yes  
6    654    103         yes  
7    1463    231    1    yes  
8    608    129    1    yes  
9    1239    246    7    yes  
10                   no  
11    438    103    1    yes  
12    1021    226    61    yes  
13    735    178    1    yes  
14    1176    213    6    yes  
15    767    174    2    yes  
16    627    145         yes  
17    668    146    1    yes  
18    596    128         yes  
19    670    139    2    yes  
20    1024    268    1    yes  
Level    Moves    Pushes    Time (sec)    Solved   
21    1172    314    7    yes  
22    2739    595    290    yes  
23    939    170    1    yes  
24    405    114    3    yes  
25    1110    213    1    yes  
26    816    181    16    yes  
27                   no  
28    1173    294    4    yes  
29                   no  
30    712    166         yes  
31                   no  
32    727    143    8    yes  
33    1433    309    37    yes  
34    1047    209    1    yes  
35    560    163         yes  
36    1109    281    1    yes  
37    709    164    2    yes  
38    618    168    1    yes  
39    992    275    10    yes  
40    818    204    185    yes  
Solved    33013    7198    654    36    



level-websites
(
 (sokobano . "http://sokobano.de/results/display.php?set={set}&lvl={index}")
)
/level-websites

level-webpages
(
 (1 9999 sokobano (set grigr2002) (index))
)
/level-webpages
Retrieved from "http://sokobano.de/wiki/index.php?title=SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2002"
Personal tools