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.r003-oct2-167813590900440.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 7.1K Feb 25 18:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 18:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 18:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 36K 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 1678472910807

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

Filename model.pnml
Petri model created: 132 places, 130 transitions, 420 arcs.
AT ITER 0 NEW BEST:: SOT 13209 SOS 9331 HAS SOPS 9331 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6489.331
AT ITER 11 NEW BEST:: SOT 13219 SOS 9282 HAS SOPS 9224 HAS SOUS 6495 HAS SOUPS 6437 WITH SCORE 6446.282
AT ITER 13 NEW BEST:: SOT 13219 SOS 9225 HAS SOPS 9167 HAS SOUS 6471 HAS SOUPS 6413 WITH SCORE 6422.225
AT ITER 16 NEW BEST:: SOT 13211 SOS 9217 HAS SOPS 9159 HAS SOUS 6463 HAS SOUPS 6405 WITH SCORE 6414.217
AT ITER 17 NEW BEST:: SOT 13211 SOS 9216 HAS SOPS 9158 HAS SOUS 6462 HAS SOUPS 6404 WITH SCORE 6413.216
AT ITER 22 NEW BEST:: SOT 13211 SOS 9206 HAS SOPS 9148 HAS SOUS 6452 HAS SOUPS 6394 WITH SCORE 6403.206
AT ITER 24 NEW BEST:: SOT 13211 SOS 9205 HAS SOPS 9147 HAS SOUS 6451 HAS SOUPS 6393 WITH SCORE 6402.205
AT ITER 25 NEW BEST:: SOT 13211 SOS 9204 HAS SOPS 9146 HAS SOUS 6450 HAS SOUPS 6392 WITH SCORE 6401.204
AT ITER 28 NEW BEST:: SOT 13211 SOS 9117 HAS SOPS 9059 HAS SOUS 6449 HAS SOUPS 6391 WITH SCORE 6400.117
AT ITER 30 NEW BEST:: SOT 13022 SOS 8927 HAS SOPS 8869 HAS SOUS 6310 HAS SOUPS 6252 WITH SCORE 6260.927
AT ITER 35 NEW BEST:: SOT 13034 SOS 8810 HAS SOPS 8695 HAS SOUS 6256 HAS SOUPS 6141 WITH SCORE 6149.81
AT ITER 37 NEW BEST:: SOT 13034 SOS 8611 HAS SOPS 8496 HAS SOUS 6133 HAS SOUPS 6018 WITH SCORE 6026.611
AT ITER 41 NEW BEST:: SOT 12780 SOS 8357 HAS SOPS 8242 HAS SOUS 5969 HAS SOUPS 5854 WITH SCORE 5862.357
AT ITER 47 NEW BEST:: SOT 12750 SOS 8327 HAS SOPS 8212 HAS SOUS 5939 HAS SOUPS 5824 WITH SCORE 5832.327
AT ITER 50 NEW BEST:: SOT 12750 SOS 8326 HAS SOPS 8211 HAS SOUS 5919 HAS SOUPS 5804 WITH SCORE 5812.326
AT ITER 53 NEW BEST:: SOT 12708 SOS 8355 HAS SOPS 8240 HAS SOUS 5889 HAS SOUPS 5774 WITH SCORE 5782.355
AT ITER 55 NEW BEST:: SOT 12708 SOS 8322 HAS SOPS 8207 HAS SOUS 5870 HAS SOUPS 5755 WITH SCORE 5763.322
AT ITER 57 NEW BEST:: SOT 12625 SOS 8217 HAS SOPS 8102 HAS SOUS 5850 HAS SOUPS 5735 WITH SCORE 5743.217
AT ITER 58 NEW BEST:: SOT 12625 SOS 8105 HAS SOPS 7990 HAS SOUS 5785 HAS SOUPS 5670 WITH SCORE 5678.105
AT ITER 59 NEW BEST:: SOT 12593 SOS 8055 HAS SOPS 7940 HAS SOUS 5735 HAS SOUPS 5620 WITH SCORE 5628.055
AT ITER 60 NEW BEST:: SOT 12556 SOS 8018 HAS SOPS 7903 HAS SOUS 5717 HAS SOUPS 5602 WITH SCORE 5610.018
AT ITER 61 NEW BEST:: SOT 12474 SOS 7751 HAS SOPS 7636 HAS SOUS 5516 HAS SOUPS 5401 WITH SCORE 5408.751
AT ITER 62 NEW BEST:: SOT 12384 SOS 7529 HAS SOPS 7414 HAS SOUS 5382 HAS SOUPS 5267 WITH SCORE 5274.529
AT ITER 65 NEW BEST:: SOT 12316 SOS 7461 HAS SOPS 7346 HAS SOUS 5339 HAS SOUPS 5224 WITH SCORE 5231.461
AT ITER 68 NEW BEST:: SOT 12316 SOS 7452 HAS SOPS 7337 HAS SOUS 5338 HAS SOUPS 5223 WITH SCORE 5230.452
AT ITER 69 NEW BEST:: SOT 12153 SOS 7404 HAS SOPS 7154 HAS SOUS 5200 HAS SOUPS 5040 WITH SCORE 5047.404
AT ITER 71 NEW BEST:: SOT 12175 SOS 7402 HAS SOPS 7152 HAS SOUS 5198 HAS SOUPS 5038 WITH SCORE 5045.402
AT ITER 72 NEW BEST:: SOT 12017 SOS 7323 HAS SOPS 7073 HAS SOUS 5149 HAS SOUPS 4989 WITH SCORE 4996.323
AT ITER 80 NEW BEST:: SOT 12017 SOS 7280 HAS SOPS 7030 HAS SOUS 5131 HAS SOUPS 4971 WITH SCORE 4978.28
AT ITER 82 NEW BEST:: SOT 11944 SOS 7234 HAS SOPS 6984 HAS SOUS 5112 HAS SOUPS 4952 WITH SCORE 4959.234
AT ITER 86 NEW BEST:: SOT 11759 SOS 7019 HAS SOPS 6769 HAS SOUS 5011 HAS SOUPS 4851 WITH SCORE 4858.019
AT ITER 95 NEW BEST:: SOT 11744 SOS 7004 HAS SOPS 6754 HAS SOUS 4996 HAS SOUPS 4836 WITH SCORE 4843.004
AT ITER 97 NEW BEST:: SOT 11744 SOS 6995 HAS SOPS 6745 HAS SOUS 4987 HAS SOUPS 4827 WITH SCORE 4833.995
AT ITER 101 NEW BEST:: SOT 11728 SOS 6993 HAS SOPS 6743 HAS SOUS 4984 HAS SOUPS 4824 WITH SCORE 4830.993
AT ITER 111 NEW BEST:: SOT 11728 SOS 6941 HAS SOPS 6691 HAS SOUS 4956 HAS SOUPS 4796 WITH SCORE 4802.941
AT ITER 112 NEW BEST:: SOT 11728 SOS 6937 HAS SOPS 6687 HAS SOUS 4956 HAS SOUPS 4796 WITH SCORE 4802.937
AT ITER 113 NEW BEST:: SOT 11668 SOS 6920 HAS SOPS 6670 HAS SOUS 4871 HAS SOUPS 4711 WITH SCORE 4717.92
AT ITER 129 NEW BEST:: SOT 11528 SOS 6640 HAS SOPS 6390 HAS SOUS 4731 HAS SOUPS 4571 WITH SCORE 4577.64
AT ITER 133 NEW BEST:: SOT 11527 SOS 6541 HAS SOPS 6291 HAS SOUS 4681 HAS SOUPS 4521 WITH SCORE 4527.541
AT ITER 134 NEW BEST:: SOT 11491 SOS 6361 HAS SOPS 6111 HAS SOUS 4653 HAS SOUPS 4493 WITH SCORE 4499.361
AT ITER 138 NEW BEST:: SOT 11400 SOS 6274 HAS SOPS 6019 HAS SOUS 4565 HAS SOUPS 4401 WITH SCORE 4407.274
AT ITER 144 NEW BEST:: SOT 11354 SOS 6244 HAS SOPS 5989 HAS SOUS 4556 HAS SOUPS 4392 WITH SCORE 4398.244
AT ITER 149 NEW BEST:: SOT 11354 SOS 6200 HAS SOPS 5989 HAS SOUS 4545 HAS SOUPS 4392 WITH SCORE 4398.2
AT ITER 152 NEW BEST:: SOT 11353 SOS 6199 HAS SOPS 5988 HAS SOUS 4544 HAS SOUPS 4391 WITH SCORE 4397.199
AT ITER 153 NEW BEST:: SOT 11353 SOS 6214 HAS SOPS 6003 HAS SOUS 4540 HAS SOUPS 4387 WITH SCORE 4393.214
AT ITER 157 NEW BEST:: SOT 11237 SOS 6191 HAS SOPS 5980 HAS SOUS 4532 HAS SOUPS 4379 WITH SCORE 4385.191
AT ITER 160 NEW BEST:: SOT 11257 SOS 6115 HAS SOPS 5838 HAS SOUS 4520 HAS SOUPS 4301 WITH SCORE 4307.115
AT ITER 161 NEW BEST:: SOT 11257 SOS 6141 HAS SOPS 5812 HAS SOUS 4507 HAS SOUPS 4275 WITH SCORE 4281.141
AT ITER 162 NEW BEST:: SOT 11190 SOS 5950 HAS SOPS 5621 HAS SOUS 4368 HAS SOUPS 4136 WITH SCORE 4141.95
AT ITER 167 NEW BEST:: SOT 11189 SOS 5916 HAS SOPS 5587 HAS SOUS 4334 HAS SOUPS 4102 WITH SCORE 4107.916
AT ITER 173 NEW BEST:: SOT 11163 SOS 5812 HAS SOPS 5586 HAS SOUS 4307 HAS SOUPS 4101 WITH SCORE 4106.812
AT ITER 174 NEW BEST:: SOT 11094 SOS 5727 HAS SOPS 5358 HAS SOUS 4215 HAS SOUPS 3951 WITH SCORE 3956.727
AT ITER 179 NEW BEST:: SOT 11105 SOS 5720 HAS SOPS 5351 HAS SOUS 4210 HAS SOUPS 3946 WITH SCORE 3951.72
AT ITER 194 NEW BEST:: SOT 11111 SOS 5724 HAS SOPS 5322 HAS SOUS 4209 HAS SOUPS 3917 WITH SCORE 3922.724
AT ITER 195 NEW BEST:: SOT 11109 SOS 5722 HAS SOPS 5319 HAS SOUS 4207 HAS SOUPS 3915 WITH SCORE 3920.722
AT ITER 198 NEW BEST:: SOT 11071 SOS 5765 HAS SOPS 5362 HAS SOUS 4194 HAS SOUPS 3902 WITH SCORE 3907.765
AT ITER 199 NEW BEST:: SOT 11065 SOS 5754 HAS SOPS 5351 HAS SOUS 4183 HAS SOUPS 3891 WITH SCORE 3896.754
AT ITER 202 NEW BEST:: SOT 10978 SOS 5698 HAS SOPS 5295 HAS SOUS 4127 HAS SOUPS 3835 WITH SCORE 3840.698
AT ITER 211 NEW BEST:: SOT 10974 SOS 5694 HAS SOPS 5290 HAS SOUS 4128 HAS SOUPS 3835 WITH SCORE 3840.694
AT ITER 224 NEW BEST:: SOT 10966 SOS 5654 HAS SOPS 5234 HAS SOUS 4112 HAS SOUPS 3811 WITH SCORE 3816.654
AT ITER 230 NEW BEST:: SOT 10978 SOS 5638 HAS SOPS 5218 HAS SOUS 4096 HAS SOUPS 3795 WITH SCORE 3800.638
AT ITER 231 NEW BEST:: SOT 10978 SOS 5633 HAS SOPS 5213 HAS SOUS 4096 HAS SOUPS 3795 WITH SCORE 3800.633
AT ITER 232 NEW BEST:: SOT 10942 SOS 5620 HAS SOPS 5189 HAS SOUS 4072 HAS SOUPS 3771 WITH SCORE 3776.62
AT ITER 236 NEW BEST:: SOT 10942 SOS 5659 HAS SOPS 5176 HAS SOUS 4072 HAS SOUPS 3758 WITH SCORE 3763.659
AT ITER 245 NEW BEST:: SOT 10941 SOS 5654 HAS SOPS 5172 HAS SOUS 4070 HAS SOUPS 3756 WITH SCORE 3761.654
AT ITER 246 NEW BEST:: SOT 10857 SOS 5570 HAS SOPS 5088 HAS SOUS 3991 HAS SOUPS 3677 WITH SCORE 3682.57
AT ITER 247 NEW BEST:: SOT 10776 SOS 5433 HAS SOPS 4951 HAS SOUS 3908 HAS SOUPS 3594 WITH SCORE 3599.433
AT ITER 252 NEW BEST:: SOT 10773 SOS 5502 HAS SOPS 4923 HAS SOUS 3941 HAS SOUPS 3566 WITH SCORE 3571.502
AT ITER 254 NEW BEST:: SOT 10710 SOS 5405 HAS SOPS 4845 HAS SOUS 3846 HAS SOUPS 3488 WITH SCORE 3493.405
AT ITER 262 NEW BEST:: SOT 10705 SOS 5400 HAS SOPS 4840 HAS SOUS 3841 HAS SOUPS 3483 WITH SCORE 3488.4
AT ITER 268 NEW BEST:: SOT 10695 SOS 5390 HAS SOPS 4830 HAS SOUS 3836 HAS SOUPS 3478 WITH SCORE 3483.39
AT ITER 271 NEW BEST:: SOT 10695 SOS 5208 HAS SOPS 4634 HAS SOUS 3823 HAS SOUPS 3451 WITH SCORE 3456.208
AT ITER 273 NEW BEST:: SOT 10688 SOS 5201 HAS SOPS 4620 HAS SOUS 3816 HAS SOUPS 3437 WITH SCORE 3442.201
AT ITER 276 NEW BEST:: SOT 10660 SOS 5109 HAS SOPS 4556 HAS SOUS 3780 HAS SOUPS 3401 WITH SCORE 3406.109
AT ITER 279 NEW BEST:: SOT 10522 SOS 4975 HAS SOPS 4479 HAS SOUS 3689 HAS SOUPS 3367 WITH SCORE 3371.975
AT ITER 281 NEW BEST:: SOT 10554 SOS 5126 HAS SOPS 4474 HAS SOUS 3732 HAS SOUPS 3362 WITH SCORE 3367.126
AT ITER 282 NEW BEST:: SOT 10548 SOS 5102 HAS SOPS 4474 HAS SOUS 3726 HAS SOUPS 3362 WITH SCORE 3367.102
AT ITER 288 NEW BEST:: SOT 10542 SOS 5114 HAS SOPS 4395 HAS SOUS 3726 HAS SOUPS 3283 WITH SCORE 3288.114
AT ITER 291 NEW BEST:: SOT 10542 SOS 5099 HAS SOPS 4380 HAS SOUS 3711 HAS SOUPS 3268 WITH SCORE 3273.099
AT ITER 298 NEW BEST:: SOT 10502 SOS 5036 HAS SOPS 4340 HAS SOUS 3679 HAS SOUPS 3244 WITH SCORE 3249.036
AT ITER 299 NEW BEST:: SOT 10500 SOS 5034 HAS SOPS 4336 HAS SOUS 3677 HAS SOUPS 3240 WITH SCORE 3245.034
AT ITER 318 NEW BEST:: SOT 10356 SOS 4948 HAS SOPS 4250 HAS SOUS 3607 HAS SOUPS 3170 WITH SCORE 3174.948
AT ITER 324 NEW BEST:: SOT 10370 SOS 4941 HAS SOPS 4243 HAS SOUS 3600 HAS SOUPS 3163 WITH SCORE 3167.941
AT ITER 329 NEW BEST:: SOT 10354 SOS 4901 HAS SOPS 4203 HAS SOUS 3576 HAS SOUPS 3139 WITH SCORE 3143.901
AT ITER 334 NEW BEST:: SOT 10294 SOS 4841 HAS SOPS 4119 HAS SOUS 3580 HAS SOUPS 3138 WITH SCORE 3142.841
AT ITER 339 NEW BEST:: SOT 10323 SOS 4868 HAS SOPS 4146 HAS SOUS 3577 HAS SOUPS 3135 WITH SCORE 3139.868
AT ITER 355 NEW BEST:: SOT 10292 SOS 4841 HAS SOPS 4130 HAS SOUS 3561 HAS SOUPS 3119 WITH SCORE 3123.841
AT ITER 357 NEW BEST:: SOT 10289 SOS 4838 HAS SOPS 4127 HAS SOUS 3555 HAS SOUPS 3113 WITH SCORE 3117.838
AT ITER 380 NEW BEST:: SOT 10289 SOS 4823 HAS SOPS 4112 HAS SOUS 3550 HAS SOUPS 3108 WITH SCORE 3112.823
AT ITER 381 NEW BEST:: SOT 10287 SOS 4821 HAS SOPS 4110 HAS SOUS 3548 HAS SOUPS 3106 WITH SCORE 3110.821
AT ITER 383 NEW BEST:: SOT 10301 SOS 4883 HAS SOPS 4091 HAS SOUS 3562 HAS SOUPS 3087 WITH SCORE 3091.883
AT ITER 385 NEW BEST:: SOT 10299 SOS 4878 HAS SOPS 4086 HAS SOUS 3559 HAS SOUPS 3084 WITH SCORE 3088.878
AT ITER 409 NEW BEST:: SOT 10299 SOS 4876 HAS SOPS 4080 HAS SOUS 3558 HAS SOUPS 3082 WITH SCORE 3086.876
AT ITER 417 NEW BEST:: SOT 10315 SOS 4935 HAS SOPS 4054 HAS SOUS 3564 HAS SOUPS 3064 WITH SCORE 3068.935
AT ITER 423 NEW BEST:: SOT 10305 SOS 4925 HAS SOPS 4034 HAS SOUS 3554 HAS SOUPS 3044 WITH SCORE 3048.925
AT ITER 428 NEW BEST:: SOT 10305 SOS 4955 HAS SOPS 4049 HAS SOUS 3554 HAS SOUPS 3029 WITH SCORE 3033.955
AT ITER 430 NEW BEST:: SOT 10342 SOS 4992 HAS SOPS 4085 HAS SOUS 3553 HAS SOUPS 3027 WITH SCORE 3031.992
AT ITER 431 NEW BEST:: SOT 10338 SOS 4983 HAS SOPS 4076 HAS SOUS 3549 HAS SOUPS 3023 WITH SCORE 3027.983
AT ITER 433 NEW BEST:: SOT 10331 SOS 4963 HAS SOPS 4056 HAS SOUS 3529 HAS SOUPS 3003 WITH SCORE 3007.963
AT ITER 449 NEW BEST:: SOT 10292 SOS 4924 HAS SOPS 3978 HAS SOUS 3446 HAS SOUPS 2925 WITH SCORE 2929.924
AT ITER 462 NEW BEST:: SOT 10292 SOS 4916 HAS SOPS 3970 HAS SOUS 3442 HAS SOUPS 2921 WITH SCORE 2925.916
AT ITER 465 NEW BEST:: SOT 10292 SOS 4869 HAS SOPS 3923 HAS SOUS 3441 HAS SOUPS 2920 WITH SCORE 2924.869
AT ITER 472 NEW BEST:: SOT 10289 SOS 4854 HAS SOPS 3908 HAS SOUS 3432 HAS SOUPS 2911 WITH SCORE 2915.854
AT ITER 483 NEW BEST:: SOT 10289 SOS 4808 HAS SOPS 3862 HAS SOUS 3388 HAS SOUPS 2867 WITH SCORE 2871.808
AT ITER 489 NEW BEST:: SOT 10303 SOS 4856 HAS SOPS 3858 HAS SOUS 3398 HAS SOUPS 2864 WITH SCORE 2868.856
AT ITER 493 NEW BEST:: SOT 10300 SOS 4853 HAS SOPS 3855 HAS SOUS 3395 HAS SOUPS 2861 WITH SCORE 2865.853
AT ITER 515 NEW BEST:: SOT 10299 SOS 4848 HAS SOPS 3850 HAS SOUS 3390 HAS SOUPS 2856 WITH SCORE 2860.848
AT ITER 532 NEW BEST:: SOT 10241 SOS 4771 HAS SOPS 3792 HAS SOUS 3369 HAS SOUPS 2854 WITH SCORE 2858.771
AT ITER 543 NEW BEST:: SOT 10180 SOS 4619 HAS SOPS 3731 HAS SOUS 3313 HAS SOUPS 2823 WITH SCORE 2827.619
AT ITER 553 NEW BEST:: SOT 10132 SOS 4599 HAS SOPS 3711 HAS SOUS 3265 HAS SOUPS 2775 WITH SCORE 2779.599
AT ITER 558 NEW BEST:: SOT 10138 SOS 4646 HAS SOPS 3705 HAS SOUS 3271 HAS SOUPS 2769 WITH SCORE 2773.646
AT ITER 566 NEW BEST:: SOT 10138 SOS 4626 HAS SOPS 3685 HAS SOUS 3251 HAS SOUPS 2749 WITH SCORE 2753.626
AT ITER 582 NEW BEST:: SOT 10151 SOS 4609 HAS SOPS 3680 HAS SOUS 3246 HAS SOUPS 2744 WITH SCORE 2748.609
AT ITER 589 NEW BEST:: SOT 10116 SOS 4586 HAS SOPS 3657 HAS SOUS 3189 HAS SOUPS 2687 WITH SCORE 2691.586
AT ITER 599 NEW BEST:: SOT 10114 SOS 4582 HAS SOPS 3653 HAS SOUS 3185 HAS SOUPS 2683 WITH SCORE 2687.582
AT ITER 603 NEW BEST:: SOT 10109 SOS 4577 HAS SOPS 3653 HAS SOUS 3180 HAS SOUPS 2683 WITH SCORE 2687.577
AT ITER 607 NEW BEST:: SOT 10104 SOS 4544 HAS SOPS 3625 HAS SOUS 3170 HAS SOUPS 2673 WITH SCORE 2677.544
AT ITER 609 NEW BEST:: SOT 10099 SOS 4539 HAS SOPS 3615 HAS SOUS 3165 HAS SOUPS 2663 WITH SCORE 2667.539
AT ITER 620 NEW BEST:: SOT 10094 SOS 4534 HAS SOPS 3610 HAS SOUS 3155 HAS SOUPS 2653 WITH SCORE 2657.534
AT ITER 643 NEW BEST:: SOT 10088 SOS 4528 HAS SOPS 3604 HAS SOUS 3149 HAS SOUPS 2647 WITH SCORE 2651.528
AT ITER 672 NEW BEST:: SOT 10088 SOS 4519 HAS SOPS 3586 HAS SOUS 3158 HAS SOUPS 2647 WITH SCORE 2651.519
AT ITER 675 NEW BEST:: SOT 10082 SOS 4513 HAS SOPS 3580 HAS SOUS 3155 HAS SOUPS 2644 WITH SCORE 2648.513
AT ITER 696 NEW BEST:: SOT 10074 SOS 4505 HAS SOPS 3572 HAS SOUS 3147 HAS SOUPS 2636 WITH SCORE 2640.505
AT ITER 730 NEW BEST:: SOT 10066 SOS 4485 HAS SOPS 3552 HAS SOUS 3135 HAS SOUPS 2624 WITH SCORE 2628.485
AT ITER 753 NEW BEST:: SOT 10052 SOS 4460 HAS SOPS 3527 HAS SOUS 3110 HAS SOUPS 2599 WITH SCORE 2603.46
AT ITER 754 NEW BEST:: SOT 10028 SOS 4404 HAS SOPS 3471 HAS SOUS 3078 HAS SOUPS 2567 WITH SCORE 2571.404
AT ITER 800 NEW BEST:: SOT 10027 SOS 4402 HAS SOPS 3469 HAS SOUS 3076 HAS SOUPS 2565 WITH SCORE 2569.402
AT ITER 825 NEW BEST:: SOT 10025 SOS 4400 HAS SOPS 3465 HAS SOUS 3072 HAS SOUPS 2561 WITH SCORE 2565.4
AT ITER 848 NEW BEST:: SOT 10015 SOS 4361 HAS SOPS 3436 HAS SOUS 3053 HAS SOUPS 2542 WITH SCORE 2546.361
AT ITER 858 NEW BEST:: SOT 9987 SOS 4281 HAS SOPS 3356 HAS SOUS 3045 HAS SOUPS 2534 WITH SCORE 2538.281
AT ITER 881 NEW BEST:: SOT 9987 SOS 4249 HAS SOPS 3344 HAS SOUS 3017 HAS SOUPS 2526 WITH SCORE 2530.249
AT ITER 883 NEW BEST:: SOT 9981 SOS 4243 HAS SOPS 3338 HAS SOUS 3011 HAS SOUPS 2520 WITH SCORE 2524.243
AT ITER 885 NEW BEST:: SOT 9973 SOS 4235 HAS SOPS 3330 HAS SOUS 3003 HAS SOUPS 2512 WITH SCORE 2516.235
AT ITER 901 NEW BEST:: SOT 9969 SOS 4231 HAS SOPS 3330 HAS SOUS 2995 HAS SOUPS 2508 WITH SCORE 2512.231
AT ITER 916 NEW BEST:: SOT 9956 SOS 4212 HAS SOPS 3324 HAS SOUS 2976 HAS SOUPS 2489 WITH SCORE 2493.212
AT ITER 924 NEW BEST:: SOT 9956 SOS 4212 HAS SOPS 3316 HAS SOUS 2968 HAS SOUPS 2473 WITH SCORE 2477.212
AT ITER 926 NEW BEST:: SOT 10000 SOS 4405 HAS SOPS 3310 HAS SOUS 3014 HAS SOUPS 2467 WITH SCORE 2471.405
AT ITER 929 NEW BEST:: SOT 9983 SOS 4386 HAS SOPS 3301 HAS SOUS 2997 HAS SOUPS 2460 WITH SCORE 2464.386
AT ITER 930 NEW BEST:: SOT 9978 SOS 4381 HAS SOPS 3296 HAS SOUS 2992 HAS SOUPS 2455 WITH SCORE 2459.381
AT ITER 952 NEW BEST:: SOT 9965 SOS 4186 HAS SOPS 3114 HAS SOUS 2966 HAS SOUPS 2429 WITH SCORE 2433.186
AT ITER 960 NEW BEST:: SOT 9951 SOS 4172 HAS SOPS 3086 HAS SOUS 2945 HAS SOUPS 2408 WITH SCORE 2412.172
AT ITER 968 NEW BEST:: SOT 9938 SOS 4181 HAS SOPS 3095 HAS SOUS 2932 HAS SOUPS 2395 WITH SCORE 2399.181
AT ITER 970 NEW BEST:: SOT 9938 SOS 4181 HAS SOPS 3095 HAS SOUS 2928 HAS SOUPS 2391 WITH SCORE 2395.181
AT ITER 981 NEW BEST:: SOT 9955 SOS 4174 HAS SOPS 3088 HAS SOUS 2921 HAS SOUPS 2384 WITH SCORE 2388.174
AT ITER 984 NEW BEST:: SOT 9957 SOS 4180 HAS SOPS 3090 HAS SOUS 2921 HAS SOUPS 2383 WITH SCORE 2387.18
AT ITER 990 NEW BEST:: SOT 9957 SOS 4180 HAS SOPS 3086 HAS SOUS 2917 HAS SOUPS 2379 WITH SCORE 2383.18
AT ITER 1021 NEW BEST:: SOT 9957 SOS 4177 HAS SOPS 3086 HAS SOUS 2914 HAS SOUPS 2379 WITH SCORE 2383.177
AT ITER 1048 NEW BEST:: SOT 9956 SOS 4176 HAS SOPS 3084 HAS SOUS 2913 HAS SOUPS 2377 WITH SCORE 2381.176
AT ITER 1059 NEW BEST:: SOT 9956 SOS 4175 HAS SOPS 3083 HAS SOUS 2913 HAS SOUPS 2377 WITH SCORE 2381.175
AT ITER 1068 NEW BEST:: SOT 9956 SOS 4167 HAS SOPS 3083 HAS SOUS 2913 HAS SOUPS 2377 WITH SCORE 2381.167
AT ITER 1094 NEW BEST:: SOT 9951 SOS 4162 HAS SOPS 3083 HAS SOUS 2908 HAS SOUPS 2377 WITH SCORE 2381.162
AT ITER 1108 NEW BEST:: SOT 9951 SOS 4160 HAS SOPS 3077 HAS SOUS 2907 HAS SOUPS 2375 WITH SCORE 2379.16
AT ITER 1125 NEW BEST:: SOT 9951 SOS 4158 HAS SOPS 3075 HAS SOUS 2907 HAS SOUPS 2375 WITH SCORE 2379.158
AT ITER 1177 NEW BEST:: SOT 9933 SOS 4136 HAS SOPS 3053 HAS SOUS 2893 HAS SOUPS 2361 WITH SCORE 2365.136
AT ITER 1190 NEW BEST:: SOT 9929 SOS 4126 HAS SOPS 3043 HAS SOUS 2887 HAS SOUPS 2355 WITH SCORE 2359.126
AT ITER 1193 NEW BEST:: SOT 9924 SOS 4152 HAS SOPS 3033 HAS SOUS 2877 HAS SOUPS 2345 WITH SCORE 2349.152
AT ITER 1213 NEW BEST:: SOT 9909 SOS 4155 HAS SOPS 3030 HAS SOUS 2880 HAS SOUPS 2342 WITH SCORE 2346.155
AT ITER 1217 NEW BEST:: SOT 9909 SOS 4155 HAS SOPS 3030 HAS SOUS 2877 HAS SOUPS 2339 WITH SCORE 2343.155
AT ITER 1233 NEW BEST:: SOT 9897 SOS 4041 HAS SOPS 2916 HAS SOUS 2849 HAS SOUPS 2311 WITH SCORE 2315.041
AT ITER 1234 NEW BEST:: SOT 9889 SOS 4029 HAS SOPS 2904 HAS SOUS 2845 HAS SOUPS 2307 WITH SCORE 2311.029
AT ITER 1247 NEW BEST:: SOT 9884 SOS 4000 HAS SOPS 2899 HAS SOUS 2816 HAS SOUPS 2302 WITH SCORE 2306.0
AT ITER 1252 NEW BEST:: SOT 9880 SOS 4025 HAS SOPS 2895 HAS SOUS 2841 HAS SOUPS 2298 WITH SCORE 2302.025
AT ITER 1283 NEW BEST:: SOT 9873 SOS 4018 HAS SOPS 2888 HAS SOUS 2839 HAS SOUPS 2296 WITH SCORE 2300.018
AT ITER 1302 NEW BEST:: SOT 9864 SOS 4004 HAS SOPS 2860 HAS SOUS 2841 HAS SOUPS 2284 WITH SCORE 2288.004
AT ITER 1321 NEW BEST:: SOT 9861 SOS 4001 HAS SOPS 2855 HAS SOUS 2839 HAS SOUPS 2280 WITH SCORE 2284.001
AT ITER 1328 NEW BEST:: SOT 9853 SOS 3844 HAS SOPS 2702 HAS SOUS 2816 HAS SOUPS 2257 WITH SCORE 2260.844
AT ITER 1357 NEW BEST:: SOT 9851 SOS 3851 HAS SOPS 2698 HAS SOUS 2812 HAS SOUPS 2253 WITH SCORE 2256.851
AT ITER 1359 NEW BEST:: SOT 9836 SOS 3835 HAS SOPS 2682 HAS SOUS 2796 HAS SOUPS 2237 WITH SCORE 2240.835
AT ITER 1365 NEW BEST:: SOT 9830 SOS 3820 HAS SOPS 2676 HAS SOUS 2790 HAS SOUPS 2234 WITH SCORE 2237.82
AT ITER 1368 NEW BEST:: SOT 9827 SOS 3817 HAS SOPS 2673 HAS SOUS 2787 HAS SOUPS 2231 WITH SCORE 2234.817
AT ITER 1416 NEW BEST:: SOT 9827 SOS 3815 HAS SOPS 2673 HAS SOUS 2787 HAS SOUPS 2231 WITH SCORE 2234.815
AT ITER 1478 NEW BEST:: SOT 9826 SOS 3814 HAS SOPS 2673 HAS SOUS 2785 HAS SOUPS 2229 WITH SCORE 2232.814
AT ITER 1513 NEW BEST:: SOT 9825 SOS 3807 HAS SOPS 2670 HAS SOUS 2780 HAS SOUPS 2228 WITH SCORE 2231.807
AT ITER 1540 NEW BEST:: SOT 9821 SOS 3803 HAS SOPS 2666 HAS SOUS 2776 HAS SOUPS 2224 WITH SCORE 2227.803
AT ITER 1548 NEW BEST:: SOT 9802 SOS 3771 HAS SOPS 2654 HAS SOUS 2729 HAS SOUPS 2191 WITH SCORE 2194.771
AT ITER 1605 NEW BEST:: SOT 9809 SOS 3778 HAS SOPS 2661 HAS SOUS 2723 HAS SOUPS 2185 WITH SCORE 2188.778
AT ITER 1617 NEW BEST:: SOT 9806 SOS 3775 HAS SOPS 2659 HAS SOUS 2721 HAS SOUPS 2183 WITH SCORE 2186.775
AT ITER 1670 NEW BEST:: SOT 9801 SOS 3740 HAS SOPS 2649 HAS SOUS 2686 HAS SOUPS 2173 WITH SCORE 2176.74
AT ITER 1679 NEW BEST:: SOT 9800 SOS 3743 HAS SOPS 2652 HAS SOUS 2685 HAS SOUPS 2172 WITH SCORE 2175.743
AT ITER 1681 NEW BEST:: SOT 9809 SOS 3748 HAS SOPS 2657 HAS SOUS 2679 HAS SOUPS 2166 WITH SCORE 2169.748
AT ITER 1690 NEW BEST:: SOT 9803 SOS 3737 HAS SOPS 2651 HAS SOUS 2672 HAS SOUPS 2164 WITH SCORE 2167.737
AT ITER 1693 NEW BEST:: SOT 9780 SOS 3691 HAS SOPS 2628 HAS SOUS 2649 HAS SOUPS 2164 WITH SCORE 2167.691
AT ITER 1753 NEW BEST:: SOT 9773 SOS 3684 HAS SOPS 2628 HAS SOUS 2642 HAS SOUPS 2164 WITH SCORE 2167.684
AT ITER 1768 NEW BEST:: SOT 9771 SOS 3669 HAS SOPS 2613 HAS SOUS 2627 HAS SOUPS 2149 WITH SCORE 2152.669
AT ITER 1795 NEW BEST:: SOT 9771 SOS 3669 HAS SOPS 2613 HAS SOUS 2622 HAS SOUPS 2144 WITH SCORE 2147.669
AT ITER 1814 NEW BEST:: SOT 9770 SOS 3667 HAS SOPS 2611 HAS SOUS 2621 HAS SOUPS 2143 WITH SCORE 2146.667
AT ITER 1821 NEW BEST:: SOT 9773 SOS 3670 HAS SOPS 2610 HAS SOUS 2620 HAS SOUPS 2142 WITH SCORE 2145.67
AT ITER 1862 NEW BEST:: SOT 9773 SOS 3670 HAS SOPS 2610 HAS SOUS 2611 HAS SOUPS 2133 WITH SCORE 2136.67
AT ITER 1863 NEW BEST:: SOT 9770 SOS 3663 HAS SOPS 2604 HAS SOUS 2605 HAS SOUPS 2127 WITH SCORE 2130.663
AT ITER 1866 NEW BEST:: SOT 9773 SOS 3666 HAS SOPS 2607 HAS SOUS 2600 HAS SOUPS 2122 WITH SCORE 2125.666
AT ITER 1873 NEW BEST:: SOT 9756 SOS 3632 HAS SOPS 2607 HAS SOUS 2583 HAS SOUPS 2122 WITH SCORE 2125.632
AT ITER 1941 NEW BEST:: SOT 9749 SOS 3625 HAS SOPS 2607 HAS SOUS 2576 HAS SOUPS 2122 WITH SCORE 2125.625
AT ITER 1950 NEW BEST:: SOT 9742 SOS 3618 HAS SOPS 2600 HAS SOUS 2572 HAS SOUPS 2118 WITH SCORE 2121.618
AT ITER 1953 NEW BEST:: SOT 9735 SOS 3611 HAS SOPS 2600 HAS SOUS 2572 HAS SOUPS 2118 WITH SCORE 2121.611
AT ITER 1956 NEW BEST:: SOT 9735 SOS 3612 HAS SOPS 2597 HAS SOUS 2571 HAS SOUPS 2116 WITH SCORE 2119.612
AT ITER 2016 NEW BEST:: SOT 9732 SOS 3606 HAS SOPS 2591 HAS SOUS 2565 HAS SOUPS 2110 WITH SCORE 2113.606
AT ITER 2018 NEW BEST:: SOT 9721 SOS 3595 HAS SOPS 2580 HAS SOUS 2554 HAS SOUPS 2099 WITH SCORE 2102.595
AT ITER 2044 NEW BEST:: SOT 9700 SOS 3574 HAS SOPS 2559 HAS SOUS 2546 HAS SOUPS 2091 WITH SCORE 2094.574
AT ITER 2076 NEW BEST:: SOT 9699 SOS 3573 HAS SOPS 2558 HAS SOUS 2544 HAS SOUPS 2089 WITH SCORE 2092.573
AT ITER 2109 NEW BEST:: SOT 9693 SOS 3576 HAS SOPS 2550 HAS SOUS 2541 HAS SOUPS 2086 WITH SCORE 2089.576
AT ITER 2126 NEW BEST:: SOT 9691 SOS 3572 HAS SOPS 2546 HAS SOUS 2540 HAS SOUPS 2085 WITH SCORE 2088.572
AT ITER 2158 NEW BEST:: SOT 9690 SOS 3567 HAS SOPS 2544 HAS SOUS 2540 HAS SOUPS 2085 WITH SCORE 2088.567
AT ITER 2213 NEW BEST:: SOT 9686 SOS 3551 HAS SOPS 2544 HAS SOUS 2536 HAS SOUPS 2085 WITH SCORE 2088.551
AT ITER 2265 NEW BEST:: SOT 9683 SOS 3548 HAS SOPS 2544 HAS SOUS 2536 HAS SOUPS 2085 WITH SCORE 2088.548
AT ITER 2267 NEW BEST:: SOT 9677 SOS 3542 HAS SOPS 2538 HAS SOUS 2530 HAS SOUPS 2079 WITH SCORE 2082.542
AT ITER 2279 NEW BEST:: SOT 9676 SOS 3541 HAS SOPS 2537 HAS SOUS 2517 HAS SOUPS 2066 WITH SCORE 2069.541
AT ITER 2297 NEW BEST:: SOT 9669 SOS 3540 HAS SOPS 2525 HAS SOUS 2514 HAS SOUPS 2063 WITH SCORE 2066.54
AT ITER 2345 NEW BEST:: SOT 9667 SOS 3532 HAS SOPS 2521 HAS SOUS 2506 HAS SOUPS 2059 WITH SCORE 2062.532
AT ITER 2439 NEW BEST:: SOT 9667 SOS 3504 HAS SOPS 2493 HAS SOUS 2488 HAS SOUPS 2041 WITH SCORE 2044.504
AT ITER 2459 NEW BEST:: SOT 9664 SOS 3501 HAS SOPS 2490 HAS SOUS 2482 HAS SOUPS 2035 WITH SCORE 2038.501
AT ITER 2472 NEW BEST:: SOT 9670 SOS 3485 HAS SOPS 2474 HAS SOUS 2475 HAS SOUPS 2028 WITH SCORE 2031.485
AT ITER 2514 NEW BEST:: SOT 9663 SOS 3457 HAS SOPS 2460 HAS SOUS 2447 HAS SOUPS 2014 WITH SCORE 2017.457
AT ITER 2577 NEW BEST:: SOT 9663 SOS 3456 HAS SOPS 2460 HAS SOUS 2447 HAS SOUPS 2014 WITH SCORE 2017.456
AT ITER 2602 NEW BEST:: SOT 9648 SOS 3415 HAS SOPS 2419 HAS SOUS 2420 HAS SOUPS 1987 WITH SCORE 1990.415
AT ITER 2623 NEW BEST:: SOT 9647 SOS 3414 HAS SOPS 2418 HAS SOUS 2419 HAS SOUPS 1986 WITH SCORE 1989.414
AT ITER 2634 NEW BEST:: SOT 9645 SOS 3412 HAS SOPS 2416 HAS SOUS 2415 HAS SOUPS 1982 WITH SCORE 1985.412
AT ITER 2645 NEW BEST:: SOT 9642 SOS 3409 HAS SOPS 2420 HAS SOUS 2405 HAS SOUPS 1979 WITH SCORE 1982.409
AT ITER 2695 NEW BEST:: SOT 9641 SOS 3408 HAS SOPS 2421 HAS SOUS 2401 HAS SOUPS 1977 WITH SCORE 1980.408
AT ITER 2701 NEW BEST:: SOT 9640 SOS 3407 HAS SOPS 2418 HAS SOUS 2401 HAS SOUPS 1975 WITH SCORE 1978.407
AT ITER 2733 NEW BEST:: SOT 9633 SOS 3405 HAS SOPS 2416 HAS SOUS 2399 HAS SOUPS 1973 WITH SCORE 1976.405
AT ITER 2753 NEW BEST:: SOT 9633 SOS 3403 HAS SOPS 2416 HAS SOUS 2397 HAS SOUPS 1973 WITH SCORE 1976.403
AT ITER 2837 NEW BEST:: SOT 9621 SOS 3399 HAS SOPS 2412 HAS SOUS 2391 HAS SOUPS 1967 WITH SCORE 1970.399
AT ITER 2851 NEW BEST:: SOT 9619 SOS 3397 HAS SOPS 2408 HAS SOUS 2389 HAS SOUPS 1963 WITH SCORE 1966.397
AT ITER 2864 NEW BEST:: SOT 9619 SOS 3402 HAS SOPS 2405 HAS SOUS 2394 HAS SOUPS 1960 WITH SCORE 1963.402
AT ITER 2903 NEW BEST:: SOT 9613 SOS 3396 HAS SOPS 2399 HAS SOUS 2388 HAS SOUPS 1954 WITH SCORE 1957.396
AT ITER 2952 NEW BEST:: SOT 9612 SOS 3395 HAS SOPS 2397 HAS SOUS 2386 HAS SOUPS 1952 WITH SCORE 1955.395
AT ITER 2960 NEW BEST:: SOT 9624 SOS 3451 HAS SOPS 2394 HAS SOUS 2401 HAS SOUPS 1949 WITH SCORE 1952.451
AT ITER 2972 NEW BEST:: SOT 9623 SOS 3450 HAS SOPS 2393 HAS SOUS 2400 HAS SOUPS 1948 WITH SCORE 1951.45
AT ITER 2988 NEW BEST:: SOT 9613 SOS 3440 HAS SOPS 2393 HAS SOUS 2400 HAS SOUPS 1948 WITH SCORE 1951.44
AT ITER 2990 NEW BEST:: SOT 9599 SOS 3384 HAS SOPS 2393 HAS SOUS 2386 HAS SOUPS 1948 WITH SCORE 1951.384
AT ITER 3009 NEW BEST:: SOT 9596 SOS 3375 HAS SOPS 2387 HAS SOUS 2380 HAS SOUPS 1945 WITH SCORE 1948.375
AT ITER 3019 NEW BEST:: SOT 9596 SOS 3372 HAS SOPS 2384 HAS SOUS 2380 HAS SOUPS 1945 WITH SCORE 1948.372
AT ITER 3037 NEW BEST:: SOT 9595 SOS 3370 HAS SOPS 2382 HAS SOUS 2378 HAS SOUPS 1943 WITH SCORE 1946.37
AT ITER 3160 NEW BEST:: SOT 9595 SOS 3369 HAS SOPS 2382 HAS SOUS 2378 HAS SOUPS 1943 WITH SCORE 1946.369
AT ITER 3172 NEW BEST:: SOT 9590 SOS 3362 HAS SOPS 2375 HAS SOUS 2371 HAS SOUPS 1936 WITH SCORE 1939.362
AT ITER 3176 NEW BEST:: SOT 9580 SOS 3352 HAS SOPS 2365 HAS SOUS 2369 HAS SOUPS 1934 WITH SCORE 1937.352
AT ITER 3218 NEW BEST:: SOT 9581 SOS 3353 HAS SOPS 2366 HAS SOUS 2362 HAS SOUPS 1927 WITH SCORE 1930.353
AT ITER 3224 NEW BEST:: SOT 9559 SOS 3331 HAS SOPS 2344 HAS SOUS 2345 HAS SOUPS 1910 WITH SCORE 1913.331
AT ITER 3288 NEW BEST:: SOT 9559 SOS 3328 HAS SOPS 2341 HAS SOUS 2337 HAS SOUPS 1902 WITH SCORE 1905.328
AT ITER 3291 NEW BEST:: SOT 9570 SOS 3355 HAS SOPS 2352 HAS SOUS 2349 HAS SOUPS 1898 WITH SCORE 1901.355
AT ITER 3351 NEW BEST:: SOT 9561 SOS 3358 HAS SOPS 2336 HAS SOUS 2361 HAS SOUPS 1891 WITH SCORE 1894.358
AT ITER 3500 NEW BEST:: SOT 9559 SOS 3358 HAS SOPS 2336 HAS SOUS 2359 HAS SOUPS 1889 WITH SCORE 1892.358
AT ITER 3508 NEW BEST:: SOT 9557 SOS 3356 HAS SOPS 2336 HAS SOUS 2357 HAS SOUPS 1889 WITH SCORE 1892.356
AT ITER 3532 NEW BEST:: SOT 9561 SOS 3364 HAS SOPS 2344 HAS SOUS 2356 HAS SOUPS 1888 WITH SCORE 1891.364
AT ITER 3561 NEW BEST:: SOT 9561 SOS 3355 HAS SOPS 2335 HAS SOUS 2353 HAS SOUPS 1885 WITH SCORE 1888.355
AT ITER 3597 NEW BEST:: SOT 9561 SOS 3352 HAS SOPS 2335 HAS SOUS 2350 HAS SOUPS 1885 WITH SCORE 1888.352
AT ITER 3773 NEW BEST:: SOT 9561 SOS 3350 HAS SOPS 2333 HAS SOUS 2350 HAS SOUPS 1885 WITH SCORE 1888.35
AT ITER 3779 NEW BEST:: SOT 9561 SOS 3356 HAS SOPS 2331 HAS SOUS 2356 HAS SOUPS 1883 WITH SCORE 1886.356
AT ITER 3861 NEW BEST:: SOT 9559 SOS 3354 HAS SOPS 2341 HAS SOUS 2343 HAS SOUPS 1882 WITH SCORE 1885.354
AT ITER 3905 NEW BEST:: SOT 9566 SOS 3342 HAS SOPS 2336 HAS SOUS 2333 HAS SOUPS 1879 WITH SCORE 1882.342
AT ITER 3925 NEW BEST:: SOT 9566 SOS 3342 HAS SOPS 2336 HAS SOUS 2331 HAS SOUPS 1877 WITH SCORE 1880.342
AT ITER 3965 NEW BEST:: SOT 9560 SOS 3336 HAS SOPS 2336 HAS SOUS 2331 HAS SOUPS 1877 WITH SCORE 1880.336
AT ITER 3987 NEW BEST:: SOT 9559 SOS 3336 HAS SOPS 2336 HAS SOUS 2329 HAS SOUPS 1875 WITH SCORE 1878.336
AT ITER 4011 NEW BEST:: SOT 9558 SOS 3333 HAS SOPS 2334 HAS SOUS 2328 HAS SOUPS 1874 WITH SCORE 1877.333
AT ITER 4035 NEW BEST:: SOT 9558 SOS 3327 HAS SOPS 2332 HAS SOUS 2322 HAS SOUPS 1872 WITH SCORE 1875.327
AT ITER 4051 NEW BEST:: SOT 9558 SOS 3321 HAS SOPS 2332 HAS SOUS 2322 HAS SOUPS 1872 WITH SCORE 1875.321
AT ITER 4069 NEW BEST:: SOT 9558 SOS 3317 HAS SOPS 2326 HAS SOUS 2320 HAS SOUPS 1868 WITH SCORE 1871.317
AT ITER 4133 NEW BEST:: SOT 9556 SOS 3315 HAS SOPS 2324 HAS SOUS 2319 HAS SOUPS 1867 WITH SCORE 1870.315
AT ITER 4176 NEW BEST:: SOT 9556 SOS 3324 HAS SOPS 2320 HAS SOUS 2328 HAS SOUPS 1863 WITH SCORE 1866.324
AT ITER 4240 NEW BEST:: SOT 9540 SOS 3309 HAS SOPS 2305 HAS SOUS 2317 HAS SOUPS 1852 WITH SCORE 1855.309
AT ITER 4287 NEW BEST:: SOT 9538 SOS 3307 HAS SOPS 2303 HAS SOUS 2316 HAS SOUPS 1851 WITH SCORE 1854.307
AT ITER 4296 NEW BEST:: SOT 9533 SOS 3289 HAS SOPS 2298 HAS SOUS 2298 HAS SOUPS 1846 WITH SCORE 1849.289
AT ITER 4493 NEW BEST:: SOT 9532 SOS 3283 HAS SOPS 2292 HAS SOUS 2293 HAS SOUPS 1841 WITH SCORE 1844.283
AT ITER 4504 NEW BEST:: SOT 9533 SOS 3281 HAS SOPS 2291 HAS SOUS 2292 HAS SOUPS 1840 WITH SCORE 1843.281
AT ITER 4578 NEW BEST:: SOT 9533 SOS 3271 HAS SOPS 2291 HAS SOUS 2282 HAS SOUPS 1840 WITH SCORE 1843.271
AT ITER 4645 NEW BEST:: SOT 9527 SOS 3261 HAS SOPS 2281 HAS SOUS 2276 HAS SOUPS 1834 WITH SCORE 1837.261
AT ITER 4691 NEW BEST:: SOT 9524 SOS 3255 HAS SOPS 2281 HAS SOUS 2273 HAS SOUPS 1834 WITH SCORE 1837.255
AT ITER 4693 NEW BEST:: SOT 9523 SOS 3254 HAS SOPS 2270 HAS SOUS 2273 HAS SOUPS 1832 WITH SCORE 1835.254
AT ITER 4724 NEW BEST:: SOT 9512 SOS 3243 HAS SOPS 2270 HAS SOUS 2262 HAS SOUPS 1832 WITH SCORE 1835.243
AT ITER 4737 NEW BEST:: SOT 9500 SOS 3231 HAS SOPS 2270 HAS SOUS 2250 HAS SOUPS 1832 WITH SCORE 1835.231
AT ITER 4775 NEW BEST:: SOT 9496 SOS 3225 HAS SOPS 2264 HAS SOUS 2248 HAS SOUPS 1830 WITH SCORE 1833.225
AT ITER 4809 NEW BEST:: SOT 9496 SOS 3200 HAS SOPS 2264 HAS SOUS 2248 HAS SOUPS 1830 WITH SCORE 1833.2
AT ITER 4811 NEW BEST:: SOT 9495 SOS 3197 HAS SOPS 2261 HAS SOUS 2246 HAS SOUPS 1828 WITH SCORE 1831.197
AT ITER 4898 NEW BEST:: SOT 9494 SOS 3196 HAS SOPS 2260 HAS SOUS 2245 HAS SOUPS 1827 WITH SCORE 1830.196
AT ITER 4998 NEW BEST:: SOT 9493 SOS 3195 HAS SOPS 2260 HAS SOUS 2244 HAS SOUPS 1827 WITH SCORE 1830.195
AT ITER 5001 NEW BEST:: SOT 9490 SOS 3192 HAS SOPS 2260 HAS SOUS 2244 HAS SOUPS 1827 WITH SCORE 1830.192
AT ITER 5017 NEW BEST:: SOT 9489 SOS 3188 HAS SOPS 2259 HAS SOUS 2243 HAS SOUPS 1826 WITH SCORE 1829.188
AT ITER 5041 NEW BEST:: SOT 9489 SOS 3184 HAS SOPS 2259 HAS SOUS 2239 HAS SOUPS 1826 WITH SCORE 1829.184
AT ITER 5223 NEW BEST:: SOT 9482 SOS 3170 HAS SOPS 2252 HAS SOUS 2232 HAS SOUPS 1819 WITH SCORE 1822.17
AT ITER 5242 NEW BEST:: SOT 9476 SOS 3166 HAS SOPS 2248 HAS SOUS 2229 HAS SOUPS 1816 WITH SCORE 1819.166
AT ITER 5289 NEW BEST:: SOT 9475 SOS 3162 HAS SOPS 2244 HAS SOUS 2227 HAS SOUPS 1814 WITH SCORE 1817.162
AT ITER 5364 NEW BEST:: SOT 9475 SOS 3081 HAS SOPS 2244 HAS SOUS 2227 HAS SOUPS 1814 WITH SCORE 1817.081
AT ITER 5436 NEW BEST:: SOT 9475 SOS 3042 HAS SOPS 2244 HAS SOUS 2227 HAS SOUPS 1814 WITH SCORE 1817.042
AT ITER 5574 NEW BEST:: SOT 9474 SOS 3039 HAS SOPS 2241 HAS SOUS 2225 HAS SOUPS 1812 WITH SCORE 1815.039
AT ITER 5603 NEW BEST:: SOT 9470 SOS 3029 HAS SOPS 2231 HAS SOUS 2217 HAS SOUPS 1804 WITH SCORE 1807.029
AT ITER 5609 NEW BEST:: SOT 9469 SOS 3027 HAS SOPS 2228 HAS SOUS 2215 HAS SOUPS 1802 WITH SCORE 1805.027
AT ITER 5686 NEW BEST:: SOT 9439 SOS 2891 HAS SOPS 2228 HAS SOUS 2185 HAS SOUPS 1802 WITH SCORE 1804.891
AT ITER 5688 NEW BEST:: SOT 9438 SOS 2886 HAS SOPS 2227 HAS SOUS 2183 HAS SOUPS 1801 WITH SCORE 1803.886
AT ITER 5716 NEW BEST:: SOT 9423 SOS 2871 HAS SOPS 2227 HAS SOUS 2168 HAS SOUPS 1801 WITH SCORE 1803.871
AT ITER 5721 NEW BEST:: SOT 9424 SOS 2862 HAS SOPS 2229 HAS SOUS 2157 HAS SOUPS 1801 WITH SCORE 1803.862
AT ITER 5798 NEW BEST:: SOT 9426 SOS 2860 HAS SOPS 2227 HAS SOUS 2156 HAS SOUPS 1800 WITH SCORE 1802.86
AT ITER 5979 NEW BEST:: SOT 9432 SOS 2855 HAS SOPS 2222 HAS SOUS 2150 HAS SOUPS 1794 WITH SCORE 1796.855
AT ITER 6039 NEW BEST:: SOT 9432 SOS 2853 HAS SOPS 2220 HAS SOUS 2149 HAS SOUPS 1793 WITH SCORE 1795.853
AT ITER 6083 NEW BEST:: SOT 9431 SOS 2850 HAS SOPS 2218 HAS SOUS 2148 HAS SOUPS 1792 WITH SCORE 1794.85
AT ITER 6113 NEW BEST:: SOT 9431 SOS 2823 HAS SOPS 2218 HAS SOUS 2125 HAS SOUPS 1792 WITH SCORE 1794.823
AT ITER 6272 NEW BEST:: SOT 9431 SOS 2816 HAS SOPS 2218 HAS SOUS 2125 HAS SOUPS 1792 WITH SCORE 1794.816
AT ITER 6298 NEW BEST:: SOT 9432 SOS 2815 HAS SOPS 2217 HAS SOUS 2124 HAS SOUPS 1791 WITH SCORE 1793.815
AT ITER 6371 NEW BEST:: SOT 9431 SOS 2818 HAS SOPS 2215 HAS SOUS 2126 HAS SOUPS 1789 WITH SCORE 1791.818
AT ITER 6433 NEW BEST:: SOT 9428 SOS 2817 HAS SOPS 2211 HAS SOUS 2123 HAS SOUPS 1786 WITH SCORE 1788.817
AT ITER 6684 NEW BEST:: SOT 9428 SOS 2803 HAS SOPS 2211 HAS SOUS 2123 HAS SOUPS 1786 WITH SCORE 1788.803
AT ITER 6696 NEW BEST:: SOT 9427 SOS 2802 HAS SOPS 2208 HAS SOUS 2120 HAS SOUPS 1783 WITH SCORE 1785.802
AT ITER 6705 NEW BEST:: SOT 9422 SOS 2776 HAS SOPS 2191 HAS SOUS 2094 HAS SOUPS 1766 WITH SCORE 1768.776
AT ITER 6723 NEW BEST:: SOT 9417 SOS 2772 HAS SOPS 2187 HAS SOUS 2093 HAS SOUPS 1765 WITH SCORE 1767.772
AT ITER 6724 NEW BEST:: SOT 9413 SOS 2756 HAS SOPS 2187 HAS SOUS 2089 HAS SOUPS 1765 WITH SCORE 1767.756
AT ITER 6889 NEW BEST:: SOT 9405 SOS 2751 HAS SOPS 2182 HAS SOUS 2086 HAS SOUPS 1762 WITH SCORE 1764.751
AT ITER 7073 NEW BEST:: SOT 9405 SOS 2743 HAS SOPS 2182 HAS SOUS 2086 HAS SOUPS 1762 WITH SCORE 1764.743
AT ITER 7251 NEW BEST:: SOT 9402 SOS 2731 HAS SOPS 2182 HAS SOUS 2083 HAS SOUPS 1762 WITH SCORE 1764.731
AT ITER 7329 NEW BEST:: SOT 9400 SOS 2724 HAS SOPS 2175 HAS SOUS 2079 HAS SOUPS 1758 WITH SCORE 1760.724
AT ITER 7398 NEW BEST:: SOT 9396 SOS 2720 HAS SOPS 2171 HAS SOUS 2076 HAS SOUPS 1755 WITH SCORE 1757.72
AT ITER 7555 NEW BEST:: SOT 9396 SOS 2720 HAS SOPS 2170 HAS SOUS 2076 HAS SOUPS 1754 WITH SCORE 1756.72
AT ITER 7561 NEW BEST:: SOT 9404 SOS 2748 HAS SOPS 2169 HAS SOUS 2084 HAS SOUPS 1753 WITH SCORE 1755.748
AT ITER 7676 NEW BEST:: SOT 9404 SOS 2743 HAS SOPS 2164 HAS SOUS 2082 HAS SOUPS 1751 WITH SCORE 1753.743
AT ITER 7724 NEW BEST:: SOT 9402 SOS 2741 HAS SOPS 2160 HAS SOUS 2080 HAS SOUPS 1747 WITH SCORE 1749.741
AT ITER 7737 NEW BEST:: SOT 9402 SOS 2738 HAS SOPS 2157 HAS SOUS 2080 HAS SOUPS 1747 WITH SCORE 1749.738
AT ITER 7864 NEW BEST:: SOT 9408 SOS 2743 HAS SOPS 2157 HAS SOUS 2082 HAS SOUPS 1744 WITH SCORE 1746.743
AT ITER 7941 NEW BEST:: SOT 9406 SOS 2739 HAS SOPS 2153 HAS SOUS 2075 HAS SOUPS 1737 WITH SCORE 1739.739
AT ITER 8032 NEW BEST:: SOT 9405 SOS 2737 HAS SOPS 2151 HAS SOUS 2073 HAS SOUPS 1735 WITH SCORE 1737.737
AT ITER 8042 NEW BEST:: SOT 9403 SOS 2732 HAS SOPS 2146 HAS SOUS 2070 HAS SOUPS 1732 WITH SCORE 1734.732
AT ITER 8047 NEW BEST:: SOT 9403 SOS 2730 HAS SOPS 2146 HAS SOUS 2068 HAS SOUPS 1732 WITH SCORE 1734.73
AT ITER 8066 NEW BEST:: SOT 9402 SOS 2727 HAS SOPS 2143 HAS SOUS 2066 HAS SOUPS 1730 WITH SCORE 1732.727
AT ITER 8099 NEW BEST:: SOT 9402 SOS 2726 HAS SOPS 2142 HAS SOUS 2065 HAS SOUPS 1729 WITH SCORE 1731.726
AT ITER 8136 NEW BEST:: SOT 9402 SOS 2720 HAS SOPS 2136 HAS SOUS 2063 HAS SOUPS 1727 WITH SCORE 1729.72
AT ITER 8206 NEW BEST:: SOT 9402 SOS 2703 HAS SOPS 2136 HAS SOUS 2058 HAS SOUPS 1727 WITH SCORE 1729.703
AT ITER 8329 NEW BEST:: SOT 9400 SOS 2700 HAS SOPS 2133 HAS SOUS 2056 HAS SOUPS 1725 WITH SCORE 1727.7
AT ITER 8415 NEW BEST:: SOT 9399 SOS 2697 HAS SOPS 2133 HAS SOUS 2055 HAS SOUPS 1725 WITH SCORE 1727.697
AT ITER 8584 NEW BEST:: SOT 9398 SOS 2693 HAS SOPS 2129 HAS SOUS 2053 HAS SOUPS 1723 WITH SCORE 1725.693
AT ITER 8585 NEW BEST:: SOT 9404 SOS 2696 HAS SOPS 2132 HAS SOUS 2052 HAS SOUPS 1722 WITH SCORE 1724.696
AT ITER 8619 NEW BEST:: SOT 9403 SOS 2694 HAS SOPS 2130 HAS SOUS 2050 HAS SOUPS 1720 WITH SCORE 1722.694
AT ITER 8622 NEW BEST:: SOT 9402 SOS 2693 HAS SOPS 2128 HAS SOUS 2048 HAS SOUPS 1718 WITH SCORE 1720.693
AT ITER 8762 NEW BEST:: SOT 9402 SOS 2690 HAS SOPS 2125 HAS SOUS 2048 HAS SOUPS 1718 WITH SCORE 1720.69
AT ITER 8776 NEW BEST:: SOT 9402 SOS 2689 HAS SOPS 2125 HAS SOUS 2047 HAS SOUPS 1718 WITH SCORE 1720.689
AT ITER 9365 NEW BEST:: SOT 9402 SOS 2688 HAS SOPS 2124 HAS SOUS 2046 HAS SOUPS 1717 WITH SCORE 1719.688
AT ITER 9434 NEW BEST:: SOT 9401 SOS 2687 HAS SOPS 2121 HAS SOUS 2046 HAS SOUPS 1715 WITH SCORE 1717.687
AT ITER 9683 NEW BEST:: SOT 9400 SOS 2686 HAS SOPS 2119 HAS SOUS 2052 HAS SOUPS 1713 WITH SCORE 1715.686
AT ITER 9726 NEW BEST:: SOT 9398 SOS 2684 HAS SOPS 2117 HAS SOUS 2052 HAS SOUPS 1713 WITH SCORE 1715.684
AT ITER 9745 NEW BEST:: SOT 9399 SOS 2683 HAS SOPS 2116 HAS SOUS 2051 HAS SOUPS 1712 WITH SCORE 1714.683
AT ITER 9844 NEW BEST:: SOT 9398 SOS 2680 HAS SOPS 2113 HAS SOUS 2049 HAS SOUPS 1710 WITH SCORE 1712.68
AT ITER 9886 NEW BEST:: SOT 9394 SOS 2677 HAS SOPS 2105 HAS SOUS 2046 HAS SOUPS 1702 WITH SCORE 1704.677
STATE_SPACE STATES 68179969 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 33 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1286180209 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472915651

--------------------
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="AutoFlight-PT-05a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-05a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590900440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-05a.tgz
mv AutoFlight-PT-05a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;