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.r195-smll-167840341900096.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 GPUForwardProgress-PT-24b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 122K 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 1678447961158

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=GPUForwardProgress-PT-24b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 24b
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: 492 places, 517 transitions, 1277 arcs.
AT ITER 0 NEW BEST:: SOT 143458 SOS 39634 HAS SOPS 39634 HAS SOUS 36093 HAS SOUPS 36093 WITH SCORE 36132.634
AT ITER 17 NEW BEST:: SOT 143413 SOS 39589 HAS SOPS 39589 HAS SOUS 36093 HAS SOUPS 36093 WITH SCORE 36132.589
AT ITER 18 NEW BEST:: SOT 143445 SOS 39471 HAS SOPS 39471 HAS SOUS 36053 HAS SOUPS 36053 WITH SCORE 36092.471
AT ITER 36 NEW BEST:: SOT 143445 SOS 39435 HAS SOPS 39435 HAS SOUS 36053 HAS SOUPS 36053 WITH SCORE 36092.435
AT ITER 52 NEW BEST:: SOT 143374 SOS 39351 HAS SOPS 39351 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36021.351
AT ITER 55 NEW BEST:: SOT 143362 SOS 39327 HAS SOPS 39327 HAS SOUS 35970 HAS SOUPS 35970 WITH SCORE 36009.327
AT ITER 68 NEW BEST:: SOT 143362 SOS 39327 HAS SOPS 39327 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36008.327
AT ITER 77 NEW BEST:: SOT 143358 SOS 39352 HAS SOPS 39352 HAS SOUS 35964 HAS SOUPS 35964 WITH SCORE 36003.352
AT ITER 82 NEW BEST:: SOT 143358 SOS 39327 HAS SOPS 39327 HAS SOUS 35962 HAS SOUPS 35962 WITH SCORE 36001.327
AT ITER 86 NEW BEST:: SOT 143345 SOS 39301 HAS SOPS 39301 HAS SOUS 35936 HAS SOUPS 35936 WITH SCORE 35975.301
AT ITER 101 NEW BEST:: SOT 143344 SOS 39300 HAS SOPS 39300 HAS SOUS 35935 HAS SOUPS 35935 WITH SCORE 35974.3
AT ITER 109 NEW BEST:: SOT 143266 SOS 39241 HAS SOPS 39241 HAS SOUS 35873 HAS SOUPS 35873 WITH SCORE 35912.241
AT ITER 111 NEW BEST:: SOT 143266 SOS 39241 HAS SOPS 39241 HAS SOUS 35872 HAS SOUPS 35872 WITH SCORE 35911.241
AT ITER 142 NEW BEST:: SOT 143266 SOS 39165 HAS SOPS 39165 HAS SOUS 35872 HAS SOUPS 35872 WITH SCORE 35911.165
AT ITER 164 NEW BEST:: SOT 143266 SOS 39133 HAS SOPS 39133 HAS SOUS 35840 HAS SOUPS 35840 WITH SCORE 35879.133
AT ITER 168 NEW BEST:: SOT 143266 SOS 39133 HAS SOPS 39133 HAS SOUS 35839 HAS SOUPS 35839 WITH SCORE 35878.133
AT ITER 171 NEW BEST:: SOT 143266 SOS 39069 HAS SOPS 39069 HAS SOUS 35839 HAS SOUPS 35839 WITH SCORE 35878.069
AT ITER 186 NEW BEST:: SOT 143195 SOS 38999 HAS SOPS 38999 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35814.999
AT ITER 192 NEW BEST:: SOT 143135 SOS 38935 HAS SOPS 38935 HAS SOUS 35716 HAS SOUPS 35716 WITH SCORE 35754.935
AT ITER 213 NEW BEST:: SOT 143110 SOS 38899 HAS SOPS 38899 HAS SOUS 35691 HAS SOUPS 35691 WITH SCORE 35729.899
AT ITER 227 NEW BEST:: SOT 143104 SOS 38887 HAS SOPS 38887 HAS SOUS 35679 HAS SOUPS 35679 WITH SCORE 35717.887
AT ITER 230 NEW BEST:: SOT 143104 SOS 38850 HAS SOPS 38850 HAS SOUS 35679 HAS SOUPS 35679 WITH SCORE 35717.85
AT ITER 233 NEW BEST:: SOT 143041 SOS 38787 HAS SOPS 38787 HAS SOUS 35616 HAS SOUPS 35616 WITH SCORE 35654.787
AT ITER 234 NEW BEST:: SOT 143041 SOS 38753 HAS SOPS 38753 HAS SOUS 35582 HAS SOUPS 35582 WITH SCORE 35620.753
AT ITER 236 NEW BEST:: SOT 143039 SOS 38749 HAS SOPS 38749 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35616.749
AT ITER 252 NEW BEST:: SOT 143049 SOS 38723 HAS SOPS 38723 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35616.723
AT ITER 277 NEW BEST:: SOT 143049 SOS 38643 HAS SOPS 38643 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35576.643
AT ITER 303 NEW BEST:: SOT 143036 SOS 38640 HAS SOPS 38640 HAS SOUS 35535 HAS SOUPS 35535 WITH SCORE 35573.64
AT ITER 306 NEW BEST:: SOT 143036 SOS 38640 HAS SOPS 38640 HAS SOUS 35504 HAS SOUPS 35504 WITH SCORE 35542.64
AT ITER 310 NEW BEST:: SOT 143036 SOS 38639 HAS SOPS 38639 HAS SOUS 35464 HAS SOUPS 35464 WITH SCORE 35502.639
AT ITER 343 NEW BEST:: SOT 143032 SOS 38536 HAS SOPS 38536 HAS SOUS 35424 HAS SOUPS 35424 WITH SCORE 35462.536
AT ITER 346 NEW BEST:: SOT 143032 SOS 38514 HAS SOPS 38514 HAS SOUS 35413 HAS SOUPS 35413 WITH SCORE 35451.514
AT ITER 355 NEW BEST:: SOT 143002 SOS 38496 HAS SOPS 38496 HAS SOUS 35401 HAS SOUPS 35401 WITH SCORE 35439.496
AT ITER 372 NEW BEST:: SOT 142916 SOS 38410 HAS SOPS 38410 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35353.41
AT ITER 377 NEW BEST:: SOT 142916 SOS 38395 HAS SOPS 38395 HAS SOUS 35300 HAS SOUPS 35300 WITH SCORE 35338.395
AT ITER 378 NEW BEST:: SOT 142916 SOS 38395 HAS SOPS 38395 HAS SOUS 35298 HAS SOUPS 35298 WITH SCORE 35336.395
AT ITER 392 NEW BEST:: SOT 142904 SOS 38381 HAS SOPS 38381 HAS SOUS 35284 HAS SOUPS 35284 WITH SCORE 35322.381
AT ITER 395 NEW BEST:: SOT 142894 SOS 38362 HAS SOPS 38362 HAS SOUS 35264 HAS SOUPS 35264 WITH SCORE 35302.362
AT ITER 430 NEW BEST:: SOT 142894 SOS 38321 HAS SOPS 38321 HAS SOUS 35223 HAS SOUPS 35223 WITH SCORE 35261.321
AT ITER 469 NEW BEST:: SOT 142856 SOS 38245 HAS SOPS 38245 HAS SOUS 35147 HAS SOUPS 35147 WITH SCORE 35185.245
AT ITER 474 NEW BEST:: SOT 142856 SOS 38195 HAS SOPS 38195 HAS SOUS 35097 HAS SOUPS 35097 WITH SCORE 35135.195
AT ITER 480 NEW BEST:: SOT 142853 SOS 38157 HAS SOPS 38157 HAS SOUS 35078 HAS SOUPS 35078 WITH SCORE 35116.157
AT ITER 482 NEW BEST:: SOT 142856 SOS 38023 HAS SOPS 38023 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35034.023
AT ITER 489 NEW BEST:: SOT 142861 SOS 37932 HAS SOPS 37932 HAS SOUS 34951 HAS SOUPS 34951 WITH SCORE 34988.932
AT ITER 504 NEW BEST:: SOT 142861 SOS 37887 HAS SOPS 37887 HAS SOUS 34906 HAS SOUPS 34906 WITH SCORE 34943.887
AT ITER 506 NEW BEST:: SOT 142756 SOS 37802 HAS SOPS 37802 HAS SOUS 34821 HAS SOUPS 34821 WITH SCORE 34858.802
AT ITER 522 NEW BEST:: SOT 142756 SOS 37802 HAS SOPS 37802 HAS SOUS 34820 HAS SOUPS 34820 WITH SCORE 34857.802
AT ITER 550 NEW BEST:: SOT 142775 SOS 37840 HAS SOPS 37840 HAS SOUS 34801 HAS SOUPS 34801 WITH SCORE 34838.84
AT ITER 554 NEW BEST:: SOT 142774 SOS 37838 HAS SOPS 37838 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34836.838
AT ITER 556 NEW BEST:: SOT 142821 SOS 37884 HAS SOPS 37884 HAS SOUS 34749 HAS SOUPS 34749 WITH SCORE 34786.884
AT ITER 566 NEW BEST:: SOT 142834 SOS 37849 HAS SOPS 37849 HAS SOUS 34714 HAS SOUPS 34714 WITH SCORE 34751.849
AT ITER 584 NEW BEST:: SOT 142799 SOS 37779 HAS SOPS 37779 HAS SOUS 34644 HAS SOUPS 34644 WITH SCORE 34681.779
AT ITER 612 NEW BEST:: SOT 142799 SOS 39121 HAS SOPS 39121 HAS SOUS 34642 HAS SOUPS 34642 WITH SCORE 34681.121
AT ITER 616 NEW BEST:: SOT 142760 SOS 39082 HAS SOPS 39082 HAS SOUS 34603 HAS SOUPS 34603 WITH SCORE 34642.082
AT ITER 704 NEW BEST:: SOT 142760 SOS 39034 HAS SOPS 39034 HAS SOUS 34579 HAS SOUPS 34579 WITH SCORE 34618.034
AT ITER 706 NEW BEST:: SOT 142671 SOS 39024 HAS SOPS 39024 HAS SOUS 34569 HAS SOUPS 34569 WITH SCORE 34608.024
AT ITER 757 NEW BEST:: SOT 142683 SOS 38969 HAS SOPS 38969 HAS SOUS 34539 HAS SOUPS 34539 WITH SCORE 34577.969
AT ITER 762 NEW BEST:: SOT 142686 SOS 38975 HAS SOPS 38975 HAS SOUS 34449 HAS SOUPS 34449 WITH SCORE 34487.975
AT ITER 764 NEW BEST:: SOT 142586 SOS 38801 HAS SOPS 38801 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34387.801
AT ITER 777 NEW BEST:: SOT 142586 SOS 38763 HAS SOPS 38763 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34387.763
AT ITER 790 NEW BEST:: SOT 142586 SOS 38763 HAS SOPS 38763 HAS SOUS 34348 HAS SOUPS 34348 WITH SCORE 34386.763
AT ITER 844 NEW BEST:: SOT 142586 SOS 38763 HAS SOPS 38763 HAS SOUS 34325 HAS SOUPS 34325 WITH SCORE 34363.763
AT ITER 902 NEW BEST:: SOT 142586 SOS 38763 HAS SOPS 38763 HAS SOUS 34324 HAS SOUPS 34324 WITH SCORE 34362.763
AT ITER 904 NEW BEST:: SOT 142605 SOS 38758 HAS SOPS 38758 HAS SOUS 34319 HAS SOUPS 34319 WITH SCORE 34357.758
AT ITER 905 NEW BEST:: SOT 142605 SOS 38731 HAS SOPS 38731 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34330.731
AT ITER 932 NEW BEST:: SOT 142605 SOS 38702 HAS SOPS 38702 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34330.702
AT ITER 933 NEW BEST:: SOT 142521 SOS 38557 HAS SOPS 38557 HAS SOUS 34147 HAS SOUPS 34147 WITH SCORE 34185.557
AT ITER 947 NEW BEST:: SOT 142538 SOS 38758 HAS SOPS 38758 HAS SOUS 34107 HAS SOUPS 34107 WITH SCORE 34145.758
AT ITER 967 NEW BEST:: SOT 142506 SOS 38694 HAS SOPS 38694 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34081.694
AT ITER 1011 NEW BEST:: SOT 142503 SOS 38688 HAS SOPS 38688 HAS SOUS 34037 HAS SOUPS 34037 WITH SCORE 34075.688
AT ITER 1020 NEW BEST:: SOT 142503 SOS 38664 HAS SOPS 38664 HAS SOUS 34037 HAS SOUPS 34037 WITH SCORE 34075.664
AT ITER 1039 NEW BEST:: SOT 142503 SOS 38664 HAS SOPS 38664 HAS SOUS 34036 HAS SOUPS 34036 WITH SCORE 34074.664
AT ITER 1045 NEW BEST:: SOT 142520 SOS 38570 HAS SOPS 38570 HAS SOUS 33997 HAS SOUPS 33997 WITH SCORE 34035.57
AT ITER 1048 NEW BEST:: SOT 142463 SOS 38398 HAS SOPS 38398 HAS SOUS 33882 HAS SOUPS 33882 WITH SCORE 33920.398
AT ITER 1053 NEW BEST:: SOT 142451 SOS 38374 HAS SOPS 38374 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33883.374
AT ITER 1058 NEW BEST:: SOT 142457 SOS 38386 HAS SOPS 38386 HAS SOUS 33810 HAS SOUPS 33810 WITH SCORE 33848.386
AT ITER 1059 NEW BEST:: SOT 142457 SOS 38296 HAS SOPS 38296 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33786.296
AT ITER 1074 NEW BEST:: SOT 142450 SOS 38282 HAS SOPS 38282 HAS SOUS 33734 HAS SOUPS 33734 WITH SCORE 33772.282
AT ITER 1078 NEW BEST:: SOT 142482 SOS 38229 HAS SOPS 38229 HAS SOUS 33713 HAS SOUPS 33713 WITH SCORE 33751.229
AT ITER 1081 NEW BEST:: SOT 142424 SOS 38113 HAS SOPS 38113 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33700.113
AT ITER 1084 NEW BEST:: SOT 142424 SOS 38029 HAS SOPS 38029 HAS SOUS 33578 HAS SOUPS 33578 WITH SCORE 33616.029
AT ITER 1104 NEW BEST:: SOT 142410 SOS 38001 HAS SOPS 38001 HAS SOUS 33561 HAS SOUPS 33561 WITH SCORE 33599.001
AT ITER 1108 NEW BEST:: SOT 142384 SOS 37819 HAS SOPS 37819 HAS SOUS 33509 HAS SOUPS 33509 WITH SCORE 33546.819
AT ITER 1110 NEW BEST:: SOT 142340 SOS 37819 HAS SOPS 37819 HAS SOUS 33504 HAS SOUPS 33504 WITH SCORE 33541.819
AT ITER 1114 NEW BEST:: SOT 141900 SOS 45215 HAS SOPS 45215 HAS SOUS 33474 HAS SOUPS 33474 WITH SCORE 33519.215
AT ITER 1116 NEW BEST:: SOT 141900 SOS 45212 HAS SOPS 45212 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33516.212
AT ITER 1121 NEW BEST:: SOT 141945 SOS 45124 HAS SOPS 45124 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33494.124
AT ITER 1137 NEW BEST:: SOT 141945 SOS 45083 HAS SOPS 45083 HAS SOUS 33408 HAS SOUPS 33408 WITH SCORE 33453.083
AT ITER 1146 NEW BEST:: SOT 141940 SOS 45073 HAS SOPS 45073 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33432.073
AT ITER 1154 NEW BEST:: SOT 141950 SOS 44948 HAS SOPS 44948 HAS SOUS 33341 HAS SOUPS 33341 WITH SCORE 33385.948
AT ITER 1160 NEW BEST:: SOT 141920 SOS 44888 HAS SOPS 44888 HAS SOUS 33281 HAS SOUPS 33281 WITH SCORE 33325.888
AT ITER 1174 NEW BEST:: SOT 141810 SOS 37537 HAS SOPS 37537 HAS SOUS 33061 HAS SOUPS 33061 WITH SCORE 33098.537
AT ITER 1206 NEW BEST:: SOT 141778 SOS 37473 HAS SOPS 37473 HAS SOUS 33056 HAS SOUPS 33056 WITH SCORE 33093.473
AT ITER 1228 NEW BEST:: SOT 141747 SOS 37411 HAS SOPS 37411 HAS SOUS 33044 HAS SOUPS 33044 WITH SCORE 33081.411
AT ITER 1234 NEW BEST:: SOT 141747 SOS 37301 HAS SOPS 37301 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33080.301
AT ITER 1237 NEW BEST:: SOT 140663 SOS 42148 HAS SOPS 42148 HAS SOUS 32312 HAS SOUPS 32312 WITH SCORE 32354.148
AT ITER 1241 NEW BEST:: SOT 140629 SOS 42152 HAS SOPS 42152 HAS SOUS 32298 HAS SOUPS 32298 WITH SCORE 32340.152
AT ITER 1261 NEW BEST:: SOT 140599 SOS 42092 HAS SOPS 42092 HAS SOUS 32238 HAS SOUPS 32238 WITH SCORE 32280.092
AT ITER 1267 NEW BEST:: SOT 140577 SOS 42011 HAS SOPS 42011 HAS SOUS 32194 HAS SOUPS 32194 WITH SCORE 32236.011
AT ITER 1298 NEW BEST:: SOT 140567 SOS 42001 HAS SOPS 42001 HAS SOUS 32184 HAS SOUPS 32184 WITH SCORE 32226.001
AT ITER 1304 NEW BEST:: SOT 140545 SOS 41979 HAS SOPS 41979 HAS SOUS 32181 HAS SOUPS 32181 WITH SCORE 32222.979
AT ITER 1307 NEW BEST:: SOT 140540 SOS 41974 HAS SOPS 41974 HAS SOUS 32176 HAS SOUPS 32176 WITH SCORE 32217.974
AT ITER 1325 NEW BEST:: SOT 140514 SOS 41948 HAS SOPS 41948 HAS SOUS 32150 HAS SOUPS 32150 WITH SCORE 32191.948
AT ITER 1327 NEW BEST:: SOT 140504 SOS 41928 HAS SOPS 41928 HAS SOUS 32130 HAS SOUPS 32130 WITH SCORE 32171.928
AT ITER 1332 NEW BEST:: SOT 140504 SOS 41868 HAS SOPS 41868 HAS SOUS 32090 HAS SOUPS 32090 WITH SCORE 32131.868
AT ITER 1339 NEW BEST:: SOT 140454 SOS 41768 HAS SOPS 41768 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32031.768
AT ITER 1341 NEW BEST:: SOT 140454 SOS 41706 HAS SOPS 41706 HAS SOUS 31959 HAS SOUPS 31959 WITH SCORE 32000.706
AT ITER 1378 NEW BEST:: SOT 140425 SOS 41648 HAS SOPS 41648 HAS SOUS 31901 HAS SOUPS 31901 WITH SCORE 31942.648
AT ITER 1394 NEW BEST:: SOT 140421 SOS 41640 HAS SOPS 41640 HAS SOUS 31893 HAS SOUPS 31893 WITH SCORE 31934.64
AT ITER 1411 NEW BEST:: SOT 140427 SOS 41486 HAS SOPS 41486 HAS SOUS 31822 HAS SOUPS 31822 WITH SCORE 31863.486
AT ITER 1418 NEW BEST:: SOT 140399 SOS 41452 HAS SOPS 41452 HAS SOUS 31788 HAS SOUPS 31788 WITH SCORE 31829.452
AT ITER 1420 NEW BEST:: SOT 140386 SOS 41431 HAS SOPS 41431 HAS SOUS 31767 HAS SOUPS 31767 WITH SCORE 31808.431
AT ITER 1447 NEW BEST:: SOT 140386 SOS 41426 HAS SOPS 41426 HAS SOUS 31767 HAS SOUPS 31767 WITH SCORE 31808.426
AT ITER 1456 NEW BEST:: SOT 140385 SOS 41425 HAS SOPS 41425 HAS SOUS 31765 HAS SOUPS 31765 WITH SCORE 31806.425
AT ITER 1494 NEW BEST:: SOT 140375 SOS 41423 HAS SOPS 41423 HAS SOUS 31755 HAS SOUPS 31755 WITH SCORE 31796.423
AT ITER 1499 NEW BEST:: SOT 140357 SOS 41387 HAS SOPS 41387 HAS SOUS 31719 HAS SOUPS 31719 WITH SCORE 31760.387
AT ITER 1513 NEW BEST:: SOT 140357 SOS 41359 HAS SOPS 41359 HAS SOUS 31691 HAS SOUPS 31691 WITH SCORE 31732.359
AT ITER 1516 NEW BEST:: SOT 140355 SOS 41355 HAS SOPS 41355 HAS SOUS 31688 HAS SOUPS 31688 WITH SCORE 31729.355
AT ITER 1529 NEW BEST:: SOT 140342 SOS 41329 HAS SOPS 41329 HAS SOUS 31675 HAS SOUPS 31675 WITH SCORE 31716.329
AT ITER 1545 NEW BEST:: SOT 140430 SOS 41505 HAS SOPS 41505 HAS SOUS 31655 HAS SOUPS 31655 WITH SCORE 31696.505
AT ITER 1559 NEW BEST:: SOT 140428 SOS 41501 HAS SOPS 41501 HAS SOUS 31651 HAS SOUPS 31651 WITH SCORE 31692.501
AT ITER 1560 NEW BEST:: SOT 140423 SOS 41491 HAS SOPS 41491 HAS SOUS 31641 HAS SOUPS 31641 WITH SCORE 31682.491
AT ITER 1581 NEW BEST:: SOT 140405 SOS 41511 HAS SOPS 41511 HAS SOUS 31623 HAS SOUPS 31623 WITH SCORE 31664.511
AT ITER 1589 NEW BEST:: SOT 140405 SOS 41502 HAS SOPS 41502 HAS SOUS 31614 HAS SOUPS 31614 WITH SCORE 31655.502
AT ITER 1603 NEW BEST:: SOT 140378 SOS 41448 HAS SOPS 41448 HAS SOUS 31560 HAS SOUPS 31560 WITH SCORE 31601.448
AT ITER 1625 NEW BEST:: SOT 140409 SOS 41416 HAS SOPS 41416 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31600.416
AT ITER 1631 NEW BEST:: SOT 140401 SOS 41408 HAS SOPS 41408 HAS SOUS 31547 HAS SOUPS 31547 WITH SCORE 31588.408
AT ITER 1632 NEW BEST:: SOT 140385 SOS 41376 HAS SOPS 41376 HAS SOUS 31531 HAS SOUPS 31531 WITH SCORE 31572.376
AT ITER 1636 NEW BEST:: SOT 140384 SOS 41375 HAS SOPS 41375 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31570.375
AT ITER 1656 NEW BEST:: SOT 140344 SOS 41335 HAS SOPS 41335 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31490.335
AT ITER 1661 NEW BEST:: SOT 140315 SOS 41290 HAS SOPS 41290 HAS SOUS 31409 HAS SOUPS 31409 WITH SCORE 31450.29
AT ITER 1675 NEW BEST:: SOT 140246 SOS 41221 HAS SOPS 41221 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31339.221
AT ITER 1678 NEW BEST:: SOT 140241 SOS 41211 HAS SOPS 41211 HAS SOUS 31288 HAS SOUPS 31288 WITH SCORE 31329.211
AT ITER 1685 NEW BEST:: SOT 140225 SOS 41195 HAS SOPS 41195 HAS SOUS 31272 HAS SOUPS 31272 WITH SCORE 31313.195
AT ITER 1687 NEW BEST:: SOT 140191 SOS 41127 HAS SOPS 41127 HAS SOUS 31204 HAS SOUPS 31204 WITH SCORE 31245.127
AT ITER 1691 NEW BEST:: SOT 140191 SOS 41127 HAS SOPS 41127 HAS SOUS 31202 HAS SOUPS 31202 WITH SCORE 31243.127
AT ITER 1734 NEW BEST:: SOT 140111 SOS 41007 HAS SOPS 41007 HAS SOUS 31082 HAS SOUPS 31082 WITH SCORE 31123.007
AT ITER 1794 NEW BEST:: SOT 140158 SOS 40915 HAS SOPS 40915 HAS SOUS 31063 HAS SOUPS 31063 WITH SCORE 31103.915
AT ITER 1803 NEW BEST:: SOT 140220 SOS 40742 HAS SOPS 40742 HAS SOUS 31058 HAS SOUPS 31058 WITH SCORE 31098.742
AT ITER 1847 NEW BEST:: SOT 140210 SOS 40787 HAS SOPS 40787 HAS SOUS 31038 HAS SOUPS 31038 WITH SCORE 31078.787
AT ITER 1848 NEW BEST:: SOT 140187 SOS 40763 HAS SOPS 40763 HAS SOUS 31014 HAS SOUPS 31014 WITH SCORE 31054.763
AT ITER 1864 NEW BEST:: SOT 140187 SOS 40745 HAS SOPS 40745 HAS SOUS 31014 HAS SOUPS 31014 WITH SCORE 31054.745
AT ITER 1872 NEW BEST:: SOT 140187 SOS 40745 HAS SOPS 40745 HAS SOUS 31013 HAS SOUPS 31013 WITH SCORE 31053.745
AT ITER 1878 NEW BEST:: SOT 140184 SOS 40739 HAS SOPS 40739 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31047.739
AT ITER 1884 NEW BEST:: SOT 140184 SOS 40739 HAS SOPS 40739 HAS SOUS 30994 HAS SOUPS 30994 WITH SCORE 31034.739
AT ITER 1888 NEW BEST:: SOT 140184 SOS 40739 HAS SOPS 40739 HAS SOUS 30987 HAS SOUPS 30987 WITH SCORE 31027.739
AT ITER 1900 NEW BEST:: SOT 140158 SOS 40745 HAS SOPS 40745 HAS SOUS 30946 HAS SOUPS 30946 WITH SCORE 30986.745
AT ITER 1926 NEW BEST:: SOT 140166 SOS 40707 HAS SOPS 40707 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30975.707
AT ITER 1930 NEW BEST:: SOT 140128 SOS 40631 HAS SOPS 40631 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30975.631
AT ITER 1965 NEW BEST:: SOT 140099 SOS 40573 HAS SOPS 40573 HAS SOUS 30877 HAS SOUPS 30877 WITH SCORE 30917.573
AT ITER 1999 NEW BEST:: SOT 140068 SOS 40617 HAS SOPS 40617 HAS SOUS 30874 HAS SOUPS 30874 WITH SCORE 30914.617
AT ITER 2023 NEW BEST:: SOT 140065 SOS 40479 HAS SOPS 40479 HAS SOUS 30844 HAS SOUPS 30844 WITH SCORE 30884.479
AT ITER 2025 NEW BEST:: SOT 140050 SOS 40479 HAS SOPS 40479 HAS SOUS 30836 HAS SOUPS 30836 WITH SCORE 30876.479
AT ITER 2044 NEW BEST:: SOT 140040 SOS 40459 HAS SOPS 40459 HAS SOUS 30821 HAS SOUPS 30821 WITH SCORE 30861.459
AT ITER 2063 NEW BEST:: SOT 140040 SOS 40459 HAS SOPS 40459 HAS SOUS 30786 HAS SOUPS 30786 WITH SCORE 30826.459
AT ITER 2064 NEW BEST:: SOT 140012 SOS 40403 HAS SOPS 40403 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30770.403
AT ITER 2068 NEW BEST:: SOT 140012 SOS 40387 HAS SOPS 40387 HAS SOUS 30722 HAS SOUPS 30722 WITH SCORE 30762.387
AT ITER 2093 NEW BEST:: SOT 140013 SOS 40371 HAS SOPS 40371 HAS SOUS 30706 HAS SOUPS 30706 WITH SCORE 30746.371
AT ITER 2109 NEW BEST:: SOT 139964 SOS 40371 HAS SOPS 40371 HAS SOUS 30660 HAS SOUPS 30660 WITH SCORE 30700.371
AT ITER 2153 NEW BEST:: SOT 139922 SOS 40308 HAS SOPS 40308 HAS SOUS 30597 HAS SOUPS 30597 WITH SCORE 30637.308
AT ITER 2193 NEW BEST:: SOT 139941 SOS 40220 HAS SOPS 40220 HAS SOUS 30590 HAS SOUPS 30590 WITH SCORE 30630.22
AT ITER 2239 NEW BEST:: SOT 139921 SOS 40180 HAS SOPS 40180 HAS SOUS 30570 HAS SOUPS 30570 WITH SCORE 30610.18
AT ITER 2250 NEW BEST:: SOT 139921 SOS 40180 HAS SOPS 40180 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30609.18
AT ITER 2251 NEW BEST:: SOT 139833 SOS 40188 HAS SOPS 40188 HAS SOUS 30513 HAS SOUPS 30513 WITH SCORE 30553.188
AT ITER 2260 NEW BEST:: SOT 139836 SOS 40149 HAS SOPS 40149 HAS SOUS 30508 HAS SOUPS 30508 WITH SCORE 30548.149
AT ITER 2264 NEW BEST:: SOT 139808 SOS 40181 HAS SOPS 40181 HAS SOUS 30497 HAS SOUPS 30497 WITH SCORE 30537.181
AT ITER 2271 NEW BEST:: SOT 139796 SOS 40157 HAS SOPS 40157 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30513.157
AT ITER 2280 NEW BEST:: SOT 139788 SOS 40141 HAS SOPS 40141 HAS SOUS 30464 HAS SOUPS 30464 WITH SCORE 30504.141
AT ITER 2283 NEW BEST:: SOT 139774 SOS 40113 HAS SOPS 40113 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30476.113
AT ITER 2298 NEW BEST:: SOT 139787 SOS 40139 HAS SOPS 40139 HAS SOUS 30435 HAS SOUPS 30435 WITH SCORE 30475.139
AT ITER 2336 NEW BEST:: SOT 139777 SOS 40131 HAS SOPS 40131 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30467.131
AT ITER 2342 NEW BEST:: SOT 139736 SOS 40066 HAS SOPS 40066 HAS SOUS 30362 HAS SOUPS 30362 WITH SCORE 30402.066
AT ITER 2349 NEW BEST:: SOT 139744 SOS 40001 HAS SOPS 40001 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30390.001
AT ITER 2362 NEW BEST:: SOT 139744 SOS 39906 HAS SOPS 39906 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30389.906
AT ITER 2371 NEW BEST:: SOT 139853 SOS 40015 HAS SOPS 40015 HAS SOUS 30308 HAS SOUPS 30308 WITH SCORE 30348.015
AT ITER 2382 NEW BEST:: SOT 139820 SOS 39949 HAS SOPS 39949 HAS SOUS 30242 HAS SOUPS 30242 WITH SCORE 30281.949
AT ITER 2413 NEW BEST:: SOT 139773 SOS 39855 HAS SOPS 39855 HAS SOUS 30158 HAS SOUPS 30158 WITH SCORE 30197.855
AT ITER 2438 NEW BEST:: SOT 139858 SOS 39807 HAS SOPS 39807 HAS SOUS 30134 HAS SOUPS 30134 WITH SCORE 30173.807
AT ITER 2440 NEW BEST:: SOT 139857 SOS 39805 HAS SOPS 39805 HAS SOUS 30132 HAS SOUPS 30132 WITH SCORE 30171.805
AT ITER 2469 NEW BEST:: SOT 139857 SOS 39799 HAS SOPS 39799 HAS SOUS 30126 HAS SOUPS 30126 WITH SCORE 30165.799
AT ITER 2481 NEW BEST:: SOT 139856 SOS 39798 HAS SOPS 39798 HAS SOUS 30124 HAS SOUPS 30124 WITH SCORE 30163.798
AT ITER 2500 NEW BEST:: SOT 139802 SOS 39690 HAS SOPS 39690 HAS SOUS 30016 HAS SOUPS 30016 WITH SCORE 30055.69
AT ITER 2532 NEW BEST:: SOT 139794 SOS 39652 HAS SOPS 39652 HAS SOUS 29989 HAS SOUPS 29989 WITH SCORE 30028.652
AT ITER 2550 NEW BEST:: SOT 139794 SOS 39652 HAS SOPS 39652 HAS SOUS 29937 HAS SOUPS 29937 WITH SCORE 29976.652
AT ITER 2552 NEW BEST:: SOT 139755 SOS 39613 HAS SOPS 39613 HAS SOUS 29868 HAS SOUPS 29868 WITH SCORE 29907.613
AT ITER 2577 NEW BEST:: SOT 139755 SOS 39613 HAS SOPS 39613 HAS SOUS 29867 HAS SOUPS 29867 WITH SCORE 29906.613
AT ITER 2587 NEW BEST:: SOT 139756 SOS 39615 HAS SOPS 39615 HAS SOUS 29845 HAS SOUPS 29845 WITH SCORE 29884.615
AT ITER 2588 NEW BEST:: SOT 139756 SOS 39615 HAS SOPS 39615 HAS SOUS 29844 HAS SOUPS 29844 WITH SCORE 29883.615
AT ITER 2594 NEW BEST:: SOT 139748 SOS 39627 HAS SOPS 39627 HAS SOUS 29842 HAS SOUPS 29842 WITH SCORE 29881.627
AT ITER 2614 NEW BEST:: SOT 139741 SOS 39620 HAS SOPS 39620 HAS SOUS 29817 HAS SOUPS 29817 WITH SCORE 29856.62
AT ITER 2652 NEW BEST:: SOT 139731 SOS 39600 HAS SOPS 39600 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29844.6
AT ITER 2654 NEW BEST:: SOT 139684 SOS 39412 HAS SOPS 39412 HAS SOUS 29711 HAS SOUPS 29711 WITH SCORE 29750.412
AT ITER 2661 NEW BEST:: SOT 139684 SOS 39344 HAS SOPS 39344 HAS SOUS 29682 HAS SOUPS 29682 WITH SCORE 29721.344
AT ITER 2674 NEW BEST:: SOT 139755 SOS 39486 HAS SOPS 39486 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29718.486
AT ITER 2700 NEW BEST:: SOT 139754 SOS 39484 HAS SOPS 39484 HAS SOUS 29677 HAS SOUPS 29677 WITH SCORE 29716.484
AT ITER 2708 NEW BEST:: SOT 139754 SOS 39478 HAS SOPS 39478 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29710.478
AT ITER 2732 NEW BEST:: SOT 139754 SOS 39442 HAS SOPS 39442 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29710.442
AT ITER 2733 NEW BEST:: SOT 139744 SOS 39422 HAS SOPS 39422 HAS SOUS 29665 HAS SOUPS 29665 WITH SCORE 29704.422
AT ITER 2780 NEW BEST:: SOT 139713 SOS 39360 HAS SOPS 39360 HAS SOUS 29634 HAS SOUPS 29634 WITH SCORE 29673.36
AT ITER 2787 NEW BEST:: SOT 139682 SOS 39250 HAS SOPS 39250 HAS SOUS 29572 HAS SOUPS 29572 WITH SCORE 29611.25
AT ITER 2789 NEW BEST:: SOT 139693 SOS 39178 HAS SOPS 39178 HAS SOUS 29552 HAS SOUPS 29552 WITH SCORE 29591.178
AT ITER 2830 NEW BEST:: SOT 139693 SOS 39120 HAS SOPS 39120 HAS SOUS 29529 HAS SOUPS 29529 WITH SCORE 29568.12
AT ITER 2839 NEW BEST:: SOT 139601 SOS 38936 HAS SOPS 38936 HAS SOUS 29415 HAS SOUPS 29415 WITH SCORE 29453.936
AT ITER 2854 NEW BEST:: SOT 139593 SOS 38939 HAS SOPS 38939 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29437.939
AT ITER 2864 NEW BEST:: SOT 139548 SOS 38849 HAS SOPS 38849 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29347.849
AT ITER 2880 NEW BEST:: SOT 139547 SOS 38873 HAS SOPS 38873 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29345.873
AT ITER 2966 NEW BEST:: SOT 139547 SOS 38873 HAS SOPS 38873 HAS SOUS 29286 HAS SOUPS 29286 WITH SCORE 29324.873
AT ITER 2975 NEW BEST:: SOT 139406 SOS 38672 HAS SOPS 38672 HAS SOUS 29108 HAS SOUPS 29108 WITH SCORE 29146.672
AT ITER 2976 NEW BEST:: SOT 139302 SOS 38490 HAS SOPS 38490 HAS SOUS 28977 HAS SOUPS 28977 WITH SCORE 29015.49
AT ITER 2996 NEW BEST:: SOT 139251 SOS 38388 HAS SOPS 38388 HAS SOUS 28875 HAS SOUPS 28875 WITH SCORE 28913.388
AT ITER 3011 NEW BEST:: SOT 139251 SOS 38388 HAS SOPS 38388 HAS SOUS 28874 HAS SOUPS 28874 WITH SCORE 28912.388
AT ITER 3023 NEW BEST:: SOT 139244 SOS 38374 HAS SOPS 38374 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28898.374
AT ITER 3038 NEW BEST:: SOT 139241 SOS 38376 HAS SOPS 38376 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28895.376
AT ITER 3047 NEW BEST:: SOT 139239 SOS 38373 HAS SOPS 38373 HAS SOUS 28854 HAS SOUPS 28854 WITH SCORE 28892.373
AT ITER 3088 NEW BEST:: SOT 139198 SOS 38373 HAS SOPS 38373 HAS SOUS 28813 HAS SOUPS 28813 WITH SCORE 28851.373
AT ITER 3090 NEW BEST:: SOT 139198 SOS 38365 HAS SOPS 38365 HAS SOUS 28805 HAS SOUPS 28805 WITH SCORE 28843.365
AT ITER 3101 NEW BEST:: SOT 139241 SOS 38451 HAS SOPS 38451 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28837.451
AT ITER 3102 NEW BEST:: SOT 139241 SOS 38439 HAS SOPS 38439 HAS SOUS 28793 HAS SOUPS 28793 WITH SCORE 28831.439
AT ITER 3105 NEW BEST:: SOT 139236 SOS 38434 HAS SOPS 38434 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28826.434
AT ITER 3111 NEW BEST:: SOT 139228 SOS 38426 HAS SOPS 38426 HAS SOUS 28772 HAS SOUPS 28772 WITH SCORE 28810.426
AT ITER 3127 NEW BEST:: SOT 139206 SOS 38382 HAS SOPS 38382 HAS SOUS 28750 HAS SOUPS 28750 WITH SCORE 28788.382
AT ITER 3147 NEW BEST:: SOT 139208 SOS 38378 HAS SOPS 38378 HAS SOUS 28748 HAS SOUPS 28748 WITH SCORE 28786.378
AT ITER 3149 NEW BEST:: SOT 139199 SOS 38360 HAS SOPS 38360 HAS SOUS 28730 HAS SOUPS 28730 WITH SCORE 28768.36
AT ITER 3155 NEW BEST:: SOT 139162 SOS 38286 HAS SOPS 38286 HAS SOUS 28656 HAS SOUPS 28656 WITH SCORE 28694.286
AT ITER 3170 NEW BEST:: SOT 139149 SOS 38282 HAS SOPS 38282 HAS SOUS 28652 HAS SOUPS 28652 WITH SCORE 28690.282
AT ITER 3178 NEW BEST:: SOT 139155 SOS 38288 HAS SOPS 38288 HAS SOUS 28624 HAS SOUPS 28624 WITH SCORE 28662.288
AT ITER 3198 NEW BEST:: SOT 139141 SOS 38260 HAS SOPS 38260 HAS SOUS 28596 HAS SOUPS 28596 WITH SCORE 28634.26
AT ITER 3209 NEW BEST:: SOT 139123 SOS 38153 HAS SOPS 38153 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28537.153
AT ITER 3220 NEW BEST:: SOT 138963 SOS 37940 HAS SOPS 37940 HAS SOUS 28242 HAS SOUPS 28242 WITH SCORE 28279.94
AT ITER 3241 NEW BEST:: SOT 138952 SOS 37936 HAS SOPS 37936 HAS SOUS 28231 HAS SOUPS 28231 WITH SCORE 28268.936
AT ITER 3257 NEW BEST:: SOT 138952 SOS 37936 HAS SOPS 37936 HAS SOUS 28230 HAS SOUPS 28230 WITH SCORE 28267.936
AT ITER 3259 NEW BEST:: SOT 138951 SOS 37935 HAS SOPS 37935 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28266.935
AT ITER 3263 NEW BEST:: SOT 138907 SOS 37809 HAS SOPS 37809 HAS SOUS 28207 HAS SOUPS 28207 WITH SCORE 28244.809
AT ITER 3276 NEW BEST:: SOT 138906 SOS 37807 HAS SOPS 37807 HAS SOUS 28205 HAS SOUPS 28205 WITH SCORE 28242.807
AT ITER 3277 NEW BEST:: SOT 138906 SOS 37807 HAS SOPS 37807 HAS SOUS 28181 HAS SOUPS 28181 WITH SCORE 28218.807
AT ITER 3278 NEW BEST:: SOT 138879 SOS 37823 HAS SOPS 37823 HAS SOUS 28127 HAS SOUPS 28127 WITH SCORE 28164.823
AT ITER 3285 NEW BEST:: SOT 138871 SOS 37807 HAS SOPS 37807 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28156.807
AT ITER 3300 NEW BEST:: SOT 138865 SOS 37812 HAS SOPS 37812 HAS SOUS 28107 HAS SOUPS 28107 WITH SCORE 28144.812
AT ITER 3349 NEW BEST:: SOT 138866 SOS 37802 HAS SOPS 37802 HAS SOUS 28097 HAS SOUPS 28097 WITH SCORE 28134.802
AT ITER 3415 NEW BEST:: SOT 138872 SOS 37814 HAS SOPS 37814 HAS SOUS 28083 HAS SOUPS 28083 WITH SCORE 28120.814
AT ITER 3418 NEW BEST:: SOT 138872 SOS 37814 HAS SOPS 37814 HAS SOUS 28079 HAS SOUPS 28079 WITH SCORE 28116.814
AT ITER 3443 NEW BEST:: SOT 138860 SOS 37790 HAS SOPS 37790 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28092.79
AT ITER 3460 NEW BEST:: SOT 138860 SOS 37766 HAS SOPS 37766 HAS SOUS 28039 HAS SOUPS 28039 WITH SCORE 28076.766
AT ITER 3481 NEW BEST:: SOT 138860 SOS 37747 HAS SOPS 37747 HAS SOUS 28039 HAS SOUPS 28039 WITH SCORE 28076.747
AT ITER 3483 NEW BEST:: SOT 138859 SOS 37746 HAS SOPS 37746 HAS SOUS 28038 HAS SOUPS 28038 WITH SCORE 28075.746
AT ITER 3543 NEW BEST:: SOT 138841 SOS 37710 HAS SOPS 37710 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28039.71
AT ITER 3559 NEW BEST:: SOT 138720 SOS 37468 HAS SOPS 37468 HAS SOUS 27891 HAS SOUPS 27891 WITH SCORE 27928.468
AT ITER 3577 NEW BEST:: SOT 138720 SOS 37468 HAS SOPS 37468 HAS SOUS 27847 HAS SOUPS 27847 WITH SCORE 27884.468
AT ITER 3626 NEW BEST:: SOT 138684 SOS 32778 HAS SOPS 32778 HAS SOUS 27693 HAS SOUPS 27693 WITH SCORE 27725.778
AT ITER 3669 NEW BEST:: SOT 138684 SOS 32756 HAS SOPS 32756 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27703.756
AT ITER 3673 NEW BEST:: SOT 138672 SOS 32732 HAS SOPS 32732 HAS SOUS 27647 HAS SOUPS 27647 WITH SCORE 27679.732
AT ITER 3679 NEW BEST:: SOT 138672 SOS 32732 HAS SOPS 32732 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27657.732
AT ITER 3720 NEW BEST:: SOT 138661 SOS 32721 HAS SOPS 32721 HAS SOUS 27622 HAS SOUPS 27622 WITH SCORE 27654.721
AT ITER 3802 NEW BEST:: SOT 138655 SOS 32709 HAS SOPS 32709 HAS SOUS 27610 HAS SOUPS 27610 WITH SCORE 27642.709
AT ITER 3805 NEW BEST:: SOT 138640 SOS 32628 HAS SOPS 32628 HAS SOUS 27447 HAS SOUPS 27447 WITH SCORE 27479.628
AT ITER 3829 NEW BEST:: SOT 138640 SOS 32628 HAS SOPS 32628 HAS SOUS 27417 HAS SOUPS 27417 WITH SCORE 27449.628
AT ITER 3837 NEW BEST:: SOT 138622 SOS 32588 HAS SOPS 32588 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27409.588
AT ITER 3842 NEW BEST:: SOT 138576 SOS 32505 HAS SOPS 32505 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27363.505
AT ITER 3872 NEW BEST:: SOT 138576 SOS 32481 HAS SOPS 32481 HAS SOUS 27319 HAS SOUPS 27319 WITH SCORE 27351.481
AT ITER 3922 NEW BEST:: SOT 138575 SOS 32493 HAS SOPS 32493 HAS SOUS 27317 HAS SOUPS 27317 WITH SCORE 27349.493
AT ITER 3943 NEW BEST:: SOT 138568 SOS 32484 HAS SOPS 32484 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27346.484
AT ITER 3945 NEW BEST:: SOT 138552 SOS 32512 HAS SOPS 32512 HAS SOUS 27312 HAS SOUPS 27312 WITH SCORE 27344.512
AT ITER 3957 NEW BEST:: SOT 138509 SOS 32426 HAS SOPS 32426 HAS SOUS 27226 HAS SOUPS 27226 WITH SCORE 27258.426
AT ITER 3958 NEW BEST:: SOT 138499 SOS 32406 HAS SOPS 32406 HAS SOUS 27206 HAS SOUPS 27206 WITH SCORE 27238.406
AT ITER 3978 NEW BEST:: SOT 138471 SOS 32389 HAS SOPS 32389 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27210.389
AT ITER 3989 NEW BEST:: SOT 138464 SOS 32382 HAS SOPS 32382 HAS SOUS 27171 HAS SOUPS 27171 WITH SCORE 27203.382
AT ITER 3991 NEW BEST:: SOT 138460 SOS 32350 HAS SOPS 32350 HAS SOUS 27120 HAS SOUPS 27120 WITH SCORE 27152.35
AT ITER 3999 NEW BEST:: SOT 138456 SOS 32325 HAS SOPS 32325 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27144.325
AT ITER 4016 NEW BEST:: SOT 138466 SOS 32299 HAS SOPS 32299 HAS SOUS 27099 HAS SOUPS 27099 WITH SCORE 27131.299
AT ITER 4019 NEW BEST:: SOT 138463 SOS 32296 HAS SOPS 32296 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27110.296
AT ITER 4029 NEW BEST:: SOT 138450 SOS 32296 HAS SOPS 32296 HAS SOUS 27052 HAS SOUPS 27052 WITH SCORE 27084.296
AT ITER 4055 NEW BEST:: SOT 138450 SOS 32296 HAS SOPS 32296 HAS SOUS 27051 HAS SOUPS 27051 WITH SCORE 27083.296
AT ITER 4123 NEW BEST:: SOT 138445 SOS 32286 HAS SOPS 32286 HAS SOUS 27041 HAS SOUPS 27041 WITH SCORE 27073.286
AT ITER 4144 NEW BEST:: SOT 138445 SOS 32260 HAS SOPS 32260 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27060.26
AT ITER 4148 NEW BEST:: SOT 138408 SOS 32186 HAS SOPS 32186 HAS SOUS 26951 HAS SOUPS 26951 WITH SCORE 26983.186
AT ITER 4149 NEW BEST:: SOT 138388 SOS 32146 HAS SOPS 32146 HAS SOUS 26911 HAS SOUPS 26911 WITH SCORE 26943.146
AT ITER 4176 NEW BEST:: SOT 138387 SOS 32144 HAS SOPS 32144 HAS SOUS 26909 HAS SOUPS 26909 WITH SCORE 26941.144
AT ITER 4184 NEW BEST:: SOT 138386 SOS 32142 HAS SOPS 32142 HAS SOUS 26907 HAS SOUPS 26907 WITH SCORE 26939.142
AT ITER 4231 NEW BEST:: SOT 138386 SOS 32082 HAS SOPS 32082 HAS SOUS 26907 HAS SOUPS 26907 WITH SCORE 26939.082
AT ITER 4260 NEW BEST:: SOT 138403 SOS 32073 HAS SOPS 32073 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26930.073
AT ITER 4291 NEW BEST:: SOT 138362 SOS 31991 HAS SOPS 31991 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26801.991
AT ITER 4294 NEW BEST:: SOT 138305 SOS 31942 HAS SOPS 31942 HAS SOUS 26755 HAS SOUPS 26755 WITH SCORE 26786.942
AT ITER 4311 NEW BEST:: SOT 138304 SOS 31940 HAS SOPS 31940 HAS SOUS 26753 HAS SOUPS 26753 WITH SCORE 26784.94
AT ITER 4345 NEW BEST:: SOT 138304 SOS 31940 HAS SOPS 31940 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26756.94
AT ITER 4350 NEW BEST:: SOT 138295 SOS 31945 HAS SOPS 31945 HAS SOUS 26721 HAS SOUPS 26721 WITH SCORE 26752.945
AT ITER 4358 NEW BEST:: SOT 138295 SOS 31945 HAS SOPS 31945 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26738.945
AT ITER 4366 NEW BEST:: SOT 138261 SOS 31877 HAS SOPS 31877 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26715.877
AT ITER 4370 NEW BEST:: SOT 138261 SOS 31877 HAS SOPS 31877 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26708.877
AT ITER 4459 NEW BEST:: SOT 138261 SOS 31877 HAS SOPS 31877 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26691.877
AT ITER 4469 NEW BEST:: SOT 138256 SOS 31857 HAS SOPS 31857 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26681.857
AT ITER 4476 NEW BEST:: SOT 138257 SOS 31845 HAS SOPS 31845 HAS SOUS 26645 HAS SOUPS 26645 WITH SCORE 26676.845
AT ITER 4482 NEW BEST:: SOT 138240 SOS 31811 HAS SOPS 31811 HAS SOUS 26611 HAS SOUPS 26611 WITH SCORE 26642.811
AT ITER 4491 NEW BEST:: SOT 138225 SOS 31781 HAS SOPS 31781 HAS SOUS 26584 HAS SOUPS 26584 WITH SCORE 26615.781
AT ITER 4508 NEW BEST:: SOT 138225 SOS 31781 HAS SOPS 31781 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26609.781
AT ITER 4530 NEW BEST:: SOT 138216 SOS 31763 HAS SOPS 31763 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26609.763
AT ITER 4668 NEW BEST:: SOT 138193 SOS 31740 HAS SOPS 31740 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26563.74
AT ITER 4676 NEW BEST:: SOT 138183 SOS 31699 HAS SOPS 31699 HAS SOUS 26491 HAS SOUPS 26491 WITH SCORE 26522.699
AT ITER 4689 NEW BEST:: SOT 138209 SOS 31751 HAS SOPS 31751 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26517.751
AT ITER 4695 NEW BEST:: SOT 138195 SOS 31723 HAS SOPS 31723 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26489.723
AT ITER 4711 NEW BEST:: SOT 138184 SOS 31677 HAS SOPS 31677 HAS SOUS 26428 HAS SOUPS 26428 WITH SCORE 26459.677
AT ITER 4806 NEW BEST:: SOT 138189 SOS 31641 HAS SOPS 31641 HAS SOUS 26415 HAS SOUPS 26415 WITH SCORE 26446.641
AT ITER 4818 NEW BEST:: SOT 138195 SOS 31653 HAS SOPS 31653 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26432.653
AT ITER 4842 NEW BEST:: SOT 138195 SOS 31653 HAS SOPS 31653 HAS SOUS 26392 HAS SOUPS 26392 WITH SCORE 26423.653
AT ITER 4867 NEW BEST:: SOT 138187 SOS 31653 HAS SOPS 31653 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26416.653
AT ITER 4881 NEW BEST:: SOT 138187 SOS 31633 HAS SOPS 31633 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26416.633
AT ITER 4906 NEW BEST:: SOT 138187 SOS 31633 HAS SOPS 31633 HAS SOUS 26362 HAS SOUPS 26362 WITH SCORE 26393.633
AT ITER 4936 NEW BEST:: SOT 138187 SOS 31625 HAS SOPS 31625 HAS SOUS 26361 HAS SOUPS 26361 WITH SCORE 26392.625
AT ITER 4966 NEW BEST:: SOT 138153 SOS 31639 HAS SOPS 31639 HAS SOUS 26344 HAS SOUPS 26344 WITH SCORE 26375.639
AT ITER 4977 NEW BEST:: SOT 138153 SOS 31579 HAS SOPS 31579 HAS SOUS 26344 HAS SOUPS 26344 WITH SCORE 26375.579
AT ITER 5048 NEW BEST:: SOT 138153 SOS 31579 HAS SOPS 31579 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26366.579
AT ITER 5071 NEW BEST:: SOT 138148 SOS 31569 HAS SOPS 31569 HAS SOUS 26325 HAS SOUPS 26325 WITH SCORE 26356.569
AT ITER 5097 NEW BEST:: SOT 138148 SOS 31558 HAS SOPS 31558 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26345.558
AT ITER 5100 NEW BEST:: SOT 138116 SOS 31494 HAS SOPS 31494 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26281.494
AT ITER 5107 NEW BEST:: SOT 138099 SOS 31442 HAS SOPS 31442 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26262.442
AT ITER 5141 NEW BEST:: SOT 138099 SOS 31430 HAS SOPS 31430 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26258.43
AT ITER 5155 NEW BEST:: SOT 138099 SOS 31412 HAS SOPS 31412 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26249.412
AT ITER 5185 NEW BEST:: SOT 138099 SOS 31377 HAS SOPS 31377 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26249.377
AT ITER 5187 NEW BEST:: SOT 138099 SOS 31287 HAS SOPS 31287 HAS SOUS 26173 HAS SOUPS 26173 WITH SCORE 26204.287
AT ITER 5222 NEW BEST:: SOT 138099 SOS 31203 HAS SOPS 31203 HAS SOUS 26131 HAS SOUPS 26131 WITH SCORE 26162.203
AT ITER 5248 NEW BEST:: SOT 138099 SOS 31195 HAS SOPS 31195 HAS SOUS 26127 HAS SOUPS 26127 WITH SCORE 26158.195
AT ITER 5280 NEW BEST:: SOT 138094 SOS 31175 HAS SOPS 31175 HAS SOUS 26117 HAS SOUPS 26117 WITH SCORE 26148.175
AT ITER 5334 NEW BEST:: SOT 138105 SOS 31197 HAS SOPS 31197 HAS SOUS 26105 HAS SOUPS 26105 WITH SCORE 26136.197
AT ITER 5340 NEW BEST:: SOT 138100 SOS 31187 HAS SOPS 31187 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26126.187
AT ITER 5370 NEW BEST:: SOT 138100 SOS 31177 HAS SOPS 31177 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26126.177
AT ITER 5424 NEW BEST:: SOT 138080 SOS 31137 HAS SOPS 31137 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26122.137
AT ITER 5425 NEW BEST:: SOT 138079 SOS 31136 HAS SOPS 31136 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26122.136
AT ITER 5441 NEW BEST:: SOT 138069 SOS 31126 HAS SOPS 31126 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26122.126
AT ITER 5459 NEW BEST:: SOT 138084 SOS 31156 HAS SOPS 31156 HAS SOUS 26057 HAS SOUPS 26057 WITH SCORE 26088.156
AT ITER 5547 NEW BEST:: SOT 138071 SOS 31088 HAS SOPS 31088 HAS SOUS 26023 HAS SOUPS 26023 WITH SCORE 26054.088
AT ITER 5560 NEW BEST:: SOT 138059 SOS 31082 HAS SOPS 31082 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26048.082
AT ITER 5600 NEW BEST:: SOT 138033 SOS 31030 HAS SOPS 31030 HAS SOUS 25958 HAS SOUPS 25958 WITH SCORE 25989.03
AT ITER 5605 NEW BEST:: SOT 138022 SOS 31008 HAS SOPS 31008 HAS SOUS 25936 HAS SOUPS 25936 WITH SCORE 25967.008
AT ITER 5638 NEW BEST:: SOT 137995 SOS 30981 HAS SOPS 30981 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25941.981
AT ITER 5652 NEW BEST:: SOT 137962 SOS 30807 HAS SOPS 30807 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25863.807
AT ITER 5663 NEW BEST:: SOT 137966 SOS 30793 HAS SOPS 30793 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25863.793
AT ITER 5670 NEW BEST:: SOT 137965 SOS 30792 HAS SOPS 30792 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25862.792
AT ITER 5716 NEW BEST:: SOT 137965 SOS 30752 HAS SOPS 30752 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25842.752
AT ITER 5719 NEW BEST:: SOT 137965 SOS 30746 HAS SOPS 30746 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25842.746
AT ITER 5741 NEW BEST:: SOT 137971 SOS 30752 HAS SOPS 30752 HAS SOUS 25806 HAS SOUPS 25806 WITH SCORE 25836.752
AT ITER 5795 NEW BEST:: SOT 137970 SOS 30728 HAS SOPS 30728 HAS SOUS 25737 HAS SOUPS 25737 WITH SCORE 25767.728
AT ITER 5836 NEW BEST:: SOT 137964 SOS 30719 HAS SOPS 30719 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25758.719
AT ITER 5841 NEW BEST:: SOT 137964 SOS 30719 HAS SOPS 30719 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25756.719
AT ITER 5882 NEW BEST:: SOT 137968 SOS 30701 HAS SOPS 30701 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25751.701
AT ITER 5908 NEW BEST:: SOT 137949 SOS 30663 HAS SOPS 30663 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25713.663
AT ITER 5959 NEW BEST:: SOT 137947 SOS 30659 HAS SOPS 30659 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25711.659
AT ITER 5963 NEW BEST:: SOT 138025 SOS 30815 HAS SOPS 30815 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 25698.815
AT ITER 5967 NEW BEST:: SOT 138024 SOS 30813 HAS SOPS 30813 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25693.813
AT ITER 5995 NEW BEST:: SOT 138024 SOS 30801 HAS SOPS 30801 HAS SOUS 25657 HAS SOUPS 25657 WITH SCORE 25687.801
AT ITER 6075 NEW BEST:: SOT 137978 SOS 30709 HAS SOPS 30709 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25595.709
AT ITER 6088 NEW BEST:: SOT 137974 SOS 30701 HAS SOPS 30701 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25587.701
AT ITER 6100 NEW BEST:: SOT 137974 SOS 30701 HAS SOPS 30701 HAS SOUS 25517 HAS SOUPS 25517 WITH SCORE 25547.701
AT ITER 6120 NEW BEST:: SOT 137974 SOS 30679 HAS SOPS 30679 HAS SOUS 25506 HAS SOUPS 25506 WITH SCORE 25536.679
AT ITER 6121 NEW BEST:: SOT 137962 SOS 30655 HAS SOPS 30655 HAS SOUS 25503 HAS SOUPS 25503 WITH SCORE 25533.655
AT ITER 6126 NEW BEST:: SOT 137954 SOS 30647 HAS SOPS 30647 HAS SOUS 25487 HAS SOUPS 25487 WITH SCORE 25517.647
AT ITER 6159 NEW BEST:: SOT 137939 SOS 30617 HAS SOPS 30617 HAS SOUS 25457 HAS SOUPS 25457 WITH SCORE 25487.617
AT ITER 6179 NEW BEST:: SOT 137943 SOS 30563 HAS SOPS 30563 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25464.563
AT ITER 6207 NEW BEST:: SOT 137941 SOS 30559 HAS SOPS 30559 HAS SOUS 25430 HAS SOUPS 25430 WITH SCORE 25460.559
AT ITER 6230 NEW BEST:: SOT 137941 SOS 30540 HAS SOPS 30540 HAS SOUS 25411 HAS SOUPS 25411 WITH SCORE 25441.54
AT ITER 6238 NEW BEST:: SOT 137929 SOS 30492 HAS SOPS 30492 HAS SOUS 25384 HAS SOUPS 25384 WITH SCORE 25414.492
AT ITER 6240 NEW BEST:: SOT 137922 SOS 30485 HAS SOPS 30485 HAS SOUS 25377 HAS SOUPS 25377 WITH SCORE 25407.485
AT ITER 6302 NEW BEST:: SOT 137886 SOS 30461 HAS SOPS 30461 HAS SOUS 25365 HAS SOUPS 25365 WITH SCORE 25395.461
AT ITER 6358 NEW BEST:: SOT 137880 SOS 30455 HAS SOPS 30455 HAS SOUS 25353 HAS SOUPS 25353 WITH SCORE 25383.455
AT ITER 6365 NEW BEST:: SOT 137878 SOS 30447 HAS SOPS 30447 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25379.447
AT ITER 6368 NEW BEST:: SOT 137870 SOS 30431 HAS SOPS 30431 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25363.431
AT ITER 6422 NEW BEST:: SOT 137852 SOS 30395 HAS SOPS 30395 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25327.395
AT ITER 6455 NEW BEST:: SOT 137862 SOS 30167 HAS SOPS 30167 HAS SOUS 25193 HAS SOUPS 25193 WITH SCORE 25223.167
AT ITER 6456 NEW BEST:: SOT 137860 SOS 30163 HAS SOPS 30163 HAS SOUS 25189 HAS SOUPS 25189 WITH SCORE 25219.163
AT ITER 6508 NEW BEST:: SOT 137869 SOS 30168 HAS SOPS 30168 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25211.168
AT ITER 6514 NEW BEST:: SOT 137864 SOS 30158 HAS SOPS 30158 HAS SOUS 25176 HAS SOUPS 25176 WITH SCORE 25206.158
AT ITER 6532 NEW BEST:: SOT 137868 SOS 30141 HAS SOPS 30141 HAS SOUS 25159 HAS SOUPS 25159 WITH SCORE 25189.141
AT ITER 6564 NEW BEST:: SOT 137866 SOS 30139 HAS SOPS 30139 HAS SOUS 25157 HAS SOUPS 25157 WITH SCORE 25187.139
AT ITER 6607 NEW BEST:: SOT 137858 SOS 30123 HAS SOPS 30123 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25163.123
AT ITER 6620 NEW BEST:: SOT 137858 SOS 30118 HAS SOPS 30118 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25158.118
AT ITER 6624 NEW BEST:: SOT 137819 SOS 30040 HAS SOPS 30040 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25080.04
AT ITER 6626 NEW BEST:: SOT 137767 SOS 29921 HAS SOPS 29921 HAS SOUS 24931 HAS SOUPS 24931 WITH SCORE 24960.921
AT ITER 6659 NEW BEST:: SOT 137776 SOS 29939 HAS SOPS 29939 HAS SOUS 24909 HAS SOUPS 24909 WITH SCORE 24938.939
AT ITER 6673 NEW BEST:: SOT 137776 SOS 29911 HAS SOPS 29911 HAS SOUS 24909 HAS SOUPS 24909 WITH SCORE 24938.911
AT ITER 6686 NEW BEST:: SOT 137743 SOS 29845 HAS SOPS 29845 HAS SOUS 24909 HAS SOUPS 24909 WITH SCORE 24938.845
AT ITER 6751 NEW BEST:: SOT 137722 SOS 29849 HAS SOPS 29849 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24931.849
AT ITER 6799 NEW BEST:: SOT 137761 SOS 29850 HAS SOPS 29850 HAS SOUS 24884 HAS SOUPS 24884 WITH SCORE 24913.85
AT ITER 6829 NEW BEST:: SOT 137758 SOS 29841 HAS SOPS 29841 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24904.841
AT ITER 6846 NEW BEST:: SOT 137763 SOS 30031 HAS SOPS 30031 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24903.031
AT ITER 6861 NEW BEST:: SOT 137762 SOS 30002 HAS SOPS 30002 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 24901.002
AT ITER 6910 NEW BEST:: SOT 137745 SOS 29973 HAS SOPS 29973 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24896.973
AT ITER 6918 NEW BEST:: SOT 137752 SOS 29957 HAS SOPS 29957 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24888.957
AT ITER 6951 NEW BEST:: SOT 137752 SOS 29957 HAS SOPS 29957 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24882.957
AT ITER 6961 NEW BEST:: SOT 137772 SOS 29801 HAS SOPS 29801 HAS SOUS 24834 HAS SOUPS 24834 WITH SCORE 24863.801
AT ITER 6997 NEW BEST:: SOT 137772 SOS 29801 HAS SOPS 29801 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24855.801
AT ITER 7009 NEW BEST:: SOT 137730 SOS 29717 HAS SOPS 29717 HAS SOUS 24742 HAS SOUPS 24742 WITH SCORE 24771.717
AT ITER 7063 NEW BEST:: SOT 137719 SOS 29676 HAS SOPS 29676 HAS SOUS 24702 HAS SOUPS 24702 WITH SCORE 24731.676
AT ITER 7074 NEW BEST:: SOT 137702 SOS 29659 HAS SOPS 29659 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24714.659
AT ITER 7088 NEW BEST:: SOT 137702 SOS 29655 HAS SOPS 29655 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24714.655
AT ITER 7165 NEW BEST:: SOT 137705 SOS 29641 HAS SOPS 29641 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24700.641
AT ITER 7176 NEW BEST:: SOT 137702 SOS 29635 HAS SOPS 29635 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24691.635
AT ITER 7233 NEW BEST:: SOT 137692 SOS 29615 HAS SOPS 29615 HAS SOUS 24653 HAS SOUPS 24653 WITH SCORE 24682.615
AT ITER 7241 NEW BEST:: SOT 137697 SOS 29625 HAS SOPS 29625 HAS SOUS 24592 HAS SOUPS 24592 WITH SCORE 24621.625
AT ITER 7408 NEW BEST:: SOT 137692 SOS 29615 HAS SOPS 29615 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24611.615
AT ITER 7418 NEW BEST:: SOT 137699 SOS 29614 HAS SOPS 29614 HAS SOUS 24581 HAS SOUPS 24581 WITH SCORE 24610.614
AT ITER 7446 NEW BEST:: SOT 137699 SOS 29625 HAS SOPS 29625 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24599.625
AT ITER 7448 NEW BEST:: SOT 137688 SOS 29587 HAS SOPS 29587 HAS SOUS 24543 HAS SOUPS 24543 WITH SCORE 24572.587
AT ITER 7450 NEW BEST:: SOT 137648 SOS 29257 HAS SOPS 29257 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24422.257
AT ITER 7483 NEW BEST:: SOT 137647 SOS 29255 HAS SOPS 29255 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24420.255
AT ITER 7490 NEW BEST:: SOT 137657 SOS 29275 HAS SOPS 29275 HAS SOUS 24387 HAS SOUPS 24387 WITH SCORE 24416.275
AT ITER 7539 NEW BEST:: SOT 137652 SOS 29132 HAS SOPS 29132 HAS SOUS 24377 HAS SOUPS 24377 WITH SCORE 24406.132
AT ITER 7554 NEW BEST:: SOT 137637 SOS 29102 HAS SOPS 29102 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24400.102
AT ITER 7631 NEW BEST:: SOT 137637 SOS 29060 HAS SOPS 29060 HAS SOUS 24329 HAS SOUPS 24329 WITH SCORE 24358.06
AT ITER 7657 NEW BEST:: SOT 137632 SOS 29055 HAS SOPS 29055 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24353.055
AT ITER 7683 NEW BEST:: SOT 137623 SOS 29037 HAS SOPS 29037 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24335.037
AT ITER 7687 NEW BEST:: SOT 137603 SOS 29007 HAS SOPS 29007 HAS SOUS 24276 HAS SOUPS 24276 WITH SCORE 24305.007
AT ITER 7742 NEW BEST:: SOT 137598 SOS 28997 HAS SOPS 28997 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24299.997
AT ITER 7782 NEW BEST:: SOT 137588 SOS 28987 HAS SOPS 28987 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24282.987
AT ITER 7841 NEW BEST:: SOT 137588 SOS 28987 HAS SOPS 28987 HAS SOUS 24251 HAS SOUPS 24251 WITH SCORE 24279.987
AT ITER 7857 NEW BEST:: SOT 137626 SOS 29010 HAS SOPS 29010 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24262.01
AT ITER 7864 NEW BEST:: SOT 137622 SOS 29002 HAS SOPS 29002 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24254.002
AT ITER 7869 NEW BEST:: SOT 137638 SOS 28974 HAS SOPS 28974 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24245.974
AT ITER 7870 NEW BEST:: SOT 137653 SOS 28996 HAS SOPS 28996 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24212.996
AT ITER 7878 NEW BEST:: SOT 137643 SOS 28991 HAS SOPS 28991 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24207.991
AT ITER 7879 NEW BEST:: SOT 137628 SOS 28962 HAS SOPS 28962 HAS SOUS 24165 HAS SOUPS 24165 WITH SCORE 24193.962
AT ITER 7928 NEW BEST:: SOT 137626 SOS 28962 HAS SOPS 28962 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24191.962
AT ITER 7929 NEW BEST:: SOT 137626 SOS 28936 HAS SOPS 28936 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24178.936
AT ITER 8029 NEW BEST:: SOT 137623 SOS 28930 HAS SOPS 28930 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24162.93
AT ITER 8034 NEW BEST:: SOT 137612 SOS 28908 HAS SOPS 28908 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24140.908
AT ITER 8048 NEW BEST:: SOT 137611 SOS 28907 HAS SOPS 28907 HAS SOUS 24111 HAS SOUPS 24111 WITH SCORE 24139.907
AT ITER 8055 NEW BEST:: SOT 137603 SOS 28891 HAS SOPS 28891 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24120.891
AT ITER 8082 NEW BEST:: SOT 137588 SOS 28819 HAS SOPS 28819 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24090.819
AT ITER 8085 NEW BEST:: SOT 137586 SOS 28815 HAS SOPS 28815 HAS SOUS 24058 HAS SOUPS 24058 WITH SCORE 24086.815
AT ITER 8100 NEW BEST:: SOT 137569 SOS 28781 HAS SOPS 28781 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24052.781
AT ITER 8101 NEW BEST:: SOT 137569 SOS 28781 HAS SOPS 28781 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24050.781
AT ITER 8120 NEW BEST:: SOT 137564 SOS 28771 HAS SOPS 28771 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24040.771
AT ITER 8123 NEW BEST:: SOT 137560 SOS 28763 HAS SOPS 28763 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24003.763
AT ITER 8137 NEW BEST:: SOT 137558 SOS 28759 HAS SOPS 28759 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23999.759
AT ITER 8141 NEW BEST:: SOT 137556 SOS 28748 HAS SOPS 28748 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 23986.748
AT ITER 8151 NEW BEST:: SOT 137562 SOS 28722 HAS SOPS 28722 HAS SOUS 23955 HAS SOUPS 23955 WITH SCORE 23983.722
AT ITER 8237 NEW BEST:: SOT 137554 SOS 28706 HAS SOPS 28706 HAS SOUS 23947 HAS SOUPS 23947 WITH SCORE 23975.706
AT ITER 8248 NEW BEST:: SOT 137558 SOS 28700 HAS SOPS 28700 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23972.7
AT ITER 8273 NEW BEST:: SOT 137558 SOS 28700 HAS SOPS 28700 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23947.7
AT ITER 8281 NEW BEST:: SOT 137561 SOS 28664 HAS SOPS 28664 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23929.664
AT ITER 8299 NEW BEST:: SOT 137561 SOS 28618 HAS SOPS 28618 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23929.618
AT ITER 8336 NEW BEST:: SOT 137591 SOS 28496 HAS SOPS 28496 HAS SOUS 23840 HAS SOUPS 23840 WITH SCORE 23868.496
AT ITER 8338 NEW BEST:: SOT 137591 SOS 28496 HAS SOPS 28496 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 23848.496
AT ITER 8362 NEW BEST:: SOT 137587 SOS 28488 HAS SOPS 28488 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23840.488
AT ITER 8380 NEW BEST:: SOT 137595 SOS 28496 HAS SOPS 28496 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23826.496
AT ITER 8387 NEW BEST:: SOT 137595 SOS 28429 HAS SOPS 28429 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23826.429
AT ITER 8489 NEW BEST:: SOT 137575 SOS 28401 HAS SOPS 28401 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23798.401
AT ITER 8491 NEW BEST:: SOT 137562 SOS 28375 HAS SOPS 28375 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23785.375
AT ITER 8556 NEW BEST:: SOT 137554 SOS 28378 HAS SOPS 28378 HAS SOUS 23741 HAS SOUPS 23741 WITH SCORE 23769.378
AT ITER 8584 NEW BEST:: SOT 137557 SOS 28379 HAS SOPS 28379 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23764.379
AT ITER 8599 NEW BEST:: SOT 137541 SOS 28347 HAS SOPS 28347 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23732.347
AT ITER 8636 NEW BEST:: SOT 137539 SOS 28342 HAS SOPS 28342 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23725.342
AT ITER 8729 NEW BEST:: SOT 137535 SOS 27720 HAS SOPS 27720 HAS SOUS 23691 HAS SOUPS 23691 WITH SCORE 23718.72
AT ITER 8756 NEW BEST:: SOT 137534 SOS 27718 HAS SOPS 27718 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23716.718
AT ITER 8769 NEW BEST:: SOT 137491 SOS 27638 HAS SOPS 27638 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23667.638
AT ITER 8783 NEW BEST:: SOT 137490 SOS 27647 HAS SOPS 27647 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23666.647
AT ITER 8802 NEW BEST:: SOT 137463 SOS 27593 HAS SOPS 27593 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23612.593
AT ITER 8813 NEW BEST:: SOT 137460 SOS 27587 HAS SOPS 27587 HAS SOUS 23579 HAS SOUPS 23579 WITH SCORE 23606.587
AT ITER 8841 NEW BEST:: SOT 137443 SOS 27628 HAS SOPS 27628 HAS SOUS 23577 HAS SOUPS 23577 WITH SCORE 23604.628
AT ITER 8958 NEW BEST:: SOT 137443 SOS 27627 HAS SOPS 27627 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23603.627
AT ITER 8998 NEW BEST:: SOT 137439 SOS 27619 HAS SOPS 27619 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23595.619
AT ITER 9057 NEW BEST:: SOT 137404 SOS 27585 HAS SOPS 27585 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23561.585
AT ITER 9094 NEW BEST:: SOT 137391 SOS 27548 HAS SOPS 27548 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23559.548
AT ITER 9181 NEW BEST:: SOT 137379 SOS 27642 HAS SOPS 27642 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23553.642
AT ITER 9183 NEW BEST:: SOT 137332 SOS 27548 HAS SOPS 27548 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23459.548
AT ITER 9205 NEW BEST:: SOT 137314 SOS 27525 HAS SOPS 27525 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23434.525
AT ITER 9259 NEW BEST:: SOT 137314 SOS 27522 HAS SOPS 27522 HAS SOUS 23404 HAS SOUPS 23404 WITH SCORE 23431.522
AT ITER 9297 NEW BEST:: SOT 137303 SOS 27500 HAS SOPS 27500 HAS SOUS 23376 HAS SOUPS 23376 WITH SCORE 23403.5
AT ITER 9326 NEW BEST:: SOT 137303 SOS 27500 HAS SOPS 27500 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23401.5
AT ITER 9337 NEW BEST:: SOT 137293 SOS 27480 HAS SOPS 27480 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23363.48
AT ITER 9342 NEW BEST:: SOT 137327 SOS 27548 HAS SOPS 27548 HAS SOUS 23323 HAS SOUPS 23323 WITH SCORE 23350.548
AT ITER 9433 NEW BEST:: SOT 137324 SOS 27542 HAS SOPS 27542 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23347.542
AT ITER 9469 NEW BEST:: SOT 137324 SOS 27515 HAS SOPS 27515 HAS SOUS 23293 HAS SOUPS 23293 WITH SCORE 23320.515
AT ITER 9526 NEW BEST:: SOT 137319 SOS 27499 HAS SOPS 27499 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23309.499
AT ITER 9576 NEW BEST:: SOT 137303 SOS 27507 HAS SOPS 27507 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23307.507
AT ITER 9579 NEW BEST:: SOT 137299 SOS 27503 HAS SOPS 27503 HAS SOUS 23274 HAS SOUPS 23274 WITH SCORE 23301.503
AT ITER 9589 NEW BEST:: SOT 137299 SOS 27485 HAS SOPS 27485 HAS SOUS 23274 HAS SOUPS 23274 WITH SCORE 23301.485
AT ITER 9654 NEW BEST:: SOT 137299 SOS 27485 HAS SOPS 27485 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23287.485
AT ITER 9717 NEW BEST:: SOT 137293 SOS 27481 HAS SOPS 27481 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23283.481
AT ITER 9776 NEW BEST:: SOT 137290 SOS 27475 HAS SOPS 27475 HAS SOUS 23250 HAS SOUPS 23250 WITH SCORE 23277.475
AT ITER 9839 NEW BEST:: SOT 137280 SOS 27407 HAS SOPS 27407 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23243.407
AT ITER 9903 NEW BEST:: SOT 137272 SOS 27391 HAS SOPS 27391 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23235.391
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11930004 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154100 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="GPUForwardProgress-PT-24b"
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 GPUForwardProgress-PT-24b, 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 r195-smll-167840341900096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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