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

--------------------
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-CTLFireability-00
FORMULA_NAME DLCround-PT-07a-CTLFireability-01
FORMULA_NAME DLCround-PT-07a-CTLFireability-02
FORMULA_NAME DLCround-PT-07a-CTLFireability-03
FORMULA_NAME DLCround-PT-07a-CTLFireability-04
FORMULA_NAME DLCround-PT-07a-CTLFireability-05
FORMULA_NAME DLCround-PT-07a-CTLFireability-06
FORMULA_NAME DLCround-PT-07a-CTLFireability-07
FORMULA_NAME DLCround-PT-07a-CTLFireability-08
FORMULA_NAME DLCround-PT-07a-CTLFireability-09
FORMULA_NAME DLCround-PT-07a-CTLFireability-10
FORMULA_NAME DLCround-PT-07a-CTLFireability-11
FORMULA_NAME DLCround-PT-07a-CTLFireability-12
FORMULA_NAME DLCround-PT-07a-CTLFireability-13
FORMULA_NAME DLCround-PT-07a-CTLFireability-14
FORMULA_NAME DLCround-PT-07a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589125329273

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07a
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: 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 13 NEW BEST:: SOT 236711 SOS 193809 HAS SOPS 116129 HAS SOUS 27014 HAS SOUPS 17690 WITH SCORE 17883.809
AT ITER 19 NEW BEST:: SOT 236633 SOS 196318 HAS SOPS 117637 HAS SOUS 26962 HAS SOUPS 17638 WITH SCORE 17834.318
AT ITER 26 NEW BEST:: SOT 235851 SOS 194626 HAS SOPS 116985 HAS SOUS 26163 HAS SOUPS 16969 WITH SCORE 17163.626
AT ITER 27 NEW BEST:: SOT 235849 SOS 194622 HAS SOPS 116981 HAS SOUS 26161 HAS SOUPS 16967 WITH SCORE 17161.622
AT ITER 40 NEW BEST:: SOT 236056 SOS 193481 HAS SOPS 116720 HAS SOUS 26986 HAS SOUPS 16943 WITH SCORE 17136.481
AT ITER 44 NEW BEST:: SOT 236056 SOS 193376 HAS SOPS 116720 HAS SOUS 26986 HAS SOUPS 16943 WITH SCORE 17136.376
AT ITER 52 NEW BEST:: SOT 236074 SOS 193250 HAS SOPS 116702 HAS SOUS 26932 HAS SOUPS 16907 WITH SCORE 17100.25
AT ITER 70 NEW BEST:: SOT 236092 SOS 193412 HAS SOPS 116864 HAS SOUS 26896 HAS SOUPS 16871 WITH SCORE 17064.412
AT ITER 76 NEW BEST:: SOT 236581 SOS 194075 HAS SOPS 117005 HAS SOUS 27014 HAS SOUPS 16781 WITH SCORE 16975.075
AT ITER 85 NEW BEST:: SOT 236559 SOS 194081 HAS SOPS 116871 HAS SOUS 26881 HAS SOUPS 16548 WITH SCORE 16742.081
AT ITER 92 NEW BEST:: SOT 236726 SOS 189959 HAS SOPS 113563 HAS SOUS 26790 HAS SOUPS 16531 WITH SCORE 16720.959
AT ITER 96 NEW BEST:: SOT 236687 SOS 189452 HAS SOPS 113485 HAS SOUS 26731 HAS SOUPS 16511 WITH SCORE 16700.452
AT ITER 100 NEW BEST:: SOT 237075 SOS 189914 HAS SOPS 113503 HAS SOUS 26181 HAS SOUPS 15953 WITH SCORE 16142.914
AT ITER 106 NEW BEST:: SOT 237012 SOS 190348 HAS SOPS 113577 HAS SOUS 26129 HAS SOUPS 15901 WITH SCORE 16091.348
AT ITER 107 NEW BEST:: SOT 237012 SOS 190472 HAS SOPS 113701 HAS SOUS 26042 HAS SOUPS 15814 WITH SCORE 16004.472
AT ITER 110 NEW BEST:: SOT 236976 SOS 191657 HAS SOPS 114512 HAS SOUS 26068 HAS SOUPS 15806 WITH SCORE 15997.657
AT ITER 119 NEW BEST:: SOT 236945 SOS 194529 HAS SOPS 115800 HAS SOUS 26089 HAS SOUPS 15761 WITH SCORE 15955.529
AT ITER 120 NEW BEST:: SOT 236992 SOS 194566 HAS SOPS 115837 HAS SOUS 26088 HAS SOUPS 15760 WITH SCORE 15954.566
AT ITER 137 NEW BEST:: SOT 236992 SOS 194436 HAS SOPS 115772 HAS SOUS 26088 HAS SOUPS 15760 WITH SCORE 15954.436
AT ITER 138 NEW BEST:: SOT 236856 SOS 193624 HAS SOPS 115620 HAS SOUS 26012 HAS SOUPS 15744 WITH SCORE 15937.624
AT ITER 140 NEW BEST:: SOT 236835 SOS 193862 HAS SOPS 115690 HAS SOUS 26012 HAS SOUPS 15737 WITH SCORE 15930.862
AT ITER 141 NEW BEST:: SOT 236653 SOS 193706 HAS SOPS 115690 HAS SOUS 25754 HAS SOUPS 15733 WITH SCORE 15926.706
AT ITER 147 NEW BEST:: SOT 236568 SOS 189213 HAS SOPS 111766 HAS SOUS 25620 HAS SOUPS 15662 WITH SCORE 15851.213
AT ITER 158 NEW BEST:: SOT 236434 SOS 190249 HAS SOPS 112226 HAS SOUS 25538 HAS SOUPS 15580 WITH SCORE 15770.249
AT ITER 163 NEW BEST:: SOT 236434 SOS 190161 HAS SOPS 112138 HAS SOUS 25530 HAS SOUPS 15572 WITH SCORE 15762.161
AT ITER 173 NEW BEST:: SOT 237134 SOS 190947 HAS SOPS 112651 HAS SOUS 25658 HAS SOUPS 15562 WITH SCORE 15752.947
AT ITER 174 NEW BEST:: SOT 237194 SOS 191013 HAS SOPS 112681 HAS SOUS 25640 HAS SOUPS 15544 WITH SCORE 15735.013
AT ITER 180 NEW BEST:: SOT 237166 SOS 190341 HAS SOPS 112317 HAS SOUS 25612 HAS SOUPS 15544 WITH SCORE 15734.341
AT ITER 182 NEW BEST:: SOT 237171 SOS 190430 HAS SOPS 112238 HAS SOUS 25715 HAS SOUPS 15500 WITH SCORE 15690.43
AT ITER 188 NEW BEST:: SOT 237168 SOS 190657 HAS SOPS 112564 HAS SOUS 25659 HAS SOUPS 15485 WITH SCORE 15675.657
AT ITER 195 NEW BEST:: SOT 237192 SOS 190157 HAS SOPS 112352 HAS SOUS 25635 HAS SOUPS 15473 WITH SCORE 15663.157
AT ITER 200 NEW BEST:: SOT 237266 SOS 190194 HAS SOPS 112389 HAS SOUS 25598 HAS SOUPS 15436 WITH SCORE 15626.194
AT ITER 205 NEW BEST:: SOT 237263 SOS 190191 HAS SOPS 112386 HAS SOUS 25595 HAS SOUPS 15433 WITH SCORE 15623.191
AT ITER 206 NEW BEST:: SOT 236995 SOS 190020 HAS SOPS 112215 HAS SOUS 25330 HAS SOUPS 15168 WITH SCORE 15358.02
AT ITER 219 NEW BEST:: SOT 237000 SOS 189985 HAS SOPS 112220 HAS SOUS 25320 HAS SOUPS 15163 WITH SCORE 15352.985
AT ITER 222 NEW BEST:: SOT 236863 SOS 188204 HAS SOPS 111517 HAS SOUS 25183 HAS SOUPS 15124 WITH SCORE 15312.204
AT ITER 225 NEW BEST:: SOT 236871 SOS 187920 HAS SOPS 111293 HAS SOUS 25171 HAS SOUPS 15112 WITH SCORE 15299.92
AT ITER 226 NEW BEST:: SOT 236869 SOS 187916 HAS SOPS 111289 HAS SOUS 25165 HAS SOUPS 15106 WITH SCORE 15293.916
AT ITER 236 NEW BEST:: SOT 236243 SOS 186418 HAS SOPS 110783 HAS SOUS 24546 HAS SOUPS 14611 WITH SCORE 14797.418
AT ITER 242 NEW BEST:: SOT 236221 SOS 186143 HAS SOPS 110508 HAS SOUS 24535 HAS SOUPS 14600 WITH SCORE 14786.143
AT ITER 246 NEW BEST:: SOT 234957 SOS 183928 HAS SOPS 109786 HAS SOUS 24417 HAS SOUPS 14597 WITH SCORE 14780.928
AT ITER 251 NEW BEST:: SOT 234945 SOS 183784 HAS SOPS 109642 HAS SOUS 24405 HAS SOUPS 14585 WITH SCORE 14768.784
AT ITER 259 NEW BEST:: SOT 234945 SOS 183739 HAS SOPS 109637 HAS SOUS 24390 HAS SOUPS 14575 WITH SCORE 14758.739
AT ITER 265 NEW BEST:: SOT 234945 SOS 183771 HAS SOPS 109573 HAS SOUS 24358 HAS SOUPS 14511 WITH SCORE 14694.771
AT ITER 267 NEW BEST:: SOT 235314 SOS 184386 HAS SOPS 109819 HAS SOUS 24235 HAS SOUPS 14429 WITH SCORE 14613.386
AT ITER 272 NEW BEST:: SOT 235459 SOS 185015 HAS SOPS 110448 HAS SOUS 24085 HAS SOUPS 14279 WITH SCORE 14464.015
AT ITER 277 NEW BEST:: SOT 236474 SOS 186020 HAS SOPS 110813 HAS SOUS 23917 HAS SOUPS 14052 WITH SCORE 14238.02
AT ITER 283 NEW BEST:: SOT 236887 SOS 186947 HAS SOPS 111425 HAS SOUS 23227 HAS SOUPS 14005 WITH SCORE 14191.947
AT ITER 284 NEW BEST:: SOT 236873 SOS 186877 HAS SOPS 111411 HAS SOUS 23213 HAS SOUPS 13998 WITH SCORE 14184.877
AT ITER 285 NEW BEST:: SOT 237629 SOS 188137 HAS SOPS 111789 HAS SOUS 23258 HAS SOUPS 13980 WITH SCORE 14168.137
AT ITER 286 NEW BEST:: SOT 237573 SOS 187768 HAS SOPS 111420 HAS SOUS 23245 HAS SOUPS 13967 WITH SCORE 14154.768
AT ITER 294 NEW BEST:: SOT 237893 SOS 188280 HAS SOPS 111612 HAS SOUS 23149 HAS SOUPS 13903 WITH SCORE 14091.28
AT ITER 295 NEW BEST:: SOT 237893 SOS 188280 HAS SOPS 111612 HAS SOUS 23146 HAS SOUPS 13901 WITH SCORE 14089.28
AT ITER 297 NEW BEST:: SOT 237893 SOS 188280 HAS SOPS 111545 HAS SOUS 23196 HAS SOUPS 13899 WITH SCORE 14087.28
AT ITER 304 NEW BEST:: SOT 237785 SOS 188097 HAS SOPS 111362 HAS SOUS 23117 HAS SOUPS 13820 WITH SCORE 14008.097
AT ITER 308 NEW BEST:: SOT 237785 SOS 187977 HAS SOPS 111266 HAS SOUS 23109 HAS SOUPS 13812 WITH SCORE 13999.977
AT ITER 340 NEW BEST:: SOT 237789 SOS 187981 HAS SOPS 111270 HAS SOUS 23107 HAS SOUPS 13810 WITH SCORE 13997.981
AT ITER 341 NEW BEST:: SOT 237765 SOS 187957 HAS SOPS 111246 HAS SOUS 23119 HAS SOUPS 13806 WITH SCORE 13993.957
AT ITER 354 NEW BEST:: SOT 237765 SOS 187957 HAS SOPS 111246 HAS SOUS 23112 HAS SOUPS 13804 WITH SCORE 13991.957
AT ITER 368 NEW BEST:: SOT 237756 SOS 187840 HAS SOPS 111129 HAS SOUS 23100 HAS SOUPS 13792 WITH SCORE 13979.84
AT ITER 376 NEW BEST:: SOT 237279 SOS 187363 HAS SOPS 110892 HAS SOUS 23096 HAS SOUPS 13788 WITH SCORE 13975.363
AT ITER 379 NEW BEST:: SOT 237318 SOS 185696 HAS SOPS 109698 HAS SOUS 22997 HAS SOUPS 13732 WITH SCORE 13917.696
AT ITER 384 NEW BEST:: SOT 237286 SOS 185664 HAS SOPS 109698 HAS SOUS 22991 HAS SOUPS 13726 WITH SCORE 13911.664
AT ITER 419 NEW BEST:: SOT 237734 SOS 186181 HAS SOPS 109801 HAS SOUS 22555 HAS SOUPS 13286 WITH SCORE 13472.181
AT ITER 420 NEW BEST:: SOT 237834 SOS 186281 HAS SOPS 109836 HAS SOUS 22419 HAS SOUPS 13226 WITH SCORE 13412.281
AT ITER 423 NEW BEST:: SOT 237830 SOS 186277 HAS SOPS 109834 HAS SOUS 22417 HAS SOUPS 13224 WITH SCORE 13410.277
AT ITER 442 NEW BEST:: SOT 237820 SOS 186267 HAS SOPS 109824 HAS SOUS 22407 HAS SOUPS 13214 WITH SCORE 13400.267
AT ITER 462 NEW BEST:: SOT 238820 SOS 187995 HAS SOPS 110369 HAS SOUS 22389 HAS SOUPS 13105 WITH SCORE 13292.995
AT ITER 472 NEW BEST:: SOT 238820 SOS 187967 HAS SOPS 110362 HAS SOUS 22389 HAS SOUPS 13105 WITH SCORE 13292.967
AT ITER 503 NEW BEST:: SOT 238785 SOS 187642 HAS SOPS 110378 HAS SOUS 22292 HAS SOUPS 13039 WITH SCORE 13226.642
AT ITER 511 NEW BEST:: SOT 238741 SOS 185232 HAS SOPS 107968 HAS SOUS 22284 HAS SOUPS 13031 WITH SCORE 13216.232
AT ITER 519 NEW BEST:: SOT 238723 SOS 185178 HAS SOPS 107716 HAS SOUS 22302 HAS SOUPS 13031 WITH SCORE 13216.178
AT ITER 525 NEW BEST:: SOT 238673 SOS 185138 HAS SOPS 107676 HAS SOUS 22300 HAS SOUPS 13029 WITH SCORE 13214.138
AT ITER 528 NEW BEST:: SOT 238674 SOS 185100 HAS SOPS 107654 HAS SOUS 22300 HAS SOUPS 13029 WITH SCORE 13214.1
AT ITER 531 NEW BEST:: SOT 238674 SOS 185100 HAS SOPS 107624 HAS SOUS 22270 HAS SOUPS 12999 WITH SCORE 13184.1
AT ITER 535 NEW BEST:: SOT 238642 SOS 184805 HAS SOPS 107329 HAS SOUS 22161 HAS SOUPS 12890 WITH SCORE 13074.805
AT ITER 547 NEW BEST:: SOT 238614 SOS 184521 HAS SOPS 107045 HAS SOUS 22154 HAS SOUPS 12883 WITH SCORE 13067.521
AT ITER 548 NEW BEST:: SOT 238596 SOS 184045 HAS SOPS 106789 HAS SOUS 22124 HAS SOUPS 12873 WITH SCORE 13057.045
AT ITER 550 NEW BEST:: SOT 238538 SOS 184019 HAS SOPS 106789 HAS SOUS 22142 HAS SOUPS 12873 WITH SCORE 13057.019
AT ITER 565 NEW BEST:: SOT 238538 SOS 184019 HAS SOPS 106789 HAS SOUS 22097 HAS SOUPS 12848 WITH SCORE 13032.019
AT ITER 568 NEW BEST:: SOT 238527 SOS 184008 HAS SOPS 106778 HAS SOUS 22086 HAS SOUPS 12837 WITH SCORE 13021.008
AT ITER 604 NEW BEST:: SOT 238576 SOS 183469 HAS SOPS 106778 HAS SOUS 22037 HAS SOUPS 12837 WITH SCORE 13020.469
AT ITER 607 NEW BEST:: SOT 238565 SOS 182897 HAS SOPS 106745 HAS SOUS 21975 HAS SOUPS 12806 WITH SCORE 12988.897
AT ITER 611 NEW BEST:: SOT 238622 SOS 182293 HAS SOPS 106702 HAS SOUS 21886 HAS SOUPS 12768 WITH SCORE 12950.293
AT ITER 612 NEW BEST:: SOT 238598 SOS 180169 HAS SOPS 104963 HAS SOUS 21827 HAS SOUPS 12744 WITH SCORE 12924.169
AT ITER 617 NEW BEST:: SOT 238599 SOS 180083 HAS SOPS 105097 HAS SOUS 21796 HAS SOUPS 12733 WITH SCORE 12913.083
AT ITER 618 NEW BEST:: SOT 238613 SOS 179869 HAS SOPS 104883 HAS SOUS 21789 HAS SOUPS 12726 WITH SCORE 12905.869
AT ITER 622 NEW BEST:: SOT 238607 SOS 179695 HAS SOPS 104853 HAS SOUS 21729 HAS SOUPS 12684 WITH SCORE 12863.695
AT ITER 636 NEW BEST:: SOT 238573 SOS 179125 HAS SOPS 104577 HAS SOUS 21652 HAS SOUPS 12607 WITH SCORE 12786.125
AT ITER 647 NEW BEST:: SOT 238651 SOS 178616 HAS SOPS 104651 HAS SOUS 21550 HAS SOUPS 12558 WITH SCORE 12736.616
AT ITER 655 NEW BEST:: SOT 238646 SOS 178371 HAS SOPS 104526 HAS SOUS 21535 HAS SOUPS 12548 WITH SCORE 12726.371
AT ITER 657 NEW BEST:: SOT 238664 SOS 178842 HAS SOPS 104611 HAS SOUS 21495 HAS SOUPS 12510 WITH SCORE 12688.842
AT ITER 689 NEW BEST:: SOT 238670 SOS 178276 HAS SOPS 104045 HAS SOUS 21419 HAS SOUPS 12434 WITH SCORE 12612.276
AT ITER 691 NEW BEST:: SOT 238574 SOS 178000 HAS SOPS 104016 HAS SOUS 21384 HAS SOUPS 12409 WITH SCORE 12587.0
AT ITER 695 NEW BEST:: SOT 238558 SOS 177984 HAS SOPS 104000 HAS SOUS 21384 HAS SOUPS 12409 WITH SCORE 12586.984
AT ITER 696 NEW BEST:: SOT 238558 SOS 178020 HAS SOPS 104009 HAS SOUS 21375 HAS SOUPS 12400 WITH SCORE 12578.02
AT ITER 700 NEW BEST:: SOT 238482 SOS 177944 HAS SOPS 103933 HAS SOUS 21344 HAS SOUPS 12369 WITH SCORE 12546.944
AT ITER 711 NEW BEST:: SOT 238482 SOS 177944 HAS SOPS 103933 HAS SOUS 21337 HAS SOUPS 12362 WITH SCORE 12539.944
AT ITER 713 NEW BEST:: SOT 237879 SOS 176639 HAS SOPS 103546 HAS SOUS 21274 HAS SOUPS 12353 WITH SCORE 12529.639
AT ITER 718 NEW BEST:: SOT 237879 SOS 176639 HAS SOPS 103546 HAS SOUS 21271 HAS SOUPS 12351 WITH SCORE 12527.639
AT ITER 725 NEW BEST:: SOT 237914 SOS 176674 HAS SOPS 103546 HAS SOUS 21262 HAS SOUPS 12346 WITH SCORE 12522.674
AT ITER 735 NEW BEST:: SOT 237935 SOS 176698 HAS SOPS 103570 HAS SOUS 21259 HAS SOUPS 12343 WITH SCORE 12519.698
AT ITER 736 NEW BEST:: SOT 237933 SOS 176696 HAS SOPS 103568 HAS SOUS 21257 HAS SOUPS 12341 WITH SCORE 12517.696
AT ITER 744 NEW BEST:: SOT 238015 SOS 177168 HAS SOPS 103688 HAS SOUS 21285 HAS SOUPS 12325 WITH SCORE 12502.168
AT ITER 758 NEW BEST:: SOT 237986 SOS 176868 HAS SOPS 103388 HAS SOUS 21270 HAS SOUPS 12310 WITH SCORE 12486.868
AT ITER 759 NEW BEST:: SOT 237978 SOS 175884 HAS SOPS 103108 HAS SOUS 21182 HAS SOUPS 12286 WITH SCORE 12461.884
AT ITER 762 NEW BEST:: SOT 237961 SOS 175867 HAS SOPS 103091 HAS SOUS 21156 HAS SOUPS 12264 WITH SCORE 12439.867
AT ITER 768 NEW BEST:: SOT 237886 SOS 169195 HAS SOPS 97508 HAS SOUS 20839 HAS SOUPS 12046 WITH SCORE 12215.195
AT ITER 816 NEW BEST:: SOT 237886 SOS 169119 HAS SOPS 97432 HAS SOUS 20839 HAS SOUPS 12046 WITH SCORE 12215.119
AT ITER 830 NEW BEST:: SOT 237984 SOS 169234 HAS SOPS 97462 HAS SOUS 20733 HAS SOUPS 11940 WITH SCORE 12109.234
AT ITER 834 NEW BEST:: SOT 237779 SOS 168796 HAS SOPS 97310 HAS SOUS 20728 HAS SOUPS 11928 WITH SCORE 12096.796
AT ITER 849 NEW BEST:: SOT 237773 SOS 168830 HAS SOPS 97278 HAS SOUS 20730 HAS SOUPS 11924 WITH SCORE 12092.83
AT ITER 862 NEW BEST:: SOT 237692 SOS 168647 HAS SOPS 97095 HAS SOUS 20729 HAS SOUPS 11923 WITH SCORE 12091.647
AT ITER 866 NEW BEST:: SOT 237068 SOS 168023 HAS SOPS 96471 HAS SOUS 20729 HAS SOUPS 11923 WITH SCORE 12091.023
AT ITER 883 NEW BEST:: SOT 237092 SOS 168047 HAS SOPS 96461 HAS SOUS 20724 HAS SOUPS 11918 WITH SCORE 12086.047
AT ITER 887 NEW BEST:: SOT 237070 SOS 168258 HAS SOPS 96621 HAS SOUS 20719 HAS SOUPS 11913 WITH SCORE 12081.258
AT ITER 899 NEW BEST:: SOT 237068 SOS 164448 HAS SOPS 92976 HAS SOUS 20680 HAS SOUPS 11874 WITH SCORE 12038.448
AT ITER 902 NEW BEST:: SOT 237025 SOS 164818 HAS SOPS 92895 HAS SOUS 20680 HAS SOUPS 11851 WITH SCORE 12015.818
AT ITER 904 NEW BEST:: SOT 237023 SOS 164894 HAS SOPS 92891 HAS SOUS 20688 HAS SOUPS 11849 WITH SCORE 12013.894
AT ITER 911 NEW BEST:: SOT 236977 SOS 165498 HAS SOPS 93495 HAS SOUS 20645 HAS SOUPS 11806 WITH SCORE 11971.498
AT ITER 924 NEW BEST:: SOT 236962 SOS 165468 HAS SOPS 93470 HAS SOUS 20605 HAS SOUPS 11781 WITH SCORE 11946.468
AT ITER 928 NEW BEST:: SOT 236117 SOS 163549 HAS SOPS 92779 HAS SOUS 20508 HAS SOUPS 11749 WITH SCORE 11912.549
AT ITER 958 NEW BEST:: SOT 236101 SOS 163549 HAS SOPS 92755 HAS SOUS 20500 HAS SOUPS 11741 WITH SCORE 11904.549
AT ITER 969 NEW BEST:: SOT 236101 SOS 163549 HAS SOPS 92754 HAS SOUS 20499 HAS SOUPS 11740 WITH SCORE 11903.549
AT ITER 971 NEW BEST:: SOT 236108 SOS 163556 HAS SOPS 92741 HAS SOUS 20488 HAS SOUPS 11729 WITH SCORE 11892.556
AT ITER 989 NEW BEST:: SOT 236184 SOS 163618 HAS SOPS 92771 HAS SOUS 20472 HAS SOUPS 11723 WITH SCORE 11886.618
AT ITER 1030 NEW BEST:: SOT 236190 SOS 162984 HAS SOPS 92588 HAS SOUS 20418 HAS SOUPS 11710 WITH SCORE 11872.984
AT ITER 1061 NEW BEST:: SOT 236193 SOS 162982 HAS SOPS 92591 HAS SOUS 20412 HAS SOUPS 11709 WITH SCORE 11871.982
AT ITER 1071 NEW BEST:: SOT 236161 SOS 162558 HAS SOPS 92497 HAS SOUS 20380 HAS SOUPS 11707 WITH SCORE 11869.558
AT ITER 1079 NEW BEST:: SOT 236158 SOS 162398 HAS SOPS 92337 HAS SOUS 20373 HAS SOUPS 11700 WITH SCORE 11862.398
AT ITER 1094 NEW BEST:: SOT 235955 SOS 162000 HAS SOPS 92214 HAS SOUS 20362 HAS SOUPS 11700 WITH SCORE 11862.0
AT ITER 1099 NEW BEST:: SOT 235941 SOS 161986 HAS SOPS 92202 HAS SOUS 20362 HAS SOUPS 11700 WITH SCORE 11861.986
AT ITER 1112 NEW BEST:: SOT 235880 SOS 161925 HAS SOPS 92202 HAS SOUS 20110 HAS SOUPS 11560 WITH SCORE 11721.925
AT ITER 1135 NEW BEST:: SOT 235832 SOS 161867 HAS SOPS 92144 HAS SOUS 20109 HAS SOUPS 11559 WITH SCORE 11720.867
AT ITER 1144 NEW BEST:: SOT 235869 SOS 161876 HAS SOPS 92153 HAS SOUS 20095 HAS SOUPS 11545 WITH SCORE 11706.876
AT ITER 1155 NEW BEST:: SOT 235859 SOS 161866 HAS SOPS 92153 HAS SOUS 20095 HAS SOUPS 11545 WITH SCORE 11706.866
AT ITER 1175 NEW BEST:: SOT 235859 SOS 161866 HAS SOPS 92153 HAS SOUS 20059 HAS SOUPS 11525 WITH SCORE 11686.866
AT ITER 1179 NEW BEST:: SOT 235875 SOS 161794 HAS SOPS 92169 HAS SOUS 20051 HAS SOUPS 11525 WITH SCORE 11686.794
AT ITER 1188 NEW BEST:: SOT 235660 SOS 161466 HAS SOPS 91936 HAS SOUS 20017 HAS SOUPS 11491 WITH SCORE 11652.466
AT ITER 1195 NEW BEST:: SOT 235656 SOS 161458 HAS SOPS 91928 HAS SOUS 20013 HAS SOUPS 11487 WITH SCORE 11648.458
AT ITER 1201 NEW BEST:: SOT 235652 SOS 161032 HAS SOPS 91744 HAS SOUS 19942 HAS SOUPS 11438 WITH SCORE 11599.032
AT ITER 1211 NEW BEST:: SOT 235634 SOS 160798 HAS SOPS 91609 HAS SOUS 19924 HAS SOUPS 11429 WITH SCORE 11589.798
AT ITER 1212 NEW BEST:: SOT 235588 SOS 160732 HAS SOPS 91543 HAS SOUS 19896 HAS SOUPS 11401 WITH SCORE 11561.732
AT ITER 1240 NEW BEST:: SOT 235578 SOS 160687 HAS SOPS 91538 HAS SOUS 19891 HAS SOUPS 11401 WITH SCORE 11561.687
AT ITER 1251 NEW BEST:: SOT 235577 SOS 160686 HAS SOPS 91538 HAS SOUS 19891 HAS SOUPS 11401 WITH SCORE 11561.686
AT ITER 1272 NEW BEST:: SOT 235343 SOS 160416 HAS SOPS 91376 HAS SOUS 19891 HAS SOUPS 11401 WITH SCORE 11561.416
AT ITER 1293 NEW BEST:: SOT 235190 SOS 160253 HAS SOPS 91273 HAS SOUS 19884 HAS SOUPS 11394 WITH SCORE 11554.253
AT ITER 1317 NEW BEST:: SOT 235186 SOS 160249 HAS SOPS 91273 HAS SOUS 19884 HAS SOUPS 11394 WITH SCORE 11554.249
AT ITER 1343 NEW BEST:: SOT 235149 SOS 160186 HAS SOPS 91236 HAS SOUS 19875 HAS SOUPS 11388 WITH SCORE 11548.186
AT ITER 1347 NEW BEST:: SOT 235149 SOS 160065 HAS SOPS 91236 HAS SOUS 19864 HAS SOUPS 11388 WITH SCORE 11548.065
AT ITER 1364 NEW BEST:: SOT 235149 SOS 160032 HAS SOPS 91203 HAS SOUS 19853 HAS SOUPS 11377 WITH SCORE 11537.032
AT ITER 1370 NEW BEST:: SOT 235158 SOS 160052 HAS SOPS 91209 HAS SOUS 19851 HAS SOUPS 11375 WITH SCORE 11535.052
AT ITER 1388 NEW BEST:: SOT 235142 SOS 160504 HAS SOPS 91414 HAS SOUS 19835 HAS SOUPS 11359 WITH SCORE 11519.504
AT ITER 1399 NEW BEST:: SOT 235185 SOS 160545 HAS SOPS 91412 HAS SOUS 19831 HAS SOUPS 11357 WITH SCORE 11517.545
AT ITER 1407 NEW BEST:: SOT 235213 SOS 160237 HAS SOPS 91258 HAS SOUS 19803 HAS SOUPS 11343 WITH SCORE 11503.237
AT ITER 1425 NEW BEST:: SOT 235213 SOS 160237 HAS SOPS 91258 HAS SOUS 19794 HAS SOUPS 11338 WITH SCORE 11498.237
AT ITER 1444 NEW BEST:: SOT 235189 SOS 159965 HAS SOPS 90579 HAS SOUS 19803 HAS SOUPS 11310 WITH SCORE 11469.965
AT ITER 1446 NEW BEST:: SOT 235198 SOS 159574 HAS SOPS 90348 HAS SOUS 19802 HAS SOUPS 11309 WITH SCORE 11468.574
AT ITER 1476 NEW BEST:: SOT 235177 SOS 159553 HAS SOPS 90348 HAS SOUS 19793 HAS SOUPS 11304 WITH SCORE 11463.553
AT ITER 1513 NEW BEST:: SOT 235177 SOS 159553 HAS SOPS 90331 HAS SOUS 19776 HAS SOUPS 11287 WITH SCORE 11446.553
AT ITER 1551 NEW BEST:: SOT 235177 SOS 159550 HAS SOPS 90328 HAS SOUS 19776 HAS SOUPS 11287 WITH SCORE 11446.55
AT ITER 1596 NEW BEST:: SOT 235179 SOS 159461 HAS SOPS 90239 HAS SOUS 19769 HAS SOUPS 11280 WITH SCORE 11439.461
AT ITER 1617 NEW BEST:: SOT 235174 SOS 159434 HAS SOPS 90212 HAS SOUS 19767 HAS SOUPS 11278 WITH SCORE 11437.434
AT ITER 1632 NEW BEST:: SOT 235132 SOS 159325 HAS SOPS 90103 HAS SOUS 19755 HAS SOUPS 11266 WITH SCORE 11425.325
AT ITER 1655 NEW BEST:: SOT 234967 SOS 158965 HAS SOPS 89818 HAS SOUS 19725 HAS SOUPS 11236 WITH SCORE 11394.965
AT ITER 1662 NEW BEST:: SOT 234967 SOS 158965 HAS SOPS 89818 HAS SOUS 19722 HAS SOUPS 11234 WITH SCORE 11392.965
AT ITER 1687 NEW BEST:: SOT 234959 SOS 158565 HAS SOPS 89610 HAS SOUS 19698 HAS SOUPS 11218 WITH SCORE 11376.565
AT ITER 1691 NEW BEST:: SOT 234959 SOS 158565 HAS SOPS 89610 HAS SOUS 19617 HAS SOUPS 11173 WITH SCORE 11331.565
AT ITER 1698 NEW BEST:: SOT 234557 SOS 157659 HAS SOPS 89280 HAS SOUS 19544 HAS SOUPS 11136 WITH SCORE 11293.659
AT ITER 1715 NEW BEST:: SOT 234635 SOS 156895 HAS SOPS 89012 HAS SOUS 19527 HAS SOUPS 11127 WITH SCORE 11283.895
AT ITER 1805 NEW BEST:: SOT 234647 SOS 157044 HAS SOPS 88999 HAS SOUS 19525 HAS SOUPS 11104 WITH SCORE 11261.044
AT ITER 1861 NEW BEST:: SOT 234820 SOS 157248 HAS SOPS 89101 HAS SOUS 19505 HAS SOUPS 11084 WITH SCORE 11241.248
AT ITER 1883 NEW BEST:: SOT 234785 SOS 157213 HAS SOPS 89071 HAS SOUS 19504 HAS SOUPS 11080 WITH SCORE 11237.213
AT ITER 1884 NEW BEST:: SOT 234781 SOS 157201 HAS SOPS 89015 HAS SOUS 19508 HAS SOUPS 11080 WITH SCORE 11237.201
AT ITER 1887 NEW BEST:: SOT 234784 SOS 157202 HAS SOPS 89008 HAS SOUS 19499 HAS SOUPS 11073 WITH SCORE 11230.202
AT ITER 1914 NEW BEST:: SOT 234778 SOS 157190 HAS SOPS 88999 HAS SOUS 19490 HAS SOUPS 11066 WITH SCORE 11223.19
AT ITER 1982 NEW BEST:: SOT 234690 SOS 156614 HAS SOPS 88551 HAS SOUS 19474 HAS SOUPS 11058 WITH SCORE 11214.614
AT ITER 1986 NEW BEST:: SOT 234689 SOS 156471 HAS SOPS 88551 HAS SOUS 19459 HAS SOUPS 11056 WITH SCORE 11212.471
AT ITER 2004 NEW BEST:: SOT 234678 SOS 156460 HAS SOPS 88551 HAS SOUS 19459 HAS SOUPS 11056 WITH SCORE 11212.46
AT ITER 2055 NEW BEST:: SOT 234699 SOS 156481 HAS SOPS 88551 HAS SOUS 19432 HAS SOUPS 11041 WITH SCORE 11197.481
AT ITER 2061 NEW BEST:: SOT 234671 SOS 156453 HAS SOPS 88551 HAS SOUS 19432 HAS SOUPS 11041 WITH SCORE 11197.453
AT ITER 2108 NEW BEST:: SOT 234631 SOS 156284 HAS SOPS 88494 HAS SOUS 19421 HAS SOUPS 11030 WITH SCORE 11186.284
AT ITER 2116 NEW BEST:: SOT 234620 SOS 156260 HAS SOPS 88486 HAS SOUS 19419 HAS SOUPS 11029 WITH SCORE 11185.26
AT ITER 2133 NEW BEST:: SOT 234609 SOS 156117 HAS SOPS 88343 HAS SOUS 19408 HAS SOUPS 11018 WITH SCORE 11174.117
AT ITER 2153 NEW BEST:: SOT 234623 SOS 155981 HAS SOPS 88207 HAS SOUS 19404 HAS SOUPS 11014 WITH SCORE 11169.981
AT ITER 2198 NEW BEST:: SOT 234623 SOS 155981 HAS SOPS 88207 HAS SOUS 19395 HAS SOUPS 11009 WITH SCORE 11164.981
AT ITER 2221 NEW BEST:: SOT 234645 SOS 156014 HAS SOPS 88614 HAS SOUS 19342 HAS SOUPS 10990 WITH SCORE 11146.014
AT ITER 2240 NEW BEST:: SOT 234559 SOS 155826 HAS SOPS 88550 HAS SOUS 19326 HAS SOUPS 10982 WITH SCORE 11137.826
AT ITER 2263 NEW BEST:: SOT 234565 SOS 155337 HAS SOPS 88061 HAS SOUS 19317 HAS SOUPS 10973 WITH SCORE 11128.337
AT ITER 2323 NEW BEST:: SOT 234350 SOS 154828 HAS SOPS 87662 HAS SOUS 19288 HAS SOUPS 10952 WITH SCORE 11106.828
AT ITER 2343 NEW BEST:: SOT 234331 SOS 154412 HAS SOPS 87246 HAS SOUS 19273 HAS SOUPS 10937 WITH SCORE 11091.412
AT ITER 2350 NEW BEST:: SOT 234177 SOS 154146 HAS SOPS 87162 HAS SOUS 19206 HAS SOUPS 10920 WITH SCORE 11074.146
AT ITER 2401 NEW BEST:: SOT 234175 SOS 154155 HAS SOPS 87162 HAS SOUS 19205 HAS SOUPS 10919 WITH SCORE 11073.155
AT ITER 2428 NEW BEST:: SOT 234175 SOS 154155 HAS SOPS 87162 HAS SOUS 19202 HAS SOUPS 10917 WITH SCORE 11071.155
AT ITER 2448 NEW BEST:: SOT 233182 SOS 151943 HAS SOPS 86388 HAS SOUS 19068 HAS SOUPS 10858 WITH SCORE 11009.943
AT ITER 2467 NEW BEST:: SOT 233183 SOS 151944 HAS SOPS 86385 HAS SOUS 19065 HAS SOUPS 10855 WITH SCORE 11006.944
AT ITER 2483 NEW BEST:: SOT 233204 SOS 151888 HAS SOPS 86392 HAS SOUS 19058 HAS SOUPS 10855 WITH SCORE 11006.888
AT ITER 2502 NEW BEST:: SOT 233197 SOS 151881 HAS SOPS 86385 HAS SOUS 19051 HAS SOUPS 10848 WITH SCORE 10999.881
AT ITER 2538 NEW BEST:: SOT 233158 SOS 151898 HAS SOPS 86367 HAS SOUS 19027 HAS SOUPS 10835 WITH SCORE 10986.898
AT ITER 2591 NEW BEST:: SOT 233158 SOS 151893 HAS SOPS 86362 HAS SOUS 19027 HAS SOUPS 10835 WITH SCORE 10986.893
AT ITER 2628 NEW BEST:: SOT 233152 SOS 151691 HAS SOPS 86369 HAS SOUS 19001 HAS SOUPS 10828 WITH SCORE 10979.691
AT ITER 2636 NEW BEST:: SOT 233152 SOS 151691 HAS SOPS 86369 HAS SOUS 18983 HAS SOUPS 10818 WITH SCORE 10969.691
AT ITER 2641 NEW BEST:: SOT 233306 SOS 152013 HAS SOPS 86467 HAS SOUS 18987 HAS SOUPS 10808 WITH SCORE 10960.013
AT ITER 2682 NEW BEST:: SOT 233314 SOS 152117 HAS SOPS 86417 HAS SOUS 18989 HAS SOUPS 10796 WITH SCORE 10948.117
AT ITER 2695 NEW BEST:: SOT 233374 SOS 152211 HAS SOPS 86511 HAS SOUS 18971 HAS SOUPS 10778 WITH SCORE 10930.211
AT ITER 2714 NEW BEST:: SOT 233374 SOS 152211 HAS SOPS 86511 HAS SOUS 18962 HAS SOUPS 10773 WITH SCORE 10925.211
AT ITER 2722 NEW BEST:: SOT 233365 SOS 151665 HAS SOPS 85911 HAS SOUS 18897 HAS SOUPS 10708 WITH SCORE 10859.665
AT ITER 2726 NEW BEST:: SOT 233403 SOS 151703 HAS SOPS 85911 HAS SOUS 18843 HAS SOUPS 10678 WITH SCORE 10829.703
AT ITER 2746 NEW BEST:: SOT 233401 SOS 151701 HAS SOPS 85911 HAS SOUS 18843 HAS SOUPS 10678 WITH SCORE 10829.701
AT ITER 2753 NEW BEST:: SOT 232450 SOS 150793 HAS SOPS 85088 HAS SOUS 18836 HAS SOUPS 10664 WITH SCORE 10814.793
AT ITER 2765 NEW BEST:: SOT 231832 SOS 149713 HAS SOPS 84684 HAS SOUS 18763 HAS SOUPS 10643 WITH SCORE 10792.713
AT ITER 2772 NEW BEST:: SOT 231824 SOS 149705 HAS SOPS 84684 HAS SOUS 18763 HAS SOUPS 10643 WITH SCORE 10792.705
AT ITER 2782 NEW BEST:: SOT 231564 SOS 149353 HAS SOPS 84452 HAS SOUS 18758 HAS SOUPS 10638 WITH SCORE 10787.353
AT ITER 2794 NEW BEST:: SOT 231332 SOS 147655 HAS SOPS 83094 HAS SOUS 18693 HAS SOUPS 10589 WITH SCORE 10736.655
AT ITER 2804 NEW BEST:: SOT 231475 SOS 147969 HAS SOPS 83184 HAS SOUS 18695 HAS SOUPS 10577 WITH SCORE 10724.969
AT ITER 2820 NEW BEST:: SOT 231474 SOS 147968 HAS SOPS 83184 HAS SOUS 18695 HAS SOUPS 10577 WITH SCORE 10724.968
AT ITER 2838 NEW BEST:: SOT 231488 SOS 147982 HAS SOPS 83184 HAS SOUS 18659 HAS SOUPS 10557 WITH SCORE 10704.982
AT ITER 2865 NEW BEST:: SOT 231480 SOS 147910 HAS SOPS 83176 HAS SOUS 18651 HAS SOUPS 10557 WITH SCORE 10704.91
AT ITER 2866 NEW BEST:: SOT 231567 SOS 148021 HAS SOPS 83242 HAS SOUS 18648 HAS SOUPS 10554 WITH SCORE 10702.021
AT ITER 2917 NEW BEST:: SOT 231577 SOS 148032 HAS SOPS 83248 HAS SOUS 18647 HAS SOUPS 10553 WITH SCORE 10701.032
AT ITER 2931 NEW BEST:: SOT 231568 SOS 147915 HAS SOPS 83230 HAS SOUS 18638 HAS SOUPS 10553 WITH SCORE 10700.915
AT ITER 3009 NEW BEST:: SOT 231551 SOS 147911 HAS SOPS 83228 HAS SOUS 18589 HAS SOUPS 10504 WITH SCORE 10651.911
AT ITER 3038 NEW BEST:: SOT 231544 SOS 147907 HAS SOPS 83225 HAS SOUS 18590 HAS SOUPS 10504 WITH SCORE 10651.907
AT ITER 3048 NEW BEST:: SOT 231543 SOS 147906 HAS SOPS 83225 HAS SOUS 18590 HAS SOUPS 10504 WITH SCORE 10651.906
AT ITER 3059 NEW BEST:: SOT 231533 SOS 147806 HAS SOPS 83173 HAS SOUS 18564 HAS SOUPS 10478 WITH SCORE 10625.806
AT ITER 3060 NEW BEST:: SOT 231533 SOS 147806 HAS SOPS 83173 HAS SOUS 18546 HAS SOUPS 10468 WITH SCORE 10615.806
AT ITER 3099 NEW BEST:: SOT 231472 SOS 147771 HAS SOPS 83138 HAS SOUS 18532 HAS SOUPS 10454 WITH SCORE 10601.771
AT ITER 3122 NEW BEST:: SOT 231472 SOS 147765 HAS SOPS 83132 HAS SOUS 18532 HAS SOUPS 10454 WITH SCORE 10601.765
AT ITER 3126 NEW BEST:: SOT 230154 SOS 144329 HAS SOPS 80038 HAS SOUS 18610 HAS SOUPS 10457 WITH SCORE 10601.329
AT ITER 3144 NEW BEST:: SOT 230217 SOS 144398 HAS SOPS 80077 HAS SOUS 18607 HAS SOUPS 10454 WITH SCORE 10598.398
AT ITER 3146 NEW BEST:: SOT 230211 SOS 144314 HAS SOPS 79993 HAS SOUS 18595 HAS SOUPS 10442 WITH SCORE 10586.314
AT ITER 3154 NEW BEST:: SOT 230153 SOS 144376 HAS SOPS 79681 HAS SOUS 18605 HAS SOUPS 10418 WITH SCORE 10562.376
AT ITER 3187 NEW BEST:: SOT 230151 SOS 144340 HAS SOPS 79709 HAS SOUS 18595 HAS SOUPS 10416 WITH SCORE 10560.34
AT ITER 3209 NEW BEST:: SOT 230149 SOS 144338 HAS SOPS 79709 HAS SOUS 18595 HAS SOUPS 10416 WITH SCORE 10560.338
AT ITER 3216 NEW BEST:: SOT 230222 SOS 144511 HAS SOPS 79756 HAS SOUS 18562 HAS SOUPS 10390 WITH SCORE 10534.511
AT ITER 3263 NEW BEST:: SOT 230171 SOS 144460 HAS SOPS 79756 HAS SOUS 18562 HAS SOUPS 10390 WITH SCORE 10534.46
AT ITER 3352 NEW BEST:: SOT 230115 SOS 144064 HAS SOPS 79428 HAS SOUS 18550 HAS SOUPS 10382 WITH SCORE 10526.064
AT ITER 3355 NEW BEST:: SOT 230108 SOS 144050 HAS SOPS 79414 HAS SOUS 18539 HAS SOUPS 10371 WITH SCORE 10515.05
AT ITER 3369 NEW BEST:: SOT 230108 SOS 144030 HAS SOPS 79412 HAS SOUS 18537 HAS SOUPS 10371 WITH SCORE 10515.03
AT ITER 3385 NEW BEST:: SOT 229349 SOS 142316 HAS SOPS 78800 HAS SOUS 18475 HAS SOUPS 10363 WITH SCORE 10505.316
AT ITER 3388 NEW BEST:: SOT 229179 SOS 140904 HAS SOPS 77590 HAS SOUS 18450 HAS SOUPS 10342 WITH SCORE 10482.904
AT ITER 3418 NEW BEST:: SOT 229297 SOS 141047 HAS SOPS 77673 HAS SOUS 18443 HAS SOUPS 10335 WITH SCORE 10476.047
AT ITER 3482 NEW BEST:: SOT 228071 SOS 138682 HAS SOPS 75576 HAS SOUS 18380 HAS SOUPS 10208 WITH SCORE 10346.682
AT ITER 3488 NEW BEST:: SOT 228047 SOS 138682 HAS SOPS 75576 HAS SOUS 18356 HAS SOUPS 10184 WITH SCORE 10322.682
AT ITER 3501 NEW BEST:: SOT 228144 SOS 138619 HAS SOPS 75757 HAS SOUS 18313 HAS SOUPS 10173 WITH SCORE 10311.619
AT ITER 3526 NEW BEST:: SOT 228155 SOS 138630 HAS SOPS 75763 HAS SOUS 18311 HAS SOUPS 10171 WITH SCORE 10309.63
AT ITER 3544 NEW BEST:: SOT 228189 SOS 138255 HAS SOPS 75415 HAS SOUS 18306 HAS SOUPS 10166 WITH SCORE 10304.255
AT ITER 3569 NEW BEST:: SOT 228189 SOS 138255 HAS SOPS 75415 HAS SOUS 18297 HAS SOUPS 10161 WITH SCORE 10299.255
AT ITER 3612 NEW BEST:: SOT 227849 SOS 137665 HAS SOPS 75215 HAS SOUS 18257 HAS SOUPS 10151 WITH SCORE 10288.665
AT ITER 3659 NEW BEST:: SOT 227849 SOS 137665 HAS SOPS 75215 HAS SOUS 18248 HAS SOUPS 10145 WITH SCORE 10282.665
AT ITER 3661 NEW BEST:: SOT 227797 SOS 137285 HAS SOPS 74887 HAS SOUS 18236 HAS SOUPS 10133 WITH SCORE 10270.285
AT ITER 3726 NEW BEST:: SOT 227764 SOS 137219 HAS SOPS 74865 HAS SOUS 18190 HAS SOUPS 10120 WITH SCORE 10257.219
AT ITER 3729 NEW BEST:: SOT 227751 SOS 137171 HAS SOPS 74817 HAS SOUS 18177 HAS SOUPS 10107 WITH SCORE 10244.171
AT ITER 3730 NEW BEST:: SOT 227760 SOS 137191 HAS SOPS 74823 HAS SOUS 18176 HAS SOUPS 10105 WITH SCORE 10242.191
AT ITER 3733 NEW BEST:: SOT 227598 SOS 136879 HAS SOPS 74750 HAS SOUS 18133 HAS SOUPS 10098 WITH SCORE 10234.879
AT ITER 3741 NEW BEST:: SOT 227550 SOS 136838 HAS SOPS 74997 HAS SOUS 18101 HAS SOUPS 10097 WITH SCORE 10233.838
AT ITER 3748 NEW BEST:: SOT 227368 SOS 136585 HAS SOPS 74741 HAS SOUS 18080 HAS SOUPS 10055 WITH SCORE 10191.585
AT ITER 3800 NEW BEST:: SOT 227367 SOS 136583 HAS SOPS 74739 HAS SOUS 18080 HAS SOUPS 10055 WITH SCORE 10191.583
AT ITER 3807 NEW BEST:: SOT 227377 SOS 136595 HAS SOPS 74741 HAS SOUS 18077 HAS SOUPS 10052 WITH SCORE 10188.595
AT ITER 3834 NEW BEST:: SOT 227351 SOS 136644 HAS SOPS 74660 HAS SOUS 18078 HAS SOUPS 10041 WITH SCORE 10177.644
AT ITER 3846 NEW BEST:: SOT 227351 SOS 136644 HAS SOPS 74660 HAS SOUS 18060 HAS SOUPS 10031 WITH SCORE 10167.644
AT ITER 3860 NEW BEST:: SOT 227319 SOS 136612 HAS SOPS 74660 HAS SOUS 18023 HAS SOUPS 9982 WITH SCORE 10118.612
AT ITER 3879 NEW BEST:: SOT 227317 SOS 136610 HAS SOPS 74660 HAS SOUS 18023 HAS SOUPS 9982 WITH SCORE 10118.61
AT ITER 3885 NEW BEST:: SOT 227311 SOS 136604 HAS SOPS 74654 HAS SOUS 18023 HAS SOUPS 9982 WITH SCORE 10118.604
AT ITER 3897 NEW BEST:: SOT 227875 SOS 137729 HAS SOPS 74897 HAS SOUS 17995 HAS SOUPS 9919 WITH SCORE 10056.729
AT ITER 3914 NEW BEST:: SOT 227874 SOS 137716 HAS SOPS 74895 HAS SOUS 17993 HAS SOUPS 9918 WITH SCORE 10055.716
AT ITER 3919 NEW BEST:: SOT 227895 SOS 137752 HAS SOPS 74908 HAS SOUS 17988 HAS SOUPS 9913 WITH SCORE 10050.752
AT ITER 3934 NEW BEST:: SOT 227895 SOS 137752 HAS SOPS 74908 HAS SOUS 17967 HAS SOUPS 9888 WITH SCORE 10025.752
AT ITER 4027 NEW BEST:: SOT 227881 SOS 137738 HAS SOPS 74896 HAS SOUS 17967 HAS SOUPS 9888 WITH SCORE 10025.738
AT ITER 4058 NEW BEST:: SOT 227881 SOS 137738 HAS SOPS 74896 HAS SOUS 17958 HAS SOUPS 9883 WITH SCORE 10020.738
AT ITER 4100 NEW BEST:: SOT 227901 SOS 137758 HAS SOPS 74896 HAS SOUS 17949 HAS SOUPS 9878 WITH SCORE 10015.758
AT ITER 4152 NEW BEST:: SOT 227901 SOS 137746 HAS SOPS 74857 HAS SOUS 17949 HAS SOUPS 9875 WITH SCORE 10012.746
AT ITER 4170 NEW BEST:: SOT 227912 SOS 137753 HAS SOPS 74864 HAS SOUS 17947 HAS SOUPS 9873 WITH SCORE 10010.753
AT ITER 4251 NEW BEST:: SOT 228054 SOS 138095 HAS SOPS 74963 HAS SOUS 17994 HAS SOUPS 9870 WITH SCORE 10008.095
AT ITER 4295 NEW BEST:: SOT 227872 SOS 137893 HAS SOPS 74851 HAS SOUS 17999 HAS SOUPS 9869 WITH SCORE 10006.893
AT ITER 4345 NEW BEST:: SOT 228200 SOS 138381 HAS SOPS 75232 HAS SOUS 17965 HAS SOUPS 9861 WITH SCORE 9999.381
AT ITER 4372 NEW BEST:: SOT 228152 SOS 138024 HAS SOPS 74961 HAS SOUS 17956 HAS SOUPS 9852 WITH SCORE 9990.024
AT ITER 4411 NEW BEST:: SOT 228111 SOS 137684 HAS SOPS 74675 HAS SOUS 17951 HAS SOUPS 9847 WITH SCORE 9984.684
AT ITER 4440 NEW BEST:: SOT 228111 SOS 137684 HAS SOPS 74675 HAS SOUS 17948 HAS SOUPS 9845 WITH SCORE 9982.684
AT ITER 4479 NEW BEST:: SOT 228093 SOS 138196 HAS SOPS 75011 HAS SOUS 17962 HAS SOUPS 9843 WITH SCORE 9981.196
AT ITER 4490 NEW BEST:: SOT 228088 SOS 138076 HAS SOPS 75012 HAS SOUS 17935 HAS SOUPS 9827 WITH SCORE 9965.076
AT ITER 4509 NEW BEST:: SOT 228085 SOS 138073 HAS SOPS 75012 HAS SOUS 17935 HAS SOUPS 9827 WITH SCORE 9965.073
AT ITER 4518 NEW BEST:: SOT 228070 SOS 138052 HAS SOPS 75003 HAS SOUS 17902 HAS SOUPS 9800 WITH SCORE 9938.052
AT ITER 4540 NEW BEST:: SOT 227934 SOS 137900 HAS SOPS 74923 HAS SOUS 17902 HAS SOUPS 9800 WITH SCORE 9937.9
AT ITER 4544 NEW BEST:: SOT 227853 SOS 137750 HAS SOPS 74809 HAS SOUS 17896 HAS SOUPS 9794 WITH SCORE 9931.75
AT ITER 4592 NEW BEST:: SOT 227903 SOS 137531 HAS SOPS 74734 HAS SOUS 17873 HAS SOUPS 9788 WITH SCORE 9925.531
AT ITER 4656 NEW BEST:: SOT 227900 SOS 137528 HAS SOPS 74734 HAS SOUS 17873 HAS SOUPS 9788 WITH SCORE 9925.528
AT ITER 4664 NEW BEST:: SOT 227829 SOS 137377 HAS SOPS 74583 HAS SOUS 17870 HAS SOUPS 9776 WITH SCORE 9913.377
AT ITER 4683 NEW BEST:: SOT 227823 SOS 137371 HAS SOPS 74583 HAS SOUS 17870 HAS SOUPS 9776 WITH SCORE 9913.371
AT ITER 4714 NEW BEST:: SOT 227820 SOS 137378 HAS SOPS 74581 HAS SOUS 17870 HAS SOUPS 9775 WITH SCORE 9912.378
AT ITER 4735 NEW BEST:: SOT 227816 SOS 137374 HAS SOPS 74581 HAS SOUS 17864 HAS SOUPS 9769 WITH SCORE 9906.374
AT ITER 4755 NEW BEST:: SOT 227806 SOS 137374 HAS SOPS 74572 HAS SOUS 17859 HAS SOUPS 9763 WITH SCORE 9900.374
AT ITER 4760 NEW BEST:: SOT 227932 SOS 137514 HAS SOPS 74632 HAS SOUS 17854 HAS SOUPS 9758 WITH SCORE 9895.514
AT ITER 4765 NEW BEST:: SOT 227893 SOS 137436 HAS SOPS 74606 HAS SOUS 17841 HAS SOUPS 9758 WITH SCORE 9895.436
AT ITER 4788 NEW BEST:: SOT 227853 SOS 137396 HAS SOPS 74606 HAS SOUS 17832 HAS SOUPS 9753 WITH SCORE 9890.396
AT ITER 4815 NEW BEST:: SOT 227853 SOS 137396 HAS SOPS 74606 HAS SOUS 17805 HAS SOUPS 9738 WITH SCORE 9875.396
AT ITER 4833 NEW BEST:: SOT 228502 SOS 138695 HAS SOPS 75026 HAS SOUS 17847 HAS SOUPS 9730 WITH SCORE 9868.695
AT ITER 4842 NEW BEST:: SOT 228527 SOS 138720 HAS SOPS 75035 HAS SOUS 17712 HAS SOUPS 9659 WITH SCORE 9797.72
AT ITER 4893 NEW BEST:: SOT 228550 SOS 138739 HAS SOPS 75054 HAS SOUS 17705 HAS SOUPS 9652 WITH SCORE 9790.739
AT ITER 4904 NEW BEST:: SOT 228296 SOS 138261 HAS SOPS 74690 HAS SOUS 17678 HAS SOUPS 9625 WITH SCORE 9763.261
AT ITER 4917 NEW BEST:: SOT 228281 SOS 138246 HAS SOPS 74690 HAS SOUS 17678 HAS SOUPS 9625 WITH SCORE 9763.246
AT ITER 4923 NEW BEST:: SOT 228282 SOS 138210 HAS SOPS 74709 HAS SOUS 17670 HAS SOUPS 9622 WITH SCORE 9760.21
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-07a-CTLFireability-00 (! (AG( ( (EF( ((potential((tk(P33)>=1) & (tk(P113)>=1)))))) | ((potential((tk(P82)>=1)))) ))))
PROPERTY: DLCround-PT-07a-CTLFireability-01 (EF( (! (EF( ( ((potential((tk(P82)>=1) & (tk(P215)>=1)))) | ((potential((tk(P10)>=1) & (tk(P168)>=1)))) ))))))
PROPERTY: DLCround-PT-07a-CTLFireability-02 (! (EU( (! ( ((potential((tk(P103)>=1) & (tk(P229)>=1)))) & ((potential((tk(P39)>=1) & (tk(P175)>=1)))) )) , (AG( ((potential((tk(P73)>=1) & (tk(P143)>=1)))))) )))
PROPERTY: DLCround-PT-07a-CTLFireability-03 (AG( (EF( ( (! ((potential((tk(P180)>=1) & (tk(P108)>=1))))) & (! ((potential((tk(P105)>=1) & (tk(P223)>=1))))) )))))
PROPERTY: DLCround-PT-07a-CTLFireability-04 (AG( (! ( ( ((potential((tk(P97)>=1) & (tk(P163)>=1)))) | ( ((potential((tk(P32)>=1)))) & ((potential((tk(P22)>=1) & (tk(P155)>=1)))) ) ) & ((potential((tk(P98)>=1) & (tk(P158)>=1)))) ))))
PROPERTY: DLCround-PT-07a-CTLFireability-05 (! ( ( (AG( (! ((potential((tk(P105)>=1) & (tk(P224)>=1))))))) | ((potential((tk(P219)>=1) & (tk(P96)>=1)))) ) | (EG( ( ((potential((tk(P8)>=1) & (tk(P150)>=1)))) | ( ((potential((tk(P80)>=1)))) | ((potential((tk(P182)>=1) & (tk(P46)>=1)))) ) ))) ))
PROPERTY: DLCround-PT-07a-CTLFireability-06 (AG( (AF( (EF( ((potential((tk(P90)>=1))))))))))
PROPERTY: DLCround-PT-07a-CTLFireability-07 (AG( ( (! ( ( ((potential((tk(P99)>=1) & (tk(P161)>=1)))) & ((potential((tk(P78)>=1) & (tk(P143)>=1)))) ) & ((potential((tk(P29)>=1) & (tk(P157)>=1)))) )) | (! (EF( ((potential((tk(P73)>=1) & (tk(P147)>=1))))))) )))
PROPERTY: DLCround-PT-07a-CTLFireability-08 (! (EF( ( ((potential((tk(P90)>=1) & (tk(P218)>=1)))) & (AF( ((potential((tk(P99)>=1)))))) ))))
PROPERTY: DLCround-PT-07a-CTLFireability-09 (EX( ( (EF( ( ((potential((tk(P31)>=1)))) & ((potential((tk(P9)>=1) & (tk(P128)>=1)))) ))) | ((potential((tk(P27)>=1)))) )))
PROPERTY: DLCround-PT-07a-CTLFireability-10 (! (EF( (EG( ((potential((tk(P224)>=1) & (tk(P48)>=1)))))))))
PROPERTY: DLCround-PT-07a-CTLFireability-11 ( ( (EF( (EG( ((potential((tk(P75)>=1) & (tk(P207)>=1)))))))) | (EX( ((potential((tk(P52)>=1) & (tk(P131)>=1)))))) ) | ( ((potential((tk(P79)>=1) & (tk(P145)>=1)))) | (EF( ( ( ((potential((tk(P62)>=1)))) & ((potential((tk(P69)>=1) & (tk(P137)>=1)))) ) | ( ((potential((tk(P12)>=1) & (tk(P112)>=1)))) & ((potential((tk(P97)>=1) & (tk(P221)>=1)))) ) ))) ) )
PROPERTY: DLCround-PT-07a-CTLFireability-12 (EF( ((potential((tk(P85)>=1) & (tk(P151)>=1))))))
PROPERTY: DLCround-PT-07a-CTLFireability-13 (EF( ( (AX( ((potential((tk(P93)>=1) & (tk(P161)>=1)))))) & ( (! ((potential((tk(P78)>=1) & (tk(P177)>=1))))) | (EX( ((potential((tk(P50)>=1) & (tk(P192)>=1)))))) ) )))
PROPERTY: DLCround-PT-07a-CTLFireability-14 ((potential((tk(P93)>=1) & (tk(P216)>=1))))
PROPERTY: DLCround-PT-07a-CTLFireability-15 ( ( ((potential((tk(P80)>=1) & (tk(P212)>=1)))) & ((potential((tk(P90)>=1)))) ) | ((potential((tk(P42)>=1) & (tk(P181)>=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-07a"
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-07a, 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-158902542300516"
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 [ "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 ;