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.r427-tajo-167905979700464.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 smartxred
Input is SieveSingleMsgMbox-PT-d2m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700464
=====================================================================

--------------------
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 1679388134927

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SieveSingleMsgMbox-PT-d2m06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:42:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:42:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:42:17] [INFO ] Load time of PNML (sax parser for PT used): 207 ms
[2023-03-21 08:42:17] [INFO ] Transformed 2398 places.
[2023-03-21 08:42:17] [INFO ] Transformed 1954 transitions.
[2023-03-21 08:42:17] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 332 ms.
[2023-03-21 08:42:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 49 ms.
Total runtime 429 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802697 SOS 719415 HAS SOPS 719415 HAS SOUS 632207 HAS SOUPS 632207 WITH SCORE 632926.415
AT ITER 227 NEW BEST:: SOT 802697 SOS 719471 HAS SOPS 719471 HAS SOUS 632149 HAS SOUPS 632149 WITH SCORE 632868.471
AT ITER 238 NEW BEST:: SOT 802857 SOS 718779 HAS SOPS 718779 HAS SOUS 632006 HAS SOUPS 632006 WITH SCORE 632724.779
AT ITER 247 NEW BEST:: SOT 808041 SOS 723963 HAS SOPS 723963 HAS SOUS 626966 HAS SOUPS 626966 WITH SCORE 627689.963
AT ITER 280 NEW BEST:: SOT 808881 SOS 723142 HAS SOPS 723121 HAS SOUS 626135 HAS SOUPS 626114 WITH SCORE 626837.142
AT ITER 323 NEW BEST:: SOT 824580 SOS 737461 HAS SOPS 737419 HAS SOUS 623180 HAS SOUPS 623159 WITH SCORE 623896.461
AT ITER 370 NEW BEST:: SOT 832516 SOS 742667 HAS SOPS 742279 HAS SOUS 616400 HAS SOUPS 616198 WITH SCORE 616940.667
AT ITER 435 NEW BEST:: SOT 832516 SOS 742728 HAS SOPS 742340 HAS SOUS 614387 HAS SOUPS 614185 WITH SCORE 614927.728
AT ITER 446 NEW BEST:: SOT 844101 SOS 753625 HAS SOPS 753014 HAS SOUS 602145 HAS SOUPS 601943 WITH SCORE 602696.625
AT ITER 467 NEW BEST:: SOT 866966 SOS 775737 HAS SOPS 774903 HAS SOUS 597863 HAS SOUPS 597661 WITH SCORE 598436.737
AT ITER 487 NEW BEST:: SOT 866966 SOS 772789 HAS SOPS 771955 HAS SOUS 592119 HAS SOUPS 591917 WITH SCORE 592689.789
AT ITER 490 NEW BEST:: SOT 867098 SOS 772921 HAS SOPS 772087 HAS SOUS 592116 HAS SOUPS 591914 WITH SCORE 592686.921
AT ITER 527 NEW BEST:: SOT 867098 SOS 773133 HAS SOPS 772299 HAS SOUS 590420 HAS SOUPS 590218 WITH SCORE 590991.133
AT ITER 542 NEW BEST:: SOT 867211 SOS 773183 HAS SOPS 772236 HAS SOUS 590338 HAS SOUPS 590136 WITH SCORE 590909.183
AT ITER 560 NEW BEST:: SOT 875160 SOS 780418 HAS SOPS 779248 HAS SOUS 579713 HAS SOUPS 579511 WITH SCORE 580291.418
AT ITER 562 NEW BEST:: SOT 875160 SOS 777583 HAS SOPS 776413 HAS SOUS 571224 HAS SOUPS 571022 WITH SCORE 571799.583
AT ITER 593 NEW BEST:: SOT 876564 SOS 777910 HAS SOPS 776545 HAS SOUS 564552 HAS SOUPS 564350 WITH SCORE 565127.91
AT ITER 623 NEW BEST:: SOT 894734 SOS 794808 HAS SOPS 793181 HAS SOUS 552931 HAS SOUPS 552729 WITH SCORE 553523.808
AT ITER 626 NEW BEST:: SOT 894734 SOS 793849 HAS SOPS 792222 HAS SOUS 544716 HAS SOUPS 544514 WITH SCORE 545307.849
AT ITER 630 NEW BEST:: SOT 894834 SOS 793509 HAS SOPS 791882 HAS SOUS 544696 HAS SOUPS 544494 WITH SCORE 545287.509
AT ITER 641 NEW BEST:: SOT 894995 SOS 792969 HAS SOPS 791342 HAS SOUS 544621 HAS SOUPS 544419 WITH SCORE 545211.969
AT ITER 672 NEW BEST:: SOT 894995 SOS 792299 HAS SOPS 790672 HAS SOUS 544612 HAS SOUPS 544410 WITH SCORE 545202.299
AT ITER 722 NEW BEST:: SOT 895471 SOS 791393 HAS SOPS 789724 HAS SOUS 532260 HAS SOUPS 532058 WITH SCORE 532849.393
AT ITER 753 NEW BEST:: SOT 895471 SOS 790754 HAS SOPS 789085 HAS SOUS 532154 HAS SOUPS 531952 WITH SCORE 532742.754
AT ITER 768 NEW BEST:: SOT 914721 SOS 808684 HAS SOPS 806753 HAS SOUS 520137 HAS SOUPS 519935 WITH SCORE 520743.684
AT ITER 771 NEW BEST:: SOT 914721 SOS 806812 HAS SOPS 804881 HAS SOUS 515435 HAS SOUPS 515233 WITH SCORE 516039.812
AT ITER 795 NEW BEST:: SOT 944207 SOS 834776 HAS SOPS 832583 HAS SOUS 510571 HAS SOUPS 510369 WITH SCORE 511203.776
AT ITER 808 NEW BEST:: SOT 945315 SOS 830300 HAS SOPS 827821 HAS SOUS 499488 HAS SOUPS 499286 WITH SCORE 500116.3
AT ITER 851 NEW BEST:: SOT 973509 SOS 856570 HAS SOPS 853795 HAS SOUS 488268 HAS SOUPS 488066 WITH SCORE 488922.57
AT ITER 867 NEW BEST:: SOT 973509 SOS 856756 HAS SOPS 853981 HAS SOUS 488240 HAS SOUPS 488038 WITH SCORE 488894.756
AT ITER 877 NEW BEST:: SOT 973509 SOS 853724 HAS SOPS 850949 HAS SOUS 483980 HAS SOUPS 483778 WITH SCORE 484631.724
AT ITER 908 NEW BEST:: SOT 990551 SOS 870766 HAS SOPS 867933 HAS SOUS 483922 HAS SOUPS 483720 WITH SCORE 484590.766
AT ITER 910 NEW BEST:: SOT 995672 SOS 873940 HAS SOPS 870864 HAS SOUS 472770 HAS SOUPS 472568 WITH SCORE 473441.94
AT ITER 922 NEW BEST:: SOT 1003697 SOS 875994 HAS SOPS 870488 HAS SOUS 464317 HAS SOUPS 464062 WITH SCORE 464937.994
AT ITER 933 NEW BEST:: SOT 1015661 SOS 881453 HAS SOPS 872618 HAS SOUS 457882 HAS SOUPS 457509 WITH SCORE 458390.453
AT ITER 940 NEW BEST:: SOT 1018601 SOS 880919 HAS SOPS 871744 HAS SOUS 447265 HAS SOUPS 446892 WITH SCORE 447772.919
AT ITER 949 NEW BEST:: SOT 1020435 SOS 876268 HAS SOPS 866353 HAS SOUS 437941 HAS SOUPS 437568 WITH SCORE 438444.268
AT ITER 1003 NEW BEST:: SOT 1020435 SOS 875469 HAS SOPS 865554 HAS SOUS 437937 HAS SOUPS 437564 WITH SCORE 438439.469
AT ITER 1010 NEW BEST:: SOT 999540 SOS 854574 HAS SOPS 844817 HAS SOUS 436282 HAS SOUPS 435909 WITH SCORE 436763.574
AT ITER 1024 NEW BEST:: SOT 1033542 SOS 885709 HAS SOPS 874962 HAS SOUS 433579 HAS SOUPS 433206 WITH SCORE 434091.709
AT ITER 1039 NEW BEST:: SOT 1044589 SOS 893648 HAS SOPS 881960 HAS SOUS 423234 HAS SOUPS 422861 WITH SCORE 423754.648
AT ITER 1182 NEW BEST:: SOT 1055436 SOS 903049 HAS SOPS 887489 HAS SOUS 420580 HAS SOUPS 420207 WITH SCORE 421110.049
AT ITER 1194 NEW BEST:: SOT 1055436 SOS 898047 HAS SOPS 882487 HAS SOUS 414491 HAS SOUPS 414118 WITH SCORE 415016.047
AT ITER 1265 NEW BEST:: SOT 1055436 SOS 897213 HAS SOPS 881653 HAS SOUS 414356 HAS SOUPS 413983 WITH SCORE 414880.213
AT ITER 1293 NEW BEST:: SOT 1055957 SOS 897038 HAS SOPS 881478 HAS SOUS 414353 HAS SOUPS 413980 WITH SCORE 414877.038
AT ITER 1328 NEW BEST:: SOT 1055987 SOS 896771 HAS SOPS 881211 HAS SOUS 414153 HAS SOUPS 413780 WITH SCORE 414676.771
AT ITER 1334 NEW BEST:: SOT 1074752 SOS 908007 HAS SOPS 887309 HAS SOUS 412460 HAS SOUPS 411877 WITH SCORE 412785.007
AT ITER 1347 NEW BEST:: SOT 1080087 SOS 906470 HAS SOPS 883481 HAS SOUS 403180 HAS SOUPS 402597 WITH SCORE 403503.47
AT ITER 1371 NEW BEST:: SOT 1080087 SOS 903873 HAS SOPS 880884 HAS SOUS 399475 HAS SOUPS 398892 WITH SCORE 399795.873
AT ITER 1400 NEW BEST:: SOT 1113681 SOS 933223 HAS SOPS 908116 HAS SOUS 390795 HAS SOUPS 390212 WITH SCORE 391145.223
AT ITER 1417 NEW BEST:: SOT 1127841 SOS 940240 HAS SOPS 910105 HAS SOUS 381864 HAS SOUPS 381281 WITH SCORE 382221.24
AT ITER 1444 NEW BEST:: SOT 1127841 SOS 940236 HAS SOPS 910101 HAS SOUS 381860 HAS SOUPS 381277 WITH SCORE 382217.236
AT ITER 1467 NEW BEST:: SOT 1115182 SOS 927577 HAS SOPS 898177 HAS SOUS 381819 HAS SOUPS 381236 WITH SCORE 382163.577
AT ITER 1470 NEW BEST:: SOT 1115182 SOS 926477 HAS SOPS 897077 HAS SOUS 380149 HAS SOUPS 379566 WITH SCORE 380492.477
AT ITER 1490 NEW BEST:: SOT 1127833 SOS 931077 HAS SOPS 897149 HAS SOUS 371253 HAS SOUPS 370670 WITH SCORE 371601.077
AT ITER 1491 NEW BEST:: SOT 1127833 SOS 930558 HAS SOPS 896630 HAS SOUS 371182 HAS SOUPS 370599 WITH SCORE 371529.558
AT ITER 1513 NEW BEST:: SOT 1128018 SOS 929929 HAS SOPS 896001 HAS SOUS 371033 HAS SOUPS 370450 WITH SCORE 371379.929
AT ITER 1531 NEW BEST:: SOT 1162093 SOS 957772 HAS SOPS 920839 HAS SOUS 365611 HAS SOUPS 365028 WITH SCORE 365985.772
AT ITER 1542 NEW BEST:: SOT 1174597 SOS 966866 HAS SOPS 924930 HAS SOUS 360714 HAS SOUPS 360131 WITH SCORE 361097.866
AT ITER 1557 NEW BEST:: SOT 1187509 SOS 971233 HAS SOPS 924210 HAS SOUS 352194 HAS SOUPS 351611 WITH SCORE 352582.233
AT ITER 1587 NEW BEST:: SOT 1163420 SOS 947144 HAS SOPS 901124 HAS SOUS 351762 HAS SOUPS 351179 WITH SCORE 352126.144
AT ITER 1613 NEW BEST:: SOT 1178857 SOS 957012 HAS SOPS 907169 HAS SOUS 343587 HAS SOUPS 343004 WITH SCORE 343961.012
AT ITER 1695 NEW BEST:: SOT 1210446 SOS 984222 HAS SOPS 930508 HAS SOUS 337232 HAS SOUPS 336649 WITH SCORE 337633.222
AT ITER 1743 NEW BEST:: SOT 1223131 SOS 991218 HAS SOPS 933798 HAS SOUS 329317 HAS SOUPS 328734 WITH SCORE 329725.218
AT ITER 1763 NEW BEST:: SOT 1223293 SOS 991380 HAS SOPS 933960 HAS SOUS 329283 HAS SOUPS 328700 WITH SCORE 329691.38
AT ITER 1769 NEW BEST:: SOT 1223293 SOS 984811 HAS SOPS 927391 HAS SOUS 324660 HAS SOUPS 324077 WITH SCORE 325061.811
AT ITER 1786 NEW BEST:: SOT 1223720 SOS 985176 HAS SOPS 927363 HAS SOUS 324593 HAS SOUPS 324010 WITH SCORE 324995.176
AT ITER 1795 NEW BEST:: SOT 1237407 SOS 993365 HAS SOPS 931779 HAS SOUS 317063 HAS SOUPS 316480 WITH SCORE 317473.365
AT ITER 1831 NEW BEST:: SOT 1237937 SOS 985424 HAS SOPS 923216 HAS SOUS 310568 HAS SOUPS 309985 WITH SCORE 310970.424
AT ITER 1871 NEW BEST:: SOT 1237937 SOS 985354 HAS SOPS 923146 HAS SOUS 310548 HAS SOUPS 309965 WITH SCORE 310950.354
AT ITER 1881 NEW BEST:: SOT 1244133 SOS 985485 HAS SOPS 920761 HAS SOUS 303384 HAS SOUPS 302801 WITH SCORE 303786.485
AT ITER 1886 NEW BEST:: SOT 1244463 SOS 984159 HAS SOPS 919435 HAS SOUS 303382 HAS SOUPS 302799 WITH SCORE 303783.159
AT ITER 1888 NEW BEST:: SOT 1237000 SOS 976696 HAS SOPS 913989 HAS SOUS 302908 HAS SOUPS 302325 WITH SCORE 303301.696
AT ITER 1915 NEW BEST:: SOT 1237000 SOS 976036 HAS SOPS 913329 HAS SOUS 301940 HAS SOUPS 301357 WITH SCORE 302333.036
AT ITER 1957 NEW BEST:: SOT 1248550 SOS 986731 HAS SOPS 920346 HAS SOUS 300263 HAS SOUPS 299680 WITH SCORE 300666.731
AT ITER 1964 NEW BEST:: SOT 1249116 SOS 985073 HAS SOPS 918065 HAS SOUS 298428 HAS SOUPS 297845 WITH SCORE 298830.073
AT ITER 1966 NEW BEST:: SOT 1249502 SOS 985123 HAS SOPS 918115 HAS SOUS 298270 HAS SOUPS 297687 WITH SCORE 298672.123
AT ITER 1980 NEW BEST:: SOT 1249402 SOS 984667 HAS SOPS 917659 HAS SOUS 298216 HAS SOUPS 297633 WITH SCORE 298617.667
AT ITER 1982 NEW BEST:: SOT 1267966 SOS 996849 HAS SOPS 925909 HAS SOUS 291063 HAS SOUPS 290480 WITH SCORE 291476.849
AT ITER 2081 NEW BEST:: SOT 1270590 SOS 989919 HAS SOPS 916027 HAS SOUS 284741 HAS SOUPS 284158 WITH SCORE 285147.919
AT ITER 2083 NEW BEST:: SOT 1270590 SOS 988872 HAS SOPS 914980 HAS SOUS 284741 HAS SOUPS 284158 WITH SCORE 285146.872
AT ITER 2097 NEW BEST:: SOT 1290860 SOS 998714 HAS SOPS 915449 HAS SOUS 283814 HAS SOUPS 283091 WITH SCORE 284089.714
AT ITER 2240 NEW BEST:: SOT 1323328 SOS 1023763 HAS SOPS 935707 HAS SOUS 278306 HAS SOUPS 277583 WITH SCORE 278606.763
AT ITER 2334 NEW BEST:: SOT 1324588 SOS 1025023 HAS SOPS 936571 HAS SOUS 278260 HAS SOUPS 277537 WITH SCORE 278562.023
AT ITER 2353 NEW BEST:: SOT 1324945 SOS 1025071 HAS SOPS 936582 HAS SOUS 278040 HAS SOUPS 277317 WITH SCORE 278342.071
AT ITER 2372 NEW BEST:: SOT 1326781 SOS 1026907 HAS SOPS 938310 HAS SOUS 277986 HAS SOUPS 277263 WITH SCORE 278289.907
AT ITER 2569 NEW BEST:: SOT 1336294 SOS 1025677 HAS SOPS 929209 HAS SOUS 272022 HAS SOUPS 271299 WITH SCORE 272324.677
AT ITER 2573 NEW BEST:: SOT 1358506 SOS 1036574 HAS SOPS 929559 HAS SOUS 268798 HAS SOUPS 267999 WITH SCORE 269035.574
AT ITER 2576 NEW BEST:: SOT 1358506 SOS 1035566 HAS SOPS 928551 HAS SOUS 268126 HAS SOUPS 267327 WITH SCORE 268362.566
AT ITER 2587 NEW BEST:: SOT 1376081 SOS 1042128 HAS SOPS 925177 HAS SOUS 262384 HAS SOUPS 261585 WITH SCORE 262627.128
AT ITER 2588 NEW BEST:: SOT 1376081 SOS 1042033 HAS SOPS 925082 HAS SOUS 262378 HAS SOUPS 261579 WITH SCORE 262621.033
AT ITER 2598 NEW BEST:: SOT 1401652 SOS 1066491 HAS SOPS 942855 HAS SOUS 260731 HAS SOUPS 259932 WITH SCORE 260998.491
AT ITER 2667 NEW BEST:: SOT 1401652 SOS 1058804 HAS SOPS 935168 HAS SOUS 257703 HAS SOUPS 256904 WITH SCORE 257962.804
AT ITER 2683 NEW BEST:: SOT 1404947 SOS 1054117 HAS SOPS 927800 HAS SOUS 252754 HAS SOUPS 251955 WITH SCORE 253009.117
AT ITER 2787 NEW BEST:: SOT 1404947 SOS 1054100 HAS SOPS 927783 HAS SOUS 252753 HAS SOUPS 251954 WITH SCORE 253008.1
AT ITER 2815 NEW BEST:: SOT 1404947 SOS 1054098 HAS SOPS 927781 HAS SOUS 252725 HAS SOUPS 251926 WITH SCORE 252980.098
AT ITER 2818 NEW BEST:: SOT 1404947 SOS 1053419 HAS SOPS 927102 HAS SOUS 252725 HAS SOUPS 251926 WITH SCORE 252979.419
AT ITER 2846 NEW BEST:: SOT 1404947 SOS 1053359 HAS SOPS 927042 HAS SOUS 252647 HAS SOUPS 251848 WITH SCORE 252901.359
AT ITER 2848 NEW BEST:: SOT 1431155 SOS 1070835 HAS SOPS 937833 HAS SOUS 247503 HAS SOUPS 246704 WITH SCORE 247774.835
AT ITER 2873 NEW BEST:: SOT 1427735 SOS 1067415 HAS SOPS 934413 HAS SOUS 247503 HAS SOUPS 246704 WITH SCORE 247771.415
AT ITER 2878 NEW BEST:: SOT 1427824 SOS 1067504 HAS SOPS 934502 HAS SOUS 247475 HAS SOUPS 246676 WITH SCORE 247743.504
AT ITER 2935 NEW BEST:: SOT 1428709 SOS 1060682 HAS SOPS 926693 HAS SOUS 242772 HAS SOUPS 241973 WITH SCORE 243033.682
AT ITER 2960 NEW BEST:: SOT 1428709 SOS 1056284 HAS SOPS 922295 HAS SOUS 240855 HAS SOUPS 240056 WITH SCORE 241112.284
AT ITER 2964 NEW BEST:: SOT 1428709 SOS 1048971 HAS SOPS 914982 HAS SOUS 236807 HAS SOUPS 236008 WITH SCORE 237056.971
AT ITER 2977 NEW BEST:: SOT 1423935 SOS 1044197 HAS SOPS 913634 HAS SOUS 236807 HAS SOUPS 236008 WITH SCORE 237052.197
AT ITER 2994 NEW BEST:: SOT 1423935 SOS 1041536 HAS SOPS 910973 HAS SOUS 236310 HAS SOUPS 235511 WITH SCORE 236552.536
AT ITER 3012 NEW BEST:: SOT 1427340 SOS 1041572 HAS SOPS 908258 HAS SOUS 233699 HAS SOUPS 232900 WITH SCORE 233941.572
AT ITER 3028 NEW BEST:: SOT 1427340 SOS 1041422 HAS SOPS 908108 HAS SOUS 233549 HAS SOUPS 232750 WITH SCORE 233791.422
AT ITER 3035 NEW BEST:: SOT 1433327 SOS 1035825 HAS SOPS 894722 HAS SOUS 229759 HAS SOUPS 228960 WITH SCORE 229995.825
AT ITER 3051 NEW BEST:: SOT 1451798 SOS 1054296 HAS SOPS 908984 HAS SOUS 229129 HAS SOUPS 228330 WITH SCORE 229384.296
AT ITER 3120 NEW BEST:: SOT 1474690 SOS 1064232 HAS SOPS 905199 HAS SOUS 228234 HAS SOUPS 227341 WITH SCORE 228405.232
AT ITER 3127 NEW BEST:: SOT 1462626 SOS 1052168 HAS SOPS 903621 HAS SOUS 228234 HAS SOUPS 227341 WITH SCORE 228393.168
AT ITER 3133 NEW BEST:: SOT 1458425 SOS 1047967 HAS SOPS 900139 HAS SOUS 224937 HAS SOUPS 224138 WITH SCORE 225185.967
AT ITER 3170 NEW BEST:: SOT 1459086 SOS 1048570 HAS SOPS 900081 HAS SOUS 224876 HAS SOUPS 224077 WITH SCORE 225125.57
AT ITER 3186 NEW BEST:: SOT 1476062 SOS 1056393 HAS SOPS 901274 HAS SOUS 220538 HAS SOUPS 219739 WITH SCORE 220795.393
AT ITER 3271 NEW BEST:: SOT 1476062 SOS 1056249 HAS SOPS 901130 HAS SOUS 220502 HAS SOUPS 219703 WITH SCORE 220759.249
AT ITER 3292 NEW BEST:: SOT 1462812 SOS 1042999 HAS SOPS 895130 HAS SOUS 220502 HAS SOUPS 219703 WITH SCORE 220745.999
AT ITER 3323 NEW BEST:: SOT 1467999 SOS 1048186 HAS SOPS 897044 HAS SOUS 220267 HAS SOUPS 219468 WITH SCORE 220516.186
AT ITER 3337 NEW BEST:: SOT 1468054 SOS 1046643 HAS SOPS 895501 HAS SOUS 219745 HAS SOUPS 218946 WITH SCORE 219992.643
AT ITER 3380 NEW BEST:: SOT 1485590 SOS 1064179 HAS SOPS 912249 HAS SOUS 219431 HAS SOUPS 218632 WITH SCORE 219696.179
AT ITER 3389 NEW BEST:: SOT 1485670 SOS 1064115 HAS SOPS 912185 HAS SOUS 219365 HAS SOUPS 218566 WITH SCORE 219630.115
AT ITER 3391 NEW BEST:: SOT 1487936 SOS 1057904 HAS SOPS 903704 HAS SOUS 215284 HAS SOUPS 214485 WITH SCORE 215542.904
AT ITER 3405 NEW BEST:: SOT 1513504 SOS 1076199 HAS SOPS 915455 HAS SOUS 210917 HAS SOUPS 210118 WITH SCORE 211194.199
AT ITER 3429 NEW BEST:: SOT 1513470 SOS 1076165 HAS SOPS 915469 HAS SOUS 210917 HAS SOUPS 210118 WITH SCORE 211194.165
AT ITER 3435 NEW BEST:: SOT 1513470 SOS 1076165 HAS SOPS 915469 HAS SOUS 210915 HAS SOUPS 210116 WITH SCORE 211192.165
AT ITER 3437 NEW BEST:: SOT 1494978 SOS 1057673 HAS SOPS 897762 HAS SOUS 210239 HAS SOUPS 209440 WITH SCORE 210497.673
AT ITER 3439 NEW BEST:: SOT 1494830 SOS 1057525 HAS SOPS 897614 HAS SOUS 210235 HAS SOUPS 209436 WITH SCORE 210493.525
AT ITER 3443 NEW BEST:: SOT 1528464 SOS 1082710 HAS SOPS 916257 HAS SOUS 209882 HAS SOUPS 209083 WITH SCORE 210165.71
AT ITER 3490 NEW BEST:: SOT 1530561 SOS 1084807 HAS SOPS 917571 HAS SOUS 209802 HAS SOUPS 209003 WITH SCORE 210087.807
AT ITER 3512 NEW BEST:: SOT 1530561 SOS 1084806 HAS SOPS 917570 HAS SOUS 209802 HAS SOUPS 209003 WITH SCORE 210087.806
AT ITER 3525 NEW BEST:: SOT 1532275 SOS 1086520 HAS SOPS 918766 HAS SOUS 209740 HAS SOUPS 208941 WITH SCORE 210027.52
AT ITER 3532 NEW BEST:: SOT 1544431 SOS 1095191 HAS SOPS 912984 HAS SOUS 208863 HAS SOUPS 208064 WITH SCORE 209159.191
AT ITER 3572 NEW BEST:: SOT 1544431 SOS 1094323 HAS SOPS 912116 HAS SOUS 208331 HAS SOUPS 207532 WITH SCORE 208626.323
AT ITER 3605 NEW BEST:: SOT 1558480 SOS 1107148 HAS SOPS 918418 HAS SOUS 207668 HAS SOUPS 206869 WITH SCORE 207976.148
AT ITER 3617 NEW BEST:: SOT 1573211 SOS 1108156 HAS SOPS 903407 HAS SOUS 204882 HAS SOUPS 204083 WITH SCORE 205191.156
AT ITER 3627 NEW BEST:: SOT 1573211 SOS 1108156 HAS SOPS 903407 HAS SOUS 204845 HAS SOUPS 204046 WITH SCORE 205154.156
AT ITER 3906 NEW BEST:: SOT 1579756 SOS 1114701 HAS SOPS 909405 HAS SOUS 204665 HAS SOUPS 203866 WITH SCORE 204980.701
AT ITER 3935 NEW BEST:: SOT 1579756 SOS 1113375 HAS SOPS 908079 HAS SOUS 204388 HAS SOUPS 203589 WITH SCORE 204702.375
AT ITER 3942 NEW BEST:: SOT 1566528 SOS 1100147 HAS SOPS 901381 HAS SOUS 204388 HAS SOUPS 203589 WITH SCORE 204689.147
AT ITER 3975 NEW BEST:: SOT 1573940 SOS 1107559 HAS SOPS 905441 HAS SOUS 204089 HAS SOUPS 203290 WITH SCORE 204397.559
AT ITER 3978 NEW BEST:: SOT 1599335 SOS 1123824 HAS SOPS 913765 HAS SOUS 199766 HAS SOUPS 198967 WITH SCORE 200090.824
AT ITER 3984 NEW BEST:: SOT 1607678 SOS 1118348 HAS SOPS 894246 HAS SOUS 197517 HAS SOUPS 196718 WITH SCORE 197836.348
AT ITER 4004 NEW BEST:: SOT 1607678 SOS 1118029 HAS SOPS 893927 HAS SOUS 197451 HAS SOUPS 196652 WITH SCORE 197770.029
AT ITER 4030 NEW BEST:: SOT 1607697 SOS 1117958 HAS SOPS 893856 HAS SOUS 197094 HAS SOUPS 196295 WITH SCORE 197412.958
AT ITER 4080 NEW BEST:: SOT 1618310 SOS 1122761 HAS SOPS 883442 HAS SOUS 195962 HAS SOUPS 195163 WITH SCORE 196285.761
AT ITER 4191 NEW BEST:: SOT 1618825 SOS 1123216 HAS SOPS 883382 HAS SOUS 195888 HAS SOUPS 195089 WITH SCORE 196212.216
AT ITER 4265 NEW BEST:: SOT 1631080 SOS 1126133 HAS SOPS 878034 HAS SOUS 192372 HAS SOUPS 191573 WITH SCORE 192699.133
AT ITER 4271 NEW BEST:: SOT 1650447 SOS 1135712 HAS SOPS 878504 HAS SOUS 188530 HAS SOUPS 187731 WITH SCORE 188866.712
AT ITER 4283 NEW BEST:: SOT 1650621 SOS 1135156 HAS SOPS 877948 HAS SOUS 188222 HAS SOUPS 187423 WITH SCORE 188558.156
AT ITER 4329 NEW BEST:: SOT 1621794 SOS 1108759 HAS SOPS 860668 HAS SOUS 187761 HAS SOUPS 186962 WITH SCORE 188070.759
AT ITER 4352 NEW BEST:: SOT 1622081 SOS 1109046 HAS SOPS 860955 HAS SOUS 187688 HAS SOUPS 186889 WITH SCORE 187998.046
AT ITER 4374 NEW BEST:: SOT 1622081 SOS 1109076 HAS SOPS 860985 HAS SOUS 187685 HAS SOUPS 186886 WITH SCORE 187995.076
AT ITER 4518 NEW BEST:: SOT 1622081 SOS 1108843 HAS SOPS 860752 HAS SOUS 187523 HAS SOUPS 186724 WITH SCORE 187832.843
AT ITER 4551 NEW BEST:: SOT 1622290 SOS 1109052 HAS SOPS 860961 HAS SOUS 187512 HAS SOUPS 186713 WITH SCORE 187822.052
AT ITER 4599 NEW BEST:: SOT 1622319 SOS 1109081 HAS SOPS 860990 HAS SOUS 187479 HAS SOUPS 186680 WITH SCORE 187789.081
AT ITER 4604 NEW BEST:: SOT 1622319 SOS 1109081 HAS SOPS 860990 HAS SOUS 187472 HAS SOUPS 186673 WITH SCORE 187782.081
AT ITER 4632 NEW BEST:: SOT 1622317 SOS 1109079 HAS SOPS 860988 HAS SOUS 187470 HAS SOUPS 186671 WITH SCORE 187780.079
AT ITER 4664 NEW BEST:: SOT 1622317 SOS 1109055 HAS SOPS 860964 HAS SOUS 187353 HAS SOUPS 186554 WITH SCORE 187663.055
AT ITER 4743 NEW BEST:: SOT 1622365 SOS 1109103 HAS SOPS 861012 HAS SOUS 187127 HAS SOUPS 186328 WITH SCORE 187437.103
AT ITER 4804 NEW BEST:: SOT 1621141 SOS 1107879 HAS SOPS 859788 HAS SOUS 187127 HAS SOUPS 186328 WITH SCORE 187435.879
AT ITER 4886 NEW BEST:: SOT 1621141 SOS 1107029 HAS SOPS 858938 HAS SOUS 186917 HAS SOUPS 186118 WITH SCORE 187225.029
AT ITER 4902 NEW BEST:: SOT 1621264 SOS 1107152 HAS SOPS 859061 HAS SOUS 186890 HAS SOUPS 186091 WITH SCORE 187198.152
AT ITER 4967 NEW BEST:: SOT 1628660 SOS 1114548 HAS SOPS 866437 HAS SOUS 186870 HAS SOUPS 186071 WITH SCORE 187185.548
AT ITER 4990 NEW BEST:: SOT 1628660 SOS 1114267 HAS SOPS 866156 HAS SOUS 186802 HAS SOUPS 186003 WITH SCORE 187117.267
AT ITER 5046 NEW BEST:: SOT 1622458 SOS 1108065 HAS SOPS 863557 HAS SOUS 186802 HAS SOUPS 186003 WITH SCORE 187111.065
AT ITER 5107 NEW BEST:: SOT 1622630 SOS 1107889 HAS SOPS 863381 HAS SOUS 186498 HAS SOUPS 185699 WITH SCORE 186806.889
AT ITER 5109 NEW BEST:: SOT 1623299 SOS 1108499 HAS SOPS 863322 HAS SOUS 186423 HAS SOUPS 185624 WITH SCORE 186732.499
AT ITER 5150 NEW BEST:: SOT 1623299 SOS 1098453 HAS SOPS 853276 HAS SOUS 185739 HAS SOUPS 184940 WITH SCORE 186038.453
AT ITER 5194 NEW BEST:: SOT 1618221 SOS 1093375 HAS SOPS 857511 HAS SOUS 185739 HAS SOUPS 184940 WITH SCORE 186033.375
AT ITER 5212 NEW BEST:: SOT 1621593 SOS 1096747 HAS SOPS 860007 HAS SOUS 185621 HAS SOUPS 184822 WITH SCORE 185918.747
AT ITER 5308 NEW BEST:: SOT 1621593 SOS 1096747 HAS SOPS 860007 HAS SOUS 185463 HAS SOUPS 184664 WITH SCORE 185760.747
AT ITER 5331 NEW BEST:: SOT 1621593 SOS 1096737 HAS SOPS 859997 HAS SOUS 185452 HAS SOUPS 184653 WITH SCORE 185749.737
AT ITER 5357 NEW BEST:: SOT 1621593 SOS 1096673 HAS SOPS 859933 HAS SOUS 185366 HAS SOUPS 184567 WITH SCORE 185663.673
AT ITER 5363 NEW BEST:: SOT 1621983 SOS 1096835 HAS SOPS 860095 HAS SOUS 184832 HAS SOUPS 184033 WITH SCORE 185129.835
AT ITER 5368 NEW BEST:: SOT 1631292 SOS 1095907 HAS SOPS 852159 HAS SOUS 181856 HAS SOUPS 181057 WITH SCORE 182152.907
AT ITER 5370 NEW BEST:: SOT 1631292 SOS 1095870 HAS SOPS 852122 HAS SOUS 181843 HAS SOUPS 181044 WITH SCORE 182139.87
AT ITER 5377 NEW BEST:: SOT 1631346 SOS 1095837 HAS SOPS 852089 HAS SOUS 181808 HAS SOUPS 181009 WITH SCORE 182104.837
AT ITER 5456 NEW BEST:: SOT 1619290 SOS 1083781 HAS SOPS 844368 HAS SOUS 181808 HAS SOUPS 181009 WITH SCORE 182092.781
AT ITER 5597 NEW BEST:: SOT 1619290 SOS 1083469 HAS SOPS 844056 HAS SOUS 181652 HAS SOUPS 180853 WITH SCORE 181936.469
AT ITER 5604 NEW BEST:: SOT 1630344 SOS 1080039 HAS SOPS 824620 HAS SOUS 180180 HAS SOUPS 179381 WITH SCORE 180461.039
AT ITER 5687 NEW BEST:: SOT 1630344 SOS 1076802 HAS SOPS 821383 HAS SOUS 180099 HAS SOUPS 179300 WITH SCORE 180376.802
AT ITER 5718 NEW BEST:: SOT 1620784 SOS 1067242 HAS SOPS 823747 HAS SOUS 180099 HAS SOUPS 179300 WITH SCORE 180367.242
AT ITER 5722 NEW BEST:: SOT 1620784 SOS 1067228 HAS SOPS 823733 HAS SOUS 179942 HAS SOUPS 179143 WITH SCORE 180210.228
AT ITER 5746 NEW BEST:: SOT 1626508 SOS 1057894 HAS SOPS 801591 HAS SOUS 178451 HAS SOUPS 177652 WITH SCORE 178709.894
AT ITER 5748 NEW BEST:: SOT 1630728 SOS 1055110 HAS SOPS 787026 HAS SOUS 177701 HAS SOUPS 176902 WITH SCORE 177957.11
AT ITER 5772 NEW BEST:: SOT 1630751 SOS 1055109 HAS SOPS 787025 HAS SOUS 177424 HAS SOUPS 176625 WITH SCORE 177680.109
AT ITER 5808 NEW BEST:: SOT 1622320 SOS 1046678 HAS SOPS 781522 HAS SOUS 177424 HAS SOUPS 176625 WITH SCORE 177671.678
AT ITER 5812 NEW BEST:: SOT 1622320 SOS 1046534 HAS SOPS 781378 HAS SOUS 177411 HAS SOUPS 176612 WITH SCORE 177658.534
AT ITER 5914 NEW BEST:: SOT 1633233 SOS 1044668 HAS SOPS 771236 HAS SOUS 176628 HAS SOUPS 175829 WITH SCORE 176873.668
AT ITER 5919 NEW BEST:: SOT 1633316 SOS 1044500 HAS SOPS 771068 HAS SOUS 176580 HAS SOUPS 175781 WITH SCORE 176825.5
AT ITER 5984 NEW BEST:: SOT 1630168 SOS 1041352 HAS SOPS 774530 HAS SOUS 176580 HAS SOUPS 175781 WITH SCORE 176822.352
AT ITER 6064 NEW BEST:: SOT 1651489 SOS 1062673 HAS SOPS 791504 HAS SOUS 176023 HAS SOUPS 175224 WITH SCORE 176286.673
AT ITER 6120 NEW BEST:: SOT 1644378 SOS 1055562 HAS SOPS 787522 HAS SOUS 175255 HAS SOUPS 174456 WITH SCORE 175511.562
AT ITER 6170 NEW BEST:: SOT 1654782 SOS 1065966 HAS SOPS 792382 HAS SOUS 174812 HAS SOUPS 174013 WITH SCORE 175078.966
AT ITER 6198 NEW BEST:: SOT 1649681 SOS 1060865 HAS SOPS 798334 HAS SOUS 174812 HAS SOUPS 174013 WITH SCORE 175073.865
AT ITER 6199 NEW BEST:: SOT 1661623 SOS 1072807 HAS SOPS 808718 HAS SOUS 174483 HAS SOUPS 173684 WITH SCORE 174756.807
AT ITER 6212 NEW BEST:: SOT 1661083 SOS 1072267 HAS SOPS 808178 HAS SOUS 174483 HAS SOUPS 173684 WITH SCORE 174756.267
AT ITER 6247 NEW BEST:: SOT 1668017 SOS 1073909 HAS SOPS 794614 HAS SOUS 173994 HAS SOUPS 173195 WITH SCORE 174268.909
AT ITER 6252 NEW BEST:: SOT 1668017 SOS 1073909 HAS SOPS 794614 HAS SOUS 173990 HAS SOUPS 173191 WITH SCORE 174264.909
AT ITER 6256 NEW BEST:: SOT 1668150 SOS 1074025 HAS SOPS 794730 HAS SOUS 173891 HAS SOUPS 173092 WITH SCORE 174166.025
AT ITER 6276 NEW BEST:: SOT 1668150 SOS 1073998 HAS SOPS 794703 HAS SOUS 173864 HAS SOUPS 173065 WITH SCORE 174138.998
AT ITER 6335 NEW BEST:: SOT 1674141 SOS 1079989 HAS SOPS 798945 HAS SOUS 173649 HAS SOUPS 172850 WITH SCORE 173929.989
AT ITER 6347 NEW BEST:: SOT 1674089 SOS 1079937 HAS SOPS 798893 HAS SOUS 173649 HAS SOUPS 172850 WITH SCORE 173929.937
AT ITER 6370 NEW BEST:: SOT 1678609 SOS 1084457 HAS SOPS 800229 HAS SOUS 173435 HAS SOUPS 172636 WITH SCORE 173720.457
AT ITER 6377 NEW BEST:: SOT 1678609 SOS 1084527 HAS SOPS 800299 HAS SOUS 173419 HAS SOUPS 172620 WITH SCORE 173704.527
AT ITER 6403 NEW BEST:: SOT 1673342 SOS 1079260 HAS SOPS 799072 HAS SOUS 173419 HAS SOUPS 172620 WITH SCORE 173699.26
AT ITER 6508 NEW BEST:: SOT 1673789 SOS 1079049 HAS SOPS 798637 HAS SOUS 172867 HAS SOUPS 172068 WITH SCORE 173147.049
AT ITER 6514 NEW BEST:: SOT 1673077 SOS 1078337 HAS SOPS 797925 HAS SOUS 172155 HAS SOUPS 171356 WITH SCORE 172434.337
AT ITER 6550 NEW BEST:: SOT 1673118 SOS 1078378 HAS SOPS 797966 HAS SOUS 171995 HAS SOUPS 171196 WITH SCORE 172274.378
AT ITER 6576 NEW BEST:: SOT 1673118 SOS 1078233 HAS SOPS 797821 HAS SOUS 171989 HAS SOUPS 171190 WITH SCORE 172268.233
AT ITER 6583 NEW BEST:: SOT 1672256 SOS 1077371 HAS SOPS 797281 HAS SOUS 171989 HAS SOUPS 171190 WITH SCORE 172267.371
AT ITER 6601 NEW BEST:: SOT 1672256 SOS 1066544 HAS SOPS 786454 HAS SOUS 171671 HAS SOUPS 170872 WITH SCORE 171938.544
AT ITER 6611 NEW BEST:: SOT 1672256 SOS 1066705 HAS SOPS 786615 HAS SOUS 171613 HAS SOUPS 170814 WITH SCORE 171880.705
AT ITER 6618 NEW BEST:: SOT 1673356 SOS 1052866 HAS SOPS 765922 HAS SOUS 170518 HAS SOUPS 169719 WITH SCORE 170771.866
AT ITER 6639 NEW BEST:: SOT 1664444 SOS 1043954 HAS SOPS 762981 HAS SOUS 169782 HAS SOUPS 169009 WITH SCORE 170052.954
AT ITER 6669 NEW BEST:: SOT 1665223 SOS 1044703 HAS SOPS 763730 HAS SOUS 169773 HAS SOUPS 169000 WITH SCORE 170044.703
AT ITER 6783 NEW BEST:: SOT 1659926 SOS 1039406 HAS SOPS 764495 HAS SOUS 169773 HAS SOUPS 169000 WITH SCORE 170039.406
AT ITER 6826 NEW BEST:: SOT 1659926 SOS 1039405 HAS SOPS 764494 HAS SOUS 169767 HAS SOUPS 168994 WITH SCORE 170033.405
AT ITER 7021 NEW BEST:: SOT 1660368 SOS 1039408 HAS SOPS 764497 HAS SOUS 169675 HAS SOUPS 168902 WITH SCORE 169941.408
AT ITER 7035 NEW BEST:: SOT 1660112 SOS 1039152 HAS SOPS 764641 HAS SOUS 169675 HAS SOUPS 168902 WITH SCORE 169941.152
AT ITER 7043 NEW BEST:: SOT 1659798 SOS 1038882 HAS SOPS 764371 HAS SOUS 169508 HAS SOUPS 168735 WITH SCORE 169773.882
AT ITER 7070 NEW BEST:: SOT 1660121 SOS 1039189 HAS SOPS 764678 HAS SOUS 169431 HAS SOUPS 168658 WITH SCORE 169697.189
AT ITER 7213 NEW BEST:: SOT 1660171 SOS 1039239 HAS SOPS 764728 HAS SOUS 169327 HAS SOUPS 168554 WITH SCORE 169593.239
AT ITER 7236 NEW BEST:: SOT 1650013 SOS 1029081 HAS SOPS 763641 HAS SOUS 169327 HAS SOUPS 168554 WITH SCORE 169583.081
AT ITER 7276 NEW BEST:: SOT 1663624 SOS 1042692 HAS SOPS 775671 HAS SOUS 168934 HAS SOUPS 168161 WITH SCORE 169203.692
AT ITER 7295 NEW BEST:: SOT 1663624 SOS 1042649 HAS SOPS 775628 HAS SOUS 168934 HAS SOUPS 168161 WITH SCORE 169203.649
AT ITER 7297 NEW BEST:: SOT 1642475 SOS 1021500 HAS SOPS 758342 HAS SOUS 168822 HAS SOUPS 168049 WITH SCORE 169070.5
AT ITER 7299 NEW BEST:: SOT 1642808 SOS 1021557 HAS SOPS 758387 HAS SOUS 168722 HAS SOUPS 167949 WITH SCORE 168970.557
AT ITER 7324 NEW BEST:: SOT 1642808 SOS 1020899 HAS SOPS 757729 HAS SOUS 168721 HAS SOUPS 167948 WITH SCORE 168968.899
AT ITER 7376 NEW BEST:: SOT 1642808 SOS 1020571 HAS SOPS 757401 HAS SOUS 168660 HAS SOUPS 167887 WITH SCORE 168907.571
AT ITER 7393 NEW BEST:: SOT 1642688 SOS 1020451 HAS SOPS 757281 HAS SOUS 168540 HAS SOUPS 167767 WITH SCORE 168787.451
AT ITER 7437 NEW BEST:: SOT 1631012 SOS 1016714 HAS SOPS 772016 HAS SOUS 167700 HAS SOUPS 167031 WITH SCORE 168047.714
AT ITER 7476 NEW BEST:: SOT 1630293 SOS 1015995 HAS SOPS 771297 HAS SOUS 166981 HAS SOUPS 166312 WITH SCORE 167327.995
AT ITER 7498 NEW BEST:: SOT 1630429 SOS 1016131 HAS SOPS 771433 HAS SOUS 166908 HAS SOUPS 166239 WITH SCORE 167255.131
AT ITER 7507 NEW BEST:: SOT 1630734 SOS 1016436 HAS SOPS 771738 HAS SOUS 166816 HAS SOUPS 166147 WITH SCORE 167163.436
AT ITER 7524 NEW BEST:: SOT 1630734 SOS 1016398 HAS SOPS 771700 HAS SOUS 166778 HAS SOUPS 166109 WITH SCORE 167125.398
AT ITER 7555 NEW BEST:: SOT 1630734 SOS 1016365 HAS SOPS 771667 HAS SOUS 166642 HAS SOUPS 165973 WITH SCORE 166989.365
AT ITER 7679 NEW BEST:: SOT 1633391 SOS 1011083 HAS SOPS 756660 HAS SOUS 165947 HAS SOUPS 165278 WITH SCORE 166289.083
AT ITER 7751 NEW BEST:: SOT 1633391 SOS 1011020 HAS SOPS 756597 HAS SOUS 165947 HAS SOUPS 165278 WITH SCORE 166289.02
AT ITER 7768 NEW BEST:: SOT 1633391 SOS 1011449 HAS SOPS 757026 HAS SOUS 165868 HAS SOUPS 165199 WITH SCORE 166210.449
AT ITER 7778 NEW BEST:: SOT 1632870 SOS 1010928 HAS SOPS 757026 HAS SOUS 165868 HAS SOUPS 165199 WITH SCORE 166209.928
AT ITER 7793 NEW BEST:: SOT 1615987 SOS 994045 HAS SOPS 743166 HAS SOUS 165758 HAS SOUPS 165089 WITH SCORE 166083.045
AT ITER 7851 NEW BEST:: SOT 1628815 SOS 1006873 HAS SOPS 754530 HAS SOUS 165451 HAS SOUPS 164782 WITH SCORE 165788.873
AT ITER 7864 NEW BEST:: SOT 1632676 SOS 1010468 HAS SOPS 747021 HAS SOUS 165430 HAS SOUPS 164761 WITH SCORE 165771.468
AT ITER 7935 NEW BEST:: SOT 1632071 SOS 1009863 HAS SOPS 749583 HAS SOUS 165430 HAS SOUPS 164761 WITH SCORE 165770.863
AT ITER 7972 NEW BEST:: SOT 1628722 SOS 1006514 HAS SOPS 751325 HAS SOUS 165008 HAS SOUPS 164339 WITH SCORE 165345.514
AT ITER 8039 NEW BEST:: SOT 1628948 SOS 1006740 HAS SOPS 751551 HAS SOUS 164994 HAS SOUPS 164325 WITH SCORE 165331.74
AT ITER 8095 NEW BEST:: SOT 1629148 SOS 1006214 HAS SOPS 751025 HAS SOUS 164910 HAS SOUPS 164241 WITH SCORE 165247.214
AT ITER 8103 NEW BEST:: SOT 1629148 SOS 1005862 HAS SOPS 750673 HAS SOUS 164790 HAS SOUPS 164121 WITH SCORE 165126.862
AT ITER 8132 NEW BEST:: SOT 1629267 SOS 1005351 HAS SOPS 750162 HAS SOUS 164743 HAS SOUPS 164074 WITH SCORE 165079.351
AT ITER 8177 NEW BEST:: SOT 1629267 SOS 1005259 HAS SOPS 750070 HAS SOUS 164676 HAS SOUPS 164007 WITH SCORE 165012.259
AT ITER 8338 NEW BEST:: SOT 1629267 SOS 1005259 HAS SOPS 750070 HAS SOUS 164653 HAS SOUPS 163984 WITH SCORE 164989.259
AT ITER 8363 NEW BEST:: SOT 1629267 SOS 1005318 HAS SOPS 750129 HAS SOUS 163970 HAS SOUPS 163301 WITH SCORE 164306.318
AT ITER 8367 NEW BEST:: SOT 1629267 SOS 1004261 HAS SOPS 749072 HAS SOUS 163970 HAS SOUPS 163301 WITH SCORE 164305.261
AT ITER 8488 NEW BEST:: SOT 1629160 SOS 1000863 HAS SOPS 745674 HAS SOUS 163731 HAS SOUPS 163062 WITH SCORE 164062.863
AT ITER 8507 NEW BEST:: SOT 1635467 SOS 1007170 HAS SOPS 750080 HAS SOUS 163503 HAS SOUPS 162834 WITH SCORE 163841.17
AT ITER 8522 NEW BEST:: SOT 1635441 SOS 1007144 HAS SOPS 750054 HAS SOUS 163503 HAS SOUPS 162834 WITH SCORE 163841.144
AT ITER 8542 NEW BEST:: SOT 1635441 SOS 1007144 HAS SOPS 750054 HAS SOUS 163416 HAS SOUPS 162747 WITH SCORE 163754.144
AT ITER 8546 NEW BEST:: SOT 1636169 SOS 1007519 HAS SOPS 750429 HAS SOUS 163346 HAS SOUPS 162677 WITH SCORE 163684.519
AT ITER 8642 NEW BEST:: SOT 1636169 SOS 1007519 HAS SOPS 750429 HAS SOUS 163298 HAS SOUPS 162629 WITH SCORE 163636.519
AT ITER 8693 NEW BEST:: SOT 1636169 SOS 1007507 HAS SOPS 750417 HAS SOUS 163286 HAS SOUPS 162617 WITH SCORE 163624.507
AT ITER 8774 NEW BEST:: SOT 1636373 SOS 1007281 HAS SOPS 750109 HAS SOUS 162824 HAS SOUPS 162155 WITH SCORE 163162.281
AT ITER 8935 NEW BEST:: SOT 1636373 SOS 1007232 HAS SOPS 750060 HAS SOUS 162765 HAS SOUPS 162096 WITH SCORE 163103.232
AT ITER 9041 NEW BEST:: SOT 1636505 SOS 1006650 HAS SOPS 749478 HAS SOUS 162578 HAS SOUPS 161909 WITH SCORE 162915.65
AT ITER 9044 NEW BEST:: SOT 1636305 SOS 1006834 HAS SOPS 749662 HAS SOUS 162547 HAS SOUPS 161878 WITH SCORE 162884.834
AT ITER 9067 NEW BEST:: SOT 1651364 SOS 1021893 HAS SOPS 764552 HAS SOUS 162457 HAS SOUPS 161788 WITH SCORE 162809.893
AT ITER 9104 NEW BEST:: SOT 1651364 SOS 1021893 HAS SOPS 764552 HAS SOUS 162447 HAS SOUPS 161778 WITH SCORE 162799.893
AT ITER 9108 NEW BEST:: SOT 1651364 SOS 1022045 HAS SOPS 764704 HAS SOUS 162295 HAS SOUPS 161626 WITH SCORE 162648.045
AT ITER 9115 NEW BEST:: SOT 1652112 SOS 1022417 HAS SOPS 765076 HAS SOUS 162208 HAS SOUPS 161539 WITH SCORE 162561.417
AT ITER 9157 NEW BEST:: SOT 1652095 SOS 1022400 HAS SOPS 765076 HAS SOUS 162208 HAS SOUPS 161539 WITH SCORE 162561.4
AT ITER 9162 NEW BEST:: SOT 1652175 SOS 1022383 HAS SOPS 765059 HAS SOUS 162190 HAS SOUPS 161521 WITH SCORE 162543.383
AT ITER 9189 NEW BEST:: SOT 1652175 SOS 1022242 HAS SOPS 764918 HAS SOUS 161921 HAS SOUPS 161252 WITH SCORE 162274.242
AT ITER 9210 NEW BEST:: SOT 1662382 SOS 1016101 HAS SOPS 741883 HAS SOUS 160913 HAS SOUPS 160244 WITH SCORE 161260.101
AT ITER 9350 NEW BEST:: SOT 1660367 SOS 1014086 HAS SOPS 742609 HAS SOUS 160913 HAS SOUPS 160244 WITH SCORE 161258.086
AT ITER 9353 NEW BEST:: SOT 1655219 SOS 1008938 HAS SOPS 737461 HAS SOUS 160913 HAS SOUPS 160244 WITH SCORE 161252.938
AT ITER 9373 NEW BEST:: SOT 1655401 SOS 1008345 HAS SOPS 736868 HAS SOUS 160638 HAS SOUPS 159969 WITH SCORE 160977.345
AT ITER 9425 NEW BEST:: SOT 1655820 SOS 1008764 HAS SOPS 737287 HAS SOUS 160406 HAS SOUPS 159737 WITH SCORE 160745.764
AT ITER 9446 NEW BEST:: SOT 1655820 SOS 1008911 HAS SOPS 737434 HAS SOUS 160394 HAS SOUPS 159725 WITH SCORE 160733.911
AT ITER 9464 NEW BEST:: SOT 1655820 SOS 1008542 HAS SOPS 737065 HAS SOUS 160198 HAS SOUPS 159529 WITH SCORE 160537.542
AT ITER 9467 NEW BEST:: SOT 1654941 SOS 1007663 HAS SOPS 737480 HAS SOUS 160198 HAS SOUPS 159529 WITH SCORE 160536.663
AT ITER 9476 NEW BEST:: SOT 1654971 SOS 1007624 HAS SOPS 737441 HAS SOUS 160117 HAS SOUPS 159448 WITH SCORE 160455.624
AT ITER 9568 NEW BEST:: SOT 1654971 SOS 1007580 HAS SOPS 737397 HAS SOUS 159924 HAS SOUPS 159255 WITH SCORE 160262.58
AT ITER 9600 NEW BEST:: SOT 1654659 SOS 1007422 HAS SOPS 737239 HAS SOUS 159766 HAS SOUPS 159097 WITH SCORE 160104.422
AT ITER 9636 NEW BEST:: SOT 1647766 SOS 1000529 HAS SOPS 737270 HAS SOUS 159766 HAS SOUPS 159097 WITH SCORE 160097.529
AT ITER 9637 NEW BEST:: SOT 1646814 SOS 999577 HAS SOPS 736624 HAS SOUS 159766 HAS SOUPS 159097 WITH SCORE 160096.577
AT ITER 9650 NEW BEST:: SOT 1646747 SOS 1000210 HAS SOPS 738004 HAS SOUS 159736 HAS SOUPS 159067 WITH SCORE 160067.21
AT ITER 9653 NEW BEST:: SOT 1655707 SOS 1008449 HAS SOPS 738035 HAS SOUS 159680 HAS SOUPS 159011 WITH SCORE 160019.449
AT ITER 9694 NEW BEST:: SOT 1647823 SOS 1000565 HAS SOPS 730151 HAS SOUS 159680 HAS SOUPS 159011 WITH SCORE 160011.565
AT ITER 9718 NEW BEST:: SOT 1647403 SOS 1000145 HAS SOPS 731812 HAS SOUS 159680 HAS SOUPS 159011 WITH SCORE 160011.145
AT ITER 9748 NEW BEST:: SOT 1647403 SOS 999324 HAS SOPS 730991 HAS SOUS 159368 HAS SOUPS 158699 WITH SCORE 159698.324
AT ITER 9787 NEW BEST:: SOT 1647403 SOS 999305 HAS SOPS 730972 HAS SOUS 159368 HAS SOUPS 158699 WITH SCORE 159698.305
AT ITER 9788 NEW BEST:: SOT 1647473 SOS 999375 HAS SOPS 731042 HAS SOUS 159044 HAS SOUPS 158375 WITH SCORE 159374.375
AT ITER 9813 NEW BEST:: SOT 1647473 SOS 999236 HAS SOPS 730903 HAS SOUS 159043 HAS SOUPS 158374 WITH SCORE 159373.236
AT ITER 9817 NEW BEST:: SOT 1648572 SOS 1000335 HAS SOPS 726521 HAS SOUS 159001 HAS SOUPS 158332 WITH SCORE 159332.335
AT ITER 9856 NEW BEST:: SOT 1648572 SOS 1000335 HAS SOPS 726521 HAS SOUS 158840 HAS SOUPS 158171 WITH SCORE 159171.335
AT ITER 9882 NEW BEST:: SOT 1647056 SOS 998819 HAS SOPS 727744 HAS SOUS 158840 HAS SOUPS 158171 WITH SCORE 159169.819
AT ITER 9910 NEW BEST:: SOT 1647056 SOS 998637 HAS SOPS 727562 HAS SOUS 158653 HAS SOUPS 157984 WITH SCORE 158982.637
AT ITER 9921 NEW BEST:: SOT 1647056 SOS 998569 HAS SOPS 727494 HAS SOUS 158606 HAS SOUPS 157937 WITH SCORE 158935.569
STATE_SPACE STATES 7191257 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 15855218 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679390580033

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r427-tajo-167905979700464"
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 '' 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 ;