Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696900472.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 63K 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 1678789932427

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=BusinessProcesses-PT-03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:32:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:32:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:32:14] [INFO ] Load time of PNML (sax parser for PT used): 43 ms
[2023-03-14 10:32:14] [INFO ] Transformed 274 places.
[2023-03-14 10:32:14] [INFO ] Transformed 237 transitions.
[2023-03-14 10:32:14] [INFO ] Found NUPN structural information;
[2023-03-14 10:32:14] [INFO ] Parsed PT model containing 274 places and 237 transitions and 632 arcs in 118 ms.
[2023-03-14 10:32:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 274 places, 237 transitions and 632 arcs took 4 ms.
Total runtime 152 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 03
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: 274 places, 237 transitions, 632 arcs.
AT ITER 0 NEW BEST:: SOT 42126 SOS 18114 HAS SOPS 18114 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.114
AT ITER 6 NEW BEST:: SOT 42195 SOS 18167 HAS SOPS 18167 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17254.167
AT ITER 7 NEW BEST:: SOT 42173 SOS 18146 HAS SOPS 18146 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17233.146
AT ITER 13 NEW BEST:: SOT 42152 SOS 18125 HAS SOPS 18125 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17231.125
AT ITER 23 NEW BEST:: SOT 42152 SOS 18125 HAS SOPS 18125 HAS SOUS 17211 HAS SOUPS 17211 WITH SCORE 17229.125
AT ITER 28 NEW BEST:: SOT 42086 SOS 18059 HAS SOPS 18059 HAS SOUS 17145 HAS SOUPS 17145 WITH SCORE 17163.059
AT ITER 30 NEW BEST:: SOT 42086 SOS 18012 HAS SOPS 18012 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17116.012
AT ITER 34 NEW BEST:: SOT 42069 SOS 17986 HAS SOPS 17986 HAS SOUS 17072 HAS SOUPS 17072 WITH SCORE 17089.986
AT ITER 36 NEW BEST:: SOT 42069 SOS 17886 HAS SOPS 17886 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17045.886
AT ITER 48 NEW BEST:: SOT 42009 SOS 17850 HAS SOPS 17850 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17009.85
AT ITER 51 NEW BEST:: SOT 41961 SOS 17731 HAS SOPS 17731 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16890.731
AT ITER 53 NEW BEST:: SOT 41961 SOS 17722 HAS SOPS 17722 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16890.722
AT ITER 58 NEW BEST:: SOT 41935 SOS 17670 HAS SOPS 17670 HAS SOUS 16863 HAS SOUPS 16863 WITH SCORE 16880.67
AT ITER 61 NEW BEST:: SOT 41934 SOS 17668 HAS SOPS 17668 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16878.668
AT ITER 62 NEW BEST:: SOT 41866 SOS 17529 HAS SOPS 17529 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16875.529
AT ITER 71 NEW BEST:: SOT 41883 SOS 17486 HAS SOPS 17486 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16836.486
AT ITER 74 NEW BEST:: SOT 41817 SOS 17276 HAS SOPS 17276 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16725.276
AT ITER 75 NEW BEST:: SOT 41723 SOS 17174 HAS SOPS 17174 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16623.174
AT ITER 79 NEW BEST:: SOT 40566 SOS 16080 HAS SOPS 16080 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15468.08
AT ITER 85 NEW BEST:: SOT 40553 SOS 16055 HAS SOPS 16055 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15443.055
AT ITER 91 NEW BEST:: SOT 40553 SOS 16039 HAS SOPS 16039 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15435.039
AT ITER 97 NEW BEST:: SOT 40489 SOS 15937 HAS SOPS 15937 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15378.937
AT ITER 100 NEW BEST:: SOT 40484 SOS 15932 HAS SOPS 15932 HAS SOUS 15358 HAS SOUPS 15358 WITH SCORE 15373.932
AT ITER 109 NEW BEST:: SOT 40408 SOS 15830 HAS SOPS 15830 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15271.83
AT ITER 142 NEW BEST:: SOT 40365 SOS 15787 HAS SOPS 15787 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15228.787
AT ITER 143 NEW BEST:: SOT 40351 SOS 15733 HAS SOPS 15733 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15226.733
AT ITER 150 NEW BEST:: SOT 40311 SOS 15731 HAS SOPS 15731 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15218.731
AT ITER 174 NEW BEST:: SOT 40306 SOS 15710 HAS SOPS 15710 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15197.71
AT ITER 179 NEW BEST:: SOT 40342 SOS 15742 HAS SOPS 15742 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15192.742
AT ITER 180 NEW BEST:: SOT 40342 SOS 15719 HAS SOPS 15719 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15169.719
AT ITER 182 NEW BEST:: SOT 40314 SOS 15706 HAS SOPS 15706 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15141.706
AT ITER 184 NEW BEST:: SOT 40312 SOS 15704 HAS SOPS 15704 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15139.704
AT ITER 186 NEW BEST:: SOT 40275 SOS 15643 HAS SOPS 15643 HAS SOUS 15087 HAS SOUPS 15087 WITH SCORE 15102.643
AT ITER 201 NEW BEST:: SOT 40271 SOS 15635 HAS SOPS 15635 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15094.635
AT ITER 205 NEW BEST:: SOT 40275 SOS 15623 HAS SOPS 15623 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15082.623
AT ITER 206 NEW BEST:: SOT 40238 SOS 15586 HAS SOPS 15586 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15082.586
AT ITER 208 NEW BEST:: SOT 40255 SOS 15474 HAS SOPS 15474 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14871.474
AT ITER 219 NEW BEST:: SOT 40195 SOS 15414 HAS SOPS 15414 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14811.414
AT ITER 223 NEW BEST:: SOT 40180 SOS 15365 HAS SOPS 15365 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14777.365
AT ITER 225 NEW BEST:: SOT 40178 SOS 15363 HAS SOPS 15363 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14775.363
AT ITER 226 NEW BEST:: SOT 40178 SOS 15340 HAS SOPS 15340 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14743.34
AT ITER 231 NEW BEST:: SOT 40187 SOS 15349 HAS SOPS 15349 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14726.349
AT ITER 232 NEW BEST:: SOT 40116 SOS 15218 HAS SOPS 15218 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14595.218
AT ITER 233 NEW BEST:: SOT 40035 SOS 15055 HAS SOPS 15055 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14435.055
AT ITER 235 NEW BEST:: SOT 40030 SOS 15045 HAS SOPS 15045 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14425.045
AT ITER 248 NEW BEST:: SOT 40029 SOS 15036 HAS SOPS 15036 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14416.036
AT ITER 250 NEW BEST:: SOT 40012 SOS 15020 HAS SOPS 15020 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14400.02
AT ITER 255 NEW BEST:: SOT 40032 SOS 14990 HAS SOPS 14990 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14349.99
AT ITER 258 NEW BEST:: SOT 39995 SOS 14983 HAS SOPS 14983 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14342.983
AT ITER 260 NEW BEST:: SOT 40087 SOS 14950 HAS SOPS 14950 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14322.95
AT ITER 262 NEW BEST:: SOT 40087 SOS 14939 HAS SOPS 14939 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14319.939
AT ITER 267 NEW BEST:: SOT 40080 SOS 14925 HAS SOPS 14925 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14305.925
AT ITER 268 NEW BEST:: SOT 40094 SOS 14916 HAS SOPS 14916 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14296.916
AT ITER 287 NEW BEST:: SOT 40027 SOS 14849 HAS SOPS 14849 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14229.849
AT ITER 290 NEW BEST:: SOT 40003 SOS 14824 HAS SOPS 14824 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14204.824
AT ITER 295 NEW BEST:: SOT 39981 SOS 14795 HAS SOPS 14795 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14175.795
AT ITER 297 NEW BEST:: SOT 39980 SOS 14784 HAS SOPS 14784 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14164.784
AT ITER 298 NEW BEST:: SOT 39980 SOS 14783 HAS SOPS 14783 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14164.783
AT ITER 304 NEW BEST:: SOT 39970 SOS 14773 HAS SOPS 14773 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14154.773
AT ITER 305 NEW BEST:: SOT 39702 SOS 17612 HAS SOPS 17612 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14136.612
AT ITER 311 NEW BEST:: SOT 39636 SOS 17588 HAS SOPS 17588 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14112.588
AT ITER 314 NEW BEST:: SOT 39631 SOS 17582 HAS SOPS 17582 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14110.582
AT ITER 317 NEW BEST:: SOT 39589 SOS 17498 HAS SOPS 17498 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14084.498
AT ITER 330 NEW BEST:: SOT 39589 SOS 17481 HAS SOPS 17481 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14067.481
AT ITER 339 NEW BEST:: SOT 39640 SOS 17472 HAS SOPS 17472 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14058.472
AT ITER 342 NEW BEST:: SOT 39713 SOS 17542 HAS SOPS 17542 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14052.542
AT ITER 343 NEW BEST:: SOT 39713 SOS 17506 HAS SOPS 17506 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14045.506
AT ITER 347 NEW BEST:: SOT 39722 SOS 17499 HAS SOPS 17499 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14038.499
AT ITER 348 NEW BEST:: SOT 39714 SOS 17487 HAS SOPS 17487 HAS SOUS 14009 HAS SOUPS 14009 WITH SCORE 14026.487
AT ITER 349 NEW BEST:: SOT 39640 SOS 17339 HAS SOPS 17339 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13952.339
AT ITER 351 NEW BEST:: SOT 39598 SOS 17193 HAS SOPS 17193 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13839.193
AT ITER 377 NEW BEST:: SOT 39638 SOS 17203 HAS SOPS 17203 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13791.203
AT ITER 384 NEW BEST:: SOT 39638 SOS 17186 HAS SOPS 17186 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13791.186
AT ITER 392 NEW BEST:: SOT 39638 SOS 17163 HAS SOPS 17163 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13786.163
AT ITER 405 NEW BEST:: SOT 39627 SOS 17165 HAS SOPS 17165 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13718.165
AT ITER 409 NEW BEST:: SOT 39562 SOS 17035 HAS SOPS 17035 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13560.035
AT ITER 411 NEW BEST:: SOT 39511 SOS 17008 HAS SOPS 17008 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13477.008
AT ITER 425 NEW BEST:: SOT 39511 SOS 16881 HAS SOPS 16881 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13465.881
AT ITER 453 NEW BEST:: SOT 39511 SOS 16853 HAS SOPS 16853 HAS SOUS 13393 HAS SOUPS 13393 WITH SCORE 13409.853
AT ITER 461 NEW BEST:: SOT 39450 SOS 16788 HAS SOPS 16788 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13371.788
AT ITER 469 NEW BEST:: SOT 39426 SOS 16576 HAS SOPS 16576 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13232.576
AT ITER 477 NEW BEST:: SOT 39420 SOS 16570 HAS SOPS 16570 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13226.57
AT ITER 480 NEW BEST:: SOT 39402 SOS 16538 HAS SOPS 16538 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13216.538
AT ITER 481 NEW BEST:: SOT 39395 SOS 16531 HAS SOPS 16531 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13209.531
AT ITER 484 NEW BEST:: SOT 39410 SOS 16522 HAS SOPS 16522 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13200.522
AT ITER 490 NEW BEST:: SOT 39402 SOS 16498 HAS SOPS 16498 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13178.498
AT ITER 499 NEW BEST:: SOT 39418 SOS 16486 HAS SOPS 16486 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13166.486
AT ITER 508 NEW BEST:: SOT 39325 SOS 16393 HAS SOPS 16393 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13166.393
AT ITER 515 NEW BEST:: SOT 39291 SOS 16287 HAS SOPS 16287 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13120.287
AT ITER 521 NEW BEST:: SOT 39206 SOS 16153 HAS SOPS 16153 HAS SOUS 12999 HAS SOUPS 12999 WITH SCORE 13015.153
AT ITER 526 NEW BEST:: SOT 39202 SOS 16145 HAS SOPS 16145 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13007.145
AT ITER 527 NEW BEST:: SOT 39100 SOS 16048 HAS SOPS 16048 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12911.048
AT ITER 530 NEW BEST:: SOT 39088 SOS 16042 HAS SOPS 16042 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12905.042
AT ITER 531 NEW BEST:: SOT 39088 SOS 16016 HAS SOPS 16016 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12905.016
AT ITER 532 NEW BEST:: SOT 39088 SOS 15967 HAS SOPS 15967 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12861.967
AT ITER 538 NEW BEST:: SOT 39146 SOS 15889 HAS SOPS 15889 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12783.889
AT ITER 540 NEW BEST:: SOT 39114 SOS 15784 HAS SOPS 15784 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12678.784
AT ITER 549 NEW BEST:: SOT 39058 SOS 15728 HAS SOPS 15728 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12678.728
AT ITER 562 NEW BEST:: SOT 38971 SOS 15715 HAS SOPS 15715 HAS SOUS 12650 HAS SOUPS 12650 WITH SCORE 12665.715
AT ITER 569 NEW BEST:: SOT 39012 SOS 15755 HAS SOPS 15755 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12663.755
AT ITER 577 NEW BEST:: SOT 39012 SOS 15737 HAS SOPS 15737 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12663.737
AT ITER 582 NEW BEST:: SOT 39007 SOS 15727 HAS SOPS 15727 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12653.727
AT ITER 590 NEW BEST:: SOT 38994 SOS 15714 HAS SOPS 15714 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12647.714
AT ITER 591 NEW BEST:: SOT 39006 SOS 15738 HAS SOPS 15738 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12631.738
AT ITER 592 NEW BEST:: SOT 39006 SOS 15722 HAS SOPS 15722 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12615.722
AT ITER 599 NEW BEST:: SOT 38981 SOS 15697 HAS SOPS 15697 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12590.697
AT ITER 608 NEW BEST:: SOT 38981 SOS 15697 HAS SOPS 15697 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12574.697
AT ITER 615 NEW BEST:: SOT 38996 SOS 15589 HAS SOPS 15589 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12533.589
AT ITER 627 NEW BEST:: SOT 38996 SOS 15556 HAS SOPS 15556 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12500.556
AT ITER 631 NEW BEST:: SOT 38976 SOS 15536 HAS SOPS 15536 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12480.536
AT ITER 636 NEW BEST:: SOT 38972 SOS 15532 HAS SOPS 15532 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12476.532
AT ITER 645 NEW BEST:: SOT 38940 SOS 15468 HAS SOPS 15468 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12412.468
AT ITER 646 NEW BEST:: SOT 38939 SOS 15429 HAS SOPS 15429 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12411.429
AT ITER 684 NEW BEST:: SOT 38938 SOS 15427 HAS SOPS 15427 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12409.427
AT ITER 692 NEW BEST:: SOT 38868 SOS 15352 HAS SOPS 15352 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12407.352
AT ITER 711 NEW BEST:: SOT 38833 SOS 15247 HAS SOPS 15247 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12314.247
AT ITER 716 NEW BEST:: SOT 38792 SOS 15235 HAS SOPS 15235 HAS SOUS 12236 HAS SOUPS 12236 WITH SCORE 12251.235
AT ITER 733 NEW BEST:: SOT 38827 SOS 15259 HAS SOPS 15259 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12229.259
AT ITER 735 NEW BEST:: SOT 38827 SOS 15255 HAS SOPS 15255 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12229.255
AT ITER 754 NEW BEST:: SOT 38773 SOS 15198 HAS SOPS 15198 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12172.198
AT ITER 759 NEW BEST:: SOT 38747 SOS 15159 HAS SOPS 15159 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12146.159
AT ITER 772 NEW BEST:: SOT 38672 SOS 15021 HAS SOPS 15021 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12064.021
AT ITER 774 NEW BEST:: SOT 38602 SOS 14889 HAS SOPS 14889 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11860.889
AT ITER 784 NEW BEST:: SOT 38595 SOS 14878 HAS SOPS 14878 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11849.878
AT ITER 794 NEW BEST:: SOT 38596 SOS 14854 HAS SOPS 14854 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11825.854
AT ITER 795 NEW BEST:: SOT 38590 SOS 14848 HAS SOPS 14848 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11825.848
AT ITER 818 NEW BEST:: SOT 38579 SOS 14843 HAS SOPS 14843 HAS SOUS 11806 HAS SOUPS 11806 WITH SCORE 11820.843
AT ITER 829 NEW BEST:: SOT 38578 SOS 14842 HAS SOPS 14842 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11819.842
AT ITER 835 NEW BEST:: SOT 38576 SOS 14841 HAS SOPS 14841 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11818.841
AT ITER 842 NEW BEST:: SOT 38564 SOS 14829 HAS SOPS 14829 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11806.829
AT ITER 852 NEW BEST:: SOT 38473 SOS 14708 HAS SOPS 14708 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11746.708
AT ITER 882 NEW BEST:: SOT 38473 SOS 14708 HAS SOPS 14708 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11745.708
AT ITER 889 NEW BEST:: SOT 38442 SOS 14665 HAS SOPS 14665 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11702.665
AT ITER 890 NEW BEST:: SOT 38426 SOS 14645 HAS SOPS 14645 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11682.645
AT ITER 894 NEW BEST:: SOT 38451 SOS 14630 HAS SOPS 14630 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11675.63
AT ITER 897 NEW BEST:: SOT 38445 SOS 14624 HAS SOPS 14624 HAS SOUS 11649 HAS SOUPS 11649 WITH SCORE 11663.624
AT ITER 904 NEW BEST:: SOT 38435 SOS 14614 HAS SOPS 14614 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11653.614
AT ITER 905 NEW BEST:: SOT 38409 SOS 14561 HAS SOPS 14561 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11600.561
AT ITER 929 NEW BEST:: SOT 38376 SOS 14528 HAS SOPS 14528 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11600.528
AT ITER 939 NEW BEST:: SOT 38238 SOS 14331 HAS SOPS 14331 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11482.331
AT ITER 943 NEW BEST:: SOT 38236 SOS 14327 HAS SOPS 14327 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11481.327
AT ITER 954 NEW BEST:: SOT 38239 SOS 14324 HAS SOPS 14324 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11469.324
AT ITER 965 NEW BEST:: SOT 38236 SOS 14315 HAS SOPS 14315 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11466.315
AT ITER 986 NEW BEST:: SOT 38223 SOS 14289 HAS SOPS 14289 HAS SOUS 11426 HAS SOUPS 11426 WITH SCORE 11440.289
AT ITER 990 NEW BEST:: SOT 38085 SOS 14103 HAS SOPS 14103 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11433.103
AT ITER 997 NEW BEST:: SOT 38081 SOS 14099 HAS SOPS 14099 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11429.099
AT ITER 1000 NEW BEST:: SOT 38124 SOS 14169 HAS SOPS 14169 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11427.169
AT ITER 1026 NEW BEST:: SOT 38070 SOS 14148 HAS SOPS 14148 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11406.148
AT ITER 1048 NEW BEST:: SOT 38124 SOS 14202 HAS SOPS 14202 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11403.202
AT ITER 1050 NEW BEST:: SOT 38108 SOS 14100 HAS SOPS 14100 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11301.1
AT ITER 1054 NEW BEST:: SOT 38121 SOS 14109 HAS SOPS 14109 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11293.109
AT ITER 1055 NEW BEST:: SOT 38121 SOS 14106 HAS SOPS 14106 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11293.106
AT ITER 1059 NEW BEST:: SOT 38100 SOS 14063 HAS SOPS 14063 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11250.063
AT ITER 1060 NEW BEST:: SOT 38090 SOS 14045 HAS SOPS 14045 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11232.045
AT ITER 1070 NEW BEST:: SOT 37966 SOS 13849 HAS SOPS 13849 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11198.849
AT ITER 1085 NEW BEST:: SOT 37901 SOS 13797 HAS SOPS 13797 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11173.797
AT ITER 1093 NEW BEST:: SOT 37901 SOS 13765 HAS SOPS 13765 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11109.765
AT ITER 1109 NEW BEST:: SOT 37909 SOS 13781 HAS SOPS 13781 HAS SOUS 11093 HAS SOUPS 11093 WITH SCORE 11106.781
AT ITER 1111 NEW BEST:: SOT 37906 SOS 13773 HAS SOPS 13773 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11098.773
AT ITER 1116 NEW BEST:: SOT 37893 SOS 13766 HAS SOPS 13766 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11091.766
AT ITER 1127 NEW BEST:: SOT 37890 SOS 13754 HAS SOPS 13754 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11079.754
AT ITER 1147 NEW BEST:: SOT 37880 SOS 13734 HAS SOPS 13734 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11051.734
AT ITER 1150 NEW BEST:: SOT 37869 SOS 13722 HAS SOPS 13722 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11049.722
AT ITER 1153 NEW BEST:: SOT 37866 SOS 13716 HAS SOPS 13716 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11024.716
AT ITER 1158 NEW BEST:: SOT 37855 SOS 13705 HAS SOPS 13705 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11013.705
AT ITER 1162 NEW BEST:: SOT 37857 SOS 13701 HAS SOPS 13701 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11009.701
AT ITER 1186 NEW BEST:: SOT 37855 SOS 13697 HAS SOPS 13697 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11005.697
AT ITER 1189 NEW BEST:: SOT 37855 SOS 13697 HAS SOPS 13697 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10989.697
AT ITER 1209 NEW BEST:: SOT 37784 SOS 13626 HAS SOPS 13626 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10918.626
AT ITER 1232 NEW BEST:: SOT 37766 SOS 13585 HAS SOPS 13585 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10877.585
AT ITER 1244 NEW BEST:: SOT 37755 SOS 13572 HAS SOPS 13572 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10870.572
AT ITER 1258 NEW BEST:: SOT 37749 SOS 13560 HAS SOPS 13560 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10852.56
AT ITER 1266 NEW BEST:: SOT 37731 SOS 13542 HAS SOPS 13542 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10834.542
AT ITER 1270 NEW BEST:: SOT 37723 SOS 13487 HAS SOPS 13487 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10829.487
AT ITER 1274 NEW BEST:: SOT 37745 SOS 13501 HAS SOPS 13501 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10826.501
AT ITER 1275 NEW BEST:: SOT 37724 SOS 13479 HAS SOPS 13479 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10822.479
AT ITER 1305 NEW BEST:: SOT 37797 SOS 13552 HAS SOPS 13552 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10809.552
AT ITER 1332 NEW BEST:: SOT 37751 SOS 13500 HAS SOPS 13500 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10797.5
AT ITER 1340 NEW BEST:: SOT 37713 SOS 13425 HAS SOPS 13425 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10760.425
AT ITER 1355 NEW BEST:: SOT 37812 SOS 13524 HAS SOPS 13524 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10750.524
AT ITER 1357 NEW BEST:: SOT 37781 SOS 13509 HAS SOPS 13509 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10735.509
AT ITER 1371 NEW BEST:: SOT 37760 SOS 13509 HAS SOPS 13509 HAS SOUS 10712 HAS SOUPS 10712 WITH SCORE 10725.509
AT ITER 1392 NEW BEST:: SOT 37751 SOS 13500 HAS SOPS 13500 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10716.5
AT ITER 1402 NEW BEST:: SOT 37706 SOS 13412 HAS SOPS 13412 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10647.412
AT ITER 1414 NEW BEST:: SOT 37633 SOS 13263 HAS SOPS 13263 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10570.263
AT ITER 1417 NEW BEST:: SOT 37636 SOS 13269 HAS SOPS 13269 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10552.269
AT ITER 1434 NEW BEST:: SOT 37593 SOS 13226 HAS SOPS 13226 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10509.226
AT ITER 1442 NEW BEST:: SOT 37593 SOS 13225 HAS SOPS 13225 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10508.225
AT ITER 1475 NEW BEST:: SOT 37587 SOS 13213 HAS SOPS 13213 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10496.213
AT ITER 1489 NEW BEST:: SOT 37576 SOS 13186 HAS SOPS 13186 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10469.186
AT ITER 1503 NEW BEST:: SOT 37567 SOS 13186 HAS SOPS 13186 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10467.186
AT ITER 1520 NEW BEST:: SOT 37582 SOS 13154 HAS SOPS 13154 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10435.154
AT ITER 1537 NEW BEST:: SOT 37576 SOS 13143 HAS SOPS 13143 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10424.143
AT ITER 1542 NEW BEST:: SOT 37649 SOS 13138 HAS SOPS 13138 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10419.138
AT ITER 1556 NEW BEST:: SOT 37667 SOS 13174 HAS SOPS 13174 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10400.174
AT ITER 1558 NEW BEST:: SOT 37664 SOS 13168 HAS SOPS 13168 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10394.168
AT ITER 1562 NEW BEST:: SOT 37655 SOS 13159 HAS SOPS 13159 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10376.159
AT ITER 1563 NEW BEST:: SOT 37647 SOS 13151 HAS SOPS 13151 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10368.151
AT ITER 1565 NEW BEST:: SOT 37657 SOS 13137 HAS SOPS 13137 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10354.137
AT ITER 1595 NEW BEST:: SOT 37647 SOS 13133 HAS SOPS 13133 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10350.133
AT ITER 1603 NEW BEST:: SOT 37669 SOS 13149 HAS SOPS 13149 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10346.149
AT ITER 1604 NEW BEST:: SOT 37669 SOS 13147 HAS SOPS 13147 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10344.147
AT ITER 1607 NEW BEST:: SOT 37669 SOS 13135 HAS SOPS 13135 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10332.135
AT ITER 1620 NEW BEST:: SOT 37665 SOS 13127 HAS SOPS 13127 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10324.127
AT ITER 1633 NEW BEST:: SOT 37661 SOS 13119 HAS SOPS 13119 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10316.119
AT ITER 1710 NEW BEST:: SOT 37631 SOS 13060 HAS SOPS 13060 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10257.06
AT ITER 1720 NEW BEST:: SOT 37631 SOS 13048 HAS SOPS 13048 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10257.048
AT ITER 1722 NEW BEST:: SOT 37623 SOS 12971 HAS SOPS 12971 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10144.971
AT ITER 1758 NEW BEST:: SOT 37623 SOS 12965 HAS SOPS 12965 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10138.965
AT ITER 1781 NEW BEST:: SOT 37557 SOS 12880 HAS SOPS 12880 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10098.88
AT ITER 1788 NEW BEST:: SOT 37552 SOS 12875 HAS SOPS 12875 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10093.875
AT ITER 1795 NEW BEST:: SOT 37543 SOS 12866 HAS SOPS 12866 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10084.866
AT ITER 1798 NEW BEST:: SOT 37512 SOS 12827 HAS SOPS 12827 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10084.827
AT ITER 1800 NEW BEST:: SOT 37508 SOS 12819 HAS SOPS 12819 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10076.819
AT ITER 1808 NEW BEST:: SOT 37505 SOS 12816 HAS SOPS 12816 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10076.816
AT ITER 1815 NEW BEST:: SOT 37505 SOS 12816 HAS SOPS 12816 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10071.816
AT ITER 1832 NEW BEST:: SOT 37455 SOS 12752 HAS SOPS 12752 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10012.752
AT ITER 1837 NEW BEST:: SOT 37454 SOS 12750 HAS SOPS 12750 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10009.75
AT ITER 1841 NEW BEST:: SOT 37441 SOS 12732 HAS SOPS 12732 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9999.732
AT ITER 1855 NEW BEST:: SOT 37418 SOS 12714 HAS SOPS 12714 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9981.714
AT ITER 1860 NEW BEST:: SOT 37418 SOS 12680 HAS SOPS 12680 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9947.68
AT ITER 1863 NEW BEST:: SOT 37374 SOS 12654 HAS SOPS 12654 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9921.654
AT ITER 1879 NEW BEST:: SOT 37364 SOS 12634 HAS SOPS 12634 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9901.634
AT ITER 1902 NEW BEST:: SOT 37363 SOS 12599 HAS SOPS 12599 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9880.599
AT ITER 1909 NEW BEST:: SOT 37363 SOS 12592 HAS SOPS 12592 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9873.592
AT ITER 1923 NEW BEST:: SOT 37393 SOS 12562 HAS SOPS 12562 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9873.562
AT ITER 1931 NEW BEST:: SOT 37381 SOS 12550 HAS SOPS 12550 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9873.55
AT ITER 1961 NEW BEST:: SOT 37381 SOS 12548 HAS SOPS 12548 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9871.548
AT ITER 1976 NEW BEST:: SOT 37370 SOS 12535 HAS SOPS 12535 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9858.535
AT ITER 1984 NEW BEST:: SOT 37346 SOS 12529 HAS SOPS 12529 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9852.529
AT ITER 1998 NEW BEST:: SOT 37298 SOS 12427 HAS SOPS 12427 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9750.427
AT ITER 2005 NEW BEST:: SOT 37294 SOS 12419 HAS SOPS 12419 HAS SOUS 9730 HAS SOUPS 9730 WITH SCORE 9742.419
AT ITER 2017 NEW BEST:: SOT 37297 SOS 12401 HAS SOPS 12401 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9700.401
AT ITER 2021 NEW BEST:: SOT 37313 SOS 12414 HAS SOPS 12414 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9694.414
AT ITER 2048 NEW BEST:: SOT 37244 SOS 12309 HAS SOPS 12309 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9575.309
AT ITER 2054 NEW BEST:: SOT 37243 SOS 12308 HAS SOPS 12308 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9574.308
AT ITER 2071 NEW BEST:: SOT 37207 SOS 12304 HAS SOPS 12304 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9570.304
AT ITER 2111 NEW BEST:: SOT 37226 SOS 12291 HAS SOPS 12291 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9557.291
AT ITER 2129 NEW BEST:: SOT 37224 SOS 12285 HAS SOPS 12285 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9553.285
AT ITER 2130 NEW BEST:: SOT 37220 SOS 12281 HAS SOPS 12281 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9553.281
AT ITER 2147 NEW BEST:: SOT 37222 SOS 12128 HAS SOPS 12128 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9480.128
AT ITER 2155 NEW BEST:: SOT 37222 SOS 12102 HAS SOPS 12102 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9454.102
AT ITER 2187 NEW BEST:: SOT 37356 SOS 12216 HAS SOPS 12216 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9447.216
AT ITER 2195 NEW BEST:: SOT 37423 SOS 12287 HAS SOPS 12287 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9431.287
AT ITER 2205 NEW BEST:: SOT 37415 SOS 12271 HAS SOPS 12271 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9415.271
AT ITER 2211 NEW BEST:: SOT 37411 SOS 12267 HAS SOPS 12267 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9411.267
AT ITER 2219 NEW BEST:: SOT 37397 SOS 12239 HAS SOPS 12239 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9383.239
AT ITER 2229 NEW BEST:: SOT 37384 SOS 12226 HAS SOPS 12226 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9376.226
AT ITER 2245 NEW BEST:: SOT 37381 SOS 12220 HAS SOPS 12220 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9359.22
AT ITER 2249 NEW BEST:: SOT 37392 SOS 12210 HAS SOPS 12210 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9349.21
AT ITER 2334 NEW BEST:: SOT 37392 SOS 12208 HAS SOPS 12208 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9347.208
AT ITER 2357 NEW BEST:: SOT 37392 SOS 12207 HAS SOPS 12207 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9346.207
AT ITER 2372 NEW BEST:: SOT 37329 SOS 12144 HAS SOPS 12144 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9258.144
AT ITER 2380 NEW BEST:: SOT 37311 SOS 12138 HAS SOPS 12138 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9252.138
AT ITER 2384 NEW BEST:: SOT 37265 SOS 12087 HAS SOPS 12087 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.087
AT ITER 2409 NEW BEST:: SOT 37252 SOS 12074 HAS SOPS 12074 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9195.074
AT ITER 2440 NEW BEST:: SOT 37232 SOS 12038 HAS SOPS 12038 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9169.038
AT ITER 2466 NEW BEST:: SOT 37224 SOS 12022 HAS SOPS 12022 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9153.022
AT ITER 2470 NEW BEST:: SOT 37177 SOS 12012 HAS SOPS 12012 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9143.012
AT ITER 2479 NEW BEST:: SOT 37176 SOS 12009 HAS SOPS 12009 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9140.009
AT ITER 2493 NEW BEST:: SOT 37156 SOS 11990 HAS SOPS 11990 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9120.99
AT ITER 2538 NEW BEST:: SOT 37170 SOS 11583 HAS SOPS 11583 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9119.583
AT ITER 2542 NEW BEST:: SOT 37162 SOS 11575 HAS SOPS 11575 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9111.575
AT ITER 2552 NEW BEST:: SOT 37161 SOS 11574 HAS SOPS 11574 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9110.574
AT ITER 2562 NEW BEST:: SOT 37159 SOS 11570 HAS SOPS 11570 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9106.57
AT ITER 2579 NEW BEST:: SOT 37154 SOS 11564 HAS SOPS 11564 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9100.564
AT ITER 2586 NEW BEST:: SOT 37122 SOS 11515 HAS SOPS 11515 HAS SOUS 9068 HAS SOUPS 9068 WITH SCORE 9079.515
AT ITER 2588 NEW BEST:: SOT 37119 SOS 11512 HAS SOPS 11512 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9073.512
AT ITER 2597 NEW BEST:: SOT 37108 SOS 11501 HAS SOPS 11501 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9062.501
AT ITER 2629 NEW BEST:: SOT 37108 SOS 11489 HAS SOPS 11489 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9062.489
AT ITER 2645 NEW BEST:: SOT 37108 SOS 11485 HAS SOPS 11485 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9058.485
AT ITER 2699 NEW BEST:: SOT 37098 SOS 11465 HAS SOPS 11465 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9028.465
AT ITER 2703 NEW BEST:: SOT 37099 SOS 11449 HAS SOPS 11449 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9012.449
AT ITER 2717 NEW BEST:: SOT 37115 SOS 11431 HAS SOPS 11431 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8994.431
AT ITER 2734 NEW BEST:: SOT 37107 SOS 11429 HAS SOPS 11429 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8992.429
AT ITER 2745 NEW BEST:: SOT 37101 SOS 11423 HAS SOPS 11423 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8986.423
AT ITER 2754 NEW BEST:: SOT 37084 SOS 11406 HAS SOPS 11406 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8969.406
AT ITER 2762 NEW BEST:: SOT 37116 SOS 11382 HAS SOPS 11382 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8945.382
AT ITER 2766 NEW BEST:: SOT 37116 SOS 11380 HAS SOPS 11380 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8941.38
AT ITER 2796 NEW BEST:: SOT 37109 SOS 11365 HAS SOPS 11365 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8926.365
AT ITER 2804 NEW BEST:: SOT 37096 SOS 11353 HAS SOPS 11353 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8914.353
AT ITER 2816 NEW BEST:: SOT 37080 SOS 11335 HAS SOPS 11335 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8912.335
AT ITER 2862 NEW BEST:: SOT 37070 SOS 11325 HAS SOPS 11325 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8902.325
AT ITER 2863 NEW BEST:: SOT 37069 SOS 11324 HAS SOPS 11324 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8901.324
AT ITER 2881 NEW BEST:: SOT 37056 SOS 11307 HAS SOPS 11307 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8884.307
AT ITER 2886 NEW BEST:: SOT 37020 SOS 11252 HAS SOPS 11252 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8857.252
AT ITER 2921 NEW BEST:: SOT 37017 SOS 11246 HAS SOPS 11246 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8848.246
AT ITER 2950 NEW BEST:: SOT 37009 SOS 11245 HAS SOPS 11245 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8847.245
AT ITER 2977 NEW BEST:: SOT 37009 SOS 11230 HAS SOPS 11230 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8832.23
AT ITER 3067 NEW BEST:: SOT 37024 SOS 11212 HAS SOPS 11212 HAS SOUS 8803 HAS SOUPS 8803 WITH SCORE 8814.212
AT ITER 3093 NEW BEST:: SOT 37032 SOS 11199 HAS SOPS 11199 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8775.199
AT ITER 3125 NEW BEST:: SOT 37027 SOS 11194 HAS SOPS 11194 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8770.194
AT ITER 3128 NEW BEST:: SOT 37030 SOS 11197 HAS SOPS 11197 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8769.197
AT ITER 3151 NEW BEST:: SOT 37023 SOS 11190 HAS SOPS 11190 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8762.19
AT ITER 3160 NEW BEST:: SOT 37031 SOS 11137 HAS SOPS 11137 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8709.137
AT ITER 3162 NEW BEST:: SOT 37038 SOS 11123 HAS SOPS 11123 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8648.123
AT ITER 3196 NEW BEST:: SOT 37036 SOS 11118 HAS SOPS 11118 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8643.118
AT ITER 3198 NEW BEST:: SOT 37036 SOS 11114 HAS SOPS 11114 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8639.114
AT ITER 3213 NEW BEST:: SOT 37034 SOS 11112 HAS SOPS 11112 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8635.112
AT ITER 3216 NEW BEST:: SOT 37021 SOS 11060 HAS SOPS 11060 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8583.06
AT ITER 3220 NEW BEST:: SOT 37021 SOS 11058 HAS SOPS 11058 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8581.058
AT ITER 3234 NEW BEST:: SOT 37011 SOS 11038 HAS SOPS 11038 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8561.038
AT ITER 3263 NEW BEST:: SOT 37008 SOS 11042 HAS SOPS 11042 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8548.042
AT ITER 3296 NEW BEST:: SOT 37007 SOS 11037 HAS SOPS 11037 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8547.037
AT ITER 3300 NEW BEST:: SOT 37007 SOS 11031 HAS SOPS 11031 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8547.031
AT ITER 3303 NEW BEST:: SOT 37000 SOS 11017 HAS SOPS 11017 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8533.017
AT ITER 3329 NEW BEST:: SOT 37032 SOS 11035 HAS SOPS 11035 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8528.035
AT ITER 3348 NEW BEST:: SOT 37018 SOS 11024 HAS SOPS 11024 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8517.024
AT ITER 3351 NEW BEST:: SOT 37023 SOS 10989 HAS SOPS 10989 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8505.989
AT ITER 3358 NEW BEST:: SOT 37017 SOS 10977 HAS SOPS 10977 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8493.977
AT ITER 3359 NEW BEST:: SOT 37017 SOS 10970 HAS SOPS 10970 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8486.97
AT ITER 3395 NEW BEST:: SOT 37017 SOS 10965 HAS SOPS 10965 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8481.965
AT ITER 3450 NEW BEST:: SOT 37025 SOS 10950 HAS SOPS 10950 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8428.95
AT ITER 3469 NEW BEST:: SOT 37030 SOS 10942 HAS SOPS 10942 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8420.942
AT ITER 3546 NEW BEST:: SOT 37030 SOS 10933 HAS SOPS 10933 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8417.933
AT ITER 3548 NEW BEST:: SOT 37019 SOS 10911 HAS SOPS 10911 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8395.911
AT ITER 3574 NEW BEST:: SOT 37013 SOS 10902 HAS SOPS 10902 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8389.902
AT ITER 3629 NEW BEST:: SOT 37007 SOS 10890 HAS SOPS 10890 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8383.89
AT ITER 3665 NEW BEST:: SOT 36999 SOS 10882 HAS SOPS 10882 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8375.882
AT ITER 3674 NEW BEST:: SOT 36991 SOS 10856 HAS SOPS 10856 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.856
AT ITER 3752 NEW BEST:: SOT 36976 SOS 10841 HAS SOPS 10841 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.841
AT ITER 3764 NEW BEST:: SOT 36970 SOS 10829 HAS SOPS 10829 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.829
AT ITER 3823 NEW BEST:: SOT 36961 SOS 10840 HAS SOPS 10840 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8343.84
AT ITER 3899 NEW BEST:: SOT 36978 SOS 10857 HAS SOPS 10857 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8330.857
AT ITER 3909 NEW BEST:: SOT 36973 SOS 10852 HAS SOPS 10852 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8330.852
AT ITER 3940 NEW BEST:: SOT 36972 SOS 10850 HAS SOPS 10850 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8329.85
AT ITER 3943 NEW BEST:: SOT 36969 SOS 10844 HAS SOPS 10844 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8329.844
AT ITER 3980 NEW BEST:: SOT 36960 SOS 10826 HAS SOPS 10826 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8306.826
AT ITER 4045 NEW BEST:: SOT 36956 SOS 10822 HAS SOPS 10822 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8302.822
AT ITER 4050 NEW BEST:: SOT 36956 SOS 10822 HAS SOPS 10822 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8298.822
AT ITER 4052 NEW BEST:: SOT 36961 SOS 10811 HAS SOPS 10811 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8287.811
AT ITER 4090 NEW BEST:: SOT 36993 SOS 10821 HAS SOPS 10821 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8277.821
AT ITER 4145 NEW BEST:: SOT 36997 SOS 10817 HAS SOPS 10817 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8273.817
AT ITER 4162 NEW BEST:: SOT 36997 SOS 10814 HAS SOPS 10814 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8270.814
AT ITER 4169 NEW BEST:: SOT 36995 SOS 10810 HAS SOPS 10810 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8266.81
AT ITER 4196 NEW BEST:: SOT 36973 SOS 10798 HAS SOPS 10798 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8254.798
AT ITER 4296 NEW BEST:: SOT 36973 SOS 10798 HAS SOPS 10798 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8251.798
AT ITER 4301 NEW BEST:: SOT 36972 SOS 10797 HAS SOPS 10797 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8250.797
AT ITER 4328 NEW BEST:: SOT 36972 SOS 10792 HAS SOPS 10792 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8245.792
AT ITER 4422 NEW BEST:: SOT 36971 SOS 10790 HAS SOPS 10790 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8243.79
AT ITER 4472 NEW BEST:: SOT 36938 SOS 10724 HAS SOPS 10724 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8220.724
AT ITER 4501 NEW BEST:: SOT 36883 SOS 10643 HAS SOPS 10643 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8165.643
AT ITER 4517 NEW BEST:: SOT 36884 SOS 10639 HAS SOPS 10639 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8161.639
AT ITER 4528 NEW BEST:: SOT 36881 SOS 10632 HAS SOPS 10632 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8154.632
AT ITER 4540 NEW BEST:: SOT 36865 SOS 10625 HAS SOPS 10625 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8147.625
AT ITER 4542 NEW BEST:: SOT 36861 SOS 10621 HAS SOPS 10621 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8143.621
AT ITER 4626 NEW BEST:: SOT 36862 SOS 10619 HAS SOPS 10619 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8141.619
AT ITER 4630 NEW BEST:: SOT 36860 SOS 10615 HAS SOPS 10615 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8137.615
AT ITER 4649 NEW BEST:: SOT 36866 SOS 10611 HAS SOPS 10611 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8133.611
AT ITER 4696 NEW BEST:: SOT 36865 SOS 10609 HAS SOPS 10609 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8131.609
AT ITER 4819 NEW BEST:: SOT 36871 SOS 10599 HAS SOPS 10599 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8121.599
AT ITER 4823 NEW BEST:: SOT 36871 SOS 10598 HAS SOPS 10598 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8120.598
AT ITER 4946 NEW BEST:: SOT 36876 SOS 10590 HAS SOPS 10590 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8112.59
AT ITER 4952 NEW BEST:: SOT 36873 SOS 10584 HAS SOPS 10584 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8106.584
AT ITER 5029 NEW BEST:: SOT 36872 SOS 10583 HAS SOPS 10583 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8106.583
AT ITER 5038 NEW BEST:: SOT 36895 SOS 10587 HAS SOPS 10587 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8104.587
AT ITER 5060 NEW BEST:: SOT 36951 SOS 10551 HAS SOPS 10551 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8068.551
AT ITER 5097 NEW BEST:: SOT 36951 SOS 10549 HAS SOPS 10549 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8064.549
AT ITER 5108 NEW BEST:: SOT 36947 SOS 10543 HAS SOPS 10543 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8058.543
AT ITER 5119 NEW BEST:: SOT 36943 SOS 10535 HAS SOPS 10535 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8054.535
AT ITER 5121 NEW BEST:: SOT 36936 SOS 10529 HAS SOPS 10529 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8048.529
AT ITER 5149 NEW BEST:: SOT 36964 SOS 10505 HAS SOPS 10505 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8024.505
AT ITER 5163 NEW BEST:: SOT 36971 SOS 10509 HAS SOPS 10509 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8018.509
AT ITER 5178 NEW BEST:: SOT 36961 SOS 10502 HAS SOPS 10502 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8011.502
AT ITER 5332 NEW BEST:: SOT 36946 SOS 10500 HAS SOPS 10500 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.5
AT ITER 5346 NEW BEST:: SOT 36969 SOS 10523 HAS SOPS 10523 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8003.523
AT ITER 5452 NEW BEST:: SOT 36965 SOS 10519 HAS SOPS 10519 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7999.519
AT ITER 5463 NEW BEST:: SOT 36964 SOS 10517 HAS SOPS 10517 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7995.517
AT ITER 5489 NEW BEST:: SOT 36979 SOS 10512 HAS SOPS 10512 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7990.512
AT ITER 5585 NEW BEST:: SOT 36972 SOS 10672 HAS SOPS 10672 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7988.672
AT ITER 5597 NEW BEST:: SOT 36971 SOS 10670 HAS SOPS 10670 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7986.67
AT ITER 5602 NEW BEST:: SOT 36969 SOS 10668 HAS SOPS 10668 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7984.668
AT ITER 5674 NEW BEST:: SOT 36968 SOS 10667 HAS SOPS 10667 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7983.667
AT ITER 5676 NEW BEST:: SOT 36960 SOS 10651 HAS SOPS 10651 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7967.651
AT ITER 5694 NEW BEST:: SOT 36960 SOS 10655 HAS SOPS 10655 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.655
AT ITER 5707 NEW BEST:: SOT 36960 SOS 10597 HAS SOPS 10597 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.597
AT ITER 5768 NEW BEST:: SOT 36956 SOS 10593 HAS SOPS 10593 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.593
AT ITER 5778 NEW BEST:: SOT 36957 SOS 10590 HAS SOPS 10590 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7961.59
AT ITER 5779 NEW BEST:: SOT 36957 SOS 10587 HAS SOPS 10587 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7958.587
AT ITER 5835 NEW BEST:: SOT 36959 SOS 10591 HAS SOPS 10591 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7954.591
AT ITER 5867 NEW BEST:: SOT 36956 SOS 10588 HAS SOPS 10588 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7951.588
AT ITER 5882 NEW BEST:: SOT 36955 SOS 10586 HAS SOPS 10586 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7949.586
AT ITER 5954 NEW BEST:: SOT 36949 SOS 10582 HAS SOPS 10582 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7945.582
AT ITER 6054 NEW BEST:: SOT 36944 SOS 10580 HAS SOPS 10580 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7943.58
AT ITER 6060 NEW BEST:: SOT 36942 SOS 10576 HAS SOPS 10576 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7939.576
AT ITER 6066 NEW BEST:: SOT 36942 SOS 10567 HAS SOPS 10567 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7930.567
AT ITER 6081 NEW BEST:: SOT 36960 SOS 10548 HAS SOPS 10548 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7911.548
AT ITER 6095 NEW BEST:: SOT 36956 SOS 10547 HAS SOPS 10547 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7910.547
AT ITER 6139 NEW BEST:: SOT 36952 SOS 10543 HAS SOPS 10543 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7906.543
AT ITER 6153 NEW BEST:: SOT 36953 SOS 10538 HAS SOPS 10538 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7906.538
AT ITER 6174 NEW BEST:: SOT 36953 SOS 10530 HAS SOPS 10530 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7898.53
AT ITER 6180 NEW BEST:: SOT 36953 SOS 10530 HAS SOPS 10530 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7895.53
AT ITER 6283 NEW BEST:: SOT 36953 SOS 10497 HAS SOPS 10497 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7883.497
AT ITER 6316 NEW BEST:: SOT 36950 SOS 10494 HAS SOPS 10494 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7880.494
AT ITER 6334 NEW BEST:: SOT 36955 SOS 10496 HAS SOPS 10496 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7878.496
AT ITER 6375 NEW BEST:: SOT 36941 SOS 10468 HAS SOPS 10468 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7850.468
AT ITER 6386 NEW BEST:: SOT 36942 SOS 10470 HAS SOPS 10470 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7848.47
AT ITER 6415 NEW BEST:: SOT 36936 SOS 10446 HAS SOPS 10446 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7839.446
AT ITER 6436 NEW BEST:: SOT 36901 SOS 10407 HAS SOPS 10407 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7807.407
AT ITER 6547 NEW BEST:: SOT 36834 SOS 10381 HAS SOPS 10381 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7781.381
AT ITER 6616 NEW BEST:: SOT 36833 SOS 10379 HAS SOPS 10379 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7779.379
AT ITER 6650 NEW BEST:: SOT 36830 SOS 10376 HAS SOPS 10376 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7776.376
AT ITER 6674 NEW BEST:: SOT 36829 SOS 10374 HAS SOPS 10374 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7775.374
AT ITER 6715 NEW BEST:: SOT 36828 SOS 10372 HAS SOPS 10372 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7773.372
AT ITER 6761 NEW BEST:: SOT 36827 SOS 10370 HAS SOPS 10370 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7771.37
AT ITER 6770 NEW BEST:: SOT 36827 SOS 10345 HAS SOPS 10345 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7746.345
AT ITER 6802 NEW BEST:: SOT 36827 SOS 10345 HAS SOPS 10345 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7745.345
AT ITER 6806 NEW BEST:: SOT 36809 SOS 10318 HAS SOPS 10318 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7727.318
AT ITER 6852 NEW BEST:: SOT 36821 SOS 10325 HAS SOPS 10325 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7725.325
AT ITER 6971 NEW BEST:: SOT 36817 SOS 10311 HAS SOPS 10311 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7721.311
AT ITER 6972 NEW BEST:: SOT 36816 SOS 10309 HAS SOPS 10309 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7719.309
AT ITER 7076 NEW BEST:: SOT 36814 SOS 10305 HAS SOPS 10305 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7715.305
AT ITER 7077 NEW BEST:: SOT 36814 SOS 10313 HAS SOPS 10313 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7712.313
AT ITER 7225 NEW BEST:: SOT 36812 SOS 10309 HAS SOPS 10309 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7708.309
AT ITER 7490 NEW BEST:: SOT 36787 SOS 10289 HAS SOPS 10289 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7694.289
AT ITER 7518 NEW BEST:: SOT 36783 SOS 10287 HAS SOPS 10287 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7692.287
AT ITER 7543 NEW BEST:: SOT 36775 SOS 10275 HAS SOPS 10275 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7684.275
AT ITER 7568 NEW BEST:: SOT 36773 SOS 10273 HAS SOPS 10273 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7682.273
AT ITER 7604 NEW BEST:: SOT 36762 SOS 10251 HAS SOPS 10251 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7680.251
AT ITER 7649 NEW BEST:: SOT 36761 SOS 10245 HAS SOPS 10245 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7674.245
AT ITER 7719 NEW BEST:: SOT 36746 SOS 10215 HAS SOPS 10215 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7658.215
AT ITER 7777 NEW BEST:: SOT 36761 SOS 10211 HAS SOPS 10211 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7654.211
AT ITER 7794 NEW BEST:: SOT 36755 SOS 10199 HAS SOPS 10199 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7642.199
AT ITER 7847 NEW BEST:: SOT 36754 SOS 10197 HAS SOPS 10197 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7640.197
AT ITER 7929 NEW BEST:: SOT 36754 SOS 10197 HAS SOPS 10197 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7637.197
AT ITER 7997 NEW BEST:: SOT 36731 SOS 10174 HAS SOPS 10174 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7614.174
AT ITER 8076 NEW BEST:: SOT 36731 SOS 10171 HAS SOPS 10171 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7611.171
AT ITER 8219 NEW BEST:: SOT 36724 SOS 10157 HAS SOPS 10157 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7608.157
AT ITER 8280 NEW BEST:: SOT 36718 SOS 10151 HAS SOPS 10151 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7602.151
AT ITER 8336 NEW BEST:: SOT 36714 SOS 10143 HAS SOPS 10143 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7594.143
AT ITER 8434 NEW BEST:: SOT 36713 SOS 10141 HAS SOPS 10141 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7592.141
AT ITER 8506 NEW BEST:: SOT 36708 SOS 10131 HAS SOPS 10131 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7582.131
AT ITER 8546 NEW BEST:: SOT 36705 SOS 10128 HAS SOPS 10128 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7579.128
AT ITER 8582 NEW BEST:: SOT 36698 SOS 10115 HAS SOPS 10115 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7566.115
AT ITER 8599 NEW BEST:: SOT 36698 SOS 10095 HAS SOPS 10095 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7546.095
AT ITER 8670 NEW BEST:: SOT 36695 SOS 10093 HAS SOPS 10093 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7543.093
AT ITER 8671 NEW BEST:: SOT 36666 SOS 10075 HAS SOPS 10075 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7525.075
AT ITER 8690 NEW BEST:: SOT 36646 SOS 10342 HAS SOPS 10342 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7520.342
AT ITER 8725 NEW BEST:: SOT 36638 SOS 10341 HAS SOPS 10341 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7504.341
AT ITER 8764 NEW BEST:: SOT 36636 SOS 10339 HAS SOPS 10339 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7502.339
AT ITER 8782 NEW BEST:: SOT 36636 SOS 10336 HAS SOPS 10336 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7499.336
AT ITER 8880 NEW BEST:: SOT 36639 SOS 10252 HAS SOPS 10252 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7498.252
AT ITER 8963 NEW BEST:: SOT 36635 SOS 10244 HAS SOPS 10244 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7494.244
AT ITER 9033 NEW BEST:: SOT 36633 SOS 10239 HAS SOPS 10239 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7489.239
AT ITER 9083 NEW BEST:: SOT 36632 SOS 10237 HAS SOPS 10237 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7487.237
AT ITER 9114 NEW BEST:: SOT 36632 SOS 10231 HAS SOPS 10231 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7484.231
AT ITER 9133 NEW BEST:: SOT 36634 SOS 10227 HAS SOPS 10227 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7480.227
AT ITER 9378 NEW BEST:: SOT 36623 SOS 10216 HAS SOPS 10216 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7469.216
AT ITER 9391 NEW BEST:: SOT 36623 SOS 10215 HAS SOPS 10215 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7468.215
AT ITER 9418 NEW BEST:: SOT 36620 SOS 10213 HAS SOPS 10213 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7466.213
AT ITER 9536 NEW BEST:: SOT 36639 SOS 10211 HAS SOPS 10211 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7464.211
AT ITER 9954 NEW BEST:: SOT 36637 SOS 10202 HAS SOPS 10202 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7455.202
STATE_SPACE STATES 14794040839043 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 31 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 258219153985267 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678790057436

--------------------
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

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="BusinessProcesses-PT-03"
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 BusinessProcesses-PT-03, 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 r043-tajo-167813696900472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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