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.r207-tajo-159033469500488.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 ShieldPPPs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.7K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 172K May 12 20:42 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 1590442970027

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

Filename model.pnml
Petri model created: 683 places, 633 transitions, 1746 arcs.
AT ITER 0 NEW BEST:: SOT 230892 SOS 38199 HAS SOPS 38199 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35231.199
AT ITER 24 NEW BEST:: SOT 230892 SOS 38198 HAS SOPS 38198 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35230.198
AT ITER 53 NEW BEST:: SOT 230871 SOS 38206 HAS SOPS 38206 HAS SOUS 35148 HAS SOUPS 35148 WITH SCORE 35186.206
AT ITER 74 NEW BEST:: SOT 230871 SOS 38204 HAS SOPS 38204 HAS SOUS 35145 HAS SOUPS 35145 WITH SCORE 35183.204
AT ITER 92 NEW BEST:: SOT 230871 SOS 38197 HAS SOPS 38197 HAS SOUS 35138 HAS SOUPS 35138 WITH SCORE 35176.197
AT ITER 94 NEW BEST:: SOT 230871 SOS 38196 HAS SOPS 38196 HAS SOUS 35137 HAS SOUPS 35137 WITH SCORE 35175.196
AT ITER 169 NEW BEST:: SOT 230836 SOS 37945 HAS SOPS 37945 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35078.945
AT ITER 175 NEW BEST:: SOT 230836 SOS 37936 HAS SOPS 37936 HAS SOUS 35023 HAS SOUPS 35023 WITH SCORE 35060.936
AT ITER 200 NEW BEST:: SOT 230836 SOS 37936 HAS SOPS 37936 HAS SOUS 34997 HAS SOUPS 34997 WITH SCORE 35034.936
AT ITER 234 NEW BEST:: SOT 230726 SOS 37824 HAS SOPS 37824 HAS SOUS 34884 HAS SOUPS 34884 WITH SCORE 34921.824
AT ITER 276 NEW BEST:: SOT 230694 SOS 37856 HAS SOPS 37856 HAS SOUS 34852 HAS SOUPS 34852 WITH SCORE 34889.856
AT ITER 328 NEW BEST:: SOT 230694 SOS 37834 HAS SOPS 37834 HAS SOUS 34830 HAS SOUPS 34830 WITH SCORE 34867.834
AT ITER 345 NEW BEST:: SOT 230651 SOS 37801 HAS SOPS 37801 HAS SOUS 34787 HAS SOUPS 34787 WITH SCORE 34824.801
AT ITER 353 NEW BEST:: SOT 230650 SOS 37800 HAS SOPS 37800 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34810.8
AT ITER 373 NEW BEST:: SOT 230624 SOS 37748 HAS SOPS 37748 HAS SOUS 34721 HAS SOUPS 34721 WITH SCORE 34758.748
AT ITER 386 NEW BEST:: SOT 230574 SOS 37748 HAS SOPS 37748 HAS SOUS 34671 HAS SOUPS 34671 WITH SCORE 34708.748
AT ITER 435 NEW BEST:: SOT 230545 SOS 37661 HAS SOPS 37661 HAS SOUS 34642 HAS SOUPS 34642 WITH SCORE 34679.661
AT ITER 513 NEW BEST:: SOT 230531 SOS 37647 HAS SOPS 37647 HAS SOUS 34628 HAS SOUPS 34628 WITH SCORE 34665.647
AT ITER 593 NEW BEST:: SOT 230530 SOS 37637 HAS SOPS 37637 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34663.637
AT ITER 617 NEW BEST:: SOT 230464 SOS 37539 HAS SOPS 37539 HAS SOUS 34526 HAS SOUPS 34526 WITH SCORE 34563.539
AT ITER 619 NEW BEST:: SOT 230395 SOS 37493 HAS SOPS 37493 HAS SOUS 34480 HAS SOUPS 34480 WITH SCORE 34517.493
AT ITER 635 NEW BEST:: SOT 230394 SOS 37492 HAS SOPS 37492 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34515.492
AT ITER 670 NEW BEST:: SOT 230401 SOS 37475 HAS SOPS 37475 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34513.475
AT ITER 674 NEW BEST:: SOT 230401 SOS 37464 HAS SOPS 37464 HAS SOUS 34465 HAS SOUPS 34465 WITH SCORE 34502.464
AT ITER 711 NEW BEST:: SOT 230401 SOS 37419 HAS SOPS 37419 HAS SOUS 34462 HAS SOUPS 34462 WITH SCORE 34499.419
AT ITER 717 NEW BEST:: SOT 230373 SOS 37405 HAS SOPS 37405 HAS SOUS 34448 HAS SOUPS 34448 WITH SCORE 34485.405
AT ITER 786 NEW BEST:: SOT 230373 SOS 37397 HAS SOPS 37397 HAS SOUS 34432 HAS SOUPS 34432 WITH SCORE 34469.397
AT ITER 832 NEW BEST:: SOT 230373 SOS 37386 HAS SOPS 37386 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34458.386
AT ITER 876 NEW BEST:: SOT 230352 SOS 37365 HAS SOPS 37365 HAS SOUS 34400 HAS SOUPS 34400 WITH SCORE 34437.365
AT ITER 938 NEW BEST:: SOT 230352 SOS 37365 HAS SOPS 37365 HAS SOUS 34398 HAS SOUPS 34398 WITH SCORE 34435.365
AT ITER 967 NEW BEST:: SOT 230323 SOS 37427 HAS SOPS 37427 HAS SOUS 34369 HAS SOUPS 34369 WITH SCORE 34406.427
AT ITER 968 NEW BEST:: SOT 230289 SOS 37426 HAS SOPS 37426 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34405.426
AT ITER 993 NEW BEST:: SOT 230250 SOS 37219 HAS SOPS 37219 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34315.219
AT ITER 1009 NEW BEST:: SOT 230250 SOS 37219 HAS SOPS 37219 HAS SOUS 34269 HAS SOUPS 34269 WITH SCORE 34306.219
AT ITER 1112 NEW BEST:: SOT 230232 SOS 37196 HAS SOPS 37196 HAS SOUS 34247 HAS SOUPS 34247 WITH SCORE 34284.196
AT ITER 1133 NEW BEST:: SOT 230222 SOS 37186 HAS SOPS 37186 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34274.186
AT ITER 1149 NEW BEST:: SOT 230222 SOS 37185 HAS SOPS 37185 HAS SOUS 34236 HAS SOUPS 34236 WITH SCORE 34273.185
AT ITER 1198 NEW BEST:: SOT 230214 SOS 37169 HAS SOPS 37169 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34265.169
AT ITER 1232 NEW BEST:: SOT 230210 SOS 37162 HAS SOPS 37162 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34264.162
AT ITER 1294 NEW BEST:: SOT 230210 SOS 37162 HAS SOPS 37162 HAS SOUS 34224 HAS SOUPS 34224 WITH SCORE 34261.162
AT ITER 1317 NEW BEST:: SOT 230161 SOS 37144 HAS SOPS 37144 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34242.144
AT ITER 1383 NEW BEST:: SOT 230160 SOS 37143 HAS SOPS 37143 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34242.143
AT ITER 1414 NEW BEST:: SOT 230160 SOS 37131 HAS SOPS 37131 HAS SOUS 34193 HAS SOUPS 34193 WITH SCORE 34230.131
AT ITER 1420 NEW BEST:: SOT 230160 SOS 37127 HAS SOPS 37127 HAS SOUS 34189 HAS SOUPS 34189 WITH SCORE 34226.127
AT ITER 1424 NEW BEST:: SOT 230160 SOS 37127 HAS SOPS 37127 HAS SOUS 34188 HAS SOUPS 34188 WITH SCORE 34225.127
AT ITER 1500 NEW BEST:: SOT 230167 SOS 37074 HAS SOPS 37074 HAS SOUS 34179 HAS SOUPS 34179 WITH SCORE 34216.074
AT ITER 1583 NEW BEST:: SOT 230077 SOS 36992 HAS SOPS 36992 HAS SOUS 34097 HAS SOUPS 34097 WITH SCORE 34133.992
AT ITER 1615 NEW BEST:: SOT 230077 SOS 36976 HAS SOPS 36976 HAS SOUS 34081 HAS SOUPS 34081 WITH SCORE 34117.976
AT ITER 1643 NEW BEST:: SOT 230053 SOS 36952 HAS SOPS 36952 HAS SOUS 34057 HAS SOUPS 34057 WITH SCORE 34093.952
AT ITER 1649 NEW BEST:: SOT 230053 SOS 36927 HAS SOPS 36927 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34068.927
AT ITER 1714 NEW BEST:: SOT 230081 SOS 36947 HAS SOPS 36947 HAS SOUS 34023 HAS SOUPS 34023 WITH SCORE 34059.947
AT ITER 1743 NEW BEST:: SOT 230088 SOS 36931 HAS SOPS 36931 HAS SOUS 34007 HAS SOUPS 34007 WITH SCORE 34043.931
AT ITER 1762 NEW BEST:: SOT 229997 SOS 36869 HAS SOPS 36869 HAS SOUS 33945 HAS SOUPS 33945 WITH SCORE 33981.869
AT ITER 1766 NEW BEST:: SOT 229966 SOS 36639 HAS SOPS 36639 HAS SOUS 33872 HAS SOUPS 33872 WITH SCORE 33908.639
AT ITER 1806 NEW BEST:: SOT 229963 SOS 36636 HAS SOPS 36636 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33905.636
AT ITER 1846 NEW BEST:: SOT 229931 SOS 36602 HAS SOPS 36602 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33872.602
AT ITER 1856 NEW BEST:: SOT 229970 SOS 36596 HAS SOPS 36596 HAS SOUS 33830 HAS SOUPS 33830 WITH SCORE 33866.596
AT ITER 1870 NEW BEST:: SOT 229970 SOS 36570 HAS SOPS 36570 HAS SOUS 33815 HAS SOUPS 33815 WITH SCORE 33851.57
AT ITER 1903 NEW BEST:: SOT 229972 SOS 36569 HAS SOPS 36569 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33850.569
AT ITER 1956 NEW BEST:: SOT 229972 SOS 36569 HAS SOPS 36569 HAS SOUS 33813 HAS SOUPS 33813 WITH SCORE 33849.569
AT ITER 1969 NEW BEST:: SOT 229962 SOS 36560 HAS SOPS 36560 HAS SOUS 33804 HAS SOUPS 33804 WITH SCORE 33840.56
AT ITER 1982 NEW BEST:: SOT 229889 SOS 36497 HAS SOPS 36497 HAS SOUS 33742 HAS SOUPS 33742 WITH SCORE 33778.497
AT ITER 1985 NEW BEST:: SOT 229888 SOS 36471 HAS SOPS 36471 HAS SOUS 33731 HAS SOUPS 33731 WITH SCORE 33767.471
AT ITER 1987 NEW BEST:: SOT 229888 SOS 36464 HAS SOPS 36464 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33760.464
AT ITER 1988 NEW BEST:: SOT 229881 SOS 36437 HAS SOPS 36437 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33733.437
AT ITER 2032 NEW BEST:: SOT 229801 SOS 36377 HAS SOPS 36377 HAS SOUS 33637 HAS SOUPS 33637 WITH SCORE 33673.377
AT ITER 2081 NEW BEST:: SOT 229786 SOS 36347 HAS SOPS 36347 HAS SOUS 33607 HAS SOUPS 33607 WITH SCORE 33643.347
AT ITER 2085 NEW BEST:: SOT 229754 SOS 36318 HAS SOPS 36318 HAS SOUS 33575 HAS SOUPS 33575 WITH SCORE 33611.318
AT ITER 2090 NEW BEST:: SOT 229754 SOS 36317 HAS SOPS 36317 HAS SOUS 33574 HAS SOUPS 33574 WITH SCORE 33610.317
AT ITER 2126 NEW BEST:: SOT 229756 SOS 36309 HAS SOPS 36309 HAS SOUS 33572 HAS SOUPS 33572 WITH SCORE 33608.309
AT ITER 2127 NEW BEST:: SOT 229728 SOS 36235 HAS SOPS 36235 HAS SOUS 33457 HAS SOUPS 33457 WITH SCORE 33493.235
AT ITER 2129 NEW BEST:: SOT 229728 SOS 36225 HAS SOPS 36225 HAS SOUS 33447 HAS SOUPS 33447 WITH SCORE 33483.225
AT ITER 2157 NEW BEST:: SOT 229716 SOS 36181 HAS SOPS 36181 HAS SOUS 33435 HAS SOUPS 33435 WITH SCORE 33471.181
AT ITER 2177 NEW BEST:: SOT 229660 SOS 36194 HAS SOPS 36194 HAS SOUS 33434 HAS SOUPS 33434 WITH SCORE 33470.194
AT ITER 2178 NEW BEST:: SOT 229649 SOS 36161 HAS SOPS 36161 HAS SOUS 33401 HAS SOUPS 33401 WITH SCORE 33437.161
AT ITER 2184 NEW BEST:: SOT 229649 SOS 36153 HAS SOPS 36153 HAS SOUS 33393 HAS SOUPS 33393 WITH SCORE 33429.153
AT ITER 2186 NEW BEST:: SOT 229649 SOS 36153 HAS SOPS 36153 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33420.153
AT ITER 2267 NEW BEST:: SOT 229649 SOS 36145 HAS SOPS 36145 HAS SOUS 33381 HAS SOUPS 33381 WITH SCORE 33417.145
AT ITER 2283 NEW BEST:: SOT 229649 SOS 36142 HAS SOPS 36142 HAS SOUS 33375 HAS SOUPS 33375 WITH SCORE 33411.142
AT ITER 2290 NEW BEST:: SOT 229643 SOS 36150 HAS SOPS 36150 HAS SOUS 33360 HAS SOUPS 33360 WITH SCORE 33396.15
AT ITER 2291 NEW BEST:: SOT 229643 SOS 36149 HAS SOPS 36149 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33376.149
AT ITER 2367 NEW BEST:: SOT 229643 SOS 36165 HAS SOPS 36165 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33365.165
AT ITER 2383 NEW BEST:: SOT 229617 SOS 36074 HAS SOPS 36074 HAS SOUS 33239 HAS SOUPS 33239 WITH SCORE 33275.074
AT ITER 2385 NEW BEST:: SOT 229623 SOS 36070 HAS SOPS 36070 HAS SOUS 33235 HAS SOUPS 33235 WITH SCORE 33271.07
AT ITER 2430 NEW BEST:: SOT 229628 SOS 36075 HAS SOPS 36075 HAS SOUS 33193 HAS SOUPS 33193 WITH SCORE 33229.075
AT ITER 2439 NEW BEST:: SOT 229613 SOS 36060 HAS SOPS 36060 HAS SOUS 33163 HAS SOUPS 33163 WITH SCORE 33199.06
AT ITER 2442 NEW BEST:: SOT 229613 SOS 36059 HAS SOPS 36059 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33198.059
AT ITER 2485 NEW BEST:: SOT 229623 SOS 36067 HAS SOPS 36067 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33186.067
AT ITER 2502 NEW BEST:: SOT 229608 SOS 36061 HAS SOPS 36061 HAS SOUS 33129 HAS SOUPS 33129 WITH SCORE 33165.061
AT ITER 2525 NEW BEST:: SOT 229593 SOS 36016 HAS SOPS 36016 HAS SOUS 33084 HAS SOUPS 33084 WITH SCORE 33120.016
AT ITER 2528 NEW BEST:: SOT 229521 SOS 36034 HAS SOPS 36034 HAS SOUS 33053 HAS SOUPS 33053 WITH SCORE 33089.034
AT ITER 2552 NEW BEST:: SOT 229577 SOS 35890 HAS SOPS 35890 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33071.89
AT ITER 2608 NEW BEST:: SOT 229546 SOS 35885 HAS SOPS 35885 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33066.885
AT ITER 2620 NEW BEST:: SOT 229532 SOS 35827 HAS SOPS 35827 HAS SOUS 32995 HAS SOUPS 32995 WITH SCORE 33030.827
AT ITER 2648 NEW BEST:: SOT 229530 SOS 35813 HAS SOPS 35813 HAS SOUS 32990 HAS SOUPS 32990 WITH SCORE 33025.813
AT ITER 2716 NEW BEST:: SOT 229528 SOS 35809 HAS SOPS 35809 HAS SOUS 32986 HAS SOUPS 32986 WITH SCORE 33021.809
AT ITER 2757 NEW BEST:: SOT 229514 SOS 35588 HAS SOPS 35588 HAS SOUS 32896 HAS SOUPS 32896 WITH SCORE 32931.588
AT ITER 2763 NEW BEST:: SOT 229514 SOS 35588 HAS SOPS 35588 HAS SOUS 32890 HAS SOUPS 32890 WITH SCORE 32925.588
AT ITER 2769 NEW BEST:: SOT 229497 SOS 35553 HAS SOPS 35553 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32877.553
AT ITER 2804 NEW BEST:: SOT 229521 SOS 35574 HAS SOPS 35574 HAS SOUS 32838 HAS SOUPS 32838 WITH SCORE 32873.574
AT ITER 2809 NEW BEST:: SOT 229540 SOS 35619 HAS SOPS 35619 HAS SOUS 32830 HAS SOUPS 32830 WITH SCORE 32865.619
AT ITER 2817 NEW BEST:: SOT 229540 SOS 35592 HAS SOPS 35592 HAS SOUS 32830 HAS SOUPS 32830 WITH SCORE 32865.592
AT ITER 2823 NEW BEST:: SOT 229491 SOS 35562 HAS SOPS 35562 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32835.562
AT ITER 2832 NEW BEST:: SOT 229421 SOS 35507 HAS SOPS 35507 HAS SOUS 32745 HAS SOUPS 32745 WITH SCORE 32780.507
AT ITER 2855 NEW BEST:: SOT 229445 SOS 35563 HAS SOPS 35563 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32749.563
AT ITER 2862 NEW BEST:: SOT 229430 SOS 35542 HAS SOPS 35542 HAS SOUS 32687 HAS SOUPS 32687 WITH SCORE 32722.542
AT ITER 2927 NEW BEST:: SOT 229443 SOS 35519 HAS SOPS 35519 HAS SOUS 32681 HAS SOUPS 32681 WITH SCORE 32716.519
AT ITER 2939 NEW BEST:: SOT 229442 SOS 35533 HAS SOPS 35533 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32701.533
AT ITER 2976 NEW BEST:: SOT 229442 SOS 35533 HAS SOPS 35533 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32695.533
AT ITER 2989 NEW BEST:: SOT 229442 SOS 35518 HAS SOPS 35518 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32695.518
AT ITER 2991 NEW BEST:: SOT 229442 SOS 35493 HAS SOPS 35493 HAS SOUS 32633 HAS SOUPS 32633 WITH SCORE 32668.493
AT ITER 3050 NEW BEST:: SOT 229451 SOS 35324 HAS SOPS 35324 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32605.324
AT ITER 3058 NEW BEST:: SOT 229422 SOS 35295 HAS SOPS 35295 HAS SOUS 32541 HAS SOUPS 32541 WITH SCORE 32576.295
AT ITER 3072 NEW BEST:: SOT 229392 SOS 35275 HAS SOPS 35275 HAS SOUS 32505 HAS SOUPS 32505 WITH SCORE 32540.275
AT ITER 3087 NEW BEST:: SOT 229378 SOS 35275 HAS SOPS 35275 HAS SOUS 32491 HAS SOUPS 32491 WITH SCORE 32526.275
AT ITER 3139 NEW BEST:: SOT 229346 SOS 35249 HAS SOPS 35249 HAS SOUS 32465 HAS SOUPS 32465 WITH SCORE 32500.249
AT ITER 3172 NEW BEST:: SOT 229353 SOS 35242 HAS SOPS 35242 HAS SOUS 32465 HAS SOUPS 32465 WITH SCORE 32500.242
AT ITER 3226 NEW BEST:: SOT 229379 SOS 35237 HAS SOPS 35237 HAS SOUS 32395 HAS SOUPS 32395 WITH SCORE 32430.237
AT ITER 3242 NEW BEST:: SOT 229363 SOS 35189 HAS SOPS 35189 HAS SOUS 32347 HAS SOUPS 32347 WITH SCORE 32382.189
AT ITER 3287 NEW BEST:: SOT 229360 SOS 35183 HAS SOPS 35183 HAS SOUS 32344 HAS SOUPS 32344 WITH SCORE 32379.183
AT ITER 3293 NEW BEST:: SOT 229268 SOS 35091 HAS SOPS 35091 HAS SOUS 32252 HAS SOUPS 32252 WITH SCORE 32287.091
AT ITER 3328 NEW BEST:: SOT 229264 SOS 35087 HAS SOPS 35087 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32279.087
AT ITER 3366 NEW BEST:: SOT 229263 SOS 35086 HAS SOPS 35086 HAS SOUS 32243 HAS SOUPS 32243 WITH SCORE 32278.086
AT ITER 3384 NEW BEST:: SOT 229262 SOS 35107 HAS SOPS 35107 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32277.107
AT ITER 3453 NEW BEST:: SOT 229262 SOS 34960 HAS SOPS 34960 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32276.96
AT ITER 3538 NEW BEST:: SOT 229229 SOS 34891 HAS SOPS 34891 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32227.891
AT ITER 3641 NEW BEST:: SOT 229218 SOS 34869 HAS SOPS 34869 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32205.869
AT ITER 3668 NEW BEST:: SOT 229211 SOS 34857 HAS SOPS 34857 HAS SOUS 32164 HAS SOUPS 32164 WITH SCORE 32198.857
AT ITER 3722 NEW BEST:: SOT 229175 SOS 34856 HAS SOPS 34856 HAS SOUS 32163 HAS SOUPS 32163 WITH SCORE 32197.856
AT ITER 3774 NEW BEST:: SOT 229097 SOS 34563 HAS SOPS 34563 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32077.563
AT ITER 3786 NEW BEST:: SOT 229055 SOS 34607 HAS SOPS 34607 HAS SOUS 32037 HAS SOUPS 32037 WITH SCORE 32071.607
AT ITER 3792 NEW BEST:: SOT 229044 SOS 34585 HAS SOPS 34585 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32049.585
AT ITER 3849 NEW BEST:: SOT 229008 SOS 34571 HAS SOPS 34571 HAS SOUS 32001 HAS SOUPS 32001 WITH SCORE 32035.571
AT ITER 3887 NEW BEST:: SOT 229003 SOS 34568 HAS SOPS 34568 HAS SOUS 31998 HAS SOUPS 31998 WITH SCORE 32032.568
AT ITER 3905 NEW BEST:: SOT 229001 SOS 34552 HAS SOPS 34552 HAS SOUS 31992 HAS SOUPS 31992 WITH SCORE 32026.552
AT ITER 3913 NEW BEST:: SOT 228969 SOS 34514 HAS SOPS 34514 HAS SOUS 31976 HAS SOUPS 31976 WITH SCORE 32010.514
AT ITER 3936 NEW BEST:: SOT 228969 SOS 34513 HAS SOPS 34513 HAS SOUS 31975 HAS SOUPS 31975 WITH SCORE 32009.513
AT ITER 3982 NEW BEST:: SOT 228970 SOS 34493 HAS SOPS 34493 HAS SOUS 31975 HAS SOUPS 31975 WITH SCORE 32009.493
AT ITER 4045 NEW BEST:: SOT 228967 SOS 34487 HAS SOPS 34487 HAS SOUS 31969 HAS SOUPS 31969 WITH SCORE 32003.487
AT ITER 4085 NEW BEST:: SOT 228967 SOS 34475 HAS SOPS 34475 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 31995.475
AT ITER 4136 NEW BEST:: SOT 228956 SOS 34463 HAS SOPS 34463 HAS SOUS 31960 HAS SOUPS 31960 WITH SCORE 31994.463
AT ITER 4189 NEW BEST:: SOT 228956 SOS 34462 HAS SOPS 34462 HAS SOUS 31959 HAS SOUPS 31959 WITH SCORE 31993.462
AT ITER 4248 NEW BEST:: SOT 228936 SOS 34442 HAS SOPS 34442 HAS SOUS 31940 HAS SOUPS 31940 WITH SCORE 31974.442
AT ITER 4278 NEW BEST:: SOT 228928 SOS 34426 HAS SOPS 34426 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31958.426
AT ITER 4331 NEW BEST:: SOT 228935 SOS 34477 HAS SOPS 34477 HAS SOUS 31913 HAS SOUPS 31913 WITH SCORE 31947.477
AT ITER 4368 NEW BEST:: SOT 229021 SOS 34474 HAS SOPS 34474 HAS SOUS 31910 HAS SOUPS 31910 WITH SCORE 31944.474
AT ITER 4382 NEW BEST:: SOT 228999 SOS 34471 HAS SOPS 34471 HAS SOUS 31905 HAS SOUPS 31905 WITH SCORE 31939.471
AT ITER 4446 NEW BEST:: SOT 228999 SOS 34497 HAS SOPS 34497 HAS SOUS 31901 HAS SOUPS 31901 WITH SCORE 31935.497
AT ITER 4503 NEW BEST:: SOT 228993 SOS 34491 HAS SOPS 34491 HAS SOUS 31895 HAS SOUPS 31895 WITH SCORE 31929.491
AT ITER 4512 NEW BEST:: SOT 228988 SOS 34453 HAS SOPS 34453 HAS SOUS 31859 HAS SOUPS 31859 WITH SCORE 31893.453
AT ITER 4549 NEW BEST:: SOT 228959 SOS 34433 HAS SOPS 34433 HAS SOUS 31839 HAS SOUPS 31839 WITH SCORE 31873.433
AT ITER 4551 NEW BEST:: SOT 228930 SOS 34264 HAS SOPS 34264 HAS SOUS 31780 HAS SOUPS 31780 WITH SCORE 31814.264
AT ITER 4557 NEW BEST:: SOT 228930 SOS 34242 HAS SOPS 34242 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31792.242
AT ITER 4617 NEW BEST:: SOT 228870 SOS 34226 HAS SOPS 34226 HAS SOUS 31742 HAS SOUPS 31742 WITH SCORE 31776.226
AT ITER 4618 NEW BEST:: SOT 228870 SOS 34216 HAS SOPS 34216 HAS SOUS 31732 HAS SOUPS 31732 WITH SCORE 31766.216
AT ITER 4657 NEW BEST:: SOT 228861 SOS 34207 HAS SOPS 34207 HAS SOUS 31704 HAS SOUPS 31704 WITH SCORE 31738.207
AT ITER 4721 NEW BEST:: SOT 228804 SOS 34150 HAS SOPS 34150 HAS SOUS 31628 HAS SOUPS 31628 WITH SCORE 31662.15
AT ITER 4738 NEW BEST:: SOT 228819 SOS 34147 HAS SOPS 34147 HAS SOUS 31625 HAS SOUPS 31625 WITH SCORE 31659.147
AT ITER 4753 NEW BEST:: SOT 228858 SOS 34125 HAS SOPS 34125 HAS SOUS 31603 HAS SOUPS 31603 WITH SCORE 31637.125
AT ITER 4796 NEW BEST:: SOT 228859 SOS 34105 HAS SOPS 34105 HAS SOUS 31583 HAS SOUPS 31583 WITH SCORE 31617.105
AT ITER 4832 NEW BEST:: SOT 228845 SOS 34091 HAS SOPS 34091 HAS SOUS 31569 HAS SOUPS 31569 WITH SCORE 31603.091
AT ITER 4866 NEW BEST:: SOT 228835 SOS 34081 HAS SOPS 34081 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31593.081
AT ITER 4926 NEW BEST:: SOT 228811 SOS 34081 HAS SOPS 34081 HAS SOUS 31535 HAS SOUPS 31535 WITH SCORE 31569.081
AT ITER 4971 NEW BEST:: SOT 228811 SOS 34059 HAS SOPS 34059 HAS SOUS 31513 HAS SOUPS 31513 WITH SCORE 31547.059
AT ITER 5052 NEW BEST:: SOT 228809 SOS 34053 HAS SOPS 34053 HAS SOUS 31507 HAS SOUPS 31507 WITH SCORE 31541.053
AT ITER 5053 NEW BEST:: SOT 228809 SOS 34053 HAS SOPS 34053 HAS SOUS 31499 HAS SOUPS 31499 WITH SCORE 31533.053
AT ITER 5074 NEW BEST:: SOT 228809 SOS 34092 HAS SOPS 34092 HAS SOUS 31488 HAS SOUPS 31488 WITH SCORE 31522.092
AT ITER 5097 NEW BEST:: SOT 228807 SOS 34090 HAS SOPS 34090 HAS SOUS 31486 HAS SOUPS 31486 WITH SCORE 31520.09
AT ITER 5109 NEW BEST:: SOT 228798 SOS 34081 HAS SOPS 34081 HAS SOUS 31477 HAS SOUPS 31477 WITH SCORE 31511.081
AT ITER 5130 NEW BEST:: SOT 228789 SOS 34070 HAS SOPS 34070 HAS SOUS 31464 HAS SOUPS 31464 WITH SCORE 31498.07
AT ITER 5137 NEW BEST:: SOT 228759 SOS 34012 HAS SOPS 34012 HAS SOUS 31433 HAS SOUPS 31433 WITH SCORE 31467.012
AT ITER 5146 NEW BEST:: SOT 228759 SOS 33958 HAS SOPS 33958 HAS SOUS 31433 HAS SOUPS 31433 WITH SCORE 31466.958
AT ITER 5162 NEW BEST:: SOT 228759 SOS 33956 HAS SOPS 33956 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31464.956
AT ITER 5221 NEW BEST:: SOT 228757 SOS 33954 HAS SOPS 33954 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31462.954
AT ITER 5261 NEW BEST:: SOT 228757 SOS 33910 HAS SOPS 33910 HAS SOUS 31414 HAS SOUPS 31414 WITH SCORE 31447.91
AT ITER 5286 NEW BEST:: SOT 228754 SOS 33904 HAS SOPS 33904 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31444.904
AT ITER 5337 NEW BEST:: SOT 228748 SOS 33898 HAS SOPS 33898 HAS SOUS 31405 HAS SOUPS 31405 WITH SCORE 31438.898
AT ITER 5348 NEW BEST:: SOT 228753 SOS 33914 HAS SOPS 33914 HAS SOUS 31381 HAS SOUPS 31381 WITH SCORE 31414.914
AT ITER 5355 NEW BEST:: SOT 228752 SOS 33912 HAS SOPS 33912 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31413.912
AT ITER 5371 NEW BEST:: SOT 228752 SOS 33905 HAS SOPS 33905 HAS SOUS 31373 HAS SOUPS 31373 WITH SCORE 31406.905
AT ITER 5408 NEW BEST:: SOT 228742 SOS 33885 HAS SOPS 33885 HAS SOUS 31363 HAS SOUPS 31363 WITH SCORE 31396.885
AT ITER 5444 NEW BEST:: SOT 228737 SOS 33856 HAS SOPS 33856 HAS SOUS 31334 HAS SOUPS 31334 WITH SCORE 31367.856
AT ITER 5514 NEW BEST:: SOT 228737 SOS 33854 HAS SOPS 33854 HAS SOUS 31332 HAS SOUPS 31332 WITH SCORE 31365.854
AT ITER 5525 NEW BEST:: SOT 228725 SOS 33842 HAS SOPS 33842 HAS SOUS 31308 HAS SOUPS 31308 WITH SCORE 31341.842
AT ITER 5563 NEW BEST:: SOT 228725 SOS 33842 HAS SOPS 33842 HAS SOUS 31290 HAS SOUPS 31290 WITH SCORE 31323.842
AT ITER 5587 NEW BEST:: SOT 228690 SOS 33813 HAS SOPS 33813 HAS SOUS 31261 HAS SOUPS 31261 WITH SCORE 31294.813
AT ITER 5637 NEW BEST:: SOT 228690 SOS 33814 HAS SOPS 33814 HAS SOUS 31253 HAS SOUPS 31253 WITH SCORE 31286.814
AT ITER 5674 NEW BEST:: SOT 228686 SOS 33806 HAS SOPS 33806 HAS SOUS 31245 HAS SOUPS 31245 WITH SCORE 31278.806
AT ITER 5722 NEW BEST:: SOT 228687 SOS 33793 HAS SOPS 33793 HAS SOUS 31243 HAS SOUPS 31243 WITH SCORE 31276.793
AT ITER 5803 NEW BEST:: SOT 228678 SOS 33784 HAS SOPS 33784 HAS SOUS 31233 HAS SOUPS 31233 WITH SCORE 31266.784
AT ITER 5941 NEW BEST:: SOT 228674 SOS 33776 HAS SOPS 33776 HAS SOUS 31230 HAS SOUPS 31230 WITH SCORE 31263.776
AT ITER 5977 NEW BEST:: SOT 228670 SOS 33772 HAS SOPS 33772 HAS SOUS 31226 HAS SOUPS 31226 WITH SCORE 31259.772
AT ITER 5989 NEW BEST:: SOT 228655 SOS 33725 HAS SOPS 33725 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31227.725
AT ITER 6165 NEW BEST:: SOT 228623 SOS 33709 HAS SOPS 33709 HAS SOUS 31178 HAS SOUPS 31178 WITH SCORE 31211.709
AT ITER 6211 NEW BEST:: SOT 228524 SOS 33660 HAS SOPS 33660 HAS SOUS 31129 HAS SOUPS 31129 WITH SCORE 31162.66
AT ITER 6265 NEW BEST:: SOT 228524 SOS 33546 HAS SOPS 33546 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31159.546
AT ITER 6287 NEW BEST:: SOT 228543 SOS 33544 HAS SOPS 33544 HAS SOUS 31124 HAS SOUPS 31124 WITH SCORE 31157.544
AT ITER 6364 NEW BEST:: SOT 228546 SOS 33538 HAS SOPS 33538 HAS SOUS 31121 HAS SOUPS 31121 WITH SCORE 31154.538
AT ITER 6465 NEW BEST:: SOT 228588 SOS 33549 HAS SOPS 33549 HAS SOUS 31100 HAS SOUPS 31100 WITH SCORE 31133.549
AT ITER 6533 NEW BEST:: SOT 228580 SOS 33491 HAS SOPS 33491 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31125.491
AT ITER 6570 NEW BEST:: SOT 228580 SOS 33486 HAS SOPS 33486 HAS SOUS 31087 HAS SOUPS 31087 WITH SCORE 31120.486
AT ITER 6597 NEW BEST:: SOT 228565 SOS 33471 HAS SOPS 33471 HAS SOUS 31085 HAS SOUPS 31085 WITH SCORE 31118.471
AT ITER 6635 NEW BEST:: SOT 228561 SOS 33467 HAS SOPS 33467 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31114.467
AT ITER 6657 NEW BEST:: SOT 228561 SOS 33465 HAS SOPS 33465 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31112.465
AT ITER 6670 NEW BEST:: SOT 228540 SOS 33463 HAS SOPS 33463 HAS SOUS 31076 HAS SOUPS 31076 WITH SCORE 31109.463
AT ITER 6697 NEW BEST:: SOT 228540 SOS 33457 HAS SOPS 33457 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31103.457
AT ITER 6701 NEW BEST:: SOT 228540 SOS 33457 HAS SOPS 33457 HAS SOUS 31063 HAS SOUPS 31063 WITH SCORE 31096.457
AT ITER 6724 NEW BEST:: SOT 228509 SOS 33426 HAS SOPS 33426 HAS SOUS 31032 HAS SOUPS 31032 WITH SCORE 31065.426
AT ITER 6768 NEW BEST:: SOT 228483 SOS 33410 HAS SOPS 33410 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31049.41
AT ITER 6789 NEW BEST:: SOT 228484 SOS 33398 HAS SOPS 33398 HAS SOUS 31004 HAS SOUPS 31004 WITH SCORE 31037.398
AT ITER 6811 NEW BEST:: SOT 228484 SOS 33318 HAS SOPS 33318 HAS SOUS 30982 HAS SOUPS 30982 WITH SCORE 31015.318
AT ITER 6816 NEW BEST:: SOT 228446 SOS 33273 HAS SOPS 33273 HAS SOUS 30954 HAS SOUPS 30954 WITH SCORE 30987.273
AT ITER 6824 NEW BEST:: SOT 228412 SOS 33235 HAS SOPS 33235 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30960.235
AT ITER 6865 NEW BEST:: SOT 228354 SOS 33145 HAS SOPS 33145 HAS SOUS 30814 HAS SOUPS 30814 WITH SCORE 30847.145
AT ITER 6948 NEW BEST:: SOT 228345 SOS 33121 HAS SOPS 33121 HAS SOUS 30790 HAS SOUPS 30790 WITH SCORE 30823.121
AT ITER 7043 NEW BEST:: SOT 228319 SOS 33094 HAS SOPS 33094 HAS SOUS 30763 HAS SOUPS 30763 WITH SCORE 30796.094
AT ITER 7048 NEW BEST:: SOT 228316 SOS 33088 HAS SOPS 33088 HAS SOUS 30757 HAS SOUPS 30757 WITH SCORE 30790.088
AT ITER 7052 NEW BEST:: SOT 228332 SOS 33084 HAS SOPS 33084 HAS SOUS 30753 HAS SOUPS 30753 WITH SCORE 30786.084
AT ITER 7056 NEW BEST:: SOT 228332 SOS 33070 HAS SOPS 33070 HAS SOUS 30739 HAS SOUPS 30739 WITH SCORE 30772.07
AT ITER 7089 NEW BEST:: SOT 228334 SOS 33072 HAS SOPS 33072 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30763.072
AT ITER 7130 NEW BEST:: SOT 228334 SOS 33064 HAS SOPS 33064 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30763.064
AT ITER 7166 NEW BEST:: SOT 228328 SOS 33058 HAS SOPS 33058 HAS SOUS 30724 HAS SOUPS 30724 WITH SCORE 30757.058
AT ITER 7241 NEW BEST:: SOT 228319 SOS 32985 HAS SOPS 32985 HAS SOUS 30696 HAS SOUPS 30696 WITH SCORE 30728.985
AT ITER 7310 NEW BEST:: SOT 228319 SOS 32961 HAS SOPS 32961 HAS SOUS 30672 HAS SOUPS 30672 WITH SCORE 30704.961
AT ITER 7315 NEW BEST:: SOT 228278 SOS 32948 HAS SOPS 32948 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30657.948
AT ITER 7405 NEW BEST:: SOT 228290 SOS 32954 HAS SOPS 32954 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 30651.954
AT ITER 7406 NEW BEST:: SOT 228289 SOS 32953 HAS SOPS 32953 HAS SOUS 30618 HAS SOUPS 30618 WITH SCORE 30650.953
AT ITER 7447 NEW BEST:: SOT 228278 SOS 32915 HAS SOPS 32915 HAS SOUS 30614 HAS SOUPS 30614 WITH SCORE 30646.915
AT ITER 7462 NEW BEST:: SOT 228278 SOS 32898 HAS SOPS 32898 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30617.898
AT ITER 7550 NEW BEST:: SOT 228277 SOS 32883 HAS SOPS 32883 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30601.883
AT ITER 7598 NEW BEST:: SOT 228234 SOS 32844 HAS SOPS 32844 HAS SOUS 30517 HAS SOUPS 30517 WITH SCORE 30549.844
AT ITER 7602 NEW BEST:: SOT 228198 SOS 32842 HAS SOPS 32842 HAS SOUS 30515 HAS SOUPS 30515 WITH SCORE 30547.842
AT ITER 7612 NEW BEST:: SOT 228198 SOS 32817 HAS SOPS 32817 HAS SOUS 30490 HAS SOUPS 30490 WITH SCORE 30522.817
AT ITER 7628 NEW BEST:: SOT 228183 SOS 32802 HAS SOPS 32802 HAS SOUS 30460 HAS SOUPS 30460 WITH SCORE 30492.802
AT ITER 7630 NEW BEST:: SOT 228143 SOS 32772 HAS SOPS 32772 HAS SOUS 30430 HAS SOUPS 30430 WITH SCORE 30462.772
AT ITER 7672 NEW BEST:: SOT 228143 SOS 32767 HAS SOPS 32767 HAS SOUS 30425 HAS SOUPS 30425 WITH SCORE 30457.767
AT ITER 7680 NEW BEST:: SOT 228119 SOS 32676 HAS SOPS 32676 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30408.676
AT ITER 7724 NEW BEST:: SOT 228111 SOS 32657 HAS SOPS 32657 HAS SOUS 30355 HAS SOUPS 30355 WITH SCORE 30387.657
AT ITER 7753 NEW BEST:: SOT 228110 SOS 32600 HAS SOPS 32600 HAS SOUS 30340 HAS SOUPS 30340 WITH SCORE 30372.6
AT ITER 7845 NEW BEST:: SOT 228110 SOS 32583 HAS SOPS 32583 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30355.583
AT ITER 7854 NEW BEST:: SOT 228110 SOS 32570 HAS SOPS 32570 HAS SOUS 30310 HAS SOUPS 30310 WITH SCORE 30342.57
AT ITER 7910 NEW BEST:: SOT 228099 SOS 32490 HAS SOPS 32490 HAS SOUS 30272 HAS SOUPS 30272 WITH SCORE 30304.49
AT ITER 7936 NEW BEST:: SOT 228089 SOS 32488 HAS SOPS 32488 HAS SOUS 30262 HAS SOUPS 30262 WITH SCORE 30294.488
AT ITER 7998 NEW BEST:: SOT 228071 SOS 32471 HAS SOPS 32471 HAS SOUS 30245 HAS SOUPS 30245 WITH SCORE 30277.471
AT ITER 8023 NEW BEST:: SOT 228042 SOS 32448 HAS SOPS 32448 HAS SOUS 30228 HAS SOUPS 30228 WITH SCORE 30260.448
AT ITER 8038 NEW BEST:: SOT 228040 SOS 32444 HAS SOPS 32444 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30258.444
AT ITER 8078 NEW BEST:: SOT 228039 SOS 32442 HAS SOPS 32442 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30257.442
AT ITER 8097 NEW BEST:: SOT 228037 SOS 32440 HAS SOPS 32440 HAS SOUS 30223 HAS SOUPS 30223 WITH SCORE 30255.44
AT ITER 8155 NEW BEST:: SOT 228021 SOS 32411 HAS SOPS 32411 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30213.411
AT ITER 8178 NEW BEST:: SOT 228011 SOS 32387 HAS SOPS 32387 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30199.387
AT ITER 8204 NEW BEST:: SOT 227979 SOS 32349 HAS SOPS 32349 HAS SOUS 30130 HAS SOUPS 30130 WITH SCORE 30162.349
AT ITER 8253 NEW BEST:: SOT 227977 SOS 32347 HAS SOPS 32347 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30160.347
AT ITER 8256 NEW BEST:: SOT 227980 SOS 32344 HAS SOPS 32344 HAS SOUS 30125 HAS SOUPS 30125 WITH SCORE 30157.344
AT ITER 8272 NEW BEST:: SOT 227955 SOS 32268 HAS SOPS 32268 HAS SOUS 30061 HAS SOUPS 30061 WITH SCORE 30093.268
AT ITER 8350 NEW BEST:: SOT 227964 SOS 32263 HAS SOPS 32263 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30088.263
AT ITER 8360 NEW BEST:: SOT 227964 SOS 32261 HAS SOPS 32261 HAS SOUS 30055 HAS SOUPS 30055 WITH SCORE 30087.261
AT ITER 8435 NEW BEST:: SOT 227967 SOS 32262 HAS SOPS 32262 HAS SOUS 30041 HAS SOUPS 30041 WITH SCORE 30073.262
AT ITER 8491 NEW BEST:: SOT 227977 SOS 32311 HAS SOPS 32311 HAS SOUS 30032 HAS SOUPS 30032 WITH SCORE 30064.311
AT ITER 8504 NEW BEST:: SOT 227977 SOS 32308 HAS SOPS 32308 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30061.308
AT ITER 8539 NEW BEST:: SOT 227977 SOS 32307 HAS SOPS 32307 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30060.307
AT ITER 8569 NEW BEST:: SOT 227974 SOS 32304 HAS SOPS 32304 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30060.304
AT ITER 8572 NEW BEST:: SOT 227974 SOS 32299 HAS SOPS 32299 HAS SOUS 30023 HAS SOUPS 30023 WITH SCORE 30055.299
AT ITER 8576 NEW BEST:: SOT 228004 SOS 32297 HAS SOPS 32297 HAS SOUS 30022 HAS SOUPS 30022 WITH SCORE 30054.297
AT ITER 8588 NEW BEST:: SOT 227998 SOS 32291 HAS SOPS 32291 HAS SOUS 30016 HAS SOUPS 30016 WITH SCORE 30048.291
AT ITER 8596 NEW BEST:: SOT 227990 SOS 32254 HAS SOPS 32254 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30019.254
AT ITER 8709 NEW BEST:: SOT 227986 SOS 32246 HAS SOPS 32246 HAS SOUS 29983 HAS SOUPS 29983 WITH SCORE 30015.246
AT ITER 8711 NEW BEST:: SOT 227986 SOS 32219 HAS SOPS 32219 HAS SOUS 29983 HAS SOUPS 29983 WITH SCORE 30015.219
AT ITER 8741 NEW BEST:: SOT 227986 SOS 32180 HAS SOPS 32180 HAS SOUS 29983 HAS SOUPS 29983 WITH SCORE 30015.18
AT ITER 8810 NEW BEST:: SOT 227984 SOS 32178 HAS SOPS 32178 HAS SOUS 29964 HAS SOUPS 29964 WITH SCORE 29996.178
AT ITER 8811 NEW BEST:: SOT 227989 SOS 32175 HAS SOPS 32175 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29993.175
AT ITER 8814 NEW BEST:: SOT 227995 SOS 32169 HAS SOPS 32169 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29993.169
AT ITER 8899 NEW BEST:: SOT 227965 SOS 32109 HAS SOPS 32109 HAS SOUS 29900 HAS SOUPS 29900 WITH SCORE 29932.109
AT ITER 8937 NEW BEST:: SOT 227942 SOS 32086 HAS SOPS 32086 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29909.086
AT ITER 8944 NEW BEST:: SOT 227941 SOS 32084 HAS SOPS 32084 HAS SOUS 29875 HAS SOUPS 29875 WITH SCORE 29907.084
AT ITER 8983 NEW BEST:: SOT 227909 SOS 32071 HAS SOPS 32071 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29894.071
AT ITER 9043 NEW BEST:: SOT 227909 SOS 32069 HAS SOPS 32069 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29894.069
AT ITER 9074 NEW BEST:: SOT 227905 SOS 32065 HAS SOPS 32065 HAS SOUS 29858 HAS SOUPS 29858 WITH SCORE 29890.065
AT ITER 9115 NEW BEST:: SOT 227905 SOS 32066 HAS SOPS 32066 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29867.066
AT ITER 9124 NEW BEST:: SOT 227905 SOS 32065 HAS SOPS 32065 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29867.065
AT ITER 9148 NEW BEST:: SOT 227905 SOS 32033 HAS SOPS 32033 HAS SOUS 29835 HAS SOUPS 29835 WITH SCORE 29867.033
AT ITER 9163 NEW BEST:: SOT 227899 SOS 32026 HAS SOPS 32026 HAS SOUS 29828 HAS SOUPS 29828 WITH SCORE 29860.026
AT ITER 9190 NEW BEST:: SOT 227894 SOS 32019 HAS SOPS 32019 HAS SOUS 29820 HAS SOUPS 29820 WITH SCORE 29852.019
AT ITER 9264 NEW BEST:: SOT 227924 SOS 32018 HAS SOPS 32018 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29851.018
AT ITER 9270 NEW BEST:: SOT 227924 SOS 32015 HAS SOPS 32015 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29851.015
AT ITER 9314 NEW BEST:: SOT 227920 SOS 31988 HAS SOPS 31988 HAS SOUS 29792 HAS SOUPS 29792 WITH SCORE 29823.988
AT ITER 9329 NEW BEST:: SOT 227920 SOS 31974 HAS SOPS 31974 HAS SOUS 29791 HAS SOUPS 29791 WITH SCORE 29822.974
AT ITER 9377 NEW BEST:: SOT 227909 SOS 31977 HAS SOPS 31977 HAS SOUS 29784 HAS SOUPS 29784 WITH SCORE 29815.977
AT ITER 9382 NEW BEST:: SOT 227909 SOS 31969 HAS SOPS 31969 HAS SOUS 29784 HAS SOUPS 29784 WITH SCORE 29815.969
AT ITER 9439 NEW BEST:: SOT 227911 SOS 31967 HAS SOPS 31967 HAS SOUS 29784 HAS SOUPS 29784 WITH SCORE 29815.967
AT ITER 9619 NEW BEST:: SOT 227923 SOS 31835 HAS SOPS 31835 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29782.835
AT ITER 9625 NEW BEST:: SOT 227919 SOS 31831 HAS SOPS 31831 HAS SOUS 29747 HAS SOUPS 29747 WITH SCORE 29778.831
AT ITER 9635 NEW BEST:: SOT 227919 SOS 31864 HAS SOPS 31864 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29769.864
AT ITER 9651 NEW BEST:: SOT 227916 SOS 31858 HAS SOPS 31858 HAS SOUS 29735 HAS SOUPS 29735 WITH SCORE 29766.858
AT ITER 9679 NEW BEST:: SOT 227914 SOS 31854 HAS SOPS 31854 HAS SOUS 29733 HAS SOUPS 29733 WITH SCORE 29764.854
AT ITER 9683 NEW BEST:: SOT 227889 SOS 31879 HAS SOPS 31879 HAS SOUS 29732 HAS SOUPS 29732 WITH SCORE 29763.879
AT ITER 9747 NEW BEST:: SOT 227876 SOS 31879 HAS SOPS 31879 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29750.879
AT ITER 9760 NEW BEST:: SOT 227909 SOS 31913 HAS SOPS 31913 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29710.913
AT ITER 9799 NEW BEST:: SOT 227906 SOS 31913 HAS SOPS 31913 HAS SOUS 29676 HAS SOUPS 29676 WITH SCORE 29707.913
AT ITER 9843 NEW BEST:: SOT 227874 SOS 31881 HAS SOPS 31881 HAS SOUS 29675 HAS SOUPS 29675 WITH SCORE 29706.881
AT ITER 9915 NEW BEST:: SOT 227874 SOS 31873 HAS SOPS 31873 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29702.873
AT ITER 9935 NEW BEST:: SOT 227874 SOS 31871 HAS SOPS 31871 HAS SOUS 29669 HAS SOUPS 29669 WITH SCORE 29700.871
AT ITER 9941 NEW BEST:: SOT 227874 SOS 31867 HAS SOPS 31867 HAS SOUS 29665 HAS SOUPS 29665 WITH SCORE 29696.867

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-010B"
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 ShieldPPPs-PT-010B, 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 r207-tajo-159033469500488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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