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.r099-tall-167814472500504.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 DES-PT-60b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 8.6K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 15:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 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 139K 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 1678246783701

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=DES-PT-60b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60b
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: 519 places, 470 transitions, 1623 arcs.
AT ITER 0 NEW BEST:: SOT 163151 SOS 42157 HAS SOPS 42157 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40917.157
AT ITER 11 NEW BEST:: SOT 162820 SOS 47437 HAS SOPS 47437 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40866.437
AT ITER 21 NEW BEST:: SOT 162780 SOS 47410 HAS SOPS 47410 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40839.41
AT ITER 23 NEW BEST:: SOT 162718 SOS 47404 HAS SOPS 47404 HAS SOUS 40786 HAS SOUPS 40786 WITH SCORE 40833.404
AT ITER 35 NEW BEST:: SOT 162661 SOS 47347 HAS SOPS 47347 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40774.347
AT ITER 40 NEW BEST:: SOT 162631 SOS 47412 HAS SOPS 47412 HAS SOUS 40722 HAS SOUPS 40722 WITH SCORE 40769.412
AT ITER 69 NEW BEST:: SOT 162605 SOS 47385 HAS SOPS 47385 HAS SOUS 40714 HAS SOUPS 40714 WITH SCORE 40761.385
AT ITER 74 NEW BEST:: SOT 162237 SOS 52968 HAS SOPS 52968 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40605.968
AT ITER 83 NEW BEST:: SOT 162214 SOS 52870 HAS SOPS 52870 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40553.87
AT ITER 91 NEW BEST:: SOT 162081 SOS 52765 HAS SOPS 52765 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40500.765
AT ITER 112 NEW BEST:: SOT 162074 SOS 52757 HAS SOPS 52757 HAS SOUS 40440 HAS SOUPS 40440 WITH SCORE 40492.757
AT ITER 179 NEW BEST:: SOT 162074 SOS 52757 HAS SOPS 52757 HAS SOUS 40390 HAS SOUPS 40390 WITH SCORE 40442.757
AT ITER 182 NEW BEST:: SOT 162068 SOS 52751 HAS SOPS 52751 HAS SOUS 40383 HAS SOUPS 40383 WITH SCORE 40435.751
AT ITER 188 NEW BEST:: SOT 161885 SOS 53337 HAS SOPS 53337 HAS SOUS 40328 HAS SOUPS 40328 WITH SCORE 40381.337
AT ITER 210 NEW BEST:: SOT 161871 SOS 53327 HAS SOPS 53327 HAS SOUS 40318 HAS SOUPS 40318 WITH SCORE 40371.327
AT ITER 241 NEW BEST:: SOT 155037 SOS 46493 HAS SOPS 46493 HAS SOUS 33482 HAS SOUPS 33482 WITH SCORE 33528.493
AT ITER 275 NEW BEST:: SOT 154690 SOS 52963 HAS SOPS 52963 HAS SOUS 33305 HAS SOUPS 33305 WITH SCORE 33357.963
AT ITER 341 NEW BEST:: SOT 154688 SOS 52959 HAS SOPS 52959 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33354.959
AT ITER 350 NEW BEST:: SOT 154674 SOS 52945 HAS SOPS 52945 HAS SOUS 33287 HAS SOUPS 33287 WITH SCORE 33339.945
AT ITER 443 NEW BEST:: SOT 154636 SOS 52907 HAS SOPS 52907 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33300.907
AT ITER 458 NEW BEST:: SOT 149177 SOS 65539 HAS SOPS 65539 HAS SOUS 28438 HAS SOUPS 28438 WITH SCORE 28503.539
AT ITER 471 NEW BEST:: SOT 145543 SOS 61964 HAS SOPS 61964 HAS SOUS 24804 HAS SOUPS 24804 WITH SCORE 24865.964
AT ITER 475 NEW BEST:: SOT 145415 SOS 61836 HAS SOPS 61836 HAS SOUS 24548 HAS SOUPS 24548 WITH SCORE 24609.836
AT ITER 495 NEW BEST:: SOT 145409 SOS 61818 HAS SOPS 61818 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24601.818
AT ITER 502 NEW BEST:: SOT 145409 SOS 61778 HAS SOPS 61778 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24577.778
AT ITER 519 NEW BEST:: SOT 139017 SOS 60418 HAS SOPS 60418 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18370.418
AT ITER 521 NEW BEST:: SOT 138943 SOS 60344 HAS SOPS 60344 HAS SOUS 18236 HAS SOUPS 18236 WITH SCORE 18296.344
AT ITER 552 NEW BEST:: SOT 138857 SOS 60258 HAS SOPS 60258 HAS SOUS 18150 HAS SOUPS 18150 WITH SCORE 18210.258
AT ITER 581 NEW BEST:: SOT 138835 SOS 60215 HAS SOPS 60215 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18166.215
AT ITER 587 NEW BEST:: SOT 138708 SOS 60088 HAS SOPS 60088 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 18038.088
AT ITER 590 NEW BEST:: SOT 138645 SOS 59985 HAS SOPS 59985 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17934.985
AT ITER 616 NEW BEST:: SOT 138607 SOS 59947 HAS SOPS 59947 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17839.947
AT ITER 662 NEW BEST:: SOT 138614 SOS 59982 HAS SOPS 59982 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17832.982
AT ITER 686 NEW BEST:: SOT 138599 SOS 59976 HAS SOPS 59976 HAS SOUS 17757 HAS SOUPS 17757 WITH SCORE 17816.976
AT ITER 753 NEW BEST:: SOT 138609 SOS 59995 HAS SOPS 59995 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17811.995
AT ITER 792 NEW BEST:: SOT 138609 SOS 59993 HAS SOPS 59993 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17811.993
AT ITER 811 NEW BEST:: SOT 138610 SOS 59945 HAS SOPS 59945 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17798.945
AT ITER 836 NEW BEST:: SOT 138617 SOS 59925 HAS SOPS 59925 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17773.925
AT ITER 845 NEW BEST:: SOT 138616 SOS 59924 HAS SOPS 59924 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17771.924
AT ITER 894 NEW BEST:: SOT 138552 SOS 59918 HAS SOPS 59918 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17765.918
AT ITER 895 NEW BEST:: SOT 138517 SOS 59915 HAS SOPS 59915 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17743.915
AT ITER 928 NEW BEST:: SOT 138516 SOS 59914 HAS SOPS 59914 HAS SOUS 17682 HAS SOUPS 17682 WITH SCORE 17741.914
AT ITER 981 NEW BEST:: SOT 138415 SOS 48646 HAS SOPS 48646 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17595.646
AT ITER 993 NEW BEST:: SOT 138385 SOS 48616 HAS SOPS 48616 HAS SOUS 17516 HAS SOUPS 17516 WITH SCORE 17564.616
AT ITER 998 NEW BEST:: SOT 138309 SOS 48546 HAS SOPS 48546 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17490.546
AT ITER 1013 NEW BEST:: SOT 138295 SOS 48540 HAS SOPS 48540 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17484.54
AT ITER 1028 NEW BEST:: SOT 138294 SOS 48539 HAS SOPS 48539 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17482.539
AT ITER 1032 NEW BEST:: SOT 138210 SOS 48455 HAS SOPS 48455 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17397.455
AT ITER 1071 NEW BEST:: SOT 138181 SOS 48426 HAS SOPS 48426 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17339.426
AT ITER 1085 NEW BEST:: SOT 138208 SOS 48422 HAS SOPS 48422 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17335.422
AT ITER 1087 NEW BEST:: SOT 138206 SOS 48420 HAS SOPS 48420 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17331.42
AT ITER 1098 NEW BEST:: SOT 138170 SOS 48341 HAS SOPS 48341 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17303.341
AT ITER 1105 NEW BEST:: SOT 138169 SOS 48340 HAS SOPS 48340 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17301.34
AT ITER 1110 NEW BEST:: SOT 138162 SOS 48326 HAS SOPS 48326 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17236.326
AT ITER 1134 NEW BEST:: SOT 138161 SOS 48325 HAS SOPS 48325 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17234.325
AT ITER 1190 NEW BEST:: SOT 138159 SOS 48323 HAS SOPS 48323 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17230.323
AT ITER 1202 NEW BEST:: SOT 138089 SOS 48185 HAS SOPS 48185 HAS SOUS 17044 HAS SOUPS 17044 WITH SCORE 17092.185
AT ITER 1227 NEW BEST:: SOT 138072 SOS 48185 HAS SOPS 48185 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17091.185
AT ITER 1228 NEW BEST:: SOT 138071 SOS 48187 HAS SOPS 48187 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17069.187
AT ITER 1232 NEW BEST:: SOT 138070 SOS 48186 HAS SOPS 48186 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17067.186
AT ITER 1294 NEW BEST:: SOT 138069 SOS 48185 HAS SOPS 48185 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17065.185
AT ITER 1314 NEW BEST:: SOT 138038 SOS 48139 HAS SOPS 48139 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 17018.139
AT ITER 1317 NEW BEST:: SOT 138028 SOS 48129 HAS SOPS 48129 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16998.129
AT ITER 1347 NEW BEST:: SOT 138028 SOS 48121 HAS SOPS 48121 HAS SOUS 16942 HAS SOUPS 16942 WITH SCORE 16990.121
AT ITER 1368 NEW BEST:: SOT 138006 SOS 48116 HAS SOPS 48116 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16955.116
AT ITER 1400 NEW BEST:: SOT 138006 SOS 48115 HAS SOPS 48115 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16954.115
AT ITER 1425 NEW BEST:: SOT 137991 SOS 48098 HAS SOPS 48098 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16943.098
AT ITER 1511 NEW BEST:: SOT 137951 SOS 48050 HAS SOPS 48050 HAS SOUS 16847 HAS SOUPS 16847 WITH SCORE 16895.05
AT ITER 1519 NEW BEST:: SOT 137950 SOS 48049 HAS SOPS 48049 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16893.049
AT ITER 1549 NEW BEST:: SOT 136186 SOS 58496 HAS SOPS 58496 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15576.496
AT ITER 1569 NEW BEST:: SOT 136175 SOS 58485 HAS SOPS 58485 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15554.485
AT ITER 1574 NEW BEST:: SOT 136162 SOS 58484 HAS SOPS 58484 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15553.484
AT ITER 1578 NEW BEST:: SOT 136151 SOS 58473 HAS SOPS 58473 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15531.473
AT ITER 1610 NEW BEST:: SOT 136073 SOS 58395 HAS SOPS 58395 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15452.395
AT ITER 1630 NEW BEST:: SOT 136040 SOS 55762 HAS SOPS 55762 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15368.762
AT ITER 1666 NEW BEST:: SOT 136030 SOS 55752 HAS SOPS 55752 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15348.752
AT ITER 1672 NEW BEST:: SOT 136028 SOS 55750 HAS SOPS 55750 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15344.75
AT ITER 1711 NEW BEST:: SOT 136010 SOS 55732 HAS SOPS 55732 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15325.732
AT ITER 1715 NEW BEST:: SOT 135968 SOS 55690 HAS SOPS 55690 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15241.69
AT ITER 1750 NEW BEST:: SOT 135966 SOS 55689 HAS SOPS 55689 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15240.689
AT ITER 1829 NEW BEST:: SOT 135965 SOS 55688 HAS SOPS 55688 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15238.688
AT ITER 1830 NEW BEST:: SOT 135902 SOS 55568 HAS SOPS 55568 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15118.568
AT ITER 1891 NEW BEST:: SOT 135897 SOS 55559 HAS SOPS 55559 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15112.559
AT ITER 1945 NEW BEST:: SOT 135892 SOS 55557 HAS SOPS 55557 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15110.557
AT ITER 2001 NEW BEST:: SOT 135891 SOS 55556 HAS SOPS 55556 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15108.556
AT ITER 2010 NEW BEST:: SOT 135884 SOS 55542 HAS SOPS 55542 HAS SOUS 15039 HAS SOUPS 15039 WITH SCORE 15094.542
AT ITER 2011 NEW BEST:: SOT 135879 SOS 55531 HAS SOPS 55531 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15084.531
AT ITER 2012 NEW BEST:: SOT 135881 SOS 55526 HAS SOPS 55526 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15083.526
AT ITER 2014 NEW BEST:: SOT 135859 SOS 55504 HAS SOPS 55504 HAS SOUS 14976 HAS SOUPS 14976 WITH SCORE 15031.504
AT ITER 2021 NEW BEST:: SOT 135807 SOS 55452 HAS SOPS 55452 HAS SOUS 14865 HAS SOUPS 14865 WITH SCORE 14920.452
AT ITER 2023 NEW BEST:: SOT 135790 SOS 55453 HAS SOPS 55453 HAS SOUS 14864 HAS SOUPS 14864 WITH SCORE 14919.453
AT ITER 2126 NEW BEST:: SOT 135791 SOS 55512 HAS SOPS 55512 HAS SOUS 14862 HAS SOUPS 14862 WITH SCORE 14917.512
AT ITER 2153 NEW BEST:: SOT 135790 SOS 55511 HAS SOPS 55511 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14915.511
AT ITER 2189 NEW BEST:: SOT 135788 SOS 55509 HAS SOPS 55509 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14911.509
AT ITER 2191 NEW BEST:: SOT 135771 SOS 54014 HAS SOPS 54014 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14888.014
AT ITER 2199 NEW BEST:: SOT 135761 SOS 54004 HAS SOPS 54004 HAS SOUS 14814 HAS SOUPS 14814 WITH SCORE 14868.004
AT ITER 2215 NEW BEST:: SOT 135727 SOS 53989 HAS SOPS 53989 HAS SOUS 14799 HAS SOUPS 14799 WITH SCORE 14852.989
AT ITER 2217 NEW BEST:: SOT 135744 SOS 53981 HAS SOPS 53981 HAS SOUS 14791 HAS SOUPS 14791 WITH SCORE 14844.981
AT ITER 2219 NEW BEST:: SOT 135730 SOS 53978 HAS SOPS 53978 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14836.978
AT ITER 2371 NEW BEST:: SOT 135629 SOS 50296 HAS SOPS 50296 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14616.296
AT ITER 2427 NEW BEST:: SOT 135483 SOS 42227 HAS SOPS 42227 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14340.227
AT ITER 2491 NEW BEST:: SOT 135472 SOS 42221 HAS SOPS 42221 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14334.221
AT ITER 2495 NEW BEST:: SOT 135467 SOS 42211 HAS SOPS 42211 HAS SOUS 14286 HAS SOUPS 14286 WITH SCORE 14328.211
AT ITER 2521 NEW BEST:: SOT 135460 SOS 42210 HAS SOPS 42210 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14327.21
AT ITER 2537 NEW BEST:: SOT 135460 SOS 42193 HAS SOPS 42193 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14309.193
AT ITER 2606 NEW BEST:: SOT 135464 SOS 39495 HAS SOPS 39495 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14212.495
AT ITER 2613 NEW BEST:: SOT 135462 SOS 39493 HAS SOPS 39493 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14192.493
AT ITER 2624 NEW BEST:: SOT 135451 SOS 39482 HAS SOPS 39482 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14170.482
AT ITER 2634 NEW BEST:: SOT 135433 SOS 39477 HAS SOPS 39477 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14169.477
AT ITER 2646 NEW BEST:: SOT 135416 SOS 39485 HAS SOPS 39485 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14135.485
AT ITER 2688 NEW BEST:: SOT 135415 SOS 39484 HAS SOPS 39484 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14133.484
AT ITER 2725 NEW BEST:: SOT 135361 SOS 39094 HAS SOPS 39094 HAS SOUS 14030 HAS SOUPS 14030 WITH SCORE 14069.094
AT ITER 2775 NEW BEST:: SOT 135282 SOS 39015 HAS SOPS 39015 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13990.015
AT ITER 2780 NEW BEST:: SOT 135281 SOS 39014 HAS SOPS 39014 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13988.014
AT ITER 2794 NEW BEST:: SOT 135279 SOS 39012 HAS SOPS 39012 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13984.012
AT ITER 2882 NEW BEST:: SOT 135266 SOS 38997 HAS SOPS 38997 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13964.997
AT ITER 2942 NEW BEST:: SOT 135274 SOS 38978 HAS SOPS 38978 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13945.978
AT ITER 2997 NEW BEST:: SOT 135274 SOS 38977 HAS SOPS 38977 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13944.977
AT ITER 3021 NEW BEST:: SOT 135282 SOS 38971 HAS SOPS 38971 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13938.971
AT ITER 3058 NEW BEST:: SOT 135247 SOS 38903 HAS SOPS 38903 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13870.903
AT ITER 3079 NEW BEST:: SOT 135256 SOS 38921 HAS SOPS 38921 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13869.921
AT ITER 3115 NEW BEST:: SOT 135253 SOS 38918 HAS SOPS 38918 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13863.918
AT ITER 3152 NEW BEST:: SOT 135275 SOS 38934 HAS SOPS 38934 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13857.934
AT ITER 3246 NEW BEST:: SOT 135267 SOS 38893 HAS SOPS 38893 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13849.893
AT ITER 3263 NEW BEST:: SOT 135235 SOS 38858 HAS SOPS 38858 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13814.858
AT ITER 3273 NEW BEST:: SOT 135225 SOS 38836 HAS SOPS 38836 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13747.836
AT ITER 3309 NEW BEST:: SOT 135202 SOS 38813 HAS SOPS 38813 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13701.813
AT ITER 3315 NEW BEST:: SOT 135201 SOS 38781 HAS SOPS 38781 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13670.781
AT ITER 3341 NEW BEST:: SOT 135200 SOS 38780 HAS SOPS 38780 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13668.78
AT ITER 3361 NEW BEST:: SOT 135187 SOS 38767 HAS SOPS 38767 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13660.767
AT ITER 3388 NEW BEST:: SOT 135168 SOS 38751 HAS SOPS 38751 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13644.751
AT ITER 3402 NEW BEST:: SOT 135162 SOS 38745 HAS SOPS 38745 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13632.745
AT ITER 3427 NEW BEST:: SOT 135153 SOS 38742 HAS SOPS 38742 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13621.742
AT ITER 3433 NEW BEST:: SOT 135153 SOS 38742 HAS SOPS 38742 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13613.742
AT ITER 3494 NEW BEST:: SOT 135149 SOS 38738 HAS SOPS 38738 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13605.738
AT ITER 3525 NEW BEST:: SOT 135141 SOS 38734 HAS SOPS 38734 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13601.734
AT ITER 3541 NEW BEST:: SOT 135113 SOS 38703 HAS SOPS 38703 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13570.703
AT ITER 3578 NEW BEST:: SOT 135141 SOS 36451 HAS SOPS 36451 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13558.451
AT ITER 3588 NEW BEST:: SOT 135140 SOS 36450 HAS SOPS 36450 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13556.45
AT ITER 3623 NEW BEST:: SOT 135143 SOS 36448 HAS SOPS 36448 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13548.448
AT ITER 3770 NEW BEST:: SOT 135140 SOS 36445 HAS SOPS 36445 HAS SOUS 13506 HAS SOUPS 13506 WITH SCORE 13542.445
AT ITER 3943 NEW BEST:: SOT 135136 SOS 36441 HAS SOPS 36441 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13534.441
AT ITER 3949 NEW BEST:: SOT 135136 SOS 36441 HAS SOPS 36441 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13533.441
AT ITER 3963 NEW BEST:: SOT 135135 SOS 36439 HAS SOPS 36439 HAS SOUS 13495 HAS SOUPS 13495 WITH SCORE 13531.439
AT ITER 3983 NEW BEST:: SOT 135130 SOS 36434 HAS SOPS 36434 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13521.434
AT ITER 4011 NEW BEST:: SOT 135129 SOS 36433 HAS SOPS 36433 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13519.433
AT ITER 4026 NEW BEST:: SOT 135105 SOS 36409 HAS SOPS 36409 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13495.409
AT ITER 4049 NEW BEST:: SOT 135099 SOS 36403 HAS SOPS 36403 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13483.403
AT ITER 4073 NEW BEST:: SOT 135067 SOS 36371 HAS SOPS 36371 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13419.371
AT ITER 4104 NEW BEST:: SOT 135050 SOS 36337 HAS SOPS 36337 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13385.337
AT ITER 4194 NEW BEST:: SOT 135048 SOS 36336 HAS SOPS 36336 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13384.336
AT ITER 4269 NEW BEST:: SOT 134989 SOS 38377 HAS SOPS 38377 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13310.377
AT ITER 4289 NEW BEST:: SOT 135003 SOS 38406 HAS SOPS 38406 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13309.406
AT ITER 4299 NEW BEST:: SOT 134980 SOS 38383 HAS SOPS 38383 HAS SOUS 13225 HAS SOUPS 13225 WITH SCORE 13263.383
AT ITER 4313 NEW BEST:: SOT 134934 SOS 38337 HAS SOPS 38337 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13171.337
AT ITER 4328 NEW BEST:: SOT 134909 SOS 38287 HAS SOPS 38287 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13121.287
AT ITER 4336 NEW BEST:: SOT 134902 SOS 38241 HAS SOPS 38241 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13094.241
AT ITER 4339 NEW BEST:: SOT 134856 SOS 38195 HAS SOPS 38195 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 13002.195
AT ITER 4455 NEW BEST:: SOT 134834 SOS 38151 HAS SOPS 38151 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12943.151
AT ITER 4493 NEW BEST:: SOT 134832 SOS 38149 HAS SOPS 38149 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12941.149
AT ITER 4502 NEW BEST:: SOT 134831 SOS 38148 HAS SOPS 38148 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12939.148
AT ITER 4569 NEW BEST:: SOT 134830 SOS 38147 HAS SOPS 38147 HAS SOUS 12899 HAS SOUPS 12899 WITH SCORE 12937.147
AT ITER 4588 NEW BEST:: SOT 134825 SOS 38142 HAS SOPS 38142 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12932.142
AT ITER 4769 NEW BEST:: SOT 134824 SOS 38141 HAS SOPS 38141 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12930.141
AT ITER 4792 NEW BEST:: SOT 134797 SOS 38114 HAS SOPS 38114 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12888.114
AT ITER 4869 NEW BEST:: SOT 134796 SOS 38110 HAS SOPS 38110 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12884.11
AT ITER 4883 NEW BEST:: SOT 134795 SOS 38107 HAS SOPS 38107 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12881.107
AT ITER 4907 NEW BEST:: SOT 134766 SOS 38049 HAS SOPS 38049 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12823.049
AT ITER 4999 NEW BEST:: SOT 134739 SOS 38022 HAS SOPS 38022 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12769.022
AT ITER 5016 NEW BEST:: SOT 134738 SOS 38021 HAS SOPS 38021 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12767.021
AT ITER 5090 NEW BEST:: SOT 134738 SOS 38015 HAS SOPS 38015 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12761.015
AT ITER 5142 NEW BEST:: SOT 134737 SOS 38014 HAS SOPS 38014 HAS SOUS 12721 HAS SOUPS 12721 WITH SCORE 12759.014
AT ITER 5239 NEW BEST:: SOT 134736 SOS 38013 HAS SOPS 38013 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12752.013
AT ITER 5306 NEW BEST:: SOT 134731 SOS 38007 HAS SOPS 38007 HAS SOUS 12708 HAS SOUPS 12708 WITH SCORE 12746.007
AT ITER 5308 NEW BEST:: SOT 134727 SOS 38006 HAS SOPS 38006 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12745.006
AT ITER 5329 NEW BEST:: SOT 134717 SOS 37996 HAS SOPS 37996 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12733.996
AT ITER 5508 NEW BEST:: SOT 134705 SOS 37979 HAS SOPS 37979 HAS SOUS 12679 HAS SOUPS 12679 WITH SCORE 12716.979
AT ITER 5554 NEW BEST:: SOT 134704 SOS 37978 HAS SOPS 37978 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12714.978
AT ITER 5563 NEW BEST:: SOT 134704 SOS 37975 HAS SOPS 37975 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12713.975
AT ITER 5576 NEW BEST:: SOT 134694 SOS 37961 HAS SOPS 37961 HAS SOUS 12662 HAS SOUPS 12662 WITH SCORE 12699.961
AT ITER 5616 NEW BEST:: SOT 134672 SOS 37939 HAS SOPS 37939 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12655.939
AT ITER 5649 NEW BEST:: SOT 134656 SOS 37923 HAS SOPS 37923 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12623.923
AT ITER 5656 NEW BEST:: SOT 134621 SOS 37874 HAS SOPS 37874 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12574.874
AT ITER 5711 NEW BEST:: SOT 134620 SOS 37873 HAS SOPS 37873 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12572.873
AT ITER 5760 NEW BEST:: SOT 134626 SOS 37868 HAS SOPS 37868 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12567.868
AT ITER 5783 NEW BEST:: SOT 134618 SOS 37860 HAS SOPS 37860 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12551.86
AT ITER 5875 NEW BEST:: SOT 134590 SOS 37832 HAS SOPS 37832 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12495.832
AT ITER 5942 NEW BEST:: SOT 134574 SOS 37816 HAS SOPS 37816 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12463.816
AT ITER 5951 NEW BEST:: SOT 134573 SOS 37815 HAS SOPS 37815 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12461.815
AT ITER 5982 NEW BEST:: SOT 134573 SOS 37815 HAS SOPS 37815 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12452.815
AT ITER 6011 NEW BEST:: SOT 134566 SOS 37808 HAS SOPS 37808 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12438.808
AT ITER 6026 NEW BEST:: SOT 134564 SOS 37770 HAS SOPS 37770 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12433.77
AT ITER 6030 NEW BEST:: SOT 134564 SOS 37756 HAS SOPS 37756 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12433.756
AT ITER 6047 NEW BEST:: SOT 134564 SOS 37755 HAS SOPS 37755 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12432.755
AT ITER 6064 NEW BEST:: SOT 134559 SOS 37750 HAS SOPS 37750 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12422.75
AT ITER 6083 NEW BEST:: SOT 134554 SOS 37740 HAS SOPS 37740 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12417.74
AT ITER 6109 NEW BEST:: SOT 134553 SOS 37739 HAS SOPS 37739 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12415.739
AT ITER 6118 NEW BEST:: SOT 134542 SOS 37706 HAS SOPS 37706 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12382.706
AT ITER 6138 NEW BEST:: SOT 134509 SOS 37640 HAS SOPS 37640 HAS SOUS 12311 HAS SOUPS 12311 WITH SCORE 12348.64
AT ITER 6185 NEW BEST:: SOT 134509 SOS 37638 HAS SOPS 37638 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12346.638
AT ITER 6193 NEW BEST:: SOT 134505 SOS 37634 HAS SOPS 37634 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12330.634
AT ITER 6205 NEW BEST:: SOT 134495 SOS 37619 HAS SOPS 37619 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12320.619
AT ITER 6241 NEW BEST:: SOT 134481 SOS 37605 HAS SOPS 37605 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12292.605
AT ITER 6296 NEW BEST:: SOT 134489 SOS 37569 HAS SOPS 37569 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12256.569
AT ITER 6428 NEW BEST:: SOT 134488 SOS 37568 HAS SOPS 37568 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12254.568
AT ITER 6443 NEW BEST:: SOT 134484 SOS 37564 HAS SOPS 37564 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12246.564
AT ITER 6456 NEW BEST:: SOT 134483 SOS 37563 HAS SOPS 37563 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12244.563
AT ITER 6482 NEW BEST:: SOT 134483 SOS 37563 HAS SOPS 37563 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12240.563
AT ITER 6581 NEW BEST:: SOT 134477 SOS 37557 HAS SOPS 37557 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12228.557
AT ITER 6588 NEW BEST:: SOT 134450 SOS 37565 HAS SOPS 37565 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12201.565
AT ITER 6592 NEW BEST:: SOT 134431 SOS 37452 HAS SOPS 37452 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12182.452
AT ITER 6663 NEW BEST:: SOT 134428 SOS 37456 HAS SOPS 37456 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12174.456
AT ITER 6709 NEW BEST:: SOT 134428 SOS 37443 HAS SOPS 37443 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12174.443
AT ITER 6919 NEW BEST:: SOT 134411 SOS 37441 HAS SOPS 37441 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12172.441
AT ITER 6952 NEW BEST:: SOT 134411 SOS 37437 HAS SOPS 37437 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12170.437
AT ITER 6995 NEW BEST:: SOT 134383 SOS 37419 HAS SOPS 37419 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12141.419
AT ITER 7133 NEW BEST:: SOT 134395 SOS 37371 HAS SOPS 37371 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12129.371
AT ITER 7135 NEW BEST:: SOT 134393 SOS 37368 HAS SOPS 37368 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12126.368
AT ITER 7164 NEW BEST:: SOT 134393 SOS 37368 HAS SOPS 37368 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12125.368
AT ITER 7165 NEW BEST:: SOT 134393 SOS 37360 HAS SOPS 37360 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12125.36
AT ITER 7171 NEW BEST:: SOT 134392 SOS 37359 HAS SOPS 37359 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12123.359
AT ITER 7260 NEW BEST:: SOT 134381 SOS 37415 HAS SOPS 37415 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12090.415
AT ITER 7318 NEW BEST:: SOT 134378 SOS 37393 HAS SOPS 37393 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12084.393
AT ITER 7343 NEW BEST:: SOT 134379 SOS 37381 HAS SOPS 37381 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12059.381
AT ITER 7389 NEW BEST:: SOT 134378 SOS 37380 HAS SOPS 37380 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12057.38
AT ITER 7429 NEW BEST:: SOT 134378 SOS 37376 HAS SOPS 37376 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12056.376
AT ITER 7459 NEW BEST:: SOT 134375 SOS 37373 HAS SOPS 37373 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12054.373
AT ITER 7542 NEW BEST:: SOT 134374 SOS 37366 HAS SOPS 37366 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12052.366
AT ITER 7584 NEW BEST:: SOT 134363 SOS 37360 HAS SOPS 37360 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12041.36
AT ITER 7632 NEW BEST:: SOT 134359 SOS 37356 HAS SOPS 37356 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12033.356
AT ITER 7675 NEW BEST:: SOT 134360 SOS 37370 HAS SOPS 37370 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12031.37
AT ITER 7800 NEW BEST:: SOT 134360 SOS 37373 HAS SOPS 37373 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12009.373
AT ITER 7839 NEW BEST:: SOT 134345 SOS 37313 HAS SOPS 37313 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11979.313
AT ITER 7911 NEW BEST:: SOT 134341 SOS 37309 HAS SOPS 37309 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11979.309
AT ITER 7923 NEW BEST:: SOT 134340 SOS 37308 HAS SOPS 37308 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11978.308
AT ITER 7982 NEW BEST:: SOT 134339 SOS 37307 HAS SOPS 37307 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11975.307
AT ITER 7996 NEW BEST:: SOT 134338 SOS 37306 HAS SOPS 37306 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11973.306
AT ITER 8248 NEW BEST:: SOT 134332 SOS 37300 HAS SOPS 37300 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11961.3
AT ITER 8275 NEW BEST:: SOT 134332 SOS 37299 HAS SOPS 37299 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11953.299
AT ITER 8288 NEW BEST:: SOT 134331 SOS 37298 HAS SOPS 37298 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11951.298
AT ITER 8367 NEW BEST:: SOT 134327 SOS 37288 HAS SOPS 37288 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11945.288
AT ITER 8405 NEW BEST:: SOT 134337 SOS 37278 HAS SOPS 37278 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11945.278
AT ITER 8496 NEW BEST:: SOT 134336 SOS 37277 HAS SOPS 37277 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11943.277
AT ITER 8744 NEW BEST:: SOT 134336 SOS 37267 HAS SOPS 37267 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11933.267
AT ITER 8773 NEW BEST:: SOT 134324 SOS 37217 HAS SOPS 37217 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11903.217
AT ITER 9015 NEW BEST:: SOT 134316 SOS 37209 HAS SOPS 37209 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11887.209
AT ITER 9033 NEW BEST:: SOT 134315 SOS 37208 HAS SOPS 37208 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11885.208
AT ITER 9057 NEW BEST:: SOT 134310 SOS 37203 HAS SOPS 37203 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11875.203
AT ITER 9064 NEW BEST:: SOT 134277 SOS 37169 HAS SOPS 37169 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11873.169
AT ITER 9083 NEW BEST:: SOT 134267 SOS 37159 HAS SOPS 37159 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11853.159
AT ITER 9157 NEW BEST:: SOT 134260 SOS 37152 HAS SOPS 37152 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11839.152
AT ITER 9170 NEW BEST:: SOT 134260 SOS 37146 HAS SOPS 37146 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11836.146
AT ITER 9184 NEW BEST:: SOT 134256 SOS 37142 HAS SOPS 37142 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11832.142
AT ITER 9226 NEW BEST:: SOT 134244 SOS 37118 HAS SOPS 37118 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11810.118
AT ITER 9378 NEW BEST:: SOT 134243 SOS 37107 HAS SOPS 37107 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11799.107
AT ITER 9386 NEW BEST:: SOT 134232 SOS 37096 HAS SOPS 37096 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11777.096
AT ITER 9412 NEW BEST:: SOT 134222 SOS 37686 HAS SOPS 37686 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11757.686
AT ITER 9445 NEW BEST:: SOT 134221 SOS 37685 HAS SOPS 37685 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11755.685
AT ITER 9461 NEW BEST:: SOT 134218 SOS 37682 HAS SOPS 37682 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11749.682
AT ITER 9548 NEW BEST:: SOT 134211 SOS 37675 HAS SOPS 37675 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11735.675
AT ITER 9706 NEW BEST:: SOT 134203 SOS 37623 HAS SOPS 37623 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11721.623
AT ITER 9732 NEW BEST:: SOT 134202 SOS 37622 HAS SOPS 37622 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11720.622
AT ITER 9814 NEW BEST:: SOT 134193 SOS 37587 HAS SOPS 37587 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11685.587
AT ITER 9816 NEW BEST:: SOT 134191 SOS 37584 HAS SOPS 37584 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11683.584
AT ITER 9834 NEW BEST:: SOT 134181 SOS 37574 HAS SOPS 37574 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11673.574
AT ITER 9856 NEW BEST:: SOT 134180 SOS 37573 HAS SOPS 37573 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11671.573
AT ITER 9886 NEW BEST:: SOT 134180 SOS 37563 HAS SOPS 37563 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11670.563
AT ITER 9899 NEW BEST:: SOT 134179 SOS 37562 HAS SOPS 37562 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11669.562
AT ITER 9902 NEW BEST:: SOT 134177 SOS 37560 HAS SOPS 37560 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11665.56
AT ITER 9906 NEW BEST:: SOT 134176 SOS 37559 HAS SOPS 37559 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11663.559
AT ITER 9912 NEW BEST:: SOT 134165 SOS 37548 HAS SOPS 37548 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11641.548
AT ITER 9920 NEW BEST:: SOT 134154 SOS 37537 HAS SOPS 37537 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11619.537
AT ITER 9932 NEW BEST:: SOT 134134 SOS 37517 HAS SOPS 37517 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11599.517
AT ITER 9969 NEW BEST:: SOT 134127 SOS 37517 HAS SOPS 37517 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11592.517
AT ITER 9976 NEW BEST:: SOT 134128 SOS 37518 HAS SOPS 37518 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11578.518
AT ITER 9983 NEW BEST:: SOT 134123 SOS 37513 HAS SOPS 37513 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11568.513
AT ITER 9997 NEW BEST:: SOT 134120 SOS 37503 HAS SOPS 37503 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11561.503
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5393856 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155500 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="DES-PT-60b"
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 DES-PT-60b, 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 r099-tall-167814472500504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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