About the Execution of smart for DLCflexbar-PT-2b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.520 | 3600000.00 | 3600050.00 | 0.00 | [undef] | Time out reached |
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-158902542100348.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100348
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-2b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589113585390
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2b
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: 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 57 NEW BEST:: SOT 17497103 SOS 3463435 HAS SOPS 3463435 HAS SOUS 2666834 HAS SOUPS 2666834 WITH SCORE 2670297.435
AT ITER 84 NEW BEST:: SOT 17497043 SOS 3463405 HAS SOPS 3463405 HAS SOUS 2666804 HAS SOUPS 2666804 WITH SCORE 2670267.405
AT ITER 87 NEW BEST:: SOT 17492189 SOS 3491458 HAS SOPS 3491458 HAS SOUS 2664365 HAS SOUPS 2664365 WITH SCORE 2667856.458
AT ITER 91 NEW BEST:: SOT 17491551 SOS 3490816 HAS SOPS 3490816 HAS SOUS 2663726 HAS SOUPS 2663726 WITH SCORE 2667216.816
AT ITER 111 NEW BEST:: SOT 17491550 SOS 3490814 HAS SOPS 3490814 HAS SOUS 2663724 HAS SOUPS 2663724 WITH SCORE 2667214.814
AT ITER 114 NEW BEST:: SOT 17492198 SOS 3489256 HAS SOPS 3489256 HAS SOUS 2663195 HAS SOUPS 2663195 WITH SCORE 2666684.256
AT ITER 152 NEW BEST:: SOT 17492082 SOS 3489025 HAS SOPS 3489025 HAS SOUS 2662964 HAS SOUPS 2662964 WITH SCORE 2666453.025
AT ITER 196 NEW BEST:: SOT 17492082 SOS 3489025 HAS SOPS 3489025 HAS SOUS 2661973 HAS SOUPS 2661973 WITH SCORE 2665462.025
AT ITER 199 NEW BEST:: SOT 17490970 SOS 3487357 HAS SOPS 3487357 HAS SOUS 2660305 HAS SOUPS 2660305 WITH SCORE 2663792.357
AT ITER 200 NEW BEST:: SOT 17490699 SOS 3486815 HAS SOPS 3486815 HAS SOUS 2659002 HAS SOUPS 2659002 WITH SCORE 2662488.815
AT ITER 203 NEW BEST:: SOT 17490186 SOS 3484250 HAS SOPS 3484250 HAS SOUS 2657976 HAS SOUPS 2657976 WITH SCORE 2661460.25
AT ITER 204 NEW BEST:: SOT 17490185 SOS 3485948 HAS SOPS 3485948 HAS SOUS 2657973 HAS SOUPS 2657973 WITH SCORE 2661458.948
AT ITER 208 NEW BEST:: SOT 17490095 SOS 3485768 HAS SOPS 3485768 HAS SOUS 2657793 HAS SOUPS 2657793 WITH SCORE 2661278.768
AT ITER 260 NEW BEST:: SOT 17489845 SOS 3485514 HAS SOPS 3485514 HAS SOUS 2657542 HAS SOUPS 2657542 WITH SCORE 2661027.514
AT ITER 265 NEW BEST:: SOT 17488472 SOS 3485063 HAS SOPS 3485063 HAS SOUS 2656970 HAS SOUPS 2656970 WITH SCORE 2660455.063
AT ITER 266 NEW BEST:: SOT 17487903 SOS 3484634 HAS SOPS 3484634 HAS SOUS 2656541 HAS SOUPS 2656541 WITH SCORE 2660025.634
AT ITER 296 NEW BEST:: SOT 17487918 SOS 3484664 HAS SOPS 3484664 HAS SOUS 2655515 HAS SOUPS 2655515 WITH SCORE 2658999.664
AT ITER 321 NEW BEST:: SOT 17487007 SOS 3483749 HAS SOPS 3483749 HAS SOUS 2654603 HAS SOUPS 2654603 WITH SCORE 2658086.749
AT ITER 383 NEW BEST:: SOT 17486982 SOS 3483700 HAS SOPS 3483700 HAS SOUS 2654554 HAS SOUPS 2654554 WITH SCORE 2658037.7
AT ITER 406 NEW BEST:: SOT 17486859 SOS 3483894 HAS SOPS 3483894 HAS SOUS 2654308 HAS SOUPS 2654308 WITH SCORE 2657791.894
AT ITER 418 NEW BEST:: SOT 17487072 SOS 3484320 HAS SOPS 3484320 HAS SOUS 2654216 HAS SOUPS 2654216 WITH SCORE 2657700.32
AT ITER 437 NEW BEST:: SOT 17486736 SOS 3483984 HAS SOPS 3483984 HAS SOUS 2653880 HAS SOUPS 2653880 WITH SCORE 2657363.984
AT ITER 450 NEW BEST:: SOT 17486735 SOS 3483982 HAS SOPS 3483982 HAS SOUS 2653878 HAS SOUPS 2653878 WITH SCORE 2657361.982
AT ITER 475 NEW BEST:: SOT 17486711 SOS 3483910 HAS SOPS 3483910 HAS SOUS 2653830 HAS SOUPS 2653830 WITH SCORE 2657313.91
AT ITER 481 NEW BEST:: SOT 17486633 SOS 3483832 HAS SOPS 3483832 HAS SOUS 2653674 HAS SOUPS 2653674 WITH SCORE 2657157.832
AT ITER 483 NEW BEST:: SOT 17486858 SOS 3483830 HAS SOPS 3483830 HAS SOUS 2653673 HAS SOUPS 2653673 WITH SCORE 2657156.83
AT ITER 491 NEW BEST:: SOT 17486858 SOS 3483501 HAS SOPS 3483501 HAS SOUS 2653344 HAS SOUPS 2653344 WITH SCORE 2656827.501
AT ITER 504 NEW BEST:: SOT 17486857 SOS 3483499 HAS SOPS 3483499 HAS SOUS 2653342 HAS SOUPS 2653342 WITH SCORE 2656825.499
AT ITER 513 NEW BEST:: SOT 17486332 SOS 3482974 HAS SOPS 3482974 HAS SOUS 2652817 HAS SOUPS 2652817 WITH SCORE 2656299.974
AT ITER 540 NEW BEST:: SOT 17485864 SOS 3482544 HAS SOPS 3482544 HAS SOUS 2652349 HAS SOUPS 2652349 WITH SCORE 2655831.544
AT ITER 548 NEW BEST:: SOT 17484826 SOS 3482397 HAS SOPS 3482397 HAS SOUS 2652202 HAS SOUPS 2652202 WITH SCORE 2655684.397
AT ITER 554 NEW BEST:: SOT 17482788 SOS 3479491 HAS SOPS 3479491 HAS SOUS 2649941 HAS SOUPS 2649941 WITH SCORE 2653420.491
AT ITER 558 NEW BEST:: SOT 17482788 SOS 3479491 HAS SOPS 3479491 HAS SOUS 2649940 HAS SOUPS 2649940 WITH SCORE 2653419.491
AT ITER 566 NEW BEST:: SOT 17482533 SOS 3478981 HAS SOPS 3478981 HAS SOUS 2649341 HAS SOUPS 2649341 WITH SCORE 2652819.981
AT ITER 571 NEW BEST:: SOT 17482045 SOS 3478955 HAS SOPS 3478955 HAS SOUS 2649315 HAS SOUPS 2649315 WITH SCORE 2652793.955
AT ITER 576 NEW BEST:: SOT 17482116 SOS 3478602 HAS SOPS 3478602 HAS SOUS 2648962 HAS SOUPS 2648962 WITH SCORE 2652440.602
AT ITER 587 NEW BEST:: SOT 17482115 SOS 3478600 HAS SOPS 3478600 HAS SOUS 2648960 HAS SOUPS 2648960 WITH SCORE 2652438.6
AT ITER 594 NEW BEST:: SOT 17481130 SOS 3486285 HAS SOPS 3486285 HAS SOUS 2648595 HAS SOUPS 2648595 WITH SCORE 2652081.285
AT ITER 596 NEW BEST:: SOT 17480757 SOS 3485538 HAS SOPS 3485538 HAS SOUS 2647848 HAS SOUPS 2647848 WITH SCORE 2651333.538
AT ITER 599 NEW BEST:: SOT 17480245 SOS 3485026 HAS SOPS 3485026 HAS SOUS 2646906 HAS SOUPS 2646906 WITH SCORE 2650391.026
AT ITER 607 NEW BEST:: SOT 17479680 SOS 3485587 HAS SOPS 3485587 HAS SOUS 2645775 HAS SOUPS 2645775 WITH SCORE 2649260.587
AT ITER 619 NEW BEST:: SOT 17479580 SOS 3485387 HAS SOPS 3485387 HAS SOUS 2645575 HAS SOUPS 2645575 WITH SCORE 2649060.387
AT ITER 620 NEW BEST:: SOT 17479141 SOS 3484944 HAS SOPS 3484944 HAS SOUS 2645135 HAS SOUPS 2645135 WITH SCORE 2648619.944
AT ITER 668 NEW BEST:: SOT 17478912 SOS 3484486 HAS SOPS 3484486 HAS SOUS 2644677 HAS SOUPS 2644677 WITH SCORE 2648161.486
AT ITER 671 NEW BEST:: SOT 17478912 SOS 3484486 HAS SOPS 3484486 HAS SOUS 2644569 HAS SOUPS 2644569 WITH SCORE 2648053.486
AT ITER 681 NEW BEST:: SOT 17478546 SOS 3479330 HAS SOPS 3479330 HAS SOUS 2643064 HAS SOUPS 2643064 WITH SCORE 2646543.33
AT ITER 687 NEW BEST:: SOT 17477199 SOS 3480626 HAS SOPS 3480626 HAS SOUS 2642752 HAS SOUPS 2642752 WITH SCORE 2646232.626
AT ITER 688 NEW BEST:: SOT 17477199 SOS 3479717 HAS SOPS 3479717 HAS SOUS 2642449 HAS SOUPS 2642449 WITH SCORE 2645928.717
AT ITER 713 NEW BEST:: SOT 17476675 SOS 3479214 HAS SOPS 3479214 HAS SOUS 2641946 HAS SOUPS 2641946 WITH SCORE 2645425.214
AT ITER 715 NEW BEST:: SOT 17476161 SOS 3478945 HAS SOPS 3478945 HAS SOUS 2641680 HAS SOUPS 2641680 WITH SCORE 2645158.945
AT ITER 717 NEW BEST:: SOT 17474966 SOS 3477496 HAS SOPS 3477496 HAS SOUS 2639889 HAS SOUPS 2639889 WITH SCORE 2643366.496
AT ITER 730 NEW BEST:: SOT 17473868 SOS 3476025 HAS SOPS 3476025 HAS SOUS 2639057 HAS SOUPS 2639057 WITH SCORE 2642533.025
AT ITER 735 NEW BEST:: SOT 17473394 SOS 3475918 HAS SOPS 3475918 HAS SOUS 2638766 HAS SOUPS 2638766 WITH SCORE 2642241.918
AT ITER 779 NEW BEST:: SOT 17472701 SOS 3474532 HAS SOPS 3474532 HAS SOUS 2637380 HAS SOUPS 2637380 WITH SCORE 2640854.532
AT ITER 796 NEW BEST:: SOT 17472762 SOS 3474226 HAS SOPS 3474226 HAS SOUS 2637258 HAS SOUPS 2637258 WITH SCORE 2640732.226
AT ITER 808 NEW BEST:: SOT 17471003 SOS 3473644 HAS SOPS 3473644 HAS SOUS 2636900 HAS SOUPS 2636900 WITH SCORE 2640373.644
AT ITER 825 NEW BEST:: SOT 17470152 SOS 3471942 HAS SOPS 3471942 HAS SOUS 2635420 HAS SOUPS 2635420 WITH SCORE 2638891.942
AT ITER 828 NEW BEST:: SOT 17469231 SOS 3471017 HAS SOPS 3471017 HAS SOUS 2634498 HAS SOUPS 2634498 WITH SCORE 2637969.017
AT ITER 854 NEW BEST:: SOT 17467909 SOS 3469893 HAS SOPS 3469893 HAS SOUS 2633274 HAS SOUPS 2633274 WITH SCORE 2636743.893
AT ITER 859 NEW BEST:: SOT 17467419 SOS 3469590 HAS SOPS 3469590 HAS SOUS 2632971 HAS SOUPS 2632971 WITH SCORE 2636440.59
AT ITER 881 NEW BEST:: SOT 17467319 SOS 3469390 HAS SOPS 3469390 HAS SOUS 2632771 HAS SOUPS 2632771 WITH SCORE 2636240.39
AT ITER 887 NEW BEST:: SOT 17467149 SOS 3469050 HAS SOPS 3469050 HAS SOUS 2632431 HAS SOUPS 2632431 WITH SCORE 2635900.05
AT ITER 906 NEW BEST:: SOT 17458568 SOS 3523430 HAS SOPS 3523430 HAS SOUS 2630493 HAS SOUPS 2630493 WITH SCORE 2634016.43
AT ITER 910 NEW BEST:: SOT 17457374 SOS 3522833 HAS SOPS 3522833 HAS SOUS 2629896 HAS SOUPS 2629896 WITH SCORE 2633418.833
AT ITER 918 NEW BEST:: SOT 17456354 SOS 3521473 HAS SOPS 3521473 HAS SOUS 2628983 HAS SOUPS 2628983 WITH SCORE 2632504.473
AT ITER 995 NEW BEST:: SOT 17456000 SOS 3520143 HAS SOPS 3520143 HAS SOUS 2628379 HAS SOUPS 2628379 WITH SCORE 2631899.143
AT ITER 1015 NEW BEST:: SOT 17455999 SOS 3520141 HAS SOPS 3520141 HAS SOUS 2628377 HAS SOUPS 2628377 WITH SCORE 2631897.141
AT ITER 1016 NEW BEST:: SOT 17455998 SOS 3520139 HAS SOPS 3520139 HAS SOUS 2628375 HAS SOUPS 2628375 WITH SCORE 2631895.139
AT ITER 1028 NEW BEST:: SOT 17455798 SOS 3520039 HAS SOPS 3520039 HAS SOUS 2628275 HAS SOUPS 2628275 WITH SCORE 2631795.039
AT ITER 1042 NEW BEST:: SOT 17456261 SOS 3520965 HAS SOPS 3520965 HAS SOUS 2628219 HAS SOUPS 2628219 WITH SCORE 2631739.965
AT ITER 1068 NEW BEST:: SOT 17455639 SOS 3517855 HAS SOPS 3517855 HAS SOUS 2626975 HAS SOUPS 2626975 WITH SCORE 2630492.855
AT ITER 1078 NEW BEST:: SOT 17454253 SOS 3517162 HAS SOPS 3517162 HAS SOUS 2626282 HAS SOUPS 2626282 WITH SCORE 2629799.162
AT ITER 1091 NEW BEST:: SOT 17453765 SOS 3517035 HAS SOPS 3517035 HAS SOUS 2626077 HAS SOUPS 2626077 WITH SCORE 2629594.035
AT ITER 1098 NEW BEST:: SOT 17453765 SOS 3516958 HAS SOPS 3516958 HAS SOUS 2626077 HAS SOUPS 2626077 WITH SCORE 2629593.958
AT ITER 1129 NEW BEST:: SOT 17453177 SOS 3516366 HAS SOPS 3516366 HAS SOUS 2625488 HAS SOUPS 2625488 WITH SCORE 2629004.366
AT ITER 1144 NEW BEST:: SOT 17452652 SOS 3515841 HAS SOPS 3515841 HAS SOUS 2624963 HAS SOUPS 2624963 WITH SCORE 2628478.841
AT ITER 1149 NEW BEST:: SOT 17452126 SOS 3515672 HAS SOPS 3515672 HAS SOUS 2624794 HAS SOUPS 2624794 WITH SCORE 2628309.672
AT ITER 1162 NEW BEST:: SOT 17452112 SOS 3515644 HAS SOPS 3515644 HAS SOUS 2624778 HAS SOUPS 2624778 WITH SCORE 2628293.644
AT ITER 1165 NEW BEST:: SOT 17452112 SOS 3515907 HAS SOPS 3515907 HAS SOUS 2624777 HAS SOUPS 2624777 WITH SCORE 2628292.907
AT ITER 1191 NEW BEST:: SOT 17452112 SOS 3515836 HAS SOPS 3515836 HAS SOUS 2624706 HAS SOUPS 2624706 WITH SCORE 2628221.836
AT ITER 1206 NEW BEST:: SOT 17452130 SOS 3515872 HAS SOPS 3515872 HAS SOUS 2624616 HAS SOUPS 2624616 WITH SCORE 2628131.872
AT ITER 1230 NEW BEST:: SOT 17451764 SOS 3515140 HAS SOPS 3515140 HAS SOUS 2623884 HAS SOUPS 2623884 WITH SCORE 2627399.14
AT ITER 1246 NEW BEST:: SOT 17450373 SOS 3514476 HAS SOPS 3514476 HAS SOUS 2623199 HAS SOUPS 2623199 WITH SCORE 2626713.476
AT ITER 1255 NEW BEST:: SOT 17448498 SOS 3510726 HAS SOPS 3510726 HAS SOUS 2621324 HAS SOUPS 2621324 WITH SCORE 2624834.726
AT ITER 1261 NEW BEST:: SOT 17447472 SOS 3510616 HAS SOPS 3510616 HAS SOUS 2620298 HAS SOUPS 2620298 WITH SCORE 2623808.616
AT ITER 1263 NEW BEST:: SOT 17447204 SOS 3510348 HAS SOPS 3510348 HAS SOUS 2620030 HAS SOUPS 2620030 WITH SCORE 2623540.348
AT ITER 1279 NEW BEST:: SOT 17446152 SOS 3509822 HAS SOPS 3509822 HAS SOUS 2619504 HAS SOUPS 2619504 WITH SCORE 2623013.822
AT ITER 1309 NEW BEST:: SOT 17436951 SOS 3556825 HAS SOPS 3556825 HAS SOUS 2616287 HAS SOUPS 2616287 WITH SCORE 2619843.825
AT ITER 1317 NEW BEST:: SOT 17436409 SOS 3556279 HAS SOPS 3556279 HAS SOUS 2615744 HAS SOUPS 2615744 WITH SCORE 2619300.279
AT ITER 1364 NEW BEST:: SOT 17436199 SOS 3555229 HAS SOPS 3555229 HAS SOUS 2615324 HAS SOUPS 2615324 WITH SCORE 2618879.229
AT ITER 1386 NEW BEST:: SOT 17435369 SOS 3554781 HAS SOPS 3554781 HAS SOUS 2614876 HAS SOUPS 2614876 WITH SCORE 2618430.781
AT ITER 1406 NEW BEST:: SOT 17435209 SOS 3554461 HAS SOPS 3554461 HAS SOUS 2614556 HAS SOUPS 2614556 WITH SCORE 2618110.461
AT ITER 1418 NEW BEST:: SOT 17435209 SOS 3554162 HAS SOPS 3554162 HAS SOUS 2614556 HAS SOUPS 2614556 WITH SCORE 2618110.162
AT ITER 1423 NEW BEST:: SOT 17434047 SOS 3553581 HAS SOPS 3553581 HAS SOUS 2613975 HAS SOUPS 2613975 WITH SCORE 2617528.581
AT ITER 1446 NEW BEST:: SOT 17434025 SOS 3553567 HAS SOPS 3553567 HAS SOUS 2613963 HAS SOUPS 2613963 WITH SCORE 2617516.567
AT ITER 1452 NEW BEST:: SOT 17433675 SOS 3553392 HAS SOPS 3553392 HAS SOUS 2613788 HAS SOUPS 2613788 WITH SCORE 2617341.392
AT ITER 1539 NEW BEST:: SOT 17433576 SOS 3553194 HAS SOPS 3553194 HAS SOUS 2613561 HAS SOUPS 2613561 WITH SCORE 2617114.194
AT ITER 1547 NEW BEST:: SOT 17433575 SOS 3553192 HAS SOPS 3553192 HAS SOUS 2613559 HAS SOUPS 2613559 WITH SCORE 2617112.192
AT ITER 1553 NEW BEST:: SOT 17433304 SOS 3551837 HAS SOPS 3551837 HAS SOUS 2613017 HAS SOUPS 2613017 WITH SCORE 2616568.837
AT ITER 1563 NEW BEST:: SOT 17432962 SOS 3551220 HAS SOPS 3551220 HAS SOUS 2612535 HAS SOUPS 2612535 WITH SCORE 2616086.22
AT ITER 1570 NEW BEST:: SOT 17432854 SOS 3551112 HAS SOPS 3551112 HAS SOUS 2612427 HAS SOUPS 2612427 WITH SCORE 2615978.112
AT ITER 1603 NEW BEST:: SOT 17432648 SOS 3546674 HAS SOPS 3546674 HAS SOUS 2611625 HAS SOUPS 2611625 WITH SCORE 2615171.674
AT ITER 1607 NEW BEST:: SOT 17432648 SOS 3546637 HAS SOPS 3546637 HAS SOUS 2611588 HAS SOUPS 2611588 WITH SCORE 2615134.637
AT ITER 1617 NEW BEST:: SOT 17432590 SOS 3546521 HAS SOPS 3546521 HAS SOUS 2611472 HAS SOUPS 2611472 WITH SCORE 2615018.521
AT ITER 1632 NEW BEST:: SOT 17427677 SOS 3544073 HAS SOPS 3544073 HAS SOUS 2608667 HAS SOUPS 2608667 WITH SCORE 2612211.073
AT ITER 1641 NEW BEST:: SOT 17427570 SOS 3543956 HAS SOPS 3543956 HAS SOUS 2608559 HAS SOUPS 2608559 WITH SCORE 2612102.956
AT ITER 1663 NEW BEST:: SOT 17427037 SOS 3543809 HAS SOPS 3543809 HAS SOUS 2608412 HAS SOUPS 2608412 WITH SCORE 2611955.809
AT ITER 1716 NEW BEST:: SOT 17426984 SOS 3543703 HAS SOPS 3543703 HAS SOUS 2608306 HAS SOUPS 2608306 WITH SCORE 2611849.703
AT ITER 1718 NEW BEST:: SOT 17426827 SOS 3543388 HAS SOPS 3543388 HAS SOUS 2607991 HAS SOUPS 2607991 WITH SCORE 2611534.388
AT ITER 1744 NEW BEST:: SOT 17426818 SOS 3543385 HAS SOPS 3543385 HAS SOUS 2607990 HAS SOUPS 2607990 WITH SCORE 2611533.385
AT ITER 1745 NEW BEST:: SOT 17426818 SOS 3542980 HAS SOPS 3542980 HAS SOUS 2607990 HAS SOUPS 2607990 WITH SCORE 2611532.98
AT ITER 1750 NEW BEST:: SOT 17426818 SOS 3541519 HAS SOPS 3541519 HAS SOUS 2607990 HAS SOUPS 2607990 WITH SCORE 2611531.519
AT ITER 1752 NEW BEST:: SOT 17426947 SOS 3541363 HAS SOPS 3541363 HAS SOUS 2607834 HAS SOUPS 2607834 WITH SCORE 2611375.363
AT ITER 1769 NEW BEST:: SOT 17425151 SOS 3538740 HAS SOPS 3538740 HAS SOUS 2605497 HAS SOUPS 2605497 WITH SCORE 2609035.74
AT ITER 1772 NEW BEST:: SOT 17425344 SOS 3538502 HAS SOPS 3538502 HAS SOUS 2605259 HAS SOUPS 2605259 WITH SCORE 2608797.502
AT ITER 1773 NEW BEST:: SOT 17425344 SOS 3539205 HAS SOPS 3539205 HAS SOUS 2605258 HAS SOUPS 2605258 WITH SCORE 2608797.205
AT ITER 1798 NEW BEST:: SOT 17425344 SOS 3539130 HAS SOPS 3539130 HAS SOUS 2605258 HAS SOUPS 2605258 WITH SCORE 2608797.13
AT ITER 1819 NEW BEST:: SOT 17425310 SOS 3539062 HAS SOPS 3539062 HAS SOUS 2605224 HAS SOUPS 2605224 WITH SCORE 2608763.062
AT ITER 1831 NEW BEST:: SOT 17424892 SOS 3538644 HAS SOPS 3538644 HAS SOUS 2604806 HAS SOUPS 2604806 WITH SCORE 2608344.644
AT ITER 1842 NEW BEST:: SOT 17424892 SOS 3538602 HAS SOPS 3538602 HAS SOUS 2604764 HAS SOUPS 2604764 WITH SCORE 2608302.602
AT ITER 1861 NEW BEST:: SOT 17424751 SOS 3538461 HAS SOPS 3538461 HAS SOUS 2604764 HAS SOUPS 2604764 WITH SCORE 2608302.461
AT ITER 1872 NEW BEST:: SOT 17423952 SOS 3537658 HAS SOPS 3537658 HAS SOUS 2603964 HAS SOUPS 2603964 WITH SCORE 2607501.658
AT ITER 1873 NEW BEST:: SOT 17424241 SOS 3537260 HAS SOPS 3537260 HAS SOUS 2603908 HAS SOUPS 2603908 WITH SCORE 2607445.26
AT ITER 1875 NEW BEST:: SOT 17424238 SOS 3537254 HAS SOPS 3537254 HAS SOUS 2603902 HAS SOUPS 2603902 WITH SCORE 2607439.254
AT ITER 1878 NEW BEST:: SOT 17423743 SOS 3536942 HAS SOPS 3536942 HAS SOUS 2603593 HAS SOUPS 2603593 WITH SCORE 2607129.942
AT ITER 1882 NEW BEST:: SOT 17423743 SOS 3536810 HAS SOPS 3536810 HAS SOUS 2603461 HAS SOUPS 2603461 WITH SCORE 2606997.81
AT ITER 1889 NEW BEST:: SOT 17423743 SOS 3537205 HAS SOPS 3537205 HAS SOUS 2603460 HAS SOUPS 2603460 WITH SCORE 2606997.205
AT ITER 1894 NEW BEST:: SOT 17423450 SOS 3536619 HAS SOPS 3536619 HAS SOUS 2602874 HAS SOUPS 2602874 WITH SCORE 2606410.619
AT ITER 1923 NEW BEST:: SOT 17423127 SOS 3537695 HAS SOPS 3537695 HAS SOUS 2602760 HAS SOUPS 2602760 WITH SCORE 2606297.695
AT ITER 1938 NEW BEST:: SOT 17423032 SOS 3537983 HAS SOPS 3537983 HAS SOUS 2602665 HAS SOUPS 2602665 WITH SCORE 2606202.983
AT ITER 1946 NEW BEST:: SOT 17422416 SOS 3537431 HAS SOPS 3537431 HAS SOUS 2602116 HAS SOUPS 2602116 WITH SCORE 2605653.431
AT ITER 2015 NEW BEST:: SOT 17421690 SOS 3536705 HAS SOPS 3536705 HAS SOUS 2601390 HAS SOUPS 2601390 WITH SCORE 2604926.705
AT ITER 2021 NEW BEST:: SOT 17421442 SOS 3536147 HAS SOPS 3536147 HAS SOUS 2601018 HAS SOUPS 2601018 WITH SCORE 2604554.147
AT ITER 2050 NEW BEST:: SOT 17422131 SOS 3534311 HAS SOPS 3534311 HAS SOUS 2600973 HAS SOUPS 2600973 WITH SCORE 2604507.311
AT ITER 2058 NEW BEST:: SOT 17422130 SOS 3534309 HAS SOPS 3534309 HAS SOUS 2600971 HAS SOUPS 2600971 WITH SCORE 2604505.309
AT ITER 2059 NEW BEST:: SOT 17422130 SOS 3533887 HAS SOPS 3533887 HAS SOUS 2600760 HAS SOUPS 2600760 WITH SCORE 2604293.887
AT ITER 2102 NEW BEST:: SOT 17421137 SOS 3534468 HAS SOPS 3534468 HAS SOUS 2600443 HAS SOUPS 2600443 WITH SCORE 2603977.468
AT ITER 2105 NEW BEST:: SOT 17420792 SOS 3534746 HAS SOPS 3534746 HAS SOUS 2600409 HAS SOUPS 2600409 WITH SCORE 2603943.746
AT ITER 2121 NEW BEST:: SOT 17420594 SOS 3534350 HAS SOPS 3534350 HAS SOUS 2599549 HAS SOUPS 2599549 WITH SCORE 2603083.35
AT ITER 2125 NEW BEST:: SOT 17420535 SOS 3534232 HAS SOPS 3534232 HAS SOUS 2599431 HAS SOUPS 2599431 WITH SCORE 2602965.232
AT ITER 2142 NEW BEST:: SOT 17420177 SOS 3534590 HAS SOPS 3534590 HAS SOUS 2598849 HAS SOUPS 2598849 WITH SCORE 2602383.59
AT ITER 2143 NEW BEST:: SOT 17416397 SOS 3535178 HAS SOPS 3535178 HAS SOUS 2597399 HAS SOUPS 2597399 WITH SCORE 2600934.178
AT ITER 2151 NEW BEST:: SOT 17416397 SOS 3535663 HAS SOPS 3535663 HAS SOUS 2597398 HAS SOUPS 2597398 WITH SCORE 2600933.663
AT ITER 2169 NEW BEST:: SOT 17415958 SOS 3535220 HAS SOPS 3535220 HAS SOUS 2596958 HAS SOUPS 2596958 WITH SCORE 2600493.22
AT ITER 2170 NEW BEST:: SOT 17414610 SOS 3534270 HAS SOPS 3534270 HAS SOUS 2595421 HAS SOUPS 2595421 WITH SCORE 2598955.27
AT ITER 2175 NEW BEST:: SOT 17414610 SOS 3534719 HAS SOPS 3534719 HAS SOUS 2595420 HAS SOUPS 2595420 WITH SCORE 2598954.719
AT ITER 2180 NEW BEST:: SOT 17413634 SOS 3533743 HAS SOPS 3533743 HAS SOUS 2594444 HAS SOUPS 2594444 WITH SCORE 2597977.743
AT ITER 2186 NEW BEST:: SOT 17413108 SOS 3533476 HAS SOPS 3533476 HAS SOUS 2594180 HAS SOUPS 2594180 WITH SCORE 2597713.476
AT ITER 2194 NEW BEST:: SOT 17413006 SOS 3533272 HAS SOPS 3533272 HAS SOUS 2593976 HAS SOUPS 2593976 WITH SCORE 2597509.272
AT ITER 2195 NEW BEST:: SOT 17413006 SOS 3533272 HAS SOPS 3533272 HAS SOUS 2592956 HAS SOUPS 2592956 WITH SCORE 2596489.272
AT ITER 2207 NEW BEST:: SOT 17411614 SOS 3532576 HAS SOPS 3532576 HAS SOUS 2592260 HAS SOUPS 2592260 WITH SCORE 2595792.576
AT ITER 2246 NEW BEST:: SOT 17411154 SOS 3530736 HAS SOPS 3530736 HAS SOUS 2591340 HAS SOUPS 2591340 WITH SCORE 2594870.736
AT ITER 2249 NEW BEST:: SOT 17411153 SOS 3530734 HAS SOPS 3530734 HAS SOUS 2591338 HAS SOUPS 2591338 WITH SCORE 2594868.734
AT ITER 2250 NEW BEST:: SOT 17410078 SOS 3530384 HAS SOPS 3530384 HAS SOUS 2590807 HAS SOUPS 2590807 WITH SCORE 2594337.384
AT ITER 2262 NEW BEST:: SOT 17410035 SOS 3530340 HAS SOPS 3530340 HAS SOUS 2590763 HAS SOUPS 2590763 WITH SCORE 2594293.34
AT ITER 2282 NEW BEST:: SOT 17409968 SOS 3530206 HAS SOPS 3530206 HAS SOUS 2590629 HAS SOUPS 2590629 WITH SCORE 2594159.206
AT ITER 2285 NEW BEST:: SOT 17408817 SOS 3530016 HAS SOPS 3530016 HAS SOUS 2590182 HAS SOUPS 2590182 WITH SCORE 2593712.016
AT ITER 2286 NEW BEST:: SOT 17407797 SOS 3528655 HAS SOPS 3528655 HAS SOUS 2589352 HAS SOUPS 2589352 WITH SCORE 2592880.655
AT ITER 2375 NEW BEST:: SOT 17407677 SOS 3528655 HAS SOPS 3528655 HAS SOUS 2589112 HAS SOUPS 2589112 WITH SCORE 2592640.655
AT ITER 2382 NEW BEST:: SOT 17407664 SOS 3528629 HAS SOPS 3528629 HAS SOUS 2589086 HAS SOUPS 2589086 WITH SCORE 2592614.629
AT ITER 2389 NEW BEST:: SOT 17407360 SOS 3533807 HAS SOPS 3533807 HAS SOUS 2588477 HAS SOUPS 2588477 WITH SCORE 2592010.807
AT ITER 2399 NEW BEST:: SOT 17407300 SOS 3532995 HAS SOPS 3532995 HAS SOUS 2588222 HAS SOUPS 2588222 WITH SCORE 2591754.995
AT ITER 2411 NEW BEST:: SOT 17406821 SOS 3532037 HAS SOPS 3532037 HAS SOUS 2587370 HAS SOUPS 2587370 WITH SCORE 2590902.037
AT ITER 2415 NEW BEST:: SOT 17406817 SOS 3532029 HAS SOPS 3532029 HAS SOUS 2587362 HAS SOUPS 2587362 WITH SCORE 2590894.029
AT ITER 2420 NEW BEST:: SOT 17406201 SOS 3530365 HAS SOPS 3530365 HAS SOUS 2586484 HAS SOUPS 2586484 WITH SCORE 2590014.365
AT ITER 2437 NEW BEST:: SOT 17405873 SOS 3530355 HAS SOPS 3530355 HAS SOUS 2586483 HAS SOUPS 2586483 WITH SCORE 2590013.355
AT ITER 2452 NEW BEST:: SOT 17405782 SOS 3530173 HAS SOPS 3530173 HAS SOUS 2586301 HAS SOUPS 2586301 WITH SCORE 2589831.173
AT ITER 2465 NEW BEST:: SOT 17403318 SOS 3525247 HAS SOPS 3525247 HAS SOUS 2584692 HAS SOUPS 2584692 WITH SCORE 2588217.247
AT ITER 2493 NEW BEST:: SOT 17402469 SOS 3521002 HAS SOPS 3521002 HAS SOUS 2582994 HAS SOUPS 2582994 WITH SCORE 2586515.002
AT ITER 2495 NEW BEST:: SOT 17402329 SOS 3520722 HAS SOPS 3520722 HAS SOUS 2582913 HAS SOUPS 2582913 WITH SCORE 2586433.722
AT ITER 2504 NEW BEST:: SOT 17402328 SOS 3520720 HAS SOPS 3520720 HAS SOUS 2582911 HAS SOUPS 2582911 WITH SCORE 2586431.72
AT ITER 2545 NEW BEST:: SOT 17400524 SOS 3517112 HAS SOPS 3517112 HAS SOUS 2581107 HAS SOUPS 2581107 WITH SCORE 2584624.112
AT ITER 2548 NEW BEST:: SOT 17399670 SOS 3517036 HAS SOPS 3517036 HAS SOUS 2581031 HAS SOUPS 2581031 WITH SCORE 2584548.036
AT ITER 2553 NEW BEST:: SOT 17399670 SOS 3516602 HAS SOPS 3516602 HAS SOUS 2581031 HAS SOUPS 2581031 WITH SCORE 2584547.602
AT ITER 2584 NEW BEST:: SOT 17399506 SOS 3516516 HAS SOPS 3516516 HAS SOUS 2580948 HAS SOUPS 2580948 WITH SCORE 2584464.516
AT ITER 2588 NEW BEST:: SOT 17399656 SOS 3516241 HAS SOPS 3516241 HAS SOUS 2580673 HAS SOUPS 2580673 WITH SCORE 2584189.241
AT ITER 2610 NEW BEST:: SOT 17399217 SOS 3515798 HAS SOPS 3515798 HAS SOUS 2580233 HAS SOUPS 2580233 WITH SCORE 2583748.798
AT ITER 2611 NEW BEST:: SOT 17398099 SOS 3513798 HAS SOPS 3513798 HAS SOUS 2579422 HAS SOUPS 2579422 WITH SCORE 2582935.798
AT ITER 2617 NEW BEST:: SOT 17398099 SOS 3512766 HAS SOPS 3512766 HAS SOUS 2579422 HAS SOUPS 2579422 WITH SCORE 2582934.766
AT ITER 2648 NEW BEST:: SOT 17398005 SOS 3512579 HAS SOPS 3512579 HAS SOUS 2579235 HAS SOUPS 2579235 WITH SCORE 2582747.579
AT ITER 2687 NEW BEST:: SOT 17397914 SOS 3512397 HAS SOPS 3512397 HAS SOUS 2579143 HAS SOUPS 2579143 WITH SCORE 2582655.397
AT ITER 2689 NEW BEST:: SOT 17397856 SOS 3512281 HAS SOPS 3512281 HAS SOUS 2578924 HAS SOUPS 2578924 WITH SCORE 2582436.281
AT ITER 2696 NEW BEST:: SOT 17396506 SOS 3510481 HAS SOPS 3510481 HAS SOUS 2578271 HAS SOUPS 2578271 WITH SCORE 2581781.481
AT ITER 2726 NEW BEST:: SOT 17396307 SOS 3510676 HAS SOPS 3510676 HAS SOUS 2578270 HAS SOUPS 2578270 WITH SCORE 2581780.676
AT ITER 2738 NEW BEST:: SOT 17391063 SOS 3508448 HAS SOPS 3508448 HAS SOUS 2575386 HAS SOUPS 2575386 WITH SCORE 2578894.448
AT ITER 2742 NEW BEST:: SOT 17390609 SOS 3507540 HAS SOPS 3507540 HAS SOUS 2574478 HAS SOUPS 2574478 WITH SCORE 2577985.54
AT ITER 2759 NEW BEST:: SOT 17389309 SOS 3505816 HAS SOPS 3505816 HAS SOUS 2572527 HAS SOUPS 2572527 WITH SCORE 2576032.816
AT ITER 2806 NEW BEST:: SOT 17388530 SOS 3505876 HAS SOPS 3505876 HAS SOUS 2571899 HAS SOUPS 2571899 WITH SCORE 2575404.876
AT ITER 2815 NEW BEST:: SOT 17388530 SOS 3505876 HAS SOPS 3505876 HAS SOUS 2571752 HAS SOUPS 2571752 WITH SCORE 2575257.876
AT ITER 2847 NEW BEST:: SOT 17387964 SOS 3504744 HAS SOPS 3504744 HAS SOUS 2570620 HAS SOUPS 2570620 WITH SCORE 2574124.744
AT ITER 2851 NEW BEST:: SOT 17387883 SOS 3504663 HAS SOPS 3504663 HAS SOUS 2570539 HAS SOUPS 2570539 WITH SCORE 2574043.663
AT ITER 2855 NEW BEST:: SOT 17388051 SOS 3504999 HAS SOPS 3504999 HAS SOUS 2570362 HAS SOUPS 2570362 WITH SCORE 2573866.999
AT ITER 2875 NEW BEST:: SOT 17388051 SOS 3504999 HAS SOPS 3504999 HAS SOUS 2570231 HAS SOUPS 2570231 WITH SCORE 2573735.999
AT ITER 2881 NEW BEST:: SOT 17387702 SOS 3505611 HAS SOPS 3505611 HAS SOUS 2569532 HAS SOUPS 2569532 WITH SCORE 2573037.611
AT ITER 2883 NEW BEST:: SOT 17387696 SOS 3505599 HAS SOPS 3505599 HAS SOUS 2569526 HAS SOUPS 2569526 WITH SCORE 2573031.599
AT ITER 2903 NEW BEST:: SOT 17387315 SOS 3505404 HAS SOPS 3505404 HAS SOUS 2569331 HAS SOUPS 2569331 WITH SCORE 2572836.404
AT ITER 2923 NEW BEST:: SOT 17387315 SOS 3505372 HAS SOPS 3505372 HAS SOUS 2569299 HAS SOUPS 2569299 WITH SCORE 2572804.372
AT ITER 2933 NEW BEST:: SOT 17387233 SOS 3505208 HAS SOPS 3505208 HAS SOUS 2568834 HAS SOUPS 2568834 WITH SCORE 2572339.208
AT ITER 2943 NEW BEST:: SOT 17382262 SOS 3509737 HAS SOPS 3509737 HAS SOUS 2567241 HAS SOUPS 2567241 WITH SCORE 2570750.737
AT ITER 2976 NEW BEST:: SOT 17380865 SOS 3509262 HAS SOPS 3509262 HAS SOUS 2566617 HAS SOUPS 2566617 WITH SCORE 2570126.262
AT ITER 3007 NEW BEST:: SOT 17380325 SOS 3509328 HAS SOPS 3509328 HAS SOUS 2566077 HAS SOUPS 2566077 WITH SCORE 2569586.328
AT ITER 3019 NEW BEST:: SOT 17379915 SOS 3509318 HAS SOPS 3509318 HAS SOUS 2566067 HAS SOUPS 2566067 WITH SCORE 2569576.318
AT ITER 3036 NEW BEST:: SOT 17379108 SOS 3478796 HAS SOPS 3478796 HAS SOUS 2564453 HAS SOUPS 2564453 WITH SCORE 2567931.796
AT ITER 3064 NEW BEST:: SOT 17378328 SOS 3477259 HAS SOPS 3477259 HAS SOUS 2563602 HAS SOUPS 2563602 WITH SCORE 2567079.259
AT ITER 3065 NEW BEST:: SOT 17377683 SOS 3475969 HAS SOPS 3475969 HAS SOUS 2562312 HAS SOUPS 2562312 WITH SCORE 2565787.969
AT ITER 3089 NEW BEST:: SOT 17377592 SOS 3475787 HAS SOPS 3475787 HAS SOUS 2562130 HAS SOUPS 2562130 WITH SCORE 2565605.787
AT ITER 3117 NEW BEST:: SOT 17377591 SOS 3475615 HAS SOPS 3475615 HAS SOUS 2561958 HAS SOUPS 2561958 WITH SCORE 2565433.615
AT ITER 3144 NEW BEST:: SOT 17377591 SOS 3475580 HAS SOPS 3475580 HAS SOUS 2561958 HAS SOUPS 2561958 WITH SCORE 2565433.58
AT ITER 3171 NEW BEST:: SOT 17377413 SOS 3475393 HAS SOPS 3475393 HAS SOUS 2561692 HAS SOUPS 2561692 WITH SCORE 2565167.393
AT ITER 3179 NEW BEST:: SOT 17377409 SOS 3475385 HAS SOPS 3475385 HAS SOUS 2561222 HAS SOUPS 2561222 WITH SCORE 2564697.385
AT ITER 3190 NEW BEST:: SOT 17377409 SOS 3475018 HAS SOPS 3475018 HAS SOUS 2560855 HAS SOUPS 2560855 WITH SCORE 2564330.018
AT ITER 3215 NEW BEST:: SOT 17377408 SOS 3475016 HAS SOPS 3475016 HAS SOUS 2560853 HAS SOUPS 2560853 WITH SCORE 2564328.016
AT ITER 3240 NEW BEST:: SOT 17377065 SOS 3474330 HAS SOPS 3474330 HAS SOUS 2560167 HAS SOUPS 2560167 WITH SCORE 2563641.33
AT ITER 3246 NEW BEST:: SOT 17377065 SOS 3474330 HAS SOPS 3474330 HAS SOUS 2559507 HAS SOUPS 2559507 WITH SCORE 2562981.33
AT ITER 3264 NEW BEST:: SOT 17376989 SOS 3474261 HAS SOPS 3474261 HAS SOUS 2559436 HAS SOUPS 2559436 WITH SCORE 2562910.261
AT ITER 3277 NEW BEST:: SOT 17376482 SOS 3473247 HAS SOPS 3473247 HAS SOUS 2558879 HAS SOUPS 2558879 WITH SCORE 2562352.247
AT ITER 3287 NEW BEST:: SOT 17376218 SOS 3473557 HAS SOPS 3473557 HAS SOUS 2558875 HAS SOUPS 2558875 WITH SCORE 2562348.557
AT ITER 3326 NEW BEST:: SOT 17376014 SOS 3473149 HAS SOPS 3473149 HAS SOUS 2558170 HAS SOUPS 2558170 WITH SCORE 2561643.149
AT ITER 3347 NEW BEST:: SOT 17376014 SOS 3473149 HAS SOPS 3473149 HAS SOUS 2557579 HAS SOUPS 2557579 WITH SCORE 2561052.149
AT ITER 3357 NEW BEST:: SOT 17375662 SOS 3472445 HAS SOPS 3472445 HAS SOUS 2557227 HAS SOUPS 2557227 WITH SCORE 2560699.445
AT ITER 3360 NEW BEST:: SOT 17375411 SOS 3472194 HAS SOPS 3472194 HAS SOUS 2556976 HAS SOUPS 2556976 WITH SCORE 2560448.194
AT ITER 3368 NEW BEST:: SOT 17375332 SOS 3472036 HAS SOPS 3472036 HAS SOUS 2556897 HAS SOUPS 2556897 WITH SCORE 2560369.036
AT ITER 3382 NEW BEST:: SOT 17374747 SOS 3470866 HAS SOPS 3470866 HAS SOUS 2556309 HAS SOUPS 2556309 WITH SCORE 2559779.866
AT ITER 3397 NEW BEST:: SOT 17374617 SOS 3471122 HAS SOPS 3471122 HAS SOUS 2556178 HAS SOUPS 2556178 WITH SCORE 2559649.122
AT ITER 3400 NEW BEST:: SOT 17374192 SOS 3470898 HAS SOPS 3470898 HAS SOUS 2555954 HAS SOUPS 2555954 WITH SCORE 2559424.898
AT ITER 3413 NEW BEST:: SOT 17373566 SOS 3470272 HAS SOPS 3470272 HAS SOUS 2555328 HAS SOUPS 2555328 WITH SCORE 2558798.272
AT ITER 3452 NEW BEST:: SOT 17373606 SOS 3469881 HAS SOPS 3469881 HAS SOUS 2554937 HAS SOUPS 2554937 WITH SCORE 2558406.881
AT ITER 3457 NEW BEST:: SOT 17373532 SOS 3469733 HAS SOPS 3469733 HAS SOUS 2554937 HAS SOUPS 2554937 WITH SCORE 2558406.733
AT ITER 3515 NEW BEST:: SOT 17373531 SOS 3469731 HAS SOPS 3469731 HAS SOUS 2554935 HAS SOUPS 2554935 WITH SCORE 2558404.731
AT ITER 3533 NEW BEST:: SOT 17373348 SOS 3424321 HAS SOPS 3424321 HAS SOUS 2554183 HAS SOUPS 2554183 WITH SCORE 2557607.321
AT ITER 3550 NEW BEST:: SOT 17373348 SOS 3424293 HAS SOPS 3424293 HAS SOUS 2554155 HAS SOUPS 2554155 WITH SCORE 2557579.293
AT ITER 3558 NEW BEST:: SOT 17372844 SOS 3423285 HAS SOPS 3423285 HAS SOUS 2553147 HAS SOUPS 2553147 WITH SCORE 2556570.285
AT ITER 3576 NEW BEST:: SOT 17372985 SOS 3423567 HAS SOPS 3423567 HAS SOUS 2552974 HAS SOUPS 2552974 WITH SCORE 2556397.567
AT ITER 3598 NEW BEST:: SOT 17372728 SOS 3424090 HAS SOPS 3424090 HAS SOUS 2552946 HAS SOUPS 2552946 WITH SCORE 2556370.09
AT ITER 3599 NEW BEST:: SOT 17371802 SOS 3417837 HAS SOPS 3417837 HAS SOUS 2551558 HAS SOUPS 2551558 WITH SCORE 2554975.837
AT ITER 3664 NEW BEST:: SOT 17370453 SOS 3417434 HAS SOPS 3417434 HAS SOUS 2550974 HAS SOUPS 2550974 WITH SCORE 2554391.434
AT ITER 3703 NEW BEST:: SOT 17370141 SOS 3417122 HAS SOPS 3417122 HAS SOUS 2550662 HAS SOUPS 2550662 WITH SCORE 2554079.122
AT ITER 3713 NEW BEST:: SOT 17370106 SOS 3417052 HAS SOPS 3417052 HAS SOUS 2550592 HAS SOUPS 2550592 WITH SCORE 2554009.052
AT ITER 3724 NEW BEST:: SOT 17370106 SOS 3416987 HAS SOPS 3416987 HAS SOUS 2550527 HAS SOUPS 2550527 WITH SCORE 2553943.987
AT ITER 3735 NEW BEST:: SOT 17369751 SOS 3416277 HAS SOPS 3416277 HAS SOUS 2549817 HAS SOUPS 2549817 WITH SCORE 2553233.277
AT ITER 3738 NEW BEST:: SOT 17369411 SOS 3411772 HAS SOPS 3411772 HAS SOUS 2549137 HAS SOUPS 2549137 WITH SCORE 2552548.772
AT ITER 3782 NEW BEST:: SOT 17369696 SOS 3411801 HAS SOPS 3411801 HAS SOUS 2549056 HAS SOUPS 2549056 WITH SCORE 2552467.801
AT ITER 3798 NEW BEST:: SOT 17369633 SOS 3411675 HAS SOPS 3411675 HAS SOUS 2548993 HAS SOUPS 2548993 WITH SCORE 2552404.675
AT ITER 3824 NEW BEST:: SOT 17369849 SOS 3411061 HAS SOPS 3411061 HAS SOUS 2548812 HAS SOUPS 2548812 WITH SCORE 2552223.061
AT ITER 3830 NEW BEST:: SOT 17368901 SOS 3413326 HAS SOPS 3413326 HAS SOUS 2548507 HAS SOUPS 2548507 WITH SCORE 2551920.326
AT ITER 3840 NEW BEST:: SOT 17368525 SOS 3412574 HAS SOPS 3412574 HAS SOUS 2547755 HAS SOUPS 2547755 WITH SCORE 2551167.574
AT ITER 3843 NEW BEST:: SOT 17368553 SOS 3412630 HAS SOPS 3412630 HAS SOUS 2547321 HAS SOUPS 2547321 WITH SCORE 2550733.63
AT ITER 3887 NEW BEST:: SOT 17368520 SOS 3412564 HAS SOPS 3412564 HAS SOUS 2547288 HAS SOUPS 2547288 WITH SCORE 2550700.564
AT ITER 3913 NEW BEST:: SOT 17368301 SOS 3412506 HAS SOPS 3412506 HAS SOUS 2547230 HAS SOUPS 2547230 WITH SCORE 2550642.506
AT ITER 3947 NEW BEST:: SOT 17367785 SOS 3411474 HAS SOPS 3411474 HAS SOUS 2546198 HAS SOUPS 2546198 WITH SCORE 2549609.474
AT ITER 3961 NEW BEST:: SOT 17367062 SOS 3410744 HAS SOPS 3410744 HAS SOUS 2545874 HAS SOUPS 2545874 WITH SCORE 2549284.744
AT ITER 3996 NEW BEST:: SOT 17366819 SOS 3410258 HAS SOPS 3410258 HAS SOUS 2545388 HAS SOUPS 2545388 WITH SCORE 2548798.258
AT ITER 4011 NEW BEST:: SOT 17366448 SOS 3408403 HAS SOPS 3408403 HAS SOUS 2544646 HAS SOUPS 2544646 WITH SCORE 2548054.403
AT ITER 4026 NEW BEST:: SOT 17366448 SOS 3408403 HAS SOPS 3408403 HAS SOUS 2544645 HAS SOUPS 2544645 WITH SCORE 2548053.403
AT ITER 4032 NEW BEST:: SOT 17365884 SOS 3407931 HAS SOPS 3407931 HAS SOUS 2544155 HAS SOUPS 2544155 WITH SCORE 2547562.931
AT ITER 4034 NEW BEST:: SOT 17365597 SOS 3407804 HAS SOPS 3407804 HAS SOUS 2544017 HAS SOUPS 2544017 WITH SCORE 2547424.804
AT ITER 4052 NEW BEST:: SOT 17365597 SOS 3407632 HAS SOPS 3407632 HAS SOUS 2543931 HAS SOUPS 2543931 WITH SCORE 2547338.632
AT ITER 4053 NEW BEST:: SOT 17365151 SOS 3407102 HAS SOPS 3407102 HAS SOUS 2543485 HAS SOUPS 2543485 WITH SCORE 2546892.102
AT ITER 4056 NEW BEST:: SOT 17365017 SOS 3406834 HAS SOPS 3406834 HAS SOUS 2543351 HAS SOUPS 2543351 WITH SCORE 2546757.834
AT ITER 4069 NEW BEST:: SOT 17364970 SOS 3406740 HAS SOPS 3406740 HAS SOUS 2543257 HAS SOUPS 2543257 WITH SCORE 2546663.74
AT ITER 4091 NEW BEST:: SOT 17364094 SOS 3404988 HAS SOPS 3404988 HAS SOUS 2541505 HAS SOUPS 2541505 WITH SCORE 2544909.988
AT ITER 4102 NEW BEST:: SOT 17364277 SOS 3404611 HAS SOPS 3404611 HAS SOUS 2541128 HAS SOUPS 2541128 WITH SCORE 2544532.611
AT ITER 4103 NEW BEST:: SOT 17364241 SOS 3404539 HAS SOPS 3404539 HAS SOUS 2541056 HAS SOUPS 2541056 WITH SCORE 2544460.539
AT ITER 4114 NEW BEST:: SOT 17363829 SOS 3404127 HAS SOPS 3404127 HAS SOUS 2540644 HAS SOUPS 2540644 WITH SCORE 2544048.127
AT ITER 4125 NEW BEST:: SOT 17357347 SOS 3403236 HAS SOPS 3403236 HAS SOUS 2534948 HAS SOUPS 2534948 WITH SCORE 2538351.236
AT ITER 4135 NEW BEST:: SOT 17357347 SOS 3402581 HAS SOPS 3402581 HAS SOUS 2534948 HAS SOUPS 2534948 WITH SCORE 2538350.581
AT ITER 4160 NEW BEST:: SOT 17357416 SOS 3402926 HAS SOPS 3402926 HAS SOUS 2534879 HAS SOUPS 2534879 WITH SCORE 2538281.926
AT ITER 4188 NEW BEST:: SOT 17355834 SOS 3401932 HAS SOPS 3401932 HAS SOUS 2532963 HAS SOUPS 2532963 WITH SCORE 2536364.932
AT ITER 4215 NEW BEST:: SOT 17355833 SOS 3402892 HAS SOPS 3402892 HAS SOUS 2532960 HAS SOUPS 2532960 WITH SCORE 2536362.892
AT ITER 4224 NEW BEST:: SOT 17355828 SOS 3402882 HAS SOPS 3402882 HAS SOUS 2532955 HAS SOUPS 2532955 WITH SCORE 2536357.882
AT ITER 4287 NEW BEST:: SOT 17355729 SOS 3402684 HAS SOPS 3402684 HAS SOUS 2532757 HAS SOUPS 2532757 WITH SCORE 2536159.684
AT ITER 4292 NEW BEST:: SOT 17355729 SOS 3403052 HAS SOPS 3403052 HAS SOUS 2532756 HAS SOUPS 2532756 WITH SCORE 2536159.052
AT ITER 4313 NEW BEST:: SOT 17355341 SOS 3402276 HAS SOPS 3402276 HAS SOUS 2531980 HAS SOUPS 2531980 WITH SCORE 2535382.276
AT ITER 4332 NEW BEST:: SOT 17355294 SOS 3402135 HAS SOPS 3402135 HAS SOUS 2531886 HAS SOUPS 2531886 WITH SCORE 2535288.135
AT ITER 4350 NEW BEST:: SOT 17355058 SOS 3402017 HAS SOPS 3402017 HAS SOUS 2531768 HAS SOUPS 2531768 WITH SCORE 2535170.017
AT ITER 4352 NEW BEST:: SOT 17355021 SOS 3401795 HAS SOPS 3401795 HAS SOUS 2531657 HAS SOUPS 2531657 WITH SCORE 2535058.795
AT ITER 4355 NEW BEST:: SOT 17354361 SOS 3400970 HAS SOPS 3400970 HAS SOUS 2530832 HAS SOUPS 2530832 WITH SCORE 2534232.97
AT ITER 4375 NEW BEST:: SOT 17354068 SOS 3400441 HAS SOPS 3400441 HAS SOUS 2530480 HAS SOUPS 2530480 WITH SCORE 2533880.441
AT ITER 4404 NEW BEST:: SOT 17354068 SOS 3400423 HAS SOPS 3400423 HAS SOUS 2530471 HAS SOUPS 2530471 WITH SCORE 2533871.423
AT ITER 4444 NEW BEST:: SOT 17354068 SOS 3399319 HAS SOPS 3399319 HAS SOUS 2530195 HAS SOUPS 2530195 WITH SCORE 2533594.319
AT ITER 4447 NEW BEST:: SOT 17353938 SOS 3399059 HAS SOPS 3399059 HAS SOUS 2529935 HAS SOUPS 2529935 WITH SCORE 2533334.059
AT ITER 4451 NEW BEST:: SOT 17353483 SOS 3398885 HAS SOPS 3398885 HAS SOUS 2529480 HAS SOUPS 2529480 WITH SCORE 2532878.885
AT ITER 4452 NEW BEST:: SOT 17353169 SOS 3398257 HAS SOPS 3398257 HAS SOUS 2528499 HAS SOUPS 2528499 WITH SCORE 2531897.257
AT ITER 4453 NEW BEST:: SOT 17353169 SOS 3399189 HAS SOPS 3399189 HAS SOUS 2528498 HAS SOUPS 2528498 WITH SCORE 2531897.189
AT ITER 4468 NEW BEST:: SOT 17352635 SOS 3395910 HAS SOPS 3395910 HAS SOUS 2527430 HAS SOUPS 2527430 WITH SCORE 2530825.91
AT ITER 4499 NEW BEST:: SOT 17352628 SOS 3395896 HAS SOPS 3395896 HAS SOUS 2527423 HAS SOUPS 2527423 WITH SCORE 2530818.896
AT ITER 4505 NEW BEST:: SOT 17352442 SOS 3395524 HAS SOPS 3395524 HAS SOUS 2527051 HAS SOUPS 2527051 WITH SCORE 2530446.524
AT ITER 4509 NEW BEST:: SOT 17352505 SOS 3395650 HAS SOPS 3395650 HAS SOUS 2526923 HAS SOUPS 2526923 WITH SCORE 2530318.65
AT ITER 4515 NEW BEST:: SOT 17352536 SOS 3395642 HAS SOPS 3395642 HAS SOUS 2526915 HAS SOUPS 2526915 WITH SCORE 2530310.642
AT ITER 4553 NEW BEST:: SOT 17352536 SOS 3395476 HAS SOPS 3395476 HAS SOUS 2526915 HAS SOUPS 2526915 WITH SCORE 2530310.476
AT ITER 4599 NEW BEST:: SOT 17352536 SOS 3395532 HAS SOPS 3395532 HAS SOUS 2526914 HAS SOUPS 2526914 WITH SCORE 2530309.532
AT ITER 4613 NEW BEST:: SOT 17352005 SOS 3394470 HAS SOPS 3394470 HAS SOUS 2525852 HAS SOUPS 2525852 WITH SCORE 2529246.47
AT ITER 4634 NEW BEST:: SOT 17352053 SOS 3394566 HAS SOPS 3394566 HAS SOUS 2525412 HAS SOUPS 2525412 WITH SCORE 2528806.566
AT ITER 4636 NEW BEST:: SOT 17351544 SOS 3394100 HAS SOPS 3394100 HAS SOUS 2524946 HAS SOUPS 2524946 WITH SCORE 2528340.1
AT ITER 4674 NEW BEST:: SOT 17351544 SOS 3394100 HAS SOPS 3394100 HAS SOUS 2524945 HAS SOUPS 2524945 WITH SCORE 2528339.1
AT ITER 4679 NEW BEST:: SOT 17351544 SOS 3394858 HAS SOPS 3394858 HAS SOUS 2524944 HAS SOUPS 2524944 WITH SCORE 2528338.858
AT ITER 4696 NEW BEST:: SOT 17351543 SOS 3394856 HAS SOPS 3394856 HAS SOUS 2524942 HAS SOUPS 2524942 WITH SCORE 2528336.856
AT ITER 4710 NEW BEST:: SOT 17351250 SOS 3394270 HAS SOPS 3394270 HAS SOUS 2524356 HAS SOUPS 2524356 WITH SCORE 2527750.27
AT ITER 4724 NEW BEST:: SOT 17351249 SOS 3394268 HAS SOPS 3394268 HAS SOUS 2524354 HAS SOUPS 2524354 WITH SCORE 2527748.268
AT ITER 4728 NEW BEST:: SOT 17351074 SOS 3393918 HAS SOPS 3393918 HAS SOUS 2524004 HAS SOUPS 2524004 WITH SCORE 2527397.918
AT ITER 4738 NEW BEST:: SOT 17351074 SOS 3393917 HAS SOPS 3393917 HAS SOUS 2524003 HAS SOUPS 2524003 WITH SCORE 2527396.917
AT ITER 4775 NEW BEST:: SOT 17350674 SOS 3393729 HAS SOPS 3393729 HAS SOUS 2523815 HAS SOUPS 2523815 WITH SCORE 2527208.729
AT ITER 4795 NEW BEST:: SOT 17350350 SOS 3392757 HAS SOPS 3392757 HAS SOUS 2523329 HAS SOUPS 2523329 WITH SCORE 2526721.757
AT ITER 4805 NEW BEST:: SOT 17349685 SOS 3392667 HAS SOPS 3392667 HAS SOUS 2523239 HAS SOUPS 2523239 WITH SCORE 2526631.667
AT ITER 4810 NEW BEST:: SOT 17349685 SOS 3393414 HAS SOPS 3393414 HAS SOUS 2523238 HAS SOUPS 2523238 WITH SCORE 2526631.414
AT ITER 4826 NEW BEST:: SOT 17349644 SOS 3393373 HAS SOPS 3393373 HAS SOUS 2523238 HAS SOUPS 2523238 WITH SCORE 2526631.373
AT ITER 4845 NEW BEST:: SOT 17349558 SOS 3393201 HAS SOPS 3393201 HAS SOUS 2523066 HAS SOUPS 2523066 WITH SCORE 2526459.201
AT ITER 4849 NEW BEST:: SOT 17349025 SOS 3392220 HAS SOPS 3392220 HAS SOUS 2522085 HAS SOUPS 2522085 WITH SCORE 2525477.22
AT ITER 4880 NEW BEST:: SOT 17348889 SOS 3391948 HAS SOPS 3391948 HAS SOUS 2521813 HAS SOUPS 2521813 WITH SCORE 2525204.948
AT ITER 4883 NEW BEST:: SOT 17348530 SOS 3391640 HAS SOPS 3391640 HAS SOUS 2521275 HAS SOUPS 2521275 WITH SCORE 2524666.64
AT ITER 4892 NEW BEST:: SOT 17348392 SOS 3391364 HAS SOPS 3391364 HAS SOUS 2520999 HAS SOUPS 2520999 WITH SCORE 2524390.364
AT ITER 4910 NEW BEST:: SOT 17347878 SOS 3389786 HAS SOPS 3389786 HAS SOUS 2520219 HAS SOUPS 2520219 WITH SCORE 2523608.786
AT ITER 4925 NEW BEST:: SOT 17347549 SOS 3388141 HAS SOPS 3388141 HAS SOUS 2519561 HAS SOUPS 2519561 WITH SCORE 2522949.141
AT ITER 4930 NEW BEST:: SOT 17345656 SOS 3389065 HAS SOPS 3389065 HAS SOUS 2519048 HAS SOUPS 2519048 WITH SCORE 2522437.065
AT ITER 4931 NEW BEST:: SOT 17345462 SOS 3388677 HAS SOPS 3388677 HAS SOUS 2518660 HAS SOUPS 2518660 WITH SCORE 2522048.677
AT ITER 4939 NEW BEST:: SOT 17345462 SOS 3388558 HAS SOPS 3388558 HAS SOUS 2518660 HAS SOUPS 2518660 WITH SCORE 2522048.558
AT ITER 4949 NEW BEST:: SOT 17345576 SOS 3387646 HAS SOPS 3387646 HAS SOUS 2518439 HAS SOUPS 2518439 WITH SCORE 2521826.646
AT ITER 4969 NEW BEST:: SOT 17345295 SOS 3387927 HAS SOPS 3387927 HAS SOUS 2518158 HAS SOUPS 2518158 WITH SCORE 2521545.927
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-2b-CTLFireability-00 ( (EF( (! (AF( ((potential((tk(P1906)>=1))))))))) | ((potential((tk(P2239)>=1)))) )
PROPERTY: DLCflexbar-PT-2b-CTLFireability-01 ( (AX( (AU( ((potential((tk(P1719)>=1)))) , ((potential((tk(P2376)>=1) & (tk(P3773)>=1)))) )))) | (AF( (EU( ((potential((tk(P1920)>=1)))) , ((potential((tk(P1878)>=1)))) )))) )
PROPERTY: DLCflexbar-PT-2b-CTLFireability-02 ( (EF( ( ( ( ((potential((tk(P1046)>=1) & (tk(P3730)>=1)))) & ((potential((tk(P3894)>=1)))) ) & ( ((potential((tk(P1278)>=1)))) | ((potential((tk(P2805)>=1)))) ) ) | (AG( ((potential((tk(P2599)>=1)))))) ))) | ((potential((tk(P3064)>=1)))) )
PROPERTY: DLCflexbar-PT-2b-CTLFireability-03 (EF( ( ( ( (! ((potential((tk(P2393)>=1) & (tk(P3793)>=1))))) & ((potential((tk(P1036)>=1)))) ) & (AF( ((potential((tk(P1102)>=1)))))) ) | (EX( ( ((potential((tk(P4142)>=1)))) & ((potential((tk(P1383)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-04 (! (AF( ( ( ( ((potential((tk(P473)>=1)))) | ((potential((tk(P3389)>=1)))) ) | ( ((potential((tk(P737)>=1) & (tk(P2870)>=1)))) & ((potential((tk(P1685)>=1) & (tk(P3063)>=1)))) ) ) | ( ( ((potential((tk(P2266)>=1)))) & ((potential((tk(P3714)>=1)))) ) & ( ((potential((tk(P280)>=1)))) & ((potential((tk(P2615)>=1)))) ) ) ))))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-05 (EF( (EX( ((potential((tk(P2362)>=1) & (tk(P3893)>=1))))))))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-06 (! (EU( (! ((potential((tk(P2176)>=1))))) , ((potential((tk(P1103)>=1)))) )))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-07 (EX( (EF( (! (! ((potential((tk(P1287)>=1))))))))))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-08 (AU( ( (! ((potential((tk(P2848)>=1))))) & (AF( ((potential((tk(P159)>=1) & (tk(P3970)>=1)))))) ) , (EU( ((potential((tk(P2626)>=1)))) , ((potential((tk(P2829)>=1)))) )) ))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-09 ( (EX( (AF( ( ((potential((tk(P2350)>=1) & (tk(P3640)>=1)))) & ((potential((tk(P2209)>=1) & (tk(P3273)>=1)))) ))))) & (AG( (! ((potential((tk(P1672)>=1))))))) )
PROPERTY: DLCflexbar-PT-2b-CTLFireability-10 ( ( (AF( ( ((potential((tk(P3538)>=1)))) | ( ((potential((tk(P3765)>=1)))) & ((potential((tk(P3908)>=1)))) ) ))) & (EX( (AF( ((potential((tk(P2228)>=1) & (tk(P4440)>=1)))))))) ) & (EF( ((potential((tk(P4124)>=1)))))) )
PROPERTY: DLCflexbar-PT-2b-CTLFireability-11 (! ( (EF( ( ( ((potential((tk(P797)>=1) & (tk(P4090)>=1)))) & ((potential((tk(P2519)>=1) & (tk(P4053)>=1)))) ) & ( ((potential((tk(P3114)>=1)))) & ((potential((tk(P3862)>=1)))) ) ))) & (EX( (! ( ((potential((tk(P3702)>=1)))) | ((potential((tk(P1664)>=1) & (tk(P4250)>=1)))) )))) ))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-12 (EF( ( ((potential((tk(P2348)>=1) & (tk(P3780)>=1)))) | ( (! (! ((potential((tk(P1995)>=1)))))) & (AX( ((potential((tk(P2273)>=1) & (tk(P3533)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-13 (EG( ( (! ((potential((tk(P1561)>=1))))) & (! ((potential((tk(P2073)>=1))))) )))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-14 (EF( ( (EG( ( ((potential((tk(P2401)>=1)))) & ((potential((tk(P4446)>=1)))) ))) & (! (! ( ((potential((tk(P393)>=1)))) | ((potential((tk(P2470)>=1) & (tk(P4040)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-2b-CTLFireability-15 (EU( (EF( (! ((potential((tk(P2089)>=1) & (tk(P3073)>=1))))))) , ((potential((tk(P1114)>=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="DLCflexbar-PT-2b"
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 DLCflexbar-PT-2b, 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 r048-ebro-158902542100348"
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 [ "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 '
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 ;