Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 10:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 10:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 10:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 10:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.1M 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 1679092260066

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=SieveSingleMsgMbox-PT-d2m36
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m36
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: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802664 SOS 718908 HAS SOPS 718908 HAS SOUS 632272 HAS SOUPS 632272 WITH SCORE 632990.908
AT ITER 36 NEW BEST:: SOT 802664 SOS 718981 HAS SOPS 718981 HAS SOUS 631453 HAS SOUPS 631453 WITH SCORE 632171.981
AT ITER 83 NEW BEST:: SOT 810692 SOS 727009 HAS SOPS 727009 HAS SOUS 630157 HAS SOUPS 630157 WITH SCORE 630884.009
AT ITER 112 NEW BEST:: SOT 810716 SOS 726578 HAS SOPS 726578 HAS SOUS 629952 HAS SOUPS 629952 WITH SCORE 630678.578
AT ITER 229 NEW BEST:: SOT 814564 SOS 730426 HAS SOPS 730426 HAS SOUS 626564 HAS SOUPS 626564 WITH SCORE 627294.426
AT ITER 234 NEW BEST:: SOT 814564 SOS 730492 HAS SOPS 730492 HAS SOUS 616798 HAS SOUPS 616798 WITH SCORE 617528.492
AT ITER 248 NEW BEST:: SOT 814564 SOS 728844 HAS SOPS 728844 HAS SOUS 616080 HAS SOUPS 616080 WITH SCORE 616808.844
AT ITER 253 NEW BEST:: SOT 814677 SOS 728852 HAS SOPS 728852 HAS SOUS 615930 HAS SOUPS 615930 WITH SCORE 616658.852
AT ITER 261 NEW BEST:: SOT 820933 SOS 732226 HAS SOPS 731963 HAS SOUS 613547 HAS SOUPS 613388 WITH SCORE 614120.226
AT ITER 273 NEW BEST:: SOT 839753 SOS 747959 HAS SOPS 747369 HAS SOUS 612352 HAS SOUPS 612129 WITH SCORE 612876.959
AT ITER 293 NEW BEST:: SOT 859647 SOS 766950 HAS SOPS 765734 HAS SOUS 612330 HAS SOUPS 611863 WITH SCORE 612629.95
AT ITER 301 NEW BEST:: SOT 883883 SOS 787913 HAS SOPS 785800 HAS SOUS 604815 HAS SOUPS 604245 WITH SCORE 605032.913
AT ITER 333 NEW BEST:: SOT 883883 SOS 787940 HAS SOPS 785827 HAS SOUS 604709 HAS SOUPS 604139 WITH SCORE 604926.94
AT ITER 364 NEW BEST:: SOT 897689 SOS 800385 HAS SOPS 797315 HAS SOUS 592237 HAS SOUPS 591667 WITH SCORE 592467.385
AT ITER 385 NEW BEST:: SOT 900239 SOS 801590 HAS SOPS 798295 HAS SOUS 579864 HAS SOUPS 579294 WITH SCORE 580095.59
AT ITER 447 NEW BEST:: SOT 909702 SOS 809772 HAS SOPS 805752 HAS SOUS 567653 HAS SOUPS 567083 WITH SCORE 567892.772
AT ITER 462 NEW BEST:: SOT 941663 SOS 839264 HAS SOPS 834005 HAS SOUS 567272 HAS SOUPS 566659 WITH SCORE 567498.264
AT ITER 484 NEW BEST:: SOT 941663 SOS 838442 HAS SOPS 833183 HAS SOUS 567194 HAS SOUPS 566581 WITH SCORE 567419.442
AT ITER 536 NEW BEST:: SOT 950326 SOS 842823 HAS SOPS 836182 HAS SOUS 555229 HAS SOUPS 554616 WITH SCORE 555458.823
AT ITER 561 NEW BEST:: SOT 968390 SOS 859319 HAS SOPS 851266 HAS SOUS 543565 HAS SOUPS 542952 WITH SCORE 543811.319
AT ITER 581 NEW BEST:: SOT 964192 SOS 855121 HAS SOPS 847913 HAS SOUS 543565 HAS SOUPS 542952 WITH SCORE 543807.121
AT ITER 617 NEW BEST:: SOT 1004678 SOS 893909 HAS SOPS 885340 HAS SOUS 543007 HAS SOUPS 542394 WITH SCORE 543287.909
AT ITER 663 NEW BEST:: SOT 1004678 SOS 893787 HAS SOPS 885218 HAS SOUS 543007 HAS SOUPS 542394 WITH SCORE 543287.787
AT ITER 677 NEW BEST:: SOT 1004678 SOS 891690 HAS SOPS 883121 HAS SOUS 539465 HAS SOUPS 538852 WITH SCORE 539743.69
AT ITER 725 NEW BEST:: SOT 1040433 SOS 925762 HAS SOPS 915832 HAS SOUS 527807 HAS SOUPS 527194 WITH SCORE 528119.762
AT ITER 727 NEW BEST:: SOT 1068866 SOS 948577 HAS SOPS 934034 HAS SOUS 524158 HAS SOUPS 523352 WITH SCORE 524300.577
AT ITER 838 NEW BEST:: SOT 1082389 SOS 959934 HAS SOPS 943892 HAS SOUS 512796 HAS SOUPS 511990 WITH SCORE 512949.934
AT ITER 907 NEW BEST:: SOT 1083079 SOS 954728 HAS SOPS 938433 HAS SOUS 502169 HAS SOUPS 501363 WITH SCORE 502317.728
AT ITER 924 NEW BEST:: SOT 1096169 SOS 964077 HAS SOPS 946392 HAS SOUS 492008 HAS SOUPS 491202 WITH SCORE 492166.077
AT ITER 935 NEW BEST:: SOT 1074179 SOS 942087 HAS SOPS 925532 HAS SOUS 490250 HAS SOUPS 489444 WITH SCORE 490386.087
AT ITER 959 NEW BEST:: SOT 1111229 SOS 976838 HAS SOPS 958093 HAS SOUS 479348 HAS SOUPS 478542 WITH SCORE 479518.838
AT ITER 984 NEW BEST:: SOT 1111229 SOS 975921 HAS SOPS 957176 HAS SOUS 479269 HAS SOUPS 478463 WITH SCORE 479438.921
AT ITER 1028 NEW BEST:: SOT 1111229 SOS 974135 HAS SOPS 955390 HAS SOUS 471854 HAS SOUPS 471048 WITH SCORE 472022.135
AT ITER 1036 NEW BEST:: SOT 1111429 SOS 968577 HAS SOPS 949728 HAS SOUS 462833 HAS SOUPS 462027 WITH SCORE 462995.577
AT ITER 1046 NEW BEST:: SOT 1125072 SOS 975229 HAS SOPS 952081 HAS SOUS 453115 HAS SOUPS 452309 WITH SCORE 453284.229
AT ITER 1091 NEW BEST:: SOT 1125072 SOS 974049 HAS SOPS 950901 HAS SOUS 449537 HAS SOUPS 448731 WITH SCORE 449705.049
AT ITER 1134 NEW BEST:: SOT 1125072 SOS 973473 HAS SOPS 950325 HAS SOUS 447515 HAS SOUPS 446709 WITH SCORE 447682.473
AT ITER 1149 NEW BEST:: SOT 1154499 SOS 995201 HAS SOPS 966261 HAS SOUS 440071 HAS SOUPS 439212 WITH SCORE 440207.201
AT ITER 1175 NEW BEST:: SOT 1181130 SOS 1018106 HAS SOPS 985716 HAS SOUS 429993 HAS SOUPS 429134 WITH SCORE 430152.106
AT ITER 1200 NEW BEST:: SOT 1181130 SOS 1017262 HAS SOPS 984872 HAS SOUS 427565 HAS SOUPS 426706 WITH SCORE 427723.262
AT ITER 1250 NEW BEST:: SOT 1186223 SOS 1018941 HAS SOPS 985452 HAS SOUS 418042 HAS SOUPS 417183 WITH SCORE 418201.941
AT ITER 1279 NEW BEST:: SOT 1198543 SOS 1031261 HAS SOPS 997204 HAS SOUS 417753 HAS SOUPS 416894 WITH SCORE 417925.261
AT ITER 1284 NEW BEST:: SOT 1230731 SOS 1056007 HAS SOPS 1014491 HAS SOUS 413184 HAS SOUPS 412217 WITH SCORE 413273.007
AT ITER 1289 NEW BEST:: SOT 1230731 SOS 1055913 HAS SOPS 1014397 HAS SOUS 413106 HAS SOUPS 412139 WITH SCORE 413194.913
AT ITER 1304 NEW BEST:: SOT 1206970 SOS 1032152 HAS SOPS 994304 HAS SOUS 409071 HAS SOUPS 408212 WITH SCORE 409244.152
AT ITER 1324 NEW BEST:: SOT 1206970 SOS 1032152 HAS SOPS 994304 HAS SOUS 408933 HAS SOUPS 408074 WITH SCORE 409106.152
AT ITER 1347 NEW BEST:: SOT 1227877 SOS 1045857 HAS SOPS 1001897 HAS SOUS 400325 HAS SOUPS 399466 WITH SCORE 400511.857
AT ITER 1375 NEW BEST:: SOT 1240592 SOS 1054416 HAS SOPS 1007187 HAS SOUS 391124 HAS SOUPS 390265 WITH SCORE 391319.416
AT ITER 1467 NEW BEST:: SOT 1255013 SOS 1063247 HAS SOPS 1012759 HAS SOUS 383022 HAS SOUPS 382163 WITH SCORE 383226.247
AT ITER 1470 NEW BEST:: SOT 1256021 SOS 1056126 HAS SOPS 1004924 HAS SOUS 375143 HAS SOUPS 374284 WITH SCORE 375340.126
AT ITER 1471 NEW BEST:: SOT 1256021 SOS 1048762 HAS SOPS 997560 HAS SOUS 368580 HAS SOUPS 367721 WITH SCORE 368769.762
AT ITER 1488 NEW BEST:: SOT 1269309 SOS 1052854 HAS SOPS 995670 HAS SOUS 360659 HAS SOUPS 359800 WITH SCORE 360852.854
AT ITER 1493 NEW BEST:: SOT 1279068 SOS 1057750 HAS SOPS 997401 HAS SOUS 352953 HAS SOUPS 352094 WITH SCORE 353151.75
AT ITER 1494 NEW BEST:: SOT 1288400 SOS 1057638 HAS SOPS 991861 HAS SOUS 345358 HAS SOUPS 344499 WITH SCORE 345556.638
AT ITER 1551 NEW BEST:: SOT 1288400 SOS 1057442 HAS SOPS 991665 HAS SOUS 345356 HAS SOUPS 344497 WITH SCORE 345554.442
AT ITER 1567 NEW BEST:: SOT 1288400 SOS 1052860 HAS SOPS 987083 HAS SOUS 341967 HAS SOUPS 341108 WITH SCORE 342160.86
AT ITER 1573 NEW BEST:: SOT 1288400 SOS 1044698 HAS SOPS 978921 HAS SOUS 335625 HAS SOUPS 334766 WITH SCORE 335810.698
AT ITER 1595 NEW BEST:: SOT 1289895 SOS 1036790 HAS SOPS 969843 HAS SOUS 328029 HAS SOUPS 327170 WITH SCORE 328206.79
AT ITER 1606 NEW BEST:: SOT 1306066 SOS 1051880 HAS SOPS 980152 HAS SOUS 326049 HAS SOUPS 325190 WITH SCORE 326241.88
AT ITER 1625 NEW BEST:: SOT 1306261 SOS 1052075 HAS SOPS 980347 HAS SOUS 325405 HAS SOUPS 324546 WITH SCORE 325598.075
AT ITER 1640 NEW BEST:: SOT 1319424 SOS 1058934 HAS SOPS 982801 HAS SOUS 318419 HAS SOUPS 317560 WITH SCORE 318618.934
AT ITER 1642 NEW BEST:: SOT 1353958 SOS 1087004 HAS SOPS 1005481 HAS SOUS 310926 HAS SOUPS 310067 WITH SCORE 311154.004
AT ITER 1659 NEW BEST:: SOT 1353958 SOS 1086653 HAS SOPS 1005130 HAS SOUS 310749 HAS SOUPS 309890 WITH SCORE 310976.653
AT ITER 1674 NEW BEST:: SOT 1383956 SOS 1111967 HAS SOPS 1025054 HAS SOUS 304769 HAS SOUPS 303910 WITH SCORE 305021.967
AT ITER 1701 NEW BEST:: SOT 1393472 SOS 1111212 HAS SOPS 1016636 HAS SOUS 298210 HAS SOUPS 297351 WITH SCORE 298462.212
AT ITER 1739 NEW BEST:: SOT 1393472 SOS 1111206 HAS SOPS 1016630 HAS SOUS 298204 HAS SOUPS 297345 WITH SCORE 298456.206
AT ITER 1827 NEW BEST:: SOT 1422110 SOS 1132674 HAS SOPS 1032289 HAS SOUS 291575 HAS SOUPS 290716 WITH SCORE 291848.674
AT ITER 1848 NEW BEST:: SOT 1422110 SOS 1132700 HAS SOPS 1032315 HAS SOUS 291573 HAS SOUPS 290714 WITH SCORE 291846.7
AT ITER 1908 NEW BEST:: SOT 1421714 SOS 1132304 HAS SOPS 1032015 HAS SOUS 291573 HAS SOUPS 290714 WITH SCORE 291846.304
AT ITER 1960 NEW BEST:: SOT 1421754 SOS 1131827 HAS SOPS 1031536 HAS SOUS 291094 HAS SOUPS 290235 WITH SCORE 291366.827
AT ITER 1963 NEW BEST:: SOT 1421802 SOS 1130999 HAS SOPS 1030708 HAS SOUS 290611 HAS SOUPS 289752 WITH SCORE 290882.999
AT ITER 1972 NEW BEST:: SOT 1421963 SOS 1131140 HAS SOPS 1030688 HAS SOUS 290591 HAS SOUPS 289732 WITH SCORE 290863.14
AT ITER 1986 NEW BEST:: SOT 1423270 SOS 1125923 HAS SOPS 1024654 HAS SOUS 284476 HAS SOUPS 283617 WITH SCORE 284742.923
AT ITER 2001 NEW BEST:: SOT 1416172 SOS 1118825 HAS SOPS 1019683 HAS SOUS 284476 HAS SOUPS 283617 WITH SCORE 284735.825
AT ITER 2045 NEW BEST:: SOT 1416529 SOS 1119167 HAS SOPS 1019668 HAS SOUS 284461 HAS SOUPS 283602 WITH SCORE 284721.167
AT ITER 2197 NEW BEST:: SOT 1436807 SOS 1132452 HAS SOPS 1027664 HAS SOUS 277888 HAS SOUPS 277029 WITH SCORE 278161.452
AT ITER 2203 NEW BEST:: SOT 1447499 SOS 1137126 HAS SOPS 1022858 HAS SOUS 274174 HAS SOUPS 273315 WITH SCORE 274452.126
AT ITER 2313 NEW BEST:: SOT 1448609 SOS 1136983 HAS SOPS 1021917 HAS SOUS 272821 HAS SOUPS 271962 WITH SCORE 273098.983
AT ITER 2314 NEW BEST:: SOT 1448609 SOS 1136284 HAS SOPS 1021218 HAS SOUS 272611 HAS SOUPS 271752 WITH SCORE 272888.284
AT ITER 2331 NEW BEST:: SOT 1448609 SOS 1125798 HAS SOPS 1010732 HAS SOUS 268164 HAS SOUPS 267305 WITH SCORE 268430.798
AT ITER 2348 NEW BEST:: SOT 1448609 SOS 1116629 HAS SOPS 1001563 HAS SOUS 263745 HAS SOUPS 262886 WITH SCORE 264002.629
AT ITER 2375 NEW BEST:: SOT 1448609 SOS 1109378 HAS SOPS 994312 HAS SOUS 260605 HAS SOUPS 259746 WITH SCORE 260855.378
AT ITER 2437 NEW BEST:: SOT 1456331 SOS 1117100 HAS SOPS 999568 HAS SOUS 260322 HAS SOUPS 259463 WITH SCORE 260580.1
AT ITER 2448 NEW BEST:: SOT 1472660 SOS 1122389 HAS SOPS 993183 HAS SOUS 254919 HAS SOUPS 254060 WITH SCORE 255182.389
AT ITER 2501 NEW BEST:: SOT 1496382 SOS 1136255 HAS SOPS 1000451 HAS SOUS 252031 HAS SOUPS 251172 WITH SCORE 252308.255
AT ITER 2549 NEW BEST:: SOT 1491456 SOS 1130983 HAS SOPS 989495 HAS SOUS 249733 HAS SOUPS 248874 WITH SCORE 250004.983
AT ITER 2580 NEW BEST:: SOT 1479099 SOS 1118626 HAS SOPS 977213 HAS SOUS 248669 HAS SOUPS 247810 WITH SCORE 248928.626
AT ITER 2592 NEW BEST:: SOT 1479099 SOS 1117522 HAS SOPS 976109 HAS SOUS 248608 HAS SOUPS 247749 WITH SCORE 248866.522
AT ITER 2637 NEW BEST:: SOT 1479099 SOS 1116706 HAS SOPS 975293 HAS SOUS 247015 HAS SOUPS 246156 WITH SCORE 247272.706
AT ITER 2673 NEW BEST:: SOT 1508602 SOS 1137945 HAS SOPS 989027 HAS SOUS 241877 HAS SOUPS 241018 WITH SCORE 242155.945
AT ITER 2755 NEW BEST:: SOT 1508602 SOS 1137864 HAS SOPS 988946 HAS SOUS 241835 HAS SOUPS 240976 WITH SCORE 242113.864
AT ITER 2779 NEW BEST:: SOT 1512699 SOS 1130465 HAS SOPS 975804 HAS SOUS 236770 HAS SOUPS 235911 WITH SCORE 237041.465
AT ITER 2803 NEW BEST:: SOT 1528469 SOS 1134451 HAS SOPS 967393 HAS SOUS 231673 HAS SOUPS 230814 WITH SCORE 231948.451
AT ITER 2811 NEW BEST:: SOT 1528469 SOS 1134451 HAS SOPS 967393 HAS SOUS 231672 HAS SOUPS 230813 WITH SCORE 231947.451
AT ITER 2837 NEW BEST:: SOT 1533750 SOS 1130703 HAS SOPS 959206 HAS SOUS 227777 HAS SOUPS 226918 WITH SCORE 228048.703
AT ITER 2880 NEW BEST:: SOT 1544817 SOS 1141770 HAS SOPS 966688 HAS SOUS 227370 HAS SOUPS 226511 WITH SCORE 227652.77
AT ITER 2959 NEW BEST:: SOT 1552036 SOS 1148989 HAS SOPS 971802 HAS SOUS 227111 HAS SOUPS 226252 WITH SCORE 227400.989
AT ITER 2961 NEW BEST:: SOT 1540739 SOS 1137692 HAS SOPS 960584 HAS SOUS 226493 HAS SOUPS 225634 WITH SCORE 226771.692
AT ITER 3061 NEW BEST:: SOT 1543285 SOS 1140238 HAS SOPS 962616 HAS SOUS 226408 HAS SOUPS 225549 WITH SCORE 226689.238
AT ITER 3069 NEW BEST:: SOT 1543562 SOS 1139229 HAS SOPS 961607 HAS SOUS 226303 HAS SOUPS 225444 WITH SCORE 226583.229
AT ITER 3099 NEW BEST:: SOT 1551264 SOS 1135952 HAS SOPS 948443 HAS SOUS 221722 HAS SOUPS 220863 WITH SCORE 221998.952
AT ITER 3143 NEW BEST:: SOT 1549857 SOS 1134545 HAS SOPS 947869 HAS SOUS 221605 HAS SOUPS 220746 WITH SCORE 221880.545
AT ITER 3156 NEW BEST:: SOT 1549857 SOS 1134518 HAS SOPS 947842 HAS SOUS 221605 HAS SOUPS 220746 WITH SCORE 221880.518
AT ITER 3165 NEW BEST:: SOT 1561507 SOS 1146168 HAS SOPS 952782 HAS SOUS 221095 HAS SOUPS 220236 WITH SCORE 221382.168
AT ITER 3172 NEW BEST:: SOT 1577984 SOS 1162645 HAS SOPS 961724 HAS SOUS 220428 HAS SOUPS 219569 WITH SCORE 220731.645
AT ITER 3187 NEW BEST:: SOT 1577984 SOS 1162042 HAS SOPS 961121 HAS SOUS 220220 HAS SOUPS 219361 WITH SCORE 220523.042
AT ITER 3236 NEW BEST:: SOT 1578069 SOS 1162127 HAS SOPS 961206 HAS SOUS 220162 HAS SOUPS 219303 WITH SCORE 220465.127
AT ITER 3264 NEW BEST:: SOT 1585904 SOS 1166546 HAS SOPS 954354 HAS SOUS 218533 HAS SOUPS 217674 WITH SCORE 218840.546
AT ITER 3293 NEW BEST:: SOT 1585784 SOS 1166499 HAS SOPS 954307 HAS SOUS 218439 HAS SOUPS 217580 WITH SCORE 218746.499
AT ITER 3306 NEW BEST:: SOT 1596708 SOS 1177423 HAS SOPS 964275 HAS SOUS 218153 HAS SOUPS 217294 WITH SCORE 218471.423
AT ITER 3329 NEW BEST:: SOT 1596708 SOS 1177017 HAS SOPS 963869 HAS SOUS 218041 HAS SOUPS 217182 WITH SCORE 218359.017
AT ITER 3344 NEW BEST:: SOT 1601629 SOS 1172532 HAS SOPS 954261 HAS SOUS 214625 HAS SOUPS 213766 WITH SCORE 214938.532
AT ITER 3354 NEW BEST:: SOT 1601629 SOS 1164849 HAS SOPS 946578 HAS SOUS 212944 HAS SOUPS 212085 WITH SCORE 213249.849
AT ITER 3357 NEW BEST:: SOT 1610768 SOS 1163826 HAS SOPS 938007 HAS SOUS 209571 HAS SOUPS 208712 WITH SCORE 209875.826
AT ITER 3372 NEW BEST:: SOT 1603779 SOS 1156837 HAS SOPS 932280 HAS SOUS 209571 HAS SOUPS 208712 WITH SCORE 209868.837
AT ITER 3384 NEW BEST:: SOT 1591622 SOS 1144680 HAS SOPS 927277 HAS SOUS 209571 HAS SOUPS 208712 WITH SCORE 209856.68
AT ITER 3394 NEW BEST:: SOT 1591622 SOS 1144528 HAS SOPS 927125 HAS SOUS 209571 HAS SOUPS 208712 WITH SCORE 209856.528
AT ITER 3452 NEW BEST:: SOT 1588526 SOS 1141432 HAS SOPS 927206 HAS SOUS 209571 HAS SOUPS 208712 WITH SCORE 209853.432
AT ITER 3474 NEW BEST:: SOT 1588627 SOS 1141397 HAS SOPS 927171 HAS SOUS 209536 HAS SOUPS 208677 WITH SCORE 209818.397
AT ITER 3497 NEW BEST:: SOT 1588627 SOS 1141201 HAS SOPS 926975 HAS SOUS 209026 HAS SOUPS 208167 WITH SCORE 209308.201
AT ITER 3540 NEW BEST:: SOT 1588708 SOS 1141269 HAS SOPS 926962 HAS SOUS 209013 HAS SOUPS 208154 WITH SCORE 209295.269
AT ITER 3545 NEW BEST:: SOT 1588938 SOS 1141383 HAS SOPS 927076 HAS SOUS 208967 HAS SOUPS 208108 WITH SCORE 209249.383
AT ITER 3564 NEW BEST:: SOT 1574763 SOS 1127208 HAS SOPS 926032 HAS SOUS 208967 HAS SOUPS 208108 WITH SCORE 209235.208
AT ITER 3593 NEW BEST:: SOT 1574944 SOS 1127372 HAS SOPS 926015 HAS SOUS 208950 HAS SOUPS 208091 WITH SCORE 209218.372
AT ITER 3616 NEW BEST:: SOT 1572922 SOS 1124046 HAS SOPS 918447 HAS SOUS 208760 HAS SOUPS 207901 WITH SCORE 209025.046
AT ITER 3681 NEW BEST:: SOT 1571255 SOS 1122379 HAS SOPS 918352 HAS SOUS 208760 HAS SOUPS 207901 WITH SCORE 209023.379
AT ITER 3688 NEW BEST:: SOT 1571255 SOS 1122324 HAS SOPS 918297 HAS SOUS 207995 HAS SOUPS 207136 WITH SCORE 208258.324
AT ITER 3713 NEW BEST:: SOT 1571255 SOS 1116447 HAS SOPS 912420 HAS SOUS 206661 HAS SOUPS 205802 WITH SCORE 206918.447
AT ITER 3763 NEW BEST:: SOT 1577270 SOS 1115603 HAS SOPS 901437 HAS SOUS 203810 HAS SOUPS 202951 WITH SCORE 204066.603
AT ITER 3765 NEW BEST:: SOT 1578456 SOS 1106116 HAS SOPS 890176 HAS SOUS 201237 HAS SOUPS 200378 WITH SCORE 201484.116
AT ITER 3777 NEW BEST:: SOT 1585251 SOS 1102889 HAS SOPS 879848 HAS SOUS 198404 HAS SOUPS 197545 WITH SCORE 198647.889
AT ITER 3795 NEW BEST:: SOT 1585251 SOS 1102809 HAS SOPS 879768 HAS SOUS 198398 HAS SOUPS 197539 WITH SCORE 198641.809
AT ITER 3829 NEW BEST:: SOT 1599493 SOS 1117051 HAS SOPS 893204 HAS SOUS 198045 HAS SOUPS 197186 WITH SCORE 198303.051
AT ITER 3852 NEW BEST:: SOT 1599441 SOS 1116999 HAS SOPS 893152 HAS SOUS 197993 HAS SOUPS 197134 WITH SCORE 198250.999
AT ITER 3853 NEW BEST:: SOT 1615347 SOS 1122418 HAS SOPS 889961 HAS SOUS 194775 HAS SOUPS 193916 WITH SCORE 195038.418
AT ITER 3930 NEW BEST:: SOT 1615347 SOS 1122245 HAS SOPS 889788 HAS SOUS 194672 HAS SOUPS 193813 WITH SCORE 194935.245
AT ITER 3960 NEW BEST:: SOT 1615347 SOS 1120513 HAS SOPS 888056 HAS SOUS 194672 HAS SOUPS 193813 WITH SCORE 194933.513
AT ITER 3994 NEW BEST:: SOT 1622624 SOS 1127790 HAS SOPS 895194 HAS SOUS 194533 HAS SOUPS 193674 WITH SCORE 194801.79
AT ITER 4020 NEW BEST:: SOT 1622559 SOS 1127725 HAS SOPS 895129 HAS SOUS 194468 HAS SOUPS 193609 WITH SCORE 194736.725
AT ITER 4107 NEW BEST:: SOT 1622754 SOS 1127567 HAS SOPS 894971 HAS SOUS 194342 HAS SOUPS 193483 WITH SCORE 194610.567
AT ITER 4143 NEW BEST:: SOT 1622754 SOS 1127349 HAS SOPS 894753 HAS SOUS 194291 HAS SOUPS 193432 WITH SCORE 194559.349
AT ITER 4167 NEW BEST:: SOT 1622910 SOS 1127489 HAS SOPS 894737 HAS SOUS 194275 HAS SOUPS 193416 WITH SCORE 194543.489
AT ITER 4176 NEW BEST:: SOT 1628842 SOS 1133421 HAS SOPS 898141 HAS SOUS 194040 HAS SOUPS 193181 WITH SCORE 194314.421
AT ITER 4270 NEW BEST:: SOT 1641514 SOS 1146093 HAS SOPS 907717 HAS SOUS 193602 HAS SOUPS 192743 WITH SCORE 193889.093
AT ITER 4316 NEW BEST:: SOT 1649522 SOS 1140013 HAS SOPS 887177 HAS SOUS 190472 HAS SOUPS 189613 WITH SCORE 190753.013
AT ITER 4421 NEW BEST:: SOT 1667061 SOS 1144462 HAS SOPS 872798 HAS SOUS 188383 HAS SOUPS 187496 WITH SCORE 188640.462
AT ITER 4435 NEW BEST:: SOT 1667356 SOS 1143348 HAS SOPS 871684 HAS SOUS 188111 HAS SOUPS 187224 WITH SCORE 188367.348
AT ITER 4490 NEW BEST:: SOT 1667356 SOS 1142464 HAS SOPS 870800 HAS SOUS 188043 HAS SOUPS 187156 WITH SCORE 188298.464
AT ITER 4518 NEW BEST:: SOT 1649488 SOS 1124596 HAS SOPS 859669 HAS SOUS 188043 HAS SOUPS 187156 WITH SCORE 188280.596
AT ITER 4528 NEW BEST:: SOT 1649488 SOS 1124391 HAS SOPS 859464 HAS SOUS 187993 HAS SOUPS 187106 WITH SCORE 188230.391
AT ITER 4546 NEW BEST:: SOT 1649488 SOS 1124658 HAS SOPS 859731 HAS SOUS 187653 HAS SOUPS 186766 WITH SCORE 187890.658
AT ITER 4694 NEW BEST:: SOT 1649488 SOS 1124678 HAS SOPS 859751 HAS SOUS 187650 HAS SOUPS 186763 WITH SCORE 187887.678
AT ITER 4908 NEW BEST:: SOT 1649521 SOS 1124652 HAS SOPS 859725 HAS SOUS 187528 HAS SOUPS 186641 WITH SCORE 187765.652
AT ITER 4948 NEW BEST:: SOT 1649854 SOS 1123833 HAS SOPS 857722 HAS SOUS 187204 HAS SOUPS 186317 WITH SCORE 187440.833
AT ITER 4961 NEW BEST:: SOT 1649927 SOS 1123740 HAS SOPS 857629 HAS SOUS 187108 HAS SOUPS 186221 WITH SCORE 187344.74
AT ITER 4971 NEW BEST:: SOT 1649941 SOS 1123727 HAS SOPS 857616 HAS SOUS 186894 HAS SOUPS 186007 WITH SCORE 187130.727
AT ITER 5025 NEW BEST:: SOT 1649941 SOS 1123439 HAS SOPS 857328 HAS SOUS 186821 HAS SOUPS 185934 WITH SCORE 187057.439
AT ITER 5075 NEW BEST:: SOT 1644131 SOS 1117629 HAS SOPS 863010 HAS SOUS 186821 HAS SOUPS 185934 WITH SCORE 187051.629
AT ITER 5086 NEW BEST:: SOT 1653324 SOS 1126822 HAS SOPS 871172 HAS SOUS 186537 HAS SOUPS 185650 WITH SCORE 186776.822
AT ITER 5091 NEW BEST:: SOT 1653324 SOS 1126842 HAS SOPS 871192 HAS SOUS 186529 HAS SOUPS 185642 WITH SCORE 186768.842
AT ITER 5123 NEW BEST:: SOT 1647812 SOS 1121330 HAS SOPS 870750 HAS SOUS 186529 HAS SOUPS 185642 WITH SCORE 186763.33
AT ITER 5177 NEW BEST:: SOT 1648108 SOS 1121276 HAS SOPS 870647 HAS SOUS 186477 HAS SOUPS 185590 WITH SCORE 186711.276
AT ITER 5183 NEW BEST:: SOT 1648143 SOS 1121228 HAS SOPS 870599 HAS SOUS 186270 HAS SOUPS 185383 WITH SCORE 186504.228
AT ITER 5197 NEW BEST:: SOT 1648143 SOS 1121136 HAS SOPS 870507 HAS SOUS 186270 HAS SOUPS 185383 WITH SCORE 186504.136
AT ITER 5241 NEW BEST:: SOT 1654639 SOS 1123013 HAS SOPS 860471 HAS SOUS 184923 HAS SOUPS 184036 WITH SCORE 185159.013
AT ITER 5242 NEW BEST:: SOT 1662255 SOS 1130629 HAS SOPS 867927 HAS SOUS 184829 HAS SOUPS 183942 WITH SCORE 185072.629
AT ITER 5269 NEW BEST:: SOT 1662581 SOS 1130403 HAS SOPS 867449 HAS SOUS 184177 HAS SOUPS 183290 WITH SCORE 184420.403
AT ITER 5303 NEW BEST:: SOT 1662666 SOS 1130470 HAS SOPS 867431 HAS SOUS 184159 HAS SOUPS 183272 WITH SCORE 184402.47
AT ITER 5322 NEW BEST:: SOT 1662403 SOS 1130207 HAS SOPS 867357 HAS SOUS 184122 HAS SOUPS 183235 WITH SCORE 184365.207
AT ITER 5350 NEW BEST:: SOT 1662403 SOS 1130226 HAS SOPS 867376 HAS SOUS 184119 HAS SOUPS 183232 WITH SCORE 184362.226
AT ITER 5439 NEW BEST:: SOT 1662403 SOS 1130075 HAS SOPS 867225 HAS SOUS 184042 HAS SOUPS 183155 WITH SCORE 184285.075
AT ITER 5492 NEW BEST:: SOT 1655913 SOS 1123585 HAS SOPS 861275 HAS SOUS 184042 HAS SOUPS 183155 WITH SCORE 184278.585
AT ITER 5509 NEW BEST:: SOT 1661048 SOS 1123012 HAS SOPS 850421 HAS SOUS 182493 HAS SOUPS 181606 WITH SCORE 182729.012
AT ITER 5581 NEW BEST:: SOT 1663654 SOS 1125618 HAS SOPS 851997 HAS SOUS 182392 HAS SOUPS 181505 WITH SCORE 182630.618
AT ITER 5596 NEW BEST:: SOT 1659295 SOS 1121259 HAS SOPS 852586 HAS SOUS 182392 HAS SOUPS 181505 WITH SCORE 182626.259
AT ITER 5658 NEW BEST:: SOT 1666165 SOS 1128129 HAS SOPS 859306 HAS SOUS 182303 HAS SOUPS 181416 WITH SCORE 182544.129
AT ITER 5673 NEW BEST:: SOT 1666047 SOS 1128178 HAS SOPS 859354 HAS SOUS 181814 HAS SOUPS 180927 WITH SCORE 182055.178
AT ITER 5680 NEW BEST:: SOT 1672941 SOS 1135072 HAS SOPS 865474 HAS SOUS 181601 HAS SOUPS 180714 WITH SCORE 181849.072
AT ITER 5683 NEW BEST:: SOT 1673037 SOS 1135168 HAS SOPS 865570 HAS SOUS 181487 HAS SOUPS 180600 WITH SCORE 181735.168
AT ITER 5684 NEW BEST:: SOT 1673382 SOS 1134690 HAS SOPS 865092 HAS SOUS 181295 HAS SOUPS 180408 WITH SCORE 181542.69
AT ITER 5731 NEW BEST:: SOT 1673472 SOS 1121374 HAS SOPS 851456 HAS SOUS 178218 HAS SOUPS 177331 WITH SCORE 178452.374
AT ITER 5734 NEW BEST:: SOT 1673734 SOS 1121233 HAS SOPS 851315 HAS SOUS 178026 HAS SOUPS 177139 WITH SCORE 178260.233
AT ITER 5740 NEW BEST:: SOT 1675313 SOS 1110937 HAS SOPS 837702 HAS SOUS 176778 HAS SOUPS 175891 WITH SCORE 177001.937
AT ITER 5840 NEW BEST:: SOT 1675328 SOS 1110728 HAS SOPS 837493 HAS SOUS 176621 HAS SOUPS 175734 WITH SCORE 176844.728
AT ITER 5898 NEW BEST:: SOT 1671081 SOS 1106481 HAS SOPS 841299 HAS SOUS 176621 HAS SOUPS 175734 WITH SCORE 176840.481
AT ITER 5971 NEW BEST:: SOT 1683938 SOS 1119338 HAS SOPS 848365 HAS SOUS 176103 HAS SOUPS 175216 WITH SCORE 176335.338
AT ITER 6000 NEW BEST:: SOT 1698724 SOS 1123745 HAS SOPS 843006 HAS SOUS 174441 HAS SOUPS 173554 WITH SCORE 174677.745
AT ITER 6014 NEW BEST:: SOT 1694029 SOS 1119050 HAS SOPS 841238 HAS SOUS 174441 HAS SOUPS 173554 WITH SCORE 174673.05
AT ITER 6109 NEW BEST:: SOT 1718004 SOS 1143025 HAS SOPS 858300 HAS SOUS 173690 HAS SOUPS 172803 WITH SCORE 173946.025
AT ITER 6120 NEW BEST:: SOT 1718004 SOS 1142973 HAS SOPS 858248 HAS SOUS 173231 HAS SOUPS 172344 WITH SCORE 173486.973
AT ITER 6164 NEW BEST:: SOT 1718004 SOS 1142724 HAS SOPS 857999 HAS SOUS 172683 HAS SOUPS 171796 WITH SCORE 172938.724
AT ITER 6246 NEW BEST:: SOT 1718074 SOS 1142558 HAS SOPS 857833 HAS SOUS 171501 HAS SOUPS 170614 WITH SCORE 171756.558
AT ITER 6313 NEW BEST:: SOT 1722520 SOS 1147004 HAS SOPS 862009 HAS SOUS 171370 HAS SOUPS 170483 WITH SCORE 171630.004
AT ITER 6345 NEW BEST:: SOT 1721680 SOS 1146164 HAS SOPS 863199 HAS SOUS 171370 HAS SOUPS 170483 WITH SCORE 171629.164
AT ITER 6420 NEW BEST:: SOT 1721680 SOS 1145457 HAS SOPS 862492 HAS SOUS 171280 HAS SOUPS 170393 WITH SCORE 171538.457
AT ITER 6458 NEW BEST:: SOT 1716834 SOS 1140611 HAS SOPS 864198 HAS SOUS 171280 HAS SOUPS 170393 WITH SCORE 171533.611
AT ITER 6477 NEW BEST:: SOT 1716834 SOS 1127767 HAS SOPS 851354 HAS SOUS 170138 HAS SOUPS 169251 WITH SCORE 170378.767
AT ITER 6556 NEW BEST:: SOT 1716877 SOS 1127810 HAS SOPS 851397 HAS SOUS 170046 HAS SOUPS 169159 WITH SCORE 170286.81
AT ITER 6703 NEW BEST:: SOT 1717126 SOS 1128059 HAS SOPS 851646 HAS SOUS 169868 HAS SOUPS 168981 WITH SCORE 170109.059
AT ITER 6706 NEW BEST:: SOT 1713807 SOS 1124740 HAS SOPS 855381 HAS SOUS 169868 HAS SOUPS 168981 WITH SCORE 170105.74
AT ITER 6776 NEW BEST:: SOT 1713807 SOS 1124673 HAS SOPS 855314 HAS SOUS 169771 HAS SOUPS 168884 WITH SCORE 170008.673
AT ITER 6789 NEW BEST:: SOT 1714282 SOS 1124906 HAS SOPS 855547 HAS SOUS 169554 HAS SOUPS 168667 WITH SCORE 169791.906
AT ITER 6923 NEW BEST:: SOT 1708715 SOS 1119339 HAS SOPS 854847 HAS SOUS 169554 HAS SOUPS 168667 WITH SCORE 169786.339
AT ITER 6997 NEW BEST:: SOT 1735594 SOS 1145805 HAS SOPS 871760 HAS SOUS 168599 HAS SOUPS 167712 WITH SCORE 168857.805
AT ITER 7085 NEW BEST:: SOT 1735696 SOS 1145438 HAS SOPS 871393 HAS SOUS 168586 HAS SOUPS 167699 WITH SCORE 168844.438
AT ITER 7124 NEW BEST:: SOT 1738978 SOS 1148720 HAS SOPS 874465 HAS SOUS 168489 HAS SOUPS 167602 WITH SCORE 168750.72
AT ITER 7137 NEW BEST:: SOT 1739326 SOS 1149049 HAS SOPS 874446 HAS SOUS 168470 HAS SOUPS 167583 WITH SCORE 168732.049
AT ITER 7201 NEW BEST:: SOT 1739281 SOS 1149004 HAS SOPS 874401 HAS SOUS 168425 HAS SOUPS 167538 WITH SCORE 168687.004
AT ITER 7222 NEW BEST:: SOT 1744608 SOS 1142898 HAS SOPS 861310 HAS SOUS 167010 HAS SOUPS 166123 WITH SCORE 167265.898
AT ITER 7408 NEW BEST:: SOT 1744678 SOS 1142968 HAS SOPS 861380 HAS SOUS 166761 HAS SOUPS 165874 WITH SCORE 167016.968
AT ITER 7420 NEW BEST:: SOT 1744740 SOS 1142910 HAS SOPS 861322 HAS SOUS 166423 HAS SOUPS 165536 WITH SCORE 166678.91
AT ITER 7438 NEW BEST:: SOT 1740875 SOS 1139045 HAS SOPS 866015 HAS SOUS 166423 HAS SOUPS 165536 WITH SCORE 166675.045
AT ITER 7439 NEW BEST:: SOT 1740875 SOS 1139045 HAS SOPS 866015 HAS SOUS 166324 HAS SOUPS 165437 WITH SCORE 166576.045
AT ITER 7450 NEW BEST:: SOT 1741293 SOS 1139122 HAS SOPS 866075 HAS SOUS 165724 HAS SOUPS 164837 WITH SCORE 165976.122
AT ITER 7468 NEW BEST:: SOT 1740997 SOS 1138859 HAS SOPS 865861 HAS SOUS 165497 HAS SOUPS 164610 WITH SCORE 165748.859
AT ITER 7492 NEW BEST:: SOT 1741178 SOS 1139040 HAS SOPS 866042 HAS SOUS 165402 HAS SOUPS 164515 WITH SCORE 165654.04
AT ITER 7495 NEW BEST:: SOT 1745342 SOS 1141980 HAS SOPS 856828 HAS SOUS 165232 HAS SOUPS 164345 WITH SCORE 165486.98
AT ITER 7514 NEW BEST:: SOT 1745985 SOS 1142615 HAS SOPS 857463 HAS SOUS 165209 HAS SOUPS 164322 WITH SCORE 165464.615
AT ITER 7625 NEW BEST:: SOT 1745985 SOS 1142608 HAS SOPS 857456 HAS SOUS 165186 HAS SOUPS 164299 WITH SCORE 165441.608
AT ITER 7690 NEW BEST:: SOT 1742191 SOS 1138814 HAS SOPS 863152 HAS SOUS 165186 HAS SOUPS 164299 WITH SCORE 165437.814
AT ITER 7718 NEW BEST:: SOT 1756599 SOS 1153222 HAS SOPS 877172 HAS SOUS 165089 HAS SOUPS 164202 WITH SCORE 165355.222
AT ITER 7720 NEW BEST:: SOT 1756970 SOS 1152940 HAS SOPS 876889 HAS SOUS 164911 HAS SOUPS 164024 WITH SCORE 165176.94
AT ITER 7744 NEW BEST:: SOT 1756970 SOS 1152933 HAS SOPS 876882 HAS SOUS 164897 HAS SOUPS 164010 WITH SCORE 165162.933
AT ITER 7779 NEW BEST:: SOT 1755425 SOS 1151388 HAS SOPS 879245 HAS SOUS 164897 HAS SOUPS 164010 WITH SCORE 165161.388
AT ITER 7782 NEW BEST:: SOT 1755425 SOS 1142768 HAS SOPS 870625 HAS SOUS 164508 HAS SOUPS 163621 WITH SCORE 164763.768
AT ITER 7786 NEW BEST:: SOT 1760902 SOS 1142643 HAS SOPS 856233 HAS SOUS 163564 HAS SOUPS 162677 WITH SCORE 163819.643
AT ITER 7813 NEW BEST:: SOT 1761076 SOS 1142685 HAS SOPS 856275 HAS SOUS 163510 HAS SOUPS 162623 WITH SCORE 163765.685
AT ITER 7821 NEW BEST:: SOT 1761076 SOS 1142654 HAS SOPS 856244 HAS SOUS 163373 HAS SOUPS 162486 WITH SCORE 163628.654
AT ITER 7856 NEW BEST:: SOT 1761447 SOS 1143025 HAS SOPS 856615 HAS SOUS 163360 HAS SOUPS 162473 WITH SCORE 163616.025
AT ITER 7895 NEW BEST:: SOT 1761463 SOS 1143147 HAS SOPS 856737 HAS SOUS 162662 HAS SOUPS 161775 WITH SCORE 162918.147
AT ITER 7936 NEW BEST:: SOT 1761427 SOS 1143111 HAS SOPS 856701 HAS SOUS 162626 HAS SOUPS 161739 WITH SCORE 162882.111
AT ITER 7962 NEW BEST:: SOT 1761427 SOS 1143111 HAS SOPS 856701 HAS SOUS 162623 HAS SOUPS 161736 WITH SCORE 162879.111
AT ITER 7996 NEW BEST:: SOT 1760422 SOS 1142106 HAS SOPS 857438 HAS SOUS 162623 HAS SOUPS 161736 WITH SCORE 162878.106
AT ITER 8079 NEW BEST:: SOT 1759414 SOS 1141098 HAS SOPS 856430 HAS SOUS 162623 HAS SOUPS 161736 WITH SCORE 162877.098
AT ITER 8240 NEW BEST:: SOT 1760400 SOS 1141908 HAS SOPS 857240 HAS SOUS 162455 HAS SOUPS 161568 WITH SCORE 162709.908
AT ITER 8278 NEW BEST:: SOT 1760400 SOS 1141848 HAS SOPS 857180 HAS SOUS 162443 HAS SOUPS 161556 WITH SCORE 162697.848
AT ITER 8347 NEW BEST:: SOT 1760400 SOS 1140872 HAS SOPS 856204 HAS SOUS 162104 HAS SOUPS 161217 WITH SCORE 162357.872
AT ITER 8352 NEW BEST:: SOT 1760400 SOS 1139401 HAS SOPS 854733 HAS SOUS 161657 HAS SOUPS 160770 WITH SCORE 161909.401
AT ITER 8416 NEW BEST:: SOT 1760262 SOS 1139263 HAS SOPS 854595 HAS SOUS 161519 HAS SOUPS 160632 WITH SCORE 161771.263
AT ITER 8519 NEW BEST:: SOT 1760732 SOS 1139521 HAS SOPS 854853 HAS SOUS 161380 HAS SOUPS 160493 WITH SCORE 161632.521
AT ITER 8547 NEW BEST:: SOT 1760732 SOS 1139278 HAS SOPS 854610 HAS SOUS 161312 HAS SOUPS 160425 WITH SCORE 161564.278
AT ITER 8579 NEW BEST:: SOT 1718510 SOS 1511809 HAS SOPS 824209 HAS SOUS 119817 HAS SOUPS 118631 WITH SCORE 120142.809
AT ITER 8698 NEW BEST:: SOT 1718414 SOS 1511713 HAS SOPS 824242 HAS SOUS 119721 HAS SOUPS 118535 WITH SCORE 120046.713
AT ITER 8706 NEW BEST:: SOT 1721775 SOS 1515074 HAS SOPS 821354 HAS SOUS 119589 HAS SOUPS 118403 WITH SCORE 119918.074
AT ITER 8749 NEW BEST:: SOT 1721717 SOS 1515016 HAS SOPS 821296 HAS SOUS 119417 HAS SOUPS 118231 WITH SCORE 119746.016
AT ITER 8818 NEW BEST:: SOT 1721717 SOS 1515016 HAS SOPS 821244 HAS SOUS 119313 HAS SOUPS 118127 WITH SCORE 119642.016
AT ITER 8863 NEW BEST:: SOT 1724087 SOS 1517386 HAS SOPS 814144 HAS SOUS 118808 HAS SOUPS 117622 WITH SCORE 119139.386
AT ITER 8879 NEW BEST:: SOT 1734669 SOS 1526008 HAS SOPS 803144 HAS SOUS 117857 HAS SOUPS 116671 WITH SCORE 118197.008
AT ITER 9047 NEW BEST:: SOT 1735003 SOS 1526342 HAS SOPS 803451 HAS SOUS 117855 HAS SOUPS 116669 WITH SCORE 118195.342
AT ITER 9050 NEW BEST:: SOT 1731193 SOS 1522532 HAS SOPS 809033 HAS SOUS 117855 HAS SOUPS 116669 WITH SCORE 118191.532
AT ITER 9118 NEW BEST:: SOT 1731906 SOS 1523245 HAS SOPS 809746 HAS SOUS 117651 HAS SOUPS 116465 WITH SCORE 117988.245
AT ITER 9130 NEW BEST:: SOT 1731370 SOS 1522709 HAS SOPS 809210 HAS SOUS 117384 HAS SOUPS 116198 WITH SCORE 117720.709
AT ITER 9135 NEW BEST:: SOT 1731235 SOS 1522574 HAS SOPS 809075 HAS SOUS 117249 HAS SOUPS 116063 WITH SCORE 117585.574
AT ITER 9245 NEW BEST:: SOT 1731012 SOS 1522351 HAS SOPS 808857 HAS SOUS 117140 HAS SOUPS 115954 WITH SCORE 117476.351
AT ITER 9253 NEW BEST:: SOT 1732508 SOS 1523847 HAS SOPS 810265 HAS SOUS 117096 HAS SOUPS 115910 WITH SCORE 117433.847
AT ITER 9266 NEW BEST:: SOT 1732503 SOS 1523842 HAS SOPS 810272 HAS SOUS 117072 HAS SOUPS 115886 WITH SCORE 117409.842
AT ITER 9386 NEW BEST:: SOT 1727499 SOS 1518838 HAS SOPS 805268 HAS SOUS 117072 HAS SOUPS 115886 WITH SCORE 117404.838
AT ITER 9473 NEW BEST:: SOT 1734331 SOS 1525670 HAS SOPS 796337 HAS SOUS 116974 HAS SOUPS 115788 WITH SCORE 117313.67
AT ITER 9500 NEW BEST:: SOT 1732263 SOS 1523602 HAS SOPS 800811 HAS SOUS 116974 HAS SOUPS 115788 WITH SCORE 117311.602
AT ITER 9508 NEW BEST:: SOT 1731615 SOS 1523388 HAS SOPS 801220 HAS SOUS 116845 HAS SOUPS 115659 WITH SCORE 117182.388
AT ITER 9571 NEW BEST:: SOT 1731608 SOS 1523381 HAS SOPS 801213 HAS SOUS 116831 HAS SOUPS 115645 WITH SCORE 117168.381
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 12537628 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16154324 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="SieveSingleMsgMbox-PT-d2m36"
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 SieveSingleMsgMbox-PT-d2m36, 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 r419-tajo-167905973800480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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