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 |
| 15768.040 | 3600000.00 | 3600040.00 | 0.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 '/local/x2003239/mcc2020-input.r108-csrt-158961250800624.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r108-csrt-158961250800624
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 992K
-rw-r--r-- 1 mcc users 6.0K Apr 12 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 12 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Apr 10 23:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 132K Apr 10 23:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 60K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.1K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Apr 9 12:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Apr 9 12:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K Mar 24 05:37 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 1589645208436
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 02
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 1 NEW BEST:: SOT 73593 SOS 47483 HAS SOPS 47483 HAS SOUS 28958 HAS SOUPS 28958 WITH SCORE 29005.483
AT ITER 13 NEW BEST:: SOT 73325 SOS 47980 HAS SOPS 47980 HAS SOUS 28872 HAS SOUPS 28872 WITH SCORE 28919.98
AT ITER 15 NEW BEST:: SOT 73325 SOS 47980 HAS SOPS 47980 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28620.98
AT ITER 16 NEW BEST:: SOT 73151 SOS 48606 HAS SOPS 48606 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28300.606
AT ITER 18 NEW BEST:: SOT 73151 SOS 48606 HAS SOPS 48606 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28296.606
AT ITER 20 NEW BEST:: SOT 73067 SOS 48522 HAS SOPS 48522 HAS SOUS 28238 HAS SOUPS 28238 WITH SCORE 28286.522
AT ITER 27 NEW BEST:: SOT 73037 SOS 48492 HAS SOPS 48492 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28218.492
AT ITER 29 NEW BEST:: SOT 72908 SOS 48363 HAS SOPS 48363 HAS SOUS 28127 HAS SOUPS 28127 WITH SCORE 28175.363
AT ITER 30 NEW BEST:: SOT 72883 SOS 48338 HAS SOPS 48338 HAS SOUS 28090 HAS SOUPS 28090 WITH SCORE 28138.338
AT ITER 32 NEW BEST:: SOT 72883 SOS 48406 HAS SOPS 48406 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28107.406
AT ITER 34 NEW BEST:: SOT 72785 SOS 49088 HAS SOPS 49088 HAS SOUS 27805 HAS SOUPS 27805 WITH SCORE 27854.088
AT ITER 41 NEW BEST:: SOT 72785 SOS 49088 HAS SOPS 49088 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27834.088
AT ITER 45 NEW BEST:: SOT 72761 SOS 49064 HAS SOPS 49064 HAS SOUS 27758 HAS SOUPS 27758 WITH SCORE 27807.064
AT ITER 48 NEW BEST:: SOT 72727 SOS 49082 HAS SOPS 49082 HAS SOUS 27739 HAS SOUPS 27739 WITH SCORE 27788.082
AT ITER 58 NEW BEST:: SOT 72727 SOS 49082 HAS SOPS 49082 HAS SOUS 27730 HAS SOUPS 27730 WITH SCORE 27779.082
AT ITER 60 NEW BEST:: SOT 72697 SOS 49112 HAS SOPS 49112 HAS SOUS 27686 HAS SOUPS 27686 WITH SCORE 27735.112
AT ITER 68 NEW BEST:: SOT 72695 SOS 49136 HAS SOPS 49136 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27729.136
AT ITER 69 NEW BEST:: SOT 72604 SOS 49142 HAS SOPS 49142 HAS SOUS 27594 HAS SOUPS 27594 WITH SCORE 27643.142
AT ITER 73 NEW BEST:: SOT 72408 SOS 48945 HAS SOPS 48945 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27470.945
AT ITER 81 NEW BEST:: SOT 72173 SOS 48730 HAS SOPS 48730 HAS SOUS 27221 HAS SOUPS 27221 WITH SCORE 27269.73
AT ITER 87 NEW BEST:: SOT 71973 SOS 48582 HAS SOPS 48582 HAS SOUS 27034 HAS SOUPS 27034 WITH SCORE 27082.582
AT ITER 90 NEW BEST:: SOT 71967 SOS 48576 HAS SOPS 48576 HAS SOUS 27028 HAS SOUPS 27028 WITH SCORE 27076.576
AT ITER 93 NEW BEST:: SOT 71967 SOS 48576 HAS SOPS 48576 HAS SOUS 27008 HAS SOUPS 27008 WITH SCORE 27056.576
AT ITER 94 NEW BEST:: SOT 71960 SOS 50813 HAS SOPS 50813 HAS SOUS 26952 HAS SOUPS 26952 WITH SCORE 27002.813
AT ITER 96 NEW BEST:: SOT 71794 SOS 51123 HAS SOPS 51123 HAS SOUS 26906 HAS SOUPS 26906 WITH SCORE 26957.123
AT ITER 97 NEW BEST:: SOT 71794 SOS 54428 HAS SOPS 54428 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26623.428
AT ITER 100 NEW BEST:: SOT 71639 SOS 55060 HAS SOPS 55060 HAS SOUS 26253 HAS SOUPS 26253 WITH SCORE 26308.06
AT ITER 101 NEW BEST:: SOT 71684 SOS 55377 HAS SOPS 55377 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26150.377
AT ITER 106 NEW BEST:: SOT 71684 SOS 55377 HAS SOPS 55377 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26149.377
AT ITER 107 NEW BEST:: SOT 71493 SOS 55435 HAS SOPS 55435 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26059.435
AT ITER 108 NEW BEST:: SOT 71279 SOS 55233 HAS SOPS 55233 HAS SOUS 25827 HAS SOUPS 25827 WITH SCORE 25882.233
AT ITER 111 NEW BEST:: SOT 71248 SOS 55202 HAS SOPS 55202 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25773.202
AT ITER 116 NEW BEST:: SOT 71248 SOS 55202 HAS SOPS 55202 HAS SOUS 25656 HAS SOUPS 25656 WITH SCORE 25711.202
AT ITER 118 NEW BEST:: SOT 71230 SOS 55784 HAS SOPS 55784 HAS SOUS 25419 HAS SOUPS 25419 WITH SCORE 25474.784
AT ITER 126 NEW BEST:: SOT 71230 SOS 55712 HAS SOPS 55712 HAS SOUS 25403 HAS SOUPS 25403 WITH SCORE 25458.712
AT ITER 136 NEW BEST:: SOT 71080 SOS 55658 HAS SOPS 55658 HAS SOUS 25322 HAS SOUPS 25322 WITH SCORE 25377.658
AT ITER 137 NEW BEST:: SOT 70813 SOS 55375 HAS SOPS 55375 HAS SOUS 25234 HAS SOUPS 25234 WITH SCORE 25289.375
AT ITER 143 NEW BEST:: SOT 70812 SOS 55374 HAS SOPS 55374 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25218.374
AT ITER 151 NEW BEST:: SOT 70876 SOS 55438 HAS SOPS 55438 HAS SOUS 25152 HAS SOUPS 25152 WITH SCORE 25207.438
AT ITER 153 NEW BEST:: SOT 70660 SOS 55302 HAS SOPS 55302 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24930.302
AT ITER 154 NEW BEST:: SOT 70660 SOS 55302 HAS SOPS 55302 HAS SOUS 24845 HAS SOUPS 24845 WITH SCORE 24900.302
AT ITER 167 NEW BEST:: SOT 70540 SOS 55182 HAS SOPS 55182 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24724.182
AT ITER 193 NEW BEST:: SOT 70532 SOS 55175 HAS SOPS 55175 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24718.175
AT ITER 195 NEW BEST:: SOT 70527 SOS 55170 HAS SOPS 55170 HAS SOUS 24658 HAS SOUPS 24658 WITH SCORE 24713.17
AT ITER 205 NEW BEST:: SOT 70560 SOS 55203 HAS SOPS 55203 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24610.203
AT ITER 210 NEW BEST:: SOT 70528 SOS 55175 HAS SOPS 55175 HAS SOUS 24529 HAS SOUPS 24529 WITH SCORE 24584.175
AT ITER 213 NEW BEST:: SOT 70450 SOS 54793 HAS SOPS 54793 HAS SOUS 24432 HAS SOUPS 24432 WITH SCORE 24486.793
AT ITER 239 NEW BEST:: SOT 70360 SOS 54664 HAS SOPS 54664 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24426.664
AT ITER 243 NEW BEST:: SOT 70325 SOS 54629 HAS SOPS 54629 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24378.629
AT ITER 258 NEW BEST:: SOT 70327 SOS 54238 HAS SOPS 54238 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24363.238
AT ITER 264 NEW BEST:: SOT 70225 SOS 54697 HAS SOPS 54697 HAS SOUS 24198 HAS SOUPS 24198 WITH SCORE 24252.697
AT ITER 266 NEW BEST:: SOT 70147 SOS 54567 HAS SOPS 54567 HAS SOUS 24065 HAS SOUPS 24065 WITH SCORE 24119.567
AT ITER 278 NEW BEST:: SOT 69992 SOS 53807 HAS SOPS 53807 HAS SOUS 24043 HAS SOUPS 24043 WITH SCORE 24096.807
AT ITER 279 NEW BEST:: SOT 69979 SOS 53794 HAS SOPS 53794 HAS SOUS 23945 HAS SOUPS 23945 WITH SCORE 23998.794
AT ITER 280 NEW BEST:: SOT 69974 SOS 53789 HAS SOPS 53789 HAS SOUS 23932 HAS SOUPS 23932 WITH SCORE 23985.789
AT ITER 287 NEW BEST:: SOT 69949 SOS 53764 HAS SOPS 53764 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23976.764
AT ITER 294 NEW BEST:: SOT 69813 SOS 53977 HAS SOPS 53977 HAS SOUS 23851 HAS SOUPS 23851 WITH SCORE 23904.977
AT ITER 306 NEW BEST:: SOT 69636 SOS 53802 HAS SOPS 53802 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23791.802
AT ITER 316 NEW BEST:: SOT 69518 SOS 53684 HAS SOPS 53684 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23783.684
AT ITER 338 NEW BEST:: SOT 69402 SOS 53595 HAS SOPS 53595 HAS SOUS 23655 HAS SOUPS 23655 WITH SCORE 23708.595
AT ITER 340 NEW BEST:: SOT 69402 SOS 52955 HAS SOPS 52955 HAS SOUS 23647 HAS SOUPS 23647 WITH SCORE 23699.955
AT ITER 341 NEW BEST:: SOT 69276 SOS 52829 HAS SOPS 52829 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23686.829
AT ITER 348 NEW BEST:: SOT 69261 SOS 52814 HAS SOPS 52814 HAS SOUS 23607 HAS SOUPS 23607 WITH SCORE 23659.814
AT ITER 349 NEW BEST:: SOT 69328 SOS 52881 HAS SOPS 52881 HAS SOUS 23596 HAS SOUPS 23596 WITH SCORE 23648.881
AT ITER 358 NEW BEST:: SOT 69028 SOS 52803 HAS SOPS 52803 HAS SOUS 23398 HAS SOUPS 23398 WITH SCORE 23450.803
AT ITER 374 NEW BEST:: SOT 69058 SOS 52390 HAS SOPS 52390 HAS SOUS 23322 HAS SOUPS 23322 WITH SCORE 23374.39
AT ITER 382 NEW BEST:: SOT 68882 SOS 52475 HAS SOPS 52475 HAS SOUS 23300 HAS SOUPS 23300 WITH SCORE 23352.475
AT ITER 401 NEW BEST:: SOT 68882 SOS 52025 HAS SOPS 52025 HAS SOUS 23202 HAS SOUPS 23202 WITH SCORE 23254.025
AT ITER 403 NEW BEST:: SOT 68882 SOS 52024 HAS SOPS 52024 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23253.024
AT ITER 415 NEW BEST:: SOT 68872 SOS 51993 HAS SOPS 51993 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23249.993
AT ITER 416 NEW BEST:: SOT 68994 SOS 51991 HAS SOPS 51991 HAS SOUS 23178 HAS SOUPS 23178 WITH SCORE 23229.991
AT ITER 440 NEW BEST:: SOT 68953 SOS 51950 HAS SOPS 51950 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23151.95
AT ITER 446 NEW BEST:: SOT 68959 SOS 51968 HAS SOPS 51968 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23132.968
AT ITER 459 NEW BEST:: SOT 68911 SOS 51920 HAS SOPS 51920 HAS SOUS 22969 HAS SOUPS 22969 WITH SCORE 23020.92
AT ITER 466 NEW BEST:: SOT 68801 SOS 51558 HAS SOPS 51558 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22922.558
AT ITER 487 NEW BEST:: SOT 68683 SOS 51444 HAS SOPS 51444 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22817.444
AT ITER 490 NEW BEST:: SOT 68627 SOS 51428 HAS SOPS 51428 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22813.428
AT ITER 508 NEW BEST:: SOT 68623 SOS 51424 HAS SOPS 51424 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22707.424
AT ITER 513 NEW BEST:: SOT 68507 SOS 51355 HAS SOPS 51355 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22554.355
AT ITER 520 NEW BEST:: SOT 68491 SOS 51347 HAS SOPS 51347 HAS SOUS 22491 HAS SOUPS 22491 WITH SCORE 22542.347
AT ITER 524 NEW BEST:: SOT 68491 SOS 51373 HAS SOPS 51373 HAS SOUS 22481 HAS SOUPS 22481 WITH SCORE 22532.373
AT ITER 554 NEW BEST:: SOT 68494 SOS 51681 HAS SOPS 51681 HAS SOUS 22395 HAS SOUPS 22395 WITH SCORE 22446.681
AT ITER 578 NEW BEST:: SOT 68482 SOS 51671 HAS SOPS 51671 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22440.671
AT ITER 592 NEW BEST:: SOT 68482 SOS 51941 HAS SOPS 51941 HAS SOUS 22380 HAS SOUPS 22380 WITH SCORE 22431.941
AT ITER 598 NEW BEST:: SOT 68504 SOS 51963 HAS SOPS 51963 HAS SOUS 22336 HAS SOUPS 22336 WITH SCORE 22387.963
AT ITER 606 NEW BEST:: SOT 68520 SOS 51896 HAS SOPS 51896 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22353.896
AT ITER 656 NEW BEST:: SOT 68534 SOS 51858 HAS SOPS 51858 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22316.858
AT ITER 669 NEW BEST:: SOT 68494 SOS 51730 HAS SOPS 51730 HAS SOUS 22173 HAS SOUPS 22173 WITH SCORE 22224.73
AT ITER 676 NEW BEST:: SOT 68313 SOS 51549 HAS SOPS 51549 HAS SOUS 22056 HAS SOUPS 22056 WITH SCORE 22107.549
AT ITER 677 NEW BEST:: SOT 68086 SOS 51336 HAS SOPS 51336 HAS SOUS 21851 HAS SOUPS 21851 WITH SCORE 21902.336
AT ITER 698 NEW BEST:: SOT 68098 SOS 51349 HAS SOPS 51349 HAS SOUS 21776 HAS SOUPS 21776 WITH SCORE 21827.349
AT ITER 716 NEW BEST:: SOT 68178 SOS 51429 HAS SOPS 51429 HAS SOUS 21760 HAS SOUPS 21760 WITH SCORE 21811.429
AT ITER 730 NEW BEST:: SOT 68156 SOS 51407 HAS SOPS 51407 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21789.407
AT ITER 731 NEW BEST:: SOT 68156 SOS 51407 HAS SOPS 51407 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21777.407
AT ITER 733 NEW BEST:: SOT 68118 SOS 51370 HAS SOPS 51370 HAS SOUS 21689 HAS SOUPS 21689 WITH SCORE 21740.37
AT ITER 738 NEW BEST:: SOT 68094 SOS 51346 HAS SOPS 51346 HAS SOUS 21601 HAS SOUPS 21601 WITH SCORE 21652.346
AT ITER 761 NEW BEST:: SOT 68124 SOS 51390 HAS SOPS 51390 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21642.39
AT ITER 773 NEW BEST:: SOT 68196 SOS 51462 HAS SOPS 51462 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21573.462
AT ITER 774 NEW BEST:: SOT 68178 SOS 51444 HAS SOPS 51444 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21555.444
AT ITER 775 NEW BEST:: SOT 68167 SOS 51433 HAS SOPS 51433 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21544.433
AT ITER 783 NEW BEST:: SOT 68167 SOS 51433 HAS SOPS 51433 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21528.433
AT ITER 797 NEW BEST:: SOT 68237 SOS 51503 HAS SOPS 51503 HAS SOUS 21355 HAS SOUPS 21355 WITH SCORE 21406.503
AT ITER 798 NEW BEST:: SOT 68237 SOS 51855 HAS SOPS 51855 HAS SOUS 21250 HAS SOUPS 21250 WITH SCORE 21301.855
AT ITER 799 NEW BEST:: SOT 68237 SOS 51615 HAS SOPS 51615 HAS SOUS 21190 HAS SOUPS 21190 WITH SCORE 21241.615
AT ITER 823 NEW BEST:: SOT 68253 SOS 51631 HAS SOPS 51631 HAS SOUS 21154 HAS SOUPS 21154 WITH SCORE 21205.631
AT ITER 825 NEW BEST:: SOT 68247 SOS 51625 HAS SOPS 51625 HAS SOUS 21140 HAS SOUPS 21140 WITH SCORE 21191.625
AT ITER 841 NEW BEST:: SOT 68286 SOS 51664 HAS SOPS 51664 HAS SOUS 21137 HAS SOUPS 21137 WITH SCORE 21188.664
AT ITER 848 NEW BEST:: SOT 68250 SOS 51628 HAS SOPS 51628 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21138.628
AT ITER 876 NEW BEST:: SOT 68224 SOS 51602 HAS SOPS 51602 HAS SOUS 21061 HAS SOUPS 21061 WITH SCORE 21112.602
AT ITER 932 NEW BEST:: SOT 68174 SOS 51570 HAS SOPS 51570 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21098.57
AT ITER 934 NEW BEST:: SOT 68174 SOS 51570 HAS SOPS 51570 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 21012.57
AT ITER 957 NEW BEST:: SOT 68174 SOS 51570 HAS SOPS 51570 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20919.57
AT ITER 960 NEW BEST:: SOT 68198 SOS 51658 HAS SOPS 51658 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20895.658
AT ITER 964 NEW BEST:: SOT 68160 SOS 51618 HAS SOPS 51618 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20867.618
AT ITER 972 NEW BEST:: SOT 67876 SOS 50886 HAS SOPS 50886 HAS SOUS 20608 HAS SOUPS 20608 WITH SCORE 20658.886
AT ITER 982 NEW BEST:: SOT 67866 SOS 50885 HAS SOPS 50885 HAS SOUS 20592 HAS SOUPS 20592 WITH SCORE 20642.885
AT ITER 986 NEW BEST:: SOT 67910 SOS 55437 HAS SOPS 55437 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20442.437
AT ITER 1006 NEW BEST:: SOT 68014 SOS 55541 HAS SOPS 55541 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20414.541
AT ITER 1053 NEW BEST:: SOT 68006 SOS 55533 HAS SOPS 55533 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20398.533
AT ITER 1095 NEW BEST:: SOT 67986 SOS 55513 HAS SOPS 55513 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20380.513
AT ITER 1150 NEW BEST:: SOT 67798 SOS 55311 HAS SOPS 55311 HAS SOUS 20165 HAS SOUPS 20165 WITH SCORE 20220.311
AT ITER 1156 NEW BEST:: SOT 67798 SOS 55311 HAS SOPS 55311 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20198.311
AT ITER 1190 NEW BEST:: SOT 67798 SOS 55311 HAS SOPS 55311 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20188.311
AT ITER 1191 NEW BEST:: SOT 67798 SOS 55439 HAS SOPS 55439 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20186.439
AT ITER 1211 NEW BEST:: SOT 67798 SOS 55439 HAS SOPS 55439 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20172.439
AT ITER 1223 NEW BEST:: SOT 67756 SOS 55397 HAS SOPS 55397 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20166.397
AT ITER 1227 NEW BEST:: SOT 67760 SOS 55401 HAS SOPS 55401 HAS SOUS 20109 HAS SOUPS 20109 WITH SCORE 20164.401
AT ITER 1231 NEW BEST:: SOT 67669 SOS 55310 HAS SOPS 55310 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20113.31
AT ITER 1269 NEW BEST:: SOT 67669 SOS 55310 HAS SOPS 55310 HAS SOUS 20027 HAS SOUPS 20027 WITH SCORE 20082.31
AT ITER 1276 NEW BEST:: SOT 67659 SOS 55300 HAS SOPS 55300 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20050.3
AT ITER 1284 NEW BEST:: SOT 67659 SOS 54852 HAS SOPS 54852 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20049.852
AT ITER 1285 NEW BEST:: SOT 67659 SOS 54852 HAS SOPS 54852 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20042.852
AT ITER 1307 NEW BEST:: SOT 67659 SOS 54792 HAS SOPS 54792 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 20029.792
AT ITER 1313 NEW BEST:: SOT 67311 SOS 54430 HAS SOPS 54430 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19790.43
AT ITER 1317 NEW BEST:: SOT 67299 SOS 54418 HAS SOPS 54418 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19790.418
AT ITER 1341 NEW BEST:: SOT 67253 SOS 54372 HAS SOPS 54372 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19724.372
AT ITER 1383 NEW BEST:: SOT 67233 SOS 54352 HAS SOPS 54352 HAS SOUS 19561 HAS SOUPS 19561 WITH SCORE 19615.352
AT ITER 1401 NEW BEST:: SOT 67231 SOS 54364 HAS SOPS 54364 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19606.364
AT ITER 1411 NEW BEST:: SOT 67231 SOS 54368 HAS SOPS 54368 HAS SOUS 19545 HAS SOUPS 19545 WITH SCORE 19599.368
AT ITER 1420 NEW BEST:: SOT 67266 SOS 54403 HAS SOPS 54403 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19490.403
AT ITER 1467 NEW BEST:: SOT 67288 SOS 54416 HAS SOPS 54416 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19487.416
AT ITER 1476 NEW BEST:: SOT 67268 SOS 54403 HAS SOPS 54403 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19480.403
AT ITER 1481 NEW BEST:: SOT 67268 SOS 54412 HAS SOPS 54412 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19428.412
AT ITER 1489 NEW BEST:: SOT 67268 SOS 54156 HAS SOPS 54156 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19428.156
AT ITER 1506 NEW BEST:: SOT 67130 SOS 54063 HAS SOPS 54063 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19426.063
AT ITER 1534 NEW BEST:: SOT 67186 SOS 54119 HAS SOPS 54119 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19383.119
AT ITER 1562 NEW BEST:: SOT 67128 SOS 54040 HAS SOPS 54040 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19327.04
AT ITER 1565 NEW BEST:: SOT 67128 SOS 53400 HAS SOPS 53400 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19326.4
AT ITER 1595 NEW BEST:: SOT 67112 SOS 53372 HAS SOPS 53372 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19306.372
AT ITER 1643 NEW BEST:: SOT 67166 SOS 54706 HAS SOPS 54706 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19293.706
AT ITER 1649 NEW BEST:: SOT 67166 SOS 54514 HAS SOPS 54514 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19281.514
AT ITER 1675 NEW BEST:: SOT 67169 SOS 54517 HAS SOPS 54517 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19280.517
AT ITER 1682 NEW BEST:: SOT 67277 SOS 54625 HAS SOPS 54625 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19241.625
AT ITER 1686 NEW BEST:: SOT 67171 SOS 54519 HAS SOPS 54519 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19178.519
AT ITER 1691 NEW BEST:: SOT 67169 SOS 54517 HAS SOPS 54517 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19172.517
AT ITER 1707 NEW BEST:: SOT 67169 SOS 53977 HAS SOPS 53977 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19171.977
AT ITER 1717 NEW BEST:: SOT 67179 SOS 53942 HAS SOPS 53942 HAS SOUS 19065 HAS SOUPS 19065 WITH SCORE 19118.942
AT ITER 1754 NEW BEST:: SOT 67167 SOS 53930 HAS SOPS 53930 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19106.93
AT ITER 1788 NEW BEST:: SOT 67167 SOS 53386 HAS SOPS 53386 HAS SOUS 19048 HAS SOUPS 19048 WITH SCORE 19101.386
AT ITER 1790 NEW BEST:: SOT 67117 SOS 53336 HAS SOPS 53336 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19075.336
AT ITER 1791 NEW BEST:: SOT 67093 SOS 53312 HAS SOPS 53312 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19059.312
AT ITER 1807 NEW BEST:: SOT 67093 SOS 53308 HAS SOPS 53308 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19035.308
AT ITER 1813 NEW BEST:: SOT 67079 SOS 53294 HAS SOPS 53294 HAS SOUS 18949 HAS SOUPS 18949 WITH SCORE 19002.294
AT ITER 1823 NEW BEST:: SOT 67079 SOS 53294 HAS SOPS 53294 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18976.294
AT ITER 1829 NEW BEST:: SOT 67069 SOS 53284 HAS SOPS 53284 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18966.284
AT ITER 1834 NEW BEST:: SOT 66923 SOS 53138 HAS SOPS 53138 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18872.138
AT ITER 1855 NEW BEST:: SOT 66923 SOS 53138 HAS SOPS 53138 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18863.138
AT ITER 1859 NEW BEST:: SOT 66923 SOS 52850 HAS SOPS 52850 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18862.85
AT ITER 1874 NEW BEST:: SOT 66923 SOS 52346 HAS SOPS 52346 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18862.346
AT ITER 1883 NEW BEST:: SOT 66811 SOS 52234 HAS SOPS 52234 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18758.234
AT ITER 1898 NEW BEST:: SOT 66807 SOS 52230 HAS SOPS 52230 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18754.23
AT ITER 1906 NEW BEST:: SOT 66801 SOS 52224 HAS SOPS 52224 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18718.224
AT ITER 1950 NEW BEST:: SOT 66585 SOS 51994 HAS SOPS 51994 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18475.994
AT ITER 1970 NEW BEST:: SOT 66575 SOS 51994 HAS SOPS 51994 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18464.994
AT ITER 1972 NEW BEST:: SOT 66575 SOS 51162 HAS SOPS 51162 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18464.162
AT ITER 1990 NEW BEST:: SOT 66575 SOS 51162 HAS SOPS 51162 HAS SOUS 18345 HAS SOUPS 18345 WITH SCORE 18396.162
AT ITER 2026 NEW BEST:: SOT 66595 SOS 51233 HAS SOPS 51233 HAS SOUS 18262 HAS SOUPS 18262 WITH SCORE 18313.233
AT ITER 2027 NEW BEST:: SOT 66595 SOS 50805 HAS SOPS 50805 HAS SOUS 18262 HAS SOUPS 18262 WITH SCORE 18312.805
AT ITER 2076 NEW BEST:: SOT 66595 SOS 51317 HAS SOPS 51317 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18298.317
AT ITER 2089 NEW BEST:: SOT 66595 SOS 53183 HAS SOPS 53183 HAS SOUS 18245 HAS SOUPS 18245 WITH SCORE 18298.183
AT ITER 2167 NEW BEST:: SOT 66599 SOS 53210 HAS SOPS 53210 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18243.21
AT ITER 2208 NEW BEST:: SOT 66599 SOS 53210 HAS SOPS 53210 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18211.21
AT ITER 2245 NEW BEST:: SOT 66602 SOS 53213 HAS SOPS 53213 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18167.213
AT ITER 2290 NEW BEST:: SOT 66588 SOS 53157 HAS SOPS 53157 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18102.157
AT ITER 2301 NEW BEST:: SOT 66596 SOS 53165 HAS SOPS 53165 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18064.165
AT ITER 2304 NEW BEST:: SOT 66704 SOS 53273 HAS SOPS 53273 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18044.273
AT ITER 2319 NEW BEST:: SOT 66704 SOS 53275 HAS SOPS 53275 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 18015.275
AT ITER 2327 NEW BEST:: SOT 66676 SOS 53247 HAS SOPS 53247 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 18015.247
AT ITER 2333 NEW BEST:: SOT 66564 SOS 53135 HAS SOPS 53135 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17913.135
AT ITER 2406 NEW BEST:: SOT 66498 SOS 53069 HAS SOPS 53069 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17866.069
AT ITER 2415 NEW BEST:: SOT 66498 SOS 53069 HAS SOPS 53069 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17834.069
AT ITER 2422 NEW BEST:: SOT 66488 SOS 53059 HAS SOPS 53059 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17818.059
AT ITER 2445 NEW BEST:: SOT 66482 SOS 53043 HAS SOPS 53043 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17818.043
AT ITER 2462 NEW BEST:: SOT 66394 SOS 52955 HAS SOPS 52955 HAS SOUS 17746 HAS SOUPS 17746 WITH SCORE 17798.955
AT ITER 2483 NEW BEST:: SOT 66072 SOS 52633 HAS SOPS 52633 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17496.633
AT ITER 2499 NEW BEST:: SOT 66028 SOS 52595 HAS SOPS 52595 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17456.595
AT ITER 2520 NEW BEST:: SOT 66028 SOS 52531 HAS SOPS 52531 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17452.531
AT ITER 2523 NEW BEST:: SOT 66070 SOS 52573 HAS SOPS 52573 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17446.573
AT ITER 2577 NEW BEST:: SOT 65930 SOS 52475 HAS SOPS 52475 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17422.475
AT ITER 2586 NEW BEST:: SOT 65929 SOS 52474 HAS SOPS 52474 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17421.474
AT ITER 2592 NEW BEST:: SOT 65865 SOS 52410 HAS SOPS 52410 HAS SOUS 17273 HAS SOUPS 17273 WITH SCORE 17325.41
AT ITER 2599 NEW BEST:: SOT 65825 SOS 52376 HAS SOPS 52376 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17290.376
AT ITER 2605 NEW BEST:: SOT 65809 SOS 52354 HAS SOPS 52354 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17273.354
AT ITER 2646 NEW BEST:: SOT 65779 SOS 52324 HAS SOPS 52324 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17241.324
AT ITER 2651 NEW BEST:: SOT 65764 SOS 52309 HAS SOPS 52309 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17186.309
AT ITER 2659 NEW BEST:: SOT 65792 SOS 52337 HAS SOPS 52337 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17147.337
AT ITER 2729 NEW BEST:: SOT 65810 SOS 52314 HAS SOPS 52314 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17137.314
AT ITER 2731 NEW BEST:: SOT 65655 SOS 52159 HAS SOPS 52159 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17127.159
AT ITER 2743 NEW BEST:: SOT 65648 SOS 52152 HAS SOPS 52152 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17125.152
AT ITER 2787 NEW BEST:: SOT 65602 SOS 52106 HAS SOPS 52106 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17115.106
AT ITER 2795 NEW BEST:: SOT 65602 SOS 50938 HAS SOPS 50938 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17110.938
AT ITER 2829 NEW BEST:: SOT 65555 SOS 50891 HAS SOPS 50891 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17106.891
AT ITER 2864 NEW BEST:: SOT 65535 SOS 50871 HAS SOPS 50871 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17086.871
AT ITER 2867 NEW BEST:: SOT 65521 SOS 50857 HAS SOPS 50857 HAS SOUS 16994 HAS SOUPS 16994 WITH SCORE 17044.857
AT ITER 2872 NEW BEST:: SOT 65401 SOS 50737 HAS SOPS 50737 HAS SOUS 16976 HAS SOUPS 16976 WITH SCORE 17026.737
AT ITER 2995 NEW BEST:: SOT 65401 SOS 50281 HAS SOPS 50281 HAS SOUS 16976 HAS SOUPS 16976 WITH SCORE 17026.281
AT ITER 3119 NEW BEST:: SOT 65352 SOS 50232 HAS SOPS 50232 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16973.232
AT ITER 3208 NEW BEST:: SOT 65352 SOS 49008 HAS SOPS 49008 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16968.008
AT ITER 3321 NEW BEST:: SOT 65354 SOS 49025 HAS SOPS 49025 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16951.025
AT ITER 3343 NEW BEST:: SOT 65308 SOS 48979 HAS SOPS 48979 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16902.979
AT ITER 3390 NEW BEST:: SOT 65296 SOS 48971 HAS SOPS 48971 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16897.971
AT ITER 3425 NEW BEST:: SOT 65296 SOS 48947 HAS SOPS 48947 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16897.947
AT ITER 3474 NEW BEST:: SOT 65240 SOS 48891 HAS SOPS 48891 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16862.891
AT ITER 3478 NEW BEST:: SOT 65240 SOS 48883 HAS SOPS 48883 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16862.883
AT ITER 3535 NEW BEST:: SOT 65254 SOS 48897 HAS SOPS 48897 HAS SOUS 16804 HAS SOUPS 16804 WITH SCORE 16852.897
AT ITER 3576 NEW BEST:: SOT 65246 SOS 48889 HAS SOPS 48889 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16828.889
AT ITER 3625 NEW BEST:: SOT 65147 SOS 48790 HAS SOPS 48790 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16781.79
AT ITER 3738 NEW BEST:: SOT 65127 SOS 48797 HAS SOPS 48797 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16756.797
AT ITER 3743 NEW BEST:: SOT 65117 SOS 48795 HAS SOPS 48795 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16733.795
AT ITER 3784 NEW BEST:: SOT 65123 SOS 48801 HAS SOPS 48801 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16731.801
AT ITER 3808 NEW BEST:: SOT 64993 SOS 48486 HAS SOPS 48486 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16715.486
AT ITER 3834 NEW BEST:: SOT 64996 SOS 48489 HAS SOPS 48489 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16665.489
AT ITER 3857 NEW BEST:: SOT 64996 SOS 48489 HAS SOPS 48489 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16607.489
AT ITER 3946 NEW BEST:: SOT 64964 SOS 48453 HAS SOPS 48453 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16572.453
AT ITER 4025 NEW BEST:: SOT 64962 SOS 48451 HAS SOPS 48451 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16564.451
AT ITER 4060 NEW BEST:: SOT 64882 SOS 48371 HAS SOPS 48371 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16562.371
AT ITER 4126 NEW BEST:: SOT 64894 SOS 48383 HAS SOPS 48383 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16547.383
AT ITER 4143 NEW BEST:: SOT 64894 SOS 48592 HAS SOPS 48592 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16543.592
AT ITER 4183 NEW BEST:: SOT 64894 SOS 48616 HAS SOPS 48616 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16530.616
AT ITER 4213 NEW BEST:: SOT 64892 SOS 48614 HAS SOPS 48614 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16474.614
AT ITER 4569 NEW BEST:: SOT 64888 SOS 48614 HAS SOPS 48614 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16473.614
AT ITER 4607 NEW BEST:: SOT 64861 SOS 48587 HAS SOPS 48587 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16469.587
AT ITER 4614 NEW BEST:: SOT 64905 SOS 48791 HAS SOPS 48791 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16444.791
AT ITER 4639 NEW BEST:: SOT 64901 SOS 48787 HAS SOPS 48787 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16442.787
AT ITER 4715 NEW BEST:: SOT 64931 SOS 48817 HAS SOPS 48817 HAS SOUS 16363 HAS SOUPS 16363 WITH SCORE 16411.817
AT ITER 4762 NEW BEST:: SOT 64940 SOS 48826 HAS SOPS 48826 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16410.826
AT ITER 4787 NEW BEST:: SOT 64948 SOS 48834 HAS SOPS 48834 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16352.834
AT ITER 4925 NEW BEST:: SOT 64942 SOS 48828 HAS SOPS 48828 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16341.828
AT ITER 5007 NEW BEST:: SOT 64924 SOS 48810 HAS SOPS 48810 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16319.81
AT ITER 5118 NEW BEST:: SOT 64914 SOS 48800 HAS SOPS 48800 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16301.8
AT ITER 5221 NEW BEST:: SOT 64921 SOS 48807 HAS SOPS 48807 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16296.807
AT ITER 5274 NEW BEST:: SOT 64921 SOS 48809 HAS SOPS 48809 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16294.809
AT ITER 5341 NEW BEST:: SOT 64916 SOS 48804 HAS SOPS 48804 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16281.804
AT ITER 5384 NEW BEST:: SOT 64858 SOS 48746 HAS SOPS 48746 HAS SOUS 16196 HAS SOUPS 16196 WITH SCORE 16244.746
AT ITER 5462 NEW BEST:: SOT 64786 SOS 48650 HAS SOPS 48650 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16150.65
AT ITER 5490 NEW BEST:: SOT 64786 SOS 48650 HAS SOPS 48650 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16144.65
AT ITER 5509 NEW BEST:: SOT 64745 SOS 48609 HAS SOPS 48609 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16093.609
AT ITER 5574 NEW BEST:: SOT 64741 SOS 48606 HAS SOPS 48606 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16090.606
AT ITER 5581 NEW BEST:: SOT 64733 SOS 48598 HAS SOPS 48598 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16076.598
AT ITER 5625 NEW BEST:: SOT 64703 SOS 48568 HAS SOPS 48568 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 16009.568
AT ITER 5638 NEW BEST:: SOT 64703 SOS 49457 HAS SOPS 49457 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15985.457
AT ITER 5712 NEW BEST:: SOT 64617 SOS 49347 HAS SOPS 49347 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15883.347
AT ITER 6058 NEW BEST:: SOT 64613 SOS 49346 HAS SOPS 49346 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15878.346
AT ITER 6177 NEW BEST:: SOT 64613 SOS 49346 HAS SOPS 49346 HAS SOUS 15798 HAS SOUPS 15798 WITH SCORE 15847.346
AT ITER 6190 NEW BEST:: SOT 64589 SOS 49322 HAS SOPS 49322 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15819.322
AT ITER 6215 NEW BEST:: SOT 64587 SOS 49320 HAS SOPS 49320 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15817.32
AT ITER 6233 NEW BEST:: SOT 64575 SOS 49308 HAS SOPS 49308 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15811.308
AT ITER 6269 NEW BEST:: SOT 64565 SOS 49298 HAS SOPS 49298 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15753.298
AT ITER 6382 NEW BEST:: SOT 64570 SOS 49303 HAS SOPS 49303 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15745.303
AT ITER 6388 NEW BEST:: SOT 64560 SOS 49308 HAS SOPS 49308 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15741.308
AT ITER 6428 NEW BEST:: SOT 64556 SOS 49304 HAS SOPS 49304 HAS SOUS 15688 HAS SOUPS 15688 WITH SCORE 15737.304
AT ITER 6450 NEW BEST:: SOT 64556 SOS 49304 HAS SOPS 49304 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15732.304
AT ITER 6603 NEW BEST:: SOT 64556 SOS 49304 HAS SOPS 49304 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15726.304
AT ITER 6725 NEW BEST:: SOT 64571 SOS 49319 HAS SOPS 49319 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15706.319
AT ITER 6732 NEW BEST:: SOT 64572 SOS 49320 HAS SOPS 49320 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15705.32
AT ITER 6746 NEW BEST:: SOT 64560 SOS 49308 HAS SOPS 49308 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15693.308
AT ITER 7141 NEW BEST:: SOT 64570 SOS 49336 HAS SOPS 49336 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15678.336
AT ITER 7159 NEW BEST:: SOT 64566 SOS 49329 HAS SOPS 49329 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15675.329
AT ITER 7234 NEW BEST:: SOT 64562 SOS 49325 HAS SOPS 49325 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15673.325
AT ITER 7459 NEW BEST:: SOT 64562 SOS 49325 HAS SOPS 49325 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15665.325
AT ITER 7507 NEW BEST:: SOT 64562 SOS 49309 HAS SOPS 49309 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15659.309
AT ITER 7550 NEW BEST:: SOT 64568 SOS 49315 HAS SOPS 49315 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15657.315
AT ITER 7595 NEW BEST:: SOT 64568 SOS 49299 HAS SOPS 49299 HAS SOUS 15604 HAS SOUPS 15604 WITH SCORE 15653.299
AT ITER 7648 NEW BEST:: SOT 64574 SOS 49305 HAS SOPS 49305 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15645.305
AT ITER 7665 NEW BEST:: SOT 64522 SOS 49263 HAS SOPS 49263 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15603.263
AT ITER 7678 NEW BEST:: SOT 64522 SOS 49231 HAS SOPS 49231 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15603.231
AT ITER 7702 NEW BEST:: SOT 64519 SOS 49228 HAS SOPS 49228 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15593.228
AT ITER 7895 NEW BEST:: SOT 64517 SOS 49226 HAS SOPS 49226 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15593.226
AT ITER 7952 NEW BEST:: SOT 64519 SOS 49231 HAS SOPS 49231 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15592.231
AT ITER 7955 NEW BEST:: SOT 64519 SOS 49233 HAS SOPS 49233 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15590.233
AT ITER 8080 NEW BEST:: SOT 64519 SOS 49121 HAS SOPS 49121 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15590.121
AT ITER 8082 NEW BEST:: SOT 64519 SOS 48673 HAS SOPS 48673 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15589.673
AT ITER 8345 NEW BEST:: SOT 64509 SOS 48671 HAS SOPS 48671 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15584.671
AT ITER 8476 NEW BEST:: SOT 64507 SOS 48669 HAS SOPS 48669 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15582.669
AT ITER 8611 NEW BEST:: SOT 64507 SOS 48581 HAS SOPS 48581 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15582.581
AT ITER 8615 NEW BEST:: SOT 64507 SOS 48525 HAS SOPS 48525 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15582.525
AT ITER 8628 NEW BEST:: SOT 64507 SOS 48527 HAS SOPS 48527 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15581.527
AT ITER 8637 NEW BEST:: SOT 64506 SOS 48526 HAS SOPS 48526 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15567.526
AT ITER 8761 NEW BEST:: SOT 64498 SOS 48518 HAS SOPS 48518 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15557.518
AT ITER 8876 NEW BEST:: SOT 64463 SOS 48482 HAS SOPS 48482 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15532.482
AT ITER 9024 NEW BEST:: SOT 64441 SOS 48461 HAS SOPS 48461 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15511.461
AT ITER 9111 NEW BEST:: SOT 64441 SOS 48461 HAS SOPS 48461 HAS SOUS 15457 HAS SOUPS 15457 WITH SCORE 15505.461
AT ITER 9206 NEW BEST:: SOT 64439 SOS 48460 HAS SOPS 48460 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15504.46
AT ITER 9293 NEW BEST:: SOT 64439 SOS 48462 HAS SOPS 48462 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15502.462
AT ITER 9316 NEW BEST:: SOT 64439 SOS 47806 HAS SOPS 47806 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15499.806
AT ITER 9365 NEW BEST:: SOT 64469 SOS 47836 HAS SOPS 47836 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15488.836
AT ITER 9404 NEW BEST:: SOT 64469 SOS 47836 HAS SOPS 47836 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15485.836
AT ITER 9438 NEW BEST:: SOT 64455 SOS 47822 HAS SOPS 47822 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15460.822
AT ITER 9472 NEW BEST:: SOT 64448 SOS 47815 HAS SOPS 47815 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15457.815
AT ITER 9647 NEW BEST:: SOT 64448 SOS 47767 HAS SOPS 47767 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15457.767
AT ITER 9751 NEW BEST:: SOT 64448 SOS 47639 HAS SOPS 47639 HAS SOUS 15408 HAS SOUPS 15408 WITH SCORE 15455.639
AT ITER 9818 NEW BEST:: SOT 64444 SOS 47635 HAS SOPS 47635 HAS SOUS 15404 HAS SOUPS 15404 WITH SCORE 15451.635
AT ITER 9896 NEW BEST:: SOT 64439 SOS 47630 HAS SOPS 47630 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15439.63
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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"
# 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-4028"
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 r108-csrt-158961250800624"
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 ;