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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.2K May 14 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 17K 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.8K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:50 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 92K 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 ShieldPPPt-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldPPPt-PT-005B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590446644164

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005B
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: 393 places, 358 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 77150 SOS 20642 HAS SOPS 20642 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19122.642
AT ITER 3 NEW BEST:: SOT 77136 SOS 20583 HAS SOPS 20583 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19054.583
AT ITER 23 NEW BEST:: SOT 77081 SOS 20661 HAS SOPS 20661 HAS SOUS 19021 HAS SOUPS 19021 WITH SCORE 19041.661
AT ITER 44 NEW BEST:: SOT 77081 SOS 20648 HAS SOPS 20648 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19028.648
AT ITER 53 NEW BEST:: SOT 77033 SOS 20551 HAS SOPS 20551 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18931.551
AT ITER 78 NEW BEST:: SOT 77048 SOS 20539 HAS SOPS 20539 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18928.539
AT ITER 93 NEW BEST:: SOT 77039 SOS 20530 HAS SOPS 20530 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18919.53
AT ITER 99 NEW BEST:: SOT 77032 SOS 20516 HAS SOPS 20516 HAS SOUS 18885 HAS SOUPS 18885 WITH SCORE 18905.516
AT ITER 150 NEW BEST:: SOT 77028 SOS 20508 HAS SOPS 20508 HAS SOUS 18881 HAS SOUPS 18881 WITH SCORE 18901.508
AT ITER 166 NEW BEST:: SOT 77017 SOS 20491 HAS SOPS 20491 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18884.491
AT ITER 168 NEW BEST:: SOT 77052 SOS 20456 HAS SOPS 20456 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18884.456
AT ITER 190 NEW BEST:: SOT 77052 SOS 20453 HAS SOPS 20453 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18884.453
AT ITER 204 NEW BEST:: SOT 77052 SOS 20453 HAS SOPS 20453 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18881.453
AT ITER 216 NEW BEST:: SOT 77052 SOS 20452 HAS SOPS 20452 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18880.452
AT ITER 225 NEW BEST:: SOT 77104 SOS 20451 HAS SOPS 20451 HAS SOUS 18859 HAS SOUPS 18859 WITH SCORE 18879.451
AT ITER 238 NEW BEST:: SOT 77104 SOS 20445 HAS SOPS 20445 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18870.445
AT ITER 249 NEW BEST:: SOT 77104 SOS 20445 HAS SOPS 20445 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18868.445
AT ITER 251 NEW BEST:: SOT 77125 SOS 20484 HAS SOPS 20484 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18838.484
AT ITER 253 NEW BEST:: SOT 77110 SOS 20498 HAS SOPS 20498 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18823.498
AT ITER 282 NEW BEST:: SOT 77068 SOS 20372 HAS SOPS 20372 HAS SOUS 18761 HAS SOUPS 18761 WITH SCORE 18781.372
AT ITER 294 NEW BEST:: SOT 77010 SOS 20305 HAS SOPS 20305 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18714.305
AT ITER 295 NEW BEST:: SOT 76973 SOS 20228 HAS SOPS 20228 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18637.228
AT ITER 303 NEW BEST:: SOT 76970 SOS 20224 HAS SOPS 20224 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18633.224
AT ITER 318 NEW BEST:: SOT 76970 SOS 20219 HAS SOPS 20219 HAS SOUS 18608 HAS SOUPS 18608 WITH SCORE 18628.219
AT ITER 343 NEW BEST:: SOT 76912 SOS 20253 HAS SOPS 20253 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18600.253
AT ITER 346 NEW BEST:: SOT 76912 SOS 20141 HAS SOPS 20141 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18488.141
AT ITER 364 NEW BEST:: SOT 76912 SOS 20140 HAS SOPS 20140 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18487.14
AT ITER 378 NEW BEST:: SOT 76958 SOS 20165 HAS SOPS 20165 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18466.165
AT ITER 398 NEW BEST:: SOT 77043 SOS 20328 HAS SOPS 20328 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18459.328
AT ITER 410 NEW BEST:: SOT 77008 SOS 20300 HAS SOPS 20300 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18431.3
AT ITER 412 NEW BEST:: SOT 77026 SOS 20299 HAS SOPS 20299 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18411.299
AT ITER 414 NEW BEST:: SOT 77023 SOS 20293 HAS SOPS 20293 HAS SOUS 18388 HAS SOUPS 18388 WITH SCORE 18408.293
AT ITER 438 NEW BEST:: SOT 77015 SOS 20285 HAS SOPS 20285 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18400.285
AT ITER 482 NEW BEST:: SOT 76938 SOS 20283 HAS SOPS 20283 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18398.283
AT ITER 490 NEW BEST:: SOT 76907 SOS 20254 HAS SOPS 20254 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18367.254
AT ITER 518 NEW BEST:: SOT 76907 SOS 20254 HAS SOPS 20254 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18364.254
AT ITER 549 NEW BEST:: SOT 76907 SOS 20248 HAS SOPS 20248 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18358.248
AT ITER 560 NEW BEST:: SOT 76901 SOS 20238 HAS SOPS 20238 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18348.238
AT ITER 590 NEW BEST:: SOT 76901 SOS 20221 HAS SOPS 20221 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18331.221
AT ITER 602 NEW BEST:: SOT 76842 SOS 20216 HAS SOPS 20216 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18315.216
AT ITER 615 NEW BEST:: SOT 76837 SOS 20211 HAS SOPS 20211 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18315.211
AT ITER 625 NEW BEST:: SOT 76837 SOS 20166 HAS SOPS 20166 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18270.166
AT ITER 629 NEW BEST:: SOT 76827 SOS 20146 HAS SOPS 20146 HAS SOUS 18221 HAS SOUPS 18221 WITH SCORE 18241.146
AT ITER 638 NEW BEST:: SOT 76775 SOS 20048 HAS SOPS 20048 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18208.048
AT ITER 673 NEW BEST:: SOT 76775 SOS 20044 HAS SOPS 20044 HAS SOUS 18184 HAS SOUPS 18184 WITH SCORE 18204.044
AT ITER 683 NEW BEST:: SOT 76754 SOS 20195 HAS SOPS 20195 HAS SOUS 18178 HAS SOUPS 18178 WITH SCORE 18198.195
AT ITER 690 NEW BEST:: SOT 76715 SOS 20156 HAS SOPS 20156 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18159.156
AT ITER 694 NEW BEST:: SOT 76682 SOS 20053 HAS SOPS 20053 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18030.053
AT ITER 697 NEW BEST:: SOT 76680 SOS 20036 HAS SOPS 20036 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18013.036
AT ITER 699 NEW BEST:: SOT 76665 SOS 20011 HAS SOPS 20011 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17988.011
AT ITER 745 NEW BEST:: SOT 76625 SOS 19970 HAS SOPS 19970 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17986.97
AT ITER 766 NEW BEST:: SOT 76646 SOS 19950 HAS SOPS 19950 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17966.95
AT ITER 789 NEW BEST:: SOT 76571 SOS 19726 HAS SOPS 19726 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17945.726
AT ITER 794 NEW BEST:: SOT 76608 SOS 19760 HAS SOPS 19760 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17942.76
AT ITER 808 NEW BEST:: SOT 76537 SOS 19755 HAS SOPS 19755 HAS SOUS 17878 HAS SOUPS 17878 WITH SCORE 17897.755
AT ITER 817 NEW BEST:: SOT 76519 SOS 19701 HAS SOPS 19701 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17861.701
AT ITER 824 NEW BEST:: SOT 76526 SOS 19715 HAS SOPS 19715 HAS SOUS 17827 HAS SOUPS 17827 WITH SCORE 17846.715
AT ITER 835 NEW BEST:: SOT 76513 SOS 19727 HAS SOPS 19727 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17833.727
AT ITER 836 NEW BEST:: SOT 76520 SOS 19662 HAS SOPS 19662 HAS SOUS 17802 HAS SOUPS 17802 WITH SCORE 17821.662
AT ITER 842 NEW BEST:: SOT 76520 SOS 19659 HAS SOPS 19659 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17818.659
AT ITER 845 NEW BEST:: SOT 76519 SOS 19658 HAS SOPS 19658 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17817.658
AT ITER 886 NEW BEST:: SOT 76543 SOS 19634 HAS SOPS 19634 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17817.634
AT ITER 891 NEW BEST:: SOT 76538 SOS 19624 HAS SOPS 19624 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17807.624
AT ITER 895 NEW BEST:: SOT 76471 SOS 19558 HAS SOPS 19558 HAS SOUS 17734 HAS SOUPS 17734 WITH SCORE 17753.558
AT ITER 900 NEW BEST:: SOT 76460 SOS 19531 HAS SOPS 19531 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17750.531
AT ITER 902 NEW BEST:: SOT 76445 SOS 19501 HAS SOPS 19501 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17735.501
AT ITER 904 NEW BEST:: SOT 76440 SOS 19496 HAS SOPS 19496 HAS SOUS 17711 HAS SOUPS 17711 WITH SCORE 17730.496
AT ITER 906 NEW BEST:: SOT 76440 SOS 19472 HAS SOPS 19472 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17682.472
AT ITER 911 NEW BEST:: SOT 76453 SOS 19431 HAS SOPS 19431 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17669.431
AT ITER 938 NEW BEST:: SOT 76452 SOS 19429 HAS SOPS 19429 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17640.429
AT ITER 950 NEW BEST:: SOT 76450 SOS 19425 HAS SOPS 19425 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17638.425
AT ITER 952 NEW BEST:: SOT 76441 SOS 19393 HAS SOPS 19393 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17629.393
AT ITER 989 NEW BEST:: SOT 76434 SOS 19386 HAS SOPS 19386 HAS SOUS 17603 HAS SOUPS 17603 WITH SCORE 17622.386
AT ITER 996 NEW BEST:: SOT 76434 SOS 19386 HAS SOPS 19386 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17586.386
AT ITER 999 NEW BEST:: SOT 76433 SOS 19385 HAS SOPS 19385 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17586.385
AT ITER 1006 NEW BEST:: SOT 76433 SOS 19365 HAS SOPS 19365 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17581.365
AT ITER 1030 NEW BEST:: SOT 76454 SOS 19357 HAS SOPS 19357 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17573.357
AT ITER 1036 NEW BEST:: SOT 76448 SOS 19332 HAS SOPS 19332 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17548.332
AT ITER 1046 NEW BEST:: SOT 76437 SOS 19310 HAS SOPS 19310 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17526.31
AT ITER 1068 NEW BEST:: SOT 76432 SOS 19300 HAS SOPS 19300 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17516.3
AT ITER 1071 NEW BEST:: SOT 76428 SOS 19296 HAS SOPS 19296 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17512.296
AT ITER 1076 NEW BEST:: SOT 76420 SOS 19280 HAS SOPS 19280 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17500.28
AT ITER 1095 NEW BEST:: SOT 76420 SOS 19274 HAS SOPS 19274 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17491.274
AT ITER 1117 NEW BEST:: SOT 76459 SOS 19263 HAS SOPS 19263 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17480.263
AT ITER 1119 NEW BEST:: SOT 76443 SOS 19247 HAS SOPS 19247 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17464.247
AT ITER 1128 NEW BEST:: SOT 76443 SOS 19246 HAS SOPS 19246 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17463.246
AT ITER 1137 NEW BEST:: SOT 76443 SOS 19225 HAS SOPS 19225 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17449.225
AT ITER 1158 NEW BEST:: SOT 76443 SOS 19227 HAS SOPS 19227 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17448.227
AT ITER 1169 NEW BEST:: SOT 76443 SOS 19226 HAS SOPS 19226 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17447.226
AT ITER 1180 NEW BEST:: SOT 76476 SOS 19142 HAS SOPS 19142 HAS SOUS 17399 HAS SOUPS 17399 WITH SCORE 17418.142
AT ITER 1186 NEW BEST:: SOT 76476 SOS 19141 HAS SOPS 19141 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17416.141
AT ITER 1219 NEW BEST:: SOT 76462 SOS 19132 HAS SOPS 19132 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17407.132
AT ITER 1242 NEW BEST:: SOT 76424 SOS 19084 HAS SOPS 19084 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17359.084
AT ITER 1289 NEW BEST:: SOT 76406 SOS 19006 HAS SOPS 19006 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17307.006
AT ITER 1318 NEW BEST:: SOT 76387 SOS 19095 HAS SOPS 19095 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17288.095
AT ITER 1320 NEW BEST:: SOT 76375 SOS 19071 HAS SOPS 19071 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17264.071
AT ITER 1359 NEW BEST:: SOT 76430 SOS 19159 HAS SOPS 19159 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17255.159
AT ITER 1400 NEW BEST:: SOT 76430 SOS 19157 HAS SOPS 19157 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17253.157
AT ITER 1403 NEW BEST:: SOT 76418 SOS 19082 HAS SOPS 19082 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17229.082
AT ITER 1414 NEW BEST:: SOT 76403 SOS 19066 HAS SOPS 19066 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17211.066
AT ITER 1418 NEW BEST:: SOT 76410 SOS 19080 HAS SOPS 19080 HAS SOUS 17181 HAS SOUPS 17181 WITH SCORE 17200.08
AT ITER 1435 NEW BEST:: SOT 76406 SOS 19080 HAS SOPS 19080 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17196.08
AT ITER 1449 NEW BEST:: SOT 76403 SOS 19074 HAS SOPS 19074 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17193.074
AT ITER 1458 NEW BEST:: SOT 76403 SOS 19050 HAS SOPS 19050 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17193.05
AT ITER 1476 NEW BEST:: SOT 76375 SOS 18994 HAS SOPS 18994 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17164.994
AT ITER 1496 NEW BEST:: SOT 76352 SOS 18925 HAS SOPS 18925 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17140.925
AT ITER 1547 NEW BEST:: SOT 76352 SOS 18924 HAS SOPS 18924 HAS SOUS 17121 HAS SOUPS 17121 WITH SCORE 17139.924
AT ITER 1585 NEW BEST:: SOT 76338 SOS 18910 HAS SOPS 18910 HAS SOUS 17107 HAS SOUPS 17107 WITH SCORE 17125.91
AT ITER 1621 NEW BEST:: SOT 76295 SOS 18824 HAS SOPS 18824 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17039.824
AT ITER 1630 NEW BEST:: SOT 76283 SOS 18812 HAS SOPS 18812 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17027.812
AT ITER 1636 NEW BEST:: SOT 76283 SOS 18787 HAS SOPS 18787 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17008.787
AT ITER 1678 NEW BEST:: SOT 76283 SOS 18760 HAS SOPS 18760 HAS SOUS 16963 HAS SOUPS 16963 WITH SCORE 16981.76
AT ITER 1680 NEW BEST:: SOT 76283 SOS 18726 HAS SOPS 18726 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16966.726
AT ITER 1684 NEW BEST:: SOT 76283 SOS 18554 HAS SOPS 18554 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16859.554
AT ITER 1686 NEW BEST:: SOT 76290 SOS 18576 HAS SOPS 18576 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16805.576
AT ITER 1691 NEW BEST:: SOT 76290 SOS 18555 HAS SOPS 18555 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16784.555
AT ITER 1692 NEW BEST:: SOT 76282 SOS 18539 HAS SOPS 18539 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16776.539
AT ITER 1741 NEW BEST:: SOT 76283 SOS 18541 HAS SOPS 18541 HAS SOUS 16756 HAS SOUPS 16756 WITH SCORE 16774.541
AT ITER 1743 NEW BEST:: SOT 76265 SOS 18523 HAS SOPS 18523 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16756.523
AT ITER 1753 NEW BEST:: SOT 76263 SOS 18507 HAS SOPS 18507 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16740.507
AT ITER 1759 NEW BEST:: SOT 76248 SOS 18455 HAS SOPS 18455 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16729.455
AT ITER 1768 NEW BEST:: SOT 76248 SOS 18454 HAS SOPS 18454 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16728.454
AT ITER 1773 NEW BEST:: SOT 76248 SOS 18440 HAS SOPS 18440 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16714.44
AT ITER 1774 NEW BEST:: SOT 76291 SOS 18482 HAS SOPS 18482 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16707.482
AT ITER 1775 NEW BEST:: SOT 76308 SOS 18412 HAS SOPS 18412 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16637.412
AT ITER 1789 NEW BEST:: SOT 76293 SOS 18334 HAS SOPS 18334 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16607.334
AT ITER 1791 NEW BEST:: SOT 76270 SOS 18288 HAS SOPS 18288 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16593.288
AT ITER 1805 NEW BEST:: SOT 76270 SOS 18279 HAS SOPS 18279 HAS SOUS 16566 HAS SOUPS 16566 WITH SCORE 16584.279
AT ITER 1823 NEW BEST:: SOT 76270 SOS 18277 HAS SOPS 18277 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16582.277
AT ITER 1856 NEW BEST:: SOT 76211 SOS 18198 HAS SOPS 18198 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16510.198
AT ITER 1858 NEW BEST:: SOT 76206 SOS 18169 HAS SOPS 18169 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16481.169
AT ITER 1859 NEW BEST:: SOT 76209 SOS 18173 HAS SOPS 18173 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16433.173
AT ITER 1871 NEW BEST:: SOT 76227 SOS 18169 HAS SOPS 18169 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16431.169
AT ITER 1877 NEW BEST:: SOT 76227 SOS 18093 HAS SOPS 18093 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16393.093
AT ITER 1910 NEW BEST:: SOT 76232 SOS 18115 HAS SOPS 18115 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16390.115
AT ITER 1927 NEW BEST:: SOT 76207 SOS 18028 HAS SOPS 18028 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16328.028
AT ITER 1929 NEW BEST:: SOT 76193 SOS 18060 HAS SOPS 18060 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16323.06
AT ITER 1948 NEW BEST:: SOT 76170 SOS 17991 HAS SOPS 17991 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16276.991
AT ITER 1959 NEW BEST:: SOT 76170 SOS 17987 HAS SOPS 17987 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16276.987
AT ITER 1960 NEW BEST:: SOT 76151 SOS 17930 HAS SOPS 17930 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16238.93
AT ITER 1989 NEW BEST:: SOT 76121 SOS 17897 HAS SOPS 17897 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16205.897
AT ITER 1993 NEW BEST:: SOT 76105 SOS 17897 HAS SOPS 17897 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16189.897
AT ITER 2005 NEW BEST:: SOT 76105 SOS 17896 HAS SOPS 17896 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16188.896
AT ITER 2017 NEW BEST:: SOT 76106 SOS 17892 HAS SOPS 17892 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16184.892
AT ITER 2035 NEW BEST:: SOT 76108 SOS 17894 HAS SOPS 17894 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16176.894
AT ITER 2085 NEW BEST:: SOT 76120 SOS 17886 HAS SOPS 17886 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16168.886
AT ITER 2088 NEW BEST:: SOT 76120 SOS 17886 HAS SOPS 17886 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16147.886
AT ITER 2112 NEW BEST:: SOT 76131 SOS 17883 HAS SOPS 17883 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16144.883
AT ITER 2119 NEW BEST:: SOT 76141 SOS 17832 HAS SOPS 17832 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16093.832
AT ITER 2130 NEW BEST:: SOT 76134 SOS 17818 HAS SOPS 17818 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16079.818
AT ITER 2153 NEW BEST:: SOT 76118 SOS 17848 HAS SOPS 17848 HAS SOUS 16057 HAS SOUPS 16057 WITH SCORE 16074.848
AT ITER 2154 NEW BEST:: SOT 76084 SOS 17847 HAS SOPS 17847 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16073.847
AT ITER 2166 NEW BEST:: SOT 76100 SOS 17835 HAS SOPS 17835 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16061.835
AT ITER 2192 NEW BEST:: SOT 76089 SOS 17824 HAS SOPS 17824 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16050.824
AT ITER 2217 NEW BEST:: SOT 76094 SOS 17822 HAS SOPS 17822 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16047.822
AT ITER 2256 NEW BEST:: SOT 76094 SOS 17853 HAS SOPS 17853 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16032.853
AT ITER 2285 NEW BEST:: SOT 76097 SOS 17859 HAS SOPS 17859 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16019.859
AT ITER 2286 NEW BEST:: SOT 76097 SOS 17859 HAS SOPS 17859 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15971.859
AT ITER 2305 NEW BEST:: SOT 76081 SOS 17827 HAS SOPS 17827 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15955.827
AT ITER 2308 NEW BEST:: SOT 76045 SOS 17855 HAS SOPS 17855 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15909.855
AT ITER 2315 NEW BEST:: SOT 76123 SOS 17825 HAS SOPS 17825 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15896.825
AT ITER 2336 NEW BEST:: SOT 76108 SOS 17795 HAS SOPS 17795 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15868.795
AT ITER 2366 NEW BEST:: SOT 76097 SOS 17773 HAS SOPS 17773 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15857.773
AT ITER 2491 NEW BEST:: SOT 76097 SOS 17752 HAS SOPS 17752 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15836.752
AT ITER 2509 NEW BEST:: SOT 76098 SOS 17750 HAS SOPS 17750 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15836.75
AT ITER 2516 NEW BEST:: SOT 76050 SOS 17734 HAS SOPS 17734 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15820.734
AT ITER 2522 NEW BEST:: SOT 76050 SOS 17732 HAS SOPS 17732 HAS SOUS 15801 HAS SOUPS 15801 WITH SCORE 15818.732
AT ITER 2582 NEW BEST:: SOT 76050 SOS 17740 HAS SOPS 17740 HAS SOUS 15798 HAS SOUPS 15798 WITH SCORE 15815.74
AT ITER 2603 NEW BEST:: SOT 76032 SOS 17684 HAS SOPS 17684 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15791.684
AT ITER 2605 NEW BEST:: SOT 76001 SOS 17605 HAS SOPS 17605 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15771.605
AT ITER 2617 NEW BEST:: SOT 75986 SOS 17535 HAS SOPS 17535 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15741.535
AT ITER 2625 NEW BEST:: SOT 75986 SOS 17509 HAS SOPS 17509 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15738.509
AT ITER 2659 NEW BEST:: SOT 75982 SOS 17470 HAS SOPS 17470 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15716.47
AT ITER 2695 NEW BEST:: SOT 75969 SOS 17438 HAS SOPS 17438 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15684.438
AT ITER 2737 NEW BEST:: SOT 75968 SOS 17432 HAS SOPS 17432 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15680.432
AT ITER 2774 NEW BEST:: SOT 75968 SOS 17363 HAS SOPS 17363 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15677.363
AT ITER 2809 NEW BEST:: SOT 75955 SOS 17342 HAS SOPS 17342 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15656.342
AT ITER 2897 NEW BEST:: SOT 76006 SOS 17328 HAS SOPS 17328 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15642.328
AT ITER 2951 NEW BEST:: SOT 75988 SOS 17306 HAS SOPS 17306 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15639.306
AT ITER 3037 NEW BEST:: SOT 75988 SOS 17307 HAS SOPS 17307 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15638.307
AT ITER 3042 NEW BEST:: SOT 75988 SOS 17303 HAS SOPS 17303 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15634.303
AT ITER 3047 NEW BEST:: SOT 75981 SOS 17289 HAS SOPS 17289 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15627.289
AT ITER 3051 NEW BEST:: SOT 75981 SOS 17238 HAS SOPS 17238 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15627.238
AT ITER 3080 NEW BEST:: SOT 75937 SOS 17091 HAS SOPS 17091 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15524.091
AT ITER 3101 NEW BEST:: SOT 75936 SOS 17089 HAS SOPS 17089 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15522.089
AT ITER 3127 NEW BEST:: SOT 75936 SOS 17089 HAS SOPS 17089 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15499.089
AT ITER 3138 NEW BEST:: SOT 75918 SOS 17088 HAS SOPS 17088 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15498.088
AT ITER 3148 NEW BEST:: SOT 75905 SOS 17069 HAS SOPS 17069 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15492.069
AT ITER 3179 NEW BEST:: SOT 75883 SOS 17020 HAS SOPS 17020 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15443.02
AT ITER 3222 NEW BEST:: SOT 75871 SOS 16996 HAS SOPS 16996 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15415.996
AT ITER 3231 NEW BEST:: SOT 75850 SOS 16975 HAS SOPS 16975 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15394.975
AT ITER 3283 NEW BEST:: SOT 75829 SOS 16955 HAS SOPS 16955 HAS SOUS 15357 HAS SOUPS 15357 WITH SCORE 15373.955
AT ITER 3292 NEW BEST:: SOT 75738 SOS 16964 HAS SOPS 16964 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15331.964
AT ITER 3331 NEW BEST:: SOT 75760 SOS 16922 HAS SOPS 16922 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15311.922
AT ITER 3374 NEW BEST:: SOT 75728 SOS 16914 HAS SOPS 16914 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15288.914
AT ITER 3377 NEW BEST:: SOT 75724 SOS 16908 HAS SOPS 16908 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15284.908
AT ITER 3409 NEW BEST:: SOT 75724 SOS 16911 HAS SOPS 16911 HAS SOUS 15241 HAS SOUPS 15241 WITH SCORE 15257.911
AT ITER 3505 NEW BEST:: SOT 75723 SOS 16889 HAS SOPS 16889 HAS SOUS 15239 HAS SOUPS 15239 WITH SCORE 15255.889
AT ITER 3512 NEW BEST:: SOT 75730 SOS 16983 HAS SOPS 16983 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15253.983
AT ITER 3514 NEW BEST:: SOT 75719 SOS 16976 HAS SOPS 16976 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15246.976
AT ITER 3529 NEW BEST:: SOT 75714 SOS 16960 HAS SOPS 16960 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15246.96
AT ITER 3650 NEW BEST:: SOT 75714 SOS 16945 HAS SOPS 16945 HAS SOUS 15215 HAS SOUPS 15215 WITH SCORE 15231.945
AT ITER 3668 NEW BEST:: SOT 75713 SOS 16937 HAS SOPS 16937 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15229.937
AT ITER 3712 NEW BEST:: SOT 75702 SOS 16915 HAS SOPS 16915 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15207.915
AT ITER 3751 NEW BEST:: SOT 75678 SOS 16798 HAS SOPS 16798 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15159.798
AT ITER 3755 NEW BEST:: SOT 75671 SOS 16791 HAS SOPS 16791 HAS SOUS 15136 HAS SOUPS 15136 WITH SCORE 15152.791
AT ITER 3780 NEW BEST:: SOT 75666 SOS 16781 HAS SOPS 16781 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15147.781
AT ITER 3787 NEW BEST:: SOT 75665 SOS 16779 HAS SOPS 16779 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15145.779
AT ITER 3820 NEW BEST:: SOT 75679 SOS 16761 HAS SOPS 16761 HAS SOUS 15120 HAS SOUPS 15120 WITH SCORE 15136.761
AT ITER 3837 NEW BEST:: SOT 75673 SOS 16713 HAS SOPS 16713 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15094.713
AT ITER 3876 NEW BEST:: SOT 75670 SOS 16689 HAS SOPS 16689 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15091.689
AT ITER 3957 NEW BEST:: SOT 75656 SOS 16644 HAS SOPS 16644 HAS SOUS 15072 HAS SOUPS 15072 WITH SCORE 15088.644
AT ITER 3999 NEW BEST:: SOT 75631 SOS 16598 HAS SOPS 16598 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15042.598
AT ITER 4009 NEW BEST:: SOT 75621 SOS 16579 HAS SOPS 16579 HAS SOUS 15007 HAS SOUPS 15007 WITH SCORE 15023.579
AT ITER 4015 NEW BEST:: SOT 75615 SOS 16530 HAS SOPS 16530 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15002.53
AT ITER 4017 NEW BEST:: SOT 75613 SOS 16550 HAS SOPS 16550 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15000.55
AT ITER 4035 NEW BEST:: SOT 75606 SOS 16543 HAS SOPS 16543 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15000.543
AT ITER 4079 NEW BEST:: SOT 75615 SOS 16549 HAS SOPS 16549 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 14994.549
AT ITER 4117 NEW BEST:: SOT 75615 SOS 16513 HAS SOPS 16513 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 14993.513
AT ITER 4118 NEW BEST:: SOT 75617 SOS 16511 HAS SOPS 16511 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 14989.511
AT ITER 4127 NEW BEST:: SOT 75614 SOS 16507 HAS SOPS 16507 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 14988.507
AT ITER 4152 NEW BEST:: SOT 75613 SOS 16506 HAS SOPS 16506 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14987.506
AT ITER 4157 NEW BEST:: SOT 75613 SOS 16478 HAS SOPS 16478 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14987.478
AT ITER 4166 NEW BEST:: SOT 75613 SOS 16477 HAS SOPS 16477 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14983.477
AT ITER 4188 NEW BEST:: SOT 75613 SOS 16472 HAS SOPS 16472 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14978.472
AT ITER 4278 NEW BEST:: SOT 75589 SOS 16374 HAS SOPS 16374 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14907.374
AT ITER 4293 NEW BEST:: SOT 75586 SOS 16347 HAS SOPS 16347 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14869.347
AT ITER 4341 NEW BEST:: SOT 75583 SOS 16344 HAS SOPS 16344 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14869.344
AT ITER 4355 NEW BEST:: SOT 75555 SOS 16288 HAS SOPS 16288 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14813.288
AT ITER 4364 NEW BEST:: SOT 75555 SOS 16309 HAS SOPS 16309 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14810.309
AT ITER 4367 NEW BEST:: SOT 75551 SOS 16304 HAS SOPS 16304 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14801.304
AT ITER 4450 NEW BEST:: SOT 75551 SOS 16279 HAS SOPS 16279 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14801.279
AT ITER 4469 NEW BEST:: SOT 75538 SOS 16253 HAS SOPS 16253 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14777.253
AT ITER 4470 NEW BEST:: SOT 75528 SOS 16258 HAS SOPS 16258 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14766.258
AT ITER 4533 NEW BEST:: SOT 75528 SOS 16256 HAS SOPS 16256 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14764.256
AT ITER 4539 NEW BEST:: SOT 75524 SOS 16244 HAS SOPS 16244 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14752.244
AT ITER 4543 NEW BEST:: SOT 75523 SOS 16243 HAS SOPS 16243 HAS SOUS 14735 HAS SOUPS 14735 WITH SCORE 14751.243
AT ITER 4552 NEW BEST:: SOT 75511 SOS 16195 HAS SOPS 16195 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14739.195
AT ITER 4580 NEW BEST:: SOT 75511 SOS 16195 HAS SOPS 16195 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14731.195
AT ITER 4584 NEW BEST:: SOT 75462 SOS 16148 HAS SOPS 16148 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14713.148
AT ITER 4604 NEW BEST:: SOT 75413 SOS 15985 HAS SOPS 15985 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14614.985
AT ITER 4613 NEW BEST:: SOT 75385 SOS 15985 HAS SOPS 15985 HAS SOUS 14589 HAS SOUPS 14589 WITH SCORE 14604.985
AT ITER 4627 NEW BEST:: SOT 75406 SOS 15978 HAS SOPS 15978 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14597.978
AT ITER 4637 NEW BEST:: SOT 75389 SOS 16009 HAS SOPS 16009 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.009
AT ITER 4651 NEW BEST:: SOT 75389 SOS 16003 HAS SOPS 16003 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14580.003
AT ITER 4670 NEW BEST:: SOT 75373 SOS 15985 HAS SOPS 15985 HAS SOUS 14546 HAS SOUPS 14546 WITH SCORE 14561.985
AT ITER 4681 NEW BEST:: SOT 75368 SOS 15980 HAS SOPS 15980 HAS SOUS 14546 HAS SOUPS 14546 WITH SCORE 14561.98
AT ITER 4689 NEW BEST:: SOT 75349 SOS 15961 HAS SOPS 15961 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14542.961
AT ITER 4767 NEW BEST:: SOT 75342 SOS 15960 HAS SOPS 15960 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14535.96
AT ITER 4797 NEW BEST:: SOT 75327 SOS 15945 HAS SOPS 15945 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14520.945
AT ITER 4827 NEW BEST:: SOT 75327 SOS 15944 HAS SOPS 15944 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14520.944
AT ITER 4852 NEW BEST:: SOT 75315 SOS 15920 HAS SOPS 15920 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14496.92
AT ITER 4886 NEW BEST:: SOT 75315 SOS 15852 HAS SOPS 15852 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14462.852
AT ITER 4888 NEW BEST:: SOT 75291 SOS 15832 HAS SOPS 15832 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14442.832
AT ITER 4920 NEW BEST:: SOT 75291 SOS 15820 HAS SOPS 15820 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14430.82
AT ITER 4931 NEW BEST:: SOT 75290 SOS 15819 HAS SOPS 15819 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14429.819
AT ITER 4970 NEW BEST:: SOT 75290 SOS 15813 HAS SOPS 15813 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14423.813
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-00 ( ( (EG( ( potential( (tk(P222)) <= (tk(P74)) ) | potential( (tk(P295)) <= (tk(P302)) ) ))) | (! ( ( potential( ( 1 ) <= (tk(P322)) ) & potential( ( 1 ) <= (tk(P213)) ) ) | (! potential( ( 2 ) <= (tk(P77)) )) )) ) | ( (! ( potential( (tk(P181)) <= (tk(P105)) ) | ( potential( ( 3 ) <= (tk(P279)) ) | potential( (tk(P208)) <= (tk(P271)) ) ) )) & ( (EX( potential( ( 2 ) <= (tk(P318)) ))) & (! ( potential( (tk(P111)) <= (tk(P318)) ) | potential( (tk(P192)) <= (tk(P299)) ) )) ) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-01 (AF(( (! (! potential( ( 1 ) <= (tk(P193)) ))) & (AX( potential( ( 1 ) <= (tk(P156)) ))) )))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-02 (AG( (EF((! potential( (tk(P339)) <= (tk(P379)) ))))))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-03 (! ( ( (! potential( (tk(P334)) <= (tk(P201)) )) & (AF(potential( ( 2 ) <= (tk(P255)) ))) ) | (EU( potential( (tk(P332)) <= (tk(P38)) ),potential( ( 3 ) <= (tk(P222)) ) )) ))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-04 ( ( ( potential( (tk(P366)) <= (tk(P375)) ) | ( (! potential( (tk(P329)) <= (tk(P252)) )) | ( potential( (tk(P195)) <= (tk(P164)) ) | potential( ( 1 ) <= (tk(P86)) ) ) ) ) & (AG( (! potential( ( 3 ) <= (tk(P349)) )))) ) & (EU( ( potential( (tk(P49)) <= (tk(P103)) ) & potential( (tk(P21)) <= (tk(P272)) ) ),potential( (tk(P38)) <= (tk(P349)) ) )) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-05 ( (EU( potential( (tk(P60)) <= (tk(P220)) ),potential( (tk(P35)) <= (tk(P20)) ) )) & ( ( ( potential( ( 2 ) <= (tk(P264)) ) & (! potential( ( 2 ) <= (tk(P336)) )) ) & ( ( potential( ( 2 ) <= (tk(P377)) ) & potential( ( 3 ) <= (tk(P11)) ) ) | ( potential( (tk(P103)) <= (tk(P264)) ) & potential( (tk(P13)) <= (tk(P135)) ) ) ) ) | (EF(( potential( ( 3 ) <= (tk(P28)) ) | potential( ( 3 ) <= (tk(P164)) ) ))) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-06 ( ( ( (EG( potential( ( 1 ) <= (tk(P181)) ))) & ( potential( ( 3 ) <= (tk(P49)) ) & ( potential( ( 3 ) <= (tk(P108)) ) & potential( (tk(P103)) <= (tk(P387)) ) ) ) ) | ( potential( (tk(P97)) <= (tk(P287)) ) & (EF(potential( ( 3 ) <= (tk(P256)) ))) ) ) | (! (! (AG( potential( (tk(P311)) <= (tk(P268)) ))))) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-07 (AU( potential( ( 1 ) <= (tk(P91)) ),(AG( potential( (tk(P288)) <= (tk(P260)) ))) ))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-08 (EF((AF(( potential( ( 1 ) <= (tk(P291)) ) & potential( ( 2 ) <= (tk(P327)) ) )))))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-09 ( (EF(potential( ( 2 ) <= (tk(P153)) ))) & ( ( (EG( potential( ( 1 ) <= (tk(P118)) ))) | (AG( potential( ( 2 ) <= (tk(P98)) ))) ) | ( (AX( potential( (tk(P327)) <= (tk(P285)) ))) | (AX( potential( (tk(P205)) <= (tk(P264)) ))) ) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-10 (! (AG( (EX( potential( (tk(P341)) <= (tk(P109)) ))))))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-11 ( (! (AF(potential( ( 3 ) <= (tk(P225)) )))) | (AU( (! potential( ( 3 ) <= (tk(P302)) )),potential( ( 3 ) <= (tk(P311)) ) )) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-12 (AF(( ( ( potential( (tk(P26)) <= (tk(P66)) ) & potential( (tk(P106)) <= (tk(P100)) ) ) & (! potential( ( 2 ) <= (tk(P98)) )) ) & (EF(potential( ( 1 ) <= (tk(P32)) ))) )))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-13 ( (EG( (EG( potential( (tk(P101)) <= (tk(P61)) ))))) & ( (! potential( ( 2 ) <= (tk(P65)) )) & (EF((! potential( (tk(P314)) <= (tk(P124)) )))) ) )
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-14 (EF((! (! potential( ( 3 ) <= (tk(P311)) )))))
PROPERTY: ShieldPPPt-PT-005B-CTLCardinality-15 (EG( ( (EF(potential( ( 3 ) <= (tk(P385)) ))) | potential( ( 2 ) <= (tk(P218)) ) )))

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="ShieldPPPt-PT-005B"
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 ShieldPPPt-PT-005B, 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 r207-tajo-159033469800643"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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