Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800643.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800643
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 876K
-rw-r--r-- 1 mcc users 5.2K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 10 23:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 10 23:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.9K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 9 12:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 9 12:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K Mar 24 05:37 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 PermAdmissibility-PT-20-CTLCardinality-00
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-01
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-02
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-03
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-04
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-05
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-06
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-07
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-08
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-09
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-10
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-11
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-12
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-13
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-14
FORMULA_NAME PermAdmissibility-PT-20-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645301411

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 20
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 6 NEW BEST:: SOT 73328 SOS 47014 HAS SOPS 47014 HAS SOUS 28595 HAS SOUPS 28595 WITH SCORE 28642.014
AT ITER 9 NEW BEST:: SOT 73040 SOS 46936 HAS SOPS 46936 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28467.936
AT ITER 16 NEW BEST:: SOT 72728 SOS 47134 HAS SOPS 47134 HAS SOUS 28243 HAS SOUPS 28243 WITH SCORE 28290.134
AT ITER 17 NEW BEST:: SOT 72635 SOS 47100 HAS SOPS 47100 HAS SOUS 28179 HAS SOUPS 28179 WITH SCORE 28226.1
AT ITER 18 NEW BEST:: SOT 72851 SOS 47652 HAS SOPS 47652 HAS SOUS 28080 HAS SOUPS 28080 WITH SCORE 28127.652
AT ITER 19 NEW BEST:: SOT 73035 SOS 47999 HAS SOPS 47999 HAS SOUS 27980 HAS SOUPS 27980 WITH SCORE 28027.999
AT ITER 22 NEW BEST:: SOT 72771 SOS 48002 HAS SOPS 48002 HAS SOUS 27781 HAS SOUPS 27781 WITH SCORE 27829.002
AT ITER 23 NEW BEST:: SOT 72555 SOS 48013 HAS SOPS 48013 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27449.013
AT ITER 38 NEW BEST:: SOT 72487 SOS 48080 HAS SOPS 48080 HAS SOUS 27262 HAS SOUPS 27262 WITH SCORE 27310.08
AT ITER 41 NEW BEST:: SOT 72487 SOS 48080 HAS SOPS 48080 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27301.08
AT ITER 51 NEW BEST:: SOT 72369 SOS 47962 HAS SOPS 47962 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27213.962
AT ITER 60 NEW BEST:: SOT 72365 SOS 47973 HAS SOPS 47973 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27211.973
AT ITER 64 NEW BEST:: SOT 72239 SOS 47860 HAS SOPS 47860 HAS SOUS 27097 HAS SOUPS 27097 WITH SCORE 27144.86
AT ITER 78 NEW BEST:: SOT 72158 SOS 48139 HAS SOPS 48139 HAS SOUS 27096 HAS SOUPS 27096 WITH SCORE 27144.139
AT ITER 83 NEW BEST:: SOT 72158 SOS 54464 HAS SOPS 54464 HAS SOUS 27001 HAS SOUPS 27001 WITH SCORE 27055.464
AT ITER 96 NEW BEST:: SOT 71850 SOS 54256 HAS SOPS 54256 HAS SOUS 26715 HAS SOUPS 26715 WITH SCORE 26769.256
AT ITER 107 NEW BEST:: SOT 71826 SOS 55759 HAS SOPS 55759 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26747.759
AT ITER 109 NEW BEST:: SOT 71778 SOS 55711 HAS SOPS 55711 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26663.711
AT ITER 115 NEW BEST:: SOT 71778 SOS 55711 HAS SOPS 55711 HAS SOUS 26531 HAS SOUPS 26531 WITH SCORE 26586.711
AT ITER 120 NEW BEST:: SOT 71777 SOS 55710 HAS SOPS 55710 HAS SOUS 26530 HAS SOUPS 26530 WITH SCORE 26585.71
AT ITER 122 NEW BEST:: SOT 71705 SOS 55880 HAS SOPS 55880 HAS SOUS 26425 HAS SOUPS 26425 WITH SCORE 26480.88
AT ITER 126 NEW BEST:: SOT 71567 SOS 55742 HAS SOPS 55742 HAS SOUS 26338 HAS SOUPS 26338 WITH SCORE 26393.742
AT ITER 131 NEW BEST:: SOT 71507 SOS 55657 HAS SOPS 55657 HAS SOUS 26325 HAS SOUPS 26325 WITH SCORE 26380.657
AT ITER 140 NEW BEST:: SOT 71285 SOS 55523 HAS SOPS 55523 HAS SOUS 26224 HAS SOUPS 26224 WITH SCORE 26279.523
AT ITER 153 NEW BEST:: SOT 71255 SOS 55493 HAS SOPS 55493 HAS SOUS 26216 HAS SOUPS 26216 WITH SCORE 26271.493
AT ITER 164 NEW BEST:: SOT 71255 SOS 55493 HAS SOPS 55493 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26164.493
AT ITER 180 NEW BEST:: SOT 71088 SOS 55326 HAS SOPS 55326 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26151.326
AT ITER 181 NEW BEST:: SOT 71088 SOS 58257 HAS SOPS 58257 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26126.257
AT ITER 187 NEW BEST:: SOT 70982 SOS 58151 HAS SOPS 58151 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26074.151
AT ITER 207 NEW BEST:: SOT 71013 SOS 58182 HAS SOPS 58182 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25982.182
AT ITER 210 NEW BEST:: SOT 70874 SOS 58043 HAS SOPS 58043 HAS SOUS 25905 HAS SOUPS 25905 WITH SCORE 25963.043
AT ITER 225 NEW BEST:: SOT 70826 SOS 57995 HAS SOPS 57995 HAS SOUS 25854 HAS SOUPS 25854 WITH SCORE 25911.995
AT ITER 229 NEW BEST:: SOT 70826 SOS 58520 HAS SOPS 58520 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25760.52
AT ITER 230 NEW BEST:: SOT 70826 SOS 58520 HAS SOPS 58520 HAS SOUS 25698 HAS SOUPS 25698 WITH SCORE 25756.52
AT ITER 243 NEW BEST:: SOT 70826 SOS 58520 HAS SOPS 58520 HAS SOUS 25667 HAS SOUPS 25667 WITH SCORE 25725.52
AT ITER 248 NEW BEST:: SOT 70664 SOS 58358 HAS SOPS 58358 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25630.358
AT ITER 252 NEW BEST:: SOT 70598 SOS 58292 HAS SOPS 58292 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25612.292
AT ITER 255 NEW BEST:: SOT 70553 SOS 58247 HAS SOPS 58247 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25612.247
AT ITER 263 NEW BEST:: SOT 70531 SOS 58225 HAS SOPS 58225 HAS SOUS 25479 HAS SOUPS 25479 WITH SCORE 25537.225
AT ITER 269 NEW BEST:: SOT 70519 SOS 58257 HAS SOPS 58257 HAS SOUS 25451 HAS SOUPS 25451 WITH SCORE 25509.257
AT ITER 277 NEW BEST:: SOT 70519 SOS 58257 HAS SOPS 58257 HAS SOUS 25374 HAS SOUPS 25374 WITH SCORE 25432.257
AT ITER 306 NEW BEST:: SOT 70265 SOS 58003 HAS SOPS 58003 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25337.003
AT ITER 342 NEW BEST:: SOT 70244 SOS 57982 HAS SOPS 57982 HAS SOUS 25266 HAS SOUPS 25266 WITH SCORE 25323.982
AT ITER 344 NEW BEST:: SOT 70242 SOS 57980 HAS SOPS 57980 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25321.98
AT ITER 347 NEW BEST:: SOT 70180 SOS 57918 HAS SOPS 57918 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25271.918
AT ITER 369 NEW BEST:: SOT 69868 SOS 57606 HAS SOPS 57606 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 25012.606
AT ITER 374 NEW BEST:: SOT 69662 SOS 57348 HAS SOPS 57348 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24863.348
AT ITER 378 NEW BEST:: SOT 69556 SOS 57218 HAS SOPS 57218 HAS SOUS 24698 HAS SOUPS 24698 WITH SCORE 24755.218
AT ITER 390 NEW BEST:: SOT 69384 SOS 57094 HAS SOPS 57094 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24500.094
AT ITER 392 NEW BEST:: SOT 69300 SOS 57010 HAS SOPS 57010 HAS SOUS 24418 HAS SOUPS 24418 WITH SCORE 24475.01
AT ITER 394 NEW BEST:: SOT 69258 SOS 56968 HAS SOPS 56968 HAS SOUS 24383 HAS SOUPS 24383 WITH SCORE 24439.968
AT ITER 396 NEW BEST:: SOT 69258 SOS 56968 HAS SOPS 56968 HAS SOUS 24327 HAS SOUPS 24327 WITH SCORE 24383.968
AT ITER 401 NEW BEST:: SOT 69253 SOS 56942 HAS SOPS 56942 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24380.942
AT ITER 402 NEW BEST:: SOT 69250 SOS 56939 HAS SOPS 56939 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24377.939
AT ITER 404 NEW BEST:: SOT 69250 SOS 56939 HAS SOPS 56939 HAS SOUS 24268 HAS SOUPS 24268 WITH SCORE 24324.939
AT ITER 406 NEW BEST:: SOT 69200 SOS 56889 HAS SOPS 56889 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24285.889
AT ITER 413 NEW BEST:: SOT 69121 SOS 56810 HAS SOPS 56810 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24181.81
AT ITER 430 NEW BEST:: SOT 68778 SOS 52922 HAS SOPS 52922 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24038.922
AT ITER 433 NEW BEST:: SOT 68692 SOS 52836 HAS SOPS 52836 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23952.836
AT ITER 457 NEW BEST:: SOT 68502 SOS 52646 HAS SOPS 52646 HAS SOUS 23760 HAS SOUPS 23760 WITH SCORE 23812.646
AT ITER 463 NEW BEST:: SOT 68410 SOS 52596 HAS SOPS 52596 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23753.596
AT ITER 465 NEW BEST:: SOT 68390 SOS 52576 HAS SOPS 52576 HAS SOUS 23609 HAS SOUPS 23609 WITH SCORE 23661.576
AT ITER 472 NEW BEST:: SOT 68342 SOS 52533 HAS SOPS 52533 HAS SOUS 23573 HAS SOUPS 23573 WITH SCORE 23625.533
AT ITER 475 NEW BEST:: SOT 67880 SOS 52071 HAS SOPS 52071 HAS SOUS 23573 HAS SOUPS 23573 WITH SCORE 23625.071
AT ITER 485 NEW BEST:: SOT 67820 SOS 52050 HAS SOPS 52050 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23568.05
AT ITER 489 NEW BEST:: SOT 67783 SOS 52013 HAS SOPS 52013 HAS SOUS 23434 HAS SOUPS 23434 WITH SCORE 23486.013
AT ITER 500 NEW BEST:: SOT 67783 SOS 52733 HAS SOPS 52733 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23432.733
AT ITER 525 NEW BEST:: SOT 67678 SOS 52739 HAS SOPS 52739 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23429.739
AT ITER 527 NEW BEST:: SOT 67685 SOS 52596 HAS SOPS 52596 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23422.596
AT ITER 550 NEW BEST:: SOT 67629 SOS 52550 HAS SOPS 52550 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23380.55
AT ITER 556 NEW BEST:: SOT 67629 SOS 52460 HAS SOPS 52460 HAS SOUS 23285 HAS SOUPS 23285 WITH SCORE 23337.46
AT ITER 596 NEW BEST:: SOT 67603 SOS 52438 HAS SOPS 52438 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23315.438
AT ITER 611 NEW BEST:: SOT 67603 SOS 52438 HAS SOPS 52438 HAS SOUS 23204 HAS SOUPS 23204 WITH SCORE 23256.438
AT ITER 630 NEW BEST:: SOT 67286 SOS 51997 HAS SOPS 51997 HAS SOUS 23003 HAS SOUPS 23003 WITH SCORE 23054.997
AT ITER 646 NEW BEST:: SOT 67286 SOS 51997 HAS SOPS 51997 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23052.997
AT ITER 650 NEW BEST:: SOT 67250 SOS 51984 HAS SOPS 51984 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 23018.984
AT ITER 651 NEW BEST:: SOT 67263 SOS 51997 HAS SOPS 51997 HAS SOUS 22956 HAS SOUPS 22956 WITH SCORE 23007.997
AT ITER 656 NEW BEST:: SOT 67275 SOS 52009 HAS SOPS 52009 HAS SOUS 22915 HAS SOUPS 22915 WITH SCORE 22967.009
AT ITER 663 NEW BEST:: SOT 67275 SOS 52009 HAS SOPS 52009 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22811.009
AT ITER 668 NEW BEST:: SOT 67275 SOS 52077 HAS SOPS 52077 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22809.077
AT ITER 670 NEW BEST:: SOT 67250 SOS 52052 HAS SOPS 52052 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22718.052
AT ITER 677 NEW BEST:: SOT 67259 SOS 52017 HAS SOPS 52017 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22684.017
AT ITER 683 NEW BEST:: SOT 67259 SOS 52017 HAS SOPS 52017 HAS SOUS 22630 HAS SOUPS 22630 WITH SCORE 22682.017
AT ITER 689 NEW BEST:: SOT 67253 SOS 52011 HAS SOPS 52011 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22662.011
AT ITER 700 NEW BEST:: SOT 67258 SOS 51976 HAS SOPS 51976 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22608.976
AT ITER 701 NEW BEST:: SOT 67314 SOS 52119 HAS SOPS 52119 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22608.119
AT ITER 724 NEW BEST:: SOT 67204 SOS 52433 HAS SOPS 52433 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22345.433
AT ITER 727 NEW BEST:: SOT 67074 SOS 52255 HAS SOPS 52255 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22181.255
AT ITER 736 NEW BEST:: SOT 66927 SOS 52108 HAS SOPS 52108 HAS SOUS 22081 HAS SOUPS 22081 WITH SCORE 22133.108
AT ITER 744 NEW BEST:: SOT 66927 SOS 52108 HAS SOPS 52108 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22115.108
AT ITER 763 NEW BEST:: SOT 66923 SOS 52104 HAS SOPS 52104 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22066.104
AT ITER 767 NEW BEST:: SOT 66885 SOS 52172 HAS SOPS 52172 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21967.172
AT ITER 769 NEW BEST:: SOT 66573 SOS 51759 HAS SOPS 51759 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21649.759
AT ITER 781 NEW BEST:: SOT 66573 SOS 51993 HAS SOPS 51993 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21596.993
AT ITER 791 NEW BEST:: SOT 66603 SOS 52039 HAS SOPS 52039 HAS SOUS 21503 HAS SOUPS 21503 WITH SCORE 21555.039
AT ITER 799 NEW BEST:: SOT 66593 SOS 52029 HAS SOPS 52029 HAS SOUS 21488 HAS SOUPS 21488 WITH SCORE 21540.029
AT ITER 803 NEW BEST:: SOT 66543 SOS 52028 HAS SOPS 52028 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21531.028
AT ITER 864 NEW BEST:: SOT 66567 SOS 52052 HAS SOPS 52052 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21459.052
AT ITER 873 NEW BEST:: SOT 66507 SOS 51992 HAS SOPS 51992 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21433.992
AT ITER 887 NEW BEST:: SOT 66474 SOS 51968 HAS SOPS 51968 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21408.968
AT ITER 922 NEW BEST:: SOT 66510 SOS 52868 HAS SOPS 52868 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21387.868
AT ITER 924 NEW BEST:: SOT 66510 SOS 52228 HAS SOPS 52228 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21382.228
AT ITER 929 NEW BEST:: SOT 66510 SOS 52228 HAS SOPS 52228 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21374.228
AT ITER 932 NEW BEST:: SOT 66502 SOS 52220 HAS SOPS 52220 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21373.22
AT ITER 943 NEW BEST:: SOT 66492 SOS 52210 HAS SOPS 52210 HAS SOUS 21263 HAS SOUPS 21263 WITH SCORE 21315.21
AT ITER 971 NEW BEST:: SOT 66596 SOS 52777 HAS SOPS 52777 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21228.777
AT ITER 982 NEW BEST:: SOT 66599 SOS 52750 HAS SOPS 52750 HAS SOUS 21171 HAS SOUPS 21171 WITH SCORE 21223.75
AT ITER 984 NEW BEST:: SOT 66583 SOS 52737 HAS SOPS 52737 HAS SOUS 21160 HAS SOUPS 21160 WITH SCORE 21212.737
AT ITER 1013 NEW BEST:: SOT 66569 SOS 52721 HAS SOPS 52721 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21199.721
AT ITER 1018 NEW BEST:: SOT 66575 SOS 52727 HAS SOPS 52727 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21188.727
AT ITER 1020 NEW BEST:: SOT 66244 SOS 52396 HAS SOPS 52396 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20922.396
AT ITER 1022 NEW BEST:: SOT 66258 SOS 52410 HAS SOPS 52410 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20920.41
AT ITER 1064 NEW BEST:: SOT 66258 SOS 52410 HAS SOPS 52410 HAS SOUS 20720 HAS SOUPS 20720 WITH SCORE 20772.41
AT ITER 1074 NEW BEST:: SOT 66268 SOS 52420 HAS SOPS 52420 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20742.42
AT ITER 1093 NEW BEST:: SOT 66082 SOS 52234 HAS SOPS 52234 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20693.234
AT ITER 1097 NEW BEST:: SOT 65942 SOS 52123 HAS SOPS 52123 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20595.123
AT ITER 1114 NEW BEST:: SOT 65862 SOS 52043 HAS SOPS 52043 HAS SOUS 20510 HAS SOUPS 20510 WITH SCORE 20562.043
AT ITER 1123 NEW BEST:: SOT 65878 SOS 52059 HAS SOPS 52059 HAS SOUS 20464 HAS SOUPS 20464 WITH SCORE 20516.059
AT ITER 1125 NEW BEST:: SOT 65877 SOS 52058 HAS SOPS 52058 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20510.058
AT ITER 1144 NEW BEST:: SOT 65843 SOS 52006 HAS SOPS 52006 HAS SOUS 20415 HAS SOUPS 20415 WITH SCORE 20467.006
AT ITER 1157 NEW BEST:: SOT 65843 SOS 52006 HAS SOPS 52006 HAS SOUS 20390 HAS SOUPS 20390 WITH SCORE 20442.006
AT ITER 1168 NEW BEST:: SOT 65670 SOS 49651 HAS SOPS 49651 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20326.651
AT ITER 1189 NEW BEST:: SOT 65567 SOS 49512 HAS SOPS 49512 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20239.512
AT ITER 1193 NEW BEST:: SOT 65567 SOS 49512 HAS SOPS 49512 HAS SOUS 20180 HAS SOUPS 20180 WITH SCORE 20229.512
AT ITER 1231 NEW BEST:: SOT 65559 SOS 49504 HAS SOPS 49504 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20221.504
AT ITER 1256 NEW BEST:: SOT 65565 SOS 50274 HAS SOPS 50274 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20218.274
AT ITER 1257 NEW BEST:: SOT 65466 SOS 50175 HAS SOPS 50175 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20039.175
AT ITER 1264 NEW BEST:: SOT 64808 SOS 48108 HAS SOPS 48108 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19555.108
AT ITER 1273 NEW BEST:: SOT 64808 SOS 48108 HAS SOPS 48108 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19550.108
AT ITER 1276 NEW BEST:: SOT 64798 SOS 47860 HAS SOPS 47860 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19549.86
AT ITER 1324 NEW BEST:: SOT 64822 SOS 47884 HAS SOPS 47884 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19485.884
AT ITER 1326 NEW BEST:: SOT 64758 SOS 47823 HAS SOPS 47823 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19413.823
AT ITER 1380 NEW BEST:: SOT 64510 SOS 48155 HAS SOPS 48155 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19404.155
AT ITER 1385 NEW BEST:: SOT 64510 SOS 48155 HAS SOPS 48155 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19388.155
AT ITER 1418 NEW BEST:: SOT 64522 SOS 49405 HAS SOPS 49405 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19341.405
AT ITER 1428 NEW BEST:: SOT 64378 SOS 49261 HAS SOPS 49261 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19197.261
AT ITER 1431 NEW BEST:: SOT 64360 SOS 49243 HAS SOPS 49243 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19174.243
AT ITER 1453 NEW BEST:: SOT 64160 SOS 48961 HAS SOPS 48961 HAS SOUS 18804 HAS SOUPS 18804 WITH SCORE 18852.961
AT ITER 1454 NEW BEST:: SOT 64160 SOS 48961 HAS SOPS 48961 HAS SOUS 18791 HAS SOUPS 18791 WITH SCORE 18839.961
AT ITER 1513 NEW BEST:: SOT 64118 SOS 48919 HAS SOPS 48919 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18725.919
AT ITER 1520 NEW BEST:: SOT 64068 SOS 48869 HAS SOPS 48869 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18723.869
AT ITER 1536 NEW BEST:: SOT 64068 SOS 48869 HAS SOPS 48869 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18709.869
AT ITER 1548 NEW BEST:: SOT 64068 SOS 48869 HAS SOPS 48869 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18697.869
AT ITER 1553 NEW BEST:: SOT 63898 SOS 48679 HAS SOPS 48679 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18528.679
AT ITER 1646 NEW BEST:: SOT 63836 SOS 48617 HAS SOPS 48617 HAS SOUS 18453 HAS SOUPS 18453 WITH SCORE 18501.617
AT ITER 1650 NEW BEST:: SOT 63855 SOS 48636 HAS SOPS 48636 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18477.636
AT ITER 1694 NEW BEST:: SOT 63855 SOS 48636 HAS SOPS 48636 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18438.636
AT ITER 1726 NEW BEST:: SOT 63855 SOS 48188 HAS SOPS 48188 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18438.188
AT ITER 1745 NEW BEST:: SOT 63825 SOS 48158 HAS SOPS 48158 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18408.158
AT ITER 1748 NEW BEST:: SOT 63841 SOS 48174 HAS SOPS 48174 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18395.174
AT ITER 1750 NEW BEST:: SOT 63823 SOS 48243 HAS SOPS 48243 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18347.243
AT ITER 1766 NEW BEST:: SOT 63781 SOS 48199 HAS SOPS 48199 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18326.199
AT ITER 1780 NEW BEST:: SOT 63767 SOS 48185 HAS SOPS 48185 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18322.185
AT ITER 1817 NEW BEST:: SOT 63799 SOS 48217 HAS SOPS 48217 HAS SOUS 18263 HAS SOUPS 18263 WITH SCORE 18311.217
AT ITER 1818 NEW BEST:: SOT 63799 SOS 47833 HAS SOPS 47833 HAS SOUS 18263 HAS SOUPS 18263 WITH SCORE 18310.833
AT ITER 1820 NEW BEST:: SOT 63799 SOS 47833 HAS SOPS 47833 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18306.833
AT ITER 1847 NEW BEST:: SOT 63731 SOS 47765 HAS SOPS 47765 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18238.765
AT ITER 1871 NEW BEST:: SOT 63731 SOS 47765 HAS SOPS 47765 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18214.765
AT ITER 1872 NEW BEST:: SOT 63731 SOS 47765 HAS SOPS 47765 HAS SOUS 18165 HAS SOUPS 18165 WITH SCORE 18212.765
AT ITER 1878 NEW BEST:: SOT 63731 SOS 47765 HAS SOPS 47765 HAS SOUS 18147 HAS SOUPS 18147 WITH SCORE 18194.765
AT ITER 1899 NEW BEST:: SOT 63815 SOS 47730 HAS SOPS 47730 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18179.73
AT ITER 1905 NEW BEST:: SOT 63815 SOS 47730 HAS SOPS 47730 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18171.73
AT ITER 1924 NEW BEST:: SOT 63847 SOS 47923 HAS SOPS 47923 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18148.923
AT ITER 1926 NEW BEST:: SOT 63847 SOS 47923 HAS SOPS 47923 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18144.923
AT ITER 1958 NEW BEST:: SOT 63841 SOS 47919 HAS SOPS 47919 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18139.919
AT ITER 1976 NEW BEST:: SOT 63808 SOS 47886 HAS SOPS 47886 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18058.886
AT ITER 1996 NEW BEST:: SOT 63816 SOS 47858 HAS SOPS 47858 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18046.858
AT ITER 2028 NEW BEST:: SOT 63736 SOS 47756 HAS SOPS 47756 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17956.756
AT ITER 2039 NEW BEST:: SOT 63744 SOS 47764 HAS SOPS 47764 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17946.764
AT ITER 2044 NEW BEST:: SOT 63728 SOS 47759 HAS SOPS 47759 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17941.759
AT ITER 2073 NEW BEST:: SOT 63718 SOS 47750 HAS SOPS 47750 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17927.75
AT ITER 2080 NEW BEST:: SOT 63663 SOS 47534 HAS SOPS 47534 HAS SOUS 17859 HAS SOUPS 17859 WITH SCORE 17906.534
AT ITER 2095 NEW BEST:: SOT 63663 SOS 47534 HAS SOPS 47534 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17894.534
AT ITER 2128 NEW BEST:: SOT 63663 SOS 47286 HAS SOPS 47286 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17893.286
AT ITER 2161 NEW BEST:: SOT 63671 SOS 47298 HAS SOPS 47298 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17891.298
AT ITER 2162 NEW BEST:: SOT 63589 SOS 47216 HAS SOPS 47216 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17656.216
AT ITER 2178 NEW BEST:: SOT 63585 SOS 47225 HAS SOPS 47225 HAS SOUS 17603 HAS SOUPS 17603 WITH SCORE 17650.225
AT ITER 2187 NEW BEST:: SOT 63581 SOS 47234 HAS SOPS 47234 HAS SOUS 17597 HAS SOUPS 17597 WITH SCORE 17644.234
AT ITER 2196 NEW BEST:: SOT 63541 SOS 47194 HAS SOPS 47194 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17575.194
AT ITER 2237 NEW BEST:: SOT 63541 SOS 47194 HAS SOPS 47194 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17559.194
AT ITER 2296 NEW BEST:: SOT 63541 SOS 47194 HAS SOPS 47194 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17554.194
AT ITER 2361 NEW BEST:: SOT 63541 SOS 47193 HAS SOPS 47193 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17552.193
AT ITER 2419 NEW BEST:: SOT 63541 SOS 47193 HAS SOPS 47193 HAS SOUS 17499 HAS SOUPS 17499 WITH SCORE 17546.193
AT ITER 2428 NEW BEST:: SOT 63541 SOS 46713 HAS SOPS 46713 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17538.713
AT ITER 2435 NEW BEST:: SOT 63541 SOS 46713 HAS SOPS 46713 HAS SOUS 17490 HAS SOUPS 17490 WITH SCORE 17536.713
AT ITER 2454 NEW BEST:: SOT 63553 SOS 46725 HAS SOPS 46725 HAS SOUS 17469 HAS SOUPS 17469 WITH SCORE 17515.725
AT ITER 2497 NEW BEST:: SOT 63496 SOS 46668 HAS SOPS 46668 HAS SOUS 17465 HAS SOUPS 17465 WITH SCORE 17511.668
AT ITER 2521 NEW BEST:: SOT 63496 SOS 46604 HAS SOPS 46604 HAS SOUS 17465 HAS SOUPS 17465 WITH SCORE 17511.604
AT ITER 2524 NEW BEST:: SOT 63471 SOS 46387 HAS SOPS 46387 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17474.387
AT ITER 2564 NEW BEST:: SOT 63441 SOS 46238 HAS SOPS 46238 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17418.238
AT ITER 2626 NEW BEST:: SOT 63441 SOS 46014 HAS SOPS 46014 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17418.014
AT ITER 2654 NEW BEST:: SOT 63432 SOS 46008 HAS SOPS 46008 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17412.008
AT ITER 2657 NEW BEST:: SOT 63428 SOS 46004 HAS SOPS 46004 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17408.004
AT ITER 2660 NEW BEST:: SOT 63446 SOS 46022 HAS SOPS 46022 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17398.022
AT ITER 2723 NEW BEST:: SOT 63446 SOS 46022 HAS SOPS 46022 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17382.022
AT ITER 2732 NEW BEST:: SOT 63436 SOS 46012 HAS SOPS 46012 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17380.012
AT ITER 2770 NEW BEST:: SOT 63268 SOS 45838 HAS SOPS 45838 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17264.838
AT ITER 2791 NEW BEST:: SOT 63241 SOS 45811 HAS SOPS 45811 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17262.811
AT ITER 2793 NEW BEST:: SOT 63101 SOS 45671 HAS SOPS 45671 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17176.671
AT ITER 2834 NEW BEST:: SOT 63101 SOS 45671 HAS SOPS 45671 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17174.671
AT ITER 2882 NEW BEST:: SOT 63087 SOS 45657 HAS SOPS 45657 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17160.657
AT ITER 3032 NEW BEST:: SOT 63047 SOS 45617 HAS SOPS 45617 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17101.617
AT ITER 3056 NEW BEST:: SOT 63047 SOS 45617 HAS SOPS 45617 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17099.617
AT ITER 3068 NEW BEST:: SOT 63046 SOS 45616 HAS SOPS 45616 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17090.616
AT ITER 3072 NEW BEST:: SOT 63031 SOS 45601 HAS SOPS 45601 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17081.601
AT ITER 3076 NEW BEST:: SOT 63031 SOS 44913 HAS SOPS 44913 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17079.913
AT ITER 3104 NEW BEST:: SOT 63031 SOS 44913 HAS SOPS 44913 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17077.913
AT ITER 3114 NEW BEST:: SOT 63056 SOS 44830 HAS SOPS 44830 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17071.83
AT ITER 3133 NEW BEST:: SOT 63056 SOS 44070 HAS SOPS 44070 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17060.07
AT ITER 3138 NEW BEST:: SOT 63056 SOS 43790 HAS SOPS 43790 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17059.79
AT ITER 3155 NEW BEST:: SOT 62973 SOS 43771 HAS SOPS 43771 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 17016.771
AT ITER 3247 NEW BEST:: SOT 62939 SOS 43754 HAS SOPS 43754 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16991.754
AT ITER 3265 NEW BEST:: SOT 62939 SOS 43754 HAS SOPS 43754 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16933.754
AT ITER 3293 NEW BEST:: SOT 62899 SOS 43714 HAS SOPS 43714 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16933.714
AT ITER 3300 NEW BEST:: SOT 62899 SOS 43715 HAS SOPS 43715 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16930.715
AT ITER 3328 NEW BEST:: SOT 62891 SOS 43725 HAS SOPS 43725 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16895.725
AT ITER 3335 NEW BEST:: SOT 62876 SOS 43710 HAS SOPS 43710 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16846.71
AT ITER 3362 NEW BEST:: SOT 62860 SOS 43694 HAS SOPS 43694 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16830.694
AT ITER 3381 NEW BEST:: SOT 62855 SOS 43689 HAS SOPS 43689 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16817.689
AT ITER 3406 NEW BEST:: SOT 62957 SOS 43805 HAS SOPS 43805 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16804.805
AT ITER 3431 NEW BEST:: SOT 62957 SOS 43789 HAS SOPS 43789 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16804.789
AT ITER 3434 NEW BEST:: SOT 62853 SOS 43232 HAS SOPS 43232 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16722.232
AT ITER 3453 NEW BEST:: SOT 62853 SOS 43234 HAS SOPS 43234 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16712.234
AT ITER 3573 NEW BEST:: SOT 62823 SOS 43301 HAS SOPS 43301 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16672.301
AT ITER 3617 NEW BEST:: SOT 62777 SOS 43243 HAS SOPS 43243 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16623.243
AT ITER 3623 NEW BEST:: SOT 62772 SOS 43234 HAS SOPS 43234 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16615.234
AT ITER 3653 NEW BEST:: SOT 62756 SOS 43218 HAS SOPS 43218 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16606.218
AT ITER 3677 NEW BEST:: SOT 62756 SOS 43218 HAS SOPS 43218 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16585.218
AT ITER 3685 NEW BEST:: SOT 62756 SOS 43215 HAS SOPS 43215 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16582.215
AT ITER 3724 NEW BEST:: SOT 62751 SOS 43210 HAS SOPS 43210 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16577.21
AT ITER 3757 NEW BEST:: SOT 62761 SOS 43220 HAS SOPS 43220 HAS SOUS 16532 HAS SOUPS 16532 WITH SCORE 16575.22
AT ITER 3763 NEW BEST:: SOT 62687 SOS 43158 HAS SOPS 43158 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16570.158
AT ITER 3828 NEW BEST:: SOT 62687 SOS 43158 HAS SOPS 43158 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16554.158
AT ITER 3862 NEW BEST:: SOT 62639 SOS 43187 HAS SOPS 43187 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16546.187
AT ITER 3872 NEW BEST:: SOT 62622 SOS 43145 HAS SOPS 43145 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16529.145
AT ITER 3875 NEW BEST:: SOT 62623 SOS 43681 HAS SOPS 43681 HAS SOUS 16469 HAS SOUPS 16469 WITH SCORE 16512.681
AT ITER 3951 NEW BEST:: SOT 62563 SOS 43621 HAS SOPS 43621 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16452.621
AT ITER 3988 NEW BEST:: SOT 62563 SOS 43581 HAS SOPS 43581 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16452.581
AT ITER 3990 NEW BEST:: SOT 62563 SOS 43575 HAS SOPS 43575 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16445.575
AT ITER 4032 NEW BEST:: SOT 62563 SOS 43415 HAS SOPS 43415 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16445.415
AT ITER 4044 NEW BEST:: SOT 62617 SOS 43724 HAS SOPS 43724 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16441.724
AT ITER 4062 NEW BEST:: SOT 62617 SOS 43541 HAS SOPS 43541 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16441.541
AT ITER 4134 NEW BEST:: SOT 62617 SOS 43535 HAS SOPS 43535 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16438.535
AT ITER 4149 NEW BEST:: SOT 62617 SOS 43535 HAS SOPS 43535 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16434.535
AT ITER 4276 NEW BEST:: SOT 62612 SOS 43530 HAS SOPS 43530 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16423.53
AT ITER 4305 NEW BEST:: SOT 62636 SOS 43554 HAS SOPS 43554 HAS SOUS 16368 HAS SOUPS 16368 WITH SCORE 16411.554
AT ITER 4317 NEW BEST:: SOT 62636 SOS 43554 HAS SOPS 43554 HAS SOUS 16367 HAS SOUPS 16367 WITH SCORE 16410.554
AT ITER 4400 NEW BEST:: SOT 62631 SOS 43551 HAS SOPS 43551 HAS SOUS 16363 HAS SOUPS 16363 WITH SCORE 16406.551
AT ITER 4407 NEW BEST:: SOT 62615 SOS 43535 HAS SOPS 43535 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16398.535
AT ITER 4421 NEW BEST:: SOT 62611 SOS 43534 HAS SOPS 43534 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16395.534
AT ITER 4473 NEW BEST:: SOT 62595 SOS 43502 HAS SOPS 43502 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16382.502
AT ITER 4476 NEW BEST:: SOT 62600 SOS 44778 HAS SOPS 44778 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16377.778
AT ITER 4486 NEW BEST:: SOT 62600 SOS 44738 HAS SOPS 44738 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16377.738
AT ITER 4494 NEW BEST:: SOT 62593 SOS 44731 HAS SOPS 44731 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16347.731
AT ITER 4498 NEW BEST:: SOT 62594 SOS 44732 HAS SOPS 44732 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16346.732
AT ITER 4543 NEW BEST:: SOT 62586 SOS 44724 HAS SOPS 44724 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16338.724
AT ITER 4609 NEW BEST:: SOT 62582 SOS 44720 HAS SOPS 44720 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16334.72
AT ITER 4673 NEW BEST:: SOT 62490 SOS 44665 HAS SOPS 44665 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16319.665
AT ITER 4685 NEW BEST:: SOT 62483 SOS 44612 HAS SOPS 44612 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16290.612
AT ITER 4761 NEW BEST:: SOT 62483 SOS 44484 HAS SOPS 44484 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16290.484
AT ITER 4791 NEW BEST:: SOT 62483 SOS 44484 HAS SOPS 44484 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16284.484
AT ITER 4888 NEW BEST:: SOT 62441 SOS 44443 HAS SOPS 44443 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16254.443
AT ITER 4911 NEW BEST:: SOT 62441 SOS 44443 HAS SOPS 44443 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16250.443
AT ITER 4956 NEW BEST:: SOT 62201 SOS 44203 HAS SOPS 44203 HAS SOUS 16093 HAS SOUPS 16093 WITH SCORE 16137.203
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-00 (! (AG( (AG( potential( (tk(P64) + tk(P65) + tk(P70) + tk(P71) + tk(P74) + tk(P75) + tk(P76) + tk(P77)) <= (tk(P36)) ))))))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-01 (! (EG( ( (! potential( ( 1 ) <= (tk(P58) + tk(P59) + tk(P60) + tk(P62) + tk(P66) + tk(P67) + tk(P68) + tk(P69)) )) | (! potential( ( 2 ) <= (tk(P146) + tk(P147)) )) ))))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-02 ( ( ( (AF(potential( (tk(P124)) <= (tk(P34) + tk(P35) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P44)) ))) | potential( (tk(P102) + tk(P104) + tk(P105) + tk(P107)) <= (tk(P163)) ) ) | ( (EG( potential( (tk(P153)) <= (tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P17)) ))) | (AF(potential( ( 1 ) <= (tk(P50) + tk(P51) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P61)) ))) ) ) & (! ( (AG( potential( (tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33)) <= (tk(P165)) ))) & (EF(potential( ( 3 ) <= (tk(P167) + tk(P168)) ))) )) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-03 ( (! (EG( ( potential( ( 1 ) <= (tk(P166)) ) & potential( ( 2 ) <= (tk(P88) + tk(P94) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101)) ) )))) & (AU( potential( (tk(P50) + tk(P51) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P61)) <= (tk(P146) + tk(P147)) ),( potential( ( 2 ) <= (tk(P146) + tk(P147)) ) & potential( ( 2 ) <= (tk(P80) + tk(P86) + tk(P87) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93)) ) ) )) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-04 (EG( (AF(( potential( ( 1 ) <= (tk(P153)) ) & potential( (tk(P161) + tk(P162)) <= (tk(P167) + tk(P168)) ) )))))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-05 (AU( (EX( potential( (tk(P164)) <= (tk(P50) + tk(P51) + tk(P52) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P61)) ))),(AG( potential( ( 2 ) <= (tk(P158)) ))) ))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-06 (EU( ( potential( (tk(P16)) <= (tk(P42) + tk(P43) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P53)) ) | potential( (tk(P58) + tk(P59) + tk(P60) + tk(P62) + tk(P66) + tk(P67) + tk(P68) + tk(P69)) <= (tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25)) ) ),( ( potential( ( 3 ) <= (tk(P158)) ) & potential( (tk(P146) + tk(P147)) <= (tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25)) ) ) | ( potential( ( 3 ) <= (tk(P80) + tk(P86) + tk(P87) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93)) ) & potential( (tk(P160)) <= (tk(P163)) ) ) ) ))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-07 (AF((! (EF(potential( ( 2 ) <= (tk(P72) + tk(P73) + tk(P78) + tk(P79) + tk(P82) + tk(P83) + tk(P84) + tk(P85)) ))))))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-08 (AG( potential( (tk(P86)) <= (tk(P117)) )))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-09 (EG( (! (EG( potential( (tk(P55)) <= (tk(P59)) ))))))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-10 ( ( ( (! potential( ( 1 ) <= (tk(P7)) )) | potential( (tk(P19)) <= (tk(P79)) ) ) | potential( (tk(P33)) <= (tk(P10)) ) ) & ( ( (AF(potential( ( 1 ) <= (tk(P28)) ))) & (AF(potential( ( 3 ) <= (tk(P135)) ))) ) | (EU( potential( ( 3 ) <= (tk(P41)) ),potential( ( 1 ) <= (tk(P51)) ) )) ) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-11 ( ( (! (! potential( ( 2 ) <= (tk(P121)) ))) & potential( (tk(P140)) <= (tk(P100)) ) ) | (AG( potential( (tk(P72)) <= (tk(P16)) ))) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-12 ( (AF(( ( potential( ( 2 ) <= (tk(P125)) ) & potential( (tk(P16)) <= (tk(P61)) ) ) & (! potential( (tk(P56)) <= (tk(P132)) )) ))) | potential( ( 3 ) <= (tk(P99)) ) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-13 (! ( (EU( potential( (tk(P154)) <= (tk(P34)) ),potential( (tk(P19)) <= (tk(P32)) ) )) & (AU( potential( (tk(P74)) <= (tk(P109)) ),potential( ( 2 ) <= (tk(P42)) ) )) ))
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-14 ( (AG( (AF(potential( (tk(P136)) <= (tk(P126)) ))))) & ( ( (AX( potential( (tk(P126)) <= (tk(P96)) ))) & ( (! potential( (tk(P32)) <= (tk(P7)) )) & ( potential( ( 1 ) <= (tk(P74)) ) & potential( (tk(P93)) <= (tk(P36)) ) ) ) ) | (EF(( potential( (tk(P150)) <= (tk(P128)) ) | potential( ( 3 ) <= (tk(P157)) ) ))) ) )
PROPERTY: PermAdmissibility-PT-20-CTLCardinality-15 (EU( (EF(potential( ( 1 ) <= (tk(P82)) ))),(EF(potential( (tk(P149)) <= (tk(P14)) ))) ))

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="PermAdmissibility-PT-20"
export BK_EXAMINATION="CTLCardinality"
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 PermAdmissibility-PT-20, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250800643"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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