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.r099-tall-167814472400400.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 smart
Input is DES-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 37K 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 1678241005725

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-05a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 135 places, 92 transitions, 457 arcs.
AT ITER 0 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.681
AT ITER 4 NEW BEST:: SOT 9227 SOS 7658 HAS SOPS 7658 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5404.658
AT ITER 7 NEW BEST:: SOT 9227 SOS 7403 HAS SOPS 7403 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5403.403
AT ITER 12 NEW BEST:: SOT 9236 SOS 7330 HAS SOPS 7330 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5327.33
AT ITER 13 NEW BEST:: SOT 9222 SOS 7327 HAS SOPS 7327 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5327.327
AT ITER 14 NEW BEST:: SOT 9222 SOS 7327 HAS SOPS 7327 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5326.327
AT ITER 15 NEW BEST:: SOT 9236 SOS 7246 HAS SOPS 7246 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5290.246
AT ITER 18 NEW BEST:: SOT 9197 SOS 7207 HAS SOPS 7207 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5249.207
AT ITER 20 NEW BEST:: SOT 9197 SOS 7204 HAS SOPS 7204 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5246.204
AT ITER 23 NEW BEST:: SOT 9219 SOS 7194 HAS SOPS 7194 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5236.194
AT ITER 28 NEW BEST:: SOT 9219 SOS 7176 HAS SOPS 7176 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5218.176
AT ITER 40 NEW BEST:: SOT 9206 SOS 7169 HAS SOPS 7169 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5211.169
AT ITER 45 NEW BEST:: SOT 9187 SOS 7141 HAS SOPS 7141 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5183.141
AT ITER 48 NEW BEST:: SOT 9163 SOS 7124 HAS SOPS 7124 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5179.124
AT ITER 51 NEW BEST:: SOT 9118 SOS 6876 HAS SOPS 6876 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.876
AT ITER 57 NEW BEST:: SOT 9030 SOS 6788 HAS SOPS 6788 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5033.788
AT ITER 58 NEW BEST:: SOT 8960 SOS 6657 HAS SOPS 6657 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4901.657
AT ITER 64 NEW BEST:: SOT 8957 SOS 6612 HAS SOPS 6612 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4856.612
AT ITER 73 NEW BEST:: SOT 8954 SOS 6541 HAS SOPS 6541 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.541
AT ITER 75 NEW BEST:: SOT 8932 SOS 6263 HAS SOPS 6263 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4777.263
AT ITER 76 NEW BEST:: SOT 8932 SOS 6263 HAS SOPS 6263 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4773.263
AT ITER 80 NEW BEST:: SOT 8929 SOS 6262 HAS SOPS 6262 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4772.262
AT ITER 87 NEW BEST:: SOT 8927 SOS 6259 HAS SOPS 6259 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.259
AT ITER 89 NEW BEST:: SOT 8903 SOS 6181 HAS SOPS 6181 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4693.181
AT ITER 90 NEW BEST:: SOT 8865 SOS 6178 HAS SOPS 6178 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4690.178
AT ITER 93 NEW BEST:: SOT 8832 SOS 6145 HAS SOPS 6145 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4657.145
AT ITER 101 NEW BEST:: SOT 8796 SOS 6116 HAS SOPS 6116 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4647.116
AT ITER 109 NEW BEST:: SOT 8796 SOS 6116 HAS SOPS 6116 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4622.116
AT ITER 111 NEW BEST:: SOT 8774 SOS 6093 HAS SOPS 6093 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4599.093
AT ITER 114 NEW BEST:: SOT 8736 SOS 6055 HAS SOPS 6055 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.055
AT ITER 122 NEW BEST:: SOT 8697 SOS 6052 HAS SOPS 6052 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4536.052
AT ITER 129 NEW BEST:: SOT 8697 SOS 6014 HAS SOPS 6014 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4498.014
AT ITER 131 NEW BEST:: SOT 8697 SOS 6005 HAS SOPS 6005 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4489.005
AT ITER 133 NEW BEST:: SOT 8632 SOS 5940 HAS SOPS 5940 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.94
AT ITER 137 NEW BEST:: SOT 8626 SOS 5915 HAS SOPS 5915 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.915
AT ITER 140 NEW BEST:: SOT 8626 SOS 5888 HAS SOPS 5888 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.888
AT ITER 142 NEW BEST:: SOT 8626 SOS 5885 HAS SOPS 5885 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.885
AT ITER 144 NEW BEST:: SOT 8607 SOS 5794 HAS SOPS 5794 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.794
AT ITER 150 NEW BEST:: SOT 8582 SOS 5769 HAS SOPS 5769 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4323.769
AT ITER 159 NEW BEST:: SOT 8591 SOS 5757 HAS SOPS 5757 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.757
AT ITER 160 NEW BEST:: SOT 8579 SOS 5745 HAS SOPS 5745 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4301.745
AT ITER 172 NEW BEST:: SOT 8546 SOS 5649 HAS SOPS 5649 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4227.649
AT ITER 185 NEW BEST:: SOT 8484 SOS 5587 HAS SOPS 5587 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.587
AT ITER 187 NEW BEST:: SOT 8476 SOS 5571 HAS SOPS 5571 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4149.571
AT ITER 191 NEW BEST:: SOT 8477 SOS 5569 HAS SOPS 5569 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4147.569
AT ITER 192 NEW BEST:: SOT 8474 SOS 5566 HAS SOPS 5566 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4144.566
AT ITER 197 NEW BEST:: SOT 8426 SOS 5518 HAS SOPS 5518 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4096.518
AT ITER 198 NEW BEST:: SOT 8325 SOS 5417 HAS SOPS 5417 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4065.417
AT ITER 202 NEW BEST:: SOT 8199 SOS 5291 HAS SOPS 5291 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4023.291
AT ITER 203 NEW BEST:: SOT 8199 SOS 5116 HAS SOPS 5116 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3972.116
AT ITER 205 NEW BEST:: SOT 8189 SOS 5106 HAS SOPS 5106 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3962.106
AT ITER 212 NEW BEST:: SOT 8180 SOS 5097 HAS SOPS 5097 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3953.097
AT ITER 213 NEW BEST:: SOT 8161 SOS 5070 HAS SOPS 5070 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3926.07
AT ITER 218 NEW BEST:: SOT 8161 SOS 5081 HAS SOPS 5081 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3925.081
AT ITER 219 NEW BEST:: SOT 8161 SOS 5074 HAS SOPS 5074 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3919.074
AT ITER 220 NEW BEST:: SOT 8149 SOS 5062 HAS SOPS 5062 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3907.062
AT ITER 225 NEW BEST:: SOT 8119 SOS 5057 HAS SOPS 5057 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3883.057
AT ITER 233 NEW BEST:: SOT 8109 SOS 5046 HAS SOPS 5046 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3872.046
AT ITER 235 NEW BEST:: SOT 8106 SOS 5043 HAS SOPS 5043 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3870.043
AT ITER 244 NEW BEST:: SOT 8106 SOS 5034 HAS SOPS 5034 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3861.034
AT ITER 254 NEW BEST:: SOT 8106 SOS 5036 HAS SOPS 5036 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3860.036
AT ITER 257 NEW BEST:: SOT 8102 SOS 5030 HAS SOPS 5030 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3854.03
AT ITER 264 NEW BEST:: SOT 8102 SOS 5028 HAS SOPS 5028 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3852.028
AT ITER 269 NEW BEST:: SOT 8101 SOS 5022 HAS SOPS 5022 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3850.022
AT ITER 270 NEW BEST:: SOT 8102 SOS 5021 HAS SOPS 5021 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3849.021
AT ITER 285 NEW BEST:: SOT 8096 SOS 4935 HAS SOPS 4935 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.935
AT ITER 290 NEW BEST:: SOT 8096 SOS 4899 HAS SOPS 4899 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3720.899
AT ITER 293 NEW BEST:: SOT 8103 SOS 4906 HAS SOPS 4906 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.906
AT ITER 298 NEW BEST:: SOT 8097 SOS 4900 HAS SOPS 4900 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.9
AT ITER 312 NEW BEST:: SOT 8057 SOS 4857 HAS SOPS 4857 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.857
AT ITER 322 NEW BEST:: SOT 8060 SOS 4862 HAS SOPS 4862 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.862
AT ITER 329 NEW BEST:: SOT 8059 SOS 4861 HAS SOPS 4861 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.861
AT ITER 345 NEW BEST:: SOT 8039 SOS 4836 HAS SOPS 4836 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3606.836
AT ITER 360 NEW BEST:: SOT 8039 SOS 4794 HAS SOPS 4794 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.794
AT ITER 365 NEW BEST:: SOT 8029 SOS 4760 HAS SOPS 4760 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3526.76
AT ITER 366 NEW BEST:: SOT 7989 SOS 4735 HAS SOPS 4735 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3501.735
AT ITER 370 NEW BEST:: SOT 7989 SOS 4681 HAS SOPS 4681 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.681
AT ITER 376 NEW BEST:: SOT 7989 SOS 4678 HAS SOPS 4678 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.678
AT ITER 381 NEW BEST:: SOT 7989 SOS 4661 HAS SOPS 4661 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3486.661
AT ITER 384 NEW BEST:: SOT 7969 SOS 4651 HAS SOPS 4651 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3460.651
AT ITER 385 NEW BEST:: SOT 8005 SOS 4687 HAS SOPS 4687 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3454.687
AT ITER 396 NEW BEST:: SOT 7986 SOS 4652 HAS SOPS 4652 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3419.652
AT ITER 417 NEW BEST:: SOT 7976 SOS 4623 HAS SOPS 4623 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.623
AT ITER 425 NEW BEST:: SOT 7951 SOS 4598 HAS SOPS 4598 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3384.598
AT ITER 431 NEW BEST:: SOT 7950 SOS 4597 HAS SOPS 4597 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3383.597
AT ITER 436 NEW BEST:: SOT 7950 SOS 4596 HAS SOPS 4596 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.596
AT ITER 442 NEW BEST:: SOT 7952 SOS 4594 HAS SOPS 4594 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3377.594
AT ITER 445 NEW BEST:: SOT 7950 SOS 4592 HAS SOPS 4592 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.592
AT ITER 452 NEW BEST:: SOT 7971 SOS 4591 HAS SOPS 4591 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3356.591
AT ITER 453 NEW BEST:: SOT 7903 SOS 4523 HAS SOPS 4523 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3354.523
AT ITER 456 NEW BEST:: SOT 7910 SOS 4530 HAS SOPS 4530 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3349.53
AT ITER 461 NEW BEST:: SOT 7903 SOS 4523 HAS SOPS 4523 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3342.523
AT ITER 472 NEW BEST:: SOT 7903 SOS 4526 HAS SOPS 4526 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3337.526
AT ITER 477 NEW BEST:: SOT 7903 SOS 4526 HAS SOPS 4526 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.526
AT ITER 485 NEW BEST:: SOT 7906 SOS 4507 HAS SOPS 4507 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3294.507
AT ITER 486 NEW BEST:: SOT 7911 SOS 4507 HAS SOPS 4507 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.507
AT ITER 509 NEW BEST:: SOT 7881 SOS 4477 HAS SOPS 4477 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3259.477
AT ITER 521 NEW BEST:: SOT 7881 SOS 4475 HAS SOPS 4475 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3257.475
AT ITER 525 NEW BEST:: SOT 7881 SOS 4473 HAS SOPS 4473 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3256.473
AT ITER 526 NEW BEST:: SOT 7858 SOS 4450 HAS SOPS 4450 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3233.45
AT ITER 527 NEW BEST:: SOT 7858 SOS 4450 HAS SOPS 4450 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.45
AT ITER 530 NEW BEST:: SOT 7843 SOS 4365 HAS SOPS 4365 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3187.365
AT ITER 535 NEW BEST:: SOT 7821 SOS 4343 HAS SOPS 4343 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3180.343
AT ITER 547 NEW BEST:: SOT 7821 SOS 4340 HAS SOPS 4340 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3178.34
AT ITER 554 NEW BEST:: SOT 7851 SOS 4342 HAS SOPS 4342 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3176.342
AT ITER 589 NEW BEST:: SOT 7808 SOS 4299 HAS SOPS 4299 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3173.299
AT ITER 593 NEW BEST:: SOT 7805 SOS 4296 HAS SOPS 4296 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3172.296
AT ITER 599 NEW BEST:: SOT 7749 SOS 4240 HAS SOPS 4240 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3135.24
AT ITER 603 NEW BEST:: SOT 7734 SOS 4222 HAS SOPS 4222 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.222
AT ITER 626 NEW BEST:: SOT 7734 SOS 4222 HAS SOPS 4222 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3123.222
AT ITER 630 NEW BEST:: SOT 7734 SOS 4222 HAS SOPS 4222 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3122.222
AT ITER 631 NEW BEST:: SOT 7724 SOS 4212 HAS SOPS 4212 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3112.212
AT ITER 634 NEW BEST:: SOT 7724 SOS 4203 HAS SOPS 4203 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.203
AT ITER 637 NEW BEST:: SOT 7716 SOS 4187 HAS SOPS 4187 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3089.187
AT ITER 645 NEW BEST:: SOT 7739 SOS 4210 HAS SOPS 4210 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3082.21
AT ITER 654 NEW BEST:: SOT 7739 SOS 4206 HAS SOPS 4206 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3082.206
AT ITER 659 NEW BEST:: SOT 7732 SOS 4201 HAS SOPS 4201 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3077.201
AT ITER 660 NEW BEST:: SOT 7730 SOS 4189 HAS SOPS 4189 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3065.189
AT ITER 675 NEW BEST:: SOT 7721 SOS 4165 HAS SOPS 4165 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3059.165
AT ITER 678 NEW BEST:: SOT 7715 SOS 4159 HAS SOPS 4159 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.159
AT ITER 687 NEW BEST:: SOT 7715 SOS 4159 HAS SOPS 4159 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3038.159
AT ITER 712 NEW BEST:: SOT 7703 SOS 4135 HAS SOPS 4135 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3014.135
AT ITER 723 NEW BEST:: SOT 7703 SOS 4153 HAS SOPS 4153 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.153
AT ITER 751 NEW BEST:: SOT 7704 SOS 4143 HAS SOPS 4143 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2986.143
AT ITER 767 NEW BEST:: SOT 7695 SOS 4121 HAS SOPS 4121 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.121
AT ITER 773 NEW BEST:: SOT 7692 SOS 4111 HAS SOPS 4111 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2948.111
AT ITER 784 NEW BEST:: SOT 7693 SOS 4099 HAS SOPS 4099 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.099
AT ITER 803 NEW BEST:: SOT 7693 SOS 4096 HAS SOPS 4096 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2937.096
AT ITER 807 NEW BEST:: SOT 7690 SOS 4086 HAS SOPS 4086 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2927.086
AT ITER 823 NEW BEST:: SOT 7690 SOS 4041 HAS SOPS 4041 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2926.041
AT ITER 845 NEW BEST:: SOT 7667 SOS 4018 HAS SOPS 4018 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.018
AT ITER 847 NEW BEST:: SOT 7651 SOS 3998 HAS SOPS 3998 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2882.998
AT ITER 850 NEW BEST:: SOT 7638 SOS 3966 HAS SOPS 3966 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.966
AT ITER 853 NEW BEST:: SOT 7588 SOS 3927 HAS SOPS 3927 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.927
AT ITER 878 NEW BEST:: SOT 7586 SOS 3922 HAS SOPS 3922 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.922
AT ITER 886 NEW BEST:: SOT 7583 SOS 3919 HAS SOPS 3919 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.919
AT ITER 904 NEW BEST:: SOT 7577 SOS 3913 HAS SOPS 3913 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.913
AT ITER 919 NEW BEST:: SOT 7541 SOS 3865 HAS SOPS 3865 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.865
AT ITER 933 NEW BEST:: SOT 7505 SOS 3852 HAS SOPS 3852 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.852
AT ITER 939 NEW BEST:: SOT 7500 SOS 3840 HAS SOPS 3840 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2755.84
AT ITER 945 NEW BEST:: SOT 7500 SOS 3839 HAS SOPS 3839 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.839
AT ITER 957 NEW BEST:: SOT 7451 SOS 3790 HAS SOPS 3790 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.79
AT ITER 982 NEW BEST:: SOT 7432 SOS 3803 HAS SOPS 3803 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2654.803
AT ITER 1014 NEW BEST:: SOT 7425 SOS 3796 HAS SOPS 3796 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.796
AT ITER 1031 NEW BEST:: SOT 7424 SOS 3795 HAS SOPS 3795 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.795
AT ITER 1049 NEW BEST:: SOT 7403 SOS 3780 HAS SOPS 3780 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.78
AT ITER 1054 NEW BEST:: SOT 7402 SOS 3779 HAS SOPS 3779 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2623.779
AT ITER 1056 NEW BEST:: SOT 7402 SOS 3779 HAS SOPS 3779 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.779
AT ITER 1061 NEW BEST:: SOT 7394 SOS 3771 HAS SOPS 3771 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.771
AT ITER 1079 NEW BEST:: SOT 7377 SOS 3759 HAS SOPS 3759 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.759
AT ITER 1081 NEW BEST:: SOT 7373 SOS 3754 HAS SOPS 3754 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.754
AT ITER 1092 NEW BEST:: SOT 7373 SOS 3736 HAS SOPS 3736 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2575.736
AT ITER 1101 NEW BEST:: SOT 7367 SOS 3730 HAS SOPS 3730 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2569.73
AT ITER 1114 NEW BEST:: SOT 7367 SOS 3730 HAS SOPS 3730 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2568.73
AT ITER 1122 NEW BEST:: SOT 7366 SOS 3728 HAS SOPS 3728 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2566.728
AT ITER 1125 NEW BEST:: SOT 7359 SOS 3721 HAS SOPS 3721 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.721
AT ITER 1134 NEW BEST:: SOT 7359 SOS 3716 HAS SOPS 3716 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.716
AT ITER 1137 NEW BEST:: SOT 7361 SOS 3714 HAS SOPS 3714 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2558.714
AT ITER 1147 NEW BEST:: SOT 7362 SOS 3715 HAS SOPS 3715 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2557.715
AT ITER 1165 NEW BEST:: SOT 7358 SOS 3699 HAS SOPS 3699 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2549.699
AT ITER 1167 NEW BEST:: SOT 7356 SOS 3697 HAS SOPS 3697 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.697
AT ITER 1185 NEW BEST:: SOT 7354 SOS 3695 HAS SOPS 3695 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2545.695
AT ITER 1200 NEW BEST:: SOT 7350 SOS 3690 HAS SOPS 3690 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2544.69
AT ITER 1267 NEW BEST:: SOT 7349 SOS 3689 HAS SOPS 3689 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2541.689
AT ITER 1287 NEW BEST:: SOT 7347 SOS 3687 HAS SOPS 3687 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.687
AT ITER 1288 NEW BEST:: SOT 7342 SOS 3677 HAS SOPS 3677 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.677
AT ITER 1311 NEW BEST:: SOT 7325 SOS 3652 HAS SOPS 3652 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2504.652
AT ITER 1334 NEW BEST:: SOT 7325 SOS 3654 HAS SOPS 3654 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2500.654
AT ITER 1363 NEW BEST:: SOT 7312 SOS 3641 HAS SOPS 3641 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2494.641
AT ITER 1368 NEW BEST:: SOT 7300 SOS 3620 HAS SOPS 3620 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2473.62
AT ITER 1398 NEW BEST:: SOT 7300 SOS 3605 HAS SOPS 3605 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.605
AT ITER 1437 NEW BEST:: SOT 7302 SOS 3601 HAS SOPS 3601 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2454.601
AT ITER 1449 NEW BEST:: SOT 7300 SOS 3599 HAS SOPS 3599 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2452.599
AT ITER 1457 NEW BEST:: SOT 7299 SOS 3598 HAS SOPS 3598 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2451.598
AT ITER 1489 NEW BEST:: SOT 7299 SOS 3593 HAS SOPS 3593 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2446.593
AT ITER 1502 NEW BEST:: SOT 7299 SOS 3588 HAS SOPS 3588 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.588
AT ITER 1510 NEW BEST:: SOT 7287 SOS 3576 HAS SOPS 3576 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2429.576
AT ITER 1527 NEW BEST:: SOT 7282 SOS 3571 HAS SOPS 3571 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.571
AT ITER 1550 NEW BEST:: SOT 7277 SOS 3555 HAS SOPS 3555 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.555
AT ITER 1610 NEW BEST:: SOT 7263 SOS 3541 HAS SOPS 3541 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.541
AT ITER 1679 NEW BEST:: SOT 7250 SOS 3528 HAS SOPS 3528 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2385.528
AT ITER 1738 NEW BEST:: SOT 7248 SOS 3526 HAS SOPS 3526 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.526
AT ITER 1744 NEW BEST:: SOT 7243 SOS 3521 HAS SOPS 3521 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2380.521
AT ITER 1763 NEW BEST:: SOT 7244 SOS 3522 HAS SOPS 3522 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2378.522
AT ITER 1769 NEW BEST:: SOT 7243 SOS 3521 HAS SOPS 3521 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.521
AT ITER 1786 NEW BEST:: SOT 7243 SOS 3517 HAS SOPS 3517 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.517
AT ITER 1820 NEW BEST:: SOT 7241 SOS 3515 HAS SOPS 3515 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2376.515
AT ITER 1824 NEW BEST:: SOT 7240 SOS 3514 HAS SOPS 3514 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2374.514
AT ITER 1837 NEW BEST:: SOT 7244 SOS 3531 HAS SOPS 3531 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2370.531
AT ITER 1930 NEW BEST:: SOT 7245 SOS 3530 HAS SOPS 3530 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.53
AT ITER 1937 NEW BEST:: SOT 7243 SOS 3528 HAS SOPS 3528 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2367.528
AT ITER 2038 NEW BEST:: SOT 7255 SOS 3524 HAS SOPS 3524 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2367.524
AT ITER 2071 NEW BEST:: SOT 7248 SOS 3510 HAS SOPS 3510 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.51
AT ITER 2109 NEW BEST:: SOT 7246 SOS 3508 HAS SOPS 3508 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.508
AT ITER 2141 NEW BEST:: SOT 7243 SOS 3505 HAS SOPS 3505 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2353.505
AT ITER 2143 NEW BEST:: SOT 7239 SOS 3505 HAS SOPS 3505 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.505
AT ITER 2145 NEW BEST:: SOT 7242 SOS 3498 HAS SOPS 3498 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.498
AT ITER 2160 NEW BEST:: SOT 7241 SOS 3494 HAS SOPS 3494 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.494
AT ITER 2169 NEW BEST:: SOT 7233 SOS 3486 HAS SOPS 3486 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.486
AT ITER 2199 NEW BEST:: SOT 7233 SOS 3486 HAS SOPS 3486 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2334.486
AT ITER 2202 NEW BEST:: SOT 7231 SOS 3484 HAS SOPS 3484 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2332.484
AT ITER 2204 NEW BEST:: SOT 7193 SOS 3446 HAS SOPS 3446 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2320.446
AT ITER 2217 NEW BEST:: SOT 7193 SOS 3447 HAS SOPS 3447 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.447
AT ITER 2229 NEW BEST:: SOT 7191 SOS 3445 HAS SOPS 3445 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.445
AT ITER 2230 NEW BEST:: SOT 7191 SOS 3444 HAS SOPS 3444 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2315.444
AT ITER 2271 NEW BEST:: SOT 7187 SOS 3442 HAS SOPS 3442 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2313.442
AT ITER 2297 NEW BEST:: SOT 7185 SOS 3438 HAS SOPS 3438 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.438
AT ITER 2388 NEW BEST:: SOT 7180 SOS 3433 HAS SOPS 3433 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2307.433
AT ITER 2426 NEW BEST:: SOT 7179 SOS 3432 HAS SOPS 3432 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2306.432
AT ITER 2432 NEW BEST:: SOT 7185 SOS 3428 HAS SOPS 3428 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.428
AT ITER 2434 NEW BEST:: SOT 7185 SOS 3420 HAS SOPS 3420 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2297.42
AT ITER 2454 NEW BEST:: SOT 7184 SOS 3418 HAS SOPS 3418 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2295.418
AT ITER 2474 NEW BEST:: SOT 7174 SOS 3415 HAS SOPS 3415 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2292.415
AT ITER 2500 NEW BEST:: SOT 7173 SOS 3414 HAS SOPS 3414 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2291.414
AT ITER 2511 NEW BEST:: SOT 7173 SOS 3412 HAS SOPS 3412 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.412
AT ITER 2512 NEW BEST:: SOT 7153 SOS 3381 HAS SOPS 3381 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2258.381
AT ITER 2546 NEW BEST:: SOT 7151 SOS 3379 HAS SOPS 3379 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.379
AT ITER 2548 NEW BEST:: SOT 7144 SOS 3378 HAS SOPS 3378 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.378
AT ITER 2583 NEW BEST:: SOT 7144 SOS 3377 HAS SOPS 3377 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.377
AT ITER 2708 NEW BEST:: SOT 7141 SOS 3374 HAS SOPS 3374 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2253.374
AT ITER 2788 NEW BEST:: SOT 7141 SOS 3373 HAS SOPS 3373 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2252.373
AT ITER 2876 NEW BEST:: SOT 7141 SOS 3373 HAS SOPS 3373 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.373
AT ITER 2879 NEW BEST:: SOT 7141 SOS 3372 HAS SOPS 3372 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2242.372
AT ITER 2961 NEW BEST:: SOT 7138 SOS 3362 HAS SOPS 3362 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2242.362
AT ITER 2991 NEW BEST:: SOT 7128 SOS 3344 HAS SOPS 3344 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2240.344
AT ITER 2994 NEW BEST:: SOT 7128 SOS 3345 HAS SOPS 3345 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2237.345
AT ITER 2995 NEW BEST:: SOT 7126 SOS 3341 HAS SOPS 3341 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2233.341
AT ITER 3005 NEW BEST:: SOT 7124 SOS 3339 HAS SOPS 3339 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2231.339
AT ITER 3045 NEW BEST:: SOT 7118 SOS 3337 HAS SOPS 3337 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2229.337
AT ITER 3053 NEW BEST:: SOT 7117 SOS 3328 HAS SOPS 3328 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.328
AT ITER 3056 NEW BEST:: SOT 7117 SOS 3327 HAS SOPS 3327 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2221.327
AT ITER 3089 NEW BEST:: SOT 7116 SOS 3326 HAS SOPS 3326 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.326
AT ITER 3117 NEW BEST:: SOT 7113 SOS 3323 HAS SOPS 3323 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2217.323
AT ITER 3147 NEW BEST:: SOT 7113 SOS 3319 HAS SOPS 3319 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2214.319
AT ITER 3175 NEW BEST:: SOT 7113 SOS 3315 HAS SOPS 3315 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.315
AT ITER 3224 NEW BEST:: SOT 7114 SOS 3307 HAS SOPS 3307 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2204.307
AT ITER 3231 NEW BEST:: SOT 7094 SOS 3267 HAS SOPS 3267 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2184.267
AT ITER 3320 NEW BEST:: SOT 7094 SOS 3267 HAS SOPS 3267 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.267
AT ITER 3354 NEW BEST:: SOT 7093 SOS 3251 HAS SOPS 3251 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2177.251
AT ITER 3363 NEW BEST:: SOT 7094 SOS 3252 HAS SOPS 3252 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2162.252
AT ITER 3365 NEW BEST:: SOT 7091 SOS 3274 HAS SOPS 3274 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2156.274
AT ITER 3448 NEW BEST:: SOT 7087 SOS 3270 HAS SOPS 3270 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2153.27
AT ITER 3488 NEW BEST:: SOT 7088 SOS 3264 HAS SOPS 3264 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.264
AT ITER 3637 NEW BEST:: SOT 7087 SOS 3263 HAS SOPS 3263 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2146.263
AT ITER 3719 NEW BEST:: SOT 7083 SOS 3252 HAS SOPS 3252 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.252
AT ITER 3748 NEW BEST:: SOT 7083 SOS 3249 HAS SOPS 3249 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.249
AT ITER 3782 NEW BEST:: SOT 7079 SOS 3241 HAS SOPS 3241 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2124.241
AT ITER 3821 NEW BEST:: SOT 7078 SOS 3240 HAS SOPS 3240 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2124.24
AT ITER 3891 NEW BEST:: SOT 7070 SOS 3232 HAS SOPS 3232 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2116.232
AT ITER 3921 NEW BEST:: SOT 7069 SOS 3230 HAS SOPS 3230 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2114.23
AT ITER 3940 NEW BEST:: SOT 7068 SOS 3229 HAS SOPS 3229 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2113.229
AT ITER 3965 NEW BEST:: SOT 7065 SOS 3223 HAS SOPS 3223 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2110.223
AT ITER 3982 NEW BEST:: SOT 7065 SOS 3222 HAS SOPS 3222 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2109.222
AT ITER 4038 NEW BEST:: SOT 7063 SOS 3217 HAS SOPS 3217 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.217
AT ITER 4102 NEW BEST:: SOT 7062 SOS 3213 HAS SOPS 3213 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2105.213
AT ITER 4269 NEW BEST:: SOT 7066 SOS 3217 HAS SOPS 3217 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.217
AT ITER 4336 NEW BEST:: SOT 7067 SOS 3208 HAS SOPS 3208 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2098.208
AT ITER 4338 NEW BEST:: SOT 7063 SOS 3197 HAS SOPS 3197 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2096.197
AT ITER 4347 NEW BEST:: SOT 7063 SOS 3197 HAS SOPS 3197 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2095.197
AT ITER 4503 NEW BEST:: SOT 7063 SOS 3197 HAS SOPS 3197 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2094.197
AT ITER 4562 NEW BEST:: SOT 7062 SOS 3194 HAS SOPS 3194 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2091.194
AT ITER 4753 NEW BEST:: SOT 7062 SOS 3189 HAS SOPS 3189 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2090.189
AT ITER 4768 NEW BEST:: SOT 7061 SOS 3188 HAS SOPS 3188 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2089.188
AT ITER 4875 NEW BEST:: SOT 7061 SOS 3188 HAS SOPS 3188 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2088.188
AT ITER 4904 NEW BEST:: SOT 7057 SOS 3183 HAS SOPS 3183 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2083.183
AT ITER 4941 NEW BEST:: SOT 7057 SOS 3182 HAS SOPS 3182 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2083.182
AT ITER 4944 NEW BEST:: SOT 7052 SOS 3177 HAS SOPS 3177 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2083.177
AT ITER 5017 NEW BEST:: SOT 7041 SOS 3173 HAS SOPS 3173 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2079.173
AT ITER 5087 NEW BEST:: SOT 7040 SOS 3172 HAS SOPS 3172 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2078.172
AT ITER 5122 NEW BEST:: SOT 7039 SOS 3171 HAS SOPS 3171 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2077.171
AT ITER 5192 NEW BEST:: SOT 7036 SOS 3168 HAS SOPS 3168 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2074.168
AT ITER 5225 NEW BEST:: SOT 7031 SOS 3161 HAS SOPS 3161 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2067.161
AT ITER 5358 NEW BEST:: SOT 7027 SOS 3159 HAS SOPS 3159 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2065.159
AT ITER 5375 NEW BEST:: SOT 7027 SOS 3158 HAS SOPS 3158 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2064.158
AT ITER 5388 NEW BEST:: SOT 7027 SOS 3152 HAS SOPS 3152 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.152
AT ITER 5433 NEW BEST:: SOT 7027 SOS 3152 HAS SOPS 3152 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2056.152
AT ITER 5556 NEW BEST:: SOT 7022 SOS 3146 HAS SOPS 3146 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.146
AT ITER 5666 NEW BEST:: SOT 7021 SOS 3145 HAS SOPS 3145 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2051.145
AT ITER 5751 NEW BEST:: SOT 7021 SOS 3143 HAS SOPS 3143 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2049.143
AT ITER 5905 NEW BEST:: SOT 7015 SOS 3133 HAS SOPS 3133 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2041.133
AT ITER 5996 NEW BEST:: SOT 7014 SOS 3139 HAS SOPS 3139 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2039.139
AT ITER 6003 NEW BEST:: SOT 7014 SOS 3133 HAS SOPS 3133 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2036.133
AT ITER 6060 NEW BEST:: SOT 7013 SOS 3132 HAS SOPS 3132 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2035.132
AT ITER 6212 NEW BEST:: SOT 7010 SOS 3128 HAS SOPS 3128 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.128
AT ITER 6303 NEW BEST:: SOT 7010 SOS 3126 HAS SOPS 3126 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2032.126
AT ITER 6370 NEW BEST:: SOT 7007 SOS 3123 HAS SOPS 3123 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2029.123
AT ITER 6401 NEW BEST:: SOT 7007 SOS 3122 HAS SOPS 3122 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2028.122
AT ITER 6480 NEW BEST:: SOT 7007 SOS 3121 HAS SOPS 3121 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2027.121
AT ITER 6661 NEW BEST:: SOT 7006 SOS 3120 HAS SOPS 3120 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2026.12
AT ITER 6767 NEW BEST:: SOT 7031 SOS 3136 HAS SOPS 3136 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2016.136
AT ITER 6820 NEW BEST:: SOT 7031 SOS 3131 HAS SOPS 3131 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2015.131
AT ITER 6869 NEW BEST:: SOT 7030 SOS 3129 HAS SOPS 3129 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2013.129
AT ITER 6962 NEW BEST:: SOT 7028 SOS 3127 HAS SOPS 3127 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2011.127
AT ITER 7119 NEW BEST:: SOT 7025 SOS 3116 HAS SOPS 3116 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2003.116
AT ITER 7197 NEW BEST:: SOT 7024 SOS 3115 HAS SOPS 3115 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2001.115
AT ITER 7213 NEW BEST:: SOT 6979 SOS 3063 HAS SOPS 3063 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1973.063
AT ITER 7221 NEW BEST:: SOT 6979 SOS 3126 HAS SOPS 3126 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1966.126
AT ITER 7376 NEW BEST:: SOT 6979 SOS 3117 HAS SOPS 3117 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1966.117
AT ITER 7448 NEW BEST:: SOT 6978 SOS 3116 HAS SOPS 3116 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.116
AT ITER 7456 NEW BEST:: SOT 6976 SOS 3115 HAS SOPS 3115 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1964.115
AT ITER 7557 NEW BEST:: SOT 6974 SOS 3105 HAS SOPS 3105 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1958.105
AT ITER 7653 NEW BEST:: SOT 6974 SOS 3104 HAS SOPS 3104 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1957.104
AT ITER 7686 NEW BEST:: SOT 6966 SOS 3091 HAS SOPS 3091 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1944.091
AT ITER 7839 NEW BEST:: SOT 6966 SOS 3046 HAS SOPS 3046 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.046
AT ITER 7949 NEW BEST:: SOT 6965 SOS 3045 HAS SOPS 3045 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.045
AT ITER 8083 NEW BEST:: SOT 6965 SOS 3040 HAS SOPS 3040 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1928.04
AT ITER 8088 NEW BEST:: SOT 6965 SOS 3039 HAS SOPS 3039 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1927.039
AT ITER 8098 NEW BEST:: SOT 6965 SOS 3036 HAS SOPS 3036 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1924.036
AT ITER 8137 NEW BEST:: SOT 6965 SOS 3035 HAS SOPS 3035 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1923.035
AT ITER 8493 NEW BEST:: SOT 6965 SOS 3034 HAS SOPS 3034 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1922.034
AT ITER 8571 NEW BEST:: SOT 6966 SOS 3033 HAS SOPS 3033 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1921.033
AT ITER 8677 NEW BEST:: SOT 6967 SOS 3033 HAS SOPS 3033 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.033
AT ITER 8779 NEW BEST:: SOT 6963 SOS 3025 HAS SOPS 3025 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.025
AT ITER 8797 NEW BEST:: SOT 6972 SOS 3034 HAS SOPS 3034 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1911.034
AT ITER 8916 NEW BEST:: SOT 6971 SOS 3032 HAS SOPS 3032 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1909.032
AT ITER 8945 NEW BEST:: SOT 6968 SOS 3043 HAS SOPS 3043 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.043
AT ITER 8948 NEW BEST:: SOT 6967 SOS 3036 HAS SOPS 3036 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.036
AT ITER 9021 NEW BEST:: SOT 6966 SOS 3035 HAS SOPS 3035 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1907.035
AT ITER 9048 NEW BEST:: SOT 6967 SOS 3035 HAS SOPS 3035 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.035
AT ITER 9209 NEW BEST:: SOT 6966 SOS 3034 HAS SOPS 3034 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1905.034
AT ITER 9513 NEW BEST:: SOT 6963 SOS 3030 HAS SOPS 3030 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1902.03
AT ITER 9642 NEW BEST:: SOT 6961 SOS 3028 HAS SOPS 3028 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1901.028
AT ITER 9656 NEW BEST:: SOT 6940 SOS 3005 HAS SOPS 3005 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1892.005
AT ITER 9692 NEW BEST:: SOT 6939 SOS 3004 HAS SOPS 3004 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1891.004
AT ITER 9711 NEW BEST:: SOT 6937 SOS 3000 HAS SOPS 3000 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1889.0
AT ITER 9754 NEW BEST:: SOT 6937 SOS 2998 HAS SOPS 2998 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.998
AT ITER 9833 NEW BEST:: SOT 6930 SOS 2997 HAS SOPS 2997 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.997
STATE_SPACE STATES 230998451325 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2803883967521 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678241134873

--------------------
content from stderr:

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="DES-PT-05a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is DES-PT-05a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472400400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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