Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100100.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100100
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 921K 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 ASLink-PT-06b-CTLFireability-00
FORMULA_NAME ASLink-PT-06b-CTLFireability-01
FORMULA_NAME ASLink-PT-06b-CTLFireability-02
FORMULA_NAME ASLink-PT-06b-CTLFireability-03
FORMULA_NAME ASLink-PT-06b-CTLFireability-04
FORMULA_NAME ASLink-PT-06b-CTLFireability-05
FORMULA_NAME ASLink-PT-06b-CTLFireability-06
FORMULA_NAME ASLink-PT-06b-CTLFireability-07
FORMULA_NAME ASLink-PT-06b-CTLFireability-08
FORMULA_NAME ASLink-PT-06b-CTLFireability-09
FORMULA_NAME ASLink-PT-06b-CTLFireability-10
FORMULA_NAME ASLink-PT-06b-CTLFireability-11
FORMULA_NAME ASLink-PT-06b-CTLFireability-12
FORMULA_NAME ASLink-PT-06b-CTLFireability-13
FORMULA_NAME ASLink-PT-06b-CTLFireability-14
FORMULA_NAME ASLink-PT-06b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589043986015

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06b
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: 2826 places, 3513 transitions, 10709 arcs.
AT ITER 0 NEW BEST:: SOT 5379484 SOS 1142306 HAS SOPS 1142306 HAS SOUS 917313 HAS SOUPS 917313 WITH SCORE 918455.306
AT ITER 11 NEW BEST:: SOT 5379259 SOS 1141180 HAS SOPS 1141180 HAS SOUS 916862 HAS SOUPS 916862 WITH SCORE 918003.18
AT ITER 25 NEW BEST:: SOT 5379205 SOS 1141072 HAS SOPS 1141072 HAS SOUS 916754 HAS SOUPS 916754 WITH SCORE 917895.072
AT ITER 26 NEW BEST:: SOT 5378875 SOS 1140412 HAS SOPS 1140412 HAS SOUS 916094 HAS SOUPS 916094 WITH SCORE 917234.412
AT ITER 30 NEW BEST:: SOT 5378875 SOS 1140268 HAS SOPS 1140268 HAS SOUS 915950 HAS SOUPS 915950 WITH SCORE 917090.268
AT ITER 33 NEW BEST:: SOT 5378829 SOS 1140174 HAS SOPS 1140174 HAS SOUS 915901 HAS SOUPS 915901 WITH SCORE 917041.174
AT ITER 45 NEW BEST:: SOT 5378829 SOS 1139754 HAS SOPS 1139754 HAS SOUS 915481 HAS SOUPS 915481 WITH SCORE 916620.754
AT ITER 55 NEW BEST:: SOT 5377999 SOS 1139087 HAS SOPS 1139087 HAS SOUS 914814 HAS SOUPS 914814 WITH SCORE 915953.087
AT ITER 58 NEW BEST:: SOT 5378047 SOS 1138905 HAS SOPS 1138905 HAS SOUS 914794 HAS SOUPS 914794 WITH SCORE 915932.905
AT ITER 60 NEW BEST:: SOT 5377909 SOS 1138767 HAS SOPS 1138767 HAS SOUS 914656 HAS SOUPS 914656 WITH SCORE 915794.767
AT ITER 68 NEW BEST:: SOT 5377883 SOS 1139060 HAS SOPS 1139060 HAS SOUS 914592 HAS SOUPS 914592 WITH SCORE 915731.06
AT ITER 81 NEW BEST:: SOT 5377869 SOS 1139032 HAS SOPS 1139032 HAS SOUS 914564 HAS SOUPS 914564 WITH SCORE 915703.032
AT ITER 114 NEW BEST:: SOT 5377781 SOS 1138591 HAS SOPS 1138591 HAS SOUS 914387 HAS SOUPS 914387 WITH SCORE 915525.591
AT ITER 155 NEW BEST:: SOT 5377753 SOS 1138563 HAS SOPS 1138563 HAS SOUS 914345 HAS SOUPS 914345 WITH SCORE 915483.563
AT ITER 169 NEW BEST:: SOT 5375072 SOS 1137913 HAS SOPS 1137913 HAS SOUS 912016 HAS SOUPS 912016 WITH SCORE 913153.913
AT ITER 179 NEW BEST:: SOT 5375072 SOS 1137800 HAS SOPS 1137800 HAS SOUS 912015 HAS SOUPS 912015 WITH SCORE 913152.8
AT ITER 183 NEW BEST:: SOT 5374806 SOS 1137268 HAS SOPS 1137268 HAS SOUS 911483 HAS SOUPS 911483 WITH SCORE 912620.268
AT ITER 216 NEW BEST:: SOT 5374529 SOS 1136887 HAS SOPS 1136887 HAS SOUS 911101 HAS SOUPS 911101 WITH SCORE 912237.887
AT ITER 295 NEW BEST:: SOT 5374529 SOS 1136686 HAS SOPS 1136686 HAS SOUS 911097 HAS SOUPS 911097 WITH SCORE 912233.686
AT ITER 298 NEW BEST:: SOT 5374334 SOS 1136406 HAS SOPS 1136406 HAS SOUS 910790 HAS SOUPS 910790 WITH SCORE 911926.406
AT ITER 300 NEW BEST:: SOT 5372122 SOS 1138042 HAS SOPS 1138042 HAS SOUS 909132 HAS SOUPS 909132 WITH SCORE 910270.042
AT ITER 313 NEW BEST:: SOT 5372122 SOS 1137827 HAS SOPS 1137827 HAS SOUS 909132 HAS SOUPS 909132 WITH SCORE 910269.827
AT ITER 320 NEW BEST:: SOT 5371324 SOS 1138916 HAS SOPS 1138916 HAS SOUS 908964 HAS SOUPS 908964 WITH SCORE 910102.916
AT ITER 352 NEW BEST:: SOT 5371324 SOS 1138843 HAS SOPS 1138843 HAS SOUS 908959 HAS SOUPS 908959 WITH SCORE 910097.843
AT ITER 353 NEW BEST:: SOT 5371214 SOS 1138924 HAS SOPS 1138924 HAS SOUS 908869 HAS SOUPS 908869 WITH SCORE 910007.924
AT ITER 366 NEW BEST:: SOT 5370942 SOS 1138434 HAS SOPS 1138434 HAS SOUS 908627 HAS SOUPS 908627 WITH SCORE 909765.434
AT ITER 368 NEW BEST:: SOT 5371018 SOS 1138179 HAS SOPS 1138179 HAS SOUS 908504 HAS SOUPS 908504 WITH SCORE 909642.179
AT ITER 370 NEW BEST:: SOT 5370952 SOS 1138030 HAS SOPS 1138030 HAS SOUS 908359 HAS SOUPS 908359 WITH SCORE 909497.03
AT ITER 377 NEW BEST:: SOT 5370952 SOS 1136784 HAS SOPS 1136784 HAS SOUS 908359 HAS SOUPS 908359 WITH SCORE 909495.784
AT ITER 398 NEW BEST:: SOT 5370824 SOS 1135310 HAS SOPS 1135310 HAS SOUS 907975 HAS SOUPS 907975 WITH SCORE 909110.31
AT ITER 402 NEW BEST:: SOT 5370824 SOS 1136416 HAS SOPS 1136416 HAS SOUS 907947 HAS SOUPS 907947 WITH SCORE 909083.416
AT ITER 406 NEW BEST:: SOT 5370824 SOS 1137396 HAS SOPS 1137396 HAS SOUS 907946 HAS SOUPS 907946 WITH SCORE 909083.396
AT ITER 420 NEW BEST:: SOT 5370824 SOS 1137395 HAS SOPS 1137395 HAS SOUS 907945 HAS SOUPS 907945 WITH SCORE 909082.395
AT ITER 441 NEW BEST:: SOT 5368709 SOS 1137544 HAS SOPS 1137544 HAS SOUS 905995 HAS SOUPS 905995 WITH SCORE 907132.544
AT ITER 456 NEW BEST:: SOT 5368253 SOS 1137477 HAS SOPS 1137477 HAS SOUS 905710 HAS SOUPS 905710 WITH SCORE 906847.477
AT ITER 461 NEW BEST:: SOT 5367360 SOS 1138612 HAS SOPS 1138612 HAS SOUS 904965 HAS SOUPS 904965 WITH SCORE 906103.612
AT ITER 465 NEW BEST:: SOT 5367260 SOS 1138512 HAS SOPS 1138512 HAS SOUS 904765 HAS SOUPS 904765 WITH SCORE 905903.512
AT ITER 479 NEW BEST:: SOT 5367213 SOS 1138418 HAS SOPS 1138418 HAS SOUS 904717 HAS SOUPS 904717 WITH SCORE 905855.418
AT ITER 494 NEW BEST:: SOT 5367377 SOS 1138390 HAS SOPS 1138390 HAS SOUS 904695 HAS SOUPS 904695 WITH SCORE 905833.39
AT ITER 498 NEW BEST:: SOT 5367303 SOS 1138242 HAS SOPS 1138242 HAS SOUS 904547 HAS SOUPS 904547 WITH SCORE 905685.242
AT ITER 503 NEW BEST:: SOT 5367303 SOS 1138363 HAS SOPS 1138363 HAS SOUS 904531 HAS SOUPS 904531 WITH SCORE 905669.363
AT ITER 522 NEW BEST:: SOT 5367303 SOS 1138348 HAS SOPS 1138348 HAS SOUS 904529 HAS SOUPS 904529 WITH SCORE 905667.348
AT ITER 560 NEW BEST:: SOT 5366894 SOS 1137924 HAS SOPS 1137924 HAS SOUS 904105 HAS SOUPS 904105 WITH SCORE 905242.924
AT ITER 615 NEW BEST:: SOT 5366893 SOS 1138447 HAS SOPS 1138447 HAS SOUS 904068 HAS SOUPS 904068 WITH SCORE 905206.447
AT ITER 638 NEW BEST:: SOT 5366792 SOS 1138343 HAS SOPS 1138343 HAS SOUS 903966 HAS SOUPS 903966 WITH SCORE 905104.343
AT ITER 639 NEW BEST:: SOT 5366058 SOS 1137777 HAS SOPS 1137777 HAS SOUS 903400 HAS SOUPS 903400 WITH SCORE 904537.777
AT ITER 669 NEW BEST:: SOT 5365906 SOS 1137405 HAS SOPS 1137405 HAS SOUS 903180 HAS SOUPS 903180 WITH SCORE 904317.405
AT ITER 676 NEW BEST:: SOT 5365906 SOS 1137355 HAS SOPS 1137355 HAS SOUS 903180 HAS SOUPS 903180 WITH SCORE 904317.355
AT ITER 683 NEW BEST:: SOT 5365308 SOS 1138094 HAS SOPS 1138094 HAS SOUS 903159 HAS SOUPS 903159 WITH SCORE 904297.094
AT ITER 719 NEW BEST:: SOT 5364881 SOS 1137666 HAS SOPS 1137666 HAS SOUS 902304 HAS SOUPS 902304 WITH SCORE 903441.666
AT ITER 738 NEW BEST:: SOT 5364768 SOS 1137441 HAS SOPS 1137441 HAS SOUS 902189 HAS SOUPS 902189 WITH SCORE 903326.441
AT ITER 746 NEW BEST:: SOT 5364804 SOS 1137299 HAS SOPS 1137299 HAS SOUS 902047 HAS SOUPS 902047 WITH SCORE 903184.299
AT ITER 747 NEW BEST:: SOT 5364804 SOS 1137310 HAS SOPS 1137310 HAS SOUS 901978 HAS SOUPS 901978 WITH SCORE 903115.31
AT ITER 749 NEW BEST:: SOT 5364804 SOS 1137221 HAS SOPS 1137221 HAS SOUS 901889 HAS SOUPS 901889 WITH SCORE 903026.221
AT ITER 772 NEW BEST:: SOT 5364862 SOS 1136775 HAS SOPS 1136775 HAS SOUS 901729 HAS SOUPS 901729 WITH SCORE 902865.775
AT ITER 778 NEW BEST:: SOT 5364597 SOS 1136343 HAS SOPS 1136343 HAS SOUS 901463 HAS SOUPS 901463 WITH SCORE 902599.343
AT ITER 780 NEW BEST:: SOT 5364556 SOS 1136257 HAS SOPS 1136257 HAS SOUS 901377 HAS SOUPS 901377 WITH SCORE 902513.257
AT ITER 798 NEW BEST:: SOT 5363564 SOS 1137329 HAS SOPS 1137329 HAS SOUS 900665 HAS SOUPS 900665 WITH SCORE 901802.329
AT ITER 799 NEW BEST:: SOT 5361836 SOS 1135524 HAS SOPS 1135524 HAS SOUS 898721 HAS SOUPS 898721 WITH SCORE 899856.524
AT ITER 828 NEW BEST:: SOT 5361720 SOS 1135350 HAS SOPS 1135350 HAS SOUS 898547 HAS SOUPS 898547 WITH SCORE 899682.35
AT ITER 857 NEW BEST:: SOT 5361587 SOS 1135217 HAS SOPS 1135217 HAS SOUS 898547 HAS SOUPS 898547 WITH SCORE 899682.217
AT ITER 863 NEW BEST:: SOT 5361378 SOS 1135008 HAS SOPS 1135008 HAS SOUS 898338 HAS SOUPS 898338 WITH SCORE 899473.008
AT ITER 872 NEW BEST:: SOT 5361378 SOS 1134652 HAS SOPS 1134652 HAS SOUS 898118 HAS SOUPS 898118 WITH SCORE 899252.652
AT ITER 904 NEW BEST:: SOT 5361087 SOS 1134430 HAS SOPS 1134430 HAS SOUS 897896 HAS SOUPS 897896 WITH SCORE 899030.43
AT ITER 930 NEW BEST:: SOT 5361087 SOS 1134429 HAS SOPS 1134429 HAS SOUS 897895 HAS SOUPS 897895 WITH SCORE 899029.429
AT ITER 940 NEW BEST:: SOT 5360768 SOS 1134158 HAS SOPS 1134158 HAS SOUS 897615 HAS SOUPS 897615 WITH SCORE 898749.158
AT ITER 945 NEW BEST:: SOT 5360429 SOS 1133932 HAS SOPS 1133932 HAS SOUS 897389 HAS SOUPS 897389 WITH SCORE 898522.932
AT ITER 979 NEW BEST:: SOT 5360427 SOS 1133928 HAS SOPS 1133928 HAS SOUS 897385 HAS SOUPS 897385 WITH SCORE 898518.928
AT ITER 985 NEW BEST:: SOT 5360028 SOS 1133514 HAS SOPS 1133514 HAS SOUS 896971 HAS SOUPS 896971 WITH SCORE 898104.514
AT ITER 988 NEW BEST:: SOT 5360014 SOS 1133486 HAS SOPS 1133486 HAS SOUS 896957 HAS SOUPS 896957 WITH SCORE 898090.486
AT ITER 1026 NEW BEST:: SOT 5359978 SOS 1133414 HAS SOPS 1133414 HAS SOUS 896885 HAS SOUPS 896885 WITH SCORE 898018.414
AT ITER 1032 NEW BEST:: SOT 5359927 SOS 1133312 HAS SOPS 1133312 HAS SOUS 896783 HAS SOUPS 896783 WITH SCORE 897916.312
AT ITER 1037 NEW BEST:: SOT 5359673 SOS 1132793 HAS SOPS 1132793 HAS SOUS 896264 HAS SOUPS 896264 WITH SCORE 897396.793
AT ITER 1064 NEW BEST:: SOT 5359673 SOS 1133617 HAS SOPS 1133617 HAS SOUS 896236 HAS SOUPS 896236 WITH SCORE 897369.617
AT ITER 1078 NEW BEST:: SOT 5358233 SOS 1135124 HAS SOPS 1135124 HAS SOUS 895716 HAS SOUPS 895716 WITH SCORE 896851.124
AT ITER 1082 NEW BEST:: SOT 5358232 SOS 1135060 HAS SOPS 1135060 HAS SOUS 895713 HAS SOUPS 895713 WITH SCORE 896848.06
AT ITER 1083 NEW BEST:: SOT 5358232 SOS 1135026 HAS SOPS 1135026 HAS SOUS 895712 HAS SOUPS 895712 WITH SCORE 896847.026
AT ITER 1098 NEW BEST:: SOT 5358168 SOS 1134952 HAS SOPS 1134952 HAS SOUS 895480 HAS SOUPS 895480 WITH SCORE 896614.952
AT ITER 1118 NEW BEST:: SOT 5357761 SOS 1134430 HAS SOPS 1134430 HAS SOUS 895056 HAS SOUPS 895056 WITH SCORE 896190.43
AT ITER 1137 NEW BEST:: SOT 5357761 SOS 1134415 HAS SOPS 1134415 HAS SOUS 895056 HAS SOUPS 895056 WITH SCORE 896190.415
AT ITER 1157 NEW BEST:: SOT 5357667 SOS 1134227 HAS SOPS 1134227 HAS SOUS 894868 HAS SOUPS 894868 WITH SCORE 896002.227
AT ITER 1185 NEW BEST:: SOT 5356813 SOS 1133394 HAS SOPS 1133394 HAS SOUS 894009 HAS SOUPS 894009 WITH SCORE 895142.394
AT ITER 1193 NEW BEST:: SOT 5356728 SOS 1133298 HAS SOPS 1133298 HAS SOUS 893913 HAS SOUPS 893913 WITH SCORE 895046.298
AT ITER 1204 NEW BEST:: SOT 5356523 SOS 1132911 HAS SOPS 1132911 HAS SOUS 893819 HAS SOUPS 893819 WITH SCORE 894951.911
AT ITER 1227 NEW BEST:: SOT 5356395 SOS 1132760 HAS SOPS 1132760 HAS SOUS 893675 HAS SOUPS 893675 WITH SCORE 894807.76
AT ITER 1230 NEW BEST:: SOT 5356273 SOS 1132414 HAS SOPS 1132414 HAS SOUS 893620 HAS SOUPS 893620 WITH SCORE 894752.414
AT ITER 1232 NEW BEST:: SOT 5355619 SOS 1131886 HAS SOPS 1131886 HAS SOUS 893092 HAS SOUPS 893092 WITH SCORE 894223.886
AT ITER 1251 NEW BEST:: SOT 5355461 SOS 1131522 HAS SOPS 1131522 HAS SOUS 892728 HAS SOUPS 892728 WITH SCORE 893859.522
AT ITER 1257 NEW BEST:: SOT 5355284 SOS 1130112 HAS SOPS 1130112 HAS SOUS 892225 HAS SOUPS 892225 WITH SCORE 893355.112
AT ITER 1259 NEW BEST:: SOT 5354935 SOS 1129841 HAS SOPS 1129841 HAS SOUS 891954 HAS SOUPS 891954 WITH SCORE 893083.841
AT ITER 1267 NEW BEST:: SOT 5354953 SOS 1129648 HAS SOPS 1129648 HAS SOUS 891761 HAS SOUPS 891761 WITH SCORE 892890.648
AT ITER 1268 NEW BEST:: SOT 5354383 SOS 1129266 HAS SOPS 1129266 HAS SOUS 891379 HAS SOUPS 891379 WITH SCORE 892508.266
AT ITER 1292 NEW BEST:: SOT 5354383 SOS 1129079 HAS SOPS 1129079 HAS SOUS 891379 HAS SOUPS 891379 WITH SCORE 892508.079
AT ITER 1309 NEW BEST:: SOT 5354383 SOS 1128820 HAS SOPS 1128820 HAS SOUS 891379 HAS SOUPS 891379 WITH SCORE 892507.82
AT ITER 1321 NEW BEST:: SOT 5354383 SOS 1128761 HAS SOPS 1128761 HAS SOUS 891320 HAS SOUPS 891320 WITH SCORE 892448.761
AT ITER 1322 NEW BEST:: SOT 5354375 SOS 1128745 HAS SOPS 1128745 HAS SOUS 891304 HAS SOUPS 891304 WITH SCORE 892432.745
AT ITER 1328 NEW BEST:: SOT 5354375 SOS 1128744 HAS SOPS 1128744 HAS SOUS 891303 HAS SOUPS 891303 WITH SCORE 892431.744
AT ITER 1340 NEW BEST:: SOT 5354158 SOS 1128346 HAS SOPS 1128346 HAS SOUS 891181 HAS SOUPS 891181 WITH SCORE 892309.346
AT ITER 1346 NEW BEST:: SOT 5354095 SOS 1128283 HAS SOPS 1128283 HAS SOUS 891118 HAS SOUPS 891118 WITH SCORE 892246.283
AT ITER 1349 NEW BEST:: SOT 5353903 SOS 1127495 HAS SOPS 1127495 HAS SOUS 890714 HAS SOUPS 890714 WITH SCORE 891841.495
AT ITER 1408 NEW BEST:: SOT 5354031 SOS 1127928 HAS SOPS 1127928 HAS SOUS 890711 HAS SOUPS 890711 WITH SCORE 891838.928
AT ITER 1412 NEW BEST:: SOT 5353690 SOS 1127540 HAS SOPS 1127540 HAS SOUS 890323 HAS SOUPS 890323 WITH SCORE 891450.54
AT ITER 1458 NEW BEST:: SOT 5353733 SOS 1127298 HAS SOPS 1127298 HAS SOUS 890081 HAS SOUPS 890081 WITH SCORE 891208.298
AT ITER 1459 NEW BEST:: SOT 5353380 SOS 1126849 HAS SOPS 1126849 HAS SOUS 889531 HAS SOUPS 889531 WITH SCORE 890657.849
AT ITER 1464 NEW BEST:: SOT 5353282 SOS 1126846 HAS SOPS 1126846 HAS SOUS 889433 HAS SOUPS 889433 WITH SCORE 890559.846
AT ITER 1465 NEW BEST:: SOT 5353282 SOS 1126735 HAS SOPS 1126735 HAS SOUS 889433 HAS SOUPS 889433 WITH SCORE 890559.735
AT ITER 1477 NEW BEST:: SOT 5353282 SOS 1126729 HAS SOPS 1126729 HAS SOUS 889427 HAS SOUPS 889427 WITH SCORE 890553.729
AT ITER 1497 NEW BEST:: SOT 5353196 SOS 1126643 HAS SOPS 1126643 HAS SOUS 889341 HAS SOUPS 889341 WITH SCORE 890467.643
AT ITER 1498 NEW BEST:: SOT 5353089 SOS 1126519 HAS SOPS 1126519 HAS SOUS 889217 HAS SOUPS 889217 WITH SCORE 890343.519
AT ITER 1500 NEW BEST:: SOT 5352794 SOS 1125778 HAS SOPS 1125778 HAS SOUS 888705 HAS SOUPS 888705 WITH SCORE 889830.778
AT ITER 1554 NEW BEST:: SOT 5348557 SOS 1124717 HAS SOPS 1124717 HAS SOUS 885045 HAS SOUPS 885045 WITH SCORE 886169.717
AT ITER 1557 NEW BEST:: SOT 5348534 SOS 1124686 HAS SOPS 1124686 HAS SOUS 884998 HAS SOUPS 884998 WITH SCORE 886122.686
AT ITER 1574 NEW BEST:: SOT 5348538 SOS 1124684 HAS SOPS 1124684 HAS SOUS 884996 HAS SOUPS 884996 WITH SCORE 886120.684
AT ITER 1582 NEW BEST:: SOT 5348373 SOS 1124519 HAS SOPS 1124519 HAS SOUS 884830 HAS SOUPS 884830 WITH SCORE 885954.519
AT ITER 1601 NEW BEST:: SOT 5348035 SOS 1124974 HAS SOPS 1124974 HAS SOUS 884800 HAS SOUPS 884800 WITH SCORE 885924.974
AT ITER 1605 NEW BEST:: SOT 5347914 SOS 1124916 HAS SOPS 1124916 HAS SOUS 884743 HAS SOUPS 884743 WITH SCORE 885867.916
AT ITER 1613 NEW BEST:: SOT 5347716 SOS 1124718 HAS SOPS 1124718 HAS SOUS 884545 HAS SOUPS 884545 WITH SCORE 885669.718
AT ITER 1621 NEW BEST:: SOT 5347668 SOS 1124622 HAS SOPS 1124622 HAS SOUS 884497 HAS SOUPS 884497 WITH SCORE 885621.622
AT ITER 1687 NEW BEST:: SOT 5347644 SOS 1124479 HAS SOPS 1124479 HAS SOUS 884372 HAS SOUPS 884372 WITH SCORE 885496.479
AT ITER 1689 NEW BEST:: SOT 5347644 SOS 1124304 HAS SOPS 1124304 HAS SOUS 884370 HAS SOUPS 884370 WITH SCORE 885494.304
AT ITER 1699 NEW BEST:: SOT 5347468 SOS 1124114 HAS SOPS 1124114 HAS SOUS 884348 HAS SOUPS 884348 WITH SCORE 885472.114
AT ITER 1725 NEW BEST:: SOT 5347290 SOS 1123924 HAS SOPS 1123924 HAS SOUS 883642 HAS SOUPS 883642 WITH SCORE 884765.924
AT ITER 1762 NEW BEST:: SOT 5347158 SOS 1123794 HAS SOPS 1123794 HAS SOUS 883485 HAS SOUPS 883485 WITH SCORE 884608.794
AT ITER 1787 NEW BEST:: SOT 5346935 SOS 1123319 HAS SOPS 1123319 HAS SOUS 883426 HAS SOUPS 883426 WITH SCORE 884549.319
AT ITER 1800 NEW BEST:: SOT 5346813 SOS 1123199 HAS SOPS 1123199 HAS SOUS 883346 HAS SOUPS 883346 WITH SCORE 884469.199
AT ITER 1817 NEW BEST:: SOT 5346457 SOS 1122843 HAS SOPS 1122843 HAS SOUS 882826 HAS SOUPS 882826 WITH SCORE 883948.843
AT ITER 1820 NEW BEST:: SOT 5346455 SOS 1122841 HAS SOPS 1122841 HAS SOUS 882822 HAS SOUPS 882822 WITH SCORE 883944.841
AT ITER 1821 NEW BEST:: SOT 5346185 SOS 1122301 HAS SOPS 1122301 HAS SOUS 882282 HAS SOUPS 882282 WITH SCORE 883404.301
AT ITER 1827 NEW BEST:: SOT 5346144 SOS 1122219 HAS SOPS 1122219 HAS SOUS 882200 HAS SOUPS 882200 WITH SCORE 883322.219
AT ITER 1878 NEW BEST:: SOT 5346144 SOS 1122165 HAS SOPS 1122165 HAS SOUS 882200 HAS SOUPS 882200 WITH SCORE 883322.165
AT ITER 1884 NEW BEST:: SOT 5346144 SOS 1121396 HAS SOPS 1121396 HAS SOUS 882088 HAS SOUPS 882088 WITH SCORE 883209.396
AT ITER 1904 NEW BEST:: SOT 5346156 SOS 1122619 HAS SOPS 1122619 HAS SOUS 882072 HAS SOUPS 882072 WITH SCORE 883194.619
AT ITER 1928 NEW BEST:: SOT 5346003 SOS 1122970 HAS SOPS 1122970 HAS SOUS 881876 HAS SOUPS 881876 WITH SCORE 882998.97
AT ITER 1933 NEW BEST:: SOT 5346003 SOS 1122805 HAS SOPS 1122805 HAS SOUS 881787 HAS SOUPS 881787 WITH SCORE 882909.805
AT ITER 1963 NEW BEST:: SOT 5345954 SOS 1122658 HAS SOPS 1122658 HAS SOUS 881640 HAS SOUPS 881640 WITH SCORE 882762.658
AT ITER 1997 NEW BEST:: SOT 5345953 SOS 1122656 HAS SOPS 1122656 HAS SOUS 881638 HAS SOUPS 881638 WITH SCORE 882760.656
AT ITER 2000 NEW BEST:: SOT 5345441 SOS 1125292 HAS SOPS 1125292 HAS SOUS 881424 HAS SOUPS 881424 WITH SCORE 882549.292
AT ITER 2017 NEW BEST:: SOT 5345122 SOS 1123697 HAS SOPS 1123697 HAS SOUS 880785 HAS SOUPS 880785 WITH SCORE 881908.697
AT ITER 2025 NEW BEST:: SOT 5344650 SOS 1123225 HAS SOPS 1123225 HAS SOUS 880313 HAS SOUPS 880313 WITH SCORE 881436.225
AT ITER 2035 NEW BEST:: SOT 5344375 SOS 1122667 HAS SOPS 1122667 HAS SOUS 879755 HAS SOUPS 879755 WITH SCORE 880877.667
AT ITER 2039 NEW BEST:: SOT 5344113 SOS 1122405 HAS SOPS 1122405 HAS SOUS 879493 HAS SOUPS 879493 WITH SCORE 880615.405
AT ITER 2042 NEW BEST:: SOT 5344113 SOS 1122136 HAS SOPS 1122136 HAS SOUS 879493 HAS SOUPS 879493 WITH SCORE 880615.136
AT ITER 2099 NEW BEST:: SOT 5343685 SOS 1121685 HAS SOPS 1121685 HAS SOUS 879042 HAS SOUPS 879042 WITH SCORE 880163.685
AT ITER 2101 NEW BEST:: SOT 5343492 SOS 1121443 HAS SOPS 1121443 HAS SOUS 878800 HAS SOUPS 878800 WITH SCORE 879921.443
AT ITER 2119 NEW BEST:: SOT 5343491 SOS 1121838 HAS SOPS 1121838 HAS SOUS 878798 HAS SOUPS 878798 WITH SCORE 879919.838
AT ITER 2161 NEW BEST:: SOT 5342946 SOS 1121033 HAS SOPS 1121033 HAS SOUS 878601 HAS SOUPS 878601 WITH SCORE 879722.033
AT ITER 2176 NEW BEST:: SOT 5342945 SOS 1121031 HAS SOPS 1121031 HAS SOUS 878599 HAS SOUPS 878599 WITH SCORE 879720.031
AT ITER 2182 NEW BEST:: SOT 5342925 SOS 1120991 HAS SOPS 1120991 HAS SOUS 878559 HAS SOUPS 878559 WITH SCORE 879679.991
AT ITER 2186 NEW BEST:: SOT 5342881 SOS 1120702 HAS SOPS 1120702 HAS SOUS 878491 HAS SOUPS 878491 WITH SCORE 879611.702
AT ITER 2221 NEW BEST:: SOT 5342880 SOS 1120338 HAS SOPS 1120338 HAS SOUS 878489 HAS SOUPS 878489 WITH SCORE 879609.338
AT ITER 2238 NEW BEST:: SOT 5342879 SOS 1120336 HAS SOPS 1120336 HAS SOUS 878487 HAS SOUPS 878487 WITH SCORE 879607.336
AT ITER 2252 NEW BEST:: SOT 5342879 SOS 1120296 HAS SOPS 1120296 HAS SOUS 878447 HAS SOUPS 878447 WITH SCORE 879567.296
AT ITER 2261 NEW BEST:: SOT 5341647 SOS 1120340 HAS SOPS 1120340 HAS SOUS 877422 HAS SOUPS 877422 WITH SCORE 878542.34
AT ITER 2284 NEW BEST:: SOT 5341568 SOS 1120196 HAS SOPS 1120196 HAS SOUS 877287 HAS SOUPS 877287 WITH SCORE 878407.196
AT ITER 2286 NEW BEST:: SOT 5341347 SOS 1119953 HAS SOPS 1119953 HAS SOUS 877044 HAS SOUPS 877044 WITH SCORE 878163.953
AT ITER 2290 NEW BEST:: SOT 5341347 SOS 1119953 HAS SOPS 1119953 HAS SOUS 877043 HAS SOUPS 877043 WITH SCORE 878162.953
AT ITER 2308 NEW BEST:: SOT 5341347 SOS 1119941 HAS SOPS 1119941 HAS SOUS 877043 HAS SOUPS 877043 WITH SCORE 878162.941
AT ITER 2309 NEW BEST:: SOT 5341347 SOS 1119213 HAS SOPS 1119213 HAS SOUS 877043 HAS SOUPS 877043 WITH SCORE 878162.213
AT ITER 2320 NEW BEST:: SOT 5341347 SOS 1119117 HAS SOPS 1119117 HAS SOUS 877043 HAS SOUPS 877043 WITH SCORE 878162.117
AT ITER 2324 NEW BEST:: SOT 5341347 SOS 1119116 HAS SOPS 1119116 HAS SOUS 877042 HAS SOUPS 877042 WITH SCORE 878161.116
AT ITER 2339 NEW BEST:: SOT 5341174 SOS 1116865 HAS SOPS 1116865 HAS SOUS 876694 HAS SOUPS 876694 WITH SCORE 877810.865
AT ITER 2345 NEW BEST:: SOT 5340993 SOS 1116398 HAS SOPS 1116398 HAS SOUS 876332 HAS SOUPS 876332 WITH SCORE 877448.398
AT ITER 2346 NEW BEST:: SOT 5340370 SOS 1115746 HAS SOPS 1115746 HAS SOUS 876243 HAS SOUPS 876243 WITH SCORE 877358.746
AT ITER 2347 NEW BEST:: SOT 5340223 SOS 1115159 HAS SOPS 1115159 HAS SOUS 875981 HAS SOUPS 875981 WITH SCORE 877096.159
AT ITER 2353 NEW BEST:: SOT 5340223 SOS 1115143 HAS SOPS 1115143 HAS SOUS 875965 HAS SOUPS 875965 WITH SCORE 877080.143
AT ITER 2354 NEW BEST:: SOT 5339952 SOS 1114517 HAS SOPS 1114517 HAS SOUS 875713 HAS SOUPS 875713 WITH SCORE 876827.517
AT ITER 2387 NEW BEST:: SOT 5340056 SOS 1114447 HAS SOPS 1114447 HAS SOUS 875602 HAS SOUPS 875602 WITH SCORE 876716.447
AT ITER 2411 NEW BEST:: SOT 5339952 SOS 1114204 HAS SOPS 1114204 HAS SOUS 875359 HAS SOUPS 875359 WITH SCORE 876473.204
AT ITER 2485 NEW BEST:: SOT 5339888 SOS 1114116 HAS SOPS 1114116 HAS SOUS 875279 HAS SOUPS 875279 WITH SCORE 876393.116
AT ITER 2530 NEW BEST:: SOT 5339888 SOS 1114092 HAS SOPS 1114092 HAS SOUS 875279 HAS SOUPS 875279 WITH SCORE 876393.092
AT ITER 2548 NEW BEST:: SOT 5339888 SOS 1113595 HAS SOPS 1113595 HAS SOUS 875279 HAS SOUPS 875279 WITH SCORE 876392.595
AT ITER 2550 NEW BEST:: SOT 5339909 SOS 1113543 HAS SOPS 1113543 HAS SOUS 875227 HAS SOUPS 875227 WITH SCORE 876340.543
AT ITER 2563 NEW BEST:: SOT 5339906 SOS 1114705 HAS SOPS 1114705 HAS SOUS 875213 HAS SOUPS 875213 WITH SCORE 876327.705
AT ITER 2574 NEW BEST:: SOT 5339517 SOS 1114270 HAS SOPS 1114270 HAS SOUS 874809 HAS SOUPS 874809 WITH SCORE 875923.27
AT ITER 2619 NEW BEST:: SOT 5339517 SOS 1114270 HAS SOPS 1114270 HAS SOUS 874808 HAS SOUPS 874808 WITH SCORE 875922.27
AT ITER 2641 NEW BEST:: SOT 5339153 SOS 1113626 HAS SOPS 1113626 HAS SOUS 874164 HAS SOUPS 874164 WITH SCORE 875277.626
AT ITER 2646 NEW BEST:: SOT 5339054 SOS 1113686 HAS SOPS 1113686 HAS SOUS 873966 HAS SOUPS 873966 WITH SCORE 875079.686
AT ITER 2682 NEW BEST:: SOT 5337881 SOS 1111972 HAS SOPS 1111972 HAS SOUS 872724 HAS SOUPS 872724 WITH SCORE 873835.972
AT ITER 2723 NEW BEST:: SOT 5337473 SOS 1111541 HAS SOPS 1111541 HAS SOUS 872697 HAS SOUPS 872697 WITH SCORE 873808.541
AT ITER 2731 NEW BEST:: SOT 5337285 SOS 1111353 HAS SOPS 1111353 HAS SOUS 872321 HAS SOUPS 872321 WITH SCORE 873432.353
AT ITER 2757 NEW BEST:: SOT 5337285 SOS 1111335 HAS SOPS 1111335 HAS SOUS 872303 HAS SOUPS 872303 WITH SCORE 873414.335
AT ITER 2779 NEW BEST:: SOT 5337272 SOS 1111322 HAS SOPS 1111322 HAS SOUS 872277 HAS SOUPS 872277 WITH SCORE 873388.322
AT ITER 2781 NEW BEST:: SOT 5336569 SOS 1110617 HAS SOPS 1110617 HAS SOUS 871574 HAS SOUPS 871574 WITH SCORE 872684.617
AT ITER 2782 NEW BEST:: SOT 5336209 SOS 1110117 HAS SOPS 1110117 HAS SOUS 870714 HAS SOUPS 870714 WITH SCORE 871824.117
AT ITER 2789 NEW BEST:: SOT 5336172 SOS 1110043 HAS SOPS 1110043 HAS SOUS 870640 HAS SOUPS 870640 WITH SCORE 871750.043
AT ITER 2794 NEW BEST:: SOT 5336172 SOS 1110043 HAS SOPS 1110043 HAS SOUS 870639 HAS SOUPS 870639 WITH SCORE 871749.043
AT ITER 2821 NEW BEST:: SOT 5336154 SOS 1110032 HAS SOPS 1110032 HAS SOUS 870638 HAS SOUPS 870638 WITH SCORE 871748.032
AT ITER 2842 NEW BEST:: SOT 5336154 SOS 1109921 HAS SOPS 1109921 HAS SOUS 870527 HAS SOUPS 870527 WITH SCORE 871636.921
AT ITER 2848 NEW BEST:: SOT 5335220 SOS 1109097 HAS SOPS 1109097 HAS SOUS 869709 HAS SOUPS 869709 WITH SCORE 870818.097
AT ITER 2854 NEW BEST:: SOT 5332814 SOS 1106842 HAS SOPS 1106842 HAS SOUS 867375 HAS SOUPS 867375 WITH SCORE 868481.842
AT ITER 2861 NEW BEST:: SOT 5332594 SOS 1106622 HAS SOPS 1106622 HAS SOUS 866935 HAS SOUPS 866935 WITH SCORE 868041.622
AT ITER 2870 NEW BEST:: SOT 5332594 SOS 1106536 HAS SOPS 1106536 HAS SOUS 866865 HAS SOUPS 866865 WITH SCORE 867971.536
AT ITER 2884 NEW BEST:: SOT 5332439 SOS 1106381 HAS SOPS 1106381 HAS SOUS 866710 HAS SOUPS 866710 WITH SCORE 867816.381
AT ITER 2890 NEW BEST:: SOT 5331920 SOS 1106364 HAS SOPS 1106364 HAS SOUS 866296 HAS SOUPS 866296 WITH SCORE 867402.364
AT ITER 2915 NEW BEST:: SOT 5331919 SOS 1106198 HAS SOPS 1106198 HAS SOUS 866294 HAS SOUPS 866294 WITH SCORE 867400.198
AT ITER 2950 NEW BEST:: SOT 5331918 SOS 1106031 HAS SOPS 1106031 HAS SOUS 866292 HAS SOUPS 866292 WITH SCORE 867398.031
AT ITER 3006 NEW BEST:: SOT 5331785 SOS 1105879 HAS SOPS 1105879 HAS SOUS 866252 HAS SOUPS 866252 WITH SCORE 867357.879
AT ITER 3020 NEW BEST:: SOT 5331539 SOS 1105685 HAS SOPS 1105685 HAS SOUS 866058 HAS SOUPS 866058 WITH SCORE 867163.685
AT ITER 3034 NEW BEST:: SOT 5331538 SOS 1105531 HAS SOPS 1105531 HAS SOUS 866056 HAS SOUPS 866056 WITH SCORE 867161.531
AT ITER 3043 NEW BEST:: SOT 5331509 SOS 1105442 HAS SOPS 1105442 HAS SOUS 866027 HAS SOUPS 866027 WITH SCORE 867132.442
AT ITER 3063 NEW BEST:: SOT 5331188 SOS 1105226 HAS SOPS 1105226 HAS SOUS 865800 HAS SOUPS 865800 WITH SCORE 866905.226
AT ITER 3087 NEW BEST:: SOT 5331188 SOS 1104828 HAS SOPS 1104828 HAS SOUS 865601 HAS SOUPS 865601 WITH SCORE 866705.828
AT ITER 3088 NEW BEST:: SOT 5331188 SOS 1106182 HAS SOPS 1106182 HAS SOUS 865576 HAS SOUPS 865576 WITH SCORE 866682.182
AT ITER 3089 NEW BEST:: SOT 5331064 SOS 1105997 HAS SOPS 1105997 HAS SOUS 865391 HAS SOUPS 865391 WITH SCORE 866496.997
AT ITER 3154 NEW BEST:: SOT 5331081 SOS 1106159 HAS SOPS 1106159 HAS SOUS 865266 HAS SOUPS 865266 WITH SCORE 866372.159
AT ITER 3197 NEW BEST:: SOT 5330648 SOS 1105720 HAS SOPS 1105720 HAS SOUS 864827 HAS SOUPS 864827 WITH SCORE 865932.72
AT ITER 3202 NEW BEST:: SOT 5330627 SOS 1105909 HAS SOPS 1105909 HAS SOUS 864806 HAS SOUPS 864806 WITH SCORE 865911.909
AT ITER 3291 NEW BEST:: SOT 5330586 SOS 1105658 HAS SOPS 1105658 HAS SOUS 864779 HAS SOUPS 864779 WITH SCORE 865884.658
AT ITER 3295 NEW BEST:: SOT 5330563 SOS 1105593 HAS SOPS 1105593 HAS SOUS 864737 HAS SOUPS 864737 WITH SCORE 865842.593
AT ITER 3296 NEW BEST:: SOT 5330374 SOS 1105540 HAS SOPS 1105540 HAS SOUS 864659 HAS SOUPS 864659 WITH SCORE 865764.54
AT ITER 3322 NEW BEST:: SOT 5330374 SOS 1105539 HAS SOPS 1105539 HAS SOUS 864658 HAS SOUPS 864658 WITH SCORE 865763.539
AT ITER 3329 NEW BEST:: SOT 5330353 SOS 1105422 HAS SOPS 1105422 HAS SOUS 864548 HAS SOUPS 864548 WITH SCORE 865653.422
AT ITER 3347 NEW BEST:: SOT 5330232 SOS 1105114 HAS SOPS 1105114 HAS SOUS 864305 HAS SOUPS 864305 WITH SCORE 865410.114
AT ITER 3374 NEW BEST:: SOT 5330012 SOS 1104896 HAS SOPS 1104896 HAS SOUS 864123 HAS SOUPS 864123 WITH SCORE 865227.896
AT ITER 3390 NEW BEST:: SOT 5329790 SOS 1104452 HAS SOPS 1104452 HAS SOUS 863899 HAS SOUPS 863899 WITH SCORE 865003.452
AT ITER 3391 NEW BEST:: SOT 5329723 SOS 1104598 HAS SOPS 1104598 HAS SOUS 863733 HAS SOUPS 863733 WITH SCORE 864837.598
AT ITER 3420 NEW BEST:: SOT 5329205 SOS 1105047 HAS SOPS 1105047 HAS SOUS 863705 HAS SOUPS 863705 WITH SCORE 864810.047
AT ITER 3424 NEW BEST:: SOT 5329319 SOS 1104766 HAS SOPS 1104766 HAS SOUS 863424 HAS SOUPS 863424 WITH SCORE 864528.766
AT ITER 3429 NEW BEST:: SOT 5329319 SOS 1104599 HAS SOPS 1104599 HAS SOUS 863423 HAS SOUPS 863423 WITH SCORE 864527.599
AT ITER 3430 NEW BEST:: SOT 5328711 SOS 1103656 HAS SOPS 1103656 HAS SOUS 862511 HAS SOUPS 862511 WITH SCORE 863614.656
AT ITER 3445 NEW BEST:: SOT 5328183 SOS 1103594 HAS SOPS 1103594 HAS SOUS 862449 HAS SOUPS 862449 WITH SCORE 863552.594
AT ITER 3447 NEW BEST:: SOT 5327985 SOS 1103346 HAS SOPS 1103346 HAS SOUS 862251 HAS SOUPS 862251 WITH SCORE 863354.346
AT ITER 3468 NEW BEST:: SOT 5327730 SOS 1102350 HAS SOPS 1102350 HAS SOUS 861630 HAS SOUPS 861630 WITH SCORE 862732.35
AT ITER 3481 NEW BEST:: SOT 5326774 SOS 1101723 HAS SOPS 1101723 HAS SOUS 860485 HAS SOUPS 860485 WITH SCORE 861586.723
AT ITER 3482 NEW BEST:: SOT 5326740 SOS 1101621 HAS SOPS 1101621 HAS SOUS 860383 HAS SOUPS 860383 WITH SCORE 861484.621
AT ITER 3504 NEW BEST:: SOT 5326740 SOS 1101364 HAS SOPS 1101364 HAS SOUS 860383 HAS SOUPS 860383 WITH SCORE 861484.364
AT ITER 3528 NEW BEST:: SOT 5326292 SOS 1100916 HAS SOPS 1100916 HAS SOUS 859935 HAS SOUPS 859935 WITH SCORE 861035.916
AT ITER 3529 NEW BEST:: SOT 5326330 SOS 1100709 HAS SOPS 1100709 HAS SOUS 859728 HAS SOUPS 859728 WITH SCORE 860828.709
AT ITER 3560 NEW BEST:: SOT 5326251 SOS 1100590 HAS SOPS 1100590 HAS SOUS 859609 HAS SOUPS 859609 WITH SCORE 860709.59
AT ITER 3582 NEW BEST:: SOT 5326250 SOS 1100699 HAS SOPS 1100699 HAS SOUS 859550 HAS SOUPS 859550 WITH SCORE 860650.699
AT ITER 3593 NEW BEST:: SOT 5326249 SOS 1100697 HAS SOPS 1100697 HAS SOUS 859548 HAS SOUPS 859548 WITH SCORE 860648.697
AT ITER 3613 NEW BEST:: SOT 5326249 SOS 1100676 HAS SOPS 1100676 HAS SOUS 859527 HAS SOUPS 859527 WITH SCORE 860627.676
AT ITER 3625 NEW BEST:: SOT 5326180 SOS 1100538 HAS SOPS 1100538 HAS SOUS 859389 HAS SOUPS 859389 WITH SCORE 860489.538
AT ITER 3630 NEW BEST:: SOT 5326092 SOS 1100407 HAS SOPS 1100407 HAS SOUS 859257 HAS SOUPS 859257 WITH SCORE 860357.407
AT ITER 3634 NEW BEST:: SOT 5326092 SOS 1100394 HAS SOPS 1100394 HAS SOUS 859249 HAS SOUPS 859249 WITH SCORE 860349.394
AT ITER 3662 NEW BEST:: SOT 5325914 SOS 1100178 HAS SOPS 1100178 HAS SOUS 858893 HAS SOUPS 858893 WITH SCORE 859993.178
AT ITER 3677 NEW BEST:: SOT 5325037 SOS 1098955 HAS SOPS 1098955 HAS SOUS 858028 HAS SOUPS 858028 WITH SCORE 859126.955
AT ITER 3687 NEW BEST:: SOT 5324964 SOS 1098758 HAS SOPS 1098758 HAS SOUS 857789 HAS SOUPS 857789 WITH SCORE 858887.758
AT ITER 3698 NEW BEST:: SOT 5325022 SOS 1098741 HAS SOPS 1098741 HAS SOUS 857772 HAS SOUPS 857772 WITH SCORE 858870.741
AT ITER 3711 NEW BEST:: SOT 5325022 SOS 1098740 HAS SOPS 1098740 HAS SOUS 857771 HAS SOUPS 857771 WITH SCORE 858869.74
AT ITER 3713 NEW BEST:: SOT 5324953 SOS 1099729 HAS SOPS 1099729 HAS SOUS 857720 HAS SOUPS 857720 WITH SCORE 858819.729
AT ITER 3782 NEW BEST:: SOT 5324564 SOS 1099138 HAS SOPS 1099138 HAS SOUS 857142 HAS SOUPS 857142 WITH SCORE 858241.138
AT ITER 3794 NEW BEST:: SOT 5324352 SOS 1098849 HAS SOPS 1098849 HAS SOUS 856854 HAS SOUPS 856854 WITH SCORE 857952.849
AT ITER 3808 NEW BEST:: SOT 5324229 SOS 1098338 HAS SOPS 1098338 HAS SOUS 856608 HAS SOUPS 856608 WITH SCORE 857706.338
AT ITER 3818 NEW BEST:: SOT 5324229 SOS 1098320 HAS SOPS 1098320 HAS SOUS 856590 HAS SOUPS 856590 WITH SCORE 857688.32
AT ITER 3823 NEW BEST:: SOT 5324170 SOS 1098261 HAS SOPS 1098261 HAS SOUS 856531 HAS SOUPS 856531 WITH SCORE 857629.261
AT ITER 3828 NEW BEST:: SOT 5323925 SOS 1097989 HAS SOPS 1097989 HAS SOUS 856355 HAS SOUPS 856355 WITH SCORE 857452.989
AT ITER 3843 NEW BEST:: SOT 5323891 SOS 1098131 HAS SOPS 1098131 HAS SOUS 856322 HAS SOUPS 856322 WITH SCORE 857420.131
AT ITER 3869 NEW BEST:: SOT 5323890 SOS 1098123 HAS SOPS 1098123 HAS SOUS 856314 HAS SOUPS 856314 WITH SCORE 857412.123
AT ITER 3891 NEW BEST:: SOT 5323890 SOS 1098065 HAS SOPS 1098065 HAS SOUS 856313 HAS SOUPS 856313 WITH SCORE 857411.065
AT ITER 3905 NEW BEST:: SOT 5323725 SOS 1097900 HAS SOPS 1097900 HAS SOUS 856148 HAS SOUPS 856148 WITH SCORE 857245.9
AT ITER 3914 NEW BEST:: SOT 5322919 SOS 1099103 HAS SOPS 1099103 HAS SOUS 855341 HAS SOUPS 855341 WITH SCORE 856440.103
AT ITER 3931 NEW BEST:: SOT 5322919 SOS 1098842 HAS SOPS 1098842 HAS SOUS 855080 HAS SOUPS 855080 WITH SCORE 856178.842
AT ITER 3946 NEW BEST:: SOT 5322808 SOS 1098800 HAS SOPS 1098800 HAS SOUS 855038 HAS SOUPS 855038 WITH SCORE 856136.8
AT ITER 3955 NEW BEST:: SOT 5322808 SOS 1098800 HAS SOPS 1098800 HAS SOUS 854983 HAS SOUPS 854983 WITH SCORE 856081.8
AT ITER 3964 NEW BEST:: SOT 5322651 SOS 1098642 HAS SOPS 1098642 HAS SOUS 854825 HAS SOUPS 854825 WITH SCORE 855923.642
AT ITER 3973 NEW BEST:: SOT 5322662 SOS 1098588 HAS SOPS 1098588 HAS SOUS 854771 HAS SOUPS 854771 WITH SCORE 855869.588
AT ITER 4004 NEW BEST:: SOT 5322621 SOS 1098506 HAS SOPS 1098506 HAS SOUS 854689 HAS SOUPS 854689 WITH SCORE 855787.506
AT ITER 4031 NEW BEST:: SOT 5322426 SOS 1098132 HAS SOPS 1098132 HAS SOUS 853062 HAS SOUPS 853062 WITH SCORE 854160.132
AT ITER 4043 NEW BEST:: SOT 5322351 SOS 1098974 HAS SOPS 1098974 HAS SOUS 853036 HAS SOUPS 853036 WITH SCORE 854134.974
AT ITER 4062 NEW BEST:: SOT 5322062 SOS 1098396 HAS SOPS 1098396 HAS SOUS 852458 HAS SOUPS 852458 WITH SCORE 853556.396
AT ITER 4080 NEW BEST:: SOT 5322062 SOS 1098706 HAS SOPS 1098706 HAS SOUS 852422 HAS SOUPS 852422 WITH SCORE 853520.706
AT ITER 4090 NEW BEST:: SOT 5322056 SOS 1098694 HAS SOPS 1098694 HAS SOUS 852410 HAS SOUPS 852410 WITH SCORE 853508.694
AT ITER 4125 NEW BEST:: SOT 5322056 SOS 1098655 HAS SOPS 1098655 HAS SOUS 852410 HAS SOUPS 852410 WITH SCORE 853508.655
AT ITER 4127 NEW BEST:: SOT 5321939 SOS 1098538 HAS SOPS 1098538 HAS SOUS 852293 HAS SOUPS 852293 WITH SCORE 853391.538
AT ITER 4151 NEW BEST:: SOT 5321939 SOS 1098516 HAS SOPS 1098516 HAS SOUS 852271 HAS SOUPS 852271 WITH SCORE 853369.516
AT ITER 4163 NEW BEST:: SOT 5321939 SOS 1098410 HAS SOPS 1098410 HAS SOUS 852270 HAS SOUPS 852270 WITH SCORE 853368.41
AT ITER 4185 NEW BEST:: SOT 5321990 SOS 1098185 HAS SOPS 1098185 HAS SOUS 852045 HAS SOUPS 852045 WITH SCORE 853143.185
AT ITER 4220 NEW BEST:: SOT 5321610 SOS 1098026 HAS SOPS 1098026 HAS SOUS 851817 HAS SOUPS 851817 WITH SCORE 852915.026
AT ITER 4236 NEW BEST:: SOT 5321559 SOS 1097993 HAS SOPS 1097993 HAS SOUS 851784 HAS SOUPS 851784 WITH SCORE 852881.993
AT ITER 4292 NEW BEST:: SOT 5321254 SOS 1097783 HAS SOPS 1097783 HAS SOUS 851574 HAS SOUPS 851574 WITH SCORE 852671.783
AT ITER 4303 NEW BEST:: SOT 5321238 SOS 1097751 HAS SOPS 1097751 HAS SOUS 851542 HAS SOUPS 851542 WITH SCORE 852639.751
AT ITER 4308 NEW BEST:: SOT 5321057 SOS 1097142 HAS SOPS 1097142 HAS SOUS 850933 HAS SOUPS 850933 WITH SCORE 852030.142
AT ITER 4345 NEW BEST:: SOT 5320781 SOS 1097004 HAS SOPS 1097004 HAS SOUS 850795 HAS SOUPS 850795 WITH SCORE 851892.004
AT ITER 4369 NEW BEST:: SOT 5320781 SOS 1096894 HAS SOPS 1096894 HAS SOUS 850795 HAS SOUPS 850795 WITH SCORE 851891.894
AT ITER 4386 NEW BEST:: SOT 5320396 SOS 1096685 HAS SOPS 1096685 HAS SOUS 850306 HAS SOUPS 850306 WITH SCORE 851402.685
AT ITER 4390 NEW BEST:: SOT 5320287 SOS 1096302 HAS SOPS 1096302 HAS SOUS 850196 HAS SOUPS 850196 WITH SCORE 851292.302
AT ITER 4395 NEW BEST:: SOT 5319986 SOS 1095749 HAS SOPS 1095749 HAS SOUS 849971 HAS SOUPS 849971 WITH SCORE 851066.749
AT ITER 4431 NEW BEST:: SOT 5319952 SOS 1095430 HAS SOPS 1095430 HAS SOUS 849961 HAS SOUPS 849961 WITH SCORE 851056.43
AT ITER 4445 NEW BEST:: SOT 5319636 SOS 1095219 HAS SOPS 1095219 HAS SOUS 849349 HAS SOUPS 849349 WITH SCORE 850444.219
AT ITER 4485 NEW BEST:: SOT 5319409 SOS 1094765 HAS SOPS 1094765 HAS SOUS 848895 HAS SOUPS 848895 WITH SCORE 849989.765
AT ITER 4501 NEW BEST:: SOT 5319409 SOS 1095412 HAS SOPS 1095412 HAS SOUS 848880 HAS SOUPS 848880 WITH SCORE 849975.412
AT ITER 4521 NEW BEST:: SOT 5318969 SOS 1094705 HAS SOPS 1094705 HAS SOUS 848439 HAS SOUPS 848439 WITH SCORE 849533.705
AT ITER 4557 NEW BEST:: SOT 5318893 SOS 1094467 HAS SOPS 1094467 HAS SOUS 848287 HAS SOUPS 848287 WITH SCORE 849381.467
AT ITER 4608 NEW BEST:: SOT 5318769 SOS 1094343 HAS SOPS 1094343 HAS SOUS 848162 HAS SOUPS 848162 WITH SCORE 849256.343
AT ITER 4616 NEW BEST:: SOT 5318704 SOS 1094185 HAS SOPS 1094185 HAS SOUS 847938 HAS SOUPS 847938 WITH SCORE 849032.185
AT ITER 4667 NEW BEST:: SOT 5317682 SOS 1093125 HAS SOPS 1093125 HAS SOUS 847938 HAS SOUPS 847938 WITH SCORE 849031.125
AT ITER 4677 NEW BEST:: SOT 5317424 SOS 1092644 HAS SOPS 1092644 HAS SOUS 847457 HAS SOUPS 847457 WITH SCORE 848549.644
AT ITER 4684 NEW BEST:: SOT 5317348 SOS 1092492 HAS SOPS 1092492 HAS SOUS 847305 HAS SOUPS 847305 WITH SCORE 848397.492
AT ITER 4692 NEW BEST:: SOT 5317302 SOS 1092410 HAS SOPS 1092410 HAS SOUS 847213 HAS SOUPS 847213 WITH SCORE 848305.41
AT ITER 4699 NEW BEST:: SOT 5317305 SOS 1092413 HAS SOPS 1092413 HAS SOUS 847195 HAS SOUPS 847195 WITH SCORE 848287.413
AT ITER 4705 NEW BEST:: SOT 5317120 SOS 1092228 HAS SOPS 1092228 HAS SOUS 846825 HAS SOUPS 846825 WITH SCORE 847917.228
AT ITER 4726 NEW BEST:: SOT 5316307 SOS 1091730 HAS SOPS 1091730 HAS SOUS 846327 HAS SOUPS 846327 WITH SCORE 847418.73
AT ITER 4735 NEW BEST:: SOT 5316543 SOS 1091634 HAS SOPS 1091634 HAS SOUS 846238 HAS SOUPS 846238 WITH SCORE 847329.634
AT ITER 4797 NEW BEST:: SOT 5316144 SOS 1090834 HAS SOPS 1090834 HAS SOUS 845438 HAS SOUPS 845438 WITH SCORE 846528.834
AT ITER 4798 NEW BEST:: SOT 5316218 SOS 1090832 HAS SOPS 1090832 HAS SOUS 845436 HAS SOUPS 845436 WITH SCORE 846526.832
AT ITER 4809 NEW BEST:: SOT 5316099 SOS 1090348 HAS SOPS 1090348 HAS SOUS 845077 HAS SOUPS 845077 WITH SCORE 846167.348
AT ITER 4811 NEW BEST:: SOT 5316098 SOS 1089586 HAS SOPS 1089586 HAS SOUS 845075 HAS SOUPS 845075 WITH SCORE 846164.586
AT ITER 4836 NEW BEST:: SOT 5316082 SOS 1089570 HAS SOPS 1089570 HAS SOUS 845059 HAS SOUPS 845059 WITH SCORE 846148.57
AT ITER 4838 NEW BEST:: SOT 5316082 SOS 1089555 HAS SOPS 1089555 HAS SOUS 845059 HAS SOUPS 845059 WITH SCORE 846148.555
AT ITER 4843 NEW BEST:: SOT 5316077 SOS 1089868 HAS SOPS 1089868 HAS SOUS 845049 HAS SOUPS 845049 WITH SCORE 846138.868
AT ITER 4905 NEW BEST:: SOT 5316040 SOS 1090289 HAS SOPS 1090289 HAS SOUS 844974 HAS SOUPS 844974 WITH SCORE 846064.289
AT ITER 4944 NEW BEST:: SOT 5316034 SOS 1090277 HAS SOPS 1090277 HAS SOUS 844962 HAS SOUPS 844962 WITH SCORE 846052.277
AT ITER 4951 NEW BEST:: SOT 5316042 SOS 1089883 HAS SOPS 1089883 HAS SOUS 844568 HAS SOUPS 844568 WITH SCORE 845657.883
AT ITER 4956 NEW BEST:: SOT 5316041 SOS 1089881 HAS SOPS 1089881 HAS SOUS 844566 HAS SOUPS 844566 WITH SCORE 845655.881
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-06b-CTLFireability-00 (EG( (AX( (! ((potential((tk(P2548)>=1)))))))))
PROPERTY: ASLink-PT-06b-CTLFireability-01 (! (! (EF( (EX( ((potential((tk(P1250)>=1))))))))))
PROPERTY: ASLink-PT-06b-CTLFireability-02 (AX( (AF( (AX( ((potential((tk(P15)>=1) & (tk(P185)>=1))))))))))
PROPERTY: ASLink-PT-06b-CTLFireability-03 ( ( (EG( (AG( ((potential((tk(P119)>=1) & (tk(P577)>=1)))))))) | (AF( ( ( ((potential((tk(P667)>=1)))) & ((potential((tk(P2105)>=1) & (tk(P2499)>=1)))) ) & (! ((potential((tk(P598)>=1))))) ))) ) | (EU( ((potential((tk(P1413)>=1)))) , ((potential((tk(P261)>=1)))) )) )
PROPERTY: ASLink-PT-06b-CTLFireability-04 ( (EU( ( ((potential((tk(P207)>=1)))) & (! ((potential((tk(P371)>=1) & (tk(P474)>=1))))) ) , ( (! ((potential((tk(P1886)>=1))))) & ( ((potential((tk(P494)>=1) & (tk(P969)>=1)))) & ((potential((tk(P282)>=1)))) ) ) )) | (AF( (AU( ((potential((tk(P1742)>=1) & (tk(P1798)>=1)))) , ((potential((tk(P1003)>=1)))) )))) )
PROPERTY: ASLink-PT-06b-CTLFireability-05 (EF( (EU( ((potential((tk(P1914)>=1) & (tk(P2009)>=1)))) , ( ((potential((tk(P2579)>=1)))) | ((potential((tk(P122)>=1) & (tk(P570)>=1)))) ) ))))
PROPERTY: ASLink-PT-06b-CTLFireability-06 (! ( ( (EF( ( ((potential((tk(P1265)>=1)))) | ((potential((tk(P888)>=1) & (tk(P1190)>=1)))) ))) & (! ((potential((tk(P2558)>=1) & (tk(P2811)>=1))))) ) & (! ((potential((tk(P1336)>=1) & (tk(P1622)>=1))))) ))
PROPERTY: ASLink-PT-06b-CTLFireability-07 (AU( ( (AX( ((potential((tk(P1953)>=1)))))) & (! ( ((potential((tk(P1195)>=1)))) | ((potential((tk(P2805)>=1)))) )) ) , (EG( (! ((potential((tk(P102)>=1) & (tk(P579)>=1))))))) ))
PROPERTY: ASLink-PT-06b-CTLFireability-08 ( (! (EX( (EF( ((potential((tk(P27)>=1) & (tk(P185)>=1))))))))) | ((potential((tk(P1288)>=1) & (tk(P1759)>=1)))) )
PROPERTY: ASLink-PT-06b-CTLFireability-09 (EF( ((potential((tk(P106)>=1) & (tk(P564)>=1))))))
PROPERTY: ASLink-PT-06b-CTLFireability-10 ( (AU( ( ( ((potential((tk(P1165)>=1)))) & ((potential((tk(P994)>=1)))) ) | ( ((potential((tk(P427)>=1) & (tk(P431)>=1)))) & ((potential((tk(P1932)>=1)))) ) ) , (! ((potential((tk(P313)>=1) & (tk(P305)>=1) & (tk(P309)>=1))))) )) & (EF( (! (EF( ((potential((tk(P1694)>=1) & (tk(P2141)>=1))))))))) )
PROPERTY: ASLink-PT-06b-CTLFireability-11 ( ( (EU( ( ((potential((tk(P672)>=1)))) | ((potential((tk(P514)>=1) & (tk(P969)>=1)))) ) , ( ((potential((tk(P918)>=1)))) & ((potential((tk(P1308)>=1) & (tk(P1744)>=1)))) ) )) | ( (EF( ( ((potential((tk(P992)>=1)))) | ((potential((tk(P1183)>=1)))) ))) & (AF( ((potential((tk(P917)>=1) & (tk(P1355)>=1)))))) ) ) & ( (! (EG( (! ((potential((tk(P527)>=1) & (tk(P724)>=1)))))))) & (EU( ( ((potential((tk(P1596)>=1)))) | ((potential((tk(P2416)>=1) & (tk(P2540)>=1)))) ) , (! ((potential((tk(P119)>=1) & (tk(P565)>=1))))) )) ) )
PROPERTY: ASLink-PT-06b-CTLFireability-12 (EF( (EU( ((potential((tk(P12)>=1) & (tk(P77)>=1)))) , ((potential((tk(P2094)>=1) & (tk(P2491)>=1)))) ))))
PROPERTY: ASLink-PT-06b-CTLFireability-13 (AF( (AF( ( (! ((potential((tk(P1311)>=1) & (tk(P1755)>=1))))) & ( ((potential((tk(P98)>=1) & (tk(P256)>=1)))) & ((potential((tk(P1897)>=1)))) ) )))))
PROPERTY: ASLink-PT-06b-CTLFireability-14 ( (EF( (AU( ((potential((tk(P2094)>=1) & (tk(P2476)>=1)))) , ((potential((tk(P1393)>=1) & (tk(P1635)>=1)))) )))) | (AX( ((potential((tk(P2410)>=1) & (tk(P2534)>=1)))))) )
PROPERTY: ASLink-PT-06b-CTLFireability-15 (EU( (! ( ((potential((tk(P1288)>=1) & (tk(P1762)>=1)))) | (! ((potential((tk(P1057)>=1))))) )) , (! (EF( ((potential((tk(P2326)>=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="ASLink-PT-06b"
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 ASLink-PT-06b, 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 r003-smll-158897508100100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06b.tgz
mv ASLink-PT-06b 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 ;