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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.5K May 14 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 16K 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.3K May 13 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 08:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 08:03 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 167K 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-010B-CTLFireability-00
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-01
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-02
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-03
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-04
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-05
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-06
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-07
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-08
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-09
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-10
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-11
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-12
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-13
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-14
FORMULA_NAME ShieldIIPt-PT-010B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439235026

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010B
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: 703 places, 653 transitions, 1626 arcs.
AT ITER 0 NEW BEST:: SOT 244046 SOS 42062 HAS SOPS 42062 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39011.062
AT ITER 33 NEW BEST:: SOT 244007 SOS 41984 HAS SOPS 41984 HAS SOUS 38891 HAS SOUPS 38891 WITH SCORE 38932.984
AT ITER 63 NEW BEST:: SOT 243950 SOS 41838 HAS SOPS 41838 HAS SOUS 38716 HAS SOUPS 38716 WITH SCORE 38757.838
AT ITER 71 NEW BEST:: SOT 243944 SOS 41820 HAS SOPS 41820 HAS SOUS 38704 HAS SOUPS 38704 WITH SCORE 38745.82
AT ITER 74 NEW BEST:: SOT 243944 SOS 41820 HAS SOPS 41820 HAS SOUS 38701 HAS SOUPS 38701 WITH SCORE 38742.82
AT ITER 100 NEW BEST:: SOT 243916 SOS 41736 HAS SOPS 41736 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38686.736
AT ITER 106 NEW BEST:: SOT 243890 SOS 41710 HAS SOPS 41710 HAS SOUS 38619 HAS SOUPS 38619 WITH SCORE 38660.71
AT ITER 109 NEW BEST:: SOT 243880 SOS 41679 HAS SOPS 41679 HAS SOUS 38588 HAS SOUPS 38588 WITH SCORE 38629.679
AT ITER 122 NEW BEST:: SOT 243833 SOS 41614 HAS SOPS 41614 HAS SOUS 38530 HAS SOUPS 38530 WITH SCORE 38571.614
AT ITER 127 NEW BEST:: SOT 243854 SOS 41558 HAS SOPS 41558 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38543.558
AT ITER 147 NEW BEST:: SOT 243854 SOS 41512 HAS SOPS 41512 HAS SOUS 38479 HAS SOUPS 38479 WITH SCORE 38520.512
AT ITER 149 NEW BEST:: SOT 243851 SOS 41507 HAS SOPS 41507 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38515.507
AT ITER 157 NEW BEST:: SOT 243851 SOS 41502 HAS SOPS 41502 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38510.502
AT ITER 177 NEW BEST:: SOT 243873 SOS 41398 HAS SOPS 41398 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38480.398
AT ITER 185 NEW BEST:: SOT 243894 SOS 41386 HAS SOPS 41386 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38468.386
AT ITER 189 NEW BEST:: SOT 243835 SOS 41209 HAS SOPS 41209 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38350.209
AT ITER 199 NEW BEST:: SOT 243834 SOS 41207 HAS SOPS 41207 HAS SOUS 38307 HAS SOUPS 38307 WITH SCORE 38348.207
AT ITER 222 NEW BEST:: SOT 243818 SOS 41199 HAS SOPS 41199 HAS SOUS 38299 HAS SOUPS 38299 WITH SCORE 38340.199
AT ITER 225 NEW BEST:: SOT 243818 SOS 41194 HAS SOPS 41194 HAS SOUS 38294 HAS SOUPS 38294 WITH SCORE 38335.194
AT ITER 230 NEW BEST:: SOT 243784 SOS 41181 HAS SOPS 41181 HAS SOUS 38259 HAS SOUPS 38259 WITH SCORE 38300.181
AT ITER 234 NEW BEST:: SOT 243784 SOS 41181 HAS SOPS 41181 HAS SOUS 38251 HAS SOUPS 38251 WITH SCORE 38292.181
AT ITER 242 NEW BEST:: SOT 243793 SOS 41179 HAS SOPS 41179 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38279.179
AT ITER 245 NEW BEST:: SOT 243793 SOS 41163 HAS SOPS 41163 HAS SOUS 38237 HAS SOUPS 38237 WITH SCORE 38278.163
AT ITER 249 NEW BEST:: SOT 243761 SOS 41099 HAS SOPS 41099 HAS SOUS 38173 HAS SOUPS 38173 WITH SCORE 38214.099
AT ITER 259 NEW BEST:: SOT 243761 SOS 41035 HAS SOPS 41035 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38176.035
AT ITER 308 NEW BEST:: SOT 243711 SOS 40985 HAS SOPS 40985 HAS SOUS 38085 HAS SOUPS 38085 WITH SCORE 38125.985
AT ITER 324 NEW BEST:: SOT 243701 SOS 40976 HAS SOPS 40976 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38116.976
AT ITER 378 NEW BEST:: SOT 243646 SOS 40913 HAS SOPS 40913 HAS SOUS 38013 HAS SOUPS 38013 WITH SCORE 38053.913
AT ITER 380 NEW BEST:: SOT 243646 SOS 40860 HAS SOPS 40860 HAS SOUS 37960 HAS SOUPS 37960 WITH SCORE 38000.86
AT ITER 386 NEW BEST:: SOT 243614 SOS 40845 HAS SOPS 40845 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 37985.845
AT ITER 397 NEW BEST:: SOT 243614 SOS 40842 HAS SOPS 40842 HAS SOUS 37942 HAS SOUPS 37942 WITH SCORE 37982.842
AT ITER 399 NEW BEST:: SOT 243614 SOS 40834 HAS SOPS 40834 HAS SOUS 37934 HAS SOUPS 37934 WITH SCORE 37974.834
AT ITER 407 NEW BEST:: SOT 243602 SOS 40798 HAS SOPS 40798 HAS SOUS 37898 HAS SOUPS 37898 WITH SCORE 37938.798
AT ITER 408 NEW BEST:: SOT 243602 SOS 40795 HAS SOPS 40795 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37923.795
AT ITER 424 NEW BEST:: SOT 243602 SOS 40769 HAS SOPS 40769 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37897.769
AT ITER 432 NEW BEST:: SOT 243592 SOS 40749 HAS SOPS 40749 HAS SOUS 37847 HAS SOUPS 37847 WITH SCORE 37887.749
AT ITER 447 NEW BEST:: SOT 243550 SOS 40665 HAS SOPS 40665 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37803.665
AT ITER 455 NEW BEST:: SOT 243550 SOS 40686 HAS SOPS 40686 HAS SOUS 37759 HAS SOUPS 37759 WITH SCORE 37799.686
AT ITER 489 NEW BEST:: SOT 243550 SOS 40675 HAS SOPS 40675 HAS SOUS 37748 HAS SOUPS 37748 WITH SCORE 37788.675
AT ITER 494 NEW BEST:: SOT 243550 SOS 40662 HAS SOPS 40662 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37775.662
AT ITER 497 NEW BEST:: SOT 243550 SOS 40656 HAS SOPS 40656 HAS SOUS 37729 HAS SOUPS 37729 WITH SCORE 37769.656
AT ITER 510 NEW BEST:: SOT 243550 SOS 40617 HAS SOPS 40617 HAS SOUS 37690 HAS SOUPS 37690 WITH SCORE 37730.617
AT ITER 519 NEW BEST:: SOT 243563 SOS 40628 HAS SOPS 40628 HAS SOUS 37645 HAS SOUPS 37645 WITH SCORE 37685.628
AT ITER 520 NEW BEST:: SOT 243521 SOS 40608 HAS SOPS 40608 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37658.608
AT ITER 536 NEW BEST:: SOT 243520 SOS 40606 HAS SOPS 40606 HAS SOUS 37616 HAS SOUPS 37616 WITH SCORE 37656.606
AT ITER 557 NEW BEST:: SOT 243520 SOS 40596 HAS SOPS 40596 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37646.596
AT ITER 561 NEW BEST:: SOT 243467 SOS 40538 HAS SOPS 40538 HAS SOUS 37602 HAS SOUPS 37602 WITH SCORE 37642.538
AT ITER 570 NEW BEST:: SOT 243485 SOS 40518 HAS SOPS 40518 HAS SOUS 37580 HAS SOUPS 37580 WITH SCORE 37620.518
AT ITER 577 NEW BEST:: SOT 243436 SOS 40518 HAS SOPS 40518 HAS SOUS 37565 HAS SOUPS 37565 WITH SCORE 37605.518
AT ITER 583 NEW BEST:: SOT 243436 SOS 40511 HAS SOPS 40511 HAS SOUS 37558 HAS SOUPS 37558 WITH SCORE 37598.511
AT ITER 592 NEW BEST:: SOT 243398 SOS 40415 HAS SOPS 40415 HAS SOUS 37556 HAS SOUPS 37556 WITH SCORE 37596.415
AT ITER 597 NEW BEST:: SOT 243362 SOS 40300 HAS SOPS 40300 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37546.3
AT ITER 598 NEW BEST:: SOT 243361 SOS 40290 HAS SOPS 40290 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37536.29
AT ITER 599 NEW BEST:: SOT 243360 SOS 40274 HAS SOPS 40274 HAS SOUS 37491 HAS SOUPS 37491 WITH SCORE 37531.274
AT ITER 615 NEW BEST:: SOT 243310 SOS 40224 HAS SOPS 40224 HAS SOUS 37459 HAS SOUPS 37459 WITH SCORE 37499.224
AT ITER 616 NEW BEST:: SOT 243377 SOS 40215 HAS SOPS 40215 HAS SOUS 37450 HAS SOUPS 37450 WITH SCORE 37490.215
AT ITER 620 NEW BEST:: SOT 243320 SOS 40038 HAS SOPS 40038 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37358.038
AT ITER 625 NEW BEST:: SOT 243254 SOS 39972 HAS SOPS 39972 HAS SOUS 37252 HAS SOUPS 37252 WITH SCORE 37291.972
AT ITER 638 NEW BEST:: SOT 243254 SOS 39955 HAS SOPS 39955 HAS SOUS 37235 HAS SOUPS 37235 WITH SCORE 37274.955
AT ITER 670 NEW BEST:: SOT 243226 SOS 39999 HAS SOPS 39999 HAS SOUS 37207 HAS SOUPS 37207 WITH SCORE 37246.999
AT ITER 674 NEW BEST:: SOT 243217 SOS 39981 HAS SOPS 39981 HAS SOUS 37198 HAS SOUPS 37198 WITH SCORE 37237.981
AT ITER 713 NEW BEST:: SOT 243255 SOS 39980 HAS SOPS 39980 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37236.98
AT ITER 714 NEW BEST:: SOT 243255 SOS 39980 HAS SOPS 39980 HAS SOUS 37195 HAS SOUPS 37195 WITH SCORE 37234.98
AT ITER 716 NEW BEST:: SOT 243211 SOS 39848 HAS SOPS 39848 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37189.848
AT ITER 722 NEW BEST:: SOT 243189 SOS 39804 HAS SOPS 39804 HAS SOUS 37106 HAS SOUPS 37106 WITH SCORE 37145.804
AT ITER 735 NEW BEST:: SOT 243182 SOS 39783 HAS SOPS 39783 HAS SOUS 37099 HAS SOUPS 37099 WITH SCORE 37138.783
AT ITER 737 NEW BEST:: SOT 243182 SOS 39754 HAS SOPS 39754 HAS SOUS 37070 HAS SOUPS 37070 WITH SCORE 37109.754
AT ITER 777 NEW BEST:: SOT 243182 SOS 39749 HAS SOPS 39749 HAS SOUS 37065 HAS SOUPS 37065 WITH SCORE 37104.749
AT ITER 797 NEW BEST:: SOT 243180 SOS 39719 HAS SOPS 39719 HAS SOUS 37035 HAS SOUPS 37035 WITH SCORE 37074.719
AT ITER 798 NEW BEST:: SOT 243198 SOS 39670 HAS SOPS 39670 HAS SOUS 36986 HAS SOUPS 36986 WITH SCORE 37025.67
AT ITER 839 NEW BEST:: SOT 243201 SOS 39632 HAS SOPS 39632 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 36987.632
AT ITER 849 NEW BEST:: SOT 243126 SOS 39556 HAS SOPS 39556 HAS SOUS 36836 HAS SOUPS 36836 WITH SCORE 36875.556
AT ITER 854 NEW BEST:: SOT 243120 SOS 39538 HAS SOPS 39538 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36857.538
AT ITER 863 NEW BEST:: SOT 243104 SOS 39499 HAS SOPS 39499 HAS SOUS 36811 HAS SOUPS 36811 WITH SCORE 36850.499
AT ITER 891 NEW BEST:: SOT 243093 SOS 39409 HAS SOPS 39409 HAS SOUS 36732 HAS SOUPS 36732 WITH SCORE 36771.409
AT ITER 932 NEW BEST:: SOT 243064 SOS 39320 HAS SOPS 39320 HAS SOUS 36673 HAS SOUPS 36673 WITH SCORE 36712.32
AT ITER 935 NEW BEST:: SOT 243062 SOS 39318 HAS SOPS 39318 HAS SOUS 36671 HAS SOUPS 36671 WITH SCORE 36710.318
AT ITER 939 NEW BEST:: SOT 243046 SOS 39265 HAS SOPS 39265 HAS SOUS 36617 HAS SOUPS 36617 WITH SCORE 36656.265
AT ITER 967 NEW BEST:: SOT 243045 SOS 39210 HAS SOPS 39210 HAS SOUS 36615 HAS SOUPS 36615 WITH SCORE 36654.21
AT ITER 971 NEW BEST:: SOT 243002 SOS 39167 HAS SOPS 39167 HAS SOUS 36572 HAS SOUPS 36572 WITH SCORE 36611.167
AT ITER 996 NEW BEST:: SOT 242903 SOS 39091 HAS SOPS 39091 HAS SOUS 36493 HAS SOUPS 36493 WITH SCORE 36532.091
AT ITER 1025 NEW BEST:: SOT 242891 SOS 39089 HAS SOPS 39089 HAS SOUS 36491 HAS SOUPS 36491 WITH SCORE 36530.089
AT ITER 1061 NEW BEST:: SOT 242901 SOS 39035 HAS SOPS 39035 HAS SOUS 36437 HAS SOUPS 36437 WITH SCORE 36476.035
AT ITER 1076 NEW BEST:: SOT 242906 SOS 39029 HAS SOPS 39029 HAS SOUS 36431 HAS SOUPS 36431 WITH SCORE 36470.029
AT ITER 1128 NEW BEST:: SOT 242906 SOS 39062 HAS SOPS 39062 HAS SOUS 36428 HAS SOUPS 36428 WITH SCORE 36467.062
AT ITER 1139 NEW BEST:: SOT 242888 SOS 39044 HAS SOPS 39044 HAS SOUS 36410 HAS SOUPS 36410 WITH SCORE 36449.044
AT ITER 1144 NEW BEST:: SOT 242860 SOS 38944 HAS SOPS 38944 HAS SOUS 36282 HAS SOUPS 36282 WITH SCORE 36320.944
AT ITER 1165 NEW BEST:: SOT 242851 SOS 38917 HAS SOPS 38917 HAS SOUS 36273 HAS SOUPS 36273 WITH SCORE 36311.917
AT ITER 1183 NEW BEST:: SOT 242779 SOS 38761 HAS SOPS 38761 HAS SOUS 36234 HAS SOUPS 36234 WITH SCORE 36272.761
AT ITER 1199 NEW BEST:: SOT 242779 SOS 38753 HAS SOPS 38753 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36264.753
AT ITER 1213 NEW BEST:: SOT 242763 SOS 38721 HAS SOPS 38721 HAS SOUS 36202 HAS SOUPS 36202 WITH SCORE 36240.721
AT ITER 1223 NEW BEST:: SOT 242762 SOS 38719 HAS SOPS 38719 HAS SOUS 36200 HAS SOUPS 36200 WITH SCORE 36238.719
AT ITER 1247 NEW BEST:: SOT 242759 SOS 38713 HAS SOPS 38713 HAS SOUS 36197 HAS SOUPS 36197 WITH SCORE 36235.713
AT ITER 1269 NEW BEST:: SOT 242759 SOS 38714 HAS SOPS 38714 HAS SOUS 36191 HAS SOUPS 36191 WITH SCORE 36229.714
AT ITER 1271 NEW BEST:: SOT 242759 SOS 38702 HAS SOPS 38702 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36217.702
AT ITER 1272 NEW BEST:: SOT 242699 SOS 38521 HAS SOPS 38521 HAS SOUS 36058 HAS SOUPS 36058 WITH SCORE 36096.521
AT ITER 1330 NEW BEST:: SOT 242639 SOS 38482 HAS SOPS 38482 HAS SOUS 35998 HAS SOUPS 35998 WITH SCORE 36036.482
AT ITER 1352 NEW BEST:: SOT 242639 SOS 38473 HAS SOPS 38473 HAS SOUS 35998 HAS SOUPS 35998 WITH SCORE 36036.473
AT ITER 1372 NEW BEST:: SOT 242639 SOS 38471 HAS SOPS 38471 HAS SOUS 35996 HAS SOUPS 35996 WITH SCORE 36034.471
AT ITER 1374 NEW BEST:: SOT 242592 SOS 38442 HAS SOPS 38442 HAS SOUS 35967 HAS SOUPS 35967 WITH SCORE 36005.442
AT ITER 1375 NEW BEST:: SOT 242592 SOS 38443 HAS SOPS 38443 HAS SOUS 35942 HAS SOUPS 35942 WITH SCORE 35980.443
AT ITER 1379 NEW BEST:: SOT 242592 SOS 38440 HAS SOPS 38440 HAS SOUS 35919 HAS SOUPS 35919 WITH SCORE 35957.44
AT ITER 1410 NEW BEST:: SOT 242513 SOS 38282 HAS SOPS 38282 HAS SOUS 35769 HAS SOUPS 35769 WITH SCORE 35807.282
AT ITER 1414 NEW BEST:: SOT 242499 SOS 38275 HAS SOPS 38275 HAS SOUS 35762 HAS SOUPS 35762 WITH SCORE 35800.275
AT ITER 1437 NEW BEST:: SOT 242494 SOS 38265 HAS SOPS 38265 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35776.265
AT ITER 1485 NEW BEST:: SOT 242459 SOS 38195 HAS SOPS 38195 HAS SOUS 35668 HAS SOUPS 35668 WITH SCORE 35706.195
AT ITER 1489 NEW BEST:: SOT 242459 SOS 38189 HAS SOPS 38189 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35700.189
AT ITER 1491 NEW BEST:: SOT 242451 SOS 38173 HAS SOPS 38173 HAS SOUS 35646 HAS SOUPS 35646 WITH SCORE 35684.173
AT ITER 1494 NEW BEST:: SOT 242451 SOS 38156 HAS SOPS 38156 HAS SOUS 35646 HAS SOUPS 35646 WITH SCORE 35684.156
AT ITER 1498 NEW BEST:: SOT 242436 SOS 38120 HAS SOPS 38120 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35669.12
AT ITER 1522 NEW BEST:: SOT 242435 SOS 38118 HAS SOPS 38118 HAS SOUS 35629 HAS SOUPS 35629 WITH SCORE 35667.118
AT ITER 1543 NEW BEST:: SOT 242421 SOS 38048 HAS SOPS 38048 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35597.048
AT ITER 1560 NEW BEST:: SOT 242421 SOS 38048 HAS SOPS 38048 HAS SOUS 35554 HAS SOUPS 35554 WITH SCORE 35592.048
AT ITER 1607 NEW BEST:: SOT 242407 SOS 37949 HAS SOPS 37949 HAS SOUS 35540 HAS SOUPS 35540 WITH SCORE 35577.949
AT ITER 1622 NEW BEST:: SOT 242407 SOS 37946 HAS SOPS 37946 HAS SOUS 35537 HAS SOUPS 35537 WITH SCORE 35574.946
AT ITER 1626 NEW BEST:: SOT 242407 SOS 37946 HAS SOPS 37946 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35571.946
AT ITER 1718 NEW BEST:: SOT 242406 SOS 37944 HAS SOPS 37944 HAS SOUS 35532 HAS SOUPS 35532 WITH SCORE 35569.944
AT ITER 1733 NEW BEST:: SOT 242413 SOS 37937 HAS SOPS 37937 HAS SOUS 35525 HAS SOUPS 35525 WITH SCORE 35562.937
AT ITER 1739 NEW BEST:: SOT 242369 SOS 37838 HAS SOPS 37838 HAS SOUS 35426 HAS SOUPS 35426 WITH SCORE 35463.838
AT ITER 1833 NEW BEST:: SOT 242369 SOS 37846 HAS SOPS 37846 HAS SOUS 35423 HAS SOUPS 35423 WITH SCORE 35460.846
AT ITER 1861 NEW BEST:: SOT 242369 SOS 37842 HAS SOPS 37842 HAS SOUS 35419 HAS SOUPS 35419 WITH SCORE 35456.842
AT ITER 1862 NEW BEST:: SOT 242307 SOS 37726 HAS SOPS 37726 HAS SOUS 35303 HAS SOUPS 35303 WITH SCORE 35340.726
AT ITER 1873 NEW BEST:: SOT 242307 SOS 37710 HAS SOPS 37710 HAS SOUS 35295 HAS SOUPS 35295 WITH SCORE 35332.71
AT ITER 1912 NEW BEST:: SOT 242297 SOS 37697 HAS SOPS 37697 HAS SOUS 35282 HAS SOUPS 35282 WITH SCORE 35319.697
AT ITER 1921 NEW BEST:: SOT 242301 SOS 37695 HAS SOPS 37695 HAS SOUS 35276 HAS SOUPS 35276 WITH SCORE 35313.695
AT ITER 1935 NEW BEST:: SOT 242265 SOS 37578 HAS SOPS 37578 HAS SOUS 35238 HAS SOUPS 35238 WITH SCORE 35275.578
AT ITER 1961 NEW BEST:: SOT 242203 SOS 37451 HAS SOPS 37451 HAS SOUS 35195 HAS SOUPS 35195 WITH SCORE 35232.451
AT ITER 1982 NEW BEST:: SOT 242192 SOS 37429 HAS SOPS 37429 HAS SOUS 35154 HAS SOUPS 35154 WITH SCORE 35191.429
AT ITER 2011 NEW BEST:: SOT 242186 SOS 37411 HAS SOPS 37411 HAS SOUS 35148 HAS SOUPS 35148 WITH SCORE 35185.411
AT ITER 2034 NEW BEST:: SOT 242202 SOS 37393 HAS SOPS 37393 HAS SOUS 35130 HAS SOUPS 35130 WITH SCORE 35167.393
AT ITER 2049 NEW BEST:: SOT 242202 SOS 37393 HAS SOPS 37393 HAS SOUS 35126 HAS SOUPS 35126 WITH SCORE 35163.393
AT ITER 2060 NEW BEST:: SOT 242202 SOS 37368 HAS SOPS 37368 HAS SOUS 35114 HAS SOUPS 35114 WITH SCORE 35151.368
AT ITER 2071 NEW BEST:: SOT 242232 SOS 37335 HAS SOPS 37335 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35147.335
AT ITER 2123 NEW BEST:: SOT 242232 SOS 37328 HAS SOPS 37328 HAS SOUS 35103 HAS SOUPS 35103 WITH SCORE 35140.328
AT ITER 2130 NEW BEST:: SOT 242229 SOS 37319 HAS SOPS 37319 HAS SOUS 35094 HAS SOUPS 35094 WITH SCORE 35131.319
AT ITER 2138 NEW BEST:: SOT 242208 SOS 37304 HAS SOPS 37304 HAS SOUS 35079 HAS SOUPS 35079 WITH SCORE 35116.304
AT ITER 2175 NEW BEST:: SOT 242205 SOS 37298 HAS SOPS 37298 HAS SOUS 35073 HAS SOUPS 35073 WITH SCORE 35110.298
AT ITER 2184 NEW BEST:: SOT 242205 SOS 37272 HAS SOPS 37272 HAS SOUS 35047 HAS SOUPS 35047 WITH SCORE 35084.272
AT ITER 2185 NEW BEST:: SOT 242202 SOS 37269 HAS SOPS 37269 HAS SOUS 35044 HAS SOUPS 35044 WITH SCORE 35081.269
AT ITER 2188 NEW BEST:: SOT 242249 SOS 37314 HAS SOPS 37314 HAS SOUS 35042 HAS SOUPS 35042 WITH SCORE 35079.314
AT ITER 2219 NEW BEST:: SOT 242246 SOS 37349 HAS SOPS 37349 HAS SOUS 35039 HAS SOUPS 35039 WITH SCORE 35076.349
AT ITER 2229 NEW BEST:: SOT 242245 SOS 37342 HAS SOPS 37342 HAS SOUS 35032 HAS SOUPS 35032 WITH SCORE 35069.342
AT ITER 2316 NEW BEST:: SOT 242270 SOS 37365 HAS SOPS 37365 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35065.365
AT ITER 2325 NEW BEST:: SOT 242258 SOS 37314 HAS SOPS 37314 HAS SOUS 35016 HAS SOUPS 35016 WITH SCORE 35053.314
AT ITER 2344 NEW BEST:: SOT 242279 SOS 37312 HAS SOPS 37312 HAS SOUS 35014 HAS SOUPS 35014 WITH SCORE 35051.312
AT ITER 2387 NEW BEST:: SOT 242263 SOS 37239 HAS SOPS 37239 HAS SOUS 34941 HAS SOUPS 34941 WITH SCORE 34978.239
AT ITER 2425 NEW BEST:: SOT 242263 SOS 37234 HAS SOPS 37234 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 34973.234
AT ITER 2437 NEW BEST:: SOT 242230 SOS 37321 HAS SOPS 37321 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34940.321
AT ITER 2442 NEW BEST:: SOT 242221 SOS 37303 HAS SOPS 37303 HAS SOUS 34881 HAS SOUPS 34881 WITH SCORE 34918.303
AT ITER 2464 NEW BEST:: SOT 242184 SOS 37266 HAS SOPS 37266 HAS SOUS 34844 HAS SOUPS 34844 WITH SCORE 34881.266
AT ITER 2479 NEW BEST:: SOT 242160 SOS 37242 HAS SOPS 37242 HAS SOUS 34820 HAS SOUPS 34820 WITH SCORE 34857.242
AT ITER 2525 NEW BEST:: SOT 242160 SOS 37226 HAS SOPS 37226 HAS SOUS 34788 HAS SOUPS 34788 WITH SCORE 34825.226
AT ITER 2548 NEW BEST:: SOT 242109 SOS 37065 HAS SOPS 37065 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34782.065
AT ITER 2553 NEW BEST:: SOT 242174 SOS 37078 HAS SOPS 37078 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34767.078
AT ITER 2571 NEW BEST:: SOT 242174 SOS 37073 HAS SOPS 37073 HAS SOUS 34725 HAS SOUPS 34725 WITH SCORE 34762.073
AT ITER 2607 NEW BEST:: SOT 242184 SOS 37054 HAS SOPS 37054 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34743.054
AT ITER 2625 NEW BEST:: SOT 242184 SOS 37039 HAS SOPS 37039 HAS SOUS 34701 HAS SOUPS 34701 WITH SCORE 34738.039
AT ITER 2637 NEW BEST:: SOT 242184 SOS 37028 HAS SOPS 37028 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34727.028
AT ITER 2668 NEW BEST:: SOT 242172 SOS 37003 HAS SOPS 37003 HAS SOUS 34677 HAS SOUPS 34677 WITH SCORE 34714.003
AT ITER 2689 NEW BEST:: SOT 242120 SOS 36981 HAS SOPS 36981 HAS SOUS 34615 HAS SOUPS 34615 WITH SCORE 34651.981
AT ITER 2703 NEW BEST:: SOT 242058 SOS 36941 HAS SOPS 36941 HAS SOUS 34553 HAS SOUPS 34553 WITH SCORE 34589.941
AT ITER 2709 NEW BEST:: SOT 242071 SOS 36967 HAS SOPS 36967 HAS SOUS 34533 HAS SOUPS 34533 WITH SCORE 34569.967
AT ITER 2711 NEW BEST:: SOT 242071 SOS 36939 HAS SOPS 36939 HAS SOUS 34505 HAS SOUPS 34505 WITH SCORE 34541.939
AT ITER 2767 NEW BEST:: SOT 242071 SOS 36938 HAS SOPS 36938 HAS SOUS 34504 HAS SOUPS 34504 WITH SCORE 34540.938
AT ITER 2774 NEW BEST:: SOT 241997 SOS 36849 HAS SOPS 36849 HAS SOUS 34442 HAS SOUPS 34442 WITH SCORE 34478.849
AT ITER 2784 NEW BEST:: SOT 241894 SOS 36718 HAS SOPS 36718 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34385.718
AT ITER 2812 NEW BEST:: SOT 241841 SOS 36635 HAS SOPS 36635 HAS SOUS 34266 HAS SOUPS 34266 WITH SCORE 34302.635
AT ITER 2820 NEW BEST:: SOT 241821 SOS 36624 HAS SOPS 36624 HAS SOUS 34255 HAS SOUPS 34255 WITH SCORE 34291.624
AT ITER 2861 NEW BEST:: SOT 241780 SOS 36550 HAS SOPS 36550 HAS SOUS 34197 HAS SOUPS 34197 WITH SCORE 34233.55
AT ITER 2894 NEW BEST:: SOT 241765 SOS 36469 HAS SOPS 36469 HAS SOUS 34116 HAS SOUPS 34116 WITH SCORE 34152.469
AT ITER 2902 NEW BEST:: SOT 241676 SOS 36130 HAS SOPS 36130 HAS SOUS 33900 HAS SOUPS 33900 WITH SCORE 33936.13
AT ITER 2945 NEW BEST:: SOT 241674 SOS 36126 HAS SOPS 36126 HAS SOUS 33898 HAS SOUPS 33898 WITH SCORE 33934.126
AT ITER 2981 NEW BEST:: SOT 241650 SOS 36078 HAS SOPS 36078 HAS SOUS 33846 HAS SOUPS 33846 WITH SCORE 33882.078
AT ITER 3079 NEW BEST:: SOT 241650 SOS 36060 HAS SOPS 36060 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33864.06
AT ITER 3150 NEW BEST:: SOT 241657 SOS 36039 HAS SOPS 36039 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33843.039
AT ITER 3158 NEW BEST:: SOT 241651 SOS 35947 HAS SOPS 35947 HAS SOUS 33761 HAS SOUPS 33761 WITH SCORE 33796.947
AT ITER 3174 NEW BEST:: SOT 241653 SOS 35895 HAS SOPS 35895 HAS SOUS 33700 HAS SOUPS 33700 WITH SCORE 33735.895
AT ITER 3225 NEW BEST:: SOT 241642 SOS 35862 HAS SOPS 35862 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33713.862
AT ITER 3235 NEW BEST:: SOT 241642 SOS 35861 HAS SOPS 35861 HAS SOUS 33677 HAS SOUPS 33677 WITH SCORE 33712.861
AT ITER 3251 NEW BEST:: SOT 241632 SOS 35853 HAS SOPS 35853 HAS SOUS 33669 HAS SOUPS 33669 WITH SCORE 33704.853
AT ITER 3273 NEW BEST:: SOT 241604 SOS 35790 HAS SOPS 35790 HAS SOUS 33605 HAS SOUPS 33605 WITH SCORE 33640.79
AT ITER 3275 NEW BEST:: SOT 241584 SOS 35747 HAS SOPS 35747 HAS SOUS 33562 HAS SOUPS 33562 WITH SCORE 33597.747
AT ITER 3279 NEW BEST:: SOT 241573 SOS 35668 HAS SOPS 35668 HAS SOUS 33551 HAS SOUPS 33551 WITH SCORE 33586.668
AT ITER 3290 NEW BEST:: SOT 241553 SOS 35579 HAS SOPS 35579 HAS SOUS 33462 HAS SOUPS 33462 WITH SCORE 33497.579
AT ITER 3362 NEW BEST:: SOT 241552 SOS 35577 HAS SOPS 35577 HAS SOUS 33460 HAS SOUPS 33460 WITH SCORE 33495.577
AT ITER 3431 NEW BEST:: SOT 241584 SOS 35558 HAS SOPS 35558 HAS SOUS 33441 HAS SOUPS 33441 WITH SCORE 33476.558
AT ITER 3437 NEW BEST:: SOT 241584 SOS 35541 HAS SOPS 35541 HAS SOUS 33424 HAS SOUPS 33424 WITH SCORE 33459.541
AT ITER 3478 NEW BEST:: SOT 241584 SOS 35527 HAS SOPS 35527 HAS SOUS 33417 HAS SOUPS 33417 WITH SCORE 33452.527
AT ITER 3514 NEW BEST:: SOT 241572 SOS 35503 HAS SOPS 35503 HAS SOUS 33393 HAS SOUPS 33393 WITH SCORE 33428.503
AT ITER 3530 NEW BEST:: SOT 241572 SOS 35489 HAS SOPS 35489 HAS SOUS 33386 HAS SOUPS 33386 WITH SCORE 33421.489
AT ITER 3621 NEW BEST:: SOT 241560 SOS 35477 HAS SOPS 35477 HAS SOUS 33374 HAS SOUPS 33374 WITH SCORE 33409.477
AT ITER 3638 NEW BEST:: SOT 241560 SOS 35474 HAS SOPS 35474 HAS SOUS 33371 HAS SOUPS 33371 WITH SCORE 33406.474
AT ITER 3643 NEW BEST:: SOT 241527 SOS 35503 HAS SOPS 35503 HAS SOUS 33361 HAS SOUPS 33361 WITH SCORE 33396.503
AT ITER 3659 NEW BEST:: SOT 241513 SOS 35516 HAS SOPS 35516 HAS SOUS 33348 HAS SOUPS 33348 WITH SCORE 33383.516
AT ITER 3672 NEW BEST:: SOT 241510 SOS 35513 HAS SOPS 35513 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33380.513
AT ITER 3716 NEW BEST:: SOT 241501 SOS 35504 HAS SOPS 35504 HAS SOUS 33327 HAS SOUPS 33327 WITH SCORE 33362.504
AT ITER 3759 NEW BEST:: SOT 241463 SOS 35393 HAS SOPS 35393 HAS SOUS 33289 HAS SOUPS 33289 WITH SCORE 33324.393
AT ITER 3843 NEW BEST:: SOT 241463 SOS 35389 HAS SOPS 35389 HAS SOUS 33289 HAS SOUPS 33289 WITH SCORE 33324.389
AT ITER 3849 NEW BEST:: SOT 241463 SOS 35351 HAS SOPS 35351 HAS SOUS 33289 HAS SOUPS 33289 WITH SCORE 33324.351
AT ITER 3863 NEW BEST:: SOT 241463 SOS 35350 HAS SOPS 35350 HAS SOUS 33288 HAS SOUPS 33288 WITH SCORE 33323.35
AT ITER 3864 NEW BEST:: SOT 241455 SOS 35367 HAS SOPS 35367 HAS SOUS 33280 HAS SOUPS 33280 WITH SCORE 33315.367
AT ITER 3885 NEW BEST:: SOT 241411 SOS 35279 HAS SOPS 35279 HAS SOUS 33236 HAS SOUPS 33236 WITH SCORE 33271.279
AT ITER 3893 NEW BEST:: SOT 241411 SOS 35271 HAS SOPS 35271 HAS SOUS 33228 HAS SOUPS 33228 WITH SCORE 33263.271
AT ITER 3902 NEW BEST:: SOT 241411 SOS 35256 HAS SOPS 35256 HAS SOUS 33228 HAS SOUPS 33228 WITH SCORE 33263.256
AT ITER 3946 NEW BEST:: SOT 241386 SOS 35231 HAS SOPS 35231 HAS SOUS 33203 HAS SOUPS 33203 WITH SCORE 33238.231
AT ITER 3968 NEW BEST:: SOT 241382 SOS 35226 HAS SOPS 35226 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33236.226
AT ITER 4024 NEW BEST:: SOT 241348 SOS 35152 HAS SOPS 35152 HAS SOUS 33127 HAS SOUPS 33127 WITH SCORE 33162.152
AT ITER 4046 NEW BEST:: SOT 241343 SOS 35147 HAS SOPS 35147 HAS SOUS 33122 HAS SOUPS 33122 WITH SCORE 33157.147
AT ITER 4050 NEW BEST:: SOT 241335 SOS 35124 HAS SOPS 35124 HAS SOUS 33099 HAS SOUPS 33099 WITH SCORE 33134.124
AT ITER 4077 NEW BEST:: SOT 241325 SOS 35116 HAS SOPS 35116 HAS SOUS 33091 HAS SOUPS 33091 WITH SCORE 33126.116
AT ITER 4078 NEW BEST:: SOT 241325 SOS 35120 HAS SOPS 35120 HAS SOUS 33032 HAS SOUPS 33032 WITH SCORE 33067.12
AT ITER 4098 NEW BEST:: SOT 241316 SOS 35158 HAS SOPS 35158 HAS SOUS 33023 HAS SOUPS 33023 WITH SCORE 33058.158
AT ITER 4126 NEW BEST:: SOT 241316 SOS 35150 HAS SOPS 35150 HAS SOUS 33023 HAS SOUPS 33023 WITH SCORE 33058.15
AT ITER 4169 NEW BEST:: SOT 241384 SOS 35145 HAS SOPS 35145 HAS SOUS 33018 HAS SOUPS 33018 WITH SCORE 33053.145
AT ITER 4231 NEW BEST:: SOT 241376 SOS 35137 HAS SOPS 35137 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33051.137
AT ITER 4276 NEW BEST:: SOT 241391 SOS 35133 HAS SOPS 35133 HAS SOUS 33010 HAS SOUPS 33010 WITH SCORE 33045.133
AT ITER 4298 NEW BEST:: SOT 241394 SOS 35128 HAS SOPS 35128 HAS SOUS 33005 HAS SOUPS 33005 WITH SCORE 33040.128
AT ITER 4305 NEW BEST:: SOT 241392 SOS 35110 HAS SOPS 35110 HAS SOUS 32951 HAS SOUPS 32951 WITH SCORE 32986.11
AT ITER 4312 NEW BEST:: SOT 241375 SOS 35076 HAS SOPS 35076 HAS SOUS 32937 HAS SOUPS 32937 WITH SCORE 32972.076
AT ITER 4338 NEW BEST:: SOT 241374 SOS 35077 HAS SOPS 35077 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32953.077
AT ITER 4385 NEW BEST:: SOT 241373 SOS 35040 HAS SOPS 35040 HAS SOUS 32881 HAS SOUPS 32881 WITH SCORE 32916.04
AT ITER 4412 NEW BEST:: SOT 241373 SOS 35014 HAS SOPS 35014 HAS SOUS 32855 HAS SOUPS 32855 WITH SCORE 32890.014
AT ITER 4417 NEW BEST:: SOT 241373 SOS 35008 HAS SOPS 35008 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32888.008
AT ITER 4423 NEW BEST:: SOT 241381 SOS 34973 HAS SOPS 34973 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32879.973
AT ITER 4464 NEW BEST:: SOT 241354 SOS 34963 HAS SOPS 34963 HAS SOUS 32835 HAS SOUPS 32835 WITH SCORE 32869.963
AT ITER 4483 NEW BEST:: SOT 241354 SOS 34958 HAS SOPS 34958 HAS SOUS 32829 HAS SOUPS 32829 WITH SCORE 32863.958
AT ITER 4552 NEW BEST:: SOT 241352 SOS 34948 HAS SOPS 34948 HAS SOUS 32824 HAS SOUPS 32824 WITH SCORE 32858.948
AT ITER 4574 NEW BEST:: SOT 241350 SOS 34946 HAS SOPS 34946 HAS SOUS 32822 HAS SOUPS 32822 WITH SCORE 32856.946
AT ITER 4593 NEW BEST:: SOT 241382 SOS 34958 HAS SOPS 34958 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32837.958
AT ITER 4623 NEW BEST:: SOT 241319 SOS 34832 HAS SOPS 34832 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32651.832
AT ITER 4644 NEW BEST:: SOT 241278 SOS 34803 HAS SOPS 34803 HAS SOUS 32588 HAS SOUPS 32588 WITH SCORE 32622.803
AT ITER 4672 NEW BEST:: SOT 241238 SOS 34783 HAS SOPS 34783 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32602.783
AT ITER 4685 NEW BEST:: SOT 241238 SOS 34765 HAS SOPS 34765 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32602.765
AT ITER 4686 NEW BEST:: SOT 241236 SOS 34659 HAS SOPS 34659 HAS SOUS 32538 HAS SOUPS 32538 WITH SCORE 32572.659
AT ITER 4789 NEW BEST:: SOT 241211 SOS 34605 HAS SOPS 34605 HAS SOUS 32532 HAS SOUPS 32532 WITH SCORE 32566.605
AT ITER 4815 NEW BEST:: SOT 241252 SOS 34646 HAS SOPS 34646 HAS SOUS 32507 HAS SOUPS 32507 WITH SCORE 32541.646
AT ITER 4835 NEW BEST:: SOT 241246 SOS 34594 HAS SOPS 34594 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32512.594
AT ITER 4842 NEW BEST:: SOT 241247 SOS 34593 HAS SOPS 34593 HAS SOUS 32477 HAS SOUPS 32477 WITH SCORE 32511.593
AT ITER 4847 NEW BEST:: SOT 241302 SOS 34629 HAS SOPS 34629 HAS SOUS 32471 HAS SOUPS 32471 WITH SCORE 32505.629
AT ITER 4874 NEW BEST:: SOT 241302 SOS 34600 HAS SOPS 34600 HAS SOUS 32442 HAS SOUPS 32442 WITH SCORE 32476.6
AT ITER 4882 NEW BEST:: SOT 241299 SOS 34594 HAS SOPS 34594 HAS SOUS 32436 HAS SOUPS 32436 WITH SCORE 32470.594
AT ITER 4884 NEW BEST:: SOT 241280 SOS 34554 HAS SOPS 34554 HAS SOUS 32364 HAS SOUPS 32364 WITH SCORE 32398.554
AT ITER 4924 NEW BEST:: SOT 241277 SOS 34551 HAS SOPS 34551 HAS SOUS 32364 HAS SOUPS 32364 WITH SCORE 32398.551
AT ITER 4955 NEW BEST:: SOT 241260 SOS 34517 HAS SOPS 34517 HAS SOUS 32315 HAS SOUPS 32315 WITH SCORE 32349.517
AT ITER 4984 NEW BEST:: SOT 241262 SOS 34468 HAS SOPS 34468 HAS SOUS 32313 HAS SOUPS 32313 WITH SCORE 32347.468
AT ITER 4987 NEW BEST:: SOT 241263 SOS 34469 HAS SOPS 34469 HAS SOUS 32243 HAS SOUPS 32243 WITH SCORE 32277.469
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-00 ( ( ((potential((tk(P56)>=1)))) & (! ((potential((tk(P127)>=1))))) ) | (AF( ((potential((tk(P192)>=1)))))) )
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-01 (AF( ((potential((tk(P161)>=1))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-02 (AG( (! ((potential((tk(P130)>=1)))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-03 (AF( (! (AF( (! ((potential((tk(P71)>=1))))))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-04 (AG( (! ((potential((tk(P303)>=1)))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-05 (AF( ((potential((tk(P225)>=1))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-06 (EU( (! (EX( ((potential((tk(P88)>=1))))))) , (EU( ((potential((tk(P505)>=1) & (tk(P559)>=1)))) , ((potential((tk(P204)>=1)))) )) ))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-07 ( (AU( (! ( ((potential((tk(P134)>=1)))) | ((potential((tk(P277)>=1)))) )) , ( ((potential((tk(P186)>=1)))) & ( ((potential((tk(P469)>=1)))) | ((potential((tk(P385)>=1)))) ) ) )) | ( ((potential((tk(P79)>=1)))) | ((potential((tk(P176)>=1)))) ) )
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-08 (! ( (AX( (AF( ((potential((tk(P483)>=1) & (tk(P451)>=1) & (tk(P495)>=1)))))))) | (AG( (EX( ((potential((tk(P582)>=1) & (tk(P621)>=1)))))))) ))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-09 (EU( (EG( (! ((potential((tk(P445)>=1) & (tk(P443)>=1))))))) , ((potential((tk(P640)>=1)))) ))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-10 ( (! (EG( ((potential((tk(P179)>=1))))))) & ( ((potential((tk(P607)>=1)))) | (AG( (! ((potential((tk(P143)>=1))))))) ) )
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-11 ( ( (AF( (AX( ((potential((tk(P95)>=1)))))))) & ( (! (! (! ((potential((tk(P630)>=1))))))) | ( (! ( ((potential((tk(P124)>=1)))) | ((potential((tk(P121)>=1)))) )) | ( ( ((potential((tk(P124)>=1)))) & ((potential((tk(P604)>=1)))) ) & ((potential((tk(P442)>=1) & (tk(P461)>=1)))) ) ) ) ) & ( (! (AU( ((potential((tk(P677)>=1)))) , ((potential((tk(P232)>=1) & (tk(P260)>=1)))) ))) | ( ( ( ( ((potential((tk(P291)>=1)))) & ((potential((tk(P469)>=1)))) ) | ((potential((tk(P85)>=1)))) ) | ( ( ((potential((tk(P289)>=1)))) | ((potential((tk(P272)>=1)))) ) & ( ((potential((tk(P258)>=1)))) | ((potential((tk(P568)>=1)))) ) ) ) & (! ( (! ((potential((tk(P90)>=1))))) | ((potential((tk(P376)>=1) & (tk(P374)>=1)))) )) ) ) )
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-12 ( ( ( ( ( ( ((potential((tk(P480)>=1)))) & ((potential((tk(P203)>=1)))) ) & ( ((potential((tk(P147)>=1)))) | ((potential((tk(P71)>=1)))) ) ) | ( ( ((potential((tk(P546)>=1)))) | ((potential((tk(P479)>=1)))) ) & ((potential((tk(P461)>=1) & (tk(P448)>=1) & (tk(P495)>=1)))) ) ) | ( (! (! ((potential((tk(P151)>=1)))))) | (EX( ((potential((tk(P648)>=1)))))) ) ) & ( (EG( ((potential((tk(P28)>=1) & (tk(P47)>=1)))))) & ((potential((tk(P389)>=1)))) ) ) | (EU( ( (! ((potential((tk(P85)>=1))))) | ((potential((tk(P203)>=1)))) ) , (EF( ((potential((tk(P31)>=1) & (tk(P29)>=1)))))) )) )
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-13 (AF( ((potential((tk(P505)>=1) & (tk(P559)>=1))))))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-14 (EG( ( ( (EX( ((potential((tk(P539)>=1)))))) | ( ( ((potential((tk(P493)>=1)))) & ((potential((tk(P672)>=1)))) ) & ( ((potential((tk(P351)>=1)))) | ((potential((tk(P435)>=1)))) ) ) ) | ( (AG( ((potential((tk(P15)>=1)))))) | ( ( ((potential((tk(P268)>=1)))) | ((potential((tk(P84)>=1)))) ) | (! ((potential((tk(P417)>=1))))) ) ) )))
PROPERTY: ShieldIIPt-PT-010B-CTLFireability-15 ( (EF( ( (AG( ((potential((tk(P375)>=1) & (tk(P414)>=1)))))) & (AX( ((potential((tk(P538)>=1)))))) ))) | (EG( ((potential((tk(P65)>=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-010B"
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-010B, 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-159033469300308"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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