Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 964K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 795K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589030123048

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

GOT IT HERE. BS
Petri model created: 2430 places, 3040 transitions, 9292 arcs.
AT ITER 0 NEW BEST:: SOT 4060326 SOS 958073 HAS SOPS 958073 HAS SOUS 765610 HAS SOUPS 765610 WITH SCORE 766568.073
AT ITER 4 NEW BEST:: SOT 4060023 SOS 957663 HAS SOPS 957663 HAS SOUS 765297 HAS SOUPS 765297 WITH SCORE 766254.663
AT ITER 8 NEW BEST:: SOT 4058767 SOS 957692 HAS SOPS 957692 HAS SOUS 764390 HAS SOUPS 764390 WITH SCORE 765347.692
AT ITER 29 NEW BEST:: SOT 4058549 SOS 957470 HAS SOPS 957470 HAS SOUS 764171 HAS SOUPS 764171 WITH SCORE 765128.47
AT ITER 34 NEW BEST:: SOT 4058257 SOS 957157 HAS SOPS 957157 HAS SOUS 763879 HAS SOUPS 763879 WITH SCORE 764836.157
AT ITER 71 NEW BEST:: SOT 4058257 SOS 957008 HAS SOPS 957008 HAS SOUS 763730 HAS SOUPS 763730 WITH SCORE 764687.008
AT ITER 74 NEW BEST:: SOT 4058232 SOS 956972 HAS SOPS 956972 HAS SOUS 763689 HAS SOUPS 763689 WITH SCORE 764645.972
AT ITER 90 NEW BEST:: SOT 4058107 SOS 956833 HAS SOPS 956833 HAS SOUS 763550 HAS SOUPS 763550 WITH SCORE 764506.833
AT ITER 95 NEW BEST:: SOT 4058086 SOS 956812 HAS SOPS 956812 HAS SOUS 763529 HAS SOUPS 763529 WITH SCORE 764485.812
AT ITER 102 NEW BEST:: SOT 4057815 SOS 956265 HAS SOPS 956265 HAS SOUS 763239 HAS SOUPS 763239 WITH SCORE 764195.265
AT ITER 112 NEW BEST:: SOT 4057643 SOS 955456 HAS SOPS 955456 HAS SOUS 762897 HAS SOUPS 762897 WITH SCORE 763852.456
AT ITER 113 NEW BEST:: SOT 4057643 SOS 955454 HAS SOPS 955454 HAS SOUS 762895 HAS SOUPS 762895 WITH SCORE 763850.454
AT ITER 118 NEW BEST:: SOT 4055498 SOS 953559 HAS SOPS 953559 HAS SOUS 762859 HAS SOUPS 762859 WITH SCORE 763812.559
AT ITER 124 NEW BEST:: SOT 4055239 SOS 953248 HAS SOPS 953248 HAS SOUS 762798 HAS SOUPS 762798 WITH SCORE 763751.248
AT ITER 139 NEW BEST:: SOT 4055239 SOS 953258 HAS SOPS 953258 HAS SOUS 762788 HAS SOUPS 762788 WITH SCORE 763741.258
AT ITER 146 NEW BEST:: SOT 4055239 SOS 953140 HAS SOPS 953140 HAS SOUS 762670 HAS SOUPS 762670 WITH SCORE 763623.14
AT ITER 147 NEW BEST:: SOT 4054125 SOS 952186 HAS SOPS 952186 HAS SOUS 761715 HAS SOUPS 761715 WITH SCORE 762667.186
AT ITER 148 NEW BEST:: SOT 4054124 SOS 952182 HAS SOPS 952182 HAS SOUS 761711 HAS SOUPS 761711 WITH SCORE 762663.182
AT ITER 163 NEW BEST:: SOT 4053853 SOS 951909 HAS SOPS 951909 HAS SOUS 761438 HAS SOUPS 761438 WITH SCORE 762389.909
AT ITER 169 NEW BEST:: SOT 4053820 SOS 951851 HAS SOPS 951851 HAS SOUS 761380 HAS SOUPS 761380 WITH SCORE 762331.851
AT ITER 171 NEW BEST:: SOT 4053038 SOS 951171 HAS SOPS 951171 HAS SOUS 761375 HAS SOUPS 761375 WITH SCORE 762326.171
AT ITER 172 NEW BEST:: SOT 4052942 SOS 950955 HAS SOPS 950955 HAS SOUS 761296 HAS SOUPS 761296 WITH SCORE 762246.955
AT ITER 191 NEW BEST:: SOT 4053042 SOS 950387 HAS SOPS 950387 HAS SOUS 760728 HAS SOUPS 760728 WITH SCORE 761678.387
AT ITER 229 NEW BEST:: SOT 4050967 SOS 951995 HAS SOPS 951995 HAS SOUS 759645 HAS SOUPS 759645 WITH SCORE 760596.995
AT ITER 231 NEW BEST:: SOT 4050967 SOS 951871 HAS SOPS 951871 HAS SOUS 759642 HAS SOUPS 759642 WITH SCORE 760593.871
AT ITER 233 NEW BEST:: SOT 4050696 SOS 950772 HAS SOPS 950772 HAS SOUS 759100 HAS SOUPS 759100 WITH SCORE 760050.772
AT ITER 241 NEW BEST:: SOT 4050704 SOS 950748 HAS SOPS 950748 HAS SOUS 759076 HAS SOUPS 759076 WITH SCORE 760026.748
AT ITER 257 NEW BEST:: SOT 4050689 SOS 950733 HAS SOPS 950733 HAS SOUS 759061 HAS SOUPS 759061 WITH SCORE 760011.733
AT ITER 282 NEW BEST:: SOT 4050584 SOS 950614 HAS SOPS 950614 HAS SOUS 758914 HAS SOUPS 758914 WITH SCORE 759864.614
AT ITER 311 NEW BEST:: SOT 4050412 SOS 952036 HAS SOPS 952036 HAS SOUS 758817 HAS SOUPS 758817 WITH SCORE 759769.036
AT ITER 326 NEW BEST:: SOT 4050412 SOS 952149 HAS SOPS 952149 HAS SOUS 758593 HAS SOUPS 758593 WITH SCORE 759545.149
AT ITER 356 NEW BEST:: SOT 4050286 SOS 951850 HAS SOPS 951850 HAS SOUS 758559 HAS SOUPS 758559 WITH SCORE 759510.85
AT ITER 365 NEW BEST:: SOT 4050201 SOS 951595 HAS SOPS 951595 HAS SOUS 758389 HAS SOUPS 758389 WITH SCORE 759340.595
AT ITER 396 NEW BEST:: SOT 4050201 SOS 951610 HAS SOPS 951610 HAS SOUS 757772 HAS SOUPS 757772 WITH SCORE 758723.61
AT ITER 437 NEW BEST:: SOT 4049734 SOS 951089 HAS SOPS 951089 HAS SOUS 757494 HAS SOUPS 757494 WITH SCORE 758445.089
AT ITER 444 NEW BEST:: SOT 4049597 SOS 950815 HAS SOPS 950815 HAS SOUS 757220 HAS SOUPS 757220 WITH SCORE 758170.815
AT ITER 476 NEW BEST:: SOT 4049319 SOS 950377 HAS SOPS 950377 HAS SOUS 756936 HAS SOUPS 756936 WITH SCORE 757886.377
AT ITER 486 NEW BEST:: SOT 4049276 SOS 950291 HAS SOPS 950291 HAS SOUS 756850 HAS SOUPS 756850 WITH SCORE 757800.291
AT ITER 492 NEW BEST:: SOT 4049232 SOS 950269 HAS SOPS 950269 HAS SOUS 756828 HAS SOUPS 756828 WITH SCORE 757778.269
AT ITER 539 NEW BEST:: SOT 4049128 SOS 950203 HAS SOPS 950203 HAS SOUS 756762 HAS SOUPS 756762 WITH SCORE 757712.203
AT ITER 544 NEW BEST:: SOT 4047647 SOS 958019 HAS SOPS 958019 HAS SOUS 756012 HAS SOUPS 756012 WITH SCORE 756970.019
AT ITER 558 NEW BEST:: SOT 4047588 SOS 957901 HAS SOPS 957901 HAS SOUS 755953 HAS SOUPS 755953 WITH SCORE 756910.901
AT ITER 567 NEW BEST:: SOT 4047576 SOS 957238 HAS SOPS 957238 HAS SOUS 755776 HAS SOUPS 755776 WITH SCORE 756733.238
AT ITER 593 NEW BEST:: SOT 4046812 SOS 956324 HAS SOPS 956324 HAS SOUS 755012 HAS SOUPS 755012 WITH SCORE 755968.324
AT ITER 598 NEW BEST:: SOT 4046847 SOS 958105 HAS SOPS 958105 HAS SOUS 753359 HAS SOUPS 753359 WITH SCORE 754317.105
AT ITER 624 NEW BEST:: SOT 4046766 SOS 957862 HAS SOPS 957862 HAS SOUS 753116 HAS SOUPS 753116 WITH SCORE 754073.862
AT ITER 631 NEW BEST:: SOT 4045949 SOS 956700 HAS SOPS 956700 HAS SOUS 751954 HAS SOUPS 751954 WITH SCORE 752910.7
AT ITER 643 NEW BEST:: SOT 4045948 SOS 956698 HAS SOPS 956698 HAS SOUS 751952 HAS SOUPS 751952 WITH SCORE 752908.698
AT ITER 670 NEW BEST:: SOT 4045618 SOS 956319 HAS SOPS 956319 HAS SOUS 751572 HAS SOUPS 751572 WITH SCORE 752528.319
AT ITER 678 NEW BEST:: SOT 4044280 SOS 954789 HAS SOPS 954789 HAS SOUS 751570 HAS SOUPS 751570 WITH SCORE 752524.789
AT ITER 685 NEW BEST:: SOT 4044010 SOS 954573 HAS SOPS 954573 HAS SOUS 751354 HAS SOUPS 751354 WITH SCORE 752308.573
AT ITER 689 NEW BEST:: SOT 4044010 SOS 954461 HAS SOPS 954461 HAS SOUS 751353 HAS SOUPS 751353 WITH SCORE 752307.461
AT ITER 720 NEW BEST:: SOT 4043926 SOS 954293 HAS SOPS 954293 HAS SOUS 751185 HAS SOUPS 751185 WITH SCORE 752139.293
AT ITER 746 NEW BEST:: SOT 4043688 SOS 953801 HAS SOPS 953801 HAS SOUS 750693 HAS SOUPS 750693 WITH SCORE 751646.801
AT ITER 748 NEW BEST:: SOT 4043688 SOS 953784 HAS SOPS 953784 HAS SOUS 750690 HAS SOUPS 750690 WITH SCORE 751643.784
AT ITER 751 NEW BEST:: SOT 4043597 SOS 953693 HAS SOPS 953693 HAS SOUS 750598 HAS SOUPS 750598 WITH SCORE 751551.693
AT ITER 762 NEW BEST:: SOT 4043094 SOS 953443 HAS SOPS 953443 HAS SOUS 750347 HAS SOUPS 750347 WITH SCORE 751300.443
AT ITER 770 NEW BEST:: SOT 4043049 SOS 953353 HAS SOPS 953353 HAS SOUS 750257 HAS SOUPS 750257 WITH SCORE 751210.353
AT ITER 804 NEW BEST:: SOT 4043049 SOS 953353 HAS SOPS 953353 HAS SOUS 750236 HAS SOUPS 750236 WITH SCORE 751189.353
AT ITER 806 NEW BEST:: SOT 4043014 SOS 953283 HAS SOPS 953283 HAS SOUS 750166 HAS SOUPS 750166 WITH SCORE 751119.283
AT ITER 809 NEW BEST:: SOT 4042982 SOS 953251 HAS SOPS 953251 HAS SOUS 750134 HAS SOUPS 750134 WITH SCORE 751087.251
AT ITER 821 NEW BEST:: SOT 4042863 SOS 952764 HAS SOPS 952764 HAS SOUS 749647 HAS SOUPS 749647 WITH SCORE 750599.764
AT ITER 828 NEW BEST:: SOT 4041481 SOS 953310 HAS SOPS 953310 HAS SOUS 748696 HAS SOUPS 748696 WITH SCORE 749649.31
AT ITER 829 NEW BEST:: SOT 4041481 SOS 953310 HAS SOPS 953310 HAS SOUS 748695 HAS SOUPS 748695 WITH SCORE 749648.31
AT ITER 866 NEW BEST:: SOT 4041474 SOS 953122 HAS SOPS 953122 HAS SOUS 748630 HAS SOUPS 748630 WITH SCORE 749583.122
AT ITER 877 NEW BEST:: SOT 4041135 SOS 952444 HAS SOPS 952444 HAS SOUS 747952 HAS SOUPS 747952 WITH SCORE 748904.444
AT ITER 908 NEW BEST:: SOT 4041027 SOS 952480 HAS SOPS 952480 HAS SOUS 747862 HAS SOUPS 747862 WITH SCORE 748814.48
AT ITER 916 NEW BEST:: SOT 4040963 SOS 952361 HAS SOPS 952361 HAS SOUS 747780 HAS SOUPS 747780 WITH SCORE 748732.361
AT ITER 921 NEW BEST:: SOT 4040839 SOS 952237 HAS SOPS 952237 HAS SOUS 747656 HAS SOUPS 747656 WITH SCORE 748608.237
AT ITER 923 NEW BEST:: SOT 4040839 SOS 952336 HAS SOPS 952336 HAS SOUS 747622 HAS SOUPS 747622 WITH SCORE 748574.336
AT ITER 946 NEW BEST:: SOT 4040807 SOS 952304 HAS SOPS 952304 HAS SOUS 747589 HAS SOUPS 747589 WITH SCORE 748541.304
AT ITER 949 NEW BEST:: SOT 4040655 SOS 952228 HAS SOPS 952228 HAS SOUS 747513 HAS SOUPS 747513 WITH SCORE 748465.228
AT ITER 976 NEW BEST:: SOT 4040655 SOS 952226 HAS SOPS 952226 HAS SOUS 747511 HAS SOUPS 747511 WITH SCORE 748463.226
AT ITER 998 NEW BEST:: SOT 4040810 SOS 952540 HAS SOPS 952540 HAS SOUS 747474 HAS SOUPS 747474 WITH SCORE 748426.54
AT ITER 1007 NEW BEST:: SOT 4040571 SOS 952018 HAS SOPS 952018 HAS SOUS 747189 HAS SOUPS 747189 WITH SCORE 748141.018
AT ITER 1029 NEW BEST:: SOT 4040475 SOS 951824 HAS SOPS 951824 HAS SOUS 747092 HAS SOUPS 747092 WITH SCORE 748043.824
AT ITER 1035 NEW BEST:: SOT 4040216 SOS 951520 HAS SOPS 951520 HAS SOUS 746014 HAS SOUPS 746014 WITH SCORE 746965.52
AT ITER 1039 NEW BEST:: SOT 4040216 SOS 951492 HAS SOPS 951492 HAS SOUS 746013 HAS SOUPS 746013 WITH SCORE 746964.492
AT ITER 1060 NEW BEST:: SOT 4040153 SOS 951429 HAS SOPS 951429 HAS SOUS 745887 HAS SOUPS 745887 WITH SCORE 746838.429
AT ITER 1091 NEW BEST:: SOT 4040020 SOS 951148 HAS SOPS 951148 HAS SOUS 745732 HAS SOUPS 745732 WITH SCORE 746683.148
AT ITER 1159 NEW BEST:: SOT 4040020 SOS 951141 HAS SOPS 951141 HAS SOUS 745725 HAS SOUPS 745725 WITH SCORE 746676.141
AT ITER 1165 NEW BEST:: SOT 4039982 SOS 951109 HAS SOPS 951109 HAS SOUS 745693 HAS SOUPS 745693 WITH SCORE 746644.109
AT ITER 1170 NEW BEST:: SOT 4039921 SOS 951048 HAS SOPS 951048 HAS SOUS 745632 HAS SOUPS 745632 WITH SCORE 746583.048
AT ITER 1173 NEW BEST:: SOT 4039857 SOS 950856 HAS SOPS 950856 HAS SOUS 745503 HAS SOUPS 745503 WITH SCORE 746453.856
AT ITER 1217 NEW BEST:: SOT 4039816 SOS 951032 HAS SOPS 951032 HAS SOUS 745441 HAS SOUPS 745441 WITH SCORE 746392.032
AT ITER 1228 NEW BEST:: SOT 4039782 SOS 950944 HAS SOPS 950944 HAS SOUS 743476 HAS SOUPS 743476 WITH SCORE 744426.944
AT ITER 1237 NEW BEST:: SOT 4039660 SOS 950887 HAS SOPS 950887 HAS SOUS 743419 HAS SOUPS 743419 WITH SCORE 744369.887
AT ITER 1256 NEW BEST:: SOT 4039434 SOS 950739 HAS SOPS 950739 HAS SOUS 743340 HAS SOUPS 743340 WITH SCORE 744290.739
AT ITER 1257 NEW BEST:: SOT 4040209 SOS 951642 HAS SOPS 951642 HAS SOUS 742088 HAS SOUPS 742088 WITH SCORE 743039.642
AT ITER 1284 NEW BEST:: SOT 4039891 SOS 950889 HAS SOPS 950889 HAS SOUS 741452 HAS SOUPS 741452 WITH SCORE 742402.889
AT ITER 1307 NEW BEST:: SOT 4039891 SOS 950720 HAS SOPS 950720 HAS SOUS 741451 HAS SOUPS 741451 WITH SCORE 742401.72
AT ITER 1317 NEW BEST:: SOT 4039842 SOS 950573 HAS SOPS 950573 HAS SOUS 741304 HAS SOUPS 741304 WITH SCORE 742254.573
AT ITER 1329 NEW BEST:: SOT 4040548 SOS 952029 HAS SOPS 952029 HAS SOUS 740294 HAS SOUPS 740294 WITH SCORE 741246.029
AT ITER 1334 NEW BEST:: SOT 4040319 SOS 951800 HAS SOPS 951800 HAS SOUS 740065 HAS SOUPS 740065 WITH SCORE 741016.8
AT ITER 1360 NEW BEST:: SOT 4040440 SOS 951562 HAS SOPS 951562 HAS SOUS 739849 HAS SOUPS 739849 WITH SCORE 740800.562
AT ITER 1374 NEW BEST:: SOT 4040440 SOS 951544 HAS SOPS 951544 HAS SOUS 739831 HAS SOUPS 739831 WITH SCORE 740782.544
AT ITER 1377 NEW BEST:: SOT 4040416 SOS 951496 HAS SOPS 951496 HAS SOUS 739806 HAS SOUPS 739806 WITH SCORE 740757.496
AT ITER 1384 NEW BEST:: SOT 4040416 SOS 951485 HAS SOPS 951485 HAS SOUS 739795 HAS SOUPS 739795 WITH SCORE 740746.485
AT ITER 1403 NEW BEST:: SOT 4040037 SOS 951100 HAS SOPS 951100 HAS SOUS 739410 HAS SOUPS 739410 WITH SCORE 740361.1
AT ITER 1417 NEW BEST:: SOT 4040878 SOS 952164 HAS SOPS 952164 HAS SOUS 737360 HAS SOUPS 737360 WITH SCORE 738312.164
AT ITER 1433 NEW BEST:: SOT 4040566 SOS 951930 HAS SOPS 951930 HAS SOUS 737125 HAS SOUPS 737125 WITH SCORE 738076.93
AT ITER 1442 NEW BEST:: SOT 4039951 SOS 951315 HAS SOPS 951315 HAS SOUS 736509 HAS SOUPS 736509 WITH SCORE 737460.315
AT ITER 1451 NEW BEST:: SOT 4039951 SOS 951216 HAS SOPS 951216 HAS SOUS 736410 HAS SOUPS 736410 WITH SCORE 737361.216
AT ITER 1483 NEW BEST:: SOT 4039792 SOS 950702 HAS SOPS 950702 HAS SOUS 736091 HAS SOUPS 736091 WITH SCORE 737041.702
AT ITER 1544 NEW BEST:: SOT 4039791 SOS 950700 HAS SOPS 950700 HAS SOUS 736089 HAS SOUPS 736089 WITH SCORE 737039.7
AT ITER 1554 NEW BEST:: SOT 4039659 SOS 950592 HAS SOPS 950592 HAS SOUS 735981 HAS SOUPS 735981 WITH SCORE 736931.592
AT ITER 1557 NEW BEST:: SOT 4039540 SOS 950302 HAS SOPS 950302 HAS SOUS 734811 HAS SOUPS 734811 WITH SCORE 735761.302
AT ITER 1563 NEW BEST:: SOT 4039356 SOS 949746 HAS SOPS 949746 HAS SOUS 734652 HAS SOUPS 734652 WITH SCORE 735601.746
AT ITER 1573 NEW BEST:: SOT 4039356 SOS 949610 HAS SOPS 949610 HAS SOUS 734652 HAS SOUPS 734652 WITH SCORE 735601.61
AT ITER 1577 NEW BEST:: SOT 4039261 SOS 949577 HAS SOPS 949577 HAS SOUS 734619 HAS SOUPS 734619 WITH SCORE 735568.577
AT ITER 1602 NEW BEST:: SOT 4039139 SOS 949576 HAS SOPS 949576 HAS SOUS 734618 HAS SOUPS 734618 WITH SCORE 735567.576
AT ITER 1608 NEW BEST:: SOT 4038880 SOS 949317 HAS SOPS 949317 HAS SOUS 734359 HAS SOUPS 734359 WITH SCORE 735308.317
AT ITER 1620 NEW BEST:: SOT 4038867 SOS 949304 HAS SOPS 949304 HAS SOUS 734342 HAS SOUPS 734342 WITH SCORE 735291.304
AT ITER 1626 NEW BEST:: SOT 4038810 SOS 949247 HAS SOPS 949247 HAS SOUS 734285 HAS SOUPS 734285 WITH SCORE 735234.247
AT ITER 1644 NEW BEST:: SOT 4038660 SOS 949127 HAS SOPS 949127 HAS SOUS 734165 HAS SOUPS 734165 WITH SCORE 735114.127
AT ITER 1664 NEW BEST:: SOT 4038454 SOS 948892 HAS SOPS 948892 HAS SOUS 733836 HAS SOUPS 733836 WITH SCORE 734784.892
AT ITER 1672 NEW BEST:: SOT 4038431 SOS 948846 HAS SOPS 948846 HAS SOUS 733807 HAS SOUPS 733807 WITH SCORE 734755.846
AT ITER 1686 NEW BEST:: SOT 4038369 SOS 947993 HAS SOPS 947993 HAS SOUS 733691 HAS SOUPS 733691 WITH SCORE 734638.993
AT ITER 1689 NEW BEST:: SOT 4038369 SOS 947948 HAS SOPS 947948 HAS SOUS 733646 HAS SOUPS 733646 WITH SCORE 734593.948
AT ITER 1692 NEW BEST:: SOT 4037714 SOS 947526 HAS SOPS 947526 HAS SOUS 732991 HAS SOUPS 732991 WITH SCORE 733938.526
AT ITER 1695 NEW BEST:: SOT 4037497 SOS 947211 HAS SOPS 947211 HAS SOUS 732686 HAS SOUPS 732686 WITH SCORE 733633.211
AT ITER 1706 NEW BEST:: SOT 4037497 SOS 947107 HAS SOPS 947107 HAS SOUS 732583 HAS SOUPS 732583 WITH SCORE 733530.107
AT ITER 1717 NEW BEST:: SOT 4037295 SOS 946893 HAS SOPS 946893 HAS SOUS 732361 HAS SOUPS 732361 WITH SCORE 733307.893
AT ITER 1726 NEW BEST:: SOT 4037295 SOS 946739 HAS SOPS 946739 HAS SOUS 732221 HAS SOUPS 732221 WITH SCORE 733167.739
AT ITER 1728 NEW BEST:: SOT 4037252 SOS 946901 HAS SOPS 946901 HAS SOUS 732135 HAS SOUPS 732135 WITH SCORE 733081.901
AT ITER 1731 NEW BEST:: SOT 4037252 SOS 946986 HAS SOPS 946986 HAS SOUS 732134 HAS SOUPS 732134 WITH SCORE 733080.986
AT ITER 1737 NEW BEST:: SOT 4036819 SOS 949816 HAS SOPS 949816 HAS SOUS 732117 HAS SOUPS 732117 WITH SCORE 733066.816
AT ITER 1752 NEW BEST:: SOT 4036819 SOS 949812 HAS SOPS 949812 HAS SOUS 732113 HAS SOUPS 732113 WITH SCORE 733062.812
AT ITER 1764 NEW BEST:: SOT 4036819 SOS 949681 HAS SOPS 949681 HAS SOUS 732113 HAS SOUPS 732113 WITH SCORE 733062.681
AT ITER 1781 NEW BEST:: SOT 4036708 SOS 949348 HAS SOPS 949348 HAS SOUS 731780 HAS SOUPS 731780 WITH SCORE 732729.348
AT ITER 1796 NEW BEST:: SOT 4036522 SOS 949162 HAS SOPS 949162 HAS SOUS 731594 HAS SOUPS 731594 WITH SCORE 732543.162
AT ITER 1825 NEW BEST:: SOT 4036175 SOS 949002 HAS SOPS 949002 HAS SOUS 731433 HAS SOUPS 731433 WITH SCORE 732382.002
AT ITER 1847 NEW BEST:: SOT 4036175 SOS 948986 HAS SOPS 948986 HAS SOUS 731417 HAS SOUPS 731417 WITH SCORE 732365.986
AT ITER 1863 NEW BEST:: SOT 4036175 SOS 948668 HAS SOPS 948668 HAS SOUS 731099 HAS SOUPS 731099 WITH SCORE 732047.668
AT ITER 1866 NEW BEST:: SOT 4036096 SOS 948481 HAS SOPS 948481 HAS SOUS 730912 HAS SOUPS 730912 WITH SCORE 731860.481
AT ITER 1867 NEW BEST:: SOT 4036104 SOS 948584 HAS SOPS 948584 HAS SOUS 730910 HAS SOUPS 730910 WITH SCORE 731858.584
AT ITER 1901 NEW BEST:: SOT 4036033 SOS 948371 HAS SOPS 948371 HAS SOUS 730768 HAS SOUPS 730768 WITH SCORE 731716.371
AT ITER 1942 NEW BEST:: SOT 4036072 SOS 948449 HAS SOPS 948449 HAS SOUS 730729 HAS SOUPS 730729 WITH SCORE 731677.449
AT ITER 1951 NEW BEST:: SOT 4036271 SOS 948312 HAS SOPS 948312 HAS SOUS 730592 HAS SOUPS 730592 WITH SCORE 731540.312
AT ITER 1986 NEW BEST:: SOT 4035614 SOS 948543 HAS SOPS 948543 HAS SOUS 730315 HAS SOUPS 730315 WITH SCORE 731263.543
AT ITER 1992 NEW BEST:: SOT 4034633 SOS 950146 HAS SOPS 950146 HAS SOUS 729657 HAS SOUPS 729657 WITH SCORE 730607.146
AT ITER 1995 NEW BEST:: SOT 4034633 SOS 949950 HAS SOPS 949950 HAS SOUS 729657 HAS SOUPS 729657 WITH SCORE 730606.95
AT ITER 2009 NEW BEST:: SOT 4034607 SOS 949857 HAS SOPS 949857 HAS SOUS 729564 HAS SOUPS 729564 WITH SCORE 730513.857
AT ITER 2013 NEW BEST:: SOT 4034732 SOS 950017 HAS SOPS 950017 HAS SOUS 729526 HAS SOUPS 729526 WITH SCORE 730476.017
AT ITER 2016 NEW BEST:: SOT 4034627 SOS 949912 HAS SOPS 949912 HAS SOUS 729525 HAS SOUPS 729525 WITH SCORE 730474.912
AT ITER 2021 NEW BEST:: SOT 4034626 SOS 949910 HAS SOPS 949910 HAS SOUS 729523 HAS SOUPS 729523 WITH SCORE 730472.91
AT ITER 2022 NEW BEST:: SOT 4034626 SOS 949885 HAS SOPS 949885 HAS SOUS 729522 HAS SOUPS 729522 WITH SCORE 730471.885
AT ITER 2025 NEW BEST:: SOT 4034625 SOS 949883 HAS SOPS 949883 HAS SOUS 729520 HAS SOUPS 729520 WITH SCORE 730469.883
AT ITER 2033 NEW BEST:: SOT 4034566 SOS 949765 HAS SOPS 949765 HAS SOUS 729460 HAS SOUPS 729460 WITH SCORE 730409.765
AT ITER 2034 NEW BEST:: SOT 4034449 SOS 949675 HAS SOPS 949675 HAS SOUS 729342 HAS SOUPS 729342 WITH SCORE 730291.675
AT ITER 2037 NEW BEST:: SOT 4034424 SOS 949625 HAS SOPS 949625 HAS SOUS 729292 HAS SOUPS 729292 WITH SCORE 730241.625
AT ITER 2041 NEW BEST:: SOT 4034388 SOS 950009 HAS SOPS 950009 HAS SOUS 729277 HAS SOUPS 729277 WITH SCORE 730227.009
AT ITER 2052 NEW BEST:: SOT 4034387 SOS 950070 HAS SOPS 950070 HAS SOUS 729275 HAS SOUPS 729275 WITH SCORE 730225.07
AT ITER 2081 NEW BEST:: SOT 4033441 SOS 949452 HAS SOPS 949452 HAS SOUS 728657 HAS SOUPS 728657 WITH SCORE 729606.452
AT ITER 2123 NEW BEST:: SOT 4032997 SOS 949002 HAS SOPS 949002 HAS SOUS 728242 HAS SOUPS 728242 WITH SCORE 729191.002
AT ITER 2138 NEW BEST:: SOT 4032924 SOS 948856 HAS SOPS 948856 HAS SOUS 728169 HAS SOUPS 728169 WITH SCORE 729117.856
AT ITER 2140 NEW BEST:: SOT 4032713 SOS 948737 HAS SOPS 948737 HAS SOUS 728049 HAS SOUPS 728049 WITH SCORE 728997.737
AT ITER 2142 NEW BEST:: SOT 4032713 SOS 948532 HAS SOPS 948532 HAS SOUS 728020 HAS SOUPS 728020 WITH SCORE 728968.532
AT ITER 2161 NEW BEST:: SOT 4032282 SOS 948210 HAS SOPS 948210 HAS SOUS 727698 HAS SOUPS 727698 WITH SCORE 728646.21
AT ITER 2172 NEW BEST:: SOT 4031981 SOS 947887 HAS SOPS 947887 HAS SOUS 727375 HAS SOUPS 727375 WITH SCORE 728322.887
AT ITER 2180 NEW BEST:: SOT 4031839 SOS 947645 HAS SOPS 947645 HAS SOUS 727231 HAS SOUPS 727231 WITH SCORE 728178.645
AT ITER 2198 NEW BEST:: SOT 4031797 SOS 947561 HAS SOPS 947561 HAS SOUS 727096 HAS SOUPS 727096 WITH SCORE 728043.561
AT ITER 2201 NEW BEST:: SOT 4033144 SOS 949185 HAS SOPS 949185 HAS SOUS 726584 HAS SOUPS 726584 WITH SCORE 727533.185
AT ITER 2207 NEW BEST:: SOT 4032978 SOS 949017 HAS SOPS 949017 HAS SOUS 726415 HAS SOUPS 726415 WITH SCORE 727364.017
AT ITER 2215 NEW BEST:: SOT 4032919 SOS 948958 HAS SOPS 948958 HAS SOUS 726356 HAS SOUPS 726356 WITH SCORE 727304.958
AT ITER 2220 NEW BEST:: SOT 4033027 SOS 948714 HAS SOPS 948714 HAS SOUS 726112 HAS SOUPS 726112 WITH SCORE 727060.714
AT ITER 2243 NEW BEST:: SOT 4033027 SOS 948713 HAS SOPS 948713 HAS SOUS 726111 HAS SOUPS 726111 WITH SCORE 727059.713
AT ITER 2250 NEW BEST:: SOT 4031977 SOS 947910 HAS SOPS 947910 HAS SOUS 725209 HAS SOUPS 725209 WITH SCORE 726156.91
AT ITER 2251 NEW BEST:: SOT 4031825 SOS 947866 HAS SOPS 947866 HAS SOUS 725196 HAS SOUPS 725196 WITH SCORE 726143.866
AT ITER 2263 NEW BEST:: SOT 4031694 SOS 947645 HAS SOPS 947645 HAS SOUS 725032 HAS SOUPS 725032 WITH SCORE 725979.645
AT ITER 2265 NEW BEST:: SOT 4029357 SOS 955944 HAS SOPS 955944 HAS SOUS 724121 HAS SOUPS 724121 WITH SCORE 725076.944
AT ITER 2290 NEW BEST:: SOT 4029085 SOS 955671 HAS SOPS 955671 HAS SOUS 723848 HAS SOUPS 723848 WITH SCORE 724803.671
AT ITER 2300 NEW BEST:: SOT 4028763 SOS 954705 HAS SOPS 954705 HAS SOUS 722882 HAS SOUPS 722882 WITH SCORE 723836.705
AT ITER 2301 NEW BEST:: SOT 4028007 SOS 954075 HAS SOPS 954075 HAS SOUS 722252 HAS SOUPS 722252 WITH SCORE 723206.075
AT ITER 2309 NEW BEST:: SOT 4028007 SOS 953977 HAS SOPS 953977 HAS SOUS 722251 HAS SOUPS 722251 WITH SCORE 723204.977
AT ITER 2315 NEW BEST:: SOT 4028015 SOS 953838 HAS SOPS 953838 HAS SOUS 722112 HAS SOUPS 722112 WITH SCORE 723065.838
AT ITER 2340 NEW BEST:: SOT 4026779 SOS 953569 HAS SOPS 953569 HAS SOUS 721228 HAS SOUPS 721228 WITH SCORE 722181.569
AT ITER 2399 NEW BEST:: SOT 4026769 SOS 953234 HAS SOPS 953234 HAS SOUS 721119 HAS SOUPS 721119 WITH SCORE 722072.234
AT ITER 2405 NEW BEST:: SOT 4026769 SOS 953014 HAS SOPS 953014 HAS SOUS 721119 HAS SOUPS 721119 WITH SCORE 722072.014
AT ITER 2418 NEW BEST:: SOT 4026371 SOS 953257 HAS SOPS 953257 HAS SOUS 720029 HAS SOUPS 720029 WITH SCORE 720982.257
AT ITER 2422 NEW BEST:: SOT 4026167 SOS 953051 HAS SOPS 953051 HAS SOUS 719823 HAS SOUPS 719823 WITH SCORE 720776.051
AT ITER 2425 NEW BEST:: SOT 4026358 SOS 953250 HAS SOPS 953250 HAS SOUS 719743 HAS SOUPS 719743 WITH SCORE 720696.25
AT ITER 2438 NEW BEST:: SOT 4026358 SOS 953469 HAS SOPS 953469 HAS SOUS 719742 HAS SOUPS 719742 WITH SCORE 720695.469
AT ITER 2439 NEW BEST:: SOT 4026482 SOS 953370 HAS SOPS 953370 HAS SOUS 719643 HAS SOUPS 719643 WITH SCORE 720596.37
AT ITER 2460 NEW BEST:: SOT 4026350 SOS 953107 HAS SOPS 953107 HAS SOUS 718478 HAS SOUPS 718478 WITH SCORE 719431.107
AT ITER 2476 NEW BEST:: SOT 4026224 SOS 952966 HAS SOPS 952966 HAS SOUS 718351 HAS SOUPS 718351 WITH SCORE 719303.966
AT ITER 2478 NEW BEST:: SOT 4026064 SOS 952918 HAS SOPS 952918 HAS SOUS 718254 HAS SOUPS 718254 WITH SCORE 719206.918
AT ITER 2484 NEW BEST:: SOT 4025906 SOS 952012 HAS SOPS 952012 HAS SOUS 717981 HAS SOUPS 717981 WITH SCORE 718933.012
AT ITER 2485 NEW BEST:: SOT 4025814 SOS 951894 HAS SOPS 951894 HAS SOUS 717863 HAS SOUPS 717863 WITH SCORE 718814.894
AT ITER 2502 NEW BEST:: SOT 4025685 SOS 951853 HAS SOPS 951853 HAS SOUS 717822 HAS SOUPS 717822 WITH SCORE 718773.853
AT ITER 2514 NEW BEST:: SOT 4025509 SOS 951325 HAS SOPS 951325 HAS SOUS 717597 HAS SOUPS 717597 WITH SCORE 718548.325
AT ITER 2522 NEW BEST:: SOT 4025256 SOS 951118 HAS SOPS 951118 HAS SOUS 717230 HAS SOUPS 717230 WITH SCORE 718181.118
AT ITER 2531 NEW BEST:: SOT 4023682 SOS 950083 HAS SOPS 950083 HAS SOUS 715915 HAS SOUPS 715915 WITH SCORE 716865.083
AT ITER 2532 NEW BEST:: SOT 4023682 SOS 950029 HAS SOPS 950029 HAS SOUS 715861 HAS SOUPS 715861 WITH SCORE 716811.029
AT ITER 2547 NEW BEST:: SOT 4023595 SOS 949967 HAS SOPS 949967 HAS SOUS 715799 HAS SOUPS 715799 WITH SCORE 716748.967
AT ITER 2595 NEW BEST:: SOT 4023560 SOS 949845 HAS SOPS 949845 HAS SOUS 715515 HAS SOUPS 715515 WITH SCORE 716464.845
AT ITER 2607 NEW BEST:: SOT 4023560 SOS 949845 HAS SOPS 949845 HAS SOUS 715321 HAS SOUPS 715321 WITH SCORE 716270.845
AT ITER 2610 NEW BEST:: SOT 4023440 SOS 949485 HAS SOPS 949485 HAS SOUS 715080 HAS SOUPS 715080 WITH SCORE 716029.485
AT ITER 2619 NEW BEST:: SOT 4023299 SOS 949434 HAS SOPS 949434 HAS SOUS 715038 HAS SOUPS 715038 WITH SCORE 715987.434
AT ITER 2624 NEW BEST:: SOT 4023203 SOS 949242 HAS SOPS 949242 HAS SOUS 714942 HAS SOUPS 714942 WITH SCORE 715891.242
AT ITER 2629 NEW BEST:: SOT 4023208 SOS 949247 HAS SOPS 949247 HAS SOUS 714932 HAS SOUPS 714932 WITH SCORE 715881.247
AT ITER 2642 NEW BEST:: SOT 4022973 SOS 948307 HAS SOPS 948307 HAS SOUS 714462 HAS SOUPS 714462 WITH SCORE 715410.307
AT ITER 2646 NEW BEST:: SOT 4022897 SOS 948205 HAS SOPS 948205 HAS SOUS 714360 HAS SOUPS 714360 WITH SCORE 715308.205
AT ITER 2705 NEW BEST:: SOT 4022905 SOS 948225 HAS SOPS 948225 HAS SOUS 714123 HAS SOUPS 714123 WITH SCORE 715071.225
AT ITER 2717 NEW BEST:: SOT 4022762 SOS 947707 HAS SOPS 947707 HAS SOUS 713719 HAS SOUPS 713719 WITH SCORE 714666.707
AT ITER 2731 NEW BEST:: SOT 4022517 SOS 947292 HAS SOPS 947292 HAS SOUS 713303 HAS SOUPS 713303 WITH SCORE 714250.292
AT ITER 2745 NEW BEST:: SOT 4022393 SOS 947044 HAS SOPS 947044 HAS SOUS 713044 HAS SOUPS 713044 WITH SCORE 713991.044
AT ITER 2757 NEW BEST:: SOT 4022194 SOS 947460 HAS SOPS 947460 HAS SOUS 712993 HAS SOUPS 712993 WITH SCORE 713940.46
AT ITER 2770 NEW BEST:: SOT 4021966 SOS 947004 HAS SOPS 947004 HAS SOUS 712433 HAS SOUPS 712433 WITH SCORE 713380.004
AT ITER 2781 NEW BEST:: SOT 4021943 SOS 946830 HAS SOPS 946830 HAS SOUS 712429 HAS SOUPS 712429 WITH SCORE 713375.83
AT ITER 2787 NEW BEST:: SOT 4021719 SOS 946606 HAS SOPS 946606 HAS SOUS 711533 HAS SOUPS 711533 WITH SCORE 712479.606
AT ITER 2788 NEW BEST:: SOT 4021599 SOS 946233 HAS SOPS 946233 HAS SOUS 711228 HAS SOUPS 711228 WITH SCORE 712174.233
AT ITER 2802 NEW BEST:: SOT 4021497 SOS 946095 HAS SOPS 946095 HAS SOUS 711124 HAS SOUPS 711124 WITH SCORE 712070.095
AT ITER 2811 NEW BEST:: SOT 4021219 SOS 945678 HAS SOPS 945678 HAS SOUS 710832 HAS SOUPS 710832 WITH SCORE 711777.678
AT ITER 2822 NEW BEST:: SOT 4020590 SOS 946100 HAS SOPS 946100 HAS SOUS 710507 HAS SOUPS 710507 WITH SCORE 711453.1
AT ITER 2823 NEW BEST:: SOT 4020379 SOS 946667 HAS SOPS 946667 HAS SOUS 710494 HAS SOUPS 710494 WITH SCORE 711440.667
AT ITER 2837 NEW BEST:: SOT 4018728 SOS 948494 HAS SOPS 948494 HAS SOUS 709466 HAS SOUPS 709466 WITH SCORE 710414.494
AT ITER 2846 NEW BEST:: SOT 4018191 SOS 952530 HAS SOPS 952530 HAS SOUS 709281 HAS SOUPS 709281 WITH SCORE 710233.53
AT ITER 2861 NEW BEST:: SOT 4018184 SOS 952523 HAS SOPS 952523 HAS SOUS 709177 HAS SOUPS 709177 WITH SCORE 710129.523
AT ITER 2869 NEW BEST:: SOT 4018184 SOS 952294 HAS SOPS 952294 HAS SOUS 708948 HAS SOUPS 708948 WITH SCORE 709900.294
AT ITER 2884 NEW BEST:: SOT 4018184 SOS 951914 HAS SOPS 951914 HAS SOUS 708948 HAS SOUPS 708948 WITH SCORE 709899.914
AT ITER 2891 NEW BEST:: SOT 4018165 SOS 951902 HAS SOPS 951902 HAS SOUS 708937 HAS SOUPS 708937 WITH SCORE 709888.902
AT ITER 2905 NEW BEST:: SOT 4017990 SOS 951727 HAS SOPS 951727 HAS SOUS 708762 HAS SOUPS 708762 WITH SCORE 709713.727
AT ITER 2911 NEW BEST:: SOT 4017913 SOS 951484 HAS SOPS 951484 HAS SOUS 708605 HAS SOUPS 708605 WITH SCORE 709556.484
AT ITER 2923 NEW BEST:: SOT 4017725 SOS 951514 HAS SOPS 951514 HAS SOUS 708417 HAS SOUPS 708417 WITH SCORE 709368.514
AT ITER 2927 NEW BEST:: SOT 4017566 SOS 951125 HAS SOPS 951125 HAS SOUS 708099 HAS SOUPS 708099 WITH SCORE 709050.125
AT ITER 2942 NEW BEST:: SOT 4017390 SOS 950949 HAS SOPS 950949 HAS SOUS 707923 HAS SOUPS 707923 WITH SCORE 708873.949
AT ITER 2959 NEW BEST:: SOT 4017478 SOS 950940 HAS SOPS 950940 HAS SOUS 707914 HAS SOUPS 707914 WITH SCORE 708864.94
AT ITER 2975 NEW BEST:: SOT 4017452 SOS 950869 HAS SOPS 950869 HAS SOUS 707824 HAS SOUPS 707824 WITH SCORE 708774.869
AT ITER 2985 NEW BEST:: SOT 4017402 SOS 950769 HAS SOPS 950769 HAS SOUS 707724 HAS SOUPS 707724 WITH SCORE 708674.769
AT ITER 2997 NEW BEST:: SOT 4017077 SOS 950112 HAS SOPS 950112 HAS SOUS 707067 HAS SOUPS 707067 WITH SCORE 708017.112
AT ITER 3013 NEW BEST:: SOT 4017077 SOS 950112 HAS SOPS 950112 HAS SOUS 706985 HAS SOUPS 706985 WITH SCORE 707935.112
AT ITER 3015 NEW BEST:: SOT 4017074 SOS 950106 HAS SOPS 950106 HAS SOUS 706917 HAS SOUPS 706917 WITH SCORE 707867.106
AT ITER 3019 NEW BEST:: SOT 4017047 SOS 949937 HAS SOPS 949937 HAS SOUS 706917 HAS SOUPS 706917 WITH SCORE 707866.937
AT ITER 3072 NEW BEST:: SOT 4016695 SOS 950195 HAS SOPS 950195 HAS SOUS 706836 HAS SOUPS 706836 WITH SCORE 707786.195
AT ITER 3099 NEW BEST:: SOT 4016694 SOS 950193 HAS SOPS 950193 HAS SOUS 706834 HAS SOUPS 706834 WITH SCORE 707784.193
AT ITER 3112 NEW BEST:: SOT 4016569 SOS 949818 HAS SOPS 949818 HAS SOUS 706582 HAS SOUPS 706582 WITH SCORE 707531.818
AT ITER 3120 NEW BEST:: SOT 4016568 SOS 949691 HAS SOPS 949691 HAS SOUS 706455 HAS SOUPS 706455 WITH SCORE 707404.691
AT ITER 3123 NEW BEST:: SOT 4016568 SOS 949538 HAS SOPS 949538 HAS SOUS 706305 HAS SOUPS 706305 WITH SCORE 707254.538
AT ITER 3141 NEW BEST:: SOT 4016457 SOS 948762 HAS SOPS 948762 HAS SOUS 706102 HAS SOUPS 706102 WITH SCORE 707050.762
AT ITER 3161 NEW BEST:: SOT 4016378 SOS 948568 HAS SOPS 948568 HAS SOUS 705908 HAS SOUPS 705908 WITH SCORE 706856.568
AT ITER 3196 NEW BEST:: SOT 4016378 SOS 948568 HAS SOPS 948568 HAS SOUS 705907 HAS SOUPS 705907 WITH SCORE 706855.568
AT ITER 3220 NEW BEST:: SOT 4016255 SOS 948526 HAS SOPS 948526 HAS SOUS 705892 HAS SOUPS 705892 WITH SCORE 706840.526
AT ITER 3231 NEW BEST:: SOT 4016179 SOS 948185 HAS SOPS 948185 HAS SOUS 705706 HAS SOUPS 705706 WITH SCORE 706654.185
AT ITER 3263 NEW BEST:: SOT 4016053 SOS 947933 HAS SOPS 947933 HAS SOUS 705454 HAS SOUPS 705454 WITH SCORE 706401.933
AT ITER 3269 NEW BEST:: SOT 4015970 SOS 947763 HAS SOPS 947763 HAS SOUS 705284 HAS SOUPS 705284 WITH SCORE 706231.763
AT ITER 3274 NEW BEST:: SOT 4016068 SOS 947106 HAS SOPS 947106 HAS SOUS 705095 HAS SOUPS 705095 WITH SCORE 706042.106
AT ITER 3278 NEW BEST:: SOT 4016131 SOS 946835 HAS SOPS 946835 HAS SOUS 704824 HAS SOUPS 704824 WITH SCORE 705770.835
AT ITER 3280 NEW BEST:: SOT 4016050 SOS 946768 HAS SOPS 946768 HAS SOUS 704757 HAS SOUPS 704757 WITH SCORE 705703.768
AT ITER 3311 NEW BEST:: SOT 4016390 SOS 946685 HAS SOPS 946685 HAS SOUS 704755 HAS SOUPS 704755 WITH SCORE 705701.685
AT ITER 3315 NEW BEST:: SOT 4016368 SOS 946663 HAS SOPS 946663 HAS SOUS 704733 HAS SOUPS 704733 WITH SCORE 705679.663
AT ITER 3321 NEW BEST:: SOT 4016163 SOS 946253 HAS SOPS 946253 HAS SOUS 704323 HAS SOUPS 704323 WITH SCORE 705269.253
AT ITER 3329 NEW BEST:: SOT 4016142 SOS 946211 HAS SOPS 946211 HAS SOUS 704281 HAS SOUPS 704281 WITH SCORE 705227.211
AT ITER 3341 NEW BEST:: SOT 4016004 SOS 946073 HAS SOPS 946073 HAS SOUS 704143 HAS SOUPS 704143 WITH SCORE 705089.073
AT ITER 3349 NEW BEST:: SOT 4015820 SOS 945843 HAS SOPS 945843 HAS SOUS 703943 HAS SOUPS 703943 WITH SCORE 704888.843
AT ITER 3350 NEW BEST:: SOT 4015819 SOS 945698 HAS SOPS 945698 HAS SOUS 703935 HAS SOUPS 703935 WITH SCORE 704880.698
AT ITER 3382 NEW BEST:: SOT 4015819 SOS 945719 HAS SOPS 945719 HAS SOUS 703934 HAS SOUPS 703934 WITH SCORE 704879.719
AT ITER 3383 NEW BEST:: SOT 4015730 SOS 945541 HAS SOPS 945541 HAS SOUS 703756 HAS SOUPS 703756 WITH SCORE 704701.541
AT ITER 3388 NEW BEST:: SOT 4015730 SOS 945658 HAS SOPS 945658 HAS SOUS 702194 HAS SOUPS 702194 WITH SCORE 703139.658
AT ITER 3411 NEW BEST:: SOT 4015485 SOS 945432 HAS SOPS 945432 HAS SOUS 701968 HAS SOUPS 701968 WITH SCORE 702913.432
AT ITER 3422 NEW BEST:: SOT 4013156 SOS 944158 HAS SOPS 944158 HAS SOUS 699952 HAS SOUPS 699952 WITH SCORE 700896.158
AT ITER 3423 NEW BEST:: SOT 4013014 SOS 943874 HAS SOPS 943874 HAS SOUS 699774 HAS SOUPS 699774 WITH SCORE 700717.874
AT ITER 3426 NEW BEST:: SOT 4013027 SOS 943786 HAS SOPS 943786 HAS SOUS 699686 HAS SOUPS 699686 WITH SCORE 700629.786
AT ITER 3430 NEW BEST:: SOT 4013029 SOS 943737 HAS SOPS 943737 HAS SOUS 699637 HAS SOUPS 699637 WITH SCORE 700580.737
AT ITER 3431 NEW BEST:: SOT 4012586 SOS 943294 HAS SOPS 943294 HAS SOUS 699194 HAS SOUPS 699194 WITH SCORE 700137.294
AT ITER 3441 NEW BEST:: SOT 4012514 SOS 943330 HAS SOPS 943330 HAS SOUS 698658 HAS SOUPS 698658 WITH SCORE 699601.33
AT ITER 3448 NEW BEST:: SOT 4012413 SOS 943128 HAS SOPS 943128 HAS SOUS 698456 HAS SOUPS 698456 WITH SCORE 699399.128
AT ITER 3449 NEW BEST:: SOT 4012411 SOS 943022 HAS SOPS 943022 HAS SOUS 698452 HAS SOUPS 698452 WITH SCORE 699395.022
AT ITER 3461 NEW BEST:: SOT 4012368 SOS 942960 HAS SOPS 942960 HAS SOUS 698390 HAS SOUPS 698390 WITH SCORE 699332.96
AT ITER 3462 NEW BEST:: SOT 4012337 SOS 942789 HAS SOPS 942789 HAS SOUS 698324 HAS SOUPS 698324 WITH SCORE 699266.789
AT ITER 3475 NEW BEST:: SOT 4012337 SOS 942710 HAS SOPS 942710 HAS SOUS 698271 HAS SOUPS 698271 WITH SCORE 699213.71
AT ITER 3477 NEW BEST:: SOT 4012049 SOS 942468 HAS SOPS 942468 HAS SOUS 697858 HAS SOUPS 697858 WITH SCORE 698800.468
AT ITER 3522 NEW BEST:: SOT 4012049 SOS 942467 HAS SOPS 942467 HAS SOUS 697857 HAS SOUPS 697857 WITH SCORE 698799.467
AT ITER 3529 NEW BEST:: SOT 4012023 SOS 942137 HAS SOPS 942137 HAS SOUS 697708 HAS SOUPS 697708 WITH SCORE 698650.137
AT ITER 3552 NEW BEST:: SOT 4012022 SOS 942135 HAS SOPS 942135 HAS SOUS 697706 HAS SOUPS 697706 WITH SCORE 698648.135
AT ITER 3555 NEW BEST:: SOT 4012022 SOS 942178 HAS SOPS 942178 HAS SOUS 697686 HAS SOUPS 697686 WITH SCORE 698628.178
AT ITER 3557 NEW BEST:: SOT 4011954 SOS 942043 HAS SOPS 942043 HAS SOUS 697617 HAS SOUPS 697617 WITH SCORE 698559.043
AT ITER 3564 NEW BEST:: SOT 4011954 SOS 942043 HAS SOPS 942043 HAS SOUS 697615 HAS SOUPS 697615 WITH SCORE 698557.043
AT ITER 3593 NEW BEST:: SOT 4011578 SOS 941650 HAS SOPS 941650 HAS SOUS 697238 HAS SOUPS 697238 WITH SCORE 698179.65
AT ITER 3594 NEW BEST:: SOT 4011563 SOS 941635 HAS SOPS 941635 HAS SOUS 697238 HAS SOUPS 697238 WITH SCORE 698179.635
AT ITER 3599 NEW BEST:: SOT 4010896 SOS 941081 HAS SOPS 941081 HAS SOUS 696309 HAS SOUPS 696309 WITH SCORE 697250.081
AT ITER 3600 NEW BEST:: SOT 4010860 SOS 940859 HAS SOPS 940859 HAS SOUS 696087 HAS SOUPS 696087 WITH SCORE 697027.859
AT ITER 3606 NEW BEST:: SOT 4010767 SOS 940472 HAS SOPS 940472 HAS SOUS 695673 HAS SOUPS 695673 WITH SCORE 696613.472
AT ITER 3639 NEW BEST:: SOT 4010345 SOS 940108 HAS SOPS 940108 HAS SOUS 695308 HAS SOUPS 695308 WITH SCORE 696248.108
AT ITER 3644 NEW BEST:: SOT 4010345 SOS 938552 HAS SOPS 938552 HAS SOUS 695293 HAS SOUPS 695293 WITH SCORE 696231.552
AT ITER 3663 NEW BEST:: SOT 4010172 SOS 937832 HAS SOPS 937832 HAS SOUS 695109 HAS SOUPS 695109 WITH SCORE 696046.832
AT ITER 3683 NEW BEST:: SOT 4010157 SOS 937817 HAS SOPS 937817 HAS SOUS 695094 HAS SOUPS 695094 WITH SCORE 696031.817
AT ITER 3696 NEW BEST:: SOT 4009849 SOS 937509 HAS SOPS 937509 HAS SOUS 694786 HAS SOUPS 694786 WITH SCORE 695723.509
AT ITER 3708 NEW BEST:: SOT 4009724 SOS 937259 HAS SOPS 937259 HAS SOUS 694536 HAS SOUPS 694536 WITH SCORE 695473.259
AT ITER 3729 NEW BEST:: SOT 4009648 SOS 936840 HAS SOPS 936840 HAS SOUS 691946 HAS SOUPS 691946 WITH SCORE 692882.84
AT ITER 3747 NEW BEST:: SOT 4009648 SOS 936849 HAS SOPS 936849 HAS SOUS 691791 HAS SOUPS 691791 WITH SCORE 692727.849
AT ITER 3792 NEW BEST:: SOT 4009535 SOS 936623 HAS SOPS 936623 HAS SOUS 691565 HAS SOUPS 691565 WITH SCORE 692501.623
AT ITER 3800 NEW BEST:: SOT 4009476 SOS 936397 HAS SOPS 936397 HAS SOUS 691357 HAS SOUPS 691357 WITH SCORE 692293.397
AT ITER 3809 NEW BEST:: SOT 4009430 SOS 936248 HAS SOPS 936248 HAS SOUS 691208 HAS SOUPS 691208 WITH SCORE 692144.248
AT ITER 3823 NEW BEST:: SOT 4009306 SOS 936000 HAS SOPS 936000 HAS SOUS 690960 HAS SOUPS 690960 WITH SCORE 691896.0
AT ITER 3833 NEW BEST:: SOT 4009306 SOS 936000 HAS SOPS 936000 HAS SOUS 690931 HAS SOUPS 690931 WITH SCORE 691867.0
AT ITER 3848 NEW BEST:: SOT 4009299 SOS 935565 HAS SOPS 935565 HAS SOUS 690854 HAS SOUPS 690854 WITH SCORE 691789.565
AT ITER 3854 NEW BEST:: SOT 4009259 SOS 935413 HAS SOPS 935413 HAS SOUS 690774 HAS SOUPS 690774 WITH SCORE 691709.413
AT ITER 3886 NEW BEST:: SOT 4009259 SOS 935388 HAS SOPS 935388 HAS SOUS 690749 HAS SOUPS 690749 WITH SCORE 691684.388
AT ITER 3894 NEW BEST:: SOT 4009258 SOS 935387 HAS SOPS 935387 HAS SOUS 690746 HAS SOUPS 690746 WITH SCORE 691681.387
AT ITER 3905 NEW BEST:: SOT 4009184 SOS 935329 HAS SOPS 935329 HAS SOUS 690688 HAS SOUPS 690688 WITH SCORE 691623.329
AT ITER 3910 NEW BEST:: SOT 4009154 SOS 935206 HAS SOPS 935206 HAS SOUS 690629 HAS SOUPS 690629 WITH SCORE 691564.206
AT ITER 3915 NEW BEST:: SOT 4009032 SOS 935033 HAS SOPS 935033 HAS SOUS 690469 HAS SOUPS 690469 WITH SCORE 691404.033
AT ITER 3918 NEW BEST:: SOT 4009132 SOS 935308 HAS SOPS 935308 HAS SOUS 690329 HAS SOUPS 690329 WITH SCORE 691264.308
AT ITER 3952 NEW BEST:: SOT 4008441 SOS 934605 HAS SOPS 934605 HAS SOUS 689638 HAS SOUPS 689638 WITH SCORE 690572.605
AT ITER 3966 NEW BEST:: SOT 4007869 SOS 934033 HAS SOPS 934033 HAS SOUS 688930 HAS SOUPS 688930 WITH SCORE 689864.033
AT ITER 4002 NEW BEST:: SOT 4007769 SOS 933960 HAS SOPS 933960 HAS SOUS 688857 HAS SOUPS 688857 WITH SCORE 689790.96
AT ITER 4004 NEW BEST:: SOT 4007354 SOS 934651 HAS SOPS 934651 HAS SOUS 688620 HAS SOUPS 688620 WITH SCORE 689554.651
AT ITER 4032 NEW BEST:: SOT 4007354 SOS 934643 HAS SOPS 934643 HAS SOUS 688612 HAS SOUPS 688612 WITH SCORE 689546.643
AT ITER 4050 NEW BEST:: SOT 4007353 SOS 934492 HAS SOPS 934492 HAS SOUS 688608 HAS SOUPS 688608 WITH SCORE 689542.492
AT ITER 4051 NEW BEST:: SOT 4007400 SOS 934471 HAS SOPS 934471 HAS SOUS 688562 HAS SOUPS 688562 WITH SCORE 689496.471
AT ITER 4065 NEW BEST:: SOT 4007116 SOS 933903 HAS SOPS 933903 HAS SOUS 687994 HAS SOUPS 687994 WITH SCORE 688927.903
AT ITER 4070 NEW BEST:: SOT 4007071 SOS 934513 HAS SOPS 934513 HAS SOUS 687876 HAS SOUPS 687876 WITH SCORE 688810.513
AT ITER 4072 NEW BEST:: SOT 4007037 SOS 934445 HAS SOPS 934445 HAS SOUS 687825 HAS SOUPS 687825 WITH SCORE 688759.445
AT ITER 4087 NEW BEST:: SOT 4005979 SOS 934675 HAS SOPS 934675 HAS SOUS 687307 HAS SOUPS 687307 WITH SCORE 688241.675
AT ITER 4099 NEW BEST:: SOT 4005978 SOS 934673 HAS SOPS 934673 HAS SOUS 687305 HAS SOUPS 687305 WITH SCORE 688239.673
AT ITER 4113 NEW BEST:: SOT 4005923 SOS 934563 HAS SOPS 934563 HAS SOUS 686217 HAS SOUPS 686217 WITH SCORE 687151.563
AT ITER 4131 NEW BEST:: SOT 4005803 SOS 934962 HAS SOPS 934962 HAS SOUS 686198 HAS SOUPS 686198 WITH SCORE 687132.962
AT ITER 4133 NEW BEST:: SOT 4005569 SOS 934839 HAS SOPS 934839 HAS SOUS 685960 HAS SOUPS 685960 WITH SCORE 686894.839
AT ITER 4136 NEW BEST:: SOT 4005479 SOS 934749 HAS SOPS 934749 HAS SOUS 685150 HAS SOUPS 685150 WITH SCORE 686084.749
AT ITER 4147 NEW BEST:: SOT 4005321 SOS 934433 HAS SOPS 934433 HAS SOUS 684986 HAS SOUPS 684986 WITH SCORE 685920.433
AT ITER 4159 NEW BEST:: SOT 4005320 SOS 934586 HAS SOPS 934586 HAS SOUS 684984 HAS SOUPS 684984 WITH SCORE 685918.586
AT ITER 4160 NEW BEST:: SOT 4005248 SOS 934442 HAS SOPS 934442 HAS SOUS 684840 HAS SOUPS 684840 WITH SCORE 685774.442
AT ITER 4168 NEW BEST:: SOT 4004732 SOS 933498 HAS SOPS 933498 HAS SOUS 683896 HAS SOUPS 683896 WITH SCORE 684829.498
AT ITER 4188 NEW BEST:: SOT 4004732 SOS 933431 HAS SOPS 933431 HAS SOUS 683896 HAS SOUPS 683896 WITH SCORE 684829.431
AT ITER 4263 NEW BEST:: SOT 4004498 SOS 934086 HAS SOPS 934086 HAS SOUS 683842 HAS SOUPS 683842 WITH SCORE 684776.086
AT ITER 4273 NEW BEST:: SOT 4004402 SOS 933729 HAS SOPS 933729 HAS SOUS 683650 HAS SOUPS 683650 WITH SCORE 684583.729
AT ITER 4296 NEW BEST:: SOT 4004402 SOS 933727 HAS SOPS 933727 HAS SOUS 683648 HAS SOUPS 683648 WITH SCORE 684581.727
AT ITER 4299 NEW BEST:: SOT 4004456 SOS 933633 HAS SOPS 933633 HAS SOUS 683554 HAS SOUPS 683554 WITH SCORE 684487.633
AT ITER 4324 NEW BEST:: SOT 4004396 SOS 933512 HAS SOPS 933512 HAS SOUS 683489 HAS SOUPS 683489 WITH SCORE 684422.512
AT ITER 4330 NEW BEST:: SOT 4003508 SOS 933042 HAS SOPS 933042 HAS SOUS 682728 HAS SOUPS 682728 WITH SCORE 683661.042
AT ITER 4342 NEW BEST:: SOT 4003265 SOS 933248 HAS SOPS 933248 HAS SOUS 682712 HAS SOUPS 682712 WITH SCORE 683645.248
AT ITER 4345 NEW BEST:: SOT 4003222 SOS 933248 HAS SOPS 933248 HAS SOUS 682696 HAS SOUPS 682696 WITH SCORE 683629.248
AT ITER 4349 NEW BEST:: SOT 4003121 SOS 932916 HAS SOPS 932916 HAS SOUS 682364 HAS SOUPS 682364 WITH SCORE 683296.916
AT ITER 4350 NEW BEST:: SOT 4002917 SOS 935343 HAS SOPS 935343 HAS SOUS 681956 HAS SOUPS 681956 WITH SCORE 682891.343
AT ITER 4352 NEW BEST:: SOT 4003176 SOS 936135 HAS SOPS 936135 HAS SOUS 681530 HAS SOUPS 681530 WITH SCORE 682466.135
AT ITER 4372 NEW BEST:: SOT 4003175 SOS 936131 HAS SOPS 936131 HAS SOUS 681526 HAS SOUPS 681526 WITH SCORE 682462.131
AT ITER 4379 NEW BEST:: SOT 4003025 SOS 935831 HAS SOPS 935831 HAS SOUS 681226 HAS SOUPS 681226 WITH SCORE 682161.831
AT ITER 4408 NEW BEST:: SOT 4003025 SOS 935723 HAS SOPS 935723 HAS SOUS 681226 HAS SOUPS 681226 WITH SCORE 682161.723
AT ITER 4478 NEW BEST:: SOT 4002935 SOS 935543 HAS SOPS 935543 HAS SOUS 681046 HAS SOUPS 681046 WITH SCORE 681981.543
AT ITER 4481 NEW BEST:: SOT 4002886 SOS 935445 HAS SOPS 935445 HAS SOUS 680948 HAS SOUPS 680948 WITH SCORE 681883.445
AT ITER 4502 NEW BEST:: SOT 4002522 SOS 927249 HAS SOPS 927249 HAS SOUS 680220 HAS SOUPS 680220 WITH SCORE 681147.249
AT ITER 4515 NEW BEST:: SOT 4002476 SOS 927203 HAS SOPS 927203 HAS SOUS 680174 HAS SOUPS 680174 WITH SCORE 681101.203
AT ITER 4534 NEW BEST:: SOT 4002425 SOS 927042 HAS SOPS 927042 HAS SOUS 680034 HAS SOUPS 680034 WITH SCORE 680961.042
AT ITER 4555 NEW BEST:: SOT 4002163 SOS 928070 HAS SOPS 928070 HAS SOUS 679414 HAS SOUPS 679414 WITH SCORE 680342.07
AT ITER 4586 NEW BEST:: SOT 4002163 SOS 928068 HAS SOPS 928068 HAS SOUS 679337 HAS SOUPS 679337 WITH SCORE 680265.068
AT ITER 4587 NEW BEST:: SOT 4002060 SOS 927914 HAS SOPS 927914 HAS SOUS 679183 HAS SOUPS 679183 WITH SCORE 680110.914
AT ITER 4609 NEW BEST:: SOT 4002060 SOS 927522 HAS SOPS 927522 HAS SOUS 679183 HAS SOUPS 679183 WITH SCORE 680110.522
AT ITER 4621 NEW BEST:: SOT 4002022 SOS 927473 HAS SOPS 927473 HAS SOUS 679134 HAS SOUPS 679134 WITH SCORE 680061.473
AT ITER 4671 NEW BEST:: SOT 4001911 SOS 927615 HAS SOPS 927615 HAS SOUS 679060 HAS SOUPS 679060 WITH SCORE 679987.615
AT ITER 4674 NEW BEST:: SOT 4001801 SOS 927650 HAS SOPS 927650 HAS SOUS 678840 HAS SOUPS 678840 WITH SCORE 679767.65
AT ITER 4681 NEW BEST:: SOT 4001801 SOS 927501 HAS SOPS 927501 HAS SOUS 678838 HAS SOUPS 678838 WITH SCORE 679765.501
AT ITER 4687 NEW BEST:: SOT 4001801 SOS 927337 HAS SOPS 927337 HAS SOUS 678674 HAS SOUPS 678674 WITH SCORE 679601.337
AT ITER 4699 NEW BEST:: SOT 4001777 SOS 927289 HAS SOPS 927289 HAS SOUS 678626 HAS SOUPS 678626 WITH SCORE 679553.289
AT ITER 4719 NEW BEST:: SOT 4001753 SOS 927262 HAS SOPS 927262 HAS SOUS 678587 HAS SOUPS 678587 WITH SCORE 679514.262
AT ITER 4731 NEW BEST:: SOT 4001689 SOS 927134 HAS SOPS 927134 HAS SOUS 678459 HAS SOUPS 678459 WITH SCORE 679386.134
AT ITER 4747 NEW BEST:: SOT 4001689 SOS 926594 HAS SOPS 926594 HAS SOUS 678459 HAS SOUPS 678459 WITH SCORE 679385.594
AT ITER 4768 NEW BEST:: SOT 4000943 SOS 925481 HAS SOPS 925481 HAS SOUS 677346 HAS SOUPS 677346 WITH SCORE 678271.481
AT ITER 4772 NEW BEST:: SOT 4000722 SOS 925080 HAS SOPS 925080 HAS SOUS 677201 HAS SOUPS 677201 WITH SCORE 678126.08
AT ITER 4814 NEW BEST:: SOT 4000693 SOS 924960 HAS SOPS 924960 HAS SOUS 677143 HAS SOUPS 677143 WITH SCORE 678067.96
AT ITER 4824 NEW BEST:: SOT 4000677 SOS 924926 HAS SOPS 924926 HAS SOUS 677121 HAS SOUPS 677121 WITH SCORE 678045.926
AT ITER 4836 NEW BEST:: SOT 4000363 SOS 924615 HAS SOPS 924615 HAS SOUS 676810 HAS SOUPS 676810 WITH SCORE 677734.615
AT ITER 4858 NEW BEST:: SOT 4000350 SOS 925138 HAS SOPS 925138 HAS SOUS 676773 HAS SOUPS 676773 WITH SCORE 677698.138
AT ITER 4859 NEW BEST:: SOT 4000152 SOS 924716 HAS SOPS 924716 HAS SOUS 676595 HAS SOUPS 676595 WITH SCORE 677519.716
AT ITER 4868 NEW BEST:: SOT 4000246 SOS 924616 HAS SOPS 924616 HAS SOUS 676495 HAS SOUPS 676495 WITH SCORE 677419.616
AT ITER 4881 NEW BEST:: SOT 3999866 SOS 924236 HAS SOPS 924236 HAS SOUS 676115 HAS SOUPS 676115 WITH SCORE 677039.236
AT ITER 4892 NEW BEST:: SOT 3999866 SOS 924337 HAS SOPS 924337 HAS SOUS 675408 HAS SOUPS 675408 WITH SCORE 676332.337
AT ITER 4903 NEW BEST:: SOT 3999483 SOS 923567 HAS SOPS 923567 HAS SOUS 674853 HAS SOUPS 674853 WITH SCORE 675776.567
AT ITER 4933 NEW BEST:: SOT 3998886 SOS 923131 HAS SOPS 923131 HAS SOUS 674417 HAS SOUPS 674417 WITH SCORE 675340.131
AT ITER 4956 NEW BEST:: SOT 3998780 SOS 922640 HAS SOPS 922640 HAS SOUS 674203 HAS SOUPS 674203 WITH SCORE 675125.64
AT ITER 4983 NEW BEST:: SOT 3998415 SOS 922281 HAS SOPS 922281 HAS SOUS 673838 HAS SOUPS 673838 WITH SCORE 674760.281
AT ITER 4992 NEW BEST:: SOT 3998357 SOS 922223 HAS SOPS 922223 HAS SOUS 673780 HAS SOUPS 673780 WITH SCORE 674702.223
AT ITER 4994 NEW BEST:: SOT 3998297 SOS 922163 HAS SOPS 922163 HAS SOUS 673720 HAS SOUPS 673720 WITH SCORE 674642.163
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-05b-CTLCardinality-00 ( (EG( (EF(potential( ( 1 ) <= (tk(P87)) ))))) & (EX( potential( (tk(P272)) <= (tk(P2376)) ))) )
PROPERTY: ASLink-PT-05b-CTLCardinality-01 (EG( (EG( ( potential( (tk(P921)) <= (tk(P1519)) ) | potential( ( 3 ) <= (tk(P13)) ) )))))
PROPERTY: ASLink-PT-05b-CTLCardinality-02 (! (AU( ( potential( (tk(P742)) <= (tk(P574)) ) | potential( (tk(P1285)) <= (tk(P1151)) ) ),(! potential( (tk(P492)) <= (tk(P926)) )) )))
PROPERTY: ASLink-PT-05b-CTLCardinality-03 ( (EF((AG( potential( (tk(P113)) <= (tk(P1461)) ))))) & (! ( ( ( potential( (tk(P1906)) <= (tk(P507)) ) & potential( (tk(P421)) <= (tk(P941)) ) ) | ( potential( (tk(P492)) <= (tk(P2281)) ) | potential( (tk(P75)) <= (tk(P534)) ) ) ) & (EG( potential( ( 1 ) <= (tk(P2128)) ))) )) )
PROPERTY: ASLink-PT-05b-CTLCardinality-04 ( ( ( (! ( potential( ( 2 ) <= (tk(P1962)) ) & potential( ( 1 ) <= (tk(P1410)) ) )) & (EF(potential( (tk(P507)) <= (tk(P1015)) ))) ) & ( ( ( potential( ( 2 ) <= (tk(P378)) ) | potential( ( 1 ) <= (tk(P1339)) ) ) | potential( ( 1 ) <= (tk(P728)) ) ) | (AG( potential( (tk(P1794)) <= (tk(P1063)) ))) ) ) & (AU( ( potential( ( 3 ) <= (tk(P219)) ) | potential( (tk(P738)) <= (tk(P122)) ) ),(! potential( ( 3 ) <= (tk(P841)) )) )) )
PROPERTY: ASLink-PT-05b-CTLCardinality-05 (AG( potential( (tk(P2238)) <= (tk(P1101)) )))
PROPERTY: ASLink-PT-05b-CTLCardinality-06 (EG( (! (AF(potential( ( 3 ) <= (tk(P1702)) ))))))
PROPERTY: ASLink-PT-05b-CTLCardinality-07 (AX( (! (EG( potential( (tk(P1558)) <= (tk(P1707)) ))))))
PROPERTY: ASLink-PT-05b-CTLCardinality-08 ( ( (EF(( potential( ( 2 ) <= (tk(P1316)) ) | potential( ( 3 ) <= (tk(P1113)) ) ))) & potential( (tk(P2026)) <= (tk(P1385)) ) ) & (AX( (AF(potential( ( 3 ) <= (tk(P585)) ))))) )
PROPERTY: ASLink-PT-05b-CTLCardinality-09 (EG( ( ( ( potential( ( 2 ) <= (tk(P1121)) ) & potential( ( 2 ) <= (tk(P2047)) ) ) | ( potential( (tk(P1689)) <= (tk(P1819)) ) | potential( ( 1 ) <= (tk(P2017)) ) ) ) | ( (! potential( (tk(P41)) <= (tk(P1846)) )) | (! potential( ( 2 ) <= (tk(P203)) )) ) )))
PROPERTY: ASLink-PT-05b-CTLCardinality-10 ( (! (AF(potential( ( 2 ) <= (tk(P1446)) )))) & (EU( ( potential( ( 3 ) <= (tk(P1435)) ) & potential( ( 3 ) <= (tk(P332)) ) ),(! potential( ( 3 ) <= (tk(P1601)) )) )) )
PROPERTY: ASLink-PT-05b-CTLCardinality-11 (AF((AF(potential( ( 3 ) <= (tk(P1142)) )))))
PROPERTY: ASLink-PT-05b-CTLCardinality-12 (AG( (AU( potential( (tk(P1862)) <= (tk(P1104)) ),potential( (tk(P200)) <= (tk(P291)) ) ))))
PROPERTY: ASLink-PT-05b-CTLCardinality-13 ( ( (AG( (! potential( (tk(P2026)) <= (tk(P2333)) )))) | (! (EF(potential( ( 2 ) <= (tk(P753)) )))) ) & ( (EX( potential( (tk(P477)) <= (tk(P1797)) ))) & (AG( potential( (tk(P2392)) <= (tk(P75)) ))) ) )
PROPERTY: ASLink-PT-05b-CTLCardinality-14 (EF((! (EF(potential( ( 3 ) <= (tk(P2253)) ))))))
PROPERTY: ASLink-PT-05b-CTLCardinality-15 (AF(( potential( ( 1 ) <= (tk(P2208)) ) & (! ( potential( ( 3 ) <= (tk(P2317)) ) & potential( ( 3 ) <= (tk(P456)) ) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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