Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541700368.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 ParamProductionCell-PT-0, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 8.3K Feb 26 17:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 17:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 17:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 149K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678870827846

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=ParamProductionCell-PT-0
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 09:00:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 09:00:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 09:00:31] [INFO ] Load time of PNML (sax parser for PT used): 150 ms
[2023-03-15 09:00:31] [INFO ] Transformed 198 places.
[2023-03-15 09:00:31] [INFO ] Transformed 176 transitions.
[2023-03-15 09:00:31] [INFO ] Found NUPN structural information;
[2023-03-15 09:00:31] [INFO ] Parsed PT model containing 198 places and 176 transitions and 730 arcs in 322 ms.
[2023-03-15 09:00:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 198 places, 176 transitions and 730 arcs took 13 ms.
Total runtime 399 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 0
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: 198 places, 176 transitions, 730 arcs.
AT ITER 0 NEW BEST:: SOT 20764 SOS 5796 HAS SOPS 5147 HAS SOUS 5083 HAS SOUPS 4580 WITH SCORE 4585.796
AT ITER 34 NEW BEST:: SOT 20763 SOS 5795 HAS SOPS 5146 HAS SOUS 5083 HAS SOUPS 4580 WITH SCORE 4585.795
AT ITER 43 NEW BEST:: SOT 20735 SOS 5739 HAS SOPS 5062 HAS SOUS 5045 HAS SOUPS 4521 WITH SCORE 4526.739
AT ITER 54 NEW BEST:: SOT 20735 SOS 5730 HAS SOPS 5053 HAS SOUS 5028 HAS SOUPS 4504 WITH SCORE 4509.73
AT ITER 56 NEW BEST:: SOT 20681 SOS 5727 HAS SOPS 5050 HAS SOUS 5006 HAS SOUPS 4482 WITH SCORE 4487.727
AT ITER 79 NEW BEST:: SOT 20677 SOS 5745 HAS SOPS 5047 HAS SOUS 5003 HAS SOUPS 4479 WITH SCORE 4484.745
AT ITER 89 NEW BEST:: SOT 20664 SOS 5732 HAS SOPS 5038 HAS SOUS 4994 HAS SOUPS 4470 WITH SCORE 4475.732
AT ITER 148 NEW BEST:: SOT 20664 SOS 5731 HAS SOPS 5038 HAS SOUS 4993 HAS SOUPS 4470 WITH SCORE 4475.731
AT ITER 155 NEW BEST:: SOT 20660 SOS 5731 HAS SOPS 5038 HAS SOUS 4991 HAS SOUPS 4468 WITH SCORE 4473.731
AT ITER 222 NEW BEST:: SOT 20654 SOS 5731 HAS SOPS 5029 HAS SOUS 4991 HAS SOUPS 4459 WITH SCORE 4464.731
AT ITER 225 NEW BEST:: SOT 20654 SOS 5727 HAS SOPS 5029 HAS SOUS 4987 HAS SOUPS 4459 WITH SCORE 4464.727
AT ITER 260 NEW BEST:: SOT 20627 SOS 5713 HAS SOPS 5015 HAS SOUS 4973 HAS SOUPS 4445 WITH SCORE 4450.713
AT ITER 263 NEW BEST:: SOT 20614 SOS 5693 HAS SOPS 4982 HAS SOUS 4946 HAS SOUPS 4418 WITH SCORE 4423.693
AT ITER 270 NEW BEST:: SOT 20604 SOS 5675 HAS SOPS 4954 HAS SOUS 4921 HAS SOUPS 4387 WITH SCORE 4392.675
AT ITER 305 NEW BEST:: SOT 20603 SOS 5673 HAS SOPS 4943 HAS SOUS 4928 HAS SOUPS 4385 WITH SCORE 4390.673
AT ITER 346 NEW BEST:: SOT 20603 SOS 5643 HAS SOPS 4913 HAS SOUS 4927 HAS SOUPS 4384 WITH SCORE 4389.643
AT ITER 361 NEW BEST:: SOT 20603 SOS 5641 HAS SOPS 4913 HAS SOUS 4925 HAS SOUPS 4384 WITH SCORE 4389.641
AT ITER 376 NEW BEST:: SOT 20603 SOS 5640 HAS SOPS 4912 HAS SOUS 4924 HAS SOUPS 4383 WITH SCORE 4388.64
AT ITER 393 NEW BEST:: SOT 20600 SOS 5637 HAS SOPS 4909 HAS SOUS 4921 HAS SOUPS 4380 WITH SCORE 4385.637
AT ITER 401 NEW BEST:: SOT 20595 SOS 5632 HAS SOPS 4904 HAS SOUS 4904 HAS SOUPS 4370 WITH SCORE 4375.632
AT ITER 406 NEW BEST:: SOT 20590 SOS 5617 HAS SOPS 4894 HAS SOUS 4889 HAS SOUPS 4360 WITH SCORE 4365.617
AT ITER 436 NEW BEST:: SOT 20590 SOS 5617 HAS SOPS 4894 HAS SOUS 4883 HAS SOUPS 4357 WITH SCORE 4362.617
AT ITER 440 NEW BEST:: SOT 20593 SOS 5620 HAS SOPS 4890 HAS SOUS 4886 HAS SOUPS 4353 WITH SCORE 4358.62
AT ITER 442 NEW BEST:: SOT 20576 SOS 5547 HAS SOPS 4817 HAS SOUS 4833 HAS SOUPS 4300 WITH SCORE 4305.547
AT ITER 444 NEW BEST:: SOT 20550 SOS 5528 HAS SOPS 4798 HAS SOUS 4756 HAS SOUPS 4223 WITH SCORE 4228.528
AT ITER 450 NEW BEST:: SOT 20534 SOS 5516 HAS SOPS 4796 HAS SOUS 4744 HAS SOUPS 4221 WITH SCORE 4226.516
AT ITER 455 NEW BEST:: SOT 20534 SOS 5514 HAS SOPS 4794 HAS SOUS 4742 HAS SOUPS 4219 WITH SCORE 4224.514
AT ITER 479 NEW BEST:: SOT 20533 SOS 5512 HAS SOPS 4792 HAS SOUS 4740 HAS SOUPS 4217 WITH SCORE 4222.512
AT ITER 483 NEW BEST:: SOT 20533 SOS 5512 HAS SOPS 4792 HAS SOUS 4728 HAS SOUPS 4205 WITH SCORE 4210.512
AT ITER 485 NEW BEST:: SOT 20542 SOS 5511 HAS SOPS 4788 HAS SOUS 4727 HAS SOUPS 4201 WITH SCORE 4206.511
AT ITER 511 NEW BEST:: SOT 20542 SOS 5510 HAS SOPS 4784 HAS SOUS 4726 HAS SOUPS 4197 WITH SCORE 4202.51
AT ITER 513 NEW BEST:: SOT 20534 SOS 5502 HAS SOPS 4782 HAS SOUS 4718 HAS SOUPS 4195 WITH SCORE 4200.502
AT ITER 541 NEW BEST:: SOT 20535 SOS 5501 HAS SOPS 4781 HAS SOUS 4717 HAS SOUPS 4194 WITH SCORE 4199.501
AT ITER 551 NEW BEST:: SOT 20532 SOS 5498 HAS SOPS 4778 HAS SOUS 4714 HAS SOUPS 4191 WITH SCORE 4196.498
AT ITER 563 NEW BEST:: SOT 20532 SOS 5495 HAS SOPS 4775 HAS SOUS 4711 HAS SOUPS 4188 WITH SCORE 4193.495
AT ITER 593 NEW BEST:: SOT 20508 SOS 5471 HAS SOPS 4751 HAS SOUS 4685 HAS SOUPS 4162 WITH SCORE 4167.471
AT ITER 613 NEW BEST:: SOT 20508 SOS 5431 HAS SOPS 4727 HAS SOUS 4685 HAS SOUPS 4162 WITH SCORE 4167.431
AT ITER 646 NEW BEST:: SOT 20507 SOS 5429 HAS SOPS 4725 HAS SOUS 4683 HAS SOUPS 4160 WITH SCORE 4165.429
AT ITER 655 NEW BEST:: SOT 20507 SOS 5425 HAS SOPS 4725 HAS SOUS 4683 HAS SOUPS 4160 WITH SCORE 4165.425
AT ITER 695 NEW BEST:: SOT 20487 SOS 5415 HAS SOPS 4715 HAS SOUS 4673 HAS SOUPS 4150 WITH SCORE 4155.415
AT ITER 716 NEW BEST:: SOT 20487 SOS 5415 HAS SOPS 4714 HAS SOUS 4672 HAS SOUPS 4149 WITH SCORE 4154.415
AT ITER 738 NEW BEST:: SOT 20487 SOS 5357 HAS SOPS 4619 HAS SOUS 4665 HAS SOUPS 4116 WITH SCORE 4121.357
AT ITER 750 NEW BEST:: SOT 20487 SOS 5353 HAS SOPS 4615 HAS SOUS 4654 HAS SOUPS 4105 WITH SCORE 4110.353
AT ITER 758 NEW BEST:: SOT 20475 SOS 5347 HAS SOPS 4609 HAS SOUS 4624 HAS SOUPS 4087 WITH SCORE 4092.347
AT ITER 790 NEW BEST:: SOT 20464 SOS 5321 HAS SOPS 4583 HAS SOUS 4593 HAS SOUPS 4061 WITH SCORE 4066.321
AT ITER 841 NEW BEST:: SOT 20454 SOS 5312 HAS SOPS 4573 HAS SOUS 4573 HAS SOUPS 4041 WITH SCORE 4046.312
AT ITER 873 NEW BEST:: SOT 20308 SOS 5241 HAS SOPS 4505 HAS SOUS 4436 HAS SOUPS 3973 WITH SCORE 3978.241
AT ITER 888 NEW BEST:: SOT 20308 SOS 5241 HAS SOPS 4504 HAS SOUS 4436 HAS SOUPS 3972 WITH SCORE 3977.241
AT ITER 914 NEW BEST:: SOT 20321 SOS 5241 HAS SOPS 4500 HAS SOUS 4425 HAS SOUPS 3961 WITH SCORE 3966.241
AT ITER 999 NEW BEST:: SOT 20317 SOS 5231 HAS SOPS 4490 HAS SOUS 4415 HAS SOUPS 3951 WITH SCORE 3956.231
AT ITER 1072 NEW BEST:: SOT 20312 SOS 5226 HAS SOPS 4480 HAS SOUS 4405 HAS SOUPS 3941 WITH SCORE 3946.226
AT ITER 1093 NEW BEST:: SOT 20274 SOS 5176 HAS SOPS 4430 HAS SOUS 4334 HAS SOUPS 3874 WITH SCORE 3879.176
AT ITER 1158 NEW BEST:: SOT 20262 SOS 5161 HAS SOPS 4424 HAS SOUS 4319 HAS SOUPS 3868 WITH SCORE 3873.161
AT ITER 1165 NEW BEST:: SOT 20262 SOS 5159 HAS SOPS 4422 HAS SOUS 4317 HAS SOUPS 3866 WITH SCORE 3871.159
AT ITER 1198 NEW BEST:: SOT 20251 SOS 5139 HAS SOPS 4402 HAS SOUS 4286 HAS SOUPS 3846 WITH SCORE 3851.139
AT ITER 1215 NEW BEST:: SOT 20251 SOS 5138 HAS SOPS 4401 HAS SOUS 4285 HAS SOUPS 3845 WITH SCORE 3850.138
AT ITER 1231 NEW BEST:: SOT 20256 SOS 5119 HAS SOPS 4382 HAS SOUS 4281 HAS SOUPS 3841 WITH SCORE 3846.119
AT ITER 1232 NEW BEST:: SOT 20256 SOS 5144 HAS SOPS 4407 HAS SOUS 4279 HAS SOUPS 3839 WITH SCORE 3844.144
AT ITER 1301 NEW BEST:: SOT 20243 SOS 5127 HAS SOPS 4377 HAS SOUS 4269 HAS SOUPS 3816 WITH SCORE 3821.127
AT ITER 1306 NEW BEST:: SOT 20243 SOS 5107 HAS SOPS 4371 HAS SOUS 4265 HAS SOUPS 3816 WITH SCORE 3821.107
AT ITER 1318 NEW BEST:: SOT 20243 SOS 5071 HAS SOPS 4325 HAS SOUS 4273 HAS SOUPS 3814 WITH SCORE 3819.071
AT ITER 1345 NEW BEST:: SOT 20240 SOS 5068 HAS SOPS 4322 HAS SOUS 4270 HAS SOUPS 3811 WITH SCORE 3816.068
AT ITER 1364 NEW BEST:: SOT 20240 SOS 5065 HAS SOPS 4319 HAS SOUS 4267 HAS SOUPS 3808 WITH SCORE 3813.065
AT ITER 1381 NEW BEST:: SOT 20235 SOS 5064 HAS SOPS 4319 HAS SOUS 4266 HAS SOUPS 3808 WITH SCORE 3813.064
AT ITER 1385 NEW BEST:: SOT 20216 SOS 5048 HAS SOPS 4300 HAS SOUS 4250 HAS SOUPS 3789 WITH SCORE 3794.048
AT ITER 1432 NEW BEST:: SOT 20208 SOS 5041 HAS SOPS 4285 HAS SOUS 4240 HAS SOUPS 3779 WITH SCORE 3784.041
AT ITER 1439 NEW BEST:: SOT 20207 SOS 5040 HAS SOPS 4283 HAS SOUS 4239 HAS SOUPS 3777 WITH SCORE 3782.04
AT ITER 1506 NEW BEST:: SOT 20200 SOS 5049 HAS SOPS 4278 HAS SOUS 4248 HAS SOUPS 3772 WITH SCORE 3777.049
AT ITER 1518 NEW BEST:: SOT 20194 SOS 5053 HAS SOPS 4282 HAS SOUS 4244 HAS SOUPS 3768 WITH SCORE 3773.053
AT ITER 1533 NEW BEST:: SOT 20181 SOS 5040 HAS SOPS 4269 HAS SOUS 4233 HAS SOUPS 3755 WITH SCORE 3760.04
AT ITER 1538 NEW BEST:: SOT 20176 SOS 5037 HAS SOPS 4261 HAS SOUS 4228 HAS SOUPS 3750 WITH SCORE 3755.037
AT ITER 1548 NEW BEST:: SOT 20167 SOS 5027 HAS SOPS 4254 HAS SOUS 4218 HAS SOUPS 3743 WITH SCORE 3748.027
AT ITER 1551 NEW BEST:: SOT 20165 SOS 5016 HAS SOPS 4255 HAS SOUS 4204 HAS SOUPS 3741 WITH SCORE 3746.016
AT ITER 1557 NEW BEST:: SOT 20160 SOS 5008 HAS SOPS 4247 HAS SOUS 4196 HAS SOUPS 3733 WITH SCORE 3738.008
AT ITER 1631 NEW BEST:: SOT 20160 SOS 5006 HAS SOPS 4245 HAS SOUS 4194 HAS SOUPS 3731 WITH SCORE 3736.006
AT ITER 1706 NEW BEST:: SOT 20159 SOS 5005 HAS SOPS 4236 HAS SOUS 4185 HAS SOUPS 3722 WITH SCORE 3727.005
AT ITER 1754 NEW BEST:: SOT 20163 SOS 5009 HAS SOPS 4233 HAS SOUS 4189 HAS SOUPS 3719 WITH SCORE 3724.009
AT ITER 1778 NEW BEST:: SOT 20161 SOS 5005 HAS SOPS 4223 HAS SOUS 4183 HAS SOUPS 3707 WITH SCORE 3712.005
AT ITER 1799 NEW BEST:: SOT 20160 SOS 5002 HAS SOPS 4221 HAS SOUS 4180 HAS SOUPS 3705 WITH SCORE 3710.002
AT ITER 1819 NEW BEST:: SOT 20149 SOS 5010 HAS SOPS 4229 HAS SOUS 4160 HAS SOUPS 3697 WITH SCORE 3702.01
AT ITER 1821 NEW BEST:: SOT 20151 SOS 5008 HAS SOPS 4227 HAS SOUS 4160 HAS SOUPS 3697 WITH SCORE 3702.008
AT ITER 1891 NEW BEST:: SOT 20151 SOS 5007 HAS SOPS 4226 HAS SOUS 4159 HAS SOUPS 3696 WITH SCORE 3701.007
AT ITER 1919 NEW BEST:: SOT 20152 SOS 5007 HAS SOPS 4222 HAS SOUS 4159 HAS SOUPS 3692 WITH SCORE 3697.007
AT ITER 1924 NEW BEST:: SOT 20154 SOS 5009 HAS SOPS 4223 HAS SOUS 4158 HAS SOUPS 3691 WITH SCORE 3696.009
AT ITER 1993 NEW BEST:: SOT 20154 SOS 5000 HAS SOPS 4214 HAS SOUS 4149 HAS SOUPS 3682 WITH SCORE 3687.0
AT ITER 2002 NEW BEST:: SOT 20154 SOS 4959 HAS SOPS 4214 HAS SOUS 4149 HAS SOUPS 3682 WITH SCORE 3686.959
AT ITER 2073 NEW BEST:: SOT 20144 SOS 4924 HAS SOPS 4179 HAS SOUS 4137 HAS SOUPS 3670 WITH SCORE 3674.924
AT ITER 2083 NEW BEST:: SOT 20144 SOS 4923 HAS SOPS 4179 HAS SOUS 4136 HAS SOUPS 3670 WITH SCORE 3674.923
AT ITER 2136 NEW BEST:: SOT 20144 SOS 4923 HAS SOPS 4171 HAS SOUS 4128 HAS SOUPS 3662 WITH SCORE 3666.923
AT ITER 2189 NEW BEST:: SOT 20144 SOS 4903 HAS SOPS 4157 HAS SOUS 4124 HAS SOUPS 3656 WITH SCORE 3660.903
AT ITER 2275 NEW BEST:: SOT 20137 SOS 4891 HAS SOPS 4143 HAS SOUS 4110 HAS SOUPS 3642 WITH SCORE 3646.891
AT ITER 2294 NEW BEST:: SOT 20142 SOS 4881 HAS SOPS 4133 HAS SOUS 4103 HAS SOUPS 3635 WITH SCORE 3639.881
AT ITER 2299 NEW BEST:: SOT 20142 SOS 4881 HAS SOPS 4133 HAS SOUS 4100 HAS SOUPS 3632 WITH SCORE 3636.881
AT ITER 2312 NEW BEST:: SOT 20142 SOS 4877 HAS SOPS 4129 HAS SOUS 4100 HAS SOUPS 3632 WITH SCORE 3636.877
AT ITER 2318 NEW BEST:: SOT 20140 SOS 4875 HAS SOPS 4127 HAS SOUS 4098 HAS SOUPS 3630 WITH SCORE 3634.875
AT ITER 2361 NEW BEST:: SOT 20140 SOS 4863 HAS SOPS 4111 HAS SOUS 4082 HAS SOUPS 3614 WITH SCORE 3618.863
AT ITER 2374 NEW BEST:: SOT 20131 SOS 4860 HAS SOPS 4108 HAS SOUS 4079 HAS SOUPS 3611 WITH SCORE 3615.86
AT ITER 2424 NEW BEST:: SOT 20108 SOS 4816 HAS SOPS 4064 HAS SOUS 4031 HAS SOUPS 3563 WITH SCORE 3567.816
AT ITER 2444 NEW BEST:: SOT 20108 SOS 4813 HAS SOPS 4061 HAS SOUS 4028 HAS SOUPS 3560 WITH SCORE 3564.813
AT ITER 2534 NEW BEST:: SOT 20106 SOS 4812 HAS SOPS 4060 HAS SOUS 4027 HAS SOUPS 3559 WITH SCORE 3563.812
AT ITER 2612 NEW BEST:: SOT 20106 SOS 4811 HAS SOPS 4059 HAS SOUS 4026 HAS SOUPS 3558 WITH SCORE 3562.811
AT ITER 2619 NEW BEST:: SOT 20107 SOS 4809 HAS SOPS 4054 HAS SOUS 4024 HAS SOUPS 3553 WITH SCORE 3557.809
AT ITER 2630 NEW BEST:: SOT 20094 SOS 4791 HAS SOPS 4041 HAS SOUS 3985 HAS SOUPS 3527 WITH SCORE 3531.791
AT ITER 2667 NEW BEST:: SOT 20092 SOS 4791 HAS SOPS 4041 HAS SOUS 3984 HAS SOUPS 3526 WITH SCORE 3530.791
AT ITER 2683 NEW BEST:: SOT 20090 SOS 4786 HAS SOPS 4037 HAS SOUS 3979 HAS SOUPS 3522 WITH SCORE 3526.786
AT ITER 2688 NEW BEST:: SOT 20086 SOS 4782 HAS SOPS 4029 HAS SOUS 3971 HAS SOUPS 3514 WITH SCORE 3518.782
AT ITER 2702 NEW BEST:: SOT 20037 SOS 4757 HAS SOPS 4000 HAS SOUS 3923 HAS SOUPS 3474 WITH SCORE 3478.757
AT ITER 2703 NEW BEST:: SOT 20031 SOS 4751 HAS SOPS 3994 HAS SOUS 3917 HAS SOUPS 3465 WITH SCORE 3469.751
AT ITER 2723 NEW BEST:: SOT 20009 SOS 4751 HAS SOPS 3972 HAS SOUS 3903 HAS SOUPS 3443 WITH SCORE 3447.751
AT ITER 2762 NEW BEST:: SOT 20008 SOS 4736 HAS SOPS 3957 HAS SOUS 3888 HAS SOUPS 3428 WITH SCORE 3432.736
AT ITER 2789 NEW BEST:: SOT 20008 SOS 4726 HAS SOPS 3947 HAS SOUS 3878 HAS SOUPS 3418 WITH SCORE 3422.726
AT ITER 2815 NEW BEST:: SOT 20010 SOS 4739 HAS SOPS 3952 HAS SOUS 3885 HAS SOUPS 3417 WITH SCORE 3421.739
AT ITER 2826 NEW BEST:: SOT 20010 SOS 4730 HAS SOPS 3946 HAS SOUS 3885 HAS SOUPS 3417 WITH SCORE 3421.73
AT ITER 2828 NEW BEST:: SOT 20010 SOS 4729 HAS SOPS 3945 HAS SOUS 3884 HAS SOUPS 3416 WITH SCORE 3420.729
AT ITER 2858 NEW BEST:: SOT 20027 SOS 4727 HAS SOPS 3903 HAS SOUS 3883 HAS SOUPS 3395 WITH SCORE 3399.727
AT ITER 2875 NEW BEST:: SOT 20013 SOS 4699 HAS SOPS 3875 HAS SOUS 3855 HAS SOUPS 3367 WITH SCORE 3371.699
AT ITER 2901 NEW BEST:: SOT 20013 SOS 4685 HAS SOPS 3873 HAS SOUS 3856 HAS SOUPS 3367 WITH SCORE 3371.685
AT ITER 2937 NEW BEST:: SOT 20010 SOS 4682 HAS SOPS 3870 HAS SOUS 3851 HAS SOUPS 3362 WITH SCORE 3366.682
AT ITER 2947 NEW BEST:: SOT 20009 SOS 4681 HAS SOPS 3856 HAS SOUS 3837 HAS SOUPS 3348 WITH SCORE 3352.681
AT ITER 2952 NEW BEST:: SOT 20009 SOS 4680 HAS SOPS 3855 HAS SOUS 3836 HAS SOUPS 3347 WITH SCORE 3351.68
AT ITER 2953 NEW BEST:: SOT 20011 SOS 4682 HAS SOPS 3857 HAS SOUS 3834 HAS SOUPS 3345 WITH SCORE 3349.682
AT ITER 3041 NEW BEST:: SOT 20010 SOS 4654 HAS SOPS 3856 HAS SOUS 3806 HAS SOUPS 3344 WITH SCORE 3348.654
AT ITER 3056 NEW BEST:: SOT 20009 SOS 4650 HAS SOPS 3852 HAS SOUS 3802 HAS SOUPS 3340 WITH SCORE 3344.65
AT ITER 3087 NEW BEST:: SOT 20013 SOS 4654 HAS SOPS 3856 HAS SOUS 3795 HAS SOUPS 3335 WITH SCORE 3339.654
AT ITER 3122 NEW BEST:: SOT 20013 SOS 4654 HAS SOPS 3856 HAS SOUS 3793 HAS SOUPS 3333 WITH SCORE 3337.654
AT ITER 3123 NEW BEST:: SOT 20012 SOS 4653 HAS SOPS 3855 HAS SOUS 3791 HAS SOUPS 3331 WITH SCORE 3335.653
AT ITER 3169 NEW BEST:: SOT 20012 SOS 4654 HAS SOPS 3853 HAS SOUS 3792 HAS SOUPS 3329 WITH SCORE 3333.654
AT ITER 3189 NEW BEST:: SOT 20013 SOS 4658 HAS SOPS 3849 HAS SOUS 3795 HAS SOUPS 3324 WITH SCORE 3328.658
AT ITER 3238 NEW BEST:: SOT 20005 SOS 4646 HAS SOPS 3837 HAS SOUS 3777 HAS SOUPS 3306 WITH SCORE 3310.646
AT ITER 3247 NEW BEST:: SOT 20005 SOS 4641 HAS SOPS 3837 HAS SOUS 3768 HAS SOUPS 3297 WITH SCORE 3301.641
AT ITER 3308 NEW BEST:: SOT 20008 SOS 4639 HAS SOPS 3827 HAS SOUS 3765 HAS SOUPS 3291 WITH SCORE 3295.639
AT ITER 3464 NEW BEST:: SOT 20003 SOS 4637 HAS SOPS 3825 HAS SOUS 3756 HAS SOUPS 3289 WITH SCORE 3293.637
AT ITER 3474 NEW BEST:: SOT 20001 SOS 4633 HAS SOPS 3821 HAS SOUS 3752 HAS SOUPS 3285 WITH SCORE 3289.633
AT ITER 3478 NEW BEST:: SOT 20001 SOS 4632 HAS SOPS 3820 HAS SOUS 3751 HAS SOUPS 3284 WITH SCORE 3288.632
AT ITER 3484 NEW BEST:: SOT 19998 SOS 4629 HAS SOPS 3820 HAS SOUS 3751 HAS SOUPS 3284 WITH SCORE 3288.629
AT ITER 3538 NEW BEST:: SOT 19986 SOS 4617 HAS SOPS 3820 HAS SOUS 3748 HAS SOUPS 3284 WITH SCORE 3288.617
AT ITER 3563 NEW BEST:: SOT 19973 SOS 4604 HAS SOPS 3807 HAS SOUS 3734 HAS SOUPS 3270 WITH SCORE 3274.604
AT ITER 3683 NEW BEST:: SOT 19972 SOS 4604 HAS SOPS 3804 HAS SOUS 3734 HAS SOUPS 3267 WITH SCORE 3271.604
AT ITER 3693 NEW BEST:: SOT 19973 SOS 4603 HAS SOPS 3802 HAS SOUS 3734 HAS SOUPS 3266 WITH SCORE 3270.603
AT ITER 3710 NEW BEST:: SOT 19967 SOS 4599 HAS SOPS 3802 HAS SOUS 3734 HAS SOUPS 3266 WITH SCORE 3270.599
AT ITER 3718 NEW BEST:: SOT 19965 SOS 4597 HAS SOPS 3800 HAS SOUS 3732 HAS SOUPS 3264 WITH SCORE 3268.597
AT ITER 3742 NEW BEST:: SOT 19960 SOS 4580 HAS SOPS 3795 HAS SOUS 3718 HAS SOUPS 3262 WITH SCORE 3266.58
AT ITER 3809 NEW BEST:: SOT 19960 SOS 4590 HAS SOPS 3805 HAS SOUS 3702 HAS SOUPS 3259 WITH SCORE 3263.59
AT ITER 3901 NEW BEST:: SOT 19956 SOS 4580 HAS SOPS 3797 HAS SOUS 3692 HAS SOUPS 3251 WITH SCORE 3255.58
AT ITER 3915 NEW BEST:: SOT 19955 SOS 4577 HAS SOPS 3794 HAS SOUS 3689 HAS SOUPS 3248 WITH SCORE 3252.577
AT ITER 3921 NEW BEST:: SOT 19953 SOS 4572 HAS SOPS 3789 HAS SOUS 3685 HAS SOUPS 3244 WITH SCORE 3248.572
AT ITER 3936 NEW BEST:: SOT 19940 SOS 4570 HAS SOPS 3787 HAS SOUS 3683 HAS SOUPS 3242 WITH SCORE 3246.57
AT ITER 4072 NEW BEST:: SOT 19939 SOS 4569 HAS SOPS 3786 HAS SOUS 3682 HAS SOUPS 3241 WITH SCORE 3245.569
AT ITER 4083 NEW BEST:: SOT 19923 SOS 4562 HAS SOPS 3799 HAS SOUS 3667 HAS SOUPS 3240 WITH SCORE 3244.562
AT ITER 4184 NEW BEST:: SOT 19923 SOS 4559 HAS SOPS 3785 HAS SOUS 3659 HAS SOUPS 3221 WITH SCORE 3225.559
AT ITER 4233 NEW BEST:: SOT 19923 SOS 4556 HAS SOPS 3784 HAS SOUS 3656 HAS SOUPS 3220 WITH SCORE 3224.556
AT ITER 4264 NEW BEST:: SOT 19920 SOS 4553 HAS SOPS 3778 HAS SOUS 3653 HAS SOUPS 3214 WITH SCORE 3218.553
AT ITER 4298 NEW BEST:: SOT 19918 SOS 4554 HAS SOPS 3773 HAS SOUS 3654 HAS SOUPS 3209 WITH SCORE 3213.554
AT ITER 4320 NEW BEST:: SOT 19919 SOS 4553 HAS SOPS 3772 HAS SOUS 3653 HAS SOUPS 3208 WITH SCORE 3212.553
AT ITER 4437 NEW BEST:: SOT 19919 SOS 4549 HAS SOPS 3768 HAS SOUS 3649 HAS SOUPS 3204 WITH SCORE 3208.549
AT ITER 4493 NEW BEST:: SOT 19918 SOS 4560 HAS SOPS 3779 HAS SOUS 3638 HAS SOUPS 3196 WITH SCORE 3200.56
AT ITER 4527 NEW BEST:: SOT 19918 SOS 4559 HAS SOPS 3778 HAS SOUS 3637 HAS SOUPS 3195 WITH SCORE 3199.559
AT ITER 4542 NEW BEST:: SOT 19927 SOS 4559 HAS SOPS 3778 HAS SOUS 3630 HAS SOUPS 3188 WITH SCORE 3192.559
AT ITER 4645 NEW BEST:: SOT 19924 SOS 4556 HAS SOPS 3775 HAS SOUS 3627 HAS SOUPS 3185 WITH SCORE 3189.556
AT ITER 4662 NEW BEST:: SOT 19927 SOS 4561 HAS SOPS 3789 HAS SOUS 3621 HAS SOUPS 3179 WITH SCORE 3183.561
AT ITER 4686 NEW BEST:: SOT 19919 SOS 4560 HAS SOPS 3787 HAS SOUS 3616 HAS SOUPS 3177 WITH SCORE 3181.56
AT ITER 4726 NEW BEST:: SOT 19919 SOS 4552 HAS SOPS 3779 HAS SOUS 3608 HAS SOUPS 3169 WITH SCORE 3173.552
AT ITER 4758 NEW BEST:: SOT 19919 SOS 4552 HAS SOPS 3779 HAS SOUS 3604 HAS SOUPS 3165 WITH SCORE 3169.552
AT ITER 4844 NEW BEST:: SOT 19917 SOS 4546 HAS SOPS 3775 HAS SOUS 3598 HAS SOUPS 3161 WITH SCORE 3165.546
AT ITER 4847 NEW BEST:: SOT 19917 SOS 4538 HAS SOPS 3766 HAS SOUS 3594 HAS SOUPS 3153 WITH SCORE 3157.538
AT ITER 4951 NEW BEST:: SOT 19917 SOS 4535 HAS SOPS 3762 HAS SOUS 3587 HAS SOUPS 3145 WITH SCORE 3149.535
AT ITER 5009 NEW BEST:: SOT 19914 SOS 4531 HAS SOPS 3758 HAS SOUS 3585 HAS SOUPS 3143 WITH SCORE 3147.531
AT ITER 5018 NEW BEST:: SOT 19911 SOS 4531 HAS SOPS 3758 HAS SOUS 3579 HAS SOUPS 3140 WITH SCORE 3144.531
AT ITER 5070 NEW BEST:: SOT 19909 SOS 4525 HAS SOPS 3754 HAS SOUS 3573 HAS SOUPS 3136 WITH SCORE 3140.525
AT ITER 5115 NEW BEST:: SOT 19909 SOS 4525 HAS SOPS 3754 HAS SOUS 3572 HAS SOUPS 3135 WITH SCORE 3139.525
AT ITER 5128 NEW BEST:: SOT 19929 SOS 4543 HAS SOPS 3753 HAS SOUS 3571 HAS SOUPS 3134 WITH SCORE 3138.543
AT ITER 5226 NEW BEST:: SOT 19928 SOS 4539 HAS SOPS 3752 HAS SOUS 3567 HAS SOUPS 3133 WITH SCORE 3137.539
AT ITER 5229 NEW BEST:: SOT 19928 SOS 4540 HAS SOPS 3753 HAS SOUS 3564 HAS SOUPS 3130 WITH SCORE 3134.54
AT ITER 5248 NEW BEST:: SOT 19928 SOS 4533 HAS SOPS 3746 HAS SOUS 3563 HAS SOUPS 3129 WITH SCORE 3133.533
AT ITER 5299 NEW BEST:: SOT 19927 SOS 4532 HAS SOPS 3746 HAS SOUS 3562 HAS SOUPS 3129 WITH SCORE 3133.532
AT ITER 5345 NEW BEST:: SOT 19921 SOS 4526 HAS SOPS 3740 HAS SOUS 3556 HAS SOUPS 3123 WITH SCORE 3127.526
AT ITER 5353 NEW BEST:: SOT 19915 SOS 4520 HAS SOPS 3728 HAS SOUS 3544 HAS SOUPS 3111 WITH SCORE 3115.52
AT ITER 5360 NEW BEST:: SOT 19911 SOS 4505 HAS SOPS 3712 HAS SOUS 3531 HAS SOUPS 3098 WITH SCORE 3102.505
AT ITER 5397 NEW BEST:: SOT 19910 SOS 4504 HAS SOPS 3711 HAS SOUS 3530 HAS SOUPS 3097 WITH SCORE 3101.504
AT ITER 5517 NEW BEST:: SOT 19903 SOS 4510 HAS SOPS 3708 HAS SOUS 3537 HAS SOUPS 3094 WITH SCORE 3098.51
AT ITER 5560 NEW BEST:: SOT 19902 SOS 4509 HAS SOPS 3707 HAS SOUS 3537 HAS SOUPS 3094 WITH SCORE 3098.509
AT ITER 5566 NEW BEST:: SOT 19900 SOS 4502 HAS SOPS 3702 HAS SOUS 3532 HAS SOUPS 3091 WITH SCORE 3095.502
AT ITER 5642 NEW BEST:: SOT 19901 SOS 4516 HAS SOPS 3699 HAS SOUS 3537 HAS SOUPS 3085 WITH SCORE 3089.516
AT ITER 5701 NEW BEST:: SOT 19900 SOS 4515 HAS SOPS 3698 HAS SOUS 3536 HAS SOUPS 3084 WITH SCORE 3088.515
AT ITER 5744 NEW BEST:: SOT 19899 SOS 4507 HAS SOPS 3690 HAS SOUS 3534 HAS SOUPS 3082 WITH SCORE 3086.507
AT ITER 5754 NEW BEST:: SOT 19899 SOS 4507 HAS SOPS 3689 HAS SOUS 3534 HAS SOUPS 3081 WITH SCORE 3085.507
AT ITER 5848 NEW BEST:: SOT 19902 SOS 4501 HAS SOPS 3698 HAS SOUS 3508 HAS SOUPS 3073 WITH SCORE 3077.501
AT ITER 6105 NEW BEST:: SOT 19903 SOS 4483 HAS SOPS 3693 HAS SOUS 3490 HAS SOUPS 3068 WITH SCORE 3072.483
AT ITER 6144 NEW BEST:: SOT 19903 SOS 4467 HAS SOPS 3677 HAS SOUS 3490 HAS SOUPS 3068 WITH SCORE 3072.467
AT ITER 6149 NEW BEST:: SOT 19912 SOS 4480 HAS SOPS 3676 HAS SOUS 3503 HAS SOUPS 3067 WITH SCORE 3071.48
AT ITER 6253 NEW BEST:: SOT 19912 SOS 4477 HAS SOPS 3668 HAS SOUS 3506 HAS SOUPS 3064 WITH SCORE 3068.477
AT ITER 6354 NEW BEST:: SOT 19906 SOS 4466 HAS SOPS 3662 HAS SOUS 3492 HAS SOUPS 3056 WITH SCORE 3060.466
AT ITER 6501 NEW BEST:: SOT 19906 SOS 4466 HAS SOPS 3662 HAS SOUS 3488 HAS SOUPS 3052 WITH SCORE 3056.466
AT ITER 6572 NEW BEST:: SOT 19900 SOS 4469 HAS SOPS 3652 HAS SOUS 3480 HAS SOUPS 3043 WITH SCORE 3047.469
AT ITER 6583 NEW BEST:: SOT 19900 SOS 4468 HAS SOPS 3652 HAS SOUS 3479 HAS SOUPS 3043 WITH SCORE 3047.468
AT ITER 6596 NEW BEST:: SOT 19900 SOS 4463 HAS SOPS 3647 HAS SOUS 3479 HAS SOUPS 3043 WITH SCORE 3047.463
AT ITER 6640 NEW BEST:: SOT 19897 SOS 4458 HAS SOPS 3642 HAS SOUS 3474 HAS SOUPS 3041 WITH SCORE 3045.458
AT ITER 6687 NEW BEST:: SOT 19898 SOS 4459 HAS SOPS 3643 HAS SOUS 3472 HAS SOUPS 3039 WITH SCORE 3043.459
AT ITER 6840 NEW BEST:: SOT 19898 SOS 4458 HAS SOPS 3642 HAS SOUS 3472 HAS SOUPS 3039 WITH SCORE 3043.458
AT ITER 6855 NEW BEST:: SOT 19903 SOS 4456 HAS SOPS 3640 HAS SOUS 3477 HAS SOUPS 3037 WITH SCORE 3041.456
AT ITER 6863 NEW BEST:: SOT 19900 SOS 4449 HAS SOPS 3633 HAS SOUS 3474 HAS SOUPS 3034 WITH SCORE 3038.449
AT ITER 6972 NEW BEST:: SOT 19900 SOS 4448 HAS SOPS 3632 HAS SOUS 3473 HAS SOUPS 3033 WITH SCORE 3037.448
AT ITER 7063 NEW BEST:: SOT 19901 SOS 4449 HAS SOPS 3633 HAS SOUS 3472 HAS SOUPS 3032 WITH SCORE 3036.449
AT ITER 7065 NEW BEST:: SOT 19893 SOS 4439 HAS SOPS 3621 HAS SOUS 3460 HAS SOUPS 3020 WITH SCORE 3024.439
AT ITER 7092 NEW BEST:: SOT 19909 SOS 4443 HAS SOPS 3605 HAS SOUS 3460 HAS SOUPS 3010 WITH SCORE 3014.443
AT ITER 7125 NEW BEST:: SOT 19907 SOS 4441 HAS SOPS 3603 HAS SOUS 3458 HAS SOUPS 3008 WITH SCORE 3012.441
AT ITER 7179 NEW BEST:: SOT 19905 SOS 4439 HAS SOPS 3599 HAS SOUS 3454 HAS SOUPS 3004 WITH SCORE 3008.439
AT ITER 7348 NEW BEST:: SOT 19904 SOS 4438 HAS SOPS 3596 HAS SOUS 3447 HAS SOUPS 2997 WITH SCORE 3001.438
AT ITER 7362 NEW BEST:: SOT 19904 SOS 4436 HAS SOPS 3596 HAS SOUS 3445 HAS SOUPS 2997 WITH SCORE 3001.436
AT ITER 7503 NEW BEST:: SOT 19901 SOS 4435 HAS SOPS 3595 HAS SOUS 3444 HAS SOUPS 2996 WITH SCORE 3000.435
AT ITER 7517 NEW BEST:: SOT 19899 SOS 4433 HAS SOPS 3593 HAS SOUS 3442 HAS SOUPS 2994 WITH SCORE 2998.433
AT ITER 7605 NEW BEST:: SOT 19899 SOS 4431 HAS SOPS 3589 HAS SOUS 3438 HAS SOUPS 2990 WITH SCORE 2994.431
AT ITER 7640 NEW BEST:: SOT 19895 SOS 4424 HAS SOPS 3589 HAS SOUS 3437 HAS SOUPS 2990 WITH SCORE 2994.424
AT ITER 7673 NEW BEST:: SOT 19890 SOS 4419 HAS SOPS 3584 HAS SOUS 3432 HAS SOUPS 2985 WITH SCORE 2989.419
AT ITER 7743 NEW BEST:: SOT 19890 SOS 4419 HAS SOPS 3583 HAS SOUS 3432 HAS SOUPS 2984 WITH SCORE 2988.419
AT ITER 7784 NEW BEST:: SOT 19889 SOS 4419 HAS SOPS 3583 HAS SOUS 3431 HAS SOUPS 2983 WITH SCORE 2987.419
AT ITER 7884 NEW BEST:: SOT 19888 SOS 4418 HAS SOPS 3582 HAS SOUS 3430 HAS SOUPS 2982 WITH SCORE 2986.418
AT ITER 7992 NEW BEST:: SOT 19877 SOS 4407 HAS SOPS 3579 HAS SOUS 3402 HAS SOUPS 2954 WITH SCORE 2958.407
AT ITER 8013 NEW BEST:: SOT 19877 SOS 4404 HAS SOPS 3578 HAS SOUS 3399 HAS SOUPS 2953 WITH SCORE 2957.404
AT ITER 8075 NEW BEST:: SOT 19874 SOS 4401 HAS SOPS 3572 HAS SOUS 3394 HAS SOUPS 2948 WITH SCORE 2952.401
AT ITER 8107 NEW BEST:: SOT 19874 SOS 4401 HAS SOPS 3570 HAS SOUS 3393 HAS SOUPS 2946 WITH SCORE 2950.401
AT ITER 8145 NEW BEST:: SOT 19872 SOS 4399 HAS SOPS 3566 HAS SOUS 3389 HAS SOUPS 2942 WITH SCORE 2946.399
AT ITER 8178 NEW BEST:: SOT 19870 SOS 4397 HAS SOPS 3563 HAS SOUS 3388 HAS SOUPS 2941 WITH SCORE 2945.397
AT ITER 8187 NEW BEST:: SOT 19874 SOS 4401 HAS SOPS 3567 HAS SOUS 3386 HAS SOUPS 2939 WITH SCORE 2943.401
AT ITER 8292 NEW BEST:: SOT 19868 SOS 4397 HAS SOPS 3563 HAS SOUS 3382 HAS SOUPS 2935 WITH SCORE 2939.397
AT ITER 8296 NEW BEST:: SOT 19861 SOS 4384 HAS SOPS 3562 HAS SOUS 3369 HAS SOUPS 2934 WITH SCORE 2938.384
AT ITER 8358 NEW BEST:: SOT 19860 SOS 4382 HAS SOPS 3560 HAS SOUS 3367 HAS SOUPS 2932 WITH SCORE 2936.382
AT ITER 8435 NEW BEST:: SOT 19860 SOS 4382 HAS SOPS 3559 HAS SOUS 3361 HAS SOUPS 2931 WITH SCORE 2935.382
AT ITER 8497 NEW BEST:: SOT 19859 SOS 4381 HAS SOPS 3557 HAS SOUS 3359 HAS SOUPS 2929 WITH SCORE 2933.381
AT ITER 8524 NEW BEST:: SOT 19859 SOS 4428 HAS SOPS 3580 HAS SOUS 3361 HAS SOUPS 2925 WITH SCORE 2929.428
AT ITER 8549 NEW BEST:: SOT 19856 SOS 4425 HAS SOPS 3575 HAS SOUS 3358 HAS SOUPS 2920 WITH SCORE 2924.425
AT ITER 8664 NEW BEST:: SOT 19856 SOS 4425 HAS SOPS 3575 HAS SOUS 3356 HAS SOUPS 2918 WITH SCORE 2922.425
AT ITER 8723 NEW BEST:: SOT 19856 SOS 4422 HAS SOPS 3572 HAS SOUS 3353 HAS SOUPS 2915 WITH SCORE 2919.422
AT ITER 9253 NEW BEST:: SOT 19864 SOS 4396 HAS SOPS 3571 HAS SOUS 3344 HAS SOUPS 2914 WITH SCORE 2918.396
AT ITER 9414 NEW BEST:: SOT 19863 SOS 4396 HAS SOPS 3570 HAS SOUS 3344 HAS SOUPS 2913 WITH SCORE 2917.396
AT ITER 9579 NEW BEST:: SOT 19880 SOS 4414 HAS SOPS 3561 HAS SOUS 3355 HAS SOUPS 2911 WITH SCORE 2915.414
AT ITER 9632 NEW BEST:: SOT 19880 SOS 4411 HAS SOPS 3558 HAS SOUS 3354 HAS SOUPS 2910 WITH SCORE 2914.411
AT ITER 9641 NEW BEST:: SOT 19926 SOS 4406 HAS SOPS 3544 HAS SOUS 3377 HAS SOUPS 2910 WITH SCORE 2914.406
AT ITER 9702 NEW BEST:: SOT 19925 SOS 4404 HAS SOPS 3542 HAS SOUS 3375 HAS SOUPS 2908 WITH SCORE 2912.404
AT ITER 9788 NEW BEST:: SOT 19923 SOS 4401 HAS SOPS 3539 HAS SOUS 3374 HAS SOUPS 2907 WITH SCORE 2911.401
AT ITER 9834 NEW BEST:: SOT 19920 SOS 4398 HAS SOPS 3533 HAS SOUS 3371 HAS SOUPS 2901 WITH SCORE 2905.398
AT ITER 9877 NEW BEST:: SOT 19919 SOS 4393 HAS SOPS 3532 HAS SOUS 3370 HAS SOUPS 2900 WITH SCORE 2904.393
STATE_SPACE STATES 2776936 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13152132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678870839712

--------------------
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="ParamProductionCell-PT-0"
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 ParamProductionCell-PT-0, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541700368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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