Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858200168.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Eratosthenes-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858200168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 7.7K Feb 25 11:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 11:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 186K Feb 25 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 126K Mar 5 18:22 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 1679431218984

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=Eratosthenes-PT-100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 20:40:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 20:40:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 20:40:20] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-21 20:40:20] [INFO ] Transformed 99 places.
[2023-03-21 20:40:20] [INFO ] Transformed 283 transitions.
[2023-03-21 20:40:20] [INFO ] Parsed PT model containing 99 places and 283 transitions and 849 arcs in 116 ms.
[2023-03-21 20:40:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 99 places, 283 transitions and 849 arcs took 5 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 100
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: 99 places, 283 transitions, 849 arcs.
AT ITER 0 NEW BEST:: SOT 17114 SOS 7257 HAS SOPS 5578 HAS SOUS 2711 HAS SOUPS 1947 WITH SCORE 1954.257
AT ITER 1 NEW BEST:: SOT 17112 SOS 7246 HAS SOPS 5576 HAS SOUS 2709 HAS SOUPS 1947 WITH SCORE 1954.246
AT ITER 4 NEW BEST:: SOT 17112 SOS 7218 HAS SOPS 5548 HAS SOUS 2709 HAS SOUPS 1947 WITH SCORE 1954.218
AT ITER 15 NEW BEST:: SOT 17103 SOS 7200 HAS SOPS 5553 HAS SOUS 2702 HAS SOUPS 1947 WITH SCORE 1954.2
AT ITER 16 NEW BEST:: SOT 17133 SOS 7134 HAS SOPS 5457 HAS SOUS 2722 HAS SOUPS 1947 WITH SCORE 1954.134
AT ITER 21 NEW BEST:: SOT 16898 SOS 6916 HAS SOPS 5138 HAS SOUS 2772 HAS SOUPS 1925 WITH SCORE 1931.916
AT ITER 23 NEW BEST:: SOT 16966 SOS 6970 HAS SOPS 5124 HAS SOUS 2801 HAS SOUPS 1911 WITH SCORE 1917.97
AT ITER 27 NEW BEST:: SOT 17032 SOS 7030 HAS SOPS 5118 HAS SOUS 2834 HAS SOUPS 1905 WITH SCORE 1912.03
AT ITER 31 NEW BEST:: SOT 17024 SOS 7032 HAS SOPS 5098 HAS SOUS 2826 HAS SOUPS 1885 WITH SCORE 1892.032
AT ITER 34 NEW BEST:: SOT 17024 SOS 7030 HAS SOPS 5098 HAS SOUS 2826 HAS SOUPS 1885 WITH SCORE 1892.03
AT ITER 37 NEW BEST:: SOT 17096 SOS 7049 HAS SOPS 5120 HAS SOUS 2798 HAS SOUPS 1860 WITH SCORE 1867.049
AT ITER 38 NEW BEST:: SOT 16719 SOS 6884 HAS SOPS 4743 HAS SOUS 2786 HAS SOUPS 1817 WITH SCORE 1823.884
AT ITER 40 NEW BEST:: SOT 16885 SOS 7000 HAS SOPS 4693 HAS SOUS 2833 HAS SOUPS 1793 WITH SCORE 1800.0
AT ITER 42 NEW BEST:: SOT 17334 SOS 7169 HAS SOPS 4494 HAS SOUS 3044 HAS SOUPS 1772 WITH SCORE 1779.169
AT ITER 43 NEW BEST:: SOT 17765 SOS 7251 HAS SOPS 4145 HAS SOUS 3027 HAS SOUPS 1694 WITH SCORE 1701.251
AT ITER 47 NEW BEST:: SOT 17780 SOS 7236 HAS SOPS 4115 HAS SOUS 3027 HAS SOUPS 1694 WITH SCORE 1701.236
AT ITER 49 NEW BEST:: SOT 17221 SOS 7854 HAS SOPS 3556 HAS SOUS 2925 HAS SOUPS 1581 WITH SCORE 1588.854
AT ITER 51 NEW BEST:: SOT 17281 SOS 7854 HAS SOPS 3496 HAS SOUS 2940 HAS SOUPS 1566 WITH SCORE 1573.854
AT ITER 60 NEW BEST:: SOT 17284 SOS 7740 HAS SOPS 3439 HAS SOUS 2910 HAS SOUPS 1566 WITH SCORE 1573.74
AT ITER 67 NEW BEST:: SOT 17320 SOS 8226 HAS SOPS 3383 HAS SOUS 2869 HAS SOUPS 1475 WITH SCORE 1483.226
AT ITER 70 NEW BEST:: SOT 17361 SOS 8184 HAS SOPS 3300 HAS SOUS 2866 HAS SOUPS 1450 WITH SCORE 1458.184
AT ITER 71 NEW BEST:: SOT 17368 SOS 8246 HAS SOPS 3283 HAS SOUS 2881 HAS SOUPS 1441 WITH SCORE 1449.246
AT ITER 80 NEW BEST:: SOT 17578 SOS 8252 HAS SOPS 3148 HAS SOUS 2816 HAS SOUPS 1427 WITH SCORE 1435.252
AT ITER 81 NEW BEST:: SOT 17475 SOS 8099 HAS SOPS 3151 HAS SOUS 2755 HAS SOUPS 1427 WITH SCORE 1435.099
AT ITER 82 NEW BEST:: SOT 17483 SOS 8107 HAS SOPS 3143 HAS SOUS 2757 HAS SOUPS 1421 WITH SCORE 1429.107
AT ITER 90 NEW BEST:: SOT 17360 SOS 8131 HAS SOPS 2930 HAS SOUS 2703 HAS SOUPS 1308 WITH SCORE 1316.131
AT ITER 98 NEW BEST:: SOT 17649 SOS 8393 HAS SOPS 2903 HAS SOUS 2783 HAS SOUPS 1292 WITH SCORE 1300.393
AT ITER 104 NEW BEST:: SOT 17322 SOS 8350 HAS SOPS 2550 HAS SOUS 2700 HAS SOUPS 1183 WITH SCORE 1191.35
AT ITER 105 NEW BEST:: SOT 17355 SOS 8311 HAS SOPS 2541 HAS SOUS 2700 HAS SOUPS 1183 WITH SCORE 1191.311
AT ITER 106 NEW BEST:: SOT 17483 SOS 8653 HAS SOPS 2497 HAS SOUS 2798 HAS SOUPS 1152 WITH SCORE 1160.653
AT ITER 108 NEW BEST:: SOT 17483 SOS 8641 HAS SOPS 2497 HAS SOUS 2794 HAS SOUPS 1152 WITH SCORE 1160.641
AT ITER 110 NEW BEST:: SOT 17759 SOS 8878 HAS SOPS 2458 HAS SOUS 2878 HAS SOUPS 1131 WITH SCORE 1139.878
AT ITER 112 NEW BEST:: SOT 17595 SOS 9180 HAS SOPS 1916 HAS SOUS 2865 HAS SOUPS 1066 WITH SCORE 1075.18
AT ITER 115 NEW BEST:: SOT 17601 SOS 9382 HAS SOPS 1732 HAS SOUS 2874 HAS SOUPS 1028 WITH SCORE 1037.382
AT ITER 121 NEW BEST:: SOT 17523 SOS 9456 HAS SOPS 1644 HAS SOUS 2836 HAS SOUPS 985 WITH SCORE 994.456
AT ITER 123 NEW BEST:: SOT 17339 SOS 10359 HAS SOPS 1336 HAS SOUS 2732 HAS SOUPS 881 WITH SCORE 891.359
AT ITER 128 NEW BEST:: SOT 17300 SOS 10315 HAS SOPS 1331 HAS SOUS 2722 HAS SOUPS 876 WITH SCORE 886.315
AT ITER 130 NEW BEST:: SOT 17296 SOS 10311 HAS SOPS 1331 HAS SOUS 2718 HAS SOUPS 876 WITH SCORE 886.311
AT ITER 132 NEW BEST:: SOT 17257 SOS 10284 HAS SOPS 1326 HAS SOUS 2728 HAS SOUPS 874 WITH SCORE 884.284
AT ITER 133 NEW BEST:: SOT 17340 SOS 10364 HAS SOPS 1323 HAS SOUS 2766 HAS SOUPS 871 WITH SCORE 881.364
AT ITER 142 NEW BEST:: SOT 17300 SOS 10354 HAS SOPS 1318 HAS SOUS 2791 HAS SOUPS 866 WITH SCORE 876.354
AT ITER 143 NEW BEST:: SOT 17270 SOS 10324 HAS SOPS 1318 HAS SOUS 2788 HAS SOUPS 866 WITH SCORE 876.324
AT ITER 144 NEW BEST:: SOT 17272 SOS 10172 HAS SOPS 1294 HAS SOUS 2736 HAS SOUPS 840 WITH SCORE 850.172
AT ITER 148 NEW BEST:: SOT 17225 SOS 10133 HAS SOPS 1302 HAS SOUS 2726 HAS SOUPS 840 WITH SCORE 850.133
AT ITER 149 NEW BEST:: SOT 17207 SOS 10115 HAS SOPS 1302 HAS SOUS 2717 HAS SOUPS 840 WITH SCORE 850.115
AT ITER 150 NEW BEST:: SOT 17204 SOS 10177 HAS SOPS 1299 HAS SOUS 2782 HAS SOUPS 837 WITH SCORE 847.177
AT ITER 154 NEW BEST:: SOT 17278 SOS 10101 HAS SOPS 1117 HAS SOUS 2748 HAS SOUPS 788 WITH SCORE 798.101
AT ITER 155 NEW BEST:: SOT 17221 SOS 10041 HAS SOPS 1114 HAS SOUS 2678 HAS SOUPS 785 WITH SCORE 795.041
AT ITER 168 NEW BEST:: SOT 17275 SOS 10131 HAS SOPS 1096 HAS SOUS 2686 HAS SOUPS 776 WITH SCORE 786.131
AT ITER 174 NEW BEST:: SOT 17272 SOS 10128 HAS SOPS 1095 HAS SOUS 2685 HAS SOUPS 775 WITH SCORE 785.128
AT ITER 175 NEW BEST:: SOT 17242 SOS 10143 HAS SOPS 1060 HAS SOUS 2665 HAS SOUPS 755 WITH SCORE 765.143
AT ITER 178 NEW BEST:: SOT 17247 SOS 10117 HAS SOPS 1074 HAS SOUS 2656 HAS SOUPS 755 WITH SCORE 765.117
AT ITER 181 NEW BEST:: SOT 17247 SOS 10096 HAS SOPS 1074 HAS SOUS 2656 HAS SOUPS 755 WITH SCORE 765.096
AT ITER 187 NEW BEST:: SOT 17361 SOS 10204 HAS SOPS 1068 HAS SOUS 2650 HAS SOUPS 749 WITH SCORE 759.204
AT ITER 188 NEW BEST:: SOT 17325 SOS 10168 HAS SOPS 1068 HAS SOUS 2650 HAS SOUPS 749 WITH SCORE 759.168
AT ITER 190 NEW BEST:: SOT 17444 SOS 10124 HAS SOPS 1093 HAS SOUS 2587 HAS SOUPS 733 WITH SCORE 743.124
AT ITER 192 NEW BEST:: SOT 17599 SOS 10334 HAS SOPS 1048 HAS SOUS 2684 HAS SOUPS 719 WITH SCORE 729.334
AT ITER 193 NEW BEST:: SOT 17583 SOS 10341 HAS SOPS 1032 HAS SOUS 2681 HAS SOUPS 716 WITH SCORE 726.341
AT ITER 194 NEW BEST:: SOT 17567 SOS 10363 HAS SOPS 1016 HAS SOUS 2727 HAS SOUPS 712 WITH SCORE 722.363
AT ITER 199 NEW BEST:: SOT 17641 SOS 10447 HAS SOPS 1026 HAS SOUS 2737 HAS SOUPS 694 WITH SCORE 704.447
AT ITER 202 NEW BEST:: SOT 17665 SOS 10432 HAS SOPS 1008 HAS SOUS 2710 HAS SOUPS 691 WITH SCORE 701.432
AT ITER 203 NEW BEST:: SOT 17592 SOS 10385 HAS SOPS 1001 HAS SOUS 2736 HAS SOUPS 691 WITH SCORE 701.385
AT ITER 206 NEW BEST:: SOT 17586 SOS 10389 HAS SOPS 991 HAS SOUS 2732 HAS SOUPS 685 WITH SCORE 695.389
AT ITER 207 NEW BEST:: SOT 17575 SOS 10409 HAS SOPS 980 HAS SOUS 2752 HAS SOUPS 674 WITH SCORE 684.409
AT ITER 209 NEW BEST:: SOT 17537 SOS 10645 HAS SOPS 942 HAS SOUS 2762 HAS SOUPS 660 WITH SCORE 670.645
AT ITER 214 NEW BEST:: SOT 17449 SOS 10557 HAS SOPS 942 HAS SOUS 2738 HAS SOUPS 660 WITH SCORE 670.557
AT ITER 217 NEW BEST:: SOT 17525 SOS 10589 HAS SOPS 922 HAS SOUS 2694 HAS SOUPS 640 WITH SCORE 650.589
AT ITER 223 NEW BEST:: SOT 17486 SOS 10511 HAS SOPS 883 HAS SOUS 2673 HAS SOUPS 640 WITH SCORE 650.511
AT ITER 226 NEW BEST:: SOT 17538 SOS 10525 HAS SOPS 875 HAS SOUS 2635 HAS SOUPS 632 WITH SCORE 642.525
AT ITER 228 NEW BEST:: SOT 17369 SOS 10383 HAS SOPS 874 HAS SOUS 2683 HAS SOUPS 631 WITH SCORE 641.383
AT ITER 230 NEW BEST:: SOT 17349 SOS 10363 HAS SOPS 874 HAS SOUS 2683 HAS SOUPS 631 WITH SCORE 641.363
AT ITER 236 NEW BEST:: SOT 17569 SOS 10579 HAS SOPS 870 HAS SOUS 2772 HAS SOUPS 628 WITH SCORE 638.579
AT ITER 238 NEW BEST:: SOT 17569 SOS 10547 HAS SOPS 870 HAS SOUS 2772 HAS SOUPS 628 WITH SCORE 638.547
AT ITER 251 NEW BEST:: SOT 17546 SOS 10710 HAS SOPS 847 HAS SOUS 2769 HAS SOUPS 614 WITH SCORE 624.71
AT ITER 263 NEW BEST:: SOT 17546 SOS 10704 HAS SOPS 843 HAS SOUS 2768 HAS SOUPS 613 WITH SCORE 623.704
AT ITER 264 NEW BEST:: SOT 17432 SOS 10590 HAS SOPS 843 HAS SOUS 2739 HAS SOUPS 613 WITH SCORE 623.59
AT ITER 267 NEW BEST:: SOT 17450 SOS 10610 HAS SOPS 837 HAS SOUS 2733 HAS SOUPS 607 WITH SCORE 617.61
AT ITER 271 NEW BEST:: SOT 17421 SOS 10552 HAS SOPS 808 HAS SOUS 2704 HAS SOUPS 606 WITH SCORE 616.552
AT ITER 274 NEW BEST:: SOT 17401 SOS 10522 HAS SOPS 808 HAS SOUS 2684 HAS SOUPS 606 WITH SCORE 616.522
AT ITER 278 NEW BEST:: SOT 17519 SOS 10622 HAS SOPS 790 HAS SOUS 2682 HAS SOUPS 588 WITH SCORE 598.622
AT ITER 279 NEW BEST:: SOT 17493 SOS 10889 HAS SOPS 648 HAS SOUS 2680 HAS SOUPS 530 WITH SCORE 540.889
AT ITER 281 NEW BEST:: SOT 17341 SOS 10737 HAS SOPS 648 HAS SOUS 2637 HAS SOUPS 530 WITH SCORE 540.737
AT ITER 282 NEW BEST:: SOT 17275 SOS 10671 HAS SOPS 648 HAS SOUS 2584 HAS SOUPS 530 WITH SCORE 540.671
AT ITER 286 NEW BEST:: SOT 17451 SOS 10813 HAS SOPS 614 HAS SOUS 2551 HAS SOUPS 496 WITH SCORE 506.813
AT ITER 308 NEW BEST:: SOT 17349 SOS 10959 HAS SOPS 612 HAS SOUS 2539 HAS SOUPS 484 WITH SCORE 494.959
AT ITER 311 NEW BEST:: SOT 17349 SOS 10947 HAS SOPS 612 HAS SOUS 2527 HAS SOUPS 484 WITH SCORE 494.947
AT ITER 318 NEW BEST:: SOT 17343 SOS 10941 HAS SOPS 612 HAS SOUS 2523 HAS SOUPS 484 WITH SCORE 494.941
AT ITER 329 NEW BEST:: SOT 17049 SOS 10647 HAS SOPS 612 HAS SOUS 2474 HAS SOUPS 484 WITH SCORE 494.647
AT ITER 331 NEW BEST:: SOT 17077 SOS 10678 HAS SOPS 590 HAS SOUS 2477 HAS SOUPS 462 WITH SCORE 472.678
AT ITER 337 NEW BEST:: SOT 17132 SOS 10494 HAS SOPS 477 HAS SOUS 2393 HAS SOUPS 420 WITH SCORE 430.494
AT ITER 341 NEW BEST:: SOT 17083 SOS 10410 HAS SOPS 477 HAS SOUS 2386 HAS SOUPS 420 WITH SCORE 430.41
AT ITER 350 NEW BEST:: SOT 17035 SOS 10404 HAS SOPS 449 HAS SOUS 2391 HAS SOUPS 405 WITH SCORE 415.404
AT ITER 369 NEW BEST:: SOT 17035 SOS 10403 HAS SOPS 448 HAS SOUS 2389 HAS SOUPS 404 WITH SCORE 414.403
AT ITER 382 NEW BEST:: SOT 17015 SOS 10383 HAS SOPS 448 HAS SOUS 2372 HAS SOUPS 404 WITH SCORE 414.383
AT ITER 384 NEW BEST:: SOT 16995 SOS 10363 HAS SOPS 448 HAS SOUS 2362 HAS SOUPS 404 WITH SCORE 414.363
AT ITER 385 NEW BEST:: SOT 16949 SOS 10406 HAS SOPS 432 HAS SOUS 2375 HAS SOUPS 391 WITH SCORE 401.406
AT ITER 395 NEW BEST:: SOT 16861 SOS 10318 HAS SOPS 432 HAS SOUS 2362 HAS SOUPS 391 WITH SCORE 401.318
AT ITER 415 NEW BEST:: SOT 16749 SOS 10178 HAS SOPS 432 HAS SOUS 2306 HAS SOUPS 391 WITH SCORE 401.178
AT ITER 416 NEW BEST:: SOT 16673 SOS 10102 HAS SOPS 432 HAS SOUS 2261 HAS SOUPS 391 WITH SCORE 401.102
AT ITER 428 NEW BEST:: SOT 16676 SOS 10105 HAS SOPS 429 HAS SOUS 2258 HAS SOUPS 388 WITH SCORE 398.105
AT ITER 441 NEW BEST:: SOT 16662 SOS 10084 HAS SOPS 429 HAS SOUS 2248 HAS SOUPS 388 WITH SCORE 398.084
AT ITER 455 NEW BEST:: SOT 16652 SOS 10074 HAS SOPS 429 HAS SOUS 2248 HAS SOUPS 388 WITH SCORE 398.074
AT ITER 457 NEW BEST:: SOT 16649 SOS 10041 HAS SOPS 429 HAS SOUS 2245 HAS SOUPS 388 WITH SCORE 398.041
AT ITER 464 NEW BEST:: SOT 16640 SOS 10119 HAS SOPS 420 HAS SOUS 2300 HAS SOUPS 379 WITH SCORE 389.119
AT ITER 465 NEW BEST:: SOT 16632 SOS 10111 HAS SOPS 420 HAS SOUS 2293 HAS SOUPS 379 WITH SCORE 389.111
AT ITER 473 NEW BEST:: SOT 16611 SOS 10619 HAS SOPS 399 HAS SOUS 2325 HAS SOUPS 361 WITH SCORE 371.619
AT ITER 488 NEW BEST:: SOT 16575 SOS 10592 HAS SOPS 399 HAS SOUS 2343 HAS SOUPS 361 WITH SCORE 371.592
AT ITER 490 NEW BEST:: SOT 16535 SOS 10552 HAS SOPS 399 HAS SOUS 2345 HAS SOUPS 361 WITH SCORE 371.552
AT ITER 515 NEW BEST:: SOT 16534 SOS 10676 HAS SOPS 398 HAS SOUS 2352 HAS SOUPS 360 WITH SCORE 370.676
AT ITER 527 NEW BEST:: SOT 16655 SOS 10794 HAS SOPS 395 HAS SOUS 2362 HAS SOUPS 357 WITH SCORE 367.794
AT ITER 540 NEW BEST:: SOT 17001 SOS 11191 HAS SOPS 387 HAS SOUS 2471 HAS SOUPS 349 WITH SCORE 360.191
AT ITER 565 NEW BEST:: SOT 16959 SOS 11149 HAS SOPS 387 HAS SOUS 2501 HAS SOUPS 349 WITH SCORE 360.149
AT ITER 567 NEW BEST:: SOT 16937 SOS 11127 HAS SOPS 387 HAS SOUS 2494 HAS SOUPS 349 WITH SCORE 360.127
AT ITER 568 NEW BEST:: SOT 16937 SOS 11109 HAS SOPS 387 HAS SOUS 2476 HAS SOUPS 349 WITH SCORE 360.109
AT ITER 572 NEW BEST:: SOT 16855 SOS 10986 HAS SOPS 387 HAS SOUS 2435 HAS SOUPS 349 WITH SCORE 359.986
AT ITER 582 NEW BEST:: SOT 16852 SOS 10780 HAS SOPS 384 HAS SOUS 2432 HAS SOUPS 346 WITH SCORE 356.78
AT ITER 600 NEW BEST:: SOT 16774 SOS 10702 HAS SOPS 384 HAS SOUS 2447 HAS SOUPS 346 WITH SCORE 356.702
AT ITER 604 NEW BEST:: SOT 16774 SOS 10665 HAS SOPS 384 HAS SOUS 2401 HAS SOUPS 346 WITH SCORE 356.665
AT ITER 617 NEW BEST:: SOT 16744 SOS 10687 HAS SOPS 354 HAS SOUS 2471 HAS SOUPS 337 WITH SCORE 347.687
AT ITER 632 NEW BEST:: SOT 16704 SOS 10642 HAS SOPS 354 HAS SOUS 2456 HAS SOUPS 337 WITH SCORE 347.642
AT ITER 640 NEW BEST:: SOT 16696 SOS 10634 HAS SOPS 354 HAS SOUS 2456 HAS SOUPS 337 WITH SCORE 347.634
AT ITER 651 NEW BEST:: SOT 16825 SOS 10742 HAS SOPS 333 HAS SOUS 2436 HAS SOUPS 316 WITH SCORE 326.742
AT ITER 657 NEW BEST:: SOT 16835 SOS 10749 HAS SOPS 330 HAS SOUS 2433 HAS SOUPS 313 WITH SCORE 323.749
AT ITER 669 NEW BEST:: SOT 16814 SOS 10735 HAS SOPS 330 HAS SOUS 2454 HAS SOUPS 313 WITH SCORE 323.735
AT ITER 673 NEW BEST:: SOT 16806 SOS 10727 HAS SOPS 330 HAS SOUS 2462 HAS SOUPS 313 WITH SCORE 323.727
AT ITER 680 NEW BEST:: SOT 16809 SOS 10766 HAS SOPS 327 HAS SOUS 2461 HAS SOUPS 312 WITH SCORE 322.766
AT ITER 683 NEW BEST:: SOT 16805 SOS 10754 HAS SOPS 327 HAS SOUS 2459 HAS SOUPS 312 WITH SCORE 322.754
AT ITER 700 NEW BEST:: SOT 16820 SOS 10742 HAS SOPS 328 HAS SOUS 2457 HAS SOUPS 310 WITH SCORE 320.742
AT ITER 711 NEW BEST:: SOT 16807 SOS 10729 HAS SOPS 328 HAS SOUS 2457 HAS SOUPS 310 WITH SCORE 320.729
AT ITER 717 NEW BEST:: SOT 16809 SOS 10726 HAS SOPS 328 HAS SOUS 2457 HAS SOUPS 310 WITH SCORE 320.726
AT ITER 732 NEW BEST:: SOT 16807 SOS 10724 HAS SOPS 328 HAS SOUS 2455 HAS SOUPS 310 WITH SCORE 320.724
AT ITER 739 NEW BEST:: SOT 16799 SOS 10716 HAS SOPS 328 HAS SOUS 2455 HAS SOUPS 310 WITH SCORE 320.716
AT ITER 762 NEW BEST:: SOT 16829 SOS 10686 HAS SOPS 328 HAS SOUS 2425 HAS SOUPS 310 WITH SCORE 320.686
AT ITER 764 NEW BEST:: SOT 16819 SOS 10671 HAS SOPS 328 HAS SOUS 2415 HAS SOUPS 310 WITH SCORE 320.671
AT ITER 772 NEW BEST:: SOT 16819 SOS 10667 HAS SOPS 328 HAS SOUS 2407 HAS SOUPS 310 WITH SCORE 320.667
AT ITER 776 NEW BEST:: SOT 16811 SOS 10659 HAS SOPS 328 HAS SOUS 2405 HAS SOUPS 310 WITH SCORE 320.659
AT ITER 790 NEW BEST:: SOT 16807 SOS 10655 HAS SOPS 328 HAS SOUS 2405 HAS SOUPS 310 WITH SCORE 320.655
AT ITER 808 NEW BEST:: SOT 16807 SOS 10604 HAS SOPS 328 HAS SOUS 2354 HAS SOUPS 310 WITH SCORE 320.604
AT ITER 814 NEW BEST:: SOT 16849 SOS 10763 HAS SOPS 320 HAS SOUS 2352 HAS SOUPS 308 WITH SCORE 318.763
AT ITER 824 NEW BEST:: SOT 16735 SOS 10649 HAS SOPS 320 HAS SOUS 2333 HAS SOUPS 308 WITH SCORE 318.649
AT ITER 859 NEW BEST:: SOT 16708 SOS 10622 HAS SOPS 320 HAS SOUS 2301 HAS SOUPS 308 WITH SCORE 318.622
AT ITER 888 NEW BEST:: SOT 16706 SOS 10621 HAS SOPS 320 HAS SOUS 2302 HAS SOUPS 308 WITH SCORE 318.621
AT ITER 890 NEW BEST:: SOT 16706 SOS 10565 HAS SOPS 320 HAS SOUS 2302 HAS SOUPS 308 WITH SCORE 318.565
AT ITER 908 NEW BEST:: SOT 16706 SOS 10475 HAS SOPS 320 HAS SOUS 2302 HAS SOUPS 308 WITH SCORE 318.475
AT ITER 913 NEW BEST:: SOT 16675 SOS 10651 HAS SOPS 317 HAS SOUS 2315 HAS SOUPS 307 WITH SCORE 317.651
AT ITER 940 NEW BEST:: SOT 16623 SOS 10612 HAS SOPS 317 HAS SOUS 2339 HAS SOUPS 307 WITH SCORE 317.612
AT ITER 957 NEW BEST:: SOT 16614 SOS 10657 HAS SOPS 308 HAS SOUS 2331 HAS SOUPS 299 WITH SCORE 309.657
AT ITER 960 NEW BEST:: SOT 16604 SOS 10647 HAS SOPS 308 HAS SOUS 2329 HAS SOUPS 299 WITH SCORE 309.647
AT ITER 963 NEW BEST:: SOT 16682 SOS 10703 HAS SOPS 306 HAS SOUS 2327 HAS SOUPS 297 WITH SCORE 307.703
AT ITER 985 NEW BEST:: SOT 16702 SOS 10611 HAS SOPS 304 HAS SOUS 2325 HAS SOUPS 295 WITH SCORE 305.611
AT ITER 995 NEW BEST:: SOT 16660 SOS 10569 HAS SOPS 304 HAS SOUS 2304 HAS SOUPS 295 WITH SCORE 305.569
AT ITER 1002 NEW BEST:: SOT 16656 SOS 10565 HAS SOPS 304 HAS SOUS 2302 HAS SOUPS 295 WITH SCORE 305.565
AT ITER 1010 NEW BEST:: SOT 16652 SOS 10559 HAS SOPS 304 HAS SOUS 2298 HAS SOUPS 295 WITH SCORE 305.559
AT ITER 1019 NEW BEST:: SOT 16640 SOS 10550 HAS SOPS 304 HAS SOUS 2298 HAS SOUPS 295 WITH SCORE 305.55
AT ITER 1031 NEW BEST:: SOT 16480 SOS 10390 HAS SOPS 304 HAS SOUS 2226 HAS SOUPS 295 WITH SCORE 305.39
AT ITER 1034 NEW BEST:: SOT 16390 SOS 10300 HAS SOPS 304 HAS SOUS 2188 HAS SOUPS 295 WITH SCORE 305.3
AT ITER 1063 NEW BEST:: SOT 16334 SOS 10244 HAS SOPS 304 HAS SOUS 2156 HAS SOUPS 295 WITH SCORE 305.244
AT ITER 1128 NEW BEST:: SOT 16274 SOS 10124 HAS SOPS 304 HAS SOUS 2066 HAS SOUPS 295 WITH SCORE 305.124
AT ITER 1148 NEW BEST:: SOT 16289 SOS 10120 HAS SOPS 285 HAS SOUS 2056 HAS SOUPS 285 WITH SCORE 295.12
AT ITER 1177 NEW BEST:: SOT 16253 SOS 10084 HAS SOPS 285 HAS SOUS 2035 HAS SOUPS 285 WITH SCORE 295.084
AT ITER 1213 NEW BEST:: SOT 16253 SOS 10080 HAS SOPS 285 HAS SOUS 2033 HAS SOUPS 285 WITH SCORE 295.08
AT ITER 1218 NEW BEST:: SOT 16243 SOS 10055 HAS SOPS 285 HAS SOUS 2033 HAS SOUPS 285 WITH SCORE 295.055
AT ITER 1237 NEW BEST:: SOT 16233 SOS 10045 HAS SOPS 285 HAS SOUS 2038 HAS SOUPS 285 WITH SCORE 295.045
AT ITER 1252 NEW BEST:: SOT 16213 SOS 10029 HAS SOPS 285 HAS SOUS 2038 HAS SOUPS 285 WITH SCORE 295.029
AT ITER 1257 NEW BEST:: SOT 16203 SOS 10019 HAS SOPS 285 HAS SOUS 2033 HAS SOUPS 285 WITH SCORE 295.019
AT ITER 1269 NEW BEST:: SOT 16203 SOS 10009 HAS SOPS 285 HAS SOUS 2031 HAS SOUPS 285 WITH SCORE 295.009
AT ITER 1271 NEW BEST:: SOT 16171 SOS 9973 HAS SOPS 285 HAS SOUS 2021 HAS SOUPS 285 WITH SCORE 294.973
AT ITER 1278 NEW BEST:: SOT 16169 SOS 9989 HAS SOPS 283 HAS SOUS 2019 HAS SOUPS 283 WITH SCORE 292.989
AT ITER 1289 NEW BEST:: SOT 16166 SOS 9986 HAS SOPS 283 HAS SOUS 2019 HAS SOUPS 283 WITH SCORE 292.986
AT ITER 1291 NEW BEST:: SOT 16082 SOS 9902 HAS SOPS 283 HAS SOUS 2010 HAS SOUPS 283 WITH SCORE 292.902
AT ITER 1315 NEW BEST:: SOT 16048 SOS 9885 HAS SOPS 283 HAS SOUS 2027 HAS SOUPS 283 WITH SCORE 292.885
AT ITER 1375 NEW BEST:: SOT 16040 SOS 9877 HAS SOPS 283 HAS SOUS 2023 HAS SOUPS 283 WITH SCORE 292.877
AT ITER 1409 NEW BEST:: SOT 16046 SOS 9871 HAS SOPS 283 HAS SOUS 2023 HAS SOUPS 283 WITH SCORE 292.871
AT ITER 1475 NEW BEST:: SOT 16006 SOS 9861 HAS SOPS 283 HAS SOUS 2023 HAS SOUPS 283 WITH SCORE 292.861
AT ITER 1492 NEW BEST:: SOT 15994 SOS 9843 HAS SOPS 283 HAS SOUS 2017 HAS SOUPS 283 WITH SCORE 292.843
AT ITER 1512 NEW BEST:: SOT 15976 SOS 9816 HAS SOPS 283 HAS SOUS 1995 HAS SOUPS 283 WITH SCORE 292.816
AT ITER 1518 NEW BEST:: SOT 15966 SOS 9806 HAS SOPS 283 HAS SOUS 1995 HAS SOUPS 283 WITH SCORE 292.806
AT ITER 1523 NEW BEST:: SOT 15954 SOS 9776 HAS SOPS 283 HAS SOUS 1983 HAS SOUPS 283 WITH SCORE 292.776
AT ITER 1560 NEW BEST:: SOT 15954 SOS 9732 HAS SOPS 283 HAS SOUS 1939 HAS SOUPS 283 WITH SCORE 292.73199999999997
AT ITER 1565 NEW BEST:: SOT 15948 SOS 9726 HAS SOPS 283 HAS SOUS 1939 HAS SOUPS 283 WITH SCORE 292.726
AT ITER 1660 NEW BEST:: SOT 15938 SOS 9716 HAS SOPS 283 HAS SOUS 1934 HAS SOUPS 283 WITH SCORE 292.716
AT ITER 1664 NEW BEST:: SOT 15906 SOS 9684 HAS SOPS 283 HAS SOUS 1934 HAS SOUPS 283 WITH SCORE 292.684
AT ITER 1666 NEW BEST:: SOT 15886 SOS 9654 HAS SOPS 283 HAS SOUS 1924 HAS SOUPS 283 WITH SCORE 292.654
AT ITER 1667 NEW BEST:: SOT 15882 SOS 9650 HAS SOPS 283 HAS SOUS 1924 HAS SOUPS 283 WITH SCORE 292.65
AT ITER 1673 NEW BEST:: SOT 15882 SOS 9638 HAS SOPS 283 HAS SOUS 1918 HAS SOUPS 283 WITH SCORE 292.638
AT ITER 1677 NEW BEST:: SOT 15810 SOS 9602 HAS SOPS 283 HAS SOUS 1918 HAS SOUPS 283 WITH SCORE 292.602
AT ITER 1678 NEW BEST:: SOT 15805 SOS 9597 HAS SOPS 283 HAS SOUS 1918 HAS SOUPS 283 WITH SCORE 292.597
AT ITER 1697 NEW BEST:: SOT 15715 SOS 9507 HAS SOPS 283 HAS SOUS 1942 HAS SOUPS 283 WITH SCORE 292.507
AT ITER 1701 NEW BEST:: SOT 15685 SOS 9477 HAS SOPS 283 HAS SOUS 1933 HAS SOUPS 283 WITH SCORE 292.477
AT ITER 1716 NEW BEST:: SOT 15665 SOS 9457 HAS SOPS 283 HAS SOUS 1930 HAS SOUPS 283 WITH SCORE 292.457
AT ITER 1718 NEW BEST:: SOT 15665 SOS 9446 HAS SOPS 283 HAS SOUS 1930 HAS SOUPS 283 WITH SCORE 292.446
AT ITER 1721 NEW BEST:: SOT 15657 SOS 9438 HAS SOPS 283 HAS SOUS 1927 HAS SOUPS 283 WITH SCORE 292.438
AT ITER 1728 NEW BEST:: SOT 15547 SOS 9328 HAS SOPS 283 HAS SOUS 1872 HAS SOUPS 283 WITH SCORE 292.328
AT ITER 1738 NEW BEST:: SOT 15551 SOS 9312 HAS SOPS 283 HAS SOUS 1872 HAS SOUPS 283 WITH SCORE 292.312
AT ITER 1741 NEW BEST:: SOT 15543 SOS 9300 HAS SOPS 283 HAS SOUS 1863 HAS SOUPS 283 WITH SCORE 292.3
AT ITER 1766 NEW BEST:: SOT 15543 SOS 9298 HAS SOPS 283 HAS SOUS 1861 HAS SOUPS 283 WITH SCORE 292.298
AT ITER 1770 NEW BEST:: SOT 15541 SOS 9296 HAS SOPS 283 HAS SOUS 1861 HAS SOUPS 283 WITH SCORE 292.296
AT ITER 1798 NEW BEST:: SOT 15525 SOS 9280 HAS SOPS 283 HAS SOUS 1861 HAS SOUPS 283 WITH SCORE 292.28
AT ITER 1833 NEW BEST:: SOT 15505 SOS 9250 HAS SOPS 283 HAS SOUS 1851 HAS SOUPS 283 WITH SCORE 292.25
AT ITER 1902 NEW BEST:: SOT 15473 SOS 9226 HAS SOPS 283 HAS SOUS 1860 HAS SOUPS 283 WITH SCORE 292.226
AT ITER 1912 NEW BEST:: SOT 15377 SOS 9130 HAS SOPS 283 HAS SOUS 1837 HAS SOUPS 283 WITH SCORE 292.13
AT ITER 1928 NEW BEST:: SOT 15349 SOS 9074 HAS SOPS 283 HAS SOUS 1802 HAS SOUPS 283 WITH SCORE 292.074
AT ITER 1944 NEW BEST:: SOT 15349 SOS 9066 HAS SOPS 283 HAS SOUS 1802 HAS SOUPS 283 WITH SCORE 292.066
AT ITER 2018 NEW BEST:: SOT 15345 SOS 9060 HAS SOPS 283 HAS SOUS 1798 HAS SOUPS 283 WITH SCORE 292.06
AT ITER 2079 NEW BEST:: SOT 15344 SOS 9058 HAS SOPS 283 HAS SOUS 1797 HAS SOUPS 283 WITH SCORE 292.058
AT ITER 2084 NEW BEST:: SOT 15344 SOS 9055 HAS SOPS 283 HAS SOUS 1791 HAS SOUPS 283 WITH SCORE 292.055
AT ITER 2108 NEW BEST:: SOT 15274 SOS 8978 HAS SOPS 283 HAS SOUS 1756 HAS SOUPS 283 WITH SCORE 291.978
AT ITER 2124 NEW BEST:: SOT 15242 SOS 8946 HAS SOPS 283 HAS SOUS 1750 HAS SOUPS 283 WITH SCORE 291.946
AT ITER 2133 NEW BEST:: SOT 15165 SOS 8880 HAS SOPS 283 HAS SOUS 1761 HAS SOUPS 283 WITH SCORE 291.88
AT ITER 2140 NEW BEST:: SOT 15153 SOS 8862 HAS SOPS 283 HAS SOUS 1761 HAS SOUPS 283 WITH SCORE 291.862
AT ITER 2213 NEW BEST:: SOT 15151 SOS 8860 HAS SOPS 283 HAS SOUS 1762 HAS SOUPS 283 WITH SCORE 291.86
AT ITER 2240 NEW BEST:: SOT 15111 SOS 8820 HAS SOPS 283 HAS SOUS 1722 HAS SOUPS 283 WITH SCORE 291.82
AT ITER 2337 NEW BEST:: SOT 15083 SOS 8778 HAS SOPS 283 HAS SOUS 1708 HAS SOUPS 283 WITH SCORE 291.778
AT ITER 2354 NEW BEST:: SOT 15075 SOS 8766 HAS SOPS 283 HAS SOUS 1704 HAS SOUPS 283 WITH SCORE 291.766
AT ITER 2478 NEW BEST:: SOT 15031 SOS 8722 HAS SOPS 283 HAS SOUS 1704 HAS SOUPS 283 WITH SCORE 291.722
AT ITER 2489 NEW BEST:: SOT 15015 SOS 8698 HAS SOPS 283 HAS SOUS 1704 HAS SOUPS 283 WITH SCORE 291.698
AT ITER 2502 NEW BEST:: SOT 14975 SOS 8648 HAS SOPS 283 HAS SOUS 1689 HAS SOUPS 283 WITH SCORE 291.648
AT ITER 2528 NEW BEST:: SOT 14960 SOS 8633 HAS SOPS 283 HAS SOUS 1689 HAS SOUPS 283 WITH SCORE 291.633
AT ITER 2611 NEW BEST:: SOT 14954 SOS 8627 HAS SOPS 283 HAS SOUS 1686 HAS SOUPS 283 WITH SCORE 291.627
AT ITER 2626 NEW BEST:: SOT 14942 SOS 8615 HAS SOPS 283 HAS SOUS 1686 HAS SOUPS 283 WITH SCORE 291.615
AT ITER 2647 NEW BEST:: SOT 14942 SOS 8611 HAS SOPS 283 HAS SOUS 1686 HAS SOUPS 283 WITH SCORE 291.611
AT ITER 2658 NEW BEST:: SOT 14942 SOS 8608 HAS SOPS 283 HAS SOUS 1677 HAS SOUPS 283 WITH SCORE 291.608
AT ITER 2686 NEW BEST:: SOT 14940 SOS 8602 HAS SOPS 283 HAS SOUS 1676 HAS SOUPS 283 WITH SCORE 291.602
AT ITER 2728 NEW BEST:: SOT 14938 SOS 8598 HAS SOPS 283 HAS SOUS 1675 HAS SOUPS 283 WITH SCORE 291.598
AT ITER 2743 NEW BEST:: SOT 14936 SOS 8587 HAS SOPS 283 HAS SOUS 1674 HAS SOUPS 283 WITH SCORE 291.587
AT ITER 2747 NEW BEST:: SOT 14928 SOS 8573 HAS SOPS 283 HAS SOUS 1672 HAS SOUPS 283 WITH SCORE 291.573
AT ITER 2771 NEW BEST:: SOT 14928 SOS 8561 HAS SOPS 283 HAS SOUS 1672 HAS SOUPS 283 WITH SCORE 291.561
AT ITER 2800 NEW BEST:: SOT 14919 SOS 8552 HAS SOPS 283 HAS SOUS 1670 HAS SOUPS 283 WITH SCORE 291.552
AT ITER 2863 NEW BEST:: SOT 14917 SOS 8550 HAS SOPS 283 HAS SOUS 1669 HAS SOUPS 283 WITH SCORE 291.55
AT ITER 2938 NEW BEST:: SOT 14899 SOS 8529 HAS SOPS 283 HAS SOUS 1669 HAS SOUPS 283 WITH SCORE 291.529
AT ITER 2963 NEW BEST:: SOT 14891 SOS 8521 HAS SOPS 283 HAS SOUS 1659 HAS SOUPS 283 WITH SCORE 291.521
AT ITER 2992 NEW BEST:: SOT 14875 SOS 8505 HAS SOPS 283 HAS SOUS 1643 HAS SOUPS 283 WITH SCORE 291.505
AT ITER 3011 NEW BEST:: SOT 14871 SOS 8499 HAS SOPS 283 HAS SOUS 1640 HAS SOUPS 283 WITH SCORE 291.499
AT ITER 3015 NEW BEST:: SOT 14868 SOS 8492 HAS SOPS 283 HAS SOUS 1640 HAS SOUPS 283 WITH SCORE 291.492
AT ITER 3042 NEW BEST:: SOT 14858 SOS 8477 HAS SOPS 283 HAS SOUS 1625 HAS SOUPS 283 WITH SCORE 291.477
AT ITER 3058 NEW BEST:: SOT 14859 SOS 8466 HAS SOPS 283 HAS SOUS 1625 HAS SOUPS 283 WITH SCORE 291.466
AT ITER 3063 NEW BEST:: SOT 14857 SOS 8464 HAS SOPS 283 HAS SOUS 1623 HAS SOUPS 283 WITH SCORE 291.464
AT ITER 3096 NEW BEST:: SOT 14857 SOS 8461 HAS SOPS 283 HAS SOUS 1623 HAS SOUPS 283 WITH SCORE 291.461
AT ITER 3117 NEW BEST:: SOT 14851 SOS 8455 HAS SOPS 283 HAS SOUS 1621 HAS SOUPS 283 WITH SCORE 291.455
AT ITER 3120 NEW BEST:: SOT 14845 SOS 8452 HAS SOPS 283 HAS SOUS 1624 HAS SOUPS 283 WITH SCORE 291.452
AT ITER 3158 NEW BEST:: SOT 14842 SOS 8449 HAS SOPS 283 HAS SOUS 1622 HAS SOUPS 283 WITH SCORE 291.449
AT ITER 3205 NEW BEST:: SOT 14834 SOS 8441 HAS SOPS 283 HAS SOUS 1622 HAS SOUPS 283 WITH SCORE 291.441
AT ITER 3238 NEW BEST:: SOT 14764 SOS 8406 HAS SOPS 283 HAS SOUS 1688 HAS SOUPS 283 WITH SCORE 291.406
AT ITER 3306 NEW BEST:: SOT 14760 SOS 8402 HAS SOPS 283 HAS SOUS 1688 HAS SOUPS 283 WITH SCORE 291.402
AT ITER 3354 NEW BEST:: SOT 14772 SOS 8399 HAS SOPS 283 HAS SOUS 1688 HAS SOUPS 283 WITH SCORE 291.399
AT ITER 3405 NEW BEST:: SOT 14766 SOS 8393 HAS SOPS 283 HAS SOUS 1682 HAS SOUPS 283 WITH SCORE 291.39300000000003
AT ITER 3415 NEW BEST:: SOT 14748 SOS 8384 HAS SOPS 283 HAS SOUS 1691 HAS SOUPS 283 WITH SCORE 291.384
AT ITER 3443 NEW BEST:: SOT 14722 SOS 8371 HAS SOPS 283 HAS SOUS 1704 HAS SOUPS 283 WITH SCORE 291.371
AT ITER 3447 NEW BEST:: SOT 14722 SOS 8368 HAS SOPS 283 HAS SOUS 1698 HAS SOUPS 283 WITH SCORE 291.368
AT ITER 3462 NEW BEST:: SOT 14718 SOS 8362 HAS SOPS 283 HAS SOUS 1695 HAS SOUPS 283 WITH SCORE 291.362
AT ITER 3555 NEW BEST:: SOT 14718 SOS 8358 HAS SOPS 283 HAS SOUS 1687 HAS SOUPS 283 WITH SCORE 291.358
AT ITER 3578 NEW BEST:: SOT 14712 SOS 8355 HAS SOPS 283 HAS SOUS 1690 HAS SOUPS 283 WITH SCORE 291.355
AT ITER 3585 NEW BEST:: SOT 14696 SOS 8339 HAS SOPS 283 HAS SOUS 1684 HAS SOUPS 283 WITH SCORE 291.339
AT ITER 3646 NEW BEST:: SOT 14695 SOS 8337 HAS SOPS 283 HAS SOUS 1681 HAS SOUPS 283 WITH SCORE 291.337
AT ITER 3668 NEW BEST:: SOT 14679 SOS 8321 HAS SOPS 283 HAS SOUS 1673 HAS SOUPS 283 WITH SCORE 291.321
AT ITER 3751 NEW BEST:: SOT 14679 SOS 8317 HAS SOPS 283 HAS SOUS 1669 HAS SOUPS 283 WITH SCORE 291.317
AT ITER 3811 NEW BEST:: SOT 14672 SOS 8275 HAS SOPS 283 HAS SOUS 1669 HAS SOUPS 283 WITH SCORE 291.275
AT ITER 3899 NEW BEST:: SOT 14669 SOS 8272 HAS SOPS 283 HAS SOUS 1666 HAS SOUPS 283 WITH SCORE 291.272
AT ITER 4145 NEW BEST:: SOT 14661 SOS 8260 HAS SOPS 283 HAS SOUS 1660 HAS SOUPS 283 WITH SCORE 291.26
AT ITER 4212 NEW BEST:: SOT 14639 SOS 8216 HAS SOPS 283 HAS SOUS 1649 HAS SOUPS 283 WITH SCORE 291.216
AT ITER 4248 NEW BEST:: SOT 14637 SOS 8214 HAS SOPS 283 HAS SOUS 1648 HAS SOUPS 283 WITH SCORE 291.214
AT ITER 4347 NEW BEST:: SOT 14633 SOS 8210 HAS SOPS 283 HAS SOUS 1646 HAS SOUPS 283 WITH SCORE 291.21
AT ITER 4611 NEW BEST:: SOT 14625 SOS 8208 HAS SOPS 283 HAS SOUS 1646 HAS SOUPS 283 WITH SCORE 291.208
AT ITER 4842 NEW BEST:: SOT 14625 SOS 8200 HAS SOPS 283 HAS SOUS 1646 HAS SOUPS 283 WITH SCORE 291.2
AT ITER 4870 NEW BEST:: SOT 14605 SOS 8140 HAS SOPS 283 HAS SOUS 1641 HAS SOUPS 283 WITH SCORE 291.14
AT ITER 5024 NEW BEST:: SOT 14585 SOS 8118 HAS SOPS 283 HAS SOUS 1631 HAS SOUPS 283 WITH SCORE 291.118
AT ITER 5090 NEW BEST:: SOT 14583 SOS 8112 HAS SOPS 283 HAS SOUS 1628 HAS SOUPS 283 WITH SCORE 291.112
AT ITER 5170 NEW BEST:: SOT 14581 SOS 8110 HAS SOPS 283 HAS SOUS 1628 HAS SOUPS 283 WITH SCORE 291.11
AT ITER 5208 NEW BEST:: SOT 14581 SOS 8107 HAS SOPS 283 HAS SOUS 1628 HAS SOUPS 283 WITH SCORE 291.10699999999997
AT ITER 5247 NEW BEST:: SOT 14575 SOS 8095 HAS SOPS 283 HAS SOUS 1622 HAS SOUPS 283 WITH SCORE 291.095
AT ITER 5276 NEW BEST:: SOT 14571 SOS 8091 HAS SOPS 283 HAS SOUS 1620 HAS SOUPS 283 WITH SCORE 291.091
AT ITER 5296 NEW BEST:: SOT 14563 SOS 8083 HAS SOPS 283 HAS SOUS 1619 HAS SOUPS 283 WITH SCORE 291.083
AT ITER 5298 NEW BEST:: SOT 14555 SOS 8073 HAS SOPS 283 HAS SOUS 1613 HAS SOUPS 283 WITH SCORE 291.073
AT ITER 5348 NEW BEST:: SOT 14555 SOS 8069 HAS SOPS 283 HAS SOUS 1611 HAS SOUPS 283 WITH SCORE 291.069
AT ITER 5372 NEW BEST:: SOT 14555 SOS 8061 HAS SOPS 283 HAS SOUS 1607 HAS SOUPS 283 WITH SCORE 291.061
AT ITER 5477 NEW BEST:: SOT 14553 SOS 8059 HAS SOPS 283 HAS SOUS 1605 HAS SOUPS 283 WITH SCORE 291.059
AT ITER 5661 NEW BEST:: SOT 14553 SOS 8055 HAS SOPS 283 HAS SOUS 1604 HAS SOUPS 283 WITH SCORE 291.055
AT ITER 6067 NEW BEST:: SOT 14539 SOS 8034 HAS SOPS 283 HAS SOUS 1597 HAS SOUPS 283 WITH SCORE 291.034
AT ITER 6214 NEW BEST:: SOT 14533 SOS 8020 HAS SOPS 283 HAS SOUS 1595 HAS SOUPS 283 WITH SCORE 291.02
AT ITER 6286 NEW BEST:: SOT 14479 SOS 7975 HAS SOPS 283 HAS SOUS 1595 HAS SOUPS 283 WITH SCORE 290.975
AT ITER 6303 NEW BEST:: SOT 14471 SOS 7966 HAS SOPS 283 HAS SOUS 1595 HAS SOUPS 283 WITH SCORE 290.966
AT ITER 6930 NEW BEST:: SOT 14459 SOS 7942 HAS SOPS 283 HAS SOUS 1595 HAS SOUPS 283 WITH SCORE 290.942
AT ITER 6933 NEW BEST:: SOT 14457 SOS 7940 HAS SOPS 283 HAS SOUS 1593 HAS SOUPS 283 WITH SCORE 290.94
AT ITER 7000 NEW BEST:: SOT 14449 SOS 7932 HAS SOPS 283 HAS SOUS 1589 HAS SOUPS 283 WITH SCORE 290.932
AT ITER 7198 NEW BEST:: SOT 14447 SOS 7912 HAS SOPS 283 HAS SOUS 1589 HAS SOUPS 283 WITH SCORE 290.912
AT ITER 7384 NEW BEST:: SOT 14441 SOS 7906 HAS SOPS 283 HAS SOUS 1584 HAS SOUPS 283 WITH SCORE 290.906
AT ITER 7386 NEW BEST:: SOT 14425 SOS 7890 HAS SOPS 283 HAS SOUS 1574 HAS SOUPS 283 WITH SCORE 290.89
AT ITER 7435 NEW BEST:: SOT 14425 SOS 7888 HAS SOPS 283 HAS SOUS 1572 HAS SOUPS 283 WITH SCORE 290.888
AT ITER 7505 NEW BEST:: SOT 14419 SOS 7882 HAS SOPS 283 HAS SOUS 1566 HAS SOUPS 283 WITH SCORE 290.882
AT ITER 7784 NEW BEST:: SOT 14419 SOS 7870 HAS SOPS 283 HAS SOUS 1566 HAS SOUPS 283 WITH SCORE 290.87
AT ITER 8093 NEW BEST:: SOT 14411 SOS 7862 HAS SOPS 283 HAS SOUS 1558 HAS SOUPS 283 WITH SCORE 290.862
AT ITER 8427 NEW BEST:: SOT 14395 SOS 7838 HAS SOPS 283 HAS SOUS 1553 HAS SOUPS 283 WITH SCORE 290.838
AT ITER 8514 NEW BEST:: SOT 14395 SOS 7836 HAS SOPS 283 HAS SOUS 1553 HAS SOUPS 283 WITH SCORE 290.836
AT ITER 9039 NEW BEST:: SOT 14395 SOS 7828 HAS SOPS 283 HAS SOUS 1553 HAS SOUPS 283 WITH SCORE 290.828
AT ITER 9131 NEW BEST:: SOT 14387 SOS 7824 HAS SOPS 283 HAS SOUS 1565 HAS SOUPS 283 WITH SCORE 290.824
AT ITER 9501 NEW BEST:: SOT 14385 SOS 7816 HAS SOPS 283 HAS SOUS 1564 HAS SOUPS 283 WITH SCORE 290.816
AT ITER 9533 NEW BEST:: SOT 14385 SOS 7814 HAS SOPS 283 HAS SOUS 1562 HAS SOUPS 283 WITH SCORE 290.814
AT ITER 9864 NEW BEST:: SOT 14379 SOS 7808 HAS SOPS 283 HAS SOUS 1559 HAS SOUPS 283 WITH SCORE 290.808
STATE_SPACE STATES 18889465931478580854784 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 99 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2025895221151077796675584 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679431227223

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

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="Eratosthenes-PT-100"
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 Eratosthenes-PT-100, 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 r171-tall-167838858200168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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