fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r139-smll-167819423800664
Last Updated
May 14, 2023

About the Execution of Smart+red for EGFr-PT-10421

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
807.027 54903.00 61680.00 678.40 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-167819423800664.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-10421, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423800664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.3K Feb 25 19:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 19:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 19:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 19:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 20:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 20:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 20:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 20:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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------- 1 mcc users 672K 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 1678503467471

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-10421
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 02:57:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 02:57:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 02:57:50] [INFO ] Load time of PNML (sax parser for PT used): 257 ms
[2023-03-11 02:57:50] [INFO ] Transformed 208 places.
[2023-03-11 02:57:50] [INFO ] Transformed 378 transitions.
[2023-03-11 02:57:50] [INFO ] Parsed PT model containing 208 places and 378 transitions and 3198 arcs in 367 ms.
[2023-03-11 02:57:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 378 transitions and 3198 arcs took 17 ms.
Total runtime 437 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10421
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 15 NEW BEST:: SOT 52699 SOS 27200 HAS SOPS 7636 HAS SOUS 23250 HAS SOUPS 6916 WITH SCORE 6943.2
AT ITER 52 NEW BEST:: SOT 52634 SOS 27184 HAS SOPS 7571 HAS SOUS 23177 HAS SOUPS 6851 WITH SCORE 6878.184
AT ITER 55 NEW BEST:: SOT 52651 SOS 27813 HAS SOPS 7512 HAS SOUS 23249 HAS SOUPS 6792 WITH SCORE 6819.813
AT ITER 67 NEW BEST:: SOT 52651 SOS 27381 HAS SOPS 7512 HAS SOUS 23249 HAS SOUPS 6792 WITH SCORE 6819.381
AT ITER 74 NEW BEST:: SOT 52651 SOS 27369 HAS SOPS 7512 HAS SOUS 23285 HAS SOUPS 6792 WITH SCORE 6819.369
AT ITER 99 NEW BEST:: SOT 52644 SOS 27355 HAS SOPS 7437 HAS SOUS 23333 HAS SOUPS 6779 WITH SCORE 6806.355
AT ITER 101 NEW BEST:: SOT 52643 SOS 27354 HAS SOPS 7436 HAS SOUS 23332 HAS SOUPS 6778 WITH SCORE 6805.354
AT ITER 102 NEW BEST:: SOT 52543 SOS 27645 HAS SOPS 7465 HAS SOUS 23445 HAS SOUPS 6768 WITH SCORE 6795.645
AT ITER 104 NEW BEST:: SOT 52519 SOS 27670 HAS SOPS 7441 HAS SOUS 23470 HAS SOUPS 6744 WITH SCORE 6771.67
AT ITER 135 NEW BEST:: SOT 52511 SOS 27671 HAS SOPS 7433 HAS SOUS 23419 HAS SOUPS 6720 WITH SCORE 6747.671
AT ITER 159 NEW BEST:: SOT 52511 SOS 27652 HAS SOPS 7433 HAS SOUS 23400 HAS SOUPS 6720 WITH SCORE 6747.652
AT ITER 164 NEW BEST:: SOT 52503 SOS 27636 HAS SOPS 7417 HAS SOUS 23380 HAS SOUPS 6704 WITH SCORE 6731.636
AT ITER 178 NEW BEST:: SOT 52503 SOS 27610 HAS SOPS 7417 HAS SOUS 23359 HAS SOUPS 6704 WITH SCORE 6731.61
AT ITER 180 NEW BEST:: SOT 52506 SOS 27610 HAS SOPS 7414 HAS SOUS 23356 HAS SOUPS 6701 WITH SCORE 6728.61
AT ITER 214 NEW BEST:: SOT 52506 SOS 27602 HAS SOPS 7414 HAS SOUS 23356 HAS SOUPS 6701 WITH SCORE 6728.602
AT ITER 246 NEW BEST:: SOT 52431 SOS 27527 HAS SOPS 7339 HAS SOUS 23265 HAS SOUPS 6626 WITH SCORE 6653.527
AT ITER 257 NEW BEST:: SOT 52431 SOS 27522 HAS SOPS 7339 HAS SOUS 23299 HAS SOUPS 6626 WITH SCORE 6653.522
AT ITER 258 NEW BEST:: SOT 52427 SOS 27612 HAS SOPS 7335 HAS SOUS 23192 HAS SOUPS 6622 WITH SCORE 6649.612
AT ITER 264 NEW BEST:: SOT 52427 SOS 27611 HAS SOPS 7335 HAS SOUS 23198 HAS SOUPS 6622 WITH SCORE 6649.611
AT ITER 272 NEW BEST:: SOT 52427 SOS 27690 HAS SOPS 7334 HAS SOUS 23214 HAS SOUPS 6618 WITH SCORE 6645.69
AT ITER 279 NEW BEST:: SOT 52413 SOS 27633 HAS SOPS 7334 HAS SOUS 23199 HAS SOUPS 6618 WITH SCORE 6645.633
AT ITER 280 NEW BEST:: SOT 52395 SOS 27613 HAS SOPS 7308 HAS SOUS 23172 HAS SOUPS 6585 WITH SCORE 6612.613
AT ITER 295 NEW BEST:: SOT 52427 SOS 27513 HAS SOPS 7306 HAS SOUS 23185 HAS SOUPS 6583 WITH SCORE 6610.513
AT ITER 316 NEW BEST:: SOT 52427 SOS 27512 HAS SOPS 7306 HAS SOUS 23185 HAS SOUPS 6583 WITH SCORE 6610.512
AT ITER 324 NEW BEST:: SOT 52427 SOS 27521 HAS SOPS 7292 HAS SOUS 23180 HAS SOUPS 6569 WITH SCORE 6596.521
AT ITER 327 NEW BEST:: SOT 52391 SOS 27497 HAS SOPS 7256 HAS SOUS 23156 HAS SOUPS 6533 WITH SCORE 6560.497
AT ITER 333 NEW BEST:: SOT 52384 SOS 27476 HAS SOPS 7277 HAS SOUS 23114 HAS SOUPS 6533 WITH SCORE 6560.476
AT ITER 334 NEW BEST:: SOT 52336 SOS 27212 HAS SOPS 7013 HAS SOUS 22922 HAS SOUPS 6341 WITH SCORE 6368.212
AT ITER 335 NEW BEST:: SOT 52311 SOS 27397 HAS SOPS 6974 HAS SOUS 22940 HAS SOUPS 6290 WITH SCORE 6317.397
AT ITER 345 NEW BEST:: SOT 52305 SOS 27383 HAS SOPS 6966 HAS SOUS 22928 HAS SOUPS 6283 WITH SCORE 6310.383
AT ITER 352 NEW BEST:: SOT 52226 SOS 27376 HAS SOPS 6863 HAS SOUS 23007 HAS SOUPS 6266 WITH SCORE 6293.376
AT ITER 353 NEW BEST:: SOT 52226 SOS 27375 HAS SOPS 6863 HAS SOUS 23006 HAS SOUPS 6266 WITH SCORE 6293.375
AT ITER 367 NEW BEST:: SOT 52226 SOS 27376 HAS SOPS 6859 HAS SOUS 23006 HAS SOUPS 6262 WITH SCORE 6289.376
AT ITER 393 NEW BEST:: SOT 52267 SOS 27606 HAS SOPS 6894 HAS SOUS 23248 HAS SOUPS 6253 WITH SCORE 6280.606
AT ITER 406 NEW BEST:: SOT 52267 SOS 27963 HAS SOPS 6856 HAS SOUS 23216 HAS SOUPS 6215 WITH SCORE 6242.963
AT ITER 414 NEW BEST:: SOT 52267 SOS 27960 HAS SOPS 6818 HAS SOUS 23241 HAS SOUPS 6177 WITH SCORE 6204.96
AT ITER 421 NEW BEST:: SOT 52267 SOS 28511 HAS SOPS 6815 HAS SOUS 23394 HAS SOUPS 6175 WITH SCORE 6203.511
AT ITER 488 NEW BEST:: SOT 52269 SOS 28459 HAS SOPS 6760 HAS SOUS 23375 HAS SOUPS 6139 WITH SCORE 6167.459
AT ITER 510 NEW BEST:: SOT 52267 SOS 28450 HAS SOPS 6758 HAS SOUS 23354 HAS SOUPS 6137 WITH SCORE 6165.45
AT ITER 520 NEW BEST:: SOT 52257 SOS 28435 HAS SOPS 6728 HAS SOUS 23334 HAS SOUPS 6107 WITH SCORE 6135.435
AT ITER 528 NEW BEST:: SOT 52257 SOS 28355 HAS SOPS 6724 HAS SOUS 23301 HAS SOUPS 6093 WITH SCORE 6121.355
AT ITER 563 NEW BEST:: SOT 52257 SOS 28343 HAS SOPS 6712 HAS SOUS 23289 HAS SOUPS 6081 WITH SCORE 6109.343
AT ITER 567 NEW BEST:: SOT 52257 SOS 28342 HAS SOPS 6712 HAS SOUS 23292 HAS SOUPS 6081 WITH SCORE 6109.342
AT ITER 666 NEW BEST:: SOT 52138 SOS 28316 HAS SOPS 6679 HAS SOUS 23266 HAS SOUPS 6048 WITH SCORE 6076.316
AT ITER 682 NEW BEST:: SOT 52231 SOS 28414 HAS SOPS 6612 HAS SOUS 23201 HAS SOUPS 5890 WITH SCORE 5918.414
AT ITER 688 NEW BEST:: SOT 52231 SOS 28344 HAS SOPS 6612 HAS SOUS 23207 HAS SOUPS 5890 WITH SCORE 5918.344
AT ITER 710 NEW BEST:: SOT 52213 SOS 28336 HAS SOPS 6557 HAS SOUS 23199 HAS SOUPS 5835 WITH SCORE 5863.336
AT ITER 743 NEW BEST:: SOT 52213 SOS 28599 HAS SOPS 6470 HAS SOUS 23249 HAS SOUPS 5777 WITH SCORE 5805.599
AT ITER 750 NEW BEST:: SOT 52213 SOS 28597 HAS SOPS 6470 HAS SOUS 23093 HAS SOUPS 5777 WITH SCORE 5805.597
AT ITER 764 NEW BEST:: SOT 52216 SOS 28646 HAS SOPS 6482 HAS SOUS 23131 HAS SOUPS 5766 WITH SCORE 5794.646
AT ITER 802 NEW BEST:: SOT 52216 SOS 28807 HAS SOPS 6474 HAS SOUS 23517 HAS SOUPS 5758 WITH SCORE 5786.807
AT ITER 815 NEW BEST:: SOT 52216 SOS 28793 HAS SOPS 6446 HAS SOUS 23561 HAS SOUPS 5730 WITH SCORE 5758.793
AT ITER 821 NEW BEST:: SOT 52213 SOS 28767 HAS SOPS 6437 HAS SOUS 23527 HAS SOUPS 5712 WITH SCORE 5740.767
AT ITER 829 NEW BEST:: SOT 52197 SOS 28833 HAS SOPS 6421 HAS SOUS 23543 HAS SOUPS 5696 WITH SCORE 5724.833
AT ITER 838 NEW BEST:: SOT 52147 SOS 28846 HAS SOPS 6380 HAS SOUS 23552 HAS SOUPS 5652 WITH SCORE 5680.846
AT ITER 850 NEW BEST:: SOT 52147 SOS 28786 HAS SOPS 6380 HAS SOUS 23492 HAS SOUPS 5652 WITH SCORE 5680.786
AT ITER 855 NEW BEST:: SOT 52097 SOS 28841 HAS SOPS 6280 HAS SOUS 23497 HAS SOUPS 5502 WITH SCORE 5530.841
AT ITER 918 NEW BEST:: SOT 52097 SOS 28973 HAS SOPS 6211 HAS SOUS 23587 HAS SOUPS 5456 WITH SCORE 5484.973
AT ITER 947 NEW BEST:: SOT 52033 SOS 28938 HAS SOPS 6104 HAS SOUS 23670 HAS SOUPS 5417 WITH SCORE 5445.938
AT ITER 955 NEW BEST:: SOT 52029 SOS 28932 HAS SOPS 6094 HAS SOUS 23662 HAS SOUPS 5407 WITH SCORE 5435.932
AT ITER 963 NEW BEST:: SOT 52029 SOS 28917 HAS SOPS 6094 HAS SOUS 23662 HAS SOUPS 5407 WITH SCORE 5435.917
AT ITER 975 NEW BEST:: SOT 52020 SOS 28899 HAS SOPS 6085 HAS SOUS 23644 HAS SOUPS 5398 WITH SCORE 5426.899
AT ITER 978 NEW BEST:: SOT 51997 SOS 28830 HAS SOPS 6062 HAS SOUS 23621 HAS SOUPS 5398 WITH SCORE 5426.83
AT ITER 982 NEW BEST:: SOT 51997 SOS 28833 HAS SOPS 6062 HAS SOUS 23620 HAS SOUPS 5396 WITH SCORE 5424.833
AT ITER 989 NEW BEST:: SOT 51997 SOS 28826 HAS SOPS 6062 HAS SOUS 23620 HAS SOUPS 5396 WITH SCORE 5424.826
AT ITER 1001 NEW BEST:: SOT 51995 SOS 28824 HAS SOPS 6060 HAS SOUS 23620 HAS SOUPS 5396 WITH SCORE 5424.824
AT ITER 1027 NEW BEST:: SOT 51889 SOS 28766 HAS SOPS 5954 HAS SOUS 23560 HAS SOUPS 5290 WITH SCORE 5318.766
AT ITER 1043 NEW BEST:: SOT 51885 SOS 28686 HAS SOPS 5950 HAS SOUS 23533 HAS SOUPS 5286 WITH SCORE 5314.686
AT ITER 1068 NEW BEST:: SOT 51802 SOS 28824 HAS SOPS 6005 HAS SOUS 23488 HAS SOUPS 5262 WITH SCORE 5290.824
AT ITER 1096 NEW BEST:: SOT 51797 SOS 28719 HAS SOPS 6000 HAS SOUS 23214 HAS SOUPS 5257 WITH SCORE 5285.719
AT ITER 1120 NEW BEST:: SOT 51775 SOS 28697 HAS SOPS 5980 HAS SOUS 23158 HAS SOUPS 5237 WITH SCORE 5265.697
AT ITER 1141 NEW BEST:: SOT 51715 SOS 28674 HAS SOPS 5914 HAS SOUS 23174 HAS SOUPS 5210 WITH SCORE 5238.674
AT ITER 1155 NEW BEST:: SOT 51705 SOS 28664 HAS SOPS 5912 HAS SOUS 23177 HAS SOUPS 5210 WITH SCORE 5238.664
AT ITER 1160 NEW BEST:: SOT 51705 SOS 28663 HAS SOPS 5904 HAS SOUS 23170 HAS SOUPS 5210 WITH SCORE 5238.663
AT ITER 1203 NEW BEST:: SOT 51705 SOS 28662 HAS SOPS 5904 HAS SOUS 23174 HAS SOUPS 5210 WITH SCORE 5238.662
AT ITER 1208 NEW BEST:: SOT 51705 SOS 28650 HAS SOPS 5898 HAS SOUS 23172 HAS SOUPS 5210 WITH SCORE 5238.65
AT ITER 1234 NEW BEST:: SOT 51705 SOS 28684 HAS SOPS 5889 HAS SOUS 23283 HAS SOUPS 5204 WITH SCORE 5232.684
AT ITER 1235 NEW BEST:: SOT 51683 SOS 28657 HAS SOPS 5870 HAS SOUS 23264 HAS SOUPS 5185 WITH SCORE 5213.657
AT ITER 1239 NEW BEST:: SOT 51637 SOS 28648 HAS SOPS 5824 HAS SOUS 23170 HAS SOUPS 5162 WITH SCORE 5190.648
AT ITER 1247 NEW BEST:: SOT 51637 SOS 28646 HAS SOPS 5824 HAS SOUS 23144 HAS SOUPS 5162 WITH SCORE 5190.646
AT ITER 1260 NEW BEST:: SOT 51632 SOS 28671 HAS SOPS 5809 HAS SOUS 23152 HAS SOUPS 5148 WITH SCORE 5176.671
AT ITER 1263 NEW BEST:: SOT 51628 SOS 28665 HAS SOPS 5804 HAS SOUS 23142 HAS SOUPS 5143 WITH SCORE 5171.665
AT ITER 1326 NEW BEST:: SOT 51626 SOS 28661 HAS SOPS 5802 HAS SOUS 23139 HAS SOUPS 5141 WITH SCORE 5169.661
AT ITER 1331 NEW BEST:: SOT 51609 SOS 28656 HAS SOPS 5780 HAS SOUS 23147 HAS SOUPS 5132 WITH SCORE 5160.656
AT ITER 1348 NEW BEST:: SOT 51604 SOS 28650 HAS SOPS 5781 HAS SOUS 23144 HAS SOUPS 5131 WITH SCORE 5159.65
AT ITER 1354 NEW BEST:: SOT 51592 SOS 28638 HAS SOPS 5769 HAS SOUS 23132 HAS SOUPS 5119 WITH SCORE 5147.638
AT ITER 1377 NEW BEST:: SOT 51592 SOS 28623 HAS SOPS 5769 HAS SOUS 23388 HAS SOUPS 5119 WITH SCORE 5147.623
AT ITER 1393 NEW BEST:: SOT 51592 SOS 28619 HAS SOPS 5769 HAS SOUS 23390 HAS SOUPS 5119 WITH SCORE 5147.619
AT ITER 1414 NEW BEST:: SOT 51585 SOS 28607 HAS SOPS 5750 HAS SOUS 23382 HAS SOUPS 5104 WITH SCORE 5132.607
AT ITER 1430 NEW BEST:: SOT 51585 SOS 28573 HAS SOPS 5750 HAS SOUS 23361 HAS SOUPS 5104 WITH SCORE 5132.573
AT ITER 1503 NEW BEST:: SOT 51572 SOS 28734 HAS SOPS 5629 HAS SOUS 23391 HAS SOUPS 5005 WITH SCORE 5033.734
AT ITER 1531 NEW BEST:: SOT 51545 SOS 28707 HAS SOPS 5599 HAS SOUS 23364 HAS SOUPS 4975 WITH SCORE 5003.707
AT ITER 1547 NEW BEST:: SOT 51533 SOS 28688 HAS SOPS 5587 HAS SOUS 23352 HAS SOUPS 4963 WITH SCORE 4991.688
AT ITER 1560 NEW BEST:: SOT 51536 SOS 28687 HAS SOPS 5586 HAS SOUS 23350 HAS SOUPS 4961 WITH SCORE 4989.687
AT ITER 1585 NEW BEST:: SOT 51546 SOS 28795 HAS SOPS 5576 HAS SOUS 23358 HAS SOUPS 4951 WITH SCORE 4979.795
AT ITER 1587 NEW BEST:: SOT 51573 SOS 28835 HAS SOPS 5581 HAS SOUS 23570 HAS SOUPS 4946 WITH SCORE 4974.835
AT ITER 1614 NEW BEST:: SOT 51573 SOS 28814 HAS SOPS 5581 HAS SOUS 23067 HAS SOUPS 4946 WITH SCORE 4974.814
AT ITER 1620 NEW BEST:: SOT 51576 SOS 28774 HAS SOPS 5451 HAS SOUS 23075 HAS SOUPS 4864 WITH SCORE 4892.774
AT ITER 1646 NEW BEST:: SOT 51534 SOS 28731 HAS SOPS 5409 HAS SOUS 23068 HAS SOUPS 4863 WITH SCORE 4891.731
AT ITER 1665 NEW BEST:: SOT 51522 SOS 28725 HAS SOPS 5397 HAS SOUS 23062 HAS SOUPS 4851 WITH SCORE 4879.725
AT ITER 1672 NEW BEST:: SOT 51522 SOS 28723 HAS SOPS 5393 HAS SOUS 23072 HAS SOUPS 4847 WITH SCORE 4875.723
AT ITER 1689 NEW BEST:: SOT 51522 SOS 28749 HAS SOPS 5387 HAS SOUS 23084 HAS SOUPS 4843 WITH SCORE 4871.749
AT ITER 1699 NEW BEST:: SOT 51522 SOS 28743 HAS SOPS 5381 HAS SOUS 23078 HAS SOUPS 4837 WITH SCORE 4865.743
AT ITER 1725 NEW BEST:: SOT 51522 SOS 28827 HAS SOPS 5323 HAS SOUS 23218 HAS SOUPS 4779 WITH SCORE 4807.827
AT ITER 1743 NEW BEST:: SOT 51535 SOS 28893 HAS SOPS 5334 HAS SOUS 23210 HAS SOUPS 4716 WITH SCORE 4744.893
AT ITER 1747 NEW BEST:: SOT 51463 SOS 29015 HAS SOPS 5262 HAS SOUS 22927 HAS SOUPS 4653 WITH SCORE 4682.015
AT ITER 1783 NEW BEST:: SOT 51448 SOS 29066 HAS SOPS 5229 HAS SOUS 22897 HAS SOUPS 4608 WITH SCORE 4637.066
AT ITER 1796 NEW BEST:: SOT 51448 SOS 29036 HAS SOPS 5229 HAS SOUS 22931 HAS SOUPS 4608 WITH SCORE 4637.036
AT ITER 1805 NEW BEST:: SOT 51448 SOS 29161 HAS SOPS 5220 HAS SOUS 23034 HAS SOUPS 4602 WITH SCORE 4631.161
AT ITER 1833 NEW BEST:: SOT 51444 SOS 29156 HAS SOPS 5212 HAS SOUS 23030 HAS SOUPS 4594 WITH SCORE 4623.156
AT ITER 1834 NEW BEST:: SOT 51472 SOS 29132 HAS SOPS 5240 HAS SOUS 23323 HAS SOUPS 4592 WITH SCORE 4621.132
AT ITER 1883 NEW BEST:: SOT 51472 SOS 29123 HAS SOPS 5240 HAS SOUS 23314 HAS SOUPS 4592 WITH SCORE 4621.123
AT ITER 1889 NEW BEST:: SOT 51472 SOS 29122 HAS SOPS 5240 HAS SOUS 23303 HAS SOUPS 4592 WITH SCORE 4621.122
AT ITER 1914 NEW BEST:: SOT 51472 SOS 29118 HAS SOPS 5240 HAS SOUS 23300 HAS SOUPS 4592 WITH SCORE 4621.118
AT ITER 1932 NEW BEST:: SOT 51446 SOS 29107 HAS SOPS 5222 HAS SOUS 23289 HAS SOUPS 4574 WITH SCORE 4603.107
AT ITER 1939 NEW BEST:: SOT 51414 SOS 29107 HAS SOPS 5190 HAS SOUS 23311 HAS SOUPS 4542 WITH SCORE 4571.107
AT ITER 2009 NEW BEST:: SOT 51408 SOS 29095 HAS SOPS 5178 HAS SOUS 23301 HAS SOUPS 4530 WITH SCORE 4559.095
AT ITER 2025 NEW BEST:: SOT 51408 SOS 29124 HAS SOPS 5124 HAS SOUS 23290 HAS SOUPS 4494 WITH SCORE 4523.124
AT ITER 2043 NEW BEST:: SOT 51408 SOS 29009 HAS SOPS 5124 HAS SOUS 23129 HAS SOUPS 4494 WITH SCORE 4523.009
AT ITER 2075 NEW BEST:: SOT 51402 SOS 29003 HAS SOPS 5120 HAS SOUS 23125 HAS SOUPS 4490 WITH SCORE 4519.003
AT ITER 2085 NEW BEST:: SOT 51402 SOS 29380 HAS SOPS 5036 HAS SOUS 23174 HAS SOUPS 4448 WITH SCORE 4477.38
AT ITER 2109 NEW BEST:: SOT 51423 SOS 29371 HAS SOPS 5035 HAS SOUS 23264 HAS SOUPS 4447 WITH SCORE 4476.371
AT ITER 2136 NEW BEST:: SOT 51423 SOS 29371 HAS SOPS 5025 HAS SOUS 23262 HAS SOUPS 4435 WITH SCORE 4464.371
AT ITER 2140 NEW BEST:: SOT 51423 SOS 29368 HAS SOPS 5025 HAS SOUS 23259 HAS SOUPS 4435 WITH SCORE 4464.368
AT ITER 2171 NEW BEST:: SOT 51426 SOS 29423 HAS SOPS 4959 HAS SOUS 23274 HAS SOUPS 4369 WITH SCORE 4398.423
AT ITER 2176 NEW BEST:: SOT 51430 SOS 29286 HAS SOPS 4963 HAS SOUS 23213 HAS SOUPS 4364 WITH SCORE 4393.286
AT ITER 2211 NEW BEST:: SOT 51425 SOS 29272 HAS SOPS 4958 HAS SOUS 23202 HAS SOUPS 4363 WITH SCORE 4392.272
AT ITER 2242 NEW BEST:: SOT 51433 SOS 29222 HAS SOPS 4955 HAS SOUS 23200 HAS SOUPS 4363 WITH SCORE 4392.222
AT ITER 2246 NEW BEST:: SOT 51386 SOS 29094 HAS SOPS 4874 HAS SOUS 23072 HAS SOUPS 4282 WITH SCORE 4311.094
AT ITER 2265 NEW BEST:: SOT 51384 SOS 29089 HAS SOPS 4868 HAS SOUS 23067 HAS SOUPS 4276 WITH SCORE 4305.089
AT ITER 2298 NEW BEST:: SOT 51384 SOS 29084 HAS SOPS 4868 HAS SOUS 22943 HAS SOUPS 4276 WITH SCORE 4305.084
AT ITER 2319 NEW BEST:: SOT 51378 SOS 29070 HAS SOPS 4856 HAS SOUS 22951 HAS SOUPS 4270 WITH SCORE 4299.07
AT ITER 2325 NEW BEST:: SOT 51364 SOS 29129 HAS SOPS 4842 HAS SOUS 22849 HAS SOUPS 4256 WITH SCORE 4285.129
AT ITER 2326 NEW BEST:: SOT 51364 SOS 29100 HAS SOPS 4842 HAS SOUS 22847 HAS SOUPS 4256 WITH SCORE 4285.1
AT ITER 2328 NEW BEST:: SOT 51364 SOS 28823 HAS SOPS 4842 HAS SOUS 22589 HAS SOUPS 4256 WITH SCORE 4284.823
AT ITER 2368 NEW BEST:: SOT 51289 SOS 28488 HAS SOPS 4767 HAS SOUS 22236 HAS SOUPS 4181 WITH SCORE 4209.488
AT ITER 2399 NEW BEST:: SOT 51265 SOS 28496 HAS SOPS 4719 HAS SOUS 22272 HAS SOUPS 4130 WITH SCORE 4158.496
AT ITER 2440 NEW BEST:: SOT 51256 SOS 28487 HAS SOPS 4710 HAS SOUS 22263 HAS SOUPS 4121 WITH SCORE 4149.487
AT ITER 2502 NEW BEST:: SOT 51260 SOS 28545 HAS SOPS 4720 HAS SOUS 22271 HAS SOUPS 4117 WITH SCORE 4145.545
AT ITER 2517 NEW BEST:: SOT 51260 SOS 28539 HAS SOPS 4716 HAS SOUS 22265 HAS SOUPS 4113 WITH SCORE 4141.539
AT ITER 2565 NEW BEST:: SOT 51257 SOS 28536 HAS SOPS 4713 HAS SOUS 22265 HAS SOUPS 4113 WITH SCORE 4141.536
AT ITER 2605 NEW BEST:: SOT 51253 SOS 28504 HAS SOPS 4697 HAS SOUS 22249 HAS SOUPS 4101 WITH SCORE 4129.504
AT ITER 2614 NEW BEST:: SOT 51253 SOS 28498 HAS SOPS 4697 HAS SOUS 22727 HAS SOUPS 4101 WITH SCORE 4129.498
AT ITER 2648 NEW BEST:: SOT 51253 SOS 28474 HAS SOPS 4661 HAS SOUS 22871 HAS SOUPS 4077 WITH SCORE 4105.474
AT ITER 2653 NEW BEST:: SOT 51253 SOS 28461 HAS SOPS 4661 HAS SOUS 23144 HAS SOUPS 4077 WITH SCORE 4105.461
AT ITER 2735 NEW BEST:: SOT 51253 SOS 28475 HAS SOPS 4657 HAS SOUS 23274 HAS SOUPS 4075 WITH SCORE 4103.475
AT ITER 2775 NEW BEST:: SOT 51249 SOS 28499 HAS SOPS 4649 HAS SOUS 23282 HAS SOUPS 4063 WITH SCORE 4091.499
AT ITER 2780 NEW BEST:: SOT 51249 SOS 28497 HAS SOPS 4649 HAS SOUS 23277 HAS SOUPS 4063 WITH SCORE 4091.497
AT ITER 2835 NEW BEST:: SOT 51249 SOS 28489 HAS SOPS 4643 HAS SOUS 23271 HAS SOUPS 4059 WITH SCORE 4087.489
AT ITER 2849 NEW BEST:: SOT 51249 SOS 28487 HAS SOPS 4637 HAS SOUS 23273 HAS SOUPS 4053 WITH SCORE 4081.487
AT ITER 2851 NEW BEST:: SOT 51249 SOS 28469 HAS SOPS 4637 HAS SOUS 23234 HAS SOUPS 4053 WITH SCORE 4081.469
AT ITER 2852 NEW BEST:: SOT 51249 SOS 28467 HAS SOPS 4634 HAS SOUS 23231 HAS SOUPS 4050 WITH SCORE 4078.467
AT ITER 2908 NEW BEST:: SOT 51249 SOS 28465 HAS SOPS 4634 HAS SOUS 23229 HAS SOUPS 4050 WITH SCORE 4078.465
AT ITER 2921 NEW BEST:: SOT 51253 SOS 28460 HAS SOPS 4624 HAS SOUS 23217 HAS SOUPS 4040 WITH SCORE 4068.46
AT ITER 2929 NEW BEST:: SOT 51258 SOS 28336 HAS SOPS 4536 HAS SOUS 23209 HAS SOUPS 3983 WITH SCORE 4011.336
AT ITER 3006 NEW BEST:: SOT 51258 SOS 28328 HAS SOPS 4530 HAS SOUS 23207 HAS SOUPS 3981 WITH SCORE 4009.328
AT ITER 3014 NEW BEST:: SOT 51258 SOS 28238 HAS SOPS 4530 HAS SOUS 23217 HAS SOUPS 3981 WITH SCORE 4009.238
AT ITER 3034 NEW BEST:: SOT 51258 SOS 28204 HAS SOPS 4497 HAS SOUS 23194 HAS SOUPS 3959 WITH SCORE 3987.204
AT ITER 3037 NEW BEST:: SOT 51260 SOS 28202 HAS SOPS 4495 HAS SOUS 23193 HAS SOUPS 3957 WITH SCORE 3985.202
AT ITER 3043 NEW BEST:: SOT 51239 SOS 28162 HAS SOPS 4494 HAS SOUS 23134 HAS SOUPS 3956 WITH SCORE 3984.162
AT ITER 3059 NEW BEST:: SOT 51239 SOS 28153 HAS SOPS 4494 HAS SOUS 23061 HAS SOUPS 3956 WITH SCORE 3984.153
AT ITER 3071 NEW BEST:: SOT 51232 SOS 28152 HAS SOPS 4479 HAS SOUS 23050 HAS SOUPS 3938 WITH SCORE 3966.152
AT ITER 3094 NEW BEST:: SOT 51231 SOS 28117 HAS SOPS 4478 HAS SOUS 22943 HAS SOUPS 3937 WITH SCORE 3965.117
AT ITER 3131 NEW BEST:: SOT 51231 SOS 28108 HAS SOPS 4478 HAS SOUS 22920 HAS SOUPS 3937 WITH SCORE 3965.108
AT ITER 3149 NEW BEST:: SOT 51231 SOS 28021 HAS SOPS 4478 HAS SOUS 22641 HAS SOUPS 3937 WITH SCORE 3965.021
AT ITER 3159 NEW BEST:: SOT 51220 SOS 28013 HAS SOPS 4476 HAS SOUS 22633 HAS SOUPS 3935 WITH SCORE 3963.013
AT ITER 3164 NEW BEST:: SOT 51223 SOS 28015 HAS SOPS 4475 HAS SOUS 22641 HAS SOUPS 3931 WITH SCORE 3959.015
AT ITER 3183 NEW BEST:: SOT 51151 SOS 27943 HAS SOPS 4403 HAS SOUS 22569 HAS SOUPS 3859 WITH SCORE 3886.943
AT ITER 3208 NEW BEST:: SOT 51129 SOS 27905 HAS SOPS 4399 HAS SOUS 22511 HAS SOUPS 3835 WITH SCORE 3862.905
AT ITER 3210 NEW BEST:: SOT 51129 SOS 27886 HAS SOPS 4399 HAS SOUS 22455 HAS SOUPS 3835 WITH SCORE 3862.886
AT ITER 3213 NEW BEST:: SOT 51112 SOS 27509 HAS SOPS 4382 HAS SOUS 22327 HAS SOUPS 3835 WITH SCORE 3862.509
AT ITER 3216 NEW BEST:: SOT 51104 SOS 27497 HAS SOPS 4366 HAS SOUS 22317 HAS SOUPS 3821 WITH SCORE 3848.497
AT ITER 3347 NEW BEST:: SOT 51104 SOS 27486 HAS SOPS 4366 HAS SOUS 22316 HAS SOUPS 3821 WITH SCORE 3848.486
AT ITER 3349 NEW BEST:: SOT 51082 SOS 27675 HAS SOPS 4272 HAS SOUS 22356 HAS SOUPS 3725 WITH SCORE 3752.675
AT ITER 3364 NEW BEST:: SOT 51043 SOS 27763 HAS SOPS 4233 HAS SOUS 22256 HAS SOUPS 3686 WITH SCORE 3713.763
AT ITER 3384 NEW BEST:: SOT 51034 SOS 27748 HAS SOPS 4224 HAS SOUS 22244 HAS SOUPS 3677 WITH SCORE 3704.748
AT ITER 3394 NEW BEST:: SOT 51035 SOS 27749 HAS SOPS 4222 HAS SOUS 22244 HAS SOUPS 3675 WITH SCORE 3702.749
AT ITER 3395 NEW BEST:: SOT 51035 SOS 27759 HAS SOPS 4216 HAS SOUS 22254 HAS SOUPS 3669 WITH SCORE 3696.759
AT ITER 3403 NEW BEST:: SOT 51035 SOS 27743 HAS SOPS 4216 HAS SOUS 21877 HAS SOUPS 3669 WITH SCORE 3696.743
AT ITER 3424 NEW BEST:: SOT 51014 SOS 27737 HAS SOPS 4204 HAS SOUS 21865 HAS SOUPS 3656 WITH SCORE 3683.737
AT ITER 3443 NEW BEST:: SOT 51015 SOS 27737 HAS SOPS 4203 HAS SOUS 21864 HAS SOUPS 3655 WITH SCORE 3682.737
AT ITER 3463 NEW BEST:: SOT 51015 SOS 27724 HAS SOPS 4203 HAS SOUS 21747 HAS SOUPS 3655 WITH SCORE 3682.724
AT ITER 3476 NEW BEST:: SOT 51015 SOS 27682 HAS SOPS 4203 HAS SOUS 21599 HAS SOUPS 3655 WITH SCORE 3682.682
AT ITER 3502 NEW BEST:: SOT 51012 SOS 27682 HAS SOPS 4197 HAS SOUS 21599 HAS SOUPS 3649 WITH SCORE 3676.682
AT ITER 3543 NEW BEST:: SOT 51012 SOS 27501 HAS SOPS 4197 HAS SOUS 21350 HAS SOUPS 3649 WITH SCORE 3676.501
AT ITER 3585 NEW BEST:: SOT 51012 SOS 27478 HAS SOPS 4197 HAS SOUS 21336 HAS SOUPS 3649 WITH SCORE 3676.478
AT ITER 3593 NEW BEST:: SOT 51012 SOS 27495 HAS SOPS 4194 HAS SOUS 21362 HAS SOUPS 3647 WITH SCORE 3674.495
AT ITER 3613 NEW BEST:: SOT 51014 SOS 27832 HAS SOPS 4188 HAS SOUS 21432 HAS SOUPS 3641 WITH SCORE 3668.832
AT ITER 3671 NEW BEST:: SOT 51015 SOS 27819 HAS SOPS 4177 HAS SOUS 21434 HAS SOUPS 3639 WITH SCORE 3666.819
AT ITER 3680 NEW BEST:: SOT 50997 SOS 27795 HAS SOPS 4147 HAS SOUS 21398 HAS SOUPS 3609 WITH SCORE 3636.795
AT ITER 3703 NEW BEST:: SOT 50997 SOS 27772 HAS SOPS 4147 HAS SOUS 21499 HAS SOUPS 3609 WITH SCORE 3636.772
AT ITER 3715 NEW BEST:: SOT 50997 SOS 27801 HAS SOPS 4131 HAS SOUS 21561 HAS SOUPS 3593 WITH SCORE 3620.801
AT ITER 3747 NEW BEST:: SOT 50977 SOS 27820 HAS SOPS 4129 HAS SOUS 21540 HAS SOUPS 3591 WITH SCORE 3618.82
AT ITER 3829 NEW BEST:: SOT 50970 SOS 27818 HAS SOPS 4134 HAS SOUS 21540 HAS SOUPS 3586 WITH SCORE 3613.818
AT ITER 3857 NEW BEST:: SOT 50970 SOS 27771 HAS SOPS 4134 HAS SOUS 20946 HAS SOUPS 3586 WITH SCORE 3613.771
AT ITER 3893 NEW BEST:: SOT 50970 SOS 27692 HAS SOPS 4134 HAS SOUS 20942 HAS SOUPS 3586 WITH SCORE 3613.692
AT ITER 3901 NEW BEST:: SOT 50951 SOS 27661 HAS SOPS 4103 HAS SOUS 20920 HAS SOUPS 3564 WITH SCORE 3591.661
AT ITER 3911 NEW BEST:: SOT 50951 SOS 27615 HAS SOPS 4103 HAS SOUS 20979 HAS SOUPS 3564 WITH SCORE 3591.615
AT ITER 3922 NEW BEST:: SOT 50951 SOS 27597 HAS SOPS 4103 HAS SOUS 20976 HAS SOUPS 3564 WITH SCORE 3591.597
AT ITER 3978 NEW BEST:: SOT 50940 SOS 27588 HAS SOPS 4092 HAS SOUS 20919 HAS SOUPS 3553 WITH SCORE 3580.588
AT ITER 3995 NEW BEST:: SOT 50937 SOS 27583 HAS SOPS 4083 HAS SOUS 20914 HAS SOUPS 3544 WITH SCORE 3571.583
AT ITER 4014 NEW BEST:: SOT 50937 SOS 27574 HAS SOPS 4083 HAS SOUS 20908 HAS SOUPS 3544 WITH SCORE 3571.574
AT ITER 4026 NEW BEST:: SOT 50951 SOS 27579 HAS SOPS 4065 HAS SOUS 20983 HAS SOUPS 3542 WITH SCORE 3569.579
AT ITER 4060 NEW BEST:: SOT 50949 SOS 27579 HAS SOPS 4063 HAS SOUS 20967 HAS SOUPS 3540 WITH SCORE 3567.579
AT ITER 4077 NEW BEST:: SOT 50949 SOS 27400 HAS SOPS 4063 HAS SOUS 20878 HAS SOUPS 3540 WITH SCORE 3567.4
AT ITER 4081 NEW BEST:: SOT 50945 SOS 27403 HAS SOPS 4044 HAS SOUS 20875 HAS SOUPS 3521 WITH SCORE 3548.403
AT ITER 4107 NEW BEST:: SOT 50933 SOS 27407 HAS SOPS 4042 HAS SOUS 20867 HAS SOUPS 3519 WITH SCORE 3546.407
AT ITER 4191 NEW BEST:: SOT 50929 SOS 27417 HAS SOPS 4047 HAS SOUS 20867 HAS SOUPS 3515 WITH SCORE 3542.417
AT ITER 4248 NEW BEST:: SOT 50929 SOS 27401 HAS SOPS 4047 HAS SOUS 20847 HAS SOUPS 3515 WITH SCORE 3542.401
AT ITER 4272 NEW BEST:: SOT 50915 SOS 27387 HAS SOPS 4033 HAS SOUS 20788 HAS SOUPS 3501 WITH SCORE 3528.387
AT ITER 4298 NEW BEST:: SOT 50915 SOS 27385 HAS SOPS 4027 HAS SOUS 20786 HAS SOUPS 3495 WITH SCORE 3522.385
AT ITER 4319 NEW BEST:: SOT 50905 SOS 27342 HAS SOPS 4026 HAS SOUS 20501 HAS SOUPS 3491 WITH SCORE 3518.342
AT ITER 4401 NEW BEST:: SOT 50914 SOS 27362 HAS SOPS 4014 HAS SOUS 20847 HAS SOUPS 3486 WITH SCORE 3513.362
AT ITER 4483 NEW BEST:: SOT 50914 SOS 27306 HAS SOPS 4014 HAS SOUS 20892 HAS SOUPS 3486 WITH SCORE 3513.306
AT ITER 4501 NEW BEST:: SOT 50883 SOS 27269 HAS SOPS 3991 HAS SOUS 20854 HAS SOUPS 3460 WITH SCORE 3487.269
AT ITER 4605 NEW BEST:: SOT 50883 SOS 27257 HAS SOPS 3991 HAS SOUS 20853 HAS SOUPS 3460 WITH SCORE 3487.257
AT ITER 4608 NEW BEST:: SOT 50883 SOS 27113 HAS SOPS 3991 HAS SOUS 21310 HAS SOUPS 3460 WITH SCORE 3487.113
AT ITER 4613 NEW BEST:: SOT 50883 SOS 27071 HAS SOPS 3991 HAS SOUS 21315 HAS SOUPS 3460 WITH SCORE 3487.071
AT ITER 4622 NEW BEST:: SOT 50882 SOS 27062 HAS SOPS 3990 HAS SOUS 21312 HAS SOUPS 3459 WITH SCORE 3486.062
AT ITER 4727 NEW BEST:: SOT 50876 SOS 27043 HAS SOPS 3984 HAS SOUS 21293 HAS SOUPS 3453 WITH SCORE 3480.043
AT ITER 4734 NEW BEST:: SOT 50842 SOS 26971 HAS SOPS 3912 HAS SOUS 21236 HAS SOUPS 3396 WITH SCORE 3422.971
AT ITER 4769 NEW BEST:: SOT 50842 SOS 26954 HAS SOPS 3912 HAS SOUS 21003 HAS SOUPS 3396 WITH SCORE 3422.954
AT ITER 4777 NEW BEST:: SOT 50842 SOS 26880 HAS SOPS 3912 HAS SOUS 21032 HAS SOUPS 3396 WITH SCORE 3422.88
AT ITER 4850 NEW BEST:: SOT 50837 SOS 26871 HAS SOPS 3903 HAS SOUS 21023 HAS SOUPS 3387 WITH SCORE 3413.871
AT ITER 4906 NEW BEST:: SOT 50832 SOS 26860 HAS SOPS 3893 HAS SOUS 21013 HAS SOUPS 3377 WITH SCORE 3403.86
AT ITER 5081 NEW BEST:: SOT 50832 SOS 26849 HAS SOPS 3893 HAS SOUS 21178 HAS SOUPS 3377 WITH SCORE 3403.849
AT ITER 5090 NEW BEST:: SOT 50828 SOS 26848 HAS SOPS 3891 HAS SOUS 21178 HAS SOUPS 3375 WITH SCORE 3401.848
AT ITER 5114 NEW BEST:: SOT 50831 SOS 26847 HAS SOPS 3885 HAS SOUS 21192 HAS SOUPS 3372 WITH SCORE 3398.847
AT ITER 5135 NEW BEST:: SOT 50831 SOS 26625 HAS SOPS 3885 HAS SOUS 20633 HAS SOUPS 3372 WITH SCORE 3398.625
AT ITER 5150 NEW BEST:: SOT 50831 SOS 26603 HAS SOPS 3885 HAS SOUS 20616 HAS SOUPS 3372 WITH SCORE 3398.603
AT ITER 5238 NEW BEST:: SOT 50831 SOS 26587 HAS SOPS 3885 HAS SOUS 20613 HAS SOUPS 3372 WITH SCORE 3398.587
AT ITER 5252 NEW BEST:: SOT 50831 SOS 26504 HAS SOPS 3885 HAS SOUS 20621 HAS SOUPS 3372 WITH SCORE 3398.504
AT ITER 5263 NEW BEST:: SOT 50831 SOS 26498 HAS SOPS 3882 HAS SOUS 20626 HAS SOUPS 3370 WITH SCORE 3396.498
AT ITER 5268 NEW BEST:: SOT 50833 SOS 26500 HAS SOPS 3880 HAS SOUS 20626 HAS SOUPS 3368 WITH SCORE 3394.5
AT ITER 5286 NEW BEST:: SOT 50833 SOS 26411 HAS SOPS 3880 HAS SOUS 20487 HAS SOUPS 3368 WITH SCORE 3394.411
AT ITER 5302 NEW BEST:: SOT 50833 SOS 26410 HAS SOPS 3878 HAS SOUS 20487 HAS SOUPS 3367 WITH SCORE 3393.41
AT ITER 5316 NEW BEST:: SOT 50845 SOS 26393 HAS SOPS 3872 HAS SOUS 20493 HAS SOUPS 3367 WITH SCORE 3393.393
AT ITER 5345 NEW BEST:: SOT 50845 SOS 26345 HAS SOPS 3872 HAS SOUS 20464 HAS SOUPS 3367 WITH SCORE 3393.345
AT ITER 5393 NEW BEST:: SOT 50836 SOS 26286 HAS SOPS 3863 HAS SOUS 20211 HAS SOUPS 3358 WITH SCORE 3384.286
AT ITER 5438 NEW BEST:: SOT 50836 SOS 26254 HAS SOPS 3863 HAS SOUS 20055 HAS SOUPS 3358 WITH SCORE 3384.254
AT ITER 5442 NEW BEST:: SOT 50838 SOS 26266 HAS SOPS 3857 HAS SOUS 20067 HAS SOUPS 3352 WITH SCORE 3378.266
AT ITER 5451 NEW BEST:: SOT 50838 SOS 26265 HAS SOPS 3857 HAS SOUS 20066 HAS SOUPS 3352 WITH SCORE 3378.265
AT ITER 5453 NEW BEST:: SOT 50837 SOS 26264 HAS SOPS 3856 HAS SOUS 20060 HAS SOUPS 3351 WITH SCORE 3377.264
AT ITER 5463 NEW BEST:: SOT 50827 SOS 26224 HAS SOPS 3846 HAS SOUS 20030 HAS SOUPS 3341 WITH SCORE 3367.224
AT ITER 5465 NEW BEST:: SOT 50827 SOS 26196 HAS SOPS 3846 HAS SOUS 19993 HAS SOUPS 3341 WITH SCORE 3367.196
AT ITER 5504 NEW BEST:: SOT 50817 SOS 26180 HAS SOPS 3840 HAS SOUS 19979 HAS SOUPS 3337 WITH SCORE 3363.18
AT ITER 5521 NEW BEST:: SOT 50817 SOS 26177 HAS SOPS 3840 HAS SOUS 19980 HAS SOUPS 3337 WITH SCORE 3363.177
AT ITER 5529 NEW BEST:: SOT 50817 SOS 26135 HAS SOPS 3822 HAS SOUS 19974 HAS SOUPS 3325 WITH SCORE 3351.135
AT ITER 5649 NEW BEST:: SOT 50817 SOS 26131 HAS SOPS 3822 HAS SOUS 19898 HAS SOUPS 3325 WITH SCORE 3351.131
AT ITER 5661 NEW BEST:: SOT 50830 SOS 26093 HAS SOPS 3814 HAS SOUS 19882 HAS SOUPS 3324 WITH SCORE 3350.093
AT ITER 5675 NEW BEST:: SOT 50844 SOS 26160 HAS SOPS 3806 HAS SOUS 19889 HAS SOUPS 3316 WITH SCORE 3342.16
AT ITER 5679 NEW BEST:: SOT 50844 SOS 25992 HAS SOPS 3806 HAS SOUS 19746 HAS SOUPS 3316 WITH SCORE 3341.992
AT ITER 5824 NEW BEST:: SOT 50844 SOS 25985 HAS SOPS 3806 HAS SOUS 19871 HAS SOUPS 3316 WITH SCORE 3341.985
AT ITER 5836 NEW BEST:: SOT 50837 SOS 25987 HAS SOPS 3802 HAS SOUS 19866 HAS SOUPS 3312 WITH SCORE 3337.987
AT ITER 5882 NEW BEST:: SOT 50837 SOS 25963 HAS SOPS 3802 HAS SOUS 19860 HAS SOUPS 3312 WITH SCORE 3337.963
AT ITER 5907 NEW BEST:: SOT 50839 SOS 26018 HAS SOPS 3804 HAS SOUS 19864 HAS SOUPS 3311 WITH SCORE 3337.018
AT ITER 5942 NEW BEST:: SOT 50839 SOS 26010 HAS SOPS 3796 HAS SOUS 19868 HAS SOUPS 3311 WITH SCORE 3337.01
AT ITER 5964 NEW BEST:: SOT 50839 SOS 26009 HAS SOPS 3794 HAS SOUS 19869 HAS SOUPS 3311 WITH SCORE 3337.009
AT ITER 5972 NEW BEST:: SOT 50839 SOS 25987 HAS SOPS 3794 HAS SOUS 19868 HAS SOUPS 3311 WITH SCORE 3336.987
AT ITER 6029 NEW BEST:: SOT 50839 SOS 25977 HAS SOPS 3794 HAS SOUS 19822 HAS SOUPS 3311 WITH SCORE 3336.977
AT ITER 6052 NEW BEST:: SOT 50839 SOS 25978 HAS SOPS 3792 HAS SOUS 19848 HAS SOUPS 3309 WITH SCORE 3334.978
AT ITER 6173 NEW BEST:: SOT 50839 SOS 25955 HAS SOPS 3792 HAS SOUS 19839 HAS SOUPS 3309 WITH SCORE 3334.955
AT ITER 6319 NEW BEST:: SOT 50818 SOS 25934 HAS SOPS 3771 HAS SOUS 19818 HAS SOUPS 3288 WITH SCORE 3313.934
AT ITER 6360 NEW BEST:: SOT 50817 SOS 25933 HAS SOPS 3770 HAS SOUS 19818 HAS SOUPS 3288 WITH SCORE 3313.933
AT ITER 6443 NEW BEST:: SOT 50817 SOS 25930 HAS SOPS 3770 HAS SOUS 19818 HAS SOUPS 3288 WITH SCORE 3313.93
AT ITER 6454 NEW BEST:: SOT 50805 SOS 25918 HAS SOPS 3762 HAS SOUS 19810 HAS SOUPS 3280 WITH SCORE 3305.918
AT ITER 6461 NEW BEST:: SOT 50811 SOS 25904 HAS SOPS 3748 HAS SOUS 19800 HAS SOUPS 3270 WITH SCORE 3295.904
AT ITER 6470 NEW BEST:: SOT 50808 SOS 25901 HAS SOPS 3745 HAS SOUS 19797 HAS SOUPS 3267 WITH SCORE 3292.901
AT ITER 6562 NEW BEST:: SOT 50808 SOS 25832 HAS SOPS 3745 HAS SOUS 20033 HAS SOUPS 3267 WITH SCORE 3292.832
AT ITER 6577 NEW BEST:: SOT 50807 SOS 25828 HAS SOPS 3744 HAS SOUS 20028 HAS SOUPS 3267 WITH SCORE 3292.828
AT ITER 6593 NEW BEST:: SOT 50807 SOS 25789 HAS SOPS 3744 HAS SOUS 19901 HAS SOUPS 3267 WITH SCORE 3292.789
AT ITER 6657 NEW BEST:: SOT 50807 SOS 25783 HAS SOPS 3743 HAS SOUS 19900 HAS SOUPS 3267 WITH SCORE 3292.783
AT ITER 6899 NEW BEST:: SOT 50807 SOS 25768 HAS SOPS 3743 HAS SOUS 19662 HAS SOUPS 3267 WITH SCORE 3292.768
AT ITER 7048 NEW BEST:: SOT 50810 SOS 25754 HAS SOPS 3737 HAS SOUS 19659 HAS SOUPS 3264 WITH SCORE 3289.754
AT ITER 7055 NEW BEST:: SOT 50808 SOS 25747 HAS SOPS 3732 HAS SOUS 19654 HAS SOUPS 3260 WITH SCORE 3285.747
AT ITER 7097 NEW BEST:: SOT 50806 SOS 25739 HAS SOPS 3732 HAS SOUS 19648 HAS SOUPS 3260 WITH SCORE 3285.739
AT ITER 7194 NEW BEST:: SOT 50817 SOS 25679 HAS SOPS 3717 HAS SOUS 19634 HAS SOUPS 3257 WITH SCORE 3282.679
AT ITER 7195 NEW BEST:: SOT 50833 SOS 25697 HAS SOPS 3700 HAS SOUS 19652 HAS SOUPS 3251 WITH SCORE 3276.697
AT ITER 7318 NEW BEST:: SOT 50833 SOS 25701 HAS SOPS 3704 HAS SOUS 19648 HAS SOUPS 3247 WITH SCORE 3272.701
AT ITER 7370 NEW BEST:: SOT 50833 SOS 25603 HAS SOPS 3704 HAS SOUS 19669 HAS SOUPS 3247 WITH SCORE 3272.603
AT ITER 7384 NEW BEST:: SOT 50830 SOS 25600 HAS SOPS 3701 HAS SOUS 19662 HAS SOUPS 3244 WITH SCORE 3269.6
AT ITER 7408 NEW BEST:: SOT 50830 SOS 25596 HAS SOPS 3701 HAS SOUS 19675 HAS SOUPS 3244 WITH SCORE 3269.596
AT ITER 7426 NEW BEST:: SOT 50828 SOS 25593 HAS SOPS 3701 HAS SOUS 19670 HAS SOUPS 3244 WITH SCORE 3269.593
AT ITER 7463 NEW BEST:: SOT 50828 SOS 25482 HAS SOPS 3701 HAS SOUS 19705 HAS SOUPS 3244 WITH SCORE 3269.482
AT ITER 7491 NEW BEST:: SOT 50828 SOS 25165 HAS SOPS 3701 HAS SOUS 19563 HAS SOUPS 3244 WITH SCORE 3269.165
AT ITER 7522 NEW BEST:: SOT 50828 SOS 25145 HAS SOPS 3701 HAS SOUS 19878 HAS SOUPS 3244 WITH SCORE 3269.145
AT ITER 7583 NEW BEST:: SOT 50834 SOS 25140 HAS SOPS 3695 HAS SOUS 19886 HAS SOUPS 3239 WITH SCORE 3264.14
AT ITER 7740 NEW BEST:: SOT 50834 SOS 25125 HAS SOPS 3695 HAS SOUS 19851 HAS SOUPS 3239 WITH SCORE 3264.125
AT ITER 7745 NEW BEST:: SOT 50834 SOS 25121 HAS SOPS 3689 HAS SOUS 19849 HAS SOUPS 3237 WITH SCORE 3262.121
AT ITER 7768 NEW BEST:: SOT 50832 SOS 25118 HAS SOPS 3687 HAS SOUS 19845 HAS SOUPS 3234 WITH SCORE 3259.118
AT ITER 7863 NEW BEST:: SOT 50832 SOS 25029 HAS SOPS 3658 HAS SOUS 19810 HAS SOUPS 3228 WITH SCORE 3253.029
AT ITER 7921 NEW BEST:: SOT 50832 SOS 25024 HAS SOPS 3658 HAS SOUS 19805 HAS SOUPS 3228 WITH SCORE 3253.024
AT ITER 7933 NEW BEST:: SOT 50831 SOS 25023 HAS SOPS 3652 HAS SOUS 19804 HAS SOUPS 3222 WITH SCORE 3247.023
AT ITER 7983 NEW BEST:: SOT 50797 SOS 24886 HAS SOPS 3516 HAS SOUS 19736 HAS SOUPS 3120 WITH SCORE 3144.886
AT ITER 8194 NEW BEST:: SOT 50797 SOS 24813 HAS SOPS 3516 HAS SOUS 19722 HAS SOUPS 3120 WITH SCORE 3144.813
AT ITER 8333 NEW BEST:: SOT 50795 SOS 24811 HAS SOPS 3512 HAS SOUS 19718 HAS SOUPS 3116 WITH SCORE 3140.811
AT ITER 8339 NEW BEST:: SOT 50795 SOS 24807 HAS SOPS 3512 HAS SOUS 19709 HAS SOUPS 3116 WITH SCORE 3140.807
AT ITER 8408 NEW BEST:: SOT 50793 SOS 24798 HAS SOPS 3510 HAS SOUS 19701 HAS SOUPS 3114 WITH SCORE 3138.798
AT ITER 8415 NEW BEST:: SOT 50792 SOS 24794 HAS SOPS 3509 HAS SOUS 19693 HAS SOUPS 3113 WITH SCORE 3137.794
AT ITER 8482 NEW BEST:: SOT 50790 SOS 24788 HAS SOPS 3504 HAS SOUS 19690 HAS SOUPS 3111 WITH SCORE 3135.788
AT ITER 8505 NEW BEST:: SOT 50789 SOS 24788 HAS SOPS 3500 HAS SOUS 19690 HAS SOUPS 3107 WITH SCORE 3131.788
AT ITER 8702 NEW BEST:: SOT 50790 SOS 24793 HAS SOPS 3498 HAS SOUS 19698 HAS SOUPS 3106 WITH SCORE 3130.793
AT ITER 8731 NEW BEST:: SOT 50790 SOS 24766 HAS SOPS 3498 HAS SOUS 19495 HAS SOUPS 3106 WITH SCORE 3130.766
AT ITER 8866 NEW BEST:: SOT 50790 SOS 24764 HAS SOPS 3495 HAS SOUS 19493 HAS SOUPS 3104 WITH SCORE 3128.764
AT ITER 8970 NEW BEST:: SOT 50775 SOS 24725 HAS SOPS 3480 HAS SOUS 19472 HAS SOUPS 3095 WITH SCORE 3119.725
AT ITER 8975 NEW BEST:: SOT 50772 SOS 24722 HAS SOPS 3477 HAS SOUS 19470 HAS SOUPS 3092 WITH SCORE 3116.722
AT ITER 9067 NEW BEST:: SOT 50780 SOS 24884 HAS SOPS 3461 HAS SOUS 19519 HAS SOUPS 3088 WITH SCORE 3112.884
AT ITER 9140 NEW BEST:: SOT 50779 SOS 24885 HAS SOPS 3459 HAS SOUS 19519 HAS SOUPS 3086 WITH SCORE 3110.885
AT ITER 9184 NEW BEST:: SOT 50775 SOS 24882 HAS SOPS 3451 HAS SOUS 19516 HAS SOUPS 3078 WITH SCORE 3102.882
AT ITER 9193 NEW BEST:: SOT 50775 SOS 24841 HAS SOPS 3451 HAS SOUS 19574 HAS SOUPS 3078 WITH SCORE 3102.841
AT ITER 9323 NEW BEST:: SOT 50775 SOS 24837 HAS SOPS 3451 HAS SOUS 19014 HAS SOUPS 3078 WITH SCORE 3102.837
AT ITER 9570 NEW BEST:: SOT 50767 SOS 24801 HAS SOPS 3443 HAS SOUS 18978 HAS SOUPS 3070 WITH SCORE 3094.801
AT ITER 9775 NEW BEST:: SOT 50769 SOS 24812 HAS SOPS 3440 HAS SOUS 18984 HAS SOUPS 3064 WITH SCORE 3088.812
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 1678503522374

--------------------
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-10421"
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-10421, 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-167819423800664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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