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-158902542400604.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 DLCround-PT-12b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400604
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.2K Mar 30 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 10:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 10:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 00:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 DLCround-PT-12b-CTLFireability-00
FORMULA_NAME DLCround-PT-12b-CTLFireability-01
FORMULA_NAME DLCround-PT-12b-CTLFireability-02
FORMULA_NAME DLCround-PT-12b-CTLFireability-03
FORMULA_NAME DLCround-PT-12b-CTLFireability-04
FORMULA_NAME DLCround-PT-12b-CTLFireability-05
FORMULA_NAME DLCround-PT-12b-CTLFireability-06
FORMULA_NAME DLCround-PT-12b-CTLFireability-07
FORMULA_NAME DLCround-PT-12b-CTLFireability-08
FORMULA_NAME DLCround-PT-12b-CTLFireability-09
FORMULA_NAME DLCround-PT-12b-CTLFireability-10
FORMULA_NAME DLCround-PT-12b-CTLFireability-11
FORMULA_NAME DLCround-PT-12b-CTLFireability-12
FORMULA_NAME DLCround-PT-12b-CTLFireability-13
FORMULA_NAME DLCround-PT-12b-CTLFireability-14
FORMULA_NAME DLCround-PT-12b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869272314

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12b
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: 4848 places, 7836 transitions, 22188 arcs.
AT ITER 0 NEW BEST:: SOT 24787847 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3212168 HAS SOUPS 3212168 WITH SCORE 3218201.677
AT ITER 19 NEW BEST:: SOT 24787013 SOS 6032948 HAS SOPS 6032948 HAS SOUS 3211439 HAS SOUPS 3211439 WITH SCORE 3217471.948
AT ITER 65 NEW BEST:: SOT 24786871 SOS 6033090 HAS SOPS 6033090 HAS SOUS 3211297 HAS SOUPS 3211297 WITH SCORE 3217330.09
AT ITER 66 NEW BEST:: SOT 24786871 SOS 6033090 HAS SOPS 6033090 HAS SOUS 3211004 HAS SOUPS 3211004 WITH SCORE 3217037.09
AT ITER 79 NEW BEST:: SOT 24786848 SOS 6033044 HAS SOPS 6033044 HAS SOUS 3210609 HAS SOUPS 3210609 WITH SCORE 3216642.044
AT ITER 142 NEW BEST:: SOT 24786847 SOS 6033042 HAS SOPS 6033042 HAS SOUS 3210607 HAS SOUPS 3210607 WITH SCORE 3216640.042
AT ITER 168 NEW BEST:: SOT 24786847 SOS 6033752 HAS SOPS 6033752 HAS SOUS 3210605 HAS SOUPS 3210605 WITH SCORE 3216638.752
AT ITER 174 NEW BEST:: SOT 24786137 SOS 6035481 HAS SOPS 6035481 HAS SOUS 3209184 HAS SOUPS 3209184 WITH SCORE 3215219.481
AT ITER 186 NEW BEST:: SOT 24784425 SOS 6032913 HAS SOPS 6032913 HAS SOUS 3206616 HAS SOUPS 3206616 WITH SCORE 3212648.913
AT ITER 207 NEW BEST:: SOT 24784027 SOS 6033307 HAS SOPS 6033307 HAS SOUS 3206323 HAS SOUPS 3206323 WITH SCORE 3212356.307
AT ITER 218 NEW BEST:: SOT 24783795 SOS 6032977 HAS SOPS 6032977 HAS SOUS 3205993 HAS SOUPS 3205993 WITH SCORE 3212025.977
AT ITER 232 NEW BEST:: SOT 24783795 SOS 6032739 HAS SOPS 6032739 HAS SOUS 3205874 HAS SOUPS 3205874 WITH SCORE 3211906.739
AT ITER 263 NEW BEST:: SOT 24784997 SOS 6031073 HAS SOPS 6031073 HAS SOUS 3205714 HAS SOUPS 3205714 WITH SCORE 3211745.073
AT ITER 313 NEW BEST:: SOT 24784997 SOS 6031613 HAS SOPS 6031613 HAS SOUS 3205713 HAS SOUPS 3205713 WITH SCORE 3211744.613
AT ITER 315 NEW BEST:: SOT 24784320 SOS 6031603 HAS SOPS 6031603 HAS SOUS 3205574 HAS SOUPS 3205574 WITH SCORE 3211605.603
AT ITER 317 NEW BEST:: SOT 24784040 SOS 6032149 HAS SOPS 6032149 HAS SOUS 3205292 HAS SOUPS 3205292 WITH SCORE 3211324.149
AT ITER 337 NEW BEST:: SOT 24784040 SOS 6032149 HAS SOPS 6032149 HAS SOUS 3204600 HAS SOUPS 3204600 WITH SCORE 3210632.149
AT ITER 348 NEW BEST:: SOT 24784002 SOS 6032111 HAS SOPS 6032111 HAS SOUS 3204562 HAS SOUPS 3204562 WITH SCORE 3210594.111
AT ITER 361 NEW BEST:: SOT 24783800 SOS 6031696 HAS SOPS 6031696 HAS SOUS 3204156 HAS SOUPS 3204156 WITH SCORE 3210187.696
AT ITER 408 NEW BEST:: SOT 24783560 SOS 6031603 HAS SOPS 6031603 HAS SOUS 3204045 HAS SOUPS 3204045 WITH SCORE 3210076.603
AT ITER 413 NEW BEST:: SOT 24780994 SOS 6029037 HAS SOPS 6029037 HAS SOUS 3201479 HAS SOUPS 3201479 WITH SCORE 3207508.037
AT ITER 432 NEW BEST:: SOT 24780531 SOS 6028111 HAS SOPS 6028111 HAS SOUS 3200553 HAS SOUPS 3200553 WITH SCORE 3206581.111
AT ITER 441 NEW BEST:: SOT 24780531 SOS 6029260 HAS SOPS 6029260 HAS SOUS 3199976 HAS SOUPS 3199976 WITH SCORE 3206005.26
AT ITER 446 NEW BEST:: SOT 24779829 SOS 6026485 HAS SOPS 6026485 HAS SOUS 3198685 HAS SOUPS 3198685 WITH SCORE 3204711.485
AT ITER 448 NEW BEST:: SOT 24779829 SOS 6026485 HAS SOPS 6026485 HAS SOUS 3197715 HAS SOUPS 3197715 WITH SCORE 3203741.485
AT ITER 449 NEW BEST:: SOT 24779134 SOS 6026083 HAS SOPS 6026083 HAS SOUS 3197312 HAS SOUPS 3197312 WITH SCORE 3203338.083
AT ITER 451 NEW BEST:: SOT 24778563 SOS 6030080 HAS SOPS 6030080 HAS SOUS 3196741 HAS SOUPS 3196741 WITH SCORE 3202771.08
AT ITER 454 NEW BEST:: SOT 24778352 SOS 6029888 HAS SOPS 6029888 HAS SOUS 3196549 HAS SOUPS 3196549 WITH SCORE 3202578.888
AT ITER 463 NEW BEST:: SOT 24777429 SOS 6028965 HAS SOPS 6028965 HAS SOUS 3194703 HAS SOUPS 3194703 WITH SCORE 3200731.965
AT ITER 466 NEW BEST:: SOT 24777234 SOS 6028843 HAS SOPS 6028843 HAS SOUS 3194541 HAS SOUPS 3194541 WITH SCORE 3200569.843
AT ITER 469 NEW BEST:: SOT 24776365 SOS 6028943 HAS SOPS 6028943 HAS SOUS 3194156 HAS SOUPS 3194156 WITH SCORE 3200184.943
AT ITER 476 NEW BEST:: SOT 24776701 SOS 6035401 HAS SOPS 6035401 HAS SOUS 3193939 HAS SOUPS 3193939 WITH SCORE 3199974.401
AT ITER 492 NEW BEST:: SOT 24776701 SOS 6033562 HAS SOPS 6033562 HAS SOUS 3193939 HAS SOUPS 3193939 WITH SCORE 3199972.562
AT ITER 508 NEW BEST:: SOT 24776701 SOS 6033562 HAS SOPS 6033562 HAS SOUS 3192419 HAS SOUPS 3192419 WITH SCORE 3198452.562
AT ITER 532 NEW BEST:: SOT 24775699 SOS 6032572 HAS SOPS 6032572 HAS SOUS 3191438 HAS SOUPS 3191438 WITH SCORE 3197470.572
AT ITER 537 NEW BEST:: SOT 24775684 SOS 6032542 HAS SOPS 6032542 HAS SOUS 3191408 HAS SOUPS 3191408 WITH SCORE 3197440.542
AT ITER 579 NEW BEST:: SOT 24774148 SOS 6033097 HAS SOPS 6033097 HAS SOUS 3190337 HAS SOUPS 3190337 WITH SCORE 3196370.097
AT ITER 584 NEW BEST:: SOT 24774021 SOS 6032970 HAS SOPS 6032970 HAS SOUS 3190210 HAS SOUPS 3190210 WITH SCORE 3196242.97
AT ITER 589 NEW BEST:: SOT 24773316 SOS 6032684 HAS SOPS 6032684 HAS SOUS 3189924 HAS SOUPS 3189924 WITH SCORE 3195956.684
AT ITER 593 NEW BEST:: SOT 24773316 SOS 6031487 HAS SOPS 6031487 HAS SOUS 3189923 HAS SOUPS 3189923 WITH SCORE 3195954.487
AT ITER 615 NEW BEST:: SOT 24773313 SOS 6031481 HAS SOPS 6031481 HAS SOUS 3189917 HAS SOUPS 3189917 WITH SCORE 3195948.481
AT ITER 654 NEW BEST:: SOT 24772464 SOS 6031125 HAS SOPS 6031125 HAS SOUS 3189067 HAS SOUPS 3189067 WITH SCORE 3195098.125
AT ITER 655 NEW BEST:: SOT 24772602 SOS 6034054 HAS SOPS 6034054 HAS SOUS 3188924 HAS SOUPS 3188924 WITH SCORE 3194958.054
AT ITER 691 NEW BEST:: SOT 24772287 SOS 6033424 HAS SOPS 6033424 HAS SOUS 3187545 HAS SOUPS 3187545 WITH SCORE 3193578.424
AT ITER 743 NEW BEST:: SOT 24769734 SOS 6031087 HAS SOPS 6031087 HAS SOUS 3185208 HAS SOUPS 3185208 WITH SCORE 3191239.087
AT ITER 746 NEW BEST:: SOT 24769576 SOS 6030455 HAS SOPS 6030455 HAS SOUS 3184892 HAS SOUPS 3184892 WITH SCORE 3190922.455
AT ITER 761 NEW BEST:: SOT 24769575 SOS 6030453 HAS SOPS 6030453 HAS SOUS 3184891 HAS SOUPS 3184891 WITH SCORE 3190921.453
AT ITER 785 NEW BEST:: SOT 24769911 SOS 6031125 HAS SOPS 6031125 HAS SOUS 3184471 HAS SOUPS 3184471 WITH SCORE 3190502.125
AT ITER 788 NEW BEST:: SOT 24769911 SOS 6034105 HAS SOPS 6034105 HAS SOUS 3184208 HAS SOUPS 3184208 WITH SCORE 3190242.105
AT ITER 794 NEW BEST:: SOT 24769673 SOS 6033629 HAS SOPS 6033629 HAS SOUS 3183732 HAS SOUPS 3183732 WITH SCORE 3189765.629
AT ITER 815 NEW BEST:: SOT 24768862 SOS 6024708 HAS SOPS 6024708 HAS SOUS 3182110 HAS SOUPS 3182110 WITH SCORE 3188134.708
AT ITER 821 NEW BEST:: SOT 24767872 SOS 6023817 HAS SOPS 6023817 HAS SOUS 3181219 HAS SOUPS 3181219 WITH SCORE 3187242.817
AT ITER 868 NEW BEST:: SOT 24767872 SOS 6023817 HAS SOPS 6023817 HAS SOUS 3181218 HAS SOUPS 3181218 WITH SCORE 3187241.817
AT ITER 893 NEW BEST:: SOT 24767263 SOS 6028556 HAS SOPS 6028556 HAS SOUS 3179999 HAS SOUPS 3179999 WITH SCORE 3186027.556
AT ITER 900 NEW BEST:: SOT 24767031 SOS 6027628 HAS SOPS 6027628 HAS SOUS 3179766 HAS SOUPS 3179766 WITH SCORE 3185793.628
AT ITER 911 NEW BEST:: SOT 24766591 SOS 6028064 HAS SOPS 6028064 HAS SOUS 3179505 HAS SOUPS 3179505 WITH SCORE 3185533.064
AT ITER 922 NEW BEST:: SOT 24766296 SOS 6029648 HAS SOPS 6029648 HAS SOUS 3179179 HAS SOUPS 3179179 WITH SCORE 3185208.648
AT ITER 924 NEW BEST:: SOT 24766220 SOS 6029571 HAS SOPS 6029571 HAS SOUS 3179149 HAS SOUPS 3179149 WITH SCORE 3185178.571
AT ITER 961 NEW BEST:: SOT 24766210 SOS 6029551 HAS SOPS 6029551 HAS SOUS 3179129 HAS SOUPS 3179129 WITH SCORE 3185158.551
AT ITER 975 NEW BEST:: SOT 24765978 SOS 6029431 HAS SOPS 6029431 HAS SOUS 3179012 HAS SOUPS 3179012 WITH SCORE 3185041.431
AT ITER 978 NEW BEST:: SOT 24765978 SOS 6029431 HAS SOPS 6029431 HAS SOUS 3179010 HAS SOUPS 3179010 WITH SCORE 3185039.431
AT ITER 1004 NEW BEST:: SOT 24765978 SOS 6027733 HAS SOPS 6027733 HAS SOUS 3179009 HAS SOUPS 3179009 WITH SCORE 3185036.733
AT ITER 1019 NEW BEST:: SOT 24765952 SOS 6027681 HAS SOPS 6027681 HAS SOUS 3178957 HAS SOUPS 3178957 WITH SCORE 3184984.681
AT ITER 1075 NEW BEST:: SOT 24765910 SOS 6027653 HAS SOPS 6027653 HAS SOUS 3178929 HAS SOUPS 3178929 WITH SCORE 3184956.653
AT ITER 1083 NEW BEST:: SOT 24765809 SOS 6027754 HAS SOPS 6027754 HAS SOUS 3178828 HAS SOUPS 3178828 WITH SCORE 3184855.754
AT ITER 1090 NEW BEST:: SOT 24765541 SOS 6027218 HAS SOPS 6027218 HAS SOUS 3178292 HAS SOUPS 3178292 WITH SCORE 3184319.218
AT ITER 1100 NEW BEST:: SOT 24765072 SOS 6021608 HAS SOPS 6021608 HAS SOUS 3177353 HAS SOUPS 3177353 WITH SCORE 3183374.608
AT ITER 1104 NEW BEST:: SOT 24765219 SOS 6024447 HAS SOPS 6024447 HAS SOUS 3176372 HAS SOUPS 3176372 WITH SCORE 3182396.447
AT ITER 1115 NEW BEST:: SOT 24765219 SOS 6024058 HAS SOPS 6024058 HAS SOUS 3176372 HAS SOUPS 3176372 WITH SCORE 3182396.058
AT ITER 1123 NEW BEST:: SOT 24764824 SOS 6020898 HAS SOPS 6020898 HAS SOUS 3175977 HAS SOUPS 3175977 WITH SCORE 3181997.898
AT ITER 1186 NEW BEST:: SOT 24763836 SOS 6015958 HAS SOPS 6015958 HAS SOUS 3174001 HAS SOUPS 3174001 WITH SCORE 3180016.958
AT ITER 1187 NEW BEST:: SOT 24763836 SOS 6015730 HAS SOPS 6015730 HAS SOUS 3174001 HAS SOUPS 3174001 WITH SCORE 3180016.73
AT ITER 1193 NEW BEST:: SOT 24763385 SOS 6014828 HAS SOPS 6014828 HAS SOUS 3173548 HAS SOUPS 3173548 WITH SCORE 3179562.828
AT ITER 1213 NEW BEST:: SOT 24763385 SOS 6015475 HAS SOPS 6015475 HAS SOUS 3173547 HAS SOUPS 3173547 WITH SCORE 3179562.475
AT ITER 1226 NEW BEST:: SOT 24763385 SOS 6015475 HAS SOPS 6015475 HAS SOUS 3173188 HAS SOUPS 3173188 WITH SCORE 3179203.475
AT ITER 1243 NEW BEST:: SOT 24761994 SOS 6014150 HAS SOPS 6014150 HAS SOUS 3171863 HAS SOUPS 3171863 WITH SCORE 3177877.15
AT ITER 1261 NEW BEST:: SOT 24762126 SOS 6012701 HAS SOPS 6012701 HAS SOUS 3171489 HAS SOUPS 3171489 WITH SCORE 3177501.701
AT ITER 1281 NEW BEST:: SOT 24761941 SOS 6012739 HAS SOPS 6012739 HAS SOUS 3171440 HAS SOUPS 3171440 WITH SCORE 3177452.739
AT ITER 1282 NEW BEST:: SOT 24760941 SOS 6011805 HAS SOPS 6011805 HAS SOUS 3170506 HAS SOUPS 3170506 WITH SCORE 3176517.805
AT ITER 1299 NEW BEST:: SOT 24760778 SOS 6011804 HAS SOPS 6011804 HAS SOUS 3170505 HAS SOUPS 3170505 WITH SCORE 3176516.804
AT ITER 1302 NEW BEST:: SOT 24759944 SOS 6010136 HAS SOPS 6010136 HAS SOUS 3168837 HAS SOUPS 3168837 WITH SCORE 3174847.136
AT ITER 1314 NEW BEST:: SOT 24759944 SOS 6009323 HAS SOPS 6009323 HAS SOUS 3168837 HAS SOUPS 3168837 WITH SCORE 3174846.323
AT ITER 1360 NEW BEST:: SOT 24759941 SOS 6009316 HAS SOPS 6009316 HAS SOUS 3168830 HAS SOUPS 3168830 WITH SCORE 3174839.316
AT ITER 1367 NEW BEST:: SOT 24758824 SOS 6008480 HAS SOPS 6008480 HAS SOUS 3167789 HAS SOUPS 3167789 WITH SCORE 3173797.48
AT ITER 1372 NEW BEST:: SOT 24758372 SOS 6008028 HAS SOPS 6008028 HAS SOUS 3167337 HAS SOUPS 3167337 WITH SCORE 3173345.028
AT ITER 1395 NEW BEST:: SOT 24757767 SOS 6008018 HAS SOPS 6008018 HAS SOUS 3167166 HAS SOUPS 3167166 WITH SCORE 3173174.018
AT ITER 1417 NEW BEST:: SOT 24758143 SOS 6012003 HAS SOPS 6012003 HAS SOUS 3166838 HAS SOUPS 3166838 WITH SCORE 3172850.003
AT ITER 1421 NEW BEST:: SOT 24757306 SOS 6011312 HAS SOPS 6011312 HAS SOUS 3166147 HAS SOUPS 3166147 WITH SCORE 3172158.312
AT ITER 1471 NEW BEST:: SOT 24756626 SOS 6010632 HAS SOPS 6010632 HAS SOUS 3165467 HAS SOUPS 3165467 WITH SCORE 3171477.632
AT ITER 1473 NEW BEST:: SOT 24756626 SOS 6010264 HAS SOPS 6010264 HAS SOUS 3165099 HAS SOUPS 3165099 WITH SCORE 3171109.264
AT ITER 1496 NEW BEST:: SOT 24756490 SOS 6009720 HAS SOPS 6009720 HAS SOUS 3164827 HAS SOUPS 3164827 WITH SCORE 3170836.72
AT ITER 1511 NEW BEST:: SOT 24756489 SOS 6009718 HAS SOPS 6009718 HAS SOUS 3164825 HAS SOUPS 3164825 WITH SCORE 3170834.718
AT ITER 1524 NEW BEST:: SOT 24756198 SOS 6009715 HAS SOPS 6009715 HAS SOUS 3164824 HAS SOUPS 3164824 WITH SCORE 3170833.715
AT ITER 1576 NEW BEST:: SOT 24755465 SOS 6009266 HAS SOPS 6009266 HAS SOUS 3164174 HAS SOUPS 3164174 WITH SCORE 3170183.266
AT ITER 1586 NEW BEST:: SOT 24755465 SOS 6009265 HAS SOPS 6009265 HAS SOUS 3164173 HAS SOUPS 3164173 WITH SCORE 3170182.265
AT ITER 1590 NEW BEST:: SOT 24754415 SOS 6008875 HAS SOPS 6008875 HAS SOUS 3163783 HAS SOUPS 3163783 WITH SCORE 3169791.875
AT ITER 1606 NEW BEST:: SOT 24754415 SOS 6008875 HAS SOPS 6008875 HAS SOUS 3163779 HAS SOUPS 3163779 WITH SCORE 3169787.875
AT ITER 1620 NEW BEST:: SOT 24754126 SOS 6008872 HAS SOPS 6008872 HAS SOUS 3163489 HAS SOUPS 3163489 WITH SCORE 3169497.872
AT ITER 1626 NEW BEST:: SOT 24753662 SOS 6007944 HAS SOPS 6007944 HAS SOUS 3162600 HAS SOUPS 3162600 WITH SCORE 3168607.944
AT ITER 1627 NEW BEST:: SOT 24753379 SOS 6009915 HAS SOPS 6009915 HAS SOUS 3162033 HAS SOUPS 3162033 WITH SCORE 3168042.915
AT ITER 1628 NEW BEST:: SOT 24752876 SOS 6008909 HAS SOPS 6008909 HAS SOUS 3161027 HAS SOUPS 3161027 WITH SCORE 3167035.909
AT ITER 1640 NEW BEST:: SOT 24752851 SOS 6008859 HAS SOPS 6008859 HAS SOUS 3160977 HAS SOUPS 3160977 WITH SCORE 3166985.859
AT ITER 1657 NEW BEST:: SOT 24752369 SOS 6002074 HAS SOPS 6002074 HAS SOUS 3160267 HAS SOUPS 3160267 WITH SCORE 3166269.074
AT ITER 1664 NEW BEST:: SOT 24752255 SOS 6001960 HAS SOPS 6001960 HAS SOUS 3160153 HAS SOUPS 3160153 WITH SCORE 3166154.96
AT ITER 1682 NEW BEST:: SOT 24752255 SOS 6003315 HAS SOPS 6003315 HAS SOUS 3160071 HAS SOUPS 3160071 WITH SCORE 3166074.315
AT ITER 1689 NEW BEST:: SOT 24752179 SOS 6003314 HAS SOPS 6003314 HAS SOUS 3160070 HAS SOUPS 3160070 WITH SCORE 3166073.314
AT ITER 1702 NEW BEST:: SOT 24751472 SOS 6005070 HAS SOPS 6005070 HAS SOUS 3158655 HAS SOUPS 3158655 WITH SCORE 3164660.07
AT ITER 1709 NEW BEST:: SOT 24751027 SOS 6004180 HAS SOPS 6004180 HAS SOUS 3156844 HAS SOUPS 3156844 WITH SCORE 3162848.18
AT ITER 1718 NEW BEST:: SOT 24751027 SOS 6004180 HAS SOPS 6004180 HAS SOUS 3156843 HAS SOUPS 3156843 WITH SCORE 3162847.18
AT ITER 1743 NEW BEST:: SOT 24751027 SOS 6004952 HAS SOPS 6004952 HAS SOUS 3156842 HAS SOUPS 3156842 WITH SCORE 3162846.952
AT ITER 1749 NEW BEST:: SOT 24750841 SOS 6001843 HAS SOPS 6001843 HAS SOUS 3156720 HAS SOUPS 3156720 WITH SCORE 3162721.843
AT ITER 1774 NEW BEST:: SOT 24750841 SOS 6001867 HAS SOPS 6001867 HAS SOUS 3156718 HAS SOUPS 3156718 WITH SCORE 3162719.867
AT ITER 1778 NEW BEST:: SOT 24750914 SOS 6001794 HAS SOPS 6001794 HAS SOUS 3156645 HAS SOUPS 3156645 WITH SCORE 3162646.794
AT ITER 1779 NEW BEST:: SOT 24750220 SOS 5999712 HAS SOPS 5999712 HAS SOUS 3155257 HAS SOUPS 3155257 WITH SCORE 3161256.712
AT ITER 1796 NEW BEST:: SOT 24749591 SOS 5999149 HAS SOPS 5999149 HAS SOUS 3154694 HAS SOUPS 3154694 WITH SCORE 3160693.149
AT ITER 1816 NEW BEST:: SOT 24748958 SOS 5999779 HAS SOPS 5999779 HAS SOUS 3154060 HAS SOUPS 3154060 WITH SCORE 3160059.779
AT ITER 1825 NEW BEST:: SOT 24748958 SOS 5999663 HAS SOPS 5999663 HAS SOUS 3153944 HAS SOUPS 3153944 WITH SCORE 3159943.663
AT ITER 1838 NEW BEST:: SOT 24748806 SOS 5999359 HAS SOPS 5999359 HAS SOUS 3153640 HAS SOUPS 3153640 WITH SCORE 3159639.359
AT ITER 1854 NEW BEST:: SOT 24748806 SOS 5999359 HAS SOPS 5999359 HAS SOUS 3153602 HAS SOUPS 3153602 WITH SCORE 3159601.359
AT ITER 1865 NEW BEST:: SOT 24748806 SOS 5998102 HAS SOPS 5998102 HAS SOUS 3153601 HAS SOUPS 3153601 WITH SCORE 3159599.102
AT ITER 1879 NEW BEST:: SOT 24748638 SOS 5997430 HAS SOPS 5997430 HAS SOUS 3153265 HAS SOUPS 3153265 WITH SCORE 3159262.43
AT ITER 1918 NEW BEST:: SOT 24748642 SOS 5997435 HAS SOPS 5997435 HAS SOUS 3153264 HAS SOUPS 3153264 WITH SCORE 3159261.435
AT ITER 1953 NEW BEST:: SOT 24748602 SOS 5997395 HAS SOPS 5997395 HAS SOUS 3153224 HAS SOUPS 3153224 WITH SCORE 3159221.395
AT ITER 1957 NEW BEST:: SOT 24748602 SOS 5997259 HAS SOPS 5997259 HAS SOUS 3153156 HAS SOUPS 3153156 WITH SCORE 3159153.259
AT ITER 1967 NEW BEST:: SOT 24748375 SOS 5996805 HAS SOPS 5996805 HAS SOUS 3152929 HAS SOUPS 3152929 WITH SCORE 3158925.805
AT ITER 1995 NEW BEST:: SOT 24748375 SOS 5997999 HAS SOPS 5997999 HAS SOUS 3152397 HAS SOUPS 3152397 WITH SCORE 3158394.999
AT ITER 2013 NEW BEST:: SOT 24748375 SOS 5997126 HAS SOPS 5997126 HAS SOUS 3152395 HAS SOUPS 3152395 WITH SCORE 3158392.126
AT ITER 2054 NEW BEST:: SOT 24748199 SOS 5997038 HAS SOPS 5997038 HAS SOUS 3152307 HAS SOUPS 3152307 WITH SCORE 3158304.038
AT ITER 2057 NEW BEST:: SOT 24747971 SOS 5997335 HAS SOPS 5997335 HAS SOUS 3152162 HAS SOUPS 3152162 WITH SCORE 3158159.335
AT ITER 2064 NEW BEST:: SOT 24747971 SOS 5997334 HAS SOPS 5997334 HAS SOUS 3152161 HAS SOUPS 3152161 WITH SCORE 3158158.334
AT ITER 2075 NEW BEST:: SOT 24747854 SOS 5997448 HAS SOPS 5997448 HAS SOUS 3152043 HAS SOUPS 3152043 WITH SCORE 3158040.448
AT ITER 2113 NEW BEST:: SOT 24747832 SOS 5997404 HAS SOPS 5997404 HAS SOUS 3151999 HAS SOUPS 3151999 WITH SCORE 3157996.404
AT ITER 2147 NEW BEST:: SOT 24746438 SOS 5996773 HAS SOPS 5996773 HAS SOUS 3151368 HAS SOUPS 3151368 WITH SCORE 3157364.773
AT ITER 2181 NEW BEST:: SOT 24746226 SOS 5996349 HAS SOPS 5996349 HAS SOUS 3150944 HAS SOUPS 3150944 WITH SCORE 3156940.349
AT ITER 2224 NEW BEST:: SOT 24745545 SOS 5996346 HAS SOPS 5996346 HAS SOUS 3149581 HAS SOUPS 3149581 WITH SCORE 3155577.346
AT ITER 2229 NEW BEST:: SOT 24745545 SOS 5996346 HAS SOPS 5996346 HAS SOUS 3149059 HAS SOUPS 3149059 WITH SCORE 3155055.346
AT ITER 2230 NEW BEST:: SOT 24745235 SOS 5996036 HAS SOPS 5996036 HAS SOUS 3148749 HAS SOUPS 3148749 WITH SCORE 3154745.036
AT ITER 2237 NEW BEST:: SOT 24745576 SOS 5998481 HAS SOPS 5998481 HAS SOUS 3148547 HAS SOUPS 3148547 WITH SCORE 3154545.481
AT ITER 2248 NEW BEST:: SOT 24745576 SOS 5997179 HAS SOPS 5997179 HAS SOUS 3148113 HAS SOUPS 3148113 WITH SCORE 3154110.179
AT ITER 2282 NEW BEST:: SOT 24744474 SOS 5985057 HAS SOPS 5985057 HAS SOUS 3145909 HAS SOUPS 3145909 WITH SCORE 3151894.057
AT ITER 2320 NEW BEST:: SOT 24742790 SOS 5983839 HAS SOPS 5983839 HAS SOUS 3144690 HAS SOUPS 3144690 WITH SCORE 3150673.839
AT ITER 2336 NEW BEST:: SOT 24739340 SOS 5982737 HAS SOPS 5982737 HAS SOUS 3141563 HAS SOUPS 3141563 WITH SCORE 3147545.737
AT ITER 2353 NEW BEST:: SOT 24739048 SOS 5984771 HAS SOPS 5984771 HAS SOUS 3140978 HAS SOUPS 3140978 WITH SCORE 3146962.771
AT ITER 2388 NEW BEST:: SOT 24739048 SOS 5983727 HAS SOPS 5983727 HAS SOUS 3140977 HAS SOUPS 3140977 WITH SCORE 3146960.727
AT ITER 2412 NEW BEST:: SOT 24737490 SOS 5974379 HAS SOPS 5974379 HAS SOUS 3138640 HAS SOUPS 3138640 WITH SCORE 3144614.379
AT ITER 2413 NEW BEST:: SOT 24734917 SOS 5969233 HAS SOPS 5969233 HAS SOUS 3135732 HAS SOUPS 3135732 WITH SCORE 3141701.233
AT ITER 2443 NEW BEST:: SOT 24734670 SOS 5969230 HAS SOPS 5969230 HAS SOUS 3135484 HAS SOUPS 3135484 WITH SCORE 3141453.23
AT ITER 2458 NEW BEST:: SOT 24734625 SOS 5969184 HAS SOPS 5969184 HAS SOUS 3135438 HAS SOUPS 3135438 WITH SCORE 3141407.184
AT ITER 2459 NEW BEST:: SOT 24734625 SOS 5969184 HAS SOPS 5969184 HAS SOUS 3135413 HAS SOUPS 3135413 WITH SCORE 3141382.184
AT ITER 2468 NEW BEST:: SOT 24734485 SOS 5969114 HAS SOPS 5969114 HAS SOUS 3135343 HAS SOUPS 3135343 WITH SCORE 3141312.114
AT ITER 2505 NEW BEST:: SOT 24734176 SOS 5969065 HAS SOPS 5969065 HAS SOUS 3135296 HAS SOUPS 3135296 WITH SCORE 3141265.065
AT ITER 2511 NEW BEST:: SOT 24733757 SOS 5968919 HAS SOPS 5968919 HAS SOUS 3135113 HAS SOUPS 3135113 WITH SCORE 3141081.919
AT ITER 2518 NEW BEST:: SOT 24733757 SOS 5968919 HAS SOPS 5968919 HAS SOUS 3134882 HAS SOUPS 3134882 WITH SCORE 3140850.919
AT ITER 2520 NEW BEST:: SOT 24732881 SOS 5959283 HAS SOPS 5959283 HAS SOUS 3133130 HAS SOUPS 3133130 WITH SCORE 3139089.283
AT ITER 2529 NEW BEST:: SOT 24732815 SOS 5959151 HAS SOPS 5959151 HAS SOUS 3132998 HAS SOUPS 3132998 WITH SCORE 3138957.151
AT ITER 2568 NEW BEST:: SOT 24731812 SOS 5948118 HAS SOPS 5948118 HAS SOUS 3130992 HAS SOUPS 3130992 WITH SCORE 3136940.118
AT ITER 2574 NEW BEST:: SOT 24731812 SOS 5948118 HAS SOPS 5948118 HAS SOUS 3130990 HAS SOUPS 3130990 WITH SCORE 3136938.118
AT ITER 2580 NEW BEST:: SOT 24731213 SOS 5946920 HAS SOPS 5946920 HAS SOUS 3129792 HAS SOUPS 3129792 WITH SCORE 3135738.92
AT ITER 2613 NEW BEST:: SOT 24731213 SOS 5945402 HAS SOPS 5945402 HAS SOUS 3129286 HAS SOUPS 3129286 WITH SCORE 3135231.402
AT ITER 2642 NEW BEST:: SOT 24731213 SOS 5945402 HAS SOPS 5945402 HAS SOUS 3128947 HAS SOUPS 3128947 WITH SCORE 3134892.402
AT ITER 2647 NEW BEST:: SOT 24731212 SOS 5945400 HAS SOPS 5945400 HAS SOUS 3128945 HAS SOUPS 3128945 WITH SCORE 3134890.4
AT ITER 2657 NEW BEST:: SOT 24730358 SOS 5943692 HAS SOPS 5943692 HAS SOUS 3127237 HAS SOUPS 3127237 WITH SCORE 3133180.692
AT ITER 2678 NEW BEST:: SOT 24730369 SOS 5943188 HAS SOPS 5943188 HAS SOUS 3127129 HAS SOUPS 3127129 WITH SCORE 3133072.188
AT ITER 2714 NEW BEST:: SOT 24730368 SOS 5943186 HAS SOPS 5943186 HAS SOUS 3127127 HAS SOUPS 3127127 WITH SCORE 3133070.186
AT ITER 2720 NEW BEST:: SOT 24729849 SOS 5942840 HAS SOPS 5942840 HAS SOUS 3126781 HAS SOUPS 3126781 WITH SCORE 3132723.84
AT ITER 2724 NEW BEST:: SOT 24729849 SOS 5942042 HAS SOPS 5942042 HAS SOUS 3126515 HAS SOUPS 3126515 WITH SCORE 3132457.042
AT ITER 2747 NEW BEST:: SOT 24729224 SOS 5942042 HAS SOPS 5942042 HAS SOUS 3125378 HAS SOUPS 3125378 WITH SCORE 3131320.042
AT ITER 2757 NEW BEST:: SOT 24729003 SOS 5941821 HAS SOPS 5941821 HAS SOUS 3125157 HAS SOUPS 3125157 WITH SCORE 3131098.821
AT ITER 2759 NEW BEST:: SOT 24728969 SOS 5941786 HAS SOPS 5941786 HAS SOUS 3125122 HAS SOUPS 3125122 WITH SCORE 3131063.786
AT ITER 2771 NEW BEST:: SOT 24728952 SOS 5941769 HAS SOPS 5941769 HAS SOUS 3125105 HAS SOUPS 3125105 WITH SCORE 3131046.769
AT ITER 2778 NEW BEST:: SOT 24725541 SOS 5938357 HAS SOPS 5938357 HAS SOUS 3123422 HAS SOUPS 3123422 WITH SCORE 3129360.357
AT ITER 2780 NEW BEST:: SOT 24725628 SOS 5938531 HAS SOPS 5938531 HAS SOUS 3123063 HAS SOUPS 3123063 WITH SCORE 3129001.531
AT ITER 2788 NEW BEST:: SOT 24724603 SOS 5937771 HAS SOPS 5937771 HAS SOUS 3122303 HAS SOUPS 3122303 WITH SCORE 3128240.771
AT ITER 2790 NEW BEST:: SOT 24724436 SOS 5938091 HAS SOPS 5938091 HAS SOUS 3122134 HAS SOUPS 3122134 WITH SCORE 3128072.091
AT ITER 2827 NEW BEST:: SOT 24724213 SOS 5937667 HAS SOPS 5937667 HAS SOUS 3121710 HAS SOUPS 3121710 WITH SCORE 3127647.667
AT ITER 2833 NEW BEST:: SOT 24724213 SOS 5936617 HAS SOPS 5936617 HAS SOUS 3121360 HAS SOUPS 3121360 WITH SCORE 3127296.617
AT ITER 2872 NEW BEST:: SOT 24723959 SOS 5936363 HAS SOPS 5936363 HAS SOUS 3121360 HAS SOUPS 3121360 WITH SCORE 3127296.363
AT ITER 2874 NEW BEST:: SOT 24723891 SOS 5936295 HAS SOPS 5936295 HAS SOUS 3121360 HAS SOUPS 3121360 WITH SCORE 3127296.295
AT ITER 2877 NEW BEST:: SOT 24723738 SOS 5937485 HAS SOPS 5937485 HAS SOUS 3121205 HAS SOUPS 3121205 WITH SCORE 3127142.485
AT ITER 2899 NEW BEST:: SOT 24723535 SOS 5937481 HAS SOPS 5937481 HAS SOUS 3121204 HAS SOUPS 3121204 WITH SCORE 3127141.481
AT ITER 2927 NEW BEST:: SOT 24723112 SOS 5937900 HAS SOPS 5937900 HAS SOUS 3120357 HAS SOUPS 3120357 WITH SCORE 3126294.9
AT ITER 2928 NEW BEST:: SOT 24722949 SOS 5940996 HAS SOPS 5940996 HAS SOUS 3120030 HAS SOUPS 3120030 WITH SCORE 3125970.996
AT ITER 2933 NEW BEST:: SOT 24722882 SOS 5940995 HAS SOPS 5940995 HAS SOUS 3120029 HAS SOUPS 3120029 WITH SCORE 3125969.995
AT ITER 2936 NEW BEST:: SOT 24722882 SOS 5940557 HAS SOPS 5940557 HAS SOUS 3119883 HAS SOUPS 3119883 WITH SCORE 3125823.557
AT ITER 2940 NEW BEST:: SOT 24722882 SOS 5940837 HAS SOPS 5940837 HAS SOUS 3119882 HAS SOUPS 3119882 WITH SCORE 3125822.837
AT ITER 2941 NEW BEST:: SOT 24722791 SOS 5940339 HAS SOPS 5940339 HAS SOUS 3119573 HAS SOUPS 3119573 WITH SCORE 3125513.339
AT ITER 2946 NEW BEST:: SOT 24722789 SOS 5941589 HAS SOPS 5941589 HAS SOUS 3119569 HAS SOUPS 3119569 WITH SCORE 3125510.589
AT ITER 2947 NEW BEST:: SOT 24722789 SOS 5939609 HAS SOPS 5939609 HAS SOUS 3119569 HAS SOUPS 3119569 WITH SCORE 3125508.609
AT ITER 2949 NEW BEST:: SOT 24722466 SOS 5944924 HAS SOPS 5944924 HAS SOUS 3118758 HAS SOUPS 3118758 WITH SCORE 3124702.924
AT ITER 2963 NEW BEST:: SOT 24721865 SOS 5945512 HAS SOPS 5945512 HAS SOUS 3118155 HAS SOUPS 3118155 WITH SCORE 3124100.512
AT ITER 2979 NEW BEST:: SOT 24720904 SOS 5948474 HAS SOPS 5948474 HAS SOUS 3118139 HAS SOUPS 3118139 WITH SCORE 3124087.474
AT ITER 2984 NEW BEST:: SOT 24720899 SOS 5951649 HAS SOPS 5951649 HAS SOUS 3118128 HAS SOUPS 3118128 WITH SCORE 3124079.649
AT ITER 2988 NEW BEST:: SOT 24720899 SOS 5951649 HAS SOPS 5951649 HAS SOUS 3117751 HAS SOUPS 3117751 WITH SCORE 3123702.649
AT ITER 3004 NEW BEST:: SOT 24720728 SOS 5954132 HAS SOPS 5954132 HAS SOUS 3117408 HAS SOUPS 3117408 WITH SCORE 3123362.132
AT ITER 3017 NEW BEST:: SOT 24720727 SOS 5955983 HAS SOPS 5955983 HAS SOUS 3117405 HAS SOUPS 3117405 WITH SCORE 3123360.983
AT ITER 3027 NEW BEST:: SOT 24720688 SOS 5955866 HAS SOPS 5955866 HAS SOUS 3117327 HAS SOUPS 3117327 WITH SCORE 3123282.866
AT ITER 3041 NEW BEST:: SOT 24720688 SOS 5954618 HAS SOPS 5954618 HAS SOUS 3116911 HAS SOUPS 3116911 WITH SCORE 3122865.618
AT ITER 3055 NEW BEST:: SOT 24720451 SOS 5954381 HAS SOPS 5954381 HAS SOUS 3116437 HAS SOUPS 3116437 WITH SCORE 3122391.381
AT ITER 3062 NEW BEST:: SOT 24720450 SOS 5956442 HAS SOPS 5956442 HAS SOUS 3116434 HAS SOUPS 3116434 WITH SCORE 3122390.442
AT ITER 3069 NEW BEST:: SOT 24720437 SOS 5956416 HAS SOPS 5956416 HAS SOUS 3116408 HAS SOUPS 3116408 WITH SCORE 3122364.416
AT ITER 3075 NEW BEST:: SOT 24720381 SOS 5956415 HAS SOPS 5956415 HAS SOUS 3116407 HAS SOUPS 3116407 WITH SCORE 3122363.415
AT ITER 3088 NEW BEST:: SOT 24720379 SOS 5956411 HAS SOPS 5956411 HAS SOUS 3116403 HAS SOUPS 3116403 WITH SCORE 3122359.411
AT ITER 3091 NEW BEST:: SOT 24720379 SOS 5956204 HAS SOPS 5956204 HAS SOUS 3116403 HAS SOUPS 3116403 WITH SCORE 3122359.204
AT ITER 3096 NEW BEST:: SOT 24719614 SOS 5971698 HAS SOPS 5971698 HAS SOUS 3115402 HAS SOUPS 3115402 WITH SCORE 3121373.698
AT ITER 3100 NEW BEST:: SOT 24718894 SOS 5964978 HAS SOPS 5964978 HAS SOUS 3114802 HAS SOUPS 3114802 WITH SCORE 3120766.978
AT ITER 3107 NEW BEST:: SOT 24718478 SOS 5964146 HAS SOPS 5964146 HAS SOUS 3113970 HAS SOUPS 3113970 WITH SCORE 3119934.146
AT ITER 3110 NEW BEST:: SOT 24718221 SOS 5963632 HAS SOPS 5963632 HAS SOUS 3113456 HAS SOUPS 3113456 WITH SCORE 3119419.632
AT ITER 3118 NEW BEST:: SOT 24718049 SOS 5962944 HAS SOPS 5962944 HAS SOUS 3113284 HAS SOUPS 3113284 WITH SCORE 3119246.944
AT ITER 3160 NEW BEST:: SOT 24718094 SOS 5963034 HAS SOPS 5963034 HAS SOUS 3113250 HAS SOUPS 3113250 WITH SCORE 3119213.034
AT ITER 3193 NEW BEST:: SOT 24718029 SOS 5962816 HAS SOPS 5962816 HAS SOUS 3112884 HAS SOUPS 3112884 WITH SCORE 3118846.816
AT ITER 3199 NEW BEST:: SOT 24718029 SOS 5964299 HAS SOPS 5964299 HAS SOUS 3112140 HAS SOUPS 3112140 WITH SCORE 3118104.299
AT ITER 3221 NEW BEST:: SOT 24718028 SOS 5964297 HAS SOPS 5964297 HAS SOUS 3112138 HAS SOUPS 3112138 WITH SCORE 3118102.297
AT ITER 3230 NEW BEST:: SOT 24718027 SOS 5964296 HAS SOPS 5964296 HAS SOUS 3112138 HAS SOUPS 3112138 WITH SCORE 3118102.296
AT ITER 3231 NEW BEST:: SOT 24718023 SOS 5964292 HAS SOPS 5964292 HAS SOUS 3112134 HAS SOUPS 3112134 WITH SCORE 3118098.292
AT ITER 3242 NEW BEST:: SOT 24718003 SOS 5964252 HAS SOPS 5964252 HAS SOUS 3112114 HAS SOUPS 3112114 WITH SCORE 3118078.252
AT ITER 3245 NEW BEST:: SOT 24717099 SOS 5963348 HAS SOPS 5963348 HAS SOUS 3111210 HAS SOUPS 3111210 WITH SCORE 3117173.348
AT ITER 3254 NEW BEST:: SOT 24717049 SOS 5963345 HAS SOPS 5963345 HAS SOUS 3111109 HAS SOUPS 3111109 WITH SCORE 3117072.345
AT ITER 3271 NEW BEST:: SOT 24717049 SOS 5963345 HAS SOPS 5963345 HAS SOUS 3110809 HAS SOUPS 3110809 WITH SCORE 3116772.345
AT ITER 3301 NEW BEST:: SOT 24716592 SOS 5959229 HAS SOPS 5959229 HAS SOUS 3109894 HAS SOUPS 3109894 WITH SCORE 3115853.229
AT ITER 3324 NEW BEST:: SOT 24716415 SOS 5959052 HAS SOPS 5959052 HAS SOUS 3109717 HAS SOUPS 3109717 WITH SCORE 3115676.052
AT ITER 3327 NEW BEST:: SOT 24714974 SOS 5958666 HAS SOPS 5958666 HAS SOUS 3108499 HAS SOUPS 3108499 WITH SCORE 3114457.666
AT ITER 3345 NEW BEST:: SOT 24714118 SOS 5958234 HAS SOPS 5958234 HAS SOUS 3108070 HAS SOUPS 3108070 WITH SCORE 3114028.234
AT ITER 3349 NEW BEST:: SOT 24713883 SOS 5957903 HAS SOPS 5957903 HAS SOUS 3107739 HAS SOUPS 3107739 WITH SCORE 3113696.903
AT ITER 3381 NEW BEST:: SOT 24713641 SOS 5957900 HAS SOPS 5957900 HAS SOUS 3107738 HAS SOUPS 3107738 WITH SCORE 3113695.9
AT ITER 3394 NEW BEST:: SOT 24712757 SOS 5957016 HAS SOPS 5957016 HAS SOUS 3105970 HAS SOUPS 3105970 WITH SCORE 3111927.016
AT ITER 3423 NEW BEST:: SOT 24712442 SOS 5956877 HAS SOPS 5956877 HAS SOUS 3105655 HAS SOUPS 3105655 WITH SCORE 3111611.877
AT ITER 3431 NEW BEST:: SOT 24710566 SOS 5959365 HAS SOPS 5959365 HAS SOUS 3104938 HAS SOUPS 3104938 WITH SCORE 3110897.365
AT ITER 3437 NEW BEST:: SOT 24710544 SOS 5961811 HAS SOPS 5961811 HAS SOUS 3104894 HAS SOUPS 3104894 WITH SCORE 3110855.811
AT ITER 3471 NEW BEST:: SOT 24710543 SOS 5961809 HAS SOPS 5961809 HAS SOUS 3104892 HAS SOUPS 3104892 WITH SCORE 3110853.809
AT ITER 3480 NEW BEST:: SOT 24710480 SOS 5961746 HAS SOPS 5961746 HAS SOUS 3104829 HAS SOUPS 3104829 WITH SCORE 3110790.746
AT ITER 3517 NEW BEST:: SOT 24710480 SOS 5961736 HAS SOPS 5961736 HAS SOUS 3104646 HAS SOUPS 3104646 WITH SCORE 3110607.736
AT ITER 3527 NEW BEST:: SOT 24707510 SOS 5957316 HAS SOPS 5957316 HAS SOUS 3101676 HAS SOUPS 3101676 WITH SCORE 3107633.316
AT ITER 3555 NEW BEST:: SOT 24707510 SOS 5957366 HAS SOPS 5957366 HAS SOUS 3101675 HAS SOUPS 3101675 WITH SCORE 3107632.366
AT ITER 3563 NEW BEST:: SOT 24707510 SOS 5956178 HAS SOPS 5956178 HAS SOUS 3101279 HAS SOUPS 3101279 WITH SCORE 3107235.178
AT ITER 3586 NEW BEST:: SOT 24707510 SOS 5956166 HAS SOPS 5956166 HAS SOUS 3101275 HAS SOUPS 3101275 WITH SCORE 3107231.166
AT ITER 3597 NEW BEST:: SOT 24705264 SOS 5957041 HAS SOPS 5957041 HAS SOUS 3100498 HAS SOUPS 3100498 WITH SCORE 3106455.041
AT ITER 3604 NEW BEST:: SOT 24704688 SOS 5963349 HAS SOPS 5963349 HAS SOUS 3099345 HAS SOUPS 3099345 WITH SCORE 3105308.349
AT ITER 3623 NEW BEST:: SOT 24703901 SOS 5961775 HAS SOPS 5961775 HAS SOUS 3099108 HAS SOUPS 3099108 WITH SCORE 3105069.775
AT ITER 3640 NEW BEST:: SOT 24703834 SOS 5961641 HAS SOPS 5961641 HAS SOUS 3099041 HAS SOUPS 3099041 WITH SCORE 3105002.641
AT ITER 3665 NEW BEST:: SOT 24703722 SOS 5959321 HAS SOPS 5959321 HAS SOUS 3099016 HAS SOUPS 3099016 WITH SCORE 3104975.321
AT ITER 3689 NEW BEST:: SOT 24703747 SOS 5959371 HAS SOPS 5959371 HAS SOUS 3098780 HAS SOUPS 3098780 WITH SCORE 3104739.371
AT ITER 3719 NEW BEST:: SOT 24703050 SOS 5957238 HAS SOPS 5957238 HAS SOUS 3098083 HAS SOUPS 3098083 WITH SCORE 3104040.238
AT ITER 3720 NEW BEST:: SOT 24702885 SOS 5957397 HAS SOPS 5957397 HAS SOUS 3097916 HAS SOUPS 3097916 WITH SCORE 3103873.397
AT ITER 3724 NEW BEST:: SOT 24701893 SOS 5957042 HAS SOPS 5957042 HAS SOUS 3097561 HAS SOUPS 3097561 WITH SCORE 3103518.042
AT ITER 3731 NEW BEST:: SOT 24701415 SOS 5958905 HAS SOPS 5958905 HAS SOUS 3096604 HAS SOUPS 3096604 WITH SCORE 3102562.905
AT ITER 3732 NEW BEST:: SOT 24701372 SOS 5961429 HAS SOPS 5961429 HAS SOUS 3096518 HAS SOUPS 3096518 WITH SCORE 3102479.429
AT ITER 3739 NEW BEST:: SOT 24697985 SOS 5958001 HAS SOPS 5958001 HAS SOUS 3096473 HAS SOUPS 3096473 WITH SCORE 3102431.001
AT ITER 3759 NEW BEST:: SOT 24698081 SOS 5957518 HAS SOPS 5957518 HAS SOUS 3096440 HAS SOUPS 3096440 WITH SCORE 3102397.518
AT ITER 3796 NEW BEST:: SOT 24698081 SOS 5955988 HAS SOPS 5955988 HAS SOUS 3096438 HAS SOUPS 3096438 WITH SCORE 3102393.988
AT ITER 3798 NEW BEST:: SOT 24698081 SOS 5956170 HAS SOPS 5956170 HAS SOUS 3096437 HAS SOUPS 3096437 WITH SCORE 3102393.17
AT ITER 3815 NEW BEST:: SOT 24698081 SOS 5956050 HAS SOPS 5956050 HAS SOUS 3096437 HAS SOUPS 3096437 WITH SCORE 3102393.05
AT ITER 3820 NEW BEST:: SOT 24697261 SOS 5955489 HAS SOPS 5955489 HAS SOUS 3095876 HAS SOUPS 3095876 WITH SCORE 3101831.489
AT ITER 3852 NEW BEST:: SOT 24697118 SOS 5956480 HAS SOPS 5956480 HAS SOUS 3095589 HAS SOUPS 3095589 WITH SCORE 3101545.48
AT ITER 3877 NEW BEST:: SOT 24697118 SOS 5955589 HAS SOPS 5955589 HAS SOUS 3095589 HAS SOUPS 3095589 WITH SCORE 3101544.589
AT ITER 3910 NEW BEST:: SOT 24696384 SOS 5955589 HAS SOPS 5955589 HAS SOUS 3094336 HAS SOUPS 3094336 WITH SCORE 3100291.589
AT ITER 3932 NEW BEST:: SOT 24696383 SOS 5955587 HAS SOPS 5955587 HAS SOUS 3094334 HAS SOUPS 3094334 WITH SCORE 3100289.587
AT ITER 3941 NEW BEST:: SOT 24696177 SOS 5955584 HAS SOPS 5955584 HAS SOUS 3094333 HAS SOUPS 3094333 WITH SCORE 3100288.584
AT ITER 3953 NEW BEST:: SOT 24695301 SOS 5954708 HAS SOPS 5954708 HAS SOUS 3094333 HAS SOUPS 3094333 WITH SCORE 3100287.708
AT ITER 3961 NEW BEST:: SOT 24694851 SOS 5951104 HAS SOPS 5951104 HAS SOUS 3093432 HAS SOUPS 3093432 WITH SCORE 3099383.104
AT ITER 3993 NEW BEST:: SOT 24694443 SOS 5950284 HAS SOPS 5950284 HAS SOUS 3092348 HAS SOUPS 3092348 WITH SCORE 3098298.284
AT ITER 4008 NEW BEST:: SOT 24694443 SOS 5950284 HAS SOPS 5950284 HAS SOUS 3092343 HAS SOUPS 3092343 WITH SCORE 3098293.284
AT ITER 4017 NEW BEST:: SOT 24694115 SOS 5949628 HAS SOPS 5949628 HAS SOUS 3091687 HAS SOUPS 3091687 WITH SCORE 3097636.628
AT ITER 4027 NEW BEST:: SOT 24694127 SOS 5949286 HAS SOPS 5949286 HAS SOUS 3091589 HAS SOUPS 3091589 WITH SCORE 3097538.286
AT ITER 4040 NEW BEST:: SOT 24693604 SOS 5949041 HAS SOPS 5949041 HAS SOUS 3091164 HAS SOUPS 3091164 WITH SCORE 3097113.041
AT ITER 4054 NEW BEST:: SOT 24693506 SOS 5948649 HAS SOPS 5948649 HAS SOUS 3090968 HAS SOUPS 3090968 WITH SCORE 3096916.649
AT ITER 4087 NEW BEST:: SOT 24693377 SOS 5948899 HAS SOPS 5948899 HAS SOUS 3090837 HAS SOUPS 3090837 WITH SCORE 3096785.899
AT ITER 4101 NEW BEST:: SOT 24693257 SOS 5949019 HAS SOPS 5949019 HAS SOUS 3090717 HAS SOUPS 3090717 WITH SCORE 3096666.019
AT ITER 4122 NEW BEST:: SOT 24693257 SOS 5947660 HAS SOPS 5947660 HAS SOUS 3090716 HAS SOUPS 3090716 WITH SCORE 3096663.66
AT ITER 4131 NEW BEST:: SOT 24693257 SOS 5947572 HAS SOPS 5947572 HAS SOUS 3090628 HAS SOUPS 3090628 WITH SCORE 3096575.572
AT ITER 4172 NEW BEST:: SOT 24693278 SOS 5947614 HAS SOPS 5947614 HAS SOUS 3089298 HAS SOUPS 3089298 WITH SCORE 3095245.614
AT ITER 4175 NEW BEST:: SOT 24692794 SOS 5951002 HAS SOPS 5951002 HAS SOUS 3088814 HAS SOUPS 3088814 WITH SCORE 3094765.002
AT ITER 4178 NEW BEST:: SOT 24692794 SOS 5950420 HAS SOPS 5950420 HAS SOUS 3088814 HAS SOUPS 3088814 WITH SCORE 3094764.42
AT ITER 4181 NEW BEST:: SOT 24691140 SOS 5948924 HAS SOPS 5948924 HAS SOUS 3087160 HAS SOUPS 3087160 WITH SCORE 3093108.924
AT ITER 4189 NEW BEST:: SOT 24691358 SOS 5950961 HAS SOPS 5950961 HAS SOUS 3087060 HAS SOUPS 3087060 WITH SCORE 3093010.961
AT ITER 4194 NEW BEST:: SOT 24691358 SOS 5949935 HAS SOPS 5949935 HAS SOUS 3086718 HAS SOUPS 3086718 WITH SCORE 3092667.935
AT ITER 4222 NEW BEST:: SOT 24690554 SOS 5950367 HAS SOPS 5950367 HAS SOUS 3086594 HAS SOUPS 3086594 WITH SCORE 3092544.367
AT ITER 4243 NEW BEST:: SOT 24690085 SOS 5950832 HAS SOPS 5950832 HAS SOUS 3085655 HAS SOUPS 3085655 WITH SCORE 3091605.832
AT ITER 4248 NEW BEST:: SOT 24689787 SOS 5950236 HAS SOPS 5950236 HAS SOUS 3085059 HAS SOUPS 3085059 WITH SCORE 3091009.236
AT ITER 4273 NEW BEST:: SOT 24689787 SOS 5949582 HAS SOPS 5949582 HAS SOUS 3085059 HAS SOUPS 3085059 WITH SCORE 3091008.582
AT ITER 4293 NEW BEST:: SOT 24688682 SOS 5947954 HAS SOPS 5947954 HAS SOUS 3083402 HAS SOUPS 3083402 WITH SCORE 3089349.954
AT ITER 4322 NEW BEST:: SOT 24688682 SOS 5947648 HAS SOPS 5947648 HAS SOUS 3083096 HAS SOUPS 3083096 WITH SCORE 3089043.648
AT ITER 4335 NEW BEST:: SOT 24687691 SOS 5935912 HAS SOPS 5935912 HAS SOUS 3081113 HAS SOUPS 3081113 WITH SCORE 3087048.912
AT ITER 4340 NEW BEST:: SOT 24687691 SOS 5935700 HAS SOPS 5935700 HAS SOUS 3081007 HAS SOUPS 3081007 WITH SCORE 3086942.7
AT ITER 4398 NEW BEST:: SOT 24687681 SOS 5936763 HAS SOPS 5936763 HAS SOUS 3080996 HAS SOUPS 3080996 WITH SCORE 3086932.763
AT ITER 4420 NEW BEST:: SOT 24687605 SOS 5936611 HAS SOPS 5936611 HAS SOUS 3080844 HAS SOUPS 3080844 WITH SCORE 3086780.611
AT ITER 4423 NEW BEST:: SOT 24687605 SOS 5936145 HAS SOPS 5936145 HAS SOUS 3080611 HAS SOUPS 3080611 WITH SCORE 3086547.145
AT ITER 4449 NEW BEST:: SOT 24687361 SOS 5934784 HAS SOPS 5934784 HAS SOUS 3080123 HAS SOUPS 3080123 WITH SCORE 3086057.784
AT ITER 4454 NEW BEST:: SOT 24687361 SOS 5935834 HAS SOPS 5935834 HAS SOUS 3080115 HAS SOUPS 3080115 WITH SCORE 3086050.834
AT ITER 4460 NEW BEST:: SOT 24687359 SOS 5935830 HAS SOPS 5935830 HAS SOUS 3080111 HAS SOUPS 3080111 WITH SCORE 3086046.83
AT ITER 4463 NEW BEST:: SOT 24686794 SOS 5935265 HAS SOPS 5935265 HAS SOUS 3080111 HAS SOUPS 3080111 WITH SCORE 3086046.265
AT ITER 4476 NEW BEST:: SOT 24686766 SOS 5935209 HAS SOPS 5935209 HAS SOUS 3080055 HAS SOUPS 3080055 WITH SCORE 3085990.209
AT ITER 4511 NEW BEST:: SOT 24685895 SOS 5934338 HAS SOPS 5934338 HAS SOUS 3079184 HAS SOUPS 3079184 WITH SCORE 3085118.338
AT ITER 4513 NEW BEST:: SOT 24685895 SOS 5933768 HAS SOPS 5933768 HAS SOUS 3079184 HAS SOUPS 3079184 WITH SCORE 3085117.768
AT ITER 4531 NEW BEST:: SOT 24686056 SOS 5932254 HAS SOPS 5932254 HAS SOUS 3079091 HAS SOUPS 3079091 WITH SCORE 3085023.254
AT ITER 4545 NEW BEST:: SOT 24686043 SOS 5931810 HAS SOPS 5931810 HAS SOUS 3078869 HAS SOUPS 3078869 WITH SCORE 3084800.81
AT ITER 4554 NEW BEST:: SOT 24685353 SOS 5931800 HAS SOPS 5931800 HAS SOUS 3078388 HAS SOUPS 3078388 WITH SCORE 3084319.8
AT ITER 4566 NEW BEST:: SOT 24685353 SOS 5932144 HAS SOPS 5932144 HAS SOUS 3078386 HAS SOUPS 3078386 WITH SCORE 3084318.144
AT ITER 4583 NEW BEST:: SOT 24685353 SOS 5931553 HAS SOPS 5931553 HAS SOUS 3078189 HAS SOUPS 3078189 WITH SCORE 3084120.553
AT ITER 4591 NEW BEST:: SOT 24685207 SOS 5931303 HAS SOPS 5931303 HAS SOUS 3077939 HAS SOUPS 3077939 WITH SCORE 3083870.303
AT ITER 4656 NEW BEST:: SOT 24684678 SOS 5929980 HAS SOPS 5929980 HAS SOUS 3077318 HAS SOUPS 3077318 WITH SCORE 3083247.98
AT ITER 4698 NEW BEST:: SOT 24684179 SOS 5927984 HAS SOPS 5927984 HAS SOUS 3076819 HAS SOUPS 3076819 WITH SCORE 3082746.984
AT ITER 4700 NEW BEST:: SOT 24683448 SOS 5927984 HAS SOPS 5927984 HAS SOUS 3075589 HAS SOUPS 3075589 WITH SCORE 3081516.984
AT ITER 4702 NEW BEST:: SOT 24683448 SOS 5927984 HAS SOPS 5927984 HAS SOUS 3075587 HAS SOUPS 3075587 WITH SCORE 3081514.984
AT ITER 4705 NEW BEST:: SOT 24683448 SOS 5927213 HAS SOPS 5927213 HAS SOUS 3075587 HAS SOUPS 3075587 WITH SCORE 3081514.213
AT ITER 4730 NEW BEST:: SOT 24683448 SOS 5927398 HAS SOPS 5927398 HAS SOUS 3075583 HAS SOUPS 3075583 WITH SCORE 3081510.398
AT ITER 4731 NEW BEST:: SOT 24683819 SOS 5928140 HAS SOPS 5928140 HAS SOUS 3075041 HAS SOUPS 3075041 WITH SCORE 3080969.14
AT ITER 4758 NEW BEST:: SOT 24683549 SOS 5927870 HAS SOPS 5927870 HAS SOUS 3074501 HAS SOUPS 3074501 WITH SCORE 3080428.87
AT ITER 4767 NEW BEST:: SOT 24683007 SOS 5925702 HAS SOPS 5925702 HAS SOUS 3073959 HAS SOUPS 3073959 WITH SCORE 3079884.702
AT ITER 4784 NEW BEST:: SOT 24682884 SOS 5925579 HAS SOPS 5925579 HAS SOUS 3073959 HAS SOUPS 3073959 WITH SCORE 3079884.579
AT ITER 4795 NEW BEST:: SOT 24682012 SOS 5925569 HAS SOPS 5925569 HAS SOUS 3073958 HAS SOUPS 3073958 WITH SCORE 3079883.569
AT ITER 4811 NEW BEST:: SOT 24681787 SOS 5925119 HAS SOPS 5925119 HAS SOUS 3073508 HAS SOUPS 3073508 WITH SCORE 3079433.119
AT ITER 4817 NEW BEST:: SOT 24680915 SOS 5925119 HAS SOPS 5925119 HAS SOUS 3072636 HAS SOUPS 3072636 WITH SCORE 3078561.119
AT ITER 4826 NEW BEST:: SOT 24680902 SOS 5925110 HAS SOPS 5925110 HAS SOUS 3072618 HAS SOUPS 3072618 WITH SCORE 3078543.11
AT ITER 4834 NEW BEST:: SOT 24680868 SOS 5925110 HAS SOPS 5925110 HAS SOUS 3072584 HAS SOUPS 3072584 WITH SCORE 3078509.11
AT ITER 4851 NEW BEST:: SOT 24680165 SOS 5923704 HAS SOPS 5923704 HAS SOUS 3070691 HAS SOUPS 3070691 WITH SCORE 3076614.704
AT ITER 4918 NEW BEST:: SOT 24680127 SOS 5923666 HAS SOPS 5923666 HAS SOUS 3070653 HAS SOUPS 3070653 WITH SCORE 3076576.666
AT ITER 4925 NEW BEST:: SOT 24679173 SOS 5923189 HAS SOPS 5923189 HAS SOUS 3070176 HAS SOUPS 3070176 WITH SCORE 3076099.189
AT ITER 4938 NEW BEST:: SOT 24679076 SOS 5928697 HAS SOPS 5928697 HAS SOUS 3069587 HAS SOUPS 3069587 WITH SCORE 3075515.697
AT ITER 4961 NEW BEST:: SOT 24679072 SOS 5928689 HAS SOPS 5928689 HAS SOUS 3069579 HAS SOUPS 3069579 WITH SCORE 3075507.689
AT ITER 4972 NEW BEST:: SOT 24679072 SOS 5929336 HAS SOPS 5929336 HAS SOUS 3068908 HAS SOUPS 3068908 WITH SCORE 3074837.336
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-12b-CTLFireability-00 (AG( (AF( ( ((potential((tk(P1121)>=1)))) & ( ((potential((tk(P706)>=1) & (tk(P3565)>=1)))) | ((potential((tk(P2296)>=1)))) ) )))))
PROPERTY: DLCround-PT-12b-CTLFireability-01 ( ( ( (EX( (! ((potential((tk(P3424)>=1))))))) | ( ( ( ((potential((tk(P1532)>=1) & (tk(P4212)>=1)))) & ((potential((tk(P3289)>=1)))) ) & ((potential((tk(P2)>=1)))) ) & (EX( ((potential((tk(P620)>=1)))))) ) ) | ( ( (! ((potential((tk(P726)>=1) & (tk(P3535)>=1))))) | (AX( ((potential((tk(P113)>=1)))))) ) & ( ((potential((tk(P1940)>=1)))) & ( ( ((potential((tk(P2719)>=1)))) & ((potential((tk(P454)>=1) & (tk(P2292)>=1)))) ) & ( ((potential((tk(P812)>=1) & (tk(P3432)>=1)))) & ((potential((tk(P176)>=1) & (tk(P3235)>=1)))) ) ) ) ) ) & (EF( ((potential((tk(P168)>=1)))))) )
PROPERTY: DLCround-PT-12b-CTLFireability-02 (AF( ( ( ((potential((tk(P512)>=1)))) & ( (! ((potential((tk(P1506)>=1))))) & (! ((potential((tk(P683)>=1))))) ) ) | (! (! ((potential((tk(P293)>=1)))))) )))
PROPERTY: DLCround-PT-12b-CTLFireability-03 ( ( (EG( (! ( ((potential((tk(P2423)>=1)))) | ((potential((tk(P1790)>=1) & (tk(P4715)>=1)))) )))) | (EF( ( (! ((potential((tk(P2276)>=1))))) & ( ((potential((tk(P4244)>=1)))) & ((potential((tk(P642)>=1) & (tk(P3662)>=1)))) ) ))) ) | ( ( (! (! ( ((potential((tk(P94)>=1)))) & ((potential((tk(P960)>=1) & (tk(P3865)>=1)))) ))) | ( (! (! ((potential((tk(P501)>=1)))))) & (! (! ((potential((tk(P2766)>=1)))))) ) ) & ( (EX( (! ((potential((tk(P335)>=1))))))) & (! (EG( ((potential((tk(P3163)>=1))))))) ) ) )
PROPERTY: DLCround-PT-12b-CTLFireability-04 (EF( ((potential((tk(P2394)>=1))))))
PROPERTY: DLCround-PT-12b-CTLFireability-05 ( ((potential((tk(P946)>=1) & (tk(P3805)>=1)))) | (EF( (EF( ( ((potential((tk(P2626)>=1)))) | ((potential((tk(P3046)>=1)))) ))))) )
PROPERTY: DLCround-PT-12b-CTLFireability-06 ( ((potential((tk(P1540)>=1) & (tk(P4465)>=1)))) | (AF( ( (! ( ((potential((tk(P1566)>=1) & (tk(P4465)>=1)))) & ((potential((tk(P1800)>=1) & (tk(P4665)>=1)))) )) & ((potential((tk(P767)>=1) & (tk(P3595)>=1)))) ))) )
PROPERTY: DLCround-PT-12b-CTLFireability-07 (EF( (AF( ((potential((tk(P4247)>=1))))))))
PROPERTY: DLCround-PT-12b-CTLFireability-08 (AU( ( (AF( ((potential((tk(P1900)>=1) & (tk(P4795)>=1)))))) | ((potential((tk(P1583)>=1) & (tk(P4415)>=1)))) ) , (! (AF( ((potential((tk(P4278)>=1))))))) ))
PROPERTY: DLCround-PT-12b-CTLFireability-09 (! (AU( ( ( ((potential((tk(P4649)>=1)))) | ((potential((tk(P3456)>=1)))) ) & ( ((potential((tk(P1967)>=1) & (tk(P4795)>=1)))) | ((potential((tk(P2428)>=1)))) ) ) , (AF( ((potential((tk(P880)>=1)))))) )))
PROPERTY: DLCround-PT-12b-CTLFireability-10 (EG( (! (AX( ( ((potential((tk(P4133)>=1)))) & ((potential((tk(P1652)>=1) & (tk(P3862)>=1)))) ))))))
PROPERTY: DLCround-PT-12b-CTLFireability-11 (EX( (! (AF( ( ((potential((tk(P1583)>=1) & (tk(P4375)>=1)))) & ((potential((tk(P3703)>=1)))) ))))))
PROPERTY: DLCround-PT-12b-CTLFireability-12 ( ( (EU( (! ((potential((tk(P1223)>=1) & (tk(P2745)>=1))))) , ( ((potential((tk(P170)>=1)))) | ((potential((tk(P2823)>=1)))) ) )) | (EF( ( ((potential((tk(P1230)>=1)))) | ((potential((tk(P488)>=1)))) ))) ) | ( ( ( ( ( ((potential((tk(P943)>=1)))) & ((potential((tk(P572)>=1) & (tk(P4742)>=1)))) ) & ( ((potential((tk(P762)>=1) & (tk(P4032)>=1)))) & ((potential((tk(P628)>=1) & (tk(P2385)>=1)))) ) ) & ( ( ((potential((tk(P1899)>=1)))) & ((potential((tk(P1698)>=1)))) ) | ((potential((tk(P1680)>=1) & (tk(P4495)>=1)))) ) ) | ( ( ( ((potential((tk(P1326)>=1) & (tk(P2865)>=1)))) | ((potential((tk(P1200)>=1) & (tk(P4045)>=1)))) ) | ( ((potential((tk(P1080)>=1) & (tk(P2725)>=1)))) & ((potential((tk(P2759)>=1)))) ) ) & ( ( ((potential((tk(P4033)>=1)))) & ((potential((tk(P1260)>=1)))) ) | (! ((potential((tk(P1633)>=1) & (tk(P3085)>=1))))) ) ) ) & ((potential((tk(P846)>=1) & (tk(P3715)>=1)))) ) )
PROPERTY: DLCround-PT-12b-CTLFireability-13 (EG( ( (! ((potential((tk(P1343)>=1) & (tk(P4235)>=1))))) | (AG( (! ((potential((tk(P960)>=1) & (tk(P3875)>=1))))))) )))
PROPERTY: DLCround-PT-12b-CTLFireability-14 (EF( ( (AU( ((potential((tk(P3461)>=1)))) , ((potential((tk(P171)>=1) & (tk(P3002)>=1)))) )) & (AU( ((potential((tk(P160)>=1) & (tk(P2762)>=1)))) , ((potential((tk(P183)>=1)))) )) )))
PROPERTY: DLCround-PT-12b-CTLFireability-15 ( (EF( (EF( (! ((potential((tk(P171)>=1) & (tk(P2442)>=1))))))))) & (EG( (! (AF( ((potential((tk(P228)>=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="DLCround-PT-12b"
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 DLCround-PT-12b, 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-158902542400604"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-12b.tgz
mv DLCround-PT-12b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;