Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194700400.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194700400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 5.8K Feb 25 22:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 22:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 22:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 22:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 22:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 22:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 5.2M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679497476642

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Railroad-PT-100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1018 places, 10506 transitions, 62728 arcs.
AT ITER 0 NEW BEST:: SOT 2998731 SOS 2384651 HAS SOPS 2375098 HAS SOUS 1322979 HAS SOUPS 1322878 WITH SCORE 1325262.651
AT ITER 28 NEW BEST:: SOT 2987475 SOS 2368930 HAS SOPS 2354602 HAS SOUS 1304856 HAS SOUPS 1304755 WITH SCORE 1307123.93
AT ITER 31 NEW BEST:: SOT 2987310 SOS 2368764 HAS SOPS 2354436 HAS SOUS 1304690 HAS SOUPS 1304589 WITH SCORE 1306957.764
AT ITER 34 NEW BEST:: SOT 2975254 SOS 2354119 HAS SOPS 2335016 HAS SOUS 1280786 HAS SOUPS 1280685 WITH SCORE 1283039.119
AT ITER 36 NEW BEST:: SOT 2975247 SOS 2354105 HAS SOPS 2335002 HAS SOUS 1280772 HAS SOUPS 1280671 WITH SCORE 1283025.105
AT ITER 45 NEW BEST:: SOT 2975122 SOS 2353861 HAS SOPS 2334758 HAS SOUS 1280528 HAS SOUPS 1280427 WITH SCORE 1282780.861
AT ITER 46 NEW BEST:: SOT 2975122 SOS 2353854 HAS SOPS 2334751 HAS SOUS 1280521 HAS SOUPS 1280420 WITH SCORE 1282773.854
AT ITER 61 NEW BEST:: SOT 2974968 SOS 2353785 HAS SOPS 2334682 HAS SOUS 1280452 HAS SOUPS 1280351 WITH SCORE 1282704.785
AT ITER 68 NEW BEST:: SOT 2972415 SOS 2351241 HAS SOPS 2332134 HAS SOUS 1277829 HAS SOUPS 1277728 WITH SCORE 1280079.241
AT ITER 83 NEW BEST:: SOT 2964022 SOS 2336811 HAS SOPS 2312928 HAS SOUS 1260354 HAS SOUPS 1260253 WITH SCORE 1262589.811
AT ITER 93 NEW BEST:: SOT 2963933 SOS 2336722 HAS SOPS 2312839 HAS SOUS 1260265 HAS SOUPS 1260164 WITH SCORE 1262500.722
AT ITER 98 NEW BEST:: SOT 2962746 SOS 2335547 HAS SOPS 2311664 HAS SOUS 1259090 HAS SOUPS 1258989 WITH SCORE 1261324.547
AT ITER 106 NEW BEST:: SOT 2962746 SOS 2335490 HAS SOPS 2311607 HAS SOUS 1259033 HAS SOUPS 1258932 WITH SCORE 1261267.49
AT ITER 116 NEW BEST:: SOT 2962641 SOS 2335384 HAS SOPS 2311501 HAS SOUS 1258927 HAS SOUPS 1258826 WITH SCORE 1261161.384
AT ITER 126 NEW BEST:: SOT 2962691 SOS 2335354 HAS SOPS 2311471 HAS SOUS 1258897 HAS SOUPS 1258796 WITH SCORE 1261131.354
AT ITER 139 NEW BEST:: SOT 2962691 SOS 2334854 HAS SOPS 2310971 HAS SOUS 1258892 HAS SOUPS 1258791 WITH SCORE 1261125.854
AT ITER 148 NEW BEST:: SOT 2955894 SOS 2325336 HAS SOPS 2296677 HAS SOUS 1244646 HAS SOUPS 1244545 WITH SCORE 1246870.336
AT ITER 159 NEW BEST:: SOT 2955731 SOS 2325083 HAS SOPS 2296424 HAS SOUS 1244393 HAS SOUPS 1244292 WITH SCORE 1246617.083
AT ITER 197 NEW BEST:: SOT 2953050 SOS 2322421 HAS SOPS 2293756 HAS SOUS 1241717 HAS SOUPS 1241616 WITH SCORE 1243938.421
AT ITER 198 NEW BEST:: SOT 2948200 SOS 2317638 HAS SOPS 2288907 HAS SOUS 1235912 HAS SOUPS 1235811 WITH SCORE 1238128.638
AT ITER 199 NEW BEST:: SOT 2948039 SOS 2317572 HAS SOPS 2288841 HAS SOUS 1235846 HAS SOUPS 1235745 WITH SCORE 1238062.572
AT ITER 206 NEW BEST:: SOT 2947445 SOS 2316978 HAS SOPS 2288247 HAS SOUS 1235237 HAS SOUPS 1235136 WITH SCORE 1237452.978
AT ITER 215 NEW BEST:: SOT 2946105 SOS 2315624 HAS SOPS 2286893 HAS SOUS 1232497 HAS SOUPS 1232396 WITH SCORE 1234711.624
AT ITER 224 NEW BEST:: SOT 2950305 SOS 2317985 HAS SOPS 2284466 HAS SOUS 1224021 HAS SOUPS 1223920 WITH SCORE 1226237.985
AT ITER 227 NEW BEST:: SOT 2950302 SOS 2313382 HAS SOPS 2279863 HAS SOUS 1223972 HAS SOUPS 1223871 WITH SCORE 1226184.382
AT ITER 230 NEW BEST:: SOT 2950257 SOS 2313336 HAS SOPS 2279817 HAS SOUS 1223926 HAS SOUPS 1223825 WITH SCORE 1226138.336
AT ITER 237 NEW BEST:: SOT 2950129 SOS 2313280 HAS SOPS 2279761 HAS SOUS 1223870 HAS SOUPS 1223769 WITH SCORE 1226082.28
AT ITER 247 NEW BEST:: SOT 2950129 SOS 2311280 HAS SOPS 2277761 HAS SOUS 1223850 HAS SOUPS 1223749 WITH SCORE 1226060.28
AT ITER 259 NEW BEST:: SOT 2944876 SOS 2306117 HAS SOPS 2272584 HAS SOUS 1218540 HAS SOUPS 1218439 WITH SCORE 1220745.117
AT ITER 279 NEW BEST:: SOT 2944910 SOS 2306107 HAS SOPS 2272574 HAS SOUS 1218530 HAS SOUPS 1218429 WITH SCORE 1220735.107
AT ITER 280 NEW BEST:: SOT 2944882 SOS 2306079 HAS SOPS 2272546 HAS SOUS 1218502 HAS SOUPS 1218401 WITH SCORE 1220707.079
AT ITER 281 NEW BEST:: SOT 2941316 SOS 2302564 HAS SOPS 2269024 HAS SOUS 1214904 HAS SOUPS 1214803 WITH SCORE 1217105.564
AT ITER 315 NEW BEST:: SOT 2938086 SOS 2299393 HAS SOPS 2265846 HAS SOUS 1211645 HAS SOUPS 1211544 WITH SCORE 1213843.393
AT ITER 319 NEW BEST:: SOT 2930995 SOS 2290703 HAS SOPS 2252364 HAS SOUS 1196033 HAS SOUPS 1195932 WITH SCORE 1198222.703
AT ITER 362 NEW BEST:: SOT 2934595 SOS 2292315 HAS SOPS 2249184 HAS SOUS 1185150 HAS SOUPS 1185049 WITH SCORE 1187341.315
AT ITER 372 NEW BEST:: SOT 2934565 SOS 2292285 HAS SOPS 2249154 HAS SOUS 1185120 HAS SOUPS 1185019 WITH SCORE 1187311.285
AT ITER 396 NEW BEST:: SOT 2934565 SOS 2292277 HAS SOPS 2249146 HAS SOUS 1185112 HAS SOUPS 1185011 WITH SCORE 1187303.277
AT ITER 409 NEW BEST:: SOT 2939465 SOS 2295232 HAS SOPS 2247309 HAS SOUS 1174984 HAS SOUPS 1174883 WITH SCORE 1177178.232
AT ITER 443 NEW BEST:: SOT 2939495 SOS 2295143 HAS SOPS 2247220 HAS SOUS 1174895 HAS SOUPS 1174794 WITH SCORE 1177089.143
AT ITER 451 NEW BEST:: SOT 2939337 SOS 2295031 HAS SOPS 2247108 HAS SOUS 1174783 HAS SOUPS 1174682 WITH SCORE 1176977.031
AT ITER 455 NEW BEST:: SOT 2939330 SOS 2295024 HAS SOPS 2247101 HAS SOUS 1174776 HAS SOUPS 1174675 WITH SCORE 1176970.024
AT ITER 477 NEW BEST:: SOT 2939355 SOS 2294998 HAS SOPS 2247075 HAS SOUS 1174750 HAS SOUPS 1174649 WITH SCORE 1176943.998
AT ITER 484 NEW BEST:: SOT 2936511 SOS 2292184 HAS SOPS 2244251 HAS SOUS 1171869 HAS SOUPS 1171768 WITH SCORE 1174060.184
AT ITER 496 NEW BEST:: SOT 2930821 SOS 2278376 HAS SOPS 2225650 HAS SOUS 1158993 HAS SOUPS 1158892 WITH SCORE 1161170.376
AT ITER 503 NEW BEST:: SOT 2930821 SOS 2278376 HAS SOPS 2225650 HAS SOUS 1158939 HAS SOUPS 1158838 WITH SCORE 1161116.376
AT ITER 508 NEW BEST:: SOT 2930614 SOS 2278274 HAS SOPS 2225548 HAS SOUS 1158837 HAS SOUPS 1158736 WITH SCORE 1161014.274
AT ITER 510 NEW BEST:: SOT 2922982 SOS 2265003 HAS SOPS 2207484 HAS SOUS 1141944 HAS SOUPS 1141843 WITH SCORE 1144108.003
AT ITER 511 NEW BEST:: SOT 2922982 SOS 2264974 HAS SOPS 2207455 HAS SOUS 1141915 HAS SOUPS 1141814 WITH SCORE 1144078.974
AT ITER 526 NEW BEST:: SOT 2922982 SOS 2262002 HAS SOPS 2204483 HAS SOUS 1141913 HAS SOUPS 1141812 WITH SCORE 1144074.002
AT ITER 533 NEW BEST:: SOT 2920166 SOS 2259232 HAS SOPS 2201689 HAS SOUS 1139019 HAS SOUPS 1138918 WITH SCORE 1141177.232
AT ITER 540 NEW BEST:: SOT 2920012 SOS 2259092 HAS SOPS 2201549 HAS SOUS 1138879 HAS SOUPS 1138778 WITH SCORE 1141037.092
AT ITER 543 NEW BEST:: SOT 2914968 SOS 2246636 HAS SOPS 2184298 HAS SOUS 1127258 HAS SOUPS 1127157 WITH SCORE 1129403.636
AT ITER 568 NEW BEST:: SOT 2914959 SOS 2246618 HAS SOPS 2184280 HAS SOUS 1127240 HAS SOUPS 1127139 WITH SCORE 1129385.618
AT ITER 581 NEW BEST:: SOT 2910728 SOS 2240896 HAS SOPS 2174057 HAS SOUS 1125539 HAS SOUPS 1125438 WITH SCORE 1127678.896
AT ITER 597 NEW BEST:: SOT 2910706 SOS 2240874 HAS SOPS 2174035 HAS SOUS 1125517 HAS SOUPS 1125416 WITH SCORE 1127656.874
AT ITER 621 NEW BEST:: SOT 2910658 SOS 2240826 HAS SOPS 2173945 HAS SOUS 1125288 HAS SOUPS 1125186 WITH SCORE 1127426.826
AT ITER 652 NEW BEST:: SOT 2910658 SOS 2240750 HAS SOPS 2173869 HAS SOUS 1125212 HAS SOUPS 1125110 WITH SCORE 1127350.75
AT ITER 654 NEW BEST:: SOT 2910604 SOS 2240642 HAS SOPS 2173761 HAS SOUS 1125104 HAS SOUPS 1125002 WITH SCORE 1127242.642
AT ITER 665 NEW BEST:: SOT 2910604 SOS 2240641 HAS SOPS 2173760 HAS SOUS 1125103 HAS SOUPS 1125001 WITH SCORE 1127241.641
AT ITER 671 NEW BEST:: SOT 2910604 SOS 2240639 HAS SOPS 2173758 HAS SOUS 1125101 HAS SOUPS 1124999 WITH SCORE 1127239.639
AT ITER 673 NEW BEST:: SOT 2902410 SOS 2230197 HAS SOPS 2158539 HAS SOUS 1107119 HAS SOUPS 1107017 WITH SCORE 1109247.197
AT ITER 685 NEW BEST:: SOT 2897100 SOS 2224989 HAS SOPS 2153331 HAS SOUS 1101925 HAS SOUPS 1101823 WITH SCORE 1104047.989
AT ITER 692 NEW BEST:: SOT 2895805 SOS 2223729 HAS SOPS 2152041 HAS SOUS 1100565 HAS SOUPS 1100463 WITH SCORE 1102686.729
AT ITER 704 NEW BEST:: SOT 2899073 SOS 2223316 HAS SOPS 2146849 HAS SOUS 1091130 HAS SOUPS 1091028 WITH SCORE 1093251.316
AT ITER 713 NEW BEST:: SOT 2893829 SOS 2209215 HAS SOPS 2127969 HAS SOUS 1079020 HAS SOUPS 1078918 WITH SCORE 1081127.215
AT ITER 721 NEW BEST:: SOT 2895827 SOS 2208266 HAS SOPS 2122241 HAS SOUS 1067037 HAS SOUPS 1066935 WITH SCORE 1069143.266
AT ITER 727 NEW BEST:: SOT 2894068 SOS 2206590 HAS SOPS 2120547 HAS SOUS 1065293 HAS SOUPS 1065191 WITH SCORE 1067397.59
AT ITER 733 NEW BEST:: SOT 2903940 SOS 2212441 HAS SOPS 2121618 HAS SOUS 1061835 HAS SOUPS 1061733 WITH SCORE 1063945.441
AT ITER 734 NEW BEST:: SOT 2909740 SOS 2217080 HAS SOPS 2121477 HAS SOUS 1052766 HAS SOUPS 1052664 WITH SCORE 1054881.08
AT ITER 738 NEW BEST:: SOT 2909740 SOS 2217076 HAS SOPS 2121473 HAS SOUS 1052762 HAS SOUPS 1052660 WITH SCORE 1054877.076
AT ITER 740 NEW BEST:: SOT 2905019 SOS 2206227 HAS SOPS 2105844 HAS SOUS 1041636 HAS SOUPS 1041534 WITH SCORE 1043740.227
AT ITER 741 NEW BEST:: SOT 2905016 SOS 2206224 HAS SOPS 2105841 HAS SOUS 1041633 HAS SOUPS 1041531 WITH SCORE 1043737.224
AT ITER 754 NEW BEST:: SOT 2903055 SOS 2204315 HAS SOPS 2102535 HAS SOUS 1035572 HAS SOUPS 1035453 WITH SCORE 1037657.315
AT ITER 781 NEW BEST:: SOT 2902679 SOS 2203869 HAS SOPS 2102089 HAS SOUS 1034796 HAS SOUPS 1034677 WITH SCORE 1036880.869
AT ITER 834 NEW BEST:: SOT 2905897 SOS 2207087 HAS SOPS 2105306 HAS SOUS 1029325 HAS SOUPS 1029206 WITH SCORE 1031413.087
AT ITER 845 NEW BEST:: SOT 2905804 SOS 2206994 HAS SOPS 2105213 HAS SOUS 1029232 HAS SOUPS 1029113 WITH SCORE 1031319.994
AT ITER 860 NEW BEST:: SOT 2905736 SOS 2206926 HAS SOPS 2105145 HAS SOUS 1029164 HAS SOUPS 1029045 WITH SCORE 1031251.926
AT ITER 870 NEW BEST:: SOT 2905722 SOS 2206898 HAS SOPS 2105117 HAS SOUS 1029136 HAS SOUPS 1029017 WITH SCORE 1031223.898
AT ITER 873 NEW BEST:: SOT 2905464 SOS 2206640 HAS SOPS 2104859 HAS SOUS 1028878 HAS SOUPS 1028759 WITH SCORE 1030965.64
AT ITER 874 NEW BEST:: SOT 2901047 SOS 2199587 HAS SOPS 2092968 HAS SOUS 1018515 HAS SOUPS 1018396 WITH SCORE 1020595.587
AT ITER 886 NEW BEST:: SOT 2901047 SOS 2199585 HAS SOPS 2092966 HAS SOUS 1018513 HAS SOUPS 1018394 WITH SCORE 1020593.585
AT ITER 889 NEW BEST:: SOT 2900868 SOS 2199432 HAS SOPS 2092813 HAS SOUS 1018360 HAS SOUPS 1018241 WITH SCORE 1020440.432
AT ITER 890 NEW BEST:: SOT 2907998 SOS 2202357 HAS SOPS 2090890 HAS SOUS 1013002 HAS SOUPS 1012883 WITH SCORE 1015085.357
AT ITER 908 NEW BEST:: SOT 2907998 SOS 2202288 HAS SOPS 2090821 HAS SOUS 1012933 HAS SOUPS 1012814 WITH SCORE 1015016.288
AT ITER 950 NEW BEST:: SOT 2907971 SOS 2202261 HAS SOPS 2090794 HAS SOUS 1012906 HAS SOUPS 1012787 WITH SCORE 1014989.261
AT ITER 967 NEW BEST:: SOT 2907812 SOS 2202188 HAS SOPS 2090721 HAS SOUS 1012833 HAS SOUPS 1012714 WITH SCORE 1014916.188
AT ITER 971 NEW BEST:: SOT 2901363 SOS 2191163 HAS SOPS 2074848 HAS SOUS 997978 HAS SOUPS 997859 WITH SCORE 1000050.163
AT ITER 978 NEW BEST:: SOT 2901208 SOS 2191008 HAS SOPS 2074693 HAS SOUS 997823 HAS SOUPS 997704 WITH SCORE 999895.008
AT ITER 985 NEW BEST:: SOT 2901171 SOS 2187947 HAS SOPS 2070715 HAS SOUS 997603 HAS SOUPS 997484 WITH SCORE 999671.947
AT ITER 993 NEW BEST:: SOT 2898436 SOS 2185212 HAS SOPS 2067980 HAS SOUS 994899 HAS SOUPS 994780 WITH SCORE 996965.212
AT ITER 1006 NEW BEST:: SOT 2898436 SOS 2185205 HAS SOPS 2067973 HAS SOUS 994899 HAS SOUPS 994780 WITH SCORE 996965.205
AT ITER 1017 NEW BEST:: SOT 2898425 SOS 2185194 HAS SOPS 2067962 HAS SOUS 994888 HAS SOUPS 994769 WITH SCORE 996954.194
AT ITER 1021 NEW BEST:: SOT 2898425 SOS 2182876 HAS SOPS 2065644 HAS SOUS 994819 HAS SOUPS 994700 WITH SCORE 996882.876
AT ITER 1031 NEW BEST:: SOT 2898425 SOS 2179732 HAS SOPS 2062500 HAS SOUS 994731 HAS SOUPS 994612 WITH SCORE 996791.732
AT ITER 1060 NEW BEST:: SOT 2898368 SOS 2179618 HAS SOPS 2062386 HAS SOUS 994617 HAS SOUPS 994498 WITH SCORE 996677.618
AT ITER 1061 NEW BEST:: SOT 2898206 SOS 2179456 HAS SOPS 2062222 HAS SOUS 994255 HAS SOUPS 994136 WITH SCORE 996315.456
AT ITER 1077 NEW BEST:: SOT 2897014 SOS 2173121 HAS SOPS 2052067 HAS SOUS 991273 HAS SOUPS 991154 WITH SCORE 993327.121
AT ITER 1085 NEW BEST:: SOT 2897007 SOS 2173114 HAS SOPS 2052060 HAS SOUS 991266 HAS SOUPS 991147 WITH SCORE 993320.114
AT ITER 1121 NEW BEST:: SOT 2896377 SOS 2172484 HAS SOPS 2051430 HAS SOUS 989943 HAS SOUPS 989824 WITH SCORE 991996.484
AT ITER 1123 NEW BEST:: SOT 2896371 SOS 2172471 HAS SOPS 2051417 HAS SOUS 989930 HAS SOUPS 989811 WITH SCORE 991983.471
AT ITER 1133 NEW BEST:: SOT 2889562 SOS 2163668 HAS SOPS 2037766 HAS SOUS 974393 HAS SOUPS 974274 WITH SCORE 976437.668
AT ITER 1172 NEW BEST:: SOT 2889542 SOS 2163569 HAS SOPS 2037667 HAS SOUS 974294 HAS SOUPS 974175 WITH SCORE 976338.569
AT ITER 1173 NEW BEST:: SOT 2862013 SOS 2136530 HAS SOPS 2010138 HAS SOUS 946887 HAS SOUPS 946646 WITH SCORE 948782.53
AT ITER 1175 NEW BEST:: SOT 2858077 SOS 2132594 HAS SOPS 2004954 HAS SOUS 941477 HAS SOUPS 941172 WITH SCORE 943304.594
AT ITER 1201 NEW BEST:: SOT 2858077 SOS 2132555 HAS SOPS 2004915 HAS SOUS 941477 HAS SOUPS 941172 WITH SCORE 943304.555
AT ITER 1210 NEW BEST:: SOT 2858077 SOS 2132558 HAS SOPS 2004918 HAS SOUS 941448 HAS SOUPS 941143 WITH SCORE 943275.558
AT ITER 1215 NEW BEST:: SOT 2858052 SOS 2132533 HAS SOPS 2004868 HAS SOUS 941340 HAS SOUPS 941035 WITH SCORE 943167.533
AT ITER 1223 NEW BEST:: SOT 2865452 SOS 2137850 HAS SOPS 2005254 HAS SOUS 933713 HAS SOUPS 933408 WITH SCORE 935545.85
AT ITER 1231 NEW BEST:: SOT 2865350 SOS 2137724 HAS SOPS 2005070 HAS SOUS 933529 HAS SOUPS 933224 WITH SCORE 935361.724
AT ITER 1239 NEW BEST:: SOT 2865350 SOS 2136058 HAS SOPS 2003404 HAS SOUS 933478 HAS SOUPS 933173 WITH SCORE 935309.058
AT ITER 1267 NEW BEST:: SOT 2864804 SOS 2135498 HAS SOPS 2002838 HAS SOUS 932318 HAS SOUPS 932013 WITH SCORE 934148.498
AT ITER 1273 NEW BEST:: SOT 2864804 SOS 2135497 HAS SOPS 2002837 HAS SOUS 932317 HAS SOUPS 932012 WITH SCORE 934147.497
AT ITER 1275 NEW BEST:: SOT 2864507 SOS 2135152 HAS SOPS 2002492 HAS SOUS 931879 HAS SOUPS 931574 WITH SCORE 933709.152
AT ITER 1280 NEW BEST:: SOT 2874016 SOS 2140251 HAS SOPS 2002675 HAS SOUS 929392 HAS SOUPS 929087 WITH SCORE 931227.251
AT ITER 1290 NEW BEST:: SOT 2873828 SOS 2140063 HAS SOPS 2002487 HAS SOUS 929198 HAS SOUPS 928893 WITH SCORE 931033.063
AT ITER 1306 NEW BEST:: SOT 2865071 SOS 2128864 HAS SOPS 1986382 HAS SOUS 909620 HAS SOUPS 909315 WITH SCORE 911443.864
AT ITER 1327 NEW BEST:: SOT 2864871 SOS 2128664 HAS SOPS 1986182 HAS SOUS 909420 HAS SOUPS 909115 WITH SCORE 911243.664
AT ITER 1352 NEW BEST:: SOT 2864868 SOS 2128658 HAS SOPS 1986176 HAS SOUS 909414 HAS SOUPS 909109 WITH SCORE 911237.658
AT ITER 1364 NEW BEST:: SOT 2864868 SOS 2128313 HAS SOPS 1985831 HAS SOUS 909405 HAS SOUPS 909100 WITH SCORE 911228.313
AT ITER 1373 NEW BEST:: SOT 2864804 SOS 2128240 HAS SOPS 1985758 HAS SOUS 909332 HAS SOUPS 909027 WITH SCORE 911155.24
AT ITER 1375 NEW BEST:: SOT 2864803 SOS 2128239 HAS SOPS 1985757 HAS SOUS 909331 HAS SOUPS 909026 WITH SCORE 911154.239
AT ITER 1380 NEW BEST:: SOT 2864063 SOS 2127548 HAS SOPS 1985037 HAS SOUS 908501 HAS SOUPS 908196 WITH SCORE 910323.548
AT ITER 1390 NEW BEST:: SOT 2876044 SOS 2138617 HAS SOPS 1991174 HAS SOUS 904872 HAS SOUPS 904567 WITH SCORE 906705.617
AT ITER 1399 NEW BEST:: SOT 2876044 SOS 2131729 HAS SOPS 1984286 HAS SOUS 904690 HAS SOUPS 904385 WITH SCORE 906516.729
AT ITER 1420 NEW BEST:: SOT 2876007 SOS 2131692 HAS SOPS 1984249 HAS SOUS 904653 HAS SOUPS 904348 WITH SCORE 906479.692
AT ITER 1440 NEW BEST:: SOT 2875956 SOS 2131641 HAS SOPS 1984198 HAS SOUS 904602 HAS SOUPS 904297 WITH SCORE 906428.641
AT ITER 1443 NEW BEST:: SOT 2875450 SOS 2131153 HAS SOPS 1983681 HAS SOUS 904056 HAS SOUPS 903751 WITH SCORE 905882.153
AT ITER 1461 NEW BEST:: SOT 2875418 SOS 2131121 HAS SOPS 1983624 HAS SOUS 903999 HAS SOUPS 903694 WITH SCORE 905825.121
AT ITER 1464 NEW BEST:: SOT 2874978 SOS 2130726 HAS SOPS 1982910 HAS SOUS 902717 HAS SOUPS 902412 WITH SCORE 904542.726
AT ITER 1493 NEW BEST:: SOT 2874775 SOS 2130649 HAS SOPS 1982833 HAS SOUS 902640 HAS SOUPS 902335 WITH SCORE 904465.649
AT ITER 1495 NEW BEST:: SOT 2867695 SOS 2117807 HAS SOPS 1965086 HAS SOUS 885877 HAS SOUPS 885572 WITH SCORE 887689.807
AT ITER 1504 NEW BEST:: SOT 2867881 SOS 2117847 HAS SOPS 1965037 HAS SOUS 885828 HAS SOUPS 885523 WITH SCORE 887640.847
AT ITER 1519 NEW BEST:: SOT 2867878 SOS 2109816 HAS SOPS 1957006 HAS SOUS 885608 HAS SOUPS 885303 WITH SCORE 887412.816
AT ITER 1525 NEW BEST:: SOT 2866254 SOS 2108174 HAS SOPS 1955346 HAS SOUS 882184 HAS SOUPS 881879 WITH SCORE 883987.174
AT ITER 1541 NEW BEST:: SOT 2866254 SOS 2106214 HAS SOPS 1953386 HAS SOUS 882124 HAS SOUPS 881819 WITH SCORE 883925.214
AT ITER 1546 NEW BEST:: SOT 2866245 SOS 2106205 HAS SOPS 1953376 HAS SOUS 882114 HAS SOUPS 881809 WITH SCORE 883915.205
AT ITER 1571 NEW BEST:: SOT 2866245 SOS 2106202 HAS SOPS 1953373 HAS SOUS 882111 HAS SOUPS 881806 WITH SCORE 883912.202
AT ITER 1573 NEW BEST:: SOT 2861990 SOS 2095087 HAS SOPS 1937396 HAS SOUS 871701 HAS SOUPS 871396 WITH SCORE 873491.087
AT ITER 1574 NEW BEST:: SOT 2861990 SOS 2095076 HAS SOPS 1937385 HAS SOUS 871701 HAS SOUPS 871396 WITH SCORE 873491.076
AT ITER 1583 NEW BEST:: SOT 2861827 SOS 2094913 HAS SOPS 1937222 HAS SOUS 871538 HAS SOUPS 871233 WITH SCORE 873327.913
AT ITER 1585 NEW BEST:: SOT 2860555 SOS 2093641 HAS SOPS 1935950 HAS SOUS 870280 HAS SOUPS 869975 WITH SCORE 872068.641
AT ITER 1647 NEW BEST:: SOT 2860555 SOS 2093639 HAS SOPS 1935948 HAS SOUS 870278 HAS SOUPS 869973 WITH SCORE 872066.639
AT ITER 1650 NEW BEST:: SOT 2860555 SOS 2093639 HAS SOPS 1935924 HAS SOUS 870254 HAS SOUPS 869949 WITH SCORE 872042.639
AT ITER 1672 NEW BEST:: SOT 2860555 SOS 2093614 HAS SOPS 1935899 HAS SOUS 870254 HAS SOUPS 869949 WITH SCORE 872042.614
AT ITER 1678 NEW BEST:: SOT 2860365 SOS 2093512 HAS SOPS 1935797 HAS SOUS 870152 HAS SOUPS 869847 WITH SCORE 871940.512
AT ITER 1708 NEW BEST:: SOT 2860365 SOS 2093482 HAS SOPS 1935767 HAS SOUS 870122 HAS SOUPS 869817 WITH SCORE 871910.482
AT ITER 1717 NEW BEST:: SOT 2860322 SOS 2093439 HAS SOPS 1935724 HAS SOUS 870079 HAS SOUPS 869774 WITH SCORE 871867.439
AT ITER 1725 NEW BEST:: SOT 2859055 SOS 2092090 HAS SOPS 1934360 HAS SOUS 867312 HAS SOUPS 867007 WITH SCORE 869099.09
AT ITER 1738 NEW BEST:: SOT 2859062 SOS 2092097 HAS SOPS 1934321 HAS SOUS 867273 HAS SOUPS 866968 WITH SCORE 869060.097
AT ITER 1741 NEW BEST:: SOT 2859004 SOS 2092039 HAS SOPS 1934232 HAS SOUS 867108 HAS SOUPS 866803 WITH SCORE 868895.039
AT ITER 1798 NEW BEST:: SOT 2859001 SOS 2092036 HAS SOPS 1934229 HAS SOUS 867105 HAS SOUPS 866800 WITH SCORE 868892.036
AT ITER 1827 NEW BEST:: SOT 2858944 SOS 2091922 HAS SOPS 1934115 HAS SOUS 866991 HAS SOUPS 866686 WITH SCORE 868777.922
AT ITER 1839 NEW BEST:: SOT 2849432 SOS 2080572 HAS SOPS 1917832 HAS SOUS 845390 HAS SOUPS 845085 WITH SCORE 847165.572
AT ITER 1852 NEW BEST:: SOT 2849432 SOS 2078399 HAS SOPS 1915659 HAS SOUS 845324 HAS SOUPS 845019 WITH SCORE 847097.399
AT ITER 1863 NEW BEST:: SOT 2849432 SOS 2078399 HAS SOPS 1915659 HAS SOUS 845284 HAS SOUPS 844979 WITH SCORE 847057.399
AT ITER 1876 NEW BEST:: SOT 2849427 SOS 2078380 HAS SOPS 1915640 HAS SOUS 845265 HAS SOUPS 844960 WITH SCORE 847038.38
AT ITER 1880 NEW BEST:: SOT 2849427 SOS 2078357 HAS SOPS 1915617 HAS SOUS 845242 HAS SOUPS 844937 WITH SCORE 847015.357
AT ITER 1897 NEW BEST:: SOT 2849417 SOS 2078347 HAS SOPS 1915607 HAS SOUS 845232 HAS SOUPS 844927 WITH SCORE 847005.347
AT ITER 1908 NEW BEST:: SOT 2848292 SOS 2077222 HAS SOPS 1913298 HAS SOUS 838765 HAS SOUPS 838458 WITH SCORE 840535.222
AT ITER 1916 NEW BEST:: SOT 2848254 SOS 2077206 HAS SOPS 1913282 HAS SOUS 838749 HAS SOUPS 838442 WITH SCORE 840519.206
AT ITER 1943 NEW BEST:: SOT 2839232 SOS 2070741 HAS SOPS 1906817 HAS SOUS 829973 HAS SOUPS 829666 WITH SCORE 831736.741
AT ITER 1949 NEW BEST:: SOT 2837232 SOS 2068761 HAS SOPS 1904837 HAS SOUS 827993 HAS SOUPS 827686 WITH SCORE 829754.761
AT ITER 1979 NEW BEST:: SOT 2837232 SOS 2068743 HAS SOPS 1904819 HAS SOUS 827975 HAS SOUPS 827668 WITH SCORE 829736.743
AT ITER 1981 NEW BEST:: SOT 2836279 SOS 2067745 HAS SOPS 1903821 HAS SOUS 827010 HAS SOUPS 826703 WITH SCORE 828770.745
AT ITER 2008 NEW BEST:: SOT 2836279 SOS 2064277 HAS SOPS 1900353 HAS SOUS 826943 HAS SOUPS 826636 WITH SCORE 828700.277
AT ITER 2013 NEW BEST:: SOT 2836269 SOS 2064262 HAS SOPS 1900338 HAS SOUS 826928 HAS SOUPS 826621 WITH SCORE 828685.262
AT ITER 2017 NEW BEST:: SOT 2836087 SOS 2064128 HAS SOPS 1900204 HAS SOUS 826794 HAS SOUPS 826487 WITH SCORE 828551.128
AT ITER 2037 NEW BEST:: SOT 2833387 SOS 2061428 HAS SOPS 1897504 HAS SOUS 824094 HAS SOUPS 823787 WITH SCORE 825848.428
AT ITER 2053 NEW BEST:: SOT 2833387 SOS 2061428 HAS SOPS 1897484 HAS SOUS 817763 HAS SOUPS 817456 WITH SCORE 819517.428
AT ITER 2058 NEW BEST:: SOT 2833387 SOS 2060361 HAS SOPS 1896417 HAS SOUS 817741 HAS SOUPS 817434 WITH SCORE 819494.361
AT ITER 2063 NEW BEST:: SOT 2836051 SOS 2059757 HAS SOPS 1890802 HAS SOUS 806611 HAS SOUPS 806304 WITH SCORE 808363.757
AT ITER 2064 NEW BEST:: SOT 2836001 SOS 2059366 HAS SOPS 1890411 HAS SOUS 806220 HAS SOUPS 805913 WITH SCORE 807972.366
AT ITER 2086 NEW BEST:: SOT 2836001 SOS 2059338 HAS SOPS 1890383 HAS SOUS 806220 HAS SOUPS 805913 WITH SCORE 807972.338
AT ITER 2092 NEW BEST:: SOT 2849801 SOS 2072292 HAS SOPS 1898326 HAS SOUS 804943 HAS SOUPS 804636 WITH SCORE 806708.292
AT ITER 2093 NEW BEST:: SOT 2856767 SOS 2072202 HAS SOPS 1893303 HAS SOUS 802284 HAS SOUPS 801977 WITH SCORE 804049.202
AT ITER 2099 NEW BEST:: SOT 2856749 SOS 2072184 HAS SOPS 1893224 HAS SOUS 802205 HAS SOUPS 801898 WITH SCORE 803970.184
AT ITER 2100 NEW BEST:: SOT 2848661 SOS 2059392 HAS SOPS 1875481 HAS SOUS 783673 HAS SOUPS 783366 WITH SCORE 785425.392
AT ITER 2109 NEW BEST:: SOT 2848661 SOS 2052097 HAS SOPS 1868186 HAS SOUS 783543 HAS SOUPS 783236 WITH SCORE 785288.097
AT ITER 2150 NEW BEST:: SOT 2848643 SOS 2052079 HAS SOPS 1868168 HAS SOUS 783525 HAS SOUPS 783218 WITH SCORE 785270.079
AT ITER 2166 NEW BEST:: SOT 2854143 SOS 2054933 HAS SOPS 1866011 HAS SOUS 773330 HAS SOUPS 773023 WITH SCORE 775077.933
AT ITER 2189 NEW BEST:: SOT 2854143 SOS 2054933 HAS SOPS 1866011 HAS SOUS 773323 HAS SOUPS 773016 WITH SCORE 775070.933
AT ITER 2227 NEW BEST:: SOT 2853191 SOS 2054588 HAS SOPS 1865666 HAS SOUS 772408 HAS SOUPS 772101 WITH SCORE 774155.588
AT ITER 2230 NEW BEST:: SOT 2853110 SOS 2054445 HAS SOPS 1865511 HAS SOUS 772253 HAS SOUPS 771946 WITH SCORE 774000.445
AT ITER 2299 NEW BEST:: SOT 2837986 SOS 2042544 HAS SOPS 1850387 HAS SOUS 757225 HAS SOUPS 756822 WITH SCORE 758864.544
AT ITER 2358 NEW BEST:: SOT 2835447 SOS 2037387 HAS SOPS 1840570 HAS SOUS 751207 HAS SOUPS 750804 WITH SCORE 752841.387
AT ITER 2393 NEW BEST:: SOT 2834058 SOS 2036048 HAS SOPS 1839245 HAS SOUS 750561 HAS SOUPS 750158 WITH SCORE 752194.048
AT ITER 2398 NEW BEST:: SOT 2832907 SOS 2034897 HAS SOPS 1838068 HAS SOUS 748123 HAS SOUPS 747720 WITH SCORE 749754.897
AT ITER 2463 NEW BEST:: SOT 2832867 SOS 2034857 HAS SOPS 1838028 HAS SOUS 748083 HAS SOUPS 747680 WITH SCORE 749714.857
AT ITER 2467 NEW BEST:: SOT 2832867 SOS 2033681 HAS SOPS 1836852 HAS SOUS 748047 HAS SOUPS 747644 WITH SCORE 749677.681
AT ITER 2512 NEW BEST:: SOT 2825096 SOS 2026045 HAS SOPS 1829216 HAS SOUS 740459 HAS SOUPS 740056 WITH SCORE 742082.045
AT ITER 2517 NEW BEST:: SOT 2825050 SOS 2026041 HAS SOPS 1829212 HAS SOUS 740455 HAS SOUPS 740052 WITH SCORE 742078.041
AT ITER 2553 NEW BEST:: SOT 2825026 SOS 2026004 HAS SOPS 1829132 HAS SOUS 740375 HAS SOUPS 739972 WITH SCORE 741998.004
AT ITER 2564 NEW BEST:: SOT 2825019 SOS 2025997 HAS SOPS 1829123 HAS SOUS 740366 HAS SOUPS 739963 WITH SCORE 741988.997
AT ITER 2565 NEW BEST:: SOT 2820743 SOS 2021828 HAS SOPS 1824876 HAS SOUS 731528 HAS SOUPS 731125 WITH SCORE 733146.828
AT ITER 2572 NEW BEST:: SOT 2820627 SOS 2021712 HAS SOPS 1824760 HAS SOUS 731412 HAS SOUPS 731009 WITH SCORE 733030.712
AT ITER 2575 NEW BEST:: SOT 2817827 SOS 2018912 HAS SOPS 1821960 HAS SOUS 728612 HAS SOUPS 728209 WITH SCORE 730227.912
AT ITER 2591 NEW BEST:: SOT 2817727 SOS 2018812 HAS SOPS 1821843 HAS SOUS 728495 HAS SOUPS 728092 WITH SCORE 730110.812
AT ITER 2600 NEW BEST:: SOT 2813490 SOS 2008835 HAS SOPS 1807005 HAS SOUS 718239 HAS SOUPS 717836 WITH SCORE 719844.835
AT ITER 2606 NEW BEST:: SOT 2813486 SOS 2008831 HAS SOPS 1807001 HAS SOUS 718235 HAS SOUPS 717832 WITH SCORE 719840.831
AT ITER 2616 NEW BEST:: SOT 2813486 SOS 2008831 HAS SOPS 1807001 HAS SOUS 718219 HAS SOUPS 717816 WITH SCORE 719824.831
AT ITER 2622 NEW BEST:: SOT 2813431 SOS 2008776 HAS SOPS 1806897 HAS SOUS 718115 HAS SOUPS 717712 WITH SCORE 719720.776
AT ITER 2636 NEW BEST:: SOT 2813431 SOS 2008699 HAS SOPS 1806820 HAS SOUS 718070 HAS SOUPS 717667 WITH SCORE 719675.699
AT ITER 2647 NEW BEST:: SOT 2812780 SOS 2008056 HAS SOPS 1805482 HAS SOUS 716166 HAS SOUPS 715763 WITH SCORE 717771.056
AT ITER 2668 NEW BEST:: SOT 2812690 SOS 2007966 HAS SOPS 1805309 HAS SOUS 715993 HAS SOUPS 715590 WITH SCORE 717597.966
AT ITER 2681 NEW BEST:: SOT 2819176 SOS 2011919 HAS SOPS 1804232 HAS SOUS 707879 HAS SOUPS 707476 WITH SCORE 709487.919
AT ITER 2694 NEW BEST:: SOT 2819136 SOS 2011879 HAS SOPS 1804187 HAS SOUS 707834 HAS SOUPS 707431 WITH SCORE 709442.879
AT ITER 2723 NEW BEST:: SOT 2819127 SOS 2011870 HAS SOPS 1804178 HAS SOUS 707825 HAS SOUPS 707422 WITH SCORE 709433.87
AT ITER 2724 NEW BEST:: SOT 2819056 SOS 2011813 HAS SOPS 1804147 HAS SOUS 707794 HAS SOUPS 707391 WITH SCORE 709402.813
AT ITER 2772 NEW BEST:: SOT 2819056 SOS 2011813 HAS SOPS 1804147 HAS SOUS 705994 HAS SOUPS 705591 WITH SCORE 707602.813
AT ITER 2789 NEW BEST:: SOT 2818986 SOS 2011743 HAS SOPS 1804077 HAS SOUS 705924 HAS SOUPS 705521 WITH SCORE 707532.743
AT ITER 2810 NEW BEST:: SOT 2818895 SOS 2011652 HAS SOPS 1803950 HAS SOUS 705797 HAS SOUPS 705394 WITH SCORE 707405.652
AT ITER 2870 NEW BEST:: SOT 2815665 SOS 2000178 HAS SOPS 1787666 HAS SOUS 697845 HAS SOUPS 697442 WITH SCORE 699442.178
AT ITER 2919 NEW BEST:: SOT 2815665 SOS 2000178 HAS SOPS 1787666 HAS SOUS 694007 HAS SOUPS 693604 WITH SCORE 695604.178
AT ITER 2929 NEW BEST:: SOT 2815644 SOS 2000157 HAS SOPS 1787645 HAS SOUS 693986 HAS SOUPS 693583 WITH SCORE 695583.157
AT ITER 2948 NEW BEST:: SOT 2815417 SOS 1999908 HAS SOPS 1787396 HAS SOUS 693737 HAS SOUPS 693334 WITH SCORE 695333.908
AT ITER 2952 NEW BEST:: SOT 2815256 SOS 1999750 HAS SOPS 1787238 HAS SOUS 693579 HAS SOUPS 693176 WITH SCORE 695175.75
AT ITER 2982 NEW BEST:: SOT 2815255 SOS 1999749 HAS SOPS 1787237 HAS SOUS 693578 HAS SOUPS 693175 WITH SCORE 695174.749
AT ITER 3033 NEW BEST:: SOT 2814355 SOS 1998901 HAS SOPS 1786389 HAS SOUS 691778 HAS SOUPS 691375 WITH SCORE 693373.901
AT ITER 3042 NEW BEST:: SOT 2809434 SOS 1993731 HAS SOPS 1781219 HAS SOUS 686593 HAS SOUPS 686190 WITH SCORE 688183.731
AT ITER 3049 NEW BEST:: SOT 2809434 SOS 1993713 HAS SOPS 1781149 HAS SOUS 686523 HAS SOUPS 686120 WITH SCORE 688113.713
AT ITER 3067 NEW BEST:: SOT 2809433 SOS 1993712 HAS SOPS 1781148 HAS SOUS 686522 HAS SOUPS 686119 WITH SCORE 688112.712
AT ITER 3094 NEW BEST:: SOT 2802302 SOS 1983266 HAS SOPS 1765752 HAS SOUS 670001 HAS SOUPS 669598 WITH SCORE 671581.266
AT ITER 3116 NEW BEST:: SOT 2802302 SOS 1983259 HAS SOPS 1765671 HAS SOUS 669920 HAS SOUPS 669517 WITH SCORE 671500.259
AT ITER 3138 NEW BEST:: SOT 2800408 SOS 1981365 HAS SOPS 1760279 HAS SOUS 665464 HAS SOUPS 665061 WITH SCORE 667042.365
AT ITER 3151 NEW BEST:: SOT 2800368 SOS 1981325 HAS SOPS 1760239 HAS SOUS 665424 HAS SOUPS 665021 WITH SCORE 667002.325
AT ITER 3172 NEW BEST:: SOT 2790394 SOS 1971468 HAS SOPS 1750382 HAS SOUS 655639 HAS SOUPS 655236 WITH SCORE 657207.468
AT ITER 3177 NEW BEST:: SOT 2790258 SOS 1971332 HAS SOPS 1750246 HAS SOUS 655503 HAS SOUPS 655100 WITH SCORE 657071.332
AT ITER 3184 NEW BEST:: SOT 2787414 SOS 1968446 HAS SOPS 1747290 HAS SOUS 649295 HAS SOUPS 648892 WITH SCORE 650860.446
AT ITER 3205 NEW BEST:: SOT 2786697 SOS 1967760 HAS SOPS 1744302 HAS SOUS 644757 HAS SOUPS 644354 WITH SCORE 646321.76
AT ITER 3229 NEW BEST:: SOT 2786697 SOS 1967713 HAS SOPS 1744255 HAS SOUS 644710 HAS SOUPS 644307 WITH SCORE 646274.713
AT ITER 3235 NEW BEST:: SOT 2785628 SOS 1963397 HAS SOPS 1736257 HAS SOUS 642155 HAS SOUPS 641752 WITH SCORE 643715.397
AT ITER 3257 NEW BEST:: SOT 2785605 SOS 1963374 HAS SOPS 1736211 HAS SOUS 642109 HAS SOUPS 641706 WITH SCORE 643669.374
AT ITER 3291 NEW BEST:: SOT 2784405 SOS 1962186 HAS SOPS 1735023 HAS SOUS 640921 HAS SOUPS 640518 WITH SCORE 642480.186
AT ITER 3325 NEW BEST:: SOT 2784673 SOS 1957089 HAS SOPS 1724876 HAS SOUS 629648 HAS SOUPS 629245 WITH SCORE 631202.089
AT ITER 3340 NEW BEST:: SOT 2784807 SOS 1957223 HAS SOPS 1724875 HAS SOUS 629647 HAS SOUPS 629244 WITH SCORE 631201.223
AT ITER 3381 NEW BEST:: SOT 2784790 SOS 1957219 HAS SOPS 1724871 HAS SOUS 629643 HAS SOUPS 629240 WITH SCORE 631197.219
AT ITER 3385 NEW BEST:: SOT 2784769 SOS 1956872 HAS SOPS 1724524 HAS SOUS 629296 HAS SOUPS 628893 WITH SCORE 630849.872
AT ITER 3399 NEW BEST:: SOT 2784973 SOS 1956967 HAS SOPS 1724476 HAS SOUS 629248 HAS SOUPS 628845 WITH SCORE 630801.967
AT ITER 3403 NEW BEST:: SOT 2784973 SOS 1956967 HAS SOPS 1724474 HAS SOUS 629246 HAS SOUPS 628843 WITH SCORE 630799.967
AT ITER 3450 NEW BEST:: SOT 2784973 SOS 1956915 HAS SOPS 1724390 HAS SOUS 621709 HAS SOUPS 621306 WITH SCORE 623262.915
AT ITER 3465 NEW BEST:: SOT 2784925 SOS 1956867 HAS SOPS 1724342 HAS SOUS 621661 HAS SOUPS 621258 WITH SCORE 623214.867
AT ITER 3473 NEW BEST:: SOT 2788003 SOS 1959861 HAS SOPS 1727242 HAS SOUS 619401 HAS SOUPS 618998 WITH SCORE 620957.861
AT ITER 3482 NEW BEST:: SOT 2788172 SOS 1960057 HAS SOPS 1727198 HAS SOUS 619217 HAS SOUPS 618814 WITH SCORE 620774.057
AT ITER 3486 NEW BEST:: SOT 2789816 SOS 1956754 HAS SOPS 1718805 HAS SOUS 607871 HAS SOUPS 607468 WITH SCORE 609424.754
AT ITER 3488 NEW BEST:: SOT 2793068 SOS 1955170 HAS SOPS 1712399 HAS SOUS 606600 HAS SOUPS 606197 WITH SCORE 608152.17
AT ITER 3508 NEW BEST:: SOT 2791542 SOS 1953644 HAS SOPS 1710857 HAS SOUS 603481 HAS SOUPS 603078 WITH SCORE 605031.644
AT ITER 3513 NEW BEST:: SOT 2789237 SOS 1951321 HAS SOPS 1708534 HAS SOUS 601158 HAS SOUPS 600755 WITH SCORE 602706.321
AT ITER 3514 NEW BEST:: SOT 2789204 SOS 1951288 HAS SOPS 1708468 HAS SOUS 601092 HAS SOUPS 600689 WITH SCORE 602640.288
AT ITER 3517 NEW BEST:: SOT 2789169 SOS 1951253 HAS SOPS 1708385 HAS SOUS 601003 HAS SOUPS 600600 WITH SCORE 602551.253
AT ITER 3520 NEW BEST:: SOT 2789047 SOS 1951149 HAS SOPS 1708281 HAS SOUS 600899 HAS SOUPS 600496 WITH SCORE 602447.149
AT ITER 3522 NEW BEST:: SOT 2788895 SOS 1950997 HAS SOPS 1708129 HAS SOUS 600745 HAS SOUPS 600342 WITH SCORE 602292.997
AT ITER 3585 NEW BEST:: SOT 2779957 SOS 1942260 HAS SOPS 1699392 HAS SOUS 592008 HAS SOUPS 591605 WITH SCORE 593547.26
AT ITER 3622 NEW BEST:: SOT 2779840 SOS 1942143 HAS SOPS 1699234 HAS SOUS 591850 HAS SOUPS 591447 WITH SCORE 593389.143
AT ITER 3648 NEW BEST:: SOT 2779820 SOS 1942123 HAS SOPS 1699214 HAS SOUS 591830 HAS SOUPS 591427 WITH SCORE 593369.123
AT ITER 3655 NEW BEST:: SOT 2780923 SOS 1943372 HAS SOPS 1698663 HAS SOUS 587257 HAS SOUPS 586854 WITH SCORE 588797.372
AT ITER 3657 NEW BEST:: SOT 2772123 SOS 1934572 HAS SOPS 1689863 HAS SOUS 578457 HAS SOUPS 578054 WITH SCORE 579988.572
AT ITER 3669 NEW BEST:: SOT 2772053 SOS 1934476 HAS SOPS 1689767 HAS SOUS 578361 HAS SOUPS 577958 WITH SCORE 579892.476
AT ITER 3690 NEW BEST:: SOT 2771925 SOS 1934348 HAS SOPS 1689628 HAS SOUS 578222 HAS SOUPS 577819 WITH SCORE 579753.348
AT ITER 3696 NEW BEST:: SOT 2771897 SOS 1934320 HAS SOPS 1689600 HAS SOUS 578194 HAS SOUPS 577791 WITH SCORE 579725.32
AT ITER 3704 NEW BEST:: SOT 2771897 SOS 1931324 HAS SOPS 1686374 HAS SOUS 578147 HAS SOUPS 577744 WITH SCORE 579675.324
AT ITER 3717 NEW BEST:: SOT 2771879 SOS 1931306 HAS SOPS 1686356 HAS SOUS 578129 HAS SOUPS 577726 WITH SCORE 579657.306
AT ITER 3742 NEW BEST:: SOT 2771879 SOS 1931215 HAS SOPS 1686265 HAS SOUS 577939 HAS SOUPS 577536 WITH SCORE 579467.215
AT ITER 3751 NEW BEST:: SOT 2771879 SOS 1931146 HAS SOPS 1686265 HAS SOUS 577939 HAS SOUPS 577536 WITH SCORE 579467.146
AT ITER 3777 NEW BEST:: SOT 2771612 SOS 1930879 HAS SOPS 1685998 HAS SOUS 577672 HAS SOUPS 577269 WITH SCORE 579199.879
AT ITER 3787 NEW BEST:: SOT 2766849 SOS 1925971 HAS SOPS 1681787 HAS SOUS 574066 HAS SOUPS 573663 WITH SCORE 575588.971
AT ITER 3806 NEW BEST:: SOT 2766841 SOS 1925963 HAS SOPS 1681779 HAS SOUS 574058 HAS SOUPS 573655 WITH SCORE 575580.963
AT ITER 3834 NEW BEST:: SOT 2770541 SOS 1929661 HAS SOPS 1685477 HAS SOUS 572856 HAS SOUPS 572453 WITH SCORE 574382.661
AT ITER 3852 NEW BEST:: SOT 2763218 SOS 1922483 HAS SOPS 1678299 HAS SOUS 565590 HAS SOUPS 565187 WITH SCORE 567109.483
AT ITER 3865 NEW BEST:: SOT 2759211 SOS 1918476 HAS SOPS 1674292 HAS SOUS 561583 HAS SOUPS 561180 WITH SCORE 563098.476
AT ITER 3901 NEW BEST:: SOT 2760511 SOS 1919776 HAS SOPS 1675592 HAS SOUS 560183 HAS SOUPS 559780 WITH SCORE 561699.776
AT ITER 3903 NEW BEST:: SOT 2755581 SOS 1918351 HAS SOPS 1674167 HAS SOUS 555433 HAS SOUPS 555030 WITH SCORE 556948.351
AT ITER 3904 NEW BEST:: SOT 2755581 SOS 1917766 HAS SOPS 1673582 HAS SOUS 555418 HAS SOUPS 555015 WITH SCORE 556932.766
AT ITER 3909 NEW BEST:: SOT 2748009 SOS 1923270 HAS SOPS 1666225 HAS SOUS 548105 HAS SOUPS 547544 WITH SCORE 549467.27
AT ITER 3921 NEW BEST:: SOT 2749677 SOS 1924938 HAS SOPS 1664367 HAS SOUS 544068 HAS SOUPS 543507 WITH SCORE 545431.938
AT ITER 3939 NEW BEST:: SOT 2749632 SOS 1924893 HAS SOPS 1664322 HAS SOUS 544023 HAS SOUPS 543462 WITH SCORE 545386.893
AT ITER 4010 NEW BEST:: SOT 2749586 SOS 1924847 HAS SOPS 1664285 HAS SOUS 543986 HAS SOUPS 543425 WITH SCORE 545349.847
AT ITER 4019 NEW BEST:: SOT 2747922 SOS 1923183 HAS SOPS 1662621 HAS SOUS 540622 HAS SOUPS 540061 WITH SCORE 541984.183
AT ITER 4033 NEW BEST:: SOT 2747823 SOS 1923084 HAS SOPS 1662527 HAS SOUS 540528 HAS SOUPS 539967 WITH SCORE 541890.084
AT ITER 4060 NEW BEST:: SOT 2747412 SOS 1922795 HAS SOPS 1662238 HAS SOUS 540239 HAS SOUPS 539678 WITH SCORE 541600.795
AT ITER 4094 NEW BEST:: SOT 2747412 SOS 1922011 HAS SOPS 1661454 HAS SOUS 540215 HAS SOUPS 539654 WITH SCORE 541576.011
AT ITER 4097 NEW BEST:: SOT 2747452 SOS 1922051 HAS SOPS 1661447 HAS SOUS 540199 HAS SOUPS 539638 WITH SCORE 541560.051
AT ITER 4102 NEW BEST:: SOT 2747402 SOS 1922001 HAS SOPS 1661397 HAS SOUS 540149 HAS SOUPS 539588 WITH SCORE 541510.001
AT ITER 4108 NEW BEST:: SOT 2745302 SOS 1919901 HAS SOPS 1659297 HAS SOUS 540149 HAS SOUPS 539588 WITH SCORE 541507.901
AT ITER 4126 NEW BEST:: SOT 2745264 SOS 1919863 HAS SOPS 1659259 HAS SOUS 540111 HAS SOUPS 539550 WITH SCORE 541469.863
AT ITER 4150 NEW BEST:: SOT 2744648 SOS 1919247 HAS SOPS 1658623 HAS SOUS 538808 HAS SOUPS 538247 WITH SCORE 540166.247
AT ITER 4171 NEW BEST:: SOT 2744636 SOS 1919235 HAS SOPS 1658611 HAS SOUS 538796 HAS SOUPS 538235 WITH SCORE 540154.235
AT ITER 4187 NEW BEST:: SOT 2744662 SOS 1916747 HAS SOPS 1658530 HAS SOUS 538770 HAS SOUPS 538235 WITH SCORE 540151.747
AT ITER 4267 NEW BEST:: SOT 2741124 SOS 1913251 HAS SOPS 1655034 HAS SOUS 535274 HAS SOUPS 534739 WITH SCORE 536652.251
AT ITER 4274 NEW BEST:: SOT 2741124 SOS 1913202 HAS SOPS 1654985 HAS SOUS 528709 HAS SOUPS 528174 WITH SCORE 530087.202
AT ITER 4286 NEW BEST:: SOT 2741126 SOS 1913206 HAS SOPS 1654893 HAS SOUS 528601 HAS SOUPS 528066 WITH SCORE 529979.206
AT ITER 4310 NEW BEST:: SOT 2741126 SOS 1903662 HAS SOPS 1645349 HAS SOUS 528348 HAS SOUPS 527813 WITH SCORE 529716.662
AT ITER 4313 NEW BEST:: SOT 2741087 SOS 1903623 HAS SOPS 1645310 HAS SOUS 528309 HAS SOUPS 527774 WITH SCORE 529677.623
AT ITER 4341 NEW BEST:: SOT 2740753 SOS 1903319 HAS SOPS 1645064 HAS SOUS 528063 HAS SOUPS 527528 WITH SCORE 529431.319
AT ITER 4386 NEW BEST:: SOT 2740522 SOS 1903134 HAS SOPS 1644953 HAS SOUS 527952 HAS SOUPS 527417 WITH SCORE 529320.134
AT ITER 4422 NEW BEST:: SOT 2740468 SOS 1903080 HAS SOPS 1644899 HAS SOUS 527898 HAS SOUPS 527363 WITH SCORE 529266.08
AT ITER 4490 NEW BEST:: SOT 2740496 SOS 1903108 HAS SOPS 1644898 HAS SOUS 527897 HAS SOUPS 527362 WITH SCORE 529265.108
AT ITER 4492 NEW BEST:: SOT 2740395 SOS 1903007 HAS SOPS 1644785 HAS SOUS 527784 HAS SOUPS 527249 WITH SCORE 529152.007
AT ITER 4509 NEW BEST:: SOT 2740386 SOS 1902998 HAS SOPS 1644783 HAS SOUS 527782 HAS SOUPS 527247 WITH SCORE 529149.998
AT ITER 4519 NEW BEST:: SOT 2740384 SOS 1902996 HAS SOPS 1644781 HAS SOUS 527780 HAS SOUPS 527245 WITH SCORE 529147.996
AT ITER 4528 NEW BEST:: SOT 2740370 SOS 1902982 HAS SOPS 1644767 HAS SOUS 527766 HAS SOUPS 527231 WITH SCORE 529133.982
AT ITER 4530 NEW BEST:: SOT 2740370 SOS 1902982 HAS SOPS 1644766 HAS SOUS 527765 HAS SOUPS 527230 WITH SCORE 529132.982
AT ITER 4533 NEW BEST:: SOT 2739312 SOS 1901993 HAS SOPS 1640765 HAS SOUS 522474 HAS SOUPS 521939 WITH SCORE 523840.993
AT ITER 4595 NEW BEST:: SOT 2748725 SOS 1907775 HAS SOPS 1641299 HAS SOUS 519126 HAS SOUPS 518591 WITH SCORE 520498.775
AT ITER 4609 NEW BEST:: SOT 2748531 SOS 1907581 HAS SOPS 1641105 HAS SOUS 518932 HAS SOUPS 518397 WITH SCORE 520304.581
AT ITER 4641 NEW BEST:: SOT 2748531 SOS 1907581 HAS SOPS 1641092 HAS SOUS 518919 HAS SOUPS 518384 WITH SCORE 520291.581
AT ITER 4642 NEW BEST:: SOT 2748506 SOS 1907556 HAS SOPS 1641092 HAS SOUS 518919 HAS SOUPS 518384 WITH SCORE 520291.556
AT ITER 4710 NEW BEST:: SOT 2748338 SOS 1907405 HAS SOPS 1641054 HAS SOUS 518881 HAS SOUPS 518346 WITH SCORE 520253.405
AT ITER 4719 NEW BEST:: SOT 2748247 SOS 1907314 HAS SOPS 1641016 HAS SOUS 518843 HAS SOUPS 518308 WITH SCORE 520215.314
AT ITER 4796 NEW BEST:: SOT 2748240 SOS 1907307 HAS SOPS 1640957 HAS SOUS 518784 HAS SOUPS 518249 WITH SCORE 520156.307
AT ITER 4837 NEW BEST:: SOT 2748066 SOS 1907133 HAS SOPS 1640822 HAS SOUS 518649 HAS SOUPS 518114 WITH SCORE 520021.133
AT ITER 4859 NEW BEST:: SOT 2747746 SOS 1906813 HAS SOPS 1640566 HAS SOUS 518393 HAS SOUPS 517858 WITH SCORE 519764.813
AT ITER 4860 NEW BEST:: SOT 2747717 SOS 1906784 HAS SOPS 1640537 HAS SOUS 518364 HAS SOUPS 517829 WITH SCORE 519735.784
AT ITER 4872 NEW BEST:: SOT 2747661 SOS 1906728 HAS SOPS 1640481 HAS SOUS 518308 HAS SOUPS 517773 WITH SCORE 519679.728
AT ITER 4884 NEW BEST:: SOT 2747471 SOS 1906538 HAS SOPS 1640203 HAS SOUS 518030 HAS SOUPS 517495 WITH SCORE 519401.538
AT ITER 4916 NEW BEST:: SOT 2747384 SOS 1906451 HAS SOPS 1640116 HAS SOUS 517943 HAS SOUPS 517408 WITH SCORE 519314.451
AT ITER 4964 NEW BEST:: SOT 2747336 SOS 1906403 HAS SOPS 1640068 HAS SOUS 517895 HAS SOUPS 517360 WITH SCORE 519266.403
AT ITER 4974 NEW BEST:: SOT 2747282 SOS 1906349 HAS SOPS 1639957 HAS SOUS 517784 HAS SOUPS 517249 WITH SCORE 519155.349
AT ITER 4994 NEW BEST:: SOT 2746985 SOS 1906052 HAS SOPS 1639660 HAS SOUS 517487 HAS SOUPS 516952 WITH SCORE 518858.052
AT ITER 5009 NEW BEST:: SOT 2746971 SOS 1906038 HAS SOPS 1639646 HAS SOUS 517473 HAS SOUPS 516938 WITH SCORE 518844.038
AT ITER 5037 NEW BEST:: SOT 2746863 SOS 1905930 HAS SOPS 1639538 HAS SOUS 517365 HAS SOUPS 516830 WITH SCORE 518735.93
AT ITER 5141 NEW BEST:: SOT 2746838 SOS 1905905 HAS SOPS 1639495 HAS SOUS 517322 HAS SOUPS 516787 WITH SCORE 518692.905
AT ITER 5167 NEW BEST:: SOT 2746838 SOS 1905903 HAS SOPS 1639493 HAS SOUS 517320 HAS SOUPS 516785 WITH SCORE 518690.903
AT ITER 5170 NEW BEST:: SOT 2746874 SOS 1905939 HAS SOPS 1639481 HAS SOUS 517308 HAS SOUPS 516773 WITH SCORE 518678.939
AT ITER 5172 NEW BEST:: SOT 2746925 SOS 1905990 HAS SOPS 1639467 HAS SOUS 517294 HAS SOUPS 516759 WITH SCORE 518664.99
AT ITER 5202 NEW BEST:: SOT 2746886 SOS 1905951 HAS SOPS 1639418 HAS SOUS 517245 HAS SOUPS 516710 WITH SCORE 518615.951
AT ITER 5243 NEW BEST:: SOT 2746837 SOS 1905902 HAS SOPS 1639369 HAS SOUS 517196 HAS SOUPS 516661 WITH SCORE 518566.902
AT ITER 5264 NEW BEST:: SOT 2746837 SOS 1905902 HAS SOPS 1639351 HAS SOUS 517178 HAS SOUPS 516643 WITH SCORE 518548.902
AT ITER 5301 NEW BEST:: SOT 2746815 SOS 1905880 HAS SOPS 1639329 HAS SOUS 517156 HAS SOUPS 516621 WITH SCORE 518526.88
AT ITER 5329 NEW BEST:: SOT 2746897 SOS 1905962 HAS SOPS 1639307 HAS SOUS 517134 HAS SOUPS 516599 WITH SCORE 518504.962
AT ITER 5362 NEW BEST:: SOT 2746897 SOS 1903806 HAS SOPS 1637151 HAS SOUS 517068 HAS SOUPS 516533 WITH SCORE 518436.806
AT ITER 5381 NEW BEST:: SOT 2746897 SOS 1903705 HAS SOPS 1636256 HAS SOUS 507560 HAS SOUPS 507025 WITH SCORE 508928.705
AT ITER 5401 NEW BEST:: SOT 2746897 SOS 1903607 HAS SOPS 1636158 HAS SOUS 507557 HAS SOUPS 507022 WITH SCORE 508925.607
AT ITER 5440 NEW BEST:: SOT 2746897 SOS 1902137 HAS SOPS 1634688 HAS SOUS 507512 HAS SOUPS 506977 WITH SCORE 508879.137
AT ITER 5485 NEW BEST:: SOT 2746875 SOS 1902115 HAS SOPS 1634666 HAS SOUS 507490 HAS SOUPS 506955 WITH SCORE 508857.115
AT ITER 5493 NEW BEST:: SOT 2746859 SOS 1902099 HAS SOPS 1634650 HAS SOUS 507474 HAS SOUPS 506939 WITH SCORE 508841.099
AT ITER 5517 NEW BEST:: SOT 2746815 SOS 1902055 HAS SOPS 1634606 HAS SOUS 507430 HAS SOUPS 506895 WITH SCORE 508797.055
AT ITER 5532 NEW BEST:: SOT 2746725 SOS 1901965 HAS SOPS 1634516 HAS SOUS 507340 HAS SOUPS 506805 WITH SCORE 508706.965
AT ITER 5534 NEW BEST:: SOT 2746610 SOS 1901850 HAS SOPS 1634259 HAS SOUS 507083 HAS SOUPS 506548 WITH SCORE 508449.85
AT ITER 5550 NEW BEST:: SOT 2746578 SOS 1901818 HAS SOPS 1634227 HAS SOUS 507051 HAS SOUPS 506516 WITH SCORE 508417.818
AT ITER 5576 NEW BEST:: SOT 2746529 SOS 1901769 HAS SOPS 1634160 HAS SOUS 506984 HAS SOUPS 506449 WITH SCORE 508350.769
AT ITER 5580 NEW BEST:: SOT 2749017 SOS 1904330 HAS SOPS 1636639 HAS SOUS 504789 HAS SOUPS 504254 WITH SCORE 506158.33
AT ITER 5626 NEW BEST:: SOT 2749016 SOS 1904329 HAS SOPS 1636638 HAS SOUS 504788 HAS SOUPS 504253 WITH SCORE 506157.329
AT ITER 5649 NEW BEST:: SOT 2746816 SOS 1902156 HAS SOPS 1634465 HAS SOUS 500415 HAS SOUPS 499880 WITH SCORE 501782.156
AT ITER 5651 NEW BEST:: SOT 2744209 SOS 1899549 HAS SOPS 1631803 HAS SOUS 495035 HAS SOUPS 494500 WITH SCORE 496399.549
AT ITER 5766 NEW BEST:: SOT 2744209 SOS 1896008 HAS SOPS 1628262 HAS SOUS 490568 HAS SOUPS 490033 WITH SCORE 491929.008
AT ITER 5822 NEW BEST:: SOT 2744173 SOS 1895972 HAS SOPS 1628225 HAS SOUS 490531 HAS SOUPS 489996 WITH SCORE 491891.972
AT ITER 5826 NEW BEST:: SOT 2744143 SOS 1895942 HAS SOPS 1628214 HAS SOUS 490520 HAS SOUPS 489985 WITH SCORE 491880.942
AT ITER 5835 NEW BEST:: SOT 2744143 SOS 1888128 HAS SOPS 1620400 HAS SOUS 490392 HAS SOUPS 489857 WITH SCORE 491745.128
AT ITER 5842 NEW BEST:: SOT 2744127 SOS 1888096 HAS SOPS 1620368 HAS SOUS 490360 HAS SOUPS 489825 WITH SCORE 491713.096
AT ITER 5852 NEW BEST:: SOT 2744116 SOS 1888085 HAS SOPS 1620368 HAS SOUS 490360 HAS SOUPS 489825 WITH SCORE 491713.085
AT ITER 5875 NEW BEST:: SOT 2744098 SOS 1888067 HAS SOPS 1620342 HAS SOUS 490334 HAS SOUPS 489799 WITH SCORE 491687.067
AT ITER 5881 NEW BEST:: SOT 2742667 SOS 1886620 HAS SOPS 1618822 HAS SOUS 487546 HAS SOUPS 487011 WITH SCORE 488897.62
AT ITER 5969 NEW BEST:: SOT 2742931 SOS 1886917 HAS SOPS 1618581 HAS SOUS 487127 HAS SOUPS 486592 WITH SCORE 488478.917
AT ITER 6021 NEW BEST:: SOT 2742931 SOS 1886917 HAS SOPS 1618578 HAS SOUS 487124 HAS SOUPS 486589 WITH SCORE 488475.917
AT ITER 6053 NEW BEST:: SOT 2742816 SOS 1886839 HAS SOPS 1618500 HAS SOUS 487046 HAS SOUPS 486511 WITH SCORE 488397.839
AT ITER 6054 NEW BEST:: SOT 2742779 SOS 1886610 HAS SOPS 1617356 HAS SOUS 486904 HAS SOUPS 486369 WITH SCORE 488255.61
AT ITER 6083 NEW BEST:: SOT 2743073 SOS 1886955 HAS SOPS 1615171 HAS SOUS 484373 HAS SOUPS 483838 WITH SCORE 485724.955
AT ITER 6105 NEW BEST:: SOT 2743073 SOS 1886955 HAS SOPS 1615112 HAS SOUS 484314 HAS SOUPS 483779 WITH SCORE 485665.955
AT ITER 6185 NEW BEST:: SOT 2743073 SOS 1886455 HAS SOPS 1614612 HAS SOUS 484309 HAS SOUPS 483774 WITH SCORE 485660.455
AT ITER 6235 NEW BEST:: SOT 2743047 SOS 1886429 HAS SOPS 1614573 HAS SOUS 484270 HAS SOUPS 483735 WITH SCORE 485621.429
AT ITER 6251 NEW BEST:: SOT 2743047 SOS 1886129 HAS SOPS 1614273 HAS SOUS 484267 HAS SOUPS 483732 WITH SCORE 485618.129
AT ITER 6280 NEW BEST:: SOT 2742867 SOS 1885949 HAS SOPS 1614093 HAS SOUS 484087 HAS SOUPS 483552 WITH SCORE 485437.949
AT ITER 6328 NEW BEST:: SOT 2742867 SOS 1885902 HAS SOPS 1614046 HAS SOUS 484040 HAS SOUPS 483505 WITH SCORE 485390.902
AT ITER 6334 NEW BEST:: SOT 2742850 SOS 1885885 HAS SOPS 1614009 HAS SOUS 484003 HAS SOUPS 483468 WITH SCORE 485353.885
AT ITER 6342 NEW BEST:: SOT 2742702 SOS 1885737 HAS SOPS 1613830 HAS SOUS 483824 HAS SOUPS 483289 WITH SCORE 485174.737
AT ITER 6349 NEW BEST:: SOT 2742089 SOS 1885182 HAS SOPS 1610975 HAS SOUS 480265 HAS SOUPS 479730 WITH SCORE 481615.182
AT ITER 6370 NEW BEST:: SOT 2747801 SOS 1890910 HAS SOPS 1612070 HAS SOUS 479082 HAS SOUPS 478547 WITH SCORE 480437.91
AT ITER 6381 NEW BEST:: SOT 2747765 SOS 1890874 HAS SOPS 1612034 HAS SOUS 479046 HAS SOUPS 478511 WITH SCORE 480401.874
AT ITER 6426 NEW BEST:: SOT 2748365 SOS 1891458 HAS SOPS 1612618 HAS SOUS 478630 HAS SOUPS 478095 WITH SCORE 479986.458
AT ITER 6437 NEW BEST:: SOT 2748360 SOS 1891453 HAS SOPS 1612618 HAS SOUS 478630 HAS SOUPS 478095 WITH SCORE 479986.453
AT ITER 6483 NEW BEST:: SOT 2748325 SOS 1891418 HAS SOPS 1612563 HAS SOUS 478575 HAS SOUPS 478040 WITH SCORE 479931.418
AT ITER 6507 NEW BEST:: SOT 2748175 SOS 1891268 HAS SOPS 1612553 HAS SOUS 478565 HAS SOUPS 478030 WITH SCORE 479921.268
AT ITER 6531 NEW BEST:: SOT 2754847 SOS 1897830 HAS SOPS 1613661 HAS SOUS 473805 HAS SOUPS 473270 WITH SCORE 475167.83
AT ITER 6555 NEW BEST:: SOT 2754836 SOS 1897819 HAS SOPS 1613631 HAS SOUS 473775 HAS SOUPS 473240 WITH SCORE 475137.819
AT ITER 6600 NEW BEST:: SOT 2754778 SOS 1897761 HAS SOPS 1613544 HAS SOUS 473688 HAS SOUPS 473153 WITH SCORE 475050.761
AT ITER 6678 NEW BEST:: SOT 2754778 SOS 1897736 HAS SOPS 1613519 HAS SOUS 473663 HAS SOUPS 473128 WITH SCORE 475025.736
AT ITER 6686 NEW BEST:: SOT 2754761 SOS 1897719 HAS SOPS 1613507 HAS SOUS 473651 HAS SOUPS 473116 WITH SCORE 475013.719
AT ITER 6692 NEW BEST:: SOT 2754761 SOS 1896119 HAS SOPS 1611907 HAS SOUS 473635 HAS SOUPS 473100 WITH SCORE 474996.119
AT ITER 6726 NEW BEST:: SOT 2754611 SOS 1895969 HAS SOPS 1611831 HAS SOUS 473559 HAS SOUPS 473024 WITH SCORE 474919.969
AT ITER 6818 NEW BEST:: SOT 2754603 SOS 1895961 HAS SOPS 1611823 HAS SOUS 473551 HAS SOUPS 473016 WITH SCORE 474911.961
AT ITER 6837 NEW BEST:: SOT 2754603 SOS 1895961 HAS SOPS 1611818 HAS SOUS 473546 HAS SOUPS 473011 WITH SCORE 474906.961
AT ITER 6881 NEW BEST:: SOT 2754559 SOS 1895917 HAS SOPS 1611743 HAS SOUS 473471 HAS SOUPS 472936 WITH SCORE 474831.917
AT ITER 6912 NEW BEST:: SOT 2754548 SOS 1895906 HAS SOPS 1611732 HAS SOUS 473460 HAS SOUPS 472925 WITH SCORE 474820.906
AT ITER 6920 NEW BEST:: SOT 2753440 SOS 1893434 HAS SOPS 1605443 HAS SOUS 470766 HAS SOUPS 470231 WITH SCORE 472124.434
AT ITER 6971 NEW BEST:: SOT 2753357 SOS 1893351 HAS SOPS 1605360 HAS SOUS 470683 HAS SOUPS 470148 WITH SCORE 472041.351
AT ITER 6976 NEW BEST:: SOT 2753325 SOS 1893319 HAS SOPS 1605360 HAS SOUS 470683 HAS SOUPS 470148 WITH SCORE 472041.319
AT ITER 7036 NEW BEST:: SOT 2743912 SOS 1884052 HAS SOPS 1596448 HAS SOUS 468838 HAS SOUPS 468303 WITH SCORE 470187.052
AT ITER 7122 NEW BEST:: SOT 2743882 SOS 1884022 HAS SOPS 1596388 HAS SOUS 468778 HAS SOUPS 468243 WITH SCORE 470127.022
AT ITER 7155 NEW BEST:: SOT 2743882 SOS 1884022 HAS SOPS 1596356 HAS SOUS 468746 HAS SOUPS 468211 WITH SCORE 470095.022
AT ITER 7236 NEW BEST:: SOT 2743860 SOS 1884000 HAS SOPS 1596334 HAS SOUS 468724 HAS SOUPS 468189 WITH SCORE 470073.0
AT ITER 7241 NEW BEST:: SOT 2743852 SOS 1883992 HAS SOPS 1596332 HAS SOUS 468722 HAS SOUPS 468187 WITH SCORE 470070.992
AT ITER 7252 NEW BEST:: SOT 2743790 SOS 1883930 HAS SOPS 1596275 HAS SOUS 468665 HAS SOUPS 468130 WITH SCORE 470013.93
AT ITER 7286 NEW BEST:: SOT 2743790 SOS 1881030 HAS SOPS 1593375 HAS SOUS 468636 HAS SOUPS 468101 WITH SCORE 469982.03
AT ITER 7288 NEW BEST:: SOT 2743771 SOS 1881011 HAS SOPS 1593337 HAS SOUS 468598 HAS SOUPS 468063 WITH SCORE 469944.011
AT ITER 7320 NEW BEST:: SOT 2743799 SOS 1881039 HAS SOPS 1593328 HAS SOUS 468589 HAS SOUPS 468054 WITH SCORE 469935.039
AT ITER 7349 NEW BEST:: SOT 2737970 SOS 1882151 HAS SOPS 1594440 HAS SOUS 463068 HAS SOUPS 462533 WITH SCORE 464415.151
AT ITER 7371 NEW BEST:: SOT 2737892 SOS 1882071 HAS SOPS 1594290 HAS SOUS 463064 HAS SOUPS 462529 WITH SCORE 464411.071
AT ITER 7387 NEW BEST:: SOT 2747141 SOS 1891324 HAS SOPS 1594250 HAS SOUS 458842 HAS SOUPS 458291 WITH SCORE 460182.324
AT ITER 7423 NEW BEST:: SOT 2746025 SOS 1890208 HAS SOPS 1593098 HAS SOUS 456550 HAS SOUPS 455999 WITH SCORE 457889.208
AT ITER 7433 NEW BEST:: SOT 2745882 SOS 1890065 HAS SOPS 1593081 HAS SOUS 456533 HAS SOUPS 455982 WITH SCORE 457872.065
AT ITER 7475 NEW BEST:: SOT 2740788 SOS 1884971 HAS SOPS 1587987 HAS SOUS 453439 HAS SOUPS 452888 WITH SCORE 454772.971
AT ITER 7498 NEW BEST:: SOT 2739137 SOS 1883320 HAS SOPS 1586323 HAS SOUS 450088 HAS SOUPS 449537 WITH SCORE 451420.32
AT ITER 7525 NEW BEST:: SOT 2739137 SOS 1883320 HAS SOPS 1586297 HAS SOUS 450062 HAS SOUPS 449511 WITH SCORE 451394.32
AT ITER 7532 NEW BEST:: SOT 2739108 SOS 1883291 HAS SOPS 1586248 HAS SOUS 450013 HAS SOUPS 449462 WITH SCORE 451345.291
AT ITER 7568 NEW BEST:: SOT 2739108 SOS 1883291 HAS SOPS 1586247 HAS SOUS 450012 HAS SOUPS 449461 WITH SCORE 451344.291
AT ITER 7584 NEW BEST:: SOT 2739092 SOS 1883275 HAS SOPS 1586223 HAS SOUS 449988 HAS SOUPS 449437 WITH SCORE 451320.275
AT ITER 7598 NEW BEST:: SOT 2739092 SOS 1876975 HAS SOPS 1579923 HAS SOUS 449925 HAS SOUPS 449374 WITH SCORE 451250.975
AT ITER 7669 NEW BEST:: SOT 2739050 SOS 1876933 HAS SOPS 1579881 HAS SOUS 449883 HAS SOUPS 449332 WITH SCORE 451208.933
AT ITER 7695 NEW BEST:: SOT 2738882 SOS 1876765 HAS SOPS 1579640 HAS SOUS 449485 HAS SOUPS 448934 WITH SCORE 450810.765
AT ITER 7720 NEW BEST:: SOT 2741464 SOS 1879290 HAS SOPS 1582154 HAS SOUS 448910 HAS SOUPS 448359 WITH SCORE 450238.29
AT ITER 7781 NEW BEST:: SOT 2741469 SOS 1879295 HAS SOPS 1582136 HAS SOUS 448892 HAS SOUPS 448341 WITH SCORE 450220.295
AT ITER 7798 NEW BEST:: SOT 2741504 SOS 1879169 HAS SOPS 1582010 HAS SOUS 448766 HAS SOUPS 448215 WITH SCORE 450094.169
AT ITER 7831 NEW BEST:: SOT 2741496 SOS 1879161 HAS SOPS 1582002 HAS SOUS 448758 HAS SOUPS 448207 WITH SCORE 450086.161
AT ITER 7957 NEW BEST:: SOT 2741496 SOS 1874411 HAS SOPS 1577252 HAS SOUS 448661 HAS SOUPS 448110 WITH SCORE 449984.411
AT ITER 7985 NEW BEST:: SOT 2741496 SOS 1872409 HAS SOPS 1575250 HAS SOUS 448639 HAS SOUPS 448088 WITH SCORE 449960.409
AT ITER 8025 NEW BEST:: SOT 2741395 SOS 1872308 HAS SOPS 1575087 HAS SOUS 448476 HAS SOUPS 447925 WITH SCORE 449797.308
AT ITER 8029 NEW BEST:: SOT 2741295 SOS 1872208 HAS SOPS 1574987 HAS SOUS 448376 HAS SOUPS 447825 WITH SCORE 449697.208
AT ITER 8067 NEW BEST:: SOT 2741295 SOS 1872194 HAS SOPS 1574967 HAS SOUS 446962 HAS SOUPS 446411 WITH SCORE 448283.194
AT ITER 8106 NEW BEST:: SOT 2737595 SOS 1868525 HAS SOPS 1571298 HAS SOUS 445621 HAS SOUPS 445070 WITH SCORE 446938.525
AT ITER 8108 NEW BEST:: SOT 2733527 SOS 1865617 HAS SOPS 1568390 HAS SOUS 441624 HAS SOUPS 441073 WITH SCORE 442938.617
AT ITER 8161 NEW BEST:: SOT 2732956 SOS 1865030 HAS SOPS 1567152 HAS SOUS 440274 HAS SOUPS 439723 WITH SCORE 441588.03
AT ITER 8257 NEW BEST:: SOT 2732956 SOS 1863643 HAS SOPS 1565765 HAS SOUS 440273 HAS SOUPS 439722 WITH SCORE 441585.643
AT ITER 8280 NEW BEST:: SOT 2732943 SOS 1863630 HAS SOPS 1565752 HAS SOUS 440260 HAS SOUPS 439709 WITH SCORE 441572.63
AT ITER 8289 NEW BEST:: SOT 2730344 SOS 1861070 HAS SOPS 1563257 HAS SOUS 438342 HAS SOUPS 437791 WITH SCORE 439652.07
AT ITER 8293 NEW BEST:: SOT 2730248 SOS 1860974 HAS SOPS 1563161 HAS SOUS 438246 HAS SOUPS 437695 WITH SCORE 439555.974
AT ITER 8315 NEW BEST:: SOT 2730191 SOS 1860917 HAS SOPS 1563107 HAS SOUS 438192 HAS SOUPS 437641 WITH SCORE 439501.917
AT ITER 8321 NEW BEST:: SOT 2729372 SOS 1860098 HAS SOPS 1562195 HAS SOUS 436355 HAS SOUPS 435804 WITH SCORE 437664.098
AT ITER 8326 NEW BEST:: SOT 2729336 SOS 1860062 HAS SOPS 1562147 HAS SOUS 436307 HAS SOUPS 435756 WITH SCORE 437616.062
AT ITER 8347 NEW BEST:: SOT 2721378 SOS 1875363 HAS SOPS 1583162 HAS SOUS 428860 HAS SOUPS 428309 WITH SCORE 430184.363
AT ITER 8410 NEW BEST:: SOT 2721324 SOS 1875309 HAS SOPS 1583108 HAS SOUS 428806 HAS SOUPS 428255 WITH SCORE 430130.309
AT ITER 8419 NEW BEST:: SOT 2721168 SOS 1875153 HAS SOPS 1582952 HAS SOUS 428650 HAS SOUPS 428099 WITH SCORE 429974.153
AT ITER 8430 NEW BEST:: SOT 2721168 SOS 1875135 HAS SOPS 1582934 HAS SOUS 428606 HAS SOUPS 428055 WITH SCORE 429930.135
AT ITER 8475 NEW BEST:: SOT 2721062 SOS 1875029 HAS SOPS 1582852 HAS SOUS 428524 HAS SOUPS 427973 WITH SCORE 429848.029
AT ITER 8476 NEW BEST:: SOT 2721052 SOS 1875019 HAS SOPS 1582842 HAS SOUS 428514 HAS SOUPS 427963 WITH SCORE 429838.019
AT ITER 8497 NEW BEST:: SOT 2717370 SOS 1881874 HAS SOPS 1593518 HAS SOUS 426675 HAS SOUPS 426124 WITH SCORE 428005.874
AT ITER 8582 NEW BEST:: SOT 2717330 SOS 1881834 HAS SOPS 1593505 HAS SOUS 426662 HAS SOUPS 426111 WITH SCORE 427992.834
AT ITER 8685 NEW BEST:: SOT 2721651 SOS 1886155 HAS SOPS 1593925 HAS SOUS 425923 HAS SOUPS 425372 WITH SCORE 427258.155
AT ITER 8816 NEW BEST:: SOT 2721625 SOS 1886129 HAS SOPS 1593899 HAS SOUS 425897 HAS SOUPS 425346 WITH SCORE 427232.129
AT ITER 8824 NEW BEST:: SOT 2721581 SOS 1886085 HAS SOPS 1593888 HAS SOUS 425886 HAS SOUPS 425335 WITH SCORE 427221.085
AT ITER 8840 NEW BEST:: SOT 2721479 SOS 1885983 HAS SOPS 1593786 HAS SOUS 425784 HAS SOUPS 425233 WITH SCORE 427118.983
AT ITER 8845 NEW BEST:: SOT 2721479 SOS 1876329 HAS SOPS 1584132 HAS SOUS 425748 HAS SOUPS 425197 WITH SCORE 427073.329
AT ITER 8857 NEW BEST:: SOT 2721390 SOS 1876240 HAS SOPS 1584043 HAS SOUS 425659 HAS SOUPS 425108 WITH SCORE 426984.24
AT ITER 8868 NEW BEST:: SOT 2721382 SOS 1876232 HAS SOPS 1584017 HAS SOUS 425633 HAS SOUPS 425082 WITH SCORE 426958.232
AT ITER 8929 NEW BEST:: SOT 2721374 SOS 1876224 HAS SOPS 1584009 HAS SOUS 425625 HAS SOUPS 425074 WITH SCORE 426950.224
AT ITER 8935 NEW BEST:: SOT 2721344 SOS 1876194 HAS SOPS 1583980 HAS SOUS 425596 HAS SOUPS 425045 WITH SCORE 426921.194
AT ITER 8938 NEW BEST:: SOT 2721344 SOS 1876194 HAS SOPS 1583490 HAS SOUS 425056 HAS SOUPS 424505 WITH SCORE 426381.194
AT ITER 9002 NEW BEST:: SOT 2721344 SOS 1876190 HAS SOPS 1583486 HAS SOUS 425056 HAS SOUPS 424505 WITH SCORE 426381.19
AT ITER 9009 NEW BEST:: SOT 2721344 SOS 1872690 HAS SOPS 1579986 HAS SOUS 425021 HAS SOUPS 424470 WITH SCORE 426342.69
AT ITER 9014 NEW BEST:: SOT 2721317 SOS 1872663 HAS SOPS 1579959 HAS SOUS 424994 HAS SOUPS 424443 WITH SCORE 426315.663
AT ITER 9054 NEW BEST:: SOT 2721317 SOS 1871950 HAS SOPS 1579246 HAS SOUS 424987 HAS SOUPS 424436 WITH SCORE 426307.95
AT ITER 9066 NEW BEST:: SOT 2721219 SOS 1871852 HAS SOPS 1579148 HAS SOUS 424889 HAS SOUPS 424338 WITH SCORE 426209.852
AT ITER 9080 NEW BEST:: SOT 2719673 SOS 1870333 HAS SOPS 1577629 HAS SOUS 423370 HAS SOUPS 422819 WITH SCORE 424689.333
AT ITER 9150 NEW BEST:: SOT 2717477 SOS 1868159 HAS SOPS 1575455 HAS SOUS 421196 HAS SOUPS 420645 WITH SCORE 422513.159
AT ITER 9198 NEW BEST:: SOT 2717461 SOS 1868143 HAS SOPS 1575439 HAS SOUS 421180 HAS SOUPS 420629 WITH SCORE 422497.143
AT ITER 9230 NEW BEST:: SOT 2717405 SOS 1868087 HAS SOPS 1575435 HAS SOUS 421176 HAS SOUPS 420625 WITH SCORE 422493.087
AT ITER 9313 NEW BEST:: SOT 2717405 SOS 1863734 HAS SOPS 1571082 HAS SOUS 421176 HAS SOUPS 420625 WITH SCORE 422488.734
AT ITER 9322 NEW BEST:: SOT 2717403 SOS 1863730 HAS SOPS 1571078 HAS SOUS 421172 HAS SOUPS 420621 WITH SCORE 422484.73
AT ITER 9324 NEW BEST:: SOT 2715121 SOS 1861448 HAS SOPS 1570209 HAS SOUS 417724 HAS SOUPS 417173 WITH SCORE 419034.448
AT ITER 9333 NEW BEST:: SOT 2715054 SOS 1861381 HAS SOPS 1569814 HAS SOUS 417167 HAS SOUPS 416616 WITH SCORE 418477.381
AT ITER 9336 NEW BEST:: SOT 2710390 SOS 1856717 HAS SOPS 1564780 HAS SOUS 409179 HAS SOUPS 408628 WITH SCORE 410484.717
AT ITER 9400 NEW BEST:: SOT 2710356 SOS 1856683 HAS SOPS 1564746 HAS SOUS 409145 HAS SOUPS 408594 WITH SCORE 410450.683
AT ITER 9402 NEW BEST:: SOT 2710356 SOS 1856683 HAS SOPS 1564739 HAS SOUS 409138 HAS SOUPS 408587 WITH SCORE 410443.683
AT ITER 9426 NEW BEST:: SOT 2706217 SOS 1852618 HAS SOPS 1560738 HAS SOUS 408241 HAS SOUPS 407690 WITH SCORE 409542.618
AT ITER 9441 NEW BEST:: SOT 2705317 SOS 1851718 HAS SOPS 1559838 HAS SOUS 407341 HAS SOUPS 406790 WITH SCORE 408641.718
AT ITER 9452 NEW BEST:: SOT 2706283 SOS 1852684 HAS SOPS 1559726 HAS SOUS 407119 HAS SOUPS 406568 WITH SCORE 408420.684
AT ITER 9491 NEW BEST:: SOT 2706237 SOS 1852638 HAS SOPS 1559651 HAS SOUS 407044 HAS SOUPS 406493 WITH SCORE 408345.638
AT ITER 9591 NEW BEST:: SOT 2702979 SOS 1849380 HAS SOPS 1556301 HAS SOUS 400299 HAS SOUPS 399748 WITH SCORE 401597.38
AT ITER 9594 NEW BEST:: SOT 2703057 SOS 1849458 HAS SOPS 1556246 HAS SOUS 400244 HAS SOUPS 399693 WITH SCORE 401542.458
AT ITER 9633 NEW BEST:: SOT 2702532 SOS 1848933 HAS SOPS 1555193 HAS SOUS 399114 HAS SOUPS 398563 WITH SCORE 400411.933
AT ITER 9652 NEW BEST:: SOT 2702532 SOS 1848833 HAS SOPS 1555093 HAS SOUS 399088 HAS SOUPS 398537 WITH SCORE 400385.833
AT ITER 9672 NEW BEST:: SOT 2702474 SOS 1848775 HAS SOPS 1555008 HAS SOUS 399003 HAS SOUPS 398452 WITH SCORE 400300.775
AT ITER 9734 NEW BEST:: SOT 2702474 SOS 1835505 HAS SOPS 1535929 HAS SOUS 398552 HAS SOUPS 398001 WITH SCORE 399836.505
AT ITER 9770 NEW BEST:: SOT 2702340 SOS 1835371 HAS SOPS 1535826 HAS SOUS 398449 HAS SOUPS 397898 WITH SCORE 399733.371
AT ITER 9775 NEW BEST:: SOT 2702325 SOS 1835356 HAS SOPS 1535765 HAS SOUS 398388 HAS SOUPS 397837 WITH SCORE 399672.356
AT ITER 9887 NEW BEST:: SOT 2702207 SOS 1835240 HAS SOPS 1535700 HAS SOUS 398323 HAS SOUPS 397772 WITH SCORE 399607.24
AT ITER 9901 NEW BEST:: SOT 2702114 SOS 1835147 HAS SOPS 1535700 HAS SOUS 398323 HAS SOUPS 397772 WITH SCORE 399607.147
AT ITER 9973 NEW BEST:: SOT 2702114 SOS 1833847 HAS SOPS 1534400 HAS SOUS 398310 HAS SOUPS 397759 WITH SCORE 399592.847
AT ITER 9979 NEW BEST:: SOT 2702122 SOS 1833546 HAS SOPS 1534099 HAS SOUS 398009 HAS SOUPS 397458 WITH SCORE 399291.546
AT ITER 9986 NEW BEST:: SOT 2702032 SOS 1833456 HAS SOPS 1534073 HAS SOUS 397983 HAS SOUPS 397432 WITH SCORE 399265.456
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12969504 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138268 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Railroad-PT-100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Railroad-PT-100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194700400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;