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.r523-tall-167987247800224.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 EisenbergMcGuire-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.7K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Mar 23 15:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Mar 23 15:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 121K Mar 31 16:48 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 1680811314892

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=EisenbergMcGuire-PT-03
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 20:01:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 20:01:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 20:01:57] [INFO ] Load time of PNML (sax parser for PT used): 57 ms
[2023-04-06 20:01:57] [INFO ] Transformed 117 places.
[2023-04-06 20:01:57] [INFO ] Transformed 216 transitions.
[2023-04-06 20:01:57] [INFO ] Found NUPN structural information;
[2023-04-06 20:01:57] [INFO ] Parsed PT model containing 117 places and 216 transitions and 900 arcs in 129 ms.
[2023-04-06 20:01:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 117 places, 216 transitions and 900 arcs took 6 ms.
Total runtime 168 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 03
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: 117 places, 216 transitions, 900 arcs.
AT ITER 0 NEW BEST:: SOT 17258 SOS 9306 HAS SOPS 6364 HAS SOUS 6430 HAS SOUPS 5833 WITH SCORE 5842.306
AT ITER 3 NEW BEST:: SOT 17258 SOS 9162 HAS SOPS 6365 HAS SOUS 6413 HAS SOUPS 5833 WITH SCORE 5842.162
AT ITER 4 NEW BEST:: SOT 17246 SOS 9162 HAS SOPS 6363 HAS SOUS 6393 HAS SOUPS 5813 WITH SCORE 5822.162
AT ITER 5 NEW BEST:: SOT 17213 SOS 9140 HAS SOPS 6297 HAS SOUS 6276 HAS SOUPS 5694 WITH SCORE 5703.14
AT ITER 6 NEW BEST:: SOT 17222 SOS 9120 HAS SOPS 6234 HAS SOUS 6255 HAS SOUPS 5650 WITH SCORE 5659.12
AT ITER 13 NEW BEST:: SOT 17215 SOS 9106 HAS SOPS 6220 HAS SOUS 6238 HAS SOUPS 5636 WITH SCORE 5645.106
AT ITER 14 NEW BEST:: SOT 17215 SOS 9078 HAS SOPS 6192 HAS SOUS 6236 HAS SOUPS 5634 WITH SCORE 5643.078
AT ITER 19 NEW BEST:: SOT 17106 SOS 8955 HAS SOPS 6169 HAS SOUS 6220 HAS SOUPS 5618 WITH SCORE 5626.955
AT ITER 21 NEW BEST:: SOT 17117 SOS 8958 HAS SOPS 6159 HAS SOUS 6184 HAS SOUPS 5584 WITH SCORE 5592.958
AT ITER 25 NEW BEST:: SOT 17117 SOS 8946 HAS SOPS 6147 HAS SOUS 6172 HAS SOUPS 5572 WITH SCORE 5580.946
AT ITER 27 NEW BEST:: SOT 17084 SOS 8864 HAS SOPS 6128 HAS SOUS 6150 HAS SOUPS 5564 WITH SCORE 5572.864
AT ITER 29 NEW BEST:: SOT 17032 SOS 8771 HAS SOPS 5948 HAS SOUS 6082 HAS SOUPS 5426 WITH SCORE 5434.771
AT ITER 31 NEW BEST:: SOT 17012 SOS 8751 HAS SOPS 5918 HAS SOUS 6078 HAS SOUPS 5396 WITH SCORE 5404.751
AT ITER 36 NEW BEST:: SOT 17034 SOS 8798 HAS SOPS 5912 HAS SOUS 6082 HAS SOUPS 5390 WITH SCORE 5398.798
AT ITER 38 NEW BEST:: SOT 17034 SOS 8788 HAS SOPS 5902 HAS SOUS 6082 HAS SOUPS 5390 WITH SCORE 5398.788
AT ITER 42 NEW BEST:: SOT 17029 SOS 8777 HAS SOPS 5878 HAS SOUS 6049 HAS SOUPS 5357 WITH SCORE 5365.777
AT ITER 48 NEW BEST:: SOT 16946 SOS 8770 HAS SOPS 5814 HAS SOUS 6017 HAS SOUPS 5267 WITH SCORE 5275.77
AT ITER 49 NEW BEST:: SOT 16947 SOS 8771 HAS SOPS 5815 HAS SOUS 6011 HAS SOUPS 5261 WITH SCORE 5269.771
AT ITER 53 NEW BEST:: SOT 16921 SOS 8765 HAS SOPS 5814 HAS SOUS 6000 HAS SOUPS 5250 WITH SCORE 5258.765
AT ITER 61 NEW BEST:: SOT 16906 SOS 8741 HAS SOPS 5785 HAS SOUS 6001 HAS SOUPS 5241 WITH SCORE 5249.741
AT ITER 64 NEW BEST:: SOT 16871 SOS 9200 HAS SOPS 5722 HAS SOUS 5994 HAS SOUPS 5178 WITH SCORE 5187.2
AT ITER 68 NEW BEST:: SOT 16871 SOS 9200 HAS SOPS 5722 HAS SOUS 5993 HAS SOUPS 5177 WITH SCORE 5186.2
AT ITER 71 NEW BEST:: SOT 16850 SOS 9214 HAS SOPS 5754 HAS SOUS 5958 HAS SOUPS 5142 WITH SCORE 5151.214
AT ITER 79 NEW BEST:: SOT 16808 SOS 9168 HAS SOPS 5593 HAS SOUS 5832 HAS SOUPS 5016 WITH SCORE 5025.168
AT ITER 80 NEW BEST:: SOT 16808 SOS 9164 HAS SOPS 5589 HAS SOUS 5832 HAS SOUPS 5016 WITH SCORE 5025.164
AT ITER 81 NEW BEST:: SOT 16791 SOS 9156 HAS SOPS 5581 HAS SOUS 5824 HAS SOUPS 5008 WITH SCORE 5017.156
AT ITER 87 NEW BEST:: SOT 16781 SOS 9155 HAS SOPS 5561 HAS SOUS 5799 HAS SOUPS 4983 WITH SCORE 4992.155
AT ITER 99 NEW BEST:: SOT 16762 SOS 9193 HAS SOPS 5576 HAS SOUS 5825 HAS SOUPS 4975 WITH SCORE 4984.193
AT ITER 102 NEW BEST:: SOT 16762 SOS 9152 HAS SOPS 5535 HAS SOUS 5823 HAS SOUPS 4973 WITH SCORE 4982.152
AT ITER 103 NEW BEST:: SOT 16782 SOS 9172 HAS SOPS 5534 HAS SOUS 5822 HAS SOUPS 4972 WITH SCORE 4981.172
AT ITER 110 NEW BEST:: SOT 16760 SOS 9208 HAS SOPS 5490 HAS SOUS 5829 HAS SOUPS 4962 WITH SCORE 4971.208
AT ITER 113 NEW BEST:: SOT 16767 SOS 9177 HAS SOPS 5463 HAS SOUS 5798 HAS SOUPS 4931 WITH SCORE 4940.177
AT ITER 116 NEW BEST:: SOT 16772 SOS 9172 HAS SOPS 5447 HAS SOUS 5782 HAS SOUPS 4915 WITH SCORE 4924.172
AT ITER 128 NEW BEST:: SOT 16585 SOS 9025 HAS SOPS 5246 HAS SOUS 5598 HAS SOUPS 4714 WITH SCORE 4723.025
AT ITER 136 NEW BEST:: SOT 16579 SOS 9019 HAS SOPS 5240 HAS SOUS 5592 HAS SOUPS 4708 WITH SCORE 4717.019
AT ITER 141 NEW BEST:: SOT 16579 SOS 8984 HAS SOPS 5240 HAS SOUS 5557 HAS SOUPS 4708 WITH SCORE 4716.984
AT ITER 147 NEW BEST:: SOT 16577 SOS 8980 HAS SOPS 5236 HAS SOUS 5553 HAS SOUPS 4704 WITH SCORE 4712.98
AT ITER 153 NEW BEST:: SOT 16565 SOS 8940 HAS SOPS 5218 HAS SOUS 5537 HAS SOUPS 4688 WITH SCORE 4696.94
AT ITER 155 NEW BEST:: SOT 16607 SOS 8940 HAS SOPS 5192 HAS SOUS 5523 HAS SOUPS 4674 WITH SCORE 4682.94
AT ITER 157 NEW BEST:: SOT 16598 SOS 8936 HAS SOPS 5183 HAS SOUS 5514 HAS SOUPS 4665 WITH SCORE 4673.936
AT ITER 163 NEW BEST:: SOT 16588 SOS 8906 HAS SOPS 5151 HAS SOUS 5492 HAS SOUPS 4643 WITH SCORE 4651.906
AT ITER 184 NEW BEST:: SOT 16575 SOS 8932 HAS SOPS 5177 HAS SOUS 5473 HAS SOUPS 4624 WITH SCORE 4632.932
AT ITER 185 NEW BEST:: SOT 16553 SOS 8893 HAS SOPS 5081 HAS SOUS 5403 HAS SOUPS 4554 WITH SCORE 4562.893
AT ITER 186 NEW BEST:: SOT 16496 SOS 8861 HAS SOPS 5045 HAS SOUS 5367 HAS SOUPS 4518 WITH SCORE 4526.861
AT ITER 190 NEW BEST:: SOT 16494 SOS 8964 HAS SOPS 5036 HAS SOUS 5364 HAS SOUPS 4506 WITH SCORE 4514.964
AT ITER 192 NEW BEST:: SOT 16477 SOS 8915 HAS SOPS 4987 HAS SOUS 5331 HAS SOUPS 4473 WITH SCORE 4481.915
AT ITER 193 NEW BEST:: SOT 16464 SOS 8910 HAS SOPS 4979 HAS SOUS 5297 HAS SOUPS 4439 WITH SCORE 4447.91
AT ITER 199 NEW BEST:: SOT 16417 SOS 8870 HAS SOPS 4942 HAS SOUS 5238 HAS SOUPS 4380 WITH SCORE 4388.87
AT ITER 200 NEW BEST:: SOT 16335 SOS 8803 HAS SOPS 4904 HAS SOUS 5174 HAS SOUPS 4324 WITH SCORE 4332.803
AT ITER 206 NEW BEST:: SOT 16335 SOS 8794 HAS SOPS 4888 HAS SOUS 5142 HAS SOUPS 4292 WITH SCORE 4300.794
AT ITER 208 NEW BEST:: SOT 16327 SOS 8782 HAS SOPS 4872 HAS SOUS 5130 HAS SOUPS 4276 WITH SCORE 4284.782
AT ITER 211 NEW BEST:: SOT 16300 SOS 8759 HAS SOPS 4836 HAS SOUS 5130 HAS SOUPS 4258 WITH SCORE 4266.759
AT ITER 215 NEW BEST:: SOT 16275 SOS 9014 HAS SOPS 4811 HAS SOUS 5135 HAS SOUPS 4239 WITH SCORE 4248.014
AT ITER 217 NEW BEST:: SOT 16272 SOS 9011 HAS SOPS 4808 HAS SOUS 5132 HAS SOUPS 4236 WITH SCORE 4245.011
AT ITER 234 NEW BEST:: SOT 16267 SOS 9006 HAS SOPS 4803 HAS SOUS 5122 HAS SOUPS 4226 WITH SCORE 4235.006
AT ITER 243 NEW BEST:: SOT 16267 SOS 9008 HAS SOPS 4796 HAS SOUS 5123 HAS SOUPS 4218 WITH SCORE 4227.008
AT ITER 253 NEW BEST:: SOT 16239 SOS 8998 HAS SOPS 4772 HAS SOUS 5085 HAS SOUPS 4180 WITH SCORE 4188.998
AT ITER 264 NEW BEST:: SOT 16204 SOS 8963 HAS SOPS 4725 HAS SOUS 5051 HAS SOUPS 4146 WITH SCORE 4154.963
AT ITER 265 NEW BEST:: SOT 16202 SOS 8978 HAS SOPS 4706 HAS SOUS 5036 HAS SOUPS 4127 WITH SCORE 4135.978
AT ITER 266 NEW BEST:: SOT 16203 SOS 8981 HAS SOPS 4703 HAS SOUS 5033 HAS SOUPS 4124 WITH SCORE 4132.981
AT ITER 286 NEW BEST:: SOT 16191 SOS 8969 HAS SOPS 4687 HAS SOUS 5021 HAS SOUPS 4108 WITH SCORE 4116.969
AT ITER 295 NEW BEST:: SOT 16225 SOS 8991 HAS SOPS 4727 HAS SOUS 5007 HAS SOUPS 4100 WITH SCORE 4108.991
AT ITER 298 NEW BEST:: SOT 16222 SOS 8981 HAS SOPS 4718 HAS SOUS 5001 HAS SOUPS 4094 WITH SCORE 4102.981
AT ITER 299 NEW BEST:: SOT 16210 SOS 8968 HAS SOPS 4708 HAS SOUS 4991 HAS SOUPS 4084 WITH SCORE 4092.968
AT ITER 322 NEW BEST:: SOT 16254 SOS 8871 HAS SOPS 4719 HAS SOUS 4893 HAS SOUPS 4057 WITH SCORE 4065.871
AT ITER 323 NEW BEST:: SOT 16250 SOS 8865 HAS SOPS 4715 HAS SOUS 4893 HAS SOUPS 4057 WITH SCORE 4065.865
AT ITER 328 NEW BEST:: SOT 16238 SOS 8825 HAS SOPS 4695 HAS SOUS 4875 HAS SOUPS 4039 WITH SCORE 4047.825
AT ITER 337 NEW BEST:: SOT 16231 SOS 8844 HAS SOPS 4666 HAS SOUS 4869 HAS SOUPS 3998 WITH SCORE 4006.844
AT ITER 340 NEW BEST:: SOT 16224 SOS 8829 HAS SOPS 4664 HAS SOUS 4867 HAS SOUPS 3996 WITH SCORE 4004.829
AT ITER 354 NEW BEST:: SOT 16220 SOS 8813 HAS SOPS 4656 HAS SOUS 4859 HAS SOUPS 3988 WITH SCORE 3996.813
AT ITER 368 NEW BEST:: SOT 16211 SOS 8769 HAS SOPS 4624 HAS SOUS 4825 HAS SOUPS 3968 WITH SCORE 3976.769
AT ITER 389 NEW BEST:: SOT 16206 SOS 8759 HAS SOPS 4614 HAS SOUS 4815 HAS SOUPS 3958 WITH SCORE 3966.759
AT ITER 393 NEW BEST:: SOT 16200 SOS 8753 HAS SOPS 4602 HAS SOUS 4809 HAS SOUPS 3952 WITH SCORE 3960.753
AT ITER 407 NEW BEST:: SOT 16093 SOS 8734 HAS SOPS 4455 HAS SOUS 4848 HAS SOUPS 3945 WITH SCORE 3953.734
AT ITER 413 NEW BEST:: SOT 16151 SOS 8802 HAS SOPS 4492 HAS SOUS 4846 HAS SOUPS 3943 WITH SCORE 3951.802
AT ITER 414 NEW BEST:: SOT 16173 SOS 8883 HAS SOPS 4510 HAS SOUS 4845 HAS SOUPS 3942 WITH SCORE 3950.883
AT ITER 415 NEW BEST:: SOT 16173 SOS 8880 HAS SOPS 4507 HAS SOUS 4845 HAS SOUPS 3942 WITH SCORE 3950.88
AT ITER 431 NEW BEST:: SOT 16170 SOS 8820 HAS SOPS 4500 HAS SOUS 4833 HAS SOUPS 3931 WITH SCORE 3939.82
AT ITER 433 NEW BEST:: SOT 16170 SOS 8803 HAS SOPS 4483 HAS SOUS 4824 HAS SOUPS 3922 WITH SCORE 3930.803
AT ITER 446 NEW BEST:: SOT 16164 SOS 8786 HAS SOPS 4458 HAS SOUS 4812 HAS SOUPS 3910 WITH SCORE 3918.786
AT ITER 455 NEW BEST:: SOT 16251 SOS 8889 HAS SOPS 4484 HAS SOUS 4798 HAS SOUPS 3896 WITH SCORE 3904.889
AT ITER 468 NEW BEST:: SOT 16249 SOS 8885 HAS SOPS 4480 HAS SOUS 4796 HAS SOUPS 3894 WITH SCORE 3902.885
AT ITER 488 NEW BEST:: SOT 16242 SOS 8883 HAS SOPS 4473 HAS SOUS 4782 HAS SOUPS 3880 WITH SCORE 3888.883
AT ITER 498 NEW BEST:: SOT 16131 SOS 8767 HAS SOPS 4417 HAS SOUS 4758 HAS SOUPS 3856 WITH SCORE 3864.767
AT ITER 504 NEW BEST:: SOT 16118 SOS 8704 HAS SOPS 4392 HAS SOUS 4740 HAS SOUPS 3837 WITH SCORE 3845.704
AT ITER 505 NEW BEST:: SOT 16064 SOS 8742 HAS SOPS 4388 HAS SOUS 4716 HAS SOUPS 3813 WITH SCORE 3821.742
AT ITER 528 NEW BEST:: SOT 16065 SOS 8743 HAS SOPS 4378 HAS SOUS 4699 HAS SOUPS 3803 WITH SCORE 3811.743
AT ITER 534 NEW BEST:: SOT 16076 SOS 8796 HAS SOPS 4299 HAS SOUS 4715 HAS SOUPS 3759 WITH SCORE 3767.796
AT ITER 547 NEW BEST:: SOT 16074 SOS 8794 HAS SOPS 4295 HAS SOUS 4711 HAS SOUPS 3755 WITH SCORE 3763.794
AT ITER 554 NEW BEST:: SOT 16075 SOS 8795 HAS SOPS 4289 HAS SOUS 4711 HAS SOUPS 3748 WITH SCORE 3756.795
AT ITER 567 NEW BEST:: SOT 16074 SOS 8795 HAS SOPS 4287 HAS SOUS 4708 HAS SOUPS 3745 WITH SCORE 3753.795
AT ITER 595 NEW BEST:: SOT 16042 SOS 8755 HAS SOPS 4247 HAS SOUS 4668 HAS SOUPS 3705 WITH SCORE 3713.755
AT ITER 619 NEW BEST:: SOT 16039 SOS 8633 HAS SOPS 4237 HAS SOUS 4653 HAS SOUPS 3697 WITH SCORE 3705.633
AT ITER 632 NEW BEST:: SOT 16024 SOS 8618 HAS SOPS 4207 HAS SOUS 4646 HAS SOUPS 3677 WITH SCORE 3685.618
AT ITER 640 NEW BEST:: SOT 16035 SOS 8671 HAS SOPS 4260 HAS SOUS 4644 HAS SOUPS 3675 WITH SCORE 3683.671
AT ITER 651 NEW BEST:: SOT 16035 SOS 8671 HAS SOPS 4258 HAS SOUS 4641 HAS SOUPS 3673 WITH SCORE 3681.671
AT ITER 677 NEW BEST:: SOT 16020 SOS 8567 HAS SOPS 4197 HAS SOUS 4635 HAS SOUPS 3667 WITH SCORE 3675.567
AT ITER 683 NEW BEST:: SOT 16000 SOS 8555 HAS SOPS 4141 HAS SOUS 4623 HAS SOUPS 3611 WITH SCORE 3619.555
AT ITER 687 NEW BEST:: SOT 15999 SOS 8554 HAS SOPS 4136 HAS SOUS 4622 HAS SOUPS 3606 WITH SCORE 3614.554
AT ITER 688 NEW BEST:: SOT 15999 SOS 8553 HAS SOPS 4135 HAS SOUS 4622 HAS SOUPS 3606 WITH SCORE 3614.553
AT ITER 695 NEW BEST:: SOT 15996 SOS 8551 HAS SOPS 4133 HAS SOUS 4620 HAS SOUPS 3604 WITH SCORE 3612.551
AT ITER 712 NEW BEST:: SOT 15994 SOS 8547 HAS SOPS 4129 HAS SOUS 4616 HAS SOUPS 3600 WITH SCORE 3608.547
AT ITER 749 NEW BEST:: SOT 15991 SOS 8544 HAS SOPS 4126 HAS SOUS 4610 HAS SOUPS 3594 WITH SCORE 3602.544
AT ITER 792 NEW BEST:: SOT 15983 SOS 8532 HAS SOPS 4114 HAS SOUS 4602 HAS SOUPS 3586 WITH SCORE 3594.532
AT ITER 801 NEW BEST:: SOT 15982 SOS 8561 HAS SOPS 4113 HAS SOUS 4603 HAS SOUPS 3585 WITH SCORE 3593.561
AT ITER 805 NEW BEST:: SOT 15977 SOS 8556 HAS SOPS 4108 HAS SOUS 4598 HAS SOUPS 3580 WITH SCORE 3588.556
AT ITER 812 NEW BEST:: SOT 15976 SOS 8555 HAS SOPS 4106 HAS SOUS 4596 HAS SOUPS 3578 WITH SCORE 3586.555
AT ITER 832 NEW BEST:: SOT 15977 SOS 8560 HAS SOPS 4112 HAS SOUS 4586 HAS SOUPS 3568 WITH SCORE 3576.56
AT ITER 841 NEW BEST:: SOT 15982 SOS 8594 HAS SOPS 4038 HAS SOUS 4512 HAS SOUPS 3494 WITH SCORE 3502.594
AT ITER 854 NEW BEST:: SOT 15985 SOS 8652 HAS SOPS 4044 HAS SOUS 4515 HAS SOUPS 3493 WITH SCORE 3501.652
AT ITER 855 NEW BEST:: SOT 15985 SOS 8651 HAS SOPS 4035 HAS SOUS 4510 HAS SOUPS 3488 WITH SCORE 3496.651
AT ITER 871 NEW BEST:: SOT 15973 SOS 8633 HAS SOPS 4023 HAS SOUS 4493 HAS SOUPS 3477 WITH SCORE 3485.633
AT ITER 876 NEW BEST:: SOT 15990 SOS 8648 HAS SOPS 4026 HAS SOUS 4483 HAS SOUPS 3467 WITH SCORE 3475.648
AT ITER 921 NEW BEST:: SOT 15968 SOS 8620 HAS SOPS 3998 HAS SOUS 4455 HAS SOUPS 3439 WITH SCORE 3447.62
AT ITER 931 NEW BEST:: SOT 15970 SOS 8622 HAS SOPS 3998 HAS SOUS 4456 HAS SOUPS 3438 WITH SCORE 3446.622
AT ITER 936 NEW BEST:: SOT 15973 SOS 8687 HAS SOPS 4002 HAS SOUS 4482 HAS SOUPS 3436 WITH SCORE 3444.687
AT ITER 974 NEW BEST:: SOT 15974 SOS 8688 HAS SOPS 3994 HAS SOUS 4483 HAS SOUPS 3428 WITH SCORE 3436.688
AT ITER 977 NEW BEST:: SOT 15974 SOS 8684 HAS SOPS 3986 HAS SOUS 4479 HAS SOUPS 3424 WITH SCORE 3432.684
AT ITER 980 NEW BEST:: SOT 15975 SOS 8678 HAS SOPS 3980 HAS SOUS 4473 HAS SOUPS 3418 WITH SCORE 3426.678
AT ITER 1037 NEW BEST:: SOT 15976 SOS 8688 HAS SOPS 3982 HAS SOUS 4466 HAS SOUPS 3411 WITH SCORE 3419.688
AT ITER 1078 NEW BEST:: SOT 16003 SOS 8725 HAS SOPS 3958 HAS SOUS 4422 HAS SOUPS 3367 WITH SCORE 3375.725
AT ITER 1081 NEW BEST:: SOT 16001 SOS 8722 HAS SOPS 3955 HAS SOUS 4419 HAS SOUPS 3364 WITH SCORE 3372.722
AT ITER 1091 NEW BEST:: SOT 16060 SOS 8781 HAS SOPS 3951 HAS SOUS 4414 HAS SOUPS 3360 WITH SCORE 3368.781
AT ITER 1093 NEW BEST:: SOT 16058 SOS 8779 HAS SOPS 3946 HAS SOUS 4414 HAS SOUPS 3360 WITH SCORE 3368.779
AT ITER 1101 NEW BEST:: SOT 16058 SOS 8776 HAS SOPS 3943 HAS SOUS 4412 HAS SOUPS 3358 WITH SCORE 3366.776
AT ITER 1107 NEW BEST:: SOT 16011 SOS 8729 HAS SOPS 3968 HAS SOUS 4365 HAS SOUPS 3351 WITH SCORE 3359.729
AT ITER 1134 NEW BEST:: SOT 16010 SOS 8731 HAS SOPS 3966 HAS SOUS 4363 HAS SOUPS 3349 WITH SCORE 3357.731
AT ITER 1143 NEW BEST:: SOT 16008 SOS 8729 HAS SOPS 3938 HAS SOUS 4341 HAS SOUPS 3321 WITH SCORE 3329.729
AT ITER 1158 NEW BEST:: SOT 16008 SOS 8728 HAS SOPS 3938 HAS SOUS 4340 HAS SOUPS 3321 WITH SCORE 3329.728
AT ITER 1166 NEW BEST:: SOT 16006 SOS 8726 HAS SOPS 3954 HAS SOUS 4338 HAS SOUPS 3319 WITH SCORE 3327.726
AT ITER 1199 NEW BEST:: SOT 16007 SOS 8730 HAS SOPS 3952 HAS SOUS 4342 HAS SOUPS 3317 WITH SCORE 3325.73
AT ITER 1214 NEW BEST:: SOT 15992 SOS 8708 HAS SOPS 3949 HAS SOUS 4340 HAS SOUPS 3315 WITH SCORE 3323.708
AT ITER 1252 NEW BEST:: SOT 15994 SOS 8705 HAS SOPS 3943 HAS SOUS 4334 HAS SOUPS 3309 WITH SCORE 3317.705
AT ITER 1307 NEW BEST:: SOT 15978 SOS 8710 HAS SOPS 3948 HAS SOUS 4322 HAS SOUPS 3297 WITH SCORE 3305.71
AT ITER 1310 NEW BEST:: SOT 15961 SOS 8697 HAS SOPS 3935 HAS SOUS 4317 HAS SOUPS 3292 WITH SCORE 3300.697
AT ITER 1360 NEW BEST:: SOT 15961 SOS 8571 HAS SOPS 3935 HAS SOUS 4309 HAS SOUPS 3292 WITH SCORE 3300.571
AT ITER 1388 NEW BEST:: SOT 15946 SOS 8436 HAS SOPS 3920 HAS SOUS 4288 HAS SOUPS 3280 WITH SCORE 3288.436
AT ITER 1418 NEW BEST:: SOT 15944 SOS 8429 HAS SOPS 3913 HAS SOUS 4285 HAS SOUPS 3277 WITH SCORE 3285.429
AT ITER 1424 NEW BEST:: SOT 15918 SOS 8410 HAS SOPS 3901 HAS SOUS 4266 HAS SOUPS 3262 WITH SCORE 3270.41
AT ITER 1438 NEW BEST:: SOT 15912 SOS 8404 HAS SOPS 3895 HAS SOUS 4262 HAS SOUPS 3258 WITH SCORE 3266.404
AT ITER 1460 NEW BEST:: SOT 15912 SOS 8387 HAS SOPS 3878 HAS SOUS 4262 HAS SOUPS 3258 WITH SCORE 3266.387
AT ITER 1478 NEW BEST:: SOT 15926 SOS 8401 HAS SOPS 3853 HAS SOUS 4276 HAS SOUPS 3233 WITH SCORE 3241.401
AT ITER 1489 NEW BEST:: SOT 15929 SOS 8416 HAS SOPS 3816 HAS SOUS 4264 HAS SOUPS 3215 WITH SCORE 3223.416
AT ITER 1521 NEW BEST:: SOT 15935 SOS 8422 HAS SOPS 3792 HAS SOUS 4262 HAS SOUPS 3210 WITH SCORE 3218.422
AT ITER 1548 NEW BEST:: SOT 15938 SOS 8420 HAS SOPS 3790 HAS SOUS 4260 HAS SOUPS 3208 WITH SCORE 3216.42
AT ITER 1558 NEW BEST:: SOT 15946 SOS 8428 HAS SOPS 3776 HAS SOUS 4265 HAS SOUPS 3204 WITH SCORE 3212.428
AT ITER 1563 NEW BEST:: SOT 15931 SOS 8459 HAS SOPS 3741 HAS SOUS 4270 HAS SOUPS 3169 WITH SCORE 3177.459
AT ITER 1568 NEW BEST:: SOT 15938 SOS 8393 HAS SOPS 3710 HAS SOUS 4235 HAS SOUPS 3162 WITH SCORE 3170.393
AT ITER 1571 NEW BEST:: SOT 15936 SOS 8357 HAS SOPS 3708 HAS SOUS 4218 HAS SOUPS 3159 WITH SCORE 3167.357
AT ITER 1619 NEW BEST:: SOT 15917 SOS 8511 HAS SOPS 3704 HAS SOUS 4220 HAS SOUPS 3155 WITH SCORE 3163.511
AT ITER 1623 NEW BEST:: SOT 15897 SOS 8538 HAS SOPS 3687 HAS SOUS 4240 HAS SOUPS 3153 WITH SCORE 3161.538
AT ITER 1639 NEW BEST:: SOT 15901 SOS 8538 HAS SOPS 3685 HAS SOUS 4238 HAS SOUPS 3151 WITH SCORE 3159.538
AT ITER 1640 NEW BEST:: SOT 15900 SOS 8537 HAS SOPS 3685 HAS SOUS 4238 HAS SOUPS 3151 WITH SCORE 3159.537
AT ITER 1644 NEW BEST:: SOT 15898 SOS 8531 HAS SOPS 3679 HAS SOUS 4232 HAS SOUPS 3145 WITH SCORE 3153.531
AT ITER 1645 NEW BEST:: SOT 15862 SOS 8495 HAS SOPS 3659 HAS SOUS 4256 HAS SOUPS 3145 WITH SCORE 3153.495
AT ITER 1658 NEW BEST:: SOT 15868 SOS 8380 HAS SOPS 3658 HAS SOUS 4250 HAS SOUPS 3143 WITH SCORE 3151.38
AT ITER 1680 NEW BEST:: SOT 15868 SOS 8379 HAS SOPS 3657 HAS SOUS 4250 HAS SOUPS 3143 WITH SCORE 3151.379
AT ITER 1706 NEW BEST:: SOT 15870 SOS 8386 HAS SOPS 3661 HAS SOUS 4247 HAS SOUPS 3140 WITH SCORE 3148.386
AT ITER 1722 NEW BEST:: SOT 15894 SOS 8424 HAS SOPS 3675 HAS SOUS 4243 HAS SOUPS 3136 WITH SCORE 3144.424
AT ITER 1754 NEW BEST:: SOT 15889 SOS 8334 HAS SOPS 3657 HAS SOUS 4207 HAS SOUPS 3130 WITH SCORE 3138.334
AT ITER 1795 NEW BEST:: SOT 15886 SOS 8330 HAS SOPS 3651 HAS SOUS 4201 HAS SOUPS 3124 WITH SCORE 3132.33
AT ITER 1798 NEW BEST:: SOT 15832 SOS 8262 HAS SOPS 3627 HAS SOUS 4189 HAS SOUPS 3112 WITH SCORE 3120.262
AT ITER 1829 NEW BEST:: SOT 15834 SOS 8283 HAS SOPS 3624 HAS SOUS 4191 HAS SOUPS 3111 WITH SCORE 3119.283
AT ITER 1834 NEW BEST:: SOT 15831 SOS 8276 HAS SOPS 3624 HAS SOUS 4191 HAS SOUPS 3111 WITH SCORE 3119.276
AT ITER 1913 NEW BEST:: SOT 15831 SOS 8276 HAS SOPS 3620 HAS SOUS 4187 HAS SOUPS 3107 WITH SCORE 3115.276
AT ITER 1963 NEW BEST:: SOT 15817 SOS 8269 HAS SOPS 3622 HAS SOUS 4175 HAS SOUPS 3101 WITH SCORE 3109.269
AT ITER 1997 NEW BEST:: SOT 15787 SOS 8232 HAS SOPS 3647 HAS SOUS 4169 HAS SOUPS 3095 WITH SCORE 3103.232
AT ITER 1998 NEW BEST:: SOT 15832 SOS 8289 HAS SOPS 3641 HAS SOUS 4163 HAS SOUPS 3089 WITH SCORE 3097.289
AT ITER 2016 NEW BEST:: SOT 15832 SOS 8289 HAS SOPS 3637 HAS SOUS 4163 HAS SOUPS 3085 WITH SCORE 3093.289
AT ITER 2040 NEW BEST:: SOT 15834 SOS 8291 HAS SOPS 3637 HAS SOUS 4159 HAS SOUPS 3081 WITH SCORE 3089.291
AT ITER 2087 NEW BEST:: SOT 15835 SOS 8311 HAS SOPS 3633 HAS SOUS 4160 HAS SOUPS 3080 WITH SCORE 3088.311
AT ITER 2089 NEW BEST:: SOT 15831 SOS 8336 HAS SOPS 3627 HAS SOUS 4161 HAS SOUPS 3078 WITH SCORE 3086.336
AT ITER 2206 NEW BEST:: SOT 15843 SOS 8312 HAS SOPS 3603 HAS SOUS 4154 HAS SOUPS 3071 WITH SCORE 3079.312
AT ITER 2232 NEW BEST:: SOT 15843 SOS 8297 HAS SOPS 3587 HAS SOUS 4149 HAS SOUPS 3066 WITH SCORE 3074.297
AT ITER 2272 NEW BEST:: SOT 15834 SOS 8288 HAS SOPS 3586 HAS SOUS 4148 HAS SOUPS 3065 WITH SCORE 3073.288
AT ITER 2286 NEW BEST:: SOT 15824 SOS 8278 HAS SOPS 3581 HAS SOUS 4142 HAS SOUPS 3060 WITH SCORE 3068.278
AT ITER 2297 NEW BEST:: SOT 15813 SOS 8285 HAS SOPS 3586 HAS SOUS 4130 HAS SOUPS 3047 WITH SCORE 3055.285
AT ITER 2373 NEW BEST:: SOT 15813 SOS 8230 HAS SOPS 3583 HAS SOUS 4126 HAS SOUPS 3045 WITH SCORE 3053.23
AT ITER 2427 NEW BEST:: SOT 15804 SOS 8276 HAS SOPS 3550 HAS SOUS 4145 HAS SOUPS 3038 WITH SCORE 3046.276
AT ITER 2486 NEW BEST:: SOT 15803 SOS 8275 HAS SOPS 3549 HAS SOUS 4144 HAS SOUPS 3037 WITH SCORE 3045.275
AT ITER 2489 NEW BEST:: SOT 15798 SOS 8288 HAS SOPS 3562 HAS SOUS 4143 HAS SOUPS 3036 WITH SCORE 3044.288
AT ITER 2565 NEW BEST:: SOT 15795 SOS 8284 HAS SOPS 3555 HAS SOUS 4141 HAS SOUPS 3034 WITH SCORE 3042.284
AT ITER 2575 NEW BEST:: SOT 15787 SOS 8268 HAS SOPS 3555 HAS SOUS 4141 HAS SOUPS 3034 WITH SCORE 3042.268
AT ITER 2588 NEW BEST:: SOT 15783 SOS 8268 HAS SOPS 3555 HAS SOUS 4140 HAS SOUPS 3033 WITH SCORE 3041.268
AT ITER 2614 NEW BEST:: SOT 15771 SOS 8259 HAS SOPS 3543 HAS SOUS 4128 HAS SOUPS 3021 WITH SCORE 3029.259
AT ITER 2645 NEW BEST:: SOT 15769 SOS 8258 HAS SOPS 3542 HAS SOUS 4124 HAS SOUPS 3017 WITH SCORE 3025.258
AT ITER 2647 NEW BEST:: SOT 15767 SOS 8256 HAS SOPS 3538 HAS SOUS 4110 HAS SOUPS 3003 WITH SCORE 3011.256
AT ITER 2657 NEW BEST:: SOT 15626 SOS 8082 HAS SOPS 3791 HAS SOUS 4097 HAS SOUPS 2997 WITH SCORE 3005.082
AT ITER 2661 NEW BEST:: SOT 15622 SOS 8082 HAS SOPS 3787 HAS SOUS 4089 HAS SOUPS 2989 WITH SCORE 2997.082
AT ITER 2738 NEW BEST:: SOT 15622 SOS 8079 HAS SOPS 3784 HAS SOUS 4089 HAS SOUPS 2989 WITH SCORE 2997.079
AT ITER 2754 NEW BEST:: SOT 15602 SOS 8059 HAS SOPS 3772 HAS SOUS 4089 HAS SOUPS 2989 WITH SCORE 2997.059
AT ITER 2778 NEW BEST:: SOT 15598 SOS 8053 HAS SOPS 3768 HAS SOUS 4087 HAS SOUPS 2987 WITH SCORE 2995.053
AT ITER 2779 NEW BEST:: SOT 15597 SOS 8052 HAS SOPS 3767 HAS SOUS 4086 HAS SOUPS 2986 WITH SCORE 2994.052
AT ITER 2800 NEW BEST:: SOT 15578 SOS 8063 HAS SOPS 3757 HAS SOUS 4101 HAS SOUPS 2981 WITH SCORE 2989.063
AT ITER 2812 NEW BEST:: SOT 15548 SOS 8028 HAS SOPS 3722 HAS SOUS 4066 HAS SOUPS 2946 WITH SCORE 2954.028
AT ITER 2831 NEW BEST:: SOT 15547 SOS 8034 HAS SOPS 3720 HAS SOUS 4065 HAS SOUPS 2944 WITH SCORE 2952.034
AT ITER 2887 NEW BEST:: SOT 15556 SOS 7914 HAS SOPS 3722 HAS SOUS 4052 HAS SOUPS 2942 WITH SCORE 2949.914
AT ITER 2905 NEW BEST:: SOT 15556 SOS 7913 HAS SOPS 3722 HAS SOUS 4051 HAS SOUPS 2942 WITH SCORE 2949.913
AT ITER 2918 NEW BEST:: SOT 15550 SOS 7913 HAS SOPS 3713 HAS SOUS 4056 HAS SOUPS 2941 WITH SCORE 2948.913
AT ITER 2927 NEW BEST:: SOT 15545 SOS 7905 HAS SOPS 3703 HAS SOUS 4049 HAS SOUPS 2934 WITH SCORE 2941.905
AT ITER 2930 NEW BEST:: SOT 15539 SOS 7904 HAS SOPS 3697 HAS SOUS 4043 HAS SOUPS 2928 WITH SCORE 2935.904
AT ITER 2985 NEW BEST:: SOT 15493 SOS 7858 HAS SOPS 3649 HAS SOUS 4030 HAS SOUPS 2915 WITH SCORE 2922.858
AT ITER 3037 NEW BEST:: SOT 15487 SOS 7849 HAS SOPS 3646 HAS SOUS 4030 HAS SOUPS 2915 WITH SCORE 2922.849
AT ITER 3112 NEW BEST:: SOT 15461 SOS 7816 HAS SOPS 3613 HAS SOUS 4017 HAS SOUPS 2902 WITH SCORE 2909.816
AT ITER 3150 NEW BEST:: SOT 15459 SOS 7814 HAS SOPS 3612 HAS SOUS 4016 HAS SOUPS 2901 WITH SCORE 2908.814
AT ITER 3161 NEW BEST:: SOT 15458 SOS 7813 HAS SOPS 3608 HAS SOUS 4012 HAS SOUPS 2897 WITH SCORE 2904.813
AT ITER 3182 NEW BEST:: SOT 15458 SOS 7806 HAS SOPS 3602 HAS SOUS 4012 HAS SOUPS 2897 WITH SCORE 2904.806
AT ITER 3234 NEW BEST:: SOT 15465 SOS 7750 HAS SOPS 3606 HAS SOUS 3984 HAS SOUPS 2894 WITH SCORE 2901.75
AT ITER 3237 NEW BEST:: SOT 15462 SOS 7744 HAS SOPS 3600 HAS SOUS 3978 HAS SOUPS 2888 WITH SCORE 2895.744
AT ITER 3242 NEW BEST:: SOT 15455 SOS 7737 HAS SOPS 3593 HAS SOUS 3971 HAS SOUPS 2881 WITH SCORE 2888.737
AT ITER 3250 NEW BEST:: SOT 15453 SOS 7750 HAS SOPS 3588 HAS SOUS 3976 HAS SOUPS 2880 WITH SCORE 2887.75
AT ITER 3256 NEW BEST:: SOT 15423 SOS 7719 HAS SOPS 3558 HAS SOUS 3946 HAS SOUPS 2850 WITH SCORE 2857.719
AT ITER 3264 NEW BEST:: SOT 15416 SOS 7931 HAS SOPS 3553 HAS SOUS 3951 HAS SOUPS 2847 WITH SCORE 2854.931
AT ITER 3278 NEW BEST:: SOT 15415 SOS 7931 HAS SOPS 3551 HAS SOUS 3951 HAS SOUPS 2845 WITH SCORE 2852.931
AT ITER 3336 NEW BEST:: SOT 15411 SOS 7926 HAS SOPS 3546 HAS SOUS 3949 HAS SOUPS 2843 WITH SCORE 2850.926
AT ITER 3372 NEW BEST:: SOT 15411 SOS 7930 HAS SOPS 3550 HAS SOUS 3947 HAS SOUPS 2841 WITH SCORE 2848.93
AT ITER 3377 NEW BEST:: SOT 15397 SOS 7932 HAS SOPS 3549 HAS SOUS 3946 HAS SOUPS 2840 WITH SCORE 2847.932
AT ITER 3393 NEW BEST:: SOT 15388 SOS 7923 HAS SOPS 3531 HAS SOUS 3942 HAS SOUPS 2836 WITH SCORE 2843.923
AT ITER 3458 NEW BEST:: SOT 15388 SOS 7919 HAS SOPS 3532 HAS SOUS 3939 HAS SOUPS 2835 WITH SCORE 2842.919
AT ITER 3466 NEW BEST:: SOT 15393 SOS 7914 HAS SOPS 3527 HAS SOUS 3939 HAS SOUPS 2835 WITH SCORE 2842.914
AT ITER 3524 NEW BEST:: SOT 15392 SOS 7913 HAS SOPS 3510 HAS SOUS 3933 HAS SOUPS 2829 WITH SCORE 2836.913
AT ITER 3529 NEW BEST:: SOT 15394 SOS 7913 HAS SOPS 3510 HAS SOUS 3928 HAS SOUPS 2824 WITH SCORE 2831.913
AT ITER 3595 NEW BEST:: SOT 15402 SOS 7915 HAS SOPS 3506 HAS SOUS 3924 HAS SOUPS 2820 WITH SCORE 2827.915
AT ITER 3608 NEW BEST:: SOT 15402 SOS 7922 HAS SOPS 3506 HAS SOUS 3917 HAS SOUPS 2813 WITH SCORE 2820.922
AT ITER 3614 NEW BEST:: SOT 15398 SOS 7896 HAS SOPS 3476 HAS SOUS 3892 HAS SOUPS 2788 WITH SCORE 2795.896
AT ITER 3622 NEW BEST:: SOT 15394 SOS 7891 HAS SOPS 3467 HAS SOUS 3887 HAS SOUPS 2783 WITH SCORE 2790.891
AT ITER 3636 NEW BEST:: SOT 15389 SOS 7887 HAS SOPS 3463 HAS SOUS 3883 HAS SOUPS 2779 WITH SCORE 2786.887
AT ITER 3663 NEW BEST:: SOT 15389 SOS 7887 HAS SOPS 3457 HAS SOUS 3875 HAS SOUPS 2771 WITH SCORE 2778.887
AT ITER 3694 NEW BEST:: SOT 15392 SOS 7894 HAS SOPS 3457 HAS SOUS 3873 HAS SOUPS 2769 WITH SCORE 2776.894
AT ITER 3721 NEW BEST:: SOT 15408 SOS 7904 HAS SOPS 3461 HAS SOUS 3869 HAS SOUPS 2765 WITH SCORE 2772.904
AT ITER 3734 NEW BEST:: SOT 15407 SOS 7903 HAS SOPS 3459 HAS SOUS 3867 HAS SOUPS 2763 WITH SCORE 2770.903
AT ITER 3741 NEW BEST:: SOT 15408 SOS 7981 HAS SOPS 3461 HAS SOUS 3870 HAS SOUPS 2761 WITH SCORE 2768.981
AT ITER 3747 NEW BEST:: SOT 15404 SOS 7963 HAS SOPS 3463 HAS SOUS 3874 HAS SOUPS 2759 WITH SCORE 2766.963
AT ITER 3818 NEW BEST:: SOT 15387 SOS 7963 HAS SOPS 3438 HAS SOUS 3840 HAS SOUPS 2725 WITH SCORE 2732.963
AT ITER 3845 NEW BEST:: SOT 15378 SOS 7950 HAS SOPS 3430 HAS SOUS 3835 HAS SOUPS 2720 WITH SCORE 2727.95
AT ITER 3850 NEW BEST:: SOT 15379 SOS 7962 HAS SOPS 3424 HAS SOUS 3829 HAS SOUPS 2714 WITH SCORE 2721.962
AT ITER 3868 NEW BEST:: SOT 15378 SOS 7880 HAS SOPS 3426 HAS SOUS 3823 HAS SOUPS 2711 WITH SCORE 2718.88
AT ITER 3992 NEW BEST:: SOT 15377 SOS 7875 HAS SOPS 3421 HAS SOUS 3820 HAS SOUPS 2708 WITH SCORE 2715.875
AT ITER 4023 NEW BEST:: SOT 15374 SOS 7858 HAS SOPS 3404 HAS SOUS 3814 HAS SOUPS 2702 WITH SCORE 2709.858
AT ITER 4049 NEW BEST:: SOT 15391 SOS 7881 HAS SOPS 3394 HAS SOUS 3804 HAS SOUPS 2692 WITH SCORE 2699.881
AT ITER 4069 NEW BEST:: SOT 15368 SOS 7868 HAS SOPS 3371 HAS SOUS 3781 HAS SOUPS 2669 WITH SCORE 2676.868
AT ITER 4086 NEW BEST:: SOT 15367 SOS 7868 HAS SOPS 3347 HAS SOUS 3789 HAS SOUPS 2663 WITH SCORE 2670.868
AT ITER 4160 NEW BEST:: SOT 15366 SOS 7867 HAS SOPS 3347 HAS SOUS 3789 HAS SOUPS 2663 WITH SCORE 2670.867
AT ITER 4315 NEW BEST:: SOT 15364 SOS 7862 HAS SOPS 3346 HAS SOUS 3786 HAS SOUPS 2662 WITH SCORE 2669.862
AT ITER 4344 NEW BEST:: SOT 15362 SOS 7859 HAS SOPS 3344 HAS SOUS 3784 HAS SOUPS 2660 WITH SCORE 2667.859
AT ITER 4376 NEW BEST:: SOT 15379 SOS 7962 HAS SOPS 3169 HAS SOUS 3809 HAS SOUPS 2659 WITH SCORE 2666.962
AT ITER 4381 NEW BEST:: SOT 15378 SOS 7959 HAS SOPS 3165 HAS SOUS 3805 HAS SOUPS 2655 WITH SCORE 2662.959
AT ITER 4401 NEW BEST:: SOT 15372 SOS 7977 HAS SOPS 3153 HAS SOUS 3801 HAS SOUPS 2637 WITH SCORE 2644.977
AT ITER 4658 NEW BEST:: SOT 15368 SOS 7974 HAS SOPS 3149 HAS SOUS 3796 HAS SOUPS 2632 WITH SCORE 2639.974
AT ITER 4753 NEW BEST:: SOT 15362 SOS 7968 HAS SOPS 3147 HAS SOUS 3794 HAS SOUPS 2630 WITH SCORE 2637.968
AT ITER 4758 NEW BEST:: SOT 15360 SOS 7967 HAS SOPS 3146 HAS SOUS 3793 HAS SOUPS 2628 WITH SCORE 2635.967
AT ITER 4847 NEW BEST:: SOT 15360 SOS 7966 HAS SOPS 3145 HAS SOUS 3793 HAS SOUPS 2628 WITH SCORE 2635.966
AT ITER 4874 NEW BEST:: SOT 15360 SOS 7976 HAS SOPS 3145 HAS SOUS 3793 HAS SOUPS 2627 WITH SCORE 2634.976
AT ITER 4875 NEW BEST:: SOT 15364 SOS 8012 HAS SOPS 3136 HAS SOUS 3802 HAS SOUPS 2618 WITH SCORE 2626.012
AT ITER 4880 NEW BEST:: SOT 15355 SOS 8011 HAS SOPS 3127 HAS SOUS 3807 HAS SOUPS 2615 WITH SCORE 2623.011
AT ITER 5009 NEW BEST:: SOT 15354 SOS 8011 HAS SOPS 3117 HAS SOUS 3797 HAS SOUPS 2605 WITH SCORE 2613.011
AT ITER 5098 NEW BEST:: SOT 15353 SOS 8011 HAS SOPS 3115 HAS SOUS 3795 HAS SOUPS 2603 WITH SCORE 2611.011
AT ITER 5110 NEW BEST:: SOT 15351 SOS 8009 HAS SOPS 3123 HAS SOUS 3794 HAS SOUPS 2602 WITH SCORE 2610.009
AT ITER 5193 NEW BEST:: SOT 15351 SOS 8008 HAS SOPS 3123 HAS SOUS 3794 HAS SOUPS 2602 WITH SCORE 2610.008
AT ITER 5349 NEW BEST:: SOT 15351 SOS 8003 HAS SOPS 3117 HAS SOUS 3792 HAS SOUPS 2600 WITH SCORE 2608.003
AT ITER 5365 NEW BEST:: SOT 15351 SOS 7989 HAS SOPS 3113 HAS SOUS 3784 HAS SOUPS 2592 WITH SCORE 2599.989
AT ITER 5391 NEW BEST:: SOT 15345 SOS 7982 HAS SOPS 3118 HAS SOUS 3777 HAS SOUPS 2592 WITH SCORE 2599.982
AT ITER 5527 NEW BEST:: SOT 15340 SOS 7969 HAS SOPS 3110 HAS SOUS 3769 HAS SOUPS 2584 WITH SCORE 2591.969
AT ITER 5565 NEW BEST:: SOT 15331 SOS 7951 HAS SOPS 3101 HAS SOUS 3766 HAS SOUPS 2584 WITH SCORE 2591.951
AT ITER 5632 NEW BEST:: SOT 15330 SOS 7947 HAS SOPS 3097 HAS SOUS 3765 HAS SOUPS 2583 WITH SCORE 2590.947
AT ITER 5657 NEW BEST:: SOT 15329 SOS 7961 HAS SOPS 3089 HAS SOUS 3763 HAS SOUPS 2575 WITH SCORE 2582.961
AT ITER 5718 NEW BEST:: SOT 15329 SOS 7961 HAS SOPS 3081 HAS SOUS 3755 HAS SOUPS 2567 WITH SCORE 2574.961
AT ITER 5745 NEW BEST:: SOT 15328 SOS 7960 HAS SOPS 3067 HAS SOUS 3751 HAS SOUPS 2562 WITH SCORE 2569.96
AT ITER 5768 NEW BEST:: SOT 15327 SOS 7959 HAS SOPS 3066 HAS SOUS 3750 HAS SOUPS 2561 WITH SCORE 2568.959
AT ITER 5770 NEW BEST:: SOT 15325 SOS 7957 HAS SOPS 3064 HAS SOUS 3748 HAS SOUPS 2559 WITH SCORE 2566.957
AT ITER 5823 NEW BEST:: SOT 15321 SOS 7953 HAS SOPS 3062 HAS SOUS 3746 HAS SOUPS 2557 WITH SCORE 2564.953
AT ITER 5949 NEW BEST:: SOT 15320 SOS 7952 HAS SOPS 3061 HAS SOUS 3744 HAS SOUPS 2555 WITH SCORE 2562.952
AT ITER 5989 NEW BEST:: SOT 15320 SOS 7952 HAS SOPS 3061 HAS SOUS 3743 HAS SOUPS 2554 WITH SCORE 2561.952
AT ITER 5993 NEW BEST:: SOT 15320 SOS 7953 HAS SOPS 3061 HAS SOUS 3742 HAS SOUPS 2553 WITH SCORE 2560.953
AT ITER 5995 NEW BEST:: SOT 15319 SOS 7952 HAS SOPS 3060 HAS SOUS 3743 HAS SOUPS 2552 WITH SCORE 2559.952
AT ITER 6023 NEW BEST:: SOT 15314 SOS 7946 HAS SOPS 3055 HAS SOUS 3743 HAS SOUPS 2552 WITH SCORE 2559.946
AT ITER 6040 NEW BEST:: SOT 15311 SOS 7965 HAS SOPS 3047 HAS SOUS 3740 HAS SOUPS 2546 WITH SCORE 2553.965
AT ITER 6705 NEW BEST:: SOT 15305 SOS 7959 HAS SOPS 3018 HAS SOUS 3705 HAS SOUPS 2494 WITH SCORE 2501.959
AT ITER 6771 NEW BEST:: SOT 15304 SOS 7961 HAS SOPS 3017 HAS SOUS 3704 HAS SOUPS 2493 WITH SCORE 2500.961
AT ITER 6850 NEW BEST:: SOT 15304 SOS 8005 HAS SOPS 3016 HAS SOUS 3705 HAS SOUPS 2491 WITH SCORE 2499.005
AT ITER 6909 NEW BEST:: SOT 15299 SOS 7999 HAS SOPS 3011 HAS SOUS 3700 HAS SOUPS 2486 WITH SCORE 2493.999
AT ITER 6921 NEW BEST:: SOT 15297 SOS 7990 HAS SOPS 3012 HAS SOUS 3702 HAS SOUPS 2485 WITH SCORE 2492.99
AT ITER 7033 NEW BEST:: SOT 15297 SOS 7994 HAS SOPS 3004 HAS SOUS 3694 HAS SOUPS 2473 WITH SCORE 2480.994
AT ITER 7208 NEW BEST:: SOT 15298 SOS 8108 HAS SOPS 3006 HAS SOUS 3692 HAS SOUPS 2467 WITH SCORE 2475.108
AT ITER 7236 NEW BEST:: SOT 15301 SOS 8112 HAS SOPS 3004 HAS SOUS 3691 HAS SOUPS 2466 WITH SCORE 2474.112
AT ITER 7322 NEW BEST:: SOT 15300 SOS 8112 HAS SOPS 3002 HAS SOUS 3690 HAS SOUPS 2464 WITH SCORE 2472.112
AT ITER 7453 NEW BEST:: SOT 15291 SOS 8103 HAS SOPS 2986 HAS SOUS 3672 HAS SOUPS 2447 WITH SCORE 2455.103
AT ITER 7709 NEW BEST:: SOT 15291 SOS 8100 HAS SOPS 2983 HAS SOUS 3672 HAS SOUPS 2447 WITH SCORE 2455.1
AT ITER 7715 NEW BEST:: SOT 15290 SOS 8098 HAS SOPS 2981 HAS SOUS 3670 HAS SOUPS 2445 WITH SCORE 2453.098
AT ITER 7950 NEW BEST:: SOT 15289 SOS 8096 HAS SOPS 2979 HAS SOUS 3668 HAS SOUPS 2443 WITH SCORE 2451.096
AT ITER 8085 NEW BEST:: SOT 15288 SOS 8091 HAS SOPS 2977 HAS SOUS 3663 HAS SOUPS 2441 WITH SCORE 2449.091
AT ITER 8410 NEW BEST:: SOT 15278 SOS 8092 HAS SOPS 2981 HAS SOUS 3661 HAS SOUPS 2439 WITH SCORE 2447.092
AT ITER 8414 NEW BEST:: SOT 15276 SOS 8090 HAS SOPS 2979 HAS SOUS 3659 HAS SOUPS 2437 WITH SCORE 2445.09
AT ITER 8440 NEW BEST:: SOT 15283 SOS 8076 HAS SOPS 2965 HAS SOUS 3655 HAS SOUPS 2433 WITH SCORE 2441.076
AT ITER 8514 NEW BEST:: SOT 15286 SOS 8075 HAS SOPS 2962 HAS SOUS 3655 HAS SOUPS 2433 WITH SCORE 2441.075
AT ITER 8532 NEW BEST:: SOT 15286 SOS 8069 HAS SOPS 2953 HAS SOUS 3652 HAS SOUPS 2430 WITH SCORE 2438.069
AT ITER 8780 NEW BEST:: SOT 15284 SOS 8059 HAS SOPS 2951 HAS SOUS 3652 HAS SOUPS 2430 WITH SCORE 2438.059
AT ITER 8989 NEW BEST:: SOT 15283 SOS 8060 HAS SOPS 2953 HAS SOUS 3649 HAS SOUPS 2427 WITH SCORE 2435.06
AT ITER 9086 NEW BEST:: SOT 15283 SOS 8048 HAS SOPS 2952 HAS SOUS 3647 HAS SOUPS 2426 WITH SCORE 2434.048
AT ITER 9186 NEW BEST:: SOT 15286 SOS 7928 HAS SOPS 2947 HAS SOUS 3639 HAS SOUPS 2426 WITH SCORE 2433.928
AT ITER 9389 NEW BEST:: SOT 15280 SOS 7923 HAS SOPS 2941 HAS SOUS 3633 HAS SOUPS 2419 WITH SCORE 2426.923
AT ITER 9604 NEW BEST:: SOT 15286 SOS 7929 HAS SOPS 2923 HAS SOUS 3628 HAS SOUPS 2414 WITH SCORE 2421.929
AT ITER 9648 NEW BEST:: SOT 15283 SOS 7901 HAS SOPS 2920 HAS SOUS 3629 HAS SOUPS 2412 WITH SCORE 2419.901
AT ITER 9751 NEW BEST:: SOT 15283 SOS 7900 HAS SOPS 2920 HAS SOUS 3629 HAS SOUPS 2412 WITH SCORE 2419.9
AT ITER 9771 NEW BEST:: SOT 15282 SOS 7899 HAS SOPS 2920 HAS SOUS 3630 HAS SOUPS 2412 WITH SCORE 2419.899
STATE_SPACE STATES 31265 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 93795 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1680811326175

--------------------
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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="EisenbergMcGuire-PT-03"
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 EisenbergMcGuire-PT-03, 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 r523-tall-167987247800224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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