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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.1K Feb 26 10:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 10:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 15K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K 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 1679388407588

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-d2m18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:46:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:46:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:46:49] [INFO ] Load time of PNML (sax parser for PT used): 118 ms
[2023-03-21 08:46:49] [INFO ] Transformed 2398 places.
[2023-03-21 08:46:49] [INFO ] Transformed 1954 transitions.
[2023-03-21 08:46:49] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 188 ms.
[2023-03-21 08:46:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 23 ms.
Total runtime 239 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m18
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 67 NEW BEST:: SOT 802697 SOS 719341 HAS SOPS 719341 HAS SOUS 632206 HAS SOUPS 632206 WITH SCORE 632925.341
AT ITER 76 NEW BEST:: SOT 802697 SOS 717813 HAS SOPS 717813 HAS SOUS 631582 HAS SOUPS 631582 WITH SCORE 632299.813
AT ITER 84 NEW BEST:: SOT 802697 SOS 716230 HAS SOPS 716230 HAS SOUS 624717 HAS SOUPS 624717 WITH SCORE 625433.23
AT ITER 125 NEW BEST:: SOT 802697 SOS 716241 HAS SOPS 716241 HAS SOUS 624712 HAS SOUPS 624712 WITH SCORE 625428.241
AT ITER 222 NEW BEST:: SOT 802697 SOS 715630 HAS SOPS 715630 HAS SOUS 624623 HAS SOUPS 624623 WITH SCORE 625338.63
AT ITER 256 NEW BEST:: SOT 802697 SOS 714397 HAS SOPS 714397 HAS SOUS 622127 HAS SOUPS 622127 WITH SCORE 622841.397
AT ITER 287 NEW BEST:: SOT 802697 SOS 714069 HAS SOPS 714069 HAS SOUS 622075 HAS SOUPS 622075 WITH SCORE 622789.069
AT ITER 303 NEW BEST:: SOT 802697 SOS 714041 HAS SOPS 714041 HAS SOUS 622075 HAS SOUPS 622075 WITH SCORE 622789.041
AT ITER 324 NEW BEST:: SOT 802745 SOS 712974 HAS SOPS 712974 HAS SOUS 621678 HAS SOUPS 621678 WITH SCORE 622390.974
AT ITER 355 NEW BEST:: SOT 805164 SOS 713835 HAS SOPS 713835 HAS SOUS 613928 HAS SOUPS 613928 WITH SCORE 614641.835
AT ITER 359 NEW BEST:: SOT 805264 SOS 713935 HAS SOPS 713935 HAS SOUS 613461 HAS SOUPS 613461 WITH SCORE 614174.935
AT ITER 410 NEW BEST:: SOT 805228 SOS 712421 HAS SOPS 712421 HAS SOUS 610067 HAS SOUPS 610067 WITH SCORE 610779.421
AT ITER 460 NEW BEST:: SOT 805228 SOS 711833 HAS SOPS 711833 HAS SOUS 608817 HAS SOUPS 608817 WITH SCORE 609528.833
AT ITER 487 NEW BEST:: SOT 805228 SOS 709988 HAS SOPS 709988 HAS SOUS 602748 HAS SOUPS 602748 WITH SCORE 603457.988
AT ITER 489 NEW BEST:: SOT 805228 SOS 709628 HAS SOPS 709628 HAS SOUS 602658 HAS SOUPS 602658 WITH SCORE 603367.628
AT ITER 525 NEW BEST:: SOT 806499 SOS 709358 HAS SOPS 709358 HAS SOUS 588351 HAS SOUPS 588351 WITH SCORE 589060.358
AT ITER 567 NEW BEST:: SOT 806499 SOS 709147 HAS SOPS 709147 HAS SOUS 588342 HAS SOUPS 588342 WITH SCORE 589051.147
AT ITER 595 NEW BEST:: SOT 806499 SOS 709136 HAS SOPS 709136 HAS SOUS 588339 HAS SOUPS 588339 WITH SCORE 589048.136
AT ITER 674 NEW BEST:: SOT 807199 SOS 709836 HAS SOPS 709836 HAS SOUS 587727 HAS SOUPS 587727 WITH SCORE 588436.836
AT ITER 687 NEW BEST:: SOT 814333 SOS 714814 HAS SOPS 714814 HAS SOUS 578141 HAS SOUPS 578141 WITH SCORE 578855.814
AT ITER 749 NEW BEST:: SOT 818966 SOS 719090 HAS SOPS 719090 HAS SOUS 566492 HAS SOUPS 566492 WITH SCORE 567211.09
AT ITER 822 NEW BEST:: SOT 818966 SOS 718987 HAS SOPS 718987 HAS SOUS 566437 HAS SOUPS 566437 WITH SCORE 567155.987
AT ITER 826 NEW BEST:: SOT 819091 SOS 718891 HAS SOPS 718891 HAS SOUS 566123 HAS SOUPS 566123 WITH SCORE 566841.891
AT ITER 842 NEW BEST:: SOT 819091 SOS 718891 HAS SOPS 718891 HAS SOUS 565395 HAS SOUPS 565395 WITH SCORE 566113.891
AT ITER 845 NEW BEST:: SOT 819091 SOS 718395 HAS SOPS 718395 HAS SOUS 565278 HAS SOUPS 565278 WITH SCORE 565996.395
AT ITER 847 NEW BEST:: SOT 825815 SOS 722731 HAS SOPS 722731 HAS SOUS 551413 HAS SOUPS 551413 WITH SCORE 552135.731
AT ITER 852 NEW BEST:: SOT 825815 SOS 722775 HAS SOPS 722775 HAS SOUS 551405 HAS SOUPS 551405 WITH SCORE 552127.775
AT ITER 1009 NEW BEST:: SOT 825815 SOS 721946 HAS SOPS 721946 HAS SOUS 544587 HAS SOUPS 544587 WITH SCORE 545308.946
AT ITER 1067 NEW BEST:: SOT 825815 SOS 721946 HAS SOPS 721946 HAS SOUS 544555 HAS SOUPS 544555 WITH SCORE 545276.946
AT ITER 1073 NEW BEST:: SOT 825815 SOS 719810 HAS SOPS 719810 HAS SOUS 542618 HAS SOUPS 542618 WITH SCORE 543337.81
AT ITER 1078 NEW BEST:: SOT 833518 SOS 725049 HAS SOPS 724508 HAS SOUS 540858 HAS SOUPS 540684 WITH SCORE 541409.049
AT ITER 1125 NEW BEST:: SOT 833646 SOS 724338 HAS SOPS 723797 HAS SOUS 540489 HAS SOUPS 540315 WITH SCORE 541039.338
AT ITER 1135 NEW BEST:: SOT 833646 SOS 722161 HAS SOPS 721620 HAS SOUS 529402 HAS SOUPS 529228 WITH SCORE 529950.161
AT ITER 1156 NEW BEST:: SOT 833646 SOS 720012 HAS SOPS 719471 HAS SOUS 522578 HAS SOUPS 522404 WITH SCORE 523124.012
AT ITER 1166 NEW BEST:: SOT 833646 SOS 717218 HAS SOPS 716677 HAS SOUS 513519 HAS SOUPS 513345 WITH SCORE 514062.218
AT ITER 1168 NEW BEST:: SOT 844241 SOS 725227 HAS SOPS 724457 HAS SOUS 503592 HAS SOUPS 503363 WITH SCORE 504088.227
AT ITER 1185 NEW BEST:: SOT 855532 SOS 733342 HAS SOPS 731767 HAS SOUS 497924 HAS SOUPS 497660 WITH SCORE 498393.342
AT ITER 1227 NEW BEST:: SOT 874524 SOS 751160 HAS SOPS 749020 HAS SOUS 495217 HAS SOUPS 494881 WITH SCORE 495632.16
AT ITER 1235 NEW BEST:: SOT 889539 SOS 765908 HAS SOPS 763203 HAS SOUS 491360 HAS SOUPS 491024 WITH SCORE 491789.908
AT ITER 1275 NEW BEST:: SOT 889539 SOS 764544 HAS SOPS 761839 HAS SOUS 491355 HAS SOUPS 491019 WITH SCORE 491783.544
AT ITER 1283 NEW BEST:: SOT 889539 SOS 764113 HAS SOPS 761408 HAS SOUS 486749 HAS SOUPS 486413 WITH SCORE 487177.113
AT ITER 1284 NEW BEST:: SOT 871561 SOS 746135 HAS SOPS 743943 HAS SOUS 482728 HAS SOUPS 482392 WITH SCORE 483138.135
AT ITER 1291 NEW BEST:: SOT 890726 SOS 761328 HAS SOPS 757925 HAS SOUS 481391 HAS SOUPS 481011 WITH SCORE 481772.328
AT ITER 1319 NEW BEST:: SOT 890726 SOS 760203 HAS SOPS 756800 HAS SOUS 479388 HAS SOUPS 479008 WITH SCORE 479768.203
AT ITER 1340 NEW BEST:: SOT 890726 SOS 760082 HAS SOPS 756679 HAS SOUS 479303 HAS SOUPS 478923 WITH SCORE 479683.082
AT ITER 1437 NEW BEST:: SOT 913851 SOS 779199 HAS SOPS 774585 HAS SOUS 473756 HAS SOUPS 473376 WITH SCORE 474155.199
AT ITER 1439 NEW BEST:: SOT 932201 SOS 793463 HAS SOPS 787314 HAS SOUS 465313 HAS SOUPS 464828 WITH SCORE 465621.463
AT ITER 1443 NEW BEST:: SOT 932201 SOS 790648 HAS SOPS 784499 HAS SOUS 454509 HAS SOUPS 454024 WITH SCORE 454814.648
AT ITER 1456 NEW BEST:: SOT 932269 SOS 790503 HAS SOPS 784354 HAS SOUS 454505 HAS SOUPS 454020 WITH SCORE 454810.503
AT ITER 1479 NEW BEST:: SOT 934822 SOS 789340 HAS SOPS 782915 HAS SOUS 441790 HAS SOUPS 441305 WITH SCORE 442094.34
AT ITER 1490 NEW BEST:: SOT 952470 SOS 802533 HAS SOPS 794609 HAS SOUS 429062 HAS SOUPS 428577 WITH SCORE 429379.533
AT ITER 1511 NEW BEST:: SOT 963384 SOS 808302 HAS SOPS 798404 HAS SOUS 421232 HAS SOUPS 420747 WITH SCORE 421555.302
AT ITER 1547 NEW BEST:: SOT 976078 SOS 815671 HAS SOPS 803671 HAS SOUS 413159 HAS SOUPS 412674 WITH SCORE 413489.671
AT ITER 1561 NEW BEST:: SOT 976078 SOS 814003 HAS SOPS 802003 HAS SOUS 409774 HAS SOUPS 409289 WITH SCORE 410103.003
AT ITER 1573 NEW BEST:: SOT 1005222 SOS 837516 HAS SOPS 823284 HAS SOUS 408438 HAS SOUPS 407953 WITH SCORE 408790.516
AT ITER 1580 NEW BEST:: SOT 1022830 SOS 848347 HAS SOPS 831883 HAS SOUS 401989 HAS SOUPS 401504 WITH SCORE 402352.347
AT ITER 1617 NEW BEST:: SOT 1023230 SOS 848741 HAS SOPS 832277 HAS SOUS 400829 HAS SOUPS 400344 WITH SCORE 401192.741
AT ITER 1641 NEW BEST:: SOT 1023652 SOS 849138 HAS SOPS 832674 HAS SOUS 400780 HAS SOUPS 400295 WITH SCORE 401144.138
AT ITER 1644 NEW BEST:: SOT 1053892 SOS 874040 HAS SOPS 855344 HAS SOUS 394775 HAS SOUPS 394290 WITH SCORE 395164.04
AT ITER 1653 NEW BEST:: SOT 1078336 SOS 893773 HAS SOPS 872845 HAS SOUS 387420 HAS SOUPS 386935 WITH SCORE 387828.773
AT ITER 1695 NEW BEST:: SOT 1078427 SOS 893583 HAS SOPS 872655 HAS SOUS 387401 HAS SOUPS 386916 WITH SCORE 387809.583
AT ITER 1704 NEW BEST:: SOT 1083759 SOS 896087 HAS SOPS 873439 HAS SOUS 380042 HAS SOUPS 379557 WITH SCORE 380453.087
AT ITER 1782 NEW BEST:: SOT 1118291 SOS 925019 HAS SOPS 899967 HAS SOUS 376782 HAS SOUPS 376297 WITH SCORE 377222.019
AT ITER 1787 NEW BEST:: SOT 1134276 SOS 935021 HAS SOPS 905085 HAS SOUS 367526 HAS SOUPS 367017 WITH SCORE 367952.021
AT ITER 1825 NEW BEST:: SOT 1141771 SOS 942516 HAS SOPS 912083 HAS SOUS 367353 HAS SOUPS 366844 WITH SCORE 367786.516
AT ITER 1845 NEW BEST:: SOT 1146241 SOS 941249 HAS SOPS 909177 HAS SOUS 357096 HAS SOUPS 356587 WITH SCORE 357528.249
AT ITER 1857 NEW BEST:: SOT 1146718 SOS 941662 HAS SOPS 909113 HAS SOUS 357029 HAS SOUPS 356520 WITH SCORE 357461.662
AT ITER 1864 NEW BEST:: SOT 1147156 SOS 941816 HAS SOPS 909267 HAS SOUS 356980 HAS SOUPS 356471 WITH SCORE 357412.816
AT ITER 1873 NEW BEST:: SOT 1147156 SOS 939347 HAS SOPS 906798 HAS SOUS 356972 HAS SOUPS 356463 WITH SCORE 357402.347
AT ITER 1910 NEW BEST:: SOT 1165406 SOS 951555 HAS SOPS 915944 HAS SOUS 350110 HAS SOUPS 349601 WITH SCORE 350552.555
AT ITER 1919 NEW BEST:: SOT 1172571 SOS 952573 HAS SOPS 914695 HAS SOUS 343415 HAS SOUPS 342906 WITH SCORE 343858.573
AT ITER 1923 NEW BEST:: SOT 1172609 SOS 952611 HAS SOPS 914733 HAS SOUS 343325 HAS SOUPS 342816 WITH SCORE 343768.611
AT ITER 1941 NEW BEST:: SOT 1172684 SOS 952581 HAS SOPS 914703 HAS SOUS 342334 HAS SOUPS 341825 WITH SCORE 342777.581
AT ITER 1944 NEW BEST:: SOT 1168436 SOS 948333 HAS SOPS 910455 HAS SOUS 342334 HAS SOUPS 341825 WITH SCORE 342773.333
AT ITER 1995 NEW BEST:: SOT 1182135 SOS 955260 HAS SOPS 914431 HAS SOUS 335311 HAS SOUPS 334802 WITH SCORE 335757.26
AT ITER 2021 NEW BEST:: SOT 1189083 SOS 956187 HAS SOPS 913126 HAS SOUS 328719 HAS SOUPS 328210 WITH SCORE 329166.187
AT ITER 2023 NEW BEST:: SOT 1189083 SOS 950452 HAS SOPS 907391 HAS SOUS 323253 HAS SOUPS 322744 WITH SCORE 323694.452
AT ITER 2045 NEW BEST:: SOT 1189083 SOS 950042 HAS SOPS 906981 HAS SOUS 323209 HAS SOUPS 322700 WITH SCORE 323650.042
AT ITER 2056 NEW BEST:: SOT 1189227 SOS 949889 HAS SOPS 906828 HAS SOUS 323204 HAS SOUPS 322695 WITH SCORE 323644.889
AT ITER 2093 NEW BEST:: SOT 1189227 SOS 949843 HAS SOPS 906782 HAS SOUS 323196 HAS SOUPS 322687 WITH SCORE 323636.843
AT ITER 2119 NEW BEST:: SOT 1189227 SOS 949819 HAS SOPS 906758 HAS SOUS 323064 HAS SOUPS 322555 WITH SCORE 323504.819
AT ITER 2129 NEW BEST:: SOT 1189227 SOS 942433 HAS SOPS 899372 HAS SOUS 316936 HAS SOUPS 316427 WITH SCORE 317369.433
AT ITER 2228 NEW BEST:: SOT 1177203 SOS 930409 HAS SOPS 887348 HAS SOUS 310528 HAS SOUPS 310019 WITH SCORE 310949.409
AT ITER 2240 NEW BEST:: SOT 1177203 SOS 930393 HAS SOPS 887332 HAS SOUS 310437 HAS SOUPS 309928 WITH SCORE 310858.393
AT ITER 2248 NEW BEST:: SOT 1177203 SOS 930289 HAS SOPS 887228 HAS SOUS 310060 HAS SOUPS 309551 WITH SCORE 310481.289
AT ITER 2252 NEW BEST:: SOT 1177157 SOS 930243 HAS SOPS 887182 HAS SOUS 310014 HAS SOUPS 309505 WITH SCORE 310435.243
AT ITER 2265 NEW BEST:: SOT 1177157 SOS 930079 HAS SOPS 887018 HAS SOUS 310014 HAS SOUPS 309505 WITH SCORE 310435.079
AT ITER 2280 NEW BEST:: SOT 1179965 SOS 929686 HAS SOPS 885005 HAS SOUS 305917 HAS SOUPS 305408 WITH SCORE 306337.686
AT ITER 2284 NEW BEST:: SOT 1180547 SOS 930115 HAS SOPS 885434 HAS SOUS 305636 HAS SOUPS 305127 WITH SCORE 306057.115
AT ITER 2345 NEW BEST:: SOT 1175197 SOS 924765 HAS SOPS 880654 HAS SOUS 305636 HAS SOUPS 305127 WITH SCORE 306051.765
AT ITER 2403 NEW BEST:: SOT 1175439 SOS 918251 HAS SOPS 873975 HAS SOUS 298901 HAS SOUPS 298392 WITH SCORE 299310.251
AT ITER 2424 NEW BEST:: SOT 1175626 SOS 918102 HAS SOPS 873799 HAS SOUS 298725 HAS SOUPS 298216 WITH SCORE 299134.102
AT ITER 2431 NEW BEST:: SOT 1175626 SOS 916372 HAS SOPS 872069 HAS SOUS 297169 HAS SOUPS 296660 WITH SCORE 297576.372
AT ITER 2438 NEW BEST:: SOT 1175986 SOS 916732 HAS SOPS 872429 HAS SOUS 296528 HAS SOUPS 296019 WITH SCORE 296935.732
AT ITER 2463 NEW BEST:: SOT 1176097 SOS 916811 HAS SOPS 872508 HAS SOUS 296485 HAS SOUPS 295976 WITH SCORE 296892.811
AT ITER 2559 NEW BEST:: SOT 1176097 SOS 916284 HAS SOPS 871981 HAS SOUS 296105 HAS SOUPS 295596 WITH SCORE 296512.284
AT ITER 2584 NEW BEST:: SOT 1175965 SOS 933746 HAS SOPS 889428 HAS SOUS 295920 HAS SOUPS 295396 WITH SCORE 296329.746
AT ITER 2627 NEW BEST:: SOT 1175965 SOS 933686 HAS SOPS 889368 HAS SOUS 295880 HAS SOUPS 295356 WITH SCORE 296289.686
AT ITER 2682 NEW BEST:: SOT 1205987 SOS 957194 HAS SOPS 909706 HAS SOUS 291636 HAS SOUPS 291112 WITH SCORE 292069.194
AT ITER 2717 NEW BEST:: SOT 1206260 SOS 957467 HAS SOPS 909979 HAS SOUS 291269 HAS SOUPS 290745 WITH SCORE 291702.467
AT ITER 2765 NEW BEST:: SOT 1206260 SOS 951652 HAS SOPS 904164 HAS SOUS 288087 HAS SOUPS 287563 WITH SCORE 288514.652
AT ITER 2766 NEW BEST:: SOT 1227917 SOS 966184 HAS SOPS 915526 HAS SOUS 281667 HAS SOUPS 281143 WITH SCORE 282109.184
AT ITER 2791 NEW BEST:: SOT 1227917 SOS 964133 HAS SOPS 913475 HAS SOUS 280721 HAS SOUPS 280197 WITH SCORE 281161.133
AT ITER 2799 NEW BEST:: SOT 1228033 SOS 964211 HAS SOPS 913553 HAS SOUS 280669 HAS SOUPS 280145 WITH SCORE 281109.211
AT ITER 2803 NEW BEST:: SOT 1227917 SOS 964095 HAS SOPS 913437 HAS SOUS 280611 HAS SOUPS 280087 WITH SCORE 281051.095
AT ITER 2820 NEW BEST:: SOT 1235186 SOS 961374 HAS SOPS 905808 HAS SOUS 273544 HAS SOUPS 273020 WITH SCORE 273981.374
AT ITER 2825 NEW BEST:: SOT 1235186 SOS 961239 HAS SOPS 905673 HAS SOUS 273527 HAS SOUPS 273003 WITH SCORE 273964.239
AT ITER 2863 NEW BEST:: SOT 1238055 SOS 954849 HAS SOPS 897232 HAS SOUS 266502 HAS SOUPS 265978 WITH SCORE 266932.849
AT ITER 2872 NEW BEST:: SOT 1238055 SOS 952926 HAS SOPS 895309 HAS SOUS 264653 HAS SOUPS 264129 WITH SCORE 265081.926
AT ITER 2895 NEW BEST:: SOT 1238594 SOS 952919 HAS SOPS 895300 HAS SOUS 264644 HAS SOUPS 264120 WITH SCORE 265072.919
AT ITER 2921 NEW BEST:: SOT 1238594 SOS 952919 HAS SOPS 895300 HAS SOUS 264616 HAS SOUPS 264092 WITH SCORE 265044.919
AT ITER 2961 NEW BEST:: SOT 1252219 SOS 958876 HAS SOPS 898187 HAS SOUS 259495 HAS SOUPS 258971 WITH SCORE 259929.876
AT ITER 2987 NEW BEST:: SOT 1252219 SOS 958665 HAS SOPS 897976 HAS SOUS 259412 HAS SOUPS 258888 WITH SCORE 259846.665
AT ITER 3037 NEW BEST:: SOT 1252219 SOS 958665 HAS SOPS 897976 HAS SOUS 259312 HAS SOUPS 258788 WITH SCORE 259746.665
AT ITER 3078 NEW BEST:: SOT 1237575 SOS 944021 HAS SOPS 884228 HAS SOUS 259150 HAS SOUPS 258626 WITH SCORE 259570.021
AT ITER 3115 NEW BEST:: SOT 1242120 SOS 941311 HAS SOPS 879187 HAS SOUS 253708 HAS SOUPS 253184 WITH SCORE 254125.311
AT ITER 3149 NEW BEST:: SOT 1271941 SOS 970843 HAS SOPS 905132 HAS SOUS 253075 HAS SOUPS 252551 WITH SCORE 253521.843
AT ITER 3206 NEW BEST:: SOT 1274460 SOS 965707 HAS SOPS 898303 HAS SOUS 247515 HAS SOUPS 246991 WITH SCORE 247956.707
AT ITER 3223 NEW BEST:: SOT 1274460 SOS 965658 HAS SOPS 898254 HAS SOUS 247161 HAS SOUPS 246637 WITH SCORE 247602.658
AT ITER 3234 NEW BEST:: SOT 1274460 SOS 959600 HAS SOPS 892196 HAS SOUS 244708 HAS SOUPS 244184 WITH SCORE 245143.6
AT ITER 3264 NEW BEST:: SOT 1274729 SOS 959531 HAS SOPS 892100 HAS SOUS 244425 HAS SOUPS 243901 WITH SCORE 244860.531
AT ITER 3289 NEW BEST:: SOT 1274815 SOS 959617 HAS SOPS 892186 HAS SOUS 244401 HAS SOUPS 243877 WITH SCORE 244836.617
AT ITER 3297 NEW BEST:: SOT 1274845 SOS 959647 HAS SOPS 892216 HAS SOUS 244249 HAS SOUPS 243725 WITH SCORE 244684.647
AT ITER 3318 NEW BEST:: SOT 1274845 SOS 959632 HAS SOPS 892201 HAS SOUS 244241 HAS SOUPS 243717 WITH SCORE 244676.632
AT ITER 3348 NEW BEST:: SOT 1274845 SOS 952174 HAS SOPS 884743 HAS SOUS 240227 HAS SOUPS 239703 WITH SCORE 240655.174
AT ITER 3351 NEW BEST:: SOT 1274845 SOS 952078 HAS SOPS 884647 HAS SOUS 240195 HAS SOUPS 239671 WITH SCORE 240623.078
AT ITER 3360 NEW BEST:: SOT 1268708 SOS 945941 HAS SOPS 882746 HAS SOUS 240195 HAS SOUPS 239671 WITH SCORE 240616.941
AT ITER 3363 NEW BEST:: SOT 1268708 SOS 939592 HAS SOPS 876397 HAS SOUS 238084 HAS SOUPS 237560 WITH SCORE 238499.592
AT ITER 3375 NEW BEST:: SOT 1268708 SOS 936660 HAS SOPS 873465 HAS SOUS 236736 HAS SOUPS 236212 WITH SCORE 237148.66
AT ITER 3401 NEW BEST:: SOT 1268708 SOS 935642 HAS SOPS 872447 HAS SOUS 236700 HAS SOUPS 236176 WITH SCORE 237111.642
AT ITER 3427 NEW BEST:: SOT 1265936 SOS 932870 HAS SOPS 869675 HAS SOUS 236700 HAS SOUPS 236176 WITH SCORE 237108.87
AT ITER 3446 NEW BEST:: SOT 1264438 SOS 931372 HAS SOPS 868381 HAS SOUS 236700 HAS SOUPS 236176 WITH SCORE 237107.372
AT ITER 3453 NEW BEST:: SOT 1265367 SOS 931013 HAS SOPS 867024 HAS SOUS 235641 HAS SOUPS 235117 WITH SCORE 236048.013
AT ITER 3500 NEW BEST:: SOT 1261983 SOS 927629 HAS SOPS 863640 HAS SOUS 235641 HAS SOUPS 235117 WITH SCORE 236044.629
AT ITER 3577 NEW BEST:: SOT 1261983 SOS 919904 HAS SOPS 855915 HAS SOUS 231329 HAS SOUPS 230805 WITH SCORE 231724.904
AT ITER 3597 NEW BEST:: SOT 1262573 SOS 920229 HAS SOPS 856240 HAS SOUS 230193 HAS SOUPS 229669 WITH SCORE 230589.229
AT ITER 3729 NEW BEST:: SOT 1262573 SOS 919997 HAS SOPS 856008 HAS SOUS 229678 HAS SOUPS 229154 WITH SCORE 230073.997
AT ITER 3821 NEW BEST:: SOT 1262641 SOS 920065 HAS SOPS 856076 HAS SOUS 229256 HAS SOUPS 228732 WITH SCORE 229652.065
AT ITER 3834 NEW BEST:: SOT 1262641 SOS 920064 HAS SOPS 856075 HAS SOUS 229241 HAS SOUPS 228717 WITH SCORE 229637.064
AT ITER 3886 NEW BEST:: SOT 1262641 SOS 919960 HAS SOPS 855971 HAS SOUS 229236 HAS SOUPS 228712 WITH SCORE 229631.96
AT ITER 3928 NEW BEST:: SOT 1268425 SOS 924547 HAS SOPS 855190 HAS SOUS 228318 HAS SOUPS 227794 WITH SCORE 228718.547
AT ITER 3929 NEW BEST:: SOT 1274263 SOS 920066 HAS SOPS 845313 HAS SOUS 223129 HAS SOUPS 222605 WITH SCORE 223525.066
AT ITER 4015 NEW BEST:: SOT 1274139 SOS 919942 HAS SOPS 845229 HAS SOUS 223005 HAS SOUPS 222485 WITH SCORE 223404.942
AT ITER 4027 NEW BEST:: SOT 1286160 SOS 923456 HAS SOPS 844960 HAS SOUS 218012 HAS SOUPS 217492 WITH SCORE 218415.456
AT ITER 4030 NEW BEST:: SOT 1288647 SOS 925943 HAS SOPS 847126 HAS SOUS 217934 HAS SOUPS 217414 WITH SCORE 218339.943
AT ITER 4034 NEW BEST:: SOT 1289497 SOS 926370 HAS SOPS 847553 HAS SOUS 217620 HAS SOUPS 217100 WITH SCORE 218026.37
AT ITER 4052 NEW BEST:: SOT 1289497 SOS 926425 HAS SOPS 847608 HAS SOUS 217556 HAS SOUPS 217036 WITH SCORE 217962.425
AT ITER 4055 NEW BEST:: SOT 1285464 SOS 922392 HAS SOPS 847619 HAS SOUS 217556 HAS SOUPS 217036 WITH SCORE 217958.392
AT ITER 4067 NEW BEST:: SOT 1291809 SOS 928254 HAS SOPS 847280 HAS SOUS 217177 HAS SOUPS 216657 WITH SCORE 217585.254
AT ITER 4088 NEW BEST:: SOT 1291223 SOS 927668 HAS SOPS 846694 HAS SOUS 216884 HAS SOUPS 216364 WITH SCORE 217291.668
AT ITER 4106 NEW BEST:: SOT 1290968 SOS 927413 HAS SOPS 846439 HAS SOUS 216833 HAS SOUPS 216313 WITH SCORE 217240.413
AT ITER 4110 NEW BEST:: SOT 1290968 SOS 927261 HAS SOPS 846287 HAS SOUS 216291 HAS SOUPS 215771 WITH SCORE 216698.261
AT ITER 4131 NEW BEST:: SOT 1291016 SOS 927309 HAS SOPS 846335 HAS SOUS 216232 HAS SOUPS 215712 WITH SCORE 216639.309
AT ITER 4145 NEW BEST:: SOT 1303706 SOS 928015 HAS SOPS 837919 HAS SOUS 212083 HAS SOUPS 211536 WITH SCORE 212464.015
AT ITER 4155 NEW BEST:: SOT 1303573 SOS 927882 HAS SOPS 837940 HAS SOUS 212083 HAS SOUPS 211536 WITH SCORE 212463.882
AT ITER 4160 NEW BEST:: SOT 1309105 SOS 933414 HAS SOPS 842920 HAS SOUS 211914 HAS SOUPS 211367 WITH SCORE 212300.414
AT ITER 4198 NEW BEST:: SOT 1327132 SOS 951441 HAS SOPS 860290 HAS SOUS 211715 HAS SOUPS 211168 WITH SCORE 212119.441
AT ITER 4204 NEW BEST:: SOT 1350436 SOS 965568 HAS SOPS 869860 HAS SOUS 207509 HAS SOUPS 206962 WITH SCORE 207927.568
AT ITER 4263 NEW BEST:: SOT 1350496 SOS 965628 HAS SOPS 869920 HAS SOUS 206594 HAS SOUPS 206047 WITH SCORE 207012.628
AT ITER 4295 NEW BEST:: SOT 1353085 SOS 962652 HAS SOPS 863670 HAS SOUS 203763 HAS SOUPS 203216 WITH SCORE 204178.652
AT ITER 4353 NEW BEST:: SOT 1353361 SOS 962900 HAS SOPS 863918 HAS SOUS 203579 HAS SOUPS 203032 WITH SCORE 203994.9
AT ITER 4411 NEW BEST:: SOT 1353057 SOS 962596 HAS SOPS 863614 HAS SOUS 203427 HAS SOUPS 202880 WITH SCORE 203842.596
AT ITER 4428 NEW BEST:: SOT 1353059 SOS 962512 HAS SOPS 863527 HAS SOUS 203398 HAS SOUPS 202851 WITH SCORE 203813.512
AT ITER 4443 NEW BEST:: SOT 1352790 SOS 962243 HAS SOPS 863273 HAS SOUS 203331 HAS SOUPS 202784 WITH SCORE 203746.243
AT ITER 4444 NEW BEST:: SOT 1353570 SOS 962612 HAS SOPS 863642 HAS SOUS 203149 HAS SOUPS 202602 WITH SCORE 203564.612
AT ITER 4463 NEW BEST:: SOT 1353570 SOS 961993 HAS SOPS 863023 HAS SOUS 203148 HAS SOUPS 202601 WITH SCORE 203562.993
AT ITER 4535 NEW BEST:: SOT 1359484 SOS 959116 HAS SOPS 856448 HAS SOUS 198981 HAS SOUPS 198434 WITH SCORE 199393.116
AT ITER 4537 NEW BEST:: SOT 1359484 SOS 958616 HAS SOPS 855948 HAS SOUS 198905 HAS SOUPS 198358 WITH SCORE 199316.616
AT ITER 4559 NEW BEST:: SOT 1359484 SOS 951824 HAS SOPS 849156 HAS SOUS 197226 HAS SOUPS 196679 WITH SCORE 197630.824
AT ITER 4582 NEW BEST:: SOT 1359920 SOS 951415 HAS SOPS 848735 HAS SOUS 197120 HAS SOUPS 196573 WITH SCORE 197524.415
AT ITER 4600 NEW BEST:: SOT 1373399 SOS 956042 HAS SOPS 842446 HAS SOUS 195647 HAS SOUPS 195037 WITH SCORE 195993.042
AT ITER 4700 NEW BEST:: SOT 1373399 SOS 956191 HAS SOPS 842595 HAS SOUS 195596 HAS SOUPS 194986 WITH SCORE 195942.191
AT ITER 4705 NEW BEST:: SOT 1373187 SOS 956032 HAS SOPS 842448 HAS SOUS 195270 HAS SOUPS 194660 WITH SCORE 195616.032
AT ITER 4720 NEW BEST:: SOT 1398491 SOS 971469 HAS SOPS 852590 HAS SOUS 191727 HAS SOUPS 191117 WITH SCORE 192088.469
AT ITER 4756 NEW BEST:: SOT 1398491 SOS 971592 HAS SOPS 852713 HAS SOUS 191660 HAS SOUPS 191050 WITH SCORE 192021.592
AT ITER 4786 NEW BEST:: SOT 1391003 SOS 964104 HAS SOPS 852333 HAS SOUS 191660 HAS SOUPS 191050 WITH SCORE 192014.104
AT ITER 4833 NEW BEST:: SOT 1391235 SOS 964269 HAS SOPS 852498 HAS SOUS 191464 HAS SOUPS 190854 WITH SCORE 191818.269
AT ITER 4841 NEW BEST:: SOT 1391487 SOS 964521 HAS SOPS 852750 HAS SOUS 191356 HAS SOUPS 190746 WITH SCORE 191710.521
AT ITER 4848 NEW BEST:: SOT 1395382 SOS 965747 HAS SOPS 850767 HAS SOUS 190029 HAS SOUPS 189419 WITH SCORE 190384.747
AT ITER 4860 NEW BEST:: SOT 1399973 SOS 961082 HAS SOPS 842573 HAS SOUS 186402 HAS SOUPS 185792 WITH SCORE 186753.082
AT ITER 4929 NEW BEST:: SOT 1400162 SOS 961156 HAS SOPS 842647 HAS SOUS 186158 HAS SOUPS 185548 WITH SCORE 186509.156
AT ITER 5016 NEW BEST:: SOT 1400545 SOS 961287 HAS SOPS 842778 HAS SOUS 186069 HAS SOUPS 185459 WITH SCORE 186420.287
AT ITER 5048 NEW BEST:: SOT 1407416 SOS 968158 HAS SOPS 848528 HAS SOUS 185847 HAS SOUPS 185237 WITH SCORE 186205.158
AT ITER 5119 NEW BEST:: SOT 1407416 SOS 968117 HAS SOPS 848487 HAS SOUS 185653 HAS SOUPS 185043 WITH SCORE 186011.117
AT ITER 5147 NEW BEST:: SOT 1407393 SOS 967930 HAS SOPS 848300 HAS SOUS 185508 HAS SOUPS 184898 WITH SCORE 185865.93
AT ITER 5160 NEW BEST:: SOT 1407873 SOS 968330 HAS SOPS 848700 HAS SOUS 184927 HAS SOUPS 184317 WITH SCORE 185285.33
AT ITER 5255 NEW BEST:: SOT 1412505 SOS 972102 HAS SOPS 848824 HAS SOUS 184802 HAS SOUPS 184192 WITH SCORE 185164.102
AT ITER 5332 NEW BEST:: SOT 1412505 SOS 972063 HAS SOPS 848785 HAS SOUS 184693 HAS SOUPS 184083 WITH SCORE 185055.063
AT ITER 5346 NEW BEST:: SOT 1412505 SOS 972063 HAS SOPS 848785 HAS SOUS 184692 HAS SOUPS 184082 WITH SCORE 185054.063
AT ITER 5431 NEW BEST:: SOT 1412497 SOS 972055 HAS SOPS 848777 HAS SOUS 184684 HAS SOUPS 184074 WITH SCORE 185046.055
AT ITER 5432 NEW BEST:: SOT 1412497 SOS 972055 HAS SOPS 848777 HAS SOUS 184655 HAS SOUPS 184045 WITH SCORE 185017.055
AT ITER 5469 NEW BEST:: SOT 1412553 SOS 972032 HAS SOPS 848754 HAS SOUS 184626 HAS SOUPS 184016 WITH SCORE 184988.032
AT ITER 5485 NEW BEST:: SOT 1412638 SOS 971986 HAS SOPS 848685 HAS SOUS 184556 HAS SOUPS 183946 WITH SCORE 184917.986
AT ITER 5495 NEW BEST:: SOT 1413161 SOS 972371 HAS SOPS 849070 HAS SOUS 184385 HAS SOUPS 183775 WITH SCORE 184747.371
AT ITER 5576 NEW BEST:: SOT 1413161 SOS 972339 HAS SOPS 849038 HAS SOUS 184332 HAS SOUPS 183722 WITH SCORE 184694.339
AT ITER 5580 NEW BEST:: SOT 1413161 SOS 972183 HAS SOPS 848882 HAS SOUS 184170 HAS SOUPS 183560 WITH SCORE 184532.183
AT ITER 5590 NEW BEST:: SOT 1417840 SOS 976862 HAS SOPS 853488 HAS SOUS 184102 HAS SOUPS 183492 WITH SCORE 184468.862
AT ITER 5597 NEW BEST:: SOT 1417840 SOS 976935 HAS SOPS 853561 HAS SOUS 184091 HAS SOUPS 183481 WITH SCORE 184457.935
AT ITER 5701 NEW BEST:: SOT 1430410 SOS 980124 HAS SOPS 852004 HAS SOUS 180115 HAS SOUPS 179505 WITH SCORE 180485.124
AT ITER 5745 NEW BEST:: SOT 1418323 SOS 968037 HAS SOPS 839926 HAS SOUS 180124 HAS SOUPS 179514 WITH SCORE 180482.037
AT ITER 5778 NEW BEST:: SOT 1427863 SOS 963651 HAS SOPS 823432 HAS SOUS 177025 HAS SOUPS 176415 WITH SCORE 177378.651
AT ITER 5783 NEW BEST:: SOT 1438505 SOS 968234 HAS SOPS 815410 HAS SOUS 175263 HAS SOUPS 174653 WITH SCORE 175621.234
AT ITER 5793 NEW BEST:: SOT 1438365 SOS 968094 HAS SOPS 815290 HAS SOUS 175251 HAS SOUPS 174641 WITH SCORE 175609.094
AT ITER 5805 NEW BEST:: SOT 1438365 SOS 968094 HAS SOPS 815290 HAS SOUS 175249 HAS SOUPS 174639 WITH SCORE 175607.094
AT ITER 5839 NEW BEST:: SOT 1434258 SOS 963987 HAS SOPS 811183 HAS SOUS 175138 HAS SOUPS 174528 WITH SCORE 175491.987
AT ITER 5841 NEW BEST:: SOT 1434563 SOS 963958 HAS SOPS 811127 HAS SOUS 174903 HAS SOUPS 174293 WITH SCORE 175256.958
AT ITER 5870 NEW BEST:: SOT 1434563 SOS 963958 HAS SOPS 811127 HAS SOUS 174900 HAS SOUPS 174290 WITH SCORE 175253.958
AT ITER 5894 NEW BEST:: SOT 1434717 SOS 964076 HAS SOPS 811245 HAS SOUS 174633 HAS SOUPS 174023 WITH SCORE 174987.076
AT ITER 5988 NEW BEST:: SOT 1438539 SOS 967898 HAS SOPS 815037 HAS SOUS 174604 HAS SOUPS 173994 WITH SCORE 174961.898
AT ITER 6006 NEW BEST:: SOT 1438491 SOS 967710 HAS SOPS 814809 HAS SOUS 174520 HAS SOUPS 173910 WITH SCORE 174877.71
AT ITER 6020 NEW BEST:: SOT 1438555 SOS 967774 HAS SOPS 814873 HAS SOUS 174390 HAS SOUPS 173780 WITH SCORE 174747.774
AT ITER 6029 NEW BEST:: SOT 1438555 SOS 967771 HAS SOPS 814870 HAS SOUS 174305 HAS SOUPS 173695 WITH SCORE 174662.771
AT ITER 6087 NEW BEST:: SOT 1445213 SOS 964700 HAS SOPS 807081 HAS SOUS 171064 HAS SOUPS 170454 WITH SCORE 171418.7
AT ITER 6096 NEW BEST:: SOT 1445213 SOS 964700 HAS SOPS 807081 HAS SOUS 170992 HAS SOUPS 170382 WITH SCORE 171346.7
AT ITER 6139 NEW BEST:: SOT 1445213 SOS 964700 HAS SOPS 807081 HAS SOUS 170989 HAS SOUPS 170379 WITH SCORE 171343.7
AT ITER 6183 NEW BEST:: SOT 1452836 SOS 972323 HAS SOPS 814695 HAS SOUS 170980 HAS SOUPS 170370 WITH SCORE 171342.323
AT ITER 6190 NEW BEST:: SOT 1457859 SOS 966760 HAS SOPS 804979 HAS SOUS 167748 HAS SOUPS 167138 WITH SCORE 168104.76
AT ITER 6240 NEW BEST:: SOT 1457859 SOS 966611 HAS SOPS 804830 HAS SOUS 167748 HAS SOUPS 167138 WITH SCORE 168104.611
AT ITER 6267 NEW BEST:: SOT 1457917 SOS 966669 HAS SOPS 804888 HAS SOUS 167717 HAS SOUPS 167107 WITH SCORE 168073.669
AT ITER 6294 NEW BEST:: SOT 1457801 SOS 966553 HAS SOPS 804772 HAS SOUS 167667 HAS SOUPS 167057 WITH SCORE 168023.553
AT ITER 6302 NEW BEST:: SOT 1457851 SOS 966603 HAS SOPS 804822 HAS SOUS 167460 HAS SOUPS 166850 WITH SCORE 167816.603
AT ITER 6306 NEW BEST:: SOT 1458035 SOS 966787 HAS SOPS 805006 HAS SOUS 167429 HAS SOUPS 166819 WITH SCORE 167785.787
AT ITER 6343 NEW BEST:: SOT 1457999 SOS 966751 HAS SOPS 804970 HAS SOUS 167392 HAS SOUPS 166782 WITH SCORE 167748.751
AT ITER 6360 NEW BEST:: SOT 1454696 SOS 963448 HAS SOPS 804268 HAS SOUS 167392 HAS SOUPS 166782 WITH SCORE 167745.448
AT ITER 6371 NEW BEST:: SOT 1453092 SOS 961844 HAS SOPS 805652 HAS SOUS 167392 HAS SOUPS 166782 WITH SCORE 167743.844
AT ITER 6486 NEW BEST:: SOT 1452912 SOS 961664 HAS SOPS 806030 HAS SOUS 167392 HAS SOUPS 166782 WITH SCORE 167743.664
AT ITER 6547 NEW BEST:: SOT 1418678 SOS 1025406 HAS SOPS 771987 HAS SOUS 133252 HAS SOUPS 132537 WITH SCORE 133562.406
AT ITER 6570 NEW BEST:: SOT 1415241 SOS 1021969 HAS SOPS 769033 HAS SOUS 132958 HAS SOUPS 132243 WITH SCORE 133264.969
AT ITER 6597 NEW BEST:: SOT 1415241 SOS 1021657 HAS SOPS 768721 HAS SOUS 132940 HAS SOUPS 132225 WITH SCORE 133246.657
AT ITER 6666 NEW BEST:: SOT 1413833 SOS 1020249 HAS SOPS 767533 HAS SOUS 132940 HAS SOUPS 132225 WITH SCORE 133245.249
AT ITER 6723 NEW BEST:: SOT 1413833 SOS 1020225 HAS SOPS 767509 HAS SOUS 132869 HAS SOUPS 132154 WITH SCORE 133174.225
AT ITER 6740 NEW BEST:: SOT 1430889 SOS 1037281 HAS SOPS 784053 HAS SOUS 132713 HAS SOUPS 131998 WITH SCORE 133035.281
AT ITER 6763 NEW BEST:: SOT 1430889 SOS 1037281 HAS SOPS 784053 HAS SOUS 132596 HAS SOUPS 131881 WITH SCORE 132918.281
AT ITER 6807 NEW BEST:: SOT 1430826 SOS 1037218 HAS SOPS 783952 HAS SOUS 132485 HAS SOUPS 131770 WITH SCORE 132807.218
AT ITER 6848 NEW BEST:: SOT 1430826 SOS 1037003 HAS SOPS 783737 HAS SOUS 132166 HAS SOUPS 131451 WITH SCORE 132488.003
AT ITER 6936 NEW BEST:: SOT 1430826 SOS 1036868 HAS SOPS 783602 HAS SOUS 132039 HAS SOUPS 131324 WITH SCORE 132360.868
AT ITER 6951 NEW BEST:: SOT 1431084 SOS 1037101 HAS SOPS 783707 HAS SOUS 131929 HAS SOUPS 131214 WITH SCORE 132251.101
AT ITER 6989 NEW BEST:: SOT 1431101 SOS 1036704 HAS SOPS 783242 HAS SOUS 131829 HAS SOUPS 131114 WITH SCORE 132150.704
AT ITER 7004 NEW BEST:: SOT 1431101 SOS 1036766 HAS SOPS 783304 HAS SOUS 131719 HAS SOUPS 131004 WITH SCORE 132040.766
AT ITER 7008 NEW BEST:: SOT 1431101 SOS 1036722 HAS SOPS 783260 HAS SOUS 131565 HAS SOUPS 130850 WITH SCORE 131886.722
AT ITER 7057 NEW BEST:: SOT 1431137 SOS 1036758 HAS SOPS 783296 HAS SOUS 131564 HAS SOUPS 130849 WITH SCORE 131885.758
AT ITER 7091 NEW BEST:: SOT 1431137 SOS 1036587 HAS SOPS 783125 HAS SOUS 131532 HAS SOUPS 130817 WITH SCORE 131853.587
AT ITER 7113 NEW BEST:: SOT 1431137 SOS 1036443 HAS SOPS 782981 HAS SOUS 131516 HAS SOUPS 130801 WITH SCORE 131837.443
AT ITER 7131 NEW BEST:: SOT 1431137 SOS 1036443 HAS SOPS 782981 HAS SOUS 131511 HAS SOUPS 130796 WITH SCORE 131832.443
AT ITER 7136 NEW BEST:: SOT 1431137 SOS 1036413 HAS SOPS 782951 HAS SOUS 131511 HAS SOUPS 130796 WITH SCORE 131832.413
AT ITER 7183 NEW BEST:: SOT 1430571 SOS 1036053 HAS SOPS 782618 HAS SOUS 131425 HAS SOUPS 130710 WITH SCORE 131746.053
AT ITER 7186 NEW BEST:: SOT 1430571 SOS 1035977 HAS SOPS 782542 HAS SOUS 131406 HAS SOUPS 130691 WITH SCORE 131726.977
AT ITER 7214 NEW BEST:: SOT 1430772 SOS 1036178 HAS SOPS 782743 HAS SOUS 131363 HAS SOUPS 130648 WITH SCORE 131684.178
AT ITER 7272 NEW BEST:: SOT 1430772 SOS 1035736 HAS SOPS 782301 HAS SOUS 131149 HAS SOUPS 130434 WITH SCORE 131469.736
AT ITER 7345 NEW BEST:: SOT 1430780 SOS 1035744 HAS SOPS 782309 HAS SOUS 131147 HAS SOUPS 130432 WITH SCORE 131467.744
AT ITER 7471 NEW BEST:: SOT 1430780 SOS 1035176 HAS SOPS 781741 HAS SOUS 130822 HAS SOUPS 130107 WITH SCORE 131142.176
AT ITER 7472 NEW BEST:: SOT 1430762 SOS 1035158 HAS SOPS 781723 HAS SOUS 130822 HAS SOUPS 130107 WITH SCORE 131142.158
AT ITER 7490 NEW BEST:: SOT 1432223 SOS 1029898 HAS SOPS 772124 HAS SOUS 129066 HAS SOUPS 128351 WITH SCORE 129380.898
AT ITER 7565 NEW BEST:: SOT 1432223 SOS 1029670 HAS SOPS 771896 HAS SOUS 128135 HAS SOUPS 127420 WITH SCORE 128449.67
AT ITER 7589 NEW BEST:: SOT 1439770 SOS 1029575 HAS SOPS 764548 HAS SOUS 126157 HAS SOUPS 125442 WITH SCORE 126471.575
AT ITER 7647 NEW BEST:: SOT 1439716 SOS 1029521 HAS SOPS 764494 HAS SOUS 125995 HAS SOUPS 125280 WITH SCORE 126309.521
AT ITER 7662 NEW BEST:: SOT 1437022 SOS 1026827 HAS SOPS 769233 HAS SOUS 125995 HAS SOUPS 125280 WITH SCORE 126306.827
AT ITER 7670 NEW BEST:: SOT 1437204 SOS 1023788 HAS SOPS 763412 HAS SOUS 125660 HAS SOUPS 124945 WITH SCORE 125968.788
AT ITER 7687 NEW BEST:: SOT 1437000 SOS 1023584 HAS SOPS 763208 HAS SOUS 125542 HAS SOUPS 124827 WITH SCORE 125850.584
AT ITER 7730 NEW BEST:: SOT 1449253 SOS 1035837 HAS SOPS 773926 HAS SOUS 125214 HAS SOUPS 124499 WITH SCORE 125534.837
AT ITER 7886 NEW BEST:: SOT 1449283 SOS 1035098 HAS SOPS 773187 HAS SOUS 125017 HAS SOUPS 124302 WITH SCORE 125337.098
AT ITER 8001 NEW BEST:: SOT 1449283 SOS 1034901 HAS SOPS 772990 HAS SOUS 124944 HAS SOUPS 124229 WITH SCORE 125263.901
AT ITER 8014 NEW BEST:: SOT 1449340 SOS 1034846 HAS SOPS 772935 HAS SOUS 124874 HAS SOUPS 124159 WITH SCORE 125193.846
AT ITER 8032 NEW BEST:: SOT 1468465 SOS 1053971 HAS SOPS 790485 HAS SOUS 124541 HAS SOUPS 123826 WITH SCORE 124879.971
AT ITER 8095 NEW BEST:: SOT 1468465 SOS 1053933 HAS SOPS 790447 HAS SOUS 124463 HAS SOUPS 123748 WITH SCORE 124801.933
AT ITER 8147 NEW BEST:: SOT 1462446 SOS 1047914 HAS SOPS 785661 HAS SOUS 124463 HAS SOUPS 123748 WITH SCORE 124795.914
AT ITER 8236 NEW BEST:: SOT 1452797 SOS 1038265 HAS SOPS 776020 HAS SOUS 124210 HAS SOUPS 123495 WITH SCORE 124533.265
AT ITER 8396 NEW BEST:: SOT 1452797 SOS 1038265 HAS SOPS 776020 HAS SOUS 124166 HAS SOUPS 123451 WITH SCORE 124489.265
AT ITER 8414 NEW BEST:: SOT 1445057 SOS 1030525 HAS SOPS 768280 HAS SOUS 124130 HAS SOUPS 123415 WITH SCORE 124445.525
AT ITER 8464 NEW BEST:: SOT 1444606 SOS 1030074 HAS SOPS 767825 HAS SOUS 123883 HAS SOUPS 123168 WITH SCORE 124198.074
AT ITER 8480 NEW BEST:: SOT 1439614 SOS 1025082 HAS SOPS 766861 HAS SOUS 123883 HAS SOUPS 123168 WITH SCORE 124193.082
AT ITER 8488 NEW BEST:: SOT 1439840 SOS 1025266 HAS SOPS 767045 HAS SOUS 123856 HAS SOUPS 123141 WITH SCORE 124166.266
AT ITER 8504 NEW BEST:: SOT 1440347 SOS 1025773 HAS SOPS 767552 HAS SOUS 123794 HAS SOUPS 123079 WITH SCORE 124104.773
AT ITER 8579 NEW BEST:: SOT 1442317 SOS 1027743 HAS SOPS 762207 HAS SOUS 123750 HAS SOUPS 123035 WITH SCORE 124062.743
AT ITER 8595 NEW BEST:: SOT 1442317 SOS 1027743 HAS SOPS 762207 HAS SOUS 123652 HAS SOUPS 122937 WITH SCORE 123964.743
AT ITER 8719 NEW BEST:: SOT 1448570 SOS 1030510 HAS SOPS 749823 HAS SOUS 123035 HAS SOUPS 122320 WITH SCORE 123350.51
AT ITER 8794 NEW BEST:: SOT 1434345 SOS 1016285 HAS SOPS 735665 HAS SOUS 120400 HAS SOUPS 119685 WITH SCORE 120701.285
AT ITER 8840 NEW BEST:: SOT 1428297 SOS 1010237 HAS SOPS 729617 HAS SOUS 119860 HAS SOUPS 119145 WITH SCORE 120155.237
AT ITER 8898 NEW BEST:: SOT 1424978 SOS 1006918 HAS SOPS 727789 HAS SOUS 119860 HAS SOUPS 119145 WITH SCORE 120151.918
AT ITER 8899 NEW BEST:: SOT 1422575 SOS 1004515 HAS SOPS 727206 HAS SOUS 119860 HAS SOUPS 119145 WITH SCORE 120149.515
AT ITER 8905 NEW BEST:: SOT 1414641 SOS 996581 HAS SOPS 719330 HAS SOUS 119702 HAS SOUPS 118987 WITH SCORE 119983.581
AT ITER 9072 NEW BEST:: SOT 1414683 SOS 996111 HAS SOPS 718839 HAS SOUS 119377 HAS SOUPS 118662 WITH SCORE 119658.111
AT ITER 9073 NEW BEST:: SOT 1409460 SOS 990888 HAS SOPS 719176 HAS SOUS 119377 HAS SOUPS 118662 WITH SCORE 119652.888
AT ITER 9122 NEW BEST:: SOT 1395381 SOS 976809 HAS SOPS 705892 HAS SOUS 119256 HAS SOUPS 118541 WITH SCORE 119517.809
AT ITER 9142 NEW BEST:: SOT 1397604 SOS 974874 HAS SOPS 698224 HAS SOUS 117976 HAS SOUPS 117261 WITH SCORE 118235.874
AT ITER 9182 NEW BEST:: SOT 1397125 SOS 974395 HAS SOPS 698332 HAS SOUS 117976 HAS SOUPS 117261 WITH SCORE 118235.395
AT ITER 9257 NEW BEST:: SOT 1400548 SOS 966732 HAS SOPS 678341 HAS SOUS 116928 HAS SOUPS 116213 WITH SCORE 117179.732
AT ITER 9324 NEW BEST:: SOT 1400395 SOS 966579 HAS SOPS 678188 HAS SOUS 116877 HAS SOUPS 116162 WITH SCORE 117128.579
AT ITER 9414 NEW BEST:: SOT 1400395 SOS 960224 HAS SOPS 671187 HAS SOUS 116375 HAS SOUPS 115660 WITH SCORE 116620.224
AT ITER 9496 NEW BEST:: SOT 1400471 SOS 960302 HAS SOPS 671265 HAS SOUS 116250 HAS SOUPS 115535 WITH SCORE 116495.302
AT ITER 9526 NEW BEST:: SOT 1411568 SOS 971399 HAS SOPS 681579 HAS SOUS 115971 HAS SOUPS 115256 WITH SCORE 116227.399
AT ITER 9630 NEW BEST:: SOT 1424028 SOS 983859 HAS SOPS 691127 HAS SOUS 115544 HAS SOUPS 114829 WITH SCORE 115812.859
AT ITER 9678 NEW BEST:: SOT 1427574 SOS 976770 HAS SOPS 671186 HAS SOUS 114582 HAS SOUPS 113867 WITH SCORE 114843.77
AT ITER 9686 NEW BEST:: SOT 1427574 SOS 976684 HAS SOPS 671100 HAS SOUS 114539 HAS SOUPS 113824 WITH SCORE 114800.684
AT ITER 9861 NEW BEST:: SOT 1440420 SOS 989530 HAS SOPS 679656 HAS SOUS 114063 HAS SOUPS 113348 WITH SCORE 114337.53
AT ITER 9891 NEW BEST:: SOT 1440621 SOS 989731 HAS SOPS 679857 HAS SOUS 114057 HAS SOUPS 113342 WITH SCORE 114331.731
AT ITER 9913 NEW BEST:: SOT 1440592 SOS 989702 HAS SOPS 679836 HAS SOUS 114057 HAS SOUPS 113342 WITH SCORE 114331.702
AT ITER 9989 NEW BEST:: SOT 1440669 SOS 989522 HAS SOPS 679390 HAS SOUS 113835 HAS SOUPS 113120 WITH SCORE 114109.522
AT ITER 9995 NEW BEST:: SOT 1442436 SOS 980121 HAS SOPS 660158 HAS SOUS 112923 HAS SOUPS 112208 WITH SCORE 113188.121
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 9759504 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16121996 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-d2m18"
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-d2m18, 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-167905979700472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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