Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.7K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 59K 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 1678468021154

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 262 places, 219 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 34844 SOS 11834 HAS SOPS 11834 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11630.834
AT ITER 3 NEW BEST:: SOT 34853 SOS 11831 HAS SOPS 11831 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11627.831
AT ITER 18 NEW BEST:: SOT 34853 SOS 11705 HAS SOPS 11705 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11571.705
AT ITER 22 NEW BEST:: SOT 34515 SOS 11400 HAS SOPS 11400 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11257.4
AT ITER 29 NEW BEST:: SOT 34515 SOS 11399 HAS SOPS 11399 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11256.399
AT ITER 31 NEW BEST:: SOT 34513 SOS 11330 HAS SOPS 11330 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11189.33
AT ITER 48 NEW BEST:: SOT 34513 SOS 11329 HAS SOPS 11329 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11188.329
AT ITER 50 NEW BEST:: SOT 34380 SOS 11110 HAS SOPS 11110 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11042.11
AT ITER 53 NEW BEST:: SOT 34380 SOS 11035 HAS SOPS 11035 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10967.035
AT ITER 71 NEW BEST:: SOT 33831 SOS 13312 HAS SOPS 13312 HAS SOUS 10598 HAS SOUPS 10598 WITH SCORE 10611.312
AT ITER 87 NEW BEST:: SOT 33831 SOS 13312 HAS SOPS 13312 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10607.312
AT ITER 88 NEW BEST:: SOT 33815 SOS 13296 HAS SOPS 13296 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10599.296
AT ITER 90 NEW BEST:: SOT 33815 SOS 13258 HAS SOPS 13258 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10523.258
AT ITER 94 NEW BEST:: SOT 33844 SOS 13222 HAS SOPS 13222 HAS SOUS 10501 HAS SOUPS 10501 WITH SCORE 10514.222
AT ITER 95 NEW BEST:: SOT 33893 SOS 13224 HAS SOPS 13224 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10464.224
AT ITER 109 NEW BEST:: SOT 33893 SOS 13167 HAS SOPS 13167 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10407.167
AT ITER 110 NEW BEST:: SOT 33845 SOS 13071 HAS SOPS 13071 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10344.071
AT ITER 114 NEW BEST:: SOT 33845 SOS 13071 HAS SOPS 13071 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10330.071
AT ITER 131 NEW BEST:: SOT 33768 SOS 12882 HAS SOPS 12882 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10195.882
AT ITER 147 NEW BEST:: SOT 33767 SOS 12880 HAS SOPS 12880 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10193.88
AT ITER 155 NEW BEST:: SOT 33734 SOS 12847 HAS SOPS 12847 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10160.847
AT ITER 160 NEW BEST:: SOT 33733 SOS 12845 HAS SOPS 12845 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10158.845
AT ITER 161 NEW BEST:: SOT 33733 SOS 12836 HAS SOPS 12836 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10149.836
AT ITER 167 NEW BEST:: SOT 33670 SOS 12772 HAS SOPS 12772 HAS SOUS 10135 HAS SOUPS 10135 WITH SCORE 10147.772
AT ITER 172 NEW BEST:: SOT 33696 SOS 12732 HAS SOPS 12732 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10107.732
AT ITER 189 NEW BEST:: SOT 33559 SOS 12554 HAS SOPS 12554 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9910.554
AT ITER 190 NEW BEST:: SOT 33571 SOS 12446 HAS SOPS 12446 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9802.446
AT ITER 193 NEW BEST:: SOT 33553 SOS 12369 HAS SOPS 12369 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.369
AT ITER 201 NEW BEST:: SOT 33489 SOS 12305 HAS SOPS 12305 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.305
AT ITER 210 NEW BEST:: SOT 33495 SOS 12276 HAS SOPS 12276 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9638.276
AT ITER 212 NEW BEST:: SOT 33495 SOS 12220 HAS SOPS 12220 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9582.22
AT ITER 221 NEW BEST:: SOT 33440 SOS 12110 HAS SOPS 12110 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9505.11
AT ITER 227 NEW BEST:: SOT 33433 SOS 12103 HAS SOPS 12103 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9505.103
AT ITER 236 NEW BEST:: SOT 33425 SOS 12094 HAS SOPS 12094 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9496.094
AT ITER 246 NEW BEST:: SOT 33425 SOS 12063 HAS SOPS 12063 HAS SOUS 9453 HAS SOUPS 9453 WITH SCORE 9465.063
AT ITER 249 NEW BEST:: SOT 33379 SOS 12042 HAS SOPS 12042 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9444.042
AT ITER 253 NEW BEST:: SOT 33356 SOS 12019 HAS SOPS 12019 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9444.019
AT ITER 263 NEW BEST:: SOT 33437 SOS 12097 HAS SOPS 12097 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9441.097
AT ITER 280 NEW BEST:: SOT 33424 SOS 12084 HAS SOPS 12084 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9428.084
AT ITER 286 NEW BEST:: SOT 33424 SOS 11993 HAS SOPS 11993 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9336.993
AT ITER 293 NEW BEST:: SOT 33422 SOS 11990 HAS SOPS 11990 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9333.99
AT ITER 296 NEW BEST:: SOT 33387 SOS 11903 HAS SOPS 11903 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9281.903
AT ITER 299 NEW BEST:: SOT 33387 SOS 11883 HAS SOPS 11883 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9241.883
AT ITER 304 NEW BEST:: SOT 33227 SOS 11786 HAS SOPS 11786 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9238.786
AT ITER 313 NEW BEST:: SOT 33250 SOS 11784 HAS SOPS 11784 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9236.784
AT ITER 328 NEW BEST:: SOT 33249 SOS 11782 HAS SOPS 11782 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9234.782
AT ITER 329 NEW BEST:: SOT 33241 SOS 11766 HAS SOPS 11766 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9218.766
AT ITER 332 NEW BEST:: SOT 33243 SOS 11733 HAS SOPS 11733 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9204.733
AT ITER 335 NEW BEST:: SOT 33241 SOS 11717 HAS SOPS 11717 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9188.717
AT ITER 356 NEW BEST:: SOT 33262 SOS 11676 HAS SOPS 11676 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9147.676
AT ITER 357 NEW BEST:: SOT 33244 SOS 11670 HAS SOPS 11670 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9147.67
AT ITER 418 NEW BEST:: SOT 33276 SOS 11757 HAS SOPS 11757 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9146.757
AT ITER 469 NEW BEST:: SOT 33243 SOS 11645 HAS SOPS 11645 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9141.645
AT ITER 484 NEW BEST:: SOT 33189 SOS 11568 HAS SOPS 11568 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9080.568
AT ITER 492 NEW BEST:: SOT 33189 SOS 11568 HAS SOPS 11568 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9059.568
AT ITER 500 NEW BEST:: SOT 33180 SOS 11585 HAS SOPS 11585 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9041.585
AT ITER 515 NEW BEST:: SOT 33180 SOS 11579 HAS SOPS 11579 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9041.579
AT ITER 535 NEW BEST:: SOT 33165 SOS 11549 HAS SOPS 11549 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9027.549
AT ITER 549 NEW BEST:: SOT 33118 SOS 11486 HAS SOPS 11486 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8964.486
AT ITER 562 NEW BEST:: SOT 33120 SOS 11481 HAS SOPS 11481 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.481
AT ITER 565 NEW BEST:: SOT 33123 SOS 11396 HAS SOPS 11396 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.396
AT ITER 567 NEW BEST:: SOT 33142 SOS 11393 HAS SOPS 11393 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.393
AT ITER 576 NEW BEST:: SOT 33131 SOS 11382 HAS SOPS 11382 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8948.382
AT ITER 580 NEW BEST:: SOT 33103 SOS 11375 HAS SOPS 11375 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8947.375
AT ITER 588 NEW BEST:: SOT 33116 SOS 11388 HAS SOPS 11388 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8926.388
AT ITER 589 NEW BEST:: SOT 33116 SOS 11353 HAS SOPS 11353 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8874.353
AT ITER 599 NEW BEST:: SOT 33113 SOS 11350 HAS SOPS 11350 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8871.35
AT ITER 601 NEW BEST:: SOT 33113 SOS 11350 HAS SOPS 11350 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8865.35
AT ITER 617 NEW BEST:: SOT 33118 SOS 11293 HAS SOPS 11293 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8768.293
AT ITER 618 NEW BEST:: SOT 33118 SOS 11292 HAS SOPS 11292 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8767.292
AT ITER 625 NEW BEST:: SOT 33118 SOS 11292 HAS SOPS 11292 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8743.292
AT ITER 640 NEW BEST:: SOT 33090 SOS 11271 HAS SOPS 11271 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8721.271
AT ITER 642 NEW BEST:: SOT 33090 SOS 11248 HAS SOPS 11248 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8698.248
AT ITER 643 NEW BEST:: SOT 33094 SOS 11233 HAS SOPS 11233 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.233
AT ITER 653 NEW BEST:: SOT 33079 SOS 11232 HAS SOPS 11232 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8693.232
AT ITER 660 NEW BEST:: SOT 33079 SOS 11221 HAS SOPS 11221 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8682.221
AT ITER 683 NEW BEST:: SOT 33095 SOS 10997 HAS SOPS 10997 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8629.997
AT ITER 686 NEW BEST:: SOT 33026 SOS 10887 HAS SOPS 10887 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8575.887
AT ITER 696 NEW BEST:: SOT 33022 SOS 10879 HAS SOPS 10879 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8567.879
AT ITER 713 NEW BEST:: SOT 33004 SOS 10843 HAS SOPS 10843 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8531.843
AT ITER 715 NEW BEST:: SOT 32994 SOS 10813 HAS SOPS 10813 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8521.813
AT ITER 720 NEW BEST:: SOT 33016 SOS 10220 HAS SOPS 10220 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8499.22
AT ITER 734 NEW BEST:: SOT 33014 SOS 10249 HAS SOPS 10249 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8496.249
AT ITER 737 NEW BEST:: SOT 33000 SOS 10249 HAS SOPS 10249 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8482.249
AT ITER 743 NEW BEST:: SOT 33005 SOS 10259 HAS SOPS 10259 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8459.259
AT ITER 751 NEW BEST:: SOT 33003 SOS 10257 HAS SOPS 10257 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8457.257
AT ITER 764 NEW BEST:: SOT 32999 SOS 10234 HAS SOPS 10234 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8434.234
AT ITER 788 NEW BEST:: SOT 33049 SOS 10296 HAS SOPS 10296 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8428.296
AT ITER 793 NEW BEST:: SOT 33049 SOS 10238 HAS SOPS 10238 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8370.238
AT ITER 809 NEW BEST:: SOT 33043 SOS 10240 HAS SOPS 10240 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8360.24
AT ITER 814 NEW BEST:: SOT 33083 SOS 10284 HAS SOPS 10284 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8350.284
AT ITER 831 NEW BEST:: SOT 33092 SOS 10283 HAS SOPS 10283 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8349.283
AT ITER 850 NEW BEST:: SOT 33095 SOS 10281 HAS SOPS 10281 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8347.281
AT ITER 879 NEW BEST:: SOT 33065 SOS 10224 HAS SOPS 10224 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8305.224
AT ITER 880 NEW BEST:: SOT 33064 SOS 10219 HAS SOPS 10219 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8300.219
AT ITER 914 NEW BEST:: SOT 33080 SOS 10203 HAS SOPS 10203 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8284.203
AT ITER 915 NEW BEST:: SOT 33080 SOS 10200 HAS SOPS 10200 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8283.2
AT ITER 942 NEW BEST:: SOT 33080 SOS 10199 HAS SOPS 10199 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8282.199
AT ITER 946 NEW BEST:: SOT 32980 SOS 10091 HAS SOPS 10091 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8199.091
AT ITER 956 NEW BEST:: SOT 32956 SOS 10081 HAS SOPS 10081 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8189.081
AT ITER 957 NEW BEST:: SOT 32941 SOS 10066 HAS SOPS 10066 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8174.066
AT ITER 962 NEW BEST:: SOT 32940 SOS 10054 HAS SOPS 10054 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8162.054
AT ITER 974 NEW BEST:: SOT 32935 SOS 10051 HAS SOPS 10051 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8159.051
AT ITER 977 NEW BEST:: SOT 32924 SOS 10029 HAS SOPS 10029 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8137.029
AT ITER 982 NEW BEST:: SOT 32915 SOS 10008 HAS SOPS 10008 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8125.008
AT ITER 990 NEW BEST:: SOT 32881 SOS 9968 HAS SOPS 9968 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.968
AT ITER 995 NEW BEST:: SOT 32879 SOS 9940 HAS SOPS 9940 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.94
AT ITER 1007 NEW BEST:: SOT 32869 SOS 9939 HAS SOPS 9939 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.939
AT ITER 1014 NEW BEST:: SOT 32869 SOS 9846 HAS SOPS 9846 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8012.846
AT ITER 1018 NEW BEST:: SOT 32867 SOS 9845 HAS SOPS 9845 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8011.845
AT ITER 1028 NEW BEST:: SOT 32861 SOS 9836 HAS SOPS 9836 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8002.836
AT ITER 1039 NEW BEST:: SOT 32861 SOS 9802 HAS SOPS 9802 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7968.802
AT ITER 1058 NEW BEST:: SOT 32860 SOS 9800 HAS SOPS 9800 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7966.8
AT ITER 1083 NEW BEST:: SOT 32741 SOS 9785 HAS SOPS 9785 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7926.785
AT ITER 1110 NEW BEST:: SOT 32707 SOS 9717 HAS SOPS 9717 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7852.717
AT ITER 1155 NEW BEST:: SOT 32692 SOS 9667 HAS SOPS 9667 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.667
AT ITER 1166 NEW BEST:: SOT 32670 SOS 9623 HAS SOPS 9623 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7784.623
AT ITER 1183 NEW BEST:: SOT 32661 SOS 9614 HAS SOPS 9614 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7775.614
AT ITER 1185 NEW BEST:: SOT 32660 SOS 9613 HAS SOPS 9613 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7774.613
AT ITER 1214 NEW BEST:: SOT 32643 SOS 9579 HAS SOPS 9579 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7740.579
AT ITER 1226 NEW BEST:: SOT 32643 SOS 9576 HAS SOPS 9576 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7737.576
AT ITER 1235 NEW BEST:: SOT 32641 SOS 9574 HAS SOPS 9574 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7735.574
AT ITER 1246 NEW BEST:: SOT 32641 SOS 9563 HAS SOPS 9563 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7724.563
AT ITER 1284 NEW BEST:: SOT 32636 SOS 9553 HAS SOPS 9553 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7714.553
AT ITER 1323 NEW BEST:: SOT 32649 SOS 9579 HAS SOPS 9579 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7701.579
AT ITER 1327 NEW BEST:: SOT 32649 SOS 9578 HAS SOPS 9578 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7700.578
AT ITER 1338 NEW BEST:: SOT 32649 SOS 9578 HAS SOPS 9578 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7696.578
AT ITER 1347 NEW BEST:: SOT 32542 SOS 9495 HAS SOPS 9495 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7613.495
AT ITER 1356 NEW BEST:: SOT 32542 SOS 9493 HAS SOPS 9493 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7611.493
AT ITER 1357 NEW BEST:: SOT 32521 SOS 9472 HAS SOPS 9472 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7596.472
AT ITER 1364 NEW BEST:: SOT 32503 SOS 9454 HAS SOPS 9454 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7596.454
AT ITER 1375 NEW BEST:: SOT 32478 SOS 9404 HAS SOPS 9404 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7546.404
AT ITER 1387 NEW BEST:: SOT 32469 SOS 9366 HAS SOPS 9366 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7528.366
AT ITER 1392 NEW BEST:: SOT 32468 SOS 9364 HAS SOPS 9364 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.364
AT ITER 1408 NEW BEST:: SOT 32473 SOS 9333 HAS SOPS 9333 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.333
AT ITER 1416 NEW BEST:: SOT 32473 SOS 9324 HAS SOPS 9324 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7475.324
AT ITER 1431 NEW BEST:: SOT 32414 SOS 9265 HAS SOPS 9265 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7437.265
AT ITER 1441 NEW BEST:: SOT 32305 SOS 9238 HAS SOPS 9238 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7392.238
AT ITER 1495 NEW BEST:: SOT 32240 SOS 9180 HAS SOPS 9180 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7363.18
AT ITER 1511 NEW BEST:: SOT 32237 SOS 9174 HAS SOPS 9174 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7357.174
AT ITER 1538 NEW BEST:: SOT 32228 SOS 9121 HAS SOPS 9121 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7348.121
AT ITER 1547 NEW BEST:: SOT 32222 SOS 9104 HAS SOPS 9104 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7331.104
AT ITER 1554 NEW BEST:: SOT 32215 SOS 9097 HAS SOPS 9097 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7324.097
AT ITER 1645 NEW BEST:: SOT 32214 SOS 9096 HAS SOPS 9096 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7323.096
AT ITER 1659 NEW BEST:: SOT 32218 SOS 9100 HAS SOPS 9100 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7311.1
AT ITER 1662 NEW BEST:: SOT 32215 SOS 9094 HAS SOPS 9094 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7305.094
AT ITER 1681 NEW BEST:: SOT 32215 SOS 9051 HAS SOPS 9051 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7262.051
AT ITER 1746 NEW BEST:: SOT 32206 SOS 9042 HAS SOPS 9042 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7262.042
AT ITER 1801 NEW BEST:: SOT 32204 SOS 9038 HAS SOPS 9038 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7258.038
AT ITER 1810 NEW BEST:: SOT 32203 SOS 9037 HAS SOPS 9037 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7257.037
AT ITER 1818 NEW BEST:: SOT 32201 SOS 9035 HAS SOPS 9035 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7255.035
AT ITER 1827 NEW BEST:: SOT 32201 SOS 9008 HAS SOPS 9008 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7201.008
AT ITER 1856 NEW BEST:: SOT 32196 SOS 9003 HAS SOPS 9003 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7196.003
AT ITER 1858 NEW BEST:: SOT 32185 SOS 8988 HAS SOPS 8988 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7180.988
AT ITER 1859 NEW BEST:: SOT 32170 SOS 8924 HAS SOPS 8924 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.924
AT ITER 1886 NEW BEST:: SOT 32172 SOS 8915 HAS SOPS 8915 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7141.915
AT ITER 1956 NEW BEST:: SOT 32172 SOS 8913 HAS SOPS 8913 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.913
AT ITER 1985 NEW BEST:: SOT 32166 SOS 8907 HAS SOPS 8907 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.907
AT ITER 1998 NEW BEST:: SOT 32166 SOS 8897 HAS SOPS 8897 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.897
AT ITER 2016 NEW BEST:: SOT 32167 SOS 8912 HAS SOPS 8912 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7127.912
AT ITER 2032 NEW BEST:: SOT 32152 SOS 8895 HAS SOPS 8895 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.895
AT ITER 2070 NEW BEST:: SOT 32147 SOS 8898 HAS SOPS 8898 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.898
AT ITER 2075 NEW BEST:: SOT 32145 SOS 8894 HAS SOPS 8894 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.894
AT ITER 2095 NEW BEST:: SOT 32145 SOS 8583 HAS SOPS 8583 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.583
AT ITER 2121 NEW BEST:: SOT 32129 SOS 8562 HAS SOPS 8562 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.562
AT ITER 2126 NEW BEST:: SOT 32125 SOS 8558 HAS SOPS 8558 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7056.558
AT ITER 2128 NEW BEST:: SOT 32084 SOS 8476 HAS SOPS 8476 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7035.476
AT ITER 2233 NEW BEST:: SOT 32107 SOS 8473 HAS SOPS 8473 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.473
AT ITER 2237 NEW BEST:: SOT 32106 SOS 8471 HAS SOPS 8471 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7030.471
AT ITER 2242 NEW BEST:: SOT 32084 SOS 8449 HAS SOPS 8449 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.449
AT ITER 2248 NEW BEST:: SOT 32084 SOS 8418 HAS SOPS 8418 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.418
AT ITER 2327 NEW BEST:: SOT 32077 SOS 8411 HAS SOPS 8411 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.411
AT ITER 2358 NEW BEST:: SOT 32135 SOS 8369 HAS SOPS 8369 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.369
AT ITER 2371 NEW BEST:: SOT 32135 SOS 8329 HAS SOPS 8329 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6916.329
AT ITER 2379 NEW BEST:: SOT 32135 SOS 8329 HAS SOPS 8329 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.329
AT ITER 2381 NEW BEST:: SOT 32140 SOS 8319 HAS SOPS 8319 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.319
AT ITER 2388 NEW BEST:: SOT 32136 SOS 8315 HAS SOPS 8315 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.315
AT ITER 2407 NEW BEST:: SOT 32141 SOS 8314 HAS SOPS 8314 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.314
AT ITER 2418 NEW BEST:: SOT 32176 SOS 8301 HAS SOPS 8301 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6872.301
AT ITER 2421 NEW BEST:: SOT 32171 SOS 8291 HAS SOPS 8291 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.291
AT ITER 2442 NEW BEST:: SOT 32171 SOS 8213 HAS SOPS 8213 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6788.213
AT ITER 2466 NEW BEST:: SOT 32171 SOS 8189 HAS SOPS 8189 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6764.189
AT ITER 2468 NEW BEST:: SOT 32171 SOS 8184 HAS SOPS 8184 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6759.184
AT ITER 2476 NEW BEST:: SOT 32170 SOS 8174 HAS SOPS 8174 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6757.174
AT ITER 2488 NEW BEST:: SOT 32172 SOS 8178 HAS SOPS 8178 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6756.178
AT ITER 2583 NEW BEST:: SOT 32148 SOS 8169 HAS SOPS 8169 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6747.169
AT ITER 2587 NEW BEST:: SOT 32142 SOS 8162 HAS SOPS 8162 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.162
AT ITER 2658 NEW BEST:: SOT 32143 SOS 8158 HAS SOPS 8158 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6732.158
AT ITER 2698 NEW BEST:: SOT 32132 SOS 8157 HAS SOPS 8157 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6731.157
AT ITER 2702 NEW BEST:: SOT 32087 SOS 8150 HAS SOPS 8150 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6724.15
AT ITER 2727 NEW BEST:: SOT 32087 SOS 8129 HAS SOPS 8129 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.129
AT ITER 2754 NEW BEST:: SOT 32087 SOS 8128 HAS SOPS 8128 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.128
AT ITER 2777 NEW BEST:: SOT 32090 SOS 8127 HAS SOPS 8127 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.127
AT ITER 2832 NEW BEST:: SOT 32090 SOS 8135 HAS SOPS 8135 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.135
AT ITER 2843 NEW BEST:: SOT 32095 SOS 8134 HAS SOPS 8134 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6699.134
AT ITER 2876 NEW BEST:: SOT 32095 SOS 8134 HAS SOPS 8134 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6697.134
AT ITER 2914 NEW BEST:: SOT 32121 SOS 8140 HAS SOPS 8140 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.14
AT ITER 2926 NEW BEST:: SOT 32138 SOS 8132 HAS SOPS 8132 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6661.132
AT ITER 2927 NEW BEST:: SOT 32121 SOS 8107 HAS SOPS 8107 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6636.107
AT ITER 2941 NEW BEST:: SOT 32122 SOS 8105 HAS SOPS 8105 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6634.105
AT ITER 2947 NEW BEST:: SOT 32124 SOS 8109 HAS SOPS 8109 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6618.109
AT ITER 2959 NEW BEST:: SOT 32075 SOS 8032 HAS SOPS 8032 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6541.032
AT ITER 2984 NEW BEST:: SOT 32074 SOS 8030 HAS SOPS 8030 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.03
AT ITER 3005 NEW BEST:: SOT 32094 SOS 8053 HAS SOPS 8053 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6505.053
AT ITER 3011 NEW BEST:: SOT 32076 SOS 8042 HAS SOPS 8042 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6494.042
AT ITER 3049 NEW BEST:: SOT 32060 SOS 8038 HAS SOPS 8038 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6490.038
AT ITER 3069 NEW BEST:: SOT 32060 SOS 8038 HAS SOPS 8038 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6485.038
AT ITER 3071 NEW BEST:: SOT 32055 SOS 8029 HAS SOPS 8029 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6476.029
AT ITER 3107 NEW BEST:: SOT 32013 SOS 8004 HAS SOPS 8004 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6476.004
AT ITER 3112 NEW BEST:: SOT 32013 SOS 8002 HAS SOPS 8002 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.002
AT ITER 3114 NEW BEST:: SOT 31992 SOS 7981 HAS SOPS 7981 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.981
AT ITER 3155 NEW BEST:: SOT 31969 SOS 7958 HAS SOPS 7958 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6429.958
AT ITER 3158 NEW BEST:: SOT 31979 SOS 7956 HAS SOPS 7956 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6427.956
AT ITER 3171 NEW BEST:: SOT 31972 SOS 7957 HAS SOPS 7957 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6420.957
AT ITER 3195 NEW BEST:: SOT 31981 SOS 7845 HAS SOPS 7845 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.845
AT ITER 3210 NEW BEST:: SOT 31982 SOS 7843 HAS SOPS 7843 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.843
AT ITER 3218 NEW BEST:: SOT 31974 SOS 7827 HAS SOPS 7827 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6409.827
AT ITER 3278 NEW BEST:: SOT 32013 SOS 7817 HAS SOPS 7817 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.817
AT ITER 3404 NEW BEST:: SOT 32006 SOS 7805 HAS SOPS 7805 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.805
AT ITER 3434 NEW BEST:: SOT 32005 SOS 7803 HAS SOPS 7803 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6385.803
AT ITER 3481 NEW BEST:: SOT 32005 SOS 7800 HAS SOPS 7800 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6385.8
AT ITER 3493 NEW BEST:: SOT 32008 SOS 7789 HAS SOPS 7789 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6374.789
AT ITER 3510 NEW BEST:: SOT 32007 SOS 7788 HAS SOPS 7788 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.788
AT ITER 3541 NEW BEST:: SOT 32005 SOS 7786 HAS SOPS 7786 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6371.786
AT ITER 3552 NEW BEST:: SOT 32004 SOS 7793 HAS SOPS 7793 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.793
AT ITER 3586 NEW BEST:: SOT 32005 SOS 7770 HAS SOPS 7770 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.77
AT ITER 3605 NEW BEST:: SOT 32023 SOS 7770 HAS SOPS 7770 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.77
AT ITER 3642 NEW BEST:: SOT 32023 SOS 7766 HAS SOPS 7766 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6349.766
AT ITER 3645 NEW BEST:: SOT 32008 SOS 7755 HAS SOPS 7755 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.755
AT ITER 3658 NEW BEST:: SOT 32004 SOS 7747 HAS SOPS 7747 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6330.747
AT ITER 3685 NEW BEST:: SOT 31993 SOS 7736 HAS SOPS 7736 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6330.736
AT ITER 3726 NEW BEST:: SOT 31990 SOS 7733 HAS SOPS 7733 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6330.733
AT ITER 3739 NEW BEST:: SOT 31966 SOS 7729 HAS SOPS 7729 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6328.729
AT ITER 3746 NEW BEST:: SOT 31951 SOS 7699 HAS SOPS 7699 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6298.699
AT ITER 3848 NEW BEST:: SOT 31943 SOS 7683 HAS SOPS 7683 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.683
AT ITER 3879 NEW BEST:: SOT 31948 SOS 7679 HAS SOPS 7679 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6286.679
AT ITER 3886 NEW BEST:: SOT 31946 SOS 7675 HAS SOPS 7675 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6273.675
AT ITER 3896 NEW BEST:: SOT 31946 SOS 7674 HAS SOPS 7674 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.674
AT ITER 3900 NEW BEST:: SOT 31945 SOS 7673 HAS SOPS 7673 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.673
AT ITER 3952 NEW BEST:: SOT 31946 SOS 7641 HAS SOPS 7641 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.641
AT ITER 3985 NEW BEST:: SOT 31938 SOS 7625 HAS SOPS 7625 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.625
AT ITER 3987 NEW BEST:: SOT 31938 SOS 7650 HAS SOPS 7650 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6221.65
AT ITER 4010 NEW BEST:: SOT 31935 SOS 7644 HAS SOPS 7644 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6219.644
AT ITER 4024 NEW BEST:: SOT 31930 SOS 7639 HAS SOPS 7639 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6214.639
AT ITER 4055 NEW BEST:: SOT 31927 SOS 7636 HAS SOPS 7636 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6211.636
AT ITER 4083 NEW BEST:: SOT 31933 SOS 7630 HAS SOPS 7630 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6205.63
AT ITER 4110 NEW BEST:: SOT 31905 SOS 7610 HAS SOPS 7610 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.61
AT ITER 4175 NEW BEST:: SOT 31905 SOS 7608 HAS SOPS 7608 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.608
AT ITER 4208 NEW BEST:: SOT 31910 SOS 7601 HAS SOPS 7601 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.601
AT ITER 4219 NEW BEST:: SOT 31902 SOS 7589 HAS SOPS 7589 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.589
AT ITER 4374 NEW BEST:: SOT 31902 SOS 7586 HAS SOPS 7586 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6164.586
AT ITER 4422 NEW BEST:: SOT 31888 SOS 7528 HAS SOPS 7528 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6144.528
AT ITER 4493 NEW BEST:: SOT 31890 SOS 7525 HAS SOPS 7525 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6141.525
AT ITER 4503 NEW BEST:: SOT 31892 SOS 7529 HAS SOPS 7529 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6133.529
AT ITER 4520 NEW BEST:: SOT 31892 SOS 7528 HAS SOPS 7528 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6132.528
AT ITER 4564 NEW BEST:: SOT 31898 SOS 7525 HAS SOPS 7525 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.525
AT ITER 4588 NEW BEST:: SOT 31884 SOS 7511 HAS SOPS 7511 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.511
AT ITER 4657 NEW BEST:: SOT 31880 SOS 7503 HAS SOPS 7503 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.503
AT ITER 4748 NEW BEST:: SOT 31880 SOS 7505 HAS SOPS 7505 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.505
AT ITER 4794 NEW BEST:: SOT 31880 SOS 7504 HAS SOPS 7504 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6096.504
AT ITER 4833 NEW BEST:: SOT 31880 SOS 7502 HAS SOPS 7502 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.502
AT ITER 4892 NEW BEST:: SOT 31872 SOS 7492 HAS SOPS 7492 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6084.492
AT ITER 4897 NEW BEST:: SOT 31868 SOS 7484 HAS SOPS 7484 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.484
AT ITER 4927 NEW BEST:: SOT 31855 SOS 7443 HAS SOPS 7443 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6043.443
AT ITER 4964 NEW BEST:: SOT 31855 SOS 7435 HAS SOPS 7435 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6035.435
AT ITER 4978 NEW BEST:: SOT 31828 SOS 7397 HAS SOPS 7397 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.397
AT ITER 5081 NEW BEST:: SOT 31828 SOS 7396 HAS SOPS 7396 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5996.396
AT ITER 5124 NEW BEST:: SOT 31823 SOS 7386 HAS SOPS 7386 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5992.386
AT ITER 5234 NEW BEST:: SOT 31821 SOS 7382 HAS SOPS 7382 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.382
AT ITER 5243 NEW BEST:: SOT 31822 SOS 7362 HAS SOPS 7362 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5979.362
AT ITER 5286 NEW BEST:: SOT 31818 SOS 7354 HAS SOPS 7354 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5972.354
AT ITER 5497 NEW BEST:: SOT 31825 SOS 7336 HAS SOPS 7336 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5954.336
AT ITER 5501 NEW BEST:: SOT 31828 SOS 7314 HAS SOPS 7314 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.314
AT ITER 5506 NEW BEST:: SOT 31836 SOS 7303 HAS SOPS 7303 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5921.303
AT ITER 5552 NEW BEST:: SOT 31835 SOS 7297 HAS SOPS 7297 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.297
AT ITER 5573 NEW BEST:: SOT 31834 SOS 7296 HAS SOPS 7296 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.296
AT ITER 5610 NEW BEST:: SOT 31827 SOS 7289 HAS SOPS 7289 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.289
AT ITER 5611 NEW BEST:: SOT 31823 SOS 7285 HAS SOPS 7285 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.285
AT ITER 5647 NEW BEST:: SOT 31818 SOS 7280 HAS SOPS 7280 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5902.28
AT ITER 5701 NEW BEST:: SOT 31816 SOS 7278 HAS SOPS 7278 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5900.278
AT ITER 5704 NEW BEST:: SOT 31810 SOS 7266 HAS SOPS 7266 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.266
AT ITER 5720 NEW BEST:: SOT 31809 SOS 7262 HAS SOPS 7262 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5884.262
AT ITER 5735 NEW BEST:: SOT 31809 SOS 7261 HAS SOPS 7261 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.261
AT ITER 5761 NEW BEST:: SOT 31821 SOS 7271 HAS SOPS 7271 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.271
AT ITER 5767 NEW BEST:: SOT 31817 SOS 7263 HAS SOPS 7263 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5868.263
AT ITER 5772 NEW BEST:: SOT 31834 SOS 7210 HAS SOPS 7210 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5864.21
AT ITER 5789 NEW BEST:: SOT 31834 SOS 7206 HAS SOPS 7206 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5864.206
AT ITER 5856 NEW BEST:: SOT 31821 SOS 7188 HAS SOPS 7188 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5846.188
AT ITER 5861 NEW BEST:: SOT 31821 SOS 7188 HAS SOPS 7188 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5840.188
AT ITER 5876 NEW BEST:: SOT 31814 SOS 7174 HAS SOPS 7174 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5826.174
AT ITER 5901 NEW BEST:: SOT 31813 SOS 7173 HAS SOPS 7173 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5825.173
AT ITER 5924 NEW BEST:: SOT 31810 SOS 7167 HAS SOPS 7167 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5819.167
AT ITER 5993 NEW BEST:: SOT 31821 SOS 7180 HAS SOPS 7180 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5816.18
AT ITER 6000 NEW BEST:: SOT 31821 SOS 7179 HAS SOPS 7179 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.179
AT ITER 6006 NEW BEST:: SOT 31814 SOS 7165 HAS SOPS 7165 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5801.165
AT ITER 6010 NEW BEST:: SOT 31806 SOS 7159 HAS SOPS 7159 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5795.159
AT ITER 6075 NEW BEST:: SOT 31806 SOS 7153 HAS SOPS 7153 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5789.153
AT ITER 6126 NEW BEST:: SOT 31790 SOS 7110 HAS SOPS 7110 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5746.11
AT ITER 6138 NEW BEST:: SOT 31786 SOS 7108 HAS SOPS 7108 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5742.108
AT ITER 6148 NEW BEST:: SOT 31777 SOS 7087 HAS SOPS 7087 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5721.087
AT ITER 6195 NEW BEST:: SOT 31770 SOS 7084 HAS SOPS 7084 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5718.084
AT ITER 6331 NEW BEST:: SOT 31760 SOS 7081 HAS SOPS 7081 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5715.081
AT ITER 6343 NEW BEST:: SOT 31752 SOS 7079 HAS SOPS 7079 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5713.079
AT ITER 6360 NEW BEST:: SOT 31745 SOS 7048 HAS SOPS 7048 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5681.048
AT ITER 6405 NEW BEST:: SOT 31719 SOS 7041 HAS SOPS 7041 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5672.041
AT ITER 6438 NEW BEST:: SOT 31718 SOS 7039 HAS SOPS 7039 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5671.039
AT ITER 6444 NEW BEST:: SOT 31717 SOS 7041 HAS SOPS 7041 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5669.041
AT ITER 6449 NEW BEST:: SOT 31757 SOS 7003 HAS SOPS 7003 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.003
AT ITER 6495 NEW BEST:: SOT 31755 SOS 7001 HAS SOPS 7001 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5654.001
AT ITER 6626 NEW BEST:: SOT 31753 SOS 6997 HAS SOPS 6997 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5649.997
AT ITER 6741 NEW BEST:: SOT 31757 SOS 6991 HAS SOPS 6991 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.991
AT ITER 6747 NEW BEST:: SOT 31729 SOS 6963 HAS SOPS 6963 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.963
AT ITER 6753 NEW BEST:: SOT 31724 SOS 6961 HAS SOPS 6961 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5627.961
AT ITER 6961 NEW BEST:: SOT 31723 SOS 6959 HAS SOPS 6959 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.959
AT ITER 6993 NEW BEST:: SOT 31722 SOS 6957 HAS SOPS 6957 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.957
AT ITER 6994 NEW BEST:: SOT 31687 SOS 6921 HAS SOPS 6921 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5587.921
AT ITER 6995 NEW BEST:: SOT 31684 SOS 6918 HAS SOPS 6918 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.918
AT ITER 7069 NEW BEST:: SOT 31676 SOS 6910 HAS SOPS 6910 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.91
AT ITER 7139 NEW BEST:: SOT 31671 SOS 6900 HAS SOPS 6900 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5566.9
AT ITER 7187 NEW BEST:: SOT 31673 SOS 6898 HAS SOPS 6898 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.898
AT ITER 7257 NEW BEST:: SOT 31645 SOS 6864 HAS SOPS 6864 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.864
AT ITER 7295 NEW BEST:: SOT 31644 SOS 6862 HAS SOPS 6862 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.862
AT ITER 7308 NEW BEST:: SOT 31673 SOS 6860 HAS SOPS 6860 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.86
AT ITER 7395 NEW BEST:: SOT 31672 SOS 6859 HAS SOPS 6859 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.859
AT ITER 7399 NEW BEST:: SOT 31672 SOS 6858 HAS SOPS 6858 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5523.858
AT ITER 7546 NEW BEST:: SOT 31672 SOS 6858 HAS SOPS 6858 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.858
AT ITER 7751 NEW BEST:: SOT 31671 SOS 6856 HAS SOPS 6856 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.856
AT ITER 7759 NEW BEST:: SOT 31690 SOS 6836 HAS SOPS 6836 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.836
AT ITER 7798 NEW BEST:: SOT 31686 SOS 6828 HAS SOPS 6828 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.828
AT ITER 7799 NEW BEST:: SOT 31688 SOS 6823 HAS SOPS 6823 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.823
AT ITER 7818 NEW BEST:: SOT 31685 SOS 6821 HAS SOPS 6821 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.821
AT ITER 7841 NEW BEST:: SOT 31677 SOS 6804 HAS SOPS 6804 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.804
AT ITER 7892 NEW BEST:: SOT 31690 SOS 6804 HAS SOPS 6804 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.804
AT ITER 7932 NEW BEST:: SOT 31710 SOS 6830 HAS SOPS 6830 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.83
AT ITER 7940 NEW BEST:: SOT 31709 SOS 6839 HAS SOPS 6839 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5483.839
AT ITER 7980 NEW BEST:: SOT 31728 SOS 6877 HAS SOPS 6877 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5482.877
AT ITER 8057 NEW BEST:: SOT 31731 SOS 6875 HAS SOPS 6875 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5480.875
AT ITER 8109 NEW BEST:: SOT 31731 SOS 6875 HAS SOPS 6875 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.875
AT ITER 8145 NEW BEST:: SOT 31729 SOS 6871 HAS SOPS 6871 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.871
AT ITER 8189 NEW BEST:: SOT 31728 SOS 6869 HAS SOPS 6869 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.869
AT ITER 8262 NEW BEST:: SOT 31769 SOS 6831 HAS SOPS 6831 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.831
AT ITER 8268 NEW BEST:: SOT 31768 SOS 6829 HAS SOPS 6829 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.829
AT ITER 8336 NEW BEST:: SOT 31757 SOS 6821 HAS SOPS 6821 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.821
AT ITER 8360 NEW BEST:: SOT 31742 SOS 7015 HAS SOPS 7015 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5442.015
AT ITER 8370 NEW BEST:: SOT 31741 SOS 7007 HAS SOPS 7007 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5434.007
AT ITER 8398 NEW BEST:: SOT 31734 SOS 7007 HAS SOPS 7007 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.007
AT ITER 8409 NEW BEST:: SOT 31733 SOS 7005 HAS SOPS 7005 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5425.005
AT ITER 8424 NEW BEST:: SOT 31731 SOS 7003 HAS SOPS 7003 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5423.003
AT ITER 8497 NEW BEST:: SOT 31727 SOS 6999 HAS SOPS 6999 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5418.999
AT ITER 8513 NEW BEST:: SOT 31731 SOS 6998 HAS SOPS 6998 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5417.998
AT ITER 8566 NEW BEST:: SOT 31750 SOS 6989 HAS SOPS 6989 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.989
AT ITER 8650 NEW BEST:: SOT 31750 SOS 6970 HAS SOPS 6970 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.97
AT ITER 8655 NEW BEST:: SOT 31742 SOS 6962 HAS SOPS 6962 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.962
AT ITER 8689 NEW BEST:: SOT 31727 SOS 6949 HAS SOPS 6949 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.949
AT ITER 8700 NEW BEST:: SOT 31730 SOS 6945 HAS SOPS 6945 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.945
AT ITER 8711 NEW BEST:: SOT 31729 SOS 6944 HAS SOPS 6944 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.944
AT ITER 8715 NEW BEST:: SOT 31705 SOS 6920 HAS SOPS 6920 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.92
AT ITER 8800 NEW BEST:: SOT 31703 SOS 6916 HAS SOPS 6916 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.916
AT ITER 8876 NEW BEST:: SOT 31698 SOS 6906 HAS SOPS 6906 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5346.906
AT ITER 8888 NEW BEST:: SOT 31699 SOS 6908 HAS SOPS 6908 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.908
AT ITER 8977 NEW BEST:: SOT 31699 SOS 6887 HAS SOPS 6887 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.887
AT ITER 9026 NEW BEST:: SOT 31700 SOS 6902 HAS SOPS 6902 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5332.902
AT ITER 9067 NEW BEST:: SOT 31697 SOS 6899 HAS SOPS 6899 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.899
AT ITER 9238 NEW BEST:: SOT 31665 SOS 6894 HAS SOPS 6894 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.894
AT ITER 9312 NEW BEST:: SOT 31666 SOS 6876 HAS SOPS 6876 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.876
AT ITER 9340 NEW BEST:: SOT 31660 SOS 6870 HAS SOPS 6870 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5321.87
AT ITER 9416 NEW BEST:: SOT 31659 SOS 6868 HAS SOPS 6868 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5319.868
AT ITER 9431 NEW BEST:: SOT 31669 SOS 6867 HAS SOPS 6867 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5318.867
AT ITER 9503 NEW BEST:: SOT 31669 SOS 6865 HAS SOPS 6865 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5316.865
AT ITER 9539 NEW BEST:: SOT 31671 SOS 6864 HAS SOPS 6864 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5315.864
AT ITER 9552 NEW BEST:: SOT 31671 SOS 6862 HAS SOPS 6862 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5315.862
AT ITER 9625 NEW BEST:: SOT 31672 SOS 6848 HAS SOPS 6848 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5301.848
AT ITER 9642 NEW BEST:: SOT 31667 SOS 6844 HAS SOPS 6844 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.844
AT ITER 9656 NEW BEST:: SOT 31667 SOS 6834 HAS SOPS 6834 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.834
AT ITER 9727 NEW BEST:: SOT 31639 SOS 6814 HAS SOPS 6814 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.814
AT ITER 9735 NEW BEST:: SOT 31636 SOS 6801 HAS SOPS 6801 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.801
AT ITER 9936 NEW BEST:: SOT 31628 SOS 6800 HAS SOPS 6800 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5259.8
AT ITER 9945 NEW BEST:: SOT 31631 SOS 6731 HAS SOPS 6731 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5259.731
STATE_SPACE STATES 3143150756787 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50565415250536 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678468029927

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-02, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688200464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-02.tgz
mv BusinessProcesses-PT-02 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 ;