About the Execution of smart for DiscoveryGPU-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.170 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807700612.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-07b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700612
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.8K Mar 31 06:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 06:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 23:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 23:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 54K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-07b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589363155966
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 07b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 212 places, 224 transitions, 582 arcs.
AT ITER 0 NEW BEST:: SOT 32957 SOS 15503 HAS SOPS 15503 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.503
AT ITER 2 NEW BEST:: SOT 32957 SOS 15492 HAS SOPS 15492 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13836.492
AT ITER 5 NEW BEST:: SOT 32956 SOS 15490 HAS SOPS 15490 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13834.49
AT ITER 20 NEW BEST:: SOT 32913 SOS 15404 HAS SOPS 15404 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13748.404
AT ITER 22 NEW BEST:: SOT 32875 SOS 15278 HAS SOPS 15278 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13645.278
AT ITER 23 NEW BEST:: SOT 32831 SOS 15120 HAS SOPS 15120 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13557.12
AT ITER 24 NEW BEST:: SOT 32771 SOS 15031 HAS SOPS 15031 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13496.031
AT ITER 27 NEW BEST:: SOT 32771 SOS 15009 HAS SOPS 15009 HAS SOUS 13458 HAS SOUPS 13458 WITH SCORE 13473.009
AT ITER 35 NEW BEST:: SOT 32703 SOS 14533 HAS SOPS 14533 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13370.533
AT ITER 37 NEW BEST:: SOT 32672 SOS 14524 HAS SOPS 14524 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13361.524
AT ITER 38 NEW BEST:: SOT 32582 SOS 14393 HAS SOPS 14393 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13247.393
AT ITER 42 NEW BEST:: SOT 32508 SOS 14024 HAS SOPS 14024 HAS SOUS 13074 HAS SOUPS 13074 WITH SCORE 13088.024
AT ITER 43 NEW BEST:: SOT 32479 SOS 13995 HAS SOPS 13995 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13058.995
AT ITER 44 NEW BEST:: SOT 32473 SOS 13986 HAS SOPS 13986 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13049.986
AT ITER 49 NEW BEST:: SOT 32488 SOS 13975 HAS SOPS 13975 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13004.975
AT ITER 53 NEW BEST:: SOT 32421 SOS 13907 HAS SOPS 13907 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12936.907
AT ITER 55 NEW BEST:: SOT 32391 SOS 13846 HAS SOPS 13846 HAS SOUS 12896 HAS SOUPS 12896 WITH SCORE 12909.846
AT ITER 60 NEW BEST:: SOT 32382 SOS 13842 HAS SOPS 13842 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12905.842
AT ITER 68 NEW BEST:: SOT 32350 SOS 13810 HAS SOPS 13810 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12873.81
AT ITER 71 NEW BEST:: SOT 32223 SOS 13746 HAS SOPS 13746 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12785.746
AT ITER 73 NEW BEST:: SOT 32209 SOS 13679 HAS SOPS 13679 HAS SOUS 12705 HAS SOUPS 12705 WITH SCORE 12718.679
AT ITER 79 NEW BEST:: SOT 32204 SOS 13669 HAS SOPS 13669 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12708.669
AT ITER 85 NEW BEST:: SOT 31648 SOS 18783 HAS SOPS 18783 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12508.783
AT ITER 87 NEW BEST:: SOT 31648 SOS 18762 HAS SOPS 18762 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12508.762
AT ITER 91 NEW BEST:: SOT 31606 SOS 18636 HAS SOPS 18636 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12466.636
AT ITER 92 NEW BEST:: SOT 31444 SOS 18508 HAS SOPS 18508 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12331.508
AT ITER 98 NEW BEST:: SOT 31401 SOS 18423 HAS SOPS 18423 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12305.423
AT ITER 103 NEW BEST:: SOT 31369 SOS 18359 HAS SOPS 18359 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12241.359
AT ITER 104 NEW BEST:: SOT 31368 SOS 18352 HAS SOPS 18352 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12238.352
AT ITER 106 NEW BEST:: SOT 31368 SOS 18339 HAS SOPS 18339 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12238.339
AT ITER 111 NEW BEST:: SOT 31301 SOS 18205 HAS SOPS 18205 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12104.205
AT ITER 115 NEW BEST:: SOT 31310 SOS 18214 HAS SOPS 18214 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12085.214
AT ITER 120 NEW BEST:: SOT 31273 SOS 18133 HAS SOPS 18133 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12029.133
AT ITER 127 NEW BEST:: SOT 31296 SOS 18104 HAS SOPS 18104 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12000.104
AT ITER 128 NEW BEST:: SOT 31220 SOS 17952 HAS SOPS 17952 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11902.952
AT ITER 132 NEW BEST:: SOT 31168 SOS 17900 HAS SOPS 17900 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11850.9
AT ITER 139 NEW BEST:: SOT 31169 SOS 17766 HAS SOPS 17766 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11809.766
AT ITER 143 NEW BEST:: SOT 30856 SOS 17506 HAS SOPS 17506 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11581.506
AT ITER 144 NEW BEST:: SOT 30826 SOS 17416 HAS SOPS 17416 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11551.416
AT ITER 148 NEW BEST:: SOT 30798 SOS 17360 HAS SOPS 17360 HAS SOUS 11495 HAS SOUPS 11495 WITH SCORE 11512.36
AT ITER 160 NEW BEST:: SOT 30330 SOS 16891 HAS SOPS 16891 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11199.891
AT ITER 164 NEW BEST:: SOT 30323 SOS 16884 HAS SOPS 16884 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11180.884
AT ITER 167 NEW BEST:: SOT 30254 SOS 16872 HAS SOPS 16872 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11108.872
AT ITER 169 NEW BEST:: SOT 30245 SOS 16854 HAS SOPS 16854 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11107.854
AT ITER 170 NEW BEST:: SOT 30193 SOS 16751 HAS SOPS 16751 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11054.751
AT ITER 176 NEW BEST:: SOT 30193 SOS 16690 HAS SOPS 16690 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10993.69
AT ITER 181 NEW BEST:: SOT 30154 SOS 16660 HAS SOPS 16660 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10963.66
AT ITER 182 NEW BEST:: SOT 30143 SOS 16655 HAS SOPS 16655 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10958.655
AT ITER 184 NEW BEST:: SOT 30132 SOS 16633 HAS SOPS 16633 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10936.633
AT ITER 192 NEW BEST:: SOT 30116 SOS 16601 HAS SOPS 16601 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10917.601
AT ITER 197 NEW BEST:: SOT 30086 SOS 16636 HAS SOPS 16636 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10851.636
AT ITER 209 NEW BEST:: SOT 30047 SOS 16588 HAS SOPS 16588 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10808.588
AT ITER 214 NEW BEST:: SOT 30003 SOS 16570 HAS SOPS 16570 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10736.57
AT ITER 219 NEW BEST:: SOT 29991 SOS 16391 HAS SOPS 16391 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10557.391
AT ITER 232 NEW BEST:: SOT 29991 SOS 16367 HAS SOPS 16367 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10555.367
AT ITER 237 NEW BEST:: SOT 29988 SOS 16364 HAS SOPS 16364 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10555.364
AT ITER 250 NEW BEST:: SOT 29998 SOS 16357 HAS SOPS 16357 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10548.357
AT ITER 253 NEW BEST:: SOT 29989 SOS 16339 HAS SOPS 16339 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10530.339
AT ITER 254 NEW BEST:: SOT 29964 SOS 16314 HAS SOPS 16314 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10505.314
AT ITER 258 NEW BEST:: SOT 29962 SOS 16310 HAS SOPS 16310 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10501.31
AT ITER 259 NEW BEST:: SOT 29921 SOS 16233 HAS SOPS 16233 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10455.233
AT ITER 268 NEW BEST:: SOT 29893 SOS 16138 HAS SOPS 16138 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10425.138
AT ITER 278 NEW BEST:: SOT 29883 SOS 16152 HAS SOPS 16152 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10384.152
AT ITER 282 NEW BEST:: SOT 29860 SOS 16123 HAS SOPS 16123 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10355.123
AT ITER 285 NEW BEST:: SOT 29828 SOS 16000 HAS SOPS 16000 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10291.0
AT ITER 296 NEW BEST:: SOT 29828 SOS 16000 HAS SOPS 16000 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10289.0
AT ITER 298 NEW BEST:: SOT 29777 SOS 15960 HAS SOPS 15960 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10237.96
AT ITER 302 NEW BEST:: SOT 29737 SOS 15852 HAS SOPS 15852 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10184.852
AT ITER 303 NEW BEST:: SOT 29673 SOS 15788 HAS SOPS 15788 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10184.788
AT ITER 304 NEW BEST:: SOT 29668 SOS 15772 HAS SOPS 15772 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10179.772
AT ITER 306 NEW BEST:: SOT 29652 SOS 15740 HAS SOPS 15740 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10134.74
AT ITER 316 NEW BEST:: SOT 29651 SOS 15735 HAS SOPS 15735 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10132.735
AT ITER 317 NEW BEST:: SOT 29643 SOS 15673 HAS SOPS 15673 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10124.673
AT ITER 321 NEW BEST:: SOT 29643 SOS 15673 HAS SOPS 15673 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10122.673
AT ITER 322 NEW BEST:: SOT 29610 SOS 15596 HAS SOPS 15596 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10079.596
AT ITER 323 NEW BEST:: SOT 29600 SOS 15586 HAS SOPS 15586 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10069.586
AT ITER 327 NEW BEST:: SOT 29600 SOS 15586 HAS SOPS 15586 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10061.586
AT ITER 331 NEW BEST:: SOT 29595 SOS 15594 HAS SOPS 15594 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10056.594
AT ITER 334 NEW BEST:: SOT 29594 SOS 15593 HAS SOPS 15593 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10054.593
AT ITER 338 NEW BEST:: SOT 29553 SOS 15561 HAS SOPS 15561 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10024.561
AT ITER 344 NEW BEST:: SOT 29553 SOS 15542 HAS SOPS 15542 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10005.542
AT ITER 346 NEW BEST:: SOT 29579 SOS 15565 HAS SOPS 15565 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9998.565
AT ITER 347 NEW BEST:: SOT 29449 SOS 15536 HAS SOPS 15536 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9861.536
AT ITER 352 NEW BEST:: SOT 29452 SOS 15506 HAS SOPS 15506 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9854.506
AT ITER 357 NEW BEST:: SOT 29432 SOS 15466 HAS SOPS 15466 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9831.466
AT ITER 359 NEW BEST:: SOT 29425 SOS 15459 HAS SOPS 15459 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9807.459
AT ITER 360 NEW BEST:: SOT 29425 SOS 15443 HAS SOPS 15443 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9791.443
AT ITER 364 NEW BEST:: SOT 29421 SOS 15435 HAS SOPS 15435 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9779.435
AT ITER 377 NEW BEST:: SOT 29407 SOS 15427 HAS SOPS 15427 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9771.427
AT ITER 394 NEW BEST:: SOT 29410 SOS 15423 HAS SOPS 15423 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9767.423
AT ITER 397 NEW BEST:: SOT 29397 SOS 15397 HAS SOPS 15397 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9741.397
AT ITER 414 NEW BEST:: SOT 29364 SOS 15405 HAS SOPS 15405 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9721.405
AT ITER 423 NEW BEST:: SOT 29363 SOS 15389 HAS SOPS 15389 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9719.389
AT ITER 429 NEW BEST:: SOT 29362 SOS 15375 HAS SOPS 15375 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9717.375
AT ITER 436 NEW BEST:: SOT 29357 SOS 15302 HAS SOPS 15302 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9707.302
AT ITER 437 NEW BEST:: SOT 29312 SOS 15154 HAS SOPS 15154 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9643.154
AT ITER 445 NEW BEST:: SOT 29301 SOS 15143 HAS SOPS 15143 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9632.143
AT ITER 448 NEW BEST:: SOT 29284 SOS 15097 HAS SOPS 15097 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9595.097
AT ITER 449 NEW BEST:: SOT 29273 SOS 14341 HAS SOPS 14341 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9572.341
AT ITER 450 NEW BEST:: SOT 29272 SOS 14340 HAS SOPS 14340 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9570.34
AT ITER 460 NEW BEST:: SOT 29225 SOS 14116 HAS SOPS 14116 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9476.116
AT ITER 463 NEW BEST:: SOT 29225 SOS 14108 HAS SOPS 14108 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9468.108
AT ITER 466 NEW BEST:: SOT 29103 SOS 13952 HAS SOPS 13952 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9335.952
AT ITER 470 NEW BEST:: SOT 29099 SOS 13937 HAS SOPS 13937 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9327.937
AT ITER 472 NEW BEST:: SOT 29041 SOS 13882 HAS SOPS 13882 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9269.882
AT ITER 481 NEW BEST:: SOT 29021 SOS 13842 HAS SOPS 13842 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9229.842
AT ITER 486 NEW BEST:: SOT 29014 SOS 13760 HAS SOPS 13760 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9180.76
AT ITER 502 NEW BEST:: SOT 29012 SOS 13756 HAS SOPS 13756 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9178.756
AT ITER 508 NEW BEST:: SOT 28961 SOS 13654 HAS SOPS 13654 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9076.654
AT ITER 509 NEW BEST:: SOT 28970 SOS 13632 HAS SOPS 13632 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9065.632
AT ITER 512 NEW BEST:: SOT 28963 SOS 13589 HAS SOPS 13589 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9022.589
AT ITER 530 NEW BEST:: SOT 28963 SOS 13565 HAS SOPS 13565 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9022.565
AT ITER 531 NEW BEST:: SOT 28963 SOS 13560 HAS SOPS 13560 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9017.56
AT ITER 541 NEW BEST:: SOT 28963 SOS 13556 HAS SOPS 13556 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9016.556
AT ITER 542 NEW BEST:: SOT 28962 SOS 13551 HAS SOPS 13551 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9011.551
AT ITER 547 NEW BEST:: SOT 28953 SOS 13533 HAS SOPS 13533 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9002.533
AT ITER 562 NEW BEST:: SOT 28952 SOS 13532 HAS SOPS 13532 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9002.532
AT ITER 567 NEW BEST:: SOT 28934 SOS 13461 HAS SOPS 13461 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8975.461
AT ITER 576 NEW BEST:: SOT 28933 SOS 13429 HAS SOPS 13429 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8973.429
AT ITER 579 NEW BEST:: SOT 28928 SOS 13415 HAS SOPS 13415 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8957.415
AT ITER 580 NEW BEST:: SOT 28923 SOS 13415 HAS SOPS 13415 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8952.415
AT ITER 583 NEW BEST:: SOT 28929 SOS 13427 HAS SOPS 13427 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8944.427
AT ITER 585 NEW BEST:: SOT 28924 SOS 13422 HAS SOPS 13422 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8934.422
AT ITER 599 NEW BEST:: SOT 28921 SOS 13416 HAS SOPS 13416 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8928.416
AT ITER 601 NEW BEST:: SOT 28910 SOS 13405 HAS SOPS 13405 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8917.405
AT ITER 605 NEW BEST:: SOT 28894 SOS 13373 HAS SOPS 13373 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8906.373
AT ITER 616 NEW BEST:: SOT 28890 SOS 13369 HAS SOPS 13369 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8898.369
AT ITER 629 NEW BEST:: SOT 28881 SOS 13360 HAS SOPS 13360 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8889.36
AT ITER 639 NEW BEST:: SOT 28882 SOS 13335 HAS SOPS 13335 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8875.335
AT ITER 641 NEW BEST:: SOT 28844 SOS 13333 HAS SOPS 13333 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8871.333
AT ITER 651 NEW BEST:: SOT 28832 SOS 13301 HAS SOPS 13301 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8867.301
AT ITER 656 NEW BEST:: SOT 28807 SOS 13251 HAS SOPS 13251 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8833.251
AT ITER 659 NEW BEST:: SOT 28807 SOS 13250 HAS SOPS 13250 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8832.25
AT ITER 660 NEW BEST:: SOT 28840 SOS 13184 HAS SOPS 13184 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8789.184
AT ITER 673 NEW BEST:: SOT 28659 SOS 13287 HAS SOPS 13287 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8667.287
AT ITER 675 NEW BEST:: SOT 28691 SOS 13189 HAS SOPS 13189 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8663.189
AT ITER 680 NEW BEST:: SOT 28692 SOS 13172 HAS SOPS 13172 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8640.172
AT ITER 681 NEW BEST:: SOT 28688 SOS 13157 HAS SOPS 13157 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8632.157
AT ITER 691 NEW BEST:: SOT 28681 SOS 13185 HAS SOPS 13185 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8618.185
AT ITER 705 NEW BEST:: SOT 28647 SOS 13151 HAS SOPS 13151 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8584.151
AT ITER 706 NEW BEST:: SOT 28609 SOS 13159 HAS SOPS 13159 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8561.159
AT ITER 716 NEW BEST:: SOT 28602 SOS 13145 HAS SOPS 13145 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8554.145
AT ITER 718 NEW BEST:: SOT 28571 SOS 13107 HAS SOPS 13107 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8498.107
AT ITER 720 NEW BEST:: SOT 28563 SOS 13091 HAS SOPS 13091 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8484.091
AT ITER 727 NEW BEST:: SOT 28560 SOS 13085 HAS SOPS 13085 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8466.085
AT ITER 743 NEW BEST:: SOT 28533 SOS 13083 HAS SOPS 13083 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8464.083
AT ITER 763 NEW BEST:: SOT 28532 SOS 13084 HAS SOPS 13084 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8458.084
AT ITER 768 NEW BEST:: SOT 28508 SOS 13036 HAS SOPS 13036 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8434.036
AT ITER 771 NEW BEST:: SOT 28547 SOS 13027 HAS SOPS 13027 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8425.027
AT ITER 781 NEW BEST:: SOT 28496 SOS 13023 HAS SOPS 13023 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8421.023
AT ITER 804 NEW BEST:: SOT 28479 SOS 13006 HAS SOPS 13006 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8404.006
AT ITER 810 NEW BEST:: SOT 28429 SOS 12947 HAS SOPS 12947 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8372.947
AT ITER 813 NEW BEST:: SOT 28394 SOS 12877 HAS SOPS 12877 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8361.877
AT ITER 815 NEW BEST:: SOT 28391 SOS 12865 HAS SOPS 12865 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.865
AT ITER 817 NEW BEST:: SOT 28352 SOS 12834 HAS SOPS 12834 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8335.834
AT ITER 842 NEW BEST:: SOT 28342 SOS 12810 HAS SOPS 12810 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8329.81
AT ITER 876 NEW BEST:: SOT 28321 SOS 12789 HAS SOPS 12789 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8295.789
AT ITER 883 NEW BEST:: SOT 28272 SOS 12691 HAS SOPS 12691 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8250.691
AT ITER 886 NEW BEST:: SOT 28252 SOS 12661 HAS SOPS 12661 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8210.661
AT ITER 894 NEW BEST:: SOT 28247 SOS 12651 HAS SOPS 12651 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8200.651
AT ITER 914 NEW BEST:: SOT 28235 SOS 12633 HAS SOPS 12633 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8182.633
AT ITER 917 NEW BEST:: SOT 28221 SOS 12605 HAS SOPS 12605 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8168.605
AT ITER 919 NEW BEST:: SOT 28208 SOS 12579 HAS SOPS 12579 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8142.579
AT ITER 921 NEW BEST:: SOT 28208 SOS 12579 HAS SOPS 12579 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8135.579
AT ITER 925 NEW BEST:: SOT 28208 SOS 12579 HAS SOPS 12579 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8131.579
AT ITER 933 NEW BEST:: SOT 28206 SOS 12577 HAS SOPS 12577 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8127.577
AT ITER 946 NEW BEST:: SOT 28201 SOS 12548 HAS SOPS 12548 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8103.548
AT ITER 960 NEW BEST:: SOT 28195 SOS 12536 HAS SOPS 12536 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8102.536
AT ITER 964 NEW BEST:: SOT 28188 SOS 12522 HAS SOPS 12522 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8101.522
AT ITER 969 NEW BEST:: SOT 28182 SOS 12510 HAS SOPS 12510 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8089.51
AT ITER 974 NEW BEST:: SOT 28160 SOS 12489 HAS SOPS 12489 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8053.489
AT ITER 975 NEW BEST:: SOT 28167 SOS 12433 HAS SOPS 12433 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8039.433
AT ITER 983 NEW BEST:: SOT 28117 SOS 12333 HAS SOPS 12333 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8005.333
AT ITER 993 NEW BEST:: SOT 28086 SOS 12422 HAS SOPS 12422 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7991.422
AT ITER 1003 NEW BEST:: SOT 28086 SOS 12409 HAS SOPS 12409 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7991.409
AT ITER 1006 NEW BEST:: SOT 28070 SOS 12377 HAS SOPS 12377 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7959.377
AT ITER 1007 NEW BEST:: SOT 28068 SOS 12356 HAS SOPS 12356 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7940.356
AT ITER 1011 NEW BEST:: SOT 28063 SOS 12317 HAS SOPS 12317 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7930.317
AT ITER 1012 NEW BEST:: SOT 28059 SOS 12293 HAS SOPS 12293 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7906.293
AT ITER 1017 NEW BEST:: SOT 28059 SOS 12282 HAS SOPS 12282 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7895.282
AT ITER 1046 NEW BEST:: SOT 28051 SOS 12258 HAS SOPS 12258 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7879.258
AT ITER 1049 NEW BEST:: SOT 27982 SOS 12262 HAS SOPS 12262 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.262
AT ITER 1050 NEW BEST:: SOT 27978 SOS 12254 HAS SOPS 12254 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.254
AT ITER 1057 NEW BEST:: SOT 27970 SOS 12238 HAS SOPS 12238 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7840.238
AT ITER 1059 NEW BEST:: SOT 27959 SOS 12216 HAS SOPS 12216 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7831.216
AT ITER 1063 NEW BEST:: SOT 27957 SOS 12211 HAS SOPS 12211 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7824.211
AT ITER 1076 NEW BEST:: SOT 27933 SOS 12163 HAS SOPS 12163 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7814.163
AT ITER 1100 NEW BEST:: SOT 27933 SOS 12160 HAS SOPS 12160 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7811.16
AT ITER 1102 NEW BEST:: SOT 27888 SOS 12392 HAS SOPS 12392 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7791.392
AT ITER 1104 NEW BEST:: SOT 27827 SOS 12344 HAS SOPS 12344 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7763.344
AT ITER 1115 NEW BEST:: SOT 27828 SOS 12336 HAS SOPS 12336 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7761.336
AT ITER 1117 NEW BEST:: SOT 27815 SOS 12310 HAS SOPS 12310 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7715.31
AT ITER 1172 NEW BEST:: SOT 27797 SOS 12274 HAS SOPS 12274 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7703.274
AT ITER 1174 NEW BEST:: SOT 27780 SOS 12240 HAS SOPS 12240 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7679.24
AT ITER 1197 NEW BEST:: SOT 27776 SOS 12217 HAS SOPS 12217 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7671.217
AT ITER 1198 NEW BEST:: SOT 27714 SOS 12120 HAS SOPS 12120 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7582.12
AT ITER 1207 NEW BEST:: SOT 27699 SOS 12114 HAS SOPS 12114 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7576.114
AT ITER 1226 NEW BEST:: SOT 27633 SOS 12048 HAS SOPS 12048 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7496.048
AT ITER 1247 NEW BEST:: SOT 27648 SOS 12039 HAS SOPS 12039 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7472.039
AT ITER 1255 NEW BEST:: SOT 27651 SOS 12040 HAS SOPS 12040 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7465.04
AT ITER 1256 NEW BEST:: SOT 27627 SOS 11992 HAS SOPS 11992 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7439.992
AT ITER 1262 NEW BEST:: SOT 27625 SOS 11988 HAS SOPS 11988 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7437.988
AT ITER 1266 NEW BEST:: SOT 27625 SOS 11980 HAS SOPS 11980 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7433.98
AT ITER 1269 NEW BEST:: SOT 27625 SOS 11969 HAS SOPS 11969 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7422.969
AT ITER 1271 NEW BEST:: SOT 27585 SOS 11914 HAS SOPS 11914 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7382.914
AT ITER 1294 NEW BEST:: SOT 27576 SOS 11905 HAS SOPS 11905 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7373.905
AT ITER 1308 NEW BEST:: SOT 27576 SOS 11905 HAS SOPS 11905 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7371.905
AT ITER 1312 NEW BEST:: SOT 27560 SOS 11863 HAS SOPS 11863 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7333.863
AT ITER 1322 NEW BEST:: SOT 27499 SOS 11762 HAS SOPS 11762 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7211.762
AT ITER 1329 NEW BEST:: SOT 27490 SOS 11750 HAS SOPS 11750 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7191.75
AT ITER 1337 NEW BEST:: SOT 27461 SOS 11692 HAS SOPS 11692 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7159.692
AT ITER 1345 NEW BEST:: SOT 27402 SOS 11574 HAS SOPS 11574 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7067.574
AT ITER 1359 NEW BEST:: SOT 27366 SOS 11538 HAS SOPS 11538 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7031.538
AT ITER 1368 NEW BEST:: SOT 27355 SOS 11516 HAS SOPS 11516 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.516
AT ITER 1374 NEW BEST:: SOT 27352 SOS 11510 HAS SOPS 11510 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.51
AT ITER 1393 NEW BEST:: SOT 27352 SOS 11510 HAS SOPS 11510 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6994.51
AT ITER 1394 NEW BEST:: SOT 27341 SOS 11488 HAS SOPS 11488 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6968.488
AT ITER 1397 NEW BEST:: SOT 27339 SOS 11475 HAS SOPS 11475 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.475
AT ITER 1405 NEW BEST:: SOT 27339 SOS 11475 HAS SOPS 11475 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6928.475
AT ITER 1414 NEW BEST:: SOT 27322 SOS 11475 HAS SOPS 11475 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6911.475
AT ITER 1415 NEW BEST:: SOT 27331 SOS 11479 HAS SOPS 11479 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6864.479
AT ITER 1416 NEW BEST:: SOT 27336 SOS 11464 HAS SOPS 11464 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6834.464
AT ITER 1426 NEW BEST:: SOT 27335 SOS 11463 HAS SOPS 11463 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6833.463
AT ITER 1439 NEW BEST:: SOT 27323 SOS 11451 HAS SOPS 11451 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6821.451
AT ITER 1446 NEW BEST:: SOT 27311 SOS 11435 HAS SOPS 11435 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6805.435
AT ITER 1448 NEW BEST:: SOT 27307 SOS 11427 HAS SOPS 11427 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6797.427
AT ITER 1452 NEW BEST:: SOT 27306 SOS 11425 HAS SOPS 11425 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6755.425
AT ITER 1494 NEW BEST:: SOT 27290 SOS 11393 HAS SOPS 11393 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6719.393
AT ITER 1504 NEW BEST:: SOT 27291 SOS 11376 HAS SOPS 11376 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6716.376
AT ITER 1558 NEW BEST:: SOT 27307 SOS 11353 HAS SOPS 11353 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6693.353
AT ITER 1571 NEW BEST:: SOT 27269 SOS 11278 HAS SOPS 11278 HAS SOUS 6631 HAS SOUPS 6631 WITH SCORE 6642.278
AT ITER 1583 NEW BEST:: SOT 27267 SOS 11278 HAS SOPS 11278 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6638.278
AT ITER 1589 NEW BEST:: SOT 27274 SOS 11231 HAS SOPS 11231 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6637.231
AT ITER 1591 NEW BEST:: SOT 27261 SOS 11228 HAS SOPS 11228 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6633.228
AT ITER 1618 NEW BEST:: SOT 27247 SOS 11214 HAS SOPS 11214 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6612.214
AT ITER 1641 NEW BEST:: SOT 27222 SOS 11164 HAS SOPS 11164 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6587.164
AT ITER 1646 NEW BEST:: SOT 27213 SOS 11151 HAS SOPS 11151 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6569.151
AT ITER 1663 NEW BEST:: SOT 27212 SOS 11138 HAS SOPS 11138 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6567.138
AT ITER 1689 NEW BEST:: SOT 27211 SOS 11137 HAS SOPS 11137 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6567.137
AT ITER 1708 NEW BEST:: SOT 27205 SOS 11148 HAS SOPS 11148 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6555.148
AT ITER 1709 NEW BEST:: SOT 27194 SOS 11137 HAS SOPS 11137 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6533.137
AT ITER 1727 NEW BEST:: SOT 27199 SOS 11153 HAS SOPS 11153 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6532.153
AT ITER 1742 NEW BEST:: SOT 27170 SOS 11193 HAS SOPS 11193 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6512.193
AT ITER 1772 NEW BEST:: SOT 27155 SOS 11171 HAS SOPS 11171 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6482.171
AT ITER 1782 NEW BEST:: SOT 27155 SOS 11143 HAS SOPS 11143 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6482.143
AT ITER 1800 NEW BEST:: SOT 27153 SOS 11142 HAS SOPS 11142 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6477.142
AT ITER 1813 NEW BEST:: SOT 27139 SOS 11128 HAS SOPS 11128 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6463.128
AT ITER 1854 NEW BEST:: SOT 27133 SOS 11116 HAS SOPS 11116 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6451.116
AT ITER 1893 NEW BEST:: SOT 27130 SOS 11104 HAS SOPS 11104 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6443.104
AT ITER 1919 NEW BEST:: SOT 27119 SOS 11111 HAS SOPS 11111 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6439.111
AT ITER 1928 NEW BEST:: SOT 27107 SOS 11095 HAS SOPS 11095 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6419.095
AT ITER 1929 NEW BEST:: SOT 27105 SOS 11132 HAS SOPS 11132 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6415.132
AT ITER 1932 NEW BEST:: SOT 27149 SOS 11169 HAS SOPS 11169 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6411.169
AT ITER 1943 NEW BEST:: SOT 27149 SOS 11164 HAS SOPS 11164 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6411.164
AT ITER 1953 NEW BEST:: SOT 27148 SOS 11162 HAS SOPS 11162 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6407.162
AT ITER 1968 NEW BEST:: SOT 27143 SOS 11152 HAS SOPS 11152 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6399.152
AT ITER 1987 NEW BEST:: SOT 27143 SOS 11141 HAS SOPS 11141 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6399.141
AT ITER 2011 NEW BEST:: SOT 27143 SOS 11149 HAS SOPS 11149 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6391.149
AT ITER 2045 NEW BEST:: SOT 27132 SOS 11129 HAS SOPS 11129 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6369.129
AT ITER 2050 NEW BEST:: SOT 27130 SOS 11127 HAS SOPS 11127 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6365.127
AT ITER 2055 NEW BEST:: SOT 27128 SOS 11123 HAS SOPS 11123 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6363.123
AT ITER 2064 NEW BEST:: SOT 27126 SOS 11119 HAS SOPS 11119 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6359.119
AT ITER 2067 NEW BEST:: SOT 27126 SOS 11119 HAS SOPS 11119 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6357.119
AT ITER 2115 NEW BEST:: SOT 27122 SOS 11111 HAS SOPS 11111 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6349.111
AT ITER 2129 NEW BEST:: SOT 27118 SOS 11143 HAS SOPS 11143 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6345.143
AT ITER 2130 NEW BEST:: SOT 27088 SOS 11083 HAS SOPS 11083 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6315.083
AT ITER 2143 NEW BEST:: SOT 27094 SOS 11075 HAS SOPS 11075 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6314.075
AT ITER 2184 NEW BEST:: SOT 27085 SOS 11073 HAS SOPS 11073 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6311.073
AT ITER 2197 NEW BEST:: SOT 27085 SOS 11069 HAS SOPS 11069 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6307.069
AT ITER 2217 NEW BEST:: SOT 27063 SOS 11047 HAS SOPS 11047 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6285.047
AT ITER 2219 NEW BEST:: SOT 27069 SOS 11038 HAS SOPS 11038 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6275.038
AT ITER 2223 NEW BEST:: SOT 27059 SOS 10994 HAS SOPS 10994 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6262.994
AT ITER 2235 NEW BEST:: SOT 27055 SOS 10986 HAS SOPS 10986 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.986
AT ITER 2252 NEW BEST:: SOT 27053 SOS 10987 HAS SOPS 10987 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6247.987
AT ITER 2281 NEW BEST:: SOT 26968 SOS 10930 HAS SOPS 10930 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6127.93
AT ITER 2302 NEW BEST:: SOT 26957 SOS 10924 HAS SOPS 10924 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.924
AT ITER 2304 NEW BEST:: SOT 26954 SOS 10923 HAS SOPS 10923 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6119.923
AT ITER 2314 NEW BEST:: SOT 26962 SOS 10910 HAS SOPS 10910 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6106.91
AT ITER 2335 NEW BEST:: SOT 26959 SOS 10907 HAS SOPS 10907 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6105.907
AT ITER 2367 NEW BEST:: SOT 26959 SOS 10887 HAS SOPS 10887 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6105.887
AT ITER 2375 NEW BEST:: SOT 26945 SOS 10850 HAS SOPS 10850 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6075.85
AT ITER 2400 NEW BEST:: SOT 26917 SOS 10796 HAS SOPS 10796 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6050.796
AT ITER 2416 NEW BEST:: SOT 26881 SOS 10679 HAS SOPS 10679 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5969.679
AT ITER 2437 NEW BEST:: SOT 26880 SOS 10683 HAS SOPS 10683 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5968.683
AT ITER 2465 NEW BEST:: SOT 26876 SOS 10677 HAS SOPS 10677 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5960.677
AT ITER 2466 NEW BEST:: SOT 26874 SOS 10685 HAS SOPS 10685 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5958.685
AT ITER 2526 NEW BEST:: SOT 26854 SOS 10655 HAS SOPS 10655 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5928.655
AT ITER 2530 NEW BEST:: SOT 26843 SOS 10651 HAS SOPS 10651 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5914.651
AT ITER 2535 NEW BEST:: SOT 26831 SOS 10627 HAS SOPS 10627 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5890.627
AT ITER 2563 NEW BEST:: SOT 26823 SOS 10616 HAS SOPS 10616 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5882.616
AT ITER 2590 NEW BEST:: SOT 26829 SOS 10645 HAS SOPS 10645 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5878.645
AT ITER 2617 NEW BEST:: SOT 26802 SOS 10561 HAS SOPS 10561 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5842.561
AT ITER 2618 NEW BEST:: SOT 26769 SOS 10512 HAS SOPS 10512 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5813.512
AT ITER 2639 NEW BEST:: SOT 26756 SOS 10530 HAS SOPS 10530 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5794.53
AT ITER 2724 NEW BEST:: SOT 26756 SOS 10528 HAS SOPS 10528 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5792.528
AT ITER 2729 NEW BEST:: SOT 26748 SOS 10504 HAS SOPS 10504 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5779.504
AT ITER 2798 NEW BEST:: SOT 26741 SOS 10490 HAS SOPS 10490 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5765.49
AT ITER 2800 NEW BEST:: SOT 26752 SOS 10500 HAS SOPS 10500 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5742.5
AT ITER 2824 NEW BEST:: SOT 26740 SOS 10488 HAS SOPS 10488 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5739.488
AT ITER 2865 NEW BEST:: SOT 26749 SOS 10474 HAS SOPS 10474 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.474
AT ITER 2890 NEW BEST:: SOT 26748 SOS 10472 HAS SOPS 10472 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5723.472
AT ITER 2916 NEW BEST:: SOT 26746 SOS 10469 HAS SOPS 10469 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5720.469
AT ITER 2921 NEW BEST:: SOT 26739 SOS 10462 HAS SOPS 10462 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5713.462
AT ITER 2958 NEW BEST:: SOT 26739 SOS 10449 HAS SOPS 10449 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5700.449
AT ITER 2975 NEW BEST:: SOT 26736 SOS 10443 HAS SOPS 10443 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5694.443
AT ITER 2983 NEW BEST:: SOT 26726 SOS 10431 HAS SOPS 10431 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5681.431
AT ITER 3020 NEW BEST:: SOT 26726 SOS 10431 HAS SOPS 10431 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5676.431
AT ITER 3037 NEW BEST:: SOT 26719 SOS 10416 HAS SOPS 10416 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5662.416
AT ITER 3048 NEW BEST:: SOT 26718 SOS 10413 HAS SOPS 10413 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5661.413
AT ITER 3116 NEW BEST:: SOT 26690 SOS 10385 HAS SOPS 10385 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5640.385
AT ITER 3133 NEW BEST:: SOT 26687 SOS 10382 HAS SOPS 10382 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5637.382
AT ITER 3135 NEW BEST:: SOT 26675 SOS 10358 HAS SOPS 10358 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5629.358
AT ITER 3160 NEW BEST:: SOT 26652 SOS 10312 HAS SOPS 10312 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5606.312
AT ITER 3162 NEW BEST:: SOT 26646 SOS 10301 HAS SOPS 10301 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5601.301
AT ITER 3203 NEW BEST:: SOT 26640 SOS 10289 HAS SOPS 10289 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5591.289
AT ITER 3275 NEW BEST:: SOT 26630 SOS 10279 HAS SOPS 10279 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5571.279
AT ITER 3276 NEW BEST:: SOT 26630 SOS 10275 HAS SOPS 10275 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5571.275
AT ITER 3332 NEW BEST:: SOT 26569 SOS 10261 HAS SOPS 10261 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5557.261
AT ITER 3355 NEW BEST:: SOT 26566 SOS 10245 HAS SOPS 10245 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5550.245
AT ITER 3358 NEW BEST:: SOT 26562 SOS 10233 HAS SOPS 10233 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5532.233
AT ITER 3368 NEW BEST:: SOT 26561 SOS 10205 HAS SOPS 10205 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5523.205
AT ITER 3512 NEW BEST:: SOT 26557 SOS 10197 HAS SOPS 10197 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5515.197
AT ITER 3546 NEW BEST:: SOT 26559 SOS 10201 HAS SOPS 10201 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5506.201
AT ITER 3550 NEW BEST:: SOT 26554 SOS 10191 HAS SOPS 10191 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5496.191
AT ITER 3551 NEW BEST:: SOT 26553 SOS 10179 HAS SOPS 10179 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5484.179
AT ITER 3622 NEW BEST:: SOT 26552 SOS 10189 HAS SOPS 10189 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5483.189
AT ITER 3635 NEW BEST:: SOT 26549 SOS 10183 HAS SOPS 10183 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5477.183
AT ITER 3640 NEW BEST:: SOT 26544 SOS 10190 HAS SOPS 10190 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5469.19
AT ITER 3671 NEW BEST:: SOT 26519 SOS 10190 HAS SOPS 10190 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5444.19
AT ITER 3672 NEW BEST:: SOT 26518 SOS 10189 HAS SOPS 10189 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5443.189
AT ITER 3695 NEW BEST:: SOT 26518 SOS 10189 HAS SOPS 10189 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5438.189
AT ITER 3821 NEW BEST:: SOT 26516 SOS 10185 HAS SOPS 10185 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5404.185
AT ITER 3885 NEW BEST:: SOT 26514 SOS 10181 HAS SOPS 10181 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5400.181
AT ITER 3914 NEW BEST:: SOT 26512 SOS 10177 HAS SOPS 10177 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5396.177
AT ITER 3926 NEW BEST:: SOT 26512 SOS 10175 HAS SOPS 10175 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5394.175
AT ITER 3943 NEW BEST:: SOT 26511 SOS 10178 HAS SOPS 10178 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5392.178
AT ITER 3953 NEW BEST:: SOT 26509 SOS 10174 HAS SOPS 10174 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5390.174
AT ITER 3954 NEW BEST:: SOT 26509 SOS 10174 HAS SOPS 10174 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5389.174
AT ITER 3999 NEW BEST:: SOT 26499 SOS 10424 HAS SOPS 10424 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5388.424
AT ITER 4032 NEW BEST:: SOT 26490 SOS 10406 HAS SOPS 10406 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5370.406
AT ITER 4046 NEW BEST:: SOT 26490 SOS 10318 HAS SOPS 10318 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5370.318
AT ITER 4083 NEW BEST:: SOT 26482 SOS 10302 HAS SOPS 10302 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5353.302
AT ITER 4088 NEW BEST:: SOT 26482 SOS 10281 HAS SOPS 10281 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5350.281
AT ITER 4117 NEW BEST:: SOT 26470 SOS 10253 HAS SOPS 10253 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5337.253
AT ITER 4138 NEW BEST:: SOT 26470 SOS 10246 HAS SOPS 10246 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5337.246
AT ITER 4166 NEW BEST:: SOT 26469 SOS 10244 HAS SOPS 10244 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5335.244
AT ITER 4183 NEW BEST:: SOT 26461 SOS 10240 HAS SOPS 10240 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5327.24
AT ITER 4197 NEW BEST:: SOT 26447 SOS 10212 HAS SOPS 10212 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5299.212
AT ITER 4199 NEW BEST:: SOT 26451 SOS 10200 HAS SOPS 10200 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5294.2
AT ITER 4207 NEW BEST:: SOT 26442 SOS 10176 HAS SOPS 10176 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5276.176
AT ITER 4229 NEW BEST:: SOT 26442 SOS 10175 HAS SOPS 10175 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5275.175
AT ITER 4281 NEW BEST:: SOT 26437 SOS 10170 HAS SOPS 10170 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5265.17
AT ITER 4292 NEW BEST:: SOT 26444 SOS 10184 HAS SOPS 10184 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5258.184
AT ITER 4316 NEW BEST:: SOT 26435 SOS 10178 HAS SOPS 10178 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5237.178
AT ITER 4392 NEW BEST:: SOT 26434 SOS 10176 HAS SOPS 10176 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5232.176
AT ITER 4397 NEW BEST:: SOT 26431 SOS 10170 HAS SOPS 10170 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5227.17
AT ITER 4402 NEW BEST:: SOT 26429 SOS 10168 HAS SOPS 10168 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5225.168
AT ITER 4424 NEW BEST:: SOT 26424 SOS 10158 HAS SOPS 10158 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5220.158
AT ITER 4469 NEW BEST:: SOT 26419 SOS 10165 HAS SOPS 10165 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5210.165
AT ITER 4496 NEW BEST:: SOT 26419 SOS 10162 HAS SOPS 10162 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5210.162
AT ITER 4516 NEW BEST:: SOT 26415 SOS 10154 HAS SOPS 10154 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5206.154
AT ITER 4519 NEW BEST:: SOT 26418 SOS 10160 HAS SOPS 10160 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5201.16
AT ITER 4544 NEW BEST:: SOT 26415 SOS 10167 HAS SOPS 10167 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5196.167
AT ITER 4574 NEW BEST:: SOT 26415 SOS 10167 HAS SOPS 10167 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5195.167
AT ITER 4606 NEW BEST:: SOT 26408 SOS 10156 HAS SOPS 10156 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5185.156
AT ITER 4634 NEW BEST:: SOT 26408 SOS 10157 HAS SOPS 10157 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5184.157
AT ITER 4666 NEW BEST:: SOT 26405 SOS 10158 HAS SOPS 10158 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5181.158
AT ITER 4739 NEW BEST:: SOT 26385 SOS 10130 HAS SOPS 10130 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5165.13
AT ITER 4788 NEW BEST:: SOT 26381 SOS 10161 HAS SOPS 10161 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5157.161
AT ITER 4829 NEW BEST:: SOT 26380 SOS 10158 HAS SOPS 10158 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5154.158
AT ITER 4866 NEW BEST:: SOT 26377 SOS 10152 HAS SOPS 10152 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5151.152
AT ITER 4877 NEW BEST:: SOT 26375 SOS 10150 HAS SOPS 10150 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5147.15
AT ITER 4880 NEW BEST:: SOT 26372 SOS 10147 HAS SOPS 10147 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5147.147
AT ITER 4881 NEW BEST:: SOT 26369 SOS 10141 HAS SOPS 10141 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5141.141
AT ITER 4887 NEW BEST:: SOT 26367 SOS 10149 HAS SOPS 10149 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5136.149
AT ITER 4894 NEW BEST:: SOT 26367 SOS 10142 HAS SOPS 10142 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5136.142
AT ITER 4963 NEW BEST:: SOT 26374 SOS 10104 HAS SOPS 10104 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5133.104
AT ITER 4968 NEW BEST:: SOT 26372 SOS 10095 HAS SOPS 10095 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5129.095
AT ITER 4970 NEW BEST:: SOT 26372 SOS 10095 HAS SOPS 10095 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5128.095
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-00 (EF( ((potential((tk(P153)>=1) & (tk(P211)>=1))))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-01 (AF( ((potential((tk(P81)>=1))))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-02 (! (AF( (EX( ( ((potential((tk(P148)>=1)))) & ((potential((tk(P44)>=1)))) ))))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-03 (! (EF( ( ((potential((tk(P98)>=1)))) | ((potential((tk(P200)>=1)))) ))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-04 (EG( (EU( (! ((potential((tk(P161)>=1))))) , ( ((potential((tk(P74)>=1)))) | ((potential((tk(P38)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-05 (AG( (EX( ( ( ((potential((tk(P155)>=1)))) | ((potential((tk(P158)>=1) & (tk(P204)>=1)))) ) | (! ((potential((tk(P63)>=1))))) )))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-06 (EF( ( ((potential((tk(P209)>=1)))) | ( (EG( ((potential((tk(P127)>=1)))))) | ((potential((tk(P43)>=1) & (tk(P211)>=1)))) ) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-07 (EF( (EX( ( (! ((potential((tk(P155)>=1))))) & ((potential((tk(P70)>=1) & (tk(P211)>=1)))) )))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-08 (AX( ( ( (AG( ((potential((tk(P122)>=1) & (tk(P204)>=1)))))) | (! (! ((potential((tk(P177)>=1)))))) ) | (AF( ( ((potential((tk(P155)>=1)))) | ((potential((tk(P96)>=1)))) ))) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-09 ( (EG( (! ( ((potential((tk(P151)>=1) & (tk(P211)>=1)))) | (! ((potential((tk(P85)>=1))))) )))) | (AG( (! (EX( ((potential((tk(P63)>=1))))))))) )
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-10 ( (EF( (AF( ((potential((tk(P14)>=1) & (tk(P204)>=1)))))))) | ( (AG( ((potential((tk(P9)>=1)))))) | ((potential((tk(P40)>=1)))) ) )
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-11 (AF( (EX( ( ((potential((tk(P100)>=1)))) & (! ((potential((tk(P54)>=1))))) )))))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-12 (EU( ( (! ((potential((tk(P115)>=1) & (tk(P204)>=1))))) & ((potential((tk(P167)>=1) & (tk(P204)>=1)))) ) , (AF( ( ((potential((tk(P101)>=1)))) | ((potential((tk(P201)>=1)))) ))) ))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-13 ( (EG( (! ((potential((tk(P23)>=1) & (tk(P204)>=1))))))) & ( (AF( (AF( ((potential((tk(P155)>=1)))))))) | ( ((potential((tk(P201)>=1)))) & ((potential((tk(P193)>=1)))) ) ) )
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-14 (AG( ( (! (EX( ((potential((tk(P57)>=1))))))) | (! ( ( ((potential((tk(P58)>=1)))) | ((potential((tk(P152)>=1)))) ) & ( ((potential((tk(P172)>=1)))) & ((potential((tk(P68)>=1) & (tk(P204)>=1)))) ) )) )))
PROPERTY: DiscoveryGPU-PT-07b-CTLFireability-15 ( (EF( (AU( ((potential((tk(P131)>=1) & (tk(P204)>=1)))) , ((potential((tk(P128)>=1)))) )))) | ( ( (EF( ((potential((tk(P155)>=1)))))) | (AU( ((potential((tk(P117)>=1)))) , ((potential((tk(P183)>=1) & (tk(P204)>=1)))) )) ) & ( (AF( ( ((potential((tk(P37)>=1)))) | ((potential((tk(P193)>=1)))) ))) & (AF( ( ((potential((tk(P70)>=1) & (tk(P211)>=1)))) | ((potential((tk(P74)>=1)))) ))) ) ) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="DiscoveryGPU-PT-07b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-07b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807700612"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-07b.tgz
mv DiscoveryGPU-PT-07b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;