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-167814484200432.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-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 15:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 15:39 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.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 15:42 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 57K 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 1678369333057

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-20a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:42:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:42:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:42:14] [INFO ] Load time of PNML (sax parser for PT used): 48 ms
[2023-03-09 13:42:14] [INFO ] Transformed 195 places.
[2023-03-09 13:42:14] [INFO ] Transformed 152 transitions.
[2023-03-09 13:42:14] [INFO ] Found NUPN structural information;
[2023-03-09 13:42:14] [INFO ] Parsed PT model containing 195 places and 152 transitions and 742 arcs in 111 ms.
[2023-03-09 13:42:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 195 places, 152 transitions and 742 arcs took 5 ms.
Total runtime 142 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20a
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: 195 places, 152 transitions, 742 arcs.
AT ITER 0 NEW BEST:: SOT 23474 SOS 20065 HAS SOPS 20065 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12889.065
AT ITER 4 NEW BEST:: SOT 21834 SOS 18507 HAS SOPS 18507 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11328.507
AT ITER 19 NEW BEST:: SOT 21834 SOS 18423 HAS SOPS 18423 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11327.423
AT ITER 24 NEW BEST:: SOT 21797 SOS 18386 HAS SOPS 18386 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11290.386
AT ITER 49 NEW BEST:: SOT 21776 SOS 18365 HAS SOPS 18365 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11268.365
AT ITER 51 NEW BEST:: SOT 21679 SOS 18268 HAS SOPS 18268 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11170.268
AT ITER 57 NEW BEST:: SOT 21679 SOS 18268 HAS SOPS 18268 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11169.268
AT ITER 62 NEW BEST:: SOT 21676 SOS 18265 HAS SOPS 18265 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11166.265
AT ITER 73 NEW BEST:: SOT 21676 SOS 18268 HAS SOPS 18268 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11146.268
AT ITER 83 NEW BEST:: SOT 21676 SOS 18266 HAS SOPS 18266 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11145.266
AT ITER 94 NEW BEST:: SOT 21001 SOS 17558 HAS SOPS 17558 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10978.558
AT ITER 98 NEW BEST:: SOT 20958 SOS 17514 HAS SOPS 17514 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10934.514
AT ITER 101 NEW BEST:: SOT 20933 SOS 17489 HAS SOPS 17489 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10853.489
AT ITER 109 NEW BEST:: SOT 20931 SOS 17486 HAS SOPS 17486 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10850.486
AT ITER 113 NEW BEST:: SOT 20931 SOS 17486 HAS SOPS 17486 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10849.486
AT ITER 120 NEW BEST:: SOT 20926 SOS 17481 HAS SOPS 17481 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10844.481
AT ITER 129 NEW BEST:: SOT 20204 SOS 16759 HAS SOPS 16759 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10121.759
AT ITER 130 NEW BEST:: SOT 20174 SOS 16729 HAS SOPS 16729 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10112.729
AT ITER 136 NEW BEST:: SOT 20108 SOS 16661 HAS SOPS 16661 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10044.661
AT ITER 145 NEW BEST:: SOT 20054 SOS 16605 HAS SOPS 16605 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9988.605
AT ITER 160 NEW BEST:: SOT 19232 SOS 15783 HAS SOPS 15783 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9165.783
AT ITER 187 NEW BEST:: SOT 19228 SOS 15779 HAS SOPS 15779 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9159.779
AT ITER 189 NEW BEST:: SOT 18899 SOS 15519 HAS SOPS 15519 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8902.519
AT ITER 197 NEW BEST:: SOT 18893 SOS 15513 HAS SOPS 15513 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8896.513
AT ITER 216 NEW BEST:: SOT 18884 SOS 15504 HAS SOPS 15504 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8887.504
AT ITER 219 NEW BEST:: SOT 18345 SOS 14965 HAS SOPS 14965 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8346.965
AT ITER 224 NEW BEST:: SOT 18374 SOS 14994 HAS SOPS 14994 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8339.994
AT ITER 225 NEW BEST:: SOT 18304 SOS 14797 HAS SOPS 14797 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8194.797
AT ITER 230 NEW BEST:: SOT 18258 SOS 14756 HAS SOPS 14756 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8153.756
AT ITER 237 NEW BEST:: SOT 18153 SOS 14674 HAS SOPS 14674 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8061.674
AT ITER 239 NEW BEST:: SOT 18152 SOS 14673 HAS SOPS 14673 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8059.673
AT ITER 258 NEW BEST:: SOT 17966 SOS 14486 HAS SOPS 14486 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7805.486
AT ITER 259 NEW BEST:: SOT 17938 SOS 14411 HAS SOPS 14411 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7755.411
AT ITER 267 NEW BEST:: SOT 17959 SOS 14432 HAS SOPS 14432 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7754.432
AT ITER 275 NEW BEST:: SOT 17790 SOS 14263 HAS SOPS 14263 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7697.263
AT ITER 295 NEW BEST:: SOT 17775 SOS 14239 HAS SOPS 14239 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7673.239
AT ITER 319 NEW BEST:: SOT 17704 SOS 14168 HAS SOPS 14168 HAS SOUS 7547 HAS SOUPS 7547 WITH SCORE 7561.168
AT ITER 321 NEW BEST:: SOT 17703 SOS 14167 HAS SOPS 14167 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7559.167
AT ITER 328 NEW BEST:: SOT 17569 SOS 13891 HAS SOPS 13891 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7432.891
AT ITER 333 NEW BEST:: SOT 17569 SOS 13890 HAS SOPS 13890 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7431.89
AT ITER 339 NEW BEST:: SOT 17541 SOS 13862 HAS SOPS 13862 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7402.862
AT ITER 363 NEW BEST:: SOT 17597 SOS 13918 HAS SOPS 13918 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7344.918
AT ITER 368 NEW BEST:: SOT 17596 SOS 13917 HAS SOPS 13917 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7343.917
AT ITER 381 NEW BEST:: SOT 17577 SOS 13847 HAS SOPS 13847 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7223.847
AT ITER 397 NEW BEST:: SOT 17468 SOS 13715 HAS SOPS 13715 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7194.715
AT ITER 399 NEW BEST:: SOT 17462 SOS 13347 HAS SOPS 13347 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7194.347
AT ITER 407 NEW BEST:: SOT 17467 SOS 13397 HAS SOPS 13397 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7139.397
AT ITER 434 NEW BEST:: SOT 17512 SOS 13445 HAS SOPS 13445 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7126.445
AT ITER 437 NEW BEST:: SOT 17114 SOS 13047 HAS SOPS 13047 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6727.047
AT ITER 440 NEW BEST:: SOT 17095 SOS 13028 HAS SOPS 13028 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6708.028
AT ITER 455 NEW BEST:: SOT 17106 SOS 12620 HAS SOPS 12620 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6627.62
AT ITER 468 NEW BEST:: SOT 17051 SOS 12551 HAS SOPS 12551 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6606.551
AT ITER 475 NEW BEST:: SOT 16976 SOS 12476 HAS SOPS 12476 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6581.476
AT ITER 488 NEW BEST:: SOT 16967 SOS 12458 HAS SOPS 12458 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6569.458
AT ITER 491 NEW BEST:: SOT 16936 SOS 12427 HAS SOPS 12427 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6558.427
AT ITER 492 NEW BEST:: SOT 16944 SOS 12406 HAS SOPS 12406 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6552.406
AT ITER 504 NEW BEST:: SOT 16944 SOS 12384 HAS SOPS 12384 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6530.384
AT ITER 512 NEW BEST:: SOT 16940 SOS 12380 HAS SOPS 12380 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6526.38
AT ITER 526 NEW BEST:: SOT 16939 SOS 12277 HAS SOPS 12277 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6524.277
AT ITER 540 NEW BEST:: SOT 16926 SOS 12264 HAS SOPS 12264 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6517.264
AT ITER 564 NEW BEST:: SOT 16899 SOS 12237 HAS SOPS 12237 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6502.237
AT ITER 576 NEW BEST:: SOT 16865 SOS 12169 HAS SOPS 12169 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6434.169
AT ITER 582 NEW BEST:: SOT 16857 SOS 12161 HAS SOPS 12161 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6434.161
AT ITER 593 NEW BEST:: SOT 16873 SOS 12102 HAS SOPS 12102 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6375.102
AT ITER 608 NEW BEST:: SOT 16847 SOS 12171 HAS SOPS 12171 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6335.171
AT ITER 611 NEW BEST:: SOT 16827 SOS 12151 HAS SOPS 12151 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6323.151
AT ITER 614 NEW BEST:: SOT 16823 SOS 12147 HAS SOPS 12147 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6319.147
AT ITER 632 NEW BEST:: SOT 16807 SOS 12131 HAS SOPS 12131 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6303.131
AT ITER 639 NEW BEST:: SOT 16823 SOS 12147 HAS SOPS 12147 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6301.147
AT ITER 640 NEW BEST:: SOT 16822 SOS 12146 HAS SOPS 12146 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6299.146
AT ITER 643 NEW BEST:: SOT 16803 SOS 12099 HAS SOPS 12099 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6252.099
AT ITER 658 NEW BEST:: SOT 16802 SOS 12098 HAS SOPS 12098 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6250.098
AT ITER 660 NEW BEST:: SOT 16802 SOS 12093 HAS SOPS 12093 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6244.093
AT ITER 666 NEW BEST:: SOT 16778 SOS 12069 HAS SOPS 12069 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6220.069
AT ITER 683 NEW BEST:: SOT 16777 SOS 12067 HAS SOPS 12067 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6218.067
AT ITER 685 NEW BEST:: SOT 16790 SOS 12080 HAS SOPS 12080 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6192.08
AT ITER 688 NEW BEST:: SOT 16759 SOS 12014 HAS SOPS 12014 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6126.014
AT ITER 695 NEW BEST:: SOT 16752 SOS 12007 HAS SOPS 12007 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6122.007
AT ITER 719 NEW BEST:: SOT 16740 SOS 11995 HAS SOPS 11995 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6109.995
AT ITER 732 NEW BEST:: SOT 16670 SOS 11827 HAS SOPS 11827 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6099.827
AT ITER 735 NEW BEST:: SOT 16669 SOS 11780 HAS SOPS 11780 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6097.78
AT ITER 739 NEW BEST:: SOT 16710 SOS 11821 HAS SOPS 11821 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6067.821
AT ITER 743 NEW BEST:: SOT 16611 SOS 11647 HAS SOPS 11647 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5915.647
AT ITER 752 NEW BEST:: SOT 16610 SOS 11646 HAS SOPS 11646 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5913.646
AT ITER 764 NEW BEST:: SOT 16502 SOS 11538 HAS SOPS 11538 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5813.538
AT ITER 770 NEW BEST:: SOT 16437 SOS 11408 HAS SOPS 11408 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5813.408
AT ITER 803 NEW BEST:: SOT 16436 SOS 11403 HAS SOPS 11403 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5811.403
AT ITER 807 NEW BEST:: SOT 16434 SOS 11401 HAS SOPS 11401 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5799.401
AT ITER 825 NEW BEST:: SOT 16413 SOS 11371 HAS SOPS 11371 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5769.371
AT ITER 889 NEW BEST:: SOT 16398 SOS 11348 HAS SOPS 11348 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5757.348
AT ITER 890 NEW BEST:: SOT 16380 SOS 11330 HAS SOPS 11330 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5721.33
AT ITER 905 NEW BEST:: SOT 16380 SOS 11351 HAS SOPS 11351 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5710.351
AT ITER 908 NEW BEST:: SOT 16331 SOS 11302 HAS SOPS 11302 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5654.302
AT ITER 922 NEW BEST:: SOT 16331 SOS 11311 HAS SOPS 11311 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5653.311
AT ITER 925 NEW BEST:: SOT 16330 SOS 11310 HAS SOPS 11310 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5652.31
AT ITER 927 NEW BEST:: SOT 16330 SOS 11307 HAS SOPS 11307 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5652.307
AT ITER 928 NEW BEST:: SOT 16311 SOS 11571 HAS SOPS 11571 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5631.571
AT ITER 964 NEW BEST:: SOT 16311 SOS 11558 HAS SOPS 11558 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5618.558
AT ITER 981 NEW BEST:: SOT 16302 SOS 11549 HAS SOPS 11549 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5590.549
AT ITER 997 NEW BEST:: SOT 16296 SOS 11544 HAS SOPS 11544 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5585.544
AT ITER 1004 NEW BEST:: SOT 16290 SOS 11534 HAS SOPS 11534 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5581.534
AT ITER 1020 NEW BEST:: SOT 16290 SOS 11569 HAS SOPS 11569 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5580.569
AT ITER 1029 NEW BEST:: SOT 16266 SOS 11535 HAS SOPS 11535 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5546.535
AT ITER 1044 NEW BEST:: SOT 16242 SOS 11511 HAS SOPS 11511 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5513.511
AT ITER 1047 NEW BEST:: SOT 16226 SOS 11479 HAS SOPS 11479 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5481.479
AT ITER 1049 NEW BEST:: SOT 16225 SOS 11478 HAS SOPS 11478 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5480.478
AT ITER 1050 NEW BEST:: SOT 16214 SOS 11467 HAS SOPS 11467 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5458.467
AT ITER 1057 NEW BEST:: SOT 16210 SOS 11463 HAS SOPS 11463 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5456.463
AT ITER 1081 NEW BEST:: SOT 16168 SOS 11421 HAS SOPS 11421 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5436.421
AT ITER 1089 NEW BEST:: SOT 16157 SOS 11410 HAS SOPS 11410 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5414.41
AT ITER 1090 NEW BEST:: SOT 16157 SOS 11409 HAS SOPS 11409 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5413.409
AT ITER 1100 NEW BEST:: SOT 16157 SOS 11409 HAS SOPS 11409 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5357.409
AT ITER 1101 NEW BEST:: SOT 16147 SOS 11399 HAS SOPS 11399 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5357.399
AT ITER 1119 NEW BEST:: SOT 16109 SOS 11361 HAS SOPS 11361 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5319.361
AT ITER 1120 NEW BEST:: SOT 16082 SOS 11292 HAS SOPS 11292 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5250.292
AT ITER 1128 NEW BEST:: SOT 16066 SOS 11276 HAS SOPS 11276 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5218.276
AT ITER 1167 NEW BEST:: SOT 16058 SOS 11253 HAS SOPS 11253 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5195.253
AT ITER 1170 NEW BEST:: SOT 16051 SOS 11246 HAS SOPS 11246 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5181.246
AT ITER 1193 NEW BEST:: SOT 16051 SOS 11249 HAS SOPS 11249 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5179.249
AT ITER 1197 NEW BEST:: SOT 16051 SOS 11229 HAS SOPS 11229 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5159.229
AT ITER 1203 NEW BEST:: SOT 16050 SOS 11228 HAS SOPS 11228 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5157.228
AT ITER 1225 NEW BEST:: SOT 16042 SOS 11216 HAS SOPS 11216 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5145.216
AT ITER 1227 NEW BEST:: SOT 16042 SOS 11215 HAS SOPS 11215 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5144.215
AT ITER 1231 NEW BEST:: SOT 16041 SOS 11214 HAS SOPS 11214 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5142.214
AT ITER 1248 NEW BEST:: SOT 15971 SOS 11252 HAS SOPS 11252 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5141.252
AT ITER 1263 NEW BEST:: SOT 15943 SOS 11224 HAS SOPS 11224 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5113.224
AT ITER 1264 NEW BEST:: SOT 15927 SOS 11200 HAS SOPS 11200 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5092.2
AT ITER 1282 NEW BEST:: SOT 15927 SOS 11196 HAS SOPS 11196 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.196
AT ITER 1283 NEW BEST:: SOT 15927 SOS 11195 HAS SOPS 11195 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.195
AT ITER 1316 NEW BEST:: SOT 15928 SOS 11196 HAS SOPS 11196 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5074.196
AT ITER 1325 NEW BEST:: SOT 15923 SOS 11191 HAS SOPS 11191 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5064.191
AT ITER 1341 NEW BEST:: SOT 15922 SOS 11190 HAS SOPS 11190 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5062.19
AT ITER 1345 NEW BEST:: SOT 15922 SOS 11171 HAS SOPS 11171 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5043.171
AT ITER 1390 NEW BEST:: SOT 15939 SOS 11229 HAS SOPS 11229 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5041.229
AT ITER 1402 NEW BEST:: SOT 15819 SOS 10986 HAS SOPS 10986 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4970.986
AT ITER 1411 NEW BEST:: SOT 15810 SOS 10963 HAS SOPS 10963 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4947.963
AT ITER 1430 NEW BEST:: SOT 15807 SOS 10960 HAS SOPS 10960 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4947.96
AT ITER 1468 NEW BEST:: SOT 15805 SOS 10958 HAS SOPS 10958 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4945.958
AT ITER 1476 NEW BEST:: SOT 15798 SOS 10945 HAS SOPS 10945 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4932.945
AT ITER 1496 NEW BEST:: SOT 15792 SOS 10939 HAS SOPS 10939 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4909.939
AT ITER 1505 NEW BEST:: SOT 15791 SOS 10938 HAS SOPS 10938 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4907.938
AT ITER 1513 NEW BEST:: SOT 15772 SOS 10919 HAS SOPS 10919 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4906.919
AT ITER 1516 NEW BEST:: SOT 15762 SOS 10673 HAS SOPS 10673 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4896.673
AT ITER 1523 NEW BEST:: SOT 15762 SOS 10671 HAS SOPS 10671 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4894.671
AT ITER 1547 NEW BEST:: SOT 15754 SOS 10663 HAS SOPS 10663 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4886.663
AT ITER 1558 NEW BEST:: SOT 15750 SOS 10659 HAS SOPS 10659 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4878.659
AT ITER 1623 NEW BEST:: SOT 15747 SOS 10654 HAS SOPS 10654 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4870.654
AT ITER 1650 NEW BEST:: SOT 15720 SOS 10618 HAS SOPS 10618 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4843.618
AT ITER 1672 NEW BEST:: SOT 15720 SOS 10618 HAS SOPS 10618 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4840.618
AT ITER 1687 NEW BEST:: SOT 15714 SOS 10612 HAS SOPS 10612 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4834.612
AT ITER 1690 NEW BEST:: SOT 15685 SOS 10554 HAS SOPS 10554 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4834.554
AT ITER 1693 NEW BEST:: SOT 15685 SOS 10522 HAS SOPS 10522 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4802.522
AT ITER 1701 NEW BEST:: SOT 15679 SOS 10506 HAS SOPS 10506 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4789.506
AT ITER 1702 NEW BEST:: SOT 15679 SOS 10506 HAS SOPS 10506 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4776.506
AT ITER 1713 NEW BEST:: SOT 15593 SOS 10388 HAS SOPS 10388 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4686.388
AT ITER 1726 NEW BEST:: SOT 15593 SOS 10382 HAS SOPS 10382 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4686.382
AT ITER 1752 NEW BEST:: SOT 15569 SOS 10345 HAS SOPS 10345 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4649.345
AT ITER 1755 NEW BEST:: SOT 15562 SOS 10338 HAS SOPS 10338 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4635.338
AT ITER 1775 NEW BEST:: SOT 15552 SOS 10328 HAS SOPS 10328 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4625.328
AT ITER 1779 NEW BEST:: SOT 15551 SOS 10345 HAS SOPS 10345 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4623.345
AT ITER 1796 NEW BEST:: SOT 15527 SOS 10309 HAS SOPS 10309 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4587.309
AT ITER 1816 NEW BEST:: SOT 15498 SOS 10254 HAS SOPS 10254 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4555.254
AT ITER 1824 NEW BEST:: SOT 15488 SOS 10239 HAS SOPS 10239 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4540.239
AT ITER 1830 NEW BEST:: SOT 15488 SOS 10221 HAS SOPS 10221 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4540.221
AT ITER 1851 NEW BEST:: SOT 15483 SOS 10217 HAS SOPS 10217 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4537.217
AT ITER 1862 NEW BEST:: SOT 15484 SOS 10218 HAS SOPS 10218 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4527.218
AT ITER 1869 NEW BEST:: SOT 15481 SOS 10215 HAS SOPS 10215 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4524.215
AT ITER 1874 NEW BEST:: SOT 15479 SOS 10213 HAS SOPS 10213 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4520.213
AT ITER 1900 NEW BEST:: SOT 15477 SOS 10211 HAS SOPS 10211 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4518.211
AT ITER 1950 NEW BEST:: SOT 15477 SOS 10160 HAS SOPS 10160 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4501.16
AT ITER 1959 NEW BEST:: SOT 15495 SOS 10178 HAS SOPS 10178 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4499.178
AT ITER 1982 NEW BEST:: SOT 15488 SOS 10171 HAS SOPS 10171 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4492.171
AT ITER 1995 NEW BEST:: SOT 15481 SOS 10165 HAS SOPS 10165 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4486.165
AT ITER 2004 NEW BEST:: SOT 15460 SOS 10147 HAS SOPS 10147 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4475.147
AT ITER 2017 NEW BEST:: SOT 15434 SOS 10121 HAS SOPS 10121 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4427.121
AT ITER 2053 NEW BEST:: SOT 15397 SOS 10067 HAS SOPS 10067 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4373.067
AT ITER 2056 NEW BEST:: SOT 15394 SOS 10064 HAS SOPS 10064 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4364.064
AT ITER 2082 NEW BEST:: SOT 15400 SOS 10070 HAS SOPS 10070 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4361.07
AT ITER 2114 NEW BEST:: SOT 15394 SOS 10061 HAS SOPS 10061 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4352.061
AT ITER 2137 NEW BEST:: SOT 15390 SOS 10053 HAS SOPS 10053 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4344.053
AT ITER 2158 NEW BEST:: SOT 15386 SOS 10049 HAS SOPS 10049 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4344.049
AT ITER 2165 NEW BEST:: SOT 15376 SOS 10023 HAS SOPS 10023 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4342.023
AT ITER 2169 NEW BEST:: SOT 15375 SOS 10022 HAS SOPS 10022 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4340.022
AT ITER 2182 NEW BEST:: SOT 15362 SOS 9962 HAS SOPS 9962 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4279.962
AT ITER 2192 NEW BEST:: SOT 15326 SOS 9890 HAS SOPS 9890 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4219.89
AT ITER 2230 NEW BEST:: SOT 15315 SOS 9881 HAS SOPS 9881 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4210.881
AT ITER 2258 NEW BEST:: SOT 15313 SOS 9879 HAS SOPS 9879 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4206.879
AT ITER 2292 NEW BEST:: SOT 15313 SOS 9878 HAS SOPS 9878 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4205.878
AT ITER 2334 NEW BEST:: SOT 15311 SOS 9876 HAS SOPS 9876 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4203.876
AT ITER 2340 NEW BEST:: SOT 15306 SOS 9871 HAS SOPS 9871 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4193.871
AT ITER 2350 NEW BEST:: SOT 15293 SOS 9846 HAS SOPS 9846 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4176.846
AT ITER 2358 NEW BEST:: SOT 15293 SOS 9846 HAS SOPS 9846 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4174.846
AT ITER 2370 NEW BEST:: SOT 15279 SOS 9832 HAS SOPS 9832 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4160.832
AT ITER 2381 NEW BEST:: SOT 15278 SOS 9831 HAS SOPS 9831 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4158.831
AT ITER 2471 NEW BEST:: SOT 15278 SOS 9836 HAS SOPS 9836 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4155.836
AT ITER 2476 NEW BEST:: SOT 15268 SOS 9794 HAS SOPS 9794 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4113.794
AT ITER 2487 NEW BEST:: SOT 15263 SOS 9789 HAS SOPS 9789 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4110.789
AT ITER 2522 NEW BEST:: SOT 15263 SOS 9779 HAS SOPS 9779 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4100.779
AT ITER 2533 NEW BEST:: SOT 15263 SOS 9770 HAS SOPS 9770 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4091.77
AT ITER 2536 NEW BEST:: SOT 15259 SOS 9766 HAS SOPS 9766 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4083.766
AT ITER 2538 NEW BEST:: SOT 15259 SOS 9766 HAS SOPS 9766 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4081.766
AT ITER 2548 NEW BEST:: SOT 15256 SOS 9763 HAS SOPS 9763 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4078.763
AT ITER 2564 NEW BEST:: SOT 15232 SOS 9734 HAS SOPS 9734 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4065.734
AT ITER 2639 NEW BEST:: SOT 15228 SOS 9730 HAS SOPS 9730 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4057.73
AT ITER 2659 NEW BEST:: SOT 15230 SOS 9732 HAS SOPS 9732 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4052.732
AT ITER 2690 NEW BEST:: SOT 15235 SOS 9737 HAS SOPS 9737 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4013.737
AT ITER 2721 NEW BEST:: SOT 15211 SOS 9705 HAS SOPS 9705 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3997.705
AT ITER 2735 NEW BEST:: SOT 15207 SOS 9697 HAS SOPS 9697 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3993.697
AT ITER 2747 NEW BEST:: SOT 15199 SOS 9691 HAS SOPS 9691 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3987.691
AT ITER 2770 NEW BEST:: SOT 15195 SOS 9682 HAS SOPS 9682 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3978.682
AT ITER 2779 NEW BEST:: SOT 15195 SOS 9622 HAS SOPS 9622 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3974.622
AT ITER 2786 NEW BEST:: SOT 15192 SOS 9619 HAS SOPS 9619 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3971.619
AT ITER 2800 NEW BEST:: SOT 15194 SOS 9501 HAS SOPS 9501 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3963.501
AT ITER 2842 NEW BEST:: SOT 15194 SOS 9497 HAS SOPS 9497 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3959.497
AT ITER 2845 NEW BEST:: SOT 15190 SOS 9493 HAS SOPS 9493 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3951.493
AT ITER 2866 NEW BEST:: SOT 15190 SOS 9481 HAS SOPS 9481 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3939.481
AT ITER 2934 NEW BEST:: SOT 15187 SOS 9465 HAS SOPS 9465 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3923.465
AT ITER 2953 NEW BEST:: SOT 15187 SOS 9465 HAS SOPS 9465 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3922.465
AT ITER 2964 NEW BEST:: SOT 15176 SOS 9454 HAS SOPS 9454 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3906.454
AT ITER 2985 NEW BEST:: SOT 15198 SOS 9446 HAS SOPS 9446 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3898.446
AT ITER 3015 NEW BEST:: SOT 15185 SOS 9424 HAS SOPS 9424 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3884.424
AT ITER 3082 NEW BEST:: SOT 15173 SOS 9412 HAS SOPS 9412 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3883.412
AT ITER 3095 NEW BEST:: SOT 15170 SOS 9410 HAS SOPS 9410 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3881.41
AT ITER 3114 NEW BEST:: SOT 15168 SOS 9408 HAS SOPS 9408 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3879.408
AT ITER 3127 NEW BEST:: SOT 15165 SOS 9397 HAS SOPS 9397 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3870.397
AT ITER 3155 NEW BEST:: SOT 15165 SOS 9389 HAS SOPS 9389 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3862.389
AT ITER 3185 NEW BEST:: SOT 15162 SOS 9386 HAS SOPS 9386 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3859.386
AT ITER 3328 NEW BEST:: SOT 15156 SOS 9380 HAS SOPS 9380 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3857.38
AT ITER 3331 NEW BEST:: SOT 15163 SOS 9390 HAS SOPS 9390 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3856.39
AT ITER 3365 NEW BEST:: SOT 15163 SOS 9387 HAS SOPS 9387 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3853.387
AT ITER 3373 NEW BEST:: SOT 15162 SOS 9386 HAS SOPS 9386 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3852.386
AT ITER 3374 NEW BEST:: SOT 15160 SOS 9385 HAS SOPS 9385 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3851.385
AT ITER 3377 NEW BEST:: SOT 15153 SOS 9378 HAS SOPS 9378 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3844.378
AT ITER 3397 NEW BEST:: SOT 15148 SOS 9373 HAS SOPS 9373 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3844.373
AT ITER 3425 NEW BEST:: SOT 15141 SOS 9366 HAS SOPS 9366 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3837.366
AT ITER 3431 NEW BEST:: SOT 15148 SOS 9365 HAS SOPS 9365 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3836.365
AT ITER 3466 NEW BEST:: SOT 15156 SOS 9391 HAS SOPS 9391 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3798.391
AT ITER 3501 NEW BEST:: SOT 15156 SOS 9391 HAS SOPS 9391 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3797.391
AT ITER 3508 NEW BEST:: SOT 15156 SOS 9390 HAS SOPS 9390 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3796.39
AT ITER 3514 NEW BEST:: SOT 15157 SOS 9391 HAS SOPS 9391 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3794.391
AT ITER 3584 NEW BEST:: SOT 15151 SOS 9382 HAS SOPS 9382 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3785.382
AT ITER 3608 NEW BEST:: SOT 15150 SOS 9381 HAS SOPS 9381 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3783.381
AT ITER 3646 NEW BEST:: SOT 15147 SOS 9378 HAS SOPS 9378 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3774.378
AT ITER 3658 NEW BEST:: SOT 15144 SOS 9333 HAS SOPS 9333 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3756.333
AT ITER 3677 NEW BEST:: SOT 15144 SOS 9326 HAS SOPS 9326 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3749.326
AT ITER 3680 NEW BEST:: SOT 15145 SOS 9327 HAS SOPS 9327 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3745.327
AT ITER 3695 NEW BEST:: SOT 15145 SOS 9326 HAS SOPS 9326 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3744.326
AT ITER 3704 NEW BEST:: SOT 15150 SOS 9321 HAS SOPS 9321 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3744.321
AT ITER 3709 NEW BEST:: SOT 15153 SOS 9314 HAS SOPS 9314 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3737.314
AT ITER 3722 NEW BEST:: SOT 15150 SOS 9302 HAS SOPS 9302 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3733.302
AT ITER 3786 NEW BEST:: SOT 15136 SOS 9288 HAS SOPS 9288 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3719.288
AT ITER 3859 NEW BEST:: SOT 15130 SOS 9282 HAS SOPS 9282 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3719.282
AT ITER 3923 NEW BEST:: SOT 15118 SOS 9210 HAS SOPS 9210 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3695.21
AT ITER 3944 NEW BEST:: SOT 15114 SOS 9206 HAS SOPS 9206 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3687.206
AT ITER 3967 NEW BEST:: SOT 15114 SOS 9266 HAS SOPS 9266 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3684.266
AT ITER 4023 NEW BEST:: SOT 15111 SOS 9263 HAS SOPS 9263 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3681.263
AT ITER 4078 NEW BEST:: SOT 15105 SOS 9252 HAS SOPS 9252 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3670.252
AT ITER 4087 NEW BEST:: SOT 15104 SOS 9251 HAS SOPS 9251 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3668.251
AT ITER 4105 NEW BEST:: SOT 15103 SOS 9250 HAS SOPS 9250 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3668.25
AT ITER 4115 NEW BEST:: SOT 15101 SOS 9246 HAS SOPS 9246 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3664.246
AT ITER 4145 NEW BEST:: SOT 15073 SOS 9218 HAS SOPS 9218 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3664.218
AT ITER 4164 NEW BEST:: SOT 15073 SOS 9206 HAS SOPS 9206 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3652.206
AT ITER 4178 NEW BEST:: SOT 15066 SOS 9200 HAS SOPS 9200 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3646.2
AT ITER 4240 NEW BEST:: SOT 15061 SOS 9195 HAS SOPS 9195 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3641.195
AT ITER 4258 NEW BEST:: SOT 15042 SOS 9176 HAS SOPS 9176 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3631.176
AT ITER 4261 NEW BEST:: SOT 15034 SOS 9164 HAS SOPS 9164 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3629.164
AT ITER 4278 NEW BEST:: SOT 15037 SOS 9162 HAS SOPS 9162 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3627.162
AT ITER 4287 NEW BEST:: SOT 15035 SOS 9156 HAS SOPS 9156 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3621.156
AT ITER 4296 NEW BEST:: SOT 15035 SOS 9146 HAS SOPS 9146 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3611.146
AT ITER 4319 NEW BEST:: SOT 15018 SOS 9129 HAS SOPS 9129 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3594.129
AT ITER 4447 NEW BEST:: SOT 15027 SOS 9138 HAS SOPS 9138 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3592.138
AT ITER 4476 NEW BEST:: SOT 15025 SOS 9136 HAS SOPS 9136 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3590.136
AT ITER 4509 NEW BEST:: SOT 15021 SOS 9132 HAS SOPS 9132 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3586.132
AT ITER 4530 NEW BEST:: SOT 15018 SOS 9129 HAS SOPS 9129 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3577.129
AT ITER 4531 NEW BEST:: SOT 15021 SOS 9124 HAS SOPS 9124 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3572.124
AT ITER 4534 NEW BEST:: SOT 15020 SOS 9123 HAS SOPS 9123 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3571.123
AT ITER 4542 NEW BEST:: SOT 15021 SOS 9122 HAS SOPS 9122 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3570.122
AT ITER 4573 NEW BEST:: SOT 15021 SOS 9121 HAS SOPS 9121 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3569.121
AT ITER 4620 NEW BEST:: SOT 15007 SOS 9107 HAS SOPS 9107 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3559.107
AT ITER 4632 NEW BEST:: SOT 14999 SOS 9095 HAS SOPS 9095 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3547.095
AT ITER 4654 NEW BEST:: SOT 14969 SOS 9062 HAS SOPS 9062 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3534.062
AT ITER 4658 NEW BEST:: SOT 14973 SOS 9066 HAS SOPS 9066 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3528.066
AT ITER 4680 NEW BEST:: SOT 14973 SOS 9032 HAS SOPS 9032 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3518.032
AT ITER 4681 NEW BEST:: SOT 14966 SOS 9017 HAS SOPS 9017 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3512.017
AT ITER 4715 NEW BEST:: SOT 14980 SOS 9031 HAS SOPS 9031 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3504.031
AT ITER 4761 NEW BEST:: SOT 14980 SOS 9029 HAS SOPS 9029 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3502.029
AT ITER 4798 NEW BEST:: SOT 14978 SOS 9027 HAS SOPS 9027 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3500.027
AT ITER 4809 NEW BEST:: SOT 14978 SOS 9000 HAS SOPS 9000 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3498.0
AT ITER 4825 NEW BEST:: SOT 14976 SOS 8996 HAS SOPS 8996 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3493.996
AT ITER 4848 NEW BEST:: SOT 14979 SOS 8995 HAS SOPS 8995 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3492.995
AT ITER 4853 NEW BEST:: SOT 14979 SOS 8994 HAS SOPS 8994 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3491.994
AT ITER 4870 NEW BEST:: SOT 14975 SOS 8990 HAS SOPS 8990 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3487.99
AT ITER 4884 NEW BEST:: SOT 14967 SOS 8982 HAS SOPS 8982 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3479.982
AT ITER 4902 NEW BEST:: SOT 14962 SOS 8971 HAS SOPS 8971 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3476.971
AT ITER 4903 NEW BEST:: SOT 14954 SOS 8951 HAS SOPS 8951 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3470.951
AT ITER 5014 NEW BEST:: SOT 14936 SOS 8937 HAS SOPS 8937 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3465.937
AT ITER 5043 NEW BEST:: SOT 14931 SOS 8932 HAS SOPS 8932 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3455.932
AT ITER 5061 NEW BEST:: SOT 14927 SOS 8932 HAS SOPS 8932 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3451.932
AT ITER 5068 NEW BEST:: SOT 14928 SOS 8941 HAS SOPS 8941 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3449.941
AT ITER 5080 NEW BEST:: SOT 14916 SOS 8922 HAS SOPS 8922 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3430.922
AT ITER 5147 NEW BEST:: SOT 14910 SOS 8915 HAS SOPS 8915 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3423.915
AT ITER 5203 NEW BEST:: SOT 14907 SOS 8912 HAS SOPS 8912 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3420.912
AT ITER 5257 NEW BEST:: SOT 14906 SOS 8911 HAS SOPS 8911 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3418.911
AT ITER 5367 NEW BEST:: SOT 14891 SOS 8889 HAS SOPS 8889 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3415.889
AT ITER 5438 NEW BEST:: SOT 14888 SOS 8886 HAS SOPS 8886 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3415.886
AT ITER 5474 NEW BEST:: SOT 14872 SOS 8870 HAS SOPS 8870 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3415.87
AT ITER 5487 NEW BEST:: SOT 14860 SOS 8869 HAS SOPS 8869 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3414.869
AT ITER 5649 NEW BEST:: SOT 14856 SOS 8865 HAS SOPS 8865 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3412.865
AT ITER 5701 NEW BEST:: SOT 14861 SOS 8870 HAS SOPS 8870 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3410.87
AT ITER 5734 NEW BEST:: SOT 14860 SOS 8869 HAS SOPS 8869 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3409.869
AT ITER 5743 NEW BEST:: SOT 14863 SOS 8872 HAS SOPS 8872 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3407.872
AT ITER 5820 NEW BEST:: SOT 14866 SOS 8871 HAS SOPS 8871 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3406.871
AT ITER 5852 NEW BEST:: SOT 14862 SOS 8867 HAS SOPS 8867 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3398.867
AT ITER 5862 NEW BEST:: SOT 14862 SOS 8867 HAS SOPS 8867 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3392.867
AT ITER 5875 NEW BEST:: SOT 14860 SOS 8865 HAS SOPS 8865 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3391.865
AT ITER 5881 NEW BEST:: SOT 14850 SOS 8848 HAS SOPS 8848 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3380.848
AT ITER 5949 NEW BEST:: SOT 14854 SOS 8832 HAS SOPS 8832 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3372.832
AT ITER 5951 NEW BEST:: SOT 14849 SOS 8787 HAS SOPS 8787 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3369.787
AT ITER 5983 NEW BEST:: SOT 14848 SOS 8786 HAS SOPS 8786 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3367.786
AT ITER 6007 NEW BEST:: SOT 14851 SOS 8789 HAS SOPS 8789 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3365.789
AT ITER 6025 NEW BEST:: SOT 14849 SOS 8786 HAS SOPS 8786 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3362.786
AT ITER 6041 NEW BEST:: SOT 14849 SOS 8742 HAS SOPS 8742 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3362.742
AT ITER 6078 NEW BEST:: SOT 14847 SOS 8740 HAS SOPS 8740 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3362.74
AT ITER 6080 NEW BEST:: SOT 14843 SOS 8736 HAS SOPS 8736 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3358.736
AT ITER 6104 NEW BEST:: SOT 14848 SOS 8741 HAS SOPS 8741 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3356.741
AT ITER 6214 NEW BEST:: SOT 14853 SOS 8746 HAS SOPS 8746 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3348.746
AT ITER 6277 NEW BEST:: SOT 14851 SOS 8742 HAS SOPS 8742 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3344.742
AT ITER 6399 NEW BEST:: SOT 14830 SOS 8721 HAS SOPS 8721 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3313.721
AT ITER 6404 NEW BEST:: SOT 14831 SOS 8722 HAS SOPS 8722 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3312.722
AT ITER 6413 NEW BEST:: SOT 14829 SOS 8729 HAS SOPS 8729 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3309.729
AT ITER 6500 NEW BEST:: SOT 14829 SOS 8719 HAS SOPS 8719 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3307.719
AT ITER 6507 NEW BEST:: SOT 14819 SOS 8700 HAS SOPS 8700 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3295.7
AT ITER 6607 NEW BEST:: SOT 14817 SOS 8696 HAS SOPS 8696 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3291.696
AT ITER 6611 NEW BEST:: SOT 14815 SOS 8694 HAS SOPS 8694 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3289.694
AT ITER 6632 NEW BEST:: SOT 14812 SOS 8691 HAS SOPS 8691 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3283.691
AT ITER 6651 NEW BEST:: SOT 14812 SOS 8688 HAS SOPS 8688 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3280.688
AT ITER 6785 NEW BEST:: SOT 14815 SOS 8691 HAS SOPS 8691 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3278.691
AT ITER 6861 NEW BEST:: SOT 14795 SOS 8671 HAS SOPS 8671 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3270.671
AT ITER 6913 NEW BEST:: SOT 14793 SOS 8669 HAS SOPS 8669 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3270.669
AT ITER 6921 NEW BEST:: SOT 14793 SOS 8669 HAS SOPS 8669 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3269.669
AT ITER 6951 NEW BEST:: SOT 14787 SOS 8663 HAS SOPS 8663 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3266.663
AT ITER 6958 NEW BEST:: SOT 14821 SOS 8697 HAS SOPS 8697 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3253.697
AT ITER 7089 NEW BEST:: SOT 14815 SOS 8689 HAS SOPS 8689 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3247.689
AT ITER 7313 NEW BEST:: SOT 14818 SOS 8686 HAS SOPS 8686 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3247.686
AT ITER 7331 NEW BEST:: SOT 14813 SOS 8681 HAS SOPS 8681 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3245.681
AT ITER 7364 NEW BEST:: SOT 14809 SOS 8673 HAS SOPS 8673 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3237.673
AT ITER 7366 NEW BEST:: SOT 14803 SOS 8467 HAS SOPS 8467 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3235.467
AT ITER 7410 NEW BEST:: SOT 14813 SOS 8477 HAS SOPS 8477 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3234.477
AT ITER 7480 NEW BEST:: SOT 14827 SOS 8491 HAS SOPS 8491 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3230.491
AT ITER 7487 NEW BEST:: SOT 14836 SOS 8487 HAS SOPS 8487 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3226.487
AT ITER 7499 NEW BEST:: SOT 14835 SOS 8484 HAS SOPS 8484 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3224.484
AT ITER 7519 NEW BEST:: SOT 14829 SOS 8478 HAS SOPS 8478 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3219.478
AT ITER 7530 NEW BEST:: SOT 14826 SOS 8475 HAS SOPS 8475 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3216.475
AT ITER 7603 NEW BEST:: SOT 14820 SOS 8469 HAS SOPS 8469 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3210.469
AT ITER 7619 NEW BEST:: SOT 14818 SOS 8467 HAS SOPS 8467 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3208.467
AT ITER 7698 NEW BEST:: SOT 14814 SOS 8463 HAS SOPS 8463 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3204.463
AT ITER 7769 NEW BEST:: SOT 14808 SOS 8446 HAS SOPS 8446 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3187.446
AT ITER 7879 NEW BEST:: SOT 14808 SOS 8411 HAS SOPS 8411 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3152.411
AT ITER 7930 NEW BEST:: SOT 14809 SOS 8409 HAS SOPS 8409 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3150.409
AT ITER 8010 NEW BEST:: SOT 14803 SOS 8393 HAS SOPS 8393 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3146.393
AT ITER 8056 NEW BEST:: SOT 14794 SOS 8384 HAS SOPS 8384 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3140.384
AT ITER 8065 NEW BEST:: SOT 14793 SOS 8383 HAS SOPS 8383 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3138.383
AT ITER 8185 NEW BEST:: SOT 14793 SOS 8382 HAS SOPS 8382 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3137.382
AT ITER 8214 NEW BEST:: SOT 14787 SOS 8376 HAS SOPS 8376 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3137.376
AT ITER 8256 NEW BEST:: SOT 14785 SOS 8372 HAS SOPS 8372 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3133.372
AT ITER 8339 NEW BEST:: SOT 14778 SOS 8365 HAS SOPS 8365 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3127.365
AT ITER 8426 NEW BEST:: SOT 14777 SOS 8364 HAS SOPS 8364 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3126.364
AT ITER 8539 NEW BEST:: SOT 14789 SOS 8376 HAS SOPS 8376 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3125.376
AT ITER 8647 NEW BEST:: SOT 14789 SOS 8370 HAS SOPS 8370 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3122.37
AT ITER 8673 NEW BEST:: SOT 14789 SOS 8370 HAS SOPS 8370 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3120.37
AT ITER 8676 NEW BEST:: SOT 14789 SOS 8368 HAS SOPS 8368 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3118.368
AT ITER 8739 NEW BEST:: SOT 14787 SOS 8364 HAS SOPS 8364 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3114.364
AT ITER 8835 NEW BEST:: SOT 14787 SOS 8361 HAS SOPS 8361 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3113.361
AT ITER 8844 NEW BEST:: SOT 14787 SOS 8358 HAS SOPS 8358 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3110.358
AT ITER 8872 NEW BEST:: SOT 14791 SOS 8362 HAS SOPS 8362 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3109.362
AT ITER 9012 NEW BEST:: SOT 14787 SOS 8318 HAS SOPS 8318 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3106.318
AT ITER 9038 NEW BEST:: SOT 14775 SOS 8306 HAS SOPS 8306 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3103.306
AT ITER 9227 NEW BEST:: SOT 14775 SOS 8306 HAS SOPS 8306 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3097.306
AT ITER 9544 NEW BEST:: SOT 14775 SOS 8306 HAS SOPS 8306 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3079.306
AT ITER 9563 NEW BEST:: SOT 14774 SOS 8305 HAS SOPS 8305 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3077.305
AT ITER 9725 NEW BEST:: SOT 14771 SOS 8300 HAS SOPS 8300 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3072.3
AT ITER 9729 NEW BEST:: SOT 14770 SOS 8299 HAS SOPS 8299 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3071.299
AT ITER 9734 NEW BEST:: SOT 14770 SOS 8298 HAS SOPS 8298 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3070.298
AT ITER 9847 NEW BEST:: SOT 14774 SOS 8302 HAS SOPS 8302 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3069.302
AT ITER 9986 NEW BEST:: SOT 14770 SOS 8298 HAS SOPS 8298 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3061.298
AT ITER 9995 NEW BEST:: SOT 14766 SOS 8289 HAS SOPS 8289 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3058.289
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 8954700 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124420 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="DES-PT-20a"
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-20a, 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-167814484200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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