Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696000680.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is TokenRing-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696000680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 130M
-rw-r--r-- 1 mcc users 700K Feb 25 15:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M Feb 25 15:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4M Feb 25 15:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 20M Feb 25 15:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 246K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 823K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 725K Feb 25 16:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.6M Feb 25 16:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17M Feb 25 16:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62M Feb 25 16:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.0M Mar 5 18:23 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 1679175247875

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=TokenRing-PT-020
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 020
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: 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 35 NEW BEST:: SOT 1980279 SOS 387654 HAS SOPS 240138 HAS SOUS 203496 HAS SOUPS 194804 WITH SCORE 195191.654
AT ITER 109 NEW BEST:: SOT 1980059 SOS 387522 HAS SOPS 239786 HAS SOUS 203199 HAS SOUPS 194507 WITH SCORE 194894.522
AT ITER 135 NEW BEST:: SOT 1980226 SOS 389035 HAS SOPS 241299 HAS SOUS 203070 HAS SOUPS 194378 WITH SCORE 194767.035
AT ITER 146 NEW BEST:: SOT 1980576 SOS 390569 HAS SOPS 242793 HAS SOUS 202278 HAS SOUPS 193584 WITH SCORE 193974.569
AT ITER 153 NEW BEST:: SOT 1980728 SOS 391973 HAS SOPS 244237 HAS SOUS 202102 HAS SOUPS 193410 WITH SCORE 193801.973
AT ITER 163 NEW BEST:: SOT 1980892 SOS 392451 HAS SOPS 244877 HAS SOUS 202051 HAS SOUPS 193362 WITH SCORE 193754.451
AT ITER 215 NEW BEST:: SOT 1980772 SOS 392409 HAS SOPS 244715 HAS SOUS 201859 HAS SOUPS 193170 WITH SCORE 193562.409
AT ITER 218 NEW BEST:: SOT 1980924 SOS 393853 HAS SOPS 246159 HAS SOUS 201769 HAS SOUPS 193080 WITH SCORE 193473.853
AT ITER 272 NEW BEST:: SOT 1980350 SOS 393105 HAS SOPS 246032 HAS SOUS 201369 HAS SOUPS 192715 WITH SCORE 193108.105
AT ITER 328 NEW BEST:: SOT 1980622 SOS 394555 HAS SOPS 247482 HAS SOUS 200841 HAS SOUPS 192187 WITH SCORE 192581.555
AT ITER 334 NEW BEST:: SOT 1980508 SOS 394429 HAS SOPS 247593 HAS SOUS 200823 HAS SOUPS 192176 WITH SCORE 192570.429
AT ITER 335 NEW BEST:: SOT 1980602 SOS 395847 HAS SOPS 249011 HAS SOUS 200769 HAS SOUPS 192122 WITH SCORE 192517.847
AT ITER 348 NEW BEST:: SOT 1980652 SOS 396973 HAS SOPS 250137 HAS SOUS 200667 HAS SOUPS 192020 WITH SCORE 192416.973
AT ITER 357 NEW BEST:: SOT 1980780 SOS 397299 HAS SOPS 250591 HAS SOUS 200648 HAS SOUPS 192002 WITH SCORE 192399.299
AT ITER 372 NEW BEST:: SOT 1981057 SOS 397882 HAS SOPS 251424 HAS SOUS 200597 HAS SOUPS 191951 WITH SCORE 192348.882
AT ITER 403 NEW BEST:: SOT 1981222 SOS 398419 HAS SOPS 252103 HAS SOUS 200367 HAS SOUPS 191721 WITH SCORE 192119.419
AT ITER 434 NEW BEST:: SOT 1981314 SOS 399461 HAS SOPS 253145 HAS SOUS 199551 HAS SOUPS 190905 WITH SCORE 191304.461
AT ITER 447 NEW BEST:: SOT 1980688 SOS 398800 HAS SOPS 253344 HAS SOUS 199275 HAS SOUPS 190667 WITH SCORE 191065.8
AT ITER 475 NEW BEST:: SOT 1980688 SOS 398781 HAS SOPS 253344 HAS SOUS 199273 HAS SOUPS 190666 WITH SCORE 191064.781
AT ITER 490 NEW BEST:: SOT 1980886 SOS 399213 HAS SOPS 253956 HAS SOUS 199219 HAS SOUPS 190612 WITH SCORE 191011.213
AT ITER 502 NEW BEST:: SOT 1981106 SOS 400253 HAS SOPS 254996 HAS SOUS 198619 HAS SOUPS 190012 WITH SCORE 190412.253
AT ITER 622 NEW BEST:: SOT 1981569 SOS 401872 HAS SOPS 256577 HAS SOUS 198598 HAS SOUPS 189975 WITH SCORE 190376.872
AT ITER 641 NEW BEST:: SOT 1981624 SOS 402616 HAS SOPS 256944 HAS SOUS 198219 HAS SOUPS 189597 WITH SCORE 189999.616
AT ITER 646 NEW BEST:: SOT 1981898 SOS 402779 HAS SOPS 256900 HAS SOUS 198142 HAS SOUPS 189514 WITH SCORE 189916.779
AT ITER 707 NEW BEST:: SOT 1982088 SOS 403288 HAS SOPS 257590 HAS SOUS 198132 HAS SOUPS 189508 WITH SCORE 189911.288
AT ITER 730 NEW BEST:: SOT 1981928 SOS 403216 HAS SOPS 257358 HAS SOUS 197892 HAS SOUPS 189268 WITH SCORE 189671.216
AT ITER 740 NEW BEST:: SOT 1981662 SOS 402912 HAS SOPS 257092 HAS SOUS 197328 HAS SOUPS 188720 WITH SCORE 189122.912
AT ITER 752 NEW BEST:: SOT 1981729 SOS 404105 HAS SOPS 258285 HAS SOUS 197277 HAS SOUPS 188669 WITH SCORE 189073.105
AT ITER 761 NEW BEST:: SOT 1981225 SOS 403760 HAS SOPS 258466 HAS SOUS 197202 HAS SOUPS 188613 WITH SCORE 189016.76
AT ITER 771 NEW BEST:: SOT 1981393 SOS 405212 HAS SOPS 259922 HAS SOUS 196548 HAS SOUPS 187959 WITH SCORE 188364.212
AT ITER 824 NEW BEST:: SOT 1981382 SOS 405201 HAS SOPS 259900 HAS SOUS 196537 HAS SOUPS 187937 WITH SCORE 188342.201
AT ITER 847 NEW BEST:: SOT 1981497 SOS 405515 HAS SOPS 260199 HAS SOUS 196474 HAS SOUPS 187873 WITH SCORE 188278.515
AT ITER 886 NEW BEST:: SOT 1982664 SOS 408555 HAS SOPS 262948 HAS SOUS 196125 HAS SOUPS 187509 WITH SCORE 187917.555
AT ITER 917 NEW BEST:: SOT 1982774 SOS 408919 HAS SOPS 263390 HAS SOUS 195965 HAS SOUPS 187349 WITH SCORE 187757.919
AT ITER 924 NEW BEST:: SOT 1983125 SOS 409606 HAS SOPS 264413 HAS SOUS 195950 HAS SOUPS 187334 WITH SCORE 187743.606
AT ITER 925 NEW BEST:: SOT 1983084 SOS 409881 HAS SOPS 264626 HAS SOUS 195551 HAS SOUPS 186935 WITH SCORE 187344.881
AT ITER 930 NEW BEST:: SOT 1983198 SOS 410393 HAS SOPS 265170 HAS SOUS 195134 HAS SOUPS 186514 WITH SCORE 186924.393
AT ITER 952 NEW BEST:: SOT 1982337 SOS 409462 HAS SOPS 265113 HAS SOUS 194679 HAS SOUPS 186095 WITH SCORE 186504.462
AT ITER 960 NEW BEST:: SOT 1982650 SOS 410864 HAS SOPS 266516 HAS SOUS 193903 HAS SOUPS 185319 WITH SCORE 185729.864
AT ITER 1010 NEW BEST:: SOT 1982718 SOS 411804 HAS SOPS 267146 HAS SOUS 193432 HAS SOUPS 184849 WITH SCORE 185260.804
AT ITER 1036 NEW BEST:: SOT 1983390 SOS 413326 HAS SOPS 268668 HAS SOUS 193254 HAS SOUPS 184671 WITH SCORE 185084.326
AT ITER 1056 NEW BEST:: SOT 1983360 SOS 413212 HAS SOPS 268638 HAS SOUS 193182 HAS SOUPS 184605 WITH SCORE 185018.212
AT ITER 1085 NEW BEST:: SOT 1983658 SOS 414330 HAS SOPS 269962 HAS SOUS 193064 HAS SOUPS 184485 WITH SCORE 184899.33
AT ITER 1095 NEW BEST:: SOT 1983782 SOS 414991 HAS SOPS 270618 HAS SOUS 192849 HAS SOUPS 184277 WITH SCORE 184691.991
AT ITER 1106 NEW BEST:: SOT 1983897 SOS 415716 HAS SOPS 271343 HAS SOUS 192480 HAS SOUPS 183908 WITH SCORE 184323.716
AT ITER 1197 NEW BEST:: SOT 1984285 SOS 417340 HAS SOPS 272943 HAS SOUS 192430 HAS SOUPS 183854 WITH SCORE 184271.34
AT ITER 1211 NEW BEST:: SOT 1984256 SOS 417321 HAS SOPS 272854 HAS SOUS 192391 HAS SOUPS 183811 WITH SCORE 184228.321
AT ITER 1245 NEW BEST:: SOT 1984239 SOS 417262 HAS SOPS 272795 HAS SOUS 192332 HAS SOUPS 183752 WITH SCORE 184169.262
AT ITER 1246 NEW BEST:: SOT 1984375 SOS 417798 HAS SOPS 273331 HAS SOUS 192110 HAS SOUPS 183530 WITH SCORE 183947.798
AT ITER 1299 NEW BEST:: SOT 1984602 SOS 418653 HAS SOPS 274362 HAS SOUS 192002 HAS SOUPS 183425 WITH SCORE 183843.653
AT ITER 1313 NEW BEST:: SOT 1985597 SOS 421314 HAS SOPS 276721 HAS SOUS 191835 HAS SOUPS 183234 WITH SCORE 183655.314
AT ITER 1326 NEW BEST:: SOT 1985643 SOS 421436 HAS SOPS 276843 HAS SOUS 191805 HAS SOUPS 183204 WITH SCORE 183625.436
AT ITER 1329 NEW BEST:: SOT 1985544 SOS 420961 HAS SOPS 276744 HAS SOUS 191557 HAS SOUPS 182981 WITH SCORE 183401.961
AT ITER 1361 NEW BEST:: SOT 1986063 SOS 422440 HAS SOPS 278233 HAS SOUS 191179 HAS SOUPS 182600 WITH SCORE 183022.44
AT ITER 1397 NEW BEST:: SOT 1986777 SOS 424822 HAS SOPS 280425 HAS SOUS 191107 HAS SOUPS 182512 WITH SCORE 182936.822
AT ITER 1426 NEW BEST:: SOT 1986800 SOS 425051 HAS SOPS 280654 HAS SOUS 191008 HAS SOUPS 182413 WITH SCORE 182838.051
AT ITER 1506 NEW BEST:: SOT 1987559 SOS 427228 HAS SOPS 282231 HAS SOUS 191000 HAS SOUPS 182374 WITH SCORE 182801.228
AT ITER 1545 NEW BEST:: SOT 1987523 SOS 427192 HAS SOPS 282195 HAS SOUS 190983 HAS SOUPS 182357 WITH SCORE 182784.192
AT ITER 1547 NEW BEST:: SOT 1987543 SOS 427284 HAS SOPS 282289 HAS SOUS 190931 HAS SOUPS 182305 WITH SCORE 182732.284
AT ITER 1564 NEW BEST:: SOT 1987655 SOS 427736 HAS SOPS 282937 HAS SOUS 190798 HAS SOUPS 182184 WITH SCORE 182611.736
AT ITER 1571 NEW BEST:: SOT 1987486 SOS 427638 HAS SOPS 282952 HAS SOUS 190691 HAS SOUPS 182077 WITH SCORE 182504.638
AT ITER 1593 NEW BEST:: SOT 1988205 SOS 429635 HAS SOPS 284849 HAS SOUS 190627 HAS SOUPS 181990 WITH SCORE 182419.635
AT ITER 1601 NEW BEST:: SOT 1988335 SOS 430124 HAS SOPS 285465 HAS SOUS 190463 HAS SOUPS 181825 WITH SCORE 182255.124
AT ITER 1644 NEW BEST:: SOT 1988469 SOS 431366 HAS SOPS 286251 HAS SOUS 190313 HAS SOUPS 181653 WITH SCORE 182084.366
AT ITER 1699 NEW BEST:: SOT 1988305 SOS 431423 HAS SOPS 286747 HAS SOUS 190012 HAS SOUPS 181372 WITH SCORE 181803.423
AT ITER 1709 NEW BEST:: SOT 1988354 SOS 431920 HAS SOPS 287244 HAS SOUS 189823 HAS SOUPS 181183 WITH SCORE 181614.92
AT ITER 1749 NEW BEST:: SOT 1988335 SOS 432213 HAS SOPS 287571 HAS SOUS 189565 HAS SOUPS 180938 WITH SCORE 181370.213
AT ITER 1763 NEW BEST:: SOT 1988192 SOS 432320 HAS SOPS 287428 HAS SOUS 189189 HAS SOUPS 180562 WITH SCORE 180994.32
AT ITER 1827 NEW BEST:: SOT 1988116 SOS 432175 HAS SOPS 287284 HAS SOUS 189182 HAS SOUPS 180555 WITH SCORE 180987.175
AT ITER 1837 NEW BEST:: SOT 1988324 SOS 433269 HAS SOPS 288378 HAS SOUS 188504 HAS SOUPS 179877 WITH SCORE 180310.269
AT ITER 1864 NEW BEST:: SOT 1987496 SOS 432422 HAS SOPS 287895 HAS SOUS 187842 HAS SOUPS 179253 WITH SCORE 179685.422
AT ITER 1881 NEW BEST:: SOT 1987562 SOS 432607 HAS SOPS 288079 HAS SOUS 187789 HAS SOUPS 179200 WITH SCORE 179632.607
AT ITER 1885 NEW BEST:: SOT 1987521 SOS 432556 HAS SOPS 288031 HAS SOUS 187704 HAS SOUPS 179116 WITH SCORE 179548.556
AT ITER 1915 NEW BEST:: SOT 1987703 SOS 432986 HAS SOPS 288539 HAS SOUS 187617 HAS SOUPS 179029 WITH SCORE 179461.986
AT ITER 1935 NEW BEST:: SOT 1987884 SOS 433687 HAS SOPS 289240 HAS SOUS 187278 HAS SOUPS 178690 WITH SCORE 179123.687
AT ITER 1953 NEW BEST:: SOT 1987776 SOS 433573 HAS SOPS 289132 HAS SOUS 187145 HAS SOUPS 178563 WITH SCORE 178996.573
AT ITER 1967 NEW BEST:: SOT 1987630 SOS 433289 HAS SOPS 288938 HAS SOUS 187011 HAS SOUPS 178435 WITH SCORE 178868.289
AT ITER 1987 NEW BEST:: SOT 1987812 SOS 435547 HAS SOPS 291286 HAS SOUS 186965 HAS SOUPS 178395 WITH SCORE 178830.547
AT ITER 2004 NEW BEST:: SOT 1987792 SOS 435275 HAS SOPS 291126 HAS SOUS 186903 HAS SOUPS 178340 WITH SCORE 178775.275
AT ITER 2030 NEW BEST:: SOT 1987746 SOS 435267 HAS SOPS 291178 HAS SOUS 186756 HAS SOUPS 178196 WITH SCORE 178631.267
AT ITER 2068 NEW BEST:: SOT 1987184 SOS 433584 HAS SOPS 290204 HAS SOUS 186538 HAS SOUPS 178015 WITH SCORE 178448.584
AT ITER 2122 NEW BEST:: SOT 1987372 SOS 434789 HAS SOPS 291094 HAS SOUS 186378 HAS SOUPS 177850 WITH SCORE 178284.789
AT ITER 2169 NEW BEST:: SOT 1987387 SOS 435057 HAS SOPS 291453 HAS SOUS 186056 HAS SOUPS 177532 WITH SCORE 177967.057
AT ITER 2170 NEW BEST:: SOT 1987256 SOS 434801 HAS SOPS 291206 HAS SOUS 185901 HAS SOUPS 177385 WITH SCORE 177819.801
AT ITER 2197 NEW BEST:: SOT 1987208 SOS 434947 HAS SOPS 291258 HAS SOUS 185618 HAS SOUPS 177103 WITH SCORE 177537.947
AT ITER 2202 NEW BEST:: SOT 1988214 SOS 438247 HAS SOPS 294554 HAS SOUS 185506 HAS SOUPS 176977 WITH SCORE 177415.247
AT ITER 2204 NEW BEST:: SOT 1988340 SOS 438561 HAS SOPS 294926 HAS SOUS 185425 HAS SOUPS 176896 WITH SCORE 177334.561
AT ITER 2223 NEW BEST:: SOT 1988254 SOS 438346 HAS SOPS 294782 HAS SOUS 185363 HAS SOUPS 176839 WITH SCORE 177277.346
AT ITER 2246 NEW BEST:: SOT 1988338 SOS 438552 HAS SOPS 294988 HAS SOUS 185325 HAS SOUPS 176801 WITH SCORE 177239.552
AT ITER 2269 NEW BEST:: SOT 1988535 SOS 438933 HAS SOPS 295473 HAS SOUS 185319 HAS SOUPS 176795 WITH SCORE 177233.933
AT ITER 2271 NEW BEST:: SOT 1988681 SOS 439880 HAS SOPS 296737 HAS SOUS 184937 HAS SOUPS 176420 WITH SCORE 176859.88
AT ITER 2277 NEW BEST:: SOT 1988942 SOS 440600 HAS SOPS 297794 HAS SOUS 184655 HAS SOUPS 176142 WITH SCORE 176582.6
AT ITER 2347 NEW BEST:: SOT 1989199 SOS 441104 HAS SOPS 298433 HAS SOUS 184642 HAS SOUPS 176129 WITH SCORE 176570.104
AT ITER 2348 NEW BEST:: SOT 1989172 SOS 441028 HAS SOPS 298406 HAS SOUS 184580 HAS SOUPS 176071 WITH SCORE 176512.028
AT ITER 2386 NEW BEST:: SOT 1988798 SOS 440502 HAS SOPS 297880 HAS SOUS 184358 HAS SOUPS 175849 WITH SCORE 176289.502
AT ITER 2401 NEW BEST:: SOT 1990115 SOS 442531 HAS SOPS 299042 HAS SOUS 183899 HAS SOUPS 175351 WITH SCORE 175793.531
AT ITER 2432 NEW BEST:: SOT 1989574 SOS 441949 HAS SOPS 298579 HAS SOUS 183707 HAS SOUPS 175152 WITH SCORE 175593.949
AT ITER 2447 NEW BEST:: SOT 1989582 SOS 441971 HAS SOPS 298605 HAS SOUS 183702 HAS SOUPS 175147 WITH SCORE 175588.971
AT ITER 2489 NEW BEST:: SOT 1990258 SOS 443950 HAS SOPS 300785 HAS SOUS 183543 HAS SOUPS 174989 WITH SCORE 175432.95
AT ITER 2506 NEW BEST:: SOT 1990217 SOS 443909 HAS SOPS 301094 HAS SOUS 183334 HAS SOUPS 174788 WITH SCORE 175231.909
AT ITER 2521 NEW BEST:: SOT 1990598 SOS 444947 HAS SOPS 302141 HAS SOUS 183058 HAS SOUPS 174512 WITH SCORE 174956.947
AT ITER 2529 NEW BEST:: SOT 1990553 SOS 444820 HAS SOPS 302109 HAS SOUS 182948 HAS SOUPS 174422 WITH SCORE 174866.82
AT ITER 2549 NEW BEST:: SOT 1990180 SOS 444310 HAS SOPS 301502 HAS SOUS 182408 HAS SOUPS 173897 WITH SCORE 174341.31
AT ITER 2552 NEW BEST:: SOT 1990280 SOS 444614 HAS SOPS 301850 HAS SOUS 182287 HAS SOUPS 173776 WITH SCORE 174220.614
AT ITER 2568 NEW BEST:: SOT 1990164 SOS 444444 HAS SOPS 301922 HAS SOUS 181973 HAS SOUPS 173474 WITH SCORE 173918.444
AT ITER 2602 NEW BEST:: SOT 1990615 SOS 446459 HAS SOPS 303987 HAS SOUS 180965 HAS SOUPS 172461 WITH SCORE 172907.459
AT ITER 2620 NEW BEST:: SOT 1990602 SOS 446425 HAS SOPS 303988 HAS SOUS 180931 HAS SOUPS 172429 WITH SCORE 172875.425
AT ITER 2666 NEW BEST:: SOT 1990530 SOS 446791 HAS SOPS 303952 HAS SOUS 180721 HAS SOUPS 172219 WITH SCORE 172665.791
AT ITER 2882 NEW BEST:: SOT 1991208 SOS 448268 HAS SOPS 305476 HAS SOUS 180495 HAS SOUPS 171998 WITH SCORE 172446.268
AT ITER 2962 NEW BEST:: SOT 1991265 SOS 448463 HAS SOPS 305671 HAS SOUS 180414 HAS SOUPS 171917 WITH SCORE 172365.463
AT ITER 2967 NEW BEST:: SOT 1991618 SOS 449482 HAS SOPS 306788 HAS SOUS 180164 HAS SOUPS 171678 WITH SCORE 172127.482
AT ITER 2993 NEW BEST:: SOT 1991718 SOS 449865 HAS SOPS 307266 HAS SOUS 180004 HAS SOUPS 171516 WITH SCORE 171965.865
AT ITER 3012 NEW BEST:: SOT 1992032 SOS 450520 HAS SOPS 308520 HAS SOUS 179761 HAS SOUPS 171277 WITH SCORE 171727.52
AT ITER 3029 NEW BEST:: SOT 1992184 SOS 451056 HAS SOPS 308942 HAS SOUS 179578 HAS SOUPS 171093 WITH SCORE 171544.056
AT ITER 3056 NEW BEST:: SOT 1992180 SOS 451037 HAS SOPS 308938 HAS SOUS 179568 HAS SOUPS 171084 WITH SCORE 171535.037
AT ITER 3084 NEW BEST:: SOT 1991927 SOS 450771 HAS SOPS 308685 HAS SOUS 179139 HAS SOUPS 170664 WITH SCORE 171114.771
AT ITER 3086 NEW BEST:: SOT 1992133 SOS 451586 HAS SOPS 309525 HAS SOUS 178736 HAS SOUPS 170261 WITH SCORE 170712.586
AT ITER 3092 NEW BEST:: SOT 1992648 SOS 452111 HAS SOPS 309585 HAS SOUS 178621 HAS SOUPS 170163 WITH SCORE 170615.111
AT ITER 3119 NEW BEST:: SOT 1992597 SOS 452592 HAS SOPS 309572 HAS SOUS 178466 HAS SOUPS 170004 WITH SCORE 170456.592
AT ITER 3146 NEW BEST:: SOT 1992634 SOS 452316 HAS SOPS 309781 HAS SOUS 178440 HAS SOUPS 169992 WITH SCORE 170444.316
AT ITER 3186 NEW BEST:: SOT 1992548 SOS 451845 HAS SOPS 309645 HAS SOUS 178340 HAS SOUPS 169911 WITH SCORE 170362.845
AT ITER 3223 NEW BEST:: SOT 1992432 SOS 451727 HAS SOPS 309581 HAS SOUS 178342 HAS SOUPS 169909 WITH SCORE 170360.727
AT ITER 3236 NEW BEST:: SOT 1992486 SOS 451898 HAS SOPS 309765 HAS SOUS 178258 HAS SOUPS 169826 WITH SCORE 170277.898
AT ITER 3278 NEW BEST:: SOT 1993891 SOS 455943 HAS SOPS 312674 HAS SOUS 178262 HAS SOUPS 169771 WITH SCORE 170226.943
AT ITER 3299 NEW BEST:: SOT 1993963 SOS 456455 HAS SOPS 313186 HAS SOUS 178020 HAS SOUPS 169529 WITH SCORE 169985.455
AT ITER 3330 NEW BEST:: SOT 1993623 SOS 456115 HAS SOPS 312999 HAS SOUS 178020 HAS SOUPS 169529 WITH SCORE 169985.115
AT ITER 3359 NEW BEST:: SOT 1993652 SOS 456533 HAS SOPS 313432 HAS SOUS 177828 HAS SOUPS 169337 WITH SCORE 169793.533
AT ITER 3385 NEW BEST:: SOT 1993218 SOS 455711 HAS SOPS 312590 HAS SOUS 177824 HAS SOUPS 169331 WITH SCORE 169786.711
AT ITER 3447 NEW BEST:: SOT 1992913 SOS 455266 HAS SOPS 311883 HAS SOUS 177582 HAS SOUPS 169081 WITH SCORE 169536.266
AT ITER 3496 NEW BEST:: SOT 1992606 SOS 455033 HAS SOPS 311764 HAS SOUS 177453 HAS SOUPS 168952 WITH SCORE 169407.033
AT ITER 3513 NEW BEST:: SOT 1992606 SOS 455032 HAS SOPS 311770 HAS SOUS 177434 HAS SOUPS 168933 WITH SCORE 169388.032
AT ITER 3589 NEW BEST:: SOT 1992988 SOS 456097 HAS SOPS 312802 HAS SOUS 177301 HAS SOUPS 168802 WITH SCORE 169258.097
AT ITER 3627 NEW BEST:: SOT 1993301 SOS 456238 HAS SOPS 313553 HAS SOUS 177276 HAS SOUPS 168782 WITH SCORE 169238.238
AT ITER 3722 NEW BEST:: SOT 1993273 SOS 456242 HAS SOPS 313505 HAS SOUS 177212 HAS SOUPS 168718 WITH SCORE 169174.242
AT ITER 3756 NEW BEST:: SOT 1994008 SOS 457469 HAS SOPS 315288 HAS SOUS 176951 HAS SOUPS 168481 WITH SCORE 168938.469
AT ITER 3832 NEW BEST:: SOT 1993988 SOS 457335 HAS SOPS 315294 HAS SOUS 176898 HAS SOUPS 168435 WITH SCORE 168892.335
AT ITER 3964 NEW BEST:: SOT 1993871 SOS 457183 HAS SOPS 315177 HAS SOUS 176648 HAS SOUPS 168193 WITH SCORE 168650.183
AT ITER 4002 NEW BEST:: SOT 1993855 SOS 457157 HAS SOPS 315143 HAS SOUS 176641 HAS SOUPS 168186 WITH SCORE 168643.157
AT ITER 4047 NEW BEST:: SOT 1995995 SOS 458310 HAS SOPS 315969 HAS SOUS 176386 HAS SOUPS 167916 WITH SCORE 168374.31
AT ITER 4112 NEW BEST:: SOT 1995916 SOS 458467 HAS SOPS 316038 HAS SOUS 176090 HAS SOUPS 167620 WITH SCORE 168078.467
AT ITER 4217 NEW BEST:: SOT 1995319 SOS 457496 HAS SOPS 314781 HAS SOUS 175790 HAS SOUPS 167329 WITH SCORE 167786.496
AT ITER 4235 NEW BEST:: SOT 1995533 SOS 457653 HAS SOPS 314942 HAS SOUS 175599 HAS SOUPS 167151 WITH SCORE 167608.653
AT ITER 4261 NEW BEST:: SOT 1995635 SOS 457917 HAS SOPS 315214 HAS SOUS 175520 HAS SOUPS 167072 WITH SCORE 167529.917
AT ITER 4288 NEW BEST:: SOT 1995950 SOS 458660 HAS SOPS 315957 HAS SOUS 175407 HAS SOUPS 166959 WITH SCORE 167417.66
AT ITER 4397 NEW BEST:: SOT 1997632 SOS 459416 HAS SOPS 316432 HAS SOUS 175029 HAS SOUPS 166607 WITH SCORE 167066.416
AT ITER 4448 NEW BEST:: SOT 1997521 SOS 459245 HAS SOPS 316321 HAS SOUS 174789 HAS SOUPS 166376 WITH SCORE 166835.245
AT ITER 4449 NEW BEST:: SOT 1997478 SOS 459164 HAS SOPS 316240 HAS SOUS 174784 HAS SOUPS 166371 WITH SCORE 166830.164
AT ITER 4474 NEW BEST:: SOT 1996733 SOS 457825 HAS SOPS 314841 HAS SOUS 174549 HAS SOUPS 166140 WITH SCORE 166597.825
AT ITER 4488 NEW BEST:: SOT 1997167 SOS 458621 HAS SOPS 315899 HAS SOUS 174453 HAS SOUPS 166056 WITH SCORE 166514.621
AT ITER 4602 NEW BEST:: SOT 1997137 SOS 458450 HAS SOPS 315869 HAS SOUS 174375 HAS SOUPS 165987 WITH SCORE 166445.45
AT ITER 4625 NEW BEST:: SOT 1996390 SOS 457630 HAS SOPS 315240 HAS SOUS 173906 HAS SOUPS 165523 WITH SCORE 165980.63
AT ITER 4688 NEW BEST:: SOT 1996325 SOS 457464 HAS SOPS 315029 HAS SOUS 173900 HAS SOUPS 165519 WITH SCORE 165976.464
AT ITER 4697 NEW BEST:: SOT 1996310 SOS 457407 HAS SOPS 315014 HAS SOUS 173864 HAS SOUPS 165486 WITH SCORE 165943.407
AT ITER 4700 NEW BEST:: SOT 1996313 SOS 457424 HAS SOPS 315029 HAS SOUS 173853 HAS SOUPS 165475 WITH SCORE 165932.424
AT ITER 4789 NEW BEST:: SOT 1996283 SOS 457409 HAS SOPS 314941 HAS SOUS 173808 HAS SOUPS 165430 WITH SCORE 165887.409
AT ITER 4904 NEW BEST:: SOT 1996451 SOS 457728 HAS SOPS 315405 HAS SOUS 173688 HAS SOUPS 165314 WITH SCORE 165771.728
AT ITER 4927 NEW BEST:: SOT 1996423 SOS 457690 HAS SOPS 315377 HAS SOUS 173628 HAS SOUPS 165256 WITH SCORE 165713.69
AT ITER 4956 NEW BEST:: SOT 1996214 SOS 457317 HAS SOPS 314920 HAS SOUS 173604 HAS SOUPS 165232 WITH SCORE 165689.317
AT ITER 5019 NEW BEST:: SOT 1995865 SOS 456968 HAS SOPS 314675 HAS SOUS 173575 HAS SOUPS 165187 WITH SCORE 165643.968
AT ITER 5098 NEW BEST:: SOT 1996026 SOS 457346 HAS SOPS 315050 HAS SOUS 173408 HAS SOUPS 165019 WITH SCORE 165476.346
AT ITER 5133 NEW BEST:: SOT 1996010 SOS 457199 HAS SOPS 315054 HAS SOUS 173355 HAS SOUPS 164974 WITH SCORE 165431.199
AT ITER 5189 NEW BEST:: SOT 1996220 SOS 457753 HAS SOPS 315608 HAS SOUS 173221 HAS SOUPS 164840 WITH SCORE 165297.753
AT ITER 5204 NEW BEST:: SOT 1996180 SOS 457705 HAS SOPS 315526 HAS SOUS 173191 HAS SOUPS 164810 WITH SCORE 165267.705
AT ITER 5258 NEW BEST:: SOT 1996156 SOS 457686 HAS SOPS 315502 HAS SOUS 173183 HAS SOUPS 164801 WITH SCORE 165258.686
AT ITER 5268 NEW BEST:: SOT 1996074 SOS 457534 HAS SOPS 315420 HAS SOUS 173003 HAS SOUPS 164629 WITH SCORE 165086.534
AT ITER 5356 NEW BEST:: SOT 1995915 SOS 457221 HAS SOPS 315115 HAS SOUS 172893 HAS SOUPS 164524 WITH SCORE 164981.221
AT ITER 5364 NEW BEST:: SOT 1996226 SOS 457998 HAS SOPS 315892 HAS SOUS 172738 HAS SOUPS 164369 WITH SCORE 164826.998
AT ITER 5438 NEW BEST:: SOT 1996051 SOS 457751 HAS SOPS 315717 HAS SOUS 172362 HAS SOUPS 164006 WITH SCORE 164463.751
AT ITER 5455 NEW BEST:: SOT 1996035 SOS 457702 HAS SOPS 315701 HAS SOUS 172313 HAS SOUPS 163990 WITH SCORE 164447.702
AT ITER 5548 NEW BEST:: SOT 1995968 SOS 457616 HAS SOPS 315624 HAS SOUS 172181 HAS SOUPS 163852 WITH SCORE 164309.616
AT ITER 5588 NEW BEST:: SOT 1995809 SOS 457359 HAS SOPS 315267 HAS SOUS 171957 HAS SOUPS 163628 WITH SCORE 164085.359
AT ITER 5603 NEW BEST:: SOT 1995419 SOS 456798 HAS SOPS 314377 HAS SOUS 171768 HAS SOUPS 163439 WITH SCORE 163895.798
AT ITER 5706 NEW BEST:: SOT 1995569 SOS 456980 HAS SOPS 314188 HAS SOUS 171629 HAS SOUPS 163307 WITH SCORE 163763.98
AT ITER 5717 NEW BEST:: SOT 1995634 SOS 457221 HAS SOPS 314243 HAS SOUS 171604 HAS SOUPS 163267 WITH SCORE 163724.221
AT ITER 5733 NEW BEST:: SOT 1995706 SOS 457371 HAS SOPS 314377 HAS SOUS 171580 HAS SOUPS 163243 WITH SCORE 163700.371
AT ITER 5749 NEW BEST:: SOT 1995675 SOS 457318 HAS SOPS 314324 HAS SOUS 171571 HAS SOUPS 163234 WITH SCORE 163691.318
AT ITER 5764 NEW BEST:: SOT 1995341 SOS 456333 HAS SOPS 313826 HAS SOUS 171342 HAS SOUPS 163031 WITH SCORE 163487.333
AT ITER 5776 NEW BEST:: SOT 1995467 SOS 456597 HAS SOPS 314128 HAS SOUS 171328 HAS SOUPS 163018 WITH SCORE 163474.597
AT ITER 5805 NEW BEST:: SOT 1995365 SOS 456495 HAS SOPS 314024 HAS SOUS 171245 HAS SOUPS 162933 WITH SCORE 163389.495
AT ITER 5808 NEW BEST:: SOT 1995365 SOS 456486 HAS SOPS 314024 HAS SOUS 171234 HAS SOUPS 162922 WITH SCORE 163378.486
AT ITER 5810 NEW BEST:: SOT 1995437 SOS 456549 HAS SOPS 314080 HAS SOUS 171204 HAS SOUPS 162892 WITH SCORE 163348.549
AT ITER 5812 NEW BEST:: SOT 1995419 SOS 456530 HAS SOPS 314062 HAS SOUS 171185 HAS SOUPS 162874 WITH SCORE 163330.53
AT ITER 5881 NEW BEST:: SOT 1995422 SOS 456508 HAS SOPS 314083 HAS SOUS 171171 HAS SOUPS 162862 WITH SCORE 163318.508
AT ITER 5899 NEW BEST:: SOT 1995842 SOS 457420 HAS SOPS 314995 HAS SOUS 171099 HAS SOUPS 162790 WITH SCORE 163247.42
AT ITER 5966 NEW BEST:: SOT 1995722 SOS 457287 HAS SOPS 314875 HAS SOUS 170864 HAS SOUPS 162562 WITH SCORE 163019.287
AT ITER 5992 NEW BEST:: SOT 1995860 SOS 457637 HAS SOPS 315297 HAS SOUS 170768 HAS SOUPS 162466 WITH SCORE 162923.637
AT ITER 6073 NEW BEST:: SOT 1996293 SOS 458677 HAS SOPS 316368 HAS SOUS 170720 HAS SOUPS 162412 WITH SCORE 162870.677
AT ITER 6175 NEW BEST:: SOT 1996123 SOS 458283 HAS SOPS 315948 HAS SOUS 170705 HAS SOUPS 162397 WITH SCORE 162855.283
AT ITER 6205 NEW BEST:: SOT 1996395 SOS 459529 HAS SOPS 317194 HAS SOUS 170675 HAS SOUPS 162367 WITH SCORE 162826.529
AT ITER 6214 NEW BEST:: SOT 1996467 SOS 459709 HAS SOPS 317374 HAS SOUS 170639 HAS SOUPS 162331 WITH SCORE 162790.709
AT ITER 6253 NEW BEST:: SOT 1996529 SOS 459857 HAS SOPS 317522 HAS SOUS 170615 HAS SOUPS 162307 WITH SCORE 162766.857
AT ITER 6259 NEW BEST:: SOT 1996496 SOS 459800 HAS SOPS 317489 HAS SOUS 170543 HAS SOUPS 162238 WITH SCORE 162697.8
AT ITER 6466 NEW BEST:: SOT 1997343 SOS 461755 HAS SOPS 319454 HAS SOUS 170261 HAS SOUPS 161957 WITH SCORE 162418.755
AT ITER 6474 NEW BEST:: SOT 1997446 SOS 461843 HAS SOPS 319539 HAS SOUS 170253 HAS SOUPS 161951 WITH SCORE 162412.843
AT ITER 6481 NEW BEST:: SOT 1997438 SOS 461849 HAS SOPS 319527 HAS SOUS 170232 HAS SOUPS 161930 WITH SCORE 162391.849
AT ITER 6545 NEW BEST:: SOT 1997748 SOS 462621 HAS SOPS 320299 HAS SOUS 170164 HAS SOUPS 161862 WITH SCORE 162324.621
AT ITER 6586 NEW BEST:: SOT 1997974 SOS 462719 HAS SOPS 320803 HAS SOUS 170119 HAS SOUPS 161836 WITH SCORE 162298.719
AT ITER 6685 NEW BEST:: SOT 1998023 SOS 462923 HAS SOPS 321002 HAS SOUS 170034 HAS SOUPS 161750 WITH SCORE 162212.923
AT ITER 6740 NEW BEST:: SOT 1998052 SOS 463010 HAS SOPS 321089 HAS SOUS 170005 HAS SOUPS 161721 WITH SCORE 162184.01
AT ITER 6861 NEW BEST:: SOT 1998039 SOS 462984 HAS SOPS 321064 HAS SOUS 170005 HAS SOUPS 161721 WITH SCORE 162183.984
AT ITER 6912 NEW BEST:: SOT 1998893 SOS 464964 HAS SOPS 322874 HAS SOUS 169943 HAS SOUPS 161649 WITH SCORE 162113.964
AT ITER 6981 NEW BEST:: SOT 1999295 SOS 466062 HAS SOPS 323908 HAS SOUS 169901 HAS SOUPS 161599 WITH SCORE 162065.062
AT ITER 7288 NEW BEST:: SOT 1999577 SOS 467063 HAS SOPS 324932 HAS SOUS 169464 HAS SOUPS 161162 WITH SCORE 161629.063
AT ITER 7308 NEW BEST:: SOT 1999855 SOS 467669 HAS SOPS 325706 HAS SOUS 169394 HAS SOUPS 161092 WITH SCORE 161559.669
AT ITER 7335 NEW BEST:: SOT 1999835 SOS 467657 HAS SOPS 325664 HAS SOUS 169364 HAS SOUPS 161062 WITH SCORE 161529.657
AT ITER 7358 NEW BEST:: SOT 2000278 SOS 468894 HAS SOPS 326919 HAS SOUS 169055 HAS SOUPS 160751 WITH SCORE 161219.894
AT ITER 7487 NEW BEST:: SOT 2000260 SOS 468890 HAS SOPS 326865 HAS SOUS 169023 HAS SOUPS 160719 WITH SCORE 161187.89
AT ITER 7520 NEW BEST:: SOT 2000216 SOS 468940 HAS SOPS 326803 HAS SOUS 168886 HAS SOUPS 160582 WITH SCORE 161050.94
AT ITER 7542 NEW BEST:: SOT 2000216 SOS 468658 HAS SOPS 326816 HAS SOUS 168839 HAS SOUPS 160570 WITH SCORE 161038.658
AT ITER 7731 NEW BEST:: SOT 2000198 SOS 468631 HAS SOPS 326772 HAS SOUS 168828 HAS SOUPS 160560 WITH SCORE 161028.631
AT ITER 7788 NEW BEST:: SOT 2000282 SOS 469090 HAS SOPS 327230 HAS SOUS 168555 HAS SOUPS 160291 WITH SCORE 160760.09
AT ITER 7873 NEW BEST:: SOT 2000251 SOS 469041 HAS SOPS 327161 HAS SOUS 168543 HAS SOUPS 160279 WITH SCORE 160748.041
AT ITER 7885 NEW BEST:: SOT 2000096 SOS 468886 HAS SOPS 327010 HAS SOUS 168483 HAS SOUPS 160223 WITH SCORE 160691.886
AT ITER 7900 NEW BEST:: SOT 2000151 SOS 469007 HAS SOPS 327131 HAS SOUS 168472 HAS SOUPS 160212 WITH SCORE 160681.007
AT ITER 7915 NEW BEST:: SOT 2000030 SOS 468714 HAS SOPS 326916 HAS SOUS 168397 HAS SOUPS 160143 WITH SCORE 160611.714
AT ITER 7936 NEW BEST:: SOT 2000006 SOS 468578 HAS SOPS 326934 HAS SOUS 168338 HAS SOUPS 160091 WITH SCORE 160559.578
AT ITER 8023 NEW BEST:: SOT 2000106 SOS 468834 HAS SOPS 327190 HAS SOUS 168324 HAS SOUPS 160077 WITH SCORE 160545.834
AT ITER 8085 NEW BEST:: SOT 2000555 SOS 469806 HAS SOPS 328169 HAS SOUS 168250 HAS SOUPS 160003 WITH SCORE 160472.806
AT ITER 8113 NEW BEST:: SOT 2000539 SOS 469787 HAS SOPS 328153 HAS SOUS 168216 HAS SOUPS 159970 WITH SCORE 160439.787
AT ITER 8126 NEW BEST:: SOT 2000483 SOS 469799 HAS SOPS 328075 HAS SOUS 168117 HAS SOUPS 159870 WITH SCORE 160339.799
AT ITER 8184 NEW BEST:: SOT 2000630 SOS 470156 HAS SOPS 328434 HAS SOUS 168054 HAS SOUPS 159807 WITH SCORE 160277.156
AT ITER 8205 NEW BEST:: SOT 2000497 SOS 469941 HAS SOPS 328113 HAS SOUS 168009 HAS SOUPS 159762 WITH SCORE 160231.941
AT ITER 8275 NEW BEST:: SOT 2000689 SOS 470559 HAS SOPS 328775 HAS SOUS 167831 HAS SOUPS 159585 WITH SCORE 160055.559
AT ITER 8345 NEW BEST:: SOT 2000638 SOS 470464 HAS SOPS 328724 HAS SOUS 167719 HAS SOUPS 159478 WITH SCORE 159948.464
AT ITER 8354 NEW BEST:: SOT 2000702 SOS 470507 HAS SOPS 328868 HAS SOUS 167678 HAS SOUPS 159443 WITH SCORE 159913.507
AT ITER 8532 NEW BEST:: SOT 2000769 SOS 470574 HAS SOPS 328819 HAS SOUS 167625 HAS SOUPS 159390 WITH SCORE 159860.574
AT ITER 8544 NEW BEST:: SOT 2000643 SOS 470441 HAS SOPS 328693 HAS SOUS 167422 HAS SOUPS 159191 WITH SCORE 159661.441
AT ITER 8590 NEW BEST:: SOT 2000480 SOS 470176 HAS SOPS 328398 HAS SOUS 167408 HAS SOUPS 159177 WITH SCORE 159647.176
AT ITER 8607 NEW BEST:: SOT 2000475 SOS 470196 HAS SOPS 328391 HAS SOUS 167400 HAS SOUPS 159168 WITH SCORE 159638.196
AT ITER 8651 NEW BEST:: SOT 2000459 SOS 470767 HAS SOPS 328709 HAS SOUS 166985 HAS SOUPS 158742 WITH SCORE 159212.767
AT ITER 8830 NEW BEST:: SOT 2000472 SOS 470910 HAS SOPS 328774 HAS SOUS 166881 HAS SOUPS 158638 WITH SCORE 159108.91
AT ITER 8871 NEW BEST:: SOT 2000403 SOS 470798 HAS SOPS 328700 HAS SOUS 166729 HAS SOUPS 158487 WITH SCORE 158957.798
AT ITER 8891 NEW BEST:: SOT 2000378 SOS 470704 HAS SOPS 328657 HAS SOUS 166710 HAS SOUPS 158471 WITH SCORE 158941.704
AT ITER 8898 NEW BEST:: SOT 2000361 SOS 470704 HAS SOPS 328640 HAS SOUS 166676 HAS SOUPS 158437 WITH SCORE 158907.704
AT ITER 8978 NEW BEST:: SOT 2000532 SOS 471101 HAS SOPS 328993 HAS SOUS 166424 HAS SOUPS 158179 WITH SCORE 158650.101
AT ITER 8985 NEW BEST:: SOT 2000507 SOS 471044 HAS SOPS 328968 HAS SOUS 166368 HAS SOUPS 158126 WITH SCORE 158597.044
AT ITER 9338 NEW BEST:: SOT 2000738 SOS 471196 HAS SOPS 329131 HAS SOUS 166238 HAS SOUPS 158007 WITH SCORE 158478.196
AT ITER 9390 NEW BEST:: SOT 2001517 SOS 473255 HAS SOPS 331046 HAS SOUS 165926 HAS SOUPS 157686 WITH SCORE 158159.255
AT ITER 9503 NEW BEST:: SOT 2001497 SOS 473217 HAS SOPS 331026 HAS SOUS 165882 HAS SOUPS 157644 WITH SCORE 158117.217
AT ITER 9527 NEW BEST:: SOT 2001467 SOS 473179 HAS SOPS 330996 HAS SOUS 165818 HAS SOUPS 157582 WITH SCORE 158055.179
AT ITER 9562 NEW BEST:: SOT 2001871 SOS 474134 HAS SOPS 331940 HAS SOUS 165671 HAS SOUPS 157435 WITH SCORE 157909.134
AT ITER 9610 NEW BEST:: SOT 2002277 SOS 475203 HAS SOPS 333018 HAS SOUS 165414 HAS SOUPS 157178 WITH SCORE 157653.203
AT ITER 9656 NEW BEST:: SOT 2002230 SOS 475120 HAS SOPS 333034 HAS SOUS 165247 HAS SOUPS 157076 WITH SCORE 157551.12
AT ITER 9678 NEW BEST:: SOT 2002113 SOS 474812 HAS SOPS 332910 HAS SOUS 164984 HAS SOUPS 156813 WITH SCORE 157287.812
AT ITER 9839 NEW BEST:: SOT 2002113 SOS 474805 HAS SOPS 332644 HAS SOUS 164879 HAS SOUPS 156701 WITH SCORE 157175.805
AT ITER 9922 NEW BEST:: SOT 2002001 SOS 474597 HAS SOPS 332420 HAS SOUS 164879 HAS SOUPS 156701 WITH SCORE 157175.597
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 1679177303129

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 378 Killed ${SMART}/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"
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 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 r483-tall-167912696000680"
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 '' 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 ;