About the Execution of Smart+red for EGFr-PT-10420
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1394.815 | 127881.00 | 135674.00 | 819.00 | 2.7022E+0016 8.4643E+0017 1 104 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423800656.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 EGFr-PT-10420, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423800656
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 19:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 19:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 20:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 25 20:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 20:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 681K 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 1678502765802
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=EGFr-PT-10420
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 02:46:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 02:46:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 02:46:09] [INFO ] Load time of PNML (sax parser for PT used): 161 ms
[2023-03-11 02:46:09] [INFO ] Transformed 208 places.
[2023-03-11 02:46:09] [INFO ] Transformed 378 transitions.
[2023-03-11 02:46:09] [INFO ] Found NUPN structural information;
[2023-03-11 02:46:09] [INFO ] Parsed PT model containing 208 places and 378 transitions and 3198 arcs in 387 ms.
[2023-03-11 02:46:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 378 transitions and 3198 arcs took 15 ms.
Total runtime 447 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10420
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: 208 places, 378 transitions, 3198 arcs.
AT ITER 0 NEW BEST:: SOT 52699 SOS 27135 HAS SOPS 7636 HAS SOUS 23134 HAS SOUPS 6937 WITH SCORE 6964.135
AT ITER 5 NEW BEST:: SOT 52684 SOS 27097 HAS SOPS 7595 HAS SOUS 23096 HAS SOUPS 6896 WITH SCORE 6923.097
AT ITER 8 NEW BEST:: SOT 52683 SOS 27095 HAS SOPS 7592 HAS SOUS 23094 HAS SOUPS 6894 WITH SCORE 6921.095
AT ITER 10 NEW BEST:: SOT 52683 SOS 27198 HAS SOPS 7592 HAS SOUS 23210 HAS SOUPS 6876 WITH SCORE 6903.198
AT ITER 36 NEW BEST:: SOT 52675 SOS 27190 HAS SOPS 7584 HAS SOUS 23202 HAS SOUPS 6868 WITH SCORE 6895.19
AT ITER 54 NEW BEST:: SOT 52750 SOS 27214 HAS SOPS 7416 HAS SOUS 23148 HAS SOUPS 6742 WITH SCORE 6769.214
AT ITER 102 NEW BEST:: SOT 52740 SOS 27199 HAS SOPS 7386 HAS SOUS 23133 HAS SOUPS 6712 WITH SCORE 6739.199
AT ITER 116 NEW BEST:: SOT 52593 SOS 27052 HAS SOPS 7239 HAS SOUS 22986 HAS SOUPS 6565 WITH SCORE 6592.052
AT ITER 118 NEW BEST:: SOT 52590 SOS 27049 HAS SOPS 7214 HAS SOUS 22994 HAS SOUPS 6551 WITH SCORE 6578.049
AT ITER 129 NEW BEST:: SOT 52590 SOS 28280 HAS SOPS 7176 HAS SOUS 22996 HAS SOUPS 6513 WITH SCORE 6541.28
AT ITER 162 NEW BEST:: SOT 52605 SOS 28665 HAS SOPS 7191 HAS SOUS 23026 HAS SOUPS 6462 WITH SCORE 6490.665
AT ITER 181 NEW BEST:: SOT 52638 SOS 28883 HAS SOPS 7218 HAS SOUS 23203 HAS SOUPS 6453 WITH SCORE 6481.883
AT ITER 184 NEW BEST:: SOT 52638 SOS 29010 HAS SOPS 7150 HAS SOUS 23213 HAS SOUPS 6385 WITH SCORE 6414.01
AT ITER 186 NEW BEST:: SOT 52633 SOS 29047 HAS SOPS 7145 HAS SOUS 23021 HAS SOUPS 6380 WITH SCORE 6409.047
AT ITER 191 NEW BEST:: SOT 52633 SOS 29296 HAS SOPS 7133 HAS SOUS 23014 HAS SOUPS 6372 WITH SCORE 6401.296
AT ITER 204 NEW BEST:: SOT 52635 SOS 29227 HAS SOPS 7078 HAS SOUS 22978 HAS SOUPS 6336 WITH SCORE 6365.227
AT ITER 205 NEW BEST:: SOT 52635 SOS 29209 HAS SOPS 7060 HAS SOUS 22957 HAS SOUPS 6315 WITH SCORE 6344.209
AT ITER 211 NEW BEST:: SOT 52635 SOS 29204 HAS SOPS 7060 HAS SOUS 23019 HAS SOUPS 6315 WITH SCORE 6344.204
AT ITER 216 NEW BEST:: SOT 52635 SOS 29195 HAS SOPS 7060 HAS SOUS 23035 HAS SOUPS 6315 WITH SCORE 6344.195
AT ITER 228 NEW BEST:: SOT 52635 SOS 29477 HAS SOPS 7022 HAS SOUS 23061 HAS SOUPS 6277 WITH SCORE 6306.477
AT ITER 275 NEW BEST:: SOT 52556 SOS 29422 HAS SOPS 6931 HAS SOUS 22989 HAS SOUPS 6186 WITH SCORE 6215.422
AT ITER 276 NEW BEST:: SOT 52555 SOS 29582 HAS SOPS 6930 HAS SOUS 23057 HAS SOUPS 6185 WITH SCORE 6214.582
AT ITER 278 NEW BEST:: SOT 52534 SOS 29561 HAS SOPS 6909 HAS SOUS 23036 HAS SOUPS 6164 WITH SCORE 6193.561
AT ITER 282 NEW BEST:: SOT 52534 SOS 29507 HAS SOPS 6909 HAS SOUS 22880 HAS SOUPS 6164 WITH SCORE 6193.507
AT ITER 283 NEW BEST:: SOT 52503 SOS 29533 HAS SOPS 6870 HAS SOUS 22883 HAS SOUPS 6125 WITH SCORE 6154.533
AT ITER 298 NEW BEST:: SOT 52497 SOS 29524 HAS SOPS 6864 HAS SOUS 22868 HAS SOUPS 6113 WITH SCORE 6142.524
AT ITER 305 NEW BEST:: SOT 52445 SOS 29520 HAS SOPS 6862 HAS SOUS 22758 HAS SOUPS 6111 WITH SCORE 6140.52
AT ITER 309 NEW BEST:: SOT 52445 SOS 29519 HAS SOPS 6862 HAS SOUS 22690 HAS SOUPS 6111 WITH SCORE 6140.519
AT ITER 310 NEW BEST:: SOT 52445 SOS 29380 HAS SOPS 6862 HAS SOUS 22694 HAS SOUPS 6111 WITH SCORE 6140.38
AT ITER 312 NEW BEST:: SOT 52437 SOS 29366 HAS SOPS 6840 HAS SOUS 22684 HAS SOUPS 6089 WITH SCORE 6118.366
AT ITER 330 NEW BEST:: SOT 52437 SOS 29260 HAS SOPS 6840 HAS SOUS 22721 HAS SOUPS 6089 WITH SCORE 6118.26
AT ITER 334 NEW BEST:: SOT 52436 SOS 29258 HAS SOPS 6836 HAS SOUS 22719 HAS SOUPS 6085 WITH SCORE 6114.258
AT ITER 372 NEW BEST:: SOT 52436 SOS 29818 HAS SOPS 6827 HAS SOUS 22950 HAS SOUPS 6079 WITH SCORE 6108.818
AT ITER 373 NEW BEST:: SOT 52404 SOS 29840 HAS SOPS 6795 HAS SOUS 22946 HAS SOUPS 6047 WITH SCORE 6076.84
AT ITER 375 NEW BEST:: SOT 52354 SOS 29814 HAS SOPS 6745 HAS SOUS 22791 HAS SOUPS 5997 WITH SCORE 6026.814
AT ITER 387 NEW BEST:: SOT 52354 SOS 29450 HAS SOPS 6745 HAS SOUS 22739 HAS SOUPS 5997 WITH SCORE 6026.45
AT ITER 391 NEW BEST:: SOT 52354 SOS 29215 HAS SOPS 6685 HAS SOUS 22678 HAS SOUPS 5937 WITH SCORE 5966.215
AT ITER 432 NEW BEST:: SOT 52354 SOS 29124 HAS SOPS 6685 HAS SOUS 22674 HAS SOUPS 5937 WITH SCORE 5966.124
AT ITER 439 NEW BEST:: SOT 52369 SOS 29139 HAS SOPS 6700 HAS SOUS 22669 HAS SOUPS 5932 WITH SCORE 5961.139
AT ITER 468 NEW BEST:: SOT 52363 SOS 29133 HAS SOPS 6694 HAS SOUS 22666 HAS SOUPS 5929 WITH SCORE 5958.133
AT ITER 469 NEW BEST:: SOT 52357 SOS 29115 HAS SOPS 6670 HAS SOUS 22636 HAS SOUPS 5911 WITH SCORE 5940.115
AT ITER 472 NEW BEST:: SOT 52356 SOS 29114 HAS SOPS 6669 HAS SOUS 22635 HAS SOUPS 5910 WITH SCORE 5939.114
AT ITER 477 NEW BEST:: SOT 52356 SOS 29099 HAS SOPS 6669 HAS SOUS 22643 HAS SOUPS 5910 WITH SCORE 5939.099
AT ITER 496 NEW BEST:: SOT 52356 SOS 29008 HAS SOPS 6669 HAS SOUS 22676 HAS SOUPS 5910 WITH SCORE 5939.008
AT ITER 505 NEW BEST:: SOT 52356 SOS 29114 HAS SOPS 6618 HAS SOUS 22693 HAS SOUPS 5876 WITH SCORE 5905.114
AT ITER 508 NEW BEST:: SOT 52356 SOS 29123 HAS SOPS 6616 HAS SOUS 22680 HAS SOUPS 5874 WITH SCORE 5903.123
AT ITER 543 NEW BEST:: SOT 52235 SOS 29002 HAS SOPS 6495 HAS SOUS 22559 HAS SOUPS 5753 WITH SCORE 5782.002
AT ITER 555 NEW BEST:: SOT 52211 SOS 28958 HAS SOPS 6471 HAS SOUS 22458 HAS SOUPS 5729 WITH SCORE 5757.958
AT ITER 569 NEW BEST:: SOT 52211 SOS 28940 HAS SOPS 6444 HAS SOUS 22422 HAS SOUPS 5702 WITH SCORE 5730.94
AT ITER 679 NEW BEST:: SOT 52181 SOS 28873 HAS SOPS 6414 HAS SOUS 22355 HAS SOUPS 5672 WITH SCORE 5700.873
AT ITER 697 NEW BEST:: SOT 52181 SOS 28890 HAS SOPS 6363 HAS SOUS 22355 HAS SOUPS 5621 WITH SCORE 5649.89
AT ITER 707 NEW BEST:: SOT 52181 SOS 28884 HAS SOPS 6355 HAS SOUS 22441 HAS SOUPS 5613 WITH SCORE 5641.884
AT ITER 731 NEW BEST:: SOT 52181 SOS 28873 HAS SOPS 6333 HAS SOUS 22441 HAS SOUPS 5602 WITH SCORE 5630.873
AT ITER 736 NEW BEST:: SOT 52181 SOS 28803 HAS SOPS 6333 HAS SOUS 22574 HAS SOUPS 5602 WITH SCORE 5630.803
AT ITER 760 NEW BEST:: SOT 52181 SOS 28796 HAS SOPS 6333 HAS SOUS 22561 HAS SOUPS 5602 WITH SCORE 5630.796
AT ITER 762 NEW BEST:: SOT 52177 SOS 28824 HAS SOPS 6321 HAS SOUS 22555 HAS SOUPS 5580 WITH SCORE 5608.824
AT ITER 765 NEW BEST:: SOT 52130 SOS 28721 HAS SOPS 6218 HAS SOUS 22443 HAS SOUPS 5458 WITH SCORE 5486.721
AT ITER 778 NEW BEST:: SOT 52129 SOS 28719 HAS SOPS 6213 HAS SOUS 22440 HAS SOUPS 5453 WITH SCORE 5481.719
AT ITER 790 NEW BEST:: SOT 52121 SOS 28696 HAS SOPS 6187 HAS SOUS 22423 HAS SOUPS 5433 WITH SCORE 5461.696
AT ITER 802 NEW BEST:: SOT 52121 SOS 28342 HAS SOPS 6187 HAS SOUS 22369 HAS SOUPS 5433 WITH SCORE 5461.342
AT ITER 831 NEW BEST:: SOT 52115 SOS 28330 HAS SOPS 6181 HAS SOUS 22357 HAS SOUPS 5427 WITH SCORE 5455.33
AT ITER 839 NEW BEST:: SOT 52059 SOS 28223 HAS SOPS 6125 HAS SOUS 22295 HAS SOUPS 5371 WITH SCORE 5399.223
AT ITER 842 NEW BEST:: SOT 52075 SOS 28228 HAS SOPS 6120 HAS SOUS 22302 HAS SOUPS 5366 WITH SCORE 5394.228
AT ITER 862 NEW BEST:: SOT 52100 SOS 28205 HAS SOPS 6085 HAS SOUS 22304 HAS SOUPS 5356 WITH SCORE 5384.205
AT ITER 898 NEW BEST:: SOT 52099 SOS 28208 HAS SOPS 6103 HAS SOUS 22272 HAS SOUPS 5351 WITH SCORE 5379.208
AT ITER 953 NEW BEST:: SOT 52129 SOS 28245 HAS SOPS 6093 HAS SOUS 22309 HAS SOUPS 5341 WITH SCORE 5369.245
AT ITER 967 NEW BEST:: SOT 52115 SOS 28235 HAS SOPS 6091 HAS SOUS 22299 HAS SOUPS 5339 WITH SCORE 5367.235
AT ITER 978 NEW BEST:: SOT 52115 SOS 28118 HAS SOPS 6091 HAS SOUS 22019 HAS SOUPS 5339 WITH SCORE 5367.118
AT ITER 1007 NEW BEST:: SOT 52115 SOS 27999 HAS SOPS 6091 HAS SOUS 21920 HAS SOUPS 5339 WITH SCORE 5366.999
AT ITER 1050 NEW BEST:: SOT 52108 SOS 27996 HAS SOPS 6088 HAS SOUS 21899 HAS SOUPS 5318 WITH SCORE 5345.996
AT ITER 1064 NEW BEST:: SOT 52108 SOS 27990 HAS SOPS 6082 HAS SOUS 21895 HAS SOUPS 5314 WITH SCORE 5341.99
AT ITER 1071 NEW BEST:: SOT 52104 SOS 27986 HAS SOPS 6078 HAS SOUS 21889 HAS SOUPS 5308 WITH SCORE 5335.986
AT ITER 1074 NEW BEST:: SOT 52058 SOS 27839 HAS SOPS 5920 HAS SOUS 21750 HAS SOUPS 5177 WITH SCORE 5204.839
AT ITER 1076 NEW BEST:: SOT 52058 SOS 27800 HAS SOPS 5920 HAS SOUS 21539 HAS SOUPS 5177 WITH SCORE 5204.8
AT ITER 1089 NEW BEST:: SOT 52076 SOS 28270 HAS SOPS 5842 HAS SOUS 22123 HAS SOUPS 5131 WITH SCORE 5159.27
AT ITER 1101 NEW BEST:: SOT 52029 SOS 28176 HAS SOPS 5795 HAS SOUS 22123 HAS SOUPS 5131 WITH SCORE 5159.176
AT ITER 1113 NEW BEST:: SOT 52022 SOS 28130 HAS SOPS 5743 HAS SOUS 22111 HAS SOUPS 5103 WITH SCORE 5131.13
AT ITER 1114 NEW BEST:: SOT 52022 SOS 28130 HAS SOPS 5739 HAS SOUS 22114 HAS SOUPS 5099 WITH SCORE 5127.13
AT ITER 1117 NEW BEST:: SOT 52022 SOS 28130 HAS SOPS 5734 HAS SOUS 22114 HAS SOUPS 5094 WITH SCORE 5122.13
AT ITER 1123 NEW BEST:: SOT 52022 SOS 27905 HAS SOPS 5659 HAS SOUS 22039 HAS SOUPS 5044 WITH SCORE 5071.905
AT ITER 1127 NEW BEST:: SOT 52011 SOS 27894 HAS SOPS 5648 HAS SOUS 22013 HAS SOUPS 5033 WITH SCORE 5060.894
AT ITER 1152 NEW BEST:: SOT 52001 SOS 27888 HAS SOPS 5648 HAS SOUS 22004 HAS SOUPS 5030 WITH SCORE 5057.888
AT ITER 1203 NEW BEST:: SOT 51997 SOS 27888 HAS SOPS 5646 HAS SOUS 22000 HAS SOUPS 5028 WITH SCORE 5055.888
AT ITER 1227 NEW BEST:: SOT 51994 SOS 27883 HAS SOPS 5639 HAS SOUS 21996 HAS SOUPS 5022 WITH SCORE 5049.883
AT ITER 1248 NEW BEST:: SOT 51994 SOS 27787 HAS SOPS 5639 HAS SOUS 22006 HAS SOUPS 5022 WITH SCORE 5049.787
AT ITER 1253 NEW BEST:: SOT 51991 SOS 27784 HAS SOPS 5636 HAS SOUS 22003 HAS SOUPS 5019 WITH SCORE 5046.784
AT ITER 1262 NEW BEST:: SOT 51829 SOS 27484 HAS SOPS 5478 HAS SOUS 21766 HAS SOUPS 4858 WITH SCORE 4885.484
AT ITER 1371 NEW BEST:: SOT 51824 SOS 27515 HAS SOPS 5415 HAS SOUS 21744 HAS SOUPS 4795 WITH SCORE 4822.515
AT ITER 1378 NEW BEST:: SOT 51820 SOS 27511 HAS SOPS 5411 HAS SOUS 21721 HAS SOUPS 4791 WITH SCORE 4818.511
AT ITER 1384 NEW BEST:: SOT 51820 SOS 27278 HAS SOPS 5411 HAS SOUS 21353 HAS SOUPS 4791 WITH SCORE 4818.278
AT ITER 1385 NEW BEST:: SOT 51820 SOS 27266 HAS SOPS 5411 HAS SOUS 21353 HAS SOUPS 4791 WITH SCORE 4818.266
AT ITER 1388 NEW BEST:: SOT 51823 SOS 27265 HAS SOPS 5405 HAS SOUS 21366 HAS SOUPS 4785 WITH SCORE 4812.265
AT ITER 1390 NEW BEST:: SOT 51823 SOS 27243 HAS SOPS 5405 HAS SOUS 21266 HAS SOUPS 4785 WITH SCORE 4812.243
AT ITER 1394 NEW BEST:: SOT 51823 SOS 26749 HAS SOPS 5405 HAS SOUS 21229 HAS SOUPS 4785 WITH SCORE 4811.749
AT ITER 1419 NEW BEST:: SOT 51823 SOS 26734 HAS SOPS 5405 HAS SOUS 21199 HAS SOUPS 4770 WITH SCORE 4796.734
AT ITER 1420 NEW BEST:: SOT 51823 SOS 26722 HAS SOPS 5403 HAS SOUS 21181 HAS SOUPS 4762 WITH SCORE 4788.722
AT ITER 1423 NEW BEST:: SOT 51836 SOS 26709 HAS SOPS 5390 HAS SOUS 21188 HAS SOUPS 4762 WITH SCORE 4788.709
AT ITER 1454 NEW BEST:: SOT 51815 SOS 26672 HAS SOPS 5351 HAS SOUS 21161 HAS SOUPS 4729 WITH SCORE 4755.672
AT ITER 1480 NEW BEST:: SOT 51815 SOS 26479 HAS SOPS 5351 HAS SOUS 21148 HAS SOUPS 4729 WITH SCORE 4755.479
AT ITER 1485 NEW BEST:: SOT 51815 SOS 26469 HAS SOPS 5341 HAS SOUS 21138 HAS SOUPS 4719 WITH SCORE 4745.469
AT ITER 1504 NEW BEST:: SOT 51815 SOS 27081 HAS SOPS 5301 HAS SOUS 21153 HAS SOUPS 4679 WITH SCORE 4706.081
AT ITER 1586 NEW BEST:: SOT 51815 SOS 27060 HAS SOPS 5301 HAS SOUS 21141 HAS SOUPS 4679 WITH SCORE 4706.06
AT ITER 1600 NEW BEST:: SOT 51815 SOS 27050 HAS SOPS 5269 HAS SOUS 21131 HAS SOUPS 4647 WITH SCORE 4674.05
AT ITER 1632 NEW BEST:: SOT 51815 SOS 26914 HAS SOPS 5269 HAS SOUS 21131 HAS SOUPS 4647 WITH SCORE 4673.914
AT ITER 1649 NEW BEST:: SOT 51803 SOS 26902 HAS SOPS 5257 HAS SOUS 21131 HAS SOUPS 4647 WITH SCORE 4673.902
AT ITER 1652 NEW BEST:: SOT 51745 SOS 26924 HAS SOPS 5197 HAS SOUS 21135 HAS SOUPS 4604 WITH SCORE 4630.924
AT ITER 1707 NEW BEST:: SOT 51745 SOS 26913 HAS SOPS 5189 HAS SOUS 21139 HAS SOUPS 4603 WITH SCORE 4629.913
AT ITER 1714 NEW BEST:: SOT 51744 SOS 26910 HAS SOPS 5188 HAS SOUS 21132 HAS SOUPS 4602 WITH SCORE 4628.91
AT ITER 1726 NEW BEST:: SOT 51750 SOS 27058 HAS SOPS 5176 HAS SOUS 21206 HAS SOUPS 4596 WITH SCORE 4623.058
AT ITER 1757 NEW BEST:: SOT 51744 SOS 27009 HAS SOPS 5170 HAS SOUS 21157 HAS SOUPS 4590 WITH SCORE 4617.009
AT ITER 1769 NEW BEST:: SOT 51744 SOS 26929 HAS SOPS 5170 HAS SOUS 21238 HAS SOUPS 4590 WITH SCORE 4616.929
AT ITER 1778 NEW BEST:: SOT 51742 SOS 26925 HAS SOPS 5196 HAS SOUS 21204 HAS SOUPS 4586 WITH SCORE 4612.925
AT ITER 1802 NEW BEST:: SOT 51694 SOS 26853 HAS SOPS 5084 HAS SOUS 21162 HAS SOUPS 4504 WITH SCORE 4530.853
AT ITER 1808 NEW BEST:: SOT 51695 SOS 26855 HAS SOPS 5081 HAS SOUS 21164 HAS SOUPS 4501 WITH SCORE 4527.855
AT ITER 1814 NEW BEST:: SOT 51693 SOS 26841 HAS SOPS 5077 HAS SOUS 21156 HAS SOUPS 4497 WITH SCORE 4523.841
AT ITER 1838 NEW BEST:: SOT 51671 SOS 26814 HAS SOPS 5073 HAS SOUS 21152 HAS SOUPS 4493 WITH SCORE 4519.814
AT ITER 1846 NEW BEST:: SOT 51652 SOS 26795 HAS SOPS 5038 HAS SOUS 21137 HAS SOUPS 4462 WITH SCORE 4488.795
AT ITER 1887 NEW BEST:: SOT 51652 SOS 26801 HAS SOPS 5011 HAS SOUS 21220 HAS SOUPS 4436 WITH SCORE 4462.801
AT ITER 1939 NEW BEST:: SOT 51652 SOS 26791 HAS SOPS 4989 HAS SOUS 21208 HAS SOUPS 4414 WITH SCORE 4440.791
AT ITER 1948 NEW BEST:: SOT 51652 SOS 26791 HAS SOPS 4981 HAS SOUS 21216 HAS SOUPS 4406 WITH SCORE 4432.791
AT ITER 1973 NEW BEST:: SOT 51634 SOS 26773 HAS SOPS 4963 HAS SOUS 21198 HAS SOUPS 4388 WITH SCORE 4414.773
AT ITER 2009 NEW BEST:: SOT 51624 SOS 26780 HAS SOPS 4953 HAS SOUS 21197 HAS SOUPS 4370 WITH SCORE 4396.78
AT ITER 2016 NEW BEST:: SOT 51614 SOS 26770 HAS SOPS 4943 HAS SOUS 21197 HAS SOUPS 4370 WITH SCORE 4396.77
AT ITER 2034 NEW BEST:: SOT 51604 SOS 26760 HAS SOPS 4943 HAS SOUS 21158 HAS SOUPS 4367 WITH SCORE 4393.76
AT ITER 2036 NEW BEST:: SOT 51615 SOS 26849 HAS SOPS 4928 HAS SOUS 21236 HAS SOUPS 4352 WITH SCORE 4378.849
AT ITER 2050 NEW BEST:: SOT 51657 SOS 26863 HAS SOPS 4942 HAS SOUS 21293 HAS SOUPS 4351 WITH SCORE 4377.863
AT ITER 2064 NEW BEST:: SOT 51644 SOS 26827 HAS SOPS 4905 HAS SOUS 21270 HAS SOUPS 4327 WITH SCORE 4353.827
AT ITER 2088 NEW BEST:: SOT 51646 SOS 26817 HAS SOPS 4903 HAS SOUS 21259 HAS SOUPS 4318 WITH SCORE 4344.817
AT ITER 2132 NEW BEST:: SOT 51646 SOS 26815 HAS SOPS 4901 HAS SOUS 21251 HAS SOUPS 4310 WITH SCORE 4336.815
AT ITER 2153 NEW BEST:: SOT 51646 SOS 27045 HAS SOPS 4829 HAS SOUS 21309 HAS SOUPS 4262 WITH SCORE 4289.045
AT ITER 2165 NEW BEST:: SOT 51646 SOS 27042 HAS SOPS 4829 HAS SOUS 21306 HAS SOUPS 4262 WITH SCORE 4289.042
AT ITER 2191 NEW BEST:: SOT 51642 SOS 26936 HAS SOPS 4800 HAS SOUS 21277 HAS SOUPS 4248 WITH SCORE 4274.936
AT ITER 2203 NEW BEST:: SOT 51642 SOS 26862 HAS SOPS 4800 HAS SOUS 21248 HAS SOUPS 4248 WITH SCORE 4274.862
AT ITER 2250 NEW BEST:: SOT 51603 SOS 26861 HAS SOPS 4798 HAS SOUS 21222 HAS SOUPS 4246 WITH SCORE 4272.861
AT ITER 2261 NEW BEST:: SOT 51603 SOS 26841 HAS SOPS 4798 HAS SOUS 21184 HAS SOUPS 4246 WITH SCORE 4272.841
AT ITER 2279 NEW BEST:: SOT 51602 SOS 26839 HAS SOPS 4797 HAS SOUS 21182 HAS SOUPS 4245 WITH SCORE 4271.839
AT ITER 2381 NEW BEST:: SOT 51594 SOS 26767 HAS SOPS 4757 HAS SOUS 21143 HAS SOUPS 4226 WITH SCORE 4252.767
AT ITER 2444 NEW BEST:: SOT 51594 SOS 26756 HAS SOPS 4757 HAS SOUS 21136 HAS SOUPS 4226 WITH SCORE 4252.756
AT ITER 2466 NEW BEST:: SOT 51594 SOS 26738 HAS SOPS 4757 HAS SOUS 21124 HAS SOUPS 4226 WITH SCORE 4252.738
AT ITER 2480 NEW BEST:: SOT 51573 SOS 26695 HAS SOPS 4736 HAS SOUS 21103 HAS SOUPS 4205 WITH SCORE 4231.695
AT ITER 2604 NEW BEST:: SOT 51573 SOS 26680 HAS SOPS 4736 HAS SOUS 21096 HAS SOUPS 4205 WITH SCORE 4231.68
AT ITER 2609 NEW BEST:: SOT 51573 SOS 26619 HAS SOPS 4736 HAS SOUS 21181 HAS SOUPS 4205 WITH SCORE 4231.619
AT ITER 2635 NEW BEST:: SOT 51573 SOS 26618 HAS SOPS 4734 HAS SOUS 21180 HAS SOUPS 4203 WITH SCORE 4229.618
AT ITER 2637 NEW BEST:: SOT 51570 SOS 26609 HAS SOPS 4722 HAS SOUS 21177 HAS SOUPS 4197 WITH SCORE 4223.609
AT ITER 2642 NEW BEST:: SOT 51578 SOS 26756 HAS SOPS 4730 HAS SOUS 21399 HAS SOUPS 4196 WITH SCORE 4222.756
AT ITER 2701 NEW BEST:: SOT 51548 SOS 26731 HAS SOPS 4706 HAS SOUS 21387 HAS SOUPS 4185 WITH SCORE 4211.731
AT ITER 2746 NEW BEST:: SOT 51547 SOS 26819 HAS SOPS 4705 HAS SOUS 21312 HAS SOUPS 4184 WITH SCORE 4210.819
AT ITER 2747 NEW BEST:: SOT 51554 SOS 26826 HAS SOPS 4704 HAS SOUS 21317 HAS SOUPS 4183 WITH SCORE 4209.826
AT ITER 2783 NEW BEST:: SOT 51550 SOS 26822 HAS SOPS 4688 HAS SOUS 21313 HAS SOUPS 4167 WITH SCORE 4193.822
AT ITER 2812 NEW BEST:: SOT 51550 SOS 26920 HAS SOPS 4678 HAS SOUS 21433 HAS SOUPS 4157 WITH SCORE 4183.92
AT ITER 2820 NEW BEST:: SOT 51550 SOS 26888 HAS SOPS 4652 HAS SOUS 21401 HAS SOUPS 4131 WITH SCORE 4157.888
AT ITER 2882 NEW BEST:: SOT 51550 SOS 26858 HAS SOPS 4652 HAS SOUS 21311 HAS SOUPS 4131 WITH SCORE 4157.858
AT ITER 2918 NEW BEST:: SOT 51509 SOS 26817 HAS SOPS 4620 HAS SOUS 21273 HAS SOUPS 4099 WITH SCORE 4125.817
AT ITER 2922 NEW BEST:: SOT 51496 SOS 26805 HAS SOPS 4607 HAS SOUS 21260 HAS SOUPS 4099 WITH SCORE 4125.805
AT ITER 2923 NEW BEST:: SOT 51503 SOS 26845 HAS SOPS 4606 HAS SOUS 21324 HAS SOUPS 4098 WITH SCORE 4124.845
AT ITER 2934 NEW BEST:: SOT 51498 SOS 26835 HAS SOPS 4596 HAS SOUS 21324 HAS SOUPS 4098 WITH SCORE 4124.835
AT ITER 2977 NEW BEST:: SOT 51498 SOS 26557 HAS SOPS 4596 HAS SOUS 20810 HAS SOUPS 4098 WITH SCORE 4124.557
AT ITER 3073 NEW BEST:: SOT 51498 SOS 26917 HAS SOPS 4588 HAS SOUS 20824 HAS SOUPS 4094 WITH SCORE 4120.917
AT ITER 3080 NEW BEST:: SOT 51496 SOS 26916 HAS SOPS 4584 HAS SOUS 20820 HAS SOUPS 4090 WITH SCORE 4116.916
AT ITER 3094 NEW BEST:: SOT 51496 SOS 26901 HAS SOPS 4584 HAS SOUS 20810 HAS SOUPS 4090 WITH SCORE 4116.901
AT ITER 3121 NEW BEST:: SOT 51498 SOS 26909 HAS SOPS 4576 HAS SOUS 20806 HAS SOUPS 4082 WITH SCORE 4108.909
AT ITER 3125 NEW BEST:: SOT 51491 SOS 26895 HAS SOPS 4569 HAS SOUS 20792 HAS SOUPS 4075 WITH SCORE 4101.895
AT ITER 3203 NEW BEST:: SOT 51491 SOS 26886 HAS SOPS 4569 HAS SOUS 20771 HAS SOUPS 4075 WITH SCORE 4101.886
AT ITER 3255 NEW BEST:: SOT 51426 SOS 26909 HAS SOPS 4564 HAS SOUS 20712 HAS SOUPS 4068 WITH SCORE 4094.909
AT ITER 3340 NEW BEST:: SOT 51426 SOS 26903 HAS SOPS 4564 HAS SOUS 20733 HAS SOUPS 4068 WITH SCORE 4094.903
AT ITER 3360 NEW BEST:: SOT 51426 SOS 26903 HAS SOPS 4558 HAS SOUS 20754 HAS SOUPS 4062 WITH SCORE 4088.903
AT ITER 3369 NEW BEST:: SOT 51426 SOS 26895 HAS SOPS 4558 HAS SOUS 20710 HAS SOUPS 4062 WITH SCORE 4088.895
AT ITER 3440 NEW BEST:: SOT 51426 SOS 26916 HAS SOPS 4522 HAS SOUS 20704 HAS SOUPS 4044 WITH SCORE 4070.916
AT ITER 3445 NEW BEST:: SOT 51424 SOS 26910 HAS SOPS 4518 HAS SOUS 20702 HAS SOUPS 4040 WITH SCORE 4066.91
AT ITER 3485 NEW BEST:: SOT 51422 SOS 26908 HAS SOPS 4514 HAS SOUS 20698 HAS SOUPS 4036 WITH SCORE 4062.908
AT ITER 3498 NEW BEST:: SOT 51424 SOS 26906 HAS SOPS 4510 HAS SOUS 20692 HAS SOUPS 4034 WITH SCORE 4060.906
AT ITER 3506 NEW BEST:: SOT 51413 SOS 26872 HAS SOPS 4479 HAS SOUS 20670 HAS SOUPS 4011 WITH SCORE 4037.872
AT ITER 3518 NEW BEST:: SOT 51413 SOS 26868 HAS SOPS 4475 HAS SOUS 20666 HAS SOUPS 4007 WITH SCORE 4033.868
AT ITER 3531 NEW BEST:: SOT 51404 SOS 26859 HAS SOPS 4457 HAS SOUS 20666 HAS SOUPS 3992 WITH SCORE 4018.859
AT ITER 3552 NEW BEST:: SOT 51401 SOS 26781 HAS SOPS 4430 HAS SOUS 20647 HAS SOUPS 3965 WITH SCORE 3991.781
AT ITER 3567 NEW BEST:: SOT 51386 SOS 26760 HAS SOPS 4401 HAS SOUS 20617 HAS SOUPS 3936 WITH SCORE 3962.76
AT ITER 3591 NEW BEST:: SOT 51374 SOS 26688 HAS SOPS 4365 HAS SOUS 20593 HAS SOUPS 3912 WITH SCORE 3938.688
AT ITER 3593 NEW BEST:: SOT 51374 SOS 26643 HAS SOPS 4365 HAS SOUS 20639 HAS SOUPS 3912 WITH SCORE 3938.643
AT ITER 3615 NEW BEST:: SOT 51372 SOS 26648 HAS SOPS 4351 HAS SOUS 20641 HAS SOUPS 3898 WITH SCORE 3924.648
AT ITER 3636 NEW BEST:: SOT 51375 SOS 26647 HAS SOPS 4350 HAS SOUS 20643 HAS SOUPS 3897 WITH SCORE 3923.647
AT ITER 3686 NEW BEST:: SOT 51375 SOS 26500 HAS SOPS 4350 HAS SOUS 20550 HAS SOUPS 3897 WITH SCORE 3923.5
AT ITER 3707 NEW BEST:: SOT 51375 SOS 26481 HAS SOPS 4350 HAS SOUS 20488 HAS SOUPS 3897 WITH SCORE 3923.481
AT ITER 3714 NEW BEST:: SOT 51375 SOS 26446 HAS SOPS 4350 HAS SOUS 20312 HAS SOUPS 3897 WITH SCORE 3923.446
AT ITER 3740 NEW BEST:: SOT 51375 SOS 26440 HAS SOPS 4350 HAS SOUS 20314 HAS SOUPS 3897 WITH SCORE 3923.44
AT ITER 3763 NEW BEST:: SOT 51323 SOS 26414 HAS SOPS 4324 HAS SOUS 20311 HAS SOUPS 3885 WITH SCORE 3911.414
AT ITER 3775 NEW BEST:: SOT 51195 SOS 26412 HAS SOPS 4266 HAS SOUS 20212 HAS SOUPS 3827 WITH SCORE 3853.412
AT ITER 3799 NEW BEST:: SOT 51195 SOS 26412 HAS SOPS 4264 HAS SOUS 20213 HAS SOUPS 3825 WITH SCORE 3851.412
AT ITER 3816 NEW BEST:: SOT 51181 SOS 26382 HAS SOPS 4262 HAS SOUS 20191 HAS SOUPS 3823 WITH SCORE 3849.382
AT ITER 3820 NEW BEST:: SOT 51175 SOS 26373 HAS SOPS 4252 HAS SOUS 20184 HAS SOUPS 3813 WITH SCORE 3839.373
AT ITER 3821 NEW BEST:: SOT 51175 SOS 26083 HAS SOPS 4252 HAS SOUS 20165 HAS SOUPS 3813 WITH SCORE 3839.083
AT ITER 3831 NEW BEST:: SOT 51173 SOS 26079 HAS SOPS 4250 HAS SOUS 20165 HAS SOUPS 3811 WITH SCORE 3837.079
AT ITER 3860 NEW BEST:: SOT 51164 SOS 26079 HAS SOPS 4214 HAS SOUS 20147 HAS SOUPS 3775 WITH SCORE 3801.079
AT ITER 3884 NEW BEST:: SOT 51164 SOS 26043 HAS SOPS 4214 HAS SOUS 19844 HAS SOUPS 3775 WITH SCORE 3801.043
AT ITER 3892 NEW BEST:: SOT 51175 SOS 25966 HAS SOPS 4192 HAS SOUS 19822 HAS SOUPS 3764 WITH SCORE 3789.966
AT ITER 4006 NEW BEST:: SOT 51175 SOS 25854 HAS SOPS 4192 HAS SOUS 19814 HAS SOUPS 3764 WITH SCORE 3789.854
AT ITER 4007 NEW BEST:: SOT 51175 SOS 25830 HAS SOPS 4192 HAS SOUS 19723 HAS SOUPS 3764 WITH SCORE 3789.83
AT ITER 4099 NEW BEST:: SOT 51175 SOS 25828 HAS SOPS 4189 HAS SOUS 19735 HAS SOUPS 3762 WITH SCORE 3787.828
AT ITER 4133 NEW BEST:: SOT 51171 SOS 25994 HAS SOPS 4185 HAS SOUS 19679 HAS SOUPS 3758 WITH SCORE 3783.994
AT ITER 4155 NEW BEST:: SOT 51168 SOS 25989 HAS SOPS 4183 HAS SOUS 19671 HAS SOUPS 3756 WITH SCORE 3781.989
AT ITER 4189 NEW BEST:: SOT 51168 SOS 25988 HAS SOPS 4183 HAS SOUS 19676 HAS SOUPS 3756 WITH SCORE 3781.988
AT ITER 4209 NEW BEST:: SOT 51167 SOS 25983 HAS SOPS 4176 HAS SOUS 19677 HAS SOUPS 3755 WITH SCORE 3780.983
AT ITER 4256 NEW BEST:: SOT 51167 SOS 25916 HAS SOPS 4176 HAS SOUS 19749 HAS SOUPS 3755 WITH SCORE 3780.916
AT ITER 4285 NEW BEST:: SOT 51229 SOS 25912 HAS SOPS 4168 HAS SOUS 19797 HAS SOUPS 3747 WITH SCORE 3772.912
AT ITER 4304 NEW BEST:: SOT 51229 SOS 25931 HAS SOPS 4159 HAS SOUS 20005 HAS SOUPS 3741 WITH SCORE 3766.931
AT ITER 4340 NEW BEST:: SOT 51229 SOS 25891 HAS SOPS 4159 HAS SOUS 20005 HAS SOUPS 3741 WITH SCORE 3766.891
AT ITER 4342 NEW BEST:: SOT 51215 SOS 25885 HAS SOPS 4145 HAS SOUS 19992 HAS SOUPS 3727 WITH SCORE 3752.885
AT ITER 4396 NEW BEST:: SOT 51211 SOS 25881 HAS SOPS 4139 HAS SOUS 19986 HAS SOUPS 3721 WITH SCORE 3746.881
AT ITER 4407 NEW BEST:: SOT 51209 SOS 25869 HAS SOPS 4137 HAS SOUS 19982 HAS SOUPS 3721 WITH SCORE 3746.869
AT ITER 4417 NEW BEST:: SOT 51209 SOS 25540 HAS SOPS 4137 HAS SOUS 19940 HAS SOUPS 3721 WITH SCORE 3746.54
AT ITER 4457 NEW BEST:: SOT 51209 SOS 25537 HAS SOPS 4135 HAS SOUS 19933 HAS SOUPS 3715 WITH SCORE 3740.537
AT ITER 4496 NEW BEST:: SOT 51209 SOS 25488 HAS SOPS 4135 HAS SOUS 19853 HAS SOUPS 3715 WITH SCORE 3740.488
AT ITER 4543 NEW BEST:: SOT 51210 SOS 25486 HAS SOPS 4131 HAS SOUS 19851 HAS SOUPS 3711 WITH SCORE 3736.486
AT ITER 4551 NEW BEST:: SOT 51208 SOS 25481 HAS SOPS 4126 HAS SOUS 19848 HAS SOUPS 3708 WITH SCORE 3733.481
AT ITER 4553 NEW BEST:: SOT 51208 SOS 25496 HAS SOPS 4122 HAS SOUS 19863 HAS SOUPS 3704 WITH SCORE 3729.496
AT ITER 4572 NEW BEST:: SOT 51208 SOS 25476 HAS SOPS 4122 HAS SOUS 19855 HAS SOUPS 3704 WITH SCORE 3729.476
AT ITER 4681 NEW BEST:: SOT 51203 SOS 25453 HAS SOPS 4117 HAS SOUS 19844 HAS SOUPS 3699 WITH SCORE 3724.453
AT ITER 4782 NEW BEST:: SOT 51201 SOS 25445 HAS SOPS 4115 HAS SOUS 19841 HAS SOUPS 3697 WITH SCORE 3722.445
AT ITER 4812 NEW BEST:: SOT 51201 SOS 25379 HAS SOPS 4115 HAS SOUS 19850 HAS SOUPS 3697 WITH SCORE 3722.379
AT ITER 4827 NEW BEST:: SOT 51201 SOS 25376 HAS SOPS 4115 HAS SOUS 19850 HAS SOUPS 3697 WITH SCORE 3722.376
AT ITER 4858 NEW BEST:: SOT 51201 SOS 25363 HAS SOPS 4115 HAS SOUS 19775 HAS SOUPS 3697 WITH SCORE 3722.363
AT ITER 4905 NEW BEST:: SOT 51201 SOS 25347 HAS SOPS 4099 HAS SOUS 19774 HAS SOUPS 3681 WITH SCORE 3706.347
AT ITER 4935 NEW BEST:: SOT 51198 SOS 25346 HAS SOPS 4094 HAS SOUS 19770 HAS SOUPS 3676 WITH SCORE 3701.346
AT ITER 5030 NEW BEST:: SOT 51215 SOS 25348 HAS SOPS 4093 HAS SOUS 19784 HAS SOUPS 3675 WITH SCORE 3700.348
AT ITER 5142 NEW BEST:: SOT 51215 SOS 25346 HAS SOPS 4091 HAS SOUS 19774 HAS SOUPS 3665 WITH SCORE 3690.346
AT ITER 5145 NEW BEST:: SOT 51216 SOS 25346 HAS SOPS 4090 HAS SOUS 19787 HAS SOUPS 3664 WITH SCORE 3689.346
AT ITER 5239 NEW BEST:: SOT 51216 SOS 25318 HAS SOPS 4090 HAS SOUS 19878 HAS SOUPS 3664 WITH SCORE 3689.318
AT ITER 5262 NEW BEST:: SOT 51216 SOS 25314 HAS SOPS 4090 HAS SOUS 19876 HAS SOUPS 3664 WITH SCORE 3689.314
AT ITER 5295 NEW BEST:: SOT 51212 SOS 25306 HAS SOPS 4086 HAS SOUS 19864 HAS SOUPS 3664 WITH SCORE 3689.306
AT ITER 5331 NEW BEST:: SOT 51212 SOS 25280 HAS SOPS 4086 HAS SOUS 19843 HAS SOUPS 3664 WITH SCORE 3689.28
AT ITER 5357 NEW BEST:: SOT 51212 SOS 25279 HAS SOPS 4086 HAS SOUS 19832 HAS SOUPS 3664 WITH SCORE 3689.279
AT ITER 5359 NEW BEST:: SOT 51212 SOS 25265 HAS SOPS 4086 HAS SOUS 19708 HAS SOUPS 3664 WITH SCORE 3689.265
AT ITER 5423 NEW BEST:: SOT 51202 SOS 25247 HAS SOPS 4074 HAS SOUS 19694 HAS SOUPS 3656 WITH SCORE 3681.247
AT ITER 5502 NEW BEST:: SOT 51202 SOS 25243 HAS SOPS 4074 HAS SOUS 19668 HAS SOUPS 3656 WITH SCORE 3681.243
AT ITER 5547 NEW BEST:: SOT 51208 SOS 25244 HAS SOPS 4068 HAS SOUS 19662 HAS SOUPS 3644 WITH SCORE 3669.244
AT ITER 5634 NEW BEST:: SOT 51208 SOS 25231 HAS SOPS 4068 HAS SOUS 19654 HAS SOUPS 3644 WITH SCORE 3669.231
AT ITER 5747 NEW BEST:: SOT 51208 SOS 25210 HAS SOPS 4068 HAS SOUS 19574 HAS SOUPS 3644 WITH SCORE 3669.21
AT ITER 5762 NEW BEST:: SOT 51208 SOS 25208 HAS SOPS 4064 HAS SOUS 19574 HAS SOUPS 3640 WITH SCORE 3665.208
AT ITER 5765 NEW BEST:: SOT 51207 SOS 25194 HAS SOPS 4057 HAS SOUS 19566 HAS SOUPS 3639 WITH SCORE 3664.194
AT ITER 5806 NEW BEST:: SOT 51207 SOS 25195 HAS SOPS 4055 HAS SOUS 19566 HAS SOUPS 3637 WITH SCORE 3662.195
AT ITER 5878 NEW BEST:: SOT 51174 SOS 25129 HAS SOPS 3978 HAS SOUS 19511 HAS SOUPS 3571 WITH SCORE 3596.129
AT ITER 5917 NEW BEST:: SOT 51174 SOS 24979 HAS SOPS 3978 HAS SOUS 19418 HAS SOUPS 3571 WITH SCORE 3595.979
AT ITER 5928 NEW BEST:: SOT 51174 SOS 24979 HAS SOPS 3970 HAS SOUS 19418 HAS SOUPS 3567 WITH SCORE 3591.979
AT ITER 5962 NEW BEST:: SOT 51178 SOS 24983 HAS SOPS 3958 HAS SOUS 19418 HAS SOUPS 3555 WITH SCORE 3579.983
AT ITER 6023 NEW BEST:: SOT 51218 SOS 25025 HAS SOPS 3948 HAS SOUS 19455 HAS SOUPS 3545 WITH SCORE 3570.025
AT ITER 6027 NEW BEST:: SOT 51218 SOS 25018 HAS SOPS 3948 HAS SOUS 19416 HAS SOUPS 3545 WITH SCORE 3570.018
AT ITER 6041 NEW BEST:: SOT 51218 SOS 24925 HAS SOPS 3948 HAS SOUS 19272 HAS SOUPS 3545 WITH SCORE 3569.925
AT ITER 6106 NEW BEST:: SOT 51213 SOS 24920 HAS SOPS 3940 HAS SOUS 19267 HAS SOUPS 3537 WITH SCORE 3561.92
AT ITER 6151 NEW BEST:: SOT 51211 SOS 24919 HAS SOPS 3938 HAS SOUS 19265 HAS SOUPS 3535 WITH SCORE 3559.919
AT ITER 6171 NEW BEST:: SOT 51211 SOS 24898 HAS SOPS 3938 HAS SOUS 19283 HAS SOUPS 3535 WITH SCORE 3559.898
AT ITER 6249 NEW BEST:: SOT 51208 SOS 24893 HAS SOPS 3937 HAS SOUS 19260 HAS SOUPS 3534 WITH SCORE 3558.893
AT ITER 6265 NEW BEST:: SOT 51208 SOS 24878 HAS SOPS 3937 HAS SOUS 19189 HAS SOUPS 3534 WITH SCORE 3558.878
AT ITER 6299 NEW BEST:: SOT 51208 SOS 24874 HAS SOPS 3931 HAS SOUS 19204 HAS SOUPS 3530 WITH SCORE 3554.874
AT ITER 6357 NEW BEST:: SOT 51208 SOS 24808 HAS SOPS 3931 HAS SOUS 19257 HAS SOUPS 3530 WITH SCORE 3554.808
AT ITER 6359 NEW BEST:: SOT 51207 SOS 24807 HAS SOPS 3926 HAS SOUS 19255 HAS SOUPS 3525 WITH SCORE 3549.807
AT ITER 6571 NEW BEST:: SOT 51211 SOS 24824 HAS SOPS 3925 HAS SOUS 19263 HAS SOUPS 3524 WITH SCORE 3548.824
AT ITER 6587 NEW BEST:: SOT 51211 SOS 24804 HAS SOPS 3925 HAS SOUS 19266 HAS SOUPS 3524 WITH SCORE 3548.804
AT ITER 6588 NEW BEST:: SOT 51215 SOS 24806 HAS SOPS 3917 HAS SOUS 19313 HAS SOUPS 3520 WITH SCORE 3544.806
AT ITER 6595 NEW BEST:: SOT 51204 SOS 24803 HAS SOPS 3906 HAS SOUS 19303 HAS SOUPS 3509 WITH SCORE 3533.803
AT ITER 6605 NEW BEST:: SOT 51194 SOS 24801 HAS SOPS 3904 HAS SOUS 19301 HAS SOUPS 3507 WITH SCORE 3531.801
AT ITER 6786 NEW BEST:: SOT 51194 SOS 24778 HAS SOPS 3904 HAS SOUS 19301 HAS SOUPS 3507 WITH SCORE 3531.778
AT ITER 6847 NEW BEST:: SOT 51216 SOS 25082 HAS SOPS 3926 HAS SOUS 19361 HAS SOUPS 3505 WITH SCORE 3530.082
AT ITER 6914 NEW BEST:: SOT 51216 SOS 25076 HAS SOPS 3926 HAS SOUS 19152 HAS SOUPS 3505 WITH SCORE 3530.076
AT ITER 6954 NEW BEST:: SOT 51216 SOS 25075 HAS SOPS 3926 HAS SOUS 19151 HAS SOUPS 3505 WITH SCORE 3530.075
AT ITER 6970 NEW BEST:: SOT 51214 SOS 25057 HAS SOPS 3927 HAS SOUS 19134 HAS SOUPS 3505 WITH SCORE 3530.057
AT ITER 7078 NEW BEST:: SOT 51214 SOS 25041 HAS SOPS 3927 HAS SOUS 19117 HAS SOUPS 3505 WITH SCORE 3530.041
AT ITER 7099 NEW BEST:: SOT 51218 SOS 25151 HAS SOPS 3951 HAS SOUS 19131 HAS SOUPS 3486 WITH SCORE 3511.151
AT ITER 7123 NEW BEST:: SOT 51218 SOS 25149 HAS SOPS 3951 HAS SOUS 19259 HAS SOUPS 3486 WITH SCORE 3511.149
AT ITER 7154 NEW BEST:: SOT 51218 SOS 25141 HAS SOPS 3943 HAS SOUS 19251 HAS SOUPS 3478 WITH SCORE 3503.141
AT ITER 7230 NEW BEST:: SOT 51218 SOS 25130 HAS SOPS 3935 HAS SOUS 19248 HAS SOUPS 3474 WITH SCORE 3499.13
AT ITER 7273 NEW BEST:: SOT 51218 SOS 25103 HAS SOPS 3935 HAS SOUS 19179 HAS SOUPS 3474 WITH SCORE 3499.103
AT ITER 7313 NEW BEST:: SOT 51218 SOS 25075 HAS SOPS 3935 HAS SOUS 19315 HAS SOUPS 3474 WITH SCORE 3499.075
AT ITER 7326 NEW BEST:: SOT 51218 SOS 25056 HAS SOPS 3935 HAS SOUS 19315 HAS SOUPS 3474 WITH SCORE 3499.056
AT ITER 7327 NEW BEST:: SOT 51202 SOS 25047 HAS SOPS 3930 HAS SOUS 19297 HAS SOUPS 3472 WITH SCORE 3497.047
AT ITER 7410 NEW BEST:: SOT 51197 SOS 25057 HAS SOPS 3915 HAS SOUS 19287 HAS SOUPS 3457 WITH SCORE 3482.057
AT ITER 7451 NEW BEST:: SOT 51197 SOS 25057 HAS SOPS 3915 HAS SOUS 19285 HAS SOUPS 3455 WITH SCORE 3480.057
AT ITER 7458 NEW BEST:: SOT 51198 SOS 25058 HAS SOPS 3914 HAS SOUS 19284 HAS SOUPS 3454 WITH SCORE 3479.058
AT ITER 7478 NEW BEST:: SOT 51198 SOS 24833 HAS SOPS 3914 HAS SOUS 18853 HAS SOUPS 3454 WITH SCORE 3478.833
AT ITER 7500 NEW BEST:: SOT 51198 SOS 24820 HAS SOPS 3914 HAS SOUS 19150 HAS SOUPS 3454 WITH SCORE 3478.82
AT ITER 7534 NEW BEST:: SOT 51197 SOS 24819 HAS SOPS 3913 HAS SOUS 19149 HAS SOUPS 3453 WITH SCORE 3477.819
AT ITER 7685 NEW BEST:: SOT 51195 SOS 24819 HAS SOPS 3907 HAS SOUS 19147 HAS SOUPS 3447 WITH SCORE 3471.819
AT ITER 7698 NEW BEST:: SOT 51195 SOS 24875 HAS SOPS 3927 HAS SOUS 19155 HAS SOUPS 3443 WITH SCORE 3467.875
AT ITER 7735 NEW BEST:: SOT 51197 SOS 24873 HAS SOPS 3925 HAS SOUS 19155 HAS SOUPS 3441 WITH SCORE 3465.873
AT ITER 7797 NEW BEST:: SOT 51187 SOS 24858 HAS SOPS 3911 HAS SOUS 19141 HAS SOUPS 3427 WITH SCORE 3451.858
AT ITER 7879 NEW BEST:: SOT 51181 SOS 24852 HAS SOPS 3908 HAS SOUS 19138 HAS SOUPS 3427 WITH SCORE 3451.852
AT ITER 7891 NEW BEST:: SOT 51177 SOS 24852 HAS SOPS 3904 HAS SOUS 19138 HAS SOUPS 3423 WITH SCORE 3447.852
AT ITER 7951 NEW BEST:: SOT 51169 SOS 24796 HAS SOPS 3896 HAS SOUS 19114 HAS SOUPS 3423 WITH SCORE 3447.796
AT ITER 7998 NEW BEST:: SOT 51167 SOS 24788 HAS SOPS 3896 HAS SOUS 19084 HAS SOUPS 3423 WITH SCORE 3447.788
AT ITER 8125 NEW BEST:: SOT 51182 SOS 24716 HAS SOPS 3869 HAS SOUS 19056 HAS SOUPS 3410 WITH SCORE 3434.716
AT ITER 8175 NEW BEST:: SOT 51182 SOS 24632 HAS SOPS 3869 HAS SOUS 19056 HAS SOUPS 3410 WITH SCORE 3434.632
AT ITER 8230 NEW BEST:: SOT 51182 SOS 24602 HAS SOPS 3869 HAS SOUS 19058 HAS SOUPS 3410 WITH SCORE 3434.602
AT ITER 8262 NEW BEST:: SOT 51197 SOS 24622 HAS SOPS 3880 HAS SOUS 19060 HAS SOUPS 3403 WITH SCORE 3427.622
AT ITER 8296 NEW BEST:: SOT 51197 SOS 24621 HAS SOPS 3880 HAS SOUS 19060 HAS SOUPS 3403 WITH SCORE 3427.621
AT ITER 8324 NEW BEST:: SOT 51189 SOS 24616 HAS SOPS 3869 HAS SOUS 19054 HAS SOUPS 3392 WITH SCORE 3416.616
AT ITER 8339 NEW BEST:: SOT 51188 SOS 24615 HAS SOPS 3866 HAS SOUS 19053 HAS SOUPS 3389 WITH SCORE 3413.615
AT ITER 8341 NEW BEST:: SOT 51184 SOS 24608 HAS SOPS 3854 HAS SOUS 19048 HAS SOUPS 3383 WITH SCORE 3407.608
AT ITER 8361 NEW BEST:: SOT 51182 SOS 24607 HAS SOPS 3855 HAS SOUS 19031 HAS SOUPS 3383 WITH SCORE 3407.607
AT ITER 8445 NEW BEST:: SOT 51181 SOS 24601 HAS SOPS 3854 HAS SOUS 19029 HAS SOUPS 3383 WITH SCORE 3407.601
AT ITER 8552 NEW BEST:: SOT 51181 SOS 24565 HAS SOPS 3854 HAS SOUS 19010 HAS SOUPS 3383 WITH SCORE 3407.565
AT ITER 8553 NEW BEST:: SOT 51180 SOS 24561 HAS SOPS 3847 HAS SOUS 19007 HAS SOUPS 3376 WITH SCORE 3400.561
AT ITER 8710 NEW BEST:: SOT 51174 SOS 24558 HAS SOPS 3841 HAS SOUS 19004 HAS SOUPS 3370 WITH SCORE 3394.558
AT ITER 8879 NEW BEST:: SOT 51174 SOS 24554 HAS SOPS 3841 HAS SOUS 19004 HAS SOUPS 3370 WITH SCORE 3394.554
AT ITER 8898 NEW BEST:: SOT 51174 SOS 24552 HAS SOPS 3839 HAS SOUS 19000 HAS SOUPS 3368 WITH SCORE 3392.552
AT ITER 8899 NEW BEST:: SOT 51170 SOS 24548 HAS SOPS 3835 HAS SOUS 19000 HAS SOUPS 3368 WITH SCORE 3392.548
AT ITER 8900 NEW BEST:: SOT 51171 SOS 24549 HAS SOPS 3836 HAS SOUS 18999 HAS SOUPS 3367 WITH SCORE 3391.549
AT ITER 9032 NEW BEST:: SOT 51173 SOS 24549 HAS SOPS 3832 HAS SOUS 18999 HAS SOUPS 3363 WITH SCORE 3387.549
AT ITER 9095 NEW BEST:: SOT 51173 SOS 24545 HAS SOPS 3832 HAS SOUS 19001 HAS SOUPS 3363 WITH SCORE 3387.545
AT ITER 9160 NEW BEST:: SOT 51173 SOS 24526 HAS SOPS 3832 HAS SOUS 19092 HAS SOUPS 3363 WITH SCORE 3387.526
AT ITER 9197 NEW BEST:: SOT 51157 SOS 24510 HAS SOPS 3816 HAS SOUS 19068 HAS SOUPS 3347 WITH SCORE 3371.51
AT ITER 9210 NEW BEST:: SOT 51155 SOS 24505 HAS SOPS 3810 HAS SOUS 19065 HAS SOUPS 3343 WITH SCORE 3367.505
AT ITER 9263 NEW BEST:: SOT 51149 SOS 24497 HAS SOPS 3810 HAS SOUS 19059 HAS SOUPS 3343 WITH SCORE 3367.497
AT ITER 9266 NEW BEST:: SOT 51154 SOS 24487 HAS SOPS 3800 HAS SOUS 19049 HAS SOUPS 3333 WITH SCORE 3357.487
AT ITER 9405 NEW BEST:: SOT 51166 SOS 24503 HAS SOPS 3800 HAS SOUS 19057 HAS SOUPS 3325 WITH SCORE 3349.503
AT ITER 9447 NEW BEST:: SOT 51166 SOS 24485 HAS SOPS 3800 HAS SOUS 18958 HAS SOUPS 3325 WITH SCORE 3349.485
AT ITER 9469 NEW BEST:: SOT 51152 SOS 24487 HAS SOPS 3800 HAS SOUS 18953 HAS SOUPS 3318 WITH SCORE 3342.487
AT ITER 9618 NEW BEST:: SOT 51140 SOS 24439 HAS SOPS 3788 HAS SOUS 18929 HAS SOUPS 3318 WITH SCORE 3342.439
AT ITER 9631 NEW BEST:: SOT 51137 SOS 24430 HAS SOPS 3785 HAS SOUS 18926 HAS SOUPS 3318 WITH SCORE 3342.43
AT ITER 9850 NEW BEST:: SOT 51137 SOS 24426 HAS SOPS 3785 HAS SOUS 18922 HAS SOUPS 3318 WITH SCORE 3342.426
STATE_SPACE STATES 27021597764222976 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 104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 846430439341031424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678502893683
--------------------
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="EGFr-PT-10420"
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 EGFr-PT-10420, 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 r139-smll-167819423800656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/EGFr-PT-10420.tgz
mv EGFr-PT-10420 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;