Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000096.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.9K May 14 00:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 00:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 17:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 17:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 34K May 12 20:42 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 1590435522118

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 103 places, 99 transitions, 438 arcs.
AT ITER 0 NEW BEST:: SOT 6965 SOS 5440 HAS SOPS 5440 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.44
AT ITER 7 NEW BEST:: SOT 6952 SOS 5433 HAS SOPS 5433 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.433
AT ITER 10 NEW BEST:: SOT 6950 SOS 5431 HAS SOPS 5431 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4661.431
AT ITER 17 NEW BEST:: SOT 6936 SOS 5341 HAS SOPS 5341 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.341
AT ITER 19 NEW BEST:: SOT 6911 SOS 5316 HAS SOPS 5316 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.316
AT ITER 21 NEW BEST:: SOT 6823 SOS 5218 HAS SOPS 5218 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.218
AT ITER 22 NEW BEST:: SOT 6819 SOS 5214 HAS SOPS 5214 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.214
AT ITER 29 NEW BEST:: SOT 6798 SOS 5118 HAS SOPS 5118 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.118
AT ITER 43 NEW BEST:: SOT 6795 SOS 5115 HAS SOPS 5115 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4424.115
AT ITER 46 NEW BEST:: SOT 6762 SOS 5082 HAS SOPS 5082 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4391.082
AT ITER 53 NEW BEST:: SOT 6762 SOS 5081 HAS SOPS 5081 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.081
AT ITER 54 NEW BEST:: SOT 6762 SOS 5080 HAS SOPS 5080 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.08
AT ITER 64 NEW BEST:: SOT 6758 SOS 5054 HAS SOPS 5054 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4379.054
AT ITER 68 NEW BEST:: SOT 6850 SOS 5046 HAS SOPS 5046 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.046
AT ITER 87 NEW BEST:: SOT 6806 SOS 5002 HAS SOPS 5002 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4332.002
AT ITER 95 NEW BEST:: SOT 6863 SOS 5005 HAS SOPS 5005 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4329.005
AT ITER 103 NEW BEST:: SOT 6816 SOS 4945 HAS SOPS 4945 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.945
AT ITER 111 NEW BEST:: SOT 6778 SOS 4890 HAS SOPS 4890 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.89
AT ITER 112 NEW BEST:: SOT 6777 SOS 4889 HAS SOPS 4889 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4228.889
AT ITER 114 NEW BEST:: SOT 6775 SOS 4885 HAS SOPS 4885 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4224.885
AT ITER 122 NEW BEST:: SOT 6771 SOS 4867 HAS SOPS 4867 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.867
AT ITER 123 NEW BEST:: SOT 6744 SOS 4833 HAS SOPS 4833 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4169.833
AT ITER 124 NEW BEST:: SOT 6741 SOS 4830 HAS SOPS 4830 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.83
AT ITER 127 NEW BEST:: SOT 6690 SOS 4805 HAS SOPS 4805 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.805
AT ITER 128 NEW BEST:: SOT 6661 SOS 4760 HAS SOPS 4760 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4131.76
AT ITER 129 NEW BEST:: SOT 6613 SOS 4710 HAS SOPS 4710 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.71
AT ITER 130 NEW BEST:: SOT 6613 SOS 4628 HAS SOPS 4628 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.628
AT ITER 136 NEW BEST:: SOT 6604 SOS 4619 HAS SOPS 4619 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.619
AT ITER 137 NEW BEST:: SOT 6598 SOS 4610 HAS SOPS 4610 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.61
AT ITER 143 NEW BEST:: SOT 6553 SOS 4563 HAS SOPS 4563 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.563
AT ITER 149 NEW BEST:: SOT 6553 SOS 4556 HAS SOPS 4556 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.556
AT ITER 157 NEW BEST:: SOT 6541 SOS 4508 HAS SOPS 4508 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.508
AT ITER 166 NEW BEST:: SOT 6521 SOS 4469 HAS SOPS 4469 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3953.469
AT ITER 178 NEW BEST:: SOT 6513 SOS 4462 HAS SOPS 4462 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.462
AT ITER 184 NEW BEST:: SOT 6513 SOS 4445 HAS SOPS 4445 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.445
AT ITER 187 NEW BEST:: SOT 6513 SOS 4435 HAS SOPS 4435 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.435
AT ITER 206 NEW BEST:: SOT 6632 SOS 4578 HAS SOPS 4578 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.578
AT ITER 209 NEW BEST:: SOT 6621 SOS 4557 HAS SOPS 4557 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.557
AT ITER 212 NEW BEST:: SOT 6569 SOS 4505 HAS SOPS 4505 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.505
AT ITER 217 NEW BEST:: SOT 6564 SOS 4493 HAS SOPS 4493 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.493
AT ITER 219 NEW BEST:: SOT 6553 SOS 4479 HAS SOPS 4479 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.479
AT ITER 222 NEW BEST:: SOT 6569 SOS 4475 HAS SOPS 4475 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.475
AT ITER 230 NEW BEST:: SOT 6568 SOS 4473 HAS SOPS 4473 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.473
AT ITER 235 NEW BEST:: SOT 6570 SOS 4464 HAS SOPS 4464 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.464
AT ITER 237 NEW BEST:: SOT 6570 SOS 4462 HAS SOPS 4462 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.462
AT ITER 247 NEW BEST:: SOT 6450 SOS 4342 HAS SOPS 4342 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3580.342
AT ITER 250 NEW BEST:: SOT 6448 SOS 4366 HAS SOPS 4366 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.366
AT ITER 254 NEW BEST:: SOT 6438 SOS 4356 HAS SOPS 4356 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.356
AT ITER 258 NEW BEST:: SOT 6431 SOS 4349 HAS SOPS 4349 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3559.349
AT ITER 263 NEW BEST:: SOT 6407 SOS 4325 HAS SOPS 4325 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.325
AT ITER 270 NEW BEST:: SOT 6358 SOS 4240 HAS SOPS 4240 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.24
AT ITER 273 NEW BEST:: SOT 6360 SOS 4238 HAS SOPS 4238 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.238
AT ITER 274 NEW BEST:: SOT 6358 SOS 4215 HAS SOPS 4215 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.215
AT ITER 279 NEW BEST:: SOT 6376 SOS 4210 HAS SOPS 4210 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3421.21
AT ITER 293 NEW BEST:: SOT 6316 SOS 4129 HAS SOPS 4129 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3340.129
AT ITER 294 NEW BEST:: SOT 6347 SOS 4120 HAS SOPS 4120 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3328.12
AT ITER 302 NEW BEST:: SOT 6344 SOS 4117 HAS SOPS 4117 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3325.117
AT ITER 308 NEW BEST:: SOT 6327 SOS 4100 HAS SOPS 4100 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.1
AT ITER 323 NEW BEST:: SOT 6323 SOS 4096 HAS SOPS 4096 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3299.096
AT ITER 330 NEW BEST:: SOT 6321 SOS 4085 HAS SOPS 4085 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3299.085
AT ITER 354 NEW BEST:: SOT 6321 SOS 4079 HAS SOPS 4079 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3299.079
AT ITER 371 NEW BEST:: SOT 6278 SOS 4036 HAS SOPS 4036 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3256.036
AT ITER 378 NEW BEST:: SOT 6276 SOS 4010 HAS SOPS 4010 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3246.01
AT ITER 381 NEW BEST:: SOT 6266 SOS 4000 HAS SOPS 4000 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3236.0
AT ITER 398 NEW BEST:: SOT 6266 SOS 4009 HAS SOPS 4009 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3233.009
AT ITER 402 NEW BEST:: SOT 6266 SOS 3994 HAS SOPS 3994 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.994
AT ITER 406 NEW BEST:: SOT 6258 SOS 3982 HAS SOPS 3982 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3215.982
AT ITER 422 NEW BEST:: SOT 6246 SOS 3970 HAS SOPS 3970 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.97
AT ITER 425 NEW BEST:: SOT 6230 SOS 3954 HAS SOPS 3954 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3184.954
AT ITER 429 NEW BEST:: SOT 6227 SOS 3951 HAS SOPS 3951 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.951
AT ITER 443 NEW BEST:: SOT 6215 SOS 3928 HAS SOPS 3928 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.928
AT ITER 444 NEW BEST:: SOT 6209 SOS 3913 HAS SOPS 3913 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.913
AT ITER 445 NEW BEST:: SOT 6209 SOS 3858 HAS SOPS 3858 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.858
AT ITER 447 NEW BEST:: SOT 6221 SOS 3719 HAS SOPS 3719 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.719
AT ITER 449 NEW BEST:: SOT 6213 SOS 3713 HAS SOPS 3713 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.713
AT ITER 453 NEW BEST:: SOT 6225 SOS 3723 HAS SOPS 3723 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.723
AT ITER 460 NEW BEST:: SOT 6240 SOS 3753 HAS SOPS 3753 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.753
AT ITER 463 NEW BEST:: SOT 6248 SOS 3732 HAS SOPS 3732 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.732
AT ITER 478 NEW BEST:: SOT 6245 SOS 3720 HAS SOPS 3720 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.72
AT ITER 479 NEW BEST:: SOT 6220 SOS 3690 HAS SOPS 3690 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.69
AT ITER 480 NEW BEST:: SOT 6217 SOS 3696 HAS SOPS 3696 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.696
AT ITER 486 NEW BEST:: SOT 6212 SOS 3691 HAS SOPS 3691 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.691
AT ITER 487 NEW BEST:: SOT 6237 SOS 3743 HAS SOPS 3743 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2975.743
AT ITER 494 NEW BEST:: SOT 6237 SOS 3743 HAS SOPS 3743 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.743
AT ITER 496 NEW BEST:: SOT 6216 SOS 3636 HAS SOPS 3636 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.636
AT ITER 500 NEW BEST:: SOT 6216 SOS 3622 HAS SOPS 3622 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.622
AT ITER 501 NEW BEST:: SOT 6208 SOS 3640 HAS SOPS 3640 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2917.64
AT ITER 504 NEW BEST:: SOT 6208 SOS 3640 HAS SOPS 3640 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.64
AT ITER 515 NEW BEST:: SOT 6214 SOS 3638 HAS SOPS 3638 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.638
AT ITER 522 NEW BEST:: SOT 6222 SOS 3625 HAS SOPS 3625 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.625
AT ITER 527 NEW BEST:: SOT 6222 SOS 3624 HAS SOPS 3624 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.624
AT ITER 532 NEW BEST:: SOT 6221 SOS 3621 HAS SOPS 3621 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.621
AT ITER 547 NEW BEST:: SOT 6224 SOS 3612 HAS SOPS 3612 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.612
AT ITER 550 NEW BEST:: SOT 6224 SOS 3612 HAS SOPS 3612 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.612
AT ITER 555 NEW BEST:: SOT 6220 SOS 3608 HAS SOPS 3608 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2879.608
AT ITER 556 NEW BEST:: SOT 6225 SOS 3607 HAS SOPS 3607 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.607
AT ITER 559 NEW BEST:: SOT 6220 SOS 3579 HAS SOPS 3579 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.579
AT ITER 593 NEW BEST:: SOT 6211 SOS 3499 HAS SOPS 3499 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.499
AT ITER 612 NEW BEST:: SOT 6231 SOS 3489 HAS SOPS 3489 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.489
AT ITER 618 NEW BEST:: SOT 6231 SOS 3489 HAS SOPS 3489 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.489
AT ITER 627 NEW BEST:: SOT 6221 SOS 3479 HAS SOPS 3479 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.479
AT ITER 628 NEW BEST:: SOT 6216 SOS 3471 HAS SOPS 3471 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.471
AT ITER 637 NEW BEST:: SOT 6218 SOS 3487 HAS SOPS 3487 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.487
AT ITER 667 NEW BEST:: SOT 6198 SOS 3458 HAS SOPS 3458 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.458
AT ITER 683 NEW BEST:: SOT 6189 SOS 3444 HAS SOPS 3444 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.444
AT ITER 686 NEW BEST:: SOT 6202 SOS 3434 HAS SOPS 3434 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.434
AT ITER 712 NEW BEST:: SOT 6186 SOS 3410 HAS SOPS 3410 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.41
AT ITER 715 NEW BEST:: SOT 6165 SOS 3392 HAS SOPS 3392 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.392
AT ITER 724 NEW BEST:: SOT 6165 SOS 3392 HAS SOPS 3392 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.392
AT ITER 728 NEW BEST:: SOT 6159 SOS 3381 HAS SOPS 3381 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2617.381
AT ITER 750 NEW BEST:: SOT 6118 SOS 3331 HAS SOPS 3331 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.331
AT ITER 751 NEW BEST:: SOT 6108 SOS 3308 HAS SOPS 3308 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.308
AT ITER 757 NEW BEST:: SOT 6108 SOS 3312 HAS SOPS 3312 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2533.312
AT ITER 764 NEW BEST:: SOT 6103 SOS 3305 HAS SOPS 3305 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.305
AT ITER 774 NEW BEST:: SOT 6099 SOS 3299 HAS SOPS 3299 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.299
AT ITER 782 NEW BEST:: SOT 6099 SOS 3294 HAS SOPS 3294 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.294
AT ITER 789 NEW BEST:: SOT 6091 SOS 3272 HAS SOPS 3272 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2489.272
AT ITER 806 NEW BEST:: SOT 6089 SOS 3274 HAS SOPS 3274 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2481.274
AT ITER 812 NEW BEST:: SOT 6087 SOS 3272 HAS SOPS 3272 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2479.272
AT ITER 828 NEW BEST:: SOT 6081 SOS 3269 HAS SOPS 3269 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2474.269
AT ITER 842 NEW BEST:: SOT 6118 SOS 3287 HAS SOPS 3287 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2471.287
AT ITER 849 NEW BEST:: SOT 6085 SOS 3257 HAS SOPS 3257 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.257
AT ITER 852 NEW BEST:: SOT 6147 SOS 3306 HAS SOPS 3306 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2435.306
AT ITER 866 NEW BEST:: SOT 6145 SOS 3302 HAS SOPS 3302 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2431.302
AT ITER 931 NEW BEST:: SOT 6136 SOS 3294 HAS SOPS 3294 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2420.294
AT ITER 955 NEW BEST:: SOT 6135 SOS 3293 HAS SOPS 3293 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2420.293
AT ITER 965 NEW BEST:: SOT 6133 SOS 3286 HAS SOPS 3286 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2409.286
AT ITER 1015 NEW BEST:: SOT 6129 SOS 3282 HAS SOPS 3282 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.282
AT ITER 1019 NEW BEST:: SOT 6125 SOS 3292 HAS SOPS 3292 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2406.292
AT ITER 1025 NEW BEST:: SOT 6112 SOS 3243 HAS SOPS 3243 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2396.243
AT ITER 1037 NEW BEST:: SOT 6110 SOS 3241 HAS SOPS 3241 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2394.241
AT ITER 1109 NEW BEST:: SOT 6110 SOS 3231 HAS SOPS 3231 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2376.231
AT ITER 1123 NEW BEST:: SOT 6102 SOS 3221 HAS SOPS 3221 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2372.221
AT ITER 1144 NEW BEST:: SOT 6102 SOS 3217 HAS SOPS 3217 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2365.217
AT ITER 1145 NEW BEST:: SOT 6096 SOS 3197 HAS SOPS 3197 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2355.197
AT ITER 1151 NEW BEST:: SOT 6088 SOS 3192 HAS SOPS 3192 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2350.192
AT ITER 1153 NEW BEST:: SOT 6044 SOS 3148 HAS SOPS 3148 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2306.148
AT ITER 1189 NEW BEST:: SOT 6042 SOS 3145 HAS SOPS 3145 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2303.145
AT ITER 1194 NEW BEST:: SOT 6035 SOS 3135 HAS SOPS 3135 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2293.135
AT ITER 1248 NEW BEST:: SOT 6036 SOS 3122 HAS SOPS 3122 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2291.122
AT ITER 1258 NEW BEST:: SOT 6029 SOS 3095 HAS SOPS 3095 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2278.095
AT ITER 1267 NEW BEST:: SOT 6028 SOS 3093 HAS SOPS 3093 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2276.093
AT ITER 1287 NEW BEST:: SOT 6023 SOS 3082 HAS SOPS 3082 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2264.082
AT ITER 1302 NEW BEST:: SOT 6023 SOS 3081 HAS SOPS 3081 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2264.081
AT ITER 1368 NEW BEST:: SOT 6021 SOS 3077 HAS SOPS 3077 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2262.077
AT ITER 1398 NEW BEST:: SOT 5981 SOS 3037 HAS SOPS 3037 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.037
AT ITER 1443 NEW BEST:: SOT 5981 SOS 3038 HAS SOPS 3038 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.038
AT ITER 1449 NEW BEST:: SOT 5979 SOS 3030 HAS SOPS 3030 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2205.03
AT ITER 1497 NEW BEST:: SOT 5968 SOS 2997 HAS SOPS 2997 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.997
AT ITER 1543 NEW BEST:: SOT 5964 SOS 2992 HAS SOPS 2992 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.992
AT ITER 1556 NEW BEST:: SOT 5945 SOS 2969 HAS SOPS 2969 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2154.969
AT ITER 1634 NEW BEST:: SOT 5942 SOS 2967 HAS SOPS 2967 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.967
AT ITER 1670 NEW BEST:: SOT 5941 SOS 2966 HAS SOPS 2966 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.966
AT ITER 1696 NEW BEST:: SOT 5948 SOS 2953 HAS SOPS 2953 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.953
AT ITER 1699 NEW BEST:: SOT 5943 SOS 2948 HAS SOPS 2948 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.948
AT ITER 1711 NEW BEST:: SOT 5939 SOS 2944 HAS SOPS 2944 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.944
AT ITER 1775 NEW BEST:: SOT 5938 SOS 2967 HAS SOPS 2967 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.967
AT ITER 1788 NEW BEST:: SOT 5938 SOS 2962 HAS SOPS 2962 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.962
AT ITER 1797 NEW BEST:: SOT 5937 SOS 2961 HAS SOPS 2961 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2124.961
AT ITER 1872 NEW BEST:: SOT 5941 SOS 2958 HAS SOPS 2958 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.958
AT ITER 1944 NEW BEST:: SOT 5936 SOS 2953 HAS SOPS 2953 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.953
AT ITER 1984 NEW BEST:: SOT 5937 SOS 2956 HAS SOPS 2956 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.956
AT ITER 2026 NEW BEST:: SOT 5937 SOS 2944 HAS SOPS 2944 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.944
AT ITER 2049 NEW BEST:: SOT 5936 SOS 2943 HAS SOPS 2943 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.943
AT ITER 2076 NEW BEST:: SOT 5933 SOS 2939 HAS SOPS 2939 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.939
AT ITER 2084 NEW BEST:: SOT 5932 SOS 2931 HAS SOPS 2931 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.931
AT ITER 2108 NEW BEST:: SOT 5932 SOS 2929 HAS SOPS 2929 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.929
AT ITER 2112 NEW BEST:: SOT 5926 SOS 2923 HAS SOPS 2923 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.923
AT ITER 2123 NEW BEST:: SOT 5921 SOS 2903 HAS SOPS 2903 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.903
AT ITER 2144 NEW BEST:: SOT 5910 SOS 2893 HAS SOPS 2893 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.893
AT ITER 2174 NEW BEST:: SOT 5910 SOS 2892 HAS SOPS 2892 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.892
AT ITER 2201 NEW BEST:: SOT 5898 SOS 2880 HAS SOPS 2880 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.88
AT ITER 2202 NEW BEST:: SOT 5895 SOS 2877 HAS SOPS 2877 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.877
AT ITER 2242 NEW BEST:: SOT 5892 SOS 2874 HAS SOPS 2874 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.874
AT ITER 2294 NEW BEST:: SOT 5891 SOS 2863 HAS SOPS 2863 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.863
AT ITER 2302 NEW BEST:: SOT 5891 SOS 2863 HAS SOPS 2863 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.863
AT ITER 2311 NEW BEST:: SOT 5892 SOS 2865 HAS SOPS 2865 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.865
AT ITER 2318 NEW BEST:: SOT 5898 SOS 2864 HAS SOPS 2864 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.864
AT ITER 2338 NEW BEST:: SOT 5895 SOS 2858 HAS SOPS 2858 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.858
AT ITER 2388 NEW BEST:: SOT 5903 SOS 2886 HAS SOPS 2886 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.886
AT ITER 2401 NEW BEST:: SOT 5899 SOS 2882 HAS SOPS 2882 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.882
AT ITER 2418 NEW BEST:: SOT 5893 SOS 2885 HAS SOPS 2885 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.885
AT ITER 2439 NEW BEST:: SOT 5880 SOS 2865 HAS SOPS 2865 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.865
AT ITER 2448 NEW BEST:: SOT 5880 SOS 2865 HAS SOPS 2865 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.865
AT ITER 2473 NEW BEST:: SOT 5880 SOS 2865 HAS SOPS 2865 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1998.865
AT ITER 2493 NEW BEST:: SOT 5870 SOS 2854 HAS SOPS 2854 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.854
AT ITER 2616 NEW BEST:: SOT 5875 SOS 2807 HAS SOPS 2807 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.807
AT ITER 2620 NEW BEST:: SOT 5867 SOS 2799 HAS SOPS 2799 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.799
AT ITER 2622 NEW BEST:: SOT 5865 SOS 2797 HAS SOPS 2797 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.797
AT ITER 2624 NEW BEST:: SOT 5864 SOS 2797 HAS SOPS 2797 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.797
AT ITER 2644 NEW BEST:: SOT 5863 SOS 2796 HAS SOPS 2796 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.796
AT ITER 2697 NEW BEST:: SOT 5865 SOS 2802 HAS SOPS 2802 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.802
AT ITER 2704 NEW BEST:: SOT 5846 SOS 2774 HAS SOPS 2774 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.774
AT ITER 2715 NEW BEST:: SOT 5833 SOS 2757 HAS SOPS 2757 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.757
AT ITER 2754 NEW BEST:: SOT 5833 SOS 2748 HAS SOPS 2748 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.748
AT ITER 2816 NEW BEST:: SOT 5831 SOS 2746 HAS SOPS 2746 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.746
AT ITER 2820 NEW BEST:: SOT 5831 SOS 2747 HAS SOPS 2747 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.747
AT ITER 2828 NEW BEST:: SOT 5830 SOS 2745 HAS SOPS 2745 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.745
AT ITER 2859 NEW BEST:: SOT 5832 SOS 2752 HAS SOPS 2752 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.752
AT ITER 2860 NEW BEST:: SOT 5832 SOS 2753 HAS SOPS 2753 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.753
AT ITER 2892 NEW BEST:: SOT 5833 SOS 2747 HAS SOPS 2747 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.747
AT ITER 2912 NEW BEST:: SOT 5825 SOS 2744 HAS SOPS 2744 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.744
AT ITER 2922 NEW BEST:: SOT 5830 SOS 2745 HAS SOPS 2745 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.745
AT ITER 2925 NEW BEST:: SOT 5822 SOS 2715 HAS SOPS 2715 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.715
AT ITER 2943 NEW BEST:: SOT 5820 SOS 2707 HAS SOPS 2707 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1887.707
AT ITER 2956 NEW BEST:: SOT 5818 SOS 2703 HAS SOPS 2703 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.703
AT ITER 2983 NEW BEST:: SOT 5818 SOS 2704 HAS SOPS 2704 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.704
AT ITER 3158 NEW BEST:: SOT 5817 SOS 2703 HAS SOPS 2703 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.703
AT ITER 3184 NEW BEST:: SOT 5811 SOS 2697 HAS SOPS 2697 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.697
AT ITER 3185 NEW BEST:: SOT 5797 SOS 2688 HAS SOPS 2688 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.688
AT ITER 3204 NEW BEST:: SOT 5822 SOS 2713 HAS SOPS 2713 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.713
AT ITER 3248 NEW BEST:: SOT 5821 SOS 2709 HAS SOPS 2709 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.709
AT ITER 3295 NEW BEST:: SOT 5820 SOS 2708 HAS SOPS 2708 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1863.708
AT ITER 3314 NEW BEST:: SOT 5820 SOS 2706 HAS SOPS 2706 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1863.706
AT ITER 3349 NEW BEST:: SOT 5827 SOS 2704 HAS SOPS 2704 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.704
AT ITER 3364 NEW BEST:: SOT 5829 SOS 2702 HAS SOPS 2702 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.702
AT ITER 3388 NEW BEST:: SOT 5829 SOS 2700 HAS SOPS 2700 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.7
AT ITER 3435 NEW BEST:: SOT 5820 SOS 2690 HAS SOPS 2690 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.69
AT ITER 3440 NEW BEST:: SOT 5815 SOS 2680 HAS SOPS 2680 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.68
AT ITER 3456 NEW BEST:: SOT 5822 SOS 2688 HAS SOPS 2688 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.688
AT ITER 3463 NEW BEST:: SOT 5821 SOS 2686 HAS SOPS 2686 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1835.686
AT ITER 3512 NEW BEST:: SOT 5815 SOS 2680 HAS SOPS 2680 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1829.68
AT ITER 3620 NEW BEST:: SOT 5830 SOS 2688 HAS SOPS 2688 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.688
AT ITER 3747 NEW BEST:: SOT 5830 SOS 2681 HAS SOPS 2681 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.681
AT ITER 3764 NEW BEST:: SOT 5828 SOS 2679 HAS SOPS 2679 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.679
AT ITER 3779 NEW BEST:: SOT 5828 SOS 2678 HAS SOPS 2678 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.678
AT ITER 3839 NEW BEST:: SOT 5826 SOS 2676 HAS SOPS 2676 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.676
AT ITER 3934 NEW BEST:: SOT 5830 SOS 2682 HAS SOPS 2682 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1810.682
AT ITER 3957 NEW BEST:: SOT 5828 SOS 2677 HAS SOPS 2677 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.677
AT ITER 3974 NEW BEST:: SOT 5826 SOS 2669 HAS SOPS 2669 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.669
AT ITER 3979 NEW BEST:: SOT 5820 SOS 2662 HAS SOPS 2662 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1795.662
AT ITER 4062 NEW BEST:: SOT 5818 SOS 2659 HAS SOPS 2659 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.659
AT ITER 4145 NEW BEST:: SOT 5818 SOS 2656 HAS SOPS 2656 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.656
AT ITER 4181 NEW BEST:: SOT 5815 SOS 2653 HAS SOPS 2653 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1783.653
AT ITER 4197 NEW BEST:: SOT 5815 SOS 2648 HAS SOPS 2648 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.648
AT ITER 4278 NEW BEST:: SOT 5815 SOS 2639 HAS SOPS 2639 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1772.639
AT ITER 4787 NEW BEST:: SOT 5811 SOS 2633 HAS SOPS 2633 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.633
AT ITER 4851 NEW BEST:: SOT 5810 SOS 2632 HAS SOPS 2632 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.632
AT ITER 4950 NEW BEST:: SOT 5812 SOS 2631 HAS SOPS 2631 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.631
AT ITER 4986 NEW BEST:: SOT 5811 SOS 2630 HAS SOPS 2630 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1764.63
AT ITER 5010 NEW BEST:: SOT 5811 SOS 2629 HAS SOPS 2629 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.629
AT ITER 5017 NEW BEST:: SOT 5809 SOS 2623 HAS SOPS 2623 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1761.623
AT ITER 5037 NEW BEST:: SOT 5807 SOS 2621 HAS SOPS 2621 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1759.621
AT ITER 5061 NEW BEST:: SOT 5804 SOS 2618 HAS SOPS 2618 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.618
AT ITER 5071 NEW BEST:: SOT 5801 SOS 2616 HAS SOPS 2616 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.616
AT ITER 5133 NEW BEST:: SOT 5808 SOS 2623 HAS SOPS 2623 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1748.623
AT ITER 5192 NEW BEST:: SOT 5806 SOS 2621 HAS SOPS 2621 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.621
AT ITER 5207 NEW BEST:: SOT 5798 SOS 2601 HAS SOPS 2601 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.601
AT ITER 5278 NEW BEST:: SOT 5796 SOS 2599 HAS SOPS 2599 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.599
AT ITER 5315 NEW BEST:: SOT 5795 SOS 2597 HAS SOPS 2597 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.597
AT ITER 5319 NEW BEST:: SOT 5793 SOS 2585 HAS SOPS 2585 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.585
AT ITER 5414 NEW BEST:: SOT 5793 SOS 2595 HAS SOPS 2595 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.595
AT ITER 5444 NEW BEST:: SOT 5792 SOS 2585 HAS SOPS 2585 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.585
AT ITER 5543 NEW BEST:: SOT 5787 SOS 2545 HAS SOPS 2545 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.545
AT ITER 5557 NEW BEST:: SOT 5787 SOS 2533 HAS SOPS 2533 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1729.533
AT ITER 5859 NEW BEST:: SOT 5786 SOS 2535 HAS SOPS 2535 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1728.535
AT ITER 5924 NEW BEST:: SOT 5793 SOS 2532 HAS SOPS 2532 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1725.532
AT ITER 6120 NEW BEST:: SOT 5793 SOS 2529 HAS SOPS 2529 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.529
AT ITER 6288 NEW BEST:: SOT 5809 SOS 2520 HAS SOPS 2520 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1718.52
AT ITER 6308 NEW BEST:: SOT 5808 SOS 2519 HAS SOPS 2519 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.519
AT ITER 6365 NEW BEST:: SOT 5805 SOS 2506 HAS SOPS 2506 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.506
AT ITER 6437 NEW BEST:: SOT 5805 SOS 2502 HAS SOPS 2502 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.502
AT ITER 6568 NEW BEST:: SOT 5805 SOS 2492 HAS SOPS 2492 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.492
AT ITER 6741 NEW BEST:: SOT 5803 SOS 2489 HAS SOPS 2489 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.489
AT ITER 6905 NEW BEST:: SOT 5800 SOS 2485 HAS SOPS 2485 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.485
AT ITER 7220 NEW BEST:: SOT 5801 SOS 2489 HAS SOPS 2489 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.489
AT ITER 7386 NEW BEST:: SOT 5799 SOS 2487 HAS SOPS 2487 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1688.487
AT ITER 7712 NEW BEST:: SOT 5799 SOS 2487 HAS SOPS 2487 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.487
AT ITER 7784 NEW BEST:: SOT 5798 SOS 2483 HAS SOPS 2483 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.483
AT ITER 7849 NEW BEST:: SOT 5800 SOS 2480 HAS SOPS 2480 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.48
AT ITER 7863 NEW BEST:: SOT 5792 SOS 2471 HAS SOPS 2471 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.471
AT ITER 7887 NEW BEST:: SOT 5789 SOS 2468 HAS SOPS 2468 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.468
AT ITER 7947 NEW BEST:: SOT 5788 SOS 2463 HAS SOPS 2463 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.463
AT ITER 8218 NEW BEST:: SOT 5784 SOS 2462 HAS SOPS 2462 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1659.462
AT ITER 8251 NEW BEST:: SOT 5784 SOS 2460 HAS SOPS 2460 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.46
AT ITER 8272 NEW BEST:: SOT 5779 SOS 2455 HAS SOPS 2455 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.455
AT ITER 8486 NEW BEST:: SOT 5779 SOS 2453 HAS SOPS 2453 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.453
AT ITER 8516 NEW BEST:: SOT 5779 SOS 2451 HAS SOPS 2451 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.451
AT ITER 8645 NEW BEST:: SOT 5777 SOS 2449 HAS SOPS 2449 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.449
AT ITER 8764 NEW BEST:: SOT 5777 SOS 2449 HAS SOPS 2449 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.449
AT ITER 8800 NEW BEST:: SOT 5776 SOS 2447 HAS SOPS 2447 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1648.447
AT ITER 8905 NEW BEST:: SOT 5780 SOS 2448 HAS SOPS 2448 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.448
AT ITER 9077 NEW BEST:: SOT 5777 SOS 2451 HAS SOPS 2451 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.451
AT ITER 9335 NEW BEST:: SOT 5775 SOS 2447 HAS SOPS 2447 HAS SOUS 1637 HAS SOUPS 1637 WITH SCORE 1639.447
AT ITER 9383 NEW BEST:: SOT 5774 SOS 2445 HAS SOPS 2445 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.445

BK_STOP 1590438751693

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 368 Aborted ${SMART} ${INPUT_SM}

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="ShieldIIPs-PT-004A"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-004A, 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 r207-tajo-159033469000096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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