Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484600728.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600728
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 25 18:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K Feb 25 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 18:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 18:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678419279878

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-09b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 03:34:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 03:34:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 03:34:41] [INFO ] Load time of PNML (sax parser for PT used): 187 ms
[2023-03-10 03:34:41] [INFO ] Transformed 3495 places.
[2023-03-10 03:34:41] [INFO ] Transformed 5439 transitions.
[2023-03-10 03:34:41] [INFO ] Found NUPN structural information;
[2023-03-10 03:34:41] [INFO ] Parsed PT model containing 3495 places and 5439 transitions and 15081 arcs in 315 ms.
[2023-03-10 03:34:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3495 places, 5439 transitions and 15081 arcs took 37 ms.
Total runtime 381 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 3495 places, 5439 transitions, 15081 arcs.
AT ITER 0 NEW BEST:: SOT 12062868 SOS 2820991 HAS SOPS 2820991 HAS SOUS 1629137 HAS SOUPS 1629137 WITH SCORE 1631957.991
AT ITER 1 NEW BEST:: SOT 12063009 SOS 2820049 HAS SOPS 2820049 HAS SOUS 1628940 HAS SOUPS 1628940 WITH SCORE 1631760.049
AT ITER 4 NEW BEST:: SOT 12062577 SOS 2819933 HAS SOPS 2819933 HAS SOUS 1628508 HAS SOUPS 1628508 WITH SCORE 1631327.933
AT ITER 11 NEW BEST:: SOT 12062577 SOS 2819933 HAS SOPS 2819933 HAS SOUS 1628507 HAS SOUPS 1628507 WITH SCORE 1631326.933
AT ITER 51 NEW BEST:: SOT 12060709 SOS 2817131 HAS SOPS 2817131 HAS SOUS 1625705 HAS SOUPS 1625705 WITH SCORE 1628522.131
AT ITER 55 NEW BEST:: SOT 12060316 SOS 2816345 HAS SOPS 2816345 HAS SOUS 1625459 HAS SOUPS 1625459 WITH SCORE 1628275.345
AT ITER 59 NEW BEST:: SOT 12060316 SOS 2816069 HAS SOPS 2816069 HAS SOUS 1625183 HAS SOUPS 1625183 WITH SCORE 1627999.069
AT ITER 63 NEW BEST:: SOT 12060315 SOS 2816067 HAS SOPS 2816067 HAS SOUS 1625181 HAS SOUPS 1625181 WITH SCORE 1627997.067
AT ITER 64 NEW BEST:: SOT 12059750 SOS 2815502 HAS SOPS 2815502 HAS SOUS 1625181 HAS SOUPS 1625181 WITH SCORE 1627996.502
AT ITER 70 NEW BEST:: SOT 12059750 SOS 2815736 HAS SOPS 2815736 HAS SOUS 1625180 HAS SOUPS 1625180 WITH SCORE 1627995.736
AT ITER 71 NEW BEST:: SOT 12059623 SOS 2815482 HAS SOPS 2815482 HAS SOUS 1624926 HAS SOUPS 1624926 WITH SCORE 1627741.482
AT ITER 72 NEW BEST:: SOT 12058994 SOS 2814855 HAS SOPS 2814855 HAS SOUS 1624302 HAS SOUPS 1624302 WITH SCORE 1627116.855
AT ITER 85 NEW BEST:: SOT 12058467 SOS 2813801 HAS SOPS 2813801 HAS SOUS 1622846 HAS SOUPS 1622846 WITH SCORE 1625659.801
AT ITER 100 NEW BEST:: SOT 12058467 SOS 2813623 HAS SOPS 2813623 HAS SOUS 1622668 HAS SOUPS 1622668 WITH SCORE 1625481.623
AT ITER 101 NEW BEST:: SOT 12058228 SOS 2813751 HAS SOPS 2813751 HAS SOUS 1622557 HAS SOUPS 1622557 WITH SCORE 1625370.751
AT ITER 103 NEW BEST:: SOT 12057574 SOS 2813637 HAS SOPS 2813637 HAS SOUS 1622085 HAS SOUPS 1622085 WITH SCORE 1624898.637
AT ITER 105 NEW BEST:: SOT 12057159 SOS 2812807 HAS SOPS 2812807 HAS SOUS 1621255 HAS SOUPS 1621255 WITH SCORE 1624067.807
AT ITER 117 NEW BEST:: SOT 12057062 SOS 2812806 HAS SOPS 2812806 HAS SOUS 1621254 HAS SOUPS 1621254 WITH SCORE 1624066.806
AT ITER 137 NEW BEST:: SOT 12056681 SOS 2812806 HAS SOPS 2812806 HAS SOUS 1620532 HAS SOUPS 1620532 WITH SCORE 1623344.806
AT ITER 160 NEW BEST:: SOT 12056681 SOS 2813175 HAS SOPS 2813175 HAS SOUS 1620491 HAS SOUPS 1620491 WITH SCORE 1623304.175
AT ITER 165 NEW BEST:: SOT 12056467 SOS 2812961 HAS SOPS 2812961 HAS SOUS 1620277 HAS SOUPS 1620277 WITH SCORE 1623089.961
AT ITER 167 NEW BEST:: SOT 12056467 SOS 2814382 HAS SOPS 2814382 HAS SOUS 1620273 HAS SOUPS 1620273 WITH SCORE 1623087.382
AT ITER 176 NEW BEST:: SOT 12055773 SOS 2813688 HAS SOPS 2813688 HAS SOUS 1619579 HAS SOUPS 1619579 WITH SCORE 1622392.688
AT ITER 177 NEW BEST:: SOT 12055385 SOS 2813583 HAS SOPS 2813583 HAS SOUS 1619381 HAS SOUPS 1619381 WITH SCORE 1622194.583
AT ITER 183 NEW BEST:: SOT 12055277 SOS 2813475 HAS SOPS 2813475 HAS SOUS 1619273 HAS SOUPS 1619273 WITH SCORE 1622086.475
AT ITER 191 NEW BEST:: SOT 12053847 SOS 2811581 HAS SOPS 2811581 HAS SOUS 1617379 HAS SOUPS 1617379 WITH SCORE 1620190.581
AT ITER 211 NEW BEST:: SOT 12053847 SOS 2810897 HAS SOPS 2810897 HAS SOUS 1617151 HAS SOUPS 1617151 WITH SCORE 1619961.897
AT ITER 213 NEW BEST:: SOT 12054007 SOS 2809604 HAS SOPS 2809604 HAS SOUS 1616848 HAS SOUPS 1616848 WITH SCORE 1619657.604
AT ITER 239 NEW BEST:: SOT 12053813 SOS 2809216 HAS SOPS 2809216 HAS SOUS 1616318 HAS SOUPS 1616318 WITH SCORE 1619127.216
AT ITER 244 NEW BEST:: SOT 12053382 SOS 2809008 HAS SOPS 2809008 HAS SOUS 1616109 HAS SOUPS 1616109 WITH SCORE 1618918.008
AT ITER 268 NEW BEST:: SOT 12053382 SOS 2809364 HAS SOPS 2809364 HAS SOUS 1616108 HAS SOUPS 1616108 WITH SCORE 1618917.364
AT ITER 272 NEW BEST:: SOT 12053026 SOS 2807722 HAS SOPS 2807722 HAS SOUS 1615328 HAS SOUPS 1615328 WITH SCORE 1618135.722
AT ITER 312 NEW BEST:: SOT 12053026 SOS 2807709 HAS SOPS 2807709 HAS SOUS 1615315 HAS SOUPS 1615315 WITH SCORE 1618122.709
AT ITER 328 NEW BEST:: SOT 12052914 SOS 2807485 HAS SOPS 2807485 HAS SOUS 1615091 HAS SOUPS 1615091 WITH SCORE 1617898.485
AT ITER 355 NEW BEST:: SOT 12053203 SOS 2808063 HAS SOPS 2808063 HAS SOUS 1614573 HAS SOUPS 1614573 WITH SCORE 1617381.063
AT ITER 373 NEW BEST:: SOT 12053173 SOS 2808003 HAS SOPS 2808003 HAS SOUS 1614513 HAS SOUPS 1614513 WITH SCORE 1617321.003
AT ITER 378 NEW BEST:: SOT 12052831 SOS 2810397 HAS SOPS 2810397 HAS SOUS 1614171 HAS SOUPS 1614171 WITH SCORE 1616981.397
AT ITER 397 NEW BEST:: SOT 12052376 SOS 2810025 HAS SOPS 2810025 HAS SOUS 1613799 HAS SOUPS 1613799 WITH SCORE 1616609.025
AT ITER 406 NEW BEST:: SOT 12051788 SOS 2810024 HAS SOPS 2810024 HAS SOUS 1613798 HAS SOUPS 1613798 WITH SCORE 1616608.024
AT ITER 424 NEW BEST:: SOT 12051788 SOS 2810024 HAS SOPS 2810024 HAS SOUS 1613797 HAS SOUPS 1613797 WITH SCORE 1616607.024
AT ITER 439 NEW BEST:: SOT 12051787 SOS 2811228 HAS SOPS 2811228 HAS SOUS 1613795 HAS SOUPS 1613795 WITH SCORE 1616606.228
AT ITER 443 NEW BEST:: SOT 12051063 SOS 2810866 HAS SOPS 2810866 HAS SOUS 1613071 HAS SOUPS 1613071 WITH SCORE 1615881.866
AT ITER 452 NEW BEST:: SOT 12050518 SOS 2820952 HAS SOPS 2820952 HAS SOUS 1612840 HAS SOUPS 1612840 WITH SCORE 1615660.952
AT ITER 460 NEW BEST:: SOT 12050518 SOS 2820085 HAS SOPS 2820085 HAS SOUS 1612551 HAS SOUPS 1612551 WITH SCORE 1615371.085
AT ITER 466 NEW BEST:: SOT 12049999 SOS 2820895 HAS SOPS 2820895 HAS SOUS 1611878 HAS SOUPS 1611878 WITH SCORE 1614698.895
AT ITER 473 NEW BEST:: SOT 12049998 SOS 2820893 HAS SOPS 2820893 HAS SOUS 1611876 HAS SOUPS 1611876 WITH SCORE 1614696.893
AT ITER 486 NEW BEST:: SOT 12049925 SOS 2820747 HAS SOPS 2820747 HAS SOUS 1611730 HAS SOUPS 1611730 WITH SCORE 1614550.747
AT ITER 488 NEW BEST:: SOT 12050156 SOS 2819218 HAS SOPS 2819218 HAS SOUS 1611203 HAS SOUPS 1611203 WITH SCORE 1614022.218
AT ITER 508 NEW BEST:: SOT 12049268 SOS 2818867 HAS SOPS 2818867 HAS SOUS 1610790 HAS SOUPS 1610790 WITH SCORE 1613608.867
AT ITER 512 NEW BEST:: SOT 12048895 SOS 2819227 HAS SOPS 2819227 HAS SOUS 1610415 HAS SOUPS 1610415 WITH SCORE 1613234.227
AT ITER 513 NEW BEST:: SOT 12048355 SOS 2819533 HAS SOPS 2819533 HAS SOUS 1610337 HAS SOUPS 1610337 WITH SCORE 1613156.533
AT ITER 529 NEW BEST:: SOT 12048299 SOS 2818917 HAS SOPS 2818917 HAS SOUS 1610281 HAS SOUPS 1610281 WITH SCORE 1613099.917
AT ITER 541 NEW BEST:: SOT 12048298 SOS 2818494 HAS SOPS 2818494 HAS SOUS 1609858 HAS SOUPS 1609858 WITH SCORE 1612676.494
AT ITER 543 NEW BEST:: SOT 12048001 SOS 2818781 HAS SOPS 2818781 HAS SOUS 1609560 HAS SOUPS 1609560 WITH SCORE 1612378.781
AT ITER 598 NEW BEST:: SOT 12047799 SOS 2818777 HAS SOPS 2818777 HAS SOUS 1609422 HAS SOUPS 1609422 WITH SCORE 1612240.777
AT ITER 608 NEW BEST:: SOT 12047789 SOS 2818999 HAS SOPS 2818999 HAS SOUS 1609412 HAS SOUPS 1609412 WITH SCORE 1612230.999
AT ITER 627 NEW BEST:: SOT 12047789 SOS 2819319 HAS SOPS 2819319 HAS SOUS 1609410 HAS SOUPS 1609410 WITH SCORE 1612229.319
AT ITER 637 NEW BEST:: SOT 12047712 SOS 2819165 HAS SOPS 2819165 HAS SOUS 1609256 HAS SOUPS 1609256 WITH SCORE 1612075.165
AT ITER 655 NEW BEST:: SOT 12047276 SOS 2819165 HAS SOPS 2819165 HAS SOUS 1608499 HAS SOUPS 1608499 WITH SCORE 1611318.165
AT ITER 664 NEW BEST:: SOT 12047185 SOS 2818801 HAS SOPS 2818801 HAS SOUS 1608317 HAS SOUPS 1608317 WITH SCORE 1611135.801
AT ITER 682 NEW BEST:: SOT 12046599 SOS 2818800 HAS SOPS 2818800 HAS SOUS 1608316 HAS SOUPS 1608316 WITH SCORE 1611134.8
AT ITER 735 NEW BEST:: SOT 12045961 SOS 2818242 HAS SOPS 2818242 HAS SOUS 1607678 HAS SOUPS 1607678 WITH SCORE 1610496.242
AT ITER 749 NEW BEST:: SOT 12045822 SOS 2817964 HAS SOPS 2817964 HAS SOUS 1607400 HAS SOUPS 1607400 WITH SCORE 1610217.964
AT ITER 759 NEW BEST:: SOT 12045226 SOS 2817259 HAS SOPS 2817259 HAS SOUS 1606704 HAS SOUPS 1606704 WITH SCORE 1609521.259
AT ITER 762 NEW BEST:: SOT 12044929 SOS 2817552 HAS SOPS 2817552 HAS SOUS 1606109 HAS SOUPS 1606109 WITH SCORE 1608926.552
AT ITER 765 NEW BEST:: SOT 12044928 SOS 2817900 HAS SOPS 2817900 HAS SOUS 1606106 HAS SOUPS 1606106 WITH SCORE 1608923.9
AT ITER 769 NEW BEST:: SOT 12044315 SOS 2817624 HAS SOPS 2817624 HAS SOUS 1605492 HAS SOUPS 1605492 WITH SCORE 1608309.624
AT ITER 783 NEW BEST:: SOT 12044489 SOS 2818920 HAS SOPS 2818920 HAS SOUS 1605366 HAS SOUPS 1605366 WITH SCORE 1608184.92
AT ITER 792 NEW BEST:: SOT 12044489 SOS 2818892 HAS SOPS 2818892 HAS SOUS 1605338 HAS SOUPS 1605338 WITH SCORE 1608156.892
AT ITER 801 NEW BEST:: SOT 12044444 SOS 2818802 HAS SOPS 2818802 HAS SOUS 1605248 HAS SOUPS 1605248 WITH SCORE 1608066.802
AT ITER 819 NEW BEST:: SOT 12044168 SOS 2819978 HAS SOPS 2819978 HAS SOUS 1605015 HAS SOUPS 1605015 WITH SCORE 1607834.978
AT ITER 870 NEW BEST:: SOT 12044107 SOS 2819856 HAS SOPS 2819856 HAS SOUS 1604796 HAS SOUPS 1604796 WITH SCORE 1607615.856
AT ITER 873 NEW BEST:: SOT 12043366 SOS 2819111 HAS SOPS 2819111 HAS SOUS 1604054 HAS SOUPS 1604054 WITH SCORE 1606873.111
AT ITER 882 NEW BEST:: SOT 12043146 SOS 2819001 HAS SOPS 2819001 HAS SOUS 1603944 HAS SOUPS 1603944 WITH SCORE 1606763.001
AT ITER 884 NEW BEST:: SOT 12042813 SOS 2819334 HAS SOPS 2819334 HAS SOUS 1603611 HAS SOUPS 1603611 WITH SCORE 1606430.334
AT ITER 888 NEW BEST:: SOT 12042813 SOS 2819334 HAS SOPS 2819334 HAS SOUS 1603610 HAS SOUPS 1603610 WITH SCORE 1606429.334
AT ITER 913 NEW BEST:: SOT 12042813 SOS 2819179 HAS SOPS 2819179 HAS SOUS 1603455 HAS SOUPS 1603455 WITH SCORE 1606274.179
AT ITER 934 NEW BEST:: SOT 12041982 SOS 2818530 HAS SOPS 2818530 HAS SOUS 1601718 HAS SOUPS 1601718 WITH SCORE 1604536.53
AT ITER 972 NEW BEST:: SOT 12041947 SOS 2818507 HAS SOPS 2818507 HAS SOUS 1601691 HAS SOUPS 1601691 WITH SCORE 1604509.507
AT ITER 977 NEW BEST:: SOT 12041822 SOS 2818257 HAS SOPS 2818257 HAS SOUS 1601441 HAS SOUPS 1601441 WITH SCORE 1604259.257
AT ITER 996 NEW BEST:: SOT 12040704 SOS 2816580 HAS SOPS 2816580 HAS SOUS 1599764 HAS SOUPS 1599764 WITH SCORE 1602580.58
AT ITER 1012 NEW BEST:: SOT 12041221 SOS 2817614 HAS SOPS 2817614 HAS SOUS 1599707 HAS SOUPS 1599707 WITH SCORE 1602524.614
AT ITER 1024 NEW BEST:: SOT 12040164 SOS 2816557 HAS SOPS 2816557 HAS SOUS 1598650 HAS SOUPS 1598650 WITH SCORE 1601466.557
AT ITER 1033 NEW BEST:: SOT 12040164 SOS 2816557 HAS SOPS 2816557 HAS SOUS 1598649 HAS SOUPS 1598649 WITH SCORE 1601465.557
AT ITER 1037 NEW BEST:: SOT 12040164 SOS 2815519 HAS SOPS 2815519 HAS SOUS 1598649 HAS SOUPS 1598649 WITH SCORE 1601464.519
AT ITER 1042 NEW BEST:: SOT 12040164 SOS 2815635 HAS SOPS 2815635 HAS SOUS 1598647 HAS SOUPS 1598647 WITH SCORE 1601462.635
AT ITER 1048 NEW BEST:: SOT 12039713 SOS 2815184 HAS SOPS 2815184 HAS SOUS 1598196 HAS SOUPS 1598196 WITH SCORE 1601011.184
AT ITER 1066 NEW BEST:: SOT 12039672 SOS 2815183 HAS SOPS 2815183 HAS SOUS 1598195 HAS SOUPS 1598195 WITH SCORE 1601010.183
AT ITER 1076 NEW BEST:: SOT 12039672 SOS 2815126 HAS SOPS 2815126 HAS SOUS 1598195 HAS SOUPS 1598195 WITH SCORE 1601010.126
AT ITER 1077 NEW BEST:: SOT 12039672 SOS 2815094 HAS SOPS 2815094 HAS SOUS 1598163 HAS SOUPS 1598163 WITH SCORE 1600978.094
AT ITER 1142 NEW BEST:: SOT 12039138 SOS 2814560 HAS SOPS 2814560 HAS SOUS 1597509 HAS SOUPS 1597509 WITH SCORE 1600323.56
AT ITER 1148 NEW BEST:: SOT 12039138 SOS 2814488 HAS SOPS 2814488 HAS SOUS 1597473 HAS SOUPS 1597473 WITH SCORE 1600287.488
AT ITER 1155 NEW BEST:: SOT 12039429 SOS 2811841 HAS SOPS 2811841 HAS SOUS 1597258 HAS SOUPS 1597258 WITH SCORE 1600069.841
AT ITER 1165 NEW BEST:: SOT 12038411 SOS 2810351 HAS SOPS 2810351 HAS SOUS 1595694 HAS SOUPS 1595694 WITH SCORE 1598504.351
AT ITER 1169 NEW BEST:: SOT 12038341 SOS 2810481 HAS SOPS 2810481 HAS SOUS 1595693 HAS SOUPS 1595693 WITH SCORE 1598503.481
AT ITER 1184 NEW BEST:: SOT 12038690 SOS 2811179 HAS SOPS 2811179 HAS SOUS 1595463 HAS SOUPS 1595463 WITH SCORE 1598274.179
AT ITER 1221 NEW BEST:: SOT 12038514 SOS 2810640 HAS SOPS 2810640 HAS SOUS 1594924 HAS SOUPS 1594924 WITH SCORE 1597734.64
AT ITER 1260 NEW BEST:: SOT 12038292 SOS 2810858 HAS SOPS 2810858 HAS SOUS 1594479 HAS SOUPS 1594479 WITH SCORE 1597289.858
AT ITER 1264 NEW BEST:: SOT 12038124 SOS 2812034 HAS SOPS 2812034 HAS SOUS 1594311 HAS SOUPS 1594311 WITH SCORE 1597123.034
AT ITER 1273 NEW BEST:: SOT 12037440 SOS 2811686 HAS SOPS 2811686 HAS SOUS 1593702 HAS SOUPS 1593702 WITH SCORE 1596513.686
AT ITER 1277 NEW BEST:: SOT 12037440 SOS 2811188 HAS SOPS 2811188 HAS SOUS 1593552 HAS SOUPS 1593552 WITH SCORE 1596363.188
AT ITER 1297 NEW BEST:: SOT 12037342 SOS 2813277 HAS SOPS 2813277 HAS SOUS 1593355 HAS SOUPS 1593355 WITH SCORE 1596168.277
AT ITER 1310 NEW BEST:: SOT 12037342 SOS 2812923 HAS SOPS 2812923 HAS SOUS 1593355 HAS SOUPS 1593355 WITH SCORE 1596167.923
AT ITER 1311 NEW BEST:: SOT 12037521 SOS 2813281 HAS SOPS 2813281 HAS SOUS 1593150 HAS SOUPS 1593150 WITH SCORE 1595963.281
AT ITER 1315 NEW BEST:: SOT 12037371 SOS 2812981 HAS SOPS 2812981 HAS SOUS 1592850 HAS SOUPS 1592850 WITH SCORE 1595662.981
AT ITER 1334 NEW BEST:: SOT 12036780 SOS 2812386 HAS SOPS 2812386 HAS SOUS 1592258 HAS SOUPS 1592258 WITH SCORE 1595070.386
AT ITER 1355 NEW BEST:: SOT 12036499 SOS 2811824 HAS SOPS 2811824 HAS SOUS 1591446 HAS SOUPS 1591446 WITH SCORE 1594257.824
AT ITER 1359 NEW BEST:: SOT 12036499 SOS 2810663 HAS SOPS 2810663 HAS SOUS 1591446 HAS SOUPS 1591446 WITH SCORE 1594256.663
AT ITER 1361 NEW BEST:: SOT 12036474 SOS 2810613 HAS SOPS 2810613 HAS SOUS 1591421 HAS SOUPS 1591421 WITH SCORE 1594231.613
AT ITER 1388 NEW BEST:: SOT 12036474 SOS 2810376 HAS SOPS 2810376 HAS SOUS 1591184 HAS SOUPS 1591184 WITH SCORE 1593994.376
AT ITER 1407 NEW BEST:: SOT 12036566 SOS 2810560 HAS SOPS 2810560 HAS SOUS 1591085 HAS SOUPS 1591085 WITH SCORE 1593895.56
AT ITER 1469 NEW BEST:: SOT 12036566 SOS 2812756 HAS SOPS 2812756 HAS SOUS 1590902 HAS SOUPS 1590902 WITH SCORE 1593714.756
AT ITER 1532 NEW BEST:: SOT 12036566 SOS 2810426 HAS SOPS 2810426 HAS SOUS 1590768 HAS SOUPS 1590768 WITH SCORE 1593578.426
AT ITER 1547 NEW BEST:: SOT 12036390 SOS 2810342 HAS SOPS 2810342 HAS SOUS 1590592 HAS SOUPS 1590592 WITH SCORE 1593402.342
AT ITER 1548 NEW BEST:: SOT 12035923 SOS 2809408 HAS SOPS 2809408 HAS SOUS 1589413 HAS SOUPS 1589413 WITH SCORE 1592222.408
AT ITER 1572 NEW BEST:: SOT 12035922 SOS 2809406 HAS SOPS 2809406 HAS SOUS 1589411 HAS SOUPS 1589411 WITH SCORE 1592220.406
AT ITER 1575 NEW BEST:: SOT 12035863 SOS 2809288 HAS SOPS 2809288 HAS SOUS 1589293 HAS SOUPS 1589293 WITH SCORE 1592102.288
AT ITER 1600 NEW BEST:: SOT 12035426 SOS 2809081 HAS SOPS 2809081 HAS SOUS 1589085 HAS SOUPS 1589085 WITH SCORE 1591894.081
AT ITER 1605 NEW BEST:: SOT 12035438 SOS 2809012 HAS SOPS 2809012 HAS SOUS 1589016 HAS SOUPS 1589016 WITH SCORE 1591825.012
AT ITER 1609 NEW BEST:: SOT 12035671 SOS 2809478 HAS SOPS 2809478 HAS SOUS 1588391 HAS SOUPS 1588391 WITH SCORE 1591200.478
AT ITER 1622 NEW BEST:: SOT 12035671 SOS 2808659 HAS SOPS 2808659 HAS SOUS 1588118 HAS SOUPS 1588118 WITH SCORE 1590926.659
AT ITER 1682 NEW BEST:: SOT 12035423 SOS 2808163 HAS SOPS 2808163 HAS SOUS 1587622 HAS SOUPS 1587622 WITH SCORE 1590430.163
AT ITER 1696 NEW BEST:: SOT 12033424 SOS 2809926 HAS SOPS 2809926 HAS SOUS 1586182 HAS SOUPS 1586182 WITH SCORE 1588991.926
AT ITER 1743 NEW BEST:: SOT 12033138 SOS 2809637 HAS SOPS 2809637 HAS SOUS 1585895 HAS SOUPS 1585895 WITH SCORE 1588704.637
AT ITER 1766 NEW BEST:: SOT 12033117 SOS 2809595 HAS SOPS 2809595 HAS SOUS 1585853 HAS SOUPS 1585853 WITH SCORE 1588662.595
AT ITER 1776 NEW BEST:: SOT 12033190 SOS 2810240 HAS SOPS 2810240 HAS SOUS 1585835 HAS SOUPS 1585835 WITH SCORE 1588645.24
AT ITER 1779 NEW BEST:: SOT 12032997 SOS 2810159 HAS SOPS 2810159 HAS SOUS 1585642 HAS SOUPS 1585642 WITH SCORE 1588452.159
AT ITER 1804 NEW BEST:: SOT 12032997 SOS 2811319 HAS SOPS 2811319 HAS SOUS 1585253 HAS SOUPS 1585253 WITH SCORE 1588064.319
AT ITER 1810 NEW BEST:: SOT 12032452 SOS 2810229 HAS SOPS 2810229 HAS SOUS 1584135 HAS SOUPS 1584135 WITH SCORE 1586945.229
AT ITER 1815 NEW BEST:: SOT 12032452 SOS 2810229 HAS SOPS 2810229 HAS SOUS 1583955 HAS SOUPS 1583955 WITH SCORE 1586765.229
AT ITER 1873 NEW BEST:: SOT 12031422 SOS 2808993 HAS SOPS 2808993 HAS SOUS 1582719 HAS SOUPS 1582719 WITH SCORE 1585527.993
AT ITER 1891 NEW BEST:: SOT 12031422 SOS 2809023 HAS SOPS 2809023 HAS SOUS 1582718 HAS SOUPS 1582718 WITH SCORE 1585527.023
AT ITER 1892 NEW BEST:: SOT 12031418 SOS 2809027 HAS SOPS 2809027 HAS SOUS 1582714 HAS SOUPS 1582714 WITH SCORE 1585523.027
AT ITER 1898 NEW BEST:: SOT 12030943 SOS 2808947 HAS SOPS 2808947 HAS SOUS 1582343 HAS SOUPS 1582343 WITH SCORE 1585151.947
AT ITER 1920 NEW BEST:: SOT 12030923 SOS 2808907 HAS SOPS 2808907 HAS SOUS 1582323 HAS SOUPS 1582323 WITH SCORE 1585131.907
AT ITER 1923 NEW BEST:: SOT 12030895 SOS 2808851 HAS SOPS 2808851 HAS SOUS 1582169 HAS SOUPS 1582169 WITH SCORE 1584977.851
AT ITER 1950 NEW BEST:: SOT 12030835 SOS 2808967 HAS SOPS 2808967 HAS SOUS 1582168 HAS SOUPS 1582168 WITH SCORE 1584976.967
AT ITER 1970 NEW BEST:: SOT 12030835 SOS 2808945 HAS SOPS 2808945 HAS SOUS 1582157 HAS SOUPS 1582157 WITH SCORE 1584965.945
AT ITER 2072 NEW BEST:: SOT 12031727 SOS 2808251 HAS SOPS 2808251 HAS SOUS 1581956 HAS SOUPS 1581956 WITH SCORE 1584764.251
AT ITER 2109 NEW BEST:: SOT 12031388 SOS 2808730 HAS SOPS 2808730 HAS SOUS 1581222 HAS SOUPS 1581222 WITH SCORE 1584030.73
AT ITER 2119 NEW BEST:: SOT 12031388 SOS 2803411 HAS SOPS 2803411 HAS SOUS 1581222 HAS SOUPS 1581222 WITH SCORE 1584025.411
AT ITER 2123 NEW BEST:: SOT 12031388 SOS 2803675 HAS SOPS 2803675 HAS SOUS 1581090 HAS SOUPS 1581090 WITH SCORE 1583893.675
AT ITER 2142 NEW BEST:: SOT 12030864 SOS 2804034 HAS SOPS 2804034 HAS SOUS 1581035 HAS SOUPS 1581035 WITH SCORE 1583839.034
AT ITER 2168 NEW BEST:: SOT 12030568 SOS 2803928 HAS SOPS 2803928 HAS SOUS 1580928 HAS SOUPS 1580928 WITH SCORE 1583731.928
AT ITER 2175 NEW BEST:: SOT 12030615 SOS 2803811 HAS SOPS 2803811 HAS SOUS 1580764 HAS SOUPS 1580764 WITH SCORE 1583567.811
AT ITER 2186 NEW BEST:: SOT 12030615 SOS 2803811 HAS SOPS 2803811 HAS SOUS 1580763 HAS SOUPS 1580763 WITH SCORE 1583566.811
AT ITER 2207 NEW BEST:: SOT 12030463 SOS 2803780 HAS SOPS 2803780 HAS SOUS 1580748 HAS SOUPS 1580748 WITH SCORE 1583551.78
AT ITER 2217 NEW BEST:: SOT 12030463 SOS 2804778 HAS SOPS 2804778 HAS SOUS 1580747 HAS SOUPS 1580747 WITH SCORE 1583551.778
AT ITER 2238 NEW BEST:: SOT 12030605 SOS 2805062 HAS SOPS 2805062 HAS SOUS 1580453 HAS SOUPS 1580453 WITH SCORE 1583258.062
AT ITER 2262 NEW BEST:: SOT 12030469 SOS 2804985 HAS SOPS 2804985 HAS SOUS 1580376 HAS SOUPS 1580376 WITH SCORE 1583180.985
AT ITER 2272 NEW BEST:: SOT 12030284 SOS 2804615 HAS SOPS 2804615 HAS SOUS 1580006 HAS SOUPS 1580006 WITH SCORE 1582810.615
AT ITER 2277 NEW BEST:: SOT 12029819 SOS 2804612 HAS SOPS 2804612 HAS SOUS 1579075 HAS SOUPS 1579075 WITH SCORE 1581879.612
AT ITER 2284 NEW BEST:: SOT 12029748 SOS 2804470 HAS SOPS 2804470 HAS SOUS 1579004 HAS SOUPS 1579004 WITH SCORE 1581808.47
AT ITER 2288 NEW BEST:: SOT 12029748 SOS 2804460 HAS SOPS 2804460 HAS SOUS 1579003 HAS SOUPS 1579003 WITH SCORE 1581807.46
AT ITER 2299 NEW BEST:: SOT 12029489 SOS 2804201 HAS SOPS 2804201 HAS SOUS 1578744 HAS SOUPS 1578744 WITH SCORE 1581548.201
AT ITER 2304 NEW BEST:: SOT 12029321 SOS 2803865 HAS SOPS 2803865 HAS SOUS 1578408 HAS SOUPS 1578408 WITH SCORE 1581211.865
AT ITER 2313 NEW BEST:: SOT 12029066 SOS 2803100 HAS SOPS 2803100 HAS SOUS 1577995 HAS SOUPS 1577995 WITH SCORE 1580798.1
AT ITER 2316 NEW BEST:: SOT 12029325 SOS 2808756 HAS SOPS 2808756 HAS SOUS 1577940 HAS SOUPS 1577940 WITH SCORE 1580748.756
AT ITER 2324 NEW BEST:: SOT 12028965 SOS 2809106 HAS SOPS 2809106 HAS SOUS 1577605 HAS SOUPS 1577605 WITH SCORE 1580414.106
AT ITER 2328 NEW BEST:: SOT 12028628 SOS 2808742 HAS SOPS 2808742 HAS SOUS 1577241 HAS SOUPS 1577241 WITH SCORE 1580049.742
AT ITER 2332 NEW BEST:: SOT 12028628 SOS 2808088 HAS SOPS 2808088 HAS SOUS 1577023 HAS SOUPS 1577023 WITH SCORE 1579831.088
AT ITER 2333 NEW BEST:: SOT 12028087 SOS 2808005 HAS SOPS 2808005 HAS SOUS 1576940 HAS SOUPS 1576940 WITH SCORE 1579748.005
AT ITER 2334 NEW BEST:: SOT 12028074 SOS 2807979 HAS SOPS 2807979 HAS SOUS 1576555 HAS SOUPS 1576555 WITH SCORE 1579362.979
AT ITER 2347 NEW BEST:: SOT 12027989 SOS 2807893 HAS SOPS 2807893 HAS SOUS 1576469 HAS SOUPS 1576469 WITH SCORE 1579276.893
AT ITER 2351 NEW BEST:: SOT 12027729 SOS 2807373 HAS SOPS 2807373 HAS SOUS 1576240 HAS SOUPS 1576240 WITH SCORE 1579047.373
AT ITER 2386 NEW BEST:: SOT 12027536 SOS 2807833 HAS SOPS 2807833 HAS SOUS 1576047 HAS SOUPS 1576047 WITH SCORE 1578854.833
AT ITER 2425 NEW BEST:: SOT 12027270 SOS 2807301 HAS SOPS 2807301 HAS SOUS 1575068 HAS SOUPS 1575068 WITH SCORE 1577875.301
AT ITER 2472 NEW BEST:: SOT 12027174 SOS 2807205 HAS SOPS 2807205 HAS SOUS 1574876 HAS SOUPS 1574876 WITH SCORE 1577683.205
AT ITER 2473 NEW BEST:: SOT 12027174 SOS 2807605 HAS SOPS 2807605 HAS SOUS 1574875 HAS SOUPS 1574875 WITH SCORE 1577682.605
AT ITER 2516 NEW BEST:: SOT 12027033 SOS 2807678 HAS SOPS 2807678 HAS SOUS 1574440 HAS SOUPS 1574440 WITH SCORE 1577247.678
AT ITER 2538 NEW BEST:: SOT 12026359 SOS 2807096 HAS SOPS 2807096 HAS SOUS 1573858 HAS SOUPS 1573858 WITH SCORE 1576665.096
AT ITER 2559 NEW BEST:: SOT 12026252 SOS 2806989 HAS SOPS 2806989 HAS SOUS 1573751 HAS SOUPS 1573751 WITH SCORE 1576557.989
AT ITER 2569 NEW BEST:: SOT 12026252 SOS 2809515 HAS SOPS 2809515 HAS SOUS 1573595 HAS SOUPS 1573595 WITH SCORE 1576404.515
AT ITER 2570 NEW BEST:: SOT 12025786 SOS 2814334 HAS SOPS 2814334 HAS SOUS 1573129 HAS SOUPS 1573129 WITH SCORE 1575943.334
AT ITER 2580 NEW BEST:: SOT 12025494 SOS 2816378 HAS SOPS 2816378 HAS SOUS 1572767 HAS SOUPS 1572767 WITH SCORE 1575583.378
AT ITER 2590 NEW BEST:: SOT 12025494 SOS 2816336 HAS SOPS 2816336 HAS SOUS 1572767 HAS SOUPS 1572767 WITH SCORE 1575583.336
AT ITER 2620 NEW BEST:: SOT 12025762 SOS 2815538 HAS SOPS 2815538 HAS SOUS 1571969 HAS SOUPS 1571969 WITH SCORE 1574784.538
AT ITER 2629 NEW BEST:: SOT 12025762 SOS 2815317 HAS SOPS 2815317 HAS SOUS 1571748 HAS SOUPS 1571748 WITH SCORE 1574563.317
AT ITER 2639 NEW BEST:: SOT 12024973 SOS 2814885 HAS SOPS 2814885 HAS SOUS 1571079 HAS SOUPS 1571079 WITH SCORE 1573893.885
AT ITER 2680 NEW BEST:: SOT 12024986 SOS 2814911 HAS SOPS 2814911 HAS SOUS 1570977 HAS SOUPS 1570977 WITH SCORE 1573791.911
AT ITER 2705 NEW BEST:: SOT 12024986 SOS 2816548 HAS SOPS 2816548 HAS SOUS 1570975 HAS SOUPS 1570975 WITH SCORE 1573791.548
AT ITER 2714 NEW BEST:: SOT 12024666 SOS 2818788 HAS SOPS 2818788 HAS SOUS 1570655 HAS SOUPS 1570655 WITH SCORE 1573473.788
AT ITER 2750 NEW BEST:: SOT 12023035 SOS 2821164 HAS SOPS 2821164 HAS SOUS 1569945 HAS SOUPS 1569945 WITH SCORE 1572766.164
AT ITER 2772 NEW BEST:: SOT 12023010 SOS 2821114 HAS SOPS 2821114 HAS SOUS 1569748 HAS SOUPS 1569748 WITH SCORE 1572569.114
AT ITER 2824 NEW BEST:: SOT 12023010 SOS 2819782 HAS SOPS 2819782 HAS SOUS 1569304 HAS SOUPS 1569304 WITH SCORE 1572123.782
AT ITER 2851 NEW BEST:: SOT 12022772 SOS 2819306 HAS SOPS 2819306 HAS SOUS 1568039 HAS SOUPS 1568039 WITH SCORE 1570858.306
AT ITER 2878 NEW BEST:: SOT 12022772 SOS 2819689 HAS SOPS 2819689 HAS SOUS 1568038 HAS SOUPS 1568038 WITH SCORE 1570857.689
AT ITER 2935 NEW BEST:: SOT 12022772 SOS 2819508 HAS SOPS 2819508 HAS SOUS 1567925 HAS SOUPS 1567925 WITH SCORE 1570744.508
AT ITER 2937 NEW BEST:: SOT 12022199 SOS 2823519 HAS SOPS 2823519 HAS SOUS 1567352 HAS SOUPS 1567352 WITH SCORE 1570175.519
AT ITER 2955 NEW BEST:: SOT 12021984 SOS 2823734 HAS SOPS 2823734 HAS SOUS 1567137 HAS SOUPS 1567137 WITH SCORE 1569960.734
AT ITER 2958 NEW BEST:: SOT 12022000 SOS 2823766 HAS SOPS 2823766 HAS SOUS 1567041 HAS SOUPS 1567041 WITH SCORE 1569864.766
AT ITER 3013 NEW BEST:: SOT 12022430 SOS 2823042 HAS SOPS 2823042 HAS SOUS 1566943 HAS SOUPS 1566943 WITH SCORE 1569766.042
AT ITER 3024 NEW BEST:: SOT 12022458 SOS 2822928 HAS SOPS 2822928 HAS SOUS 1566801 HAS SOUPS 1566801 WITH SCORE 1569623.928
AT ITER 3028 NEW BEST:: SOT 12022454 SOS 2822920 HAS SOPS 2822920 HAS SOUS 1566793 HAS SOUPS 1566793 WITH SCORE 1569615.92
AT ITER 3038 NEW BEST:: SOT 12022336 SOS 2824147 HAS SOPS 2824147 HAS SOUS 1565990 HAS SOUPS 1565990 WITH SCORE 1568814.147
AT ITER 3063 NEW BEST:: SOT 12022336 SOS 2823211 HAS SOPS 2823211 HAS SOUS 1565678 HAS SOUPS 1565678 WITH SCORE 1568501.211
AT ITER 3102 NEW BEST:: SOT 12022332 SOS 2823212 HAS SOPS 2823212 HAS SOUS 1565673 HAS SOUPS 1565673 WITH SCORE 1568496.212
AT ITER 3118 NEW BEST:: SOT 12022199 SOS 2823209 HAS SOPS 2823209 HAS SOUS 1565406 HAS SOUPS 1565406 WITH SCORE 1568229.209
AT ITER 3121 NEW BEST:: SOT 12021881 SOS 2825435 HAS SOPS 2825435 HAS SOUS 1564770 HAS SOUPS 1564770 WITH SCORE 1567595.435
AT ITER 3125 NEW BEST:: SOT 12021881 SOS 2826308 HAS SOPS 2826308 HAS SOUS 1564769 HAS SOUPS 1564769 WITH SCORE 1567595.308
AT ITER 3143 NEW BEST:: SOT 12021510 SOS 2826056 HAS SOPS 2826056 HAS SOUS 1564517 HAS SOUPS 1564517 WITH SCORE 1567343.056
AT ITER 3144 NEW BEST:: SOT 12021213 SOS 2825462 HAS SOPS 2825462 HAS SOUS 1563634 HAS SOUPS 1563634 WITH SCORE 1566459.462
AT ITER 3171 NEW BEST:: SOT 12020889 SOS 2824814 HAS SOPS 2824814 HAS SOUS 1563310 HAS SOUPS 1563310 WITH SCORE 1566134.814
AT ITER 3174 NEW BEST:: SOT 12020823 SOS 2824682 HAS SOPS 2824682 HAS SOUS 1563178 HAS SOUPS 1563178 WITH SCORE 1566002.682
AT ITER 3209 NEW BEST:: SOT 12020779 SOS 2824594 HAS SOPS 2824594 HAS SOUS 1563133 HAS SOUPS 1563133 WITH SCORE 1565957.594
AT ITER 3244 NEW BEST:: SOT 12020779 SOS 2823841 HAS SOPS 2823841 HAS SOUS 1562882 HAS SOUPS 1562882 WITH SCORE 1565705.841
AT ITER 3262 NEW BEST:: SOT 12020007 SOS 2823059 HAS SOPS 2823059 HAS SOUS 1562109 HAS SOUPS 1562109 WITH SCORE 1564932.059
AT ITER 3268 NEW BEST:: SOT 12019610 SOS 2822265 HAS SOPS 2822265 HAS SOUS 1560724 HAS SOUPS 1560724 WITH SCORE 1563546.265
AT ITER 3297 NEW BEST:: SOT 12019450 SOS 2822098 HAS SOPS 2822098 HAS SOUS 1560557 HAS SOUPS 1560557 WITH SCORE 1563379.098
AT ITER 3309 NEW BEST:: SOT 12019782 SOS 2822175 HAS SOPS 2822175 HAS SOUS 1560007 HAS SOUPS 1560007 WITH SCORE 1562829.175
AT ITER 3334 NEW BEST:: SOT 12019518 SOS 2822436 HAS SOPS 2822436 HAS SOUS 1559742 HAS SOUPS 1559742 WITH SCORE 1562564.436
AT ITER 3356 NEW BEST:: SOT 12017259 SOS 2819926 HAS SOPS 2819926 HAS SOUS 1558005 HAS SOUPS 1558005 WITH SCORE 1560824.926
AT ITER 3364 NEW BEST:: SOT 12016883 SOS 2819649 HAS SOPS 2819649 HAS SOUS 1557728 HAS SOUPS 1557728 WITH SCORE 1560547.649
AT ITER 3388 NEW BEST:: SOT 12016580 SOS 2818628 HAS SOPS 2818628 HAS SOUS 1556482 HAS SOUPS 1556482 WITH SCORE 1559300.628
AT ITER 3392 NEW BEST:: SOT 12016555 SOS 2818272 HAS SOPS 2818272 HAS SOUS 1556404 HAS SOUPS 1556404 WITH SCORE 1559222.272
AT ITER 3401 NEW BEST:: SOT 12016480 SOS 2818122 HAS SOPS 2818122 HAS SOUS 1556254 HAS SOUPS 1556254 WITH SCORE 1559072.122
AT ITER 3421 NEW BEST:: SOT 12016480 SOS 2818122 HAS SOPS 2818122 HAS SOUS 1556173 HAS SOUPS 1556173 WITH SCORE 1558991.122
AT ITER 3425 NEW BEST:: SOT 12016448 SOS 2818090 HAS SOPS 2818090 HAS SOUS 1556149 HAS SOUPS 1556149 WITH SCORE 1558967.09
AT ITER 3432 NEW BEST:: SOT 12016447 SOS 2818088 HAS SOPS 2818088 HAS SOUS 1556147 HAS SOUPS 1556147 WITH SCORE 1558965.088
AT ITER 3475 NEW BEST:: SOT 12016301 SOS 2817796 HAS SOPS 2817796 HAS SOUS 1556001 HAS SOUPS 1556001 WITH SCORE 1558818.796
AT ITER 3482 NEW BEST:: SOT 12016105 SOS 2817404 HAS SOPS 2817404 HAS SOUS 1555609 HAS SOUPS 1555609 WITH SCORE 1558426.404
AT ITER 3510 NEW BEST:: SOT 12016105 SOS 2817404 HAS SOPS 2817404 HAS SOUS 1555608 HAS SOUPS 1555608 WITH SCORE 1558425.404
AT ITER 3528 NEW BEST:: SOT 12016072 SOS 2817305 HAS SOPS 2817305 HAS SOUS 1555575 HAS SOUPS 1555575 WITH SCORE 1558392.305
AT ITER 3542 NEW BEST:: SOT 12016330 SOS 2817821 HAS SOPS 2817821 HAS SOUS 1555490 HAS SOUPS 1555490 WITH SCORE 1558307.821
AT ITER 3601 NEW BEST:: SOT 12016190 SOS 2817541 HAS SOPS 2817541 HAS SOUS 1555038 HAS SOUPS 1555038 WITH SCORE 1557855.541
AT ITER 3615 NEW BEST:: SOT 12015960 SOS 2817081 HAS SOPS 2817081 HAS SOUS 1554578 HAS SOUPS 1554578 WITH SCORE 1557395.081
AT ITER 3621 NEW BEST:: SOT 12015174 SOS 2821326 HAS SOPS 2821326 HAS SOUS 1554532 HAS SOUPS 1554532 WITH SCORE 1557353.326
AT ITER 3667 NEW BEST:: SOT 12015174 SOS 2822246 HAS SOPS 2822246 HAS SOUS 1554531 HAS SOUPS 1554531 WITH SCORE 1557353.246
AT ITER 3668 NEW BEST:: SOT 12015436 SOS 2821516 HAS SOPS 2821516 HAS SOUS 1554476 HAS SOUPS 1554476 WITH SCORE 1557297.516
AT ITER 3700 NEW BEST:: SOT 12015325 SOS 2821513 HAS SOPS 2821513 HAS SOUS 1554475 HAS SOUPS 1554475 WITH SCORE 1557296.513
AT ITER 3708 NEW BEST:: SOT 12015002 SOS 2820867 HAS SOPS 2820867 HAS SOUS 1553829 HAS SOUPS 1553829 WITH SCORE 1556649.867
AT ITER 3722 NEW BEST:: SOT 12014320 SOS 2813365 HAS SOPS 2813365 HAS SOUS 1552465 HAS SOUPS 1552465 WITH SCORE 1555278.365
AT ITER 3755 NEW BEST:: SOT 12014320 SOS 2813470 HAS SOPS 2813470 HAS SOUS 1552093 HAS SOUPS 1552093 WITH SCORE 1554906.47
AT ITER 3777 NEW BEST:: SOT 12014014 SOS 2815602 HAS SOPS 2815602 HAS SOUS 1551480 HAS SOUPS 1551480 WITH SCORE 1554295.602
AT ITER 3778 NEW BEST:: SOT 12013876 SOS 2815506 HAS SOPS 2815506 HAS SOUS 1551342 HAS SOUPS 1551342 WITH SCORE 1554157.506
AT ITER 3781 NEW BEST:: SOT 12013422 SOS 2815555 HAS SOPS 2815555 HAS SOUS 1550821 HAS SOUPS 1550821 WITH SCORE 1553636.555
AT ITER 3796 NEW BEST:: SOT 12011164 SOS 2813327 HAS SOPS 2813327 HAS SOUS 1548977 HAS SOUPS 1548977 WITH SCORE 1551790.327
AT ITER 3809 NEW BEST:: SOT 12010836 SOS 2813393 HAS SOPS 2813393 HAS SOUS 1548499 HAS SOUPS 1548499 WITH SCORE 1551312.393
AT ITER 3812 NEW BEST:: SOT 12010725 SOS 2813171 HAS SOPS 2813171 HAS SOUS 1548277 HAS SOUPS 1548277 WITH SCORE 1551090.171
AT ITER 3832 NEW BEST:: SOT 12010725 SOS 2813161 HAS SOPS 2813161 HAS SOUS 1548136 HAS SOUPS 1548136 WITH SCORE 1550949.161
AT ITER 3893 NEW BEST:: SOT 12010724 SOS 2813159 HAS SOPS 2813159 HAS SOUS 1548134 HAS SOUPS 1548134 WITH SCORE 1550947.159
AT ITER 3909 NEW BEST:: SOT 12010682 SOS 2813069 HAS SOPS 2813069 HAS SOUS 1548044 HAS SOUPS 1548044 WITH SCORE 1550857.069
AT ITER 3920 NEW BEST:: SOT 12010462 SOS 2812823 HAS SOPS 2812823 HAS SOUS 1547798 HAS SOUPS 1547798 WITH SCORE 1550610.823
AT ITER 3944 NEW BEST:: SOT 12010408 SOS 2812877 HAS SOPS 2812877 HAS SOUS 1547744 HAS SOUPS 1547744 WITH SCORE 1550556.877
AT ITER 3978 NEW BEST:: SOT 12010408 SOS 2813140 HAS SOPS 2813140 HAS SOUS 1547743 HAS SOUPS 1547743 WITH SCORE 1550556.14
AT ITER 3997 NEW BEST:: SOT 12010407 SOS 2813138 HAS SOPS 2813138 HAS SOUS 1547741 HAS SOUPS 1547741 WITH SCORE 1550554.138
AT ITER 4064 NEW BEST:: SOT 12009837 SOS 2810288 HAS SOPS 2810288 HAS SOUS 1546601 HAS SOUPS 1546601 WITH SCORE 1549411.288
AT ITER 4099 NEW BEST:: SOT 12009701 SOS 2810016 HAS SOPS 2810016 HAS SOUS 1546329 HAS SOUPS 1546329 WITH SCORE 1549139.016
AT ITER 4102 NEW BEST:: SOT 12009701 SOS 2810967 HAS SOPS 2810967 HAS SOUS 1546272 HAS SOUPS 1546272 WITH SCORE 1549082.967
AT ITER 4113 NEW BEST:: SOT 12009443 SOS 2810712 HAS SOPS 2810712 HAS SOUS 1545867 HAS SOUPS 1545867 WITH SCORE 1548677.712
AT ITER 4121 NEW BEST:: SOT 12009443 SOS 2810423 HAS SOPS 2810423 HAS SOUS 1545578 HAS SOUPS 1545578 WITH SCORE 1548388.423
AT ITER 4153 NEW BEST:: SOT 12009443 SOS 2811052 HAS SOPS 2811052 HAS SOUS 1545577 HAS SOUPS 1545577 WITH SCORE 1548388.052
AT ITER 4160 NEW BEST:: SOT 12009443 SOS 2811052 HAS SOPS 2811052 HAS SOUS 1545349 HAS SOUPS 1545349 WITH SCORE 1548160.052
AT ITER 4165 NEW BEST:: SOT 12009374 SOS 2810914 HAS SOPS 2810914 HAS SOUS 1545211 HAS SOUPS 1545211 WITH SCORE 1548021.914
AT ITER 4211 NEW BEST:: SOT 12009368 SOS 2810902 HAS SOPS 2810902 HAS SOUS 1544788 HAS SOUPS 1544788 WITH SCORE 1547598.902
AT ITER 4214 NEW BEST:: SOT 12006879 SOS 2808615 HAS SOPS 2808615 HAS SOUS 1542378 HAS SOUPS 1542378 WITH SCORE 1545186.615
AT ITER 4217 NEW BEST:: SOT 12006878 SOS 2808613 HAS SOPS 2808613 HAS SOUS 1542376 HAS SOUPS 1542376 WITH SCORE 1545184.613
AT ITER 4234 NEW BEST:: SOT 12006829 SOS 2808515 HAS SOPS 2808515 HAS SOUS 1542278 HAS SOUPS 1542278 WITH SCORE 1545086.515
AT ITER 4320 NEW BEST:: SOT 12006776 SOS 2808356 HAS SOPS 2808356 HAS SOUS 1542172 HAS SOUPS 1542172 WITH SCORE 1544980.356
AT ITER 4345 NEW BEST:: SOT 12006891 SOS 2809652 HAS SOPS 2809652 HAS SOUS 1541835 HAS SOUPS 1541835 WITH SCORE 1544644.652
AT ITER 4357 NEW BEST:: SOT 12006772 SOS 2809950 HAS SOPS 2809950 HAS SOUS 1541715 HAS SOUPS 1541715 WITH SCORE 1544524.95
AT ITER 4366 NEW BEST:: SOT 12006579 SOS 2809946 HAS SOPS 2809946 HAS SOUS 1541714 HAS SOUPS 1541714 WITH SCORE 1544523.946
AT ITER 4374 NEW BEST:: SOT 12005834 SOS 2810010 HAS SOPS 2810010 HAS SOUS 1541487 HAS SOUPS 1541487 WITH SCORE 1544297.01
AT ITER 4388 NEW BEST:: SOT 12005586 SOS 2809762 HAS SOPS 2809762 HAS SOUS 1541239 HAS SOUPS 1541239 WITH SCORE 1544048.762
AT ITER 4390 NEW BEST:: SOT 12004511 SOS 2808646 HAS SOPS 2808646 HAS SOUS 1540968 HAS SOUPS 1540968 WITH SCORE 1543776.646
AT ITER 4405 NEW BEST:: SOT 12004304 SOS 2808090 HAS SOPS 2808090 HAS SOUS 1540412 HAS SOUPS 1540412 WITH SCORE 1543220.09
AT ITER 4411 NEW BEST:: SOT 12004232 SOS 2807551 HAS SOPS 2807551 HAS SOUS 1539945 HAS SOUPS 1539945 WITH SCORE 1542752.551
AT ITER 4420 NEW BEST:: SOT 12004230 SOS 2811551 HAS SOPS 2811551 HAS SOUS 1539940 HAS SOUPS 1539940 WITH SCORE 1542751.551
AT ITER 4424 NEW BEST:: SOT 12004210 SOS 2811550 HAS SOPS 2811550 HAS SOUS 1539939 HAS SOUPS 1539939 WITH SCORE 1542750.55
AT ITER 4455 NEW BEST:: SOT 12004210 SOS 2811550 HAS SOPS 2811550 HAS SOUS 1539867 HAS SOUPS 1539867 WITH SCORE 1542678.55
AT ITER 4485 NEW BEST:: SOT 12004045 SOS 2811220 HAS SOPS 2811220 HAS SOUS 1539537 HAS SOUPS 1539537 WITH SCORE 1542348.22
AT ITER 4488 NEW BEST:: SOT 12003901 SOS 2810788 HAS SOPS 2810788 HAS SOUS 1539105 HAS SOUPS 1539105 WITH SCORE 1541915.788
AT ITER 4499 NEW BEST:: SOT 12003901 SOS 2810962 HAS SOPS 2810962 HAS SOUS 1539075 HAS SOUPS 1539075 WITH SCORE 1541885.962
AT ITER 4517 NEW BEST:: SOT 12003768 SOS 2810692 HAS SOPS 2810692 HAS SOUS 1538808 HAS SOUPS 1538808 WITH SCORE 1541618.692
AT ITER 4532 NEW BEST:: SOT 12003620 SOS 2810905 HAS SOPS 2810905 HAS SOUS 1538725 HAS SOUPS 1538725 WITH SCORE 1541535.905
AT ITER 4542 NEW BEST:: SOT 12003829 SOS 2809955 HAS SOPS 2809955 HAS SOUS 1538582 HAS SOUPS 1538582 WITH SCORE 1541391.955
AT ITER 4557 NEW BEST:: SOT 12003670 SOS 2809796 HAS SOPS 2809796 HAS SOUS 1538423 HAS SOUPS 1538423 WITH SCORE 1541232.796
AT ITER 4580 NEW BEST:: SOT 12003301 SOS 2808634 HAS SOPS 2808634 HAS SOUS 1537261 HAS SOUPS 1537261 WITH SCORE 1540069.634
AT ITER 4617 NEW BEST:: SOT 12003300 SOS 2810539 HAS SOPS 2810539 HAS SOUS 1537258 HAS SOUPS 1537258 WITH SCORE 1540068.539
AT ITER 4619 NEW BEST:: SOT 12003280 SOS 2810499 HAS SOPS 2810499 HAS SOUS 1537218 HAS SOUPS 1537218 WITH SCORE 1540028.499
AT ITER 4626 NEW BEST:: SOT 12002683 SOS 2811188 HAS SOPS 2811188 HAS SOUS 1536023 HAS SOUPS 1536023 WITH SCORE 1538834.188
AT ITER 4669 NEW BEST:: SOT 12002566 SOS 2810954 HAS SOPS 2810954 HAS SOUS 1535660 HAS SOUPS 1535660 WITH SCORE 1538470.954
AT ITER 4676 NEW BEST:: SOT 12000775 SOS 2816916 HAS SOPS 2816916 HAS SOUS 1534658 HAS SOUPS 1534658 WITH SCORE 1537474.916
AT ITER 4690 NEW BEST:: SOT 12000775 SOS 2816685 HAS SOPS 2816685 HAS SOUS 1534427 HAS SOUPS 1534427 WITH SCORE 1537243.685
AT ITER 4711 NEW BEST:: SOT 12000678 SOS 2819416 HAS SOPS 2819416 HAS SOUS 1534150 HAS SOUPS 1534150 WITH SCORE 1536969.416
AT ITER 4718 NEW BEST:: SOT 12000677 SOS 2819414 HAS SOPS 2819414 HAS SOUS 1534148 HAS SOUPS 1534148 WITH SCORE 1536967.414
AT ITER 4731 NEW BEST:: SOT 12000677 SOS 2820174 HAS SOPS 2820174 HAS SOUS 1534146 HAS SOUPS 1534146 WITH SCORE 1536966.174
AT ITER 4757 NEW BEST:: SOT 12000446 SOS 2820076 HAS SOPS 2820076 HAS SOUS 1533915 HAS SOUPS 1533915 WITH SCORE 1536735.076
AT ITER 4766 NEW BEST:: SOT 12000040 SOS 2818838 HAS SOPS 2818838 HAS SOUS 1533161 HAS SOUPS 1533161 WITH SCORE 1535979.838
AT ITER 4800 NEW BEST:: SOT 12000127 SOS 2818442 HAS SOPS 2818442 HAS SOUS 1532973 HAS SOUPS 1532973 WITH SCORE 1535791.442
AT ITER 4806 NEW BEST:: SOT 12000127 SOS 2822509 HAS SOPS 2822509 HAS SOUS 1532918 HAS SOUPS 1532918 WITH SCORE 1535740.509
AT ITER 4815 NEW BEST:: SOT 12000008 SOS 2826078 HAS SOPS 2826078 HAS SOUS 1532680 HAS SOUPS 1532680 WITH SCORE 1535506.078
AT ITER 4822 NEW BEST:: SOT 12000008 SOS 2825982 HAS SOPS 2825982 HAS SOUS 1532648 HAS SOUPS 1532648 WITH SCORE 1535473.982
AT ITER 4831 NEW BEST:: SOT 11999889 SOS 2825744 HAS SOPS 2825744 HAS SOUS 1532528 HAS SOUPS 1532528 WITH SCORE 1535353.744
AT ITER 4838 NEW BEST:: SOT 11999888 SOS 2825742 HAS SOPS 2825742 HAS SOUS 1532526 HAS SOUPS 1532526 WITH SCORE 1535351.742
AT ITER 4855 NEW BEST:: SOT 11999775 SOS 2825516 HAS SOPS 2825516 HAS SOUS 1532300 HAS SOUPS 1532300 WITH SCORE 1535125.516
AT ITER 4880 NEW BEST:: SOT 11999508 SOS 2824982 HAS SOPS 2824982 HAS SOUS 1531766 HAS SOUPS 1531766 WITH SCORE 1534590.982
AT ITER 4885 NEW BEST:: SOT 11999508 SOS 2824979 HAS SOPS 2824979 HAS SOUS 1531678 HAS SOUPS 1531678 WITH SCORE 1534502.979
AT ITER 4886 NEW BEST:: SOT 11998819 SOS 2824428 HAS SOPS 2824428 HAS SOUS 1530863 HAS SOUPS 1530863 WITH SCORE 1533687.428
AT ITER 4930 NEW BEST:: SOT 11998427 SOS 2823506 HAS SOPS 2823506 HAS SOUS 1530810 HAS SOUPS 1530810 WITH SCORE 1533633.506
AT ITER 4992 NEW BEST:: SOT 11998367 SOS 2823665 HAS SOPS 2823665 HAS SOUS 1530764 HAS SOUPS 1530764 WITH SCORE 1533587.665
AT ITER 4997 NEW BEST:: SOT 11998366 SOS 2823663 HAS SOPS 2823663 HAS SOUS 1530762 HAS SOUPS 1530762 WITH SCORE 1533585.663
AT ITER 5005 NEW BEST:: SOT 11998283 SOS 2824511 HAS SOPS 2824511 HAS SOUS 1530721 HAS SOUPS 1530721 WITH SCORE 1533545.511
AT ITER 5018 NEW BEST:: SOT 11998230 SOS 2824460 HAS SOPS 2824460 HAS SOUS 1530615 HAS SOUPS 1530615 WITH SCORE 1533439.46
AT ITER 5020 NEW BEST:: SOT 11997820 SOS 2823853 HAS SOPS 2823853 HAS SOUS 1530008 HAS SOUPS 1530008 WITH SCORE 1532831.853
AT ITER 5039 NEW BEST:: SOT 11997635 SOS 2823483 HAS SOPS 2823483 HAS SOUS 1529638 HAS SOUPS 1529638 WITH SCORE 1532461.483
AT ITER 5047 NEW BEST:: SOT 11997635 SOS 2824505 HAS SOPS 2824505 HAS SOUS 1529295 HAS SOUPS 1529295 WITH SCORE 1532119.505
AT ITER 5075 NEW BEST:: SOT 11997581 SOS 2824397 HAS SOPS 2824397 HAS SOUS 1529239 HAS SOUPS 1529239 WITH SCORE 1532063.397
AT ITER 5081 NEW BEST:: SOT 11997486 SOS 2823855 HAS SOPS 2823855 HAS SOUS 1529043 HAS SOUPS 1529043 WITH SCORE 1531866.855
AT ITER 5111 NEW BEST:: SOT 11997423 SOS 2823051 HAS SOPS 2823051 HAS SOUS 1528870 HAS SOUPS 1528870 WITH SCORE 1531693.051
AT ITER 5116 NEW BEST:: SOT 11997370 SOS 2822945 HAS SOPS 2822945 HAS SOUS 1528566 HAS SOUPS 1528566 WITH SCORE 1531388.945
AT ITER 5158 NEW BEST:: SOT 11997430 SOS 2820923 HAS SOPS 2820923 HAS SOUS 1527925 HAS SOUPS 1527925 WITH SCORE 1530745.923
AT ITER 5169 NEW BEST:: SOT 11997385 SOS 2820833 HAS SOPS 2820833 HAS SOUS 1527835 HAS SOUPS 1527835 WITH SCORE 1530655.833
AT ITER 5187 NEW BEST:: SOT 11997649 SOS 2826967 HAS SOPS 2826967 HAS SOUS 1527738 HAS SOUPS 1527738 WITH SCORE 1530564.967
AT ITER 5205 NEW BEST:: SOT 11997625 SOS 2826991 HAS SOPS 2826991 HAS SOUS 1527714 HAS SOUPS 1527714 WITH SCORE 1530540.991
AT ITER 5240 NEW BEST:: SOT 11997937 SOS 2828503 HAS SOPS 2828503 HAS SOUS 1527450 HAS SOUPS 1527450 WITH SCORE 1530278.503
AT ITER 5323 NEW BEST:: SOT 11997969 SOS 2828567 HAS SOPS 2828567 HAS SOUS 1527156 HAS SOUPS 1527156 WITH SCORE 1529984.567
AT ITER 5357 NEW BEST:: SOT 11997796 SOS 2828554 HAS SOPS 2828554 HAS SOUS 1527149 HAS SOUPS 1527149 WITH SCORE 1529977.554
AT ITER 5390 NEW BEST:: SOT 11997236 SOS 2827924 HAS SOPS 2827924 HAS SOUS 1526582 HAS SOUPS 1526582 WITH SCORE 1529409.924
AT ITER 5397 NEW BEST:: SOT 11996270 SOS 2826948 HAS SOPS 2826948 HAS SOUS 1525615 HAS SOUPS 1525615 WITH SCORE 1528441.948
AT ITER 5430 NEW BEST:: SOT 11996498 SOS 2826532 HAS SOPS 2826532 HAS SOUS 1525420 HAS SOUPS 1525420 WITH SCORE 1528246.532
AT ITER 5438 NEW BEST:: SOT 11996377 SOS 2826290 HAS SOPS 2826290 HAS SOUS 1525178 HAS SOUPS 1525178 WITH SCORE 1528004.29
AT ITER 5476 NEW BEST:: SOT 11996008 SOS 2826072 HAS SOPS 2826072 HAS SOUS 1524960 HAS SOUPS 1524960 WITH SCORE 1527786.072
AT ITER 5493 NEW BEST:: SOT 11995798 SOS 2826283 HAS SOPS 2826283 HAS SOUS 1524749 HAS SOUPS 1524749 WITH SCORE 1527575.283
AT ITER 5513 NEW BEST:: SOT 11995099 SOS 2824885 HAS SOPS 2824885 HAS SOUS 1524050 HAS SOUPS 1524050 WITH SCORE 1526874.885
AT ITER 5594 NEW BEST:: SOT 11995040 SOS 2822634 HAS SOPS 2822634 HAS SOUS 1523754 HAS SOUPS 1523754 WITH SCORE 1526576.634
AT ITER 5602 NEW BEST:: SOT 11995040 SOS 2822864 HAS SOPS 2822864 HAS SOUS 1523752 HAS SOUPS 1523752 WITH SCORE 1526574.864
AT ITER 5622 NEW BEST:: SOT 11995027 SOS 2822838 HAS SOPS 2822838 HAS SOUS 1523739 HAS SOUPS 1523739 WITH SCORE 1526561.838
AT ITER 5625 NEW BEST:: SOT 11994890 SOS 2822838 HAS SOPS 2822838 HAS SOUS 1523465 HAS SOUPS 1523465 WITH SCORE 1526287.838
AT ITER 5680 NEW BEST:: SOT 11994747 SOS 2822647 HAS SOPS 2822647 HAS SOUS 1523227 HAS SOUPS 1523227 WITH SCORE 1526049.647
AT ITER 5685 NEW BEST:: SOT 11994356 SOS 2819125 HAS SOPS 2819125 HAS SOUS 1522444 HAS SOUPS 1522444 WITH SCORE 1525263.125
AT ITER 5704 NEW BEST:: SOT 11994177 SOS 2818587 HAS SOPS 2818587 HAS SOUS 1521906 HAS SOUPS 1521906 WITH SCORE 1524724.587
AT ITER 5736 NEW BEST:: SOT 11992611 SOS 2816913 HAS SOPS 2816913 HAS SOUS 1520232 HAS SOUPS 1520232 WITH SCORE 1523048.913
AT ITER 5747 NEW BEST:: SOT 11991937 SOS 2816322 HAS SOPS 2816322 HAS SOUS 1519641 HAS SOUPS 1519641 WITH SCORE 1522457.322
AT ITER 5754 NEW BEST:: SOT 11991707 SOS 2816103 HAS SOPS 2816103 HAS SOUS 1519180 HAS SOUPS 1519180 WITH SCORE 1521996.103
AT ITER 5755 NEW BEST:: SOT 11991707 SOS 2816095 HAS SOPS 2816095 HAS SOUS 1519172 HAS SOUPS 1519172 WITH SCORE 1521988.095
AT ITER 5788 NEW BEST:: SOT 11991528 SOS 2816003 HAS SOPS 2816003 HAS SOUS 1518993 HAS SOUPS 1518993 WITH SCORE 1521809.003
AT ITER 5790 NEW BEST:: SOT 11991983 SOS 2815530 HAS SOPS 2815530 HAS SOUS 1518987 HAS SOUPS 1518987 WITH SCORE 1521802.53
AT ITER 5814 NEW BEST:: SOT 11991717 SOS 2814998 HAS SOPS 2814998 HAS SOUS 1518720 HAS SOUPS 1518720 WITH SCORE 1521534.998
AT ITER 5822 NEW BEST:: SOT 11991288 SOS 2814751 HAS SOPS 2814751 HAS SOUS 1518473 HAS SOUPS 1518473 WITH SCORE 1521287.751
AT ITER 5848 NEW BEST:: SOT 11991359 SOS 2814648 HAS SOPS 2814648 HAS SOUS 1518457 HAS SOUPS 1518457 WITH SCORE 1521271.648
AT ITER 5885 NEW BEST:: SOT 11991213 SOS 2814356 HAS SOPS 2814356 HAS SOUS 1518382 HAS SOUPS 1518382 WITH SCORE 1521196.356
AT ITER 5886 NEW BEST:: SOT 11991172 SOS 2814274 HAS SOPS 2814274 HAS SOUS 1518341 HAS SOUPS 1518341 WITH SCORE 1521155.274
AT ITER 5915 NEW BEST:: SOT 11989947 SOS 2816499 HAS SOPS 2816499 HAS SOUS 1517461 HAS SOUPS 1517461 WITH SCORE 1520277.499
AT ITER 5923 NEW BEST:: SOT 11989476 SOS 2816815 HAS SOPS 2816815 HAS SOUS 1516990 HAS SOUPS 1516990 WITH SCORE 1519806.815
AT ITER 5924 NEW BEST:: SOT 11989463 SOS 2816776 HAS SOPS 2816776 HAS SOUS 1516964 HAS SOUPS 1516964 WITH SCORE 1519780.776
AT ITER 5934 NEW BEST:: SOT 11988015 SOS 2816625 HAS SOPS 2816625 HAS SOUS 1516482 HAS SOUPS 1516482 WITH SCORE 1519298.625
AT ITER 5941 NEW BEST:: SOT 11987933 SOS 2816482 HAS SOPS 2816482 HAS SOUS 1516339 HAS SOUPS 1516339 WITH SCORE 1519155.482
AT ITER 5943 NEW BEST:: SOT 11987499 SOS 2816319 HAS SOPS 2816319 HAS SOUS 1516176 HAS SOUPS 1516176 WITH SCORE 1518992.319
AT ITER 5959 NEW BEST:: SOT 11987483 SOS 2816287 HAS SOPS 2816287 HAS SOUS 1516160 HAS SOUPS 1516160 WITH SCORE 1518976.287
AT ITER 5977 NEW BEST:: SOT 11987468 SOS 2814801 HAS SOPS 2814801 HAS SOUS 1516129 HAS SOUPS 1516129 WITH SCORE 1518943.801
AT ITER 5993 NEW BEST:: SOT 11987094 SOS 2813305 HAS SOPS 2813305 HAS SOUS 1515755 HAS SOUPS 1515755 WITH SCORE 1518568.305
AT ITER 6004 NEW BEST:: SOT 11987094 SOS 2813141 HAS SOPS 2813141 HAS SOUS 1515590 HAS SOUPS 1515590 WITH SCORE 1518403.141
AT ITER 6017 NEW BEST:: SOT 11986981 SOS 2811043 HAS SOPS 2811043 HAS SOUS 1515364 HAS SOUPS 1515364 WITH SCORE 1518175.043
AT ITER 6055 NEW BEST:: SOT 11986579 SOS 2811020 HAS SOPS 2811020 HAS SOUS 1515254 HAS SOUPS 1515254 WITH SCORE 1518065.02
AT ITER 6057 NEW BEST:: SOT 11985898 SOS 2811471 HAS SOPS 2811471 HAS SOUS 1513891 HAS SOUPS 1513891 WITH SCORE 1516702.471
AT ITER 6065 NEW BEST:: SOT 11985585 SOS 2811002 HAS SOPS 2811002 HAS SOUS 1513578 HAS SOUPS 1513578 WITH SCORE 1516389.002
AT ITER 6066 NEW BEST:: SOT 11985654 SOS 2810555 HAS SOPS 2810555 HAS SOUS 1513131 HAS SOUPS 1513131 WITH SCORE 1515941.555
AT ITER 6083 NEW BEST:: SOT 11985483 SOS 2810213 HAS SOPS 2810213 HAS SOUS 1512789 HAS SOUPS 1512789 WITH SCORE 1515599.213
AT ITER 6086 NEW BEST:: SOT 11985374 SOS 2810104 HAS SOPS 2810104 HAS SOUS 1512680 HAS SOUPS 1512680 WITH SCORE 1515490.104
AT ITER 6093 NEW BEST:: SOT 11985180 SOS 2809910 HAS SOPS 2809910 HAS SOUS 1512486 HAS SOUPS 1512486 WITH SCORE 1515295.91
AT ITER 6098 NEW BEST:: SOT 11985163 SOS 2809876 HAS SOPS 2809876 HAS SOUS 1512452 HAS SOUPS 1512452 WITH SCORE 1515261.876
AT ITER 6100 NEW BEST:: SOT 11984494 SOS 2804299 HAS SOPS 2804299 HAS SOUS 1511514 HAS SOUPS 1511514 WITH SCORE 1514318.299
AT ITER 6112 NEW BEST:: SOT 11984494 SOS 2804083 HAS SOPS 2804083 HAS SOUS 1511514 HAS SOUPS 1511514 WITH SCORE 1514318.083
AT ITER 6117 NEW BEST:: SOT 11984400 SOS 2803894 HAS SOPS 2803894 HAS SOUS 1511325 HAS SOUPS 1511325 WITH SCORE 1514128.894
AT ITER 6124 NEW BEST:: SOT 11983739 SOS 2803811 HAS SOPS 2803811 HAS SOUS 1511242 HAS SOUPS 1511242 WITH SCORE 1514045.811
AT ITER 6126 NEW BEST:: SOT 11983739 SOS 2803421 HAS SOPS 2803421 HAS SOUS 1511112 HAS SOUPS 1511112 WITH SCORE 1513915.421
AT ITER 6138 NEW BEST:: SOT 11983109 SOS 2796491 HAS SOPS 2796491 HAS SOUS 1509852 HAS SOUPS 1509852 WITH SCORE 1512648.491
AT ITER 6151 NEW BEST:: SOT 11983082 SOS 2796410 HAS SOPS 2796410 HAS SOUS 1509825 HAS SOUPS 1509825 WITH SCORE 1512621.41
AT ITER 6161 NEW BEST:: SOT 11983065 SOS 2796393 HAS SOPS 2796393 HAS SOUS 1509791 HAS SOUPS 1509791 WITH SCORE 1512587.393
AT ITER 6183 NEW BEST:: SOT 11982602 SOS 2796215 HAS SOPS 2796215 HAS SOUS 1509613 HAS SOUPS 1509613 WITH SCORE 1512409.215
AT ITER 6185 NEW BEST:: SOT 11982441 SOS 2796034 HAS SOPS 2796034 HAS SOUS 1509432 HAS SOUPS 1509432 WITH SCORE 1512228.034
AT ITER 6194 NEW BEST:: SOT 11982367 SOS 2795960 HAS SOPS 2795960 HAS SOUS 1509358 HAS SOUPS 1509358 WITH SCORE 1512153.96
AT ITER 6215 NEW BEST:: SOT 11981458 SOS 2794142 HAS SOPS 2794142 HAS SOUS 1507353 HAS SOUPS 1507353 WITH SCORE 1510147.142
AT ITER 6226 NEW BEST:: SOT 11981266 SOS 2794015 HAS SOPS 2794015 HAS SOUS 1506969 HAS SOUPS 1506969 WITH SCORE 1509763.015
AT ITER 6277 NEW BEST:: SOT 11981266 SOS 2793187 HAS SOPS 2793187 HAS SOUS 1506693 HAS SOUPS 1506693 WITH SCORE 1509486.187
AT ITER 6279 NEW BEST:: SOT 11981266 SOS 2791903 HAS SOPS 2791903 HAS SOUS 1506692 HAS SOUPS 1506692 WITH SCORE 1509483.903
AT ITER 6301 NEW BEST:: SOT 11981207 SOS 2791785 HAS SOPS 2791785 HAS SOUS 1506574 HAS SOUPS 1506574 WITH SCORE 1509365.785
AT ITER 6303 NEW BEST:: SOT 11981141 SOS 2791782 HAS SOPS 2791782 HAS SOUS 1506441 HAS SOUPS 1506441 WITH SCORE 1509232.782
AT ITER 6323 NEW BEST:: SOT 11980931 SOS 2791570 HAS SOPS 2791570 HAS SOUS 1506229 HAS SOUPS 1506229 WITH SCORE 1509020.57
AT ITER 6338 NEW BEST:: SOT 11979197 SOS 2793643 HAS SOPS 2793643 HAS SOUS 1505473 HAS SOUPS 1505473 WITH SCORE 1508266.643
AT ITER 6339 NEW BEST:: SOT 11978858 SOS 2797285 HAS SOPS 2797285 HAS SOUS 1505275 HAS SOUPS 1505275 WITH SCORE 1508072.285
AT ITER 6369 NEW BEST:: SOT 11978728 SOS 2797127 HAS SOPS 2797127 HAS SOUS 1505145 HAS SOUPS 1505145 WITH SCORE 1507942.127
AT ITER 6372 NEW BEST:: SOT 11978418 SOS 2796406 HAS SOPS 2796406 HAS SOUS 1504698 HAS SOUPS 1504698 WITH SCORE 1507494.406
AT ITER 6386 NEW BEST:: SOT 11978153 SOS 2795876 HAS SOPS 2795876 HAS SOUS 1503543 HAS SOUPS 1503543 WITH SCORE 1506338.876
AT ITER 6393 NEW BEST:: SOT 11978106 SOS 2795782 HAS SOPS 2795782 HAS SOUS 1503449 HAS SOUPS 1503449 WITH SCORE 1506244.782
AT ITER 6411 NEW BEST:: SOT 11978106 SOS 2794846 HAS SOPS 2794846 HAS SOUS 1503137 HAS SOUPS 1503137 WITH SCORE 1505931.846
AT ITER 6429 NEW BEST:: SOT 11978037 SOS 2794777 HAS SOPS 2794777 HAS SOUS 1503068 HAS SOUPS 1503068 WITH SCORE 1505862.777
AT ITER 6465 NEW BEST:: SOT 11978017 SOS 2794793 HAS SOPS 2794793 HAS SOUS 1503027 HAS SOUPS 1503027 WITH SCORE 1505821.793
AT ITER 6477 NEW BEST:: SOT 11977492 SOS 2793743 HAS SOPS 2793743 HAS SOUS 1501977 HAS SOUPS 1501977 WITH SCORE 1504770.743
AT ITER 6480 NEW BEST:: SOT 11977777 SOS 2793732 HAS SOPS 2793732 HAS SOUS 1501966 HAS SOUPS 1501966 WITH SCORE 1504759.732
AT ITER 6487 NEW BEST:: SOT 11977711 SOS 2796372 HAS SOPS 2796372 HAS SOUS 1501834 HAS SOUPS 1501834 WITH SCORE 1504630.372
AT ITER 6497 NEW BEST:: SOT 11976798 SOS 2795546 HAS SOPS 2795546 HAS SOUS 1500965 HAS SOUPS 1500965 WITH SCORE 1503760.546
AT ITER 6514 NEW BEST:: SOT 11976445 SOS 2795712 HAS SOPS 2795712 HAS SOUS 1500935 HAS SOUPS 1500935 WITH SCORE 1503730.712
AT ITER 6531 NEW BEST:: SOT 11975216 SOS 2793881 HAS SOPS 2793881 HAS SOUS 1499516 HAS SOUPS 1499516 WITH SCORE 1502309.881
AT ITER 6579 NEW BEST:: SOT 11975765 SOS 2794979 HAS SOPS 2794979 HAS SOUS 1499302 HAS SOUPS 1499302 WITH SCORE 1502096.979
AT ITER 6605 NEW BEST:: SOT 11975765 SOS 2794930 HAS SOPS 2794930 HAS SOUS 1499253 HAS SOUPS 1499253 WITH SCORE 1502047.93
AT ITER 6631 NEW BEST:: SOT 11975765 SOS 2794703 HAS SOPS 2794703 HAS SOUS 1499253 HAS SOUPS 1499253 WITH SCORE 1502047.703
AT ITER 6665 NEW BEST:: SOT 11975765 SOS 2794647 HAS SOPS 2794647 HAS SOUS 1499253 HAS SOUPS 1499253 WITH SCORE 1502047.647
AT ITER 6669 NEW BEST:: SOT 11975675 SOS 2794467 HAS SOPS 2794467 HAS SOUS 1499073 HAS SOUPS 1499073 WITH SCORE 1501867.467
AT ITER 6693 NEW BEST:: SOT 11975843 SOS 2793021 HAS SOPS 2793021 HAS SOUS 1498873 HAS SOUPS 1498873 WITH SCORE 1501666.021
AT ITER 6749 NEW BEST:: SOT 11975843 SOS 2792783 HAS SOPS 2792783 HAS SOUS 1498635 HAS SOUPS 1498635 WITH SCORE 1501427.783
AT ITER 6766 NEW BEST:: SOT 11975843 SOS 2792783 HAS SOPS 2792783 HAS SOUS 1498593 HAS SOUPS 1498593 WITH SCORE 1501385.783
AT ITER 6778 NEW BEST:: SOT 11975825 SOS 2792747 HAS SOPS 2792747 HAS SOUS 1498557 HAS SOUPS 1498557 WITH SCORE 1501349.747
AT ITER 6827 NEW BEST:: SOT 11975010 SOS 2792049 HAS SOPS 2792049 HAS SOUS 1497771 HAS SOUPS 1497771 WITH SCORE 1500563.049
AT ITER 6840 NEW BEST:: SOT 11974383 SOS 2790795 HAS SOPS 2790795 HAS SOUS 1496517 HAS SOUPS 1496517 WITH SCORE 1499307.795
AT ITER 6867 NEW BEST:: SOT 11974161 SOS 2791017 HAS SOPS 2791017 HAS SOUS 1496073 HAS SOUPS 1496073 WITH SCORE 1498864.017
AT ITER 6908 NEW BEST:: SOT 11974161 SOS 2790643 HAS SOPS 2790643 HAS SOUS 1496073 HAS SOUPS 1496073 WITH SCORE 1498863.643
AT ITER 6974 NEW BEST:: SOT 11974160 SOS 2790490 HAS SOPS 2790490 HAS SOUS 1495920 HAS SOUPS 1495920 WITH SCORE 1498710.49
AT ITER 6979 NEW BEST:: SOT 11974058 SOS 2790286 HAS SOPS 2790286 HAS SOUS 1495818 HAS SOUPS 1495818 WITH SCORE 1498608.286
AT ITER 7021 NEW BEST:: SOT 11973696 SOS 2789563 HAS SOPS 2789563 HAS SOUS 1495238 HAS SOUPS 1495238 WITH SCORE 1498027.563
AT ITER 7041 NEW BEST:: SOT 11973249 SOS 2790010 HAS SOPS 2790010 HAS SOUS 1495194 HAS SOUPS 1495194 WITH SCORE 1497984.01
AT ITER 7042 NEW BEST:: SOT 11972964 SOS 2789440 HAS SOPS 2789440 HAS SOUS 1494624 HAS SOUPS 1494624 WITH SCORE 1497413.44
AT ITER 7057 NEW BEST:: SOT 11972896 SOS 2789304 HAS SOPS 2789304 HAS SOUS 1494488 HAS SOUPS 1494488 WITH SCORE 1497277.304
AT ITER 7080 NEW BEST:: SOT 11972896 SOS 2788287 HAS SOPS 2788287 HAS SOUS 1494149 HAS SOUPS 1494149 WITH SCORE 1496937.287
AT ITER 7089 NEW BEST:: SOT 11972788 SOS 2788071 HAS SOPS 2788071 HAS SOUS 1493933 HAS SOUPS 1493933 WITH SCORE 1496721.071
AT ITER 7135 NEW BEST:: SOT 11972281 SOS 2788008 HAS SOPS 2788008 HAS SOUS 1493870 HAS SOUPS 1493870 WITH SCORE 1496658.008
AT ITER 7146 NEW BEST:: SOT 11971646 SOS 2787373 HAS SOPS 2787373 HAS SOUS 1493235 HAS SOUPS 1493235 WITH SCORE 1496022.373
AT ITER 7151 NEW BEST:: SOT 11971406 SOS 2787066 HAS SOPS 2787066 HAS SOUS 1492833 HAS SOUPS 1492833 WITH SCORE 1495620.066
AT ITER 7154 NEW BEST:: SOT 11971345 SOS 2786944 HAS SOPS 2786944 HAS SOUS 1492711 HAS SOUPS 1492711 WITH SCORE 1495497.944
AT ITER 7158 NEW BEST:: SOT 11970755 SOS 2786354 HAS SOPS 2786354 HAS SOUS 1492121 HAS SOUPS 1492121 WITH SCORE 1494907.354
AT ITER 7180 NEW BEST:: SOT 11970755 SOS 2786239 HAS SOPS 2786239 HAS SOUS 1492121 HAS SOUPS 1492121 WITH SCORE 1494907.239
AT ITER 7206 NEW BEST:: SOT 11970755 SOS 2785702 HAS SOPS 2785702 HAS SOUS 1491942 HAS SOUPS 1491942 WITH SCORE 1494727.702
AT ITER 7218 NEW BEST:: SOT 11970032 SOS 2785059 HAS SOPS 2785059 HAS SOUS 1491299 HAS SOUPS 1491299 WITH SCORE 1494084.059
AT ITER 7264 NEW BEST:: SOT 11969832 SOS 2783859 HAS SOPS 2783859 HAS SOUS 1490699 HAS SOUPS 1490699 WITH SCORE 1493482.859
AT ITER 7279 NEW BEST:: SOT 11968066 SOS 2782093 HAS SOPS 2782093 HAS SOUS 1488933 HAS SOUPS 1488933 WITH SCORE 1491715.093
AT ITER 7288 NEW BEST:: SOT 11968504 SOS 2782969 HAS SOPS 2782969 HAS SOUS 1488492 HAS SOUPS 1488492 WITH SCORE 1491274.969
AT ITER 7294 NEW BEST:: SOT 11968588 SOS 2782095 HAS SOPS 2782095 HAS SOUS 1488127 HAS SOUPS 1488127 WITH SCORE 1490909.095
AT ITER 7318 NEW BEST:: SOT 11968467 SOS 2781974 HAS SOPS 2781974 HAS SOUS 1488006 HAS SOUPS 1488006 WITH SCORE 1490787.974
AT ITER 7320 NEW BEST:: SOT 11968418 SOS 2782980 HAS SOPS 2782980 HAS SOUS 1487908 HAS SOUPS 1487908 WITH SCORE 1490690.98
AT ITER 7321 NEW BEST:: SOT 11968418 SOS 2782694 HAS SOPS 2782694 HAS SOUS 1487790 HAS SOUPS 1487790 WITH SCORE 1490572.694
AT ITER 7336 NEW BEST:: SOT 11968418 SOS 2782223 HAS SOPS 2782223 HAS SOUS 1487697 HAS SOUPS 1487697 WITH SCORE 1490479.223
AT ITER 7358 NEW BEST:: SOT 11968389 SOS 2782165 HAS SOPS 2782165 HAS SOUS 1487639 HAS SOUPS 1487639 WITH SCORE 1490421.165
AT ITER 7396 NEW BEST:: SOT 11968389 SOS 2783064 HAS SOPS 2783064 HAS SOUS 1487638 HAS SOUPS 1487638 WITH SCORE 1490421.064
AT ITER 7401 NEW BEST:: SOT 11968230 SOS 2782428 HAS SOPS 2782428 HAS SOUS 1487479 HAS SOUPS 1487479 WITH SCORE 1490261.428
AT ITER 7402 NEW BEST:: SOT 11968253 SOS 2782474 HAS SOPS 2782474 HAS SOUS 1487414 HAS SOUPS 1487414 WITH SCORE 1490196.474
AT ITER 7406 NEW BEST:: SOT 11968253 SOS 2782236 HAS SOPS 2782236 HAS SOUS 1487176 HAS SOUPS 1487176 WITH SCORE 1489958.236
AT ITER 7408 NEW BEST:: SOT 11968253 SOS 2782202 HAS SOPS 2782202 HAS SOUS 1487176 HAS SOUPS 1487176 WITH SCORE 1489958.202
AT ITER 7424 NEW BEST:: SOT 11967925 SOS 2781710 HAS SOPS 2781710 HAS SOUS 1486684 HAS SOUPS 1486684 WITH SCORE 1489465.71
AT ITER 7465 NEW BEST:: SOT 11967848 SOS 2782096 HAS SOPS 2782096 HAS SOUS 1486606 HAS SOUPS 1486606 WITH SCORE 1489388.096
AT ITER 7501 NEW BEST:: SOT 11967164 SOS 2781509 HAS SOPS 2781509 HAS SOUS 1485922 HAS SOUPS 1485922 WITH SCORE 1488703.509
AT ITER 7515 NEW BEST:: SOT 11967241 SOS 2780733 HAS SOPS 2780733 HAS SOUS 1485854 HAS SOUPS 1485854 WITH SCORE 1488634.733
AT ITER 7526 NEW BEST:: SOT 11967086 SOS 2780430 HAS SOPS 2780430 HAS SOUS 1485551 HAS SOUPS 1485551 WITH SCORE 1488331.43
AT ITER 7565 NEW BEST:: SOT 11967086 SOS 2780248 HAS SOPS 2780248 HAS SOUS 1485551 HAS SOUPS 1485551 WITH SCORE 1488331.248
AT ITER 7569 NEW BEST:: SOT 11967086 SOS 2780064 HAS SOPS 2780064 HAS SOUS 1485367 HAS SOUPS 1485367 WITH SCORE 1488147.064
AT ITER 7588 NEW BEST:: SOT 11966683 SOS 2779258 HAS SOPS 2779258 HAS SOUS 1484848 HAS SOUPS 1484848 WITH SCORE 1487627.258
AT ITER 7609 NEW BEST:: SOT 11966375 SOS 2778642 HAS SOPS 2778642 HAS SOUS 1484135 HAS SOUPS 1484135 WITH SCORE 1486913.642
AT ITER 7631 NEW BEST:: SOT 11966460 SOS 2777849 HAS SOPS 2777849 HAS SOUS 1484073 HAS SOUPS 1484073 WITH SCORE 1486850.849
AT ITER 7638 NEW BEST:: SOT 11966455 SOS 2777839 HAS SOPS 2777839 HAS SOUS 1484063 HAS SOUPS 1484063 WITH SCORE 1486840.839
AT ITER 7671 NEW BEST:: SOT 11966403 SOS 2777735 HAS SOPS 2777735 HAS SOUS 1483842 HAS SOUPS 1483842 WITH SCORE 1486619.735
AT ITER 7675 NEW BEST:: SOT 11965893 SOS 2777225 HAS SOPS 2777225 HAS SOUS 1483332 HAS SOUPS 1483332 WITH SCORE 1486109.225
AT ITER 7704 NEW BEST:: SOT 11965893 SOS 2776865 HAS SOPS 2776865 HAS SOUS 1483332 HAS SOUPS 1483332 WITH SCORE 1486108.865
AT ITER 7705 NEW BEST:: SOT 11964529 SOS 2776353 HAS SOPS 2776353 HAS SOUS 1482825 HAS SOUPS 1482825 WITH SCORE 1485601.353
AT ITER 7717 NEW BEST:: SOT 11964411 SOS 2776117 HAS SOPS 2776117 HAS SOUS 1482676 HAS SOUPS 1482676 WITH SCORE 1485452.117
AT ITER 7730 NEW BEST:: SOT 11962539 SOS 2767706 HAS SOPS 2767706 HAS SOUS 1480912 HAS SOUPS 1480912 WITH SCORE 1483679.706
AT ITER 7745 NEW BEST:: SOT 11962781 SOS 2768190 HAS SOPS 2768190 HAS SOUS 1480734 HAS SOUPS 1480734 WITH SCORE 1483502.19
AT ITER 7747 NEW BEST:: SOT 11962479 SOS 2767586 HAS SOPS 2767586 HAS SOUS 1480335 HAS SOUPS 1480335 WITH SCORE 1483102.586
AT ITER 7780 NEW BEST:: SOT 11962437 SOS 2767586 HAS SOPS 2767586 HAS SOUS 1480328 HAS SOUPS 1480328 WITH SCORE 1483095.586
AT ITER 7797 NEW BEST:: SOT 11962073 SOS 2767329 HAS SOPS 2767329 HAS SOUS 1479964 HAS SOUPS 1479964 WITH SCORE 1482731.329
AT ITER 7807 NEW BEST:: SOT 11961972 SOS 2763127 HAS SOPS 2763127 HAS SOUS 1479921 HAS SOUPS 1479921 WITH SCORE 1482684.127
AT ITER 7816 NEW BEST:: SOT 11961873 SOS 2762862 HAS SOPS 2762862 HAS SOUS 1479656 HAS SOUPS 1479656 WITH SCORE 1482418.862
AT ITER 7818 NEW BEST:: SOT 11961873 SOS 2762832 HAS SOPS 2762832 HAS SOUS 1479653 HAS SOUPS 1479653 WITH SCORE 1482415.832
AT ITER 7829 NEW BEST:: SOT 11961923 SOS 2762930 HAS SOPS 2762930 HAS SOUS 1479287 HAS SOUPS 1479287 WITH SCORE 1482049.93
AT ITER 7836 NEW BEST:: SOT 11961714 SOS 2761258 HAS SOPS 2761258 HAS SOUS 1478940 HAS SOUPS 1478940 WITH SCORE 1481701.258
AT ITER 7845 NEW BEST:: SOT 11961672 SOS 2761174 HAS SOPS 2761174 HAS SOUS 1478856 HAS SOUPS 1478856 WITH SCORE 1481617.174
AT ITER 7846 NEW BEST:: SOT 11961672 SOS 2762973 HAS SOPS 2762973 HAS SOUS 1478854 HAS SOUPS 1478854 WITH SCORE 1481616.973
AT ITER 7851 NEW BEST:: SOT 11961517 SOS 2762818 HAS SOPS 2762818 HAS SOUS 1478854 HAS SOUPS 1478854 WITH SCORE 1481616.818
AT ITER 7862 NEW BEST:: SOT 11961267 SOS 2761674 HAS SOPS 2761674 HAS SOUS 1478282 HAS SOUPS 1478282 WITH SCORE 1481043.674
AT ITER 7866 NEW BEST:: SOT 11961267 SOS 2761602 HAS SOPS 2761602 HAS SOUS 1478184 HAS SOUPS 1478184 WITH SCORE 1480945.602
AT ITER 7895 NEW BEST:: SOT 11961267 SOS 2759705 HAS SOPS 2759705 HAS SOUS 1478184 HAS SOUPS 1478184 WITH SCORE 1480943.705
AT ITER 7899 NEW BEST:: SOT 11961248 SOS 2759648 HAS SOPS 2759648 HAS SOUS 1478146 HAS SOUPS 1478146 WITH SCORE 1480905.648
AT ITER 7909 NEW BEST:: SOT 11960240 SOS 2758556 HAS SOPS 2758556 HAS SOUS 1477402 HAS SOUPS 1477402 WITH SCORE 1480160.556
AT ITER 7965 NEW BEST:: SOT 11960232 SOS 2758540 HAS SOPS 2758540 HAS SOUS 1477386 HAS SOUPS 1477386 WITH SCORE 1480144.54
AT ITER 7982 NEW BEST:: SOT 11960205 SOS 2758486 HAS SOPS 2758486 HAS SOUS 1477359 HAS SOUPS 1477359 WITH SCORE 1480117.486
AT ITER 7997 NEW BEST:: SOT 11960204 SOS 2758484 HAS SOPS 2758484 HAS SOUS 1477357 HAS SOUPS 1477357 WITH SCORE 1480115.484
AT ITER 8030 NEW BEST:: SOT 11960204 SOS 2758412 HAS SOPS 2758412 HAS SOUS 1477357 HAS SOUPS 1477357 WITH SCORE 1480115.412
AT ITER 8050 NEW BEST:: SOT 11959828 SOS 2758036 HAS SOPS 2758036 HAS SOUS 1476981 HAS SOUPS 1476981 WITH SCORE 1479739.036
AT ITER 8069 NEW BEST:: SOT 11959828 SOS 2758002 HAS SOPS 2758002 HAS SOUS 1476981 HAS SOUPS 1476981 WITH SCORE 1479739.002
AT ITER 8079 NEW BEST:: SOT 11959642 SOS 2757630 HAS SOPS 2757630 HAS SOUS 1476351 HAS SOUPS 1476351 WITH SCORE 1479108.63
AT ITER 8091 NEW BEST:: SOT 11959630 SOS 2757618 HAS SOPS 2757618 HAS SOUS 1476339 HAS SOUPS 1476339 WITH SCORE 1479096.618
AT ITER 8140 NEW BEST:: SOT 11959625 SOS 2757617 HAS SOPS 2757617 HAS SOUS 1476338 HAS SOUPS 1476338 WITH SCORE 1479095.617
AT ITER 8166 NEW BEST:: SOT 11959341 SOS 2757049 HAS SOPS 2757049 HAS SOUS 1475770 HAS SOUPS 1475770 WITH SCORE 1478527.049
AT ITER 8167 NEW BEST:: SOT 11959307 SOS 2756981 HAS SOPS 2756981 HAS SOUS 1475622 HAS SOUPS 1475622 WITH SCORE 1478378.981
AT ITER 8224 NEW BEST:: SOT 11959121 SOS 2756822 HAS SOPS 2756822 HAS SOUS 1475463 HAS SOUPS 1475463 WITH SCORE 1478219.822
AT ITER 8234 NEW BEST:: SOT 11959085 SOS 2756642 HAS SOPS 2756642 HAS SOUS 1475355 HAS SOUPS 1475355 WITH SCORE 1478111.642
AT ITER 8239 NEW BEST:: SOT 11958647 SOS 2754452 HAS SOPS 2754452 HAS SOUS 1474783 HAS SOUPS 1474783 WITH SCORE 1477537.452
AT ITER 8256 NEW BEST:: SOT 11958474 SOS 2754106 HAS SOPS 2754106 HAS SOUS 1474437 HAS SOUPS 1474437 WITH SCORE 1477191.106
AT ITER 8261 NEW BEST:: SOT 11958223 SOS 2753130 HAS SOPS 2753130 HAS SOUS 1473942 HAS SOUPS 1473942 WITH SCORE 1476695.13
AT ITER 8269 NEW BEST:: SOT 11958771 SOS 2751799 HAS SOPS 2751799 HAS SOUS 1473857 HAS SOUPS 1473857 WITH SCORE 1476608.799
AT ITER 8270 NEW BEST:: SOT 11958350 SOS 2748075 HAS SOPS 2748075 HAS SOUS 1473309 HAS SOUPS 1473309 WITH SCORE 1476057.075
AT ITER 8272 NEW BEST:: SOT 11958096 SOS 2745027 HAS SOPS 2745027 HAS SOUS 1472166 HAS SOUPS 1472166 WITH SCORE 1474911.027
AT ITER 8275 NEW BEST:: SOT 11958096 SOS 2744999 HAS SOPS 2744999 HAS SOUS 1472152 HAS SOUPS 1472152 WITH SCORE 1474896.999
AT ITER 8315 NEW BEST:: SOT 11958096 SOS 2744234 HAS SOPS 2744234 HAS SOUS 1471897 HAS SOUPS 1471897 WITH SCORE 1474641.234
AT ITER 8321 NEW BEST:: SOT 11957991 SOS 2743405 HAS SOPS 2743405 HAS SOUS 1471897 HAS SOUPS 1471897 WITH SCORE 1474640.405
AT ITER 8338 NEW BEST:: SOT 11957928 SOS 2743279 HAS SOPS 2743279 HAS SOUS 1471771 HAS SOUPS 1471771 WITH SCORE 1474514.279
AT ITER 8447 NEW BEST:: SOT 11957616 SOS 2742655 HAS SOPS 2742655 HAS SOUS 1471461 HAS SOUPS 1471461 WITH SCORE 1474203.655
AT ITER 8460 NEW BEST:: SOT 11957616 SOS 2742655 HAS SOPS 2742655 HAS SOUS 1471174 HAS SOUPS 1471174 WITH SCORE 1473916.655
AT ITER 8478 NEW BEST:: SOT 11957629 SOS 2742374 HAS SOPS 2742374 HAS SOUS 1470857 HAS SOUPS 1470857 WITH SCORE 1473599.374
AT ITER 8502 NEW BEST:: SOT 11957613 SOS 2742370 HAS SOPS 2742370 HAS SOUS 1470848 HAS SOUPS 1470848 WITH SCORE 1473590.37
AT ITER 8512 NEW BEST:: SOT 11957613 SOS 2742363 HAS SOPS 2742363 HAS SOUS 1470848 HAS SOUPS 1470848 WITH SCORE 1473590.363
AT ITER 8528 NEW BEST:: SOT 11957484 SOS 2742335 HAS SOPS 2742335 HAS SOUS 1470719 HAS SOUPS 1470719 WITH SCORE 1473461.335
AT ITER 8600 NEW BEST:: SOT 11957636 SOS 2742278 HAS SOPS 2742278 HAS SOUS 1470662 HAS SOUPS 1470662 WITH SCORE 1473404.278
AT ITER 8630 NEW BEST:: SOT 11957636 SOS 2742277 HAS SOPS 2742277 HAS SOUS 1470661 HAS SOUPS 1470661 WITH SCORE 1473403.277
AT ITER 8685 NEW BEST:: SOT 11957636 SOS 2742274 HAS SOPS 2742274 HAS SOUS 1470660 HAS SOUPS 1470660 WITH SCORE 1473402.274
AT ITER 8693 NEW BEST:: SOT 11957391 SOS 2742029 HAS SOPS 2742029 HAS SOUS 1470415 HAS SOUPS 1470415 WITH SCORE 1473157.029
AT ITER 8704 NEW BEST:: SOT 11957391 SOS 2741246 HAS SOPS 2741246 HAS SOUS 1470415 HAS SOUPS 1470415 WITH SCORE 1473156.246
AT ITER 8706 NEW BEST:: SOT 11957798 SOS 2740839 HAS SOPS 2740839 HAS SOUS 1470415 HAS SOUPS 1470415 WITH SCORE 1473155.839
AT ITER 8721 NEW BEST:: SOT 11957552 SOS 2740568 HAS SOPS 2740568 HAS SOUS 1470144 HAS SOUPS 1470144 WITH SCORE 1472884.568
AT ITER 8746 NEW BEST:: SOT 11957552 SOS 2738648 HAS SOPS 2738648 HAS SOUS 1469952 HAS SOUPS 1469952 WITH SCORE 1472690.648
AT ITER 8754 NEW BEST:: SOT 11957552 SOS 2739586 HAS SOPS 2739586 HAS SOUS 1469951 HAS SOUPS 1469951 WITH SCORE 1472690.586
AT ITER 8761 NEW BEST:: SOT 11957552 SOS 2739586 HAS SOPS 2739586 HAS SOUS 1469816 HAS SOUPS 1469816 WITH SCORE 1472555.586
AT ITER 8765 NEW BEST:: SOT 11957450 SOS 2739535 HAS SOPS 2739535 HAS SOUS 1469765 HAS SOUPS 1469765 WITH SCORE 1472504.535
AT ITER 8782 NEW BEST:: SOT 11957478 SOS 2739333 HAS SOPS 2739333 HAS SOUS 1469735 HAS SOUPS 1469735 WITH SCORE 1472474.333
AT ITER 8797 NEW BEST:: SOT 11957061 SOS 2738744 HAS SOPS 2738744 HAS SOUS 1469146 HAS SOUPS 1469146 WITH SCORE 1471884.744
AT ITER 8801 NEW BEST:: SOT 11956817 SOS 2738256 HAS SOPS 2738256 HAS SOUS 1468661 HAS SOUPS 1468661 WITH SCORE 1471399.256
AT ITER 8803 NEW BEST:: SOT 11956817 SOS 2739188 HAS SOPS 2739188 HAS SOUS 1468660 HAS SOUPS 1468660 WITH SCORE 1471399.188
AT ITER 8811 NEW BEST:: SOT 11956817 SOS 2739083 HAS SOPS 2739083 HAS SOUS 1468660 HAS SOUPS 1468660 WITH SCORE 1471399.083
AT ITER 8812 NEW BEST:: SOT 11956699 SOS 2738965 HAS SOPS 2738965 HAS SOUS 1468542 HAS SOUPS 1468542 WITH SCORE 1471280.965
AT ITER 8880 NEW BEST:: SOT 11956642 SOS 2738851 HAS SOPS 2738851 HAS SOUS 1468428 HAS SOUPS 1468428 WITH SCORE 1471166.851
AT ITER 8929 NEW BEST:: SOT 11956642 SOS 2738163 HAS SOPS 2738163 HAS SOUS 1468256 HAS SOUPS 1468256 WITH SCORE 1470994.163
AT ITER 8939 NEW BEST:: SOT 11956598 SOS 2738988 HAS SOPS 2738988 HAS SOUS 1467832 HAS SOUPS 1467832 WITH SCORE 1470570.988
AT ITER 8943 NEW BEST:: SOT 11956448 SOS 2740028 HAS SOPS 2740028 HAS SOUS 1467531 HAS SOUPS 1467531 WITH SCORE 1470271.028
AT ITER 8970 NEW BEST:: SOT 11955890 SOS 2732945 HAS SOPS 2732945 HAS SOUS 1466310 HAS SOUPS 1466310 WITH SCORE 1469042.945
AT ITER 9049 NEW BEST:: SOT 11955699 SOS 2730844 HAS SOPS 2730844 HAS SOUS 1466118 HAS SOUPS 1466118 WITH SCORE 1468848.844
AT ITER 9072 NEW BEST:: SOT 11955635 SOS 2730716 HAS SOPS 2730716 HAS SOUS 1466054 HAS SOUPS 1466054 WITH SCORE 1468784.716
AT ITER 9084 NEW BEST:: SOT 11955634 SOS 2730715 HAS SOPS 2730715 HAS SOUS 1466053 HAS SOUPS 1466053 WITH SCORE 1468783.715
AT ITER 9085 NEW BEST:: SOT 11955579 SOS 2730605 HAS SOPS 2730605 HAS SOUS 1465943 HAS SOUPS 1465943 WITH SCORE 1468673.605
AT ITER 9101 NEW BEST:: SOT 11955569 SOS 2730595 HAS SOPS 2730595 HAS SOUS 1465932 HAS SOUPS 1465932 WITH SCORE 1468662.595
AT ITER 9117 NEW BEST:: SOT 11955569 SOS 2730288 HAS SOPS 2730288 HAS SOUS 1465932 HAS SOUPS 1465932 WITH SCORE 1468662.288
AT ITER 9145 NEW BEST:: SOT 11955569 SOS 2730288 HAS SOPS 2730288 HAS SOUS 1465435 HAS SOUPS 1465435 WITH SCORE 1468165.288
AT ITER 9157 NEW BEST:: SOT 11955378 SOS 2729906 HAS SOPS 2729906 HAS SOUS 1465032 HAS SOUPS 1465032 WITH SCORE 1467761.906
AT ITER 9171 NEW BEST:: SOT 11955416 SOS 2733573 HAS SOPS 2733573 HAS SOUS 1464928 HAS SOUPS 1464928 WITH SCORE 1467661.573
AT ITER 9211 NEW BEST:: SOT 11955079 SOS 2732899 HAS SOPS 2732899 HAS SOUS 1464717 HAS SOUPS 1464717 WITH SCORE 1467449.899
AT ITER 9213 NEW BEST:: SOT 11953632 SOS 2731531 HAS SOPS 2731531 HAS SOUS 1463760 HAS SOUPS 1463760 WITH SCORE 1466491.531
AT ITER 9227 NEW BEST:: SOT 11953496 SOS 2731463 HAS SOPS 2731463 HAS SOUS 1463692 HAS SOUPS 1463692 WITH SCORE 1466423.463
AT ITER 9316 NEW BEST:: SOT 11952991 SOS 2730902 HAS SOPS 2730902 HAS SOUS 1463308 HAS SOUPS 1463308 WITH SCORE 1466038.902
AT ITER 9322 NEW BEST:: SOT 11952200 SOS 2730111 HAS SOPS 2730111 HAS SOUS 1462517 HAS SOUPS 1462517 WITH SCORE 1465247.111
AT ITER 9332 NEW BEST:: SOT 11951737 SOS 2729648 HAS SOPS 2729648 HAS SOUS 1462054 HAS SOUPS 1462054 WITH SCORE 1464783.648
AT ITER 9370 NEW BEST:: SOT 11951737 SOS 2728534 HAS SOPS 2728534 HAS SOUS 1462053 HAS SOUPS 1462053 WITH SCORE 1464781.534
AT ITER 9400 NEW BEST:: SOT 11951737 SOS 2728534 HAS SOPS 2728534 HAS SOUS 1462049 HAS SOUPS 1462049 WITH SCORE 1464777.534
AT ITER 9444 NEW BEST:: SOT 11951752 SOS 2728322 HAS SOPS 2728322 HAS SOUS 1461949 HAS SOUPS 1461949 WITH SCORE 1464677.322
AT ITER 9453 NEW BEST:: SOT 11951724 SOS 2728294 HAS SOPS 2728294 HAS SOUS 1461921 HAS SOUPS 1461921 WITH SCORE 1464649.294
AT ITER 9467 NEW BEST:: SOT 11950443 SOS 2728917 HAS SOPS 2728917 HAS SOUS 1460463 HAS SOUPS 1460463 WITH SCORE 1463191.917
AT ITER 9494 NEW BEST:: SOT 11950244 SOS 2728715 HAS SOPS 2728715 HAS SOUS 1460462 HAS SOUPS 1460462 WITH SCORE 1463190.715
AT ITER 9505 NEW BEST:: SOT 11950128 SOS 2728599 HAS SOPS 2728599 HAS SOUS 1460346 HAS SOUPS 1460346 WITH SCORE 1463074.599
AT ITER 9516 NEW BEST:: SOT 11950051 SOS 2728522 HAS SOPS 2728522 HAS SOUS 1460269 HAS SOUPS 1460269 WITH SCORE 1462997.522
AT ITER 9540 NEW BEST:: SOT 11950021 SOS 2728462 HAS SOPS 2728462 HAS SOUS 1460209 HAS SOUPS 1460209 WITH SCORE 1462937.462
AT ITER 9541 NEW BEST:: SOT 11950021 SOS 2728462 HAS SOPS 2728462 HAS SOUS 1460208 HAS SOUPS 1460208 WITH SCORE 1462936.462
AT ITER 9549 NEW BEST:: SOT 11950021 SOS 2728452 HAS SOPS 2728452 HAS SOUS 1460088 HAS SOUPS 1460088 WITH SCORE 1462816.452
AT ITER 9561 NEW BEST:: SOT 11949598 SOS 2727606 HAS SOPS 2727606 HAS SOUS 1459454 HAS SOUPS 1459454 WITH SCORE 1462181.606
AT ITER 9587 NEW BEST:: SOT 11949598 SOS 2727510 HAS SOPS 2727510 HAS SOUS 1459358 HAS SOUPS 1459358 WITH SCORE 1462085.51
AT ITER 9588 NEW BEST:: SOT 11949598 SOS 2726950 HAS SOPS 2726950 HAS SOUS 1459078 HAS SOUPS 1459078 WITH SCORE 1461804.95
AT ITER 9599 NEW BEST:: SOT 11949674 SOS 2728113 HAS SOPS 2728113 HAS SOUS 1459054 HAS SOUPS 1459054 WITH SCORE 1461782.113
AT ITER 9609 NEW BEST:: SOT 11949426 SOS 2727617 HAS SOPS 2727617 HAS SOUS 1458558 HAS SOUPS 1458558 WITH SCORE 1461285.617
AT ITER 9662 NEW BEST:: SOT 11949426 SOS 2727617 HAS SOPS 2727617 HAS SOUS 1458463 HAS SOUPS 1458463 WITH SCORE 1461190.617
AT ITER 9686 NEW BEST:: SOT 11949353 SOS 2727471 HAS SOPS 2727471 HAS SOUS 1458317 HAS SOUPS 1458317 WITH SCORE 1461044.471
AT ITER 9710 NEW BEST:: SOT 11949126 SOS 2727471 HAS SOPS 2727471 HAS SOUS 1457863 HAS SOUPS 1457863 WITH SCORE 1460590.471
AT ITER 9714 NEW BEST:: SOT 11948937 SOS 2727764 HAS SOPS 2727764 HAS SOUS 1457824 HAS SOUPS 1457824 WITH SCORE 1460551.764
AT ITER 9754 NEW BEST:: SOT 11948900 SOS 2727690 HAS SOPS 2727690 HAS SOUS 1457787 HAS SOUPS 1457787 WITH SCORE 1460514.69
AT ITER 9758 NEW BEST:: SOT 11948398 SOS 2726920 HAS SOPS 2726920 HAS SOUS 1457710 HAS SOUPS 1457710 WITH SCORE 1460436.92
AT ITER 9762 NEW BEST:: SOT 11948353 SOS 2726830 HAS SOPS 2726830 HAS SOUS 1457665 HAS SOUPS 1457665 WITH SCORE 1460391.83
AT ITER 9766 NEW BEST:: SOT 11948590 SOS 2726568 HAS SOPS 2726568 HAS SOUS 1457534 HAS SOUPS 1457534 WITH SCORE 1460260.568
AT ITER 9769 NEW BEST:: SOT 11948582 SOS 2726695 HAS SOPS 2726695 HAS SOUS 1457526 HAS SOUPS 1457526 WITH SCORE 1460252.695
AT ITER 9863 NEW BEST:: SOT 11947927 SOS 2727407 HAS SOPS 2727407 HAS SOUS 1457520 HAS SOUPS 1457520 WITH SCORE 1460247.407
AT ITER 9891 NEW BEST:: SOT 11947531 SOS 2726615 HAS SOPS 2726615 HAS SOUS 1456728 HAS SOUPS 1456728 WITH SCORE 1459454.615
AT ITER 9903 NEW BEST:: SOT 11947531 SOS 2726693 HAS SOPS 2726693 HAS SOUS 1456727 HAS SOUPS 1456727 WITH SCORE 1459453.693
AT ITER 9936 NEW BEST:: SOT 11947531 SOS 2726926 HAS SOPS 2726926 HAS SOUS 1456726 HAS SOUPS 1456726 WITH SCORE 1459452.926
AT ITER 9939 NEW BEST:: SOT 11947531 SOS 2726926 HAS SOPS 2726926 HAS SOUS 1456479 HAS SOUPS 1456479 WITH SCORE 1459205.926
AT ITER 9941 NEW BEST:: SOT 11947531 SOS 2727162 HAS SOPS 2727162 HAS SOUS 1456454 HAS SOUPS 1456454 WITH SCORE 1459181.162
AT ITER 9949 NEW BEST:: SOT 11946993 SOS 2721244 HAS SOPS 2721244 HAS SOUS 1455378 HAS SOUPS 1455378 WITH SCORE 1458099.244
AT ITER 9970 NEW BEST:: SOT 11946674 SOS 2721052 HAS SOPS 2721052 HAS SOUS 1455151 HAS SOUPS 1455151 WITH SCORE 1457872.052
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14630060 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121160 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-09b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484600728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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