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.r048-ebro-158902542200435.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 DLCflexbar-PT-8a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200435
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.0K Mar 30 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 29 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 29 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 22:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 8.7M 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 DLCflexbar-PT-8a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589120346417

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8a
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: 3971 places, 32571 transitions, 129321 arcs.
AT ITER 0 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330788 HAS SOUPS 1266478 WITH SCORE 1329429.652
AT ITER 10 NEW BEST:: SOT 71636136 SOS 62970744 HAS SOPS 29658819 HAS SOUS 3327416 HAS SOUPS 1263106 WITH SCORE 1326076.744
AT ITER 29 NEW BEST:: SOT 71634479 SOS 62980768 HAS SOPS 29658313 HAS SOUS 3327304 HAS SOUPS 1262643 WITH SCORE 1325623.768
AT ITER 57 NEW BEST:: SOT 71631169 SOS 63013406 HAS SOPS 29672111 HAS SOUS 3325944 HAS SOUPS 1261283 WITH SCORE 1324296.406
AT ITER 60 NEW BEST:: SOT 71630799 SOS 63012666 HAS SOPS 29671371 HAS SOUS 3325389 HAS SOUPS 1260728 WITH SCORE 1323740.666
AT ITER 63 NEW BEST:: SOT 71630799 SOS 63012666 HAS SOPS 29671371 HAS SOUS 3325277 HAS SOUPS 1260616 WITH SCORE 1323628.666
AT ITER 71 NEW BEST:: SOT 71630799 SOS 63012666 HAS SOPS 29671371 HAS SOUS 3324997 HAS SOUPS 1260336 WITH SCORE 1323348.666
AT ITER 79 NEW BEST:: SOT 71630799 SOS 63009276 HAS SOPS 29671371 HAS SOUS 3324658 HAS SOUPS 1260336 WITH SCORE 1323345.276
AT ITER 106 NEW BEST:: SOT 71630799 SOS 63009276 HAS SOPS 29671371 HAS SOUS 3324378 HAS SOUPS 1260056 WITH SCORE 1323065.276
AT ITER 112 NEW BEST:: SOT 71630311 SOS 63004886 HAS SOPS 29672671 HAS SOUS 3323321 HAS SOUPS 1259568 WITH SCORE 1322572.886
AT ITER 115 NEW BEST:: SOT 71629591 SOS 63007766 HAS SOPS 29671951 HAS SOUS 3323081 HAS SOUPS 1259208 WITH SCORE 1322215.766
AT ITER 118 NEW BEST:: SOT 71628885 SOS 63006354 HAS SOPS 29674069 HAS SOUS 3321669 HAS SOUPS 1258149 WITH SCORE 1321155.354
AT ITER 152 NEW BEST:: SOT 71628885 SOS 63006354 HAS SOPS 29674069 HAS SOUS 3321523 HAS SOUPS 1258003 WITH SCORE 1321009.354
AT ITER 166 NEW BEST:: SOT 71628555 SOS 63005694 HAS SOPS 29675059 HAS SOUS 3320863 HAS SOUPS 1257508 WITH SCORE 1320513.694
AT ITER 181 NEW BEST:: SOT 71627073 SOS 62998122 HAS SOPS 29673247 HAS SOUS 3318475 HAS SOUPS 1255696 WITH SCORE 1318694.122
AT ITER 189 NEW BEST:: SOT 71627073 SOS 62998122 HAS SOPS 29673247 HAS SOUS 3318307 HAS SOUPS 1255528 WITH SCORE 1318526.122
AT ITER 191 NEW BEST:: SOT 71626406 SOS 62996788 HAS SOPS 29677183 HAS SOUS 3316780 HAS SOUPS 1254528 WITH SCORE 1317524.788
AT ITER 208 NEW BEST:: SOT 71622887 SOS 63010284 HAS SOPS 29679019 HAS SOUS 3313774 HAS SOUPS 1251522 WITH SCORE 1314532.284
AT ITER 212 NEW BEST:: SOT 71622887 SOS 63010284 HAS SOPS 29679019 HAS SOUS 3313494 HAS SOUPS 1251242 WITH SCORE 1314252.284
AT ITER 213 NEW BEST:: SOT 71619679 SOS 63026364 HAS SOPS 29683259 HAS SOUS 3311194 HAS SOUPS 1248942 WITH SCORE 1311968.364
AT ITER 219 NEW BEST:: SOT 71619139 SOS 63024744 HAS SOPS 29681639 HAS SOUS 3310834 HAS SOUPS 1248582 WITH SCORE 1311606.744
AT ITER 220 NEW BEST:: SOT 71618971 SOS 63024408 HAS SOPS 29681303 HAS SOUS 3310582 HAS SOUPS 1248330 WITH SCORE 1311354.408
AT ITER 239 NEW BEST:: SOT 71618971 SOS 63024408 HAS SOPS 29681303 HAS SOUS 3310468 HAS SOUPS 1248216 WITH SCORE 1311240.408
AT ITER 250 NEW BEST:: SOT 71618971 SOS 63024408 HAS SOPS 29681303 HAS SOUS 3310188 HAS SOUPS 1247936 WITH SCORE 1310960.408
AT ITER 259 NEW BEST:: SOT 71618971 SOS 63024408 HAS SOPS 29681303 HAS SOUS 3310010 HAS SOUPS 1247758 WITH SCORE 1310782.408
AT ITER 273 NEW BEST:: SOT 71616745 SOS 63030708 HAS SOPS 29676083 HAS SOUS 3308472 HAS SOUPS 1245836 WITH SCORE 1308866.708
AT ITER 284 NEW BEST:: SOT 71616407 SOS 63027524 HAS SOPS 29677079 HAS SOUS 3307826 HAS SOUPS 1245608 WITH SCORE 1308635.524
AT ITER 292 NEW BEST:: SOT 71615974 SOS 63026658 HAS SOPS 29680063 HAS SOUS 3306840 HAS SOUPS 1245007 WITH SCORE 1308033.658
AT ITER 331 NEW BEST:: SOT 71615596 SOS 63025902 HAS SOPS 29681197 HAS SOUS 3306084 HAS SOUPS 1244440 WITH SCORE 1307465.902
AT ITER 367 NEW BEST:: SOT 71615596 SOS 63025902 HAS SOPS 29681197 HAS SOUS 3305978 HAS SOUPS 1244334 WITH SCORE 1307359.902
AT ITER 368 NEW BEST:: SOT 71615596 SOS 63025902 HAS SOPS 29681197 HAS SOUS 3305698 HAS SOUPS 1244054 WITH SCORE 1307079.902
AT ITER 391 NEW BEST:: SOT 71614842 SOS 63024394 HAS SOPS 29683459 HAS SOUS 3304190 HAS SOUPS 1242923 WITH SCORE 1305947.394
AT ITER 485 NEW BEST:: SOT 71614842 SOS 63024394 HAS SOPS 29683459 HAS SOUS 3303920 HAS SOUPS 1242653 WITH SCORE 1305677.394
AT ITER 507 NEW BEST:: SOT 71614184 SOS 63026274 HAS SOPS 29682519 HAS SOUS 3303544 HAS SOUPS 1242183 WITH SCORE 1305209.274
AT ITER 512 NEW BEST:: SOT 71614184 SOS 63026274 HAS SOPS 29682519 HAS SOUS 3303542 HAS SOUPS 1242181 WITH SCORE 1305207.274
AT ITER 515 NEW BEST:: SOT 71613433 SOS 63024772 HAS SOPS 29685727 HAS SOUS 3302040 HAS SOUPS 1241150 WITH SCORE 1304174.772
AT ITER 541 NEW BEST:: SOT 71610426 SOS 63040068 HAS SOPS 29689423 HAS SOUS 3299872 HAS SOUPS 1238982 WITH SCORE 1302022.068
AT ITER 545 NEW BEST:: SOT 71610426 SOS 63040068 HAS SOPS 29689423 HAS SOUS 3299592 HAS SOUPS 1238702 WITH SCORE 1301742.068
AT ITER 549 NEW BEST:: SOT 71610426 SOS 63040068 HAS SOPS 29689423 HAS SOUS 3299384 HAS SOUPS 1238494 WITH SCORE 1301534.068
AT ITER 579 NEW BEST:: SOT 71610426 SOS 63040068 HAS SOPS 29689423 HAS SOUS 3299282 HAS SOUPS 1238392 WITH SCORE 1301432.068
AT ITER 592 NEW BEST:: SOT 71608397 SOS 62933782 HAS SOPS 29707373 HAS SOUS 3298524 HAS SOUPS 1237634 WITH SCORE 1300567.782
AT ITER 600 NEW BEST:: SOT 71608397 SOS 62933782 HAS SOPS 29707373 HAS SOUS 3298244 HAS SOUPS 1237354 WITH SCORE 1300287.782
AT ITER 611 NEW BEST:: SOT 71608275 SOS 62931672 HAS SOPS 29705263 HAS SOUS 3298122 HAS SOUPS 1237232 WITH SCORE 1300163.672
AT ITER 616 NEW BEST:: SOT 71607283 SOS 62936760 HAS SOPS 29704111 HAS SOUS 3297522 HAS SOUPS 1236424 WITH SCORE 1299360.76
AT ITER 618 NEW BEST:: SOT 71606781 SOS 62935756 HAS SOPS 29705617 HAS SOUS 3296518 HAS SOUPS 1235671 WITH SCORE 1298606.756
AT ITER 621 NEW BEST:: SOT 71606781 SOS 62935756 HAS SOPS 29705617 HAS SOUS 3296380 HAS SOUPS 1235533 WITH SCORE 1298468.756
AT ITER 665 NEW BEST:: SOT 71606781 SOS 62935756 HAS SOPS 29705617 HAS SOUS 3296302 HAS SOUPS 1235455 WITH SCORE 1298390.756
AT ITER 719 NEW BEST:: SOT 71606781 SOS 62935756 HAS SOPS 29705617 HAS SOUS 3296022 HAS SOUPS 1235175 WITH SCORE 1298110.756
AT ITER 724 NEW BEST:: SOT 71604292 SOS 62821692 HAS SOPS 29710196 HAS SOUS 3295482 HAS SOUPS 1234635 WITH SCORE 1297456.692
AT ITER 739 NEW BEST:: SOT 71604292 SOS 62821692 HAS SOPS 29710196 HAS SOUS 3295282 HAS SOUPS 1234435 WITH SCORE 1297256.692
AT ITER 765 NEW BEST:: SOT 71600953 SOS 62840064 HAS SOPS 29715468 HAS SOUS 3293008 HAS SOUPS 1232161 WITH SCORE 1295001.064
AT ITER 768 NEW BEST:: SOT 71600953 SOS 62840064 HAS SOPS 29715468 HAS SOUS 3292728 HAS SOUPS 1231881 WITH SCORE 1294721.064
AT ITER 817 NEW BEST:: SOT 71600329 SOS 62838816 HAS SOPS 29717910 HAS SOUS 3291438 HAS SOUPS 1230960 WITH SCORE 1293798.816
AT ITER 820 NEW BEST:: SOT 71600235 SOS 62838628 HAS SOPS 29718662 HAS SOUS 3291156 HAS SOUPS 1230772 WITH SCORE 1293610.628
AT ITER 823 NEW BEST:: SOT 71600235 SOS 62838628 HAS SOPS 29718662 HAS SOUS 3291008 HAS SOUPS 1230624 WITH SCORE 1293462.628
AT ITER 832 NEW BEST:: SOT 71599977 SOS 62838112 HAS SOPS 29720726 HAS SOUS 3290492 HAS SOUPS 1230366 WITH SCORE 1293204.112
AT ITER 833 NEW BEST:: SOT 71599677 SOS 62837512 HAS SOPS 29724406 HAS SOUS 3289509 HAS SOUPS 1229811 WITH SCORE 1292648.512
AT ITER 855 NEW BEST:: SOT 71595556 SOS 62857872 HAS SOPS 29729886 HAS SOUS 3286107 HAS SOUPS 1226409 WITH SCORE 1289266.872
AT ITER 861 NEW BEST:: SOT 71595550 SOS 62857784 HAS SOPS 29729798 HAS SOUS 3286085 HAS SOUPS 1226387 WITH SCORE 1289244.784
AT ITER 885 NEW BEST:: SOT 71591293 SOS 62880992 HAS SOPS 29736726 HAS SOUS 3282639 HAS SOUPS 1222941 WITH SCORE 1285821.992
AT ITER 906 NEW BEST:: SOT 71588839 SOS 62892498 HAS SOPS 29733142 HAS SOUS 3281221 HAS SOUPS 1221020 WITH SCORE 1283912.498
AT ITER 953 NEW BEST:: SOT 71586155 SOS 62907622 HAS SOPS 29732546 HAS SOUS 3279710 HAS SOUPS 1218985 WITH SCORE 1281892.622
AT ITER 957 NEW BEST:: SOT 71582675 SOS 62921340 HAS SOPS 29734744 HAS SOUS 3276758 HAS SOUPS 1216033 WITH SCORE 1278954.34
AT ITER 997 NEW BEST:: SOT 71581367 SOS 62914716 HAS SOPS 29733130 HAS SOUS 3274643 HAS SOUPS 1214419 WITH SCORE 1277333.716
AT ITER 1009 NEW BEST:: SOT 71581367 SOS 62914716 HAS SOPS 29733130 HAS SOUS 3274363 HAS SOUPS 1214139 WITH SCORE 1277053.716
AT ITER 1012 NEW BEST:: SOT 71581367 SOS 62914716 HAS SOPS 29733130 HAS SOUS 3274105 HAS SOUPS 1213881 WITH SCORE 1276795.716
AT ITER 1016 NEW BEST:: SOT 71581093 SOS 62912058 HAS SOPS 29735362 HAS SOUS 3273427 HAS SOUPS 1213692 WITH SCORE 1276604.058
AT ITER 1036 NEW BEST:: SOT 71581093 SOS 62912058 HAS SOPS 29735362 HAS SOUS 3273147 HAS SOUPS 1213412 WITH SCORE 1276324.058
AT ITER 1109 NEW BEST:: SOT 71579422 SOS 62904260 HAS SOPS 29733134 HAS SOUS 3270362 HAS SOUPS 1211184 WITH SCORE 1274088.26
AT ITER 1128 NEW BEST:: SOT 71579422 SOS 62904260 HAS SOPS 29733134 HAS SOUS 3270112 HAS SOUPS 1210934 WITH SCORE 1273838.26
AT ITER 1132 NEW BEST:: SOT 71577356 SOS 62916876 HAS SOPS 29731170 HAS SOUS 3269514 HAS SOUPS 1209850 WITH SCORE 1272766.876
AT ITER 1180 NEW BEST:: SOT 71577356 SOS 62916876 HAS SOPS 29731170 HAS SOUS 3269308 HAS SOUPS 1209644 WITH SCORE 1272560.876
AT ITER 1183 NEW BEST:: SOT 71577065 SOS 62912280 HAS SOPS 29733264 HAS SOUS 3268356 HAS SOUPS 1209361 WITH SCORE 1272273.28
AT ITER 1212 NEW BEST:: SOT 71576979 SOS 62912108 HAS SOPS 29733092 HAS SOUS 3268270 HAS SOUPS 1209275 WITH SCORE 1272187.108
AT ITER 1228 NEW BEST:: SOT 71573871 SOS 62919594 HAS SOPS 29727258 HAS SOUS 3267015 HAS SOUPS 1207576 WITH SCORE 1270495.594
AT ITER 1263 NEW BEST:: SOT 71573871 SOS 62919594 HAS SOPS 29727258 HAS SOUS 3266941 HAS SOUPS 1207502 WITH SCORE 1270421.594
AT ITER 1282 NEW BEST:: SOT 71573871 SOS 62919594 HAS SOPS 29727258 HAS SOUS 3266789 HAS SOUPS 1207350 WITH SCORE 1270269.594
AT ITER 1301 NEW BEST:: SOT 71573789 SOS 62919430 HAS SOPS 29727094 HAS SOUS 3266666 HAS SOUPS 1207227 WITH SCORE 1270146.43
AT ITER 1361 NEW BEST:: SOT 71573359 SOS 62915306 HAS SOPS 29728410 HAS SOUS 3265692 HAS SOUPS 1206797 WITH SCORE 1269712.306
AT ITER 1389 NEW BEST:: SOT 71573008 SOS 62918582 HAS SOPS 29728176 HAS SOUS 3265458 HAS SOUPS 1206446 WITH SCORE 1269364.582
AT ITER 1414 NEW BEST:: SOT 71573008 SOS 62918582 HAS SOPS 29728176 HAS SOUS 3265178 HAS SOUPS 1206166 WITH SCORE 1269084.582
AT ITER 1537 NEW BEST:: SOT 71571337 SOS 62945988 HAS SOPS 29740262 HAS SOUS 3264892 HAS SOUPS 1205880 WITH SCORE 1268825.988
AT ITER 1550 NEW BEST:: SOT 71571067 SOS 62941350 HAS SOPS 29742454 HAS SOUS 3264211 HAS SOUPS 1205882 WITH SCORE 1268823.35
AT ITER 1559 NEW BEST:: SOT 71570636 SOS 62938328 HAS SOPS 29739432 HAS SOUS 3263564 HAS SOUPS 1205235 WITH SCORE 1268173.328
AT ITER 1649 NEW BEST:: SOT 71570300 SOS 62932970 HAS SOPS 29741884 HAS SOUS 3262447 HAS SOUPS 1204899 WITH SCORE 1267831.97
AT ITER 1667 NEW BEST:: SOT 71570300 SOS 62932970 HAS SOPS 29742894 HAS SOUS 3262245 HAS SOUPS 1204798 WITH SCORE 1267730.97
AT ITER 1698 NEW BEST:: SOT 71570300 SOS 62932970 HAS SOPS 29742894 HAS SOUS 3261965 HAS SOUPS 1204518 WITH SCORE 1267450.97
AT ITER 1742 NEW BEST:: SOT 71570300 SOS 62932970 HAS SOPS 29742894 HAS SOUS 3261685 HAS SOUPS 1204238 WITH SCORE 1267170.97
AT ITER 1797 NEW BEST:: SOT 71567026 SOS 62947172 HAS SOPS 29745396 HAS SOUS 3259341 HAS SOUPS 1201894 WITH SCORE 1264841.172
AT ITER 1808 NEW BEST:: SOT 71566323 SOS 62945766 HAS SOPS 29748180 HAS SOUS 3257868 HAS SOUPS 1200840 WITH SCORE 1263785.766
AT ITER 1929 NEW BEST:: SOT 71565808 SOS 62944736 HAS SOPS 29751340 HAS SOUS 3256717 HAS SOUPS 1200108 WITH SCORE 1263052.736
AT ITER 1935 NEW BEST:: SOT 71564439 SOS 62949138 HAS SOPS 29748092 HAS SOUS 3256160 HAS SOUPS 1199296 WITH SCORE 1262245.138
AT ITER 1954 NEW BEST:: SOT 71564439 SOS 62949138 HAS SOPS 29748092 HAS SOUS 3256084 HAS SOUPS 1199220 WITH SCORE 1262169.138
AT ITER 1965 NEW BEST:: SOT 71564105 SOS 62946166 HAS SOPS 29748960 HAS SOUS 3255458 HAS SOUPS 1198978 WITH SCORE 1261924.166
AT ITER 1969 NEW BEST:: SOT 71564105 SOS 62800286 HAS SOPS 29747918 HAS SOUS 3254918 HAS SOUPS 1198438 WITH SCORE 1261238.286
AT ITER 1993 NEW BEST:: SOT 71561401 SOS 62834086 HAS SOPS 29762698 HAS SOUS 3253717 HAS SOUPS 1197237 WITH SCORE 1260071.086
AT ITER 2000 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3253715 HAS SOUPS 1197235 WITH SCORE 1260066.926
AT ITER 2036 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3253451 HAS SOUPS 1196971 WITH SCORE 1259802.926
AT ITER 2037 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3253185 HAS SOUPS 1196705 WITH SCORE 1259536.926
AT ITER 2053 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3252905 HAS SOUPS 1196425 WITH SCORE 1259256.926
AT ITER 2071 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3252743 HAS SOUPS 1196263 WITH SCORE 1259094.926
AT ITER 2080 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3252463 HAS SOUPS 1195983 WITH SCORE 1258814.926
AT ITER 2093 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3252361 HAS SOUPS 1195881 WITH SCORE 1258712.926
AT ITER 2105 NEW BEST:: SOT 71561401 SOS 62831926 HAS SOPS 29760538 HAS SOUS 3252081 HAS SOUPS 1195601 WITH SCORE 1258432.926
AT ITER 2110 NEW BEST:: SOT 71558130 SOS 62845402 HAS SOPS 29762294 HAS SOUS 3249556 HAS SOUPS 1193076 WITH SCORE 1255921.402
AT ITER 2129 NEW BEST:: SOT 71556846 SOS 62839240 HAS SOPS 29762122 HAS SOUS 3248729 HAS SOUPS 1192848 WITH SCORE 1255687.24
AT ITER 2153 NEW BEST:: SOT 71556846 SOS 62839240 HAS SOPS 29762122 HAS SOUS 3248471 HAS SOUPS 1192590 WITH SCORE 1255429.24
AT ITER 2166 NEW BEST:: SOT 71556846 SOS 62839240 HAS SOPS 29762122 HAS SOUS 3248399 HAS SOUPS 1192518 WITH SCORE 1255357.24
AT ITER 2208 NEW BEST:: SOT 71556818 SOS 62839184 HAS SOPS 29762066 HAS SOUS 3248371 HAS SOUPS 1192490 WITH SCORE 1255329.184
AT ITER 2210 NEW BEST:: SOT 71556818 SOS 62839184 HAS SOPS 29762066 HAS SOUS 3248091 HAS SOUPS 1192210 WITH SCORE 1255049.184
AT ITER 2225 NEW BEST:: SOT 71556818 SOS 62839184 HAS SOPS 29762066 HAS SOUS 3247811 HAS SOUPS 1191930 WITH SCORE 1254769.184
AT ITER 2256 NEW BEST:: SOT 71553783 SOS 62884567 HAS SOPS 29778139 HAS SOUS 3248675 HAS SOUPS 1191817 WITH SCORE 1254701.567
AT ITER 2332 NEW BEST:: SOT 71553783 SOS 62884567 HAS SOPS 29778139 HAS SOUS 3248429 HAS SOUPS 1191571 WITH SCORE 1254455.567
AT ITER 2372 NEW BEST:: SOT 71553491 SOS 62880923 HAS SOPS 29779595 HAS SOUS 3247807 HAS SOUPS 1191459 WITH SCORE 1254339.923
AT ITER 2381 NEW BEST:: SOT 71549582 SOS 62908255 HAS SOPS 29789527 HAS SOUS 3244892 HAS SOUPS 1188544 WITH SCORE 1251452.255
AT ITER 2388 NEW BEST:: SOT 71547125 SOS 62918431 HAS SOPS 29790303 HAS SOUS 3243337 HAS SOUPS 1186989 WITH SCORE 1249907.431
AT ITER 2410 NEW BEST:: SOT 71547125 SOS 62918431 HAS SOPS 29790303 HAS SOUS 3243109 HAS SOUPS 1186761 WITH SCORE 1249679.431
AT ITER 2412 NEW BEST:: SOT 71547063 SOS 62918307 HAS SOPS 29790179 HAS SOUS 3242985 HAS SOUPS 1186637 WITH SCORE 1249555.307
AT ITER 2416 NEW BEST:: SOT 71543203 SOS 62942835 HAS SOPS 29799487 HAS SOUS 3240719 HAS SOUPS 1184371 WITH SCORE 1247313.835
AT ITER 2435 NEW BEST:: SOT 71543138 SOS 62929891 HAS SOPS 29792950 HAS SOUS 3240665 HAS SOUPS 1184360 WITH SCORE 1247289.891
AT ITER 2451 NEW BEST:: SOT 71543138 SOS 62929891 HAS SOPS 29792950 HAS SOUS 3240385 HAS SOUPS 1184080 WITH SCORE 1247009.891
AT ITER 2487 NEW BEST:: SOT 71543138 SOS 62929891 HAS SOPS 29792950 HAS SOUS 3240309 HAS SOUPS 1184004 WITH SCORE 1246933.891
AT ITER 2499 NEW BEST:: SOT 71541300 SOS 62934391 HAS SOPS 29788690 HAS SOUS 3239061 HAS SOUPS 1182464 WITH SCORE 1245398.391
AT ITER 2506 NEW BEST:: SOT 71540572 SOS 62932935 HAS SOPS 29791504 HAS SOUS 3237558 HAS SOUPS 1181388 WITH SCORE 1244320.935
AT ITER 2565 NEW BEST:: SOT 71536895 SOS 62960675 HAS SOPS 29802084 HAS SOUS 3234909 HAS SOUPS 1178739 WITH SCORE 1241699.675
AT ITER 2575 NEW BEST:: SOT 71536433 SOS 62962655 HAS SOPS 29802084 HAS SOUS 3234711 HAS SOUPS 1178475 WITH SCORE 1241437.655
AT ITER 2620 NEW BEST:: SOT 71534489 SOS 62953583 HAS SOPS 29799492 HAS SOUS 3231471 HAS SOUPS 1175883 WITH SCORE 1238836.583
AT ITER 2649 NEW BEST:: SOT 71534489 SOS 62953583 HAS SOPS 29799492 HAS SOUS 3231417 HAS SOUPS 1175829 WITH SCORE 1238782.583
AT ITER 2655 NEW BEST:: SOT 71534489 SOS 62953583 HAS SOPS 29799492 HAS SOUS 3231137 HAS SOUPS 1175549 WITH SCORE 1238502.583
AT ITER 2657 NEW BEST:: SOT 71531414 SOS 62970587 HAS SOPS 29803336 HAS SOUS 3228906 HAS SOUPS 1173318 WITH SCORE 1236288.587
AT ITER 2712 NEW BEST:: SOT 71530751 SOS 62969261 HAS SOPS 29802010 HAS SOUS 3227989 HAS SOUPS 1172401 WITH SCORE 1235370.261
AT ITER 2718 NEW BEST:: SOT 71530751 SOS 62969261 HAS SOPS 29802010 HAS SOUS 3227917 HAS SOUPS 1172329 WITH SCORE 1235298.261
AT ITER 2721 NEW BEST:: SOT 71529071 SOS 62981083 HAS SOPS 29804652 HAS SOUS 3227096 HAS SOUPS 1171508 WITH SCORE 1234489.083
AT ITER 2748 NEW BEST:: SOT 71523653 SOS 62991833 HAS SOPS 29803362 HAS SOUS 3223119 HAS SOUPS 1167531 WITH SCORE 1230522.833
AT ITER 2774 NEW BEST:: SOT 71523653 SOS 62991833 HAS SOPS 29803362 HAS SOUS 3223101 HAS SOUPS 1167513 WITH SCORE 1230504.833
AT ITER 2794 NEW BEST:: SOT 71522897 SOS 62993745 HAS SOPS 29802034 HAS SOUS 3222709 HAS SOUPS 1167013 WITH SCORE 1230006.745
AT ITER 2808 NEW BEST:: SOT 71522974 SOS 62990549 HAS SOPS 29803078 HAS SOUS 3222224 HAS SOUPS 1166952 WITH SCORE 1229942.549
AT ITER 2839 NEW BEST:: SOT 71522720 SOS 62986183 HAS SOPS 29805142 HAS SOUS 3221579 HAS SOUPS 1166950 WITH SCORE 1229936.183
AT ITER 2849 NEW BEST:: SOT 71522063 SOS 62984869 HAS SOPS 29807648 HAS SOUS 3220225 HAS SOUPS 1165978 WITH SCORE 1228962.869
AT ITER 2908 NEW BEST:: SOT 71521217 SOS 62982331 HAS SOPS 29805110 HAS SOUS 3219661 HAS SOUPS 1165414 WITH SCORE 1228396.331
AT ITER 2924 NEW BEST:: SOT 71519861 SOS 62989657 HAS SOPS 29802356 HAS SOUS 3219367 HAS SOUPS 1164784 WITH SCORE 1227773.657
AT ITER 2925 NEW BEST:: SOT 71519861 SOS 62989657 HAS SOPS 29802356 HAS SOUS 3219141 HAS SOUPS 1164558 WITH SCORE 1227547.657
AT ITER 2951 NEW BEST:: SOT 71518843 SOS 62993537 HAS SOPS 29801016 HAS SOUS 3218545 HAS SOUPS 1163788 WITH SCORE 1226781.537
AT ITER 2970 NEW BEST:: SOT 71518843 SOS 62993537 HAS SOPS 29801016 HAS SOUS 3218395 HAS SOUPS 1163638 WITH SCORE 1226631.537
AT ITER 2971 NEW BEST:: SOT 71517025 SOS 62998919 HAS SOPS 29797068 HAS SOUS 3217233 HAS SOUPS 1162165 WITH SCORE 1225163.919
AT ITER 2987 NEW BEST:: SOT 71516741 SOS 62996677 HAS SOPS 29794826 HAS SOUS 3216949 HAS SOUPS 1161881 WITH SCORE 1224877.677
AT ITER 3001 NEW BEST:: SOT 71516531 SOS 62992921 HAS SOPS 29796630 HAS SOUS 3216314 HAS SOUPS 1161802 WITH SCORE 1224794.921
AT ITER 3002 NEW BEST:: SOT 71516531 SOS 62992921 HAS SOPS 29796630 HAS SOUS 3216034 HAS SOUPS 1161522 WITH SCORE 1224514.921
AT ITER 3006 NEW BEST:: SOT 71515865 SOS 62986603 HAS SOPS 29798622 HAS SOUS 3215103 HAS SOUPS 1161422 WITH SCORE 1224408.6030000001
AT ITER 3007 NEW BEST:: SOT 71513231 SOS 63001247 HAS SOPS 29802486 HAS SOUS 3212995 HAS SOUPS 1159314 WITH SCORE 1222315.247
AT ITER 3014 NEW BEST:: SOT 71513231 SOS 63001247 HAS SOPS 29802486 HAS SOUS 3212961 HAS SOUPS 1159280 WITH SCORE 1222281.247
AT ITER 3029 NEW BEST:: SOT 71512999 SOS 63000087 HAS SOPS 29801326 HAS SOUS 3212729 HAS SOUPS 1159048 WITH SCORE 1222048.087
AT ITER 3039 NEW BEST:: SOT 71512999 SOS 63000087 HAS SOPS 29801326 HAS SOUS 3212635 HAS SOUPS 1158954 WITH SCORE 1221954.087
AT ITER 3054 NEW BEST:: SOT 71509409 SOS 63014701 HAS SOPS 29803980 HAS SOUS 3209598 HAS SOUPS 1155917 WITH SCORE 1218931.701
AT ITER 3057 NEW BEST:: SOT 71509105 SOS 62865987 HAS SOPS 29803372 HAS SOUS 3207707 HAS SOUPS 1155020 WITH SCORE 1217885.987
AT ITER 3067 NEW BEST:: SOT 71508781 SOS 62865339 HAS SOPS 29802724 HAS SOUS 3207221 HAS SOUPS 1154534 WITH SCORE 1217399.339
AT ITER 3090 NEW BEST:: SOT 71508381 SOS 62862247 HAS SOPS 29803452 HAS SOUS 3206439 HAS SOUPS 1154134 WITH SCORE 1216996.247
AT ITER 3097 NEW BEST:: SOT 71505820 SOS 62885029 HAS SOPS 29811174 HAS SOUS 3205206 HAS SOUPS 1152901 WITH SCORE 1215786.029
AT ITER 3101 NEW BEST:: SOT 71503896 SOS 62889921 HAS SOPS 29809166 HAS SOUS 3204200 HAS SOUPS 1151665 WITH SCORE 1214554.921
AT ITER 3104 NEW BEST:: SOT 71503266 SOS 62888031 HAS SOPS 29807276 HAS SOUS 3203780 HAS SOUPS 1151245 WITH SCORE 1214133.031
AT ITER 3160 NEW BEST:: SOT 71503177 SOS 62887853 HAS SOPS 29807098 HAS SOUS 3203691 HAS SOUPS 1151156 WITH SCORE 1214043.8530000001
AT ITER 3191 NEW BEST:: SOT 71502465 SOS 62886429 HAS SOPS 29809234 HAS SOUS 3202623 HAS SOUPS 1150444 WITH SCORE 1213330.429
AT ITER 3272 NEW BEST:: SOT 71503054 SOS 62884087 HAS SOPS 29813242 HAS SOUS 3201897 HAS SOUPS 1150353 WITH SCORE 1213237.087
AT ITER 3281 NEW BEST:: SOT 71502494 SOS 62882967 HAS SOPS 29815472 HAS SOUS 3200667 HAS SOUPS 1149458 WITH SCORE 1212340.967
AT ITER 3289 NEW BEST:: SOT 71500898 SOS 62891681 HAS SOPS 29814226 HAS SOUS 3200296 HAS SOUPS 1148755 WITH SCORE 1211646.681
AT ITER 3296 NEW BEST:: SOT 71498552 SOS 62911603 HAS SOPS 29821088 HAS SOUS 3198713 HAS SOUPS 1147172 WITH SCORE 1210083.6030000001
AT ITER 3308 NEW BEST:: SOT 71498173 SOS 62918359 HAS SOPS 29821214 HAS SOUS 3198286 HAS SOUPS 1146524 WITH SCORE 1209442.359
AT ITER 3319 NEW BEST:: SOT 71496463 SOS 62930813 HAS SOPS 29819928 HAS SOUS 3197844 HAS SOUPS 1145624 WITH SCORE 1208554.813
AT ITER 3327 NEW BEST:: SOT 71496463 SOS 62930813 HAS SOPS 29819928 HAS SOUS 3197752 HAS SOUPS 1145532 WITH SCORE 1208462.813
AT ITER 3366 NEW BEST:: SOT 71496285 SOS 62928801 HAS SOPS 29817916 HAS SOUS 3197574 HAS SOUPS 1145354 WITH SCORE 1208282.801
AT ITER 3393 NEW BEST:: SOT 71495310 SOS 62933413 HAS SOPS 29816738 HAS SOUS 3197008 HAS SOUPS 1144595 WITH SCORE 1207528.413
AT ITER 3399 NEW BEST:: SOT 71495018 SOS 62932319 HAS SOPS 29818564 HAS SOUS 3196422 HAS SOUPS 1144301 WITH SCORE 1207233.319
AT ITER 3416 NEW BEST:: SOT 71494085 SOS 62878525 HAS SOPS 29831886 HAS SOUS 3196012 HAS SOUPS 1143891 WITH SCORE 1206769.525
AT ITER 3427 NEW BEST:: SOT 71493926 SOS 62879797 HAS SOPS 29833158 HAS SOUS 3195853 HAS SOUPS 1143732 WITH SCORE 1206611.797
AT ITER 3449 NEW BEST:: SOT 71493926 SOS 62879797 HAS SOPS 29833158 HAS SOUS 3195573 HAS SOUPS 1143452 WITH SCORE 1206331.797
AT ITER 3464 NEW BEST:: SOT 71493588 SOS 62879945 HAS SOPS 29833306 HAS SOUS 3195440 HAS SOUPS 1143319 WITH SCORE 1206198.945
AT ITER 3488 NEW BEST:: SOT 71493677 SOS 62867402 HAS SOPS 29826063 HAS SOUS 3195238 HAS SOUPS 1143117 WITH SCORE 1205984.402
AT ITER 3521 NEW BEST:: SOT 71493677 SOS 62867402 HAS SOPS 29826063 HAS SOUS 3194992 HAS SOUPS 1142871 WITH SCORE 1205738.402
AT ITER 3531 NEW BEST:: SOT 71492631 SOS 62870682 HAS SOPS 29824603 HAS SOUS 3194390 HAS SOUPS 1142111 WITH SCORE 1204981.682
AT ITER 3539 NEW BEST:: SOT 71492631 SOS 62870682 HAS SOPS 29824603 HAS SOUS 3194310 HAS SOUPS 1142031 WITH SCORE 1204901.682
AT ITER 3545 NEW BEST:: SOT 71492173 SOS 62872056 HAS SOPS 29825977 HAS SOUS 3193852 HAS SOUPS 1141573 WITH SCORE 1204445.056
AT ITER 3546 NEW BEST:: SOT 71492051 SOS 62869682 HAS SOPS 29823603 HAS SOUS 3193730 HAS SOUPS 1141451 WITH SCORE 1204320.682
AT ITER 3569 NEW BEST:: SOT 71491623 SOS 62868184 HAS SOPS 29822105 HAS SOUS 3193623 HAS SOUPS 1141344 WITH SCORE 1204212.184
AT ITER 3570 NEW BEST:: SOT 71491537 SOS 62868012 HAS SOPS 29821933 HAS SOUS 3193451 HAS SOUPS 1141172 WITH SCORE 1204040.012
AT ITER 3598 NEW BEST:: SOT 71490799 SOS 62865848 HAS SOPS 29819769 HAS SOUS 3192713 HAS SOUPS 1140434 WITH SCORE 1203299.848
AT ITER 3606 NEW BEST:: SOT 71490466 SOS 62865182 HAS SOPS 29819103 HAS SOUS 3192115 HAS SOUPS 1139836 WITH SCORE 1202701.182
AT ITER 3620 NEW BEST:: SOT 71490202 SOS 62864654 HAS SOPS 29820595 HAS SOUS 3191587 HAS SOUPS 1139510 WITH SCORE 1202374.654
AT ITER 3634 NEW BEST:: SOT 71490205 SOS 62861780 HAS SOPS 29820601 HAS SOUS 3191122 HAS SOUPS 1139333 WITH SCORE 1202194.78
AT ITER 3637 NEW BEST:: SOT 71490160 SOS 62861690 HAS SOPS 29820511 HAS SOUS 3191076 HAS SOUPS 1139287 WITH SCORE 1202148.69
AT ITER 3689 NEW BEST:: SOT 71490160 SOS 62861690 HAS SOPS 29820511 HAS SOUS 3191046 HAS SOUPS 1139257 WITH SCORE 1202118.69
AT ITER 3701 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3190936 HAS SOUPS 1139147 WITH SCORE 1202008.47
AT ITER 3707 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3190656 HAS SOUPS 1138867 WITH SCORE 1201728.47
AT ITER 3711 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3190518 HAS SOUPS 1138729 WITH SCORE 1201590.47
AT ITER 3742 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3190248 HAS SOUPS 1138459 WITH SCORE 1201320.47
AT ITER 3759 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3190234 HAS SOUPS 1138445 WITH SCORE 1201306.47
AT ITER 3782 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3189954 HAS SOUPS 1138165 WITH SCORE 1201026.47
AT ITER 3809 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3189712 HAS SOUPS 1137923 WITH SCORE 1200784.47
AT ITER 3900 NEW BEST:: SOT 71490050 SOS 62861470 HAS SOPS 29820291 HAS SOUS 3189686 HAS SOUPS 1137897 WITH SCORE 1200758.47
AT ITER 3902 NEW BEST:: SOT 71488790 SOS 62857690 HAS SOPS 29816511 HAS SOUS 3188846 HAS SOUPS 1137057 WITH SCORE 1199914.69
AT ITER 3914 NEW BEST:: SOT 71479046 SOS 62839084 HAS SOPS 29809395 HAS SOUS 3188718 HAS SOUPS 1137055 WITH SCORE 1199894.084
AT ITER 3931 NEW BEST:: SOT 71479046 SOS 62838464 HAS SOPS 29814455 HAS SOUS 3187912 HAS SOUPS 1136817 WITH SCORE 1199655.464
AT ITER 3964 NEW BEST:: SOT 71478399 SOS 62837170 HAS SOPS 29813161 HAS SOUS 3186618 HAS SOUPS 1135523 WITH SCORE 1198360.17
AT ITER 3992 NEW BEST:: SOT 71478344 SOS 62837060 HAS SOPS 29813051 HAS SOUS 3186563 HAS SOUPS 1135468 WITH SCORE 1198305.06
AT ITER 4055 NEW BEST:: SOT 71478344 SOS 62837450 HAS SOPS 29812791 HAS SOUS 3186563 HAS SOUPS 1135403 WITH SCORE 1198240.45
AT ITER 4070 NEW BEST:: SOT 71478258 SOS 62837020 HAS SOPS 29812361 HAS SOUS 3186477 HAS SOUPS 1135317 WITH SCORE 1198154.02
AT ITER 4075 NEW BEST:: SOT 71478258 SOS 62837020 HAS SOPS 29812361 HAS SOUS 3186197 HAS SOUPS 1135037 WITH SCORE 1197874.02
AT ITER 4103 NEW BEST:: SOT 71478369 SOS 62831914 HAS SOPS 29809475 HAS SOUS 3186197 HAS SOUPS 1135037 WITH SCORE 1197868.914
AT ITER 4106 NEW BEST:: SOT 71478369 SOS 62831914 HAS SOPS 29809475 HAS SOUS 3186191 HAS SOUPS 1135031 WITH SCORE 1197862.914
AT ITER 4108 NEW BEST:: SOT 71478575 SOS 62808806 HAS SOPS 29801067 HAS SOUS 3185032 HAS SOUPS 1134362 WITH SCORE 1197170.806
AT ITER 4110 NEW BEST:: SOT 71474306 SOS 62829246 HAS SOPS 29805987 HAS SOUS 3181426 HAS SOUPS 1130756 WITH SCORE 1193585.246
AT ITER 4118 NEW BEST:: SOT 71473689 SOS 62828012 HAS SOPS 29808763 HAS SOUS 3180097 HAS SOUPS 1129828 WITH SCORE 1192656.012
AT ITER 4122 NEW BEST:: SOT 71471653 SOS 62841534 HAS SOPS 29811825 HAS SOUS 3178936 HAS SOUPS 1128667 WITH SCORE 1191508.534
AT ITER 4147 NEW BEST:: SOT 71470777 SOS 62838906 HAS SOPS 29809197 HAS SOUS 3178421 HAS SOUPS 1128152 WITH SCORE 1190990.906
AT ITER 4168 NEW BEST:: SOT 71470777 SOS 62838906 HAS SOPS 29809197 HAS SOUS 3178199 HAS SOUPS 1127930 WITH SCORE 1190768.906
AT ITER 4171 NEW BEST:: SOT 71470857 SOS 62864032 HAS SOPS 29808844 HAS SOUS 3178239 HAS SOUPS 1127799 WITH SCORE 1190663.032
AT ITER 4185 NEW BEST:: SOT 71470705 SOS 62863728 HAS SOPS 29808540 HAS SOUS 3178163 HAS SOUPS 1127723 WITH SCORE 1190586.7280000001
AT ITER 4187 NEW BEST:: SOT 71468763 SOS 62761590 HAS SOPS 29824450 HAS SOUS 3177715 HAS SOUPS 1127275 WITH SCORE 1190036.59
AT ITER 4204 NEW BEST:: SOT 71465247 SOS 62766930 HAS SOPS 29820098 HAS SOUS 3175461 HAS SOUPS 1125021 WITH SCORE 1187787.93
AT ITER 4252 NEW BEST:: SOT 71463865 SOS 62757982 HAS SOPS 29818880 HAS SOUS 3173473 HAS SOUPS 1123806 WITH SCORE 1186563.982
AT ITER 4254 NEW BEST:: SOT 71461984 SOS 62762162 HAS SOPS 29818880 HAS SOUS 3172219 HAS SOUPS 1122552 WITH SCORE 1185314.162
AT ITER 4262 NEW BEST:: SOT 71459171 SOS 62777476 HAS SOPS 29826204 HAS SOUS 3170990 HAS SOUPS 1121789 WITH SCORE 1184566.476
AT ITER 4269 NEW BEST:: SOT 71458949 SOS 62779252 HAS SOPS 29825760 HAS SOUS 3171155 HAS SOUPS 1121732 WITH SCORE 1184511.252
AT ITER 4271 NEW BEST:: SOT 71458949 SOS 62779252 HAS SOPS 29825760 HAS SOUS 3170875 HAS SOUPS 1121452 WITH SCORE 1184231.252
AT ITER 4272 NEW BEST:: SOT 71456996 SOS 62785948 HAS SOPS 29824086 HAS SOUS 3170317 HAS SOUPS 1120615 WITH SCORE 1183400.948
AT ITER 4314 NEW BEST:: SOT 71455237 SOS 62825277 HAS SOPS 29835785 HAS SOUS 3168478 HAS SOUPS 1117855 WITH SCORE 1180680.277
AT ITER 4322 NEW BEST:: SOT 71452140 SOS 62834197 HAS SOPS 29830815 HAS SOUS 3167291 HAS SOUPS 1116205 WITH SCORE 1179039.197
AT ITER 4326 NEW BEST:: SOT 71452140 SOS 62831057 HAS SOPS 29827675 HAS SOUS 3167012 HAS SOUPS 1115926 WITH SCORE 1178757.057
AT ITER 4347 NEW BEST:: SOT 71451109 SOS 62828995 HAS SOPS 29825613 HAS SOUS 3165757 HAS SOUPS 1114671 WITH SCORE 1177499.995
AT ITER 4394 NEW BEST:: SOT 71451109 SOS 62828995 HAS SOPS 29825613 HAS SOUS 3165477 HAS SOUPS 1114391 WITH SCORE 1177219.995
AT ITER 4400 NEW BEST:: SOT 71451109 SOS 62828995 HAS SOPS 29825613 HAS SOUS 3165243 HAS SOUPS 1114157 WITH SCORE 1176985.995
AT ITER 4430 NEW BEST:: SOT 71451109 SOS 62828995 HAS SOPS 29825613 HAS SOUS 3165009 HAS SOUPS 1113923 WITH SCORE 1176751.995
AT ITER 4458 NEW BEST:: SOT 71451109 SOS 62828995 HAS SOPS 29825613 HAS SOUS 3164767 HAS SOUPS 1113681 WITH SCORE 1176509.995
AT ITER 4470 NEW BEST:: SOT 71451161 SOS 62828631 HAS SOPS 29825249 HAS SOUS 3164767 HAS SOUPS 1113681 WITH SCORE 1176509.631
AT ITER 4488 NEW BEST:: SOT 71447451 SOS 62849177 HAS SOPS 29830955 HAS SOUS 3161417 HAS SOUPS 1110331 WITH SCORE 1173180.177
AT ITER 4499 NEW BEST:: SOT 71441089 SOS 62839682 HAS SOPS 29823229 HAS SOUS 3161638 HAS SOUPS 1110181 WITH SCORE 1173020.682
AT ITER 4532 NEW BEST:: SOT 71439609 SOS 62844898 HAS SOPS 29819685 HAS SOUS 3161044 HAS SOUPS 1109295 WITH SCORE 1172139.898
AT ITER 4559 NEW BEST:: SOT 71437478 SOS 62874122 HAS SOPS 29831969 HAS SOUS 3159666 HAS SOUPS 1107917 WITH SCORE 1170791.122
AT ITER 4576 NEW BEST:: SOT 71437478 SOS 62874122 HAS SOPS 29831969 HAS SOUS 3159466 HAS SOUPS 1107717 WITH SCORE 1170591.122
AT ITER 4584 NEW BEST:: SOT 71437478 SOS 62874122 HAS SOPS 29831969 HAS SOUS 3159182 HAS SOUPS 1107433 WITH SCORE 1170307.122
AT ITER 4599 NEW BEST:: SOT 71437547 SOS 62871940 HAS SOPS 29833217 HAS SOUS 3158745 HAS SOUPS 1107339 WITH SCORE 1170210.94
AT ITER 4623 NEW BEST:: SOT 71437547 SOS 62871190 HAS SOPS 29832467 HAS SOUS 3158745 HAS SOUPS 1107339 WITH SCORE 1170210.19
AT ITER 4641 NEW BEST:: SOT 71437547 SOS 62866370 HAS SOPS 29827647 HAS SOUS 3158465 HAS SOUPS 1107059 WITH SCORE 1169925.37
AT ITER 4671 NEW BEST:: SOT 71437547 SOS 62866370 HAS SOPS 29827647 HAS SOUS 3158185 HAS SOUPS 1106779 WITH SCORE 1169645.37
AT ITER 4709 NEW BEST:: SOT 71437547 SOS 62866370 HAS SOPS 29827647 HAS SOUS 3157973 HAS SOUPS 1106567 WITH SCORE 1169433.37
AT ITER 4718 NEW BEST:: SOT 71437547 SOS 62866370 HAS SOPS 29827647 HAS SOUS 3157693 HAS SOUPS 1106287 WITH SCORE 1169153.37
AT ITER 4768 NEW BEST:: SOT 71437547 SOS 62866370 HAS SOPS 29827647 HAS SOUS 3157491 HAS SOUPS 1106085 WITH SCORE 1168951.37
AT ITER 4795 NEW BEST:: SOT 71436758 SOS 62870470 HAS SOPS 29826737 HAS SOUS 3157350 HAS SOUPS 1105777 WITH SCORE 1168647.47
AT ITER 4799 NEW BEST:: SOT 71436758 SOS 62870470 HAS SOPS 29826737 HAS SOUS 3157104 HAS SOUPS 1105531 WITH SCORE 1168401.47
AT ITER 4827 NEW BEST:: SOT 71436758 SOS 62870470 HAS SOPS 29826737 HAS SOUS 3156824 HAS SOUPS 1105251 WITH SCORE 1168121.47
AT ITER 4850 NEW BEST:: SOT 71436478 SOS 62867390 HAS SOPS 29827857 HAS SOUS 3156305 HAS SOUPS 1105152 WITH SCORE 1168019.39
AT ITER 4881 NEW BEST:: SOT 71434895 SOS 62873128 HAS SOPS 29824055 HAS SOUS 3155629 HAS SOUPS 1104158 WITH SCORE 1167031.128
AT ITER 4889 NEW BEST:: SOT 71434711 SOS 62871656 HAS SOPS 29822583 HAS SOUS 3155445 HAS SOUPS 1103974 WITH SCORE 1166845.656
AT ITER 4891 NEW BEST:: SOT 71434287 SOS 62879352 HAS SOPS 29826719 HAS SOUS 3155254 HAS SOUPS 1103783 WITH SCORE 1166662.352
AT ITER 4896 NEW BEST:: SOT 71430485 SOS 62896684 HAS SOPS 29831011 HAS SOUS 3154349 HAS SOUPS 1102878 WITH SCORE 1165774.684
AT ITER 4899 NEW BEST:: SOT 71420013 SOS 62877278 HAS SOPS 29824233 HAS SOUS 3153419 HAS SOUPS 1102566 WITH SCORE 1165443.278
AT ITER 4916 NEW BEST:: SOT 71419440 SOS 62876002 HAS SOPS 29828967 HAS SOUS 3151958 HAS SOUPS 1101706 WITH SCORE 1164582.002
AT ITER 4925 NEW BEST:: SOT 71417901 SOS 62887228 HAS SOPS 29830803 HAS SOUS 3151586 HAS SOUPS 1101021 WITH SCORE 1163908.2280000001
AT ITER 4933 NEW BEST:: SOT 71417901 SOS 62887228 HAS SOPS 29830803 HAS SOUS 3151306 HAS SOUPS 1100741 WITH SCORE 1163628.2280000001
AT ITER 4951 NEW BEST:: SOT 71417901 SOS 62887228 HAS SOPS 29830803 HAS SOUS 3151284 HAS SOUPS 1100719 WITH SCORE 1163606.2280000001
AT ITER 4963 NEW BEST:: SOT 71417901 SOS 62887228 HAS SOPS 29830803 HAS SOUS 3151050 HAS SOUPS 1100485 WITH SCORE 1163372.2280000001
AT ITER 4993 NEW BEST:: SOT 71417901 SOS 62887228 HAS SOPS 29830803 HAS SOUS 3150784 HAS SOUPS 1100219 WITH SCORE 1163106.2280000001
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-00 (EF((AF(potential( ( 3 ) <= (tk(P1347)) )))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-01 (AU( (EF(potential( ( 3 ) <= (tk(P1971)) ))),potential( ( 1 ) <= (tk(P197)) ) ))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-02 (! (EX( (EG( potential( (tk(P684)) <= (tk(P1268)) ))))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-03 ( ( potential( (tk(P2554)) <= (tk(P2363)) ) & (AX( ( potential( (tk(P319)) <= (tk(P1582)) ) | potential( (tk(P2806)) <= (tk(P1938)) ) ))) ) & (AF((AG( potential( ( 2 ) <= (tk(P2463)) ))))) )
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-04 (AF(( ( ( potential( ( 2 ) <= (tk(P953)) ) & potential( ( 1 ) <= (tk(P392)) ) ) | ( potential( ( 3 ) <= (tk(P1763)) ) & potential( (tk(P2496)) <= (tk(P2230)) ) ) ) & (EG( potential( (tk(P2446)) <= (tk(P2165)) ))) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-05 ( potential( (tk(P2949)) <= (tk(P1305)) ) & (AX( (AG( potential( (tk(P1026)) <= (tk(P1453)) ))))) )
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-06 (AF(( (AX( potential( (tk(P3576)) <= (tk(P1116)) ))) & (AF(potential( ( 3 ) <= (tk(P2073)) ))) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-07 (AG( (AX( potential( ( 1 ) <= (tk(P1512)) )))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-08 (EG( (! ( ( potential( ( 3 ) <= (tk(P3062)) ) & potential( (tk(P1651)) <= (tk(P3689)) ) ) & ( potential( ( 2 ) <= (tk(P3012)) ) | potential( ( 1 ) <= (tk(P3694)) ) ) ))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-09 (AG( ( potential( (tk(P796)) <= (tk(P3244)) ) | potential( ( 3 ) <= (tk(P1313)) ) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-10 (AF(( (! potential( (tk(P339)) <= (tk(P1585)) )) & ( (! potential( ( 2 ) <= (tk(P105)) )) | ( potential( (tk(P3126)) <= (tk(P67)) ) | potential( (tk(P536)) <= (tk(P455)) ) ) ) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-11 (EF((EG( ( potential( (tk(P170)) <= (tk(P82)) ) & potential( (tk(P2608)) <= (tk(P584)) ) )))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-12 (AF((EG( (! potential( ( 1 ) <= (tk(P1110)) ))))))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-13 (AF(( ( ( potential( (tk(P903)) <= (tk(P3038)) ) | potential( (tk(P2965)) <= (tk(P656)) ) ) | potential( ( 1 ) <= (tk(P2649)) ) ) & potential( ( 2 ) <= (tk(P2882)) ) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-14 (AF(potential( ( 2 ) <= (tk(P1472)) )))
PROPERTY: DLCflexbar-PT-8a-CTLCardinality-15 (EG( ( (AG( potential( (tk(P3207)) <= (tk(P2118)) ))) | (AX( potential( ( 1 ) <= (tk(P807)) ))) )))

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="DLCflexbar-PT-8a"
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 DLCflexbar-PT-8a, 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 r048-ebro-158902542200435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a 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 ;