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-158897508100084.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100084
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ASLink-PT-05b-CTLFireability-01
FORMULA_NAME ASLink-PT-05b-CTLFireability-02
FORMULA_NAME ASLink-PT-05b-CTLFireability-03
FORMULA_NAME ASLink-PT-05b-CTLFireability-04
FORMULA_NAME ASLink-PT-05b-CTLFireability-05
FORMULA_NAME ASLink-PT-05b-CTLFireability-06
FORMULA_NAME ASLink-PT-05b-CTLFireability-07
FORMULA_NAME ASLink-PT-05b-CTLFireability-08
FORMULA_NAME ASLink-PT-05b-CTLFireability-09
FORMULA_NAME ASLink-PT-05b-CTLFireability-10
FORMULA_NAME ASLink-PT-05b-CTLFireability-11
FORMULA_NAME ASLink-PT-05b-CTLFireability-12
FORMULA_NAME ASLink-PT-05b-CTLFireability-13
FORMULA_NAME ASLink-PT-05b-CTLFireability-14
FORMULA_NAME ASLink-PT-05b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589033047702

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 13 NEW BEST:: SOT 4060028 SOS 957553 HAS SOPS 957553 HAS SOUS 765381 HAS SOUPS 765381 WITH SCORE 766338.553
AT ITER 15 NEW BEST:: SOT 4059803 SOS 957418 HAS SOPS 957418 HAS SOUS 765246 HAS SOUPS 765246 WITH SCORE 766203.418
AT ITER 25 NEW BEST:: SOT 4058898 SOS 957284 HAS SOPS 957284 HAS SOUS 764827 HAS SOUPS 764827 WITH SCORE 765784.284
AT ITER 32 NEW BEST:: SOT 4058536 SOS 956922 HAS SOPS 956922 HAS SOUS 764465 HAS SOUPS 764465 WITH SCORE 765421.922
AT ITER 42 NEW BEST:: SOT 4058595 SOS 956743 HAS SOPS 956743 HAS SOUS 764286 HAS SOUPS 764286 WITH SCORE 765242.743
AT ITER 48 NEW BEST:: SOT 4058237 SOS 956564 HAS SOPS 956564 HAS SOUS 764107 HAS SOUPS 764107 WITH SCORE 765063.564
AT ITER 52 NEW BEST:: SOT 4058237 SOS 956562 HAS SOPS 956562 HAS SOUS 764105 HAS SOUPS 764105 WITH SCORE 765061.562
AT ITER 81 NEW BEST:: SOT 4058236 SOS 956537 HAS SOPS 956537 HAS SOUS 764101 HAS SOUPS 764101 WITH SCORE 765057.537
AT ITER 100 NEW BEST:: SOT 4058235 SOS 956535 HAS SOPS 956535 HAS SOUS 764099 HAS SOUPS 764099 WITH SCORE 765055.535
AT ITER 101 NEW BEST:: SOT 4058058 SOS 956358 HAS SOPS 956358 HAS SOUS 763922 HAS SOUPS 763922 WITH SCORE 764878.358
AT ITER 106 NEW BEST:: SOT 4058010 SOS 956087 HAS SOPS 956087 HAS SOUS 763826 HAS SOUPS 763826 WITH SCORE 764782.087
AT ITER 115 NEW BEST:: SOT 4058010 SOS 956086 HAS SOPS 956086 HAS SOUS 763825 HAS SOUPS 763825 WITH SCORE 764781.086
AT ITER 116 NEW BEST:: SOT 4057866 SOS 955635 HAS SOPS 955635 HAS SOUS 763621 HAS SOUPS 763621 WITH SCORE 764576.635
AT ITER 145 NEW BEST:: SOT 4057826 SOS 955555 HAS SOPS 955555 HAS SOUS 763581 HAS SOUPS 763581 WITH SCORE 764536.555
AT ITER 160 NEW BEST:: SOT 4057826 SOS 955448 HAS SOPS 955448 HAS SOUS 763581 HAS SOUPS 763581 WITH SCORE 764536.448
AT ITER 203 NEW BEST:: SOT 4057825 SOS 955446 HAS SOPS 955446 HAS SOUS 763579 HAS SOUPS 763579 WITH SCORE 764534.446
AT ITER 215 NEW BEST:: SOT 4054913 SOS 952610 HAS SOPS 952610 HAS SOUS 760657 HAS SOUPS 760657 WITH SCORE 761609.61
AT ITER 219 NEW BEST:: SOT 4054517 SOS 952185 HAS SOPS 952185 HAS SOUS 760261 HAS SOUPS 760261 WITH SCORE 761213.185
AT ITER 229 NEW BEST:: SOT 4054115 SOS 951502 HAS SOPS 951502 HAS SOUS 759858 HAS SOUPS 759858 WITH SCORE 760809.502
AT ITER 231 NEW BEST:: SOT 4054082 SOS 951242 HAS SOPS 951242 HAS SOUS 759726 HAS SOUPS 759726 WITH SCORE 760677.242
AT ITER 246 NEW BEST:: SOT 4054022 SOS 951182 HAS SOPS 951182 HAS SOUS 759658 HAS SOUPS 759658 WITH SCORE 760609.182
AT ITER 249 NEW BEST:: SOT 4053827 SOS 950791 HAS SOPS 950791 HAS SOUS 759462 HAS SOUPS 759462 WITH SCORE 760412.791
AT ITER 257 NEW BEST:: SOT 4053687 SOS 950651 HAS SOPS 950651 HAS SOUS 759322 HAS SOUPS 759322 WITH SCORE 760272.651
AT ITER 264 NEW BEST:: SOT 4053683 SOS 950556 HAS SOPS 950556 HAS SOUS 759227 HAS SOUPS 759227 WITH SCORE 760177.556
AT ITER 272 NEW BEST:: SOT 4053518 SOS 950397 HAS SOPS 950397 HAS SOUS 759067 HAS SOUPS 759067 WITH SCORE 760017.397
AT ITER 333 NEW BEST:: SOT 4053518 SOS 950367 HAS SOPS 950367 HAS SOUS 759067 HAS SOUPS 759067 WITH SCORE 760017.367
AT ITER 351 NEW BEST:: SOT 4053299 SOS 949957 HAS SOPS 949957 HAS SOUS 758832 HAS SOUPS 758832 WITH SCORE 759781.957
AT ITER 359 NEW BEST:: SOT 4053299 SOS 949957 HAS SOPS 949957 HAS SOUS 758831 HAS SOUPS 758831 WITH SCORE 759780.957
AT ITER 367 NEW BEST:: SOT 4052750 SOS 949156 HAS SOPS 949156 HAS SOUS 758030 HAS SOUPS 758030 WITH SCORE 758979.156
AT ITER 368 NEW BEST:: SOT 4052786 SOS 949098 HAS SOPS 949098 HAS SOUS 757883 HAS SOUPS 757883 WITH SCORE 758832.098
AT ITER 380 NEW BEST:: SOT 4052728 SOS 949032 HAS SOPS 949032 HAS SOUS 757817 HAS SOUPS 757817 WITH SCORE 758766.032
AT ITER 386 NEW BEST:: SOT 4052452 SOS 948252 HAS SOPS 948252 HAS SOUS 755080 HAS SOUPS 755080 WITH SCORE 756028.252
AT ITER 402 NEW BEST:: SOT 4051289 SOS 947039 HAS SOPS 947039 HAS SOUS 754980 HAS SOUPS 754980 WITH SCORE 755927.039
AT ITER 411 NEW BEST:: SOT 4051288 SOS 947038 HAS SOPS 947038 HAS SOUS 754978 HAS SOUPS 754978 WITH SCORE 755925.038
AT ITER 441 NEW BEST:: SOT 4051004 SOS 946478 HAS SOPS 946478 HAS SOUS 754685 HAS SOUPS 754685 WITH SCORE 755631.478
AT ITER 445 NEW BEST:: SOT 4051083 SOS 946636 HAS SOPS 946636 HAS SOUS 754675 HAS SOUPS 754675 WITH SCORE 755621.636
AT ITER 468 NEW BEST:: SOT 4051083 SOS 946625 HAS SOPS 946625 HAS SOUS 754664 HAS SOUPS 754664 WITH SCORE 755610.625
AT ITER 479 NEW BEST:: SOT 4050915 SOS 946228 HAS SOPS 946228 HAS SOUS 754328 HAS SOUPS 754328 WITH SCORE 755274.228
AT ITER 489 NEW BEST:: SOT 4050860 SOS 946173 HAS SOPS 946173 HAS SOUS 754273 HAS SOUPS 754273 WITH SCORE 755219.173
AT ITER 490 NEW BEST:: SOT 4050763 SOS 945979 HAS SOPS 945979 HAS SOUS 754079 HAS SOUPS 754079 WITH SCORE 755024.979
AT ITER 501 NEW BEST:: SOT 4049878 SOS 945737 HAS SOPS 945737 HAS SOUS 753000 HAS SOUPS 753000 WITH SCORE 753945.737
AT ITER 512 NEW BEST:: SOT 4049837 SOS 945637 HAS SOPS 945637 HAS SOUS 752900 HAS SOUPS 752900 WITH SCORE 753845.637
AT ITER 513 NEW BEST:: SOT 4049505 SOS 944824 HAS SOPS 944824 HAS SOUS 752234 HAS SOUPS 752234 WITH SCORE 753178.824
AT ITER 522 NEW BEST:: SOT 4049392 SOS 944485 HAS SOPS 944485 HAS SOUS 752008 HAS SOUPS 752008 WITH SCORE 752952.485
AT ITER 541 NEW BEST:: SOT 4049312 SOS 944450 HAS SOPS 944450 HAS SOUS 751973 HAS SOUPS 751973 WITH SCORE 752917.45
AT ITER 550 NEW BEST:: SOT 4049312 SOS 944432 HAS SOPS 944432 HAS SOUS 751955 HAS SOUPS 751955 WITH SCORE 752899.432
AT ITER 559 NEW BEST:: SOT 4049250 SOS 944275 HAS SOPS 944275 HAS SOUS 751798 HAS SOUPS 751798 WITH SCORE 752742.275
AT ITER 564 NEW BEST:: SOT 4049107 SOS 943846 HAS SOPS 943846 HAS SOUS 751533 HAS SOUPS 751533 WITH SCORE 752476.846
AT ITER 575 NEW BEST:: SOT 4049107 SOS 943842 HAS SOPS 943842 HAS SOUS 751533 HAS SOUPS 751533 WITH SCORE 752476.842
AT ITER 581 NEW BEST:: SOT 4049107 SOS 943840 HAS SOPS 943840 HAS SOUS 751531 HAS SOUPS 751531 WITH SCORE 752474.84
AT ITER 597 NEW BEST:: SOT 4048807 SOS 943240 HAS SOPS 943240 HAS SOUS 750931 HAS SOUPS 750931 WITH SCORE 751874.24
AT ITER 600 NEW BEST:: SOT 4048806 SOS 943238 HAS SOPS 943238 HAS SOUS 750929 HAS SOUPS 750929 WITH SCORE 751872.238
AT ITER 620 NEW BEST:: SOT 4048638 SOS 942902 HAS SOPS 942902 HAS SOUS 750593 HAS SOUPS 750593 WITH SCORE 751535.902
AT ITER 632 NEW BEST:: SOT 4048601 SOS 942865 HAS SOPS 942865 HAS SOUS 750556 HAS SOUPS 750556 WITH SCORE 751498.865
AT ITER 634 NEW BEST:: SOT 4048336 SOS 942252 HAS SOPS 942252 HAS SOUS 749909 HAS SOUPS 749909 WITH SCORE 750851.252
AT ITER 635 NEW BEST:: SOT 4048318 SOS 942216 HAS SOPS 942216 HAS SOUS 749873 HAS SOUPS 749873 WITH SCORE 750815.216
AT ITER 645 NEW BEST:: SOT 4048318 SOS 942212 HAS SOPS 942212 HAS SOUS 749869 HAS SOUPS 749869 WITH SCORE 750811.212
AT ITER 656 NEW BEST:: SOT 4048165 SOS 942059 HAS SOPS 942059 HAS SOUS 749716 HAS SOUPS 749716 WITH SCORE 750658.059
AT ITER 662 NEW BEST:: SOT 4048115 SOS 941915 HAS SOPS 941915 HAS SOUS 749657 HAS SOUPS 749657 WITH SCORE 750598.915
AT ITER 678 NEW BEST:: SOT 4048033 SOS 941671 HAS SOPS 941671 HAS SOUS 749618 HAS SOUPS 749618 WITH SCORE 750559.671
AT ITER 687 NEW BEST:: SOT 4047997 SOS 941599 HAS SOPS 941599 HAS SOUS 749581 HAS SOUPS 749581 WITH SCORE 750522.599
AT ITER 702 NEW BEST:: SOT 4047647 SOS 941249 HAS SOPS 941249 HAS SOUS 749231 HAS SOUPS 749231 WITH SCORE 750172.249
AT ITER 705 NEW BEST:: SOT 4047647 SOS 941285 HAS SOPS 941285 HAS SOUS 749168 HAS SOUPS 749168 WITH SCORE 750109.285
AT ITER 707 NEW BEST:: SOT 4047552 SOS 941186 HAS SOPS 941186 HAS SOUS 749069 HAS SOUPS 749069 WITH SCORE 750010.186
AT ITER 719 NEW BEST:: SOT 4047277 SOS 940909 HAS SOPS 940909 HAS SOUS 748793 HAS SOUPS 748793 WITH SCORE 749733.909
AT ITER 721 NEW BEST:: SOT 4047012 SOS 940470 HAS SOPS 940470 HAS SOUS 748614 HAS SOUPS 748614 WITH SCORE 749554.47
AT ITER 745 NEW BEST:: SOT 4046968 SOS 940371 HAS SOPS 940371 HAS SOUS 748556 HAS SOUPS 748556 WITH SCORE 749496.371
AT ITER 755 NEW BEST:: SOT 4047037 SOS 940330 HAS SOPS 940330 HAS SOUS 748529 HAS SOUPS 748529 WITH SCORE 749469.33
AT ITER 757 NEW BEST:: SOT 4046850 SOS 939956 HAS SOPS 939956 HAS SOUS 748155 HAS SOUPS 748155 WITH SCORE 749094.956
AT ITER 762 NEW BEST:: SOT 4046849 SOS 939924 HAS SOPS 939924 HAS SOUS 748153 HAS SOUPS 748153 WITH SCORE 749092.924
AT ITER 788 NEW BEST:: SOT 4046849 SOS 940172 HAS SOPS 940172 HAS SOUS 747889 HAS SOUPS 747889 WITH SCORE 748829.172
AT ITER 805 NEW BEST:: SOT 4046672 SOS 939957 HAS SOPS 939957 HAS SOUS 747659 HAS SOUPS 747659 WITH SCORE 748598.957
AT ITER 812 NEW BEST:: SOT 4046635 SOS 939883 HAS SOPS 939883 HAS SOUS 747622 HAS SOUPS 747622 WITH SCORE 748561.883
AT ITER 817 NEW BEST:: SOT 4044794 SOS 938555 HAS SOPS 938555 HAS SOUS 745883 HAS SOUPS 745883 WITH SCORE 746821.555
AT ITER 825 NEW BEST:: SOT 4044428 SOS 938298 HAS SOPS 938298 HAS SOUS 745357 HAS SOUPS 745357 WITH SCORE 746295.298
AT ITER 856 NEW BEST:: SOT 4043759 SOS 938850 HAS SOPS 938850 HAS SOUS 745038 HAS SOUPS 745038 WITH SCORE 745976.85
AT ITER 891 NEW BEST:: SOT 4043759 SOS 938848 HAS SOPS 938848 HAS SOUS 745036 HAS SOUPS 745036 WITH SCORE 745974.848
AT ITER 894 NEW BEST:: SOT 4043582 SOS 938667 HAS SOPS 938667 HAS SOUS 744855 HAS SOUPS 744855 WITH SCORE 745793.667
AT ITER 907 NEW BEST:: SOT 4043582 SOS 938662 HAS SOPS 938662 HAS SOUS 744850 HAS SOUPS 744850 WITH SCORE 745788.662
AT ITER 911 NEW BEST:: SOT 4043582 SOS 938404 HAS SOPS 938404 HAS SOUS 744842 HAS SOUPS 744842 WITH SCORE 745780.404
AT ITER 941 NEW BEST:: SOT 4042277 SOS 937273 HAS SOPS 937273 HAS SOUS 744842 HAS SOUPS 744842 WITH SCORE 745779.273
AT ITER 996 NEW BEST:: SOT 4042277 SOS 936954 HAS SOPS 936954 HAS SOUS 744523 HAS SOUPS 744523 WITH SCORE 745459.954
AT ITER 1016 NEW BEST:: SOT 4042158 SOS 936788 HAS SOPS 936788 HAS SOUS 744357 HAS SOUPS 744357 WITH SCORE 745293.788
AT ITER 1025 NEW BEST:: SOT 4042158 SOS 936788 HAS SOPS 936788 HAS SOUS 744355 HAS SOUPS 744355 WITH SCORE 745291.788
AT ITER 1034 NEW BEST:: SOT 4042158 SOS 936721 HAS SOPS 936721 HAS SOUS 744288 HAS SOUPS 744288 WITH SCORE 745224.721
AT ITER 1069 NEW BEST:: SOT 4041092 SOS 938636 HAS SOPS 938636 HAS SOUS 743964 HAS SOUPS 743964 WITH SCORE 744902.636
AT ITER 1090 NEW BEST:: SOT 4040830 SOS 938391 HAS SOPS 938391 HAS SOUS 743776 HAS SOUPS 743776 WITH SCORE 744714.391
AT ITER 1111 NEW BEST:: SOT 4040829 SOS 938390 HAS SOPS 938390 HAS SOUS 743774 HAS SOUPS 743774 WITH SCORE 744712.39
AT ITER 1116 NEW BEST:: SOT 4040803 SOS 938412 HAS SOPS 938412 HAS SOUS 743649 HAS SOUPS 743649 WITH SCORE 744587.412
AT ITER 1119 NEW BEST:: SOT 4040651 SOS 938032 HAS SOPS 938032 HAS SOUS 743345 HAS SOUPS 743345 WITH SCORE 744283.032
AT ITER 1123 NEW BEST:: SOT 4040376 SOS 937600 HAS SOPS 937600 HAS SOUS 743200 HAS SOUPS 743200 WITH SCORE 744137.6
AT ITER 1126 NEW BEST:: SOT 4040074 SOS 937336 HAS SOPS 937336 HAS SOUS 742818 HAS SOUPS 742818 WITH SCORE 743755.336
AT ITER 1133 NEW BEST:: SOT 4039982 SOS 937152 HAS SOPS 937152 HAS SOUS 742634 HAS SOUPS 742634 WITH SCORE 743571.152
AT ITER 1142 NEW BEST:: SOT 4039839 SOS 938690 HAS SOPS 938690 HAS SOUS 742576 HAS SOUPS 742576 WITH SCORE 743514.69
AT ITER 1149 NEW BEST:: SOT 4039838 SOS 938688 HAS SOPS 938688 HAS SOUS 742556 HAS SOUPS 742556 WITH SCORE 743494.688
AT ITER 1178 NEW BEST:: SOT 4039789 SOS 938639 HAS SOPS 938639 HAS SOUS 742507 HAS SOUPS 742507 WITH SCORE 743445.639
AT ITER 1205 NEW BEST:: SOT 4039815 SOS 938458 HAS SOPS 938458 HAS SOUS 742502 HAS SOUPS 742502 WITH SCORE 743440.458
AT ITER 1220 NEW BEST:: SOT 4039517 SOS 938160 HAS SOPS 938160 HAS SOUS 742204 HAS SOUPS 742204 WITH SCORE 743142.16
AT ITER 1228 NEW BEST:: SOT 4039256 SOS 937899 HAS SOPS 937899 HAS SOUS 741941 HAS SOUPS 741941 WITH SCORE 742878.899
AT ITER 1255 NEW BEST:: SOT 4039153 SOS 937876 HAS SOPS 937876 HAS SOUS 739710 HAS SOUPS 739710 WITH SCORE 740647.876
AT ITER 1257 NEW BEST:: SOT 4039115 SOS 937800 HAS SOPS 937800 HAS SOUS 739634 HAS SOUPS 739634 WITH SCORE 740571.8
AT ITER 1279 NEW BEST:: SOT 4038184 SOS 938270 HAS SOPS 938270 HAS SOUS 738768 HAS SOUPS 738768 WITH SCORE 739706.27
AT ITER 1285 NEW BEST:: SOT 4038086 SOS 938586 HAS SOPS 938586 HAS SOUS 738636 HAS SOUPS 738636 WITH SCORE 739574.586
AT ITER 1292 NEW BEST:: SOT 4038061 SOS 938540 HAS SOPS 938540 HAS SOUS 738590 HAS SOUPS 738590 WITH SCORE 739528.54
AT ITER 1314 NEW BEST:: SOT 4037704 SOS 938183 HAS SOPS 938183 HAS SOUS 738590 HAS SOUPS 738590 WITH SCORE 739528.183
AT ITER 1331 NEW BEST:: SOT 4037735 SOS 937786 HAS SOPS 937786 HAS SOUS 738573 HAS SOUPS 738573 WITH SCORE 739510.786
AT ITER 1333 NEW BEST:: SOT 4036983 SOS 938074 HAS SOPS 938074 HAS SOUS 738307 HAS SOUPS 738307 WITH SCORE 739245.074
AT ITER 1384 NEW BEST:: SOT 4035449 SOS 936790 HAS SOPS 936790 HAS SOUS 736729 HAS SOUPS 736729 WITH SCORE 737665.79
AT ITER 1410 NEW BEST:: SOT 4034349 SOS 938838 HAS SOPS 938838 HAS SOUS 735548 HAS SOUPS 735548 WITH SCORE 736486.838
AT ITER 1438 NEW BEST:: SOT 4033095 SOS 941681 HAS SOPS 941681 HAS SOUS 735041 HAS SOUPS 735041 WITH SCORE 735982.681
AT ITER 1460 NEW BEST:: SOT 4031984 SOS 941593 HAS SOPS 941593 HAS SOUS 734558 HAS SOUPS 734558 WITH SCORE 735499.593
AT ITER 1461 NEW BEST:: SOT 4031939 SOS 941503 HAS SOPS 941503 HAS SOUS 734468 HAS SOUPS 734468 WITH SCORE 735409.503
AT ITER 1465 NEW BEST:: SOT 4031809 SOS 941334 HAS SOPS 941334 HAS SOUS 734429 HAS SOUPS 734429 WITH SCORE 735370.334
AT ITER 1470 NEW BEST:: SOT 4031781 SOS 941332 HAS SOPS 941332 HAS SOUS 733995 HAS SOUPS 733995 WITH SCORE 734936.332
AT ITER 1481 NEW BEST:: SOT 4031579 SOS 941058 HAS SOPS 941058 HAS SOUS 733791 HAS SOUPS 733791 WITH SCORE 734732.058
AT ITER 1485 NEW BEST:: SOT 4031579 SOS 941050 HAS SOPS 941050 HAS SOUS 733791 HAS SOUPS 733791 WITH SCORE 734732.05
AT ITER 1498 NEW BEST:: SOT 4031553 SOS 941023 HAS SOPS 941023 HAS SOUS 733758 HAS SOUPS 733758 WITH SCORE 734699.023
AT ITER 1509 NEW BEST:: SOT 4031525 SOS 940967 HAS SOPS 940967 HAS SOUS 733702 HAS SOUPS 733702 WITH SCORE 734642.967
AT ITER 1513 NEW BEST:: SOT 4031441 SOS 940556 HAS SOPS 940556 HAS SOUS 732938 HAS SOUPS 732938 WITH SCORE 733878.556
AT ITER 1518 NEW BEST:: SOT 4031213 SOS 940100 HAS SOPS 940100 HAS SOUS 732482 HAS SOUPS 732482 WITH SCORE 733422.1
AT ITER 1530 NEW BEST:: SOT 4030283 SOS 939880 HAS SOPS 939880 HAS SOUS 731842 HAS SOUPS 731842 WITH SCORE 732781.88
AT ITER 1542 NEW BEST:: SOT 4030029 SOS 939597 HAS SOPS 939597 HAS SOUS 731744 HAS SOUPS 731744 WITH SCORE 732683.597
AT ITER 1554 NEW BEST:: SOT 4029918 SOS 939486 HAS SOPS 939486 HAS SOUS 731633 HAS SOUPS 731633 WITH SCORE 732572.486
AT ITER 1574 NEW BEST:: SOT 4029613 SOS 938855 HAS SOPS 938855 HAS SOUS 731002 HAS SOUPS 731002 WITH SCORE 731940.855
AT ITER 1577 NEW BEST:: SOT 4029613 SOS 938784 HAS SOPS 938784 HAS SOUS 731001 HAS SOUPS 731001 WITH SCORE 731939.784
AT ITER 1609 NEW BEST:: SOT 4029613 SOS 939099 HAS SOPS 939099 HAS SOUS 730999 HAS SOUPS 730999 WITH SCORE 731938.099
AT ITER 1622 NEW BEST:: SOT 4029418 SOS 938945 HAS SOPS 938945 HAS SOUS 730845 HAS SOUPS 730845 WITH SCORE 731783.945
AT ITER 1632 NEW BEST:: SOT 4029242 SOS 938769 HAS SOPS 938769 HAS SOUS 730666 HAS SOUPS 730666 WITH SCORE 731604.769
AT ITER 1648 NEW BEST:: SOT 4028291 SOS 938392 HAS SOPS 938392 HAS SOUS 730125 HAS SOUPS 730125 WITH SCORE 731063.392
AT ITER 1655 NEW BEST:: SOT 4028971 SOS 939690 HAS SOPS 939690 HAS SOUS 729870 HAS SOUPS 729870 WITH SCORE 730809.69
AT ITER 1656 NEW BEST:: SOT 4028863 SOS 940342 HAS SOPS 940342 HAS SOUS 729654 HAS SOUPS 729654 WITH SCORE 730594.342
AT ITER 1669 NEW BEST:: SOT 4028806 SOS 940285 HAS SOPS 940285 HAS SOUS 729540 HAS SOUPS 729540 WITH SCORE 730480.285
AT ITER 1675 NEW BEST:: SOT 4028806 SOS 940284 HAS SOPS 940284 HAS SOUS 729539 HAS SOUPS 729539 WITH SCORE 730479.284
AT ITER 1676 NEW BEST:: SOT 4028717 SOS 939925 HAS SOPS 939925 HAS SOUS 729180 HAS SOUPS 729180 WITH SCORE 730119.925
AT ITER 1682 NEW BEST:: SOT 4028511 SOS 939822 HAS SOPS 939822 HAS SOUS 729077 HAS SOUPS 729077 WITH SCORE 730016.822
AT ITER 1683 NEW BEST:: SOT 4028226 SOS 939508 HAS SOPS 939508 HAS SOUS 728905 HAS SOUPS 728905 WITH SCORE 729844.508
AT ITER 1685 NEW BEST:: SOT 4028082 SOS 939114 HAS SOPS 939114 HAS SOUS 728450 HAS SOUPS 728450 WITH SCORE 729389.114
AT ITER 1714 NEW BEST:: SOT 4028009 SOS 938868 HAS SOPS 938868 HAS SOUS 728297 HAS SOUPS 728297 WITH SCORE 729235.868
AT ITER 1723 NEW BEST:: SOT 4027907 SOS 938664 HAS SOPS 938664 HAS SOUS 728093 HAS SOUPS 728093 WITH SCORE 729031.664
AT ITER 1726 NEW BEST:: SOT 4027777 SOS 938422 HAS SOPS 938422 HAS SOUS 727956 HAS SOUPS 727956 WITH SCORE 728894.422
AT ITER 1734 NEW BEST:: SOT 4027685 SOS 938320 HAS SOPS 938320 HAS SOUS 727854 HAS SOUPS 727854 WITH SCORE 728792.32
AT ITER 1739 NEW BEST:: SOT 4027541 SOS 938212 HAS SOPS 938212 HAS SOUS 727707 HAS SOUPS 727707 WITH SCORE 728645.212
AT ITER 1793 NEW BEST:: SOT 4027519 SOS 938167 HAS SOPS 938167 HAS SOUS 727662 HAS SOUPS 727662 WITH SCORE 728600.167
AT ITER 1800 NEW BEST:: SOT 4027518 SOS 937738 HAS SOPS 937738 HAS SOUS 727660 HAS SOUPS 727660 WITH SCORE 728597.738
AT ITER 1826 NEW BEST:: SOT 4027518 SOS 937738 HAS SOPS 937738 HAS SOUS 727655 HAS SOUPS 727655 WITH SCORE 728592.738
AT ITER 1831 NEW BEST:: SOT 4027355 SOS 937547 HAS SOPS 937547 HAS SOUS 727463 HAS SOUPS 727463 WITH SCORE 728400.547
AT ITER 1832 NEW BEST:: SOT 4027344 SOS 937536 HAS SOPS 937536 HAS SOUS 727452 HAS SOUPS 727452 WITH SCORE 728389.536
AT ITER 1845 NEW BEST:: SOT 4027297 SOS 937438 HAS SOPS 937438 HAS SOUS 727405 HAS SOUPS 727405 WITH SCORE 728342.438
AT ITER 1864 NEW BEST:: SOT 4027212 SOS 937016 HAS SOPS 937016 HAS SOUS 727403 HAS SOUPS 727403 WITH SCORE 728340.016
AT ITER 1865 NEW BEST:: SOT 4026799 SOS 936692 HAS SOPS 936692 HAS SOUS 726894 HAS SOUPS 726894 WITH SCORE 727830.692
AT ITER 1866 NEW BEST:: SOT 4026523 SOS 935864 HAS SOPS 935864 HAS SOUS 726342 HAS SOUPS 726342 WITH SCORE 727277.864
AT ITER 1884 NEW BEST:: SOT 4026473 SOS 935814 HAS SOPS 935814 HAS SOUS 726242 HAS SOUPS 726242 WITH SCORE 727177.814
AT ITER 1898 NEW BEST:: SOT 4026473 SOS 935813 HAS SOPS 935813 HAS SOUS 726241 HAS SOUPS 726241 WITH SCORE 727176.813
AT ITER 1923 NEW BEST:: SOT 4026445 SOS 935757 HAS SOPS 935757 HAS SOUS 726122 HAS SOUPS 726122 WITH SCORE 727057.757
AT ITER 1925 NEW BEST:: SOT 4026198 SOS 935457 HAS SOPS 935457 HAS SOUS 725648 HAS SOUPS 725648 WITH SCORE 726583.457
AT ITER 1957 NEW BEST:: SOT 4025858 SOS 935111 HAS SOPS 935111 HAS SOUS 725302 HAS SOUPS 725302 WITH SCORE 726237.111
AT ITER 1988 NEW BEST:: SOT 4025488 SOS 935020 HAS SOPS 935020 HAS SOUS 724932 HAS SOUPS 724932 WITH SCORE 725867.02
AT ITER 2003 NEW BEST:: SOT 4025481 SOS 935007 HAS SOPS 935007 HAS SOUS 724924 HAS SOUPS 724924 WITH SCORE 725859.007
AT ITER 2020 NEW BEST:: SOT 4025419 SOS 934883 HAS SOPS 934883 HAS SOUS 724800 HAS SOUPS 724800 WITH SCORE 725734.883
AT ITER 2021 NEW BEST:: SOT 4025419 SOS 934784 HAS SOPS 934784 HAS SOUS 724800 HAS SOUPS 724800 WITH SCORE 725734.784
AT ITER 2023 NEW BEST:: SOT 4025258 SOS 934633 HAS SOPS 934633 HAS SOUS 724719 HAS SOUPS 724719 WITH SCORE 725653.633
AT ITER 2025 NEW BEST:: SOT 4025226 SOS 934601 HAS SOPS 934601 HAS SOUS 724686 HAS SOUPS 724686 WITH SCORE 725620.601
AT ITER 2076 NEW BEST:: SOT 4025226 SOS 934597 HAS SOPS 934597 HAS SOUS 724682 HAS SOUPS 724682 WITH SCORE 725616.597
AT ITER 2083 NEW BEST:: SOT 4025225 SOS 934565 HAS SOPS 934565 HAS SOUS 724650 HAS SOUPS 724650 WITH SCORE 725584.565
AT ITER 2098 NEW BEST:: SOT 4025299 SOS 934577 HAS SOPS 934577 HAS SOUS 724588 HAS SOUPS 724588 WITH SCORE 725522.577
AT ITER 2113 NEW BEST:: SOT 4025306 SOS 935853 HAS SOPS 935853 HAS SOUS 724338 HAS SOUPS 724338 WITH SCORE 725273.853
AT ITER 2143 NEW BEST:: SOT 4025178 SOS 934038 HAS SOPS 934038 HAS SOUS 723923 HAS SOUPS 723923 WITH SCORE 724857.038
AT ITER 2181 NEW BEST:: SOT 4025178 SOS 933830 HAS SOPS 933830 HAS SOUS 723457 HAS SOUPS 723457 WITH SCORE 724390.83
AT ITER 2190 NEW BEST:: SOT 4025140 SOS 933755 HAS SOPS 933755 HAS SOUS 723415 HAS SOUPS 723415 WITH SCORE 724348.755
AT ITER 2204 NEW BEST:: SOT 4024620 SOS 933736 HAS SOPS 933736 HAS SOUS 723393 HAS SOUPS 723393 WITH SCORE 724326.736
AT ITER 2222 NEW BEST:: SOT 4024619 SOS 933734 HAS SOPS 933734 HAS SOUS 723391 HAS SOUPS 723391 WITH SCORE 724324.734
AT ITER 2227 NEW BEST:: SOT 4024622 SOS 933700 HAS SOPS 933700 HAS SOUS 723357 HAS SOUPS 723357 WITH SCORE 724290.7
AT ITER 2251 NEW BEST:: SOT 4024622 SOS 933700 HAS SOPS 933700 HAS SOUS 723356 HAS SOUPS 723356 WITH SCORE 724289.7
AT ITER 2257 NEW BEST:: SOT 4022738 SOS 931502 HAS SOPS 931502 HAS SOUS 721158 HAS SOUPS 721158 WITH SCORE 722089.502
AT ITER 2275 NEW BEST:: SOT 4022738 SOS 931501 HAS SOPS 931501 HAS SOUS 721157 HAS SOUPS 721157 WITH SCORE 722088.501
AT ITER 2295 NEW BEST:: SOT 4022704 SOS 931417 HAS SOPS 931417 HAS SOUS 721073 HAS SOUPS 721073 WITH SCORE 722004.417
AT ITER 2296 NEW BEST:: SOT 4022499 SOS 931059 HAS SOPS 931059 HAS SOUS 720701 HAS SOUPS 720701 WITH SCORE 721632.059
AT ITER 2390 NEW BEST:: SOT 4022497 SOS 931050 HAS SOPS 931050 HAS SOUS 720697 HAS SOUPS 720697 WITH SCORE 721628.05
AT ITER 2396 NEW BEST:: SOT 4022495 SOS 931048 HAS SOPS 931048 HAS SOUS 720695 HAS SOUPS 720695 WITH SCORE 721626.048
AT ITER 2422 NEW BEST:: SOT 4022196 SOS 930450 HAS SOPS 930450 HAS SOUS 720097 HAS SOUPS 720097 WITH SCORE 721027.45
AT ITER 2425 NEW BEST:: SOT 4022175 SOS 930401 HAS SOPS 930401 HAS SOUS 720069 HAS SOUPS 720069 WITH SCORE 720999.401
AT ITER 2447 NEW BEST:: SOT 4022175 SOS 930552 HAS SOPS 930552 HAS SOUS 720068 HAS SOUPS 720068 WITH SCORE 720998.552
AT ITER 2448 NEW BEST:: SOT 4020138 SOS 928515 HAS SOPS 928515 HAS SOUS 719792 HAS SOUPS 719792 WITH SCORE 720720.515
AT ITER 2450 NEW BEST:: SOT 4020138 SOS 928503 HAS SOPS 928503 HAS SOUS 719780 HAS SOUPS 719780 WITH SCORE 720708.503
AT ITER 2454 NEW BEST:: SOT 4020126 SOS 928491 HAS SOPS 928491 HAS SOUS 719756 HAS SOUPS 719756 WITH SCORE 720684.491
AT ITER 2476 NEW BEST:: SOT 4020126 SOS 928368 HAS SOPS 928368 HAS SOUS 719749 HAS SOUPS 719749 WITH SCORE 720677.368
AT ITER 2480 NEW BEST:: SOT 4020053 SOS 928836 HAS SOPS 928836 HAS SOUS 719074 HAS SOUPS 719074 WITH SCORE 720002.836
AT ITER 2484 NEW BEST:: SOT 4020052 SOS 928773 HAS SOPS 928773 HAS SOUS 719063 HAS SOUPS 719063 WITH SCORE 719991.773
AT ITER 2489 NEW BEST:: SOT 4020023 SOS 928685 HAS SOPS 928685 HAS SOUS 719004 HAS SOUPS 719004 WITH SCORE 719932.685
AT ITER 2492 NEW BEST:: SOT 4020023 SOS 928650 HAS SOPS 928650 HAS SOUS 718969 HAS SOUPS 718969 WITH SCORE 719897.65
AT ITER 2495 NEW BEST:: SOT 4020006 SOS 928840 HAS SOPS 928840 HAS SOUS 718935 HAS SOUPS 718935 WITH SCORE 719863.84
AT ITER 2514 NEW BEST:: SOT 4019865 SOS 928279 HAS SOPS 928279 HAS SOUS 718374 HAS SOUPS 718374 WITH SCORE 719302.279
AT ITER 2537 NEW BEST:: SOT 4019860 SOS 928239 HAS SOPS 928239 HAS SOUS 718369 HAS SOUPS 718369 WITH SCORE 719297.239
AT ITER 2552 NEW BEST:: SOT 4019821 SOS 927506 HAS SOPS 927506 HAS SOUS 718237 HAS SOUPS 718237 WITH SCORE 719164.506
AT ITER 2570 NEW BEST:: SOT 4019820 SOS 927384 HAS SOPS 927384 HAS SOUS 718114 HAS SOUPS 718114 WITH SCORE 719041.384
AT ITER 2571 NEW BEST:: SOT 4019584 SOS 927290 HAS SOPS 927290 HAS SOUS 717991 HAS SOUPS 717991 WITH SCORE 718918.29
AT ITER 2581 NEW BEST:: SOT 4019900 SOS 924462 HAS SOPS 924462 HAS SOUS 717993 HAS SOUPS 717993 WITH SCORE 718917.462
AT ITER 2595 NEW BEST:: SOT 4019868 SOS 924430 HAS SOPS 924430 HAS SOUS 717961 HAS SOUPS 717961 WITH SCORE 718885.43
AT ITER 2620 NEW BEST:: SOT 4019633 SOS 923542 HAS SOPS 923542 HAS SOUS 717328 HAS SOUPS 717328 WITH SCORE 718251.542
AT ITER 2633 NEW BEST:: SOT 4019228 SOS 922646 HAS SOPS 922646 HAS SOUS 716503 HAS SOUPS 716503 WITH SCORE 717425.646
AT ITER 2636 NEW BEST:: SOT 4019228 SOS 922509 HAS SOPS 922509 HAS SOUS 716498 HAS SOUPS 716498 WITH SCORE 717420.509
AT ITER 2647 NEW BEST:: SOT 4017228 SOS 920509 HAS SOPS 920509 HAS SOUS 716248 HAS SOUPS 716248 WITH SCORE 717168.509
AT ITER 2687 NEW BEST:: SOT 4017228 SOS 920154 HAS SOPS 920154 HAS SOUS 715893 HAS SOUPS 715893 WITH SCORE 716813.154
AT ITER 2695 NEW BEST:: SOT 4017228 SOS 920154 HAS SOPS 920154 HAS SOUS 715851 HAS SOUPS 715851 WITH SCORE 716771.154
AT ITER 2723 NEW BEST:: SOT 4017228 SOS 919910 HAS SOPS 919910 HAS SOUS 715607 HAS SOUPS 715607 WITH SCORE 716526.91
AT ITER 2746 NEW BEST:: SOT 4017133 SOS 919720 HAS SOPS 919720 HAS SOUS 715214 HAS SOUPS 715214 WITH SCORE 716133.72
AT ITER 2758 NEW BEST:: SOT 4016917 SOS 919642 HAS SOPS 919642 HAS SOUS 715136 HAS SOUPS 715136 WITH SCORE 716055.642
AT ITER 2768 NEW BEST:: SOT 4016917 SOS 919746 HAS SOPS 919746 HAS SOUS 715135 HAS SOUPS 715135 WITH SCORE 716054.746
AT ITER 2775 NEW BEST:: SOT 4016816 SOS 919281 HAS SOPS 919281 HAS SOUS 714734 HAS SOUPS 714734 WITH SCORE 715653.281
AT ITER 2783 NEW BEST:: SOT 4016641 SOS 919081 HAS SOPS 919081 HAS SOUS 714674 HAS SOUPS 714674 WITH SCORE 715593.081
AT ITER 2792 NEW BEST:: SOT 4016641 SOS 919058 HAS SOPS 919058 HAS SOUS 714651 HAS SOUPS 714651 WITH SCORE 715570.058
AT ITER 2810 NEW BEST:: SOT 4016326 SOS 918426 HAS SOPS 918426 HAS SOUS 714339 HAS SOUPS 714339 WITH SCORE 715257.426
AT ITER 2815 NEW BEST:: SOT 4016326 SOS 918425 HAS SOPS 918425 HAS SOUS 714338 HAS SOUPS 714338 WITH SCORE 715256.425
AT ITER 2830 NEW BEST:: SOT 4015865 SOS 916865 HAS SOPS 916865 HAS SOUS 713416 HAS SOUPS 713416 WITH SCORE 714332.865
AT ITER 2838 NEW BEST:: SOT 4015365 SOS 916465 HAS SOPS 916465 HAS SOUS 713016 HAS SOUPS 713016 WITH SCORE 713932.465
AT ITER 2853 NEW BEST:: SOT 4013034 SOS 919128 HAS SOPS 919128 HAS SOUS 711626 HAS SOUPS 711626 WITH SCORE 712545.128
AT ITER 2877 NEW BEST:: SOT 4012881 SOS 918918 HAS SOPS 918918 HAS SOUS 711414 HAS SOUPS 711414 WITH SCORE 712332.918
AT ITER 2892 NEW BEST:: SOT 4012831 SOS 918875 HAS SOPS 918875 HAS SOUS 711371 HAS SOUPS 711371 WITH SCORE 712289.875
AT ITER 2896 NEW BEST:: SOT 4012831 SOS 918875 HAS SOPS 918875 HAS SOUS 711363 HAS SOUPS 711363 WITH SCORE 712281.875
AT ITER 2912 NEW BEST:: SOT 4012743 SOS 918753 HAS SOPS 918753 HAS SOUS 711241 HAS SOUPS 711241 WITH SCORE 712159.753
AT ITER 2921 NEW BEST:: SOT 4012741 SOS 918749 HAS SOPS 918749 HAS SOUS 711237 HAS SOUPS 711237 WITH SCORE 712155.749
AT ITER 2924 NEW BEST:: SOT 4012690 SOS 918698 HAS SOPS 918698 HAS SOUS 711186 HAS SOUPS 711186 WITH SCORE 712104.698
AT ITER 2944 NEW BEST:: SOT 4012689 SOS 918707 HAS SOPS 918707 HAS SOUS 711184 HAS SOUPS 711184 WITH SCORE 712102.707
AT ITER 2953 NEW BEST:: SOT 4011729 SOS 917747 HAS SOPS 917747 HAS SOUS 709928 HAS SOUPS 709928 WITH SCORE 710845.747
AT ITER 2957 NEW BEST:: SOT 4011607 SOS 916795 HAS SOPS 916795 HAS SOUS 709684 HAS SOUPS 709684 WITH SCORE 710600.795
AT ITER 2978 NEW BEST:: SOT 4011565 SOS 916699 HAS SOPS 916699 HAS SOUS 709588 HAS SOUPS 709588 WITH SCORE 710504.699
AT ITER 2989 NEW BEST:: SOT 4011565 SOS 916203 HAS SOPS 916203 HAS SOUS 709577 HAS SOUPS 709577 WITH SCORE 710493.203
AT ITER 2997 NEW BEST:: SOT 4010917 SOS 915538 HAS SOPS 915538 HAS SOUS 708929 HAS SOUPS 708929 WITH SCORE 709844.538
AT ITER 3002 NEW BEST:: SOT 4010894 SOS 915368 HAS SOPS 915368 HAS SOUS 708883 HAS SOUPS 708883 WITH SCORE 709798.368
AT ITER 3007 NEW BEST:: SOT 4010915 SOS 915040 HAS SOPS 915040 HAS SOUS 708666 HAS SOUPS 708666 WITH SCORE 709581.04
AT ITER 3014 NEW BEST:: SOT 4010922 SOS 915587 HAS SOPS 915587 HAS SOUS 708618 HAS SOUPS 708618 WITH SCORE 709533.587
AT ITER 3015 NEW BEST:: SOT 4010826 SOS 915487 HAS SOPS 915487 HAS SOUS 708522 HAS SOUPS 708522 WITH SCORE 709437.487
AT ITER 3025 NEW BEST:: SOT 4010826 SOS 915320 HAS SOPS 915320 HAS SOUS 708522 HAS SOUPS 708522 WITH SCORE 709437.32
AT ITER 3043 NEW BEST:: SOT 4010849 SOS 915316 HAS SOPS 915316 HAS SOUS 708518 HAS SOUPS 708518 WITH SCORE 709433.316
AT ITER 3055 NEW BEST:: SOT 4010836 SOS 915312 HAS SOPS 915312 HAS SOUS 708514 HAS SOUPS 708514 WITH SCORE 709429.312
AT ITER 3089 NEW BEST:: SOT 4010790 SOS 915250 HAS SOPS 915250 HAS SOUS 708417 HAS SOUPS 708417 WITH SCORE 709332.25
AT ITER 3109 NEW BEST:: SOT 4010461 SOS 914895 HAS SOPS 914895 HAS SOUS 707987 HAS SOUPS 707987 WITH SCORE 708901.895
AT ITER 3111 NEW BEST:: SOT 4010399 SOS 914378 HAS SOPS 914378 HAS SOUS 707890 HAS SOUPS 707890 WITH SCORE 708804.378
AT ITER 3118 NEW BEST:: SOT 4010399 SOS 914340 HAS SOPS 914340 HAS SOUS 707890 HAS SOUPS 707890 WITH SCORE 708804.34
AT ITER 3124 NEW BEST:: SOT 4010399 SOS 914246 HAS SOPS 914246 HAS SOUS 707796 HAS SOUPS 707796 WITH SCORE 708710.246
AT ITER 3137 NEW BEST:: SOT 4009516 SOS 914136 HAS SOPS 914136 HAS SOUS 707237 HAS SOUPS 707237 WITH SCORE 708151.136
AT ITER 3150 NEW BEST:: SOT 4009516 SOS 914118 HAS SOPS 914118 HAS SOUS 707237 HAS SOUPS 707237 WITH SCORE 708151.118
AT ITER 3158 NEW BEST:: SOT 4009515 SOS 914099 HAS SOPS 914099 HAS SOUS 707233 HAS SOUPS 707233 WITH SCORE 708147.099
AT ITER 3164 NEW BEST:: SOT 4009157 SOS 913870 HAS SOPS 913870 HAS SOUS 707004 HAS SOUPS 707004 WITH SCORE 707917.87
AT ITER 3172 NEW BEST:: SOT 4009157 SOS 913723 HAS SOPS 913723 HAS SOUS 706857 HAS SOUPS 706857 WITH SCORE 707770.723
AT ITER 3212 NEW BEST:: SOT 4009157 SOS 913677 HAS SOPS 913677 HAS SOUS 706811 HAS SOUPS 706811 WITH SCORE 707724.677
AT ITER 3220 NEW BEST:: SOT 4009157 SOS 913555 HAS SOPS 913555 HAS SOUS 706689 HAS SOUPS 706689 WITH SCORE 707602.555
AT ITER 3228 NEW BEST:: SOT 4009099 SOS 913554 HAS SOPS 913554 HAS SOUS 706688 HAS SOUPS 706688 WITH SCORE 707601.554
AT ITER 3232 NEW BEST:: SOT 4009232 SOS 913565 HAS SOPS 913565 HAS SOUS 706662 HAS SOUPS 706662 WITH SCORE 707575.565
AT ITER 3233 NEW BEST:: SOT 4009232 SOS 913301 HAS SOPS 913301 HAS SOUS 706631 HAS SOUPS 706631 WITH SCORE 707544.301
AT ITER 3257 NEW BEST:: SOT 4009222 SOS 913291 HAS SOPS 913291 HAS SOUS 706621 HAS SOUPS 706621 WITH SCORE 707534.291
AT ITER 3289 NEW BEST:: SOT 4009063 SOS 913128 HAS SOPS 913128 HAS SOUS 706458 HAS SOUPS 706458 WITH SCORE 707371.128
AT ITER 3290 NEW BEST:: SOT 4009063 SOS 912977 HAS SOPS 912977 HAS SOUS 705163 HAS SOUPS 705163 WITH SCORE 706075.977
AT ITER 3292 NEW BEST:: SOT 4009062 SOS 912975 HAS SOPS 912975 HAS SOUS 705161 HAS SOUPS 705161 WITH SCORE 706073.975
AT ITER 3294 NEW BEST:: SOT 4009062 SOS 913033 HAS SOPS 913033 HAS SOUS 705142 HAS SOUPS 705142 WITH SCORE 706055.033
AT ITER 3308 NEW BEST:: SOT 4009071 SOS 912868 HAS SOPS 912868 HAS SOUS 704977 HAS SOUPS 704977 WITH SCORE 705889.868
AT ITER 3312 NEW BEST:: SOT 4009038 SOS 912340 HAS SOPS 912340 HAS SOUS 704860 HAS SOUPS 704860 WITH SCORE 705772.34
AT ITER 3346 NEW BEST:: SOT 4008870 SOS 911976 HAS SOPS 911976 HAS SOUS 703376 HAS SOUPS 703376 WITH SCORE 704287.976
AT ITER 3363 NEW BEST:: SOT 4008858 SOS 911964 HAS SOPS 911964 HAS SOUS 703364 HAS SOUPS 703364 WITH SCORE 704275.964
AT ITER 3375 NEW BEST:: SOT 4008834 SOS 911940 HAS SOPS 911940 HAS SOUS 703340 HAS SOUPS 703340 WITH SCORE 704251.94
AT ITER 3377 NEW BEST:: SOT 4008833 SOS 911939 HAS SOPS 911939 HAS SOUS 703338 HAS SOUPS 703338 WITH SCORE 704249.939
AT ITER 3389 NEW BEST:: SOT 4008580 SOS 911686 HAS SOPS 911686 HAS SOUS 702326 HAS SOUPS 702326 WITH SCORE 703237.686
AT ITER 3398 NEW BEST:: SOT 4008204 SOS 911722 HAS SOPS 911722 HAS SOUS 701863 HAS SOUPS 701863 WITH SCORE 702774.722
AT ITER 3399 NEW BEST:: SOT 4008169 SOS 911645 HAS SOPS 911645 HAS SOUS 701786 HAS SOUPS 701786 WITH SCORE 702697.645
AT ITER 3401 NEW BEST:: SOT 4006727 SOS 910147 HAS SOPS 910147 HAS SOUS 701669 HAS SOUPS 701669 WITH SCORE 702579.147
AT ITER 3406 NEW BEST:: SOT 4006727 SOS 910087 HAS SOPS 910087 HAS SOUS 701667 HAS SOUPS 701667 WITH SCORE 702577.087
AT ITER 3414 NEW BEST:: SOT 4006696 SOS 909622 HAS SOPS 909622 HAS SOUS 701605 HAS SOUPS 701605 WITH SCORE 702514.622
AT ITER 3436 NEW BEST:: SOT 4006655 SOS 909579 HAS SOPS 909579 HAS SOUS 701563 HAS SOUPS 701563 WITH SCORE 702472.579
AT ITER 3444 NEW BEST:: SOT 4006815 SOS 909576 HAS SOPS 909576 HAS SOUS 701560 HAS SOUPS 701560 WITH SCORE 702469.576
AT ITER 3453 NEW BEST:: SOT 4006815 SOS 909464 HAS SOPS 909464 HAS SOUS 701448 HAS SOUPS 701448 WITH SCORE 702357.464
AT ITER 3457 NEW BEST:: SOT 4006562 SOS 909087 HAS SOPS 909087 HAS SOUS 701023 HAS SOUPS 701023 WITH SCORE 701932.087
AT ITER 3463 NEW BEST:: SOT 4006509 SOS 908981 HAS SOPS 908981 HAS SOUS 700504 HAS SOUPS 700504 WITH SCORE 701412.981
AT ITER 3472 NEW BEST:: SOT 4006509 SOS 908980 HAS SOPS 908980 HAS SOUS 700503 HAS SOUPS 700503 WITH SCORE 701411.98
AT ITER 3487 NEW BEST:: SOT 4006509 SOS 908879 HAS SOPS 908879 HAS SOUS 700479 HAS SOUPS 700479 WITH SCORE 701387.879
AT ITER 3496 NEW BEST:: SOT 4006361 SOS 908346 HAS SOPS 908346 HAS SOUS 700110 HAS SOUPS 700110 WITH SCORE 701018.346
AT ITER 3507 NEW BEST:: SOT 4005087 SOS 907072 HAS SOPS 907072 HAS SOUS 700110 HAS SOUPS 700110 WITH SCORE 701017.072
AT ITER 3533 NEW BEST:: SOT 4005087 SOS 906945 HAS SOPS 906945 HAS SOUS 699983 HAS SOUPS 699983 WITH SCORE 700889.945
AT ITER 3540 NEW BEST:: SOT 4005009 SOS 906866 HAS SOPS 906866 HAS SOUS 699904 HAS SOUPS 699904 WITH SCORE 700810.866
AT ITER 3551 NEW BEST:: SOT 4004495 SOS 906633 HAS SOPS 906633 HAS SOUS 699693 HAS SOUPS 699693 WITH SCORE 700599.633
AT ITER 3565 NEW BEST:: SOT 4003967 SOS 906103 HAS SOPS 906103 HAS SOUS 699164 HAS SOUPS 699164 WITH SCORE 700070.103
AT ITER 3573 NEW BEST:: SOT 4003958 SOS 906093 HAS SOPS 906093 HAS SOUS 699154 HAS SOUPS 699154 WITH SCORE 700060.093
AT ITER 3577 NEW BEST:: SOT 4003905 SOS 906040 HAS SOPS 906040 HAS SOUS 699101 HAS SOUPS 699101 WITH SCORE 700007.04
AT ITER 3598 NEW BEST:: SOT 4003866 SOS 906001 HAS SOPS 906001 HAS SOUS 699062 HAS SOUPS 699062 WITH SCORE 699968.001
AT ITER 3623 NEW BEST:: SOT 4003922 SOS 906537 HAS SOPS 906537 HAS SOUS 698358 HAS SOUPS 698358 WITH SCORE 699264.537
AT ITER 3626 NEW BEST:: SOT 4003888 SOS 906385 HAS SOPS 906385 HAS SOUS 698290 HAS SOUPS 698290 WITH SCORE 699196.385
AT ITER 3637 NEW BEST:: SOT 4003888 SOS 906179 HAS SOPS 906179 HAS SOUS 698275 HAS SOUPS 698275 WITH SCORE 699181.179
AT ITER 3647 NEW BEST:: SOT 4002325 SOS 906359 HAS SOPS 906359 HAS SOUS 696832 HAS SOUPS 696832 WITH SCORE 697738.359
AT ITER 3658 NEW BEST:: SOT 4002325 SOS 906236 HAS SOPS 906236 HAS SOUS 696828 HAS SOUPS 696828 WITH SCORE 697734.236
AT ITER 3673 NEW BEST:: SOT 4002332 SOS 906955 HAS SOPS 906955 HAS SOUS 696682 HAS SOUPS 696682 WITH SCORE 697588.955
AT ITER 3696 NEW BEST:: SOT 4001176 SOS 905778 HAS SOPS 905778 HAS SOUS 696380 HAS SOUPS 696380 WITH SCORE 697285.778
AT ITER 3728 NEW BEST:: SOT 4000596 SOS 905797 HAS SOPS 905797 HAS SOUS 696212 HAS SOUPS 696212 WITH SCORE 697117.797
AT ITER 3753 NEW BEST:: SOT 4000596 SOS 906186 HAS SOPS 906186 HAS SOUS 696181 HAS SOUPS 696181 WITH SCORE 697087.186
AT ITER 3774 NEW BEST:: SOT 4000452 SOS 905970 HAS SOPS 905970 HAS SOUS 695961 HAS SOUPS 695961 WITH SCORE 696866.97
AT ITER 3796 NEW BEST:: SOT 4000384 SOS 906064 HAS SOPS 906064 HAS SOUS 695824 HAS SOUPS 695824 WITH SCORE 696730.064
AT ITER 3801 NEW BEST:: SOT 4000400 SOS 905767 HAS SOPS 905767 HAS SOUS 695696 HAS SOUPS 695696 WITH SCORE 696601.767
AT ITER 3803 NEW BEST:: SOT 4000189 SOS 905486 HAS SOPS 905486 HAS SOUS 695552 HAS SOUPS 695552 WITH SCORE 696457.486
AT ITER 3811 NEW BEST:: SOT 4000092 SOS 905292 HAS SOPS 905292 HAS SOUS 695358 HAS SOUPS 695358 WITH SCORE 696263.292
AT ITER 3839 NEW BEST:: SOT 4000062 SOS 905389 HAS SOPS 905389 HAS SOUS 695328 HAS SOUPS 695328 WITH SCORE 696233.389
AT ITER 3853 NEW BEST:: SOT 3999398 SOS 905335 HAS SOPS 905335 HAS SOUS 695131 HAS SOUPS 695131 WITH SCORE 696036.335
AT ITER 3868 NEW BEST:: SOT 3999204 SOS 905141 HAS SOPS 905141 HAS SOUS 694937 HAS SOUPS 694937 WITH SCORE 695842.141
AT ITER 3886 NEW BEST:: SOT 3999186 SOS 905112 HAS SOPS 905112 HAS SOUS 694907 HAS SOUPS 694907 WITH SCORE 695812.112
AT ITER 3913 NEW BEST:: SOT 3999162 SOS 904896 HAS SOPS 904896 HAS SOUS 694861 HAS SOUPS 694861 WITH SCORE 695765.896
AT ITER 3957 NEW BEST:: SOT 3998907 SOS 904641 HAS SOPS 904641 HAS SOUS 694387 HAS SOUPS 694387 WITH SCORE 695291.641
AT ITER 3971 NEW BEST:: SOT 3998799 SOS 904419 HAS SOPS 904419 HAS SOUS 694165 HAS SOUPS 694165 WITH SCORE 695069.419
AT ITER 3984 NEW BEST:: SOT 3998682 SOS 904068 HAS SOPS 904068 HAS SOUS 693930 HAS SOUPS 693930 WITH SCORE 694834.068
AT ITER 3992 NEW BEST:: SOT 3998569 SOS 904144 HAS SOPS 904144 HAS SOUS 693880 HAS SOUPS 693880 WITH SCORE 694784.144
AT ITER 4034 NEW BEST:: SOT 3998553 SOS 904112 HAS SOPS 904112 HAS SOUS 693848 HAS SOUPS 693848 WITH SCORE 694752.112
AT ITER 4059 NEW BEST:: SOT 3998553 SOS 904112 HAS SOPS 904112 HAS SOUS 693838 HAS SOUPS 693838 WITH SCORE 694742.112
AT ITER 4062 NEW BEST:: SOT 3998607 SOS 902172 HAS SOPS 902172 HAS SOUS 693690 HAS SOUPS 693690 WITH SCORE 694592.172
AT ITER 4070 NEW BEST:: SOT 3998457 SOS 902077 HAS SOPS 902077 HAS SOUS 693595 HAS SOUPS 693595 WITH SCORE 694497.077
AT ITER 4080 NEW BEST:: SOT 3998457 SOS 902063 HAS SOPS 902063 HAS SOUS 693581 HAS SOUPS 693581 WITH SCORE 694483.063
AT ITER 4088 NEW BEST:: SOT 3998000 SOS 901666 HAS SOPS 901666 HAS SOUS 693184 HAS SOUPS 693184 WITH SCORE 694085.666
AT ITER 4095 NEW BEST:: SOT 3997863 SOS 901388 HAS SOPS 901388 HAS SOUS 692967 HAS SOUPS 692967 WITH SCORE 693868.388
AT ITER 4100 NEW BEST:: SOT 3997935 SOS 901350 HAS SOPS 901350 HAS SOUS 692929 HAS SOUPS 692929 WITH SCORE 693830.35
AT ITER 4108 NEW BEST:: SOT 3997820 SOS 901120 HAS SOPS 901120 HAS SOUS 692699 HAS SOUPS 692699 WITH SCORE 693600.12
AT ITER 4109 NEW BEST:: SOT 3997767 SOS 901003 HAS SOPS 901003 HAS SOUS 692683 HAS SOUPS 692683 WITH SCORE 693584.003
AT ITER 4111 NEW BEST:: SOT 3997702 SOS 900938 HAS SOPS 900938 HAS SOUS 692553 HAS SOUPS 692553 WITH SCORE 693453.938
AT ITER 4114 NEW BEST:: SOT 3997365 SOS 900601 HAS SOPS 900601 HAS SOUS 692216 HAS SOUPS 692216 WITH SCORE 693116.601
AT ITER 4128 NEW BEST:: SOT 3997350 SOS 900586 HAS SOPS 900586 HAS SOUS 692201 HAS SOUPS 692201 WITH SCORE 693101.586
AT ITER 4151 NEW BEST:: SOT 3996372 SOS 901621 HAS SOPS 901621 HAS SOUS 692199 HAS SOUPS 692199 WITH SCORE 693100.621
AT ITER 4154 NEW BEST:: SOT 3996121 SOS 900868 HAS SOPS 900868 HAS SOUS 691697 HAS SOUPS 691697 WITH SCORE 692597.868
AT ITER 4176 NEW BEST:: SOT 3996121 SOS 900668 HAS SOPS 900668 HAS SOUS 691497 HAS SOUPS 691497 WITH SCORE 692397.668
AT ITER 4218 NEW BEST:: SOT 3996034 SOS 900584 HAS SOPS 900584 HAS SOUS 691269 HAS SOUPS 691269 WITH SCORE 692169.584
AT ITER 4221 NEW BEST:: SOT 3995994 SOS 900695 HAS SOPS 900695 HAS SOUS 690961 HAS SOUPS 690961 WITH SCORE 691861.695
AT ITER 4229 NEW BEST:: SOT 3995994 SOS 900676 HAS SOPS 900676 HAS SOUS 690942 HAS SOUPS 690942 WITH SCORE 691842.676
AT ITER 4244 NEW BEST:: SOT 3995959 SOS 900486 HAS SOPS 900486 HAS SOUS 690872 HAS SOUPS 690872 WITH SCORE 691772.486
AT ITER 4253 NEW BEST:: SOT 3995949 SOS 900205 HAS SOPS 900205 HAS SOUS 690788 HAS SOUPS 690788 WITH SCORE 691688.205
AT ITER 4266 NEW BEST:: SOT 3995948 SOS 900204 HAS SOPS 900204 HAS SOUS 690786 HAS SOUPS 690786 WITH SCORE 691686.204
AT ITER 4287 NEW BEST:: SOT 3995883 SOS 900007 HAS SOPS 900007 HAS SOUS 690616 HAS SOUPS 690616 WITH SCORE 691516.007
AT ITER 4298 NEW BEST:: SOT 3995789 SOS 899861 HAS SOPS 899861 HAS SOUS 690470 HAS SOUPS 690470 WITH SCORE 691369.861
AT ITER 4309 NEW BEST:: SOT 3995510 SOS 899834 HAS SOPS 899834 HAS SOUS 689931 HAS SOUPS 689931 WITH SCORE 690830.834
AT ITER 4311 NEW BEST:: SOT 3995500 SOS 899814 HAS SOPS 899814 HAS SOUS 689911 HAS SOUPS 689911 WITH SCORE 690810.814
AT ITER 4312 NEW BEST:: SOT 3995501 SOS 899812 HAS SOPS 899812 HAS SOUS 689909 HAS SOUPS 689909 WITH SCORE 690808.812
AT ITER 4343 NEW BEST:: SOT 3995395 SOS 899603 HAS SOPS 899603 HAS SOUS 689717 HAS SOUPS 689717 WITH SCORE 690616.603
AT ITER 4358 NEW BEST:: SOT 3995395 SOS 899517 HAS SOPS 899517 HAS SOUS 689664 HAS SOUPS 689664 WITH SCORE 690563.517
AT ITER 4362 NEW BEST:: SOT 3995170 SOS 899005 HAS SOPS 899005 HAS SOUS 689152 HAS SOUPS 689152 WITH SCORE 690051.005
AT ITER 4366 NEW BEST:: SOT 3995153 SOS 898953 HAS SOPS 898953 HAS SOUS 689117 HAS SOUPS 689117 WITH SCORE 690015.953
AT ITER 4385 NEW BEST:: SOT 3995012 SOS 898671 HAS SOPS 898671 HAS SOUS 688835 HAS SOUPS 688835 WITH SCORE 689733.671
AT ITER 4398 NEW BEST:: SOT 3995046 SOS 898467 HAS SOPS 898467 HAS SOUS 688835 HAS SOUPS 688835 WITH SCORE 689733.467
AT ITER 4405 NEW BEST:: SOT 3995046 SOS 898355 HAS SOPS 898355 HAS SOUS 688780 HAS SOUPS 688780 WITH SCORE 689678.355
AT ITER 4431 NEW BEST:: SOT 3994858 SOS 898095 HAS SOPS 898095 HAS SOUS 688520 HAS SOUPS 688520 WITH SCORE 689418.095
AT ITER 4440 NEW BEST:: SOT 3994858 SOS 898026 HAS SOPS 898026 HAS SOUS 688451 HAS SOUPS 688451 WITH SCORE 689349.026
AT ITER 4441 NEW BEST:: SOT 3994802 SOS 897961 HAS SOPS 897961 HAS SOUS 688386 HAS SOUPS 688386 WITH SCORE 689283.961
AT ITER 4458 NEW BEST:: SOT 3994750 SOS 897950 HAS SOPS 897950 HAS SOUS 688375 HAS SOUPS 688375 WITH SCORE 689272.95
AT ITER 4494 NEW BEST:: SOT 3994750 SOS 897898 HAS SOPS 897898 HAS SOUS 688375 HAS SOUPS 688375 WITH SCORE 689272.898
AT ITER 4511 NEW BEST:: SOT 3994734 SOS 897882 HAS SOPS 897882 HAS SOUS 688359 HAS SOUPS 688359 WITH SCORE 689256.882
AT ITER 4532 NEW BEST:: SOT 3994734 SOS 898014 HAS SOPS 898014 HAS SOUS 688326 HAS SOUPS 688326 WITH SCORE 689224.014
AT ITER 4533 NEW BEST:: SOT 3994549 SOS 897644 HAS SOPS 897644 HAS SOUS 687956 HAS SOUPS 687956 WITH SCORE 688853.644
AT ITER 4541 NEW BEST:: SOT 3994499 SOS 897594 HAS SOPS 897594 HAS SOUS 687900 HAS SOUPS 687900 WITH SCORE 688797.594
AT ITER 4561 NEW BEST:: SOT 3994438 SOS 897472 HAS SOPS 897472 HAS SOUS 687778 HAS SOUPS 687778 WITH SCORE 688675.472
AT ITER 4562 NEW BEST:: SOT 3994140 SOS 897027 HAS SOPS 897027 HAS SOUS 687366 HAS SOUPS 687366 WITH SCORE 688263.027
AT ITER 4564 NEW BEST:: SOT 3994140 SOS 897026 HAS SOPS 897026 HAS SOUS 687365 HAS SOUPS 687365 WITH SCORE 688262.026
AT ITER 4570 NEW BEST:: SOT 3994092 SOS 896924 HAS SOPS 896924 HAS SOUS 687263 HAS SOUPS 687263 WITH SCORE 688159.924
AT ITER 4600 NEW BEST:: SOT 3993979 SOS 896570 HAS SOPS 896570 HAS SOUS 686776 HAS SOUPS 686776 WITH SCORE 687672.57
AT ITER 4612 NEW BEST:: SOT 3993938 SOS 896387 HAS SOPS 896387 HAS SOUS 686043 HAS SOUPS 686043 WITH SCORE 686939.387
AT ITER 4616 NEW BEST:: SOT 3993829 SOS 896569 HAS SOPS 896569 HAS SOUS 685766 HAS SOUPS 685766 WITH SCORE 686662.569
AT ITER 4621 NEW BEST:: SOT 3993829 SOS 896568 HAS SOPS 896568 HAS SOUS 685765 HAS SOUPS 685765 WITH SCORE 686661.568
AT ITER 4647 NEW BEST:: SOT 3993710 SOS 895976 HAS SOPS 895976 HAS SOUS 685586 HAS SOUPS 685586 WITH SCORE 686481.976
AT ITER 4680 NEW BEST:: SOT 3993673 SOS 895824 HAS SOPS 895824 HAS SOUS 685538 HAS SOUPS 685538 WITH SCORE 686433.824
AT ITER 4683 NEW BEST:: SOT 3993706 SOS 895658 HAS SOPS 895658 HAS SOUS 684157 HAS SOUPS 684157 WITH SCORE 685052.658
AT ITER 4693 NEW BEST:: SOT 3993706 SOS 895639 HAS SOPS 895639 HAS SOUS 684157 HAS SOUPS 684157 WITH SCORE 685052.639
AT ITER 4696 NEW BEST:: SOT 3993454 SOS 895135 HAS SOPS 895135 HAS SOUS 683401 HAS SOUPS 683401 WITH SCORE 684296.135
AT ITER 4703 NEW BEST:: SOT 3993454 SOS 895123 HAS SOPS 895123 HAS SOUS 683389 HAS SOUPS 683389 WITH SCORE 684284.123
AT ITER 4729 NEW BEST:: SOT 3993551 SOS 895220 HAS SOPS 895220 HAS SOUS 682804 HAS SOUPS 682804 WITH SCORE 683699.22
AT ITER 4744 NEW BEST:: SOT 3993524 SOS 895139 HAS SOPS 895139 HAS SOUS 682723 HAS SOUPS 682723 WITH SCORE 683618.139
AT ITER 4748 NEW BEST:: SOT 3993524 SOS 895787 HAS SOPS 895787 HAS SOUS 682713 HAS SOUPS 682713 WITH SCORE 683608.787
AT ITER 4750 NEW BEST:: SOT 3993515 SOS 896014 HAS SOPS 896014 HAS SOUS 682695 HAS SOUPS 682695 WITH SCORE 683591.014
AT ITER 4752 NEW BEST:: SOT 3993513 SOS 895999 HAS SOPS 895999 HAS SOUS 682654 HAS SOUPS 682654 WITH SCORE 683549.999
AT ITER 4765 NEW BEST:: SOT 3993513 SOS 895921 HAS SOPS 895921 HAS SOUS 682653 HAS SOUPS 682653 WITH SCORE 683548.921
AT ITER 4767 NEW BEST:: SOT 3993513 SOS 895772 HAS SOPS 895772 HAS SOUS 682653 HAS SOUPS 682653 WITH SCORE 683548.772
AT ITER 4797 NEW BEST:: SOT 3992843 SOS 895191 HAS SOPS 895191 HAS SOUS 682144 HAS SOUPS 682144 WITH SCORE 683039.191
AT ITER 4809 NEW BEST:: SOT 3992706 SOS 895104 HAS SOPS 895104 HAS SOUS 682057 HAS SOUPS 682057 WITH SCORE 682952.104
AT ITER 4810 NEW BEST:: SOT 3992201 SOS 895518 HAS SOPS 895518 HAS SOUS 681735 HAS SOUPS 681735 WITH SCORE 682630.518
AT ITER 4814 NEW BEST:: SOT 3992201 SOS 895505 HAS SOPS 895505 HAS SOUS 681735 HAS SOUPS 681735 WITH SCORE 682630.505
AT ITER 4847 NEW BEST:: SOT 3992018 SOS 895322 HAS SOPS 895322 HAS SOUS 681551 HAS SOUPS 681551 WITH SCORE 682446.322
AT ITER 4861 NEW BEST:: SOT 3992165 SOS 896066 HAS SOPS 896066 HAS SOUS 681483 HAS SOUPS 681483 WITH SCORE 682379.066
AT ITER 4862 NEW BEST:: SOT 3992165 SOS 896043 HAS SOPS 896043 HAS SOUS 681460 HAS SOUPS 681460 WITH SCORE 682356.043
AT ITER 4870 NEW BEST:: SOT 3992158 SOS 896029 HAS SOPS 896029 HAS SOUS 681451 HAS SOUPS 681451 WITH SCORE 682347.029
AT ITER 4891 NEW BEST:: SOT 3992048 SOS 895945 HAS SOPS 895945 HAS SOUS 681367 HAS SOUPS 681367 WITH SCORE 682262.945
AT ITER 4926 NEW BEST:: SOT 3992061 SOS 895616 HAS SOPS 895616 HAS SOUS 681038 HAS SOUPS 681038 WITH SCORE 681933.616
AT ITER 4932 NEW BEST:: SOT 3992061 SOS 895612 HAS SOPS 895612 HAS SOUS 680458 HAS SOUPS 680458 WITH SCORE 681353.612
AT ITER 4960 NEW BEST:: SOT 3991870 SOS 895039 HAS SOPS 895039 HAS SOUS 679885 HAS SOUPS 679885 WITH SCORE 680780.039
AT ITER 4968 NEW BEST:: SOT 3991805 SOS 894909 HAS SOPS 894909 HAS SOUS 679820 HAS SOUPS 679820 WITH SCORE 680714.909
AT ITER 4998 NEW BEST:: SOT 3991483 SOS 895195 HAS SOPS 895195 HAS SOUS 679643 HAS SOUPS 679643 WITH SCORE 680538.195
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-05b-CTLFireability-00 ( (AF( ((potential((tk(P1991)>=1) & (tk(P1987)>=1)))))) | ( (AX( ( ((potential((tk(P158)>=1) & (tk(P428)>=1)))) | ( ((potential((tk(P2427)>=1)))) & ((potential((tk(P14)>=1) & (tk(P172)>=1)))) ) ))) & (EU( ((potential((tk(P490)>=1) & (tk(P651)>=1)))) , ( ((potential((tk(P1794)>=1)))) & ((potential((tk(P372)>=1)))) ) )) ) )
PROPERTY: ASLink-PT-05b-CTLFireability-01 (! (AF( (EX( ( ((potential((tk(P505)>=1) & (tk(P968)>=1)))) & ((potential((tk(P896)>=1) & (tk(P1351)>=1)))) ))))))
PROPERTY: ASLink-PT-05b-CTLFireability-02 ( (AF( (! (AF( ((potential((tk(P1023)>=1) & (tk(P1232)>=1))))))))) & ( (! (! (AF( ((potential((tk(P1392)>=1) & (tk(P1634)>=1)))))))) | (AU( ( ((potential((tk(P742)>=1)))) & ((potential((tk(P2020)>=1) & (tk(P2132)>=1)))) ) , (! ((potential((tk(P2014)>=1) & (tk(P2150)>=1))))) )) ) )
PROPERTY: ASLink-PT-05b-CTLFireability-03 (AF( (! ( (AF( ((potential((tk(P1672)>=1) & (tk(P1981)>=1)))))) | (EX( ((potential((tk(P118)>=1) & (tk(P576)>=1)))))) ))))
PROPERTY: ASLink-PT-05b-CTLFireability-04 (! ( (AF( (EG( ((potential((tk(P1016)>=1)))))))) | (AG( ( ( ((potential((tk(P738)>=1)))) & ((potential((tk(P497)>=1) & (tk(P953)>=1)))) ) & ((potential((tk(P1702)>=1) & (tk(P2080)>=1)))) ))) ))
PROPERTY: ASLink-PT-05b-CTLFireability-05 (EF( ( (EF( ( ((potential((tk(P697)>=1)))) & ((potential((tk(P548)>=1) & (tk(P831)>=1)))) ))) | (AG( ((potential((tk(P298)>=1) & (tk(P274)>=1)))))) )))
PROPERTY: ASLink-PT-05b-CTLFireability-06 ( (EF( ( ((potential((tk(P1406)>=1) & (tk(P1649)>=1)))) & (! ((potential((tk(P133)>=1) & (tk(P323)>=1))))) ))) | (! (AF( ( ( ((potential((tk(P773)>=1)))) | ((potential((tk(P1262)>=1)))) ) | ((potential((tk(P157)>=1)))) )))) )
PROPERTY: ASLink-PT-05b-CTLFireability-07 (EF( (EX( (EG( ((potential((tk(P1685)>=1) & (tk(P2076)>=1))))))))))
PROPERTY: ASLink-PT-05b-CTLFireability-08 (EX( (! (AF( ( ((potential((tk(P1285)>=1)))) | ((potential((tk(P923)>=1) & (tk(P1073)>=1)))) ))))))
PROPERTY: ASLink-PT-05b-CTLFireability-09 (AX( (! ( (EF( ((potential((tk(P125)>=1) & (tk(P563)>=1)))))) | ( (! ((potential((tk(P1709)>=1) & (tk(P2103)>=1))))) & ( ((potential((tk(P1299)>=1) & (tk(P1764)>=1)))) & ((potential((tk(P923)>=1) & (tk(P1116)>=1)))) ) ) ))))
PROPERTY: ASLink-PT-05b-CTLFireability-10 (EG( (AU( (! ((potential((tk(P1796)>=1))))) , ( ((potential((tk(P741)>=1)))) | ((potential((tk(P1277)>=1) & (tk(P1427)>=1)))) ) ))))
PROPERTY: ASLink-PT-05b-CTLFireability-11 (AU( (EG( ( ((potential((tk(P1472)>=1)))) | ((potential((tk(P1286)>=1) & (tk(P1748)>=1)))) ))) , (AF( ( ((potential((tk(P1151)>=1)))) | ((potential((tk(P1686)>=1) & (tk(P2065)>=1)))) ))) ))
PROPERTY: ASLink-PT-05b-CTLFireability-12 ( ((potential((tk(P1730)>=1) & (tk(P2016)>=1)))) | (! (AG( (! ( ((potential((tk(P69)>=1)))) & ((potential((tk(P1886)>=1)))) ))))) )
PROPERTY: ASLink-PT-05b-CTLFireability-13 (AF( (EG( (AX( ((potential((tk(P1302)>=1) & (tk(P1766)>=1))))))))))
PROPERTY: ASLink-PT-05b-CTLFireability-14 (AF( (EG( ( ( ((potential((tk(P1943)>=1)))) | ((potential((tk(P710)>=1)))) ) & ( ((potential((tk(P2320)>=1)))) | ((potential((tk(P363)>=1)))) ) )))))
PROPERTY: ASLink-PT-05b-CTLFireability-15 (AF( (EU( ( ((potential((tk(P2125)>=1) & (tk(P2319)>=1)))) | ((potential((tk(P1689)>=1) & (tk(P2079)>=1)))) ) , ((potential((tk(P1346)>=1) & (tk(P1402)>=1)))) ))))

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="CTLFireability"
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 CTLFireability"
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-158897508100084"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;