About the Execution of Smart for SieveSingleMsgMbox-PT-d2m06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1633.844 | 3600000.00 | 3600050.00 | 10.10 | [undef] | Time out reached |
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-167905973800464.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-d2m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973800464
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.8K Feb 26 10:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 10:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K 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 16K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 26 10:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:33 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 1679092249968
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-d2m06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m06
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 101 NEW BEST:: SOT 802664 SOS 718881 HAS SOPS 718881 HAS SOUS 632263 HAS SOUPS 632263 WITH SCORE 632981.881
AT ITER 108 NEW BEST:: SOT 802664 SOS 719072 HAS SOPS 719072 HAS SOUS 631778 HAS SOUPS 631778 WITH SCORE 632497.072
AT ITER 119 NEW BEST:: SOT 802775 SOS 718511 HAS SOPS 718511 HAS SOUS 631617 HAS SOUPS 631617 WITH SCORE 632335.511
AT ITER 180 NEW BEST:: SOT 802775 SOS 717841 HAS SOPS 717841 HAS SOUS 629937 HAS SOUPS 629937 WITH SCORE 630654.841
AT ITER 223 NEW BEST:: SOT 802775 SOS 716794 HAS SOPS 716794 HAS SOUS 629359 HAS SOUPS 629359 WITH SCORE 630075.794
AT ITER 231 NEW BEST:: SOT 802958 SOS 716554 HAS SOPS 716554 HAS SOUS 629313 HAS SOUPS 629313 WITH SCORE 630029.554
AT ITER 277 NEW BEST:: SOT 802958 SOS 716579 HAS SOPS 716579 HAS SOUS 624185 HAS SOUPS 624185 WITH SCORE 624901.579
AT ITER 302 NEW BEST:: SOT 808411 SOS 719879 HAS SOPS 719879 HAS SOUS 620540 HAS SOUPS 620540 WITH SCORE 621259.879
AT ITER 408 NEW BEST:: SOT 809108 SOS 718669 HAS SOPS 718669 HAS SOUS 606276 HAS SOUPS 606276 WITH SCORE 606994.669
AT ITER 470 NEW BEST:: SOT 826738 SOS 734679 HAS SOPS 734679 HAS SOUS 604313 HAS SOUPS 604313 WITH SCORE 605047.679
AT ITER 486 NEW BEST:: SOT 850641 SOS 757126 HAS SOPS 757126 HAS SOUS 596737 HAS SOUPS 596737 WITH SCORE 597494.126
AT ITER 522 NEW BEST:: SOT 879587 SOS 784124 HAS SOPS 784124 HAS SOUS 588061 HAS SOUPS 588061 WITH SCORE 588845.124
AT ITER 538 NEW BEST:: SOT 879587 SOS 782092 HAS SOPS 782092 HAS SOUS 577377 HAS SOUPS 577377 WITH SCORE 578159.092
AT ITER 543 NEW BEST:: SOT 879587 SOS 780458 HAS SOPS 780458 HAS SOUS 570772 HAS SOUPS 570772 WITH SCORE 571552.458
AT ITER 600 NEW BEST:: SOT 879587 SOS 779935 HAS SOPS 779935 HAS SOUS 569620 HAS SOUPS 569620 WITH SCORE 570399.935
AT ITER 632 NEW BEST:: SOT 913043 SOS 811565 HAS SOPS 811565 HAS SOUS 560818 HAS SOUPS 560818 WITH SCORE 561629.565
AT ITER 667 NEW BEST:: SOT 913043 SOS 809000 HAS SOPS 809000 HAS SOUS 554840 HAS SOUPS 554840 WITH SCORE 555649.0
AT ITER 701 NEW BEST:: SOT 913043 SOS 808871 HAS SOPS 808871 HAS SOUS 554759 HAS SOUPS 554759 WITH SCORE 555567.871
AT ITER 705 NEW BEST:: SOT 915462 SOS 809218 HAS SOPS 809218 HAS SOUS 540810 HAS SOUPS 540810 WITH SCORE 541619.218
AT ITER 719 NEW BEST:: SOT 915462 SOS 807865 HAS SOPS 807865 HAS SOUS 536996 HAS SOUPS 536996 WITH SCORE 537803.865
AT ITER 733 NEW BEST:: SOT 915623 SOS 807542 HAS SOPS 807542 HAS SOUS 536994 HAS SOUPS 536994 WITH SCORE 537801.542
AT ITER 755 NEW BEST:: SOT 934524 SOS 824303 HAS SOPS 824303 HAS SOUS 523595 HAS SOUPS 523595 WITH SCORE 524419.303
AT ITER 765 NEW BEST:: SOT 934524 SOS 821644 HAS SOPS 821644 HAS SOUS 511538 HAS SOUPS 511538 WITH SCORE 512359.644
AT ITER 779 NEW BEST:: SOT 914557 SOS 801677 HAS SOPS 801677 HAS SOUS 506651 HAS SOUPS 506651 WITH SCORE 507452.677
AT ITER 818 NEW BEST:: SOT 922265 SOS 806917 HAS SOPS 806917 HAS SOUS 492948 HAS SOUPS 492948 WITH SCORE 493754.917
AT ITER 825 NEW BEST:: SOT 928972 SOS 809296 HAS SOPS 807789 HAS SOUS 491495 HAS SOUPS 491273 WITH SCORE 492082.296
AT ITER 830 NEW BEST:: SOT 935820 SOS 810775 HAS SOPS 807836 HAS SOUS 482880 HAS SOUPS 482658 WITH SCORE 483468.775
AT ITER 899 NEW BEST:: SOT 956711 SOS 828181 HAS SOPS 824813 HAS SOUS 470072 HAS SOUPS 469850 WITH SCORE 470678.181
AT ITER 960 NEW BEST:: SOT 956802 SOS 828272 HAS SOPS 824904 HAS SOUS 470026 HAS SOUPS 469804 WITH SCORE 470632.272
AT ITER 1046 NEW BEST:: SOT 956802 SOS 826489 HAS SOPS 823121 HAS SOUS 465962 HAS SOUPS 465740 WITH SCORE 466566.489
AT ITER 1076 NEW BEST:: SOT 966139 SOS 830920 HAS SOPS 825271 HAS SOUS 459878 HAS SOUPS 459564 WITH SCORE 460394.92
AT ITER 1108 NEW BEST:: SOT 966139 SOS 828010 HAS SOPS 822361 HAS SOUS 455519 HAS SOUPS 455205 WITH SCORE 456033.01
AT ITER 1208 NEW BEST:: SOT 966139 SOS 824394 HAS SOPS 818745 HAS SOUS 449727 HAS SOUPS 449413 WITH SCORE 450237.394
AT ITER 1255 NEW BEST:: SOT 966139 SOS 824322 HAS SOPS 818673 HAS SOUS 449655 HAS SOUPS 449341 WITH SCORE 450165.322
AT ITER 1262 NEW BEST:: SOT 966139 SOS 820414 HAS SOPS 814765 HAS SOUS 443233 HAS SOUPS 442919 WITH SCORE 443739.414
AT ITER 1361 NEW BEST:: SOT 976190 SOS 825513 HAS SOPS 819173 HAS SOUS 431146 HAS SOUPS 430832 WITH SCORE 431657.513
AT ITER 1382 NEW BEST:: SOT 980601 SOS 825133 HAS SOPS 817264 HAS SOUS 423118 HAS SOUPS 422804 WITH SCORE 423629.133
AT ITER 1394 NEW BEST:: SOT 980601 SOS 824617 HAS SOPS 816748 HAS SOUS 423033 HAS SOUPS 422719 WITH SCORE 423543.617
AT ITER 1396 NEW BEST:: SOT 990727 SOS 829819 HAS SOPS 821088 HAS SOUS 411445 HAS SOUPS 411131 WITH SCORE 411960.819
AT ITER 1430 NEW BEST:: SOT 1004456 SOS 843412 HAS SOPS 833773 HAS SOUS 410230 HAS SOUPS 409916 WITH SCORE 410759.412
AT ITER 1505 NEW BEST:: SOT 1004456 SOS 840391 HAS SOPS 830752 HAS SOUS 406386 HAS SOUPS 406072 WITH SCORE 406912.391
AT ITER 1580 NEW BEST:: SOT 1004456 SOS 835318 HAS SOPS 825679 HAS SOUS 395554 HAS SOUPS 395240 WITH SCORE 396075.318
AT ITER 1627 NEW BEST:: SOT 1018226 SOS 843901 HAS SOPS 833354 HAS SOUS 384154 HAS SOUPS 383840 WITH SCORE 384683.901
AT ITER 1679 NEW BEST:: SOT 1010799 SOS 836474 HAS SOPS 825962 HAS SOUS 384007 HAS SOUPS 383693 WITH SCORE 384529.474
AT ITER 1682 NEW BEST:: SOT 1026209 SOS 847313 HAS SOPS 835893 HAS SOUS 372576 HAS SOUPS 372262 WITH SCORE 373109.313
AT ITER 1702 NEW BEST:: SOT 1026209 SOS 842796 HAS SOPS 831376 HAS SOUS 368589 HAS SOUPS 368275 WITH SCORE 369117.796
AT ITER 1747 NEW BEST:: SOT 1037129 SOS 847224 HAS SOPS 831460 HAS SOUS 364892 HAS SOUPS 364468 WITH SCORE 365315.224
AT ITER 1852 NEW BEST:: SOT 1037129 SOS 842606 HAS SOPS 826842 HAS SOUS 360814 HAS SOUPS 360390 WITH SCORE 361232.606
AT ITER 1854 NEW BEST:: SOT 1037129 SOS 840244 HAS SOPS 824480 HAS SOUS 359547 HAS SOUPS 359123 WITH SCORE 359963.244
AT ITER 1864 NEW BEST:: SOT 1037129 SOS 838885 HAS SOPS 823121 HAS SOUS 358333 HAS SOUPS 357909 WITH SCORE 358747.885
AT ITER 1866 NEW BEST:: SOT 1040184 SOS 840757 HAS SOPS 823152 HAS SOUS 356642 HAS SOUPS 356218 WITH SCORE 357058.757
AT ITER 1867 NEW BEST:: SOT 1040184 SOS 834998 HAS SOPS 817393 HAS SOUS 348300 HAS SOUPS 347876 WITH SCORE 348710.998
AT ITER 1914 NEW BEST:: SOT 1040184 SOS 832325 HAS SOPS 814720 HAS SOUS 346272 HAS SOUPS 345848 WITH SCORE 346680.325
AT ITER 1915 NEW BEST:: SOT 1040184 SOS 826283 HAS SOPS 808678 HAS SOUS 340973 HAS SOUPS 340549 WITH SCORE 341375.283
AT ITER 1925 NEW BEST:: SOT 1040184 SOS 821595 HAS SOPS 803990 HAS SOUS 334673 HAS SOUPS 334249 WITH SCORE 335070.595
AT ITER 1980 NEW BEST:: SOT 1045043 SOS 817890 HAS SOPS 797904 HAS SOUS 328858 HAS SOUPS 328434 WITH SCORE 329251.89
AT ITER 2042 NEW BEST:: SOT 1045043 SOS 817791 HAS SOPS 797805 HAS SOUS 328855 HAS SOUPS 328431 WITH SCORE 329248.791
AT ITER 2053 NEW BEST:: SOT 1045043 SOS 817761 HAS SOPS 797775 HAS SOUS 328723 HAS SOUPS 328299 WITH SCORE 329116.761
AT ITER 2073 NEW BEST:: SOT 1045043 SOS 817733 HAS SOPS 797747 HAS SOUS 328695 HAS SOUPS 328271 WITH SCORE 329088.733
AT ITER 2081 NEW BEST:: SOT 1071479 SOS 843470 HAS SOPS 821835 HAS SOUS 326293 HAS SOUPS 325869 WITH SCORE 326712.47
AT ITER 2137 NEW BEST:: SOT 1094799 SOS 859606 HAS SOPS 836322 HAS SOUS 316741 HAS SOUPS 316317 WITH SCORE 317176.606
AT ITER 2140 NEW BEST:: SOT 1094720 SOS 859527 HAS SOPS 836243 HAS SOUS 316607 HAS SOUPS 316183 WITH SCORE 317042.527
AT ITER 2276 NEW BEST:: SOT 1100431 SOS 857808 HAS SOPS 833388 HAS SOUS 306880 HAS SOUPS 306456 WITH SCORE 307313.808
AT ITER 2347 NEW BEST:: SOT 1100431 SOS 850702 HAS SOPS 826282 HAS SOUS 302475 HAS SOUPS 302051 WITH SCORE 302901.702
AT ITER 2363 NEW BEST:: SOT 1127892 SOS 875165 HAS SOPS 849096 HAS SOUS 296365 HAS SOUPS 295941 WITH SCORE 296816.165
AT ITER 2390 NEW BEST:: SOT 1143113 SOS 882089 HAS SOPS 849300 HAS SOUS 296368 HAS SOUPS 295775 WITH SCORE 296657.089
AT ITER 2560 NEW BEST:: SOT 1156276 SOS 887014 HAS SOPS 847815 HAS SOUS 291247 HAS SOUPS 290654 WITH SCORE 291541.014
AT ITER 2581 NEW BEST:: SOT 1156361 SOS 879487 HAS SOPS 840193 HAS SOUS 286422 HAS SOUPS 285829 WITH SCORE 286708.487
AT ITER 2603 NEW BEST:: SOT 1172530 SOS 892767 HAS SOPS 850905 HAS SOUS 281300 HAS SOUPS 280707 WITH SCORE 281599.767
AT ITER 2635 NEW BEST:: SOT 1172216 SOS 892521 HAS SOPS 850659 HAS SOUS 281054 HAS SOUPS 280461 WITH SCORE 281353.521
AT ITER 2645 NEW BEST:: SOT 1172216 SOS 885639 HAS SOPS 843777 HAS SOUS 276351 HAS SOUPS 275758 WITH SCORE 276643.639
AT ITER 2671 NEW BEST:: SOT 1172216 SOS 884791 HAS SOPS 842929 HAS SOUS 276075 HAS SOUPS 275482 WITH SCORE 276366.791
AT ITER 2676 NEW BEST:: SOT 1174827 SOS 882569 HAS SOPS 838101 HAS SOUS 273172 HAS SOUPS 272579 WITH SCORE 273461.569
AT ITER 2805 NEW BEST:: SOT 1174827 SOS 877241 HAS SOPS 832773 HAS SOUS 270910 HAS SOUPS 270317 WITH SCORE 271194.241
AT ITER 2828 NEW BEST:: SOT 1190972 SOS 885005 HAS SOPS 837822 HAS SOUS 263186 HAS SOUPS 262593 WITH SCORE 263478.005
AT ITER 2868 NEW BEST:: SOT 1207670 SOS 893195 HAS SOPS 838086 HAS SOUS 261471 HAS SOUPS 260787 WITH SCORE 261680.195
AT ITER 2889 NEW BEST:: SOT 1228999 SOS 905386 HAS SOPS 842302 HAS SOUS 260908 HAS SOUPS 260198 WITH SCORE 261103.386
AT ITER 2951 NEW BEST:: SOT 1228999 SOS 905350 HAS SOPS 842266 HAS SOUS 260890 HAS SOUPS 260180 WITH SCORE 261085.35
AT ITER 2956 NEW BEST:: SOT 1228999 SOS 902076 HAS SOPS 838992 HAS SOUS 259704 HAS SOUPS 258994 WITH SCORE 259896.076
AT ITER 3005 NEW BEST:: SOT 1229190 SOS 902257 HAS SOPS 838992 HAS SOUS 259699 HAS SOUPS 258989 WITH SCORE 259891.257
AT ITER 3064 NEW BEST:: SOT 1213038 SOS 886105 HAS SOPS 825384 HAS SOUS 259699 HAS SOUPS 258989 WITH SCORE 259875.105
AT ITER 3081 NEW BEST:: SOT 1237517 SOS 901469 HAS SOPS 836445 HAS SOUS 252947 HAS SOUPS 252237 WITH SCORE 253138.469
AT ITER 3087 NEW BEST:: SOT 1237517 SOS 899552 HAS SOPS 834528 HAS SOUS 252457 HAS SOUPS 251747 WITH SCORE 252646.552
AT ITER 3167 NEW BEST:: SOT 1237517 SOS 898737 HAS SOPS 833713 HAS SOUS 252150 HAS SOUPS 251440 WITH SCORE 252338.737
AT ITER 3212 NEW BEST:: SOT 1253714 SOS 909440 HAS SOPS 836378 HAS SOUS 249547 HAS SOUPS 248837 WITH SCORE 249746.44
AT ITER 3296 NEW BEST:: SOT 1253714 SOS 909410 HAS SOPS 836348 HAS SOUS 249547 HAS SOUPS 248837 WITH SCORE 249746.41
AT ITER 3333 NEW BEST:: SOT 1256983 SOS 903718 HAS SOPS 826797 HAS SOUS 245545 HAS SOUPS 244835 WITH SCORE 245738.718
AT ITER 3405 NEW BEST:: SOT 1256983 SOS 903688 HAS SOPS 826767 HAS SOUS 245536 HAS SOUPS 244826 WITH SCORE 245729.688
AT ITER 3411 NEW BEST:: SOT 1256983 SOS 903681 HAS SOPS 826760 HAS SOUS 245529 HAS SOUPS 244819 WITH SCORE 245722.681
AT ITER 3475 NEW BEST:: SOT 1264704 SOS 900862 HAS SOPS 820838 HAS SOUS 239110 HAS SOUPS 238400 WITH SCORE 239300.862
AT ITER 3483 NEW BEST:: SOT 1279406 SOS 913187 HAS SOPS 824933 HAS SOUS 237261 HAS SOUPS 236551 WITH SCORE 237464.187
AT ITER 3486 NEW BEST:: SOT 1279406 SOS 913152 HAS SOPS 824898 HAS SOUS 237226 HAS SOUPS 236516 WITH SCORE 237429.152
AT ITER 3493 NEW BEST:: SOT 1279406 SOS 913122 HAS SOPS 824868 HAS SOUS 237195 HAS SOUPS 236485 WITH SCORE 237398.122
AT ITER 3511 NEW BEST:: SOT 1279406 SOS 904004 HAS SOPS 815750 HAS SOUS 234274 HAS SOUPS 233564 WITH SCORE 234468.004
AT ITER 3562 NEW BEST:: SOT 1287384 SOS 911982 HAS SOPS 819646 HAS SOUS 233939 HAS SOUPS 233229 WITH SCORE 234140.982
AT ITER 3573 NEW BEST:: SOT 1287395 SOS 911993 HAS SOPS 819657 HAS SOUS 233932 HAS SOUPS 233222 WITH SCORE 234133.993
AT ITER 3588 NEW BEST:: SOT 1298142 SOS 914043 HAS SOPS 814094 HAS SOUS 230131 HAS SOUPS 229421 WITH SCORE 230335.043
AT ITER 3614 NEW BEST:: SOT 1298213 SOS 912160 HAS SOPS 812160 HAS SOUS 228184 HAS SOUPS 227474 WITH SCORE 228386.16
AT ITER 3626 NEW BEST:: SOT 1302841 SOS 907179 HAS SOPS 801799 HAS SOUS 224491 HAS SOUPS 223781 WITH SCORE 224688.179
AT ITER 3660 NEW BEST:: SOT 1302841 SOS 907123 HAS SOPS 801743 HAS SOUS 224475 HAS SOUPS 223765 WITH SCORE 224672.123
AT ITER 3664 NEW BEST:: SOT 1302920 SOS 907202 HAS SOPS 801822 HAS SOUS 224459 HAS SOUPS 223749 WITH SCORE 224656.202
AT ITER 3675 NEW BEST:: SOT 1297393 SOS 901675 HAS SOPS 796754 HAS SOUS 224299 HAS SOUPS 223593 WITH SCORE 224494.675
AT ITER 3705 NEW BEST:: SOT 1297393 SOS 901675 HAS SOPS 796754 HAS SOUS 224253 HAS SOUPS 223547 WITH SCORE 224448.675
AT ITER 3718 NEW BEST:: SOT 1297905 SOS 901902 HAS SOPS 796965 HAS SOUS 224219 HAS SOUPS 223513 WITH SCORE 224414.902
AT ITER 3719 NEW BEST:: SOT 1318759 SOS 913263 HAS SOPS 799984 HAS SOUS 220814 HAS SOUPS 220108 WITH SCORE 221021.263
AT ITER 3749 NEW BEST:: SOT 1318759 SOS 913130 HAS SOPS 799851 HAS SOUS 220728 HAS SOUPS 220022 WITH SCORE 220935.13
AT ITER 3796 NEW BEST:: SOT 1318766 SOS 913137 HAS SOPS 799858 HAS SOUS 220700 HAS SOUPS 219994 WITH SCORE 220907.137
AT ITER 3859 NEW BEST:: SOT 1325705 SOS 910409 HAS SOPS 790569 HAS SOUS 216894 HAS SOUPS 216188 WITH SCORE 217098.409
AT ITER 3865 NEW BEST:: SOT 1343376 SOS 919420 HAS SOPS 791872 HAS SOUS 212740 HAS SOUPS 212034 WITH SCORE 212953.42
AT ITER 3876 NEW BEST:: SOT 1343376 SOS 919420 HAS SOPS 791872 HAS SOUS 212728 HAS SOUPS 212022 WITH SCORE 212941.42
AT ITER 3895 NEW BEST:: SOT 1360911 SOS 926952 HAS SOPS 790443 HAS SOUS 208890 HAS SOUPS 208184 WITH SCORE 209110.952
AT ITER 3926 NEW BEST:: SOT 1357250 SOS 923291 HAS SOPS 788492 HAS SOUS 208890 HAS SOUPS 208184 WITH SCORE 209107.291
AT ITER 4019 NEW BEST:: SOT 1357250 SOS 919794 HAS SOPS 784995 HAS SOUS 206970 HAS SOUPS 206264 WITH SCORE 207183.794
AT ITER 4031 NEW BEST:: SOT 1363612 SOS 926072 HAS SOPS 786319 HAS SOUS 206890 HAS SOUPS 206184 WITH SCORE 207110.072
AT ITER 4073 NEW BEST:: SOT 1363612 SOS 925986 HAS SOPS 786233 HAS SOUS 206835 HAS SOUPS 206129 WITH SCORE 207054.986
AT ITER 4121 NEW BEST:: SOT 1366789 SOS 929163 HAS SOPS 788339 HAS SOUS 206717 HAS SOUPS 206011 WITH SCORE 206940.163
AT ITER 4167 NEW BEST:: SOT 1366029 SOS 928403 HAS SOPS 787885 HAS SOUS 206717 HAS SOUPS 206011 WITH SCORE 206939.403
AT ITER 4179 NEW BEST:: SOT 1366172 SOS 928546 HAS SOPS 788028 HAS SOUS 206625 HAS SOUPS 205919 WITH SCORE 206847.546
AT ITER 4302 NEW BEST:: SOT 1381482 SOS 932139 HAS SOPS 783479 HAS SOUS 202721 HAS SOUPS 202015 WITH SCORE 202947.139
AT ITER 4339 NEW BEST:: SOT 1381482 SOS 932139 HAS SOPS 783479 HAS SOUS 202716 HAS SOUPS 202010 WITH SCORE 202942.139
AT ITER 4371 NEW BEST:: SOT 1381350 SOS 933284 HAS SOPS 784624 HAS SOUS 202571 HAS SOUPS 201865 WITH SCORE 202798.284
AT ITER 4389 NEW BEST:: SOT 1384489 SOS 936423 HAS SOPS 784386 HAS SOUS 202390 HAS SOUPS 201684 WITH SCORE 202620.423
AT ITER 4518 NEW BEST:: SOT 1384681 SOS 936615 HAS SOPS 784578 HAS SOUS 202259 HAS SOUPS 201553 WITH SCORE 202489.615
AT ITER 4644 NEW BEST:: SOT 1401309 SOS 947305 HAS SOPS 785616 HAS SOUS 199980 HAS SOUPS 199274 WITH SCORE 200221.305
AT ITER 4661 NEW BEST:: SOT 1402465 SOS 937962 HAS SOPS 773914 HAS SOUS 197296 HAS SOUPS 196590 WITH SCORE 197527.962
AT ITER 4680 NEW BEST:: SOT 1402465 SOS 937260 HAS SOPS 773212 HAS SOUS 197062 HAS SOUPS 196356 WITH SCORE 197293.26
AT ITER 4839 NEW BEST:: SOT 1402957 SOS 937064 HAS SOPS 773016 HAS SOUS 197018 HAS SOUPS 196312 WITH SCORE 197249.064
AT ITER 4856 NEW BEST:: SOT 1403157 SOS 929766 HAS SOPS 765198 HAS SOUS 195061 HAS SOUPS 194355 WITH SCORE 195284.766
AT ITER 4873 NEW BEST:: SOT 1403157 SOS 929766 HAS SOPS 765198 HAS SOUS 195059 HAS SOUPS 194353 WITH SCORE 195282.766
AT ITER 4883 NEW BEST:: SOT 1403157 SOS 919225 HAS SOPS 754657 HAS SOUS 193209 HAS SOUPS 192503 WITH SCORE 193422.225
AT ITER 4919 NEW BEST:: SOT 1403229 SOS 919297 HAS SOPS 754729 HAS SOUS 193160 HAS SOUPS 192454 WITH SCORE 193373.297
AT ITER 4922 NEW BEST:: SOT 1403229 SOS 919043 HAS SOPS 754475 HAS SOUS 192839 HAS SOUPS 192133 WITH SCORE 193052.043
AT ITER 5068 NEW BEST:: SOT 1396889 SOS 912703 HAS SOPS 752086 HAS SOUS 192839 HAS SOUPS 192133 WITH SCORE 193045.703
AT ITER 5083 NEW BEST:: SOT 1396889 SOS 912598 HAS SOPS 751981 HAS SOUS 192727 HAS SOUPS 192021 WITH SCORE 192933.598
AT ITER 5162 NEW BEST:: SOT 1396889 SOS 912598 HAS SOPS 751981 HAS SOUS 192621 HAS SOUPS 191915 WITH SCORE 192827.598
AT ITER 5166 NEW BEST:: SOT 1396889 SOS 912202 HAS SOPS 751585 HAS SOUS 192467 HAS SOUPS 191761 WITH SCORE 192673.202
AT ITER 5227 NEW BEST:: SOT 1396889 SOS 912070 HAS SOPS 751453 HAS SOUS 192335 HAS SOUPS 191629 WITH SCORE 192541.07
AT ITER 5233 NEW BEST:: SOT 1403276 SOS 913089 HAS SOPS 745354 HAS SOUS 191042 HAS SOUPS 190336 WITH SCORE 191249.089
AT ITER 5244 NEW BEST:: SOT 1403318 SOS 913111 HAS SOPS 745334 HAS SOUS 191022 HAS SOUPS 190316 WITH SCORE 191229.111
AT ITER 5275 NEW BEST:: SOT 1403318 SOS 913075 HAS SOPS 745296 HAS SOUS 190864 HAS SOUPS 190158 WITH SCORE 191071.075
AT ITER 5283 NEW BEST:: SOT 1403318 SOS 908363 HAS SOPS 740584 HAS SOUS 189952 HAS SOUPS 189246 WITH SCORE 190154.363
AT ITER 5286 NEW BEST:: SOT 1403318 SOS 908363 HAS SOPS 740584 HAS SOUS 189850 HAS SOUPS 189144 WITH SCORE 190052.363
AT ITER 5355 NEW BEST:: SOT 1401425 SOS 906470 HAS SOPS 740775 HAS SOUS 189850 HAS SOUPS 189144 WITH SCORE 190050.47
AT ITER 5397 NEW BEST:: SOT 1401973 SOS 906863 HAS SOPS 741152 HAS SOUS 189729 HAS SOUPS 189023 WITH SCORE 189929.863
AT ITER 5404 NEW BEST:: SOT 1406563 SOS 911453 HAS SOPS 743888 HAS SOUS 189550 HAS SOUPS 188844 WITH SCORE 189755.453
AT ITER 5508 NEW BEST:: SOT 1406855 SOS 911656 HAS SOPS 744091 HAS SOUS 189325 HAS SOUPS 188619 WITH SCORE 189530.656
AT ITER 5657 NEW BEST:: SOT 1407099 SOS 906067 HAS SOPS 737882 HAS SOUS 187919 HAS SOUPS 187213 WITH SCORE 188119.067
AT ITER 5664 NEW BEST:: SOT 1404841 SOS 903809 HAS SOPS 735882 HAS SOUS 187919 HAS SOUPS 187213 WITH SCORE 188116.809
AT ITER 5796 NEW BEST:: SOT 1406560 SOS 894948 HAS SOPS 723164 HAS SOUS 185401 HAS SOUPS 184695 WITH SCORE 185589.948
AT ITER 5842 NEW BEST:: SOT 1413160 SOS 901548 HAS SOPS 728732 HAS SOUS 185189 HAS SOUPS 184483 WITH SCORE 185384.548
AT ITER 5899 NEW BEST:: SOT 1411566 SOS 899954 HAS SOPS 727512 HAS SOUS 185189 HAS SOUPS 184483 WITH SCORE 185382.954
AT ITER 5916 NEW BEST:: SOT 1411566 SOS 898176 HAS SOPS 725734 HAS SOUS 185013 HAS SOUPS 184307 WITH SCORE 185205.176
AT ITER 5945 NEW BEST:: SOT 1411566 SOS 898011 HAS SOPS 725569 HAS SOUS 184989 HAS SOUPS 184283 WITH SCORE 185181.011
AT ITER 5978 NEW BEST:: SOT 1411566 SOS 893130 HAS SOPS 720688 HAS SOUS 184952 HAS SOUPS 184246 WITH SCORE 185139.13
AT ITER 5990 NEW BEST:: SOT 1411566 SOS 893130 HAS SOPS 720688 HAS SOUS 184907 HAS SOUPS 184201 WITH SCORE 185094.13
AT ITER 6017 NEW BEST:: SOT 1411753 SOS 893317 HAS SOPS 720875 HAS SOUS 184723 HAS SOUPS 184017 WITH SCORE 184910.317
AT ITER 6046 NEW BEST:: SOT 1411753 SOS 893316 HAS SOPS 720874 HAS SOUS 184723 HAS SOUPS 184017 WITH SCORE 184910.316
AT ITER 6063 NEW BEST:: SOT 1420393 SOS 900219 HAS SOPS 719935 HAS SOUS 184000 HAS SOUPS 183294 WITH SCORE 184194.219
AT ITER 6098 NEW BEST:: SOT 1420393 SOS 900219 HAS SOPS 719935 HAS SOUS 183999 HAS SOUPS 183293 WITH SCORE 184193.219
AT ITER 6113 NEW BEST:: SOT 1420393 SOS 900270 HAS SOPS 719986 HAS SOUS 183969 HAS SOUPS 183263 WITH SCORE 184163.27
AT ITER 6114 NEW BEST:: SOT 1429722 SOS 909599 HAS SOPS 726080 HAS SOUS 183620 HAS SOUPS 182914 WITH SCORE 183823.599
AT ITER 6131 NEW BEST:: SOT 1430750 SOS 910417 HAS SOPS 726898 HAS SOUS 183556 HAS SOUPS 182850 WITH SCORE 183760.417
AT ITER 6172 NEW BEST:: SOT 1430750 SOS 910354 HAS SOPS 726835 HAS SOUS 183397 HAS SOUPS 182691 WITH SCORE 183601.354
AT ITER 6222 NEW BEST:: SOT 1430750 SOS 903087 HAS SOPS 719568 HAS SOUS 182448 HAS SOUPS 181742 WITH SCORE 182645.087
AT ITER 6254 NEW BEST:: SOT 1430858 SOS 903195 HAS SOPS 719676 HAS SOUS 181788 HAS SOUPS 181082 WITH SCORE 181985.195
AT ITER 6297 NEW BEST:: SOT 1430858 SOS 903195 HAS SOPS 719676 HAS SOUS 181733 HAS SOUPS 181027 WITH SCORE 181930.195
AT ITER 6312 NEW BEST:: SOT 1431080 SOS 903417 HAS SOPS 719898 HAS SOUS 181615 HAS SOUPS 180909 WITH SCORE 181812.417
AT ITER 6313 NEW BEST:: SOT 1439679 SOS 909544 HAS SOPS 717488 HAS SOUS 180503 HAS SOUPS 179797 WITH SCORE 180706.544
AT ITER 6392 NEW BEST:: SOT 1439679 SOS 909011 HAS SOPS 716955 HAS SOUS 180503 HAS SOUPS 179797 WITH SCORE 180706.011
AT ITER 6397 NEW BEST:: SOT 1443916 SOS 905050 HAS SOPS 707311 HAS SOUS 179613 HAS SOUPS 178907 WITH SCORE 179812.05
AT ITER 6413 NEW BEST:: SOT 1443916 SOS 905050 HAS SOPS 707311 HAS SOUS 179590 HAS SOUPS 178884 WITH SCORE 179789.05
AT ITER 6414 NEW BEST:: SOT 1444842 SOS 896696 HAS SOPS 697218 HAS SOUS 178100 HAS SOUPS 177394 WITH SCORE 178290.696
AT ITER 6473 NEW BEST:: SOT 1455280 SOS 907134 HAS SOPS 702938 HAS SOUS 177679 HAS SOUPS 176973 WITH SCORE 177880.134
AT ITER 6512 NEW BEST:: SOT 1455280 SOS 906693 HAS SOPS 702497 HAS SOUS 177578 HAS SOUPS 176872 WITH SCORE 177778.693
AT ITER 6581 NEW BEST:: SOT 1455280 SOS 905562 HAS SOPS 701366 HAS SOUS 177578 HAS SOUPS 176872 WITH SCORE 177777.562
AT ITER 6591 NEW BEST:: SOT 1465997 SOS 914851 HAS SOPS 700011 HAS SOUS 177079 HAS SOUPS 176373 WITH SCORE 177287.851
AT ITER 6593 NEW BEST:: SOT 1465997 SOS 914930 HAS SOPS 700090 HAS SOUS 177078 HAS SOUPS 176372 WITH SCORE 177286.93
AT ITER 6608 NEW BEST:: SOT 1465997 SOS 914642 HAS SOPS 699802 HAS SOUS 177042 HAS SOUPS 176336 WITH SCORE 177250.642
AT ITER 6614 NEW BEST:: SOT 1465997 SOS 914627 HAS SOPS 699787 HAS SOUS 177018 HAS SOUPS 176312 WITH SCORE 177226.627
AT ITER 6790 NEW BEST:: SOT 1466543 SOS 915173 HAS SOPS 700333 HAS SOUS 176945 HAS SOUPS 176239 WITH SCORE 177154.173
AT ITER 6877 NEW BEST:: SOT 1466697 SOS 913994 HAS SOPS 699154 HAS SOUS 176717 HAS SOUPS 176011 WITH SCORE 176924.994
AT ITER 6878 NEW BEST:: SOT 1466696 SOS 913937 HAS SOPS 699097 HAS SOUS 176660 HAS SOUPS 175954 WITH SCORE 176867.937
AT ITER 6884 NEW BEST:: SOT 1466696 SOS 913892 HAS SOPS 699052 HAS SOUS 176635 HAS SOUPS 175929 WITH SCORE 176842.892
AT ITER 6917 NEW BEST:: SOT 1467103 SOS 914299 HAS SOPS 699459 HAS SOUS 176557 HAS SOUPS 175851 WITH SCORE 176765.299
AT ITER 6933 NEW BEST:: SOT 1467145 SOS 913950 HAS SOPS 699110 HAS SOUS 176205 HAS SOUPS 175499 WITH SCORE 176412.95
AT ITER 6942 NEW BEST:: SOT 1467756 SOS 914431 HAS SOPS 699575 HAS SOUS 176180 HAS SOUPS 175474 WITH SCORE 176388.431
AT ITER 6957 NEW BEST:: SOT 1470142 SOS 908154 HAS SOPS 688016 HAS SOUS 174492 HAS SOUPS 173786 WITH SCORE 174694.154
AT ITER 6975 NEW BEST:: SOT 1470142 SOS 908154 HAS SOPS 688016 HAS SOUS 174490 HAS SOUPS 173784 WITH SCORE 174692.154
AT ITER 7001 NEW BEST:: SOT 1455978 SOS 893990 HAS SOPS 682033 HAS SOUS 174490 HAS SOUPS 173784 WITH SCORE 174677.99
AT ITER 7010 NEW BEST:: SOT 1456030 SOS 894042 HAS SOPS 682085 HAS SOUS 174411 HAS SOUPS 173705 WITH SCORE 174599.042
AT ITER 7030 NEW BEST:: SOT 1467431 SOS 905443 HAS SOPS 685980 HAS SOUS 174341 HAS SOUPS 173635 WITH SCORE 174540.443
AT ITER 7032 NEW BEST:: SOT 1467505 SOS 896758 HAS SOPS 676973 HAS SOUS 172840 HAS SOUPS 172134 WITH SCORE 173030.758
AT ITER 7151 NEW BEST:: SOT 1461629 SOS 890882 HAS SOPS 673028 HAS SOUS 172840 HAS SOUPS 172134 WITH SCORE 173024.882
AT ITER 7156 NEW BEST:: SOT 1460772 SOS 890213 HAS SOPS 673787 HAS SOUS 172443 HAS SOUPS 171737 WITH SCORE 172627.213
AT ITER 7212 NEW BEST:: SOT 1460772 SOS 894661 HAS SOPS 678235 HAS SOUS 172389 HAS SOUPS 171683 WITH SCORE 172577.661
AT ITER 7259 NEW BEST:: SOT 1460772 SOS 894502 HAS SOPS 678076 HAS SOUS 172389 HAS SOUPS 171683 WITH SCORE 172577.502
AT ITER 7261 NEW BEST:: SOT 1461570 SOS 880743 HAS SOPS 662409 HAS SOUS 171136 HAS SOUPS 170430 WITH SCORE 171310.743
AT ITER 7319 NEW BEST:: SOT 1461613 SOS 880786 HAS SOPS 662452 HAS SOUS 171093 HAS SOUPS 170387 WITH SCORE 171267.786
AT ITER 7356 NEW BEST:: SOT 1460698 SOS 879871 HAS SOPS 661537 HAS SOUS 170833 HAS SOUPS 170127 WITH SCORE 171006.871
AT ITER 7420 NEW BEST:: SOT 1460698 SOS 879871 HAS SOPS 661537 HAS SOUS 170745 HAS SOUPS 170039 WITH SCORE 170918.871
AT ITER 7578 NEW BEST:: SOT 1463908 SOS 881904 HAS SOPS 657937 HAS SOUS 170516 HAS SOUPS 169810 WITH SCORE 170691.904
AT ITER 7646 NEW BEST:: SOT 1463918 SOS 881914 HAS SOPS 657947 HAS SOUS 170429 HAS SOUPS 169723 WITH SCORE 170604.914
AT ITER 7657 NEW BEST:: SOT 1459561 SOS 877557 HAS SOPS 654645 HAS SOUS 170429 HAS SOUPS 169723 WITH SCORE 170600.557
AT ITER 7734 NEW BEST:: SOT 1459534 SOS 877530 HAS SOPS 654618 HAS SOUS 170429 HAS SOUPS 169723 WITH SCORE 170600.53
AT ITER 7742 NEW BEST:: SOT 1459171 SOS 877167 HAS SOPS 654255 HAS SOUS 170308 HAS SOUPS 169602 WITH SCORE 170479.167
AT ITER 7757 NEW BEST:: SOT 1458501 SOS 876497 HAS SOPS 654355 HAS SOUS 170236 HAS SOUPS 169530 WITH SCORE 170406.497
AT ITER 7758 NEW BEST:: SOT 1459412 SOS 875007 HAS SOPS 650140 HAS SOUS 169687 HAS SOUPS 168981 WITH SCORE 169856.007
AT ITER 7809 NEW BEST:: SOT 1459547 SOS 875142 HAS SOPS 650275 HAS SOUS 169473 HAS SOUPS 168767 WITH SCORE 169642.142
AT ITER 7927 NEW BEST:: SOT 1459621 SOS 875027 HAS SOPS 650160 HAS SOUS 169250 HAS SOUPS 168544 WITH SCORE 169419.027
AT ITER 7934 NEW BEST:: SOT 1459621 SOS 874974 HAS SOPS 650107 HAS SOUS 169047 HAS SOUPS 168341 WITH SCORE 169215.974
AT ITER 7935 NEW BEST:: SOT 1459686 SOS 874659 HAS SOPS 649792 HAS SOUS 168587 HAS SOUPS 167881 WITH SCORE 168755.659
AT ITER 7963 NEW BEST:: SOT 1461935 SOS 876908 HAS SOPS 651482 HAS SOUS 168509 HAS SOUPS 167803 WITH SCORE 168679.908
AT ITER 8086 NEW BEST:: SOT 1462166 SOS 877123 HAS SOPS 651466 HAS SOUS 168493 HAS SOUPS 167787 WITH SCORE 168664.123
AT ITER 8124 NEW BEST:: SOT 1461759 SOS 876716 HAS SOPS 650462 HAS SOUS 167948 HAS SOUPS 167242 WITH SCORE 168118.716
AT ITER 8188 NEW BEST:: SOT 1461759 SOS 876716 HAS SOPS 650462 HAS SOUS 167919 HAS SOUPS 167213 WITH SCORE 168089.716
AT ITER 8194 NEW BEST:: SOT 1477172 SOS 888896 HAS SOPS 652819 HAS SOUS 166640 HAS SOUPS 165934 WITH SCORE 166822.896
AT ITER 8270 NEW BEST:: SOT 1478442 SOS 890166 HAS SOPS 654089 HAS SOUS 166577 HAS SOUPS 165871 WITH SCORE 166761.166
AT ITER 8301 NEW BEST:: SOT 1478906 SOS 884722 HAS SOPS 648645 HAS SOUS 166543 HAS SOUPS 165837 WITH SCORE 166721.722
AT ITER 8304 NEW BEST:: SOT 1478906 SOS 884122 HAS SOPS 648045 HAS SOUS 166513 HAS SOUPS 165807 WITH SCORE 166691.122
AT ITER 8306 NEW BEST:: SOT 1478986 SOS 884133 HAS SOPS 648056 HAS SOUS 166390 HAS SOUPS 165684 WITH SCORE 166568.133
AT ITER 8316 NEW BEST:: SOT 1479139 SOS 884286 HAS SOPS 648209 HAS SOUS 166084 HAS SOUPS 165378 WITH SCORE 166262.286
AT ITER 8319 NEW BEST:: SOT 1460418 SOS 865565 HAS SOPS 636939 HAS SOUS 166022 HAS SOUPS 165316 WITH SCORE 166181.565
AT ITER 8321 NEW BEST:: SOT 1460641 SOS 865788 HAS SOPS 637162 HAS SOUS 165939 HAS SOUPS 165233 WITH SCORE 166098.788
AT ITER 8327 NEW BEST:: SOT 1461640 SOS 866400 HAS SOPS 637757 HAS SOUS 165838 HAS SOUPS 165132 WITH SCORE 165998.4
AT ITER 8343 NEW BEST:: SOT 1470559 SOS 875319 HAS SOPS 640151 HAS SOUS 165409 HAS SOUPS 164703 WITH SCORE 165578.319
AT ITER 8426 NEW BEST:: SOT 1481909 SOS 886669 HAS SOPS 642439 HAS SOUS 164842 HAS SOUPS 164136 WITH SCORE 165022.669
AT ITER 8445 NEW BEST:: SOT 1488862 SOS 893065 HAS SOPS 640452 HAS SOUS 164307 HAS SOUPS 163601 WITH SCORE 164494.065
AT ITER 8613 NEW BEST:: SOT 1488862 SOS 892498 HAS SOPS 639885 HAS SOUS 164112 HAS SOUPS 163406 WITH SCORE 164298.498
AT ITER 8615 NEW BEST:: SOT 1488862 SOS 892498 HAS SOPS 639885 HAS SOUS 163920 HAS SOUPS 163214 WITH SCORE 164106.498
AT ITER 8739 NEW BEST:: SOT 1489056 SOS 892597 HAS SOPS 639984 HAS SOUS 163799 HAS SOUPS 163093 WITH SCORE 163985.597
AT ITER 8934 NEW BEST:: SOT 1489927 SOS 877769 HAS SOPS 621680 HAS SOUS 162684 HAS SOUPS 161978 WITH SCORE 162855.769
AT ITER 8945 NEW BEST:: SOT 1489054 SOS 876896 HAS SOPS 620807 HAS SOUS 161970 HAS SOUPS 161264 WITH SCORE 162140.896
AT ITER 8985 NEW BEST:: SOT 1489227 SOS 877069 HAS SOPS 620980 HAS SOUS 161800 HAS SOUPS 161094 WITH SCORE 161971.069
AT ITER 9065 NEW BEST:: SOT 1489355 SOS 877135 HAS SOPS 621046 HAS SOUS 161771 HAS SOUPS 161065 WITH SCORE 161942.135
AT ITER 9096 NEW BEST:: SOT 1489355 SOS 876693 HAS SOPS 620604 HAS SOUS 161567 HAS SOUPS 160861 WITH SCORE 161737.693
AT ITER 9143 NEW BEST:: SOT 1489355 SOS 876693 HAS SOPS 620604 HAS SOUS 161497 HAS SOUPS 160791 WITH SCORE 161667.693
AT ITER 9157 NEW BEST:: SOT 1489415 SOS 876606 HAS SOPS 620517 HAS SOUS 161226 HAS SOUPS 160520 WITH SCORE 161396.606
AT ITER 9193 NEW BEST:: SOT 1494246 SOS 881437 HAS SOPS 624059 HAS SOUS 161056 HAS SOUPS 160350 WITH SCORE 161231.437
AT ITER 9207 NEW BEST:: SOT 1494246 SOS 881385 HAS SOPS 624007 HAS SOUS 161004 HAS SOUPS 160298 WITH SCORE 161179.385
AT ITER 9297 NEW BEST:: SOT 1494392 SOS 881531 HAS SOPS 624153 HAS SOUS 160820 HAS SOUPS 160114 WITH SCORE 160995.531
AT ITER 9306 NEW BEST:: SOT 1494392 SOS 881419 HAS SOPS 624041 HAS SOUS 160735 HAS SOUPS 160029 WITH SCORE 160910.419
AT ITER 9336 NEW BEST:: SOT 1494392 SOS 880950 HAS SOPS 623572 HAS SOUS 160601 HAS SOUPS 159895 WITH SCORE 160775.95
AT ITER 9352 NEW BEST:: SOT 1494522 SOS 880866 HAS SOPS 623488 HAS SOUS 160521 HAS SOUPS 159815 WITH SCORE 160695.866
AT ITER 9372 NEW BEST:: SOT 1494522 SOS 880866 HAS SOPS 623488 HAS SOUS 160515 HAS SOUPS 159809 WITH SCORE 160689.866
AT ITER 9401 NEW BEST:: SOT 1494476 SOS 880810 HAS SOPS 623386 HAS SOUS 160413 HAS SOUPS 159707 WITH SCORE 160587.81
AT ITER 9419 NEW BEST:: SOT 1505400 SOS 891734 HAS SOPS 622413 HAS SOUS 160397 HAS SOUPS 159691 WITH SCORE 160582.734
AT ITER 9425 NEW BEST:: SOT 1500839 SOS 887173 HAS SOPS 624279 HAS SOUS 160397 HAS SOUPS 159691 WITH SCORE 160578.173
AT ITER 9471 NEW BEST:: SOT 1495929 SOS 882263 HAS SOPS 619417 HAS SOUS 158295 HAS SOUPS 157589 WITH SCORE 158471.263
AT ITER 9493 NEW BEST:: SOT 1496103 SOS 882296 HAS SOPS 619450 HAS SOUS 157964 HAS SOUPS 157258 WITH SCORE 158140.296
AT ITER 9524 NEW BEST:: SOT 1496103 SOS 882296 HAS SOPS 619450 HAS SOUS 157956 HAS SOUPS 157250 WITH SCORE 158132.296
AT ITER 9588 NEW BEST:: SOT 1495763 SOS 881956 HAS SOPS 619110 HAS SOUS 157807 HAS SOUPS 157101 WITH SCORE 157982.956
AT ITER 9675 NEW BEST:: SOT 1495763 SOS 881951 HAS SOPS 619105 HAS SOUS 157807 HAS SOUPS 157101 WITH SCORE 157982.951
AT ITER 9750 NEW BEST:: SOT 1495763 SOS 882002 HAS SOPS 619156 HAS SOUS 157790 HAS SOUPS 157084 WITH SCORE 157966.002
AT ITER 9762 NEW BEST:: SOT 1495763 SOS 881525 HAS SOPS 618679 HAS SOUS 157656 HAS SOUPS 156950 WITH SCORE 157831.525
AT ITER 9798 NEW BEST:: SOT 1495864 SOS 881546 HAS SOPS 618700 HAS SOUS 157395 HAS SOUPS 156689 WITH SCORE 157570.546
AT ITER 9807 NEW BEST:: SOT 1497342 SOS 883024 HAS SOPS 616423 HAS SOUS 157380 HAS SOUPS 156674 WITH SCORE 157557.024
AT ITER 9840 NEW BEST:: SOT 1498091 SOS 875384 HAS SOPS 605883 HAS SOUS 156831 HAS SOUPS 156125 WITH SCORE 157000.384
AT ITER 9860 NEW BEST:: SOT 1496508 SOS 873801 HAS SOPS 605997 HAS SOUS 156831 HAS SOUPS 156125 WITH SCORE 156998.801
AT ITER 9895 NEW BEST:: SOT 1497648 SOS 874595 HAS SOPS 606791 HAS SOUS 156690 HAS SOUPS 155984 WITH SCORE 156858.595
AT ITER 9905 NEW BEST:: SOT 1496672 SOS 873619 HAS SOPS 605815 HAS SOUS 156202 HAS SOUPS 155496 WITH SCORE 156369.619
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14563452 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16150944 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-d2m06"
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-d2m06, 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-167905973800464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SieveSingleMsgMbox-PT-d2m06.tgz
mv SieveSingleMsgMbox-PT-d2m06 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 ;