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-159033469200292.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 ShieldIIPt-PT-005B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200292
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.5K May 14 00:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:02 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 83K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-00
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-01
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-02
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-03
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-04
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-05
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-06
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-07
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-08
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-09
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-10
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-11
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-12
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-13
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-14
FORMULA_NAME ShieldIIPt-PT-005B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439226170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 005B
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 353 places, 328 transitions, 816 arcs.
AT ITER 0 NEW BEST:: SOT 64144 SOS 18153 HAS SOPS 18153 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.153
AT ITER 10 NEW BEST:: SOT 64123 SOS 18090 HAS SOPS 18090 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16587.09
AT ITER 15 NEW BEST:: SOT 64159 SOS 18078 HAS SOPS 18078 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16580.078
AT ITER 25 NEW BEST:: SOT 64159 SOS 18071 HAS SOPS 18071 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16573.071
AT ITER 42 NEW BEST:: SOT 64105 SOS 17949 HAS SOPS 17949 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16433.949
AT ITER 45 NEW BEST:: SOT 64098 SOS 17928 HAS SOPS 17928 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16419.928
AT ITER 51 NEW BEST:: SOT 64072 SOS 17915 HAS SOPS 17915 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16406.915
AT ITER 56 NEW BEST:: SOT 64045 SOS 17861 HAS SOPS 17861 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16406.861
AT ITER 73 NEW BEST:: SOT 64032 SOS 17834 HAS SOPS 17834 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16361.834
AT ITER 74 NEW BEST:: SOT 63995 SOS 17845 HAS SOPS 17845 HAS SOUS 16322 HAS SOUPS 16322 WITH SCORE 16339.845
AT ITER 87 NEW BEST:: SOT 63995 SOS 17845 HAS SOPS 17845 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16338.845
AT ITER 107 NEW BEST:: SOT 63995 SOS 17826 HAS SOPS 17826 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16319.826
AT ITER 109 NEW BEST:: SOT 63995 SOS 17870 HAS SOPS 17870 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16275.87
AT ITER 126 NEW BEST:: SOT 63995 SOS 17870 HAS SOPS 17870 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16271.87
AT ITER 127 NEW BEST:: SOT 64004 SOS 17946 HAS SOPS 17946 HAS SOUS 16227 HAS SOUPS 16227 WITH SCORE 16244.946
AT ITER 131 NEW BEST:: SOT 64012 SOS 17945 HAS SOPS 17945 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16243.945
AT ITER 134 NEW BEST:: SOT 64012 SOS 17945 HAS SOPS 17945 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16240.945
AT ITER 137 NEW BEST:: SOT 64012 SOS 17903 HAS SOPS 17903 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16198.903
AT ITER 155 NEW BEST:: SOT 63975 SOS 17865 HAS SOPS 17865 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16160.865
AT ITER 161 NEW BEST:: SOT 63975 SOS 17845 HAS SOPS 17845 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16140.845
AT ITER 171 NEW BEST:: SOT 63967 SOS 17829 HAS SOPS 17829 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16128.829
AT ITER 176 NEW BEST:: SOT 63955 SOS 17793 HAS SOPS 17793 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16104.793
AT ITER 197 NEW BEST:: SOT 63936 SOS 17829 HAS SOPS 17829 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16085.829
AT ITER 201 NEW BEST:: SOT 63832 SOS 17777 HAS SOPS 17777 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16024.777
AT ITER 214 NEW BEST:: SOT 63832 SOS 17777 HAS SOPS 17777 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15949.777
AT ITER 215 NEW BEST:: SOT 63832 SOS 17773 HAS SOPS 17773 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15949.773
AT ITER 218 NEW BEST:: SOT 63832 SOS 17799 HAS SOPS 17799 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15941.799
AT ITER 220 NEW BEST:: SOT 63858 SOS 17775 HAS SOPS 17775 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15917.775
AT ITER 221 NEW BEST:: SOT 63851 SOS 17768 HAS SOPS 17768 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15844.768
AT ITER 243 NEW BEST:: SOT 63913 SOS 17705 HAS SOPS 17705 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15843.705
AT ITER 248 NEW BEST:: SOT 63929 SOS 17683 HAS SOPS 17683 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15821.683
AT ITER 263 NEW BEST:: SOT 63929 SOS 17637 HAS SOPS 17637 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15798.637
AT ITER 264 NEW BEST:: SOT 63929 SOS 17637 HAS SOPS 17637 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15795.637
AT ITER 278 NEW BEST:: SOT 63935 SOS 17629 HAS SOPS 17629 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15787.629
AT ITER 287 NEW BEST:: SOT 63934 SOS 17627 HAS SOPS 17627 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15785.627
AT ITER 301 NEW BEST:: SOT 63930 SOS 17623 HAS SOPS 17623 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15776.623
AT ITER 314 NEW BEST:: SOT 63930 SOS 17608 HAS SOPS 17608 HAS SOUS 15744 HAS SOUPS 15744 WITH SCORE 15761.608
AT ITER 348 NEW BEST:: SOT 63930 SOS 17603 HAS SOPS 17603 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15756.603
AT ITER 351 NEW BEST:: SOT 63930 SOS 17618 HAS SOPS 17618 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15749.618
AT ITER 370 NEW BEST:: SOT 63930 SOS 17582 HAS SOPS 17582 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15713.582
AT ITER 374 NEW BEST:: SOT 63930 SOS 17544 HAS SOPS 17544 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15694.544
AT ITER 379 NEW BEST:: SOT 63912 SOS 17526 HAS SOPS 17526 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15676.526
AT ITER 387 NEW BEST:: SOT 63912 SOS 17521 HAS SOPS 17521 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15671.521
AT ITER 388 NEW BEST:: SOT 63912 SOS 17524 HAS SOPS 17524 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15639.524
AT ITER 393 NEW BEST:: SOT 63915 SOS 17501 HAS SOPS 17501 HAS SOUS 15598 HAS SOUPS 15598 WITH SCORE 15615.501
AT ITER 405 NEW BEST:: SOT 63909 SOS 17473 HAS SOPS 17473 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15587.473
AT ITER 419 NEW BEST:: SOT 63859 SOS 17431 HAS SOPS 17431 HAS SOUS 15528 HAS SOUPS 15528 WITH SCORE 15545.431
AT ITER 422 NEW BEST:: SOT 63849 SOS 17408 HAS SOPS 17408 HAS SOUS 15515 HAS SOUPS 15515 WITH SCORE 15532.408
AT ITER 426 NEW BEST:: SOT 63793 SOS 17296 HAS SOPS 17296 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15420.296
AT ITER 428 NEW BEST:: SOT 63787 SOS 17290 HAS SOPS 17290 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15414.29
AT ITER 434 NEW BEST:: SOT 63792 SOS 17289 HAS SOPS 17289 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15414.289
AT ITER 442 NEW BEST:: SOT 63792 SOS 17288 HAS SOPS 17288 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15413.288
AT ITER 447 NEW BEST:: SOT 63760 SOS 17288 HAS SOPS 17288 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15381.288
AT ITER 468 NEW BEST:: SOT 63760 SOS 17281 HAS SOPS 17281 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15381.281
AT ITER 496 NEW BEST:: SOT 63750 SOS 17281 HAS SOPS 17281 HAS SOUS 15354 HAS SOUPS 15354 WITH SCORE 15371.281
AT ITER 509 NEW BEST:: SOT 63748 SOS 17280 HAS SOPS 17280 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15370.28
AT ITER 514 NEW BEST:: SOT 63743 SOS 17265 HAS SOPS 17265 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15355.265
AT ITER 516 NEW BEST:: SOT 63741 SOS 17255 HAS SOPS 17255 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15349.255
AT ITER 517 NEW BEST:: SOT 63741 SOS 17222 HAS SOPS 17222 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15339.222
AT ITER 521 NEW BEST:: SOT 63741 SOS 17222 HAS SOPS 17222 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15305.222
AT ITER 556 NEW BEST:: SOT 63741 SOS 17211 HAS SOPS 17211 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15294.211
AT ITER 563 NEW BEST:: SOT 63734 SOS 17190 HAS SOPS 17190 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15287.19
AT ITER 599 NEW BEST:: SOT 63729 SOS 17188 HAS SOPS 17188 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15285.188
AT ITER 644 NEW BEST:: SOT 63693 SOS 17164 HAS SOPS 17164 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15261.164
AT ITER 677 NEW BEST:: SOT 63676 SOS 17129 HAS SOPS 17129 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15226.129
AT ITER 678 NEW BEST:: SOT 63674 SOS 17121 HAS SOPS 17121 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15220.121
AT ITER 691 NEW BEST:: SOT 63674 SOS 17114 HAS SOPS 17114 HAS SOUS 15202 HAS SOUPS 15202 WITH SCORE 15219.114
AT ITER 703 NEW BEST:: SOT 63674 SOS 17116 HAS SOPS 17116 HAS SOUS 15199 HAS SOUPS 15199 WITH SCORE 15216.116
AT ITER 712 NEW BEST:: SOT 63674 SOS 17131 HAS SOPS 17131 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15213.131
AT ITER 718 NEW BEST:: SOT 63675 SOS 17142 HAS SOPS 17142 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15174.142
AT ITER 719 NEW BEST:: SOT 63715 SOS 17197 HAS SOPS 17197 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.197
AT ITER 732 NEW BEST:: SOT 63705 SOS 17145 HAS SOPS 17145 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15141.145
AT ITER 743 NEW BEST:: SOT 63728 SOS 17175 HAS SOPS 17175 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15131.175
AT ITER 752 NEW BEST:: SOT 63726 SOS 17150 HAS SOPS 17150 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15106.15
AT ITER 762 NEW BEST:: SOT 63707 SOS 17180 HAS SOPS 17180 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15099.18
AT ITER 774 NEW BEST:: SOT 63707 SOS 17126 HAS SOPS 17126 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15065.126
AT ITER 850 NEW BEST:: SOT 63702 SOS 17116 HAS SOPS 17116 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15055.116
AT ITER 858 NEW BEST:: SOT 63658 SOS 17001 HAS SOPS 17001 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14962.001
AT ITER 860 NEW BEST:: SOT 63658 SOS 16996 HAS SOPS 16996 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14956.996
AT ITER 861 NEW BEST:: SOT 63647 SOS 16963 HAS SOPS 16963 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14934.963
AT ITER 871 NEW BEST:: SOT 63604 SOS 16893 HAS SOPS 16893 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14884.893
AT ITER 888 NEW BEST:: SOT 63604 SOS 16843 HAS SOPS 16843 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14884.843
AT ITER 929 NEW BEST:: SOT 63598 SOS 16836 HAS SOPS 16836 HAS SOUS 14862 HAS SOUPS 14862 WITH SCORE 14878.836
AT ITER 935 NEW BEST:: SOT 63578 SOS 16806 HAS SOPS 16806 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.806
AT ITER 937 NEW BEST:: SOT 63578 SOS 16761 HAS SOPS 16761 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14803.761
AT ITER 945 NEW BEST:: SOT 63578 SOS 16760 HAS SOPS 16760 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14803.76
AT ITER 950 NEW BEST:: SOT 63578 SOS 16732 HAS SOPS 16732 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14803.732
AT ITER 972 NEW BEST:: SOT 63503 SOS 16657 HAS SOPS 16657 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14728.657
AT ITER 982 NEW BEST:: SOT 63514 SOS 16667 HAS SOPS 16667 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14727.667
AT ITER 993 NEW BEST:: SOT 63514 SOS 16666 HAS SOPS 16666 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14726.666
AT ITER 997 NEW BEST:: SOT 63514 SOS 16663 HAS SOPS 16663 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14716.663
AT ITER 1006 NEW BEST:: SOT 63514 SOS 16644 HAS SOPS 16644 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14697.644
AT ITER 1036 NEW BEST:: SOT 63500 SOS 16630 HAS SOPS 16630 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14683.63
AT ITER 1044 NEW BEST:: SOT 63500 SOS 16575 HAS SOPS 16575 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14628.575
AT ITER 1059 NEW BEST:: SOT 63487 SOS 16536 HAS SOPS 16536 HAS SOUS 14586 HAS SOUPS 14586 WITH SCORE 14602.536
AT ITER 1086 NEW BEST:: SOT 63481 SOS 16530 HAS SOPS 16530 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14596.53
AT ITER 1106 NEW BEST:: SOT 63472 SOS 16512 HAS SOPS 16512 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14578.512
AT ITER 1133 NEW BEST:: SOT 63462 SOS 16492 HAS SOPS 16492 HAS SOUS 14548 HAS SOUPS 14548 WITH SCORE 14564.492
AT ITER 1151 NEW BEST:: SOT 63446 SOS 16549 HAS SOPS 16549 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14548.549
AT ITER 1165 NEW BEST:: SOT 63446 SOS 16543 HAS SOPS 16543 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14545.543
AT ITER 1176 NEW BEST:: SOT 63446 SOS 16477 HAS SOPS 16477 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14475.477
AT ITER 1179 NEW BEST:: SOT 63446 SOS 16475 HAS SOPS 16475 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14473.475
AT ITER 1187 NEW BEST:: SOT 63444 SOS 16473 HAS SOPS 16473 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14471.473
AT ITER 1205 NEW BEST:: SOT 63466 SOS 16469 HAS SOPS 16469 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14467.469
AT ITER 1230 NEW BEST:: SOT 63466 SOS 16455 HAS SOPS 16455 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14467.455
AT ITER 1241 NEW BEST:: SOT 63466 SOS 16423 HAS SOPS 16423 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14451.423
AT ITER 1255 NEW BEST:: SOT 63474 SOS 16420 HAS SOPS 16420 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14448.42
AT ITER 1307 NEW BEST:: SOT 63466 SOS 16412 HAS SOPS 16412 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14440.412
AT ITER 1319 NEW BEST:: SOT 63444 SOS 16337 HAS SOPS 16337 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.337
AT ITER 1337 NEW BEST:: SOT 63444 SOS 16297 HAS SOPS 16297 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14361.297
AT ITER 1345 NEW BEST:: SOT 63460 SOS 16271 HAS SOPS 16271 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14338.271
AT ITER 1357 NEW BEST:: SOT 63460 SOS 16270 HAS SOPS 16270 HAS SOUS 14321 HAS SOUPS 14321 WITH SCORE 14337.27
AT ITER 1377 NEW BEST:: SOT 63460 SOS 16211 HAS SOPS 16211 HAS SOUS 14321 HAS SOUPS 14321 WITH SCORE 14337.211
AT ITER 1385 NEW BEST:: SOT 63460 SOS 16203 HAS SOPS 16203 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14329.203
AT ITER 1421 NEW BEST:: SOT 63460 SOS 16201 HAS SOPS 16201 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14327.201
AT ITER 1438 NEW BEST:: SOT 63440 SOS 16161 HAS SOPS 16161 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14272.161
AT ITER 1445 NEW BEST:: SOT 63425 SOS 16146 HAS SOPS 16146 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14270.146
AT ITER 1454 NEW BEST:: SOT 63422 SOS 16140 HAS SOPS 16140 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14264.14
AT ITER 1457 NEW BEST:: SOT 63422 SOS 16128 HAS SOPS 16128 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14252.128
AT ITER 1462 NEW BEST:: SOT 63422 SOS 16123 HAS SOPS 16123 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14247.123
AT ITER 1505 NEW BEST:: SOT 63422 SOS 16119 HAS SOPS 16119 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14243.119
AT ITER 1527 NEW BEST:: SOT 63414 SOS 16103 HAS SOPS 16103 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14227.103
AT ITER 1529 NEW BEST:: SOT 63359 SOS 15859 HAS SOPS 15859 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14116.859
AT ITER 1534 NEW BEST:: SOT 63357 SOS 15857 HAS SOPS 15857 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14114.857
AT ITER 1559 NEW BEST:: SOT 63329 SOS 15801 HAS SOPS 15801 HAS SOUS 14071 HAS SOUPS 14071 WITH SCORE 14086.801
AT ITER 1593 NEW BEST:: SOT 63325 SOS 15654 HAS SOPS 15654 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14057.654
AT ITER 1638 NEW BEST:: SOT 63325 SOS 15631 HAS SOPS 15631 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14057.631
AT ITER 1654 NEW BEST:: SOT 63297 SOS 15644 HAS SOPS 15644 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14029.644
AT ITER 1660 NEW BEST:: SOT 63293 SOS 15617 HAS SOPS 15617 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14021.617
AT ITER 1661 NEW BEST:: SOT 63293 SOS 15604 HAS SOPS 15604 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14018.604
AT ITER 1666 NEW BEST:: SOT 63288 SOS 15584 HAS SOPS 15584 HAS SOUS 13993 HAS SOUPS 13993 WITH SCORE 14008.584
AT ITER 1744 NEW BEST:: SOT 63317 SOS 15582 HAS SOPS 15582 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14006.582
AT ITER 1760 NEW BEST:: SOT 63316 SOS 15576 HAS SOPS 15576 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14000.576
AT ITER 1763 NEW BEST:: SOT 63316 SOS 15576 HAS SOPS 15576 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13990.576
AT ITER 1765 NEW BEST:: SOT 63316 SOS 15577 HAS SOPS 15577 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13989.577
AT ITER 1772 NEW BEST:: SOT 63307 SOS 15535 HAS SOPS 15535 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13947.535
AT ITER 1787 NEW BEST:: SOT 63244 SOS 15444 HAS SOPS 15444 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13877.444
AT ITER 1796 NEW BEST:: SOT 63247 SOS 15423 HAS SOPS 15423 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13856.423
AT ITER 1830 NEW BEST:: SOT 63247 SOS 15416 HAS SOPS 15416 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.416
AT ITER 1837 NEW BEST:: SOT 63246 SOS 15404 HAS SOPS 15404 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13809.404
AT ITER 1840 NEW BEST:: SOT 63243 SOS 15371 HAS SOPS 15371 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13803.371
AT ITER 1846 NEW BEST:: SOT 63243 SOS 15371 HAS SOPS 15371 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13801.371
AT ITER 1855 NEW BEST:: SOT 63241 SOS 15367 HAS SOPS 15367 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13797.367
AT ITER 1911 NEW BEST:: SOT 63237 SOS 15367 HAS SOPS 15367 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.367
AT ITER 1957 NEW BEST:: SOT 63237 SOS 15355 HAS SOPS 15355 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.355
AT ITER 1967 NEW BEST:: SOT 63231 SOS 15328 HAS SOPS 15328 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13781.328
AT ITER 1974 NEW BEST:: SOT 63210 SOS 15286 HAS SOPS 15286 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13736.286
AT ITER 1982 NEW BEST:: SOT 63208 SOS 15292 HAS SOPS 15292 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13735.292
AT ITER 1986 NEW BEST:: SOT 63191 SOS 15278 HAS SOPS 15278 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13721.278
AT ITER 1987 NEW BEST:: SOT 63191 SOS 15274 HAS SOPS 15274 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13717.274
AT ITER 2006 NEW BEST:: SOT 63173 SOS 15191 HAS SOPS 15191 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13706.191
AT ITER 2056 NEW BEST:: SOT 63173 SOS 15179 HAS SOPS 15179 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13706.179
AT ITER 2081 NEW BEST:: SOT 63175 SOS 15143 HAS SOPS 15143 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13662.143
AT ITER 2085 NEW BEST:: SOT 63125 SOS 15123 HAS SOPS 15123 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13630.123
AT ITER 2095 NEW BEST:: SOT 63133 SOS 15113 HAS SOPS 15113 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13628.113
AT ITER 2098 NEW BEST:: SOT 63133 SOS 15062 HAS SOPS 15062 HAS SOUS 13612 HAS SOUPS 13612 WITH SCORE 13627.062
AT ITER 2105 NEW BEST:: SOT 63113 SOS 15041 HAS SOPS 15041 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.041
AT ITER 2109 NEW BEST:: SOT 63112 SOS 15040 HAS SOPS 15040 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.04
AT ITER 2122 NEW BEST:: SOT 63079 SOS 15011 HAS SOPS 15011 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13577.011
AT ITER 2126 NEW BEST:: SOT 63066 SOS 15015 HAS SOPS 15015 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13575.015
AT ITER 2133 NEW BEST:: SOT 63069 SOS 15015 HAS SOPS 15015 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13572.015
AT ITER 2138 NEW BEST:: SOT 63071 SOS 15006 HAS SOPS 15006 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13563.006
AT ITER 2194 NEW BEST:: SOT 63071 SOS 15005 HAS SOPS 15005 HAS SOUS 13547 HAS SOUPS 13547 WITH SCORE 13562.005
AT ITER 2208 NEW BEST:: SOT 63068 SOS 15007 HAS SOPS 15007 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13553.007
AT ITER 2216 NEW BEST:: SOT 63090 SOS 15001 HAS SOPS 15001 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13547.001
AT ITER 2275 NEW BEST:: SOT 63082 SOS 14987 HAS SOPS 14987 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13533.987
AT ITER 2305 NEW BEST:: SOT 63081 SOS 14965 HAS SOPS 14965 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13531.965
AT ITER 2309 NEW BEST:: SOT 63118 SOS 14928 HAS SOPS 14928 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13531.928
AT ITER 2332 NEW BEST:: SOT 63116 SOS 14926 HAS SOPS 14926 HAS SOUS 13515 HAS SOUPS 13515 WITH SCORE 13529.926
AT ITER 2359 NEW BEST:: SOT 63113 SOS 14920 HAS SOPS 14920 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13526.92
AT ITER 2365 NEW BEST:: SOT 63110 SOS 14833 HAS SOPS 14833 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13494.833
AT ITER 2440 NEW BEST:: SOT 63110 SOS 14813 HAS SOPS 14813 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13474.813
AT ITER 2445 NEW BEST:: SOT 63123 SOS 14789 HAS SOPS 14789 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13450.789
AT ITER 2476 NEW BEST:: SOT 63122 SOS 14788 HAS SOPS 14788 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13449.788
AT ITER 2477 NEW BEST:: SOT 63113 SOS 14775 HAS SOPS 14775 HAS SOUS 13426 HAS SOUPS 13426 WITH SCORE 13440.775
AT ITER 2485 NEW BEST:: SOT 63119 SOS 14776 HAS SOPS 14776 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13435.776
AT ITER 2501 NEW BEST:: SOT 63102 SOS 14726 HAS SOPS 14726 HAS SOUS 13388 HAS SOUPS 13388 WITH SCORE 13402.726
AT ITER 2524 NEW BEST:: SOT 63091 SOS 14693 HAS SOPS 14693 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.693
AT ITER 2526 NEW BEST:: SOT 63088 SOS 14690 HAS SOPS 14690 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13377.69
AT ITER 2527 NEW BEST:: SOT 63086 SOS 14686 HAS SOPS 14686 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13374.686
AT ITER 2530 NEW BEST:: SOT 63081 SOS 14675 HAS SOPS 14675 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13348.675
AT ITER 2535 NEW BEST:: SOT 63079 SOS 14654 HAS SOPS 14654 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13327.654
AT ITER 2537 NEW BEST:: SOT 63084 SOS 14648 HAS SOPS 14648 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13324.648
AT ITER 2563 NEW BEST:: SOT 63081 SOS 14645 HAS SOPS 14645 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13324.645
AT ITER 2593 NEW BEST:: SOT 63088 SOS 14659 HAS SOPS 14659 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13264.659
AT ITER 2615 NEW BEST:: SOT 63088 SOS 14653 HAS SOPS 14653 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13258.653
AT ITER 2654 NEW BEST:: SOT 63085 SOS 14626 HAS SOPS 14626 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13213.626
AT ITER 2676 NEW BEST:: SOT 63072 SOS 14601 HAS SOPS 14601 HAS SOUS 13186 HAS SOUPS 13186 WITH SCORE 13200.601
AT ITER 2709 NEW BEST:: SOT 63067 SOS 14582 HAS SOPS 14582 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13177.582
AT ITER 2717 NEW BEST:: SOT 63067 SOS 14573 HAS SOPS 14573 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13173.573
AT ITER 2740 NEW BEST:: SOT 63031 SOS 14400 HAS SOPS 14400 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13101.4
AT ITER 2744 NEW BEST:: SOT 63007 SOS 14398 HAS SOPS 14398 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13100.398
AT ITER 2748 NEW BEST:: SOT 63004 SOS 14399 HAS SOPS 14399 HAS SOUS 13080 HAS SOUPS 13080 WITH SCORE 13094.399
AT ITER 2753 NEW BEST:: SOT 62955 SOS 14278 HAS SOPS 14278 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13079.278
AT ITER 2754 NEW BEST:: SOT 62955 SOS 14270 HAS SOPS 14270 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13071.27
AT ITER 2762 NEW BEST:: SOT 62943 SOS 14310 HAS SOPS 14310 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13059.31
AT ITER 2770 NEW BEST:: SOT 62899 SOS 14261 HAS SOPS 14261 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13041.261
AT ITER 2793 NEW BEST:: SOT 62903 SOS 14266 HAS SOPS 14266 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13037.266
AT ITER 2795 NEW BEST:: SOT 62892 SOS 14244 HAS SOPS 14244 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13015.244
AT ITER 2806 NEW BEST:: SOT 62878 SOS 14192 HAS SOPS 14192 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 12977.192
AT ITER 2812 NEW BEST:: SOT 62874 SOS 14173 HAS SOPS 14173 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12958.173
AT ITER 2845 NEW BEST:: SOT 62843 SOS 14142 HAS SOPS 14142 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12927.142
AT ITER 2908 NEW BEST:: SOT 62843 SOS 14122 HAS SOPS 14122 HAS SOUS 12893 HAS SOUPS 12893 WITH SCORE 12907.122
AT ITER 2956 NEW BEST:: SOT 62839 SOS 14106 HAS SOPS 14106 HAS SOUS 12884 HAS SOUPS 12884 WITH SCORE 12898.106
AT ITER 2961 NEW BEST:: SOT 62839 SOS 14076 HAS SOPS 14076 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12888.076
AT ITER 2977 NEW BEST:: SOT 62839 SOS 14072 HAS SOPS 14072 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.072
AT ITER 2984 NEW BEST:: SOT 62824 SOS 14047 HAS SOPS 14047 HAS SOUS 12861 HAS SOUPS 12861 WITH SCORE 12875.047
AT ITER 3030 NEW BEST:: SOT 62824 SOS 14029 HAS SOPS 14029 HAS SOUS 12861 HAS SOUPS 12861 WITH SCORE 12875.029
AT ITER 3057 NEW BEST:: SOT 62823 SOS 14027 HAS SOPS 14027 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12873.027
AT ITER 3062 NEW BEST:: SOT 62819 SOS 14023 HAS SOPS 14023 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12865.023
AT ITER 3064 NEW BEST:: SOT 62834 SOS 14021 HAS SOPS 14021 HAS SOUS 12844 HAS SOUPS 12844 WITH SCORE 12858.021
AT ITER 3122 NEW BEST:: SOT 62814 SOS 13975 HAS SOPS 13975 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12811.975
AT ITER 3126 NEW BEST:: SOT 62811 SOS 13969 HAS SOPS 13969 HAS SOUS 12789 HAS SOUPS 12789 WITH SCORE 12802.969
AT ITER 3127 NEW BEST:: SOT 62829 SOS 13936 HAS SOPS 13936 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12769.936
AT ITER 3132 NEW BEST:: SOT 62789 SOS 13912 HAS SOPS 13912 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12699.912
AT ITER 3175 NEW BEST:: SOT 62774 SOS 13856 HAS SOPS 13856 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12669.856
AT ITER 3196 NEW BEST:: SOT 62773 SOS 13855 HAS SOPS 13855 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12668.855
AT ITER 3227 NEW BEST:: SOT 62773 SOS 13846 HAS SOPS 13846 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12659.846
AT ITER 3231 NEW BEST:: SOT 62773 SOS 13784 HAS SOPS 13784 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12659.784
AT ITER 3251 NEW BEST:: SOT 62765 SOS 13776 HAS SOPS 13776 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12643.776
AT ITER 3285 NEW BEST:: SOT 62765 SOS 13698 HAS SOPS 13698 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12611.698
AT ITER 3291 NEW BEST:: SOT 62757 SOS 13709 HAS SOPS 13709 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12610.709
AT ITER 3321 NEW BEST:: SOT 62741 SOS 13737 HAS SOPS 13737 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12606.737
AT ITER 3326 NEW BEST:: SOT 62723 SOS 13719 HAS SOPS 13719 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12595.719
AT ITER 3333 NEW BEST:: SOT 62722 SOS 13716 HAS SOPS 13716 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12593.716
AT ITER 3349 NEW BEST:: SOT 62718 SOS 13712 HAS SOPS 13712 HAS SOUS 12576 HAS SOUPS 12576 WITH SCORE 12589.712
AT ITER 3371 NEW BEST:: SOT 62715 SOS 13706 HAS SOPS 13706 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12586.706
AT ITER 3386 NEW BEST:: SOT 62698 SOS 13770 HAS SOPS 13770 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12534.77
AT ITER 3389 NEW BEST:: SOT 62694 SOS 13762 HAS SOPS 13762 HAS SOUS 12513 HAS SOUPS 12513 WITH SCORE 12526.762
AT ITER 3393 NEW BEST:: SOT 62724 SOS 13754 HAS SOPS 13754 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12518.754
AT ITER 3395 NEW BEST:: SOT 62724 SOS 13708 HAS SOPS 13708 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12518.708
AT ITER 3402 NEW BEST:: SOT 62724 SOS 13703 HAS SOPS 13703 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12511.703
AT ITER 3405 NEW BEST:: SOT 62724 SOS 13703 HAS SOPS 13703 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12508.703
AT ITER 3408 NEW BEST:: SOT 62724 SOS 13679 HAS SOPS 13679 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12508.679
AT ITER 3413 NEW BEST:: SOT 62704 SOS 13667 HAS SOPS 13667 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12487.667
AT ITER 3423 NEW BEST:: SOT 62672 SOS 13635 HAS SOPS 13635 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12455.635
AT ITER 3435 NEW BEST:: SOT 62672 SOS 13629 HAS SOPS 13629 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12455.629
AT ITER 3452 NEW BEST:: SOT 62634 SOS 13520 HAS SOPS 13520 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12352.52
AT ITER 3464 NEW BEST:: SOT 62634 SOS 13503 HAS SOPS 13503 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12352.503
AT ITER 3471 NEW BEST:: SOT 62631 SOS 13497 HAS SOPS 13497 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12349.497
AT ITER 3480 NEW BEST:: SOT 62619 SOS 13488 HAS SOPS 13488 HAS SOUS 12333 HAS SOUPS 12333 WITH SCORE 12346.488
AT ITER 3515 NEW BEST:: SOT 62607 SOS 13464 HAS SOPS 13464 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12322.464
AT ITER 3530 NEW BEST:: SOT 62609 SOS 13480 HAS SOPS 13480 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12297.48
AT ITER 3531 NEW BEST:: SOT 62608 SOS 13499 HAS SOPS 13499 HAS SOUS 12262 HAS SOUPS 12262 WITH SCORE 12275.499
AT ITER 3592 NEW BEST:: SOT 62605 SOS 13490 HAS SOPS 13490 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12268.49
AT ITER 3601 NEW BEST:: SOT 62605 SOS 13489 HAS SOPS 13489 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12267.489
AT ITER 3602 NEW BEST:: SOT 62605 SOS 13489 HAS SOPS 13489 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12248.489
AT ITER 3605 NEW BEST:: SOT 62605 SOS 13489 HAS SOPS 13489 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12242.489
AT ITER 3611 NEW BEST:: SOT 62605 SOS 13480 HAS SOPS 13480 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12233.48
AT ITER 3652 NEW BEST:: SOT 62605 SOS 13446 HAS SOPS 13446 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12223.446
AT ITER 3660 NEW BEST:: SOT 62598 SOS 13405 HAS SOPS 13405 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12207.405
AT ITER 3661 NEW BEST:: SOT 62598 SOS 13401 HAS SOPS 13401 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12207.401
AT ITER 3682 NEW BEST:: SOT 62599 SOS 13402 HAS SOPS 13402 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12206.402
AT ITER 3718 NEW BEST:: SOT 62584 SOS 13372 HAS SOPS 13372 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12195.372
AT ITER 3739 NEW BEST:: SOT 62580 SOS 13360 HAS SOPS 13360 HAS SOUS 12174 HAS SOUPS 12174 WITH SCORE 12187.36
AT ITER 3759 NEW BEST:: SOT 62551 SOS 13339 HAS SOPS 13339 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12166.339
AT ITER 3815 NEW BEST:: SOT 62551 SOS 13330 HAS SOPS 13330 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12166.33
AT ITER 3858 NEW BEST:: SOT 62557 SOS 13327 HAS SOPS 13327 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12163.327
AT ITER 3884 NEW BEST:: SOT 62550 SOS 13320 HAS SOPS 13320 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12156.32
AT ITER 3885 NEW BEST:: SOT 62531 SOS 13320 HAS SOPS 13320 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12137.32
AT ITER 3890 NEW BEST:: SOT 62517 SOS 13351 HAS SOPS 13351 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12123.351
AT ITER 3911 NEW BEST:: SOT 62494 SOS 13328 HAS SOPS 13328 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12077.328
AT ITER 3917 NEW BEST:: SOT 62494 SOS 13328 HAS SOPS 13328 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12073.328
AT ITER 3922 NEW BEST:: SOT 62496 SOS 13319 HAS SOPS 13319 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12064.319
AT ITER 3924 NEW BEST:: SOT 62500 SOS 13323 HAS SOPS 13323 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12063.323
AT ITER 3995 NEW BEST:: SOT 62500 SOS 13321 HAS SOPS 13321 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12063.321
AT ITER 4008 NEW BEST:: SOT 62487 SOS 13290 HAS SOPS 13290 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12045.29
AT ITER 4063 NEW BEST:: SOT 62479 SOS 13274 HAS SOPS 13274 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12039.274
AT ITER 4083 NEW BEST:: SOT 62494 SOS 13273 HAS SOPS 13273 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.273
AT ITER 4085 NEW BEST:: SOT 62484 SOS 13253 HAS SOPS 13253 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12023.253
AT ITER 4131 NEW BEST:: SOT 62461 SOS 13147 HAS SOPS 13147 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11952.147
AT ITER 4133 NEW BEST:: SOT 62462 SOS 13139 HAS SOPS 13139 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11944.139
AT ITER 4139 NEW BEST:: SOT 62425 SOS 13015 HAS SOPS 13015 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11866.015
AT ITER 4168 NEW BEST:: SOT 62403 SOS 13007 HAS SOPS 13007 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.007
AT ITER 4192 NEW BEST:: SOT 62399 SOS 12999 HAS SOPS 12999 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11851.999
AT ITER 4216 NEW BEST:: SOT 62399 SOS 12962 HAS SOPS 12962 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11834.962
AT ITER 4230 NEW BEST:: SOT 62396 SOS 12950 HAS SOPS 12950 HAS SOUS 11810 HAS SOUPS 11810 WITH SCORE 11822.95
AT ITER 4236 NEW BEST:: SOT 62398 SOS 12920 HAS SOPS 12920 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11802.92
AT ITER 4247 NEW BEST:: SOT 62385 SOS 12894 HAS SOPS 12894 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11789.894
AT ITER 4255 NEW BEST:: SOT 62390 SOS 12889 HAS SOPS 12889 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11784.889
AT ITER 4276 NEW BEST:: SOT 62386 SOS 12885 HAS SOPS 12885 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11780.885
AT ITER 4308 NEW BEST:: SOT 62385 SOS 12873 HAS SOPS 12873 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11778.873
AT ITER 4318 NEW BEST:: SOT 62403 SOS 12800 HAS SOPS 12800 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11710.8
AT ITER 4324 NEW BEST:: SOT 62363 SOS 12720 HAS SOPS 12720 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11671.72
AT ITER 4355 NEW BEST:: SOT 62357 SOS 12714 HAS SOPS 12714 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11665.714
AT ITER 4359 NEW BEST:: SOT 62363 SOS 12701 HAS SOPS 12701 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11620.701
AT ITER 4383 NEW BEST:: SOT 62374 SOS 12765 HAS SOPS 12765 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11613.765
AT ITER 4465 NEW BEST:: SOT 62374 SOS 12761 HAS SOPS 12761 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11613.761
AT ITER 4536 NEW BEST:: SOT 62374 SOS 12747 HAS SOPS 12747 HAS SOUS 11594 HAS SOUPS 11594 WITH SCORE 11606.747
AT ITER 4543 NEW BEST:: SOT 62366 SOS 12743 HAS SOPS 12743 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11602.743
AT ITER 4552 NEW BEST:: SOT 62364 SOS 12743 HAS SOPS 12743 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11600.743
AT ITER 4565 NEW BEST:: SOT 62369 SOS 12741 HAS SOPS 12741 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11598.741
AT ITER 4664 NEW BEST:: SOT 62347 SOS 12697 HAS SOPS 12697 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11554.697
AT ITER 4665 NEW BEST:: SOT 62352 SOS 12687 HAS SOPS 12687 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11544.687
AT ITER 4679 NEW BEST:: SOT 62329 SOS 12651 HAS SOPS 12651 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11508.651
AT ITER 4694 NEW BEST:: SOT 62329 SOS 12641 HAS SOPS 12641 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11506.641
AT ITER 4727 NEW BEST:: SOT 62310 SOS 12597 HAS SOPS 12597 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11500.597
AT ITER 4730 NEW BEST:: SOT 62287 SOS 12554 HAS SOPS 12554 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11479.554
AT ITER 4757 NEW BEST:: SOT 62275 SOS 12547 HAS SOPS 12547 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11472.547
AT ITER 4782 NEW BEST:: SOT 62232 SOS 12360 HAS SOPS 12360 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11352.36
AT ITER 4791 NEW BEST:: SOT 62230 SOS 12358 HAS SOPS 12358 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11350.358
AT ITER 4796 NEW BEST:: SOT 62230 SOS 12359 HAS SOPS 12359 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11349.359
AT ITER 4827 NEW BEST:: SOT 62227 SOS 12356 HAS SOPS 12356 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.356
AT ITER 4853 NEW BEST:: SOT 62216 SOS 12345 HAS SOPS 12345 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.345
AT ITER 4889 NEW BEST:: SOT 62195 SOS 12336 HAS SOPS 12336 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11337.336
AT ITER 4895 NEW BEST:: SOT 62205 SOS 12325 HAS SOPS 12325 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11326.325
AT ITER 4901 NEW BEST:: SOT 62205 SOS 12310 HAS SOPS 12310 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11326.31
AT ITER 4963 NEW BEST:: SOT 62201 SOS 12310 HAS SOPS 12310 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11322.31
AT ITER 4984 NEW BEST:: SOT 62198 SOS 12302 HAS SOPS 12302 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11321.302
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-00 ( ( ( ((potential((tk(P152)>=1)))) | ( ( (! ((potential((tk(P100)>=1))))) & ((potential((tk(P216)>=1)))) ) & (AX( ((potential((tk(P116)>=1)))))) ) ) | ( ((potential((tk(P179)>=1)))) & (AG( ( ((potential((tk(P35)>=1)))) & ((potential((tk(P285)>=1)))) ))) ) ) | (EF( ((potential((tk(P345)>=1)))))) )
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-01 ( (EU( (AF( ((potential((tk(P149)>=1)))))) , (! (! ((potential((tk(P79)>=1)))))) )) & (EF( (! ( (! ((potential((tk(P2)>=1))))) | ( ((potential((tk(P106)>=1) & (tk(P165)>=1)))) & ((potential((tk(P55)>=1)))) ) )))) )
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-02 (EG( (! (EG( (! ((potential((tk(P135)>=1))))))))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-03 (AX( (! (EF( ((potential((tk(P161)>=1) & (tk(P180)>=1)))))))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-04 (AF( ( ( (! (! ((potential((tk(P95)>=1) & (tk(P93)>=1)))))) & ((potential((tk(P286)>=1)))) ) | (AX( ( ((potential((tk(P256)>=1)))) & ((potential((tk(P45)>=1)))) ))) )))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-05 (EU( ( ( (! ((potential((tk(P223)>=1))))) | ((potential((tk(P25)>=1) & (tk(P64)>=1)))) ) | (EG( ((potential((tk(P204)>=1)))))) ) , ( (! ((potential((tk(P194)>=1))))) & (EF( ((potential((tk(P156)>=1)))))) ) ))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-06 (EF( ( (EF( ( ((potential((tk(P350)>=1)))) & ((potential((tk(P58)>=1)))) ))) & ( ( ( ((potential((tk(P210)>=1)))) | ((potential((tk(P339)>=1)))) ) | ((potential((tk(P251)>=1)))) ) | ( (! ((potential((tk(P287)>=1))))) & ((potential((tk(P91)>=1)))) ) ) )))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-07 (EF( (! (! (AX( ((potential((tk(P254)>=1))))))))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-08 (EF( (EX( ( ((potential((tk(P138)>=1)))) | ( ((potential((tk(P130)>=1)))) | ((potential((tk(P229)>=1)))) ) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-09 (EF( (EG( ( ((potential((tk(P192)>=1)))) & (! ((potential((tk(P225)>=1))))) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-10 (AG( (EF( ((potential((tk(P228)>=1))))))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-11 (EU( ( ((potential((tk(P200)>=1)))) | ( ( ((potential((tk(P107)>=1)))) | ((potential((tk(P238)>=1)))) ) | (! ((potential((tk(P205)>=1))))) ) ) , ( ( ((potential((tk(P345)>=1)))) | ((potential((tk(P131)>=1)))) ) & ( ( ((potential((tk(P63)>=1)))) & ((potential((tk(P172)>=1)))) ) | ((potential((tk(P33)>=1)))) ) ) ))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-12 (AF( (AG( ( (! ((potential((tk(P339)>=1))))) | ((potential((tk(P109)>=1)))) )))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-13 (EF( (EF( (EG( ((potential((tk(P338)>=1))))))))))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-14 (AF( ( ((potential((tk(P315)>=1)))) & ( ( ( ((potential((tk(P139)>=1)))) & ((potential((tk(P125)>=1)))) ) & ((potential((tk(P65)>=1)))) ) | ( (! ((potential((tk(P108)>=1))))) & ( ((potential((tk(P126)>=1)))) | ((potential((tk(P111)>=1) & (tk(P98)>=1) & (tk(P145)>=1)))) ) ) ) )))
PROPERTY: ShieldIIPt-PT-005B-CTLFireability-15 (! (EF( ((potential((tk(P302)>=1) & (tk(P300)>=1)))))))

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="ShieldIIPt-PT-005B"
export BK_EXAMINATION="CTLFireability"
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 ShieldIIPt-PT-005B, examination is CTLFireability"
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-159033469200292"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-005B.tgz
mv ShieldIIPt-PT-005B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;