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.r043-tajo-167813697000584.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 smartxred
Input is BusinessProcesses-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 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 161K 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 1678794662479

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=BusinessProcesses-PT-17
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:51:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:51:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:51:04] [INFO ] Load time of PNML (sax parser for PT used): 68 ms
[2023-03-14 11:51:04] [INFO ] Transformed 650 places.
[2023-03-14 11:51:04] [INFO ] Transformed 580 transitions.
[2023-03-14 11:51:04] [INFO ] Found NUPN structural information;
[2023-03-14 11:51:04] [INFO ] Parsed PT model containing 650 places and 580 transitions and 1709 arcs in 133 ms.
[2023-03-14 11:51:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 650 places, 580 transitions and 1709 arcs took 8 ms.
Total runtime 173 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 17
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: 650 places, 580 transitions, 1709 arcs.
AT ITER 0 NEW BEST:: SOT 238524 SOS 92850 HAS SOPS 92850 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90300.85
AT ITER 1 NEW BEST:: SOT 238613 SOS 92813 HAS SOPS 92813 HAS SOUS 90171 HAS SOUPS 90171 WITH SCORE 90263.813
AT ITER 4 NEW BEST:: SOT 238613 SOS 92753 HAS SOPS 92753 HAS SOUS 90051 HAS SOUPS 90051 WITH SCORE 90143.753
AT ITER 8 NEW BEST:: SOT 238613 SOS 92646 HAS SOPS 92646 HAS SOUS 89944 HAS SOUPS 89944 WITH SCORE 90036.646
AT ITER 20 NEW BEST:: SOT 238277 SOS 92191 HAS SOPS 92191 HAS SOUS 89515 HAS SOUPS 89515 WITH SCORE 89607.191
AT ITER 23 NEW BEST:: SOT 238175 SOS 92138 HAS SOPS 92138 HAS SOUS 89462 HAS SOUPS 89462 WITH SCORE 89554.138
AT ITER 28 NEW BEST:: SOT 238175 SOS 92015 HAS SOPS 92015 HAS SOUS 89339 HAS SOUPS 89339 WITH SCORE 89431.015
AT ITER 30 NEW BEST:: SOT 238175 SOS 91933 HAS SOPS 91933 HAS SOUS 89257 HAS SOUPS 89257 WITH SCORE 89348.933
AT ITER 32 NEW BEST:: SOT 238175 SOS 91875 HAS SOPS 91875 HAS SOUS 89199 HAS SOUPS 89199 WITH SCORE 89290.875
AT ITER 33 NEW BEST:: SOT 238174 SOS 91747 HAS SOPS 91747 HAS SOUS 89071 HAS SOUPS 89071 WITH SCORE 89162.747
AT ITER 37 NEW BEST:: SOT 238016 SOS 91562 HAS SOPS 91562 HAS SOUS 88886 HAS SOUPS 88886 WITH SCORE 88977.562
AT ITER 40 NEW BEST:: SOT 238016 SOS 91517 HAS SOPS 91517 HAS SOUS 88841 HAS SOUPS 88841 WITH SCORE 88932.517
AT ITER 50 NEW BEST:: SOT 237935 SOS 91346 HAS SOPS 91346 HAS SOUS 88670 HAS SOUPS 88670 WITH SCORE 88761.346
AT ITER 58 NEW BEST:: SOT 237902 SOS 91313 HAS SOPS 91313 HAS SOUS 88637 HAS SOUPS 88637 WITH SCORE 88728.313
AT ITER 59 NEW BEST:: SOT 237898 SOS 91305 HAS SOPS 91305 HAS SOUS 88629 HAS SOUPS 88629 WITH SCORE 88720.305
AT ITER 66 NEW BEST:: SOT 237897 SOS 91303 HAS SOPS 91303 HAS SOUS 88627 HAS SOUPS 88627 WITH SCORE 88718.303
AT ITER 67 NEW BEST:: SOT 237887 SOS 91283 HAS SOPS 91283 HAS SOUS 88607 HAS SOUPS 88607 WITH SCORE 88698.283
AT ITER 93 NEW BEST:: SOT 237887 SOS 91281 HAS SOPS 91281 HAS SOUS 88605 HAS SOUPS 88605 WITH SCORE 88696.281
AT ITER 96 NEW BEST:: SOT 237887 SOS 91198 HAS SOPS 91198 HAS SOUS 88522 HAS SOUPS 88522 WITH SCORE 88613.198
AT ITER 106 NEW BEST:: SOT 237886 SOS 91090 HAS SOPS 91090 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88505.09
AT ITER 114 NEW BEST:: SOT 237828 SOS 91019 HAS SOPS 91019 HAS SOUS 88343 HAS SOUPS 88343 WITH SCORE 88434.019
AT ITER 115 NEW BEST:: SOT 237735 SOS 90355 HAS SOPS 90355 HAS SOUS 87861 HAS SOUPS 87861 WITH SCORE 87951.355
AT ITER 117 NEW BEST:: SOT 237641 SOS 90275 HAS SOPS 90275 HAS SOUS 87755 HAS SOUPS 87755 WITH SCORE 87845.275
AT ITER 125 NEW BEST:: SOT 237641 SOS 90275 HAS SOPS 90275 HAS SOUS 87618 HAS SOUPS 87618 WITH SCORE 87708.275
AT ITER 131 NEW BEST:: SOT 237684 SOS 90257 HAS SOPS 90257 HAS SOUS 87600 HAS SOUPS 87600 WITH SCORE 87690.257
AT ITER 142 NEW BEST:: SOT 237641 SOS 90201 HAS SOPS 90201 HAS SOUS 87544 HAS SOUPS 87544 WITH SCORE 87634.201
AT ITER 145 NEW BEST:: SOT 237641 SOS 89971 HAS SOPS 89971 HAS SOUS 87314 HAS SOUPS 87314 WITH SCORE 87403.971
AT ITER 149 NEW BEST:: SOT 237456 SOS 89786 HAS SOPS 89786 HAS SOUS 87129 HAS SOUPS 87129 WITH SCORE 87218.786
AT ITER 160 NEW BEST:: SOT 237437 SOS 89126 HAS SOPS 89126 HAS SOUS 86590 HAS SOUPS 86590 WITH SCORE 86679.126
AT ITER 175 NEW BEST:: SOT 237492 SOS 89080 HAS SOPS 89080 HAS SOUS 86544 HAS SOUPS 86544 WITH SCORE 86633.08
AT ITER 178 NEW BEST:: SOT 237408 SOS 88996 HAS SOPS 88996 HAS SOUS 86459 HAS SOUPS 86459 WITH SCORE 86547.996
AT ITER 179 NEW BEST:: SOT 230668 SOS 98239 HAS SOPS 98239 HAS SOUS 80434 HAS SOUPS 80434 WITH SCORE 80532.239
AT ITER 186 NEW BEST:: SOT 230699 SOS 98270 HAS SOPS 98270 HAS SOUS 80415 HAS SOUPS 80415 WITH SCORE 80513.27
AT ITER 212 NEW BEST:: SOT 230514 SOS 97900 HAS SOPS 97900 HAS SOUS 80230 HAS SOUPS 80230 WITH SCORE 80327.9
AT ITER 214 NEW BEST:: SOT 230513 SOS 97776 HAS SOPS 97776 HAS SOUS 80143 HAS SOUPS 80143 WITH SCORE 80240.776
AT ITER 217 NEW BEST:: SOT 230513 SOS 97474 HAS SOPS 97474 HAS SOUS 80012 HAS SOUPS 80012 WITH SCORE 80109.474
AT ITER 224 NEW BEST:: SOT 230412 SOS 97372 HAS SOPS 97372 HAS SOUS 79906 HAS SOUPS 79906 WITH SCORE 80003.372
AT ITER 227 NEW BEST:: SOT 230323 SOS 97283 HAS SOPS 97283 HAS SOUS 79816 HAS SOUPS 79816 WITH SCORE 79913.283
AT ITER 233 NEW BEST:: SOT 230323 SOS 97283 HAS SOPS 97283 HAS SOUS 79736 HAS SOUPS 79736 WITH SCORE 79833.283
AT ITER 244 NEW BEST:: SOT 230123 SOS 97047 HAS SOPS 97047 HAS SOUS 79571 HAS SOUPS 79571 WITH SCORE 79668.047
AT ITER 253 NEW BEST:: SOT 230110 SOS 97021 HAS SOPS 97021 HAS SOUS 79545 HAS SOUPS 79545 WITH SCORE 79642.021
AT ITER 257 NEW BEST:: SOT 229928 SOS 96657 HAS SOPS 96657 HAS SOUS 79333 HAS SOUPS 79333 WITH SCORE 79429.657
AT ITER 272 NEW BEST:: SOT 229954 SOS 96683 HAS SOPS 96683 HAS SOUS 79269 HAS SOUPS 79269 WITH SCORE 79365.683
AT ITER 275 NEW BEST:: SOT 229801 SOS 96340 HAS SOPS 96340 HAS SOUS 79118 HAS SOUPS 79118 WITH SCORE 79214.34
AT ITER 303 NEW BEST:: SOT 229512 SOS 95864 HAS SOPS 95864 HAS SOUS 78642 HAS SOUPS 78642 WITH SCORE 78737.864
AT ITER 321 NEW BEST:: SOT 229419 SOS 95678 HAS SOPS 95678 HAS SOUS 78465 HAS SOUPS 78465 WITH SCORE 78560.678
AT ITER 330 NEW BEST:: SOT 229419 SOS 95638 HAS SOPS 95638 HAS SOUS 78425 HAS SOUPS 78425 WITH SCORE 78520.638
AT ITER 342 NEW BEST:: SOT 229381 SOS 95600 HAS SOPS 95600 HAS SOUS 78425 HAS SOUPS 78425 WITH SCORE 78520.6
AT ITER 343 NEW BEST:: SOT 229338 SOS 95557 HAS SOPS 95557 HAS SOUS 78382 HAS SOUPS 78382 WITH SCORE 78477.557
AT ITER 346 NEW BEST:: SOT 229148 SOS 95170 HAS SOPS 95170 HAS SOUS 78129 HAS SOUPS 78129 WITH SCORE 78224.17
AT ITER 355 NEW BEST:: SOT 229026 SOS 95086 HAS SOPS 95086 HAS SOUS 78045 HAS SOUPS 78045 WITH SCORE 78140.086
AT ITER 358 NEW BEST:: SOT 228920 SOS 94988 HAS SOPS 94988 HAS SOUS 77946 HAS SOUPS 77946 WITH SCORE 78040.988
AT ITER 366 NEW BEST:: SOT 228858 SOS 94516 HAS SOPS 94516 HAS SOUS 77898 HAS SOUPS 77898 WITH SCORE 77992.516
AT ITER 367 NEW BEST:: SOT 228904 SOS 94368 HAS SOPS 94368 HAS SOUS 77845 HAS SOUPS 77845 WITH SCORE 77939.368
AT ITER 375 NEW BEST:: SOT 228904 SOS 94333 HAS SOPS 94333 HAS SOUS 77810 HAS SOUPS 77810 WITH SCORE 77904.333
AT ITER 386 NEW BEST:: SOT 228903 SOS 94331 HAS SOPS 94331 HAS SOUS 77808 HAS SOUPS 77808 WITH SCORE 77902.331
AT ITER 389 NEW BEST:: SOT 228746 SOS 94174 HAS SOPS 94174 HAS SOUS 77651 HAS SOUPS 77651 WITH SCORE 77745.174
AT ITER 395 NEW BEST:: SOT 228595 SOS 94016 HAS SOPS 94016 HAS SOUS 77650 HAS SOUPS 77650 WITH SCORE 77744.016
AT ITER 397 NEW BEST:: SOT 228566 SOS 93991 HAS SOPS 93991 HAS SOUS 77625 HAS SOUPS 77625 WITH SCORE 77718.991
AT ITER 413 NEW BEST:: SOT 228420 SOS 93628 HAS SOPS 93628 HAS SOUS 77532 HAS SOUPS 77532 WITH SCORE 77625.628
AT ITER 418 NEW BEST:: SOT 228420 SOS 93598 HAS SOPS 93598 HAS SOUS 77502 HAS SOUPS 77502 WITH SCORE 77595.598
AT ITER 428 NEW BEST:: SOT 228420 SOS 93598 HAS SOPS 93598 HAS SOUS 77340 HAS SOUPS 77340 WITH SCORE 77433.598
AT ITER 430 NEW BEST:: SOT 228364 SOS 93541 HAS SOPS 93541 HAS SOUS 77283 HAS SOUPS 77283 WITH SCORE 77376.541
AT ITER 434 NEW BEST:: SOT 228340 SOS 93517 HAS SOPS 93517 HAS SOUS 77259 HAS SOUPS 77259 WITH SCORE 77352.517
AT ITER 447 NEW BEST:: SOT 228340 SOS 93517 HAS SOPS 93517 HAS SOUS 77257 HAS SOUPS 77257 WITH SCORE 77350.517
AT ITER 450 NEW BEST:: SOT 228340 SOS 93507 HAS SOPS 93507 HAS SOUS 77257 HAS SOUPS 77257 WITH SCORE 77350.507
AT ITER 453 NEW BEST:: SOT 228453 SOS 93620 HAS SOPS 93620 HAS SOUS 77212 HAS SOUPS 77212 WITH SCORE 77305.62
AT ITER 454 NEW BEST:: SOT 228306 SOS 93282 HAS SOPS 93282 HAS SOUS 76874 HAS SOUPS 76874 WITH SCORE 76967.282
AT ITER 476 NEW BEST:: SOT 228271 SOS 93212 HAS SOPS 93212 HAS SOUS 76813 HAS SOUPS 76813 WITH SCORE 76906.212
AT ITER 490 NEW BEST:: SOT 228175 SOS 93275 HAS SOPS 93275 HAS SOUS 76691 HAS SOUPS 76691 WITH SCORE 76784.275
AT ITER 507 NEW BEST:: SOT 228174 SOS 93032 HAS SOPS 93032 HAS SOUS 76448 HAS SOUPS 76448 WITH SCORE 76541.032
AT ITER 510 NEW BEST:: SOT 227958 SOS 92601 HAS SOPS 92601 HAS SOUS 76061 HAS SOUPS 76061 WITH SCORE 76153.601
AT ITER 512 NEW BEST:: SOT 228001 SOS 92589 HAS SOPS 92589 HAS SOUS 76018 HAS SOUPS 76018 WITH SCORE 76110.589
AT ITER 517 NEW BEST:: SOT 227121 SOS 91629 HAS SOPS 91629 HAS SOUS 75058 HAS SOUPS 75058 WITH SCORE 75149.629
AT ITER 518 NEW BEST:: SOT 227057 SOS 91600 HAS SOPS 91600 HAS SOUS 75029 HAS SOUPS 75029 WITH SCORE 75120.6
AT ITER 525 NEW BEST:: SOT 226869 SOS 91281 HAS SOPS 91281 HAS SOUS 74756 HAS SOUPS 74756 WITH SCORE 74847.281
AT ITER 549 NEW BEST:: SOT 226627 SOS 90848 HAS SOPS 90848 HAS SOUS 74459 HAS SOUPS 74459 WITH SCORE 74549.848
AT ITER 557 NEW BEST:: SOT 226624 SOS 90845 HAS SOPS 90845 HAS SOUS 74456 HAS SOUPS 74456 WITH SCORE 74546.845
AT ITER 564 NEW BEST:: SOT 226622 SOS 90843 HAS SOPS 90843 HAS SOUS 74454 HAS SOUPS 74454 WITH SCORE 74544.843
AT ITER 569 NEW BEST:: SOT 226526 SOS 90811 HAS SOPS 90811 HAS SOUS 74329 HAS SOUPS 74329 WITH SCORE 74419.811
AT ITER 570 NEW BEST:: SOT 226525 SOS 90499 HAS SOPS 90499 HAS SOUS 74151 HAS SOUPS 74151 WITH SCORE 74241.499
AT ITER 580 NEW BEST:: SOT 226457 SOS 90429 HAS SOPS 90429 HAS SOUS 74081 HAS SOUPS 74081 WITH SCORE 74171.429
AT ITER 584 NEW BEST:: SOT 226457 SOS 90396 HAS SOPS 90396 HAS SOUS 74048 HAS SOUPS 74048 WITH SCORE 74138.396
AT ITER 591 NEW BEST:: SOT 226187 SOS 89815 HAS SOPS 89815 HAS SOUS 73476 HAS SOUPS 73476 WITH SCORE 73565.815
AT ITER 605 NEW BEST:: SOT 226159 SOS 89528 HAS SOPS 89528 HAS SOUS 73366 HAS SOUPS 73366 WITH SCORE 73455.528
AT ITER 606 NEW BEST:: SOT 226117 SOS 89444 HAS SOPS 89444 HAS SOUS 73282 HAS SOUPS 73282 WITH SCORE 73371.444
AT ITER 609 NEW BEST:: SOT 226213 SOS 89317 HAS SOPS 89317 HAS SOUS 73155 HAS SOUPS 73155 WITH SCORE 73244.317
AT ITER 625 NEW BEST:: SOT 226157 SOS 89317 HAS SOPS 89317 HAS SOUS 73154 HAS SOUPS 73154 WITH SCORE 73243.317
AT ITER 632 NEW BEST:: SOT 226161 SOS 89105 HAS SOPS 89105 HAS SOUS 72942 HAS SOUPS 72942 WITH SCORE 73031.105
AT ITER 639 NEW BEST:: SOT 226161 SOS 89084 HAS SOPS 89084 HAS SOUS 72921 HAS SOUPS 72921 WITH SCORE 73010.084
AT ITER 640 NEW BEST:: SOT 226126 SOS 88979 HAS SOPS 88979 HAS SOUS 72848 HAS SOUPS 72848 WITH SCORE 72936.979
AT ITER 643 NEW BEST:: SOT 226050 SOS 88753 HAS SOPS 88753 HAS SOUS 72622 HAS SOUPS 72622 WITH SCORE 72710.753
AT ITER 662 NEW BEST:: SOT 225870 SOS 88543 HAS SOPS 88543 HAS SOUS 72562 HAS SOUPS 72562 WITH SCORE 72650.543
AT ITER 676 NEW BEST:: SOT 225759 SOS 88454 HAS SOPS 88454 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72560.454
AT ITER 679 NEW BEST:: SOT 225758 SOS 88453 HAS SOPS 88453 HAS SOUS 72471 HAS SOUPS 72471 WITH SCORE 72559.453
AT ITER 693 NEW BEST:: SOT 225758 SOS 88453 HAS SOPS 88453 HAS SOUS 72461 HAS SOUPS 72461 WITH SCORE 72549.453
AT ITER 698 NEW BEST:: SOT 225756 SOS 88451 HAS SOPS 88451 HAS SOUS 72460 HAS SOUPS 72460 WITH SCORE 72548.451
AT ITER 703 NEW BEST:: SOT 225756 SOS 88449 HAS SOPS 88449 HAS SOUS 72458 HAS SOUPS 72458 WITH SCORE 72546.449
AT ITER 721 NEW BEST:: SOT 225746 SOS 88378 HAS SOPS 88378 HAS SOUS 72326 HAS SOUPS 72326 WITH SCORE 72414.378
AT ITER 729 NEW BEST:: SOT 225729 SOS 88372 HAS SOPS 88372 HAS SOUS 72320 HAS SOUPS 72320 WITH SCORE 72408.372
AT ITER 741 NEW BEST:: SOT 225700 SOS 88342 HAS SOPS 88342 HAS SOUS 72309 HAS SOUPS 72309 WITH SCORE 72397.342
AT ITER 746 NEW BEST:: SOT 225693 SOS 88328 HAS SOPS 88328 HAS SOUS 72295 HAS SOUPS 72295 WITH SCORE 72383.328
AT ITER 751 NEW BEST:: SOT 225601 SOS 88152 HAS SOPS 88152 HAS SOUS 72119 HAS SOUPS 72119 WITH SCORE 72207.152
AT ITER 757 NEW BEST:: SOT 225479 SOS 87908 HAS SOPS 87908 HAS SOUS 71997 HAS SOUPS 71997 WITH SCORE 72084.908
AT ITER 768 NEW BEST:: SOT 225477 SOS 87900 HAS SOPS 87900 HAS SOUS 71995 HAS SOUPS 71995 WITH SCORE 72082.9
AT ITER 772 NEW BEST:: SOT 225181 SOS 87604 HAS SOPS 87604 HAS SOUS 71699 HAS SOUPS 71699 WITH SCORE 71786.604
AT ITER 777 NEW BEST:: SOT 225202 SOS 87625 HAS SOPS 87625 HAS SOUS 71676 HAS SOUPS 71676 WITH SCORE 71763.625
AT ITER 780 NEW BEST:: SOT 225125 SOS 87423 HAS SOPS 87423 HAS SOUS 71474 HAS SOUPS 71474 WITH SCORE 71561.423
AT ITER 785 NEW BEST:: SOT 224946 SOS 87176 HAS SOPS 87176 HAS SOUS 71301 HAS SOUPS 71301 WITH SCORE 71388.176
AT ITER 786 NEW BEST:: SOT 224947 SOS 87154 HAS SOPS 87154 HAS SOUS 71279 HAS SOUPS 71279 WITH SCORE 71366.154
AT ITER 789 NEW BEST:: SOT 224947 SOS 87153 HAS SOPS 87153 HAS SOUS 71278 HAS SOUPS 71278 WITH SCORE 71365.153
AT ITER 796 NEW BEST:: SOT 224793 SOS 86666 HAS SOPS 86666 HAS SOUS 70774 HAS SOUPS 70774 WITH SCORE 70860.666
AT ITER 804 NEW BEST:: SOT 224760 SOS 86633 HAS SOPS 86633 HAS SOUS 70741 HAS SOUPS 70741 WITH SCORE 70827.633
AT ITER 839 NEW BEST:: SOT 224730 SOS 86545 HAS SOPS 86545 HAS SOUS 70683 HAS SOUPS 70683 WITH SCORE 70769.545
AT ITER 842 NEW BEST:: SOT 224582 SOS 86230 HAS SOPS 86230 HAS SOUS 70605 HAS SOUPS 70605 WITH SCORE 70691.23
AT ITER 843 NEW BEST:: SOT 224415 SOS 85993 HAS SOPS 85993 HAS SOUS 70521 HAS SOUPS 70521 WITH SCORE 70606.993
AT ITER 865 NEW BEST:: SOT 224289 SOS 85741 HAS SOPS 85741 HAS SOUS 70495 HAS SOUPS 70495 WITH SCORE 70580.741
AT ITER 866 NEW BEST:: SOT 224343 SOS 85718 HAS SOPS 85718 HAS SOUS 70472 HAS SOUPS 70472 WITH SCORE 70557.718
AT ITER 869 NEW BEST:: SOT 224483 SOS 85568 HAS SOPS 85568 HAS SOUS 70452 HAS SOUPS 70452 WITH SCORE 70537.568
AT ITER 875 NEW BEST:: SOT 224362 SOS 85326 HAS SOPS 85326 HAS SOUS 70210 HAS SOUPS 70210 WITH SCORE 70295.326
AT ITER 887 NEW BEST:: SOT 224296 SOS 85274 HAS SOPS 85274 HAS SOUS 70158 HAS SOUPS 70158 WITH SCORE 70243.274
AT ITER 888 NEW BEST:: SOT 224210 SOS 85120 HAS SOPS 85120 HAS SOUS 70004 HAS SOUPS 70004 WITH SCORE 70089.12
AT ITER 889 NEW BEST:: SOT 223943 SOS 84634 HAS SOPS 84634 HAS SOUS 69737 HAS SOUPS 69737 WITH SCORE 69821.634
AT ITER 894 NEW BEST:: SOT 223937 SOS 84628 HAS SOPS 84628 HAS SOUS 69731 HAS SOUPS 69731 WITH SCORE 69815.628
AT ITER 911 NEW BEST:: SOT 223932 SOS 84618 HAS SOPS 84618 HAS SOUS 69721 HAS SOUPS 69721 WITH SCORE 69805.618
AT ITER 915 NEW BEST:: SOT 223916 SOS 84602 HAS SOPS 84602 HAS SOUS 69705 HAS SOUPS 69705 WITH SCORE 69789.602
AT ITER 925 NEW BEST:: SOT 223726 SOS 84222 HAS SOPS 84222 HAS SOUS 69325 HAS SOUPS 69325 WITH SCORE 69409.222
AT ITER 953 NEW BEST:: SOT 223725 SOS 84220 HAS SOPS 84220 HAS SOUS 69323 HAS SOUPS 69323 WITH SCORE 69407.22
AT ITER 954 NEW BEST:: SOT 223714 SOS 84137 HAS SOPS 84137 HAS SOUS 69275 HAS SOUPS 69275 WITH SCORE 69359.137
AT ITER 955 NEW BEST:: SOT 223670 SOS 84093 HAS SOPS 84093 HAS SOUS 69266 HAS SOUPS 69266 WITH SCORE 69350.093
AT ITER 963 NEW BEST:: SOT 223623 SOS 84044 HAS SOPS 84044 HAS SOUS 69217 HAS SOUPS 69217 WITH SCORE 69301.044
AT ITER 964 NEW BEST:: SOT 223589 SOS 84016 HAS SOPS 84016 HAS SOUS 69198 HAS SOUPS 69198 WITH SCORE 69282.016
AT ITER 971 NEW BEST:: SOT 223578 SOS 83997 HAS SOPS 83997 HAS SOUS 69188 HAS SOUPS 69188 WITH SCORE 69271.997
AT ITER 972 NEW BEST:: SOT 223318 SOS 83554 HAS SOPS 83554 HAS SOUS 68745 HAS SOUPS 68745 WITH SCORE 68828.554
AT ITER 978 NEW BEST:: SOT 221844 SOS 82080 HAS SOPS 82080 HAS SOUS 67137 HAS SOUPS 67137 WITH SCORE 67219.08
AT ITER 994 NEW BEST:: SOT 221844 SOS 82080 HAS SOPS 82080 HAS SOUS 67055 HAS SOUPS 67055 WITH SCORE 67137.08
AT ITER 1004 NEW BEST:: SOT 221844 SOS 82080 HAS SOPS 82080 HAS SOUS 67033 HAS SOUPS 67033 WITH SCORE 67115.08
AT ITER 1009 NEW BEST:: SOT 221842 SOS 82076 HAS SOPS 82076 HAS SOUS 67031 HAS SOUPS 67031 WITH SCORE 67113.076
AT ITER 1014 NEW BEST:: SOT 221842 SOS 82062 HAS SOPS 82062 HAS SOUS 67017 HAS SOUPS 67017 WITH SCORE 67099.062
AT ITER 1015 NEW BEST:: SOT 221842 SOS 81969 HAS SOPS 81969 HAS SOUS 66924 HAS SOUPS 66924 WITH SCORE 67005.969
AT ITER 1035 NEW BEST:: SOT 221783 SOS 81851 HAS SOPS 81851 HAS SOUS 66808 HAS SOUPS 66808 WITH SCORE 66889.851
AT ITER 1044 NEW BEST:: SOT 221730 SOS 81745 HAS SOPS 81745 HAS SOUS 66702 HAS SOUPS 66702 WITH SCORE 66783.745
AT ITER 1049 NEW BEST:: SOT 221730 SOS 81711 HAS SOPS 81711 HAS SOUS 66685 HAS SOUPS 66685 WITH SCORE 66766.711
AT ITER 1061 NEW BEST:: SOT 221726 SOS 81705 HAS SOPS 81705 HAS SOUS 66681 HAS SOUPS 66681 WITH SCORE 66762.705
AT ITER 1067 NEW BEST:: SOT 221670 SOS 81649 HAS SOPS 81649 HAS SOUS 66625 HAS SOUPS 66625 WITH SCORE 66706.649
AT ITER 1077 NEW BEST:: SOT 221592 SOS 81488 HAS SOPS 81488 HAS SOUS 66510 HAS SOUPS 66510 WITH SCORE 66591.488
AT ITER 1116 NEW BEST:: SOT 221589 SOS 81293 HAS SOPS 81293 HAS SOUS 66344 HAS SOUPS 66344 WITH SCORE 66425.293
AT ITER 1153 NEW BEST:: SOT 221534 SOS 81183 HAS SOPS 81183 HAS SOUS 66287 HAS SOUPS 66287 WITH SCORE 66368.183
AT ITER 1177 NEW BEST:: SOT 221659 SOS 81128 HAS SOPS 81128 HAS SOUS 66255 HAS SOUPS 66255 WITH SCORE 66336.128
AT ITER 1183 NEW BEST:: SOT 221556 SOS 81048 HAS SOPS 81048 HAS SOUS 66175 HAS SOUPS 66175 WITH SCORE 66256.048
AT ITER 1195 NEW BEST:: SOT 221653 SOS 81118 HAS SOPS 81118 HAS SOUS 66121 HAS SOUPS 66121 WITH SCORE 66202.118
AT ITER 1203 NEW BEST:: SOT 221652 SOS 81116 HAS SOPS 81116 HAS SOUS 66119 HAS SOUPS 66119 WITH SCORE 66200.116
AT ITER 1215 NEW BEST:: SOT 221536 SOS 80937 HAS SOPS 80937 HAS SOUS 65940 HAS SOUPS 65940 WITH SCORE 66020.937
AT ITER 1216 NEW BEST:: SOT 221585 SOS 80831 HAS SOPS 80831 HAS SOUS 65859 HAS SOUPS 65859 WITH SCORE 65939.831
AT ITER 1217 NEW BEST:: SOT 221476 SOS 80923 HAS SOPS 80923 HAS SOUS 65727 HAS SOUPS 65727 WITH SCORE 65807.923
AT ITER 1225 NEW BEST:: SOT 221476 SOS 80880 HAS SOPS 80880 HAS SOUS 65684 HAS SOUPS 65684 WITH SCORE 65764.88
AT ITER 1227 NEW BEST:: SOT 221476 SOS 80828 HAS SOPS 80828 HAS SOUS 65684 HAS SOUPS 65684 WITH SCORE 65764.828
AT ITER 1255 NEW BEST:: SOT 221441 SOS 80796 HAS SOPS 80796 HAS SOUS 65640 HAS SOUPS 65640 WITH SCORE 65720.796
AT ITER 1268 NEW BEST:: SOT 221304 SOS 80550 HAS SOPS 80550 HAS SOUS 65503 HAS SOUPS 65503 WITH SCORE 65583.55
AT ITER 1275 NEW BEST:: SOT 220249 SOS 79825 HAS SOPS 79825 HAS SOUS 64627 HAS SOUPS 64627 WITH SCORE 64706.825
AT ITER 1286 NEW BEST:: SOT 220029 SOS 79348 HAS SOPS 79348 HAS SOUS 64153 HAS SOUPS 64153 WITH SCORE 64232.348
AT ITER 1288 NEW BEST:: SOT 219956 SOS 79127 HAS SOPS 79127 HAS SOUS 64104 HAS SOUPS 64104 WITH SCORE 64183.127
AT ITER 1290 NEW BEST:: SOT 219956 SOS 79122 HAS SOPS 79122 HAS SOUS 64099 HAS SOUPS 64099 WITH SCORE 64178.122
AT ITER 1325 NEW BEST:: SOT 219917 SOS 79083 HAS SOPS 79083 HAS SOUS 64060 HAS SOUPS 64060 WITH SCORE 64139.083
AT ITER 1327 NEW BEST:: SOT 219843 SOS 78972 HAS SOPS 78972 HAS SOUS 63986 HAS SOUPS 63986 WITH SCORE 64064.972
AT ITER 1335 NEW BEST:: SOT 219854 SOS 78945 HAS SOPS 78945 HAS SOUS 63950 HAS SOUPS 63950 WITH SCORE 64028.945
AT ITER 1341 NEW BEST:: SOT 219684 SOS 78873 HAS SOPS 78873 HAS SOUS 63878 HAS SOUPS 63878 WITH SCORE 63956.873
AT ITER 1351 NEW BEST:: SOT 219817 SOS 78739 HAS SOPS 78739 HAS SOUS 63744 HAS SOUPS 63744 WITH SCORE 63822.739
AT ITER 1363 NEW BEST:: SOT 219801 SOS 78734 HAS SOPS 78734 HAS SOUS 63739 HAS SOUPS 63739 WITH SCORE 63817.734
AT ITER 1365 NEW BEST:: SOT 219692 SOS 78625 HAS SOPS 78625 HAS SOUS 63630 HAS SOUPS 63630 WITH SCORE 63708.625
AT ITER 1369 NEW BEST:: SOT 219463 SOS 78377 HAS SOPS 78377 HAS SOUS 63589 HAS SOUPS 63589 WITH SCORE 63667.377
AT ITER 1370 NEW BEST:: SOT 218878 SOS 77657 HAS SOPS 77657 HAS SOUS 62959 HAS SOUPS 62959 WITH SCORE 63036.657
AT ITER 1422 NEW BEST:: SOT 218854 SOS 77647 HAS SOPS 77647 HAS SOUS 62896 HAS SOUPS 62896 WITH SCORE 62973.647
AT ITER 1435 NEW BEST:: SOT 218906 SOS 77434 HAS SOPS 77434 HAS SOUS 62865 HAS SOUPS 62865 WITH SCORE 62942.434
AT ITER 1452 NEW BEST:: SOT 218906 SOS 77406 HAS SOPS 77406 HAS SOUS 62865 HAS SOUPS 62865 WITH SCORE 62942.406
AT ITER 1468 NEW BEST:: SOT 218599 SOS 77280 HAS SOPS 77280 HAS SOUS 62739 HAS SOUPS 62739 WITH SCORE 62816.28
AT ITER 1472 NEW BEST:: SOT 218599 SOS 77280 HAS SOPS 77280 HAS SOUS 62707 HAS SOUPS 62707 WITH SCORE 62784.28
AT ITER 1475 NEW BEST:: SOT 218457 SOS 76996 HAS SOPS 76996 HAS SOUS 62570 HAS SOUPS 62570 WITH SCORE 62646.996
AT ITER 1494 NEW BEST:: SOT 218334 SOS 76838 HAS SOPS 76838 HAS SOUS 62437 HAS SOUPS 62437 WITH SCORE 62513.838
AT ITER 1499 NEW BEST:: SOT 218306 SOS 76810 HAS SOPS 76810 HAS SOUS 62437 HAS SOUPS 62437 WITH SCORE 62513.81
AT ITER 1506 NEW BEST:: SOT 218306 SOS 76764 HAS SOPS 76764 HAS SOUS 62375 HAS SOUPS 62375 WITH SCORE 62451.764
AT ITER 1515 NEW BEST:: SOT 218300 SOS 76760 HAS SOPS 76760 HAS SOUS 62371 HAS SOUPS 62371 WITH SCORE 62447.76
AT ITER 1528 NEW BEST:: SOT 218297 SOS 76802 HAS SOPS 76802 HAS SOUS 62368 HAS SOUPS 62368 WITH SCORE 62444.802
AT ITER 1546 NEW BEST:: SOT 218271 SOS 76763 HAS SOPS 76763 HAS SOUS 62342 HAS SOUPS 62342 WITH SCORE 62418.763
AT ITER 1548 NEW BEST:: SOT 218301 SOS 76761 HAS SOPS 76761 HAS SOUS 62307 HAS SOUPS 62307 WITH SCORE 62383.761
AT ITER 1581 NEW BEST:: SOT 218258 SOS 76811 HAS SOPS 76811 HAS SOUS 62264 HAS SOUPS 62264 WITH SCORE 62340.811
AT ITER 1582 NEW BEST:: SOT 218250 SOS 76803 HAS SOPS 76803 HAS SOUS 62256 HAS SOUPS 62256 WITH SCORE 62332.803
AT ITER 1603 NEW BEST:: SOT 217088 SOS 75485 HAS SOPS 75485 HAS SOUS 60960 HAS SOUPS 60960 WITH SCORE 61035.485
AT ITER 1614 NEW BEST:: SOT 217088 SOS 75442 HAS SOPS 75442 HAS SOUS 60960 HAS SOUPS 60960 WITH SCORE 61035.442
AT ITER 1616 NEW BEST:: SOT 217074 SOS 75427 HAS SOPS 75427 HAS SOUS 60959 HAS SOUPS 60959 WITH SCORE 61034.427
AT ITER 1619 NEW BEST:: SOT 216186 SOS 74498 HAS SOPS 74498 HAS SOUS 60030 HAS SOUPS 60030 WITH SCORE 60104.498
AT ITER 1641 NEW BEST:: SOT 216017 SOS 74232 HAS SOPS 74232 HAS SOUS 59764 HAS SOUPS 59764 WITH SCORE 59838.232
AT ITER 1642 NEW BEST:: SOT 216019 SOS 74215 HAS SOPS 74215 HAS SOUS 59747 HAS SOUPS 59747 WITH SCORE 59821.215
AT ITER 1646 NEW BEST:: SOT 216019 SOS 74215 HAS SOPS 74215 HAS SOUS 59674 HAS SOUPS 59674 WITH SCORE 59748.215
AT ITER 1651 NEW BEST:: SOT 216018 SOS 74174 HAS SOPS 74174 HAS SOUS 59633 HAS SOUPS 59633 WITH SCORE 59707.174
AT ITER 1660 NEW BEST:: SOT 215991 SOS 73954 HAS SOPS 73954 HAS SOUS 59511 HAS SOUPS 59511 WITH SCORE 59584.954
AT ITER 1675 NEW BEST:: SOT 215970 SOS 73933 HAS SOPS 73933 HAS SOUS 59511 HAS SOUPS 59511 WITH SCORE 59584.933
AT ITER 1699 NEW BEST:: SOT 215833 SOS 73893 HAS SOPS 73893 HAS SOUS 59374 HAS SOUPS 59374 WITH SCORE 59447.893
AT ITER 1701 NEW BEST:: SOT 215833 SOS 73842 HAS SOPS 73842 HAS SOUS 59323 HAS SOUPS 59323 WITH SCORE 59396.842
AT ITER 1715 NEW BEST:: SOT 215817 SOS 73826 HAS SOPS 73826 HAS SOUS 59307 HAS SOUPS 59307 WITH SCORE 59380.826
AT ITER 1726 NEW BEST:: SOT 216027 SOS 73792 HAS SOPS 73792 HAS SOUS 59275 HAS SOUPS 59275 WITH SCORE 59348.792
AT ITER 1741 NEW BEST:: SOT 216027 SOS 73734 HAS SOPS 73734 HAS SOUS 59217 HAS SOUPS 59217 WITH SCORE 59290.734
AT ITER 1744 NEW BEST:: SOT 215980 SOS 73687 HAS SOPS 73687 HAS SOUS 59170 HAS SOUPS 59170 WITH SCORE 59243.687
AT ITER 1753 NEW BEST:: SOT 215927 SOS 73581 HAS SOPS 73581 HAS SOUS 59070 HAS SOUPS 59070 WITH SCORE 59143.581
AT ITER 1757 NEW BEST:: SOT 215836 SOS 73490 HAS SOPS 73490 HAS SOUS 59068 HAS SOUPS 59068 WITH SCORE 59141.49
AT ITER 1772 NEW BEST:: SOT 215836 SOS 73439 HAS SOPS 73439 HAS SOUS 59068 HAS SOUPS 59068 WITH SCORE 59141.439
AT ITER 1776 NEW BEST:: SOT 215823 SOS 73230 HAS SOPS 73230 HAS SOUS 58957 HAS SOUPS 58957 WITH SCORE 59030.23
AT ITER 1777 NEW BEST:: SOT 215793 SOS 73194 HAS SOPS 73194 HAS SOUS 58921 HAS SOUPS 58921 WITH SCORE 58994.194
AT ITER 1784 NEW BEST:: SOT 215763 SOS 73164 HAS SOPS 73164 HAS SOUS 58891 HAS SOUPS 58891 WITH SCORE 58964.164
AT ITER 1788 NEW BEST:: SOT 215834 SOS 73235 HAS SOPS 73235 HAS SOUS 58842 HAS SOUPS 58842 WITH SCORE 58915.235
AT ITER 1790 NEW BEST:: SOT 215825 SOS 73226 HAS SOPS 73226 HAS SOUS 58833 HAS SOUPS 58833 WITH SCORE 58906.226
AT ITER 1791 NEW BEST:: SOT 215825 SOS 73054 HAS SOPS 73054 HAS SOUS 58661 HAS SOUPS 58661 WITH SCORE 58734.054
AT ITER 1802 NEW BEST:: SOT 215976 SOS 72888 HAS SOPS 72888 HAS SOUS 58650 HAS SOUPS 58650 WITH SCORE 58722.888
AT ITER 1803 NEW BEST:: SOT 215975 SOS 72856 HAS SOPS 72856 HAS SOUS 58618 HAS SOUPS 58618 WITH SCORE 58690.856
AT ITER 1807 NEW BEST:: SOT 215975 SOS 72837 HAS SOPS 72837 HAS SOUS 58580 HAS SOUPS 58580 WITH SCORE 58652.837
AT ITER 1842 NEW BEST:: SOT 215975 SOS 72972 HAS SOPS 72972 HAS SOUS 58567 HAS SOUPS 58567 WITH SCORE 58639.972
AT ITER 1855 NEW BEST:: SOT 215975 SOS 72971 HAS SOPS 72971 HAS SOUS 58566 HAS SOUPS 58566 WITH SCORE 58638.971
AT ITER 1879 NEW BEST:: SOT 215968 SOS 72957 HAS SOPS 72957 HAS SOUS 58552 HAS SOUPS 58552 WITH SCORE 58624.957
AT ITER 1880 NEW BEST:: SOT 215857 SOS 72843 HAS SOPS 72843 HAS SOUS 58438 HAS SOUPS 58438 WITH SCORE 58510.843
AT ITER 1898 NEW BEST:: SOT 213633 SOS 70433 HAS SOPS 70433 HAS SOUS 56078 HAS SOUPS 56078 WITH SCORE 56148.433
AT ITER 1913 NEW BEST:: SOT 213631 SOS 70431 HAS SOPS 70431 HAS SOUS 56078 HAS SOUPS 56078 WITH SCORE 56148.431
AT ITER 1926 NEW BEST:: SOT 213609 SOS 70398 HAS SOPS 70398 HAS SOUS 56056 HAS SOUPS 56056 WITH SCORE 56126.398
AT ITER 1935 NEW BEST:: SOT 213557 SOS 70331 HAS SOPS 70331 HAS SOUS 55989 HAS SOUPS 55989 WITH SCORE 56059.331
AT ITER 1948 NEW BEST:: SOT 213418 SOS 70293 HAS SOPS 70293 HAS SOUS 55957 HAS SOUPS 55957 WITH SCORE 56027.293
AT ITER 1971 NEW BEST:: SOT 213364 SOS 70180 HAS SOPS 70180 HAS SOUS 55844 HAS SOUPS 55844 WITH SCORE 55914.18
AT ITER 1975 NEW BEST:: SOT 213348 SOS 70164 HAS SOPS 70164 HAS SOUS 55828 HAS SOUPS 55828 WITH SCORE 55898.164
AT ITER 1985 NEW BEST:: SOT 213283 SOS 70096 HAS SOPS 70096 HAS SOUS 55760 HAS SOUPS 55760 WITH SCORE 55830.096
AT ITER 1997 NEW BEST:: SOT 213280 SOS 69865 HAS SOPS 69865 HAS SOUS 55529 HAS SOUPS 55529 WITH SCORE 55598.865
AT ITER 2018 NEW BEST:: SOT 213262 SOS 69812 HAS SOPS 69812 HAS SOUS 55527 HAS SOUPS 55527 WITH SCORE 55596.812
AT ITER 2020 NEW BEST:: SOT 213325 SOS 69749 HAS SOPS 69749 HAS SOUS 55464 HAS SOUPS 55464 WITH SCORE 55533.749
AT ITER 2028 NEW BEST:: SOT 213301 SOS 69724 HAS SOPS 69724 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55518.724
AT ITER 2039 NEW BEST:: SOT 213293 SOS 69620 HAS SOPS 69620 HAS SOUS 55345 HAS SOUPS 55345 WITH SCORE 55414.62
AT ITER 2042 NEW BEST:: SOT 213290 SOS 69614 HAS SOPS 69614 HAS SOUS 55339 HAS SOUPS 55339 WITH SCORE 55408.614
AT ITER 2046 NEW BEST:: SOT 213246 SOS 69498 HAS SOPS 69498 HAS SOUS 55202 HAS SOUPS 55202 WITH SCORE 55271.498
AT ITER 2047 NEW BEST:: SOT 213246 SOS 69456 HAS SOPS 69456 HAS SOUS 55160 HAS SOUPS 55160 WITH SCORE 55229.456
AT ITER 2048 NEW BEST:: SOT 213215 SOS 69421 HAS SOPS 69421 HAS SOUS 55125 HAS SOUPS 55125 WITH SCORE 55194.421
AT ITER 2051 NEW BEST:: SOT 213199 SOS 69394 HAS SOPS 69394 HAS SOUS 55098 HAS SOUPS 55098 WITH SCORE 55167.394
AT ITER 2066 NEW BEST:: SOT 213193 SOS 69382 HAS SOPS 69382 HAS SOUS 55086 HAS SOUPS 55086 WITH SCORE 55155.382
AT ITER 2084 NEW BEST:: SOT 213153 SOS 69262 HAS SOPS 69262 HAS SOUS 54966 HAS SOUPS 54966 WITH SCORE 55035.262
AT ITER 2146 NEW BEST:: SOT 213103 SOS 69250 HAS SOPS 69250 HAS SOUS 54954 HAS SOUPS 54954 WITH SCORE 55023.25
AT ITER 2167 NEW BEST:: SOT 213110 SOS 69169 HAS SOPS 69169 HAS SOUS 54866 HAS SOUPS 54866 WITH SCORE 54935.169
AT ITER 2180 NEW BEST:: SOT 212846 SOS 69034 HAS SOPS 69034 HAS SOUS 54707 HAS SOUPS 54707 WITH SCORE 54776.034
AT ITER 2197 NEW BEST:: SOT 212855 SOS 69052 HAS SOPS 69052 HAS SOUS 54684 HAS SOUPS 54684 WITH SCORE 54753.052
AT ITER 2219 NEW BEST:: SOT 212845 SOS 69043 HAS SOPS 69043 HAS SOUS 54675 HAS SOUPS 54675 WITH SCORE 54744.043
AT ITER 2220 NEW BEST:: SOT 212806 SOS 68974 HAS SOPS 68974 HAS SOUS 54613 HAS SOUPS 54613 WITH SCORE 54681.974
AT ITER 2222 NEW BEST:: SOT 212774 SOS 68929 HAS SOPS 68929 HAS SOUS 54568 HAS SOUPS 54568 WITH SCORE 54636.929
AT ITER 2226 NEW BEST:: SOT 212763 SOS 68907 HAS SOPS 68907 HAS SOUS 54546 HAS SOUPS 54546 WITH SCORE 54614.907
AT ITER 2236 NEW BEST:: SOT 212770 SOS 68905 HAS SOPS 68905 HAS SOUS 54544 HAS SOUPS 54544 WITH SCORE 54612.905
AT ITER 2273 NEW BEST:: SOT 212728 SOS 68821 HAS SOPS 68821 HAS SOUS 54460 HAS SOUPS 54460 WITH SCORE 54528.821
AT ITER 2293 NEW BEST:: SOT 212690 SOS 68748 HAS SOPS 68748 HAS SOUS 54387 HAS SOUPS 54387 WITH SCORE 54455.748
AT ITER 2308 NEW BEST:: SOT 212774 SOS 68572 HAS SOPS 68572 HAS SOUS 54211 HAS SOUPS 54211 WITH SCORE 54279.572
AT ITER 2331 NEW BEST:: SOT 212794 SOS 68486 HAS SOPS 68486 HAS SOUS 54196 HAS SOUPS 54196 WITH SCORE 54264.486
AT ITER 2335 NEW BEST:: SOT 212776 SOS 68478 HAS SOPS 68478 HAS SOUS 54177 HAS SOUPS 54177 WITH SCORE 54245.478
AT ITER 2340 NEW BEST:: SOT 212768 SOS 68470 HAS SOPS 68470 HAS SOUS 54169 HAS SOUPS 54169 WITH SCORE 54237.47
AT ITER 2355 NEW BEST:: SOT 212628 SOS 68100 HAS SOPS 68100 HAS SOUS 53845 HAS SOUPS 53845 WITH SCORE 53913.1
AT ITER 2362 NEW BEST:: SOT 212660 SOS 68099 HAS SOPS 68099 HAS SOUS 53777 HAS SOUPS 53777 WITH SCORE 53845.099
AT ITER 2363 NEW BEST:: SOT 212660 SOS 68071 HAS SOPS 68071 HAS SOUS 53749 HAS SOUPS 53749 WITH SCORE 53817.071
AT ITER 2372 NEW BEST:: SOT 212589 SOS 68000 HAS SOPS 68000 HAS SOUS 53729 HAS SOUPS 53729 WITH SCORE 53797.0
AT ITER 2380 NEW BEST:: SOT 212562 SOS 67973 HAS SOPS 67973 HAS SOUS 53702 HAS SOUPS 53702 WITH SCORE 53769.973
AT ITER 2427 NEW BEST:: SOT 212598 SOS 68000 HAS SOPS 68000 HAS SOUS 53694 HAS SOUPS 53694 WITH SCORE 53762.0
AT ITER 2432 NEW BEST:: SOT 212540 SOS 67942 HAS SOPS 67942 HAS SOUS 53636 HAS SOUPS 53636 WITH SCORE 53703.942
AT ITER 2445 NEW BEST:: SOT 212540 SOS 67921 HAS SOPS 67921 HAS SOUS 53615 HAS SOUPS 53615 WITH SCORE 53682.921
AT ITER 2449 NEW BEST:: SOT 212519 SOS 67879 HAS SOPS 67879 HAS SOUS 53573 HAS SOUPS 53573 WITH SCORE 53640.879
AT ITER 2457 NEW BEST:: SOT 212357 SOS 67686 HAS SOPS 67686 HAS SOUS 53380 HAS SOUPS 53380 WITH SCORE 53447.686
AT ITER 2461 NEW BEST:: SOT 212332 SOS 67613 HAS SOPS 67613 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53401.613
AT ITER 2473 NEW BEST:: SOT 212171 SOS 67451 HAS SOPS 67451 HAS SOUS 53332 HAS SOUPS 53332 WITH SCORE 53399.451
AT ITER 2474 NEW BEST:: SOT 212146 SOS 67426 HAS SOPS 67426 HAS SOUS 53307 HAS SOUPS 53307 WITH SCORE 53374.426
AT ITER 2477 NEW BEST:: SOT 212150 SOS 67403 HAS SOPS 67403 HAS SOUS 53284 HAS SOUPS 53284 WITH SCORE 53351.403
AT ITER 2494 NEW BEST:: SOT 212128 SOS 67381 HAS SOPS 67381 HAS SOUS 53284 HAS SOUPS 53284 WITH SCORE 53351.381
AT ITER 2503 NEW BEST:: SOT 212128 SOS 67309 HAS SOPS 67309 HAS SOUS 53260 HAS SOUPS 53260 WITH SCORE 53327.309
AT ITER 2508 NEW BEST:: SOT 212194 SOS 67291 HAS SOPS 67291 HAS SOUS 53243 HAS SOUPS 53243 WITH SCORE 53310.291
AT ITER 2524 NEW BEST:: SOT 212193 SOS 67289 HAS SOPS 67289 HAS SOUS 53241 HAS SOUPS 53241 WITH SCORE 53308.289
AT ITER 2548 NEW BEST:: SOT 212193 SOS 67284 HAS SOPS 67284 HAS SOUS 53236 HAS SOUPS 53236 WITH SCORE 53303.284
AT ITER 2561 NEW BEST:: SOT 212171 SOS 67240 HAS SOPS 67240 HAS SOUS 53192 HAS SOUPS 53192 WITH SCORE 53259.24
AT ITER 2562 NEW BEST:: SOT 212171 SOS 67133 HAS SOPS 67133 HAS SOUS 53156 HAS SOUPS 53156 WITH SCORE 53223.133
AT ITER 2566 NEW BEST:: SOT 212113 SOS 67017 HAS SOPS 67017 HAS SOUS 53098 HAS SOUPS 53098 WITH SCORE 53165.017
AT ITER 2584 NEW BEST:: SOT 212134 SOS 67028 HAS SOPS 67028 HAS SOUS 53033 HAS SOUPS 53033 WITH SCORE 53100.028
AT ITER 2609 NEW BEST:: SOT 212125 SOS 67011 HAS SOPS 67011 HAS SOUS 53008 HAS SOUPS 53008 WITH SCORE 53075.011
AT ITER 2620 NEW BEST:: SOT 212125 SOS 67007 HAS SOPS 67007 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53071.007
AT ITER 2650 NEW BEST:: SOT 212125 SOS 66621 HAS SOPS 66621 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52813.621
AT ITER 2673 NEW BEST:: SOT 212006 SOS 66502 HAS SOPS 66502 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52813.502
AT ITER 2687 NEW BEST:: SOT 211939 SOS 66460 HAS SOPS 66460 HAS SOUS 52705 HAS SOUPS 52705 WITH SCORE 52771.46
AT ITER 2693 NEW BEST:: SOT 211934 SOS 66419 HAS SOPS 66419 HAS SOUS 52700 HAS SOUPS 52700 WITH SCORE 52766.419
AT ITER 2716 NEW BEST:: SOT 211942 SOS 66407 HAS SOPS 66407 HAS SOUS 52676 HAS SOUPS 52676 WITH SCORE 52742.407
AT ITER 2725 NEW BEST:: SOT 211941 SOS 66405 HAS SOPS 66405 HAS SOUS 52674 HAS SOUPS 52674 WITH SCORE 52740.405
AT ITER 2735 NEW BEST:: SOT 211916 SOS 66344 HAS SOPS 66344 HAS SOUS 52613 HAS SOUPS 52613 WITH SCORE 52679.344
AT ITER 2750 NEW BEST:: SOT 211280 SOS 65836 HAS SOPS 65836 HAS SOUS 52105 HAS SOUPS 52105 WITH SCORE 52170.836
AT ITER 2752 NEW BEST:: SOT 211290 SOS 65818 HAS SOPS 65818 HAS SOUS 52051 HAS SOUPS 52051 WITH SCORE 52116.818
AT ITER 2755 NEW BEST:: SOT 211221 SOS 65749 HAS SOPS 65749 HAS SOUS 51974 HAS SOUPS 51974 WITH SCORE 52039.749
AT ITER 2758 NEW BEST:: SOT 211221 SOS 65668 HAS SOPS 65668 HAS SOUS 51934 HAS SOUPS 51934 WITH SCORE 51999.668
AT ITER 2796 NEW BEST:: SOT 211213 SOS 65652 HAS SOPS 65652 HAS SOUS 51918 HAS SOUPS 51918 WITH SCORE 51983.652
AT ITER 2816 NEW BEST:: SOT 211133 SOS 65490 HAS SOPS 65490 HAS SOUS 51742 HAS SOUPS 51742 WITH SCORE 51807.49
AT ITER 2818 NEW BEST:: SOT 211132 SOS 65488 HAS SOPS 65488 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51805.488
AT ITER 2822 NEW BEST:: SOT 211006 SOS 65316 HAS SOPS 65316 HAS SOUS 51551 HAS SOUPS 51551 WITH SCORE 51616.316
AT ITER 2871 NEW BEST:: SOT 210995 SOS 65294 HAS SOPS 65294 HAS SOUS 51529 HAS SOUPS 51529 WITH SCORE 51594.294
AT ITER 2881 NEW BEST:: SOT 210983 SOS 65273 HAS SOPS 65273 HAS SOUS 51508 HAS SOUPS 51508 WITH SCORE 51573.273
AT ITER 2887 NEW BEST:: SOT 210917 SOS 65168 HAS SOPS 65168 HAS SOUS 51403 HAS SOUPS 51403 WITH SCORE 51468.168
AT ITER 2919 NEW BEST:: SOT 210917 SOS 65126 HAS SOPS 65126 HAS SOUS 51403 HAS SOUPS 51403 WITH SCORE 51468.126
AT ITER 2928 NEW BEST:: SOT 210917 SOS 65126 HAS SOPS 65126 HAS SOUS 51370 HAS SOUPS 51370 WITH SCORE 51435.126
AT ITER 2938 NEW BEST:: SOT 211104 SOS 65181 HAS SOPS 65181 HAS SOUS 51265 HAS SOUPS 51265 WITH SCORE 51330.181
AT ITER 2966 NEW BEST:: SOT 211083 SOS 65024 HAS SOPS 65024 HAS SOUS 51108 HAS SOUPS 51108 WITH SCORE 51173.024
AT ITER 2970 NEW BEST:: SOT 211073 SOS 64960 HAS SOPS 64960 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51108.96
AT ITER 2990 NEW BEST:: SOT 211065 SOS 64952 HAS SOPS 64952 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51108.952
AT ITER 3034 NEW BEST:: SOT 211065 SOS 64951 HAS SOPS 64951 HAS SOUS 51043 HAS SOUPS 51043 WITH SCORE 51107.951
AT ITER 3045 NEW BEST:: SOT 210538 SOS 64184 HAS SOPS 64184 HAS SOUS 50573 HAS SOUPS 50573 WITH SCORE 50637.184
AT ITER 3062 NEW BEST:: SOT 210524 SOS 64163 HAS SOPS 64163 HAS SOUS 50552 HAS SOUPS 50552 WITH SCORE 50616.163
AT ITER 3078 NEW BEST:: SOT 210488 SOS 64091 HAS SOPS 64091 HAS SOUS 50517 HAS SOUPS 50517 WITH SCORE 50581.091
AT ITER 3079 NEW BEST:: SOT 210496 SOS 64073 HAS SOPS 64073 HAS SOUS 50499 HAS SOUPS 50499 WITH SCORE 50563.073
AT ITER 3094 NEW BEST:: SOT 210438 SOS 64015 HAS SOPS 64015 HAS SOUS 50441 HAS SOUPS 50441 WITH SCORE 50505.015
AT ITER 3129 NEW BEST:: SOT 210414 SOS 63994 HAS SOPS 63994 HAS SOUS 50304 HAS SOUPS 50304 WITH SCORE 50367.994
AT ITER 3131 NEW BEST:: SOT 210371 SOS 64236 HAS SOPS 64236 HAS SOUS 50290 HAS SOUPS 50290 WITH SCORE 50354.236
AT ITER 3132 NEW BEST:: SOT 210371 SOS 64367 HAS SOPS 64367 HAS SOUS 50286 HAS SOUPS 50286 WITH SCORE 50350.367
AT ITER 3145 NEW BEST:: SOT 210341 SOS 64317 HAS SOPS 64317 HAS SOUS 50266 HAS SOUPS 50266 WITH SCORE 50330.317
AT ITER 3159 NEW BEST:: SOT 210302 SOS 64122 HAS SOPS 64122 HAS SOUS 50188 HAS SOUPS 50188 WITH SCORE 50252.122
AT ITER 3184 NEW BEST:: SOT 210178 SOS 64029 HAS SOPS 64029 HAS SOUS 50142 HAS SOUPS 50142 WITH SCORE 50206.029
AT ITER 3192 NEW BEST:: SOT 210177 SOS 63952 HAS SOPS 63952 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50128.952
AT ITER 3206 NEW BEST:: SOT 210084 SOS 63839 HAS SOPS 63839 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50015.839
AT ITER 3207 NEW BEST:: SOT 210083 SOS 63838 HAS SOPS 63838 HAS SOUS 49951 HAS SOUPS 49951 WITH SCORE 50014.838
AT ITER 3226 NEW BEST:: SOT 210080 SOS 63834 HAS SOPS 63834 HAS SOUS 49947 HAS SOUPS 49947 WITH SCORE 50010.834
AT ITER 3244 NEW BEST:: SOT 210036 SOS 63790 HAS SOPS 63790 HAS SOUS 49903 HAS SOUPS 49903 WITH SCORE 49966.79
AT ITER 3251 NEW BEST:: SOT 210073 SOS 63481 HAS SOPS 63481 HAS SOUS 49873 HAS SOUPS 49873 WITH SCORE 49936.481
AT ITER 3258 NEW BEST:: SOT 210073 SOS 63461 HAS SOPS 63461 HAS SOUS 49853 HAS SOUPS 49853 WITH SCORE 49916.461
AT ITER 3263 NEW BEST:: SOT 210073 SOS 63433 HAS SOPS 63433 HAS SOUS 49797 HAS SOUPS 49797 WITH SCORE 49860.433
AT ITER 3346 NEW BEST:: SOT 210040 SOS 63400 HAS SOPS 63400 HAS SOUS 49797 HAS SOUPS 49797 WITH SCORE 49860.4
AT ITER 3375 NEW BEST:: SOT 210040 SOS 63393 HAS SOPS 63393 HAS SOUS 49783 HAS SOUPS 49783 WITH SCORE 49846.393
AT ITER 3425 NEW BEST:: SOT 210261 SOS 63332 HAS SOPS 63332 HAS SOUS 49730 HAS SOUPS 49730 WITH SCORE 49793.332
AT ITER 3445 NEW BEST:: SOT 210261 SOS 63311 HAS SOPS 63311 HAS SOUS 49709 HAS SOUPS 49709 WITH SCORE 49772.311
AT ITER 3459 NEW BEST:: SOT 210197 SOS 63110 HAS SOPS 63110 HAS SOUS 49520 HAS SOUPS 49520 WITH SCORE 49583.11
AT ITER 3464 NEW BEST:: SOT 210182 SOS 63079 HAS SOPS 63079 HAS SOUS 49489 HAS SOUPS 49489 WITH SCORE 49552.079
AT ITER 3468 NEW BEST:: SOT 210144 SOS 63045 HAS SOPS 63045 HAS SOUS 49455 HAS SOUPS 49455 WITH SCORE 49518.045
AT ITER 3472 NEW BEST:: SOT 210131 SOS 63019 HAS SOPS 63019 HAS SOUS 49442 HAS SOUPS 49442 WITH SCORE 49505.019
AT ITER 3473 NEW BEST:: SOT 210081 SOS 62908 HAS SOPS 62908 HAS SOUS 49331 HAS SOUPS 49331 WITH SCORE 49393.908
AT ITER 3492 NEW BEST:: SOT 210074 SOS 62901 HAS SOPS 62901 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49386.901
AT ITER 3495 NEW BEST:: SOT 209878 SOS 62932 HAS SOPS 62932 HAS SOUS 49319 HAS SOUPS 49319 WITH SCORE 49381.932
AT ITER 3499 NEW BEST:: SOT 209870 SOS 62924 HAS SOPS 62924 HAS SOUS 49311 HAS SOUPS 49311 WITH SCORE 49373.924
AT ITER 3516 NEW BEST:: SOT 209870 SOS 62924 HAS SOPS 62924 HAS SOUS 49271 HAS SOUPS 49271 WITH SCORE 49333.924
AT ITER 3526 NEW BEST:: SOT 209843 SOS 62872 HAS SOPS 62872 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49281.872
AT ITER 3527 NEW BEST:: SOT 209885 SOS 62636 HAS SOPS 62636 HAS SOUS 49140 HAS SOUPS 49140 WITH SCORE 49202.636
AT ITER 3539 NEW BEST:: SOT 209895 SOS 62634 HAS SOPS 62634 HAS SOUS 49138 HAS SOUPS 49138 WITH SCORE 49200.634
AT ITER 3540 NEW BEST:: SOT 209845 SOS 62503 HAS SOPS 62503 HAS SOUS 49007 HAS SOUPS 49007 WITH SCORE 49069.503
AT ITER 3559 NEW BEST:: SOT 209823 SOS 62480 HAS SOPS 62480 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49046.48
AT ITER 3565 NEW BEST:: SOT 209822 SOS 62478 HAS SOPS 62478 HAS SOUS 48982 HAS SOUPS 48982 WITH SCORE 49044.478
AT ITER 3574 NEW BEST:: SOT 209813 SOS 62477 HAS SOPS 62477 HAS SOUS 48981 HAS SOUPS 48981 WITH SCORE 49043.477
AT ITER 3600 NEW BEST:: SOT 209821 SOS 62470 HAS SOPS 62470 HAS SOUS 48873 HAS SOUPS 48873 WITH SCORE 48935.47
AT ITER 3601 NEW BEST:: SOT 209814 SOS 62456 HAS SOPS 62456 HAS SOUS 48859 HAS SOUPS 48859 WITH SCORE 48921.456
AT ITER 3663 NEW BEST:: SOT 209793 SOS 62435 HAS SOPS 62435 HAS SOUS 48838 HAS SOUPS 48838 WITH SCORE 48900.435
AT ITER 3680 NEW BEST:: SOT 209765 SOS 62379 HAS SOPS 62379 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48872.379
AT ITER 3692 NEW BEST:: SOT 209755 SOS 62343 HAS SOPS 62343 HAS SOUS 48790 HAS SOUPS 48790 WITH SCORE 48852.343
AT ITER 3745 NEW BEST:: SOT 209785 SOS 62333 HAS SOPS 62333 HAS SOUS 48780 HAS SOUPS 48780 WITH SCORE 48842.333
AT ITER 3768 NEW BEST:: SOT 209758 SOS 62295 HAS SOPS 62295 HAS SOUS 48742 HAS SOUPS 48742 WITH SCORE 48804.295
AT ITER 3771 NEW BEST:: SOT 209795 SOS 62230 HAS SOPS 62230 HAS SOUS 48677 HAS SOUPS 48677 WITH SCORE 48739.23
AT ITER 3791 NEW BEST:: SOT 209739 SOS 62146 HAS SOPS 62146 HAS SOUS 48621 HAS SOUPS 48621 WITH SCORE 48683.146
AT ITER 3795 NEW BEST:: SOT 209770 SOS 62072 HAS SOPS 62072 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48633.072
AT ITER 3821 NEW BEST:: SOT 209768 SOS 62070 HAS SOPS 62070 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48633.07
AT ITER 3852 NEW BEST:: SOT 209726 SOS 61986 HAS SOPS 61986 HAS SOUS 48487 HAS SOUPS 48487 WITH SCORE 48548.986
AT ITER 3854 NEW BEST:: SOT 209749 SOS 61963 HAS SOPS 61963 HAS SOUS 48464 HAS SOUPS 48464 WITH SCORE 48525.963
AT ITER 3877 NEW BEST:: SOT 209746 SOS 61957 HAS SOPS 61957 HAS SOUS 48458 HAS SOUPS 48458 WITH SCORE 48519.957
AT ITER 3882 NEW BEST:: SOT 209817 SOS 61957 HAS SOPS 61957 HAS SOUS 48387 HAS SOUPS 48387 WITH SCORE 48448.957
AT ITER 3892 NEW BEST:: SOT 209678 SOS 61675 HAS SOPS 61675 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48301.675
AT ITER 3916 NEW BEST:: SOT 209663 SOS 61601 HAS SOPS 61601 HAS SOUS 48211 HAS SOUPS 48211 WITH SCORE 48272.601
AT ITER 3922 NEW BEST:: SOT 209624 SOS 61523 HAS SOPS 61523 HAS SOUS 48133 HAS SOUPS 48133 WITH SCORE 48194.523
AT ITER 3975 NEW BEST:: SOT 209603 SOS 61460 HAS SOPS 61460 HAS SOUS 48091 HAS SOUPS 48091 WITH SCORE 48152.46
AT ITER 4035 NEW BEST:: SOT 209580 SOS 61409 HAS SOPS 61409 HAS SOUS 48040 HAS SOUPS 48040 WITH SCORE 48101.409
AT ITER 4063 NEW BEST:: SOT 209573 SOS 61402 HAS SOPS 61402 HAS SOUS 48033 HAS SOUPS 48033 WITH SCORE 48094.402
AT ITER 4067 NEW BEST:: SOT 209564 SOS 61384 HAS SOPS 61384 HAS SOUS 48015 HAS SOUPS 48015 WITH SCORE 48076.384
AT ITER 4091 NEW BEST:: SOT 209536 SOS 61356 HAS SOPS 61356 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48048.356
AT ITER 4106 NEW BEST:: SOT 209536 SOS 61249 HAS SOPS 61249 HAS SOUS 47970 HAS SOUPS 47970 WITH SCORE 48031.249
AT ITER 4134 NEW BEST:: SOT 209463 SOS 61103 HAS SOPS 61103 HAS SOUS 47824 HAS SOUPS 47824 WITH SCORE 47885.103
AT ITER 4146 NEW BEST:: SOT 209454 SOS 61085 HAS SOPS 61085 HAS SOUS 47806 HAS SOUPS 47806 WITH SCORE 47867.085
AT ITER 4171 NEW BEST:: SOT 209206 SOS 60837 HAS SOPS 60837 HAS SOUS 47523 HAS SOUPS 47523 WITH SCORE 47583.837
AT ITER 4183 NEW BEST:: SOT 209053 SOS 61926 HAS SOPS 61926 HAS SOUS 47464 HAS SOUPS 47464 WITH SCORE 47525.926
AT ITER 4198 NEW BEST:: SOT 209055 SOS 61919 HAS SOPS 61919 HAS SOUS 47457 HAS SOUPS 47457 WITH SCORE 47518.919
AT ITER 4203 NEW BEST:: SOT 209038 SOS 61868 HAS SOPS 61868 HAS SOUS 47406 HAS SOUPS 47406 WITH SCORE 47467.868
AT ITER 4223 NEW BEST:: SOT 209021 SOS 61851 HAS SOPS 61851 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47450.851
AT ITER 4265 NEW BEST:: SOT 209037 SOS 61696 HAS SOPS 61696 HAS SOUS 47234 HAS SOUPS 47234 WITH SCORE 47295.696
AT ITER 4275 NEW BEST:: SOT 209031 SOS 61687 HAS SOPS 61687 HAS SOUS 47225 HAS SOUPS 47225 WITH SCORE 47286.687
AT ITER 4321 NEW BEST:: SOT 209031 SOS 61687 HAS SOPS 61687 HAS SOUS 47218 HAS SOUPS 47218 WITH SCORE 47279.687
AT ITER 4324 NEW BEST:: SOT 209031 SOS 61674 HAS SOPS 61674 HAS SOUS 47197 HAS SOUPS 47197 WITH SCORE 47258.674
AT ITER 4340 NEW BEST:: SOT 209011 SOS 61654 HAS SOPS 61654 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47238.654
AT ITER 4367 NEW BEST:: SOT 208984 SOS 61600 HAS SOPS 61600 HAS SOUS 47123 HAS SOUPS 47123 WITH SCORE 47184.6
AT ITER 4427 NEW BEST:: SOT 208792 SOS 62292 HAS SOPS 62292 HAS SOUS 46992 HAS SOUPS 46992 WITH SCORE 47054.292
AT ITER 4487 NEW BEST:: SOT 208672 SOS 62284 HAS SOPS 62284 HAS SOUS 46774 HAS SOUPS 46774 WITH SCORE 46836.284
AT ITER 4492 NEW BEST:: SOT 208590 SOS 62202 HAS SOPS 62202 HAS SOUS 46727 HAS SOUPS 46727 WITH SCORE 46789.202
AT ITER 4533 NEW BEST:: SOT 208589 SOS 62186 HAS SOPS 62186 HAS SOUS 46711 HAS SOUPS 46711 WITH SCORE 46773.186
AT ITER 4562 NEW BEST:: SOT 208353 SOS 61950 HAS SOPS 61950 HAS SOUS 46711 HAS SOUPS 46711 WITH SCORE 46772.95
AT ITER 4564 NEW BEST:: SOT 208352 SOS 61945 HAS SOPS 61945 HAS SOUS 46706 HAS SOUPS 46706 WITH SCORE 46767.945
AT ITER 4576 NEW BEST:: SOT 208316 SOS 61909 HAS SOPS 61909 HAS SOUS 46670 HAS SOUPS 46670 WITH SCORE 46731.909
AT ITER 4604 NEW BEST:: SOT 208306 SOS 61889 HAS SOPS 61889 HAS SOUS 46650 HAS SOUPS 46650 WITH SCORE 46711.889
AT ITER 4608 NEW BEST:: SOT 208306 SOS 61735 HAS SOPS 61735 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46557.735
AT ITER 4627 NEW BEST:: SOT 208306 SOS 61735 HAS SOPS 61735 HAS SOUS 46494 HAS SOUPS 46494 WITH SCORE 46555.735
AT ITER 4629 NEW BEST:: SOT 208210 SOS 61639 HAS SOPS 61639 HAS SOUS 46398 HAS SOUPS 46398 WITH SCORE 46459.639
AT ITER 4731 NEW BEST:: SOT 208171 SOS 61548 HAS SOPS 61548 HAS SOUS 46307 HAS SOUPS 46307 WITH SCORE 46368.548
AT ITER 4740 NEW BEST:: SOT 208170 SOS 61546 HAS SOPS 61546 HAS SOUS 46305 HAS SOUPS 46305 WITH SCORE 46366.546
AT ITER 4761 NEW BEST:: SOT 208136 SOS 61519 HAS SOPS 61519 HAS SOUS 46290 HAS SOUPS 46290 WITH SCORE 46351.519
AT ITER 4764 NEW BEST:: SOT 207970 SOS 61417 HAS SOPS 61417 HAS SOUS 46239 HAS SOUPS 46239 WITH SCORE 46300.417
AT ITER 4767 NEW BEST:: SOT 207967 SOS 61411 HAS SOPS 61411 HAS SOUS 46233 HAS SOUPS 46233 WITH SCORE 46294.411
AT ITER 4826 NEW BEST:: SOT 207965 SOS 61407 HAS SOPS 61407 HAS SOUS 46229 HAS SOUPS 46229 WITH SCORE 46290.407
AT ITER 4839 NEW BEST:: SOT 207962 SOS 61401 HAS SOPS 61401 HAS SOUS 46223 HAS SOUPS 46223 WITH SCORE 46284.401
AT ITER 4861 NEW BEST:: SOT 207927 SOS 60149 HAS SOPS 60149 HAS SOUS 46185 HAS SOUPS 46185 WITH SCORE 46245.149
AT ITER 4865 NEW BEST:: SOT 207964 SOS 60141 HAS SOPS 60141 HAS SOUS 46177 HAS SOUPS 46177 WITH SCORE 46237.141
AT ITER 4938 NEW BEST:: SOT 207933 SOS 60079 HAS SOPS 60079 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46175.079
AT ITER 4944 NEW BEST:: SOT 207932 SOS 60077 HAS SOPS 60077 HAS SOUS 46063 HAS SOUPS 46063 WITH SCORE 46123.077
AT ITER 4950 NEW BEST:: SOT 207921 SOS 60066 HAS SOPS 60066 HAS SOUS 46052 HAS SOUPS 46052 WITH SCORE 46112.066
AT ITER 4984 NEW BEST:: SOT 207892 SOS 60024 HAS SOPS 60024 HAS SOUS 46010 HAS SOUPS 46010 WITH SCORE 46070.024
AT ITER 4986 NEW BEST:: SOT 207872 SOS 60004 HAS SOPS 60004 HAS SOUS 46000 HAS SOUPS 46000 WITH SCORE 46060.004
AT ITER 5016 NEW BEST:: SOT 207865 SOS 59997 HAS SOPS 59997 HAS SOUS 45993 HAS SOUPS 45993 WITH SCORE 46052.997
AT ITER 5038 NEW BEST:: SOT 207887 SOS 60041 HAS SOPS 60041 HAS SOUS 45966 HAS SOUPS 45966 WITH SCORE 46026.041
AT ITER 5055 NEW BEST:: SOT 207816 SOS 60005 HAS SOPS 60005 HAS SOUS 45930 HAS SOUPS 45930 WITH SCORE 45990.005
AT ITER 5095 NEW BEST:: SOT 207830 SOS 59957 HAS SOPS 59957 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45941.957
AT ITER 5121 NEW BEST:: SOT 207663 SOS 59917 HAS SOPS 59917 HAS SOUS 45842 HAS SOUPS 45842 WITH SCORE 45901.917
AT ITER 5168 NEW BEST:: SOT 207663 SOS 59908 HAS SOPS 59908 HAS SOUS 45833 HAS SOUPS 45833 WITH SCORE 45892.908
AT ITER 5174 NEW BEST:: SOT 207659 SOS 59904 HAS SOPS 59904 HAS SOUS 45829 HAS SOUPS 45829 WITH SCORE 45888.904
AT ITER 5179 NEW BEST:: SOT 207709 SOS 59895 HAS SOPS 59895 HAS SOUS 45820 HAS SOUPS 45820 WITH SCORE 45879.895
AT ITER 5215 NEW BEST:: SOT 207709 SOS 59895 HAS SOPS 59895 HAS SOUS 45812 HAS SOUPS 45812 WITH SCORE 45871.895
AT ITER 5223 NEW BEST:: SOT 207655 SOS 59837 HAS SOPS 59837 HAS SOUS 45804 HAS SOUPS 45804 WITH SCORE 45863.837
AT ITER 5234 NEW BEST:: SOT 207648 SOS 59826 HAS SOPS 59826 HAS SOUS 45793 HAS SOUPS 45793 WITH SCORE 45852.826
AT ITER 5241 NEW BEST:: SOT 207567 SOS 59638 HAS SOPS 59638 HAS SOUS 45605 HAS SOUPS 45605 WITH SCORE 45664.638
AT ITER 5260 NEW BEST:: SOT 207567 SOS 59635 HAS SOPS 59635 HAS SOUS 45603 HAS SOUPS 45603 WITH SCORE 45662.635
AT ITER 5271 NEW BEST:: SOT 207566 SOS 59633 HAS SOPS 59633 HAS SOUS 45601 HAS SOUPS 45601 WITH SCORE 45660.633
AT ITER 5287 NEW BEST:: SOT 207548 SOS 59547 HAS SOPS 59547 HAS SOUS 45515 HAS SOUPS 45515 WITH SCORE 45574.547
AT ITER 5315 NEW BEST:: SOT 207515 SOS 59522 HAS SOPS 59522 HAS SOUS 45464 HAS SOUPS 45464 WITH SCORE 45523.522
AT ITER 5354 NEW BEST:: SOT 207484 SOS 59475 HAS SOPS 59475 HAS SOUS 45417 HAS SOUPS 45417 WITH SCORE 45476.475
AT ITER 5359 NEW BEST:: SOT 207475 SOS 59448 HAS SOPS 59448 HAS SOUS 45390 HAS SOUPS 45390 WITH SCORE 45449.448
AT ITER 5398 NEW BEST:: SOT 207473 SOS 59444 HAS SOPS 59444 HAS SOUS 45386 HAS SOUPS 45386 WITH SCORE 45445.444
AT ITER 5409 NEW BEST:: SOT 207459 SOS 59416 HAS SOPS 59416 HAS SOUS 45358 HAS SOUPS 45358 WITH SCORE 45417.416
AT ITER 5424 NEW BEST:: SOT 207469 SOS 59417 HAS SOPS 59417 HAS SOUS 45328 HAS SOUPS 45328 WITH SCORE 45387.417
AT ITER 5441 NEW BEST:: SOT 207415 SOS 59336 HAS SOPS 59336 HAS SOUS 45247 HAS SOUPS 45247 WITH SCORE 45306.336
AT ITER 5488 NEW BEST:: SOT 207398 SOS 59302 HAS SOPS 59302 HAS SOUS 45230 HAS SOUPS 45230 WITH SCORE 45289.302
AT ITER 5496 NEW BEST:: SOT 207383 SOS 59263 HAS SOPS 59263 HAS SOUS 45227 HAS SOUPS 45227 WITH SCORE 45286.263
AT ITER 5504 NEW BEST:: SOT 207380 SOS 59260 HAS SOPS 59260 HAS SOUS 45227 HAS SOUPS 45227 WITH SCORE 45286.26
AT ITER 5515 NEW BEST:: SOT 207368 SOS 59248 HAS SOPS 59248 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45274.248
AT ITER 5543 NEW BEST:: SOT 207266 SOS 59010 HAS SOPS 59010 HAS SOUS 45075 HAS SOUPS 45075 WITH SCORE 45134.01
AT ITER 5619 NEW BEST:: SOT 207257 SOS 58962 HAS SOPS 58962 HAS SOUS 45066 HAS SOUPS 45066 WITH SCORE 45124.962
AT ITER 5630 NEW BEST:: SOT 207265 SOS 58958 HAS SOPS 58958 HAS SOUS 45062 HAS SOUPS 45062 WITH SCORE 45120.958
AT ITER 5644 NEW BEST:: SOT 207311 SOS 58985 HAS SOPS 58985 HAS SOUS 45058 HAS SOUPS 45058 WITH SCORE 45116.985
AT ITER 5661 NEW BEST:: SOT 207310 SOS 58983 HAS SOPS 58983 HAS SOUS 45056 HAS SOUPS 45056 WITH SCORE 45114.983
AT ITER 5667 NEW BEST:: SOT 207296 SOS 58955 HAS SOPS 58955 HAS SOUS 45028 HAS SOUPS 45028 WITH SCORE 45086.955
AT ITER 5675 NEW BEST:: SOT 207359 SOS 59059 HAS SOPS 59059 HAS SOUS 45027 HAS SOUPS 45027 WITH SCORE 45086.059
AT ITER 5686 NEW BEST:: SOT 207365 SOS 59047 HAS SOPS 59047 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45064.047
AT ITER 5699 NEW BEST:: SOT 207363 SOS 59043 HAS SOPS 59043 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45014.043
AT ITER 5704 NEW BEST:: SOT 207363 SOS 59030 HAS SOPS 59030 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 45001.03
AT ITER 5738 NEW BEST:: SOT 207358 SOS 59020 HAS SOPS 59020 HAS SOUS 44937 HAS SOUPS 44937 WITH SCORE 44996.02
AT ITER 5739 NEW BEST:: SOT 207293 SOS 58890 HAS SOPS 58890 HAS SOUS 44807 HAS SOUPS 44807 WITH SCORE 44865.89
AT ITER 5742 NEW BEST:: SOT 207293 SOS 58885 HAS SOPS 58885 HAS SOUS 44802 HAS SOUPS 44802 WITH SCORE 44860.885
AT ITER 5751 NEW BEST:: SOT 207295 SOS 58818 HAS SOPS 58818 HAS SOUS 44735 HAS SOUPS 44735 WITH SCORE 44793.818
AT ITER 5764 NEW BEST:: SOT 207295 SOS 58815 HAS SOPS 58815 HAS SOUS 44734 HAS SOUPS 44734 WITH SCORE 44792.815
AT ITER 5768 NEW BEST:: SOT 207268 SOS 58790 HAS SOPS 58790 HAS SOUS 44709 HAS SOUPS 44709 WITH SCORE 44767.79
AT ITER 5788 NEW BEST:: SOT 207214 SOS 58554 HAS SOPS 58554 HAS SOUS 44473 HAS SOUPS 44473 WITH SCORE 44531.554
AT ITER 5789 NEW BEST:: SOT 207190 SOS 58514 HAS SOPS 58514 HAS SOUS 44433 HAS SOUPS 44433 WITH SCORE 44491.514
AT ITER 5801 NEW BEST:: SOT 207164 SOS 58462 HAS SOPS 58462 HAS SOUS 44381 HAS SOUPS 44381 WITH SCORE 44439.462
AT ITER 5839 NEW BEST:: SOT 207155 SOS 58453 HAS SOPS 58453 HAS SOUS 44372 HAS SOUPS 44372 WITH SCORE 44430.453
AT ITER 5841 NEW BEST:: SOT 207166 SOS 58449 HAS SOPS 58449 HAS SOUS 44370 HAS SOUPS 44370 WITH SCORE 44428.449
AT ITER 5859 NEW BEST:: SOT 207166 SOS 58446 HAS SOPS 58446 HAS SOUS 44367 HAS SOUPS 44367 WITH SCORE 44425.446
AT ITER 5882 NEW BEST:: SOT 207100 SOS 58380 HAS SOPS 58380 HAS SOUS 44367 HAS SOUPS 44367 WITH SCORE 44425.38
AT ITER 5886 NEW BEST:: SOT 207081 SOS 58361 HAS SOPS 58361 HAS SOUS 44348 HAS SOUPS 44348 WITH SCORE 44406.361
AT ITER 5901 NEW BEST:: SOT 207053 SOS 58333 HAS SOPS 58333 HAS SOUS 44320 HAS SOUPS 44320 WITH SCORE 44378.333
AT ITER 5914 NEW BEST:: SOT 207005 SOS 58285 HAS SOPS 58285 HAS SOUS 44272 HAS SOUPS 44272 WITH SCORE 44330.285
AT ITER 5962 NEW BEST:: SOT 206995 SOS 58284 HAS SOPS 58284 HAS SOUS 44271 HAS SOUPS 44271 WITH SCORE 44329.284
AT ITER 6038 NEW BEST:: SOT 207006 SOS 58275 HAS SOPS 58275 HAS SOUS 44262 HAS SOUPS 44262 WITH SCORE 44320.275
AT ITER 6041 NEW BEST:: SOT 207003 SOS 58269 HAS SOPS 58269 HAS SOUS 44252 HAS SOUPS 44252 WITH SCORE 44310.269
AT ITER 6072 NEW BEST:: SOT 206982 SOS 58248 HAS SOPS 58248 HAS SOUS 44252 HAS SOUPS 44252 WITH SCORE 44310.248
AT ITER 6079 NEW BEST:: SOT 206972 SOS 58238 HAS SOPS 58238 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44300.238
AT ITER 6102 NEW BEST:: SOT 206985 SOS 58264 HAS SOPS 58264 HAS SOUS 44225 HAS SOUPS 44225 WITH SCORE 44283.264
AT ITER 6134 NEW BEST:: SOT 206972 SOS 58251 HAS SOPS 58251 HAS SOUS 44212 HAS SOUPS 44212 WITH SCORE 44270.251
AT ITER 6145 NEW BEST:: SOT 206912 SOS 58094 HAS SOPS 58094 HAS SOUS 44055 HAS SOUPS 44055 WITH SCORE 44113.094
AT ITER 6157 NEW BEST:: SOT 206988 SOS 58092 HAS SOPS 58092 HAS SOUS 43964 HAS SOUPS 43964 WITH SCORE 44022.092
AT ITER 6189 NEW BEST:: SOT 206985 SOS 58087 HAS SOPS 58087 HAS SOUS 43959 HAS SOUPS 43959 WITH SCORE 44017.087
AT ITER 6207 NEW BEST:: SOT 206896 SOS 58013 HAS SOPS 58013 HAS SOUS 43885 HAS SOUPS 43885 WITH SCORE 43943.013
AT ITER 6250 NEW BEST:: SOT 206905 SOS 58022 HAS SOPS 58022 HAS SOUS 43879 HAS SOUPS 43879 WITH SCORE 43937.022
AT ITER 6254 NEW BEST:: SOT 206905 SOS 58010 HAS SOPS 58010 HAS SOUS 43879 HAS SOUPS 43879 WITH SCORE 43937.01
AT ITER 6346 NEW BEST:: SOT 206858 SOS 57960 HAS SOPS 57960 HAS SOUS 43817 HAS SOUPS 43817 WITH SCORE 43874.96
AT ITER 6347 NEW BEST:: SOT 206833 SOS 57910 HAS SOPS 57910 HAS SOUS 43767 HAS SOUPS 43767 WITH SCORE 43824.91
AT ITER 6374 NEW BEST:: SOT 206833 SOS 57896 HAS SOPS 57896 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43810.896
AT ITER 6402 NEW BEST:: SOT 206833 SOS 57896 HAS SOPS 57896 HAS SOUS 43744 HAS SOUPS 43744 WITH SCORE 43801.896
AT ITER 6404 NEW BEST:: SOT 206782 SOS 57833 HAS SOPS 57833 HAS SOUS 43681 HAS SOUPS 43681 WITH SCORE 43738.833
AT ITER 6406 NEW BEST:: SOT 206753 SOS 57804 HAS SOPS 57804 HAS SOUS 43627 HAS SOUPS 43627 WITH SCORE 43684.804
AT ITER 6408 NEW BEST:: SOT 206716 SOS 57707 HAS SOPS 57707 HAS SOUS 43530 HAS SOUPS 43530 WITH SCORE 43587.707
AT ITER 6411 NEW BEST:: SOT 206695 SOS 57686 HAS SOPS 57686 HAS SOUS 43509 HAS SOUPS 43509 WITH SCORE 43566.686
AT ITER 6500 NEW BEST:: SOT 206694 SOS 57710 HAS SOPS 57710 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43564.71
AT ITER 6502 NEW BEST:: SOT 206679 SOS 57695 HAS SOPS 57695 HAS SOUS 43492 HAS SOUPS 43492 WITH SCORE 43549.695
AT ITER 6508 NEW BEST:: SOT 206671 SOS 57679 HAS SOPS 57679 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43525.679
AT ITER 6524 NEW BEST:: SOT 206656 SOS 57649 HAS SOPS 57649 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43495.649
AT ITER 6540 NEW BEST:: SOT 206654 SOS 57641 HAS SOPS 57641 HAS SOUS 43434 HAS SOUPS 43434 WITH SCORE 43491.641
AT ITER 6566 NEW BEST:: SOT 206645 SOS 57635 HAS SOPS 57635 HAS SOUS 43428 HAS SOUPS 43428 WITH SCORE 43485.635
AT ITER 6588 NEW BEST:: SOT 206789 SOS 57632 HAS SOPS 57632 HAS SOUS 43425 HAS SOUPS 43425 WITH SCORE 43482.632
AT ITER 6609 NEW BEST:: SOT 206789 SOS 57632 HAS SOPS 57632 HAS SOUS 43414 HAS SOUPS 43414 WITH SCORE 43471.632
AT ITER 6683 NEW BEST:: SOT 206793 SOS 57600 HAS SOPS 57600 HAS SOUS 43382 HAS SOUPS 43382 WITH SCORE 43439.6
AT ITER 6691 NEW BEST:: SOT 206783 SOS 57590 HAS SOPS 57590 HAS SOUS 43372 HAS SOUPS 43372 WITH SCORE 43429.59
AT ITER 6702 NEW BEST:: SOT 206783 SOS 57590 HAS SOPS 57590 HAS SOUS 43338 HAS SOUPS 43338 WITH SCORE 43395.59
AT ITER 6758 NEW BEST:: SOT 206706 SOS 57459 HAS SOPS 57459 HAS SOUS 43284 HAS SOUPS 43284 WITH SCORE 43341.459
AT ITER 6793 NEW BEST:: SOT 206723 SOS 57451 HAS SOPS 57451 HAS SOUS 43276 HAS SOUPS 43276 WITH SCORE 43333.451
AT ITER 6855 NEW BEST:: SOT 206714 SOS 57450 HAS SOPS 57450 HAS SOUS 43275 HAS SOUPS 43275 WITH SCORE 43332.45
AT ITER 6856 NEW BEST:: SOT 206696 SOS 57423 HAS SOPS 57423 HAS SOUS 43248 HAS SOUPS 43248 WITH SCORE 43305.423
AT ITER 6882 NEW BEST:: SOT 206696 SOS 57403 HAS SOPS 57403 HAS SOUS 43228 HAS SOUPS 43228 WITH SCORE 43285.403
AT ITER 6934 NEW BEST:: SOT 206672 SOS 57379 HAS SOPS 57379 HAS SOUS 43220 HAS SOUPS 43220 WITH SCORE 43277.379
AT ITER 6976 NEW BEST:: SOT 206644 SOS 57360 HAS SOPS 57360 HAS SOUS 43201 HAS SOUPS 43201 WITH SCORE 43258.36
AT ITER 6998 NEW BEST:: SOT 206568 SOS 57264 HAS SOPS 57264 HAS SOUS 43184 HAS SOUPS 43184 WITH SCORE 43241.264
AT ITER 7016 NEW BEST:: SOT 206558 SOS 57262 HAS SOPS 57262 HAS SOUS 43182 HAS SOUPS 43182 WITH SCORE 43239.262
AT ITER 7021 NEW BEST:: SOT 206558 SOS 57262 HAS SOPS 57262 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43228.262
AT ITER 7027 NEW BEST:: SOT 206552 SOS 57250 HAS SOPS 57250 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43216.25
AT ITER 7047 NEW BEST:: SOT 206546 SOS 57244 HAS SOPS 57244 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43210.244
AT ITER 7049 NEW BEST:: SOT 206606 SOS 57087 HAS SOPS 57087 HAS SOUS 43051 HAS SOUPS 43051 WITH SCORE 43108.087
AT ITER 7060 NEW BEST:: SOT 206606 SOS 57087 HAS SOPS 57087 HAS SOUS 43049 HAS SOUPS 43049 WITH SCORE 43106.087
AT ITER 7087 NEW BEST:: SOT 206631 SOS 57020 HAS SOPS 57020 HAS SOUS 43024 HAS SOUPS 43024 WITH SCORE 43081.02
AT ITER 7134 NEW BEST:: SOT 206631 SOS 57019 HAS SOPS 57019 HAS SOUS 43023 HAS SOUPS 43023 WITH SCORE 43080.019
AT ITER 7155 NEW BEST:: SOT 206619 SOS 56995 HAS SOPS 56995 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43055.995
AT ITER 7171 NEW BEST:: SOT 206606 SOS 56981 HAS SOPS 56981 HAS SOUS 42989 HAS SOUPS 42989 WITH SCORE 43045.981
AT ITER 7194 NEW BEST:: SOT 206606 SOS 56944 HAS SOPS 56944 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43008.944
AT ITER 7202 NEW BEST:: SOT 206597 SOS 56927 HAS SOPS 56927 HAS SOUS 42943 HAS SOUPS 42943 WITH SCORE 42999.927
AT ITER 7212 NEW BEST:: SOT 206585 SOS 56859 HAS SOPS 56859 HAS SOUS 42924 HAS SOUPS 42924 WITH SCORE 42980.859
AT ITER 7226 NEW BEST:: SOT 206572 SOS 56820 HAS SOPS 56820 HAS SOUS 42911 HAS SOUPS 42911 WITH SCORE 42967.82
AT ITER 7227 NEW BEST:: SOT 206570 SOS 56832 HAS SOPS 56832 HAS SOUS 42909 HAS SOUPS 42909 WITH SCORE 42965.832
AT ITER 7348 NEW BEST:: SOT 206564 SOS 56805 HAS SOPS 56805 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 42954.805
AT ITER 7354 NEW BEST:: SOT 206531 SOS 56735 HAS SOPS 56735 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42884.735
AT ITER 7418 NEW BEST:: SOT 206442 SOS 56605 HAS SOPS 56605 HAS SOUS 42730 HAS SOUPS 42730 WITH SCORE 42786.605
AT ITER 7433 NEW BEST:: SOT 206465 SOS 56617 HAS SOPS 56617 HAS SOUS 42699 HAS SOUPS 42699 WITH SCORE 42755.617
AT ITER 7481 NEW BEST:: SOT 206465 SOS 56614 HAS SOPS 56614 HAS SOUS 42696 HAS SOUPS 42696 WITH SCORE 42752.614
AT ITER 7491 NEW BEST:: SOT 206444 SOS 56572 HAS SOPS 56572 HAS SOUS 42654 HAS SOUPS 42654 WITH SCORE 42710.572
AT ITER 7499 NEW BEST:: SOT 206428 SOS 56556 HAS SOPS 56556 HAS SOUS 42638 HAS SOUPS 42638 WITH SCORE 42694.556
AT ITER 7514 NEW BEST:: SOT 206426 SOS 56554 HAS SOPS 56554 HAS SOUS 42636 HAS SOUPS 42636 WITH SCORE 42692.554
AT ITER 7571 NEW BEST:: SOT 206420 SOS 56542 HAS SOPS 56542 HAS SOUS 42604 HAS SOUPS 42604 WITH SCORE 42660.542
AT ITER 7588 NEW BEST:: SOT 206360 SOS 56422 HAS SOPS 56422 HAS SOUS 42484 HAS SOUPS 42484 WITH SCORE 42540.422
AT ITER 7594 NEW BEST:: SOT 206319 SOS 56397 HAS SOPS 56397 HAS SOUS 42381 HAS SOUPS 42381 WITH SCORE 42437.397
AT ITER 7601 NEW BEST:: SOT 206291 SOS 56343 HAS SOPS 56343 HAS SOUS 42327 HAS SOUPS 42327 WITH SCORE 42383.343
AT ITER 7616 NEW BEST:: SOT 206162 SOS 56214 HAS SOPS 56214 HAS SOUS 42327 HAS SOUPS 42327 WITH SCORE 42383.214
AT ITER 7617 NEW BEST:: SOT 206174 SOS 56199 HAS SOPS 56199 HAS SOUS 42312 HAS SOUPS 42312 WITH SCORE 42368.199
AT ITER 7668 NEW BEST:: SOT 206159 SOS 56184 HAS SOPS 56184 HAS SOUS 42297 HAS SOUPS 42297 WITH SCORE 42353.184
AT ITER 7695 NEW BEST:: SOT 206146 SOS 56171 HAS SOPS 56171 HAS SOUS 42284 HAS SOUPS 42284 WITH SCORE 42340.171
AT ITER 7728 NEW BEST:: SOT 206208 SOS 56109 HAS SOPS 56109 HAS SOUS 42284 HAS SOUPS 42284 WITH SCORE 42340.109
AT ITER 7760 NEW BEST:: SOT 206208 SOS 56093 HAS SOPS 56093 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42324.093
AT ITER 7778 NEW BEST:: SOT 206115 SOS 55958 HAS SOPS 55958 HAS SOUS 42239 HAS SOUPS 42239 WITH SCORE 42294.958
AT ITER 7814 NEW BEST:: SOT 206147 SOS 55954 HAS SOPS 55954 HAS SOUS 42235 HAS SOUPS 42235 WITH SCORE 42290.954
AT ITER 7845 NEW BEST:: SOT 206145 SOS 55952 HAS SOPS 55952 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42288.952
AT ITER 7916 NEW BEST:: SOT 206109 SOS 55925 HAS SOPS 55925 HAS SOUS 42206 HAS SOUPS 42206 WITH SCORE 42261.925
AT ITER 7947 NEW BEST:: SOT 206103 SOS 55923 HAS SOPS 55923 HAS SOUS 42204 HAS SOUPS 42204 WITH SCORE 42259.923
AT ITER 7953 NEW BEST:: SOT 206101 SOS 55919 HAS SOPS 55919 HAS SOUS 42165 HAS SOUPS 42165 WITH SCORE 42220.919
AT ITER 7962 NEW BEST:: SOT 206069 SOS 55907 HAS SOPS 55907 HAS SOUS 42153 HAS SOUPS 42153 WITH SCORE 42208.907
AT ITER 7976 NEW BEST:: SOT 206069 SOS 55907 HAS SOPS 55907 HAS SOUS 42144 HAS SOUPS 42144 WITH SCORE 42199.907
AT ITER 8029 NEW BEST:: SOT 205947 SOS 55740 HAS SOPS 55740 HAS SOUS 42092 HAS SOUPS 42092 WITH SCORE 42147.74
AT ITER 8047 NEW BEST:: SOT 205936 SOS 55718 HAS SOPS 55718 HAS SOUS 42070 HAS SOUPS 42070 WITH SCORE 42125.718
AT ITER 8067 NEW BEST:: SOT 205895 SOS 55679 HAS SOPS 55679 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42086.679
AT ITER 8079 NEW BEST:: SOT 205858 SOS 55642 HAS SOPS 55642 HAS SOUS 41952 HAS SOUPS 41952 WITH SCORE 42007.642
AT ITER 8159 NEW BEST:: SOT 205851 SOS 55613 HAS SOPS 55613 HAS SOUS 41891 HAS SOUPS 41891 WITH SCORE 41946.613
AT ITER 8219 NEW BEST:: SOT 205846 SOS 55608 HAS SOPS 55608 HAS SOUS 41885 HAS SOUPS 41885 WITH SCORE 41940.608
AT ITER 8243 NEW BEST:: SOT 205807 SOS 55569 HAS SOPS 55569 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41901.569
AT ITER 8244 NEW BEST:: SOT 205781 SOS 55548 HAS SOPS 55548 HAS SOUS 41825 HAS SOUPS 41825 WITH SCORE 41880.548
AT ITER 8281 NEW BEST:: SOT 205775 SOS 55493 HAS SOPS 55493 HAS SOUS 41819 HAS SOUPS 41819 WITH SCORE 41874.493
AT ITER 8285 NEW BEST:: SOT 205748 SOS 55466 HAS SOPS 55466 HAS SOUS 41792 HAS SOUPS 41792 WITH SCORE 41847.466
AT ITER 8325 NEW BEST:: SOT 205746 SOS 55451 HAS SOPS 55451 HAS SOUS 41777 HAS SOUPS 41777 WITH SCORE 41832.451
AT ITER 8326 NEW BEST:: SOT 205823 SOS 55449 HAS SOPS 55449 HAS SOUS 41775 HAS SOUPS 41775 WITH SCORE 41830.449
AT ITER 8372 NEW BEST:: SOT 205803 SOS 55429 HAS SOPS 55429 HAS SOUS 41755 HAS SOUPS 41755 WITH SCORE 41810.429
AT ITER 8404 NEW BEST:: SOT 205759 SOS 55341 HAS SOPS 55341 HAS SOUS 41667 HAS SOUPS 41667 WITH SCORE 41722.341
AT ITER 8425 NEW BEST:: SOT 205759 SOS 55341 HAS SOPS 55341 HAS SOUS 41631 HAS SOUPS 41631 WITH SCORE 41686.341
AT ITER 8469 NEW BEST:: SOT 205830 SOS 55403 HAS SOPS 55403 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41609.403
AT ITER 8476 NEW BEST:: SOT 205791 SOS 55370 HAS SOPS 55370 HAS SOUS 41493 HAS SOUPS 41493 WITH SCORE 41548.37
AT ITER 8498 NEW BEST:: SOT 205766 SOS 55348 HAS SOPS 55348 HAS SOUS 41471 HAS SOUPS 41471 WITH SCORE 41526.348
AT ITER 8549 NEW BEST:: SOT 205771 SOS 55210 HAS SOPS 55210 HAS SOUS 41406 HAS SOUPS 41406 WITH SCORE 41461.21
AT ITER 8575 NEW BEST:: SOT 205771 SOS 55210 HAS SOPS 55210 HAS SOUS 41405 HAS SOUPS 41405 WITH SCORE 41460.21
AT ITER 8595 NEW BEST:: SOT 205792 SOS 55231 HAS SOPS 55231 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41442.231
AT ITER 8599 NEW BEST:: SOT 205792 SOS 55227 HAS SOPS 55227 HAS SOUS 41383 HAS SOUPS 41383 WITH SCORE 41438.227
AT ITER 8671 NEW BEST:: SOT 205760 SOS 55218 HAS SOPS 55218 HAS SOUS 41319 HAS SOUPS 41319 WITH SCORE 41374.218
AT ITER 8733 NEW BEST:: SOT 205753 SOS 55204 HAS SOPS 55204 HAS SOUS 41305 HAS SOUPS 41305 WITH SCORE 41360.204
AT ITER 8753 NEW BEST:: SOT 205747 SOS 55196 HAS SOPS 55196 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41356.196
AT ITER 8763 NEW BEST:: SOT 205747 SOS 55190 HAS SOPS 55190 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41356.19
AT ITER 8764 NEW BEST:: SOT 205746 SOS 55178 HAS SOPS 55178 HAS SOUS 41289 HAS SOUPS 41289 WITH SCORE 41344.178
AT ITER 8793 NEW BEST:: SOT 205736 SOS 55185 HAS SOPS 55185 HAS SOUS 41269 HAS SOUPS 41269 WITH SCORE 41324.185
AT ITER 8840 NEW BEST:: SOT 205713 SOS 55175 HAS SOPS 55175 HAS SOUS 41259 HAS SOUPS 41259 WITH SCORE 41314.175
AT ITER 8863 NEW BEST:: SOT 205691 SOS 55170 HAS SOPS 55170 HAS SOUS 41254 HAS SOUPS 41254 WITH SCORE 41309.17
AT ITER 8889 NEW BEST:: SOT 205691 SOS 55163 HAS SOPS 55163 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41247.163
AT ITER 8938 NEW BEST:: SOT 205666 SOS 55113 HAS SOPS 55113 HAS SOUS 41180 HAS SOUPS 41180 WITH SCORE 41235.113
AT ITER 9000 NEW BEST:: SOT 205653 SOS 55105 HAS SOPS 55105 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41227.105
AT ITER 9028 NEW BEST:: SOT 205647 SOS 55099 HAS SOPS 55099 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41221.099
AT ITER 9099 NEW BEST:: SOT 205669 SOS 55089 HAS SOPS 55089 HAS SOUS 41156 HAS SOUPS 41156 WITH SCORE 41211.089
AT ITER 9105 NEW BEST:: SOT 205660 SOS 55079 HAS SOPS 55079 HAS SOUS 41152 HAS SOUPS 41152 WITH SCORE 41207.079
AT ITER 9119 NEW BEST:: SOT 205611 SOS 55030 HAS SOPS 55030 HAS SOUS 41152 HAS SOUPS 41152 WITH SCORE 41207.03
AT ITER 9120 NEW BEST:: SOT 205573 SOS 55006 HAS SOPS 55006 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41171.006
AT ITER 9133 NEW BEST:: SOT 205573 SOS 54996 HAS SOPS 54996 HAS SOUS 41106 HAS SOUPS 41106 WITH SCORE 41160.996
AT ITER 9187 NEW BEST:: SOT 205545 SOS 54940 HAS SOPS 54940 HAS SOUS 41064 HAS SOUPS 41064 WITH SCORE 41118.94
AT ITER 9210 NEW BEST:: SOT 205412 SOS 54749 HAS SOPS 54749 HAS SOUS 41060 HAS SOUPS 41060 WITH SCORE 41114.749
AT ITER 9230 NEW BEST:: SOT 205380 SOS 54701 HAS SOPS 54701 HAS SOUS 41012 HAS SOUPS 41012 WITH SCORE 41066.701
AT ITER 9327 NEW BEST:: SOT 205391 SOS 54675 HAS SOPS 54675 HAS SOUS 40986 HAS SOUPS 40986 WITH SCORE 41040.675
AT ITER 9331 NEW BEST:: SOT 205403 SOS 54654 HAS SOPS 54654 HAS SOUS 40965 HAS SOUPS 40965 WITH SCORE 41019.654
AT ITER 9333 NEW BEST:: SOT 205403 SOS 54645 HAS SOPS 54645 HAS SOUS 40956 HAS SOUPS 40956 WITH SCORE 41010.645
AT ITER 9372 NEW BEST:: SOT 205424 SOS 54644 HAS SOPS 54644 HAS SOUS 40955 HAS SOUPS 40955 WITH SCORE 41009.644
AT ITER 9373 NEW BEST:: SOT 205384 SOS 54599 HAS SOPS 54599 HAS SOUS 40910 HAS SOUPS 40910 WITH SCORE 40964.599
AT ITER 9381 NEW BEST:: SOT 205378 SOS 54581 HAS SOPS 54581 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40958.581
AT ITER 9464 NEW BEST:: SOT 205378 SOS 54580 HAS SOPS 54580 HAS SOUS 40903 HAS SOUPS 40903 WITH SCORE 40957.58
AT ITER 9486 NEW BEST:: SOT 205378 SOS 54576 HAS SOPS 54576 HAS SOUS 40895 HAS SOUPS 40895 WITH SCORE 40949.576
AT ITER 9572 NEW BEST:: SOT 205388 SOS 54596 HAS SOPS 54596 HAS SOUS 40885 HAS SOUPS 40885 WITH SCORE 40939.596
AT ITER 9573 NEW BEST:: SOT 205358 SOS 54551 HAS SOPS 54551 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40909.551
AT ITER 9577 NEW BEST:: SOT 205338 SOS 54531 HAS SOPS 54531 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40889.531
AT ITER 9608 NEW BEST:: SOT 205347 SOS 54540 HAS SOPS 54540 HAS SOUS 40833 HAS SOUPS 40833 WITH SCORE 40887.54
AT ITER 9637 NEW BEST:: SOT 205362 SOS 54538 HAS SOPS 54538 HAS SOUS 40831 HAS SOUPS 40831 WITH SCORE 40885.538
AT ITER 9654 NEW BEST:: SOT 205374 SOS 54536 HAS SOPS 54536 HAS SOUS 40829 HAS SOUPS 40829 WITH SCORE 40883.536
AT ITER 9665 NEW BEST:: SOT 205364 SOS 54528 HAS SOPS 54528 HAS SOUS 40821 HAS SOUPS 40821 WITH SCORE 40875.528
AT ITER 9675 NEW BEST:: SOT 205339 SOS 54561 HAS SOPS 54561 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40850.561
AT ITER 9691 NEW BEST:: SOT 205358 SOS 54560 HAS SOPS 54560 HAS SOUS 40795 HAS SOUPS 40795 WITH SCORE 40849.56
AT ITER 9778 NEW BEST:: SOT 205345 SOS 54519 HAS SOPS 54519 HAS SOUS 40747 HAS SOUPS 40747 WITH SCORE 40801.519
AT ITER 9784 NEW BEST:: SOT 205295 SOS 54469 HAS SOPS 54469 HAS SOUS 40697 HAS SOUPS 40697 WITH SCORE 40751.469
AT ITER 9785 NEW BEST:: SOT 205277 SOS 54469 HAS SOPS 54469 HAS SOUS 40679 HAS SOUPS 40679 WITH SCORE 40733.469
AT ITER 9833 NEW BEST:: SOT 205179 SOS 54393 HAS SOPS 54393 HAS SOUS 40603 HAS SOUPS 40603 WITH SCORE 40657.393
AT ITER 9844 NEW BEST:: SOT 205173 SOS 54384 HAS SOPS 54384 HAS SOUS 40597 HAS SOUPS 40597 WITH SCORE 40651.384
AT ITER 9846 NEW BEST:: SOT 205173 SOS 54375 HAS SOPS 54375 HAS SOUS 40588 HAS SOUPS 40588 WITH SCORE 40642.375
AT ITER 9864 NEW BEST:: SOT 205173 SOS 54382 HAS SOPS 54382 HAS SOUS 40587 HAS SOUPS 40587 WITH SCORE 40641.382
AT ITER 9890 NEW BEST:: SOT 205171 SOS 54380 HAS SOPS 54380 HAS SOUS 40585 HAS SOUPS 40585 WITH SCORE 40639.38
AT ITER 9906 NEW BEST:: SOT 205189 SOS 54380 HAS SOPS 54380 HAS SOUS 40584 HAS SOUPS 40584 WITH SCORE 40638.38
AT ITER 9951 NEW BEST:: SOT 205188 SOS 54378 HAS SOPS 54378 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40636.378
AT ITER 9969 NEW BEST:: SOT 205175 SOS 54391 HAS SOPS 54391 HAS SOUS 40575 HAS SOUPS 40575 WITH SCORE 40629.391
AT ITER 9974 NEW BEST:: SOT 205073 SOS 54298 HAS SOPS 54298 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40586.298
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 12436776 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16127152 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-17"
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 BusinessProcesses-PT-17, 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 r043-tajo-167813697000584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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