About the Execution of smart for RwMutex-PT-r0010w0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.040 | 18731.00 | 18070.00 | 0.00 | 1074 10340 1 70 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000264.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000264
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.9K Apr 12 11:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 11:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 12:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 11 12:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 16:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 16:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 9 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Apr 9 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 88K Mar 24 05:38 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 1589742627039
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 130 places, 120 transitions, 1260 arcs.
AT ITER 0 NEW BEST:: SOT 15274 SOS 11616 HAS SOPS 11616 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11627.616
AT ITER 1 NEW BEST:: SOT 15274 SOS 11508 HAS SOPS 11508 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11519.508
AT ITER 3 NEW BEST:: SOT 15274 SOS 11466 HAS SOPS 11466 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11477.466
AT ITER 5 NEW BEST:: SOT 15096 SOS 13604 HAS SOPS 13604 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11351.604
AT ITER 8 NEW BEST:: SOT 15096 SOS 13604 HAS SOPS 13604 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11225.604
AT ITER 10 NEW BEST:: SOT 15096 SOS 13604 HAS SOPS 13604 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11063.604
AT ITER 11 NEW BEST:: SOT 15096 SOS 13598 HAS SOPS 13598 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11063.598
AT ITER 12 NEW BEST:: SOT 15096 SOS 13462 HAS SOPS 13462 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10935.462
AT ITER 17 NEW BEST:: SOT 15096 SOS 13460 HAS SOPS 13460 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10773.46
AT ITER 18 NEW BEST:: SOT 15096 SOS 13460 HAS SOPS 13460 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10735.46
AT ITER 19 NEW BEST:: SOT 15096 SOS 13438 HAS SOPS 13438 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10713.438
AT ITER 20 NEW BEST:: SOT 14924 SOS 13266 HAS SOPS 13266 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10541.266
AT ITER 25 NEW BEST:: SOT 14924 SOS 13266 HAS SOPS 13266 HAS SOUS 10526 HAS SOUPS 10526 WITH SCORE 10539.266
AT ITER 26 NEW BEST:: SOT 14842 SOS 13184 HAS SOPS 13184 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10417.184
AT ITER 27 NEW BEST:: SOT 14842 SOS 13184 HAS SOPS 13184 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10399.184
AT ITER 28 NEW BEST:: SOT 14842 SOS 13184 HAS SOPS 13184 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10365.184
AT ITER 29 NEW BEST:: SOT 14842 SOS 13184 HAS SOPS 13184 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10325.184
AT ITER 32 NEW BEST:: SOT 14768 SOS 13092 HAS SOPS 13092 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10233.092
AT ITER 33 NEW BEST:: SOT 14768 SOS 13092 HAS SOPS 13092 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10203.092
AT ITER 37 NEW BEST:: SOT 14686 SOS 13010 HAS SOPS 13010 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10121.01
AT ITER 38 NEW BEST:: SOT 14660 SOS 12984 HAS SOPS 12984 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10094.984
AT ITER 41 NEW BEST:: SOT 14660 SOS 12984 HAS SOPS 12984 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10090.984
AT ITER 43 NEW BEST:: SOT 14660 SOS 12948 HAS SOPS 12948 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10054.948
AT ITER 46 NEW BEST:: SOT 14602 SOS 12890 HAS SOPS 12890 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9880.89
AT ITER 48 NEW BEST:: SOT 14602 SOS 12850 HAS SOPS 12850 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9840.85
AT ITER 51 NEW BEST:: SOT 14520 SOS 12768 HAS SOPS 12768 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9816.768
AT ITER 53 NEW BEST:: SOT 14520 SOS 12768 HAS SOPS 12768 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9694.768
AT ITER 55 NEW BEST:: SOT 14520 SOS 12690 HAS SOPS 12690 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9676.69
AT ITER 56 NEW BEST:: SOT 14520 SOS 12690 HAS SOPS 12690 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9542.69
AT ITER 58 NEW BEST:: SOT 14444 SOS 12614 HAS SOPS 12614 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9424.614
AT ITER 59 NEW BEST:: SOT 14444 SOS 12614 HAS SOPS 12614 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9384.614
AT ITER 62 NEW BEST:: SOT 14444 SOS 12614 HAS SOPS 12614 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9220.614
AT ITER 63 NEW BEST:: SOT 14412 SOS 12610 HAS SOPS 12610 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9124.61
AT ITER 65 NEW BEST:: SOT 14392 SOS 12698 HAS SOPS 12698 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9048.698
AT ITER 71 NEW BEST:: SOT 14360 SOS 13178 HAS SOPS 13178 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8979.178
AT ITER 75 NEW BEST:: SOT 14266 SOS 13084 HAS SOPS 13084 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8885.084
AT ITER 77 NEW BEST:: SOT 14266 SOS 13158 HAS SOPS 13158 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8879.158
AT ITER 85 NEW BEST:: SOT 14266 SOS 13158 HAS SOPS 13158 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8877.158
AT ITER 87 NEW BEST:: SOT 14266 SOS 13158 HAS SOPS 13158 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8867.158
AT ITER 88 NEW BEST:: SOT 14266 SOS 13092 HAS SOPS 13092 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8867.092
AT ITER 91 NEW BEST:: SOT 14266 SOS 13092 HAS SOPS 13092 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8839.092
AT ITER 94 NEW BEST:: SOT 14266 SOS 13046 HAS SOPS 13046 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8793.046
AT ITER 97 NEW BEST:: SOT 14266 SOS 13046 HAS SOPS 13046 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8753.046
AT ITER 110 NEW BEST:: SOT 13826 SOS 12606 HAS SOPS 12606 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8312.606
AT ITER 114 NEW BEST:: SOT 13826 SOS 12606 HAS SOPS 12606 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8308.606
AT ITER 120 NEW BEST:: SOT 13782 SOS 12562 HAS SOPS 12562 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8264.562
AT ITER 122 NEW BEST:: SOT 13782 SOS 12562 HAS SOPS 12562 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8248.562
AT ITER 123 NEW BEST:: SOT 13782 SOS 12562 HAS SOPS 12562 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8240.562
AT ITER 124 NEW BEST:: SOT 13774 SOS 12570 HAS SOPS 12570 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8188.57
AT ITER 129 NEW BEST:: SOT 13774 SOS 12526 HAS SOPS 12526 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8164.526
AT ITER 142 NEW BEST:: SOT 13774 SOS 12526 HAS SOPS 12526 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.526
AT ITER 143 NEW BEST:: SOT 13774 SOS 12526 HAS SOPS 12526 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8154.526
AT ITER 146 NEW BEST:: SOT 13774 SOS 12526 HAS SOPS 12526 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8112.526
AT ITER 147 NEW BEST:: SOT 13774 SOS 12526 HAS SOPS 12526 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.526
AT ITER 154 NEW BEST:: SOT 13774 SOS 12684 HAS SOPS 12684 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8080.684
AT ITER 161 NEW BEST:: SOT 13774 SOS 12684 HAS SOPS 12684 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8064.684
AT ITER 163 NEW BEST:: SOT 13770 SOS 12756 HAS SOPS 12756 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8026.756
AT ITER 167 NEW BEST:: SOT 11788 SOS 10782 HAS SOPS 10782 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6050.782
AT ITER 170 NEW BEST:: SOT 11788 SOS 10782 HAS SOPS 10782 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6022.782
AT ITER 171 NEW BEST:: SOT 11762 SOS 10756 HAS SOPS 10756 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5916.756
AT ITER 183 NEW BEST:: SOT 11686 SOS 10646 HAS SOPS 10646 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5806.646
AT ITER 184 NEW BEST:: SOT 11686 SOS 10626 HAS SOPS 10626 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5800.626
AT ITER 186 NEW BEST:: SOT 11686 SOS 10626 HAS SOPS 10626 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5662.626
AT ITER 189 NEW BEST:: SOT 11686 SOS 10626 HAS SOPS 10626 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5658.626
AT ITER 191 NEW BEST:: SOT 11686 SOS 10644 HAS SOPS 10644 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5652.644
AT ITER 203 NEW BEST:: SOT 11686 SOS 10728 HAS SOPS 10728 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5644.728
AT ITER 211 NEW BEST:: SOT 11686 SOS 10678 HAS SOPS 10678 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5644.678
AT ITER 213 NEW BEST:: SOT 11656 SOS 10648 HAS SOPS 10648 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5586.648
AT ITER 215 NEW BEST:: SOT 11618 SOS 10610 HAS SOPS 10610 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5534.61
AT ITER 216 NEW BEST:: SOT 11618 SOS 10592 HAS SOPS 10592 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5516.592
AT ITER 226 NEW BEST:: SOT 11618 SOS 10584 HAS SOPS 10584 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5516.584
AT ITER 231 NEW BEST:: SOT 11618 SOS 10584 HAS SOPS 10584 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5500.584
AT ITER 236 NEW BEST:: SOT 11618 SOS 10560 HAS SOPS 10560 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5488.56
AT ITER 241 NEW BEST:: SOT 11618 SOS 10560 HAS SOPS 10560 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5482.56
AT ITER 245 NEW BEST:: SOT 11618 SOS 10560 HAS SOPS 10560 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5476.56
AT ITER 251 NEW BEST:: SOT 11618 SOS 10560 HAS SOPS 10560 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5438.56
AT ITER 255 NEW BEST:: SOT 11618 SOS 10498 HAS SOPS 10498 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5404.498
AT ITER 261 NEW BEST:: SOT 11614 SOS 10494 HAS SOPS 10494 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5396.494
AT ITER 267 NEW BEST:: SOT 11596 SOS 10476 HAS SOPS 10476 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5372.476
AT ITER 274 NEW BEST:: SOT 11580 SOS 10460 HAS SOPS 10460 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5328.46
AT ITER 276 NEW BEST:: SOT 11552 SOS 10432 HAS SOPS 10432 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5272.432
AT ITER 278 NEW BEST:: SOT 11552 SOS 10432 HAS SOPS 10432 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5270.432
AT ITER 280 NEW BEST:: SOT 11540 SOS 10420 HAS SOPS 10420 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5250.42
AT ITER 282 NEW BEST:: SOT 11540 SOS 10420 HAS SOPS 10420 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5236.42
AT ITER 286 NEW BEST:: SOT 11540 SOS 10420 HAS SOPS 10420 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5218.42
AT ITER 287 NEW BEST:: SOT 11538 SOS 10418 HAS SOPS 10418 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5198.418
AT ITER 289 NEW BEST:: SOT 11538 SOS 10418 HAS SOPS 10418 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5188.418
AT ITER 303 NEW BEST:: SOT 11538 SOS 10418 HAS SOPS 10418 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5168.418
AT ITER 315 NEW BEST:: SOT 11524 SOS 10390 HAS SOPS 10390 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5140.39
AT ITER 323 NEW BEST:: SOT 11520 SOS 10386 HAS SOPS 10386 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5132.386
AT ITER 327 NEW BEST:: SOT 11520 SOS 10398 HAS SOPS 10398 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5122.398
AT ITER 345 NEW BEST:: SOT 11456 SOS 10352 HAS SOPS 10352 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5072.352
AT ITER 353 NEW BEST:: SOT 11428 SOS 10324 HAS SOPS 10324 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5024.324
AT ITER 354 NEW BEST:: SOT 11396 SOS 10292 HAS SOPS 10292 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4966.292
AT ITER 356 NEW BEST:: SOT 11396 SOS 10292 HAS SOPS 10292 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4922.292
AT ITER 358 NEW BEST:: SOT 11388 SOS 10284 HAS SOPS 10284 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4914.284
AT ITER 360 NEW BEST:: SOT 11388 SOS 10312 HAS SOPS 10312 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4912.312
AT ITER 369 NEW BEST:: SOT 11352 SOS 10276 HAS SOPS 10276 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4840.276
AT ITER 372 NEW BEST:: SOT 11350 SOS 10274 HAS SOPS 10274 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4828.274
AT ITER 374 NEW BEST:: SOT 11350 SOS 10274 HAS SOPS 10274 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4810.274
AT ITER 377 NEW BEST:: SOT 11350 SOS 10274 HAS SOPS 10274 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4804.274
AT ITER 380 NEW BEST:: SOT 11350 SOS 10274 HAS SOPS 10274 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4780.274
AT ITER 384 NEW BEST:: SOT 11196 SOS 10120 HAS SOPS 10120 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4570.12
AT ITER 385 NEW BEST:: SOT 11196 SOS 9926 HAS SOPS 9926 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4565.926
AT ITER 389 NEW BEST:: SOT 11172 SOS 9902 HAS SOPS 9902 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4515.902
AT ITER 399 NEW BEST:: SOT 11170 SOS 9900 HAS SOPS 9900 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4511.9
AT ITER 400 NEW BEST:: SOT 11170 SOS 9912 HAS SOPS 9912 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4499.912
AT ITER 403 NEW BEST:: SOT 11170 SOS 9912 HAS SOPS 9912 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4491.912
AT ITER 413 NEW BEST:: SOT 11170 SOS 9912 HAS SOPS 9912 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4487.912
AT ITER 419 NEW BEST:: SOT 11170 SOS 9912 HAS SOPS 9912 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4417.912
AT ITER 422 NEW BEST:: SOT 11088 SOS 9830 HAS SOPS 9830 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4307.83
AT ITER 426 NEW BEST:: SOT 11088 SOS 9830 HAS SOPS 9830 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4301.83
AT ITER 432 NEW BEST:: SOT 10178 SOS 9362 HAS SOPS 9362 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3453.362
AT ITER 434 NEW BEST:: SOT 10178 SOS 9362 HAS SOPS 9362 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3447.362
AT ITER 440 NEW BEST:: SOT 10158 SOS 9342 HAS SOPS 9342 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3377.342
AT ITER 442 NEW BEST:: SOT 10148 SOS 9332 HAS SOPS 9332 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3355.332
AT ITER 443 NEW BEST:: SOT 10148 SOS 9340 HAS SOPS 9340 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3351.34
AT ITER 447 NEW BEST:: SOT 10148 SOS 9340 HAS SOPS 9340 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3349.34
AT ITER 452 NEW BEST:: SOT 10076 SOS 9268 HAS SOPS 9268 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3263.268
AT ITER 460 NEW BEST:: SOT 10074 SOS 9266 HAS SOPS 9266 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3259.266
AT ITER 471 NEW BEST:: SOT 10056 SOS 9248 HAS SOPS 9248 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3223.248
AT ITER 476 NEW BEST:: SOT 9972 SOS 9164 HAS SOPS 9164 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3055.164
AT ITER 478 NEW BEST:: SOT 9936 SOS 9130 HAS SOPS 9130 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3021.13
AT ITER 479 NEW BEST:: SOT 9936 SOS 9130 HAS SOPS 9130 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3005.13
AT ITER 492 NEW BEST:: SOT 9936 SOS 9130 HAS SOPS 9130 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 3003.13
AT ITER 520 NEW BEST:: SOT 9936 SOS 9130 HAS SOPS 9130 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2985.13
AT ITER 521 NEW BEST:: SOT 9936 SOS 9120 HAS SOPS 9120 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2985.12
AT ITER 534 NEW BEST:: SOT 9918 SOS 9102 HAS SOPS 9102 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2949.102
AT ITER 558 NEW BEST:: SOT 9912 SOS 9096 HAS SOPS 9096 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2937.096
AT ITER 564 NEW BEST:: SOT 9882 SOS 9066 HAS SOPS 9066 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2877.066
AT ITER 574 NEW BEST:: SOT 9882 SOS 9066 HAS SOPS 9066 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2863.066
AT ITER 576 NEW BEST:: SOT 9882 SOS 9066 HAS SOPS 9066 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2857.066
AT ITER 585 NEW BEST:: SOT 9746 SOS 9026 HAS SOPS 9026 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2817.026
AT ITER 597 NEW BEST:: SOT 9726 SOS 9006 HAS SOPS 9006 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2777.006
AT ITER 645 NEW BEST:: SOT 9726 SOS 9006 HAS SOPS 9006 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2767.006
AT ITER 651 NEW BEST:: SOT 9724 SOS 9004 HAS SOPS 9004 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2763.004
AT ITER 670 NEW BEST:: SOT 9718 SOS 8996 HAS SOPS 8996 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2754.996
AT ITER 676 NEW BEST:: SOT 9718 SOS 9022 HAS SOPS 9022 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2753.022
AT ITER 687 NEW BEST:: SOT 9706 SOS 9010 HAS SOPS 9010 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2729.01
AT ITER 690 NEW BEST:: SOT 9706 SOS 9010 HAS SOPS 9010 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2723.01
AT ITER 694 NEW BEST:: SOT 9324 SOS 8708 HAS SOPS 8708 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2384.708
AT ITER 695 NEW BEST:: SOT 9322 SOS 8706 HAS SOPS 8706 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2380.706
AT ITER 697 NEW BEST:: SOT 9322 SOS 8730 HAS SOPS 8730 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2378.73
AT ITER 711 NEW BEST:: SOT 9322 SOS 8712 HAS SOPS 8712 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2360.712
AT ITER 720 NEW BEST:: SOT 9292 SOS 8682 HAS SOPS 8682 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2288.682
AT ITER 742 NEW BEST:: SOT 9290 SOS 8680 HAS SOPS 8680 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2188.68
AT ITER 792 NEW BEST:: SOT 9278 SOS 8668 HAS SOPS 8668 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2148.668
AT ITER 806 NEW BEST:: SOT 9248 SOS 8638 HAS SOPS 8638 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2088.638
AT ITER 812 NEW BEST:: SOT 9238 SOS 8628 HAS SOPS 8628 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2068.628
AT ITER 822 NEW BEST:: SOT 9106 SOS 8526 HAS SOPS 8526 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1966.526
AT ITER 833 NEW BEST:: SOT 9100 SOS 8520 HAS SOPS 8520 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1960.52
AT ITER 850 NEW BEST:: SOT 9096 SOS 8516 HAS SOPS 8516 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1952.516
AT ITER 868 NEW BEST:: SOT 9080 SOS 8490 HAS SOPS 8490 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1948.49
AT ITER 881 NEW BEST:: SOT 9076 SOS 8486 HAS SOPS 8486 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1940.486
AT ITER 883 NEW BEST:: SOT 9088 SOS 8498 HAS SOPS 8498 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1932.498
AT ITER 887 NEW BEST:: SOT 9082 SOS 8492 HAS SOPS 8492 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1920.492
AT ITER 890 NEW BEST:: SOT 9072 SOS 8482 HAS SOPS 8482 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1900.482
AT ITER 891 NEW BEST:: SOT 9042 SOS 8460 HAS SOPS 8460 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1832.46
AT ITER 907 NEW BEST:: SOT 9038 SOS 8456 HAS SOPS 8456 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1824.456
AT ITER 921 NEW BEST:: SOT 9036 SOS 8454 HAS SOPS 8454 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1820.454
AT ITER 925 NEW BEST:: SOT 9016 SOS 8434 HAS SOPS 8434 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1780.434
AT ITER 936 NEW BEST:: SOT 9010 SOS 8428 HAS SOPS 8428 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1768.428
AT ITER 963 NEW BEST:: SOT 9004 SOS 8422 HAS SOPS 8422 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1756.422
AT ITER 972 NEW BEST:: SOT 9000 SOS 8418 HAS SOPS 8418 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1752.418
AT ITER 976 NEW BEST:: SOT 9000 SOS 8418 HAS SOPS 8418 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1732.418
AT ITER 979 NEW BEST:: SOT 8978 SOS 8396 HAS SOPS 8396 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1688.396
AT ITER 994 NEW BEST:: SOT 8964 SOS 8382 HAS SOPS 8382 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1636.382
AT ITER 1003 NEW BEST:: SOT 8962 SOS 8380 HAS SOPS 8380 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1632.38
AT ITER 1031 NEW BEST:: SOT 8954 SOS 8374 HAS SOPS 8374 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1626.374
AT ITER 1068 NEW BEST:: SOT 8950 SOS 8370 HAS SOPS 8370 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1618.37
AT ITER 1117 NEW BEST:: SOT 8946 SOS 8366 HAS SOPS 8366 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1610.366
AT ITER 1129 NEW BEST:: SOT 8940 SOS 8360 HAS SOPS 8360 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1598.36
AT ITER 1152 NEW BEST:: SOT 8928 SOS 8346 HAS SOPS 8346 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1584.346
AT ITER 1178 NEW BEST:: SOT 8920 SOS 8338 HAS SOPS 8338 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1568.338
AT ITER 1200 NEW BEST:: SOT 8896 SOS 8314 HAS SOPS 8314 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1544.314
AT ITER 1205 NEW BEST:: SOT 8890 SOS 8308 HAS SOPS 8308 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1532.308
AT ITER 1224 NEW BEST:: SOT 8888 SOS 8306 HAS SOPS 8306 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1528.306
AT ITER 1238 NEW BEST:: SOT 8878 SOS 8266 HAS SOPS 8266 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1488.266
AT ITER 1261 NEW BEST:: SOT 8872 SOS 8260 HAS SOPS 8260 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1476.26
AT ITER 1263 NEW BEST:: SOT 8866 SOS 8254 HAS SOPS 8254 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1468.254
AT ITER 1274 NEW BEST:: SOT 8856 SOS 8244 HAS SOPS 8244 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1448.244
AT ITER 1278 NEW BEST:: SOT 8852 SOS 8240 HAS SOPS 8240 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1440.24
AT ITER 1316 NEW BEST:: SOT 8852 SOS 8240 HAS SOPS 8240 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1422.24
AT ITER 1383 NEW BEST:: SOT 8852 SOS 8238 HAS SOPS 8238 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1420.238
AT ITER 1431 NEW BEST:: SOT 8852 SOS 8238 HAS SOPS 8238 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1418.238
AT ITER 1439 NEW BEST:: SOT 8848 SOS 8234 HAS SOPS 8234 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1410.234
AT ITER 1446 NEW BEST:: SOT 8836 SOS 8222 HAS SOPS 8222 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1386.222
AT ITER 1496 NEW BEST:: SOT 8834 SOS 8220 HAS SOPS 8220 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1382.22
AT ITER 1572 NEW BEST:: SOT 8834 SOS 8218 HAS SOPS 8218 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1380.218
AT ITER 1617 NEW BEST:: SOT 8832 SOS 8216 HAS SOPS 8216 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1374.216
AT ITER 1640 NEW BEST:: SOT 8826 SOS 8210 HAS SOPS 8210 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1362.21
AT ITER 1645 NEW BEST:: SOT 8824 SOS 8208 HAS SOPS 8208 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1358.208
AT ITER 1669 NEW BEST:: SOT 8820 SOS 8204 HAS SOPS 8204 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1350.204
AT ITER 1670 NEW BEST:: SOT 8818 SOS 8202 HAS SOPS 8202 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1346.202
AT ITER 1766 NEW BEST:: SOT 8816 SOS 8200 HAS SOPS 8200 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1342.2
AT ITER 1774 NEW BEST:: SOT 8814 SOS 8198 HAS SOPS 8198 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1338.198
AT ITER 1782 NEW BEST:: SOT 8802 SOS 8186 HAS SOPS 8186 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1314.186
AT ITER 1844 NEW BEST:: SOT 8796 SOS 8180 HAS SOPS 8180 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1302.18
AT ITER 1854 NEW BEST:: SOT 8792 SOS 8176 HAS SOPS 8176 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1294.176
AT ITER 1862 NEW BEST:: SOT 8788 SOS 8172 HAS SOPS 8172 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1286.172
AT ITER 1870 NEW BEST:: SOT 8772 SOS 8156 HAS SOPS 8156 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1250.156
AT ITER 1924 NEW BEST:: SOT 8768 SOS 8152 HAS SOPS 8152 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1242.152
AT ITER 1935 NEW BEST:: SOT 8764 SOS 8148 HAS SOPS 8148 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1234.148
AT ITER 1973 NEW BEST:: SOT 8756 SOS 8156 HAS SOPS 8156 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1218.156
AT ITER 2052 NEW BEST:: SOT 8746 SOS 8148 HAS SOPS 8148 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1210.148
AT ITER 2085 NEW BEST:: SOT 8744 SOS 8146 HAS SOPS 8146 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1206.146
AT ITER 2105 NEW BEST:: SOT 8742 SOS 8144 HAS SOPS 8144 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1202.144
AT ITER 2115 NEW BEST:: SOT 8738 SOS 8140 HAS SOPS 8140 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1194.14
AT ITER 2164 NEW BEST:: SOT 8736 SOS 8138 HAS SOPS 8138 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1190.138
AT ITER 2195 NEW BEST:: SOT 8734 SOS 8136 HAS SOPS 8136 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1186.136
AT ITER 2196 NEW BEST:: SOT 8736 SOS 7826 HAS SOPS 7826 HAS SOUS 1166 HAS SOUPS 1166 WITH SCORE 1173.826
AT ITER 2236 NEW BEST:: SOT 8734 SOS 7824 HAS SOPS 7824 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1169.824
AT ITER 2238 NEW BEST:: SOT 8734 SOS 7800 HAS SOPS 7800 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1165.8
AT ITER 2368 NEW BEST:: SOT 8732 SOS 7798 HAS SOPS 7798 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1161.798
AT ITER 2391 NEW BEST:: SOT 8730 SOS 7796 HAS SOPS 7796 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1157.796
AT ITER 2393 NEW BEST:: SOT 8728 SOS 7794 HAS SOPS 7794 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1153.794
AT ITER 2503 NEW BEST:: SOT 8726 SOS 7792 HAS SOPS 7792 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1149.792
AT ITER 2590 NEW BEST:: SOT 8720 SOS 7786 HAS SOPS 7786 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1137.786
AT ITER 2842 NEW BEST:: SOT 8720 SOS 7788 HAS SOPS 7788 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1133.788
AT ITER 3060 NEW BEST:: SOT 8710 SOS 7786 HAS SOPS 7786 HAS SOUS 1116 HAS SOUPS 1116 WITH SCORE 1123.786
AT ITER 3093 NEW BEST:: SOT 8702 SOS 7778 HAS SOPS 7778 HAS SOUS 1100 HAS SOUPS 1100 WITH SCORE 1107.778
AT ITER 3114 NEW BEST:: SOT 8700 SOS 7776 HAS SOPS 7776 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1103.776
AT ITER 3141 NEW BEST:: SOT 8696 SOS 7772 HAS SOPS 7772 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1095.772
AT ITER 3149 NEW BEST:: SOT 8696 SOS 7772 HAS SOPS 7772 HAS SOUS 1082 HAS SOUPS 1082 WITH SCORE 1089.772
AT ITER 3206 NEW BEST:: SOT 8694 SOS 7770 HAS SOPS 7770 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1085.77
AT ITER 3274 NEW BEST:: SOT 8690 SOS 7766 HAS SOPS 7766 HAS SOUS 1070 HAS SOUPS 1070 WITH SCORE 1077.766
AT ITER 3277 NEW BEST:: SOT 8686 SOS 7760 HAS SOPS 7760 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1071.76
AT ITER 3444 NEW BEST:: SOT 8686 SOS 7760 HAS SOPS 7760 HAS SOUS 1058 HAS SOUPS 1058 WITH SCORE 1065.76
AT ITER 3473 NEW BEST:: SOT 8686 SOS 7760 HAS SOPS 7760 HAS SOUS 1056 HAS SOUPS 1056 WITH SCORE 1063.76
AT ITER 3554 NEW BEST:: SOT 8682 SOS 7756 HAS SOPS 7756 HAS SOUS 1048 HAS SOUPS 1048 WITH SCORE 1055.756
AT ITER 3641 NEW BEST:: SOT 8672 SOS 8144 HAS SOPS 8144 HAS SOUS 1046 HAS SOUPS 1046 WITH SCORE 1054.144
AT ITER 3809 NEW BEST:: SOT 8664 SOS 8132 HAS SOPS 8132 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1042.132
AT ITER 3827 NEW BEST:: SOT 8654 SOS 8122 HAS SOPS 8122 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1038.122
AT ITER 3835 NEW BEST:: SOT 8656 SOS 8120 HAS SOPS 8120 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1036.12
AT ITER 3838 NEW BEST:: SOT 8654 SOS 8118 HAS SOPS 8118 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1032.118
AT ITER 3918 NEW BEST:: SOT 8636 SOS 8114 HAS SOPS 8114 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1026.114
AT ITER 4005 NEW BEST:: SOT 8628 SOS 8110 HAS SOPS 8110 HAS SOUS 1010 HAS SOUPS 1010 WITH SCORE 1018.11
AT ITER 4083 NEW BEST:: SOT 8624 SOS 8106 HAS SOPS 8106 HAS SOUS 1002 HAS SOUPS 1002 WITH SCORE 1010.106
AT ITER 4163 NEW BEST:: SOT 8628 SOS 8114 HAS SOPS 8114 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 1006.114
AT ITER 4173 NEW BEST:: SOT 8624 SOS 8110 HAS SOPS 8110 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 998.11
AT ITER 4194 NEW BEST:: SOT 8622 SOS 8108 HAS SOPS 8108 HAS SOUS 986 HAS SOUPS 986 WITH SCORE 994.108
AT ITER 4256 NEW BEST:: SOT 8618 SOS 8102 HAS SOPS 8102 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 988.102
AT ITER 4348 NEW BEST:: SOT 8614 SOS 8098 HAS SOPS 8098 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 980.098
AT ITER 4370 NEW BEST:: SOT 8612 SOS 8096 HAS SOPS 8096 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 976.096
AT ITER 4403 NEW BEST:: SOT 8610 SOS 8094 HAS SOPS 8094 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 974.094
AT ITER 4432 NEW BEST:: SOT 8606 SOS 8090 HAS SOPS 8090 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 966.09
AT ITER 4468 NEW BEST:: SOT 8614 SOS 8098 HAS SOPS 8098 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 950.098
AT ITER 4485 NEW BEST:: SOT 8606 SOS 8090 HAS SOPS 8090 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 934.09
AT ITER 4611 NEW BEST:: SOT 8606 SOS 8088 HAS SOPS 8088 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 932.088
AT ITER 4655 NEW BEST:: SOT 8602 SOS 8084 HAS SOPS 8084 HAS SOUS 916 HAS SOUPS 916 WITH SCORE 924.084
AT ITER 4682 NEW BEST:: SOT 8598 SOS 8080 HAS SOPS 8080 HAS SOUS 910 HAS SOUPS 910 WITH SCORE 918.08
AT ITER 4727 NEW BEST:: SOT 8596 SOS 8078 HAS SOPS 8078 HAS SOUS 906 HAS SOUPS 906 WITH SCORE 914.078
AT ITER 4767 NEW BEST:: SOT 8594 SOS 8076 HAS SOPS 8076 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 910.076
AT ITER 4820 NEW BEST:: SOT 8592 SOS 8074 HAS SOPS 8074 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 906.074
AT ITER 4829 NEW BEST:: SOT 8590 SOS 8072 HAS SOPS 8072 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 902.072
AT ITER 5103 NEW BEST:: SOT 8588 SOS 8070 HAS SOPS 8070 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 898.07
AT ITER 5111 NEW BEST:: SOT 8590 SOS 8072 HAS SOPS 8072 HAS SOUS 886 HAS SOUPS 886 WITH SCORE 894.072
AT ITER 5181 NEW BEST:: SOT 8588 SOS 8070 HAS SOPS 8070 HAS SOUS 882 HAS SOUPS 882 WITH SCORE 890.07
AT ITER 5216 NEW BEST:: SOT 8586 SOS 8068 HAS SOPS 8068 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 886.068
AT ITER 5225 NEW BEST:: SOT 8584 SOS 8066 HAS SOPS 8066 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 882.066
AT ITER 5269 NEW BEST:: SOT 8580 SOS 8062 HAS SOPS 8062 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 876.062
AT ITER 5330 NEW BEST:: SOT 8578 SOS 8060 HAS SOPS 8060 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 872.06
AT ITER 5486 NEW BEST:: SOT 8576 SOS 8058 HAS SOPS 8058 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 868.058
AT ITER 5492 NEW BEST:: SOT 8568 SOS 8054 HAS SOPS 8054 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 864.054
AT ITER 5552 NEW BEST:: SOT 8566 SOS 8052 HAS SOPS 8052 HAS SOUS 852 HAS SOUPS 852 WITH SCORE 860.052
AT ITER 5677 NEW BEST:: SOT 8564 SOS 8050 HAS SOPS 8050 HAS SOUS 848 HAS SOUPS 848 WITH SCORE 856.05
AT ITER 5947 NEW BEST:: SOT 8562 SOS 8048 HAS SOPS 8048 HAS SOUS 844 HAS SOUPS 844 WITH SCORE 852.048
AT ITER 6270 NEW BEST:: SOT 8558 SOS 8044 HAS SOPS 8044 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 844.044
AT ITER 6477 NEW BEST:: SOT 8556 SOS 8042 HAS SOPS 8042 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 840.042
AT ITER 6511 NEW BEST:: SOT 8554 SOS 8040 HAS SOPS 8040 HAS SOUS 828 HAS SOUPS 828 WITH SCORE 836.04
AT ITER 6513 NEW BEST:: SOT 8552 SOS 8038 HAS SOPS 8038 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 832.038
AT ITER 6642 NEW BEST:: SOT 8552 SOS 8040 HAS SOPS 8040 HAS SOUS 822 HAS SOUPS 822 WITH SCORE 830.04
AT ITER 6729 NEW BEST:: SOT 8550 SOS 8038 HAS SOPS 8038 HAS SOUS 818 HAS SOUPS 818 WITH SCORE 826.038
AT ITER 6867 NEW BEST:: SOT 8548 SOS 8036 HAS SOPS 8036 HAS SOUS 814 HAS SOUPS 814 WITH SCORE 822.036
AT ITER 6916 NEW BEST:: SOT 8546 SOS 8034 HAS SOPS 8034 HAS SOUS 810 HAS SOUPS 810 WITH SCORE 818.034
AT ITER 7198 NEW BEST:: SOT 8544 SOS 8032 HAS SOPS 8032 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 814.032
AT ITER 7329 NEW BEST:: SOT 8542 SOS 8030 HAS SOPS 8030 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 810.03
AT ITER 7521 NEW BEST:: SOT 8540 SOS 8028 HAS SOPS 8028 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 806.028
AT ITER 7683 NEW BEST:: SOT 8540 SOS 8028 HAS SOPS 8028 HAS SOUS 796 HAS SOUPS 796 WITH SCORE 804.028
AT ITER 7876 NEW BEST:: SOT 8540 SOS 8026 HAS SOPS 8026 HAS SOUS 794 HAS SOUPS 794 WITH SCORE 802.026
AT ITER 8107 NEW BEST:: SOT 8538 SOS 8024 HAS SOPS 8024 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 800.024
AT ITER 8458 NEW BEST:: SOT 8536 SOS 8022 HAS SOPS 8022 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 796.022
AT ITER 8752 NEW BEST:: SOT 8532 SOS 8018 HAS SOPS 8018 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 788.018
AT ITER 8842 NEW BEST:: SOT 8530 SOS 8016 HAS SOPS 8016 HAS SOUS 776 HAS SOUPS 776 WITH SCORE 784.016
AT ITER 9004 NEW BEST:: SOT 8526 SOS 8014 HAS SOPS 8014 HAS SOUS 774 HAS SOUPS 774 WITH SCORE 782.014
AT ITER 9068 NEW BEST:: SOT 8526 SOS 8014 HAS SOPS 8014 HAS SOUS 770 HAS SOUPS 770 WITH SCORE 778.014
AT ITER 9159 NEW BEST:: SOT 8524 SOS 8012 HAS SOPS 8012 HAS SOUS 766 HAS SOUPS 766 WITH SCORE 774.012
AT ITER 9231 NEW BEST:: SOT 8522 SOS 8010 HAS SOPS 8010 HAS SOUS 762 HAS SOUPS 762 WITH SCORE 770.01
AT ITER 9408 NEW BEST:: SOT 8520 SOS 8008 HAS SOPS 8008 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 766.008
AT ITER 9556 NEW BEST:: SOT 8514 SOS 8002 HAS SOPS 8002 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 754.002
STATE_SPACE STATES 1074 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 70 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10340 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1589742645770
--------------------
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="RwMutex-PT-r0010w0050"
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 RwMutex-PT-r0010w0050, 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 r153-oct2-158972910000264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0010w0050.tgz
mv RwMutex-PT-r0010w0050 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 '
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 ;