Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973900528.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SimpleLoadBal-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973900528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 11K Feb 26 03:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 03:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 03:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 03:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 03:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 1.2M 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 1679092294041

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=SimpleLoadBal-PT-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 15
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: 149 places, 1280 transitions, 8988 arcs.
AT ITER 0 NEW BEST:: SOT 182329 SOS 115866 HAS SOPS 111387 HAS SOUS 77072 HAS SOUPS 76897 WITH SCORE 77012.866
AT ITER 8 NEW BEST:: SOT 182303 SOS 115814 HAS SOPS 111335 HAS SOUS 76975 HAS SOUPS 76800 WITH SCORE 76915.814
AT ITER 14 NEW BEST:: SOT 182303 SOS 115834 HAS SOPS 111355 HAS SOUS 76947 HAS SOUPS 76772 WITH SCORE 76887.834
AT ITER 23 NEW BEST:: SOT 182289 SOS 115806 HAS SOPS 111327 HAS SOUS 76919 HAS SOUPS 76744 WITH SCORE 76859.806
AT ITER 26 NEW BEST:: SOT 182223 SOS 115418 HAS SOPS 111283 HAS SOUS 76831 HAS SOUPS 76668 WITH SCORE 76783.418
AT ITER 29 NEW BEST:: SOT 182219 SOS 115402 HAS SOPS 111267 HAS SOUS 76815 HAS SOUPS 76652 WITH SCORE 76767.402
AT ITER 36 NEW BEST:: SOT 146120 SOS 129656 HAS SOPS 129241 HAS SOUS 40716 HAS SOUPS 40688 WITH SCORE 40817.656
AT ITER 44 NEW BEST:: SOT 146104 SOS 129626 HAS SOPS 129211 HAS SOUS 40714 HAS SOUPS 40686 WITH SCORE 40815.626
AT ITER 48 NEW BEST:: SOT 146092 SOS 129610 HAS SOPS 129195 HAS SOUS 40698 HAS SOUPS 40670 WITH SCORE 40799.61
AT ITER 51 NEW BEST:: SOT 146078 SOS 129582 HAS SOPS 129167 HAS SOUS 40670 HAS SOUPS 40642 WITH SCORE 40771.582
AT ITER 57 NEW BEST:: SOT 146078 SOS 117732 HAS SOPS 117317 HAS SOUS 40660 HAS SOUPS 40632 WITH SCORE 40749.732
AT ITER 59 NEW BEST:: SOT 146062 SOS 117700 HAS SOPS 117285 HAS SOUS 40628 HAS SOUPS 40600 WITH SCORE 40717.7
AT ITER 61 NEW BEST:: SOT 145797 SOS 117435 HAS SOPS 117020 HAS SOUS 40483 HAS SOUPS 40455 WITH SCORE 40572.435
AT ITER 64 NEW BEST:: SOT 145763 SOS 117401 HAS SOPS 116986 HAS SOUS 40449 HAS SOUPS 40421 WITH SCORE 40538.401
AT ITER 65 NEW BEST:: SOT 145737 SOS 117375 HAS SOPS 116960 HAS SOUS 40231 HAS SOUPS 40203 WITH SCORE 40320.375
AT ITER 68 NEW BEST:: SOT 145737 SOS 117375 HAS SOPS 116960 HAS SOUS 40213 HAS SOUPS 40185 WITH SCORE 40302.375
AT ITER 77 NEW BEST:: SOT 145758 SOS 117775 HAS SOPS 117488 HAS SOUS 40178 HAS SOUPS 40150 WITH SCORE 40267.775
AT ITER 81 NEW BEST:: SOT 145543 SOS 117560 HAS SOPS 117273 HAS SOUS 39963 HAS SOUPS 39935 WITH SCORE 40052.56
AT ITER 88 NEW BEST:: SOT 143257 SOS 115242 HAS SOPS 114955 HAS SOUS 37958 HAS SOUPS 37930 WITH SCORE 38045.242
AT ITER 90 NEW BEST:: SOT 143253 SOS 115230 HAS SOPS 114943 HAS SOUS 37946 HAS SOUPS 37918 WITH SCORE 38033.23
AT ITER 94 NEW BEST:: SOT 143363 SOS 115340 HAS SOPS 115053 HAS SOUS 37743 HAS SOUPS 37715 WITH SCORE 37830.34
AT ITER 96 NEW BEST:: SOT 143358 SOS 115337 HAS SOPS 115050 HAS SOUS 37660 HAS SOUPS 37632 WITH SCORE 37747.337
AT ITER 101 NEW BEST:: SOT 143356 SOS 115335 HAS SOPS 115048 HAS SOUS 37658 HAS SOUPS 37630 WITH SCORE 37745.335
AT ITER 104 NEW BEST:: SOT 142416 SOS 114395 HAS SOPS 114108 HAS SOUS 36254 HAS SOUPS 36226 WITH SCORE 36340.395
AT ITER 119 NEW BEST:: SOT 142430 SOS 114434 HAS SOPS 114147 HAS SOUS 36233 HAS SOUPS 36205 WITH SCORE 36319.434
AT ITER 120 NEW BEST:: SOT 142423 SOS 114414 HAS SOPS 114127 HAS SOUS 36213 HAS SOUPS 36185 WITH SCORE 36299.414
AT ITER 125 NEW BEST:: SOT 142419 SOS 114406 HAS SOPS 114119 HAS SOUS 36205 HAS SOUPS 36177 WITH SCORE 36291.406
AT ITER 148 NEW BEST:: SOT 141800 SOS 113787 HAS SOPS 113500 HAS SOUS 34558 HAS SOUPS 34530 WITH SCORE 34643.787
AT ITER 161 NEW BEST:: SOT 141790 SOS 113767 HAS SOPS 113480 HAS SOUS 34538 HAS SOUPS 34510 WITH SCORE 34623.767
AT ITER 170 NEW BEST:: SOT 141791 SOS 113768 HAS SOPS 113481 HAS SOUS 34520 HAS SOUPS 34492 WITH SCORE 34605.768
AT ITER 178 NEW BEST:: SOT 141411 SOS 113388 HAS SOPS 113101 HAS SOUS 33678 HAS SOUPS 33650 WITH SCORE 33763.388
AT ITER 182 NEW BEST:: SOT 140426 SOS 112403 HAS SOPS 112116 HAS SOUS 31561 HAS SOUPS 31533 WITH SCORE 31645.403
AT ITER 186 NEW BEST:: SOT 139910 SOS 111887 HAS SOPS 111600 HAS SOUS 30023 HAS SOUPS 29995 WITH SCORE 30106.887
AT ITER 223 NEW BEST:: SOT 139770 SOS 111747 HAS SOPS 111460 HAS SOUS 29449 HAS SOUPS 29421 WITH SCORE 29532.747
AT ITER 224 NEW BEST:: SOT 139469 SOS 111446 HAS SOPS 111159 HAS SOUS 29148 HAS SOUPS 29120 WITH SCORE 29231.446
AT ITER 226 NEW BEST:: SOT 139073 SOS 111050 HAS SOPS 110763 HAS SOUS 28338 HAS SOUPS 28310 WITH SCORE 28421.05
AT ITER 227 NEW BEST:: SOT 138804 SOS 110781 HAS SOPS 110494 HAS SOUS 27830 HAS SOUPS 27802 WITH SCORE 27912.781
AT ITER 228 NEW BEST:: SOT 138829 SOS 110801 HAS SOPS 110514 HAS SOUS 27753 HAS SOUPS 27725 WITH SCORE 27835.801
AT ITER 231 NEW BEST:: SOT 138840 SOS 110838 HAS SOPS 110551 HAS SOUS 27708 HAS SOUPS 27680 WITH SCORE 27790.838
AT ITER 239 NEW BEST:: SOT 138840 SOS 110838 HAS SOPS 110551 HAS SOUS 27357 HAS SOUPS 27329 WITH SCORE 27439.838
AT ITER 249 NEW BEST:: SOT 138840 SOS 110838 HAS SOPS 110688 HAS SOUS 27319 HAS SOUPS 27309 WITH SCORE 27419.838
AT ITER 257 NEW BEST:: SOT 138657 SOS 110655 HAS SOPS 110505 HAS SOUS 26879 HAS SOUPS 26869 WITH SCORE 26979.655
AT ITER 272 NEW BEST:: SOT 138595 SOS 110593 HAS SOPS 110443 HAS SOUS 26816 HAS SOUPS 26806 WITH SCORE 26916.593
AT ITER 275 NEW BEST:: SOT 138593 SOS 110589 HAS SOPS 110439 HAS SOUS 26812 HAS SOUPS 26802 WITH SCORE 26912.589
AT ITER 301 NEW BEST:: SOT 138586 SOS 110582 HAS SOPS 110432 HAS SOUS 26805 HAS SOUPS 26795 WITH SCORE 26905.582
AT ITER 310 NEW BEST:: SOT 138578 SOS 110561 HAS SOPS 110411 HAS SOUS 26784 HAS SOUPS 26774 WITH SCORE 26884.561
AT ITER 347 NEW BEST:: SOT 138574 SOS 110557 HAS SOPS 110407 HAS SOUS 26780 HAS SOUPS 26770 WITH SCORE 26880.557
AT ITER 353 NEW BEST:: SOT 138573 SOS 110556 HAS SOPS 110406 HAS SOUS 26779 HAS SOUPS 26769 WITH SCORE 26879.556
AT ITER 357 NEW BEST:: SOT 138557 SOS 110540 HAS SOPS 110390 HAS SOUS 26715 HAS SOUPS 26705 WITH SCORE 26815.54
AT ITER 367 NEW BEST:: SOT 138542 SOS 110525 HAS SOPS 110375 HAS SOUS 26685 HAS SOUPS 26675 WITH SCORE 26785.525
AT ITER 376 NEW BEST:: SOT 138542 SOS 109370 HAS SOPS 109220 HAS SOUS 26684 HAS SOUPS 26674 WITH SCORE 26783.37
AT ITER 379 NEW BEST:: SOT 138505 SOS 109333 HAS SOPS 109183 HAS SOUS 26609 HAS SOUPS 26599 WITH SCORE 26708.333
AT ITER 386 NEW BEST:: SOT 138505 SOS 109817 HAS SOPS 109667 HAS SOUS 26600 HAS SOUPS 26590 WITH SCORE 26699.817
AT ITER 393 NEW BEST:: SOT 138945 SOS 110284 HAS SOPS 110134 HAS SOUS 26439 HAS SOUPS 26429 WITH SCORE 26539.284
AT ITER 401 NEW BEST:: SOT 138947 SOS 110286 HAS SOPS 110136 HAS SOUS 26317 HAS SOUPS 26307 WITH SCORE 26417.286
AT ITER 404 NEW BEST:: SOT 138931 SOS 100911 HAS SOPS 100761 HAS SOUS 26277 HAS SOUPS 26267 WITH SCORE 26367.911
AT ITER 413 NEW BEST:: SOT 138434 SOS 100414 HAS SOPS 100264 HAS SOUS 25291 HAS SOUPS 25281 WITH SCORE 25381.414
AT ITER 417 NEW BEST:: SOT 138425 SOS 100388 HAS SOPS 100238 HAS SOUS 25265 HAS SOUPS 25255 WITH SCORE 25355.388
AT ITER 428 NEW BEST:: SOT 138350 SOS 100313 HAS SOPS 100163 HAS SOUS 25115 HAS SOUPS 25105 WITH SCORE 25205.313
AT ITER 429 NEW BEST:: SOT 138266 SOS 100229 HAS SOPS 100079 HAS SOUS 25002 HAS SOUPS 24992 WITH SCORE 25092.229
AT ITER 434 NEW BEST:: SOT 138160 SOS 100123 HAS SOPS 99973 HAS SOUS 24993 HAS SOUPS 24983 WITH SCORE 25083.123
AT ITER 435 NEW BEST:: SOT 138147 SOS 84925 HAS SOPS 84775 HAS SOUS 24941 HAS SOUPS 24931 WITH SCORE 25015.925
AT ITER 441 NEW BEST:: SOT 137811 SOS 84589 HAS SOPS 84439 HAS SOUS 24253 HAS SOUPS 24243 WITH SCORE 24327.589
AT ITER 454 NEW BEST:: SOT 137795 SOS 84573 HAS SOPS 84423 HAS SOUS 24237 HAS SOUPS 24227 WITH SCORE 24311.573
AT ITER 486 NEW BEST:: SOT 136274 SOS 83596 HAS SOPS 83596 HAS SOUS 22715 HAS SOUPS 22715 WITH SCORE 22798.596
AT ITER 490 NEW BEST:: SOT 136064 SOS 83386 HAS SOPS 83386 HAS SOUS 22220 HAS SOUPS 22220 WITH SCORE 22303.386
AT ITER 495 NEW BEST:: SOT 135408 SOS 82730 HAS SOPS 82730 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21310.73
AT ITER 501 NEW BEST:: SOT 135405 SOS 82727 HAS SOPS 82727 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21307.727
AT ITER 505 NEW BEST:: SOT 135284 SOS 82434 HAS SOPS 82434 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21151.434
AT ITER 523 NEW BEST:: SOT 135057 SOS 82207 HAS SOPS 82207 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21083.207
AT ITER 525 NEW BEST:: SOT 135058 SOS 82208 HAS SOPS 82208 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21067.208
AT ITER 537 NEW BEST:: SOT 135059 SOS 82637 HAS SOPS 82637 HAS SOUS 20979 HAS SOUPS 20979 WITH SCORE 21061.637
AT ITER 546 NEW BEST:: SOT 135006 SOS 82570 HAS SOPS 82570 HAS SOUS 20965 HAS SOUPS 20965 WITH SCORE 21047.57
AT ITER 552 NEW BEST:: SOT 135006 SOS 82570 HAS SOPS 82570 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20904.57
AT ITER 557 NEW BEST:: SOT 135085 SOS 82724 HAS SOPS 82724 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20886.724
AT ITER 562 NEW BEST:: SOT 135118 SOS 82760 HAS SOPS 82760 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20848.76
AT ITER 577 NEW BEST:: SOT 135117 SOS 82751 HAS SOPS 82751 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20839.751
AT ITER 585 NEW BEST:: SOT 135100 SOS 82734 HAS SOPS 82734 HAS SOUS 20736 HAS SOUPS 20736 WITH SCORE 20818.734
AT ITER 589 NEW BEST:: SOT 134913 SOS 83387 HAS SOPS 83351 HAS SOUS 20749 HAS SOUPS 20731 WITH SCORE 20814.387
AT ITER 620 NEW BEST:: SOT 134536 SOS 83010 HAS SOPS 82974 HAS SOUS 20021 HAS SOUPS 20003 WITH SCORE 20086.01
AT ITER 629 NEW BEST:: SOT 134478 SOS 82952 HAS SOPS 82916 HAS SOUS 19963 HAS SOUPS 19945 WITH SCORE 20027.952
AT ITER 640 NEW BEST:: SOT 134478 SOS 82923 HAS SOPS 82887 HAS SOUS 19963 HAS SOUPS 19945 WITH SCORE 20027.923
AT ITER 642 NEW BEST:: SOT 134302 SOS 82747 HAS SOPS 82711 HAS SOUS 19787 HAS SOUPS 19769 WITH SCORE 19851.747
AT ITER 645 NEW BEST:: SOT 134282 SOS 82727 HAS SOPS 82691 HAS SOUS 19755 HAS SOUPS 19737 WITH SCORE 19819.727
AT ITER 659 NEW BEST:: SOT 134263 SOS 82685 HAS SOPS 82649 HAS SOUS 19713 HAS SOUPS 19695 WITH SCORE 19777.685
AT ITER 693 NEW BEST:: SOT 134265 SOS 82664 HAS SOPS 82628 HAS SOUS 19692 HAS SOUPS 19674 WITH SCORE 19756.664
AT ITER 703 NEW BEST:: SOT 134288 SOS 82692 HAS SOPS 82656 HAS SOUS 19610 HAS SOUPS 19592 WITH SCORE 19674.692
AT ITER 712 NEW BEST:: SOT 134283 SOS 82687 HAS SOPS 82651 HAS SOUS 19605 HAS SOUPS 19587 WITH SCORE 19669.687
AT ITER 738 NEW BEST:: SOT 134283 SOS 82687 HAS SOPS 82651 HAS SOUS 19540 HAS SOUPS 19522 WITH SCORE 19604.687
AT ITER 744 NEW BEST:: SOT 134280 SOS 82683 HAS SOPS 82647 HAS SOUS 19510 HAS SOUPS 19492 WITH SCORE 19574.683
AT ITER 760 NEW BEST:: SOT 134280 SOS 82683 HAS SOPS 82647 HAS SOUS 19498 HAS SOUPS 19480 WITH SCORE 19562.683
AT ITER 761 NEW BEST:: SOT 134280 SOS 82413 HAS SOPS 82389 HAS SOUS 19492 HAS SOUPS 19480 WITH SCORE 19562.413
AT ITER 780 NEW BEST:: SOT 134277 SOS 82412 HAS SOPS 82388 HAS SOUS 19473 HAS SOUPS 19461 WITH SCORE 19543.412
AT ITER 805 NEW BEST:: SOT 134269 SOS 82404 HAS SOPS 82380 HAS SOUS 19465 HAS SOUPS 19453 WITH SCORE 19535.404
AT ITER 826 NEW BEST:: SOT 134269 SOS 82411 HAS SOPS 82387 HAS SOUS 19430 HAS SOUPS 19418 WITH SCORE 19500.411
AT ITER 832 NEW BEST:: SOT 134178 SOS 82320 HAS SOPS 82296 HAS SOUS 19238 HAS SOUPS 19226 WITH SCORE 19308.32
AT ITER 840 NEW BEST:: SOT 134137 SOS 82279 HAS SOPS 82255 HAS SOUS 19197 HAS SOUPS 19185 WITH SCORE 19267.279
AT ITER 850 NEW BEST:: SOT 134245 SOS 82387 HAS SOPS 82363 HAS SOUS 19128 HAS SOUPS 19116 WITH SCORE 19198.387
AT ITER 867 NEW BEST:: SOT 134179 SOS 82321 HAS SOPS 82297 HAS SOUS 19086 HAS SOUPS 19074 WITH SCORE 19156.321
AT ITER 880 NEW BEST:: SOT 134069 SOS 82211 HAS SOPS 82187 HAS SOUS 18976 HAS SOUPS 18964 WITH SCORE 19046.211
AT ITER 887 NEW BEST:: SOT 134012 SOS 82154 HAS SOPS 82130 HAS SOUS 18862 HAS SOUPS 18850 WITH SCORE 18932.154
AT ITER 893 NEW BEST:: SOT 134017 SOS 82124 HAS SOPS 82100 HAS SOUS 18860 HAS SOUPS 18848 WITH SCORE 18930.124
AT ITER 895 NEW BEST:: SOT 134017 SOS 82124 HAS SOPS 82100 HAS SOUS 18639 HAS SOUPS 18627 WITH SCORE 18709.124
AT ITER 903 NEW BEST:: SOT 134013 SOS 82116 HAS SOPS 82092 HAS SOUS 18631 HAS SOUPS 18619 WITH SCORE 18701.116
AT ITER 910 NEW BEST:: SOT 133807 SOS 81906 HAS SOPS 81882 HAS SOUS 18443 HAS SOUPS 18431 WITH SCORE 18512.906
AT ITER 964 NEW BEST:: SOT 133798 SOS 81877 HAS SOPS 81853 HAS SOUS 18414 HAS SOUPS 18402 WITH SCORE 18483.877
AT ITER 966 NEW BEST:: SOT 133685 SOS 81764 HAS SOPS 81740 HAS SOUS 18308 HAS SOUPS 18296 WITH SCORE 18377.764
AT ITER 971 NEW BEST:: SOT 133671 SOS 81750 HAS SOPS 81726 HAS SOUS 17394 HAS SOUPS 17382 WITH SCORE 17463.75
AT ITER 1019 NEW BEST:: SOT 133671 SOS 81749 HAS SOPS 81725 HAS SOUS 17393 HAS SOUPS 17381 WITH SCORE 17462.749
AT ITER 1038 NEW BEST:: SOT 133609 SOS 81687 HAS SOPS 81663 HAS SOUS 17344 HAS SOUPS 17332 WITH SCORE 17413.687
AT ITER 1064 NEW BEST:: SOT 133582 SOS 81660 HAS SOPS 81636 HAS SOUS 17290 HAS SOUPS 17278 WITH SCORE 17359.66
AT ITER 1068 NEW BEST:: SOT 133578 SOS 81652 HAS SOPS 81628 HAS SOUS 17282 HAS SOUPS 17270 WITH SCORE 17351.652
AT ITER 1089 NEW BEST:: SOT 133577 SOS 81651 HAS SOPS 81627 HAS SOUS 17281 HAS SOUPS 17269 WITH SCORE 17350.651
AT ITER 1146 NEW BEST:: SOT 133466 SOS 81347 HAS SOPS 81323 HAS SOUS 16977 HAS SOUPS 16965 WITH SCORE 17046.347
AT ITER 1149 NEW BEST:: SOT 133466 SOS 81073 HAS SOPS 81061 HAS SOUS 16967 HAS SOUPS 16961 WITH SCORE 17042.073
AT ITER 1175 NEW BEST:: SOT 133463 SOS 77764 HAS SOPS 77746 HAS SOUS 16955 HAS SOUPS 16946 WITH SCORE 17023.764
AT ITER 1193 NEW BEST:: SOT 133453 SOS 77754 HAS SOPS 77736 HAS SOUS 16945 HAS SOUPS 16936 WITH SCORE 17013.754
AT ITER 1207 NEW BEST:: SOT 133454 SOS 77755 HAS SOPS 77737 HAS SOUS 16938 HAS SOUPS 16929 WITH SCORE 17006.755
AT ITER 1268 NEW BEST:: SOT 133180 SOS 77481 HAS SOPS 77463 HAS SOUS 16390 HAS SOUPS 16381 WITH SCORE 16458.481
AT ITER 1281 NEW BEST:: SOT 133171 SOS 77401 HAS SOPS 77383 HAS SOUS 16380 HAS SOUPS 16371 WITH SCORE 16448.401
AT ITER 1294 NEW BEST:: SOT 133158 SOS 77388 HAS SOPS 77370 HAS SOUS 16367 HAS SOUPS 16358 WITH SCORE 16435.388
AT ITER 1327 NEW BEST:: SOT 133158 SOS 77384 HAS SOPS 77366 HAS SOUS 16363 HAS SOUPS 16354 WITH SCORE 16431.384
AT ITER 1330 NEW BEST:: SOT 133152 SOS 77282 HAS SOPS 77264 HAS SOUS 16261 HAS SOUPS 16252 WITH SCORE 16329.282
AT ITER 1347 NEW BEST:: SOT 133128 SOS 77258 HAS SOPS 77240 HAS SOUS 16213 HAS SOUPS 16204 WITH SCORE 16281.258
AT ITER 1402 NEW BEST:: SOT 133124 SOS 77253 HAS SOPS 77235 HAS SOUS 16208 HAS SOUPS 16199 WITH SCORE 16276.253
AT ITER 1430 NEW BEST:: SOT 132959 SOS 77080 HAS SOPS 77062 HAS SOUS 16206 HAS SOUPS 16197 WITH SCORE 16274.08
AT ITER 1466 NEW BEST:: SOT 132959 SOS 77074 HAS SOPS 77056 HAS SOUS 16200 HAS SOUPS 16191 WITH SCORE 16268.074
AT ITER 1522 NEW BEST:: SOT 132955 SOS 77070 HAS SOPS 77052 HAS SOUS 16196 HAS SOUPS 16187 WITH SCORE 16264.07
AT ITER 1534 NEW BEST:: SOT 132955 SOS 77063 HAS SOPS 77045 HAS SOUS 16189 HAS SOUPS 16180 WITH SCORE 16257.063
AT ITER 1548 NEW BEST:: SOT 132953 SOS 77061 HAS SOPS 77043 HAS SOUS 16187 HAS SOUPS 16178 WITH SCORE 16255.061
AT ITER 1583 NEW BEST:: SOT 132903 SOS 77054 HAS SOPS 77036 HAS SOUS 16180 HAS SOUPS 16171 WITH SCORE 16248.054
AT ITER 1593 NEW BEST:: SOT 132655 SOS 76806 HAS SOPS 76788 HAS SOUS 15684 HAS SOUPS 15675 WITH SCORE 15751.806
AT ITER 1596 NEW BEST:: SOT 132655 SOS 76816 HAS SOPS 76798 HAS SOUS 15674 HAS SOUPS 15665 WITH SCORE 15741.816
AT ITER 1603 NEW BEST:: SOT 132515 SOS 76676 HAS SOPS 76658 HAS SOUS 15334 HAS SOUPS 15325 WITH SCORE 15401.676
AT ITER 1637 NEW BEST:: SOT 132483 SOS 76606 HAS SOPS 76588 HAS SOUS 15276 HAS SOUPS 15267 WITH SCORE 15343.606
AT ITER 1674 NEW BEST:: SOT 132479 SOS 76602 HAS SOPS 76584 HAS SOUS 15264 HAS SOUPS 15255 WITH SCORE 15331.602
AT ITER 1681 NEW BEST:: SOT 132469 SOS 76605 HAS SOPS 76587 HAS SOUS 15217 HAS SOUPS 15208 WITH SCORE 15284.605
AT ITER 1688 NEW BEST:: SOT 132466 SOS 76588 HAS SOPS 76570 HAS SOUS 15200 HAS SOUPS 15191 WITH SCORE 15267.588
AT ITER 1698 NEW BEST:: SOT 132412 SOS 76529 HAS SOPS 76511 HAS SOUS 15187 HAS SOUPS 15178 WITH SCORE 15254.529
AT ITER 1712 NEW BEST:: SOT 132330 SOS 76447 HAS SOPS 76429 HAS SOUS 14903 HAS SOUPS 14894 WITH SCORE 14970.447
AT ITER 1714 NEW BEST:: SOT 132326 SOS 76349 HAS SOPS 76335 HAS SOUS 14893 HAS SOUPS 14886 WITH SCORE 14962.349
AT ITER 1785 NEW BEST:: SOT 132321 SOS 76359 HAS SOPS 76345 HAS SOUS 14889 HAS SOUPS 14882 WITH SCORE 14958.359
AT ITER 1818 NEW BEST:: SOT 132317 SOS 76355 HAS SOPS 76341 HAS SOUS 14881 HAS SOUPS 14874 WITH SCORE 14950.355
AT ITER 1868 NEW BEST:: SOT 132318 SOS 76344 HAS SOPS 76330 HAS SOUS 14870 HAS SOUPS 14863 WITH SCORE 14939.344
AT ITER 1874 NEW BEST:: SOT 132287 SOS 76313 HAS SOPS 76299 HAS SOUS 14807 HAS SOUPS 14800 WITH SCORE 14876.313
AT ITER 1914 NEW BEST:: SOT 132172 SOS 76198 HAS SOPS 76184 HAS SOUS 14622 HAS SOUPS 14615 WITH SCORE 14691.198
AT ITER 1970 NEW BEST:: SOT 132172 SOS 76199 HAS SOPS 76185 HAS SOUS 14580 HAS SOUPS 14573 WITH SCORE 14649.199
AT ITER 1988 NEW BEST:: SOT 132164 SOS 76183 HAS SOPS 76169 HAS SOUS 14580 HAS SOUPS 14573 WITH SCORE 14649.183
AT ITER 2021 NEW BEST:: SOT 132117 SOS 76136 HAS SOPS 76122 HAS SOUS 14466 HAS SOUPS 14459 WITH SCORE 14535.136
AT ITER 2022 NEW BEST:: SOT 132123 SOS 76114 HAS SOPS 76100 HAS SOUS 14432 HAS SOUPS 14425 WITH SCORE 14501.114
AT ITER 2025 NEW BEST:: SOT 132122 SOS 76113 HAS SOPS 76099 HAS SOUS 14431 HAS SOUPS 14424 WITH SCORE 14500.113
AT ITER 2029 NEW BEST:: SOT 132123 SOS 76114 HAS SOPS 76100 HAS SOUS 14430 HAS SOUPS 14423 WITH SCORE 14499.114
AT ITER 2046 NEW BEST:: SOT 132052 SOS 76039 HAS SOPS 76025 HAS SOUS 14357 HAS SOUPS 14350 WITH SCORE 14426.039
AT ITER 2082 NEW BEST:: SOT 132052 SOS 76049 HAS SOPS 76035 HAS SOUS 14347 HAS SOUPS 14340 WITH SCORE 14416.049
AT ITER 2158 NEW BEST:: SOT 132022 SOS 75980 HAS SOPS 75966 HAS SOUS 14326 HAS SOUPS 14319 WITH SCORE 14394.98
AT ITER 2161 NEW BEST:: SOT 132011 SOS 76010 HAS SOPS 75996 HAS SOUS 14301 HAS SOUPS 14294 WITH SCORE 14370.01
AT ITER 2193 NEW BEST:: SOT 131964 SOS 75979 HAS SOPS 75965 HAS SOUS 14271 HAS SOUPS 14264 WITH SCORE 14339.979
AT ITER 2219 NEW BEST:: SOT 131959 SOS 75974 HAS SOPS 75960 HAS SOUS 14267 HAS SOUPS 14260 WITH SCORE 14335.974
AT ITER 2277 NEW BEST:: SOT 131951 SOS 75966 HAS SOPS 75952 HAS SOUS 14259 HAS SOUPS 14252 WITH SCORE 14327.966
AT ITER 2357 NEW BEST:: SOT 131836 SOS 75675 HAS SOPS 75661 HAS SOUS 14117 HAS SOUPS 14110 WITH SCORE 14185.675
AT ITER 2373 NEW BEST:: SOT 131834 SOS 75673 HAS SOPS 75659 HAS SOUS 14115 HAS SOUPS 14108 WITH SCORE 14183.673
AT ITER 2382 NEW BEST:: SOT 131834 SOS 75668 HAS SOPS 75654 HAS SOUS 14110 HAS SOUPS 14103 WITH SCORE 14178.668
AT ITER 2433 NEW BEST:: SOT 131826 SOS 75655 HAS SOPS 75641 HAS SOUS 14097 HAS SOUPS 14090 WITH SCORE 14165.655
AT ITER 2482 NEW BEST:: SOT 131824 SOS 75649 HAS SOPS 75635 HAS SOUS 14095 HAS SOUPS 14088 WITH SCORE 14163.649
AT ITER 2490 NEW BEST:: SOT 131799 SOS 75624 HAS SOPS 75610 HAS SOUS 14086 HAS SOUPS 14079 WITH SCORE 14154.624
AT ITER 2522 NEW BEST:: SOT 131798 SOS 75621 HAS SOPS 75607 HAS SOUS 14083 HAS SOUPS 14076 WITH SCORE 14151.621
AT ITER 2544 NEW BEST:: SOT 131707 SOS 75528 HAS SOPS 75514 HAS SOUS 13987 HAS SOUPS 13980 WITH SCORE 14055.528
AT ITER 2554 NEW BEST:: SOT 131677 SOS 75498 HAS SOPS 75484 HAS SOUS 13785 HAS SOUPS 13778 WITH SCORE 13853.498
AT ITER 2596 NEW BEST:: SOT 131677 SOS 75313 HAS SOPS 75299 HAS SOUS 13782 HAS SOUPS 13775 WITH SCORE 13850.313
AT ITER 2618 NEW BEST:: SOT 131565 SOS 75201 HAS SOPS 75187 HAS SOUS 13558 HAS SOUPS 13551 WITH SCORE 13626.201
AT ITER 2628 NEW BEST:: SOT 131558 SOS 75166 HAS SOPS 75152 HAS SOUS 13523 HAS SOUPS 13516 WITH SCORE 13591.166
AT ITER 2643 NEW BEST:: SOT 131556 SOS 75158 HAS SOPS 75144 HAS SOUS 13515 HAS SOUPS 13508 WITH SCORE 13583.158
AT ITER 2660 NEW BEST:: SOT 131552 SOS 75154 HAS SOPS 75140 HAS SOUS 13508 HAS SOUPS 13501 WITH SCORE 13576.154
AT ITER 2676 NEW BEST:: SOT 131573 SOS 75209 HAS SOPS 75195 HAS SOUS 13441 HAS SOUPS 13434 WITH SCORE 13509.209
AT ITER 2703 NEW BEST:: SOT 131572 SOS 75208 HAS SOPS 75194 HAS SOUS 13441 HAS SOUPS 13434 WITH SCORE 13509.208
AT ITER 2711 NEW BEST:: SOT 131544 SOS 75179 HAS SOPS 75165 HAS SOUS 13441 HAS SOUPS 13434 WITH SCORE 13509.179
AT ITER 2755 NEW BEST:: SOT 131530 SOS 75165 HAS SOPS 75151 HAS SOUS 13417 HAS SOUPS 13410 WITH SCORE 13485.165
AT ITER 2791 NEW BEST:: SOT 131534 SOS 75159 HAS SOPS 75145 HAS SOUS 13411 HAS SOUPS 13404 WITH SCORE 13479.159
AT ITER 2865 NEW BEST:: SOT 131527 SOS 75162 HAS SOPS 75148 HAS SOUS 13394 HAS SOUPS 13387 WITH SCORE 13462.162
AT ITER 2942 NEW BEST:: SOT 131518 SOS 75153 HAS SOPS 75139 HAS SOUS 13378 HAS SOUPS 13371 WITH SCORE 13446.153
AT ITER 2956 NEW BEST:: SOT 131526 SOS 75173 HAS SOPS 75159 HAS SOUS 13376 HAS SOUPS 13369 WITH SCORE 13444.173
AT ITER 3029 NEW BEST:: SOT 131521 SOS 75167 HAS SOPS 75153 HAS SOUS 13370 HAS SOUPS 13363 WITH SCORE 13438.167
AT ITER 3041 NEW BEST:: SOT 131516 SOS 75162 HAS SOPS 75148 HAS SOUS 13370 HAS SOUPS 13363 WITH SCORE 13438.162
AT ITER 3153 NEW BEST:: SOT 131516 SOS 75162 HAS SOPS 75148 HAS SOUS 13363 HAS SOUPS 13356 WITH SCORE 13431.162
AT ITER 3255 NEW BEST:: SOT 131507 SOS 75153 HAS SOPS 75139 HAS SOUS 13356 HAS SOUPS 13349 WITH SCORE 13424.153
AT ITER 3339 NEW BEST:: SOT 131507 SOS 75166 HAS SOPS 75152 HAS SOUS 13343 HAS SOUPS 13336 WITH SCORE 13411.166
AT ITER 3381 NEW BEST:: SOT 131503 SOS 75162 HAS SOPS 75148 HAS SOUS 13339 HAS SOUPS 13332 WITH SCORE 13407.162
AT ITER 3405 NEW BEST:: SOT 131461 SOS 75120 HAS SOPS 75106 HAS SOUS 13297 HAS SOUPS 13290 WITH SCORE 13365.12
AT ITER 3432 NEW BEST:: SOT 131448 SOS 75107 HAS SOPS 75093 HAS SOUS 13297 HAS SOUPS 13290 WITH SCORE 13365.107
AT ITER 3440 NEW BEST:: SOT 131427 SOS 75086 HAS SOPS 75072 HAS SOUS 13255 HAS SOUPS 13248 WITH SCORE 13323.086
AT ITER 3471 NEW BEST:: SOT 131390 SOS 75049 HAS SOPS 75035 HAS SOUS 13165 HAS SOUPS 13158 WITH SCORE 13233.049
AT ITER 3482 NEW BEST:: SOT 131399 SOS 75048 HAS SOPS 75034 HAS SOUS 13164 HAS SOUPS 13157 WITH SCORE 13232.048
AT ITER 3541 NEW BEST:: SOT 131399 SOS 75045 HAS SOPS 75031 HAS SOUS 13161 HAS SOUPS 13154 WITH SCORE 13229.045
AT ITER 3614 NEW BEST:: SOT 131398 SOS 75044 HAS SOPS 75030 HAS SOUS 13161 HAS SOUPS 13154 WITH SCORE 13229.044
AT ITER 3699 NEW BEST:: SOT 131399 SOS 75015 HAS SOPS 75001 HAS SOUS 13161 HAS SOUPS 13154 WITH SCORE 13229.015
AT ITER 3776 NEW BEST:: SOT 131399 SOS 75013 HAS SOPS 74999 HAS SOUS 13159 HAS SOUPS 13152 WITH SCORE 13227.013
AT ITER 3877 NEW BEST:: SOT 131398 SOS 74982 HAS SOPS 74968 HAS SOUS 13156 HAS SOUPS 13149 WITH SCORE 13223.982
AT ITER 3923 NEW BEST:: SOT 131397 SOS 75093 HAS SOPS 75079 HAS SOUS 13151 HAS SOUPS 13144 WITH SCORE 13219.093
AT ITER 3929 NEW BEST:: SOT 131390 SOS 75071 HAS SOPS 75057 HAS SOUS 13143 HAS SOUPS 13136 WITH SCORE 13211.071
AT ITER 3948 NEW BEST:: SOT 131390 SOS 75071 HAS SOPS 75057 HAS SOUS 13135 HAS SOUPS 13128 WITH SCORE 13203.071
AT ITER 3989 NEW BEST:: SOT 131383 SOS 75057 HAS SOPS 75043 HAS SOUS 13121 HAS SOUPS 13114 WITH SCORE 13189.057
AT ITER 4022 NEW BEST:: SOT 131403 SOS 75077 HAS SOPS 75063 HAS SOUS 13109 HAS SOUPS 13102 WITH SCORE 13177.077
AT ITER 4092 NEW BEST:: SOT 131403 SOS 75077 HAS SOPS 75063 HAS SOUS 13066 HAS SOUPS 13059 WITH SCORE 13134.077
AT ITER 4100 NEW BEST:: SOT 131396 SOS 75071 HAS SOPS 75057 HAS SOUS 13060 HAS SOUPS 13053 WITH SCORE 13128.071
AT ITER 4112 NEW BEST:: SOT 131352 SOS 75026 HAS SOPS 75012 HAS SOUS 13015 HAS SOUPS 13008 WITH SCORE 13083.026
AT ITER 4113 NEW BEST:: SOT 131352 SOS 75028 HAS SOPS 75014 HAS SOUS 12975 HAS SOUPS 12968 WITH SCORE 13043.028
AT ITER 4117 NEW BEST:: SOT 131339 SOS 75015 HAS SOPS 75001 HAS SOUS 12975 HAS SOUPS 12968 WITH SCORE 13043.015
AT ITER 4128 NEW BEST:: SOT 131205 SOS 74878 HAS SOPS 74864 HAS SOUS 12836 HAS SOUPS 12829 WITH SCORE 12903.878
AT ITER 4179 NEW BEST:: SOT 131181 SOS 74836 HAS SOPS 74822 HAS SOUS 12828 HAS SOUPS 12821 WITH SCORE 12895.836
AT ITER 4181 NEW BEST:: SOT 131181 SOS 74831 HAS SOPS 74817 HAS SOUS 12823 HAS SOUPS 12816 WITH SCORE 12890.831
AT ITER 4184 NEW BEST:: SOT 131160 SOS 74810 HAS SOPS 74796 HAS SOUS 12781 HAS SOUPS 12774 WITH SCORE 12848.81
AT ITER 4192 NEW BEST:: SOT 131166 SOS 74732 HAS SOPS 74718 HAS SOUS 12775 HAS SOUPS 12768 WITH SCORE 12842.732
AT ITER 4224 NEW BEST:: SOT 131121 SOS 74687 HAS SOPS 74673 HAS SOUS 12687 HAS SOUPS 12680 WITH SCORE 12754.687
AT ITER 4237 NEW BEST:: SOT 131120 SOS 74686 HAS SOPS 74672 HAS SOUS 12686 HAS SOUPS 12679 WITH SCORE 12753.686
AT ITER 4253 NEW BEST:: SOT 131113 SOS 74679 HAS SOPS 74665 HAS SOUS 12679 HAS SOUPS 12672 WITH SCORE 12746.679
AT ITER 4288 NEW BEST:: SOT 131111 SOS 74677 HAS SOPS 74663 HAS SOUS 12677 HAS SOUPS 12670 WITH SCORE 12744.677
AT ITER 4302 NEW BEST:: SOT 131103 SOS 74669 HAS SOPS 74655 HAS SOUS 12669 HAS SOUPS 12662 WITH SCORE 12736.669
AT ITER 4400 NEW BEST:: SOT 131100 SOS 74666 HAS SOPS 74652 HAS SOUS 12666 HAS SOUPS 12659 WITH SCORE 12733.666
AT ITER 4406 NEW BEST:: SOT 131032 SOS 74595 HAS SOPS 74581 HAS SOUS 12653 HAS SOUPS 12646 WITH SCORE 12720.595
AT ITER 4424 NEW BEST:: SOT 131027 SOS 74627 HAS SOPS 74613 HAS SOUS 12649 HAS SOUPS 12642 WITH SCORE 12716.627
AT ITER 4430 NEW BEST:: SOT 131022 SOS 74622 HAS SOPS 74608 HAS SOUS 12641 HAS SOUPS 12634 WITH SCORE 12708.622
AT ITER 4469 NEW BEST:: SOT 131020 SOS 74619 HAS SOPS 74605 HAS SOUS 12638 HAS SOUPS 12631 WITH SCORE 12705.619
AT ITER 4485 NEW BEST:: SOT 131021 SOS 74607 HAS SOPS 74593 HAS SOUS 12638 HAS SOUPS 12631 WITH SCORE 12705.607
AT ITER 4497 NEW BEST:: SOT 131021 SOS 74549 HAS SOPS 74535 HAS SOUS 12638 HAS SOUPS 12631 WITH SCORE 12705.549
AT ITER 4528 NEW BEST:: SOT 131021 SOS 74543 HAS SOPS 74529 HAS SOUS 12632 HAS SOUPS 12625 WITH SCORE 12699.543
AT ITER 4530 NEW BEST:: SOT 130971 SOS 74493 HAS SOPS 74479 HAS SOUS 12610 HAS SOUPS 12603 WITH SCORE 12677.493
AT ITER 4565 NEW BEST:: SOT 130976 SOS 74492 HAS SOPS 74478 HAS SOUS 12609 HAS SOUPS 12602 WITH SCORE 12676.492
AT ITER 4725 NEW BEST:: SOT 130971 SOS 74487 HAS SOPS 74473 HAS SOUS 12603 HAS SOUPS 12596 WITH SCORE 12670.487
AT ITER 4928 NEW BEST:: SOT 130971 SOS 74487 HAS SOPS 74473 HAS SOUS 12602 HAS SOUPS 12595 WITH SCORE 12669.487
AT ITER 5217 NEW BEST:: SOT 131064 SOS 74580 HAS SOPS 74566 HAS SOUS 12536 HAS SOUPS 12529 WITH SCORE 12603.58
AT ITER 5287 NEW BEST:: SOT 131061 SOS 74571 HAS SOPS 74557 HAS SOUS 12527 HAS SOUPS 12520 WITH SCORE 12594.571
AT ITER 5335 NEW BEST:: SOT 131059 SOS 74569 HAS SOPS 74555 HAS SOUS 12527 HAS SOUPS 12520 WITH SCORE 12594.569
AT ITER 5354 NEW BEST:: SOT 131059 SOS 74771 HAS SOPS 74757 HAS SOUS 12526 HAS SOUPS 12519 WITH SCORE 12593.771
AT ITER 5385 NEW BEST:: SOT 131059 SOS 74120 HAS SOPS 74106 HAS SOUS 12526 HAS SOUPS 12519 WITH SCORE 12593.12
AT ITER 5423 NEW BEST:: SOT 131055 SOS 74112 HAS SOPS 74098 HAS SOUS 12526 HAS SOUPS 12519 WITH SCORE 12593.112
AT ITER 5435 NEW BEST:: SOT 131055 SOS 73967 HAS SOPS 73953 HAS SOUS 12526 HAS SOUPS 12519 WITH SCORE 12592.967
AT ITER 5502 NEW BEST:: SOT 131104 SOS 74016 HAS SOPS 74002 HAS SOUS 12500 HAS SOUPS 12493 WITH SCORE 12567.016
AT ITER 5518 NEW BEST:: SOT 131075 SOS 73987 HAS SOPS 73973 HAS SOUS 12436 HAS SOUPS 12429 WITH SCORE 12502.987
AT ITER 5547 NEW BEST:: SOT 131073 SOS 73986 HAS SOPS 73972 HAS SOUS 12435 HAS SOUPS 12428 WITH SCORE 12501.986
AT ITER 5585 NEW BEST:: SOT 131074 SOS 73984 HAS SOPS 73970 HAS SOUS 12433 HAS SOUPS 12426 WITH SCORE 12499.984
AT ITER 5669 NEW BEST:: SOT 131017 SOS 73924 HAS SOPS 73910 HAS SOUS 12373 HAS SOUPS 12366 WITH SCORE 12439.924
AT ITER 5689 NEW BEST:: SOT 131017 SOS 73922 HAS SOPS 73908 HAS SOUS 12371 HAS SOUPS 12364 WITH SCORE 12437.922
AT ITER 5811 NEW BEST:: SOT 131022 SOS 73936 HAS SOPS 73922 HAS SOUS 12367 HAS SOUPS 12360 WITH SCORE 12433.936
AT ITER 5819 NEW BEST:: SOT 131079 SOS 73993 HAS SOPS 73979 HAS SOUS 12366 HAS SOUPS 12359 WITH SCORE 12432.993
AT ITER 5890 NEW BEST:: SOT 131067 SOS 73991 HAS SOPS 73977 HAS SOUS 12364 HAS SOUPS 12357 WITH SCORE 12430.991
AT ITER 5947 NEW BEST:: SOT 131064 SOS 73988 HAS SOPS 73974 HAS SOUS 12355 HAS SOUPS 12348 WITH SCORE 12421.988
AT ITER 6117 NEW BEST:: SOT 131060 SOS 73984 HAS SOPS 73970 HAS SOUS 12353 HAS SOUPS 12346 WITH SCORE 12419.984
AT ITER 6169 NEW BEST:: SOT 131034 SOS 73958 HAS SOPS 73944 HAS SOUS 12297 HAS SOUPS 12290 WITH SCORE 12363.958
AT ITER 6183 NEW BEST:: SOT 130938 SOS 73862 HAS SOPS 73848 HAS SOUS 12099 HAS SOUPS 12092 WITH SCORE 12165.862
AT ITER 6332 NEW BEST:: SOT 130929 SOS 73840 HAS SOPS 73826 HAS SOUS 12097 HAS SOUPS 12090 WITH SCORE 12163.84
AT ITER 6347 NEW BEST:: SOT 130925 SOS 73836 HAS SOPS 73822 HAS SOUS 12089 HAS SOUPS 12082 WITH SCORE 12155.836
AT ITER 6349 NEW BEST:: SOT 130940 SOS 73851 HAS SOPS 73837 HAS SOUS 12074 HAS SOUPS 12067 WITH SCORE 12140.851
AT ITER 6359 NEW BEST:: SOT 130940 SOS 73851 HAS SOPS 73837 HAS SOUS 12059 HAS SOUPS 12052 WITH SCORE 12125.851
AT ITER 6439 NEW BEST:: SOT 130928 SOS 73839 HAS SOPS 73825 HAS SOUS 12034 HAS SOUPS 12027 WITH SCORE 12100.839
AT ITER 6610 NEW BEST:: SOT 130928 SOS 73837 HAS SOPS 73823 HAS SOUS 12032 HAS SOUPS 12025 WITH SCORE 12098.837
AT ITER 6613 NEW BEST:: SOT 130925 SOS 73871 HAS SOPS 73857 HAS SOUS 12030 HAS SOUPS 12023 WITH SCORE 12096.871
AT ITER 6675 NEW BEST:: SOT 130939 SOS 73887 HAS SOPS 73873 HAS SOUS 11995 HAS SOUPS 11988 WITH SCORE 12061.887
AT ITER 6770 NEW BEST:: SOT 130938 SOS 73886 HAS SOPS 73872 HAS SOUS 11987 HAS SOUPS 11980 WITH SCORE 12053.886
AT ITER 6897 NEW BEST:: SOT 130937 SOS 73885 HAS SOPS 73871 HAS SOUS 11986 HAS SOUPS 11979 WITH SCORE 12052.885
AT ITER 6976 NEW BEST:: SOT 130855 SOS 73801 HAS SOPS 73787 HAS SOUS 11902 HAS SOUPS 11895 WITH SCORE 11968.801
AT ITER 7136 NEW BEST:: SOT 130863 SOS 74006 HAS SOPS 73992 HAS SOUS 11899 HAS SOUPS 11892 WITH SCORE 11966.006
AT ITER 7167 NEW BEST:: SOT 130863 SOS 74004 HAS SOPS 73990 HAS SOUS 11897 HAS SOUPS 11890 WITH SCORE 11964.004
AT ITER 7194 NEW BEST:: SOT 130863 SOS 74002 HAS SOPS 73988 HAS SOUS 11895 HAS SOUPS 11888 WITH SCORE 11962.002
AT ITER 7211 NEW BEST:: SOT 130863 SOS 73998 HAS SOPS 73984 HAS SOUS 11891 HAS SOUPS 11884 WITH SCORE 11957.998
AT ITER 7405 NEW BEST:: SOT 130853 SOS 73988 HAS SOPS 73974 HAS SOUS 11857 HAS SOUPS 11850 WITH SCORE 11923.988
AT ITER 7451 NEW BEST:: SOT 130852 SOS 73987 HAS SOPS 73973 HAS SOUS 11856 HAS SOUPS 11849 WITH SCORE 11922.987
AT ITER 7467 NEW BEST:: SOT 130811 SOS 73945 HAS SOPS 73931 HAS SOUS 11814 HAS SOUPS 11807 WITH SCORE 11880.945
AT ITER 7483 NEW BEST:: SOT 130807 SOS 73941 HAS SOPS 73927 HAS SOUS 11812 HAS SOUPS 11805 WITH SCORE 11878.941
AT ITER 7945 NEW BEST:: SOT 130808 SOS 73912 HAS SOPS 73898 HAS SOUS 11812 HAS SOUPS 11805 WITH SCORE 11878.912
AT ITER 8028 NEW BEST:: SOT 130804 SOS 73908 HAS SOPS 73894 HAS SOUS 11808 HAS SOUPS 11801 WITH SCORE 11874.908
AT ITER 8106 NEW BEST:: SOT 130799 SOS 73899 HAS SOPS 73885 HAS SOUS 11799 HAS SOUPS 11792 WITH SCORE 11865.899
AT ITER 8292 NEW BEST:: SOT 130797 SOS 73897 HAS SOPS 73883 HAS SOUS 11798 HAS SOUPS 11791 WITH SCORE 11864.897
AT ITER 8298 NEW BEST:: SOT 130800 SOS 74157 HAS SOPS 74143 HAS SOUS 11797 HAS SOUPS 11790 WITH SCORE 11864.157
AT ITER 8329 NEW BEST:: SOT 130795 SOS 73917 HAS SOPS 73913 HAS SOUS 11787 HAS SOUPS 11785 WITH SCORE 11858.917
AT ITER 8462 NEW BEST:: SOT 130750 SOS 73872 HAS SOPS 73868 HAS SOUS 11740 HAS SOUPS 11738 WITH SCORE 11811.872
AT ITER 8609 NEW BEST:: SOT 130750 SOS 73870 HAS SOPS 73866 HAS SOUS 11738 HAS SOUPS 11736 WITH SCORE 11809.87
AT ITER 8742 NEW BEST:: SOT 130746 SOS 73868 HAS SOPS 73864 HAS SOUS 11736 HAS SOUPS 11734 WITH SCORE 11807.868
AT ITER 8848 NEW BEST:: SOT 130736 SOS 73858 HAS SOPS 73854 HAS SOUS 11725 HAS SOUPS 11723 WITH SCORE 11796.858
AT ITER 8861 NEW BEST:: SOT 130734 SOS 73856 HAS SOPS 73852 HAS SOUS 11722 HAS SOUPS 11720 WITH SCORE 11793.856
AT ITER 8962 NEW BEST:: SOT 130731 SOS 73673 HAS SOPS 73669 HAS SOUS 11714 HAS SOUPS 11712 WITH SCORE 11785.673
AT ITER 9206 NEW BEST:: SOT 130729 SOS 73671 HAS SOPS 73667 HAS SOUS 11710 HAS SOUPS 11708 WITH SCORE 11781.671
AT ITER 9306 NEW BEST:: SOT 130724 SOS 73666 HAS SOPS 73662 HAS SOUS 11701 HAS SOUPS 11699 WITH SCORE 11772.666
AT ITER 9350 NEW BEST:: SOT 130720 SOS 73662 HAS SOPS 73658 HAS SOUS 11690 HAS SOUPS 11688 WITH SCORE 11761.662
AT ITER 9525 NEW BEST:: SOT 130718 SOS 73660 HAS SOPS 73656 HAS SOUS 11690 HAS SOUPS 11688 WITH SCORE 11761.66
AT ITER 9589 NEW BEST:: SOT 130612 SOS 73554 HAS SOPS 73550 HAS SOUS 11642 HAS SOUPS 11640 WITH SCORE 11713.554
AT ITER 9703 NEW BEST:: SOT 130612 SOS 73554 HAS SOPS 73550 HAS SOUS 11582 HAS SOUPS 11580 WITH SCORE 11653.554
AT ITER 9746 NEW BEST:: SOT 130608 SOS 73550 HAS SOPS 73546 HAS SOUS 11578 HAS SOUPS 11576 WITH SCORE 11649.55
AT ITER 9832 NEW BEST:: SOT 130607 SOS 73548 HAS SOPS 73544 HAS SOUS 11576 HAS SOUPS 11574 WITH SCORE 11647.548
AT ITER 9942 NEW BEST:: SOT 130607 SOS 73555 HAS SOPS 73551 HAS SOUS 11569 HAS SOUPS 11567 WITH SCORE 11640.555

BK_STOP 1679094516065

--------------------
content from stderr:

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 385 Killed ${SMART}/smart ${INPUT_SM}

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="SimpleLoadBal-PT-15"
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 SimpleLoadBal-PT-15, 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 r419-tajo-167905973900528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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