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-167905979700488.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-d2m64, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 12K Feb 26 10:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 26 10:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:32 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 1679390523194

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-d2m64
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:22:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:22:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:22:05] [INFO ] Load time of PNML (sax parser for PT used): 171 ms
[2023-03-21 09:22:05] [INFO ] Transformed 2398 places.
[2023-03-21 09:22:05] [INFO ] Transformed 1954 transitions.
[2023-03-21 09:22:05] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 267 ms.
[2023-03-21 09:22:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 30 ms.
Total runtime 336 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m64
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 12 NEW BEST:: SOT 802697 SOS 717996 HAS SOPS 717996 HAS SOUS 631656 HAS SOUPS 631656 WITH SCORE 632373.996
AT ITER 125 NEW BEST:: SOT 804173 SOS 717873 HAS SOPS 717873 HAS SOUS 623849 HAS SOUPS 623849 WITH SCORE 624566.873
AT ITER 203 NEW BEST:: SOT 804173 SOS 717034 HAS SOPS 717034 HAS SOUS 620433 HAS SOUPS 620433 WITH SCORE 621150.034
AT ITER 331 NEW BEST:: SOT 804295 SOS 715789 HAS SOPS 715789 HAS SOUS 606261 HAS SOUPS 606261 WITH SCORE 606976.789
AT ITER 345 NEW BEST:: SOT 804295 SOS 713919 HAS SOPS 713919 HAS SOUS 605325 HAS SOUPS 605325 WITH SCORE 606038.919
AT ITER 366 NEW BEST:: SOT 815365 SOS 722632 HAS SOPS 722632 HAS SOUS 600712 HAS SOUPS 600712 WITH SCORE 601434.632
AT ITER 368 NEW BEST:: SOT 815365 SOS 721387 HAS SOPS 721387 HAS SOUS 591418 HAS SOUPS 591418 WITH SCORE 592139.387
AT ITER 404 NEW BEST:: SOT 815365 SOS 720721 HAS SOPS 720721 HAS SOUS 591414 HAS SOUPS 591414 WITH SCORE 592134.721
AT ITER 475 NEW BEST:: SOT 817881 SOS 721909 HAS SOPS 721797 HAS SOUS 582720 HAS SOUPS 582647 WITH SCORE 583368.909
AT ITER 479 NEW BEST:: SOT 827364 SOS 730089 HAS SOPS 729668 HAS SOUS 578300 HAS SOUPS 578030 WITH SCORE 578760.089
AT ITER 488 NEW BEST:: SOT 827504 SOS 730229 HAS SOPS 729804 HAS SOUS 578296 HAS SOUPS 578026 WITH SCORE 578756.229
AT ITER 542 NEW BEST:: SOT 827504 SOS 730331 HAS SOPS 729906 HAS SOUS 578294 HAS SOUPS 578024 WITH SCORE 578754.331
AT ITER 686 NEW BEST:: SOT 835760 SOS 737309 HAS SOPS 736608 HAS SOUS 566903 HAS SOUPS 566633 WITH SCORE 567370.309
AT ITER 732 NEW BEST:: SOT 845246 SOS 743601 HAS SOPS 742341 HAS SOUS 553674 HAS SOUPS 553404 WITH SCORE 554147.601
AT ITER 772 NEW BEST:: SOT 845246 SOS 743650 HAS SOPS 742390 HAS SOUS 552698 HAS SOUPS 552428 WITH SCORE 553171.65
AT ITER 812 NEW BEST:: SOT 860280 SOS 757082 HAS SOPS 755268 HAS SOUS 547468 HAS SOUPS 547198 WITH SCORE 547955.082
AT ITER 819 NEW BEST:: SOT 860475 SOS 756881 HAS SOPS 755067 HAS SOUS 547267 HAS SOUPS 546997 WITH SCORE 547753.881
AT ITER 820 NEW BEST:: SOT 860475 SOS 755793 HAS SOPS 753979 HAS SOUS 540865 HAS SOUPS 540595 WITH SCORE 541350.793
AT ITER 836 NEW BEST:: SOT 864822 SOS 758442 HAS SOPS 756331 HAS SOUS 529484 HAS SOUPS 529214 WITH SCORE 529972.442
AT ITER 899 NEW BEST:: SOT 877884 SOS 769719 HAS SOPS 767054 HAS SOUS 517845 HAS SOUPS 517575 WITH SCORE 518344.719
AT ITER 904 NEW BEST:: SOT 891131 SOS 778956 HAS SOPS 774860 HAS SOUS 509700 HAS SOUPS 509342 WITH SCORE 510120.956
AT ITER 995 NEW BEST:: SOT 911099 SOS 793701 HAS SOPS 788089 HAS SOUS 504461 HAS SOUPS 504028 WITH SCORE 504821.701
AT ITER 1002 NEW BEST:: SOT 918800 SOS 797826 HAS SOPS 791315 HAS SOUS 493898 HAS SOUPS 493465 WITH SCORE 494262.826
AT ITER 1036 NEW BEST:: SOT 940070 SOS 814078 HAS SOPS 805836 HAS SOUS 483935 HAS SOUPS 483502 WITH SCORE 484316.078
AT ITER 1037 NEW BEST:: SOT 946510 SOS 817788 HAS SOPS 808462 HAS SOUS 473580 HAS SOUPS 473147 WITH SCORE 473964.788
AT ITER 1095 NEW BEST:: SOT 948424 SOS 814089 HAS SOPS 804299 HAS SOUS 462529 HAS SOUPS 462096 WITH SCORE 462910.089
AT ITER 1130 NEW BEST:: SOT 963638 SOS 826355 HAS SOPS 814643 HAS SOUS 454111 HAS SOUPS 453635 WITH SCORE 454461.355
AT ITER 1142 NEW BEST:: SOT 969493 SOS 828957 HAS SOPS 816218 HAS SOUS 443760 HAS SOUPS 443284 WITH SCORE 444112.957
AT ITER 1275 NEW BEST:: SOT 952185 SOS 811649 HAS SOPS 800544 HAS SOUS 442195 HAS SOUPS 441719 WITH SCORE 442530.649
AT ITER 1331 NEW BEST:: SOT 955884 SOS 809120 HAS SOPS 796876 HAS SOUS 431839 HAS SOUPS 431363 WITH SCORE 432172.12
AT ITER 1341 NEW BEST:: SOT 978223 SOS 827756 HAS SOPS 813801 HAS SOUS 428136 HAS SOUPS 427612 WITH SCORE 428439.756
AT ITER 1351 NEW BEST:: SOT 978223 SOS 827428 HAS SOPS 813473 HAS SOUS 428120 HAS SOUPS 427596 WITH SCORE 428423.428
AT ITER 1429 NEW BEST:: SOT 966172 SOS 815377 HAS SOPS 802532 HAS SOUS 421683 HAS SOUPS 421325 WITH SCORE 422140.377
AT ITER 1488 NEW BEST:: SOT 969412 SOS 812229 HAS SOPS 798237 HAS SOUS 411522 HAS SOUPS 411164 WITH SCORE 411976.229
AT ITER 1519 NEW BEST:: SOT 971212 SOS 810518 HAS SOPS 795866 HAS SOUS 403927 HAS SOUPS 403569 WITH SCORE 404379.518
AT ITER 1521 NEW BEST:: SOT 971212 SOS 809109 HAS SOPS 794457 HAS SOUS 403784 HAS SOUPS 403426 WITH SCORE 404235.109
AT ITER 1547 NEW BEST:: SOT 971212 SOS 808916 HAS SOPS 794264 HAS SOUS 403781 HAS SOUPS 403423 WITH SCORE 404231.916
AT ITER 1565 NEW BEST:: SOT 971322 SOS 807982 HAS SOPS 793330 HAS SOUS 403412 HAS SOUPS 403054 WITH SCORE 403861.982
AT ITER 1587 NEW BEST:: SOT 984845 SOS 816294 HAS SOPS 800085 HAS SOUS 394792 HAS SOUPS 394434 WITH SCORE 395250.294
AT ITER 1608 NEW BEST:: SOT 1007365 SOS 834348 HAS SOPS 816582 HAS SOUS 385574 HAS SOUPS 385216 WITH SCORE 386050.348
AT ITER 1612 NEW BEST:: SOT 1034520 SOS 857156 HAS SOPS 837833 HAS SOUS 381005 HAS SOUPS 380647 WITH SCORE 381504.156
AT ITER 1623 NEW BEST:: SOT 1034520 SOS 857134 HAS SOPS 837811 HAS SOUS 380954 HAS SOUPS 380596 WITH SCORE 381453.134
AT ITER 1709 NEW BEST:: SOT 1034520 SOS 855781 HAS SOPS 836458 HAS SOUS 379724 HAS SOUPS 379366 WITH SCORE 380221.781
AT ITER 1773 NEW BEST:: SOT 1034520 SOS 848569 HAS SOPS 829246 HAS SOUS 371742 HAS SOUPS 371384 WITH SCORE 372232.569
AT ITER 1844 NEW BEST:: SOT 1034520 SOS 847471 HAS SOPS 828148 HAS SOUS 371602 HAS SOUPS 371244 WITH SCORE 372091.471
AT ITER 1846 NEW BEST:: SOT 1067991 SOS 876608 HAS SOPS 855728 HAS SOUS 370016 HAS SOUPS 369658 WITH SCORE 370534.608
AT ITER 1852 NEW BEST:: SOT 1068225 SOS 875456 HAS SOPS 854576 HAS SOUS 370007 HAS SOUPS 369649 WITH SCORE 370524.456
AT ITER 1911 NEW BEST:: SOT 1068443 SOS 875233 HAS SOPS 854353 HAS SOUS 370004 HAS SOUPS 369646 WITH SCORE 370521.233
AT ITER 1925 NEW BEST:: SOT 1068443 SOS 872859 HAS SOPS 851979 HAS SOUS 365708 HAS SOUPS 365350 WITH SCORE 366222.859
AT ITER 1938 NEW BEST:: SOT 1068443 SOS 870511 HAS SOPS 849631 HAS SOUS 361529 HAS SOUPS 361171 WITH SCORE 362041.511
AT ITER 1939 NEW BEST:: SOT 1068498 SOS 870566 HAS SOPS 849686 HAS SOUS 361434 HAS SOUPS 361076 WITH SCORE 361946.566
AT ITER 1958 NEW BEST:: SOT 1068498 SOS 869941 HAS SOPS 849061 HAS SOUS 360224 HAS SOUPS 359866 WITH SCORE 360735.941
AT ITER 2002 NEW BEST:: SOT 1068498 SOS 869964 HAS SOPS 849084 HAS SOUS 360212 HAS SOUPS 359854 WITH SCORE 360723.964
AT ITER 2009 NEW BEST:: SOT 1068498 SOS 867770 HAS SOPS 846890 HAS SOUS 359273 HAS SOUPS 358915 WITH SCORE 359782.77
AT ITER 2044 NEW BEST:: SOT 1068498 SOS 867741 HAS SOPS 846861 HAS SOUS 359243 HAS SOUPS 358885 WITH SCORE 359752.741
AT ITER 2053 NEW BEST:: SOT 1069798 SOS 869041 HAS SOPS 848161 HAS SOUS 359241 HAS SOUPS 358883 WITH SCORE 359752.041
AT ITER 2054 NEW BEST:: SOT 1069798 SOS 862633 HAS SOPS 841753 HAS SOUS 354200 HAS SOUPS 353842 WITH SCORE 354704.633
AT ITER 2125 NEW BEST:: SOT 1069798 SOS 855706 HAS SOPS 834826 HAS SOUS 346834 HAS SOUPS 346476 WITH SCORE 347331.706
AT ITER 2164 NEW BEST:: SOT 1097365 SOS 883207 HAS SOPS 860770 HAS SOUS 346320 HAS SOUPS 345962 WITH SCORE 346845.207
AT ITER 2185 NEW BEST:: SOT 1118748 SOS 902175 HAS SOPS 878181 HAS SOUS 342337 HAS SOUPS 341979 WITH SCORE 342881.175
AT ITER 2229 NEW BEST:: SOT 1118748 SOS 899450 HAS SOPS 875456 HAS SOUS 341195 HAS SOUPS 340837 WITH SCORE 341736.45
AT ITER 2253 NEW BEST:: SOT 1127489 SOS 902988 HAS SOPS 877511 HAS SOUS 333016 HAS SOUPS 332658 WITH SCORE 333560.988
AT ITER 2277 NEW BEST:: SOT 1128004 SOS 903503 HAS SOPS 878026 HAS SOUS 331853 HAS SOUPS 331495 WITH SCORE 332398.503
AT ITER 2299 NEW BEST:: SOT 1128004 SOS 903503 HAS SOPS 878026 HAS SOUS 331843 HAS SOUPS 331485 WITH SCORE 332388.503
AT ITER 2312 NEW BEST:: SOT 1157947 SOS 928261 HAS SOPS 901227 HAS SOUS 323609 HAS SOUPS 323251 WITH SCORE 324179.261
AT ITER 2345 NEW BEST:: SOT 1173612 SOS 933959 HAS SOPS 899763 HAS SOUS 322731 HAS SOUPS 322174 WITH SCORE 323107.959
AT ITER 2354 NEW BEST:: SOT 1178443 SOS 933026 HAS SOPS 897519 HAS SOUS 314853 HAS SOUPS 314296 WITH SCORE 315229.026
AT ITER 2388 NEW BEST:: SOT 1173691 SOS 928274 HAS SOPS 892767 HAS SOUS 311325 HAS SOUPS 310768 WITH SCORE 311696.274
AT ITER 2394 NEW BEST:: SOT 1197461 SOS 946772 HAS SOPS 909151 HAS SOUS 303497 HAS SOUPS 302940 WITH SCORE 303886.772
AT ITER 2457 NEW BEST:: SOT 1197803 SOS 946301 HAS SOPS 908680 HAS SOUS 303451 HAS SOUPS 302894 WITH SCORE 303840.301
AT ITER 2464 NEW BEST:: SOT 1197803 SOS 945722 HAS SOPS 908101 HAS SOUS 303410 HAS SOUPS 302853 WITH SCORE 303798.722
AT ITER 2501 NEW BEST:: SOT 1189501 SOS 937420 HAS SOPS 899933 HAS SOUS 303316 HAS SOUPS 302759 WITH SCORE 303696.42
AT ITER 2517 NEW BEST:: SOT 1189501 SOS 937377 HAS SOPS 899890 HAS SOUS 303316 HAS SOUPS 302759 WITH SCORE 303696.377
AT ITER 2569 NEW BEST:: SOT 1216403 SOS 962537 HAS SOPS 922936 HAS SOUS 299839 HAS SOUPS 299282 WITH SCORE 300244.537
AT ITER 2571 NEW BEST:: SOT 1250289 SOS 991189 HAS SOPS 949474 HAS SOUS 296547 HAS SOUPS 295990 WITH SCORE 296981.189
AT ITER 2574 NEW BEST:: SOT 1269324 SOS 1010224 HAS SOPS 967168 HAS SOUS 296067 HAS SOUPS 295510 WITH SCORE 296520.224
AT ITER 2587 NEW BEST:: SOT 1271556 SOS 1005588 HAS SOPS 959680 HAS SOUS 291099 HAS SOUPS 290542 WITH SCORE 291547.588
AT ITER 2622 NEW BEST:: SOT 1271556 SOS 1005582 HAS SOPS 959674 HAS SOUS 291099 HAS SOUPS 290542 WITH SCORE 291547.582
AT ITER 2702 NEW BEST:: SOT 1251777 SOS 985803 HAS SOPS 941687 HAS SOUS 291036 HAS SOUPS 290479 WITH SCORE 291464.803
AT ITER 2706 NEW BEST:: SOT 1254866 SOS 983091 HAS SOPS 937780 HAS SOUS 283694 HAS SOUPS 283137 WITH SCORE 284120.091
AT ITER 2718 NEW BEST:: SOT 1254866 SOS 980940 HAS SOPS 935629 HAS SOUS 281534 HAS SOUPS 280977 WITH SCORE 281957.94
AT ITER 2781 NEW BEST:: SOT 1294105 SOS 1014179 HAS SOPS 966630 HAS SOUS 278894 HAS SOUPS 278337 WITH SCORE 279351.179
AT ITER 2812 NEW BEST:: SOT 1294105 SOS 1014451 HAS SOPS 966902 HAS SOUS 278600 HAS SOUPS 278043 WITH SCORE 279057.451
AT ITER 2902 NEW BEST:: SOT 1294105 SOS 1014341 HAS SOPS 966792 HAS SOUS 278595 HAS SOUPS 278038 WITH SCORE 279052.341
AT ITER 2911 NEW BEST:: SOT 1282501 SOS 1002737 HAS SOPS 956460 HAS SOUS 278595 HAS SOUPS 278038 WITH SCORE 279040.737
AT ITER 2943 NEW BEST:: SOT 1282327 SOS 1002580 HAS SOPS 956303 HAS SOUS 278438 HAS SOUPS 277881 WITH SCORE 278883.58
AT ITER 2944 NEW BEST:: SOT 1326997 SOS 1041582 HAS SOPS 993067 HAS SOUS 277336 HAS SOUPS 276779 WITH SCORE 277820.582
AT ITER 2959 NEW BEST:: SOT 1326997 SOS 1041631 HAS SOPS 993116 HAS SOUS 277305 HAS SOUPS 276748 WITH SCORE 277789.631
AT ITER 2982 NEW BEST:: SOT 1326997 SOS 1041528 HAS SOPS 993013 HAS SOUS 277179 HAS SOUPS 276622 WITH SCORE 277663.528
AT ITER 2983 NEW BEST:: SOT 1324449 SOS 1038980 HAS SOPS 993575 HAS SOUS 277179 HAS SOUPS 276622 WITH SCORE 277660.98
AT ITER 2998 NEW BEST:: SOT 1342165 SOS 1045961 HAS SOPS 989326 HAS SOUS 276950 HAS SOUPS 276244 WITH SCORE 277289.961
AT ITER 3057 NEW BEST:: SOT 1342165 SOS 1045961 HAS SOPS 989326 HAS SOUS 276902 HAS SOUPS 276196 WITH SCORE 277241.961
AT ITER 3151 NEW BEST:: SOT 1333849 SOS 1037645 HAS SOPS 981010 HAS SOUS 276902 HAS SOUPS 276196 WITH SCORE 277233.645
AT ITER 3182 NEW BEST:: SOT 1345906 SOS 1043609 HAS SOPS 984631 HAS SOUS 269682 HAS SOUPS 268976 WITH SCORE 270019.609
AT ITER 3234 NEW BEST:: SOT 1375485 SOS 1073188 HAS SOPS 1013441 HAS SOUS 269260 HAS SOUPS 268554 WITH SCORE 269627.188
AT ITER 3258 NEW BEST:: SOT 1398606 SOS 1096309 HAS SOPS 1036499 HAS SOUS 269197 HAS SOUPS 268491 WITH SCORE 269587.309
AT ITER 3307 NEW BEST:: SOT 1423180 SOS 1118144 HAS SOPS 1055528 HAS SOUS 265754 HAS SOUPS 265048 WITH SCORE 266166.144
AT ITER 3313 NEW BEST:: SOT 1423180 SOS 1118120 HAS SOPS 1055504 HAS SOUS 265731 HAS SOUPS 265025 WITH SCORE 266143.12
AT ITER 3322 NEW BEST:: SOT 1459794 SOS 1148601 HAS SOPS 1083179 HAS SOUS 258171 HAS SOUPS 257465 WITH SCORE 258613.601
AT ITER 3341 NEW BEST:: SOT 1462278 SOS 1144437 HAS SOPS 1077920 HAS SOUS 250843 HAS SOUPS 250137 WITH SCORE 251281.437
AT ITER 3368 NEW BEST:: SOT 1462278 SOS 1144441 HAS SOPS 1077924 HAS SOUS 250839 HAS SOUPS 250133 WITH SCORE 251277.441
AT ITER 3503 NEW BEST:: SOT 1490923 SOS 1173086 HAS SOPS 1105478 HAS SOUS 250342 HAS SOUPS 249636 WITH SCORE 250809.086
AT ITER 3529 NEW BEST:: SOT 1505496 SOS 1181686 HAS SOPS 1111587 HAS SOUS 243150 HAS SOUPS 242444 WITH SCORE 243625.686
AT ITER 3531 NEW BEST:: SOT 1505496 SOS 1181662 HAS SOPS 1111563 HAS SOUS 243067 HAS SOUPS 242361 WITH SCORE 243542.662
AT ITER 3551 NEW BEST:: SOT 1517425 SOS 1190149 HAS SOPS 1106764 HAS SOUS 241998 HAS SOUPS 241292 WITH SCORE 242482.149
AT ITER 3593 NEW BEST:: SOT 1525818 SOS 1185654 HAS SOPS 1091023 HAS SOUS 238738 HAS SOUPS 238032 WITH SCORE 239217.654
AT ITER 3609 NEW BEST:: SOT 1539268 SOS 1185316 HAS SOPS 1076552 HAS SOUS 235244 HAS SOUPS 234538 WITH SCORE 235723.316
AT ITER 3699 NEW BEST:: SOT 1539268 SOS 1185316 HAS SOPS 1076552 HAS SOUS 235243 HAS SOUPS 234537 WITH SCORE 235722.316
AT ITER 3709 NEW BEST:: SOT 1535345 SOS 1181393 HAS SOPS 1072961 HAS SOUS 235243 HAS SOUPS 234537 WITH SCORE 235718.393
AT ITER 3715 NEW BEST:: SOT 1572878 SOS 1211666 HAS SOPS 1098661 HAS SOUS 229261 HAS SOUPS 228555 WITH SCORE 229766.666
AT ITER 3794 NEW BEST:: SOT 1572878 SOS 1211375 HAS SOPS 1098370 HAS SOUS 229150 HAS SOUPS 228444 WITH SCORE 229655.375
AT ITER 3806 NEW BEST:: SOT 1572824 SOS 1211321 HAS SOPS 1098385 HAS SOUS 229150 HAS SOUPS 228444 WITH SCORE 229655.321
AT ITER 3819 NEW BEST:: SOT 1572824 SOS 1210843 HAS SOPS 1097907 HAS SOUS 228930 HAS SOUPS 228224 WITH SCORE 229434.843
AT ITER 3876 NEW BEST:: SOT 1572824 SOS 1210840 HAS SOPS 1097904 HAS SOUS 228930 HAS SOUPS 228224 WITH SCORE 229434.84
AT ITER 3923 NEW BEST:: SOT 1576573 SOS 1201747 HAS SOPS 1081162 HAS SOUS 226160 HAS SOUPS 225454 WITH SCORE 226655.747
AT ITER 3930 NEW BEST:: SOT 1576639 SOS 1201588 HAS SOPS 1081003 HAS SOUS 225905 HAS SOUPS 225199 WITH SCORE 226400.588
AT ITER 3964 NEW BEST:: SOT 1576720 SOS 1201374 HAS SOPS 1080789 HAS SOUS 225837 HAS SOUPS 225131 WITH SCORE 226332.374
AT ITER 3970 NEW BEST:: SOT 1576910 SOS 1201131 HAS SOPS 1080546 HAS SOUS 225808 HAS SOUPS 225102 WITH SCORE 226303.131
AT ITER 4001 NEW BEST:: SOT 1577065 SOS 1201064 HAS SOPS 1080430 HAS SOUS 225537 HAS SOUPS 224831 WITH SCORE 226032.064
AT ITER 4028 NEW BEST:: SOT 1577065 SOS 1195905 HAS SOPS 1075271 HAS SOUS 222071 HAS SOUPS 221365 WITH SCORE 222560.905
AT ITER 4065 NEW BEST:: SOT 1577065 SOS 1183671 HAS SOPS 1063037 HAS SOUS 220194 HAS SOUPS 219488 WITH SCORE 220671.671
AT ITER 4089 NEW BEST:: SOT 1584275 SOS 1183982 HAS SOPS 1060154 HAS SOUS 214927 HAS SOUPS 214221 WITH SCORE 215404.982
AT ITER 4098 NEW BEST:: SOT 1585550 SOS 1184625 HAS SOPS 1056588 HAS SOUS 214770 HAS SOUPS 214064 WITH SCORE 215248.625
AT ITER 4148 NEW BEST:: SOT 1589334 SOS 1179259 HAS SOPS 1049086 HAS SOUS 209425 HAS SOUPS 208719 WITH SCORE 209898.259
AT ITER 4188 NEW BEST:: SOT 1585226 SOS 1175151 HAS SOPS 1047348 HAS SOUS 208567 HAS SOUPS 207894 WITH SCORE 209069.151
AT ITER 4213 NEW BEST:: SOT 1585226 SOS 1174906 HAS SOPS 1047103 HAS SOUS 208567 HAS SOUPS 207894 WITH SCORE 209068.906
AT ITER 4264 NEW BEST:: SOT 1591241 SOS 1166808 HAS SOPS 1028005 HAS SOUS 206612 HAS SOUPS 205939 WITH SCORE 207105.808
AT ITER 4270 NEW BEST:: SOT 1591732 SOS 1162478 HAS SOPS 1021460 HAS SOUS 205688 HAS SOUPS 205015 WITH SCORE 206177.478
AT ITER 4297 NEW BEST:: SOT 1591732 SOS 1162478 HAS SOPS 1021460 HAS SOUS 205652 HAS SOUPS 204979 WITH SCORE 206141.478
AT ITER 4299 NEW BEST:: SOT 1591766 SOS 1162276 HAS SOPS 1021258 HAS SOUS 205525 HAS SOUPS 204852 WITH SCORE 206014.276
AT ITER 4343 NEW BEST:: SOT 1567465 SOS 1137975 HAS SOPS 997594 HAS SOUS 205077 HAS SOUPS 204404 WITH SCORE 205541.975
AT ITER 4348 NEW BEST:: SOT 1567569 SOS 1136872 HAS SOPS 996491 HAS SOUS 204771 HAS SOUPS 204098 WITH SCORE 205234.872
AT ITER 4350 NEW BEST:: SOT 1555936 SOS 1125239 HAS SOPS 995652 HAS SOUS 203205 HAS SOUPS 202590 WITH SCORE 203715.239
AT ITER 4356 NEW BEST:: SOT 1555936 SOS 1121697 HAS SOPS 992110 HAS SOUS 201112 HAS SOUPS 200497 WITH SCORE 201618.697
AT ITER 4379 NEW BEST:: SOT 1555936 SOS 1121616 HAS SOPS 992029 HAS SOUS 201079 HAS SOUPS 200464 WITH SCORE 201585.616
AT ITER 4433 NEW BEST:: SOT 1555936 SOS 1121209 HAS SOPS 991622 HAS SOUS 201079 HAS SOUPS 200464 WITH SCORE 201585.209
AT ITER 4454 NEW BEST:: SOT 1555520 SOS 1120793 HAS SOPS 991206 HAS SOUS 200663 HAS SOUPS 200048 WITH SCORE 201168.793
AT ITER 4456 NEW BEST:: SOT 1555520 SOS 1110571 HAS SOPS 980984 HAS SOUS 200005 HAS SOUPS 199390 WITH SCORE 200500.571
AT ITER 4500 NEW BEST:: SOT 1555520 SOS 1096714 HAS SOPS 967127 HAS SOUS 198921 HAS SOUPS 198306 WITH SCORE 199402.714
AT ITER 4564 NEW BEST:: SOT 1555773 SOS 1096488 HAS SOPS 966901 HAS SOUS 198758 HAS SOUPS 198143 WITH SCORE 199239.488
AT ITER 4596 NEW BEST:: SOT 1555773 SOS 1096445 HAS SOPS 966858 HAS SOUS 198757 HAS SOUPS 198142 WITH SCORE 199238.445
AT ITER 4652 NEW BEST:: SOT 1555578 SOS 1096271 HAS SOPS 966733 HAS SOUS 198565 HAS SOUPS 197950 WITH SCORE 199046.271
AT ITER 4661 NEW BEST:: SOT 1555578 SOS 1096369 HAS SOPS 966831 HAS SOUS 198255 HAS SOUPS 197640 WITH SCORE 198736.369
AT ITER 4682 NEW BEST:: SOT 1555578 SOS 1096369 HAS SOPS 966831 HAS SOUS 198254 HAS SOUPS 197639 WITH SCORE 198735.369
AT ITER 4698 NEW BEST:: SOT 1579799 SOS 1120590 HAS SOPS 990757 HAS SOUS 198115 HAS SOUPS 197500 WITH SCORE 198620.59
AT ITER 4788 NEW BEST:: SOT 1588773 SOS 1114478 HAS SOPS 971571 HAS SOUS 196454 HAS SOUPS 195839 WITH SCORE 196953.478
AT ITER 4824 NEW BEST:: SOT 1588773 SOS 1100968 HAS SOPS 958061 HAS SOUS 195754 HAS SOUPS 195139 WITH SCORE 196239.968
AT ITER 4844 NEW BEST:: SOT 1588773 SOS 1100968 HAS SOPS 958061 HAS SOUS 195750 HAS SOUPS 195135 WITH SCORE 196235.968
AT ITER 4848 NEW BEST:: SOT 1587940 SOS 1100135 HAS SOPS 958445 HAS SOUS 195750 HAS SOUPS 195135 WITH SCORE 196235.135
AT ITER 4955 NEW BEST:: SOT 1587940 SOS 1100110 HAS SOPS 958420 HAS SOUS 195725 HAS SOUPS 195110 WITH SCORE 196210.11
AT ITER 5042 NEW BEST:: SOT 1586059 SOS 1098229 HAS SOPS 961095 HAS SOUS 195725 HAS SOUPS 195110 WITH SCORE 196208.229
AT ITER 5068 NEW BEST:: SOT 1590929 SOS 1089235 HAS SOPS 942211 HAS SOUS 193956 HAS SOUPS 193341 WITH SCORE 194430.235
AT ITER 5183 NEW BEST:: SOT 1600437 SOS 1098743 HAS SOPS 950967 HAS SOUS 193741 HAS SOUPS 193126 WITH SCORE 194224.743
AT ITER 5216 NEW BEST:: SOT 1600450 SOS 1098668 HAS SOPS 950879 HAS SOUS 193650 HAS SOUPS 193035 WITH SCORE 194133.668
AT ITER 5231 NEW BEST:: SOT 1600682 SOS 1098283 HAS SOPS 950494 HAS SOUS 193471 HAS SOUPS 192856 WITH SCORE 193954.283
AT ITER 5233 NEW BEST:: SOT 1609420 SOS 1107021 HAS SOPS 959114 HAS SOUS 193391 HAS SOUPS 192776 WITH SCORE 193883.021
AT ITER 5239 NEW BEST:: SOT 1622485 SOS 1110616 HAS SOPS 957486 HAS SOUS 189625 HAS SOUPS 189010 WITH SCORE 190120.616
AT ITER 5276 NEW BEST:: SOT 1600740 SOS 1088871 HAS SOPS 939415 HAS SOUS 189464 HAS SOUPS 188849 WITH SCORE 189937.871
AT ITER 5301 NEW BEST:: SOT 1600740 SOS 1088871 HAS SOPS 939415 HAS SOUS 189452 HAS SOUPS 188837 WITH SCORE 189925.871
AT ITER 5349 NEW BEST:: SOT 1595628 SOS 1083759 HAS SOPS 934303 HAS SOUS 189452 HAS SOUPS 188837 WITH SCORE 189920.759
AT ITER 5383 NEW BEST:: SOT 1596061 SOS 1083852 HAS SOPS 934396 HAS SOUS 189188 HAS SOUPS 188573 WITH SCORE 189656.852
AT ITER 5416 NEW BEST:: SOT 1595628 SOS 1083612 HAS SOPS 934156 HAS SOUS 189158 HAS SOUPS 188543 WITH SCORE 189626.612
AT ITER 5419 NEW BEST:: SOT 1595855 SOS 1083328 HAS SOPS 933872 HAS SOUS 188644 HAS SOUPS 188029 WITH SCORE 189112.328
AT ITER 5465 NEW BEST:: SOT 1615503 SOS 1102976 HAS SOPS 951820 HAS SOUS 188301 HAS SOUPS 187686 WITH SCORE 188788.976
AT ITER 5478 NEW BEST:: SOT 1616252 SOS 1103659 HAS SOPS 952503 HAS SOUS 188298 HAS SOUPS 187683 WITH SCORE 188786.659
AT ITER 5576 NEW BEST:: SOT 1613012 SOS 1100419 HAS SOPS 949263 HAS SOUS 188298 HAS SOUPS 187683 WITH SCORE 188783.419
AT ITER 5760 NEW BEST:: SOT 1613012 SOS 1100132 HAS SOPS 948976 HAS SOUS 188284 HAS SOUPS 187669 WITH SCORE 188769.132
AT ITER 5800 NEW BEST:: SOT 1635971 SOS 1123091 HAS SOPS 968830 HAS SOUS 187798 HAS SOUPS 187183 WITH SCORE 188306.091
AT ITER 5851 NEW BEST:: SOT 1636062 SOS 1122044 HAS SOPS 967783 HAS SOUS 187175 HAS SOUPS 186560 WITH SCORE 187682.044
AT ITER 5855 NEW BEST:: SOT 1636062 SOS 1121857 HAS SOPS 967596 HAS SOUS 186793 HAS SOUPS 186178 WITH SCORE 187299.857
AT ITER 5893 NEW BEST:: SOT 1635937 SOS 1124503 HAS SOPS 970242 HAS SOUS 186631 HAS SOUPS 186016 WITH SCORE 187140.503
AT ITER 5949 NEW BEST:: SOT 1635937 SOS 1123938 HAS SOPS 969677 HAS SOUS 186631 HAS SOUPS 186016 WITH SCORE 187139.938
AT ITER 5997 NEW BEST:: SOT 1637437 SOS 1125438 HAS SOPS 971177 HAS SOUS 185796 HAS SOUPS 185181 WITH SCORE 186306.438
AT ITER 5999 NEW BEST:: SOT 1637437 SOS 1125203 HAS SOPS 970942 HAS SOUS 185794 HAS SOUPS 185179 WITH SCORE 186304.203
AT ITER 6045 NEW BEST:: SOT 1637437 SOS 1123809 HAS SOPS 969548 HAS SOUS 185726 HAS SOUPS 185111 WITH SCORE 186234.809
AT ITER 6056 NEW BEST:: SOT 1637437 SOS 1123383 HAS SOPS 969122 HAS SOUS 185416 HAS SOUPS 184801 WITH SCORE 185924.383
AT ITER 6080 NEW BEST:: SOT 1637437 SOS 1123349 HAS SOPS 969088 HAS SOUS 185382 HAS SOUPS 184767 WITH SCORE 185890.349
AT ITER 6084 NEW BEST:: SOT 1637437 SOS 1123180 HAS SOPS 968919 HAS SOUS 184558 HAS SOUPS 183943 WITH SCORE 185066.18
AT ITER 6091 NEW BEST:: SOT 1634830 SOS 1120573 HAS SOPS 970347 HAS SOUS 184558 HAS SOUPS 183943 WITH SCORE 185063.573
AT ITER 6098 NEW BEST:: SOT 1635006 SOS 1120089 HAS SOPS 969863 HAS SOUS 184092 HAS SOUPS 183477 WITH SCORE 184597.089
AT ITER 6105 NEW BEST:: SOT 1617209 SOS 1102292 HAS SOPS 952066 HAS SOUS 183611 HAS SOUPS 182996 WITH SCORE 184098.292
AT ITER 6153 NEW BEST:: SOT 1618407 SOS 1093729 HAS SOPS 941508 HAS SOUS 181456 HAS SOUPS 180841 WITH SCORE 181934.729
AT ITER 6167 NEW BEST:: SOT 1620327 SOS 1084186 HAS SOPS 925275 HAS SOUS 180675 HAS SOUPS 180060 WITH SCORE 181144.186
AT ITER 6315 NEW BEST:: SOT 1617301 SOS 1081160 HAS SOPS 925127 HAS SOUS 180675 HAS SOUPS 180060 WITH SCORE 181141.16
AT ITER 6319 NEW BEST:: SOT 1617847 SOS 1081476 HAS SOPS 925443 HAS SOUS 180555 HAS SOUPS 179940 WITH SCORE 181021.476
AT ITER 6332 NEW BEST:: SOT 1617722 SOS 1081336 HAS SOPS 925303 HAS SOUS 180497 HAS SOUPS 179882 WITH SCORE 180963.336
AT ITER 6392 NEW BEST:: SOT 1618515 SOS 1081948 HAS SOPS 925538 HAS SOUS 180412 HAS SOUPS 179797 WITH SCORE 180878.948
AT ITER 6494 NEW BEST:: SOT 1618742 SOS 1082157 HAS SOPS 925747 HAS SOUS 180393 HAS SOUPS 179778 WITH SCORE 180860.157
AT ITER 6527 NEW BEST:: SOT 1638274 SOS 1101689 HAS SOPS 945083 HAS SOUS 180286 HAS SOUPS 179671 WITH SCORE 180772.689
AT ITER 6548 NEW BEST:: SOT 1640968 SOS 1103287 HAS SOPS 938684 HAS SOUS 180142 HAS SOUPS 179527 WITH SCORE 180630.287
AT ITER 6593 NEW BEST:: SOT 1643479 SOS 1105798 HAS SOPS 940502 HAS SOUS 180053 HAS SOUPS 179438 WITH SCORE 180543.798
AT ITER 6611 NEW BEST:: SOT 1678257 SOS 1139316 HAS SOPS 968406 HAS SOUS 178922 HAS SOUPS 178307 WITH SCORE 179446.316
AT ITER 6615 NEW BEST:: SOT 1678266 SOS 1139218 HAS SOPS 968299 HAS SOUS 178815 HAS SOUPS 178200 WITH SCORE 179339.218
AT ITER 6643 NEW BEST:: SOT 1678338 SOS 1139215 HAS SOPS 968296 HAS SOUS 178696 HAS SOUPS 178081 WITH SCORE 179220.215
AT ITER 6661 NEW BEST:: SOT 1709978 SOS 1170855 HAS SOPS 998852 HAS SOUS 178407 HAS SOUPS 177792 WITH SCORE 178962.855
AT ITER 6693 NEW BEST:: SOT 1710017 SOS 1170838 HAS SOPS 998796 HAS SOUS 178351 HAS SOUPS 177736 WITH SCORE 178906.838
AT ITER 6702 NEW BEST:: SOT 1709477 SOS 1170298 HAS SOPS 998256 HAS SOUS 178351 HAS SOUPS 177736 WITH SCORE 178906.298
AT ITER 6772 NEW BEST:: SOT 1709455 SOS 1170276 HAS SOPS 998234 HAS SOUS 178329 HAS SOUPS 177714 WITH SCORE 178884.276
AT ITER 6797 NEW BEST:: SOT 1709455 SOS 1169834 HAS SOPS 997792 HAS SOUS 177888 HAS SOUPS 177273 WITH SCORE 178442.834
AT ITER 6815 NEW BEST:: SOT 1709455 SOS 1169602 HAS SOPS 997560 HAS SOUS 177644 HAS SOUPS 177029 WITH SCORE 178198.602
AT ITER 6817 NEW BEST:: SOT 1709455 SOS 1168442 HAS SOPS 996400 HAS SOUS 175246 HAS SOUPS 174631 WITH SCORE 175799.442
AT ITER 6829 NEW BEST:: SOT 1709517 SOS 1167112 HAS SOPS 994404 HAS SOUS 175111 HAS SOUPS 174496 WITH SCORE 175663.112
AT ITER 6900 NEW BEST:: SOT 1709181 SOS 1166776 HAS SOPS 996384 HAS SOUS 175111 HAS SOUPS 174496 WITH SCORE 175662.776
AT ITER 6944 NEW BEST:: SOT 1699209 SOS 1156804 HAS SOPS 986412 HAS SOUS 175111 HAS SOUPS 174496 WITH SCORE 175652.804
AT ITER 6997 NEW BEST:: SOT 1699409 SOS 1156947 HAS SOPS 986355 HAS SOUS 175038 HAS SOUPS 174423 WITH SCORE 175579.947
AT ITER 7018 NEW BEST:: SOT 1699409 SOS 1156930 HAS SOPS 986338 HAS SOUS 175038 HAS SOUPS 174423 WITH SCORE 175579.93
AT ITER 7054 NEW BEST:: SOT 1696673 SOS 1154194 HAS SOPS 983602 HAS SOUS 175038 HAS SOUPS 174423 WITH SCORE 175577.194
AT ITER 7102 NEW BEST:: SOT 1696673 SOS 1154194 HAS SOPS 983602 HAS SOUS 175035 HAS SOUPS 174420 WITH SCORE 175574.194
AT ITER 7109 NEW BEST:: SOT 1696673 SOS 1153332 HAS SOPS 982740 HAS SOUS 174710 HAS SOUPS 174095 WITH SCORE 175248.332
AT ITER 7198 NEW BEST:: SOT 1697714 SOS 1154373 HAS SOPS 983781 HAS SOUS 174611 HAS SOUPS 173996 WITH SCORE 175150.373
AT ITER 7202 NEW BEST:: SOT 1698494 SOS 1140622 HAS SOPS 965480 HAS SOUS 173646 HAS SOUPS 173031 WITH SCORE 174171.622
AT ITER 7293 NEW BEST:: SOT 1698494 SOS 1140622 HAS SOPS 965480 HAS SOUS 173644 HAS SOUPS 173029 WITH SCORE 174169.622
AT ITER 7328 NEW BEST:: SOT 1684290 SOS 1126418 HAS SOPS 952353 HAS SOUS 173519 HAS SOUPS 172904 WITH SCORE 174030.418
AT ITER 7354 NEW BEST:: SOT 1684330 SOS 1126327 HAS SOPS 952256 HAS SOUS 173421 HAS SOUPS 172806 WITH SCORE 173932.327
AT ITER 7363 NEW BEST:: SOT 1684330 SOS 1119749 HAS SOPS 945678 HAS SOUS 172310 HAS SOUPS 171695 WITH SCORE 172814.749
AT ITER 7374 NEW BEST:: SOT 1683820 SOS 1119239 HAS SOPS 945287 HAS SOUS 172310 HAS SOUPS 171695 WITH SCORE 172814.239
AT ITER 7375 NEW BEST:: SOT 1682211 SOS 1117630 HAS SOPS 947071 HAS SOUS 172310 HAS SOUPS 171695 WITH SCORE 172812.63
AT ITER 7446 NEW BEST:: SOT 1691498 SOS 1124151 HAS SOPS 948659 HAS SOUS 171092 HAS SOUPS 170477 WITH SCORE 171601.151
AT ITER 7506 NEW BEST:: SOT 1709519 SOS 1142172 HAS SOPS 966377 HAS SOUS 170951 HAS SOUPS 170336 WITH SCORE 171478.172
AT ITER 7516 NEW BEST:: SOT 1709999 SOS 1142652 HAS SOPS 966857 HAS SOUS 170944 HAS SOUPS 170329 WITH SCORE 171471.652
AT ITER 7548 NEW BEST:: SOT 1710056 SOS 1142628 HAS SOPS 966833 HAS SOUS 170406 HAS SOUPS 169791 WITH SCORE 170933.628
AT ITER 7562 NEW BEST:: SOT 1710056 SOS 1141795 HAS SOPS 966000 HAS SOUS 170389 HAS SOUPS 169774 WITH SCORE 170915.795
AT ITER 7599 NEW BEST:: SOT 1721153 SOS 1152892 HAS SOPS 976458 HAS SOUS 170169 HAS SOUPS 169554 WITH SCORE 170706.892
AT ITER 7735 NEW BEST:: SOT 1720961 SOS 1152526 HAS SOPS 976092 HAS SOUS 170059 HAS SOUPS 169444 WITH SCORE 170596.526
AT ITER 7763 NEW BEST:: SOT 1755127 SOS 1182823 HAS SOPS 1000817 HAS SOUS 169392 HAS SOUPS 168777 WITH SCORE 169959.823
AT ITER 7796 NEW BEST:: SOT 1755169 SOS 1181888 HAS SOPS 999882 HAS SOUS 169146 HAS SOUPS 168531 WITH SCORE 169712.888
AT ITER 7861 NEW BEST:: SOT 1755155 SOS 1181874 HAS SOPS 999868 HAS SOUS 169132 HAS SOUPS 168517 WITH SCORE 169698.874
AT ITER 7988 NEW BEST:: SOT 1755155 SOS 1181874 HAS SOPS 999868 HAS SOUS 169091 HAS SOUPS 168476 WITH SCORE 169657.874
AT ITER 8001 NEW BEST:: SOT 1755155 SOS 1181549 HAS SOPS 999543 HAS SOUS 169067 HAS SOUPS 168452 WITH SCORE 169633.549
AT ITER 8093 NEW BEST:: SOT 1759280 SOS 1173528 HAS SOPS 978468 HAS SOUS 168476 HAS SOUPS 167861 WITH SCORE 169034.528
AT ITER 8196 NEW BEST:: SOT 1759732 SOS 1173894 HAS SOPS 978457 HAS SOUS 168424 HAS SOUPS 167809 WITH SCORE 168982.894
AT ITER 8262 NEW BEST:: SOT 1759790 SOS 1173703 HAS SOPS 978266 HAS SOUS 168174 HAS SOUPS 167559 WITH SCORE 168732.703
AT ITER 8274 NEW BEST:: SOT 1759790 SOS 1173615 HAS SOPS 978178 HAS SOUS 168042 HAS SOUPS 167427 WITH SCORE 168600.615
AT ITER 8291 NEW BEST:: SOT 1759790 SOS 1173610 HAS SOPS 978173 HAS SOUS 168042 HAS SOUPS 167427 WITH SCORE 168600.61
AT ITER 8308 NEW BEST:: SOT 1757023 SOS 1170843 HAS SOPS 982561 HAS SOUS 168042 HAS SOUPS 167427 WITH SCORE 168597.843
AT ITER 8309 NEW BEST:: SOT 1757023 SOS 1170776 HAS SOPS 982494 HAS SOUS 167927 HAS SOUPS 167312 WITH SCORE 168482.776
AT ITER 8360 NEW BEST:: SOT 1757023 SOS 1170628 HAS SOPS 982346 HAS SOUS 167778 HAS SOUPS 167163 WITH SCORE 168333.628
AT ITER 8434 NEW BEST:: SOT 1750141 SOS 1163746 HAS SOPS 975464 HAS SOUS 167592 HAS SOUPS 166977 WITH SCORE 168140.746
AT ITER 8483 NEW BEST:: SOT 1750141 SOS 1163726 HAS SOPS 975444 HAS SOUS 167592 HAS SOUPS 166977 WITH SCORE 168140.726
AT ITER 8510 NEW BEST:: SOT 1750587 SOS 1164006 HAS SOPS 975724 HAS SOUS 166392 HAS SOUPS 165777 WITH SCORE 166941.006
AT ITER 8525 NEW BEST:: SOT 1748931 SOS 1162350 HAS SOPS 974068 HAS SOUS 166392 HAS SOUPS 165777 WITH SCORE 166939.35
AT ITER 8577 NEW BEST:: SOT 1738059 SOS 1151478 HAS SOPS 963196 HAS SOUS 166392 HAS SOUPS 165777 WITH SCORE 166928.478
AT ITER 8583 NEW BEST:: SOT 1725819 SOS 1139238 HAS SOPS 950956 HAS SOUS 166392 HAS SOUPS 165777 WITH SCORE 166916.238
AT ITER 8641 NEW BEST:: SOT 1725819 SOS 1139203 HAS SOPS 950921 HAS SOUS 166391 HAS SOUPS 165776 WITH SCORE 166915.203
AT ITER 8692 NEW BEST:: SOT 1740291 SOS 1153675 HAS SOPS 963989 HAS SOUS 166065 HAS SOUPS 165450 WITH SCORE 166603.675
AT ITER 8694 NEW BEST:: SOT 1740291 SOS 1153429 HAS SOPS 963743 HAS SOUS 166053 HAS SOUPS 165438 WITH SCORE 166591.429
AT ITER 8749 NEW BEST:: SOT 1741085 SOS 1154220 HAS SOPS 964534 HAS SOUS 166026 HAS SOUPS 165411 WITH SCORE 166565.22
AT ITER 8774 NEW BEST:: SOT 1741085 SOS 1153864 HAS SOPS 964178 HAS SOUS 165833 HAS SOUPS 165218 WITH SCORE 166371.864
AT ITER 8781 NEW BEST:: SOT 1709180 SOS 1121959 HAS SOPS 932912 HAS SOUS 164933 HAS SOUPS 164318 WITH SCORE 165439.959
AT ITER 8812 NEW BEST:: SOT 1673528 SOS 1086307 HAS SOPS 899120 HAS SOUS 163986 HAS SOUPS 163371 WITH SCORE 164457.307
AT ITER 8869 NEW BEST:: SOT 1673426 SOS 1086205 HAS SOPS 899162 HAS SOUS 163986 HAS SOUPS 163371 WITH SCORE 164457.205
AT ITER 8933 NEW BEST:: SOT 1673426 SOS 1085103 HAS SOPS 898060 HAS SOUS 163986 HAS SOUPS 163371 WITH SCORE 164456.103
AT ITER 8936 NEW BEST:: SOT 1673574 SOS 1085251 HAS SOPS 898208 HAS SOUS 163913 HAS SOUPS 163298 WITH SCORE 164383.251
AT ITER 8971 NEW BEST:: SOT 1674359 SOS 1085976 HAS SOPS 898933 HAS SOUS 163413 HAS SOUPS 162798 WITH SCORE 163883.976
AT ITER 8979 NEW BEST:: SOT 1674328 SOS 1085991 HAS SOPS 898948 HAS SOUS 163354 HAS SOUPS 162739 WITH SCORE 163824.991
AT ITER 9013 NEW BEST:: SOT 1674328 SOS 1085868 HAS SOPS 898825 HAS SOUS 163317 HAS SOUPS 162702 WITH SCORE 163787.868
AT ITER 9101 NEW BEST:: SOT 1674426 SOS 1085966 HAS SOPS 898923 HAS SOUS 163308 HAS SOUPS 162693 WITH SCORE 163778.966
AT ITER 9153 NEW BEST:: SOT 1674426 SOS 1085246 HAS SOPS 898203 HAS SOUS 162972 HAS SOUPS 162357 WITH SCORE 163442.246
AT ITER 9217 NEW BEST:: SOT 1674426 SOS 1085271 HAS SOPS 898428 HAS SOUS 162817 HAS SOUPS 162202 WITH SCORE 163287.271
AT ITER 9253 NEW BEST:: SOT 1675741 SOS 1086390 HAS SOPS 899547 HAS SOUS 161731 HAS SOUPS 161116 WITH SCORE 162202.39
AT ITER 9304 NEW BEST:: SOT 1675306 SOS 1085955 HAS SOPS 899131 HAS SOUS 161523 HAS SOUPS 160908 WITH SCORE 161993.955
AT ITER 9330 NEW BEST:: SOT 1675346 SOS 1085918 HAS SOPS 899094 HAS SOUS 161390 HAS SOUPS 160775 WITH SCORE 161860.918
AT ITER 9374 NEW BEST:: SOT 1675289 SOS 1085861 HAS SOPS 899103 HAS SOUS 161333 HAS SOUPS 160721 WITH SCORE 161806.861
AT ITER 9402 NEW BEST:: SOT 1675469 SOS 1085956 HAS SOPS 899011 HAS SOUS 161241 HAS SOUPS 160629 WITH SCORE 161714.956
AT ITER 9424 NEW BEST:: SOT 1675743 SOS 1086014 HAS SOPS 899069 HAS SOUS 161175 HAS SOUPS 160563 WITH SCORE 161649.014
AT ITER 9431 NEW BEST:: SOT 1675707 SOS 1086924 HAS SOPS 901383 HAS SOUS 161129 HAS SOUPS 160517 WITH SCORE 161603.924
AT ITER 9472 NEW BEST:: SOT 1675707 SOS 1086991 HAS SOPS 901450 HAS SOUS 161125 HAS SOUPS 160513 WITH SCORE 161599.991
AT ITER 9492 NEW BEST:: SOT 1676115 SOS 1087399 HAS SOPS 901858 HAS SOUS 160661 HAS SOUPS 160049 WITH SCORE 161136.399
AT ITER 9631 NEW BEST:: SOT 1679522 SOS 1075573 HAS SOPS 878269 HAS SOUS 159900 HAS SOUPS 159288 WITH SCORE 160363.573
AT ITER 9721 NEW BEST:: SOT 1678615 SOS 1074666 HAS SOPS 880473 HAS SOUS 159900 HAS SOUPS 159288 WITH SCORE 160362.666
AT ITER 9754 NEW BEST:: SOT 1678757 SOS 1074808 HAS SOPS 880615 HAS SOUS 159899 HAS SOUPS 159287 WITH SCORE 160361.808
AT ITER 9784 NEW BEST:: SOT 1678757 SOS 1074608 HAS SOPS 880415 HAS SOUS 159815 HAS SOUPS 159203 WITH SCORE 160277.608
AT ITER 9791 NEW BEST:: SOT 1694865 SOS 1090716 HAS SOPS 892975 HAS SOUS 159306 HAS SOUPS 158694 WITH SCORE 159784.716
AT ITER 9826 NEW BEST:: SOT 1694921 SOS 1090448 HAS SOPS 892707 HAS SOUS 159080 HAS SOUPS 158468 WITH SCORE 159558.448
AT ITER 9878 NEW BEST:: SOT 1681853 SOS 1077380 HAS SOPS 879639 HAS SOUS 159080 HAS SOUPS 158468 WITH SCORE 159545.38
AT ITER 9974 NEW BEST:: SOT 1681953 SOS 1077480 HAS SOPS 879739 HAS SOUS 159072 HAS SOUPS 158460 WITH SCORE 159537.48
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 7360420 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16122448 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.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
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-d2m64"
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-d2m64, 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-167905979700488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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