About the Execution of Smart+red for DLCround-PT-07a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5633.659 | 3600000.00 | 3638445.00 | 9190.30 | 2.4010E+0011 4.1489E+0013 1 132 | normal |
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-167814484500688.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500688
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 808K
-rw-r--r-- 1 mcc users 7.4K Feb 25 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 19:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 19:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 19:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 19:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 19:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 398K 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 1678411661150
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-07a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 01:27:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 01:27:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 01:27:42] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2023-03-10 01:27:42] [INFO ] Transformed 229 places.
[2023-03-10 01:27:42] [INFO ] Transformed 1597 transitions.
[2023-03-10 01:27:42] [INFO ] Found NUPN structural information;
[2023-03-10 01:27:42] [INFO ] Parsed PT model containing 229 places and 1597 transitions and 6125 arcs in 168 ms.
[2023-03-10 01:27:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 229 places, 1597 transitions and 6125 arcs took 19 ms.
Total runtime 215 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07a
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: 229 places, 1597 transitions, 6125 arcs.
AT ITER 0 NEW BEST:: SOT 236235 SOS 193253 HAS SOPS 116053 HAS SOUS 27135 HAS SOUPS 17951 WITH SCORE 18144.253
AT ITER 1 NEW BEST:: SOT 236219 SOS 193077 HAS SOPS 116005 HAS SOUS 27071 HAS SOUPS 17903 WITH SCORE 18096.077
AT ITER 5 NEW BEST:: SOT 236214 SOS 193012 HAS SOPS 115940 HAS SOUS 27066 HAS SOUPS 17898 WITH SCORE 18091.012
AT ITER 12 NEW BEST:: SOT 236235 SOS 192829 HAS SOPS 116252 HAS SOUS 26963 HAS SOUPS 17840 WITH SCORE 18032.829
AT ITER 27 NEW BEST:: SOT 236276 SOS 192234 HAS SOPS 116053 HAS SOUS 26901 HAS SOUPS 17814 WITH SCORE 18006.234
AT ITER 36 NEW BEST:: SOT 236276 SOS 192045 HAS SOPS 116032 HAS SOUS 26859 HAS SOUPS 17793 WITH SCORE 17985.045
AT ITER 44 NEW BEST:: SOT 236458 SOS 192304 HAS SOPS 115829 HAS SOUS 26432 HAS SOUPS 17246 WITH SCORE 17438.304
AT ITER 52 NEW BEST:: SOT 236367 SOS 194017 HAS SOPS 116510 HAS SOUS 26380 HAS SOUPS 17151 WITH SCORE 17345.017
AT ITER 56 NEW BEST:: SOT 236350 SOS 194000 HAS SOPS 116510 HAS SOUS 26337 HAS SOUPS 17112 WITH SCORE 17306.0
AT ITER 68 NEW BEST:: SOT 236365 SOS 194017 HAS SOPS 116527 HAS SOUS 26314 HAS SOUPS 17089 WITH SCORE 17283.017
AT ITER 70 NEW BEST:: SOT 236353 SOS 193273 HAS SOPS 115783 HAS SOUS 26314 HAS SOUPS 17089 WITH SCORE 17282.273
AT ITER 75 NEW BEST:: SOT 236437 SOS 192713 HAS SOPS 115839 HAS SOUS 26202 HAS SOUPS 17033 WITH SCORE 17225.713
AT ITER 78 NEW BEST:: SOT 236415 SOS 192419 HAS SOPS 115545 HAS SOUS 26181 HAS SOUPS 17012 WITH SCORE 17204.419
AT ITER 79 NEW BEST:: SOT 236476 SOS 192514 HAS SOPS 115470 HAS SOUS 26023 HAS SOUPS 16770 WITH SCORE 16962.514
AT ITER 83 NEW BEST:: SOT 236412 SOS 191682 HAS SOPS 115144 HAS SOUS 25967 HAS SOUPS 16760 WITH SCORE 16951.682
AT ITER 97 NEW BEST:: SOT 236656 SOS 191993 HAS SOPS 115053 HAS SOUS 25467 HAS SOUPS 16256 WITH SCORE 16447.993
AT ITER 102 NEW BEST:: SOT 236638 SOS 191768 HAS SOPS 114927 HAS SOUS 25440 HAS SOUPS 16238 WITH SCORE 16429.768
AT ITER 103 NEW BEST:: SOT 236696 SOS 190636 HAS SOPS 114367 HAS SOUS 25348 HAS SOUPS 16198 WITH SCORE 16388.636
AT ITER 125 NEW BEST:: SOT 236704 SOS 190644 HAS SOPS 114333 HAS SOUS 25323 HAS SOUPS 16169 WITH SCORE 16359.644
AT ITER 126 NEW BEST:: SOT 236704 SOS 190644 HAS SOPS 114370 HAS SOUS 25277 HAS SOUPS 16127 WITH SCORE 16317.644
AT ITER 138 NEW BEST:: SOT 236704 SOS 190644 HAS SOPS 114370 HAS SOUS 25268 HAS SOUPS 16122 WITH SCORE 16312.644
AT ITER 157 NEW BEST:: SOT 236611 SOS 192422 HAS SOPS 115368 HAS SOUS 25213 HAS SOUPS 16067 WITH SCORE 16259.422
AT ITER 162 NEW BEST:: SOT 236609 SOS 192396 HAS SOPS 115342 HAS SOUS 25211 HAS SOUPS 16065 WITH SCORE 16257.396
AT ITER 167 NEW BEST:: SOT 236601 SOS 192300 HAS SOPS 115334 HAS SOUS 25195 HAS SOUPS 16057 WITH SCORE 16249.3
AT ITER 169 NEW BEST:: SOT 236621 SOS 190848 HAS SOPS 114415 HAS SOUS 25190 HAS SOUPS 16052 WITH SCORE 16242.848
AT ITER 172 NEW BEST:: SOT 236569 SOS 189238 HAS SOPS 113014 HAS SOUS 25141 HAS SOUPS 16022 WITH SCORE 16211.238
AT ITER 204 NEW BEST:: SOT 236526 SOS 185154 HAS SOPS 109667 HAS SOUS 25065 HAS SOUPS 16013 WITH SCORE 16198.154
AT ITER 213 NEW BEST:: SOT 236786 SOS 185501 HAS SOPS 109492 HAS SOUS 24762 HAS SOUPS 15510 WITH SCORE 15695.501
AT ITER 216 NEW BEST:: SOT 236780 SOS 185545 HAS SOPS 109488 HAS SOUS 24758 HAS SOUPS 15504 WITH SCORE 15689.545
AT ITER 220 NEW BEST:: SOT 236779 SOS 185533 HAS SOPS 109476 HAS SOUS 24757 HAS SOUPS 15503 WITH SCORE 15688.533
AT ITER 224 NEW BEST:: SOT 236673 SOS 185051 HAS SOPS 109378 HAS SOUS 24609 HAS SOUPS 15403 WITH SCORE 15588.051
AT ITER 233 NEW BEST:: SOT 236643 SOS 184631 HAS SOPS 109288 HAS SOUS 24559 HAS SOUPS 15383 WITH SCORE 15567.631
AT ITER 235 NEW BEST:: SOT 236643 SOS 184631 HAS SOPS 109268 HAS SOUS 24539 HAS SOUPS 15363 WITH SCORE 15547.631
AT ITER 247 NEW BEST:: SOT 236599 SOS 183993 HAS SOPS 108905 HAS SOUS 24470 HAS SOUPS 15319 WITH SCORE 15502.993
AT ITER 257 NEW BEST:: SOT 236591 SOS 183977 HAS SOPS 108889 HAS SOUS 24470 HAS SOUPS 15319 WITH SCORE 15502.977
AT ITER 265 NEW BEST:: SOT 236559 SOS 183578 HAS SOPS 108490 HAS SOUS 24431 HAS SOUPS 15280 WITH SCORE 15463.578
AT ITER 267 NEW BEST:: SOT 236559 SOS 183578 HAS SOPS 108520 HAS SOUS 24131 HAS SOUPS 15100 WITH SCORE 15283.578
AT ITER 268 NEW BEST:: SOT 236529 SOS 183448 HAS SOPS 108470 HAS SOUS 24101 HAS SOUPS 15080 WITH SCORE 15263.448
AT ITER 290 NEW BEST:: SOT 235942 SOS 181989 HAS SOPS 107845 HAS SOUS 24321 HAS SOUPS 15080 WITH SCORE 15261.989
AT ITER 308 NEW BEST:: SOT 235913 SOS 181612 HAS SOPS 107787 HAS SOUS 24234 HAS SOUPS 15022 WITH SCORE 15203.612
AT ITER 316 NEW BEST:: SOT 235911 SOS 182864 HAS SOPS 108223 HAS SOUS 24238 HAS SOUPS 14992 WITH SCORE 15174.864
AT ITER 322 NEW BEST:: SOT 235935 SOS 182730 HAS SOPS 108232 HAS SOUS 24223 HAS SOUPS 14990 WITH SCORE 15172.73
AT ITER 327 NEW BEST:: SOT 235819 SOS 181828 HAS SOPS 107779 HAS SOUS 24170 HAS SOUPS 14978 WITH SCORE 15159.828
AT ITER 356 NEW BEST:: SOT 235819 SOS 181828 HAS SOPS 107754 HAS SOUS 24145 HAS SOUPS 14953 WITH SCORE 15134.828
AT ITER 362 NEW BEST:: SOT 235820 SOS 181827 HAS SOPS 107753 HAS SOUS 24141 HAS SOUPS 14949 WITH SCORE 15130.827
AT ITER 374 NEW BEST:: SOT 235803 SOS 181810 HAS SOPS 107736 HAS SOUS 24124 HAS SOUPS 14932 WITH SCORE 15113.81
AT ITER 376 NEW BEST:: SOT 236045 SOS 182084 HAS SOPS 107818 HAS SOUS 23962 HAS SOUPS 14770 WITH SCORE 14952.084
AT ITER 377 NEW BEST:: SOT 236025 SOS 182064 HAS SOPS 107798 HAS SOUS 23942 HAS SOUPS 14750 WITH SCORE 14932.064
AT ITER 383 NEW BEST:: SOT 236039 SOS 181899 HAS SOPS 107787 HAS SOUS 23927 HAS SOUPS 14749 WITH SCORE 14930.899
AT ITER 389 NEW BEST:: SOT 236037 SOS 181897 HAS SOPS 107785 HAS SOUS 23907 HAS SOUPS 14737 WITH SCORE 14918.897
AT ITER 396 NEW BEST:: SOT 236024 SOS 181805 HAS SOPS 107693 HAS SOUS 23907 HAS SOUPS 14737 WITH SCORE 14918.805
AT ITER 398 NEW BEST:: SOT 236064 SOS 181785 HAS SOPS 107693 HAS SOUS 23907 HAS SOUPS 14737 WITH SCORE 14918.785
AT ITER 402 NEW BEST:: SOT 236103 SOS 181848 HAS SOPS 107636 HAS SOUS 23685 HAS SOUPS 14503 WITH SCORE 14684.848
AT ITER 404 NEW BEST:: SOT 236079 SOS 181512 HAS SOPS 107564 HAS SOUS 23621 HAS SOUPS 14463 WITH SCORE 14644.512
AT ITER 405 NEW BEST:: SOT 235411 SOS 179646 HAS SOPS 106643 HAS SOUS 23568 HAS SOUPS 14423 WITH SCORE 14602.646
AT ITER 410 NEW BEST:: SOT 235262 SOS 180092 HAS SOPS 106888 HAS SOUS 23453 HAS SOUPS 14334 WITH SCORE 14514.092
AT ITER 416 NEW BEST:: SOT 235483 SOS 180379 HAS SOPS 106845 HAS SOUS 23305 HAS SOUPS 13998 WITH SCORE 14178.379
AT ITER 421 NEW BEST:: SOT 235507 SOS 180391 HAS SOPS 106851 HAS SOUS 23281 HAS SOUPS 13980 WITH SCORE 14160.391
AT ITER 431 NEW BEST:: SOT 235383 SOS 180121 HAS SOPS 106765 HAS SOUS 23272 HAS SOUPS 13978 WITH SCORE 14158.121
AT ITER 439 NEW BEST:: SOT 235366 SOS 179900 HAS SOPS 106731 HAS SOUS 23238 HAS SOUPS 13961 WITH SCORE 14140.9
AT ITER 450 NEW BEST:: SOT 235869 SOS 180469 HAS SOPS 106904 HAS SOUS 23049 HAS SOUPS 13732 WITH SCORE 13912.469
AT ITER 452 NEW BEST:: SOT 235873 SOS 180529 HAS SOPS 106964 HAS SOUS 23028 HAS SOUPS 13711 WITH SCORE 13891.529
AT ITER 467 NEW BEST:: SOT 235880 SOS 180476 HAS SOPS 106751 HAS SOUS 23028 HAS SOUPS 13691 WITH SCORE 13871.476
AT ITER 474 NEW BEST:: SOT 235847 SOS 179684 HAS SOPS 106322 HAS SOUS 22981 HAS SOUPS 13677 WITH SCORE 13856.684
AT ITER 477 NEW BEST:: SOT 235760 SOS 179425 HAS SOPS 106063 HAS SOUS 22968 HAS SOUPS 13664 WITH SCORE 13843.425
AT ITER 478 NEW BEST:: SOT 235730 SOS 179395 HAS SOPS 106063 HAS SOUS 22912 HAS SOUPS 13608 WITH SCORE 13787.395
AT ITER 479 NEW BEST:: SOT 235710 SOS 179395 HAS SOPS 105963 HAS SOUS 22787 HAS SOUPS 13423 WITH SCORE 13602.395
AT ITER 480 NEW BEST:: SOT 235705 SOS 179469 HAS SOPS 106031 HAS SOUS 22784 HAS SOUPS 13420 WITH SCORE 13599.469
AT ITER 494 NEW BEST:: SOT 235681 SOS 179483 HAS SOPS 106045 HAS SOUS 22680 HAS SOUPS 13316 WITH SCORE 13495.483
AT ITER 502 NEW BEST:: SOT 235723 SOS 178937 HAS SOPS 105625 HAS SOUS 22680 HAS SOUPS 13316 WITH SCORE 13494.937
AT ITER 508 NEW BEST:: SOT 235726 SOS 178904 HAS SOPS 105625 HAS SOUS 22677 HAS SOUPS 13316 WITH SCORE 13494.904
AT ITER 511 NEW BEST:: SOT 235770 SOS 178977 HAS SOPS 105524 HAS SOUS 22457 HAS SOUPS 13060 WITH SCORE 13238.977
AT ITER 518 NEW BEST:: SOT 235757 SOS 178964 HAS SOPS 105511 HAS SOUS 22444 HAS SOUPS 13047 WITH SCORE 13225.964
AT ITER 524 NEW BEST:: SOT 235748 SOS 178578 HAS SOPS 105456 HAS SOUS 22401 HAS SOUPS 13033 WITH SCORE 13211.578
AT ITER 525 NEW BEST:: SOT 235741 SOS 178417 HAS SOPS 105372 HAS SOUS 22387 HAS SOUPS 13026 WITH SCORE 13204.417
AT ITER 527 NEW BEST:: SOT 235768 SOS 178468 HAS SOPS 105333 HAS SOUS 22210 HAS SOUPS 12849 WITH SCORE 13027.468
AT ITER 528 NEW BEST:: SOT 235588 SOS 178198 HAS SOPS 105243 HAS SOUS 22045 HAS SOUPS 12759 WITH SCORE 12937.198
AT ITER 532 NEW BEST:: SOT 235579 SOS 177872 HAS SOPS 104917 HAS SOUS 21999 HAS SOUPS 12713 WITH SCORE 12890.872
AT ITER 549 NEW BEST:: SOT 235578 SOS 177890 HAS SOPS 104920 HAS SOUS 21997 HAS SOUPS 12711 WITH SCORE 12888.89
AT ITER 565 NEW BEST:: SOT 235578 SOS 177419 HAS SOPS 104515 HAS SOUS 21988 HAS SOUPS 12708 WITH SCORE 12885.419
AT ITER 567 NEW BEST:: SOT 235570 SOS 177411 HAS SOPS 104507 HAS SOUS 21980 HAS SOUPS 12700 WITH SCORE 12877.411
AT ITER 584 NEW BEST:: SOT 235556 SOS 173572 HAS SOPS 101306 HAS SOUS 21895 HAS SOUPS 12673 WITH SCORE 12846.572
AT ITER 591 NEW BEST:: SOT 235550 SOS 173566 HAS SOPS 101306 HAS SOUS 21829 HAS SOUPS 12631 WITH SCORE 12804.566
AT ITER 599 NEW BEST:: SOT 235727 SOS 173789 HAS SOPS 101391 HAS SOUS 21755 HAS SOUPS 12557 WITH SCORE 12730.789
AT ITER 606 NEW BEST:: SOT 235739 SOS 173478 HAS SOPS 101289 HAS SOUS 21721 HAS SOUPS 12542 WITH SCORE 12715.478
AT ITER 629 NEW BEST:: SOT 235717 SOS 173456 HAS SOPS 101278 HAS SOUS 21710 HAS SOUPS 12531 WITH SCORE 12704.456
AT ITER 642 NEW BEST:: SOT 235719 SOS 173510 HAS SOPS 101277 HAS SOUS 21709 HAS SOUPS 12525 WITH SCORE 12698.51
AT ITER 664 NEW BEST:: SOT 235740 SOS 173627 HAS SOPS 101394 HAS SOUS 21705 HAS SOUPS 12521 WITH SCORE 12694.627
AT ITER 670 NEW BEST:: SOT 235748 SOS 173611 HAS SOPS 101466 HAS SOUS 21697 HAS SOUPS 12521 WITH SCORE 12694.611
AT ITER 675 NEW BEST:: SOT 235745 SOS 173605 HAS SOPS 101463 HAS SOUS 21691 HAS SOUPS 12518 WITH SCORE 12691.605
AT ITER 700 NEW BEST:: SOT 235742 SOS 173563 HAS SOPS 101454 HAS SOUS 21688 HAS SOUPS 12518 WITH SCORE 12691.563
AT ITER 703 NEW BEST:: SOT 235700 SOS 173767 HAS SOPS 101559 HAS SOUS 21673 HAS SOUPS 12512 WITH SCORE 12685.767
AT ITER 708 NEW BEST:: SOT 234856 SOS 172929 HAS SOPS 101285 HAS SOUS 21493 HAS SOUPS 12500 WITH SCORE 12672.929
AT ITER 712 NEW BEST:: SOT 234752 SOS 174492 HAS SOPS 101740 HAS SOUS 21459 HAS SOUPS 12424 WITH SCORE 12598.492
AT ITER 726 NEW BEST:: SOT 234752 SOS 174492 HAS SOPS 101739 HAS SOUS 21458 HAS SOUPS 12423 WITH SCORE 12597.492
AT ITER 728 NEW BEST:: SOT 234732 SOS 173114 HAS SOPS 100361 HAS SOUS 21449 HAS SOUPS 12414 WITH SCORE 12587.114
AT ITER 739 NEW BEST:: SOT 234711 SOS 173072 HAS SOPS 100340 HAS SOUS 21417 HAS SOUPS 12403 WITH SCORE 12576.072
AT ITER 742 NEW BEST:: SOT 234885 SOS 173268 HAS SOPS 100448 HAS SOUS 21349 HAS SOUPS 12357 WITH SCORE 12530.268
AT ITER 746 NEW BEST:: SOT 234913 SOS 173296 HAS SOPS 100438 HAS SOUS 21339 HAS SOUPS 12347 WITH SCORE 12520.296
AT ITER 747 NEW BEST:: SOT 234928 SOS 173161 HAS SOPS 100468 HAS SOUS 21324 HAS SOUPS 12347 WITH SCORE 12520.161
AT ITER 771 NEW BEST:: SOT 234620 SOS 172517 HAS SOPS 100272 HAS SOUS 21296 HAS SOUPS 12347 WITH SCORE 12519.517
AT ITER 789 NEW BEST:: SOT 234621 SOS 172508 HAS SOPS 100274 HAS SOUS 21295 HAS SOUPS 12347 WITH SCORE 12519.508
AT ITER 800 NEW BEST:: SOT 234646 SOS 172533 HAS SOPS 100266 HAS SOUS 21287 HAS SOUPS 12339 WITH SCORE 12511.533
AT ITER 813 NEW BEST:: SOT 234681 SOS 172819 HAS SOPS 100552 HAS SOUS 21258 HAS SOUPS 12310 WITH SCORE 12482.819
AT ITER 815 NEW BEST:: SOT 234681 SOS 172819 HAS SOPS 100552 HAS SOUS 21251 HAS SOUPS 12303 WITH SCORE 12475.819
AT ITER 821 NEW BEST:: SOT 234757 SOS 172772 HAS SOPS 100867 HAS SOUS 21198 HAS SOUPS 12286 WITH SCORE 12458.772
AT ITER 824 NEW BEST:: SOT 234805 SOS 172714 HAS SOPS 100853 HAS SOUS 21131 HAS SOUPS 12238 WITH SCORE 12410.714
AT ITER 835 NEW BEST:: SOT 234704 SOS 172557 HAS SOPS 100772 HAS SOUS 21120 HAS SOUPS 12223 WITH SCORE 12395.557
AT ITER 840 NEW BEST:: SOT 234235 SOS 171987 HAS SOPS 100430 HAS SOUS 21144 HAS SOUPS 12220 WITH SCORE 12391.987
AT ITER 868 NEW BEST:: SOT 234223 SOS 171975 HAS SOPS 100418 HAS SOUS 21136 HAS SOUPS 12212 WITH SCORE 12383.975
AT ITER 888 NEW BEST:: SOT 234189 SOS 171753 HAS SOPS 100196 HAS SOUS 21124 HAS SOUPS 12200 WITH SCORE 12371.753
AT ITER 893 NEW BEST:: SOT 234171 SOS 171735 HAS SOPS 100196 HAS SOUS 21110 HAS SOUPS 12186 WITH SCORE 12357.735
AT ITER 898 NEW BEST:: SOT 234189 SOS 170803 HAS SOPS 100440 HAS SOUS 20998 HAS SOUPS 12140 WITH SCORE 12310.803
AT ITER 911 NEW BEST:: SOT 234190 SOS 170769 HAS SOPS 100406 HAS SOUS 20982 HAS SOUPS 12124 WITH SCORE 12294.769
AT ITER 936 NEW BEST:: SOT 233571 SOS 169172 HAS SOPS 99697 HAS SOUS 20862 HAS SOUPS 12052 WITH SCORE 12221.172
AT ITER 942 NEW BEST:: SOT 233565 SOS 169166 HAS SOPS 99697 HAS SOUS 20862 HAS SOUPS 12052 WITH SCORE 12221.166
AT ITER 959 NEW BEST:: SOT 233545 SOS 169056 HAS SOPS 99667 HAS SOUS 20842 HAS SOUPS 12042 WITH SCORE 12211.056
AT ITER 969 NEW BEST:: SOT 233512 SOS 168088 HAS SOPS 98820 HAS SOUS 20820 HAS SOUPS 12031 WITH SCORE 12199.088
AT ITER 972 NEW BEST:: SOT 233818 SOS 168447 HAS SOPS 98963 HAS SOUS 20692 HAS SOUPS 11903 WITH SCORE 12071.447
AT ITER 987 NEW BEST:: SOT 233912 SOS 168673 HAS SOPS 99077 HAS SOUS 20640 HAS SOUPS 11900 WITH SCORE 12068.673
AT ITER 988 NEW BEST:: SOT 233855 SOS 168351 HAS SOPS 98755 HAS SOUS 20626 HAS SOUPS 11886 WITH SCORE 12054.351
AT ITER 1008 NEW BEST:: SOT 233854 SOS 168357 HAS SOPS 98753 HAS SOUS 20625 HAS SOUPS 11884 WITH SCORE 12052.357
AT ITER 1013 NEW BEST:: SOT 233832 SOS 168408 HAS SOPS 98612 HAS SOUS 20616 HAS SOUPS 11851 WITH SCORE 12019.408
AT ITER 1039 NEW BEST:: SOT 233817 SOS 168393 HAS SOPS 98612 HAS SOUS 20616 HAS SOUPS 11851 WITH SCORE 12019.393
AT ITER 1041 NEW BEST:: SOT 233786 SOS 167626 HAS SOPS 98511 HAS SOUS 20495 HAS SOUPS 11792 WITH SCORE 11959.626
AT ITER 1062 NEW BEST:: SOT 233763 SOS 167580 HAS SOPS 98511 HAS SOUS 20472 HAS SOUPS 11792 WITH SCORE 11959.58
AT ITER 1071 NEW BEST:: SOT 233763 SOS 167541 HAS SOPS 98496 HAS SOUS 20471 HAS SOUPS 11792 WITH SCORE 11959.541
AT ITER 1133 NEW BEST:: SOT 233928 SOS 167892 HAS SOPS 98622 HAS SOUS 20412 HAS SOUPS 11778 WITH SCORE 11945.892
AT ITER 1145 NEW BEST:: SOT 233896 SOS 167860 HAS SOPS 98622 HAS SOUS 20434 HAS SOUPS 11776 WITH SCORE 11943.86
AT ITER 1153 NEW BEST:: SOT 234107 SOS 168091 HAS SOPS 98733 HAS SOUS 20399 HAS SOUPS 11741 WITH SCORE 11909.091
AT ITER 1189 NEW BEST:: SOT 234152 SOS 168136 HAS SOPS 98768 HAS SOUS 20384 HAS SOUPS 11731 WITH SCORE 11899.136
AT ITER 1203 NEW BEST:: SOT 234070 SOS 167965 HAS SOPS 98716 HAS SOUS 20374 HAS SOUPS 11728 WITH SCORE 11895.965
AT ITER 1207 NEW BEST:: SOT 234051 SOS 167946 HAS SOPS 98716 HAS SOUS 20374 HAS SOUPS 11728 WITH SCORE 11895.946
AT ITER 1250 NEW BEST:: SOT 234039 SOS 167316 HAS SOPS 98185 HAS SOUS 20356 HAS SOUPS 11719 WITH SCORE 11886.316
AT ITER 1252 NEW BEST:: SOT 234023 SOS 167372 HAS SOPS 98043 HAS SOUS 20364 HAS SOUPS 11709 WITH SCORE 11876.372
AT ITER 1274 NEW BEST:: SOT 234040 SOS 167249 HAS SOPS 97672 HAS SOUS 20395 HAS SOUPS 11709 WITH SCORE 11876.249
AT ITER 1302 NEW BEST:: SOT 234036 SOS 167241 HAS SOPS 97672 HAS SOUS 20391 HAS SOUPS 11709 WITH SCORE 11876.241
AT ITER 1305 NEW BEST:: SOT 234032 SOS 167245 HAS SOPS 97667 HAS SOUS 20384 HAS SOUPS 11702 WITH SCORE 11869.245
AT ITER 1313 NEW BEST:: SOT 233779 SOS 166654 HAS SOPS 97232 HAS SOUS 20375 HAS SOUPS 11693 WITH SCORE 11859.654
AT ITER 1326 NEW BEST:: SOT 233768 SOS 166643 HAS SOPS 97232 HAS SOUS 20375 HAS SOUPS 11693 WITH SCORE 11859.643
AT ITER 1341 NEW BEST:: SOT 233769 SOS 166645 HAS SOPS 97234 HAS SOUS 20352 HAS SOUPS 11670 WITH SCORE 11836.645
AT ITER 1347 NEW BEST:: SOT 233806 SOS 166870 HAS SOPS 97075 HAS SOUS 20356 HAS SOUPS 11626 WITH SCORE 11792.87
AT ITER 1360 NEW BEST:: SOT 233802 SOS 166866 HAS SOPS 97075 HAS SOUS 20356 HAS SOUPS 11626 WITH SCORE 11792.866
AT ITER 1381 NEW BEST:: SOT 233813 SOS 166888 HAS SOPS 97097 HAS SOUS 20350 HAS SOUPS 11620 WITH SCORE 11786.888
AT ITER 1396 NEW BEST:: SOT 233807 SOS 166876 HAS SOPS 97085 HAS SOUS 20344 HAS SOUPS 11614 WITH SCORE 11780.876
AT ITER 1420 NEW BEST:: SOT 233799 SOS 166868 HAS SOPS 97085 HAS SOUS 20344 HAS SOUPS 11614 WITH SCORE 11780.868
AT ITER 1431 NEW BEST:: SOT 233802 SOS 166858 HAS SOPS 97083 HAS SOUS 20329 HAS SOUPS 11612 WITH SCORE 11778.858
AT ITER 1448 NEW BEST:: SOT 233718 SOS 167095 HAS SOPS 97123 HAS SOUS 20274 HAS SOUPS 11580 WITH SCORE 11747.095
AT ITER 1454 NEW BEST:: SOT 233717 SOS 167055 HAS SOPS 97089 HAS SOUS 20251 HAS SOUPS 11557 WITH SCORE 11724.055
AT ITER 1468 NEW BEST:: SOT 232870 SOS 164748 HAS SOPS 95933 HAS SOUS 20133 HAS SOUPS 11494 WITH SCORE 11658.748
AT ITER 1490 NEW BEST:: SOT 232867 SOS 164744 HAS SOPS 95929 HAS SOUS 20132 HAS SOUPS 11493 WITH SCORE 11657.744
AT ITER 1524 NEW BEST:: SOT 232779 SOS 164568 HAS SOPS 95763 HAS SOUS 20136 HAS SOUPS 11487 WITH SCORE 11651.568
AT ITER 1536 NEW BEST:: SOT 232767 SOS 163692 HAS SOPS 94887 HAS SOUS 20124 HAS SOUPS 11475 WITH SCORE 11638.692
AT ITER 1578 NEW BEST:: SOT 232750 SOS 162743 HAS SOPS 94406 HAS SOUS 20094 HAS SOUPS 11463 WITH SCORE 11625.743
AT ITER 1583 NEW BEST:: SOT 232635 SOS 162495 HAS SOPS 94209 HAS SOUS 20085 HAS SOUPS 11454 WITH SCORE 11616.495
AT ITER 1623 NEW BEST:: SOT 232271 SOS 161751 HAS SOPS 93994 HAS SOUS 20057 HAS SOUPS 11454 WITH SCORE 11615.751
AT ITER 1630 NEW BEST:: SOT 232266 SOS 161916 HAS SOPS 93972 HAS SOUS 20057 HAS SOUPS 11437 WITH SCORE 11598.916
AT ITER 1664 NEW BEST:: SOT 232282 SOS 161948 HAS SOPS 93972 HAS SOUS 20071 HAS SOUPS 11432 WITH SCORE 11593.948
AT ITER 1665 NEW BEST:: SOT 232313 SOS 161971 HAS SOPS 93939 HAS SOUS 20054 HAS SOUPS 11417 WITH SCORE 11578.971
AT ITER 1690 NEW BEST:: SOT 232367 SOS 162102 HAS SOPS 93975 HAS SOUS 20031 HAS SOUPS 11394 WITH SCORE 11556.102
AT ITER 1705 NEW BEST:: SOT 232361 SOS 162414 HAS SOPS 94119 HAS SOUS 20019 HAS SOUPS 11382 WITH SCORE 11544.414
AT ITER 1712 NEW BEST:: SOT 232311 SOS 162364 HAS SOPS 94094 HAS SOUS 20019 HAS SOUPS 11382 WITH SCORE 11544.364
AT ITER 1717 NEW BEST:: SOT 232312 SOS 162376 HAS SOPS 94106 HAS SOUS 20018 HAS SOUPS 11381 WITH SCORE 11543.376
AT ITER 1719 NEW BEST:: SOT 232207 SOS 162271 HAS SOPS 94066 HAS SOUS 20018 HAS SOUPS 11381 WITH SCORE 11543.271
AT ITER 1738 NEW BEST:: SOT 232205 SOS 162245 HAS SOPS 94040 HAS SOUS 20015 HAS SOUPS 11378 WITH SCORE 11540.245
AT ITER 1746 NEW BEST:: SOT 232208 SOS 162203 HAS SOPS 93998 HAS SOUS 20012 HAS SOUPS 11375 WITH SCORE 11537.203
AT ITER 1751 NEW BEST:: SOT 232120 SOS 162100 HAS SOPS 94001 HAS SOUS 19908 HAS SOUPS 11324 WITH SCORE 11486.1
AT ITER 1768 NEW BEST:: SOT 232126 SOS 162058 HAS SOPS 94007 HAS SOUS 19902 HAS SOUPS 11324 WITH SCORE 11486.058
AT ITER 1775 NEW BEST:: SOT 232126 SOS 162058 HAS SOPS 94007 HAS SOUS 19893 HAS SOUPS 11319 WITH SCORE 11481.058
AT ITER 1777 NEW BEST:: SOT 232118 SOS 161962 HAS SOPS 93999 HAS SOUS 19877 HAS SOUPS 11311 WITH SCORE 11472.962
AT ITER 1780 NEW BEST:: SOT 232088 SOS 162037 HAS SOPS 93954 HAS SOUS 19869 HAS SOUPS 11288 WITH SCORE 11450.037
AT ITER 1782 NEW BEST:: SOT 232206 SOS 162292 HAS SOPS 94031 HAS SOUS 19861 HAS SOUPS 11273 WITH SCORE 11435.292
AT ITER 1800 NEW BEST:: SOT 232200 SOS 162256 HAS SOPS 93995 HAS SOUS 19858 HAS SOUPS 11270 WITH SCORE 11432.256
AT ITER 1803 NEW BEST:: SOT 231856 SOS 161539 HAS SOPS 93742 HAS SOUS 19804 HAS SOUPS 11245 WITH SCORE 11406.539
AT ITER 1804 NEW BEST:: SOT 231855 SOS 161537 HAS SOPS 93742 HAS SOUS 19802 HAS SOUPS 11244 WITH SCORE 11405.537
AT ITER 1805 NEW BEST:: SOT 231838 SOS 161248 HAS SOPS 93504 HAS SOUS 19768 HAS SOUPS 11210 WITH SCORE 11371.248
AT ITER 1809 NEW BEST:: SOT 231827 SOS 161237 HAS SOPS 93504 HAS SOUS 19768 HAS SOUPS 11210 WITH SCORE 11371.237
AT ITER 1812 NEW BEST:: SOT 231536 SOS 158753 HAS SOPS 91597 HAS SOUS 19769 HAS SOUPS 11211 WITH SCORE 11369.753
AT ITER 1813 NEW BEST:: SOT 231383 SOS 158960 HAS SOPS 92342 HAS SOUS 19715 HAS SOUPS 11191 WITH SCORE 11349.96
AT ITER 1824 NEW BEST:: SOT 231382 SOS 159171 HAS SOPS 92520 HAS SOUS 19717 HAS SOUPS 11190 WITH SCORE 11349.171
AT ITER 1849 NEW BEST:: SOT 231355 SOS 159036 HAS SOPS 92484 HAS SOUS 19699 HAS SOUPS 11181 WITH SCORE 11340.036
AT ITER 1851 NEW BEST:: SOT 231364 SOS 158838 HAS SOPS 92385 HAS SOUS 19681 HAS SOUPS 11172 WITH SCORE 11330.838
AT ITER 1856 NEW BEST:: SOT 231349 SOS 159339 HAS SOPS 92587 HAS SOUS 19677 HAS SOUPS 11168 WITH SCORE 11327.339
AT ITER 1865 NEW BEST:: SOT 231847 SOS 160406 HAS SOPS 92901 HAS SOUS 19711 HAS SOUPS 11165 WITH SCORE 11325.406
AT ITER 1879 NEW BEST:: SOT 231204 SOS 159038 HAS SOPS 92553 HAS SOUS 19643 HAS SOUPS 11152 WITH SCORE 11311.038
AT ITER 1915 NEW BEST:: SOT 231185 SOS 159248 HAS SOPS 92507 HAS SOUS 19667 HAS SOUPS 11144 WITH SCORE 11303.248
AT ITER 1926 NEW BEST:: SOT 231240 SOS 156551 HAS SOPS 90228 HAS SOUS 19604 HAS SOUPS 11119 WITH SCORE 11275.551
AT ITER 1932 NEW BEST:: SOT 231214 SOS 156627 HAS SOPS 90304 HAS SOUS 19578 HAS SOUPS 11093 WITH SCORE 11249.627
AT ITER 1957 NEW BEST:: SOT 231333 SOS 156711 HAS SOPS 90360 HAS SOUS 19568 HAS SOUPS 11092 WITH SCORE 11248.711
AT ITER 1961 NEW BEST:: SOT 231344 SOS 156734 HAS SOPS 90367 HAS SOUS 19568 HAS SOUPS 11091 WITH SCORE 11247.734
AT ITER 1993 NEW BEST:: SOT 231344 SOS 156734 HAS SOPS 90367 HAS SOUS 19514 HAS SOUPS 11061 WITH SCORE 11217.734
AT ITER 2024 NEW BEST:: SOT 231339 SOS 156729 HAS SOPS 90362 HAS SOUS 19514 HAS SOUPS 11061 WITH SCORE 11217.729
AT ITER 2055 NEW BEST:: SOT 231465 SOS 156863 HAS SOPS 90421 HAS SOUS 19499 HAS SOUPS 11046 WITH SCORE 11202.863
AT ITER 2098 NEW BEST:: SOT 231465 SOS 156863 HAS SOPS 90421 HAS SOUS 19472 HAS SOUPS 11031 WITH SCORE 11187.863
AT ITER 2106 NEW BEST:: SOT 231539 SOS 156937 HAS SOPS 90408 HAS SOUS 19459 HAS SOUPS 11018 WITH SCORE 11174.937
AT ITER 2115 NEW BEST:: SOT 231526 SOS 156924 HAS SOPS 90395 HAS SOUS 19446 HAS SOUPS 11005 WITH SCORE 11161.924
AT ITER 2133 NEW BEST:: SOT 231358 SOS 156602 HAS SOPS 90143 HAS SOUS 19446 HAS SOUPS 11005 WITH SCORE 11161.602
AT ITER 2140 NEW BEST:: SOT 231359 SOS 156603 HAS SOPS 90143 HAS SOUS 19439 HAS SOUPS 11002 WITH SCORE 11158.603
AT ITER 2141 NEW BEST:: SOT 231407 SOS 156683 HAS SOPS 90167 HAS SOUS 19439 HAS SOUPS 10998 WITH SCORE 11154.683
AT ITER 2160 NEW BEST:: SOT 231407 SOS 156611 HAS SOPS 90095 HAS SOUS 19439 HAS SOUPS 10998 WITH SCORE 11154.611
AT ITER 2165 NEW BEST:: SOT 231412 SOS 156522 HAS SOPS 90094 HAS SOUS 19426 HAS SOUPS 10996 WITH SCORE 11152.522
AT ITER 2185 NEW BEST:: SOT 231410 SOS 156408 HAS SOPS 90090 HAS SOUS 19416 HAS SOUPS 10996 WITH SCORE 11152.408
AT ITER 2197 NEW BEST:: SOT 231395 SOS 156433 HAS SOPS 90082 HAS SOUS 19412 HAS SOUPS 10992 WITH SCORE 11148.433
AT ITER 2205 NEW BEST:: SOT 231395 SOS 156433 HAS SOPS 90082 HAS SOUS 19403 HAS SOUPS 10987 WITH SCORE 11143.433
AT ITER 2207 NEW BEST:: SOT 231123 SOS 155617 HAS SOPS 89810 HAS SOUS 19335 HAS SOUPS 10987 WITH SCORE 11142.617
AT ITER 2271 NEW BEST:: SOT 231167 SOS 155709 HAS SOPS 89838 HAS SOUS 19335 HAS SOUPS 10983 WITH SCORE 11138.709
AT ITER 2282 NEW BEST:: SOT 231219 SOS 154777 HAS SOPS 89034 HAS SOUS 19302 HAS SOUPS 10950 WITH SCORE 11104.777
AT ITER 2284 NEW BEST:: SOT 231219 SOS 154733 HAS SOPS 89026 HAS SOUS 19290 HAS SOUPS 10942 WITH SCORE 11096.733
AT ITER 2287 NEW BEST:: SOT 231219 SOS 154733 HAS SOPS 89017 HAS SOUS 19281 HAS SOUPS 10933 WITH SCORE 11087.733
AT ITER 2306 NEW BEST:: SOT 231177 SOS 152663 HAS SOPS 87244 HAS SOUS 19239 HAS SOUPS 10918 WITH SCORE 11070.663
AT ITER 2324 NEW BEST:: SOT 231189 SOS 152699 HAS SOPS 87216 HAS SOUS 19206 HAS SOUPS 10897 WITH SCORE 11049.699
AT ITER 2328 NEW BEST:: SOT 231176 SOS 152656 HAS SOPS 87173 HAS SOUS 19200 HAS SOUPS 10891 WITH SCORE 11043.656
AT ITER 2330 NEW BEST:: SOT 231173 SOS 152650 HAS SOPS 87167 HAS SOUS 19200 HAS SOUPS 10891 WITH SCORE 11043.65
AT ITER 2364 NEW BEST:: SOT 231195 SOS 152628 HAS SOPS 87145 HAS SOUS 19168 HAS SOUPS 10859 WITH SCORE 11011.628
AT ITER 2384 NEW BEST:: SOT 232345 SOS 154552 HAS SOPS 87753 HAS SOUS 19270 HAS SOUPS 10831 WITH SCORE 10985.552
AT ITER 2397 NEW BEST:: SOT 232340 SOS 154547 HAS SOPS 87753 HAS SOUS 19215 HAS SOUPS 10796 WITH SCORE 10950.547
AT ITER 2415 NEW BEST:: SOT 232326 SOS 154379 HAS SOPS 87739 HAS SOUS 19201 HAS SOUPS 10796 WITH SCORE 10950.379
AT ITER 2434 NEW BEST:: SOT 232398 SOS 154451 HAS SOPS 87757 HAS SOUS 19183 HAS SOUPS 10778 WITH SCORE 10932.451
AT ITER 2455 NEW BEST:: SOT 232412 SOS 154141 HAS SOPS 87733 HAS SOUS 19125 HAS SOUPS 10746 WITH SCORE 10900.141
AT ITER 2480 NEW BEST:: SOT 232408 SOS 154137 HAS SOPS 87733 HAS SOUS 19125 HAS SOUPS 10746 WITH SCORE 10900.137
AT ITER 2481 NEW BEST:: SOT 232253 SOS 153986 HAS SOPS 87638 HAS SOUS 19133 HAS SOUPS 10744 WITH SCORE 10897.986
AT ITER 2487 NEW BEST:: SOT 232273 SOS 154029 HAS SOPS 87649 HAS SOUS 19131 HAS SOUPS 10741 WITH SCORE 10895.029
AT ITER 2496 NEW BEST:: SOT 232271 SOS 154069 HAS SOPS 87656 HAS SOUS 19127 HAS SOUPS 10737 WITH SCORE 10891.069
AT ITER 2514 NEW BEST:: SOT 232266 SOS 154064 HAS SOPS 87656 HAS SOUS 19125 HAS SOUPS 10735 WITH SCORE 10889.064
AT ITER 2515 NEW BEST:: SOT 232249 SOS 153978 HAS SOPS 87724 HAS SOUS 19102 HAS SOUPS 10726 WITH SCORE 10879.978
AT ITER 2517 NEW BEST:: SOT 231906 SOS 151018 HAS SOPS 85259 HAS SOUS 19056 HAS SOUPS 10691 WITH SCORE 10842.018
AT ITER 2527 NEW BEST:: SOT 231898 SOS 151010 HAS SOPS 85251 HAS SOUS 19052 HAS SOUPS 10687 WITH SCORE 10838.01
AT ITER 2534 NEW BEST:: SOT 231884 SOS 150996 HAS SOPS 85251 HAS SOUS 19052 HAS SOUPS 10687 WITH SCORE 10837.996
AT ITER 2569 NEW BEST:: SOT 231849 SOS 150856 HAS SOPS 85223 HAS SOUS 19003 HAS SOUPS 10652 WITH SCORE 10802.856
AT ITER 2599 NEW BEST:: SOT 231876 SOS 150883 HAS SOPS 85168 HAS SOUS 18969 HAS SOUPS 10618 WITH SCORE 10768.883
AT ITER 2610 NEW BEST:: SOT 231870 SOS 150895 HAS SOPS 85156 HAS SOUS 18966 HAS SOUPS 10612 WITH SCORE 10762.895
AT ITER 2643 NEW BEST:: SOT 231872 SOS 150902 HAS SOPS 85196 HAS SOUS 18962 HAS SOUPS 10611 WITH SCORE 10761.902
AT ITER 2688 NEW BEST:: SOT 231865 SOS 150895 HAS SOPS 85196 HAS SOUS 18963 HAS SOUPS 10608 WITH SCORE 10758.895
AT ITER 2762 NEW BEST:: SOT 231839 SOS 150869 HAS SOPS 85196 HAS SOUS 18953 HAS SOUPS 10598 WITH SCORE 10748.869
AT ITER 2764 NEW BEST:: SOT 231868 SOS 150898 HAS SOPS 85196 HAS SOUS 18944 HAS SOUPS 10593 WITH SCORE 10743.898
AT ITER 2765 NEW BEST:: SOT 231820 SOS 150754 HAS SOPS 85148 HAS SOUS 18932 HAS SOUPS 10593 WITH SCORE 10743.754
AT ITER 2793 NEW BEST:: SOT 231808 SOS 150738 HAS SOPS 85138 HAS SOUS 18928 HAS SOUPS 10589 WITH SCORE 10739.738
AT ITER 2833 NEW BEST:: SOT 231775 SOS 150717 HAS SOPS 85117 HAS SOUS 18922 HAS SOUPS 10583 WITH SCORE 10733.717
AT ITER 2885 NEW BEST:: SOT 231753 SOS 151410 HAS SOPS 85524 HAS SOUS 18920 HAS SOUPS 10581 WITH SCORE 10732.41
AT ITER 2898 NEW BEST:: SOT 231753 SOS 151410 HAS SOPS 85524 HAS SOUS 18911 HAS SOUPS 10576 WITH SCORE 10727.41
AT ITER 2930 NEW BEST:: SOT 231802 SOS 148568 HAS SOPS 83221 HAS SOUS 18859 HAS SOUPS 10573 WITH SCORE 10721.568
AT ITER 2938 NEW BEST:: SOT 231800 SOS 148494 HAS SOPS 83224 HAS SOUS 18852 HAS SOUPS 10573 WITH SCORE 10721.494
AT ITER 2981 NEW BEST:: SOT 231800 SOS 148474 HAS SOPS 83202 HAS SOUS 18852 HAS SOUPS 10573 WITH SCORE 10721.474
AT ITER 2983 NEW BEST:: SOT 231800 SOS 148474 HAS SOPS 83202 HAS SOUS 18842 HAS SOUPS 10563 WITH SCORE 10711.474
AT ITER 2990 NEW BEST:: SOT 231790 SOS 148399 HAS SOPS 83072 HAS SOUS 18841 HAS SOUPS 10557 WITH SCORE 10705.399
AT ITER 3068 NEW BEST:: SOT 231781 SOS 148390 HAS SOPS 83066 HAS SOUS 18838 HAS SOUPS 10554 WITH SCORE 10702.39
AT ITER 3101 NEW BEST:: SOT 231719 SOS 149003 HAS SOPS 83195 HAS SOUS 18873 HAS SOUPS 10545 WITH SCORE 10694.003
AT ITER 3194 NEW BEST:: SOT 231593 SOS 148859 HAS SOPS 83111 HAS SOUS 18873 HAS SOUPS 10545 WITH SCORE 10693.859
AT ITER 3198 NEW BEST:: SOT 231422 SOS 147888 HAS SOPS 82402 HAS SOUS 18857 HAS SOUPS 10538 WITH SCORE 10685.888
AT ITER 3231 NEW BEST:: SOT 231519 SOS 148115 HAS SOPS 82489 HAS SOUS 18863 HAS SOUPS 10537 WITH SCORE 10685.115
AT ITER 3240 NEW BEST:: SOT 231491 SOS 148073 HAS SOPS 82475 HAS SOUS 18853 HAS SOUPS 10529 WITH SCORE 10677.073
AT ITER 3262 NEW BEST:: SOT 231520 SOS 148099 HAS SOPS 82472 HAS SOUS 18847 HAS SOUPS 10526 WITH SCORE 10674.099
AT ITER 3286 NEW BEST:: SOT 231442 SOS 148015 HAS SOPS 82418 HAS SOUS 18841 HAS SOUPS 10520 WITH SCORE 10668.015
AT ITER 3292 NEW BEST:: SOT 231425 SOS 147861 HAS SOPS 82284 HAS SOUS 18820 HAS SOUPS 10499 WITH SCORE 10646.861
AT ITER 3302 NEW BEST:: SOT 230985 SOS 147161 HAS SOPS 81764 HAS SOUS 18762 HAS SOUPS 10441 WITH SCORE 10588.161
AT ITER 3329 NEW BEST:: SOT 230913 SOS 147011 HAS SOPS 81716 HAS SOUS 18750 HAS SOUPS 10435 WITH SCORE 10582.011
AT ITER 3337 NEW BEST:: SOT 230913 SOS 147011 HAS SOPS 81716 HAS SOUS 18741 HAS SOUPS 10430 WITH SCORE 10577.011
AT ITER 3338 NEW BEST:: SOT 230469 SOS 145892 HAS SOPS 81226 HAS SOUS 18686 HAS SOUPS 10412 WITH SCORE 10557.892
AT ITER 3348 NEW BEST:: SOT 230474 SOS 145946 HAS SOPS 81203 HAS SOUS 18690 HAS SOUPS 10409 WITH SCORE 10554.946
AT ITER 3350 NEW BEST:: SOT 230473 SOS 145946 HAS SOPS 81211 HAS SOUS 18688 HAS SOUPS 10408 WITH SCORE 10553.946
AT ITER 3377 NEW BEST:: SOT 230471 SOS 145928 HAS SOPS 81209 HAS SOUS 18686 HAS SOUPS 10408 WITH SCORE 10553.928
AT ITER 3417 NEW BEST:: SOT 230450 SOS 145941 HAS SOPS 81310 HAS SOUS 18672 HAS SOUPS 10405 WITH SCORE 10550.941
AT ITER 3425 NEW BEST:: SOT 230294 SOS 145671 HAS SOPS 81222 HAS SOUS 18656 HAS SOUPS 10403 WITH SCORE 10548.671
AT ITER 3432 NEW BEST:: SOT 230281 SOS 145697 HAS SOPS 81209 HAS SOUS 18643 HAS SOUPS 10390 WITH SCORE 10535.697
AT ITER 3460 NEW BEST:: SOT 230273 SOS 145681 HAS SOPS 81193 HAS SOUS 18635 HAS SOUPS 10382 WITH SCORE 10527.681
AT ITER 3463 NEW BEST:: SOT 230224 SOS 145613 HAS SOPS 81177 HAS SOUS 18622 HAS SOUPS 10377 WITH SCORE 10522.613
AT ITER 3509 NEW BEST:: SOT 230223 SOS 145323 HAS SOPS 80479 HAS SOUS 18672 HAS SOUPS 10376 WITH SCORE 10521.323
AT ITER 3510 NEW BEST:: SOT 230253 SOS 144783 HAS SOPS 80059 HAS SOUS 18662 HAS SOUPS 10366 WITH SCORE 10510.783
AT ITER 3561 NEW BEST:: SOT 230232 SOS 144762 HAS SOPS 80059 HAS SOUS 18662 HAS SOUPS 10366 WITH SCORE 10510.762
AT ITER 3597 NEW BEST:: SOT 230240 SOS 144770 HAS SOPS 80059 HAS SOUS 18635 HAS SOUPS 10351 WITH SCORE 10495.77
AT ITER 3630 NEW BEST:: SOT 230152 SOS 144658 HAS SOPS 79993 HAS SOUS 18634 HAS SOUPS 10347 WITH SCORE 10491.658
AT ITER 3642 NEW BEST:: SOT 230165 SOS 144234 HAS SOPS 79657 HAS SOUS 18622 HAS SOUPS 10343 WITH SCORE 10487.234
AT ITER 3652 NEW BEST:: SOT 230165 SOS 144234 HAS SOPS 79657 HAS SOUS 18613 HAS SOUPS 10338 WITH SCORE 10482.234
AT ITER 3702 NEW BEST:: SOT 230263 SOS 144389 HAS SOPS 79704 HAS SOUS 18598 HAS SOUPS 10323 WITH SCORE 10467.389
AT ITER 3754 NEW BEST:: SOT 230258 SOS 144304 HAS SOPS 79634 HAS SOUS 18583 HAS SOUPS 10308 WITH SCORE 10452.304
AT ITER 3772 NEW BEST:: SOT 230258 SOS 144328 HAS SOPS 79636 HAS SOUS 18583 HAS SOUPS 10306 WITH SCORE 10450.328
AT ITER 3777 NEW BEST:: SOT 230259 SOS 144329 HAS SOPS 79626 HAS SOUS 18583 HAS SOUPS 10305 WITH SCORE 10449.329
AT ITER 3787 NEW BEST:: SOT 230142 SOS 143987 HAS SOPS 79329 HAS SOUS 18565 HAS SOUPS 10287 WITH SCORE 10430.987
AT ITER 3862 NEW BEST:: SOT 230000 SOS 143733 HAS SOPS 79250 HAS SOUS 18513 HAS SOUPS 10261 WITH SCORE 10404.733
AT ITER 3863 NEW BEST:: SOT 229519 SOS 143031 HAS SOPS 78357 HAS SOUS 18536 HAS SOUPS 10214 WITH SCORE 10357.031
AT ITER 3910 NEW BEST:: SOT 229521 SOS 143033 HAS SOPS 78357 HAS SOUS 18518 HAS SOUPS 10204 WITH SCORE 10347.033
AT ITER 3919 NEW BEST:: SOT 229106 SOS 141863 HAS SOPS 77358 HAS SOUS 18377 HAS SOUPS 10107 WITH SCORE 10248.863
AT ITER 3957 NEW BEST:: SOT 229067 SOS 141794 HAS SOPS 77328 HAS SOUS 18368 HAS SOUPS 10101 WITH SCORE 10242.794
AT ITER 3982 NEW BEST:: SOT 229058 SOS 141833 HAS SOPS 77349 HAS SOUS 18365 HAS SOUPS 10098 WITH SCORE 10239.833
AT ITER 4033 NEW BEST:: SOT 229059 SOS 141433 HAS SOPS 77026 HAS SOUS 18355 HAS SOUPS 10095 WITH SCORE 10236.433
AT ITER 4048 NEW BEST:: SOT 228860 SOS 140057 HAS SOPS 76015 HAS SOUS 18322 HAS SOUPS 10087 WITH SCORE 10227.057
AT ITER 4058 NEW BEST:: SOT 228515 SOS 139508 HAS SOPS 75608 HAS SOUS 18314 HAS SOUPS 10079 WITH SCORE 10218.508
AT ITER 4066 NEW BEST:: SOT 228593 SOS 139613 HAS SOPS 75672 HAS SOUS 18309 HAS SOUPS 10074 WITH SCORE 10213.613
AT ITER 4103 NEW BEST:: SOT 228585 SOS 139541 HAS SOPS 75664 HAS SOUS 18293 HAS SOUPS 10066 WITH SCORE 10205.541
AT ITER 4161 NEW BEST:: SOT 228576 SOS 139358 HAS SOPS 75502 HAS SOUS 18281 HAS SOUPS 10054 WITH SCORE 10193.358
AT ITER 4168 NEW BEST:: SOT 228566 SOS 139100 HAS SOPS 75307 HAS SOUS 18221 HAS SOUPS 9994 WITH SCORE 10133.1
AT ITER 4173 NEW BEST:: SOT 228496 SOS 139435 HAS SOPS 75499 HAS SOUS 18218 HAS SOUPS 9978 WITH SCORE 10117.435
AT ITER 4189 NEW BEST:: SOT 228493 SOS 139422 HAS SOPS 75494 HAS SOUS 18216 HAS SOUPS 9977 WITH SCORE 10116.422
AT ITER 4273 NEW BEST:: SOT 228499 SOS 139267 HAS SOPS 75482 HAS SOUS 18194 HAS SOUPS 9968 WITH SCORE 10107.267
AT ITER 4275 NEW BEST:: SOT 228237 SOS 138736 HAS SOPS 75328 HAS SOUS 18171 HAS SOUPS 9961 WITH SCORE 10099.736
AT ITER 4323 NEW BEST:: SOT 228227 SOS 138686 HAS SOPS 75318 HAS SOUS 18161 HAS SOUPS 9956 WITH SCORE 10094.686
AT ITER 4339 NEW BEST:: SOT 227894 SOS 138202 HAS SOPS 74919 HAS SOUS 18170 HAS SOUPS 9945 WITH SCORE 10083.202
AT ITER 4344 NEW BEST:: SOT 227803 SOS 138055 HAS SOPS 74807 HAS SOUS 18156 HAS SOUPS 9931 WITH SCORE 10069.055
AT ITER 4418 NEW BEST:: SOT 227771 SOS 138071 HAS SOPS 74775 HAS SOUS 18140 HAS SOUPS 9915 WITH SCORE 10053.071
AT ITER 4445 NEW BEST:: SOT 227491 SOS 137583 HAS SOPS 74599 HAS SOUS 18115 HAS SOUPS 9914 WITH SCORE 10051.583
AT ITER 4447 NEW BEST:: SOT 227496 SOS 137358 HAS SOPS 74414 HAS SOUS 18110 HAS SOUPS 9909 WITH SCORE 10046.358
AT ITER 4491 NEW BEST:: SOT 227476 SOS 137102 HAS SOPS 74344 HAS SOUS 18084 HAS SOUPS 9904 WITH SCORE 10041.102
AT ITER 4502 NEW BEST:: SOT 227475 SOS 137101 HAS SOPS 74344 HAS SOUS 18073 HAS SOUPS 9897 WITH SCORE 10034.101
AT ITER 4522 NEW BEST:: SOT 227475 SOS 136451 HAS SOPS 74030 HAS SOUS 18048 HAS SOUPS 9886 WITH SCORE 10022.451
AT ITER 4535 NEW BEST:: SOT 227549 SOS 136588 HAS SOPS 74077 HAS SOUS 18051 HAS SOUPS 9881 WITH SCORE 10017.588
AT ITER 4555 NEW BEST:: SOT 227692 SOS 136887 HAS SOPS 74168 HAS SOUS 18051 HAS SOUPS 9868 WITH SCORE 10004.887
AT ITER 4565 NEW BEST:: SOT 227690 SOS 136881 HAS SOPS 74140 HAS SOUS 18053 HAS SOUPS 9868 WITH SCORE 10004.881
AT ITER 4687 NEW BEST:: SOT 227690 SOS 136881 HAS SOPS 74140 HAS SOUS 18008 HAS SOUPS 9843 WITH SCORE 9979.881
AT ITER 4760 NEW BEST:: SOT 227717 SOS 136941 HAS SOPS 74158 HAS SOUS 18008 HAS SOUPS 9840 WITH SCORE 9976.941
AT ITER 4823 NEW BEST:: SOT 227944 SOS 137398 HAS SOPS 74311 HAS SOUS 18061 HAS SOUPS 9827 WITH SCORE 9964.398
AT ITER 4839 NEW BEST:: SOT 228215 SOS 137847 HAS SOPS 74481 HAS SOUS 18058 HAS SOUPS 9824 WITH SCORE 9961.847
AT ITER 4859 NEW BEST:: SOT 228203 SOS 137835 HAS SOPS 74481 HAS SOUS 18034 HAS SOUPS 9800 WITH SCORE 9937.835
AT ITER 4877 NEW BEST:: SOT 228204 SOS 137824 HAS SOPS 74481 HAS SOUS 18033 HAS SOUPS 9800 WITH SCORE 9937.824
AT ITER 4896 NEW BEST:: SOT 228293 SOS 138060 HAS SOPS 74585 HAS SOUS 18031 HAS SOUPS 9798 WITH SCORE 9936.06
AT ITER 4907 NEW BEST:: SOT 228286 SOS 138053 HAS SOPS 74585 HAS SOUS 18017 HAS SOUPS 9784 WITH SCORE 9922.053
AT ITER 4925 NEW BEST:: SOT 228282 SOS 138049 HAS SOPS 74585 HAS SOUS 18017 HAS SOUPS 9784 WITH SCORE 9922.049
AT ITER 4936 NEW BEST:: SOT 228105 SOS 137733 HAS SOPS 74450 HAS SOUS 17990 HAS SOUPS 9765 WITH SCORE 9902.733
AT ITER 5023 NEW BEST:: SOT 228069 SOS 137697 HAS SOPS 74450 HAS SOUS 17990 HAS SOUPS 9765 WITH SCORE 9902.697
AT ITER 5065 NEW BEST:: SOT 228024 SOS 137600 HAS SOPS 74383 HAS SOUS 17973 HAS SOUPS 9748 WITH SCORE 9885.6
AT ITER 5091 NEW BEST:: SOT 227888 SOS 137344 HAS SOPS 74287 HAS SOUS 17921 HAS SOUPS 9736 WITH SCORE 9873.344
AT ITER 5092 NEW BEST:: SOT 227854 SOS 137255 HAS SOPS 74241 HAS SOUS 17913 HAS SOUPS 9731 WITH SCORE 9868.255
AT ITER 5166 NEW BEST:: SOT 227890 SOS 137291 HAS SOPS 74241 HAS SOUS 17882 HAS SOUPS 9728 WITH SCORE 9865.291
AT ITER 5167 NEW BEST:: SOT 227827 SOS 137221 HAS SOPS 74234 HAS SOUS 17868 HAS SOUPS 9721 WITH SCORE 9858.221
AT ITER 5183 NEW BEST:: SOT 227821 SOS 137215 HAS SOPS 74234 HAS SOUS 17838 HAS SOUPS 9699 WITH SCORE 9836.215
AT ITER 5202 NEW BEST:: SOT 227810 SOS 137160 HAS SOPS 74058 HAS SOUS 17822 HAS SOUPS 9672 WITH SCORE 9809.16
AT ITER 5231 NEW BEST:: SOT 227732 SOS 137028 HAS SOPS 74010 HAS SOUS 17811 HAS SOUPS 9667 WITH SCORE 9804.028
AT ITER 5269 NEW BEST:: SOT 227733 SOS 136880 HAS SOPS 73862 HAS SOUS 17806 HAS SOUPS 9662 WITH SCORE 9798.88
AT ITER 5277 NEW BEST:: SOT 227725 SOS 136874 HAS SOPS 73856 HAS SOUS 17800 HAS SOUPS 9656 WITH SCORE 9792.874
AT ITER 5350 NEW BEST:: SOT 227720 SOS 136864 HAS SOPS 73846 HAS SOUS 17779 HAS SOUPS 9635 WITH SCORE 9771.864
AT ITER 5395 NEW BEST:: SOT 227813 SOS 136957 HAS SOPS 73894 HAS SOUS 17767 HAS SOUPS 9623 WITH SCORE 9759.957
AT ITER 5442 NEW BEST:: SOT 227811 SOS 136934 HAS SOPS 73871 HAS SOUS 17765 HAS SOUPS 9621 WITH SCORE 9757.934
AT ITER 5445 NEW BEST:: SOT 227811 SOS 136934 HAS SOPS 73838 HAS SOUS 17762 HAS SOUPS 9615 WITH SCORE 9751.934
AT ITER 5447 NEW BEST:: SOT 227734 SOS 136773 HAS SOPS 73789 HAS SOUS 17750 HAS SOUPS 9610 WITH SCORE 9746.773
AT ITER 5469 NEW BEST:: SOT 227723 SOS 136750 HAS SOPS 73781 HAS SOUS 17748 HAS SOUPS 9609 WITH SCORE 9745.75
AT ITER 5513 NEW BEST:: SOT 227712 SOS 136973 HAS SOPS 73884 HAS SOUS 17752 HAS SOUPS 9608 WITH SCORE 9744.973
AT ITER 5514 NEW BEST:: SOT 227707 SOS 136968 HAS SOPS 73884 HAS SOUS 17752 HAS SOUPS 9608 WITH SCORE 9744.968
AT ITER 5603 NEW BEST:: SOT 227706 SOS 136967 HAS SOPS 73884 HAS SOUS 17752 HAS SOUPS 9608 WITH SCORE 9744.967
AT ITER 5680 NEW BEST:: SOT 227711 SOS 136922 HAS SOPS 73884 HAS SOUS 17742 HAS SOUPS 9603 WITH SCORE 9739.922
AT ITER 5775 NEW BEST:: SOT 227703 SOS 136912 HAS SOPS 73874 HAS SOUS 17737 HAS SOUPS 9598 WITH SCORE 9734.912
AT ITER 5837 NEW BEST:: SOT 227702 SOS 136902 HAS SOPS 73862 HAS SOUS 17737 HAS SOUPS 9598 WITH SCORE 9734.902
AT ITER 5965 NEW BEST:: SOT 227588 SOS 136005 HAS SOPS 73416 HAS SOUS 17662 HAS SOUPS 9564 WITH SCORE 9700.005
AT ITER 5968 NEW BEST:: SOT 227606 SOS 135865 HAS SOPS 73430 HAS SOUS 17638 HAS SOUPS 9554 WITH SCORE 9689.865
AT ITER 5997 NEW BEST:: SOT 227596 SOS 135855 HAS SOPS 73430 HAS SOUS 17618 HAS SOUPS 9534 WITH SCORE 9669.855
AT ITER 6000 NEW BEST:: SOT 227436 SOS 135554 HAS SOPS 73201 HAS SOUS 17602 HAS SOUPS 9518 WITH SCORE 9653.554
AT ITER 6072 NEW BEST:: SOT 227429 SOS 135540 HAS SOPS 73187 HAS SOUS 17584 HAS SOUPS 9500 WITH SCORE 9635.54
AT ITER 6088 NEW BEST:: SOT 227357 SOS 135457 HAS SOPS 73134 HAS SOUS 17583 HAS SOUPS 9499 WITH SCORE 9634.457
AT ITER 6090 NEW BEST:: SOT 227330 SOS 135430 HAS SOPS 73122 HAS SOUS 17583 HAS SOUPS 9499 WITH SCORE 9634.43
AT ITER 6160 NEW BEST:: SOT 227330 SOS 135430 HAS SOPS 73122 HAS SOUS 17581 HAS SOUPS 9497 WITH SCORE 9632.43
AT ITER 6203 NEW BEST:: SOT 227328 SOS 135417 HAS SOPS 73108 HAS SOUS 17577 HAS SOUPS 9493 WITH SCORE 9628.417
AT ITER 6227 NEW BEST:: SOT 227473 SOS 135747 HAS SOPS 73215 HAS SOUS 17576 HAS SOUPS 9477 WITH SCORE 9612.747
AT ITER 6257 NEW BEST:: SOT 227193 SOS 135154 HAS SOPS 72996 HAS SOUS 17541 HAS SOUPS 9464 WITH SCORE 9599.154
AT ITER 6260 NEW BEST:: SOT 227247 SOS 135208 HAS SOPS 73020 HAS SOUS 17530 HAS SOUPS 9453 WITH SCORE 9588.208
AT ITER 6369 NEW BEST:: SOT 227265 SOS 135353 HAS SOPS 73030 HAS SOUS 17533 HAS SOUPS 9442 WITH SCORE 9577.353
AT ITER 6387 NEW BEST:: SOT 227126 SOS 134966 HAS SOPS 72695 HAS SOUS 17518 HAS SOUPS 9427 WITH SCORE 9561.966
AT ITER 6473 NEW BEST:: SOT 227126 SOS 134762 HAS SOPS 72678 HAS SOUS 17501 HAS SOUPS 9427 WITH SCORE 9561.762
AT ITER 6477 NEW BEST:: SOT 227126 SOS 134678 HAS SOPS 72671 HAS SOUS 17494 HAS SOUPS 9427 WITH SCORE 9561.678
AT ITER 6486 NEW BEST:: SOT 227124 SOS 134676 HAS SOPS 72671 HAS SOUS 17494 HAS SOUPS 9427 WITH SCORE 9561.676
AT ITER 6513 NEW BEST:: SOT 227121 SOS 134673 HAS SOPS 72668 HAS SOUS 17491 HAS SOUPS 9424 WITH SCORE 9558.673
AT ITER 6574 NEW BEST:: SOT 227123 SOS 134675 HAS SOPS 72668 HAS SOUS 17482 HAS SOUPS 9419 WITH SCORE 9553.675
AT ITER 6640 NEW BEST:: SOT 227099 SOS 134629 HAS SOPS 72632 HAS SOUS 17480 HAS SOUPS 9417 WITH SCORE 9551.629
AT ITER 6657 NEW BEST:: SOT 227089 SOS 134619 HAS SOPS 72631 HAS SOUS 17479 HAS SOUPS 9416 WITH SCORE 9550.619
AT ITER 6775 NEW BEST:: SOT 227076 SOS 134406 HAS SOPS 72605 HAS SOUS 17462 HAS SOUPS 9416 WITH SCORE 9550.406
AT ITER 6793 NEW BEST:: SOT 227062 SOS 134320 HAS SOPS 72567 HAS SOUS 17462 HAS SOUPS 9416 WITH SCORE 9550.32
AT ITER 6801 NEW BEST:: SOT 227006 SOS 134164 HAS SOPS 72479 HAS SOUS 17450 HAS SOUPS 9404 WITH SCORE 9538.164
AT ITER 6810 NEW BEST:: SOT 226999 SOS 134041 HAS SOPS 72389 HAS SOUS 17432 HAS SOUPS 9381 WITH SCORE 9515.041
AT ITER 6953 NEW BEST:: SOT 226963 SOS 133779 HAS SOPS 72127 HAS SOUS 17425 HAS SOUPS 9374 WITH SCORE 9507.779
AT ITER 6976 NEW BEST:: SOT 226978 SOS 133498 HAS SOPS 71945 HAS SOUS 17408 HAS SOUPS 9366 WITH SCORE 9499.498
AT ITER 7137 NEW BEST:: SOT 226965 SOS 133461 HAS SOPS 71913 HAS SOUS 17406 HAS SOUPS 9364 WITH SCORE 9497.461
AT ITER 7199 NEW BEST:: SOT 226915 SOS 133375 HAS SOPS 71851 HAS SOUS 17360 HAS SOUPS 9342 WITH SCORE 9475.375
AT ITER 7286 NEW BEST:: SOT 226903 SOS 133363 HAS SOPS 71851 HAS SOUS 17360 HAS SOUPS 9342 WITH SCORE 9475.363
AT ITER 7366 NEW BEST:: SOT 226892 SOS 133300 HAS SOPS 71836 HAS SOUS 17340 HAS SOUPS 9334 WITH SCORE 9467.3
AT ITER 7375 NEW BEST:: SOT 226902 SOS 133352 HAS SOPS 71840 HAS SOUS 17337 HAS SOUPS 9331 WITH SCORE 9464.352
AT ITER 7380 NEW BEST:: SOT 226901 SOS 133351 HAS SOPS 71840 HAS SOUS 17337 HAS SOUPS 9331 WITH SCORE 9464.351
AT ITER 7489 NEW BEST:: SOT 226886 SOS 133336 HAS SOPS 71840 HAS SOUS 17321 HAS SOUPS 9315 WITH SCORE 9448.336
AT ITER 7580 NEW BEST:: SOT 226886 SOS 133271 HAS SOPS 71830 HAS SOUS 17311 HAS SOUPS 9310 WITH SCORE 9443.271
AT ITER 7616 NEW BEST:: SOT 226888 SOS 133265 HAS SOPS 71830 HAS SOUS 17310 HAS SOUPS 9309 WITH SCORE 9442.265
AT ITER 7622 NEW BEST:: SOT 227068 SOS 133577 HAS SOPS 71934 HAS SOUS 17315 HAS SOUPS 9298 WITH SCORE 9431.577
AT ITER 7706 NEW BEST:: SOT 227068 SOS 133577 HAS SOPS 71934 HAS SOUS 17297 HAS SOUPS 9288 WITH SCORE 9421.577
AT ITER 7848 NEW BEST:: SOT 227048 SOS 133550 HAS SOPS 71921 HAS SOUS 17277 HAS SOUPS 9275 WITH SCORE 9408.55
AT ITER 7870 NEW BEST:: SOT 227025 SOS 133527 HAS SOPS 71921 HAS SOUS 17263 HAS SOUPS 9261 WITH SCORE 9394.527
AT ITER 7945 NEW BEST:: SOT 226957 SOS 133335 HAS SOPS 71808 HAS SOUS 17261 HAS SOUPS 9252 WITH SCORE 9385.335
AT ITER 7985 NEW BEST:: SOT 226897 SOS 133230 HAS SOPS 71768 HAS SOUS 17255 HAS SOUPS 9251 WITH SCORE 9384.23
AT ITER 7989 NEW BEST:: SOT 226899 SOS 133226 HAS SOPS 71770 HAS SOUS 17255 HAS SOUPS 9251 WITH SCORE 9384.226
AT ITER 7993 NEW BEST:: SOT 227031 SOS 133358 HAS SOPS 71842 HAS SOUS 17243 HAS SOUPS 9239 WITH SCORE 9372.358
AT ITER 8128 NEW BEST:: SOT 227018 SOS 133278 HAS SOPS 71834 HAS SOUS 17224 HAS SOUPS 9229 WITH SCORE 9362.278
AT ITER 8161 NEW BEST:: SOT 227015 SOS 133158 HAS SOPS 71786 HAS SOUS 17221 HAS SOUPS 9229 WITH SCORE 9362.158
AT ITER 8209 NEW BEST:: SOT 227015 SOS 133146 HAS SOPS 71785 HAS SOUS 17219 HAS SOUPS 9228 WITH SCORE 9361.146
AT ITER 8264 NEW BEST:: SOT 227013 SOS 133164 HAS SOPS 71759 HAS SOUS 17213 HAS SOUPS 9218 WITH SCORE 9351.164
AT ITER 8302 NEW BEST:: SOT 226811 SOS 132820 HAS SOPS 71505 HAS SOUS 17193 HAS SOUPS 9198 WITH SCORE 9330.82
AT ITER 8482 NEW BEST:: SOT 226803 SOS 132812 HAS SOPS 71505 HAS SOUS 17193 HAS SOUPS 9198 WITH SCORE 9330.812
AT ITER 8496 NEW BEST:: SOT 226803 SOS 132811 HAS SOPS 71504 HAS SOUS 17192 HAS SOUPS 9197 WITH SCORE 9329.811
AT ITER 8618 NEW BEST:: SOT 227046 SOS 133330 HAS SOPS 71683 HAS SOUS 17205 HAS SOUPS 9190 WITH SCORE 9323.33
AT ITER 8632 NEW BEST:: SOT 227042 SOS 133206 HAS SOPS 71625 HAS SOUS 17185 HAS SOUPS 9176 WITH SCORE 9309.206
AT ITER 8712 NEW BEST:: SOT 227046 SOS 133134 HAS SOPS 71575 HAS SOUS 17182 HAS SOUPS 9175 WITH SCORE 9308.134
AT ITER 8718 NEW BEST:: SOT 227121 SOS 133171 HAS SOPS 71612 HAS SOUS 17165 HAS SOUPS 9158 WITH SCORE 9291.171
AT ITER 8830 NEW BEST:: SOT 227120 SOS 133149 HAS SOPS 71590 HAS SOUS 17164 HAS SOUPS 9157 WITH SCORE 9290.149
AT ITER 8956 NEW BEST:: SOT 227109 SOS 133080 HAS SOPS 71534 HAS SOUS 17162 HAS SOUPS 9155 WITH SCORE 9288.08
AT ITER 9003 NEW BEST:: SOT 226927 SOS 132884 HAS SOPS 71422 HAS SOUS 17162 HAS SOUPS 9155 WITH SCORE 9287.884
AT ITER 9015 NEW BEST:: SOT 226921 SOS 132806 HAS SOPS 71344 HAS SOUS 17162 HAS SOUPS 9155 WITH SCORE 9287.806
AT ITER 9130 NEW BEST:: SOT 226919 SOS 132971 HAS SOPS 71509 HAS SOUS 17161 HAS SOUPS 9154 WITH SCORE 9286.971
AT ITER 9139 NEW BEST:: SOT 226911 SOS 132963 HAS SOPS 71509 HAS SOUS 17161 HAS SOUPS 9154 WITH SCORE 9286.963
AT ITER 9160 NEW BEST:: SOT 226727 SOS 132653 HAS SOPS 71286 HAS SOUS 17145 HAS SOUPS 9138 WITH SCORE 9270.653
AT ITER 9218 NEW BEST:: SOT 226727 SOS 132653 HAS SOPS 71286 HAS SOUS 17127 HAS SOUPS 9128 WITH SCORE 9260.653
AT ITER 9500 NEW BEST:: SOT 226724 SOS 132627 HAS SOPS 71228 HAS SOUS 17120 HAS SOUPS 9117 WITH SCORE 9249.627
AT ITER 9539 NEW BEST:: SOT 226724 SOS 132627 HAS SOPS 71228 HAS SOUS 17111 HAS SOUPS 9112 WITH SCORE 9244.627
AT ITER 9544 NEW BEST:: SOT 226724 SOS 132627 HAS SOPS 71228 HAS SOUS 17109 HAS SOUPS 9110 WITH SCORE 9242.627
AT ITER 9572 NEW BEST:: SOT 226676 SOS 132531 HAS SOPS 71152 HAS SOUS 17105 HAS SOUPS 9106 WITH SCORE 9238.531
AT ITER 9840 NEW BEST:: SOT 226680 SOS 132461 HAS SOPS 71130 HAS SOUS 17102 HAS SOUPS 9105 WITH SCORE 9237.461
AT ITER 9962 NEW BEST:: SOT 226680 SOS 132461 HAS SOPS 71130 HAS SOUS 17100 HAS SOUPS 9103 WITH SCORE 9235.461
STATE_SPACE STATES 240100000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 41489280000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10538820 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122976 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="DLCround-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-07a, 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-167814484500688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-07a.tgz
mv DLCround-PT-07a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;