Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800483.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J06T06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800483
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 9.2K Apr 12 05:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 12 05:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 05:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 11 05:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.2K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 10 12:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 67K Apr 9 17:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 214K Apr 9 17:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.8M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J06T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645192203

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 618 places, 3190 transitions, 21570 arcs.
AT ITER 0 NEW BEST:: SOT 1284827 SOS 733547 HAS SOPS 726232 HAS SOUS 240788 HAS SOUPS 240284 WITH SCORE 241017.547
AT ITER 10 NEW BEST:: SOT 1283924 SOS 732493 HAS SOPS 725358 HAS SOUS 239840 HAS SOUPS 239366 WITH SCORE 240098.493
AT ITER 19 NEW BEST:: SOT 1283731 SOS 732287 HAS SOPS 725152 HAS SOUS 239634 HAS SOUPS 239160 WITH SCORE 239892.287
AT ITER 23 NEW BEST:: SOT 1283699 SOS 732223 HAS SOPS 725088 HAS SOUS 239622 HAS SOUPS 239148 WITH SCORE 239880.223
AT ITER 26 NEW BEST:: SOT 1282817 SOS 731432 HAS SOPS 724297 HAS SOUS 238831 HAS SOUPS 238357 WITH SCORE 239088.432
AT ITER 31 NEW BEST:: SOT 1282776 SOS 731350 HAS SOPS 724215 HAS SOUS 238760 HAS SOUPS 238286 WITH SCORE 239017.35
AT ITER 34 NEW BEST:: SOT 1225500 SOS 674074 HAS SOPS 666939 HAS SOUS 228096 HAS SOUPS 227622 WITH SCORE 228296.074
AT ITER 42 NEW BEST:: SOT 1225484 SOS 674042 HAS SOPS 666907 HAS SOUS 228064 HAS SOUPS 227590 WITH SCORE 228264.042
AT ITER 49 NEW BEST:: SOT 1223397 SOS 672042 HAS SOPS 664907 HAS SOUS 226735 HAS SOUPS 226261 WITH SCORE 226933.042
AT ITER 52 NEW BEST:: SOT 1223397 SOS 672024 HAS SOPS 664889 HAS SOUS 226717 HAS SOUPS 226243 WITH SCORE 226915.024
AT ITER 56 NEW BEST:: SOT 1204752 SOS 653413 HAS SOPS 646278 HAS SOUS 222990 HAS SOUPS 222516 WITH SCORE 223169.413
AT ITER 60 NEW BEST:: SOT 1204593 SOS 658342 HAS SOPS 651207 HAS SOUS 222773 HAS SOUPS 222299 WITH SCORE 222957.342
AT ITER 68 NEW BEST:: SOT 1204317 SOS 657997 HAS SOPS 650862 HAS SOUS 222476 HAS SOUPS 222002 WITH SCORE 222659.997
AT ITER 76 NEW BEST:: SOT 1204304 SOS 657971 HAS SOPS 650836 HAS SOUS 222450 HAS SOUPS 221976 WITH SCORE 222633.971
AT ITER 91 NEW BEST:: SOT 1202484 SOS 656231 HAS SOPS 649096 HAS SOUS 220679 HAS SOUPS 220205 WITH SCORE 220861.231
AT ITER 92 NEW BEST:: SOT 1202484 SOS 656231 HAS SOPS 649096 HAS SOUS 220699 HAS SOUPS 220185 WITH SCORE 220841.231
AT ITER 97 NEW BEST:: SOT 1201831 SOS 655680 HAS SOPS 648545 HAS SOUS 220150 HAS SOUPS 219636 WITH SCORE 220291.68
AT ITER 104 NEW BEST:: SOT 1201535 SOS 655390 HAS SOPS 648255 HAS SOUS 219884 HAS SOUPS 219370 WITH SCORE 220025.39
AT ITER 119 NEW BEST:: SOT 1201498 SOS 655388 HAS SOPS 648394 HAS SOUS 219873 HAS SOUPS 219359 WITH SCORE 220014.388
AT ITER 122 NEW BEST:: SOT 1201267 SOS 655172 HAS SOPS 648178 HAS SOUS 218991 HAS SOUPS 218477 WITH SCORE 219132.172
AT ITER 124 NEW BEST:: SOT 1201356 SOS 655263 HAS SOPS 648269 HAS SOUS 218435 HAS SOUPS 217921 WITH SCORE 218576.263
AT ITER 142 NEW BEST:: SOT 1201105 SOS 655044 HAS SOPS 648050 HAS SOUS 218393 HAS SOUPS 217879 WITH SCORE 218534.044
AT ITER 143 NEW BEST:: SOT 1200975 SOS 654890 HAS SOPS 647896 HAS SOUS 218301 HAS SOUPS 217787 WITH SCORE 218441.89
AT ITER 144 NEW BEST:: SOT 1200794 SOS 654516 HAS SOPS 647522 HAS SOUS 217927 HAS SOUPS 217413 WITH SCORE 218067.516
AT ITER 166 NEW BEST:: SOT 1200789 SOS 654501 HAS SOPS 647507 HAS SOUS 217922 HAS SOUPS 217408 WITH SCORE 218062.501
AT ITER 174 NEW BEST:: SOT 1200411 SOS 654177 HAS SOPS 647183 HAS SOUS 217004 HAS SOUPS 216490 WITH SCORE 217144.177
AT ITER 178 NEW BEST:: SOT 1199814 SOS 653701 HAS SOPS 646707 HAS SOUS 216525 HAS SOUPS 216011 WITH SCORE 216664.701
AT ITER 185 NEW BEST:: SOT 1199814 SOS 653684 HAS SOPS 646690 HAS SOUS 216508 HAS SOUPS 215994 WITH SCORE 216647.684
AT ITER 191 NEW BEST:: SOT 1199551 SOS 653430 HAS SOPS 646436 HAS SOUS 216289 HAS SOUPS 215775 WITH SCORE 216428.43
AT ITER 192 NEW BEST:: SOT 1198001 SOS 651977 HAS SOPS 644983 HAS SOUS 216143 HAS SOUPS 215629 WITH SCORE 216280.977
AT ITER 200 NEW BEST:: SOT 1197935 SOS 651933 HAS SOPS 644939 HAS SOUS 216077 HAS SOUPS 215563 WITH SCORE 216214.933
AT ITER 207 NEW BEST:: SOT 1197911 SOS 651909 HAS SOPS 644915 HAS SOUS 216053 HAS SOUPS 215539 WITH SCORE 216190.909
AT ITER 214 NEW BEST:: SOT 1191711 SOS 663599 HAS SOPS 661065 HAS SOUS 211244 HAS SOUPS 210886 WITH SCORE 211549.599
AT ITER 215 NEW BEST:: SOT 1191732 SOS 663857 HAS SOPS 661701 HAS SOUS 211125 HAS SOUPS 210830 WITH SCORE 211493.857
AT ITER 217 NEW BEST:: SOT 1150952 SOS 623167 HAS SOPS 621011 HAS SOUS 202880 HAS SOUPS 202585 WITH SCORE 203208.167
AT ITER 220 NEW BEST:: SOT 1150793 SOS 623006 HAS SOPS 620924 HAS SOUS 202816 HAS SOUPS 202521 WITH SCORE 203144.006
AT ITER 224 NEW BEST:: SOT 1150771 SOS 622994 HAS SOPS 620912 HAS SOUS 202804 HAS SOUPS 202509 WITH SCORE 203131.994
AT ITER 226 NEW BEST:: SOT 1149895 SOS 622304 HAS SOPS 620222 HAS SOUS 202341 HAS SOUPS 202046 WITH SCORE 202668.304
AT ITER 229 NEW BEST:: SOT 1129861 SOS 602177 HAS SOPS 600095 HAS SOUS 199643 HAS SOUPS 199348 WITH SCORE 199950.177
AT ITER 235 NEW BEST:: SOT 1129752 SOS 602045 HAS SOPS 599963 HAS SOUS 199461 HAS SOUPS 199166 WITH SCORE 199768.045
AT ITER 239 NEW BEST:: SOT 1129831 SOS 602579 HAS SOPS 600497 HAS SOUS 199392 HAS SOUPS 199097 WITH SCORE 199699.579
AT ITER 244 NEW BEST:: SOT 1129237 SOS 602128 HAS SOPS 600046 HAS SOUS 198645 HAS SOUPS 198350 WITH SCORE 198952.128
AT ITER 246 NEW BEST:: SOT 1128886 SOS 601496 HAS SOPS 599414 HAS SOUS 198217 HAS SOUPS 197922 WITH SCORE 198523.496
AT ITER 252 NEW BEST:: SOT 1128756 SOS 601342 HAS SOPS 599260 HAS SOUS 198083 HAS SOUPS 197788 WITH SCORE 198389.342
AT ITER 254 NEW BEST:: SOT 1128774 SOS 601229 HAS SOPS 599147 HAS SOUS 197039 HAS SOUPS 196744 WITH SCORE 197345.229
AT ITER 258 NEW BEST:: SOT 1128746 SOS 601173 HAS SOPS 599091 HAS SOUS 196983 HAS SOUPS 196688 WITH SCORE 197289.173
AT ITER 272 NEW BEST:: SOT 1128706 SOS 599893 HAS SOPS 597811 HAS SOUS 196933 HAS SOUPS 196638 WITH SCORE 197237.893
AT ITER 277 NEW BEST:: SOT 1128626 SOS 622838 HAS SOPS 620756 HAS SOUS 196852 HAS SOUPS 196557 WITH SCORE 197179.838
AT ITER 290 NEW BEST:: SOT 1127132 SOS 621412 HAS SOPS 619330 HAS SOUS 195318 HAS SOUPS 195023 WITH SCORE 195644.412
AT ITER 292 NEW BEST:: SOT 1126906 SOS 620976 HAS SOPS 618894 HAS SOUS 195142 HAS SOUPS 194847 WITH SCORE 195467.976
AT ITER 318 NEW BEST:: SOT 1126906 SOS 620959 HAS SOPS 618877 HAS SOUS 195125 HAS SOUPS 194830 WITH SCORE 195450.959
AT ITER 321 NEW BEST:: SOT 1126817 SOS 620870 HAS SOPS 618788 HAS SOUS 195079 HAS SOUPS 194784 WITH SCORE 195404.87
AT ITER 327 NEW BEST:: SOT 1126761 SOS 620728 HAS SOPS 618646 HAS SOUS 195047 HAS SOUPS 194752 WITH SCORE 195372.728
AT ITER 329 NEW BEST:: SOT 1126725 SOS 620692 HAS SOPS 618610 HAS SOUS 195005 HAS SOUPS 194710 WITH SCORE 195330.692
AT ITER 331 NEW BEST:: SOT 1127272 SOS 622471 HAS SOPS 614532 HAS SOUS 195868 HAS SOUPS 194595 WITH SCORE 195217.471
AT ITER 332 NEW BEST:: SOT 1126990 SOS 622241 HAS SOPS 614302 HAS SOUS 195621 HAS SOUPS 194348 WITH SCORE 194970.241
AT ITER 339 NEW BEST:: SOT 1098094 SOS 593377 HAS SOPS 585438 HAS SOUS 190075 HAS SOUPS 188802 WITH SCORE 189395.377
AT ITER 352 NEW BEST:: SOT 1097986 SOS 593233 HAS SOPS 586158 HAS SOUS 189931 HAS SOUPS 188802 WITH SCORE 189395.233
AT ITER 362 NEW BEST:: SOT 1097786 SOS 593000 HAS SOPS 585925 HAS SOUS 189773 HAS SOUPS 188644 WITH SCORE 189237.0
AT ITER 364 NEW BEST:: SOT 1097576 SOS 592824 HAS SOPS 585749 HAS SOUS 189635 HAS SOUPS 188506 WITH SCORE 189098.824
AT ITER 373 NEW BEST:: SOT 1097576 SOS 592822 HAS SOPS 585747 HAS SOUS 189631 HAS SOUPS 188502 WITH SCORE 189094.822
AT ITER 382 NEW BEST:: SOT 1097576 SOS 592822 HAS SOPS 585747 HAS SOUS 189624 HAS SOUPS 188495 WITH SCORE 189087.822
AT ITER 406 NEW BEST:: SOT 1097537 SOS 592783 HAS SOPS 585708 HAS SOUS 189579 HAS SOUPS 188450 WITH SCORE 189042.783
AT ITER 407 NEW BEST:: SOT 1097509 SOS 592749 HAS SOPS 585674 HAS SOUS 189523 HAS SOUPS 188394 WITH SCORE 188986.749
AT ITER 430 NEW BEST:: SOT 1097408 SOS 592611 HAS SOPS 585612 HAS SOUS 189512 HAS SOUPS 188383 WITH SCORE 188975.611
AT ITER 433 NEW BEST:: SOT 1097380 SOS 592583 HAS SOPS 585584 HAS SOUS 189400 HAS SOUPS 188271 WITH SCORE 188863.583
AT ITER 448 NEW BEST:: SOT 1096720 SOS 592028 HAS SOPS 585029 HAS SOUS 189067 HAS SOUPS 187938 WITH SCORE 188530.028
AT ITER 451 NEW BEST:: SOT 1096580 SOS 591901 HAS SOPS 584984 HAS SOUS 189011 HAS SOUPS 187882 WITH SCORE 188473.901
AT ITER 453 NEW BEST:: SOT 1095925 SOS 591235 HAS SOPS 584318 HAS SOUS 188377 HAS SOUPS 187248 WITH SCORE 187839.235
AT ITER 459 NEW BEST:: SOT 1095887 SOS 591181 HAS SOPS 584264 HAS SOUS 188301 HAS SOUPS 187172 WITH SCORE 187763.181
AT ITER 474 NEW BEST:: SOT 1095782 SOS 591091 HAS SOPS 584174 HAS SOUS 188211 HAS SOUPS 187082 WITH SCORE 187673.091
AT ITER 481 NEW BEST:: SOT 1095785 SOS 591094 HAS SOPS 584177 HAS SOUS 188150 HAS SOUPS 187021 WITH SCORE 187612.094
AT ITER 482 NEW BEST:: SOT 1095666 SOS 590867 HAS SOPS 583950 HAS SOUS 188005 HAS SOUPS 186876 WITH SCORE 187466.867
AT ITER 488 NEW BEST:: SOT 1095671 SOS 591330 HAS SOPS 584410 HAS SOUS 187987 HAS SOUPS 186861 WITH SCORE 187452.33
AT ITER 500 NEW BEST:: SOT 1095671 SOS 591327 HAS SOPS 584407 HAS SOUS 187984 HAS SOUPS 186858 WITH SCORE 187449.327
AT ITER 509 NEW BEST:: SOT 1095671 SOS 591533 HAS SOPS 584613 HAS SOUS 187088 HAS SOUPS 185962 WITH SCORE 186553.533
AT ITER 517 NEW BEST:: SOT 1095316 SOS 591243 HAS SOPS 584323 HAS SOUS 186640 HAS SOUPS 185514 WITH SCORE 186105.243
AT ITER 528 NEW BEST:: SOT 1094086 SOS 590236 HAS SOPS 583316 HAS SOUS 185544 HAS SOUPS 184418 WITH SCORE 185008.236
AT ITER 530 NEW BEST:: SOT 1093908 SOS 590090 HAS SOPS 583170 HAS SOUS 185525 HAS SOUPS 184399 WITH SCORE 184989.09
AT ITER 535 NEW BEST:: SOT 1093835 SOS 590304 HAS SOPS 583398 HAS SOUS 185519 HAS SOUPS 184394 WITH SCORE 184984.304
AT ITER 540 NEW BEST:: SOT 1093827 SOS 590243 HAS SOPS 583337 HAS SOUS 185502 HAS SOUPS 184377 WITH SCORE 184967.243
AT ITER 542 NEW BEST:: SOT 1093846 SOS 590262 HAS SOPS 583356 HAS SOUS 185433 HAS SOUPS 184308 WITH SCORE 184898.262
AT ITER 561 NEW BEST:: SOT 1093821 SOS 590392 HAS SOPS 583486 HAS SOUS 185270 HAS SOUPS 184145 WITH SCORE 184735.392
AT ITER 565 NEW BEST:: SOT 1093712 SOS 590247 HAS SOPS 583341 HAS SOUS 185052 HAS SOUPS 183927 WITH SCORE 184517.247
AT ITER 570 NEW BEST:: SOT 1092512 SOS 589038 HAS SOPS 582132 HAS SOUS 183948 HAS SOUPS 182823 WITH SCORE 183412.038
AT ITER 578 NEW BEST:: SOT 1092497 SOS 588948 HAS SOPS 582042 HAS SOUS 183948 HAS SOUPS 182823 WITH SCORE 183411.948
AT ITER 580 NEW BEST:: SOT 1092475 SOS 588948 HAS SOPS 582042 HAS SOUS 183918 HAS SOUPS 182793 WITH SCORE 183381.948
AT ITER 582 NEW BEST:: SOT 1092446 SOS 588890 HAS SOPS 581984 HAS SOUS 183889 HAS SOUPS 182764 WITH SCORE 183352.89
AT ITER 597 NEW BEST:: SOT 1092373 SOS 588786 HAS SOPS 581880 HAS SOUS 183704 HAS SOUPS 182579 WITH SCORE 183167.786
AT ITER 598 NEW BEST:: SOT 1092355 SOS 588620 HAS SOPS 581714 HAS SOUS 183668 HAS SOUPS 182543 WITH SCORE 183131.62
AT ITER 630 NEW BEST:: SOT 1092163 SOS 588375 HAS SOPS 581469 HAS SOUS 183423 HAS SOUPS 182298 WITH SCORE 182886.375
AT ITER 641 NEW BEST:: SOT 1092166 SOS 588378 HAS SOPS 581472 HAS SOUS 183421 HAS SOUPS 182296 WITH SCORE 182884.378
AT ITER 648 NEW BEST:: SOT 1092101 SOS 588313 HAS SOPS 581407 HAS SOUS 183291 HAS SOUPS 182166 WITH SCORE 182754.313
AT ITER 651 NEW BEST:: SOT 1092087 SOS 588299 HAS SOPS 581379 HAS SOUS 183275 HAS SOUPS 182144 WITH SCORE 182732.299
AT ITER 656 NEW BEST:: SOT 1092050 SOS 587590 HAS SOPS 580661 HAS SOUS 183262 HAS SOUPS 182128 WITH SCORE 182715.59
AT ITER 657 NEW BEST:: SOT 1092050 SOS 587590 HAS SOPS 580661 HAS SOUS 183256 HAS SOUPS 182122 WITH SCORE 182709.59
AT ITER 658 NEW BEST:: SOT 1091964 SOS 587504 HAS SOPS 580575 HAS SOUS 183119 HAS SOUPS 181985 WITH SCORE 182572.504
AT ITER 665 NEW BEST:: SOT 1091820 SOS 587144 HAS SOPS 580215 HAS SOUS 182939 HAS SOUPS 181805 WITH SCORE 182392.144
AT ITER 675 NEW BEST:: SOT 1091691 SOS 586929 HAS SOPS 580000 HAS SOUS 182596 HAS SOUPS 181462 WITH SCORE 182048.929
AT ITER 684 NEW BEST:: SOT 1091661 SOS 586777 HAS SOPS 579848 HAS SOUS 182453 HAS SOUPS 181319 WITH SCORE 181905.777
AT ITER 689 NEW BEST:: SOT 1091269 SOS 586485 HAS SOPS 579556 HAS SOUS 182273 HAS SOUPS 181139 WITH SCORE 181725.485
AT ITER 711 NEW BEST:: SOT 1091103 SOS 586351 HAS SOPS 579422 HAS SOUS 182252 HAS SOUPS 181118 WITH SCORE 181704.351
AT ITER 726 NEW BEST:: SOT 1090975 SOS 586322 HAS SOPS 579393 HAS SOUS 182250 HAS SOUPS 181116 WITH SCORE 181702.322
AT ITER 731 NEW BEST:: SOT 1090666 SOS 586201 HAS SOPS 579272 HAS SOUS 182024 HAS SOUPS 180890 WITH SCORE 181476.201
AT ITER 732 NEW BEST:: SOT 1090629 SOS 586167 HAS SOPS 579238 HAS SOUS 181993 HAS SOUPS 180859 WITH SCORE 181445.167
AT ITER 762 NEW BEST:: SOT 1090296 SOS 585564 HAS SOPS 578635 HAS SOUS 181593 HAS SOUPS 180459 WITH SCORE 181044.564
AT ITER 773 NEW BEST:: SOT 1090176 SOS 585497 HAS SOPS 578568 HAS SOUS 181491 HAS SOUPS 180357 WITH SCORE 180942.497
AT ITER 777 NEW BEST:: SOT 1090159 SOS 585480 HAS SOPS 578534 HAS SOUS 181457 HAS SOUPS 180323 WITH SCORE 180908.48
AT ITER 797 NEW BEST:: SOT 1043161 SOS 568659 HAS SOPS 561713 HAS SOUS 174460 HAS SOUPS 173326 WITH SCORE 173894.659
AT ITER 799 NEW BEST:: SOT 1042754 SOS 538736 HAS SOPS 531790 HAS SOUS 174146 HAS SOUPS 173012 WITH SCORE 173550.736
AT ITER 800 NEW BEST:: SOT 1042754 SOS 538064 HAS SOPS 531118 HAS SOUS 174146 HAS SOUPS 173012 WITH SCORE 173550.064
AT ITER 801 NEW BEST:: SOT 1042768 SOS 538078 HAS SOPS 531132 HAS SOUS 174034 HAS SOUPS 172900 WITH SCORE 173438.078
AT ITER 808 NEW BEST:: SOT 1032214 SOS 528474 HAS SOPS 521528 HAS SOUS 172329 HAS SOUPS 171195 WITH SCORE 171723.474
AT ITER 811 NEW BEST:: SOT 1032210 SOS 528470 HAS SOPS 521524 HAS SOUS 172325 HAS SOUPS 171191 WITH SCORE 171719.47
AT ITER 822 NEW BEST:: SOT 1032153 SOS 528406 HAS SOPS 521460 HAS SOUS 172223 HAS SOUPS 171089 WITH SCORE 171617.406
AT ITER 828 NEW BEST:: SOT 1031973 SOS 528091 HAS SOPS 522225 HAS SOUS 171953 HAS SOUPS 170999 WITH SCORE 171527.091
AT ITER 838 NEW BEST:: SOT 1032000 SOS 527987 HAS SOPS 522122 HAS SOUS 171913 HAS SOUPS 170959 WITH SCORE 171486.987
AT ITER 851 NEW BEST:: SOT 1037601 SOS 533313 HAS SOPS 527778 HAS SOUS 170818 HAS SOUPS 169919 WITH SCORE 170452.313
AT ITER 877 NEW BEST:: SOT 1037601 SOS 531492 HAS SOPS 525957 HAS SOUS 170818 HAS SOUPS 169919 WITH SCORE 170450.492
AT ITER 901 NEW BEST:: SOT 1037545 SOS 531499 HAS SOPS 525964 HAS SOUS 170751 HAS SOUPS 169852 WITH SCORE 170383.499
AT ITER 908 NEW BEST:: SOT 1037550 SOS 531499 HAS SOPS 525964 HAS SOUS 170750 HAS SOUPS 169851 WITH SCORE 170382.499
AT ITER 919 NEW BEST:: SOT 1037541 SOS 531490 HAS SOPS 525955 HAS SOUS 170705 HAS SOUPS 169806 WITH SCORE 170337.49
AT ITER 920 NEW BEST:: SOT 1037529 SOS 531478 HAS SOPS 525943 HAS SOUS 170586 HAS SOUPS 169687 WITH SCORE 170218.478
AT ITER 921 NEW BEST:: SOT 1037428 SOS 531392 HAS SOPS 525857 HAS SOUS 170348 HAS SOUPS 169449 WITH SCORE 169980.392
AT ITER 927 NEW BEST:: SOT 1037393 SOS 531322 HAS SOPS 525787 HAS SOUS 170278 HAS SOUPS 169379 WITH SCORE 169910.322
AT ITER 931 NEW BEST:: SOT 1036978 SOS 531003 HAS SOPS 525468 HAS SOUS 169668 HAS SOUPS 168769 WITH SCORE 169300.003
AT ITER 941 NEW BEST:: SOT 1036972 SOS 530988 HAS SOPS 525453 HAS SOUS 169656 HAS SOUPS 168757 WITH SCORE 169287.988
AT ITER 962 NEW BEST:: SOT 1036925 SOS 530706 HAS SOPS 525171 HAS SOUS 169656 HAS SOUPS 168757 WITH SCORE 169287.706
AT ITER 979 NEW BEST:: SOT 1036919 SOS 530700 HAS SOPS 525159 HAS SOUS 169644 HAS SOUPS 168745 WITH SCORE 169275.7
AT ITER 999 NEW BEST:: SOT 1036608 SOS 530421 HAS SOPS 524880 HAS SOUS 169548 HAS SOUPS 168649 WITH SCORE 169179.421
AT ITER 1001 NEW BEST:: SOT 1016813 SOS 510749 HAS SOPS 505208 HAS SOUS 164597 HAS SOUPS 163698 WITH SCORE 164208.749
AT ITER 1005 NEW BEST:: SOT 1017132 SOS 510963 HAS SOPS 505422 HAS SOUS 164529 HAS SOUPS 163630 WITH SCORE 164140.963
AT ITER 1011 NEW BEST:: SOT 1017055 SOS 512155 HAS SOPS 506624 HAS SOUS 164187 HAS SOUPS 163288 WITH SCORE 163800.155
AT ITER 1013 NEW BEST:: SOT 1017032 SOS 511973 HAS SOPS 506442 HAS SOUS 164141 HAS SOUPS 163242 WITH SCORE 163753.973
AT ITER 1031 NEW BEST:: SOT 1017272 SOS 512106 HAS SOPS 506575 HAS SOUS 162595 HAS SOUPS 161696 WITH SCORE 162208.106
AT ITER 1034 NEW BEST:: SOT 1017108 SOS 511942 HAS SOPS 506411 HAS SOUS 162431 HAS SOUPS 161532 WITH SCORE 162043.942
AT ITER 1052 NEW BEST:: SOT 1017238 SOS 512038 HAS SOPS 506404 HAS SOUS 162417 HAS SOUPS 161510 WITH SCORE 162022.038
AT ITER 1057 NEW BEST:: SOT 1017022 SOS 511174 HAS SOPS 505540 HAS SOUS 162057 HAS SOUPS 161150 WITH SCORE 161661.174
AT ITER 1067 NEW BEST:: SOT 1017010 SOS 511120 HAS SOPS 505486 HAS SOUS 162038 HAS SOUPS 161131 WITH SCORE 161642.12
AT ITER 1069 NEW BEST:: SOT 1016974 SOS 511054 HAS SOPS 505420 HAS SOUS 161984 HAS SOUPS 161077 WITH SCORE 161588.054
AT ITER 1083 NEW BEST:: SOT 1016970 SOS 510847 HAS SOPS 505232 HAS SOUS 161929 HAS SOUPS 161022 WITH SCORE 161532.847
AT ITER 1094 NEW BEST:: SOT 1016978 SOS 511051 HAS SOPS 505411 HAS SOUS 161926 HAS SOUPS 161019 WITH SCORE 161530.051
AT ITER 1098 NEW BEST:: SOT 1016835 SOS 510908 HAS SOPS 505268 HAS SOUS 161807 HAS SOUPS 160900 WITH SCORE 161410.908
AT ITER 1101 NEW BEST:: SOT 1016735 SOS 510808 HAS SOPS 505168 HAS SOUS 161707 HAS SOUPS 160800 WITH SCORE 161310.808
AT ITER 1103 NEW BEST:: SOT 1016735 SOS 510968 HAS SOPS 505328 HAS SOUS 161627 HAS SOUPS 160720 WITH SCORE 161230.968
AT ITER 1108 NEW BEST:: SOT 1016735 SOS 510980 HAS SOPS 505340 HAS SOUS 161427 HAS SOUPS 160520 WITH SCORE 161030.98
AT ITER 1110 NEW BEST:: SOT 1016565 SOS 510660 HAS SOPS 505106 HAS SOUS 161358 HAS SOUPS 160451 WITH SCORE 160961.66
AT ITER 1114 NEW BEST:: SOT 1016484 SOS 510579 HAS SOPS 505025 HAS SOUS 161277 HAS SOUPS 160370 WITH SCORE 160880.579
AT ITER 1115 NEW BEST:: SOT 1016484 SOS 511158 HAS SOPS 505604 HAS SOUS 160989 HAS SOUPS 160082 WITH SCORE 160593.158
AT ITER 1146 NEW BEST:: SOT 1016478 SOS 511152 HAS SOPS 505598 HAS SOUS 160977 HAS SOUPS 160070 WITH SCORE 160581.152
AT ITER 1148 NEW BEST:: SOT 1016352 SOS 510942 HAS SOPS 505388 HAS SOUS 160767 HAS SOUPS 159860 WITH SCORE 160370.942
AT ITER 1150 NEW BEST:: SOT 968783 SOS 481551 HAS SOPS 475997 HAS SOUS 152021 HAS SOUPS 151114 WITH SCORE 151595.551
AT ITER 1160 NEW BEST:: SOT 968660 SOS 481488 HAS SOPS 475934 HAS SOUS 152006 HAS SOUPS 151099 WITH SCORE 151580.488
AT ITER 1184 NEW BEST:: SOT 968549 SOS 481377 HAS SOPS 475823 HAS SOUS 151895 HAS SOUPS 150988 WITH SCORE 151469.377
AT ITER 1191 NEW BEST:: SOT 968512 SOS 481340 HAS SOPS 475600 HAS SOUS 151914 HAS SOUPS 150821 WITH SCORE 151302.34
AT ITER 1209 NEW BEST:: SOT 968497 SOS 481325 HAS SOPS 475585 HAS SOUS 151883 HAS SOUPS 150790 WITH SCORE 151271.325
AT ITER 1215 NEW BEST:: SOT 968488 SOS 481316 HAS SOPS 475576 HAS SOUS 151865 HAS SOUPS 150772 WITH SCORE 151253.316
AT ITER 1247 NEW BEST:: SOT 968346 SOS 481096 HAS SOPS 475226 HAS SOUS 151653 HAS SOUPS 150560 WITH SCORE 151041.096
AT ITER 1258 NEW BEST:: SOT 968178 SOS 480677 HAS SOPS 474807 HAS SOUS 151562 HAS SOUPS 150469 WITH SCORE 150949.677
AT ITER 1261 NEW BEST:: SOT 968163 SOS 480482 HAS SOPS 474612 HAS SOUS 151488 HAS SOUPS 150395 WITH SCORE 150875.482
AT ITER 1280 NEW BEST:: SOT 968163 SOS 480473 HAS SOPS 474603 HAS SOUS 151470 HAS SOUPS 150377 WITH SCORE 150857.473
AT ITER 1281 NEW BEST:: SOT 968163 SOS 479465 HAS SOPS 473595 HAS SOUS 151470 HAS SOUPS 150377 WITH SCORE 150856.465
AT ITER 1285 NEW BEST:: SOT 967723 SOS 479025 HAS SOPS 473155 HAS SOUS 151375 HAS SOUPS 150282 WITH SCORE 150761.025
AT ITER 1307 NEW BEST:: SOT 967194 SOS 478596 HAS SOPS 472726 HAS SOUS 150918 HAS SOUPS 149825 WITH SCORE 150303.596
AT ITER 1309 NEW BEST:: SOT 967201 SOS 478603 HAS SOPS 472681 HAS SOUS 150907 HAS SOUPS 149762 WITH SCORE 150240.603
AT ITER 1323 NEW BEST:: SOT 967147 SOS 478549 HAS SOPS 472627 HAS SOUS 150853 HAS SOUPS 149708 WITH SCORE 150186.549
AT ITER 1335 NEW BEST:: SOT 966994 SOS 478396 HAS SOPS 472474 HAS SOUS 150700 HAS SOUPS 149555 WITH SCORE 150033.396
AT ITER 1338 NEW BEST:: SOT 967071 SOS 478473 HAS SOPS 472527 HAS SOUS 150692 HAS SOUPS 149547 WITH SCORE 150025.473
AT ITER 1353 NEW BEST:: SOT 966997 SOS 478387 HAS SOPS 472441 HAS SOUS 150594 HAS SOUPS 149449 WITH SCORE 149927.387
AT ITER 1371 NEW BEST:: SOT 966821 SOS 478267 HAS SOPS 472321 HAS SOUS 150384 HAS SOUPS 149239 WITH SCORE 149717.267
AT ITER 1410 NEW BEST:: SOT 966790 SOS 478236 HAS SOPS 472290 HAS SOUS 150330 HAS SOUPS 149185 WITH SCORE 149663.236
AT ITER 1417 NEW BEST:: SOT 966747 SOS 478192 HAS SOPS 472246 HAS SOUS 150113 HAS SOUPS 148968 WITH SCORE 149446.192
AT ITER 1432 NEW BEST:: SOT 966708 SOS 478114 HAS SOPS 472168 HAS SOUS 150074 HAS SOUPS 148929 WITH SCORE 149407.114
AT ITER 1435 NEW BEST:: SOT 966382 SOS 477797 HAS SOPS 471851 HAS SOUS 149837 HAS SOUPS 148692 WITH SCORE 149169.797
AT ITER 1436 NEW BEST:: SOT 966389 SOS 477804 HAS SOPS 471858 HAS SOUS 149834 HAS SOUPS 148689 WITH SCORE 149166.804
AT ITER 1437 NEW BEST:: SOT 966387 SOS 477800 HAS SOPS 471854 HAS SOUS 149830 HAS SOUPS 148685 WITH SCORE 149162.8
AT ITER 1451 NEW BEST:: SOT 966092 SOS 477560 HAS SOPS 471614 HAS SOUS 149653 HAS SOUPS 148508 WITH SCORE 148985.56
AT ITER 1457 NEW BEST:: SOT 966191 SOS 477621 HAS SOPS 471675 HAS SOUS 149129 HAS SOUPS 147984 WITH SCORE 148461.621
AT ITER 1484 NEW BEST:: SOT 966187 SOS 477619 HAS SOPS 471673 HAS SOUS 149129 HAS SOUPS 147984 WITH SCORE 148461.619
AT ITER 1530 NEW BEST:: SOT 966234 SOS 474420 HAS SOPS 468474 HAS SOUS 148976 HAS SOUPS 147831 WITH SCORE 148305.42
AT ITER 1557 NEW BEST:: SOT 966234 SOS 474318 HAS SOPS 468372 HAS SOUS 148976 HAS SOUPS 147831 WITH SCORE 148305.318
AT ITER 1559 NEW BEST:: SOT 966227 SOS 474311 HAS SOPS 468365 HAS SOUS 148919 HAS SOUPS 147774 WITH SCORE 148248.311
AT ITER 1581 NEW BEST:: SOT 966356 SOS 474413 HAS SOPS 468467 HAS SOUS 148664 HAS SOUPS 147519 WITH SCORE 147993.413
AT ITER 1585 NEW BEST:: SOT 962755 SOS 476523 HAS SOPS 468767 HAS SOUS 145212 HAS SOUPS 143746 WITH SCORE 144222.523
AT ITER 1596 NEW BEST:: SOT 962558 SOS 476299 HAS SOPS 468543 HAS SOUS 145162 HAS SOUPS 143696 WITH SCORE 144172.299
AT ITER 1598 NEW BEST:: SOT 962515 SOS 476184 HAS SOPS 468428 HAS SOUS 145113 HAS SOUPS 143647 WITH SCORE 144123.184
AT ITER 1599 NEW BEST:: SOT 962512 SOS 476073 HAS SOPS 468317 HAS SOUS 144757 HAS SOUPS 143291 WITH SCORE 143767.073
AT ITER 1603 NEW BEST:: SOT 962464 SOS 475824 HAS SOPS 468068 HAS SOUS 144661 HAS SOUPS 143195 WITH SCORE 143670.824
AT ITER 1634 NEW BEST:: SOT 962593 SOS 462315 HAS SOPS 452212 HAS SOUS 144687 HAS SOUPS 143114 WITH SCORE 143576.315
AT ITER 1644 NEW BEST:: SOT 962514 SOS 461567 HAS SOPS 451554 HAS SOUS 144619 HAS SOUPS 143046 WITH SCORE 143507.567
AT ITER 1656 NEW BEST:: SOT 962502 SOS 461555 HAS SOPS 451542 HAS SOUS 144595 HAS SOUPS 143022 WITH SCORE 143483.555
AT ITER 1670 NEW BEST:: SOT 962416 SOS 461440 HAS SOPS 451427 HAS SOUS 144516 HAS SOUPS 142943 WITH SCORE 143404.44
AT ITER 1673 NEW BEST:: SOT 962385 SOS 461409 HAS SOPS 451396 HAS SOUS 144246 HAS SOUPS 142673 WITH SCORE 143134.409
AT ITER 1681 NEW BEST:: SOT 962296 SOS 461220 HAS SOPS 451207 HAS SOUS 144054 HAS SOUPS 142481 WITH SCORE 142942.22
AT ITER 1711 NEW BEST:: SOT 962257 SOS 461194 HAS SOPS 451181 HAS SOUS 143540 HAS SOUPS 141967 WITH SCORE 142428.194
AT ITER 1712 NEW BEST:: SOT 962177 SOS 461114 HAS SOPS 451021 HAS SOUS 143380 HAS SOUPS 141807 WITH SCORE 142268.114
AT ITER 1717 NEW BEST:: SOT 962159 SOS 461096 HAS SOPS 450985 HAS SOUS 143344 HAS SOUPS 141771 WITH SCORE 142232.096
AT ITER 1734 NEW BEST:: SOT 961884 SOS 460888 HAS SOPS 450777 HAS SOUS 143334 HAS SOUPS 141761 WITH SCORE 142221.888
AT ITER 1750 NEW BEST:: SOT 961884 SOS 460888 HAS SOPS 450777 HAS SOUS 143304 HAS SOUPS 141731 WITH SCORE 142191.888
AT ITER 1762 NEW BEST:: SOT 921799 SOS 446921 HAS SOPS 436810 HAS SOUS 138785 HAS SOUPS 137212 WITH SCORE 137658.921
AT ITER 1763 NEW BEST:: SOT 921437 SOS 446605 HAS SOPS 436491 HAS SOUS 138425 HAS SOUPS 136852 WITH SCORE 137298.605
AT ITER 1766 NEW BEST:: SOT 920657 SOS 446114 HAS SOPS 436000 HAS SOUS 137984 HAS SOUPS 136411 WITH SCORE 136857.114
AT ITER 1787 NEW BEST:: SOT 920643 SOS 445920 HAS SOPS 435806 HAS SOUS 137930 HAS SOUPS 136357 WITH SCORE 136802.92
AT ITER 1804 NEW BEST:: SOT 920662 SOS 445939 HAS SOPS 435861 HAS SOUS 137918 HAS SOUPS 136345 WITH SCORE 136790.939
AT ITER 1823 NEW BEST:: SOT 920656 SOS 445946 HAS SOPS 435868 HAS SOUS 137899 HAS SOUPS 136326 WITH SCORE 136771.946
AT ITER 1830 NEW BEST:: SOT 920624 SOS 445914 HAS SOPS 435820 HAS SOUS 137835 HAS SOUPS 136262 WITH SCORE 136707.914
AT ITER 1831 NEW BEST:: SOT 920624 SOS 445914 HAS SOPS 435820 HAS SOUS 137810 HAS SOUPS 136237 WITH SCORE 136682.914
AT ITER 1839 NEW BEST:: SOT 920621 SOS 445912 HAS SOPS 435818 HAS SOUS 137804 HAS SOUPS 136231 WITH SCORE 136676.912
AT ITER 1846 NEW BEST:: SOT 920478 SOS 445753 HAS SOPS 435659 HAS SOUS 137789 HAS SOUPS 136216 WITH SCORE 136661.753
AT ITER 1855 NEW BEST:: SOT 920474 SOS 445740 HAS SOPS 435646 HAS SOUS 137781 HAS SOUPS 136208 WITH SCORE 136653.74
AT ITER 1858 NEW BEST:: SOT 920428 SOS 445720 HAS SOPS 435626 HAS SOUS 137735 HAS SOUPS 136162 WITH SCORE 136607.72
AT ITER 1866 NEW BEST:: SOT 920338 SOS 445625 HAS SOPS 435531 HAS SOUS 137655 HAS SOUPS 136082 WITH SCORE 136527.625
AT ITER 1897 NEW BEST:: SOT 920191 SOS 445478 HAS SOPS 435384 HAS SOUS 137508 HAS SOUPS 135935 WITH SCORE 136380.478
AT ITER 1899 NEW BEST:: SOT 920179 SOS 445466 HAS SOPS 435372 HAS SOUS 137496 HAS SOUPS 135923 WITH SCORE 136368.466
AT ITER 1903 NEW BEST:: SOT 920256 SOS 445795 HAS SOPS 435839 HAS SOUS 137117 HAS SOUPS 135544 WITH SCORE 135989.795
AT ITER 1909 NEW BEST:: SOT 920256 SOS 445795 HAS SOPS 435785 HAS SOUS 137014 HAS SOUPS 135441 WITH SCORE 135886.795
AT ITER 1914 NEW BEST:: SOT 920256 SOS 445795 HAS SOPS 435785 HAS SOUS 137010 HAS SOUPS 135437 WITH SCORE 135882.795
AT ITER 1926 NEW BEST:: SOT 920256 SOS 445775 HAS SOPS 435739 HAS SOUS 137010 HAS SOUPS 135437 WITH SCORE 135882.775
AT ITER 1937 NEW BEST:: SOT 919885 SOS 445467 HAS SOPS 435431 HAS SOUS 136615 HAS SOUPS 135042 WITH SCORE 135487.467
AT ITER 1988 NEW BEST:: SOT 919870 SOS 445290 HAS SOPS 435362 HAS SOUS 136516 HAS SOUPS 134943 WITH SCORE 135388.29
AT ITER 2006 NEW BEST:: SOT 919870 SOS 445290 HAS SOPS 435362 HAS SOUS 136512 HAS SOUPS 134939 WITH SCORE 135384.29
AT ITER 2025 NEW BEST:: SOT 919875 SOS 445243 HAS SOPS 435258 HAS SOUS 136465 HAS SOUPS 134892 WITH SCORE 135337.243
AT ITER 2027 NEW BEST:: SOT 919818 SOS 445186 HAS SOPS 435196 HAS SOUS 136419 HAS SOUPS 134846 WITH SCORE 135291.186
AT ITER 2046 NEW BEST:: SOT 919743 SOS 445111 HAS SOPS 435121 HAS SOUS 136314 HAS SOUPS 134741 WITH SCORE 135186.111
AT ITER 2050 NEW BEST:: SOT 919530 SOS 444969 HAS SOPS 434979 HAS SOUS 136101 HAS SOUPS 134528 WITH SCORE 134972.969
AT ITER 2074 NEW BEST:: SOT 919436 SOS 444875 HAS SOPS 434885 HAS SOUS 136012 HAS SOUPS 134439 WITH SCORE 134883.875
AT ITER 2082 NEW BEST:: SOT 919345 SOS 444784 HAS SOPS 434794 HAS SOUS 135851 HAS SOUPS 134278 WITH SCORE 134722.784
AT ITER 2083 NEW BEST:: SOT 919205 SOS 444433 HAS SOPS 434502 HAS SOUS 135513 HAS SOUPS 133940 WITH SCORE 134384.433
AT ITER 2084 NEW BEST:: SOT 919173 SOS 444401 HAS SOPS 434470 HAS SOUS 135449 HAS SOUPS 133876 WITH SCORE 134320.401
AT ITER 2141 NEW BEST:: SOT 919018 SOS 444281 HAS SOPS 434350 HAS SOUS 135446 HAS SOUPS 133873 WITH SCORE 134317.281
AT ITER 2142 NEW BEST:: SOT 918978 SOS 444235 HAS SOPS 434304 HAS SOUS 135366 HAS SOUPS 133793 WITH SCORE 134237.235
AT ITER 2199 NEW BEST:: SOT 918968 SOS 444230 HAS SOPS 434299 HAS SOUS 135361 HAS SOUPS 133788 WITH SCORE 134232.23
AT ITER 2210 NEW BEST:: SOT 919037 SOS 444448 HAS SOPS 434643 HAS SOUS 134965 HAS SOUPS 133392 WITH SCORE 133836.448
AT ITER 2218 NEW BEST:: SOT 919008 SOS 444440 HAS SOPS 434635 HAS SOUS 134893 HAS SOUPS 133320 WITH SCORE 133764.44
AT ITER 2219 NEW BEST:: SOT 918973 SOS 444433 HAS SOPS 434628 HAS SOUS 134892 HAS SOUPS 133319 WITH SCORE 133763.433
AT ITER 2240 NEW BEST:: SOT 918941 SOS 444384 HAS SOPS 434579 HAS SOUS 134837 HAS SOUPS 133264 WITH SCORE 133708.384
AT ITER 2256 NEW BEST:: SOT 918903 SOS 441489 HAS SOPS 432026 HAS SOUS 134704 HAS SOUPS 133188 WITH SCORE 133629.489
AT ITER 2289 NEW BEST:: SOT 919116 SOS 441702 HAS SOPS 432239 HAS SOUS 134666 HAS SOUPS 133150 WITH SCORE 133591.702
AT ITER 2301 NEW BEST:: SOT 918575 SOS 441191 HAS SOPS 431728 HAS SOUS 134212 HAS SOUPS 132696 WITH SCORE 133137.191
AT ITER 2320 NEW BEST:: SOT 918568 SOS 441264 HAS SOPS 431669 HAS SOUS 134125 HAS SOUPS 132609 WITH SCORE 133050.264
AT ITER 2324 NEW BEST:: SOT 915785 SOS 438448 HAS SOPS 428853 HAS SOUS 133725 HAS SOUPS 132209 WITH SCORE 132647.448
AT ITER 2335 NEW BEST:: SOT 915621 SOS 438166 HAS SOPS 428571 HAS SOUS 133574 HAS SOUPS 132058 WITH SCORE 132496.166
AT ITER 2343 NEW BEST:: SOT 915584 SOS 438092 HAS SOPS 428497 HAS SOUS 133500 HAS SOUPS 131984 WITH SCORE 132422.092
AT ITER 2357 NEW BEST:: SOT 915549 SOS 438059 HAS SOPS 428464 HAS SOUS 133478 HAS SOUPS 131962 WITH SCORE 132400.059
AT ITER 2399 NEW BEST:: SOT 913443 SOS 435993 HAS SOPS 426350 HAS SOUS 132939 HAS SOUPS 131415 WITH SCORE 131850.993
AT ITER 2434 NEW BEST:: SOT 913279 SOS 435784 HAS SOPS 426141 HAS SOUS 132657 HAS SOUPS 131133 WITH SCORE 131568.784
AT ITER 2446 NEW BEST:: SOT 913279 SOS 435892 HAS SOPS 426249 HAS SOUS 132603 HAS SOUPS 131079 WITH SCORE 131514.892
AT ITER 2458 NEW BEST:: SOT 913202 SOS 435679 HAS SOPS 426096 HAS SOUS 132590 HAS SOUPS 131066 WITH SCORE 131501.679
AT ITER 2473 NEW BEST:: SOT 913192 SOS 435669 HAS SOPS 426086 HAS SOUS 132570 HAS SOUPS 131046 WITH SCORE 131481.669
AT ITER 2490 NEW BEST:: SOT 913171 SOS 435648 HAS SOPS 426065 HAS SOUS 132528 HAS SOUPS 131004 WITH SCORE 131439.648
AT ITER 2505 NEW BEST:: SOT 917817 SOS 440672 HAS SOPS 431089 HAS SOUS 132499 HAS SOUPS 130975 WITH SCORE 131415.672
AT ITER 2514 NEW BEST:: SOT 917817 SOS 440672 HAS SOPS 431089 HAS SOUS 132476 HAS SOUPS 130952 WITH SCORE 131392.672
AT ITER 2530 NEW BEST:: SOT 917823 SOS 440759 HAS SOPS 431176 HAS SOUS 132416 HAS SOUPS 130892 WITH SCORE 131332.759
AT ITER 2542 NEW BEST:: SOT 918538 SOS 441474 HAS SOPS 431891 HAS SOUS 131637 HAS SOUPS 130113 WITH SCORE 130554.474
AT ITER 2546 NEW BEST:: SOT 918412 SOS 441440 HAS SOPS 431871 HAS SOUS 131525 HAS SOUPS 130001 WITH SCORE 130442.44
AT ITER 2573 NEW BEST:: SOT 918412 SOS 426547 HAS SOPS 416978 HAS SOUS 131049 HAS SOUPS 129525 WITH SCORE 129951.547
AT ITER 2574 NEW BEST:: SOT 918364 SOS 426451 HAS SOPS 416882 HAS SOUS 130953 HAS SOUPS 129429 WITH SCORE 129855.451
AT ITER 2579 NEW BEST:: SOT 918358 SOS 426445 HAS SOPS 416876 HAS SOUS 130947 HAS SOUPS 129423 WITH SCORE 129849.445
AT ITER 2583 NEW BEST:: SOT 918346 SOS 426421 HAS SOPS 416864 HAS SOUS 130933 HAS SOUPS 129410 WITH SCORE 129836.421
AT ITER 2584 NEW BEST:: SOT 918346 SOS 426270 HAS SOPS 416713 HAS SOUS 130933 HAS SOUPS 129410 WITH SCORE 129836.27
AT ITER 2599 NEW BEST:: SOT 918509 SOS 426433 HAS SOPS 416876 HAS SOUS 130409 HAS SOUPS 128886 WITH SCORE 129312.433
AT ITER 2611 NEW BEST:: SOT 918503 SOS 426429 HAS SOPS 416872 HAS SOUS 130391 HAS SOUPS 128868 WITH SCORE 129294.429
AT ITER 2613 NEW BEST:: SOT 918474 SOS 426400 HAS SOPS 416843 HAS SOUS 130229 HAS SOUPS 128706 WITH SCORE 129132.4
AT ITER 2615 NEW BEST:: SOT 918475 SOS 426356 HAS SOPS 416799 HAS SOUS 130185 HAS SOUPS 128662 WITH SCORE 129088.356
AT ITER 2617 NEW BEST:: SOT 918470 SOS 426351 HAS SOPS 416784 HAS SOUS 130180 HAS SOUPS 128647 WITH SCORE 129073.351
AT ITER 2618 NEW BEST:: SOT 918470 SOS 425809 HAS SOPS 416242 HAS SOUS 130180 HAS SOUPS 128647 WITH SCORE 129072.809
AT ITER 2630 NEW BEST:: SOT 918313 SOS 425668 HAS SOPS 416101 HAS SOUS 130096 HAS SOUPS 128563 WITH SCORE 128988.668
AT ITER 2631 NEW BEST:: SOT 918085 SOS 425432 HAS SOPS 415865 HAS SOUS 129716 HAS SOUPS 128183 WITH SCORE 128608.432
AT ITER 2641 NEW BEST:: SOT 918078 SOS 425418 HAS SOPS 415851 HAS SOUS 129702 HAS SOUPS 128169 WITH SCORE 128594.418
AT ITER 2642 NEW BEST:: SOT 918078 SOS 425397 HAS SOPS 415830 HAS SOUS 129702 HAS SOUPS 128169 WITH SCORE 128594.397
AT ITER 2652 NEW BEST:: SOT 913245 SOS 432636 HAS SOPS 423069 HAS SOUS 129421 HAS SOUPS 127888 WITH SCORE 128320.636
AT ITER 2670 NEW BEST:: SOT 913123 SOS 432297 HAS SOPS 423474 HAS SOUS 129268 HAS SOUPS 127859 WITH SCORE 128291.297
AT ITER 2673 NEW BEST:: SOT 913036 SOS 432170 HAS SOPS 423347 HAS SOUS 129110 HAS SOUPS 127701 WITH SCORE 128133.17
AT ITER 2680 NEW BEST:: SOT 913031 SOS 432165 HAS SOPS 423338 HAS SOUS 129102 HAS SOUPS 127690 WITH SCORE 128122.165
AT ITER 2683 NEW BEST:: SOT 913169 SOS 432341 HAS SOPS 423514 HAS SOUS 129066 HAS SOUPS 127654 WITH SCORE 128086.341
AT ITER 2686 NEW BEST:: SOT 913169 SOS 432305 HAS SOPS 423478 HAS SOUS 129030 HAS SOUPS 127618 WITH SCORE 128050.305
AT ITER 2704 NEW BEST:: SOT 912779 SOS 431834 HAS SOPS 423007 HAS SOUS 128873 HAS SOUPS 127461 WITH SCORE 127892.834
AT ITER 2717 NEW BEST:: SOT 912729 SOS 432131 HAS SOPS 423307 HAS SOUS 128856 HAS SOUPS 127445 WITH SCORE 127877.131
AT ITER 2721 NEW BEST:: SOT 912564 SOS 431966 HAS SOPS 423142 HAS SOUS 128592 HAS SOUPS 127181 WITH SCORE 127612.966
AT ITER 2740 NEW BEST:: SOT 912565 SOS 431979 HAS SOPS 423155 HAS SOUS 128585 HAS SOUPS 127174 WITH SCORE 127605.979
AT ITER 2762 NEW BEST:: SOT 912615 SOS 432112 HAS SOPS 423134 HAS SOUS 128559 HAS SOUPS 127148 WITH SCORE 127580.112
AT ITER 2766 NEW BEST:: SOT 912620 SOS 432117 HAS SOPS 423139 HAS SOUS 128527 HAS SOUPS 127116 WITH SCORE 127548.117
AT ITER 2775 NEW BEST:: SOT 912566 SOS 432023 HAS SOPS 423045 HAS SOUS 128375 HAS SOUPS 126964 WITH SCORE 127396.023
AT ITER 2814 NEW BEST:: SOT 912566 SOS 432017 HAS SOPS 423039 HAS SOUS 128372 HAS SOUPS 126961 WITH SCORE 127393.017
AT ITER 2838 NEW BEST:: SOT 912080 SOS 431514 HAS SOPS 422536 HAS SOUS 128180 HAS SOUPS 126769 WITH SCORE 127200.514
AT ITER 2843 NEW BEST:: SOT 911988 SOS 431458 HAS SOPS 422534 HAS SOUS 128067 HAS SOUPS 126656 WITH SCORE 127087.458
AT ITER 2876 NEW BEST:: SOT 911986 SOS 431456 HAS SOPS 422532 HAS SOUS 128033 HAS SOUPS 126622 WITH SCORE 127053.456
AT ITER 2887 NEW BEST:: SOT 911939 SOS 431284 HAS SOPS 422215 HAS SOUS 127770 HAS SOUPS 126359 WITH SCORE 126790.284
AT ITER 2894 NEW BEST:: SOT 911812 SOS 431080 HAS SOPS 422011 HAS SOUS 127663 HAS SOUPS 126252 WITH SCORE 126683.08
AT ITER 2898 NEW BEST:: SOT 912127 SOS 431289 HAS SOPS 422220 HAS SOUS 126238 HAS SOUPS 124827 WITH SCORE 125258.289
AT ITER 2901 NEW BEST:: SOT 912127 SOS 431289 HAS SOPS 422220 HAS SOUS 126205 HAS SOUPS 124794 WITH SCORE 125225.289
AT ITER 2914 NEW BEST:: SOT 912208 SOS 431270 HAS SOPS 422201 HAS SOUS 126186 HAS SOUPS 124775 WITH SCORE 125206.27
AT ITER 2937 NEW BEST:: SOT 912237 SOS 431272 HAS SOPS 422109 HAS SOUS 126049 HAS SOUPS 124638 WITH SCORE 125069.272
AT ITER 2956 NEW BEST:: SOT 912185 SOS 431220 HAS SOPS 422057 HAS SOUS 126037 HAS SOUPS 124626 WITH SCORE 125057.22
AT ITER 2960 NEW BEST:: SOT 912033 SOS 431017 HAS SOPS 421854 HAS SOUS 125531 HAS SOUPS 124120 WITH SCORE 124551.017
AT ITER 2973 NEW BEST:: SOT 912033 SOS 431035 HAS SOPS 421872 HAS SOUS 125527 HAS SOUPS 124116 WITH SCORE 124547.035
AT ITER 2976 NEW BEST:: SOT 912033 SOS 431012 HAS SOPS 421849 HAS SOUS 125504 HAS SOUPS 124093 WITH SCORE 124524.012
AT ITER 3010 NEW BEST:: SOT 912024 SOS 431003 HAS SOPS 421840 HAS SOUS 125494 HAS SOUPS 124083 WITH SCORE 124514.003
AT ITER 3021 NEW BEST:: SOT 912733 SOS 412874 HAS SOPS 403711 HAS SOUS 125269 HAS SOUPS 123858 WITH SCORE 124270.874
AT ITER 3046 NEW BEST:: SOT 912716 SOS 412861 HAS SOPS 403698 HAS SOUS 125251 HAS SOUPS 123840 WITH SCORE 124252.861
AT ITER 3065 NEW BEST:: SOT 912688 SOS 403285 HAS SOPS 394122 HAS SOUS 125194 HAS SOUPS 123783 WITH SCORE 124186.285
AT ITER 3072 NEW BEST:: SOT 912688 SOS 403285 HAS SOPS 394120 HAS SOUS 125192 HAS SOUPS 123781 WITH SCORE 124184.285
AT ITER 3080 NEW BEST:: SOT 912281 SOS 403024 HAS SOPS 393859 HAS SOUS 125155 HAS SOUPS 123744 WITH SCORE 124147.024
AT ITER 3093 NEW BEST:: SOT 912277 SOS 403020 HAS SOPS 393855 HAS SOUS 125151 HAS SOUPS 123740 WITH SCORE 124143.02
AT ITER 3094 NEW BEST:: SOT 912280 SOS 403090 HAS SOPS 393907 HAS SOUS 125146 HAS SOUPS 123720 WITH SCORE 124123.09
AT ITER 3102 NEW BEST:: SOT 912117 SOS 402890 HAS SOPS 393707 HAS SOUS 125096 HAS SOUPS 123670 WITH SCORE 124072.89
AT ITER 3108 NEW BEST:: SOT 912066 SOS 402882 HAS SOPS 393631 HAS SOUS 124962 HAS SOUPS 123536 WITH SCORE 123938.882
AT ITER 3149 NEW BEST:: SOT 912062 SOS 402878 HAS SOPS 393627 HAS SOUS 124958 HAS SOUPS 123532 WITH SCORE 123934.878
AT ITER 3152 NEW BEST:: SOT 911981 SOS 402782 HAS SOPS 393531 HAS SOUS 124854 HAS SOUPS 123428 WITH SCORE 123830.782
AT ITER 3156 NEW BEST:: SOT 912035 SOS 402836 HAS SOPS 393585 HAS SOUS 124746 HAS SOUPS 123320 WITH SCORE 123722.836
AT ITER 3172 NEW BEST:: SOT 911998 SOS 402688 HAS SOPS 393437 HAS SOUS 124652 HAS SOUPS 123226 WITH SCORE 123628.688
AT ITER 3180 NEW BEST:: SOT 911960 SOS 402650 HAS SOPS 393399 HAS SOUS 124614 HAS SOUPS 123188 WITH SCORE 123590.65
AT ITER 3194 NEW BEST:: SOT 911794 SOS 402524 HAS SOPS 393273 HAS SOUS 124525 HAS SOUPS 123099 WITH SCORE 123501.524
AT ITER 3195 NEW BEST:: SOT 911752 SOS 402485 HAS SOPS 393234 HAS SOUS 124495 HAS SOUPS 123069 WITH SCORE 123471.485
AT ITER 3219 NEW BEST:: SOT 911709 SOS 402442 HAS SOPS 393191 HAS SOUS 124452 HAS SOUPS 123026 WITH SCORE 123428.442
AT ITER 3235 NEW BEST:: SOT 911709 SOS 401722 HAS SOPS 392471 HAS SOUS 124452 HAS SOUPS 123026 WITH SCORE 123427.722
AT ITER 3247 NEW BEST:: SOT 911683 SOS 401644 HAS SOPS 392393 HAS SOUS 124374 HAS SOUPS 122948 WITH SCORE 123349.644
AT ITER 3249 NEW BEST:: SOT 911675 SOS 401636 HAS SOPS 392381 HAS SOUS 124362 HAS SOUPS 122936 WITH SCORE 123337.636
AT ITER 3258 NEW BEST:: SOT 911374 SOS 401271 HAS SOPS 392016 HAS SOUS 123760 HAS SOUPS 122334 WITH SCORE 122735.271
AT ITER 3261 NEW BEST:: SOT 911336 SOS 401173 HAS SOPS 391918 HAS SOUS 123662 HAS SOUPS 122236 WITH SCORE 122637.173
AT ITER 3267 NEW BEST:: SOT 911319 SOS 401156 HAS SOPS 391901 HAS SOUS 123622 HAS SOUPS 122196 WITH SCORE 122597.156
AT ITER 3281 NEW BEST:: SOT 911293 SOS 401130 HAS SOPS 391875 HAS SOUS 123596 HAS SOUPS 122170 WITH SCORE 122571.13
AT ITER 3321 NEW BEST:: SOT 911295 SOS 401132 HAS SOPS 391877 HAS SOUS 123589 HAS SOUPS 122163 WITH SCORE 122564.132
AT ITER 3322 NEW BEST:: SOT 911281 SOS 401118 HAS SOPS 391863 HAS SOUS 123561 HAS SOUPS 122135 WITH SCORE 122536.118
AT ITER 3324 NEW BEST:: SOT 911188 SOS 401035 HAS SOPS 391780 HAS SOUS 123351 HAS SOUPS 121925 WITH SCORE 122326.035
AT ITER 3328 NEW BEST:: SOT 911182 SOS 401031 HAS SOPS 391776 HAS SOUS 123345 HAS SOUPS 121919 WITH SCORE 122320.031
AT ITER 3344 NEW BEST:: SOT 911122 SOS 400951 HAS SOPS 391696 HAS SOUS 123284 HAS SOUPS 121858 WITH SCORE 122258.951
AT ITER 3347 NEW BEST:: SOT 910910 SOS 400421 HAS SOPS 391166 HAS SOUS 123072 HAS SOUPS 121646 WITH SCORE 122046.421
AT ITER 3356 NEW BEST:: SOT 910887 SOS 400398 HAS SOPS 391143 HAS SOUS 123015 HAS SOUPS 121589 WITH SCORE 121989.398
AT ITER 3373 NEW BEST:: SOT 910887 SOS 400398 HAS SOPS 391143 HAS SOUS 122981 HAS SOUPS 121555 WITH SCORE 121955.398
AT ITER 3396 NEW BEST:: SOT 910887 SOS 400381 HAS SOPS 391126 HAS SOUS 122964 HAS SOUPS 121538 WITH SCORE 121938.381
AT ITER 3407 NEW BEST:: SOT 910814 SOS 400308 HAS SOPS 391009 HAS SOUS 122852 HAS SOUPS 121426 WITH SCORE 121826.308
AT ITER 3423 NEW BEST:: SOT 910807 SOS 400301 HAS SOPS 390995 HAS SOUS 122838 HAS SOUPS 121412 WITH SCORE 121812.301
AT ITER 3448 NEW BEST:: SOT 910473 SOS 400044 HAS SOPS 390738 HAS SOUS 122587 HAS SOUPS 121161 WITH SCORE 121561.044
AT ITER 3463 NEW BEST:: SOT 910497 SOS 400068 HAS SOPS 390752 HAS SOUS 122567 HAS SOUPS 121141 WITH SCORE 121541.068
AT ITER 3475 NEW BEST:: SOT 910476 SOS 400047 HAS SOPS 390730 HAS SOUS 122525 HAS SOUPS 121099 WITH SCORE 121499.047
AT ITER 3488 NEW BEST:: SOT 910147 SOS 399782 HAS SOPS 390465 HAS SOUS 122012 HAS SOUPS 120586 WITH SCORE 120985.782
AT ITER 3508 NEW BEST:: SOT 906304 SOS 395939 HAS SOPS 386622 HAS SOUS 121499 HAS SOUPS 120073 WITH SCORE 120468.939
AT ITER 3552 NEW BEST:: SOT 906260 SOS 395825 HAS SOPS 386508 HAS SOUS 121411 HAS SOUPS 119985 WITH SCORE 120380.825
AT ITER 3554 NEW BEST:: SOT 906293 SOS 396529 HAS SOPS 387212 HAS SOUS 121387 HAS SOUPS 119961 WITH SCORE 120357.529
AT ITER 3559 NEW BEST:: SOT 906293 SOS 396355 HAS SOPS 387212 HAS SOUS 121358 HAS SOUPS 119961 WITH SCORE 120357.355
AT ITER 3578 NEW BEST:: SOT 906281 SOS 396356 HAS SOPS 387213 HAS SOUS 121347 HAS SOUPS 119950 WITH SCORE 120346.356
AT ITER 3590 NEW BEST:: SOT 906243 SOS 396318 HAS SOPS 387175 HAS SOUS 120729 HAS SOUPS 119332 WITH SCORE 119728.318
AT ITER 3601 NEW BEST:: SOT 906223 SOS 396278 HAS SOPS 387135 HAS SOUS 120709 HAS SOUPS 119312 WITH SCORE 119708.278
AT ITER 3603 NEW BEST:: SOT 906142 SOS 396197 HAS SOPS 387054 HAS SOUS 120605 HAS SOUPS 119208 WITH SCORE 119604.197
AT ITER 3624 NEW BEST:: SOT 906131 SOS 396130 HAS SOPS 386987 HAS SOUS 120538 HAS SOUPS 119141 WITH SCORE 119537.13
AT ITER 3631 NEW BEST:: SOT 906022 SOS 395975 HAS SOPS 386832 HAS SOUS 120329 HAS SOUPS 118932 WITH SCORE 119327.975
AT ITER 3640 NEW BEST:: SOT 906009 SOS 395882 HAS SOPS 386739 HAS SOUS 120306 HAS SOUPS 118909 WITH SCORE 119304.882
AT ITER 3647 NEW BEST:: SOT 905973 SOS 395841 HAS SOPS 386698 HAS SOUS 120256 HAS SOUPS 118859 WITH SCORE 119254.841
AT ITER 3655 NEW BEST:: SOT 905962 SOS 395841 HAS SOPS 386698 HAS SOUS 120245 HAS SOUPS 118848 WITH SCORE 119243.841
AT ITER 3673 NEW BEST:: SOT 906016 SOS 395895 HAS SOPS 386730 HAS SOUS 120230 HAS SOUPS 118833 WITH SCORE 119228.895
AT ITER 3685 NEW BEST:: SOT 905898 SOS 395766 HAS SOPS 386670 HAS SOUS 120189 HAS SOUPS 118792 WITH SCORE 119187.766
AT ITER 3690 NEW BEST:: SOT 905894 SOS 395762 HAS SOPS 386664 HAS SOUS 120181 HAS SOUPS 118784 WITH SCORE 119179.762
AT ITER 3700 NEW BEST:: SOT 905878 SOS 395789 HAS SOPS 386691 HAS SOUS 120175 HAS SOUPS 118778 WITH SCORE 119173.789
AT ITER 3716 NEW BEST:: SOT 905876 SOS 395783 HAS SOPS 386685 HAS SOUS 120171 HAS SOUPS 118774 WITH SCORE 119169.783
AT ITER 3719 NEW BEST:: SOT 905827 SOS 395734 HAS SOPS 386636 HAS SOUS 119969 HAS SOUPS 118572 WITH SCORE 118967.734
AT ITER 3728 NEW BEST:: SOT 905824 SOS 395731 HAS SOPS 386633 HAS SOUS 119966 HAS SOUPS 118569 WITH SCORE 118964.731
AT ITER 3731 NEW BEST:: SOT 905808 SOS 395715 HAS SOPS 386617 HAS SOUS 119950 HAS SOUPS 118553 WITH SCORE 118948.715
AT ITER 3776 NEW BEST:: SOT 905792 SOS 395677 HAS SOPS 386591 HAS SOUS 119920 HAS SOUPS 118523 WITH SCORE 118918.677
AT ITER 3819 NEW BEST:: SOT 905792 SOS 395677 HAS SOPS 386591 HAS SOUS 119885 HAS SOUPS 118488 WITH SCORE 118883.677
AT ITER 3855 NEW BEST:: SOT 905792 SOS 395677 HAS SOPS 386591 HAS SOUS 119880 HAS SOUPS 118483 WITH SCORE 118878.677
AT ITER 3870 NEW BEST:: SOT 905786 SOS 395665 HAS SOPS 386579 HAS SOUS 119868 HAS SOUPS 118471 WITH SCORE 118866.665
AT ITER 3882 NEW BEST:: SOT 905701 SOS 395601 HAS SOPS 386515 HAS SOUS 119686 HAS SOUPS 118289 WITH SCORE 118684.601
AT ITER 3888 NEW BEST:: SOT 904601 SOS 394501 HAS SOPS 385415 HAS SOUS 119531 HAS SOUPS 118134 WITH SCORE 118528.501
AT ITER 3893 NEW BEST:: SOT 904453 SOS 394320 HAS SOPS 385234 HAS SOUS 119312 HAS SOUPS 117915 WITH SCORE 118309.32
AT ITER 3915 NEW BEST:: SOT 904477 SOS 394344 HAS SOPS 385234 HAS SOUS 119252 HAS SOUPS 117855 WITH SCORE 118249.344
AT ITER 3930 NEW BEST:: SOT 904400 SOS 394267 HAS SOPS 385163 HAS SOUS 119252 HAS SOUPS 117855 WITH SCORE 118249.267
AT ITER 3931 NEW BEST:: SOT 904339 SOS 394206 HAS SOPS 385102 HAS SOUS 118991 HAS SOUPS 117594 WITH SCORE 117988.206
AT ITER 3934 NEW BEST:: SOT 904124 SOS 393991 HAS SOPS 384887 HAS SOUS 118634 HAS SOUPS 117237 WITH SCORE 117630.991
AT ITER 3951 NEW BEST:: SOT 904024 SOS 393891 HAS SOPS 384813 HAS SOUS 118581 HAS SOUPS 117184 WITH SCORE 117577.891
AT ITER 3956 NEW BEST:: SOT 904023 SOS 393890 HAS SOPS 384811 HAS SOUS 118579 HAS SOUPS 117182 WITH SCORE 117575.89
AT ITER 3959 NEW BEST:: SOT 903869 SOS 393902 HAS SOPS 384981 HAS SOUS 118470 HAS SOUPS 117073 WITH SCORE 117466.902
AT ITER 3976 NEW BEST:: SOT 903844 SOS 392512 HAS SOPS 383591 HAS SOUS 118443 HAS SOUPS 117046 WITH SCORE 117438.512
AT ITER 3983 NEW BEST:: SOT 903828 SOS 392477 HAS SOPS 383594 HAS SOUS 118411 HAS SOUPS 117014 WITH SCORE 117406.477
AT ITER 3988 NEW BEST:: SOT 903804 SOS 392429 HAS SOPS 383546 HAS SOUS 118363 HAS SOUPS 116966 WITH SCORE 117358.429
AT ITER 3990 NEW BEST:: SOT 903791 SOS 392416 HAS SOPS 383533 HAS SOUS 118320 HAS SOUPS 116923 WITH SCORE 117315.416
AT ITER 3993 NEW BEST:: SOT 903560 SOS 392185 HAS SOPS 383302 HAS SOUS 118089 HAS SOUPS 116692 WITH SCORE 117084.185
AT ITER 4071 NEW BEST:: SOT 903556 SOS 392181 HAS SOPS 383294 HAS SOUS 118081 HAS SOUPS 116684 WITH SCORE 117076.181
AT ITER 4087 NEW BEST:: SOT 904741 SOS 393366 HAS SOPS 384479 HAS SOUS 117894 HAS SOUPS 116497 WITH SCORE 116890.366
AT ITER 4105 NEW BEST:: SOT 893946 SOS 396004 HAS SOPS 387117 HAS SOUS 116898 HAS SOUPS 115501 WITH SCORE 115897.004
AT ITER 4131 NEW BEST:: SOT 893946 SOS 395956 HAS SOPS 387069 HAS SOUS 116877 HAS SOUPS 115480 WITH SCORE 115875.956
AT ITER 4140 NEW BEST:: SOT 893893 SOS 395757 HAS SOPS 386810 HAS SOUS 116664 HAS SOUPS 115267 WITH SCORE 115662.757
AT ITER 4165 NEW BEST:: SOT 893893 SOS 393782 HAS SOPS 384835 HAS SOUS 116661 HAS SOUPS 115264 WITH SCORE 115657.782
AT ITER 4181 NEW BEST:: SOT 893867 SOS 393730 HAS SOPS 384783 HAS SOUS 116553 HAS SOUPS 115156 WITH SCORE 115549.73
AT ITER 4233 NEW BEST:: SOT 893758 SOS 393570 HAS SOPS 384623 HAS SOUS 116483 HAS SOUPS 115086 WITH SCORE 115479.57
AT ITER 4257 NEW BEST:: SOT 893757 SOS 393569 HAS SOPS 384622 HAS SOUS 116483 HAS SOUPS 115086 WITH SCORE 115479.569
AT ITER 4262 NEW BEST:: SOT 890838 SOS 390707 HAS SOPS 381760 HAS SOUS 115597 HAS SOUPS 114200 WITH SCORE 114590.707
AT ITER 4267 NEW BEST:: SOT 890809 SOS 390642 HAS SOPS 381712 HAS SOUS 115521 HAS SOUPS 114124 WITH SCORE 114514.642
AT ITER 4295 NEW BEST:: SOT 890797 SOS 390630 HAS SOPS 381700 HAS SOUS 115328 HAS SOUPS 113931 WITH SCORE 114321.63
AT ITER 4313 NEW BEST:: SOT 890774 SOS 390607 HAS SOPS 381677 HAS SOUS 115322 HAS SOUPS 113925 WITH SCORE 114315.607
AT ITER 4326 NEW BEST:: SOT 890403 SOS 390093 HAS SOPS 381163 HAS SOUS 114873 HAS SOUPS 113476 WITH SCORE 113866.093
AT ITER 4327 NEW BEST:: SOT 890460 SOS 390104 HAS SOPS 381174 HAS SOUS 114838 HAS SOUPS 113441 WITH SCORE 113831.104
AT ITER 4370 NEW BEST:: SOT 890381 SOS 389938 HAS SOPS 381008 HAS SOUS 114752 HAS SOUPS 113355 WITH SCORE 113744.938
AT ITER 4388 NEW BEST:: SOT 890352 SOS 390382 HAS SOPS 381452 HAS SOUS 114587 HAS SOUPS 113190 WITH SCORE 113580.382
AT ITER 4390 NEW BEST:: SOT 890360 SOS 390132 HAS SOPS 381202 HAS SOUS 114309 HAS SOUPS 112912 WITH SCORE 113302.132
AT ITER 4402 NEW BEST:: SOT 890357 SOS 390129 HAS SOPS 381199 HAS SOUS 114306 HAS SOUPS 112909 WITH SCORE 113299.129
AT ITER 4405 NEW BEST:: SOT 890364 SOS 389817 HAS SOPS 380887 HAS SOUS 114239 HAS SOUPS 112842 WITH SCORE 113231.817
AT ITER 4453 NEW BEST:: SOT 890344 SOS 389789 HAS SOPS 380859 HAS SOUS 114211 HAS SOUPS 112814 WITH SCORE 113203.789
AT ITER 4455 NEW BEST:: SOT 890332 SOS 389765 HAS SOPS 380835 HAS SOUS 114187 HAS SOUPS 112790 WITH SCORE 113179.765
AT ITER 4456 NEW BEST:: SOT 890294 SOS 389570 HAS SOPS 380640 HAS SOUS 114180 HAS SOUPS 112783 WITH SCORE 113172.57
AT ITER 4470 NEW BEST:: SOT 890294 SOS 389570 HAS SOPS 380656 HAS SOUS 114164 HAS SOUPS 112767 WITH SCORE 113156.57
AT ITER 4501 NEW BEST:: SOT 890263 SOS 389553 HAS SOPS 380639 HAS SOUS 114122 HAS SOUPS 112725 WITH SCORE 113114.553
AT ITER 4517 NEW BEST:: SOT 890153 SOS 389443 HAS SOPS 380529 HAS SOUS 114075 HAS SOUPS 112678 WITH SCORE 113067.443
AT ITER 4530 NEW BEST:: SOT 890087 SOS 389377 HAS SOPS 380463 HAS SOUS 113965 HAS SOUPS 112568 WITH SCORE 112957.377
AT ITER 4532 NEW BEST:: SOT 889717 SOS 389007 HAS SOPS 380093 HAS SOUS 113893 HAS SOUPS 112496 WITH SCORE 112885.007
AT ITER 4620 NEW BEST:: SOT 889622 SOS 388953 HAS SOPS 380039 HAS SOUS 113744 HAS SOUPS 112347 WITH SCORE 112735.953
AT ITER 4623 NEW BEST:: SOT 889604 SOS 388773 HAS SOPS 379859 HAS SOUS 113726 HAS SOUPS 112329 WITH SCORE 112717.773
AT ITER 4638 NEW BEST:: SOT 889604 SOS 388773 HAS SOPS 379859 HAS SOUS 113714 HAS SOUPS 112317 WITH SCORE 112705.773
AT ITER 4659 NEW BEST:: SOT 889659 SOS 388828 HAS SOPS 379908 HAS SOUS 113663 HAS SOUPS 112266 WITH SCORE 112654.828
AT ITER 4685 NEW BEST:: SOT 884871 SOS 384136 HAS SOPS 375120 HAS SOUS 112775 HAS SOUPS 111362 WITH SCORE 111746.136
AT ITER 4734 NEW BEST:: SOT 884862 SOS 384127 HAS SOPS 375111 HAS SOUS 112757 HAS SOUPS 111344 WITH SCORE 111728.127
AT ITER 4739 NEW BEST:: SOT 884851 SOS 383864 HAS SOPS 374848 HAS SOUS 112629 HAS SOUPS 111216 WITH SCORE 111599.864
AT ITER 4769 NEW BEST:: SOT 884775 SOS 383750 HAS SOPS 374734 HAS SOUS 112528 HAS SOUPS 111115 WITH SCORE 111498.75
AT ITER 4776 NEW BEST:: SOT 884787 SOS 384282 HAS SOPS 375266 HAS SOUS 112524 HAS SOUPS 111111 WITH SCORE 111495.282
AT ITER 4793 NEW BEST:: SOT 884707 SOS 384168 HAS SOPS 375242 HAS SOUS 112504 HAS SOUPS 111091 WITH SCORE 111475.168
AT ITER 4804 NEW BEST:: SOT 884686 SOS 384147 HAS SOPS 375221 HAS SOUS 112483 HAS SOUPS 111070 WITH SCORE 111454.147
AT ITER 4807 NEW BEST:: SOT 884620 SOS 384141 HAS SOPS 375215 HAS SOUS 112217 HAS SOUPS 110804 WITH SCORE 111188.141
AT ITER 4808 NEW BEST:: SOT 884613 SOS 384134 HAS SOPS 375208 HAS SOUS 112159 HAS SOUPS 110746 WITH SCORE 111130.134
AT ITER 4838 NEW BEST:: SOT 884616 SOS 384151 HAS SOPS 375211 HAS SOUS 112155 HAS SOUPS 110742 WITH SCORE 111126.151
AT ITER 4853 NEW BEST:: SOT 881331 SOS 380866 HAS SOPS 371926 HAS SOUS 111645 HAS SOUPS 110232 WITH SCORE 110612.866
AT ITER 4888 NEW BEST:: SOT 881492 SOS 380970 HAS SOPS 372030 HAS SOUS 111640 HAS SOUPS 110227 WITH SCORE 110607.97
AT ITER 4909 NEW BEST:: SOT 881286 SOS 380707 HAS SOPS 371767 HAS SOUS 111380 HAS SOUPS 109967 WITH SCORE 110347.707
AT ITER 4912 NEW BEST:: SOT 881218 SOS 380639 HAS SOPS 371699 HAS SOUS 111261 HAS SOUPS 109848 WITH SCORE 110228.639
AT ITER 4919 NEW BEST:: SOT 881217 SOS 380638 HAS SOPS 371698 HAS SOUS 111257 HAS SOUPS 109844 WITH SCORE 110224.638
AT ITER 4939 NEW BEST:: SOT 881217 SOS 387414 HAS SOPS 378474 HAS SOUS 110753 HAS SOUPS 109340 WITH SCORE 109727.414
AT ITER 4970 NEW BEST:: SOT 881213 SOS 387271 HAS SOPS 378380 HAS SOUS 110627 HAS SOUPS 109214 WITH SCORE 109601.271
AT ITER 4974 NEW BEST:: SOT 881213 SOS 387271 HAS SOPS 378398 HAS SOUS 110612 HAS SOUPS 109199 WITH SCORE 109586.271
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-00 ( (EF(potential( ( 2 ) <= (tk(P27) + tk(P41) + tk(P51) + tk(P61) + tk(P79) + tk(P84) + tk(P86) + tk(P103) + tk(P160) + tk(P166) + tk(P178) + tk(P180) + tk(P191) + tk(P221) + tk(P240) + tk(P243) + tk(P245) + tk(P264) + tk(P267) + tk(P301) + tk(P321) + tk(P343) + tk(P348) + tk(P351) + tk(P364) + tk(P375) + tk(P397) + tk(P414) + tk(P424) + tk(P427) + tk(P428) + tk(P436) + tk(P441) + tk(P446) + tk(P463) + tk(P490) + tk(P501) + tk(P502) + tk(P509) + tk(P534) + tk(P580) + tk(P583)) ))) | (EF(( ( potential( (tk(P456)) <= (tk(P114)) ) & potential( (tk(P274)) <= (tk(P42)) ) ) & potential( (tk(P80) + tk(P91) + tk(P311) + tk(P366) + tk(P470) + tk(P556)) <= (tk(P119) + tk(P187) + tk(P457) + tk(P522) + tk(P577) + tk(P592) + tk(P603)) ) ))) )
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-01 (AX( (AF(potential( ( 3 ) <= (tk(P16) + tk(P29) + tk(P87) + tk(P96) + tk(P102) + tk(P112) + tk(P129) + tk(P169) + tk(P172) + tk(P206) + tk(P275) + tk(P276) + tk(P279) + tk(P294) + tk(P310) + tk(P328) + tk(P354) + tk(P360) + tk(P368) + tk(P403) + tk(P430) + tk(P455) + tk(P480) + tk(P485) + tk(P542) + tk(P550) + tk(P576) + tk(P596)) )))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-02 (EG( (AU( potential( (tk(P69) + tk(P147) + tk(P215) + tk(P288) + tk(P554) + tk(P570)) <= (tk(P388)) ),potential( (tk(P28) + tk(P33) + tk(P64) + tk(P88) + tk(P123) + tk(P151) + tk(P165) + tk(P167) + tk(P177) + tk(P261) + tk(P270) + tk(P291) + tk(P327) + tk(P330) + tk(P341) + tk(P387) + tk(P391) + tk(P409) + tk(P469) + tk(P518) + tk(P537) + tk(P590) + tk(P604) + tk(P612)) <= (tk(P57) + tk(P200) + tk(P333) + tk(P393) + tk(P481) + tk(P568)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-03 (! (AG( ( potential( (tk(P37) + tk(P193) + tk(P231) + tk(P371) + tk(P452) + tk(P553)) <= (tk(P30) + tk(P138) + tk(P266) + tk(P332) + tk(P359) + tk(P609)) ) | potential( ( 3 ) <= (tk(P456)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-04 (! (EG( ( (! potential( ( 3 ) <= (tk(P16) + tk(P29) + tk(P87) + tk(P96) + tk(P102) + tk(P112) + tk(P129) + tk(P169) + tk(P172) + tk(P206) + tk(P275) + tk(P276) + tk(P279) + tk(P294) + tk(P310) + tk(P328) + tk(P354) + tk(P360) + tk(P368) + tk(P403) + tk(P430) + tk(P455) + tk(P480) + tk(P485) + tk(P542) + tk(P550) + tk(P576) + tk(P596)) )) | potential( ( 2 ) <= (tk(P59) + tk(P373) + tk(P435) + tk(P508) + tk(P533) + tk(P615)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-05 ( (! (AG( (! potential( (tk(P70) + tk(P137) + tk(P201) + tk(P329) + tk(P425) + tk(P571)) <= (tk(P108) + tk(P292) + tk(P356) + tk(P506)) ))))) & ( (EF(( potential( ( 3 ) <= (tk(P57) + tk(P200) + tk(P333) + tk(P393) + tk(P481) + tk(P568)) ) | potential( (tk(P456)) <= (tk(P80) + tk(P91) + tk(P311) + tk(P366) + tk(P470) + tk(P556)) ) ))) & ( (! ( potential( ( 3 ) <= (tk(P20) + tk(P194) + tk(P234) + tk(P326) + tk(P386) + tk(P432)) ) | potential( ( 1 ) <= (tk(P83) + tk(P213) + tk(P230) + tk(P244) + tk(P280) + tk(P317)) ) )) & ( ( potential( (tk(P63) + tk(P248) + tk(P322) + tk(P347) + tk(P448) + tk(P512) + tk(P617)) <= (tk(P69) + tk(P147) + tk(P215) + tk(P288) + tk(P554) + tk(P570)) ) | potential( (tk(P303)) <= (tk(P303)) ) ) & (! potential( ( 2 ) <= (tk(P65) + tk(P121) + tk(P233) + tk(P309) + tk(P447) + tk(P584)) )) ) ) ) )
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-06 (! (EG( ( ( potential( ( 2 ) <= (tk(P104)) ) & potential( ( 1 ) <= (tk(P1) + tk(P101) + tk(P405) + tk(P449) + tk(P531) + tk(P549)) ) ) | ( potential( ( 3 ) <= (tk(P575)) ) | potential( (tk(P80) + tk(P91) + tk(P311) + tk(P366) + tk(P470) + tk(P556)) <= (tk(P117) + tk(P176) + tk(P282) + tk(P346) + tk(P545) + tk(P563)) ) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-07 ( (AX( potential( (tk(P5) + tk(P11) + tk(P19) + tk(P25) + tk(P39) + tk(P97) + tk(P105) + tk(P107) + tk(P116) + tk(P168) + tk(P196) + tk(P203) + tk(P209) + tk(P225) + tk(P226) + tk(P251) + tk(P254) + tk(P269) + tk(P293) + tk(P349) + tk(P355) + tk(P363) + tk(P381) + tk(P383) + tk(P413) + tk(P422) + tk(P433) + tk(P438) + tk(P450) + tk(P458) + tk(P459) + tk(P466) + tk(P477) + tk(P483) + tk(P526) + tk(P543) + tk(P559) + tk(P565) + tk(P567) + tk(P579) + tk(P605) + tk(P613)) <= (tk(P82) + tk(P136) + tk(P164) + tk(P268) + tk(P398) + tk(P423) + tk(P524)) ))) & (AF((EG( potential( (tk(P104)) <= (tk(P272)) ))))) )
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-08 (! (EG( (AF(potential( ( 3 ) <= (tk(P312)) ))))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-09 (EG( (AU( potential( ( 2 ) <= (tk(P547)) ),potential( (tk(P284)) <= (tk(P114)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-10 (EG( ( potential( (tk(P172)) <= (tk(P311)) ) | ( (! potential( ( 2 ) <= (tk(P615)) )) | ( potential( (tk(P105)) <= (tk(P532)) ) & potential( ( 1 ) <= (tk(P23)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-11 (AF(( (AX( potential( ( 3 ) <= (tk(P531)) ))) & ( (! potential( (tk(P113)) <= (tk(P330)) )) | ( potential( ( 3 ) <= (tk(P193)) ) & potential( ( 3 ) <= (tk(P270)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-12 ( (EX( ( potential( (tk(P105)) <= (tk(P548)) ) | ( potential( (tk(P203)) <= (tk(P318)) ) & potential( (tk(P343)) <= (tk(P46)) ) ) ))) & ( (! potential( (tk(P602)) <= (tk(P306)) )) | ( (EF(potential( (tk(P6)) <= (tk(P42)) ))) | (EX( potential( ( 2 ) <= (tk(P155)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-13 (EF(( (AG( potential( (tk(P560)) <= (tk(P155)) ))) | potential( ( 3 ) <= (tk(P613)) ) )))
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-14 ( ( potential( ( 3 ) <= (tk(P86)) ) | (EF((! potential( (tk(P244)) <= (tk(P431)) )))) ) & (AU( ( potential( ( 3 ) <= (tk(P182)) ) | potential( ( 1 ) <= (tk(P63)) ) ),( potential( ( 2 ) <= (tk(P476)) ) | potential( (tk(P560)) <= (tk(P601)) ) ) )) )
PROPERTY: PolyORBLF-PT-S04J06T06-CTLCardinality-15 (EG( ( (AG( potential( ( 3 ) <= (tk(P219)) ))) | ( potential( (tk(P495)) <= (tk(P529)) ) & potential( (tk(P393)) <= (tk(P438)) ) ) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S04J06T06"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S04J06T06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354800483"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J06T06.tgz
mv PolyORBLF-PT-S04J06T06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;