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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 15:36 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.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 15:37 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 115K 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 1678244488620

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-40b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 40b
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: 439 places, 390 transitions, 1303 arcs.
AT ITER 0 NEW BEST:: SOT 108714 SOS 24853 HAS SOPS 24853 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23595.853
AT ITER 9 NEW BEST:: SOT 108688 SOS 24825 HAS SOPS 24825 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23566.825
AT ITER 39 NEW BEST:: SOT 108688 SOS 24825 HAS SOPS 24825 HAS SOUS 23523 HAS SOUPS 23523 WITH SCORE 23547.825
AT ITER 56 NEW BEST:: SOT 108604 SOS 24731 HAS SOPS 24731 HAS SOUS 23429 HAS SOUPS 23429 WITH SCORE 23453.731
AT ITER 74 NEW BEST:: SOT 108595 SOS 24725 HAS SOPS 24725 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23447.725
AT ITER 76 NEW BEST:: SOT 108570 SOS 24753 HAS SOPS 24753 HAS SOUS 23398 HAS SOUPS 23398 WITH SCORE 23422.753
AT ITER 92 NEW BEST:: SOT 108430 SOS 24625 HAS SOPS 24625 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23294.625
AT ITER 141 NEW BEST:: SOT 108353 SOS 24618 HAS SOPS 24618 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23287.618
AT ITER 153 NEW BEST:: SOT 108323 SOS 24608 HAS SOPS 24608 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23273.608
AT ITER 176 NEW BEST:: SOT 108265 SOS 24591 HAS SOPS 24591 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23240.591
AT ITER 236 NEW BEST:: SOT 108202 SOS 24588 HAS SOPS 24588 HAS SOUS 23213 HAS SOUPS 23213 WITH SCORE 23237.588
AT ITER 245 NEW BEST:: SOT 108052 SOS 25276 HAS SOPS 25276 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23120.276
AT ITER 266 NEW BEST:: SOT 108037 SOS 25300 HAS SOPS 25300 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23114.3
AT ITER 281 NEW BEST:: SOT 106230 SOS 29128 HAS SOPS 29128 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21486.128
AT ITER 285 NEW BEST:: SOT 106229 SOS 29106 HAS SOPS 29106 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21485.106
AT ITER 303 NEW BEST:: SOT 106226 SOS 29101 HAS SOPS 29101 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21480.101
AT ITER 309 NEW BEST:: SOT 106160 SOS 29034 HAS SOPS 29034 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21413.034
AT ITER 349 NEW BEST:: SOT 106133 SOS 28976 HAS SOPS 28976 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21370.976
AT ITER 352 NEW BEST:: SOT 106038 SOS 28880 HAS SOPS 28880 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21369.88
AT ITER 392 NEW BEST:: SOT 105794 SOS 28603 HAS SOPS 28603 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21092.603
AT ITER 423 NEW BEST:: SOT 105746 SOS 28555 HAS SOPS 28555 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21044.555
AT ITER 447 NEW BEST:: SOT 105743 SOS 28553 HAS SOPS 28553 HAS SOUS 21013 HAS SOUPS 21013 WITH SCORE 21041.553
AT ITER 451 NEW BEST:: SOT 105687 SOS 28552 HAS SOPS 28552 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21040.552
AT ITER 473 NEW BEST:: SOT 105687 SOS 28482 HAS SOPS 28482 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21040.482
AT ITER 515 NEW BEST:: SOT 105673 SOS 28467 HAS SOPS 28467 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21025.467
AT ITER 571 NEW BEST:: SOT 105673 SOS 28466 HAS SOPS 28466 HAS SOUS 20996 HAS SOUPS 20996 WITH SCORE 21024.466
AT ITER 585 NEW BEST:: SOT 105594 SOS 29038 HAS SOPS 29038 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21022.038
AT ITER 656 NEW BEST:: SOT 105578 SOS 29018 HAS SOPS 29018 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 21002.018
AT ITER 691 NEW BEST:: SOT 102970 SOS 32456 HAS SOPS 32456 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18747.456
AT ITER 705 NEW BEST:: SOT 102955 SOS 32440 HAS SOPS 32440 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18731.44
AT ITER 720 NEW BEST:: SOT 102844 SOS 32338 HAS SOPS 32338 HAS SOUS 18593 HAS SOUPS 18593 WITH SCORE 18625.338
AT ITER 776 NEW BEST:: SOT 101274 SOS 30768 HAS SOPS 30768 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17052.768
AT ITER 818 NEW BEST:: SOT 101263 SOS 30757 HAS SOPS 30757 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17030.757
AT ITER 859 NEW BEST:: SOT 99354 SOS 28907 HAS SOPS 28907 HAS SOUS 15150 HAS SOUPS 15150 WITH SCORE 15178.907
AT ITER 903 NEW BEST:: SOT 99334 SOS 28917 HAS SOPS 28917 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15168.917
AT ITER 920 NEW BEST:: SOT 99334 SOS 28917 HAS SOPS 28917 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15166.917
AT ITER 927 NEW BEST:: SOT 99305 SOS 28888 HAS SOPS 28888 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15137.888
AT ITER 938 NEW BEST:: SOT 99298 SOS 28881 HAS SOPS 28881 HAS SOUS 15102 HAS SOUPS 15102 WITH SCORE 15130.881
AT ITER 960 NEW BEST:: SOT 99260 SOS 28862 HAS SOPS 28862 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15078.862
AT ITER 964 NEW BEST:: SOT 99260 SOS 28862 HAS SOPS 28862 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15077.862
AT ITER 969 NEW BEST:: SOT 99219 SOS 28820 HAS SOPS 28820 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15076.82
AT ITER 1033 NEW BEST:: SOT 99217 SOS 28817 HAS SOPS 28817 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15073.817
AT ITER 1035 NEW BEST:: SOT 99143 SOS 28668 HAS SOPS 28668 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14932.668
AT ITER 1045 NEW BEST:: SOT 98217 SOS 32493 HAS SOPS 32493 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14151.493
AT ITER 1078 NEW BEST:: SOT 98217 SOS 32459 HAS SOPS 32459 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14150.459
AT ITER 1161 NEW BEST:: SOT 98216 SOS 32457 HAS SOPS 32457 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14148.457
AT ITER 1165 NEW BEST:: SOT 98195 SOS 32337 HAS SOPS 32337 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14061.337
AT ITER 1173 NEW BEST:: SOT 98194 SOS 32330 HAS SOPS 32330 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14054.33
AT ITER 1185 NEW BEST:: SOT 98160 SOS 32296 HAS SOPS 32296 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13986.296
AT ITER 1258 NEW BEST:: SOT 98163 SOS 32299 HAS SOPS 32299 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13983.299
AT ITER 1265 NEW BEST:: SOT 98161 SOS 32297 HAS SOPS 32297 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13981.297
AT ITER 1280 NEW BEST:: SOT 98160 SOS 32296 HAS SOPS 32296 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13979.296
AT ITER 1288 NEW BEST:: SOT 98152 SOS 32288 HAS SOPS 32288 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13971.288
AT ITER 1302 NEW BEST:: SOT 98152 SOS 32282 HAS SOPS 32282 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13965.282
AT ITER 1325 NEW BEST:: SOT 98140 SOS 32284 HAS SOPS 32284 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13961.284
AT ITER 1352 NEW BEST:: SOT 98093 SOS 32269 HAS SOPS 32269 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13924.269
AT ITER 1361 NEW BEST:: SOT 98092 SOS 32268 HAS SOPS 32268 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13922.268
AT ITER 1428 NEW BEST:: SOT 98083 SOS 32258 HAS SOPS 32258 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13912.258
AT ITER 1467 NEW BEST:: SOT 98082 SOS 32257 HAS SOPS 32257 HAS SOUS 13878 HAS SOUPS 13878 WITH SCORE 13910.257
AT ITER 1478 NEW BEST:: SOT 98065 SOS 32224 HAS SOPS 32224 HAS SOUS 13878 HAS SOUPS 13878 WITH SCORE 13910.224
AT ITER 1529 NEW BEST:: SOT 98017 SOS 32176 HAS SOPS 32176 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13828.176
AT ITER 1612 NEW BEST:: SOT 98008 SOS 32151 HAS SOPS 32151 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13819.151
AT ITER 1634 NEW BEST:: SOT 98000 SOS 32142 HAS SOPS 32142 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13810.142
AT ITER 1635 NEW BEST:: SOT 97997 SOS 32139 HAS SOPS 32139 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13798.139
AT ITER 1664 NEW BEST:: SOT 97997 SOS 32134 HAS SOPS 32134 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13793.134
AT ITER 1685 NEW BEST:: SOT 97977 SOS 32096 HAS SOPS 32096 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13755.096
AT ITER 1698 NEW BEST:: SOT 97967 SOS 32086 HAS SOPS 32086 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13744.086
AT ITER 1711 NEW BEST:: SOT 97948 SOS 32092 HAS SOPS 32092 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13725.092
AT ITER 1736 NEW BEST:: SOT 97947 SOS 32031 HAS SOPS 32031 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13723.031
AT ITER 1738 NEW BEST:: SOT 97941 SOS 32074 HAS SOPS 32074 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13717.074
AT ITER 1802 NEW BEST:: SOT 97934 SOS 32067 HAS SOPS 32067 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13706.067
AT ITER 1826 NEW BEST:: SOT 97904 SOS 32007 HAS SOPS 32007 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13676.007
AT ITER 1846 NEW BEST:: SOT 97900 SOS 32003 HAS SOPS 32003 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13672.003
AT ITER 1856 NEW BEST:: SOT 97835 SOS 31880 HAS SOPS 31880 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13548.88
AT ITER 1915 NEW BEST:: SOT 97835 SOS 28858 HAS SOPS 28858 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13542.858
AT ITER 1923 NEW BEST:: SOT 97834 SOS 28764 HAS SOPS 28764 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13540.764
AT ITER 1942 NEW BEST:: SOT 97834 SOS 28764 HAS SOPS 28764 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13539.764
AT ITER 1950 NEW BEST:: SOT 97830 SOS 28776 HAS SOPS 28776 HAS SOUS 13503 HAS SOUPS 13503 WITH SCORE 13531.776
AT ITER 1962 NEW BEST:: SOT 97719 SOS 28606 HAS SOPS 28606 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13361.606
AT ITER 1973 NEW BEST:: SOT 97718 SOS 28605 HAS SOPS 28605 HAS SOUS 13315 HAS SOUPS 13315 WITH SCORE 13343.605
AT ITER 1974 NEW BEST:: SOT 97714 SOS 28601 HAS SOPS 28601 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13335.601
AT ITER 1995 NEW BEST:: SOT 97711 SOS 28598 HAS SOPS 28598 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13325.598
AT ITER 2023 NEW BEST:: SOT 97695 SOS 28566 HAS SOPS 28566 HAS SOUS 13265 HAS SOUPS 13265 WITH SCORE 13293.566
AT ITER 2026 NEW BEST:: SOT 97666 SOS 27377 HAS SOPS 27377 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13205.377
AT ITER 2062 NEW BEST:: SOT 97664 SOS 27375 HAS SOPS 27375 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13201.375
AT ITER 2096 NEW BEST:: SOT 97663 SOS 27372 HAS SOPS 27372 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13198.372
AT ITER 2141 NEW BEST:: SOT 97663 SOS 26252 HAS SOPS 26252 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13169.252
AT ITER 2159 NEW BEST:: SOT 97662 SOS 26251 HAS SOPS 26251 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13167.251
AT ITER 2165 NEW BEST:: SOT 97672 SOS 26248 HAS SOPS 26248 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13164.248
AT ITER 2199 NEW BEST:: SOT 97661 SOS 26241 HAS SOPS 26241 HAS SOUS 13131 HAS SOUPS 13131 WITH SCORE 13157.241
AT ITER 2254 NEW BEST:: SOT 97655 SOS 26216 HAS SOPS 26216 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13133.216
AT ITER 2258 NEW BEST:: SOT 97654 SOS 26215 HAS SOPS 26215 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13131.215
AT ITER 2334 NEW BEST:: SOT 97618 SOS 26179 HAS SOPS 26179 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13077.179
AT ITER 2339 NEW BEST:: SOT 97596 SOS 26135 HAS SOPS 26135 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13033.135
AT ITER 2450 NEW BEST:: SOT 97603 SOS 26028 HAS SOPS 26028 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13017.028
AT ITER 2481 NEW BEST:: SOT 97601 SOS 26022 HAS SOPS 26022 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13015.022
AT ITER 2500 NEW BEST:: SOT 97548 SOS 25916 HAS SOPS 25916 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12908.916
AT ITER 2507 NEW BEST:: SOT 97552 SOS 25924 HAS SOPS 25924 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12905.924
AT ITER 2560 NEW BEST:: SOT 97541 SOS 25902 HAS SOPS 25902 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12894.902
AT ITER 2628 NEW BEST:: SOT 97539 SOS 25898 HAS SOPS 25898 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12890.898
AT ITER 2637 NEW BEST:: SOT 97489 SOS 25848 HAS SOPS 25848 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12867.848
AT ITER 2675 NEW BEST:: SOT 97415 SOS 25774 HAS SOPS 25774 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12719.774
AT ITER 2706 NEW BEST:: SOT 97383 SOS 25742 HAS SOPS 25742 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12655.742
AT ITER 2707 NEW BEST:: SOT 97345 SOS 25703 HAS SOPS 25703 HAS SOUS 12591 HAS SOUPS 12591 WITH SCORE 12616.703
AT ITER 2739 NEW BEST:: SOT 97331 SOS 25675 HAS SOPS 25675 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12588.675
AT ITER 2795 NEW BEST:: SOT 97269 SOS 25613 HAS SOPS 25613 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12526.613
AT ITER 2812 NEW BEST:: SOT 97271 SOS 25615 HAS SOPS 25615 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12511.615
AT ITER 2883 NEW BEST:: SOT 97271 SOS 25613 HAS SOPS 25613 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12511.613
AT ITER 2899 NEW BEST:: SOT 97256 SOS 25609 HAS SOPS 25609 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12507.609
AT ITER 2941 NEW BEST:: SOT 97260 SOS 25486 HAS SOPS 25486 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12469.486
AT ITER 3010 NEW BEST:: SOT 97260 SOS 25485 HAS SOPS 25485 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12468.485
AT ITER 3057 NEW BEST:: SOT 97259 SOS 25484 HAS SOPS 25484 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12466.484
AT ITER 3096 NEW BEST:: SOT 97254 SOS 25466 HAS SOPS 25466 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12437.466
AT ITER 3119 NEW BEST:: SOT 97224 SOS 24206 HAS SOPS 24206 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12376.206
AT ITER 3177 NEW BEST:: SOT 97216 SOS 24206 HAS SOPS 24206 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12368.206
AT ITER 3185 NEW BEST:: SOT 97216 SOS 24112 HAS SOPS 24112 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12368.112
AT ITER 3226 NEW BEST:: SOT 97200 SOS 24105 HAS SOPS 24105 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12361.105
AT ITER 3263 NEW BEST:: SOT 97199 SOS 24104 HAS SOPS 24104 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12359.104
AT ITER 3324 NEW BEST:: SOT 97217 SOS 24065 HAS SOPS 24065 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12352.065
AT ITER 3325 NEW BEST:: SOT 97216 SOS 24062 HAS SOPS 24062 HAS SOUS 12325 HAS SOUPS 12325 WITH SCORE 12349.062
AT ITER 3358 NEW BEST:: SOT 97210 SOS 24056 HAS SOPS 24056 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12337.056
AT ITER 3400 NEW BEST:: SOT 97194 SOS 23914 HAS SOPS 23914 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12319.914
AT ITER 3462 NEW BEST:: SOT 97188 SOS 23911 HAS SOPS 23911 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12304.911
AT ITER 3473 NEW BEST:: SOT 97187 SOS 23910 HAS SOPS 23910 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12302.91
AT ITER 3496 NEW BEST:: SOT 97102 SOS 23882 HAS SOPS 23882 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12176.882
AT ITER 3518 NEW BEST:: SOT 97089 SOS 23864 HAS SOPS 23864 HAS SOUS 12132 HAS SOUPS 12132 WITH SCORE 12155.864
AT ITER 3606 NEW BEST:: SOT 97065 SOS 23840 HAS SOPS 23840 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12107.84
AT ITER 3663 NEW BEST:: SOT 97065 SOS 23842 HAS SOPS 23842 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12105.842
AT ITER 3677 NEW BEST:: SOT 97050 SOS 23826 HAS SOPS 23826 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12104.826
AT ITER 3689 NEW BEST:: SOT 97040 SOS 23816 HAS SOPS 23816 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12094.816
AT ITER 3712 NEW BEST:: SOT 97038 SOS 23759 HAS SOPS 23759 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12062.759
AT ITER 3716 NEW BEST:: SOT 96996 SOS 23690 HAS SOPS 23690 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12005.69
AT ITER 3732 NEW BEST:: SOT 96996 SOS 23689 HAS SOPS 23689 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 12004.689
AT ITER 3763 NEW BEST:: SOT 96986 SOS 23679 HAS SOPS 23679 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11984.679
AT ITER 3776 NEW BEST:: SOT 96959 SOS 23626 HAS SOPS 23626 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11956.626
AT ITER 3816 NEW BEST:: SOT 96963 SOS 23631 HAS SOPS 23631 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11953.631
AT ITER 3825 NEW BEST:: SOT 96963 SOS 23626 HAS SOPS 23626 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11951.626
AT ITER 3840 NEW BEST:: SOT 96956 SOS 23619 HAS SOPS 23619 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11937.619
AT ITER 3862 NEW BEST:: SOT 96953 SOS 23616 HAS SOPS 23616 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11934.616
AT ITER 3968 NEW BEST:: SOT 96949 SOS 23580 HAS SOPS 23580 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11926.58
AT ITER 3978 NEW BEST:: SOT 96949 SOS 23595 HAS SOPS 23595 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11920.595
AT ITER 4012 NEW BEST:: SOT 96940 SOS 23587 HAS SOPS 23587 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11912.587
AT ITER 4034 NEW BEST:: SOT 96938 SOS 23585 HAS SOPS 23585 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11908.585
AT ITER 4043 NEW BEST:: SOT 96936 SOS 23583 HAS SOPS 23583 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11905.583
AT ITER 4097 NEW BEST:: SOT 96916 SOS 23543 HAS SOPS 23543 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11885.543
AT ITER 4128 NEW BEST:: SOT 96872 SOS 23488 HAS SOPS 23488 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11830.488
AT ITER 4140 NEW BEST:: SOT 96867 SOS 23478 HAS SOPS 23478 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11826.478
AT ITER 4148 NEW BEST:: SOT 96864 SOS 23474 HAS SOPS 23474 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11822.474
AT ITER 4192 NEW BEST:: SOT 96866 SOS 23472 HAS SOPS 23472 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11820.472
AT ITER 4216 NEW BEST:: SOT 96879 SOS 23511 HAS SOPS 23511 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11753.511
AT ITER 4262 NEW BEST:: SOT 96862 SOS 23468 HAS SOPS 23468 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11739.468
AT ITER 4366 NEW BEST:: SOT 96850 SOS 23456 HAS SOPS 23456 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11731.456
AT ITER 4397 NEW BEST:: SOT 96850 SOS 23454 HAS SOPS 23454 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11729.454
AT ITER 4398 NEW BEST:: SOT 96850 SOS 23511 HAS SOPS 23511 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11728.511
AT ITER 4424 NEW BEST:: SOT 96846 SOS 23511 HAS SOPS 23511 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11725.511
AT ITER 4475 NEW BEST:: SOT 96851 SOS 23509 HAS SOPS 23509 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11723.509
AT ITER 4512 NEW BEST:: SOT 96846 SOS 23503 HAS SOPS 23503 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11717.503
AT ITER 4558 NEW BEST:: SOT 96846 SOS 23499 HAS SOPS 23499 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11713.499
AT ITER 4576 NEW BEST:: SOT 96803 SOS 23473 HAS SOPS 23473 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11650.473
AT ITER 4727 NEW BEST:: SOT 96803 SOS 23468 HAS SOPS 23468 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11645.468
AT ITER 4747 NEW BEST:: SOT 96798 SOS 23455 HAS SOPS 23455 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11632.455
AT ITER 4765 NEW BEST:: SOT 96767 SOS 23424 HAS SOPS 23424 HAS SOUS 11577 HAS SOUPS 11577 WITH SCORE 11600.424
AT ITER 4788 NEW BEST:: SOT 96755 SOS 23412 HAS SOPS 23412 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11588.412
AT ITER 4812 NEW BEST:: SOT 96745 SOS 23391 HAS SOPS 23391 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11567.391
AT ITER 4852 NEW BEST:: SOT 96740 SOS 23386 HAS SOPS 23386 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11562.386
AT ITER 4921 NEW BEST:: SOT 96716 SOS 23326 HAS SOPS 23326 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11558.326
AT ITER 5068 NEW BEST:: SOT 96711 SOS 23316 HAS SOPS 23316 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11543.316
AT ITER 5266 NEW BEST:: SOT 96695 SOS 23338 HAS SOPS 23338 HAS SOUS 11510 HAS SOUPS 11510 WITH SCORE 11533.338
AT ITER 5338 NEW BEST:: SOT 96665 SOS 23307 HAS SOPS 23307 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11502.307
AT ITER 5356 NEW BEST:: SOT 96665 SOS 23306 HAS SOPS 23306 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11501.306
AT ITER 5378 NEW BEST:: SOT 96650 SOS 23291 HAS SOPS 23291 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11486.291
AT ITER 5381 NEW BEST:: SOT 96639 SOS 23286 HAS SOPS 23286 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11474.286
AT ITER 5383 NEW BEST:: SOT 96634 SOS 23309 HAS SOPS 23309 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11469.309
AT ITER 5400 NEW BEST:: SOT 96633 SOS 23307 HAS SOPS 23307 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11467.307
AT ITER 5405 NEW BEST:: SOT 96619 SOS 23293 HAS SOPS 23293 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11467.293
AT ITER 5415 NEW BEST:: SOT 96593 SOS 23215 HAS SOPS 23215 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11441.215
AT ITER 5444 NEW BEST:: SOT 96590 SOS 23194 HAS SOPS 23194 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11435.194
AT ITER 5446 NEW BEST:: SOT 96401 SOS 23333 HAS SOPS 23333 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11251.333
AT ITER 5451 NEW BEST:: SOT 96437 SOS 23326 HAS SOPS 23326 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11244.326
AT ITER 5482 NEW BEST:: SOT 96156 SOS 23770 HAS SOPS 23770 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10989.77
AT ITER 5691 NEW BEST:: SOT 96087 SOS 23701 HAS SOPS 23701 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10847.701
AT ITER 5696 NEW BEST:: SOT 96082 SOS 23675 HAS SOPS 23675 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10847.675
AT ITER 5730 NEW BEST:: SOT 96081 SOS 23674 HAS SOPS 23674 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10845.674
AT ITER 5766 NEW BEST:: SOT 96071 SOS 23673 HAS SOPS 23673 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10835.673
AT ITER 5767 NEW BEST:: SOT 96054 SOS 23689 HAS SOPS 23689 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10830.689
AT ITER 5778 NEW BEST:: SOT 96023 SOS 23651 HAS SOPS 23651 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10792.651
AT ITER 5851 NEW BEST:: SOT 96018 SOS 23646 HAS SOPS 23646 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10782.646
AT ITER 5877 NEW BEST:: SOT 96018 SOS 23646 HAS SOPS 23646 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10763.646
AT ITER 5884 NEW BEST:: SOT 96010 SOS 23609 HAS SOPS 23609 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10736.609
AT ITER 5965 NEW BEST:: SOT 96005 SOS 23604 HAS SOPS 23604 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10731.604
AT ITER 6085 NEW BEST:: SOT 95983 SOS 23561 HAS SOPS 23561 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10688.561
AT ITER 6111 NEW BEST:: SOT 95983 SOS 23022 HAS SOPS 23022 HAS SOUS 10658 HAS SOUPS 10658 WITH SCORE 10681.022
AT ITER 6166 NEW BEST:: SOT 95982 SOS 23021 HAS SOPS 23021 HAS SOUS 10656 HAS SOUPS 10656 WITH SCORE 10679.021
AT ITER 6179 NEW BEST:: SOT 95981 SOS 23020 HAS SOPS 23020 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10678.02
AT ITER 6200 NEW BEST:: SOT 95973 SOS 23012 HAS SOPS 23012 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10662.012
AT ITER 6206 NEW BEST:: SOT 95965 SOS 22994 HAS SOPS 22994 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10650.994
AT ITER 6300 NEW BEST:: SOT 95860 SOS 22884 HAS SOPS 22884 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10540.884
AT ITER 6308 NEW BEST:: SOT 95861 SOS 23030 HAS SOPS 23030 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10537.03
AT ITER 6325 NEW BEST:: SOT 95860 SOS 22963 HAS SOPS 22963 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10534.963
AT ITER 6328 NEW BEST:: SOT 95849 SOS 22941 HAS SOPS 22941 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10534.941
AT ITER 6390 NEW BEST:: SOT 95847 SOS 22873 HAS SOPS 22873 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10530.873
AT ITER 6436 NEW BEST:: SOT 95829 SOS 22855 HAS SOPS 22855 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10506.855
AT ITER 6524 NEW BEST:: SOT 95624 SOS 23156 HAS SOPS 23156 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10357.156
AT ITER 6534 NEW BEST:: SOT 95614 SOS 23146 HAS SOPS 23146 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10323.146
AT ITER 6567 NEW BEST:: SOT 95614 SOS 23144 HAS SOPS 23144 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10321.144
AT ITER 6573 NEW BEST:: SOT 95554 SOS 23019 HAS SOPS 23019 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10264.019
AT ITER 6581 NEW BEST:: SOT 95555 SOS 23017 HAS SOPS 23017 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10262.017
AT ITER 6586 NEW BEST:: SOT 95554 SOS 23016 HAS SOPS 23016 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10260.016
AT ITER 6606 NEW BEST:: SOT 95551 SOS 23013 HAS SOPS 23013 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10254.013
AT ITER 6613 NEW BEST:: SOT 95537 SOS 22999 HAS SOPS 22999 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10225.999
AT ITER 6624 NEW BEST:: SOT 95536 SOS 22954 HAS SOPS 22954 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10223.954
AT ITER 6669 NEW BEST:: SOT 95534 SOS 22952 HAS SOPS 22952 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10219.952
AT ITER 6812 NEW BEST:: SOT 95532 SOS 22946 HAS SOPS 22946 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10213.946
AT ITER 6827 NEW BEST:: SOT 95532 SOS 22942 HAS SOPS 22942 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10213.942
AT ITER 6921 NEW BEST:: SOT 95523 SOS 22953 HAS SOPS 22953 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10206.953
AT ITER 6937 NEW BEST:: SOT 95522 SOS 22952 HAS SOPS 22952 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10204.952
AT ITER 6960 NEW BEST:: SOT 95517 SOS 22947 HAS SOPS 22947 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10194.947
AT ITER 7024 NEW BEST:: SOT 95517 SOS 22937 HAS SOPS 22937 HAS SOUS 10167 HAS SOUPS 10167 WITH SCORE 10189.937
AT ITER 7032 NEW BEST:: SOT 95500 SOS 22920 HAS SOPS 22920 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10178.92
AT ITER 7076 NEW BEST:: SOT 95499 SOS 22919 HAS SOPS 22919 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10176.919
AT ITER 7136 NEW BEST:: SOT 95498 SOS 22918 HAS SOPS 22918 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10175.918
AT ITER 7204 NEW BEST:: SOT 95477 SOS 22897 HAS SOPS 22897 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10175.897
AT ITER 7214 NEW BEST:: SOT 95480 SOS 22897 HAS SOPS 22897 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10173.897
AT ITER 7293 NEW BEST:: SOT 95500 SOS 22917 HAS SOPS 22917 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10166.917
AT ITER 7295 NEW BEST:: SOT 95474 SOS 22891 HAS SOPS 22891 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10105.891
AT ITER 7316 NEW BEST:: SOT 95474 SOS 22889 HAS SOPS 22889 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10104.889
AT ITER 7326 NEW BEST:: SOT 95448 SOS 22863 HAS SOPS 22863 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10052.863
AT ITER 7328 NEW BEST:: SOT 95428 SOS 22856 HAS SOPS 22856 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10045.856
AT ITER 7384 NEW BEST:: SOT 95402 SOS 22806 HAS SOPS 22806 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10036.806
AT ITER 7386 NEW BEST:: SOT 95386 SOS 22790 HAS SOPS 22790 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 10004.79
AT ITER 7393 NEW BEST:: SOT 95376 SOS 22780 HAS SOPS 22780 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9994.78
AT ITER 7420 NEW BEST:: SOT 95360 SOS 22761 HAS SOPS 22761 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9978.761
AT ITER 7582 NEW BEST:: SOT 95350 SOS 22782 HAS SOPS 22782 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9969.782
AT ITER 7636 NEW BEST:: SOT 95347 SOS 22779 HAS SOPS 22779 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9963.779
AT ITER 7672 NEW BEST:: SOT 95346 SOS 22744 HAS SOPS 22744 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9961.744
AT ITER 7692 NEW BEST:: SOT 95332 SOS 22735 HAS SOPS 22735 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9952.735
AT ITER 7734 NEW BEST:: SOT 95330 SOS 22733 HAS SOPS 22733 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9939.733
AT ITER 7792 NEW BEST:: SOT 95322 SOS 22725 HAS SOPS 22725 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9923.725
AT ITER 7793 NEW BEST:: SOT 95320 SOS 22715 HAS SOPS 22715 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9923.715
AT ITER 7861 NEW BEST:: SOT 95318 SOS 22713 HAS SOPS 22713 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9919.713
AT ITER 7870 NEW BEST:: SOT 95314 SOS 22705 HAS SOPS 22705 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9915.705
AT ITER 7886 NEW BEST:: SOT 95298 SOS 22689 HAS SOPS 22689 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9899.689
AT ITER 7889 NEW BEST:: SOT 95298 SOS 22681 HAS SOPS 22681 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9891.681
AT ITER 7894 NEW BEST:: SOT 95298 SOS 22677 HAS SOPS 22677 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9887.677
AT ITER 8002 NEW BEST:: SOT 95273 SOS 22652 HAS SOPS 22652 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9837.652
AT ITER 8017 NEW BEST:: SOT 95272 SOS 22651 HAS SOPS 22651 HAS SOUS 9813 HAS SOUPS 9813 WITH SCORE 9835.651
AT ITER 8073 NEW BEST:: SOT 95271 SOS 22650 HAS SOPS 22650 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9833.65
AT ITER 8146 NEW BEST:: SOT 95222 SOS 22593 HAS SOPS 22593 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9759.593
AT ITER 8265 NEW BEST:: SOT 95219 SOS 22590 HAS SOPS 22590 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9757.59
AT ITER 8484 NEW BEST:: SOT 95217 SOS 22588 HAS SOPS 22588 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9753.588
AT ITER 8488 NEW BEST:: SOT 95217 SOS 22583 HAS SOPS 22583 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9748.583
AT ITER 8623 NEW BEST:: SOT 95202 SOS 22568 HAS SOPS 22568 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9718.568
AT ITER 8672 NEW BEST:: SOT 95180 SOS 22535 HAS SOPS 22535 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9685.535
AT ITER 8691 NEW BEST:: SOT 95180 SOS 21867 HAS SOPS 21867 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9670.867
AT ITER 8717 NEW BEST:: SOT 95176 SOS 21863 HAS SOPS 21863 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9662.863
AT ITER 8720 NEW BEST:: SOT 95173 SOS 21860 HAS SOPS 21860 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9656.86
AT ITER 8771 NEW BEST:: SOT 95139 SOS 21826 HAS SOPS 21826 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9587.826
AT ITER 8843 NEW BEST:: SOT 95085 SOS 21772 HAS SOPS 21772 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9479.772
AT ITER 9033 NEW BEST:: SOT 95077 SOS 21764 HAS SOPS 21764 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9463.764
AT ITER 9081 NEW BEST:: SOT 95036 SOS 22544 HAS SOPS 22544 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9407.544
AT ITER 9109 NEW BEST:: SOT 95011 SOS 22517 HAS SOPS 22517 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9380.517
AT ITER 9139 NEW BEST:: SOT 95010 SOS 22516 HAS SOPS 22516 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9378.516
AT ITER 9191 NEW BEST:: SOT 95009 SOS 22515 HAS SOPS 22515 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9376.515
AT ITER 9214 NEW BEST:: SOT 95005 SOS 22511 HAS SOPS 22511 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9368.511
AT ITER 9240 NEW BEST:: SOT 94996 SOS 22502 HAS SOPS 22502 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9350.502
AT ITER 9345 NEW BEST:: SOT 95002 SOS 22499 HAS SOPS 22499 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9347.499
AT ITER 9346 NEW BEST:: SOT 94993 SOS 22490 HAS SOPS 22490 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9329.49
AT ITER 9408 NEW BEST:: SOT 94988 SOS 22487 HAS SOPS 22487 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9325.487
AT ITER 9442 NEW BEST:: SOT 94982 SOS 22475 HAS SOPS 22475 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9322.475
AT ITER 9457 NEW BEST:: SOT 94989 SOS 22465 HAS SOPS 22465 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9312.465
AT ITER 9494 NEW BEST:: SOT 94983 SOS 22459 HAS SOPS 22459 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9300.459
AT ITER 9650 NEW BEST:: SOT 94983 SOS 22455 HAS SOPS 22455 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9300.455
AT ITER 9657 NEW BEST:: SOT 94978 SOS 22450 HAS SOPS 22450 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9290.45
AT ITER 9658 NEW BEST:: SOT 94961 SOS 22414 HAS SOPS 22414 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9254.414
AT ITER 9712 NEW BEST:: SOT 94945 SOS 22398 HAS SOPS 22398 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9222.398
AT ITER 9744 NEW BEST:: SOT 94944 SOS 22397 HAS SOPS 22397 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9220.397
AT ITER 9746 NEW BEST:: SOT 94946 SOS 22395 HAS SOPS 22395 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9208.395
AT ITER 9767 NEW BEST:: SOT 94942 SOS 22391 HAS SOPS 22391 HAS SOUS 9182 HAS SOUPS 9182 WITH SCORE 9204.391
AT ITER 9770 NEW BEST:: SOT 94942 SOS 22431 HAS SOPS 22431 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9188.431
AT ITER 9835 NEW BEST:: SOT 94926 SOS 22415 HAS SOPS 22415 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9156.415
AT ITER 9874 NEW BEST:: SOT 94921 SOS 22410 HAS SOPS 22410 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9146.41
AT ITER 9919 NEW BEST:: SOT 94934 SOS 22399 HAS SOPS 22399 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9145.399
AT ITER 9925 NEW BEST:: SOT 94917 SOS 22382 HAS SOPS 22382 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9123.382
AT ITER 9930 NEW BEST:: SOT 94917 SOS 22376 HAS SOPS 22376 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9123.376
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4844076 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152980 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-40b"
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-40b, 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-167814472500472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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