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-158902542100347.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-2b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100347
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Mar 30 02:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 02:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:37 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 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 09:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 09:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 1.5M 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-2b-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-2b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589113360290

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2b
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: 4456 places, 6272 transitions, 16411 arcs.
AT ITER 0 NEW BEST:: SOT 17497634 SOS 3463966 HAS SOPS 3463966 HAS SOUS 2667365 HAS SOUPS 2667365 WITH SCORE 2670828.966
AT ITER 74 NEW BEST:: SOT 17496732 SOS 3463130 HAS SOPS 3463130 HAS SOUS 2665533 HAS SOUPS 2665533 WITH SCORE 2668996.13
AT ITER 86 NEW BEST:: SOT 17496892 SOS 3462982 HAS SOPS 3462982 HAS SOUS 2665385 HAS SOUPS 2665385 WITH SCORE 2668847.982
AT ITER 115 NEW BEST:: SOT 17496349 SOS 3461896 HAS SOPS 3461896 HAS SOUS 2664299 HAS SOUPS 2664299 WITH SCORE 2667760.896
AT ITER 121 NEW BEST:: SOT 17495866 SOS 3461413 HAS SOPS 3461413 HAS SOUS 2663816 HAS SOUPS 2663816 WITH SCORE 2667277.413
AT ITER 125 NEW BEST:: SOT 17494954 SOS 3459588 HAS SOPS 3459588 HAS SOUS 2661991 HAS SOUPS 2661991 WITH SCORE 2665450.588
AT ITER 175 NEW BEST:: SOT 17494670 SOS 3459300 HAS SOPS 3459300 HAS SOUS 2661706 HAS SOUPS 2661706 WITH SCORE 2665165.3
AT ITER 187 NEW BEST:: SOT 17494267 SOS 3458494 HAS SOPS 3458494 HAS SOUS 2660900 HAS SOUPS 2660900 WITH SCORE 2664358.494
AT ITER 207 NEW BEST:: SOT 17493590 SOS 3458046 HAS SOPS 3458046 HAS SOUS 2660455 HAS SOUPS 2660455 WITH SCORE 2663913.046
AT ITER 211 NEW BEST:: SOT 17493101 SOS 3457557 HAS SOPS 3457557 HAS SOUS 2659966 HAS SOUPS 2659966 WITH SCORE 2663423.557
AT ITER 237 NEW BEST:: SOT 17493097 SOS 3457549 HAS SOPS 3457549 HAS SOUS 2659958 HAS SOUPS 2659958 WITH SCORE 2663415.549
AT ITER 241 NEW BEST:: SOT 17493096 SOS 3457419 HAS SOPS 3457419 HAS SOUS 2659828 HAS SOUPS 2659828 WITH SCORE 2663285.419
AT ITER 259 NEW BEST:: SOT 17492132 SOS 3456451 HAS SOPS 3456451 HAS SOUS 2658860 HAS SOUPS 2658860 WITH SCORE 2662316.451
AT ITER 287 NEW BEST:: SOT 17492052 SOS 3456291 HAS SOPS 3456291 HAS SOUS 2658779 HAS SOUPS 2658779 WITH SCORE 2662235.291
AT ITER 295 NEW BEST:: SOT 17491857 SOS 3456096 HAS SOPS 3456096 HAS SOUS 2658584 HAS SOUPS 2658584 WITH SCORE 2662040.096
AT ITER 299 NEW BEST:: SOT 17491857 SOS 3456044 HAS SOPS 3456044 HAS SOUS 2658532 HAS SOUPS 2658532 WITH SCORE 2661988.044
AT ITER 300 NEW BEST:: SOT 17491532 SOS 3456228 HAS SOPS 3456228 HAS SOUS 2658379 HAS SOUPS 2658379 WITH SCORE 2661835.228
AT ITER 314 NEW BEST:: SOT 17477934 SOS 3453311 HAS SOPS 3453311 HAS SOUS 2645408 HAS SOUPS 2645408 WITH SCORE 2648861.311
AT ITER 346 NEW BEST:: SOT 17477934 SOS 3453542 HAS SOPS 3453542 HAS SOUS 2645407 HAS SOUPS 2645407 WITH SCORE 2648860.542
AT ITER 353 NEW BEST:: SOT 17478274 SOS 3454222 HAS SOPS 3454222 HAS SOUS 2645317 HAS SOUPS 2645317 WITH SCORE 2648771.222
AT ITER 357 NEW BEST:: SOT 17478274 SOS 3454234 HAS SOPS 3454234 HAS SOUS 2645315 HAS SOUPS 2645315 WITH SCORE 2648769.234
AT ITER 362 NEW BEST:: SOT 17478274 SOS 3454022 HAS SOPS 3454022 HAS SOUS 2645315 HAS SOUPS 2645315 WITH SCORE 2648769.022
AT ITER 364 NEW BEST:: SOT 17477244 SOS 3453507 HAS SOPS 3453507 HAS SOUS 2644800 HAS SOUPS 2644800 WITH SCORE 2648253.507
AT ITER 402 NEW BEST:: SOT 17477244 SOS 3453507 HAS SOPS 3453507 HAS SOUS 2644731 HAS SOUPS 2644731 WITH SCORE 2648184.507
AT ITER 417 NEW BEST:: SOT 17477216 SOS 3453451 HAS SOPS 3453451 HAS SOUS 2644703 HAS SOUPS 2644703 WITH SCORE 2648156.451
AT ITER 423 NEW BEST:: SOT 17472031 SOS 3451560 HAS SOPS 3451560 HAS SOUS 2640852 HAS SOUPS 2640852 WITH SCORE 2644303.56
AT ITER 439 NEW BEST:: SOT 17472031 SOS 3451226 HAS SOPS 3451226 HAS SOUS 2640685 HAS SOUPS 2640685 WITH SCORE 2644136.226
AT ITER 497 NEW BEST:: SOT 17472031 SOS 3451226 HAS SOPS 3451226 HAS SOUS 2640481 HAS SOUPS 2640481 WITH SCORE 2643932.226
AT ITER 499 NEW BEST:: SOT 17471409 SOS 3450915 HAS SOPS 3450915 HAS SOUS 2640170 HAS SOUPS 2640170 WITH SCORE 2643620.915
AT ITER 511 NEW BEST:: SOT 17471036 SOS 3450169 HAS SOPS 3450169 HAS SOUS 2639424 HAS SOUPS 2639424 WITH SCORE 2642874.169
AT ITER 556 NEW BEST:: SOT 17470546 SOS 3449988 HAS SOPS 3449988 HAS SOUS 2639243 HAS SOUPS 2639243 WITH SCORE 2642692.988
AT ITER 571 NEW BEST:: SOT 17470191 SOS 3449399 HAS SOPS 3449399 HAS SOUS 2638789 HAS SOUPS 2638789 WITH SCORE 2642238.399
AT ITER 605 NEW BEST:: SOT 17464707 SOS 3462499 HAS SOPS 3462499 HAS SOUS 2637365 HAS SOUPS 2637365 WITH SCORE 2640827.499
AT ITER 622 NEW BEST:: SOT 17464707 SOS 3463332 HAS SOPS 3463332 HAS SOUS 2637364 HAS SOUPS 2637364 WITH SCORE 2640827.332
AT ITER 625 NEW BEST:: SOT 17464707 SOS 3463332 HAS SOPS 3463332 HAS SOUS 2637351 HAS SOUPS 2637351 WITH SCORE 2640814.332
AT ITER 626 NEW BEST:: SOT 17464707 SOS 3463332 HAS SOPS 3463332 HAS SOUS 2637350 HAS SOUPS 2637350 WITH SCORE 2640813.332
AT ITER 655 NEW BEST:: SOT 17464214 SOS 3462914 HAS SOPS 3462914 HAS SOUS 2637066 HAS SOUPS 2637066 WITH SCORE 2640528.914
AT ITER 657 NEW BEST:: SOT 17464116 SOS 3462816 HAS SOPS 3462816 HAS SOUS 2636968 HAS SOUPS 2636968 WITH SCORE 2640430.816
AT ITER 660 NEW BEST:: SOT 17463853 SOS 3461764 HAS SOPS 3461764 HAS SOUS 2636442 HAS SOUPS 2636442 WITH SCORE 2639903.764
AT ITER 665 NEW BEST:: SOT 17463407 SOS 3461141 HAS SOPS 3461141 HAS SOUS 2635819 HAS SOUPS 2635819 WITH SCORE 2639280.141
AT ITER 714 NEW BEST:: SOT 17463127 SOS 3460441 HAS SOPS 3460441 HAS SOUS 2635539 HAS SOUPS 2635539 WITH SCORE 2638999.441
AT ITER 738 NEW BEST:: SOT 17462206 SOS 3459982 HAS SOPS 3459982 HAS SOUS 2634973 HAS SOUPS 2634973 WITH SCORE 2638432.982
AT ITER 796 NEW BEST:: SOT 17461287 SOS 3459059 HAS SOPS 3459059 HAS SOUS 2634053 HAS SOUPS 2634053 WITH SCORE 2637512.059
AT ITER 800 NEW BEST:: SOT 17458844 SOS 3458587 HAS SOPS 3458587 HAS SOUS 2632747 HAS SOUPS 2632747 WITH SCORE 2636205.587
AT ITER 822 NEW BEST:: SOT 17458479 SOS 3456762 HAS SOPS 3456762 HAS SOUS 2632017 HAS SOUPS 2632017 WITH SCORE 2635473.762
AT ITER 839 NEW BEST:: SOT 17457996 SOS 3457410 HAS SOPS 3457410 HAS SOUS 2631857 HAS SOUPS 2631857 WITH SCORE 2635314.41
AT ITER 843 NEW BEST:: SOT 17456006 SOS 3457850 HAS SOPS 3457850 HAS SOUS 2631114 HAS SOUPS 2631114 WITH SCORE 2634571.85
AT ITER 883 NEW BEST:: SOT 17455990 SOS 3457818 HAS SOPS 3457818 HAS SOUS 2631098 HAS SOUPS 2631098 WITH SCORE 2634555.818
AT ITER 888 NEW BEST:: SOT 17455906 SOS 3457776 HAS SOPS 3457776 HAS SOUS 2631056 HAS SOUPS 2631056 WITH SCORE 2634513.776
AT ITER 893 NEW BEST:: SOT 17455581 SOS 3457447 HAS SOPS 3457447 HAS SOUS 2630730 HAS SOUPS 2630730 WITH SCORE 2634187.447
AT ITER 905 NEW BEST:: SOT 17455028 SOS 3457206 HAS SOPS 3457206 HAS SOUS 2629901 HAS SOUPS 2629901 WITH SCORE 2633358.206
AT ITER 906 NEW BEST:: SOT 17454641 SOS 3457226 HAS SOPS 3457226 HAS SOUS 2629780 HAS SOUPS 2629780 WITH SCORE 2633237.226
AT ITER 931 NEW BEST:: SOT 17454459 SOS 3457135 HAS SOPS 3457135 HAS SOUS 2629689 HAS SOUPS 2629689 WITH SCORE 2633146.135
AT ITER 954 NEW BEST:: SOT 17454446 SOS 3457267 HAS SOPS 3457267 HAS SOUS 2629613 HAS SOUPS 2629613 WITH SCORE 2633070.267
AT ITER 970 NEW BEST:: SOT 17454651 SOS 3456932 HAS SOPS 3456932 HAS SOUS 2629278 HAS SOUPS 2629278 WITH SCORE 2632734.932
AT ITER 973 NEW BEST:: SOT 17454650 SOS 3456522 HAS SOPS 3456522 HAS SOUS 2629073 HAS SOUPS 2629073 WITH SCORE 2632529.522
AT ITER 982 NEW BEST:: SOT 17450101 SOS 3466189 HAS SOPS 3466189 HAS SOUS 2627216 HAS SOUPS 2627216 WITH SCORE 2630682.189
AT ITER 998 NEW BEST:: SOT 17450101 SOS 3465858 HAS SOPS 3465858 HAS SOUS 2626885 HAS SOUPS 2626885 WITH SCORE 2630350.858
AT ITER 1007 NEW BEST:: SOT 17448696 SOS 3464054 HAS SOPS 3464054 HAS SOUS 2625129 HAS SOUPS 2625129 WITH SCORE 2628593.054
AT ITER 1032 NEW BEST:: SOT 17447572 SOS 3463500 HAS SOPS 3463500 HAS SOUS 2624396 HAS SOUPS 2624396 WITH SCORE 2627859.5
AT ITER 1042 NEW BEST:: SOT 17447224 SOS 3463152 HAS SOPS 3463152 HAS SOUS 2623700 HAS SOUPS 2623700 WITH SCORE 2627163.152
AT ITER 1082 NEW BEST:: SOT 17446294 SOS 3461912 HAS SOPS 3461912 HAS SOUS 2623322 HAS SOUPS 2623322 WITH SCORE 2626783.912
AT ITER 1125 NEW BEST:: SOT 17445366 SOS 3461874 HAS SOPS 3461874 HAS SOUS 2623284 HAS SOUPS 2623284 WITH SCORE 2626745.874
AT ITER 1130 NEW BEST:: SOT 17445032 SOS 3461206 HAS SOPS 3461206 HAS SOUS 2622616 HAS SOUPS 2622616 WITH SCORE 2626077.206
AT ITER 1153 NEW BEST:: SOT 17445021 SOS 3461184 HAS SOPS 3461184 HAS SOUS 2622605 HAS SOUPS 2622605 WITH SCORE 2626066.184
AT ITER 1154 NEW BEST:: SOT 17444538 SOS 3460912 HAS SOPS 3460912 HAS SOUS 2622336 HAS SOUPS 2622336 WITH SCORE 2625796.912
AT ITER 1202 NEW BEST:: SOT 17444930 SOS 3461696 HAS SOPS 3461696 HAS SOUS 2622259 HAS SOUPS 2622259 WITH SCORE 2625720.696
AT ITER 1206 NEW BEST:: SOT 17444209 SOS 3458091 HAS SOPS 3458091 HAS SOUS 2620817 HAS SOUPS 2620817 WITH SCORE 2624275.091
AT ITER 1221 NEW BEST:: SOT 17444209 SOS 3458371 HAS SOPS 3458371 HAS SOUS 2620816 HAS SOUPS 2620816 WITH SCORE 2624274.371
AT ITER 1252 NEW BEST:: SOT 17444136 SOS 3458225 HAS SOPS 3458225 HAS SOUS 2620670 HAS SOUPS 2620670 WITH SCORE 2624128.225
AT ITER 1289 NEW BEST:: SOT 17443861 SOS 3457675 HAS SOPS 3457675 HAS SOUS 2620538 HAS SOUPS 2620538 WITH SCORE 2623995.675
AT ITER 1312 NEW BEST:: SOT 17443731 SOS 3457415 HAS SOPS 3457415 HAS SOUS 2620278 HAS SOUPS 2620278 WITH SCORE 2623735.415
AT ITER 1374 NEW BEST:: SOT 17438500 SOS 3451975 HAS SOPS 3451975 HAS SOUS 2614838 HAS SOUPS 2614838 WITH SCORE 2618289.975
AT ITER 1398 NEW BEST:: SOT 17437898 SOS 3451369 HAS SOPS 3451369 HAS SOUS 2614235 HAS SOUPS 2614235 WITH SCORE 2617686.369
AT ITER 1427 NEW BEST:: SOT 17437217 SOS 3451368 HAS SOPS 3451368 HAS SOUS 2614234 HAS SOUPS 2614234 WITH SCORE 2617685.368
AT ITER 1443 NEW BEST:: SOT 17437216 SOS 3451366 HAS SOPS 3451366 HAS SOUS 2614232 HAS SOUPS 2614232 WITH SCORE 2617683.366
AT ITER 1445 NEW BEST:: SOT 17437205 SOS 3451363 HAS SOPS 3451363 HAS SOUS 2614231 HAS SOUPS 2614231 WITH SCORE 2617682.363
AT ITER 1447 NEW BEST:: SOT 17435885 SOS 3450703 HAS SOPS 3450703 HAS SOUS 2613571 HAS SOUPS 2613571 WITH SCORE 2617021.703
AT ITER 1457 NEW BEST:: SOT 17435575 SOS 3450489 HAS SOPS 3450489 HAS SOUS 2613079 HAS SOUPS 2613079 WITH SCORE 2616529.489
AT ITER 1484 NEW BEST:: SOT 17434925 SOS 3451019 HAS SOPS 3451019 HAS SOUS 2613039 HAS SOUPS 2613039 WITH SCORE 2616490.019
AT ITER 1491 NEW BEST:: SOT 17434925 SOS 3451019 HAS SOPS 3451019 HAS SOUS 2612116 HAS SOUPS 2612116 WITH SCORE 2615567.019
AT ITER 1510 NEW BEST:: SOT 17434925 SOS 3451326 HAS SOPS 3451326 HAS SOUS 2612115 HAS SOUPS 2612115 WITH SCORE 2615566.326
AT ITER 1514 NEW BEST:: SOT 17434428 SOS 3450332 HAS SOPS 3450332 HAS SOUS 2611121 HAS SOUPS 2611121 WITH SCORE 2614571.332
AT ITER 1522 NEW BEST:: SOT 17433276 SOS 3448796 HAS SOPS 3448796 HAS SOUS 2609969 HAS SOUPS 2609969 WITH SCORE 2613417.796
AT ITER 1531 NEW BEST:: SOT 17432810 SOS 3447864 HAS SOPS 3447864 HAS SOUS 2609037 HAS SOUPS 2609037 WITH SCORE 2612484.864
AT ITER 1532 NEW BEST:: SOT 17432774 SOS 3447792 HAS SOPS 3447792 HAS SOUS 2608965 HAS SOUPS 2608965 WITH SCORE 2612412.792
AT ITER 1571 NEW BEST:: SOT 17432677 SOS 3447598 HAS SOPS 3447598 HAS SOUS 2608771 HAS SOUPS 2608771 WITH SCORE 2612218.598
AT ITER 1581 NEW BEST:: SOT 17432324 SOS 3446892 HAS SOPS 3446892 HAS SOUS 2608065 HAS SOUPS 2608065 WITH SCORE 2611511.892
AT ITER 1587 NEW BEST:: SOT 17432197 SOS 3446638 HAS SOPS 3446638 HAS SOUS 2607599 HAS SOUPS 2607599 WITH SCORE 2611045.638
AT ITER 1589 NEW BEST:: SOT 17432120 SOS 3445684 HAS SOPS 3445684 HAS SOUS 2607189 HAS SOUPS 2607189 WITH SCORE 2610634.684
AT ITER 1602 NEW BEST:: SOT 17431690 SOS 3444824 HAS SOPS 3444824 HAS SOUS 2606329 HAS SOUPS 2606329 WITH SCORE 2609773.824
AT ITER 1617 NEW BEST:: SOT 17431381 SOS 3444515 HAS SOPS 3444515 HAS SOUS 2606329 HAS SOUPS 2606329 WITH SCORE 2609773.515
AT ITER 1651 NEW BEST:: SOT 17430979 SOS 3444113 HAS SOPS 3444113 HAS SOUS 2606329 HAS SOUPS 2606329 WITH SCORE 2609773.113
AT ITER 1653 NEW BEST:: SOT 17430659 SOS 3443789 HAS SOPS 3443789 HAS SOUS 2606008 HAS SOUPS 2606008 WITH SCORE 2609451.789
AT ITER 1657 NEW BEST:: SOT 17430457 SOS 3443987 HAS SOPS 3443987 HAS SOUS 2605603 HAS SOUPS 2605603 WITH SCORE 2609046.987
AT ITER 1670 NEW BEST:: SOT 17430311 SOS 3443841 HAS SOPS 3443841 HAS SOUS 2605531 HAS SOUPS 2605531 WITH SCORE 2608974.841
AT ITER 1691 NEW BEST:: SOT 17430311 SOS 3444026 HAS SOPS 3444026 HAS SOUS 2605530 HAS SOUPS 2605530 WITH SCORE 2608974.026
AT ITER 1694 NEW BEST:: SOT 17429842 SOS 3443553 HAS SOPS 3443553 HAS SOUS 2605060 HAS SOUPS 2605060 WITH SCORE 2608503.553
AT ITER 1699 NEW BEST:: SOT 17429433 SOS 3442437 HAS SOPS 3442437 HAS SOUS 2604186 HAS SOUPS 2604186 WITH SCORE 2607628.437
AT ITER 1702 NEW BEST:: SOT 17429254 SOS 3442079 HAS SOPS 3442079 HAS SOUS 2603828 HAS SOUPS 2603828 WITH SCORE 2607270.079
AT ITER 1729 NEW BEST:: SOT 17428750 SOS 3439337 HAS SOPS 3439337 HAS SOUS 2602820 HAS SOUPS 2602820 WITH SCORE 2606259.337
AT ITER 1734 NEW BEST:: SOT 17428655 SOS 3438958 HAS SOPS 3438958 HAS SOUS 2602630 HAS SOUPS 2602630 WITH SCORE 2606068.958
AT ITER 1748 NEW BEST:: SOT 17428583 SOS 3440091 HAS SOPS 3440091 HAS SOUS 2602488 HAS SOUPS 2602488 WITH SCORE 2605928.091
AT ITER 1778 NEW BEST:: SOT 17428555 SOS 3440035 HAS SOPS 3440035 HAS SOUS 2602458 HAS SOUPS 2602458 WITH SCORE 2605898.035
AT ITER 1808 NEW BEST:: SOT 17428049 SOS 3439566 HAS SOPS 3439566 HAS SOUS 2601989 HAS SOUPS 2601989 WITH SCORE 2605428.566
AT ITER 1815 NEW BEST:: SOT 17428049 SOS 3440030 HAS SOPS 3440030 HAS SOUS 2601988 HAS SOUPS 2601988 WITH SCORE 2605428.03
AT ITER 1836 NEW BEST:: SOT 17428048 SOS 3440028 HAS SOPS 3440028 HAS SOUS 2601986 HAS SOUPS 2601986 WITH SCORE 2605426.028
AT ITER 1845 NEW BEST:: SOT 17427644 SOS 3439990 HAS SOPS 3439990 HAS SOUS 2601948 HAS SOUPS 2601948 WITH SCORE 2605387.99
AT ITER 1855 NEW BEST:: SOT 17427485 SOS 3439672 HAS SOPS 3439672 HAS SOUS 2601630 HAS SOUPS 2601630 WITH SCORE 2605069.672
AT ITER 1859 NEW BEST:: SOT 17426933 SOS 3438568 HAS SOPS 3438568 HAS SOUS 2601168 HAS SOUPS 2601168 WITH SCORE 2604606.568
AT ITER 1916 NEW BEST:: SOT 17426149 SOS 3437000 HAS SOPS 3437000 HAS SOUS 2600384 HAS SOUPS 2600384 WITH SCORE 2603821.0
AT ITER 1935 NEW BEST:: SOT 17425980 SOS 3436662 HAS SOPS 3436662 HAS SOUS 2600046 HAS SOUPS 2600046 WITH SCORE 2603482.662
AT ITER 1955 NEW BEST:: SOT 17425819 SOS 3436340 HAS SOPS 3436340 HAS SOUS 2599724 HAS SOUPS 2599724 WITH SCORE 2603160.34
AT ITER 1984 NEW BEST:: SOT 17425279 SOS 3435982 HAS SOPS 3435982 HAS SOUS 2599366 HAS SOUPS 2599366 WITH SCORE 2602801.982
AT ITER 2011 NEW BEST:: SOT 17425278 SOS 3435980 HAS SOPS 3435980 HAS SOUS 2599364 HAS SOUPS 2599364 WITH SCORE 2602799.98
AT ITER 2048 NEW BEST:: SOT 17424815 SOS 3435054 HAS SOPS 3435054 HAS SOUS 2598920 HAS SOUPS 2598920 WITH SCORE 2602355.054
AT ITER 2067 NEW BEST:: SOT 17424815 SOS 3431463 HAS SOPS 3431463 HAS SOUS 2598736 HAS SOUPS 2598736 WITH SCORE 2602167.463
AT ITER 2099 NEW BEST:: SOT 17424815 SOS 3432245 HAS SOPS 3432245 HAS SOUS 2598735 HAS SOUPS 2598735 WITH SCORE 2602167.245
AT ITER 2135 NEW BEST:: SOT 17424324 SOS 3431754 HAS SOPS 3431754 HAS SOUS 2598244 HAS SOUPS 2598244 WITH SCORE 2601675.754
AT ITER 2177 NEW BEST:: SOT 17424323 SOS 3431752 HAS SOPS 3431752 HAS SOUS 2598242 HAS SOUPS 2598242 WITH SCORE 2601673.752
AT ITER 2192 NEW BEST:: SOT 17423476 SOS 3430901 HAS SOPS 3430901 HAS SOUS 2597394 HAS SOUPS 2597394 WITH SCORE 2600824.901
AT ITER 2214 NEW BEST:: SOT 17420822 SOS 3428729 HAS SOPS 3428729 HAS SOUS 2594799 HAS SOUPS 2594799 WITH SCORE 2598227.729
AT ITER 2236 NEW BEST:: SOT 17420023 SOS 3427807 HAS SOPS 3427807 HAS SOUS 2593578 HAS SOUPS 2593578 WITH SCORE 2597005.807
AT ITER 2239 NEW BEST:: SOT 17420017 SOS 3427813 HAS SOPS 3427813 HAS SOUS 2593572 HAS SOUPS 2593572 WITH SCORE 2596999.813
AT ITER 2260 NEW BEST:: SOT 17419962 SOS 3427703 HAS SOPS 3427703 HAS SOUS 2593462 HAS SOUPS 2593462 WITH SCORE 2596889.703
AT ITER 2269 NEW BEST:: SOT 17419846 SOS 3427703 HAS SOPS 3427703 HAS SOUS 2593404 HAS SOUPS 2593404 WITH SCORE 2596831.703
AT ITER 2277 NEW BEST:: SOT 17419228 SOS 3427085 HAS SOPS 3427085 HAS SOUS 2592786 HAS SOUPS 2592786 WITH SCORE 2596213.085
AT ITER 2293 NEW BEST:: SOT 17404818 SOS 3417663 HAS SOPS 3417663 HAS SOUS 2579184 HAS SOUPS 2579184 WITH SCORE 2582601.663
AT ITER 2296 NEW BEST:: SOT 17404158 SOS 3417221 HAS SOPS 3417221 HAS SOUS 2578745 HAS SOUPS 2578745 WITH SCORE 2582162.221
AT ITER 2301 NEW BEST:: SOT 17404158 SOS 3417111 HAS SOPS 3417111 HAS SOUS 2578745 HAS SOUPS 2578745 WITH SCORE 2582162.111
AT ITER 2324 NEW BEST:: SOT 17402577 SOS 3415530 HAS SOPS 3415530 HAS SOUS 2577164 HAS SOUPS 2577164 WITH SCORE 2580579.53
AT ITER 2345 NEW BEST:: SOT 17402537 SOS 3415326 HAS SOPS 3415326 HAS SOUS 2577146 HAS SOUPS 2577146 WITH SCORE 2580561.326
AT ITER 2351 NEW BEST:: SOT 17402537 SOS 3415322 HAS SOPS 3415322 HAS SOUS 2577145 HAS SOUPS 2577145 WITH SCORE 2580560.322
AT ITER 2354 NEW BEST:: SOT 17402301 SOS 3415086 HAS SOPS 3415086 HAS SOUS 2576909 HAS SOUPS 2576909 WITH SCORE 2580324.086
AT ITER 2370 NEW BEST:: SOT 17402300 SOS 3415015 HAS SOPS 3415015 HAS SOUS 2576838 HAS SOUPS 2576838 WITH SCORE 2580253.015
AT ITER 2380 NEW BEST:: SOT 17402006 SOS 3414025 HAS SOPS 3414025 HAS SOUS 2576364 HAS SOUPS 2576364 WITH SCORE 2579778.025
AT ITER 2428 NEW BEST:: SOT 17401847 SOS 3413919 HAS SOPS 3413919 HAS SOUS 2576258 HAS SOUPS 2576258 WITH SCORE 2579671.919
AT ITER 2446 NEW BEST:: SOT 17401328 SOS 3413785 HAS SOPS 3413785 HAS SOUS 2576119 HAS SOUPS 2576119 WITH SCORE 2579532.785
AT ITER 2472 NEW BEST:: SOT 17400798 SOS 3407037 HAS SOPS 3407037 HAS SOUS 2575059 HAS SOUPS 2575059 WITH SCORE 2578466.037
AT ITER 2529 NEW BEST:: SOT 17400797 SOS 3407035 HAS SOPS 3407035 HAS SOUS 2575057 HAS SOUPS 2575057 WITH SCORE 2578464.035
AT ITER 2562 NEW BEST:: SOT 17400419 SOS 3406653 HAS SOPS 3406653 HAS SOUS 2574678 HAS SOUPS 2574678 WITH SCORE 2578084.653
AT ITER 2566 NEW BEST:: SOT 17400619 SOS 3407053 HAS SOPS 3407053 HAS SOUS 2574535 HAS SOUPS 2574535 WITH SCORE 2577942.053
AT ITER 2567 NEW BEST:: SOT 17400054 SOS 3405923 HAS SOPS 3405923 HAS SOUS 2573573 HAS SOUPS 2573573 WITH SCORE 2576978.923
AT ITER 2573 NEW BEST:: SOT 17400268 SOS 3406351 HAS SOPS 3406351 HAS SOUS 2573428 HAS SOUPS 2573428 WITH SCORE 2576834.351
AT ITER 2582 NEW BEST:: SOT 17399708 SOS 3406067 HAS SOPS 3406067 HAS SOUS 2573147 HAS SOUPS 2573147 WITH SCORE 2576553.067
AT ITER 2590 NEW BEST:: SOT 17399707 SOS 3406065 HAS SOPS 3406065 HAS SOUS 2573145 HAS SOUPS 2573145 WITH SCORE 2576551.065
AT ITER 2621 NEW BEST:: SOT 17399560 SOS 3405771 HAS SOPS 3405771 HAS SOUS 2572889 HAS SOUPS 2572889 WITH SCORE 2576294.771
AT ITER 2623 NEW BEST:: SOT 17399995 SOS 3406641 HAS SOPS 3406641 HAS SOUS 2572642 HAS SOUPS 2572642 WITH SCORE 2576048.641
AT ITER 2651 NEW BEST:: SOT 17399931 SOS 3406577 HAS SOPS 3406577 HAS SOUS 2572578 HAS SOUPS 2572578 WITH SCORE 2575984.577
AT ITER 2661 NEW BEST:: SOT 17399799 SOS 3406511 HAS SOPS 3406511 HAS SOUS 2572512 HAS SOUPS 2572512 WITH SCORE 2575918.511
AT ITER 2672 NEW BEST:: SOT 17399665 SOS 3406243 HAS SOPS 3406243 HAS SOUS 2571897 HAS SOUPS 2571897 WITH SCORE 2575303.243
AT ITER 2718 NEW BEST:: SOT 17398615 SOS 3404733 HAS SOPS 3404733 HAS SOUS 2570387 HAS SOUPS 2570387 WITH SCORE 2573791.733
AT ITER 2747 NEW BEST:: SOT 17398558 SOS 3404736 HAS SOPS 3404736 HAS SOUS 2570383 HAS SOUPS 2570383 WITH SCORE 2573787.736
AT ITER 2750 NEW BEST:: SOT 17398508 SOS 3404636 HAS SOPS 3404636 HAS SOUS 2570333 HAS SOUPS 2570333 WITH SCORE 2573737.636
AT ITER 2758 NEW BEST:: SOT 17396481 SOS 3407512 HAS SOPS 3407512 HAS SOUS 2570226 HAS SOUPS 2570226 WITH SCORE 2573633.512
AT ITER 2760 NEW BEST:: SOT 17396832 SOS 3407380 HAS SOPS 3407380 HAS SOUS 2569989 HAS SOUPS 2569989 WITH SCORE 2573396.38
AT ITER 2766 NEW BEST:: SOT 17396714 SOS 3407145 HAS SOPS 3407145 HAS SOUS 2569754 HAS SOUPS 2569754 WITH SCORE 2573161.145
AT ITER 2773 NEW BEST:: SOT 17396111 SOS 3405939 HAS SOPS 3405939 HAS SOUS 2568252 HAS SOUPS 2568252 WITH SCORE 2571657.939
AT ITER 2808 NEW BEST:: SOT 17396002 SOS 3405721 HAS SOPS 3405721 HAS SOUS 2568034 HAS SOUPS 2568034 WITH SCORE 2571439.721
AT ITER 2812 NEW BEST:: SOT 17396002 SOS 3406225 HAS SOPS 3406225 HAS SOUS 2568032 HAS SOUPS 2568032 WITH SCORE 2571438.225
AT ITER 2840 NEW BEST:: SOT 17395971 SOS 3406203 HAS SOPS 3406203 HAS SOUS 2568001 HAS SOUPS 2568001 WITH SCORE 2571407.203
AT ITER 2841 NEW BEST:: SOT 17394453 SOS 3403673 HAS SOPS 3403673 HAS SOUS 2565977 HAS SOUPS 2565977 WITH SCORE 2569380.673
AT ITER 2844 NEW BEST:: SOT 17393767 SOS 3403061 HAS SOPS 3403061 HAS SOUS 2565368 HAS SOUPS 2565368 WITH SCORE 2568771.061
AT ITER 2920 NEW BEST:: SOT 17393767 SOS 3403302 HAS SOPS 3403302 HAS SOUS 2565367 HAS SOUPS 2565367 WITH SCORE 2568770.302
AT ITER 2988 NEW BEST:: SOT 17393767 SOS 3403066 HAS SOPS 3403066 HAS SOUS 2565131 HAS SOUPS 2565131 WITH SCORE 2568534.066
AT ITER 3007 NEW BEST:: SOT 17392897 SOS 3402192 HAS SOPS 3402192 HAS SOUS 2564260 HAS SOUPS 2564260 WITH SCORE 2567662.192
AT ITER 3040 NEW BEST:: SOT 17392702 SOS 3401802 HAS SOPS 3401802 HAS SOUS 2564065 HAS SOUPS 2564065 WITH SCORE 2567466.802
AT ITER 3047 NEW BEST:: SOT 17392702 SOS 3401802 HAS SOPS 3401802 HAS SOUS 2563028 HAS SOUPS 2563028 WITH SCORE 2566429.802
AT ITER 3049 NEW BEST:: SOT 17392702 SOS 3401740 HAS SOPS 3401740 HAS SOUS 2563028 HAS SOUPS 2563028 WITH SCORE 2566429.74
AT ITER 3051 NEW BEST:: SOT 17392350 SOS 3401369 HAS SOPS 3401369 HAS SOUS 2562502 HAS SOUPS 2562502 WITH SCORE 2565903.369
AT ITER 3053 NEW BEST:: SOT 17391825 SOS 3400921 HAS SOPS 3400921 HAS SOUS 2562054 HAS SOUPS 2562054 WITH SCORE 2565454.921
AT ITER 3068 NEW BEST:: SOT 17392330 SOS 3401931 HAS SOPS 3401931 HAS SOUS 2561512 HAS SOUPS 2561512 WITH SCORE 2564913.931
AT ITER 3093 NEW BEST:: SOT 17391880 SOS 3400581 HAS SOPS 3400581 HAS SOUS 2560837 HAS SOUPS 2560837 WITH SCORE 2564237.581
AT ITER 3095 NEW BEST:: SOT 17391810 SOS 3400406 HAS SOPS 3400406 HAS SOUS 2560767 HAS SOUPS 2560767 WITH SCORE 2564167.406
AT ITER 3100 NEW BEST:: SOT 17391390 SOS 3400179 HAS SOPS 3400179 HAS SOUS 2560540 HAS SOUPS 2560540 WITH SCORE 2563940.179
AT ITER 3106 NEW BEST:: SOT 17391370 SOS 3400139 HAS SOPS 3400139 HAS SOUS 2560500 HAS SOUPS 2560500 WITH SCORE 2563900.139
AT ITER 3127 NEW BEST:: SOT 17390916 SOS 3399231 HAS SOPS 3399231 HAS SOUS 2559592 HAS SOUPS 2559592 WITH SCORE 2562991.231
AT ITER 3130 NEW BEST:: SOT 17390409 SOS 3398217 HAS SOPS 3398217 HAS SOUS 2558578 HAS SOUPS 2558578 WITH SCORE 2561976.217
AT ITER 3133 NEW BEST:: SOT 17390358 SOS 3398115 HAS SOPS 3398115 HAS SOUS 2558476 HAS SOUPS 2558476 WITH SCORE 2561874.115
AT ITER 3155 NEW BEST:: SOT 17390358 SOS 3398969 HAS SOPS 3398969 HAS SOUS 2558475 HAS SOUPS 2558475 WITH SCORE 2561873.969
AT ITER 3180 NEW BEST:: SOT 17390029 SOS 3398311 HAS SOPS 3398311 HAS SOUS 2557488 HAS SOUPS 2557488 WITH SCORE 2560886.311
AT ITER 3185 NEW BEST:: SOT 17389789 SOS 3397111 HAS SOPS 3397111 HAS SOUS 2557008 HAS SOUPS 2557008 WITH SCORE 2560405.111
AT ITER 3203 NEW BEST:: SOT 17388467 SOS 3395367 HAS SOPS 3395367 HAS SOUS 2555802 HAS SOUPS 2555802 WITH SCORE 2559197.367
AT ITER 3212 NEW BEST:: SOT 17388044 SOS 3393252 HAS SOPS 3393252 HAS SOUS 2554956 HAS SOUPS 2554956 WITH SCORE 2558349.252
AT ITER 3221 NEW BEST:: SOT 17387799 SOS 3392762 HAS SOPS 3392762 HAS SOUS 2554466 HAS SOUPS 2554466 WITH SCORE 2557858.762
AT ITER 3315 NEW BEST:: SOT 17387799 SOS 3392762 HAS SOPS 3392762 HAS SOUS 2553462 HAS SOUPS 2553462 WITH SCORE 2556854.762
AT ITER 3321 NEW BEST:: SOT 17387737 SOS 3392638 HAS SOPS 3392638 HAS SOUS 2553338 HAS SOUPS 2553338 WITH SCORE 2556730.638
AT ITER 3328 NEW BEST:: SOT 17387531 SOS 3392227 HAS SOPS 3392227 HAS SOUS 2552927 HAS SOUPS 2552927 WITH SCORE 2556319.227
AT ITER 3330 NEW BEST:: SOT 17387509 SOS 3392183 HAS SOPS 3392183 HAS SOUS 2552883 HAS SOUPS 2552883 WITH SCORE 2556275.183
AT ITER 3344 NEW BEST:: SOT 17386560 SOS 3392097 HAS SOPS 3392097 HAS SOUS 2552528 HAS SOUPS 2552528 WITH SCORE 2555920.097
AT ITER 3353 NEW BEST:: SOT 17386516 SOS 3391965 HAS SOPS 3391965 HAS SOUS 2552440 HAS SOUPS 2552440 WITH SCORE 2555831.965
AT ITER 3377 NEW BEST:: SOT 17386312 SOS 3391557 HAS SOPS 3391557 HAS SOUS 2552281 HAS SOUPS 2552281 WITH SCORE 2555672.557
AT ITER 3392 NEW BEST:: SOT 17386312 SOS 3390954 HAS SOPS 3390954 HAS SOUS 2552080 HAS SOUPS 2552080 WITH SCORE 2555470.954
AT ITER 3401 NEW BEST:: SOT 17386261 SOS 3390968 HAS SOPS 3390968 HAS SOUS 2552046 HAS SOUPS 2552046 WITH SCORE 2555436.968
AT ITER 3416 NEW BEST:: SOT 17386043 SOS 3390532 HAS SOPS 3390532 HAS SOUS 2551610 HAS SOUPS 2551610 WITH SCORE 2555000.532
AT ITER 3449 NEW BEST:: SOT 17384813 SOS 3389917 HAS SOPS 3389917 HAS SOUS 2550995 HAS SOUPS 2550995 WITH SCORE 2554384.917
AT ITER 3454 NEW BEST:: SOT 17384813 SOS 3389917 HAS SOPS 3389917 HAS SOUS 2550938 HAS SOUPS 2550938 WITH SCORE 2554327.917
AT ITER 3470 NEW BEST:: SOT 17384809 SOS 3389909 HAS SOPS 3389909 HAS SOUS 2550930 HAS SOUPS 2550930 WITH SCORE 2554319.909
AT ITER 3479 NEW BEST:: SOT 17384726 SOS 3389743 HAS SOPS 3389743 HAS SOUS 2550764 HAS SOUPS 2550764 WITH SCORE 2554153.743
AT ITER 3486 NEW BEST:: SOT 17384726 SOS 3389597 HAS SOPS 3389597 HAS SOUS 2550764 HAS SOUPS 2550764 WITH SCORE 2554153.597
AT ITER 3497 NEW BEST:: SOT 17384726 SOS 3388535 HAS SOPS 3388535 HAS SOUS 2550763 HAS SOUPS 2550763 WITH SCORE 2554151.535
AT ITER 3511 NEW BEST:: SOT 17384649 SOS 3388480 HAS SOPS 3388480 HAS SOUS 2550587 HAS SOUPS 2550587 WITH SCORE 2553975.48
AT ITER 3524 NEW BEST:: SOT 17384649 SOS 3388414 HAS SOPS 3388414 HAS SOUS 2550521 HAS SOUPS 2550521 WITH SCORE 2553909.414
AT ITER 3554 NEW BEST:: SOT 17383517 SOS 3389501 HAS SOPS 3389501 HAS SOUS 2550506 HAS SOUPS 2550506 WITH SCORE 2553895.501
AT ITER 3562 NEW BEST:: SOT 17383517 SOS 3388622 HAS SOPS 3388622 HAS SOUS 2550213 HAS SOUPS 2550213 WITH SCORE 2553601.622
AT ITER 3623 NEW BEST:: SOT 17383517 SOS 3388622 HAS SOPS 3388622 HAS SOUS 2550079 HAS SOUPS 2550079 WITH SCORE 2553467.622
AT ITER 3626 NEW BEST:: SOT 17383399 SOS 3388268 HAS SOPS 3388268 HAS SOUS 2549725 HAS SOUPS 2549725 WITH SCORE 2553113.268
AT ITER 3669 NEW BEST:: SOT 17383382 SOS 3388234 HAS SOPS 3388234 HAS SOUS 2549691 HAS SOUPS 2549691 WITH SCORE 2553079.234
AT ITER 3751 NEW BEST:: SOT 17382880 SOS 3384944 HAS SOPS 3384944 HAS SOUS 2548687 HAS SOUPS 2548687 WITH SCORE 2552071.944
AT ITER 3765 NEW BEST:: SOT 17382702 SOS 3384588 HAS SOPS 3384588 HAS SOUS 2547949 HAS SOUPS 2547949 WITH SCORE 2551333.588
AT ITER 3807 NEW BEST:: SOT 17382702 SOS 3384284 HAS SOPS 3384284 HAS SOUS 2547645 HAS SOUPS 2547645 WITH SCORE 2551029.284
AT ITER 3809 NEW BEST:: SOT 17382359 SOS 3383941 HAS SOPS 3383941 HAS SOUS 2547302 HAS SOUPS 2547302 WITH SCORE 2550685.941
AT ITER 3814 NEW BEST:: SOT 17375295 SOS 3384470 HAS SOPS 3384470 HAS SOUS 2543293 HAS SOUPS 2543293 WITH SCORE 2546677.47
AT ITER 3822 NEW BEST:: SOT 17375295 SOS 3384417 HAS SOPS 3384417 HAS SOUS 2543240 HAS SOUPS 2543240 WITH SCORE 2546624.417
AT ITER 3829 NEW BEST:: SOT 17375401 SOS 3384629 HAS SOPS 3384629 HAS SOUS 2543236 HAS SOUPS 2543236 WITH SCORE 2546620.629
AT ITER 3845 NEW BEST:: SOT 17375401 SOS 3384350 HAS SOPS 3384350 HAS SOUS 2543236 HAS SOUPS 2543236 WITH SCORE 2546620.35
AT ITER 3856 NEW BEST:: SOT 17375401 SOS 3383980 HAS SOPS 3383980 HAS SOUS 2543236 HAS SOUPS 2543236 WITH SCORE 2546619.98
AT ITER 3861 NEW BEST:: SOT 17375472 SOS 3383909 HAS SOPS 3383909 HAS SOUS 2543236 HAS SOUPS 2543236 WITH SCORE 2546619.909
AT ITER 3888 NEW BEST:: SOT 17373959 SOS 3384537 HAS SOPS 3384537 HAS SOUS 2542681 HAS SOUPS 2542681 WITH SCORE 2546065.537
AT ITER 3893 NEW BEST:: SOT 17370729 SOS 3381040 HAS SOPS 3381040 HAS SOUS 2540254 HAS SOUPS 2540254 WITH SCORE 2543635.04
AT ITER 3933 NEW BEST:: SOT 17370493 SOS 3380696 HAS SOPS 3380696 HAS SOUS 2539910 HAS SOUPS 2539910 WITH SCORE 2543290.696
AT ITER 3957 NEW BEST:: SOT 17370392 SOS 3380594 HAS SOPS 3380594 HAS SOUS 2539909 HAS SOUPS 2539909 WITH SCORE 2543289.594
AT ITER 4011 NEW BEST:: SOT 17370391 SOS 3380592 HAS SOPS 3380592 HAS SOUS 2539907 HAS SOUPS 2539907 WITH SCORE 2543287.592
AT ITER 4018 NEW BEST:: SOT 17370159 SOS 3380128 HAS SOPS 3380128 HAS SOUS 2539443 HAS SOUPS 2539443 WITH SCORE 2542823.128
AT ITER 4035 NEW BEST:: SOT 17370159 SOS 3379926 HAS SOPS 3379926 HAS SOUS 2539241 HAS SOUPS 2539241 WITH SCORE 2542620.926
AT ITER 4067 NEW BEST:: SOT 17369854 SOS 3379802 HAS SOPS 3379802 HAS SOUS 2539098 HAS SOUPS 2539098 WITH SCORE 2542477.802
AT ITER 4078 NEW BEST:: SOT 17369603 SOS 3379300 HAS SOPS 3379300 HAS SOUS 2538596 HAS SOUPS 2538596 WITH SCORE 2541975.3
AT ITER 4080 NEW BEST:: SOT 17369317 SOS 3378728 HAS SOPS 3378728 HAS SOUS 2538024 HAS SOUPS 2538024 WITH SCORE 2541402.728
AT ITER 4082 NEW BEST:: SOT 17369573 SOS 3378949 HAS SOPS 3378949 HAS SOUS 2537989 HAS SOUPS 2537989 WITH SCORE 2541367.949
AT ITER 4099 NEW BEST:: SOT 17369536 SOS 3378875 HAS SOPS 3378875 HAS SOUS 2537915 HAS SOUPS 2537915 WITH SCORE 2541293.875
AT ITER 4142 NEW BEST:: SOT 17366060 SOS 3376347 HAS SOPS 3376347 HAS SOUS 2535387 HAS SOUPS 2535387 WITH SCORE 2538763.347
AT ITER 4148 NEW BEST:: SOT 17366178 SOS 3376180 HAS SOPS 3376180 HAS SOUS 2535220 HAS SOUPS 2535220 WITH SCORE 2538596.18
AT ITER 4200 NEW BEST:: SOT 17365793 SOS 3374777 HAS SOPS 3374777 HAS SOUS 2534624 HAS SOUPS 2534624 WITH SCORE 2537998.777
AT ITER 4215 NEW BEST:: SOT 17363087 SOS 3373055 HAS SOPS 3373055 HAS SOUS 2532902 HAS SOUPS 2532902 WITH SCORE 2536275.055
AT ITER 4249 NEW BEST:: SOT 17362868 SOS 3373184 HAS SOPS 3373184 HAS SOUS 2532872 HAS SOUPS 2532872 WITH SCORE 2536245.184
AT ITER 4268 NEW BEST:: SOT 17362517 SOS 3373090 HAS SOPS 3373090 HAS SOUS 2532575 HAS SOUPS 2532575 WITH SCORE 2535948.09
AT ITER 4270 NEW BEST:: SOT 17362131 SOS 3372318 HAS SOPS 3372318 HAS SOUS 2531558 HAS SOUPS 2531558 WITH SCORE 2534930.318
AT ITER 4273 NEW BEST:: SOT 17362131 SOS 3372318 HAS SOPS 3372318 HAS SOUS 2531358 HAS SOUPS 2531358 WITH SCORE 2534730.318
AT ITER 4274 NEW BEST:: SOT 17361777 SOS 3371964 HAS SOPS 3371964 HAS SOUS 2531004 HAS SOUPS 2531004 WITH SCORE 2534375.964
AT ITER 4284 NEW BEST:: SOT 17361581 SOS 3371768 HAS SOPS 3371768 HAS SOUS 2530808 HAS SOUPS 2530808 WITH SCORE 2534179.768
AT ITER 4294 NEW BEST:: SOT 17360261 SOS 3370444 HAS SOPS 3370444 HAS SOUS 2529484 HAS SOUPS 2529484 WITH SCORE 2532854.444
AT ITER 4306 NEW BEST:: SOT 17360261 SOS 3374358 HAS SOPS 3374358 HAS SOUS 2529317 HAS SOUPS 2529317 WITH SCORE 2532691.358
AT ITER 4322 NEW BEST:: SOT 17360261 SOS 3374358 HAS SOPS 3374358 HAS SOUS 2529207 HAS SOUPS 2529207 WITH SCORE 2532581.358
AT ITER 4360 NEW BEST:: SOT 17359665 SOS 3373752 HAS SOPS 3373752 HAS SOUS 2529006 HAS SOUPS 2529006 WITH SCORE 2532379.752
AT ITER 4376 NEW BEST:: SOT 17359615 SOS 3373652 HAS SOPS 3373652 HAS SOUS 2528906 HAS SOUPS 2528906 WITH SCORE 2532279.652
AT ITER 4395 NEW BEST:: SOT 17359615 SOS 3373652 HAS SOPS 3373652 HAS SOUS 2528223 HAS SOUPS 2528223 WITH SCORE 2531596.652
AT ITER 4402 NEW BEST:: SOT 17359615 SOS 3374187 HAS SOPS 3374187 HAS SOUS 2528222 HAS SOUPS 2528222 WITH SCORE 2531596.187
AT ITER 4409 NEW BEST:: SOT 17358688 SOS 3373761 HAS SOPS 3373761 HAS SOUS 2527786 HAS SOUPS 2527786 WITH SCORE 2531159.761
AT ITER 4426 NEW BEST:: SOT 17358253 SOS 3372891 HAS SOPS 3372891 HAS SOUS 2527345 HAS SOUPS 2527345 WITH SCORE 2530717.891
AT ITER 4451 NEW BEST:: SOT 17357829 SOS 3373315 HAS SOPS 3373315 HAS SOUS 2526497 HAS SOUPS 2526497 WITH SCORE 2529870.315
AT ITER 4508 NEW BEST:: SOT 17357829 SOS 3373315 HAS SOPS 3373315 HAS SOUS 2526438 HAS SOUPS 2526438 WITH SCORE 2529811.315
AT ITER 4509 NEW BEST:: SOT 17357829 SOS 3372375 HAS SOPS 3372375 HAS SOUS 2526438 HAS SOUPS 2526438 WITH SCORE 2529810.375
AT ITER 4556 NEW BEST:: SOT 17356483 SOS 3369070 HAS SOPS 3369070 HAS SOUS 2525102 HAS SOUPS 2525102 WITH SCORE 2528471.07
AT ITER 4558 NEW BEST:: SOT 17356483 SOS 3368808 HAS SOPS 3368808 HAS SOUS 2524971 HAS SOUPS 2524971 WITH SCORE 2528339.808
AT ITER 4576 NEW BEST:: SOT 17353516 SOS 3366236 HAS SOPS 3366236 HAS SOUS 2521742 HAS SOUPS 2521742 WITH SCORE 2525108.236
AT ITER 4591 NEW BEST:: SOT 17353146 SOS 3365779 HAS SOPS 3365779 HAS SOUS 2521288 HAS SOUPS 2521288 WITH SCORE 2524653.779
AT ITER 4594 NEW BEST:: SOT 17353113 SOS 3365713 HAS SOPS 3365713 HAS SOUS 2521255 HAS SOUPS 2521255 WITH SCORE 2524620.713
AT ITER 4622 NEW BEST:: SOT 17352572 SOS 3365172 HAS SOPS 3365172 HAS SOUS 2520714 HAS SOUPS 2520714 WITH SCORE 2524079.172
AT ITER 4649 NEW BEST:: SOT 17352540 SOS 3363542 HAS SOPS 3363542 HAS SOUS 2520160 HAS SOUPS 2520160 WITH SCORE 2523523.542
AT ITER 4650 NEW BEST:: SOT 17352539 SOS 3363540 HAS SOPS 3363540 HAS SOUS 2520159 HAS SOUPS 2520159 WITH SCORE 2523522.54
AT ITER 4681 NEW BEST:: SOT 17352160 SOS 3362782 HAS SOPS 3362782 HAS SOUS 2520151 HAS SOUPS 2520151 WITH SCORE 2523513.782
AT ITER 4721 NEW BEST:: SOT 17352392 SOS 3363246 HAS SOPS 3363246 HAS SOUS 2519723 HAS SOUPS 2519723 WITH SCORE 2523086.246
AT ITER 4727 NEW BEST:: SOT 17352316 SOS 3363093 HAS SOPS 3363093 HAS SOUS 2519570 HAS SOUPS 2519570 WITH SCORE 2522933.093
AT ITER 4769 NEW BEST:: SOT 17352176 SOS 3363229 HAS SOPS 3363229 HAS SOUS 2519569 HAS SOUPS 2519569 WITH SCORE 2522932.229
AT ITER 4782 NEW BEST:: SOT 17351520 SOS 3361917 HAS SOPS 3361917 HAS SOUS 2518586 HAS SOUPS 2518586 WITH SCORE 2521947.917
AT ITER 4794 NEW BEST:: SOT 17350974 SOS 3361427 HAS SOPS 3361427 HAS SOUS 2518096 HAS SOUPS 2518096 WITH SCORE 2521457.427
AT ITER 4801 NEW BEST:: SOT 17350660 SOS 3360799 HAS SOPS 3360799 HAS SOUS 2517468 HAS SOUPS 2517468 WITH SCORE 2520828.799
AT ITER 4803 NEW BEST:: SOT 17347470 SOS 3358383 HAS SOPS 3358383 HAS SOUS 2514536 HAS SOUPS 2514536 WITH SCORE 2517894.383
AT ITER 4815 NEW BEST:: SOT 17346496 SOS 3357896 HAS SOPS 3357896 HAS SOUS 2514049 HAS SOUPS 2514049 WITH SCORE 2517406.896
AT ITER 4819 NEW BEST:: SOT 17345663 SOS 3356230 HAS SOPS 3356230 HAS SOUS 2512383 HAS SOUPS 2512383 WITH SCORE 2515739.23
AT ITER 4844 NEW BEST:: SOT 17345645 SOS 3356194 HAS SOPS 3356194 HAS SOUS 2512365 HAS SOUPS 2512365 WITH SCORE 2515721.194
AT ITER 4854 NEW BEST:: SOT 17345165 SOS 3355234 HAS SOPS 3355234 HAS SOUS 2511234 HAS SOUPS 2511234 WITH SCORE 2514589.234
AT ITER 4895 NEW BEST:: SOT 17345052 SOS 3355008 HAS SOPS 3355008 HAS SOUS 2511008 HAS SOUPS 2511008 WITH SCORE 2514363.008
AT ITER 4897 NEW BEST:: SOT 17344857 SOS 3354962 HAS SOPS 3354962 HAS SOUS 2510889 HAS SOUPS 2510889 WITH SCORE 2514243.962
AT ITER 4904 NEW BEST:: SOT 17344034 SOS 3353316 HAS SOPS 3353316 HAS SOUS 2510066 HAS SOUPS 2510066 WITH SCORE 2513419.316
AT ITER 4939 NEW BEST:: SOT 17343743 SOS 3353596 HAS SOPS 3353596 HAS SOUS 2509916 HAS SOUPS 2509916 WITH SCORE 2513269.596
AT ITER 4941 NEW BEST:: SOT 17343742 SOS 3353594 HAS SOPS 3353594 HAS SOUS 2509914 HAS SOUPS 2509914 WITH SCORE 2513267.594
AT ITER 4943 NEW BEST:: SOT 17343660 SOS 3353430 HAS SOPS 3353430 HAS SOUS 2509832 HAS SOUPS 2509832 WITH SCORE 2513185.43
AT ITER 4954 NEW BEST:: SOT 17343593 SOS 3353296 HAS SOPS 3353296 HAS SOUS 2509698 HAS SOUPS 2509698 WITH SCORE 2513051.296
AT ITER 4958 NEW BEST:: SOT 17342926 SOS 3351962 HAS SOPS 3351962 HAS SOUS 2508364 HAS SOUPS 2508364 WITH SCORE 2511715.962
AT ITER 4959 NEW BEST:: SOT 17342223 SOS 3352962 HAS SOPS 3352962 HAS SOUS 2508225 HAS SOUPS 2508225 WITH SCORE 2511577.962
AT ITER 4966 NEW BEST:: SOT 17342222 SOS 3352960 HAS SOPS 3352960 HAS SOUS 2508223 HAS SOUPS 2508223 WITH SCORE 2511575.96
AT ITER 4969 NEW BEST:: SOT 17342004 SOS 3352851 HAS SOPS 3352851 HAS SOUS 2508114 HAS SOUPS 2508114 WITH SCORE 2511466.851
AT ITER 4973 NEW BEST:: SOT 17341512 SOS 3352807 HAS SOPS 3352807 HAS SOUS 2507859 HAS SOUPS 2507859 WITH SCORE 2511211.807
AT ITER 4997 NEW BEST:: SOT 17341511 SOS 3352615 HAS SOPS 3352615 HAS SOUS 2507667 HAS SOUPS 2507667 WITH SCORE 2511019.615
AT ITER 4998 NEW BEST:: SOT 17341165 SOS 3352005 HAS SOPS 3352005 HAS SOUS 2506760 HAS SOUPS 2506760 WITH SCORE 2510112.005
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-00 (EG( potential( (tk(P2019)) <= (tk(P2389)) )))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-01 (AX( (AU( potential( (tk(P1912)) <= (tk(P3923)) ),potential( ( 2 ) <= (tk(P1423)) ) ))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-02 ( (! (! potential( ( 1 ) <= (tk(P2090)) ))) | (AG( (EX( potential( (tk(P3005)) <= (tk(P2246)) ))))) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-03 (AF(( (EF(potential( ( 2 ) <= (tk(P1045)) ))) & (AF(potential( (tk(P592)) <= (tk(P1256)) ))) )))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-04 ( (AG( ( potential( (tk(P3215)) <= (tk(P1330)) ) & potential( (tk(P2079)) <= (tk(P4258)) ) ))) & ( ( (AF(potential( (tk(P1816)) <= (tk(P526)) ))) | (! ( potential( ( 3 ) <= (tk(P2076)) ) | potential( ( 2 ) <= (tk(P1183)) ) )) ) | (! (! ( potential( (tk(P3686)) <= (tk(P6)) ) | potential( (tk(P3554)) <= (tk(P3850)) ) ))) ) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-05 ( (! (AF(potential( ( 3 ) <= (tk(P1433)) )))) | (AG( (! (! potential( (tk(P3734)) <= (tk(P329)) ))))) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-06 ( ( (AF(( potential( ( 1 ) <= (tk(P1135)) ) | potential( (tk(P1707)) <= (tk(P2420)) ) ))) | (EU( potential( (tk(P3288)) <= (tk(P291)) ),potential( (tk(P387)) <= (tk(P1349)) ) )) ) & (AF(potential( ( 2 ) <= (tk(P997)) ))) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-07 (AF((AG( potential( ( 2 ) <= (tk(P1374)) )))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-08 (! (AF((AG( potential( (tk(P2743)) <= (tk(P2615)) ))))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-09 (AF((EG( potential( ( 1 ) <= (tk(P4448)) )))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-10 (AG( (! (EG( potential( (tk(P3427)) <= (tk(P998)) ))))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-11 (AF(( (! ( potential( ( 3 ) <= (tk(P361)) ) | potential( (tk(P451)) <= (tk(P2811)) ) )) & ( ( potential( (tk(P1015)) <= (tk(P1124)) ) | potential( (tk(P1113)) <= (tk(P437)) ) ) & ( potential( (tk(P1362)) <= (tk(P3596)) ) & potential( ( 1 ) <= (tk(P1543)) ) ) ) )))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-12 ( ( (EF((! potential( ( 1 ) <= (tk(P287)) )))) | ( ( (! potential( ( 3 ) <= (tk(P3863)) )) | (! potential( (tk(P1934)) <= (tk(P3630)) )) ) & (EF(potential( (tk(P440)) <= (tk(P2015)) ))) ) ) & (EF(potential( ( 1 ) <= (tk(P1107)) ))) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-13 ( ( (AG( potential( (tk(P1268)) <= (tk(P4101)) ))) & (AU( potential( ( 3 ) <= (tk(P2550)) ),potential( (tk(P4082)) <= (tk(P2503)) ) )) ) & (! ( (EG( potential( (tk(P249)) <= (tk(P2735)) ))) | (! (! potential( ( 3 ) <= (tk(P4066)) ))) )) )
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-14 (EX( (EF(( potential( ( 3 ) <= (tk(P3825)) ) & potential( (tk(P676)) <= (tk(P56)) ) )))))
PROPERTY: DLCflexbar-PT-2b-CTLCardinality-15 ( (AF(( ( potential( ( 2 ) <= (tk(P3053)) ) & potential( (tk(P2240)) <= (tk(P1477)) ) ) & ( potential( ( 3 ) <= (tk(P1360)) ) | potential( (tk(P2406)) <= (tk(P3079)) ) ) ))) & (EG( ( ( potential( (tk(P3900)) <= (tk(P1554)) ) & potential( (tk(P2535)) <= (tk(P224)) ) ) | ( potential( (tk(P3782)) <= (tk(P1474)) ) | potential( (tk(P2452)) <= (tk(P962)) ) ) ))) )

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-2b"
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-2b, 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-158902542100347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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