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.r099-tall-167814472500488.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 DES-PT-50b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 15:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 15:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 127K Mar 5 18:22 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 1678245055042

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=DES-PT-50b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50b
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: 479 places, 430 transitions, 1463 arcs.
AT ITER 0 NEW BEST:: SOT 134430 SOS 32804 HAS SOPS 32804 HAS SOUS 31522 HAS SOUPS 31522 WITH SCORE 31554.804
AT ITER 2 NEW BEST:: SOT 134148 SOS 34766 HAS SOPS 34766 HAS SOUS 31374 HAS SOUPS 31374 WITH SCORE 31408.766
AT ITER 54 NEW BEST:: SOT 134112 SOS 34764 HAS SOPS 34764 HAS SOUS 31372 HAS SOUPS 31372 WITH SCORE 31406.764
AT ITER 81 NEW BEST:: SOT 134112 SOS 34763 HAS SOPS 34763 HAS SOUS 31371 HAS SOUPS 31371 WITH SCORE 31405.763
AT ITER 116 NEW BEST:: SOT 132462 SOS 33112 HAS SOPS 33112 HAS SOUS 29720 HAS SOUPS 29720 WITH SCORE 29753.112
AT ITER 139 NEW BEST:: SOT 132462 SOS 33111 HAS SOPS 33111 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29752.111
AT ITER 201 NEW BEST:: SOT 132462 SOS 33087 HAS SOPS 33087 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29752.087
AT ITER 211 NEW BEST:: SOT 131562 SOS 32186 HAS SOPS 32186 HAS SOUS 28818 HAS SOUPS 28818 WITH SCORE 28850.186
AT ITER 220 NEW BEST:: SOT 131517 SOS 32185 HAS SOPS 32185 HAS SOUS 28817 HAS SOUPS 28817 WITH SCORE 28849.185
AT ITER 235 NEW BEST:: SOT 131314 SOS 33438 HAS SOPS 33438 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28803.438
AT ITER 265 NEW BEST:: SOT 130334 SOS 32458 HAS SOPS 32458 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27821.458
AT ITER 310 NEW BEST:: SOT 130334 SOS 32466 HAS SOPS 32466 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27820.466
AT ITER 364 NEW BEST:: SOT 130298 SOS 32465 HAS SOPS 32465 HAS SOUS 27787 HAS SOUPS 27787 WITH SCORE 27819.465
AT ITER 370 NEW BEST:: SOT 129291 SOS 34394 HAS SOPS 34394 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26939.394
AT ITER 407 NEW BEST:: SOT 124443 SOS 29546 HAS SOPS 29546 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21948.546
AT ITER 425 NEW BEST:: SOT 124428 SOS 30120 HAS SOPS 30120 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21934.12
AT ITER 428 NEW BEST:: SOT 124411 SOS 30102 HAS SOPS 30102 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21916.102
AT ITER 564 NEW BEST:: SOT 124406 SOS 30097 HAS SOPS 30097 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21911.097
AT ITER 583 NEW BEST:: SOT 124230 SOS 30244 HAS SOPS 30244 HAS SOUS 21739 HAS SOUPS 21739 WITH SCORE 21769.244
AT ITER 612 NEW BEST:: SOT 124229 SOS 30243 HAS SOPS 30243 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21767.243
AT ITER 696 NEW BEST:: SOT 124209 SOS 30223 HAS SOPS 30223 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21721.223
AT ITER 701 NEW BEST:: SOT 124198 SOS 30179 HAS SOPS 30179 HAS SOUS 21670 HAS SOUPS 21670 WITH SCORE 21700.179
AT ITER 884 NEW BEST:: SOT 124018 SOS 30142 HAS SOPS 30142 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21663.142
AT ITER 931 NEW BEST:: SOT 123988 SOS 30112 HAS SOPS 30112 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21649.112
AT ITER 935 NEW BEST:: SOT 123988 SOS 30112 HAS SOPS 30112 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21648.112
AT ITER 960 NEW BEST:: SOT 123957 SOS 30065 HAS SOPS 30065 HAS SOUS 21571 HAS SOUPS 21571 WITH SCORE 21601.065
AT ITER 1014 NEW BEST:: SOT 123925 SOS 30058 HAS SOPS 30058 HAS SOUS 21564 HAS SOUPS 21564 WITH SCORE 21594.058
AT ITER 1070 NEW BEST:: SOT 123880 SOS 30412 HAS SOPS 30412 HAS SOUS 21526 HAS SOUPS 21526 WITH SCORE 21556.412
AT ITER 1094 NEW BEST:: SOT 123879 SOS 30411 HAS SOPS 30411 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21555.411
AT ITER 1136 NEW BEST:: SOT 123852 SOS 30388 HAS SOPS 30388 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21532.388
AT ITER 1185 NEW BEST:: SOT 123852 SOS 30388 HAS SOPS 30388 HAS SOUS 21500 HAS SOUPS 21500 WITH SCORE 21530.388
AT ITER 1189 NEW BEST:: SOT 123840 SOS 30375 HAS SOPS 30375 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21517.375
AT ITER 1201 NEW BEST:: SOT 123576 SOS 30180 HAS SOPS 30180 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21378.18
AT ITER 1222 NEW BEST:: SOT 123576 SOS 30175 HAS SOPS 30175 HAS SOUS 21343 HAS SOUPS 21343 WITH SCORE 21373.175
AT ITER 1230 NEW BEST:: SOT 123576 SOS 30173 HAS SOPS 30173 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21371.173
AT ITER 1236 NEW BEST:: SOT 123541 SOS 30103 HAS SOPS 30103 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21301.103
AT ITER 1250 NEW BEST:: SOT 123379 SOS 30091 HAS SOPS 30091 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21161.091
AT ITER 1259 NEW BEST:: SOT 123379 SOS 30090 HAS SOPS 30090 HAS SOUS 21130 HAS SOUPS 21130 WITH SCORE 21160.09
AT ITER 1268 NEW BEST:: SOT 123367 SOS 30066 HAS SOPS 30066 HAS SOUS 21105 HAS SOUPS 21105 WITH SCORE 21135.066
AT ITER 1283 NEW BEST:: SOT 123352 SOS 30064 HAS SOPS 30064 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21133.064
AT ITER 1293 NEW BEST:: SOT 122165 SOS 33135 HAS SOPS 33135 HAS SOUS 20009 HAS SOUPS 20009 WITH SCORE 20042.135
AT ITER 1362 NEW BEST:: SOT 122071 SOS 33007 HAS SOPS 33007 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19937.007
AT ITER 1368 NEW BEST:: SOT 122070 SOS 33006 HAS SOPS 33006 HAS SOUS 19902 HAS SOUPS 19902 WITH SCORE 19935.006
AT ITER 1485 NEW BEST:: SOT 122070 SOS 32979 HAS SOPS 32979 HAS SOUS 19899 HAS SOUPS 19899 WITH SCORE 19931.979
AT ITER 1517 NEW BEST:: SOT 122067 SOS 32975 HAS SOPS 32975 HAS SOUS 19895 HAS SOUPS 19895 WITH SCORE 19927.975
AT ITER 1532 NEW BEST:: SOT 122046 SOS 32954 HAS SOPS 32954 HAS SOUS 19874 HAS SOUPS 19874 WITH SCORE 19906.954
AT ITER 1563 NEW BEST:: SOT 120906 SOS 32306 HAS SOPS 32306 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18847.306
AT ITER 1579 NEW BEST:: SOT 120561 SOS 32990 HAS SOPS 32990 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18471.99
AT ITER 1646 NEW BEST:: SOT 120561 SOS 32973 HAS SOPS 32973 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18454.973
AT ITER 1724 NEW BEST:: SOT 120558 SOS 32952 HAS SOPS 32952 HAS SOUS 18421 HAS SOUPS 18421 WITH SCORE 18453.952
AT ITER 1732 NEW BEST:: SOT 120557 SOS 32951 HAS SOPS 32951 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18451.951
AT ITER 1739 NEW BEST:: SOT 120482 SOS 32876 HAS SOPS 32876 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18301.876
AT ITER 1763 NEW BEST:: SOT 120478 SOS 32868 HAS SOPS 32868 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18301.868
AT ITER 1799 NEW BEST:: SOT 120461 SOS 32852 HAS SOPS 32852 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18285.852
AT ITER 1803 NEW BEST:: SOT 117983 SOS 39239 HAS SOPS 39239 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16125.239
AT ITER 1876 NEW BEST:: SOT 117973 SOS 30896 HAS SOPS 30896 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16061.896
AT ITER 1905 NEW BEST:: SOT 117958 SOS 30887 HAS SOPS 30887 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16052.887
AT ITER 1910 NEW BEST:: SOT 117958 SOS 30883 HAS SOPS 30883 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16048.883
AT ITER 1943 NEW BEST:: SOT 117928 SOS 30852 HAS SOPS 30852 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16017.852
AT ITER 2037 NEW BEST:: SOT 117913 SOS 30929 HAS SOPS 30929 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15985.929
AT ITER 2140 NEW BEST:: SOT 117913 SOS 30902 HAS SOPS 30902 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15983.902
AT ITER 2160 NEW BEST:: SOT 117717 SOS 32365 HAS SOPS 32365 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15816.365
AT ITER 2173 NEW BEST:: SOT 117616 SOS 32223 HAS SOPS 32223 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15642.223
AT ITER 2211 NEW BEST:: SOT 117615 SOS 32222 HAS SOPS 32222 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15640.222
AT ITER 2214 NEW BEST:: SOT 117601 SOS 32207 HAS SOPS 32207 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15625.207
AT ITER 2230 NEW BEST:: SOT 117598 SOS 32204 HAS SOPS 32204 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15619.204
AT ITER 2255 NEW BEST:: SOT 117598 SOS 32203 HAS SOPS 32203 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15618.203
AT ITER 2256 NEW BEST:: SOT 117602 SOS 32217 HAS SOPS 32217 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15604.217
AT ITER 2306 NEW BEST:: SOT 117566 SOS 33244 HAS SOPS 33244 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15535.244
AT ITER 2310 NEW BEST:: SOT 117555 SOS 33248 HAS SOPS 33248 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15524.248
AT ITER 2320 NEW BEST:: SOT 117554 SOS 33247 HAS SOPS 33247 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15522.247
AT ITER 2321 NEW BEST:: SOT 117546 SOS 33239 HAS SOPS 33239 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15513.239
AT ITER 2326 NEW BEST:: SOT 117534 SOS 33227 HAS SOPS 33227 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15489.227
AT ITER 2344 NEW BEST:: SOT 117525 SOS 33220 HAS SOPS 33220 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15480.22
AT ITER 2424 NEW BEST:: SOT 117444 SOS 33139 HAS SOPS 33139 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15318.139
AT ITER 2452 NEW BEST:: SOT 117443 SOS 33138 HAS SOPS 33138 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15316.138
AT ITER 2461 NEW BEST:: SOT 117332 SOS 33027 HAS SOPS 33027 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15094.027
AT ITER 2462 NEW BEST:: SOT 117331 SOS 32966 HAS SOPS 32966 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15091.966
AT ITER 2504 NEW BEST:: SOT 115808 SOS 43078 HAS SOPS 43078 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14070.078
AT ITER 2513 NEW BEST:: SOT 115807 SOS 43077 HAS SOPS 43077 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14068.077
AT ITER 2688 NEW BEST:: SOT 115771 SOS 39736 HAS SOPS 39736 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14028.736
AT ITER 2754 NEW BEST:: SOT 115763 SOS 39735 HAS SOPS 39735 HAS SOUS 13988 HAS SOUPS 13988 WITH SCORE 14027.735
AT ITER 2808 NEW BEST:: SOT 115757 SOS 39734 HAS SOPS 39734 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14026.734
AT ITER 2814 NEW BEST:: SOT 115753 SOS 39730 HAS SOPS 39730 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 14022.73
AT ITER 2816 NEW BEST:: SOT 115752 SOS 39729 HAS SOPS 39729 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14020.729
AT ITER 2842 NEW BEST:: SOT 115689 SOS 39666 HAS SOPS 39666 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 14019.666
AT ITER 2857 NEW BEST:: SOT 115606 SOS 39586 HAS SOPS 39586 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13967.586
AT ITER 2865 NEW BEST:: SOT 115592 SOS 39572 HAS SOPS 39572 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13939.572
AT ITER 2872 NEW BEST:: SOT 115500 SOS 39480 HAS SOPS 39480 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13755.48
AT ITER 2880 NEW BEST:: SOT 115469 SOS 39467 HAS SOPS 39467 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13709.467
AT ITER 2888 NEW BEST:: SOT 115452 SOS 39450 HAS SOPS 39450 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13692.45
AT ITER 2891 NEW BEST:: SOT 115455 SOS 39434 HAS SOPS 39434 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13676.434
AT ITER 2945 NEW BEST:: SOT 115451 SOS 39430 HAS SOPS 39430 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13672.43
AT ITER 2992 NEW BEST:: SOT 115459 SOS 31483 HAS SOPS 31483 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13605.483
AT ITER 3052 NEW BEST:: SOT 115459 SOS 31477 HAS SOPS 31477 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13599.477
AT ITER 3056 NEW BEST:: SOT 115429 SOS 31447 HAS SOPS 31447 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13539.447
AT ITER 3066 NEW BEST:: SOT 115420 SOS 31438 HAS SOPS 31438 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13521.438
AT ITER 3080 NEW BEST:: SOT 115420 SOS 31491 HAS SOPS 31491 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13513.491
AT ITER 3088 NEW BEST:: SOT 115420 SOS 31478 HAS SOPS 31478 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13500.478
AT ITER 3097 NEW BEST:: SOT 115384 SOS 31423 HAS SOPS 31423 HAS SOUS 13397 HAS SOUPS 13397 WITH SCORE 13428.423
AT ITER 3155 NEW BEST:: SOT 115367 SOS 31406 HAS SOPS 31406 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13377.406
AT ITER 3160 NEW BEST:: SOT 115352 SOS 31396 HAS SOPS 31396 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13367.396
AT ITER 3176 NEW BEST:: SOT 115335 SOS 31379 HAS SOPS 31379 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13333.379
AT ITER 3198 NEW BEST:: SOT 115320 SOS 31359 HAS SOPS 31359 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13317.359
AT ITER 3205 NEW BEST:: SOT 115312 SOS 31350 HAS SOPS 31350 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13308.35
AT ITER 3210 NEW BEST:: SOT 115265 SOS 31354 HAS SOPS 31354 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13273.354
AT ITER 3262 NEW BEST:: SOT 115255 SOS 31334 HAS SOPS 31334 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13224.334
AT ITER 3269 NEW BEST:: SOT 115254 SOS 31333 HAS SOPS 31333 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13222.333
AT ITER 3286 NEW BEST:: SOT 115235 SOS 31330 HAS SOPS 31330 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13204.33
AT ITER 3380 NEW BEST:: SOT 115235 SOS 31318 HAS SOPS 31318 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13192.318
AT ITER 3424 NEW BEST:: SOT 115205 SOS 31250 HAS SOPS 31250 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13130.25
AT ITER 3442 NEW BEST:: SOT 115197 SOS 31242 HAS SOPS 31242 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13117.242
AT ITER 3511 NEW BEST:: SOT 115197 SOS 31241 HAS SOPS 31241 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13116.241
AT ITER 3514 NEW BEST:: SOT 115217 SOS 31319 HAS SOPS 31319 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13101.319
AT ITER 3524 NEW BEST:: SOT 115227 SOS 31315 HAS SOPS 31315 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13097.315
AT ITER 3536 NEW BEST:: SOT 115218 SOS 31306 HAS SOPS 31306 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13088.306
AT ITER 3581 NEW BEST:: SOT 115239 SOS 31280 HAS SOPS 31280 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13060.28
AT ITER 3641 NEW BEST:: SOT 115237 SOS 31278 HAS SOPS 31278 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13056.278
AT ITER 3662 NEW BEST:: SOT 115236 SOS 31277 HAS SOPS 31277 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13054.277
AT ITER 3695 NEW BEST:: SOT 115227 SOS 31268 HAS SOPS 31268 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13036.268
AT ITER 3756 NEW BEST:: SOT 115213 SOS 31254 HAS SOPS 31254 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 13008.254
AT ITER 3778 NEW BEST:: SOT 115212 SOS 31253 HAS SOPS 31253 HAS SOUS 12975 HAS SOUPS 12975 WITH SCORE 13006.253
AT ITER 3798 NEW BEST:: SOT 115211 SOS 31252 HAS SOPS 31252 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 13004.252
AT ITER 3864 NEW BEST:: SOT 115142 SOS 31166 HAS SOPS 31166 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12941.166
AT ITER 3865 NEW BEST:: SOT 115128 SOS 31101 HAS SOPS 31101 HAS SOUS 12896 HAS SOUPS 12896 WITH SCORE 12927.101
AT ITER 3884 NEW BEST:: SOT 115153 SOS 31126 HAS SOPS 31126 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12918.126
AT ITER 3899 NEW BEST:: SOT 115131 SOS 31125 HAS SOPS 31125 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12911.125
AT ITER 3914 NEW BEST:: SOT 115118 SOS 31104 HAS SOPS 31104 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12883.104
AT ITER 3918 NEW BEST:: SOT 115114 SOS 31102 HAS SOPS 31102 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12881.102
AT ITER 3948 NEW BEST:: SOT 115108 SOS 31096 HAS SOPS 31096 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12869.096
AT ITER 4051 NEW BEST:: SOT 115111 SOS 31091 HAS SOPS 31091 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12864.091
AT ITER 4053 NEW BEST:: SOT 115111 SOS 31098 HAS SOPS 31098 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12855.098
AT ITER 4213 NEW BEST:: SOT 115048 SOS 30972 HAS SOPS 30972 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12790.972
AT ITER 4261 NEW BEST:: SOT 115040 SOS 30962 HAS SOPS 30962 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12780.962
AT ITER 4372 NEW BEST:: SOT 115038 SOS 30960 HAS SOPS 30960 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12778.96
AT ITER 4386 NEW BEST:: SOT 115025 SOS 30934 HAS SOPS 30934 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12757.934
AT ITER 4502 NEW BEST:: SOT 115024 SOS 30925 HAS SOPS 30925 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12755.925
AT ITER 4513 NEW BEST:: SOT 115020 SOS 30921 HAS SOPS 30921 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12747.921
AT ITER 4538 NEW BEST:: SOT 115019 SOS 30072 HAS SOPS 30072 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12747.072
AT ITER 4563 NEW BEST:: SOT 114974 SOS 29991 HAS SOPS 29991 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12666.991
AT ITER 4571 NEW BEST:: SOT 114974 SOS 29990 HAS SOPS 29990 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12665.99
AT ITER 4643 NEW BEST:: SOT 114927 SOS 31480 HAS SOPS 31480 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12664.48
AT ITER 4655 NEW BEST:: SOT 114922 SOS 31469 HAS SOPS 31469 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12653.469
AT ITER 4676 NEW BEST:: SOT 114918 SOS 31465 HAS SOPS 31465 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12645.465
AT ITER 4688 NEW BEST:: SOT 114917 SOS 31464 HAS SOPS 31464 HAS SOUS 12612 HAS SOUPS 12612 WITH SCORE 12643.464
AT ITER 4732 NEW BEST:: SOT 114916 SOS 31463 HAS SOPS 31463 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12641.463
AT ITER 4767 NEW BEST:: SOT 114913 SOS 31460 HAS SOPS 31460 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12635.46
AT ITER 4793 NEW BEST:: SOT 114908 SOS 31455 HAS SOPS 31455 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12630.455
AT ITER 4811 NEW BEST:: SOT 114908 SOS 31452 HAS SOPS 31452 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12627.452
AT ITER 4826 NEW BEST:: SOT 114887 SOS 31431 HAS SOPS 31431 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12585.431
AT ITER 4847 NEW BEST:: SOT 114886 SOS 31430 HAS SOPS 31430 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12583.43
AT ITER 4880 NEW BEST:: SOT 114885 SOS 31430 HAS SOPS 31430 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12582.43
AT ITER 4893 NEW BEST:: SOT 114878 SOS 31423 HAS SOPS 31423 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12568.423
AT ITER 4907 NEW BEST:: SOT 114876 SOS 31421 HAS SOPS 31421 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12564.421
AT ITER 4925 NEW BEST:: SOT 114876 SOS 31417 HAS SOPS 31417 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12564.417
AT ITER 4935 NEW BEST:: SOT 114869 SOS 31449 HAS SOPS 31449 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12549.449
AT ITER 4987 NEW BEST:: SOT 114837 SOS 31341 HAS SOPS 31341 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12485.341
AT ITER 4988 NEW BEST:: SOT 114830 SOS 31318 HAS SOPS 31318 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12472.318
AT ITER 4997 NEW BEST:: SOT 114829 SOS 31317 HAS SOPS 31317 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12470.317
AT ITER 5025 NEW BEST:: SOT 114780 SOS 31267 HAS SOPS 31267 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12420.267
AT ITER 5104 NEW BEST:: SOT 114773 SOS 31260 HAS SOPS 31260 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12406.26
AT ITER 5106 NEW BEST:: SOT 114772 SOS 31258 HAS SOPS 31258 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12406.258
AT ITER 5185 NEW BEST:: SOT 114769 SOS 31256 HAS SOPS 31256 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12404.256
AT ITER 5296 NEW BEST:: SOT 114757 SOS 31244 HAS SOPS 31244 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12380.244
AT ITER 5301 NEW BEST:: SOT 114757 SOS 31229 HAS SOPS 31229 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12365.229
AT ITER 5335 NEW BEST:: SOT 114757 SOS 31226 HAS SOPS 31226 HAS SOUS 12331 HAS SOUPS 12331 WITH SCORE 12362.226
AT ITER 5344 NEW BEST:: SOT 114756 SOS 31225 HAS SOPS 31225 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12361.225
AT ITER 5355 NEW BEST:: SOT 114721 SOS 30846 HAS SOPS 30846 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12342.846
AT ITER 5360 NEW BEST:: SOT 114721 SOS 30843 HAS SOPS 30843 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12339.843
AT ITER 5430 NEW BEST:: SOT 114711 SOS 30833 HAS SOPS 30833 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12329.833
AT ITER 5508 NEW BEST:: SOT 114694 SOS 30799 HAS SOPS 30799 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12306.799
AT ITER 5524 NEW BEST:: SOT 114689 SOS 30850 HAS SOPS 30850 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12301.85
AT ITER 5577 NEW BEST:: SOT 114687 SOS 30848 HAS SOPS 30848 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12297.848
AT ITER 5585 NEW BEST:: SOT 114698 SOS 30863 HAS SOPS 30863 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12279.863
AT ITER 5592 NEW BEST:: SOT 114699 SOS 30864 HAS SOPS 30864 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12254.864
AT ITER 5613 NEW BEST:: SOT 114655 SOS 30820 HAS SOPS 30820 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12166.82
AT ITER 5627 NEW BEST:: SOT 114654 SOS 30818 HAS SOPS 30818 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12164.818
AT ITER 5639 NEW BEST:: SOT 114650 SOS 30814 HAS SOPS 30814 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12160.814
AT ITER 5646 NEW BEST:: SOT 114636 SOS 30800 HAS SOPS 30800 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12132.8
AT ITER 5648 NEW BEST:: SOT 114629 SOS 30793 HAS SOPS 30793 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12118.793
AT ITER 5798 NEW BEST:: SOT 114626 SOS 30790 HAS SOPS 30790 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12081.79
AT ITER 5819 NEW BEST:: SOT 114625 SOS 30789 HAS SOPS 30789 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12079.789
AT ITER 5820 NEW BEST:: SOT 114629 SOS 30772 HAS SOPS 30772 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12062.772
AT ITER 5830 NEW BEST:: SOT 114617 SOS 30772 HAS SOPS 30772 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12048.772
AT ITER 5865 NEW BEST:: SOT 114548 SOS 30575 HAS SOPS 30575 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11969.575
AT ITER 5918 NEW BEST:: SOT 114545 SOS 30566 HAS SOPS 30566 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11963.566
AT ITER 5949 NEW BEST:: SOT 114501 SOS 30522 HAS SOPS 30522 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11868.522
AT ITER 6004 NEW BEST:: SOT 114500 SOS 30521 HAS SOPS 30521 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11866.521
AT ITER 6007 NEW BEST:: SOT 114499 SOS 30520 HAS SOPS 30520 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11864.52
AT ITER 6158 NEW BEST:: SOT 114495 SOS 30512 HAS SOPS 30512 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11860.512
AT ITER 6166 NEW BEST:: SOT 114495 SOS 30531 HAS SOPS 30531 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11857.531
AT ITER 6170 NEW BEST:: SOT 114494 SOS 30530 HAS SOPS 30530 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11855.53
AT ITER 6192 NEW BEST:: SOT 114440 SOS 32441 HAS SOPS 32441 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11807.441
AT ITER 6196 NEW BEST:: SOT 114436 SOS 32437 HAS SOPS 32437 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11799.437
AT ITER 6219 NEW BEST:: SOT 114435 SOS 32436 HAS SOPS 32436 HAS SOUS 11765 HAS SOUPS 11765 WITH SCORE 11797.436
AT ITER 6315 NEW BEST:: SOT 114416 SOS 32433 HAS SOPS 32433 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11794.433
AT ITER 6377 NEW BEST:: SOT 114414 SOS 32431 HAS SOPS 32431 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11763.431
AT ITER 6423 NEW BEST:: SOT 114398 SOS 32415 HAS SOPS 32415 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11731.415
AT ITER 6466 NEW BEST:: SOT 114331 SOS 32412 HAS SOPS 32412 HAS SOUS 11663 HAS SOUPS 11663 WITH SCORE 11695.412
AT ITER 6467 NEW BEST:: SOT 114320 SOS 32401 HAS SOPS 32401 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11673.401
AT ITER 6537 NEW BEST:: SOT 114272 SOS 32356 HAS SOPS 32356 HAS SOUS 11617 HAS SOUPS 11617 WITH SCORE 11649.356
AT ITER 6604 NEW BEST:: SOT 114272 SOS 32349 HAS SOPS 32349 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11642.349
AT ITER 6614 NEW BEST:: SOT 114270 SOS 32348 HAS SOPS 32348 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11641.348
AT ITER 6617 NEW BEST:: SOT 114304 SOS 32352 HAS SOPS 32352 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11639.352
AT ITER 6658 NEW BEST:: SOT 114304 SOS 32351 HAS SOPS 32351 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11638.351
AT ITER 6670 NEW BEST:: SOT 114304 SOS 32335 HAS SOPS 32335 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11622.335
AT ITER 6789 NEW BEST:: SOT 114300 SOS 32331 HAS SOPS 32331 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11610.331
AT ITER 6791 NEW BEST:: SOT 114299 SOS 32330 HAS SOPS 32330 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11608.33
AT ITER 6849 NEW BEST:: SOT 114296 SOS 32324 HAS SOPS 32324 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11605.324
AT ITER 6875 NEW BEST:: SOT 114278 SOS 32306 HAS SOPS 32306 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11596.306
AT ITER 6883 NEW BEST:: SOT 114276 SOS 32291 HAS SOPS 32291 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11581.291
AT ITER 6920 NEW BEST:: SOT 114276 SOS 32277 HAS SOPS 32277 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11567.277
AT ITER 7026 NEW BEST:: SOT 114261 SOS 32262 HAS SOPS 32262 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11537.262
AT ITER 7050 NEW BEST:: SOT 114245 SOS 32305 HAS SOPS 32305 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11530.305
AT ITER 7068 NEW BEST:: SOT 114244 SOS 32304 HAS SOPS 32304 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11528.304
AT ITER 7108 NEW BEST:: SOT 114224 SOS 32284 HAS SOPS 32284 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11488.284
AT ITER 7140 NEW BEST:: SOT 114223 SOS 32283 HAS SOPS 32283 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11486.283
AT ITER 7155 NEW BEST:: SOT 114223 SOS 32283 HAS SOPS 32283 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11478.283
AT ITER 7232 NEW BEST:: SOT 114246 SOS 32216 HAS SOPS 32216 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11469.216
AT ITER 7261 NEW BEST:: SOT 114229 SOS 32214 HAS SOPS 32214 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11467.214
AT ITER 7391 NEW BEST:: SOT 114240 SOS 32209 HAS SOPS 32209 HAS SOUS 11430 HAS SOUPS 11430 WITH SCORE 11462.209
AT ITER 7401 NEW BEST:: SOT 114225 SOS 32180 HAS SOPS 32180 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11455.18
AT ITER 7516 NEW BEST:: SOT 114225 SOS 32175 HAS SOPS 32175 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11451.175
AT ITER 7545 NEW BEST:: SOT 114218 SOS 32168 HAS SOPS 32168 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11437.168
AT ITER 7554 NEW BEST:: SOT 114218 SOS 32162 HAS SOPS 32162 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11434.162
AT ITER 7635 NEW BEST:: SOT 114217 SOS 32161 HAS SOPS 32161 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11432.161
AT ITER 7687 NEW BEST:: SOT 114217 SOS 32160 HAS SOPS 32160 HAS SOUS 11399 HAS SOUPS 11399 WITH SCORE 11431.16
AT ITER 7694 NEW BEST:: SOT 114215 SOS 32145 HAS SOPS 32145 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11416.145
AT ITER 7732 NEW BEST:: SOT 114208 SOS 32144 HAS SOPS 32144 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11415.144
AT ITER 7745 NEW BEST:: SOT 114177 SOS 32052 HAS SOPS 32052 HAS SOUS 11363 HAS SOUPS 11363 WITH SCORE 11395.052
AT ITER 7756 NEW BEST:: SOT 114160 SOS 32049 HAS SOPS 32049 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11393.049
AT ITER 7858 NEW BEST:: SOT 114135 SOS 32012 HAS SOPS 32012 HAS SOUS 11324 HAS SOUPS 11324 WITH SCORE 11356.012
AT ITER 7877 NEW BEST:: SOT 114134 SOS 32007 HAS SOPS 32007 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11354.007
AT ITER 7885 NEW BEST:: SOT 114131 SOS 32001 HAS SOPS 32001 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11351.001
AT ITER 7899 NEW BEST:: SOT 114118 SOS 31975 HAS SOPS 31975 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11324.975
AT ITER 7901 NEW BEST:: SOT 114118 SOS 31971 HAS SOPS 31971 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11322.971
AT ITER 7922 NEW BEST:: SOT 114107 SOS 31960 HAS SOPS 31960 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11311.96
AT ITER 7953 NEW BEST:: SOT 114098 SOS 31992 HAS SOPS 31992 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11302.992
AT ITER 8025 NEW BEST:: SOT 114084 SOS 31978 HAS SOPS 31978 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11274.978
AT ITER 8043 NEW BEST:: SOT 114079 SOS 31910 HAS SOPS 31910 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11262.91
AT ITER 8071 NEW BEST:: SOT 114075 SOS 31902 HAS SOPS 31902 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11258.902
AT ITER 8151 NEW BEST:: SOT 114075 SOS 31898 HAS SOPS 31898 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11258.898
AT ITER 8156 NEW BEST:: SOT 114074 SOS 31849 HAS SOPS 31849 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11256.849
AT ITER 8160 NEW BEST:: SOT 114055 SOS 31854 HAS SOPS 31854 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11220.854
AT ITER 8193 NEW BEST:: SOT 114045 SOS 32304 HAS SOPS 32304 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11211.304
AT ITER 8201 NEW BEST:: SOT 113955 SOS 32178 HAS SOPS 32178 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11093.178
AT ITER 8315 NEW BEST:: SOT 113955 SOS 32166 HAS SOPS 32166 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11081.166
AT ITER 8334 NEW BEST:: SOT 113939 SOS 32150 HAS SOPS 32150 HAS SOUS 11017 HAS SOUPS 11017 WITH SCORE 11049.15
AT ITER 8339 NEW BEST:: SOT 113938 SOS 32149 HAS SOPS 32149 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11047.149
AT ITER 8341 NEW BEST:: SOT 113936 SOS 32147 HAS SOPS 32147 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11043.147
AT ITER 8351 NEW BEST:: SOT 113935 SOS 32146 HAS SOPS 32146 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11041.146
AT ITER 8461 NEW BEST:: SOT 113935 SOS 32145 HAS SOPS 32145 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11040.145
AT ITER 8509 NEW BEST:: SOT 113932 SOS 32139 HAS SOPS 32139 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11037.139
AT ITER 8590 NEW BEST:: SOT 113888 SOS 32134 HAS SOPS 32134 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10999.134
AT ITER 8614 NEW BEST:: SOT 113882 SOS 32128 HAS SOPS 32128 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10993.128
AT ITER 8645 NEW BEST:: SOT 113860 SOS 32131 HAS SOPS 32131 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10991.131
AT ITER 8703 NEW BEST:: SOT 113859 SOS 32130 HAS SOPS 32130 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10989.13
AT ITER 8733 NEW BEST:: SOT 113852 SOS 32123 HAS SOPS 32123 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10975.123
AT ITER 8789 NEW BEST:: SOT 113849 SOS 32123 HAS SOPS 32123 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10972.123
AT ITER 8802 NEW BEST:: SOT 113853 SOS 32096 HAS SOPS 32096 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10953.096
AT ITER 8818 NEW BEST:: SOT 113850 SOS 32093 HAS SOPS 32093 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10947.093
AT ITER 9005 NEW BEST:: SOT 113821 SOS 32031 HAS SOPS 32031 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10902.031
AT ITER 9047 NEW BEST:: SOT 113820 SOS 32030 HAS SOPS 32030 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10900.03
AT ITER 9064 NEW BEST:: SOT 113815 SOS 31966 HAS SOPS 31966 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10894.966
AT ITER 9069 NEW BEST:: SOT 113812 SOS 31946 HAS SOPS 31946 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10883.946
AT ITER 9080 NEW BEST:: SOT 113810 SOS 31942 HAS SOPS 31942 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10881.942
AT ITER 9084 NEW BEST:: SOT 113804 SOS 31936 HAS SOPS 31936 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10857.936
AT ITER 9095 NEW BEST:: SOT 113772 SOS 31874 HAS SOPS 31874 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10840.874
AT ITER 9215 NEW BEST:: SOT 113765 SOS 31867 HAS SOPS 31867 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10840.867
AT ITER 9232 NEW BEST:: SOT 113763 SOS 31858 HAS SOPS 31858 HAS SOUS 10800 HAS SOUPS 10800 WITH SCORE 10831.858
AT ITER 9290 NEW BEST:: SOT 113765 SOS 31862 HAS SOPS 31862 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10824.862
AT ITER 9296 NEW BEST:: SOT 113756 SOS 31826 HAS SOPS 31826 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10806.826
AT ITER 9309 NEW BEST:: SOT 113758 SOS 31812 HAS SOPS 31812 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10792.812
AT ITER 9312 NEW BEST:: SOT 113752 SOS 31524 HAS SOPS 31524 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10780.524
AT ITER 9334 NEW BEST:: SOT 113785 SOS 31435 HAS SOPS 31435 HAS SOUS 10734 HAS SOUPS 10734 WITH SCORE 10765.435
AT ITER 9435 NEW BEST:: SOT 113770 SOS 31420 HAS SOPS 31420 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10720.42
AT ITER 9455 NEW BEST:: SOT 113769 SOS 31419 HAS SOPS 31419 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10718.419
AT ITER 9461 NEW BEST:: SOT 113769 SOS 31709 HAS SOPS 31709 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10714.709
AT ITER 9482 NEW BEST:: SOT 113764 SOS 31704 HAS SOPS 31704 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10709.704
AT ITER 9513 NEW BEST:: SOT 113761 SOS 31697 HAS SOPS 31697 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10706.697
AT ITER 9524 NEW BEST:: SOT 113755 SOS 31691 HAS SOPS 31691 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10694.691
AT ITER 9531 NEW BEST:: SOT 113758 SOS 31697 HAS SOPS 31697 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10692.697
AT ITER 9577 NEW BEST:: SOT 113789 SOS 31633 HAS SOPS 31633 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10654.633
AT ITER 9657 NEW BEST:: SOT 113789 SOS 31629 HAS SOPS 31629 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10654.629
AT ITER 9673 NEW BEST:: SOT 113779 SOS 31617 HAS SOPS 31617 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10652.617
AT ITER 9708 NEW BEST:: SOT 113775 SOS 31609 HAS SOPS 31609 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10644.609
AT ITER 9710 NEW BEST:: SOT 113774 SOS 31608 HAS SOPS 31608 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10642.608
AT ITER 9721 NEW BEST:: SOT 113774 SOS 31603 HAS SOPS 31603 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10637.603
AT ITER 9753 NEW BEST:: SOT 113772 SOS 31599 HAS SOPS 31599 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10635.599
AT ITER 9755 NEW BEST:: SOT 113772 SOS 31598 HAS SOPS 31598 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10634.598
AT ITER 9783 NEW BEST:: SOT 113771 SOS 31616 HAS SOPS 31616 HAS SOUS 10597 HAS SOUPS 10597 WITH SCORE 10628.616
AT ITER 9806 NEW BEST:: SOT 113751 SOS 31587 HAS SOPS 31587 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10591.587
AT ITER 9903 NEW BEST:: SOT 113747 SOS 31571 HAS SOPS 31571 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10574.571
AT ITER 9941 NEW BEST:: SOT 113746 SOS 31570 HAS SOPS 31570 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10572.57
AT ITER 9965 NEW BEST:: SOT 113746 SOS 31545 HAS SOPS 31545 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10559.545
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6812320 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154940 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="DES-PT-50b"
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 DES-PT-50b, 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 r099-tall-167814472500488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-50b.tgz
mv DES-PT-50b 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 ;