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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 988K
-rw-r--r-- 1 mcc users 3.8K Mar 30 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 08:53 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.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:21 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 813K 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-06b-CTLFireability-00
FORMULA_NAME DLCround-PT-06b-CTLFireability-01
FORMULA_NAME DLCround-PT-06b-CTLFireability-02
FORMULA_NAME DLCround-PT-06b-CTLFireability-03
FORMULA_NAME DLCround-PT-06b-CTLFireability-04
FORMULA_NAME DLCround-PT-06b-CTLFireability-05
FORMULA_NAME DLCround-PT-06b-CTLFireability-06
FORMULA_NAME DLCround-PT-06b-CTLFireability-07
FORMULA_NAME DLCround-PT-06b-CTLFireability-08
FORMULA_NAME DLCround-PT-06b-CTLFireability-09
FORMULA_NAME DLCround-PT-06b-CTLFireability-10
FORMULA_NAME DLCround-PT-06b-CTLFireability-11
FORMULA_NAME DLCround-PT-06b-CTLFireability-12
FORMULA_NAME DLCround-PT-06b-CTLFireability-13
FORMULA_NAME DLCround-PT-06b-CTLFireability-14
FORMULA_NAME DLCround-PT-06b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589125185038

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06b
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: 2340 places, 3456 transitions, 9288 arcs.
AT ITER 0 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712843 HAS SOUPS 712843 WITH SCORE 713940.18
AT ITER 30 NEW BEST:: SOT 4957483 SOS 1098169 HAS SOPS 1098169 HAS SOUS 712841 HAS SOUPS 712841 WITH SCORE 713939.169
AT ITER 51 NEW BEST:: SOT 4957069 SOS 1097762 HAS SOPS 1097762 HAS SOUS 712434 HAS SOUPS 712434 WITH SCORE 713531.762
AT ITER 53 NEW BEST:: SOT 4957069 SOS 1097762 HAS SOPS 1097762 HAS SOUS 712373 HAS SOUPS 712373 WITH SCORE 713470.762
AT ITER 63 NEW BEST:: SOT 4957069 SOS 1097506 HAS SOPS 1097506 HAS SOUS 712117 HAS SOUPS 712117 WITH SCORE 713214.506
AT ITER 69 NEW BEST:: SOT 4957068 SOS 1097504 HAS SOPS 1097504 HAS SOUS 712115 HAS SOUPS 712115 WITH SCORE 713212.504
AT ITER 72 NEW BEST:: SOT 4956850 SOS 1097068 HAS SOPS 1097068 HAS SOUS 711961 HAS SOUPS 711961 WITH SCORE 713058.068
AT ITER 108 NEW BEST:: SOT 4956849 SOS 1097066 HAS SOPS 1097066 HAS SOUS 711959 HAS SOUPS 711959 WITH SCORE 713056.066
AT ITER 119 NEW BEST:: SOT 4956364 SOS 1096639 HAS SOPS 1096639 HAS SOUS 711497 HAS SOUPS 711497 WITH SCORE 712593.639
AT ITER 129 NEW BEST:: SOT 4956190 SOS 1099323 HAS SOPS 1099323 HAS SOUS 711148 HAS SOUPS 711148 WITH SCORE 712247.323
AT ITER 167 NEW BEST:: SOT 4955392 SOS 1098617 HAS SOPS 1098617 HAS SOUS 710442 HAS SOUPS 710442 WITH SCORE 711540.617
AT ITER 226 NEW BEST:: SOT 4954948 SOS 1093755 HAS SOPS 1093755 HAS SOUS 709442 HAS SOUPS 709442 WITH SCORE 710535.755
AT ITER 231 NEW BEST:: SOT 4954662 SOS 1093519 HAS SOPS 1093519 HAS SOUS 709206 HAS SOUPS 709206 WITH SCORE 710299.519
AT ITER 298 NEW BEST:: SOT 4954488 SOS 1093171 HAS SOPS 1093171 HAS SOUS 708858 HAS SOUPS 708858 WITH SCORE 709951.171
AT ITER 325 NEW BEST:: SOT 4954488 SOS 1093092 HAS SOPS 1093092 HAS SOUS 708779 HAS SOUPS 708779 WITH SCORE 709872.092
AT ITER 355 NEW BEST:: SOT 4954047 SOS 1093626 HAS SOPS 1093626 HAS SOUS 708338 HAS SOUPS 708338 WITH SCORE 709431.626
AT ITER 401 NEW BEST:: SOT 4953828 SOS 1093486 HAS SOPS 1093486 HAS SOUS 708197 HAS SOUPS 708197 WITH SCORE 709290.486
AT ITER 402 NEW BEST:: SOT 4953828 SOS 1093250 HAS SOPS 1093250 HAS SOUS 707961 HAS SOUPS 707961 WITH SCORE 709054.25
AT ITER 415 NEW BEST:: SOT 4953826 SOS 1093246 HAS SOPS 1093246 HAS SOUS 707957 HAS SOUPS 707957 WITH SCORE 709050.246
AT ITER 426 NEW BEST:: SOT 4953826 SOS 1093246 HAS SOPS 1093246 HAS SOUS 707945 HAS SOUPS 707945 WITH SCORE 709038.246
AT ITER 431 NEW BEST:: SOT 4953231 SOS 1092056 HAS SOPS 1092056 HAS SOUS 706726 HAS SOUPS 706726 WITH SCORE 707818.056
AT ITER 434 NEW BEST:: SOT 4953203 SOS 1092000 HAS SOPS 1092000 HAS SOUS 706670 HAS SOUPS 706670 WITH SCORE 707762.0
AT ITER 439 NEW BEST:: SOT 4953093 SOS 1091780 HAS SOPS 1091780 HAS SOUS 706450 HAS SOUPS 706450 WITH SCORE 707541.78
AT ITER 472 NEW BEST:: SOT 4952848 SOS 1091770 HAS SOPS 1091770 HAS SOUS 706256 HAS SOUPS 706256 WITH SCORE 707347.77
AT ITER 488 NEW BEST:: SOT 4952501 SOS 1091423 HAS SOPS 1091423 HAS SOUS 705909 HAS SOUPS 705909 WITH SCORE 707000.423
AT ITER 489 NEW BEST:: SOT 4952483 SOS 1091387 HAS SOPS 1091387 HAS SOUS 705873 HAS SOUPS 705873 WITH SCORE 706964.387
AT ITER 509 NEW BEST:: SOT 4952483 SOS 1090523 HAS SOPS 1090523 HAS SOUS 705873 HAS SOUPS 705873 WITH SCORE 706963.523
AT ITER 521 NEW BEST:: SOT 4952388 SOS 1091063 HAS SOPS 1091063 HAS SOUS 705819 HAS SOUPS 705819 WITH SCORE 706910.063
AT ITER 522 NEW BEST:: SOT 4952294 SOS 1090691 HAS SOPS 1090691 HAS SOUS 705447 HAS SOUPS 705447 WITH SCORE 706537.691
AT ITER 523 NEW BEST:: SOT 4952025 SOS 1090656 HAS SOPS 1090656 HAS SOUS 705412 HAS SOUPS 705412 WITH SCORE 706502.656
AT ITER 560 NEW BEST:: SOT 4951986 SOS 1090578 HAS SOPS 1090578 HAS SOUS 705305 HAS SOUPS 705305 WITH SCORE 706395.578
AT ITER 572 NEW BEST:: SOT 4951707 SOS 1090299 HAS SOPS 1090299 HAS SOUS 705026 HAS SOUPS 705026 WITH SCORE 706116.299
AT ITER 583 NEW BEST:: SOT 4951547 SOS 1090194 HAS SOPS 1090194 HAS SOUS 704924 HAS SOUPS 704924 WITH SCORE 706014.194
AT ITER 598 NEW BEST:: SOT 4949486 SOS 1090905 HAS SOPS 1090905 HAS SOUS 704168 HAS SOUPS 704168 WITH SCORE 705258.905
AT ITER 611 NEW BEST:: SOT 4949008 SOS 1090423 HAS SOPS 1090423 HAS SOUS 704154 HAS SOUPS 704154 WITH SCORE 705244.423
AT ITER 619 NEW BEST:: SOT 4949007 SOS 1090421 HAS SOPS 1090421 HAS SOUS 704152 HAS SOUPS 704152 WITH SCORE 705242.421
AT ITER 621 NEW BEST:: SOT 4949033 SOS 1090473 HAS SOPS 1090473 HAS SOUS 703581 HAS SOUPS 703581 WITH SCORE 704671.473
AT ITER 661 NEW BEST:: SOT 4949033 SOS 1090473 HAS SOPS 1090473 HAS SOUS 703569 HAS SOUPS 703569 WITH SCORE 704659.473
AT ITER 662 NEW BEST:: SOT 4948584 SOS 1090113 HAS SOPS 1090113 HAS SOUS 702633 HAS SOUPS 702633 WITH SCORE 703723.113
AT ITER 668 NEW BEST:: SOT 4948365 SOS 1090016 HAS SOPS 1090016 HAS SOUS 702536 HAS SOUPS 702536 WITH SCORE 703626.016
AT ITER 719 NEW BEST:: SOT 4948381 SOS 1090198 HAS SOPS 1090198 HAS SOUS 702493 HAS SOUPS 702493 WITH SCORE 703583.198
AT ITER 725 NEW BEST:: SOT 4948379 SOS 1090194 HAS SOPS 1090194 HAS SOUS 702489 HAS SOUPS 702489 WITH SCORE 703579.194
AT ITER 730 NEW BEST:: SOT 4948299 SOS 1090114 HAS SOPS 1090114 HAS SOUS 702409 HAS SOUPS 702409 WITH SCORE 703499.114
AT ITER 733 NEW BEST:: SOT 4947574 SOS 1089448 HAS SOPS 1089448 HAS SOUS 701743 HAS SOUPS 701743 WITH SCORE 702832.448
AT ITER 775 NEW BEST:: SOT 4947573 SOS 1089446 HAS SOPS 1089446 HAS SOUS 701741 HAS SOUPS 701741 WITH SCORE 702830.446
AT ITER 778 NEW BEST:: SOT 4947573 SOS 1089773 HAS SOPS 1089773 HAS SOUS 701740 HAS SOUPS 701740 WITH SCORE 702829.773
AT ITER 780 NEW BEST:: SOT 4947257 SOS 1089457 HAS SOPS 1089457 HAS SOUS 701424 HAS SOUPS 701424 WITH SCORE 702513.457
AT ITER 788 NEW BEST:: SOT 4947234 SOS 1089476 HAS SOPS 1089476 HAS SOUS 701423 HAS SOUPS 701423 WITH SCORE 702512.476
AT ITER 819 NEW BEST:: SOT 4946958 SOS 1089475 HAS SOPS 1089475 HAS SOUS 701422 HAS SOUPS 701422 WITH SCORE 702511.475
AT ITER 869 NEW BEST:: SOT 4946839 SOS 1089356 HAS SOPS 1089356 HAS SOUS 701184 HAS SOUPS 701184 WITH SCORE 702273.356
AT ITER 886 NEW BEST:: SOT 4946722 SOS 1089353 HAS SOPS 1089353 HAS SOUS 701064 HAS SOUPS 701064 WITH SCORE 702153.353
AT ITER 900 NEW BEST:: SOT 4946604 SOS 1088448 HAS SOPS 1088448 HAS SOUS 700605 HAS SOUPS 700605 WITH SCORE 701693.448
AT ITER 903 NEW BEST:: SOT 4946520 SOS 1088364 HAS SOPS 1088364 HAS SOUS 700521 HAS SOUPS 700521 WITH SCORE 701609.364
AT ITER 908 NEW BEST:: SOT 4946262 SOS 1087848 HAS SOPS 1087848 HAS SOUS 700005 HAS SOUPS 700005 WITH SCORE 701092.848
AT ITER 969 NEW BEST:: SOT 4946081 SOS 1087844 HAS SOPS 1087844 HAS SOUS 699823 HAS SOUPS 699823 WITH SCORE 700910.844
AT ITER 975 NEW BEST:: SOT 4945857 SOS 1087715 HAS SOPS 1087715 HAS SOUS 699704 HAS SOUPS 699704 WITH SCORE 700791.715
AT ITER 979 NEW BEST:: SOT 4945350 SOS 1087502 HAS SOPS 1087502 HAS SOUS 699491 HAS SOUPS 699491 WITH SCORE 700578.502
AT ITER 998 NEW BEST:: SOT 4945350 SOS 1087444 HAS SOPS 1087444 HAS SOUS 699375 HAS SOUPS 699375 WITH SCORE 700462.444
AT ITER 1003 NEW BEST:: SOT 4945308 SOS 1087360 HAS SOPS 1087360 HAS SOUS 699291 HAS SOUPS 699291 WITH SCORE 700378.36
AT ITER 1008 NEW BEST:: SOT 4945036 SOS 1087359 HAS SOPS 1087359 HAS SOUS 699290 HAS SOUPS 699290 WITH SCORE 700377.359
AT ITER 1009 NEW BEST:: SOT 4944982 SOS 1087305 HAS SOPS 1087305 HAS SOUS 699236 HAS SOUPS 699236 WITH SCORE 700323.305
AT ITER 1018 NEW BEST:: SOT 4944982 SOS 1087202 HAS SOPS 1087202 HAS SOUS 699236 HAS SOUPS 699236 WITH SCORE 700323.202
AT ITER 1019 NEW BEST:: SOT 4944982 SOS 1087109 HAS SOPS 1087109 HAS SOUS 699143 HAS SOUPS 699143 WITH SCORE 700230.109
AT ITER 1027 NEW BEST:: SOT 4945073 SOS 1087618 HAS SOPS 1087618 HAS SOUS 699012 HAS SOUPS 699012 WITH SCORE 700099.618
AT ITER 1067 NEW BEST:: SOT 4945019 SOS 1087510 HAS SOPS 1087510 HAS SOUS 698904 HAS SOUPS 698904 WITH SCORE 699991.51
AT ITER 1089 NEW BEST:: SOT 4945019 SOS 1087510 HAS SOPS 1087510 HAS SOUS 698710 HAS SOUPS 698710 WITH SCORE 699797.51
AT ITER 1105 NEW BEST:: SOT 4944739 SOS 1086950 HAS SOPS 1086950 HAS SOUS 698150 HAS SOUPS 698150 WITH SCORE 699236.95
AT ITER 1117 NEW BEST:: SOT 4944726 SOS 1086924 HAS SOPS 1086924 HAS SOUS 698124 HAS SOUPS 698124 WITH SCORE 699210.924
AT ITER 1129 NEW BEST:: SOT 4944581 SOS 1086489 HAS SOPS 1086489 HAS SOUS 697945 HAS SOUPS 697945 WITH SCORE 699031.489
AT ITER 1136 NEW BEST:: SOT 4944581 SOS 1086685 HAS SOPS 1086685 HAS SOUS 697944 HAS SOUPS 697944 WITH SCORE 699030.685
AT ITER 1140 NEW BEST:: SOT 4944581 SOS 1086365 HAS SOPS 1086365 HAS SOUS 697784 HAS SOUPS 697784 WITH SCORE 698870.365
AT ITER 1160 NEW BEST:: SOT 4944446 SOS 1086095 HAS SOPS 1086095 HAS SOUS 697514 HAS SOUPS 697514 WITH SCORE 698600.095
AT ITER 1184 NEW BEST:: SOT 4943388 SOS 1088292 HAS SOPS 1088292 HAS SOUS 697047 HAS SOUPS 697047 WITH SCORE 698135.292
AT ITER 1187 NEW BEST:: SOT 4942961 SOS 1087438 HAS SOPS 1087438 HAS SOUS 696061 HAS SOUPS 696061 WITH SCORE 697148.438
AT ITER 1197 NEW BEST:: SOT 4942846 SOS 1090834 HAS SOPS 1090834 HAS SOUS 695830 HAS SOUPS 695830 WITH SCORE 696920.834
AT ITER 1201 NEW BEST:: SOT 4942790 SOS 1090722 HAS SOPS 1090722 HAS SOUS 695661 HAS SOUPS 695661 WITH SCORE 696751.722
AT ITER 1211 NEW BEST:: SOT 4942774 SOS 1090690 HAS SOPS 1090690 HAS SOUS 695629 HAS SOUPS 695629 WITH SCORE 696719.69
AT ITER 1214 NEW BEST:: SOT 4941451 SOS 1090105 HAS SOPS 1090105 HAS SOUS 694668 HAS SOUPS 694668 WITH SCORE 695758.105
AT ITER 1218 NEW BEST:: SOT 4941317 SOS 1089837 HAS SOPS 1089837 HAS SOUS 694400 HAS SOUPS 694400 WITH SCORE 695489.837
AT ITER 1219 NEW BEST:: SOT 4940897 SOS 1088997 HAS SOPS 1088997 HAS SOUS 693770 HAS SOUPS 693770 WITH SCORE 694858.997
AT ITER 1246 NEW BEST:: SOT 4940897 SOS 1090103 HAS SOPS 1090103 HAS SOUS 693768 HAS SOUPS 693768 WITH SCORE 694858.103
AT ITER 1253 NEW BEST:: SOT 4940897 SOS 1090360 HAS SOPS 1090360 HAS SOUS 693767 HAS SOUPS 693767 WITH SCORE 694857.36
AT ITER 1269 NEW BEST:: SOT 4940708 SOS 1090358 HAS SOPS 1090358 HAS SOUS 693765 HAS SOUPS 693765 WITH SCORE 694855.358
AT ITER 1279 NEW BEST:: SOT 4940495 SOS 1090567 HAS SOPS 1090567 HAS SOUS 693338 HAS SOUPS 693338 WITH SCORE 694428.567
AT ITER 1302 NEW BEST:: SOT 4940453 SOS 1090483 HAS SOPS 1090483 HAS SOUS 693254 HAS SOUPS 693254 WITH SCORE 694344.483
AT ITER 1317 NEW BEST:: SOT 4940439 SOS 1090085 HAS SOPS 1090085 HAS SOUS 693240 HAS SOUPS 693240 WITH SCORE 694330.085
AT ITER 1328 NEW BEST:: SOT 4940243 SOS 1089693 HAS SOPS 1089693 HAS SOUS 693065 HAS SOUPS 693065 WITH SCORE 694154.693
AT ITER 1341 NEW BEST:: SOT 4940081 SOS 1089579 HAS SOPS 1089579 HAS SOUS 692951 HAS SOUPS 692951 WITH SCORE 694040.579
AT ITER 1358 NEW BEST:: SOT 4939588 SOS 1089135 HAS SOPS 1089135 HAS SOUS 692494 HAS SOUPS 692494 WITH SCORE 693583.135
AT ITER 1372 NEW BEST:: SOT 4939344 SOS 1089652 HAS SOPS 1089652 HAS SOUS 692250 HAS SOUPS 692250 WITH SCORE 693339.652
AT ITER 1374 NEW BEST:: SOT 4939344 SOS 1089445 HAS SOPS 1089445 HAS SOUS 692105 HAS SOUPS 692105 WITH SCORE 693194.445
AT ITER 1376 NEW BEST:: SOT 4939236 SOS 1089661 HAS SOPS 1089661 HAS SOUS 692029 HAS SOUPS 692029 WITH SCORE 693118.661
AT ITER 1393 NEW BEST:: SOT 4938991 SOS 1089170 HAS SOPS 1089170 HAS SOUS 691538 HAS SOUPS 691538 WITH SCORE 692627.17
AT ITER 1427 NEW BEST:: SOT 4938991 SOS 1089170 HAS SOPS 1089170 HAS SOUS 691388 HAS SOUPS 691388 WITH SCORE 692477.17
AT ITER 1455 NEW BEST:: SOT 4938001 SOS 1089733 HAS SOPS 1089733 HAS SOUS 691101 HAS SOUPS 691101 WITH SCORE 692190.733
AT ITER 1488 NEW BEST:: SOT 4937630 SOS 1087878 HAS SOPS 1087878 HAS SOUS 690359 HAS SOUPS 690359 WITH SCORE 691446.878
AT ITER 1505 NEW BEST:: SOT 4937087 SOS 1086792 HAS SOPS 1086792 HAS SOUS 689273 HAS SOUPS 689273 WITH SCORE 690359.792
AT ITER 1511 NEW BEST:: SOT 4937087 SOS 1086782 HAS SOPS 1086782 HAS SOUS 689272 HAS SOUPS 689272 WITH SCORE 690358.782
AT ITER 1521 NEW BEST:: SOT 4936887 SOS 1087282 HAS SOPS 1087282 HAS SOUS 688872 HAS SOUPS 688872 WITH SCORE 689959.282
AT ITER 1524 NEW BEST:: SOT 4936887 SOS 1087282 HAS SOPS 1087282 HAS SOUS 688298 HAS SOUPS 688298 WITH SCORE 689385.282
AT ITER 1529 NEW BEST:: SOT 4935703 SOS 1087453 HAS SOPS 1087453 HAS SOUS 687446 HAS SOUPS 687446 WITH SCORE 688533.453
AT ITER 1534 NEW BEST:: SOT 4935702 SOS 1087451 HAS SOPS 1087451 HAS SOUS 687444 HAS SOUPS 687444 WITH SCORE 688531.451
AT ITER 1535 NEW BEST:: SOT 4935600 SOS 1087447 HAS SOPS 1087447 HAS SOUS 687341 HAS SOUPS 687341 WITH SCORE 688428.447
AT ITER 1536 NEW BEST:: SOT 4935657 SOS 1087390 HAS SOPS 1087390 HAS SOUS 687284 HAS SOUPS 687284 WITH SCORE 688371.39
AT ITER 1549 NEW BEST:: SOT 4935657 SOS 1087587 HAS SOPS 1087587 HAS SOUS 687283 HAS SOUPS 687283 WITH SCORE 688370.587
AT ITER 1550 NEW BEST:: SOT 4934621 SOS 1087424 HAS SOPS 1087424 HAS SOUS 686788 HAS SOUPS 686788 WITH SCORE 687875.424
AT ITER 1552 NEW BEST:: SOT 4933875 SOS 1085464 HAS SOPS 1085464 HAS SOUS 685587 HAS SOUPS 685587 WITH SCORE 686672.464
AT ITER 1589 NEW BEST:: SOT 4933875 SOS 1085316 HAS SOPS 1085316 HAS SOUS 685587 HAS SOUPS 685587 WITH SCORE 686672.316
AT ITER 1595 NEW BEST:: SOT 4933028 SOS 1084131 HAS SOPS 1084131 HAS SOUS 684402 HAS SOUPS 684402 WITH SCORE 685486.131
AT ITER 1596 NEW BEST:: SOT 4932859 SOS 1083793 HAS SOPS 1083793 HAS SOUS 684233 HAS SOUPS 684233 WITH SCORE 685316.793
AT ITER 1609 NEW BEST:: SOT 4932859 SOS 1083578 HAS SOPS 1083578 HAS SOUS 684233 HAS SOUPS 684233 WITH SCORE 685316.578
AT ITER 1626 NEW BEST:: SOT 4932777 SOS 1083660 HAS SOPS 1083660 HAS SOUS 684081 HAS SOUPS 684081 WITH SCORE 685164.66
AT ITER 1634 NEW BEST:: SOT 4932532 SOS 1083416 HAS SOPS 1083416 HAS SOUS 683837 HAS SOUPS 683837 WITH SCORE 684920.416
AT ITER 1646 NEW BEST:: SOT 4931734 SOS 1083233 HAS SOPS 1083233 HAS SOUS 683510 HAS SOUPS 683510 WITH SCORE 684593.233
AT ITER 1731 NEW BEST:: SOT 4931698 SOS 1083161 HAS SOPS 1083161 HAS SOUS 683474 HAS SOUPS 683474 WITH SCORE 684557.161
AT ITER 1741 NEW BEST:: SOT 4931453 SOS 1083250 HAS SOPS 1083250 HAS SOUS 682983 HAS SOUPS 682983 WITH SCORE 684066.25
AT ITER 1745 NEW BEST:: SOT 4931348 SOS 1083179 HAS SOPS 1083179 HAS SOUS 682912 HAS SOUPS 682912 WITH SCORE 683995.179
AT ITER 1774 NEW BEST:: SOT 4931347 SOS 1083177 HAS SOPS 1083177 HAS SOUS 682910 HAS SOUPS 682910 WITH SCORE 683993.177
AT ITER 1786 NEW BEST:: SOT 4931343 SOS 1083169 HAS SOPS 1083169 HAS SOUS 682902 HAS SOUPS 682902 WITH SCORE 683985.169
AT ITER 1851 NEW BEST:: SOT 4931335 SOS 1083153 HAS SOPS 1083153 HAS SOUS 682886 HAS SOUPS 682886 WITH SCORE 683969.153
AT ITER 1852 NEW BEST:: SOT 4931385 SOS 1083253 HAS SOPS 1083253 HAS SOUS 682364 HAS SOUPS 682364 WITH SCORE 683447.253
AT ITER 1853 NEW BEST:: SOT 4931068 SOS 1081943 HAS SOPS 1081943 HAS SOUS 682068 HAS SOUPS 682068 WITH SCORE 683149.943
AT ITER 1875 NEW BEST:: SOT 4931068 SOS 1081439 HAS SOPS 1081439 HAS SOUS 681900 HAS SOUPS 681900 WITH SCORE 682981.439
AT ITER 1878 NEW BEST:: SOT 4930914 SOS 1081285 HAS SOPS 1081285 HAS SOUS 681746 HAS SOUPS 681746 WITH SCORE 682827.285
AT ITER 1881 NEW BEST:: SOT 4930861 SOS 1081179 HAS SOPS 1081179 HAS SOUS 681640 HAS SOUPS 681640 WITH SCORE 682721.179
AT ITER 1912 NEW BEST:: SOT 4930665 SOS 1081081 HAS SOPS 1081081 HAS SOUS 681542 HAS SOUPS 681542 WITH SCORE 682623.081
AT ITER 1927 NEW BEST:: SOT 4930335 SOS 1080861 HAS SOPS 1080861 HAS SOUS 681322 HAS SOUPS 681322 WITH SCORE 682402.861
AT ITER 1972 NEW BEST:: SOT 4930335 SOS 1080861 HAS SOPS 1080861 HAS SOUS 681292 HAS SOUPS 681292 WITH SCORE 682372.861
AT ITER 1980 NEW BEST:: SOT 4930263 SOS 1080981 HAS SOPS 1080981 HAS SOUS 681220 HAS SOUPS 681220 WITH SCORE 682300.981
AT ITER 1998 NEW BEST:: SOT 4930049 SOS 1080553 HAS SOPS 1080553 HAS SOUS 680378 HAS SOUPS 680378 WITH SCORE 681458.553
AT ITER 2000 NEW BEST:: SOT 4930049 SOS 1080275 HAS SOPS 1080275 HAS SOUS 680239 HAS SOUPS 680239 WITH SCORE 681319.275
AT ITER 2011 NEW BEST:: SOT 4929994 SOS 1080237 HAS SOPS 1080237 HAS SOUS 680210 HAS SOUPS 680210 WITH SCORE 681290.237
AT ITER 2026 NEW BEST:: SOT 4929910 SOS 1080149 HAS SOPS 1080149 HAS SOUS 680041 HAS SOUPS 680041 WITH SCORE 681121.149
AT ITER 2066 NEW BEST:: SOT 4929970 SOS 1080141 HAS SOPS 1080141 HAS SOUS 680033 HAS SOUPS 680033 WITH SCORE 681113.141
AT ITER 2098 NEW BEST:: SOT 4929570 SOS 1080217 HAS SOPS 1080217 HAS SOUS 679925 HAS SOUPS 679925 WITH SCORE 681005.217
AT ITER 2100 NEW BEST:: SOT 4929569 SOS 1080215 HAS SOPS 1080215 HAS SOUS 679923 HAS SOUPS 679923 WITH SCORE 681003.215
AT ITER 2107 NEW BEST:: SOT 4929552 SOS 1080181 HAS SOPS 1080181 HAS SOUS 679889 HAS SOUPS 679889 WITH SCORE 680969.181
AT ITER 2114 NEW BEST:: SOT 4929552 SOS 1080432 HAS SOPS 1080432 HAS SOUS 679888 HAS SOUPS 679888 WITH SCORE 680968.432
AT ITER 2115 NEW BEST:: SOT 4929535 SOS 1080398 HAS SOPS 1080398 HAS SOUS 679854 HAS SOUPS 679854 WITH SCORE 680934.398
AT ITER 2167 NEW BEST:: SOT 4929351 SOS 1080100 HAS SOPS 1080100 HAS SOUS 679556 HAS SOUPS 679556 WITH SCORE 680636.1
AT ITER 2174 NEW BEST:: SOT 4929227 SOS 1080224 HAS SOPS 1080224 HAS SOUS 679432 HAS SOUPS 679432 WITH SCORE 680512.224
AT ITER 2176 NEW BEST:: SOT 4929227 SOS 1080187 HAS SOPS 1080187 HAS SOUS 679395 HAS SOUPS 679395 WITH SCORE 680475.187
AT ITER 2187 NEW BEST:: SOT 4929009 SOS 1079750 HAS SOPS 1079750 HAS SOUS 678884 HAS SOUPS 678884 WITH SCORE 679963.75
AT ITER 2189 NEW BEST:: SOT 4928361 SOS 1079102 HAS SOPS 1079102 HAS SOUS 678236 HAS SOUPS 678236 WITH SCORE 679315.102
AT ITER 2200 NEW BEST:: SOT 4928361 SOS 1080052 HAS SOPS 1080052 HAS SOUS 678235 HAS SOUPS 678235 WITH SCORE 679315.052
AT ITER 2203 NEW BEST:: SOT 4928299 SOS 1079928 HAS SOPS 1079928 HAS SOUS 678173 HAS SOUPS 678173 WITH SCORE 679252.928
AT ITER 2251 NEW BEST:: SOT 4928254 SOS 1079838 HAS SOPS 1079838 HAS SOUS 678083 HAS SOUPS 678083 WITH SCORE 679162.838
AT ITER 2297 NEW BEST:: SOT 4928254 SOS 1079753 HAS SOPS 1079753 HAS SOUS 678083 HAS SOUPS 678083 WITH SCORE 679162.753
AT ITER 2303 NEW BEST:: SOT 4928187 SOS 1079619 HAS SOPS 1079619 HAS SOUS 677949 HAS SOUPS 677949 WITH SCORE 679028.619
AT ITER 2328 NEW BEST:: SOT 4928376 SOS 1079997 HAS SOPS 1079997 HAS SOUS 677945 HAS SOUPS 677945 WITH SCORE 679024.997
AT ITER 2333 NEW BEST:: SOT 4928376 SOS 1079688 HAS SOPS 1079688 HAS SOUS 677874 HAS SOUPS 677874 WITH SCORE 678953.688
AT ITER 2362 NEW BEST:: SOT 4928376 SOS 1080044 HAS SOPS 1080044 HAS SOUS 677872 HAS SOUPS 677872 WITH SCORE 678952.044
AT ITER 2421 NEW BEST:: SOT 4928308 SOS 1080326 HAS SOPS 1080326 HAS SOUS 677802 HAS SOUPS 677802 WITH SCORE 678882.326
AT ITER 2422 NEW BEST:: SOT 4928280 SOS 1080298 HAS SOPS 1080298 HAS SOUS 677774 HAS SOUPS 677774 WITH SCORE 678854.298
AT ITER 2425 NEW BEST:: SOT 4926280 SOS 1079406 HAS SOPS 1079406 HAS SOUS 677066 HAS SOUPS 677066 WITH SCORE 678145.406
AT ITER 2452 NEW BEST:: SOT 4926288 SOS 1079256 HAS SOPS 1079256 HAS SOUS 676916 HAS SOUPS 676916 WITH SCORE 677995.256
AT ITER 2466 NEW BEST:: SOT 4926288 SOS 1077501 HAS SOPS 1077501 HAS SOUS 676916 HAS SOUPS 676916 WITH SCORE 677993.501
AT ITER 2470 NEW BEST:: SOT 4925736 SOS 1077409 HAS SOPS 1077409 HAS SOUS 676441 HAS SOUPS 676441 WITH SCORE 677518.409
AT ITER 2472 NEW BEST:: SOT 4925728 SOS 1077408 HAS SOPS 1077408 HAS SOUS 676440 HAS SOUPS 676440 WITH SCORE 677517.408
AT ITER 2475 NEW BEST:: SOT 4925479 SOS 1077216 HAS SOPS 1077216 HAS SOUS 676248 HAS SOUPS 676248 WITH SCORE 677325.216
AT ITER 2494 NEW BEST:: SOT 4925479 SOS 1076965 HAS SOPS 1076965 HAS SOUS 676248 HAS SOUPS 676248 WITH SCORE 677324.965
AT ITER 2498 NEW BEST:: SOT 4925682 SOS 1076949 HAS SOPS 1076949 HAS SOUS 676232 HAS SOUPS 676232 WITH SCORE 677308.949
AT ITER 2517 NEW BEST:: SOT 4925563 SOS 1076893 HAS SOPS 1076893 HAS SOUS 676176 HAS SOUPS 676176 WITH SCORE 677252.893
AT ITER 2556 NEW BEST:: SOT 4925388 SOS 1076543 HAS SOPS 1076543 HAS SOUS 675999 HAS SOUPS 675999 WITH SCORE 677075.543
AT ITER 2573 NEW BEST:: SOT 4925317 SOS 1076401 HAS SOPS 1076401 HAS SOUS 675857 HAS SOUPS 675857 WITH SCORE 676933.401
AT ITER 2585 NEW BEST:: SOT 4925317 SOS 1076383 HAS SOPS 1076383 HAS SOUS 675857 HAS SOUPS 675857 WITH SCORE 676933.383
AT ITER 2597 NEW BEST:: SOT 4925317 SOS 1076292 HAS SOPS 1076292 HAS SOUS 675856 HAS SOUPS 675856 WITH SCORE 676932.292
AT ITER 2613 NEW BEST:: SOT 4924855 SOS 1075830 HAS SOPS 1075830 HAS SOUS 675394 HAS SOUPS 675394 WITH SCORE 676469.83
AT ITER 2664 NEW BEST:: SOT 4924660 SOS 1076025 HAS SOPS 1076025 HAS SOUS 675199 HAS SOUPS 675199 WITH SCORE 676275.025
AT ITER 2682 NEW BEST:: SOT 4924656 SOS 1076782 HAS SOPS 1076782 HAS SOUS 675091 HAS SOUPS 675091 WITH SCORE 676167.782
AT ITER 2687 NEW BEST:: SOT 4924804 SOS 1077078 HAS SOPS 1077078 HAS SOUS 675067 HAS SOUPS 675067 WITH SCORE 676144.078
AT ITER 2703 NEW BEST:: SOT 4924804 SOS 1077078 HAS SOPS 1077078 HAS SOUS 674744 HAS SOUPS 674744 WITH SCORE 675821.078
AT ITER 2713 NEW BEST:: SOT 4924766 SOS 1077002 HAS SOPS 1077002 HAS SOUS 674668 HAS SOUPS 674668 WITH SCORE 675745.002
AT ITER 2723 NEW BEST:: SOT 4924766 SOS 1076842 HAS SOPS 1076842 HAS SOUS 674668 HAS SOUPS 674668 WITH SCORE 675744.842
AT ITER 2777 NEW BEST:: SOT 4924766 SOS 1076842 HAS SOPS 1076842 HAS SOUS 674636 HAS SOUPS 674636 WITH SCORE 675712.842
AT ITER 2781 NEW BEST:: SOT 4924747 SOS 1076804 HAS SOPS 1076804 HAS SOUS 674598 HAS SOUPS 674598 WITH SCORE 675674.804
AT ITER 2795 NEW BEST:: SOT 4924399 SOS 1077020 HAS SOPS 1077020 HAS SOUS 674554 HAS SOUPS 674554 WITH SCORE 675631.02
AT ITER 2796 NEW BEST:: SOT 4924064 SOS 1076681 HAS SOPS 1076681 HAS SOUS 674553 HAS SOUPS 674553 WITH SCORE 675629.681
AT ITER 2817 NEW BEST:: SOT 4923975 SOS 1076503 HAS SOPS 1076503 HAS SOUS 674375 HAS SOUPS 674375 WITH SCORE 675451.503
AT ITER 2829 NEW BEST:: SOT 4923918 SOS 1076560 HAS SOPS 1076560 HAS SOUS 674260 HAS SOUPS 674260 WITH SCORE 675336.56
AT ITER 2831 NEW BEST:: SOT 4923835 SOS 1076394 HAS SOPS 1076394 HAS SOUS 674094 HAS SOUPS 674094 WITH SCORE 675170.394
AT ITER 2857 NEW BEST:: SOT 4923775 SOS 1076274 HAS SOPS 1076274 HAS SOUS 673974 HAS SOUPS 673974 WITH SCORE 675050.274
AT ITER 2926 NEW BEST:: SOT 4923720 SOS 1076274 HAS SOPS 1076274 HAS SOUS 673919 HAS SOUPS 673919 WITH SCORE 674995.274
AT ITER 2947 NEW BEST:: SOT 4923719 SOS 1076272 HAS SOPS 1076272 HAS SOUS 673917 HAS SOUPS 673917 WITH SCORE 674993.272
AT ITER 2967 NEW BEST:: SOT 4923719 SOS 1076148 HAS SOPS 1076148 HAS SOUS 673855 HAS SOUPS 673855 WITH SCORE 674931.148
AT ITER 2970 NEW BEST:: SOT 4923695 SOS 1076100 HAS SOPS 1076100 HAS SOUS 673807 HAS SOUPS 673807 WITH SCORE 674883.1
AT ITER 2975 NEW BEST:: SOT 4923491 SOS 1075692 HAS SOPS 1075692 HAS SOUS 673399 HAS SOUPS 673399 WITH SCORE 674474.692
AT ITER 2993 NEW BEST:: SOT 4923396 SOS 1075631 HAS SOPS 1075631 HAS SOUS 673338 HAS SOUPS 673338 WITH SCORE 674413.631
AT ITER 3006 NEW BEST:: SOT 4923302 SOS 1075443 HAS SOPS 1075443 HAS SOUS 673268 HAS SOUPS 673268 WITH SCORE 674343.443
AT ITER 3012 NEW BEST:: SOT 4923239 SOS 1075860 HAS SOPS 1075860 HAS SOUS 673205 HAS SOUPS 673205 WITH SCORE 674280.86
AT ITER 3018 NEW BEST:: SOT 4923238 SOS 1075858 HAS SOPS 1075858 HAS SOUS 673203 HAS SOUPS 673203 WITH SCORE 674278.858
AT ITER 3036 NEW BEST:: SOT 4923230 SOS 1075834 HAS SOPS 1075834 HAS SOUS 673187 HAS SOUPS 673187 WITH SCORE 674262.834
AT ITER 3042 NEW BEST:: SOT 4923112 SOS 1076124 HAS SOPS 1076124 HAS SOUS 673069 HAS SOUPS 673069 WITH SCORE 674145.124
AT ITER 3059 NEW BEST:: SOT 4922664 SOS 1075698 HAS SOPS 1075698 HAS SOUS 672643 HAS SOUPS 672643 WITH SCORE 673718.698
AT ITER 3062 NEW BEST:: SOT 4922501 SOS 1075372 HAS SOPS 1075372 HAS SOUS 672220 HAS SOUPS 672220 WITH SCORE 673295.372
AT ITER 3077 NEW BEST:: SOT 4922277 SOS 1075148 HAS SOPS 1075148 HAS SOUS 671996 HAS SOUPS 671996 WITH SCORE 673071.148
AT ITER 3092 NEW BEST:: SOT 4922243 SOS 1075080 HAS SOPS 1075080 HAS SOUS 671962 HAS SOUPS 671962 WITH SCORE 673037.08
AT ITER 3104 NEW BEST:: SOT 4922093 SOS 1074780 HAS SOPS 1074780 HAS SOUS 671662 HAS SOUPS 671662 WITH SCORE 672736.78
AT ITER 3116 NEW BEST:: SOT 4922093 SOS 1074683 HAS SOPS 1074683 HAS SOUS 671662 HAS SOUPS 671662 WITH SCORE 672736.683
AT ITER 3155 NEW BEST:: SOT 4922093 SOS 1074683 HAS SOPS 1074683 HAS SOUS 671661 HAS SOUPS 671661 WITH SCORE 672735.683
AT ITER 3176 NEW BEST:: SOT 4921876 SOS 1074821 HAS SOPS 1074821 HAS SOUS 671513 HAS SOUPS 671513 WITH SCORE 672587.821
AT ITER 3183 NEW BEST:: SOT 4921470 SOS 1074820 HAS SOPS 1074820 HAS SOUS 671512 HAS SOUPS 671512 WITH SCORE 672586.82
AT ITER 3211 NEW BEST:: SOT 4921308 SOS 1074496 HAS SOPS 1074496 HAS SOUS 671188 HAS SOUPS 671188 WITH SCORE 672262.496
AT ITER 3230 NEW BEST:: SOT 4921308 SOS 1074377 HAS SOPS 1074377 HAS SOUS 671188 HAS SOUPS 671188 WITH SCORE 672262.377
AT ITER 3243 NEW BEST:: SOT 4921292 SOS 1074345 HAS SOPS 1074345 HAS SOUS 671172 HAS SOUPS 671172 WITH SCORE 672246.345
AT ITER 3250 NEW BEST:: SOT 4921266 SOS 1074059 HAS SOPS 1074059 HAS SOUS 671120 HAS SOUPS 671120 WITH SCORE 672194.059
AT ITER 3251 NEW BEST:: SOT 4921160 SOS 1073847 HAS SOPS 1073847 HAS SOUS 670908 HAS SOUPS 670908 WITH SCORE 671981.847
AT ITER 3312 NEW BEST:: SOT 4921160 SOS 1073295 HAS SOPS 1073295 HAS SOUS 670908 HAS SOUPS 670908 WITH SCORE 671981.295
AT ITER 3328 NEW BEST:: SOT 4921004 SOS 1073139 HAS SOPS 1073139 HAS SOUS 670752 HAS SOUPS 670752 WITH SCORE 671825.139
AT ITER 3333 NEW BEST:: SOT 4919411 SOS 1071717 HAS SOPS 1071717 HAS SOUS 669339 HAS SOUPS 669339 WITH SCORE 670410.717
AT ITER 3334 NEW BEST:: SOT 4919411 SOS 1071666 HAS SOPS 1071666 HAS SOUS 669339 HAS SOUPS 669339 WITH SCORE 670410.666
AT ITER 3350 NEW BEST:: SOT 4919334 SOS 1071512 HAS SOPS 1071512 HAS SOUS 669122 HAS SOUPS 669122 WITH SCORE 670193.512
AT ITER 3352 NEW BEST:: SOT 4919213 SOS 1071270 HAS SOPS 1071270 HAS SOUS 669001 HAS SOUPS 669001 WITH SCORE 670072.27
AT ITER 3359 NEW BEST:: SOT 4918378 SOS 1070375 HAS SOPS 1070375 HAS SOUS 668146 HAS SOUPS 668146 WITH SCORE 669216.375
AT ITER 3388 NEW BEST:: SOT 4918374 SOS 1070709 HAS SOPS 1070709 HAS SOUS 668142 HAS SOUPS 668142 WITH SCORE 669212.709
AT ITER 3406 NEW BEST:: SOT 4918374 SOS 1070933 HAS SOPS 1070933 HAS SOUS 668141 HAS SOUPS 668141 WITH SCORE 669211.933
AT ITER 3420 NEW BEST:: SOT 4918727 SOS 1069885 HAS SOPS 1069885 HAS SOUS 668003 HAS SOUPS 668003 WITH SCORE 669072.885
AT ITER 3422 NEW BEST:: SOT 4918701 SOS 1069833 HAS SOPS 1069833 HAS SOUS 667951 HAS SOUPS 667951 WITH SCORE 669020.833
AT ITER 3434 NEW BEST:: SOT 4918712 SOS 1069066 HAS SOPS 1069066 HAS SOUS 667704 HAS SOUPS 667704 WITH SCORE 668773.066
AT ITER 3436 NEW BEST:: SOT 4918714 SOS 1069070 HAS SOPS 1069070 HAS SOUS 667485 HAS SOUPS 667485 WITH SCORE 668554.07
AT ITER 3533 NEW BEST:: SOT 4918611 SOS 1069170 HAS SOPS 1069170 HAS SOUS 667382 HAS SOUPS 667382 WITH SCORE 668451.17
AT ITER 3570 NEW BEST:: SOT 4917934 SOS 1069232 HAS SOPS 1069232 HAS SOUS 667363 HAS SOUPS 667363 WITH SCORE 668432.232
AT ITER 3624 NEW BEST:: SOT 4917542 SOS 1068840 HAS SOPS 1068840 HAS SOUS 666775 HAS SOUPS 666775 WITH SCORE 667843.84
AT ITER 3632 NEW BEST:: SOT 4917534 SOS 1068839 HAS SOPS 1068839 HAS SOUS 666774 HAS SOUPS 666774 WITH SCORE 667842.839
AT ITER 3633 NEW BEST:: SOT 4917429 SOS 1068465 HAS SOPS 1068465 HAS SOUS 666575 HAS SOUPS 666575 WITH SCORE 667643.465
AT ITER 3638 NEW BEST:: SOT 4917400 SOS 1068407 HAS SOPS 1068407 HAS SOUS 666517 HAS SOUPS 666517 WITH SCORE 667585.407
AT ITER 3639 NEW BEST:: SOT 4917284 SOS 1067827 HAS SOPS 1067827 HAS SOUS 666285 HAS SOUPS 666285 WITH SCORE 667352.827
AT ITER 3646 NEW BEST:: SOT 4917139 SOS 1068069 HAS SOPS 1068069 HAS SOUS 666140 HAS SOUPS 666140 WITH SCORE 667208.069
AT ITER 3683 NEW BEST:: SOT 4917175 SOS 1068068 HAS SOPS 1068068 HAS SOUS 666139 HAS SOUPS 666139 WITH SCORE 667207.068
AT ITER 3701 NEW BEST:: SOT 4917175 SOS 1067986 HAS SOPS 1067986 HAS SOUS 666057 HAS SOUPS 666057 WITH SCORE 667124.986
AT ITER 3705 NEW BEST:: SOT 4917121 SOS 1069518 HAS SOPS 1069518 HAS SOUS 665784 HAS SOUPS 665784 WITH SCORE 666853.518
AT ITER 3706 NEW BEST:: SOT 4917011 SOS 1069408 HAS SOPS 1069408 HAS SOUS 665674 HAS SOUPS 665674 WITH SCORE 666743.408
AT ITER 3737 NEW BEST:: SOT 4917011 SOS 1069408 HAS SOPS 1069408 HAS SOUS 665518 HAS SOUPS 665518 WITH SCORE 666587.408
AT ITER 3742 NEW BEST:: SOT 4916981 SOS 1069185 HAS SOPS 1069185 HAS SOUS 665469 HAS SOUPS 665469 WITH SCORE 666538.185
AT ITER 3750 NEW BEST:: SOT 4915196 SOS 1067364 HAS SOPS 1067364 HAS SOUS 663582 HAS SOUPS 663582 WITH SCORE 664649.364
AT ITER 3757 NEW BEST:: SOT 4914981 SOS 1065214 HAS SOPS 1065214 HAS SOUS 663152 HAS SOUPS 663152 WITH SCORE 664217.214
AT ITER 3765 NEW BEST:: SOT 4914773 SOS 1065003 HAS SOPS 1065003 HAS SOUS 662943 HAS SOUPS 662943 WITH SCORE 664008.003
AT ITER 3771 NEW BEST:: SOT 4914765 SOS 1064995 HAS SOPS 1064995 HAS SOUS 662935 HAS SOUPS 662935 WITH SCORE 663999.995
AT ITER 3781 NEW BEST:: SOT 4914831 SOS 1065197 HAS SOPS 1065197 HAS SOUS 662777 HAS SOUPS 662777 WITH SCORE 663842.197
AT ITER 3800 NEW BEST:: SOT 4914777 SOS 1065089 HAS SOPS 1065089 HAS SOUS 662706 HAS SOUPS 662706 WITH SCORE 663771.089
AT ITER 3807 NEW BEST:: SOT 4914777 SOS 1065043 HAS SOPS 1065043 HAS SOUS 662683 HAS SOUPS 662683 WITH SCORE 663748.043
AT ITER 3876 NEW BEST:: SOT 4914728 SOS 1065485 HAS SOPS 1065485 HAS SOUS 662671 HAS SOUPS 662671 WITH SCORE 663736.485
AT ITER 3892 NEW BEST:: SOT 4914790 SOS 1065609 HAS SOPS 1065609 HAS SOUS 662302 HAS SOUPS 662302 WITH SCORE 663367.609
AT ITER 3937 NEW BEST:: SOT 4914752 SOS 1065571 HAS SOPS 1065571 HAS SOUS 662264 HAS SOUPS 662264 WITH SCORE 663329.571
AT ITER 3957 NEW BEST:: SOT 4914540 SOS 1065349 HAS SOPS 1065349 HAS SOUS 662051 HAS SOUPS 662051 WITH SCORE 663116.349
AT ITER 3968 NEW BEST:: SOT 4914540 SOS 1066104 HAS SOPS 1066104 HAS SOUS 662050 HAS SOUPS 662050 WITH SCORE 663116.104
AT ITER 3974 NEW BEST:: SOT 4914311 SOS 1066042 HAS SOPS 1066042 HAS SOUS 661718 HAS SOUPS 661718 WITH SCORE 662784.042
AT ITER 3982 NEW BEST:: SOT 4914056 SOS 1066051 HAS SOPS 1066051 HAS SOUS 661502 HAS SOUPS 661502 WITH SCORE 662568.051
AT ITER 3988 NEW BEST:: SOT 4913671 SOS 1065281 HAS SOPS 1065281 HAS SOUS 660732 HAS SOUPS 660732 WITH SCORE 661797.281
AT ITER 4000 NEW BEST:: SOT 4913718 SOS 1066345 HAS SOPS 1066345 HAS SOUS 660712 HAS SOUPS 660712 WITH SCORE 661778.345
AT ITER 4002 NEW BEST:: SOT 4913122 SOS 1066375 HAS SOPS 1066375 HAS SOUS 660116 HAS SOUPS 660116 WITH SCORE 661182.375
AT ITER 4010 NEW BEST:: SOT 4912894 SOS 1066214 HAS SOPS 1066214 HAS SOUS 659955 HAS SOUPS 659955 WITH SCORE 661021.214
AT ITER 4013 NEW BEST:: SOT 4911988 SOS 1065227 HAS SOPS 1065227 HAS SOUS 659056 HAS SOUPS 659056 WITH SCORE 660121.227
AT ITER 4019 NEW BEST:: SOT 4911927 SOS 1063386 HAS SOPS 1063386 HAS SOUS 658884 HAS SOUPS 658884 WITH SCORE 659947.386
AT ITER 4058 NEW BEST:: SOT 4911926 SOS 1063346 HAS SOPS 1063346 HAS SOUS 658844 HAS SOUPS 658844 WITH SCORE 659907.346
AT ITER 4073 NEW BEST:: SOT 4911700 SOS 1062894 HAS SOPS 1062894 HAS SOUS 658392 HAS SOUPS 658392 WITH SCORE 659454.894
AT ITER 4077 NEW BEST:: SOT 4911461 SOS 1062966 HAS SOPS 1062966 HAS SOUS 658157 HAS SOUPS 658157 WITH SCORE 659219.966
AT ITER 4091 NEW BEST:: SOT 4911330 SOS 1062841 HAS SOPS 1062841 HAS SOUS 658032 HAS SOUPS 658032 WITH SCORE 659094.841
AT ITER 4092 NEW BEST:: SOT 4911330 SOS 1062641 HAS SOPS 1062641 HAS SOUS 658032 HAS SOUPS 658032 WITH SCORE 659094.641
AT ITER 4101 NEW BEST:: SOT 4911330 SOS 1062541 HAS SOPS 1062541 HAS SOUS 657982 HAS SOUPS 657982 WITH SCORE 659044.541
AT ITER 4140 NEW BEST:: SOT 4911183 SOS 1062247 HAS SOPS 1062247 HAS SOUS 657688 HAS SOUPS 657688 WITH SCORE 658750.247
AT ITER 4157 NEW BEST:: SOT 4911161 SOS 1062203 HAS SOPS 1062203 HAS SOUS 657644 HAS SOUPS 657644 WITH SCORE 658706.203
AT ITER 4203 NEW BEST:: SOT 4911055 SOS 1061991 HAS SOPS 1061991 HAS SOUS 657644 HAS SOUPS 657644 WITH SCORE 658705.991
AT ITER 4210 NEW BEST:: SOT 4910972 SOS 1061825 HAS SOPS 1061825 HAS SOUS 657478 HAS SOUPS 657478 WITH SCORE 658539.825
AT ITER 4288 NEW BEST:: SOT 4910595 SOS 1060003 HAS SOPS 1060003 HAS SOUS 657034 HAS SOUPS 657034 WITH SCORE 658094.003
AT ITER 4300 NEW BEST:: SOT 4910004 SOS 1059739 HAS SOPS 1059739 HAS SOUS 656770 HAS SOUPS 656770 WITH SCORE 657829.739
AT ITER 4318 NEW BEST:: SOT 4910004 SOS 1059493 HAS SOPS 1059493 HAS SOUS 656770 HAS SOUPS 656770 WITH SCORE 657829.493
AT ITER 4331 NEW BEST:: SOT 4909934 SOS 1059703 HAS SOPS 1059703 HAS SOUS 656700 HAS SOUPS 656700 WITH SCORE 657759.703
AT ITER 4354 NEW BEST:: SOT 4909928 SOS 1059667 HAS SOPS 1059667 HAS SOUS 656682 HAS SOUPS 656682 WITH SCORE 657741.667
AT ITER 4383 NEW BEST:: SOT 4909656 SOS 1059395 HAS SOPS 1059395 HAS SOUS 656410 HAS SOUPS 656410 WITH SCORE 657469.395
AT ITER 4414 NEW BEST:: SOT 4909656 SOS 1059391 HAS SOPS 1059391 HAS SOUS 656409 HAS SOUPS 656409 WITH SCORE 657468.391
AT ITER 4415 NEW BEST:: SOT 4909822 SOS 1062075 HAS SOPS 1062075 HAS SOUS 656289 HAS SOUPS 656289 WITH SCORE 657351.075
AT ITER 4445 NEW BEST:: SOT 4909167 SOS 1061848 HAS SOPS 1061848 HAS SOUS 655995 HAS SOUPS 655995 WITH SCORE 657056.848
AT ITER 4495 NEW BEST:: SOT 4909148 SOS 1061810 HAS SOPS 1061810 HAS SOUS 655957 HAS SOUPS 655957 WITH SCORE 657018.81
AT ITER 4520 NEW BEST:: SOT 4909083 SOS 1061886 HAS SOPS 1061886 HAS SOUS 655930 HAS SOUPS 655930 WITH SCORE 656991.886
AT ITER 4537 NEW BEST:: SOT 4909083 SOS 1061799 HAS SOPS 1061799 HAS SOUS 655843 HAS SOUPS 655843 WITH SCORE 656904.799
AT ITER 4550 NEW BEST:: SOT 4908925 SOS 1061752 HAS SOPS 1061752 HAS SOUS 655796 HAS SOUPS 655796 WITH SCORE 656857.752
AT ITER 4609 NEW BEST:: SOT 4908861 SOS 1061888 HAS SOPS 1061888 HAS SOUS 655732 HAS SOUPS 655732 WITH SCORE 656793.888
AT ITER 4790 NEW BEST:: SOT 4908780 SOS 1061812 HAS SOPS 1061812 HAS SOUS 655656 HAS SOUPS 655656 WITH SCORE 656717.812
AT ITER 4803 NEW BEST:: SOT 4908780 SOS 1061812 HAS SOPS 1061812 HAS SOUS 655498 HAS SOUPS 655498 WITH SCORE 656559.812
AT ITER 4811 NEW BEST:: SOT 4908682 SOS 1061616 HAS SOPS 1061616 HAS SOUS 655400 HAS SOUPS 655400 WITH SCORE 656461.616
AT ITER 4826 NEW BEST:: SOT 4908493 SOS 1061427 HAS SOPS 1061427 HAS SOUS 655211 HAS SOUPS 655211 WITH SCORE 656272.427
AT ITER 4842 NEW BEST:: SOT 4908474 SOS 1061649 HAS SOPS 1061649 HAS SOUS 655192 HAS SOUPS 655192 WITH SCORE 656253.649
AT ITER 4859 NEW BEST:: SOT 4908495 SOS 1061789 HAS SOPS 1061789 HAS SOUS 655185 HAS SOUPS 655185 WITH SCORE 656246.789
AT ITER 4894 NEW BEST:: SOT 4908495 SOS 1061804 HAS SOPS 1061804 HAS SOUS 655184 HAS SOUPS 655184 WITH SCORE 656245.804
AT ITER 4931 NEW BEST:: SOT 4908434 SOS 1061770 HAS SOPS 1061770 HAS SOUS 655123 HAS SOUPS 655123 WITH SCORE 656184.77
AT ITER 4948 NEW BEST:: SOT 4908314 SOS 1061530 HAS SOPS 1061530 HAS SOUS 654883 HAS SOUPS 654883 WITH SCORE 655944.53
AT ITER 4989 NEW BEST:: SOT 4908276 SOS 1061454 HAS SOPS 1061454 HAS SOUS 654845 HAS SOUPS 654845 WITH SCORE 655906.454
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-06b-CTLFireability-00 ( (EX( ( (EF( ((potential((tk(P2115)>=1)))))) | (EG( ((potential((tk(P2118)>=1)))))) ))) | (EG( ( ((potential((tk(P1722)>=1)))) & (! ( ((potential((tk(P594)>=1) & (tk(P2037)>=1)))) | ((potential((tk(P1738)>=1)))) )) ))) )
PROPERTY: DLCround-PT-06b-CTLFireability-01 (AG( (EX( ( ((potential((tk(P412)>=1)))) | (! ((potential((tk(P1560)>=1))))) )))))
PROPERTY: DLCround-PT-06b-CTLFireability-02 ( (! ( (EF( ( ((potential((tk(P268)>=1) & (tk(P1734)>=1)))) & ((potential((tk(P1116)>=1) & (tk(P1784)>=1)))) ))) | (! (AX( ((potential((tk(P1363)>=1))))))) )) | ( (EF( (EF( ((potential((tk(P871)>=1)))))))) & (AF( ((potential((tk(P2198)>=1)))))) ) )
PROPERTY: DLCround-PT-06b-CTLFireability-03 (AF( ((potential((tk(P1211)>=1) & (tk(P2297)>=1))))))
PROPERTY: DLCround-PT-06b-CTLFireability-04 (AF( (EF( ( ( ((potential((tk(P1632)>=1)))) | ((potential((tk(P1779)>=1)))) ) | ((potential((tk(P477)>=1)))) )))))
PROPERTY: DLCround-PT-06b-CTLFireability-05 ( ( (AG( (EG( ((potential((tk(P223)>=1)))))))) | (AG( ( (! ((potential((tk(P805)>=1))))) | ( ((potential((tk(P371)>=1) & (tk(P1594)>=1)))) & ((potential((tk(P1109)>=1)))) ) ))) ) & (AX( (! (EX( ((potential((tk(P2238)>=1))))))))) )
PROPERTY: DLCround-PT-06b-CTLFireability-06 ( (AG( ( ( ( ((potential((tk(P521)>=1) & (tk(P1957)>=1)))) | ((potential((tk(P1888)>=1)))) ) | (! ((potential((tk(P58)>=1))))) ) | ((potential((tk(P497)>=1) & (tk(P1937)>=1)))) ))) | (! (! (AU( ((potential((tk(P626)>=1)))) , ((potential((tk(P1200)>=1) & (tk(P1897)>=1)))) )))) )
PROPERTY: DLCround-PT-06b-CTLFireability-07 ( ( ( (EG( ((potential((tk(P1119)>=1)))))) | (! (! ( ((potential((tk(P568)>=1) & (tk(P2114)>=1)))) | ((potential((tk(P627)>=1)))) ))) ) | (AG( (! ((potential((tk(P785)>=1))))))) ) | ((potential((tk(P414)>=1)))) )
PROPERTY: DLCround-PT-06b-CTLFireability-08 (AX( ( (EG( (! ((potential((tk(P926)>=1) & (tk(P1704)>=1))))))) | (EU( ((potential((tk(P565)>=1)))) , ((potential((tk(P1097)>=1) & (tk(P2267)>=1)))) )) )))
PROPERTY: DLCround-PT-06b-CTLFireability-09 (AU( ((potential((tk(P2039)>=1)))) , (AF( ((potential((tk(P892)>=1)))))) ))
PROPERTY: DLCround-PT-06b-CTLFireability-10 ( (! (AF( ( ( ((potential((tk(P371)>=1) & (tk(P1754)>=1)))) & ((potential((tk(P769)>=1)))) ) & (! ((potential((tk(P838)>=1))))) )))) | ((potential((tk(P1200)>=1) & (tk(P2297)>=1)))) )
PROPERTY: DLCround-PT-06b-CTLFireability-11 (AU( ( ((potential((tk(P1790)>=1)))) | (EF( ((potential((tk(P1539)>=1)))))) ) , (AX( ((potential((tk(P1046)>=1) & (tk(P2024)>=1)))))) ))
PROPERTY: DLCround-PT-06b-CTLFireability-12 (AU( ( (AF( ((potential((tk(P1819)>=1)))))) & (! ((potential((tk(P939)>=1))))) ) , ( (! (! ((potential((tk(P1119)>=1)))))) & ((potential((tk(P880)>=1)))) ) ))
PROPERTY: DLCround-PT-06b-CTLFireability-13 (AU( (! ( ( ((potential((tk(P579)>=1)))) & ((potential((tk(P962)>=1)))) ) | ((potential((tk(P2)>=1)))) )) , (AF( ( ((potential((tk(P594)>=1) & (tk(P2027)>=1)))) | ((potential((tk(P2161)>=1)))) ))) ))
PROPERTY: DLCround-PT-06b-CTLFireability-14 (! ( (AU( (! ((potential((tk(P1412)>=1))))) , ((potential((tk(P1733)>=1)))) )) | (EG( ((potential((tk(P2262)>=1)))))) ))
PROPERTY: DLCround-PT-06b-CTLFireability-15 (! (EF( ((potential((tk(P2211)>=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-06b"
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-06b, 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-158902542300508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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