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.r011-oct2-167813600500624.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 12:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 228K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678740513438

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=AutonomousCar-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:48:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:48:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:48:36] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-13 20:48:36] [INFO ] Transformed 289 places.
[2023-03-13 20:48:36] [INFO ] Transformed 644 transitions.
[2023-03-13 20:48:36] [INFO ] Found NUPN structural information;
[2023-03-13 20:48:36] [INFO ] Parsed PT model containing 289 places and 644 transitions and 3812 arcs in 288 ms.
[2023-03-13 20:48:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 289 places, 644 transitions and 3812 arcs took 13 ms.
Total runtime 349 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 06b
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: 289 places, 644 transitions, 3812 arcs.
AT ITER 0 NEW BEST:: SOT 136456 SOS 44868 HAS SOPS 44868 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21319.868
AT ITER 16 NEW BEST:: SOT 136456 SOS 44828 HAS SOPS 44828 HAS SOUS 21238 HAS SOUPS 21238 WITH SCORE 21282.828
AT ITER 23 NEW BEST:: SOT 136468 SOS 44829 HAS SOPS 44829 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21270.829
AT ITER 29 NEW BEST:: SOT 136512 SOS 44839 HAS SOPS 44839 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21115.839
AT ITER 30 NEW BEST:: SOT 136511 SOS 44855 HAS SOPS 44855 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21113.855
AT ITER 40 NEW BEST:: SOT 136486 SOS 46481 HAS SOPS 46481 HAS SOUS 21051 HAS SOUPS 21051 WITH SCORE 21097.481
AT ITER 58 NEW BEST:: SOT 136486 SOS 46466 HAS SOPS 46466 HAS SOUS 21036 HAS SOUPS 21036 WITH SCORE 21082.466
AT ITER 60 NEW BEST:: SOT 136453 SOS 46460 HAS SOPS 46460 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21065.46
AT ITER 78 NEW BEST:: SOT 136402 SOS 46936 HAS SOPS 46936 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 21014.936
AT ITER 81 NEW BEST:: SOT 136401 SOS 46935 HAS SOPS 46935 HAS SOUS 20946 HAS SOUPS 20946 WITH SCORE 20992.935
AT ITER 82 NEW BEST:: SOT 136401 SOS 46935 HAS SOPS 46935 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20991.935
AT ITER 83 NEW BEST:: SOT 136362 SOS 46871 HAS SOPS 46871 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20966.871
AT ITER 85 NEW BEST:: SOT 136424 SOS 46887 HAS SOPS 46887 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20802.887
AT ITER 98 NEW BEST:: SOT 136414 SOS 46867 HAS SOPS 46867 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20761.867
AT ITER 101 NEW BEST:: SOT 136330 SOS 46729 HAS SOPS 46729 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20717.729
AT ITER 126 NEW BEST:: SOT 136330 SOS 46729 HAS SOPS 46729 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20711.729
AT ITER 129 NEW BEST:: SOT 136318 SOS 46705 HAS SOPS 46705 HAS SOUS 20638 HAS SOUPS 20638 WITH SCORE 20684.705
AT ITER 134 NEW BEST:: SOT 136318 SOS 46699 HAS SOPS 46699 HAS SOUS 20638 HAS SOUPS 20638 WITH SCORE 20684.699
AT ITER 136 NEW BEST:: SOT 136318 SOS 46699 HAS SOPS 46699 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20668.699
AT ITER 146 NEW BEST:: SOT 136313 SOS 46696 HAS SOPS 46696 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20664.696
AT ITER 166 NEW BEST:: SOT 136353 SOS 46635 HAS SOPS 46635 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20628.635
AT ITER 168 NEW BEST:: SOT 136351 SOS 47369 HAS SOPS 47369 HAS SOUS 20579 HAS SOUPS 20579 WITH SCORE 20626.369
AT ITER 170 NEW BEST:: SOT 136350 SOS 47367 HAS SOPS 47367 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20625.367
AT ITER 173 NEW BEST:: SOT 136345 SOS 47357 HAS SOPS 47357 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20620.357
AT ITER 210 NEW BEST:: SOT 136337 SOS 47322 HAS SOPS 47322 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20585.322
AT ITER 227 NEW BEST:: SOT 136287 SOS 47278 HAS SOPS 47278 HAS SOUS 20494 HAS SOUPS 20494 WITH SCORE 20541.278
AT ITER 229 NEW BEST:: SOT 136270 SOS 47261 HAS SOPS 47261 HAS SOUS 20477 HAS SOUPS 20477 WITH SCORE 20524.261
AT ITER 237 NEW BEST:: SOT 136228 SOS 47135 HAS SOPS 47135 HAS SOUS 20435 HAS SOUPS 20435 WITH SCORE 20482.135
AT ITER 245 NEW BEST:: SOT 136200 SOS 47093 HAS SOPS 47093 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20440.093
AT ITER 271 NEW BEST:: SOT 136172 SOS 47065 HAS SOPS 47065 HAS SOUS 20365 HAS SOUPS 20365 WITH SCORE 20412.065
AT ITER 272 NEW BEST:: SOT 136153 SOS 47027 HAS SOPS 47027 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20374.027
AT ITER 297 NEW BEST:: SOT 136138 SOS 47012 HAS SOPS 47012 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20359.012
AT ITER 298 NEW BEST:: SOT 136138 SOS 46997 HAS SOPS 46997 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20358.997
AT ITER 299 NEW BEST:: SOT 136118 SOS 46989 HAS SOPS 46989 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20350.989
AT ITER 332 NEW BEST:: SOT 136115 SOS 46985 HAS SOPS 46985 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20346.985
AT ITER 337 NEW BEST:: SOT 136099 SOS 46953 HAS SOPS 46953 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20314.953
AT ITER 346 NEW BEST:: SOT 136059 SOS 46926 HAS SOPS 46926 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20287.926
AT ITER 347 NEW BEST:: SOT 135867 SOS 46722 HAS SOPS 46722 HAS SOUS 20193 HAS SOUPS 20193 WITH SCORE 20239.722
AT ITER 349 NEW BEST:: SOT 135822 SOS 46686 HAS SOPS 46686 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20194.686
AT ITER 367 NEW BEST:: SOT 135789 SOS 46573 HAS SOPS 46573 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20161.573
AT ITER 391 NEW BEST:: SOT 135789 SOS 46563 HAS SOPS 46563 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20161.563
AT ITER 405 NEW BEST:: SOT 135796 SOS 46570 HAS SOPS 46570 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20146.57
AT ITER 411 NEW BEST:: SOT 135773 SOS 45742 HAS SOPS 45742 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20099.742
AT ITER 416 NEW BEST:: SOT 135761 SOS 45730 HAS SOPS 45730 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20087.73
AT ITER 421 NEW BEST:: SOT 135653 SOS 45622 HAS SOPS 45622 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19979.622
AT ITER 430 NEW BEST:: SOT 135653 SOS 44857 HAS SOPS 44857 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19978.857
AT ITER 432 NEW BEST:: SOT 135676 SOS 44875 HAS SOPS 44875 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19975.875
AT ITER 442 NEW BEST:: SOT 135676 SOS 44855 HAS SOPS 44855 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19975.855
AT ITER 466 NEW BEST:: SOT 135634 SOS 44775 HAS SOPS 44775 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19887.775
AT ITER 476 NEW BEST:: SOT 135624 SOS 44765 HAS SOPS 44765 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19865.765
AT ITER 481 NEW BEST:: SOT 135624 SOS 43773 HAS SOPS 43773 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19864.773
AT ITER 487 NEW BEST:: SOT 135624 SOS 43770 HAS SOPS 43770 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19861.77
AT ITER 499 NEW BEST:: SOT 135624 SOS 43706 HAS SOPS 43706 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19829.706
AT ITER 544 NEW BEST:: SOT 135607 SOS 43672 HAS SOPS 43672 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19795.672
AT ITER 559 NEW BEST:: SOT 135598 SOS 43671 HAS SOPS 43671 HAS SOUS 19743 HAS SOUPS 19743 WITH SCORE 19786.671
AT ITER 567 NEW BEST:: SOT 134945 SOS 49143 HAS SOPS 49143 HAS SOUS 19385 HAS SOUPS 19385 WITH SCORE 19434.143
AT ITER 576 NEW BEST:: SOT 134944 SOS 49141 HAS SOPS 49141 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19433.141
AT ITER 577 NEW BEST:: SOT 134939 SOS 49131 HAS SOPS 49131 HAS SOUS 19373 HAS SOUPS 19373 WITH SCORE 19422.131
AT ITER 587 NEW BEST:: SOT 134920 SOS 49109 HAS SOPS 49109 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19051.109
AT ITER 618 NEW BEST:: SOT 134888 SOS 49013 HAS SOPS 49013 HAS SOUS 18970 HAS SOUPS 18970 WITH SCORE 19019.013
AT ITER 630 NEW BEST:: SOT 134888 SOS 49009 HAS SOPS 49009 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 19015.009
AT ITER 639 NEW BEST:: SOT 134875 SOS 48996 HAS SOPS 48996 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 19001.996
AT ITER 644 NEW BEST:: SOT 134875 SOS 48979 HAS SOPS 48979 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 19001.979
AT ITER 655 NEW BEST:: SOT 134815 SOS 48919 HAS SOPS 48919 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18837.919
AT ITER 696 NEW BEST:: SOT 134798 SOS 48885 HAS SOPS 48885 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18820.885
AT ITER 699 NEW BEST:: SOT 134798 SOS 49777 HAS SOPS 49777 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18820.777
AT ITER 703 NEW BEST:: SOT 134763 SOS 49769 HAS SOPS 49769 HAS SOUS 18726 HAS SOUPS 18726 WITH SCORE 18775.769
AT ITER 709 NEW BEST:: SOT 134453 SOS 49429 HAS SOPS 49429 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18604.429
AT ITER 736 NEW BEST:: SOT 134447 SOS 49071 HAS SOPS 49071 HAS SOUS 18525 HAS SOUPS 18525 WITH SCORE 18574.071
AT ITER 754 NEW BEST:: SOT 134428 SOS 49033 HAS SOPS 49033 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18536.033
AT ITER 767 NEW BEST:: SOT 134421 SOS 49026 HAS SOPS 49026 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18516.026
AT ITER 771 NEW BEST:: SOT 134421 SOS 49017 HAS SOPS 49017 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18507.017
AT ITER 785 NEW BEST:: SOT 134416 SOS 49007 HAS SOPS 49007 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18497.007
AT ITER 789 NEW BEST:: SOT 134332 SOS 47153 HAS SOPS 47153 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18419.153
AT ITER 803 NEW BEST:: SOT 134332 SOS 47148 HAS SOPS 47148 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18419.148
AT ITER 825 NEW BEST:: SOT 134297 SOS 45398 HAS SOPS 45398 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18347.398
AT ITER 856 NEW BEST:: SOT 134297 SOS 45924 HAS SOPS 45924 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18331.924
AT ITER 876 NEW BEST:: SOT 134297 SOS 45920 HAS SOPS 45920 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18331.92
AT ITER 890 NEW BEST:: SOT 134297 SOS 43856 HAS SOPS 43856 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18329.856
AT ITER 897 NEW BEST:: SOT 134513 SOS 44048 HAS SOPS 44048 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18048.048
AT ITER 908 NEW BEST:: SOT 134472 SOS 43966 HAS SOPS 43966 HAS SOUS 17963 HAS SOUPS 17963 WITH SCORE 18006.966
AT ITER 926 NEW BEST:: SOT 134457 SOS 43958 HAS SOPS 43958 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17991.958
AT ITER 931 NEW BEST:: SOT 134439 SOS 43940 HAS SOPS 43940 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17973.94
AT ITER 973 NEW BEST:: SOT 134443 SOS 43929 HAS SOPS 43929 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17958.929
AT ITER 981 NEW BEST:: SOT 134403 SOS 41929 HAS SOPS 41929 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17924.929
AT ITER 995 NEW BEST:: SOT 134379 SOS 41887 HAS SOPS 41887 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17882.887
AT ITER 998 NEW BEST:: SOT 134379 SOS 41875 HAS SOPS 41875 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17786.875
AT ITER 1031 NEW BEST:: SOT 134373 SOS 41868 HAS SOPS 41868 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17779.868
AT ITER 1047 NEW BEST:: SOT 134517 SOS 42012 HAS SOPS 42012 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17742.012
AT ITER 1062 NEW BEST:: SOT 134484 SOS 41980 HAS SOPS 41980 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17675.98
AT ITER 1065 NEW BEST:: SOT 134454 SOS 42008 HAS SOPS 42008 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17646.008
AT ITER 1072 NEW BEST:: SOT 134213 SOS 41742 HAS SOPS 41742 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17641.742
AT ITER 1105 NEW BEST:: SOT 134209 SOS 41738 HAS SOPS 41738 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17637.738
AT ITER 1116 NEW BEST:: SOT 134183 SOS 43750 HAS SOPS 43750 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17634.75
AT ITER 1122 NEW BEST:: SOT 134171 SOS 43738 HAS SOPS 43738 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17610.738
AT ITER 1124 NEW BEST:: SOT 134170 SOS 43736 HAS SOPS 43736 HAS SOUS 17565 HAS SOUPS 17565 WITH SCORE 17608.736
AT ITER 1129 NEW BEST:: SOT 134170 SOS 43733 HAS SOPS 43733 HAS SOUS 17565 HAS SOUPS 17565 WITH SCORE 17608.733
AT ITER 1154 NEW BEST:: SOT 134177 SOS 43747 HAS SOPS 43747 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17601.747
AT ITER 1159 NEW BEST:: SOT 134158 SOS 43709 HAS SOPS 43709 HAS SOUS 17548 HAS SOUPS 17548 WITH SCORE 17591.709
AT ITER 1160 NEW BEST:: SOT 134147 SOS 43687 HAS SOPS 43687 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17569.687
AT ITER 1164 NEW BEST:: SOT 134137 SOS 43667 HAS SOPS 43667 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17540.667
AT ITER 1198 NEW BEST:: SOT 134137 SOS 43667 HAS SOPS 43667 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17532.667
AT ITER 1225 NEW BEST:: SOT 134138 SOS 43669 HAS SOPS 43669 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17523.669
AT ITER 1227 NEW BEST:: SOT 134138 SOS 43669 HAS SOPS 43669 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17518.669
AT ITER 1254 NEW BEST:: SOT 134061 SOS 43631 HAS SOPS 43631 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17405.631
AT ITER 1255 NEW BEST:: SOT 134061 SOS 43614 HAS SOPS 43614 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17405.614
AT ITER 1260 NEW BEST:: SOT 134061 SOS 43607 HAS SOPS 43607 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17398.607
AT ITER 1266 NEW BEST:: SOT 134134 SOS 43784 HAS SOPS 43784 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17247.784
AT ITER 1267 NEW BEST:: SOT 134132 SOS 43778 HAS SOPS 43778 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17243.778
AT ITER 1284 NEW BEST:: SOT 134130 SOS 43776 HAS SOPS 43776 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17241.776
AT ITER 1286 NEW BEST:: SOT 134130 SOS 43809 HAS SOPS 43809 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17234.809
AT ITER 1291 NEW BEST:: SOT 134132 SOS 43809 HAS SOPS 43809 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17232.809
AT ITER 1326 NEW BEST:: SOT 134130 SOS 43855 HAS SOPS 43855 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17230.855
AT ITER 1375 NEW BEST:: SOT 134120 SOS 43835 HAS SOPS 43835 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17220.835
AT ITER 1383 NEW BEST:: SOT 134119 SOS 43833 HAS SOPS 43833 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17218.833
AT ITER 1392 NEW BEST:: SOT 134109 SOS 43823 HAS SOPS 43823 HAS SOUS 17165 HAS SOUPS 17165 WITH SCORE 17208.823
AT ITER 1397 NEW BEST:: SOT 134117 SOS 43823 HAS SOPS 43823 HAS SOUS 17162 HAS SOUPS 17162 WITH SCORE 17205.823
AT ITER 1421 NEW BEST:: SOT 134110 SOS 43809 HAS SOPS 43809 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17191.809
AT ITER 1426 NEW BEST:: SOT 134099 SOS 43787 HAS SOPS 43787 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17165.787
AT ITER 1427 NEW BEST:: SOT 133949 SOS 43619 HAS SOPS 43619 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16979.619
AT ITER 1436 NEW BEST:: SOT 133947 SOS 43618 HAS SOPS 43618 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16978.618
AT ITER 1450 NEW BEST:: SOT 133939 SOS 43610 HAS SOPS 43610 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16966.61
AT ITER 1458 NEW BEST:: SOT 133886 SOS 43504 HAS SOPS 43504 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16913.504
AT ITER 1486 NEW BEST:: SOT 133886 SOS 43504 HAS SOPS 43504 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16907.504
AT ITER 1494 NEW BEST:: SOT 133879 SOS 43490 HAS SOPS 43490 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16900.49
AT ITER 1537 NEW BEST:: SOT 133879 SOS 43465 HAS SOPS 43465 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16875.465
AT ITER 1602 NEW BEST:: SOT 133871 SOS 43449 HAS SOPS 43449 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16859.449
AT ITER 1613 NEW BEST:: SOT 133850 SOS 43428 HAS SOPS 43428 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16838.428
AT ITER 1621 NEW BEST:: SOT 133834 SOS 43428 HAS SOPS 43428 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16822.428
AT ITER 1637 NEW BEST:: SOT 133820 SOS 43424 HAS SOPS 43424 HAS SOUS 16747 HAS SOUPS 16747 WITH SCORE 16790.424
AT ITER 1642 NEW BEST:: SOT 133814 SOS 43406 HAS SOPS 43406 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16784.406
AT ITER 1652 NEW BEST:: SOT 133817 SOS 43412 HAS SOPS 43412 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16754.412
AT ITER 1657 NEW BEST:: SOT 133814 SOS 43409 HAS SOPS 43409 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16754.409
AT ITER 1716 NEW BEST:: SOT 133813 SOS 43407 HAS SOPS 43407 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16752.407
AT ITER 1790 NEW BEST:: SOT 133796 SOS 43390 HAS SOPS 43390 HAS SOUS 16692 HAS SOUPS 16692 WITH SCORE 16735.39
AT ITER 1825 NEW BEST:: SOT 133820 SOS 43436 HAS SOPS 43436 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16721.436
AT ITER 1836 NEW BEST:: SOT 133820 SOS 43432 HAS SOPS 43432 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16721.432
AT ITER 1838 NEW BEST:: SOT 133890 SOS 43504 HAS SOPS 43504 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16675.504
AT ITER 1844 NEW BEST:: SOT 133888 SOS 43500 HAS SOPS 43500 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16671.5
AT ITER 1846 NEW BEST:: SOT 133816 SOS 43428 HAS SOPS 43428 HAS SOUS 16478 HAS SOUPS 16478 WITH SCORE 16521.428
AT ITER 1856 NEW BEST:: SOT 133804 SOS 43416 HAS SOPS 43416 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16497.416
AT ITER 1858 NEW BEST:: SOT 133804 SOS 43404 HAS SOPS 43404 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16491.404
AT ITER 1869 NEW BEST:: SOT 133756 SOS 43322 HAS SOPS 43322 HAS SOUS 16366 HAS SOUPS 16366 WITH SCORE 16409.322
AT ITER 1879 NEW BEST:: SOT 133748 SOS 43306 HAS SOPS 43306 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16393.306
AT ITER 1881 NEW BEST:: SOT 133706 SOS 43294 HAS SOPS 43294 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16381.294
AT ITER 1902 NEW BEST:: SOT 133685 SOS 43252 HAS SOPS 43252 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16339.252
AT ITER 1906 NEW BEST:: SOT 133683 SOS 43244 HAS SOPS 43244 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16337.244
AT ITER 1930 NEW BEST:: SOT 133683 SOS 43244 HAS SOPS 43244 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16245.244
AT ITER 1942 NEW BEST:: SOT 133692 SOS 43436 HAS SOPS 43436 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16237.436
AT ITER 1998 NEW BEST:: SOT 133681 SOS 43425 HAS SOPS 43425 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16237.425
AT ITER 2006 NEW BEST:: SOT 133680 SOS 43425 HAS SOPS 43425 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16235.425
AT ITER 2018 NEW BEST:: SOT 133671 SOS 43407 HAS SOPS 43407 HAS SOUS 16183 HAS SOUPS 16183 WITH SCORE 16226.407
AT ITER 2039 NEW BEST:: SOT 133661 SOS 43397 HAS SOPS 43397 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16216.397
AT ITER 2049 NEW BEST:: SOT 133660 SOS 43395 HAS SOPS 43395 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16214.395
AT ITER 2094 NEW BEST:: SOT 133657 SOS 43206 HAS SOPS 43206 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16213.206
AT ITER 2095 NEW BEST:: SOT 133634 SOS 43190 HAS SOPS 43190 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16167.19
AT ITER 2102 NEW BEST:: SOT 133386 SOS 42864 HAS SOPS 42864 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15819.864
AT ITER 2142 NEW BEST:: SOT 133376 SOS 42854 HAS SOPS 42854 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15819.854
AT ITER 2166 NEW BEST:: SOT 133382 SOS 42866 HAS SOPS 42866 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15802.866
AT ITER 2168 NEW BEST:: SOT 133382 SOS 42852 HAS SOPS 42852 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15801.852
AT ITER 2169 NEW BEST:: SOT 133298 SOS 42768 HAS SOPS 42768 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15717.768
AT ITER 2175 NEW BEST:: SOT 133288 SOS 42764 HAS SOPS 42764 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15713.764
AT ITER 2224 NEW BEST:: SOT 133286 SOS 42764 HAS SOPS 42764 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15705.764
AT ITER 2231 NEW BEST:: SOT 133370 SOS 42816 HAS SOPS 42816 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15621.816
AT ITER 2249 NEW BEST:: SOT 133373 SOS 44328 HAS SOPS 44328 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15614.328
AT ITER 2261 NEW BEST:: SOT 133427 SOS 43875 HAS SOPS 43875 HAS SOUS 15567 HAS SOUPS 15567 WITH SCORE 15610.875
AT ITER 2316 NEW BEST:: SOT 133394 SOS 43809 HAS SOPS 43809 HAS SOUS 15501 HAS SOUPS 15501 WITH SCORE 15544.809
AT ITER 2350 NEW BEST:: SOT 133386 SOS 43829 HAS SOPS 43829 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15540.829
AT ITER 2369 NEW BEST:: SOT 133372 SOS 43785 HAS SOPS 43785 HAS SOUS 15453 HAS SOUPS 15453 WITH SCORE 15496.785
AT ITER 2401 NEW BEST:: SOT 133225 SOS 42594 HAS SOPS 42594 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15255.594
AT ITER 2413 NEW BEST:: SOT 133243 SOS 42520 HAS SOPS 42520 HAS SOUS 15160 HAS SOUPS 15160 WITH SCORE 15202.52
AT ITER 2511 NEW BEST:: SOT 133171 SOS 42376 HAS SOPS 42376 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15058.376
AT ITER 2514 NEW BEST:: SOT 133171 SOS 42375 HAS SOPS 42375 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15057.375
AT ITER 2539 NEW BEST:: SOT 133048 SOS 42206 HAS SOPS 42206 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15023.206
AT ITER 2555 NEW BEST:: SOT 133045 SOS 42200 HAS SOPS 42200 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 15014.2
AT ITER 2565 NEW BEST:: SOT 133039 SOS 42188 HAS SOPS 42188 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15008.188
AT ITER 2578 NEW BEST:: SOT 133033 SOS 42176 HAS SOPS 42176 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14996.176
AT ITER 2646 NEW BEST:: SOT 133031 SOS 42172 HAS SOPS 42172 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14994.172
AT ITER 2655 NEW BEST:: SOT 133030 SOS 42170 HAS SOPS 42170 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 14992.17
AT ITER 2682 NEW BEST:: SOT 133048 SOS 42162 HAS SOPS 42162 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14978.162
AT ITER 2702 NEW BEST:: SOT 133043 SOS 42152 HAS SOPS 42152 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14973.152
AT ITER 2730 NEW BEST:: SOT 133027 SOS 42120 HAS SOPS 42120 HAS SOUS 14899 HAS SOUPS 14899 WITH SCORE 14941.12
AT ITER 2744 NEW BEST:: SOT 132987 SOS 42084 HAS SOPS 42084 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14901.084
AT ITER 2763 NEW BEST:: SOT 132984 SOS 42087 HAS SOPS 42087 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14877.087
AT ITER 2803 NEW BEST:: SOT 132948 SOS 42051 HAS SOPS 42051 HAS SOUS 14759 HAS SOUPS 14759 WITH SCORE 14801.051
AT ITER 2846 NEW BEST:: SOT 132942 SOS 42039 HAS SOPS 42039 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14791.039
AT ITER 2864 NEW BEST:: SOT 132932 SOS 41999 HAS SOPS 41999 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14770.999
AT ITER 2895 NEW BEST:: SOT 132908 SOS 41971 HAS SOPS 41971 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14742.971
AT ITER 2960 NEW BEST:: SOT 132908 SOS 41967 HAS SOPS 41967 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14738.967
AT ITER 3003 NEW BEST:: SOT 132908 SOS 41967 HAS SOPS 41967 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14731.967
AT ITER 3004 NEW BEST:: SOT 132909 SOS 41964 HAS SOPS 41964 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14724.964
AT ITER 3074 NEW BEST:: SOT 132896 SOS 41938 HAS SOPS 41938 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14705.938
AT ITER 3166 NEW BEST:: SOT 132889 SOS 41933 HAS SOPS 41933 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14700.933
AT ITER 3167 NEW BEST:: SOT 132888 SOS 41931 HAS SOPS 41931 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14698.931
AT ITER 3205 NEW BEST:: SOT 132888 SOS 41921 HAS SOPS 41921 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14698.921
AT ITER 3250 NEW BEST:: SOT 132860 SOS 41851 HAS SOPS 41851 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14670.851
AT ITER 3347 NEW BEST:: SOT 132850 SOS 41841 HAS SOPS 41841 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14670.841
AT ITER 3350 NEW BEST:: SOT 132838 SOS 41817 HAS SOPS 41817 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14646.817
AT ITER 3367 NEW BEST:: SOT 132831 SOS 41803 HAS SOPS 41803 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14611.803
AT ITER 3480 NEW BEST:: SOT 132479 SOS 41459 HAS SOPS 41459 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14479.459
AT ITER 3594 NEW BEST:: SOT 132478 SOS 41457 HAS SOPS 41457 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14477.457
AT ITER 3647 NEW BEST:: SOT 132478 SOS 41456 HAS SOPS 41456 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14476.456
AT ITER 3669 NEW BEST:: SOT 132468 SOS 41445 HAS SOPS 41445 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14465.445
AT ITER 3670 NEW BEST:: SOT 132468 SOS 41432 HAS SOPS 41432 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14452.432
AT ITER 3672 NEW BEST:: SOT 132466 SOS 41422 HAS SOPS 41422 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14442.422
AT ITER 3706 NEW BEST:: SOT 132452 SOS 41386 HAS SOPS 41386 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14332.386
AT ITER 3756 NEW BEST:: SOT 132429 SOS 41317 HAS SOPS 41317 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14309.317
AT ITER 3815 NEW BEST:: SOT 132429 SOS 41317 HAS SOPS 41317 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14307.317
AT ITER 3827 NEW BEST:: SOT 132409 SOS 41282 HAS SOPS 41282 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14272.282
AT ITER 3866 NEW BEST:: SOT 132413 SOS 41274 HAS SOPS 41274 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14260.274
AT ITER 3883 NEW BEST:: SOT 132422 SOS 41264 HAS SOPS 41264 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14250.264
AT ITER 3885 NEW BEST:: SOT 132421 SOS 41234 HAS SOPS 41234 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14248.234
AT ITER 3895 NEW BEST:: SOT 132409 SOS 41216 HAS SOPS 41216 HAS SOUS 14195 HAS SOUPS 14195 WITH SCORE 14236.216
AT ITER 3916 NEW BEST:: SOT 132405 SOS 41208 HAS SOPS 41208 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14224.208
AT ITER 3927 NEW BEST:: SOT 132406 SOS 41192 HAS SOPS 41192 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14208.192
AT ITER 3956 NEW BEST:: SOT 132385 SOS 41150 HAS SOPS 41150 HAS SOUS 14125 HAS SOUPS 14125 WITH SCORE 14166.15
AT ITER 3981 NEW BEST:: SOT 132383 SOS 41147 HAS SOPS 41147 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14164.147
AT ITER 4004 NEW BEST:: SOT 132366 SOS 41113 HAS SOPS 41113 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14130.113
AT ITER 4012 NEW BEST:: SOT 132362 SOS 41099 HAS SOPS 41099 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14128.099
AT ITER 4034 NEW BEST:: SOT 132363 SOS 41077 HAS SOPS 41077 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14124.077
AT ITER 4055 NEW BEST:: SOT 132359 SOS 41071 HAS SOPS 41071 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14122.071
AT ITER 4090 NEW BEST:: SOT 132359 SOS 41035 HAS SOPS 41035 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14122.035
AT ITER 4128 NEW BEST:: SOT 132256 SOS 40908 HAS SOPS 40908 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 14017.908
AT ITER 4129 NEW BEST:: SOT 132246 SOS 40883 HAS SOPS 40883 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13992.883
AT ITER 4150 NEW BEST:: SOT 132236 SOS 40873 HAS SOPS 40873 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13992.873
AT ITER 4157 NEW BEST:: SOT 132234 SOS 40872 HAS SOPS 40872 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13991.872
AT ITER 4212 NEW BEST:: SOT 132227 SOS 40872 HAS SOPS 40872 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13984.872
AT ITER 4237 NEW BEST:: SOT 132224 SOS 40875 HAS SOPS 40875 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13975.875
AT ITER 4247 NEW BEST:: SOT 132222 SOS 40871 HAS SOPS 40871 HAS SOUS 13931 HAS SOUPS 13931 WITH SCORE 13971.871
AT ITER 4282 NEW BEST:: SOT 132218 SOS 40841 HAS SOPS 40841 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13967.841
AT ITER 4292 NEW BEST:: SOT 132218 SOS 40809 HAS SOPS 40809 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13967.809
AT ITER 4306 NEW BEST:: SOT 132216 SOS 40798 HAS SOPS 40798 HAS SOUS 13923 HAS SOUPS 13923 WITH SCORE 13963.798
AT ITER 4316 NEW BEST:: SOT 132201 SOS 40796 HAS SOPS 40796 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13961.796
AT ITER 4362 NEW BEST:: SOT 132200 SOS 40794 HAS SOPS 40794 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13959.794
AT ITER 4377 NEW BEST:: SOT 132203 SOS 40800 HAS SOPS 40800 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13955.8
AT ITER 4388 NEW BEST:: SOT 132131 SOS 40728 HAS SOPS 40728 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13810.728
AT ITER 4488 NEW BEST:: SOT 132013 SOS 40619 HAS SOPS 40619 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13701.619
AT ITER 4507 NEW BEST:: SOT 132015 SOS 40623 HAS SOPS 40623 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13696.623
AT ITER 4526 NEW BEST:: SOT 132007 SOS 40622 HAS SOPS 40622 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13695.622
AT ITER 4541 NEW BEST:: SOT 131960 SOS 40584 HAS SOPS 40584 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13648.584
AT ITER 4548 NEW BEST:: SOT 131959 SOS 40582 HAS SOPS 40582 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13646.582
AT ITER 4562 NEW BEST:: SOT 131956 SOS 40579 HAS SOPS 40579 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13643.579
AT ITER 4581 NEW BEST:: SOT 131937 SOS 40548 HAS SOPS 40548 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13612.548
AT ITER 4584 NEW BEST:: SOT 131941 SOS 40517 HAS SOPS 40517 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13283.517
AT ITER 4611 NEW BEST:: SOT 131939 SOS 40513 HAS SOPS 40513 HAS SOUS 13237 HAS SOUPS 13237 WITH SCORE 13277.513
AT ITER 4641 NEW BEST:: SOT 131813 SOS 40380 HAS SOPS 40380 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13151.38
AT ITER 4671 NEW BEST:: SOT 131781 SOS 40316 HAS SOPS 40316 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13087.316
AT ITER 4716 NEW BEST:: SOT 131781 SOS 40322 HAS SOPS 40322 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13066.322
AT ITER 4718 NEW BEST:: SOT 131774 SOS 40347 HAS SOPS 40347 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13059.347
AT ITER 4724 NEW BEST:: SOT 131779 SOS 40316 HAS SOPS 40316 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13059.316
AT ITER 4735 NEW BEST:: SOT 131777 SOS 40313 HAS SOPS 40313 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13056.313
AT ITER 4772 NEW BEST:: SOT 131758 SOS 40301 HAS SOPS 40301 HAS SOUS 13010 HAS SOUPS 13010 WITH SCORE 13050.301
AT ITER 4789 NEW BEST:: SOT 131758 SOS 40291 HAS SOPS 40291 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13040.291
AT ITER 4794 NEW BEST:: SOT 131320 SOS 39855 HAS SOPS 39855 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 13006.855
AT ITER 4849 NEW BEST:: SOT 131306 SOS 39827 HAS SOPS 39827 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12978.827
AT ITER 4866 NEW BEST:: SOT 131276 SOS 39779 HAS SOPS 39779 HAS SOUS 12879 HAS SOUPS 12879 WITH SCORE 12918.779
AT ITER 4921 NEW BEST:: SOT 131267 SOS 39733 HAS SOPS 39733 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12895.733
AT ITER 4953 NEW BEST:: SOT 131245 SOS 39700 HAS SOPS 39700 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12862.7
AT ITER 4998 NEW BEST:: SOT 131246 SOS 39694 HAS SOPS 39694 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12856.694
AT ITER 5000 NEW BEST:: SOT 131249 SOS 39693 HAS SOPS 39693 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12855.693
AT ITER 5024 NEW BEST:: SOT 131243 SOS 39681 HAS SOPS 39681 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12849.681
AT ITER 5058 NEW BEST:: SOT 131246 SOS 39687 HAS SOPS 39687 HAS SOUS 12777 HAS SOUPS 12777 WITH SCORE 12816.687
AT ITER 5068 NEW BEST:: SOT 131307 SOS 39663 HAS SOPS 39663 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12792.663
AT ITER 5087 NEW BEST:: SOT 131304 SOS 39657 HAS SOPS 39657 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12792.657
AT ITER 5136 NEW BEST:: SOT 131299 SOS 39652 HAS SOPS 39652 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12787.652
AT ITER 5142 NEW BEST:: SOT 131309 SOS 39657 HAS SOPS 39657 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12786.657
AT ITER 5197 NEW BEST:: SOT 131304 SOS 39647 HAS SOPS 39647 HAS SOUS 12743 HAS SOUPS 12743 WITH SCORE 12782.647
AT ITER 5227 NEW BEST:: SOT 131294 SOS 39627 HAS SOPS 39627 HAS SOUS 12721 HAS SOUPS 12721 WITH SCORE 12760.627
AT ITER 5251 NEW BEST:: SOT 131291 SOS 39621 HAS SOPS 39621 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12754.621
AT ITER 5257 NEW BEST:: SOT 131291 SOS 39613 HAS SOPS 39613 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12754.613
AT ITER 5279 NEW BEST:: SOT 131290 SOS 39611 HAS SOPS 39611 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12750.611
AT ITER 5311 NEW BEST:: SOT 131195 SOS 39477 HAS SOPS 39477 HAS SOUS 12588 HAS SOUPS 12588 WITH SCORE 12627.477
AT ITER 5320 NEW BEST:: SOT 131195 SOS 39477 HAS SOPS 39477 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12625.477
AT ITER 5337 NEW BEST:: SOT 131193 SOS 39473 HAS SOPS 39473 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12621.473
AT ITER 5348 NEW BEST:: SOT 131185 SOS 39465 HAS SOPS 39465 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12605.465
AT ITER 5463 NEW BEST:: SOT 131184 SOS 39463 HAS SOPS 39463 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12603.463
AT ITER 5502 NEW BEST:: SOT 131143 SOS 39422 HAS SOPS 39422 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12521.422
AT ITER 5587 NEW BEST:: SOT 131133 SOS 39414 HAS SOPS 39414 HAS SOUS 12462 HAS SOUPS 12462 WITH SCORE 12501.414
AT ITER 5613 NEW BEST:: SOT 131133 SOS 39409 HAS SOPS 39409 HAS SOUS 12462 HAS SOUPS 12462 WITH SCORE 12501.409
AT ITER 5621 NEW BEST:: SOT 131129 SOS 39401 HAS SOPS 39401 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12493.401
AT ITER 5755 NEW BEST:: SOT 131127 SOS 39397 HAS SOPS 39397 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12490.397
AT ITER 5807 NEW BEST:: SOT 131123 SOS 38245 HAS SOPS 38245 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12485.245
AT ITER 5848 NEW BEST:: SOT 131116 SOS 38245 HAS SOPS 38245 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12481.245
AT ITER 5864 NEW BEST:: SOT 131113 SOS 38239 HAS SOPS 38239 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12457.239
AT ITER 5865 NEW BEST:: SOT 131113 SOS 38239 HAS SOPS 38239 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12444.239
AT ITER 5970 NEW BEST:: SOT 131113 SOS 38213 HAS SOPS 38213 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12444.213
AT ITER 5979 NEW BEST:: SOT 131112 SOS 38198 HAS SOPS 38198 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12444.198
AT ITER 5985 NEW BEST:: SOT 131112 SOS 38163 HAS SOPS 38163 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12444.163
AT ITER 6080 NEW BEST:: SOT 131113 SOS 38165 HAS SOPS 38165 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12441.165
AT ITER 6189 NEW BEST:: SOT 131102 SOS 38165 HAS SOPS 38165 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12430.165
AT ITER 6260 NEW BEST:: SOT 131096 SOS 38153 HAS SOPS 38153 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12383.153
AT ITER 6332 NEW BEST:: SOT 131096 SOS 38153 HAS SOPS 38153 HAS SOUS 12333 HAS SOUPS 12333 WITH SCORE 12371.153
AT ITER 6336 NEW BEST:: SOT 131096 SOS 38152 HAS SOPS 38152 HAS SOUS 12331 HAS SOUPS 12331 WITH SCORE 12369.152
AT ITER 6352 NEW BEST:: SOT 131090 SOS 38164 HAS SOPS 38164 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12366.164
AT ITER 6394 NEW BEST:: SOT 131104 SOS 38156 HAS SOPS 38156 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12360.156
AT ITER 6773 NEW BEST:: SOT 131071 SOS 38090 HAS SOPS 38090 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12327.09
AT ITER 6797 NEW BEST:: SOT 131055 SOS 38042 HAS SOPS 38042 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12303.042
AT ITER 6958 NEW BEST:: SOT 131055 SOS 38042 HAS SOPS 38042 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12268.042
AT ITER 6969 NEW BEST:: SOT 131055 SOS 38041 HAS SOPS 38041 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12268.041
AT ITER 6997 NEW BEST:: SOT 131031 SOS 38017 HAS SOPS 38017 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12267.017
AT ITER 7014 NEW BEST:: SOT 131031 SOS 38017 HAS SOPS 38017 HAS SOUS 12227 HAS SOUPS 12227 WITH SCORE 12265.017
AT ITER 7083 NEW BEST:: SOT 131029 SOS 38015 HAS SOPS 38015 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12249.015
AT ITER 7097 NEW BEST:: SOT 131028 SOS 38013 HAS SOPS 38013 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12247.013
AT ITER 7142 NEW BEST:: SOT 131015 SOS 37987 HAS SOPS 37987 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12210.987
AT ITER 7178 NEW BEST:: SOT 131017 SOS 37986 HAS SOPS 37986 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12209.986
AT ITER 7232 NEW BEST:: SOT 131008 SOS 37968 HAS SOPS 37968 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12197.968
AT ITER 7269 NEW BEST:: SOT 130999 SOS 37959 HAS SOPS 37959 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12179.959
AT ITER 7281 NEW BEST:: SOT 130999 SOS 37959 HAS SOPS 37959 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12172.959
AT ITER 7400 NEW BEST:: SOT 131000 SOS 37955 HAS SOPS 37955 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12170.955
AT ITER 7490 NEW BEST:: SOT 130976 SOS 37870 HAS SOPS 37870 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12120.87
AT ITER 7529 NEW BEST:: SOT 130974 SOS 37868 HAS SOPS 37868 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12120.868
AT ITER 7530 NEW BEST:: SOT 130974 SOS 37868 HAS SOPS 37868 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12105.868
AT ITER 7567 NEW BEST:: SOT 130974 SOS 37837 HAS SOPS 37837 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12105.837
AT ITER 7571 NEW BEST:: SOT 130971 SOS 37831 HAS SOPS 37831 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12099.831
AT ITER 7617 NEW BEST:: SOT 130958 SOS 37805 HAS SOPS 37805 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12092.805
AT ITER 7675 NEW BEST:: SOT 130957 SOS 37814 HAS SOPS 37814 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12091.814
AT ITER 7678 NEW BEST:: SOT 130992 SOS 37838 HAS SOPS 37838 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12077.838
AT ITER 7683 NEW BEST:: SOT 130841 SOS 37676 HAS SOPS 37676 HAS SOUS 11881 HAS SOUPS 11881 WITH SCORE 11918.676
AT ITER 7724 NEW BEST:: SOT 130844 SOS 41409 HAS SOPS 41409 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11910.409
AT ITER 7728 NEW BEST:: SOT 130849 SOS 41413 HAS SOPS 41413 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11909.413
AT ITER 7818 NEW BEST:: SOT 130679 SOS 41241 HAS SOPS 41241 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11808.241
AT ITER 7870 NEW BEST:: SOT 130669 SOS 41231 HAS SOPS 41231 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11798.231
AT ITER 7879 NEW BEST:: SOT 130666 SOS 41225 HAS SOPS 41225 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11790.225
AT ITER 7904 NEW BEST:: SOT 130642 SOS 41201 HAS SOPS 41201 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11740.201
AT ITER 7913 NEW BEST:: SOT 130642 SOS 41201 HAS SOPS 41201 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11735.201
AT ITER 7923 NEW BEST:: SOT 130626 SOS 41169 HAS SOPS 41169 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11715.169
AT ITER 8000 NEW BEST:: SOT 130637 SOS 41145 HAS SOPS 41145 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11562.145
AT ITER 8066 NEW BEST:: SOT 130589 SOS 41121 HAS SOPS 41121 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11538.121
AT ITER 8088 NEW BEST:: SOT 130578 SOS 41110 HAS SOPS 41110 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11429.11
AT ITER 8096 NEW BEST:: SOT 130573 SOS 41100 HAS SOPS 41100 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11424.1
AT ITER 8194 NEW BEST:: SOT 130572 SOS 41098 HAS SOPS 41098 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11422.098
AT ITER 8197 NEW BEST:: SOT 130572 SOS 41096 HAS SOPS 41096 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11420.096
AT ITER 8219 NEW BEST:: SOT 130561 SOS 41083 HAS SOPS 41083 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11409.083
AT ITER 8242 NEW BEST:: SOT 130560 SOS 41080 HAS SOPS 41080 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11407.08
AT ITER 8272 NEW BEST:: SOT 130556 SOS 41072 HAS SOPS 41072 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11397.072
AT ITER 8393 NEW BEST:: SOT 130563 SOS 41086 HAS SOPS 41086 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11386.086
AT ITER 8421 NEW BEST:: SOT 130563 SOS 41086 HAS SOPS 41086 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11383.086
AT ITER 8434 NEW BEST:: SOT 130554 SOS 41079 HAS SOPS 41079 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11371.079
AT ITER 8471 NEW BEST:: SOT 130550 SOS 41094 HAS SOPS 41094 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11369.094
AT ITER 8549 NEW BEST:: SOT 130565 SOS 41384 HAS SOPS 41384 HAS SOUS 11324 HAS SOUPS 11324 WITH SCORE 11365.384
AT ITER 8589 NEW BEST:: SOT 130565 SOS 41384 HAS SOPS 41384 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11357.384
AT ITER 8594 NEW BEST:: SOT 130563 SOS 41380 HAS SOPS 41380 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11353.38
AT ITER 8665 NEW BEST:: SOT 130563 SOS 41380 HAS SOPS 41380 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11351.38
AT ITER 8704 NEW BEST:: SOT 130562 SOS 41403 HAS SOPS 41403 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11330.403
AT ITER 8807 NEW BEST:: SOT 130574 SOS 41399 HAS SOPS 41399 HAS SOUS 11285 HAS SOUPS 11285 WITH SCORE 11326.399
AT ITER 8818 NEW BEST:: SOT 130572 SOS 41395 HAS SOPS 41395 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11322.395
AT ITER 9066 NEW BEST:: SOT 130584 SOS 41419 HAS SOPS 41419 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11306.419
AT ITER 9072 NEW BEST:: SOT 130583 SOS 41420 HAS SOPS 41420 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11304.42
AT ITER 9290 NEW BEST:: SOT 130579 SOS 41420 HAS SOPS 41420 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11280.42
AT ITER 9326 NEW BEST:: SOT 130573 SOS 41402 HAS SOPS 41402 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11268.402
AT ITER 9367 NEW BEST:: SOT 130573 SOS 41393 HAS SOPS 41393 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11268.393
AT ITER 9411 NEW BEST:: SOT 130571 SOS 41389 HAS SOPS 41389 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11268.389
AT ITER 9428 NEW BEST:: SOT 130572 SOS 41388 HAS SOPS 41388 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11267.388
AT ITER 9452 NEW BEST:: SOT 130571 SOS 41386 HAS SOPS 41386 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11265.386
AT ITER 9457 NEW BEST:: SOT 130570 SOS 41386 HAS SOPS 41386 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11263.386
AT ITER 9458 NEW BEST:: SOT 130562 SOS 41370 HAS SOPS 41370 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11255.37
AT ITER 9474 NEW BEST:: SOT 130559 SOS 41364 HAS SOPS 41364 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11249.364
AT ITER 9484 NEW BEST:: SOT 130535 SOS 41364 HAS SOPS 41364 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11201.364
AT ITER 9511 NEW BEST:: SOT 130523 SOS 41340 HAS SOPS 41340 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11192.34
AT ITER 9554 NEW BEST:: SOT 130519 SOS 41334 HAS SOPS 41334 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11186.334
AT ITER 9663 NEW BEST:: SOT 130518 SOS 41332 HAS SOPS 41332 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11184.332
AT ITER 9816 NEW BEST:: SOT 130497 SOS 41044 HAS SOPS 41044 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11183.044
AT ITER 9848 NEW BEST:: SOT 130485 SOS 41030 HAS SOPS 41030 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11158.03
AT ITER 9946 NEW BEST:: SOT 130484 SOS 41028 HAS SOPS 41028 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11156.028
AT ITER 9976 NEW BEST:: SOT 130484 SOS 41026 HAS SOPS 41026 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11154.026

BK_STOP 1678744024535

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 489 Killed ${SMART}/smart ${INPUT_SM}

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="AutonomousCar-PT-06b"
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 AutonomousCar-PT-06b, 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 r011-oct2-167813600500624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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