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.r267-smll-167863542000568.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 Peterson-COL-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.1K Feb 25 22:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 22:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 22:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 22:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 22:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 22:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 22:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:23 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 1678929336665

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=Peterson-COL-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 01:15:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 01:15:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 01:15:39] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-16 01:15:40] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-16 01:15:40] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1155 ms
[2023-03-16 01:15:40] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 256 PT places and 396.0 transition bindings in 35 ms.
[2023-03-16 01:15:40] [INFO ] Unfolded HLPN to a Petri net with 256 places and 356 transitions 1112 arcs in 58 ms.
[2023-03-16 01:15:40] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-16 01:15:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 256 places, 356 transitions and 1112 arcs took 13 ms.
Total runtime 1469 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (COL), instance 3
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: 256 places, 356 transitions, 1112 arcs.
AT ITER 0 NEW BEST:: SOT 63468 SOS 27779 HAS SOPS 23864 HAS SOUS 23909 HAS SOUPS 22835 WITH SCORE 22862.779
AT ITER 3 NEW BEST:: SOT 63456 SOS 27755 HAS SOPS 23840 HAS SOUS 23903 HAS SOUPS 22811 WITH SCORE 22838.755
AT ITER 7 NEW BEST:: SOT 63370 SOS 27537 HAS SOPS 23834 HAS SOUS 23835 HAS SOUPS 22801 WITH SCORE 22828.537
AT ITER 9 NEW BEST:: SOT 63362 SOS 27538 HAS SOPS 23835 HAS SOUS 23827 HAS SOUPS 22793 WITH SCORE 22820.538
AT ITER 10 NEW BEST:: SOT 63262 SOS 27460 HAS SOPS 23735 HAS SOUS 23749 HAS SOUPS 22693 WITH SCORE 22720.46
AT ITER 13 NEW BEST:: SOT 63262 SOS 27424 HAS SOPS 23699 HAS SOUS 23731 HAS SOUPS 22675 WITH SCORE 22702.424
AT ITER 15 NEW BEST:: SOT 62855 SOS 26999 HAS SOPS 23269 HAS SOUS 23299 HAS SOUPS 22245 WITH SCORE 22271.999
AT ITER 18 NEW BEST:: SOT 62795 SOS 26879 HAS SOPS 23149 HAS SOUS 23179 HAS SOUPS 22125 WITH SCORE 22151.879
AT ITER 25 NEW BEST:: SOT 62774 SOS 26837 HAS SOPS 23107 HAS SOUS 23137 HAS SOUPS 22083 WITH SCORE 22109.837
AT ITER 29 NEW BEST:: SOT 62320 SOS 26241 HAS SOPS 23062 HAS SOUS 22437 HAS SOUPS 21515 WITH SCORE 21541.241
AT ITER 45 NEW BEST:: SOT 62270 SOS 26153 HAS SOPS 23012 HAS SOUS 22387 HAS SOUPS 21465 WITH SCORE 21491.153
AT ITER 48 NEW BEST:: SOT 62206 SOS 26025 HAS SOPS 22884 HAS SOUS 22259 HAS SOUPS 21337 WITH SCORE 21363.025
AT ITER 50 NEW BEST:: SOT 61922 SOS 25808 HAS SOPS 22718 HAS SOUS 22032 HAS SOUPS 21171 WITH SCORE 21196.808
AT ITER 53 NEW BEST:: SOT 61896 SOS 25775 HAS SOPS 22691 HAS SOUS 21988 HAS SOUPS 21127 WITH SCORE 21152.775
AT ITER 56 NEW BEST:: SOT 61762 SOS 25585 HAS SOPS 22514 HAS SOUS 21811 HAS SOUPS 20950 WITH SCORE 20975.585
AT ITER 58 NEW BEST:: SOT 61694 SOS 25555 HAS SOPS 22448 HAS SOUS 21815 HAS SOUPS 20884 WITH SCORE 20909.555
AT ITER 61 NEW BEST:: SOT 61576 SOS 25401 HAS SOPS 22321 HAS SOUS 21688 HAS SOUPS 20757 WITH SCORE 20782.401
AT ITER 62 NEW BEST:: SOT 61576 SOS 25383 HAS SOPS 22321 HAS SOUS 21670 HAS SOUPS 20757 WITH SCORE 20782.383
AT ITER 72 NEW BEST:: SOT 61014 SOS 26042 HAS SOPS 23262 HAS SOUS 21566 HAS SOUPS 20702 WITH SCORE 20728.042
AT ITER 73 NEW BEST:: SOT 61019 SOS 26039 HAS SOPS 23272 HAS SOUS 21559 HAS SOUPS 20695 WITH SCORE 20721.039
AT ITER 74 NEW BEST:: SOT 61016 SOS 26033 HAS SOPS 23266 HAS SOUS 21553 HAS SOUPS 20689 WITH SCORE 20715.033
AT ITER 81 NEW BEST:: SOT 60967 SOS 25919 HAS SOPS 23152 HAS SOUS 21454 HAS SOUPS 20590 WITH SCORE 20615.919
AT ITER 86 NEW BEST:: SOT 60932 SOS 25969 HAS SOPS 23202 HAS SOUS 21424 HAS SOUPS 20560 WITH SCORE 20585.969
AT ITER 88 NEW BEST:: SOT 60934 SOS 25964 HAS SOPS 23197 HAS SOUS 21419 HAS SOUPS 20555 WITH SCORE 20580.964
AT ITER 95 NEW BEST:: SOT 60975 SOS 25317 HAS SOPS 22439 HAS SOUS 21355 HAS SOUPS 20491 WITH SCORE 20516.317
AT ITER 106 NEW BEST:: SOT 60970 SOS 25312 HAS SOPS 22429 HAS SOUS 21345 HAS SOUPS 20481 WITH SCORE 20506.312
AT ITER 109 NEW BEST:: SOT 60964 SOS 25291 HAS SOPS 22408 HAS SOUS 21324 HAS SOUPS 20460 WITH SCORE 20485.291
AT ITER 110 NEW BEST:: SOT 60969 SOS 25331 HAS SOPS 22368 HAS SOUS 21319 HAS SOUPS 20420 WITH SCORE 20445.331
AT ITER 115 NEW BEST:: SOT 60993 SOS 25345 HAS SOPS 22350 HAS SOUS 21279 HAS SOUPS 20402 WITH SCORE 20427.345
AT ITER 121 NEW BEST:: SOT 60638 SOS 24819 HAS SOPS 21993 HAS SOUS 21046 HAS SOUPS 20222 WITH SCORE 20246.819
AT ITER 127 NEW BEST:: SOT 60113 SOS 24381 HAS SOPS 21570 HAS SOUS 20606 HAS SOUPS 19799 WITH SCORE 19823.381
AT ITER 134 NEW BEST:: SOT 60113 SOS 24363 HAS SOPS 21561 HAS SOUS 20597 HAS SOUPS 19790 WITH SCORE 19814.363
AT ITER 142 NEW BEST:: SOT 60124 SOS 24502 HAS SOPS 21558 HAS SOUS 20608 HAS SOUPS 19787 WITH SCORE 19811.502
AT ITER 144 NEW BEST:: SOT 59513 SOS 23977 HAS SOPS 20938 HAS SOUS 20165 HAS SOUPS 19167 WITH SCORE 19190.977
AT ITER 149 NEW BEST:: SOT 59431 SOS 23908 HAS SOPS 20876 HAS SOUS 20103 HAS SOUPS 19105 WITH SCORE 19128.908
AT ITER 152 NEW BEST:: SOT 59200 SOS 23716 HAS SOPS 20684 HAS SOUS 19843 HAS SOUPS 18845 WITH SCORE 18868.716
AT ITER 162 NEW BEST:: SOT 59185 SOS 23687 HAS SOPS 20668 HAS SOUS 19814 HAS SOUPS 18829 WITH SCORE 18852.687
AT ITER 174 NEW BEST:: SOT 59178 SOS 23680 HAS SOPS 20654 HAS SOUS 19800 HAS SOUPS 18815 WITH SCORE 18838.68
AT ITER 189 NEW BEST:: SOT 59168 SOS 23684 HAS SOPS 20667 HAS SOUS 19789 HAS SOUPS 18804 WITH SCORE 18827.684
AT ITER 201 NEW BEST:: SOT 59104 SOS 23767 HAS SOPS 20731 HAS SOUS 19661 HAS SOUPS 18676 WITH SCORE 18699.767
AT ITER 214 NEW BEST:: SOT 59086 SOS 23730 HAS SOPS 20695 HAS SOUS 19629 HAS SOUPS 18644 WITH SCORE 18667.73
AT ITER 217 NEW BEST:: SOT 59079 SOS 23709 HAS SOPS 20681 HAS SOUS 19615 HAS SOUPS 18630 WITH SCORE 18653.709
AT ITER 226 NEW BEST:: SOT 59107 SOS 23717 HAS SOPS 20722 HAS SOUS 19564 HAS SOUPS 18593 WITH SCORE 18616.717
AT ITER 227 NEW BEST:: SOT 59080 SOS 23671 HAS SOPS 20676 HAS SOUS 19529 HAS SOUPS 18558 WITH SCORE 18581.671
AT ITER 230 NEW BEST:: SOT 59082 SOS 23677 HAS SOPS 20676 HAS SOUS 19527 HAS SOUPS 18556 WITH SCORE 18579.677
AT ITER 235 NEW BEST:: SOT 59043 SOS 23638 HAS SOPS 20598 HAS SOUS 19449 HAS SOUPS 18478 WITH SCORE 18501.638
AT ITER 237 NEW BEST:: SOT 59031 SOS 23334 HAS SOPS 20364 HAS SOUS 19425 HAS SOUPS 18454 WITH SCORE 18477.334
AT ITER 241 NEW BEST:: SOT 59005 SOS 23282 HAS SOPS 20312 HAS SOUS 19373 HAS SOUPS 18402 WITH SCORE 18425.282
AT ITER 243 NEW BEST:: SOT 59005 SOS 23271 HAS SOPS 20312 HAS SOUS 19373 HAS SOUPS 18402 WITH SCORE 18425.271
AT ITER 244 NEW BEST:: SOT 58663 SOS 22967 HAS SOPS 20008 HAS SOUS 19069 HAS SOUPS 18098 WITH SCORE 18120.967
AT ITER 246 NEW BEST:: SOT 58616 SOS 22996 HAS SOPS 20055 HAS SOUS 19035 HAS SOUPS 18064 WITH SCORE 18086.996
AT ITER 255 NEW BEST:: SOT 58475 SOS 22811 HAS SOPS 19909 HAS SOUS 18822 HAS SOUPS 17884 WITH SCORE 17906.811
AT ITER 270 NEW BEST:: SOT 58475 SOS 22802 HAS SOPS 19900 HAS SOUS 18813 HAS SOUPS 17875 WITH SCORE 17897.802
AT ITER 288 NEW BEST:: SOT 58471 SOS 22794 HAS SOPS 19892 HAS SOUS 18809 HAS SOUPS 17871 WITH SCORE 17893.794
AT ITER 291 NEW BEST:: SOT 58405 SOS 22672 HAS SOPS 19862 HAS SOUS 18687 HAS SOUPS 17841 WITH SCORE 17863.672
AT ITER 295 NEW BEST:: SOT 58405 SOS 22669 HAS SOPS 19859 HAS SOUS 18684 HAS SOUPS 17838 WITH SCORE 17860.669
AT ITER 298 NEW BEST:: SOT 58412 SOS 22676 HAS SOPS 19852 HAS SOUS 18696 HAS SOUPS 17831 WITH SCORE 17853.676
AT ITER 303 NEW BEST:: SOT 58438 SOS 22690 HAS SOPS 19795 HAS SOUS 18665 HAS SOUPS 17793 WITH SCORE 17815.69
AT ITER 316 NEW BEST:: SOT 58464 SOS 22710 HAS SOPS 19815 HAS SOUS 18659 HAS SOUPS 17787 WITH SCORE 17809.71
AT ITER 326 NEW BEST:: SOT 58464 SOS 22716 HAS SOPS 19809 HAS SOUS 18659 HAS SOUPS 17781 WITH SCORE 17803.716
AT ITER 334 NEW BEST:: SOT 58388 SOS 22694 HAS SOPS 19711 HAS SOUS 18595 HAS SOUPS 17683 WITH SCORE 17705.694
AT ITER 335 NEW BEST:: SOT 58388 SOS 22691 HAS SOPS 19711 HAS SOUS 18595 HAS SOUPS 17683 WITH SCORE 17705.691
AT ITER 338 NEW BEST:: SOT 58368 SOS 22651 HAS SOPS 19671 HAS SOUS 18555 HAS SOUPS 17643 WITH SCORE 17665.651
AT ITER 339 NEW BEST:: SOT 58368 SOS 22537 HAS SOPS 19557 HAS SOUS 18555 HAS SOUPS 17643 WITH SCORE 17665.537
AT ITER 349 NEW BEST:: SOT 58366 SOS 22492 HAS SOPS 19553 HAS SOUS 18533 HAS SOUPS 17639 WITH SCORE 17661.492
AT ITER 356 NEW BEST:: SOT 58352 SOS 22464 HAS SOPS 19525 HAS SOUS 18505 HAS SOUPS 17611 WITH SCORE 17633.464
AT ITER 357 NEW BEST:: SOT 58313 SOS 22251 HAS SOPS 19330 HAS SOUS 18427 HAS SOUPS 17533 WITH SCORE 17555.251
AT ITER 370 NEW BEST:: SOT 58309 SOS 22247 HAS SOPS 19322 HAS SOUS 18423 HAS SOUPS 17525 WITH SCORE 17547.247
AT ITER 371 NEW BEST:: SOT 58305 SOS 22243 HAS SOPS 19314 HAS SOUS 18415 HAS SOUPS 17517 WITH SCORE 17539.243
AT ITER 372 NEW BEST:: SOT 58302 SOS 22237 HAS SOPS 19308 HAS SOUS 18409 HAS SOUPS 17511 WITH SCORE 17533.237
AT ITER 387 NEW BEST:: SOT 58298 SOS 22242 HAS SOPS 19313 HAS SOUS 18405 HAS SOUPS 17507 WITH SCORE 17529.242
AT ITER 394 NEW BEST:: SOT 58293 SOS 22227 HAS SOPS 19303 HAS SOUS 18395 HAS SOUPS 17497 WITH SCORE 17519.227
AT ITER 405 NEW BEST:: SOT 58211 SOS 22179 HAS SOPS 19232 HAS SOUS 18333 HAS SOUPS 17426 WITH SCORE 17448.179
AT ITER 407 NEW BEST:: SOT 58211 SOS 22179 HAS SOPS 19214 HAS SOUS 18333 HAS SOUPS 17408 WITH SCORE 17430.179
AT ITER 422 NEW BEST:: SOT 58165 SOS 22146 HAS SOPS 19122 HAS SOUS 18204 HAS SOUPS 17279 WITH SCORE 17301.146
AT ITER 436 NEW BEST:: SOT 58102 SOS 22113 HAS SOPS 19155 HAS SOUS 18185 HAS SOUPS 17260 WITH SCORE 17282.113
AT ITER 443 NEW BEST:: SOT 58099 SOS 22105 HAS SOPS 19149 HAS SOUS 18179 HAS SOUPS 17254 WITH SCORE 17276.105
AT ITER 448 NEW BEST:: SOT 58082 SOS 22147 HAS SOPS 19174 HAS SOUS 18181 HAS SOUPS 17239 WITH SCORE 17261.147
AT ITER 450 NEW BEST:: SOT 58116 SOS 22739 HAS SOPS 19118 HAS SOUS 18215 HAS SOUPS 17192 WITH SCORE 17214.739
AT ITER 455 NEW BEST:: SOT 58075 SOS 22703 HAS SOPS 19116 HAS SOUS 18213 HAS SOUPS 17190 WITH SCORE 17212.703
AT ITER 469 NEW BEST:: SOT 57960 SOS 22608 HAS SOPS 19021 HAS SOUS 18118 HAS SOUPS 17095 WITH SCORE 17117.608
AT ITER 470 NEW BEST:: SOT 57952 SOS 22588 HAS SOPS 18997 HAS SOUS 18114 HAS SOUPS 17087 WITH SCORE 17109.588
AT ITER 473 NEW BEST:: SOT 57666 SOS 22346 HAS SOPS 18884 HAS SOUS 17892 HAS SOUPS 16974 WITH SCORE 16996.346
AT ITER 479 NEW BEST:: SOT 57651 SOS 22231 HAS SOPS 18779 HAS SOUS 17862 HAS SOUPS 16944 WITH SCORE 16966.231
AT ITER 480 NEW BEST:: SOT 57642 SOS 22207 HAS SOPS 18750 HAS SOUS 17850 HAS SOUPS 16932 WITH SCORE 16954.207
AT ITER 484 NEW BEST:: SOT 57663 SOS 22249 HAS SOPS 18746 HAS SOUS 17886 HAS SOUPS 16928 WITH SCORE 16950.249
AT ITER 488 NEW BEST:: SOT 57595 SOS 22148 HAS SOPS 18683 HAS SOUS 17823 HAS SOUPS 16865 WITH SCORE 16887.148
AT ITER 493 NEW BEST:: SOT 57583 SOS 22090 HAS SOPS 18659 HAS SOUS 17799 HAS SOUPS 16841 WITH SCORE 16863.09
AT ITER 495 NEW BEST:: SOT 57510 SOS 22296 HAS SOPS 18777 HAS SOUS 17712 HAS SOUPS 16754 WITH SCORE 16776.296
AT ITER 502 NEW BEST:: SOT 57510 SOS 22274 HAS SOPS 18777 HAS SOUS 17712 HAS SOUPS 16754 WITH SCORE 16776.274
AT ITER 507 NEW BEST:: SOT 57507 SOS 22268 HAS SOPS 18771 HAS SOUS 17706 HAS SOUPS 16748 WITH SCORE 16770.268
AT ITER 508 NEW BEST:: SOT 57465 SOS 22211 HAS SOPS 18714 HAS SOUS 17649 HAS SOUPS 16691 WITH SCORE 16713.211
AT ITER 511 NEW BEST:: SOT 57392 SOS 22035 HAS SOPS 18719 HAS SOUS 17584 HAS SOUPS 16673 WITH SCORE 16695.035
AT ITER 519 NEW BEST:: SOT 57302 SOS 21864 HAS SOPS 18604 HAS SOUS 17469 HAS SOUPS 16558 WITH SCORE 16579.864
AT ITER 525 NEW BEST:: SOT 57265 SOS 21836 HAS SOPS 18530 HAS SOUS 17400 HAS SOUPS 16484 WITH SCORE 16505.836
AT ITER 528 NEW BEST:: SOT 57261 SOS 21880 HAS SOPS 18559 HAS SOUS 17407 HAS SOUPS 16468 WITH SCORE 16489.88
AT ITER 533 NEW BEST:: SOT 57291 SOS 21940 HAS SOPS 18556 HAS SOUS 17404 HAS SOUPS 16465 WITH SCORE 16486.94
AT ITER 536 NEW BEST:: SOT 57281 SOS 21823 HAS SOPS 18536 HAS SOUS 17374 HAS SOUPS 16445 WITH SCORE 16466.823
AT ITER 537 NEW BEST:: SOT 57280 SOS 21821 HAS SOPS 18534 HAS SOUS 17372 HAS SOUPS 16443 WITH SCORE 16464.821
AT ITER 548 NEW BEST:: SOT 57277 SOS 21751 HAS SOPS 18535 HAS SOUS 17217 HAS SOUPS 16320 WITH SCORE 16341.751
AT ITER 552 NEW BEST:: SOT 57276 SOS 21749 HAS SOPS 18533 HAS SOUS 17215 HAS SOUPS 16318 WITH SCORE 16339.749
AT ITER 556 NEW BEST:: SOT 57296 SOS 21761 HAS SOPS 18510 HAS SOUS 17192 HAS SOUPS 16295 WITH SCORE 16316.761
AT ITER 563 NEW BEST:: SOT 57193 SOS 21658 HAS SOPS 18398 HAS SOUS 17083 HAS SOUPS 16183 WITH SCORE 16204.658
AT ITER 572 NEW BEST:: SOT 57184 SOS 21640 HAS SOPS 18380 HAS SOUS 17065 HAS SOUPS 16165 WITH SCORE 16186.64
AT ITER 583 NEW BEST:: SOT 56733 SOS 21456 HAS SOPS 18429 HAS SOUS 16818 HAS SOUPS 15972 WITH SCORE 15993.456
AT ITER 587 NEW BEST:: SOT 56715 SOS 21429 HAS SOPS 18393 HAS SOUS 16782 HAS SOUPS 15936 WITH SCORE 15957.429
AT ITER 589 NEW BEST:: SOT 56702 SOS 21559 HAS SOPS 18523 HAS SOUS 16756 HAS SOUPS 15910 WITH SCORE 15931.559
AT ITER 601 NEW BEST:: SOT 56694 SOS 21500 HAS SOPS 18464 HAS SOUS 16745 HAS SOUPS 15899 WITH SCORE 15920.5
AT ITER 623 NEW BEST:: SOT 56667 SOS 21446 HAS SOPS 18410 HAS SOUS 16691 HAS SOUPS 15845 WITH SCORE 15866.446
AT ITER 633 NEW BEST:: SOT 56626 SOS 21293 HAS SOPS 18344 HAS SOUS 16487 HAS SOUPS 15667 WITH SCORE 15688.293
AT ITER 634 NEW BEST:: SOT 56626 SOS 21274 HAS SOPS 18325 HAS SOUS 16468 HAS SOUPS 15648 WITH SCORE 15669.274
AT ITER 636 NEW BEST:: SOT 56577 SOS 20596 HAS SOPS 18307 HAS SOUS 16365 HAS SOUPS 15614 WITH SCORE 15634.596
AT ITER 643 NEW BEST:: SOT 56572 SOS 20586 HAS SOPS 18297 HAS SOUS 16355 HAS SOUPS 15604 WITH SCORE 15624.586
AT ITER 646 NEW BEST:: SOT 56576 SOS 20536 HAS SOPS 18270 HAS SOUS 16337 HAS SOUPS 15586 WITH SCORE 15606.536
AT ITER 647 NEW BEST:: SOT 56560 SOS 20504 HAS SOPS 18238 HAS SOUS 16305 HAS SOUPS 15554 WITH SCORE 15574.504
AT ITER 654 NEW BEST:: SOT 56491 SOS 20560 HAS SOPS 18202 HAS SOUS 16347 HAS SOUPS 15518 WITH SCORE 15538.56
AT ITER 655 NEW BEST:: SOT 56480 SOS 20538 HAS SOPS 18180 HAS SOUS 16325 HAS SOUPS 15496 WITH SCORE 15516.538
AT ITER 683 NEW BEST:: SOT 56480 SOS 20538 HAS SOPS 18180 HAS SOUS 16311 HAS SOUPS 15482 WITH SCORE 15502.538
AT ITER 689 NEW BEST:: SOT 56426 SOS 20683 HAS SOPS 18068 HAS SOUS 16229 HAS SOUPS 15370 WITH SCORE 15390.683
AT ITER 692 NEW BEST:: SOT 56426 SOS 20677 HAS SOPS 18068 HAS SOUS 16229 HAS SOUPS 15370 WITH SCORE 15390.677
AT ITER 709 NEW BEST:: SOT 56424 SOS 20675 HAS SOPS 18064 HAS SOUS 16196 HAS SOUPS 15337 WITH SCORE 15357.675
AT ITER 715 NEW BEST:: SOT 56392 SOS 20476 HAS SOPS 17865 HAS SOUS 16132 HAS SOUPS 15273 WITH SCORE 15293.476
AT ITER 720 NEW BEST:: SOT 56375 SOS 20460 HAS SOPS 17831 HAS SOUS 16098 HAS SOUPS 15239 WITH SCORE 15259.46
AT ITER 728 NEW BEST:: SOT 56335 SOS 20420 HAS SOPS 17807 HAS SOUS 16066 HAS SOUPS 15215 WITH SCORE 15235.42
AT ITER 733 NEW BEST:: SOT 56285 SOS 20385 HAS SOPS 17816 HAS SOUS 16039 HAS SOUPS 15188 WITH SCORE 15208.385
AT ITER 736 NEW BEST:: SOT 56253 SOS 20340 HAS SOPS 17752 HAS SOUS 15975 HAS SOUPS 15124 WITH SCORE 15144.34
AT ITER 745 NEW BEST:: SOT 56253 SOS 20250 HAS SOPS 17662 HAS SOUS 15975 HAS SOUPS 15124 WITH SCORE 15144.25
AT ITER 747 NEW BEST:: SOT 56261 SOS 20258 HAS SOPS 17611 HAS SOUS 15933 HAS SOUPS 15073 WITH SCORE 15093.258
AT ITER 750 NEW BEST:: SOT 56213 SOS 20162 HAS SOPS 17515 HAS SOUS 15837 HAS SOUPS 14977 WITH SCORE 14997.162
AT ITER 757 NEW BEST:: SOT 56132 SOS 19801 HAS SOPS 17089 HAS SOUS 15617 HAS SOUPS 14757 WITH SCORE 14776.801
AT ITER 775 NEW BEST:: SOT 56132 SOS 19787 HAS SOPS 17048 HAS SOUS 15576 HAS SOUPS 14716 WITH SCORE 14735.787
AT ITER 780 NEW BEST:: SOT 56126 SOS 19753 HAS SOPS 17014 HAS SOUS 15544 HAS SOUPS 14684 WITH SCORE 14703.753
AT ITER 781 NEW BEST:: SOT 56127 SOS 19685 HAS SOPS 17015 HAS SOUS 15528 HAS SOUPS 14677 WITH SCORE 14696.685
AT ITER 784 NEW BEST:: SOT 56128 SOS 19663 HAS SOPS 17013 HAS SOUS 15521 HAS SOUPS 14675 WITH SCORE 14694.663
AT ITER 789 NEW BEST:: SOT 56099 SOS 19506 HAS SOPS 16853 HAS SOUS 15457 HAS SOUPS 14611 WITH SCORE 14630.506
AT ITER 797 NEW BEST:: SOT 56006 SOS 19323 HAS SOPS 16761 HAS SOUS 15349 HAS SOUPS 14519 WITH SCORE 14538.323
AT ITER 807 NEW BEST:: SOT 56000 SOS 19311 HAS SOPS 16749 HAS SOUS 15337 HAS SOUPS 14507 WITH SCORE 14526.311
AT ITER 827 NEW BEST:: SOT 55995 SOS 19301 HAS SOPS 16739 HAS SOUS 15327 HAS SOUPS 14497 WITH SCORE 14516.301
AT ITER 839 NEW BEST:: SOT 56003 SOS 19171 HAS SOPS 16779 HAS SOUS 15272 HAS SOUPS 14470 WITH SCORE 14489.171
AT ITER 845 NEW BEST:: SOT 55998 SOS 19161 HAS SOPS 16769 HAS SOUS 15262 HAS SOUPS 14460 WITH SCORE 14479.161
AT ITER 849 NEW BEST:: SOT 55984 SOS 19150 HAS SOPS 16741 HAS SOUS 15234 HAS SOUPS 14432 WITH SCORE 14451.15
AT ITER 851 NEW BEST:: SOT 55970 SOS 18998 HAS SOPS 16631 HAS SOUS 15192 HAS SOUPS 14390 WITH SCORE 14408.998
AT ITER 872 NEW BEST:: SOT 55939 SOS 18942 HAS SOPS 16588 HAS SOUS 15149 HAS SOUPS 14347 WITH SCORE 14365.942
AT ITER 877 NEW BEST:: SOT 55820 SOS 18788 HAS SOPS 16468 HAS SOUS 15012 HAS SOUPS 14210 WITH SCORE 14228.788
AT ITER 894 NEW BEST:: SOT 55825 SOS 18779 HAS SOPS 16474 HAS SOUS 14991 HAS SOUPS 14194 WITH SCORE 14212.779
AT ITER 897 NEW BEST:: SOT 55822 SOS 18773 HAS SOPS 16468 HAS SOUS 14985 HAS SOUPS 14188 WITH SCORE 14206.773
AT ITER 927 NEW BEST:: SOT 55760 SOS 18651 HAS SOPS 16400 HAS SOUS 14912 HAS SOUPS 14120 WITH SCORE 14138.651
AT ITER 931 NEW BEST:: SOT 55756 SOS 18645 HAS SOPS 16394 HAS SOUS 14906 HAS SOUPS 14114 WITH SCORE 14132.645
AT ITER 959 NEW BEST:: SOT 55756 SOS 18621 HAS SOPS 16352 HAS SOUS 14888 HAS SOUPS 14096 WITH SCORE 14114.621
AT ITER 997 NEW BEST:: SOT 55756 SOS 18613 HAS SOPS 16344 HAS SOUS 14880 HAS SOUPS 14088 WITH SCORE 14106.613
AT ITER 998 NEW BEST:: SOT 55714 SOS 18452 HAS SOPS 16260 HAS SOUS 14786 HAS SOUPS 13994 WITH SCORE 14012.452
AT ITER 999 NEW BEST:: SOT 55708 SOS 18455 HAS SOPS 16254 HAS SOUS 14783 HAS SOUPS 13988 WITH SCORE 14006.455
AT ITER 1002 NEW BEST:: SOT 55700 SOS 18460 HAS SOPS 16259 HAS SOUS 14774 HAS SOUPS 13979 WITH SCORE 13997.46
AT ITER 1007 NEW BEST:: SOT 55692 SOS 18436 HAS SOPS 16235 HAS SOUS 14762 HAS SOUPS 13967 WITH SCORE 13985.436
AT ITER 1014 NEW BEST:: SOT 55680 SOS 18424 HAS SOPS 16223 HAS SOUS 14750 HAS SOUPS 13955 WITH SCORE 13973.424
AT ITER 1018 NEW BEST:: SOT 55642 SOS 18323 HAS SOPS 16229 HAS SOUS 14701 HAS SOUPS 13925 WITH SCORE 13943.323
AT ITER 1019 NEW BEST:: SOT 55635 SOS 18066 HAS SOPS 15972 HAS SOUS 14687 HAS SOUPS 13911 WITH SCORE 13929.066
AT ITER 1038 NEW BEST:: SOT 55627 SOS 18042 HAS SOPS 15948 HAS SOUS 14687 HAS SOUPS 13911 WITH SCORE 13929.042
AT ITER 1042 NEW BEST:: SOT 55616 SOS 18031 HAS SOPS 15938 HAS SOUS 14677 HAS SOUPS 13901 WITH SCORE 13919.031
AT ITER 1062 NEW BEST:: SOT 55615 SOS 18029 HAS SOPS 15936 HAS SOUS 14675 HAS SOUPS 13899 WITH SCORE 13917.029
AT ITER 1076 NEW BEST:: SOT 55596 SOS 17967 HAS SOPS 15874 HAS SOUS 14613 HAS SOUPS 13837 WITH SCORE 13854.967
AT ITER 1088 NEW BEST:: SOT 55603 SOS 17974 HAS SOPS 15870 HAS SOUS 14617 HAS SOUPS 13833 WITH SCORE 13850.974
AT ITER 1094 NEW BEST:: SOT 55587 SOS 17889 HAS SOPS 15778 HAS SOUS 14587 HAS SOUPS 13801 WITH SCORE 13818.889
AT ITER 1099 NEW BEST:: SOT 55592 SOS 17934 HAS SOPS 15774 HAS SOUS 14590 HAS SOUPS 13797 WITH SCORE 13814.934
AT ITER 1105 NEW BEST:: SOT 55597 SOS 18281 HAS SOPS 15681 HAS SOUS 14561 HAS SOUPS 13723 WITH SCORE 13741.281
AT ITER 1109 NEW BEST:: SOT 55618 SOS 18323 HAS SOPS 15675 HAS SOUS 14555 HAS SOUPS 13717 WITH SCORE 13735.323
AT ITER 1124 NEW BEST:: SOT 55602 SOS 18355 HAS SOPS 15691 HAS SOUS 14523 HAS SOUPS 13685 WITH SCORE 13703.355
AT ITER 1131 NEW BEST:: SOT 55598 SOS 18347 HAS SOPS 15683 HAS SOUS 14515 HAS SOUPS 13677 WITH SCORE 13695.347
AT ITER 1139 NEW BEST:: SOT 55592 SOS 18335 HAS SOPS 15671 HAS SOUS 14503 HAS SOUPS 13665 WITH SCORE 13683.335
AT ITER 1155 NEW BEST:: SOT 55580 SOS 18339 HAS SOPS 15675 HAS SOUS 14498 HAS SOUPS 13660 WITH SCORE 13678.339
AT ITER 1160 NEW BEST:: SOT 55579 SOS 18337 HAS SOPS 15673 HAS SOUS 14496 HAS SOUPS 13658 WITH SCORE 13676.337
AT ITER 1164 NEW BEST:: SOT 55549 SOS 18510 HAS SOPS 15854 HAS SOUS 14494 HAS SOUPS 13656 WITH SCORE 13674.51
AT ITER 1166 NEW BEST:: SOT 55543 SOS 18444 HAS SOPS 15782 HAS SOUS 14470 HAS SOUPS 13632 WITH SCORE 13650.444
AT ITER 1175 NEW BEST:: SOT 55565 SOS 18454 HAS SOPS 15778 HAS SOUS 14460 HAS SOUPS 13622 WITH SCORE 13640.454
AT ITER 1199 NEW BEST:: SOT 55451 SOS 18307 HAS SOPS 15631 HAS SOUS 14313 HAS SOUPS 13475 WITH SCORE 13493.307
AT ITER 1200 NEW BEST:: SOT 55451 SOS 18300 HAS SOPS 15631 HAS SOUS 14313 HAS SOUPS 13475 WITH SCORE 13493.3
AT ITER 1201 NEW BEST:: SOT 55438 SOS 18287 HAS SOPS 15605 HAS SOUS 14300 HAS SOUPS 13449 WITH SCORE 13467.287
AT ITER 1217 NEW BEST:: SOT 55444 SOS 18299 HAS SOPS 15617 HAS SOUS 14296 HAS SOUPS 13445 WITH SCORE 13463.299
AT ITER 1232 NEW BEST:: SOT 55407 SOS 18227 HAS SOPS 15583 HAS SOUS 14249 HAS SOUPS 13411 WITH SCORE 13429.227
AT ITER 1238 NEW BEST:: SOT 55396 SOS 18194 HAS SOPS 15561 HAS SOUS 14227 HAS SOUPS 13389 WITH SCORE 13407.194
AT ITER 1263 NEW BEST:: SOT 55365 SOS 18134 HAS SOPS 15496 HAS SOUS 14141 HAS SOUPS 13303 WITH SCORE 13321.134
AT ITER 1276 NEW BEST:: SOT 55360 SOS 18157 HAS SOPS 15517 HAS SOUS 14131 HAS SOUPS 13293 WITH SCORE 13311.157
AT ITER 1278 NEW BEST:: SOT 55334 SOS 18105 HAS SOPS 15465 HAS SOUS 14079 HAS SOUPS 13241 WITH SCORE 13259.105
AT ITER 1293 NEW BEST:: SOT 55356 SOS 18533 HAS SOPS 15437 HAS SOUS 14121 HAS SOUPS 13233 WITH SCORE 13251.533
AT ITER 1325 NEW BEST:: SOT 55332 SOS 18485 HAS SOPS 15364 HAS SOUS 14048 HAS SOUPS 13160 WITH SCORE 13178.485
AT ITER 1327 NEW BEST:: SOT 55339 SOS 18524 HAS SOPS 15339 HAS SOUS 14047 HAS SOUPS 13151 WITH SCORE 13169.524
AT ITER 1328 NEW BEST:: SOT 55319 SOS 18483 HAS SOPS 15299 HAS SOUS 14017 HAS SOUPS 13121 WITH SCORE 13139.483
AT ITER 1332 NEW BEST:: SOT 55327 SOS 18473 HAS SOPS 15329 HAS SOUS 13997 HAS SOUPS 13111 WITH SCORE 13129.473
AT ITER 1340 NEW BEST:: SOT 55314 SOS 18464 HAS SOPS 15320 HAS SOUS 13988 HAS SOUPS 13102 WITH SCORE 13120.464
AT ITER 1358 NEW BEST:: SOT 55312 SOS 18475 HAS SOPS 15331 HAS SOUS 13984 HAS SOUPS 13098 WITH SCORE 13116.475
AT ITER 1366 NEW BEST:: SOT 55324 SOS 18473 HAS SOPS 15339 HAS SOUS 13975 HAS SOUPS 13094 WITH SCORE 13112.473
AT ITER 1382 NEW BEST:: SOT 55318 SOS 18461 HAS SOPS 15327 HAS SOUS 13963 HAS SOUPS 13082 WITH SCORE 13100.461
AT ITER 1385 NEW BEST:: SOT 55314 SOS 18453 HAS SOPS 15327 HAS SOUS 13955 HAS SOUPS 13074 WITH SCORE 13092.453
AT ITER 1405 NEW BEST:: SOT 55305 SOS 18444 HAS SOPS 15309 HAS SOUS 13937 HAS SOUPS 13056 WITH SCORE 13074.444
AT ITER 1407 NEW BEST:: SOT 55304 SOS 18442 HAS SOPS 15307 HAS SOUS 13935 HAS SOUPS 13054 WITH SCORE 13072.442
AT ITER 1413 NEW BEST:: SOT 55302 SOS 18438 HAS SOPS 15303 HAS SOUS 13931 HAS SOUPS 13050 WITH SCORE 13068.438
AT ITER 1426 NEW BEST:: SOT 55307 SOS 18443 HAS SOPS 15299 HAS SOUS 13930 HAS SOUPS 13046 WITH SCORE 13064.443
AT ITER 1433 NEW BEST:: SOT 55303 SOS 18435 HAS SOPS 15291 HAS SOUS 13922 HAS SOUPS 13038 WITH SCORE 13056.435
AT ITER 1441 NEW BEST:: SOT 55306 SOS 18438 HAS SOPS 15277 HAS SOUS 13908 HAS SOUPS 13024 WITH SCORE 13042.438
AT ITER 1444 NEW BEST:: SOT 55306 SOS 18432 HAS SOPS 15277 HAS SOUS 13908 HAS SOUPS 13024 WITH SCORE 13042.432
AT ITER 1469 NEW BEST:: SOT 55303 SOS 18144 HAS SOPS 14945 HAS SOUS 13787 HAS SOUPS 12903 WITH SCORE 12921.144
AT ITER 1472 NEW BEST:: SOT 55303 SOS 18144 HAS SOPS 14945 HAS SOUS 13783 HAS SOUPS 12899 WITH SCORE 12917.144
AT ITER 1480 NEW BEST:: SOT 55270 SOS 18080 HAS SOPS 14910 HAS SOUS 13722 HAS SOUPS 12864 WITH SCORE 12882.08
AT ITER 1495 NEW BEST:: SOT 55162 SOS 18178 HAS SOPS 15019 HAS SOUS 13659 HAS SOUPS 12801 WITH SCORE 12819.178
AT ITER 1499 NEW BEST:: SOT 55155 SOS 18164 HAS SOPS 15005 HAS SOUS 13645 HAS SOUPS 12787 WITH SCORE 12805.164
AT ITER 1506 NEW BEST:: SOT 55184 SOS 18170 HAS SOPS 15037 HAS SOUS 13568 HAS SOUPS 12730 WITH SCORE 12748.17
AT ITER 1510 NEW BEST:: SOT 55165 SOS 18132 HAS SOPS 14999 HAS SOUS 13530 HAS SOUPS 12692 WITH SCORE 12710.132
AT ITER 1517 NEW BEST:: SOT 55156 SOS 18114 HAS SOPS 14981 HAS SOUS 13521 HAS SOUPS 12683 WITH SCORE 12701.114
AT ITER 1521 NEW BEST:: SOT 55150 SOS 18102 HAS SOPS 14969 HAS SOUS 13509 HAS SOUPS 12671 WITH SCORE 12689.102
AT ITER 1561 NEW BEST:: SOT 55137 SOS 18092 HAS SOPS 14943 HAS SOUS 13483 HAS SOUPS 12645 WITH SCORE 12663.092
AT ITER 1574 NEW BEST:: SOT 55128 SOS 18187 HAS SOPS 14932 HAS SOUS 13491 HAS SOUPS 12634 WITH SCORE 12652.187
AT ITER 1575 NEW BEST:: SOT 55099 SOS 18571 HAS SOPS 15243 HAS SOUS 13462 HAS SOUPS 12605 WITH SCORE 12623.571
AT ITER 1589 NEW BEST:: SOT 55086 SOS 18539 HAS SOPS 15232 HAS SOUS 13457 HAS SOUPS 12600 WITH SCORE 12618.539
AT ITER 1594 NEW BEST:: SOT 55078 SOS 18502 HAS SOPS 15202 HAS SOUS 13448 HAS SOUPS 12591 WITH SCORE 12609.502
AT ITER 1597 NEW BEST:: SOT 55091 SOS 18544 HAS SOPS 15181 HAS SOUS 13440 HAS SOUPS 12583 WITH SCORE 12601.544
AT ITER 1607 NEW BEST:: SOT 55080 SOS 18511 HAS SOPS 15148 HAS SOUS 13407 HAS SOUPS 12550 WITH SCORE 12568.511
AT ITER 1620 NEW BEST:: SOT 55083 SOS 18517 HAS SOPS 15128 HAS SOUS 13387 HAS SOUPS 12530 WITH SCORE 12548.517
AT ITER 1625 NEW BEST:: SOT 55081 SOS 18513 HAS SOPS 15124 HAS SOUS 13383 HAS SOUPS 12526 WITH SCORE 12544.513
AT ITER 1663 NEW BEST:: SOT 55076 SOS 18488 HAS SOPS 15104 HAS SOUS 13378 HAS SOUPS 12521 WITH SCORE 12539.488
AT ITER 1665 NEW BEST:: SOT 55082 SOS 18494 HAS SOPS 15086 HAS SOUS 13372 HAS SOUPS 12515 WITH SCORE 12533.494
AT ITER 1674 NEW BEST:: SOT 55125 SOS 18544 HAS SOPS 15173 HAS SOUS 13312 HAS SOUPS 12473 WITH SCORE 12491.544
AT ITER 1682 NEW BEST:: SOT 55110 SOS 18514 HAS SOPS 15143 HAS SOUS 13282 HAS SOUPS 12443 WITH SCORE 12461.514
AT ITER 1692 NEW BEST:: SOT 55107 SOS 18501 HAS SOPS 15130 HAS SOUS 13276 HAS SOUPS 12437 WITH SCORE 12455.501
AT ITER 1696 NEW BEST:: SOT 55101 SOS 18483 HAS SOPS 15118 HAS SOUS 13264 HAS SOUPS 12425 WITH SCORE 12443.483
AT ITER 1699 NEW BEST:: SOT 55093 SOS 18467 HAS SOPS 15102 HAS SOUS 13248 HAS SOUPS 12409 WITH SCORE 12427.467
AT ITER 1712 NEW BEST:: SOT 55055 SOS 18458 HAS SOPS 15103 HAS SOUS 13230 HAS SOUPS 12391 WITH SCORE 12409.458
AT ITER 1713 NEW BEST:: SOT 55066 SOS 18480 HAS SOPS 15101 HAS SOUS 13228 HAS SOUPS 12389 WITH SCORE 12407.48
AT ITER 1730 NEW BEST:: SOT 55064 SOS 18470 HAS SOPS 15093 HAS SOUS 13226 HAS SOUPS 12387 WITH SCORE 12405.47
AT ITER 1757 NEW BEST:: SOT 55056 SOS 18454 HAS SOPS 15077 HAS SOUS 13210 HAS SOUPS 12371 WITH SCORE 12389.454
AT ITER 1768 NEW BEST:: SOT 55012 SOS 18420 HAS SOPS 15127 HAS SOUS 13191 HAS SOUPS 12352 WITH SCORE 12370.42
AT ITER 1793 NEW BEST:: SOT 54997 SOS 18406 HAS SOPS 15121 HAS SOUS 13185 HAS SOUPS 12346 WITH SCORE 12364.406
AT ITER 1797 NEW BEST:: SOT 54982 SOS 18381 HAS SOPS 15091 HAS SOUS 13152 HAS SOUPS 12316 WITH SCORE 12334.381
AT ITER 1799 NEW BEST:: SOT 54982 SOS 18364 HAS SOPS 15074 HAS SOUS 13152 HAS SOUPS 12316 WITH SCORE 12334.364
AT ITER 1866 NEW BEST:: SOT 55012 SOS 18294 HAS SOPS 14994 HAS SOUS 13152 HAS SOUPS 12316 WITH SCORE 12334.294
AT ITER 1878 NEW BEST:: SOT 54984 SOS 18238 HAS SOPS 14938 HAS SOUS 13096 HAS SOUPS 12260 WITH SCORE 12278.238
AT ITER 1895 NEW BEST:: SOT 54979 SOS 18230 HAS SOPS 14928 HAS SOUS 13086 HAS SOUPS 12250 WITH SCORE 12268.23
AT ITER 1927 NEW BEST:: SOT 54979 SOS 18230 HAS SOPS 14892 HAS SOUS 13014 HAS SOUPS 12178 WITH SCORE 12196.23
AT ITER 1953 NEW BEST:: SOT 54975 SOS 18222 HAS SOPS 14884 HAS SOUS 13006 HAS SOUPS 12170 WITH SCORE 12188.222
AT ITER 1964 NEW BEST:: SOT 54948 SOS 18165 HAS SOPS 14830 HAS SOUS 12952 HAS SOUPS 12116 WITH SCORE 12134.165
AT ITER 1971 NEW BEST:: SOT 54931 SOS 18131 HAS SOPS 14813 HAS SOUS 12918 HAS SOUPS 12099 WITH SCORE 12117.131
AT ITER 1985 NEW BEST:: SOT 54912 SOS 18112 HAS SOPS 14794 HAS SOUS 12899 HAS SOUPS 12080 WITH SCORE 12098.112
AT ITER 1992 NEW BEST:: SOT 54910 SOS 18108 HAS SOPS 14790 HAS SOUS 12895 HAS SOUPS 12076 WITH SCORE 12094.108
AT ITER 2026 NEW BEST:: SOT 54907 SOS 18102 HAS SOPS 14784 HAS SOUS 12889 HAS SOUPS 12070 WITH SCORE 12088.102
AT ITER 2035 NEW BEST:: SOT 54924 SOS 18107 HAS SOPS 14771 HAS SOUS 12876 HAS SOUPS 12057 WITH SCORE 12075.107
AT ITER 2042 NEW BEST:: SOT 54878 SOS 18041 HAS SOPS 14723 HAS SOUS 12828 HAS SOUPS 12009 WITH SCORE 12027.041
AT ITER 2093 NEW BEST:: SOT 54877 SOS 18039 HAS SOPS 14721 HAS SOUS 12826 HAS SOUPS 12007 WITH SCORE 12025.039
AT ITER 2099 NEW BEST:: SOT 54858 SOS 18020 HAS SOPS 14683 HAS SOUS 12807 HAS SOUPS 11969 WITH SCORE 11987.02
AT ITER 2115 NEW BEST:: SOT 54845 SOS 17994 HAS SOPS 14670 HAS SOUS 12794 HAS SOUPS 11956 WITH SCORE 11973.994
AT ITER 2120 NEW BEST:: SOT 54848 SOS 17997 HAS SOPS 14668 HAS SOUS 12797 HAS SOUPS 11954 WITH SCORE 11971.997
AT ITER 2132 NEW BEST:: SOT 54830 SOS 18242 HAS SOPS 14641 HAS SOUS 12816 HAS SOUPS 11944 WITH SCORE 11962.242
AT ITER 2178 NEW BEST:: SOT 54819 SOS 18226 HAS SOPS 14619 HAS SOUS 12794 HAS SOUPS 11922 WITH SCORE 11940.226
AT ITER 2218 NEW BEST:: SOT 54813 SOS 18563 HAS SOPS 14582 HAS SOUS 12798 HAS SOUPS 11892 WITH SCORE 11910.563
AT ITER 2219 NEW BEST:: SOT 54801 SOS 18551 HAS SOPS 14546 HAS SOUS 12762 HAS SOUPS 11856 WITH SCORE 11874.551
AT ITER 2226 NEW BEST:: SOT 54803 SOS 18555 HAS SOPS 14545 HAS SOUS 12761 HAS SOUPS 11855 WITH SCORE 11873.555
AT ITER 2233 NEW BEST:: SOT 54791 SOS 18553 HAS SOPS 14543 HAS SOUS 12759 HAS SOUPS 11853 WITH SCORE 11871.553
AT ITER 2273 NEW BEST:: SOT 54787 SOS 18565 HAS SOPS 14555 HAS SOUS 12751 HAS SOUPS 11845 WITH SCORE 11863.565
AT ITER 2289 NEW BEST:: SOT 54779 SOS 18549 HAS SOPS 14539 HAS SOUS 12735 HAS SOUPS 11829 WITH SCORE 11847.549
AT ITER 2290 NEW BEST:: SOT 54803 SOS 18526 HAS SOPS 14518 HAS SOUS 12716 HAS SOUPS 11810 WITH SCORE 11828.526
AT ITER 2293 NEW BEST:: SOT 54804 SOS 18385 HAS SOPS 14415 HAS SOUS 12712 HAS SOUPS 11806 WITH SCORE 11824.385
AT ITER 2296 NEW BEST:: SOT 54804 SOS 18380 HAS SOPS 14410 HAS SOUS 12712 HAS SOUPS 11806 WITH SCORE 11824.38
AT ITER 2306 NEW BEST:: SOT 54803 SOS 18418 HAS SOPS 14408 HAS SOUS 12710 HAS SOUPS 11804 WITH SCORE 11822.418
AT ITER 2309 NEW BEST:: SOT 54800 SOS 18412 HAS SOPS 14402 HAS SOUS 12704 HAS SOUPS 11798 WITH SCORE 11816.412
AT ITER 2310 NEW BEST:: SOT 54791 SOS 18350 HAS SOPS 14384 HAS SOUS 12686 HAS SOUPS 11780 WITH SCORE 11798.35
AT ITER 2324 NEW BEST:: SOT 54832 SOS 18348 HAS SOPS 14421 HAS SOUS 12637 HAS SOUPS 11747 WITH SCORE 11765.348
AT ITER 2334 NEW BEST:: SOT 54841 SOS 18342 HAS SOPS 14415 HAS SOUS 12631 HAS SOUPS 11741 WITH SCORE 11759.342
AT ITER 2341 NEW BEST:: SOT 54830 SOS 18344 HAS SOPS 14393 HAS SOUS 12607 HAS SOUPS 11717 WITH SCORE 11735.344
AT ITER 2355 NEW BEST:: SOT 54814 SOS 18312 HAS SOPS 14379 HAS SOUS 12593 HAS SOUPS 11703 WITH SCORE 11721.312
AT ITER 2365 NEW BEST:: SOT 54808 SOS 18306 HAS SOPS 14373 HAS SOUS 12587 HAS SOUPS 11697 WITH SCORE 11715.306
AT ITER 2370 NEW BEST:: SOT 54801 SOS 18296 HAS SOPS 14363 HAS SOUS 12581 HAS SOUPS 11687 WITH SCORE 11705.296
AT ITER 2377 NEW BEST:: SOT 54796 SOS 18286 HAS SOPS 14353 HAS SOUS 12571 HAS SOUPS 11677 WITH SCORE 11695.286
AT ITER 2434 NEW BEST:: SOT 54796 SOS 18286 HAS SOPS 14339 HAS SOUS 12557 HAS SOUPS 11663 WITH SCORE 11681.286
AT ITER 2501 NEW BEST:: SOT 54871 SOS 18297 HAS SOPS 14390 HAS SOUS 12522 HAS SOUPS 11658 WITH SCORE 11676.297
AT ITER 2517 NEW BEST:: SOT 54869 SOS 18293 HAS SOPS 14386 HAS SOUS 12518 HAS SOUPS 11654 WITH SCORE 11672.293
AT ITER 2528 NEW BEST:: SOT 54862 SOS 18315 HAS SOPS 14372 HAS SOUS 12504 HAS SOUPS 11640 WITH SCORE 11658.315
AT ITER 2531 NEW BEST:: SOT 54857 SOS 18305 HAS SOPS 14362 HAS SOUS 12494 HAS SOUPS 11630 WITH SCORE 11648.305
AT ITER 2568 NEW BEST:: SOT 54758 SOS 18129 HAS SOPS 14262 HAS SOUS 12394 HAS SOUPS 11530 WITH SCORE 11548.129
AT ITER 2588 NEW BEST:: SOT 54754 SOS 18119 HAS SOPS 14254 HAS SOUS 12386 HAS SOUPS 11522 WITH SCORE 11540.119
AT ITER 2589 NEW BEST:: SOT 54743 SOS 18097 HAS SOPS 14247 HAS SOUS 12379 HAS SOUPS 11515 WITH SCORE 11533.097
AT ITER 2602 NEW BEST:: SOT 54727 SOS 18081 HAS SOPS 14231 HAS SOUS 12363 HAS SOUPS 11499 WITH SCORE 11517.081
AT ITER 2606 NEW BEST:: SOT 54724 SOS 18062 HAS SOPS 14230 HAS SOUS 12362 HAS SOUPS 11498 WITH SCORE 11516.062
AT ITER 2615 NEW BEST:: SOT 54724 SOS 18048 HAS SOPS 14216 HAS SOUS 12362 HAS SOUPS 11498 WITH SCORE 11516.048
AT ITER 2624 NEW BEST:: SOT 54697 SOS 17994 HAS SOPS 14183 HAS SOUS 12329 HAS SOUPS 11465 WITH SCORE 11482.994
AT ITER 2635 NEW BEST:: SOT 54701 SOS 17947 HAS SOPS 14110 HAS SOUS 12236 HAS SOUPS 11372 WITH SCORE 11389.947
AT ITER 2638 NEW BEST:: SOT 54710 SOS 17951 HAS SOPS 14119 HAS SOUS 12209 HAS SOUPS 11350 WITH SCORE 11367.951
AT ITER 2639 NEW BEST:: SOT 54710 SOS 17913 HAS SOPS 14078 HAS SOUS 12168 HAS SOUPS 11309 WITH SCORE 11326.913
AT ITER 2660 NEW BEST:: SOT 54710 SOS 17894 HAS SOPS 14078 HAS SOUS 12168 HAS SOUPS 11309 WITH SCORE 11326.894
AT ITER 2663 NEW BEST:: SOT 54710 SOS 17874 HAS SOPS 14078 HAS SOUS 12168 HAS SOUPS 11309 WITH SCORE 11326.874
AT ITER 2678 NEW BEST:: SOT 54704 SOS 17858 HAS SOPS 14066 HAS SOUS 12152 HAS SOUPS 11297 WITH SCORE 11314.858
AT ITER 2749 NEW BEST:: SOT 54704 SOS 17858 HAS SOPS 14052 HAS SOUS 12138 HAS SOUPS 11283 WITH SCORE 11300.858
AT ITER 2754 NEW BEST:: SOT 54702 SOS 17854 HAS SOPS 14051 HAS SOUS 12137 HAS SOUPS 11282 WITH SCORE 11299.854
AT ITER 2757 NEW BEST:: SOT 54697 SOS 17864 HAS SOPS 14041 HAS SOUS 12127 HAS SOUPS 11272 WITH SCORE 11289.864
AT ITER 2774 NEW BEST:: SOT 54695 SOS 17862 HAS SOPS 14037 HAS SOUS 12123 HAS SOUPS 11268 WITH SCORE 11285.862
AT ITER 2796 NEW BEST:: SOT 54698 SOS 17884 HAS SOPS 14027 HAS SOUS 12113 HAS SOUPS 11258 WITH SCORE 11275.884
AT ITER 2798 NEW BEST:: SOT 54685 SOS 17872 HAS SOPS 14015 HAS SOUS 12108 HAS SOUPS 11253 WITH SCORE 11270.872
AT ITER 2815 NEW BEST:: SOT 54685 SOS 17868 HAS SOPS 14015 HAS SOUS 12108 HAS SOUPS 11253 WITH SCORE 11270.868
AT ITER 2834 NEW BEST:: SOT 54592 SOS 17778 HAS SOPS 13948 HAS SOUS 12036 HAS SOUPS 11181 WITH SCORE 11198.778
AT ITER 2870 NEW BEST:: SOT 54589 SOS 17793 HAS SOPS 13963 HAS SOUS 12030 HAS SOUPS 11175 WITH SCORE 11192.793
AT ITER 2881 NEW BEST:: SOT 54579 SOS 17773 HAS SOPS 13948 HAS SOUS 12015 HAS SOUPS 11160 WITH SCORE 11177.773
AT ITER 2897 NEW BEST:: SOT 54493 SOS 17601 HAS SOPS 13862 HAS SOUS 12015 HAS SOUPS 11160 WITH SCORE 11177.601
AT ITER 2900 NEW BEST:: SOT 54496 SOS 17644 HAS SOPS 13905 HAS SOUS 12007 HAS SOUPS 11152 WITH SCORE 11169.644
AT ITER 2903 NEW BEST:: SOT 54482 SOS 17634 HAS SOPS 13897 HAS SOUS 12001 HAS SOUPS 11146 WITH SCORE 11163.634
AT ITER 2905 NEW BEST:: SOT 54472 SOS 17623 HAS SOPS 13890 HAS SOUS 11985 HAS SOUPS 11130 WITH SCORE 11147.623
AT ITER 2918 NEW BEST:: SOT 54466 SOS 17611 HAS SOPS 13878 HAS SOUS 11973 HAS SOUPS 11118 WITH SCORE 11135.611
AT ITER 2920 NEW BEST:: SOT 54469 SOS 17614 HAS SOPS 13881 HAS SOUS 11968 HAS SOUPS 11113 WITH SCORE 11130.614
AT ITER 2980 NEW BEST:: SOT 54466 SOS 17611 HAS SOPS 13878 HAS SOUS 11965 HAS SOUPS 11110 WITH SCORE 11127.611
AT ITER 2983 NEW BEST:: SOT 54476 SOS 17582 HAS SOPS 13849 HAS SOUS 11942 HAS SOUPS 11087 WITH SCORE 11104.582
AT ITER 3037 NEW BEST:: SOT 54461 SOS 17480 HAS SOPS 13747 HAS SOUS 11912 HAS SOUPS 11057 WITH SCORE 11074.48
AT ITER 3109 NEW BEST:: SOT 54456 SOS 17470 HAS SOPS 13732 HAS SOUS 11897 HAS SOUPS 11042 WITH SCORE 11059.47
AT ITER 3149 NEW BEST:: SOT 54443 SOS 17465 HAS SOPS 13727 HAS SOUS 11892 HAS SOUPS 11037 WITH SCORE 11054.465
AT ITER 3159 NEW BEST:: SOT 54441 SOS 17461 HAS SOPS 13723 HAS SOUS 11882 HAS SOUPS 11027 WITH SCORE 11044.461
AT ITER 3163 NEW BEST:: SOT 54465 SOS 17485 HAS SOPS 13754 HAS SOUS 11867 HAS SOUPS 11019 WITH SCORE 11036.485
AT ITER 3193 NEW BEST:: SOT 54465 SOS 17483 HAS SOPS 13750 HAS SOUS 11867 HAS SOUPS 11017 WITH SCORE 11034.483
AT ITER 3211 NEW BEST:: SOT 54481 SOS 17502 HAS SOPS 13772 HAS SOUS 11842 HAS SOUPS 10995 WITH SCORE 11012.502
AT ITER 3221 NEW BEST:: SOT 54406 SOS 17438 HAS SOPS 13687 HAS SOUS 11788 HAS SOUPS 10920 WITH SCORE 10937.438
AT ITER 3248 NEW BEST:: SOT 54402 SOS 17434 HAS SOPS 13679 HAS SOUS 11780 HAS SOUPS 10912 WITH SCORE 10929.434
AT ITER 3251 NEW BEST:: SOT 54402 SOS 17426 HAS SOPS 13679 HAS SOUS 11778 HAS SOUPS 10912 WITH SCORE 10929.426
AT ITER 3252 NEW BEST:: SOT 54388 SOS 17462 HAS SOPS 13715 HAS SOUS 11771 HAS SOUPS 10905 WITH SCORE 10922.462
AT ITER 3290 NEW BEST:: SOT 54382 SOS 17456 HAS SOPS 13711 HAS SOUS 11767 HAS SOUPS 10901 WITH SCORE 10918.456
AT ITER 3293 NEW BEST:: SOT 54379 SOS 17458 HAS SOPS 13697 HAS SOUS 11769 HAS SOUPS 10887 WITH SCORE 10904.458
AT ITER 3309 NEW BEST:: SOT 54362 SOS 17453 HAS SOPS 13692 HAS SOUS 11764 HAS SOUPS 10882 WITH SCORE 10899.453
AT ITER 3316 NEW BEST:: SOT 54359 SOS 17570 HAS SOPS 13809 HAS SOUS 11761 HAS SOUPS 10879 WITH SCORE 10896.57
AT ITER 3332 NEW BEST:: SOT 54357 SOS 17587 HAS SOPS 13819 HAS SOUS 11757 HAS SOUPS 10875 WITH SCORE 10892.587
AT ITER 3362 NEW BEST:: SOT 54352 SOS 17616 HAS SOPS 13799 HAS SOUS 11786 HAS SOUPS 10855 WITH SCORE 10872.616
AT ITER 3478 NEW BEST:: SOT 54353 SOS 17540 HAS SOPS 13723 HAS SOUS 11770 HAS SOUPS 10839 WITH SCORE 10856.54
AT ITER 3482 NEW BEST:: SOT 54349 SOS 17532 HAS SOPS 13719 HAS SOUS 11766 HAS SOUPS 10835 WITH SCORE 10852.532
AT ITER 3510 NEW BEST:: SOT 54348 SOS 17533 HAS SOPS 13720 HAS SOUS 11765 HAS SOUPS 10834 WITH SCORE 10851.533
AT ITER 3601 NEW BEST:: SOT 54342 SOS 17521 HAS SOPS 13708 HAS SOUS 11753 HAS SOUPS 10822 WITH SCORE 10839.521
AT ITER 3621 NEW BEST:: SOT 54338 SOS 17513 HAS SOPS 13700 HAS SOUS 11745 HAS SOUPS 10814 WITH SCORE 10831.513
AT ITER 3627 NEW BEST:: SOT 54336 SOS 17511 HAS SOPS 13694 HAS SOUS 11739 HAS SOUPS 10808 WITH SCORE 10825.511
AT ITER 3635 NEW BEST:: SOT 54332 SOS 17496 HAS SOPS 13679 HAS SOUS 11724 HAS SOUPS 10793 WITH SCORE 10810.496
AT ITER 3657 NEW BEST:: SOT 54334 SOS 17496 HAS SOPS 13663 HAS SOUS 11708 HAS SOUPS 10777 WITH SCORE 10794.496
AT ITER 3665 NEW BEST:: SOT 54334 SOS 17489 HAS SOPS 13663 HAS SOUS 11708 HAS SOUPS 10777 WITH SCORE 10794.489
AT ITER 3705 NEW BEST:: SOT 54331 SOS 17486 HAS SOPS 13660 HAS SOUS 11705 HAS SOUPS 10774 WITH SCORE 10791.486
AT ITER 3758 NEW BEST:: SOT 54326 SOS 17476 HAS SOPS 13650 HAS SOUS 11695 HAS SOUPS 10764 WITH SCORE 10781.476
AT ITER 3769 NEW BEST:: SOT 54320 SOS 17464 HAS SOPS 13638 HAS SOUS 11683 HAS SOUPS 10752 WITH SCORE 10769.464
AT ITER 3790 NEW BEST:: SOT 54320 SOS 17457 HAS SOPS 13638 HAS SOUS 11683 HAS SOUPS 10752 WITH SCORE 10769.457
AT ITER 3792 NEW BEST:: SOT 54252 SOS 17482 HAS SOPS 13668 HAS SOUS 11649 HAS SOUPS 10723 WITH SCORE 10740.482
AT ITER 3798 NEW BEST:: SOT 54249 SOS 17464 HAS SOPS 13650 HAS SOUS 11643 HAS SOUPS 10717 WITH SCORE 10734.464
AT ITER 3833 NEW BEST:: SOT 54139 SOS 17244 HAS SOPS 13540 HAS SOUS 11501 HAS SOUPS 10607 WITH SCORE 10624.244
AT ITER 3835 NEW BEST:: SOT 54139 SOS 17244 HAS SOPS 13540 HAS SOUS 11498 HAS SOUPS 10604 WITH SCORE 10621.244
AT ITER 3855 NEW BEST:: SOT 54134 SOS 17234 HAS SOPS 13530 HAS SOUS 11488 HAS SOUPS 10594 WITH SCORE 10611.234
AT ITER 3892 NEW BEST:: SOT 54131 SOS 17228 HAS SOPS 13529 HAS SOUS 11487 HAS SOUPS 10593 WITH SCORE 10610.228
AT ITER 3899 NEW BEST:: SOT 54124 SOS 17214 HAS SOPS 13515 HAS SOUS 11473 HAS SOUPS 10579 WITH SCORE 10596.214
AT ITER 3955 NEW BEST:: SOT 54119 SOS 17192 HAS SOPS 13505 HAS SOUS 11463 HAS SOUPS 10569 WITH SCORE 10586.192
AT ITER 3983 NEW BEST:: SOT 54106 SOS 17179 HAS SOPS 13497 HAS SOUS 11455 HAS SOUPS 10561 WITH SCORE 10578.179
AT ITER 3987 NEW BEST:: SOT 54108 SOS 17109 HAS SOPS 13420 HAS SOUS 11441 HAS SOUPS 10547 WITH SCORE 10564.109
AT ITER 4078 NEW BEST:: SOT 54096 SOS 17163 HAS SOPS 13474 HAS SOUS 11417 HAS SOUPS 10523 WITH SCORE 10540.163
AT ITER 4096 NEW BEST:: SOT 54093 SOS 17160 HAS SOPS 13471 HAS SOUS 11411 HAS SOUPS 10517 WITH SCORE 10534.16
AT ITER 4108 NEW BEST:: SOT 54102 SOS 17124 HAS SOPS 13444 HAS SOUS 11411 HAS SOUPS 10517 WITH SCORE 10534.124
AT ITER 4158 NEW BEST:: SOT 54093 SOS 17129 HAS SOPS 13449 HAS SOUS 11393 HAS SOUPS 10499 WITH SCORE 10516.129
AT ITER 4218 NEW BEST:: SOT 54093 SOS 17138 HAS SOPS 13440 HAS SOUS 11384 HAS SOUPS 10490 WITH SCORE 10507.138
AT ITER 4246 NEW BEST:: SOT 54093 SOS 17085 HAS SOPS 13387 HAS SOUS 11331 HAS SOUPS 10437 WITH SCORE 10454.085
AT ITER 4272 NEW BEST:: SOT 54092 SOS 17092 HAS SOPS 13393 HAS SOUS 11330 HAS SOUPS 10436 WITH SCORE 10453.092
AT ITER 4291 NEW BEST:: SOT 54105 SOS 17105 HAS SOPS 13390 HAS SOUS 11343 HAS SOUPS 10433 WITH SCORE 10450.105
AT ITER 4294 NEW BEST:: SOT 54106 SOS 17104 HAS SOPS 13390 HAS SOUS 11340 HAS SOUPS 10431 WITH SCORE 10448.104
AT ITER 4297 NEW BEST:: SOT 54104 SOS 17100 HAS SOPS 13386 HAS SOUS 11336 HAS SOUPS 10427 WITH SCORE 10444.1
AT ITER 4348 NEW BEST:: SOT 54100 SOS 17096 HAS SOPS 13382 HAS SOUS 11332 HAS SOUPS 10423 WITH SCORE 10440.096
AT ITER 4403 NEW BEST:: SOT 54087 SOS 17070 HAS SOPS 13356 HAS SOUS 11306 HAS SOUPS 10397 WITH SCORE 10414.07
AT ITER 4425 NEW BEST:: SOT 54087 SOS 17061 HAS SOPS 13347 HAS SOUS 11297 HAS SOUPS 10388 WITH SCORE 10405.061
AT ITER 4457 NEW BEST:: SOT 54085 SOS 17068 HAS SOPS 13343 HAS SOUS 11293 HAS SOUPS 10384 WITH SCORE 10401.068
AT ITER 4481 NEW BEST:: SOT 54085 SOS 17074 HAS SOPS 13347 HAS SOUS 11291 HAS SOUPS 10382 WITH SCORE 10399.074
AT ITER 4542 NEW BEST:: SOT 54078 SOS 17014 HAS SOPS 13347 HAS SOUS 11284 HAS SOUPS 10382 WITH SCORE 10399.014
AT ITER 4544 NEW BEST:: SOT 54074 SOS 17010 HAS SOPS 13347 HAS SOUS 11284 HAS SOUPS 10382 WITH SCORE 10399.01
AT ITER 4554 NEW BEST:: SOT 54028 SOS 16973 HAS SOPS 13310 HAS SOUS 11244 HAS SOUPS 10342 WITH SCORE 10358.973
AT ITER 4594 NEW BEST:: SOT 54021 SOS 16959 HAS SOPS 13296 HAS SOUS 11230 HAS SOUPS 10328 WITH SCORE 10344.959
AT ITER 4612 NEW BEST:: SOT 54057 SOS 16944 HAS SOPS 13281 HAS SOUS 11215 HAS SOUPS 10313 WITH SCORE 10329.944
AT ITER 4636 NEW BEST:: SOT 54057 SOS 16937 HAS SOPS 13274 HAS SOUS 11213 HAS SOUPS 10311 WITH SCORE 10327.937
AT ITER 4637 NEW BEST:: SOT 54048 SOS 16911 HAS SOPS 13273 HAS SOUS 11187 HAS SOUPS 10310 WITH SCORE 10326.911
AT ITER 4668 NEW BEST:: SOT 54038 SOS 16899 HAS SOPS 13259 HAS SOUS 11187 HAS SOUPS 10308 WITH SCORE 10324.899
AT ITER 4678 NEW BEST:: SOT 54038 SOS 16896 HAS SOPS 13259 HAS SOUS 11187 HAS SOUPS 10308 WITH SCORE 10324.896
AT ITER 4722 NEW BEST:: SOT 54032 SOS 16914 HAS SOPS 13277 HAS SOUS 11184 HAS SOUPS 10305 WITH SCORE 10321.914
AT ITER 4809 NEW BEST:: SOT 54029 SOS 16943 HAS SOPS 13306 HAS SOUS 11181 HAS SOUPS 10302 WITH SCORE 10318.943
AT ITER 4812 NEW BEST:: SOT 54029 SOS 16941 HAS SOPS 13304 HAS SOUS 11181 HAS SOUPS 10302 WITH SCORE 10318.941
AT ITER 4837 NEW BEST:: SOT 54047 SOS 16815 HAS SOPS 13160 HAS SOUS 11163 HAS SOUPS 10284 WITH SCORE 10300.815
AT ITER 4864 NEW BEST:: SOT 54047 SOS 16779 HAS SOPS 13124 HAS SOUS 11163 HAS SOUPS 10284 WITH SCORE 10300.779
AT ITER 4866 NEW BEST:: SOT 54056 SOS 16788 HAS SOPS 13137 HAS SOUS 11148 HAS SOUPS 10273 WITH SCORE 10289.788
AT ITER 4919 NEW BEST:: SOT 54054 SOS 16784 HAS SOPS 13135 HAS SOUS 11146 HAS SOUPS 10271 WITH SCORE 10287.784
AT ITER 4921 NEW BEST:: SOT 54055 SOS 16776 HAS SOPS 13135 HAS SOUS 11144 HAS SOUPS 10270 WITH SCORE 10286.776
AT ITER 4966 NEW BEST:: SOT 54054 SOS 16774 HAS SOPS 13133 HAS SOUS 11142 HAS SOUPS 10268 WITH SCORE 10284.774
AT ITER 4984 NEW BEST:: SOT 54053 SOS 16772 HAS SOPS 13132 HAS SOUS 11141 HAS SOUPS 10267 WITH SCORE 10283.772
AT ITER 4987 NEW BEST:: SOT 54053 SOS 16761 HAS SOPS 13132 HAS SOUS 11141 HAS SOUPS 10267 WITH SCORE 10283.761
AT ITER 5016 NEW BEST:: SOT 54049 SOS 16740 HAS SOPS 13124 HAS SOUS 11133 HAS SOUPS 10259 WITH SCORE 10275.74
AT ITER 5034 NEW BEST:: SOT 54048 SOS 16739 HAS SOPS 13123 HAS SOUS 11131 HAS SOUPS 10257 WITH SCORE 10273.739
AT ITER 5046 NEW BEST:: SOT 54047 SOS 16746 HAS SOPS 13130 HAS SOUS 11129 HAS SOUPS 10255 WITH SCORE 10271.746
AT ITER 5079 NEW BEST:: SOT 54023 SOS 16722 HAS SOPS 13106 HAS SOUS 11105 HAS SOUPS 10231 WITH SCORE 10247.722
AT ITER 5127 NEW BEST:: SOT 54019 SOS 16728 HAS SOPS 13112 HAS SOUS 11097 HAS SOUPS 10223 WITH SCORE 10239.728
AT ITER 5156 NEW BEST:: SOT 54019 SOS 16728 HAS SOPS 13112 HAS SOUS 11084 HAS SOUPS 10210 WITH SCORE 10226.728
AT ITER 5207 NEW BEST:: SOT 54025 SOS 16731 HAS SOPS 13105 HAS SOUS 11077 HAS SOUPS 10203 WITH SCORE 10219.731
AT ITER 5219 NEW BEST:: SOT 54031 SOS 16691 HAS SOPS 13071 HAS SOUS 11077 HAS SOUPS 10203 WITH SCORE 10219.691
AT ITER 5312 NEW BEST:: SOT 54032 SOS 16693 HAS SOPS 13070 HAS SOUS 11076 HAS SOUPS 10202 WITH SCORE 10218.693
AT ITER 5337 NEW BEST:: SOT 54031 SOS 16691 HAS SOPS 13068 HAS SOUS 11074 HAS SOUPS 10200 WITH SCORE 10216.691
AT ITER 5382 NEW BEST:: SOT 54035 SOS 16700 HAS SOPS 13047 HAS SOUS 11053 HAS SOUPS 10179 WITH SCORE 10195.7
AT ITER 5493 NEW BEST:: SOT 54029 SOS 16684 HAS SOPS 13035 HAS SOUS 11044 HAS SOUPS 10167 WITH SCORE 10183.684
AT ITER 5499 NEW BEST:: SOT 54026 SOS 16681 HAS SOPS 13029 HAS SOUS 11038 HAS SOUPS 10161 WITH SCORE 10177.681
AT ITER 5550 NEW BEST:: SOT 54026 SOS 16664 HAS SOPS 13029 HAS SOUS 11038 HAS SOUPS 10161 WITH SCORE 10177.664
AT ITER 5562 NEW BEST:: SOT 54034 SOS 16693 HAS SOPS 13044 HAS SOUS 11026 HAS SOUPS 10146 WITH SCORE 10162.693
AT ITER 5588 NEW BEST:: SOT 54032 SOS 16682 HAS SOPS 13040 HAS SOUS 11022 HAS SOUPS 10142 WITH SCORE 10158.682
AT ITER 5644 NEW BEST:: SOT 54096 SOS 17032 HAS SOPS 13316 HAS SOUS 11012 HAS SOUPS 10132 WITH SCORE 10149.032
AT ITER 5660 NEW BEST:: SOT 54088 SOS 17032 HAS SOPS 13320 HAS SOUS 11008 HAS SOUPS 10128 WITH SCORE 10145.032
AT ITER 5669 NEW BEST:: SOT 54030 SOS 17004 HAS SOPS 13294 HAS SOUS 10986 HAS SOUPS 10106 WITH SCORE 10123.004
AT ITER 5721 NEW BEST:: SOT 54031 SOS 16996 HAS SOPS 13294 HAS SOUS 10984 HAS SOUPS 10105 WITH SCORE 10121.996
AT ITER 5756 NEW BEST:: SOT 54029 SOS 16992 HAS SOPS 13290 HAS SOUS 10980 HAS SOUPS 10101 WITH SCORE 10117.992
AT ITER 5758 NEW BEST:: SOT 54024 SOS 16987 HAS SOPS 13285 HAS SOUS 10975 HAS SOUPS 10096 WITH SCORE 10112.987
AT ITER 5793 NEW BEST:: SOT 54024 SOS 16987 HAS SOPS 13285 HAS SOUS 10969 HAS SOUPS 10090 WITH SCORE 10106.987
AT ITER 5805 NEW BEST:: SOT 54020 SOS 16979 HAS SOPS 13277 HAS SOUS 10961 HAS SOUPS 10082 WITH SCORE 10098.979
AT ITER 5819 NEW BEST:: SOT 54028 SOS 16990 HAS SOPS 13274 HAS SOUS 10985 HAS SOUPS 10079 WITH SCORE 10095.99
AT ITER 5825 NEW BEST:: SOT 54028 SOS 16983 HAS SOPS 13267 HAS SOUS 10985 HAS SOUPS 10079 WITH SCORE 10095.983
AT ITER 5910 NEW BEST:: SOT 54028 SOS 16975 HAS SOPS 13259 HAS SOUS 10985 HAS SOUPS 10079 WITH SCORE 10095.975
AT ITER 5923 NEW BEST:: SOT 54026 SOS 16971 HAS SOPS 13255 HAS SOUS 10981 HAS SOUPS 10075 WITH SCORE 10091.971
AT ITER 5961 NEW BEST:: SOT 54023 SOS 16965 HAS SOPS 13249 HAS SOUS 10975 HAS SOUPS 10069 WITH SCORE 10085.965
AT ITER 5973 NEW BEST:: SOT 54030 SOS 16964 HAS SOPS 13238 HAS SOUS 10964 HAS SOUPS 10058 WITH SCORE 10074.964
AT ITER 5985 NEW BEST:: SOT 54024 SOS 16962 HAS SOPS 13236 HAS SOUS 10962 HAS SOUPS 10056 WITH SCORE 10072.962
AT ITER 5990 NEW BEST:: SOT 54020 SOS 16959 HAS SOPS 13233 HAS SOUS 10959 HAS SOUPS 10053 WITH SCORE 10069.959
AT ITER 6028 NEW BEST:: SOT 54018 SOS 16955 HAS SOPS 13229 HAS SOUS 10956 HAS SOUPS 10050 WITH SCORE 10066.955
AT ITER 6030 NEW BEST:: SOT 54016 SOS 16951 HAS SOPS 13225 HAS SOUS 10952 HAS SOUPS 10046 WITH SCORE 10062.951
AT ITER 6054 NEW BEST:: SOT 54014 SOS 16942 HAS SOPS 13216 HAS SOUS 10948 HAS SOUPS 10042 WITH SCORE 10058.942
AT ITER 6055 NEW BEST:: SOT 54000 SOS 16904 HAS SOPS 13188 HAS SOUS 10917 HAS SOUPS 10011 WITH SCORE 10027.904
AT ITER 6097 NEW BEST:: SOT 54001 SOS 16896 HAS SOPS 13181 HAS SOUS 10917 HAS SOUPS 10011 WITH SCORE 10027.896
AT ITER 6132 NEW BEST:: SOT 54001 SOS 16880 HAS SOPS 13165 HAS SOUS 10901 HAS SOUPS 9995 WITH SCORE 10011.88
AT ITER 6136 NEW BEST:: SOT 53997 SOS 16876 HAS SOPS 13157 HAS SOUS 10893 HAS SOUPS 9987 WITH SCORE 10003.876
AT ITER 6326 NEW BEST:: SOT 53989 SOS 16860 HAS SOPS 13148 HAS SOUS 10884 HAS SOUPS 9978 WITH SCORE 9994.86
AT ITER 6401 NEW BEST:: SOT 53980 SOS 16848 HAS SOPS 13136 HAS SOUS 10869 HAS SOUPS 9963 WITH SCORE 9979.848
AT ITER 6415 NEW BEST:: SOT 53979 SOS 16846 HAS SOPS 13134 HAS SOUS 10867 HAS SOUPS 9961 WITH SCORE 9977.846
AT ITER 6443 NEW BEST:: SOT 53978 SOS 16845 HAS SOPS 13133 HAS SOUS 10866 HAS SOUPS 9960 WITH SCORE 9976.845
AT ITER 6540 NEW BEST:: SOT 53965 SOS 16776 HAS SOPS 13065 HAS SOUS 10840 HAS SOUPS 9934 WITH SCORE 9950.776
AT ITER 6597 NEW BEST:: SOT 53969 SOS 16752 HAS SOPS 13026 HAS SOUS 10833 HAS SOUPS 9927 WITH SCORE 9943.752
AT ITER 6751 NEW BEST:: SOT 53923 SOS 16838 HAS SOPS 12980 HAS SOUS 10815 HAS SOUPS 9890 WITH SCORE 9906.838
AT ITER 6811 NEW BEST:: SOT 53919 SOS 16828 HAS SOPS 12970 HAS SOUS 10805 HAS SOUPS 9880 WITH SCORE 9896.828
AT ITER 6878 NEW BEST:: SOT 53917 SOS 16822 HAS SOPS 12964 HAS SOUS 10801 HAS SOUPS 9876 WITH SCORE 9892.822
AT ITER 7008 NEW BEST:: SOT 53917 SOS 16816 HAS SOPS 12958 HAS SOUS 10795 HAS SOUPS 9870 WITH SCORE 9886.816
AT ITER 7037 NEW BEST:: SOT 53916 SOS 16811 HAS SOPS 12956 HAS SOUS 10793 HAS SOUPS 9868 WITH SCORE 9884.811
AT ITER 7087 NEW BEST:: SOT 53913 SOS 16802 HAS SOPS 12947 HAS SOUS 10787 HAS SOUPS 9862 WITH SCORE 9878.802
AT ITER 7124 NEW BEST:: SOT 53909 SOS 16794 HAS SOPS 12939 HAS SOUS 10779 HAS SOUPS 9854 WITH SCORE 9870.794
AT ITER 7142 NEW BEST:: SOT 53907 SOS 16790 HAS SOPS 12935 HAS SOUS 10775 HAS SOUPS 9850 WITH SCORE 9866.79
AT ITER 7150 NEW BEST:: SOT 53854 SOS 16709 HAS SOPS 12854 HAS SOUS 10694 HAS SOUPS 9769 WITH SCORE 9785.709
AT ITER 7170 NEW BEST:: SOT 53852 SOS 16708 HAS SOPS 12853 HAS SOUS 10693 HAS SOUPS 9768 WITH SCORE 9784.708
AT ITER 7195 NEW BEST:: SOT 53856 SOS 16700 HAS SOPS 12845 HAS SOUS 10685 HAS SOUPS 9760 WITH SCORE 9776.7
AT ITER 7264 NEW BEST:: SOT 53846 SOS 16690 HAS SOPS 12835 HAS SOUS 10675 HAS SOUPS 9750 WITH SCORE 9766.69
AT ITER 7278 NEW BEST:: SOT 53842 SOS 16684 HAS SOPS 12829 HAS SOUS 10669 HAS SOUPS 9744 WITH SCORE 9760.684
AT ITER 7296 NEW BEST:: SOT 53842 SOS 16676 HAS SOPS 12829 HAS SOUS 10669 HAS SOUPS 9744 WITH SCORE 9760.676
AT ITER 7315 NEW BEST:: SOT 53839 SOS 16673 HAS SOPS 12826 HAS SOUS 10666 HAS SOUPS 9741 WITH SCORE 9757.673
AT ITER 7489 NEW BEST:: SOT 53844 SOS 16687 HAS SOPS 12811 HAS SOUS 10654 HAS SOUPS 9729 WITH SCORE 9745.687
AT ITER 7492 NEW BEST:: SOT 53844 SOS 16687 HAS SOPS 12809 HAS SOUS 10654 HAS SOUPS 9727 WITH SCORE 9743.687
AT ITER 7646 NEW BEST:: SOT 53839 SOS 16682 HAS SOPS 12804 HAS SOUS 10649 HAS SOUPS 9722 WITH SCORE 9738.682
AT ITER 7657 NEW BEST:: SOT 53832 SOS 16668 HAS SOPS 12790 HAS SOUS 10637 HAS SOUPS 9710 WITH SCORE 9726.668
AT ITER 7686 NEW BEST:: SOT 53824 SOS 16653 HAS SOPS 12775 HAS SOUS 10627 HAS SOUPS 9700 WITH SCORE 9716.653
AT ITER 7699 NEW BEST:: SOT 53792 SOS 16589 HAS SOPS 12743 HAS SOUS 10627 HAS SOUPS 9700 WITH SCORE 9716.589
AT ITER 7706 NEW BEST:: SOT 53780 SOS 16583 HAS SOPS 12737 HAS SOUS 10621 HAS SOUPS 9694 WITH SCORE 9710.583
AT ITER 7794 NEW BEST:: SOT 53786 SOS 16591 HAS SOPS 12745 HAS SOUS 10618 HAS SOUPS 9691 WITH SCORE 9707.591
AT ITER 7809 NEW BEST:: SOT 53783 SOS 16578 HAS SOPS 12739 HAS SOUS 10612 HAS SOUPS 9685 WITH SCORE 9701.578
AT ITER 7818 NEW BEST:: SOT 53786 SOS 16584 HAS SOPS 12745 HAS SOUS 10610 HAS SOUPS 9683 WITH SCORE 9699.584
AT ITER 7887 NEW BEST:: SOT 53777 SOS 16566 HAS SOPS 12727 HAS SOUS 10592 HAS SOUPS 9665 WITH SCORE 9681.566
AT ITER 7993 NEW BEST:: SOT 53772 SOS 16556 HAS SOPS 12723 HAS SOUS 10588 HAS SOUPS 9661 WITH SCORE 9677.556
AT ITER 8075 NEW BEST:: SOT 53775 SOS 16552 HAS SOPS 12722 HAS SOUS 10587 HAS SOUPS 9660 WITH SCORE 9676.552
AT ITER 8109 NEW BEST:: SOT 53775 SOS 16615 HAS SOPS 12785 HAS SOUS 10585 HAS SOUPS 9658 WITH SCORE 9674.615
AT ITER 8170 NEW BEST:: SOT 53773 SOS 16610 HAS SOPS 12779 HAS SOUS 10581 HAS SOUPS 9654 WITH SCORE 9670.61
AT ITER 8179 NEW BEST:: SOT 53775 SOS 16612 HAS SOPS 12781 HAS SOUS 10574 HAS SOUPS 9647 WITH SCORE 9663.612
AT ITER 8233 NEW BEST:: SOT 53770 SOS 16578 HAS SOPS 12755 HAS SOUS 10572 HAS SOUPS 9645 WITH SCORE 9661.578
AT ITER 8369 NEW BEST:: SOT 53766 SOS 16577 HAS SOPS 12747 HAS SOUS 10571 HAS SOUPS 9637 WITH SCORE 9653.577
AT ITER 8376 NEW BEST:: SOT 53766 SOS 16575 HAS SOPS 12747 HAS SOUS 10571 HAS SOUPS 9637 WITH SCORE 9653.575
AT ITER 8384 NEW BEST:: SOT 53764 SOS 16575 HAS SOPS 12743 HAS SOUS 10567 HAS SOUPS 9633 WITH SCORE 9649.575
AT ITER 8415 NEW BEST:: SOT 53761 SOS 16565 HAS SOPS 12733 HAS SOUS 10561 HAS SOUPS 9627 WITH SCORE 9643.565
AT ITER 8444 NEW BEST:: SOT 53755 SOS 16553 HAS SOPS 12733 HAS SOUS 10561 HAS SOUPS 9627 WITH SCORE 9643.553
AT ITER 8548 NEW BEST:: SOT 53749 SOS 16559 HAS SOPS 12739 HAS SOUS 10549 HAS SOUPS 9615 WITH SCORE 9631.559
AT ITER 8557 NEW BEST:: SOT 53736 SOS 16552 HAS SOPS 12733 HAS SOUS 10542 HAS SOUPS 9609 WITH SCORE 9625.552
AT ITER 8664 NEW BEST:: SOT 53735 SOS 16550 HAS SOPS 12728 HAS SOUS 10537 HAS SOUPS 9604 WITH SCORE 9620.55
AT ITER 8708 NEW BEST:: SOT 53733 SOS 16544 HAS SOPS 12724 HAS SOUS 10533 HAS SOUPS 9600 WITH SCORE 9616.544
AT ITER 8818 NEW BEST:: SOT 53728 SOS 16386 HAS SOPS 12731 HAS SOUS 10518 HAS SOUPS 9600 WITH SCORE 9616.386
AT ITER 8833 NEW BEST:: SOT 53726 SOS 16382 HAS SOPS 12727 HAS SOUS 10514 HAS SOUPS 9596 WITH SCORE 9612.382
AT ITER 8905 NEW BEST:: SOT 53724 SOS 16380 HAS SOPS 12727 HAS SOUS 10514 HAS SOUPS 9596 WITH SCORE 9612.38
AT ITER 8911 NEW BEST:: SOT 53721 SOS 16377 HAS SOPS 12723 HAS SOUS 10510 HAS SOUPS 9592 WITH SCORE 9608.377
AT ITER 9041 NEW BEST:: SOT 53720 SOS 16375 HAS SOPS 12721 HAS SOUS 10508 HAS SOUPS 9590 WITH SCORE 9606.375
AT ITER 9081 NEW BEST:: SOT 53720 SOS 16370 HAS SOPS 12721 HAS SOUS 10503 HAS SOUPS 9590 WITH SCORE 9606.37
AT ITER 9110 NEW BEST:: SOT 53719 SOS 16387 HAS SOPS 12719 HAS SOUS 10501 HAS SOUPS 9588 WITH SCORE 9604.387
AT ITER 9126 NEW BEST:: SOT 53715 SOS 16383 HAS SOPS 12715 HAS SOUS 10497 HAS SOUPS 9584 WITH SCORE 9600.383
AT ITER 9173 NEW BEST:: SOT 53714 SOS 16382 HAS SOPS 12713 HAS SOUS 10495 HAS SOUPS 9582 WITH SCORE 9598.382
AT ITER 9213 NEW BEST:: SOT 53710 SOS 16371 HAS SOPS 12713 HAS SOUS 10495 HAS SOUPS 9582 WITH SCORE 9598.371
AT ITER 9309 NEW BEST:: SOT 53693 SOS 16337 HAS SOPS 12700 HAS SOUS 10482 HAS SOUPS 9569 WITH SCORE 9585.337
AT ITER 9314 NEW BEST:: SOT 53693 SOS 16262 HAS SOPS 12625 HAS SOUS 10482 HAS SOUPS 9569 WITH SCORE 9585.262
AT ITER 9331 NEW BEST:: SOT 53693 SOS 16250 HAS SOPS 12613 HAS SOUS 10482 HAS SOUPS 9569 WITH SCORE 9585.25
AT ITER 9391 NEW BEST:: SOT 53691 SOS 16246 HAS SOPS 12609 HAS SOUS 10478 HAS SOUPS 9565 WITH SCORE 9581.246
AT ITER 9447 NEW BEST:: SOT 53691 SOS 16244 HAS SOPS 12609 HAS SOUS 10478 HAS SOUPS 9565 WITH SCORE 9581.244
AT ITER 9527 NEW BEST:: SOT 53690 SOS 16242 HAS SOPS 12607 HAS SOUS 10476 HAS SOUPS 9563 WITH SCORE 9579.242
AT ITER 9528 NEW BEST:: SOT 53688 SOS 16238 HAS SOPS 12605 HAS SOUS 10474 HAS SOUPS 9561 WITH SCORE 9577.238
AT ITER 9606 NEW BEST:: SOT 53693 SOS 16233 HAS SOPS 12595 HAS SOUS 10469 HAS SOUPS 9556 WITH SCORE 9572.233
AT ITER 9655 NEW BEST:: SOT 53692 SOS 16246 HAS SOPS 12594 HAS SOUS 10468 HAS SOUPS 9555 WITH SCORE 9571.246
AT ITER 9790 NEW BEST:: SOT 53692 SOS 16246 HAS SOPS 12593 HAS SOUS 10467 HAS SOUPS 9554 WITH SCORE 9570.246
AT ITER 9791 NEW BEST:: SOT 53692 SOS 16243 HAS SOPS 12590 HAS SOUS 10467 HAS SOUPS 9554 WITH SCORE 9570.243
AT ITER 9903 NEW BEST:: SOT 53691 SOS 16249 HAS SOPS 12588 HAS SOUS 10465 HAS SOUPS 9552 WITH SCORE 9568.249
AT ITER 9931 NEW BEST:: SOT 53694 SOS 16255 HAS SOPS 12587 HAS SOUS 10464 HAS SOUPS 9551 WITH SCORE 9567.255
AT ITER 9958 NEW BEST:: SOT 53694 SOS 16255 HAS SOPS 12573 HAS SOUS 10450 HAS SOUPS 9537 WITH SCORE 9553.255
STATE_SPACE STATES 3407946 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13631784 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678929402399

--------------------
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="Peterson-COL-3"
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 Peterson-COL-3, 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 r267-smll-167863542000568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-3.tgz
mv Peterson-COL-3 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 ;