Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697200704.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CANInsertWithFailure-PT-005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697200704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 8.7K Feb 26 00:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 00:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 00:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 00:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 00:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 00:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 00:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 00:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 202K 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 1678800658426

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=CANInsertWithFailure-PT-005
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 13:31:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 13:31:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 13:31:00] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-14 13:31:00] [INFO ] Transformed 114 places.
[2023-03-14 13:31:00] [INFO ] Transformed 180 transitions.
[2023-03-14 13:31:00] [INFO ] Parsed PT model containing 114 places and 180 transitions and 500 arcs in 128 ms.
[2023-03-14 13:31:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 114 places, 180 transitions and 500 arcs took 4 ms.
Total runtime 175 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANInsertWithFailure (PT), instance 005
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: 114 places, 180 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 13027 SOS 7725 HAS SOPS 7724 HAS SOUS 6018 HAS SOUPS 6017 WITH SCORE 6024.725
AT ITER 1 NEW BEST:: SOT 12974 SOS 7509 HAS SOPS 7508 HAS SOUS 5883 HAS SOUPS 5882 WITH SCORE 5889.509
AT ITER 2 NEW BEST:: SOT 12946 SOS 7468 HAS SOPS 7467 HAS SOUS 5848 HAS SOUPS 5847 WITH SCORE 5854.468
AT ITER 3 NEW BEST:: SOT 12875 SOS 7481 HAS SOPS 7438 HAS SOUS 5823 HAS SOUPS 5797 WITH SCORE 5804.481
AT ITER 5 NEW BEST:: SOT 12903 SOS 7510 HAS SOPS 7468 HAS SOUS 5800 HAS SOUPS 5774 WITH SCORE 5781.51
AT ITER 6 NEW BEST:: SOT 12881 SOS 7477 HAS SOPS 7435 HAS SOUS 5770 HAS SOUPS 5744 WITH SCORE 5751.477
AT ITER 9 NEW BEST:: SOT 12862 SOS 7460 HAS SOPS 7418 HAS SOUS 5750 HAS SOUPS 5724 WITH SCORE 5731.46
AT ITER 15 NEW BEST:: SOT 12721 SOS 7421 HAS SOPS 7363 HAS SOUS 5688 HAS SOUPS 5652 WITH SCORE 5659.421
AT ITER 19 NEW BEST:: SOT 12733 SOS 7454 HAS SOPS 7406 HAS SOUS 5657 HAS SOUPS 5625 WITH SCORE 5632.454
AT ITER 27 NEW BEST:: SOT 12732 SOS 7452 HAS SOPS 7404 HAS SOUS 5655 HAS SOUPS 5623 WITH SCORE 5630.452
AT ITER 33 NEW BEST:: SOT 12721 SOS 7380 HAS SOPS 7332 HAS SOUS 5583 HAS SOUPS 5551 WITH SCORE 5558.38
AT ITER 35 NEW BEST:: SOT 12694 SOS 7581 HAS SOPS 7368 HAS SOUS 5595 HAS SOUPS 5518 WITH SCORE 5525.581
AT ITER 38 NEW BEST:: SOT 12713 SOS 7565 HAS SOPS 7352 HAS SOUS 5576 HAS SOUPS 5499 WITH SCORE 5506.565
AT ITER 40 NEW BEST:: SOT 12712 SOS 7563 HAS SOPS 7350 HAS SOUS 5574 HAS SOUPS 5497 WITH SCORE 5504.563
AT ITER 46 NEW BEST:: SOT 12673 SOS 7516 HAS SOPS 7303 HAS SOUS 5535 HAS SOUPS 5458 WITH SCORE 5465.516
AT ITER 52 NEW BEST:: SOT 12683 SOS 7435 HAS SOPS 7212 HAS SOUS 5448 HAS SOUPS 5367 WITH SCORE 5374.435
AT ITER 59 NEW BEST:: SOT 12620 SOS 7282 HAS SOPS 7019 HAS SOUS 5378 HAS SOUPS 5292 WITH SCORE 5299.282
AT ITER 63 NEW BEST:: SOT 12768 SOS 7310 HAS SOPS 6891 HAS SOUS 5235 HAS SOUPS 5112 WITH SCORE 5119.31
AT ITER 64 NEW BEST:: SOT 12765 SOS 7304 HAS SOPS 6885 HAS SOUS 5232 HAS SOUPS 5109 WITH SCORE 5116.304
AT ITER 71 NEW BEST:: SOT 12758 SOS 7297 HAS SOPS 6871 HAS SOUS 5223 HAS SOUPS 5095 WITH SCORE 5102.297
AT ITER 78 NEW BEST:: SOT 12830 SOS 7149 HAS SOPS 6723 HAS SOUS 5217 HAS SOUPS 5089 WITH SCORE 5096.149
AT ITER 85 NEW BEST:: SOT 12828 SOS 7147 HAS SOPS 6721 HAS SOUS 5215 HAS SOUPS 5087 WITH SCORE 5094.147
AT ITER 88 NEW BEST:: SOT 12868 SOS 7096 HAS SOPS 6657 HAS SOUS 5153 HAS SOUPS 5012 WITH SCORE 5019.096
AT ITER 89 NEW BEST:: SOT 12868 SOS 7067 HAS SOPS 6624 HAS SOUS 5123 HAS SOUPS 4982 WITH SCORE 4989.067
AT ITER 90 NEW BEST:: SOT 12746 SOS 6970 HAS SOPS 6518 HAS SOUS 5010 HAS SOUPS 4865 WITH SCORE 4871.97
AT ITER 91 NEW BEST:: SOT 12732 SOS 6942 HAS SOPS 6503 HAS SOUS 4982 HAS SOUPS 4850 WITH SCORE 4856.942
AT ITER 92 NEW BEST:: SOT 12731 SOS 6938 HAS SOPS 6500 HAS SOUS 4980 HAS SOUPS 4848 WITH SCORE 4854.938
AT ITER 96 NEW BEST:: SOT 12743 SOS 6950 HAS SOPS 6512 HAS SOUS 4968 HAS SOUPS 4836 WITH SCORE 4842.95
AT ITER 97 NEW BEST:: SOT 12742 SOS 6946 HAS SOPS 6511 HAS SOUS 4965 HAS SOUPS 4834 WITH SCORE 4840.946
AT ITER 98 NEW BEST:: SOT 12771 SOS 6925 HAS SOPS 6474 HAS SOUS 4928 HAS SOUPS 4797 WITH SCORE 4803.925
AT ITER 114 NEW BEST:: SOT 12769 SOS 6922 HAS SOPS 6471 HAS SOUS 4924 HAS SOUPS 4793 WITH SCORE 4799.922
AT ITER 117 NEW BEST:: SOT 12789 SOS 7094 HAS SOPS 6503 HAS SOUS 4944 HAS SOUPS 4773 WITH SCORE 4780.094
AT ITER 127 NEW BEST:: SOT 12856 SOS 7122 HAS SOPS 6531 HAS SOUS 4920 HAS SOUPS 4749 WITH SCORE 4756.122
AT ITER 130 NEW BEST:: SOT 12851 SOS 7111 HAS SOPS 6520 HAS SOUS 4909 HAS SOUPS 4738 WITH SCORE 4745.111
AT ITER 152 NEW BEST:: SOT 12845 SOS 7102 HAS SOPS 6477 HAS SOUS 4922 HAS SOUPS 4729 WITH SCORE 4736.102
AT ITER 154 NEW BEST:: SOT 12828 SOS 7068 HAS SOPS 6458 HAS SOUS 4903 HAS SOUPS 4710 WITH SCORE 4717.068
AT ITER 155 NEW BEST:: SOT 12841 SOS 7028 HAS SOPS 6451 HAS SOUS 4896 HAS SOUPS 4703 WITH SCORE 4710.028
AT ITER 160 NEW BEST:: SOT 12840 SOS 7026 HAS SOPS 6449 HAS SOUS 4894 HAS SOUPS 4701 WITH SCORE 4708.026
AT ITER 161 NEW BEST:: SOT 12818 SOS 7005 HAS SOPS 6428 HAS SOUS 4873 HAS SOUPS 4680 WITH SCORE 4687.005
AT ITER 162 NEW BEST:: SOT 12878 SOS 7039 HAS SOPS 6454 HAS SOUS 4857 HAS SOUPS 4664 WITH SCORE 4671.039
AT ITER 168 NEW BEST:: SOT 12840 SOS 6787 HAS SOPS 6388 HAS SOUS 4789 HAS SOUPS 4642 WITH SCORE 4648.787
AT ITER 169 NEW BEST:: SOT 12829 SOS 6777 HAS SOPS 6367 HAS SOUS 4781 HAS SOUPS 4634 WITH SCORE 4640.777
AT ITER 181 NEW BEST:: SOT 12803 SOS 6751 HAS SOPS 6341 HAS SOUS 4768 HAS SOUPS 4621 WITH SCORE 4627.751
AT ITER 192 NEW BEST:: SOT 12800 SOS 6745 HAS SOPS 6338 HAS SOUS 4765 HAS SOUPS 4618 WITH SCORE 4624.745
AT ITER 199 NEW BEST:: SOT 12800 SOS 6733 HAS SOPS 6326 HAS SOUS 4765 HAS SOUPS 4618 WITH SCORE 4624.733
AT ITER 200 NEW BEST:: SOT 12830 SOS 6643 HAS SOPS 6236 HAS SOUS 4753 HAS SOUPS 4606 WITH SCORE 4612.643
AT ITER 209 NEW BEST:: SOT 12829 SOS 6641 HAS SOPS 6236 HAS SOUS 4753 HAS SOUPS 4606 WITH SCORE 4612.641
AT ITER 214 NEW BEST:: SOT 12815 SOS 6704 HAS SOPS 6215 HAS SOUS 4757 HAS SOUPS 4592 WITH SCORE 4598.704
AT ITER 221 NEW BEST:: SOT 12810 SOS 6699 HAS SOPS 6210 HAS SOUS 4752 HAS SOUPS 4587 WITH SCORE 4593.699
AT ITER 222 NEW BEST:: SOT 12674 SOS 6730 HAS SOPS 6213 HAS SOUS 4735 HAS SOUPS 4570 WITH SCORE 4576.73
AT ITER 223 NEW BEST:: SOT 12672 SOS 6705 HAS SOPS 6216 HAS SOUS 4728 HAS SOUPS 4570 WITH SCORE 4576.705
AT ITER 226 NEW BEST:: SOT 12666 SOS 6699 HAS SOPS 6210 HAS SOUS 4725 HAS SOUPS 4567 WITH SCORE 4573.699
AT ITER 228 NEW BEST:: SOT 12664 SOS 6684 HAS SOPS 6195 HAS SOUS 4715 HAS SOUPS 4557 WITH SCORE 4563.684
AT ITER 239 NEW BEST:: SOT 12660 SOS 6689 HAS SOPS 6200 HAS SOUS 4707 HAS SOUPS 4549 WITH SCORE 4555.689
AT ITER 244 NEW BEST:: SOT 12642 SOS 6674 HAS SOPS 6185 HAS SOUS 4707 HAS SOUPS 4549 WITH SCORE 4555.674
AT ITER 246 NEW BEST:: SOT 12608 SOS 6629 HAS SOPS 6137 HAS SOUS 4673 HAS SOUPS 4515 WITH SCORE 4521.629
AT ITER 255 NEW BEST:: SOT 12551 SOS 6515 HAS SOPS 6024 HAS SOUS 4641 HAS SOUPS 4483 WITH SCORE 4489.515
AT ITER 257 NEW BEST:: SOT 12547 SOS 6508 HAS SOPS 6016 HAS SOUS 4633 HAS SOUPS 4475 WITH SCORE 4481.508
AT ITER 259 NEW BEST:: SOT 12556 SOS 6488 HAS SOPS 5996 HAS SOUS 4626 HAS SOUPS 4468 WITH SCORE 4474.488
AT ITER 260 NEW BEST:: SOT 12483 SOS 6494 HAS SOPS 6002 HAS SOUS 4618 HAS SOUPS 4460 WITH SCORE 4466.494
AT ITER 263 NEW BEST:: SOT 12229 SOS 6261 HAS SOPS 5769 HAS SOUS 4544 HAS SOUPS 4386 WITH SCORE 4392.261
AT ITER 275 NEW BEST:: SOT 12222 SOS 6248 HAS SOPS 5755 HAS SOUS 4538 HAS SOUPS 4380 WITH SCORE 4386.248
AT ITER 284 NEW BEST:: SOT 12226 SOS 6274 HAS SOPS 5753 HAS SOUS 4543 HAS SOUPS 4378 WITH SCORE 4384.274
AT ITER 293 NEW BEST:: SOT 12194 SOS 6079 HAS SOPS 5727 HAS SOUS 4508 HAS SOUPS 4370 WITH SCORE 4376.079
AT ITER 296 NEW BEST:: SOT 12193 SOS 6076 HAS SOPS 5721 HAS SOUS 4504 HAS SOUPS 4366 WITH SCORE 4372.076
AT ITER 300 NEW BEST:: SOT 12199 SOS 6091 HAS SOPS 5736 HAS SOUS 4501 HAS SOUPS 4363 WITH SCORE 4369.091
AT ITER 302 NEW BEST:: SOT 12176 SOS 6050 HAS SOPS 5695 HAS SOUS 4460 HAS SOUPS 4322 WITH SCORE 4328.05
AT ITER 305 NEW BEST:: SOT 12178 SOS 6051 HAS SOPS 5696 HAS SOUS 4459 HAS SOUPS 4321 WITH SCORE 4327.051
AT ITER 311 NEW BEST:: SOT 12147 SOS 6020 HAS SOPS 5665 HAS SOUS 4428 HAS SOUPS 4290 WITH SCORE 4296.02
AT ITER 321 NEW BEST:: SOT 12122 SOS 5972 HAS SOPS 5617 HAS SOUS 4380 HAS SOUPS 4242 WITH SCORE 4247.972
AT ITER 322 NEW BEST:: SOT 12173 SOS 6003 HAS SOPS 5648 HAS SOUS 4372 HAS SOUPS 4234 WITH SCORE 4240.003
AT ITER 323 NEW BEST:: SOT 12150 SOS 5975 HAS SOPS 5623 HAS SOUS 4344 HAS SOUPS 4209 WITH SCORE 4214.975
AT ITER 325 NEW BEST:: SOT 12142 SOS 6042 HAS SOPS 5622 HAS SOUS 4306 HAS SOUPS 4141 WITH SCORE 4147.042
AT ITER 335 NEW BEST:: SOT 12138 SOS 5989 HAS SOPS 5569 HAS SOUS 4268 HAS SOUPS 4103 WITH SCORE 4108.989
AT ITER 347 NEW BEST:: SOT 12104 SOS 5951 HAS SOPS 5531 HAS SOUS 4208 HAS SOUPS 4043 WITH SCORE 4048.951
AT ITER 349 NEW BEST:: SOT 12068 SOS 5915 HAS SOPS 5477 HAS SOUS 4190 HAS SOUPS 4007 WITH SCORE 4012.915
AT ITER 351 NEW BEST:: SOT 12048 SOS 5855 HAS SOPS 5417 HAS SOUS 4190 HAS SOUPS 4007 WITH SCORE 4012.855
AT ITER 358 NEW BEST:: SOT 12046 SOS 5851 HAS SOPS 5413 HAS SOUS 4190 HAS SOUPS 4007 WITH SCORE 4012.851
AT ITER 362 NEW BEST:: SOT 12046 SOS 5848 HAS SOPS 5407 HAS SOUS 4190 HAS SOUPS 4004 WITH SCORE 4009.848
AT ITER 366 NEW BEST:: SOT 12028 SOS 5823 HAS SOPS 5385 HAS SOUS 4168 HAS SOUPS 3982 WITH SCORE 3987.823
AT ITER 387 NEW BEST:: SOT 12034 SOS 5813 HAS SOPS 5375 HAS SOUS 4146 HAS SOUPS 3960 WITH SCORE 3965.813
AT ITER 389 NEW BEST:: SOT 12035 SOS 5817 HAS SOPS 5375 HAS SOUS 4146 HAS SOUPS 3959 WITH SCORE 3964.817
AT ITER 395 NEW BEST:: SOT 11973 SOS 5798 HAS SOPS 5302 HAS SOUS 4130 HAS SOUPS 3943 WITH SCORE 3948.798
AT ITER 399 NEW BEST:: SOT 11973 SOS 5792 HAS SOPS 5296 HAS SOUS 4118 HAS SOUPS 3931 WITH SCORE 3936.792
AT ITER 404 NEW BEST:: SOT 11963 SOS 5874 HAS SOPS 5286 HAS SOUS 4094 HAS SOUPS 3885 WITH SCORE 3890.874
AT ITER 417 NEW BEST:: SOT 11963 SOS 5871 HAS SOPS 5283 HAS SOUS 4094 HAS SOUPS 3885 WITH SCORE 3890.871
AT ITER 428 NEW BEST:: SOT 11960 SOS 5872 HAS SOPS 5279 HAS SOUS 4090 HAS SOUPS 3881 WITH SCORE 3886.872
AT ITER 430 NEW BEST:: SOT 11879 SOS 5759 HAS SOPS 5166 HAS SOUS 4000 HAS SOUPS 3791 WITH SCORE 3796.759
AT ITER 445 NEW BEST:: SOT 11872 SOS 5745 HAS SOPS 5142 HAS SOUS 3979 HAS SOUPS 3770 WITH SCORE 3775.745
AT ITER 478 NEW BEST:: SOT 11869 SOS 5740 HAS SOPS 5137 HAS SOUS 3974 HAS SOUPS 3765 WITH SCORE 3770.74
AT ITER 481 NEW BEST:: SOT 11869 SOS 5723 HAS SOPS 5120 HAS SOUS 3971 HAS SOUPS 3762 WITH SCORE 3767.723
AT ITER 498 NEW BEST:: SOT 11889 SOS 5750 HAS SOPS 5137 HAS SOUS 3966 HAS SOUPS 3757 WITH SCORE 3762.75
AT ITER 506 NEW BEST:: SOT 11890 SOS 5751 HAS SOPS 5135 HAS SOUS 3967 HAS SOUPS 3755 WITH SCORE 3760.751
AT ITER 510 NEW BEST:: SOT 11892 SOS 5687 HAS SOPS 5111 HAS SOUS 3963 HAS SOUPS 3751 WITH SCORE 3756.687
AT ITER 513 NEW BEST:: SOT 11927 SOS 5760 HAS SOPS 5184 HAS SOUS 3959 HAS SOUPS 3747 WITH SCORE 3752.76
AT ITER 516 NEW BEST:: SOT 11927 SOS 5754 HAS SOPS 5178 HAS SOUS 3953 HAS SOUPS 3741 WITH SCORE 3746.754
AT ITER 531 NEW BEST:: SOT 11921 SOS 5746 HAS SOPS 5170 HAS SOUS 3947 HAS SOUPS 3735 WITH SCORE 3740.746
AT ITER 552 NEW BEST:: SOT 11943 SOS 5791 HAS SOPS 5215 HAS SOUS 3927 HAS SOUPS 3715 WITH SCORE 3720.791
AT ITER 570 NEW BEST:: SOT 11941 SOS 5784 HAS SOPS 5208 HAS SOUS 3925 HAS SOUPS 3713 WITH SCORE 3718.784
AT ITER 578 NEW BEST:: SOT 11913 SOS 5742 HAS SOPS 5166 HAS SOUS 3890 HAS SOUPS 3678 WITH SCORE 3683.742
AT ITER 586 NEW BEST:: SOT 11899 SOS 5774 HAS SOPS 5182 HAS SOUS 3866 HAS SOUPS 3654 WITH SCORE 3659.774
AT ITER 588 NEW BEST:: SOT 11689 SOS 5762 HAS SOPS 5126 HAS SOUS 3858 HAS SOUPS 3646 WITH SCORE 3651.762
AT ITER 593 NEW BEST:: SOT 11688 SOS 5760 HAS SOPS 5125 HAS SOUS 3857 HAS SOUPS 3645 WITH SCORE 3650.76
AT ITER 600 NEW BEST:: SOT 11686 SOS 5748 HAS SOPS 5113 HAS SOUS 3841 HAS SOUPS 3629 WITH SCORE 3634.748
AT ITER 602 NEW BEST:: SOT 11673 SOS 5759 HAS SOPS 5106 HAS SOUS 3838 HAS SOUPS 3620 WITH SCORE 3625.759
AT ITER 619 NEW BEST:: SOT 11701 SOS 5880 HAS SOPS 5075 HAS SOUS 3892 HAS SOUPS 3619 WITH SCORE 3624.88
AT ITER 621 NEW BEST:: SOT 11703 SOS 5804 HAS SOPS 4999 HAS SOUS 3859 HAS SOUPS 3586 WITH SCORE 3591.804
AT ITER 624 NEW BEST:: SOT 11701 SOS 5802 HAS SOPS 4997 HAS SOUS 3857 HAS SOUPS 3584 WITH SCORE 3589.802
AT ITER 631 NEW BEST:: SOT 11631 SOS 5729 HAS SOPS 4891 HAS SOUS 3788 HAS SOUPS 3508 WITH SCORE 3513.729
AT ITER 644 NEW BEST:: SOT 11626 SOS 5714 HAS SOPS 4876 HAS SOUS 3778 HAS SOUPS 3498 WITH SCORE 3503.714
AT ITER 659 NEW BEST:: SOT 11592 SOS 5591 HAS SOPS 4861 HAS SOUS 3739 HAS SOUPS 3486 WITH SCORE 3491.591
AT ITER 670 NEW BEST:: SOT 11584 SOS 5576 HAS SOPS 4852 HAS SOUS 3727 HAS SOUPS 3480 WITH SCORE 3485.576
AT ITER 682 NEW BEST:: SOT 11585 SOS 5687 HAS SOPS 4781 HAS SOUS 3683 HAS SOUPS 3399 WITH SCORE 3404.687
AT ITER 687 NEW BEST:: SOT 11581 SOS 5683 HAS SOPS 4781 HAS SOUS 3682 HAS SOUPS 3399 WITH SCORE 3404.683
AT ITER 700 NEW BEST:: SOT 11564 SOS 5665 HAS SOPS 4763 HAS SOUS 3669 HAS SOUPS 3386 WITH SCORE 3391.665
AT ITER 703 NEW BEST:: SOT 11570 SOS 5679 HAS SOPS 4767 HAS SOUS 3665 HAS SOUPS 3382 WITH SCORE 3387.679
AT ITER 704 NEW BEST:: SOT 11570 SOS 5676 HAS SOPS 4764 HAS SOUS 3664 HAS SOUPS 3381 WITH SCORE 3386.676
AT ITER 728 NEW BEST:: SOT 11540 SOS 5647 HAS SOPS 4735 HAS SOUS 3644 HAS SOUPS 3361 WITH SCORE 3366.647
AT ITER 732 NEW BEST:: SOT 11516 SOS 5611 HAS SOPS 4699 HAS SOUS 3608 HAS SOUPS 3325 WITH SCORE 3330.611
AT ITER 742 NEW BEST:: SOT 11505 SOS 5586 HAS SOPS 4674 HAS SOUS 3583 HAS SOUPS 3300 WITH SCORE 3305.586
AT ITER 743 NEW BEST:: SOT 11505 SOS 5555 HAS SOPS 4673 HAS SOUS 3567 HAS SOUPS 3299 WITH SCORE 3304.555
AT ITER 750 NEW BEST:: SOT 11592 SOS 5290 HAS SOPS 4408 HAS SOUS 3514 HAS SOUPS 3246 WITH SCORE 3251.29
AT ITER 751 NEW BEST:: SOT 11599 SOS 5277 HAS SOPS 4395 HAS SOUS 3501 HAS SOUPS 3233 WITH SCORE 3238.277
AT ITER 772 NEW BEST:: SOT 11592 SOS 5270 HAS SOPS 4392 HAS SOUS 3494 HAS SOUPS 3230 WITH SCORE 3235.27
AT ITER 776 NEW BEST:: SOT 11627 SOS 5302 HAS SOPS 4431 HAS SOUS 3471 HAS SOUPS 3223 WITH SCORE 3228.302
AT ITER 784 NEW BEST:: SOT 11579 SOS 5230 HAS SOPS 4359 HAS SOUS 3435 HAS SOUPS 3187 WITH SCORE 3192.23
AT ITER 786 NEW BEST:: SOT 11560 SOS 5197 HAS SOPS 4326 HAS SOUS 3402 HAS SOUPS 3154 WITH SCORE 3159.197
AT ITER 789 NEW BEST:: SOT 11500 SOS 5059 HAS SOPS 4169 HAS SOUS 3393 HAS SOUPS 3145 WITH SCORE 3150.059
AT ITER 798 NEW BEST:: SOT 11488 SOS 5041 HAS SOPS 4145 HAS SOUS 3369 HAS SOUPS 3121 WITH SCORE 3126.041
AT ITER 803 NEW BEST:: SOT 11490 SOS 5025 HAS SOPS 4129 HAS SOUS 3362 HAS SOUPS 3114 WITH SCORE 3119.025
AT ITER 807 NEW BEST:: SOT 11515 SOS 5051 HAS SOPS 4109 HAS SOUS 3327 HAS SOUPS 3063 WITH SCORE 3068.051
AT ITER 829 NEW BEST:: SOT 11531 SOS 4988 HAS SOPS 4052 HAS SOUS 3318 HAS SOUPS 3054 WITH SCORE 3058.988
AT ITER 830 NEW BEST:: SOT 11530 SOS 4990 HAS SOPS 4054 HAS SOUS 3308 HAS SOUPS 3044 WITH SCORE 3048.99
AT ITER 837 NEW BEST:: SOT 11518 SOS 4914 HAS SOPS 3978 HAS SOUS 3291 HAS SOUPS 3027 WITH SCORE 3031.914
AT ITER 846 NEW BEST:: SOT 11487 SOS 4872 HAS SOPS 3956 HAS SOUS 3283 HAS SOUPS 3020 WITH SCORE 3024.872
AT ITER 850 NEW BEST:: SOT 11481 SOS 4886 HAS SOPS 3932 HAS SOUS 3277 HAS SOUPS 3008 WITH SCORE 3012.886
AT ITER 855 NEW BEST:: SOT 11489 SOS 4854 HAS SOPS 3900 HAS SOUS 3277 HAS SOUPS 3008 WITH SCORE 3012.854
AT ITER 876 NEW BEST:: SOT 11472 SOS 4837 HAS SOPS 3866 HAS SOUS 3243 HAS SOUPS 2967 WITH SCORE 2971.837
AT ITER 884 NEW BEST:: SOT 11463 SOS 4819 HAS SOPS 3845 HAS SOUS 3231 HAS SOUPS 2955 WITH SCORE 2959.819
AT ITER 898 NEW BEST:: SOT 11459 SOS 4815 HAS SOPS 3837 HAS SOUS 3224 HAS SOUPS 2947 WITH SCORE 2951.815
AT ITER 900 NEW BEST:: SOT 11451 SOS 4810 HAS SOPS 3825 HAS SOUS 3212 HAS SOUPS 2935 WITH SCORE 2939.81
AT ITER 918 NEW BEST:: SOT 11427 SOS 4773 HAS SOPS 3796 HAS SOUS 3183 HAS SOUPS 2906 WITH SCORE 2910.773
AT ITER 922 NEW BEST:: SOT 11414 SOS 4738 HAS SOPS 3761 HAS SOUS 3153 HAS SOUPS 2876 WITH SCORE 2880.738
AT ITER 935 NEW BEST:: SOT 11413 SOS 4739 HAS SOPS 3759 HAS SOUS 3149 HAS SOUPS 2872 WITH SCORE 2876.739
AT ITER 938 NEW BEST:: SOT 11402 SOS 4737 HAS SOPS 3747 HAS SOUS 3141 HAS SOUPS 2864 WITH SCORE 2868.737
AT ITER 941 NEW BEST:: SOT 11399 SOS 4729 HAS SOPS 3741 HAS SOUS 3141 HAS SOUPS 2864 WITH SCORE 2868.729
AT ITER 950 NEW BEST:: SOT 11355 SOS 4669 HAS SOPS 3681 HAS SOUS 3109 HAS SOUPS 2832 WITH SCORE 2836.669
AT ITER 982 NEW BEST:: SOT 11350 SOS 4677 HAS SOPS 3680 HAS SOUS 3113 HAS SOUPS 2827 WITH SCORE 2831.677
AT ITER 985 NEW BEST:: SOT 11356 SOS 4669 HAS SOPS 3656 HAS SOUS 3086 HAS SOUPS 2800 WITH SCORE 2804.669
AT ITER 994 NEW BEST:: SOT 11386 SOS 4698 HAS SOPS 3679 HAS SOUS 3071 HAS SOUPS 2785 WITH SCORE 2789.698
AT ITER 997 NEW BEST:: SOT 11362 SOS 4655 HAS SOPS 3636 HAS SOUS 3028 HAS SOUPS 2742 WITH SCORE 2746.655
AT ITER 1033 NEW BEST:: SOT 11356 SOS 4662 HAS SOPS 3622 HAS SOUS 3013 HAS SOUPS 2722 WITH SCORE 2726.662
AT ITER 1037 NEW BEST:: SOT 11351 SOS 4669 HAS SOPS 3629 HAS SOUS 3009 HAS SOUPS 2718 WITH SCORE 2722.669
AT ITER 1042 NEW BEST:: SOT 11324 SOS 4622 HAS SOPS 3595 HAS SOUS 2962 HAS SOUPS 2684 WITH SCORE 2688.622
AT ITER 1060 NEW BEST:: SOT 11320 SOS 4614 HAS SOPS 3587 HAS SOUS 2954 HAS SOUPS 2676 WITH SCORE 2680.614
AT ITER 1077 NEW BEST:: SOT 11319 SOS 4613 HAS SOPS 3585 HAS SOUS 2952 HAS SOUPS 2673 WITH SCORE 2677.613
AT ITER 1093 NEW BEST:: SOT 11332 SOS 4626 HAS SOPS 3593 HAS SOUS 2946 HAS SOUPS 2666 WITH SCORE 2670.626
AT ITER 1107 NEW BEST:: SOT 11348 SOS 4758 HAS SOPS 3617 HAS SOUS 2958 HAS SOUPS 2662 WITH SCORE 2666.758
AT ITER 1112 NEW BEST:: SOT 11346 SOS 4755 HAS SOPS 3613 HAS SOUS 2958 HAS SOUPS 2662 WITH SCORE 2666.755
AT ITER 1121 NEW BEST:: SOT 11346 SOS 4752 HAS SOPS 3610 HAS SOUS 2958 HAS SOUPS 2662 WITH SCORE 2666.752
AT ITER 1122 NEW BEST:: SOT 11321 SOS 4702 HAS SOPS 3560 HAS SOUS 2908 HAS SOUPS 2612 WITH SCORE 2616.702
AT ITER 1151 NEW BEST:: SOT 11328 SOS 4724 HAS SOPS 3574 HAS SOUS 2907 HAS SOUPS 2611 WITH SCORE 2615.724
AT ITER 1152 NEW BEST:: SOT 11331 SOS 4595 HAS SOPS 3561 HAS SOUS 2865 HAS SOUPS 2597 WITH SCORE 2601.595
AT ITER 1154 NEW BEST:: SOT 11326 SOS 4585 HAS SOPS 3555 HAS SOUS 2858 HAS SOUPS 2591 WITH SCORE 2595.585
AT ITER 1169 NEW BEST:: SOT 11352 SOS 4628 HAS SOPS 3580 HAS SOUS 2871 HAS SOUPS 2589 WITH SCORE 2593.628
AT ITER 1172 NEW BEST:: SOT 11341 SOS 4534 HAS SOPS 3563 HAS SOUS 2834 HAS SOUPS 2563 WITH SCORE 2567.534
AT ITER 1179 NEW BEST:: SOT 11336 SOS 4541 HAS SOPS 3570 HAS SOUS 2830 HAS SOUPS 2559 WITH SCORE 2563.541
AT ITER 1181 NEW BEST:: SOT 11310 SOS 4515 HAS SOPS 3533 HAS SOUS 2833 HAS SOUPS 2552 WITH SCORE 2556.515
AT ITER 1187 NEW BEST:: SOT 11299 SOS 4552 HAS SOPS 3570 HAS SOUS 2829 HAS SOUPS 2548 WITH SCORE 2552.552
AT ITER 1195 NEW BEST:: SOT 11288 SOS 4533 HAS SOPS 3553 HAS SOUS 2812 HAS SOUPS 2533 WITH SCORE 2537.533
AT ITER 1207 NEW BEST:: SOT 11281 SOS 4545 HAS SOPS 3582 HAS SOUS 2804 HAS SOUPS 2525 WITH SCORE 2529.545
AT ITER 1246 NEW BEST:: SOT 11232 SOS 4455 HAS SOPS 3484 HAS SOUS 2729 HAS SOUPS 2450 WITH SCORE 2454.455
AT ITER 1248 NEW BEST:: SOT 11232 SOS 4400 HAS SOPS 3429 HAS SOUS 2726 HAS SOUPS 2447 WITH SCORE 2451.4
AT ITER 1252 NEW BEST:: SOT 11222 SOS 4382 HAS SOPS 3411 HAS SOUS 2724 HAS SOUPS 2445 WITH SCORE 2449.382
AT ITER 1254 NEW BEST:: SOT 11213 SOS 4388 HAS SOPS 3417 HAS SOUS 2706 HAS SOUPS 2427 WITH SCORE 2431.388
AT ITER 1257 NEW BEST:: SOT 11210 SOS 4385 HAS SOPS 3411 HAS SOUS 2700 HAS SOUPS 2421 WITH SCORE 2425.385
AT ITER 1266 NEW BEST:: SOT 11246 SOS 4399 HAS SOPS 3444 HAS SOUS 2694 HAS SOUPS 2415 WITH SCORE 2419.399
AT ITER 1320 NEW BEST:: SOT 11245 SOS 4398 HAS SOPS 3442 HAS SOUS 2693 HAS SOUPS 2413 WITH SCORE 2417.398
AT ITER 1366 NEW BEST:: SOT 11243 SOS 4396 HAS SOPS 3438 HAS SOUS 2690 HAS SOUPS 2410 WITH SCORE 2414.396
AT ITER 1411 NEW BEST:: SOT 11243 SOS 4411 HAS SOPS 3443 HAS SOUS 2685 HAS SOUPS 2405 WITH SCORE 2409.411
AT ITER 1412 NEW BEST:: SOT 11242 SOS 4409 HAS SOPS 3441 HAS SOUS 2683 HAS SOUPS 2403 WITH SCORE 2407.409
AT ITER 1437 NEW BEST:: SOT 11246 SOS 4393 HAS SOPS 3413 HAS SOUS 2681 HAS SOUPS 2397 WITH SCORE 2401.393
AT ITER 1441 NEW BEST:: SOT 11238 SOS 4392 HAS SOPS 3404 HAS SOUS 2679 HAS SOUPS 2395 WITH SCORE 2399.392
AT ITER 1459 NEW BEST:: SOT 11236 SOS 4387 HAS SOPS 3399 HAS SOUS 2676 HAS SOUPS 2392 WITH SCORE 2396.387
AT ITER 1502 NEW BEST:: SOT 11234 SOS 4385 HAS SOPS 3397 HAS SOUS 2674 HAS SOUPS 2390 WITH SCORE 2394.385
AT ITER 1504 NEW BEST:: SOT 11233 SOS 4384 HAS SOPS 3396 HAS SOUS 2673 HAS SOUPS 2389 WITH SCORE 2393.384
AT ITER 1543 NEW BEST:: SOT 11316 SOS 4477 HAS SOPS 3462 HAS SOUS 2673 HAS SOUPS 2384 WITH SCORE 2388.477
AT ITER 1553 NEW BEST:: SOT 11314 SOS 4475 HAS SOPS 3459 HAS SOUS 2671 HAS SOUPS 2382 WITH SCORE 2386.475
AT ITER 1557 NEW BEST:: SOT 11308 SOS 4462 HAS SOPS 3446 HAS SOUS 2668 HAS SOUPS 2379 WITH SCORE 2383.462
AT ITER 1572 NEW BEST:: SOT 11322 SOS 4480 HAS SOPS 3460 HAS SOUS 2656 HAS SOUPS 2367 WITH SCORE 2371.48
AT ITER 1585 NEW BEST:: SOT 11312 SOS 4470 HAS SOPS 3440 HAS SOUS 2642 HAS SOUPS 2347 WITH SCORE 2351.47
AT ITER 1592 NEW BEST:: SOT 11313 SOS 4459 HAS SOPS 3424 HAS SOUS 2632 HAS SOUPS 2337 WITH SCORE 2341.459
AT ITER 1647 NEW BEST:: SOT 11316 SOS 4465 HAS SOPS 3424 HAS SOUS 2629 HAS SOUPS 2334 WITH SCORE 2338.465
AT ITER 1650 NEW BEST:: SOT 11318 SOS 4456 HAS SOPS 3417 HAS SOUS 2622 HAS SOUPS 2327 WITH SCORE 2331.456
AT ITER 1657 NEW BEST:: SOT 11307 SOS 4455 HAS SOPS 3416 HAS SOUS 2614 HAS SOUPS 2319 WITH SCORE 2323.455
AT ITER 1693 NEW BEST:: SOT 11301 SOS 4522 HAS SOPS 3442 HAS SOUS 2619 HAS SOUPS 2314 WITH SCORE 2318.522
AT ITER 1696 NEW BEST:: SOT 11299 SOS 4520 HAS SOPS 3440 HAS SOUS 2619 HAS SOUPS 2314 WITH SCORE 2318.52
AT ITER 1743 NEW BEST:: SOT 11299 SOS 4536 HAS SOPS 3456 HAS SOUS 2617 HAS SOUPS 2312 WITH SCORE 2316.536
AT ITER 1762 NEW BEST:: SOT 11298 SOS 4533 HAS SOPS 3459 HAS SOUS 2614 HAS SOUPS 2310 WITH SCORE 2314.533
AT ITER 1792 NEW BEST:: SOT 11298 SOS 4539 HAS SOPS 3465 HAS SOUS 2612 HAS SOUPS 2308 WITH SCORE 2312.539
AT ITER 1804 NEW BEST:: SOT 11296 SOS 4535 HAS SOPS 3464 HAS SOUS 2611 HAS SOUPS 2307 WITH SCORE 2311.535
AT ITER 1811 NEW BEST:: SOT 11300 SOS 4541 HAS SOPS 3470 HAS SOUS 2609 HAS SOUPS 2305 WITH SCORE 2309.541
AT ITER 1849 NEW BEST:: SOT 11288 SOS 4523 HAS SOPS 3452 HAS SOUS 2591 HAS SOUPS 2287 WITH SCORE 2291.523
AT ITER 1853 NEW BEST:: SOT 11286 SOS 4521 HAS SOPS 3446 HAS SOUS 2583 HAS SOUPS 2279 WITH SCORE 2283.521
AT ITER 1855 NEW BEST:: SOT 11286 SOS 4545 HAS SOPS 3470 HAS SOUS 2579 HAS SOUPS 2275 WITH SCORE 2279.545
AT ITER 1871 NEW BEST:: SOT 11281 SOS 4539 HAS SOPS 3464 HAS SOUS 2575 HAS SOUPS 2271 WITH SCORE 2275.539
AT ITER 1883 NEW BEST:: SOT 11274 SOS 4532 HAS SOPS 3450 HAS SOUS 2556 HAS SOUPS 2252 WITH SCORE 2256.532
AT ITER 1903 NEW BEST:: SOT 11262 SOS 4527 HAS SOPS 3436 HAS SOUS 2559 HAS SOUPS 2250 WITH SCORE 2254.527
AT ITER 1930 NEW BEST:: SOT 11269 SOS 4534 HAS SOPS 3441 HAS SOUS 2556 HAS SOUPS 2247 WITH SCORE 2251.534
AT ITER 1934 NEW BEST:: SOT 11267 SOS 4533 HAS SOPS 3437 HAS SOUS 2556 HAS SOUPS 2247 WITH SCORE 2251.533
AT ITER 1949 NEW BEST:: SOT 11267 SOS 4528 HAS SOPS 3432 HAS SOUS 2546 HAS SOUPS 2237 WITH SCORE 2241.528
AT ITER 1988 NEW BEST:: SOT 11260 SOS 4521 HAS SOPS 3424 HAS SOUS 2548 HAS SOUPS 2235 WITH SCORE 2239.521
AT ITER 2023 NEW BEST:: SOT 11258 SOS 4519 HAS SOPS 3420 HAS SOUS 2544 HAS SOUPS 2222 WITH SCORE 2226.519
AT ITER 2070 NEW BEST:: SOT 11274 SOS 4544 HAS SOPS 3445 HAS SOUS 2539 HAS SOUPS 2217 WITH SCORE 2221.544
AT ITER 2119 NEW BEST:: SOT 11282 SOS 4642 HAS SOPS 3444 HAS SOUS 2514 HAS SOUPS 2173 WITH SCORE 2177.642
AT ITER 2140 NEW BEST:: SOT 11284 SOS 4647 HAS SOPS 3449 HAS SOUS 2512 HAS SOUPS 2171 WITH SCORE 2175.647
AT ITER 2159 NEW BEST:: SOT 11280 SOS 4615 HAS SOPS 3417 HAS SOUS 2507 HAS SOUPS 2166 WITH SCORE 2170.615
AT ITER 2164 NEW BEST:: SOT 11272 SOS 4620 HAS SOPS 3422 HAS SOUS 2505 HAS SOUPS 2164 WITH SCORE 2168.62
AT ITER 2174 NEW BEST:: SOT 11268 SOS 4612 HAS SOPS 3414 HAS SOUS 2497 HAS SOUPS 2156 WITH SCORE 2160.612
AT ITER 2203 NEW BEST:: SOT 11267 SOS 4621 HAS SOPS 3413 HAS SOUS 2506 HAS SOUPS 2155 WITH SCORE 2159.621
AT ITER 2267 NEW BEST:: SOT 11257 SOS 4611 HAS SOPS 3403 HAS SOUS 2488 HAS SOUPS 2137 WITH SCORE 2141.611
AT ITER 2301 NEW BEST:: SOT 11269 SOS 4613 HAS SOPS 3413 HAS SOUS 2483 HAS SOUPS 2132 WITH SCORE 2136.613
AT ITER 2306 NEW BEST:: SOT 11258 SOS 4601 HAS SOPS 3391 HAS SOUS 2470 HAS SOUPS 2119 WITH SCORE 2123.601
AT ITER 2339 NEW BEST:: SOT 11265 SOS 4620 HAS SOPS 3410 HAS SOUS 2469 HAS SOUPS 2118 WITH SCORE 2122.62
AT ITER 2357 NEW BEST:: SOT 11263 SOS 4619 HAS SOPS 3409 HAS SOUS 2468 HAS SOUPS 2117 WITH SCORE 2121.619
AT ITER 2363 NEW BEST:: SOT 11251 SOS 4603 HAS SOPS 3393 HAS SOUS 2464 HAS SOUPS 2113 WITH SCORE 2117.603
AT ITER 2404 NEW BEST:: SOT 11249 SOS 4599 HAS SOPS 3389 HAS SOUS 2462 HAS SOUPS 2111 WITH SCORE 2115.599
AT ITER 2420 NEW BEST:: SOT 11246 SOS 4599 HAS SOPS 3386 HAS SOUS 2459 HAS SOUPS 2108 WITH SCORE 2112.599
AT ITER 2440 NEW BEST:: SOT 11246 SOS 4590 HAS SOPS 3379 HAS SOUS 2453 HAS SOUPS 2102 WITH SCORE 2106.59
AT ITER 2487 NEW BEST:: SOT 11234 SOS 4582 HAS SOPS 3363 HAS SOUS 2456 HAS SOUPS 2097 WITH SCORE 2101.582
AT ITER 2491 NEW BEST:: SOT 11184 SOS 4519 HAS SOPS 3318 HAS SOUS 2430 HAS SOUPS 2082 WITH SCORE 2086.519
AT ITER 2524 NEW BEST:: SOT 11164 SOS 4490 HAS SOPS 3296 HAS SOUS 2429 HAS SOUPS 2081 WITH SCORE 2085.49
AT ITER 2551 NEW BEST:: SOT 11163 SOS 4489 HAS SOPS 3295 HAS SOUS 2429 HAS SOUPS 2081 WITH SCORE 2085.489
AT ITER 2552 NEW BEST:: SOT 11156 SOS 4468 HAS SOPS 3274 HAS SOUS 2415 HAS SOUPS 2067 WITH SCORE 2071.468
AT ITER 2559 NEW BEST:: SOT 11146 SOS 4458 HAS SOPS 3257 HAS SOUS 2405 HAS SOUPS 2057 WITH SCORE 2061.458
AT ITER 2575 NEW BEST:: SOT 11142 SOS 4450 HAS SOPS 3250 HAS SOUS 2403 HAS SOUPS 2055 WITH SCORE 2059.45
AT ITER 2576 NEW BEST:: SOT 11136 SOS 4436 HAS SOPS 3236 HAS SOUS 2401 HAS SOUPS 2053 WITH SCORE 2057.436
AT ITER 2611 NEW BEST:: SOT 11134 SOS 4432 HAS SOPS 3232 HAS SOUS 2397 HAS SOUPS 2049 WITH SCORE 2053.432
AT ITER 2649 NEW BEST:: SOT 11117 SOS 4427 HAS SOPS 3227 HAS SOUS 2397 HAS SOUPS 2049 WITH SCORE 2053.427
AT ITER 2654 NEW BEST:: SOT 11115 SOS 4423 HAS SOPS 3223 HAS SOUS 2393 HAS SOUPS 2045 WITH SCORE 2049.423
AT ITER 2692 NEW BEST:: SOT 11082 SOS 4495 HAS SOPS 3295 HAS SOUS 2382 HAS SOUPS 2034 WITH SCORE 2038.495
AT ITER 2707 NEW BEST:: SOT 11082 SOS 4489 HAS SOPS 3290 HAS SOUS 2377 HAS SOUPS 2029 WITH SCORE 2033.489
AT ITER 2800 NEW BEST:: SOT 11079 SOS 4486 HAS SOPS 3284 HAS SOUS 2376 HAS SOUPS 2028 WITH SCORE 2032.486
AT ITER 2830 NEW BEST:: SOT 11073 SOS 4484 HAS SOPS 3292 HAS SOUS 2370 HAS SOUPS 2024 WITH SCORE 2028.484
AT ITER 2838 NEW BEST:: SOT 11073 SOS 4470 HAS SOPS 3278 HAS SOUS 2356 HAS SOUPS 2010 WITH SCORE 2014.47
AT ITER 2841 NEW BEST:: SOT 11072 SOS 4468 HAS SOPS 3272 HAS SOUS 2350 HAS SOUPS 2004 WITH SCORE 2008.468
AT ITER 2848 NEW BEST:: SOT 11071 SOS 4466 HAS SOPS 3270 HAS SOUS 2348 HAS SOUPS 2002 WITH SCORE 2006.466
AT ITER 2881 NEW BEST:: SOT 11061 SOS 4414 HAS SOPS 3236 HAS SOUS 2342 HAS SOUPS 1996 WITH SCORE 2000.414
AT ITER 2888 NEW BEST:: SOT 11060 SOS 4411 HAS SOPS 3233 HAS SOUS 2340 HAS SOUPS 1994 WITH SCORE 1998.411
AT ITER 2940 NEW BEST:: SOT 11060 SOS 4408 HAS SOPS 3230 HAS SOUS 2337 HAS SOUPS 1991 WITH SCORE 1995.408
AT ITER 3040 NEW BEST:: SOT 11062 SOS 4404 HAS SOPS 3214 HAS SOUS 2339 HAS SOUPS 1991 WITH SCORE 1995.404
AT ITER 3051 NEW BEST:: SOT 11053 SOS 4386 HAS SOPS 3206 HAS SOUS 2331 HAS SOUPS 1983 WITH SCORE 1987.386
AT ITER 3065 NEW BEST:: SOT 11055 SOS 4392 HAS SOPS 3214 HAS SOUS 2328 HAS SOUPS 1980 WITH SCORE 1984.392
AT ITER 3134 NEW BEST:: SOT 11062 SOS 4406 HAS SOPS 3210 HAS SOUS 2313 HAS SOUPS 1965 WITH SCORE 1969.406
AT ITER 3180 NEW BEST:: SOT 11066 SOS 4412 HAS SOPS 3214 HAS SOUS 2311 HAS SOUPS 1963 WITH SCORE 1967.412
AT ITER 3208 NEW BEST:: SOT 11065 SOS 4410 HAS SOPS 3212 HAS SOUS 2310 HAS SOUPS 1962 WITH SCORE 1966.41
AT ITER 3220 NEW BEST:: SOT 11067 SOS 4404 HAS SOPS 3216 HAS SOUS 2308 HAS SOUPS 1962 WITH SCORE 1966.404
AT ITER 3228 NEW BEST:: SOT 11067 SOS 4400 HAS SOPS 3212 HAS SOUS 2304 HAS SOUPS 1958 WITH SCORE 1962.4
AT ITER 3315 NEW BEST:: SOT 11053 SOS 4374 HAS SOPS 3196 HAS SOUS 2300 HAS SOUPS 1954 WITH SCORE 1958.374
AT ITER 3342 NEW BEST:: SOT 11050 SOS 4366 HAS SOPS 3188 HAS SOUS 2300 HAS SOUPS 1954 WITH SCORE 1958.366
AT ITER 3376 NEW BEST:: SOT 11040 SOS 4352 HAS SOPS 3174 HAS SOUS 2286 HAS SOUPS 1940 WITH SCORE 1944.352
AT ITER 3421 NEW BEST:: SOT 11039 SOS 4350 HAS SOPS 3172 HAS SOUS 2286 HAS SOUPS 1940 WITH SCORE 1944.35
AT ITER 3489 NEW BEST:: SOT 11024 SOS 4327 HAS SOPS 3158 HAS SOUS 2267 HAS SOUPS 1926 WITH SCORE 1930.327
AT ITER 3530 NEW BEST:: SOT 11027 SOS 4327 HAS SOPS 3161 HAS SOUS 2266 HAS SOUPS 1925 WITH SCORE 1929.327
AT ITER 3558 NEW BEST:: SOT 11024 SOS 4323 HAS SOPS 3157 HAS SOUS 2266 HAS SOUPS 1925 WITH SCORE 1929.323
AT ITER 3572 NEW BEST:: SOT 11023 SOS 4324 HAS SOPS 3152 HAS SOUS 2258 HAS SOUPS 1917 WITH SCORE 1921.324
AT ITER 3604 NEW BEST:: SOT 11015 SOS 4309 HAS SOPS 3143 HAS SOUS 2247 HAS SOUPS 1912 WITH SCORE 1916.309
AT ITER 3615 NEW BEST:: SOT 11015 SOS 4307 HAS SOPS 3141 HAS SOUS 2245 HAS SOUPS 1910 WITH SCORE 1914.307
AT ITER 3673 NEW BEST:: SOT 11023 SOS 4371 HAS SOPS 3121 HAS SOUS 2246 HAS SOUPS 1899 WITH SCORE 1903.371
AT ITER 3792 NEW BEST:: SOT 11021 SOS 4371 HAS SOPS 3121 HAS SOUS 2242 HAS SOUPS 1895 WITH SCORE 1899.371
AT ITER 3806 NEW BEST:: SOT 11022 SOS 4372 HAS SOPS 3122 HAS SOUS 2241 HAS SOUPS 1894 WITH SCORE 1898.372
AT ITER 3811 NEW BEST:: SOT 11018 SOS 4366 HAS SOPS 3114 HAS SOUS 2236 HAS SOUPS 1889 WITH SCORE 1893.366
AT ITER 3813 NEW BEST:: SOT 11015 SOS 4360 HAS SOPS 3108 HAS SOUS 2230 HAS SOUPS 1883 WITH SCORE 1887.36
AT ITER 3940 NEW BEST:: SOT 11015 SOS 4357 HAS SOPS 3106 HAS SOUS 2230 HAS SOUPS 1883 WITH SCORE 1887.357
AT ITER 3965 NEW BEST:: SOT 11014 SOS 4352 HAS SOPS 3101 HAS SOUS 2225 HAS SOUPS 1878 WITH SCORE 1882.352
AT ITER 4043 NEW BEST:: SOT 11015 SOS 4351 HAS SOPS 3094 HAS SOUS 2210 HAS SOUPS 1863 WITH SCORE 1867.351
AT ITER 4129 NEW BEST:: SOT 11016 SOS 4320 HAS SOPS 3064 HAS SOUS 2209 HAS SOUPS 1862 WITH SCORE 1866.32
AT ITER 4141 NEW BEST:: SOT 11015 SOS 4318 HAS SOPS 3062 HAS SOUS 2207 HAS SOUPS 1860 WITH SCORE 1864.318
AT ITER 4171 NEW BEST:: SOT 11014 SOS 4316 HAS SOPS 3061 HAS SOUS 2206 HAS SOUPS 1859 WITH SCORE 1863.316
AT ITER 4175 NEW BEST:: SOT 11014 SOS 4317 HAS SOPS 3061 HAS SOUS 2205 HAS SOUPS 1858 WITH SCORE 1862.317
AT ITER 4304 NEW BEST:: SOT 11010 SOS 4313 HAS SOPS 3055 HAS SOUS 2201 HAS SOUPS 1852 WITH SCORE 1856.313
AT ITER 4346 NEW BEST:: SOT 11009 SOS 4312 HAS SOPS 3053 HAS SOUS 2201 HAS SOUPS 1852 WITH SCORE 1856.312
AT ITER 4347 NEW BEST:: SOT 11007 SOS 4385 HAS SOPS 3054 HAS SOUS 2210 HAS SOUPS 1851 WITH SCORE 1855.385
AT ITER 4354 NEW BEST:: SOT 11005 SOS 4387 HAS SOPS 3056 HAS SOUS 2206 HAS SOUPS 1847 WITH SCORE 1851.387
AT ITER 4374 NEW BEST:: SOT 11005 SOS 4386 HAS SOPS 3055 HAS SOUS 2205 HAS SOUPS 1846 WITH SCORE 1850.386
AT ITER 4385 NEW BEST:: SOT 10999 SOS 4379 HAS SOPS 3048 HAS SOUS 2198 HAS SOUPS 1839 WITH SCORE 1843.379
AT ITER 4388 NEW BEST:: SOT 10999 SOS 4426 HAS SOPS 3095 HAS SOUS 2197 HAS SOUPS 1838 WITH SCORE 1842.426
AT ITER 4395 NEW BEST:: SOT 11004 SOS 4421 HAS SOPS 3090 HAS SOUS 2197 HAS SOUPS 1838 WITH SCORE 1842.421
AT ITER 4611 NEW BEST:: SOT 11003 SOS 4418 HAS SOPS 3084 HAS SOUS 2195 HAS SOUPS 1836 WITH SCORE 1840.418
AT ITER 4667 NEW BEST:: SOT 11014 SOS 4429 HAS SOPS 3103 HAS SOUS 2190 HAS SOUPS 1831 WITH SCORE 1835.429
AT ITER 4668 NEW BEST:: SOT 11013 SOS 4427 HAS SOPS 3101 HAS SOUS 2188 HAS SOUPS 1829 WITH SCORE 1833.427
AT ITER 4679 NEW BEST:: SOT 11013 SOS 4417 HAS SOPS 3092 HAS SOUS 2187 HAS SOUPS 1828 WITH SCORE 1832.417
AT ITER 4687 NEW BEST:: SOT 11013 SOS 4425 HAS SOPS 3094 HAS SOUS 2185 HAS SOUPS 1826 WITH SCORE 1830.425
AT ITER 4712 NEW BEST:: SOT 11012 SOS 4424 HAS SOPS 3092 HAS SOUS 2183 HAS SOUPS 1824 WITH SCORE 1828.424
AT ITER 4822 NEW BEST:: SOT 11011 SOS 4422 HAS SOPS 3090 HAS SOUS 2182 HAS SOUPS 1823 WITH SCORE 1827.422
AT ITER 5022 NEW BEST:: SOT 11010 SOS 4421 HAS SOPS 3090 HAS SOUS 2181 HAS SOUPS 1823 WITH SCORE 1827.421
AT ITER 5070 NEW BEST:: SOT 11008 SOS 4427 HAS SOPS 3080 HAS SOUS 2181 HAS SOUPS 1821 WITH SCORE 1825.427
AT ITER 5142 NEW BEST:: SOT 11001 SOS 4452 HAS SOPS 3101 HAS SOUS 2175 HAS SOUPS 1815 WITH SCORE 1819.452
AT ITER 5174 NEW BEST:: SOT 10994 SOS 4439 HAS SOPS 3088 HAS SOUS 2173 HAS SOUPS 1813 WITH SCORE 1817.439
AT ITER 5233 NEW BEST:: SOT 10986 SOS 4431 HAS SOPS 3076 HAS SOUS 2169 HAS SOUPS 1809 WITH SCORE 1813.431
AT ITER 5332 NEW BEST:: SOT 10986 SOS 4428 HAS SOPS 3073 HAS SOUS 2167 HAS SOUPS 1807 WITH SCORE 1811.428
AT ITER 5488 NEW BEST:: SOT 10986 SOS 4427 HAS SOPS 3073 HAS SOUS 2166 HAS SOUPS 1807 WITH SCORE 1811.427
AT ITER 5509 NEW BEST:: SOT 10983 SOS 4423 HAS SOPS 3069 HAS SOUS 2163 HAS SOUPS 1804 WITH SCORE 1808.423
AT ITER 5607 NEW BEST:: SOT 10981 SOS 4419 HAS SOPS 3065 HAS SOUS 2159 HAS SOUPS 1800 WITH SCORE 1804.419
AT ITER 5719 NEW BEST:: SOT 10977 SOS 4373 HAS SOPS 3019 HAS SOUS 2158 HAS SOUPS 1799 WITH SCORE 1803.373
AT ITER 5832 NEW BEST:: SOT 10976 SOS 4378 HAS SOPS 3024 HAS SOUS 2157 HAS SOUPS 1798 WITH SCORE 1802.378
AT ITER 5918 NEW BEST:: SOT 10971 SOS 4366 HAS SOPS 3024 HAS SOUS 2153 HAS SOUPS 1797 WITH SCORE 1801.366
AT ITER 6008 NEW BEST:: SOT 10964 SOS 4311 HAS SOPS 2970 HAS SOUS 2152 HAS SOUPS 1796 WITH SCORE 1800.311
AT ITER 6220 NEW BEST:: SOT 10963 SOS 4309 HAS SOPS 2969 HAS SOUS 2151 HAS SOUPS 1795 WITH SCORE 1799.309
AT ITER 6334 NEW BEST:: SOT 10962 SOS 4299 HAS SOPS 2976 HAS SOUS 2146 HAS SOUPS 1793 WITH SCORE 1797.299
AT ITER 6487 NEW BEST:: SOT 10961 SOS 4293 HAS SOPS 2972 HAS SOUS 2143 HAS SOUPS 1792 WITH SCORE 1796.293
AT ITER 6603 NEW BEST:: SOT 10960 SOS 4283 HAS SOPS 2970 HAS SOUS 2141 HAS SOUPS 1791 WITH SCORE 1795.283
AT ITER 6637 NEW BEST:: SOT 10964 SOS 4285 HAS SOPS 2974 HAS SOUS 2140 HAS SOUPS 1790 WITH SCORE 1794.285
AT ITER 6753 NEW BEST:: SOT 10964 SOS 4280 HAS SOPS 2969 HAS SOUS 2140 HAS SOUPS 1790 WITH SCORE 1794.28
AT ITER 6845 NEW BEST:: SOT 10964 SOS 4264 HAS SOPS 2969 HAS SOUS 2138 HAS SOUPS 1790 WITH SCORE 1794.264
AT ITER 6970 NEW BEST:: SOT 10964 SOS 4256 HAS SOPS 2965 HAS SOUS 2137 HAS SOUPS 1790 WITH SCORE 1794.256
AT ITER 7102 NEW BEST:: SOT 10961 SOS 4223 HAS SOPS 2956 HAS SOUS 2134 HAS SOUPS 1790 WITH SCORE 1794.223
AT ITER 7543 NEW BEST:: SOT 10949 SOS 4304 HAS SOPS 3037 HAS SOUS 2133 HAS SOUPS 1789 WITH SCORE 1793.304
AT ITER 8440 NEW BEST:: SOT 10943 SOS 4293 HAS SOPS 3029 HAS SOUS 2130 HAS SOUPS 1786 WITH SCORE 1790.293
AT ITER 8443 NEW BEST:: SOT 10942 SOS 4288 HAS SOPS 3024 HAS SOUS 2128 HAS SOUPS 1784 WITH SCORE 1788.288
AT ITER 8466 NEW BEST:: SOT 10939 SOS 4286 HAS SOPS 3023 HAS SOUS 2128 HAS SOUPS 1784 WITH SCORE 1788.286
AT ITER 8870 NEW BEST:: SOT 10934 SOS 4304 HAS SOPS 3041 HAS SOUS 2127 HAS SOUPS 1783 WITH SCORE 1787.304
AT ITER 8950 NEW BEST:: SOT 10934 SOS 4303 HAS SOPS 3040 HAS SOUS 2127 HAS SOUPS 1783 WITH SCORE 1787.303
AT ITER 9063 NEW BEST:: SOT 10933 SOS 4297 HAS SOPS 3036 HAS SOUS 2125 HAS SOUPS 1781 WITH SCORE 1785.297
AT ITER 9127 NEW BEST:: SOT 10932 SOS 4295 HAS SOPS 3034 HAS SOUS 2123 HAS SOUPS 1779 WITH SCORE 1783.295
AT ITER 9155 NEW BEST:: SOT 10932 SOS 4311 HAS SOPS 3049 HAS SOUS 2121 HAS SOUPS 1777 WITH SCORE 1781.311
AT ITER 9217 NEW BEST:: SOT 10932 SOS 4306 HAS SOPS 3048 HAS SOUS 2121 HAS SOUPS 1777 WITH SCORE 1781.306
AT ITER 9255 NEW BEST:: SOT 10932 SOS 4310 HAS SOPS 3052 HAS SOUS 2120 HAS SOUPS 1776 WITH SCORE 1780.31
AT ITER 9257 NEW BEST:: SOT 10926 SOS 4304 HAS SOPS 3044 HAS SOUS 2119 HAS SOUPS 1775 WITH SCORE 1779.304
AT ITER 9423 NEW BEST:: SOT 10925 SOS 4302 HAS SOPS 3042 HAS SOUS 2117 HAS SOUPS 1773 WITH SCORE 1777.302
AT ITER 9512 NEW BEST:: SOT 10925 SOS 4301 HAS SOPS 3041 HAS SOUS 2117 HAS SOUPS 1773 WITH SCORE 1777.301
AT ITER 9674 NEW BEST:: SOT 10923 SOS 4299 HAS SOPS 3038 HAS SOUS 2116 HAS SOUPS 1772 WITH SCORE 1776.299
AT ITER 9789 NEW BEST:: SOT 10922 SOS 4298 HAS SOPS 3037 HAS SOUS 2116 HAS SOUPS 1771 WITH SCORE 1775.298
AT ITER 9794 NEW BEST:: SOT 10921 SOS 4296 HAS SOPS 3035 HAS SOUS 2114 HAS SOUPS 1769 WITH SCORE 1773.296
AT ITER 9861 NEW BEST:: SOT 10919 SOS 4292 HAS SOPS 3030 HAS SOUS 2112 HAS SOUPS 1767 WITH SCORE 1771.292
AT ITER 9862 NEW BEST:: SOT 10918 SOS 4290 HAS SOPS 3028 HAS SOUS 2110 HAS SOUPS 1765 WITH SCORE 1769.29
STATE_SPACE STATES 200157 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 878059 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678800664787

--------------------
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="CANInsertWithFailure-PT-005"
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 CANInsertWithFailure-PT-005, 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 r043-tajo-167813697200704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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