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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 3.2K Mar 30 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 09:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 09:11 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 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.2K Mar 28 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 23:28 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 398K 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-07a-CTLCardinality-00
FORMULA_NAME DLCround-PT-07a-CTLCardinality-01
FORMULA_NAME DLCround-PT-07a-CTLCardinality-02
FORMULA_NAME DLCround-PT-07a-CTLCardinality-03
FORMULA_NAME DLCround-PT-07a-CTLCardinality-04
FORMULA_NAME DLCround-PT-07a-CTLCardinality-05
FORMULA_NAME DLCround-PT-07a-CTLCardinality-06
FORMULA_NAME DLCround-PT-07a-CTLCardinality-07
FORMULA_NAME DLCround-PT-07a-CTLCardinality-08
FORMULA_NAME DLCround-PT-07a-CTLCardinality-09
FORMULA_NAME DLCround-PT-07a-CTLCardinality-10
FORMULA_NAME DLCround-PT-07a-CTLCardinality-11
FORMULA_NAME DLCround-PT-07a-CTLCardinality-12
FORMULA_NAME DLCround-PT-07a-CTLCardinality-13
FORMULA_NAME DLCround-PT-07a-CTLCardinality-14
FORMULA_NAME DLCround-PT-07a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589125324340

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07a
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: 229 places, 1597 transitions, 6125 arcs.
AT ITER 0 NEW BEST:: SOT 236235 SOS 193253 HAS SOPS 116053 HAS SOUS 27135 HAS SOUPS 17951 WITH SCORE 18144.253
AT ITER 17 NEW BEST:: SOT 236322 SOS 191835 HAS SOPS 115405 HAS SOUS 27037 HAS SOUPS 17923 WITH SCORE 18114.835
AT ITER 41 NEW BEST:: SOT 236277 SOS 189932 HAS SOPS 113502 HAS SOUS 27019 HAS SOUPS 17905 WITH SCORE 18094.932
AT ITER 44 NEW BEST:: SOT 236257 SOS 189892 HAS SOPS 113462 HAS SOUS 26999 HAS SOUPS 17885 WITH SCORE 18074.892
AT ITER 49 NEW BEST:: SOT 236754 SOS 189007 HAS SOPS 113478 HAS SOUS 27325 HAS SOUPS 17846 WITH SCORE 18035.007
AT ITER 50 NEW BEST:: SOT 236759 SOS 187604 HAS SOPS 112643 HAS SOUS 27031 HAS SOUPS 16956 WITH SCORE 17143.604
AT ITER 55 NEW BEST:: SOT 236737 SOS 187571 HAS SOPS 112632 HAS SOUS 27001 HAS SOUPS 16937 WITH SCORE 17124.571
AT ITER 60 NEW BEST:: SOT 236687 SOS 187471 HAS SOPS 112740 HAS SOUS 26901 HAS SOUPS 16863 WITH SCORE 17050.471
AT ITER 66 NEW BEST:: SOT 236718 SOS 187475 HAS SOPS 112744 HAS SOUS 26827 HAS SOUPS 16789 WITH SCORE 16976.475
AT ITER 88 NEW BEST:: SOT 236671 SOS 186864 HAS SOPS 112650 HAS SOUS 26740 HAS SOUPS 16749 WITH SCORE 16935.864
AT ITER 90 NEW BEST:: SOT 236738 SOS 186983 HAS SOPS 112509 HAS SOUS 26624 HAS SOUPS 16449 WITH SCORE 16635.983
AT ITER 92 NEW BEST:: SOT 236738 SOS 186983 HAS SOPS 112509 HAS SOUS 26622 HAS SOUPS 16447 WITH SCORE 16633.983
AT ITER 95 NEW BEST:: SOT 236728 SOS 186863 HAS SOPS 112389 HAS SOUS 26612 HAS SOUPS 16437 WITH SCORE 16623.863
AT ITER 97 NEW BEST:: SOT 236680 SOS 186791 HAS SOPS 112365 HAS SOUS 26564 HAS SOUPS 16413 WITH SCORE 16599.791
AT ITER 102 NEW BEST:: SOT 236662 SOS 186713 HAS SOPS 112335 HAS SOUS 26546 HAS SOUPS 16401 WITH SCORE 16587.713
AT ITER 105 NEW BEST:: SOT 236595 SOS 185842 HAS SOPS 111981 HAS SOUS 26486 HAS SOUPS 16388 WITH SCORE 16573.842
AT ITER 113 NEW BEST:: SOT 236489 SOS 187385 HAS SOPS 112796 HAS SOUS 26426 HAS SOUPS 16328 WITH SCORE 16515.385
AT ITER 120 NEW BEST:: SOT 236133 SOS 187243 HAS SOPS 112706 HAS SOUS 25780 HAS SOUPS 15988 WITH SCORE 16175.243
AT ITER 137 NEW BEST:: SOT 236082 SOS 187165 HAS SOPS 112682 HAS SOUS 25729 HAS SOUPS 15964 WITH SCORE 16151.165
AT ITER 143 NEW BEST:: SOT 235858 SOS 186339 HAS SOPS 112464 HAS SOUS 25513 HAS SOUPS 15824 WITH SCORE 16010.339
AT ITER 146 NEW BEST:: SOT 236146 SOS 186710 HAS SOPS 112337 HAS SOUS 24848 HAS SOUPS 15159 WITH SCORE 15345.71
AT ITER 147 NEW BEST:: SOT 236110 SOS 186656 HAS SOPS 112319 HAS SOUS 24812 HAS SOUPS 15141 WITH SCORE 15327.656
AT ITER 149 NEW BEST:: SOT 236194 SOS 185698 HAS SOPS 112109 HAS SOUS 24666 HAS SOUPS 15063 WITH SCORE 15248.698
AT ITER 161 NEW BEST:: SOT 236173 SOS 185716 HAS SOPS 112088 HAS SOUS 24651 HAS SOUPS 15048 WITH SCORE 15233.716
AT ITER 162 NEW BEST:: SOT 236355 SOS 185940 HAS SOPS 112102 HAS SOUS 24707 HAS SOUPS 14936 WITH SCORE 15121.94
AT ITER 166 NEW BEST:: SOT 236420 SOS 185653 HAS SOPS 111815 HAS SOUS 24646 HAS SOUPS 14875 WITH SCORE 15060.653
AT ITER 171 NEW BEST:: SOT 236422 SOS 185641 HAS SOPS 111801 HAS SOUS 24618 HAS SOUPS 14861 WITH SCORE 15046.641
AT ITER 179 NEW BEST:: SOT 236467 SOS 185686 HAS SOPS 111801 HAS SOUS 24491 HAS SOUPS 14794 WITH SCORE 14979.686
AT ITER 188 NEW BEST:: SOT 236443 SOS 183562 HAS SOPS 110062 HAS SOUS 24432 HAS SOUPS 14770 WITH SCORE 14953.562
AT ITER 193 NEW BEST:: SOT 236342 SOS 179929 HAS SOPS 106935 HAS SOUS 24370 HAS SOUPS 14754 WITH SCORE 14933.929
AT ITER 198 NEW BEST:: SOT 236372 SOS 179989 HAS SOPS 106845 HAS SOUS 24301 HAS SOUPS 14569 WITH SCORE 14748.989
AT ITER 201 NEW BEST:: SOT 236678 SOS 180333 HAS SOPS 106961 HAS SOUS 24157 HAS SOUPS 14425 WITH SCORE 14605.333
AT ITER 203 NEW BEST:: SOT 236570 SOS 179829 HAS SOPS 106841 HAS SOUS 24006 HAS SOUPS 14322 WITH SCORE 14501.829
AT ITER 205 NEW BEST:: SOT 236557 SOS 179816 HAS SOPS 106828 HAS SOUS 23993 HAS SOUPS 14309 WITH SCORE 14488.816
AT ITER 210 NEW BEST:: SOT 236996 SOS 180433 HAS SOPS 106893 HAS SOUS 23545 HAS SOUPS 13801 WITH SCORE 13981.433
AT ITER 215 NEW BEST:: SOT 236982 SOS 180937 HAS SOPS 107397 HAS SOUS 23531 HAS SOUPS 13787 WITH SCORE 13967.937
AT ITER 222 NEW BEST:: SOT 236916 SOS 180079 HAS SOPS 107188 HAS SOUS 23456 HAS SOUPS 13771 WITH SCORE 13951.079
AT ITER 225 NEW BEST:: SOT 237058 SOS 180400 HAS SOPS 107277 HAS SOUS 23382 HAS SOUPS 13716 WITH SCORE 13896.4
AT ITER 228 NEW BEST:: SOT 237052 SOS 180352 HAS SOPS 107229 HAS SOUS 23376 HAS SOUPS 13710 WITH SCORE 13890.352
AT ITER 230 NEW BEST:: SOT 237030 SOS 180330 HAS SOPS 107207 HAS SOUS 23367 HAS SOUPS 13701 WITH SCORE 13881.33
AT ITER 245 NEW BEST:: SOT 237152 SOS 180511 HAS SOPS 107207 HAS SOUS 23319 HAS SOUPS 13663 WITH SCORE 13843.511
AT ITER 255 NEW BEST:: SOT 237008 SOS 180634 HAS SOPS 107330 HAS SOUS 22939 HAS SOUPS 13283 WITH SCORE 13463.634
AT ITER 263 NEW BEST:: SOT 236920 SOS 181172 HAS SOPS 107436 HAS SOUS 22921 HAS SOUPS 13247 WITH SCORE 13428.172
AT ITER 266 NEW BEST:: SOT 237079 SOS 180690 HAS SOPS 107356 HAS SOUS 23000 HAS SOUPS 13167 WITH SCORE 13347.69
AT ITER 282 NEW BEST:: SOT 237079 SOS 180690 HAS SOPS 107324 HAS SOUS 22992 HAS SOUPS 13159 WITH SCORE 13339.69
AT ITER 284 NEW BEST:: SOT 237095 SOS 180617 HAS SOPS 107314 HAS SOUS 22988 HAS SOUPS 13155 WITH SCORE 13335.617
AT ITER 285 NEW BEST:: SOT 237043 SOS 180591 HAS SOPS 107002 HAS SOUS 22988 HAS SOUPS 13129 WITH SCORE 13309.591
AT ITER 293 NEW BEST:: SOT 237111 SOS 179566 HAS SOPS 106736 HAS SOUS 22831 HAS SOUPS 13041 WITH SCORE 13220.566
AT ITER 300 NEW BEST:: SOT 237040 SOS 179381 HAS SOPS 106711 HAS SOUS 22745 HAS SOUPS 12975 WITH SCORE 13154.381
AT ITER 314 NEW BEST:: SOT 237031 SOS 179273 HAS SOPS 106603 HAS SOUS 22735 HAS SOUPS 12965 WITH SCORE 13144.273
AT ITER 320 NEW BEST:: SOT 237007 SOS 179225 HAS SOPS 106603 HAS SOUS 22711 HAS SOUPS 12965 WITH SCORE 13144.225
AT ITER 328 NEW BEST:: SOT 237007 SOS 179225 HAS SOPS 106603 HAS SOUS 22630 HAS SOUPS 12920 WITH SCORE 13099.225
AT ITER 344 NEW BEST:: SOT 236972 SOS 179218 HAS SOPS 106596 HAS SOUS 22581 HAS SOUPS 12892 WITH SCORE 13071.218
AT ITER 358 NEW BEST:: SOT 236972 SOS 179218 HAS SOPS 106596 HAS SOUS 22563 HAS SOUPS 12874 WITH SCORE 13053.218
AT ITER 369 NEW BEST:: SOT 236944 SOS 179558 HAS SOPS 106529 HAS SOUS 22539 HAS SOUPS 12813 WITH SCORE 12992.558
AT ITER 387 NEW BEST:: SOT 236905 SOS 179519 HAS SOPS 106529 HAS SOUS 22422 HAS SOUPS 12748 WITH SCORE 12927.519
AT ITER 393 NEW BEST:: SOT 236899 SOS 179507 HAS SOPS 106529 HAS SOUS 22416 HAS SOUPS 12748 WITH SCORE 12927.507
AT ITER 415 NEW BEST:: SOT 236884 SOS 178533 HAS SOPS 105731 HAS SOUS 22388 HAS SOUPS 12736 WITH SCORE 12914.533
AT ITER 463 NEW BEST:: SOT 236866 SOS 178506 HAS SOPS 105722 HAS SOUS 22370 HAS SOUPS 12727 WITH SCORE 12905.506
AT ITER 465 NEW BEST:: SOT 236849 SOS 177593 HAS SOPS 104809 HAS SOUS 22366 HAS SOUPS 12723 WITH SCORE 12900.593
AT ITER 478 NEW BEST:: SOT 236862 SOS 177593 HAS SOPS 104809 HAS SOUS 22358 HAS SOUPS 12715 WITH SCORE 12892.593
AT ITER 481 NEW BEST:: SOT 236887 SOS 177918 HAS SOPS 104859 HAS SOUS 22362 HAS SOUPS 12694 WITH SCORE 12871.918
AT ITER 489 NEW BEST:: SOT 236859 SOS 177845 HAS SOPS 104814 HAS SOUS 22272 HAS SOUPS 12649 WITH SCORE 12826.845
AT ITER 502 NEW BEST:: SOT 236839 SOS 177806 HAS SOPS 104813 HAS SOUS 22252 HAS SOUPS 12648 WITH SCORE 12825.806
AT ITER 511 NEW BEST:: SOT 236841 SOS 177513 HAS SOPS 104520 HAS SOUS 22249 HAS SOUPS 12645 WITH SCORE 12822.513
AT ITER 554 NEW BEST:: SOT 236827 SOS 177492 HAS SOPS 104513 HAS SOUS 22235 HAS SOUPS 12638 WITH SCORE 12815.492
AT ITER 556 NEW BEST:: SOT 236756 SOS 175181 HAS SOPS 102510 HAS SOUS 22169 HAS SOUPS 12600 WITH SCORE 12775.181
AT ITER 565 NEW BEST:: SOT 236722 SOS 175542 HAS SOPS 102508 HAS SOUS 22200 HAS SOUPS 12598 WITH SCORE 12773.542
AT ITER 568 NEW BEST:: SOT 236722 SOS 175542 HAS SOPS 102508 HAS SOUS 22194 HAS SOUPS 12592 WITH SCORE 12767.542
AT ITER 569 NEW BEST:: SOT 236730 SOS 175542 HAS SOPS 102596 HAS SOUS 22185 HAS SOUPS 12591 WITH SCORE 12766.542
AT ITER 571 NEW BEST:: SOT 236729 SOS 175540 HAS SOPS 102618 HAS SOUS 22180 HAS SOUPS 12589 WITH SCORE 12764.54
AT ITER 576 NEW BEST:: SOT 236729 SOS 175540 HAS SOPS 102618 HAS SOUS 22156 HAS SOUPS 12565 WITH SCORE 12740.54
AT ITER 583 NEW BEST:: SOT 237269 SOS 176080 HAS SOPS 102793 HAS SOUS 22269 HAS SOUPS 12542 WITH SCORE 12718.08
AT ITER 587 NEW BEST:: SOT 237222 SOS 173501 HAS SOPS 100665 HAS SOUS 22185 HAS SOUPS 12499 WITH SCORE 12672.501
AT ITER 606 NEW BEST:: SOT 237220 SOS 173464 HAS SOPS 100663 HAS SOUS 22148 HAS SOUPS 12497 WITH SCORE 12670.464
AT ITER 608 NEW BEST:: SOT 237220 SOS 173464 HAS SOPS 100663 HAS SOUS 22022 HAS SOUPS 12427 WITH SCORE 12600.464
AT ITER 622 NEW BEST:: SOT 237217 SOS 173461 HAS SOPS 100660 HAS SOUS 22020 HAS SOUPS 12425 WITH SCORE 12598.461
AT ITER 632 NEW BEST:: SOT 237204 SOS 173461 HAS SOPS 100738 HAS SOUS 21851 HAS SOUPS 12399 WITH SCORE 12572.461
AT ITER 640 NEW BEST:: SOT 237207 SOS 173367 HAS SOPS 100704 HAS SOUS 21834 HAS SOUPS 12382 WITH SCORE 12555.367
AT ITER 644 NEW BEST:: SOT 237205 SOS 173319 HAS SOPS 100898 HAS SOUS 21788 HAS SOUPS 12358 WITH SCORE 12531.319
AT ITER 647 NEW BEST:: SOT 237188 SOS 173194 HAS SOPS 100877 HAS SOUS 21771 HAS SOUPS 12354 WITH SCORE 12527.194
AT ITER 652 NEW BEST:: SOT 237131 SOS 173080 HAS SOPS 100877 HAS SOUS 21714 HAS SOUPS 12354 WITH SCORE 12527.08
AT ITER 656 NEW BEST:: SOT 237114 SOS 172672 HAS SOPS 100656 HAS SOUS 21694 HAS SOUPS 12351 WITH SCORE 12523.672
AT ITER 665 NEW BEST:: SOT 237114 SOS 172672 HAS SOPS 100656 HAS SOUS 21685 HAS SOUPS 12346 WITH SCORE 12518.672
AT ITER 697 NEW BEST:: SOT 237109 SOS 172667 HAS SOPS 100656 HAS SOUS 21685 HAS SOUPS 12346 WITH SCORE 12518.667
AT ITER 711 NEW BEST:: SOT 237108 SOS 172669 HAS SOPS 100655 HAS SOUS 21683 HAS SOUPS 12344 WITH SCORE 12516.669
AT ITER 721 NEW BEST:: SOT 236720 SOS 172249 HAS SOPS 100433 HAS SOUS 21657 HAS SOUPS 12318 WITH SCORE 12490.249
AT ITER 727 NEW BEST:: SOT 236723 SOS 172502 HAS SOPS 100686 HAS SOUS 21635 HAS SOUPS 12296 WITH SCORE 12468.502
AT ITER 734 NEW BEST:: SOT 237099 SOS 173325 HAS SOPS 101112 HAS SOUS 21159 HAS SOUPS 12168 WITH SCORE 12341.325
AT ITER 765 NEW BEST:: SOT 237107 SOS 173221 HAS SOPS 101032 HAS SOUS 21159 HAS SOUPS 12168 WITH SCORE 12341.221
AT ITER 784 NEW BEST:: SOT 237091 SOS 173197 HAS SOPS 101024 HAS SOUS 21143 HAS SOUPS 12160 WITH SCORE 12333.197
AT ITER 797 NEW BEST:: SOT 237188 SOS 174119 HAS SOPS 101756 HAS SOUS 21188 HAS SOUPS 12110 WITH SCORE 12284.119
AT ITER 804 NEW BEST:: SOT 237158 SOS 174109 HAS SOPS 101716 HAS SOUS 21158 HAS SOUPS 12080 WITH SCORE 12254.109
AT ITER 836 NEW BEST:: SOT 237140 SOS 174051 HAS SOPS 101658 HAS SOUS 21120 HAS SOUPS 12042 WITH SCORE 12216.051
AT ITER 844 NEW BEST:: SOT 237130 SOS 174041 HAS SOPS 101658 HAS SOUS 21120 HAS SOUPS 12042 WITH SCORE 12216.041
AT ITER 861 NEW BEST:: SOT 237308 SOS 174426 HAS SOPS 101832 HAS SOUS 20996 HAS SOUPS 12030 WITH SCORE 12204.426
AT ITER 899 NEW BEST:: SOT 237234 SOS 173060 HAS SOPS 101104 HAS SOUS 20827 HAS SOUPS 11919 WITH SCORE 12092.06
AT ITER 926 NEW BEST:: SOT 237311 SOS 173137 HAS SOPS 101139 HAS SOUS 20820 HAS SOUPS 11912 WITH SCORE 12085.137
AT ITER 927 NEW BEST:: SOT 237295 SOS 172929 HAS SOPS 101019 HAS SOUS 20804 HAS SOUPS 11904 WITH SCORE 12076.929
AT ITER 943 NEW BEST:: SOT 237282 SOS 173098 HAS SOPS 101292 HAS SOUS 20778 HAS SOUPS 11891 WITH SCORE 12064.098
AT ITER 964 NEW BEST:: SOT 237261 SOS 172984 HAS SOPS 101178 HAS SOUS 20768 HAS SOUPS 11881 WITH SCORE 12053.984
AT ITER 972 NEW BEST:: SOT 237278 SOS 173172 HAS SOPS 101366 HAS SOUS 20742 HAS SOUPS 11855 WITH SCORE 12028.172
AT ITER 994 NEW BEST:: SOT 237250 SOS 173144 HAS SOPS 101366 HAS SOUS 20742 HAS SOUPS 11855 WITH SCORE 12028.144
AT ITER 1014 NEW BEST:: SOT 237250 SOS 173144 HAS SOPS 101366 HAS SOUS 20733 HAS SOUPS 11850 WITH SCORE 12023.144
AT ITER 1015 NEW BEST:: SOT 237234 SOS 173170 HAS SOPS 101365 HAS SOUS 20726 HAS SOUPS 11843 WITH SCORE 12016.17
AT ITER 1044 NEW BEST:: SOT 237208 SOS 173598 HAS SOPS 101573 HAS SOUS 20740 HAS SOUPS 11837 WITH SCORE 12010.598
AT ITER 1057 NEW BEST:: SOT 237206 SOS 173683 HAS SOPS 101658 HAS SOUS 20735 HAS SOUPS 11832 WITH SCORE 12005.683
AT ITER 1064 NEW BEST:: SOT 237208 SOS 173711 HAS SOPS 101654 HAS SOUS 20731 HAS SOUPS 11824 WITH SCORE 11997.711
AT ITER 1078 NEW BEST:: SOT 237207 SOS 173700 HAS SOPS 101651 HAS SOUS 20728 HAS SOUPS 11822 WITH SCORE 11995.7
AT ITER 1093 NEW BEST:: SOT 237196 SOS 173689 HAS SOPS 101651 HAS SOUS 20728 HAS SOUPS 11822 WITH SCORE 11995.689
AT ITER 1101 NEW BEST:: SOT 237149 SOS 173642 HAS SOPS 101651 HAS SOUS 20728 HAS SOUPS 11822 WITH SCORE 11995.642
AT ITER 1124 NEW BEST:: SOT 237149 SOS 173642 HAS SOPS 101651 HAS SOUS 20630 HAS SOUPS 11724 WITH SCORE 11897.642
AT ITER 1126 NEW BEST:: SOT 237039 SOS 173532 HAS SOPS 101601 HAS SOUS 20620 HAS SOUPS 11714 WITH SCORE 11887.532
AT ITER 1147 NEW BEST:: SOT 237027 SOS 173256 HAS SOPS 101457 HAS SOUS 20584 HAS SOUPS 11690 WITH SCORE 11863.256
AT ITER 1167 NEW BEST:: SOT 237034 SOS 173470 HAS SOPS 101451 HAS SOUS 20571 HAS SOUPS 11657 WITH SCORE 11830.47
AT ITER 1179 NEW BEST:: SOT 237036 SOS 173458 HAS SOPS 101455 HAS SOUS 20569 HAS SOUPS 11657 WITH SCORE 11830.458
AT ITER 1183 NEW BEST:: SOT 237054 SOS 173476 HAS SOPS 101455 HAS SOUS 20560 HAS SOUPS 11652 WITH SCORE 11825.476
AT ITER 1193 NEW BEST:: SOT 237052 SOS 173552 HAS SOPS 101471 HAS SOUS 20556 HAS SOUPS 11648 WITH SCORE 11821.552
AT ITER 1194 NEW BEST:: SOT 237045 SOS 173545 HAS SOPS 101471 HAS SOUS 20556 HAS SOUPS 11648 WITH SCORE 11821.545
AT ITER 1200 NEW BEST:: SOT 237045 SOS 173490 HAS SOPS 101471 HAS SOUS 20551 HAS SOUPS 11648 WITH SCORE 11821.49
AT ITER 1215 NEW BEST:: SOT 237045 SOS 173398 HAS SOPS 101423 HAS SOUS 20543 HAS SOUPS 11644 WITH SCORE 11817.398
AT ITER 1220 NEW BEST:: SOT 237041 SOS 173394 HAS SOPS 101423 HAS SOUS 20534 HAS SOUPS 11639 WITH SCORE 11812.394
AT ITER 1221 NEW BEST:: SOT 236993 SOS 173346 HAS SOPS 101423 HAS SOUS 20540 HAS SOUPS 11637 WITH SCORE 11810.346
AT ITER 1249 NEW BEST:: SOT 236992 SOS 173319 HAS SOPS 101409 HAS SOUS 20539 HAS SOUPS 11636 WITH SCORE 11809.319
AT ITER 1254 NEW BEST:: SOT 237024 SOS 173357 HAS SOPS 101429 HAS SOUS 20538 HAS SOUPS 11635 WITH SCORE 11808.357
AT ITER 1261 NEW BEST:: SOT 237024 SOS 173107 HAS SOPS 101344 HAS SOUS 20493 HAS SOUPS 11605 WITH SCORE 11778.107
AT ITER 1315 NEW BEST:: SOT 237016 SOS 172807 HAS SOPS 101088 HAS SOUS 20483 HAS SOUPS 11599 WITH SCORE 11771.807
AT ITER 1324 NEW BEST:: SOT 236986 SOS 172727 HAS SOPS 101008 HAS SOUS 20463 HAS SOUPS 11579 WITH SCORE 11751.727
AT ITER 1366 NEW BEST:: SOT 236963 SOS 171350 HAS SOPS 99631 HAS SOUS 20462 HAS SOUPS 11578 WITH SCORE 11749.35
AT ITER 1377 NEW BEST:: SOT 236963 SOS 171350 HAS SOPS 99631 HAS SOUS 20417 HAS SOUPS 11553 WITH SCORE 11724.35
AT ITER 1383 NEW BEST:: SOT 236947 SOS 171334 HAS SOPS 99631 HAS SOUS 20417 HAS SOUPS 11553 WITH SCORE 11724.334
AT ITER 1395 NEW BEST:: SOT 236941 SOS 171328 HAS SOPS 99631 HAS SOUS 20417 HAS SOUPS 11553 WITH SCORE 11724.328
AT ITER 1397 NEW BEST:: SOT 237084 SOS 171471 HAS SOPS 99696 HAS SOUS 20410 HAS SOUPS 11546 WITH SCORE 11717.471
AT ITER 1411 NEW BEST:: SOT 236723 SOS 170851 HAS SOPS 99456 HAS SOUS 20366 HAS SOUPS 11524 WITH SCORE 11694.851
AT ITER 1442 NEW BEST:: SOT 236712 SOS 170840 HAS SOPS 99456 HAS SOUS 20366 HAS SOUPS 11524 WITH SCORE 11694.84
AT ITER 1453 NEW BEST:: SOT 236706 SOS 170752 HAS SOPS 99368 HAS SOUS 20366 HAS SOUPS 11524 WITH SCORE 11694.752
AT ITER 1486 NEW BEST:: SOT 236745 SOS 170786 HAS SOPS 99365 HAS SOUS 20358 HAS SOUPS 11521 WITH SCORE 11691.786
AT ITER 1490 NEW BEST:: SOT 236698 SOS 170723 HAS SOPS 99365 HAS SOUS 20340 HAS SOUPS 11519 WITH SCORE 11689.723
AT ITER 1510 NEW BEST:: SOT 236742 SOS 170799 HAS SOPS 99389 HAS SOUS 20336 HAS SOUPS 11511 WITH SCORE 11681.799
AT ITER 1535 NEW BEST:: SOT 236709 SOS 170268 HAS SOPS 99133 HAS SOUS 20286 HAS SOUPS 11486 WITH SCORE 11656.268
AT ITER 1539 NEW BEST:: SOT 236688 SOS 170138 HAS SOPS 99003 HAS SOUS 20284 HAS SOUPS 11484 WITH SCORE 11654.138
AT ITER 1545 NEW BEST:: SOT 236677 SOS 169995 HAS SOPS 98860 HAS SOUS 20277 HAS SOUPS 11477 WITH SCORE 11646.995
AT ITER 1575 NEW BEST:: SOT 236675 SOS 169969 HAS SOPS 98856 HAS SOUS 20275 HAS SOUPS 11477 WITH SCORE 11646.969
AT ITER 1586 NEW BEST:: SOT 236218 SOS 168791 HAS SOPS 98316 HAS SOUS 20221 HAS SOUPS 11451 WITH SCORE 11619.791
AT ITER 1629 NEW BEST:: SOT 236218 SOS 168791 HAS SOPS 98316 HAS SOUS 20212 HAS SOUPS 11446 WITH SCORE 11614.791
AT ITER 1631 NEW BEST:: SOT 236228 SOS 168431 HAS SOPS 98066 HAS SOUS 20182 HAS SOUPS 11426 WITH SCORE 11594.431
AT ITER 1643 NEW BEST:: SOT 236206 SOS 168387 HAS SOPS 98022 HAS SOUS 20147 HAS SOUPS 11391 WITH SCORE 11559.387
AT ITER 1654 NEW BEST:: SOT 236182 SOS 168075 HAS SOPS 97974 HAS SOUS 20122 HAS SOUPS 11390 WITH SCORE 11558.075
AT ITER 1676 NEW BEST:: SOT 236176 SOS 168069 HAS SOPS 97974 HAS SOUS 20119 HAS SOUPS 11383 WITH SCORE 11551.069
AT ITER 1691 NEW BEST:: SOT 236172 SOS 167441 HAS SOPS 97346 HAS SOUS 20106 HAS SOUPS 11370 WITH SCORE 11537.441
AT ITER 1711 NEW BEST:: SOT 236160 SOS 167289 HAS SOPS 97242 HAS SOUS 20106 HAS SOUPS 11362 WITH SCORE 11529.289
AT ITER 1715 NEW BEST:: SOT 236160 SOS 167264 HAS SOPS 97230 HAS SOUS 20106 HAS SOUPS 11362 WITH SCORE 11529.264
AT ITER 1727 NEW BEST:: SOT 236158 SOS 167353 HAS SOPS 97241 HAS SOUS 20108 HAS SOUPS 11356 WITH SCORE 11523.353
AT ITER 1729 NEW BEST:: SOT 236138 SOS 167079 HAS SOPS 96967 HAS SOUS 20088 HAS SOUPS 11336 WITH SCORE 11503.079
AT ITER 1757 NEW BEST:: SOT 236137 SOS 167078 HAS SOPS 96967 HAS SOUS 20086 HAS SOUPS 11334 WITH SCORE 11501.078
AT ITER 1773 NEW BEST:: SOT 236152 SOS 167284 HAS SOPS 96755 HAS SOUS 20104 HAS SOUPS 11314 WITH SCORE 11481.284
AT ITER 1784 NEW BEST:: SOT 236152 SOS 167260 HAS SOPS 96753 HAS SOUS 20100 HAS SOUPS 11312 WITH SCORE 11479.26
AT ITER 1879 NEW BEST:: SOT 236134 SOS 167355 HAS SOPS 96712 HAS SOUS 20114 HAS SOUPS 11309 WITH SCORE 11476.355
AT ITER 1906 NEW BEST:: SOT 236117 SOS 167294 HAS SOPS 96838 HAS SOUS 20078 HAS SOUPS 11290 WITH SCORE 11457.294
AT ITER 1923 NEW BEST:: SOT 236128 SOS 167209 HAS SOPS 96841 HAS SOUS 20065 HAS SOUPS 11285 WITH SCORE 11452.209
AT ITER 1924 NEW BEST:: SOT 236151 SOS 166766 HAS SOPS 96398 HAS SOUS 20042 HAS SOUPS 11262 WITH SCORE 11428.766
AT ITER 1945 NEW BEST:: SOT 236151 SOS 166553 HAS SOPS 96218 HAS SOUS 20039 HAS SOUPS 11262 WITH SCORE 11428.553
AT ITER 1956 NEW BEST:: SOT 236220 SOS 166622 HAS SOPS 96218 HAS SOUS 20003 HAS SOUPS 11242 WITH SCORE 11408.622
AT ITER 1963 NEW BEST:: SOT 236223 SOS 167015 HAS SOPS 96545 HAS SOUS 20006 HAS SOUPS 11239 WITH SCORE 11406.015
AT ITER 1993 NEW BEST:: SOT 236217 SOS 167009 HAS SOPS 96539 HAS SOUS 19994 HAS SOUPS 11227 WITH SCORE 11394.009
AT ITER 2005 NEW BEST:: SOT 236210 SOS 164398 HAS SOPS 94445 HAS SOUS 19917 HAS SOUPS 11197 WITH SCORE 11361.398
AT ITER 2011 NEW BEST:: SOT 236017 SOS 164096 HAS SOPS 94311 HAS SOUS 19909 HAS SOUPS 11189 WITH SCORE 11353.096
AT ITER 2012 NEW BEST:: SOT 236013 SOS 164110 HAS SOPS 94303 HAS SOUS 19909 HAS SOUPS 11187 WITH SCORE 11351.11
AT ITER 2015 NEW BEST:: SOT 236022 SOS 164083 HAS SOPS 94303 HAS SOUS 19907 HAS SOUPS 11185 WITH SCORE 11349.083
AT ITER 2021 NEW BEST:: SOT 236022 SOS 164083 HAS SOPS 94303 HAS SOUS 19889 HAS SOUPS 11175 WITH SCORE 11339.083
AT ITER 2034 NEW BEST:: SOT 235940 SOS 164204 HAS SOPS 94253 HAS SOUS 19863 HAS SOUPS 11149 WITH SCORE 11313.204
AT ITER 2052 NEW BEST:: SOT 235967 SOS 164439 HAS SOPS 94280 HAS SOUS 19850 HAS SOUPS 11110 WITH SCORE 11274.439
AT ITER 2074 NEW BEST:: SOT 235971 SOS 164443 HAS SOPS 94240 HAS SOUS 19850 HAS SOUPS 11106 WITH SCORE 11270.443
AT ITER 2084 NEW BEST:: SOT 235968 SOS 164437 HAS SOPS 94234 HAS SOUS 19847 HAS SOUPS 11103 WITH SCORE 11267.437
AT ITER 2106 NEW BEST:: SOT 235360 SOS 163075 HAS SOPS 93719 HAS SOUS 19797 HAS SOUPS 11080 WITH SCORE 11243.075
AT ITER 2113 NEW BEST:: SOT 235402 SOS 159138 HAS SOPS 90541 HAS SOUS 19729 HAS SOUPS 11081 WITH SCORE 11240.138
AT ITER 2138 NEW BEST:: SOT 235270 SOS 158930 HAS SOPS 90379 HAS SOUS 19709 HAS SOUPS 11061 WITH SCORE 11219.93
AT ITER 2160 NEW BEST:: SOT 235277 SOS 158704 HAS SOPS 90201 HAS SOUS 19675 HAS SOUPS 11027 WITH SCORE 11185.704
AT ITER 2166 NEW BEST:: SOT 235274 SOS 158632 HAS SOPS 90162 HAS SOUS 19672 HAS SOUPS 11027 WITH SCORE 11185.632
AT ITER 2189 NEW BEST:: SOT 235253 SOS 157186 HAS SOPS 88716 HAS SOUS 19660 HAS SOUPS 11015 WITH SCORE 11172.186
AT ITER 2234 NEW BEST:: SOT 235384 SOS 157317 HAS SOPS 88775 HAS SOUS 19647 HAS SOUPS 11002 WITH SCORE 11159.317
AT ITER 2244 NEW BEST:: SOT 235074 SOS 157025 HAS SOPS 88483 HAS SOUS 19692 HAS SOUPS 11000 WITH SCORE 11157.025
AT ITER 2252 NEW BEST:: SOT 234983 SOS 156876 HAS SOPS 88334 HAS SOUS 19685 HAS SOUPS 10983 WITH SCORE 11139.876
AT ITER 2257 NEW BEST:: SOT 234963 SOS 156772 HAS SOPS 88373 HAS SOUS 19659 HAS SOUPS 10970 WITH SCORE 11126.772
AT ITER 2294 NEW BEST:: SOT 234963 SOS 156762 HAS SOPS 88367 HAS SOUS 19641 HAS SOUPS 10952 WITH SCORE 11108.762
AT ITER 2313 NEW BEST:: SOT 234963 SOS 156762 HAS SOPS 88367 HAS SOUS 19632 HAS SOUPS 10947 WITH SCORE 11103.762
AT ITER 2318 NEW BEST:: SOT 235089 SOS 157042 HAS SOPS 88451 HAS SOUS 19604 HAS SOUPS 10919 WITH SCORE 11076.042
AT ITER 2386 NEW BEST:: SOT 235087 SOS 157051 HAS SOPS 88460 HAS SOUS 19602 HAS SOUPS 10917 WITH SCORE 11074.051
AT ITER 2429 NEW BEST:: SOT 235078 SOS 156975 HAS SOPS 88296 HAS SOUS 19608 HAS SOUPS 10915 WITH SCORE 11071.975
AT ITER 2435 NEW BEST:: SOT 235078 SOS 156962 HAS SOPS 88283 HAS SOUS 19606 HAS SOUPS 10913 WITH SCORE 11069.962
AT ITER 2465 NEW BEST:: SOT 234264 SOS 155507 HAS SOPS 86917 HAS SOUS 19597 HAS SOUPS 10832 WITH SCORE 10987.507
AT ITER 2487 NEW BEST:: SOT 233745 SOS 153929 HAS SOPS 86096 HAS SOUS 19548 HAS SOUPS 10818 WITH SCORE 10971.929
AT ITER 2524 NEW BEST:: SOT 233741 SOS 153925 HAS SOPS 86096 HAS SOUS 19546 HAS SOUPS 10816 WITH SCORE 10969.925
AT ITER 2534 NEW BEST:: SOT 233723 SOS 153907 HAS SOPS 86078 HAS SOUS 19546 HAS SOUPS 10816 WITH SCORE 10969.907
AT ITER 2556 NEW BEST:: SOT 233726 SOS 153868 HAS SOPS 86048 HAS SOUS 19546 HAS SOUPS 10816 WITH SCORE 10969.868
AT ITER 2559 NEW BEST:: SOT 233243 SOS 153202 HAS SOPS 85441 HAS SOUS 19553 HAS SOUPS 10787 WITH SCORE 10940.202
AT ITER 2560 NEW BEST:: SOT 233252 SOS 153011 HAS SOPS 85459 HAS SOUS 19534 HAS SOUPS 10787 WITH SCORE 10940.011
AT ITER 2579 NEW BEST:: SOT 233357 SOS 152219 HAS SOPS 85051 HAS SOUS 19472 HAS SOUPS 10784 WITH SCORE 10936.219
AT ITER 2596 NEW BEST:: SOT 233357 SOS 152219 HAS SOPS 85051 HAS SOUS 19466 HAS SOUPS 10778 WITH SCORE 10930.219
AT ITER 2612 NEW BEST:: SOT 233353 SOS 152191 HAS SOPS 85023 HAS SOUS 19463 HAS SOUPS 10775 WITH SCORE 10927.191
AT ITER 2630 NEW BEST:: SOT 233360 SOS 152139 HAS SOPS 84971 HAS SOUS 19457 HAS SOUPS 10769 WITH SCORE 10921.139
AT ITER 2661 NEW BEST:: SOT 233348 SOS 152091 HAS SOPS 84929 HAS SOUS 19453 HAS SOUPS 10765 WITH SCORE 10917.091
AT ITER 2689 NEW BEST:: SOT 233098 SOS 151841 HAS SOPS 84804 HAS SOUS 19442 HAS SOUPS 10754 WITH SCORE 10905.841
AT ITER 2741 NEW BEST:: SOT 233098 SOS 151841 HAS SOPS 84804 HAS SOUS 19415 HAS SOUPS 10739 WITH SCORE 10890.841
AT ITER 2750 NEW BEST:: SOT 233096 SOS 151838 HAS SOPS 84803 HAS SOUS 19413 HAS SOUPS 10738 WITH SCORE 10889.838
AT ITER 2782 NEW BEST:: SOT 233096 SOS 151838 HAS SOPS 84803 HAS SOUS 19404 HAS SOUPS 10733 WITH SCORE 10884.838
AT ITER 2784 NEW BEST:: SOT 233129 SOS 151932 HAS SOPS 84834 HAS SOUS 19402 HAS SOUPS 10731 WITH SCORE 10882.932
AT ITER 2802 NEW BEST:: SOT 233125 SOS 151928 HAS SOPS 84834 HAS SOUS 19402 HAS SOUPS 10731 WITH SCORE 10882.928
AT ITER 2805 NEW BEST:: SOT 233130 SOS 151893 HAS SOPS 84839 HAS SOUS 19397 HAS SOUPS 10731 WITH SCORE 10882.893
AT ITER 2813 NEW BEST:: SOT 233056 SOS 151734 HAS SOPS 84794 HAS SOUS 19389 HAS SOUPS 10720 WITH SCORE 10871.734
AT ITER 2828 NEW BEST:: SOT 233011 SOS 152285 HAS SOPS 85345 HAS SOUS 19380 HAS SOUPS 10711 WITH SCORE 10863.285
AT ITER 2865 NEW BEST:: SOT 233015 SOS 152265 HAS SOPS 85347 HAS SOUS 19378 HAS SOUPS 10711 WITH SCORE 10863.265
AT ITER 2866 NEW BEST:: SOT 233015 SOS 152265 HAS SOPS 85347 HAS SOUS 19369 HAS SOUPS 10706 WITH SCORE 10858.265
AT ITER 2873 NEW BEST:: SOT 233000 SOS 151905 HAS SOPS 85152 HAS SOUS 19335 HAS SOUPS 10687 WITH SCORE 10838.905
AT ITER 2939 NEW BEST:: SOT 233063 SOS 152046 HAS SOPS 85332 HAS SOUS 19321 HAS SOUPS 10686 WITH SCORE 10838.046
AT ITER 2944 NEW BEST:: SOT 233063 SOS 152046 HAS SOPS 85332 HAS SOUS 19303 HAS SOUPS 10676 WITH SCORE 10828.046
AT ITER 2946 NEW BEST:: SOT 233021 SOS 151111 HAS SOPS 84539 HAS SOUS 19301 HAS SOUPS 10674 WITH SCORE 10825.111
AT ITER 2977 NEW BEST:: SOT 233013 SOS 150974 HAS SOPS 84402 HAS SOUS 19293 HAS SOUPS 10666 WITH SCORE 10816.974
AT ITER 3007 NEW BEST:: SOT 233013 SOS 150974 HAS SOPS 84402 HAS SOUS 19284 HAS SOUPS 10661 WITH SCORE 10811.974
AT ITER 3029 NEW BEST:: SOT 233007 SOS 150965 HAS SOPS 84399 HAS SOUS 19278 HAS SOUPS 10658 WITH SCORE 10808.965
AT ITER 3044 NEW BEST:: SOT 233030 SOS 150977 HAS SOPS 84411 HAS SOUS 19281 HAS SOUPS 10655 WITH SCORE 10805.977
AT ITER 3047 NEW BEST:: SOT 232790 SOS 150428 HAS SOPS 84197 HAS SOUS 19239 HAS SOUPS 10632 WITH SCORE 10782.428
AT ITER 3060 NEW BEST:: SOT 232790 SOS 149906 HAS SOPS 83972 HAS SOUS 19177 HAS SOUPS 10597 WITH SCORE 10746.906
AT ITER 3095 NEW BEST:: SOT 232709 SOS 149706 HAS SOPS 83900 HAS SOUS 19133 HAS SOUPS 10582 WITH SCORE 10731.706
AT ITER 3099 NEW BEST:: SOT 232702 SOS 149699 HAS SOPS 83900 HAS SOUS 19070 HAS SOUPS 10547 WITH SCORE 10696.699
AT ITER 3117 NEW BEST:: SOT 232693 SOS 149690 HAS SOPS 83900 HAS SOUS 19070 HAS SOUPS 10547 WITH SCORE 10696.69
AT ITER 3221 NEW BEST:: SOT 232684 SOS 149681 HAS SOPS 83900 HAS SOUS 19070 HAS SOUPS 10547 WITH SCORE 10696.681
AT ITER 3241 NEW BEST:: SOT 232684 SOS 149681 HAS SOPS 83900 HAS SOUS 19064 HAS SOUPS 10541 WITH SCORE 10690.681
AT ITER 3255 NEW BEST:: SOT 232676 SOS 149618 HAS SOPS 83925 HAS SOUS 19048 HAS SOUPS 10533 WITH SCORE 10682.618
AT ITER 3271 NEW BEST:: SOT 232622 SOS 149534 HAS SOPS 83889 HAS SOUS 19048 HAS SOUPS 10533 WITH SCORE 10682.534
AT ITER 3272 NEW BEST:: SOT 232658 SOS 149570 HAS SOPS 83889 HAS SOUS 18986 HAS SOUPS 10503 WITH SCORE 10652.57
AT ITER 3283 NEW BEST:: SOT 232658 SOS 149625 HAS SOPS 83889 HAS SOUS 18978 HAS SOUPS 10490 WITH SCORE 10639.625
AT ITER 3358 NEW BEST:: SOT 232658 SOS 149577 HAS SOPS 83797 HAS SOUS 18982 HAS SOUPS 10490 WITH SCORE 10639.577
AT ITER 3525 NEW BEST:: SOT 232660 SOS 149421 HAS SOPS 83641 HAS SOUS 18980 HAS SOUPS 10488 WITH SCORE 10637.421
AT ITER 3535 NEW BEST:: SOT 232759 SOS 149632 HAS SOPS 83852 HAS SOUS 18962 HAS SOUPS 10483 WITH SCORE 10632.632
AT ITER 3585 NEW BEST:: SOT 232759 SOS 149632 HAS SOPS 83852 HAS SOUS 18953 HAS SOUPS 10478 WITH SCORE 10627.632
AT ITER 3588 NEW BEST:: SOT 232759 SOS 149632 HAS SOPS 83852 HAS SOUS 18935 HAS SOUPS 10468 WITH SCORE 10617.632
AT ITER 3603 NEW BEST:: SOT 232469 SOS 149153 HAS SOPS 83642 HAS SOUS 18890 HAS SOUPS 10431 WITH SCORE 10580.153
AT ITER 3625 NEW BEST:: SOT 232469 SOS 149114 HAS SOPS 83603 HAS SOUS 18890 HAS SOUPS 10431 WITH SCORE 10580.114
AT ITER 3804 NEW BEST:: SOT 232471 SOS 149069 HAS SOPS 83569 HAS SOUS 18889 HAS SOUPS 10431 WITH SCORE 10580.069
AT ITER 3815 NEW BEST:: SOT 232465 SOS 149057 HAS SOPS 83557 HAS SOUS 18887 HAS SOUPS 10429 WITH SCORE 10578.057
AT ITER 3847 NEW BEST:: SOT 232385 SOS 148887 HAS SOPS 83497 HAS SOUS 18877 HAS SOUPS 10419 WITH SCORE 10567.887
AT ITER 3887 NEW BEST:: SOT 232385 SOS 148887 HAS SOPS 83497 HAS SOUS 18823 HAS SOUPS 10389 WITH SCORE 10537.887
AT ITER 3900 NEW BEST:: SOT 232435 SOS 148992 HAS SOPS 83527 HAS SOUS 18821 HAS SOUPS 10387 WITH SCORE 10535.992
AT ITER 3916 NEW BEST:: SOT 232433 SOS 148978 HAS SOPS 83513 HAS SOUS 18819 HAS SOUPS 10385 WITH SCORE 10533.978
AT ITER 3927 NEW BEST:: SOT 232432 SOS 148965 HAS SOPS 83544 HAS SOUS 18811 HAS SOUPS 10381 WITH SCORE 10529.965
AT ITER 4021 NEW BEST:: SOT 232432 SOS 148965 HAS SOPS 83544 HAS SOUS 18802 HAS SOUPS 10376 WITH SCORE 10524.965
AT ITER 4027 NEW BEST:: SOT 232427 SOS 148960 HAS SOPS 83544 HAS SOUS 18800 HAS SOUPS 10374 WITH SCORE 10522.96
AT ITER 4037 NEW BEST:: SOT 232397 SOS 149219 HAS SOPS 83495 HAS SOUS 18811 HAS SOUPS 10357 WITH SCORE 10506.219
AT ITER 4038 NEW BEST:: SOT 232411 SOS 148833 HAS SOPS 83109 HAS SOUS 18806 HAS SOUPS 10352 WITH SCORE 10500.833
AT ITER 4068 NEW BEST:: SOT 232421 SOS 148782 HAS SOPS 83058 HAS SOUS 18806 HAS SOUPS 10352 WITH SCORE 10500.782
AT ITER 4083 NEW BEST:: SOT 232455 SOS 148885 HAS SOPS 83118 HAS SOUS 18800 HAS SOUPS 10346 WITH SCORE 10494.885
AT ITER 4109 NEW BEST:: SOT 232713 SOS 149602 HAS SOPS 83466 HAS SOUS 18820 HAS SOUPS 10345 WITH SCORE 10494.602
AT ITER 4171 NEW BEST:: SOT 232710 SOS 149599 HAS SOPS 83466 HAS SOUS 18820 HAS SOUPS 10345 WITH SCORE 10494.599
AT ITER 4243 NEW BEST:: SOT 232710 SOS 149474 HAS SOPS 83341 HAS SOUS 18815 HAS SOUPS 10340 WITH SCORE 10489.474
AT ITER 4249 NEW BEST:: SOT 232714 SOS 149464 HAS SOPS 83319 HAS SOUS 18811 HAS SOUPS 10336 WITH SCORE 10485.464
AT ITER 4252 NEW BEST:: SOT 232701 SOS 149712 HAS SOPS 83512 HAS SOUS 18815 HAS SOUPS 10335 WITH SCORE 10484.712
AT ITER 4253 NEW BEST:: SOT 232699 SOS 149780 HAS SOPS 83524 HAS SOUS 18809 HAS SOUPS 10325 WITH SCORE 10474.78
AT ITER 4293 NEW BEST:: SOT 232725 SOS 148974 HAS SOPS 83026 HAS SOUS 18768 HAS SOUPS 10312 WITH SCORE 10460.974
AT ITER 4374 NEW BEST:: SOT 232735 SOS 149067 HAS SOPS 83119 HAS SOUS 18748 HAS SOUPS 10292 WITH SCORE 10441.067
AT ITER 4442 NEW BEST:: SOT 232535 SOS 148642 HAS SOPS 82694 HAS SOUS 18773 HAS SOUPS 10292 WITH SCORE 10440.642
AT ITER 4588 NEW BEST:: SOT 232418 SOS 148564 HAS SOPS 82616 HAS SOUS 18786 HAS SOUPS 10292 WITH SCORE 10440.564
AT ITER 4591 NEW BEST:: SOT 232418 SOS 148564 HAS SOPS 82616 HAS SOUS 18768 HAS SOUPS 10282 WITH SCORE 10430.564
AT ITER 4599 NEW BEST:: SOT 231924 SOS 147971 HAS SOPS 82251 HAS SOUS 18766 HAS SOUPS 10280 WITH SCORE 10427.971
AT ITER 4604 NEW BEST:: SOT 231916 SOS 147962 HAS SOPS 82242 HAS SOUS 18760 HAS SOUPS 10274 WITH SCORE 10421.962
AT ITER 4737 NEW BEST:: SOT 231915 SOS 147961 HAS SOPS 82242 HAS SOUS 18760 HAS SOUPS 10274 WITH SCORE 10421.961
AT ITER 4746 NEW BEST:: SOT 231903 SOS 147949 HAS SOPS 82242 HAS SOUS 18750 HAS SOUPS 10264 WITH SCORE 10411.949
AT ITER 4805 NEW BEST:: SOT 231902 SOS 147940 HAS SOPS 82277 HAS SOUS 18740 HAS SOUPS 10258 WITH SCORE 10405.94
AT ITER 4906 NEW BEST:: SOT 231890 SOS 147784 HAS SOPS 82121 HAS SOUS 18740 HAS SOUPS 10258 WITH SCORE 10405.784
AT ITER 4915 NEW BEST:: SOT 231881 SOS 147649 HAS SOPS 81986 HAS SOUS 18704 HAS SOUPS 10222 WITH SCORE 10369.649
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-07a-CTLCardinality-00 ( (AG( (! ( potential( (tk(P210)) <= (tk(P73)) ) & potential( ( 1 ) <= (tk(P4)) ) )))) | (AU( ( potential( (tk(P150)) <= (tk(P150)) ) | potential( (tk(P191)) <= (tk(P162)) ) ),( potential( ( 2 ) <= (tk(P200)) ) & potential( (tk(P160)) <= (tk(P228)) ) ) )) )
PROPERTY: DLCround-PT-07a-CTLCardinality-01 (! (EF((AG( potential( ( 3 ) <= (tk(P72)) ))))))
PROPERTY: DLCround-PT-07a-CTLCardinality-02 (AG( potential( (tk(P68)) <= (tk(P217)) )))
PROPERTY: DLCround-PT-07a-CTLCardinality-03 (! (EF((EX( potential( ( 3 ) <= (tk(P187)) ))))))
PROPERTY: DLCround-PT-07a-CTLCardinality-04 (EU( (EF(potential( ( 3 ) <= (tk(P65)) ))),(AF(potential( ( 3 ) <= (tk(P60)) ))) ))
PROPERTY: DLCround-PT-07a-CTLCardinality-05 (EF(( (AX( potential( ( 3 ) <= (tk(P100)) ))) & (! ( potential( (tk(P47)) <= (tk(P87)) ) & potential( (tk(P50)) <= (tk(P161)) ) )) )))
PROPERTY: DLCround-PT-07a-CTLCardinality-06 (! ( (EU( potential( (tk(P165)) <= (tk(P197)) ),potential( ( 2 ) <= (tk(P172)) ) )) & ( potential( (tk(P59)) <= (tk(P11)) ) | (EX( potential( ( 3 ) <= (tk(P220)) ))) ) ))
PROPERTY: DLCround-PT-07a-CTLCardinality-07 (EU( (EX( potential( (tk(P223)) <= (tk(P139)) ))),( (! potential( (tk(P3)) <= (tk(P172)) )) & (! potential( (tk(P151)) <= (tk(P217)) )) ) ))
PROPERTY: DLCround-PT-07a-CTLCardinality-08 ( ( ( (EX( potential( ( 1 ) <= (tk(P35)) ))) | (EF(potential( ( 3 ) <= (tk(P76)) ))) ) | (AX( potential( (tk(P61)) <= (tk(P48)) ))) ) & (! (EU( potential( (tk(P124)) <= (tk(P134)) ),potential( ( 1 ) <= (tk(P105)) ) ))) )
PROPERTY: DLCround-PT-07a-CTLCardinality-09 (! ( ( (EF(potential( ( 3 ) <= (tk(P189)) ))) | (AG( potential( (tk(P106)) <= (tk(P213)) ))) ) & (AU( potential( (tk(P157)) <= (tk(P159)) ),potential( (tk(P71)) <= (tk(P38)) ) )) ))
PROPERTY: DLCround-PT-07a-CTLCardinality-10 (EF(potential( ( 3 ) <= (tk(P186)) )))
PROPERTY: DLCround-PT-07a-CTLCardinality-11 (EU( (EF(potential( ( 3 ) <= (tk(P15)) ))),potential( ( 1 ) <= (tk(P46)) ) ))
PROPERTY: DLCround-PT-07a-CTLCardinality-12 (AG( (! (AF(potential( ( 3 ) <= (tk(P97)) ))))))
PROPERTY: DLCround-PT-07a-CTLCardinality-13 (! (AF((AG( potential( (tk(P203)) <= (tk(P197)) ))))))
PROPERTY: DLCround-PT-07a-CTLCardinality-14 ( ( (! (EG( potential( ( 2 ) <= (tk(P95)) )))) & potential( ( 3 ) <= (tk(P174)) ) ) | (AX( (AG( potential( (tk(P101)) <= (tk(P168)) ))))) )
PROPERTY: DLCround-PT-07a-CTLCardinality-15 ( (AU( ( potential( (tk(P201)) <= (tk(P173)) ) | potential( ( 3 ) <= (tk(P178)) ) ),( potential( (tk(P182)) <= (tk(P1)) ) & potential( ( 3 ) <= (tk(P177)) ) ) )) | (AG( (AX( potential( ( 1 ) <= (tk(P200)) ))))) )

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-07a"
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 DLCround-PT-07a, 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-158902542300515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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