About the Execution of smart for TokenRing-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15769.060 | 1499730.00 | 1500038.00 | 10.00 | 2.4466E+0010 2.4466E+0011 1 21 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033382800504.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 TokenRing-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382800504
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 45M
-rw-r--r-- 1 mcc users 204K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 671K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5M Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 9.3M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 264K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 935K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3M Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 270K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 877K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8M Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 50K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 6.0M Apr 27 15:14 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 1590408240800
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 020
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 441 places, 8421 transitions, 33684 arcs.
AT ITER 0 NEW BEST:: SOT 1980135 SOS 387213 HAS SOPS 239554 HAS SOUS 203572 HAS SOUPS 194878 WITH SCORE 195265.213
AT ITER 23 NEW BEST:: SOT 1980226 SOS 388592 HAS SOPS 240933 HAS SOUS 203467 HAS SOUPS 194773 WITH SCORE 195161.592
AT ITER 24 NEW BEST:: SOT 1979832 SOS 388038 HAS SOPS 240942 HAS SOUS 203233 HAS SOUPS 194566 WITH SCORE 194954.038
AT ITER 41 NEW BEST:: SOT 1979936 SOS 388302 HAS SOPS 241310 HAS SOUS 203206 HAS SOUPS 194539 WITH SCORE 194927.302
AT ITER 44 NEW BEST:: SOT 1979783 SOS 387960 HAS SOPS 241157 HAS SOUS 202864 HAS SOUPS 194215 WITH SCORE 194602.96
AT ITER 46 NEW BEST:: SOT 1979617 SOS 387737 HAS SOPS 241342 HAS SOUS 202818 HAS SOUPS 194183 WITH SCORE 194570.737
AT ITER 63 NEW BEST:: SOT 1979972 SOS 389451 HAS SOPS 243007 HAS SOUS 201982 HAS SOUPS 193343 WITH SCORE 193732.451
AT ITER 87 NEW BEST:: SOT 1980134 SOS 391011 HAS SOPS 244567 HAS SOUS 201922 HAS SOUPS 193283 WITH SCORE 193674.011
AT ITER 105 NEW BEST:: SOT 1979772 SOS 390682 HAS SOPS 244505 HAS SOUS 201821 HAS SOUPS 193196 WITH SCORE 193586.682
AT ITER 130 NEW BEST:: SOT 1979432 SOS 390376 HAS SOPS 243859 HAS SOUS 201464 HAS SOUPS 192839 WITH SCORE 193229.376
AT ITER 149 NEW BEST:: SOT 1979997 SOS 392217 HAS SOPS 245658 HAS SOUS 201467 HAS SOUPS 192834 WITH SCORE 193226.217
AT ITER 157 NEW BEST:: SOT 1979951 SOS 392027 HAS SOPS 245612 HAS SOUS 201355 HAS SOUPS 192732 WITH SCORE 193124.027
AT ITER 173 NEW BEST:: SOT 1980216 SOS 393181 HAS SOPS 246761 HAS SOUS 200731 HAS SOUPS 192108 WITH SCORE 192501.181
AT ITER 275 NEW BEST:: SOT 1980320 SOS 394666 HAS SOPS 248249 HAS SOUS 200714 HAS SOUPS 192091 WITH SCORE 192485.666
AT ITER 331 NEW BEST:: SOT 1980412 SOS 395717 HAS SOPS 249345 HAS SOUS 199784 HAS SOUPS 191164 WITH SCORE 191559.717
AT ITER 367 NEW BEST:: SOT 1980476 SOS 396997 HAS SOPS 250625 HAS SOUS 199724 HAS SOUPS 191104 WITH SCORE 191500.997
AT ITER 376 NEW BEST:: SOT 1980502 SOS 397278 HAS SOPS 251099 HAS SOUS 199621 HAS SOUPS 191001 WITH SCORE 191398.278
AT ITER 416 NEW BEST:: SOT 1979702 SOS 396319 HAS SOPS 250332 HAS SOUS 199041 HAS SOUPS 190452 WITH SCORE 190848.319
AT ITER 446 NEW BEST:: SOT 1979639 SOS 396224 HAS SOPS 250269 HAS SOUS 198905 HAS SOUPS 190321 WITH SCORE 190717.224
AT ITER 468 NEW BEST:: SOT 1979811 SOS 396664 HAS SOPS 250865 HAS SOUS 198793 HAS SOUPS 190209 WITH SCORE 190605.664
AT ITER 471 NEW BEST:: SOT 1980127 SOS 397321 HAS SOPS 251889 HAS SOUS 198672 HAS SOUPS 190091 WITH SCORE 190488.321
AT ITER 477 NEW BEST:: SOT 1981189 SOS 399658 HAS SOPS 254197 HAS SOUS 198627 HAS SOUPS 190038 WITH SCORE 190437.658
AT ITER 545 NEW BEST:: SOT 1981446 SOS 400259 HAS SOPS 255012 HAS SOUS 198513 HAS SOUPS 189924 WITH SCORE 190324.259
AT ITER 588 NEW BEST:: SOT 1981826 SOS 401583 HAS SOPS 256584 HAS SOUS 198455 HAS SOUPS 189846 WITH SCORE 190247.583
AT ITER 608 NEW BEST:: SOT 1981814 SOS 401526 HAS SOPS 256572 HAS SOUS 198425 HAS SOUPS 189819 WITH SCORE 190220.526
AT ITER 615 NEW BEST:: SOT 1981540 SOS 401310 HAS SOPS 256076 HAS SOUS 198107 HAS SOUPS 189501 WITH SCORE 189902.31
AT ITER 624 NEW BEST:: SOT 1981772 SOS 402943 HAS SOPS 257692 HAS SOUS 198051 HAS SOUPS 189444 WITH SCORE 189846.943
AT ITER 698 NEW BEST:: SOT 1981568 SOS 402868 HAS SOPS 257908 HAS SOUS 197718 HAS SOUPS 189123 WITH SCORE 189525.868
AT ITER 724 NEW BEST:: SOT 1981791 SOS 404241 HAS SOPS 259281 HAS SOUS 196791 HAS SOUPS 188196 WITH SCORE 188600.241
AT ITER 749 NEW BEST:: SOT 1982419 SOS 406169 HAS SOPS 261191 HAS SOUS 196560 HAS SOUPS 187950 WITH SCORE 188356.169
AT ITER 771 NEW BEST:: SOT 1982630 SOS 407283 HAS SOPS 262288 HAS SOUS 195910 HAS SOUPS 187298 WITH SCORE 187705.283
AT ITER 785 NEW BEST:: SOT 1983030 SOS 408512 HAS SOPS 263970 HAS SOUS 195779 HAS SOUPS 187187 WITH SCORE 187595.512
AT ITER 786 NEW BEST:: SOT 1982873 SOS 408389 HAS SOPS 264127 HAS SOUS 195315 HAS SOUPS 186736 WITH SCORE 187144.389
AT ITER 830 NEW BEST:: SOT 1982496 SOS 407916 HAS SOPS 264399 HAS SOUS 195076 HAS SOUPS 186530 WITH SCORE 186937.916
AT ITER 911 NEW BEST:: SOT 1982946 SOS 409632 HAS SOPS 266057 HAS SOUS 194449 HAS SOUPS 185896 WITH SCORE 186305.632
AT ITER 919 NEW BEST:: SOT 1983073 SOS 410807 HAS SOPS 267232 HAS SOUS 193528 HAS SOUPS 184975 WITH SCORE 185385.807
AT ITER 924 NEW BEST:: SOT 1983177 SOS 411125 HAS SOPS 267566 HAS SOUS 193375 HAS SOUPS 184822 WITH SCORE 185233.125
AT ITER 942 NEW BEST:: SOT 1983304 SOS 412594 HAS SOPS 269035 HAS SOUS 193252 HAS SOUPS 184699 WITH SCORE 185111.594
AT ITER 965 NEW BEST:: SOT 1983871 SOS 414720 HAS SOPS 271040 HAS SOUS 192806 HAS SOUPS 184243 WITH SCORE 184657.72
AT ITER 983 NEW BEST:: SOT 1983958 SOS 415206 HAS SOPS 271935 HAS SOUS 192334 HAS SOUPS 183775 WITH SCORE 184190.206
AT ITER 991 NEW BEST:: SOT 1984880 SOS 417959 HAS SOPS 274165 HAS SOUS 192160 HAS SOUPS 183570 WITH SCORE 183987.959
AT ITER 1072 NEW BEST:: SOT 1985338 SOS 419678 HAS SOPS 275825 HAS SOUS 191672 HAS SOUPS 183077 WITH SCORE 183496.678
AT ITER 1128 NEW BEST:: SOT 1985589 SOS 420693 HAS SOPS 276816 HAS SOUS 191222 HAS SOUPS 182624 WITH SCORE 183044.693
AT ITER 1154 NEW BEST:: SOT 1985537 SOS 420636 HAS SOPS 276764 HAS SOUS 191112 HAS SOUPS 182517 WITH SCORE 182937.636
AT ITER 1179 NEW BEST:: SOT 1985707 SOS 421107 HAS SOPS 277358 HAS SOUS 191062 HAS SOUPS 182469 WITH SCORE 182890.107
AT ITER 1196 NEW BEST:: SOT 1986054 SOS 422267 HAS SOPS 278513 HAS SOUS 190806 HAS SOUPS 182209 WITH SCORE 182631.267
AT ITER 1207 NEW BEST:: SOT 1986092 SOS 422487 HAS SOPS 278717 HAS SOUS 190644 HAS SOUPS 182047 WITH SCORE 182469.487
AT ITER 1239 NEW BEST:: SOT 1986298 SOS 422966 HAS SOPS 279331 HAS SOUS 190550 HAS SOUPS 181953 WITH SCORE 182375.966
AT ITER 1247 NEW BEST:: SOT 1986645 SOS 423917 HAS SOPS 280278 HAS SOUS 190293 HAS SOUPS 181696 WITH SCORE 182119.917
AT ITER 1420 NEW BEST:: SOT 1986629 SOS 423898 HAS SOPS 280262 HAS SOUS 190259 HAS SOUPS 181663 WITH SCORE 182086.898
AT ITER 1435 NEW BEST:: SOT 1986772 SOS 424247 HAS SOPS 280715 HAS SOUS 190181 HAS SOUPS 181585 WITH SCORE 182009.247
AT ITER 1500 NEW BEST:: SOT 1986904 SOS 425059 HAS SOPS 281641 HAS SOUS 189944 HAS SOUPS 181360 WITH SCORE 181785.059
AT ITER 1541 NEW BEST:: SOT 1986951 SOS 425517 HAS SOPS 282102 HAS SOUS 189916 HAS SOUPS 181332 WITH SCORE 181757.517
AT ITER 1546 NEW BEST:: SOT 1987134 SOS 426672 HAS SOPS 283253 HAS SOUS 189190 HAS SOUPS 180603 WITH SCORE 181029.672
AT ITER 1563 NEW BEST:: SOT 1987278 SOS 427082 HAS SOPS 283767 HAS SOUS 189127 HAS SOUPS 180534 WITH SCORE 180961.082
AT ITER 1569 NEW BEST:: SOT 1987533 SOS 427577 HAS SOPS 284462 HAS SOUS 189117 HAS SOUPS 180524 WITH SCORE 180951.577
AT ITER 1582 NEW BEST:: SOT 1987859 SOS 428913 HAS SOPS 285790 HAS SOUS 188517 HAS SOUPS 179920 WITH SCORE 180348.913
AT ITER 1632 NEW BEST:: SOT 1988173 SOS 430307 HAS SOPS 287198 HAS SOUS 187730 HAS SOUPS 179140 WITH SCORE 179570.307
AT ITER 1672 NEW BEST:: SOT 1988034 SOS 429975 HAS SOPS 286915 HAS SOUS 187700 HAS SOUPS 179114 WITH SCORE 179543.975
AT ITER 1685 NEW BEST:: SOT 1988005 SOS 429875 HAS SOPS 286946 HAS SOUS 187616 HAS SOUPS 179036 WITH SCORE 179465.875
AT ITER 1825 NEW BEST:: SOT 1988180 SOS 430008 HAS SOPS 287457 HAS SOUS 187574 HAS SOUPS 179008 WITH SCORE 179438.008
AT ITER 1838 NEW BEST:: SOT 1988016 SOS 430029 HAS SOPS 287259 HAS SOUS 187151 HAS SOUPS 178586 WITH SCORE 179016.029
AT ITER 1840 NEW BEST:: SOT 1988996 SOS 433053 HAS SOPS 289479 HAS SOUS 187158 HAS SOUPS 178550 WITH SCORE 178983.053
AT ITER 1888 NEW BEST:: SOT 1989119 SOS 433476 HAS SOPS 289902 HAS SOUS 186981 HAS SOUPS 178373 WITH SCORE 178806.476
AT ITER 1937 NEW BEST:: SOT 1989095 SOS 433439 HAS SOPS 289848 HAS SOUS 186971 HAS SOUPS 178363 WITH SCORE 178796.439
AT ITER 1944 NEW BEST:: SOT 1988270 SOS 432750 HAS SOPS 289815 HAS SOUS 186535 HAS SOUPS 177948 WITH SCORE 178380.75
AT ITER 1951 NEW BEST:: SOT 1988466 SOS 433812 HAS SOPS 290903 HAS SOUS 186266 HAS SOUPS 177678 WITH SCORE 178111.812
AT ITER 1968 NEW BEST:: SOT 1988286 SOS 433397 HAS SOPS 290605 HAS SOUS 186132 HAS SOUPS 177553 WITH SCORE 177986.397
AT ITER 2078 NEW BEST:: SOT 1988602 SOS 434495 HAS SOPS 291453 HAS SOUS 186077 HAS SOUPS 177494 WITH SCORE 177928.495
AT ITER 2094 NEW BEST:: SOT 1988822 SOS 434995 HAS SOPS 292173 HAS SOUS 186043 HAS SOUPS 177454 WITH SCORE 177888.995
AT ITER 2097 NEW BEST:: SOT 1988947 SOS 435446 HAS SOPS 292748 HAS SOUS 185866 HAS SOUPS 177277 WITH SCORE 177712.446
AT ITER 2104 NEW BEST:: SOT 1989257 SOS 436398 HAS SOPS 293692 HAS SOUS 185534 HAS SOUPS 176945 WITH SCORE 177381.398
AT ITER 2140 NEW BEST:: SOT 1989252 SOS 436362 HAS SOPS 293689 HAS SOUS 185518 HAS SOUPS 176933 WITH SCORE 177369.362
AT ITER 2222 NEW BEST:: SOT 1989693 SOS 439119 HAS SOPS 296466 HAS SOUS 185386 HAS SOUPS 176802 WITH SCORE 177241.119
AT ITER 2231 NEW BEST:: SOT 1989556 SOS 439252 HAS SOPS 296329 HAS SOUS 185126 HAS SOUPS 176535 WITH SCORE 176974.252
AT ITER 2345 NEW BEST:: SOT 1989018 SOS 438650 HAS SOPS 296160 HAS SOUS 184652 HAS SOUPS 176092 WITH SCORE 176530.65
AT ITER 2371 NEW BEST:: SOT 1989588 SOS 439587 HAS SOPS 297786 HAS SOUS 184465 HAS SOUPS 175897 WITH SCORE 176336.587
AT ITER 2376 NEW BEST:: SOT 1990537 SOS 441758 HAS SOPS 299957 HAS SOUS 184444 HAS SOUPS 175876 WITH SCORE 176317.758
AT ITER 2402 NEW BEST:: SOT 1990302 SOS 441056 HAS SOPS 299500 HAS SOUS 184382 HAS SOUPS 175828 WITH SCORE 176269.056
AT ITER 2404 NEW BEST:: SOT 1990416 SOS 441762 HAS SOPS 300260 HAS SOUS 184177 HAS SOUPS 175626 WITH SCORE 176067.762
AT ITER 2461 NEW BEST:: SOT 1990502 SOS 442096 HAS SOPS 300604 HAS SOUS 183988 HAS SOUPS 175438 WITH SCORE 175880.096
AT ITER 2466 NEW BEST:: SOT 1991933 SOS 444467 HAS SOPS 301811 HAS SOUS 183631 HAS SOUPS 175052 WITH SCORE 175496.467
AT ITER 2487 NEW BEST:: SOT 1992471 SOS 446956 HAS SOPS 304429 HAS SOUS 183331 HAS SOUPS 174747 WITH SCORE 175193.956
AT ITER 2523 NEW BEST:: SOT 1992425 SOS 446948 HAS SOPS 304363 HAS SOUS 183203 HAS SOUPS 174618 WITH SCORE 175064.948
AT ITER 2534 NEW BEST:: SOT 1992629 SOS 447932 HAS SOPS 305375 HAS SOUS 182627 HAS SOUPS 174042 WITH SCORE 174489.932
AT ITER 2537 NEW BEST:: SOT 1992708 SOS 448207 HAS SOPS 305694 HAS SOUS 182560 HAS SOUPS 173985 WITH SCORE 174433.207
AT ITER 2587 NEW BEST:: SOT 1995028 SOS 451122 HAS SOPS 307278 HAS SOUS 182536 HAS SOUPS 173887 WITH SCORE 174338.122
AT ITER 2591 NEW BEST:: SOT 1995041 SOS 451163 HAS SOPS 307373 HAS SOUS 182521 HAS SOUPS 173872 WITH SCORE 174323.163
AT ITER 2606 NEW BEST:: SOT 1995045 SOS 451309 HAS SOPS 307751 HAS SOUS 182173 HAS SOUPS 173534 WITH SCORE 173985.309
AT ITER 2614 NEW BEST:: SOT 1995222 SOS 451828 HAS SOPS 308150 HAS SOUS 182176 HAS SOUPS 173531 WITH SCORE 173982.828
AT ITER 2632 NEW BEST:: SOT 1995204 SOS 451888 HAS SOPS 308162 HAS SOUS 182086 HAS SOUPS 173441 WITH SCORE 173892.888
AT ITER 2636 NEW BEST:: SOT 1995196 SOS 451706 HAS SOPS 308358 HAS SOUS 181652 HAS SOUPS 173007 WITH SCORE 173458.706
AT ITER 2741 NEW BEST:: SOT 1995064 SOS 450292 HAS SOPS 307524 HAS SOUS 181466 HAS SOUPS 172799 WITH SCORE 173249.292
AT ITER 2788 NEW BEST:: SOT 1995584 SOS 451547 HAS SOPS 308810 HAS SOUS 181293 HAS SOUPS 172624 WITH SCORE 173075.547
AT ITER 2827 NEW BEST:: SOT 1995626 SOS 451661 HAS SOPS 308966 HAS SOUS 181269 HAS SOUPS 172600 WITH SCORE 173051.661
AT ITER 2834 NEW BEST:: SOT 1995564 SOS 451503 HAS SOPS 309174 HAS SOUS 180988 HAS SOUPS 172334 WITH SCORE 172785.503
AT ITER 2855 NEW BEST:: SOT 1995938 SOS 452674 HAS SOPS 310350 HAS SOUS 180565 HAS SOUPS 171911 WITH SCORE 172363.674
AT ITER 2884 NEW BEST:: SOT 1996074 SOS 453067 HAS SOPS 310682 HAS SOUS 180570 HAS SOUPS 171910 WITH SCORE 172363.067
AT ITER 2899 NEW BEST:: SOT 1996173 SOS 453499 HAS SOPS 311217 HAS SOUS 180392 HAS SOUPS 171730 WITH SCORE 172183.499
AT ITER 2910 NEW BEST:: SOT 1996152 SOS 453494 HAS SOPS 311312 HAS SOUS 180229 HAS SOUPS 171573 WITH SCORE 172026.494
AT ITER 2918 NEW BEST:: SOT 1996100 SOS 453323 HAS SOPS 311260 HAS SOUS 180107 HAS SOUPS 171460 WITH SCORE 171913.323
AT ITER 2921 NEW BEST:: SOT 1995542 SOS 452764 HAS SOPS 310789 HAS SOUS 179947 HAS SOUPS 171321 WITH SCORE 171773.764
AT ITER 2951 NEW BEST:: SOT 1995509 SOS 452707 HAS SOPS 310756 HAS SOUS 179875 HAS SOUPS 171252 WITH SCORE 171704.707
AT ITER 2999 NEW BEST:: SOT 1996296 SOS 453654 HAS SOPS 311312 HAS SOUS 179788 HAS SOUPS 171180 WITH SCORE 171633.654
AT ITER 3016 NEW BEST:: SOT 1996268 SOS 453935 HAS SOPS 311274 HAS SOUS 179622 HAS SOUPS 171006 WITH SCORE 171459.935
AT ITER 3024 NEW BEST:: SOT 1996179 SOS 453840 HAS SOPS 311185 HAS SOUS 179455 HAS SOUPS 170843 WITH SCORE 171296.84
AT ITER 3097 NEW BEST:: SOT 1996006 SOS 453744 HAS SOPS 310806 HAS SOUS 179302 HAS SOUPS 170686 WITH SCORE 171139.744
AT ITER 3190 NEW BEST:: SOT 1995634 SOS 452869 HAS SOPS 309716 HAS SOUS 179137 HAS SOUPS 170537 WITH SCORE 170989.869
AT ITER 3244 NEW BEST:: SOT 1995736 SOS 453069 HAS SOPS 309982 HAS SOUS 179128 HAS SOUPS 170528 WITH SCORE 170981.069
AT ITER 3428 NEW BEST:: SOT 1996225 SOS 454349 HAS SOPS 311245 HAS SOUS 178868 HAS SOUPS 170266 WITH SCORE 170720.349
AT ITER 3464 NEW BEST:: SOT 1996103 SOS 454201 HAS SOPS 310997 HAS SOUS 178777 HAS SOUPS 170175 WITH SCORE 170629.201
AT ITER 3548 NEW BEST:: SOT 1996154 SOS 454349 HAS SOPS 311144 HAS SOUS 178731 HAS SOUPS 170129 WITH SCORE 170583.349
AT ITER 3559 NEW BEST:: SOT 1996852 SOS 455321 HAS SOPS 312742 HAS SOUS 178542 HAS SOUPS 169911 WITH SCORE 170366.321
AT ITER 3587 NEW BEST:: SOT 1996851 SOS 455320 HAS SOPS 312740 HAS SOUS 178541 HAS SOUPS 169909 WITH SCORE 170364.32
AT ITER 3632 NEW BEST:: SOT 1996827 SOS 455312 HAS SOPS 312698 HAS SOUS 178498 HAS SOUPS 169867 WITH SCORE 170322.312
AT ITER 3729 NEW BEST:: SOT 1996874 SOS 455421 HAS SOPS 312811 HAS SOUS 178483 HAS SOUPS 169852 WITH SCORE 170307.421
AT ITER 3774 NEW BEST:: SOT 1997226 SOS 455091 HAS SOPS 311937 HAS SOUS 178112 HAS SOUPS 169526 WITH SCORE 169981.091
AT ITER 3776 NEW BEST:: SOT 1997444 SOS 455902 HAS SOPS 312699 HAS SOUS 177905 HAS SOUPS 169313 WITH SCORE 169768.902
AT ITER 3819 NEW BEST:: SOT 1998215 SOS 457985 HAS SOPS 314406 HAS SOUS 177889 HAS SOUPS 169272 WITH SCORE 169729.985
AT ITER 4000 NEW BEST:: SOT 1998385 SOS 458337 HAS SOPS 314810 HAS SOUS 177832 HAS SOUPS 169215 WITH SCORE 169673.337
AT ITER 4030 NEW BEST:: SOT 1998531 SOS 458695 HAS SOPS 315168 HAS SOUS 177766 HAS SOUPS 169149 WITH SCORE 169607.695
AT ITER 4033 NEW BEST:: SOT 1998442 SOS 458528 HAS SOPS 315001 HAS SOUS 177755 HAS SOUPS 169138 WITH SCORE 169596.528
AT ITER 4046 NEW BEST:: SOT 1998409 SOS 458497 HAS SOPS 314972 HAS SOUS 177741 HAS SOUPS 169125 WITH SCORE 169583.497
AT ITER 4113 NEW BEST:: SOT 1998537 SOS 458797 HAS SOPS 315290 HAS SOUS 177654 HAS SOUPS 169038 WITH SCORE 169496.797
AT ITER 4124 NEW BEST:: SOT 1998521 SOS 458769 HAS SOPS 315254 HAS SOUS 177649 HAS SOUPS 169033 WITH SCORE 169491.769
AT ITER 4260 NEW BEST:: SOT 1998513 SOS 458906 HAS SOPS 315382 HAS SOUS 177511 HAS SOUPS 168895 WITH SCORE 169353.906
AT ITER 4342 NEW BEST:: SOT 1998347 SOS 458562 HAS SOPS 315048 HAS SOUS 177355 HAS SOUPS 168745 WITH SCORE 169203.562
AT ITER 4362 NEW BEST:: SOT 1998327 SOS 458544 HAS SOPS 315012 HAS SOUS 177334 HAS SOUPS 168724 WITH SCORE 169182.544
AT ITER 4430 NEW BEST:: SOT 1998063 SOS 458020 HAS SOPS 314502 HAS SOUS 177302 HAS SOUPS 168706 WITH SCORE 169164.02
AT ITER 4451 NEW BEST:: SOT 1998063 SOS 458275 HAS SOPS 314992 HAS SOUS 177294 HAS SOUPS 168698 WITH SCORE 169156.275
AT ITER 4454 NEW BEST:: SOT 1998057 SOS 458256 HAS SOPS 314986 HAS SOUS 177280 HAS SOUPS 168685 WITH SCORE 169143.256
AT ITER 4520 NEW BEST:: SOT 1998377 SOS 459097 HAS SOPS 315928 HAS SOUS 176911 HAS SOUPS 168324 WITH SCORE 168783.097
AT ITER 4543 NEW BEST:: SOT 1998388 SOS 459124 HAS SOPS 316035 HAS SOUS 176822 HAS SOUPS 168239 WITH SCORE 168698.124
AT ITER 4583 NEW BEST:: SOT 1998240 SOS 459118 HAS SOPS 315881 HAS SOUS 176542 HAS SOUPS 167959 WITH SCORE 168418.118
AT ITER 4597 NEW BEST:: SOT 1998189 SOS 459034 HAS SOPS 315746 HAS SOUS 176524 HAS SOUPS 167941 WITH SCORE 168400.034
AT ITER 4611 NEW BEST:: SOT 1998229 SOS 459120 HAS SOPS 315832 HAS SOUS 176518 HAS SOUPS 167935 WITH SCORE 168394.12
AT ITER 4674 NEW BEST:: SOT 1998116 SOS 459046 HAS SOPS 315891 HAS SOUS 176485 HAS SOUPS 167909 WITH SCORE 168368.046
AT ITER 4684 NEW BEST:: SOT 1997995 SOS 458919 HAS SOPS 315938 HAS SOUS 176400 HAS SOUPS 167828 WITH SCORE 168286.919
AT ITER 4832 NEW BEST:: SOT 1997993 SOS 458916 HAS SOPS 315952 HAS SOUS 176378 HAS SOUPS 167807 WITH SCORE 168265.916
AT ITER 4842 NEW BEST:: SOT 1997929 SOS 458840 HAS SOPS 315810 HAS SOUS 176329 HAS SOUPS 167758 WITH SCORE 168216.84
AT ITER 4913 NEW BEST:: SOT 1997791 SOS 458460 HAS SOPS 315672 HAS SOUS 176013 HAS SOUPS 167462 WITH SCORE 167920.46
AT ITER 5017 NEW BEST:: SOT 1997670 SOS 458309 HAS SOPS 315393 HAS SOUS 175890 HAS SOUPS 167341 WITH SCORE 167799.309
AT ITER 5188 NEW BEST:: SOT 1997523 SOS 458102 HAS SOPS 315086 HAS SOUS 175756 HAS SOUPS 167206 WITH SCORE 167664.102
AT ITER 5253 NEW BEST:: SOT 1997514 SOS 457915 HAS SOPS 315333 HAS SOUS 175631 HAS SOUPS 167095 WITH SCORE 167552.915
AT ITER 5316 NEW BEST:: SOT 1997501 SOS 457668 HAS SOPS 315320 HAS SOUS 175579 HAS SOUPS 167056 WITH SCORE 167513.668
AT ITER 5324 NEW BEST:: SOT 1998527 SOS 460090 HAS SOPS 317830 HAS SOUS 175251 HAS SOUPS 166726 WITH SCORE 167186.09
AT ITER 5344 NEW BEST:: SOT 1998449 SOS 459996 HAS SOPS 317753 HAS SOUS 175084 HAS SOUPS 166565 WITH SCORE 167024.996
AT ITER 5369 NEW BEST:: SOT 1999047 SOS 462017 HAS SOPS 319227 HAS SOUS 174910 HAS SOUPS 166362 WITH SCORE 166824.017
AT ITER 5372 NEW BEST:: SOT 1998713 SOS 461175 HAS SOPS 318495 HAS SOUS 174853 HAS SOUPS 166314 WITH SCORE 166775.175
AT ITER 5375 NEW BEST:: SOT 1998664 SOS 461100 HAS SOPS 318386 HAS SOUS 174832 HAS SOUPS 166293 WITH SCORE 166754.1
AT ITER 5412 NEW BEST:: SOT 1998697 SOS 461278 HAS SOPS 318501 HAS SOUS 174783 HAS SOUPS 166241 WITH SCORE 166702.278
AT ITER 5434 NEW BEST:: SOT 1998697 SOS 461258 HAS SOPS 318501 HAS SOUS 174763 HAS SOUPS 166241 WITH SCORE 166702.258
AT ITER 5464 NEW BEST:: SOT 1998577 SOS 461110 HAS SOPS 318297 HAS SOUS 174629 HAS SOUPS 166109 WITH SCORE 166570.11
AT ITER 5502 NEW BEST:: SOT 1998211 SOS 460370 HAS SOPS 317429 HAS SOUS 174436 HAS SOUPS 165911 WITH SCORE 166371.37
AT ITER 5534 NEW BEST:: SOT 1998146 SOS 460046 HAS SOPS 317612 HAS SOUS 174210 HAS SOUPS 165705 WITH SCORE 166165.046
AT ITER 5569 NEW BEST:: SOT 1998328 SOS 460430 HAS SOPS 318014 HAS SOUS 174169 HAS SOUPS 165665 WITH SCORE 166125.43
AT ITER 5644 NEW BEST:: SOT 1998420 SOS 460636 HAS SOPS 318218 HAS SOUS 174127 HAS SOUPS 165624 WITH SCORE 166084.636
AT ITER 5674 NEW BEST:: SOT 1998517 SOS 460863 HAS SOPS 318543 HAS SOUS 174119 HAS SOUPS 165614 WITH SCORE 166074.863
AT ITER 5694 NEW BEST:: SOT 1998522 SOS 460942 HAS SOPS 318622 HAS SOUS 174092 HAS SOUPS 165587 WITH SCORE 166047.942
AT ITER 5702 NEW BEST:: SOT 1998574 SOS 461058 HAS SOPS 318738 HAS SOUS 174080 HAS SOUPS 165575 WITH SCORE 166036.058
AT ITER 5716 NEW BEST:: SOT 1998967 SOS 461893 HAS SOPS 319571 HAS SOUS 174031 HAS SOUPS 165526 WITH SCORE 165987.893
AT ITER 5725 NEW BEST:: SOT 1998939 SOS 461855 HAS SOPS 319543 HAS SOUS 173971 HAS SOUPS 165468 WITH SCORE 165929.855
AT ITER 5790 NEW BEST:: SOT 1999059 SOS 461895 HAS SOPS 319589 HAS SOUS 173919 HAS SOUPS 165422 WITH SCORE 165883.895
AT ITER 5843 NEW BEST:: SOT 1998984 SOS 461941 HAS SOPS 319476 HAS SOUS 173732 HAS SOUPS 165235 WITH SCORE 165696.941
AT ITER 5879 NEW BEST:: SOT 1999393 SOS 462869 HAS SOPS 320397 HAS SOUS 173622 HAS SOUPS 165125 WITH SCORE 165587.869
AT ITER 5937 NEW BEST:: SOT 1999468 SOS 463424 HAS SOPS 320952 HAS SOUS 173553 HAS SOUPS 165056 WITH SCORE 165519.424
AT ITER 5971 NEW BEST:: SOT 1999411 SOS 463382 HAS SOPS 320811 HAS SOUS 173520 HAS SOUPS 165020 WITH SCORE 165483.382
AT ITER 5983 NEW BEST:: SOT 1999972 SOS 465141 HAS SOPS 322078 HAS SOUS 173534 HAS SOUPS 165003 WITH SCORE 165468.141
AT ITER 6003 NEW BEST:: SOT 1999861 SOS 464989 HAS SOPS 321967 HAS SOUS 173296 HAS SOUPS 164773 WITH SCORE 165237.989
AT ITER 6073 NEW BEST:: SOT 1999878 SOS 465253 HAS SOPS 322260 HAS SOUS 172961 HAS SOUPS 164443 WITH SCORE 164908.253
AT ITER 6095 NEW BEST:: SOT 1999872 SOS 465228 HAS SOPS 322254 HAS SOUS 172936 HAS SOUPS 164437 WITH SCORE 164902.228
AT ITER 6107 NEW BEST:: SOT 1999869 SOS 465224 HAS SOPS 322265 HAS SOUS 172913 HAS SOUPS 164415 WITH SCORE 164880.224
AT ITER 6115 NEW BEST:: SOT 2000722 SOS 468142 HAS SOPS 324352 HAS SOUS 172877 HAS SOUPS 164341 WITH SCORE 164809.142
AT ITER 6146 NEW BEST:: SOT 2001005 SOS 468877 HAS SOPS 325295 HAS SOUS 172758 HAS SOUPS 164209 WITH SCORE 164677.877
AT ITER 6171 NEW BEST:: SOT 2000987 SOS 468834 HAS SOPS 325259 HAS SOUS 172744 HAS SOUPS 164196 WITH SCORE 164664.834
AT ITER 6182 NEW BEST:: SOT 2001028 SOS 469003 HAS SOPS 325428 HAS SOUS 172657 HAS SOUPS 164109 WITH SCORE 164578.003
AT ITER 6190 NEW BEST:: SOT 2000779 SOS 468602 HAS SOPS 325348 HAS SOUS 172571 HAS SOUPS 164023 WITH SCORE 164491.602
AT ITER 6213 NEW BEST:: SOT 2001206 SOS 469514 HAS SOPS 326291 HAS SOUS 172513 HAS SOUPS 163965 WITH SCORE 164434.514
AT ITER 6366 NEW BEST:: SOT 2001146 SOS 469401 HAS SOPS 326189 HAS SOUS 172464 HAS SOUPS 163918 WITH SCORE 164387.401
AT ITER 6482 NEW BEST:: SOT 2001130 SOS 469408 HAS SOPS 326147 HAS SOUS 172446 HAS SOUPS 163899 WITH SCORE 164368.408
AT ITER 6541 NEW BEST:: SOT 2001029 SOS 468933 HAS SOPS 326046 HAS SOUS 172194 HAS SOUPS 163672 WITH SCORE 164140.933
AT ITER 6573 NEW BEST:: SOT 2000886 SOS 468886 HAS SOPS 325855 HAS SOUS 171966 HAS SOUPS 163444 WITH SCORE 163912.886
AT ITER 6617 NEW BEST:: SOT 2000905 SOS 468957 HAS SOPS 325904 HAS SOUS 171920 HAS SOUPS 163398 WITH SCORE 163866.957
AT ITER 6671 NEW BEST:: SOT 2000947 SOS 469067 HAS SOPS 326016 HAS SOUS 171894 HAS SOUPS 163372 WITH SCORE 163841.067
AT ITER 6681 NEW BEST:: SOT 2001442 SOS 470063 HAS SOPS 326983 HAS SOUS 171888 HAS SOUPS 163366 WITH SCORE 163836.063
AT ITER 6689 NEW BEST:: SOT 2001436 SOS 469949 HAS SOPS 326977 HAS SOUS 171864 HAS SOUPS 163348 WITH SCORE 163817.949
AT ITER 6703 NEW BEST:: SOT 2001411 SOS 469899 HAS SOPS 326930 HAS SOUS 171843 HAS SOUPS 163328 WITH SCORE 163797.899
AT ITER 6723 NEW BEST:: SOT 2001704 SOS 470500 HAS SOPS 327551 HAS SOUS 171828 HAS SOUPS 163313 WITH SCORE 163783.5
AT ITER 6779 NEW BEST:: SOT 2001692 SOS 470593 HAS SOPS 328255 HAS SOUS 171438 HAS SOUPS 162952 WITH SCORE 163422.593
AT ITER 6806 NEW BEST:: SOT 2001915 SOS 471200 HAS SOPS 328752 HAS SOUS 171403 HAS SOUPS 162911 WITH SCORE 163382.2
AT ITER 6832 NEW BEST:: SOT 2002430 SOS 471576 HAS SOPS 329669 HAS SOUS 170863 HAS SOUPS 162339 WITH SCORE 162810.576
AT ITER 6933 NEW BEST:: SOT 2002430 SOS 471558 HAS SOPS 329671 HAS SOUS 170860 HAS SOUPS 162337 WITH SCORE 162808.558
AT ITER 6984 NEW BEST:: SOT 2002503 SOS 471723 HAS SOPS 329814 HAS SOUS 170822 HAS SOUPS 162299 WITH SCORE 162770.723
AT ITER 6992 NEW BEST:: SOT 2002607 SOS 472061 HAS SOPS 330170 HAS SOUS 170608 HAS SOUPS 162089 WITH SCORE 162561.061
AT ITER 7017 NEW BEST:: SOT 2002560 SOS 471947 HAS SOPS 330123 HAS SOUS 170502 HAS SOUPS 161989 WITH SCORE 162460.947
AT ITER 7032 NEW BEST:: SOT 2002397 SOS 471682 HAS SOPS 329960 HAS SOUS 170417 HAS SOUPS 161910 WITH SCORE 162381.682
AT ITER 7040 NEW BEST:: SOT 2002879 SOS 472748 HAS SOPS 331048 HAS SOUS 170315 HAS SOUPS 161808 WITH SCORE 162280.748
AT ITER 7078 NEW BEST:: SOT 2002959 SOS 472924 HAS SOPS 331240 HAS SOUS 170283 HAS SOUPS 161776 WITH SCORE 162248.924
AT ITER 7278 NEW BEST:: SOT 2002937 SOS 473042 HAS SOPS 331232 HAS SOUS 170128 HAS SOUPS 161621 WITH SCORE 162094.042
AT ITER 7349 NEW BEST:: SOT 2002872 SOS 472967 HAS SOPS 331157 HAS SOUS 169947 HAS SOUPS 161440 WITH SCORE 161912.967
AT ITER 7405 NEW BEST:: SOT 2002977 SOS 473192 HAS SOPS 331382 HAS SOUS 169932 HAS SOUPS 161425 WITH SCORE 161898.192
AT ITER 7485 NEW BEST:: SOT 2002977 SOS 473173 HAS SOPS 331382 HAS SOUS 169913 HAS SOUPS 161425 WITH SCORE 161898.173
AT ITER 7521 NEW BEST:: SOT 2003156 SOS 473692 HAS SOPS 332059 HAS SOUS 169647 HAS SOUPS 161164 WITH SCORE 161637.692
AT ITER 7526 NEW BEST:: SOT 2003345 SOS 474159 HAS SOPS 332526 HAS SOUS 169642 HAS SOUPS 161159 WITH SCORE 161633.159
AT ITER 7617 NEW BEST:: SOT 2003315 SOS 473874 HAS SOPS 332496 HAS SOUS 169555 HAS SOUPS 161087 WITH SCORE 161560.874
AT ITER 7658 NEW BEST:: SOT 2003293 SOS 473860 HAS SOPS 332448 HAS SOUS 169522 HAS SOUPS 161055 WITH SCORE 161528.86
AT ITER 7772 NEW BEST:: SOT 2003440 SOS 474176 HAS SOPS 332771 HAS SOUS 169500 HAS SOUPS 161033 WITH SCORE 161507.176
AT ITER 7932 NEW BEST:: SOT 2003433 SOS 474169 HAS SOPS 332757 HAS SOUS 169493 HAS SOUPS 161019 WITH SCORE 161493.169
AT ITER 8058 NEW BEST:: SOT 2003017 SOS 473290 HAS SOPS 331585 HAS SOUS 169238 HAS SOUPS 160756 WITH SCORE 161229.29
AT ITER 8073 NEW BEST:: SOT 2003798 SOS 474909 HAS SOPS 333172 HAS SOUS 169245 HAS SOUPS 160731 WITH SCORE 161205.909
AT ITER 8206 NEW BEST:: SOT 2003235 SOS 473176 HAS SOPS 331925 HAS SOUS 169201 HAS SOUPS 160718 WITH SCORE 161191.176
AT ITER 8243 NEW BEST:: SOT 2003214 SOS 473037 HAS SOPS 331786 HAS SOUS 169130 HAS SOUPS 160647 WITH SCORE 161120.037
AT ITER 8482 NEW BEST:: SOT 2003184 SOS 472923 HAS SOPS 331756 HAS SOUS 169058 HAS SOUPS 160581 WITH SCORE 161053.923
AT ITER 8485 NEW BEST:: SOT 2002975 SOS 472422 HAS SOPS 331363 HAS SOUS 169015 HAS SOUPS 160544 WITH SCORE 161016.422
AT ITER 8503 NEW BEST:: SOT 2003104 SOS 472784 HAS SOPS 331722 HAS SOUS 168911 HAS SOUPS 160440 WITH SCORE 160912.784
AT ITER 8542 NEW BEST:: SOT 2003114 SOS 472824 HAS SOPS 331772 HAS SOUS 168891 HAS SOUPS 160420 WITH SCORE 160892.824
AT ITER 8555 NEW BEST:: SOT 2002702 SOS 472505 HAS SOPS 331830 HAS SOUS 168680 HAS SOUPS 160221 WITH SCORE 160693.505
AT ITER 8579 NEW BEST:: SOT 2002609 SOS 472257 HAS SOPS 331801 HAS SOUS 168532 HAS SOUPS 160083 WITH SCORE 160555.257
AT ITER 8608 NEW BEST:: SOT 2003292 SOS 473734 HAS SOPS 333274 HAS SOUS 168442 HAS SOUPS 159992 WITH SCORE 160465.734
AT ITER 8668 NEW BEST:: SOT 2003184 SOS 473566 HAS SOPS 333034 HAS SOUS 168398 HAS SOUPS 159948 WITH SCORE 160421.566
AT ITER 8710 NEW BEST:: SOT 2003400 SOS 474118 HAS SOPS 333598 HAS SOUS 168278 HAS SOUPS 159828 WITH SCORE 160302.118
AT ITER 8819 NEW BEST:: SOT 2003238 SOS 473928 HAS SOPS 333330 HAS SOUS 168161 HAS SOUPS 159711 WITH SCORE 160184.928
AT ITER 8862 NEW BEST:: SOT 2003215 SOS 473888 HAS SOPS 333291 HAS SOUS 168153 HAS SOUPS 159704 WITH SCORE 160177.888
AT ITER 8898 NEW BEST:: SOT 2003383 SOS 474300 HAS SOPS 333703 HAS SOUS 168077 HAS SOUPS 159628 WITH SCORE 160102.3
AT ITER 8920 NEW BEST:: SOT 2003336 SOS 474243 HAS SOPS 333656 HAS SOUS 167977 HAS SOUPS 159531 WITH SCORE 160005.243
AT ITER 9175 NEW BEST:: SOT 2003260 SOS 474127 HAS SOPS 333514 HAS SOUS 167951 HAS SOUPS 159505 WITH SCORE 159979.127
AT ITER 9217 NEW BEST:: SOT 2003384 SOS 474378 HAS SOPS 333924 HAS SOUS 167948 HAS SOUPS 159502 WITH SCORE 159976.378
AT ITER 9243 NEW BEST:: SOT 2003346 SOS 474340 HAS SOPS 333886 HAS SOUS 167910 HAS SOUPS 159464 WITH SCORE 159938.34
AT ITER 9295 NEW BEST:: SOT 2003363 SOS 474407 HAS SOPS 333953 HAS SOUS 167877 HAS SOUPS 159431 WITH SCORE 159905.407
AT ITER 9315 NEW BEST:: SOT 2003331 SOS 474217 HAS SOPS 333921 HAS SOUS 167793 HAS SOUPS 159357 WITH SCORE 159831.217
AT ITER 9348 NEW BEST:: SOT 2003187 SOS 473913 HAS SOPS 333601 HAS SOUS 167793 HAS SOUPS 159357 WITH SCORE 159830.913
AT ITER 9399 NEW BEST:: SOT 2003121 SOS 473824 HAS SOPS 333471 HAS SOUS 167748 HAS SOUPS 159312 WITH SCORE 159785.824
AT ITER 9428 NEW BEST:: SOT 2003391 SOS 474835 HAS SOPS 334011 HAS SOUS 167695 HAS SOUPS 159240 WITH SCORE 159714.835
AT ITER 9447 NEW BEST:: SOT 2003301 SOS 474697 HAS SOPS 333817 HAS SOUS 167649 HAS SOUPS 159194 WITH SCORE 159668.697
AT ITER 9468 NEW BEST:: SOT 2002939 SOS 474315 HAS SOPS 333491 HAS SOUS 167395 HAS SOUPS 158952 WITH SCORE 159426.315
AT ITER 9677 NEW BEST:: SOT 2002870 SOS 474203 HAS SOPS 333382 HAS SOUS 167363 HAS SOUPS 158923 WITH SCORE 159397.203
AT ITER 9692 NEW BEST:: SOT 2001034 SOS 472350 HAS SOPS 332389 HAS SOUS 167194 HAS SOUPS 158754 WITH SCORE 159226.35
AT ITER 9743 NEW BEST:: SOT 2001051 SOS 472387 HAS SOPS 332426 HAS SOUS 167191 HAS SOUPS 158751 WITH SCORE 159223.387
AT ITER 9959 NEW BEST:: SOT 2000959 SOS 471950 HAS SOPS 332334 HAS SOUS 166961 HAS SOUPS 158544 WITH SCORE 159015.95
AT ITER 9961 NEW BEST:: SOT 2000888 SOS 471881 HAS SOPS 332221 HAS SOUS 166842 HAS SOUPS 158426 WITH SCORE 158897.881
STATE_SPACE STATES 24466267459 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 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 244662670640 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1590409740530
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/smart.sh: line 117: 467 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="TokenRing-PT-020"
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 TokenRing-PT-020, 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 r190-csrt-159033382800504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 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 ;