fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484200448
Last Updated
May 14, 2023

About the Execution of Smart+red for DES-PT-30a

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12181.623 3600000.00 3632801.00 8760.70 [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.r107-tall-167814484200448.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 DES-PT-30a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 15:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 15:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 70K 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 1678372085064

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=DES-PT-30a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 14:28:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 14:28:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 14:28:06] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-09 14:28:06] [INFO ] Transformed 234 places.
[2023-03-09 14:28:06] [INFO ] Transformed 191 transitions.
[2023-03-09 14:28:06] [INFO ] Found NUPN structural information;
[2023-03-09 14:28:06] [INFO ] Parsed PT model containing 234 places and 191 transitions and 926 arcs in 112 ms.
[2023-03-09 14:28:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 234 places, 191 transitions and 926 arcs took 6 ms.
Total runtime 147 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30a
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: 234 places, 191 transitions, 926 arcs.
AT ITER 0 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19423.681
AT ITER 29 NEW BEST:: SOT 33443 SOS 29579 HAS SOPS 29579 HAS SOUS 16288 HAS SOUPS 16288 WITH SCORE 16317.579
AT ITER 36 NEW BEST:: SOT 33324 SOS 29473 HAS SOPS 29473 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16203.473
AT ITER 48 NEW BEST:: SOT 33001 SOS 29150 HAS SOPS 29150 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16128.15
AT ITER 70 NEW BEST:: SOT 32926 SOS 28941 HAS SOPS 28941 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15916.941
AT ITER 78 NEW BEST:: SOT 32875 SOS 28926 HAS SOPS 28926 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15900.926
AT ITER 88 NEW BEST:: SOT 32849 SOS 28900 HAS SOPS 28900 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15868.9
AT ITER 100 NEW BEST:: SOT 32849 SOS 28899 HAS SOPS 28899 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15866.899
AT ITER 104 NEW BEST:: SOT 32787 SOS 28858 HAS SOPS 28858 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15825.858
AT ITER 108 NEW BEST:: SOT 32772 SOS 28843 HAS SOPS 28843 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15820.843
AT ITER 112 NEW BEST:: SOT 32772 SOS 28839 HAS SOPS 28839 HAS SOUS 15788 HAS SOUPS 15788 WITH SCORE 15816.839
AT ITER 115 NEW BEST:: SOT 32757 SOS 28819 HAS SOPS 28819 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15808.819
AT ITER 119 NEW BEST:: SOT 32712 SOS 28774 HAS SOPS 28774 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15790.774
AT ITER 121 NEW BEST:: SOT 32645 SOS 28707 HAS SOPS 28707 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15758.707
AT ITER 122 NEW BEST:: SOT 32607 SOS 28528 HAS SOPS 28528 HAS SOUS 15551 HAS SOUPS 15551 WITH SCORE 15579.528
AT ITER 125 NEW BEST:: SOT 32594 SOS 28128 HAS SOPS 28128 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15572.128
AT ITER 151 NEW BEST:: SOT 32586 SOS 28120 HAS SOPS 28120 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15564.12
AT ITER 155 NEW BEST:: SOT 32584 SOS 28118 HAS SOPS 28118 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15562.118
AT ITER 167 NEW BEST:: SOT 32574 SOS 28108 HAS SOPS 28108 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15462.108
AT ITER 174 NEW BEST:: SOT 32454 SOS 28047 HAS SOPS 28047 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15433.047
AT ITER 176 NEW BEST:: SOT 32452 SOS 28045 HAS SOPS 28045 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15431.045
AT ITER 183 NEW BEST:: SOT 32452 SOS 28045 HAS SOPS 28045 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15430.045
AT ITER 184 NEW BEST:: SOT 31842 SOS 27435 HAS SOPS 27435 HAS SOUS 14792 HAS SOUPS 14792 WITH SCORE 14819.435
AT ITER 206 NEW BEST:: SOT 31757 SOS 27373 HAS SOPS 27373 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14756.373
AT ITER 211 NEW BEST:: SOT 31757 SOS 27373 HAS SOPS 27373 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14755.373
AT ITER 226 NEW BEST:: SOT 31767 SOS 27377 HAS SOPS 27377 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14752.377
AT ITER 227 NEW BEST:: SOT 31766 SOS 27376 HAS SOPS 27376 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14752.376
AT ITER 233 NEW BEST:: SOT 31710 SOS 27320 HAS SOPS 27320 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14695.32
AT ITER 236 NEW BEST:: SOT 31707 SOS 27317 HAS SOPS 27317 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14691.317
AT ITER 241 NEW BEST:: SOT 31707 SOS 27314 HAS SOPS 27314 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14689.314
AT ITER 260 NEW BEST:: SOT 29472 SOS 25096 HAS SOPS 25096 HAS SOUS 12374 HAS SOUPS 12374 WITH SCORE 12399.096
AT ITER 275 NEW BEST:: SOT 29472 SOS 24946 HAS SOPS 24946 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12397.946
AT ITER 296 NEW BEST:: SOT 29208 SOS 24636 HAS SOPS 24636 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12271.636
AT ITER 302 NEW BEST:: SOT 29208 SOS 24636 HAS SOPS 24636 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12264.636
AT ITER 303 NEW BEST:: SOT 29197 SOS 24549 HAS SOPS 24549 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12177.549
AT ITER 307 NEW BEST:: SOT 29197 SOS 24549 HAS SOPS 24549 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12176.549
AT ITER 310 NEW BEST:: SOT 29197 SOS 24653 HAS SOPS 24653 HAS SOUS 12129 HAS SOUPS 12129 WITH SCORE 12153.653
AT ITER 312 NEW BEST:: SOT 29091 SOS 24585 HAS SOPS 24585 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12084.585
AT ITER 319 NEW BEST:: SOT 28417 SOS 23911 HAS SOPS 23911 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11409.911
AT ITER 342 NEW BEST:: SOT 28350 SOS 23831 HAS SOPS 23831 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11329.831
AT ITER 347 NEW BEST:: SOT 28349 SOS 23830 HAS SOPS 23830 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11327.83
AT ITER 354 NEW BEST:: SOT 28354 SOS 23837 HAS SOPS 23837 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11302.837
AT ITER 355 NEW BEST:: SOT 28310 SOS 23793 HAS SOPS 23793 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11229.793
AT ITER 360 NEW BEST:: SOT 28258 SOS 23754 HAS SOPS 23754 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11182.754
AT ITER 362 NEW BEST:: SOT 28217 SOS 23713 HAS SOPS 23713 HAS SOUS 11118 HAS SOUPS 11118 WITH SCORE 11141.713
AT ITER 391 NEW BEST:: SOT 28215 SOS 23711 HAS SOPS 23711 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11139.711
AT ITER 398 NEW BEST:: SOT 28129 SOS 23616 HAS SOPS 23616 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11044.616
AT ITER 405 NEW BEST:: SOT 28128 SOS 23565 HAS SOPS 23565 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11042.565
AT ITER 409 NEW BEST:: SOT 27914 SOS 23256 HAS SOPS 23256 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10874.256
AT ITER 415 NEW BEST:: SOT 27898 SOS 23257 HAS SOPS 23257 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10789.257
AT ITER 428 NEW BEST:: SOT 27882 SOS 23241 HAS SOPS 23241 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10784.241
AT ITER 442 NEW BEST:: SOT 27880 SOS 23239 HAS SOPS 23239 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10782.239
AT ITER 444 NEW BEST:: SOT 27846 SOS 23193 HAS SOPS 23193 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10736.193
AT ITER 448 NEW BEST:: SOT 27846 SOS 23193 HAS SOPS 23193 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10713.193
AT ITER 477 NEW BEST:: SOT 27847 SOS 23194 HAS SOPS 23194 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10694.194
AT ITER 487 NEW BEST:: SOT 27842 SOS 23189 HAS SOPS 23189 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10671.189
AT ITER 490 NEW BEST:: SOT 27800 SOS 23147 HAS SOPS 23147 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10629.147
AT ITER 499 NEW BEST:: SOT 27800 SOS 23147 HAS SOPS 23147 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10540.147
AT ITER 504 NEW BEST:: SOT 27799 SOS 23120 HAS SOPS 23120 HAS SOUS 10515 HAS SOUPS 10515 WITH SCORE 10538.12
AT ITER 505 NEW BEST:: SOT 27789 SOS 23103 HAS SOPS 23103 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10521.103
AT ITER 514 NEW BEST:: SOT 27789 SOS 23159 HAS SOPS 23159 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10459.159
AT ITER 522 NEW BEST:: SOT 27777 SOS 23157 HAS SOPS 23157 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10457.157
AT ITER 530 NEW BEST:: SOT 27587 SOS 22967 HAS SOPS 22967 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10370.967
AT ITER 531 NEW BEST:: SOT 27585 SOS 22963 HAS SOPS 22963 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10366.963
AT ITER 536 NEW BEST:: SOT 27577 SOS 22955 HAS SOPS 22955 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10358.955
AT ITER 537 NEW BEST:: SOT 27577 SOS 22939 HAS SOPS 22939 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10344.939
AT ITER 550 NEW BEST:: SOT 27231 SOS 22575 HAS SOPS 22575 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10264.575
AT ITER 556 NEW BEST:: SOT 26477 SOS 21821 HAS SOPS 21821 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9508.821
AT ITER 567 NEW BEST:: SOT 26477 SOS 21816 HAS SOPS 21816 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9503.816
AT ITER 582 NEW BEST:: SOT 26461 SOS 21800 HAS SOPS 21800 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9455.8
AT ITER 600 NEW BEST:: SOT 26460 SOS 21799 HAS SOPS 21799 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9453.799
AT ITER 616 NEW BEST:: SOT 26465 SOS 21891 HAS SOPS 21891 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9443.891
AT ITER 631 NEW BEST:: SOT 26321 SOS 21747 HAS SOPS 21747 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9370.747
AT ITER 645 NEW BEST:: SOT 26245 SOS 21671 HAS SOPS 21671 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9218.671
AT ITER 658 NEW BEST:: SOT 26167 SOS 21593 HAS SOPS 21593 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9216.593
AT ITER 659 NEW BEST:: SOT 26133 SOS 21559 HAS SOPS 21559 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9182.559
AT ITER 663 NEW BEST:: SOT 26093 SOS 21519 HAS SOPS 21519 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9142.519
AT ITER 677 NEW BEST:: SOT 25981 SOS 21453 HAS SOPS 21453 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9076.453
AT ITER 679 NEW BEST:: SOT 25959 SOS 21431 HAS SOPS 21431 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9032.431
AT ITER 688 NEW BEST:: SOT 25939 SOS 21388 HAS SOPS 21388 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9002.388
AT ITER 698 NEW BEST:: SOT 25937 SOS 21385 HAS SOPS 21385 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8999.385
AT ITER 716 NEW BEST:: SOT 25680 SOS 21128 HAS SOPS 21128 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8741.128
AT ITER 720 NEW BEST:: SOT 25677 SOS 21125 HAS SOPS 21125 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8738.125
AT ITER 737 NEW BEST:: SOT 25660 SOS 21093 HAS SOPS 21093 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8723.093
AT ITER 771 NEW BEST:: SOT 25619 SOS 20967 HAS SOPS 20967 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8642.967
AT ITER 789 NEW BEST:: SOT 25650 SOS 21013 HAS SOPS 21013 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8613.013
AT ITER 790 NEW BEST:: SOT 25586 SOS 20945 HAS SOPS 20945 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8544.945
AT ITER 792 NEW BEST:: SOT 25568 SOS 20894 HAS SOPS 20894 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8493.894
AT ITER 795 NEW BEST:: SOT 25556 SOS 20870 HAS SOPS 20870 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8469.87
AT ITER 825 NEW BEST:: SOT 25553 SOS 20864 HAS SOPS 20864 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8463.864
AT ITER 839 NEW BEST:: SOT 25541 SOS 20852 HAS SOPS 20852 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8450.852
AT ITER 843 NEW BEST:: SOT 25526 SOS 20835 HAS SOPS 20835 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8433.835
AT ITER 853 NEW BEST:: SOT 25478 SOS 20781 HAS SOPS 20781 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8379.781
AT ITER 861 NEW BEST:: SOT 25455 SOS 20758 HAS SOPS 20758 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8356.758
AT ITER 862 NEW BEST:: SOT 25427 SOS 20719 HAS SOPS 20719 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8317.719
AT ITER 898 NEW BEST:: SOT 25427 SOS 20719 HAS SOPS 20719 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8316.719
AT ITER 907 NEW BEST:: SOT 25406 SOS 20686 HAS SOPS 20686 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8311.686
AT ITER 911 NEW BEST:: SOT 25273 SOS 20580 HAS SOPS 20580 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8205.58
AT ITER 915 NEW BEST:: SOT 25236 SOS 20531 HAS SOPS 20531 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8191.531
AT ITER 921 NEW BEST:: SOT 25212 SOS 20486 HAS SOPS 20486 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8146.486
AT ITER 925 NEW BEST:: SOT 25211 SOS 20485 HAS SOPS 20485 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8145.485
AT ITER 928 NEW BEST:: SOT 25210 SOS 20484 HAS SOPS 20484 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8143.484
AT ITER 933 NEW BEST:: SOT 25203 SOS 20477 HAS SOPS 20477 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8087.477
AT ITER 946 NEW BEST:: SOT 25180 SOS 20454 HAS SOPS 20454 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8083.454
AT ITER 956 NEW BEST:: SOT 25180 SOS 20454 HAS SOPS 20454 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8039.454
AT ITER 960 NEW BEST:: SOT 25167 SOS 20433 HAS SOPS 20433 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8021.433
AT ITER 1004 NEW BEST:: SOT 25166 SOS 20432 HAS SOPS 20432 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8019.432
AT ITER 1023 NEW BEST:: SOT 25161 SOS 20427 HAS SOPS 20427 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8014.427
AT ITER 1025 NEW BEST:: SOT 25157 SOS 20423 HAS SOPS 20423 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 8006.423
AT ITER 1033 NEW BEST:: SOT 25157 SOS 20423 HAS SOPS 20423 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7995.423
AT ITER 1054 NEW BEST:: SOT 25156 SOS 20422 HAS SOPS 20422 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7993.422
AT ITER 1068 NEW BEST:: SOT 25162 SOS 20440 HAS SOPS 20440 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7977.44
AT ITER 1091 NEW BEST:: SOT 25100 SOS 19442 HAS SOPS 19442 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7867.442
AT ITER 1096 NEW BEST:: SOT 25058 SOS 19375 HAS SOPS 19375 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7808.375
AT ITER 1105 NEW BEST:: SOT 25058 SOS 19335 HAS SOPS 19335 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7768.335
AT ITER 1117 NEW BEST:: SOT 25064 SOS 19341 HAS SOPS 19341 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7763.341
AT ITER 1118 NEW BEST:: SOT 25068 SOS 19330 HAS SOPS 19330 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7752.33
AT ITER 1124 NEW BEST:: SOT 25044 SOS 19294 HAS SOPS 19294 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7740.294
AT ITER 1129 NEW BEST:: SOT 25040 SOS 19283 HAS SOPS 19283 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7736.283
AT ITER 1131 NEW BEST:: SOT 25016 SOS 19259 HAS SOPS 19259 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7700.259
AT ITER 1157 NEW BEST:: SOT 25016 SOS 19231 HAS SOPS 19231 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7672.231
AT ITER 1170 NEW BEST:: SOT 25001 SOS 19144 HAS SOPS 19144 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7666.144
AT ITER 1175 NEW BEST:: SOT 25001 SOS 19178 HAS SOPS 19178 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7652.178
AT ITER 1191 NEW BEST:: SOT 24887 SOS 19064 HAS SOPS 19064 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7610.064
AT ITER 1198 NEW BEST:: SOT 24860 SOS 18988 HAS SOPS 18988 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7533.988
AT ITER 1206 NEW BEST:: SOT 24858 SOS 18986 HAS SOPS 18986 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7531.986
AT ITER 1212 NEW BEST:: SOT 24816 SOS 18944 HAS SOPS 18944 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7505.944
AT ITER 1219 NEW BEST:: SOT 24816 SOS 18984 HAS SOPS 18984 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7473.984
AT ITER 1232 NEW BEST:: SOT 24770 SOS 18959 HAS SOPS 18959 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7447.959
AT ITER 1248 NEW BEST:: SOT 24741 SOS 18930 HAS SOPS 18930 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7418.93
AT ITER 1264 NEW BEST:: SOT 24712 SOS 18849 HAS SOPS 18849 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7337.849
AT ITER 1271 NEW BEST:: SOT 24709 SOS 18846 HAS SOPS 18846 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7331.846
AT ITER 1274 NEW BEST:: SOT 24677 SOS 18814 HAS SOPS 18814 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7303.814
AT ITER 1280 NEW BEST:: SOT 24677 SOS 18821 HAS SOPS 18821 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7296.821
AT ITER 1284 NEW BEST:: SOT 24467 SOS 18611 HAS SOPS 18611 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7248.611
AT ITER 1285 NEW BEST:: SOT 24460 SOS 18604 HAS SOPS 18604 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7234.604
AT ITER 1300 NEW BEST:: SOT 24456 SOS 18600 HAS SOPS 18600 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7226.6
AT ITER 1305 NEW BEST:: SOT 24445 SOS 18589 HAS SOPS 18589 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7215.589
AT ITER 1309 NEW BEST:: SOT 24399 SOS 18543 HAS SOPS 18543 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7192.543
AT ITER 1316 NEW BEST:: SOT 24392 SOS 18532 HAS SOPS 18532 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7181.532
AT ITER 1318 NEW BEST:: SOT 24373 SOS 18513 HAS SOPS 18513 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7102.513
AT ITER 1332 NEW BEST:: SOT 24363 SOS 18507 HAS SOPS 18507 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7102.507
AT ITER 1336 NEW BEST:: SOT 24363 SOS 18507 HAS SOPS 18507 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7101.507
AT ITER 1340 NEW BEST:: SOT 24351 SOS 18495 HAS SOPS 18495 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7077.495
AT ITER 1342 NEW BEST:: SOT 24335 SOS 18483 HAS SOPS 18483 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7065.483
AT ITER 1352 NEW BEST:: SOT 24332 SOS 18480 HAS SOPS 18480 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7062.48
AT ITER 1380 NEW BEST:: SOT 24326 SOS 18418 HAS SOPS 18418 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7052.418
AT ITER 1381 NEW BEST:: SOT 24322 SOS 18415 HAS SOPS 18415 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7049.415
AT ITER 1405 NEW BEST:: SOT 24321 SOS 18414 HAS SOPS 18414 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7047.414
AT ITER 1428 NEW BEST:: SOT 24313 SOS 18410 HAS SOPS 18410 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7043.41
AT ITER 1430 NEW BEST:: SOT 24315 SOS 18406 HAS SOPS 18406 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7039.406
AT ITER 1435 NEW BEST:: SOT 24292 SOS 18173 HAS SOPS 18173 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7033.173
AT ITER 1442 NEW BEST:: SOT 24284 SOS 18165 HAS SOPS 18165 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7025.165
AT ITER 1469 NEW BEST:: SOT 24284 SOS 18159 HAS SOPS 18159 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7019.159
AT ITER 1498 NEW BEST:: SOT 24254 SOS 18139 HAS SOPS 18139 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6926.139
AT ITER 1506 NEW BEST:: SOT 24248 SOS 18133 HAS SOPS 18133 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6914.133
AT ITER 1510 NEW BEST:: SOT 24247 SOS 18125 HAS SOPS 18125 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6907.125
AT ITER 1521 NEW BEST:: SOT 24246 SOS 18124 HAS SOPS 18124 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6906.124
AT ITER 1540 NEW BEST:: SOT 24181 SOS 18025 HAS SOPS 18025 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6849.025
AT ITER 1603 NEW BEST:: SOT 24180 SOS 18024 HAS SOPS 18024 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6847.024
AT ITER 1621 NEW BEST:: SOT 24146 SOS 17990 HAS SOPS 17990 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6825.99
AT ITER 1643 NEW BEST:: SOT 24146 SOS 17990 HAS SOPS 17990 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6789.99
AT ITER 1647 NEW BEST:: SOT 24203 SOS 18047 HAS SOPS 18047 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6753.047
AT ITER 1650 NEW BEST:: SOT 24085 SOS 17929 HAS SOPS 17929 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6633.929
AT ITER 1659 NEW BEST:: SOT 24085 SOS 17929 HAS SOPS 17929 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6618.929
AT ITER 1676 NEW BEST:: SOT 24084 SOS 17928 HAS SOPS 17928 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6618.928
AT ITER 1684 NEW BEST:: SOT 24098 SOS 17942 HAS SOPS 17942 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6609.942
AT ITER 1712 NEW BEST:: SOT 24093 SOS 17937 HAS SOPS 17937 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6609.937
AT ITER 1770 NEW BEST:: SOT 24093 SOS 17917 HAS SOPS 17917 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6609.917
AT ITER 1798 NEW BEST:: SOT 24083 SOS 17907 HAS SOPS 17907 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6589.907
AT ITER 1806 NEW BEST:: SOT 24079 SOS 17903 HAS SOPS 17903 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6585.903
AT ITER 1822 NEW BEST:: SOT 24108 SOS 17932 HAS SOPS 17932 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6565.932
AT ITER 1883 NEW BEST:: SOT 24097 SOS 17921 HAS SOPS 17921 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6543.921
AT ITER 1909 NEW BEST:: SOT 24052 SOS 17871 HAS SOPS 17871 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6493.871
AT ITER 1912 NEW BEST:: SOT 24049 SOS 17868 HAS SOPS 17868 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6490.868
AT ITER 1930 NEW BEST:: SOT 24032 SOS 17851 HAS SOPS 17851 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6489.851
AT ITER 1936 NEW BEST:: SOT 24029 SOS 17848 HAS SOPS 17848 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6489.848
AT ITER 1953 NEW BEST:: SOT 24026 SOS 17845 HAS SOPS 17845 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6489.845
AT ITER 1987 NEW BEST:: SOT 24043 SOS 17862 HAS SOPS 17862 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6474.862
AT ITER 2002 NEW BEST:: SOT 24026 SOS 17845 HAS SOPS 17845 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6440.845
AT ITER 2016 NEW BEST:: SOT 24007 SOS 17833 HAS SOPS 17833 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6411.833
AT ITER 2044 NEW BEST:: SOT 24052 SOS 17877 HAS SOPS 17877 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6408.877
AT ITER 2048 NEW BEST:: SOT 24051 SOS 17876 HAS SOPS 17876 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6405.876
AT ITER 2062 NEW BEST:: SOT 24039 SOS 17864 HAS SOPS 17864 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6393.864
AT ITER 2084 NEW BEST:: SOT 24037 SOS 17858 HAS SOPS 17858 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6387.858
AT ITER 2100 NEW BEST:: SOT 24026 SOS 17767 HAS SOPS 17767 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6296.767
AT ITER 2111 NEW BEST:: SOT 24005 SOS 17746 HAS SOPS 17746 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6296.746
AT ITER 2121 NEW BEST:: SOT 23977 SOS 17718 HAS SOPS 17718 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6202.718
AT ITER 2151 NEW BEST:: SOT 23968 SOS 17709 HAS SOPS 17709 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6194.709
AT ITER 2166 NEW BEST:: SOT 23968 SOS 17702 HAS SOPS 17702 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6187.702
AT ITER 2169 NEW BEST:: SOT 23963 SOS 17698 HAS SOPS 17698 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6170.698
AT ITER 2180 NEW BEST:: SOT 23961 SOS 17695 HAS SOPS 17695 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6167.695
AT ITER 2207 NEW BEST:: SOT 23960 SOS 17694 HAS SOPS 17694 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6165.694
AT ITER 2210 NEW BEST:: SOT 23932 SOS 17666 HAS SOPS 17666 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6109.666
AT ITER 2269 NEW BEST:: SOT 23929 SOS 17663 HAS SOPS 17663 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6103.663
AT ITER 2283 NEW BEST:: SOT 23929 SOS 17655 HAS SOPS 17655 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6095.655
AT ITER 2299 NEW BEST:: SOT 23938 SOS 17669 HAS SOPS 17669 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6093.669
AT ITER 2312 NEW BEST:: SOT 23938 SOS 17665 HAS SOPS 17665 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6089.665
AT ITER 2317 NEW BEST:: SOT 23901 SOS 17628 HAS SOPS 17628 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6052.628
AT ITER 2328 NEW BEST:: SOT 23927 SOS 17654 HAS SOPS 17654 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6051.654
AT ITER 2335 NEW BEST:: SOT 23886 SOS 17613 HAS SOPS 17613 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6051.613
AT ITER 2361 NEW BEST:: SOT 23859 SOS 17586 HAS SOPS 17586 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6051.586
AT ITER 2362 NEW BEST:: SOT 23848 SOS 17575 HAS SOPS 17575 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6029.575
AT ITER 2366 NEW BEST:: SOT 23815 SOS 17542 HAS SOPS 17542 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6029.542
AT ITER 2408 NEW BEST:: SOT 23834 SOS 17561 HAS SOPS 17561 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6013.561
AT ITER 2434 NEW BEST:: SOT 23837 SOS 17547 HAS SOPS 17547 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5999.547
AT ITER 2481 NEW BEST:: SOT 23839 SOS 17549 HAS SOPS 17549 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5986.549
AT ITER 2494 NEW BEST:: SOT 23823 SOS 17533 HAS SOPS 17533 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5970.533
AT ITER 2510 NEW BEST:: SOT 23821 SOS 17531 HAS SOPS 17531 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5968.531
AT ITER 2526 NEW BEST:: SOT 23811 SOS 17521 HAS SOPS 17521 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5958.521
AT ITER 2537 NEW BEST:: SOT 23795 SOS 17796 HAS SOPS 17796 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5943.796
AT ITER 2538 NEW BEST:: SOT 23705 SOS 17658 HAS SOPS 17658 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5805.658
AT ITER 2598 NEW BEST:: SOT 23659 SOS 16016 HAS SOPS 16016 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5772.016
AT ITER 2616 NEW BEST:: SOT 23654 SOS 16011 HAS SOPS 16011 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5762.011
AT ITER 2644 NEW BEST:: SOT 23690 SOS 16047 HAS SOPS 16047 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5754.047
AT ITER 2668 NEW BEST:: SOT 23675 SOS 16032 HAS SOPS 16032 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5754.032
AT ITER 2683 NEW BEST:: SOT 23714 SOS 16071 HAS SOPS 16071 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5752.071
AT ITER 2687 NEW BEST:: SOT 23709 SOS 16066 HAS SOPS 16066 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5747.066
AT ITER 2756 NEW BEST:: SOT 23709 SOS 16035 HAS SOPS 16035 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5716.035
AT ITER 2758 NEW BEST:: SOT 23677 SOS 16003 HAS SOPS 16003 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5652.003
AT ITER 2760 NEW BEST:: SOT 23671 SOS 15997 HAS SOPS 15997 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5639.997
AT ITER 2764 NEW BEST:: SOT 23670 SOS 15996 HAS SOPS 15996 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5637.996
AT ITER 2790 NEW BEST:: SOT 23663 SOS 15989 HAS SOPS 15989 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5631.989
AT ITER 2806 NEW BEST:: SOT 23663 SOS 15962 HAS SOPS 15962 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5604.962
AT ITER 2835 NEW BEST:: SOT 23659 SOS 15958 HAS SOPS 15958 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5600.958
AT ITER 2846 NEW BEST:: SOT 23657 SOS 15950 HAS SOPS 15950 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5598.95
AT ITER 2848 NEW BEST:: SOT 23660 SOS 15953 HAS SOPS 15953 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5586.953
AT ITER 2853 NEW BEST:: SOT 23650 SOS 15926 HAS SOPS 15926 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5583.926
AT ITER 2872 NEW BEST:: SOT 23650 SOS 15910 HAS SOPS 15910 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5583.91
AT ITER 2873 NEW BEST:: SOT 23649 SOS 15909 HAS SOPS 15909 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5581.909
AT ITER 2879 NEW BEST:: SOT 23643 SOS 15903 HAS SOPS 15903 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5578.903
AT ITER 2961 NEW BEST:: SOT 23643 SOS 15903 HAS SOPS 15903 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5539.903
AT ITER 2977 NEW BEST:: SOT 23623 SOS 15883 HAS SOPS 15883 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5539.883
AT ITER 2978 NEW BEST:: SOT 23602 SOS 15862 HAS SOPS 15862 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5518.862
AT ITER 2979 NEW BEST:: SOT 23600 SOS 15864 HAS SOPS 15864 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5517.864
AT ITER 3017 NEW BEST:: SOT 23596 SOS 15852 HAS SOPS 15852 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5505.852
AT ITER 3035 NEW BEST:: SOT 23590 SOS 15846 HAS SOPS 15846 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5505.846
AT ITER 3040 NEW BEST:: SOT 23573 SOS 15814 HAS SOPS 15814 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5486.814
AT ITER 3050 NEW BEST:: SOT 23583 SOS 15824 HAS SOPS 15824 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5476.824
AT ITER 3078 NEW BEST:: SOT 23549 SOS 15790 HAS SOPS 15790 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5442.79
AT ITER 3114 NEW BEST:: SOT 23537 SOS 15778 HAS SOPS 15778 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5418.778
AT ITER 3118 NEW BEST:: SOT 23536 SOS 15777 HAS SOPS 15777 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5416.777
AT ITER 3146 NEW BEST:: SOT 23532 SOS 15773 HAS SOPS 15773 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5412.773
AT ITER 3176 NEW BEST:: SOT 23528 SOS 15765 HAS SOPS 15765 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5406.765
AT ITER 3198 NEW BEST:: SOT 23528 SOS 15766 HAS SOPS 15766 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5375.766
AT ITER 3224 NEW BEST:: SOT 23543 SOS 15781 HAS SOPS 15781 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5372.781
AT ITER 3247 NEW BEST:: SOT 23542 SOS 15780 HAS SOPS 15780 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5371.78
AT ITER 3251 NEW BEST:: SOT 23552 SOS 15790 HAS SOPS 15790 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5367.79
AT ITER 3258 NEW BEST:: SOT 23552 SOS 15790 HAS SOPS 15790 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5360.79
AT ITER 3260 NEW BEST:: SOT 23547 SOS 15785 HAS SOPS 15785 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5345.785
AT ITER 3279 NEW BEST:: SOT 23519 SOS 15757 HAS SOPS 15757 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5287.757
AT ITER 3324 NEW BEST:: SOT 23475 SOS 15713 HAS SOPS 15713 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5285.713
AT ITER 3361 NEW BEST:: SOT 23473 SOS 15711 HAS SOPS 15711 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5281.711
AT ITER 3366 NEW BEST:: SOT 23478 SOS 15717 HAS SOPS 15717 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5277.717
AT ITER 3382 NEW BEST:: SOT 23477 SOS 15716 HAS SOPS 15716 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5276.716
AT ITER 3404 NEW BEST:: SOT 23477 SOS 15716 HAS SOPS 15716 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5273.716
AT ITER 3414 NEW BEST:: SOT 23474 SOS 15713 HAS SOPS 15713 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5270.713
AT ITER 3435 NEW BEST:: SOT 23473 SOS 15706 HAS SOPS 15706 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5263.706
AT ITER 3499 NEW BEST:: SOT 23461 SOS 15669 HAS SOPS 15669 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5240.669
AT ITER 3506 NEW BEST:: SOT 23461 SOS 15606 HAS SOPS 15606 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5240.606
AT ITER 3523 NEW BEST:: SOT 23461 SOS 15601 HAS SOPS 15601 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5235.601
AT ITER 3554 NEW BEST:: SOT 23459 SOS 15595 HAS SOPS 15595 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5231.595
AT ITER 3593 NEW BEST:: SOT 23421 SOS 15557 HAS SOPS 15557 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5212.557
AT ITER 3595 NEW BEST:: SOT 23410 SOS 15541 HAS SOPS 15541 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5212.541
AT ITER 3616 NEW BEST:: SOT 23408 SOS 15537 HAS SOPS 15537 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5208.537
AT ITER 3679 NEW BEST:: SOT 23406 SOS 15535 HAS SOPS 15535 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5208.535
AT ITER 3720 NEW BEST:: SOT 23392 SOS 15514 HAS SOPS 15514 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5190.514
AT ITER 3744 NEW BEST:: SOT 23362 SOS 15484 HAS SOPS 15484 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5130.484
AT ITER 3778 NEW BEST:: SOT 23362 SOS 15505 HAS SOPS 15505 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5119.505
AT ITER 3800 NEW BEST:: SOT 23360 SOS 15503 HAS SOPS 15503 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5115.503
AT ITER 3809 NEW BEST:: SOT 23350 SOS 15493 HAS SOPS 15493 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5106.493
AT ITER 3816 NEW BEST:: SOT 23350 SOS 15491 HAS SOPS 15491 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5104.491
AT ITER 3819 NEW BEST:: SOT 23348 SOS 15487 HAS SOPS 15487 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5100.487
AT ITER 3826 NEW BEST:: SOT 23329 SOS 15447 HAS SOPS 15447 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5097.447
AT ITER 3848 NEW BEST:: SOT 23323 SOS 15420 HAS SOPS 15420 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5070.42
AT ITER 3864 NEW BEST:: SOT 23323 SOS 15418 HAS SOPS 15418 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5068.418
AT ITER 3888 NEW BEST:: SOT 23307 SOS 15402 HAS SOPS 15402 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5060.402
AT ITER 3913 NEW BEST:: SOT 23302 SOS 15397 HAS SOPS 15397 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5037.397
AT ITER 3961 NEW BEST:: SOT 23262 SOS 15343 HAS SOPS 15343 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4997.343
AT ITER 3979 NEW BEST:: SOT 23244 SOS 15325 HAS SOPS 15325 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4982.325
AT ITER 4018 NEW BEST:: SOT 23239 SOS 15320 HAS SOPS 15320 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4975.32
AT ITER 4029 NEW BEST:: SOT 23239 SOS 15320 HAS SOPS 15320 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4969.32
AT ITER 4104 NEW BEST:: SOT 23238 SOS 15329 HAS SOPS 15329 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4967.329
AT ITER 4195 NEW BEST:: SOT 23238 SOS 15329 HAS SOPS 15329 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4952.329
AT ITER 4196 NEW BEST:: SOT 23242 SOS 15333 HAS SOPS 15333 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4919.333
AT ITER 4266 NEW BEST:: SOT 23206 SOS 15255 HAS SOPS 15255 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4875.255
AT ITER 4280 NEW BEST:: SOT 23206 SOS 15229 HAS SOPS 15229 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4875.229
AT ITER 4290 NEW BEST:: SOT 23201 SOS 15224 HAS SOPS 15224 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4865.224
AT ITER 4292 NEW BEST:: SOT 23201 SOS 15221 HAS SOPS 15221 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4865.221
AT ITER 4323 NEW BEST:: SOT 23201 SOS 15216 HAS SOPS 15216 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4860.216
AT ITER 4332 NEW BEST:: SOT 23196 SOS 15201 HAS SOPS 15201 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4860.201
AT ITER 4335 NEW BEST:: SOT 23194 SOS 15199 HAS SOPS 15199 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4856.199
AT ITER 4374 NEW BEST:: SOT 23193 SOS 15196 HAS SOPS 15196 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4854.196
AT ITER 4427 NEW BEST:: SOT 23189 SOS 15192 HAS SOPS 15192 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4846.192
AT ITER 4440 NEW BEST:: SOT 23188 SOS 15191 HAS SOPS 15191 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4844.191
AT ITER 4513 NEW BEST:: SOT 23186 SOS 15189 HAS SOPS 15189 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4840.189
AT ITER 4611 NEW BEST:: SOT 23183 SOS 15186 HAS SOPS 15186 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4834.186
AT ITER 4642 NEW BEST:: SOT 23184 SOS 15155 HAS SOPS 15155 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4834.155
AT ITER 4678 NEW BEST:: SOT 23185 SOS 15139 HAS SOPS 15139 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4834.139
AT ITER 4687 NEW BEST:: SOT 23183 SOS 15136 HAS SOPS 15136 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4831.136
AT ITER 4710 NEW BEST:: SOT 23180 SOS 15129 HAS SOPS 15129 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4824.129
AT ITER 4789 NEW BEST:: SOT 23165 SOS 15099 HAS SOPS 15099 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4809.099
AT ITER 4802 NEW BEST:: SOT 23162 SOS 15096 HAS SOPS 15096 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4806.096
AT ITER 4823 NEW BEST:: SOT 23132 SOS 15066 HAS SOPS 15066 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4803.066
AT ITER 4839 NEW BEST:: SOT 23126 SOS 15060 HAS SOPS 15060 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4791.06
AT ITER 4841 NEW BEST:: SOT 23128 SOS 15047 HAS SOPS 15047 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4783.047
AT ITER 4855 NEW BEST:: SOT 23122 SOS 15041 HAS SOPS 15041 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4765.041
AT ITER 4879 NEW BEST:: SOT 23127 SOS 15037 HAS SOPS 15037 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4758.037
AT ITER 4945 NEW BEST:: SOT 23118 SOS 15028 HAS SOPS 15028 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4740.028
AT ITER 4974 NEW BEST:: SOT 23120 SOS 15029 HAS SOPS 15029 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4739.029
AT ITER 4989 NEW BEST:: SOT 23109 SOS 15011 HAS SOPS 15011 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4721.011
AT ITER 5050 NEW BEST:: SOT 23107 SOS 15009 HAS SOPS 15009 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4717.009
AT ITER 5097 NEW BEST:: SOT 23105 SOS 15007 HAS SOPS 15007 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4715.007
AT ITER 5148 NEW BEST:: SOT 23099 SOS 15001 HAS SOPS 15001 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4709.001
AT ITER 5159 NEW BEST:: SOT 23080 SOS 14985 HAS SOPS 14985 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4692.985
AT ITER 5191 NEW BEST:: SOT 23080 SOS 14980 HAS SOPS 14980 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4687.98
AT ITER 5228 NEW BEST:: SOT 23072 SOS 14972 HAS SOPS 14972 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4679.972
AT ITER 5281 NEW BEST:: SOT 23072 SOS 14968 HAS SOPS 14968 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4675.968
AT ITER 5309 NEW BEST:: SOT 23065 SOS 14954 HAS SOPS 14954 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4661.954
AT ITER 5359 NEW BEST:: SOT 23065 SOS 14948 HAS SOPS 14948 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4655.948
AT ITER 5368 NEW BEST:: SOT 23063 SOS 14946 HAS SOPS 14946 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4653.946
AT ITER 5454 NEW BEST:: SOT 23057 SOS 14940 HAS SOPS 14940 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4639.94
AT ITER 5476 NEW BEST:: SOT 23057 SOS 14938 HAS SOPS 14938 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4639.938
AT ITER 5484 NEW BEST:: SOT 23057 SOS 14937 HAS SOPS 14937 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4638.937
AT ITER 5517 NEW BEST:: SOT 23055 SOS 14935 HAS SOPS 14935 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4634.935
AT ITER 5529 NEW BEST:: SOT 23049 SOS 14929 HAS SOPS 14929 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4622.929
AT ITER 5542 NEW BEST:: SOT 23048 SOS 14928 HAS SOPS 14928 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4620.928
AT ITER 5571 NEW BEST:: SOT 23041 SOS 14933 HAS SOPS 14933 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4617.933
AT ITER 5633 NEW BEST:: SOT 23036 SOS 14928 HAS SOPS 14928 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4612.928
AT ITER 5654 NEW BEST:: SOT 23034 SOS 14925 HAS SOPS 14925 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4609.925
AT ITER 5666 NEW BEST:: SOT 23022 SOS 14913 HAS SOPS 14913 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4598.913
AT ITER 5685 NEW BEST:: SOT 23021 SOS 14912 HAS SOPS 14912 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4596.912
AT ITER 5736 NEW BEST:: SOT 23021 SOS 14912 HAS SOPS 14912 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4595.912
AT ITER 5763 NEW BEST:: SOT 23010 SOS 14890 HAS SOPS 14890 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4579.89
AT ITER 5775 NEW BEST:: SOT 23008 SOS 14888 HAS SOPS 14888 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4574.888
AT ITER 5814 NEW BEST:: SOT 23007 SOS 14874 HAS SOPS 14874 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4566.874
AT ITER 5828 NEW BEST:: SOT 23006 SOS 14874 HAS SOPS 14874 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4563.874
AT ITER 5870 NEW BEST:: SOT 22993 SOS 14861 HAS SOPS 14861 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4559.861
AT ITER 5885 NEW BEST:: SOT 22993 SOS 14855 HAS SOPS 14855 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4553.855
AT ITER 5897 NEW BEST:: SOT 22949 SOS 14788 HAS SOPS 14788 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4508.788
AT ITER 6099 NEW BEST:: SOT 22957 SOS 14796 HAS SOPS 14796 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4505.796
AT ITER 6109 NEW BEST:: SOT 22880 SOS 14702 HAS SOPS 14702 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4463.702
AT ITER 6134 NEW BEST:: SOT 22880 SOS 14702 HAS SOPS 14702 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4457.702
AT ITER 6206 NEW BEST:: SOT 22879 SOS 14701 HAS SOPS 14701 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4455.701
AT ITER 6223 NEW BEST:: SOT 22881 SOS 14694 HAS SOPS 14694 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4454.694
AT ITER 6238 NEW BEST:: SOT 22877 SOS 14690 HAS SOPS 14690 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4450.69
AT ITER 6241 NEW BEST:: SOT 22874 SOS 14687 HAS SOPS 14687 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4444.687
AT ITER 6297 NEW BEST:: SOT 22874 SOS 14684 HAS SOPS 14684 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4441.684
AT ITER 6320 NEW BEST:: SOT 22870 SOS 14678 HAS SOPS 14678 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4439.678
AT ITER 6331 NEW BEST:: SOT 22869 SOS 14677 HAS SOPS 14677 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4438.677
AT ITER 6379 NEW BEST:: SOT 22869 SOS 14677 HAS SOPS 14677 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4434.677
AT ITER 6410 NEW BEST:: SOT 22878 SOS 14696 HAS SOPS 14696 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4433.696
AT ITER 6475 NEW BEST:: SOT 22877 SOS 14695 HAS SOPS 14695 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4432.695
AT ITER 6511 NEW BEST:: SOT 22877 SOS 14695 HAS SOPS 14695 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4425.695
AT ITER 6535 NEW BEST:: SOT 22874 SOS 14689 HAS SOPS 14689 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4422.689
AT ITER 6566 NEW BEST:: SOT 22873 SOS 14687 HAS SOPS 14687 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4422.687
AT ITER 6584 NEW BEST:: SOT 22873 SOS 14637 HAS SOPS 14637 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4412.637
AT ITER 6637 NEW BEST:: SOT 22861 SOS 14622 HAS SOPS 14622 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4403.622
AT ITER 6704 NEW BEST:: SOT 22860 SOS 14621 HAS SOPS 14621 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4401.621
AT ITER 6712 NEW BEST:: SOT 22860 SOS 14617 HAS SOPS 14617 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4397.617
AT ITER 6854 NEW BEST:: SOT 22857 SOS 14614 HAS SOPS 14614 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4394.614
AT ITER 6924 NEW BEST:: SOT 22857 SOS 14612 HAS SOPS 14612 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4392.612
AT ITER 6929 NEW BEST:: SOT 22856 SOS 14611 HAS SOPS 14611 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4386.611
AT ITER 6984 NEW BEST:: SOT 22852 SOS 14607 HAS SOPS 14607 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4382.607
AT ITER 7037 NEW BEST:: SOT 22850 SOS 14605 HAS SOPS 14605 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4378.605
AT ITER 7067 NEW BEST:: SOT 22844 SOS 14599 HAS SOPS 14599 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4372.599
AT ITER 7090 NEW BEST:: SOT 22842 SOS 14597 HAS SOPS 14597 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4370.597
AT ITER 7189 NEW BEST:: SOT 22844 SOS 14599 HAS SOPS 14599 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4369.599
AT ITER 7217 NEW BEST:: SOT 22834 SOS 14575 HAS SOPS 14575 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4363.575
AT ITER 7246 NEW BEST:: SOT 22828 SOS 14566 HAS SOPS 14566 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4362.566
AT ITER 7277 NEW BEST:: SOT 22828 SOS 14564 HAS SOPS 14564 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4360.564
AT ITER 7282 NEW BEST:: SOT 22823 SOS 14559 HAS SOPS 14559 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4360.559
AT ITER 7284 NEW BEST:: SOT 22823 SOS 14561 HAS SOPS 14561 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4358.561
AT ITER 7333 NEW BEST:: SOT 22821 SOS 14555 HAS SOPS 14555 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4354.555
AT ITER 7459 NEW BEST:: SOT 22818 SOS 14549 HAS SOPS 14549 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4351.549
AT ITER 7503 NEW BEST:: SOT 22818 SOS 14551 HAS SOPS 14551 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4349.551
AT ITER 7574 NEW BEST:: SOT 22817 SOS 14550 HAS SOPS 14550 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4347.55
AT ITER 7580 NEW BEST:: SOT 22816 SOS 14520 HAS SOPS 14520 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4346.52
AT ITER 7581 NEW BEST:: SOT 22810 SOS 14514 HAS SOPS 14514 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4343.514
AT ITER 7657 NEW BEST:: SOT 22808 SOS 14512 HAS SOPS 14512 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4341.512
AT ITER 7730 NEW BEST:: SOT 22803 SOS 14507 HAS SOPS 14507 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4341.507
AT ITER 7774 NEW BEST:: SOT 22801 SOS 14505 HAS SOPS 14505 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4340.505
AT ITER 7777 NEW BEST:: SOT 22799 SOS 14503 HAS SOPS 14503 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4340.503
AT ITER 7885 NEW BEST:: SOT 22799 SOS 14499 HAS SOPS 14499 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4336.499
AT ITER 7900 NEW BEST:: SOT 22801 SOS 14503 HAS SOPS 14503 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4335.503
AT ITER 7904 NEW BEST:: SOT 22793 SOS 14495 HAS SOPS 14495 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4319.495
AT ITER 7936 NEW BEST:: SOT 22793 SOS 14495 HAS SOPS 14495 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4318.495
AT ITER 7953 NEW BEST:: SOT 22739 SOS 14441 HAS SOPS 14441 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4302.441
AT ITER 8044 NEW BEST:: SOT 22738 SOS 14368 HAS SOPS 14368 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4294.368
AT ITER 8152 NEW BEST:: SOT 22745 SOS 14375 HAS SOPS 14375 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4278.375
AT ITER 8331 NEW BEST:: SOT 22744 SOS 14373 HAS SOPS 14373 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4275.373
AT ITER 8347 NEW BEST:: SOT 22738 SOS 14479 HAS SOPS 14479 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4261.479
AT ITER 8388 NEW BEST:: SOT 22721 SOS 14449 HAS SOPS 14449 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4240.449
AT ITER 8596 NEW BEST:: SOT 22719 SOS 14447 HAS SOPS 14447 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4238.447
AT ITER 8598 NEW BEST:: SOT 22768 SOS 14496 HAS SOPS 14496 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4237.496
AT ITER 8727 NEW BEST:: SOT 22758 SOS 14485 HAS SOPS 14485 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4237.485
AT ITER 8759 NEW BEST:: SOT 22758 SOS 14455 HAS SOPS 14455 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4237.455
AT ITER 8768 NEW BEST:: SOT 22708 SOS 14405 HAS SOPS 14405 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4208.405
AT ITER 8986 NEW BEST:: SOT 22705 SOS 14402 HAS SOPS 14402 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4205.402
AT ITER 9007 NEW BEST:: SOT 22702 SOS 14399 HAS SOPS 14399 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4202.399
AT ITER 9047 NEW BEST:: SOT 22697 SOS 14396 HAS SOPS 14396 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4200.396
AT ITER 9099 NEW BEST:: SOT 22690 SOS 14367 HAS SOPS 14367 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4187.367
AT ITER 9140 NEW BEST:: SOT 22688 SOS 14365 HAS SOPS 14365 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4187.365
AT ITER 9229 NEW BEST:: SOT 22688 SOS 14366 HAS SOPS 14366 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4184.366
AT ITER 9279 NEW BEST:: SOT 22685 SOS 14363 HAS SOPS 14363 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4178.363
AT ITER 9337 NEW BEST:: SOT 22679 SOS 14357 HAS SOPS 14357 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4178.357
AT ITER 9338 NEW BEST:: SOT 22674 SOS 14303 HAS SOPS 14303 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4170.303
AT ITER 9339 NEW BEST:: SOT 22672 SOS 14301 HAS SOPS 14301 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4166.301
AT ITER 9399 NEW BEST:: SOT 22661 SOS 14286 HAS SOPS 14286 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4163.286
AT ITER 9431 NEW BEST:: SOT 22660 SOS 14283 HAS SOPS 14283 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4162.283
AT ITER 9432 NEW BEST:: SOT 22658 SOS 14285 HAS SOPS 14285 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4158.285
AT ITER 9513 NEW BEST:: SOT 22656 SOS 14282 HAS SOPS 14282 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4155.282
AT ITER 9689 NEW BEST:: SOT 22651 SOS 14277 HAS SOPS 14277 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4150.277
AT ITER 9690 NEW BEST:: SOT 22653 SOS 14270 HAS SOPS 14270 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4143.27
AT ITER 9711 NEW BEST:: SOT 22652 SOS 14269 HAS SOPS 14269 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4141.269
AT ITER 9722 NEW BEST:: SOT 22649 SOS 14246 HAS SOPS 14246 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4139.246
AT ITER 9816 NEW BEST:: SOT 22643 SOS 14221 HAS SOPS 14221 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4138.221
AT ITER 9836 NEW BEST:: SOT 22642 SOS 14220 HAS SOPS 14220 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4136.22
AT ITER 9949 NEW BEST:: SOT 22639 SOS 14217 HAS SOPS 14217 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4132.217
AT ITER 9966 NEW BEST:: SOT 22629 SOS 14205 HAS SOPS 14205 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4120.205
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3990724 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126656 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-30a"
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 DES-PT-30a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484200448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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