Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100492.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100492
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 2.8K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 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:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 85K 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 BusinessProcesses-PT-06-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589018308324

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 06
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: 376 places, 297 transitions, 830 arcs.
AT ITER 0 NEW BEST:: SOT 72155 SOS 29734 HAS SOPS 29734 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29649.734
AT ITER 20 NEW BEST:: SOT 69905 SOS 29597 HAS SOPS 29597 HAS SOUS 27629 HAS SOUPS 27629 WITH SCORE 27658.597
AT ITER 28 NEW BEST:: SOT 69905 SOS 29597 HAS SOPS 29597 HAS SOUS 27628 HAS SOUPS 27628 WITH SCORE 27657.597
AT ITER 30 NEW BEST:: SOT 69903 SOS 29611 HAS SOPS 29611 HAS SOUS 27487 HAS SOUPS 27487 WITH SCORE 27516.611
AT ITER 35 NEW BEST:: SOT 69903 SOS 29592 HAS SOPS 29592 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27497.592
AT ITER 36 NEW BEST:: SOT 69902 SOS 29590 HAS SOPS 29590 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27495.59
AT ITER 40 NEW BEST:: SOT 69812 SOS 29435 HAS SOPS 29435 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27349.435
AT ITER 45 NEW BEST:: SOT 69790 SOS 29391 HAS SOPS 29391 HAS SOUS 27276 HAS SOUPS 27276 WITH SCORE 27305.391
AT ITER 73 NEW BEST:: SOT 69789 SOS 29339 HAS SOPS 29339 HAS SOUS 27274 HAS SOUPS 27274 WITH SCORE 27303.339
AT ITER 74 NEW BEST:: SOT 69708 SOS 29196 HAS SOPS 29196 HAS SOUS 27133 HAS SOUPS 27133 WITH SCORE 27162.196
AT ITER 84 NEW BEST:: SOT 69603 SOS 28985 HAS SOPS 28985 HAS SOUS 27027 HAS SOUPS 27027 WITH SCORE 27055.985
AT ITER 85 NEW BEST:: SOT 69590 SOS 28972 HAS SOPS 28972 HAS SOUS 27014 HAS SOUPS 27014 WITH SCORE 27042.972
AT ITER 90 NEW BEST:: SOT 69513 SOS 28818 HAS SOPS 28818 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26964.818
AT ITER 94 NEW BEST:: SOT 69444 SOS 28746 HAS SOPS 28746 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26902.746
AT ITER 96 NEW BEST:: SOT 69436 SOS 28721 HAS SOPS 28721 HAS SOUS 26866 HAS SOUPS 26866 WITH SCORE 26894.721
AT ITER 97 NEW BEST:: SOT 69435 SOS 28720 HAS SOPS 28720 HAS SOUS 26865 HAS SOUPS 26865 WITH SCORE 26893.72
AT ITER 105 NEW BEST:: SOT 69430 SOS 28714 HAS SOPS 28714 HAS SOUS 26863 HAS SOUPS 26863 WITH SCORE 26891.714
AT ITER 109 NEW BEST:: SOT 69423 SOS 28709 HAS SOPS 28709 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26886.709
AT ITER 110 NEW BEST:: SOT 69348 SOS 28708 HAS SOPS 28708 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26886.708
AT ITER 119 NEW BEST:: SOT 69358 SOS 28706 HAS SOPS 28706 HAS SOUS 26856 HAS SOUPS 26856 WITH SCORE 26884.706
AT ITER 121 NEW BEST:: SOT 69320 SOS 28630 HAS SOPS 28630 HAS SOUS 26780 HAS SOUPS 26780 WITH SCORE 26808.63
AT ITER 122 NEW BEST:: SOT 69340 SOS 28603 HAS SOPS 28603 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26804.603
AT ITER 130 NEW BEST:: SOT 69109 SOS 28404 HAS SOPS 28404 HAS SOUS 26544 HAS SOUPS 26544 WITH SCORE 26572.404
AT ITER 131 NEW BEST:: SOT 69006 SOS 28355 HAS SOPS 28355 HAS SOUS 26495 HAS SOUPS 26495 WITH SCORE 26523.355
AT ITER 138 NEW BEST:: SOT 68886 SOS 28168 HAS SOPS 28168 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26351.168
AT ITER 141 NEW BEST:: SOT 68827 SOS 28079 HAS SOPS 28079 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26265.079
AT ITER 143 NEW BEST:: SOT 68770 SOS 27966 HAS SOPS 27966 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26151.966
AT ITER 153 NEW BEST:: SOT 68770 SOS 27873 HAS SOPS 27873 HAS SOUS 26031 HAS SOUPS 26031 WITH SCORE 26058.873
AT ITER 162 NEW BEST:: SOT 68757 SOS 27872 HAS SOPS 27872 HAS SOUS 26030 HAS SOUPS 26030 WITH SCORE 26057.872
AT ITER 188 NEW BEST:: SOT 68827 SOS 27942 HAS SOPS 27942 HAS SOUS 26029 HAS SOUPS 26029 WITH SCORE 26056.942
AT ITER 189 NEW BEST:: SOT 68755 SOS 27855 HAS SOPS 27855 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 25983.855
AT ITER 190 NEW BEST:: SOT 68597 SOS 27539 HAS SOPS 27539 HAS SOUS 25640 HAS SOUPS 25640 WITH SCORE 25667.539
AT ITER 192 NEW BEST:: SOT 68592 SOS 27534 HAS SOPS 27534 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25662.534
AT ITER 213 NEW BEST:: SOT 68549 SOS 27491 HAS SOPS 27491 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25662.491
AT ITER 214 NEW BEST:: SOT 68402 SOS 27463 HAS SOPS 27463 HAS SOUS 25601 HAS SOUPS 25601 WITH SCORE 25628.463
AT ITER 224 NEW BEST:: SOT 68402 SOS 27463 HAS SOPS 27463 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25611.463
AT ITER 229 NEW BEST:: SOT 68378 SOS 27404 HAS SOPS 27404 HAS SOUS 25544 HAS SOUPS 25544 WITH SCORE 25571.404
AT ITER 231 NEW BEST:: SOT 68474 SOS 27413 HAS SOPS 27413 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25525.413
AT ITER 239 NEW BEST:: SOT 68469 SOS 27367 HAS SOPS 27367 HAS SOUS 25447 HAS SOUPS 25447 WITH SCORE 25474.367
AT ITER 250 NEW BEST:: SOT 68470 SOS 27205 HAS SOPS 27205 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25312.205
AT ITER 260 NEW BEST:: SOT 68494 SOS 27124 HAS SOPS 27124 HAS SOUS 25204 HAS SOUPS 25204 WITH SCORE 25231.124
AT ITER 262 NEW BEST:: SOT 68494 SOS 26926 HAS SOPS 26926 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25032.926
AT ITER 265 NEW BEST:: SOT 68466 SOS 26903 HAS SOPS 26903 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25016.903
AT ITER 268 NEW BEST:: SOT 68438 SOS 26875 HAS SOPS 26875 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 24988.875
AT ITER 279 NEW BEST:: SOT 68438 SOS 26701 HAS SOPS 26701 HAS SOUS 24788 HAS SOUPS 24788 WITH SCORE 24814.701
AT ITER 283 NEW BEST:: SOT 68397 SOS 26660 HAS SOPS 26660 HAS SOUS 24747 HAS SOUPS 24747 WITH SCORE 24773.66
AT ITER 286 NEW BEST:: SOT 68411 SOS 26625 HAS SOPS 26625 HAS SOUS 24712 HAS SOUPS 24712 WITH SCORE 24738.625
AT ITER 288 NEW BEST:: SOT 68369 SOS 26562 HAS SOPS 26562 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24675.562
AT ITER 310 NEW BEST:: SOT 68359 SOS 26552 HAS SOPS 26552 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24665.552
AT ITER 311 NEW BEST:: SOT 68369 SOS 26527 HAS SOPS 26527 HAS SOUS 24569 HAS SOUPS 24569 WITH SCORE 24595.527
AT ITER 322 NEW BEST:: SOT 68367 SOS 26521 HAS SOPS 26521 HAS SOUS 24544 HAS SOUPS 24544 WITH SCORE 24570.521
AT ITER 323 NEW BEST:: SOT 68354 SOS 26508 HAS SOPS 26508 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24557.508
AT ITER 330 NEW BEST:: SOT 68354 SOS 26489 HAS SOPS 26489 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24557.489
AT ITER 334 NEW BEST:: SOT 68260 SOS 26430 HAS SOPS 26430 HAS SOUS 24472 HAS SOUPS 24472 WITH SCORE 24498.43
AT ITER 340 NEW BEST:: SOT 68201 SOS 26323 HAS SOPS 26323 HAS SOUS 24365 HAS SOUPS 24365 WITH SCORE 24391.323
AT ITER 343 NEW BEST:: SOT 68201 SOS 26307 HAS SOPS 26307 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24383.307
AT ITER 348 NEW BEST:: SOT 68197 SOS 26303 HAS SOPS 26303 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24379.303
AT ITER 353 NEW BEST:: SOT 68196 SOS 26301 HAS SOPS 26301 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24377.301
AT ITER 359 NEW BEST:: SOT 68104 SOS 26163 HAS SOPS 26163 HAS SOUS 24218 HAS SOUPS 24218 WITH SCORE 24244.163
AT ITER 363 NEW BEST:: SOT 68103 SOS 26161 HAS SOPS 26161 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24242.161
AT ITER 371 NEW BEST:: SOT 68093 SOS 26141 HAS SOPS 26141 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24222.141
AT ITER 379 NEW BEST:: SOT 68085 SOS 26132 HAS SOPS 26132 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24220.132
AT ITER 380 NEW BEST:: SOT 68061 SOS 26108 HAS SOPS 26108 HAS SOUS 24170 HAS SOUPS 24170 WITH SCORE 24196.108
AT ITER 392 NEW BEST:: SOT 68017 SOS 25928 HAS SOPS 25928 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24107.928
AT ITER 397 NEW BEST:: SOT 68017 SOS 25923 HAS SOPS 25923 HAS SOUS 24077 HAS SOUPS 24077 WITH SCORE 24102.923
AT ITER 399 NEW BEST:: SOT 68061 SOS 25961 HAS SOPS 25961 HAS SOUS 24065 HAS SOUPS 24065 WITH SCORE 24090.961
AT ITER 409 NEW BEST:: SOT 68006 SOS 25906 HAS SOPS 25906 HAS SOUS 24010 HAS SOUPS 24010 WITH SCORE 24035.906
AT ITER 412 NEW BEST:: SOT 67888 SOS 25540 HAS SOPS 25540 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23669.54
AT ITER 414 NEW BEST:: SOT 67839 SOS 25442 HAS SOPS 25442 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.442
AT ITER 422 NEW BEST:: SOT 67831 SOS 25398 HAS SOPS 25398 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23527.398
AT ITER 433 NEW BEST:: SOT 67862 SOS 25379 HAS SOPS 25379 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23443.379
AT ITER 450 NEW BEST:: SOT 67924 SOS 25241 HAS SOPS 25241 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23305.241
AT ITER 451 NEW BEST:: SOT 67924 SOS 25217 HAS SOPS 25217 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23281.217
AT ITER 452 NEW BEST:: SOT 67924 SOS 25151 HAS SOPS 25151 HAS SOUS 23190 HAS SOUPS 23190 WITH SCORE 23215.151
AT ITER 457 NEW BEST:: SOT 67920 SOS 25143 HAS SOPS 25143 HAS SOUS 23182 HAS SOUPS 23182 WITH SCORE 23207.143
AT ITER 461 NEW BEST:: SOT 67920 SOS 25126 HAS SOPS 25126 HAS SOUS 23165 HAS SOUPS 23165 WITH SCORE 23190.126
AT ITER 464 NEW BEST:: SOT 67833 SOS 24972 HAS SOPS 24972 HAS SOUS 23011 HAS SOUPS 23011 WITH SCORE 23035.972
AT ITER 470 NEW BEST:: SOT 67858 SOS 24947 HAS SOPS 24947 HAS SOUS 23011 HAS SOUPS 23011 WITH SCORE 23035.947
AT ITER 474 NEW BEST:: SOT 67796 SOS 24823 HAS SOPS 24823 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22911.823
AT ITER 480 NEW BEST:: SOT 67794 SOS 24816 HAS SOPS 24816 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22904.816
AT ITER 491 NEW BEST:: SOT 67798 SOS 24807 HAS SOPS 24807 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22895.807
AT ITER 492 NEW BEST:: SOT 67798 SOS 24806 HAS SOPS 24806 HAS SOUS 22870 HAS SOUPS 22870 WITH SCORE 22894.806
AT ITER 493 NEW BEST:: SOT 67692 SOS 24699 HAS SOPS 24699 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22787.699
AT ITER 501 NEW BEST:: SOT 67692 SOS 24696 HAS SOPS 24696 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22784.696
AT ITER 503 NEW BEST:: SOT 67640 SOS 24592 HAS SOPS 24592 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22680.592
AT ITER 525 NEW BEST:: SOT 67602 SOS 24516 HAS SOPS 24516 HAS SOUS 22580 HAS SOUPS 22580 WITH SCORE 22604.516
AT ITER 537 NEW BEST:: SOT 67528 SOS 24442 HAS SOPS 24442 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22559.442
AT ITER 538 NEW BEST:: SOT 67497 SOS 24414 HAS SOPS 24414 HAS SOUS 22466 HAS SOUPS 22466 WITH SCORE 22490.414
AT ITER 546 NEW BEST:: SOT 67494 SOS 24411 HAS SOPS 24411 HAS SOUS 22463 HAS SOUPS 22463 WITH SCORE 22487.411
AT ITER 554 NEW BEST:: SOT 67571 SOS 24330 HAS SOPS 24330 HAS SOUS 22382 HAS SOUPS 22382 WITH SCORE 22406.33
AT ITER 556 NEW BEST:: SOT 67561 SOS 24319 HAS SOPS 24319 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22395.319
AT ITER 557 NEW BEST:: SOT 67600 SOS 23674 HAS SOPS 23674 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22389.674
AT ITER 578 NEW BEST:: SOT 67578 SOS 23592 HAS SOPS 23592 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22307.592
AT ITER 589 NEW BEST:: SOT 67589 SOS 23596 HAS SOPS 23596 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22302.596
AT ITER 590 NEW BEST:: SOT 67601 SOS 23595 HAS SOPS 23595 HAS SOUS 22278 HAS SOUPS 22278 WITH SCORE 22301.595
AT ITER 591 NEW BEST:: SOT 67586 SOS 23579 HAS SOPS 23579 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22285.579
AT ITER 598 NEW BEST:: SOT 67550 SOS 23493 HAS SOPS 23493 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22199.493
AT ITER 609 NEW BEST:: SOT 67548 SOS 23485 HAS SOPS 23485 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22193.485
AT ITER 633 NEW BEST:: SOT 67520 SOS 23429 HAS SOPS 23429 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22165.429
AT ITER 637 NEW BEST:: SOT 67520 SOS 23428 HAS SOPS 23428 HAS SOUS 22140 HAS SOUPS 22140 WITH SCORE 22163.428
AT ITER 679 NEW BEST:: SOT 67484 SOS 23356 HAS SOPS 23356 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22091.356
AT ITER 680 NEW BEST:: SOT 67484 SOS 23355 HAS SOPS 23355 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22090.355
AT ITER 706 NEW BEST:: SOT 67480 SOS 23354 HAS SOPS 23354 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22089.354
AT ITER 728 NEW BEST:: SOT 67557 SOS 23344 HAS SOPS 23344 HAS SOUS 22056 HAS SOUPS 22056 WITH SCORE 22079.344
AT ITER 732 NEW BEST:: SOT 67491 SOS 23319 HAS SOPS 23319 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22054.319
AT ITER 733 NEW BEST:: SOT 67431 SOS 23319 HAS SOPS 23319 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22041.319
AT ITER 739 NEW BEST:: SOT 67431 SOS 23318 HAS SOPS 23318 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22040.318
AT ITER 746 NEW BEST:: SOT 67431 SOS 23315 HAS SOPS 23315 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22037.315
AT ITER 748 NEW BEST:: SOT 67438 SOS 23308 HAS SOPS 23308 HAS SOUS 22007 HAS SOUPS 22007 WITH SCORE 22030.308
AT ITER 749 NEW BEST:: SOT 67428 SOS 23298 HAS SOPS 23298 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22020.298
AT ITER 751 NEW BEST:: SOT 67578 SOS 23210 HAS SOPS 23210 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21932.21
AT ITER 763 NEW BEST:: SOT 67531 SOS 23191 HAS SOPS 23191 HAS SOUS 21890 HAS SOUPS 21890 WITH SCORE 21913.191
AT ITER 809 NEW BEST:: SOT 67531 SOS 23175 HAS SOPS 23175 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21897.175
AT ITER 811 NEW BEST:: SOT 67573 SOS 23143 HAS SOPS 23143 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21865.143
AT ITER 812 NEW BEST:: SOT 67594 SOS 23130 HAS SOPS 23130 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21852.13
AT ITER 820 NEW BEST:: SOT 67603 SOS 23038 HAS SOPS 23038 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21755.038
AT ITER 832 NEW BEST:: SOT 67666 SOS 23022 HAS SOPS 23022 HAS SOUS 21679 HAS SOUPS 21679 WITH SCORE 21702.022
AT ITER 839 NEW BEST:: SOT 67680 SOS 23036 HAS SOPS 23036 HAS SOUS 21648 HAS SOUPS 21648 WITH SCORE 21671.036
AT ITER 840 NEW BEST:: SOT 67674 SOS 23024 HAS SOPS 23024 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21659.024
AT ITER 849 NEW BEST:: SOT 67614 SOS 22923 HAS SOPS 22923 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21557.923
AT ITER 852 NEW BEST:: SOT 67610 SOS 22911 HAS SOPS 22911 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21545.911
AT ITER 858 NEW BEST:: SOT 67605 SOS 22887 HAS SOPS 22887 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21521.887
AT ITER 860 NEW BEST:: SOT 67584 SOS 22878 HAS SOPS 22878 HAS SOUS 21490 HAS SOUPS 21490 WITH SCORE 21512.878
AT ITER 865 NEW BEST:: SOT 67516 SOS 22747 HAS SOPS 22747 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21381.747
AT ITER 868 NEW BEST:: SOT 67503 SOS 22481 HAS SOPS 22481 HAS SOUS 21093 HAS SOUPS 21093 WITH SCORE 21115.481
AT ITER 870 NEW BEST:: SOT 67656 SOS 22461 HAS SOPS 22461 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21095.461
AT ITER 892 NEW BEST:: SOT 67656 SOS 22437 HAS SOPS 22437 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21071.437
AT ITER 900 NEW BEST:: SOT 67656 SOS 22418 HAS SOPS 22418 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21052.418
AT ITER 906 NEW BEST:: SOT 67652 SOS 22414 HAS SOPS 22414 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21048.414
AT ITER 908 NEW BEST:: SOT 67632 SOS 22405 HAS SOPS 22405 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21039.405
AT ITER 912 NEW BEST:: SOT 67582 SOS 22355 HAS SOPS 22355 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 20989.355
AT ITER 913 NEW BEST:: SOT 67581 SOS 22353 HAS SOPS 22353 HAS SOUS 20965 HAS SOUPS 20965 WITH SCORE 20987.353
AT ITER 928 NEW BEST:: SOT 67581 SOS 22341 HAS SOPS 22341 HAS SOUS 20953 HAS SOUPS 20953 WITH SCORE 20975.341
AT ITER 950 NEW BEST:: SOT 67570 SOS 22330 HAS SOPS 22330 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20964.33
AT ITER 951 NEW BEST:: SOT 67570 SOS 22318 HAS SOPS 22318 HAS SOUS 20930 HAS SOUPS 20930 WITH SCORE 20952.318
AT ITER 974 NEW BEST:: SOT 67350 SOS 22098 HAS SOPS 22098 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20732.098
AT ITER 975 NEW BEST:: SOT 67330 SOS 22074 HAS SOPS 22074 HAS SOUS 20702 HAS SOUPS 20702 WITH SCORE 20724.074
AT ITER 1002 NEW BEST:: SOT 67317 SOS 22048 HAS SOPS 22048 HAS SOUS 20676 HAS SOUPS 20676 WITH SCORE 20698.048
AT ITER 1016 NEW BEST:: SOT 67310 SOS 22040 HAS SOPS 22040 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20690.04
AT ITER 1038 NEW BEST:: SOT 67235 SOS 22013 HAS SOPS 22013 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20663.013
AT ITER 1059 NEW BEST:: SOT 67183 SOS 21960 HAS SOPS 21960 HAS SOUS 20588 HAS SOUPS 20588 WITH SCORE 20609.96
AT ITER 1094 NEW BEST:: SOT 67175 SOS 21949 HAS SOPS 21949 HAS SOUS 20577 HAS SOUPS 20577 WITH SCORE 20598.949
AT ITER 1112 NEW BEST:: SOT 67175 SOS 21949 HAS SOPS 21949 HAS SOUS 20527 HAS SOUPS 20527 WITH SCORE 20548.949
AT ITER 1119 NEW BEST:: SOT 67235 SOS 21863 HAS SOPS 21863 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20479.863
AT ITER 1120 NEW BEST:: SOT 67235 SOS 21857 HAS SOPS 21857 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20473.857
AT ITER 1123 NEW BEST:: SOT 67235 SOS 21839 HAS SOPS 21839 HAS SOUS 20434 HAS SOUPS 20434 WITH SCORE 20455.839
AT ITER 1124 NEW BEST:: SOT 67181 SOS 21745 HAS SOPS 21745 HAS SOUS 20340 HAS SOUPS 20340 WITH SCORE 20361.745
AT ITER 1129 NEW BEST:: SOT 67179 SOS 21741 HAS SOPS 21741 HAS SOUS 20336 HAS SOUPS 20336 WITH SCORE 20357.741
AT ITER 1132 NEW BEST:: SOT 67158 SOS 21721 HAS SOPS 21721 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20337.721
AT ITER 1143 NEW BEST:: SOT 67184 SOS 21621 HAS SOPS 21621 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20237.621
AT ITER 1180 NEW BEST:: SOT 67188 SOS 21617 HAS SOPS 21617 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20233.617
AT ITER 1197 NEW BEST:: SOT 67187 SOS 21615 HAS SOPS 21615 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20232.615
AT ITER 1200 NEW BEST:: SOT 67167 SOS 21575 HAS SOPS 21575 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20192.575
AT ITER 1249 NEW BEST:: SOT 67045 SOS 21452 HAS SOPS 21452 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20069.452
AT ITER 1282 NEW BEST:: SOT 67020 SOS 21414 HAS SOPS 21414 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20056.414
AT ITER 1290 NEW BEST:: SOT 67003 SOS 21380 HAS SOPS 21380 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20022.38
AT ITER 1294 NEW BEST:: SOT 67002 SOS 21360 HAS SOPS 21360 HAS SOUS 19981 HAS SOUPS 19981 WITH SCORE 20002.36
AT ITER 1309 NEW BEST:: SOT 67078 SOS 21333 HAS SOPS 21333 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19975.333
AT ITER 1316 NEW BEST:: SOT 67078 SOS 21325 HAS SOPS 21325 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19967.325
AT ITER 1324 NEW BEST:: SOT 67078 SOS 21325 HAS SOPS 21325 HAS SOUS 19939 HAS SOUPS 19939 WITH SCORE 19960.325
AT ITER 1351 NEW BEST:: SOT 67102 SOS 21185 HAS SOPS 21185 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19847.185
AT ITER 1352 NEW BEST:: SOT 67170 SOS 21247 HAS SOPS 21247 HAS SOUS 19820 HAS SOUPS 19820 WITH SCORE 19841.247
AT ITER 1367 NEW BEST:: SOT 67170 SOS 21246 HAS SOPS 21246 HAS SOUS 19819 HAS SOUPS 19819 WITH SCORE 19840.246
AT ITER 1378 NEW BEST:: SOT 67185 SOS 21257 HAS SOPS 21257 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19802.257
AT ITER 1392 NEW BEST:: SOT 67184 SOS 21256 HAS SOPS 21256 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19801.256
AT ITER 1395 NEW BEST:: SOT 67222 SOS 21159 HAS SOPS 21159 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19704.159
AT ITER 1412 NEW BEST:: SOT 67189 SOS 21126 HAS SOPS 21126 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19671.126
AT ITER 1414 NEW BEST:: SOT 67171 SOS 21090 HAS SOPS 21090 HAS SOUS 19614 HAS SOUPS 19614 WITH SCORE 19635.09
AT ITER 1416 NEW BEST:: SOT 67171 SOS 21087 HAS SOPS 21087 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19632.087
AT ITER 1426 NEW BEST:: SOT 67144 SOS 21081 HAS SOPS 21081 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19626.081
AT ITER 1442 NEW BEST:: SOT 67140 SOS 21050 HAS SOPS 21050 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19595.05
AT ITER 1446 NEW BEST:: SOT 67145 SOS 21025 HAS SOPS 21025 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19570.025
AT ITER 1457 NEW BEST:: SOT 67092 SOS 20974 HAS SOPS 20974 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19518.974
AT ITER 1458 NEW BEST:: SOT 67091 SOS 20970 HAS SOPS 20970 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19514.97
AT ITER 1464 NEW BEST:: SOT 67065 SOS 20935 HAS SOPS 20935 HAS SOUS 19485 HAS SOUPS 19485 WITH SCORE 19505.935
AT ITER 1484 NEW BEST:: SOT 67037 SOS 20907 HAS SOPS 20907 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19477.907
AT ITER 1489 NEW BEST:: SOT 67022 SOS 20892 HAS SOPS 20892 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19462.892
AT ITER 1490 NEW BEST:: SOT 66998 SOS 20860 HAS SOPS 20860 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19430.86
AT ITER 1500 NEW BEST:: SOT 66915 SOS 20825 HAS SOPS 20825 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19395.825
AT ITER 1501 NEW BEST:: SOT 66915 SOS 20819 HAS SOPS 20819 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19389.819
AT ITER 1504 NEW BEST:: SOT 66920 SOS 20779 HAS SOPS 20779 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19349.779
AT ITER 1506 NEW BEST:: SOT 66918 SOS 20775 HAS SOPS 20775 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19345.775
AT ITER 1544 NEW BEST:: SOT 66960 SOS 20742 HAS SOPS 20742 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19312.742
AT ITER 1548 NEW BEST:: SOT 66926 SOS 20682 HAS SOPS 20682 HAS SOUS 19232 HAS SOUPS 19232 WITH SCORE 19252.682
AT ITER 1550 NEW BEST:: SOT 66925 SOS 20678 HAS SOPS 20678 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19248.678
AT ITER 1576 NEW BEST:: SOT 66976 SOS 20709 HAS SOPS 20709 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19240.709
AT ITER 1598 NEW BEST:: SOT 66970 SOS 20700 HAS SOPS 20700 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19231.7
AT ITER 1599 NEW BEST:: SOT 66931 SOS 20646 HAS SOPS 20646 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19177.646
AT ITER 1605 NEW BEST:: SOT 66967 SOS 20673 HAS SOPS 20673 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19172.673
AT ITER 1615 NEW BEST:: SOT 66939 SOS 20645 HAS SOPS 20645 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19144.645
AT ITER 1622 NEW BEST:: SOT 66928 SOS 20634 HAS SOPS 20634 HAS SOUS 19113 HAS SOUPS 19113 WITH SCORE 19133.634
AT ITER 1631 NEW BEST:: SOT 66917 SOS 20604 HAS SOPS 20604 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19103.604
AT ITER 1632 NEW BEST:: SOT 66808 SOS 20435 HAS SOPS 20435 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18934.435
AT ITER 1663 NEW BEST:: SOT 66799 SOS 20417 HAS SOPS 20417 HAS SOUS 18896 HAS SOUPS 18896 WITH SCORE 18916.417
AT ITER 1672 NEW BEST:: SOT 66791 SOS 20401 HAS SOPS 20401 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18900.401
AT ITER 1679 NEW BEST:: SOT 66752 SOS 20393 HAS SOPS 20393 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18892.393
AT ITER 1695 NEW BEST:: SOT 66748 SOS 20389 HAS SOPS 20389 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18888.389
AT ITER 1704 NEW BEST:: SOT 66782 SOS 20379 HAS SOPS 20379 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18878.379
AT ITER 1708 NEW BEST:: SOT 66836 SOS 20348 HAS SOPS 20348 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18847.348
AT ITER 1711 NEW BEST:: SOT 66860 SOS 20329 HAS SOPS 20329 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18828.329
AT ITER 1728 NEW BEST:: SOT 66860 SOS 20323 HAS SOPS 20323 HAS SOUS 18802 HAS SOUPS 18802 WITH SCORE 18822.323
AT ITER 1741 NEW BEST:: SOT 66899 SOS 20345 HAS SOPS 20345 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18791.345
AT ITER 1756 NEW BEST:: SOT 66866 SOS 20271 HAS SOPS 20271 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18717.271
AT ITER 1771 NEW BEST:: SOT 66837 SOS 20213 HAS SOPS 20213 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18659.213
AT ITER 1783 NEW BEST:: SOT 66834 SOS 20212 HAS SOPS 20212 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18658.212
AT ITER 1801 NEW BEST:: SOT 66808 SOS 20181 HAS SOPS 20181 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18627.181
AT ITER 1813 NEW BEST:: SOT 66808 SOS 20179 HAS SOPS 20179 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18625.179
AT ITER 1823 NEW BEST:: SOT 66722 SOS 20122 HAS SOPS 20122 HAS SOUS 18528 HAS SOUPS 18528 WITH SCORE 18548.122
AT ITER 1825 NEW BEST:: SOT 66718 SOS 20118 HAS SOPS 20118 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18544.118
AT ITER 1861 NEW BEST:: SOT 66716 SOS 20114 HAS SOPS 20114 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18540.114
AT ITER 1864 NEW BEST:: SOT 66709 SOS 20105 HAS SOPS 20105 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18531.105
AT ITER 1870 NEW BEST:: SOT 66690 SOS 20097 HAS SOPS 20097 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18523.097
AT ITER 1879 NEW BEST:: SOT 66812 SOS 20087 HAS SOPS 20087 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18513.087
AT ITER 1900 NEW BEST:: SOT 66807 SOS 20077 HAS SOPS 20077 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18508.077
AT ITER 1913 NEW BEST:: SOT 66807 SOS 20040 HAS SOPS 20040 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18471.04
AT ITER 1917 NEW BEST:: SOT 66803 SOS 20027 HAS SOPS 20027 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18458.027
AT ITER 1920 NEW BEST:: SOT 66794 SOS 20007 HAS SOPS 20007 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18438.007
AT ITER 1934 NEW BEST:: SOT 66794 SOS 19993 HAS SOPS 19993 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18423.993
AT ITER 1943 NEW BEST:: SOT 66794 SOS 19926 HAS SOPS 19926 HAS SOUS 18337 HAS SOUPS 18337 WITH SCORE 18356.926
AT ITER 2039 NEW BEST:: SOT 66794 SOS 19912 HAS SOPS 19912 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18342.912
AT ITER 2083 NEW BEST:: SOT 66788 SOS 19900 HAS SOPS 19900 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18323.9
AT ITER 2091 NEW BEST:: SOT 66780 SOS 19896 HAS SOPS 19896 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18319.896
AT ITER 2099 NEW BEST:: SOT 66669 SOS 19777 HAS SOPS 19777 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18232.777
AT ITER 2113 NEW BEST:: SOT 66624 SOS 19732 HAS SOPS 19732 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18187.732
AT ITER 2126 NEW BEST:: SOT 66623 SOS 19730 HAS SOPS 19730 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18185.73
AT ITER 2192 NEW BEST:: SOT 66617 SOS 19702 HAS SOPS 19702 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18135.702
AT ITER 2202 NEW BEST:: SOT 66614 SOS 19699 HAS SOPS 19699 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18132.699
AT ITER 2209 NEW BEST:: SOT 66614 SOS 19698 HAS SOPS 19698 HAS SOUS 18112 HAS SOUPS 18112 WITH SCORE 18131.698
AT ITER 2213 NEW BEST:: SOT 66611 SOS 19664 HAS SOPS 19664 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18097.664
AT ITER 2318 NEW BEST:: SOT 66606 SOS 19654 HAS SOPS 19654 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18092.654
AT ITER 2335 NEW BEST:: SOT 66604 SOS 19652 HAS SOPS 19652 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18090.652
AT ITER 2353 NEW BEST:: SOT 66602 SOS 19650 HAS SOPS 19650 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18088.65
AT ITER 2372 NEW BEST:: SOT 66578 SOS 19611 HAS SOPS 19611 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18049.611
AT ITER 2427 NEW BEST:: SOT 66591 SOS 19602 HAS SOPS 19602 HAS SOUS 18021 HAS SOUPS 18021 WITH SCORE 18040.602
AT ITER 2441 NEW BEST:: SOT 66571 SOS 19562 HAS SOPS 19562 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18000.562
AT ITER 2446 NEW BEST:: SOT 66561 SOS 19534 HAS SOPS 19534 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17972.534
AT ITER 2454 NEW BEST:: SOT 66459 SOS 19350 HAS SOPS 19350 HAS SOUS 17769 HAS SOUPS 17769 WITH SCORE 17788.35
AT ITER 2463 NEW BEST:: SOT 66459 SOS 19267 HAS SOPS 19267 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17705.267
AT ITER 2474 NEW BEST:: SOT 66458 SOS 19266 HAS SOPS 19266 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17704.266
AT ITER 2484 NEW BEST:: SOT 66407 SOS 19127 HAS SOPS 19127 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17598.127
AT ITER 2501 NEW BEST:: SOT 66369 SOS 19051 HAS SOPS 19051 HAS SOUS 17503 HAS SOUPS 17503 WITH SCORE 17522.051
AT ITER 2514 NEW BEST:: SOT 66332 SOS 19014 HAS SOPS 19014 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17485.014
AT ITER 2517 NEW BEST:: SOT 66332 SOS 19012 HAS SOPS 19012 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17483.012
AT ITER 2550 NEW BEST:: SOT 66332 SOS 19011 HAS SOPS 19011 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17482.011
AT ITER 2552 NEW BEST:: SOT 66226 SOS 18916 HAS SOPS 18916 HAS SOUS 17368 HAS SOUPS 17368 WITH SCORE 17386.916
AT ITER 2566 NEW BEST:: SOT 66303 SOS 18836 HAS SOPS 18836 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17260.836
AT ITER 2588 NEW BEST:: SOT 66266 SOS 18812 HAS SOPS 18812 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17236.812
AT ITER 2608 NEW BEST:: SOT 66256 SOS 18802 HAS SOPS 18802 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17226.802
AT ITER 2625 NEW BEST:: SOT 66317 SOS 18863 HAS SOPS 18863 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17218.863
AT ITER 2639 NEW BEST:: SOT 66358 SOS 18862 HAS SOPS 18862 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17217.862
AT ITER 2642 NEW BEST:: SOT 66347 SOS 18840 HAS SOPS 18840 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17195.84
AT ITER 2647 NEW BEST:: SOT 66346 SOS 18839 HAS SOPS 18839 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17194.839
AT ITER 2649 NEW BEST:: SOT 66306 SOS 18790 HAS SOPS 18790 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17176.79
AT ITER 2679 NEW BEST:: SOT 66298 SOS 18774 HAS SOPS 18774 HAS SOUS 17142 HAS SOUPS 17142 WITH SCORE 17160.774
AT ITER 2687 NEW BEST:: SOT 66295 SOS 18771 HAS SOPS 18771 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17157.771
AT ITER 2713 NEW BEST:: SOT 66299 SOS 18763 HAS SOPS 18763 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17133.763
AT ITER 2744 NEW BEST:: SOT 66270 SOS 18730 HAS SOPS 18730 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17100.73
AT ITER 2771 NEW BEST:: SOT 66305 SOS 18730 HAS SOPS 18730 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17065.73
AT ITER 2805 NEW BEST:: SOT 66293 SOS 18722 HAS SOPS 18722 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17057.722
AT ITER 2825 NEW BEST:: SOT 66298 SOS 18689 HAS SOPS 18689 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17024.689
AT ITER 2829 NEW BEST:: SOT 66292 SOS 18687 HAS SOPS 18687 HAS SOUS 17004 HAS SOUPS 17004 WITH SCORE 17022.687
AT ITER 2874 NEW BEST:: SOT 66305 SOS 18685 HAS SOPS 18685 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 16999.685
AT ITER 2877 NEW BEST:: SOT 66303 SOS 18683 HAS SOPS 18683 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 16999.683
AT ITER 2890 NEW BEST:: SOT 66266 SOS 18646 HAS SOPS 18646 HAS SOUS 16945 HAS SOUPS 16945 WITH SCORE 16963.646
AT ITER 2911 NEW BEST:: SOT 66254 SOS 18640 HAS SOPS 18640 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16957.64
AT ITER 2956 NEW BEST:: SOT 66219 SOS 18570 HAS SOPS 18570 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16925.57
AT ITER 2997 NEW BEST:: SOT 66218 SOS 18568 HAS SOPS 18568 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16923.568
AT ITER 2999 NEW BEST:: SOT 66215 SOS 18562 HAS SOPS 18562 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16917.562
AT ITER 3044 NEW BEST:: SOT 66215 SOS 18545 HAS SOPS 18545 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16900.545
AT ITER 3061 NEW BEST:: SOT 66146 SOS 18483 HAS SOPS 18483 HAS SOUS 16871 HAS SOUPS 16871 WITH SCORE 16889.483
AT ITER 3062 NEW BEST:: SOT 66197 SOS 18459 HAS SOPS 18459 HAS SOUS 16847 HAS SOUPS 16847 WITH SCORE 16865.459
AT ITER 3065 NEW BEST:: SOT 66197 SOS 18431 HAS SOPS 18431 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16837.431
AT ITER 3069 NEW BEST:: SOT 66195 SOS 18427 HAS SOPS 18427 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16833.427
AT ITER 3078 NEW BEST:: SOT 66161 SOS 18354 HAS SOPS 18354 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16817.354
AT ITER 3079 NEW BEST:: SOT 66161 SOS 18299 HAS SOPS 18299 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16762.299
AT ITER 3115 NEW BEST:: SOT 66146 SOS 18275 HAS SOPS 18275 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16738.275
AT ITER 3129 NEW BEST:: SOT 66115 SOS 18261 HAS SOPS 18261 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16724.261
AT ITER 3142 NEW BEST:: SOT 66123 SOS 18075 HAS SOPS 18075 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16718.075
AT ITER 3149 NEW BEST:: SOT 66099 SOS 18027 HAS SOPS 18027 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16670.027
AT ITER 3150 NEW BEST:: SOT 66099 SOS 18010 HAS SOPS 18010 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16653.01
AT ITER 3163 NEW BEST:: SOT 66115 SOS 18002 HAS SOPS 18002 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16645.002
AT ITER 3170 NEW BEST:: SOT 66098 SOS 17988 HAS SOPS 17988 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16630.988
AT ITER 3189 NEW BEST:: SOT 66098 SOS 17980 HAS SOPS 17980 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16622.98
AT ITER 3198 NEW BEST:: SOT 66034 SOS 17913 HAS SOPS 17913 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16555.913
AT ITER 3213 NEW BEST:: SOT 66029 SOS 17908 HAS SOPS 17908 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16555.908
AT ITER 3216 NEW BEST:: SOT 66014 SOS 17898 HAS SOPS 17898 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16545.898
AT ITER 3265 NEW BEST:: SOT 65998 SOS 17871 HAS SOPS 17871 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16518.871
AT ITER 3281 NEW BEST:: SOT 65966 SOS 17820 HAS SOPS 17820 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16467.82
AT ITER 3322 NEW BEST:: SOT 65976 SOS 17819 HAS SOPS 17819 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16466.819
AT ITER 3328 NEW BEST:: SOT 65959 SOS 17806 HAS SOPS 17806 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16453.806
AT ITER 3340 NEW BEST:: SOT 65927 SOS 17782 HAS SOPS 17782 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16429.782
AT ITER 3341 NEW BEST:: SOT 65923 SOS 17774 HAS SOPS 17774 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16421.774
AT ITER 3343 NEW BEST:: SOT 65911 SOS 17741 HAS SOPS 17741 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16388.741
AT ITER 3376 NEW BEST:: SOT 65892 SOS 17718 HAS SOPS 17718 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16365.718
AT ITER 3377 NEW BEST:: SOT 65867 SOS 17710 HAS SOPS 17710 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16357.71
AT ITER 3384 NEW BEST:: SOT 65867 SOS 17701 HAS SOPS 17701 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16348.701
AT ITER 3417 NEW BEST:: SOT 65867 SOS 17701 HAS SOPS 17701 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16342.701
AT ITER 3423 NEW BEST:: SOT 65863 SOS 17693 HAS SOPS 17693 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16334.693
AT ITER 3454 NEW BEST:: SOT 65886 SOS 17713 HAS SOPS 17713 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16328.713
AT ITER 3470 NEW BEST:: SOT 65868 SOS 17677 HAS SOPS 17677 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16292.677
AT ITER 3523 NEW BEST:: SOT 65883 SOS 17661 HAS SOPS 17661 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16262.661
AT ITER 3531 NEW BEST:: SOT 65806 SOS 17636 HAS SOPS 17636 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16237.636
AT ITER 3532 NEW BEST:: SOT 65800 SOS 17630 HAS SOPS 17630 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16231.63
AT ITER 3556 NEW BEST:: SOT 65800 SOS 17611 HAS SOPS 17611 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16212.611
AT ITER 3572 NEW BEST:: SOT 65789 SOS 17589 HAS SOPS 17589 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16190.589
AT ITER 3592 NEW BEST:: SOT 65734 SOS 17576 HAS SOPS 17576 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16177.576
AT ITER 3601 NEW BEST:: SOT 65732 SOS 17574 HAS SOPS 17574 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16175.574
AT ITER 3644 NEW BEST:: SOT 65731 SOS 17572 HAS SOPS 17572 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16173.572
AT ITER 3654 NEW BEST:: SOT 65704 SOS 17545 HAS SOPS 17545 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16146.545
AT ITER 3669 NEW BEST:: SOT 65704 SOS 17536 HAS SOPS 17536 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16137.536
AT ITER 3691 NEW BEST:: SOT 65647 SOS 17456 HAS SOPS 17456 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16057.456
AT ITER 3702 NEW BEST:: SOT 65647 SOS 17453 HAS SOPS 17453 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16054.453
AT ITER 3743 NEW BEST:: SOT 65603 SOS 17365 HAS SOPS 17365 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15966.365
AT ITER 3756 NEW BEST:: SOT 65600 SOS 17359 HAS SOPS 17359 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15960.359
AT ITER 3781 NEW BEST:: SOT 65600 SOS 17345 HAS SOPS 17345 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15946.345
AT ITER 3806 NEW BEST:: SOT 65600 SOS 17330 HAS SOPS 17330 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15931.33
AT ITER 3822 NEW BEST:: SOT 65596 SOS 17292 HAS SOPS 17292 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15893.292
AT ITER 3878 NEW BEST:: SOT 65593 SOS 17289 HAS SOPS 17289 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15890.289
AT ITER 3881 NEW BEST:: SOT 65613 SOS 17278 HAS SOPS 17278 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15879.278
AT ITER 3883 NEW BEST:: SOT 65583 SOS 17245 HAS SOPS 17245 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15846.245
AT ITER 3888 NEW BEST:: SOT 65589 SOS 17236 HAS SOPS 17236 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15837.236
AT ITER 3905 NEW BEST:: SOT 65592 SOS 17233 HAS SOPS 17233 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15834.233
AT ITER 3942 NEW BEST:: SOT 65570 SOS 17192 HAS SOPS 17192 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15793.192
AT ITER 3944 NEW BEST:: SOT 65570 SOS 17189 HAS SOPS 17189 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15790.189
AT ITER 3948 NEW BEST:: SOT 65560 SOS 17179 HAS SOPS 17179 HAS SOUS 15763 HAS SOUPS 15763 WITH SCORE 15780.179
AT ITER 3981 NEW BEST:: SOT 65530 SOS 17144 HAS SOPS 17144 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15770.144
AT ITER 3982 NEW BEST:: SOT 65524 SOS 17142 HAS SOPS 17142 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15768.142
AT ITER 4002 NEW BEST:: SOT 65547 SOS 17145 HAS SOPS 17145 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15742.145
AT ITER 4006 NEW BEST:: SOT 65512 SOS 17110 HAS SOPS 17110 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15707.11
AT ITER 4027 NEW BEST:: SOT 65512 SOS 17106 HAS SOPS 17106 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15703.106
AT ITER 4032 NEW BEST:: SOT 65512 SOS 17105 HAS SOPS 17105 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15702.105
AT ITER 4043 NEW BEST:: SOT 65504 SOS 17087 HAS SOPS 17087 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15699.087
AT ITER 4086 NEW BEST:: SOT 65504 SOS 17070 HAS SOPS 17070 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15682.07
AT ITER 4115 NEW BEST:: SOT 65480 SOS 17060 HAS SOPS 17060 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15672.06
AT ITER 4118 NEW BEST:: SOT 65478 SOS 17058 HAS SOPS 17058 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15670.058
AT ITER 4126 NEW BEST:: SOT 65463 SOS 17047 HAS SOPS 17047 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15659.047
AT ITER 4144 NEW BEST:: SOT 65421 SOS 16963 HAS SOPS 16963 HAS SOUS 15558 HAS SOUPS 15558 WITH SCORE 15574.963
AT ITER 4168 NEW BEST:: SOT 65414 SOS 16949 HAS SOPS 16949 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15524.949
AT ITER 4180 NEW BEST:: SOT 65395 SOS 16911 HAS SOPS 16911 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15486.911
AT ITER 4187 NEW BEST:: SOT 65395 SOS 16893 HAS SOPS 16893 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15468.893
AT ITER 4189 NEW BEST:: SOT 65395 SOS 16891 HAS SOPS 16891 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15466.891
AT ITER 4195 NEW BEST:: SOT 65399 SOS 16890 HAS SOPS 16890 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15465.89
AT ITER 4209 NEW BEST:: SOT 65393 SOS 16884 HAS SOPS 16884 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15459.884
AT ITER 4230 NEW BEST:: SOT 65377 SOS 16872 HAS SOPS 16872 HAS SOUS 15431 HAS SOUPS 15431 WITH SCORE 15447.872
AT ITER 4231 NEW BEST:: SOT 65341 SOS 16847 HAS SOPS 16847 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15422.847
AT ITER 4240 NEW BEST:: SOT 65341 SOS 16846 HAS SOPS 16846 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15421.846
AT ITER 4257 NEW BEST:: SOT 65312 SOS 16841 HAS SOPS 16841 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15416.841
AT ITER 4263 NEW BEST:: SOT 65311 SOS 16839 HAS SOPS 16839 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15414.839
AT ITER 4290 NEW BEST:: SOT 65310 SOS 16834 HAS SOPS 16834 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15409.834
AT ITER 4414 NEW BEST:: SOT 65310 SOS 16831 HAS SOPS 16831 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15406.831
AT ITER 4431 NEW BEST:: SOT 65308 SOS 16828 HAS SOPS 16828 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15403.828
AT ITER 4520 NEW BEST:: SOT 65280 SOS 16783 HAS SOPS 16783 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15358.783
AT ITER 4546 NEW BEST:: SOT 65252 SOS 16779 HAS SOPS 16779 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15354.779
AT ITER 4550 NEW BEST:: SOT 65264 SOS 16765 HAS SOPS 16765 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15340.765
AT ITER 4555 NEW BEST:: SOT 65248 SOS 16750 HAS SOPS 16750 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15325.75
AT ITER 4566 NEW BEST:: SOT 65248 SOS 16735 HAS SOPS 16735 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15310.735
AT ITER 4603 NEW BEST:: SOT 65246 SOS 16731 HAS SOPS 16731 HAS SOUS 15290 HAS SOUPS 15290 WITH SCORE 15306.731
AT ITER 4617 NEW BEST:: SOT 65201 SOS 16672 HAS SOPS 16672 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15247.672
AT ITER 4618 NEW BEST:: SOT 65199 SOS 16668 HAS SOPS 16668 HAS SOUS 15227 HAS SOUPS 15227 WITH SCORE 15243.668
AT ITER 4626 NEW BEST:: SOT 65216 SOS 16639 HAS SOPS 16639 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15214.639
AT ITER 4725 NEW BEST:: SOT 65146 SOS 16613 HAS SOPS 16613 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15188.613
AT ITER 4734 NEW BEST:: SOT 65144 SOS 16611 HAS SOPS 16611 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15186.611
AT ITER 4759 NEW BEST:: SOT 65150 SOS 16602 HAS SOPS 16602 HAS SOUS 15161 HAS SOUPS 15161 WITH SCORE 15177.602
AT ITER 4809 NEW BEST:: SOT 65161 SOS 16608 HAS SOPS 16608 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15172.608
AT ITER 4814 NEW BEST:: SOT 65162 SOS 16601 HAS SOPS 16601 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15165.601
AT ITER 4884 NEW BEST:: SOT 65156 SOS 16589 HAS SOPS 16589 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15153.589
AT ITER 4887 NEW BEST:: SOT 65160 SOS 16571 HAS SOPS 16571 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15135.571
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-06-CTLFireability-00 ( (! ( (EF( ( ((potential((tk(P166)>=1)))) | ((potential((tk(P257)>=1)))) ))) | (AU( ((potential((tk(P166)>=1)))) , ((potential((tk(P181)>=1)))) )) )) | (EF( (AF( ((potential((tk(P339)>=1)))))))) )
PROPERTY: BusinessProcesses-PT-06-CTLFireability-01 ( (EU( ( ( ((potential((tk(P218)>=1) & (tk(P132)>=1) & (tk(P346)>=1)))) & ((potential((tk(P323)>=1)))) ) & ( ((potential((tk(P35)>=1)))) & ((potential((tk(P65)>=1)))) ) ) , (AF( ((potential((tk(P9)>=1)))))) )) | ( (EX( ( ( ((potential((tk(P168)>=1)))) | ((potential((tk(P284)>=1)))) ) | ( ((potential((tk(P101)>=1)))) & ((potential((tk(P203)>=1) & (tk(P28)>=1) & (tk(P346)>=1)))) ) ))) | (EF( (AX( ((potential((tk(P178)>=1) & (tk(P77)>=1) & (tk(P346)>=1)))))))) ) )
PROPERTY: BusinessProcesses-PT-06-CTLFireability-02 (EG( (EF( (EF( ((potential((tk(P180)>=1))))))))))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-03 (EF( ( (AX( ( ((potential((tk(P217)>=1)))) & ((potential((tk(P162)>=1)))) ))) | ((potential((tk(P316)>=1)))) )))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-04 ( ( (! ((potential((tk(P350)>=1))))) & (AF( ((potential((tk(P62)>=1)))))) ) | ( (EU( (! ((potential((tk(P346)>=1))))) , ((potential((tk(P70)>=1)))) )) & (! ((potential((tk(P44)>=1))))) ) )
PROPERTY: BusinessProcesses-PT-06-CTLFireability-05 ( (! ( ( ((potential((tk(P267)>=1)))) | ((potential((tk(P9)>=1)))) ) | ((potential((tk(P70)>=1)))) )) & (EF( ((potential((tk(P235)>=1)))))) )
PROPERTY: BusinessProcesses-PT-06-CTLFireability-06 (EF( ( (EX( ((potential((tk(P209)>=1) & (tk(P117)>=1) & (tk(P362)>=1)))))) & (AG( ((potential((tk(P65)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-07 (AU( ((potential((tk(P155)>=1)))) , (EF( ( ((potential((tk(P99)>=1)))) | ((potential((tk(P376)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-08 (EF( (AG( (EX( ((potential((tk(P10)>=1))))))))))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-09 (EU( ( ( ( ((potential((tk(P258)>=1) & (tk(P58)>=1) & (tk(P346)>=1)))) & ((potential((tk(P250)>=1)))) ) & (! ((potential((tk(P44)>=1))))) ) | (! ( ((potential((tk(P197)>=1)))) & ((potential((tk(P255)>=1)))) )) ) , ( ( ( ((potential((tk(P325)>=1)))) | ((potential((tk(P186)>=1)))) ) & ( ((potential((tk(P96)>=1) & (tk(P90)>=1) & (tk(P84)>=1) & (tk(P78)>=1) & (tk(P75)>=1) & (tk(P81)>=1) & (tk(P87)>=1) & (tk(P93)>=1)))) & ((potential((tk(P309)>=1)))) ) ) & (! ((potential((tk(P296)>=1))))) ) ))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-10 (EU( ((potential((tk(P270)>=1)))) , (! (EF( ((potential((tk(P186)>=1))))))) ))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-11 (EG( (EF( ( ((potential((tk(P168)>=1)))) | ( ((potential((tk(P347)>=1)))) | ((potential((tk(P244)>=1) & (tk(P120)>=1) & (tk(P365)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-12 ( ( (EF( ((potential((tk(P136)>=1)))))) & (! (AX( ( ((potential((tk(P177)>=1)))) & ((potential((tk(P310)>=1)))) )))) ) | (AU( ( ( ((potential((tk(P304)>=1)))) | ((potential((tk(P196)>=1)))) ) & ( ((potential((tk(P337)>=1)))) | ((potential((tk(P36)>=1)))) ) ) , ((potential((tk(P153)>=1)))) )) )
PROPERTY: BusinessProcesses-PT-06-CTLFireability-13 (EF( (AX( (EF( ((potential((tk(P197)>=1))))))))))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-14 (AF( ( (! (EG( ((potential((tk(P221)>=1))))))) & (EF( ( ((potential((tk(P76)>=1)))) | ((potential((tk(P85)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-06-CTLFireability-15 (! (EF( ( (AG( ((potential((tk(P85)>=1)))))) | (EF( ((potential((tk(P173)>=1) & (tk(P74)>=1) & (tk(P346)>=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="BusinessProcesses-PT-06"
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 BusinessProcesses-PT-06, 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 r018-oct2-158897680100492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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