Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800192.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-00b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.3K Mar 30 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 66K 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 1589102907636

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 00b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 271 places, 230 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 38091 SOS 8232 HAS SOPS 8232 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.232
AT ITER 22 NEW BEST:: SOT 38092 SOS 8236 HAS SOPS 8236 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7529.236
AT ITER 57 NEW BEST:: SOT 38076 SOS 8222 HAS SOPS 8222 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7513.222
AT ITER 62 NEW BEST:: SOT 38028 SOS 8221 HAS SOPS 8221 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7512.221
AT ITER 65 NEW BEST:: SOT 37988 SOS 8179 HAS SOPS 8179 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7470.179
AT ITER 78 NEW BEST:: SOT 37988 SOS 8176 HAS SOPS 8176 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.176
AT ITER 105 NEW BEST:: SOT 37916 SOS 8092 HAS SOPS 8092 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.092
AT ITER 107 NEW BEST:: SOT 37884 SOS 8081 HAS SOPS 8081 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.081
AT ITER 118 NEW BEST:: SOT 37868 SOS 8048 HAS SOPS 8048 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7367.048
AT ITER 129 NEW BEST:: SOT 37864 SOS 8060 HAS SOPS 8060 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7365.06
AT ITER 159 NEW BEST:: SOT 37856 SOS 8039 HAS SOPS 8039 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.039
AT ITER 182 NEW BEST:: SOT 37853 SOS 8035 HAS SOPS 8035 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7342.035
AT ITER 235 NEW BEST:: SOT 37852 SOS 8034 HAS SOPS 8034 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7341.034
AT ITER 243 NEW BEST:: SOT 37840 SOS 8033 HAS SOPS 8033 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7340.033
AT ITER 264 NEW BEST:: SOT 37766 SOS 7924 HAS SOPS 7924 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7226.924
AT ITER 266 NEW BEST:: SOT 37766 SOS 7896 HAS SOPS 7896 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7198.896
AT ITER 271 NEW BEST:: SOT 37677 SOS 7821 HAS SOPS 7821 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7115.821
AT ITER 304 NEW BEST:: SOT 37677 SOS 7795 HAS SOPS 7795 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7089.795
AT ITER 305 NEW BEST:: SOT 37667 SOS 7779 HAS SOPS 7779 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7072.779
AT ITER 317 NEW BEST:: SOT 37676 SOS 7753 HAS SOPS 7753 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7046.753
AT ITER 327 NEW BEST:: SOT 37676 SOS 7751 HAS SOPS 7751 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7044.751
AT ITER 344 NEW BEST:: SOT 37626 SOS 7701 HAS SOPS 7701 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.701
AT ITER 345 NEW BEST:: SOT 37612 SOS 7675 HAS SOPS 7675 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6965.675
AT ITER 372 NEW BEST:: SOT 37595 SOS 7624 HAS SOPS 7624 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6914.624
AT ITER 377 NEW BEST:: SOT 37595 SOS 7623 HAS SOPS 7623 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6913.623
AT ITER 406 NEW BEST:: SOT 37594 SOS 7621 HAS SOPS 7621 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6911.621
AT ITER 409 NEW BEST:: SOT 37594 SOS 7618 HAS SOPS 7618 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6897.618
AT ITER 427 NEW BEST:: SOT 37594 SOS 7617 HAS SOPS 7617 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6896.617
AT ITER 459 NEW BEST:: SOT 37605 SOS 7615 HAS SOPS 7615 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.615
AT ITER 468 NEW BEST:: SOT 37602 SOS 7591 HAS SOPS 7591 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.591
AT ITER 504 NEW BEST:: SOT 37578 SOS 7561 HAS SOPS 7561 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.561
AT ITER 528 NEW BEST:: SOT 37578 SOS 7560 HAS SOPS 7560 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.56
AT ITER 532 NEW BEST:: SOT 37553 SOS 7548 HAS SOPS 7548 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.548
AT ITER 562 NEW BEST:: SOT 37537 SOS 7585 HAS SOPS 7585 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6797.585
AT ITER 573 NEW BEST:: SOT 37525 SOS 7578 HAS SOPS 7578 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6789.578
AT ITER 588 NEW BEST:: SOT 37511 SOS 7570 HAS SOPS 7570 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6775.57
AT ITER 606 NEW BEST:: SOT 37511 SOS 7570 HAS SOPS 7570 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6752.57
AT ITER 609 NEW BEST:: SOT 37509 SOS 7564 HAS SOPS 7564 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6746.564
AT ITER 658 NEW BEST:: SOT 37485 SOS 7539 HAS SOPS 7539 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6721.539
AT ITER 730 NEW BEST:: SOT 37476 SOS 7536 HAS SOPS 7536 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.536
AT ITER 736 NEW BEST:: SOT 37451 SOS 7485 HAS SOPS 7485 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.485
AT ITER 743 NEW BEST:: SOT 37475 SOS 7529 HAS SOPS 7529 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.529
AT ITER 754 NEW BEST:: SOT 37474 SOS 7522 HAS SOPS 7522 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6653.522
AT ITER 761 NEW BEST:: SOT 37449 SOS 7472 HAS SOPS 7472 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6603.472
AT ITER 773 NEW BEST:: SOT 37452 SOS 7512 HAS SOPS 7512 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6582.512
AT ITER 783 NEW BEST:: SOT 37430 SOS 7544 HAS SOPS 7544 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6571.544
AT ITER 787 NEW BEST:: SOT 37417 SOS 7520 HAS SOPS 7520 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.52
AT ITER 795 NEW BEST:: SOT 37399 SOS 7502 HAS SOPS 7502 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.502
AT ITER 830 NEW BEST:: SOT 37364 SOS 7498 HAS SOPS 7498 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6520.498
AT ITER 852 NEW BEST:: SOT 37385 SOS 7484 HAS SOPS 7484 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.484
AT ITER 853 NEW BEST:: SOT 37346 SOS 7452 HAS SOPS 7452 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6474.452
AT ITER 877 NEW BEST:: SOT 37335 SOS 7440 HAS SOPS 7440 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.44
AT ITER 928 NEW BEST:: SOT 37331 SOS 7430 HAS SOPS 7430 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.43
AT ITER 937 NEW BEST:: SOT 37331 SOS 7429 HAS SOPS 7429 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6451.429
AT ITER 948 NEW BEST:: SOT 37329 SOS 7427 HAS SOPS 7427 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.427
AT ITER 949 NEW BEST:: SOT 37329 SOS 7383 HAS SOPS 7383 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.383
AT ITER 954 NEW BEST:: SOT 37315 SOS 7384 HAS SOPS 7384 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.384
AT ITER 967 NEW BEST:: SOT 37315 SOS 7368 HAS SOPS 7368 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6420.368
AT ITER 976 NEW BEST:: SOT 37315 SOS 7343 HAS SOPS 7343 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6407.343
AT ITER 1005 NEW BEST:: SOT 37311 SOS 7341 HAS SOPS 7341 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.341
AT ITER 1045 NEW BEST:: SOT 37313 SOS 7340 HAS SOPS 7340 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.34
AT ITER 1052 NEW BEST:: SOT 37313 SOS 7333 HAS SOPS 7333 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.333
AT ITER 1070 NEW BEST:: SOT 37306 SOS 7312 HAS SOPS 7312 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.312
AT ITER 1101 NEW BEST:: SOT 37306 SOS 7308 HAS SOPS 7308 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.308
AT ITER 1105 NEW BEST:: SOT 37284 SOS 7286 HAS SOPS 7286 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.286
AT ITER 1108 NEW BEST:: SOT 37293 SOS 7294 HAS SOPS 7294 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6361.294
AT ITER 1110 NEW BEST:: SOT 37292 SOS 7293 HAS SOPS 7293 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6360.293
AT ITER 1126 NEW BEST:: SOT 37294 SOS 7283 HAS SOPS 7283 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.283
AT ITER 1149 NEW BEST:: SOT 37285 SOS 7283 HAS SOPS 7283 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6343.283
AT ITER 1189 NEW BEST:: SOT 37290 SOS 7267 HAS SOPS 7267 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.267
AT ITER 1208 NEW BEST:: SOT 37290 SOS 7253 HAS SOPS 7253 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6313.253
AT ITER 1251 NEW BEST:: SOT 37284 SOS 7242 HAS SOPS 7242 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6302.242
AT ITER 1284 NEW BEST:: SOT 37283 SOS 7241 HAS SOPS 7241 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6301.241
AT ITER 1289 NEW BEST:: SOT 37275 SOS 7232 HAS SOPS 7232 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6292.232
AT ITER 1327 NEW BEST:: SOT 37265 SOS 7205 HAS SOPS 7205 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.205
AT ITER 1350 NEW BEST:: SOT 37254 SOS 7195 HAS SOPS 7195 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.195
AT ITER 1377 NEW BEST:: SOT 37256 SOS 7152 HAS SOPS 7152 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6263.152
AT ITER 1393 NEW BEST:: SOT 37256 SOS 7151 HAS SOPS 7151 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6262.151
AT ITER 1394 NEW BEST:: SOT 37242 SOS 7143 HAS SOPS 7143 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.143
AT ITER 1475 NEW BEST:: SOT 37248 SOS 7139 HAS SOPS 7139 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6250.139
AT ITER 1487 NEW BEST:: SOT 37202 SOS 7084 HAS SOPS 7084 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6195.084
AT ITER 1512 NEW BEST:: SOT 37202 SOS 7082 HAS SOPS 7082 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6193.082
AT ITER 1521 NEW BEST:: SOT 37200 SOS 7040 HAS SOPS 7040 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.04
AT ITER 1568 NEW BEST:: SOT 37200 SOS 7034 HAS SOPS 7034 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6145.034
AT ITER 1658 NEW BEST:: SOT 37192 SOS 7034 HAS SOPS 7034 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.034
AT ITER 1688 NEW BEST:: SOT 37200 SOS 7006 HAS SOPS 7006 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6085.006
AT ITER 1689 NEW BEST:: SOT 37194 SOS 6935 HAS SOPS 6935 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6042.935
AT ITER 1693 NEW BEST:: SOT 37213 SOS 6950 HAS SOPS 6950 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6034.95
AT ITER 1728 NEW BEST:: SOT 37213 SOS 6940 HAS SOPS 6940 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6024.94
AT ITER 1737 NEW BEST:: SOT 37204 SOS 6922 HAS SOPS 6922 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5997.922
AT ITER 1764 NEW BEST:: SOT 37195 SOS 6913 HAS SOPS 6913 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5988.913
AT ITER 1768 NEW BEST:: SOT 37195 SOS 6909 HAS SOPS 6909 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5984.909
AT ITER 1782 NEW BEST:: SOT 37191 SOS 6896 HAS SOPS 6896 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5970.896
AT ITER 1790 NEW BEST:: SOT 37180 SOS 6867 HAS SOPS 6867 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5941.867
AT ITER 1823 NEW BEST:: SOT 37174 SOS 6843 HAS SOPS 6843 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5941.843
AT ITER 1865 NEW BEST:: SOT 37172 SOS 6840 HAS SOPS 6840 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.84
AT ITER 1875 NEW BEST:: SOT 37172 SOS 6833 HAS SOPS 6833 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5931.833
AT ITER 1890 NEW BEST:: SOT 37172 SOS 6829 HAS SOPS 6829 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5927.829
AT ITER 1900 NEW BEST:: SOT 37169 SOS 6821 HAS SOPS 6821 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.821
AT ITER 1924 NEW BEST:: SOT 37159 SOS 6813 HAS SOPS 6813 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5898.813
AT ITER 1981 NEW BEST:: SOT 37142 SOS 6796 HAS SOPS 6796 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.796
AT ITER 2119 NEW BEST:: SOT 37130 SOS 6740 HAS SOPS 6740 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.74
AT ITER 2127 NEW BEST:: SOT 37125 SOS 6766 HAS SOPS 6766 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5848.766
AT ITER 2165 NEW BEST:: SOT 37125 SOS 6764 HAS SOPS 6764 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5846.764
AT ITER 2211 NEW BEST:: SOT 37125 SOS 6763 HAS SOPS 6763 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.763
AT ITER 2234 NEW BEST:: SOT 37125 SOS 6747 HAS SOPS 6747 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.747
AT ITER 2250 NEW BEST:: SOT 37125 SOS 6744 HAS SOPS 6744 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.744
AT ITER 2286 NEW BEST:: SOT 37116 SOS 6744 HAS SOPS 6744 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.744
AT ITER 2300 NEW BEST:: SOT 37116 SOS 6742 HAS SOPS 6742 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.742
AT ITER 2331 NEW BEST:: SOT 37109 SOS 6728 HAS SOPS 6728 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.728
AT ITER 2337 NEW BEST:: SOT 37080 SOS 6741 HAS SOPS 6741 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.741
AT ITER 2349 NEW BEST:: SOT 37079 SOS 6730 HAS SOPS 6730 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5805.73
AT ITER 2354 NEW BEST:: SOT 37095 SOS 6722 HAS SOPS 6722 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.722
AT ITER 2375 NEW BEST:: SOT 37098 SOS 6723 HAS SOPS 6723 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.723
AT ITER 2378 NEW BEST:: SOT 37093 SOS 6721 HAS SOPS 6721 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.721
AT ITER 2393 NEW BEST:: SOT 37093 SOS 6717 HAS SOPS 6717 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.717
AT ITER 2411 NEW BEST:: SOT 37093 SOS 6714 HAS SOPS 6714 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.714
AT ITER 2452 NEW BEST:: SOT 37078 SOS 6699 HAS SOPS 6699 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.699
AT ITER 2470 NEW BEST:: SOT 37077 SOS 6700 HAS SOPS 6700 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.7
AT ITER 2501 NEW BEST:: SOT 37077 SOS 6689 HAS SOPS 6689 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.689
AT ITER 2513 NEW BEST:: SOT 37076 SOS 6687 HAS SOPS 6687 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.687
AT ITER 2548 NEW BEST:: SOT 37052 SOS 6656 HAS SOPS 6656 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5749.656
AT ITER 2554 NEW BEST:: SOT 37048 SOS 6648 HAS SOPS 6648 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.648
AT ITER 2562 NEW BEST:: SOT 37045 SOS 6645 HAS SOPS 6645 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.645
AT ITER 2675 NEW BEST:: SOT 37032 SOS 6632 HAS SOPS 6632 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.632
AT ITER 2677 NEW BEST:: SOT 37031 SOS 6631 HAS SOPS 6631 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.631
AT ITER 2734 NEW BEST:: SOT 37018 SOS 6608 HAS SOPS 6608 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5702.608
AT ITER 2739 NEW BEST:: SOT 37005 SOS 6591 HAS SOPS 6591 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.591
AT ITER 2750 NEW BEST:: SOT 36992 SOS 6588 HAS SOPS 6588 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.588
AT ITER 2789 NEW BEST:: SOT 36989 SOS 6589 HAS SOPS 6589 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.589
AT ITER 2794 NEW BEST:: SOT 36989 SOS 6586 HAS SOPS 6586 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.586
AT ITER 2809 NEW BEST:: SOT 36983 SOS 6573 HAS SOPS 6573 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.573
AT ITER 2813 NEW BEST:: SOT 36973 SOS 6556 HAS SOPS 6556 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5650.556
AT ITER 2822 NEW BEST:: SOT 36955 SOS 6565 HAS SOPS 6565 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.565
AT ITER 2826 NEW BEST:: SOT 36954 SOS 6563 HAS SOPS 6563 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.563
AT ITER 2838 NEW BEST:: SOT 36950 SOS 6559 HAS SOPS 6559 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.559
AT ITER 2890 NEW BEST:: SOT 36960 SOS 6549 HAS SOPS 6549 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.549
AT ITER 2917 NEW BEST:: SOT 36951 SOS 6531 HAS SOPS 6531 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.531
AT ITER 2941 NEW BEST:: SOT 36947 SOS 6527 HAS SOPS 6527 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.527
AT ITER 2968 NEW BEST:: SOT 36919 SOS 6474 HAS SOPS 6474 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.474
AT ITER 2969 NEW BEST:: SOT 36919 SOS 6465 HAS SOPS 6465 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.465
AT ITER 2982 NEW BEST:: SOT 36904 SOS 6442 HAS SOPS 6442 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.442
AT ITER 3005 NEW BEST:: SOT 36903 SOS 6441 HAS SOPS 6441 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.441
AT ITER 3010 NEW BEST:: SOT 36898 SOS 6448 HAS SOPS 6448 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.448
AT ITER 3020 NEW BEST:: SOT 36903 SOS 6447 HAS SOPS 6447 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.447
AT ITER 3029 NEW BEST:: SOT 36898 SOS 6442 HAS SOPS 6442 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.442
AT ITER 3035 NEW BEST:: SOT 36893 SOS 6437 HAS SOPS 6437 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.437
AT ITER 3047 NEW BEST:: SOT 36877 SOS 6414 HAS SOPS 6414 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.414
AT ITER 3062 NEW BEST:: SOT 36862 SOS 6316 HAS SOPS 6316 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.316
AT ITER 3076 NEW BEST:: SOT 36841 SOS 6299 HAS SOPS 6299 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5421.299
AT ITER 3077 NEW BEST:: SOT 36841 SOS 6288 HAS SOPS 6288 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5410.288
AT ITER 3109 NEW BEST:: SOT 36838 SOS 6272 HAS SOPS 6272 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.272
AT ITER 3171 NEW BEST:: SOT 36812 SOS 6213 HAS SOPS 6213 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5393.213
AT ITER 3181 NEW BEST:: SOT 36811 SOS 6211 HAS SOPS 6211 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.211
AT ITER 3229 NEW BEST:: SOT 36808 SOS 6206 HAS SOPS 6206 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.206
AT ITER 3244 NEW BEST:: SOT 36805 SOS 6202 HAS SOPS 6202 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.202
AT ITER 3281 NEW BEST:: SOT 36802 SOS 6196 HAS SOPS 6196 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5377.196
AT ITER 3301 NEW BEST:: SOT 36800 SOS 6192 HAS SOPS 6192 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5373.192
AT ITER 3366 NEW BEST:: SOT 36813 SOS 6192 HAS SOPS 6192 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.192
AT ITER 3372 NEW BEST:: SOT 36812 SOS 6191 HAS SOPS 6191 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5368.191
AT ITER 3375 NEW BEST:: SOT 36786 SOS 6182 HAS SOPS 6182 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.182
AT ITER 3382 NEW BEST:: SOT 36774 SOS 6183 HAS SOPS 6183 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5345.183
AT ITER 3406 NEW BEST:: SOT 36758 SOS 6161 HAS SOPS 6161 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.161
AT ITER 3411 NEW BEST:: SOT 36749 SOS 6143 HAS SOPS 6143 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.143
AT ITER 3417 NEW BEST:: SOT 36723 SOS 6104 HAS SOPS 6104 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.104
AT ITER 3422 NEW BEST:: SOT 36722 SOS 6104 HAS SOPS 6104 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.104
AT ITER 3480 NEW BEST:: SOT 36693 SOS 6066 HAS SOPS 6066 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5243.066
AT ITER 3503 NEW BEST:: SOT 36705 SOS 6060 HAS SOPS 6060 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.06
AT ITER 3523 NEW BEST:: SOT 36700 SOS 6050 HAS SOPS 6050 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.05
AT ITER 3563 NEW BEST:: SOT 36716 SOS 6070 HAS SOPS 6070 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.07
AT ITER 3665 NEW BEST:: SOT 36706 SOS 6060 HAS SOPS 6060 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.06
AT ITER 3778 NEW BEST:: SOT 36706 SOS 6056 HAS SOPS 6056 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.056
AT ITER 3787 NEW BEST:: SOT 36693 SOS 6030 HAS SOPS 6030 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5201.03
AT ITER 3819 NEW BEST:: SOT 36693 SOS 6023 HAS SOPS 6023 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.023
AT ITER 3824 NEW BEST:: SOT 36691 SOS 6021 HAS SOPS 6021 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.021
AT ITER 3852 NEW BEST:: SOT 36690 SOS 6020 HAS SOPS 6020 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.02
AT ITER 3873 NEW BEST:: SOT 36681 SOS 6050 HAS SOPS 6050 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.05
AT ITER 3940 NEW BEST:: SOT 36680 SOS 6048 HAS SOPS 6048 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5186.048
AT ITER 3958 NEW BEST:: SOT 36658 SOS 6043 HAS SOPS 6043 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5186.043
AT ITER 4006 NEW BEST:: SOT 36658 SOS 6056 HAS SOPS 6056 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5183.056
AT ITER 4010 NEW BEST:: SOT 36657 SOS 6053 HAS SOPS 6053 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5183.053
AT ITER 4069 NEW BEST:: SOT 36644 SOS 6044 HAS SOPS 6044 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5174.044
AT ITER 4110 NEW BEST:: SOT 36641 SOS 5994 HAS SOPS 5994 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5148.994
AT ITER 4113 NEW BEST:: SOT 36636 SOS 5997 HAS SOPS 5997 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.997
AT ITER 4135 NEW BEST:: SOT 36630 SOS 5985 HAS SOPS 5985 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5131.985
AT ITER 4144 NEW BEST:: SOT 36619 SOS 5979 HAS SOPS 5979 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5118.979
AT ITER 4145 NEW BEST:: SOT 36668 SOS 5966 HAS SOPS 5966 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5113.966
AT ITER 4161 NEW BEST:: SOT 36657 SOS 5927 HAS SOPS 5927 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5074.927
AT ITER 4223 NEW BEST:: SOT 36661 SOS 5931 HAS SOPS 5931 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5034.931
AT ITER 4316 NEW BEST:: SOT 36661 SOS 5920 HAS SOPS 5920 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5023.92
AT ITER 4340 NEW BEST:: SOT 36651 SOS 5921 HAS SOPS 5921 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.921
AT ITER 4362 NEW BEST:: SOT 36643 SOS 5913 HAS SOPS 5913 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5012.913
AT ITER 4374 NEW BEST:: SOT 36640 SOS 5910 HAS SOPS 5910 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.91
AT ITER 4429 NEW BEST:: SOT 36640 SOS 5909 HAS SOPS 5909 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.909
AT ITER 4443 NEW BEST:: SOT 36640 SOS 5904 HAS SOPS 5904 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.904
AT ITER 4477 NEW BEST:: SOT 36638 SOS 5900 HAS SOPS 5900 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5001.9
AT ITER 4535 NEW BEST:: SOT 36636 SOS 5896 HAS SOPS 5896 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 4999.896
AT ITER 4628 NEW BEST:: SOT 36635 SOS 5895 HAS SOPS 5895 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4998.895
AT ITER 4633 NEW BEST:: SOT 36623 SOS 5883 HAS SOPS 5883 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.883
AT ITER 4659 NEW BEST:: SOT 36623 SOS 5883 HAS SOPS 5883 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4991.883
AT ITER 4697 NEW BEST:: SOT 36627 SOS 5881 HAS SOPS 5881 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.881
AT ITER 4723 NEW BEST:: SOT 36616 SOS 5874 HAS SOPS 5874 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4982.874
AT ITER 4788 NEW BEST:: SOT 36613 SOS 5865 HAS SOPS 5865 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.865
AT ITER 4790 NEW BEST:: SOT 36610 SOS 5861 HAS SOPS 5861 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.861
AT ITER 4840 NEW BEST:: SOT 36610 SOS 5858 HAS SOPS 5858 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.858
AT ITER 4912 NEW BEST:: SOT 36610 SOS 5852 HAS SOPS 5852 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.852
AT ITER 4996 NEW BEST:: SOT 36608 SOS 5847 HAS SOPS 5847 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4958.847
AT ITER 5094 NEW BEST:: SOT 36592 SOS 5831 HAS SOPS 5831 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.831
AT ITER 5185 NEW BEST:: SOT 36587 SOS 5839 HAS SOPS 5839 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.839
AT ITER 5232 NEW BEST:: SOT 36585 SOS 5802 HAS SOPS 5802 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4947.802
AT ITER 5254 NEW BEST:: SOT 36570 SOS 5799 HAS SOPS 5799 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4944.799
AT ITER 5294 NEW BEST:: SOT 36565 SOS 5783 HAS SOPS 5783 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4928.783
AT ITER 5352 NEW BEST:: SOT 36543 SOS 5742 HAS SOPS 5742 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4884.742
AT ITER 5370 NEW BEST:: SOT 36543 SOS 5740 HAS SOPS 5740 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.74
AT ITER 5443 NEW BEST:: SOT 36543 SOS 5737 HAS SOPS 5737 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.737
AT ITER 5513 NEW BEST:: SOT 36543 SOS 5736 HAS SOPS 5736 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.736
AT ITER 5523 NEW BEST:: SOT 36536 SOS 5731 HAS SOPS 5731 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4876.731
AT ITER 5600 NEW BEST:: SOT 36552 SOS 5728 HAS SOPS 5728 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.728
AT ITER 5645 NEW BEST:: SOT 36550 SOS 5724 HAS SOPS 5724 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4869.724
AT ITER 5680 NEW BEST:: SOT 36541 SOS 5715 HAS SOPS 5715 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4852.715
AT ITER 5681 NEW BEST:: SOT 36540 SOS 5713 HAS SOPS 5713 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.713
AT ITER 5716 NEW BEST:: SOT 36531 SOS 5697 HAS SOPS 5697 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.697
AT ITER 5723 NEW BEST:: SOT 36529 SOS 5695 HAS SOPS 5695 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.695
AT ITER 5780 NEW BEST:: SOT 36531 SOS 5695 HAS SOPS 5695 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.695
AT ITER 5822 NEW BEST:: SOT 36531 SOS 5693 HAS SOPS 5693 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4842.693
AT ITER 5834 NEW BEST:: SOT 36531 SOS 5689 HAS SOPS 5689 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.689
AT ITER 5930 NEW BEST:: SOT 36529 SOS 5685 HAS SOPS 5685 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.685
AT ITER 6025 NEW BEST:: SOT 36520 SOS 5659 HAS SOPS 5659 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4808.659
AT ITER 6147 NEW BEST:: SOT 36520 SOS 5659 HAS SOPS 5659 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4807.659
AT ITER 6176 NEW BEST:: SOT 36505 SOS 5642 HAS SOPS 5642 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4797.642
AT ITER 6198 NEW BEST:: SOT 36505 SOS 5633 HAS SOPS 5633 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.633
AT ITER 6271 NEW BEST:: SOT 36501 SOS 5622 HAS SOPS 5622 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.622
AT ITER 6356 NEW BEST:: SOT 36500 SOS 5622 HAS SOPS 5622 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4778.622
AT ITER 6457 NEW BEST:: SOT 36494 SOS 5616 HAS SOPS 5616 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.616
AT ITER 6494 NEW BEST:: SOT 36495 SOS 5610 HAS SOPS 5610 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.61
AT ITER 6535 NEW BEST:: SOT 36495 SOS 5610 HAS SOPS 5610 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4768.61
AT ITER 6565 NEW BEST:: SOT 36484 SOS 5598 HAS SOPS 5598 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.598
AT ITER 6598 NEW BEST:: SOT 36484 SOS 5598 HAS SOPS 5598 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.598
AT ITER 6604 NEW BEST:: SOT 36474 SOS 5578 HAS SOPS 5578 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.578
AT ITER 6720 NEW BEST:: SOT 36470 SOS 5565 HAS SOPS 5565 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.565
AT ITER 6731 NEW BEST:: SOT 36460 SOS 5545 HAS SOPS 5545 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.545
AT ITER 6865 NEW BEST:: SOT 36451 SOS 5549 HAS SOPS 5549 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.549
AT ITER 6867 NEW BEST:: SOT 36451 SOS 5549 HAS SOPS 5549 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.549
AT ITER 6954 NEW BEST:: SOT 36450 SOS 5548 HAS SOPS 5548 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4704.548
AT ITER 6959 NEW BEST:: SOT 36445 SOS 5534 HAS SOPS 5534 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.534
AT ITER 6961 NEW BEST:: SOT 36445 SOS 5532 HAS SOPS 5532 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.532
AT ITER 7008 NEW BEST:: SOT 36443 SOS 5519 HAS SOPS 5519 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.519
AT ITER 7121 NEW BEST:: SOT 36439 SOS 5511 HAS SOPS 5511 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.511
AT ITER 7126 NEW BEST:: SOT 36438 SOS 5506 HAS SOPS 5506 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4664.506
AT ITER 7129 NEW BEST:: SOT 36434 SOS 5489 HAS SOPS 5489 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.489
AT ITER 7145 NEW BEST:: SOT 36435 SOS 5481 HAS SOPS 5481 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.481
AT ITER 7149 NEW BEST:: SOT 36430 SOS 5480 HAS SOPS 5480 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.48
AT ITER 7296 NEW BEST:: SOT 36432 SOS 5476 HAS SOPS 5476 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.476
AT ITER 7299 NEW BEST:: SOT 36425 SOS 5470 HAS SOPS 5470 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.47
AT ITER 7317 NEW BEST:: SOT 36424 SOS 5469 HAS SOPS 5469 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.469
AT ITER 7377 NEW BEST:: SOT 36422 SOS 5465 HAS SOPS 5465 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4627.465
AT ITER 7488 NEW BEST:: SOT 36420 SOS 5459 HAS SOPS 5459 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.459
AT ITER 7544 NEW BEST:: SOT 36422 SOS 5455 HAS SOPS 5455 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4619.455
AT ITER 7689 NEW BEST:: SOT 36418 SOS 5454 HAS SOPS 5454 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4619.454
AT ITER 7707 NEW BEST:: SOT 36413 SOS 5458 HAS SOPS 5458 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4615.458
AT ITER 7715 NEW BEST:: SOT 36413 SOS 5455 HAS SOPS 5455 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.455
AT ITER 7753 NEW BEST:: SOT 36405 SOS 5453 HAS SOPS 5453 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.453
AT ITER 7836 NEW BEST:: SOT 36428 SOS 5452 HAS SOPS 5452 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.452
AT ITER 7942 NEW BEST:: SOT 36425 SOS 5448 HAS SOPS 5448 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.448
AT ITER 8015 NEW BEST:: SOT 36417 SOS 5439 HAS SOPS 5439 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.439
AT ITER 8046 NEW BEST:: SOT 36411 SOS 5445 HAS SOPS 5445 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4580.445
AT ITER 8184 NEW BEST:: SOT 36407 SOS 5440 HAS SOPS 5440 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4575.44
AT ITER 8220 NEW BEST:: SOT 36409 SOS 5439 HAS SOPS 5439 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.439
AT ITER 8233 NEW BEST:: SOT 36408 SOS 5437 HAS SOPS 5437 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.437
AT ITER 8238 NEW BEST:: SOT 36406 SOS 5431 HAS SOPS 5431 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4569.431
AT ITER 8270 NEW BEST:: SOT 36406 SOS 5427 HAS SOPS 5427 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4567.427
AT ITER 8277 NEW BEST:: SOT 36400 SOS 5425 HAS SOPS 5425 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.425
AT ITER 8322 NEW BEST:: SOT 36400 SOS 5423 HAS SOPS 5423 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.423
AT ITER 8346 NEW BEST:: SOT 36395 SOS 5406 HAS SOPS 5406 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4548.406
AT ITER 8360 NEW BEST:: SOT 36389 SOS 5394 HAS SOPS 5394 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.394
AT ITER 8443 NEW BEST:: SOT 36389 SOS 5392 HAS SOPS 5392 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.392
AT ITER 8515 NEW BEST:: SOT 36386 SOS 5392 HAS SOPS 5392 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.392
AT ITER 8642 NEW BEST:: SOT 36408 SOS 5384 HAS SOPS 5384 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4526.384
AT ITER 8677 NEW BEST:: SOT 36408 SOS 5381 HAS SOPS 5381 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.381
AT ITER 8709 NEW BEST:: SOT 36408 SOS 5375 HAS SOPS 5375 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.375
AT ITER 8764 NEW BEST:: SOT 36420 SOS 5357 HAS SOPS 5357 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.357
AT ITER 8768 NEW BEST:: SOT 36420 SOS 5349 HAS SOPS 5349 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.349
AT ITER 8901 NEW BEST:: SOT 36421 SOS 5346 HAS SOPS 5346 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.346
AT ITER 9031 NEW BEST:: SOT 36422 SOS 5345 HAS SOPS 5345 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.345
AT ITER 9137 NEW BEST:: SOT 36421 SOS 5343 HAS SOPS 5343 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.343
AT ITER 9191 NEW BEST:: SOT 36402 SOS 5333 HAS SOPS 5333 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4494.333
AT ITER 9277 NEW BEST:: SOT 36402 SOS 5331 HAS SOPS 5331 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.331
AT ITER 9294 NEW BEST:: SOT 36406 SOS 5339 HAS SOPS 5339 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.339
AT ITER 9327 NEW BEST:: SOT 36405 SOS 5338 HAS SOPS 5338 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4488.338
AT ITER 9498 NEW BEST:: SOT 36404 SOS 5337 HAS SOPS 5337 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.337
AT ITER 9542 NEW BEST:: SOT 36405 SOS 5342 HAS SOPS 5342 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.342
AT ITER 9551 NEW BEST:: SOT 36404 SOS 5341 HAS SOPS 5341 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.341
AT ITER 9595 NEW BEST:: SOT 36402 SOS 5339 HAS SOPS 5339 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4482.339
AT ITER 9688 NEW BEST:: SOT 36401 SOS 5336 HAS SOPS 5336 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.336
AT ITER 9696 NEW BEST:: SOT 36386 SOS 5321 HAS SOPS 5321 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.321
AT ITER 9753 NEW BEST:: SOT 36384 SOS 5303 HAS SOPS 5303 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4448.303
AT ITER 9778 NEW BEST:: SOT 36383 SOS 5302 HAS SOPS 5302 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.302
AT ITER 9872 NEW BEST:: SOT 36375 SOS 5307 HAS SOPS 5307 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.307
AT ITER 9938 NEW BEST:: SOT 36380 SOS 5301 HAS SOPS 5301 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4439.301
STATE_SPACE STATES 24601448127260250298 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 443648755059679246085 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589103095891

--------------------
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="DES-PT-00b"
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 DES-PT-00b, 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 r048-ebro-158902541800192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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