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.r235-tall-167856421900504.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 LeafsetExtension-PT-S32C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 14K Feb 25 16:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 16:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M 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 1678662739922

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=LeafsetExtension-PT-S32C2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 23:12:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 23:12:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 23:12:21] [INFO ] Load time of PNML (sax parser for PT used): 201 ms
[2023-03-12 23:12:21] [INFO ] Transformed 5622 places.
[2023-03-12 23:12:21] [INFO ] Transformed 5449 transitions.
[2023-03-12 23:12:21] [INFO ] Parsed PT model containing 5622 places and 5449 transitions and 17500 arcs in 283 ms.
[2023-03-12 23:12:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5622 places, 5449 transitions and 17500 arcs took 48 ms.
Total runtime 358 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C2
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: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17081734 SOS 3627019 HAS SOPS 3606442 HAS SOUS 3197195 HAS SOUPS 3191954 WITH SCORE 3195581.019
AT ITER 10 NEW BEST:: SOT 17081734 SOS 3626997 HAS SOPS 3606420 HAS SOUS 3197195 HAS SOUPS 3191954 WITH SCORE 3195580.997
AT ITER 23 NEW BEST:: SOT 17081420 SOS 3626683 HAS SOPS 3606106 HAS SOUS 3196881 HAS SOUPS 3191640 WITH SCORE 3195266.683
AT ITER 67 NEW BEST:: SOT 17080830 SOS 3626093 HAS SOPS 3605516 HAS SOUS 3196291 HAS SOUPS 3191050 WITH SCORE 3194676.093
AT ITER 79 NEW BEST:: SOT 17080830 SOS 3626089 HAS SOPS 3605512 HAS SOUS 3196291 HAS SOUPS 3191050 WITH SCORE 3194676.089
AT ITER 108 NEW BEST:: SOT 17080700 SOS 3625962 HAS SOPS 3605385 HAS SOUS 3196161 HAS SOUPS 3190920 WITH SCORE 3194545.962
AT ITER 162 NEW BEST:: SOT 17080700 SOS 3617266 HAS SOPS 3596689 HAS SOUS 3196161 HAS SOUPS 3190920 WITH SCORE 3194537.266
AT ITER 198 NEW BEST:: SOT 17080560 SOS 3617130 HAS SOPS 3596553 HAS SOUS 3196021 HAS SOUPS 3190780 WITH SCORE 3194397.13
AT ITER 215 NEW BEST:: SOT 17080560 SOS 3617039 HAS SOPS 3596462 HAS SOUS 3196021 HAS SOUPS 3190780 WITH SCORE 3194397.039
AT ITER 220 NEW BEST:: SOT 17080351 SOS 3616830 HAS SOPS 3596253 HAS SOUS 3195812 HAS SOUPS 3190571 WITH SCORE 3194187.83
AT ITER 309 NEW BEST:: SOT 17080032 SOS 3616525 HAS SOPS 3595948 HAS SOUS 3195493 HAS SOUPS 3190252 WITH SCORE 3193868.525
AT ITER 342 NEW BEST:: SOT 17079887 SOS 3616384 HAS SOPS 3595807 HAS SOUS 3195348 HAS SOUPS 3190107 WITH SCORE 3193723.384
AT ITER 420 NEW BEST:: SOT 17079887 SOS 3616125 HAS SOPS 3595548 HAS SOUS 3195348 HAS SOUPS 3190107 WITH SCORE 3193723.125
AT ITER 421 NEW BEST:: SOT 17065465 SOS 3608214 HAS SOPS 3587637 HAS SOUS 3182161 HAS SOUPS 3176920 WITH SCORE 3180528.214
AT ITER 471 NEW BEST:: SOT 17064145 SOS 3609294 HAS SOPS 3588717 HAS SOUS 3181491 HAS SOUPS 3176250 WITH SCORE 3179859.294
AT ITER 473 NEW BEST:: SOT 17064048 SOS 3607548 HAS SOPS 3586971 HAS SOUS 3181297 HAS SOUPS 3176056 WITH SCORE 3179663.548
AT ITER 558 NEW BEST:: SOT 17064048 SOS 3607527 HAS SOPS 3586950 HAS SOUS 3181297 HAS SOUPS 3176056 WITH SCORE 3179663.527
AT ITER 722 NEW BEST:: SOT 17063914 SOS 3607393 HAS SOPS 3586816 HAS SOUS 3181163 HAS SOUPS 3175922 WITH SCORE 3179529.393
AT ITER 757 NEW BEST:: SOT 17063991 SOS 3607465 HAS SOPS 3586888 HAS SOUS 3180941 HAS SOUPS 3175700 WITH SCORE 3179307.465
AT ITER 772 NEW BEST:: SOT 17063991 SOS 3607439 HAS SOPS 3586862 HAS SOUS 3180941 HAS SOUPS 3175700 WITH SCORE 3179307.439
AT ITER 807 NEW BEST:: SOT 17063937 SOS 3607202 HAS SOPS 3586625 HAS SOUS 3180833 HAS SOUPS 3175592 WITH SCORE 3179199.202
AT ITER 861 NEW BEST:: SOT 17063551 SOS 3607202 HAS SOPS 3586625 HAS SOUS 3180447 HAS SOUPS 3175206 WITH SCORE 3178813.202
AT ITER 930 NEW BEST:: SOT 17063286 SOS 3606948 HAS SOPS 3586371 HAS SOUS 3180182 HAS SOUPS 3174941 WITH SCORE 3178547.948
AT ITER 970 NEW BEST:: SOT 17063286 SOS 3606937 HAS SOPS 3586360 HAS SOUS 3180182 HAS SOUPS 3174941 WITH SCORE 3178547.937
AT ITER 995 NEW BEST:: SOT 17063286 SOS 3606936 HAS SOPS 3586359 HAS SOUS 3180181 HAS SOUPS 3174940 WITH SCORE 3178546.936
AT ITER 1052 NEW BEST:: SOT 17063286 SOS 3606909 HAS SOPS 3586332 HAS SOUS 3180181 HAS SOUPS 3174940 WITH SCORE 3178546.909
AT ITER 1062 NEW BEST:: SOT 17062955 SOS 3606578 HAS SOPS 3586001 HAS SOUS 3179850 HAS SOUPS 3174609 WITH SCORE 3178215.578
AT ITER 1088 NEW BEST:: SOT 17062955 SOS 3606435 HAS SOPS 3585858 HAS SOUS 3179850 HAS SOUPS 3174609 WITH SCORE 3178215.435
AT ITER 1090 NEW BEST:: SOT 17049081 SOS 3601622 HAS SOPS 3581045 HAS SOUS 3167447 HAS SOUPS 3162206 WITH SCORE 3165807.622
AT ITER 1121 NEW BEST:: SOT 17049081 SOS 3601615 HAS SOPS 3581038 HAS SOUS 3167447 HAS SOUPS 3162206 WITH SCORE 3165807.615
AT ITER 1127 NEW BEST:: SOT 17048763 SOS 3601771 HAS SOPS 3581194 HAS SOUS 3167285 HAS SOUPS 3162044 WITH SCORE 3165645.771
AT ITER 1170 NEW BEST:: SOT 17048763 SOS 3601747 HAS SOPS 3581194 HAS SOUS 3167285 HAS SOUPS 3162044 WITH SCORE 3165645.747
AT ITER 1178 NEW BEST:: SOT 17048763 SOS 3601475 HAS SOPS 3580922 HAS SOUS 3167285 HAS SOUPS 3162044 WITH SCORE 3165645.475
AT ITER 1203 NEW BEST:: SOT 17048727 SOS 3601439 HAS SOPS 3580886 HAS SOUS 3167249 HAS SOUPS 3162008 WITH SCORE 3165609.439
AT ITER 1244 NEW BEST:: SOT 17050327 SOS 3602260 HAS SOPS 3582455 HAS SOUS 3166999 HAS SOUPS 3161909 WITH SCORE 3165511.26
AT ITER 1257 NEW BEST:: SOT 17049813 SOS 3601746 HAS SOPS 3581941 HAS SOUS 3166485 HAS SOUPS 3161395 WITH SCORE 3164996.746
AT ITER 1293 NEW BEST:: SOT 16916926 SOS 5111402 HAS SOPS 5091597 HAS SOUS 3040333 HAS SOUPS 3035243 WITH SCORE 3040354.402
AT ITER 1308 NEW BEST:: SOT 16903436 SOS 5106477 HAS SOPS 5086671 HAS SOUS 3027509 HAS SOUPS 3022419 WITH SCORE 3027525.477
AT ITER 1337 NEW BEST:: SOT 16903436 SOS 5098689 HAS SOPS 5078883 HAS SOUS 3027509 HAS SOUPS 3022419 WITH SCORE 3027517.689
AT ITER 1339 NEW BEST:: SOT 16903436 SOS 5098689 HAS SOPS 5078883 HAS SOUS 3027323 HAS SOUPS 3022233 WITH SCORE 3027331.689
AT ITER 1352 NEW BEST:: SOT 16903436 SOS 5098490 HAS SOPS 5078684 HAS SOUS 3027323 HAS SOUPS 3022233 WITH SCORE 3027331.49
AT ITER 1378 NEW BEST:: SOT 16903721 SOS 5098775 HAS SOPS 5078969 HAS SOUS 3027221 HAS SOUPS 3022131 WITH SCORE 3027229.775
AT ITER 1409 NEW BEST:: SOT 16903721 SOS 5098766 HAS SOPS 5078960 HAS SOUS 3027212 HAS SOUPS 3022122 WITH SCORE 3027220.766
AT ITER 1427 NEW BEST:: SOT 16903721 SOS 5098661 HAS SOPS 5078855 HAS SOUS 3027212 HAS SOUPS 3022122 WITH SCORE 3027220.661
AT ITER 1475 NEW BEST:: SOT 16903081 SOS 5097427 HAS SOPS 5077568 HAS SOUS 3025925 HAS SOUPS 3020835 WITH SCORE 3025932.427
AT ITER 1477 NEW BEST:: SOT 16903076 SOS 5097417 HAS SOPS 5077558 HAS SOUS 3025920 HAS SOUPS 3020830 WITH SCORE 3025927.417
AT ITER 1497 NEW BEST:: SOT 16903076 SOS 5097407 HAS SOPS 5077548 HAS SOUS 3025920 HAS SOUPS 3020830 WITH SCORE 3025927.407
AT ITER 1498 NEW BEST:: SOT 16903009 SOS 5097273 HAS SOPS 5077414 HAS SOUS 3025786 HAS SOUPS 3020696 WITH SCORE 3025793.273
AT ITER 1500 NEW BEST:: SOT 16902622 SOS 5097097 HAS SOPS 5077238 HAS SOUS 3025509 HAS SOUPS 3020419 WITH SCORE 3025516.097
AT ITER 1545 NEW BEST:: SOT 16902622 SOS 5096752 HAS SOPS 5076893 HAS SOUS 3025508 HAS SOUPS 3020418 WITH SCORE 3025514.752
AT ITER 1558 NEW BEST:: SOT 16902622 SOS 5096734 HAS SOPS 5076875 HAS SOUS 3025508 HAS SOUPS 3020418 WITH SCORE 3025514.734
AT ITER 1587 NEW BEST:: SOT 16901804 SOS 5095098 HAS SOPS 5075239 HAS SOUS 3023872 HAS SOUPS 3018782 WITH SCORE 3023877.098
AT ITER 1593 NEW BEST:: SOT 16902134 SOS 5095428 HAS SOPS 5075569 HAS SOUS 3023837 HAS SOUPS 3018747 WITH SCORE 3023842.428
AT ITER 1622 NEW BEST:: SOT 16901931 SOS 5095233 HAS SOPS 5075374 HAS SOUS 3023634 HAS SOUPS 3018544 WITH SCORE 3023639.233
AT ITER 1645 NEW BEST:: SOT 16901931 SOS 5090997 HAS SOPS 5071138 HAS SOUS 3023634 HAS SOUPS 3018544 WITH SCORE 3023634.997
AT ITER 1651 NEW BEST:: SOT 16888422 SOS 5147589 HAS SOPS 5127730 HAS SOUS 3014862 HAS SOUPS 3009772 WITH SCORE 3014919.589
AT ITER 1680 NEW BEST:: SOT 16888422 SOS 5147279 HAS SOPS 5127420 HAS SOUS 3014862 HAS SOUPS 3009772 WITH SCORE 3014919.279
AT ITER 1713 NEW BEST:: SOT 16888422 SOS 5147279 HAS SOPS 5127420 HAS SOUS 3014441 HAS SOUPS 3009351 WITH SCORE 3014498.279
AT ITER 1718 NEW BEST:: SOT 16888462 SOS 5147319 HAS SOPS 5127460 HAS SOUS 3013972 HAS SOUPS 3008882 WITH SCORE 3014029.319
AT ITER 1797 NEW BEST:: SOT 16888407 SOS 5147319 HAS SOPS 5127460 HAS SOUS 3013917 HAS SOUPS 3008827 WITH SCORE 3013974.319
AT ITER 1841 NEW BEST:: SOT 16888071 SOS 5153127 HAS SOPS 5127124 HAS SOUS 3013965 HAS SOUPS 3008491 WITH SCORE 3013644.127
AT ITER 1855 NEW BEST:: SOT 16888071 SOS 5153106 HAS SOPS 5127103 HAS SOUS 3013965 HAS SOUPS 3008491 WITH SCORE 3013644.106
AT ITER 1876 NEW BEST:: SOT 16888071 SOS 5153106 HAS SOPS 5127103 HAS SOUS 3013489 HAS SOUPS 3008015 WITH SCORE 3013168.106
AT ITER 1895 NEW BEST:: SOT 16888071 SOS 5153106 HAS SOPS 5127103 HAS SOUS 3013092 HAS SOUPS 3007618 WITH SCORE 3012771.106
AT ITER 1896 NEW BEST:: SOT 16888071 SOS 5152785 HAS SOPS 5126782 HAS SOUS 3013092 HAS SOUPS 3007618 WITH SCORE 3012770.785
AT ITER 1909 NEW BEST:: SOT 16888071 SOS 5152785 HAS SOPS 5126782 HAS SOUS 3013078 HAS SOUPS 3007604 WITH SCORE 3012756.785
AT ITER 1912 NEW BEST:: SOT 16888071 SOS 5152707 HAS SOPS 5126704 HAS SOUS 3013000 HAS SOUPS 3007526 WITH SCORE 3012678.707
AT ITER 1914 NEW BEST:: SOT 16887754 SOS 5152404 HAS SOPS 5126401 HAS SOUS 3012683 HAS SOUPS 3007209 WITH SCORE 3012361.404
AT ITER 1915 NEW BEST:: SOT 16887569 SOS 5152226 HAS SOPS 5126223 HAS SOUS 3012498 HAS SOUPS 3007024 WITH SCORE 3012176.226
AT ITER 1919 NEW BEST:: SOT 16887569 SOS 5146543 HAS SOPS 5120540 HAS SOUS 3012498 HAS SOUPS 3007024 WITH SCORE 3012170.543
AT ITER 1953 NEW BEST:: SOT 16887340 SOS 5146314 HAS SOPS 5120311 HAS SOUS 3012269 HAS SOUPS 3006795 WITH SCORE 3011941.314
AT ITER 1957 NEW BEST:: SOT 16887340 SOS 5146314 HAS SOPS 5120311 HAS SOUS 3012064 HAS SOUPS 3006590 WITH SCORE 3011736.314
AT ITER 1961 NEW BEST:: SOT 16887111 SOS 5146094 HAS SOPS 5120091 HAS SOUS 3011835 HAS SOUPS 3006361 WITH SCORE 3011507.094
AT ITER 1968 NEW BEST:: SOT 16887111 SOS 5146094 HAS SOPS 5120091 HAS SOUS 3011402 HAS SOUPS 3005928 WITH SCORE 3011074.094
AT ITER 1986 NEW BEST:: SOT 16887111 SOS 5146094 HAS SOPS 5120091 HAS SOUS 3010994 HAS SOUPS 3005520 WITH SCORE 3010666.094
AT ITER 1992 NEW BEST:: SOT 16887053 SOS 5146141 HAS SOPS 5120138 HAS SOUS 3010979 HAS SOUPS 3005505 WITH SCORE 3010651.141
AT ITER 1996 NEW BEST:: SOT 16886967 SOS 5142856 HAS SOPS 5116853 HAS SOUS 3010950 HAS SOUPS 3005476 WITH SCORE 3010618.856
AT ITER 2028 NEW BEST:: SOT 16886967 SOS 5142856 HAS SOPS 5116853 HAS SOUS 3010522 HAS SOUPS 3005048 WITH SCORE 3010190.856
AT ITER 2058 NEW BEST:: SOT 16886794 SOS 5142683 HAS SOPS 5116680 HAS SOUS 3010349 HAS SOUPS 3004875 WITH SCORE 3010017.683
AT ITER 2064 NEW BEST:: SOT 16886514 SOS 5142415 HAS SOPS 5116412 HAS SOUS 3010069 HAS SOUPS 3004595 WITH SCORE 3009737.415
AT ITER 2107 NEW BEST:: SOT 16886514 SOS 5142155 HAS SOPS 5116152 HAS SOUS 3010069 HAS SOUPS 3004595 WITH SCORE 3009737.155
AT ITER 2138 NEW BEST:: SOT 16885943 SOS 5141013 HAS SOPS 5115010 HAS SOUS 3009498 HAS SOUPS 3004024 WITH SCORE 3009165.013
AT ITER 2155 NEW BEST:: SOT 16885943 SOS 5140894 HAS SOPS 5114891 HAS SOUS 3009498 HAS SOUPS 3004024 WITH SCORE 3009164.894
AT ITER 2188 NEW BEST:: SOT 16886103 SOS 5141054 HAS SOPS 5115051 HAS SOUS 3009209 HAS SOUPS 3003735 WITH SCORE 3008876.054
AT ITER 2204 NEW BEST:: SOT 16886103 SOS 5141054 HAS SOPS 5115051 HAS SOUS 3008902 HAS SOUPS 3003428 WITH SCORE 3008569.054
AT ITER 2232 NEW BEST:: SOT 16885881 SOS 5140841 HAS SOPS 5114838 HAS SOUS 3008680 HAS SOUPS 3003206 WITH SCORE 3008346.841
AT ITER 2244 NEW BEST:: SOT 16885881 SOS 5140841 HAS SOPS 5114838 HAS SOUS 3008173 HAS SOUPS 3002699 WITH SCORE 3007839.841
AT ITER 2300 NEW BEST:: SOT 16885780 SOS 5137969 HAS SOPS 5111966 HAS SOUS 3007971 HAS SOUPS 3002497 WITH SCORE 3007634.969
AT ITER 2313 NEW BEST:: SOT 16885677 SOS 5137868 HAS SOPS 5111865 HAS SOUS 3007868 HAS SOUPS 3002394 WITH SCORE 3007531.868
AT ITER 2323 NEW BEST:: SOT 16873271 SOS 5255999 HAS SOPS 5100669 HAS SOUS 3000588 HAS SOUPS 2991112 WITH SCORE 2996367.999
AT ITER 2333 NEW BEST:: SOT 16874060 SOS 5256191 HAS SOPS 5101475 HAS SOUS 3000383 HAS SOUPS 2991004 WITH SCORE 2996260.191
AT ITER 2341 NEW BEST:: SOT 16874060 SOS 5256153 HAS SOPS 5101437 HAS SOUS 3000345 HAS SOUPS 2990966 WITH SCORE 2996222.153
AT ITER 2347 NEW BEST:: SOT 16874060 SOS 5256152 HAS SOPS 5101436 HAS SOUS 3000345 HAS SOUPS 2990966 WITH SCORE 2996222.152
AT ITER 2353 NEW BEST:: SOT 16874060 SOS 5256152 HAS SOPS 5101436 HAS SOUS 3000250 HAS SOUPS 2990871 WITH SCORE 2996127.152
AT ITER 2372 NEW BEST:: SOT 16873602 SOS 5255270 HAS SOPS 5100554 HAS SOUS 2999792 HAS SOUPS 2990413 WITH SCORE 2995668.27
AT ITER 2397 NEW BEST:: SOT 16866512 SOS 5248778 HAS SOPS 5094045 HAS SOUS 2992864 HAS SOUPS 2983485 WITH SCORE 2988733.778
AT ITER 2410 NEW BEST:: SOT 16866196 SOS 5248476 HAS SOPS 5093743 HAS SOUS 2992548 HAS SOUPS 2983169 WITH SCORE 2988417.476
AT ITER 2417 NEW BEST:: SOT 16865762 SOS 5248476 HAS SOPS 5093743 HAS SOUS 2992114 HAS SOUPS 2982735 WITH SCORE 2987983.476
AT ITER 2418 NEW BEST:: SOT 16865392 SOS 5248476 HAS SOPS 5093743 HAS SOUS 2991744 HAS SOUPS 2982365 WITH SCORE 2987613.476
AT ITER 2438 NEW BEST:: SOT 16865392 SOS 5248414 HAS SOPS 5093681 HAS SOUS 2991744 HAS SOUPS 2982365 WITH SCORE 2987613.414
AT ITER 2449 NEW BEST:: SOT 16863253 SOS 5248816 HAS SOPS 5094033 HAS SOUS 2990026 HAS SOUPS 2980647 WITH SCORE 2985895.816
AT ITER 2487 NEW BEST:: SOT 16863253 SOS 5248723 HAS SOPS 5093940 HAS SOUS 2990026 HAS SOUPS 2980647 WITH SCORE 2985895.723
AT ITER 2537 NEW BEST:: SOT 16863110 SOS 5248580 HAS SOPS 5093797 HAS SOUS 2989740 HAS SOUPS 2980361 WITH SCORE 2985609.58
AT ITER 2541 NEW BEST:: SOT 16863110 SOS 5248516 HAS SOPS 5093733 HAS SOUS 2989740 HAS SOUPS 2980361 WITH SCORE 2985609.516
AT ITER 2549 NEW BEST:: SOT 16862425 SOS 5247942 HAS SOPS 5093159 HAS SOUS 2989055 HAS SOUPS 2979676 WITH SCORE 2984923.942
AT ITER 2586 NEW BEST:: SOT 16862376 SOS 5247158 HAS SOPS 5092375 HAS SOUS 2988957 HAS SOUPS 2979578 WITH SCORE 2984825.158
AT ITER 2592 NEW BEST:: SOT 16862367 SOS 5247149 HAS SOPS 5092366 HAS SOUS 2988948 HAS SOUPS 2979569 WITH SCORE 2984816.149
AT ITER 2600 NEW BEST:: SOT 16862334 SOS 5247116 HAS SOPS 5092333 HAS SOUS 2988909 HAS SOUPS 2979530 WITH SCORE 2984777.116
AT ITER 2615 NEW BEST:: SOT 16862334 SOS 5247056 HAS SOPS 5092273 HAS SOUS 2988909 HAS SOUPS 2979530 WITH SCORE 2984777.056
AT ITER 2627 NEW BEST:: SOT 16850117 SOS 5292077 HAS SOPS 5137294 HAS SOUS 2980318 HAS SOUPS 2970939 WITH SCORE 2976231.077
AT ITER 2633 NEW BEST:: SOT 16850370 SOS 5292330 HAS SOPS 5137547 HAS SOUS 2980170 HAS SOUPS 2970791 WITH SCORE 2976083.33
AT ITER 2650 NEW BEST:: SOT 16850370 SOS 5292315 HAS SOPS 5137532 HAS SOUS 2980170 HAS SOUPS 2970791 WITH SCORE 2976083.315
AT ITER 2671 NEW BEST:: SOT 16850370 SOS 5292211 HAS SOPS 5137428 HAS SOUS 2980170 HAS SOUPS 2970791 WITH SCORE 2976083.211
AT ITER 2674 NEW BEST:: SOT 16850396 SOS 5292237 HAS SOPS 5137454 HAS SOUS 2979680 HAS SOUPS 2970301 WITH SCORE 2975593.237
AT ITER 2726 NEW BEST:: SOT 16850471 SOS 5292312 HAS SOPS 5137529 HAS SOUS 2979264 HAS SOUPS 2969885 WITH SCORE 2975177.312
AT ITER 2727 NEW BEST:: SOT 16850471 SOS 5292312 HAS SOPS 5137529 HAS SOUS 2978960 HAS SOUPS 2969581 WITH SCORE 2974873.312
AT ITER 2739 NEW BEST:: SOT 16850471 SOS 5292312 HAS SOPS 5137529 HAS SOUS 2978957 HAS SOUPS 2969578 WITH SCORE 2974870.312
AT ITER 2753 NEW BEST:: SOT 16850471 SOS 5292312 HAS SOPS 5137529 HAS SOUS 2978816 HAS SOUPS 2969437 WITH SCORE 2974729.312
AT ITER 2771 NEW BEST:: SOT 16850251 SOS 5292213 HAS SOPS 5137430 HAS SOUS 2978810 HAS SOUPS 2969431 WITH SCORE 2974723.213
AT ITER 2778 NEW BEST:: SOT 16850459 SOS 5292421 HAS SOPS 5137638 HAS SOUS 2978593 HAS SOUPS 2969214 WITH SCORE 2974506.421
AT ITER 2800 NEW BEST:: SOT 16850791 SOS 5292753 HAS SOPS 5137970 HAS SOUS 2978563 HAS SOUPS 2969184 WITH SCORE 2974476.753
AT ITER 2826 NEW BEST:: SOT 16850611 SOS 5292579 HAS SOPS 5137796 HAS SOUS 2978383 HAS SOUPS 2969004 WITH SCORE 2974296.579
AT ITER 2831 NEW BEST:: SOT 16850611 SOS 5292562 HAS SOPS 5137779 HAS SOUS 2978383 HAS SOUPS 2969004 WITH SCORE 2974296.562
AT ITER 2847 NEW BEST:: SOT 16850611 SOS 5292562 HAS SOPS 5137779 HAS SOUS 2978075 HAS SOUPS 2968696 WITH SCORE 2973988.562
AT ITER 2860 NEW BEST:: SOT 16850611 SOS 5292562 HAS SOPS 5137779 HAS SOUS 2977830 HAS SOUPS 2968451 WITH SCORE 2973743.562
AT ITER 2887 NEW BEST:: SOT 16850863 SOS 5292814 HAS SOPS 5138031 HAS SOUS 2977679 HAS SOUPS 2968300 WITH SCORE 2973592.814
AT ITER 2915 NEW BEST:: SOT 16850863 SOS 5292814 HAS SOPS 5138031 HAS SOUS 2977430 HAS SOUPS 2968051 WITH SCORE 2973343.814
AT ITER 2953 NEW BEST:: SOT 16850898 SOS 5292849 HAS SOPS 5138066 HAS SOUS 2977244 HAS SOUPS 2967865 WITH SCORE 2973157.849
AT ITER 2968 NEW BEST:: SOT 16850898 SOS 5292849 HAS SOPS 5138066 HAS SOUS 2976833 HAS SOUPS 2967454 WITH SCORE 2972746.849
AT ITER 2984 NEW BEST:: SOT 16849928 SOS 5291527 HAS SOPS 5137234 HAS SOUS 2975509 HAS SOUPS 2966181 WITH SCORE 2971472.527
AT ITER 2992 NEW BEST:: SOT 16849802 SOS 5291401 HAS SOPS 5137108 HAS SOUS 2975397 HAS SOUPS 2966069 WITH SCORE 2971360.401
AT ITER 3042 NEW BEST:: SOT 16849802 SOS 5291388 HAS SOPS 5137095 HAS SOUS 2975397 HAS SOUPS 2966069 WITH SCORE 2971360.388
AT ITER 3055 NEW BEST:: SOT 16849763 SOS 5291434 HAS SOPS 5137088 HAS SOUS 2975390 HAS SOUPS 2966062 WITH SCORE 2971353.434
AT ITER 3061 NEW BEST:: SOT 16849763 SOS 5291375 HAS SOPS 5137029 HAS SOUS 2975390 HAS SOUPS 2966062 WITH SCORE 2971353.375
AT ITER 3095 NEW BEST:: SOT 16849721 SOS 5291375 HAS SOPS 5137029 HAS SOUS 2975348 HAS SOUPS 2966020 WITH SCORE 2971311.375
AT ITER 3150 NEW BEST:: SOT 16849629 SOS 5287591 HAS SOPS 5133245 HAS SOUS 2975164 HAS SOUPS 2965836 WITH SCORE 2971123.591
AT ITER 3202 NEW BEST:: SOT 16849494 SOS 5287456 HAS SOPS 5133110 HAS SOUS 2975029 HAS SOUPS 2965701 WITH SCORE 2970988.456
AT ITER 3226 NEW BEST:: SOT 16849146 SOS 5287108 HAS SOPS 5132762 HAS SOUS 2974681 HAS SOUPS 2965353 WITH SCORE 2970640.108
AT ITER 3227 NEW BEST:: SOT 16849088 SOS 5283545 HAS SOPS 5129199 HAS SOUS 2974564 HAS SOUPS 2965236 WITH SCORE 2970519.545
AT ITER 3254 NEW BEST:: SOT 16849011 SOS 5283545 HAS SOPS 5129199 HAS SOUS 2974487 HAS SOUPS 2965159 WITH SCORE 2970442.545
AT ITER 3293 NEW BEST:: SOT 16849011 SOS 5283545 HAS SOPS 5129199 HAS SOUS 2974091 HAS SOUPS 2964763 WITH SCORE 2970046.545
AT ITER 3306 NEW BEST:: SOT 16849011 SOS 5283545 HAS SOPS 5129199 HAS SOUS 2973577 HAS SOUPS 2964249 WITH SCORE 2969532.545
AT ITER 3326 NEW BEST:: SOT 16849011 SOS 5283545 HAS SOPS 5129199 HAS SOUS 2973246 HAS SOUPS 2963918 WITH SCORE 2969201.545
AT ITER 3344 NEW BEST:: SOT 16849011 SOS 5283326 HAS SOPS 5128980 HAS SOUS 2973246 HAS SOUPS 2963918 WITH SCORE 2969201.326
AT ITER 3352 NEW BEST:: SOT 16849011 SOS 5283326 HAS SOPS 5128980 HAS SOUS 2972835 HAS SOUPS 2963507 WITH SCORE 2968790.326
AT ITER 3383 NEW BEST:: SOT 16849069 SOS 5283384 HAS SOPS 5129038 HAS SOUS 2972393 HAS SOUPS 2963065 WITH SCORE 2968348.384
AT ITER 3392 NEW BEST:: SOT 16848595 SOS 5283420 HAS SOPS 5129074 HAS SOUS 2971955 HAS SOUPS 2962627 WITH SCORE 2967910.42
AT ITER 3414 NEW BEST:: SOT 16848805 SOS 5283630 HAS SOPS 5129284 HAS SOUS 2971741 HAS SOUPS 2962413 WITH SCORE 2967696.63
AT ITER 3444 NEW BEST:: SOT 16848509 SOS 5283347 HAS SOPS 5129001 HAS SOUS 2971445 HAS SOUPS 2962117 WITH SCORE 2967400.347
AT ITER 3461 NEW BEST:: SOT 16848509 SOS 5283262 HAS SOPS 5128921 HAS SOUS 2971440 HAS SOUPS 2962112 WITH SCORE 2967395.262
AT ITER 3536 NEW BEST:: SOT 16848132 SOS 5283368 HAS SOPS 5129027 HAS SOUS 2971169 HAS SOUPS 2961841 WITH SCORE 2967124.368
AT ITER 3582 NEW BEST:: SOT 16847863 SOS 5282830 HAS SOPS 5128489 HAS SOUS 2970631 HAS SOUPS 2961303 WITH SCORE 2966585.83
AT ITER 3584 NEW BEST:: SOT 16847927 SOS 5282895 HAS SOPS 5128554 HAS SOUS 2970601 HAS SOUPS 2961273 WITH SCORE 2966555.895
AT ITER 3596 NEW BEST:: SOT 16847803 SOS 5282784 HAS SOPS 5128407 HAS SOUS 2970510 HAS SOUPS 2961182 WITH SCORE 2966464.784
AT ITER 3615 NEW BEST:: SOT 16847803 SOS 5282658 HAS SOPS 5128281 HAS SOUS 2970510 HAS SOUPS 2961182 WITH SCORE 2966464.658
AT ITER 3680 NEW BEST:: SOT 16847708 SOS 5282563 HAS SOPS 5128186 HAS SOUS 2970415 HAS SOUPS 2961087 WITH SCORE 2966369.563
AT ITER 3690 NEW BEST:: SOT 16847708 SOS 5282439 HAS SOPS 5128062 HAS SOUS 2970415 HAS SOUPS 2961087 WITH SCORE 2966369.439
AT ITER 3708 NEW BEST:: SOT 16847250 SOS 5281981 HAS SOPS 5127604 HAS SOUS 2969957 HAS SOUPS 2960629 WITH SCORE 2965910.981
AT ITER 3721 NEW BEST:: SOT 16847187 SOS 5281918 HAS SOPS 5127541 HAS SOUS 2969894 HAS SOUPS 2960566 WITH SCORE 2965847.918
AT ITER 3727 NEW BEST:: SOT 16846939 SOS 5281904 HAS SOPS 5127527 HAS SOUS 2969646 HAS SOUPS 2960318 WITH SCORE 2965599.904
AT ITER 3734 NEW BEST:: SOT 16846631 SOS 5282132 HAS SOPS 5127755 HAS SOUS 2969566 HAS SOUPS 2960238 WITH SCORE 2965520.132
AT ITER 3748 NEW BEST:: SOT 16846543 SOS 5282045 HAS SOPS 5127668 HAS SOUS 2969478 HAS SOUPS 2960150 WITH SCORE 2965432.045
AT ITER 3750 NEW BEST:: SOT 16846530 SOS 5282032 HAS SOPS 5127655 HAS SOUS 2969452 HAS SOUPS 2960124 WITH SCORE 2965406.032
AT ITER 3765 NEW BEST:: SOT 16846276 SOS 5282032 HAS SOPS 5127655 HAS SOUS 2969198 HAS SOUPS 2959870 WITH SCORE 2965152.032
AT ITER 3769 NEW BEST:: SOT 16846197 SOS 5281953 HAS SOPS 5127497 HAS SOUS 2969119 HAS SOUPS 2959791 WITH SCORE 2965072.953
AT ITER 3783 NEW BEST:: SOT 16845843 SOS 5281599 HAS SOPS 5127143 HAS SOUS 2968765 HAS SOUPS 2959437 WITH SCORE 2964718.599
AT ITER 3796 NEW BEST:: SOT 16845843 SOS 5281599 HAS SOPS 5127143 HAS SOUS 2968376 HAS SOUPS 2959048 WITH SCORE 2964329.599
AT ITER 3812 NEW BEST:: SOT 16845843 SOS 5281461 HAS SOPS 5127005 HAS SOUS 2968376 HAS SOUPS 2959048 WITH SCORE 2964329.461
AT ITER 3818 NEW BEST:: SOT 16845411 SOS 5285512 HAS SOPS 5126534 HAS SOUS 2968271 HAS SOUPS 2958677 WITH SCORE 2963962.512
AT ITER 3831 NEW BEST:: SOT 16845744 SOS 5285845 HAS SOPS 5126867 HAS SOUS 2968242 HAS SOUPS 2958648 WITH SCORE 2963933.845
AT ITER 3834 NEW BEST:: SOT 16845422 SOS 5285537 HAS SOPS 5126559 HAS SOUS 2967920 HAS SOUPS 2958326 WITH SCORE 2963611.537
AT ITER 3882 NEW BEST:: SOT 16844943 SOS 5285058 HAS SOPS 5126080 HAS SOUS 2967441 HAS SOUPS 2957847 WITH SCORE 2963132.058
AT ITER 3963 NEW BEST:: SOT 16844943 SOS 5285058 HAS SOPS 5126080 HAS SOUS 2967339 HAS SOUPS 2957745 WITH SCORE 2963030.058
AT ITER 3972 NEW BEST:: SOT 16844658 SOS 5284860 HAS SOPS 5125882 HAS SOUS 2967197 HAS SOUPS 2957603 WITH SCORE 2962887.86
AT ITER 3997 NEW BEST:: SOT 16844556 SOS 5284758 HAS SOPS 5125780 HAS SOUS 2967095 HAS SOUPS 2957501 WITH SCORE 2962785.758
AT ITER 4008 NEW BEST:: SOT 16844471 SOS 5284674 HAS SOPS 5125696 HAS SOUS 2967010 HAS SOUPS 2957416 WITH SCORE 2962700.674
AT ITER 4031 NEW BEST:: SOT 16844442 SOS 5284645 HAS SOPS 5125667 HAS SOUS 2966952 HAS SOUPS 2957358 WITH SCORE 2962642.645
AT ITER 4033 NEW BEST:: SOT 16846963 SOS 5286802 HAS SOPS 5116286 HAS SOUS 2965638 HAS SOUPS 2948657 WITH SCORE 2953943.802
AT ITER 4036 NEW BEST:: SOT 16846542 SOS 5286381 HAS SOPS 5115865 HAS SOUS 2965217 HAS SOUPS 2948236 WITH SCORE 2953522.381
AT ITER 4053 NEW BEST:: SOT 16846283 SOS 5286381 HAS SOPS 5115865 HAS SOUS 2964958 HAS SOUPS 2947977 WITH SCORE 2953263.381
AT ITER 4089 NEW BEST:: SOT 16846283 SOS 5286381 HAS SOPS 5115865 HAS SOUS 2964761 HAS SOUPS 2947780 WITH SCORE 2953066.381
AT ITER 4094 NEW BEST:: SOT 16846283 SOS 5286381 HAS SOPS 5115865 HAS SOUS 2964487 HAS SOUPS 2947506 WITH SCORE 2952792.381
AT ITER 4095 NEW BEST:: SOT 16846283 SOS 5286381 HAS SOPS 5115865 HAS SOUS 2964208 HAS SOUPS 2947227 WITH SCORE 2952513.381
AT ITER 4116 NEW BEST:: SOT 16838018 SOS 5273687 HAS SOPS 5108482 HAS SOUS 2955403 HAS SOUPS 2938759 WITH SCORE 2944032.687
AT ITER 4128 NEW BEST:: SOT 16838018 SOS 5273687 HAS SOPS 5108482 HAS SOUS 2954938 HAS SOUPS 2938294 WITH SCORE 2943567.687
AT ITER 4138 NEW BEST:: SOT 16837998 SOS 5273667 HAS SOPS 5108462 HAS SOUS 2954898 HAS SOUPS 2938254 WITH SCORE 2943527.667
AT ITER 4139 NEW BEST:: SOT 16837822 SOS 5273497 HAS SOPS 5108292 HAS SOUS 2954722 HAS SOUPS 2938078 WITH SCORE 2943351.497
AT ITER 4197 NEW BEST:: SOT 16827166 SOS 5289873 HAS SOPS 5124668 HAS SOUS 2946380 HAS SOUPS 2929736 WITH SCORE 2935025.873
AT ITER 4237 NEW BEST:: SOT 16827166 SOS 5289873 HAS SOPS 5124668 HAS SOUS 2945887 HAS SOUPS 2929243 WITH SCORE 2934532.873
AT ITER 4249 NEW BEST:: SOT 16826866 SOS 5293952 HAS SOPS 5124587 HAS SOUS 2946066 HAS SOUPS 2929162 WITH SCORE 2934455.952
AT ITER 4280 NEW BEST:: SOT 16827078 SOS 5294164 HAS SOPS 5124799 HAS SOUS 2945855 HAS SOUPS 2928951 WITH SCORE 2934245.164
AT ITER 4323 NEW BEST:: SOT 16814884 SOS 5286536 HAS SOPS 5117171 HAS SOUS 2934773 HAS SOUPS 2917869 WITH SCORE 2923155.536
AT ITER 4326 NEW BEST:: SOT 16814595 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2934484 HAS SOUPS 2917580 WITH SCORE 2922866.308
AT ITER 4416 NEW BEST:: SOT 16814205 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2934094 HAS SOUPS 2917190 WITH SCORE 2922476.308
AT ITER 4419 NEW BEST:: SOT 16814205 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2933800 HAS SOUPS 2916896 WITH SCORE 2922182.308
AT ITER 4482 NEW BEST:: SOT 16814205 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2933547 HAS SOUPS 2916643 WITH SCORE 2921929.308
AT ITER 4493 NEW BEST:: SOT 16813859 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2933201 HAS SOUPS 2916297 WITH SCORE 2921583.308
AT ITER 4538 NEW BEST:: SOT 16813859 SOS 5286308 HAS SOPS 5116943 HAS SOUS 2932910 HAS SOUPS 2916006 WITH SCORE 2921292.308
AT ITER 4540 NEW BEST:: SOT 16813636 SOS 5286094 HAS SOPS 5116729 HAS SOUS 2932687 HAS SOUPS 2915783 WITH SCORE 2921069.094
AT ITER 4542 NEW BEST:: SOT 16813636 SOS 5285724 HAS SOPS 5116359 HAS SOUS 2932317 HAS SOUPS 2915413 WITH SCORE 2920698.724
AT ITER 4545 NEW BEST:: SOT 16813636 SOS 5285724 HAS SOPS 5116359 HAS SOUS 2931837 HAS SOUPS 2914933 WITH SCORE 2920218.724
AT ITER 4574 NEW BEST:: SOT 16813636 SOS 5285724 HAS SOPS 5116359 HAS SOUS 2931311 HAS SOUPS 2914407 WITH SCORE 2919692.724
AT ITER 4581 NEW BEST:: SOT 16813575 SOS 5285663 HAS SOPS 5116298 HAS SOUS 2931250 HAS SOUPS 2914346 WITH SCORE 2919631.663
AT ITER 4594 NEW BEST:: SOT 16813604 SOS 5285481 HAS SOPS 5116116 HAS SOUS 2931010 HAS SOUPS 2914106 WITH SCORE 2919391.481
AT ITER 4597 NEW BEST:: SOT 16813303 SOS 5285605 HAS SOPS 5116240 HAS SOUS 2930990 HAS SOUPS 2914086 WITH SCORE 2919371.605
AT ITER 4619 NEW BEST:: SOT 16813122 SOS 5285424 HAS SOPS 5115878 HAS SOUS 2930809 HAS SOUPS 2913724 WITH SCORE 2919009.424
AT ITER 4640 NEW BEST:: SOT 16813122 SOS 5285405 HAS SOPS 5115859 HAS SOUS 2930809 HAS SOUPS 2913724 WITH SCORE 2919009.405
AT ITER 4659 NEW BEST:: SOT 16812984 SOS 5285271 HAS SOPS 5115725 HAS SOUS 2930671 HAS SOUPS 2913586 WITH SCORE 2918871.271
AT ITER 4665 NEW BEST:: SOT 16812892 SOS 5285217 HAS SOPS 5115671 HAS SOUS 2930647 HAS SOUPS 2913562 WITH SCORE 2918847.217
AT ITER 4692 NEW BEST:: SOT 16813198 SOS 5285523 HAS SOPS 5115977 HAS SOUS 2930577 HAS SOUPS 2913492 WITH SCORE 2918777.523
AT ITER 4699 NEW BEST:: SOT 16813198 SOS 5285523 HAS SOPS 5115977 HAS SOUS 2930451 HAS SOUPS 2913366 WITH SCORE 2918651.523
AT ITER 4705 NEW BEST:: SOT 16813169 SOS 5285465 HAS SOPS 5115919 HAS SOUS 2930422 HAS SOUPS 2913337 WITH SCORE 2918622.465
AT ITER 4709 NEW BEST:: SOT 16813497 SOS 5285793 HAS SOPS 5116247 HAS SOUS 2930385 HAS SOUPS 2913300 WITH SCORE 2918585.793
AT ITER 4748 NEW BEST:: SOT 16812556 SOS 5284576 HAS SOPS 5114959 HAS SOUS 2929469 HAS SOUPS 2912384 WITH SCORE 2917668.576
AT ITER 4785 NEW BEST:: SOT 16812485 SOS 5284586 HAS SOPS 5114969 HAS SOUS 2929408 HAS SOUPS 2912323 WITH SCORE 2917607.586
AT ITER 4889 NEW BEST:: SOT 16812485 SOS 5284586 HAS SOPS 5114969 HAS SOUS 2929021 HAS SOUPS 2911936 WITH SCORE 2917220.586
AT ITER 4918 NEW BEST:: SOT 16812491 SOS 5284592 HAS SOPS 5114975 HAS SOUS 2928501 HAS SOUPS 2911416 WITH SCORE 2916700.592
AT ITER 4942 NEW BEST:: SOT 16812351 SOS 5284679 HAS SOPS 5114835 HAS SOUS 2928361 HAS SOUPS 2911276 WITH SCORE 2916560.679
AT ITER 4967 NEW BEST:: SOT 16800696 SOS 5278242 HAS SOPS 5108398 HAS SOUS 2917853 HAS SOUPS 2900768 WITH SCORE 2906046.242
AT ITER 4991 NEW BEST:: SOT 16800607 SOS 5278154 HAS SOPS 5108310 HAS SOUS 2917764 HAS SOUPS 2900679 WITH SCORE 2905957.154
AT ITER 5031 NEW BEST:: SOT 16800078 SOS 5277625 HAS SOPS 5107781 HAS SOUS 2917224 HAS SOUPS 2900139 WITH SCORE 2905416.625
AT ITER 5075 NEW BEST:: SOT 16800133 SOS 5277680 HAS SOPS 5107836 HAS SOUS 2917149 HAS SOUPS 2900064 WITH SCORE 2905341.68
AT ITER 5095 NEW BEST:: SOT 16800133 SOS 5277680 HAS SOPS 5107836 HAS SOUS 2917106 HAS SOUPS 2900021 WITH SCORE 2905298.68
AT ITER 5131 NEW BEST:: SOT 16799921 SOS 5280441 HAS SOPS 5107623 HAS SOUS 2917092 HAS SOUPS 2899836 WITH SCORE 2905116.441
AT ITER 5155 NEW BEST:: SOT 16799921 SOS 5280441 HAS SOPS 5107623 HAS SOUS 2916703 HAS SOUPS 2899447 WITH SCORE 2904727.441
AT ITER 5175 NEW BEST:: SOT 16799975 SOS 5280495 HAS SOPS 5107677 HAS SOUS 2916255 HAS SOUPS 2898999 WITH SCORE 2904279.495
AT ITER 5194 NEW BEST:: SOT 16799350 SOS 5279525 HAS SOPS 5106707 HAS SOUS 2915285 HAS SOUPS 2898029 WITH SCORE 2903308.525
AT ITER 5222 NEW BEST:: SOT 16799237 SOS 5279412 HAS SOPS 5106594 HAS SOUS 2915250 HAS SOUPS 2897994 WITH SCORE 2903273.412
AT ITER 5235 NEW BEST:: SOT 16799299 SOS 5279474 HAS SOPS 5106656 HAS SOUS 2914816 HAS SOUPS 2897560 WITH SCORE 2902839.474
AT ITER 5263 NEW BEST:: SOT 16799299 SOS 5279447 HAS SOPS 5106629 HAS SOUS 2914816 HAS SOUPS 2897560 WITH SCORE 2902839.447
AT ITER 5271 NEW BEST:: SOT 16798852 SOS 5279447 HAS SOPS 5106629 HAS SOUS 2914369 HAS SOUPS 2897113 WITH SCORE 2902392.447
AT ITER 5318 NEW BEST:: SOT 16798688 SOS 5279283 HAS SOPS 5106465 HAS SOUS 2914205 HAS SOUPS 2896949 WITH SCORE 2902228.283
AT ITER 5344 NEW BEST:: SOT 16798661 SOS 5279283 HAS SOPS 5106465 HAS SOUS 2914178 HAS SOUPS 2896922 WITH SCORE 2902201.283
AT ITER 5348 NEW BEST:: SOT 16785454 SOS 5295574 HAS SOPS 5122756 HAS SOUS 2903842 HAS SOUPS 2886586 WITH SCORE 2891881.574
AT ITER 5382 NEW BEST:: SOT 16785454 SOS 5295378 HAS SOPS 5122560 HAS SOUS 2903842 HAS SOUPS 2886586 WITH SCORE 2891881.378
AT ITER 5396 NEW BEST:: SOT 16783250 SOS 5293164 HAS SOPS 5120320 HAS SOUS 2901602 HAS SOUPS 2884346 WITH SCORE 2889639.164
AT ITER 5399 NEW BEST:: SOT 16782903 SOS 5293368 HAS SOPS 5120524 HAS SOUS 2901459 HAS SOUPS 2884203 WITH SCORE 2889496.368
AT ITER 5428 NEW BEST:: SOT 16782903 SOS 5293094 HAS SOPS 5120250 HAS SOUS 2901459 HAS SOUPS 2884203 WITH SCORE 2889496.094
AT ITER 5438 NEW BEST:: SOT 16782812 SOS 5293004 HAS SOPS 5120160 HAS SOUS 2901368 HAS SOUPS 2884112 WITH SCORE 2889405.004
AT ITER 5442 NEW BEST:: SOT 16782812 SOS 5292967 HAS SOPS 5120123 HAS SOUS 2901333 HAS SOUPS 2884077 WITH SCORE 2889369.967
AT ITER 5572 NEW BEST:: SOT 16782673 SOS 5290333 HAS SOPS 5117489 HAS SOUS 2901335 HAS SOUPS 2884079 WITH SCORE 2889369.333
AT ITER 5580 NEW BEST:: SOT 16782673 SOS 5289508 HAS SOPS 5116664 HAS SOUS 2901335 HAS SOUPS 2884079 WITH SCORE 2889368.508
AT ITER 5589 NEW BEST:: SOT 16774556 SOS 5291511 HAS SOPS 5118667 HAS SOUS 2894519 HAS SOUPS 2877263 WITH SCORE 2882554.511
AT ITER 5607 NEW BEST:: SOT 16774556 SOS 5291511 HAS SOPS 5118667 HAS SOUS 2894442 HAS SOUPS 2877186 WITH SCORE 2882477.511
AT ITER 5617 NEW BEST:: SOT 16774556 SOS 5291347 HAS SOPS 5118503 HAS SOUS 2894442 HAS SOUPS 2877186 WITH SCORE 2882477.347
AT ITER 5637 NEW BEST:: SOT 16774556 SOS 5291184 HAS SOPS 5118340 HAS SOUS 2894442 HAS SOUPS 2877186 WITH SCORE 2882477.184
AT ITER 5672 NEW BEST:: SOT 16774600 SOS 5291228 HAS SOPS 5118384 HAS SOUS 2894001 HAS SOUPS 2876745 WITH SCORE 2882036.228
AT ITER 5696 NEW BEST:: SOT 16774600 SOS 5290923 HAS SOPS 5118079 HAS SOUS 2894001 HAS SOUPS 2876745 WITH SCORE 2882035.923
AT ITER 5702 NEW BEST:: SOT 16774574 SOS 5289606 HAS SOPS 5116762 HAS SOUS 2893896 HAS SOUPS 2876640 WITH SCORE 2881929.606
AT ITER 5743 NEW BEST:: SOT 16774574 SOS 5289606 HAS SOPS 5116762 HAS SOUS 2893732 HAS SOUPS 2876476 WITH SCORE 2881765.606
AT ITER 5764 NEW BEST:: SOT 16774348 SOS 5288799 HAS SOPS 5115955 HAS SOUS 2893506 HAS SOUPS 2876250 WITH SCORE 2881538.799
AT ITER 5767 NEW BEST:: SOT 16774348 SOS 5288799 HAS SOPS 5115955 HAS SOUS 2893498 HAS SOUPS 2876242 WITH SCORE 2881530.799
AT ITER 5769 NEW BEST:: SOT 16774348 SOS 5288588 HAS SOPS 5115744 HAS SOUS 2893498 HAS SOUPS 2876242 WITH SCORE 2881530.588
AT ITER 5805 NEW BEST:: SOT 16774227 SOS 5288470 HAS SOPS 5115626 HAS SOUS 2893377 HAS SOUPS 2876121 WITH SCORE 2881409.47
AT ITER 5821 NEW BEST:: SOT 16774227 SOS 5288470 HAS SOPS 5115626 HAS SOUS 2893164 HAS SOUPS 2875908 WITH SCORE 2881196.47
AT ITER 5824 NEW BEST:: SOT 16774220 SOS 5288463 HAS SOPS 5115612 HAS SOUS 2893157 HAS SOUPS 2875894 WITH SCORE 2881182.463
AT ITER 5845 NEW BEST:: SOT 16774219 SOS 5288570 HAS SOPS 5115425 HAS SOUS 2893155 HAS SOUPS 2875892 WITH SCORE 2881180.57
AT ITER 5883 NEW BEST:: SOT 16774219 SOS 5288563 HAS SOPS 5115418 HAS SOUS 2893155 HAS SOUPS 2875892 WITH SCORE 2881180.563
AT ITER 5884 NEW BEST:: SOT 16774217 SOS 5288561 HAS SOPS 5115416 HAS SOUS 2893151 HAS SOUPS 2875888 WITH SCORE 2881176.561
AT ITER 5892 NEW BEST:: SOT 16773727 SOS 5288639 HAS SOPS 5115494 HAS SOUS 2892739 HAS SOUPS 2875476 WITH SCORE 2880764.639
AT ITER 5900 NEW BEST:: SOT 16773546 SOS 5288464 HAS SOPS 5115319 HAS SOUS 2892558 HAS SOUPS 2875295 WITH SCORE 2880583.464
AT ITER 5903 NEW BEST:: SOT 16773412 SOS 5287803 HAS SOPS 5114658 HAS SOUS 2892424 HAS SOUPS 2875161 WITH SCORE 2880448.803
AT ITER 5909 NEW BEST:: SOT 16773412 SOS 5287803 HAS SOPS 5114658 HAS SOUS 2892011 HAS SOUPS 2874748 WITH SCORE 2880035.803
AT ITER 5928 NEW BEST:: SOT 16773565 SOS 5287956 HAS SOPS 5114811 HAS SOUS 2891799 HAS SOUPS 2874536 WITH SCORE 2879823.956
AT ITER 5972 NEW BEST:: SOT 16773476 SOS 5284306 HAS SOPS 5111161 HAS SOUS 2891621 HAS SOUPS 2874358 WITH SCORE 2879642.306
AT ITER 5982 NEW BEST:: SOT 16773321 SOS 5284151 HAS SOPS 5111006 HAS SOUS 2891466 HAS SOUPS 2874203 WITH SCORE 2879487.151
AT ITER 5983 NEW BEST:: SOT 16773100 SOS 5284151 HAS SOPS 5111006 HAS SOUS 2891245 HAS SOUPS 2873982 WITH SCORE 2879266.151
AT ITER 5996 NEW BEST:: SOT 16772948 SOS 5284215 HAS SOPS 5111070 HAS SOUS 2891157 HAS SOUPS 2873894 WITH SCORE 2879178.215
AT ITER 6006 NEW BEST:: SOT 16772948 SOS 5283957 HAS SOPS 5110812 HAS SOUS 2891157 HAS SOUPS 2873894 WITH SCORE 2879177.957
AT ITER 6013 NEW BEST:: SOT 16772939 SOS 5283726 HAS SOPS 5110581 HAS SOUS 2891148 HAS SOUPS 2873885 WITH SCORE 2879168.726
AT ITER 6015 NEW BEST:: SOT 16771559 SOS 5285243 HAS SOPS 5112130 HAS SOUS 2889800 HAS SOUPS 2872537 WITH SCORE 2877822.243
AT ITER 6056 NEW BEST:: SOT 16771511 SOS 5285243 HAS SOPS 5112130 HAS SOUS 2889752 HAS SOUPS 2872489 WITH SCORE 2877774.243
AT ITER 6059 NEW BEST:: SOT 16756870 SOS 5280244 HAS SOPS 5107079 HAS SOUS 2875893 HAS SOUPS 2858630 WITH SCORE 2863910.244
AT ITER 6072 NEW BEST:: SOT 16756918 SOS 5280166 HAS SOPS 5107001 HAS SOUS 2875863 HAS SOUPS 2858600 WITH SCORE 2863880.166
AT ITER 6095 NEW BEST:: SOT 16756866 SOS 5280166 HAS SOPS 5107001 HAS SOUS 2875811 HAS SOUPS 2858548 WITH SCORE 2863828.166
AT ITER 6103 NEW BEST:: SOT 16756839 SOS 5280144 HAS SOPS 5106946 HAS SOUS 2875784 HAS SOUPS 2858521 WITH SCORE 2863801.144
AT ITER 6119 NEW BEST:: SOT 16756605 SOS 5279676 HAS SOPS 5106478 HAS SOUS 2875550 HAS SOUPS 2858287 WITH SCORE 2863566.676
AT ITER 6123 NEW BEST:: SOT 16756676 SOS 5279747 HAS SOPS 5106549 HAS SOUS 2875128 HAS SOUPS 2857865 WITH SCORE 2863144.747
AT ITER 6154 NEW BEST:: SOT 16756676 SOS 5279747 HAS SOPS 5106549 HAS SOUS 2874640 HAS SOUPS 2857377 WITH SCORE 2862656.747
AT ITER 6164 NEW BEST:: SOT 16756639 SOS 5279710 HAS SOPS 5106475 HAS SOUS 2874603 HAS SOUPS 2857303 WITH SCORE 2862582.71
AT ITER 6173 NEW BEST:: SOT 16762587 SOS 5285729 HAS SOPS 5101045 HAS SOUS 2870868 HAS SOUPS 2852234 WITH SCORE 2857519.729
AT ITER 6241 NEW BEST:: SOT 16762587 SOS 5285729 HAS SOPS 5101045 HAS SOUS 2870547 HAS SOUPS 2851913 WITH SCORE 2857198.729
AT ITER 6264 NEW BEST:: SOT 16762587 SOS 5285707 HAS SOPS 5101023 HAS SOUS 2870547 HAS SOUPS 2851913 WITH SCORE 2857198.707
AT ITER 6339 NEW BEST:: SOT 16762587 SOS 5285689 HAS SOPS 5101005 HAS SOUS 2870529 HAS SOUPS 2851895 WITH SCORE 2857180.689
AT ITER 6341 NEW BEST:: SOT 16762344 SOS 5285217 HAS SOPS 5100533 HAS SOUS 2870286 HAS SOUPS 2851652 WITH SCORE 2856937.217
AT ITER 6342 NEW BEST:: SOT 16768062 SOS 5290598 HAS SOPS 5093511 HAS SOUS 2864443 HAS SOUPS 2845420 WITH SCORE 2850710.598
AT ITER 6377 NEW BEST:: SOT 16767957 SOS 5290493 HAS SOPS 5093406 HAS SOUS 2864395 HAS SOUPS 2845372 WITH SCORE 2850662.493
AT ITER 6416 NEW BEST:: SOT 16767873 SOS 5290576 HAS SOPS 5093489 HAS SOUS 2864394 HAS SOUPS 2845371 WITH SCORE 2850661.576
AT ITER 6447 NEW BEST:: SOT 16767386 SOS 5290576 HAS SOPS 5093489 HAS SOUS 2863907 HAS SOUPS 2844884 WITH SCORE 2850174.576
AT ITER 6464 NEW BEST:: SOT 16767386 SOS 5290480 HAS SOPS 5093393 HAS SOUS 2863907 HAS SOUPS 2844884 WITH SCORE 2850174.48
AT ITER 6485 NEW BEST:: SOT 16767386 SOS 5290458 HAS SOPS 5093371 HAS SOUS 2863906 HAS SOUPS 2844883 WITH SCORE 2850173.458
AT ITER 6500 NEW BEST:: SOT 16767198 SOS 5290458 HAS SOPS 5093371 HAS SOUS 2863718 HAS SOUPS 2844695 WITH SCORE 2849985.458
AT ITER 6510 NEW BEST:: SOT 16766994 SOS 5290262 HAS SOPS 5093175 HAS SOUS 2863514 HAS SOUPS 2844491 WITH SCORE 2849781.262
AT ITER 6541 NEW BEST:: SOT 16766994 SOS 5290215 HAS SOPS 5093175 HAS SOUS 2863514 HAS SOUPS 2844491 WITH SCORE 2849781.215
AT ITER 6576 NEW BEST:: SOT 16766542 SOS 5290215 HAS SOPS 5093175 HAS SOUS 2863062 HAS SOUPS 2844039 WITH SCORE 2849329.215
AT ITER 6578 NEW BEST:: SOT 16766704 SOS 5290377 HAS SOPS 5093337 HAS SOUS 2862776 HAS SOUPS 2843753 WITH SCORE 2849043.377
AT ITER 6603 NEW BEST:: SOT 16766539 SOS 5290212 HAS SOPS 5093172 HAS SOUS 2862446 HAS SOUPS 2843423 WITH SCORE 2848713.212
AT ITER 6607 NEW BEST:: SOT 16766480 SOS 5290263 HAS SOPS 5093223 HAS SOUS 2862438 HAS SOUPS 2843415 WITH SCORE 2848705.263
AT ITER 6610 NEW BEST:: SOT 16766107 SOS 5289907 HAS SOPS 5092867 HAS SOUS 2862065 HAS SOUPS 2843042 WITH SCORE 2848331.907
AT ITER 6633 NEW BEST:: SOT 16765312 SOS 5289103 HAS SOPS 5092063 HAS SOUS 2861260 HAS SOUPS 2842237 WITH SCORE 2847526.103
AT ITER 6638 NEW BEST:: SOT 16765225 SOS 5283801 HAS SOPS 5086761 HAS SOUS 2861145 HAS SOUPS 2842122 WITH SCORE 2847405.801
AT ITER 6657 NEW BEST:: SOT 16764938 SOS 5283575 HAS SOPS 5086535 HAS SOUS 2860858 HAS SOUPS 2841835 WITH SCORE 2847118.575
AT ITER 6670 NEW BEST:: SOT 16764821 SOS 5283461 HAS SOPS 5086421 HAS SOUS 2860741 HAS SOUPS 2841718 WITH SCORE 2847001.461
AT ITER 6704 NEW BEST:: SOT 16765062 SOS 5283702 HAS SOPS 5086662 HAS SOUS 2860574 HAS SOUPS 2841551 WITH SCORE 2846834.702
AT ITER 6720 NEW BEST:: SOT 16765062 SOS 5283702 HAS SOPS 5086662 HAS SOUS 2860076 HAS SOUPS 2841053 WITH SCORE 2846336.702
AT ITER 6742 NEW BEST:: SOT 16765062 SOS 5283413 HAS SOPS 5086373 HAS SOUS 2860076 HAS SOUPS 2841053 WITH SCORE 2846336.413
AT ITER 6772 NEW BEST:: SOT 16765217 SOS 5282869 HAS SOPS 5085765 HAS SOUS 2859468 HAS SOUPS 2840445 WITH SCORE 2845727.869
AT ITER 6777 NEW BEST:: SOT 16765217 SOS 5282869 HAS SOPS 5085765 HAS SOUS 2858986 HAS SOUPS 2839963 WITH SCORE 2845245.869
AT ITER 6806 NEW BEST:: SOT 16765217 SOS 5282760 HAS SOPS 5085656 HAS SOUS 2858882 HAS SOUPS 2839859 WITH SCORE 2845141.76
AT ITER 6850 NEW BEST:: SOT 16765217 SOS 5282728 HAS SOPS 5085624 HAS SOUS 2858850 HAS SOUPS 2839827 WITH SCORE 2845109.728
AT ITER 6908 NEW BEST:: SOT 16765078 SOS 5282728 HAS SOPS 5085624 HAS SOUS 2858711 HAS SOUPS 2839688 WITH SCORE 2844970.728
AT ITER 6910 NEW BEST:: SOT 16764944 SOS 5282460 HAS SOPS 5085356 HAS SOUS 2858577 HAS SOUPS 2839554 WITH SCORE 2844836.46
AT ITER 6946 NEW BEST:: SOT 16764496 SOS 5282500 HAS SOPS 5085396 HAS SOUS 2858169 HAS SOUPS 2839146 WITH SCORE 2844428.5
AT ITER 7005 NEW BEST:: SOT 16764496 SOS 5279590 HAS SOPS 5082486 HAS SOUS 2858169 HAS SOUPS 2839146 WITH SCORE 2844425.59
AT ITER 7009 NEW BEST:: SOT 16764496 SOS 5279412 HAS SOPS 5082308 HAS SOUS 2858169 HAS SOUPS 2839146 WITH SCORE 2844425.412
AT ITER 7012 NEW BEST:: SOT 16764279 SOS 5279204 HAS SOPS 5082100 HAS SOUS 2857952 HAS SOUPS 2838929 WITH SCORE 2844208.204
AT ITER 7019 NEW BEST:: SOT 16764123 SOS 5279053 HAS SOPS 5081949 HAS SOUS 2857796 HAS SOUPS 2838773 WITH SCORE 2844052.053
AT ITER 7026 NEW BEST:: SOT 16773897 SOS 5289170 HAS SOPS 5079360 HAS SOUS 2855792 HAS SOUPS 2836487 WITH SCORE 2841776.17
AT ITER 7031 NEW BEST:: SOT 16773897 SOS 5289170 HAS SOPS 5079360 HAS SOUS 2855737 HAS SOUPS 2836432 WITH SCORE 2841721.17
AT ITER 7052 NEW BEST:: SOT 16773623 SOS 5288911 HAS SOPS 5079101 HAS SOUS 2855528 HAS SOUPS 2836223 WITH SCORE 2841511.911
AT ITER 7125 NEW BEST:: SOT 16773623 SOS 5288776 HAS SOPS 5078966 HAS SOUS 2855528 HAS SOUPS 2836223 WITH SCORE 2841511.776
AT ITER 7163 NEW BEST:: SOT 16773701 SOS 5288854 HAS SOPS 5079044 HAS SOUS 2855384 HAS SOUPS 2836079 WITH SCORE 2841367.854
AT ITER 7190 NEW BEST:: SOT 16773701 SOS 5288764 HAS SOPS 5078954 HAS SOUS 2855294 HAS SOUPS 2835989 WITH SCORE 2841277.764
AT ITER 7247 NEW BEST:: SOT 16773560 SOS 5288697 HAS SOPS 5078887 HAS SOUS 2855285 HAS SOUPS 2835980 WITH SCORE 2841268.697
AT ITER 7249 NEW BEST:: SOT 16773734 SOS 5288871 HAS SOPS 5079061 HAS SOUS 2855017 HAS SOUPS 2835712 WITH SCORE 2841000.871
AT ITER 7268 NEW BEST:: SOT 16773734 SOS 5288871 HAS SOPS 5079061 HAS SOUS 2854990 HAS SOUPS 2835685 WITH SCORE 2840973.871
AT ITER 7271 NEW BEST:: SOT 16773551 SOS 5288694 HAS SOPS 5078884 HAS SOUS 2854806 HAS SOUPS 2835501 WITH SCORE 2840789.694
AT ITER 7340 NEW BEST:: SOT 16773568 SOS 5288711 HAS SOPS 5078901 HAS SOUS 2854801 HAS SOUPS 2835496 WITH SCORE 2840784.711
AT ITER 7342 NEW BEST:: SOT 16773518 SOS 5288711 HAS SOPS 5078901 HAS SOUS 2854751 HAS SOUPS 2835446 WITH SCORE 2840734.711
AT ITER 7351 NEW BEST:: SOT 16773369 SOS 5288566 HAS SOPS 5078756 HAS SOUS 2854602 HAS SOUPS 2835297 WITH SCORE 2840585.566
AT ITER 7387 NEW BEST:: SOT 16773349 SOS 5288566 HAS SOPS 5078756 HAS SOUS 2854582 HAS SOUPS 2835277 WITH SCORE 2840565.566
AT ITER 7396 NEW BEST:: SOT 16773349 SOS 5288566 HAS SOPS 5078756 HAS SOUS 2854457 HAS SOUPS 2835152 WITH SCORE 2840440.566
AT ITER 7406 NEW BEST:: SOT 16773143 SOS 5288509 HAS SOPS 5078699 HAS SOUS 2854441 HAS SOUPS 2835136 WITH SCORE 2840424.509
AT ITER 7412 NEW BEST:: SOT 16773217 SOS 5288583 HAS SOPS 5078773 HAS SOUS 2854023 HAS SOUPS 2834718 WITH SCORE 2840006.583
AT ITER 7435 NEW BEST:: SOT 16773217 SOS 5288438 HAS SOPS 5078628 HAS SOUS 2854023 HAS SOUPS 2834718 WITH SCORE 2840006.438
AT ITER 7452 NEW BEST:: SOT 16773217 SOS 5288475 HAS SOPS 5078665 HAS SOUS 2854022 HAS SOUPS 2834717 WITH SCORE 2840005.475
AT ITER 7493 NEW BEST:: SOT 16773217 SOS 5288164 HAS SOPS 5078354 HAS SOUS 2854022 HAS SOUPS 2834717 WITH SCORE 2840005.164
AT ITER 7495 NEW BEST:: SOT 16773217 SOS 5288164 HAS SOPS 5078354 HAS SOUS 2853520 HAS SOUPS 2834215 WITH SCORE 2839503.164
AT ITER 7515 NEW BEST:: SOT 16772426 SOS 5287949 HAS SOPS 5078139 HAS SOUS 2852966 HAS SOUPS 2833661 WITH SCORE 2838948.949
AT ITER 7542 NEW BEST:: SOT 16772145 SOS 5287729 HAS SOPS 5077919 HAS SOUS 2852685 HAS SOUPS 2833380 WITH SCORE 2838667.729
AT ITER 7581 NEW BEST:: SOT 16772104 SOS 5287729 HAS SOPS 5077919 HAS SOUS 2852644 HAS SOUPS 2833339 WITH SCORE 2838626.729
AT ITER 7609 NEW BEST:: SOT 16771755 SOS 5287926 HAS SOPS 5078116 HAS SOUS 2852492 HAS SOUPS 2833187 WITH SCORE 2838474.926
AT ITER 7622 NEW BEST:: SOT 16771755 SOS 5287627 HAS SOPS 5077817 HAS SOUS 2852492 HAS SOUPS 2833187 WITH SCORE 2838474.627
AT ITER 7689 NEW BEST:: SOT 16771755 SOS 5287627 HAS SOPS 5077817 HAS SOUS 2852265 HAS SOUPS 2832960 WITH SCORE 2838247.627
AT ITER 7714 NEW BEST:: SOT 16771755 SOS 5287288 HAS SOPS 5077478 HAS SOUS 2852265 HAS SOUPS 2832960 WITH SCORE 2838247.288
AT ITER 7801 NEW BEST:: SOT 16771755 SOS 5287019 HAS SOPS 5077209 HAS SOUS 2852265 HAS SOUPS 2832960 WITH SCORE 2838247.019
AT ITER 7829 NEW BEST:: SOT 16771549 SOS 5286821 HAS SOPS 5077011 HAS SOUS 2852059 HAS SOUPS 2832754 WITH SCORE 2838040.821
AT ITER 7899 NEW BEST:: SOT 16771466 SOS 5286500 HAS SOPS 5076690 HAS SOUS 2851893 HAS SOUPS 2832588 WITH SCORE 2837874.5
AT ITER 7913 NEW BEST:: SOT 16771133 SOS 5286182 HAS SOPS 5076372 HAS SOUS 2851560 HAS SOUPS 2832255 WITH SCORE 2837541.182
AT ITER 7916 NEW BEST:: SOT 16771133 SOS 5286055 HAS SOPS 5076245 HAS SOUS 2851560 HAS SOUPS 2832255 WITH SCORE 2837541.055
AT ITER 7918 NEW BEST:: SOT 16770931 SOS 5286124 HAS SOPS 5076314 HAS SOUS 2851432 HAS SOUPS 2832127 WITH SCORE 2837413.124
AT ITER 7977 NEW BEST:: SOT 16770931 SOS 5286114 HAS SOPS 5076304 HAS SOUS 2851432 HAS SOUPS 2832127 WITH SCORE 2837413.114
AT ITER 7991 NEW BEST:: SOT 16770931 SOS 5285830 HAS SOPS 5076020 HAS SOUS 2851432 HAS SOUPS 2832127 WITH SCORE 2837412.83
AT ITER 8065 NEW BEST:: SOT 16770445 SOS 5284858 HAS SOPS 5075048 HAS SOUS 2850460 HAS SOUPS 2831155 WITH SCORE 2836439.858
AT ITER 8081 NEW BEST:: SOT 16770227 SOS 5284649 HAS SOPS 5074839 HAS SOUS 2850242 HAS SOUPS 2830937 WITH SCORE 2836221.649
AT ITER 8090 NEW BEST:: SOT 16770227 SOS 5284649 HAS SOPS 5074839 HAS SOUS 2850073 HAS SOUPS 2830768 WITH SCORE 2836052.649
AT ITER 8092 NEW BEST:: SOT 16770227 SOS 5284563 HAS SOPS 5074753 HAS SOUS 2850073 HAS SOUPS 2830768 WITH SCORE 2836052.563
AT ITER 8099 NEW BEST:: SOT 16769431 SOS 5283389 HAS SOPS 5073511 HAS SOUS 2849230 HAS SOUPS 2829925 WITH SCORE 2835208.389
AT ITER 8125 NEW BEST:: SOT 16769423 SOS 5283364 HAS SOPS 5073486 HAS SOUS 2849205 HAS SOUPS 2829900 WITH SCORE 2835183.364
AT ITER 8142 NEW BEST:: SOT 16768233 SOS 5284718 HAS SOPS 5074919 HAS SOUS 2848461 HAS SOUPS 2829156 WITH SCORE 2834440.718
AT ITER 8177 NEW BEST:: SOT 16768074 SOS 5284841 HAS SOPS 5074883 HAS SOUS 2848316 HAS SOUPS 2828852 WITH SCORE 2834136.841
AT ITER 8186 NEW BEST:: SOT 16768018 SOS 5284785 HAS SOPS 5074827 HAS SOUS 2848316 HAS SOUPS 2828852 WITH SCORE 2834136.785
AT ITER 8205 NEW BEST:: SOT 16768018 SOS 5284513 HAS SOPS 5074555 HAS SOUS 2848316 HAS SOUPS 2828852 WITH SCORE 2834136.513
AT ITER 8238 NEW BEST:: SOT 16768018 SOS 5284324 HAS SOPS 5074366 HAS SOUS 2848316 HAS SOUPS 2828852 WITH SCORE 2834136.324
AT ITER 8263 NEW BEST:: SOT 16768018 SOS 5284214 HAS SOPS 5074256 HAS SOUS 2848316 HAS SOUPS 2828852 WITH SCORE 2834136.214
AT ITER 8269 NEW BEST:: SOT 16767335 SOS 5291676 HAS SOPS 5073446 HAS SOUS 2847966 HAS SOUPS 2828091 WITH SCORE 2833382.676
AT ITER 8353 NEW BEST:: SOT 16766812 SOS 5291153 HAS SOPS 5072923 HAS SOUS 2847443 HAS SOUPS 2827568 WITH SCORE 2832859.153
AT ITER 8363 NEW BEST:: SOT 16767015 SOS 5291356 HAS SOPS 5073126 HAS SOUS 2847311 HAS SOUPS 2827436 WITH SCORE 2832727.356
AT ITER 8373 NEW BEST:: SOT 16766980 SOS 5291321 HAS SOPS 5073091 HAS SOUS 2847241 HAS SOUPS 2827366 WITH SCORE 2832657.321
AT ITER 8383 NEW BEST:: SOT 16766980 SOS 5291321 HAS SOPS 5073091 HAS SOUS 2846826 HAS SOUPS 2826951 WITH SCORE 2832242.321
AT ITER 8384 NEW BEST:: SOT 16766845 SOS 5291186 HAS SOPS 5072956 HAS SOUS 2846737 HAS SOUPS 2826862 WITH SCORE 2832153.186
AT ITER 8387 NEW BEST:: SOT 16766691 SOS 5291056 HAS SOPS 5072826 HAS SOUS 2846618 HAS SOUPS 2826743 WITH SCORE 2832034.056
AT ITER 8448 NEW BEST:: SOT 16766493 SOS 5292703 HAS SOPS 5074473 HAS SOUS 2846565 HAS SOUPS 2826690 WITH SCORE 2831982.703
AT ITER 8513 NEW BEST:: SOT 16766493 SOS 5292569 HAS SOPS 5074339 HAS SOUS 2846565 HAS SOUPS 2826690 WITH SCORE 2831982.569
AT ITER 8523 NEW BEST:: SOT 16766334 SOS 5292415 HAS SOPS 5074185 HAS SOUS 2846406 HAS SOUPS 2826531 WITH SCORE 2831823.415
AT ITER 8549 NEW BEST:: SOT 16766334 SOS 5292088 HAS SOPS 5073858 HAS SOUS 2846406 HAS SOUPS 2826531 WITH SCORE 2831823.088
AT ITER 8552 NEW BEST:: SOT 16766334 SOS 5292088 HAS SOPS 5073858 HAS SOUS 2845939 HAS SOUPS 2826064 WITH SCORE 2831356.088
AT ITER 8591 NEW BEST:: SOT 16766334 SOS 5291908 HAS SOPS 5073678 HAS SOUS 2845938 HAS SOUPS 2826063 WITH SCORE 2831354.908
AT ITER 8594 NEW BEST:: SOT 16765161 SOS 5297862 HAS SOPS 5072071 HAS SOUS 2845231 HAS SOUPS 2824900 WITH SCORE 2830197.862
AT ITER 8608 NEW BEST:: SOT 16765057 SOS 5297758 HAS SOPS 5071967 HAS SOUS 2845023 HAS SOUPS 2824692 WITH SCORE 2829989.758
AT ITER 8633 NEW BEST:: SOT 16765057 SOS 5297758 HAS SOPS 5071967 HAS SOUS 2845015 HAS SOUPS 2824684 WITH SCORE 2829981.758
AT ITER 8644 NEW BEST:: SOT 16763668 SOS 5311016 HAS SOPS 5070927 HAS SOUS 2844331 HAS SOUPS 2823301 WITH SCORE 2828612.016
AT ITER 8697 NEW BEST:: SOT 16763358 SOS 5311016 HAS SOPS 5070927 HAS SOUS 2844021 HAS SOUPS 2822991 WITH SCORE 2828302.016
AT ITER 8731 NEW BEST:: SOT 16763168 SOS 5310924 HAS SOPS 5070645 HAS SOUS 2843829 HAS SOUPS 2822611 WITH SCORE 2827921.924
AT ITER 8735 NEW BEST:: SOT 16763168 SOS 5310924 HAS SOPS 5070645 HAS SOUS 2843451 HAS SOUPS 2822233 WITH SCORE 2827543.924
AT ITER 8853 NEW BEST:: SOT 16763168 SOS 5310924 HAS SOPS 5070645 HAS SOUS 2843339 HAS SOUPS 2822121 WITH SCORE 2827431.924
AT ITER 8873 NEW BEST:: SOT 16761817 SOS 5310053 HAS SOPS 5069294 HAS SOUS 2843211 HAS SOUPS 2821897 WITH SCORE 2827207.053
AT ITER 8880 NEW BEST:: SOT 16761817 SOS 5310053 HAS SOPS 5069294 HAS SOUS 2842951 HAS SOUPS 2821637 WITH SCORE 2826947.053
AT ITER 8901 NEW BEST:: SOT 16762145 SOS 5310381 HAS SOPS 5069622 HAS SOUS 2842914 HAS SOUPS 2821600 WITH SCORE 2826910.381
AT ITER 8945 NEW BEST:: SOT 16762342 SOS 5310578 HAS SOPS 5069819 HAS SOUS 2842680 HAS SOUPS 2821366 WITH SCORE 2826676.578
AT ITER 8954 NEW BEST:: SOT 16762342 SOS 5310578 HAS SOPS 5069819 HAS SOUS 2842295 HAS SOUPS 2820981 WITH SCORE 2826291.578
AT ITER 8958 NEW BEST:: SOT 16762246 SOS 5310492 HAS SOPS 5069733 HAS SOUS 2842215 HAS SOUPS 2820901 WITH SCORE 2826211.492
AT ITER 8959 NEW BEST:: SOT 16762246 SOS 5310492 HAS SOPS 5069733 HAS SOUS 2841837 HAS SOUPS 2820523 WITH SCORE 2825833.492
AT ITER 8970 NEW BEST:: SOT 16762093 SOS 5310622 HAS SOPS 5069710 HAS SOUS 2841628 HAS SOUPS 2820224 WITH SCORE 2825534.622
AT ITER 8971 NEW BEST:: SOT 16762093 SOS 5310611 HAS SOPS 5069699 HAS SOUS 2841628 HAS SOUPS 2820224 WITH SCORE 2825534.611
AT ITER 8989 NEW BEST:: SOT 16762093 SOS 5310611 HAS SOPS 5069699 HAS SOUS 2841188 HAS SOUPS 2819784 WITH SCORE 2825094.611
AT ITER 8992 NEW BEST:: SOT 16762093 SOS 5310278 HAS SOPS 5069366 HAS SOUS 2841086 HAS SOUPS 2819682 WITH SCORE 2824992.278
AT ITER 8994 NEW BEST:: SOT 16761943 SOS 5310185 HAS SOPS 5069273 HAS SOUS 2840987 HAS SOUPS 2819583 WITH SCORE 2824893.185
AT ITER 9039 NEW BEST:: SOT 16761573 SOS 5310382 HAS SOPS 5069470 HAS SOUS 2840908 HAS SOUPS 2819504 WITH SCORE 2824814.382
AT ITER 9098 NEW BEST:: SOT 16761614 SOS 5309426 HAS SOPS 5068514 HAS SOUS 2840896 HAS SOUPS 2819492 WITH SCORE 2824801.426
AT ITER 9103 NEW BEST:: SOT 16761524 SOS 5309426 HAS SOPS 5068514 HAS SOUS 2840806 HAS SOUPS 2819402 WITH SCORE 2824711.426
AT ITER 9123 NEW BEST:: SOT 16761524 SOS 5309425 HAS SOPS 5068513 HAS SOUS 2840806 HAS SOUPS 2819402 WITH SCORE 2824711.425
AT ITER 9126 NEW BEST:: SOT 16747192 SOS 5304036 HAS SOPS 5063124 HAS SOUS 2826835 HAS SOUPS 2805431 WITH SCORE 2810735.036
AT ITER 9134 NEW BEST:: SOT 16747214 SOS 5304141 HAS SOPS 5063229 HAS SOUS 2826806 HAS SOUPS 2805402 WITH SCORE 2810706.141
AT ITER 9140 NEW BEST:: SOT 16747170 SOS 5304053 HAS SOPS 5063141 HAS SOUS 2826762 HAS SOUPS 2805358 WITH SCORE 2810662.053
AT ITER 9142 NEW BEST:: SOT 16747006 SOS 5303889 HAS SOPS 5062977 HAS SOUS 2826434 HAS SOUPS 2805030 WITH SCORE 2810333.889
AT ITER 9167 NEW BEST:: SOT 16747006 SOS 5303757 HAS SOPS 5062845 HAS SOUS 2826434 HAS SOUPS 2805030 WITH SCORE 2810333.757
AT ITER 9225 NEW BEST:: SOT 16746999 SOS 5307732 HAS SOPS 5062698 HAS SOUS 2822313 HAS SOUPS 2800909 WITH SCORE 2806216.732
AT ITER 9234 NEW BEST:: SOT 16746686 SOS 5306865 HAS SOPS 5061430 HAS SOUS 2821045 HAS SOUPS 2799641 WITH SCORE 2804947.865
AT ITER 9260 NEW BEST:: SOT 16746635 SOS 5306706 HAS SOPS 5061271 HAS SOUS 2820886 HAS SOUPS 2799482 WITH SCORE 2804788.706
AT ITER 9297 NEW BEST:: SOT 16746635 SOS 5306706 HAS SOPS 5061271 HAS SOUS 2820588 HAS SOUPS 2799184 WITH SCORE 2804490.706
AT ITER 9325 NEW BEST:: SOT 16746635 SOS 5306706 HAS SOPS 5061271 HAS SOUS 2820301 HAS SOUPS 2798897 WITH SCORE 2804203.706
AT ITER 9340 NEW BEST:: SOT 16746489 SOS 5306560 HAS SOPS 5061125 HAS SOUS 2820155 HAS SOUPS 2798751 WITH SCORE 2804057.56
AT ITER 9371 NEW BEST:: SOT 16746102 SOS 5306784 HAS SOPS 5061349 HAS SOUS 2819992 HAS SOUPS 2798588 WITH SCORE 2803894.784
AT ITER 9396 NEW BEST:: SOT 16745927 SOS 5325269 HAS SOPS 5060394 HAS SOUS 2820187 HAS SOUPS 2797777 WITH SCORE 2803102.269
AT ITER 9424 NEW BEST:: SOT 16745888 SOS 5325269 HAS SOPS 5060394 HAS SOUS 2820148 HAS SOUPS 2797738 WITH SCORE 2803063.269
AT ITER 9443 NEW BEST:: SOT 16746131 SOS 5325512 HAS SOPS 5060637 HAS SOUS 2819902 HAS SOUPS 2797492 WITH SCORE 2802817.512
AT ITER 9461 NEW BEST:: SOT 16745538 SOS 5324326 HAS SOPS 5059451 HAS SOUS 2819309 HAS SOUPS 2796899 WITH SCORE 2802223.326
AT ITER 9462 NEW BEST:: SOT 16745417 SOS 5324800 HAS SOPS 5059676 HAS SOUS 2819504 HAS SOUPS 2796847 WITH SCORE 2802171.8
AT ITER 9491 NEW BEST:: SOT 16745477 SOS 5324860 HAS SOPS 5059736 HAS SOUS 2819424 HAS SOUPS 2796767 WITH SCORE 2802091.86
AT ITER 9533 NEW BEST:: SOT 16745074 SOS 5324860 HAS SOPS 5059736 HAS SOUS 2819021 HAS SOUPS 2796364 WITH SCORE 2801688.86
AT ITER 9562 NEW BEST:: SOT 16745074 SOS 5324643 HAS SOPS 5059519 HAS SOUS 2819021 HAS SOUPS 2796364 WITH SCORE 2801688.643
AT ITER 9584 NEW BEST:: SOT 16744747 SOS 5324316 HAS SOPS 5058865 HAS SOUS 2818692 HAS SOUPS 2795710 WITH SCORE 2801034.316
AT ITER 9613 NEW BEST:: SOT 16744747 SOS 5324316 HAS SOPS 5058865 HAS SOUS 2818683 HAS SOUPS 2795701 WITH SCORE 2801025.316
AT ITER 9627 NEW BEST:: SOT 16744747 SOS 5324307 HAS SOPS 5058856 HAS SOUS 2818683 HAS SOUPS 2795701 WITH SCORE 2801025.307
AT ITER 9637 NEW BEST:: SOT 16743476 SOS 5326595 HAS SOPS 5061260 HAS SOUS 2817528 HAS SOUPS 2794546 WITH SCORE 2799872.595
AT ITER 9668 NEW BEST:: SOT 16742034 SOS 5333869 HAS SOPS 5069117 HAS SOUS 2817328 HAS SOUPS 2794346 WITH SCORE 2799679.869
AT ITER 9680 NEW BEST:: SOT 16742034 SOS 5333869 HAS SOPS 5069117 HAS SOUS 2817288 HAS SOUPS 2794306 WITH SCORE 2799639.869
AT ITER 9712 NEW BEST:: SOT 16742034 SOS 5333694 HAS SOPS 5068942 HAS SOUS 2817288 HAS SOUPS 2794306 WITH SCORE 2799639.694
AT ITER 9769 NEW BEST:: SOT 16741997 SOS 5333657 HAS SOPS 5068905 HAS SOUS 2817214 HAS SOUPS 2794232 WITH SCORE 2799565.657
AT ITER 9784 NEW BEST:: SOT 16741629 SOS 5333289 HAS SOPS 5068537 HAS SOUS 2816846 HAS SOUPS 2793864 WITH SCORE 2799197.289
AT ITER 9799 NEW BEST:: SOT 16741975 SOS 5333635 HAS SOPS 5068883 HAS SOUS 2816836 HAS SOUPS 2793854 WITH SCORE 2799187.635
AT ITER 9815 NEW BEST:: SOT 16741878 SOS 5333538 HAS SOPS 5068786 HAS SOUS 2816825 HAS SOUPS 2793843 WITH SCORE 2799176.538
AT ITER 9844 NEW BEST:: SOT 16741865 SOS 5334252 HAS SOPS 5069095 HAS SOUS 2817202 HAS SOUPS 2793817 WITH SCORE 2799151.252
AT ITER 9888 NEW BEST:: SOT 16741865 SOS 5334252 HAS SOPS 5069095 HAS SOUS 2817183 HAS SOUPS 2793798 WITH SCORE 2799132.252
AT ITER 9891 NEW BEST:: SOT 16741865 SOS 5334252 HAS SOPS 5069095 HAS SOUS 2816755 HAS SOUPS 2793370 WITH SCORE 2798704.252
AT ITER 9965 NEW BEST:: SOT 16741865 SOS 5334252 HAS SOPS 5069095 HAS SOUS 2816287 HAS SOUPS 2792902 WITH SCORE 2798236.252
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3155868 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114348 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S32C2"
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 LeafsetExtension-PT-S32C2, 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 r235-tall-167856421900504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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