About the Execution of smart for LamportFastMutEx-PT-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.680 | 2153381.00 | 2153020.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r093-oct2-158940140900680.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is LamportFastMutEx-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140900680
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 7.0K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 63K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 200K Apr 30 13:04 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 1589618968994
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 217 places, 420 transitions, 1834 arcs.
AT ITER 0 NEW BEST:: SOT 41910 SOS 26093 HAS SOPS 23376 HAS SOUS 20093 HAS SOUPS 18690 WITH SCORE 18716.093
AT ITER 2 NEW BEST:: SOT 41914 SOS 26107 HAS SOPS 23390 HAS SOUS 20067 HAS SOUPS 18664 WITH SCORE 18690.107
AT ITER 12 NEW BEST:: SOT 41610 SOS 25869 HAS SOPS 23152 HAS SOUS 19778 HAS SOUPS 18375 WITH SCORE 18400.869
AT ITER 20 NEW BEST:: SOT 41274 SOS 25587 HAS SOPS 22780 HAS SOUS 19454 HAS SOUPS 18003 WITH SCORE 18028.587
AT ITER 23 NEW BEST:: SOT 41299 SOS 25656 HAS SOPS 22849 HAS SOUS 19399 HAS SOUPS 17948 WITH SCORE 17973.656
AT ITER 24 NEW BEST:: SOT 41299 SOS 25639 HAS SOPS 22832 HAS SOUS 19382 HAS SOUPS 17931 WITH SCORE 17956.639
AT ITER 25 NEW BEST:: SOT 41299 SOS 25590 HAS SOPS 22783 HAS SOUS 19333 HAS SOUPS 17882 WITH SCORE 17907.59
AT ITER 29 NEW BEST:: SOT 41349 SOS 25660 HAS SOPS 22853 HAS SOUS 19179 HAS SOUPS 17728 WITH SCORE 17753.66
AT ITER 31 NEW BEST:: SOT 41417 SOS 25766 HAS SOPS 22959 HAS SOUS 18989 HAS SOUPS 17538 WITH SCORE 17563.766
AT ITER 42 NEW BEST:: SOT 41417 SOS 25766 HAS SOPS 22955 HAS SOUS 18989 HAS SOUPS 17534 WITH SCORE 17559.766
AT ITER 52 NEW BEST:: SOT 41208 SOS 25649 HAS SOPS 22838 HAS SOUS 18826 HAS SOUPS 17371 WITH SCORE 17396.649
AT ITER 59 NEW BEST:: SOT 41112 SOS 25719 HAS SOPS 22726 HAS SOUS 18797 HAS SOUPS 17259 WITH SCORE 17284.719
AT ITER 69 NEW BEST:: SOT 41112 SOS 25684 HAS SOPS 22691 HAS SOUS 18762 HAS SOUPS 17224 WITH SCORE 17249.684
AT ITER 73 NEW BEST:: SOT 41104 SOS 25676 HAS SOPS 22683 HAS SOUS 18754 HAS SOUPS 17216 WITH SCORE 17241.676
AT ITER 79 NEW BEST:: SOT 41006 SOS 25614 HAS SOPS 22621 HAS SOUS 18674 HAS SOUPS 17136 WITH SCORE 17161.614
AT ITER 80 NEW BEST:: SOT 41006 SOS 25587 HAS SOPS 22594 HAS SOUS 18647 HAS SOUPS 17109 WITH SCORE 17134.587
AT ITER 83 NEW BEST:: SOT 41039 SOS 25664 HAS SOPS 22671 HAS SOUS 18568 HAS SOUPS 17030 WITH SCORE 17055.664
AT ITER 89 NEW BEST:: SOT 41039 SOS 25629 HAS SOPS 22636 HAS SOUS 18533 HAS SOUPS 16995 WITH SCORE 17020.629
AT ITER 90 NEW BEST:: SOT 40962 SOS 25590 HAS SOPS 22559 HAS SOUS 18358 HAS SOUPS 16782 WITH SCORE 16807.59
AT ITER 91 NEW BEST:: SOT 40958 SOS 25589 HAS SOPS 22546 HAS SOUS 18345 HAS SOUPS 16769 WITH SCORE 16794.589
AT ITER 99 NEW BEST:: SOT 40613 SOS 25368 HAS SOPS 22201 HAS SOUS 18072 HAS SOUPS 16496 WITH SCORE 16521.368
AT ITER 103 NEW BEST:: SOT 40301 SOS 25096 HAS SOPS 21889 HAS SOUS 17800 HAS SOUPS 16184 WITH SCORE 16209.096
AT ITER 110 NEW BEST:: SOT 40216 SOS 25025 HAS SOPS 21804 HAS SOUS 17729 HAS SOUPS 16099 WITH SCORE 16124.025
AT ITER 115 NEW BEST:: SOT 39730 SOS 24715 HAS SOPS 21494 HAS SOUS 17328 HAS SOUPS 15698 WITH SCORE 15722.715
AT ITER 129 NEW BEST:: SOT 39730 SOS 24659 HAS SOPS 21438 HAS SOUS 17314 HAS SOUPS 15684 WITH SCORE 15708.659
AT ITER 133 NEW BEST:: SOT 39759 SOS 24699 HAS SOPS 21478 HAS SOUS 17238 HAS SOUPS 15608 WITH SCORE 15632.699
AT ITER 134 NEW BEST:: SOT 39819 SOS 24524 HAS SOPS 21538 HAS SOUS 17187 HAS SOUPS 15596 WITH SCORE 15620.524
AT ITER 149 NEW BEST:: SOT 39819 SOS 24522 HAS SOPS 21517 HAS SOUS 17166 HAS SOUPS 15575 WITH SCORE 15599.522
AT ITER 162 NEW BEST:: SOT 39758 SOS 24476 HAS SOPS 21456 HAS SOUS 17120 HAS SOUPS 15514 WITH SCORE 15538.476
AT ITER 175 NEW BEST:: SOT 39844 SOS 24586 HAS SOPS 21566 HAS SOUS 17062 HAS SOUPS 15456 WITH SCORE 15480.586
AT ITER 197 NEW BEST:: SOT 39709 SOS 24475 HAS SOPS 21412 HAS SOUS 16749 HAS SOUPS 15143 WITH SCORE 15167.475
AT ITER 204 NEW BEST:: SOT 39636 SOS 24429 HAS SOPS 21339 HAS SOUS 16703 HAS SOUPS 15070 WITH SCORE 15094.429
AT ITER 205 NEW BEST:: SOT 39657 SOS 24373 HAS SOPS 21178 HAS SOUS 16634 HAS SOUPS 15001 WITH SCORE 15025.373
AT ITER 208 NEW BEST:: SOT 39657 SOS 24339 HAS SOPS 21143 HAS SOUS 16599 HAS SOUPS 14966 WITH SCORE 14990.339
AT ITER 225 NEW BEST:: SOT 39633 SOS 24315 HAS SOPS 21119 HAS SOUS 16575 HAS SOUPS 14942 WITH SCORE 14966.315
AT ITER 271 NEW BEST:: SOT 39614 SOS 24302 HAS SOPS 21108 HAS SOUS 16558 HAS SOUPS 14927 WITH SCORE 14951.302
AT ITER 275 NEW BEST:: SOT 39078 SOS 23954 HAS SOPS 20760 HAS SOUS 16116 HAS SOUPS 14485 WITH SCORE 14508.954
AT ITER 277 NEW BEST:: SOT 39070 SOS 23938 HAS SOPS 20744 HAS SOUS 16108 HAS SOUPS 14477 WITH SCORE 14500.938
AT ITER 280 NEW BEST:: SOT 39016 SOS 23930 HAS SOPS 20690 HAS SOUS 16095 HAS SOUPS 14423 WITH SCORE 14446.93
AT ITER 287 NEW BEST:: SOT 38953 SOS 23916 HAS SOPS 20658 HAS SOUS 16078 HAS SOUPS 14391 WITH SCORE 14414.916
AT ITER 290 NEW BEST:: SOT 38949 SOS 23912 HAS SOPS 20654 HAS SOUS 16074 HAS SOUPS 14387 WITH SCORE 14410.912
AT ITER 296 NEW BEST:: SOT 38944 SOS 23908 HAS SOPS 20651 HAS SOUS 16057 HAS SOUPS 14371 WITH SCORE 14394.908
AT ITER 305 NEW BEST:: SOT 38944 SOS 23723 HAS SOPS 20466 HAS SOUS 16045 HAS SOUPS 14359 WITH SCORE 14382.723
AT ITER 310 NEW BEST:: SOT 38927 SOS 23758 HAS SOPS 20480 HAS SOUS 16032 HAS SOUPS 14346 WITH SCORE 14369.758
AT ITER 312 NEW BEST:: SOT 38921 SOS 23754 HAS SOPS 20474 HAS SOUS 16028 HAS SOUPS 14340 WITH SCORE 14363.754
AT ITER 316 NEW BEST:: SOT 38921 SOS 23745 HAS SOPS 20465 HAS SOUS 16019 HAS SOUPS 14331 WITH SCORE 14354.745
AT ITER 318 NEW BEST:: SOT 38979 SOS 23847 HAS SOPS 20449 HAS SOUS 15981 HAS SOUPS 14293 WITH SCORE 14316.847
AT ITER 361 NEW BEST:: SOT 38922 SOS 24019 HAS SOPS 20390 HAS SOUS 16005 HAS SOUPS 14234 WITH SCORE 14258.019
AT ITER 362 NEW BEST:: SOT 38919 SOS 24016 HAS SOPS 20387 HAS SOUS 16002 HAS SOUPS 14231 WITH SCORE 14255.016
AT ITER 365 NEW BEST:: SOT 38872 SOS 23969 HAS SOPS 20319 HAS SOUS 15943 HAS SOUPS 14163 WITH SCORE 14186.969
AT ITER 376 NEW BEST:: SOT 38844 SOS 23941 HAS SOPS 20291 HAS SOUS 15915 HAS SOUPS 14135 WITH SCORE 14158.941
AT ITER 379 NEW BEST:: SOT 38844 SOS 23865 HAS SOPS 20215 HAS SOUS 15909 HAS SOUPS 14129 WITH SCORE 14152.865
AT ITER 386 NEW BEST:: SOT 38791 SOS 23812 HAS SOPS 20159 HAS SOUS 15853 HAS SOUPS 14073 WITH SCORE 14096.812
AT ITER 388 NEW BEST:: SOT 38775 SOS 23796 HAS SOPS 20143 HAS SOUS 15837 HAS SOUPS 14057 WITH SCORE 14080.796
AT ITER 390 NEW BEST:: SOT 38727 SOS 23736 HAS SOPS 20027 HAS SOUS 15727 HAS SOUPS 13947 WITH SCORE 13970.736
AT ITER 394 NEW BEST:: SOT 38707 SOS 23731 HAS SOPS 19959 HAS SOUS 15550 HAS SOUPS 13770 WITH SCORE 13793.731
AT ITER 396 NEW BEST:: SOT 38707 SOS 23713 HAS SOPS 19941 HAS SOUS 15532 HAS SOUPS 13752 WITH SCORE 13775.713
AT ITER 398 NEW BEST:: SOT 38673 SOS 23679 HAS SOPS 19907 HAS SOUS 15498 HAS SOUPS 13718 WITH SCORE 13741.679
AT ITER 405 NEW BEST:: SOT 38670 SOS 23673 HAS SOPS 19901 HAS SOUS 15495 HAS SOUPS 13715 WITH SCORE 13738.673
AT ITER 406 NEW BEST:: SOT 38670 SOS 23669 HAS SOPS 19860 HAS SOUS 15454 HAS SOUPS 13674 WITH SCORE 13697.669
AT ITER 412 NEW BEST:: SOT 38670 SOS 23644 HAS SOPS 19835 HAS SOUS 15429 HAS SOUPS 13649 WITH SCORE 13672.644
AT ITER 433 NEW BEST:: SOT 38668 SOS 23643 HAS SOPS 19833 HAS SOUS 15428 HAS SOUPS 13647 WITH SCORE 13670.643
AT ITER 434 NEW BEST:: SOT 38558 SOS 23577 HAS SOPS 19767 HAS SOUS 15340 HAS SOUPS 13559 WITH SCORE 13582.577
AT ITER 436 NEW BEST:: SOT 38547 SOS 23566 HAS SOPS 19750 HAS SOUS 15329 HAS SOUPS 13542 WITH SCORE 13565.566
AT ITER 439 NEW BEST:: SOT 38462 SOS 23541 HAS SOPS 19604 HAS SOUS 15153 HAS SOUPS 13366 WITH SCORE 13389.541
AT ITER 461 NEW BEST:: SOT 38401 SOS 23459 HAS SOPS 19522 HAS SOUS 15115 HAS SOUPS 13328 WITH SCORE 13351.459
AT ITER 471 NEW BEST:: SOT 38407 SOS 23455 HAS SOPS 19494 HAS SOUS 15098 HAS SOUPS 13300 WITH SCORE 13323.455
AT ITER 484 NEW BEST:: SOT 38407 SOS 23447 HAS SOPS 19485 HAS SOUS 15089 HAS SOUPS 13291 WITH SCORE 13314.447
AT ITER 509 NEW BEST:: SOT 38401 SOS 23403 HAS SOPS 19454 HAS SOUS 15077 HAS SOUPS 13279 WITH SCORE 13302.403
AT ITER 514 NEW BEST:: SOT 38404 SOS 23409 HAS SOPS 19460 HAS SOUS 15071 HAS SOUPS 13273 WITH SCORE 13296.409
AT ITER 546 NEW BEST:: SOT 38538 SOS 23322 HAS SOPS 19175 HAS SOUS 15029 HAS SOUPS 13231 WITH SCORE 13254.322
AT ITER 547 NEW BEST:: SOT 38488 SOS 23272 HAS SOPS 19103 HAS SOUS 14957 HAS SOUPS 13159 WITH SCORE 13182.272
AT ITER 551 NEW BEST:: SOT 38476 SOS 23259 HAS SOPS 19101 HAS SOUS 14955 HAS SOUPS 13157 WITH SCORE 13180.259
AT ITER 585 NEW BEST:: SOT 38468 SOS 23660 HAS SOPS 19088 HAS SOUS 15115 HAS SOUPS 13144 WITH SCORE 13167.66
AT ITER 586 NEW BEST:: SOT 38419 SOS 23679 HAS SOPS 19024 HAS SOUS 15163 HAS SOUPS 13080 WITH SCORE 13103.679
AT ITER 591 NEW BEST:: SOT 38383 SOS 23655 HAS SOPS 19000 HAS SOUS 15133 HAS SOUPS 13050 WITH SCORE 13073.655
AT ITER 614 NEW BEST:: SOT 38371 SOS 23655 HAS SOPS 18988 HAS SOUS 15121 HAS SOUPS 13038 WITH SCORE 13061.655
AT ITER 618 NEW BEST:: SOT 38055 SOS 23452 HAS SOPS 18672 HAS SOUS 15057 HAS SOUPS 12886 WITH SCORE 12909.452
AT ITER 634 NEW BEST:: SOT 37901 SOS 23339 HAS SOPS 18518 HAS SOUS 15098 HAS SOUPS 12884 WITH SCORE 12907.339
AT ITER 639 NEW BEST:: SOT 37885 SOS 23323 HAS SOPS 18502 HAS SOUS 15082 HAS SOUPS 12868 WITH SCORE 12891.323
AT ITER 641 NEW BEST:: SOT 37876 SOS 23302 HAS SOPS 18480 HAS SOUS 15060 HAS SOUPS 12846 WITH SCORE 12869.302
AT ITER 646 NEW BEST:: SOT 37856 SOS 23262 HAS SOPS 18417 HAS SOUS 14997 HAS SOUPS 12783 WITH SCORE 12806.262
AT ITER 655 NEW BEST:: SOT 37833 SOS 23239 HAS SOPS 18387 HAS SOUS 14967 HAS SOUPS 12753 WITH SCORE 12776.239
AT ITER 659 NEW BEST:: SOT 37833 SOS 23236 HAS SOPS 18384 HAS SOUS 14964 HAS SOUPS 12750 WITH SCORE 12773.236
AT ITER 678 NEW BEST:: SOT 37814 SOS 23215 HAS SOPS 18343 HAS SOUS 14938 HAS SOUPS 12709 WITH SCORE 12732.215
AT ITER 687 NEW BEST:: SOT 37816 SOS 23224 HAS SOPS 18341 HAS SOUS 14936 HAS SOUPS 12707 WITH SCORE 12730.224
AT ITER 729 NEW BEST:: SOT 37795 SOS 23175 HAS SOPS 18289 HAS SOUS 14884 HAS SOUPS 12655 WITH SCORE 12678.175
AT ITER 740 NEW BEST:: SOT 37790 SOS 23172 HAS SOPS 18286 HAS SOUS 14880 HAS SOUPS 12651 WITH SCORE 12674.172
AT ITER 744 NEW BEST:: SOT 37716 SOS 23098 HAS SOPS 18138 HAS SOUS 14732 HAS SOUPS 12503 WITH SCORE 12526.098
AT ITER 746 NEW BEST:: SOT 37674 SOS 23056 HAS SOPS 18096 HAS SOUS 14730 HAS SOUPS 12501 WITH SCORE 12524.056
AT ITER 751 NEW BEST:: SOT 37648 SOS 23030 HAS SOPS 18070 HAS SOUS 14704 HAS SOUPS 12475 WITH SCORE 12498.03
AT ITER 756 NEW BEST:: SOT 37635 SOS 23023 HAS SOPS 18067 HAS SOUS 14634 HAS SOUPS 12409 WITH SCORE 12432.023
AT ITER 757 NEW BEST:: SOT 37635 SOS 23009 HAS SOPS 18053 HAS SOUS 14627 HAS SOUPS 12402 WITH SCORE 12425.009
AT ITER 774 NEW BEST:: SOT 37639 SOS 23017 HAS SOPS 18061 HAS SOUS 14619 HAS SOUPS 12394 WITH SCORE 12417.017
AT ITER 799 NEW BEST:: SOT 37631 SOS 23009 HAS SOPS 18053 HAS SOUS 14611 HAS SOUPS 12386 WITH SCORE 12409.009
AT ITER 808 NEW BEST:: SOT 37630 SOS 23008 HAS SOPS 18051 HAS SOUS 14610 HAS SOUPS 12384 WITH SCORE 12407.008
AT ITER 812 NEW BEST:: SOT 37296 SOS 22757 HAS SOPS 17701 HAS SOUS 14364 HAS SOUPS 12034 WITH SCORE 12056.757
AT ITER 833 NEW BEST:: SOT 37296 SOS 22753 HAS SOPS 17701 HAS SOUS 14366 HAS SOUPS 12034 WITH SCORE 12056.753
AT ITER 846 NEW BEST:: SOT 37268 SOS 22725 HAS SOPS 17645 HAS SOUS 14340 HAS SOUPS 11978 WITH SCORE 12000.725
AT ITER 848 NEW BEST:: SOT 37274 SOS 22731 HAS SOPS 17657 HAS SOUS 14328 HAS SOUPS 11966 WITH SCORE 11988.731
AT ITER 849 NEW BEST:: SOT 37274 SOS 22717 HAS SOPS 17643 HAS SOUS 14324 HAS SOUPS 11962 WITH SCORE 11984.717
AT ITER 851 NEW BEST:: SOT 37274 SOS 22731 HAS SOPS 17633 HAS SOUS 14314 HAS SOUPS 11952 WITH SCORE 11974.731
AT ITER 861 NEW BEST:: SOT 37273 SOS 22730 HAS SOPS 17632 HAS SOUS 14313 HAS SOUPS 11951 WITH SCORE 11973.73
AT ITER 873 NEW BEST:: SOT 37244 SOS 22701 HAS SOPS 17599 HAS SOUS 14272 HAS SOUPS 11918 WITH SCORE 11940.701
AT ITER 899 NEW BEST:: SOT 37191 SOS 22648 HAS SOPS 17546 HAS SOUS 14219 HAS SOUPS 11865 WITH SCORE 11887.648
AT ITER 902 NEW BEST:: SOT 37172 SOS 22629 HAS SOPS 17511 HAS SOUS 14200 HAS SOUPS 11830 WITH SCORE 11852.629
AT ITER 920 NEW BEST:: SOT 37191 SOS 22674 HAS SOPS 17558 HAS SOUS 14178 HAS SOUPS 11810 WITH SCORE 11832.674
AT ITER 922 NEW BEST:: SOT 37156 SOS 22415 HAS SOPS 17298 HAS SOUS 14103 HAS SOUPS 11734 WITH SCORE 11756.415
AT ITER 954 NEW BEST:: SOT 36917 SOS 22222 HAS SOPS 17100 HAS SOUS 13866 HAS SOUPS 11496 WITH SCORE 11518.222
AT ITER 957 NEW BEST:: SOT 36887 SOS 22248 HAS SOPS 17126 HAS SOUS 13864 HAS SOUPS 11494 WITH SCORE 11516.248
AT ITER 959 NEW BEST:: SOT 36789 SOS 22174 HAS SOPS 16914 HAS SOUS 13640 HAS SOUPS 11270 WITH SCORE 11292.174
AT ITER 965 NEW BEST:: SOT 36689 SOS 22183 HAS SOPS 16786 HAS SOUS 13679 HAS SOUPS 11238 WITH SCORE 11260.183
AT ITER 967 NEW BEST:: SOT 36691 SOS 22185 HAS SOPS 16780 HAS SOUS 13681 HAS SOUPS 11232 WITH SCORE 11254.185
AT ITER 1003 NEW BEST:: SOT 36695 SOS 22205 HAS SOPS 16773 HAS SOUS 13667 HAS SOUPS 11216 WITH SCORE 11238.205
AT ITER 1017 NEW BEST:: SOT 36609 SOS 22119 HAS SOPS 16672 HAS SOUS 13573 HAS SOUPS 11115 WITH SCORE 11137.119
AT ITER 1019 NEW BEST:: SOT 36609 SOS 22117 HAS SOPS 16667 HAS SOUS 13568 HAS SOUPS 11110 WITH SCORE 11132.117
AT ITER 1024 NEW BEST:: SOT 36501 SOS 21680 HAS SOPS 16126 HAS SOUS 13294 HAS SOUPS 10836 WITH SCORE 10857.68
AT ITER 1040 NEW BEST:: SOT 36494 SOS 21687 HAS SOPS 16124 HAS SOUS 13273 HAS SOUPS 10815 WITH SCORE 10836.687
AT ITER 1055 NEW BEST:: SOT 36494 SOS 21684 HAS SOPS 16121 HAS SOUS 13270 HAS SOUPS 10812 WITH SCORE 10833.684
AT ITER 1057 NEW BEST:: SOT 36493 SOS 21683 HAS SOPS 16119 HAS SOUS 13269 HAS SOUPS 10810 WITH SCORE 10831.683
AT ITER 1064 NEW BEST:: SOT 36470 SOS 21620 HAS SOPS 16067 HAS SOUS 13243 HAS SOUPS 10784 WITH SCORE 10805.62
AT ITER 1067 NEW BEST:: SOT 36404 SOS 21554 HAS SOPS 15989 HAS SOUS 13221 HAS SOUPS 10726 WITH SCORE 10747.554
AT ITER 1075 NEW BEST:: SOT 36379 SOS 21546 HAS SOPS 15973 HAS SOUS 13217 HAS SOUPS 10717 WITH SCORE 10738.546
AT ITER 1088 NEW BEST:: SOT 36370 SOS 21528 HAS SOPS 15955 HAS SOUS 13199 HAS SOUPS 10699 WITH SCORE 10720.528
AT ITER 1108 NEW BEST:: SOT 36441 SOS 21599 HAS SOPS 15920 HAS SOUS 13164 HAS SOUPS 10664 WITH SCORE 10685.599
AT ITER 1145 NEW BEST:: SOT 36419 SOS 21577 HAS SOPS 15894 HAS SOUS 13142 HAS SOUPS 10638 WITH SCORE 10659.577
AT ITER 1161 NEW BEST:: SOT 36444 SOS 21602 HAS SOPS 15843 HAS SOUS 13145 HAS SOUPS 10635 WITH SCORE 10656.602
AT ITER 1211 NEW BEST:: SOT 36514 SOS 21662 HAS SOPS 15920 HAS SOUS 12978 HAS SOUPS 10479 WITH SCORE 10500.662
AT ITER 1215 NEW BEST:: SOT 36515 SOS 21663 HAS SOPS 15917 HAS SOUS 12977 HAS SOUPS 10476 WITH SCORE 10497.663
AT ITER 1225 NEW BEST:: SOT 36468 SOS 21612 HAS SOPS 15838 HAS SOUS 12898 HAS SOUPS 10397 WITH SCORE 10418.612
AT ITER 1250 NEW BEST:: SOT 36454 SOS 21594 HAS SOPS 15808 HAS SOUS 12870 HAS SOUPS 10369 WITH SCORE 10390.594
AT ITER 1256 NEW BEST:: SOT 36412 SOS 21622 HAS SOPS 15766 HAS SOUS 12882 HAS SOUPS 10327 WITH SCORE 10348.622
AT ITER 1286 NEW BEST:: SOT 36403 SOS 21613 HAS SOPS 15748 HAS SOUS 12873 HAS SOUPS 10309 WITH SCORE 10330.613
AT ITER 1308 NEW BEST:: SOT 36335 SOS 21545 HAS SOPS 15680 HAS SOUS 12805 HAS SOUPS 10241 WITH SCORE 10262.545
AT ITER 1352 NEW BEST:: SOT 36359 SOS 21542 HAS SOPS 15712 HAS SOUS 12781 HAS SOUPS 10241 WITH SCORE 10262.542
AT ITER 1371 NEW BEST:: SOT 36343 SOS 21501 HAS SOPS 15692 HAS SOUS 12744 HAS SOUPS 10221 WITH SCORE 10242.501
AT ITER 1382 NEW BEST:: SOT 36323 SOS 21481 HAS SOPS 15672 HAS SOUS 12704 HAS SOUPS 10181 WITH SCORE 10202.481
AT ITER 1411 NEW BEST:: SOT 36323 SOS 21470 HAS SOPS 15661 HAS SOUS 12693 HAS SOUPS 10170 WITH SCORE 10191.47
AT ITER 1416 NEW BEST:: SOT 36319 SOS 21594 HAS SOPS 15621 HAS SOUS 12797 HAS SOUPS 10130 WITH SCORE 10151.594
AT ITER 1427 NEW BEST:: SOT 36308 SOS 21583 HAS SOPS 15599 HAS SOUS 12777 HAS SOUPS 10108 WITH SCORE 10129.583
AT ITER 1429 NEW BEST:: SOT 36291 SOS 21566 HAS SOPS 15575 HAS SOUS 12753 HAS SOUPS 10084 WITH SCORE 10105.566
AT ITER 1451 NEW BEST:: SOT 36294 SOS 21572 HAS SOPS 15563 HAS SOUS 12741 HAS SOUPS 10072 WITH SCORE 10093.572
AT ITER 1475 NEW BEST:: SOT 36294 SOS 21590 HAS SOPS 15561 HAS SOUS 12730 HAS SOUPS 10061 WITH SCORE 10082.59
AT ITER 1484 NEW BEST:: SOT 36355 SOS 21579 HAS SOPS 15589 HAS SOUS 12668 HAS SOUPS 10015 WITH SCORE 10036.579
AT ITER 1485 NEW BEST:: SOT 36284 SOS 21494 HAS SOPS 15490 HAS SOUS 12600 HAS SOUPS 9933 WITH SCORE 9954.494
AT ITER 1501 NEW BEST:: SOT 36275 SOS 21479 HAS SOPS 15478 HAS SOUS 12591 HAS SOUPS 9924 WITH SCORE 9945.479
AT ITER 1524 NEW BEST:: SOT 36220 SOS 21490 HAS SOPS 15407 HAS SOUS 12592 HAS SOUPS 9918 WITH SCORE 9939.49
AT ITER 1567 NEW BEST:: SOT 36220 SOS 21488 HAS SOPS 15406 HAS SOUS 12591 HAS SOUPS 9918 WITH SCORE 9939.488
AT ITER 1569 NEW BEST:: SOT 36227 SOS 21457 HAS SOPS 15402 HAS SOUS 12580 HAS SOUPS 9914 WITH SCORE 9935.457
AT ITER 1576 NEW BEST:: SOT 36219 SOS 21443 HAS SOPS 15388 HAS SOUS 12562 HAS SOUPS 9896 WITH SCORE 9917.443
AT ITER 1618 NEW BEST:: SOT 36219 SOS 21435 HAS SOPS 15380 HAS SOUS 12560 HAS SOUPS 9894 WITH SCORE 9915.435
AT ITER 1662 NEW BEST:: SOT 36101 SOS 21307 HAS SOPS 15248 HAS SOUS 12438 HAS SOUPS 9762 WITH SCORE 9783.307
AT ITER 1664 NEW BEST:: SOT 36018 SOS 21224 HAS SOPS 15150 HAS SOUS 12353 HAS SOUPS 9664 WITH SCORE 9685.224
AT ITER 1686 NEW BEST:: SOT 36012 SOS 21218 HAS SOPS 15140 HAS SOUS 12343 HAS SOUPS 9654 WITH SCORE 9675.218
AT ITER 1697 NEW BEST:: SOT 36017 SOS 21239 HAS SOPS 15113 HAS SOUS 12308 HAS SOUPS 9619 WITH SCORE 9640.239
AT ITER 1710 NEW BEST:: SOT 35993 SOS 21215 HAS SOPS 15089 HAS SOUS 12284 HAS SOUPS 9595 WITH SCORE 9616.215
AT ITER 1723 NEW BEST:: SOT 35916 SOS 21204 HAS SOPS 15012 HAS SOUS 12326 HAS SOUPS 9590 WITH SCORE 9611.204
AT ITER 1728 NEW BEST:: SOT 35891 SOS 21179 HAS SOPS 14963 HAS SOUS 12292 HAS SOUPS 9541 WITH SCORE 9562.179
AT ITER 1737 NEW BEST:: SOT 35885 SOS 21173 HAS SOPS 14951 HAS SOUS 12286 HAS SOUPS 9529 WITH SCORE 9550.173
AT ITER 1739 NEW BEST:: SOT 35853 SOS 21173 HAS SOPS 14914 HAS SOUS 12305 HAS SOUPS 9524 WITH SCORE 9545.173
AT ITER 1759 NEW BEST:: SOT 35860 SOS 21038 HAS SOPS 14727 HAS SOUS 12244 HAS SOUPS 9463 WITH SCORE 9484.038
AT ITER 1772 NEW BEST:: SOT 35858 SOS 21036 HAS SOPS 14725 HAS SOUS 12240 HAS SOUPS 9461 WITH SCORE 9482.036
AT ITER 1777 NEW BEST:: SOT 35831 SOS 21035 HAS SOPS 14677 HAS SOUS 12243 HAS SOUPS 9457 WITH SCORE 9478.035
AT ITER 1779 NEW BEST:: SOT 35831 SOS 21034 HAS SOPS 14676 HAS SOUS 12242 HAS SOUPS 9456 WITH SCORE 9477.034
AT ITER 1780 NEW BEST:: SOT 35833 SOS 21003 HAS SOPS 14678 HAS SOUS 12180 HAS SOUPS 9438 WITH SCORE 9459.003
AT ITER 1790 NEW BEST:: SOT 35827 SOS 20997 HAS SOPS 14666 HAS SOUS 12168 HAS SOUPS 9426 WITH SCORE 9446.997
AT ITER 1800 NEW BEST:: SOT 35787 SOS 20957 HAS SOPS 14626 HAS SOUS 12144 HAS SOUPS 9402 WITH SCORE 9422.957
AT ITER 1802 NEW BEST:: SOT 35702 SOS 20939 HAS SOPS 14541 HAS SOUS 12207 HAS SOUPS 9393 WITH SCORE 9413.939
AT ITER 1807 NEW BEST:: SOT 35697 SOS 20946 HAS SOPS 14576 HAS SOUS 12203 HAS SOUPS 9389 WITH SCORE 9409.946
AT ITER 1832 NEW BEST:: SOT 35696 SOS 20945 HAS SOPS 14574 HAS SOUS 12202 HAS SOUPS 9387 WITH SCORE 9407.945
AT ITER 1847 NEW BEST:: SOT 35683 SOS 20957 HAS SOPS 14566 HAS SOUS 12182 HAS SOUPS 9379 WITH SCORE 9399.957
AT ITER 1864 NEW BEST:: SOT 35680 SOS 20986 HAS SOPS 14565 HAS SOUS 12154 HAS SOUPS 9351 WITH SCORE 9371.986
AT ITER 1877 NEW BEST:: SOT 35680 SOS 20872 HAS SOPS 14451 HAS SOUS 12147 HAS SOUPS 9344 WITH SCORE 9364.872
AT ITER 1883 NEW BEST:: SOT 35678 SOS 20872 HAS SOPS 14449 HAS SOUS 12145 HAS SOUPS 9342 WITH SCORE 9362.872
AT ITER 1912 NEW BEST:: SOT 35674 SOS 20868 HAS SOPS 14445 HAS SOUS 12141 HAS SOUPS 9338 WITH SCORE 9358.868
AT ITER 1916 NEW BEST:: SOT 35674 SOS 20887 HAS SOPS 14464 HAS SOUS 12140 HAS SOUPS 9337 WITH SCORE 9357.887
AT ITER 1924 NEW BEST:: SOT 35684 SOS 20877 HAS SOPS 14476 HAS SOUS 12117 HAS SOUPS 9329 WITH SCORE 9349.877
AT ITER 1934 NEW BEST:: SOT 35672 SOS 20865 HAS SOPS 14462 HAS SOUS 12091 HAS SOUPS 9303 WITH SCORE 9323.865
AT ITER 1946 NEW BEST:: SOT 35672 SOS 20863 HAS SOPS 14460 HAS SOUS 12090 HAS SOUPS 9302 WITH SCORE 9322.863
AT ITER 1958 NEW BEST:: SOT 35665 SOS 20856 HAS SOPS 14453 HAS SOUS 12083 HAS SOUPS 9295 WITH SCORE 9315.856
AT ITER 1965 NEW BEST:: SOT 35665 SOS 20856 HAS SOPS 14453 HAS SOUS 12082 HAS SOUPS 9294 WITH SCORE 9314.856
AT ITER 1985 NEW BEST:: SOT 35665 SOS 20850 HAS SOPS 14447 HAS SOUS 12082 HAS SOUPS 9294 WITH SCORE 9314.85
AT ITER 2043 NEW BEST:: SOT 35665 SOS 20813 HAS SOPS 14421 HAS SOUS 12034 HAS SOUPS 9254 WITH SCORE 9274.813
AT ITER 2045 NEW BEST:: SOT 35665 SOS 20811 HAS SOPS 14419 HAS SOUS 12034 HAS SOUPS 9254 WITH SCORE 9274.811
AT ITER 2052 NEW BEST:: SOT 35665 SOS 20806 HAS SOPS 14414 HAS SOUS 12034 HAS SOUPS 9254 WITH SCORE 9274.806
AT ITER 2058 NEW BEST:: SOT 35653 SOS 20814 HAS SOPS 14410 HAS SOUS 12020 HAS SOUPS 9240 WITH SCORE 9260.814
AT ITER 2079 NEW BEST:: SOT 35647 SOS 20808 HAS SOPS 14404 HAS SOUS 12014 HAS SOUPS 9234 WITH SCORE 9254.808
AT ITER 2103 NEW BEST:: SOT 35647 SOS 20713 HAS SOPS 14309 HAS SOUS 12010 HAS SOUPS 9230 WITH SCORE 9250.713
AT ITER 2119 NEW BEST:: SOT 35645 SOS 20711 HAS SOPS 14305 HAS SOUS 12008 HAS SOUPS 9226 WITH SCORE 9246.711
AT ITER 2140 NEW BEST:: SOT 35645 SOS 20711 HAS SOPS 14304 HAS SOUS 12007 HAS SOUPS 9225 WITH SCORE 9245.711
AT ITER 2147 NEW BEST:: SOT 35645 SOS 20705 HAS SOPS 14298 HAS SOUS 12007 HAS SOUPS 9225 WITH SCORE 9245.705
AT ITER 2157 NEW BEST:: SOT 35650 SOS 20707 HAS SOPS 14302 HAS SOUS 12004 HAS SOUPS 9223 WITH SCORE 9243.707
AT ITER 2160 NEW BEST:: SOT 35527 SOS 20712 HAS SOPS 14156 HAS SOUS 12136 HAS SOUPS 9217 WITH SCORE 9237.712
AT ITER 2181 NEW BEST:: SOT 35521 SOS 20703 HAS SOPS 14142 HAS SOUS 12120 HAS SOUPS 9201 WITH SCORE 9221.703
AT ITER 2206 NEW BEST:: SOT 35513 SOS 20670 HAS SOPS 14118 HAS SOUS 12056 HAS SOUPS 9140 WITH SCORE 9160.67
AT ITER 2209 NEW BEST:: SOT 35505 SOS 20670 HAS SOPS 14110 HAS SOUS 12048 HAS SOUPS 9132 WITH SCORE 9152.67
AT ITER 2238 NEW BEST:: SOT 35486 SOS 20651 HAS SOPS 14087 HAS SOUS 12029 HAS SOUPS 9109 WITH SCORE 9129.651
AT ITER 2279 NEW BEST:: SOT 35485 SOS 20650 HAS SOPS 14085 HAS SOUS 12028 HAS SOUPS 9107 WITH SCORE 9127.65
AT ITER 2309 NEW BEST:: SOT 35479 SOS 20644 HAS SOPS 14073 HAS SOUS 12016 HAS SOUPS 9095 WITH SCORE 9115.644
AT ITER 2334 NEW BEST:: SOT 35527 SOS 20694 HAS SOPS 14124 HAS SOUS 11880 HAS SOUPS 8960 WITH SCORE 8980.694
AT ITER 2347 NEW BEST:: SOT 35527 SOS 20694 HAS SOPS 14112 HAS SOUS 11880 HAS SOUPS 8948 WITH SCORE 8968.694
AT ITER 2380 NEW BEST:: SOT 35491 SOS 20658 HAS SOPS 14040 HAS SOUS 11808 HAS SOUPS 8876 WITH SCORE 8896.658
AT ITER 2383 NEW BEST:: SOT 35490 SOS 20657 HAS SOPS 14038 HAS SOUS 11807 HAS SOUPS 8874 WITH SCORE 8894.657
AT ITER 2442 NEW BEST:: SOT 35487 SOS 20654 HAS SOPS 14034 HAS SOUS 11804 HAS SOUPS 8870 WITH SCORE 8890.654
AT ITER 2445 NEW BEST:: SOT 35485 SOS 20648 HAS SOPS 14016 HAS SOUS 11784 HAS SOUPS 8850 WITH SCORE 8870.648
AT ITER 2486 NEW BEST:: SOT 35485 SOS 20648 HAS SOPS 14013 HAS SOUS 11781 HAS SOUPS 8847 WITH SCORE 8867.648
AT ITER 2498 NEW BEST:: SOT 35483 SOS 20646 HAS SOPS 14009 HAS SOUS 11779 HAS SOUPS 8843 WITH SCORE 8863.646
AT ITER 2524 NEW BEST:: SOT 35477 SOS 20571 HAS SOPS 13924 HAS SOUS 11763 HAS SOUPS 8827 WITH SCORE 8847.571
AT ITER 2525 NEW BEST:: SOT 35485 SOS 20575 HAS SOPS 13911 HAS SOUS 11763 HAS SOUPS 8814 WITH SCORE 8834.575
AT ITER 2549 NEW BEST:: SOT 35465 SOS 20555 HAS SOPS 13887 HAS SOUS 11743 HAS SOUPS 8790 WITH SCORE 8810.555
AT ITER 2556 NEW BEST:: SOT 35462 SOS 20543 HAS SOPS 13878 HAS SOUS 11731 HAS SOUPS 8781 WITH SCORE 8801.543
AT ITER 2579 NEW BEST:: SOT 35462 SOS 20559 HAS SOPS 13877 HAS SOUS 11730 HAS SOUPS 8780 WITH SCORE 8800.559
AT ITER 2584 NEW BEST:: SOT 35434 SOS 20545 HAS SOPS 13863 HAS SOUS 11709 HAS SOUPS 8759 WITH SCORE 8779.545
AT ITER 2591 NEW BEST:: SOT 35436 SOS 20527 HAS SOPS 13838 HAS SOUS 11688 HAS SOUPS 8734 WITH SCORE 8754.527
AT ITER 2592 NEW BEST:: SOT 35427 SOS 20518 HAS SOPS 13820 HAS SOUS 11679 HAS SOUPS 8716 WITH SCORE 8736.518
AT ITER 2610 NEW BEST:: SOT 35419 SOS 20510 HAS SOPS 13806 HAS SOUS 11663 HAS SOUPS 8702 WITH SCORE 8722.51
AT ITER 2619 NEW BEST:: SOT 35417 SOS 20508 HAS SOPS 13802 HAS SOUS 11661 HAS SOUPS 8698 WITH SCORE 8718.508
AT ITER 2631 NEW BEST:: SOT 35382 SOS 20483 HAS SOPS 13783 HAS SOUS 11614 HAS SOUPS 8651 WITH SCORE 8671.483
AT ITER 2688 NEW BEST:: SOT 35368 SOS 20469 HAS SOPS 13755 HAS SOUS 11600 HAS SOUPS 8623 WITH SCORE 8643.469
AT ITER 2741 NEW BEST:: SOT 35367 SOS 20468 HAS SOPS 13753 HAS SOUS 11599 HAS SOUPS 8621 WITH SCORE 8641.468
AT ITER 2766 NEW BEST:: SOT 35289 SOS 20355 HAS SOPS 13634 HAS SOUS 11500 HAS SOUPS 8516 WITH SCORE 8536.355
AT ITER 2772 NEW BEST:: SOT 35443 SOS 20490 HAS SOPS 13840 HAS SOUS 11461 HAS SOUPS 8482 WITH SCORE 8502.49
AT ITER 2774 NEW BEST:: SOT 35314 SOS 20350 HAS SOPS 13689 HAS SOUS 11462 HAS SOUPS 8472 WITH SCORE 8492.35
AT ITER 2779 NEW BEST:: SOT 35307 SOS 20273 HAS SOPS 13682 HAS SOUS 11334 HAS SOUPS 8401 WITH SCORE 8421.273
AT ITER 2783 NEW BEST:: SOT 35308 SOS 20251 HAS SOPS 13666 HAS SOUS 11310 HAS SOUPS 8383 WITH SCORE 8403.251
AT ITER 2811 NEW BEST:: SOT 35291 SOS 20383 HAS SOPS 13759 HAS SOUS 11293 HAS SOUPS 8372 WITH SCORE 8392.383
AT ITER 2856 NEW BEST:: SOT 35280 SOS 20372 HAS SOPS 13739 HAS SOUS 11282 HAS SOUPS 8352 WITH SCORE 8372.372
AT ITER 2899 NEW BEST:: SOT 35278 SOS 20395 HAS SOPS 13735 HAS SOUS 11274 HAS SOUPS 8348 WITH SCORE 8368.395
AT ITER 2912 NEW BEST:: SOT 35238 SOS 20355 HAS SOPS 13695 HAS SOUS 11234 HAS SOUPS 8308 WITH SCORE 8328.355
AT ITER 2935 NEW BEST:: SOT 35236 SOS 20353 HAS SOPS 13693 HAS SOUS 11232 HAS SOUPS 8306 WITH SCORE 8326.353
AT ITER 2950 NEW BEST:: SOT 35236 SOS 20357 HAS SOPS 13689 HAS SOUS 11248 HAS SOUPS 8302 WITH SCORE 8322.357
AT ITER 3004 NEW BEST:: SOT 35217 SOS 20314 HAS SOPS 13677 HAS SOUS 11233 HAS SOUPS 8290 WITH SCORE 8310.314
AT ITER 3018 NEW BEST:: SOT 35218 SOS 20315 HAS SOPS 13654 HAS SOUS 11215 HAS SOUPS 8272 WITH SCORE 8292.315
AT ITER 3024 NEW BEST:: SOT 35301 SOS 20252 HAS SOPS 13769 HAS SOUS 11096 HAS SOUPS 8263 WITH SCORE 8283.252
AT ITER 3025 NEW BEST:: SOT 35250 SOS 20192 HAS SOPS 13667 HAS SOUS 11003 HAS SOUPS 8170 WITH SCORE 8190.192
AT ITER 3091 NEW BEST:: SOT 35248 SOS 20170 HAS SOPS 13665 HAS SOUS 10994 HAS SOUPS 8168 WITH SCORE 8188.17
AT ITER 3115 NEW BEST:: SOT 35246 SOS 20168 HAS SOPS 13658 HAS SOUS 10989 HAS SOUPS 8161 WITH SCORE 8181.168
AT ITER 3117 NEW BEST:: SOT 35246 SOS 20152 HAS SOPS 13642 HAS SOUS 10984 HAS SOUPS 8156 WITH SCORE 8176.152
AT ITER 3123 NEW BEST:: SOT 35188 SOS 20090 HAS SOPS 13558 HAS SOUS 10972 HAS SOUPS 8144 WITH SCORE 8164.09
AT ITER 3161 NEW BEST:: SOT 35128 SOS 20030 HAS SOPS 13496 HAS SOUS 10910 HAS SOUPS 8082 WITH SCORE 8102.03
AT ITER 3184 NEW BEST:: SOT 35128 SOS 20015 HAS SOPS 13496 HAS SOUS 10904 HAS SOUPS 8082 WITH SCORE 8102.015
AT ITER 3198 NEW BEST:: SOT 35114 SOS 20001 HAS SOPS 13530 HAS SOUS 10854 HAS SOUPS 8080 WITH SCORE 8100.001
AT ITER 3211 NEW BEST:: SOT 35271 SOS 20135 HAS SOPS 13719 HAS SOUS 10775 HAS SOUPS 8002 WITH SCORE 8022.135
AT ITER 3228 NEW BEST:: SOT 35246 SOS 20110 HAS SOPS 13693 HAS SOUS 10749 HAS SOUPS 7976 WITH SCORE 7996.11
AT ITER 3232 NEW BEST:: SOT 35233 SOS 20082 HAS SOPS 13665 HAS SOUS 10721 HAS SOUPS 7948 WITH SCORE 7968.082
AT ITER 3248 NEW BEST:: SOT 35233 SOS 19980 HAS SOPS 13569 HAS SOUS 10721 HAS SOUPS 7948 WITH SCORE 7967.98
AT ITER 3270 NEW BEST:: SOT 35232 SOS 20127 HAS SOPS 13559 HAS SOUS 10828 HAS SOUPS 7938 WITH SCORE 7958.127
AT ITER 3310 NEW BEST:: SOT 35227 SOS 20122 HAS SOPS 13551 HAS SOUS 10823 HAS SOUPS 7930 WITH SCORE 7950.122
AT ITER 3312 NEW BEST:: SOT 35227 SOS 20122 HAS SOPS 13546 HAS SOUS 10823 HAS SOUPS 7925 WITH SCORE 7945.122
AT ITER 3317 NEW BEST:: SOT 35227 SOS 19988 HAS SOPS 13546 HAS SOUS 10774 HAS SOUPS 7925 WITH SCORE 7944.988
AT ITER 3356 NEW BEST:: SOT 35103 SOS 20024 HAS SOPS 13417 HAS SOUS 10875 HAS SOUPS 7892 WITH SCORE 7912.024
AT ITER 3369 NEW BEST:: SOT 35103 SOS 19980 HAS SOPS 13373 HAS SOUS 10875 HAS SOUPS 7892 WITH SCORE 7911.98
AT ITER 3407 NEW BEST:: SOT 35045 SOS 19981 HAS SOPS 13315 HAS SOUS 10922 HAS SOUPS 7886 WITH SCORE 7905.981
AT ITER 3485 NEW BEST:: SOT 35045 SOS 19929 HAS SOPS 13263 HAS SOUS 10922 HAS SOUPS 7886 WITH SCORE 7905.929
AT ITER 3530 NEW BEST:: SOT 35039 SOS 19909 HAS SOPS 13254 HAS SOUS 10902 HAS SOUPS 7877 WITH SCORE 7896.909
AT ITER 3545 NEW BEST:: SOT 35034 SOS 19904 HAS SOPS 13249 HAS SOUS 10897 HAS SOUPS 7872 WITH SCORE 7891.904
AT ITER 3585 NEW BEST:: SOT 35034 SOS 19891 HAS SOPS 13236 HAS SOUS 10896 HAS SOUPS 7871 WITH SCORE 7890.891
AT ITER 3608 NEW BEST:: SOT 35024 SOS 19796 HAS SOPS 13226 HAS SOUS 10817 HAS SOUPS 7861 WITH SCORE 7880.796
AT ITER 3756 NEW BEST:: SOT 35024 SOS 19795 HAS SOPS 13225 HAS SOUS 10816 HAS SOUPS 7860 WITH SCORE 7879.795
AT ITER 3760 NEW BEST:: SOT 35029 SOS 19814 HAS SOPS 13221 HAS SOUS 10892 HAS SOUPS 7856 WITH SCORE 7875.814
AT ITER 3767 NEW BEST:: SOT 35024 SOS 19809 HAS SOPS 13216 HAS SOUS 10887 HAS SOUPS 7851 WITH SCORE 7870.809
AT ITER 3769 NEW BEST:: SOT 35020 SOS 19805 HAS SOPS 13208 HAS SOUS 10883 HAS SOUPS 7843 WITH SCORE 7862.805
AT ITER 3816 NEW BEST:: SOT 35020 SOS 19787 HAS SOPS 13190 HAS SOUS 10883 HAS SOUPS 7843 WITH SCORE 7862.787
AT ITER 3859 NEW BEST:: SOT 34995 SOS 19762 HAS SOPS 13160 HAS SOUS 10858 HAS SOUPS 7813 WITH SCORE 7832.762
AT ITER 3910 NEW BEST:: SOT 35083 SOS 19828 HAS SOPS 13229 HAS SOUS 10801 HAS SOUPS 7759 WITH SCORE 7778.828
AT ITER 3925 NEW BEST:: SOT 35078 SOS 19823 HAS SOPS 13219 HAS SOUS 10796 HAS SOUPS 7749 WITH SCORE 7768.823
AT ITER 3932 NEW BEST:: SOT 35002 SOS 19666 HAS SOPS 13062 HAS SOUS 10702 HAS SOUPS 7655 WITH SCORE 7674.666
AT ITER 3941 NEW BEST:: SOT 34915 SOS 19415 HAS SOPS 12961 HAS SOUS 10528 HAS SOUPS 7558 WITH SCORE 7577.415
AT ITER 3945 NEW BEST:: SOT 34909 SOS 19409 HAS SOPS 12960 HAS SOUS 10522 HAS SOUPS 7557 WITH SCORE 7576.409
AT ITER 4003 NEW BEST:: SOT 34860 SOS 19347 HAS SOPS 12898 HAS SOUS 10476 HAS SOUPS 7511 WITH SCORE 7530.347
AT ITER 4028 NEW BEST:: SOT 34808 SOS 19380 HAS SOPS 12825 HAS SOUS 10496 HAS SOUPS 7498 WITH SCORE 7517.38
AT ITER 4044 NEW BEST:: SOT 34793 SOS 19377 HAS SOPS 12817 HAS SOUS 10493 HAS SOUPS 7490 WITH SCORE 7509.377
AT ITER 4054 NEW BEST:: SOT 34751 SOS 19365 HAS SOPS 12805 HAS SOUS 10445 HAS SOUPS 7442 WITH SCORE 7461.365
AT ITER 4086 NEW BEST:: SOT 34741 SOS 19355 HAS SOPS 12790 HAS SOUS 10435 HAS SOUPS 7427 WITH SCORE 7446.355
AT ITER 4097 NEW BEST:: SOT 34740 SOS 19354 HAS SOPS 12788 HAS SOUS 10434 HAS SOUPS 7425 WITH SCORE 7444.354
AT ITER 4114 NEW BEST:: SOT 34740 SOS 19410 HAS SOPS 12844 HAS SOUS 10432 HAS SOUPS 7423 WITH SCORE 7442.41
AT ITER 4173 NEW BEST:: SOT 34748 SOS 19419 HAS SOPS 12854 HAS SOUS 10402 HAS SOUPS 7393 WITH SCORE 7412.419
AT ITER 4199 NEW BEST:: SOT 34746 SOS 19417 HAS SOPS 12839 HAS SOUS 10400 HAS SOUPS 7378 WITH SCORE 7397.417
AT ITER 4230 NEW BEST:: SOT 34745 SOS 19415 HAS SOPS 12837 HAS SOUS 10398 HAS SOUPS 7376 WITH SCORE 7395.415
AT ITER 4243 NEW BEST:: SOT 34743 SOS 19413 HAS SOPS 12833 HAS SOUS 10396 HAS SOUPS 7372 WITH SCORE 7391.413
AT ITER 4282 NEW BEST:: SOT 34743 SOS 19404 HAS SOPS 12833 HAS SOUS 10396 HAS SOUPS 7372 WITH SCORE 7391.404
AT ITER 4288 NEW BEST:: SOT 34738 SOS 19399 HAS SOPS 12831 HAS SOUS 10391 HAS SOUPS 7370 WITH SCORE 7389.399
AT ITER 4341 NEW BEST:: SOT 34726 SOS 19387 HAS SOPS 12801 HAS SOUS 10379 HAS SOUPS 7340 WITH SCORE 7359.387
AT ITER 4380 NEW BEST:: SOT 34725 SOS 19386 HAS SOPS 12798 HAS SOUS 10378 HAS SOUPS 7337 WITH SCORE 7356.386
AT ITER 4402 NEW BEST:: SOT 34721 SOS 19382 HAS SOPS 12794 HAS SOUS 10374 HAS SOUPS 7333 WITH SCORE 7352.382
AT ITER 4431 NEW BEST:: SOT 34721 SOS 19393 HAS SOPS 12784 HAS SOUS 10364 HAS SOUPS 7323 WITH SCORE 7342.393
AT ITER 4461 NEW BEST:: SOT 34724 SOS 19396 HAS SOPS 12783 HAS SOUS 10367 HAS SOUPS 7322 WITH SCORE 7341.396
AT ITER 4491 NEW BEST:: SOT 34722 SOS 19399 HAS SOPS 12781 HAS SOUS 10365 HAS SOUPS 7320 WITH SCORE 7339.399
AT ITER 4504 NEW BEST:: SOT 34722 SOS 19397 HAS SOPS 12779 HAS SOUS 10365 HAS SOUPS 7320 WITH SCORE 7339.397
AT ITER 4508 NEW BEST:: SOT 34716 SOS 19391 HAS SOPS 12767 HAS SOUS 10353 HAS SOUPS 7308 WITH SCORE 7327.391
AT ITER 4517 NEW BEST:: SOT 34639 SOS 19321 HAS SOPS 12677 HAS SOUS 10343 HAS SOUPS 7298 WITH SCORE 7317.321
AT ITER 4524 NEW BEST:: SOT 34696 SOS 19324 HAS SOPS 12734 HAS SOUS 10329 HAS SOUPS 7279 WITH SCORE 7298.324
AT ITER 4529 NEW BEST:: SOT 34696 SOS 19310 HAS SOPS 12720 HAS SOUS 10327 HAS SOUPS 7277 WITH SCORE 7296.31
AT ITER 4541 NEW BEST:: SOT 34696 SOS 19347 HAS SOPS 12757 HAS SOUS 10326 HAS SOUPS 7276 WITH SCORE 7295.347
AT ITER 4544 NEW BEST:: SOT 34696 SOS 19316 HAS SOPS 12726 HAS SOUS 10323 HAS SOUPS 7273 WITH SCORE 7292.316
AT ITER 4575 NEW BEST:: SOT 34678 SOS 19292 HAS SOPS 12702 HAS SOUS 10305 HAS SOUPS 7252 WITH SCORE 7271.292
AT ITER 4651 NEW BEST:: SOT 34694 SOS 19306 HAS SOPS 12718 HAS SOUS 10299 HAS SOUPS 7246 WITH SCORE 7265.306
AT ITER 4708 NEW BEST:: SOT 34692 SOS 19302 HAS SOPS 12702 HAS SOUS 10295 HAS SOUPS 7230 WITH SCORE 7249.302
AT ITER 4712 NEW BEST:: SOT 34684 SOS 19294 HAS SOPS 12696 HAS SOUS 10287 HAS SOUPS 7224 WITH SCORE 7243.294
AT ITER 4794 NEW BEST:: SOT 34661 SOS 19310 HAS SOPS 12673 HAS SOUS 10286 HAS SOUPS 7213 WITH SCORE 7232.31
AT ITER 4824 NEW BEST:: SOT 34660 SOS 19309 HAS SOPS 12671 HAS SOUS 10285 HAS SOUPS 7211 WITH SCORE 7230.309
AT ITER 4831 NEW BEST:: SOT 34660 SOS 19302 HAS SOPS 12664 HAS SOUS 10284 HAS SOUPS 7210 WITH SCORE 7229.302
AT ITER 4875 NEW BEST:: SOT 34631 SOS 19452 HAS SOPS 12848 HAS SOUS 10283 HAS SOUPS 7209 WITH SCORE 7228.452
AT ITER 4879 NEW BEST:: SOT 34628 SOS 19446 HAS SOPS 12842 HAS SOUS 10274 HAS SOUPS 7203 WITH SCORE 7222.446
AT ITER 4886 NEW BEST:: SOT 34628 SOS 19474 HAS SOPS 12870 HAS SOUS 10273 HAS SOUPS 7202 WITH SCORE 7221.474
AT ITER 4904 NEW BEST:: SOT 34621 SOS 19467 HAS SOPS 12860 HAS SOUS 10263 HAS SOUPS 7192 WITH SCORE 7211.467
AT ITER 5005 NEW BEST:: SOT 34620 SOS 19464 HAS SOPS 12859 HAS SOUS 10256 HAS SOUPS 7191 WITH SCORE 7210.464
AT ITER 5014 NEW BEST:: SOT 34590 SOS 19434 HAS SOPS 12835 HAS SOUS 10232 HAS SOUPS 7167 WITH SCORE 7186.434
AT ITER 5078 NEW BEST:: SOT 34585 SOS 19424 HAS SOPS 12830 HAS SOUS 10197 HAS SOUPS 7162 WITH SCORE 7181.424
AT ITER 5101 NEW BEST:: SOT 34542 SOS 19419 HAS SOPS 12825 HAS SOUS 10192 HAS SOUPS 7157 WITH SCORE 7176.419
AT ITER 5119 NEW BEST:: SOT 34531 SOS 19411 HAS SOPS 12812 HAS SOUS 10139 HAS SOUPS 7144 WITH SCORE 7163.411
AT ITER 5164 NEW BEST:: SOT 34517 SOS 19397 HAS SOPS 12793 HAS SOUS 10125 HAS SOUPS 7125 WITH SCORE 7144.397
AT ITER 5203 NEW BEST:: SOT 34514 SOS 19394 HAS SOPS 12787 HAS SOUS 10122 HAS SOUPS 7119 WITH SCORE 7138.394
AT ITER 5220 NEW BEST:: SOT 34512 SOS 19319 HAS SOPS 12712 HAS SOUS 10122 HAS SOUPS 7119 WITH SCORE 7138.319
AT ITER 5243 NEW BEST:: SOT 34496 SOS 19303 HAS SOPS 12692 HAS SOUS 10106 HAS SOUPS 7099 WITH SCORE 7118.303
AT ITER 5291 NEW BEST:: SOT 34471 SOS 19286 HAS SOPS 12675 HAS SOUS 10081 HAS SOUPS 7074 WITH SCORE 7093.286
AT ITER 5342 NEW BEST:: SOT 34439 SOS 19254 HAS SOPS 12643 HAS SOUS 10057 HAS SOUPS 7050 WITH SCORE 7069.254
AT ITER 5343 NEW BEST:: SOT 34432 SOS 19240 HAS SOPS 12629 HAS SOUS 10043 HAS SOUPS 7036 WITH SCORE 7055.24
AT ITER 5348 NEW BEST:: SOT 34430 SOS 19238 HAS SOPS 12625 HAS SOUS 10041 HAS SOUPS 7032 WITH SCORE 7051.238
AT ITER 5351 NEW BEST:: SOT 34410 SOS 19218 HAS SOPS 12625 HAS SOUS 10021 HAS SOUPS 7032 WITH SCORE 7051.218
AT ITER 5431 NEW BEST:: SOT 34410 SOS 19189 HAS SOPS 12596 HAS SOUS 10012 HAS SOUPS 7023 WITH SCORE 7042.189
AT ITER 5496 NEW BEST:: SOT 34410 SOS 19187 HAS SOPS 12594 HAS SOUS 10012 HAS SOUPS 7023 WITH SCORE 7042.187
AT ITER 5534 NEW BEST:: SOT 34409 SOS 19186 HAS SOPS 12592 HAS SOUS 10010 HAS SOUPS 7021 WITH SCORE 7040.186
AT ITER 5548 NEW BEST:: SOT 34408 SOS 19180 HAS SOPS 12587 HAS SOUS 10006 HAS SOUPS 7018 WITH SCORE 7037.18
AT ITER 5651 NEW BEST:: SOT 34403 SOS 19177 HAS SOPS 12577 HAS SOUS 10005 HAS SOUPS 7008 WITH SCORE 7027.177
AT ITER 5689 NEW BEST:: SOT 34469 SOS 19168 HAS SOPS 12656 HAS SOUS 9987 HAS SOUPS 6998 WITH SCORE 7017.168
AT ITER 5738 NEW BEST:: SOT 34461 SOS 19158 HAS SOPS 12646 HAS SOUS 9978 HAS SOUPS 6989 WITH SCORE 7008.158
AT ITER 5772 NEW BEST:: SOT 34514 SOS 19142 HAS SOPS 12704 HAS SOUS 9944 HAS SOUPS 6965 WITH SCORE 6984.142
AT ITER 5815 NEW BEST:: SOT 34461 SOS 19134 HAS SOPS 12640 HAS SOUS 9996 HAS SOUPS 6957 WITH SCORE 6976.134
AT ITER 5868 NEW BEST:: SOT 34463 SOS 19131 HAS SOPS 12637 HAS SOUS 9993 HAS SOUPS 6954 WITH SCORE 6973.131
AT ITER 5891 NEW BEST:: SOT 34457 SOS 19125 HAS SOPS 12631 HAS SOUS 9987 HAS SOUPS 6948 WITH SCORE 6967.125
AT ITER 5918 NEW BEST:: SOT 34452 SOS 19120 HAS SOPS 12626 HAS SOUS 9982 HAS SOUPS 6943 WITH SCORE 6962.12
AT ITER 6031 NEW BEST:: SOT 34444 SOS 19112 HAS SOPS 12615 HAS SOUS 9974 HAS SOUPS 6932 WITH SCORE 6951.112
AT ITER 6048 NEW BEST:: SOT 34442 SOS 19110 HAS SOPS 12604 HAS SOUS 9972 HAS SOUPS 6921 WITH SCORE 6940.11
AT ITER 6101 NEW BEST:: SOT 34437 SOS 19104 HAS SOPS 12597 HAS SOUS 9965 HAS SOUPS 6914 WITH SCORE 6933.104
AT ITER 6215 NEW BEST:: SOT 34437 SOS 19105 HAS SOPS 12596 HAS SOUS 9972 HAS SOUPS 6913 WITH SCORE 6932.105
AT ITER 6229 NEW BEST:: SOT 34429 SOS 19097 HAS SOPS 12594 HAS SOUS 9964 HAS SOUPS 6911 WITH SCORE 6930.097
AT ITER 6285 NEW BEST:: SOT 34428 SOS 19096 HAS SOPS 12592 HAS SOUS 9962 HAS SOUPS 6909 WITH SCORE 6928.096
AT ITER 6286 NEW BEST:: SOT 34428 SOS 19094 HAS SOPS 12590 HAS SOUS 9962 HAS SOUPS 6909 WITH SCORE 6928.094
AT ITER 6310 NEW BEST:: SOT 34422 SOS 19088 HAS SOPS 12583 HAS SOUS 9956 HAS SOUPS 6902 WITH SCORE 6921.088
AT ITER 6349 NEW BEST:: SOT 34419 SOS 19085 HAS SOPS 12573 HAS SOUS 9953 HAS SOUPS 6892 WITH SCORE 6911.085
AT ITER 6354 NEW BEST:: SOT 34401 SOS 19061 HAS SOPS 12531 HAS SOUS 9923 HAS SOUPS 6850 WITH SCORE 6869.061
AT ITER 6371 NEW BEST:: SOT 34400 SOS 19061 HAS SOPS 12530 HAS SOUS 9922 HAS SOUPS 6849 WITH SCORE 6868.061
AT ITER 6418 NEW BEST:: SOT 34399 SOS 19060 HAS SOPS 12528 HAS SOUS 9921 HAS SOUPS 6847 WITH SCORE 6866.06
AT ITER 6437 NEW BEST:: SOT 34391 SOS 19052 HAS SOPS 12521 HAS SOUS 9913 HAS SOUPS 6840 WITH SCORE 6859.052
AT ITER 6478 NEW BEST:: SOT 34391 SOS 19050 HAS SOPS 12520 HAS SOUS 9913 HAS SOUPS 6840 WITH SCORE 6859.05
AT ITER 6546 NEW BEST:: SOT 34377 SOS 19035 HAS SOPS 12504 HAS SOUS 9910 HAS SOUPS 6836 WITH SCORE 6855.035
AT ITER 6553 NEW BEST:: SOT 34376 SOS 19020 HAS SOPS 12503 HAS SOUS 9839 HAS SOUPS 6835 WITH SCORE 6854.02
AT ITER 6558 NEW BEST:: SOT 34361 SOS 19053 HAS SOPS 12529 HAS SOUS 9786 HAS SOUPS 6782 WITH SCORE 6801.053
AT ITER 6581 NEW BEST:: SOT 34361 SOS 19045 HAS SOPS 12529 HAS SOUS 9780 HAS SOUPS 6782 WITH SCORE 6801.045
AT ITER 6617 NEW BEST:: SOT 34333 SOS 19017 HAS SOPS 12502 HAS SOUS 9758 HAS SOUPS 6760 WITH SCORE 6779.017
AT ITER 6631 NEW BEST:: SOT 34330 SOS 19014 HAS SOPS 12496 HAS SOUS 9755 HAS SOUPS 6754 WITH SCORE 6773.014
AT ITER 6713 NEW BEST:: SOT 34330 SOS 19010 HAS SOPS 12496 HAS SOUS 9751 HAS SOUPS 6754 WITH SCORE 6773.01
AT ITER 6723 NEW BEST:: SOT 34330 SOS 19002 HAS SOPS 12488 HAS SOUS 9750 HAS SOUPS 6753 WITH SCORE 6772.002
AT ITER 6726 NEW BEST:: SOT 34295 SOS 18964 HAS SOPS 12450 HAS SOUS 9711 HAS SOUPS 6714 WITH SCORE 6732.964
AT ITER 6742 NEW BEST:: SOT 34273 SOS 18928 HAS SOPS 12422 HAS SOUS 9689 HAS SOUPS 6694 WITH SCORE 6712.928
AT ITER 6751 NEW BEST:: SOT 34248 SOS 18913 HAS SOPS 12407 HAS SOUS 9669 HAS SOUPS 6674 WITH SCORE 6692.913
AT ITER 6794 NEW BEST:: SOT 34229 SOS 19010 HAS SOPS 12383 HAS SOUS 9795 HAS SOUPS 6650 WITH SCORE 6669.01
AT ITER 6829 NEW BEST:: SOT 34215 SOS 19006 HAS SOPS 12379 HAS SOUS 9781 HAS SOUPS 6636 WITH SCORE 6655.006
AT ITER 6832 NEW BEST:: SOT 34259 SOS 19048 HAS SOPS 12431 HAS SOUS 9767 HAS SOUPS 6632 WITH SCORE 6651.048
AT ITER 6903 NEW BEST:: SOT 34259 SOS 19007 HAS SOPS 12431 HAS SOUS 9718 HAS SOUPS 6632 WITH SCORE 6651.007
AT ITER 6934 NEW BEST:: SOT 34250 SOS 18998 HAS SOPS 12412 HAS SOUS 9704 HAS SOUPS 6613 WITH SCORE 6631.998
AT ITER 6940 NEW BEST:: SOT 34244 SOS 18992 HAS SOPS 12406 HAS SOUS 9698 HAS SOUPS 6607 WITH SCORE 6625.992
AT ITER 6958 NEW BEST:: SOT 34239 SOS 18975 HAS SOPS 12404 HAS SOUS 9690 HAS SOUPS 6605 WITH SCORE 6623.975
AT ITER 7026 NEW BEST:: SOT 34239 SOS 18975 HAS SOPS 12402 HAS SOUS 9690 HAS SOUPS 6603 WITH SCORE 6621.975
AT ITER 7027 NEW BEST:: SOT 34239 SOS 19030 HAS SOPS 12457 HAS SOUS 9689 HAS SOUPS 6602 WITH SCORE 6621.03
AT ITER 7109 NEW BEST:: SOT 34234 SOS 19022 HAS SOPS 12453 HAS SOUS 9663 HAS SOUPS 6598 WITH SCORE 6617.022
AT ITER 7154 NEW BEST:: SOT 34174 SOS 18949 HAS SOPS 12404 HAS SOUS 9627 HAS SOUPS 6562 WITH SCORE 6580.949
AT ITER 7187 NEW BEST:: SOT 34173 SOS 18948 HAS SOPS 12402 HAS SOUS 9626 HAS SOUPS 6560 WITH SCORE 6578.948
AT ITER 7239 NEW BEST:: SOT 34176 SOS 18960 HAS SOPS 12408 HAS SOUS 9623 HAS SOUPS 6557 WITH SCORE 6575.96
AT ITER 7299 NEW BEST:: SOT 34176 SOS 18910 HAS SOPS 12358 HAS SOUS 9621 HAS SOUPS 6555 WITH SCORE 6573.91
AT ITER 7367 NEW BEST:: SOT 34176 SOS 18879 HAS SOPS 12327 HAS SOUS 9620 HAS SOUPS 6554 WITH SCORE 6572.879
AT ITER 7597 NEW BEST:: SOT 34158 SOS 18864 HAS SOPS 12294 HAS SOUS 9584 HAS SOUPS 6518 WITH SCORE 6536.864
AT ITER 7617 NEW BEST:: SOT 34131 SOS 18842 HAS SOPS 12264 HAS SOUS 9568 HAS SOUPS 6494 WITH SCORE 6512.842
AT ITER 7649 NEW BEST:: SOT 34132 SOS 18838 HAS SOPS 12254 HAS SOUS 9563 HAS SOUPS 6489 WITH SCORE 6507.838
AT ITER 7669 NEW BEST:: SOT 34150 SOS 18826 HAS SOPS 12218 HAS SOUS 9563 HAS SOUPS 6489 WITH SCORE 6507.826
AT ITER 7776 NEW BEST:: SOT 34157 SOS 18833 HAS SOPS 12225 HAS SOUS 9559 HAS SOUPS 6485 WITH SCORE 6503.833
AT ITER 7803 NEW BEST:: SOT 34157 SOS 18833 HAS SOPS 12222 HAS SOUS 9560 HAS SOUPS 6482 WITH SCORE 6500.833
AT ITER 7813 NEW BEST:: SOT 34153 SOS 18849 HAS SOPS 12238 HAS SOUS 9556 HAS SOUPS 6478 WITH SCORE 6496.849
AT ITER 7869 NEW BEST:: SOT 34151 SOS 18848 HAS SOPS 12237 HAS SOUS 9555 HAS SOUPS 6477 WITH SCORE 6495.848
AT ITER 7900 NEW BEST:: SOT 34152 SOS 18845 HAS SOPS 12237 HAS SOUS 9554 HAS SOUPS 6477 WITH SCORE 6495.845
AT ITER 8273 NEW BEST:: SOT 34145 SOS 18839 HAS SOPS 12230 HAS SOUS 9548 HAS SOUPS 6470 WITH SCORE 6488.839
AT ITER 8282 NEW BEST:: SOT 34142 SOS 18836 HAS SOPS 12227 HAS SOUS 9545 HAS SOUPS 6467 WITH SCORE 6485.836
AT ITER 8362 NEW BEST:: SOT 34154 SOS 18850 HAS SOPS 12247 HAS SOUS 9539 HAS SOUPS 6461 WITH SCORE 6479.85
AT ITER 8394 NEW BEST:: SOT 34152 SOS 18848 HAS SOPS 12243 HAS SOUS 9537 HAS SOUPS 6457 WITH SCORE 6475.848
AT ITER 8462 NEW BEST:: SOT 34151 SOS 18847 HAS SOPS 12243 HAS SOUS 9536 HAS SOUPS 6457 WITH SCORE 6475.847
AT ITER 8520 NEW BEST:: SOT 34150 SOS 18846 HAS SOPS 12240 HAS SOUS 9535 HAS SOUPS 6454 WITH SCORE 6472.846
AT ITER 8574 NEW BEST:: SOT 34143 SOS 18839 HAS SOPS 12226 HAS SOUS 9531 HAS SOUPS 6440 WITH SCORE 6458.839
AT ITER 8589 NEW BEST:: SOT 34143 SOS 18839 HAS SOPS 12225 HAS SOUS 9531 HAS SOUPS 6439 WITH SCORE 6457.839
AT ITER 8599 NEW BEST:: SOT 34139 SOS 18835 HAS SOPS 12221 HAS SOUS 9527 HAS SOUPS 6435 WITH SCORE 6453.835
AT ITER 8736 NEW BEST:: SOT 34133 SOS 18835 HAS SOPS 12212 HAS SOUS 9518 HAS SOUPS 6423 WITH SCORE 6441.835
AT ITER 8778 NEW BEST:: SOT 34126 SOS 18790 HAS SOPS 12198 HAS SOUS 9479 HAS SOUPS 6409 WITH SCORE 6427.79
AT ITER 8796 NEW BEST:: SOT 34122 SOS 18786 HAS SOPS 12190 HAS SOUS 9475 HAS SOUPS 6401 WITH SCORE 6419.786
AT ITER 8920 NEW BEST:: SOT 34121 SOS 18785 HAS SOPS 12188 HAS SOUS 9474 HAS SOUPS 6399 WITH SCORE 6417.785
AT ITER 8926 NEW BEST:: SOT 34116 SOS 18780 HAS SOPS 12178 HAS SOUS 9469 HAS SOUPS 6389 WITH SCORE 6407.78
AT ITER 9038 NEW BEST:: SOT 34115 SOS 18779 HAS SOPS 12178 HAS SOUS 9468 HAS SOUPS 6389 WITH SCORE 6407.779
AT ITER 9072 NEW BEST:: SOT 34110 SOS 18774 HAS SOPS 12172 HAS SOUS 9463 HAS SOUPS 6383 WITH SCORE 6401.774
AT ITER 9134 NEW BEST:: SOT 34109 SOS 18803 HAS SOPS 12171 HAS SOUS 9474 HAS SOUPS 6382 WITH SCORE 6400.803
AT ITER 9157 NEW BEST:: SOT 34105 SOS 18799 HAS SOPS 12166 HAS SOUS 9463 HAS SOUPS 6371 WITH SCORE 6389.799
AT ITER 9193 NEW BEST:: SOT 34105 SOS 18798 HAS SOPS 12165 HAS SOUS 9462 HAS SOUPS 6370 WITH SCORE 6388.798
AT ITER 9229 NEW BEST:: SOT 34103 SOS 18796 HAS SOPS 12161 HAS SOUS 9460 HAS SOUPS 6366 WITH SCORE 6384.796
AT ITER 9236 NEW BEST:: SOT 34101 SOS 18806 HAS SOPS 12159 HAS SOUS 9462 HAS SOUPS 6364 WITH SCORE 6382.806
AT ITER 9247 NEW BEST:: SOT 34103 SOS 18832 HAS SOPS 12150 HAS SOUS 9544 HAS SOUPS 6355 WITH SCORE 6373.832
AT ITER 9314 NEW BEST:: SOT 34103 SOS 18843 HAS SOPS 12161 HAS SOUS 9542 HAS SOUPS 6353 WITH SCORE 6371.843
AT ITER 9360 NEW BEST:: SOT 34101 SOS 18843 HAS SOPS 12151 HAS SOUS 9529 HAS SOUPS 6342 WITH SCORE 6360.843
AT ITER 9453 NEW BEST:: SOT 34100 SOS 18842 HAS SOPS 12149 HAS SOUS 9528 HAS SOUPS 6340 WITH SCORE 6358.842
AT ITER 9462 NEW BEST:: SOT 34092 SOS 18828 HAS SOPS 12133 HAS SOUS 9512 HAS SOUPS 6324 WITH SCORE 6342.828
AT ITER 9574 NEW BEST:: SOT 34063 SOS 18827 HAS SOPS 12095 HAS SOUS 9527 HAS SOUPS 6318 WITH SCORE 6336.827
AT ITER 9602 NEW BEST:: SOT 34015 SOS 18797 HAS SOPS 12007 HAS SOUS 9430 HAS SOUPS 6221 WITH SCORE 6239.797
AT ITER 9701 NEW BEST:: SOT 34014 SOS 18796 HAS SOPS 12005 HAS SOUS 9429 HAS SOUPS 6219 WITH SCORE 6237.796
AT ITER 9844 NEW BEST:: SOT 34014 SOS 18788 HAS SOPS 11999 HAS SOUS 9416 HAS SOUPS 6207 WITH SCORE 6225.788
AT ITER 9856 NEW BEST:: SOT 34003 SOS 18777 HAS SOPS 11988 HAS SOUS 9405 HAS SOUPS 6196 WITH SCORE 6214.777
AT ITER 9862 NEW BEST:: SOT 34002 SOS 18776 HAS SOPS 11986 HAS SOUS 9404 HAS SOUPS 6194 WITH SCORE 6212.776
BK_STOP 1589621122375
--------------------
content from stderr:
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 2500
/home/mcc/BenchKit/bin/smart.sh: line 117: 457 Segmentation fault ${SMART} ${INPUT_SM}
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="LamportFastMutEx-PT-6"
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"
# 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 LamportFastMutEx-PT-6, 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 r093-oct2-158940140900680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-PT-6.tgz
mv LamportFastMutEx-PT-6 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 '
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 ;