Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.4K Feb 26 15:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 15:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678376956222

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-50a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 15:49:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 15:49:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 15:49:17] [INFO ] Load time of PNML (sax parser for PT used): 57 ms
[2023-03-09 15:49:17] [INFO ] Transformed 314 places.
[2023-03-09 15:49:17] [INFO ] Transformed 271 transitions.
[2023-03-09 15:49:17] [INFO ] Found NUPN structural information;
[2023-03-09 15:49:17] [INFO ] Parsed PT model containing 314 places and 271 transitions and 1306 arcs in 119 ms.
[2023-03-09 15:49:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 314 places, 271 transitions and 1306 arcs took 6 ms.
Total runtime 152 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 314 places, 271 transitions, 1306 arcs.
AT ITER 0 NEW BEST:: SOT 72836 SOS 68600 HAS SOPS 68600 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36021.6
AT ITER 62 NEW BEST:: SOT 72836 SOS 68596 HAS SOPS 68596 HAS SOUS 35949 HAS SOUPS 35949 WITH SCORE 36017.596
AT ITER 129 NEW BEST:: SOT 72747 SOS 68616 HAS SOPS 68616 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35939.616
AT ITER 136 NEW BEST:: SOT 66547 SOS 62431 HAS SOPS 62431 HAS SOUS 29686 HAS SOUPS 29686 WITH SCORE 29748.431
AT ITER 138 NEW BEST:: SOT 66339 SOS 62223 HAS SOPS 62223 HAS SOUS 29477 HAS SOUPS 29477 WITH SCORE 29539.223
AT ITER 154 NEW BEST:: SOT 65402 SOS 61305 HAS SOPS 61305 HAS SOUS 28559 HAS SOUPS 28559 WITH SCORE 28620.305
AT ITER 180 NEW BEST:: SOT 65402 SOS 61305 HAS SOPS 61305 HAS SOUS 28558 HAS SOUPS 28558 WITH SCORE 28619.305
AT ITER 181 NEW BEST:: SOT 65296 SOS 61199 HAS SOPS 61199 HAS SOUS 28451 HAS SOUPS 28451 WITH SCORE 28512.199
AT ITER 186 NEW BEST:: SOT 65141 SOS 61059 HAS SOPS 61059 HAS SOUS 28307 HAS SOUPS 28307 WITH SCORE 28368.059
AT ITER 194 NEW BEST:: SOT 64995 SOS 60907 HAS SOPS 60907 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28218.907
AT ITER 195 NEW BEST:: SOT 64903 SOS 60815 HAS SOPS 60815 HAS SOUS 28065 HAS SOUPS 28065 WITH SCORE 28125.815
AT ITER 203 NEW BEST:: SOT 64889 SOS 60801 HAS SOPS 60801 HAS SOUS 28049 HAS SOUPS 28049 WITH SCORE 28109.801
AT ITER 219 NEW BEST:: SOT 64889 SOS 60898 HAS SOPS 60898 HAS SOUS 27940 HAS SOUPS 27940 WITH SCORE 28000.898
AT ITER 220 NEW BEST:: SOT 64889 SOS 60753 HAS SOPS 60753 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27936.753
AT ITER 221 NEW BEST:: SOT 64570 SOS 60434 HAS SOPS 60434 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27831.434
AT ITER 234 NEW BEST:: SOT 64171 SOS 60035 HAS SOPS 60035 HAS SOUS 27371 HAS SOUPS 27371 WITH SCORE 27431.035
AT ITER 251 NEW BEST:: SOT 64170 SOS 60033 HAS SOPS 60033 HAS SOUS 27369 HAS SOUPS 27369 WITH SCORE 27429.033
AT ITER 253 NEW BEST:: SOT 64157 SOS 60010 HAS SOPS 60010 HAS SOUS 27346 HAS SOUPS 27346 WITH SCORE 27406.01
AT ITER 277 NEW BEST:: SOT 64156 SOS 60009 HAS SOPS 60009 HAS SOUS 27334 HAS SOUPS 27334 WITH SCORE 27394.009
AT ITER 278 NEW BEST:: SOT 64131 SOS 59984 HAS SOPS 59984 HAS SOUS 27256 HAS SOUPS 27256 WITH SCORE 27315.984
AT ITER 288 NEW BEST:: SOT 64131 SOS 59984 HAS SOPS 59984 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27314.984
AT ITER 309 NEW BEST:: SOT 64027 SOS 59983 HAS SOPS 59983 HAS SOUS 27229 HAS SOUPS 27229 WITH SCORE 27288.983
AT ITER 335 NEW BEST:: SOT 64003 SOS 59959 HAS SOPS 59959 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27287.959
AT ITER 351 NEW BEST:: SOT 63281 SOS 59237 HAS SOPS 59237 HAS SOUS 26461 HAS SOUPS 26461 WITH SCORE 26520.237
AT ITER 352 NEW BEST:: SOT 63281 SOS 59175 HAS SOPS 59175 HAS SOUS 26460 HAS SOUPS 26460 WITH SCORE 26519.175
AT ITER 356 NEW BEST:: SOT 63129 SOS 50790 HAS SOPS 50790 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26332.79
AT ITER 358 NEW BEST:: SOT 63115 SOS 50776 HAS SOPS 50776 HAS SOUS 26267 HAS SOUPS 26267 WITH SCORE 26317.776
AT ITER 361 NEW BEST:: SOT 62953 SOS 50688 HAS SOPS 50688 HAS SOUS 26157 HAS SOUPS 26157 WITH SCORE 26207.688
AT ITER 366 NEW BEST:: SOT 62953 SOS 50688 HAS SOPS 50688 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26206.688
AT ITER 370 NEW BEST:: SOT 62782 SOS 50517 HAS SOPS 50517 HAS SOUS 25985 HAS SOUPS 25985 WITH SCORE 26035.517
AT ITER 375 NEW BEST:: SOT 62752 SOS 50487 HAS SOPS 50487 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25994.487
AT ITER 378 NEW BEST:: SOT 62752 SOS 50514 HAS SOPS 50514 HAS SOUS 25935 HAS SOUPS 25935 WITH SCORE 25985.514
AT ITER 383 NEW BEST:: SOT 62747 SOS 50509 HAS SOPS 50509 HAS SOUS 25930 HAS SOUPS 25930 WITH SCORE 25980.509
AT ITER 385 NEW BEST:: SOT 62628 SOS 50361 HAS SOPS 50361 HAS SOUS 25775 HAS SOUPS 25775 WITH SCORE 25825.361
AT ITER 387 NEW BEST:: SOT 62628 SOS 50361 HAS SOPS 50361 HAS SOUS 25717 HAS SOUPS 25717 WITH SCORE 25767.361
AT ITER 392 NEW BEST:: SOT 62337 SOS 50070 HAS SOPS 50070 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25713.07
AT ITER 393 NEW BEST:: SOT 62277 SOS 50010 HAS SOPS 50010 HAS SOUS 25543 HAS SOUPS 25543 WITH SCORE 25593.01
AT ITER 400 NEW BEST:: SOT 62366 SOS 50091 HAS SOPS 50091 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25552.091
AT ITER 426 NEW BEST:: SOT 62304 SOS 50029 HAS SOPS 50029 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25489.029
AT ITER 427 NEW BEST:: SOT 62250 SOS 49975 HAS SOPS 49975 HAS SOUS 25384 HAS SOUPS 25384 WITH SCORE 25433.975
AT ITER 432 NEW BEST:: SOT 62242 SOS 49967 HAS SOPS 49967 HAS SOUS 25376 HAS SOUPS 25376 WITH SCORE 25425.967
AT ITER 433 NEW BEST:: SOT 59213 SOS 46999 HAS SOPS 46999 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22413.999
AT ITER 439 NEW BEST:: SOT 59213 SOS 46937 HAS SOPS 46937 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22409.937
AT ITER 440 NEW BEST:: SOT 59213 SOS 46644 HAS SOPS 46644 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22360.644
AT ITER 461 NEW BEST:: SOT 59213 SOS 46644 HAS SOPS 46644 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22359.644
AT ITER 467 NEW BEST:: SOT 59213 SOS 46594 HAS SOPS 46594 HAS SOUS 22304 HAS SOUPS 22304 WITH SCORE 22350.594
AT ITER 468 NEW BEST:: SOT 59213 SOS 46594 HAS SOPS 46594 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22349.594
AT ITER 471 NEW BEST:: SOT 59213 SOS 46594 HAS SOPS 46594 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22327.594
AT ITER 478 NEW BEST:: SOT 58943 SOS 46370 HAS SOPS 46370 HAS SOUS 22189 HAS SOUPS 22189 WITH SCORE 22235.37
AT ITER 492 NEW BEST:: SOT 58858 SOS 46285 HAS SOPS 46285 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22064.285
AT ITER 508 NEW BEST:: SOT 57078 SOS 44505 HAS SOPS 44505 HAS SOUS 20238 HAS SOUPS 20238 WITH SCORE 20282.505
AT ITER 519 NEW BEST:: SOT 55755 SOS 43165 HAS SOPS 43165 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18955.165
AT ITER 525 NEW BEST:: SOT 55595 SOS 43005 HAS SOPS 43005 HAS SOUS 18751 HAS SOUPS 18751 WITH SCORE 18794.005
AT ITER 528 NEW BEST:: SOT 55595 SOS 42983 HAS SOPS 42983 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18792.983
AT ITER 536 NEW BEST:: SOT 55604 SOS 42931 HAS SOPS 42931 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18740.931
AT ITER 547 NEW BEST:: SOT 55603 SOS 42930 HAS SOPS 42930 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18740.93
AT ITER 548 NEW BEST:: SOT 55594 SOS 42921 HAS SOPS 42921 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18731.921
AT ITER 565 NEW BEST:: SOT 55594 SOS 42921 HAS SOPS 42921 HAS SOUS 18688 HAS SOUPS 18688 WITH SCORE 18730.921
AT ITER 575 NEW BEST:: SOT 54882 SOS 42209 HAS SOPS 42209 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 18014.209
AT ITER 581 NEW BEST:: SOT 54918 SOS 42192 HAS SOPS 42192 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17997.192
AT ITER 585 NEW BEST:: SOT 54742 SOS 42007 HAS SOPS 42007 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17929.007
AT ITER 586 NEW BEST:: SOT 54739 SOS 42004 HAS SOPS 42004 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17926.004
AT ITER 587 NEW BEST:: SOT 51816 SOS 42846 HAS SOPS 42846 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15063.846
AT ITER 622 NEW BEST:: SOT 51644 SOS 42803 HAS SOPS 42803 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 15020.803
AT ITER 624 NEW BEST:: SOT 51362 SOS 42521 HAS SOPS 42521 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14995.521
AT ITER 626 NEW BEST:: SOT 51362 SOS 42381 HAS SOPS 42381 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14855.381
AT ITER 630 NEW BEST:: SOT 51378 SOS 42397 HAS SOPS 42397 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14781.397
AT ITER 632 NEW BEST:: SOT 51285 SOS 42174 HAS SOPS 42174 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14558.174
AT ITER 655 NEW BEST:: SOT 51285 SOS 42198 HAS SOPS 42198 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14534.198
AT ITER 674 NEW BEST:: SOT 51282 SOS 42115 HAS SOPS 42115 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14493.115
AT ITER 678 NEW BEST:: SOT 51146 SOS 41811 HAS SOPS 41811 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14244.811
AT ITER 680 NEW BEST:: SOT 51040 SOS 41705 HAS SOPS 41705 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14244.705
AT ITER 704 NEW BEST:: SOT 50986 SOS 41651 HAS SOPS 41651 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14136.651
AT ITER 715 NEW BEST:: SOT 51103 SOS 41768 HAS SOPS 41768 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14124.768
AT ITER 718 NEW BEST:: SOT 51017 SOS 41682 HAS SOPS 41682 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14038.682
AT ITER 728 NEW BEST:: SOT 51005 SOS 41670 HAS SOPS 41670 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13992.67
AT ITER 731 NEW BEST:: SOT 50930 SOS 41595 HAS SOPS 41595 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13917.595
AT ITER 736 NEW BEST:: SOT 50861 SOS 41482 HAS SOPS 41482 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13883.482
AT ITER 764 NEW BEST:: SOT 50893 SOS 41619 HAS SOPS 41619 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13857.619
AT ITER 773 NEW BEST:: SOT 50850 SOS 41595 HAS SOPS 41595 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13832.595
AT ITER 784 NEW BEST:: SOT 50849 SOS 41594 HAS SOPS 41594 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13830.594
AT ITER 793 NEW BEST:: SOT 50849 SOS 41588 HAS SOPS 41588 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13824.588
AT ITER 802 NEW BEST:: SOT 50749 SOS 41488 HAS SOPS 41488 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13725.488
AT ITER 808 NEW BEST:: SOT 50717 SOS 41456 HAS SOPS 41456 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13635.456
AT ITER 810 NEW BEST:: SOT 50711 SOS 41450 HAS SOPS 41450 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13635.45
AT ITER 841 NEW BEST:: SOT 50702 SOS 41422 HAS SOPS 41422 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13634.422
AT ITER 860 NEW BEST:: SOT 50685 SOS 41405 HAS SOPS 41405 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13634.405
AT ITER 868 NEW BEST:: SOT 50536 SOS 41256 HAS SOPS 41256 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13618.256
AT ITER 871 NEW BEST:: SOT 50449 SOS 41169 HAS SOPS 41169 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13529.169
AT ITER 879 NEW BEST:: SOT 50448 SOS 41168 HAS SOPS 41168 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13527.168
AT ITER 888 NEW BEST:: SOT 50313 SOS 41033 HAS SOPS 41033 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13504.033
AT ITER 906 NEW BEST:: SOT 50286 SOS 41006 HAS SOPS 41006 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13450.006
AT ITER 925 NEW BEST:: SOT 50286 SOS 40991 HAS SOPS 40991 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13434.991
AT ITER 940 NEW BEST:: SOT 50230 SOS 40990 HAS SOPS 40990 HAS SOUS 13393 HAS SOUPS 13393 WITH SCORE 13433.99
AT ITER 983 NEW BEST:: SOT 50111 SOS 40871 HAS SOPS 40871 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13395.871
AT ITER 1017 NEW BEST:: SOT 50093 SOS 40853 HAS SOPS 40853 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13367.853
AT ITER 1033 NEW BEST:: SOT 50120 SOS 40880 HAS SOPS 40880 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13360.88
AT ITER 1057 NEW BEST:: SOT 50119 SOS 40879 HAS SOPS 40879 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13358.879
AT ITER 1070 NEW BEST:: SOT 50090 SOS 40850 HAS SOPS 40850 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13329.85
AT ITER 1080 NEW BEST:: SOT 50187 SOS 40974 HAS SOPS 40974 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13317.974
AT ITER 1084 NEW BEST:: SOT 50067 SOS 40854 HAS SOPS 40854 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13197.854
AT ITER 1091 NEW BEST:: SOT 50047 SOS 40834 HAS SOPS 40834 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13156.834
AT ITER 1093 NEW BEST:: SOT 49932 SOS 40719 HAS SOPS 40719 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13040.719
AT ITER 1118 NEW BEST:: SOT 49942 SOS 39457 HAS SOPS 39457 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13032.457
AT ITER 1129 NEW BEST:: SOT 49949 SOS 39464 HAS SOPS 39464 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 13025.464
AT ITER 1133 NEW BEST:: SOT 49912 SOS 39406 HAS SOPS 39406 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12964.406
AT ITER 1135 NEW BEST:: SOT 49911 SOS 39405 HAS SOPS 39405 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12962.405
AT ITER 1139 NEW BEST:: SOT 49853 SOS 39347 HAS SOPS 39347 HAS SOUS 12807 HAS SOUPS 12807 WITH SCORE 12846.347
AT ITER 1154 NEW BEST:: SOT 49822 SOS 39316 HAS SOPS 39316 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12818.316
AT ITER 1194 NEW BEST:: SOT 49818 SOS 39312 HAS SOPS 39312 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12818.312
AT ITER 1205 NEW BEST:: SOT 49810 SOS 39304 HAS SOPS 39304 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12791.304
AT ITER 1218 NEW BEST:: SOT 49809 SOS 39302 HAS SOPS 39302 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12789.302
AT ITER 1240 NEW BEST:: SOT 49808 SOS 39301 HAS SOPS 39301 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12787.301
AT ITER 1243 NEW BEST:: SOT 49785 SOS 39278 HAS SOPS 39278 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12764.278
AT ITER 1251 NEW BEST:: SOT 49741 SOS 39220 HAS SOPS 39220 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12706.22
AT ITER 1259 NEW BEST:: SOT 49719 SOS 39198 HAS SOPS 39198 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12662.198
AT ITER 1271 NEW BEST:: SOT 49714 SOS 39193 HAS SOPS 39193 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12652.193
AT ITER 1279 NEW BEST:: SOT 49588 SOS 40517 HAS SOPS 40517 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12563.517
AT ITER 1288 NEW BEST:: SOT 49586 SOS 40515 HAS SOPS 40515 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12563.515
AT ITER 1295 NEW BEST:: SOT 49589 SOS 40518 HAS SOPS 40518 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12544.518
AT ITER 1309 NEW BEST:: SOT 49651 SOS 40263 HAS SOPS 40263 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12505.263
AT ITER 1320 NEW BEST:: SOT 49651 SOS 40263 HAS SOPS 40263 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12487.263
AT ITER 1324 NEW BEST:: SOT 49478 SOS 40058 HAS SOPS 40058 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12383.058
AT ITER 1326 NEW BEST:: SOT 49452 SOS 40032 HAS SOPS 40032 HAS SOUS 12317 HAS SOUPS 12317 WITH SCORE 12357.032
AT ITER 1366 NEW BEST:: SOT 49439 SOS 40019 HAS SOPS 40019 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12331.019
AT ITER 1371 NEW BEST:: SOT 49436 SOS 40016 HAS SOPS 40016 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12328.016
AT ITER 1373 NEW BEST:: SOT 49435 SOS 40015 HAS SOPS 40015 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12326.015
AT ITER 1393 NEW BEST:: SOT 49499 SOS 40079 HAS SOPS 40079 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12322.079
AT ITER 1480 NEW BEST:: SOT 49473 SOS 40053 HAS SOPS 40053 HAS SOUS 12256 HAS SOUPS 12256 WITH SCORE 12296.053
AT ITER 1498 NEW BEST:: SOT 49481 SOS 40061 HAS SOPS 40061 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12294.061
AT ITER 1506 NEW BEST:: SOT 49475 SOS 40055 HAS SOPS 40055 HAS SOUS 12242 HAS SOUPS 12242 WITH SCORE 12282.055
AT ITER 1511 NEW BEST:: SOT 49469 SOS 40041 HAS SOPS 40041 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12278.041
AT ITER 1544 NEW BEST:: SOT 49469 SOS 39968 HAS SOPS 39968 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12204.968
AT ITER 1549 NEW BEST:: SOT 49464 SOS 39963 HAS SOPS 39963 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12194.963
AT ITER 1552 NEW BEST:: SOT 49447 SOS 39946 HAS SOPS 39946 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12177.946
AT ITER 1571 NEW BEST:: SOT 49446 SOS 39945 HAS SOPS 39945 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12175.945
AT ITER 1577 NEW BEST:: SOT 49230 SOS 39729 HAS SOPS 39729 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12087.729
AT ITER 1594 NEW BEST:: SOT 49230 SOS 39729 HAS SOPS 39729 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12086.729
AT ITER 1604 NEW BEST:: SOT 49226 SOS 39725 HAS SOPS 39725 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12078.725
AT ITER 1619 NEW BEST:: SOT 49226 SOS 39844 HAS SOPS 39844 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12067.844
AT ITER 1620 NEW BEST:: SOT 49222 SOS 39840 HAS SOPS 39840 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12055.84
AT ITER 1684 NEW BEST:: SOT 49194 SOS 39812 HAS SOPS 39812 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11999.812
AT ITER 1689 NEW BEST:: SOT 49192 SOS 39810 HAS SOPS 39810 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11997.81
AT ITER 1708 NEW BEST:: SOT 49152 SOS 39770 HAS SOPS 39770 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11954.77
AT ITER 1718 NEW BEST:: SOT 49147 SOS 39765 HAS SOPS 39765 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11933.765
AT ITER 1746 NEW BEST:: SOT 49158 SOS 39776 HAS SOPS 39776 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11918.776
AT ITER 1768 NEW BEST:: SOT 49149 SOS 39771 HAS SOPS 39771 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11916.771
AT ITER 1827 NEW BEST:: SOT 48883 SOS 39484 HAS SOPS 39484 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11629.484
AT ITER 1839 NEW BEST:: SOT 48883 SOS 39452 HAS SOPS 39452 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11619.452
AT ITER 1845 NEW BEST:: SOT 48820 SOS 39389 HAS SOPS 39389 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11556.389
AT ITER 1889 NEW BEST:: SOT 48809 SOS 39378 HAS SOPS 39378 HAS SOUS 11495 HAS SOUPS 11495 WITH SCORE 11534.378
AT ITER 1900 NEW BEST:: SOT 48768 SOS 39337 HAS SOPS 39337 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11516.337
AT ITER 1924 NEW BEST:: SOT 48767 SOS 39332 HAS SOPS 39332 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11516.332
AT ITER 1950 NEW BEST:: SOT 48764 SOS 39329 HAS SOPS 39329 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11510.329
AT ITER 1951 NEW BEST:: SOT 48689 SOS 42999 HAS SOPS 42999 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11502.999
AT ITER 1957 NEW BEST:: SOT 48689 SOS 43016 HAS SOPS 43016 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11486.016
AT ITER 1962 NEW BEST:: SOT 48689 SOS 43016 HAS SOPS 43016 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11460.016
AT ITER 1975 NEW BEST:: SOT 48680 SOS 43007 HAS SOPS 43007 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11451.007
AT ITER 2001 NEW BEST:: SOT 48679 SOS 43006 HAS SOPS 43006 HAS SOUS 11406 HAS SOUPS 11406 WITH SCORE 11449.006
AT ITER 2014 NEW BEST:: SOT 48697 SOS 43024 HAS SOPS 43024 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11444.024
AT ITER 2020 NEW BEST:: SOT 48694 SOS 42874 HAS SOPS 42874 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11293.874
AT ITER 2021 NEW BEST:: SOT 48582 SOS 42728 HAS SOPS 42728 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11227.728
AT ITER 2040 NEW BEST:: SOT 48571 SOS 42706 HAS SOPS 42706 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11205.706
AT ITER 2048 NEW BEST:: SOT 48571 SOS 42675 HAS SOPS 42675 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11174.675
AT ITER 2054 NEW BEST:: SOT 48572 SOS 42691 HAS SOPS 42691 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11169.691
AT ITER 2092 NEW BEST:: SOT 48561 SOS 42680 HAS SOPS 42680 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11146.68
AT ITER 2096 NEW BEST:: SOT 48541 SOS 42650 HAS SOPS 42650 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11116.65
AT ITER 2119 NEW BEST:: SOT 48510 SOS 42619 HAS SOPS 42619 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11054.619
AT ITER 2139 NEW BEST:: SOT 48503 SOS 42612 HAS SOPS 42612 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11050.612
AT ITER 2142 NEW BEST:: SOT 48459 SOS 42568 HAS SOPS 42568 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10962.568
AT ITER 2184 NEW BEST:: SOT 48455 SOS 42564 HAS SOPS 42564 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10958.564
AT ITER 2204 NEW BEST:: SOT 48412 SOS 42459 HAS SOPS 42459 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10926.459
AT ITER 2210 NEW BEST:: SOT 48394 SOS 42441 HAS SOPS 42441 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10908.441
AT ITER 2225 NEW BEST:: SOT 48298 SOS 42345 HAS SOPS 42345 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10812.345
AT ITER 2256 NEW BEST:: SOT 48298 SOS 42332 HAS SOPS 42332 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10799.332
AT ITER 2265 NEW BEST:: SOT 48296 SOS 42330 HAS SOPS 42330 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10795.33
AT ITER 2276 NEW BEST:: SOT 48338 SOS 42462 HAS SOPS 42462 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10789.462
AT ITER 2286 NEW BEST:: SOT 48276 SOS 42383 HAS SOPS 42383 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10772.383
AT ITER 2308 NEW BEST:: SOT 48283 SOS 42390 HAS SOPS 42390 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10761.39
AT ITER 2328 NEW BEST:: SOT 48179 SOS 42285 HAS SOPS 42285 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10760.285
AT ITER 2342 NEW BEST:: SOT 48177 SOS 42283 HAS SOPS 42283 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10756.283
AT ITER 2405 NEW BEST:: SOT 48161 SOS 42267 HAS SOPS 42267 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10724.267
AT ITER 2428 NEW BEST:: SOT 48138 SOS 42244 HAS SOPS 42244 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10678.244
AT ITER 2442 NEW BEST:: SOT 48138 SOS 42220 HAS SOPS 42220 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10678.22
AT ITER 2443 NEW BEST:: SOT 48138 SOS 42193 HAS SOPS 42193 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10678.193
AT ITER 2469 NEW BEST:: SOT 48137 SOS 42192 HAS SOPS 42192 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10676.192
AT ITER 2496 NEW BEST:: SOT 48137 SOS 42188 HAS SOPS 42188 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10676.188
AT ITER 2513 NEW BEST:: SOT 48031 SOS 42322 HAS SOPS 42322 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10631.322
AT ITER 2605 NEW BEST:: SOT 48028 SOS 42319 HAS SOPS 42319 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10628.319
AT ITER 2616 NEW BEST:: SOT 48027 SOS 42318 HAS SOPS 42318 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10626.318
AT ITER 2652 NEW BEST:: SOT 48022 SOS 42313 HAS SOPS 42313 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10623.313
AT ITER 2669 NEW BEST:: SOT 47936 SOS 42227 HAS SOPS 42227 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10537.227
AT ITER 2685 NEW BEST:: SOT 47869 SOS 42053 HAS SOPS 42053 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10483.053
AT ITER 2691 NEW BEST:: SOT 47730 SOS 41846 HAS SOPS 41846 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10314.846
AT ITER 2692 NEW BEST:: SOT 47726 SOS 41842 HAS SOPS 41842 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10310.842
AT ITER 2731 NEW BEST:: SOT 47723 SOS 41839 HAS SOPS 41839 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10304.839
AT ITER 2776 NEW BEST:: SOT 47723 SOS 41839 HAS SOPS 41839 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10288.839
AT ITER 2779 NEW BEST:: SOT 47718 SOS 41834 HAS SOPS 41834 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10258.834
AT ITER 2816 NEW BEST:: SOT 47718 SOS 41821 HAS SOPS 41821 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10245.821
AT ITER 2876 NEW BEST:: SOT 47592 SOS 41695 HAS SOPS 41695 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10231.695
AT ITER 2889 NEW BEST:: SOT 47591 SOS 41694 HAS SOPS 41694 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10217.694
AT ITER 2916 NEW BEST:: SOT 47590 SOS 41693 HAS SOPS 41693 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10215.693
AT ITER 2933 NEW BEST:: SOT 47586 SOS 41689 HAS SOPS 41689 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10211.689
AT ITER 2938 NEW BEST:: SOT 47578 SOS 41677 HAS SOPS 41677 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10199.677
AT ITER 2973 NEW BEST:: SOT 47528 SOS 41627 HAS SOPS 41627 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10189.627
AT ITER 2991 NEW BEST:: SOT 47650 SOS 41751 HAS SOPS 41751 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10167.751
AT ITER 3007 NEW BEST:: SOT 47638 SOS 41739 HAS SOPS 41739 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10155.739
AT ITER 3029 NEW BEST:: SOT 47640 SOS 41741 HAS SOPS 41741 HAS SOUS 10110 HAS SOUPS 10110 WITH SCORE 10151.741
AT ITER 3051 NEW BEST:: SOT 47593 SOS 41694 HAS SOPS 41694 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10103.694
AT ITER 3054 NEW BEST:: SOT 47563 SOS 41664 HAS SOPS 41664 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10097.664
AT ITER 3066 NEW BEST:: SOT 47562 SOS 41663 HAS SOPS 41663 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10096.663
AT ITER 3091 NEW BEST:: SOT 47562 SOS 41662 HAS SOPS 41662 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10095.662
AT ITER 3092 NEW BEST:: SOT 47334 SOS 41488 HAS SOPS 41488 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10045.488
AT ITER 3096 NEW BEST:: SOT 47324 SOS 41478 HAS SOPS 41478 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10025.478
AT ITER 3118 NEW BEST:: SOT 47239 SOS 41393 HAS SOPS 41393 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 10008.393
AT ITER 3125 NEW BEST:: SOT 47239 SOS 41388 HAS SOPS 41388 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 10004.388
AT ITER 3127 NEW BEST:: SOT 47242 SOS 41391 HAS SOPS 41391 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 10000.391
AT ITER 3154 NEW BEST:: SOT 47220 SOS 41366 HAS SOPS 41366 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9982.366
AT ITER 3178 NEW BEST:: SOT 47185 SOS 41331 HAS SOPS 41331 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9947.331
AT ITER 3179 NEW BEST:: SOT 47183 SOS 41329 HAS SOPS 41329 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9945.329
AT ITER 3185 NEW BEST:: SOT 47131 SOS 41277 HAS SOPS 41277 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9893.277
AT ITER 3203 NEW BEST:: SOT 47107 SOS 41243 HAS SOPS 41243 HAS SOUS 9818 HAS SOUPS 9818 WITH SCORE 9859.243
AT ITER 3210 NEW BEST:: SOT 47051 SOS 41169 HAS SOPS 41169 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9785.169
AT ITER 3233 NEW BEST:: SOT 47050 SOS 41168 HAS SOPS 41168 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9783.168
AT ITER 3241 NEW BEST:: SOT 47019 SOS 41137 HAS SOPS 41137 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9768.137
AT ITER 3267 NEW BEST:: SOT 46735 SOS 40809 HAS SOPS 40809 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9723.809
AT ITER 3281 NEW BEST:: SOT 46649 SOS 40753 HAS SOPS 40753 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9649.753
AT ITER 3305 NEW BEST:: SOT 46648 SOS 40752 HAS SOPS 40752 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9647.752
AT ITER 3312 NEW BEST:: SOT 46639 SOS 40741 HAS SOPS 40741 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9631.741
AT ITER 3315 NEW BEST:: SOT 46618 SOS 40720 HAS SOPS 40720 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9631.72
AT ITER 3408 NEW BEST:: SOT 46608 SOS 40725 HAS SOPS 40725 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9626.725
AT ITER 3435 NEW BEST:: SOT 46593 SOS 40687 HAS SOPS 40687 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9594.687
AT ITER 3455 NEW BEST:: SOT 46592 SOS 40686 HAS SOPS 40686 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9583.686
AT ITER 3469 NEW BEST:: SOT 46591 SOS 40685 HAS SOPS 40685 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9581.685
AT ITER 3514 NEW BEST:: SOT 46517 SOS 40463 HAS SOPS 40463 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9431.463
AT ITER 3572 NEW BEST:: SOT 46517 SOS 40463 HAS SOPS 40463 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9427.463
AT ITER 3614 NEW BEST:: SOT 46507 SOS 40453 HAS SOPS 40453 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9407.453
AT ITER 3622 NEW BEST:: SOT 46507 SOS 40436 HAS SOPS 40436 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9405.436
AT ITER 3629 NEW BEST:: SOT 46506 SOS 40435 HAS SOPS 40435 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9403.435
AT ITER 3633 NEW BEST:: SOT 46493 SOS 40422 HAS SOPS 40422 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9401.422
AT ITER 3647 NEW BEST:: SOT 46491 SOS 40420 HAS SOPS 40420 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9397.42
AT ITER 3664 NEW BEST:: SOT 46472 SOS 40401 HAS SOPS 40401 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9359.401
AT ITER 3693 NEW BEST:: SOT 46472 SOS 40413 HAS SOPS 40413 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9333.413
AT ITER 3704 NEW BEST:: SOT 45988 SOS 39929 HAS SOPS 39929 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9114.929
AT ITER 3721 NEW BEST:: SOT 45907 SOS 39871 HAS SOPS 39871 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9086.871
AT ITER 3722 NEW BEST:: SOT 45906 SOS 39820 HAS SOPS 39820 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9084.82
AT ITER 3741 NEW BEST:: SOT 45896 SOS 39803 HAS SOPS 39803 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9069.803
AT ITER 3755 NEW BEST:: SOT 45889 SOS 39796 HAS SOPS 39796 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9053.796
AT ITER 3756 NEW BEST:: SOT 45898 SOS 39857 HAS SOPS 39857 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9046.857
AT ITER 3786 NEW BEST:: SOT 45890 SOS 39849 HAS SOPS 39849 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9030.849
AT ITER 3822 NEW BEST:: SOT 45889 SOS 39848 HAS SOPS 39848 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9028.848
AT ITER 3867 NEW BEST:: SOT 45888 SOS 39847 HAS SOPS 39847 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9027.847
AT ITER 3884 NEW BEST:: SOT 45885 SOS 39844 HAS SOPS 39844 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9025.844
AT ITER 3900 NEW BEST:: SOT 45880 SOS 39808 HAS SOPS 39808 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9020.808
AT ITER 3902 NEW BEST:: SOT 45860 SOS 39788 HAS SOPS 39788 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 9000.788
AT ITER 3909 NEW BEST:: SOT 45857 SOS 39785 HAS SOPS 39785 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8997.785
AT ITER 3917 NEW BEST:: SOT 45852 SOS 39780 HAS SOPS 39780 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8985.78
AT ITER 3930 NEW BEST:: SOT 45838 SOS 39766 HAS SOPS 39766 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8971.766
AT ITER 3949 NEW BEST:: SOT 45826 SOS 39754 HAS SOPS 39754 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8947.754
AT ITER 3954 NEW BEST:: SOT 45810 SOS 39722 HAS SOPS 39722 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8931.722
AT ITER 3956 NEW BEST:: SOT 45808 SOS 39720 HAS SOPS 39720 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8927.72
AT ITER 3976 NEW BEST:: SOT 45807 SOS 39719 HAS SOPS 39719 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8925.719
AT ITER 3982 NEW BEST:: SOT 45743 SOS 39655 HAS SOPS 39655 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8861.655
AT ITER 3993 NEW BEST:: SOT 45740 SOS 39652 HAS SOPS 39652 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8860.652
AT ITER 4004 NEW BEST:: SOT 45725 SOS 39637 HAS SOPS 39637 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8828.637
AT ITER 4009 NEW BEST:: SOT 45725 SOS 39637 HAS SOPS 39637 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8806.637
AT ITER 4074 NEW BEST:: SOT 45674 SOS 39586 HAS SOPS 39586 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8704.586
AT ITER 4080 NEW BEST:: SOT 45654 SOS 39566 HAS SOPS 39566 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8664.566
AT ITER 4091 NEW BEST:: SOT 45648 SOS 39560 HAS SOPS 39560 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8658.56
AT ITER 4101 NEW BEST:: SOT 45649 SOS 39561 HAS SOPS 39561 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8648.561
AT ITER 4139 NEW BEST:: SOT 45655 SOS 39567 HAS SOPS 39567 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8624.567
AT ITER 4144 NEW BEST:: SOT 45645 SOS 39507 HAS SOPS 39507 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8604.507
AT ITER 4159 NEW BEST:: SOT 45645 SOS 39503 HAS SOPS 39503 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8600.503
AT ITER 4171 NEW BEST:: SOT 45645 SOS 39500 HAS SOPS 39500 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8598.5
AT ITER 4180 NEW BEST:: SOT 45642 SOS 39497 HAS SOPS 39497 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8598.497
AT ITER 4183 NEW BEST:: SOT 45642 SOS 39497 HAS SOPS 39497 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8559.497
AT ITER 4413 NEW BEST:: SOT 45628 SOS 39483 HAS SOPS 39483 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8494.483
AT ITER 4426 NEW BEST:: SOT 45627 SOS 39482 HAS SOPS 39482 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8492.482
AT ITER 4434 NEW BEST:: SOT 45624 SOS 39479 HAS SOPS 39479 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8489.479
AT ITER 4453 NEW BEST:: SOT 45535 SOS 39390 HAS SOPS 39390 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8438.39
AT ITER 4454 NEW BEST:: SOT 45503 SOS 39358 HAS SOPS 39358 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8406.358
AT ITER 4501 NEW BEST:: SOT 45495 SOS 39350 HAS SOPS 39350 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8390.35
AT ITER 4526 NEW BEST:: SOT 45426 SOS 39281 HAS SOPS 39281 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8373.281
AT ITER 4549 NEW BEST:: SOT 45426 SOS 39275 HAS SOPS 39275 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8369.275
AT ITER 4555 NEW BEST:: SOT 45429 SOS 39178 HAS SOPS 39178 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8272.178
AT ITER 4636 NEW BEST:: SOT 45429 SOS 39178 HAS SOPS 39178 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8269.178
AT ITER 4644 NEW BEST:: SOT 45421 SOS 39170 HAS SOPS 39170 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8253.17
AT ITER 4716 NEW BEST:: SOT 45406 SOS 39220 HAS SOPS 39220 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8152.22
AT ITER 4779 NEW BEST:: SOT 45405 SOS 39219 HAS SOPS 39219 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8150.219
AT ITER 4787 NEW BEST:: SOT 45402 SOS 39216 HAS SOPS 39216 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8144.216
AT ITER 4796 NEW BEST:: SOT 45376 SOS 39142 HAS SOPS 39142 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8140.142
AT ITER 4820 NEW BEST:: SOT 45376 SOS 39141 HAS SOPS 39141 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8139.141
AT ITER 4827 NEW BEST:: SOT 45372 SOS 39137 HAS SOPS 39137 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8131.137
AT ITER 4841 NEW BEST:: SOT 45371 SOS 39136 HAS SOPS 39136 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8130.136
AT ITER 4863 NEW BEST:: SOT 45373 SOS 39140 HAS SOPS 39140 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8119.14
AT ITER 4864 NEW BEST:: SOT 45368 SOS 39135 HAS SOPS 39135 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8114.135
AT ITER 4873 NEW BEST:: SOT 45365 SOS 39132 HAS SOPS 39132 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8108.132
AT ITER 4883 NEW BEST:: SOT 45361 SOS 39128 HAS SOPS 39128 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8100.128
AT ITER 4966 NEW BEST:: SOT 45358 SOS 39125 HAS SOPS 39125 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8097.125
AT ITER 4986 NEW BEST:: SOT 45358 SOS 39133 HAS SOPS 39133 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8089.133
AT ITER 5001 NEW BEST:: SOT 45353 SOS 39126 HAS SOPS 39126 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8082.126
AT ITER 5041 NEW BEST:: SOT 45341 SOS 39107 HAS SOPS 39107 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8063.107
AT ITER 5043 NEW BEST:: SOT 45338 SOS 39104 HAS SOPS 39104 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8057.104
AT ITER 5046 NEW BEST:: SOT 45331 SOS 39097 HAS SOPS 39097 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8043.097
AT ITER 5071 NEW BEST:: SOT 45321 SOS 39087 HAS SOPS 39087 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 8023.087
AT ITER 5089 NEW BEST:: SOT 45317 SOS 39083 HAS SOPS 39083 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 8015.083
AT ITER 5092 NEW BEST:: SOT 45317 SOS 39033 HAS SOPS 39033 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7965.033
AT ITER 5098 NEW BEST:: SOT 45315 SOS 39031 HAS SOPS 39031 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7961.031
AT ITER 5104 NEW BEST:: SOT 45311 SOS 39027 HAS SOPS 39027 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7957.027
AT ITER 5127 NEW BEST:: SOT 45325 SOS 39048 HAS SOPS 39048 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7956.048
AT ITER 5145 NEW BEST:: SOT 45325 SOS 39050 HAS SOPS 39050 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7954.05
AT ITER 5150 NEW BEST:: SOT 45376 SOS 38847 HAS SOPS 38847 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7889.847
AT ITER 5225 NEW BEST:: SOT 45373 SOS 38841 HAS SOPS 38841 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7883.841
AT ITER 5232 NEW BEST:: SOT 45365 SOS 38826 HAS SOPS 38826 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7874.826
AT ITER 5271 NEW BEST:: SOT 45308 SOS 37315 HAS SOPS 37315 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7789.315
AT ITER 5275 NEW BEST:: SOT 45229 SOS 37236 HAS SOPS 37236 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7780.236
AT ITER 5280 NEW BEST:: SOT 45228 SOS 37235 HAS SOPS 37235 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7778.235
AT ITER 5287 NEW BEST:: SOT 45222 SOS 37229 HAS SOPS 37229 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7766.229
AT ITER 5288 NEW BEST:: SOT 45222 SOS 37219 HAS SOPS 37219 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7766.219
AT ITER 5311 NEW BEST:: SOT 45245 SOS 37242 HAS SOPS 37242 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7764.242
AT ITER 5355 NEW BEST:: SOT 45241 SOS 37238 HAS SOPS 37238 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7756.238
AT ITER 5391 NEW BEST:: SOT 45241 SOS 37170 HAS SOPS 37170 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7688.17
AT ITER 5420 NEW BEST:: SOT 45189 SOS 37118 HAS SOPS 37118 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7662.118
AT ITER 5456 NEW BEST:: SOT 45180 SOS 37100 HAS SOPS 37100 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7644.1
AT ITER 5511 NEW BEST:: SOT 45166 SOS 37054 HAS SOPS 37054 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7598.054
AT ITER 5541 NEW BEST:: SOT 45103 SOS 37038 HAS SOPS 37038 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7575.038
AT ITER 5571 NEW BEST:: SOT 45131 SOS 37071 HAS SOPS 37071 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7566.071
AT ITER 5603 NEW BEST:: SOT 45082 SOS 36977 HAS SOPS 36977 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7512.977
AT ITER 5611 NEW BEST:: SOT 45080 SOS 36975 HAS SOPS 36975 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7508.975
AT ITER 5612 NEW BEST:: SOT 45085 SOS 36980 HAS SOPS 36980 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7507.98
AT ITER 5650 NEW BEST:: SOT 45084 SOS 36917 HAS SOPS 36917 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7505.917
AT ITER 5680 NEW BEST:: SOT 45083 SOS 36916 HAS SOPS 36916 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7492.916
AT ITER 5708 NEW BEST:: SOT 45045 SOS 36880 HAS SOPS 36880 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7473.88
AT ITER 5722 NEW BEST:: SOT 45044 SOS 36879 HAS SOPS 36879 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7472.879
AT ITER 5755 NEW BEST:: SOT 45037 SOS 36863 HAS SOPS 36863 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7460.863
AT ITER 5876 NEW BEST:: SOT 45031 SOS 36851 HAS SOPS 36851 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7454.851
AT ITER 5973 NEW BEST:: SOT 45005 SOS 36818 HAS SOPS 36818 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7429.818
AT ITER 5991 NEW BEST:: SOT 45002 SOS 36815 HAS SOPS 36815 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7423.815
AT ITER 6039 NEW BEST:: SOT 44999 SOS 36812 HAS SOPS 36812 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7417.812
AT ITER 6136 NEW BEST:: SOT 45046 SOS 36867 HAS SOPS 36867 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7415.867
AT ITER 6191 NEW BEST:: SOT 45045 SOS 36866 HAS SOPS 36866 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7413.866
AT ITER 6220 NEW BEST:: SOT 45000 SOS 34121 HAS SOPS 34121 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7372.121
AT ITER 6265 NEW BEST:: SOT 45041 SOS 34162 HAS SOPS 34162 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7370.162
AT ITER 6293 NEW BEST:: SOT 45041 SOS 34136 HAS SOPS 34136 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7370.136
AT ITER 6331 NEW BEST:: SOT 45033 SOS 34128 HAS SOPS 34128 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7370.128
AT ITER 6349 NEW BEST:: SOT 45022 SOS 34136 HAS SOPS 34136 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7348.136
AT ITER 6354 NEW BEST:: SOT 45029 SOS 34108 HAS SOPS 34108 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7340.108
AT ITER 6355 NEW BEST:: SOT 45028 SOS 34107 HAS SOPS 34107 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7337.107
AT ITER 6371 NEW BEST:: SOT 45022 SOS 34056 HAS SOPS 34056 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7248.056
AT ITER 6427 NEW BEST:: SOT 45024 SOS 34058 HAS SOPS 34058 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7247.058
AT ITER 6444 NEW BEST:: SOT 45017 SOS 34051 HAS SOPS 34051 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7233.051
AT ITER 6467 NEW BEST:: SOT 45018 SOS 34052 HAS SOPS 34052 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7231.052
AT ITER 6526 NEW BEST:: SOT 45017 SOS 34051 HAS SOPS 34051 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7229.051
AT ITER 6593 NEW BEST:: SOT 45015 SOS 34046 HAS SOPS 34046 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7224.046
AT ITER 6597 NEW BEST:: SOT 45012 SOS 34043 HAS SOPS 34043 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7222.043
AT ITER 6682 NEW BEST:: SOT 45005 SOS 34036 HAS SOPS 34036 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7208.036
AT ITER 6773 NEW BEST:: SOT 45004 SOS 34035 HAS SOPS 34035 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7206.035
AT ITER 6857 NEW BEST:: SOT 45022 SOS 34053 HAS SOPS 34053 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7189.053
AT ITER 6887 NEW BEST:: SOT 45022 SOS 34053 HAS SOPS 34053 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7187.053
AT ITER 6916 NEW BEST:: SOT 45044 SOS 34079 HAS SOPS 34079 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7141.079
AT ITER 6922 NEW BEST:: SOT 45034 SOS 34067 HAS SOPS 34067 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7124.067
AT ITER 6939 NEW BEST:: SOT 45028 SOS 34076 HAS SOPS 34076 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7121.076
AT ITER 6983 NEW BEST:: SOT 45003 SOS 34037 HAS SOPS 34037 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7088.037
AT ITER 7034 NEW BEST:: SOT 45007 SOS 34041 HAS SOPS 34041 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7084.041
AT ITER 7056 NEW BEST:: SOT 45007 SOS 34041 HAS SOPS 34041 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7048.041
AT ITER 7079 NEW BEST:: SOT 45007 SOS 34040 HAS SOPS 34040 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7047.04
AT ITER 7116 NEW BEST:: SOT 45007 SOS 34008 HAS SOPS 34008 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 7015.008
AT ITER 7138 NEW BEST:: SOT 45005 SOS 34006 HAS SOPS 34006 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 7011.006
AT ITER 7217 NEW BEST:: SOT 44996 SOS 33997 HAS SOPS 33997 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 7010.997
AT ITER 7240 NEW BEST:: SOT 44990 SOS 33979 HAS SOPS 33979 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6998.979
AT ITER 7285 NEW BEST:: SOT 44973 SOS 33939 HAS SOPS 33939 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6979.939
AT ITER 7362 NEW BEST:: SOT 44933 SOS 33899 HAS SOPS 33899 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6939.899
AT ITER 7383 NEW BEST:: SOT 44922 SOS 33888 HAS SOPS 33888 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6928.888
AT ITER 7388 NEW BEST:: SOT 44920 SOS 33886 HAS SOPS 33886 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6912.886
AT ITER 7404 NEW BEST:: SOT 44883 SOS 33833 HAS SOPS 33833 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6899.833
AT ITER 7498 NEW BEST:: SOT 44877 SOS 33829 HAS SOPS 33829 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6897.829
AT ITER 7517 NEW BEST:: SOT 44865 SOS 33817 HAS SOPS 33817 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6873.817
AT ITER 7534 NEW BEST:: SOT 44864 SOS 33816 HAS SOPS 33816 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6871.816
AT ITER 7599 NEW BEST:: SOT 44860 SOS 33812 HAS SOPS 33812 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6869.812
AT ITER 7600 NEW BEST:: SOT 44857 SOS 33809 HAS SOPS 33809 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6863.809
AT ITER 7618 NEW BEST:: SOT 44839 SOS 33791 HAS SOPS 33791 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6845.791
AT ITER 7625 NEW BEST:: SOT 44839 SOS 33791 HAS SOPS 33791 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6840.791
AT ITER 7635 NEW BEST:: SOT 44838 SOS 33789 HAS SOPS 33789 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6839.789
AT ITER 7732 NEW BEST:: SOT 44814 SOS 33765 HAS SOPS 33765 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6815.765
AT ITER 7740 NEW BEST:: SOT 44797 SOS 33748 HAS SOPS 33748 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6781.748
AT ITER 7748 NEW BEST:: SOT 44766 SOS 33700 HAS SOPS 33700 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6750.7
AT ITER 7763 NEW BEST:: SOT 44768 SOS 33702 HAS SOPS 33702 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6747.702
AT ITER 7767 NEW BEST:: SOT 44772 SOS 33706 HAS SOPS 33706 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6735.706
AT ITER 7867 NEW BEST:: SOT 44759 SOS 33710 HAS SOPS 33710 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6676.71
AT ITER 7989 NEW BEST:: SOT 44763 SOS 33710 HAS SOPS 33710 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6674.71
AT ITER 8009 NEW BEST:: SOT 44691 SOS 33645 HAS SOPS 33645 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6633.645
AT ITER 8054 NEW BEST:: SOT 44686 SOS 33640 HAS SOPS 33640 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6623.64
AT ITER 8104 NEW BEST:: SOT 44685 SOS 33639 HAS SOPS 33639 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6622.639
AT ITER 8185 NEW BEST:: SOT 44685 SOS 33628 HAS SOPS 33628 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6611.628
AT ITER 8238 NEW BEST:: SOT 44679 SOS 33635 HAS SOPS 33635 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6605.635
AT ITER 8242 NEW BEST:: SOT 44704 SOS 33660 HAS SOPS 33660 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6578.66
AT ITER 8372 NEW BEST:: SOT 44721 SOS 33677 HAS SOPS 33677 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6567.677
AT ITER 8429 NEW BEST:: SOT 44691 SOS 33665 HAS SOPS 33665 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6567.665
AT ITER 8484 NEW BEST:: SOT 44688 SOS 33662 HAS SOPS 33662 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6561.662
AT ITER 8486 NEW BEST:: SOT 44674 SOS 33634 HAS SOPS 33634 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6547.634
AT ITER 8513 NEW BEST:: SOT 44672 SOS 33632 HAS SOPS 33632 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6536.632
AT ITER 8633 NEW BEST:: SOT 44656 SOS 33616 HAS SOPS 33616 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6502.616
AT ITER 8666 NEW BEST:: SOT 44655 SOS 33615 HAS SOPS 33615 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6500.615
AT ITER 8684 NEW BEST:: SOT 44652 SOS 33612 HAS SOPS 33612 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6494.612
AT ITER 8715 NEW BEST:: SOT 44652 SOS 33609 HAS SOPS 33609 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6491.609
AT ITER 8725 NEW BEST:: SOT 44651 SOS 33608 HAS SOPS 33608 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6489.608
AT ITER 8815 NEW BEST:: SOT 44649 SOS 33606 HAS SOPS 33606 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6489.606
AT ITER 8824 NEW BEST:: SOT 44646 SOS 33609 HAS SOPS 33609 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6477.609
AT ITER 8879 NEW BEST:: SOT 44645 SOS 33608 HAS SOPS 33608 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6475.608
AT ITER 8978 NEW BEST:: SOT 44644 SOS 33607 HAS SOPS 33607 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6474.607
AT ITER 9038 NEW BEST:: SOT 44643 SOS 33606 HAS SOPS 33606 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6472.606
AT ITER 9057 NEW BEST:: SOT 44669 SOS 33502 HAS SOPS 33502 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6472.502
AT ITER 9080 NEW BEST:: SOT 44645 SOS 33478 HAS SOPS 33478 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6424.478
AT ITER 9081 NEW BEST:: SOT 44636 SOS 33460 HAS SOPS 33460 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6412.46
AT ITER 9103 NEW BEST:: SOT 44646 SOS 33470 HAS SOPS 33470 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6382.47
AT ITER 9143 NEW BEST:: SOT 44643 SOS 33467 HAS SOPS 33467 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6376.467
AT ITER 9244 NEW BEST:: SOT 44642 SOS 33445 HAS SOPS 33445 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6375.445
AT ITER 9324 NEW BEST:: SOT 44642 SOS 33430 HAS SOPS 33430 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6370.43
AT ITER 9326 NEW BEST:: SOT 44642 SOS 33429 HAS SOPS 33429 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6369.429
AT ITER 9328 NEW BEST:: SOT 44640 SOS 33427 HAS SOPS 33427 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6365.427
AT ITER 9395 NEW BEST:: SOT 44637 SOS 33424 HAS SOPS 33424 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6356.424
AT ITER 9420 NEW BEST:: SOT 44629 SOS 33416 HAS SOPS 33416 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6340.416
AT ITER 9486 NEW BEST:: SOT 44615 SOS 33398 HAS SOPS 33398 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6336.398
AT ITER 9542 NEW BEST:: SOT 44613 SOS 33396 HAS SOPS 33396 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6332.396
AT ITER 9565 NEW BEST:: SOT 44612 SOS 33395 HAS SOPS 33395 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6330.395
AT ITER 9573 NEW BEST:: SOT 44590 SOS 33370 HAS SOPS 33370 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6305.37
AT ITER 9620 NEW BEST:: SOT 44573 SOS 33344 HAS SOPS 33344 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6280.344
AT ITER 9754 NEW BEST:: SOT 44565 SOS 33336 HAS SOPS 33336 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6264.336
AT ITER 9780 NEW BEST:: SOT 44566 SOS 33289 HAS SOPS 33289 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6217.289
AT ITER 9793 NEW BEST:: SOT 44566 SOS 33282 HAS SOPS 33282 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6215.282
AT ITER 9979 NEW BEST:: SOT 44564 SOS 33280 HAS SOPS 33280 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6213.28
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6781156 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125348 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DES-PT-50a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484300480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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