About the Execution of Smart for BusinessProcesses-PT-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1011.615 | 184348.00 | 184091.00 | 0.00 | 2.1970E+0011 2.5575E+0012 1 25 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688200480.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688200480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 16:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 79K 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 1678468353093
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 288 places, 283 transitions, 916 arcs.
AT ITER 0 NEW BEST:: SOT 54232 SOS 22226 HAS SOPS 22226 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.226
AT ITER 17 NEW BEST:: SOT 52770 SOS 20874 HAS SOPS 20874 HAS SOUS 18763 HAS SOUPS 18763 WITH SCORE 18783.874
AT ITER 36 NEW BEST:: SOT 52769 SOS 20872 HAS SOPS 20872 HAS SOUS 18761 HAS SOUPS 18761 WITH SCORE 18781.872
AT ITER 44 NEW BEST:: SOT 52748 SOS 20811 HAS SOPS 20811 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18720.811
AT ITER 48 NEW BEST:: SOT 52769 SOS 20633 HAS SOPS 20633 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18702.633
AT ITER 58 NEW BEST:: SOT 51274 SOS 19163 HAS SOPS 19163 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17227.163
AT ITER 66 NEW BEST:: SOT 51274 SOS 19123 HAS SOPS 19123 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17221.123
AT ITER 68 NEW BEST:: SOT 50467 SOS 18590 HAS SOPS 18590 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16456.59
AT ITER 99 NEW BEST:: SOT 50257 SOS 18344 HAS SOPS 18344 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16210.344
AT ITER 102 NEW BEST:: SOT 50215 SOS 18294 HAS SOPS 18294 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16168.294
AT ITER 106 NEW BEST:: SOT 50214 SOS 18274 HAS SOPS 18274 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16148.274
AT ITER 112 NEW BEST:: SOT 50167 SOS 18269 HAS SOPS 18269 HAS SOUS 16125 HAS SOUPS 16125 WITH SCORE 16143.269
AT ITER 119 NEW BEST:: SOT 50108 SOS 18033 HAS SOPS 18033 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16022.033
AT ITER 138 NEW BEST:: SOT 49521 SOS 17529 HAS SOPS 17529 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15517.529
AT ITER 147 NEW BEST:: SOT 49510 SOS 17522 HAS SOPS 17522 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15517.522
AT ITER 157 NEW BEST:: SOT 49489 SOS 17501 HAS SOPS 17501 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.501
AT ITER 160 NEW BEST:: SOT 49459 SOS 17548 HAS SOPS 17548 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15459.548
AT ITER 162 NEW BEST:: SOT 49455 SOS 17544 HAS SOPS 17544 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15455.544
AT ITER 168 NEW BEST:: SOT 49568 SOS 17625 HAS SOPS 17625 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15412.625
AT ITER 177 NEW BEST:: SOT 49566 SOS 17677 HAS SOPS 17677 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15409.677
AT ITER 178 NEW BEST:: SOT 49590 SOS 17638 HAS SOPS 17638 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15370.638
AT ITER 187 NEW BEST:: SOT 49583 SOS 17631 HAS SOPS 17631 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15363.631
AT ITER 199 NEW BEST:: SOT 49554 SOS 17574 HAS SOPS 17574 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15306.574
AT ITER 203 NEW BEST:: SOT 49554 SOS 17561 HAS SOPS 17561 HAS SOUS 15276 HAS SOUPS 15276 WITH SCORE 15293.561
AT ITER 211 NEW BEST:: SOT 49508 SOS 17485 HAS SOPS 17485 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15217.485
AT ITER 213 NEW BEST:: SOT 49508 SOS 17466 HAS SOPS 17466 HAS SOUS 15181 HAS SOUPS 15181 WITH SCORE 15198.466
AT ITER 225 NEW BEST:: SOT 49464 SOS 17466 HAS SOPS 17466 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15126.466
AT ITER 230 NEW BEST:: SOT 49463 SOS 17467 HAS SOPS 17467 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15123.467
AT ITER 265 NEW BEST:: SOT 49457 SOS 17424 HAS SOPS 17424 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15080.424
AT ITER 283 NEW BEST:: SOT 49457 SOS 17423 HAS SOPS 17423 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15079.423
AT ITER 315 NEW BEST:: SOT 49515 SOS 17544 HAS SOPS 17544 HAS SOUS 15043 HAS SOUPS 15043 WITH SCORE 15060.544
AT ITER 327 NEW BEST:: SOT 49544 SOS 17535 HAS SOPS 17535 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15018.535
AT ITER 342 NEW BEST:: SOT 49527 SOS 17515 HAS SOPS 17515 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14998.515
AT ITER 349 NEW BEST:: SOT 49395 SOS 17383 HAS SOPS 17383 HAS SOUS 14849 HAS SOUPS 14849 WITH SCORE 14866.383
AT ITER 355 NEW BEST:: SOT 49224 SOS 17142 HAS SOPS 17142 HAS SOUS 14608 HAS SOUPS 14608 WITH SCORE 14625.142
AT ITER 368 NEW BEST:: SOT 49191 SOS 17109 HAS SOPS 17109 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14592.109
AT ITER 388 NEW BEST:: SOT 49141 SOS 17034 HAS SOPS 17034 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14517.034
AT ITER 393 NEW BEST:: SOT 49137 SOS 17030 HAS SOPS 17030 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14513.03
AT ITER 435 NEW BEST:: SOT 49038 SOS 16911 HAS SOPS 16911 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14393.911
AT ITER 438 NEW BEST:: SOT 49038 SOS 16910 HAS SOPS 16910 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14392.91
AT ITER 451 NEW BEST:: SOT 49038 SOS 16826 HAS SOPS 16826 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14371.826
AT ITER 462 NEW BEST:: SOT 49036 SOS 16824 HAS SOPS 16824 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14369.824
AT ITER 463 NEW BEST:: SOT 48979 SOS 16726 HAS SOPS 16726 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14284.726
AT ITER 483 NEW BEST:: SOT 48988 SOS 16630 HAS SOPS 16630 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14235.63
AT ITER 509 NEW BEST:: SOT 48982 SOS 16624 HAS SOPS 16624 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14235.624
AT ITER 511 NEW BEST:: SOT 48988 SOS 16645 HAS SOPS 16645 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14223.645
AT ITER 520 NEW BEST:: SOT 49009 SOS 16641 HAS SOPS 16641 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14219.641
AT ITER 535 NEW BEST:: SOT 49023 SOS 16655 HAS SOPS 16655 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14209.655
AT ITER 545 NEW BEST:: SOT 49023 SOS 16655 HAS SOPS 16655 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14178.655
AT ITER 547 NEW BEST:: SOT 48977 SOS 16609 HAS SOPS 16609 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14132.609
AT ITER 569 NEW BEST:: SOT 48948 SOS 16615 HAS SOPS 16615 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14103.615
AT ITER 578 NEW BEST:: SOT 48909 SOS 16605 HAS SOPS 16605 HAS SOUS 14032 HAS SOUPS 14032 WITH SCORE 14048.605
AT ITER 591 NEW BEST:: SOT 48869 SOS 16560 HAS SOPS 16560 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14003.56
AT ITER 593 NEW BEST:: SOT 48885 SOS 16576 HAS SOPS 16576 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 13995.576
AT ITER 594 NEW BEST:: SOT 48797 SOS 16254 HAS SOPS 16254 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13792.254
AT ITER 598 NEW BEST:: SOT 48841 SOS 16231 HAS SOPS 16231 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13769.231
AT ITER 603 NEW BEST:: SOT 48825 SOS 16195 HAS SOPS 16195 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13725.195
AT ITER 605 NEW BEST:: SOT 48771 SOS 16085 HAS SOPS 16085 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13615.085
AT ITER 643 NEW BEST:: SOT 48766 SOS 16075 HAS SOPS 16075 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13605.075
AT ITER 653 NEW BEST:: SOT 48733 SOS 16042 HAS SOPS 16042 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13572.042
AT ITER 657 NEW BEST:: SOT 48698 SOS 16063 HAS SOPS 16063 HAS SOUS 13535 HAS SOUPS 13535 WITH SCORE 13551.063
AT ITER 674 NEW BEST:: SOT 48665 SOS 15931 HAS SOPS 15931 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13451.931
AT ITER 681 NEW BEST:: SOT 48474 SOS 15723 HAS SOPS 15723 HAS SOUS 13228 HAS SOUPS 13228 WITH SCORE 13243.723
AT ITER 687 NEW BEST:: SOT 48445 SOS 15690 HAS SOPS 15690 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13210.69
AT ITER 692 NEW BEST:: SOT 48342 SOS 15490 HAS SOPS 15490 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13010.49
AT ITER 707 NEW BEST:: SOT 48342 SOS 15459 HAS SOPS 15459 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13010.459
AT ITER 725 NEW BEST:: SOT 48363 SOS 15454 HAS SOPS 15454 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13005.454
AT ITER 728 NEW BEST:: SOT 48296 SOS 15382 HAS SOPS 15382 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12945.382
AT ITER 747 NEW BEST:: SOT 48245 SOS 15355 HAS SOPS 15355 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12918.355
AT ITER 751 NEW BEST:: SOT 48230 SOS 15347 HAS SOPS 15347 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12912.347
AT ITER 758 NEW BEST:: SOT 48228 SOS 15336 HAS SOPS 15336 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12901.336
AT ITER 770 NEW BEST:: SOT 48228 SOS 15315 HAS SOPS 15315 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12880.315
AT ITER 785 NEW BEST:: SOT 48216 SOS 15300 HAS SOPS 15300 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12865.3
AT ITER 855 NEW BEST:: SOT 48216 SOS 15296 HAS SOPS 15296 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12861.296
AT ITER 861 NEW BEST:: SOT 48178 SOS 15375 HAS SOPS 15375 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12837.375
AT ITER 909 NEW BEST:: SOT 48182 SOS 15373 HAS SOPS 15373 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12835.373
AT ITER 916 NEW BEST:: SOT 48182 SOS 15303 HAS SOPS 15303 HAS SOUS 12793 HAS SOUPS 12793 WITH SCORE 12808.303
AT ITER 920 NEW BEST:: SOT 48173 SOS 15285 HAS SOPS 15285 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12790.285
AT ITER 922 NEW BEST:: SOT 48153 SOS 15264 HAS SOPS 15264 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12769.264
AT ITER 964 NEW BEST:: SOT 48151 SOS 15262 HAS SOPS 15262 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12765.262
AT ITER 1005 NEW BEST:: SOT 48129 SOS 15255 HAS SOPS 15255 HAS SOUS 12735 HAS SOUPS 12735 WITH SCORE 12750.255
AT ITER 1009 NEW BEST:: SOT 48117 SOS 15243 HAS SOPS 15243 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12738.243
AT ITER 1015 NEW BEST:: SOT 48065 SOS 15101 HAS SOPS 15101 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12636.101
AT ITER 1019 NEW BEST:: SOT 48065 SOS 15142 HAS SOPS 15142 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12611.142
AT ITER 1027 NEW BEST:: SOT 48050 SOS 15084 HAS SOPS 15084 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12553.084
AT ITER 1043 NEW BEST:: SOT 48050 SOS 15078 HAS SOPS 15078 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12547.078
AT ITER 1081 NEW BEST:: SOT 47960 SOS 14950 HAS SOPS 14950 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12418.95
AT ITER 1089 NEW BEST:: SOT 47957 SOS 14947 HAS SOPS 14947 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12418.947
AT ITER 1110 NEW BEST:: SOT 47958 SOS 14946 HAS SOPS 14946 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12417.946
AT ITER 1154 NEW BEST:: SOT 47958 SOS 14887 HAS SOPS 14887 HAS SOUS 12331 HAS SOUPS 12331 WITH SCORE 12345.887
AT ITER 1189 NEW BEST:: SOT 47919 SOS 14861 HAS SOPS 14861 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12332.861
AT ITER 1193 NEW BEST:: SOT 47889 SOS 14838 HAS SOPS 14838 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12309.838
AT ITER 1202 NEW BEST:: SOT 47889 SOS 14775 HAS SOPS 14775 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12309.775
AT ITER 1228 NEW BEST:: SOT 47863 SOS 14730 HAS SOPS 14730 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12271.73
AT ITER 1236 NEW BEST:: SOT 47892 SOS 14759 HAS SOPS 14759 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12261.759
AT ITER 1248 NEW BEST:: SOT 47877 SOS 14729 HAS SOPS 14729 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12231.729
AT ITER 1249 NEW BEST:: SOT 47856 SOS 14672 HAS SOPS 14672 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12210.672
AT ITER 1261 NEW BEST:: SOT 47832 SOS 14661 HAS SOPS 14661 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12199.661
AT ITER 1282 NEW BEST:: SOT 47827 SOS 14656 HAS SOPS 14656 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12194.656
AT ITER 1289 NEW BEST:: SOT 47777 SOS 14716 HAS SOPS 14716 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12144.716
AT ITER 1294 NEW BEST:: SOT 47773 SOS 14714 HAS SOPS 14714 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12142.714
AT ITER 1346 NEW BEST:: SOT 47784 SOS 14707 HAS SOPS 14707 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12135.707
AT ITER 1347 NEW BEST:: SOT 47777 SOS 14693 HAS SOPS 14693 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12121.693
AT ITER 1348 NEW BEST:: SOT 47776 SOS 14691 HAS SOPS 14691 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12117.691
AT ITER 1376 NEW BEST:: SOT 47748 SOS 14635 HAS SOPS 14635 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12061.635
AT ITER 1378 NEW BEST:: SOT 47769 SOS 14679 HAS SOPS 14679 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12051.679
AT ITER 1386 NEW BEST:: SOT 47757 SOS 14660 HAS SOPS 14660 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12032.66
AT ITER 1418 NEW BEST:: SOT 47757 SOS 14656 HAS SOPS 14656 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12031.656
AT ITER 1426 NEW BEST:: SOT 47744 SOS 14658 HAS SOPS 14658 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12018.658
AT ITER 1465 NEW BEST:: SOT 47704 SOS 14578 HAS SOPS 14578 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11938.578
AT ITER 1469 NEW BEST:: SOT 47688 SOS 14546 HAS SOPS 14546 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11906.546
AT ITER 1504 NEW BEST:: SOT 47661 SOS 14546 HAS SOPS 14546 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11852.546
AT ITER 1523 NEW BEST:: SOT 47660 SOS 14545 HAS SOPS 14545 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11851.545
AT ITER 1526 NEW BEST:: SOT 47609 SOS 14496 HAS SOPS 14496 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11802.496
AT ITER 1558 NEW BEST:: SOT 47595 SOS 14487 HAS SOPS 14487 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11788.487
AT ITER 1573 NEW BEST:: SOT 47607 SOS 14616 HAS SOPS 14616 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11787.616
AT ITER 1581 NEW BEST:: SOT 47607 SOS 14603 HAS SOPS 14603 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11774.603
AT ITER 1602 NEW BEST:: SOT 47595 SOS 14579 HAS SOPS 14579 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11729.579
AT ITER 1610 NEW BEST:: SOT 47589 SOS 14567 HAS SOPS 14567 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11705.567
AT ITER 1632 NEW BEST:: SOT 47536 SOS 14397 HAS SOPS 14397 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11535.397
AT ITER 1673 NEW BEST:: SOT 47544 SOS 14389 HAS SOPS 14389 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11527.389
AT ITER 1691 NEW BEST:: SOT 47546 SOS 14393 HAS SOPS 14393 HAS SOUS 11487 HAS SOUPS 11487 WITH SCORE 11501.393
AT ITER 1693 NEW BEST:: SOT 47542 SOS 14385 HAS SOPS 14385 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11493.385
AT ITER 1697 NEW BEST:: SOT 47495 SOS 14410 HAS SOPS 14410 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11470.41
AT ITER 1757 NEW BEST:: SOT 47493 SOS 14406 HAS SOPS 14406 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11466.406
AT ITER 1770 NEW BEST:: SOT 47492 SOS 14394 HAS SOPS 14394 HAS SOUS 11429 HAS SOUPS 11429 WITH SCORE 11443.394
AT ITER 1784 NEW BEST:: SOT 47465 SOS 14340 HAS SOPS 14340 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11389.34
AT ITER 1824 NEW BEST:: SOT 47458 SOS 14323 HAS SOPS 14323 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11372.323
AT ITER 1851 NEW BEST:: SOT 47447 SOS 14417 HAS SOPS 14417 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11366.417
AT ITER 1852 NEW BEST:: SOT 47447 SOS 14416 HAS SOPS 14416 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11365.416
AT ITER 1920 NEW BEST:: SOT 47381 SOS 14288 HAS SOPS 14288 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11286.288
AT ITER 1926 NEW BEST:: SOT 47371 SOS 14277 HAS SOPS 14277 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11275.277
AT ITER 1933 NEW BEST:: SOT 47386 SOS 14292 HAS SOPS 14292 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11269.292
AT ITER 1952 NEW BEST:: SOT 47418 SOS 14358 HAS SOPS 14358 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11199.358
AT ITER 1966 NEW BEST:: SOT 47417 SOS 14299 HAS SOPS 14299 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11197.299
AT ITER 1971 NEW BEST:: SOT 47416 SOS 14297 HAS SOPS 14297 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11195.297
AT ITER 2028 NEW BEST:: SOT 47180 SOS 15670 HAS SOPS 15670 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11090.67
AT ITER 2044 NEW BEST:: SOT 47178 SOS 15668 HAS SOPS 15668 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11088.668
AT ITER 2069 NEW BEST:: SOT 47184 SOS 15663 HAS SOPS 15663 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11083.663
AT ITER 2075 NEW BEST:: SOT 47184 SOS 15659 HAS SOPS 15659 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11079.659
AT ITER 2085 NEW BEST:: SOT 47184 SOS 15654 HAS SOPS 15654 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11074.654
AT ITER 2128 NEW BEST:: SOT 47183 SOS 15652 HAS SOPS 15652 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11072.652
AT ITER 2146 NEW BEST:: SOT 47179 SOS 15648 HAS SOPS 15648 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11068.648
AT ITER 2220 NEW BEST:: SOT 47180 SOS 15647 HAS SOPS 15647 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11067.647
AT ITER 2229 NEW BEST:: SOT 47174 SOS 15635 HAS SOPS 15635 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11055.635
AT ITER 2240 NEW BEST:: SOT 47172 SOS 15624 HAS SOPS 15624 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11052.624
AT ITER 2250 NEW BEST:: SOT 47180 SOS 15608 HAS SOPS 15608 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11051.608
AT ITER 2256 NEW BEST:: SOT 47179 SOS 15600 HAS SOPS 15600 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11038.6
AT ITER 2309 NEW BEST:: SOT 47179 SOS 15592 HAS SOPS 15592 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11030.592
AT ITER 2338 NEW BEST:: SOT 47143 SOS 15538 HAS SOPS 15538 HAS SOUS 10979 HAS SOUPS 10979 WITH SCORE 10994.538
AT ITER 2356 NEW BEST:: SOT 47123 SOS 15498 HAS SOPS 15498 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10974.498
AT ITER 2357 NEW BEST:: SOT 47123 SOS 15481 HAS SOPS 15481 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10957.481
AT ITER 2378 NEW BEST:: SOT 47119 SOS 15475 HAS SOPS 15475 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10955.475
AT ITER 2393 NEW BEST:: SOT 47118 SOS 15473 HAS SOPS 15473 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10953.473
AT ITER 2398 NEW BEST:: SOT 47010 SOS 15352 HAS SOPS 15352 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10832.352
AT ITER 2418 NEW BEST:: SOT 47017 SOS 15345 HAS SOPS 15345 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10826.345
AT ITER 2421 NEW BEST:: SOT 47011 SOS 15333 HAS SOPS 15333 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10814.333
AT ITER 2427 NEW BEST:: SOT 47029 SOS 15371 HAS SOPS 15371 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10808.371
AT ITER 2469 NEW BEST:: SOT 47028 SOS 15366 HAS SOPS 15366 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10807.366
AT ITER 2471 NEW BEST:: SOT 47026 SOS 15364 HAS SOPS 15364 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10803.364
AT ITER 2472 NEW BEST:: SOT 47026 SOS 15342 HAS SOPS 15342 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10781.342
AT ITER 2474 NEW BEST:: SOT 47024 SOS 15354 HAS SOPS 15354 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10766.354
AT ITER 2485 NEW BEST:: SOT 47021 SOS 15351 HAS SOPS 15351 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10763.351
AT ITER 2505 NEW BEST:: SOT 47026 SOS 15374 HAS SOPS 15374 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10744.374
AT ITER 2535 NEW BEST:: SOT 47014 SOS 15334 HAS SOPS 15334 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10704.334
AT ITER 2562 NEW BEST:: SOT 46986 SOS 15278 HAS SOPS 15278 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10648.278
AT ITER 2575 NEW BEST:: SOT 46969 SOS 15260 HAS SOPS 15260 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10646.26
AT ITER 2590 NEW BEST:: SOT 46963 SOS 15237 HAS SOPS 15237 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10633.237
AT ITER 2658 NEW BEST:: SOT 46958 SOS 15232 HAS SOPS 15232 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10628.232
AT ITER 2680 NEW BEST:: SOT 46952 SOS 15225 HAS SOPS 15225 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10621.225
AT ITER 2694 NEW BEST:: SOT 46951 SOS 15220 HAS SOPS 15220 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10616.22
AT ITER 2789 NEW BEST:: SOT 46934 SOS 15199 HAS SOPS 15199 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10603.199
AT ITER 2796 NEW BEST:: SOT 46922 SOS 15195 HAS SOPS 15195 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10593.195
AT ITER 2817 NEW BEST:: SOT 46901 SOS 15161 HAS SOPS 15161 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10559.161
AT ITER 2847 NEW BEST:: SOT 46881 SOS 15142 HAS SOPS 15142 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10540.142
AT ITER 2850 NEW BEST:: SOT 46867 SOS 15136 HAS SOPS 15136 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10539.136
AT ITER 2872 NEW BEST:: SOT 46864 SOS 15133 HAS SOPS 15133 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10536.133
AT ITER 2906 NEW BEST:: SOT 46864 SOS 15121 HAS SOPS 15121 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10524.121
AT ITER 2909 NEW BEST:: SOT 46864 SOS 15097 HAS SOPS 15097 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10524.097
AT ITER 2915 NEW BEST:: SOT 46864 SOS 15085 HAS SOPS 15085 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10512.085
AT ITER 2939 NEW BEST:: SOT 46818 SOS 15026 HAS SOPS 15026 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10486.026
AT ITER 2947 NEW BEST:: SOT 46752 SOS 14922 HAS SOPS 14922 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10476.922
AT ITER 2994 NEW BEST:: SOT 46701 SOS 14871 HAS SOPS 14871 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10425.871
AT ITER 3004 NEW BEST:: SOT 46701 SOS 14863 HAS SOPS 14863 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10417.863
AT ITER 3014 NEW BEST:: SOT 46693 SOS 14847 HAS SOPS 14847 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10401.847
AT ITER 3029 NEW BEST:: SOT 46688 SOS 14857 HAS SOPS 14857 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10391.857
AT ITER 3035 NEW BEST:: SOT 46678 SOS 14851 HAS SOPS 14851 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10387.851
AT ITER 3045 NEW BEST:: SOT 46692 SOS 14865 HAS SOPS 14865 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10383.865
AT ITER 3050 NEW BEST:: SOT 46692 SOS 14859 HAS SOPS 14859 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10380.859
AT ITER 3068 NEW BEST:: SOT 46691 SOS 14857 HAS SOPS 14857 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10378.857
AT ITER 3100 NEW BEST:: SOT 46679 SOS 14839 HAS SOPS 14839 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10360.839
AT ITER 3104 NEW BEST:: SOT 46655 SOS 14772 HAS SOPS 14772 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10293.772
AT ITER 3144 NEW BEST:: SOT 46647 SOS 14764 HAS SOPS 14764 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10285.764
AT ITER 3149 NEW BEST:: SOT 46597 SOS 14721 HAS SOPS 14721 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10242.721
AT ITER 3209 NEW BEST:: SOT 46592 SOS 14711 HAS SOPS 14711 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10232.711
AT ITER 3227 NEW BEST:: SOT 46588 SOS 14710 HAS SOPS 14710 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10231.71
AT ITER 3241 NEW BEST:: SOT 46571 SOS 14709 HAS SOPS 14709 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10230.709
AT ITER 3264 NEW BEST:: SOT 46559 SOS 14689 HAS SOPS 14689 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10206.689
AT ITER 3268 NEW BEST:: SOT 46559 SOS 14689 HAS SOPS 14689 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10191.689
AT ITER 3269 NEW BEST:: SOT 46541 SOS 14725 HAS SOPS 14725 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10173.725
AT ITER 3294 NEW BEST:: SOT 46534 SOS 14718 HAS SOPS 14718 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10166.718
AT ITER 3329 NEW BEST:: SOT 46534 SOS 14718 HAS SOPS 14718 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10101.718
AT ITER 3330 NEW BEST:: SOT 46545 SOS 14636 HAS SOPS 14636 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10086.636
AT ITER 3376 NEW BEST:: SOT 46511 SOS 14602 HAS SOPS 14602 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10086.602
AT ITER 3416 NEW BEST:: SOT 46511 SOS 14595 HAS SOPS 14595 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10079.595
AT ITER 3422 NEW BEST:: SOT 46510 SOS 14593 HAS SOPS 14593 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10076.593
AT ITER 3476 NEW BEST:: SOT 46497 SOS 14567 HAS SOPS 14567 HAS SOUS 10049 HAS SOUPS 10049 WITH SCORE 10063.567
AT ITER 3479 NEW BEST:: SOT 46499 SOS 14553 HAS SOPS 14553 HAS SOUS 10035 HAS SOUPS 10035 WITH SCORE 10049.553
AT ITER 3484 NEW BEST:: SOT 46521 SOS 14482 HAS SOPS 14482 HAS SOUS 10026 HAS SOUPS 10026 WITH SCORE 10040.482
AT ITER 3487 NEW BEST:: SOT 46544 SOS 14490 HAS SOPS 14490 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10027.49
AT ITER 3496 NEW BEST:: SOT 46544 SOS 14474 HAS SOPS 14474 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10011.474
AT ITER 3511 NEW BEST:: SOT 46550 SOS 14480 HAS SOPS 14480 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10009.48
AT ITER 3530 NEW BEST:: SOT 46549 SOS 14479 HAS SOPS 14479 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10009.479
AT ITER 3546 NEW BEST:: SOT 46537 SOS 14457 HAS SOPS 14457 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9987.457
AT ITER 3562 NEW BEST:: SOT 46463 SOS 14568 HAS SOPS 14568 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9950.568
AT ITER 3575 NEW BEST:: SOT 46453 SOS 14561 HAS SOPS 14561 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9943.561
AT ITER 3591 NEW BEST:: SOT 46477 SOS 14492 HAS SOPS 14492 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9922.492
AT ITER 3594 NEW BEST:: SOT 46476 SOS 14491 HAS SOPS 14491 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9905.491
AT ITER 3613 NEW BEST:: SOT 46460 SOS 14475 HAS SOPS 14475 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9905.475
AT ITER 3635 NEW BEST:: SOT 46480 SOS 14469 HAS SOPS 14469 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9899.469
AT ITER 3637 NEW BEST:: SOT 46480 SOS 14412 HAS SOPS 14412 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9897.412
AT ITER 3691 NEW BEST:: SOT 46480 SOS 14388 HAS SOPS 14388 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9897.388
AT ITER 3714 NEW BEST:: SOT 46480 SOS 14380 HAS SOPS 14380 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9894.38
AT ITER 3727 NEW BEST:: SOT 46503 SOS 14311 HAS SOPS 14311 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9871.311
AT ITER 3735 NEW BEST:: SOT 46511 SOS 14321 HAS SOPS 14321 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9867.321
AT ITER 3781 NEW BEST:: SOT 46487 SOS 14395 HAS SOPS 14395 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9853.395
AT ITER 3835 NEW BEST:: SOT 46474 SOS 14369 HAS SOPS 14369 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9845.369
AT ITER 3839 NEW BEST:: SOT 46474 SOS 14367 HAS SOPS 14367 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9844.367
AT ITER 3840 NEW BEST:: SOT 46468 SOS 14353 HAS SOPS 14353 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9842.353
AT ITER 3853 NEW BEST:: SOT 46463 SOS 14348 HAS SOPS 14348 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9837.348
AT ITER 3870 NEW BEST:: SOT 46464 SOS 14347 HAS SOPS 14347 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9836.347
AT ITER 3882 NEW BEST:: SOT 46464 SOS 14309 HAS SOPS 14309 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9798.309
AT ITER 3906 NEW BEST:: SOT 46414 SOS 14230 HAS SOPS 14230 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9769.23
AT ITER 3917 NEW BEST:: SOT 46411 SOS 14225 HAS SOPS 14225 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9769.225
AT ITER 3957 NEW BEST:: SOT 46411 SOS 14225 HAS SOPS 14225 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9768.225
AT ITER 4007 NEW BEST:: SOT 46411 SOS 14216 HAS SOPS 14216 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9747.216
AT ITER 4032 NEW BEST:: SOT 46412 SOS 14212 HAS SOPS 14212 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9743.212
AT ITER 4067 NEW BEST:: SOT 46407 SOS 14202 HAS SOPS 14202 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9733.202
AT ITER 4199 NEW BEST:: SOT 46407 SOS 14202 HAS SOPS 14202 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9732.202
AT ITER 4243 NEW BEST:: SOT 46404 SOS 14196 HAS SOPS 14196 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9726.196
AT ITER 4247 NEW BEST:: SOT 46402 SOS 14196 HAS SOPS 14196 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9725.196
AT ITER 4257 NEW BEST:: SOT 46401 SOS 14195 HAS SOPS 14195 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9724.195
AT ITER 4292 NEW BEST:: SOT 46414 SOS 14165 HAS SOPS 14165 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9701.165
AT ITER 4306 NEW BEST:: SOT 46413 SOS 14163 HAS SOPS 14163 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9699.163
AT ITER 4333 NEW BEST:: SOT 46413 SOS 14122 HAS SOPS 14122 HAS SOUS 9644 HAS SOUPS 9644 WITH SCORE 9658.122
AT ITER 4337 NEW BEST:: SOT 46405 SOS 14114 HAS SOPS 14114 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9650.114
AT ITER 4355 NEW BEST:: SOT 46405 SOS 14112 HAS SOPS 14112 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9648.112
AT ITER 4374 NEW BEST:: SOT 46402 SOS 14109 HAS SOPS 14109 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9645.109
AT ITER 4387 NEW BEST:: SOT 46400 SOS 14105 HAS SOPS 14105 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9641.105
AT ITER 4398 NEW BEST:: SOT 46386 SOS 14077 HAS SOPS 14077 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9627.077
AT ITER 4420 NEW BEST:: SOT 46403 SOS 14076 HAS SOPS 14076 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9626.076
AT ITER 4452 NEW BEST:: SOT 46374 SOS 14116 HAS SOPS 14116 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9604.116
AT ITER 4458 NEW BEST:: SOT 46405 SOS 14147 HAS SOPS 14147 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9593.147
AT ITER 4477 NEW BEST:: SOT 46404 SOS 14145 HAS SOPS 14145 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9590.145
AT ITER 4480 NEW BEST:: SOT 46404 SOS 14100 HAS SOPS 14100 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9590.1
AT ITER 4491 NEW BEST:: SOT 46386 SOS 14082 HAS SOPS 14082 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9590.082
AT ITER 4514 NEW BEST:: SOT 46383 SOS 14076 HAS SOPS 14076 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9584.076
AT ITER 4533 NEW BEST:: SOT 46383 SOS 14056 HAS SOPS 14056 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9579.056
AT ITER 4554 NEW BEST:: SOT 46382 SOS 14055 HAS SOPS 14055 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9576.055
AT ITER 4563 NEW BEST:: SOT 46382 SOS 14051 HAS SOPS 14051 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9572.051
AT ITER 4572 NEW BEST:: SOT 46377 SOS 14046 HAS SOPS 14046 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9567.046
AT ITER 4579 NEW BEST:: SOT 46367 SOS 14026 HAS SOPS 14026 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9560.026
AT ITER 4678 NEW BEST:: SOT 46367 SOS 14015 HAS SOPS 14015 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9560.015
AT ITER 4701 NEW BEST:: SOT 46339 SOS 14009 HAS SOPS 14009 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9554.009
AT ITER 4741 NEW BEST:: SOT 46329 SOS 13989 HAS SOPS 13989 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9543.989
AT ITER 4764 NEW BEST:: SOT 46327 SOS 13986 HAS SOPS 13986 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9540.986
AT ITER 4792 NEW BEST:: SOT 46327 SOS 13934 HAS SOPS 13934 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9540.934
AT ITER 4808 NEW BEST:: SOT 46327 SOS 13912 HAS SOPS 13912 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9539.912
AT ITER 4817 NEW BEST:: SOT 46316 SOS 13912 HAS SOPS 13912 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9528.912
AT ITER 4885 NEW BEST:: SOT 46318 SOS 13909 HAS SOPS 13909 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9525.909
AT ITER 4886 NEW BEST:: SOT 46314 SOS 13901 HAS SOPS 13901 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9517.901
AT ITER 4911 NEW BEST:: SOT 46313 SOS 13899 HAS SOPS 13899 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9515.899
AT ITER 4948 NEW BEST:: SOT 46295 SOS 13883 HAS SOPS 13883 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9508.883
AT ITER 4975 NEW BEST:: SOT 46295 SOS 13867 HAS SOPS 13867 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9504.867
AT ITER 5007 NEW BEST:: SOT 46298 SOS 13853 HAS SOPS 13853 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9502.853
AT ITER 5034 NEW BEST:: SOT 46297 SOS 13848 HAS SOPS 13848 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9500.848
AT ITER 5092 NEW BEST:: SOT 46297 SOS 13846 HAS SOPS 13846 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9496.846
AT ITER 5142 NEW BEST:: SOT 46291 SOS 13841 HAS SOPS 13841 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9491.841
AT ITER 5148 NEW BEST:: SOT 46291 SOS 13839 HAS SOPS 13839 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9490.839
AT ITER 5156 NEW BEST:: SOT 46298 SOS 13842 HAS SOPS 13842 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9482.842
AT ITER 5182 NEW BEST:: SOT 46284 SOS 13814 HAS SOPS 13814 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9465.814
AT ITER 5195 NEW BEST:: SOT 46281 SOS 13806 HAS SOPS 13806 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9457.806
AT ITER 5213 NEW BEST:: SOT 46270 SOS 13760 HAS SOPS 13760 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9429.76
AT ITER 5229 NEW BEST:: SOT 46270 SOS 13755 HAS SOPS 13755 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9424.755
AT ITER 5276 NEW BEST:: SOT 46272 SOS 13785 HAS SOPS 13785 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9421.785
AT ITER 5282 NEW BEST:: SOT 46243 SOS 13747 HAS SOPS 13747 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9412.747
AT ITER 5295 NEW BEST:: SOT 46240 SOS 13741 HAS SOPS 13741 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9406.741
AT ITER 5299 NEW BEST:: SOT 46238 SOS 13737 HAS SOPS 13737 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9405.737
AT ITER 5313 NEW BEST:: SOT 46234 SOS 13727 HAS SOPS 13727 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9395.727
AT ITER 5317 NEW BEST:: SOT 46225 SOS 13718 HAS SOPS 13718 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9386.718
AT ITER 5332 NEW BEST:: SOT 46225 SOS 13710 HAS SOPS 13710 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9386.71
AT ITER 5345 NEW BEST:: SOT 46220 SOS 13700 HAS SOPS 13700 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9376.7
AT ITER 5453 NEW BEST:: SOT 46205 SOS 13670 HAS SOPS 13670 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9346.67
AT ITER 5498 NEW BEST:: SOT 46198 SOS 13640 HAS SOPS 13640 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9316.64
AT ITER 5616 NEW BEST:: SOT 46154 SOS 13574 HAS SOPS 13574 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9272.574
AT ITER 5714 NEW BEST:: SOT 46153 SOS 13572 HAS SOPS 13572 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9271.572
AT ITER 5737 NEW BEST:: SOT 46128 SOS 13538 HAS SOPS 13538 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9253.538
AT ITER 5741 NEW BEST:: SOT 46119 SOS 13532 HAS SOPS 13532 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9247.532
AT ITER 5834 NEW BEST:: SOT 46119 SOS 13508 HAS SOPS 13508 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9247.508
AT ITER 5917 NEW BEST:: SOT 46119 SOS 13507 HAS SOPS 13507 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9246.507
AT ITER 5923 NEW BEST:: SOT 46113 SOS 13489 HAS SOPS 13489 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9240.489
AT ITER 5937 NEW BEST:: SOT 46113 SOS 13482 HAS SOPS 13482 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.482
AT ITER 5944 NEW BEST:: SOT 46143 SOS 13432 HAS SOPS 13432 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9219.432
AT ITER 6050 NEW BEST:: SOT 46142 SOS 13431 HAS SOPS 13431 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9219.431
AT ITER 6053 NEW BEST:: SOT 46133 SOS 13424 HAS SOPS 13424 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9212.424
AT ITER 6074 NEW BEST:: SOT 46120 SOS 13398 HAS SOPS 13398 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9186.398
AT ITER 6090 NEW BEST:: SOT 46120 SOS 13398 HAS SOPS 13398 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9185.398
AT ITER 6136 NEW BEST:: SOT 46117 SOS 13415 HAS SOPS 13415 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9184.415
AT ITER 6176 NEW BEST:: SOT 46099 SOS 13388 HAS SOPS 13388 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9166.388
AT ITER 6186 NEW BEST:: SOT 46099 SOS 13382 HAS SOPS 13382 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9161.382
AT ITER 6227 NEW BEST:: SOT 46094 SOS 13340 HAS SOPS 13340 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9151.34
AT ITER 6248 NEW BEST:: SOT 46105 SOS 13302 HAS SOPS 13302 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9149.302
AT ITER 6280 NEW BEST:: SOT 46102 SOS 13296 HAS SOPS 13296 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9146.296
AT ITER 6283 NEW BEST:: SOT 46092 SOS 13267 HAS SOPS 13267 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9137.267
AT ITER 6301 NEW BEST:: SOT 46090 SOS 13263 HAS SOPS 13263 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9135.263
AT ITER 6311 NEW BEST:: SOT 46087 SOS 13269 HAS SOPS 13269 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9132.269
AT ITER 6345 NEW BEST:: SOT 46027 SOS 13359 HAS SOPS 13359 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9091.359
AT ITER 6392 NEW BEST:: SOT 46006 SOS 13343 HAS SOPS 13343 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9069.343
AT ITER 6401 NEW BEST:: SOT 45993 SOS 13331 HAS SOPS 13331 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9057.331
AT ITER 6402 NEW BEST:: SOT 45983 SOS 13311 HAS SOPS 13311 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9042.311
AT ITER 6460 NEW BEST:: SOT 45970 SOS 13298 HAS SOPS 13298 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9042.298
AT ITER 6517 NEW BEST:: SOT 45977 SOS 13312 HAS SOPS 13312 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9030.312
AT ITER 6575 NEW BEST:: SOT 45973 SOS 13338 HAS SOPS 13338 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9023.338
AT ITER 6623 NEW BEST:: SOT 45965 SOS 13333 HAS SOPS 13333 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9018.333
AT ITER 6652 NEW BEST:: SOT 45956 SOS 13315 HAS SOPS 13315 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 9000.315
AT ITER 6723 NEW BEST:: SOT 45943 SOS 13289 HAS SOPS 13289 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8987.289
AT ITER 6741 NEW BEST:: SOT 45939 SOS 13281 HAS SOPS 13281 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8983.281
AT ITER 6751 NEW BEST:: SOT 45935 SOS 13277 HAS SOPS 13277 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 8982.277
AT ITER 6761 NEW BEST:: SOT 45944 SOS 13231 HAS SOPS 13231 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8968.231
AT ITER 6830 NEW BEST:: SOT 45944 SOS 13231 HAS SOPS 13231 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8957.231
AT ITER 6850 NEW BEST:: SOT 45937 SOS 13217 HAS SOPS 13217 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8950.217
AT ITER 6883 NEW BEST:: SOT 45924 SOS 13191 HAS SOPS 13191 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8937.191
AT ITER 6889 NEW BEST:: SOT 45914 SOS 13177 HAS SOPS 13177 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8933.177
AT ITER 6960 NEW BEST:: SOT 45910 SOS 13169 HAS SOPS 13169 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8933.169
AT ITER 6968 NEW BEST:: SOT 45870 SOS 13334 HAS SOPS 13334 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8919.334
AT ITER 6973 NEW BEST:: SOT 45860 SOS 13314 HAS SOPS 13314 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8919.314
AT ITER 6989 NEW BEST:: SOT 45844 SOS 13298 HAS SOPS 13298 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8911.298
AT ITER 7058 NEW BEST:: SOT 45853 SOS 13306 HAS SOPS 13306 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8890.306
AT ITER 7110 NEW BEST:: SOT 45803 SOS 13275 HAS SOPS 13275 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8890.275
AT ITER 7153 NEW BEST:: SOT 45803 SOS 13273 HAS SOPS 13273 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8889.273
AT ITER 7184 NEW BEST:: SOT 45793 SOS 13263 HAS SOPS 13263 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8879.263
AT ITER 7240 NEW BEST:: SOT 45787 SOS 13261 HAS SOPS 13261 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8867.261
AT ITER 7246 NEW BEST:: SOT 45784 SOS 13247 HAS SOPS 13247 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8864.247
AT ITER 7247 NEW BEST:: SOT 45766 SOS 13229 HAS SOPS 13229 HAS SOUS 8833 HAS SOUPS 8833 WITH SCORE 8846.229
AT ITER 7250 NEW BEST:: SOT 45747 SOS 13182 HAS SOPS 13182 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8821.182
AT ITER 7332 NEW BEST:: SOT 45784 SOS 13172 HAS SOPS 13172 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8811.172
AT ITER 7346 NEW BEST:: SOT 45781 SOS 13166 HAS SOPS 13166 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.166
AT ITER 7357 NEW BEST:: SOT 45767 SOS 13152 HAS SOPS 13152 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.152
AT ITER 7383 NEW BEST:: SOT 45767 SOS 13134 HAS SOPS 13134 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.134
AT ITER 7554 NEW BEST:: SOT 45699 SOS 13047 HAS SOPS 13047 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8764.047
AT ITER 7599 NEW BEST:: SOT 45696 SOS 13041 HAS SOPS 13041 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8759.041
AT ITER 7609 NEW BEST:: SOT 45653 SOS 13179 HAS SOPS 13179 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8757.179
AT ITER 7617 NEW BEST:: SOT 45653 SOS 13179 HAS SOPS 13179 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8750.179
AT ITER 7643 NEW BEST:: SOT 45653 SOS 13178 HAS SOPS 13178 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8749.178
AT ITER 7649 NEW BEST:: SOT 45645 SOS 13162 HAS SOPS 13162 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8733.162
AT ITER 7679 NEW BEST:: SOT 45641 SOS 13154 HAS SOPS 13154 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8729.154
AT ITER 7751 NEW BEST:: SOT 45638 SOS 13151 HAS SOPS 13151 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8724.151
AT ITER 7780 NEW BEST:: SOT 45636 SOS 13147 HAS SOPS 13147 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8720.147
AT ITER 7784 NEW BEST:: SOT 45636 SOS 13131 HAS SOPS 13131 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8664.131
AT ITER 7812 NEW BEST:: SOT 45633 SOS 13124 HAS SOPS 13124 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8657.124
AT ITER 7906 NEW BEST:: SOT 45632 SOS 13126 HAS SOPS 13126 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8656.126
AT ITER 7948 NEW BEST:: SOT 45632 SOS 13124 HAS SOPS 13124 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8654.124
AT ITER 7957 NEW BEST:: SOT 45574 SOS 13009 HAS SOPS 13009 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8592.009
AT ITER 8096 NEW BEST:: SOT 45572 SOS 13005 HAS SOPS 13005 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8590.005
AT ITER 8101 NEW BEST:: SOT 45544 SOS 12949 HAS SOPS 12949 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.949
AT ITER 8174 NEW BEST:: SOT 45539 SOS 12939 HAS SOPS 12939 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8542.939
AT ITER 8193 NEW BEST:: SOT 45492 SOS 12845 HAS SOPS 12845 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8513.845
AT ITER 8216 NEW BEST:: SOT 45487 SOS 12837 HAS SOPS 12837 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8505.837
AT ITER 8235 NEW BEST:: SOT 45479 SOS 12827 HAS SOPS 12827 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8489.827
AT ITER 8250 NEW BEST:: SOT 45456 SOS 12809 HAS SOPS 12809 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8471.809
AT ITER 8268 NEW BEST:: SOT 45455 SOS 12807 HAS SOPS 12807 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8469.807
AT ITER 8301 NEW BEST:: SOT 45455 SOS 12806 HAS SOPS 12806 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8467.806
AT ITER 8336 NEW BEST:: SOT 45439 SOS 12790 HAS SOPS 12790 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8451.79
AT ITER 8345 NEW BEST:: SOT 45410 SOS 12732 HAS SOPS 12732 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8393.732
AT ITER 8396 NEW BEST:: SOT 45410 SOS 12656 HAS SOPS 12656 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8381.656
AT ITER 8419 NEW BEST:: SOT 45405 SOS 12643 HAS SOPS 12643 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8376.643
AT ITER 8436 NEW BEST:: SOT 45401 SOS 12634 HAS SOPS 12634 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8376.634
AT ITER 8491 NEW BEST:: SOT 45397 SOS 12642 HAS SOPS 12642 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8368.642
AT ITER 8522 NEW BEST:: SOT 45404 SOS 12641 HAS SOPS 12641 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8367.641
AT ITER 8557 NEW BEST:: SOT 45392 SOS 12610 HAS SOPS 12610 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8355.61
AT ITER 8564 NEW BEST:: SOT 45402 SOS 12606 HAS SOPS 12606 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8351.606
AT ITER 8580 NEW BEST:: SOT 45401 SOS 12600 HAS SOPS 12600 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8345.6
AT ITER 8731 NEW BEST:: SOT 45401 SOS 12600 HAS SOPS 12600 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8343.6
AT ITER 8741 NEW BEST:: SOT 45398 SOS 12594 HAS SOPS 12594 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8337.594
AT ITER 8811 NEW BEST:: SOT 45392 SOS 12582 HAS SOPS 12582 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8331.582
AT ITER 8870 NEW BEST:: SOT 45389 SOS 12579 HAS SOPS 12579 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8328.579
AT ITER 8881 NEW BEST:: SOT 45378 SOS 12575 HAS SOPS 12575 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8304.575
AT ITER 8944 NEW BEST:: SOT 45374 SOS 12573 HAS SOPS 12573 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8302.573
AT ITER 8954 NEW BEST:: SOT 45348 SOS 12534 HAS SOPS 12534 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8257.534
AT ITER 8955 NEW BEST:: SOT 45348 SOS 12508 HAS SOPS 12508 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8242.508
AT ITER 9083 NEW BEST:: SOT 45350 SOS 12510 HAS SOPS 12510 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8239.51
AT ITER 9149 NEW BEST:: SOT 45349 SOS 12507 HAS SOPS 12507 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8236.507
AT ITER 9178 NEW BEST:: SOT 45346 SOS 12504 HAS SOPS 12504 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8233.504
AT ITER 9184 NEW BEST:: SOT 45344 SOS 12502 HAS SOPS 12502 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8231.502
AT ITER 9214 NEW BEST:: SOT 45339 SOS 12488 HAS SOPS 12488 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8220.488
AT ITER 9294 NEW BEST:: SOT 45339 SOS 12481 HAS SOPS 12481 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8213.481
AT ITER 9320 NEW BEST:: SOT 45332 SOS 12482 HAS SOPS 12482 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8206.482
AT ITER 9348 NEW BEST:: SOT 45337 SOS 12391 HAS SOPS 12391 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8199.391
AT ITER 9447 NEW BEST:: SOT 45252 SOS 12306 HAS SOPS 12306 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8114.306
AT ITER 9460 NEW BEST:: SOT 45246 SOS 12300 HAS SOPS 12300 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8108.3
AT ITER 9520 NEW BEST:: SOT 45245 SOS 12302 HAS SOPS 12302 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8106.302
AT ITER 9542 NEW BEST:: SOT 45246 SOS 12300 HAS SOPS 12300 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.3
AT ITER 9588 NEW BEST:: SOT 45242 SOS 12292 HAS SOPS 12292 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8096.292
AT ITER 9638 NEW BEST:: SOT 45254 SOS 12198 HAS SOPS 12198 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8086.198
AT ITER 9670 NEW BEST:: SOT 45250 SOS 12194 HAS SOPS 12194 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8082.194
AT ITER 9676 NEW BEST:: SOT 45248 SOS 12188 HAS SOPS 12188 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8076.188
AT ITER 9730 NEW BEST:: SOT 45246 SOS 12186 HAS SOPS 12186 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8072.186
AT ITER 9746 NEW BEST:: SOT 45243 SOS 12183 HAS SOPS 12183 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8068.183
AT ITER 9883 NEW BEST:: SOT 45220 SOS 12175 HAS SOPS 12175 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8060.175
AT ITER 9897 NEW BEST:: SOT 45219 SOS 12174 HAS SOPS 12174 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8060.174
AT ITER 9900 NEW BEST:: SOT 45209 SOS 12165 HAS SOPS 12165 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8053.165
AT ITER 9996 NEW BEST:: SOT 45205 SOS 12161 HAS SOPS 12161 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8049.161
AT ITER 9997 NEW BEST:: SOT 45205 SOS 12161 HAS SOPS 12161 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8048.161
AT ITER 9999 NEW BEST:: SOT 45207 SOS 12157 HAS SOPS 12157 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8044.157
STATE_SPACE STATES 219702042353 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2557520010237 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678468537441
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-04, 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 r035-tajo-167813688200480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-04.tgz
mv BusinessProcesses-PT-04 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 ;