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.r363-smll-167891813900216.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 SafeBus-COL-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813900216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 6.8K Feb 26 01:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 01:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 01:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 01:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679051146913

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=SafeBus-COL-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 11:05:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 11:05:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 11:05:50] [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-17 11:05:50] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 11:05:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1036 ms
[2023-03-17 11:05:51] [INFO ] Detected 1 constant HL places corresponding to 6 PT places.
[2023-03-17 11:05:51] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 150 PT places and 2029.0 transition bindings in 39 ms.
[2023-03-17 11:05:51] [INFO ] Unfolded HLPN to a Petri net with 150 places and 463 transitions 2962 arcs in 74 ms.
[2023-03-17 11:05:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-17 11:05:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 150 places, 463 transitions and 2962 arcs took 19 ms.
Total runtime 1480 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 06
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: 150 places, 463 transitions, 2962 arcs.
AT ITER 0 NEW BEST:: SOT 39877 SOS 29547 HAS SOPS 29349 HAS SOUS 15283 HAS SOUPS 15176 WITH SCORE 15205.547
AT ITER 1 NEW BEST:: SOT 39922 SOS 29559 HAS SOPS 29328 HAS SOUS 15202 HAS SOUPS 15062 WITH SCORE 15091.559
AT ITER 2 NEW BEST:: SOT 40016 SOS 29637 HAS SOPS 29422 HAS SOUS 15183 HAS SOUPS 15059 WITH SCORE 15088.637
AT ITER 13 NEW BEST:: SOT 39682 SOS 29343 HAS SOPS 29128 HAS SOUS 14824 HAS SOUPS 14700 WITH SCORE 14729.343
AT ITER 25 NEW BEST:: SOT 39770 SOS 29397 HAS SOPS 29139 HAS SOUS 14748 HAS SOUPS 14581 WITH SCORE 14610.397
AT ITER 32 NEW BEST:: SOT 39770 SOS 30377 HAS SOPS 29615 HAS SOUS 14747 HAS SOUPS 14566 WITH SCORE 14596.377
AT ITER 38 NEW BEST:: SOT 39864 SOS 30434 HAS SOPS 29614 HAS SOUS 14609 HAS SOUPS 14370 WITH SCORE 14400.434
AT ITER 59 NEW BEST:: SOT 39694 SOS 30268 HAS SOPS 29452 HAS SOUS 14447 HAS SOUPS 14212 WITH SCORE 14242.268
AT ITER 73 NEW BEST:: SOT 39618 SOS 30192 HAS SOPS 29376 HAS SOUS 14339 HAS SOUPS 14104 WITH SCORE 14134.192
AT ITER 74 NEW BEST:: SOT 39594 SOS 30152 HAS SOPS 29332 HAS SOUS 14343 HAS SOUPS 14104 WITH SCORE 14134.152
AT ITER 76 NEW BEST:: SOT 39582 SOS 30140 HAS SOPS 29320 HAS SOUS 14329 HAS SOUPS 14090 WITH SCORE 14120.14
AT ITER 77 NEW BEST:: SOT 38297 SOS 28814 HAS SOPS 27994 HAS SOUS 13059 HAS SOUPS 12820 WITH SCORE 12848.814
AT ITER 79 NEW BEST:: SOT 38289 SOS 28806 HAS SOPS 27986 HAS SOUS 13051 HAS SOUPS 12812 WITH SCORE 12840.806
AT ITER 86 NEW BEST:: SOT 38353 SOS 28924 HAS SOPS 28110 HAS SOUS 13037 HAS SOUPS 12804 WITH SCORE 12832.924
AT ITER 95 NEW BEST:: SOT 38367 SOS 27709 HAS SOPS 26863 HAS SOUS 13027 HAS SOUPS 12762 WITH SCORE 12789.709
AT ITER 101 NEW BEST:: SOT 38272 SOS 27530 HAS SOPS 26684 HAS SOUS 12908 HAS SOUPS 12643 WITH SCORE 12670.53
AT ITER 104 NEW BEST:: SOT 38217 SOS 27628 HAS SOPS 26795 HAS SOUS 12857 HAS SOUPS 12605 WITH SCORE 12632.628
AT ITER 111 NEW BEST:: SOT 37471 SOS 26913 HAS SOPS 26144 HAS SOUS 12121 HAS SOUPS 11933 WITH SCORE 11959.913
AT ITER 116 NEW BEST:: SOT 37776 SOS 27203 HAS SOPS 26449 HAS SOUS 12078 HAS SOUPS 11905 WITH SCORE 11932.203
AT ITER 120 NEW BEST:: SOT 37767 SOS 27194 HAS SOPS 26440 HAS SOUS 12065 HAS SOUPS 11892 WITH SCORE 11919.194
AT ITER 129 NEW BEST:: SOT 37719 SOS 27144 HAS SOPS 26390 HAS SOUS 12001 HAS SOUPS 11828 WITH SCORE 11855.144
AT ITER 144 NEW BEST:: SOT 37673 SOS 27069 HAS SOPS 26304 HAS SOUS 11923 HAS SOUPS 11739 WITH SCORE 11766.069
AT ITER 145 NEW BEST:: SOT 37548 SOS 27093 HAS SOPS 26328 HAS SOUS 11797 HAS SOUPS 11613 WITH SCORE 11640.093
AT ITER 146 NEW BEST:: SOT 37547 SOS 27092 HAS SOPS 26327 HAS SOUS 11774 HAS SOUPS 11590 WITH SCORE 11617.092
AT ITER 157 NEW BEST:: SOT 37495 SOS 27040 HAS SOPS 26275 HAS SOUS 11704 HAS SOUPS 11520 WITH SCORE 11547.04
AT ITER 159 NEW BEST:: SOT 37495 SOS 27030 HAS SOPS 26275 HAS SOUS 11608 HAS SOUPS 11434 WITH SCORE 11461.03
AT ITER 167 NEW BEST:: SOT 37480 SOS 27105 HAS SOPS 26350 HAS SOUS 11575 HAS SOUPS 11401 WITH SCORE 11428.105
AT ITER 170 NEW BEST:: SOT 37438 SOS 27041 HAS SOPS 26308 HAS SOUS 11524 HAS SOUPS 11372 WITH SCORE 11399.041
AT ITER 177 NEW BEST:: SOT 37424 SOS 27027 HAS SOPS 26294 HAS SOUS 11506 HAS SOUPS 11354 WITH SCORE 11381.027
AT ITER 186 NEW BEST:: SOT 37424 SOS 27027 HAS SOPS 26294 HAS SOUS 11500 HAS SOUPS 11348 WITH SCORE 11375.027
AT ITER 201 NEW BEST:: SOT 37306 SOS 26912 HAS SOPS 26179 HAS SOUS 11374 HAS SOUPS 11222 WITH SCORE 11248.912
AT ITER 206 NEW BEST:: SOT 37234 SOS 26822 HAS SOPS 26089 HAS SOUS 11284 HAS SOUPS 11132 WITH SCORE 11158.822
AT ITER 209 NEW BEST:: SOT 37268 SOS 26856 HAS SOPS 26123 HAS SOUS 11283 HAS SOUPS 11131 WITH SCORE 11157.856
AT ITER 216 NEW BEST:: SOT 37244 SOS 26832 HAS SOPS 26099 HAS SOUS 11259 HAS SOUPS 11107 WITH SCORE 11133.832
AT ITER 224 NEW BEST:: SOT 37244 SOS 26738 HAS SOPS 25997 HAS SOUS 11266 HAS SOUPS 11106 WITH SCORE 11132.738
AT ITER 242 NEW BEST:: SOT 37240 SOS 26734 HAS SOPS 25993 HAS SOUS 11262 HAS SOUPS 11102 WITH SCORE 11128.734
AT ITER 246 NEW BEST:: SOT 37208 SOS 26741 HAS SOPS 26000 HAS SOUS 11238 HAS SOUPS 11078 WITH SCORE 11104.741
AT ITER 251 NEW BEST:: SOT 37200 SOS 26733 HAS SOPS 25992 HAS SOUS 11206 HAS SOUPS 11046 WITH SCORE 11072.733
AT ITER 266 NEW BEST:: SOT 37147 SOS 26663 HAS SOPS 25939 HAS SOUS 11102 HAS SOUPS 10959 WITH SCORE 10985.663
AT ITER 288 NEW BEST:: SOT 37005 SOS 26521 HAS SOPS 25797 HAS SOUS 10982 HAS SOUPS 10839 WITH SCORE 10865.521
AT ITER 289 NEW BEST:: SOT 37005 SOS 26581 HAS SOPS 25857 HAS SOUS 10981 HAS SOUPS 10838 WITH SCORE 10864.581
AT ITER 296 NEW BEST:: SOT 37005 SOS 26325 HAS SOPS 25601 HAS SOUS 10981 HAS SOUPS 10838 WITH SCORE 10864.325
AT ITER 301 NEW BEST:: SOT 36999 SOS 26319 HAS SOPS 25595 HAS SOUS 10975 HAS SOUPS 10832 WITH SCORE 10858.319
AT ITER 308 NEW BEST:: SOT 37037 SOS 26357 HAS SOPS 25633 HAS SOUS 10966 HAS SOUPS 10823 WITH SCORE 10849.357
AT ITER 318 NEW BEST:: SOT 37043 SOS 26363 HAS SOPS 25639 HAS SOUS 10959 HAS SOUPS 10816 WITH SCORE 10842.363
AT ITER 321 NEW BEST:: SOT 37035 SOS 26355 HAS SOPS 25631 HAS SOUS 10957 HAS SOUPS 10814 WITH SCORE 10840.355
AT ITER 326 NEW BEST:: SOT 37035 SOS 26349 HAS SOPS 25625 HAS SOUS 10954 HAS SOUPS 10811 WITH SCORE 10837.349
AT ITER 336 NEW BEST:: SOT 37018 SOS 26332 HAS SOPS 25608 HAS SOUS 10946 HAS SOUPS 10803 WITH SCORE 10829.332
AT ITER 342 NEW BEST:: SOT 37012 SOS 26326 HAS SOPS 25602 HAS SOUS 10934 HAS SOUPS 10791 WITH SCORE 10817.326
AT ITER 367 NEW BEST:: SOT 37076 SOS 26390 HAS SOPS 25666 HAS SOUS 10923 HAS SOUPS 10780 WITH SCORE 10806.39
AT ITER 370 NEW BEST:: SOT 37076 SOS 26383 HAS SOPS 25659 HAS SOUS 10923 HAS SOUPS 10780 WITH SCORE 10806.383
AT ITER 384 NEW BEST:: SOT 37026 SOS 26333 HAS SOPS 25609 HAS SOUS 10915 HAS SOUPS 10772 WITH SCORE 10798.333
AT ITER 387 NEW BEST:: SOT 36976 SOS 26283 HAS SOPS 25559 HAS SOUS 10865 HAS SOUPS 10722 WITH SCORE 10748.283
AT ITER 396 NEW BEST:: SOT 36958 SOS 26262 HAS SOPS 25541 HAS SOUS 10807 HAS SOUPS 10667 WITH SCORE 10693.262
AT ITER 397 NEW BEST:: SOT 36946 SOS 26250 HAS SOPS 25529 HAS SOUS 10763 HAS SOUPS 10623 WITH SCORE 10649.25
AT ITER 412 NEW BEST:: SOT 36974 SOS 26278 HAS SOPS 25557 HAS SOUS 10710 HAS SOUPS 10570 WITH SCORE 10596.278
AT ITER 420 NEW BEST:: SOT 36974 SOS 26978 HAS SOPS 25897 HAS SOUS 10705 HAS SOUPS 10555 WITH SCORE 10581.978
AT ITER 423 NEW BEST:: SOT 36974 SOS 26972 HAS SOPS 25891 HAS SOUS 10689 HAS SOUPS 10539 WITH SCORE 10565.972
AT ITER 432 NEW BEST:: SOT 36932 SOS 26930 HAS SOPS 25849 HAS SOUS 10645 HAS SOUPS 10495 WITH SCORE 10521.93
AT ITER 439 NEW BEST:: SOT 37093 SOS 26986 HAS SOPS 25846 HAS SOUS 10701 HAS SOUPS 10492 WITH SCORE 10518.986
AT ITER 455 NEW BEST:: SOT 37093 SOS 26936 HAS SOPS 25796 HAS SOUS 10688 HAS SOUPS 10479 WITH SCORE 10505.936
AT ITER 463 NEW BEST:: SOT 37082 SOS 26925 HAS SOPS 25785 HAS SOUS 10665 HAS SOUPS 10456 WITH SCORE 10482.925
AT ITER 466 NEW BEST:: SOT 37012 SOS 26855 HAS SOPS 25717 HAS SOUS 10623 HAS SOUPS 10416 WITH SCORE 10442.855
AT ITER 472 NEW BEST:: SOT 37014 SOS 26857 HAS SOPS 25719 HAS SOUS 10610 HAS SOUPS 10403 WITH SCORE 10429.857
AT ITER 490 NEW BEST:: SOT 37014 SOS 26857 HAS SOPS 25719 HAS SOUS 10591 HAS SOUPS 10384 WITH SCORE 10410.857
AT ITER 495 NEW BEST:: SOT 36939 SOS 26781 HAS SOPS 25643 HAS SOUS 10591 HAS SOUPS 10384 WITH SCORE 10410.781
AT ITER 511 NEW BEST:: SOT 36930 SOS 26764 HAS SOPS 25634 HAS SOUS 10564 HAS SOUPS 10365 WITH SCORE 10391.764
AT ITER 514 NEW BEST:: SOT 36910 SOS 26744 HAS SOPS 25614 HAS SOUS 10535 HAS SOUPS 10336 WITH SCORE 10362.744
AT ITER 538 NEW BEST:: SOT 36905 SOS 26739 HAS SOPS 25609 HAS SOUS 10535 HAS SOUPS 10336 WITH SCORE 10362.739
AT ITER 550 NEW BEST:: SOT 36901 SOS 26735 HAS SOPS 25605 HAS SOUS 10529 HAS SOUPS 10330 WITH SCORE 10356.735
AT ITER 561 NEW BEST:: SOT 36888 SOS 26728 HAS SOPS 25598 HAS SOUS 10519 HAS SOUPS 10320 WITH SCORE 10346.728
AT ITER 569 NEW BEST:: SOT 36888 SOS 26728 HAS SOPS 25598 HAS SOUS 10518 HAS SOUPS 10319 WITH SCORE 10345.728
AT ITER 576 NEW BEST:: SOT 36883 SOS 26723 HAS SOPS 25593 HAS SOUS 10512 HAS SOUPS 10313 WITH SCORE 10339.723
AT ITER 581 NEW BEST:: SOT 36911 SOS 26751 HAS SOPS 25619 HAS SOUS 10510 HAS SOUPS 10309 WITH SCORE 10335.751
AT ITER 582 NEW BEST:: SOT 36911 SOS 26751 HAS SOPS 25619 HAS SOUS 10508 HAS SOUPS 10307 WITH SCORE 10333.751
AT ITER 583 NEW BEST:: SOT 36859 SOS 26699 HAS SOPS 25567 HAS SOUS 10433 HAS SOUPS 10232 WITH SCORE 10258.699
AT ITER 588 NEW BEST:: SOT 36816 SOS 26656 HAS SOPS 25524 HAS SOUS 10410 HAS SOUPS 10209 WITH SCORE 10235.656
AT ITER 591 NEW BEST:: SOT 36771 SOS 26545 HAS SOPS 25413 HAS SOUS 10387 HAS SOUPS 10186 WITH SCORE 10212.545
AT ITER 600 NEW BEST:: SOT 36680 SOS 26454 HAS SOPS 25322 HAS SOUS 10285 HAS SOUPS 10084 WITH SCORE 10110.454
AT ITER 605 NEW BEST:: SOT 36676 SOS 26450 HAS SOPS 25318 HAS SOUS 10269 HAS SOUPS 10068 WITH SCORE 10094.45
AT ITER 606 NEW BEST:: SOT 36759 SOS 26514 HAS SOPS 25401 HAS SOUS 10186 HAS SOUPS 10004 WITH SCORE 10030.514
AT ITER 609 NEW BEST:: SOT 36753 SOS 26508 HAS SOPS 25395 HAS SOUS 10174 HAS SOUPS 9992 WITH SCORE 10018.508
AT ITER 694 NEW BEST:: SOT 36747 SOS 26502 HAS SOPS 25389 HAS SOUS 10168 HAS SOUPS 9986 WITH SCORE 10012.502
AT ITER 698 NEW BEST:: SOT 36737 SOS 26492 HAS SOPS 25379 HAS SOUS 10158 HAS SOUPS 9976 WITH SCORE 10002.492
AT ITER 703 NEW BEST:: SOT 36730 SOS 26464 HAS SOPS 25345 HAS SOUS 10139 HAS SOUPS 9951 WITH SCORE 9977.464
AT ITER 705 NEW BEST:: SOT 36722 SOS 26458 HAS SOPS 25339 HAS SOUS 10131 HAS SOUPS 9943 WITH SCORE 9969.458
AT ITER 707 NEW BEST:: SOT 36709 SOS 26445 HAS SOPS 25326 HAS SOUS 10102 HAS SOUPS 9914 WITH SCORE 9940.445
AT ITER 727 NEW BEST:: SOT 36559 SOS 26295 HAS SOPS 25176 HAS SOUS 9881 HAS SOUPS 9693 WITH SCORE 9719.295
AT ITER 746 NEW BEST:: SOT 36562 SOS 26414 HAS SOPS 25295 HAS SOUS 9859 HAS SOUPS 9671 WITH SCORE 9697.414
AT ITER 766 NEW BEST:: SOT 36550 SOS 26395 HAS SOPS 25283 HAS SOUS 9831 HAS SOUPS 9650 WITH SCORE 9676.395
AT ITER 770 NEW BEST:: SOT 36549 SOS 26385 HAS SOPS 25282 HAS SOUS 9793 HAS SOUPS 9621 WITH SCORE 9647.385
AT ITER 779 NEW BEST:: SOT 36569 SOS 26585 HAS SOPS 25482 HAS SOUS 9774 HAS SOUPS 9602 WITH SCORE 9628.585
AT ITER 821 NEW BEST:: SOT 36569 SOS 26585 HAS SOPS 25482 HAS SOUS 9769 HAS SOUPS 9597 WITH SCORE 9623.585
AT ITER 822 NEW BEST:: SOT 36555 SOS 26575 HAS SOPS 25480 HAS SOUS 9753 HAS SOUPS 9589 WITH SCORE 9615.575
AT ITER 842 NEW BEST:: SOT 36492 SOS 26512 HAS SOPS 25417 HAS SOUS 9690 HAS SOUPS 9526 WITH SCORE 9552.512
AT ITER 847 NEW BEST:: SOT 36435 SOS 26485 HAS SOPS 25390 HAS SOUS 9631 HAS SOUPS 9467 WITH SCORE 9493.485
AT ITER 851 NEW BEST:: SOT 36450 SOS 26500 HAS SOPS 25405 HAS SOUS 9630 HAS SOUPS 9466 WITH SCORE 9492.5
AT ITER 856 NEW BEST:: SOT 36359 SOS 26277 HAS SOPS 25169 HAS SOUS 9513 HAS SOUPS 9336 WITH SCORE 9362.277
AT ITER 869 NEW BEST:: SOT 36324 SOS 26092 HAS SOPS 24984 HAS SOUS 9472 HAS SOUPS 9295 WITH SCORE 9321.092
AT ITER 884 NEW BEST:: SOT 36324 SOS 26092 HAS SOPS 24984 HAS SOUS 9470 HAS SOUPS 9293 WITH SCORE 9319.092
AT ITER 906 NEW BEST:: SOT 36200 SOS 26003 HAS SOPS 24895 HAS SOUS 9353 HAS SOUPS 9176 WITH SCORE 9202.003
AT ITER 908 NEW BEST:: SOT 36221 SOS 25995 HAS SOPS 24887 HAS SOUS 9333 HAS SOUPS 9156 WITH SCORE 9181.995
AT ITER 909 NEW BEST:: SOT 36206 SOS 25980 HAS SOPS 24872 HAS SOUS 9312 HAS SOUPS 9135 WITH SCORE 9160.98
AT ITER 926 NEW BEST:: SOT 36194 SOS 25968 HAS SOPS 24860 HAS SOUS 9288 HAS SOUPS 9111 WITH SCORE 9136.968
AT ITER 927 NEW BEST:: SOT 36186 SOS 25946 HAS SOPS 24838 HAS SOUS 9282 HAS SOUPS 9105 WITH SCORE 9130.946
AT ITER 930 NEW BEST:: SOT 36068 SOS 25998 HAS SOPS 24890 HAS SOUS 9178 HAS SOUPS 9001 WITH SCORE 9026.998
AT ITER 931 NEW BEST:: SOT 36019 SOS 25949 HAS SOPS 24841 HAS SOUS 9129 HAS SOUPS 8952 WITH SCORE 8977.949
AT ITER 932 NEW BEST:: SOT 36005 SOS 25935 HAS SOPS 24827 HAS SOUS 9125 HAS SOUPS 8948 WITH SCORE 8973.935
AT ITER 943 NEW BEST:: SOT 35987 SOS 25899 HAS SOPS 24791 HAS SOUS 9098 HAS SOUPS 8921 WITH SCORE 8946.899
AT ITER 948 NEW BEST:: SOT 35936 SOS 25848 HAS SOPS 24740 HAS SOUS 9037 HAS SOUPS 8860 WITH SCORE 8885.848
AT ITER 981 NEW BEST:: SOT 35934 SOS 25846 HAS SOPS 24742 HAS SOUS 9007 HAS SOUPS 8834 WITH SCORE 8859.846
AT ITER 1005 NEW BEST:: SOT 35921 SOS 25823 HAS SOPS 24729 HAS SOUS 8974 HAS SOUPS 8811 WITH SCORE 8836.823
AT ITER 1012 NEW BEST:: SOT 36036 SOS 25933 HAS SOPS 24844 HAS SOUS 8957 HAS SOUPS 8799 WITH SCORE 8824.933
AT ITER 1042 NEW BEST:: SOT 36028 SOS 25925 HAS SOPS 24836 HAS SOUS 8945 HAS SOUPS 8787 WITH SCORE 8812.925
AT ITER 1052 NEW BEST:: SOT 36040 SOS 25937 HAS SOPS 24848 HAS SOUS 8901 HAS SOUPS 8743 WITH SCORE 8768.937
AT ITER 1075 NEW BEST:: SOT 36051 SOS 25946 HAS SOPS 24859 HAS SOUS 8876 HAS SOUPS 8720 WITH SCORE 8745.946
AT ITER 1079 NEW BEST:: SOT 36013 SOS 25924 HAS SOPS 24837 HAS SOUS 8826 HAS SOUPS 8670 WITH SCORE 8695.924
AT ITER 1117 NEW BEST:: SOT 36012 SOS 25923 HAS SOPS 24836 HAS SOUS 8825 HAS SOUPS 8669 WITH SCORE 8694.923
AT ITER 1136 NEW BEST:: SOT 35991 SOS 25906 HAS SOPS 24819 HAS SOUS 8776 HAS SOUPS 8620 WITH SCORE 8645.906
AT ITER 1150 NEW BEST:: SOT 35989 SOS 25907 HAS SOPS 24820 HAS SOUS 8774 HAS SOUPS 8618 WITH SCORE 8643.907
AT ITER 1163 NEW BEST:: SOT 35995 SOS 25913 HAS SOPS 24826 HAS SOUS 8768 HAS SOUPS 8612 WITH SCORE 8637.913
AT ITER 1167 NEW BEST:: SOT 35848 SOS 25766 HAS SOPS 24679 HAS SOUS 8733 HAS SOUPS 8577 WITH SCORE 8602.766
AT ITER 1174 NEW BEST:: SOT 35848 SOS 25766 HAS SOPS 24679 HAS SOUS 8724 HAS SOUPS 8568 WITH SCORE 8593.766
AT ITER 1179 NEW BEST:: SOT 35848 SOS 26765 HAS SOPS 24682 HAS SOUS 8726 HAS SOUPS 8561 WITH SCORE 8587.765
AT ITER 1206 NEW BEST:: SOT 35848 SOS 26441 HAS SOPS 24670 HAS SOUS 8724 HAS SOUPS 8561 WITH SCORE 8587.441
AT ITER 1212 NEW BEST:: SOT 35848 SOS 26441 HAS SOPS 24670 HAS SOUS 8719 HAS SOUPS 8556 WITH SCORE 8582.441
AT ITER 1274 NEW BEST:: SOT 35842 SOS 26433 HAS SOPS 24664 HAS SOUS 8697 HAS SOUPS 8536 WITH SCORE 8562.433
AT ITER 1286 NEW BEST:: SOT 35817 SOS 26403 HAS SOPS 24641 HAS SOUS 8617 HAS SOUPS 8463 WITH SCORE 8489.403
AT ITER 1310 NEW BEST:: SOT 35815 SOS 26401 HAS SOPS 24639 HAS SOUS 8615 HAS SOUPS 8461 WITH SCORE 8487.401
AT ITER 1318 NEW BEST:: SOT 35753 SOS 26345 HAS SOPS 24583 HAS SOUS 8551 HAS SOUPS 8397 WITH SCORE 8423.345
AT ITER 1401 NEW BEST:: SOT 35753 SOS 26235 HAS SOPS 24185 HAS SOUS 8551 HAS SOUPS 8397 WITH SCORE 8423.235
AT ITER 1405 NEW BEST:: SOT 35589 SOS 26081 HAS SOPS 24026 HAS SOUS 8531 HAS SOUPS 8372 WITH SCORE 8398.081
AT ITER 1433 NEW BEST:: SOT 35589 SOS 26081 HAS SOPS 24026 HAS SOUS 8524 HAS SOUPS 8365 WITH SCORE 8391.081
AT ITER 1490 NEW BEST:: SOT 35589 SOS 26081 HAS SOPS 24026 HAS SOUS 8522 HAS SOUPS 8363 WITH SCORE 8389.081
AT ITER 1559 NEW BEST:: SOT 35589 SOS 26081 HAS SOPS 24026 HAS SOUS 8506 HAS SOUPS 8347 WITH SCORE 8373.081
AT ITER 1568 NEW BEST:: SOT 35589 SOS 26090 HAS SOPS 23711 HAS SOUS 8497 HAS SOUPS 8338 WITH SCORE 8364.09
AT ITER 1579 NEW BEST:: SOT 35559 SOS 26124 HAS SOPS 23745 HAS SOUS 8481 HAS SOUPS 8322 WITH SCORE 8348.124
AT ITER 1590 NEW BEST:: SOT 35523 SOS 26061 HAS SOPS 23677 HAS SOUS 8437 HAS SOUPS 8273 WITH SCORE 8299.061
AT ITER 1594 NEW BEST:: SOT 35521 SOS 26058 HAS SOPS 23675 HAS SOUS 8432 HAS SOUPS 8269 WITH SCORE 8295.058
AT ITER 1597 NEW BEST:: SOT 35555 SOS 26080 HAS SOPS 23709 HAS SOUS 8370 HAS SOUPS 8219 WITH SCORE 8245.08
AT ITER 1601 NEW BEST:: SOT 35587 SOS 26072 HAS SOPS 23701 HAS SOUS 8370 HAS SOUPS 8219 WITH SCORE 8245.072
AT ITER 1603 NEW BEST:: SOT 35587 SOS 26072 HAS SOPS 23701 HAS SOUS 8369 HAS SOUPS 8218 WITH SCORE 8244.072
AT ITER 1619 NEW BEST:: SOT 35581 SOS 26066 HAS SOPS 23695 HAS SOUS 8363 HAS SOUPS 8212 WITH SCORE 8238.066
AT ITER 1635 NEW BEST:: SOT 35581 SOS 26066 HAS SOPS 23695 HAS SOUS 8361 HAS SOUPS 8210 WITH SCORE 8236.066
AT ITER 1639 NEW BEST:: SOT 35581 SOS 26065 HAS SOPS 23730 HAS SOUS 8360 HAS SOUPS 8209 WITH SCORE 8235.065
AT ITER 1647 NEW BEST:: SOT 35592 SOS 26076 HAS SOPS 23741 HAS SOUS 8349 HAS SOUPS 8198 WITH SCORE 8224.076
AT ITER 1655 NEW BEST:: SOT 35556 SOS 26040 HAS SOPS 23705 HAS SOUS 8299 HAS SOUPS 8148 WITH SCORE 8174.04
AT ITER 1663 NEW BEST:: SOT 35538 SOS 26020 HAS SOPS 23687 HAS SOUS 8277 HAS SOUPS 8128 WITH SCORE 8154.02
AT ITER 1690 NEW BEST:: SOT 35537 SOS 26019 HAS SOPS 23686 HAS SOUS 8276 HAS SOUPS 8127 WITH SCORE 8153.019
AT ITER 1716 NEW BEST:: SOT 35537 SOS 26011 HAS SOPS 23678 HAS SOUS 8272 HAS SOUPS 8123 WITH SCORE 8149.011
AT ITER 1756 NEW BEST:: SOT 35545 SOS 26019 HAS SOPS 23686 HAS SOUS 8269 HAS SOUPS 8120 WITH SCORE 8146.019
AT ITER 1764 NEW BEST:: SOT 35542 SOS 26016 HAS SOPS 23683 HAS SOUS 8268 HAS SOUPS 8119 WITH SCORE 8145.016
AT ITER 1785 NEW BEST:: SOT 35541 SOS 26015 HAS SOPS 23682 HAS SOUS 8268 HAS SOUPS 8119 WITH SCORE 8145.015
AT ITER 1837 NEW BEST:: SOT 35534 SOS 26008 HAS SOPS 23675 HAS SOUS 8268 HAS SOUPS 8119 WITH SCORE 8145.008
AT ITER 1860 NEW BEST:: SOT 35534 SOS 26008 HAS SOPS 23675 HAS SOUS 8258 HAS SOUPS 8109 WITH SCORE 8135.008
AT ITER 1876 NEW BEST:: SOT 35534 SOS 25990 HAS SOPS 23657 HAS SOUS 8233 HAS SOUPS 8084 WITH SCORE 8109.99
AT ITER 1881 NEW BEST:: SOT 35537 SOS 25426 HAS SOPS 23081 HAS SOUS 8233 HAS SOUPS 8072 WITH SCORE 8097.426
AT ITER 1910 NEW BEST:: SOT 35525 SOS 25414 HAS SOPS 23069 HAS SOUS 8218 HAS SOUPS 8057 WITH SCORE 8082.414
AT ITER 1925 NEW BEST:: SOT 35522 SOS 25411 HAS SOPS 23066 HAS SOUS 8215 HAS SOUPS 8054 WITH SCORE 8079.411
AT ITER 1943 NEW BEST:: SOT 35522 SOS 25411 HAS SOPS 23066 HAS SOUS 8210 HAS SOUPS 8049 WITH SCORE 8074.411
AT ITER 1952 NEW BEST:: SOT 35522 SOS 25411 HAS SOPS 23066 HAS SOUS 8208 HAS SOUPS 8047 WITH SCORE 8072.411
AT ITER 1985 NEW BEST:: SOT 35510 SOS 25399 HAS SOPS 23054 HAS SOUS 8207 HAS SOUPS 8046 WITH SCORE 8071.399
AT ITER 2007 NEW BEST:: SOT 35505 SOS 25394 HAS SOPS 23049 HAS SOUS 8189 HAS SOUPS 8028 WITH SCORE 8053.394
AT ITER 2027 NEW BEST:: SOT 35504 SOS 25390 HAS SOPS 23045 HAS SOUS 8185 HAS SOUPS 8024 WITH SCORE 8049.39
AT ITER 2045 NEW BEST:: SOT 35504 SOS 25385 HAS SOPS 23220 HAS SOUS 8180 HAS SOUPS 8019 WITH SCORE 8044.385
AT ITER 2048 NEW BEST:: SOT 35503 SOS 25383 HAS SOPS 23219 HAS SOUS 8162 HAS SOUPS 8002 WITH SCORE 8027.383
AT ITER 2087 NEW BEST:: SOT 35503 SOS 25378 HAS SOPS 23394 HAS SOUS 8157 HAS SOUPS 7997 WITH SCORE 8022.378
AT ITER 2116 NEW BEST:: SOT 35467 SOS 25354 HAS SOPS 23370 HAS SOUS 8127 HAS SOUPS 7967 WITH SCORE 7992.354
AT ITER 2125 NEW BEST:: SOT 35369 SOS 25268 HAS SOPS 23272 HAS SOUS 8138 HAS SOUPS 7966 WITH SCORE 7991.268
AT ITER 2188 NEW BEST:: SOT 35402 SOS 25312 HAS SOPS 23331 HAS SOUS 8092 HAS SOUPS 7935 WITH SCORE 7960.312
AT ITER 2193 NEW BEST:: SOT 35402 SOS 25358 HAS SOPS 23377 HAS SOUS 8078 HAS SOUPS 7921 WITH SCORE 7946.358
AT ITER 2204 NEW BEST:: SOT 35398 SOS 25324 HAS SOPS 23321 HAS SOUS 8028 HAS SOUPS 7849 WITH SCORE 7874.324
AT ITER 2216 NEW BEST:: SOT 35392 SOS 25317 HAS SOPS 23314 HAS SOUS 8015 HAS SOUPS 7836 WITH SCORE 7861.317
AT ITER 2231 NEW BEST:: SOT 35391 SOS 25316 HAS SOPS 23313 HAS SOUS 8014 HAS SOUPS 7835 WITH SCORE 7860.316
AT ITER 2241 NEW BEST:: SOT 35434 SOS 25359 HAS SOPS 23356 HAS SOUS 8009 HAS SOUPS 7830 WITH SCORE 7855.359
AT ITER 2303 NEW BEST:: SOT 35424 SOS 25359 HAS SOPS 23346 HAS SOUS 8010 HAS SOUPS 7821 WITH SCORE 7846.359
AT ITER 2420 NEW BEST:: SOT 35460 SOS 25395 HAS SOPS 23382 HAS SOUS 7973 HAS SOUPS 7784 WITH SCORE 7809.395
AT ITER 2451 NEW BEST:: SOT 35417 SOS 25343 HAS SOPS 23339 HAS SOUS 7920 HAS SOUPS 7740 WITH SCORE 7765.343
AT ITER 2468 NEW BEST:: SOT 35417 SOS 25343 HAS SOPS 23339 HAS SOUS 7919 HAS SOUPS 7739 WITH SCORE 7764.343
AT ITER 2522 NEW BEST:: SOT 35424 SOS 25350 HAS SOPS 23346 HAS SOUS 7916 HAS SOUPS 7736 WITH SCORE 7761.35
AT ITER 2530 NEW BEST:: SOT 35424 SOS 25350 HAS SOPS 23346 HAS SOUS 7915 HAS SOUPS 7735 WITH SCORE 7760.35
AT ITER 2550 NEW BEST:: SOT 35422 SOS 25411 HAS SOPS 23410 HAS SOUS 7910 HAS SOUPS 7733 WITH SCORE 7758.411
AT ITER 2559 NEW BEST:: SOT 35421 SOS 25406 HAS SOPS 23405 HAS SOUS 7909 HAS SOUPS 7732 WITH SCORE 7757.406
AT ITER 2563 NEW BEST:: SOT 35558 SOS 25555 HAS SOPS 23554 HAS SOUS 7899 HAS SOUPS 7722 WITH SCORE 7747.555
AT ITER 2623 NEW BEST:: SOT 35556 SOS 25553 HAS SOPS 23552 HAS SOUS 7896 HAS SOUPS 7719 WITH SCORE 7744.553
AT ITER 2664 NEW BEST:: SOT 35552 SOS 25540 HAS SOPS 23539 HAS SOUS 7892 HAS SOUPS 7715 WITH SCORE 7740.54
AT ITER 2678 NEW BEST:: SOT 35450 SOS 25670 HAS SOPS 23669 HAS SOUS 7886 HAS SOUPS 7709 WITH SCORE 7734.67
AT ITER 2680 NEW BEST:: SOT 35436 SOS 25656 HAS SOPS 23655 HAS SOUS 7830 HAS SOUPS 7653 WITH SCORE 7678.656
AT ITER 2690 NEW BEST:: SOT 35436 SOS 25652 HAS SOPS 23661 HAS SOUS 7786 HAS SOUPS 7619 WITH SCORE 7644.652
AT ITER 2708 NEW BEST:: SOT 35428 SOS 25644 HAS SOPS 23653 HAS SOUS 7778 HAS SOUPS 7611 WITH SCORE 7636.644
AT ITER 2710 NEW BEST:: SOT 35405 SOS 25623 HAS SOPS 23630 HAS SOUS 7779 HAS SOUPS 7610 WITH SCORE 7635.623
AT ITER 2766 NEW BEST:: SOT 35405 SOS 25618 HAS SOPS 23805 HAS SOUS 7774 HAS SOUPS 7605 WITH SCORE 7630.618
AT ITER 2775 NEW BEST:: SOT 35414 SOS 25618 HAS SOPS 23805 HAS SOUS 7738 HAS SOUPS 7569 WITH SCORE 7594.618
AT ITER 2805 NEW BEST:: SOT 35378 SOS 25582 HAS SOPS 23769 HAS SOUS 7727 HAS SOUPS 7558 WITH SCORE 7583.582
AT ITER 2811 NEW BEST:: SOT 35377 SOS 25581 HAS SOPS 23768 HAS SOUS 7725 HAS SOUPS 7556 WITH SCORE 7581.581
AT ITER 2826 NEW BEST:: SOT 35377 SOS 25581 HAS SOPS 23768 HAS SOUS 7713 HAS SOUPS 7544 WITH SCORE 7569.581
AT ITER 2858 NEW BEST:: SOT 35377 SOS 25580 HAS SOPS 23768 HAS SOUS 7712 HAS SOUPS 7544 WITH SCORE 7569.58
AT ITER 2886 NEW BEST:: SOT 35351 SOS 25555 HAS SOPS 23742 HAS SOUS 7699 HAS SOUPS 7530 WITH SCORE 7555.555
AT ITER 2895 NEW BEST:: SOT 35351 SOS 26445 HAS SOPS 23750 HAS SOUS 7701 HAS SOUPS 7528 WITH SCORE 7554.445
AT ITER 3000 NEW BEST:: SOT 35341 SOS 26433 HAS SOPS 23740 HAS SOUS 7673 HAS SOUPS 7502 WITH SCORE 7528.433
AT ITER 3070 NEW BEST:: SOT 35329 SOS 26421 HAS SOPS 23728 HAS SOUS 7655 HAS SOUPS 7484 WITH SCORE 7510.421
AT ITER 3118 NEW BEST:: SOT 35329 SOS 26421 HAS SOPS 23728 HAS SOUS 7653 HAS SOUPS 7482 WITH SCORE 7508.421
AT ITER 3187 NEW BEST:: SOT 35417 SOS 26515 HAS SOPS 23822 HAS SOUS 7633 HAS SOUPS 7462 WITH SCORE 7488.515
AT ITER 3225 NEW BEST:: SOT 35303 SOS 26401 HAS SOPS 23689 HAS SOUS 7640 HAS SOUPS 7450 WITH SCORE 7476.401
AT ITER 3266 NEW BEST:: SOT 35303 SOS 26393 HAS SOPS 23747 HAS SOUS 7640 HAS SOUPS 7450 WITH SCORE 7476.393
AT ITER 3306 NEW BEST:: SOT 35343 SOS 26433 HAS SOPS 23787 HAS SOUS 7632 HAS SOUPS 7442 WITH SCORE 7468.433
AT ITER 3361 NEW BEST:: SOT 35339 SOS 26424 HAS SOPS 23788 HAS SOUS 7590 HAS SOUPS 7410 WITH SCORE 7436.424
AT ITER 3371 NEW BEST:: SOT 35314 SOS 26401 HAS SOPS 23765 HAS SOUS 7579 HAS SOUPS 7399 WITH SCORE 7425.401
AT ITER 3471 NEW BEST:: SOT 35314 SOS 26400 HAS SOPS 23765 HAS SOUS 7578 HAS SOUPS 7399 WITH SCORE 7425.4
AT ITER 3552 NEW BEST:: SOT 35314 SOS 26424 HAS SOPS 23789 HAS SOUS 7576 HAS SOUPS 7397 WITH SCORE 7423.424
AT ITER 3607 NEW BEST:: SOT 35313 SOS 26423 HAS SOPS 23788 HAS SOUS 7575 HAS SOUPS 7396 WITH SCORE 7422.423
AT ITER 3747 NEW BEST:: SOT 35307 SOS 26417 HAS SOPS 23782 HAS SOUS 7569 HAS SOUPS 7390 WITH SCORE 7416.417
AT ITER 3764 NEW BEST:: SOT 35305 SOS 26415 HAS SOPS 23780 HAS SOUS 7568 HAS SOUPS 7389 WITH SCORE 7415.415
AT ITER 3856 NEW BEST:: SOT 35303 SOS 26413 HAS SOPS 23778 HAS SOUS 7565 HAS SOUPS 7386 WITH SCORE 7412.413
AT ITER 3892 NEW BEST:: SOT 35303 SOS 26397 HAS SOPS 23906 HAS SOUS 7565 HAS SOUPS 7386 WITH SCORE 7412.397
AT ITER 3957 NEW BEST:: SOT 35303 SOS 26396 HAS SOPS 23899 HAS SOUS 7564 HAS SOUPS 7385 WITH SCORE 7411.396
AT ITER 3996 NEW BEST:: SOT 35303 SOS 26396 HAS SOPS 23899 HAS SOUS 7556 HAS SOUPS 7377 WITH SCORE 7403.396
AT ITER 4006 NEW BEST:: SOT 35301 SOS 26394 HAS SOPS 23897 HAS SOUS 7553 HAS SOUPS 7374 WITH SCORE 7400.394
AT ITER 4038 NEW BEST:: SOT 35310 SOS 26403 HAS SOPS 23906 HAS SOUS 7552 HAS SOUPS 7373 WITH SCORE 7399.403
AT ITER 4064 NEW BEST:: SOT 35310 SOS 26403 HAS SOPS 23906 HAS SOUS 7546 HAS SOUPS 7367 WITH SCORE 7393.403
AT ITER 4069 NEW BEST:: SOT 35307 SOS 26400 HAS SOPS 23903 HAS SOUS 7544 HAS SOUPS 7365 WITH SCORE 7391.4
AT ITER 4076 NEW BEST:: SOT 35312 SOS 26405 HAS SOPS 23907 HAS SOUS 7544 HAS SOUPS 7364 WITH SCORE 7390.405
AT ITER 4141 NEW BEST:: SOT 35313 SOS 26406 HAS SOPS 23908 HAS SOUS 7539 HAS SOUPS 7359 WITH SCORE 7385.406
AT ITER 4253 NEW BEST:: SOT 35314 SOS 26407 HAS SOPS 23909 HAS SOUS 7538 HAS SOUPS 7358 WITH SCORE 7384.407
AT ITER 4254 NEW BEST:: SOT 35315 SOS 26408 HAS SOPS 23909 HAS SOUS 7533 HAS SOUPS 7352 WITH SCORE 7378.408
AT ITER 4281 NEW BEST:: SOT 35315 SOS 26408 HAS SOPS 23909 HAS SOUS 7530 HAS SOUPS 7349 WITH SCORE 7375.408
AT ITER 4335 NEW BEST:: SOT 35347 SOS 26442 HAS SOPS 23943 HAS SOUS 7527 HAS SOUPS 7346 WITH SCORE 7372.442
AT ITER 4366 NEW BEST:: SOT 35393 SOS 26482 HAS SOPS 23992 HAS SOUS 7513 HAS SOUPS 7341 WITH SCORE 7367.482
AT ITER 4448 NEW BEST:: SOT 35393 SOS 26488 HAS SOPS 23998 HAS SOUS 7511 HAS SOUPS 7339 WITH SCORE 7365.488
AT ITER 4794 NEW BEST:: SOT 35393 SOS 26488 HAS SOPS 23998 HAS SOUS 7509 HAS SOUPS 7337 WITH SCORE 7363.488
AT ITER 4885 NEW BEST:: SOT 35394 SOS 26491 HAS SOPS 24012 HAS SOUS 7497 HAS SOUPS 7336 WITH SCORE 7362.491
AT ITER 4893 NEW BEST:: SOT 35394 SOS 26491 HAS SOPS 24012 HAS SOUS 7492 HAS SOUPS 7331 WITH SCORE 7357.491
AT ITER 4941 NEW BEST:: SOT 35392 SOS 26489 HAS SOPS 24010 HAS SOUS 7490 HAS SOUPS 7329 WITH SCORE 7355.489
AT ITER 4974 NEW BEST:: SOT 35392 SOS 26489 HAS SOPS 24010 HAS SOUS 7486 HAS SOUPS 7325 WITH SCORE 7351.489
AT ITER 5097 NEW BEST:: SOT 35396 SOS 26493 HAS SOPS 24014 HAS SOUS 7483 HAS SOUPS 7322 WITH SCORE 7348.493
AT ITER 5119 NEW BEST:: SOT 35382 SOS 26470 HAS SOPS 23991 HAS SOUS 7469 HAS SOUPS 7308 WITH SCORE 7334.47
AT ITER 5174 NEW BEST:: SOT 35382 SOS 26462 HAS SOPS 24055 HAS SOUS 7469 HAS SOUPS 7308 WITH SCORE 7334.462
AT ITER 5344 NEW BEST:: SOT 35382 SOS 26462 HAS SOPS 24055 HAS SOUS 7463 HAS SOUPS 7302 WITH SCORE 7328.462
AT ITER 5440 NEW BEST:: SOT 35366 SOS 26349 HAS SOPS 23937 HAS SOUS 7465 HAS SOUPS 7299 WITH SCORE 7325.349
AT ITER 5458 NEW BEST:: SOT 35365 SOS 26348 HAS SOPS 23936 HAS SOUS 7464 HAS SOUPS 7298 WITH SCORE 7324.348
AT ITER 5494 NEW BEST:: SOT 35365 SOS 26348 HAS SOPS 23936 HAS SOUS 7451 HAS SOUPS 7285 WITH SCORE 7311.348
AT ITER 5500 NEW BEST:: SOT 35365 SOS 26348 HAS SOPS 23936 HAS SOUS 7449 HAS SOUPS 7283 WITH SCORE 7309.348
AT ITER 5523 NEW BEST:: SOT 35356 SOS 26339 HAS SOPS 23927 HAS SOUS 7434 HAS SOUPS 7268 WITH SCORE 7294.339
AT ITER 5571 NEW BEST:: SOT 35362 SOS 26345 HAS SOPS 23933 HAS SOUS 7433 HAS SOUPS 7267 WITH SCORE 7293.345
AT ITER 5655 NEW BEST:: SOT 35362 SOS 26345 HAS SOPS 23933 HAS SOUS 7431 HAS SOUPS 7265 WITH SCORE 7291.345
AT ITER 5749 NEW BEST:: SOT 35362 SOS 26345 HAS SOPS 23933 HAS SOUS 7430 HAS SOUPS 7264 WITH SCORE 7290.345
AT ITER 5795 NEW BEST:: SOT 35357 SOS 26334 HAS SOPS 23911 HAS SOUS 7434 HAS SOUPS 7257 WITH SCORE 7283.334
AT ITER 5959 NEW BEST:: SOT 35357 SOS 26334 HAS SOPS 23911 HAS SOUS 7430 HAS SOUPS 7253 WITH SCORE 7279.334
AT ITER 5983 NEW BEST:: SOT 35353 SOS 26330 HAS SOPS 23907 HAS SOUS 7430 HAS SOUPS 7253 WITH SCORE 7279.33
AT ITER 6023 NEW BEST:: SOT 35351 SOS 26328 HAS SOPS 23905 HAS SOUS 7426 HAS SOUPS 7249 WITH SCORE 7275.328
AT ITER 6049 NEW BEST:: SOT 35351 SOS 26325 HAS SOPS 23906 HAS SOUS 7419 HAS SOUPS 7246 WITH SCORE 7272.325
AT ITER 6198 NEW BEST:: SOT 35353 SOS 26320 HAS SOPS 23901 HAS SOUS 7414 HAS SOUPS 7241 WITH SCORE 7267.32
AT ITER 6219 NEW BEST:: SOT 35343 SOS 26301 HAS SOPS 23882 HAS SOUS 7404 HAS SOUPS 7231 WITH SCORE 7257.301
AT ITER 6438 NEW BEST:: SOT 35343 SOS 26301 HAS SOPS 23882 HAS SOUS 7402 HAS SOUPS 7229 WITH SCORE 7255.301
AT ITER 6464 NEW BEST:: SOT 35342 SOS 26300 HAS SOPS 23881 HAS SOUS 7402 HAS SOUPS 7229 WITH SCORE 7255.3
AT ITER 6539 NEW BEST:: SOT 35340 SOS 26298 HAS SOPS 23879 HAS SOUS 7399 HAS SOUPS 7226 WITH SCORE 7252.298
AT ITER 6595 NEW BEST:: SOT 35340 SOS 26298 HAS SOPS 23879 HAS SOUS 7398 HAS SOUPS 7225 WITH SCORE 7251.298
AT ITER 6683 NEW BEST:: SOT 35338 SOS 26296 HAS SOPS 23877 HAS SOUS 7397 HAS SOUPS 7224 WITH SCORE 7250.296
AT ITER 6716 NEW BEST:: SOT 35342 SOS 26299 HAS SOPS 23870 HAS SOUS 7402 HAS SOUPS 7219 WITH SCORE 7245.299
AT ITER 6720 NEW BEST:: SOT 35334 SOS 26293 HAS SOPS 23864 HAS SOUS 7402 HAS SOUPS 7219 WITH SCORE 7245.293
AT ITER 6770 NEW BEST:: SOT 35341 SOS 26300 HAS SOPS 23861 HAS SOUS 7411 HAS SOUPS 7218 WITH SCORE 7244.3
AT ITER 6811 NEW BEST:: SOT 35328 SOS 26300 HAS SOPS 23848 HAS SOUS 7418 HAS SOUPS 7212 WITH SCORE 7238.3
AT ITER 7028 NEW BEST:: SOT 35326 SOS 26298 HAS SOPS 23846 HAS SOUS 7415 HAS SOUPS 7209 WITH SCORE 7235.298
AT ITER 7051 NEW BEST:: SOT 35325 SOS 26297 HAS SOPS 23845 HAS SOUS 7414 HAS SOUPS 7208 WITH SCORE 7234.297
AT ITER 7072 NEW BEST:: SOT 35316 SOS 26286 HAS SOPS 23830 HAS SOUS 7391 HAS SOUPS 7181 WITH SCORE 7207.286
AT ITER 7128 NEW BEST:: SOT 35311 SOS 26281 HAS SOPS 23825 HAS SOUS 7386 HAS SOUPS 7176 WITH SCORE 7202.281
AT ITER 7244 NEW BEST:: SOT 35311 SOS 26267 HAS SOPS 24165 HAS SOUS 7386 HAS SOUPS 7176 WITH SCORE 7202.267
AT ITER 7382 NEW BEST:: SOT 35311 SOS 26264 HAS SOPS 24165 HAS SOUS 7377 HAS SOUPS 7170 WITH SCORE 7196.264
AT ITER 7521 NEW BEST:: SOT 35309 SOS 26256 HAS SOPS 24157 HAS SOUS 7375 HAS SOUPS 7168 WITH SCORE 7194.256
AT ITER 7998 NEW BEST:: SOT 35306 SOS 26253 HAS SOPS 24154 HAS SOUS 7375 HAS SOUPS 7168 WITH SCORE 7194.253
AT ITER 8049 NEW BEST:: SOT 35371 SOS 26322 HAS SOPS 24223 HAS SOUS 7370 HAS SOUPS 7163 WITH SCORE 7189.322
AT ITER 8365 NEW BEST:: SOT 35367 SOS 26318 HAS SOPS 24219 HAS SOUS 7366 HAS SOUPS 7159 WITH SCORE 7185.318
AT ITER 8502 NEW BEST:: SOT 35374 SOS 26325 HAS SOPS 24226 HAS SOUS 7361 HAS SOUPS 7154 WITH SCORE 7180.325
AT ITER 8506 NEW BEST:: SOT 35372 SOS 26322 HAS SOPS 24223 HAS SOUS 7360 HAS SOUPS 7153 WITH SCORE 7179.322
AT ITER 8685 NEW BEST:: SOT 35369 SOS 26323 HAS SOPS 24224 HAS SOUS 7359 HAS SOUPS 7152 WITH SCORE 7178.323
AT ITER 8692 NEW BEST:: SOT 35360 SOS 26310 HAS SOPS 24211 HAS SOUS 7348 HAS SOUPS 7141 WITH SCORE 7167.31
AT ITER 8756 NEW BEST:: SOT 35362 SOS 26312 HAS SOPS 24213 HAS SOUS 7346 HAS SOUPS 7139 WITH SCORE 7165.312
AT ITER 8771 NEW BEST:: SOT 35362 SOS 26312 HAS SOPS 24213 HAS SOUS 7341 HAS SOUPS 7134 WITH SCORE 7160.312
AT ITER 8772 NEW BEST:: SOT 35362 SOS 26312 HAS SOPS 24213 HAS SOUS 7339 HAS SOUPS 7132 WITH SCORE 7158.312
AT ITER 8809 NEW BEST:: SOT 35361 SOS 26311 HAS SOPS 24212 HAS SOUS 7339 HAS SOUPS 7132 WITH SCORE 7158.311
AT ITER 9009 NEW BEST:: SOT 35357 SOS 26307 HAS SOPS 24208 HAS SOUS 7333 HAS SOUPS 7126 WITH SCORE 7152.307
AT ITER 9099 NEW BEST:: SOT 35353 SOS 26303 HAS SOPS 24204 HAS SOUS 7327 HAS SOUPS 7120 WITH SCORE 7146.303
AT ITER 9133 NEW BEST:: SOT 35353 SOS 26298 HAS SOPS 24199 HAS SOUS 7326 HAS SOUPS 7119 WITH SCORE 7145.298
AT ITER 9181 NEW BEST:: SOT 35353 SOS 26298 HAS SOPS 24199 HAS SOUS 7324 HAS SOUPS 7117 WITH SCORE 7143.298
AT ITER 9390 NEW BEST:: SOT 35347 SOS 26293 HAS SOPS 24193 HAS SOUS 7325 HAS SOUPS 7117 WITH SCORE 7143.293
AT ITER 9589 NEW BEST:: SOT 35345 SOS 26291 HAS SOPS 24191 HAS SOUS 7322 HAS SOUPS 7114 WITH SCORE 7140.291
AT ITER 9770 NEW BEST:: SOT 35352 SOS 26298 HAS SOPS 24198 HAS SOUS 7321 HAS SOUPS 7113 WITH SCORE 7139.298
AT ITER 9871 NEW BEST:: SOT 35350 SOS 26296 HAS SOPS 24196 HAS SOUS 7319 HAS SOUPS 7111 WITH SCORE 7137.296
AT ITER 9964 NEW BEST:: SOT 35348 SOS 26294 HAS SOPS 24194 HAS SOUS 7319 HAS SOUPS 7111 WITH SCORE 7137.294
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 214312 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16296464 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-COL-06"
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 SafeBus-COL-06, 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 r363-smll-167891813900216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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