About the Execution of Smart+red for AutoFlight-PT-24b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7174.955 | 3600000.00 | 3667587.00 | 160.90 | [undef] | Time out reached |
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.r011-oct2-167813600300496.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-24b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300496
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 884K
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 18:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 18:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 538K 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 1678736639249
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=AutoFlight-PT-24b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:44:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:44:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:44:03] [INFO ] Load time of PNML (sax parser for PT used): 124 ms
[2023-03-13 19:44:03] [INFO ] Transformed 2230 places.
[2023-03-13 19:44:03] [INFO ] Transformed 2228 transitions.
[2023-03-13 19:44:03] [INFO ] Found NUPN structural information;
[2023-03-13 19:44:03] [INFO ] Parsed PT model containing 2230 places and 2228 transitions and 5186 arcs in 296 ms.
[2023-03-13 19:44:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2230 places, 2228 transitions and 5186 arcs took 19 ms.
Total runtime 347 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24b
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: 2230 places, 2228 transitions, 5186 arcs.
AT ITER 0 NEW BEST:: SOT 2675094 SOS 377951 HAS SOPS 377951 HAS SOUS 349436 HAS SOUPS 349436 WITH SCORE 349813.951
AT ITER 19 NEW BEST:: SOT 2675032 SOS 377889 HAS SOPS 377889 HAS SOUS 349374 HAS SOUPS 349374 WITH SCORE 349751.889
AT ITER 23 NEW BEST:: SOT 2675017 SOS 377873 HAS SOPS 377873 HAS SOUS 349358 HAS SOUPS 349358 WITH SCORE 349735.873
AT ITER 36 NEW BEST:: SOT 2674995 SOS 377830 HAS SOPS 377830 HAS SOUS 349315 HAS SOUPS 349315 WITH SCORE 349692.83
AT ITER 41 NEW BEST:: SOT 2674867 SOS 377675 HAS SOPS 377675 HAS SOUS 349160 HAS SOUPS 349160 WITH SCORE 349537.675
AT ITER 70 NEW BEST:: SOT 2674776 SOS 377493 HAS SOPS 377493 HAS SOUS 349068 HAS SOUPS 349068 WITH SCORE 349445.493
AT ITER 91 NEW BEST:: SOT 2674776 SOS 377353 HAS SOPS 377353 HAS SOUS 349067 HAS SOUPS 349067 WITH SCORE 349444.353
AT ITER 100 NEW BEST:: SOT 2674776 SOS 377256 HAS SOPS 377256 HAS SOUS 348970 HAS SOUPS 348970 WITH SCORE 349347.256
AT ITER 166 NEW BEST:: SOT 2674670 SOS 377070 HAS SOPS 377070 HAS SOUS 348784 HAS SOUPS 348784 WITH SCORE 349161.07
AT ITER 168 NEW BEST:: SOT 2674724 SOS 376870 HAS SOPS 376870 HAS SOUS 348584 HAS SOUPS 348584 WITH SCORE 348960.87
AT ITER 172 NEW BEST:: SOT 2674489 SOS 376635 HAS SOPS 376635 HAS SOUS 348583 HAS SOUPS 348583 WITH SCORE 348959.635
AT ITER 174 NEW BEST:: SOT 2674456 SOS 376511 HAS SOPS 376511 HAS SOUS 348377 HAS SOUPS 348377 WITH SCORE 348753.511
AT ITER 211 NEW BEST:: SOT 2674431 SOS 376781 HAS SOPS 376781 HAS SOUS 348352 HAS SOUPS 348352 WITH SCORE 348728.781
AT ITER 236 NEW BEST:: SOT 2674356 SOS 376556 HAS SOPS 376556 HAS SOUS 348276 HAS SOUPS 348276 WITH SCORE 348652.556
AT ITER 318 NEW BEST:: SOT 2674073 SOS 376264 HAS SOPS 376264 HAS SOUS 347791 HAS SOUPS 347791 WITH SCORE 348167.264
AT ITER 319 NEW BEST:: SOT 2674024 SOS 376166 HAS SOPS 376166 HAS SOUS 347533 HAS SOUPS 347533 WITH SCORE 347909.166
AT ITER 336 NEW BEST:: SOT 2674024 SOS 376089 HAS SOPS 376089 HAS SOUS 347533 HAS SOUPS 347533 WITH SCORE 347909.089
AT ITER 348 NEW BEST:: SOT 2674023 SOS 376088 HAS SOPS 376088 HAS SOUS 347532 HAS SOUPS 347532 WITH SCORE 347908.088
AT ITER 350 NEW BEST:: SOT 2673767 SOS 375880 HAS SOPS 375880 HAS SOUS 347532 HAS SOUPS 347532 WITH SCORE 347907.88
AT ITER 395 NEW BEST:: SOT 2673767 SOS 375880 HAS SOPS 375880 HAS SOUS 347364 HAS SOUPS 347364 WITH SCORE 347739.88
AT ITER 427 NEW BEST:: SOT 2673767 SOS 375833 HAS SOPS 375833 HAS SOUS 347317 HAS SOUPS 347317 WITH SCORE 347692.833
AT ITER 431 NEW BEST:: SOT 2673698 SOS 375695 HAS SOPS 375695 HAS SOUS 347248 HAS SOUPS 347248 WITH SCORE 347623.695
AT ITER 471 NEW BEST:: SOT 2673618 SOS 375635 HAS SOPS 375635 HAS SOUS 347180 HAS SOUPS 347180 WITH SCORE 347555.635
AT ITER 477 NEW BEST:: SOT 2673618 SOS 375545 HAS SOPS 375545 HAS SOUS 347090 HAS SOUPS 347090 WITH SCORE 347465.545
AT ITER 499 NEW BEST:: SOT 2673571 SOS 375451 HAS SOPS 375451 HAS SOUS 346815 HAS SOUPS 346815 WITH SCORE 347190.451
AT ITER 564 NEW BEST:: SOT 2673553 SOS 375241 HAS SOPS 375241 HAS SOUS 346797 HAS SOUPS 346797 WITH SCORE 347172.241
AT ITER 611 NEW BEST:: SOT 2673461 SOS 375122 HAS SOPS 375122 HAS SOUS 346678 HAS SOUPS 346678 WITH SCORE 347053.122
AT ITER 625 NEW BEST:: SOT 2673445 SOS 375110 HAS SOPS 375110 HAS SOUS 346678 HAS SOUPS 346678 WITH SCORE 347053.11
AT ITER 677 NEW BEST:: SOT 2673287 SOS 374968 HAS SOPS 374968 HAS SOUS 346520 HAS SOUPS 346520 WITH SCORE 346894.968
AT ITER 682 NEW BEST:: SOT 2673286 SOS 374966 HAS SOPS 374966 HAS SOUS 346518 HAS SOUPS 346518 WITH SCORE 346892.966
AT ITER 688 NEW BEST:: SOT 2673050 SOS 374682 HAS SOPS 374682 HAS SOUS 346234 HAS SOUPS 346234 WITH SCORE 346608.682
AT ITER 746 NEW BEST:: SOT 2672956 SOS 374588 HAS SOPS 374588 HAS SOUS 346234 HAS SOUPS 346234 WITH SCORE 346608.588
AT ITER 751 NEW BEST:: SOT 2672894 SOS 374526 HAS SOPS 374526 HAS SOUS 346172 HAS SOUPS 346172 WITH SCORE 346546.526
AT ITER 773 NEW BEST:: SOT 2672731 SOS 374398 HAS SOPS 374398 HAS SOUS 346009 HAS SOUPS 346009 WITH SCORE 346383.398
AT ITER 774 NEW BEST:: SOT 2672698 SOS 374332 HAS SOPS 374332 HAS SOUS 345943 HAS SOUPS 345943 WITH SCORE 346317.332
AT ITER 805 NEW BEST:: SOT 2672698 SOS 374332 HAS SOPS 374332 HAS SOUS 345899 HAS SOUPS 345899 WITH SCORE 346273.332
AT ITER 812 NEW BEST:: SOT 2672698 SOS 374332 HAS SOPS 374332 HAS SOUS 345898 HAS SOUPS 345898 WITH SCORE 346272.332
AT ITER 935 NEW BEST:: SOT 2672609 SOS 374294 HAS SOPS 374294 HAS SOUS 345827 HAS SOUPS 345827 WITH SCORE 346201.294
AT ITER 951 NEW BEST:: SOT 2672498 SOS 374072 HAS SOPS 374072 HAS SOUS 345425 HAS SOUPS 345425 WITH SCORE 345799.072
AT ITER 972 NEW BEST:: SOT 2672317 SOS 373710 HAS SOPS 373710 HAS SOUS 345244 HAS SOUPS 345244 WITH SCORE 345617.71
AT ITER 988 NEW BEST:: SOT 2672317 SOS 373648 HAS SOPS 373648 HAS SOUS 345182 HAS SOUPS 345182 WITH SCORE 345555.648
AT ITER 1010 NEW BEST:: SOT 2672317 SOS 373432 HAS SOPS 373432 HAS SOUS 345110 HAS SOUPS 345110 WITH SCORE 345483.432
AT ITER 1063 NEW BEST:: SOT 2672315 SOS 373428 HAS SOPS 373428 HAS SOUS 345107 HAS SOUPS 345107 WITH SCORE 345480.428
AT ITER 1084 NEW BEST:: SOT 2672277 SOS 373409 HAS SOPS 373409 HAS SOUS 345069 HAS SOUPS 345069 WITH SCORE 345442.409
AT ITER 1096 NEW BEST:: SOT 2672266 SOS 373821 HAS SOPS 373821 HAS SOUS 345031 HAS SOUPS 345031 WITH SCORE 345404.821
AT ITER 1106 NEW BEST:: SOT 2672266 SOS 373742 HAS SOPS 373742 HAS SOUS 344952 HAS SOUPS 344952 WITH SCORE 345325.742
AT ITER 1136 NEW BEST:: SOT 2672203 SOS 374056 HAS SOPS 374056 HAS SOUS 344826 HAS SOUPS 344826 WITH SCORE 345200.056
AT ITER 1227 NEW BEST:: SOT 2672066 SOS 373782 HAS SOPS 373782 HAS SOUS 344689 HAS SOUPS 344689 WITH SCORE 345062.782
AT ITER 1257 NEW BEST:: SOT 2671826 SOS 373302 HAS SOPS 373302 HAS SOUS 344604 HAS SOUPS 344604 WITH SCORE 344977.302
AT ITER 1271 NEW BEST:: SOT 2671662 SOS 373119 HAS SOPS 373119 HAS SOUS 344440 HAS SOUPS 344440 WITH SCORE 344813.119
AT ITER 1288 NEW BEST:: SOT 2671332 SOS 372981 HAS SOPS 372981 HAS SOUS 344110 HAS SOUPS 344110 WITH SCORE 344482.981
AT ITER 1307 NEW BEST:: SOT 2671248 SOS 372896 HAS SOPS 372896 HAS SOUS 344025 HAS SOUPS 344025 WITH SCORE 344397.896
AT ITER 1318 NEW BEST:: SOT 2671248 SOS 372884 HAS SOPS 372884 HAS SOUS 344025 HAS SOUPS 344025 WITH SCORE 344397.884
AT ITER 1332 NEW BEST:: SOT 2671248 SOS 372781 HAS SOPS 372781 HAS SOUS 344021 HAS SOUPS 344021 WITH SCORE 344393.781
AT ITER 1348 NEW BEST:: SOT 2671248 SOS 372781 HAS SOPS 372781 HAS SOUS 343858 HAS SOUPS 343858 WITH SCORE 344230.781
AT ITER 1356 NEW BEST:: SOT 2671248 SOS 372781 HAS SOPS 372781 HAS SOUS 343857 HAS SOUPS 343857 WITH SCORE 344229.781
AT ITER 1358 NEW BEST:: SOT 2671233 SOS 372751 HAS SOPS 372751 HAS SOUS 343842 HAS SOUPS 343842 WITH SCORE 344214.751
AT ITER 1363 NEW BEST:: SOT 2671233 SOS 372751 HAS SOPS 372751 HAS SOUS 343572 HAS SOUPS 343572 WITH SCORE 343944.751
AT ITER 1383 NEW BEST:: SOT 2671233 SOS 372750 HAS SOPS 372750 HAS SOUS 343571 HAS SOUPS 343571 WITH SCORE 343943.75
AT ITER 1386 NEW BEST:: SOT 2671233 SOS 372615 HAS SOPS 372615 HAS SOUS 343436 HAS SOUPS 343436 WITH SCORE 343808.615
AT ITER 1443 NEW BEST:: SOT 2671092 SOS 372743 HAS SOPS 372743 HAS SOUS 343340 HAS SOUPS 343340 WITH SCORE 343712.743
AT ITER 1473 NEW BEST:: SOT 2670815 SOS 372959 HAS SOPS 372959 HAS SOUS 343115 HAS SOUPS 343115 WITH SCORE 343487.959
AT ITER 1485 NEW BEST:: SOT 2670634 SOS 373365 HAS SOPS 373365 HAS SOUS 342742 HAS SOUPS 342742 WITH SCORE 343115.365
AT ITER 1486 NEW BEST:: SOT 2670634 SOS 373303 HAS SOPS 373303 HAS SOUS 342680 HAS SOUPS 342680 WITH SCORE 343053.303
AT ITER 1507 NEW BEST:: SOT 2670270 SOS 372939 HAS SOPS 372939 HAS SOUS 342193 HAS SOUPS 342193 WITH SCORE 342565.939
AT ITER 1517 NEW BEST:: SOT 2670155 SOS 372957 HAS SOPS 372957 HAS SOUS 341878 HAS SOUPS 341878 WITH SCORE 342250.957
AT ITER 1540 NEW BEST:: SOT 2670155 SOS 372862 HAS SOPS 372862 HAS SOUS 341783 HAS SOUPS 341783 WITH SCORE 342155.862
AT ITER 1615 NEW BEST:: SOT 2670087 SOS 372861 HAS SOPS 372861 HAS SOUS 341782 HAS SOUPS 341782 WITH SCORE 342154.861
AT ITER 1659 NEW BEST:: SOT 2670141 SOS 372737 HAS SOPS 372737 HAS SOUS 341658 HAS SOUPS 341658 WITH SCORE 342030.737
AT ITER 1696 NEW BEST:: SOT 2670141 SOS 372737 HAS SOPS 372737 HAS SOUS 341657 HAS SOUPS 341657 WITH SCORE 342029.737
AT ITER 1719 NEW BEST:: SOT 2670141 SOS 372736 HAS SOPS 372736 HAS SOUS 341656 HAS SOUPS 341656 WITH SCORE 342028.736
AT ITER 1736 NEW BEST:: SOT 2669889 SOS 372275 HAS SOPS 372275 HAS SOUS 340943 HAS SOUPS 340943 WITH SCORE 341315.275
AT ITER 1754 NEW BEST:: SOT 2669774 SOS 371982 HAS SOPS 371982 HAS SOUS 340837 HAS SOUPS 340837 WITH SCORE 341208.982
AT ITER 1779 NEW BEST:: SOT 2669684 SOS 371802 HAS SOPS 371802 HAS SOUS 340717 HAS SOUPS 340717 WITH SCORE 341088.802
AT ITER 1800 NEW BEST:: SOT 2669684 SOS 371802 HAS SOPS 371802 HAS SOUS 340689 HAS SOUPS 340689 WITH SCORE 341060.802
AT ITER 1804 NEW BEST:: SOT 2669410 SOS 371898 HAS SOPS 371898 HAS SOUS 340494 HAS SOUPS 340494 WITH SCORE 340865.898
AT ITER 1829 NEW BEST:: SOT 2669412 SOS 371669 HAS SOPS 371669 HAS SOUS 340265 HAS SOUPS 340265 WITH SCORE 340636.669
AT ITER 1831 NEW BEST:: SOT 2669412 SOS 371669 HAS SOPS 371669 HAS SOUS 340146 HAS SOUPS 340146 WITH SCORE 340517.669
AT ITER 1841 NEW BEST:: SOT 2669358 SOS 371412 HAS SOPS 371412 HAS SOUS 340050 HAS SOUPS 340050 WITH SCORE 340421.412
AT ITER 1908 NEW BEST:: SOT 2669439 SOS 370922 HAS SOPS 370922 HAS SOUS 339999 HAS SOUPS 339999 WITH SCORE 340369.922
AT ITER 1913 NEW BEST:: SOT 2669439 SOS 370921 HAS SOPS 370921 HAS SOUS 339998 HAS SOUPS 339998 WITH SCORE 340368.921
AT ITER 1929 NEW BEST:: SOT 2669344 SOS 370731 HAS SOPS 370731 HAS SOUS 339903 HAS SOUPS 339903 WITH SCORE 340273.731
AT ITER 1939 NEW BEST:: SOT 2669314 SOS 370729 HAS SOPS 370729 HAS SOUS 339901 HAS SOUPS 339901 WITH SCORE 340271.729
AT ITER 1940 NEW BEST:: SOT 2669314 SOS 370729 HAS SOPS 370729 HAS SOUS 339900 HAS SOUPS 339900 WITH SCORE 340270.729
AT ITER 1945 NEW BEST:: SOT 2669314 SOS 370729 HAS SOPS 370729 HAS SOUS 339899 HAS SOUPS 339899 WITH SCORE 340269.729
AT ITER 1951 NEW BEST:: SOT 2669206 SOS 370621 HAS SOPS 370621 HAS SOUS 339791 HAS SOUPS 339791 WITH SCORE 340161.621
AT ITER 1952 NEW BEST:: SOT 2668930 SOS 370217 HAS SOPS 370217 HAS SOUS 339367 HAS SOUPS 339367 WITH SCORE 339737.217
AT ITER 1954 NEW BEST:: SOT 2668903 SOS 370190 HAS SOPS 370190 HAS SOUS 339340 HAS SOUPS 339340 WITH SCORE 339710.19
AT ITER 1956 NEW BEST:: SOT 2668804 SOS 369992 HAS SOPS 369992 HAS SOUS 339340 HAS SOUPS 339340 WITH SCORE 339709.992
AT ITER 1961 NEW BEST:: SOT 2668683 SOS 369540 HAS SOPS 369540 HAS SOUS 339072 HAS SOUPS 339072 WITH SCORE 339441.54
AT ITER 1962 NEW BEST:: SOT 2668710 SOS 369539 HAS SOPS 369539 HAS SOUS 339071 HAS SOUPS 339071 WITH SCORE 339440.539
AT ITER 1990 NEW BEST:: SOT 2668719 SOS 369537 HAS SOPS 369537 HAS SOUS 339069 HAS SOUPS 339069 WITH SCORE 339438.537
AT ITER 1991 NEW BEST:: SOT 2668671 SOS 369344 HAS SOPS 369344 HAS SOUS 338925 HAS SOUPS 338925 WITH SCORE 339294.344
AT ITER 1993 NEW BEST:: SOT 2668549 SOS 369321 HAS SOPS 369321 HAS SOUS 338803 HAS SOUPS 338803 WITH SCORE 339172.321
AT ITER 2038 NEW BEST:: SOT 2668504 SOS 369294 HAS SOPS 369294 HAS SOUS 338802 HAS SOUPS 338802 WITH SCORE 339171.294
AT ITER 2047 NEW BEST:: SOT 2668278 SOS 369682 HAS SOPS 369682 HAS SOUS 338699 HAS SOUPS 338699 WITH SCORE 339068.682
AT ITER 2048 NEW BEST:: SOT 2668278 SOS 369617 HAS SOPS 369617 HAS SOUS 338634 HAS SOUPS 338634 WITH SCORE 339003.617
AT ITER 2085 NEW BEST:: SOT 2668278 SOS 369544 HAS SOPS 369544 HAS SOUS 338561 HAS SOUPS 338561 WITH SCORE 338930.544
AT ITER 2103 NEW BEST:: SOT 2668249 SOS 369719 HAS SOPS 369719 HAS SOUS 338532 HAS SOUPS 338532 WITH SCORE 338901.719
AT ITER 2109 NEW BEST:: SOT 2668249 SOS 369719 HAS SOPS 369719 HAS SOUS 338420 HAS SOUPS 338420 WITH SCORE 338789.719
AT ITER 2130 NEW BEST:: SOT 2668249 SOS 369645 HAS SOPS 369645 HAS SOUS 338419 HAS SOUPS 338419 WITH SCORE 338788.645
AT ITER 2146 NEW BEST:: SOT 2668161 SOS 369314 HAS SOPS 369314 HAS SOUS 338382 HAS SOUPS 338382 WITH SCORE 338751.314
AT ITER 2209 NEW BEST:: SOT 2668105 SOS 369234 HAS SOPS 369234 HAS SOUS 338302 HAS SOUPS 338302 WITH SCORE 338671.234
AT ITER 2210 NEW BEST:: SOT 2668105 SOS 369232 HAS SOPS 369232 HAS SOUS 338300 HAS SOUPS 338300 WITH SCORE 338669.232
AT ITER 2218 NEW BEST:: SOT 2668104 SOS 369231 HAS SOPS 369231 HAS SOUS 338299 HAS SOUPS 338299 WITH SCORE 338668.231
AT ITER 2229 NEW BEST:: SOT 2668091 SOS 369192 HAS SOPS 369192 HAS SOUS 338286 HAS SOUPS 338286 WITH SCORE 338655.192
AT ITER 2282 NEW BEST:: SOT 2667985 SOS 369086 HAS SOPS 369086 HAS SOUS 338180 HAS SOUPS 338180 WITH SCORE 338549.086
AT ITER 2307 NEW BEST:: SOT 2667975 SOS 369066 HAS SOPS 369066 HAS SOUS 338170 HAS SOUPS 338170 WITH SCORE 338539.066
AT ITER 2317 NEW BEST:: SOT 2667857 SOS 369458 HAS SOPS 369458 HAS SOUS 338110 HAS SOUPS 338110 WITH SCORE 338479.458
AT ITER 2348 NEW BEST:: SOT 2667777 SOS 369378 HAS SOPS 369378 HAS SOUS 338030 HAS SOUPS 338030 WITH SCORE 338399.378
AT ITER 2365 NEW BEST:: SOT 2667709 SOS 369284 HAS SOPS 369284 HAS SOUS 337936 HAS SOUPS 337936 WITH SCORE 338305.284
AT ITER 2394 NEW BEST:: SOT 2667562 SOS 369257 HAS SOPS 369257 HAS SOUS 337906 HAS SOUPS 337906 WITH SCORE 338275.257
AT ITER 2396 NEW BEST:: SOT 2667506 SOS 369201 HAS SOPS 369201 HAS SOUS 337850 HAS SOUPS 337850 WITH SCORE 338219.201
AT ITER 2426 NEW BEST:: SOT 2667506 SOS 369186 HAS SOPS 369186 HAS SOUS 337834 HAS SOUPS 337834 WITH SCORE 338203.186
AT ITER 2427 NEW BEST:: SOT 2667506 SOS 369186 HAS SOPS 369186 HAS SOUS 337649 HAS SOUPS 337649 WITH SCORE 338018.186
AT ITER 2463 NEW BEST:: SOT 2667405 SOS 369091 HAS SOPS 369091 HAS SOUS 337552 HAS SOUPS 337552 WITH SCORE 337921.091
AT ITER 2466 NEW BEST:: SOT 2667405 SOS 369040 HAS SOPS 369040 HAS SOUS 337552 HAS SOUPS 337552 WITH SCORE 337921.04
AT ITER 2481 NEW BEST:: SOT 2667379 SOS 368988 HAS SOPS 368988 HAS SOUS 337526 HAS SOUPS 337526 WITH SCORE 337894.988
AT ITER 2487 NEW BEST:: SOT 2667331 SOS 368789 HAS SOPS 368789 HAS SOUS 337430 HAS SOUPS 337430 WITH SCORE 337798.789
AT ITER 2500 NEW BEST:: SOT 2667346 SOS 368765 HAS SOPS 368765 HAS SOUS 337406 HAS SOUPS 337406 WITH SCORE 337774.765
AT ITER 2512 NEW BEST:: SOT 2667216 SOS 368635 HAS SOPS 368635 HAS SOUS 337276 HAS SOUPS 337276 WITH SCORE 337644.635
AT ITER 2565 NEW BEST:: SOT 2667216 SOS 368580 HAS SOPS 368580 HAS SOUS 337221 HAS SOUPS 337221 WITH SCORE 337589.58
AT ITER 2615 NEW BEST:: SOT 2667063 SOS 368425 HAS SOPS 368425 HAS SOUS 337041 HAS SOUPS 337041 WITH SCORE 337409.425
AT ITER 2638 NEW BEST:: SOT 2667063 SOS 368346 HAS SOPS 368346 HAS SOUS 336962 HAS SOUPS 336962 WITH SCORE 337330.346
AT ITER 2708 NEW BEST:: SOT 2667106 SOS 368432 HAS SOPS 368432 HAS SOUS 336836 HAS SOUPS 336836 WITH SCORE 337204.432
AT ITER 2747 NEW BEST:: SOT 2667052 SOS 368178 HAS SOPS 368178 HAS SOUS 336831 HAS SOUPS 336831 WITH SCORE 337199.178
AT ITER 2748 NEW BEST:: SOT 2667052 SOS 368096 HAS SOPS 368096 HAS SOUS 336749 HAS SOUPS 336749 WITH SCORE 337117.096
AT ITER 2819 NEW BEST:: SOT 2667052 SOS 368032 HAS SOPS 368032 HAS SOUS 336749 HAS SOUPS 336749 WITH SCORE 337117.032
AT ITER 2845 NEW BEST:: SOT 2667052 SOS 367956 HAS SOPS 367956 HAS SOUS 336673 HAS SOUPS 336673 WITH SCORE 337040.956
AT ITER 2856 NEW BEST:: SOT 2667052 SOS 367879 HAS SOPS 367879 HAS SOUS 336599 HAS SOUPS 336599 WITH SCORE 336966.879
AT ITER 2860 NEW BEST:: SOT 2667052 SOS 367823 HAS SOPS 367823 HAS SOUS 336543 HAS SOUPS 336543 WITH SCORE 336910.823
AT ITER 2864 NEW BEST:: SOT 2667050 SOS 367819 HAS SOPS 367819 HAS SOUS 336540 HAS SOUPS 336540 WITH SCORE 336907.819
AT ITER 2868 NEW BEST:: SOT 2667036 SOS 367798 HAS SOPS 367798 HAS SOUS 336526 HAS SOUPS 336526 WITH SCORE 336893.798
AT ITER 2869 NEW BEST:: SOT 2667036 SOS 367760 HAS SOPS 367760 HAS SOUS 336435 HAS SOUPS 336435 WITH SCORE 336802.76
AT ITER 2882 NEW BEST:: SOT 2667016 SOS 367637 HAS SOPS 367637 HAS SOUS 336356 HAS SOUPS 336356 WITH SCORE 336723.637
AT ITER 2896 NEW BEST:: SOT 2666924 SOS 367258 HAS SOPS 367258 HAS SOUS 335821 HAS SOUPS 335821 WITH SCORE 336188.258
AT ITER 2900 NEW BEST:: SOT 2666915 SOS 367240 HAS SOPS 367240 HAS SOUS 335810 HAS SOUPS 335810 WITH SCORE 336177.24
AT ITER 2909 NEW BEST:: SOT 2666803 SOS 367080 HAS SOPS 367080 HAS SOUS 335650 HAS SOUPS 335650 WITH SCORE 336017.08
AT ITER 2910 NEW BEST:: SOT 2665534 SOS 380195 HAS SOPS 380195 HAS SOUS 335361 HAS SOUPS 335361 WITH SCORE 335741.195
AT ITER 2924 NEW BEST:: SOT 2665534 SOS 380195 HAS SOPS 380195 HAS SOUS 335346 HAS SOUPS 335346 WITH SCORE 335726.195
AT ITER 2940 NEW BEST:: SOT 2665534 SOS 380194 HAS SOPS 380194 HAS SOUS 335345 HAS SOUPS 335345 WITH SCORE 335725.194
AT ITER 2995 NEW BEST:: SOT 2665534 SOS 380160 HAS SOPS 380160 HAS SOUS 335311 HAS SOUPS 335311 WITH SCORE 335691.16
AT ITER 3011 NEW BEST:: SOT 2665534 SOS 380059 HAS SOPS 380059 HAS SOUS 335292 HAS SOUPS 335292 WITH SCORE 335672.059
AT ITER 3025 NEW BEST:: SOT 2665534 SOS 380145 HAS SOPS 380145 HAS SOUS 335241 HAS SOUPS 335241 WITH SCORE 335621.145
AT ITER 3050 NEW BEST:: SOT 2665487 SOS 379948 HAS SOPS 379948 HAS SOUS 335209 HAS SOUPS 335209 WITH SCORE 335588.948
AT ITER 3084 NEW BEST:: SOT 2665487 SOS 379861 HAS SOPS 379861 HAS SOUS 335122 HAS SOUPS 335122 WITH SCORE 335501.861
AT ITER 3120 NEW BEST:: SOT 2665438 SOS 379763 HAS SOPS 379763 HAS SOUS 335073 HAS SOUPS 335073 WITH SCORE 335452.763
AT ITER 3124 NEW BEST:: SOT 2665354 SOS 379530 HAS SOPS 379530 HAS SOUS 334989 HAS SOUPS 334989 WITH SCORE 335368.53
AT ITER 3163 NEW BEST:: SOT 2665111 SOS 379044 HAS SOPS 379044 HAS SOUS 334448 HAS SOUPS 334448 WITH SCORE 334827.044
AT ITER 3174 NEW BEST:: SOT 2665111 SOS 378993 HAS SOPS 378993 HAS SOUS 334447 HAS SOUPS 334447 WITH SCORE 334825.993
AT ITER 3177 NEW BEST:: SOT 2665063 SOS 378836 HAS SOPS 378836 HAS SOUS 334351 HAS SOUPS 334351 WITH SCORE 334729.836
AT ITER 3196 NEW BEST:: SOT 2665062 SOS 378834 HAS SOPS 378834 HAS SOUS 334349 HAS SOUPS 334349 WITH SCORE 334727.834
AT ITER 3202 NEW BEST:: SOT 2664706 SOS 378545 HAS SOPS 378545 HAS SOUS 334175 HAS SOUPS 334175 WITH SCORE 334553.545
AT ITER 3245 NEW BEST:: SOT 2664699 SOS 378538 HAS SOPS 378538 HAS SOUS 334168 HAS SOUPS 334168 WITH SCORE 334546.538
AT ITER 3292 NEW BEST:: SOT 2664699 SOS 378537 HAS SOPS 378537 HAS SOUS 334167 HAS SOUPS 334167 WITH SCORE 334545.537
AT ITER 3315 NEW BEST:: SOT 2664638 SOS 378415 HAS SOPS 378415 HAS SOUS 334106 HAS SOUPS 334106 WITH SCORE 334484.415
AT ITER 3323 NEW BEST:: SOT 2664628 SOS 378395 HAS SOPS 378395 HAS SOUS 334094 HAS SOUPS 334094 WITH SCORE 334472.395
AT ITER 3419 NEW BEST:: SOT 2664658 SOS 378372 HAS SOPS 378372 HAS SOUS 334071 HAS SOUPS 334071 WITH SCORE 334449.372
AT ITER 3441 NEW BEST:: SOT 2664644 SOS 378344 HAS SOPS 378344 HAS SOUS 334057 HAS SOUPS 334057 WITH SCORE 334435.344
AT ITER 3442 NEW BEST:: SOT 2664537 SOS 378114 HAS SOPS 378114 HAS SOUS 333934 HAS SOUPS 333934 WITH SCORE 334312.114
AT ITER 3540 NEW BEST:: SOT 2664612 SOS 378067 HAS SOPS 378067 HAS SOUS 333887 HAS SOUPS 333887 WITH SCORE 334265.067
AT ITER 3548 NEW BEST:: SOT 2664612 SOS 378067 HAS SOPS 378067 HAS SOUS 333886 HAS SOUPS 333886 WITH SCORE 334264.067
AT ITER 3559 NEW BEST:: SOT 2664573 SOS 378066 HAS SOPS 378066 HAS SOUS 333885 HAS SOUPS 333885 WITH SCORE 334263.066
AT ITER 3571 NEW BEST:: SOT 2664573 SOS 378018 HAS SOPS 378018 HAS SOUS 333885 HAS SOUPS 333885 WITH SCORE 334263.018
AT ITER 3603 NEW BEST:: SOT 2664970 SOS 364607 HAS SOPS 364607 HAS SOUS 333878 HAS SOUPS 333878 WITH SCORE 334242.607
AT ITER 3652 NEW BEST:: SOT 2664970 SOS 364557 HAS SOPS 364557 HAS SOUS 333828 HAS SOUPS 333828 WITH SCORE 334192.557
AT ITER 3654 NEW BEST:: SOT 2664964 SOS 364536 HAS SOPS 364536 HAS SOUS 333822 HAS SOUPS 333822 WITH SCORE 334186.536
AT ITER 3655 NEW BEST:: SOT 2664885 SOS 364378 HAS SOPS 364378 HAS SOUS 333632 HAS SOUPS 333632 WITH SCORE 333996.378
AT ITER 3700 NEW BEST:: SOT 2664860 SOS 364294 HAS SOPS 364294 HAS SOUS 333582 HAS SOUPS 333582 WITH SCORE 333946.294
AT ITER 3709 NEW BEST:: SOT 2664868 SOS 364268 HAS SOPS 364268 HAS SOUS 333556 HAS SOUPS 333556 WITH SCORE 333920.268
AT ITER 3733 NEW BEST:: SOT 2664809 SOS 364150 HAS SOPS 364150 HAS SOUS 333497 HAS SOUPS 333497 WITH SCORE 333861.15
AT ITER 3753 NEW BEST:: SOT 2664744 SOS 364102 HAS SOPS 364102 HAS SOUS 333484 HAS SOUPS 333484 WITH SCORE 333848.102
AT ITER 3790 NEW BEST:: SOT 2664712 SOS 363880 HAS SOPS 363880 HAS SOUS 333452 HAS SOUPS 333452 WITH SCORE 333815.88
AT ITER 3795 NEW BEST:: SOT 2664708 SOS 363882 HAS SOPS 363882 HAS SOUS 333440 HAS SOUPS 333440 WITH SCORE 333803.882
AT ITER 3865 NEW BEST:: SOT 2664408 SOS 363282 HAS SOPS 363282 HAS SOUS 332828 HAS SOUPS 332828 WITH SCORE 333191.282
AT ITER 3889 NEW BEST:: SOT 2664408 SOS 363282 HAS SOPS 363282 HAS SOUS 332762 HAS SOUPS 332762 WITH SCORE 333125.282
AT ITER 3897 NEW BEST:: SOT 2664333 SOS 362982 HAS SOPS 362982 HAS SOUS 332687 HAS SOUPS 332687 WITH SCORE 333049.982
AT ITER 3904 NEW BEST:: SOT 2664105 SOS 362678 HAS SOPS 362678 HAS SOUS 332383 HAS SOUPS 332383 WITH SCORE 332745.678
AT ITER 3905 NEW BEST:: SOT 2664105 SOS 362675 HAS SOPS 362675 HAS SOUS 332380 HAS SOUPS 332380 WITH SCORE 332742.675
AT ITER 3909 NEW BEST:: SOT 2664105 SOS 362675 HAS SOPS 362675 HAS SOUS 332379 HAS SOUPS 332379 WITH SCORE 332741.675
AT ITER 3912 NEW BEST:: SOT 2664105 SOS 362675 HAS SOPS 362675 HAS SOUS 332311 HAS SOUPS 332311 WITH SCORE 332673.675
AT ITER 3918 NEW BEST:: SOT 2664090 SOS 362645 HAS SOPS 362645 HAS SOUS 332266 HAS SOUPS 332266 WITH SCORE 332628.645
AT ITER 3945 NEW BEST:: SOT 2663803 SOS 361902 HAS SOPS 361902 HAS SOUS 332215 HAS SOUPS 332215 WITH SCORE 332576.902
AT ITER 3979 NEW BEST:: SOT 2663803 SOS 361873 HAS SOPS 361873 HAS SOUS 332186 HAS SOUPS 332186 WITH SCORE 332547.873
AT ITER 3984 NEW BEST:: SOT 2663742 SOS 361873 HAS SOPS 361873 HAS SOUS 332125 HAS SOUPS 332125 WITH SCORE 332486.873
AT ITER 3995 NEW BEST:: SOT 2663742 SOS 361867 HAS SOPS 361867 HAS SOUS 332119 HAS SOUPS 332119 WITH SCORE 332480.867
AT ITER 4000 NEW BEST:: SOT 2663533 SOS 361696 HAS SOPS 361696 HAS SOUS 331971 HAS SOUPS 331971 WITH SCORE 332332.696
AT ITER 4015 NEW BEST:: SOT 2663533 SOS 361696 HAS SOPS 361696 HAS SOUS 331873 HAS SOUPS 331873 WITH SCORE 332234.696
AT ITER 4040 NEW BEST:: SOT 2663523 SOS 361676 HAS SOPS 361676 HAS SOUS 331766 HAS SOUPS 331766 WITH SCORE 332127.676
AT ITER 4044 NEW BEST:: SOT 2663523 SOS 361657 HAS SOPS 361657 HAS SOUS 331728 HAS SOUPS 331728 WITH SCORE 332089.657
AT ITER 4069 NEW BEST:: SOT 2663509 SOS 361629 HAS SOPS 361629 HAS SOUS 331578 HAS SOUPS 331578 WITH SCORE 331939.629
AT ITER 4080 NEW BEST:: SOT 2663368 SOS 361676 HAS SOPS 361676 HAS SOUS 331437 HAS SOUPS 331437 WITH SCORE 331798.676
AT ITER 4133 NEW BEST:: SOT 2663368 SOS 361597 HAS SOPS 361597 HAS SOUS 331358 HAS SOUPS 331358 WITH SCORE 331719.597
AT ITER 4149 NEW BEST:: SOT 2663367 SOS 361596 HAS SOPS 361596 HAS SOUS 331357 HAS SOUPS 331357 WITH SCORE 331718.596
AT ITER 4168 NEW BEST:: SOT 2663339 SOS 361540 HAS SOPS 361540 HAS SOUS 331301 HAS SOUPS 331301 WITH SCORE 331662.54
AT ITER 4187 NEW BEST:: SOT 2663339 SOS 361623 HAS SOPS 361623 HAS SOUS 331300 HAS SOUPS 331300 WITH SCORE 331661.623
AT ITER 4195 NEW BEST:: SOT 2663312 SOS 361596 HAS SOPS 361596 HAS SOUS 331273 HAS SOUPS 331273 WITH SCORE 331634.596
AT ITER 4199 NEW BEST:: SOT 2663190 SOS 361352 HAS SOPS 361352 HAS SOUS 331065 HAS SOUPS 331065 WITH SCORE 331426.352
AT ITER 4216 NEW BEST:: SOT 2663160 SOS 361307 HAS SOPS 361307 HAS SOUS 331020 HAS SOUPS 331020 WITH SCORE 331381.307
AT ITER 4231 NEW BEST:: SOT 2663058 SOS 361316 HAS SOPS 361316 HAS SOUS 330708 HAS SOUPS 330708 WITH SCORE 331069.316
AT ITER 4232 NEW BEST:: SOT 2662966 SOS 361240 HAS SOPS 361240 HAS SOUS 330632 HAS SOUPS 330632 WITH SCORE 330993.24
AT ITER 4293 NEW BEST:: SOT 2662925 SOS 361199 HAS SOPS 361199 HAS SOUS 330591 HAS SOUPS 330591 WITH SCORE 330952.199
AT ITER 4359 NEW BEST:: SOT 2662925 SOS 361188 HAS SOPS 361188 HAS SOUS 330580 HAS SOUPS 330580 WITH SCORE 330941.188
AT ITER 4377 NEW BEST:: SOT 2662966 SOS 361182 HAS SOPS 361182 HAS SOUS 330574 HAS SOUPS 330574 WITH SCORE 330935.182
AT ITER 4378 NEW BEST:: SOT 2662966 SOS 361163 HAS SOPS 361163 HAS SOUS 330555 HAS SOUPS 330555 WITH SCORE 330916.163
AT ITER 4390 NEW BEST:: SOT 2662902 SOS 361131 HAS SOPS 361131 HAS SOUS 330491 HAS SOUPS 330491 WITH SCORE 330852.131
AT ITER 4399 NEW BEST:: SOT 2662877 SOS 361146 HAS SOPS 361146 HAS SOUS 330466 HAS SOUPS 330466 WITH SCORE 330827.146
AT ITER 4402 NEW BEST:: SOT 2662877 SOS 361091 HAS SOPS 361091 HAS SOUS 330411 HAS SOUPS 330411 WITH SCORE 330772.091
AT ITER 4456 NEW BEST:: SOT 2662378 SOS 360713 HAS SOPS 360713 HAS SOUS 329863 HAS SOUPS 329863 WITH SCORE 330223.713
AT ITER 4459 NEW BEST:: SOT 2662310 SOS 360614 HAS SOPS 360614 HAS SOUS 329758 HAS SOUPS 329758 WITH SCORE 330118.614
AT ITER 4465 NEW BEST:: SOT 2662247 SOS 360488 HAS SOPS 360488 HAS SOUS 329632 HAS SOUPS 329632 WITH SCORE 329992.488
AT ITER 4514 NEW BEST:: SOT 2662097 SOS 360338 HAS SOPS 360338 HAS SOUS 329482 HAS SOUPS 329482 WITH SCORE 329842.338
AT ITER 4522 NEW BEST:: SOT 2662091 SOS 360326 HAS SOPS 360326 HAS SOUS 329470 HAS SOUPS 329470 WITH SCORE 329830.326
AT ITER 4533 NEW BEST:: SOT 2662076 SOS 360296 HAS SOPS 360296 HAS SOUS 329440 HAS SOUPS 329440 WITH SCORE 329800.296
AT ITER 4543 NEW BEST:: SOT 2662006 SOS 360156 HAS SOPS 360156 HAS SOUS 329323 HAS SOUPS 329323 WITH SCORE 329683.156
AT ITER 4590 NEW BEST:: SOT 2662006 SOS 360131 HAS SOPS 360131 HAS SOUS 329298 HAS SOUPS 329298 WITH SCORE 329658.131
AT ITER 4663 NEW BEST:: SOT 2662005 SOS 360130 HAS SOPS 360130 HAS SOUS 329297 HAS SOUPS 329297 WITH SCORE 329657.13
AT ITER 4684 NEW BEST:: SOT 2661995 SOS 360110 HAS SOPS 360110 HAS SOUS 329280 HAS SOUPS 329280 WITH SCORE 329640.11
AT ITER 4707 NEW BEST:: SOT 2661995 SOS 360110 HAS SOPS 360110 HAS SOUS 328982 HAS SOUPS 328982 WITH SCORE 329342.11
AT ITER 4719 NEW BEST:: SOT 2661943 SOS 359851 HAS SOPS 359851 HAS SOUS 328723 HAS SOUPS 328723 WITH SCORE 329082.851
AT ITER 4746 NEW BEST:: SOT 2661943 SOS 359833 HAS SOPS 359833 HAS SOUS 328705 HAS SOUPS 328705 WITH SCORE 329064.833
AT ITER 4751 NEW BEST:: SOT 2661863 SOS 360015 HAS SOPS 360015 HAS SOUS 328625 HAS SOUPS 328625 WITH SCORE 328985.015
AT ITER 4763 NEW BEST:: SOT 2661870 SOS 359989 HAS SOPS 359989 HAS SOUS 328599 HAS SOUPS 328599 WITH SCORE 328958.989
AT ITER 4767 NEW BEST:: SOT 2662166 SOS 359937 HAS SOPS 359937 HAS SOUS 328547 HAS SOUPS 328547 WITH SCORE 328906.937
AT ITER 4791 NEW BEST:: SOT 2662166 SOS 359937 HAS SOPS 359937 HAS SOUS 328506 HAS SOUPS 328506 WITH SCORE 328865.937
AT ITER 4809 NEW BEST:: SOT 2662124 SOS 359874 HAS SOPS 359874 HAS SOUS 328443 HAS SOUPS 328443 WITH SCORE 328802.874
AT ITER 4819 NEW BEST:: SOT 2662123 SOS 359872 HAS SOPS 359872 HAS SOUS 328441 HAS SOUPS 328441 WITH SCORE 328800.872
AT ITER 4835 NEW BEST:: SOT 2662123 SOS 359872 HAS SOPS 359872 HAS SOUS 328440 HAS SOUPS 328440 WITH SCORE 328799.872
AT ITER 4838 NEW BEST:: SOT 2662091 SOS 359808 HAS SOPS 359808 HAS SOUS 328408 HAS SOUPS 328408 WITH SCORE 328767.808
AT ITER 4841 NEW BEST:: SOT 2662069 SOS 359797 HAS SOPS 359797 HAS SOUS 328408 HAS SOUPS 328408 WITH SCORE 328767.797
AT ITER 4844 NEW BEST:: SOT 2662069 SOS 359726 HAS SOPS 359726 HAS SOUS 328337 HAS SOUPS 328337 WITH SCORE 328696.726
AT ITER 4866 NEW BEST:: SOT 2662069 SOS 359705 HAS SOPS 359705 HAS SOUS 328337 HAS SOUPS 328337 WITH SCORE 328696.705
AT ITER 4892 NEW BEST:: SOT 2661796 SOS 359366 HAS SOPS 359366 HAS SOUS 327951 HAS SOUPS 327951 WITH SCORE 328310.366
AT ITER 4910 NEW BEST:: SOT 2661796 SOS 359535 HAS SOPS 359535 HAS SOUS 327902 HAS SOUPS 327902 WITH SCORE 328261.535
AT ITER 4963 NEW BEST:: SOT 2661796 SOS 359543 HAS SOPS 359543 HAS SOUS 327875 HAS SOUPS 327875 WITH SCORE 328234.543
AT ITER 4972 NEW BEST:: SOT 2661753 SOS 359404 HAS SOPS 359404 HAS SOUS 327832 HAS SOUPS 327832 WITH SCORE 328191.404
AT ITER 5000 NEW BEST:: SOT 2661719 SOS 359397 HAS SOPS 359397 HAS SOUS 327825 HAS SOUPS 327825 WITH SCORE 328184.397
AT ITER 5001 NEW BEST:: SOT 2661719 SOS 359368 HAS SOPS 359368 HAS SOUS 327825 HAS SOUPS 327825 WITH SCORE 328184.368
AT ITER 5005 NEW BEST:: SOT 2661679 SOS 359288 HAS SOPS 359288 HAS SOUS 327745 HAS SOUPS 327745 WITH SCORE 328104.288
AT ITER 5010 NEW BEST:: SOT 2661679 SOS 359284 HAS SOPS 359284 HAS SOUS 327741 HAS SOUPS 327741 WITH SCORE 328100.284
AT ITER 5019 NEW BEST:: SOT 2661646 SOS 359218 HAS SOPS 359218 HAS SOUS 327708 HAS SOUPS 327708 WITH SCORE 328067.218
AT ITER 5053 NEW BEST:: SOT 2661646 SOS 359206 HAS SOPS 359206 HAS SOUS 327696 HAS SOUPS 327696 WITH SCORE 328055.206
AT ITER 5070 NEW BEST:: SOT 2661646 SOS 359194 HAS SOPS 359194 HAS SOUS 327684 HAS SOUPS 327684 WITH SCORE 328043.194
AT ITER 5083 NEW BEST:: SOT 2661587 SOS 359076 HAS SOPS 359076 HAS SOUS 327684 HAS SOUPS 327684 WITH SCORE 328043.076
AT ITER 5102 NEW BEST:: SOT 2661587 SOS 359068 HAS SOPS 359068 HAS SOUS 327684 HAS SOUPS 327684 WITH SCORE 328043.068
AT ITER 5122 NEW BEST:: SOT 2661587 SOS 359064 HAS SOPS 359064 HAS SOUS 327680 HAS SOUPS 327680 WITH SCORE 328039.064
AT ITER 5147 NEW BEST:: SOT 2661567 SOS 359024 HAS SOPS 359024 HAS SOUS 327660 HAS SOUPS 327660 WITH SCORE 328019.024
AT ITER 5153 NEW BEST:: SOT 2661630 SOS 359023 HAS SOPS 359023 HAS SOUS 327659 HAS SOUPS 327659 WITH SCORE 328018.023
AT ITER 5172 NEW BEST:: SOT 2661518 SOS 358983 HAS SOPS 358983 HAS SOUS 327507 HAS SOUPS 327507 WITH SCORE 327865.983
AT ITER 5186 NEW BEST:: SOT 2661413 SOS 358773 HAS SOPS 358773 HAS SOUS 327297 HAS SOUPS 327297 WITH SCORE 327655.773
AT ITER 5231 NEW BEST:: SOT 2661247 SOS 358558 HAS SOPS 358558 HAS SOUS 327071 HAS SOUPS 327071 WITH SCORE 327429.558
AT ITER 5245 NEW BEST:: SOT 2661247 SOS 358514 HAS SOPS 358514 HAS SOUS 327027 HAS SOUPS 327027 WITH SCORE 327385.514
AT ITER 5249 NEW BEST:: SOT 2661247 SOS 358514 HAS SOPS 358514 HAS SOUS 327026 HAS SOUPS 327026 WITH SCORE 327384.514
AT ITER 5265 NEW BEST:: SOT 2661152 SOS 358484 HAS SOPS 358484 HAS SOUS 326996 HAS SOUPS 326996 WITH SCORE 327354.484
AT ITER 5274 NEW BEST:: SOT 2661152 SOS 358484 HAS SOPS 358484 HAS SOUS 326827 HAS SOUPS 326827 WITH SCORE 327185.484
AT ITER 5287 NEW BEST:: SOT 2661048 SOS 358327 HAS SOPS 358327 HAS SOUS 326721 HAS SOUPS 326721 WITH SCORE 327079.327
AT ITER 5361 NEW BEST:: SOT 2661086 SOS 358619 HAS SOPS 358619 HAS SOUS 326708 HAS SOUPS 326708 WITH SCORE 327066.619
AT ITER 5372 NEW BEST:: SOT 2661082 SOS 358611 HAS SOPS 358611 HAS SOUS 326700 HAS SOUPS 326700 WITH SCORE 327058.611
AT ITER 5375 NEW BEST:: SOT 2661082 SOS 358528 HAS SOPS 358528 HAS SOUS 326617 HAS SOUPS 326617 WITH SCORE 326975.528
AT ITER 5424 NEW BEST:: SOT 2661009 SOS 358525 HAS SOPS 358525 HAS SOUS 326617 HAS SOUPS 326617 WITH SCORE 326975.525
AT ITER 5443 NEW BEST:: SOT 2660924 SOS 358452 HAS SOPS 358452 HAS SOUS 326578 HAS SOUPS 326578 WITH SCORE 326936.452
AT ITER 5467 NEW BEST:: SOT 2660830 SOS 358420 HAS SOPS 358420 HAS SOUS 326543 HAS SOUPS 326543 WITH SCORE 326901.42
AT ITER 5472 NEW BEST:: SOT 2660747 SOS 358490 HAS SOPS 358490 HAS SOUS 326525 HAS SOUPS 326525 WITH SCORE 326883.49
AT ITER 5496 NEW BEST:: SOT 2660656 SOS 358124 HAS SOPS 358124 HAS SOUS 326041 HAS SOUPS 326041 WITH SCORE 326399.124
AT ITER 5531 NEW BEST:: SOT 2660572 SOS 358012 HAS SOPS 358012 HAS SOUS 325929 HAS SOUPS 325929 WITH SCORE 326287.012
AT ITER 5564 NEW BEST:: SOT 2660407 SOS 357985 HAS SOPS 357985 HAS SOUS 325902 HAS SOUPS 325902 WITH SCORE 326259.985
AT ITER 5595 NEW BEST:: SOT 2660214 SOS 357908 HAS SOPS 357908 HAS SOUS 325753 HAS SOUPS 325753 WITH SCORE 326110.908
AT ITER 5638 NEW BEST:: SOT 2660077 SOS 357634 HAS SOPS 357634 HAS SOUS 325612 HAS SOUPS 325612 WITH SCORE 325969.634
AT ITER 5655 NEW BEST:: SOT 2660077 SOS 357631 HAS SOPS 357631 HAS SOUS 325609 HAS SOUPS 325609 WITH SCORE 325966.631
AT ITER 5657 NEW BEST:: SOT 2660068 SOS 357613 HAS SOPS 357613 HAS SOUS 325591 HAS SOUPS 325591 WITH SCORE 325948.613
AT ITER 5665 NEW BEST:: SOT 2660054 SOS 357613 HAS SOPS 357613 HAS SOUS 325577 HAS SOUPS 325577 WITH SCORE 325934.613
AT ITER 5669 NEW BEST:: SOT 2660054 SOS 357530 HAS SOPS 357530 HAS SOUS 325494 HAS SOUPS 325494 WITH SCORE 325851.53
AT ITER 5683 NEW BEST:: SOT 2660054 SOS 357530 HAS SOPS 357530 HAS SOUS 325484 HAS SOUPS 325484 WITH SCORE 325841.53
AT ITER 5731 NEW BEST:: SOT 2659850 SOS 357268 HAS SOPS 357268 HAS SOUS 325222 HAS SOUPS 325222 WITH SCORE 325579.268
AT ITER 5740 NEW BEST:: SOT 2659805 SOS 357267 HAS SOPS 357267 HAS SOUS 325221 HAS SOUPS 325221 WITH SCORE 325578.267
AT ITER 5773 NEW BEST:: SOT 2659657 SOS 357161 HAS SOPS 357161 HAS SOUS 325115 HAS SOUPS 325115 WITH SCORE 325472.161
AT ITER 5797 NEW BEST:: SOT 2659780 SOS 357407 HAS SOPS 357407 HAS SOUS 325101 HAS SOUPS 325101 WITH SCORE 325458.407
AT ITER 5816 NEW BEST:: SOT 2659759 SOS 357464 HAS SOPS 357464 HAS SOUS 325094 HAS SOUPS 325094 WITH SCORE 325451.464
AT ITER 5817 NEW BEST:: SOT 2659759 SOS 357460 HAS SOPS 357460 HAS SOUS 325090 HAS SOUPS 325090 WITH SCORE 325447.46
AT ITER 5875 NEW BEST:: SOT 2659570 SOS 357164 HAS SOPS 357164 HAS SOUS 325068 HAS SOUPS 325068 WITH SCORE 325425.164
AT ITER 5892 NEW BEST:: SOT 2659520 SOS 357114 HAS SOPS 357114 HAS SOUS 325018 HAS SOUPS 325018 WITH SCORE 325375.114
AT ITER 5964 NEW BEST:: SOT 2659526 SOS 357126 HAS SOPS 357126 HAS SOUS 324984 HAS SOUPS 324984 WITH SCORE 325341.126
AT ITER 5978 NEW BEST:: SOT 2659526 SOS 357040 HAS SOPS 357040 HAS SOUS 324941 HAS SOUPS 324941 WITH SCORE 325298.04
AT ITER 6116 NEW BEST:: SOT 2659418 SOS 356932 HAS SOPS 356932 HAS SOUS 324833 HAS SOUPS 324833 WITH SCORE 325189.932
AT ITER 6118 NEW BEST:: SOT 2659230 SOS 357340 HAS SOPS 357340 HAS SOUS 324802 HAS SOUPS 324802 WITH SCORE 325159.34
AT ITER 6135 NEW BEST:: SOT 2659223 SOS 357334 HAS SOPS 357334 HAS SOUS 324796 HAS SOUPS 324796 WITH SCORE 325153.334
AT ITER 6154 NEW BEST:: SOT 2659223 SOS 357308 HAS SOPS 357308 HAS SOUS 324770 HAS SOUPS 324770 WITH SCORE 325127.308
AT ITER 6156 NEW BEST:: SOT 2659175 SOS 356963 HAS SOPS 356963 HAS SOUS 324551 HAS SOUPS 324551 WITH SCORE 324907.963
AT ITER 6181 NEW BEST:: SOT 2659109 SOS 356831 HAS SOPS 356831 HAS SOUS 324485 HAS SOUPS 324485 WITH SCORE 324841.831
AT ITER 6241 NEW BEST:: SOT 2659035 SOS 356769 HAS SOPS 356769 HAS SOUS 324423 HAS SOUPS 324423 WITH SCORE 324779.769
AT ITER 6256 NEW BEST:: SOT 2659035 SOS 356761 HAS SOPS 356761 HAS SOUS 324415 HAS SOUPS 324415 WITH SCORE 324771.761
AT ITER 6281 NEW BEST:: SOT 2659035 SOS 356612 HAS SOPS 356612 HAS SOUS 324276 HAS SOUPS 324276 WITH SCORE 324632.612
AT ITER 6282 NEW BEST:: SOT 2658982 SOS 356587 HAS SOPS 356587 HAS SOUS 324251 HAS SOUPS 324251 WITH SCORE 324607.587
AT ITER 6337 NEW BEST:: SOT 2658952 SOS 356497 HAS SOPS 356497 HAS SOUS 324191 HAS SOUPS 324191 WITH SCORE 324547.497
AT ITER 6348 NEW BEST:: SOT 2658951 SOS 356496 HAS SOPS 356496 HAS SOUS 324190 HAS SOUPS 324190 WITH SCORE 324546.496
AT ITER 6369 NEW BEST:: SOT 2658872 SOS 356576 HAS SOPS 356576 HAS SOUS 323992 HAS SOUPS 323992 WITH SCORE 324348.576
AT ITER 6440 NEW BEST:: SOT 2658872 SOS 356585 HAS SOPS 356585 HAS SOUS 323983 HAS SOUPS 323983 WITH SCORE 324339.585
AT ITER 6455 NEW BEST:: SOT 2658874 SOS 356573 HAS SOPS 356573 HAS SOUS 323981 HAS SOUPS 323981 WITH SCORE 324337.573
AT ITER 6467 NEW BEST:: SOT 2658729 SOS 356283 HAS SOPS 356283 HAS SOUS 323691 HAS SOUPS 323691 WITH SCORE 324047.283
AT ITER 6472 NEW BEST:: SOT 2658711 SOS 356247 HAS SOPS 356247 HAS SOUS 323655 HAS SOUPS 323655 WITH SCORE 324011.247
AT ITER 6475 NEW BEST:: SOT 2658613 SOS 356102 HAS SOPS 356102 HAS SOUS 323510 HAS SOUPS 323510 WITH SCORE 323866.102
AT ITER 6480 NEW BEST:: SOT 2658608 SOS 356092 HAS SOPS 356092 HAS SOUS 323505 HAS SOUPS 323505 WITH SCORE 323861.092
AT ITER 6510 NEW BEST:: SOT 2658236 SOS 355635 HAS SOPS 355635 HAS SOUS 322862 HAS SOUPS 322862 WITH SCORE 323217.635
AT ITER 6527 NEW BEST:: SOT 2658092 SOS 355443 HAS SOPS 355443 HAS SOUS 322670 HAS SOUPS 322670 WITH SCORE 323025.443
AT ITER 6573 NEW BEST:: SOT 2658153 SOS 355221 HAS SOPS 355221 HAS SOUS 322448 HAS SOUPS 322448 WITH SCORE 322803.221
AT ITER 6579 NEW BEST:: SOT 2658133 SOS 355331 HAS SOPS 355331 HAS SOUS 322408 HAS SOUPS 322408 WITH SCORE 322763.331
AT ITER 6587 NEW BEST:: SOT 2658115 SOS 355334 HAS SOPS 355334 HAS SOUS 322372 HAS SOUPS 322372 WITH SCORE 322727.334
AT ITER 6604 NEW BEST:: SOT 2658029 SOS 355067 HAS SOPS 355067 HAS SOUS 322194 HAS SOUPS 322194 WITH SCORE 322549.067
AT ITER 6616 NEW BEST:: SOT 2658058 SOS 355001 HAS SOPS 355001 HAS SOUS 322033 HAS SOUPS 322033 WITH SCORE 322388.001
AT ITER 6644 NEW BEST:: SOT 2658074 SOS 354903 HAS SOPS 354903 HAS SOUS 322011 HAS SOUPS 322011 WITH SCORE 322365.903
AT ITER 6690 NEW BEST:: SOT 2658087 SOS 354778 HAS SOPS 354778 HAS SOUS 321960 HAS SOUPS 321960 WITH SCORE 322314.778
AT ITER 6694 NEW BEST:: SOT 2658036 SOS 354650 HAS SOPS 354650 HAS SOUS 321883 HAS SOUPS 321883 WITH SCORE 322237.65
AT ITER 6726 NEW BEST:: SOT 2658015 SOS 354629 HAS SOPS 354629 HAS SOUS 321862 HAS SOUPS 321862 WITH SCORE 322216.629
AT ITER 6735 NEW BEST:: SOT 2658015 SOS 354629 HAS SOPS 354629 HAS SOUS 321773 HAS SOUPS 321773 WITH SCORE 322127.629
AT ITER 6739 NEW BEST:: SOT 2658002 SOS 354603 HAS SOPS 354603 HAS SOUS 321747 HAS SOUPS 321747 WITH SCORE 322101.603
AT ITER 6752 NEW BEST:: SOT 2658013 SOS 354625 HAS SOPS 354625 HAS SOUS 321535 HAS SOUPS 321535 WITH SCORE 321889.625
AT ITER 6756 NEW BEST:: SOT 2657915 SOS 354513 HAS SOPS 354513 HAS SOUS 321423 HAS SOUPS 321423 WITH SCORE 321777.513
AT ITER 6778 NEW BEST:: SOT 2657824 SOS 354103 HAS SOPS 354103 HAS SOUS 321104 HAS SOUPS 321104 WITH SCORE 321458.103
AT ITER 6783 NEW BEST:: SOT 2657824 SOS 354103 HAS SOPS 354103 HAS SOUS 321087 HAS SOUPS 321087 WITH SCORE 321441.103
AT ITER 6836 NEW BEST:: SOT 2657802 SOS 354059 HAS SOPS 354059 HAS SOUS 321065 HAS SOUPS 321065 WITH SCORE 321419.059
AT ITER 6885 NEW BEST:: SOT 2657751 SOS 353967 HAS SOPS 353967 HAS SOUS 320973 HAS SOUPS 320973 WITH SCORE 321326.967
AT ITER 6912 NEW BEST:: SOT 2657541 SOS 353757 HAS SOPS 353757 HAS SOUS 320763 HAS SOUPS 320763 WITH SCORE 321116.757
AT ITER 6919 NEW BEST:: SOT 2657455 SOS 353648 HAS SOPS 353648 HAS SOUS 320677 HAS SOUPS 320677 WITH SCORE 321030.648
AT ITER 6920 NEW BEST:: SOT 2657374 SOS 353613 HAS SOPS 353613 HAS SOUS 320642 HAS SOUPS 320642 WITH SCORE 320995.613
AT ITER 6955 NEW BEST:: SOT 2657055 SOS 353321 HAS SOPS 353321 HAS SOUS 320323 HAS SOUPS 320323 WITH SCORE 320676.321
AT ITER 6970 NEW BEST:: SOT 2656773 SOS 353039 HAS SOPS 353039 HAS SOUS 319928 HAS SOUPS 319928 WITH SCORE 320281.039
AT ITER 7023 NEW BEST:: SOT 2656828 SOS 353149 HAS SOPS 353149 HAS SOUS 319869 HAS SOUPS 319869 WITH SCORE 320222.149
AT ITER 7030 NEW BEST:: SOT 2656831 SOS 353148 HAS SOPS 353148 HAS SOUS 319868 HAS SOUPS 319868 WITH SCORE 320221.148
AT ITER 7043 NEW BEST:: SOT 2656831 SOS 353148 HAS SOPS 353148 HAS SOUS 319819 HAS SOUPS 319819 WITH SCORE 320172.148
AT ITER 7109 NEW BEST:: SOT 2656831 SOS 353116 HAS SOPS 353116 HAS SOUS 319819 HAS SOUPS 319819 WITH SCORE 320172.116
AT ITER 7122 NEW BEST:: SOT 2656823 SOS 353100 HAS SOPS 353100 HAS SOUS 319811 HAS SOUPS 319811 WITH SCORE 320164.1
AT ITER 7165 NEW BEST:: SOT 2656750 SOS 352881 HAS SOPS 352881 HAS SOUS 319738 HAS SOUPS 319738 WITH SCORE 320090.881
AT ITER 7203 NEW BEST:: SOT 2656620 SOS 352684 HAS SOPS 352684 HAS SOUS 319541 HAS SOUPS 319541 WITH SCORE 319893.684
AT ITER 7232 NEW BEST:: SOT 2656466 SOS 352848 HAS SOPS 352848 HAS SOUS 319516 HAS SOUPS 319516 WITH SCORE 319868.848
AT ITER 7247 NEW BEST:: SOT 2656453 SOS 352951 HAS SOPS 352951 HAS SOUS 319490 HAS SOUPS 319490 WITH SCORE 319842.951
AT ITER 7332 NEW BEST:: SOT 2656466 SOS 352944 HAS SOPS 352944 HAS SOUS 319483 HAS SOUPS 319483 WITH SCORE 319835.944
AT ITER 7366 NEW BEST:: SOT 2656426 SOS 352904 HAS SOPS 352904 HAS SOUS 319443 HAS SOUPS 319443 WITH SCORE 319795.904
AT ITER 7390 NEW BEST:: SOT 2656373 SOS 352899 HAS SOPS 352899 HAS SOUS 319438 HAS SOUPS 319438 WITH SCORE 319790.899
AT ITER 7421 NEW BEST:: SOT 2656373 SOS 352855 HAS SOPS 352855 HAS SOUS 319394 HAS SOUPS 319394 WITH SCORE 319746.855
AT ITER 7464 NEW BEST:: SOT 2656301 SOS 352978 HAS SOPS 352978 HAS SOUS 319250 HAS SOUPS 319250 WITH SCORE 319602.978
AT ITER 7475 NEW BEST:: SOT 2656051 SOS 352478 HAS SOPS 352478 HAS SOUS 318948 HAS SOUPS 318948 WITH SCORE 319300.478
AT ITER 7492 NEW BEST:: SOT 2656051 SOS 352478 HAS SOPS 352478 HAS SOUS 318947 HAS SOUPS 318947 WITH SCORE 319299.478
AT ITER 7494 NEW BEST:: SOT 2655998 SOS 352231 HAS SOPS 352231 HAS SOUS 318894 HAS SOUPS 318894 WITH SCORE 319246.231
AT ITER 7500 NEW BEST:: SOT 2655826 SOS 351866 HAS SOPS 351866 HAS SOUS 318529 HAS SOUPS 318529 WITH SCORE 318880.866
AT ITER 7516 NEW BEST:: SOT 2655704 SOS 351808 HAS SOPS 351808 HAS SOUS 318469 HAS SOUPS 318469 WITH SCORE 318820.808
AT ITER 7540 NEW BEST:: SOT 2655721 SOS 351766 HAS SOPS 351766 HAS SOUS 318427 HAS SOUPS 318427 WITH SCORE 318778.766
AT ITER 7549 NEW BEST:: SOT 2655721 SOS 351717 HAS SOPS 351717 HAS SOUS 318378 HAS SOUPS 318378 WITH SCORE 318729.717
AT ITER 7550 NEW BEST:: SOT 2655520 SOS 351269 HAS SOPS 351269 HAS SOUS 318228 HAS SOUPS 318228 WITH SCORE 318579.269
AT ITER 7603 NEW BEST:: SOT 2655330 SOS 351031 HAS SOPS 351031 HAS SOUS 317990 HAS SOUPS 317990 WITH SCORE 318341.031
AT ITER 7608 NEW BEST:: SOT 2655217 SOS 350990 HAS SOPS 350990 HAS SOUS 317949 HAS SOUPS 317949 WITH SCORE 318299.99
AT ITER 7618 NEW BEST:: SOT 2655217 SOS 350943 HAS SOPS 350943 HAS SOUS 317902 HAS SOUPS 317902 WITH SCORE 318252.943
AT ITER 7624 NEW BEST:: SOT 2654967 SOS 350693 HAS SOPS 350693 HAS SOUS 317652 HAS SOUPS 317652 WITH SCORE 318002.693
AT ITER 7670 NEW BEST:: SOT 2654975 SOS 350627 HAS SOPS 350627 HAS SOUS 317627 HAS SOUPS 317627 WITH SCORE 317977.627
AT ITER 7688 NEW BEST:: SOT 2654975 SOS 350592 HAS SOPS 350592 HAS SOUS 317592 HAS SOUPS 317592 WITH SCORE 317942.592
AT ITER 7769 NEW BEST:: SOT 2654956 SOS 350663 HAS SOPS 350663 HAS SOUS 317573 HAS SOUPS 317573 WITH SCORE 317923.663
AT ITER 7772 NEW BEST:: SOT 2654956 SOS 350629 HAS SOPS 350629 HAS SOUS 317573 HAS SOUPS 317573 WITH SCORE 317923.629
AT ITER 7773 NEW BEST:: SOT 2654955 SOS 350557 HAS SOPS 350557 HAS SOUS 317567 HAS SOUPS 317567 WITH SCORE 317917.557
AT ITER 7791 NEW BEST:: SOT 2654889 SOS 350425 HAS SOPS 350425 HAS SOUS 317542 HAS SOUPS 317542 WITH SCORE 317892.425
AT ITER 7909 NEW BEST:: SOT 2654860 SOS 350309 HAS SOPS 350309 HAS SOUS 317484 HAS SOUPS 317484 WITH SCORE 317834.309
AT ITER 7924 NEW BEST:: SOT 2654838 SOS 350285 HAS SOPS 350285 HAS SOUS 317460 HAS SOUPS 317460 WITH SCORE 317810.285
AT ITER 7943 NEW BEST:: SOT 2654837 SOS 350284 HAS SOPS 350284 HAS SOUS 317459 HAS SOUPS 317459 WITH SCORE 317809.284
AT ITER 7962 NEW BEST:: SOT 2654837 SOS 350248 HAS SOPS 350248 HAS SOUS 317441 HAS SOUPS 317441 WITH SCORE 317791.248
AT ITER 7983 NEW BEST:: SOT 2654610 SOS 349527 HAS SOPS 349527 HAS SOUS 317155 HAS SOUPS 317155 WITH SCORE 317504.527
AT ITER 8033 NEW BEST:: SOT 2654735 SOS 349493 HAS SOPS 349493 HAS SOUS 317121 HAS SOUPS 317121 WITH SCORE 317470.493
AT ITER 8060 NEW BEST:: SOT 2654735 SOS 349479 HAS SOPS 349479 HAS SOUS 317107 HAS SOUPS 317107 WITH SCORE 317456.479
AT ITER 8063 NEW BEST:: SOT 2654709 SOS 349427 HAS SOPS 349427 HAS SOUS 317081 HAS SOUPS 317081 WITH SCORE 317430.427
AT ITER 8085 NEW BEST:: SOT 2654499 SOS 349217 HAS SOPS 349217 HAS SOUS 316870 HAS SOUPS 316870 WITH SCORE 317219.217
AT ITER 8136 NEW BEST:: SOT 2654499 SOS 349217 HAS SOPS 349217 HAS SOUS 316816 HAS SOUPS 316816 WITH SCORE 317165.217
AT ITER 8146 NEW BEST:: SOT 2654465 SOS 349149 HAS SOPS 349149 HAS SOUS 316798 HAS SOUPS 316798 WITH SCORE 317147.149
AT ITER 8163 NEW BEST:: SOT 2654460 SOS 349144 HAS SOPS 349144 HAS SOUS 316793 HAS SOUPS 316793 WITH SCORE 317142.144
AT ITER 8167 NEW BEST:: SOT 2654400 SOS 349282 HAS SOPS 349282 HAS SOUS 316759 HAS SOUPS 316759 WITH SCORE 317108.282
AT ITER 8189 NEW BEST:: SOT 2654378 SOS 349227 HAS SOPS 349227 HAS SOUS 316715 HAS SOUPS 316715 WITH SCORE 317064.227
AT ITER 8205 NEW BEST:: SOT 2654156 SOS 348658 HAS SOPS 348658 HAS SOUS 316396 HAS SOUPS 316396 WITH SCORE 316744.658
AT ITER 8210 NEW BEST:: SOT 2654144 SOS 348641 HAS SOPS 348641 HAS SOUS 316379 HAS SOUPS 316379 WITH SCORE 316727.641
AT ITER 8212 NEW BEST:: SOT 2654257 SOS 348572 HAS SOPS 348572 HAS SOUS 316310 HAS SOUPS 316310 WITH SCORE 316658.572
AT ITER 8218 NEW BEST:: SOT 2654168 SOS 348483 HAS SOPS 348483 HAS SOUS 316132 HAS SOUPS 316132 WITH SCORE 316480.483
AT ITER 8257 NEW BEST:: SOT 2654168 SOS 348420 HAS SOPS 348420 HAS SOUS 316069 HAS SOUPS 316069 WITH SCORE 316417.42
AT ITER 8287 NEW BEST:: SOT 2654134 SOS 348182 HAS SOPS 348182 HAS SOUS 315831 HAS SOUPS 315831 WITH SCORE 316179.182
AT ITER 8295 NEW BEST:: SOT 2654030 SOS 348078 HAS SOPS 348078 HAS SOUS 315727 HAS SOUPS 315727 WITH SCORE 316075.078
AT ITER 8299 NEW BEST:: SOT 2653952 SOS 347973 HAS SOPS 347973 HAS SOUS 315622 HAS SOUPS 315622 WITH SCORE 315969.973
AT ITER 8360 NEW BEST:: SOT 2653952 SOS 347973 HAS SOPS 347973 HAS SOUS 315527 HAS SOUPS 315527 WITH SCORE 315874.973
AT ITER 8397 NEW BEST:: SOT 2653895 SOS 347827 HAS SOPS 347827 HAS SOUS 315470 HAS SOUPS 315470 WITH SCORE 315817.827
AT ITER 8424 NEW BEST:: SOT 2653989 SOS 348015 HAS SOPS 348015 HAS SOUS 315454 HAS SOUPS 315454 WITH SCORE 315802.015
AT ITER 8461 NEW BEST:: SOT 2653902 SOS 347968 HAS SOPS 347968 HAS SOUS 315391 HAS SOUPS 315391 WITH SCORE 315738.968
AT ITER 8467 NEW BEST:: SOT 2653886 SOS 347952 HAS SOPS 347952 HAS SOUS 315359 HAS SOUPS 315359 WITH SCORE 315706.952
AT ITER 8480 NEW BEST:: SOT 2653667 SOS 347848 HAS SOPS 347848 HAS SOUS 315078 HAS SOUPS 315078 WITH SCORE 315425.848
AT ITER 8490 NEW BEST:: SOT 2653549 SOS 347645 HAS SOPS 347645 HAS SOUS 314875 HAS SOUPS 314875 WITH SCORE 315222.645
AT ITER 8496 NEW BEST:: SOT 2653549 SOS 347500 HAS SOPS 347500 HAS SOUS 314730 HAS SOUPS 314730 WITH SCORE 315077.5
AT ITER 8502 NEW BEST:: SOT 2653534 SOS 347485 HAS SOPS 347485 HAS SOUS 314715 HAS SOUPS 314715 WITH SCORE 315062.485
AT ITER 8550 NEW BEST:: SOT 2653533 SOS 347484 HAS SOPS 347484 HAS SOUS 314714 HAS SOUPS 314714 WITH SCORE 315061.484
AT ITER 8623 NEW BEST:: SOT 2653533 SOS 347404 HAS SOPS 347404 HAS SOUS 314634 HAS SOUPS 314634 WITH SCORE 314981.404
AT ITER 8624 NEW BEST:: SOT 2653471 SOS 347280 HAS SOPS 347280 HAS SOUS 314572 HAS SOUPS 314572 WITH SCORE 314919.28
AT ITER 8629 NEW BEST:: SOT 2653512 SOS 347128 HAS SOPS 347128 HAS SOUS 314420 HAS SOUPS 314420 WITH SCORE 314767.128
AT ITER 8641 NEW BEST:: SOT 2653252 SOS 346608 HAS SOPS 346608 HAS SOUS 314036 HAS SOUPS 314036 WITH SCORE 314382.608
AT ITER 8644 NEW BEST:: SOT 2653052 SOS 346607 HAS SOPS 346607 HAS SOUS 314035 HAS SOUPS 314035 WITH SCORE 314381.607
AT ITER 8745 NEW BEST:: SOT 2653000 SOS 346451 HAS SOPS 346451 HAS SOUS 314034 HAS SOUPS 314034 WITH SCORE 314380.451
AT ITER 8758 NEW BEST:: SOT 2652939 SOS 346783 HAS SOPS 346783 HAS SOUS 313973 HAS SOUPS 313973 WITH SCORE 314319.783
AT ITER 8771 NEW BEST:: SOT 2652939 SOS 346736 HAS SOPS 346736 HAS SOUS 313926 HAS SOUPS 313926 WITH SCORE 314272.736
AT ITER 8817 NEW BEST:: SOT 2652939 SOS 346736 HAS SOPS 346736 HAS SOUS 313671 HAS SOUPS 313671 WITH SCORE 314017.736
AT ITER 8822 NEW BEST:: SOT 2652902 SOS 346662 HAS SOPS 346662 HAS SOUS 313634 HAS SOUPS 313634 WITH SCORE 313980.662
AT ITER 8867 NEW BEST:: SOT 2652603 SOS 346363 HAS SOPS 346363 HAS SOUS 313335 HAS SOUPS 313335 WITH SCORE 313681.363
AT ITER 8950 NEW BEST:: SOT 2652290 SOS 345910 HAS SOPS 345910 HAS SOUS 312882 HAS SOUPS 312882 WITH SCORE 313227.91
AT ITER 8970 NEW BEST:: SOT 2652239 SOS 345859 HAS SOPS 345859 HAS SOUS 312831 HAS SOUPS 312831 WITH SCORE 313176.859
AT ITER 8982 NEW BEST:: SOT 2652151 SOS 345771 HAS SOPS 345771 HAS SOUS 312743 HAS SOUPS 312743 WITH SCORE 313088.771
AT ITER 9005 NEW BEST:: SOT 2652433 SOS 345874 HAS SOPS 345874 HAS SOUS 312706 HAS SOUPS 312706 WITH SCORE 313051.874
AT ITER 9023 NEW BEST:: SOT 2652379 SOS 345935 HAS SOPS 345935 HAS SOUS 312306 HAS SOUPS 312306 WITH SCORE 312651.935
AT ITER 9041 NEW BEST:: SOT 2652378 SOS 345933 HAS SOPS 345933 HAS SOUS 312304 HAS SOUPS 312304 WITH SCORE 312649.933
AT ITER 9056 NEW BEST:: SOT 2652378 SOS 345933 HAS SOPS 345933 HAS SOUS 312246 HAS SOUPS 312246 WITH SCORE 312591.933
AT ITER 9145 NEW BEST:: SOT 2652359 SOS 345895 HAS SOPS 345895 HAS SOUS 312208 HAS SOUPS 312208 WITH SCORE 312553.895
AT ITER 9177 NEW BEST:: SOT 2652359 SOS 345895 HAS SOPS 345895 HAS SOUS 311945 HAS SOUPS 311945 WITH SCORE 312290.895
AT ITER 9201 NEW BEST:: SOT 2652329 SOS 345835 HAS SOPS 345835 HAS SOUS 311915 HAS SOUPS 311915 WITH SCORE 312260.835
AT ITER 9206 NEW BEST:: SOT 2652377 SOS 345883 HAS SOPS 345883 HAS SOUS 311911 HAS SOUPS 311911 WITH SCORE 312256.883
AT ITER 9297 NEW BEST:: SOT 2652360 SOS 345875 HAS SOPS 345875 HAS SOUS 311903 HAS SOUPS 311903 WITH SCORE 312248.875
AT ITER 9377 NEW BEST:: SOT 2652375 SOS 345412 HAS SOPS 345412 HAS SOUS 311440 HAS SOUPS 311440 WITH SCORE 311785.412
AT ITER 9383 NEW BEST:: SOT 2652245 SOS 345217 HAS SOPS 345217 HAS SOUS 311245 HAS SOUPS 311245 WITH SCORE 311590.217
AT ITER 9406 NEW BEST:: SOT 2652218 SOS 345190 HAS SOPS 345190 HAS SOUS 311191 HAS SOUPS 311191 WITH SCORE 311536.19
AT ITER 9410 NEW BEST:: SOT 2652129 SOS 345071 HAS SOPS 345071 HAS SOUS 311072 HAS SOUPS 311072 WITH SCORE 311417.071
AT ITER 9417 NEW BEST:: SOT 2652129 SOS 345058 HAS SOPS 345058 HAS SOUS 311072 HAS SOUPS 311072 WITH SCORE 311417.058
AT ITER 9418 NEW BEST:: SOT 2652041 SOS 344857 HAS SOPS 344857 HAS SOUS 310983 HAS SOUPS 310983 WITH SCORE 311327.857
AT ITER 9504 NEW BEST:: SOT 2651833 SOS 344476 HAS SOPS 344476 HAS SOUS 310602 HAS SOUPS 310602 WITH SCORE 310946.476
AT ITER 9514 NEW BEST:: SOT 2651833 SOS 344426 HAS SOPS 344426 HAS SOUS 310552 HAS SOUPS 310552 WITH SCORE 310896.426
AT ITER 9533 NEW BEST:: SOT 2651781 SOS 344429 HAS SOPS 344429 HAS SOUS 310532 HAS SOUPS 310532 WITH SCORE 310876.429
AT ITER 9552 NEW BEST:: SOT 2651781 SOS 344210 HAS SOPS 344210 HAS SOUS 310524 HAS SOUPS 310524 WITH SCORE 310868.21
AT ITER 9554 NEW BEST:: SOT 2651689 SOS 344026 HAS SOPS 344026 HAS SOUS 310287 HAS SOUPS 310287 WITH SCORE 310631.026
AT ITER 9630 NEW BEST:: SOT 2651642 SOS 343932 HAS SOPS 343932 HAS SOUS 310240 HAS SOUPS 310240 WITH SCORE 310583.932
AT ITER 9684 NEW BEST:: SOT 2651642 SOS 343893 HAS SOPS 343893 HAS SOUS 310240 HAS SOUPS 310240 WITH SCORE 310583.893
AT ITER 9758 NEW BEST:: SOT 2651640 SOS 343891 HAS SOPS 343891 HAS SOUS 310238 HAS SOUPS 310238 WITH SCORE 310581.891
AT ITER 9763 NEW BEST:: SOT 2651640 SOS 343872 HAS SOPS 343872 HAS SOUS 310238 HAS SOUPS 310238 WITH SCORE 310581.872
AT ITER 9862 NEW BEST:: SOT 2651598 SOS 343830 HAS SOPS 343830 HAS SOUS 310196 HAS SOUPS 310196 WITH SCORE 310539.83
AT ITER 9889 NEW BEST:: SOT 2651593 SOS 343820 HAS SOPS 343820 HAS SOUS 310186 HAS SOUPS 310186 WITH SCORE 310529.82
AT ITER 9970 NEW BEST:: SOT 2651593 SOS 343649 HAS SOPS 343649 HAS SOUS 310015 HAS SOUPS 310015 WITH SCORE 310358.649
AT ITER 9982 NEW BEST:: SOT 2651450 SOS 343659 HAS SOPS 343659 HAS SOUS 309872 HAS SOUPS 309872 WITH SCORE 310215.659
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8994560 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16123484 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="AutoFlight-PT-24b"
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 AutoFlight-PT-24b, 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 r011-oct2-167813600300496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24b.tgz
mv AutoFlight-PT-24b 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 '
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 ;