Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.4K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 15:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 15:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 83K 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 1678374738929

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

Filename model.pnml
Petri model created: 274 places, 231 transitions, 1116 arcs.
AT ITER 0 NEW BEST:: SOT 53145 SOS 49047 HAS SOPS 49047 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27020.047
AT ITER 2 NEW BEST:: SOT 52927 SOS 48932 HAS SOPS 48932 HAS SOUS 26845 HAS SOUPS 26845 WITH SCORE 26893.932
AT ITER 18 NEW BEST:: SOT 52794 SOS 48800 HAS SOPS 48800 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26761.8
AT ITER 20 NEW BEST:: SOT 52787 SOS 48793 HAS SOPS 48793 HAS SOUS 26706 HAS SOUPS 26706 WITH SCORE 26754.793
AT ITER 21 NEW BEST:: SOT 52787 SOS 48794 HAS SOPS 48794 HAS SOUS 26701 HAS SOUPS 26701 WITH SCORE 26749.794
AT ITER 26 NEW BEST:: SOT 52381 SOS 48388 HAS SOPS 48388 HAS SOUS 26699 HAS SOUPS 26699 WITH SCORE 26747.388
AT ITER 41 NEW BEST:: SOT 52383 SOS 48390 HAS SOPS 48390 HAS SOUS 26605 HAS SOUPS 26605 WITH SCORE 26653.39
AT ITER 43 NEW BEST:: SOT 52383 SOS 48207 HAS SOPS 48207 HAS SOUS 26604 HAS SOUPS 26604 WITH SCORE 26652.207
AT ITER 51 NEW BEST:: SOT 52253 SOS 48111 HAS SOPS 48111 HAS SOUS 26497 HAS SOUPS 26497 WITH SCORE 26545.111
AT ITER 105 NEW BEST:: SOT 52253 SOS 48111 HAS SOPS 48111 HAS SOUS 26496 HAS SOUPS 26496 WITH SCORE 26544.111
AT ITER 108 NEW BEST:: SOT 52229 SOS 48087 HAS SOPS 48087 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26520.087
AT ITER 110 NEW BEST:: SOT 51944 SOS 47848 HAS SOPS 47848 HAS SOUS 26387 HAS SOUPS 26387 WITH SCORE 26434.848
AT ITER 114 NEW BEST:: SOT 51936 SOS 47738 HAS SOPS 47738 HAS SOUS 26383 HAS SOUPS 26383 WITH SCORE 26430.738
AT ITER 117 NEW BEST:: SOT 51870 SOS 47704 HAS SOPS 47704 HAS SOUS 26349 HAS SOUPS 26349 WITH SCORE 26396.704
AT ITER 130 NEW BEST:: SOT 51804 SOS 47638 HAS SOPS 47638 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26350.638
AT ITER 133 NEW BEST:: SOT 51804 SOS 47638 HAS SOPS 47638 HAS SOUS 26302 HAS SOUPS 26302 WITH SCORE 26349.638
AT ITER 138 NEW BEST:: SOT 51801 SOS 47635 HAS SOPS 47635 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26345.635
AT ITER 154 NEW BEST:: SOT 51605 SOS 47439 HAS SOPS 47439 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26148.439
AT ITER 157 NEW BEST:: SOT 51364 SOS 47276 HAS SOPS 47276 HAS SOUS 25901 HAS SOUPS 25901 WITH SCORE 25948.276
AT ITER 160 NEW BEST:: SOT 51178 SOS 47098 HAS SOPS 47098 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25768.098
AT ITER 178 NEW BEST:: SOT 45728 SOS 41892 HAS SOPS 41892 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20393.892
AT ITER 182 NEW BEST:: SOT 45773 SOS 41712 HAS SOPS 41712 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20352.712
AT ITER 185 NEW BEST:: SOT 45763 SOS 41702 HAS SOPS 41702 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20242.702
AT ITER 188 NEW BEST:: SOT 45761 SOS 41699 HAS SOPS 41699 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20239.699
AT ITER 189 NEW BEST:: SOT 45667 SOS 38112 HAS SOPS 38112 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20051.112
AT ITER 190 NEW BEST:: SOT 45646 SOS 38069 HAS SOPS 38069 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20029.069
AT ITER 203 NEW BEST:: SOT 45645 SOS 38068 HAS SOPS 38068 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20027.068
AT ITER 211 NEW BEST:: SOT 45617 SOS 38040 HAS SOPS 38040 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19998.04
AT ITER 214 NEW BEST:: SOT 44215 SOS 36638 HAS SOPS 36638 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18593.638
AT ITER 229 NEW BEST:: SOT 43890 SOS 36313 HAS SOPS 36313 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18164.313
AT ITER 236 NEW BEST:: SOT 43890 SOS 36313 HAS SOPS 36313 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18163.313
AT ITER 243 NEW BEST:: SOT 43890 SOS 36312 HAS SOPS 36312 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18162.312
AT ITER 278 NEW BEST:: SOT 43881 SOS 36303 HAS SOPS 36303 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 18014.303
AT ITER 279 NEW BEST:: SOT 43802 SOS 36224 HAS SOPS 36224 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17935.224
AT ITER 330 NEW BEST:: SOT 43725 SOS 36144 HAS SOPS 36144 HAS SOUS 17831 HAS SOUPS 17831 WITH SCORE 17867.144
AT ITER 332 NEW BEST:: SOT 43479 SOS 35898 HAS SOPS 35898 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17832.898
AT ITER 339 NEW BEST:: SOT 43387 SOS 35796 HAS SOPS 35796 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17730.796
AT ITER 340 NEW BEST:: SOT 43375 SOS 35784 HAS SOPS 35784 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17706.784
AT ITER 343 NEW BEST:: SOT 43368 SOS 35777 HAS SOPS 35777 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17703.777
AT ITER 348 NEW BEST:: SOT 43202 SOS 35580 HAS SOPS 35580 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17492.58
AT ITER 351 NEW BEST:: SOT 41298 SOS 33676 HAS SOPS 33676 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15586.676
AT ITER 362 NEW BEST:: SOT 41297 SOS 33675 HAS SOPS 33675 HAS SOUS 15551 HAS SOUPS 15551 WITH SCORE 15584.675
AT ITER 367 NEW BEST:: SOT 41208 SOS 33626 HAS SOPS 33626 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15535.626
AT ITER 380 NEW BEST:: SOT 40698 SOS 33114 HAS SOPS 33114 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15431.114
AT ITER 384 NEW BEST:: SOT 40707 SOS 33123 HAS SOPS 33123 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15421.123
AT ITER 386 NEW BEST:: SOT 40691 SOS 33107 HAS SOPS 33107 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15405.107
AT ITER 410 NEW BEST:: SOT 40651 SOS 33067 HAS SOPS 33067 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15383.067
AT ITER 413 NEW BEST:: SOT 40521 SOS 32839 HAS SOPS 32839 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15281.839
AT ITER 426 NEW BEST:: SOT 40520 SOS 32760 HAS SOPS 32760 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15279.76
AT ITER 434 NEW BEST:: SOT 40519 SOS 32759 HAS SOPS 32759 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15277.759
AT ITER 439 NEW BEST:: SOT 40495 SOS 32735 HAS SOPS 32735 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15253.735
AT ITER 444 NEW BEST:: SOT 40353 SOS 32502 HAS SOPS 32502 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15020.502
AT ITER 446 NEW BEST:: SOT 40353 SOS 32497 HAS SOPS 32497 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15015.497
AT ITER 483 NEW BEST:: SOT 40353 SOS 32505 HAS SOPS 32505 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 15006.505
AT ITER 488 NEW BEST:: SOT 40380 SOS 32532 HAS SOPS 32532 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14955.532
AT ITER 495 NEW BEST:: SOT 40321 SOS 32473 HAS SOPS 32473 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14825.473
AT ITER 500 NEW BEST:: SOT 40321 SOS 32462 HAS SOPS 32462 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14814.462
AT ITER 511 NEW BEST:: SOT 40276 SOS 32417 HAS SOPS 32417 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14814.417
AT ITER 514 NEW BEST:: SOT 40272 SOS 32413 HAS SOPS 32413 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14809.413
AT ITER 516 NEW BEST:: SOT 40092 SOS 32233 HAS SOPS 32233 HAS SOUS 14597 HAS SOUPS 14597 WITH SCORE 14629.233
AT ITER 542 NEW BEST:: SOT 38414 SOS 31041 HAS SOPS 31041 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12956.041
AT ITER 550 NEW BEST:: SOT 38413 SOS 31039 HAS SOPS 31039 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12954.039
AT ITER 552 NEW BEST:: SOT 38402 SOS 31037 HAS SOPS 31037 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12952.037
AT ITER 557 NEW BEST:: SOT 38401 SOS 31036 HAS SOPS 31036 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12950.036
AT ITER 574 NEW BEST:: SOT 38399 SOS 31034 HAS SOPS 31034 HAS SOUS 12915 HAS SOUPS 12915 WITH SCORE 12946.034
AT ITER 585 NEW BEST:: SOT 38389 SOS 31024 HAS SOPS 31024 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12926.024
AT ITER 587 NEW BEST:: SOT 38313 SOS 30948 HAS SOPS 30948 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12834.948
AT ITER 597 NEW BEST:: SOT 38267 SOS 30860 HAS SOPS 30860 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12784.86
AT ITER 601 NEW BEST:: SOT 38265 SOS 30858 HAS SOPS 30858 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12782.858
AT ITER 612 NEW BEST:: SOT 38254 SOS 30837 HAS SOPS 30837 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12761.837
AT ITER 623 NEW BEST:: SOT 38213 SOS 30796 HAS SOPS 30796 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12742.796
AT ITER 625 NEW BEST:: SOT 38241 SOS 30894 HAS SOPS 30894 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12657.894
AT ITER 629 NEW BEST:: SOT 38240 SOS 30893 HAS SOPS 30893 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12655.893
AT ITER 641 NEW BEST:: SOT 38191 SOS 30844 HAS SOPS 30844 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12655.844
AT ITER 642 NEW BEST:: SOT 38182 SOS 30835 HAS SOPS 30835 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12637.835
AT ITER 645 NEW BEST:: SOT 38180 SOS 30756 HAS SOPS 30756 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12614.756
AT ITER 646 NEW BEST:: SOT 38080 SOS 30562 HAS SOPS 30562 HAS SOUS 12468 HAS SOUPS 12468 WITH SCORE 12498.562
AT ITER 649 NEW BEST:: SOT 38049 SOS 30531 HAS SOPS 30531 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12444.531
AT ITER 660 NEW BEST:: SOT 38046 SOS 30344 HAS SOPS 30344 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12434.344
AT ITER 661 NEW BEST:: SOT 38045 SOS 30343 HAS SOPS 30343 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12433.343
AT ITER 686 NEW BEST:: SOT 37814 SOS 31572 HAS SOPS 31572 HAS SOUS 12236 HAS SOUPS 12236 WITH SCORE 12267.572
AT ITER 697 NEW BEST:: SOT 37588 SOS 31346 HAS SOPS 31346 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12199.346
AT ITER 705 NEW BEST:: SOT 37522 SOS 31345 HAS SOPS 31345 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12198.345
AT ITER 725 NEW BEST:: SOT 37521 SOS 31344 HAS SOPS 31344 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12196.344
AT ITER 731 NEW BEST:: SOT 37520 SOS 31343 HAS SOPS 31343 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12195.343
AT ITER 735 NEW BEST:: SOT 37519 SOS 31342 HAS SOPS 31342 HAS SOUS 12162 HAS SOUPS 12162 WITH SCORE 12193.342
AT ITER 739 NEW BEST:: SOT 37366 SOS 31189 HAS SOPS 31189 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11866.189
AT ITER 746 NEW BEST:: SOT 37342 SOS 31165 HAS SOPS 31165 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11836.165
AT ITER 750 NEW BEST:: SOT 37526 SOS 31349 HAS SOPS 31349 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11806.349
AT ITER 761 NEW BEST:: SOT 37524 SOS 31347 HAS SOPS 31347 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11802.347
AT ITER 762 NEW BEST:: SOT 37514 SOS 31334 HAS SOPS 31334 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11789.334
AT ITER 775 NEW BEST:: SOT 37443 SOS 31254 HAS SOPS 31254 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11670.254
AT ITER 776 NEW BEST:: SOT 37443 SOS 31250 HAS SOPS 31250 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11666.25
AT ITER 782 NEW BEST:: SOT 37430 SOS 31254 HAS SOPS 31254 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11634.254
AT ITER 792 NEW BEST:: SOT 37365 SOS 31163 HAS SOPS 31163 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11465.163
AT ITER 801 NEW BEST:: SOT 37234 SOS 31032 HAS SOPS 31032 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11332.032
AT ITER 804 NEW BEST:: SOT 37233 SOS 31031 HAS SOPS 31031 HAS SOUS 11299 HAS SOUPS 11299 WITH SCORE 11330.031
AT ITER 827 NEW BEST:: SOT 37205 SOS 30989 HAS SOPS 30989 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11255.989
AT ITER 829 NEW BEST:: SOT 37217 SOS 31001 HAS SOPS 31001 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11252.001
AT ITER 845 NEW BEST:: SOT 37171 SOS 30955 HAS SOPS 30955 HAS SOUS 11175 HAS SOUPS 11175 WITH SCORE 11205.955
AT ITER 849 NEW BEST:: SOT 37171 SOS 30938 HAS SOPS 30938 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11169.938
AT ITER 874 NEW BEST:: SOT 37171 SOS 30932 HAS SOPS 30932 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11163.932
AT ITER 890 NEW BEST:: SOT 37136 SOS 30895 HAS SOPS 30895 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11162.895
AT ITER 898 NEW BEST:: SOT 37072 SOS 29650 HAS SOPS 29650 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11075.65
AT ITER 915 NEW BEST:: SOT 37066 SOS 29644 HAS SOPS 29644 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11069.644
AT ITER 931 NEW BEST:: SOT 36986 SOS 29564 HAS SOPS 29564 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10989.564
AT ITER 943 NEW BEST:: SOT 36982 SOS 29560 HAS SOPS 29560 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10985.56
AT ITER 971 NEW BEST:: SOT 36922 SOS 29500 HAS SOPS 29500 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10865.5
AT ITER 993 NEW BEST:: SOT 36921 SOS 29499 HAS SOPS 29499 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10863.499
AT ITER 1032 NEW BEST:: SOT 36708 SOS 29334 HAS SOPS 29334 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10648.334
AT ITER 1083 NEW BEST:: SOT 36708 SOS 29358 HAS SOPS 29358 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10647.358
AT ITER 1085 NEW BEST:: SOT 36707 SOS 29299 HAS SOPS 29299 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10645.299
AT ITER 1104 NEW BEST:: SOT 36703 SOS 29295 HAS SOPS 29295 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10645.295
AT ITER 1116 NEW BEST:: SOT 36613 SOS 29205 HAS SOPS 29205 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10465.205
AT ITER 1130 NEW BEST:: SOT 36614 SOS 29201 HAS SOPS 29201 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10461.201
AT ITER 1138 NEW BEST:: SOT 36591 SOS 29178 HAS SOPS 29178 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10438.178
AT ITER 1142 NEW BEST:: SOT 36588 SOS 29175 HAS SOPS 29175 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10436.175
AT ITER 1172 NEW BEST:: SOT 36586 SOS 29173 HAS SOPS 29173 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10432.173
AT ITER 1186 NEW BEST:: SOT 36560 SOS 29080 HAS SOPS 29080 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10432.08
AT ITER 1209 NEW BEST:: SOT 36362 SOS 28882 HAS SOPS 28882 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10403.882
AT ITER 1223 NEW BEST:: SOT 36356 SOS 28876 HAS SOPS 28876 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10395.876
AT ITER 1226 NEW BEST:: SOT 36342 SOS 28862 HAS SOPS 28862 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10381.862
AT ITER 1253 NEW BEST:: SOT 36342 SOS 28842 HAS SOPS 28842 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10380.842
AT ITER 1262 NEW BEST:: SOT 36341 SOS 28841 HAS SOPS 28841 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10379.841
AT ITER 1284 NEW BEST:: SOT 36300 SOS 28800 HAS SOPS 28800 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10297.8
AT ITER 1337 NEW BEST:: SOT 36293 SOS 28792 HAS SOPS 28792 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10289.792
AT ITER 1339 NEW BEST:: SOT 36292 SOS 28790 HAS SOPS 28790 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10287.79
AT ITER 1340 NEW BEST:: SOT 36254 SOS 28733 HAS SOPS 28733 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10230.733
AT ITER 1344 NEW BEST:: SOT 36251 SOS 28730 HAS SOPS 28730 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10101.73
AT ITER 1360 NEW BEST:: SOT 36243 SOS 28710 HAS SOPS 28710 HAS SOUS 10053 HAS SOUPS 10053 WITH SCORE 10081.71
AT ITER 1399 NEW BEST:: SOT 36241 SOS 28708 HAS SOPS 28708 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10079.708
AT ITER 1409 NEW BEST:: SOT 36197 SOS 28664 HAS SOPS 28664 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10069.664
AT ITER 1424 NEW BEST:: SOT 36181 SOS 28651 HAS SOPS 28651 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10056.651
AT ITER 1434 NEW BEST:: SOT 36174 SOS 28644 HAS SOPS 28644 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10056.644
AT ITER 1436 NEW BEST:: SOT 36138 SOS 28608 HAS SOPS 28608 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10056.608
AT ITER 1444 NEW BEST:: SOT 36129 SOS 28599 HAS SOPS 28599 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10047.599
AT ITER 1452 NEW BEST:: SOT 36080 SOS 28550 HAS SOPS 28550 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10018.55
AT ITER 1470 NEW BEST:: SOT 36046 SOS 28516 HAS SOPS 28516 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9984.516
AT ITER 1483 NEW BEST:: SOT 36059 SOS 28467 HAS SOPS 28467 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9885.467
AT ITER 1485 NEW BEST:: SOT 36059 SOS 28461 HAS SOPS 28461 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9885.461
AT ITER 1512 NEW BEST:: SOT 36044 SOS 28435 HAS SOPS 28435 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9866.435
AT ITER 1522 NEW BEST:: SOT 36046 SOS 28425 HAS SOPS 28425 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9856.425
AT ITER 1530 NEW BEST:: SOT 36046 SOS 28413 HAS SOPS 28413 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9844.413
AT ITER 1578 NEW BEST:: SOT 36046 SOS 28411 HAS SOPS 28411 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9842.411
AT ITER 1604 NEW BEST:: SOT 36028 SOS 28375 HAS SOPS 28375 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9806.375
AT ITER 1614 NEW BEST:: SOT 36017 SOS 28507 HAS SOPS 28507 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9800.507
AT ITER 1615 NEW BEST:: SOT 36008 SOS 27032 HAS SOPS 27032 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9737.032
AT ITER 1638 NEW BEST:: SOT 36008 SOS 27032 HAS SOPS 27032 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9735.032
AT ITER 1653 NEW BEST:: SOT 36008 SOS 27032 HAS SOPS 27032 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9730.032
AT ITER 1655 NEW BEST:: SOT 36021 SOS 27019 HAS SOPS 27019 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9730.019
AT ITER 1674 NEW BEST:: SOT 35472 SOS 26353 HAS SOPS 26353 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9698.353
AT ITER 1680 NEW BEST:: SOT 35462 SOS 26333 HAS SOPS 26333 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9688.333
AT ITER 1694 NEW BEST:: SOT 35462 SOS 26338 HAS SOPS 26338 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9680.338
AT ITER 1716 NEW BEST:: SOT 35462 SOS 26337 HAS SOPS 26337 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9679.337
AT ITER 1742 NEW BEST:: SOT 35462 SOS 26249 HAS SOPS 26249 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9591.249
AT ITER 1747 NEW BEST:: SOT 35416 SOS 26250 HAS SOPS 26250 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9518.25
AT ITER 1761 NEW BEST:: SOT 35382 SOS 26216 HAS SOPS 26216 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9469.216
AT ITER 1774 NEW BEST:: SOT 35382 SOS 26199 HAS SOPS 26199 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9452.199
AT ITER 1789 NEW BEST:: SOT 35386 SOS 26257 HAS SOPS 26257 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9406.257
AT ITER 1793 NEW BEST:: SOT 35306 SOS 26425 HAS SOPS 26425 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9308.425
AT ITER 1803 NEW BEST:: SOT 35241 SOS 26360 HAS SOPS 26360 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9174.36
AT ITER 1833 NEW BEST:: SOT 35219 SOS 26338 HAS SOPS 26338 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9130.338
AT ITER 1847 NEW BEST:: SOT 35219 SOS 26338 HAS SOPS 26338 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9129.338
AT ITER 1853 NEW BEST:: SOT 35178 SOS 26267 HAS SOPS 26267 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9058.267
AT ITER 1884 NEW BEST:: SOT 35192 SOS 26265 HAS SOPS 26265 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9056.265
AT ITER 1944 NEW BEST:: SOT 35206 SOS 26279 HAS SOPS 26279 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9031.279
AT ITER 1984 NEW BEST:: SOT 35205 SOS 26278 HAS SOPS 26278 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9029.278
AT ITER 1995 NEW BEST:: SOT 35200 SOS 26273 HAS SOPS 26273 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9014.273
AT ITER 2012 NEW BEST:: SOT 35194 SOS 26261 HAS SOPS 26261 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 9008.261
AT ITER 2035 NEW BEST:: SOT 35191 SOS 26250 HAS SOPS 26250 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8997.25
AT ITER 2039 NEW BEST:: SOT 35186 SOS 26245 HAS SOPS 26245 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8992.245
AT ITER 2052 NEW BEST:: SOT 35185 SOS 26244 HAS SOPS 26244 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8964.244
AT ITER 2060 NEW BEST:: SOT 35212 SOS 26283 HAS SOPS 26283 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8932.283
AT ITER 2062 NEW BEST:: SOT 35269 SOS 26340 HAS SOPS 26340 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8912.34
AT ITER 2065 NEW BEST:: SOT 35244 SOS 26320 HAS SOPS 26320 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8895.32
AT ITER 2082 NEW BEST:: SOT 35241 SOS 26233 HAS SOPS 26233 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8864.233
AT ITER 2084 NEW BEST:: SOT 35170 SOS 26162 HAS SOPS 26162 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8850.162
AT ITER 2089 NEW BEST:: SOT 35166 SOS 26143 HAS SOPS 26143 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8831.143
AT ITER 2104 NEW BEST:: SOT 35143 SOS 26120 HAS SOPS 26120 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8801.12
AT ITER 2111 NEW BEST:: SOT 35135 SOS 26108 HAS SOPS 26108 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8789.108
AT ITER 2153 NEW BEST:: SOT 35137 SOS 26099 HAS SOPS 26099 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8780.099
AT ITER 2158 NEW BEST:: SOT 35136 SOS 26098 HAS SOPS 26098 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8778.098
AT ITER 2184 NEW BEST:: SOT 35133 SOS 26095 HAS SOPS 26095 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8772.095
AT ITER 2243 NEW BEST:: SOT 35101 SOS 26063 HAS SOPS 26063 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8729.063
AT ITER 2260 NEW BEST:: SOT 35094 SOS 26056 HAS SOPS 26056 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8729.056
AT ITER 2273 NEW BEST:: SOT 35091 SOS 26053 HAS SOPS 26053 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8720.053
AT ITER 2279 NEW BEST:: SOT 34974 SOS 25850 HAS SOPS 25850 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8571.85
AT ITER 2282 NEW BEST:: SOT 34914 SOS 25801 HAS SOPS 25801 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8522.801
AT ITER 2296 NEW BEST:: SOT 34900 SOS 25787 HAS SOPS 25787 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8494.787
AT ITER 2309 NEW BEST:: SOT 34885 SOS 25772 HAS SOPS 25772 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8479.772
AT ITER 2343 NEW BEST:: SOT 34881 SOS 25768 HAS SOPS 25768 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8465.768
AT ITER 2382 NEW BEST:: SOT 34863 SOS 25750 HAS SOPS 25750 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8448.75
AT ITER 2399 NEW BEST:: SOT 34825 SOS 25712 HAS SOPS 25712 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8429.712
AT ITER 2405 NEW BEST:: SOT 34824 SOS 25720 HAS SOPS 25720 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8428.72
AT ITER 2408 NEW BEST:: SOT 34843 SOS 25831 HAS SOPS 25831 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8427.831
AT ITER 2432 NEW BEST:: SOT 34835 SOS 25823 HAS SOPS 25823 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8427.823
AT ITER 2436 NEW BEST:: SOT 34832 SOS 25820 HAS SOPS 25820 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8421.82
AT ITER 2445 NEW BEST:: SOT 34833 SOS 25821 HAS SOPS 25821 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8411.821
AT ITER 2467 NEW BEST:: SOT 34830 SOS 25818 HAS SOPS 25818 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8408.818
AT ITER 2481 NEW BEST:: SOT 34830 SOS 25818 HAS SOPS 25818 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8402.818
AT ITER 2552 NEW BEST:: SOT 34819 SOS 25807 HAS SOPS 25807 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8394.807
AT ITER 2553 NEW BEST:: SOT 34812 SOS 25794 HAS SOPS 25794 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8381.794
AT ITER 2580 NEW BEST:: SOT 34812 SOS 25790 HAS SOPS 25790 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8377.79
AT ITER 2636 NEW BEST:: SOT 34801 SOS 25746 HAS SOPS 25746 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8366.746
AT ITER 2637 NEW BEST:: SOT 34760 SOS 25705 HAS SOPS 25705 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8366.705
AT ITER 2644 NEW BEST:: SOT 34698 SOS 25603 HAS SOPS 25603 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8251.603
AT ITER 2674 NEW BEST:: SOT 34720 SOS 25589 HAS SOPS 25589 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8249.589
AT ITER 2683 NEW BEST:: SOT 34717 SOS 25583 HAS SOPS 25583 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8246.583
AT ITER 2705 NEW BEST:: SOT 34702 SOS 25568 HAS SOPS 25568 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8231.568
AT ITER 2773 NEW BEST:: SOT 34701 SOS 25567 HAS SOPS 25567 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8229.567
AT ITER 2786 NEW BEST:: SOT 34701 SOS 25593 HAS SOPS 25593 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8214.593
AT ITER 2800 NEW BEST:: SOT 34670 SOS 25562 HAS SOPS 25562 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8201.562
AT ITER 2804 NEW BEST:: SOT 34669 SOS 25561 HAS SOPS 25561 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8201.561
AT ITER 2814 NEW BEST:: SOT 34651 SOS 25524 HAS SOPS 25524 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8182.524
AT ITER 2836 NEW BEST:: SOT 34621 SOS 27829 HAS SOPS 27829 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8164.829
AT ITER 2853 NEW BEST:: SOT 34620 SOS 27828 HAS SOPS 27828 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8162.828
AT ITER 2855 NEW BEST:: SOT 34578 SOS 27826 HAS SOPS 27826 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8144.826
AT ITER 2869 NEW BEST:: SOT 34568 SOS 27816 HAS SOPS 27816 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8144.816
AT ITER 2902 NEW BEST:: SOT 34567 SOS 27815 HAS SOPS 27815 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8142.815
AT ITER 2912 NEW BEST:: SOT 34583 SOS 27831 HAS SOPS 27831 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8141.831
AT ITER 2918 NEW BEST:: SOT 34581 SOS 27829 HAS SOPS 27829 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8139.829
AT ITER 2957 NEW BEST:: SOT 34581 SOS 27873 HAS SOPS 27873 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8130.873
AT ITER 2963 NEW BEST:: SOT 34518 SOS 27770 HAS SOPS 27770 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8027.77
AT ITER 2970 NEW BEST:: SOT 34513 SOS 27765 HAS SOPS 27765 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8018.765
AT ITER 2980 NEW BEST:: SOT 34513 SOS 27759 HAS SOPS 27759 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 8015.759
AT ITER 2994 NEW BEST:: SOT 34414 SOS 27691 HAS SOPS 27691 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7972.691
AT ITER 3002 NEW BEST:: SOT 34396 SOS 27673 HAS SOPS 27673 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7958.673
AT ITER 3006 NEW BEST:: SOT 34396 SOS 27663 HAS SOPS 27663 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7948.663
AT ITER 3040 NEW BEST:: SOT 34417 SOS 27762 HAS SOPS 27762 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7912.762
AT ITER 3059 NEW BEST:: SOT 34303 SOS 27648 HAS SOPS 27648 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7837.648
AT ITER 3071 NEW BEST:: SOT 34293 SOS 27610 HAS SOPS 27610 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7829.61
AT ITER 3099 NEW BEST:: SOT 34280 SOS 27597 HAS SOPS 27597 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7803.597
AT ITER 3125 NEW BEST:: SOT 34264 SOS 27581 HAS SOPS 27581 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7771.581
AT ITER 3130 NEW BEST:: SOT 34273 SOS 27590 HAS SOPS 27590 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7767.59
AT ITER 3163 NEW BEST:: SOT 34269 SOS 27586 HAS SOPS 27586 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7763.586
AT ITER 3167 NEW BEST:: SOT 34273 SOS 27590 HAS SOPS 27590 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7739.59
AT ITER 3239 NEW BEST:: SOT 34257 SOS 27574 HAS SOPS 27574 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7727.574
AT ITER 3250 NEW BEST:: SOT 34248 SOS 27565 HAS SOPS 27565 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7709.565
AT ITER 3255 NEW BEST:: SOT 34248 SOS 27558 HAS SOPS 27558 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7702.558
AT ITER 3293 NEW BEST:: SOT 34248 SOS 27441 HAS SOPS 27441 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7699.441
AT ITER 3299 NEW BEST:: SOT 34246 SOS 27439 HAS SOPS 27439 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7697.439
AT ITER 3303 NEW BEST:: SOT 34223 SOS 27411 HAS SOPS 27411 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7695.411
AT ITER 3319 NEW BEST:: SOT 34207 SOS 27461 HAS SOPS 27461 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7676.461
AT ITER 3320 NEW BEST:: SOT 34202 SOS 27456 HAS SOPS 27456 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7676.456
AT ITER 3345 NEW BEST:: SOT 34192 SOS 27438 HAS SOPS 27438 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7670.438
AT ITER 3349 NEW BEST:: SOT 34200 SOS 27446 HAS SOPS 27446 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7638.446
AT ITER 3357 NEW BEST:: SOT 34142 SOS 27371 HAS SOPS 27371 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7563.371
AT ITER 3403 NEW BEST:: SOT 34141 SOS 27370 HAS SOPS 27370 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7561.37
AT ITER 3433 NEW BEST:: SOT 34117 SOS 27335 HAS SOPS 27335 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7526.335
AT ITER 3440 NEW BEST:: SOT 34117 SOS 27335 HAS SOPS 27335 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7508.335
AT ITER 3462 NEW BEST:: SOT 34108 SOS 27318 HAS SOPS 27318 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7500.318
AT ITER 3476 NEW BEST:: SOT 34106 SOS 27326 HAS SOPS 27326 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7493.326
AT ITER 3509 NEW BEST:: SOT 34106 SOS 27326 HAS SOPS 27326 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7488.326
AT ITER 3522 NEW BEST:: SOT 34103 SOS 27323 HAS SOPS 27323 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7482.323
AT ITER 3533 NEW BEST:: SOT 34101 SOS 27321 HAS SOPS 27321 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7480.321
AT ITER 3582 NEW BEST:: SOT 34098 SOS 27318 HAS SOPS 27318 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7474.318
AT ITER 3585 NEW BEST:: SOT 34095 SOS 27312 HAS SOPS 27312 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7468.312
AT ITER 3587 NEW BEST:: SOT 34075 SOS 27292 HAS SOPS 27292 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7428.292
AT ITER 3604 NEW BEST:: SOT 34039 SOS 27234 HAS SOPS 27234 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7406.234
AT ITER 3621 NEW BEST:: SOT 34039 SOS 27279 HAS SOPS 27279 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7405.279
AT ITER 3653 NEW BEST:: SOT 34039 SOS 27279 HAS SOPS 27279 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7389.279
AT ITER 3658 NEW BEST:: SOT 34038 SOS 27278 HAS SOPS 27278 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7387.278
AT ITER 3664 NEW BEST:: SOT 34034 SOS 27274 HAS SOPS 27274 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7379.274
AT ITER 3680 NEW BEST:: SOT 33992 SOS 27217 HAS SOPS 27217 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7346.217
AT ITER 3706 NEW BEST:: SOT 33988 SOS 27213 HAS SOPS 27213 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7338.213
AT ITER 3712 NEW BEST:: SOT 33988 SOS 27213 HAS SOPS 27213 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7335.213
AT ITER 3752 NEW BEST:: SOT 33969 SOS 27194 HAS SOPS 27194 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7303.194
AT ITER 3777 NEW BEST:: SOT 33965 SOS 27190 HAS SOPS 27190 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7295.19
AT ITER 3853 NEW BEST:: SOT 33976 SOS 27201 HAS SOPS 27201 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7294.201
AT ITER 3872 NEW BEST:: SOT 33970 SOS 27195 HAS SOPS 27195 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7282.195
AT ITER 3882 NEW BEST:: SOT 33957 SOS 27173 HAS SOPS 27173 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7260.173
AT ITER 3921 NEW BEST:: SOT 33955 SOS 27183 HAS SOPS 27183 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7253.183
AT ITER 3924 NEW BEST:: SOT 33951 SOS 27023 HAS SOPS 27023 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7250.023
AT ITER 3973 NEW BEST:: SOT 33933 SOS 27005 HAS SOPS 27005 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7214.005
AT ITER 3983 NEW BEST:: SOT 33907 SOS 26979 HAS SOPS 26979 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7106.979
AT ITER 4004 NEW BEST:: SOT 33904 SOS 26976 HAS SOPS 26976 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7104.976
AT ITER 4038 NEW BEST:: SOT 33888 SOS 26934 HAS SOPS 26934 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7072.934
AT ITER 4075 NEW BEST:: SOT 33887 SOS 26933 HAS SOPS 26933 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7070.933
AT ITER 4149 NEW BEST:: SOT 33881 SOS 26927 HAS SOPS 26927 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7058.927
AT ITER 4165 NEW BEST:: SOT 33874 SOS 26938 HAS SOPS 26938 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7034.938
AT ITER 4193 NEW BEST:: SOT 33874 SOS 26920 HAS SOPS 26920 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7028.92
AT ITER 4216 NEW BEST:: SOT 33874 SOS 26924 HAS SOPS 26924 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6993.924
AT ITER 4241 NEW BEST:: SOT 33874 SOS 26821 HAS SOPS 26821 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6989.821
AT ITER 4284 NEW BEST:: SOT 33870 SOS 26829 HAS SOPS 26829 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6985.829
AT ITER 4320 NEW BEST:: SOT 33870 SOS 26828 HAS SOPS 26828 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6984.828
AT ITER 4349 NEW BEST:: SOT 33924 SOS 26882 HAS SOPS 26882 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6982.882
AT ITER 4378 NEW BEST:: SOT 33913 SOS 26856 HAS SOPS 26856 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6979.856
AT ITER 4463 NEW BEST:: SOT 33912 SOS 26855 HAS SOPS 26855 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6977.855
AT ITER 4470 NEW BEST:: SOT 33896 SOS 26839 HAS SOPS 26839 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6973.839
AT ITER 4478 NEW BEST:: SOT 33876 SOS 26813 HAS SOPS 26813 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6953.813
AT ITER 4540 NEW BEST:: SOT 33840 SOS 26780 HAS SOPS 26780 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6929.78
AT ITER 4542 NEW BEST:: SOT 33828 SOS 26768 HAS SOPS 26768 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6917.768
AT ITER 4554 NEW BEST:: SOT 33807 SOS 26747 HAS SOPS 26747 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6903.747
AT ITER 4558 NEW BEST:: SOT 33836 SOS 26776 HAS SOPS 26776 HAS SOUS 6857 HAS SOUPS 6857 WITH SCORE 6883.776
AT ITER 4588 NEW BEST:: SOT 33788 SOS 26668 HAS SOPS 26668 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6846.668
AT ITER 4605 NEW BEST:: SOT 33787 SOS 26667 HAS SOPS 26667 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6844.667
AT ITER 4618 NEW BEST:: SOT 33767 SOS 26695 HAS SOPS 26695 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6807.695
AT ITER 4645 NEW BEST:: SOT 33766 SOS 26694 HAS SOPS 26694 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6805.694
AT ITER 4662 NEW BEST:: SOT 33743 SOS 26671 HAS SOPS 26671 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6759.671
AT ITER 4708 NEW BEST:: SOT 33786 SOS 26714 HAS SOPS 26714 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6755.714
AT ITER 4713 NEW BEST:: SOT 33783 SOS 26711 HAS SOPS 26711 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6752.711
AT ITER 4760 NEW BEST:: SOT 33785 SOS 26713 HAS SOPS 26713 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6747.713
AT ITER 4761 NEW BEST:: SOT 33804 SOS 26732 HAS SOPS 26732 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6743.732
AT ITER 4785 NEW BEST:: SOT 33803 SOS 26731 HAS SOPS 26731 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6740.731
AT ITER 4911 NEW BEST:: SOT 33809 SOS 26737 HAS SOPS 26737 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6737.737
AT ITER 4976 NEW BEST:: SOT 33866 SOS 26719 HAS SOPS 26719 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6731.719
AT ITER 4987 NEW BEST:: SOT 33864 SOS 26717 HAS SOPS 26717 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6727.717
AT ITER 4992 NEW BEST:: SOT 33855 SOS 26708 HAS SOPS 26708 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6709.708
AT ITER 4994 NEW BEST:: SOT 33854 SOS 26707 HAS SOPS 26707 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6707.707
AT ITER 4998 NEW BEST:: SOT 33854 SOS 26707 HAS SOPS 26707 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6684.707
AT ITER 5022 NEW BEST:: SOT 33853 SOS 26706 HAS SOPS 26706 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6684.706
AT ITER 5025 NEW BEST:: SOT 33860 SOS 26713 HAS SOPS 26713 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6678.713
AT ITER 5095 NEW BEST:: SOT 33854 SOS 26707 HAS SOPS 26707 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6672.707
AT ITER 5130 NEW BEST:: SOT 33853 SOS 26706 HAS SOPS 26706 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6670.706
AT ITER 5132 NEW BEST:: SOT 33800 SOS 26567 HAS SOPS 26567 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6650.567
AT ITER 5173 NEW BEST:: SOT 33794 SOS 26557 HAS SOPS 26557 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6640.557
AT ITER 5197 NEW BEST:: SOT 33794 SOS 26549 HAS SOPS 26549 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6633.549
AT ITER 5224 NEW BEST:: SOT 33789 SOS 26539 HAS SOPS 26539 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6628.539
AT ITER 5241 NEW BEST:: SOT 33770 SOS 26518 HAS SOPS 26518 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6618.518
AT ITER 5246 NEW BEST:: SOT 33767 SOS 26532 HAS SOPS 26532 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6614.532
AT ITER 5256 NEW BEST:: SOT 33751 SOS 26508 HAS SOPS 26508 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6590.508
AT ITER 5350 NEW BEST:: SOT 33741 SOS 26498 HAS SOPS 26498 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6585.498
AT ITER 5354 NEW BEST:: SOT 33708 SOS 26465 HAS SOPS 26465 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6574.465
AT ITER 5371 NEW BEST:: SOT 33703 SOS 26460 HAS SOPS 26460 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6564.46
AT ITER 5402 NEW BEST:: SOT 33639 SOS 26396 HAS SOPS 26396 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6499.396
AT ITER 5437 NEW BEST:: SOT 33639 SOS 26396 HAS SOPS 26396 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6489.396
AT ITER 5456 NEW BEST:: SOT 33635 SOS 26392 HAS SOPS 26392 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6481.392
AT ITER 5515 NEW BEST:: SOT 33635 SOS 27036 HAS SOPS 27036 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6414.036
AT ITER 5522 NEW BEST:: SOT 33635 SOS 27033 HAS SOPS 27033 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6411.033
AT ITER 5546 NEW BEST:: SOT 33631 SOS 27029 HAS SOPS 27029 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6407.029
AT ITER 5575 NEW BEST:: SOT 33671 SOS 27077 HAS SOPS 27077 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6403.077
AT ITER 5597 NEW BEST:: SOT 33673 SOS 27079 HAS SOPS 27079 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6402.079
AT ITER 5599 NEW BEST:: SOT 33673 SOS 27067 HAS SOPS 27067 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6390.067
AT ITER 5607 NEW BEST:: SOT 33651 SOS 27045 HAS SOPS 27045 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6346.045
AT ITER 5613 NEW BEST:: SOT 33645 SOS 27039 HAS SOPS 27039 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6346.039
AT ITER 5634 NEW BEST:: SOT 33641 SOS 27035 HAS SOPS 27035 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6338.035
AT ITER 5635 NEW BEST:: SOT 33646 SOS 27054 HAS SOPS 27054 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6334.054
AT ITER 5653 NEW BEST:: SOT 33646 SOS 27044 HAS SOPS 27044 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6334.044
AT ITER 5684 NEW BEST:: SOT 33576 SOS 26974 HAS SOPS 26974 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6333.974
AT ITER 5725 NEW BEST:: SOT 33575 SOS 26972 HAS SOPS 26972 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6331.972
AT ITER 5788 NEW BEST:: SOT 33553 SOS 26929 HAS SOPS 26929 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6310.929
AT ITER 5797 NEW BEST:: SOT 33552 SOS 26338 HAS SOPS 26338 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6305.338
AT ITER 5825 NEW BEST:: SOT 33551 SOS 26337 HAS SOPS 26337 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6303.337
AT ITER 5852 NEW BEST:: SOT 33551 SOS 26337 HAS SOPS 26337 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6298.337
AT ITER 5875 NEW BEST:: SOT 33549 SOS 26335 HAS SOPS 26335 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6298.335
AT ITER 5919 NEW BEST:: SOT 33547 SOS 26333 HAS SOPS 26333 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6296.333
AT ITER 5934 NEW BEST:: SOT 33533 SOS 26319 HAS SOPS 26319 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6282.319
AT ITER 5943 NEW BEST:: SOT 33533 SOS 26319 HAS SOPS 26319 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6279.319
AT ITER 5948 NEW BEST:: SOT 33514 SOS 26272 HAS SOPS 26272 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6269.272
AT ITER 5958 NEW BEST:: SOT 33509 SOS 26267 HAS SOPS 26267 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6259.267
AT ITER 6025 NEW BEST:: SOT 33503 SOS 26261 HAS SOPS 26261 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6253.261
AT ITER 6035 NEW BEST:: SOT 33495 SOS 26253 HAS SOPS 26253 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6237.253
AT ITER 6065 NEW BEST:: SOT 33494 SOS 26252 HAS SOPS 26252 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6235.252
AT ITER 6066 NEW BEST:: SOT 33489 SOS 26247 HAS SOPS 26247 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6233.247
AT ITER 6089 NEW BEST:: SOT 33496 SOS 26283 HAS SOPS 26283 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6221.283
AT ITER 6096 NEW BEST:: SOT 33492 SOS 26279 HAS SOPS 26279 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6213.279
AT ITER 6101 NEW BEST:: SOT 33485 SOS 26272 HAS SOPS 26272 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6204.272
AT ITER 6138 NEW BEST:: SOT 33480 SOS 26267 HAS SOPS 26267 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6194.267
AT ITER 6165 NEW BEST:: SOT 33502 SOS 26248 HAS SOPS 26248 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6193.248
AT ITER 6176 NEW BEST:: SOT 33502 SOS 26262 HAS SOPS 26262 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6186.262
AT ITER 6188 NEW BEST:: SOT 33485 SOS 26221 HAS SOPS 26221 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6157.221
AT ITER 6190 NEW BEST:: SOT 33502 SOS 26248 HAS SOPS 26248 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6129.248
AT ITER 6239 NEW BEST:: SOT 33500 SOS 26166 HAS SOPS 26166 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6127.166
AT ITER 6263 NEW BEST:: SOT 33429 SOS 26078 HAS SOPS 26078 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6072.078
AT ITER 6283 NEW BEST:: SOT 33419 SOS 26068 HAS SOPS 26068 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6066.068
AT ITER 6289 NEW BEST:: SOT 33413 SOS 26062 HAS SOPS 26062 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6056.062
AT ITER 6320 NEW BEST:: SOT 33378 SOS 26027 HAS SOPS 26027 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6040.027
AT ITER 6379 NEW BEST:: SOT 33373 SOS 26022 HAS SOPS 26022 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6034.022
AT ITER 6386 NEW BEST:: SOT 33381 SOS 25969 HAS SOPS 25969 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5980.969
AT ITER 6473 NEW BEST:: SOT 33381 SOS 25966 HAS SOPS 25966 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5979.966
AT ITER 6505 NEW BEST:: SOT 33372 SOS 25957 HAS SOPS 25957 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5979.957
AT ITER 6517 NEW BEST:: SOT 33371 SOS 25956 HAS SOPS 25956 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5977.956
AT ITER 6620 NEW BEST:: SOT 33372 SOS 25957 HAS SOPS 25957 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5971.957
AT ITER 6676 NEW BEST:: SOT 33375 SOS 25972 HAS SOPS 25972 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5964.972
AT ITER 6707 NEW BEST:: SOT 33338 SOS 25926 HAS SOPS 25926 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5932.926
AT ITER 6720 NEW BEST:: SOT 33338 SOS 25922 HAS SOPS 25922 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5932.922
AT ITER 6861 NEW BEST:: SOT 33350 SOS 25934 HAS SOPS 25934 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5928.934
AT ITER 6902 NEW BEST:: SOT 33349 SOS 25933 HAS SOPS 25933 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5926.933
AT ITER 6946 NEW BEST:: SOT 33346 SOS 25927 HAS SOPS 25927 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5923.927
AT ITER 6948 NEW BEST:: SOT 33322 SOS 25903 HAS SOPS 25903 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5923.903
AT ITER 6950 NEW BEST:: SOT 33292 SOS 25883 HAS SOPS 25883 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5913.883
AT ITER 7029 NEW BEST:: SOT 33200 SOS 25852 HAS SOPS 25852 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5909.852
AT ITER 7059 NEW BEST:: SOT 33191 SOS 25843 HAS SOPS 25843 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5891.843
AT ITER 7063 NEW BEST:: SOT 33193 SOS 25845 HAS SOPS 25845 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5885.845
AT ITER 7236 NEW BEST:: SOT 33177 SOS 25815 HAS SOPS 25815 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5861.815
AT ITER 7240 NEW BEST:: SOT 33196 SOS 25834 HAS SOPS 25834 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5859.834
AT ITER 7257 NEW BEST:: SOT 33196 SOS 25827 HAS SOPS 25827 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5858.827
AT ITER 7265 NEW BEST:: SOT 33193 SOS 25809 HAS SOPS 25809 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5850.809
AT ITER 7297 NEW BEST:: SOT 33196 SOS 25798 HAS SOPS 25798 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5839.798
AT ITER 7299 NEW BEST:: SOT 33196 SOS 25786 HAS SOPS 25786 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5827.786
AT ITER 7372 NEW BEST:: SOT 33204 SOS 25794 HAS SOPS 25794 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5822.794
AT ITER 7384 NEW BEST:: SOT 33195 SOS 25761 HAS SOPS 25761 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5812.761
AT ITER 7488 NEW BEST:: SOT 33195 SOS 25749 HAS SOPS 25749 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5800.749
AT ITER 7575 NEW BEST:: SOT 33193 SOS 25747 HAS SOPS 25747 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5796.747
AT ITER 7640 NEW BEST:: SOT 33206 SOS 25767 HAS SOPS 25767 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5785.767
AT ITER 7680 NEW BEST:: SOT 33178 SOS 25739 HAS SOPS 25739 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5771.739
AT ITER 7688 NEW BEST:: SOT 33172 SOS 25733 HAS SOPS 25733 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5759.733
AT ITER 7753 NEW BEST:: SOT 33171 SOS 25733 HAS SOPS 25733 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5757.733
AT ITER 7776 NEW BEST:: SOT 33117 SOS 25686 HAS SOPS 25686 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5740.686
AT ITER 7787 NEW BEST:: SOT 33066 SOS 25673 HAS SOPS 25673 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5687.673
AT ITER 7809 NEW BEST:: SOT 33045 SOS 25652 HAS SOPS 25652 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5687.652
AT ITER 7856 NEW BEST:: SOT 33043 SOS 25635 HAS SOPS 25635 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5670.635
AT ITER 7865 NEW BEST:: SOT 33043 SOS 25561 HAS SOPS 25561 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5670.561
AT ITER 7877 NEW BEST:: SOT 33035 SOS 25538 HAS SOPS 25538 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5669.538
AT ITER 7920 NEW BEST:: SOT 33031 SOS 25534 HAS SOPS 25534 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5662.534
AT ITER 7930 NEW BEST:: SOT 33024 SOS 25527 HAS SOPS 25527 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5662.527
AT ITER 8065 NEW BEST:: SOT 33023 SOS 25526 HAS SOPS 25526 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5660.526
AT ITER 8077 NEW BEST:: SOT 33022 SOS 25525 HAS SOPS 25525 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5658.525
AT ITER 8090 NEW BEST:: SOT 33019 SOS 25522 HAS SOPS 25522 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5652.522
AT ITER 8095 NEW BEST:: SOT 33031 SOS 25534 HAS SOPS 25534 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5650.534
AT ITER 8139 NEW BEST:: SOT 33031 SOS 25514 HAS SOPS 25514 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5640.514
AT ITER 8145 NEW BEST:: SOT 33023 SOS 25506 HAS SOPS 25506 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5624.506
AT ITER 8156 NEW BEST:: SOT 33022 SOS 25505 HAS SOPS 25505 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5623.505
AT ITER 8163 NEW BEST:: SOT 33026 SOS 25509 HAS SOPS 25509 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5607.509
AT ITER 8200 NEW BEST:: SOT 32953 SOS 25436 HAS SOPS 25436 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5605.436
AT ITER 8212 NEW BEST:: SOT 32940 SOS 25423 HAS SOPS 25423 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5554.423
AT ITER 8229 NEW BEST:: SOT 32939 SOS 25422 HAS SOPS 25422 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5552.422
AT ITER 8269 NEW BEST:: SOT 32912 SOS 25395 HAS SOPS 25395 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5481.395
AT ITER 8299 NEW BEST:: SOT 32915 SOS 25400 HAS SOPS 25400 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5480.4
AT ITER 8358 NEW BEST:: SOT 32910 SOS 25395 HAS SOPS 25395 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5480.395
AT ITER 8471 NEW BEST:: SOT 32912 SOS 25393 HAS SOPS 25393 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5478.393
AT ITER 8478 NEW BEST:: SOT 32893 SOS 25353 HAS SOPS 25353 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5461.353
AT ITER 8526 NEW BEST:: SOT 32891 SOS 25351 HAS SOPS 25351 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5459.351
AT ITER 8560 NEW BEST:: SOT 32882 SOS 25342 HAS SOPS 25342 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5451.342
AT ITER 8620 NEW BEST:: SOT 32881 SOS 25335 HAS SOPS 25335 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5449.335
AT ITER 8633 NEW BEST:: SOT 32878 SOS 25339 HAS SOPS 25339 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5448.339
AT ITER 8670 NEW BEST:: SOT 32875 SOS 25336 HAS SOPS 25336 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5442.336
AT ITER 8733 NEW BEST:: SOT 32836 SOS 25301 HAS SOPS 25301 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5362.301
AT ITER 8740 NEW BEST:: SOT 32832 SOS 25301 HAS SOPS 25301 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5351.301
AT ITER 8906 NEW BEST:: SOT 32786 SOS 25258 HAS SOPS 25258 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5292.258
AT ITER 8908 NEW BEST:: SOT 32785 SOS 25257 HAS SOPS 25257 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5290.257
AT ITER 8924 NEW BEST:: SOT 32782 SOS 25254 HAS SOPS 25254 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5287.254
AT ITER 8925 NEW BEST:: SOT 32781 SOS 25253 HAS SOPS 25253 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5266.253
AT ITER 8936 NEW BEST:: SOT 32781 SOS 25253 HAS SOPS 25253 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5262.253
AT ITER 8972 NEW BEST:: SOT 32781 SOS 25251 HAS SOPS 25251 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5260.251
AT ITER 8997 NEW BEST:: SOT 32776 SOS 25329 HAS SOPS 25329 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5258.329
AT ITER 9010 NEW BEST:: SOT 32776 SOS 25290 HAS SOPS 25290 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5258.29
AT ITER 9073 NEW BEST:: SOT 32774 SOS 25212 HAS SOPS 25212 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5256.212
AT ITER 9131 NEW BEST:: SOT 32773 SOS 25211 HAS SOPS 25211 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5254.211
AT ITER 9179 NEW BEST:: SOT 32779 SOS 25217 HAS SOPS 25217 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5242.217
AT ITER 9265 NEW BEST:: SOT 32776 SOS 25214 HAS SOPS 25214 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5241.214
AT ITER 9273 NEW BEST:: SOT 32776 SOS 25220 HAS SOPS 25220 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5239.22
AT ITER 9328 NEW BEST:: SOT 32768 SOS 25208 HAS SOPS 25208 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5227.208
AT ITER 9329 NEW BEST:: SOT 32729 SOS 25169 HAS SOPS 25169 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5225.169
AT ITER 9369 NEW BEST:: SOT 32707 SOS 25166 HAS SOPS 25166 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5208.166
AT ITER 9422 NEW BEST:: SOT 32707 SOS 25166 HAS SOPS 25166 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5199.166
AT ITER 9424 NEW BEST:: SOT 32706 SOS 25163 HAS SOPS 25163 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5197.163
AT ITER 9498 NEW BEST:: SOT 32700 SOS 25157 HAS SOPS 25157 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5191.157
AT ITER 9502 NEW BEST:: SOT 32702 SOS 25159 HAS SOPS 25159 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5183.159
AT ITER 9565 NEW BEST:: SOT 32697 SOS 25154 HAS SOPS 25154 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5173.154
AT ITER 9570 NEW BEST:: SOT 32697 SOS 25154 HAS SOPS 25154 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5172.154
AT ITER 9581 NEW BEST:: SOT 32695 SOS 25153 HAS SOPS 25153 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5171.153
AT ITER 9594 NEW BEST:: SOT 32695 SOS 25153 HAS SOPS 25153 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5167.153
AT ITER 9756 NEW BEST:: SOT 32685 SOS 25143 HAS SOPS 25143 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5157.143
AT ITER 9779 NEW BEST:: SOT 32684 SOS 25141 HAS SOPS 25141 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5156.141
AT ITER 9852 NEW BEST:: SOT 32684 SOS 25130 HAS SOPS 25130 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5156.13
AT ITER 9853 NEW BEST:: SOT 32679 SOS 25125 HAS SOPS 25125 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5151.125
AT ITER 9861 NEW BEST:: SOT 32671 SOS 25117 HAS SOPS 25117 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5135.117
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5917644 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125496 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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