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-167814484200400.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-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:47 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 37K 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 1678367581993

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-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:13:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:13:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:13:03] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2023-03-09 13:13:03] [INFO ] Transformed 135 places.
[2023-03-09 13:13:03] [INFO ] Transformed 92 transitions.
[2023-03-09 13:13:03] [INFO ] Found NUPN structural information;
[2023-03-09 13:13:03] [INFO ] Parsed PT model containing 135 places and 92 transitions and 457 arcs in 98 ms.
[2023-03-09 13:13:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 135 places, 92 transitions and 457 arcs took 4 ms.
Total runtime 129 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05a
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: 135 places, 92 transitions, 457 arcs.
AT ITER 0 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.681
AT ITER 6 NEW BEST:: SOT 9263 SOS 7436 HAS SOPS 7436 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5422.436
AT ITER 8 NEW BEST:: SOT 9187 SOS 7374 HAS SOPS 7374 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5364.374
AT ITER 12 NEW BEST:: SOT 9108 SOS 7292 HAS SOPS 7292 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5316.292
AT ITER 16 NEW BEST:: SOT 9108 SOS 7295 HAS SOPS 7295 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5313.295
AT ITER 17 NEW BEST:: SOT 9116 SOS 7257 HAS SOPS 7257 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5275.257
AT ITER 24 NEW BEST:: SOT 9020 SOS 7169 HAS SOPS 7169 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5239.169
AT ITER 27 NEW BEST:: SOT 9020 SOS 7168 HAS SOPS 7168 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5238.168
AT ITER 31 NEW BEST:: SOT 9020 SOS 7168 HAS SOPS 7168 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5232.168
AT ITER 32 NEW BEST:: SOT 9020 SOS 7168 HAS SOPS 7168 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5231.168
AT ITER 35 NEW BEST:: SOT 9005 SOS 7153 HAS SOPS 7153 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5216.153
AT ITER 36 NEW BEST:: SOT 8846 SOS 6994 HAS SOPS 6994 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5056.994
AT ITER 38 NEW BEST:: SOT 8782 SOS 6938 HAS SOPS 6938 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4994.938
AT ITER 48 NEW BEST:: SOT 8746 SOS 6902 HAS SOPS 6902 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4940.902
AT ITER 49 NEW BEST:: SOT 8721 SOS 6877 HAS SOPS 6877 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4915.877
AT ITER 54 NEW BEST:: SOT 8707 SOS 6847 HAS SOPS 6847 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4905.847
AT ITER 58 NEW BEST:: SOT 8705 SOS 6988 HAS SOPS 6988 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.988
AT ITER 59 NEW BEST:: SOT 8693 SOS 6967 HAS SOPS 6967 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4845.967
AT ITER 61 NEW BEST:: SOT 8693 SOS 6951 HAS SOPS 6951 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4845.951
AT ITER 69 NEW BEST:: SOT 8685 SOS 6943 HAS SOPS 6943 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4837.943
AT ITER 70 NEW BEST:: SOT 8647 SOS 6843 HAS SOPS 6843 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.843
AT ITER 71 NEW BEST:: SOT 8632 SOS 6832 HAS SOPS 6832 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.832
AT ITER 72 NEW BEST:: SOT 8629 SOS 6829 HAS SOPS 6829 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4723.829
AT ITER 73 NEW BEST:: SOT 8602 SOS 6825 HAS SOPS 6825 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4719.825
AT ITER 76 NEW BEST:: SOT 8598 SOS 6821 HAS SOPS 6821 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4715.821
AT ITER 78 NEW BEST:: SOT 8529 SOS 6743 HAS SOPS 6743 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4637.743
AT ITER 81 NEW BEST:: SOT 8529 SOS 6634 HAS SOPS 6634 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4573.634
AT ITER 89 NEW BEST:: SOT 8531 SOS 6612 HAS SOPS 6612 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4551.612
AT ITER 99 NEW BEST:: SOT 8451 SOS 6532 HAS SOPS 6532 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4471.532
AT ITER 107 NEW BEST:: SOT 8451 SOS 6529 HAS SOPS 6529 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4464.529
AT ITER 108 NEW BEST:: SOT 8430 SOS 6508 HAS SOPS 6508 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4443.508
AT ITER 120 NEW BEST:: SOT 8428 SOS 6506 HAS SOPS 6506 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4441.506
AT ITER 122 NEW BEST:: SOT 8375 SOS 6453 HAS SOPS 6453 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4388.453
AT ITER 125 NEW BEST:: SOT 8348 SOS 6388 HAS SOPS 6388 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4323.388
AT ITER 130 NEW BEST:: SOT 8348 SOS 6370 HAS SOPS 6370 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4305.37
AT ITER 136 NEW BEST:: SOT 8348 SOS 6362 HAS SOPS 6362 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4297.362
AT ITER 139 NEW BEST:: SOT 8347 SOS 6356 HAS SOPS 6356 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4291.356
AT ITER 141 NEW BEST:: SOT 8340 SOS 6347 HAS SOPS 6347 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4286.347
AT ITER 144 NEW BEST:: SOT 8353 SOS 6360 HAS SOPS 6360 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4280.36
AT ITER 152 NEW BEST:: SOT 8342 SOS 6349 HAS SOPS 6349 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4269.349
AT ITER 153 NEW BEST:: SOT 8350 SOS 6343 HAS SOPS 6343 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4266.343
AT ITER 154 NEW BEST:: SOT 8350 SOS 6342 HAS SOPS 6342 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4265.342
AT ITER 156 NEW BEST:: SOT 8342 SOS 6334 HAS SOPS 6334 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4257.334
AT ITER 157 NEW BEST:: SOT 8342 SOS 6296 HAS SOPS 6296 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4219.296
AT ITER 164 NEW BEST:: SOT 8154 SOS 6108 HAS SOPS 6108 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4219.108
AT ITER 172 NEW BEST:: SOT 8112 SOS 6057 HAS SOPS 6057 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4185.057
AT ITER 180 NEW BEST:: SOT 8106 SOS 6061 HAS SOPS 6061 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.061
AT ITER 183 NEW BEST:: SOT 8106 SOS 6060 HAS SOPS 6060 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4176.06
AT ITER 185 NEW BEST:: SOT 8056 SOS 6010 HAS SOPS 6010 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4166.01
AT ITER 189 NEW BEST:: SOT 8056 SOS 6020 HAS SOPS 6020 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4156.02
AT ITER 193 NEW BEST:: SOT 8047 SOS 6016 HAS SOPS 6016 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4147.016
AT ITER 199 NEW BEST:: SOT 8044 SOS 6013 HAS SOPS 6013 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4144.013
AT ITER 201 NEW BEST:: SOT 8019 SOS 5988 HAS SOPS 5988 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4118.988
AT ITER 208 NEW BEST:: SOT 8012 SOS 5972 HAS SOPS 5972 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4118.972
AT ITER 215 NEW BEST:: SOT 8018 SOS 5917 HAS SOPS 5917 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4063.917
AT ITER 221 NEW BEST:: SOT 8018 SOS 5926 HAS SOPS 5926 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4054.926
AT ITER 222 NEW BEST:: SOT 8016 SOS 5866 HAS SOPS 5866 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3994.866
AT ITER 224 NEW BEST:: SOT 7941 SOS 5755 HAS SOPS 5755 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3883.755
AT ITER 229 NEW BEST:: SOT 7941 SOS 5744 HAS SOPS 5744 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3872.744
AT ITER 232 NEW BEST:: SOT 7886 SOS 5686 HAS SOPS 5686 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3814.686
AT ITER 237 NEW BEST:: SOT 7883 SOS 5679 HAS SOPS 5679 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3814.679
AT ITER 257 NEW BEST:: SOT 7881 SOS 5652 HAS SOPS 5652 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3812.652
AT ITER 265 NEW BEST:: SOT 7829 SOS 5600 HAS SOPS 5600 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3771.6
AT ITER 267 NEW BEST:: SOT 7826 SOS 5597 HAS SOPS 5597 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3768.597
AT ITER 273 NEW BEST:: SOT 7796 SOS 5567 HAS SOPS 5567 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3738.567
AT ITER 286 NEW BEST:: SOT 7774 SOS 5518 HAS SOPS 5518 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3721.518
AT ITER 299 NEW BEST:: SOT 7774 SOS 5516 HAS SOPS 5516 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.516
AT ITER 301 NEW BEST:: SOT 7824 SOS 5492 HAS SOPS 5492 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3693.492
AT ITER 312 NEW BEST:: SOT 7818 SOS 5486 HAS SOPS 5486 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3687.486
AT ITER 324 NEW BEST:: SOT 7794 SOS 5467 HAS SOPS 5467 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3668.467
AT ITER 335 NEW BEST:: SOT 7756 SOS 5408 HAS SOPS 5408 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3657.408
AT ITER 343 NEW BEST:: SOT 7747 SOS 5390 HAS SOPS 5390 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3639.39
AT ITER 349 NEW BEST:: SOT 7747 SOS 5383 HAS SOPS 5383 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3632.383
AT ITER 350 NEW BEST:: SOT 7744 SOS 5380 HAS SOPS 5380 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3630.38
AT ITER 359 NEW BEST:: SOT 7755 SOS 5334 HAS SOPS 5334 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3619.334
AT ITER 364 NEW BEST:: SOT 7753 SOS 5324 HAS SOPS 5324 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3615.324
AT ITER 367 NEW BEST:: SOT 7718 SOS 5289 HAS SOPS 5289 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3608.289
AT ITER 374 NEW BEST:: SOT 7711 SOS 5258 HAS SOPS 5258 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3589.258
AT ITER 375 NEW BEST:: SOT 7678 SOS 5216 HAS SOPS 5216 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3547.216
AT ITER 384 NEW BEST:: SOT 7782 SOS 5371 HAS SOPS 5371 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3539.371
AT ITER 389 NEW BEST:: SOT 7782 SOS 5376 HAS SOPS 5376 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3534.376
AT ITER 410 NEW BEST:: SOT 7776 SOS 5370 HAS SOPS 5370 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3528.37
AT ITER 423 NEW BEST:: SOT 7772 SOS 5366 HAS SOPS 5366 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3524.366
AT ITER 445 NEW BEST:: SOT 7764 SOS 5351 HAS SOPS 5351 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3509.351
AT ITER 446 NEW BEST:: SOT 7764 SOS 5285 HAS SOPS 5285 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3509.285
AT ITER 448 NEW BEST:: SOT 7721 SOS 5242 HAS SOPS 5242 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3478.242
AT ITER 451 NEW BEST:: SOT 7629 SOS 5135 HAS SOPS 5135 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3417.135
AT ITER 458 NEW BEST:: SOT 7628 SOS 5134 HAS SOPS 5134 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3416.134
AT ITER 463 NEW BEST:: SOT 7622 SOS 5128 HAS SOPS 5128 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3410.128
AT ITER 466 NEW BEST:: SOT 7622 SOS 5131 HAS SOPS 5131 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3398.131
AT ITER 467 NEW BEST:: SOT 7618 SOS 5124 HAS SOPS 5124 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3391.124
AT ITER 468 NEW BEST:: SOT 7617 SOS 5123 HAS SOPS 5123 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3390.123
AT ITER 471 NEW BEST:: SOT 7616 SOS 5122 HAS SOPS 5122 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3389.122
AT ITER 486 NEW BEST:: SOT 7616 SOS 5105 HAS SOPS 5105 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3386.105
AT ITER 497 NEW BEST:: SOT 7611 SOS 5100 HAS SOPS 5100 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3381.1
AT ITER 498 NEW BEST:: SOT 7599 SOS 5085 HAS SOPS 5085 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3366.085
AT ITER 516 NEW BEST:: SOT 7607 SOS 5079 HAS SOPS 5079 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3360.079
AT ITER 521 NEW BEST:: SOT 7485 SOS 4910 HAS SOPS 4910 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3258.91
AT ITER 525 NEW BEST:: SOT 7484 SOS 4909 HAS SOPS 4909 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3258.909
AT ITER 533 NEW BEST:: SOT 7489 SOS 4917 HAS SOPS 4917 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3254.917
AT ITER 535 NEW BEST:: SOT 7550 SOS 4972 HAS SOPS 4972 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3231.972
AT ITER 538 NEW BEST:: SOT 7563 SOS 4937 HAS SOPS 4937 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3196.937
AT ITER 561 NEW BEST:: SOT 7582 SOS 4904 HAS SOPS 4904 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3163.904
AT ITER 573 NEW BEST:: SOT 7582 SOS 4889 HAS SOPS 4889 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3159.889
AT ITER 575 NEW BEST:: SOT 7531 SOS 4838 HAS SOPS 4838 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3116.838
AT ITER 578 NEW BEST:: SOT 7531 SOS 4823 HAS SOPS 4823 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.823
AT ITER 582 NEW BEST:: SOT 7520 SOS 4812 HAS SOPS 4812 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3081.812
AT ITER 583 NEW BEST:: SOT 7520 SOS 4813 HAS SOPS 4813 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3080.813
AT ITER 585 NEW BEST:: SOT 7524 SOS 4817 HAS SOPS 4817 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3071.817
AT ITER 587 NEW BEST:: SOT 7524 SOS 4815 HAS SOPS 4815 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3069.815
AT ITER 592 NEW BEST:: SOT 7470 SOS 4740 HAS SOPS 4740 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3006.74
AT ITER 600 NEW BEST:: SOT 7447 SOS 4726 HAS SOPS 4726 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.726
AT ITER 608 NEW BEST:: SOT 7386 SOS 4672 HAS SOPS 4672 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2942.672
AT ITER 613 NEW BEST:: SOT 7376 SOS 4616 HAS SOPS 4616 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2924.616
AT ITER 629 NEW BEST:: SOT 7384 SOS 4625 HAS SOPS 4625 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2912.625
AT ITER 635 NEW BEST:: SOT 7384 SOS 4615 HAS SOPS 4615 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2902.615
AT ITER 646 NEW BEST:: SOT 7373 SOS 4604 HAS SOPS 4604 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2881.604
AT ITER 662 NEW BEST:: SOT 7373 SOS 4605 HAS SOPS 4605 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2873.605
AT ITER 667 NEW BEST:: SOT 7365 SOS 4590 HAS SOPS 4590 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2858.59
AT ITER 700 NEW BEST:: SOT 7235 SOS 4460 HAS SOPS 4460 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2832.46
AT ITER 709 NEW BEST:: SOT 7151 SOS 4376 HAS SOPS 4376 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2826.376
AT ITER 720 NEW BEST:: SOT 7148 SOS 4372 HAS SOPS 4372 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2822.372
AT ITER 738 NEW BEST:: SOT 7143 SOS 4360 HAS SOPS 4360 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2812.36
AT ITER 761 NEW BEST:: SOT 7143 SOS 4360 HAS SOPS 4360 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2811.36
AT ITER 765 NEW BEST:: SOT 7144 SOS 4361 HAS SOPS 4361 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2793.361
AT ITER 771 NEW BEST:: SOT 7179 SOS 4402 HAS SOPS 4402 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2791.402
AT ITER 777 NEW BEST:: SOT 7178 SOS 4391 HAS SOPS 4391 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2789.391
AT ITER 780 NEW BEST:: SOT 7114 SOS 4304 HAS SOPS 4304 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2786.304
AT ITER 790 NEW BEST:: SOT 7090 SOS 4256 HAS SOPS 4256 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2764.256
AT ITER 794 NEW BEST:: SOT 7084 SOS 4250 HAS SOPS 4250 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2758.25
AT ITER 803 NEW BEST:: SOT 7080 SOS 4242 HAS SOPS 4242 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.242
AT ITER 807 NEW BEST:: SOT 7070 SOS 4232 HAS SOPS 4232 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2740.232
AT ITER 823 NEW BEST:: SOT 7070 SOS 4236 HAS SOPS 4236 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2738.236
AT ITER 837 NEW BEST:: SOT 7070 SOS 4036 HAS SOPS 4036 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.036
AT ITER 845 NEW BEST:: SOT 7072 SOS 4038 HAS SOPS 4038 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2717.038
AT ITER 858 NEW BEST:: SOT 7069 SOS 4035 HAS SOPS 4035 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2714.035
AT ITER 859 NEW BEST:: SOT 7027 SOS 3993 HAS SOPS 3993 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.993
AT ITER 884 NEW BEST:: SOT 7008 SOS 3974 HAS SOPS 3974 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.974
AT ITER 889 NEW BEST:: SOT 6931 SOS 3936 HAS SOPS 3936 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.936
AT ITER 894 NEW BEST:: SOT 6933 SOS 3931 HAS SOPS 3931 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.931
AT ITER 905 NEW BEST:: SOT 6903 SOS 3908 HAS SOPS 3908 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2641.908
AT ITER 907 NEW BEST:: SOT 6899 SOS 3903 HAS SOPS 3903 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2636.903
AT ITER 911 NEW BEST:: SOT 6894 SOS 3898 HAS SOPS 3898 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.898
AT ITER 914 NEW BEST:: SOT 6891 SOS 3895 HAS SOPS 3895 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2628.895
AT ITER 929 NEW BEST:: SOT 6887 SOS 3888 HAS SOPS 3888 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2621.888
AT ITER 934 NEW BEST:: SOT 6881 SOS 3882 HAS SOPS 3882 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.882
AT ITER 952 NEW BEST:: SOT 6855 SOS 3849 HAS SOPS 3849 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2582.849
AT ITER 979 NEW BEST:: SOT 6844 SOS 3874 HAS SOPS 3874 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2579.874
AT ITER 1008 NEW BEST:: SOT 6837 SOS 3867 HAS SOPS 3867 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2572.867
AT ITER 1062 NEW BEST:: SOT 6836 SOS 3866 HAS SOPS 3866 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.866
AT ITER 1064 NEW BEST:: SOT 6830 SOS 3860 HAS SOPS 3860 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.86
AT ITER 1078 NEW BEST:: SOT 6804 SOS 3834 HAS SOPS 3834 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2564.834
AT ITER 1079 NEW BEST:: SOT 6729 SOS 3799 HAS SOPS 3799 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.799
AT ITER 1089 NEW BEST:: SOT 6724 SOS 3794 HAS SOPS 3794 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2524.794
AT ITER 1091 NEW BEST:: SOT 6714 SOS 3784 HAS SOPS 3784 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.784
AT ITER 1144 NEW BEST:: SOT 6714 SOS 3783 HAS SOPS 3783 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.783
AT ITER 1167 NEW BEST:: SOT 6714 SOS 3776 HAS SOPS 3776 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2507.776
AT ITER 1190 NEW BEST:: SOT 6725 SOS 3772 HAS SOPS 3772 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2503.772
AT ITER 1216 NEW BEST:: SOT 6720 SOS 3765 HAS SOPS 3765 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2496.765
AT ITER 1222 NEW BEST:: SOT 6715 SOS 3760 HAS SOPS 3760 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2491.76
AT ITER 1226 NEW BEST:: SOT 6703 SOS 3728 HAS SOPS 3728 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2489.728
AT ITER 1258 NEW BEST:: SOT 6703 SOS 3755 HAS SOPS 3755 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.755
AT ITER 1302 NEW BEST:: SOT 6700 SOS 3739 HAS SOPS 3739 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.739
AT ITER 1316 NEW BEST:: SOT 6694 SOS 3733 HAS SOPS 3733 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.733
AT ITER 1334 NEW BEST:: SOT 6692 SOS 3729 HAS SOPS 3729 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2474.729
AT ITER 1336 NEW BEST:: SOT 6687 SOS 3698 HAS SOPS 3698 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2473.698
AT ITER 1352 NEW BEST:: SOT 6684 SOS 3695 HAS SOPS 3695 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2463.695
AT ITER 1362 NEW BEST:: SOT 6681 SOS 3692 HAS SOPS 3692 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2460.692
AT ITER 1368 NEW BEST:: SOT 6682 SOS 3693 HAS SOPS 3693 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.693
AT ITER 1371 NEW BEST:: SOT 6684 SOS 3695 HAS SOPS 3695 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2437.695
AT ITER 1381 NEW BEST:: SOT 6681 SOS 3692 HAS SOPS 3692 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2434.692
AT ITER 1434 NEW BEST:: SOT 6681 SOS 3691 HAS SOPS 3691 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2433.691
AT ITER 1456 NEW BEST:: SOT 6661 SOS 3671 HAS SOPS 3671 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.671
AT ITER 1459 NEW BEST:: SOT 6660 SOS 3670 HAS SOPS 3670 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.67
AT ITER 1488 NEW BEST:: SOT 6658 SOS 3642 HAS SOPS 3642 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2421.642
AT ITER 1496 NEW BEST:: SOT 6658 SOS 3639 HAS SOPS 3639 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2421.639
AT ITER 1535 NEW BEST:: SOT 6654 SOS 3635 HAS SOPS 3635 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2417.635
AT ITER 1542 NEW BEST:: SOT 6651 SOS 3632 HAS SOPS 3632 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2411.632
AT ITER 1551 NEW BEST:: SOT 6651 SOS 3616 HAS SOPS 3616 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.616
AT ITER 1555 NEW BEST:: SOT 6649 SOS 3614 HAS SOPS 3614 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.614
AT ITER 1588 NEW BEST:: SOT 6645 SOS 3583 HAS SOPS 3583 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.583
AT ITER 1596 NEW BEST:: SOT 6651 SOS 3574 HAS SOPS 3574 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.574
AT ITER 1616 NEW BEST:: SOT 6657 SOS 3570 HAS SOPS 3570 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2345.57
AT ITER 1628 NEW BEST:: SOT 6655 SOS 3568 HAS SOPS 3568 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2343.568
AT ITER 1629 NEW BEST:: SOT 6651 SOS 3564 HAS SOPS 3564 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.564
AT ITER 1632 NEW BEST:: SOT 6646 SOS 3559 HAS SOPS 3559 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2330.559
AT ITER 1652 NEW BEST:: SOT 6647 SOS 3560 HAS SOPS 3560 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.56
AT ITER 1678 NEW BEST:: SOT 6646 SOS 3559 HAS SOPS 3559 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2328.559
AT ITER 1715 NEW BEST:: SOT 6614 SOS 3524 HAS SOPS 3524 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2298.524
AT ITER 1724 NEW BEST:: SOT 6589 SOS 3516 HAS SOPS 3516 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2293.516
AT ITER 1741 NEW BEST:: SOT 6588 SOS 3515 HAS SOPS 3515 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2292.515
AT ITER 1753 NEW BEST:: SOT 6593 SOS 3520 HAS SOPS 3520 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2290.52
AT ITER 1765 NEW BEST:: SOT 6589 SOS 3516 HAS SOPS 3516 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2281.516
AT ITER 1769 NEW BEST:: SOT 6589 SOS 3514 HAS SOPS 3514 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2281.514
AT ITER 1773 NEW BEST:: SOT 6588 SOS 3510 HAS SOPS 3510 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2277.51
AT ITER 1775 NEW BEST:: SOT 6589 SOS 3506 HAS SOPS 3506 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2270.506
AT ITER 1779 NEW BEST:: SOT 6571 SOS 3488 HAS SOPS 3488 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2257.488
AT ITER 1792 NEW BEST:: SOT 6557 SOS 3474 HAS SOPS 3474 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2250.474
AT ITER 1801 NEW BEST:: SOT 6556 SOS 3473 HAS SOPS 3473 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2250.473
AT ITER 1805 NEW BEST:: SOT 6545 SOS 3477 HAS SOPS 3477 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.477
AT ITER 1833 NEW BEST:: SOT 6537 SOS 3469 HAS SOPS 3469 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2235.469
AT ITER 1837 NEW BEST:: SOT 6534 SOS 3466 HAS SOPS 3466 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.466
AT ITER 1842 NEW BEST:: SOT 6520 SOS 3452 HAS SOPS 3452 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.452
AT ITER 1852 NEW BEST:: SOT 6518 SOS 3448 HAS SOPS 3448 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2209.448
AT ITER 1875 NEW BEST:: SOT 6496 SOS 3419 HAS SOPS 3419 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2180.419
AT ITER 1882 NEW BEST:: SOT 6494 SOS 3417 HAS SOPS 3417 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2178.417
AT ITER 1961 NEW BEST:: SOT 6491 SOS 3409 HAS SOPS 3409 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2174.409
AT ITER 1964 NEW BEST:: SOT 6494 SOS 3407 HAS SOPS 3407 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2172.407
AT ITER 1982 NEW BEST:: SOT 6494 SOS 3404 HAS SOPS 3404 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2169.404
AT ITER 2009 NEW BEST:: SOT 6491 SOS 3398 HAS SOPS 3398 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2163.398
AT ITER 2019 NEW BEST:: SOT 6481 SOS 3379 HAS SOPS 3379 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2150.379
AT ITER 2074 NEW BEST:: SOT 6491 SOS 3389 HAS SOPS 3389 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2149.389
AT ITER 2078 NEW BEST:: SOT 6452 SOS 3332 HAS SOPS 3332 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2133.332
AT ITER 2095 NEW BEST:: SOT 6448 SOS 3323 HAS SOPS 3323 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2125.323
AT ITER 2100 NEW BEST:: SOT 6452 SOS 3313 HAS SOPS 3313 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2117.313
AT ITER 2127 NEW BEST:: SOT 6450 SOS 3311 HAS SOPS 3311 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2117.311
AT ITER 2130 NEW BEST:: SOT 6446 SOS 3309 HAS SOPS 3309 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2117.309
AT ITER 2151 NEW BEST:: SOT 6432 SOS 3295 HAS SOPS 3295 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2103.295
AT ITER 2152 NEW BEST:: SOT 6426 SOS 3288 HAS SOPS 3288 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2097.288
AT ITER 2176 NEW BEST:: SOT 6425 SOS 3287 HAS SOPS 3287 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2096.287
AT ITER 2241 NEW BEST:: SOT 6417 SOS 3301 HAS SOPS 3301 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2094.301
AT ITER 2266 NEW BEST:: SOT 6405 SOS 3289 HAS SOPS 3289 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2082.289
AT ITER 2273 NEW BEST:: SOT 6405 SOS 3285 HAS SOPS 3285 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2078.285
AT ITER 2294 NEW BEST:: SOT 6388 SOS 3258 HAS SOPS 3258 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2066.258
AT ITER 2348 NEW BEST:: SOT 6418 SOS 3229 HAS SOPS 3229 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2043.229
AT ITER 2368 NEW BEST:: SOT 6418 SOS 3227 HAS SOPS 3227 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2041.227
AT ITER 2390 NEW BEST:: SOT 6425 SOS 3234 HAS SOPS 3234 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2034.234
AT ITER 2449 NEW BEST:: SOT 6425 SOS 3233 HAS SOPS 3233 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.233
AT ITER 2490 NEW BEST:: SOT 6422 SOS 3226 HAS SOPS 3226 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2032.226
AT ITER 2514 NEW BEST:: SOT 6421 SOS 3224 HAS SOPS 3224 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.224
AT ITER 2553 NEW BEST:: SOT 6432 SOS 3235 HAS SOPS 3235 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2019.235
AT ITER 2568 NEW BEST:: SOT 6430 SOS 3231 HAS SOPS 3231 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2015.231
AT ITER 2592 NEW BEST:: SOT 6430 SOS 3230 HAS SOPS 3230 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2014.23
AT ITER 2617 NEW BEST:: SOT 6427 SOS 3225 HAS SOPS 3225 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2009.225
AT ITER 2629 NEW BEST:: SOT 6427 SOS 3193 HAS SOPS 3193 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2009.193
AT ITER 2641 NEW BEST:: SOT 6429 SOS 3191 HAS SOPS 3191 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2005.191
AT ITER 2671 NEW BEST:: SOT 6430 SOS 3188 HAS SOPS 3188 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1997.188
AT ITER 2679 NEW BEST:: SOT 6442 SOS 3125 HAS SOPS 3125 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1990.125
AT ITER 2684 NEW BEST:: SOT 6438 SOS 3106 HAS SOPS 3106 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1981.106
AT ITER 2691 NEW BEST:: SOT 6438 SOS 3100 HAS SOPS 3100 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1978.1
AT ITER 2708 NEW BEST:: SOT 6436 SOS 3097 HAS SOPS 3097 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1975.097
AT ITER 2710 NEW BEST:: SOT 6426 SOS 3061 HAS SOPS 3061 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1954.061
AT ITER 2734 NEW BEST:: SOT 6440 SOS 3075 HAS SOPS 3075 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.075
AT ITER 2750 NEW BEST:: SOT 6439 SOS 3074 HAS SOPS 3074 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.074
AT ITER 2766 NEW BEST:: SOT 6438 SOS 3065 HAS SOPS 3065 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1931.065
AT ITER 2769 NEW BEST:: SOT 6436 SOS 3063 HAS SOPS 3063 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1929.063
AT ITER 2772 NEW BEST:: SOT 6436 SOS 3060 HAS SOPS 3060 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1926.06
AT ITER 2809 NEW BEST:: SOT 6434 SOS 3058 HAS SOPS 3058 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1924.058
AT ITER 2844 NEW BEST:: SOT 6438 SOS 3062 HAS SOPS 3062 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.062
AT ITER 2860 NEW BEST:: SOT 6433 SOS 3057 HAS SOPS 3057 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1915.057
AT ITER 2890 NEW BEST:: SOT 6433 SOS 3050 HAS SOPS 3050 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.05
AT ITER 2909 NEW BEST:: SOT 6430 SOS 3045 HAS SOPS 3045 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1903.045
AT ITER 2928 NEW BEST:: SOT 6424 SOS 3044 HAS SOPS 3044 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1902.044
AT ITER 2952 NEW BEST:: SOT 6423 SOS 3039 HAS SOPS 3039 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1897.039
AT ITER 2961 NEW BEST:: SOT 6416 SOS 3036 HAS SOPS 3036 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1894.036
AT ITER 2977 NEW BEST:: SOT 6399 SOS 3019 HAS SOPS 3019 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1877.019
AT ITER 2994 NEW BEST:: SOT 6389 SOS 3050 HAS SOPS 3050 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1872.05
AT ITER 3001 NEW BEST:: SOT 6389 SOS 3052 HAS SOPS 3052 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1864.052
AT ITER 3007 NEW BEST:: SOT 6388 SOS 3051 HAS SOPS 3051 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1862.051
AT ITER 3038 NEW BEST:: SOT 6385 SOS 3048 HAS SOPS 3048 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1856.048
AT ITER 3043 NEW BEST:: SOT 6357 SOS 3026 HAS SOPS 3026 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.026
AT ITER 3050 NEW BEST:: SOT 6338 SOS 3007 HAS SOPS 3007 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1837.007
AT ITER 3056 NEW BEST:: SOT 6332 SOS 2979 HAS SOPS 2979 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.979
AT ITER 3064 NEW BEST:: SOT 6331 SOS 2966 HAS SOPS 2966 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.966
AT ITER 3075 NEW BEST:: SOT 6330 SOS 2965 HAS SOPS 2965 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.965
AT ITER 3085 NEW BEST:: SOT 6330 SOS 2964 HAS SOPS 2964 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.964
AT ITER 3100 NEW BEST:: SOT 6313 SOS 2949 HAS SOPS 2949 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.949
AT ITER 3104 NEW BEST:: SOT 6313 SOS 2947 HAS SOPS 2947 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.947
AT ITER 3124 NEW BEST:: SOT 6304 SOS 2930 HAS SOPS 2930 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.93
AT ITER 3128 NEW BEST:: SOT 6302 SOS 2928 HAS SOPS 2928 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.928
AT ITER 3168 NEW BEST:: SOT 6305 SOS 2931 HAS SOPS 2931 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.931
AT ITER 3169 NEW BEST:: SOT 6301 SOS 2923 HAS SOPS 2923 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.923
AT ITER 3173 NEW BEST:: SOT 6298 SOS 2914 HAS SOPS 2914 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.914
AT ITER 3191 NEW BEST:: SOT 6298 SOS 2919 HAS SOPS 2919 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.919
AT ITER 3193 NEW BEST:: SOT 6292 SOS 2907 HAS SOPS 2907 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1752.907
AT ITER 3277 NEW BEST:: SOT 6283 SOS 2897 HAS SOPS 2897 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1740.897
AT ITER 3283 NEW BEST:: SOT 6282 SOS 2888 HAS SOPS 2888 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.888
AT ITER 3309 NEW BEST:: SOT 6278 SOS 2880 HAS SOPS 2880 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.88
AT ITER 3310 NEW BEST:: SOT 6275 SOS 2866 HAS SOPS 2866 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1725.866
AT ITER 3316 NEW BEST:: SOT 6285 SOS 2868 HAS SOPS 2868 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.868
AT ITER 3359 NEW BEST:: SOT 6281 SOS 2872 HAS SOPS 2872 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.872
AT ITER 3380 NEW BEST:: SOT 6278 SOS 2869 HAS SOPS 2869 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.869
AT ITER 3397 NEW BEST:: SOT 6278 SOS 2862 HAS SOPS 2862 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.862
AT ITER 3401 NEW BEST:: SOT 6278 SOS 2860 HAS SOPS 2860 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.86
AT ITER 3412 NEW BEST:: SOT 6275 SOS 2857 HAS SOPS 2857 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.857
AT ITER 3469 NEW BEST:: SOT 6271 SOS 2865 HAS SOPS 2865 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.865
AT ITER 3476 NEW BEST:: SOT 6247 SOS 2841 HAS SOPS 2841 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.841
AT ITER 3485 NEW BEST:: SOT 6246 SOS 2840 HAS SOPS 2840 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.84
AT ITER 3487 NEW BEST:: SOT 6260 SOS 2791 HAS SOPS 2791 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.791
AT ITER 3493 NEW BEST:: SOT 6257 SOS 2786 HAS SOPS 2786 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1682.786
AT ITER 3517 NEW BEST:: SOT 6257 SOS 2782 HAS SOPS 2782 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.782
AT ITER 3576 NEW BEST:: SOT 6257 SOS 2758 HAS SOPS 2758 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.758
AT ITER 3579 NEW BEST:: SOT 6257 SOS 2751 HAS SOPS 2751 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1663.751
AT ITER 3638 NEW BEST:: SOT 6257 SOS 2751 HAS SOPS 2751 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.751
AT ITER 3671 NEW BEST:: SOT 6255 SOS 2748 HAS SOPS 2748 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.748
AT ITER 3685 NEW BEST:: SOT 6252 SOS 2745 HAS SOPS 2745 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.745
AT ITER 3716 NEW BEST:: SOT 6254 SOS 2737 HAS SOPS 2737 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.737
AT ITER 3729 NEW BEST:: SOT 6248 SOS 2732 HAS SOPS 2732 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.732
AT ITER 3789 NEW BEST:: SOT 6248 SOS 2730 HAS SOPS 2730 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.73
AT ITER 3790 NEW BEST:: SOT 6244 SOS 2726 HAS SOPS 2726 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.726
AT ITER 3821 NEW BEST:: SOT 6244 SOS 2726 HAS SOPS 2726 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.726
AT ITER 3883 NEW BEST:: SOT 6242 SOS 2690 HAS SOPS 2690 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.69
AT ITER 3937 NEW BEST:: SOT 6241 SOS 2689 HAS SOPS 2689 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.689
AT ITER 3966 NEW BEST:: SOT 6241 SOS 2683 HAS SOPS 2683 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.683
AT ITER 3995 NEW BEST:: SOT 6241 SOS 2683 HAS SOPS 2683 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.683
AT ITER 4003 NEW BEST:: SOT 6242 SOS 2692 HAS SOPS 2692 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1616.692
AT ITER 4074 NEW BEST:: SOT 6240 SOS 2690 HAS SOPS 2690 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1616.69
AT ITER 4113 NEW BEST:: SOT 6238 SOS 2695 HAS SOPS 2695 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1612.695
AT ITER 4114 NEW BEST:: SOT 6245 SOS 2666 HAS SOPS 2666 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.666
AT ITER 4161 NEW BEST:: SOT 6244 SOS 2665 HAS SOPS 2665 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.665
AT ITER 4198 NEW BEST:: SOT 6240 SOS 2663 HAS SOPS 2663 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1597.663
AT ITER 4202 NEW BEST:: SOT 6239 SOS 2662 HAS SOPS 2662 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.662
AT ITER 4203 NEW BEST:: SOT 6237 SOS 2662 HAS SOPS 2662 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1593.662
AT ITER 4225 NEW BEST:: SOT 6235 SOS 2660 HAS SOPS 2660 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1591.66
AT ITER 4285 NEW BEST:: SOT 6230 SOS 2646 HAS SOPS 2646 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1577.646
AT ITER 4325 NEW BEST:: SOT 6211 SOS 2639 HAS SOPS 2639 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.639
AT ITER 4349 NEW BEST:: SOT 6209 SOS 2639 HAS SOPS 2639 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.639
AT ITER 4353 NEW BEST:: SOT 6203 SOS 2630 HAS SOPS 2630 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1555.63
AT ITER 4359 NEW BEST:: SOT 6200 SOS 2627 HAS SOPS 2627 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1555.627
AT ITER 4428 NEW BEST:: SOT 6200 SOS 2621 HAS SOPS 2621 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1553.621
AT ITER 4458 NEW BEST:: SOT 6196 SOS 2617 HAS SOPS 2617 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1551.617
AT ITER 4541 NEW BEST:: SOT 6191 SOS 2612 HAS SOPS 2612 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1546.612
AT ITER 4590 NEW BEST:: SOT 6179 SOS 2606 HAS SOPS 2606 HAS SOUS 1543 HAS SOUPS 1543 WITH SCORE 1545.606
AT ITER 4721 NEW BEST:: SOT 6179 SOS 2592 HAS SOPS 2592 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.592
AT ITER 4738 NEW BEST:: SOT 6179 SOS 2591 HAS SOPS 2591 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.591
AT ITER 4756 NEW BEST:: SOT 6176 SOS 2585 HAS SOPS 2585 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1536.585
AT ITER 4758 NEW BEST:: SOT 6176 SOS 2580 HAS SOPS 2580 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1535.58
AT ITER 4781 NEW BEST:: SOT 6168 SOS 2572 HAS SOPS 2572 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1531.572
AT ITER 4930 NEW BEST:: SOT 6167 SOS 2561 HAS SOPS 2561 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1531.561
AT ITER 5038 NEW BEST:: SOT 6154 SOS 2535 HAS SOPS 2535 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.535
AT ITER 5060 NEW BEST:: SOT 6153 SOS 2533 HAS SOPS 2533 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1503.533
AT ITER 5068 NEW BEST:: SOT 6151 SOS 2531 HAS SOPS 2531 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.531
AT ITER 5092 NEW BEST:: SOT 6166 SOS 2526 HAS SOPS 2526 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.526
AT ITER 5154 NEW BEST:: SOT 6166 SOS 2533 HAS SOPS 2533 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1500.533
AT ITER 5166 NEW BEST:: SOT 6164 SOS 2531 HAS SOPS 2531 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1498.531
AT ITER 5193 NEW BEST:: SOT 6169 SOS 2543 HAS SOPS 2543 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1497.543
AT ITER 5315 NEW BEST:: SOT 6168 SOS 2540 HAS SOPS 2540 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1495.54
AT ITER 5407 NEW BEST:: SOT 6168 SOS 2540 HAS SOPS 2540 HAS SOUS 1492 HAS SOUPS 1492 WITH SCORE 1494.54
AT ITER 5519 NEW BEST:: SOT 6168 SOS 2536 HAS SOPS 2536 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.536
AT ITER 5526 NEW BEST:: SOT 6164 SOS 2532 HAS SOPS 2532 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1482.532
AT ITER 5555 NEW BEST:: SOT 6162 SOS 2530 HAS SOPS 2530 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1480.53
AT ITER 5573 NEW BEST:: SOT 6162 SOS 2530 HAS SOPS 2530 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.53
AT ITER 5591 NEW BEST:: SOT 6160 SOS 2526 HAS SOPS 2526 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.526
AT ITER 5611 NEW BEST:: SOT 6148 SOS 2522 HAS SOPS 2522 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.522
AT ITER 5616 NEW BEST:: SOT 6146 SOS 2518 HAS SOPS 2518 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.518
AT ITER 5635 NEW BEST:: SOT 6141 SOS 2507 HAS SOPS 2507 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1464.507
AT ITER 5669 NEW BEST:: SOT 6141 SOS 2503 HAS SOPS 2503 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1460.503
AT ITER 5679 NEW BEST:: SOT 6139 SOS 2499 HAS SOPS 2499 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1456.499
AT ITER 5792 NEW BEST:: SOT 6139 SOS 2495 HAS SOPS 2495 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1456.495
AT ITER 5797 NEW BEST:: SOT 6138 SOS 2494 HAS SOPS 2494 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1455.494
AT ITER 5836 NEW BEST:: SOT 6137 SOS 2492 HAS SOPS 2492 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1453.492
AT ITER 5891 NEW BEST:: SOT 6136 SOS 2491 HAS SOPS 2491 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1452.491
AT ITER 5945 NEW BEST:: SOT 6136 SOS 2491 HAS SOPS 2491 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1451.491
AT ITER 5979 NEW BEST:: SOT 6135 SOS 2488 HAS SOPS 2488 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1450.488
AT ITER 5997 NEW BEST:: SOT 6135 SOS 2481 HAS SOPS 2481 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1450.481
AT ITER 6043 NEW BEST:: SOT 6127 SOS 2476 HAS SOPS 2476 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1445.476
AT ITER 6087 NEW BEST:: SOT 6125 SOS 2471 HAS SOPS 2471 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1440.471
AT ITER 6096 NEW BEST:: SOT 6122 SOS 2465 HAS SOPS 2465 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.465
AT ITER 6150 NEW BEST:: SOT 6121 SOS 2464 HAS SOPS 2464 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1436.464
AT ITER 6202 NEW BEST:: SOT 6116 SOS 2454 HAS SOPS 2454 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.454
AT ITER 6209 NEW BEST:: SOT 6120 SOS 2453 HAS SOPS 2453 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1433.453
AT ITER 6350 NEW BEST:: SOT 6120 SOS 2452 HAS SOPS 2452 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1432.452
AT ITER 6368 NEW BEST:: SOT 6117 SOS 2451 HAS SOPS 2451 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1431.451
AT ITER 6412 NEW BEST:: SOT 6111 SOS 2438 HAS SOPS 2438 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.438
AT ITER 6462 NEW BEST:: SOT 6111 SOS 2437 HAS SOPS 2437 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1429.437
AT ITER 6522 NEW BEST:: SOT 6110 SOS 2436 HAS SOPS 2436 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1428.436
AT ITER 6600 NEW BEST:: SOT 6108 SOS 2433 HAS SOPS 2433 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1425.433
AT ITER 6663 NEW BEST:: SOT 6106 SOS 2436 HAS SOPS 2436 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1424.436
AT ITER 6664 NEW BEST:: SOT 6107 SOS 2434 HAS SOPS 2434 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1422.434
AT ITER 6741 NEW BEST:: SOT 6101 SOS 2429 HAS SOPS 2429 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1422.429
AT ITER 6766 NEW BEST:: SOT 6100 SOS 2428 HAS SOPS 2428 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1421.428
AT ITER 6776 NEW BEST:: SOT 6097 SOS 2424 HAS SOPS 2424 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1420.424
AT ITER 6800 NEW BEST:: SOT 6097 SOS 2419 HAS SOPS 2419 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1415.419
AT ITER 6972 NEW BEST:: SOT 6093 SOS 2415 HAS SOPS 2415 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1412.415
AT ITER 7054 NEW BEST:: SOT 6090 SOS 2409 HAS SOPS 2409 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1406.409
AT ITER 7149 NEW BEST:: SOT 6090 SOS 2408 HAS SOPS 2408 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1406.408
AT ITER 7184 NEW BEST:: SOT 6088 SOS 2406 HAS SOPS 2406 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1404.406
AT ITER 7375 NEW BEST:: SOT 6087 SOS 2402 HAS SOPS 2402 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1400.402
AT ITER 7539 NEW BEST:: SOT 6093 SOS 2400 HAS SOPS 2400 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1400.4
AT ITER 7813 NEW BEST:: SOT 6090 SOS 2397 HAS SOPS 2397 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1397.397
AT ITER 7898 NEW BEST:: SOT 6090 SOS 2396 HAS SOPS 2396 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1397.396
AT ITER 7956 NEW BEST:: SOT 6090 SOS 2396 HAS SOPS 2396 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1393.396
AT ITER 8234 NEW BEST:: SOT 6087 SOS 2392 HAS SOPS 2392 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1389.392
AT ITER 8295 NEW BEST:: SOT 6088 SOS 2388 HAS SOPS 2388 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1386.388
AT ITER 8358 NEW BEST:: SOT 6092 SOS 2392 HAS SOPS 2392 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1385.392
AT ITER 8371 NEW BEST:: SOT 6091 SOS 2388 HAS SOPS 2388 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1381.388
AT ITER 8584 NEW BEST:: SOT 6091 SOS 2367 HAS SOPS 2367 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1374.367
AT ITER 8772 NEW BEST:: SOT 6081 SOS 2325 HAS SOPS 2325 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1368.325
AT ITER 8996 NEW BEST:: SOT 6080 SOS 2321 HAS SOPS 2321 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1366.321
AT ITER 8997 NEW BEST:: SOT 6080 SOS 2322 HAS SOPS 2322 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1363.322
AT ITER 9174 NEW BEST:: SOT 6079 SOS 2319 HAS SOPS 2319 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1360.319
AT ITER 9180 NEW BEST:: SOT 6079 SOS 2318 HAS SOPS 2318 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1359.318
AT ITER 9268 NEW BEST:: SOT 6081 SOS 2318 HAS SOPS 2318 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.318
AT ITER 9388 NEW BEST:: SOT 6080 SOS 2312 HAS SOPS 2312 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1356.312
AT ITER 9404 NEW BEST:: SOT 6048 SOS 2264 HAS SOPS 2264 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1356.264
AT ITER 9512 NEW BEST:: SOT 6047 SOS 2261 HAS SOPS 2261 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1353.261
AT ITER 9629 NEW BEST:: SOT 6046 SOS 2259 HAS SOPS 2259 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1351.259
AT ITER 9691 NEW BEST:: SOT 6044 SOS 2257 HAS SOPS 2257 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1349.257
AT ITER 9703 NEW BEST:: SOT 6044 SOS 2247 HAS SOPS 2247 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1342.247
AT ITER 9748 NEW BEST:: SOT 6043 SOS 2246 HAS SOPS 2246 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1341.246
AT ITER 9881 NEW BEST:: SOT 6042 SOS 2245 HAS SOPS 2245 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1341.245
AT ITER 9942 NEW BEST:: SOT 6039 SOS 2242 HAS SOPS 2242 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1341.242
STATE_SPACE STATES 230998451325 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2803883967521 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678367656121

--------------------
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

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-05a"
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-05a, 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-167814484200400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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