About the Execution of Smart for PermAdmissibility-PT-02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16175.084 | 3600000.00 | 3593367.00 | 7453.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534700520.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 smart
Input is PermAdmissibility-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 9.8K Feb 26 01:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 01:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 01:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 227K Feb 26 01:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 01:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 01:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 56K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 275K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 336K 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 1678802929943
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-PT-02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 7 NEW BEST:: SOT 73660 SOS 47250 HAS SOPS 47250 HAS SOUS 28947 HAS SOUPS 28947 WITH SCORE 28994.25
AT ITER 21 NEW BEST:: SOT 73516 SOS 47106 HAS SOPS 47106 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28805.106
AT ITER 26 NEW BEST:: SOT 73360 SOS 47004 HAS SOPS 47004 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28676.004
AT ITER 27 NEW BEST:: SOT 73360 SOS 47004 HAS SOPS 47004 HAS SOUS 28617 HAS SOUPS 28617 WITH SCORE 28664.004
AT ITER 58 NEW BEST:: SOT 73142 SOS 46826 HAS SOPS 46826 HAS SOUS 28419 HAS SOUPS 28419 WITH SCORE 28465.826
AT ITER 78 NEW BEST:: SOT 73110 SOS 46794 HAS SOPS 46794 HAS SOUS 28367 HAS SOUPS 28367 WITH SCORE 28413.794
AT ITER 79 NEW BEST:: SOT 72910 SOS 46789 HAS SOPS 46789 HAS SOUS 28267 HAS SOUPS 28267 WITH SCORE 28313.789
AT ITER 80 NEW BEST:: SOT 72910 SOS 46969 HAS SOPS 46969 HAS SOUS 28243 HAS SOUPS 28243 WITH SCORE 28289.969
AT ITER 99 NEW BEST:: SOT 72754 SOS 46993 HAS SOPS 46993 HAS SOUS 28198 HAS SOUPS 28198 WITH SCORE 28244.993
AT ITER 122 NEW BEST:: SOT 72706 SOS 47170 HAS SOPS 47170 HAS SOUS 28082 HAS SOUPS 28082 WITH SCORE 28129.17
AT ITER 135 NEW BEST:: SOT 72540 SOS 47048 HAS SOPS 47048 HAS SOUS 27889 HAS SOUPS 27889 WITH SCORE 27936.048
AT ITER 142 NEW BEST:: SOT 72384 SOS 46843 HAS SOPS 46843 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27778.843
AT ITER 156 NEW BEST:: SOT 72150 SOS 47037 HAS SOPS 47037 HAS SOUS 27673 HAS SOUPS 27673 WITH SCORE 27720.037
AT ITER 158 NEW BEST:: SOT 72036 SOS 47133 HAS SOPS 47133 HAS SOUS 27512 HAS SOUPS 27512 WITH SCORE 27559.133
AT ITER 163 NEW BEST:: SOT 71750 SOS 46875 HAS SOPS 46875 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27293.875
AT ITER 170 NEW BEST:: SOT 71744 SOS 46868 HAS SOPS 46868 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27293.868
AT ITER 175 NEW BEST:: SOT 71624 SOS 46728 HAS SOPS 46728 HAS SOUS 27127 HAS SOUPS 27127 WITH SCORE 27173.728
AT ITER 184 NEW BEST:: SOT 71624 SOS 46848 HAS SOPS 46848 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27149.848
AT ITER 188 NEW BEST:: SOT 71591 SOS 46905 HAS SOPS 46905 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27133.905
AT ITER 195 NEW BEST:: SOT 71553 SOS 46867 HAS SOPS 46867 HAS SOUS 27039 HAS SOUPS 27039 WITH SCORE 27085.867
AT ITER 204 NEW BEST:: SOT 71305 SOS 45873 HAS SOPS 45873 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26993.873
AT ITER 208 NEW BEST:: SOT 71241 SOS 45819 HAS SOPS 45819 HAS SOUS 26872 HAS SOUPS 26872 WITH SCORE 26917.819
AT ITER 209 NEW BEST:: SOT 70827 SOS 45840 HAS SOPS 45840 HAS SOUS 26331 HAS SOUPS 26331 WITH SCORE 26376.84
AT ITER 210 NEW BEST:: SOT 70417 SOS 45514 HAS SOPS 45514 HAS SOUS 25969 HAS SOUPS 25969 WITH SCORE 26014.514
AT ITER 211 NEW BEST:: SOT 70369 SOS 45475 HAS SOPS 45475 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25970.475
AT ITER 228 NEW BEST:: SOT 70329 SOS 45715 HAS SOPS 45715 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25911.715
AT ITER 231 NEW BEST:: SOT 70139 SOS 45913 HAS SOPS 45913 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 25637.913
AT ITER 235 NEW BEST:: SOT 69985 SOS 45833 HAS SOPS 45833 HAS SOUS 25478 HAS SOUPS 25478 WITH SCORE 25523.833
AT ITER 236 NEW BEST:: SOT 69985 SOS 45923 HAS SOPS 45923 HAS SOUS 25450 HAS SOUPS 25450 WITH SCORE 25495.923
AT ITER 249 NEW BEST:: SOT 69839 SOS 45926 HAS SOPS 45926 HAS SOUS 25321 HAS SOUPS 25321 WITH SCORE 25366.926
AT ITER 251 NEW BEST:: SOT 69839 SOS 45926 HAS SOPS 45926 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25336.926
AT ITER 262 NEW BEST:: SOT 69831 SOS 45940 HAS SOPS 45940 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25324.94
AT ITER 263 NEW BEST:: SOT 69618 SOS 45972 HAS SOPS 45972 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25239.972
AT ITER 265 NEW BEST:: SOT 69618 SOS 45972 HAS SOPS 45972 HAS SOUS 25192 HAS SOUPS 25192 WITH SCORE 25237.972
AT ITER 271 NEW BEST:: SOT 69494 SOS 45813 HAS SOPS 45813 HAS SOUS 25098 HAS SOUPS 25098 WITH SCORE 25143.813
AT ITER 272 NEW BEST:: SOT 69470 SOS 45819 HAS SOPS 45819 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25111.819
AT ITER 316 NEW BEST:: SOT 69244 SOS 45801 HAS SOPS 45801 HAS SOUS 25011 HAS SOUPS 25011 WITH SCORE 25056.801
AT ITER 320 NEW BEST:: SOT 68924 SOS 45544 HAS SOPS 45544 HAS SOUS 24913 HAS SOUPS 24913 WITH SCORE 24958.544
AT ITER 323 NEW BEST:: SOT 68917 SOS 45535 HAS SOPS 45535 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24754.535
AT ITER 326 NEW BEST:: SOT 68917 SOS 45535 HAS SOPS 45535 HAS SOUS 24679 HAS SOUPS 24679 WITH SCORE 24724.535
AT ITER 330 NEW BEST:: SOT 68847 SOS 45658 HAS SOPS 45658 HAS SOUS 24647 HAS SOUPS 24647 WITH SCORE 24692.658
AT ITER 336 NEW BEST:: SOT 68847 SOS 45658 HAS SOPS 45658 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24663.658
AT ITER 342 NEW BEST:: SOT 68859 SOS 45526 HAS SOPS 45526 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24652.526
AT ITER 354 NEW BEST:: SOT 68859 SOS 45526 HAS SOPS 45526 HAS SOUS 24605 HAS SOUPS 24605 WITH SCORE 24650.526
AT ITER 356 NEW BEST:: SOT 68663 SOS 45405 HAS SOPS 45405 HAS SOUS 24441 HAS SOUPS 24441 WITH SCORE 24486.405
AT ITER 364 NEW BEST:: SOT 68718 SOS 45460 HAS SOPS 45460 HAS SOUS 24401 HAS SOUPS 24401 WITH SCORE 24446.46
AT ITER 390 NEW BEST:: SOT 68644 SOS 45362 HAS SOPS 45362 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24331.362
AT ITER 391 NEW BEST:: SOT 68438 SOS 45152 HAS SOPS 45152 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24157.152
AT ITER 403 NEW BEST:: SOT 68437 SOS 45151 HAS SOPS 45151 HAS SOUS 24111 HAS SOUPS 24111 WITH SCORE 24156.151
AT ITER 405 NEW BEST:: SOT 68431 SOS 45115 HAS SOPS 45115 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24147.115
AT ITER 423 NEW BEST:: SOT 68435 SOS 45145 HAS SOPS 45145 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24094.145
AT ITER 427 NEW BEST:: SOT 68321 SOS 45031 HAS SOPS 45031 HAS SOUS 23976 HAS SOUPS 23976 WITH SCORE 24021.031
AT ITER 428 NEW BEST:: SOT 68321 SOS 45031 HAS SOPS 45031 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23968.031
AT ITER 436 NEW BEST:: SOT 68189 SOS 44880 HAS SOPS 44880 HAS SOUS 23839 HAS SOUPS 23839 WITH SCORE 23883.88
AT ITER 447 NEW BEST:: SOT 68167 SOS 44858 HAS SOPS 44858 HAS SOUS 23722 HAS SOUPS 23722 WITH SCORE 23766.858
AT ITER 452 NEW BEST:: SOT 68167 SOS 44858 HAS SOPS 44858 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23754.858
AT ITER 460 NEW BEST:: SOT 68159 SOS 45060 HAS SOPS 45060 HAS SOUS 23699 HAS SOUPS 23699 WITH SCORE 23744.06
AT ITER 479 NEW BEST:: SOT 68033 SOS 44934 HAS SOPS 44934 HAS SOUS 23575 HAS SOUPS 23575 WITH SCORE 23619.934
AT ITER 486 NEW BEST:: SOT 68008 SOS 44852 HAS SOPS 44852 HAS SOUS 23543 HAS SOUPS 23543 WITH SCORE 23587.852
AT ITER 497 NEW BEST:: SOT 67909 SOS 44738 HAS SOPS 44738 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23527.738
AT ITER 507 NEW BEST:: SOT 67909 SOS 44738 HAS SOPS 44738 HAS SOUS 23448 HAS SOUPS 23448 WITH SCORE 23492.738
AT ITER 514 NEW BEST:: SOT 67909 SOS 46427 HAS SOPS 46427 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23416.427
AT ITER 521 NEW BEST:: SOT 67917 SOS 46435 HAS SOPS 46435 HAS SOUS 23331 HAS SOUPS 23331 WITH SCORE 23377.435
AT ITER 536 NEW BEST:: SOT 67917 SOS 46435 HAS SOPS 46435 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23246.435
AT ITER 540 NEW BEST:: SOT 67852 SOS 46379 HAS SOPS 46379 HAS SOUS 23157 HAS SOUPS 23157 WITH SCORE 23203.379
AT ITER 556 NEW BEST:: SOT 67804 SOS 46333 HAS SOPS 46333 HAS SOUS 23109 HAS SOUPS 23109 WITH SCORE 23155.333
AT ITER 571 NEW BEST:: SOT 67723 SOS 46649 HAS SOPS 46649 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23127.649
AT ITER 572 NEW BEST:: SOT 67723 SOS 46649 HAS SOPS 46649 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23115.649
AT ITER 586 NEW BEST:: SOT 67723 SOS 46649 HAS SOPS 46649 HAS SOUS 22948 HAS SOUPS 22948 WITH SCORE 22994.649
AT ITER 594 NEW BEST:: SOT 67736 SOS 46662 HAS SOPS 46662 HAS SOUS 22947 HAS SOUPS 22947 WITH SCORE 22993.662
AT ITER 605 NEW BEST:: SOT 67700 SOS 46626 HAS SOPS 46626 HAS SOUS 22947 HAS SOUPS 22947 WITH SCORE 22993.626
AT ITER 624 NEW BEST:: SOT 67432 SOS 46772 HAS SOPS 46772 HAS SOUS 22755 HAS SOUPS 22755 WITH SCORE 22801.772
AT ITER 627 NEW BEST:: SOT 67396 SOS 46749 HAS SOPS 46749 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22775.749
AT ITER 634 NEW BEST:: SOT 67366 SOS 46537 HAS SOPS 46537 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22698.537
AT ITER 655 NEW BEST:: SOT 67366 SOS 46537 HAS SOPS 46537 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22648.537
AT ITER 662 NEW BEST:: SOT 67366 SOS 46537 HAS SOPS 46537 HAS SOUS 22596 HAS SOUPS 22596 WITH SCORE 22642.537
AT ITER 679 NEW BEST:: SOT 67478 SOS 47273 HAS SOPS 47273 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22636.273
AT ITER 692 NEW BEST:: SOT 67482 SOS 47277 HAS SOPS 47277 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22616.277
AT ITER 707 NEW BEST:: SOT 67144 SOS 47200 HAS SOPS 47200 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22580.2
AT ITER 713 NEW BEST:: SOT 67144 SOS 47200 HAS SOPS 47200 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22574.2
AT ITER 717 NEW BEST:: SOT 66970 SOS 47026 HAS SOPS 47026 HAS SOUS 22343 HAS SOUPS 22343 WITH SCORE 22390.026
AT ITER 718 NEW BEST:: SOT 66970 SOS 47026 HAS SOPS 47026 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22332.026
AT ITER 719 NEW BEST:: SOT 66960 SOS 47016 HAS SOPS 47016 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22322.016
AT ITER 727 NEW BEST:: SOT 66848 SOS 46904 HAS SOPS 46904 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22300.904
AT ITER 764 NEW BEST:: SOT 66848 SOS 46904 HAS SOPS 46904 HAS SOUS 22199 HAS SOUPS 22199 WITH SCORE 22245.904
AT ITER 773 NEW BEST:: SOT 66853 SOS 46902 HAS SOPS 46902 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22244.902
AT ITER 780 NEW BEST:: SOT 66877 SOS 47205 HAS SOPS 47205 HAS SOUS 22174 HAS SOUPS 22174 WITH SCORE 22221.205
AT ITER 782 NEW BEST:: SOT 66877 SOS 47205 HAS SOPS 47205 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22163.205
AT ITER 787 NEW BEST:: SOT 66737 SOS 47065 HAS SOPS 47065 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 22007.065
AT ITER 794 NEW BEST:: SOT 66723 SOS 47119 HAS SOPS 47119 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21971.119
AT ITER 818 NEW BEST:: SOT 66723 SOS 47119 HAS SOPS 47119 HAS SOUS 21918 HAS SOUPS 21918 WITH SCORE 21965.119
AT ITER 837 NEW BEST:: SOT 66723 SOS 48632 HAS SOPS 48632 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21952.632
AT ITER 846 NEW BEST:: SOT 66473 SOS 48438 HAS SOPS 48438 HAS SOUS 21831 HAS SOUPS 21831 WITH SCORE 21879.438
AT ITER 860 NEW BEST:: SOT 66409 SOS 48425 HAS SOPS 48425 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21850.425
AT ITER 864 NEW BEST:: SOT 66396 SOS 48412 HAS SOPS 48412 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21792.412
AT ITER 865 NEW BEST:: SOT 66257 SOS 48255 HAS SOPS 48255 HAS SOUS 21595 HAS SOUPS 21595 WITH SCORE 21643.255
AT ITER 872 NEW BEST:: SOT 66211 SOS 48269 HAS SOPS 48269 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21608.269
AT ITER 875 NEW BEST:: SOT 65550 SOS 47608 HAS SOPS 47608 HAS SOUS 20859 HAS SOUPS 20859 WITH SCORE 20906.608
AT ITER 890 NEW BEST:: SOT 65575 SOS 47633 HAS SOPS 47633 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20891.633
AT ITER 901 NEW BEST:: SOT 65575 SOS 47633 HAS SOPS 47633 HAS SOUS 20821 HAS SOUPS 20821 WITH SCORE 20868.633
AT ITER 919 NEW BEST:: SOT 65492 SOS 47578 HAS SOPS 47578 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20819.578
AT ITER 931 NEW BEST:: SOT 65510 SOS 47596 HAS SOPS 47596 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20643.596
AT ITER 943 NEW BEST:: SOT 65510 SOS 47596 HAS SOPS 47596 HAS SOUS 20456 HAS SOUPS 20456 WITH SCORE 20503.596
AT ITER 946 NEW BEST:: SOT 65510 SOS 47596 HAS SOPS 47596 HAS SOUS 20441 HAS SOUPS 20441 WITH SCORE 20488.596
AT ITER 947 NEW BEST:: SOT 65590 SOS 47676 HAS SOPS 47676 HAS SOUS 20432 HAS SOUPS 20432 WITH SCORE 20479.676
AT ITER 953 NEW BEST:: SOT 65590 SOS 47676 HAS SOPS 47676 HAS SOUS 20421 HAS SOUPS 20421 WITH SCORE 20468.676
AT ITER 962 NEW BEST:: SOT 65554 SOS 47605 HAS SOPS 47605 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20403.605
AT ITER 998 NEW BEST:: SOT 65618 SOS 47690 HAS SOPS 47690 HAS SOUS 20332 HAS SOUPS 20332 WITH SCORE 20379.69
AT ITER 1001 NEW BEST:: SOT 65700 SOS 47812 HAS SOPS 47812 HAS SOUS 20321 HAS SOUPS 20321 WITH SCORE 20368.812
AT ITER 1030 NEW BEST:: SOT 65715 SOS 47827 HAS SOPS 47827 HAS SOUS 20318 HAS SOUPS 20318 WITH SCORE 20365.827
AT ITER 1048 NEW BEST:: SOT 65687 SOS 47799 HAS SOPS 47799 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20351.799
AT ITER 1078 NEW BEST:: SOT 65687 SOS 46909 HAS SOPS 46909 HAS SOUS 20301 HAS SOUPS 20301 WITH SCORE 20347.909
AT ITER 1122 NEW BEST:: SOT 65321 SOS 46543 HAS SOPS 46543 HAS SOUS 20291 HAS SOUPS 20291 WITH SCORE 20337.543
AT ITER 1143 NEW BEST:: SOT 65303 SOS 46525 HAS SOPS 46525 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20313.525
AT ITER 1157 NEW BEST:: SOT 65291 SOS 46513 HAS SOPS 46513 HAS SOUS 20227 HAS SOUPS 20227 WITH SCORE 20273.513
AT ITER 1164 NEW BEST:: SOT 65285 SOS 46508 HAS SOPS 46508 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20261.508
AT ITER 1167 NEW BEST:: SOT 65285 SOS 50385 HAS SOPS 50385 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 20007.385
AT ITER 1182 NEW BEST:: SOT 65236 SOS 50348 HAS SOPS 50348 HAS SOUS 19895 HAS SOUPS 19895 WITH SCORE 19945.348
AT ITER 1194 NEW BEST:: SOT 65260 SOS 50372 HAS SOPS 50372 HAS SOUS 19879 HAS SOUPS 19879 WITH SCORE 19929.372
AT ITER 1224 NEW BEST:: SOT 65136 SOS 50248 HAS SOPS 50248 HAS SOUS 19734 HAS SOUPS 19734 WITH SCORE 19784.248
AT ITER 1248 NEW BEST:: SOT 65134 SOS 50243 HAS SOPS 50243 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19763.243
AT ITER 1252 NEW BEST:: SOT 65121 SOS 50230 HAS SOPS 50230 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19763.23
AT ITER 1288 NEW BEST:: SOT 65104 SOS 50213 HAS SOPS 50213 HAS SOUS 19701 HAS SOUPS 19701 WITH SCORE 19751.213
AT ITER 1290 NEW BEST:: SOT 65123 SOS 50232 HAS SOPS 50232 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19711.232
AT ITER 1294 NEW BEST:: SOT 65114 SOS 50223 HAS SOPS 50223 HAS SOUS 19655 HAS SOUPS 19655 WITH SCORE 19705.223
AT ITER 1308 NEW BEST:: SOT 65145 SOS 50254 HAS SOPS 50254 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19696.254
AT ITER 1310 NEW BEST:: SOT 65282 SOS 50391 HAS SOPS 50391 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19460.391
AT ITER 1340 NEW BEST:: SOT 65258 SOS 50322 HAS SOPS 50322 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19453.322
AT ITER 1364 NEW BEST:: SOT 65204 SOS 50280 HAS SOPS 50280 HAS SOUS 19371 HAS SOUPS 19371 WITH SCORE 19421.28
AT ITER 1369 NEW BEST:: SOT 65189 SOS 50265 HAS SOPS 50265 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19382.265
AT ITER 1376 NEW BEST:: SOT 65177 SOS 50261 HAS SOPS 50261 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19354.261
AT ITER 1407 NEW BEST:: SOT 65097 SOS 50175 HAS SOPS 50175 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19265.175
AT ITER 1418 NEW BEST:: SOT 65080 SOS 50217 HAS SOPS 50217 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19246.217
AT ITER 1422 NEW BEST:: SOT 65028 SOS 50157 HAS SOPS 50157 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19212.157
AT ITER 1427 NEW BEST:: SOT 64966 SOS 50095 HAS SOPS 50095 HAS SOUS 19151 HAS SOUPS 19151 WITH SCORE 19201.095
AT ITER 1429 NEW BEST:: SOT 64962 SOS 50091 HAS SOPS 50091 HAS SOUS 19048 HAS SOUPS 19048 WITH SCORE 19098.091
AT ITER 1443 NEW BEST:: SOT 64962 SOS 50091 HAS SOPS 50091 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19097.091
AT ITER 1469 NEW BEST:: SOT 64962 SOS 50091 HAS SOPS 50091 HAS SOUS 19045 HAS SOUPS 19045 WITH SCORE 19095.091
AT ITER 1504 NEW BEST:: SOT 64950 SOS 50077 HAS SOPS 50077 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19085.077
AT ITER 1511 NEW BEST:: SOT 64788 SOS 49915 HAS SOPS 49915 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18962.915
AT ITER 1518 NEW BEST:: SOT 64834 SOS 49961 HAS SOPS 49961 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18952.961
AT ITER 1536 NEW BEST:: SOT 64834 SOS 47625 HAS SOPS 47625 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18950.625
AT ITER 1555 NEW BEST:: SOT 64834 SOS 47625 HAS SOPS 47625 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18898.625
AT ITER 1561 NEW BEST:: SOT 64836 SOS 47627 HAS SOPS 47627 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18894.627
AT ITER 1568 NEW BEST:: SOT 64630 SOS 47421 HAS SOPS 47421 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18727.421
AT ITER 1580 NEW BEST:: SOT 64589 SOS 47380 HAS SOPS 47380 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18686.38
AT ITER 1587 NEW BEST:: SOT 64589 SOS 47380 HAS SOPS 47380 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18679.38
AT ITER 1610 NEW BEST:: SOT 64589 SOS 46980 HAS SOPS 46980 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18677.98
AT ITER 1624 NEW BEST:: SOT 64520 SOS 47088 HAS SOPS 47088 HAS SOUS 18543 HAS SOUPS 18543 WITH SCORE 18590.088
AT ITER 1627 NEW BEST:: SOT 64477 SOS 47040 HAS SOPS 47040 HAS SOUS 18515 HAS SOUPS 18515 WITH SCORE 18562.04
AT ITER 1640 NEW BEST:: SOT 64420 SOS 46984 HAS SOPS 46984 HAS SOUS 18459 HAS SOUPS 18459 WITH SCORE 18505.984
AT ITER 1647 NEW BEST:: SOT 64426 SOS 46990 HAS SOPS 46990 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18497.99
AT ITER 1661 NEW BEST:: SOT 64418 SOS 46970 HAS SOPS 46970 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18465.97
AT ITER 1662 NEW BEST:: SOT 64308 SOS 46860 HAS SOPS 46860 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18374.86
AT ITER 1677 NEW BEST:: SOT 64288 SOS 46820 HAS SOPS 46820 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18331.82
AT ITER 1679 NEW BEST:: SOT 64312 SOS 46880 HAS SOPS 46880 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18306.88
AT ITER 1700 NEW BEST:: SOT 64288 SOS 46849 HAS SOPS 46849 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18299.849
AT ITER 1725 NEW BEST:: SOT 64274 SOS 46840 HAS SOPS 46840 HAS SOUS 18248 HAS SOUPS 18248 WITH SCORE 18294.84
AT ITER 1757 NEW BEST:: SOT 64272 SOS 46838 HAS SOPS 46838 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18280.838
AT ITER 1794 NEW BEST:: SOT 64268 SOS 46834 HAS SOPS 46834 HAS SOUS 18233 HAS SOUPS 18233 WITH SCORE 18279.834
AT ITER 1807 NEW BEST:: SOT 64250 SOS 46817 HAS SOPS 46817 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18262.817
AT ITER 1836 NEW BEST:: SOT 64250 SOS 46361 HAS SOPS 46361 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18261.361
AT ITER 1845 NEW BEST:: SOT 64242 SOS 46353 HAS SOPS 46353 HAS SOUS 18196 HAS SOUPS 18196 WITH SCORE 18242.353
AT ITER 1847 NEW BEST:: SOT 64208 SOS 46311 HAS SOPS 46311 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18222.311
AT ITER 1855 NEW BEST:: SOT 64208 SOS 46311 HAS SOPS 46311 HAS SOUS 18159 HAS SOUPS 18159 WITH SCORE 18205.311
AT ITER 1864 NEW BEST:: SOT 64211 SOS 46314 HAS SOPS 46314 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18199.314
AT ITER 1873 NEW BEST:: SOT 64039 SOS 46142 HAS SOPS 46142 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18025.142
AT ITER 1874 NEW BEST:: SOT 64037 SOS 46140 HAS SOPS 46140 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17990.14
AT ITER 1895 NEW BEST:: SOT 64049 SOS 46152 HAS SOPS 46152 HAS SOUS 17936 HAS SOUPS 17936 WITH SCORE 17982.152
AT ITER 1942 NEW BEST:: SOT 64045 SOS 46148 HAS SOPS 46148 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17978.148
AT ITER 2035 NEW BEST:: SOT 63913 SOS 45953 HAS SOPS 45953 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17830.953
AT ITER 2049 NEW BEST:: SOT 63844 SOS 45884 HAS SOPS 45884 HAS SOUS 17748 HAS SOUPS 17748 WITH SCORE 17793.884
AT ITER 2112 NEW BEST:: SOT 63849 SOS 45681 HAS SOPS 45681 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17745.681
AT ITER 2145 NEW BEST:: SOT 63795 SOS 45627 HAS SOPS 45627 HAS SOUS 17630 HAS SOUPS 17630 WITH SCORE 17675.627
AT ITER 2155 NEW BEST:: SOT 63765 SOS 45597 HAS SOPS 45597 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17668.597
AT ITER 2168 NEW BEST:: SOT 63760 SOS 45592 HAS SOPS 45592 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17666.592
AT ITER 2191 NEW BEST:: SOT 63760 SOS 45592 HAS SOPS 45592 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17664.592
AT ITER 2205 NEW BEST:: SOT 63760 SOS 45272 HAS SOPS 45272 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17654.272
AT ITER 2264 NEW BEST:: SOT 63758 SOS 45290 HAS SOPS 45290 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17652.29
AT ITER 2311 NEW BEST:: SOT 63750 SOS 45282 HAS SOPS 45282 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17644.282
AT ITER 2360 NEW BEST:: SOT 63744 SOS 45276 HAS SOPS 45276 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17638.276
AT ITER 2395 NEW BEST:: SOT 63744 SOS 45276 HAS SOPS 45276 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17632.276
AT ITER 2454 NEW BEST:: SOT 63726 SOS 45258 HAS SOPS 45258 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17614.258
AT ITER 2459 NEW BEST:: SOT 63731 SOS 45209 HAS SOPS 45209 HAS SOUS 17568 HAS SOUPS 17568 WITH SCORE 17613.209
AT ITER 2542 NEW BEST:: SOT 63721 SOS 45199 HAS SOPS 45199 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17587.199
AT ITER 2583 NEW BEST:: SOT 63722 SOS 45200 HAS SOPS 45200 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17583.2
AT ITER 2584 NEW BEST:: SOT 63734 SOS 45212 HAS SOPS 45212 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17574.212
AT ITER 2600 NEW BEST:: SOT 63734 SOS 45204 HAS SOPS 45204 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17574.204
AT ITER 2607 NEW BEST:: SOT 63734 SOS 45204 HAS SOPS 45204 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17511.204
AT ITER 2608 NEW BEST:: SOT 63734 SOS 45204 HAS SOPS 45204 HAS SOUS 17447 HAS SOUPS 17447 WITH SCORE 17492.204
AT ITER 2659 NEW BEST:: SOT 63749 SOS 45219 HAS SOPS 45219 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17480.219
AT ITER 2674 NEW BEST:: SOT 63739 SOS 45209 HAS SOPS 45209 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17477.209
AT ITER 2677 NEW BEST:: SOT 63739 SOS 45209 HAS SOPS 45209 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17471.209
AT ITER 2680 NEW BEST:: SOT 63723 SOS 45181 HAS SOPS 45181 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17451.181
AT ITER 2712 NEW BEST:: SOT 63723 SOS 45184 HAS SOPS 45184 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17442.184
AT ITER 2785 NEW BEST:: SOT 63613 SOS 45039 HAS SOPS 45039 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17360.039
AT ITER 2817 NEW BEST:: SOT 63601 SOS 45027 HAS SOPS 45027 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17331.027
AT ITER 2825 NEW BEST:: SOT 63533 SOS 44939 HAS SOPS 44939 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17269.939
AT ITER 2843 NEW BEST:: SOT 63533 SOS 44836 HAS SOPS 44836 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17261.836
AT ITER 2848 NEW BEST:: SOT 63517 SOS 44775 HAS SOPS 44775 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17243.775
AT ITER 2851 NEW BEST:: SOT 63511 SOS 44767 HAS SOPS 44767 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17243.767
AT ITER 2856 NEW BEST:: SOT 63522 SOS 44778 HAS SOPS 44778 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17242.778
AT ITER 2884 NEW BEST:: SOT 63467 SOS 44723 HAS SOPS 44723 HAS SOUS 17163 HAS SOUPS 17163 WITH SCORE 17207.723
AT ITER 2924 NEW BEST:: SOT 63467 SOS 44627 HAS SOPS 44627 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17204.627
AT ITER 3021 NEW BEST:: SOT 63447 SOS 44622 HAS SOPS 44622 HAS SOUS 17142 HAS SOUPS 17142 WITH SCORE 17186.622
AT ITER 3064 NEW BEST:: SOT 63434 SOS 44652 HAS SOPS 44652 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17179.652
AT ITER 3069 NEW BEST:: SOT 63443 SOS 44661 HAS SOPS 44661 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17161.661
AT ITER 3075 NEW BEST:: SOT 63385 SOS 44597 HAS SOPS 44597 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17120.597
AT ITER 3099 NEW BEST:: SOT 63385 SOS 44237 HAS SOPS 44237 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17117.237
AT ITER 3117 NEW BEST:: SOT 63369 SOS 44221 HAS SOPS 44221 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17097.221
AT ITER 3155 NEW BEST:: SOT 63373 SOS 44225 HAS SOPS 44225 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17093.225
AT ITER 3195 NEW BEST:: SOT 63367 SOS 44219 HAS SOPS 44219 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17093.219
AT ITER 3200 NEW BEST:: SOT 63367 SOS 44217 HAS SOPS 44217 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17092.217
AT ITER 3318 NEW BEST:: SOT 63373 SOS 44223 HAS SOPS 44223 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17086.223
AT ITER 3335 NEW BEST:: SOT 63382 SOS 44083 HAS SOPS 44083 HAS SOUS 17015 HAS SOUPS 17015 WITH SCORE 17059.083
AT ITER 3356 NEW BEST:: SOT 63333 SOS 44038 HAS SOPS 44038 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17027.038
AT ITER 3388 NEW BEST:: SOT 63323 SOS 44028 HAS SOPS 44028 HAS SOUS 16966 HAS SOUPS 16966 WITH SCORE 17010.028
AT ITER 3390 NEW BEST:: SOT 63277 SOS 43989 HAS SOPS 43989 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16967.989
AT ITER 3480 NEW BEST:: SOT 63295 SOS 44019 HAS SOPS 44019 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16962.019
AT ITER 3491 NEW BEST:: SOT 63295 SOS 44019 HAS SOPS 44019 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16960.019
AT ITER 3494 NEW BEST:: SOT 63294 SOS 44018 HAS SOPS 44018 HAS SOUS 16910 HAS SOUPS 16910 WITH SCORE 16954.018
AT ITER 3496 NEW BEST:: SOT 63294 SOS 44242 HAS SOPS 44242 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16946.242
AT ITER 3513 NEW BEST:: SOT 63294 SOS 44242 HAS SOPS 44242 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16940.242
AT ITER 3562 NEW BEST:: SOT 63282 SOS 44224 HAS SOPS 44224 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16912.224
AT ITER 3584 NEW BEST:: SOT 63272 SOS 44214 HAS SOPS 44214 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16908.214
AT ITER 3604 NEW BEST:: SOT 63270 SOS 44212 HAS SOPS 44212 HAS SOUS 16863 HAS SOUPS 16863 WITH SCORE 16907.212
AT ITER 3695 NEW BEST:: SOT 63176 SOS 44118 HAS SOPS 44118 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16716.118
AT ITER 3703 NEW BEST:: SOT 63144 SOS 44086 HAS SOPS 44086 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16684.086
AT ITER 3742 NEW BEST:: SOT 63050 SOS 43962 HAS SOPS 43962 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16503.962
AT ITER 3774 NEW BEST:: SOT 63056 SOS 43952 HAS SOPS 43952 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16494.952
AT ITER 3815 NEW BEST:: SOT 63056 SOS 43952 HAS SOPS 43952 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16454.952
AT ITER 3846 NEW BEST:: SOT 63048 SOS 43944 HAS SOPS 43944 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16430.944
AT ITER 3857 NEW BEST:: SOT 63050 SOS 43946 HAS SOPS 43946 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16424.946
AT ITER 3930 NEW BEST:: SOT 63045 SOS 43941 HAS SOPS 43941 HAS SOUS 16368 HAS SOUPS 16368 WITH SCORE 16411.941
AT ITER 3995 NEW BEST:: SOT 63051 SOS 43947 HAS SOPS 43947 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16401.947
AT ITER 4046 NEW BEST:: SOT 63047 SOS 43952 HAS SOPS 43952 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16400.952
AT ITER 4104 NEW BEST:: SOT 63041 SOS 43946 HAS SOPS 43946 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16394.946
AT ITER 4128 NEW BEST:: SOT 63041 SOS 43946 HAS SOPS 43946 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16389.946
AT ITER 4139 NEW BEST:: SOT 63041 SOS 43946 HAS SOPS 43946 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16375.946
AT ITER 4177 NEW BEST:: SOT 63041 SOS 43946 HAS SOPS 43946 HAS SOUS 16318 HAS SOUPS 16318 WITH SCORE 16361.946
AT ITER 4219 NEW BEST:: SOT 63021 SOS 43926 HAS SOPS 43926 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16341.926
AT ITER 4223 NEW BEST:: SOT 63018 SOS 43912 HAS SOPS 43912 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16332.912
AT ITER 4316 NEW BEST:: SOT 62978 SOS 43064 HAS SOPS 43064 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16308.064
AT ITER 4351 NEW BEST:: SOT 62978 SOS 43064 HAS SOPS 43064 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16306.064
AT ITER 4413 NEW BEST:: SOT 62974 SOS 43060 HAS SOPS 43060 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16306.06
AT ITER 4447 NEW BEST:: SOT 63009 SOS 46585 HAS SOPS 46585 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16269.585
AT ITER 4552 NEW BEST:: SOT 63009 SOS 46585 HAS SOPS 46585 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16266.585
AT ITER 4606 NEW BEST:: SOT 63009 SOS 48845 HAS SOPS 48845 HAS SOUS 16213 HAS SOUPS 16213 WITH SCORE 16261.845
AT ITER 4608 NEW BEST:: SOT 63009 SOS 45675 HAS SOPS 45675 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16257.675
AT ITER 4727 NEW BEST:: SOT 63009 SOS 42315 HAS SOPS 42315 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16212.315
AT ITER 4730 NEW BEST:: SOT 63011 SOS 42312 HAS SOPS 42312 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16207.312
AT ITER 4831 NEW BEST:: SOT 63011 SOS 41608 HAS SOPS 41608 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16206.608
AT ITER 4839 NEW BEST:: SOT 63009 SOS 41609 HAS SOPS 41609 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16204.609
AT ITER 4871 NEW BEST:: SOT 63017 SOS 41635 HAS SOPS 41635 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16201.635
AT ITER 4888 NEW BEST:: SOT 63009 SOS 41627 HAS SOPS 41627 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16195.627
AT ITER 4927 NEW BEST:: SOT 63009 SOS 40995 HAS SOPS 40995 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16191.995
AT ITER 4978 NEW BEST:: SOT 63010 SOS 40992 HAS SOPS 40992 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16185.992
AT ITER 4982 NEW BEST:: SOT 62970 SOS 40952 HAS SOPS 40952 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16176.952
AT ITER 4990 NEW BEST:: SOT 62979 SOS 40955 HAS SOPS 40955 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16173.955
AT ITER 5074 NEW BEST:: SOT 62859 SOS 40802 HAS SOPS 40802 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16166.802
AT ITER 5079 NEW BEST:: SOT 62854 SOS 40797 HAS SOPS 40797 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16154.797
AT ITER 5091 NEW BEST:: SOT 62869 SOS 40812 HAS SOPS 40812 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16123.812
AT ITER 5238 NEW BEST:: SOT 62877 SOS 40852 HAS SOPS 40852 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16096.852
AT ITER 5268 NEW BEST:: SOT 62877 SOS 40852 HAS SOPS 40852 HAS SOUS 16054 HAS SOUPS 16054 WITH SCORE 16094.852
AT ITER 5293 NEW BEST:: SOT 62894 SOS 40823 HAS SOPS 40823 HAS SOUS 16047 HAS SOUPS 16047 WITH SCORE 16087.823
AT ITER 5327 NEW BEST:: SOT 62893 SOS 40822 HAS SOPS 40822 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16082.822
AT ITER 5403 NEW BEST:: SOT 62877 SOS 40806 HAS SOPS 40806 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16066.806
AT ITER 5404 NEW BEST:: SOT 62897 SOS 40826 HAS SOPS 40826 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16057.826
AT ITER 5516 NEW BEST:: SOT 62897 SOS 40813 HAS SOPS 40813 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16057.813
AT ITER 5770 NEW BEST:: SOT 62761 SOS 40666 HAS SOPS 40666 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15932.666
AT ITER 5809 NEW BEST:: SOT 62761 SOS 40666 HAS SOPS 40666 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15928.666
AT ITER 5817 NEW BEST:: SOT 62761 SOS 40666 HAS SOPS 40666 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15914.666
AT ITER 5852 NEW BEST:: SOT 62761 SOS 40666 HAS SOPS 40666 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15884.666
AT ITER 5908 NEW BEST:: SOT 62753 SOS 40654 HAS SOPS 40654 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15876.654
AT ITER 5934 NEW BEST:: SOT 62687 SOS 40588 HAS SOPS 40588 HAS SOUS 15764 HAS SOUPS 15764 WITH SCORE 15804.588
AT ITER 5976 NEW BEST:: SOT 62663 SOS 40559 HAS SOPS 40559 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15778.559
AT ITER 5978 NEW BEST:: SOT 62663 SOS 40463 HAS SOPS 40463 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15778.463
AT ITER 6062 NEW BEST:: SOT 62661 SOS 40425 HAS SOPS 40425 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15778.425
AT ITER 6204 NEW BEST:: SOT 62661 SOS 40457 HAS SOPS 40457 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15763.457
AT ITER 6207 NEW BEST:: SOT 62659 SOS 40442 HAS SOPS 40442 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15762.442
AT ITER 6244 NEW BEST:: SOT 62655 SOS 40427 HAS SOPS 40427 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15743.427
AT ITER 6444 NEW BEST:: SOT 62655 SOS 40395 HAS SOPS 40395 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15743.395
AT ITER 6446 NEW BEST:: SOT 62607 SOS 40347 HAS SOPS 40347 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15713.347
AT ITER 6470 NEW BEST:: SOT 62607 SOS 40347 HAS SOPS 40347 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15711.347
AT ITER 6592 NEW BEST:: SOT 62561 SOS 40301 HAS SOPS 40301 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15705.301
AT ITER 6607 NEW BEST:: SOT 62557 SOS 40297 HAS SOPS 40297 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15690.297
AT ITER 6616 NEW BEST:: SOT 62557 SOS 39290 HAS SOPS 39290 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15671.29
AT ITER 6618 NEW BEST:: SOT 62557 SOS 39290 HAS SOPS 39290 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15667.29
AT ITER 6631 NEW BEST:: SOT 62557 SOS 39290 HAS SOPS 39290 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15663.29
AT ITER 6633 NEW BEST:: SOT 62557 SOS 39530 HAS SOPS 39530 HAS SOUS 15606 HAS SOUPS 15606 WITH SCORE 15645.53
AT ITER 6639 NEW BEST:: SOT 62544 SOS 39517 HAS SOPS 39517 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15642.517
AT ITER 6704 NEW BEST:: SOT 62544 SOS 39517 HAS SOPS 39517 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15623.517
AT ITER 6794 NEW BEST:: SOT 62542 SOS 39516 HAS SOPS 39516 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15622.516
AT ITER 6887 NEW BEST:: SOT 62542 SOS 39516 HAS SOPS 39516 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15620.516
AT ITER 6903 NEW BEST:: SOT 62542 SOS 39492 HAS SOPS 39492 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15620.492
AT ITER 6980 NEW BEST:: SOT 62540 SOS 39490 HAS SOPS 39490 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15618.49
AT ITER 6998 NEW BEST:: SOT 62381 SOS 39268 HAS SOPS 39268 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15555.268
AT ITER 7048 NEW BEST:: SOT 62381 SOS 39220 HAS SOPS 39220 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15555.22
AT ITER 7189 NEW BEST:: SOT 62380 SOS 39213 HAS SOPS 39213 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15550.213
AT ITER 7206 NEW BEST:: SOT 62384 SOS 39206 HAS SOPS 39206 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15550.206
AT ITER 7283 NEW BEST:: SOT 62384 SOS 39206 HAS SOPS 39206 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15533.206
AT ITER 7368 NEW BEST:: SOT 62390 SOS 39205 HAS SOPS 39205 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15533.205
AT ITER 7415 NEW BEST:: SOT 62395 SOS 39201 HAS SOPS 39201 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15533.201
AT ITER 7451 NEW BEST:: SOT 62386 SOS 39213 HAS SOPS 39213 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15528.213
AT ITER 7459 NEW BEST:: SOT 62386 SOS 39229 HAS SOPS 39229 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15510.229
AT ITER 7522 NEW BEST:: SOT 62391 SOS 39234 HAS SOPS 39234 HAS SOUS 15468 HAS SOUPS 15468 WITH SCORE 15507.234
AT ITER 7556 NEW BEST:: SOT 62379 SOS 39222 HAS SOPS 39222 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15493.222
AT ITER 7659 NEW BEST:: SOT 62374 SOS 39217 HAS SOPS 39217 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15484.217
AT ITER 7746 NEW BEST:: SOT 62375 SOS 39215 HAS SOPS 39215 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15482.215
AT ITER 7835 NEW BEST:: SOT 62371 SOS 39224 HAS SOPS 39224 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15478.224
AT ITER 7916 NEW BEST:: SOT 62371 SOS 39224 HAS SOPS 39224 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15476.224
AT ITER 8315 NEW BEST:: SOT 62371 SOS 39209 HAS SOPS 39209 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15474.209
AT ITER 8435 NEW BEST:: SOT 62371 SOS 39211 HAS SOPS 39211 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15471.211
AT ITER 8521 NEW BEST:: SOT 62373 SOS 39213 HAS SOPS 39213 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15469.213
AT ITER 8573 NEW BEST:: SOT 62373 SOS 39211 HAS SOPS 39211 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15461.211
AT ITER 8664 NEW BEST:: SOT 62379 SOS 39217 HAS SOPS 39217 HAS SOUS 15421 HAS SOUPS 15421 WITH SCORE 15460.217
AT ITER 8723 NEW BEST:: SOT 62376 SOS 39236 HAS SOPS 39236 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15457.236
AT ITER 8799 NEW BEST:: SOT 62376 SOS 39237 HAS SOPS 39237 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15454.237
AT ITER 8841 NEW BEST:: SOT 62356 SOS 39232 HAS SOPS 39232 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15452.232
AT ITER 8987 NEW BEST:: SOT 62354 SOS 39224 HAS SOPS 39224 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15442.224
AT ITER 9005 NEW BEST:: SOT 62274 SOS 39144 HAS SOPS 39144 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15362.144
AT ITER 9088 NEW BEST:: SOT 62274 SOS 39144 HAS SOPS 39144 HAS SOUS 15300 HAS SOUPS 15300 WITH SCORE 15339.144
AT ITER 9139 NEW BEST:: SOT 62274 SOS 39144 HAS SOPS 39144 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15335.144
AT ITER 9238 NEW BEST:: SOT 62278 SOS 39538 HAS SOPS 39538 HAS SOUS 15291 HAS SOUPS 15291 WITH SCORE 15330.538
AT ITER 9315 NEW BEST:: SOT 62251 SOS 39547 HAS SOPS 39547 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15300.547
AT ITER 9321 NEW BEST:: SOT 62249 SOS 39545 HAS SOPS 39545 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15286.545
AT ITER 9393 NEW BEST:: SOT 62231 SOS 39530 HAS SOPS 39530 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15271.53
AT ITER 9541 NEW BEST:: SOT 62225 SOS 39524 HAS SOPS 39524 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15265.524
AT ITER 9624 NEW BEST:: SOT 62268 SOS 39525 HAS SOPS 39525 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15261.525
AT ITER 9647 NEW BEST:: SOT 62268 SOS 39525 HAS SOPS 39525 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15257.525
AT ITER 9665 NEW BEST:: SOT 62288 SOS 39545 HAS SOPS 39545 HAS SOUS 15215 HAS SOUPS 15215 WITH SCORE 15254.545
AT ITER 9730 NEW BEST:: SOT 62288 SOS 39441 HAS SOPS 39441 HAS SOUS 15215 HAS SOUPS 15215 WITH SCORE 15254.441
AT ITER 9749 NEW BEST:: SOT 62282 SOS 39435 HAS SOPS 39435 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15240.435
AT ITER 9804 NEW BEST:: SOT 62282 SOS 39435 HAS SOPS 39435 HAS SOUS 15179 HAS SOUPS 15179 WITH SCORE 15218.435
AT ITER 9833 NEW BEST:: SOT 62282 SOS 39437 HAS SOPS 39437 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15213.437
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 159064 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16275392 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-02"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PermAdmissibility-PT-02, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534700520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-02.tgz
mv PermAdmissibility-PT-02 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;