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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 2.7K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 17:14 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.4K Apr 8 14:50 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:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 996K 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-3a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-3a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589113898398

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 581 places, 3891 transitions, 14956 arcs.
AT ITER 0 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123311 HAS SOUPS 58506 WITH SCORE 59669.956
AT ITER 19 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123297 HAS SOUPS 58492 WITH SCORE 59655.956
AT ITER 49 NEW BEST:: SOT 1438729 SOS 1160621 HAS SOPS 599975 HAS SOUS 123044 HAS SOUPS 58350 WITH SCORE 59510.621
AT ITER 69 NEW BEST:: SOT 1438212 SOS 1161809 HAS SOPS 599708 HAS SOUS 122740 HAS SOUPS 57949 WITH SCORE 59110.809
AT ITER 86 NEW BEST:: SOT 1437767 SOS 1160423 HAS SOPS 599302 HAS SOUS 122204 HAS SOUPS 57609 WITH SCORE 58769.423
AT ITER 102 NEW BEST:: SOT 1437002 SOS 1163018 HAS SOPS 600197 HAS SOUS 121636 HAS SOUPS 57041 WITH SCORE 58204.018
AT ITER 104 NEW BEST:: SOT 1436939 SOS 1163063 HAS SOPS 600107 HAS SOUS 121600 HAS SOUPS 56996 WITH SCORE 58159.063
AT ITER 121 NEW BEST:: SOT 1436733 SOS 1163373 HAS SOPS 599847 HAS SOUS 121478 HAS SOUPS 56836 WITH SCORE 57999.373
AT ITER 129 NEW BEST:: SOT 1436733 SOS 1163373 HAS SOPS 599847 HAS SOUS 121428 HAS SOUPS 56786 WITH SCORE 57949.373
AT ITER 141 NEW BEST:: SOT 1436733 SOS 1163373 HAS SOPS 599847 HAS SOUS 121368 HAS SOUPS 56726 WITH SCORE 57889.373
AT ITER 154 NEW BEST:: SOT 1436667 SOS 1163186 HAS SOPS 599660 HAS SOUS 121302 HAS SOUPS 56660 WITH SCORE 57823.186
AT ITER 162 NEW BEST:: SOT 1436633 SOS 1163047 HAS SOPS 599876 HAS SOUS 121206 HAS SOUPS 56635 WITH SCORE 57798.047
AT ITER 171 NEW BEST:: SOT 1436380 SOS 1168519 HAS SOPS 602228 HAS SOUS 121344 HAS SOUPS 56565 WITH SCORE 57733.519
AT ITER 177 NEW BEST:: SOT 1436380 SOS 1168519 HAS SOPS 602228 HAS SOUS 121284 HAS SOUPS 56505 WITH SCORE 57673.519
AT ITER 182 NEW BEST:: SOT 1436259 SOS 1168277 HAS SOPS 601986 HAS SOUS 121042 HAS SOUPS 56263 WITH SCORE 57431.277
AT ITER 186 NEW BEST:: SOT 1435972 SOS 1173563 HAS SOPS 604077 HAS SOUS 121188 HAS SOUPS 56196 WITH SCORE 57369.563
AT ITER 199 NEW BEST:: SOT 1435346 SOS 1172162 HAS SOPS 603421 HAS SOUS 120826 HAS SOUPS 55983 WITH SCORE 57155.162
AT ITER 200 NEW BEST:: SOT 1435346 SOS 1172162 HAS SOPS 603421 HAS SOUS 120806 HAS SOUPS 55963 WITH SCORE 57135.162
AT ITER 208 NEW BEST:: SOT 1435241 SOS 1171952 HAS SOPS 603211 HAS SOUS 120692 HAS SOUPS 55849 WITH SCORE 57020.952
AT ITER 225 NEW BEST:: SOT 1435241 SOS 1171792 HAS SOPS 603451 HAS SOUS 120612 HAS SOUPS 55849 WITH SCORE 57020.792
AT ITER 226 NEW BEST:: SOT 1435165 SOS 1171640 HAS SOPS 603489 HAS SOUS 120460 HAS SOUPS 55735 WITH SCORE 56906.64
AT ITER 237 NEW BEST:: SOT 1434800 SOS 1176591 HAS SOPS 605395 HAS SOUS 120465 HAS SOUPS 55537 WITH SCORE 56713.591
AT ITER 244 NEW BEST:: SOT 1434758 SOS 1176465 HAS SOPS 605339 HAS SOUS 120395 HAS SOUPS 55481 WITH SCORE 56657.465
AT ITER 245 NEW BEST:: SOT 1434012 SOS 1178067 HAS SOPS 605561 HAS SOUS 119841 HAS SOUPS 54927 WITH SCORE 56105.067
AT ITER 255 NEW BEST:: SOT 1433894 SOS 1177666 HAS SOPS 605535 HAS SOUS 119561 HAS SOUPS 54722 WITH SCORE 55899.666
AT ITER 267 NEW BEST:: SOT 1433894 SOS 1177666 HAS SOPS 605535 HAS SOUS 119521 HAS SOUPS 54682 WITH SCORE 55859.666
AT ITER 274 NEW BEST:: SOT 1433894 SOS 1177666 HAS SOPS 605535 HAS SOUS 119461 HAS SOUPS 54622 WITH SCORE 55799.666
AT ITER 281 NEW BEST:: SOT 1433820 SOS 1177333 HAS SOPS 605202 HAS SOUS 119340 HAS SOUPS 54501 WITH SCORE 55678.333
AT ITER 283 NEW BEST:: SOT 1433898 SOS 1177111 HAS SOPS 605250 HAS SOUS 119317 HAS SOUPS 54496 WITH SCORE 55673.111
AT ITER 284 NEW BEST:: SOT 1433884 SOS 1177083 HAS SOPS 605222 HAS SOUS 119303 HAS SOUPS 54482 WITH SCORE 55659.083
AT ITER 321 NEW BEST:: SOT 1433786 SOS 1176852 HAS SOPS 604991 HAS SOUS 119219 HAS SOUPS 54398 WITH SCORE 55574.852
AT ITER 326 NEW BEST:: SOT 1433571 SOS 1177106 HAS SOPS 604675 HAS SOUS 119151 HAS SOUPS 54292 WITH SCORE 55469.106
AT ITER 327 NEW BEST:: SOT 1433579 SOS 1177106 HAS SOPS 604675 HAS SOUS 119127 HAS SOUPS 54268 WITH SCORE 55445.106
AT ITER 359 NEW BEST:: SOT 1433801 SOS 1178050 HAS SOPS 605619 HAS SOUS 119023 HAS SOUPS 54164 WITH SCORE 55342.05
AT ITER 363 NEW BEST:: SOT 1433801 SOS 1178050 HAS SOPS 605819 HAS SOUS 118943 HAS SOUPS 54124 WITH SCORE 55302.05
AT ITER 364 NEW BEST:: SOT 1433741 SOS 1177930 HAS SOPS 605699 HAS SOUS 118853 HAS SOUPS 54034 WITH SCORE 55211.93
AT ITER 367 NEW BEST:: SOT 1433464 SOS 1178294 HAS SOPS 605298 HAS SOUS 118740 HAS SOUPS 53870 WITH SCORE 55048.294
AT ITER 369 NEW BEST:: SOT 1433335 SOS 1178036 HAS SOPS 605725 HAS SOUS 118410 HAS SOUPS 53677 WITH SCORE 54855.036
AT ITER 406 NEW BEST:: SOT 1433272 SOS 1177761 HAS SOPS 605450 HAS SOUS 118355 HAS SOUPS 53622 WITH SCORE 54799.761
AT ITER 411 NEW BEST:: SOT 1433268 SOS 1177753 HAS SOPS 605442 HAS SOUS 118351 HAS SOUPS 53618 WITH SCORE 54795.753
AT ITER 428 NEW BEST:: SOT 1433216 SOS 1177559 HAS SOPS 605248 HAS SOUS 118281 HAS SOUPS 53548 WITH SCORE 54725.559
AT ITER 434 NEW BEST:: SOT 1433216 SOS 1177559 HAS SOPS 605248 HAS SOUS 118239 HAS SOUPS 53506 WITH SCORE 54683.559
AT ITER 436 NEW BEST:: SOT 1433268 SOS 1176827 HAS SOPS 605434 HAS SOUS 118212 HAS SOUPS 53506 WITH SCORE 54682.827
AT ITER 437 NEW BEST:: SOT 1433263 SOS 1176835 HAS SOPS 605427 HAS SOUS 118208 HAS SOUPS 53501 WITH SCORE 54677.835
AT ITER 443 NEW BEST:: SOT 1433263 SOS 1176835 HAS SOPS 605427 HAS SOUS 118190 HAS SOUPS 53483 WITH SCORE 54659.835
AT ITER 447 NEW BEST:: SOT 1433303 SOS 1175459 HAS SOPS 605105 HAS SOUS 118148 HAS SOUPS 53472 WITH SCORE 54647.459
AT ITER 452 NEW BEST:: SOT 1433060 SOS 1174712 HAS SOPS 604793 HAS SOUS 117749 HAS SOUPS 53160 WITH SCORE 54334.712
AT ITER 475 NEW BEST:: SOT 1433000 SOS 1174577 HAS SOPS 604658 HAS SOUS 117734 HAS SOUPS 53145 WITH SCORE 54319.577
AT ITER 476 NEW BEST:: SOT 1433000 SOS 1174577 HAS SOPS 604658 HAS SOUS 117692 HAS SOUPS 53103 WITH SCORE 54277.577
AT ITER 487 NEW BEST:: SOT 1432172 SOS 1176266 HAS SOPS 604997 HAS SOUS 117285 HAS SOUPS 52696 WITH SCORE 53872.266
AT ITER 507 NEW BEST:: SOT 1432068 SOS 1175902 HAS SOPS 604893 HAS SOUS 117128 HAS SOUPS 52591 WITH SCORE 53766.902
AT ITER 511 NEW BEST:: SOT 1431967 SOS 1175700 HAS SOPS 605481 HAS SOUS 116843 HAS SOUPS 52464 WITH SCORE 53639.7
AT ITER 525 NEW BEST:: SOT 1431967 SOS 1175700 HAS SOPS 605481 HAS SOUS 116783 HAS SOUPS 52404 WITH SCORE 53579.7
AT ITER 533 NEW BEST:: SOT 1431967 SOS 1175700 HAS SOPS 605481 HAS SOUS 116733 HAS SOUPS 52354 WITH SCORE 53529.7
AT ITER 553 NEW BEST:: SOT 1431967 SOS 1175700 HAS SOPS 605481 HAS SOUS 116725 HAS SOUPS 52346 WITH SCORE 53521.7
AT ITER 581 NEW BEST:: SOT 1431627 SOS 1177789 HAS SOPS 605950 HAS SOUS 116829 HAS SOUPS 52342 WITH SCORE 53519.789
AT ITER 583 NEW BEST:: SOT 1431628 SOS 1177441 HAS SOPS 605602 HAS SOUS 116788 HAS SOUPS 52301 WITH SCORE 53478.441
AT ITER 585 NEW BEST:: SOT 1431628 SOS 1176911 HAS SOPS 605767 HAS SOUS 116649 HAS SOUPS 52301 WITH SCORE 53477.911
AT ITER 595 NEW BEST:: SOT 1431564 SOS 1176731 HAS SOPS 605587 HAS SOUS 116585 HAS SOUPS 52237 WITH SCORE 53413.731
AT ITER 604 NEW BEST:: SOT 1431360 SOS 1176863 HAS SOPS 605419 HAS SOUS 116453 HAS SOUPS 52105 WITH SCORE 53281.863
AT ITER 610 NEW BEST:: SOT 1431360 SOS 1176863 HAS SOPS 605419 HAS SOUS 116425 HAS SOUPS 52077 WITH SCORE 53253.863
AT ITER 628 NEW BEST:: SOT 1431076 SOS 1176364 HAS SOPS 604920 HAS SOUS 116396 HAS SOUPS 52048 WITH SCORE 53224.364
AT ITER 642 NEW BEST:: SOT 1431076 SOS 1176341 HAS SOPS 605012 HAS SOUS 116373 HAS SOUPS 52048 WITH SCORE 53224.341
AT ITER 646 NEW BEST:: SOT 1431076 SOS 1176341 HAS SOPS 605012 HAS SOUS 116351 HAS SOUPS 52026 WITH SCORE 53202.341
AT ITER 649 NEW BEST:: SOT 1430587 SOS 1178133 HAS SOPS 605454 HAS SOUS 116096 HAS SOUPS 51771 WITH SCORE 52949.133
AT ITER 653 NEW BEST:: SOT 1430191 SOS 1180577 HAS SOPS 606578 HAS SOUS 116077 HAS SOUPS 51752 WITH SCORE 52932.577
AT ITER 667 NEW BEST:: SOT 1430399 SOS 1175088 HAS SOPS 607175 HAS SOUS 115840 HAS SOUPS 51694 WITH SCORE 52869.088
AT ITER 674 NEW BEST:: SOT 1430279 SOS 1174848 HAS SOPS 607235 HAS SOUS 115600 HAS SOUPS 51514 WITH SCORE 52688.848
AT ITER 683 NEW BEST:: SOT 1430328 SOS 1171810 HAS SOPS 605618 HAS SOUS 115600 HAS SOUPS 51514 WITH SCORE 52685.81
AT ITER 686 NEW BEST:: SOT 1430328 SOS 1171725 HAS SOPS 605958 HAS SOUS 115515 HAS SOUPS 51514 WITH SCORE 52685.725
AT ITER 688 NEW BEST:: SOT 1430328 SOS 1171725 HAS SOPS 605958 HAS SOUS 115455 HAS SOUPS 51454 WITH SCORE 52625.725
AT ITER 695 NEW BEST:: SOT 1430326 SOS 1171617 HAS SOPS 605850 HAS SOUS 115427 HAS SOUPS 51426 WITH SCORE 52597.617
AT ITER 710 NEW BEST:: SOT 1430326 SOS 1171277 HAS SOPS 606150 HAS SOUS 115234 HAS SOUPS 51361 WITH SCORE 52532.277
AT ITER 711 NEW BEST:: SOT 1430121 SOS 1170439 HAS SOPS 605847 HAS SOUS 115029 HAS SOUPS 51263 WITH SCORE 52433.439
AT ITER 752 NEW BEST:: SOT 1430121 SOS 1170439 HAS SOPS 606027 HAS SOUS 114969 HAS SOUPS 51239 WITH SCORE 52409.439
AT ITER 753 NEW BEST:: SOT 1429621 SOS 1172868 HAS SOPS 606976 HAS SOUS 114728 HAS SOUPS 50998 WITH SCORE 52170.868
AT ITER 773 NEW BEST:: SOT 1429253 SOS 1171760 HAS SOPS 606488 HAS SOUS 114218 HAS SOUPS 50612 WITH SCORE 51783.76
AT ITER 782 NEW BEST:: SOT 1429045 SOS 1171303 HAS SOPS 606236 HAS SOUS 114061 HAS SOUPS 50496 WITH SCORE 51667.303
AT ITER 796 NEW BEST:: SOT 1428949 SOS 1171063 HAS SOPS 605996 HAS SOUS 113965 HAS SOUPS 50400 WITH SCORE 51571.063
AT ITER 798 NEW BEST:: SOT 1428832 SOS 1170712 HAS SOPS 605840 HAS SOUS 113770 HAS SOUPS 50244 WITH SCORE 51414.712
AT ITER 813 NEW BEST:: SOT 1428227 SOS 1171420 HAS SOPS 605183 HAS SOUS 113584 HAS SOUPS 49967 WITH SCORE 51138.42
AT ITER 822 NEW BEST:: SOT 1428318 SOS 1167046 HAS SOPS 605433 HAS SOUS 113442 HAS SOUPS 49961 WITH SCORE 51128.046
AT ITER 831 NEW BEST:: SOT 1428243 SOS 1167471 HAS SOPS 605483 HAS SOUS 113416 HAS SOUPS 49910 WITH SCORE 51077.471
AT ITER 833 NEW BEST:: SOT 1427999 SOS 1167819 HAS SOPS 605171 HAS SOUS 113272 HAS SOUPS 49722 WITH SCORE 50889.819
AT ITER 834 NEW BEST:: SOT 1427960 SOS 1168133 HAS SOPS 605345 HAS SOUS 113247 HAS SOUPS 49697 WITH SCORE 50865.133
AT ITER 906 NEW BEST:: SOT 1427960 SOS 1168133 HAS SOPS 605345 HAS SOUS 113191 HAS SOUPS 49641 WITH SCORE 50809.133
AT ITER 907 NEW BEST:: SOT 1427730 SOS 1167627 HAS SOPS 604839 HAS SOUS 113099 HAS SOUPS 49549 WITH SCORE 50716.627
AT ITER 910 NEW BEST:: SOT 1427468 SOS 1169485 HAS SOPS 605137 HAS SOUS 113140 HAS SOUPS 49486 WITH SCORE 50655.485
AT ITER 924 NEW BEST:: SOT 1427495 SOS 1169512 HAS SOPS 605164 HAS SOUS 113113 HAS SOUPS 49459 WITH SCORE 50628.512
AT ITER 942 NEW BEST:: SOT 1427371 SOS 1171186 HAS SOPS 605040 HAS SOUS 113051 HAS SOUPS 49397 WITH SCORE 50568.186
AT ITER 962 NEW BEST:: SOT 1427371 SOS 1171186 HAS SOPS 605040 HAS SOUS 113023 HAS SOUPS 49369 WITH SCORE 50540.186
AT ITER 981 NEW BEST:: SOT 1427371 SOS 1171186 HAS SOPS 605040 HAS SOUS 113021 HAS SOUPS 49367 WITH SCORE 50538.186
AT ITER 997 NEW BEST:: SOT 1427372 SOS 1171293 HAS SOPS 604972 HAS SOUS 112988 HAS SOUPS 49299 WITH SCORE 50470.293
AT ITER 1010 NEW BEST:: SOT 1427308 SOS 1171067 HAS SOPS 605236 HAS SOUS 112831 HAS SOUPS 49240 WITH SCORE 50411.067
AT ITER 1038 NEW BEST:: SOT 1427315 SOS 1171074 HAS SOPS 605243 HAS SOUS 112824 HAS SOUPS 49233 WITH SCORE 50404.074
AT ITER 1045 NEW BEST:: SOT 1427256 SOS 1171376 HAS SOPS 605395 HAS SOUS 112780 HAS SOUPS 49189 WITH SCORE 50360.376
AT ITER 1064 NEW BEST:: SOT 1427376 SOS 1164596 HAS SOPS 605401 HAS SOUS 112472 HAS SOUPS 48881 WITH SCORE 50045.596
AT ITER 1069 NEW BEST:: SOT 1427376 SOS 1164596 HAS SOPS 605401 HAS SOUS 112448 HAS SOUPS 48857 WITH SCORE 50021.596
AT ITER 1074 NEW BEST:: SOT 1427376 SOS 1164596 HAS SOPS 605401 HAS SOUS 112436 HAS SOUPS 48845 WITH SCORE 50009.596
AT ITER 1101 NEW BEST:: SOT 1427239 SOS 1164322 HAS SOPS 605127 HAS SOUS 112250 HAS SOUPS 48659 WITH SCORE 49823.322
AT ITER 1105 NEW BEST:: SOT 1426717 SOS 1163132 HAS SOPS 604667 HAS SOUS 112056 HAS SOUPS 48611 WITH SCORE 49774.132
AT ITER 1107 NEW BEST:: SOT 1426688 SOS 1159832 HAS SOPS 601367 HAS SOUS 112043 HAS SOUPS 48598 WITH SCORE 49757.832
AT ITER 1113 NEW BEST:: SOT 1426688 SOS 1159832 HAS SOPS 601367 HAS SOUS 111985 HAS SOUPS 48540 WITH SCORE 49699.832
AT ITER 1114 NEW BEST:: SOT 1426688 SOS 1159832 HAS SOPS 601367 HAS SOUS 111949 HAS SOUPS 48504 WITH SCORE 49663.832
AT ITER 1170 NEW BEST:: SOT 1426688 SOS 1159832 HAS SOPS 601367 HAS SOUS 111933 HAS SOUPS 48488 WITH SCORE 49647.832
AT ITER 1176 NEW BEST:: SOT 1426668 SOS 1159792 HAS SOPS 601327 HAS SOUS 111893 HAS SOUPS 48448 WITH SCORE 49607.792
AT ITER 1199 NEW BEST:: SOT 1426641 SOS 1159738 HAS SOPS 601483 HAS SOUS 111831 HAS SOUPS 48428 WITH SCORE 49587.738
AT ITER 1207 NEW BEST:: SOT 1426641 SOS 1159738 HAS SOPS 601483 HAS SOUS 111787 HAS SOUPS 48384 WITH SCORE 49543.738
AT ITER 1209 NEW BEST:: SOT 1426551 SOS 1159773 HAS SOPS 600943 HAS SOUS 111771 HAS SOUPS 48253 WITH SCORE 49412.773
AT ITER 1220 NEW BEST:: SOT 1426551 SOS 1159773 HAS SOPS 600943 HAS SOUS 111745 HAS SOUPS 48227 WITH SCORE 49386.773
AT ITER 1223 NEW BEST:: SOT 1424082 SOS 1156616 HAS SOPS 598452 HAS SOUS 111814 HAS SOUPS 48170 WITH SCORE 49326.616
AT ITER 1230 NEW BEST:: SOT 1424070 SOS 1156562 HAS SOPS 598428 HAS SOUS 111784 HAS SOUPS 48146 WITH SCORE 49302.562
AT ITER 1232 NEW BEST:: SOT 1424086 SOS 1155044 HAS SOPS 598360 HAS SOUS 111750 HAS SOUPS 48112 WITH SCORE 49267.044
AT ITER 1239 NEW BEST:: SOT 1423960 SOS 1153518 HAS SOPS 597674 HAS SOUS 111638 HAS SOUPS 48056 WITH SCORE 49209.518
AT ITER 1259 NEW BEST:: SOT 1423948 SOS 1153494 HAS SOPS 597650 HAS SOUS 111614 HAS SOUPS 48032 WITH SCORE 49185.494
AT ITER 1353 NEW BEST:: SOT 1423922 SOS 1153802 HAS SOPS 597483 HAS SOUS 111676 HAS SOUPS 47999 WITH SCORE 49152.802
AT ITER 1370 NEW BEST:: SOT 1423908 SOS 1153820 HAS SOPS 597471 HAS SOUS 111670 HAS SOUPS 47991 WITH SCORE 49144.82
AT ITER 1382 NEW BEST:: SOT 1422974 SOS 1152734 HAS SOPS 596811 HAS SOUS 111595 HAS SOUPS 47916 WITH SCORE 49068.734
AT ITER 1393 NEW BEST:: SOT 1422974 SOS 1152734 HAS SOPS 596811 HAS SOUS 111555 HAS SOUPS 47876 WITH SCORE 49028.734
AT ITER 1400 NEW BEST:: SOT 1422965 SOS 1152716 HAS SOPS 596748 HAS SOUS 111555 HAS SOUPS 47867 WITH SCORE 49019.716
AT ITER 1401 NEW BEST:: SOT 1422934 SOS 1152594 HAS SOPS 596701 HAS SOUS 111534 HAS SOUPS 47861 WITH SCORE 49013.594
AT ITER 1406 NEW BEST:: SOT 1422337 SOS 1154557 HAS SOPS 597324 HAS SOUS 111183 HAS SOUPS 47510 WITH SCORE 48664.557
AT ITER 1424 NEW BEST:: SOT 1422337 SOS 1154557 HAS SOPS 597324 HAS SOUS 111149 HAS SOUPS 47476 WITH SCORE 48630.557
AT ITER 1431 NEW BEST:: SOT 1422317 SOS 1154527 HAS SOPS 597244 HAS SOUS 111139 HAS SOUPS 47456 WITH SCORE 48610.527
AT ITER 1440 NEW BEST:: SOT 1422251 SOS 1154230 HAS SOPS 597112 HAS SOUS 111006 HAS SOUPS 47356 WITH SCORE 48510.23
AT ITER 1441 NEW BEST:: SOT 1421716 SOS 1155930 HAS SOPS 597162 HAS SOUS 111042 HAS SOUPS 47282 WITH SCORE 48437.93
AT ITER 1469 NEW BEST:: SOT 1421628 SOS 1155369 HAS SOPS 596601 HAS SOUS 110930 HAS SOUPS 47170 WITH SCORE 48325.369
AT ITER 1472 NEW BEST:: SOT 1421636 SOS 1155730 HAS SOPS 596962 HAS SOUS 110861 HAS SOUPS 47101 WITH SCORE 48256.73
AT ITER 1476 NEW BEST:: SOT 1420469 SOS 1154133 HAS SOPS 595923 HAS SOUS 110826 HAS SOUPS 47066 WITH SCORE 48220.133
AT ITER 1486 NEW BEST:: SOT 1420465 SOS 1154125 HAS SOPS 595915 HAS SOUS 110822 HAS SOUPS 47062 WITH SCORE 48216.125
AT ITER 1505 NEW BEST:: SOT 1420363 SOS 1154227 HAS SOPS 595762 HAS SOUS 110822 HAS SOUPS 47011 WITH SCORE 48165.227
AT ITER 1512 NEW BEST:: SOT 1420351 SOS 1154200 HAS SOPS 595750 HAS SOUS 110816 HAS SOUPS 47008 WITH SCORE 48162.2
AT ITER 1552 NEW BEST:: SOT 1419603 SOS 1153240 HAS SOPS 595192 HAS SOUS 110798 HAS SOUPS 46990 WITH SCORE 48143.24
AT ITER 1553 NEW BEST:: SOT 1419603 SOS 1153240 HAS SOPS 595192 HAS SOUS 110738 HAS SOUPS 46930 WITH SCORE 48083.24
AT ITER 1560 NEW BEST:: SOT 1419251 SOS 1154191 HAS SOPS 595243 HAS SOUS 110617 HAS SOUPS 46749 WITH SCORE 47903.191
AT ITER 1565 NEW BEST:: SOT 1419244 SOS 1154177 HAS SOPS 595229 HAS SOUS 110610 HAS SOUPS 46742 WITH SCORE 47896.177
AT ITER 1574 NEW BEST:: SOT 1418833 SOS 1156974 HAS SOPS 595896 HAS SOUS 110410 HAS SOUPS 46400 WITH SCORE 47556.974
AT ITER 1577 NEW BEST:: SOT 1418833 SOS 1156554 HAS SOPS 595952 HAS SOUS 110382 HAS SOUPS 46386 WITH SCORE 47542.554000000004
AT ITER 1582 NEW BEST:: SOT 1418397 SOS 1155602 HAS SOPS 595400 HAS SOUS 110073 HAS SOUPS 46157 WITH SCORE 47312.602
AT ITER 1618 NEW BEST:: SOT 1417638 SOS 1158873 HAS SOPS 596076 HAS SOUS 109986 HAS SOUPS 45897 WITH SCORE 47055.873
AT ITER 1635 NEW BEST:: SOT 1417637 SOS 1158872 HAS SOPS 596075 HAS SOUS 109985 HAS SOUPS 45896 WITH SCORE 47054.872
AT ITER 1638 NEW BEST:: SOT 1417637 SOS 1158872 HAS SOPS 596075 HAS SOUS 109967 HAS SOUPS 45878 WITH SCORE 47036.872
AT ITER 1645 NEW BEST:: SOT 1417062 SOS 1160822 HAS SOPS 596300 HAS SOUS 109883 HAS SOUPS 45679 WITH SCORE 46839.822
AT ITER 1656 NEW BEST:: SOT 1416883 SOS 1160300 HAS SOPS 596356 HAS SOUS 109747 HAS SOUPS 45643 WITH SCORE 46803.3
AT ITER 1662 NEW BEST:: SOT 1416733 SOS 1159796 HAS SOPS 595852 HAS SOUS 109665 HAS SOUPS 45561 WITH SCORE 46720.796
AT ITER 1693 NEW BEST:: SOT 1416599 SOS 1159528 HAS SOPS 595584 HAS SOUS 109397 HAS SOUPS 45293 WITH SCORE 46452.528
AT ITER 1704 NEW BEST:: SOT 1416575 SOS 1159852 HAS SOPS 595560 HAS SOUS 109385 HAS SOUPS 45281 WITH SCORE 46440.852
AT ITER 1705 NEW BEST:: SOT 1416575 SOS 1159852 HAS SOPS 595560 HAS SOUS 109337 HAS SOUPS 45233 WITH SCORE 46392.852
AT ITER 1708 NEW BEST:: SOT 1416582 SOS 1159791 HAS SOPS 595574 HAS SOUS 109315 HAS SOUPS 45226 WITH SCORE 46385.791
AT ITER 1744 NEW BEST:: SOT 1414497 SOS 1156999 HAS SOPS 594233 HAS SOUS 109246 HAS SOUPS 45205 WITH SCORE 46361.999
AT ITER 1752 NEW BEST:: SOT 1413963 SOS 1156423 HAS SOPS 593903 HAS SOUS 109245 HAS SOUPS 45204 WITH SCORE 46360.423
AT ITER 1773 NEW BEST:: SOT 1413941 SOS 1156019 HAS SOPS 594134 HAS SOUS 109096 HAS SOUPS 45182 WITH SCORE 46338.019
AT ITER 1784 NEW BEST:: SOT 1414003 SOS 1155923 HAS SOPS 592898 HAS SOUS 109159 HAS SOUPS 45169 WITH SCORE 46324.923
AT ITER 1814 NEW BEST:: SOT 1413696 SOS 1158302 HAS SOPS 593767 HAS SOUS 109152 HAS SOUPS 45162 WITH SCORE 46320.302
AT ITER 1849 NEW BEST:: SOT 1413660 SOS 1158248 HAS SOPS 593623 HAS SOUS 109098 HAS SOUPS 45090 WITH SCORE 46248.248
AT ITER 1852 NEW BEST:: SOT 1413660 SOS 1158248 HAS SOPS 593623 HAS SOUS 109074 HAS SOUPS 45066 WITH SCORE 46224.248
AT ITER 1858 NEW BEST:: SOT 1413724 SOS 1158236 HAS SOPS 594296 HAS SOUS 108930 HAS SOUPS 45059 WITH SCORE 46217.236
AT ITER 1871 NEW BEST:: SOT 1413724 SOS 1158451 HAS SOPS 594296 HAS SOUS 108968 HAS SOUPS 45054 WITH SCORE 46212.451
AT ITER 1875 NEW BEST:: SOT 1413786 SOS 1158575 HAS SOPS 594420 HAS SOUS 108918 HAS SOUPS 45004 WITH SCORE 46162.575
AT ITER 1883 NEW BEST:: SOT 1413755 SOS 1158961 HAS SOPS 594646 HAS SOUS 108903 HAS SOUPS 44989 WITH SCORE 46147.961
AT ITER 1888 NEW BEST:: SOT 1413755 SOS 1158961 HAS SOPS 594646 HAS SOUS 108887 HAS SOUPS 44973 WITH SCORE 46131.961
AT ITER 1898 NEW BEST:: SOT 1413751 SOS 1158821 HAS SOPS 594506 HAS SOUS 108883 HAS SOUPS 44969 WITH SCORE 46127.820999999996
AT ITER 1901 NEW BEST:: SOT 1410707 SOS 1156173 HAS SOPS 593178 HAS SOUS 108952 HAS SOUPS 44939 WITH SCORE 46095.173
AT ITER 1905 NEW BEST:: SOT 1410707 SOS 1156077 HAS SOPS 593082 HAS SOUS 108928 HAS SOUPS 44915 WITH SCORE 46071.077
AT ITER 1906 NEW BEST:: SOT 1410970 SOS 1154329 HAS SOPS 591334 HAS SOUS 108895 HAS SOUPS 44882 WITH SCORE 46036.329
AT ITER 1915 NEW BEST:: SOT 1410855 SOS 1153907 HAS SOPS 591232 HAS SOUS 108793 HAS SOUPS 44844 WITH SCORE 45997.907
AT ITER 1921 NEW BEST:: SOT 1410855 SOS 1153907 HAS SOPS 591232 HAS SOUS 108761 HAS SOUPS 44812 WITH SCORE 45965.907
AT ITER 1926 NEW BEST:: SOT 1410835 SOS 1153563 HAS SOPS 591610 HAS SOUS 108741 HAS SOUPS 44792 WITH SCORE 45945.563
AT ITER 1931 NEW BEST:: SOT 1410853 SOS 1153041 HAS SOPS 591700 HAS SOUS 108723 HAS SOUPS 44792 WITH SCORE 45945.041
AT ITER 1935 NEW BEST:: SOT 1410852 SOS 1153036 HAS SOPS 591695 HAS SOUS 108722 HAS SOUPS 44791 WITH SCORE 45944.036
AT ITER 1954 NEW BEST:: SOT 1410396 SOS 1154317 HAS SOPS 592016 HAS SOUS 108473 HAS SOUPS 44542 WITH SCORE 45696.317
AT ITER 1959 NEW BEST:: SOT 1410396 SOS 1154317 HAS SOPS 592016 HAS SOUS 108463 HAS SOUPS 44532 WITH SCORE 45686.317
AT ITER 1966 NEW BEST:: SOT 1410332 SOS 1154189 HAS SOPS 591888 HAS SOUS 108349 HAS SOUPS 44418 WITH SCORE 45572.189
AT ITER 1973 NEW BEST:: SOT 1410841 SOS 1154862 HAS SOPS 592243 HAS SOUS 108270 HAS SOUPS 44339 WITH SCORE 45493.862
AT ITER 1985 NEW BEST:: SOT 1411450 SOS 1155288 HAS SOPS 592669 HAS SOUS 108190 HAS SOUPS 44330 WITH SCORE 45485.288
AT ITER 1999 NEW BEST:: SOT 1411442 SOS 1155148 HAS SOPS 592665 HAS SOUS 108186 HAS SOUPS 44330 WITH SCORE 45485.148
AT ITER 2015 NEW BEST:: SOT 1411350 SOS 1154674 HAS SOPS 592876 HAS SOUS 107773 HAS SOUPS 44054 WITH SCORE 45208.674
AT ITER 2016 NEW BEST:: SOT 1411372 SOS 1154593 HAS SOPS 592920 HAS SOUS 107745 HAS SOUPS 44051 WITH SCORE 45205.593
AT ITER 2023 NEW BEST:: SOT 1411372 SOS 1154593 HAS SOPS 592920 HAS SOUS 107743 HAS SOUPS 44049 WITH SCORE 45203.593
AT ITER 2051 NEW BEST:: SOT 1411390 SOS 1153824 HAS SOPS 592501 HAS SOUS 107691 HAS SOUPS 43997 WITH SCORE 45150.824
AT ITER 2065 NEW BEST:: SOT 1411376 SOS 1153796 HAS SOPS 592473 HAS SOUS 107676 HAS SOUPS 43982 WITH SCORE 45135.796
AT ITER 2072 NEW BEST:: SOT 1411373 SOS 1153790 HAS SOPS 592467 HAS SOUS 107673 HAS SOUPS 43979 WITH SCORE 45132.79
AT ITER 2085 NEW BEST:: SOT 1411298 SOS 1153360 HAS SOPS 592317 HAS SOUS 107542 HAS SOUPS 43904 WITH SCORE 45057.36
AT ITER 2106 NEW BEST:: SOT 1411292 SOS 1153347 HAS SOPS 592304 HAS SOUS 107539 HAS SOUPS 43901 WITH SCORE 45054.347
AT ITER 2115 NEW BEST:: SOT 1411292 SOS 1153347 HAS SOPS 592304 HAS SOUS 107465 HAS SOUPS 43827 WITH SCORE 44980.347
AT ITER 2124 NEW BEST:: SOT 1411246 SOS 1153255 HAS SOPS 592212 HAS SOUS 107419 HAS SOUPS 43781 WITH SCORE 44934.255
AT ITER 2127 NEW BEST:: SOT 1411209 SOS 1153257 HAS SOPS 592214 HAS SOUS 107411 HAS SOUPS 43773 WITH SCORE 44926.257
AT ITER 2146 NEW BEST:: SOT 1411150 SOS 1153004 HAS SOPS 592256 HAS SOUS 107293 HAS SOUPS 43714 WITH SCORE 44867.004
AT ITER 2153 NEW BEST:: SOT 1411034 SOS 1152772 HAS SOPS 592024 HAS SOUS 107177 HAS SOUPS 43598 WITH SCORE 44750.772
AT ITER 2229 NEW BEST:: SOT 1411034 SOS 1151820 HAS SOPS 591548 HAS SOUS 107137 HAS SOUPS 43572 WITH SCORE 44723.82
AT ITER 2239 NEW BEST:: SOT 1411046 SOS 1151832 HAS SOPS 591554 HAS SOUS 107136 HAS SOUPS 43571 WITH SCORE 44722.832
AT ITER 2242 NEW BEST:: SOT 1410943 SOS 1149503 HAS SOPS 590361 HAS SOUS 107020 HAS SOUPS 43418 WITH SCORE 44567.503
AT ITER 2306 NEW BEST:: SOT 1411077 SOS 1148495 HAS SOPS 590133 HAS SOUS 106941 HAS SOUPS 43391 WITH SCORE 44539.495
AT ITER 2314 NEW BEST:: SOT 1411077 SOS 1148495 HAS SOPS 590133 HAS SOUS 106938 HAS SOUPS 43388 WITH SCORE 44536.495
AT ITER 2324 NEW BEST:: SOT 1411081 SOS 1147991 HAS SOPS 589809 HAS SOUS 106923 HAS SOUPS 43373 WITH SCORE 44520.991
AT ITER 2327 NEW BEST:: SOT 1411081 SOS 1147991 HAS SOPS 589809 HAS SOUS 106899 HAS SOUPS 43349 WITH SCORE 44496.991
AT ITER 2372 NEW BEST:: SOT 1411081 SOS 1147991 HAS SOPS 589809 HAS SOUS 106894 HAS SOUPS 43344 WITH SCORE 44491.991
AT ITER 2389 NEW BEST:: SOT 1411081 SOS 1147991 HAS SOPS 589809 HAS SOUS 106876 HAS SOUPS 43326 WITH SCORE 44473.991
AT ITER 2391 NEW BEST:: SOT 1411035 SOS 1147936 HAS SOPS 589569 HAS SOUS 106811 HAS SOUPS 43224 WITH SCORE 44371.936
AT ITER 2403 NEW BEST:: SOT 1411031 SOS 1147928 HAS SOPS 589561 HAS SOUS 106807 HAS SOUPS 43220 WITH SCORE 44367.928
AT ITER 2435 NEW BEST:: SOT 1411031 SOS 1147928 HAS SOPS 589561 HAS SOUS 106747 HAS SOUPS 43160 WITH SCORE 44307.928
AT ITER 2445 NEW BEST:: SOT 1410775 SOS 1148984 HAS SOPS 589627 HAS SOUS 106729 HAS SOUPS 43076 WITH SCORE 44224.984
AT ITER 2470 NEW BEST:: SOT 1410630 SOS 1145359 HAS SOPS 587727 HAS SOUS 106524 HAS SOUPS 42986 WITH SCORE 44131.359
AT ITER 2473 NEW BEST:: SOT 1410614 SOS 1145511 HAS SOPS 587799 HAS SOUS 106516 HAS SOUPS 42978 WITH SCORE 44123.511
AT ITER 2520 NEW BEST:: SOT 1410627 SOS 1145537 HAS SOPS 587825 HAS SOUS 106461 HAS SOUPS 42923 WITH SCORE 44068.537
AT ITER 2528 NEW BEST:: SOT 1410330 SOS 1144838 HAS SOPS 587651 HAS SOUS 106191 HAS SOUPS 42758 WITH SCORE 43902.838
AT ITER 2549 NEW BEST:: SOT 1410330 SOS 1144838 HAS SOPS 587651 HAS SOUS 106133 HAS SOUPS 42700 WITH SCORE 43844.838
AT ITER 2557 NEW BEST:: SOT 1410126 SOS 1140491 HAS SOPS 586058 HAS SOUS 106049 HAS SOUPS 42697 WITH SCORE 43837.491
AT ITER 2560 NEW BEST:: SOT 1410070 SOS 1140358 HAS SOPS 586030 HAS SOUS 106014 HAS SOUPS 42683 WITH SCORE 43823.358
AT ITER 2593 NEW BEST:: SOT 1409975 SOS 1140079 HAS SOPS 586196 HAS SOUS 105830 HAS SOUPS 42588 WITH SCORE 43728.079
AT ITER 2608 NEW BEST:: SOT 1409908 SOS 1139785 HAS SOPS 585902 HAS SOUS 105811 HAS SOUPS 42569 WITH SCORE 43708.785
AT ITER 2610 NEW BEST:: SOT 1409775 SOS 1139437 HAS SOPS 585964 HAS SOUS 105713 HAS SOUPS 42553 WITH SCORE 43692.437
AT ITER 2641 NEW BEST:: SOT 1409775 SOS 1139237 HAS SOPS 585964 HAS SOUS 105633 HAS SOUPS 42513 WITH SCORE 43652.237
AT ITER 2655 NEW BEST:: SOT 1409773 SOS 1139259 HAS SOPS 585856 HAS SOUS 105631 HAS SOUPS 42485 WITH SCORE 43624.259
AT ITER 2666 NEW BEST:: SOT 1409789 SOS 1137555 HAS SOPS 585082 HAS SOUS 105488 HAS SOUPS 42404 WITH SCORE 43541.555
AT ITER 2708 NEW BEST:: SOT 1409750 SOS 1137477 HAS SOPS 585004 HAS SOUS 105449 HAS SOUPS 42365 WITH SCORE 43502.477
AT ITER 2721 NEW BEST:: SOT 1409750 SOS 1137442 HAS SOPS 585003 HAS SOUS 105447 HAS SOUPS 42364 WITH SCORE 43501.442
AT ITER 2733 NEW BEST:: SOT 1409604 SOS 1137150 HAS SOPS 584711 HAS SOUS 105427 HAS SOUPS 42344 WITH SCORE 43481.15
AT ITER 2758 NEW BEST:: SOT 1409496 SOS 1136837 HAS SOPS 584883 HAS SOUS 105301 HAS SOUPS 42315 WITH SCORE 43451.837
AT ITER 2761 NEW BEST:: SOT 1409486 SOS 1136767 HAS SOPS 584863 HAS SOUS 105271 HAS SOUPS 42295 WITH SCORE 43431.767
AT ITER 2779 NEW BEST:: SOT 1409486 SOS 1136767 HAS SOPS 584863 HAS SOUS 105255 HAS SOUPS 42279 WITH SCORE 43415.767
AT ITER 2785 NEW BEST:: SOT 1409486 SOS 1136767 HAS SOPS 584863 HAS SOUS 105237 HAS SOUPS 42261 WITH SCORE 43397.767
AT ITER 2787 NEW BEST:: SOT 1408779 SOS 1109650 HAS SOPS 561889 HAS SOUS 105188 HAS SOUPS 42212 WITH SCORE 43321.65
AT ITER 2814 NEW BEST:: SOT 1408446 SOS 1108540 HAS SOPS 561334 HAS SOUS 104966 HAS SOUPS 42101 WITH SCORE 43209.54
AT ITER 2822 NEW BEST:: SOT 1408446 SOS 1108540 HAS SOPS 561334 HAS SOUS 104948 HAS SOUPS 42083 WITH SCORE 43191.54
AT ITER 2826 NEW BEST:: SOT 1408475 SOS 1108569 HAS SOPS 561363 HAS SOUS 104866 HAS SOUPS 42001 WITH SCORE 43109.569
AT ITER 2836 NEW BEST:: SOT 1408475 SOS 1108569 HAS SOPS 561363 HAS SOUS 104864 HAS SOUPS 41999 WITH SCORE 43107.569
AT ITER 2843 NEW BEST:: SOT 1408475 SOS 1108569 HAS SOPS 561363 HAS SOUS 104846 HAS SOUPS 41981 WITH SCORE 43089.569
AT ITER 2862 NEW BEST:: SOT 1409098 SOS 1113032 HAS SOPS 563592 HAS SOUS 104563 HAS SOUPS 41698 WITH SCORE 42811.032
AT ITER 2896 NEW BEST:: SOT 1406744 SOS 1109605 HAS SOPS 562189 HAS SOUS 104370 HAS SOUPS 41689 WITH SCORE 42798.605
AT ITER 2900 NEW BEST:: SOT 1406737 SOS 1109606 HAS SOPS 562192 HAS SOUS 104358 HAS SOUPS 41677 WITH SCORE 42786.606
AT ITER 2906 NEW BEST:: SOT 1406737 SOS 1109606 HAS SOPS 562192 HAS SOUS 104348 HAS SOUPS 41667 WITH SCORE 42776.606
AT ITER 2977 NEW BEST:: SOT 1406737 SOS 1109156 HAS SOPS 561667 HAS SOUS 104363 HAS SOUPS 41667 WITH SCORE 42776.156
AT ITER 2995 NEW BEST:: SOT 1406654 SOS 1110585 HAS SOPS 562271 HAS SOUS 104358 HAS SOUPS 41607 WITH SCORE 42717.585
AT ITER 3006 NEW BEST:: SOT 1406630 SOS 1110537 HAS SOPS 562223 HAS SOUS 104358 HAS SOUPS 41607 WITH SCORE 42717.537
AT ITER 3059 NEW BEST:: SOT 1406630 SOS 1110537 HAS SOPS 562223 HAS SOUS 104298 HAS SOUPS 41547 WITH SCORE 42657.537
AT ITER 3065 NEW BEST:: SOT 1406587 SOS 1110451 HAS SOPS 562137 HAS SOUS 104203 HAS SOUPS 41452 WITH SCORE 42562.451
AT ITER 3067 NEW BEST:: SOT 1406587 SOS 1110336 HAS SOPS 562137 HAS SOUS 104157 HAS SOUPS 41429 WITH SCORE 42539.336
AT ITER 3130 NEW BEST:: SOT 1406599 SOS 1110291 HAS SOPS 562137 HAS SOUS 104154 HAS SOUPS 41429 WITH SCORE 42539.291
AT ITER 3143 NEW BEST:: SOT 1406549 SOS 1110191 HAS SOPS 562037 HAS SOUS 104045 HAS SOUPS 41320 WITH SCORE 42430.191
AT ITER 3151 NEW BEST:: SOT 1406297 SOS 1109935 HAS SOPS 561781 HAS SOUS 103952 HAS SOUPS 41227 WITH SCORE 42336.935
AT ITER 3180 NEW BEST:: SOT 1406295 SOS 1109931 HAS SOPS 561777 HAS SOUS 103946 HAS SOUPS 41221 WITH SCORE 42330.931
AT ITER 3237 NEW BEST:: SOT 1406272 SOS 1109885 HAS SOPS 561616 HAS SOUS 103946 HAS SOUPS 41198 WITH SCORE 42307.885
AT ITER 3243 NEW BEST:: SOT 1406233 SOS 1109539 HAS SOPS 561545 HAS SOUS 103846 HAS SOUPS 41153 WITH SCORE 42262.539
AT ITER 3253 NEW BEST:: SOT 1406235 SOS 1109813 HAS SOPS 561669 HAS SOUS 103848 HAS SOUPS 41145 WITH SCORE 42254.813
AT ITER 3264 NEW BEST:: SOT 1406022 SOS 1109587 HAS SOPS 561443 HAS SOUS 103841 HAS SOUPS 41138 WITH SCORE 42247.587
AT ITER 3296 NEW BEST:: SOT 1405969 SOS 1109481 HAS SOPS 561337 HAS SOUS 103788 HAS SOUPS 41085 WITH SCORE 42194.481
AT ITER 3299 NEW BEST:: SOT 1405962 SOS 1109446 HAS SOPS 561197 HAS SOUS 103785 HAS SOUPS 41075 WITH SCORE 42184.445999999996
AT ITER 3380 NEW BEST:: SOT 1405820 SOS 1109138 HAS SOPS 560853 HAS SOUS 103759 HAS SOUPS 41049 WITH SCORE 42158.138
AT ITER 3404 NEW BEST:: SOT 1405923 SOS 1109389 HAS SOPS 560879 HAS SOUS 103796 HAS SOUPS 41041 WITH SCORE 42150.389
AT ITER 3435 NEW BEST:: SOT 1405919 SOS 1109381 HAS SOPS 560871 HAS SOUS 103731 HAS SOUPS 40976 WITH SCORE 42085.381
AT ITER 3494 NEW BEST:: SOT 1405919 SOS 1109381 HAS SOPS 560871 HAS SOUS 103705 HAS SOUPS 40950 WITH SCORE 42059.381
AT ITER 3540 NEW BEST:: SOT 1405994 SOS 1109491 HAS SOPS 560981 HAS SOUS 103695 HAS SOUPS 40940 WITH SCORE 42049.491
AT ITER 3545 NEW BEST:: SOT 1406066 SOS 1109591 HAS SOPS 561081 HAS SOUS 103683 HAS SOUPS 40928 WITH SCORE 42037.591
AT ITER 3547 NEW BEST:: SOT 1406085 SOS 1109686 HAS SOPS 561081 HAS SOUS 103683 HAS SOUPS 40909 WITH SCORE 42018.686
AT ITER 3548 NEW BEST:: SOT 1405925 SOS 1111667 HAS SOPS 562092 HAS SOUS 103664 HAS SOUPS 40890 WITH SCORE 42001.667
AT ITER 3598 NEW BEST:: SOT 1405909 SOS 1111600 HAS SOPS 562025 HAS SOUS 103648 HAS SOUPS 40874 WITH SCORE 41985.6
AT ITER 3603 NEW BEST:: SOT 1405909 SOS 1111600 HAS SOPS 562025 HAS SOUS 103646 HAS SOUPS 40872 WITH SCORE 41983.6
AT ITER 3638 NEW BEST:: SOT 1405825 SOS 1111252 HAS SOPS 561677 HAS SOUS 103517 HAS SOUPS 40743 WITH SCORE 41854.252
AT ITER 3660 NEW BEST:: SOT 1406030 SOS 1072742 HAS SOPS 528793 HAS SOUS 103519 HAS SOUPS 40745 WITH SCORE 41817.742
AT ITER 3676 NEW BEST:: SOT 1406025 SOS 1072652 HAS SOPS 528783 HAS SOUS 103482 HAS SOUPS 40724 WITH SCORE 41796.652
AT ITER 3696 NEW BEST:: SOT 1406663 SOS 1073290 HAS SOPS 529073 HAS SOUS 103448 HAS SOUPS 40690 WITH SCORE 41763.29
AT ITER 3708 NEW BEST:: SOT 1406768 SOS 1073390 HAS SOPS 529173 HAS SOUS 103443 HAS SOUPS 40685 WITH SCORE 41758.39
AT ITER 3725 NEW BEST:: SOT 1406730 SOS 1073827 HAS SOPS 529325 HAS SOUS 103405 HAS SOUPS 40628 WITH SCORE 41701.827
AT ITER 3750 NEW BEST:: SOT 1406730 SOS 1073752 HAS SOPS 529250 HAS SOUS 103390 HAS SOUPS 40613 WITH SCORE 41686.752
AT ITER 3784 NEW BEST:: SOT 1406197 SOS 1072006 HAS SOPS 530784 HAS SOUS 103221 HAS SOUPS 40508 WITH SCORE 41580.006
AT ITER 3795 NEW BEST:: SOT 1406153 SOS 1072171 HAS SOPS 530839 HAS SOUS 103199 HAS SOUPS 40486 WITH SCORE 41558.171
AT ITER 3800 NEW BEST:: SOT 1406099 SOS 1070559 HAS SOPS 529932 HAS SOUS 103068 HAS SOUPS 40402 WITH SCORE 41472.559
AT ITER 3829 NEW BEST:: SOT 1406099 SOS 1070559 HAS SOPS 529932 HAS SOUS 103054 HAS SOUPS 40388 WITH SCORE 41458.559
AT ITER 3842 NEW BEST:: SOT 1406070 SOS 1069481 HAS SOPS 529364 HAS SOUS 103025 HAS SOUPS 40374 WITH SCORE 41443.481
AT ITER 3863 NEW BEST:: SOT 1406070 SOS 1069366 HAS SOPS 529364 HAS SOUS 102982 HAS SOUPS 40354 WITH SCORE 41423.366
AT ITER 3895 NEW BEST:: SOT 1406029 SOS 1069339 HAS SOPS 529087 HAS SOUS 103000 HAS SOUPS 40322 WITH SCORE 41391.339
AT ITER 3905 NEW BEST:: SOT 1406025 SOS 1069176 HAS SOPS 529264 HAS SOUS 102897 HAS SOUPS 40287 WITH SCORE 41356.176
AT ITER 3958 NEW BEST:: SOT 1406063 SOS 1069271 HAS SOPS 529264 HAS SOUS 102877 HAS SOUPS 40248 WITH SCORE 41317.271
AT ITER 3974 NEW BEST:: SOT 1405566 SOS 1068897 HAS SOPS 528890 HAS SOUS 102814 HAS SOUPS 40185 WITH SCORE 41253.897
AT ITER 4008 NEW BEST:: SOT 1405647 SOS 1068903 HAS SOPS 528896 HAS SOUS 102785 HAS SOUPS 40156 WITH SCORE 41224.903
AT ITER 4011 NEW BEST:: SOT 1405628 SOS 1068352 HAS SOPS 528630 HAS SOUS 102690 HAS SOUPS 40080 WITH SCORE 41148.352
AT ITER 4016 NEW BEST:: SOT 1405591 SOS 1068278 HAS SOPS 528371 HAS SOUS 102690 HAS SOUPS 40043 WITH SCORE 41111.278
AT ITER 4045 NEW BEST:: SOT 1403604 SOS 1063798 HAS SOPS 524752 HAS SOUS 102788 HAS SOUPS 39960 WITH SCORE 41023.798
AT ITER 4051 NEW BEST:: SOT 1403602 SOS 1063794 HAS SOPS 524738 HAS SOUS 102788 HAS SOUPS 39958 WITH SCORE 41021.794
AT ITER 4056 NEW BEST:: SOT 1403526 SOS 1066373 HAS SOPS 527317 HAS SOUS 102756 HAS SOUPS 39926 WITH SCORE 40992.373
AT ITER 4087 NEW BEST:: SOT 1403500 SOS 1066321 HAS SOPS 527135 HAS SOUS 102730 HAS SOUPS 39874 WITH SCORE 40940.320999999996
AT ITER 4116 NEW BEST:: SOT 1403500 SOS 1066321 HAS SOPS 527135 HAS SOUS 102704 HAS SOUPS 39848 WITH SCORE 40914.320999999996
AT ITER 4122 NEW BEST:: SOT 1402716 SOS 1065461 HAS SOPS 526629 HAS SOUS 102687 HAS SOUPS 39831 WITH SCORE 40896.461
AT ITER 4164 NEW BEST:: SOT 1402726 SOS 1064841 HAS SOPS 526299 HAS SOUS 102687 HAS SOUPS 39831 WITH SCORE 40895.841
AT ITER 4172 NEW BEST:: SOT 1402783 SOS 1061307 HAS SOPS 524418 HAS SOUS 102687 HAS SOUPS 39831 WITH SCORE 40892.307
AT ITER 4214 NEW BEST:: SOT 1401198 SOS 1059593 HAS SOPS 523478 HAS SOUS 102672 HAS SOUPS 39816 WITH SCORE 40875.593
AT ITER 4219 NEW BEST:: SOT 1401170 SOS 1059537 HAS SOPS 523422 HAS SOUS 102616 HAS SOUPS 39760 WITH SCORE 40819.537
AT ITER 4251 NEW BEST:: SOT 1401170 SOS 1059512 HAS SOPS 523522 HAS SOUS 102591 HAS SOUPS 39760 WITH SCORE 40819.512
AT ITER 4264 NEW BEST:: SOT 1401088 SOS 1059323 HAS SOPS 523618 HAS SOUS 102422 HAS SOUPS 39648 WITH SCORE 40707.323
AT ITER 4279 NEW BEST:: SOT 1401083 SOS 1059148 HAS SOPS 523518 HAS SOUS 102402 HAS SOUPS 39633 WITH SCORE 40692.148
AT ITER 4285 NEW BEST:: SOT 1401071 SOS 1059204 HAS SOPS 523370 HAS SOUS 102404 HAS SOUPS 39629 WITH SCORE 40688.204
AT ITER 4312 NEW BEST:: SOT 1400988 SOS 1057721 HAS SOPS 522257 HAS SOUS 102391 HAS SOUPS 39616 WITH SCORE 40673.721
AT ITER 4392 NEW BEST:: SOT 1400854 SOS 1056441 HAS SOPS 524302 HAS SOUS 102386 HAS SOUPS 39611 WITH SCORE 40667.441
AT ITER 4490 NEW BEST:: SOT 1400826 SOS 1056378 HAS SOPS 524274 HAS SOUS 102379 HAS SOUPS 39611 WITH SCORE 40667.378
AT ITER 4513 NEW BEST:: SOT 1400826 SOS 1056122 HAS SOPS 524138 HAS SOUS 102371 HAS SOUPS 39611 WITH SCORE 40667.122
AT ITER 4538 NEW BEST:: SOT 1400826 SOS 1056122 HAS SOPS 524138 HAS SOUS 102360 HAS SOUPS 39600 WITH SCORE 40656.122
AT ITER 4563 NEW BEST:: SOT 1400711 SOS 1055962 HAS SOPS 524050 HAS SOUS 102351 HAS SOUPS 39591 WITH SCORE 40646.962
AT ITER 4568 NEW BEST:: SOT 1400711 SOS 1055962 HAS SOPS 524050 HAS SOUS 102345 HAS SOUPS 39585 WITH SCORE 40640.962
AT ITER 4650 NEW BEST:: SOT 1400775 SOS 1056042 HAS SOPS 524082 HAS SOUS 102337 HAS SOUPS 39577 WITH SCORE 40633.042
AT ITER 4686 NEW BEST:: SOT 1400745 SOS 1054962 HAS SOPS 524022 HAS SOUS 102307 HAS SOUPS 39577 WITH SCORE 40631.962
AT ITER 4699 NEW BEST:: SOT 1400782 SOS 1054961 HAS SOPS 524021 HAS SOUS 102294 HAS SOUPS 39564 WITH SCORE 40618.961
AT ITER 4709 NEW BEST:: SOT 1400752 SOS 1054731 HAS SOPS 523961 HAS SOUS 102230 HAS SOUPS 39534 WITH SCORE 40588.731
AT ITER 4714 NEW BEST:: SOT 1400668 SOS 1056454 HAS SOPS 525989 HAS SOUS 102155 HAS SOUPS 39520 WITH SCORE 40576.454
AT ITER 4731 NEW BEST:: SOT 1400668 SOS 1056604 HAS SOPS 525989 HAS SOUS 102182 HAS SOUPS 39517 WITH SCORE 40573.604
AT ITER 4764 NEW BEST:: SOT 1400514 SOS 1042806 HAS SOPS 519603 HAS SOUS 101918 HAS SOUPS 39471 WITH SCORE 40513.806
AT ITER 4771 NEW BEST:: SOT 1400526 SOS 1045357 HAS SOPS 521926 HAS SOUS 101911 HAS SOUPS 39464 WITH SCORE 40509.357
AT ITER 4826 NEW BEST:: SOT 1400533 SOS 1045526 HAS SOPS 521940 HAS SOUS 101928 HAS SOUPS 39450 WITH SCORE 40495.526
AT ITER 4832 NEW BEST:: SOT 1400517 SOS 1045510 HAS SOPS 521924 HAS SOUS 101924 HAS SOUPS 39446 WITH SCORE 40491.51
AT ITER 4836 NEW BEST:: SOT 1400529 SOS 1045492 HAS SOPS 521918 HAS SOUS 101906 HAS SOUPS 39434 WITH SCORE 40479.492
AT ITER 4874 NEW BEST:: SOT 1400469 SOS 1045452 HAS SOPS 521878 HAS SOUS 101886 HAS SOUPS 39414 WITH SCORE 40459.452
AT ITER 4898 NEW BEST:: SOT 1400645 SOS 1044320 HAS SOPS 521276 HAS SOUS 101850 HAS SOUPS 39378 WITH SCORE 40422.32
AT ITER 4967 NEW BEST:: SOT 1400645 SOS 1044235 HAS SOPS 521616 HAS SOUS 101765 HAS SOUPS 39378 WITH SCORE 40422.235
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-00 (EG( ( (AG( potential( (tk(P321)) <= (tk(P457)) ))) | (AG( potential( (tk(P10)) <= (tk(P381)) ))) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-01 ( (EF((EF(potential( ( 2 ) <= (tk(P358)) ))))) | potential( ( 3 ) <= (tk(P139)) ) )
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-02 ( (! potential( ( 2 ) <= (tk(P111)) )) & (EF((EX( potential( ( 2 ) <= (tk(P473)) ))))) )
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-03 ( (AG( (AX( potential( ( 1 ) <= (tk(P452)) ))))) | ( ( (AG( potential( ( 3 ) <= (tk(P332)) ))) | (! ( potential( ( 2 ) <= (tk(P359)) ) | potential( ( 3 ) <= (tk(P369)) ) )) ) & (AG( (! potential( ( 1 ) <= (tk(P25)) )))) ) )
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-04 (AG( potential( (tk(P204)) <= (tk(P291)) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-05 ( (AG( (! ( potential( ( 3 ) <= (tk(P328)) ) & potential( (tk(P81)) <= (tk(P277)) ) )))) & (EU( potential( (tk(P107)) <= (tk(P355)) ),potential( (tk(P244)) <= (tk(P9)) ) )) )
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-06 (AF((EF(( potential( (tk(P268)) <= (tk(P54)) ) & potential( ( 3 ) <= (tk(P70)) ) )))))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-07 (EF(potential( ( 3 ) <= (tk(P238)) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-08 (! (EF((! ( potential( ( 3 ) <= (tk(P65)) ) | potential( (tk(P577)) <= (tk(P491)) ) )))))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-09 (EX( (AG( (! potential( ( 1 ) <= (tk(P111)) ))))))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-10 (EF(potential( ( 1 ) <= (tk(P51)) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-11 (AX( (EF(potential( ( 2 ) <= (tk(P453)) )))))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-12 (AG( potential( (tk(P296)) <= (tk(P295)) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-13 (EF((AG( ( potential( ( 3 ) <= (tk(P231)) ) & potential( (tk(P74)) <= (tk(P500)) ) )))))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-14 (EF(( (AF(potential( ( 2 ) <= (tk(P497)) ))) & ( ( potential( ( 1 ) <= (tk(P115)) ) | potential( ( 2 ) <= (tk(P419)) ) ) | potential( (tk(P237)) <= (tk(P403)) ) ) )))
PROPERTY: DLCflexbar-PT-3a-CTLCardinality-15 (AG( ( (! (! potential( (tk(P25)) <= (tk(P500)) ))) & (EF(potential( ( 3 ) <= (tk(P130)) ))) )))

BK_STOP 1589116047543

--------------------
content from stderr:

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 Aborted ${SMART} ${INPUT_SM}

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-3a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-3a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100355"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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