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-167814473301072.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 DatabaseWithMutex-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473301072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 21K Feb 25 13:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 13:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 13:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K Feb 25 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 295K Feb 25 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Feb 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 248K Feb 25 13:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.3K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 61K 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 1678272366788

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=DatabaseWithMutex-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (PT), instance 04
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: 140 places, 128 transitions, 416 arcs.
AT ITER 0 NEW BEST:: SOT 11480 SOS 5108 HAS SOPS 5108 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.108
AT ITER 3 NEW BEST:: SOT 11467 SOS 5107 HAS SOPS 5107 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.107
AT ITER 10 NEW BEST:: SOT 11448 SOS 5103 HAS SOPS 5103 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.103
AT ITER 17 NEW BEST:: SOT 11440 SOS 5087 HAS SOPS 5087 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.087
AT ITER 22 NEW BEST:: SOT 11376 SOS 5037 HAS SOPS 5037 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.037
AT ITER 29 NEW BEST:: SOT 11367 SOS 5030 HAS SOPS 5030 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.03
AT ITER 32 NEW BEST:: SOT 11334 SOS 5002 HAS SOPS 5002 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4522.002
AT ITER 33 NEW BEST:: SOT 11333 SOS 5001 HAS SOPS 5001 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.001
AT ITER 37 NEW BEST:: SOT 11333 SOS 4995 HAS SOPS 4995 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4520.995
AT ITER 45 NEW BEST:: SOT 11311 SOS 4937 HAS SOPS 4937 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.937
AT ITER 46 NEW BEST:: SOT 11298 SOS 4924 HAS SOPS 4924 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.924
AT ITER 50 NEW BEST:: SOT 11298 SOS 4917 HAS SOPS 4917 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4488.917
AT ITER 52 NEW BEST:: SOT 11298 SOS 4917 HAS SOPS 4917 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4487.917
AT ITER 59 NEW BEST:: SOT 11282 SOS 4909 HAS SOPS 4909 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4479.909
AT ITER 63 NEW BEST:: SOT 11282 SOS 4892 HAS SOPS 4892 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4462.892
AT ITER 81 NEW BEST:: SOT 11270 SOS 4880 HAS SOPS 4880 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4450.88
AT ITER 90 NEW BEST:: SOT 11270 SOS 4832 HAS SOPS 4832 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4450.832
AT ITER 92 NEW BEST:: SOT 11205 SOS 4786 HAS SOPS 4786 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4404.786
AT ITER 108 NEW BEST:: SOT 11199 SOS 4780 HAS SOPS 4780 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4398.78
AT ITER 110 NEW BEST:: SOT 11170 SOS 4766 HAS SOPS 4766 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4394.766
AT ITER 113 NEW BEST:: SOT 11155 SOS 4753 HAS SOPS 4753 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.753
AT ITER 133 NEW BEST:: SOT 11151 SOS 4749 HAS SOPS 4749 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.749
AT ITER 141 NEW BEST:: SOT 11146 SOS 4744 HAS SOPS 4744 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4355.744
AT ITER 156 NEW BEST:: SOT 11138 SOS 4711 HAS SOPS 4711 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.711
AT ITER 157 NEW BEST:: SOT 11117 SOS 4690 HAS SOPS 4690 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4301.69
AT ITER 158 NEW BEST:: SOT 11119 SOS 4680 HAS SOPS 4680 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4291.68
AT ITER 175 NEW BEST:: SOT 11116 SOS 4679 HAS SOPS 4679 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4290.679
AT ITER 196 NEW BEST:: SOT 11133 SOS 4672 HAS SOPS 4672 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4289.672
AT ITER 201 NEW BEST:: SOT 11133 SOS 4668 HAS SOPS 4668 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4289.668
AT ITER 227 NEW BEST:: SOT 11124 SOS 4665 HAS SOPS 4665 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.665
AT ITER 244 NEW BEST:: SOT 11124 SOS 4658 HAS SOPS 4658 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4272.658
AT ITER 260 NEW BEST:: SOT 11124 SOS 4650 HAS SOPS 4650 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.65
AT ITER 265 NEW BEST:: SOT 11120 SOS 4649 HAS SOPS 4649 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.649
AT ITER 271 NEW BEST:: SOT 11120 SOS 4641 HAS SOPS 4641 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.641
AT ITER 277 NEW BEST:: SOT 11120 SOS 4629 HAS SOPS 4629 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4244.629
AT ITER 283 NEW BEST:: SOT 11112 SOS 4613 HAS SOPS 4613 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4236.613
AT ITER 288 NEW BEST:: SOT 11107 SOS 4648 HAS SOPS 4648 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.648
AT ITER 294 NEW BEST:: SOT 11107 SOS 4658 HAS SOPS 4658 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.658
AT ITER 312 NEW BEST:: SOT 11097 SOS 4648 HAS SOPS 4648 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.648
AT ITER 315 NEW BEST:: SOT 11090 SOS 4628 HAS SOPS 4628 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4200.628
AT ITER 318 NEW BEST:: SOT 11082 SOS 4612 HAS SOPS 4612 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4184.612
AT ITER 334 NEW BEST:: SOT 11053 SOS 4590 HAS SOPS 4590 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4179.59
AT ITER 343 NEW BEST:: SOT 11052 SOS 4588 HAS SOPS 4588 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4178.588
AT ITER 347 NEW BEST:: SOT 11033 SOS 4575 HAS SOPS 4575 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.575
AT ITER 358 NEW BEST:: SOT 11022 SOS 4573 HAS SOPS 4573 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.573
AT ITER 361 NEW BEST:: SOT 11014 SOS 4551 HAS SOPS 4551 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4137.551
AT ITER 362 NEW BEST:: SOT 11014 SOS 4534 HAS SOPS 4534 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.534
AT ITER 367 NEW BEST:: SOT 11014 SOS 4519 HAS SOPS 4519 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.519
AT ITER 383 NEW BEST:: SOT 11002 SOS 4525 HAS SOPS 4525 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4123.525
AT ITER 384 NEW BEST:: SOT 10990 SOS 4508 HAS SOPS 4508 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.508
AT ITER 390 NEW BEST:: SOT 10989 SOS 4506 HAS SOPS 4506 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.506
AT ITER 395 NEW BEST:: SOT 10987 SOS 4503 HAS SOPS 4503 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4097.503
AT ITER 401 NEW BEST:: SOT 10984 SOS 4501 HAS SOPS 4501 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.501
AT ITER 405 NEW BEST:: SOT 10978 SOS 4489 HAS SOPS 4489 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.489
AT ITER 406 NEW BEST:: SOT 10972 SOS 4483 HAS SOPS 4483 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.483
AT ITER 412 NEW BEST:: SOT 10974 SOS 4473 HAS SOPS 4473 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.473
AT ITER 413 NEW BEST:: SOT 10974 SOS 4422 HAS SOPS 4422 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4064.422
AT ITER 416 NEW BEST:: SOT 10968 SOS 4402 HAS SOPS 4402 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.402
AT ITER 419 NEW BEST:: SOT 10952 SOS 4367 HAS SOPS 4367 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4036.367
AT ITER 438 NEW BEST:: SOT 10932 SOS 4347 HAS SOPS 4347 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3974.347
AT ITER 446 NEW BEST:: SOT 10926 SOS 4385 HAS SOPS 4385 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3970.385
AT ITER 473 NEW BEST:: SOT 10931 SOS 4362 HAS SOPS 4362 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3963.362
AT ITER 499 NEW BEST:: SOT 10927 SOS 4356 HAS SOPS 4356 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3957.356
AT ITER 501 NEW BEST:: SOT 10927 SOS 4358 HAS SOPS 4358 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3947.358
AT ITER 527 NEW BEST:: SOT 10922 SOS 4390 HAS SOPS 4390 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3937.39
AT ITER 530 NEW BEST:: SOT 10919 SOS 4384 HAS SOPS 4384 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.384
AT ITER 531 NEW BEST:: SOT 10914 SOS 4378 HAS SOPS 4378 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3925.378
AT ITER 542 NEW BEST:: SOT 10960 SOS 4368 HAS SOPS 4368 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.368
AT ITER 548 NEW BEST:: SOT 10954 SOS 4356 HAS SOPS 4356 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.356
AT ITER 549 NEW BEST:: SOT 10947 SOS 4332 HAS SOPS 4332 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.332
AT ITER 557 NEW BEST:: SOT 10947 SOS 4317 HAS SOPS 4317 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.317
AT ITER 581 NEW BEST:: SOT 10930 SOS 4309 HAS SOPS 4309 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.309
AT ITER 594 NEW BEST:: SOT 10908 SOS 4287 HAS SOPS 4287 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.287
AT ITER 616 NEW BEST:: SOT 10908 SOS 4285 HAS SOPS 4285 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.285
AT ITER 637 NEW BEST:: SOT 10903 SOS 4277 HAS SOPS 4277 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.277
AT ITER 660 NEW BEST:: SOT 10889 SOS 4226 HAS SOPS 4226 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.226
AT ITER 664 NEW BEST:: SOT 10880 SOS 4226 HAS SOPS 4226 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3840.226
AT ITER 678 NEW BEST:: SOT 10873 SOS 4237 HAS SOPS 4237 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3833.237
AT ITER 697 NEW BEST:: SOT 10866 SOS 4230 HAS SOPS 4230 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.23
AT ITER 735 NEW BEST:: SOT 10865 SOS 4237 HAS SOPS 4237 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.237
AT ITER 761 NEW BEST:: SOT 10863 SOS 4235 HAS SOPS 4235 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.235
AT ITER 809 NEW BEST:: SOT 10860 SOS 4229 HAS SOPS 4229 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3814.229
AT ITER 820 NEW BEST:: SOT 10855 SOS 4229 HAS SOPS 4229 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.229
AT ITER 825 NEW BEST:: SOT 10846 SOS 4221 HAS SOPS 4221 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.221
AT ITER 866 NEW BEST:: SOT 10891 SOS 4214 HAS SOPS 4214 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.214
AT ITER 919 NEW BEST:: SOT 10888 SOS 4211 HAS SOPS 4211 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.211
AT ITER 973 NEW BEST:: SOT 10878 SOS 4223 HAS SOPS 4223 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.223
AT ITER 992 NEW BEST:: SOT 10878 SOS 4207 HAS SOPS 4207 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.207
AT ITER 1002 NEW BEST:: SOT 10867 SOS 4190 HAS SOPS 4190 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.19
AT ITER 1007 NEW BEST:: SOT 10867 SOS 4182 HAS SOPS 4182 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.182
AT ITER 1025 NEW BEST:: SOT 10866 SOS 4181 HAS SOPS 4181 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3767.181
AT ITER 1032 NEW BEST:: SOT 10856 SOS 4165 HAS SOPS 4165 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3742.165
AT ITER 1050 NEW BEST:: SOT 10856 SOS 4165 HAS SOPS 4165 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3739.165
AT ITER 1116 NEW BEST:: SOT 10850 SOS 4141 HAS SOPS 4141 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.141
AT ITER 1146 NEW BEST:: SOT 10850 SOS 4140 HAS SOPS 4140 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.14
AT ITER 1155 NEW BEST:: SOT 10843 SOS 4130 HAS SOPS 4130 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.13
AT ITER 1163 NEW BEST:: SOT 10852 SOS 4109 HAS SOPS 4109 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.109
AT ITER 1242 NEW BEST:: SOT 10839 SOS 4098 HAS SOPS 4098 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.098
AT ITER 1248 NEW BEST:: SOT 10835 SOS 4085 HAS SOPS 4085 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.085
AT ITER 1250 NEW BEST:: SOT 10834 SOS 4085 HAS SOPS 4085 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.085
AT ITER 1255 NEW BEST:: SOT 10839 SOS 4071 HAS SOPS 4071 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.071
AT ITER 1256 NEW BEST:: SOT 10840 SOS 4069 HAS SOPS 4069 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.069
AT ITER 1267 NEW BEST:: SOT 10840 SOS 4065 HAS SOPS 4065 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.065
AT ITER 1276 NEW BEST:: SOT 10840 SOS 4050 HAS SOPS 4050 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3676.05
AT ITER 1284 NEW BEST:: SOT 10840 SOS 4050 HAS SOPS 4050 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.05
AT ITER 1305 NEW BEST:: SOT 10833 SOS 4038 HAS SOPS 4038 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.038
AT ITER 1327 NEW BEST:: SOT 10831 SOS 4030 HAS SOPS 4030 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.03
AT ITER 1331 NEW BEST:: SOT 10821 SOS 4022 HAS SOPS 4022 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.022
AT ITER 1350 NEW BEST:: SOT 10817 SOS 4018 HAS SOPS 4018 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.018
AT ITER 1392 NEW BEST:: SOT 10820 SOS 4012 HAS SOPS 4012 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.012
AT ITER 1404 NEW BEST:: SOT 10788 SOS 4004 HAS SOPS 4004 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.004
AT ITER 1432 NEW BEST:: SOT 10788 SOS 4001 HAS SOPS 4001 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.001
AT ITER 1445 NEW BEST:: SOT 10784 SOS 3998 HAS SOPS 3998 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3631.998
AT ITER 1451 NEW BEST:: SOT 10844 SOS 3991 HAS SOPS 3991 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3624.991
AT ITER 1467 NEW BEST:: SOT 10844 SOS 3990 HAS SOPS 3990 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3622.99
AT ITER 1481 NEW BEST:: SOT 10842 SOS 3988 HAS SOPS 3988 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3622.988
AT ITER 1491 NEW BEST:: SOT 10836 SOS 3980 HAS SOPS 3980 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3598.98
AT ITER 1501 NEW BEST:: SOT 10833 SOS 3992 HAS SOPS 3992 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3592.992
AT ITER 1532 NEW BEST:: SOT 10834 SOS 3995 HAS SOPS 3995 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3591.995
AT ITER 1576 NEW BEST:: SOT 10814 SOS 3979 HAS SOPS 3979 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.979
AT ITER 1602 NEW BEST:: SOT 10809 SOS 3974 HAS SOPS 3974 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3578.974
AT ITER 1610 NEW BEST:: SOT 10809 SOS 3972 HAS SOPS 3972 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3576.972
AT ITER 1617 NEW BEST:: SOT 10809 SOS 3956 HAS SOPS 3956 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3570.956
AT ITER 1640 NEW BEST:: SOT 10809 SOS 3968 HAS SOPS 3968 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.968
AT ITER 1663 NEW BEST:: SOT 10816 SOS 3967 HAS SOPS 3967 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.967
AT ITER 1665 NEW BEST:: SOT 10816 SOS 3962 HAS SOPS 3962 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3560.962
AT ITER 1763 NEW BEST:: SOT 10814 SOS 3957 HAS SOPS 3957 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.957
AT ITER 1774 NEW BEST:: SOT 10813 SOS 3956 HAS SOPS 3956 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3554.956
AT ITER 1784 NEW BEST:: SOT 10812 SOS 3954 HAS SOPS 3954 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3552.954
AT ITER 1797 NEW BEST:: SOT 10821 SOS 3936 HAS SOPS 3936 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3552.936
AT ITER 1819 NEW BEST:: SOT 10820 SOS 3935 HAS SOPS 3935 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3549.935
AT ITER 1822 NEW BEST:: SOT 10820 SOS 3933 HAS SOPS 3933 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3549.933
AT ITER 1832 NEW BEST:: SOT 10820 SOS 3932 HAS SOPS 3932 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3548.932
AT ITER 1857 NEW BEST:: SOT 10821 SOS 3931 HAS SOPS 3931 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3546.931
AT ITER 1870 NEW BEST:: SOT 10821 SOS 3931 HAS SOPS 3931 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3543.931
AT ITER 1872 NEW BEST:: SOT 10814 SOS 3929 HAS SOPS 3929 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.929
AT ITER 1898 NEW BEST:: SOT 10814 SOS 3923 HAS SOPS 3923 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.923
AT ITER 1905 NEW BEST:: SOT 10786 SOS 3900 HAS SOPS 3900 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.9
AT ITER 1935 NEW BEST:: SOT 10790 SOS 3892 HAS SOPS 3892 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.892
AT ITER 1939 NEW BEST:: SOT 10787 SOS 3891 HAS SOPS 3891 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3513.891
AT ITER 1951 NEW BEST:: SOT 10758 SOS 3915 HAS SOPS 3915 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.915
AT ITER 1981 NEW BEST:: SOT 10758 SOS 3914 HAS SOPS 3914 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3502.914
AT ITER 1994 NEW BEST:: SOT 10758 SOS 3912 HAS SOPS 3912 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.912
AT ITER 2021 NEW BEST:: SOT 10755 SOS 3921 HAS SOPS 3921 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.921
AT ITER 2036 NEW BEST:: SOT 10752 SOS 3918 HAS SOPS 3918 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.918
AT ITER 2059 NEW BEST:: SOT 10749 SOS 3915 HAS SOPS 3915 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.915
AT ITER 2084 NEW BEST:: SOT 10746 SOS 3914 HAS SOPS 3914 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.914
AT ITER 2136 NEW BEST:: SOT 10746 SOS 3911 HAS SOPS 3911 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.911
AT ITER 2162 NEW BEST:: SOT 10743 SOS 3912 HAS SOPS 3912 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3491.912
AT ITER 2165 NEW BEST:: SOT 10743 SOS 3908 HAS SOPS 3908 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3488.908
AT ITER 2175 NEW BEST:: SOT 10735 SOS 3996 HAS SOPS 3996 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3473.996
AT ITER 2201 NEW BEST:: SOT 10735 SOS 3990 HAS SOPS 3990 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3472.99
AT ITER 2216 NEW BEST:: SOT 10735 SOS 3990 HAS SOPS 3990 HAS SOUS 3467 HAS SOUPS 3467 WITH SCORE 3470.99
AT ITER 2265 NEW BEST:: SOT 10733 SOS 3988 HAS SOPS 3988 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3468.988
AT ITER 2288 NEW BEST:: SOT 10730 SOS 3982 HAS SOPS 3982 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.982
AT ITER 2339 NEW BEST:: SOT 10729 SOS 3981 HAS SOPS 3981 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.981
AT ITER 2385 NEW BEST:: SOT 10726 SOS 3975 HAS SOPS 3975 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.975
AT ITER 2488 NEW BEST:: SOT 10722 SOS 3965 HAS SOPS 3965 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.965
AT ITER 2505 NEW BEST:: SOT 10721 SOS 3963 HAS SOPS 3963 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.963
AT ITER 2558 NEW BEST:: SOT 10722 SOS 3941 HAS SOPS 3941 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3454.941
AT ITER 2573 NEW BEST:: SOT 10711 SOS 3941 HAS SOPS 3941 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.941
AT ITER 2593 NEW BEST:: SOT 10711 SOS 3939 HAS SOPS 3939 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.939
AT ITER 2672 NEW BEST:: SOT 10711 SOS 3935 HAS SOPS 3935 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.935
AT ITER 2678 NEW BEST:: SOT 10711 SOS 3933 HAS SOPS 3933 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3447.933
AT ITER 2729 NEW BEST:: SOT 10710 SOS 3933 HAS SOPS 3933 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3445.933
AT ITER 2766 NEW BEST:: SOT 10687 SOS 3919 HAS SOPS 3919 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3435.919
AT ITER 2817 NEW BEST:: SOT 10687 SOS 3918 HAS SOPS 3918 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3435.918
AT ITER 2819 NEW BEST:: SOT 10690 SOS 3917 HAS SOPS 3917 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.917
AT ITER 2833 NEW BEST:: SOT 10690 SOS 3917 HAS SOPS 3917 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.917
AT ITER 2874 NEW BEST:: SOT 10687 SOS 3974 HAS SOPS 3974 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.974
AT ITER 2914 NEW BEST:: SOT 10682 SOS 3975 HAS SOPS 3975 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3425.975
AT ITER 2922 NEW BEST:: SOT 10681 SOS 3973 HAS SOPS 3973 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.973
AT ITER 2948 NEW BEST:: SOT 10686 SOS 3966 HAS SOPS 3966 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3417.966
AT ITER 2956 NEW BEST:: SOT 10685 SOS 3965 HAS SOPS 3965 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.965
AT ITER 3030 NEW BEST:: SOT 10686 SOS 3962 HAS SOPS 3962 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3412.962
AT ITER 3041 NEW BEST:: SOT 10687 SOS 3961 HAS SOPS 3961 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.961
AT ITER 3055 NEW BEST:: SOT 10687 SOS 3961 HAS SOPS 3961 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.961
AT ITER 3072 NEW BEST:: SOT 10686 SOS 3959 HAS SOPS 3959 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.959
AT ITER 3154 NEW BEST:: SOT 10685 SOS 3957 HAS SOPS 3957 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3398.957
AT ITER 3168 NEW BEST:: SOT 10673 SOS 3984 HAS SOPS 3984 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3396.984
AT ITER 3187 NEW BEST:: SOT 10658 SOS 3976 HAS SOPS 3976 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.976
AT ITER 3219 NEW BEST:: SOT 10658 SOS 3964 HAS SOPS 3964 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.964
AT ITER 3282 NEW BEST:: SOT 10658 SOS 3963 HAS SOPS 3963 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.963
AT ITER 3294 NEW BEST:: SOT 10660 SOS 3960 HAS SOPS 3960 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.96
AT ITER 3297 NEW BEST:: SOT 10659 SOS 3958 HAS SOPS 3958 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.958
AT ITER 3322 NEW BEST:: SOT 10658 SOS 3957 HAS SOPS 3957 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3383.957
AT ITER 3343 NEW BEST:: SOT 10656 SOS 3956 HAS SOPS 3956 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3383.956
AT ITER 3375 NEW BEST:: SOT 10649 SOS 3959 HAS SOPS 3959 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.959
AT ITER 3405 NEW BEST:: SOT 10641 SOS 3967 HAS SOPS 3967 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.967
AT ITER 3419 NEW BEST:: SOT 10640 SOS 3965 HAS SOPS 3965 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.965
AT ITER 3487 NEW BEST:: SOT 10634 SOS 3970 HAS SOPS 3970 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3352.97
AT ITER 3532 NEW BEST:: SOT 10635 SOS 3969 HAS SOPS 3969 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3352.969
AT ITER 3570 NEW BEST:: SOT 10658 SOS 3944 HAS SOPS 3944 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.944
AT ITER 3639 NEW BEST:: SOT 10658 SOS 3943 HAS SOPS 3943 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.943
AT ITER 3656 NEW BEST:: SOT 10648 SOS 3933 HAS SOPS 3933 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3346.933
AT ITER 3746 NEW BEST:: SOT 10639 SOS 3924 HAS SOPS 3924 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3346.924
AT ITER 3875 NEW BEST:: SOT 10638 SOS 3919 HAS SOPS 3919 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3343.919
AT ITER 3967 NEW BEST:: SOT 10637 SOS 3923 HAS SOPS 3923 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.923
AT ITER 4038 NEW BEST:: SOT 10634 SOS 3918 HAS SOPS 3918 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.918
AT ITER 4125 NEW BEST:: SOT 10635 SOS 3902 HAS SOPS 3902 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.902
AT ITER 4178 NEW BEST:: SOT 10635 SOS 3902 HAS SOPS 3902 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.902
AT ITER 4198 NEW BEST:: SOT 10629 SOS 3890 HAS SOPS 3890 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.89
AT ITER 4268 NEW BEST:: SOT 10639 SOS 3893 HAS SOPS 3893 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3320.893
AT ITER 4282 NEW BEST:: SOT 10637 SOS 3891 HAS SOPS 3891 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.891
AT ITER 4310 NEW BEST:: SOT 10634 SOS 3888 HAS SOPS 3888 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.888
AT ITER 4427 NEW BEST:: SOT 10628 SOS 3890 HAS SOPS 3890 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3316.89
AT ITER 4454 NEW BEST:: SOT 10626 SOS 3889 HAS SOPS 3889 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.889
AT ITER 4458 NEW BEST:: SOT 10625 SOS 3889 HAS SOPS 3889 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.889
AT ITER 4482 NEW BEST:: SOT 10625 SOS 3885 HAS SOPS 3885 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.885
AT ITER 4548 NEW BEST:: SOT 10625 SOS 3880 HAS SOPS 3880 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3308.88
AT ITER 4636 NEW BEST:: SOT 10624 SOS 3846 HAS SOPS 3846 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.846
AT ITER 4669 NEW BEST:: SOT 10623 SOS 3848 HAS SOPS 3848 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.848
AT ITER 4702 NEW BEST:: SOT 10619 SOS 3852 HAS SOPS 3852 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.852
AT ITER 4778 NEW BEST:: SOT 10619 SOS 3849 HAS SOPS 3849 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.849
AT ITER 4788 NEW BEST:: SOT 10615 SOS 3845 HAS SOPS 3845 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.845
AT ITER 4790 NEW BEST:: SOT 10614 SOS 3844 HAS SOPS 3844 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.844
AT ITER 4854 NEW BEST:: SOT 10613 SOS 3845 HAS SOPS 3845 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3293.845
AT ITER 4936 NEW BEST:: SOT 10606 SOS 3861 HAS SOPS 3861 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.861
AT ITER 4959 NEW BEST:: SOT 10606 SOS 3860 HAS SOPS 3860 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.86
AT ITER 4983 NEW BEST:: SOT 10606 SOS 3861 HAS SOPS 3861 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.861
AT ITER 5032 NEW BEST:: SOT 10599 SOS 3860 HAS SOPS 3860 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.86
AT ITER 5052 NEW BEST:: SOT 10599 SOS 3860 HAS SOPS 3860 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.86
AT ITER 5196 NEW BEST:: SOT 10598 SOS 3859 HAS SOPS 3859 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.859
AT ITER 5223 NEW BEST:: SOT 10590 SOS 3855 HAS SOPS 3855 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.855
AT ITER 5226 NEW BEST:: SOT 10587 SOS 3849 HAS SOPS 3849 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3279.849
AT ITER 5247 NEW BEST:: SOT 10593 SOS 3854 HAS SOPS 3854 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.854
AT ITER 5287 NEW BEST:: SOT 10591 SOS 3849 HAS SOPS 3849 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.849
AT ITER 5330 NEW BEST:: SOT 10591 SOS 3847 HAS SOPS 3847 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.847
AT ITER 5395 NEW BEST:: SOT 10591 SOS 3850 HAS SOPS 3850 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3273.85
AT ITER 5466 NEW BEST:: SOT 10589 SOS 3851 HAS SOPS 3851 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.851
AT ITER 5524 NEW BEST:: SOT 10589 SOS 3849 HAS SOPS 3849 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.849
AT ITER 5776 NEW BEST:: SOT 10589 SOS 3848 HAS SOPS 3848 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.848
AT ITER 5783 NEW BEST:: SOT 10590 SOS 3840 HAS SOPS 3840 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.84
AT ITER 5813 NEW BEST:: SOT 10590 SOS 3836 HAS SOPS 3836 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.836
AT ITER 5848 NEW BEST:: SOT 10587 SOS 3832 HAS SOPS 3832 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.832
AT ITER 5941 NEW BEST:: SOT 10578 SOS 3823 HAS SOPS 3823 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.823
AT ITER 5998 NEW BEST:: SOT 10578 SOS 3820 HAS SOPS 3820 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.82
AT ITER 6025 NEW BEST:: SOT 10579 SOS 3765 HAS SOPS 3765 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.765
AT ITER 6152 NEW BEST:: SOT 10581 SOS 3765 HAS SOPS 3765 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.765
AT ITER 6308 NEW BEST:: SOT 10521 SOS 3763 HAS SOPS 3763 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.763
AT ITER 6323 NEW BEST:: SOT 10517 SOS 3763 HAS SOPS 3763 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.763
AT ITER 6341 NEW BEST:: SOT 10506 SOS 3763 HAS SOPS 3763 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3237.763
AT ITER 6420 NEW BEST:: SOT 10505 SOS 3762 HAS SOPS 3762 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.762
AT ITER 6485 NEW BEST:: SOT 10506 SOS 3760 HAS SOPS 3760 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.76
AT ITER 6714 NEW BEST:: SOT 10503 SOS 3758 HAS SOPS 3758 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.758
AT ITER 6772 NEW BEST:: SOT 10502 SOS 3757 HAS SOPS 3757 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3232.757
AT ITER 6797 NEW BEST:: SOT 10500 SOS 3755 HAS SOPS 3755 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.755
AT ITER 6863 NEW BEST:: SOT 10507 SOS 3753 HAS SOPS 3753 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.753
AT ITER 6881 NEW BEST:: SOT 10507 SOS 3752 HAS SOPS 3752 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.752
AT ITER 6907 NEW BEST:: SOT 10483 SOS 3748 HAS SOPS 3748 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.748
AT ITER 6923 NEW BEST:: SOT 10477 SOS 3738 HAS SOPS 3738 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.738
AT ITER 7094 NEW BEST:: SOT 10479 SOS 3738 HAS SOPS 3738 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.738
AT ITER 7138 NEW BEST:: SOT 10479 SOS 3731 HAS SOPS 3731 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.731
AT ITER 7145 NEW BEST:: SOT 10478 SOS 3731 HAS SOPS 3731 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.731
AT ITER 7156 NEW BEST:: SOT 10479 SOS 3733 HAS SOPS 3733 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.733
AT ITER 7184 NEW BEST:: SOT 10474 SOS 3729 HAS SOPS 3729 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.729
AT ITER 7275 NEW BEST:: SOT 10472 SOS 3727 HAS SOPS 3727 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.727
AT ITER 7378 NEW BEST:: SOT 10471 SOS 3746 HAS SOPS 3746 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.746
AT ITER 7380 NEW BEST:: SOT 10469 SOS 3744 HAS SOPS 3744 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3201.744
AT ITER 7413 NEW BEST:: SOT 10468 SOS 3743 HAS SOPS 3743 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.743
AT ITER 7449 NEW BEST:: SOT 10468 SOS 3740 HAS SOPS 3740 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.74
AT ITER 7560 NEW BEST:: SOT 10464 SOS 3736 HAS SOPS 3736 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.736
AT ITER 7588 NEW BEST:: SOT 10464 SOS 3740 HAS SOPS 3740 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.74
AT ITER 7706 NEW BEST:: SOT 10462 SOS 3736 HAS SOPS 3736 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.736
AT ITER 7751 NEW BEST:: SOT 10461 SOS 3735 HAS SOPS 3735 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.735
AT ITER 7805 NEW BEST:: SOT 10460 SOS 3734 HAS SOPS 3734 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.734
AT ITER 7858 NEW BEST:: SOT 10458 SOS 3732 HAS SOPS 3732 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.732
AT ITER 7919 NEW BEST:: SOT 10432 SOS 3779 HAS SOPS 3779 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.779
AT ITER 7939 NEW BEST:: SOT 10439 SOS 3765 HAS SOPS 3765 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.765
AT ITER 7961 NEW BEST:: SOT 10439 SOS 3729 HAS SOPS 3729 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.729
AT ITER 8147 NEW BEST:: SOT 10435 SOS 3728 HAS SOPS 3728 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.728
AT ITER 8158 NEW BEST:: SOT 10423 SOS 3736 HAS SOPS 3736 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.736
AT ITER 8279 NEW BEST:: SOT 10432 SOS 3735 HAS SOPS 3735 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.735
AT ITER 8329 NEW BEST:: SOT 10432 SOS 3729 HAS SOPS 3729 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.729
AT ITER 8394 NEW BEST:: SOT 10432 SOS 3729 HAS SOPS 3729 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.729
AT ITER 8402 NEW BEST:: SOT 10433 SOS 3730 HAS SOPS 3730 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.73
AT ITER 8414 NEW BEST:: SOT 10428 SOS 3730 HAS SOPS 3730 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.73
AT ITER 8422 NEW BEST:: SOT 10428 SOS 3729 HAS SOPS 3729 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3175.729
AT ITER 8752 NEW BEST:: SOT 10427 SOS 3727 HAS SOPS 3727 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.727
AT ITER 8823 NEW BEST:: SOT 10427 SOS 3723 HAS SOPS 3723 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.723
AT ITER 8873 NEW BEST:: SOT 10431 SOS 3711 HAS SOPS 3711 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.711
AT ITER 8922 NEW BEST:: SOT 10431 SOS 3710 HAS SOPS 3710 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.71
AT ITER 8960 NEW BEST:: SOT 10430 SOS 3727 HAS SOPS 3727 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.727
AT ITER 8983 NEW BEST:: SOT 10429 SOS 3729 HAS SOPS 3729 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.729
AT ITER 9452 NEW BEST:: SOT 10429 SOS 3731 HAS SOPS 3731 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3170.731
AT ITER 9544 NEW BEST:: SOT 10427 SOS 3728 HAS SOPS 3728 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3168.728
AT ITER 9569 NEW BEST:: SOT 10427 SOS 3727 HAS SOPS 3727 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3167.727
AT ITER 9671 NEW BEST:: SOT 10424 SOS 3736 HAS SOPS 3736 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.736
AT ITER 9684 NEW BEST:: SOT 10419 SOS 3731 HAS SOPS 3731 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.731
AT ITER 9695 NEW BEST:: SOT 10416 SOS 3735 HAS SOPS 3735 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.735
AT ITER 9776 NEW BEST:: SOT 10415 SOS 3734 HAS SOPS 3734 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.734
AT ITER 9987 NEW BEST:: SOT 10413 SOS 3733 HAS SOPS 3733 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.733
STATE_SPACE STATES 4717886881 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 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 39697223744 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678272414103

--------------------
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="DatabaseWithMutex-PT-04"
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 DatabaseWithMutex-PT-04, 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-167814473301072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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