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.r331-tall-167889204300312.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 Raft-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204300312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 17:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 17:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 17:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 17:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 41K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679138042377

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=Raft-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:14:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:14:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:14:04] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2023-03-18 11:14:04] [INFO ] Transformed 88 places.
[2023-03-18 11:14:04] [INFO ] Transformed 160 transitions.
[2023-03-18 11:14:04] [INFO ] Found NUPN structural information;
[2023-03-18 11:14:04] [INFO ] Parsed PT model containing 88 places and 160 transitions and 563 arcs in 116 ms.
[2023-03-18 11:14:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 88 places, 160 transitions and 563 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 Raft (PT), instance 04
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: 88 places, 160 transitions, 563 arcs.
AT ITER 0 NEW BEST:: SOT 11995 SOS 7472 HAS SOPS 7456 HAS SOUS 5991 HAS SOUPS 5987 WITH SCORE 5994.472
AT ITER 2 NEW BEST:: SOT 11931 SOS 7440 HAS SOPS 7413 HAS SOUS 5947 HAS SOUPS 5934 WITH SCORE 5941.44
AT ITER 5 NEW BEST:: SOT 11931 SOS 7376 HAS SOPS 7349 HAS SOUS 5931 HAS SOUPS 5918 WITH SCORE 5925.376
AT ITER 6 NEW BEST:: SOT 12010 SOS 7345 HAS SOPS 7213 HAS SOUS 5984 HAS SOUPS 5866 WITH SCORE 5873.345
AT ITER 7 NEW BEST:: SOT 12010 SOS 7256 HAS SOPS 7148 HAS SOUS 5917 HAS SOUPS 5823 WITH SCORE 5830.256
AT ITER 9 NEW BEST:: SOT 12010 SOS 7209 HAS SOPS 7101 HAS SOUS 5884 HAS SOUPS 5790 WITH SCORE 5797.209
AT ITER 13 NEW BEST:: SOT 12166 SOS 7452 HAS SOPS 7021 HAS SOUS 6019 HAS SOUPS 5602 WITH SCORE 5609.452
AT ITER 14 NEW BEST:: SOT 11765 SOS 7326 HAS SOPS 6745 HAS SOUS 5876 HAS SOUPS 5437 WITH SCORE 5444.326
AT ITER 15 NEW BEST:: SOT 11765 SOS 7303 HAS SOPS 6722 HAS SOUS 5876 HAS SOUPS 5437 WITH SCORE 5444.303
AT ITER 16 NEW BEST:: SOT 11765 SOS 7303 HAS SOPS 6718 HAS SOUS 5874 HAS SOUPS 5435 WITH SCORE 5442.303
AT ITER 17 NEW BEST:: SOT 11765 SOS 7302 HAS SOPS 6717 HAS SOUS 5867 HAS SOUPS 5428 WITH SCORE 5435.302
AT ITER 19 NEW BEST:: SOT 11626 SOS 7164 HAS SOPS 6579 HAS SOUS 5730 HAS SOUPS 5291 WITH SCORE 5298.164
AT ITER 20 NEW BEST:: SOT 11627 SOS 7104 HAS SOPS 6439 HAS SOUS 5661 HAS SOUPS 5218 WITH SCORE 5225.104
AT ITER 22 NEW BEST:: SOT 11352 SOS 6990 HAS SOPS 6218 HAS SOUS 5506 HAS SOUPS 5034 WITH SCORE 5040.99
AT ITER 23 NEW BEST:: SOT 11352 SOS 6970 HAS SOPS 6198 HAS SOUS 5496 HAS SOUPS 5024 WITH SCORE 5030.97
AT ITER 25 NEW BEST:: SOT 11147 SOS 6918 HAS SOPS 6061 HAS SOUS 5442 HAS SOUPS 4945 WITH SCORE 4951.918
AT ITER 26 NEW BEST:: SOT 11069 SOS 6840 HAS SOPS 6012 HAS SOUS 5369 HAS SOUPS 4884 WITH SCORE 4890.84
AT ITER 29 NEW BEST:: SOT 10949 SOS 6842 HAS SOPS 5930 HAS SOUS 5330 HAS SOUPS 4833 WITH SCORE 4839.842
AT ITER 30 NEW BEST:: SOT 10949 SOS 6838 HAS SOPS 5928 HAS SOUS 5330 HAS SOUPS 4833 WITH SCORE 4839.838
AT ITER 31 NEW BEST:: SOT 10855 SOS 6744 HAS SOPS 5825 HAS SOUS 5228 HAS SOUPS 4730 WITH SCORE 4736.744
AT ITER 32 NEW BEST:: SOT 10855 SOS 6657 HAS SOPS 5738 HAS SOUS 5228 HAS SOUPS 4730 WITH SCORE 4736.657
AT ITER 34 NEW BEST:: SOT 10831 SOS 6501 HAS SOPS 5515 HAS SOUS 5158 HAS SOUPS 4653 WITH SCORE 4659.501
AT ITER 35 NEW BEST:: SOT 10649 SOS 6468 HAS SOPS 5445 HAS SOUS 5020 HAS SOUPS 4512 WITH SCORE 4518.468
AT ITER 37 NEW BEST:: SOT 10584 SOS 6394 HAS SOPS 5425 HAS SOUS 4933 HAS SOUPS 4479 WITH SCORE 4485.394
AT ITER 38 NEW BEST:: SOT 10542 SOS 6391 HAS SOPS 5389 HAS SOUS 4906 HAS SOUPS 4449 WITH SCORE 4455.391
AT ITER 41 NEW BEST:: SOT 10334 SOS 6591 HAS SOPS 5281 HAS SOUS 4879 HAS SOUPS 4397 WITH SCORE 4403.591
AT ITER 43 NEW BEST:: SOT 10181 SOS 6490 HAS SOPS 5255 HAS SOUS 4765 HAS SOUPS 4396 WITH SCORE 4402.49
AT ITER 46 NEW BEST:: SOT 10180 SOS 6489 HAS SOPS 5253 HAS SOUS 4763 HAS SOUPS 4394 WITH SCORE 4400.489
AT ITER 47 NEW BEST:: SOT 10178 SOS 6487 HAS SOPS 5249 HAS SOUS 4757 HAS SOUPS 4388 WITH SCORE 4394.487
AT ITER 51 NEW BEST:: SOT 10176 SOS 6502 HAS SOPS 5276 HAS SOUS 4753 HAS SOUPS 4384 WITH SCORE 4390.502
AT ITER 54 NEW BEST:: SOT 10172 SOS 6500 HAS SOPS 5270 HAS SOUS 4749 HAS SOUPS 4380 WITH SCORE 4386.5
AT ITER 56 NEW BEST:: SOT 10187 SOS 6497 HAS SOPS 5293 HAS SOUS 4748 HAS SOUPS 4380 WITH SCORE 4386.497
AT ITER 62 NEW BEST:: SOT 10147 SOS 6475 HAS SOPS 5304 HAS SOUS 4724 HAS SOUPS 4356 WITH SCORE 4362.475
AT ITER 63 NEW BEST:: SOT 10136 SOS 6457 HAS SOPS 5282 HAS SOUS 4702 HAS SOUPS 4334 WITH SCORE 4340.457
AT ITER 65 NEW BEST:: SOT 10136 SOS 6363 HAS SOPS 5234 HAS SOUS 4678 HAS SOUPS 4334 WITH SCORE 4340.363
AT ITER 69 NEW BEST:: SOT 10136 SOS 6337 HAS SOPS 5199 HAS SOUS 4678 HAS SOUPS 4334 WITH SCORE 4340.337
AT ITER 70 NEW BEST:: SOT 10136 SOS 6283 HAS SOPS 5145 HAS SOUS 4678 HAS SOUPS 4334 WITH SCORE 4340.283
AT ITER 79 NEW BEST:: SOT 10124 SOS 6179 HAS SOPS 5052 HAS SOUS 4662 HAS SOUPS 4318 WITH SCORE 4324.179
AT ITER 83 NEW BEST:: SOT 10124 SOS 6135 HAS SOPS 5031 HAS SOUS 4662 HAS SOUPS 4318 WITH SCORE 4324.135
AT ITER 90 NEW BEST:: SOT 10120 SOS 6131 HAS SOPS 5019 HAS SOUS 4656 HAS SOUPS 4312 WITH SCORE 4318.131
AT ITER 96 NEW BEST:: SOT 10124 SOS 6110 HAS SOPS 4998 HAS SOUS 4655 HAS SOUPS 4311 WITH SCORE 4317.11
AT ITER 97 NEW BEST:: SOT 10126 SOS 6114 HAS SOPS 4994 HAS SOUS 4648 HAS SOUPS 4304 WITH SCORE 4310.114
AT ITER 98 NEW BEST:: SOT 9961 SOS 5996 HAS SOPS 4857 HAS SOUS 4518 HAS SOUPS 4167 WITH SCORE 4172.996
AT ITER 101 NEW BEST:: SOT 9961 SOS 5966 HAS SOPS 4827 HAS SOUS 4518 HAS SOUPS 4167 WITH SCORE 4172.966
AT ITER 105 NEW BEST:: SOT 9961 SOS 5966 HAS SOPS 4817 HAS SOUS 4508 HAS SOUPS 4157 WITH SCORE 4162.966
AT ITER 114 NEW BEST:: SOT 9949 SOS 5983 HAS SOPS 4796 HAS SOUS 4486 HAS SOUPS 4135 WITH SCORE 4140.983
AT ITER 115 NEW BEST:: SOT 9954 SOS 5968 HAS SOPS 4794 HAS SOUS 4484 HAS SOUPS 4134 WITH SCORE 4139.968
AT ITER 117 NEW BEST:: SOT 9954 SOS 5921 HAS SOPS 4745 HAS SOUS 4484 HAS SOUPS 4134 WITH SCORE 4139.921
AT ITER 121 NEW BEST:: SOT 9976 SOS 5862 HAS SOPS 4691 HAS SOUS 4457 HAS SOUPS 4107 WITH SCORE 4112.862
AT ITER 122 NEW BEST:: SOT 9864 SOS 5861 HAS SOPS 4783 HAS SOUS 4449 HAS SOUPS 4099 WITH SCORE 4104.861
AT ITER 124 NEW BEST:: SOT 9857 SOS 5980 HAS SOPS 4834 HAS SOUS 4480 HAS SOUPS 4095 WITH SCORE 4100.98
AT ITER 127 NEW BEST:: SOT 9867 SOS 5978 HAS SOPS 4838 HAS SOUS 4475 HAS SOUPS 4090 WITH SCORE 4095.978
AT ITER 128 NEW BEST:: SOT 9835 SOS 5946 HAS SOPS 4805 HAS SOUS 4441 HAS SOUPS 4060 WITH SCORE 4065.946
AT ITER 133 NEW BEST:: SOT 9835 SOS 5922 HAS SOPS 4781 HAS SOUS 4441 HAS SOUPS 4060 WITH SCORE 4065.922
AT ITER 138 NEW BEST:: SOT 9853 SOS 5812 HAS SOPS 4643 HAS SOUS 4407 HAS SOUPS 4026 WITH SCORE 4031.812
AT ITER 139 NEW BEST:: SOT 9853 SOS 5803 HAS SOPS 4639 HAS SOUS 4407 HAS SOUPS 4026 WITH SCORE 4031.803
AT ITER 141 NEW BEST:: SOT 9853 SOS 5786 HAS SOPS 4629 HAS SOUS 4407 HAS SOUPS 4026 WITH SCORE 4031.786
AT ITER 142 NEW BEST:: SOT 9675 SOS 5656 HAS SOPS 4649 HAS SOUS 4336 HAS SOUPS 3955 WITH SCORE 3960.656
AT ITER 146 NEW BEST:: SOT 9671 SOS 5644 HAS SOPS 4629 HAS SOUS 4324 HAS SOUPS 3939 WITH SCORE 3944.644
AT ITER 148 NEW BEST:: SOT 9684 SOS 5594 HAS SOPS 4636 HAS SOUS 4257 HAS SOUPS 3918 WITH SCORE 3923.594
AT ITER 150 NEW BEST:: SOT 9658 SOS 5568 HAS SOPS 4592 HAS SOUS 4237 HAS SOUPS 3898 WITH SCORE 3903.568
AT ITER 153 NEW BEST:: SOT 9624 SOS 5496 HAS SOPS 4512 HAS SOUS 4213 HAS SOUPS 3874 WITH SCORE 3879.496
AT ITER 154 NEW BEST:: SOT 9476 SOS 5433 HAS SOPS 4519 HAS SOUS 4081 HAS SOUPS 3742 WITH SCORE 3747.433
AT ITER 162 NEW BEST:: SOT 9476 SOS 5394 HAS SOPS 4471 HAS SOUS 4037 HAS SOUPS 3698 WITH SCORE 3703.394
AT ITER 164 NEW BEST:: SOT 9451 SOS 5353 HAS SOPS 4421 HAS SOUS 3988 HAS SOUPS 3649 WITH SCORE 3654.353
AT ITER 166 NEW BEST:: SOT 9449 SOS 5351 HAS SOPS 4419 HAS SOUS 3979 HAS SOUPS 3640 WITH SCORE 3645.351
AT ITER 171 NEW BEST:: SOT 9156 SOS 5478 HAS SOPS 4341 HAS SOUS 3920 HAS SOUPS 3549 WITH SCORE 3554.478
AT ITER 174 NEW BEST:: SOT 9170 SOS 5429 HAS SOPS 4315 HAS SOUS 3916 HAS SOUPS 3548 WITH SCORE 3553.429
AT ITER 178 NEW BEST:: SOT 9168 SOS 5437 HAS SOPS 4309 HAS SOUS 3914 HAS SOUPS 3546 WITH SCORE 3551.437
AT ITER 180 NEW BEST:: SOT 9140 SOS 5384 HAS SOPS 4281 HAS SOUS 3886 HAS SOUPS 3543 WITH SCORE 3548.384
AT ITER 181 NEW BEST:: SOT 9116 SOS 5360 HAS SOPS 4254 HAS SOUS 3878 HAS SOUPS 3535 WITH SCORE 3540.36
AT ITER 183 NEW BEST:: SOT 9107 SOS 5346 HAS SOPS 4240 HAS SOUS 3864 HAS SOUPS 3521 WITH SCORE 3526.346
AT ITER 185 NEW BEST:: SOT 9095 SOS 5271 HAS SOPS 4075 HAS SOUS 3809 HAS SOUPS 3466 WITH SCORE 3471.271
AT ITER 187 NEW BEST:: SOT 9095 SOS 5216 HAS SOPS 3996 HAS SOUS 3773 HAS SOUPS 3430 WITH SCORE 3435.216
AT ITER 189 NEW BEST:: SOT 9077 SOS 5292 HAS SOPS 4018 HAS SOUS 3783 HAS SOUPS 3386 WITH SCORE 3391.292
AT ITER 193 NEW BEST:: SOT 9019 SOS 5234 HAS SOPS 3931 HAS SOUS 3696 HAS SOUPS 3299 WITH SCORE 3304.234
AT ITER 204 NEW BEST:: SOT 8995 SOS 5184 HAS SOPS 3886 HAS SOUS 3634 HAS SOUPS 3237 WITH SCORE 3242.184
AT ITER 205 NEW BEST:: SOT 8973 SOS 5163 HAS SOPS 3881 HAS SOUS 3634 HAS SOUPS 3237 WITH SCORE 3242.163
AT ITER 211 NEW BEST:: SOT 8971 SOS 5133 HAS SOPS 3878 HAS SOUS 3632 HAS SOUPS 3235 WITH SCORE 3240.133
AT ITER 219 NEW BEST:: SOT 8891 SOS 5116 HAS SOPS 3886 HAS SOUS 3585 HAS SOUPS 3188 WITH SCORE 3193.116
AT ITER 220 NEW BEST:: SOT 8797 SOS 5038 HAS SOPS 3843 HAS SOUS 3538 HAS SOUPS 3141 WITH SCORE 3146.038
AT ITER 226 NEW BEST:: SOT 8781 SOS 5034 HAS SOPS 3853 HAS SOUS 3524 HAS SOUPS 3127 WITH SCORE 3132.034
AT ITER 230 NEW BEST:: SOT 8761 SOS 5050 HAS SOPS 3830 HAS SOUS 3522 HAS SOUPS 3125 WITH SCORE 3130.05
AT ITER 250 NEW BEST:: SOT 8761 SOS 5050 HAS SOPS 3830 HAS SOUS 3518 HAS SOUPS 3121 WITH SCORE 3126.05
AT ITER 251 NEW BEST:: SOT 8737 SOS 5026 HAS SOPS 3806 HAS SOUS 3505 HAS SOUPS 3108 WITH SCORE 3113.026
AT ITER 253 NEW BEST:: SOT 8731 SOS 5020 HAS SOPS 3797 HAS SOUS 3487 HAS SOUPS 3090 WITH SCORE 3095.02
AT ITER 259 NEW BEST:: SOT 8716 SOS 5005 HAS SOPS 3730 HAS SOUS 3451 HAS SOUPS 3023 WITH SCORE 3028.005
AT ITER 270 NEW BEST:: SOT 8710 SOS 4999 HAS SOPS 3722 HAS SOUS 3445 HAS SOUPS 3017 WITH SCORE 3021.999
AT ITER 277 NEW BEST:: SOT 8736 SOS 4967 HAS SOPS 3730 HAS SOUS 3402 HAS SOUPS 3014 WITH SCORE 3018.967
AT ITER 287 NEW BEST:: SOT 8736 SOS 4961 HAS SOPS 3722 HAS SOUS 3396 HAS SOUPS 3008 WITH SCORE 3012.961
AT ITER 288 NEW BEST:: SOT 8716 SOS 4949 HAS SOPS 3707 HAS SOUS 3399 HAS SOUPS 3008 WITH SCORE 3012.949
AT ITER 292 NEW BEST:: SOT 8715 SOS 4947 HAS SOPS 3705 HAS SOUS 3389 HAS SOUPS 2998 WITH SCORE 3002.947
AT ITER 293 NEW BEST:: SOT 8724 SOS 4953 HAS SOPS 3693 HAS SOUS 3392 HAS SOUPS 2983 WITH SCORE 2987.953
AT ITER 298 NEW BEST:: SOT 8721 SOS 4945 HAS SOPS 3686 HAS SOUS 3380 HAS SOUPS 2971 WITH SCORE 2975.945
AT ITER 305 NEW BEST:: SOT 8736 SOS 4942 HAS SOPS 3728 HAS SOUS 3379 HAS SOUPS 2970 WITH SCORE 2974.942
AT ITER 309 NEW BEST:: SOT 8710 SOS 4916 HAS SOPS 3764 HAS SOUS 3354 HAS SOUPS 2945 WITH SCORE 2949.916
AT ITER 313 NEW BEST:: SOT 8832 SOS 5001 HAS SOPS 3766 HAS SOUS 3446 HAS SOUPS 2932 WITH SCORE 2937.001
AT ITER 316 NEW BEST:: SOT 8827 SOS 4981 HAS SOPS 3771 HAS SOUS 3445 HAS SOUPS 2931 WITH SCORE 2935.981
AT ITER 324 NEW BEST:: SOT 8827 SOS 4981 HAS SOPS 3771 HAS SOUS 3443 HAS SOUPS 2929 WITH SCORE 2933.981
AT ITER 333 NEW BEST:: SOT 8744 SOS 5274 HAS SOPS 3797 HAS SOUS 3450 HAS SOUPS 2920 WITH SCORE 2925.274
AT ITER 338 NEW BEST:: SOT 8719 SOS 5278 HAS SOPS 3747 HAS SOUS 3458 HAS SOUPS 2899 WITH SCORE 2904.278
AT ITER 340 NEW BEST:: SOT 8693 SOS 5264 HAS SOPS 3733 HAS SOUS 3456 HAS SOUPS 2897 WITH SCORE 2902.264
AT ITER 344 NEW BEST:: SOT 8191 SOS 6038 HAS SOPS 3833 HAS SOUS 3360 HAS SOUPS 2741 WITH SCORE 2747.038
AT ITER 345 NEW BEST:: SOT 8149 SOS 6193 HAS SOPS 3882 HAS SOUS 3351 HAS SOUPS 2732 WITH SCORE 2738.193
AT ITER 347 NEW BEST:: SOT 8155 SOS 6194 HAS SOPS 3894 HAS SOUS 3349 HAS SOUPS 2730 WITH SCORE 2736.194
AT ITER 356 NEW BEST:: SOT 8150 SOS 6189 HAS SOPS 3884 HAS SOUS 3348 HAS SOUPS 2729 WITH SCORE 2735.189
AT ITER 365 NEW BEST:: SOT 8114 SOS 6145 HAS SOPS 3798 HAS SOUS 3264 HAS SOUPS 2645 WITH SCORE 2651.145
AT ITER 367 NEW BEST:: SOT 8114 SOS 6177 HAS SOPS 3798 HAS SOUS 3295 HAS SOUPS 2644 WITH SCORE 2650.177
AT ITER 384 NEW BEST:: SOT 8096 SOS 6168 HAS SOPS 3780 HAS SOUS 3277 HAS SOUPS 2617 WITH SCORE 2623.168
AT ITER 391 NEW BEST:: SOT 8025 SOS 6138 HAS SOPS 3709 HAS SOUS 3309 HAS SOUPS 2608 WITH SCORE 2614.138
AT ITER 392 NEW BEST:: SOT 8013 SOS 6131 HAS SOPS 3691 HAS SOUS 3299 HAS SOUPS 2598 WITH SCORE 2604.131
AT ITER 405 NEW BEST:: SOT 8013 SOS 6131 HAS SOPS 3688 HAS SOUS 3298 HAS SOUPS 2597 WITH SCORE 2603.131
AT ITER 415 NEW BEST:: SOT 8019 SOS 6132 HAS SOPS 3672 HAS SOUS 3257 HAS SOUPS 2556 WITH SCORE 2562.132
AT ITER 423 NEW BEST:: SOT 8022 SOS 6162 HAS SOPS 3678 HAS SOUS 3279 HAS SOUPS 2554 WITH SCORE 2560.162
AT ITER 427 NEW BEST:: SOT 8020 SOS 6160 HAS SOPS 3675 HAS SOUS 3277 HAS SOUPS 2552 WITH SCORE 2558.16
AT ITER 430 NEW BEST:: SOT 8004 SOS 6112 HAS SOPS 3627 HAS SOUS 3245 HAS SOUPS 2520 WITH SCORE 2526.112
AT ITER 436 NEW BEST:: SOT 8002 SOS 6110 HAS SOPS 3625 HAS SOUS 3243 HAS SOUPS 2518 WITH SCORE 2524.11
AT ITER 439 NEW BEST:: SOT 8036 SOS 6172 HAS SOPS 3600 HAS SOUS 3246 HAS SOUPS 2501 WITH SCORE 2507.172
AT ITER 440 NEW BEST:: SOT 8028 SOS 6152 HAS SOPS 3584 HAS SOUS 3234 HAS SOUPS 2489 WITH SCORE 2495.152
AT ITER 442 NEW BEST:: SOT 8028 SOS 6152 HAS SOPS 3584 HAS SOUS 3232 HAS SOUPS 2487 WITH SCORE 2493.152
AT ITER 447 NEW BEST:: SOT 7952 SOS 5987 HAS SOPS 3531 HAS SOUS 3183 HAS SOUPS 2471 WITH SCORE 2476.987
AT ITER 453 NEW BEST:: SOT 7926 SOS 5961 HAS SOPS 3492 HAS SOUS 3152 HAS SOUPS 2440 WITH SCORE 2445.961
AT ITER 468 NEW BEST:: SOT 7920 SOS 5955 HAS SOPS 3483 HAS SOUS 3135 HAS SOUPS 2423 WITH SCORE 2428.955
AT ITER 478 NEW BEST:: SOT 7764 SOS 5792 HAS SOPS 3281 HAS SOUS 2940 HAS SOUPS 2228 WITH SCORE 2233.792
AT ITER 484 NEW BEST:: SOT 7742 SOS 5770 HAS SOPS 3248 HAS SOUS 2916 HAS SOUPS 2204 WITH SCORE 2209.77
AT ITER 499 NEW BEST:: SOT 7734 SOS 5762 HAS SOPS 3232 HAS SOUS 2904 HAS SOUPS 2192 WITH SCORE 2197.762
AT ITER 500 NEW BEST:: SOT 7730 SOS 5758 HAS SOPS 3226 HAS SOUS 2900 HAS SOUPS 2188 WITH SCORE 2193.758
AT ITER 508 NEW BEST:: SOT 7722 SOS 5750 HAS SOPS 3182 HAS SOUS 2874 HAS SOUPS 2162 WITH SCORE 2167.75
AT ITER 509 NEW BEST:: SOT 7710 SOS 5723 HAS SOPS 3135 HAS SOUS 2853 HAS SOUPS 2131 WITH SCORE 2136.723
AT ITER 511 NEW BEST:: SOT 7704 SOS 5699 HAS SOPS 3123 HAS SOUS 2831 HAS SOUPS 2121 WITH SCORE 2126.699
AT ITER 514 NEW BEST:: SOT 7704 SOS 5699 HAS SOPS 3123 HAS SOUS 2828 HAS SOUPS 2118 WITH SCORE 2123.699
AT ITER 518 NEW BEST:: SOT 7692 SOS 5687 HAS SOPS 3117 HAS SOUS 2822 HAS SOUPS 2112 WITH SCORE 2117.687
AT ITER 529 NEW BEST:: SOT 7647 SOS 5647 HAS SOPS 3077 HAS SOUS 2787 HAS SOUPS 2077 WITH SCORE 2082.647
AT ITER 535 NEW BEST:: SOT 7637 SOS 5637 HAS SOPS 3082 HAS SOUS 2782 HAS SOUPS 2072 WITH SCORE 2077.637
AT ITER 538 NEW BEST:: SOT 7657 SOS 5657 HAS SOPS 3026 HAS SOUS 2774 HAS SOUPS 2064 WITH SCORE 2069.657
AT ITER 545 NEW BEST:: SOT 7655 SOS 5653 HAS SOPS 3022 HAS SOUS 2768 HAS SOUPS 2058 WITH SCORE 2063.653
AT ITER 549 NEW BEST:: SOT 7671 SOS 5669 HAS SOPS 2990 HAS SOUS 2750 HAS SOUPS 2040 WITH SCORE 2045.669
AT ITER 562 NEW BEST:: SOT 7671 SOS 5665 HAS SOPS 2987 HAS SOUS 2750 HAS SOUPS 2040 WITH SCORE 2045.665
AT ITER 563 NEW BEST:: SOT 7667 SOS 5661 HAS SOPS 2981 HAS SOUS 2733 HAS SOUPS 2023 WITH SCORE 2028.661
AT ITER 573 NEW BEST:: SOT 7637 SOS 5631 HAS SOPS 2948 HAS SOUS 2715 HAS SOUPS 2005 WITH SCORE 2010.631
AT ITER 575 NEW BEST:: SOT 7660 SOS 5654 HAS SOPS 2971 HAS SOUS 2698 HAS SOUPS 1988 WITH SCORE 1993.654
AT ITER 583 NEW BEST:: SOT 7660 SOS 5654 HAS SOPS 2971 HAS SOUS 2687 HAS SOUPS 1977 WITH SCORE 1982.654
AT ITER 585 NEW BEST:: SOT 7658 SOS 5652 HAS SOPS 2971 HAS SOUS 2685 HAS SOUPS 1975 WITH SCORE 1980.652
AT ITER 593 NEW BEST:: SOT 7658 SOS 5652 HAS SOPS 2971 HAS SOUS 2681 HAS SOUPS 1971 WITH SCORE 1976.652
AT ITER 595 NEW BEST:: SOT 7656 SOS 5646 HAS SOPS 2967 HAS SOUS 2675 HAS SOUPS 1967 WITH SCORE 1972.646
AT ITER 626 NEW BEST:: SOT 7657 SOS 5632 HAS SOPS 2972 HAS SOUS 2658 HAS SOUPS 1967 WITH SCORE 1972.632
AT ITER 629 NEW BEST:: SOT 7639 SOS 5578 HAS SOPS 2918 HAS SOUS 2631 HAS SOUPS 1940 WITH SCORE 1945.578
AT ITER 635 NEW BEST:: SOT 7625 SOS 5550 HAS SOPS 2904 HAS SOUS 2562 HAS SOUPS 1885 WITH SCORE 1890.55
AT ITER 650 NEW BEST:: SOT 7624 SOS 5539 HAS SOPS 2900 HAS SOUS 2551 HAS SOUPS 1879 WITH SCORE 1884.539
AT ITER 653 NEW BEST:: SOT 7604 SOS 5519 HAS SOPS 2870 HAS SOUS 2521 HAS SOUPS 1849 WITH SCORE 1854.519
AT ITER 655 NEW BEST:: SOT 7602 SOS 5517 HAS SOPS 2887 HAS SOUS 2520 HAS SOUPS 1848 WITH SCORE 1853.517
AT ITER 664 NEW BEST:: SOT 7574 SOS 5489 HAS SOPS 2831 HAS SOUS 2461 HAS SOUPS 1789 WITH SCORE 1794.489
AT ITER 695 NEW BEST:: SOT 7578 SOS 5493 HAS SOPS 2837 HAS SOUS 2452 HAS SOUPS 1780 WITH SCORE 1785.493
AT ITER 726 NEW BEST:: SOT 7577 SOS 5507 HAS SOPS 2840 HAS SOUS 2459 HAS SOUPS 1779 WITH SCORE 1784.507
AT ITER 730 NEW BEST:: SOT 7575 SOS 5505 HAS SOPS 2842 HAS SOUS 2457 HAS SOUPS 1777 WITH SCORE 1782.505
AT ITER 744 NEW BEST:: SOT 7555 SOS 5474 HAS SOPS 2799 HAS SOUS 2440 HAS SOUPS 1760 WITH SCORE 1765.474
AT ITER 786 NEW BEST:: SOT 7552 SOS 5468 HAS SOPS 2793 HAS SOUS 2431 HAS SOUPS 1751 WITH SCORE 1756.468
AT ITER 803 NEW BEST:: SOT 7552 SOS 5468 HAS SOPS 2793 HAS SOUS 2426 HAS SOUPS 1746 WITH SCORE 1751.468
AT ITER 805 NEW BEST:: SOT 7548 SOS 5462 HAS SOPS 2787 HAS SOUS 2423 HAS SOUPS 1743 WITH SCORE 1748.462
AT ITER 811 NEW BEST:: SOT 7542 SOS 5456 HAS SOPS 2796 HAS SOUS 2419 HAS SOUPS 1739 WITH SCORE 1744.456
AT ITER 829 NEW BEST:: SOT 7542 SOS 5456 HAS SOPS 2796 HAS SOUS 2417 HAS SOUPS 1737 WITH SCORE 1742.456
AT ITER 840 NEW BEST:: SOT 7534 SOS 5448 HAS SOPS 2784 HAS SOUS 2404 HAS SOUPS 1724 WITH SCORE 1729.448
AT ITER 841 NEW BEST:: SOT 7534 SOS 5448 HAS SOPS 2778 HAS SOUS 2400 HAS SOUPS 1720 WITH SCORE 1725.448
AT ITER 852 NEW BEST:: SOT 7516 SOS 5419 HAS SOPS 2751 HAS SOUS 2380 HAS SOUPS 1700 WITH SCORE 1705.419
AT ITER 863 NEW BEST:: SOT 7516 SOS 5422 HAS SOPS 2751 HAS SOUS 2382 HAS SOUPS 1699 WITH SCORE 1704.422
AT ITER 866 NEW BEST:: SOT 7516 SOS 5422 HAS SOPS 2751 HAS SOUS 2380 HAS SOUPS 1697 WITH SCORE 1702.422
AT ITER 872 NEW BEST:: SOT 7516 SOS 5422 HAS SOPS 2747 HAS SOUS 2379 HAS SOUPS 1696 WITH SCORE 1701.422
AT ITER 876 NEW BEST:: SOT 7516 SOS 5421 HAS SOPS 2747 HAS SOUS 2378 HAS SOUPS 1696 WITH SCORE 1701.421
AT ITER 880 NEW BEST:: SOT 7514 SOS 5419 HAS SOPS 2743 HAS SOUS 2376 HAS SOUPS 1694 WITH SCORE 1699.419
AT ITER 881 NEW BEST:: SOT 7488 SOS 5393 HAS SOPS 2704 HAS SOUS 2336 HAS SOUPS 1654 WITH SCORE 1659.393
AT ITER 896 NEW BEST:: SOT 7488 SOS 5393 HAS SOPS 2696 HAS SOUS 2332 HAS SOUPS 1650 WITH SCORE 1655.393
AT ITER 900 NEW BEST:: SOT 7472 SOS 5467 HAS SOPS 2734 HAS SOUS 2328 HAS SOUPS 1646 WITH SCORE 1651.467
AT ITER 925 NEW BEST:: SOT 7472 SOS 5467 HAS SOPS 2734 HAS SOUS 2327 HAS SOUPS 1645 WITH SCORE 1650.467
AT ITER 969 NEW BEST:: SOT 7466 SOS 5439 HAS SOPS 2736 HAS SOUS 2301 HAS SOUPS 1641 WITH SCORE 1646.439
AT ITER 976 NEW BEST:: SOT 7484 SOS 5333 HAS SOPS 2682 HAS SOUS 2292 HAS SOUPS 1636 WITH SCORE 1641.333
AT ITER 979 NEW BEST:: SOT 7484 SOS 5333 HAS SOPS 2681 HAS SOUS 2291 HAS SOUPS 1635 WITH SCORE 1640.333
AT ITER 989 NEW BEST:: SOT 7478 SOS 5325 HAS SOPS 2673 HAS SOUS 2283 HAS SOUPS 1627 WITH SCORE 1632.325
AT ITER 1007 NEW BEST:: SOT 7480 SOS 5327 HAS SOPS 2648 HAS SOUS 2277 HAS SOUPS 1621 WITH SCORE 1626.327
AT ITER 1022 NEW BEST:: SOT 7484 SOS 5331 HAS SOPS 2608 HAS SOUS 2247 HAS SOUPS 1591 WITH SCORE 1596.331
AT ITER 1049 NEW BEST:: SOT 7478 SOS 5325 HAS SOPS 2599 HAS SOUS 2238 HAS SOUPS 1582 WITH SCORE 1587.325
AT ITER 1066 NEW BEST:: SOT 7501 SOS 5348 HAS SOPS 2628 HAS SOUS 2235 HAS SOUPS 1579 WITH SCORE 1584.348
AT ITER 1074 NEW BEST:: SOT 7497 SOS 5344 HAS SOPS 2628 HAS SOUS 2235 HAS SOUPS 1579 WITH SCORE 1584.344
AT ITER 1075 NEW BEST:: SOT 7503 SOS 5319 HAS SOPS 2616 HAS SOUS 2234 HAS SOUPS 1579 WITH SCORE 1584.319
AT ITER 1092 NEW BEST:: SOT 7503 SOS 5319 HAS SOPS 2608 HAS SOUS 2230 HAS SOUPS 1575 WITH SCORE 1580.319
AT ITER 1101 NEW BEST:: SOT 7503 SOS 5315 HAS SOPS 2608 HAS SOUS 2226 HAS SOUPS 1575 WITH SCORE 1580.315
AT ITER 1126 NEW BEST:: SOT 7492 SOS 5305 HAS SOPS 2596 HAS SOUS 2215 HAS SOUPS 1564 WITH SCORE 1569.305
AT ITER 1130 NEW BEST:: SOT 7493 SOS 5309 HAS SOPS 2587 HAS SOUS 2215 HAS SOUPS 1561 WITH SCORE 1566.309
AT ITER 1131 NEW BEST:: SOT 7483 SOS 5299 HAS SOPS 2592 HAS SOUS 2215 HAS SOUPS 1561 WITH SCORE 1566.299
AT ITER 1145 NEW BEST:: SOT 7490 SOS 5306 HAS SOPS 2599 HAS SOUS 2208 HAS SOUPS 1554 WITH SCORE 1559.306
AT ITER 1164 NEW BEST:: SOT 7490 SOS 5306 HAS SOPS 2599 HAS SOUS 2207 HAS SOUPS 1553 WITH SCORE 1558.306
AT ITER 1174 NEW BEST:: SOT 7486 SOS 5302 HAS SOPS 2597 HAS SOUS 2203 HAS SOUPS 1549 WITH SCORE 1554.302
AT ITER 1177 NEW BEST:: SOT 7480 SOS 5294 HAS SOPS 2589 HAS SOUS 2203 HAS SOUPS 1549 WITH SCORE 1554.294
AT ITER 1208 NEW BEST:: SOT 7478 SOS 5284 HAS SOPS 2576 HAS SOUS 2190 HAS SOUPS 1536 WITH SCORE 1541.284
AT ITER 1234 NEW BEST:: SOT 7472 SOS 5278 HAS SOPS 2567 HAS SOUS 2175 HAS SOUPS 1521 WITH SCORE 1526.278
AT ITER 1271 NEW BEST:: SOT 7464 SOS 5270 HAS SOPS 2555 HAS SOUS 2160 HAS SOUPS 1506 WITH SCORE 1511.27
AT ITER 1327 NEW BEST:: SOT 7462 SOS 5268 HAS SOPS 2557 HAS SOUS 2156 HAS SOUPS 1506 WITH SCORE 1511.268
AT ITER 1355 NEW BEST:: SOT 7456 SOS 5262 HAS SOPS 2548 HAS SOUS 2154 HAS SOUPS 1504 WITH SCORE 1509.262
AT ITER 1370 NEW BEST:: SOT 7448 SOS 5254 HAS SOPS 2534 HAS SOUS 2139 HAS SOUPS 1489 WITH SCORE 1494.254
AT ITER 1411 NEW BEST:: SOT 7450 SOS 5258 HAS SOPS 2532 HAS SOUS 2143 HAS SOUPS 1487 WITH SCORE 1492.258
AT ITER 1437 NEW BEST:: SOT 7448 SOS 5256 HAS SOPS 2533 HAS SOUS 2129 HAS SOUPS 1473 WITH SCORE 1478.256
AT ITER 1485 NEW BEST:: SOT 7448 SOS 5272 HAS SOPS 2533 HAS SOUS 2143 HAS SOUPS 1471 WITH SCORE 1476.272
AT ITER 1488 NEW BEST:: SOT 7430 SOS 5254 HAS SOPS 2508 HAS SOUS 2123 HAS SOUPS 1451 WITH SCORE 1456.254
AT ITER 1491 NEW BEST:: SOT 7430 SOS 5254 HAS SOPS 2503 HAS SOUS 2118 HAS SOUPS 1446 WITH SCORE 1451.254
AT ITER 1515 NEW BEST:: SOT 7425 SOS 5244 HAS SOPS 2497 HAS SOUS 2113 HAS SOUPS 1445 WITH SCORE 1450.244
AT ITER 1530 NEW BEST:: SOT 7427 SOS 5246 HAS SOPS 2488 HAS SOUS 2107 HAS SOUPS 1439 WITH SCORE 1444.246
AT ITER 1532 NEW BEST:: SOT 7425 SOS 5244 HAS SOPS 2485 HAS SOUS 2106 HAS SOUPS 1438 WITH SCORE 1443.244
AT ITER 1535 NEW BEST:: SOT 7425 SOS 5244 HAS SOPS 2485 HAS SOUS 2100 HAS SOUPS 1432 WITH SCORE 1437.244
AT ITER 1536 NEW BEST:: SOT 7423 SOS 5242 HAS SOPS 2482 HAS SOUS 2096 HAS SOUPS 1428 WITH SCORE 1433.242
AT ITER 1541 NEW BEST:: SOT 7423 SOS 5239 HAS SOPS 2482 HAS SOUS 2091 HAS SOUPS 1426 WITH SCORE 1431.239
AT ITER 1553 NEW BEST:: SOT 7445 SOS 5109 HAS SOPS 2431 HAS SOUS 2083 HAS SOUPS 1423 WITH SCORE 1428.109
AT ITER 1560 NEW BEST:: SOT 7441 SOS 5105 HAS SOPS 2425 HAS SOUS 2079 HAS SOUPS 1419 WITH SCORE 1424.105
AT ITER 1592 NEW BEST:: SOT 7441 SOS 5105 HAS SOPS 2425 HAS SOUS 2078 HAS SOUPS 1418 WITH SCORE 1423.105
AT ITER 1644 NEW BEST:: SOT 7441 SOS 5105 HAS SOPS 2424 HAS SOUS 2077 HAS SOUPS 1417 WITH SCORE 1422.105
AT ITER 1650 NEW BEST:: SOT 7439 SOS 5100 HAS SOPS 2419 HAS SOUS 2071 HAS SOUPS 1411 WITH SCORE 1416.1
AT ITER 1652 NEW BEST:: SOT 7429 SOS 5090 HAS SOPS 2404 HAS SOUS 2056 HAS SOUPS 1396 WITH SCORE 1401.09
AT ITER 1719 NEW BEST:: SOT 7429 SOS 5090 HAS SOPS 2404 HAS SOUS 2055 HAS SOUPS 1395 WITH SCORE 1400.09
AT ITER 1731 NEW BEST:: SOT 7419 SOS 5080 HAS SOPS 2389 HAS SOUS 2035 HAS SOUPS 1375 WITH SCORE 1380.08
AT ITER 1787 NEW BEST:: SOT 7419 SOS 5080 HAS SOPS 2385 HAS SOUS 2032 HAS SOUPS 1372 WITH SCORE 1377.08
AT ITER 1807 NEW BEST:: SOT 7419 SOS 5080 HAS SOPS 2385 HAS SOUS 2031 HAS SOUPS 1371 WITH SCORE 1376.08
AT ITER 1827 NEW BEST:: SOT 7416 SOS 5079 HAS SOPS 2384 HAS SOUS 2030 HAS SOUPS 1370 WITH SCORE 1375.079
AT ITER 1878 NEW BEST:: SOT 7416 SOS 5078 HAS SOPS 2383 HAS SOUS 2030 HAS SOUPS 1370 WITH SCORE 1375.078
AT ITER 1884 NEW BEST:: SOT 7412 SOS 5074 HAS SOPS 2379 HAS SOUS 2027 HAS SOUPS 1367 WITH SCORE 1372.074
AT ITER 1915 NEW BEST:: SOT 7401 SOS 5039 HAS SOPS 2320 HAS SOUS 2024 HAS SOUPS 1364 WITH SCORE 1369.039
AT ITER 1943 NEW BEST:: SOT 7397 SOS 5035 HAS SOPS 2314 HAS SOUS 2018 HAS SOUPS 1358 WITH SCORE 1363.035
AT ITER 2110 NEW BEST:: SOT 7400 SOS 5038 HAS SOPS 2316 HAS SOUS 2013 HAS SOUPS 1353 WITH SCORE 1358.038
AT ITER 2149 NEW BEST:: SOT 7398 SOS 5034 HAS SOPS 2312 HAS SOUS 2004 HAS SOUPS 1344 WITH SCORE 1349.034
AT ITER 2216 NEW BEST:: SOT 7396 SOS 5036 HAS SOPS 2308 HAS SOUS 2005 HAS SOUPS 1342 WITH SCORE 1347.036
AT ITER 2243 NEW BEST:: SOT 7394 SOS 5029 HAS SOPS 2304 HAS SOUS 2002 HAS SOUPS 1339 WITH SCORE 1344.029
AT ITER 2392 NEW BEST:: SOT 7392 SOS 5023 HAS SOPS 2317 HAS SOUS 1996 HAS SOUPS 1337 WITH SCORE 1342.023
AT ITER 2435 NEW BEST:: SOT 7390 SOS 5021 HAS SOPS 2313 HAS SOUS 1994 HAS SOUPS 1335 WITH SCORE 1340.021
AT ITER 2496 NEW BEST:: SOT 7395 SOS 5032 HAS SOPS 2326 HAS SOUS 1990 HAS SOUPS 1331 WITH SCORE 1336.032
AT ITER 2505 NEW BEST:: SOT 7394 SOS 5030 HAS SOPS 2327 HAS SOUS 1989 HAS SOUPS 1330 WITH SCORE 1335.03
AT ITER 2528 NEW BEST:: SOT 7384 SOS 5020 HAS SOPS 2312 HAS SOUS 1973 HAS SOUPS 1314 WITH SCORE 1319.02
AT ITER 2599 NEW BEST:: SOT 7383 SOS 5019 HAS SOPS 2327 HAS SOUS 1971 HAS SOUPS 1312 WITH SCORE 1317.019
AT ITER 2615 NEW BEST:: SOT 7377 SOS 5013 HAS SOPS 2319 HAS SOUS 1965 HAS SOUPS 1306 WITH SCORE 1311.013
AT ITER 2620 NEW BEST:: SOT 7373 SOS 5009 HAS SOPS 2316 HAS SOUS 1961 HAS SOUPS 1302 WITH SCORE 1307.009
AT ITER 2627 NEW BEST:: SOT 7373 SOS 5009 HAS SOPS 2312 HAS SOUS 1960 HAS SOUPS 1301 WITH SCORE 1306.009
AT ITER 2630 NEW BEST:: SOT 7371 SOS 5007 HAS SOPS 2309 HAS SOUS 1956 HAS SOUPS 1297 WITH SCORE 1302.007
AT ITER 2668 NEW BEST:: SOT 7369 SOS 5005 HAS SOPS 2306 HAS SOUS 1952 HAS SOUPS 1293 WITH SCORE 1298.005
AT ITER 2681 NEW BEST:: SOT 7367 SOS 5003 HAS SOPS 2296 HAS SOUS 1941 HAS SOUPS 1282 WITH SCORE 1287.003
AT ITER 2815 NEW BEST:: SOT 7365 SOS 5001 HAS SOPS 2297 HAS SOUS 1940 HAS SOUPS 1281 WITH SCORE 1286.001
AT ITER 2923 NEW BEST:: SOT 7360 SOS 4994 HAS SOPS 2288 HAS SOUS 1935 HAS SOUPS 1276 WITH SCORE 1280.994
AT ITER 2995 NEW BEST:: SOT 7360 SOS 4994 HAS SOPS 2282 HAS SOUS 1932 HAS SOUPS 1273 WITH SCORE 1277.994
AT ITER 3038 NEW BEST:: SOT 7357 SOS 4991 HAS SOPS 2279 HAS SOUS 1926 HAS SOUPS 1267 WITH SCORE 1271.991
AT ITER 3121 NEW BEST:: SOT 7355 SOS 4991 HAS SOPS 2279 HAS SOUS 1924 HAS SOUPS 1265 WITH SCORE 1269.991
AT ITER 3148 NEW BEST:: SOT 7348 SOS 4984 HAS SOPS 2280 HAS SOUS 1916 HAS SOUPS 1265 WITH SCORE 1269.984
AT ITER 3173 NEW BEST:: SOT 7346 SOS 4982 HAS SOPS 2280 HAS SOUS 1916 HAS SOUPS 1265 WITH SCORE 1269.982
AT ITER 3197 NEW BEST:: SOT 7343 SOS 4983 HAS SOPS 2266 HAS SOUS 1908 HAS SOUPS 1257 WITH SCORE 1261.983
AT ITER 3284 NEW BEST:: SOT 7343 SOS 4980 HAS SOPS 2260 HAS SOUS 1908 HAS SOUPS 1257 WITH SCORE 1261.98
AT ITER 3289 NEW BEST:: SOT 7335 SOS 4972 HAS SOPS 2248 HAS SOUS 1892 HAS SOUPS 1241 WITH SCORE 1245.972
AT ITER 3506 NEW BEST:: SOT 7339 SOS 4976 HAS SOPS 2252 HAS SOUS 1890 HAS SOUPS 1239 WITH SCORE 1243.976
AT ITER 3538 NEW BEST:: SOT 7338 SOS 4976 HAS SOPS 2256 HAS SOUS 1885 HAS SOUPS 1238 WITH SCORE 1242.976
AT ITER 3577 NEW BEST:: SOT 7337 SOS 4974 HAS SOPS 2254 HAS SOUS 1881 HAS SOUPS 1234 WITH SCORE 1238.974
AT ITER 3646 NEW BEST:: SOT 7334 SOS 4973 HAS SOPS 2254 HAS SOUS 1878 HAS SOUPS 1231 WITH SCORE 1235.973
AT ITER 3997 NEW BEST:: SOT 7336 SOS 4980 HAS SOPS 2258 HAS SOUS 1879 HAS SOUPS 1229 WITH SCORE 1233.98
AT ITER 4140 NEW BEST:: SOT 7297 SOS 5234 HAS SOPS 2381 HAS SOUS 1885 HAS SOUPS 1226 WITH SCORE 1231.234
AT ITER 4245 NEW BEST:: SOT 7297 SOS 5230 HAS SOPS 2380 HAS SOUS 1882 HAS SOUPS 1225 WITH SCORE 1230.23
AT ITER 4250 NEW BEST:: SOT 7296 SOS 5228 HAS SOPS 2378 HAS SOUS 1881 HAS SOUPS 1224 WITH SCORE 1229.228
AT ITER 4326 NEW BEST:: SOT 7293 SOS 5216 HAS SOPS 2366 HAS SOUS 1879 HAS SOUPS 1222 WITH SCORE 1227.216
AT ITER 4405 NEW BEST:: SOT 7281 SOS 5204 HAS SOPS 2357 HAS SOUS 1870 HAS SOUPS 1213 WITH SCORE 1218.204
AT ITER 4476 NEW BEST:: SOT 7283 SOS 5189 HAS SOPS 2327 HAS SOUS 1870 HAS SOUPS 1213 WITH SCORE 1218.189
AT ITER 4482 NEW BEST:: SOT 7291 SOS 5131 HAS SOPS 2301 HAS SOUS 1868 HAS SOUPS 1213 WITH SCORE 1218.131
AT ITER 4492 NEW BEST:: SOT 7290 SOS 5130 HAS SOPS 2300 HAS SOUS 1868 HAS SOUPS 1213 WITH SCORE 1218.13
AT ITER 4853 NEW BEST:: SOT 7292 SOS 5134 HAS SOPS 2297 HAS SOUS 1862 HAS SOUPS 1207 WITH SCORE 1212.134
AT ITER 4991 NEW BEST:: SOT 7296 SOS 5104 HAS SOPS 2285 HAS SOUS 1860 HAS SOUPS 1206 WITH SCORE 1211.104
AT ITER 5274 NEW BEST:: SOT 7300 SOS 5077 HAS SOPS 2275 HAS SOUS 1859 HAS SOUPS 1206 WITH SCORE 1211.077
AT ITER 5390 NEW BEST:: SOT 7302 SOS 5048 HAS SOPS 2262 HAS SOUS 1857 HAS SOUPS 1205 WITH SCORE 1210.048
AT ITER 5503 NEW BEST:: SOT 7299 SOS 5047 HAS SOPS 2258 HAS SOUS 1852 HAS SOUPS 1198 WITH SCORE 1203.047
AT ITER 5646 NEW BEST:: SOT 7298 SOS 5047 HAS SOPS 2261 HAS SOUS 1848 HAS SOUPS 1194 WITH SCORE 1199.047
AT ITER 5688 NEW BEST:: SOT 7303 SOS 5055 HAS SOPS 2270 HAS SOUS 1844 HAS SOUPS 1190 WITH SCORE 1195.055
AT ITER 5881 NEW BEST:: SOT 7301 SOS 5053 HAS SOPS 2267 HAS SOUS 1841 HAS SOUPS 1187 WITH SCORE 1192.053
AT ITER 5957 NEW BEST:: SOT 7299 SOS 5052 HAS SOPS 2264 HAS SOUS 1838 HAS SOUPS 1183 WITH SCORE 1188.052
AT ITER 5971 NEW BEST:: SOT 7292 SOS 5041 HAS SOPS 2257 HAS SOUS 1832 HAS SOUPS 1177 WITH SCORE 1182.041
AT ITER 6023 NEW BEST:: SOT 7292 SOS 5039 HAS SOPS 2256 HAS SOUS 1831 HAS SOUPS 1177 WITH SCORE 1182.039
AT ITER 6080 NEW BEST:: SOT 7297 SOS 5029 HAS SOPS 2213 HAS SOUS 1829 HAS SOUPS 1175 WITH SCORE 1180.029
AT ITER 6134 NEW BEST:: SOT 7289 SOS 5025 HAS SOPS 2215 HAS SOUS 1821 HAS SOUPS 1175 WITH SCORE 1180.025
AT ITER 6176 NEW BEST:: SOT 7287 SOS 5023 HAS SOPS 2215 HAS SOUS 1821 HAS SOUPS 1175 WITH SCORE 1180.023
AT ITER 6202 NEW BEST:: SOT 7276 SOS 5013 HAS SOPS 2206 HAS SOUS 1811 HAS SOUPS 1165 WITH SCORE 1170.013
AT ITER 6231 NEW BEST:: SOT 7276 SOS 5013 HAS SOPS 2204 HAS SOUS 1809 HAS SOUPS 1163 WITH SCORE 1168.013
AT ITER 6256 NEW BEST:: SOT 7278 SOS 5015 HAS SOPS 2202 HAS SOUS 1811 HAS SOUPS 1161 WITH SCORE 1166.015
AT ITER 6492 NEW BEST:: SOT 7277 SOS 5013 HAS SOPS 2199 HAS SOUS 1809 HAS SOUPS 1159 WITH SCORE 1164.013
AT ITER 6560 NEW BEST:: SOT 7291 SOS 4931 HAS SOPS 2161 HAS SOUS 1806 HAS SOUPS 1159 WITH SCORE 1163.931
AT ITER 6584 NEW BEST:: SOT 7287 SOS 4929 HAS SOPS 2159 HAS SOUS 1804 HAS SOUPS 1157 WITH SCORE 1161.929
AT ITER 6682 NEW BEST:: SOT 7287 SOS 4928 HAS SOPS 2157 HAS SOUS 1802 HAS SOUPS 1154 WITH SCORE 1158.928
AT ITER 6724 NEW BEST:: SOT 7282 SOS 4923 HAS SOPS 2151 HAS SOUS 1798 HAS SOUPS 1150 WITH SCORE 1154.923
AT ITER 6743 NEW BEST:: SOT 7281 SOS 4920 HAS SOPS 2151 HAS SOUS 1795 HAS SOUPS 1150 WITH SCORE 1154.92
AT ITER 6751 NEW BEST:: SOT 7279 SOS 4919 HAS SOPS 2147 HAS SOUS 1792 HAS SOUPS 1146 WITH SCORE 1150.919
AT ITER 7133 NEW BEST:: SOT 7273 SOS 4918 HAS SOPS 2135 HAS SOUS 1792 HAS SOUPS 1146 WITH SCORE 1150.918
AT ITER 7208 NEW BEST:: SOT 7271 SOS 4916 HAS SOPS 2137 HAS SOUS 1792 HAS SOUPS 1146 WITH SCORE 1150.916
AT ITER 7344 NEW BEST:: SOT 7271 SOS 4915 HAS SOPS 2134 HAS SOUS 1793 HAS SOUPS 1145 WITH SCORE 1149.915
AT ITER 7407 NEW BEST:: SOT 7269 SOS 4913 HAS SOPS 2131 HAS SOUS 1787 HAS SOUPS 1139 WITH SCORE 1143.913
AT ITER 7856 NEW BEST:: SOT 7269 SOS 4911 HAS SOPS 2130 HAS SOUS 1784 HAS SOUPS 1137 WITH SCORE 1141.911
AT ITER 7991 NEW BEST:: SOT 7266 SOS 4914 HAS SOPS 2135 HAS SOUS 1783 HAS SOUPS 1136 WITH SCORE 1140.914
AT ITER 8060 NEW BEST:: SOT 7263 SOS 4913 HAS SOPS 2131 HAS SOUS 1780 HAS SOUPS 1131 WITH SCORE 1135.913
AT ITER 8169 NEW BEST:: SOT 7257 SOS 4937 HAS SOPS 2142 HAS SOUS 1778 HAS SOUPS 1128 WITH SCORE 1132.937
AT ITER 8262 NEW BEST:: SOT 7255 SOS 4933 HAS SOPS 2138 HAS SOUS 1771 HAS SOUPS 1121 WITH SCORE 1125.933
AT ITER 8567 NEW BEST:: SOT 7244 SOS 4919 HAS SOPS 2121 HAS SOUS 1771 HAS SOUPS 1121 WITH SCORE 1125.919
AT ITER 8644 NEW BEST:: SOT 7243 SOS 4921 HAS SOPS 2118 HAS SOUS 1770 HAS SOUPS 1115 WITH SCORE 1119.921
AT ITER 8807 NEW BEST:: SOT 7243 SOS 4921 HAS SOPS 2114 HAS SOUS 1769 HAS SOUPS 1114 WITH SCORE 1118.921
AT ITER 8964 NEW BEST:: SOT 7241 SOS 4919 HAS SOPS 2111 HAS SOUS 1767 HAS SOUPS 1112 WITH SCORE 1116.919
AT ITER 9053 NEW BEST:: SOT 7239 SOS 4917 HAS SOPS 2112 HAS SOUS 1767 HAS SOUPS 1112 WITH SCORE 1116.917
AT ITER 9239 NEW BEST:: SOT 7251 SOS 4867 HAS SOPS 2088 HAS SOUS 1765 HAS SOUPS 1112 WITH SCORE 1116.867
AT ITER 9259 NEW BEST:: SOT 7255 SOS 4840 HAS SOPS 2078 HAS SOUS 1764 HAS SOUPS 1112 WITH SCORE 1116.84
AT ITER 9390 NEW BEST:: SOT 7253 SOS 4838 HAS SOPS 2075 HAS SOUS 1762 HAS SOUPS 1109 WITH SCORE 1113.838
STATE_SPACE STATES 2965858466581 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 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 41775641306404 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679138051851

--------------------
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="Raft-PT-04"
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 Raft-PT-04, 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 r331-tall-167889204300312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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