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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 3.9K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 29 08:38 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.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 23:03 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 547K 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-04b-CTLFireability-00
FORMULA_NAME DLCround-PT-04b-CTLFireability-01
FORMULA_NAME DLCround-PT-04b-CTLFireability-02
FORMULA_NAME DLCround-PT-04b-CTLFireability-03
FORMULA_NAME DLCround-PT-04b-CTLFireability-04
FORMULA_NAME DLCround-PT-04b-CTLFireability-05
FORMULA_NAME DLCround-PT-04b-CTLFireability-06
FORMULA_NAME DLCround-PT-04b-CTLFireability-07
FORMULA_NAME DLCround-PT-04b-CTLFireability-08
FORMULA_NAME DLCround-PT-04b-CTLFireability-09
FORMULA_NAME DLCround-PT-04b-CTLFireability-10
FORMULA_NAME DLCround-PT-04b-CTLFireability-11
FORMULA_NAME DLCround-PT-04b-CTLFireability-12
FORMULA_NAME DLCround-PT-04b-CTLFireability-13
FORMULA_NAME DLCround-PT-04b-CTLFireability-14
FORMULA_NAME DLCround-PT-04b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589122099170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04b
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: 1680 places, 2364 transitions, 6156 arcs.
AT ITER 0 NEW BEST:: SOT 2371064 SOS 494511 HAS SOPS 494511 HAS SOUS 353305 HAS SOUPS 353305 WITH SCORE 353799.511
AT ITER 12 NEW BEST:: SOT 2370773 SOS 494216 HAS SOPS 494216 HAS SOUS 353013 HAS SOUPS 353013 WITH SCORE 353507.216
AT ITER 39 NEW BEST:: SOT 2370546 SOS 493985 HAS SOPS 493985 HAS SOUS 352785 HAS SOUPS 352785 WITH SCORE 353278.985
AT ITER 45 NEW BEST:: SOT 2370546 SOS 493592 HAS SOPS 493592 HAS SOUS 352654 HAS SOUPS 352654 WITH SCORE 353147.592
AT ITER 50 NEW BEST:: SOT 2370384 SOS 493268 HAS SOPS 493268 HAS SOUS 352330 HAS SOUPS 352330 WITH SCORE 352823.268
AT ITER 89 NEW BEST:: SOT 2370080 SOS 492965 HAS SOPS 492965 HAS SOUS 351722 HAS SOUPS 351722 WITH SCORE 352214.965
AT ITER 93 NEW BEST:: SOT 2370076 SOS 492957 HAS SOPS 492957 HAS SOUS 351714 HAS SOUPS 351714 WITH SCORE 352206.957
AT ITER 104 NEW BEST:: SOT 2370069 SOS 492950 HAS SOPS 492950 HAS SOUS 351708 HAS SOUPS 351708 WITH SCORE 352200.95
AT ITER 107 NEW BEST:: SOT 2369948 SOS 492466 HAS SOPS 492466 HAS SOUS 351466 HAS SOUPS 351466 WITH SCORE 351958.466
AT ITER 131 NEW BEST:: SOT 2369948 SOS 492466 HAS SOPS 492466 HAS SOUS 351166 HAS SOUPS 351166 WITH SCORE 351658.466
AT ITER 167 NEW BEST:: SOT 2369965 SOS 493086 HAS SOPS 493086 HAS SOUS 351145 HAS SOUPS 351145 WITH SCORE 351638.086
AT ITER 168 NEW BEST:: SOT 2369510 SOS 492732 HAS SOPS 492732 HAS SOUS 351089 HAS SOUPS 351089 WITH SCORE 351581.732
AT ITER 184 NEW BEST:: SOT 2369575 SOS 492862 HAS SOPS 492862 HAS SOUS 350874 HAS SOUPS 350874 WITH SCORE 351366.862
AT ITER 187 NEW BEST:: SOT 2369585 SOS 492882 HAS SOPS 492882 HAS SOUS 350751 HAS SOUPS 350751 WITH SCORE 351243.882
AT ITER 207 NEW BEST:: SOT 2369313 SOS 491250 HAS SOPS 491250 HAS SOUS 350343 HAS SOUPS 350343 WITH SCORE 350834.25
AT ITER 208 NEW BEST:: SOT 2368886 SOS 491125 HAS SOPS 491125 HAS SOUS 350159 HAS SOUPS 350159 WITH SCORE 350650.125
AT ITER 223 NEW BEST:: SOT 2368886 SOS 491053 HAS SOPS 491053 HAS SOUS 350159 HAS SOUPS 350159 WITH SCORE 350650.053
AT ITER 230 NEW BEST:: SOT 2368772 SOS 491517 HAS SOPS 491517 HAS SOUS 349930 HAS SOUPS 349930 WITH SCORE 350421.517
AT ITER 237 NEW BEST:: SOT 2368442 SOS 491187 HAS SOPS 491187 HAS SOUS 349600 HAS SOUPS 349600 WITH SCORE 350091.187
AT ITER 257 NEW BEST:: SOT 2368390 SOS 490620 HAS SOPS 490620 HAS SOUS 349404 HAS SOUPS 349404 WITH SCORE 349894.62
AT ITER 313 NEW BEST:: SOT 2368496 SOS 490726 HAS SOPS 490726 HAS SOUS 349327 HAS SOUPS 349327 WITH SCORE 349817.726
AT ITER 322 NEW BEST:: SOT 2368300 SOS 490334 HAS SOPS 490334 HAS SOUS 349157 HAS SOUPS 349157 WITH SCORE 349647.334
AT ITER 323 NEW BEST:: SOT 2368300 SOS 490247 HAS SOPS 490247 HAS SOUS 349155 HAS SOUPS 349155 WITH SCORE 349645.247
AT ITER 330 NEW BEST:: SOT 2368298 SOS 490394 HAS SOPS 490394 HAS SOUS 349153 HAS SOUPS 349153 WITH SCORE 349643.394
AT ITER 332 NEW BEST:: SOT 2368298 SOS 490229 HAS SOPS 490229 HAS SOUS 348988 HAS SOUPS 348988 WITH SCORE 349478.229
AT ITER 343 NEW BEST:: SOT 2368268 SOS 490169 HAS SOPS 490169 HAS SOUS 348928 HAS SOUPS 348928 WITH SCORE 349418.169
AT ITER 361 NEW BEST:: SOT 2368267 SOS 490167 HAS SOPS 490167 HAS SOUS 348926 HAS SOUPS 348926 WITH SCORE 349416.167
AT ITER 362 NEW BEST:: SOT 2368094 SOS 490093 HAS SOPS 490093 HAS SOUS 348811 HAS SOUPS 348811 WITH SCORE 349301.093
AT ITER 373 NEW BEST:: SOT 2368171 SOS 490092 HAS SOPS 490092 HAS SOUS 348810 HAS SOUPS 348810 WITH SCORE 349300.092
AT ITER 398 NEW BEST:: SOT 2368146 SOS 490042 HAS SOPS 490042 HAS SOUS 348760 HAS SOUPS 348760 WITH SCORE 349250.042
AT ITER 399 NEW BEST:: SOT 2368145 SOS 490040 HAS SOPS 490040 HAS SOUS 348758 HAS SOUPS 348758 WITH SCORE 349248.04
AT ITER 404 NEW BEST:: SOT 2368226 SOS 490039 HAS SOPS 490039 HAS SOUS 348675 HAS SOUPS 348675 WITH SCORE 349165.039
AT ITER 409 NEW BEST:: SOT 2368025 SOS 489637 HAS SOPS 489637 HAS SOUS 348273 HAS SOUPS 348273 WITH SCORE 348762.637
AT ITER 432 NEW BEST:: SOT 2368025 SOS 489817 HAS SOPS 489817 HAS SOUS 348272 HAS SOUPS 348272 WITH SCORE 348761.817
AT ITER 436 NEW BEST:: SOT 2368013 SOS 489793 HAS SOPS 489793 HAS SOUS 348248 HAS SOUPS 348248 WITH SCORE 348737.793
AT ITER 440 NEW BEST:: SOT 2367976 SOS 489756 HAS SOPS 489756 HAS SOUS 348174 HAS SOUPS 348174 WITH SCORE 348663.756
AT ITER 447 NEW BEST:: SOT 2367975 SOS 489754 HAS SOPS 489754 HAS SOUS 348172 HAS SOUPS 348172 WITH SCORE 348661.754
AT ITER 471 NEW BEST:: SOT 2367975 SOS 489226 HAS SOPS 489226 HAS SOUS 347996 HAS SOUPS 347996 WITH SCORE 348485.226
AT ITER 487 NEW BEST:: SOT 2368047 SOS 489370 HAS SOPS 489370 HAS SOUS 347961 HAS SOUPS 347961 WITH SCORE 348450.37
AT ITER 495 NEW BEST:: SOT 2368047 SOS 489281 HAS SOPS 489281 HAS SOUS 347872 HAS SOUPS 347872 WITH SCORE 348361.281
AT ITER 501 NEW BEST:: SOT 2367985 SOS 489157 HAS SOPS 489157 HAS SOUS 347748 HAS SOUPS 347748 WITH SCORE 348237.157
AT ITER 531 NEW BEST:: SOT 2367985 SOS 489131 HAS SOPS 489131 HAS SOUS 347722 HAS SOUPS 347722 WITH SCORE 348211.131
AT ITER 532 NEW BEST:: SOT 2366143 SOS 490855 HAS SOPS 490855 HAS SOUS 347352 HAS SOUPS 347352 WITH SCORE 347842.855
AT ITER 536 NEW BEST:: SOT 2366360 SOS 489556 HAS SOPS 489556 HAS SOUS 347302 HAS SOUPS 347302 WITH SCORE 347791.556
AT ITER 555 NEW BEST:: SOT 2366331 SOS 489498 HAS SOPS 489498 HAS SOUS 347244 HAS SOUPS 347244 WITH SCORE 347733.498
AT ITER 562 NEW BEST:: SOT 2366261 SOS 489428 HAS SOPS 489428 HAS SOUS 347174 HAS SOUPS 347174 WITH SCORE 347663.428
AT ITER 569 NEW BEST:: SOT 2365659 SOS 488996 HAS SOPS 488996 HAS SOUS 346739 HAS SOUPS 346739 WITH SCORE 347227.996
AT ITER 642 NEW BEST:: SOT 2365584 SOS 488921 HAS SOPS 488921 HAS SOUS 346664 HAS SOUPS 346664 WITH SCORE 347152.921
AT ITER 658 NEW BEST:: SOT 2365519 SOS 488856 HAS SOPS 488856 HAS SOUS 346599 HAS SOUPS 346599 WITH SCORE 347087.856
AT ITER 664 NEW BEST:: SOT 2365483 SOS 488784 HAS SOPS 488784 HAS SOUS 346527 HAS SOUPS 346527 WITH SCORE 347015.784
AT ITER 667 NEW BEST:: SOT 2365483 SOS 488954 HAS SOPS 488954 HAS SOUS 346526 HAS SOUPS 346526 WITH SCORE 347014.954
AT ITER 694 NEW BEST:: SOT 2365422 SOS 488832 HAS SOPS 488832 HAS SOUS 346404 HAS SOUPS 346404 WITH SCORE 346892.832
AT ITER 703 NEW BEST:: SOT 2365111 SOS 488782 HAS SOPS 488782 HAS SOUS 346354 HAS SOUPS 346354 WITH SCORE 346842.782
AT ITER 723 NEW BEST:: SOT 2364181 SOS 496280 HAS SOPS 496280 HAS SOUS 346091 HAS SOUPS 346091 WITH SCORE 346587.28
AT ITER 792 NEW BEST:: SOT 2364181 SOS 496280 HAS SOPS 496280 HAS SOUS 346058 HAS SOUPS 346058 WITH SCORE 346554.28
AT ITER 842 NEW BEST:: SOT 2362448 SOS 494906 HAS SOPS 494906 HAS SOUS 344362 HAS SOUPS 344362 WITH SCORE 344856.906
AT ITER 852 NEW BEST:: SOT 2362348 SOS 494706 HAS SOPS 494706 HAS SOUS 343879 HAS SOUPS 343879 WITH SCORE 344373.706
AT ITER 870 NEW BEST:: SOT 2362348 SOS 494514 HAS SOPS 494514 HAS SOUS 343879 HAS SOUPS 343879 WITH SCORE 344373.514
AT ITER 911 NEW BEST:: SOT 2362242 SOS 494440 HAS SOPS 494440 HAS SOUS 343805 HAS SOUPS 343805 WITH SCORE 344299.44
AT ITER 915 NEW BEST:: SOT 2362161 SOS 494434 HAS SOPS 494434 HAS SOUS 343802 HAS SOUPS 343802 WITH SCORE 344296.434
AT ITER 929 NEW BEST:: SOT 2362161 SOS 494434 HAS SOPS 494434 HAS SOUS 343800 HAS SOUPS 343800 WITH SCORE 344294.434
AT ITER 961 NEW BEST:: SOT 2362161 SOS 494563 HAS SOPS 494563 HAS SOUS 343799 HAS SOUPS 343799 WITH SCORE 344293.563
AT ITER 965 NEW BEST:: SOT 2362097 SOS 494435 HAS SOPS 494435 HAS SOUS 343735 HAS SOUPS 343735 WITH SCORE 344229.435
AT ITER 1004 NEW BEST:: SOT 2361291 SOS 494338 HAS SOPS 494338 HAS SOUS 343289 HAS SOUPS 343289 WITH SCORE 343783.338
AT ITER 1010 NEW BEST:: SOT 2361291 SOS 494324 HAS SOPS 494324 HAS SOUS 343289 HAS SOUPS 343289 WITH SCORE 343783.324
AT ITER 1013 NEW BEST:: SOT 2361126 SOS 494159 HAS SOPS 494159 HAS SOUS 343124 HAS SOUPS 343124 WITH SCORE 343618.159
AT ITER 1032 NEW BEST:: SOT 2360626 SOS 493534 HAS SOPS 493534 HAS SOUS 342696 HAS SOUPS 342696 WITH SCORE 343189.534
AT ITER 1052 NEW BEST:: SOT 2360625 SOS 493532 HAS SOPS 493532 HAS SOUS 342694 HAS SOUPS 342694 WITH SCORE 343187.532
AT ITER 1063 NEW BEST:: SOT 2360569 SOS 493420 HAS SOPS 493420 HAS SOUS 342582 HAS SOUPS 342582 WITH SCORE 343075.42
AT ITER 1097 NEW BEST:: SOT 2360539 SOS 493360 HAS SOPS 493360 HAS SOUS 342522 HAS SOUPS 342522 WITH SCORE 343015.36
AT ITER 1112 NEW BEST:: SOT 2360031 SOS 492665 HAS SOPS 492665 HAS SOUS 342230 HAS SOUPS 342230 WITH SCORE 342722.665
AT ITER 1134 NEW BEST:: SOT 2360008 SOS 492619 HAS SOPS 492619 HAS SOUS 342184 HAS SOUPS 342184 WITH SCORE 342676.619
AT ITER 1171 NEW BEST:: SOT 2359891 SOS 492458 HAS SOPS 492458 HAS SOUS 342023 HAS SOUPS 342023 WITH SCORE 342515.458
AT ITER 1172 NEW BEST:: SOT 2359734 SOS 492830 HAS SOPS 492830 HAS SOUS 342009 HAS SOUPS 342009 WITH SCORE 342501.83
AT ITER 1191 NEW BEST:: SOT 2359651 SOS 492664 HAS SOPS 492664 HAS SOUS 341843 HAS SOUPS 341843 WITH SCORE 342335.664
AT ITER 1208 NEW BEST:: SOT 2359650 SOS 492662 HAS SOPS 492662 HAS SOUS 341843 HAS SOUPS 341843 WITH SCORE 342335.662
AT ITER 1230 NEW BEST:: SOT 2359359 SOS 492662 HAS SOPS 492662 HAS SOUS 341552 HAS SOUPS 341552 WITH SCORE 342044.662
AT ITER 1267 NEW BEST:: SOT 2359319 SOS 492622 HAS SOPS 492622 HAS SOUS 341512 HAS SOUPS 341512 WITH SCORE 342004.622
AT ITER 1284 NEW BEST:: SOT 2359319 SOS 493269 HAS SOPS 493269 HAS SOUS 341511 HAS SOUPS 341511 WITH SCORE 342004.269
AT ITER 1298 NEW BEST:: SOT 2359075 SOS 493025 HAS SOPS 493025 HAS SOUS 341511 HAS SOUPS 341511 WITH SCORE 342004.025
AT ITER 1306 NEW BEST:: SOT 2359075 SOS 493020 HAS SOPS 493020 HAS SOUS 341506 HAS SOUPS 341506 WITH SCORE 341999.02
AT ITER 1308 NEW BEST:: SOT 2359144 SOS 493013 HAS SOPS 493013 HAS SOUS 341499 HAS SOUPS 341499 WITH SCORE 341992.013
AT ITER 1319 NEW BEST:: SOT 2359123 SOS 492971 HAS SOPS 492971 HAS SOUS 341457 HAS SOUPS 341457 WITH SCORE 341949.971
AT ITER 1376 NEW BEST:: SOT 2359024 SOS 492773 HAS SOPS 492773 HAS SOUS 341261 HAS SOUPS 341261 WITH SCORE 341753.773
AT ITER 1380 NEW BEST:: SOT 2358655 SOS 492035 HAS SOPS 492035 HAS SOUS 340842 HAS SOUPS 340842 WITH SCORE 341334.035
AT ITER 1394 NEW BEST:: SOT 2358621 SOS 492066 HAS SOPS 492066 HAS SOUS 340807 HAS SOUPS 340807 WITH SCORE 341299.066
AT ITER 1400 NEW BEST:: SOT 2358763 SOS 492350 HAS SOPS 492350 HAS SOUS 340703 HAS SOUPS 340703 WITH SCORE 341195.35
AT ITER 1423 NEW BEST:: SOT 2358763 SOS 492350 HAS SOPS 492350 HAS SOUS 340669 HAS SOUPS 340669 WITH SCORE 341161.35
AT ITER 1438 NEW BEST:: SOT 2357578 SOS 496638 HAS SOPS 496638 HAS SOUS 340167 HAS SOUPS 340167 WITH SCORE 340663.638
AT ITER 1440 NEW BEST:: SOT 2357312 SOS 496630 HAS SOPS 496630 HAS SOUS 340166 HAS SOUPS 340166 WITH SCORE 340662.63
AT ITER 1444 NEW BEST:: SOT 2357110 SOS 496428 HAS SOPS 496428 HAS SOUS 339964 HAS SOUPS 339964 WITH SCORE 340460.428
AT ITER 1445 NEW BEST:: SOT 2357110 SOS 495879 HAS SOPS 495879 HAS SOUS 339964 HAS SOUPS 339964 WITH SCORE 340459.879
AT ITER 1503 NEW BEST:: SOT 2357110 SOS 495844 HAS SOPS 495844 HAS SOUS 339929 HAS SOUPS 339929 WITH SCORE 340424.844
AT ITER 1521 NEW BEST:: SOT 2357110 SOS 495819 HAS SOPS 495819 HAS SOUS 339904 HAS SOUPS 339904 WITH SCORE 340399.819
AT ITER 1526 NEW BEST:: SOT 2357046 SOS 495691 HAS SOPS 495691 HAS SOUS 339776 HAS SOUPS 339776 WITH SCORE 340271.691
AT ITER 1528 NEW BEST:: SOT 2357031 SOS 495681 HAS SOPS 495681 HAS SOUS 339766 HAS SOUPS 339766 WITH SCORE 340261.681
AT ITER 1531 NEW BEST:: SOT 2356952 SOS 495602 HAS SOPS 495602 HAS SOUS 339687 HAS SOUPS 339687 WITH SCORE 340182.602
AT ITER 1535 NEW BEST:: SOT 2356783 SOS 495601 HAS SOPS 495601 HAS SOUS 339686 HAS SOUPS 339686 WITH SCORE 340181.601
AT ITER 1541 NEW BEST:: SOT 2356779 SOS 495593 HAS SOPS 495593 HAS SOUS 339682 HAS SOUPS 339682 WITH SCORE 340177.593
AT ITER 1554 NEW BEST:: SOT 2356726 SOS 495600 HAS SOPS 495600 HAS SOUS 339644 HAS SOUPS 339644 WITH SCORE 340139.6
AT ITER 1560 NEW BEST:: SOT 2356819 SOS 495216 HAS SOPS 495216 HAS SOUS 339547 HAS SOUPS 339547 WITH SCORE 340042.216
AT ITER 1563 NEW BEST:: SOT 2356762 SOS 495102 HAS SOPS 495102 HAS SOUS 339433 HAS SOUPS 339433 WITH SCORE 339928.102
AT ITER 1573 NEW BEST:: SOT 2356761 SOS 495100 HAS SOPS 495100 HAS SOUS 339431 HAS SOUPS 339431 WITH SCORE 339926.1
AT ITER 1582 NEW BEST:: SOT 2356578 SOS 494959 HAS SOPS 494959 HAS SOUS 339247 HAS SOUPS 339247 WITH SCORE 339741.959
AT ITER 1585 NEW BEST:: SOT 2356548 SOS 494929 HAS SOPS 494929 HAS SOUS 339217 HAS SOUPS 339217 WITH SCORE 339711.929
AT ITER 1592 NEW BEST:: SOT 2356548 SOS 494850 HAS SOPS 494850 HAS SOUS 339217 HAS SOUPS 339217 WITH SCORE 339711.85
AT ITER 1601 NEW BEST:: SOT 2356450 SOS 494752 HAS SOPS 494752 HAS SOUS 339118 HAS SOUPS 339118 WITH SCORE 339612.752
AT ITER 1604 NEW BEST:: SOT 2356049 SOS 495018 HAS SOPS 495018 HAS SOUS 339073 HAS SOUPS 339073 WITH SCORE 339568.018
AT ITER 1605 NEW BEST:: SOT 2356085 SOS 494870 HAS SOPS 494870 HAS SOUS 339035 HAS SOUPS 339035 WITH SCORE 339529.87
AT ITER 1617 NEW BEST:: SOT 2356085 SOS 494753 HAS SOPS 494753 HAS SOUS 339035 HAS SOUPS 339035 WITH SCORE 339529.753
AT ITER 1622 NEW BEST:: SOT 2356084 SOS 494751 HAS SOPS 494751 HAS SOUS 339033 HAS SOUPS 339033 WITH SCORE 339527.751
AT ITER 1625 NEW BEST:: SOT 2356043 SOS 494607 HAS SOPS 494607 HAS SOUS 338889 HAS SOUPS 338889 WITH SCORE 339383.607
AT ITER 1660 NEW BEST:: SOT 2355983 SOS 494487 HAS SOPS 494487 HAS SOUS 338769 HAS SOUPS 338769 WITH SCORE 339263.487
AT ITER 1669 NEW BEST:: SOT 2355937 SOS 494441 HAS SOPS 494441 HAS SOUS 338723 HAS SOUPS 338723 WITH SCORE 339217.441
AT ITER 1673 NEW BEST:: SOT 2355593 SOS 494152 HAS SOPS 494152 HAS SOUS 338380 HAS SOUPS 338380 WITH SCORE 338874.152
AT ITER 1676 NEW BEST:: SOT 2355315 SOS 493596 HAS SOPS 493596 HAS SOUS 337824 HAS SOUPS 337824 WITH SCORE 338317.596
AT ITER 1692 NEW BEST:: SOT 2355226 SOS 493418 HAS SOPS 493418 HAS SOUS 337646 HAS SOUPS 337646 WITH SCORE 338139.418
AT ITER 1710 NEW BEST:: SOT 2355220 SOS 493406 HAS SOPS 493406 HAS SOUS 337634 HAS SOUPS 337634 WITH SCORE 338127.406
AT ITER 1760 NEW BEST:: SOT 2355220 SOS 493819 HAS SOPS 493819 HAS SOUS 337633 HAS SOUPS 337633 WITH SCORE 338126.819
AT ITER 1786 NEW BEST:: SOT 2355190 SOS 493900 HAS SOPS 493900 HAS SOUS 337603 HAS SOUPS 337603 WITH SCORE 338096.9
AT ITER 1795 NEW BEST:: SOT 2354994 SOS 493508 HAS SOPS 493508 HAS SOUS 337211 HAS SOUPS 337211 WITH SCORE 337704.508
AT ITER 1850 NEW BEST:: SOT 2354641 SOS 493065 HAS SOPS 493065 HAS SOUS 336768 HAS SOUPS 336768 WITH SCORE 337261.065
AT ITER 1861 NEW BEST:: SOT 2354641 SOS 493228 HAS SOPS 493228 HAS SOUS 336767 HAS SOUPS 336767 WITH SCORE 337260.228
AT ITER 1878 NEW BEST:: SOT 2354789 SOS 493179 HAS SOPS 493179 HAS SOUS 336718 HAS SOUPS 336718 WITH SCORE 337211.179
AT ITER 1880 NEW BEST:: SOT 2354411 SOS 492801 HAS SOPS 492801 HAS SOUS 336340 HAS SOUPS 336340 WITH SCORE 336832.801
AT ITER 1881 NEW BEST:: SOT 2354286 SOS 492754 HAS SOPS 492754 HAS SOUS 336214 HAS SOUPS 336214 WITH SCORE 336706.754
AT ITER 1906 NEW BEST:: SOT 2354257 SOS 492696 HAS SOPS 492696 HAS SOUS 336173 HAS SOUPS 336173 WITH SCORE 336665.696
AT ITER 1911 NEW BEST:: SOT 2354256 SOS 492689 HAS SOPS 492689 HAS SOUS 336166 HAS SOUPS 336166 WITH SCORE 336658.689
AT ITER 1931 NEW BEST:: SOT 2354144 SOS 492466 HAS SOPS 492466 HAS SOUS 336134 HAS SOUPS 336134 WITH SCORE 336626.466
AT ITER 1955 NEW BEST:: SOT 2354144 SOS 492330 HAS SOPS 492330 HAS SOUS 335998 HAS SOUPS 335998 WITH SCORE 336490.33
AT ITER 1957 NEW BEST:: SOT 2354144 SOS 492330 HAS SOPS 492330 HAS SOUS 335980 HAS SOUPS 335980 WITH SCORE 336472.33
AT ITER 1971 NEW BEST:: SOT 2354039 SOS 492119 HAS SOPS 492119 HAS SOUS 335673 HAS SOUPS 335673 WITH SCORE 336165.119
AT ITER 1988 NEW BEST:: SOT 2353980 SOS 491988 HAS SOPS 491988 HAS SOUS 335542 HAS SOUPS 335542 WITH SCORE 336033.988
AT ITER 1993 NEW BEST:: SOT 2353838 SOS 491704 HAS SOPS 491704 HAS SOUS 335356 HAS SOUPS 335356 WITH SCORE 335847.704
AT ITER 2003 NEW BEST:: SOT 2353842 SOS 491497 HAS SOPS 491497 HAS SOUS 335275 HAS SOUPS 335275 WITH SCORE 335766.497
AT ITER 2007 NEW BEST:: SOT 2353773 SOS 491359 HAS SOPS 491359 HAS SOUS 335137 HAS SOUPS 335137 WITH SCORE 335628.359
AT ITER 2015 NEW BEST:: SOT 2353570 SOS 491188 HAS SOPS 491188 HAS SOUS 334844 HAS SOUPS 334844 WITH SCORE 335335.188
AT ITER 2032 NEW BEST:: SOT 2353570 SOS 491188 HAS SOPS 491188 HAS SOUS 334837 HAS SOUPS 334837 WITH SCORE 335328.188
AT ITER 2033 NEW BEST:: SOT 2353208 SOS 489962 HAS SOPS 489962 HAS SOUS 334259 HAS SOUPS 334259 WITH SCORE 334748.962
AT ITER 2076 NEW BEST:: SOT 2353207 SOS 489960 HAS SOPS 489960 HAS SOUS 334257 HAS SOUPS 334257 WITH SCORE 334746.96
AT ITER 2141 NEW BEST:: SOT 2353056 SOS 489658 HAS SOPS 489658 HAS SOUS 334076 HAS SOUPS 334076 WITH SCORE 334565.658
AT ITER 2146 NEW BEST:: SOT 2352731 SOS 491870 HAS SOPS 491870 HAS SOUS 333750 HAS SOUPS 333750 WITH SCORE 334241.87
AT ITER 2147 NEW BEST:: SOT 2352514 SOS 491436 HAS SOPS 491436 HAS SOUS 333316 HAS SOUPS 333316 WITH SCORE 333807.436
AT ITER 2149 NEW BEST:: SOT 2352013 SOS 490765 HAS SOPS 490765 HAS SOUS 332484 HAS SOUPS 332484 WITH SCORE 332974.765
AT ITER 2172 NEW BEST:: SOT 2352001 SOS 490777 HAS SOPS 490777 HAS SOUS 332472 HAS SOUPS 332472 WITH SCORE 332962.777
AT ITER 2227 NEW BEST:: SOT 2351941 SOS 490658 HAS SOPS 490658 HAS SOUS 332353 HAS SOUPS 332353 WITH SCORE 332843.658
AT ITER 2244 NEW BEST:: SOT 2351866 SOS 490567 HAS SOPS 490567 HAS SOUS 332247 HAS SOUPS 332247 WITH SCORE 332737.567
AT ITER 2245 NEW BEST:: SOT 2351605 SOS 490384 HAS SOPS 490384 HAS SOUS 332056 HAS SOUPS 332056 WITH SCORE 332546.384
AT ITER 2259 NEW BEST:: SOT 2351407 SOS 490186 HAS SOPS 490186 HAS SOUS 331858 HAS SOUPS 331858 WITH SCORE 332348.186
AT ITER 2294 NEW BEST:: SOT 2351400 SOS 490172 HAS SOPS 490172 HAS SOUS 331851 HAS SOUPS 331851 WITH SCORE 332341.172
AT ITER 2296 NEW BEST:: SOT 2350988 SOS 489765 HAS SOPS 489765 HAS SOUS 331607 HAS SOUPS 331607 WITH SCORE 332096.765
AT ITER 2306 NEW BEST:: SOT 2350828 SOS 489644 HAS SOPS 489644 HAS SOUS 331446 HAS SOUPS 331446 WITH SCORE 331935.644
AT ITER 2316 NEW BEST:: SOT 2350749 SOS 489580 HAS SOPS 489580 HAS SOUS 331377 HAS SOUPS 331377 WITH SCORE 331866.58
AT ITER 2320 NEW BEST:: SOT 2350653 SOS 489388 HAS SOPS 489388 HAS SOUS 331185 HAS SOUPS 331185 WITH SCORE 331674.388
AT ITER 2332 NEW BEST:: SOT 2350653 SOS 488734 HAS SOPS 488734 HAS SOUS 331185 HAS SOUPS 331185 WITH SCORE 331673.734
AT ITER 2382 NEW BEST:: SOT 2350295 SOS 488233 HAS SOPS 488233 HAS SOUS 330684 HAS SOUPS 330684 WITH SCORE 331172.233
AT ITER 2398 NEW BEST:: SOT 2350099 SOS 488037 HAS SOPS 488037 HAS SOUS 330488 HAS SOUPS 330488 WITH SCORE 330976.037
AT ITER 2400 NEW BEST:: SOT 2349882 SOS 487757 HAS SOPS 487757 HAS SOUS 330208 HAS SOUPS 330208 WITH SCORE 330695.757
AT ITER 2402 NEW BEST:: SOT 2349878 SOS 487749 HAS SOPS 487749 HAS SOUS 330192 HAS SOUPS 330192 WITH SCORE 330679.749
AT ITER 2423 NEW BEST:: SOT 2349878 SOS 487749 HAS SOPS 487749 HAS SOUS 330071 HAS SOUPS 330071 WITH SCORE 330558.749
AT ITER 2442 NEW BEST:: SOT 2349878 SOS 487749 HAS SOPS 487749 HAS SOUS 330061 HAS SOUPS 330061 WITH SCORE 330548.749
AT ITER 2449 NEW BEST:: SOT 2349792 SOS 487577 HAS SOPS 487577 HAS SOUS 329770 HAS SOUPS 329770 WITH SCORE 330257.577
AT ITER 2457 NEW BEST:: SOT 2349684 SOS 487629 HAS SOPS 487629 HAS SOUS 329755 HAS SOUPS 329755 WITH SCORE 330242.629
AT ITER 2473 NEW BEST:: SOT 2349624 SOS 487687 HAS SOPS 487687 HAS SOUS 329754 HAS SOUPS 329754 WITH SCORE 330241.687
AT ITER 2508 NEW BEST:: SOT 2349515 SOS 487469 HAS SOPS 487469 HAS SOUS 329536 HAS SOUPS 329536 WITH SCORE 330023.469
AT ITER 2592 NEW BEST:: SOT 2349434 SOS 487307 HAS SOPS 487307 HAS SOUS 329374 HAS SOUPS 329374 WITH SCORE 329861.307
AT ITER 2593 NEW BEST:: SOT 2349373 SOS 487185 HAS SOPS 487185 HAS SOUS 329259 HAS SOUPS 329259 WITH SCORE 329746.185
AT ITER 2642 NEW BEST:: SOT 2349344 SOS 487127 HAS SOPS 487127 HAS SOUS 329201 HAS SOUPS 329201 WITH SCORE 329688.127
AT ITER 2648 NEW BEST:: SOT 2349304 SOS 487224 HAS SOPS 487224 HAS SOUS 329120 HAS SOUPS 329120 WITH SCORE 329607.224
AT ITER 2663 NEW BEST:: SOT 2349270 SOS 487282 HAS SOPS 487282 HAS SOUS 329119 HAS SOUPS 329119 WITH SCORE 329606.282
AT ITER 2725 NEW BEST:: SOT 2349061 SOS 487073 HAS SOPS 487073 HAS SOUS 328910 HAS SOUPS 328910 WITH SCORE 329397.073
AT ITER 2755 NEW BEST:: SOT 2349061 SOS 486970 HAS SOPS 486970 HAS SOUS 328910 HAS SOUPS 328910 WITH SCORE 329396.97
AT ITER 2756 NEW BEST:: SOT 2349061 SOS 486965 HAS SOPS 486965 HAS SOUS 328910 HAS SOUPS 328910 WITH SCORE 329396.965
AT ITER 2761 NEW BEST:: SOT 2349061 SOS 486825 HAS SOPS 486825 HAS SOUS 328910 HAS SOUPS 328910 WITH SCORE 329396.825
AT ITER 2771 NEW BEST:: SOT 2349013 SOS 486777 HAS SOPS 486777 HAS SOUS 328868 HAS SOUPS 328868 WITH SCORE 329354.777
AT ITER 2777 NEW BEST:: SOT 2348995 SOS 486742 HAS SOPS 486742 HAS SOUS 328833 HAS SOUPS 328833 WITH SCORE 329319.742
AT ITER 2795 NEW BEST:: SOT 2348995 SOS 484901 HAS SOPS 484901 HAS SOUS 328833 HAS SOUPS 328833 WITH SCORE 329317.901
AT ITER 2834 NEW BEST:: SOT 2348623 SOS 485045 HAS SOPS 485045 HAS SOUS 328818 HAS SOUPS 328818 WITH SCORE 329303.045
AT ITER 2860 NEW BEST:: SOT 2348610 SOS 485019 HAS SOPS 485019 HAS SOUS 328805 HAS SOUPS 328805 WITH SCORE 329290.019
AT ITER 2866 NEW BEST:: SOT 2348241 SOS 483842 HAS SOPS 483842 HAS SOUS 328335 HAS SOUPS 328335 WITH SCORE 328818.842
AT ITER 2869 NEW BEST:: SOT 2348239 SOS 483838 HAS SOPS 483838 HAS SOUS 328331 HAS SOUPS 328331 WITH SCORE 328814.838
AT ITER 2882 NEW BEST:: SOT 2348050 SOS 483376 HAS SOPS 483376 HAS SOUS 328176 HAS SOUPS 328176 WITH SCORE 328659.376
AT ITER 2886 NEW BEST:: SOT 2347998 SOS 483272 HAS SOPS 483272 HAS SOUS 328162 HAS SOUPS 328162 WITH SCORE 328645.272
AT ITER 2948 NEW BEST:: SOT 2347496 SOS 482786 HAS SOPS 482786 HAS SOUS 327660 HAS SOUPS 327660 WITH SCORE 328142.786
AT ITER 2972 NEW BEST:: SOT 2347435 SOS 482725 HAS SOPS 482725 HAS SOUS 327599 HAS SOUPS 327599 WITH SCORE 328081.725
AT ITER 2977 NEW BEST:: SOT 2347435 SOS 482716 HAS SOPS 482716 HAS SOUS 327599 HAS SOUPS 327599 WITH SCORE 328081.716
AT ITER 2992 NEW BEST:: SOT 2347379 SOS 482604 HAS SOPS 482604 HAS SOUS 327398 HAS SOUPS 327398 WITH SCORE 327880.604
AT ITER 3000 NEW BEST:: SOT 2347379 SOS 482577 HAS SOPS 482577 HAS SOUS 327371 HAS SOUPS 327371 WITH SCORE 327853.577
AT ITER 3032 NEW BEST:: SOT 2347301 SOS 482499 HAS SOPS 482499 HAS SOUS 327293 HAS SOUPS 327293 WITH SCORE 327775.499
AT ITER 3065 NEW BEST:: SOT 2347234 SOS 482365 HAS SOPS 482365 HAS SOUS 327159 HAS SOUPS 327159 WITH SCORE 327641.365
AT ITER 3105 NEW BEST:: SOT 2347046 SOS 481425 HAS SOPS 481425 HAS SOUS 326783 HAS SOUPS 326783 WITH SCORE 327264.425
AT ITER 3114 NEW BEST:: SOT 2346956 SOS 482580 HAS SOPS 482580 HAS SOUS 326703 HAS SOUPS 326703 WITH SCORE 327185.58
AT ITER 3118 NEW BEST:: SOT 2346900 SOS 482356 HAS SOPS 482356 HAS SOUS 326647 HAS SOUPS 326647 WITH SCORE 327129.356
AT ITER 3129 NEW BEST:: SOT 2346816 SOS 482272 HAS SOPS 482272 HAS SOUS 326563 HAS SOUPS 326563 WITH SCORE 327045.272
AT ITER 3140 NEW BEST:: SOT 2345058 SOS 485326 HAS SOPS 485326 HAS SOUS 326203 HAS SOUPS 326203 WITH SCORE 326688.326
AT ITER 3141 NEW BEST:: SOT 2343718 SOS 484656 HAS SOPS 484656 HAS SOUS 325190 HAS SOUPS 325190 WITH SCORE 325674.656
AT ITER 3149 NEW BEST:: SOT 2343718 SOS 484503 HAS SOPS 484503 HAS SOUS 325190 HAS SOUPS 325190 WITH SCORE 325674.503
AT ITER 3205 NEW BEST:: SOT 2343718 SOS 484493 HAS SOPS 484493 HAS SOUS 325180 HAS SOUPS 325180 WITH SCORE 325664.493
AT ITER 3212 NEW BEST:: SOT 2343684 SOS 484459 HAS SOPS 484459 HAS SOUS 325112 HAS SOUPS 325112 WITH SCORE 325596.459
AT ITER 3222 NEW BEST:: SOT 2343684 SOS 484408 HAS SOPS 484408 HAS SOUS 325061 HAS SOUPS 325061 WITH SCORE 325545.408
AT ITER 3230 NEW BEST:: SOT 2343719 SOS 484316 HAS SOPS 484316 HAS SOUS 325050 HAS SOUPS 325050 WITH SCORE 325534.316
AT ITER 3236 NEW BEST:: SOT 2343447 SOS 483995 HAS SOPS 483995 HAS SOUS 324688 HAS SOUPS 324688 WITH SCORE 325171.995
AT ITER 3281 NEW BEST:: SOT 2343427 SOS 483955 HAS SOPS 483955 HAS SOUS 324648 HAS SOUPS 324648 WITH SCORE 325131.955
AT ITER 3301 NEW BEST:: SOT 2343319 SOS 483739 HAS SOPS 483739 HAS SOUS 324157 HAS SOUPS 324157 WITH SCORE 324640.739
AT ITER 3310 NEW BEST:: SOT 2343262 SOS 483558 HAS SOPS 483558 HAS SOUS 324065 HAS SOUPS 324065 WITH SCORE 324548.558
AT ITER 3321 NEW BEST:: SOT 2343211 SOS 483456 HAS SOPS 483456 HAS SOUS 323963 HAS SOUPS 323963 WITH SCORE 324446.456
AT ITER 3333 NEW BEST:: SOT 2342841 SOS 482246 HAS SOPS 482246 HAS SOUS 323187 HAS SOUPS 323187 WITH SCORE 323669.246
AT ITER 3344 NEW BEST:: SOT 2342841 SOS 482153 HAS SOPS 482153 HAS SOUS 323094 HAS SOUPS 323094 WITH SCORE 323576.153
AT ITER 3390 NEW BEST:: SOT 2342841 SOS 482368 HAS SOPS 482368 HAS SOUS 323093 HAS SOUPS 323093 WITH SCORE 323575.368
AT ITER 3407 NEW BEST:: SOT 2342863 SOS 482412 HAS SOPS 482412 HAS SOUS 323082 HAS SOUPS 323082 WITH SCORE 323564.412
AT ITER 3409 NEW BEST:: SOT 2342717 SOS 482235 HAS SOPS 482235 HAS SOUS 322905 HAS SOUPS 322905 WITH SCORE 323387.235
AT ITER 3414 NEW BEST:: SOT 2342726 SOS 482100 HAS SOPS 482100 HAS SOUS 322863 HAS SOUPS 322863 WITH SCORE 323345.1
AT ITER 3433 NEW BEST:: SOT 2342715 SOS 482089 HAS SOPS 482089 HAS SOUS 322863 HAS SOUPS 322863 WITH SCORE 323345.089
AT ITER 3448 NEW BEST:: SOT 2342698 SOS 482055 HAS SOPS 482055 HAS SOUS 322846 HAS SOUPS 322846 WITH SCORE 323328.055
AT ITER 3468 NEW BEST:: SOT 2342680 SOS 482304 HAS SOPS 482304 HAS SOUS 322741 HAS SOUPS 322741 WITH SCORE 323223.304
AT ITER 3470 NEW BEST:: SOT 2342680 SOS 482360 HAS SOPS 482360 HAS SOUS 322720 HAS SOUPS 322720 WITH SCORE 323202.36
AT ITER 3526 NEW BEST:: SOT 2342507 SOS 482205 HAS SOPS 482205 HAS SOUS 322574 HAS SOUPS 322574 WITH SCORE 323056.205
AT ITER 3533 NEW BEST:: SOT 2342148 SOS 481571 HAS SOPS 481571 HAS SOUS 322379 HAS SOUPS 322379 WITH SCORE 322860.571
AT ITER 3562 NEW BEST:: SOT 2342090 SOS 481602 HAS SOPS 481602 HAS SOUS 322370 HAS SOUPS 322370 WITH SCORE 322851.602
AT ITER 3585 NEW BEST:: SOT 2341951 SOS 481593 HAS SOPS 481593 HAS SOUS 322091 HAS SOUPS 322091 WITH SCORE 322572.593
AT ITER 3619 NEW BEST:: SOT 2341897 SOS 481539 HAS SOPS 481539 HAS SOUS 322091 HAS SOUPS 322091 WITH SCORE 322572.539
AT ITER 3664 NEW BEST:: SOT 2341851 SOS 481459 HAS SOPS 481459 HAS SOUS 322011 HAS SOUPS 322011 WITH SCORE 322492.459
AT ITER 3679 NEW BEST:: SOT 2341840 SOS 481416 HAS SOPS 481416 HAS SOUS 321992 HAS SOUPS 321992 WITH SCORE 322473.416
AT ITER 3697 NEW BEST:: SOT 2341840 SOS 481384 HAS SOPS 481384 HAS SOUS 321946 HAS SOUPS 321946 WITH SCORE 322427.384
AT ITER 3706 NEW BEST:: SOT 2341619 SOS 480942 HAS SOPS 480942 HAS SOUS 321617 HAS SOUPS 321617 WITH SCORE 322097.942
AT ITER 3716 NEW BEST:: SOT 2341688 SOS 480744 HAS SOPS 480744 HAS SOUS 321574 HAS SOUPS 321574 WITH SCORE 322054.744
AT ITER 3734 NEW BEST:: SOT 2341454 SOS 480084 HAS SOPS 480084 HAS SOUS 321562 HAS SOUPS 321562 WITH SCORE 322042.084
AT ITER 3756 NEW BEST:: SOT 2341454 SOS 480017 HAS SOPS 480017 HAS SOUS 321528 HAS SOUPS 321528 WITH SCORE 322008.017
AT ITER 3762 NEW BEST:: SOT 2341513 SOS 480135 HAS SOPS 480135 HAS SOUS 321438 HAS SOUPS 321438 WITH SCORE 321918.135
AT ITER 3764 NEW BEST:: SOT 2341299 SOS 478851 HAS SOPS 478851 HAS SOUS 321117 HAS SOUPS 321117 WITH SCORE 321595.851
AT ITER 3784 NEW BEST:: SOT 2341299 SOS 478740 HAS SOPS 478740 HAS SOUS 321072 HAS SOUPS 321072 WITH SCORE 321550.74
AT ITER 3799 NEW BEST:: SOT 2340711 SOS 478152 HAS SOPS 478152 HAS SOUS 320680 HAS SOUPS 320680 WITH SCORE 321158.152
AT ITER 3825 NEW BEST:: SOT 2340728 SOS 478116 HAS SOPS 478116 HAS SOUS 320644 HAS SOUPS 320644 WITH SCORE 321122.116
AT ITER 3838 NEW BEST:: SOT 2340758 SOS 478136 HAS SOPS 478136 HAS SOUS 320634 HAS SOUPS 320634 WITH SCORE 321112.136
AT ITER 3843 NEW BEST:: SOT 2340631 SOS 478719 HAS SOPS 478719 HAS SOUS 320477 HAS SOUPS 320477 WITH SCORE 320955.719
AT ITER 3849 NEW BEST:: SOT 2339129 SOS 479128 HAS SOPS 479128 HAS SOUS 319953 HAS SOUPS 319953 WITH SCORE 320432.128
AT ITER 3852 NEW BEST:: SOT 2339129 SOS 478974 HAS SOPS 478974 HAS SOUS 319953 HAS SOUPS 319953 WITH SCORE 320431.974
AT ITER 3900 NEW BEST:: SOT 2339460 SOS 478942 HAS SOPS 478942 HAS SOUS 319937 HAS SOUPS 319937 WITH SCORE 320415.942
AT ITER 3920 NEW BEST:: SOT 2339380 SOS 478782 HAS SOPS 478782 HAS SOUS 319856 HAS SOUPS 319856 WITH SCORE 320334.782
AT ITER 3951 NEW BEST:: SOT 2339288 SOS 478698 HAS SOPS 478698 HAS SOUS 319772 HAS SOUPS 319772 WITH SCORE 320250.698
AT ITER 3965 NEW BEST:: SOT 2338953 SOS 478267 HAS SOPS 478267 HAS SOUS 319524 HAS SOUPS 319524 WITH SCORE 320002.267
AT ITER 3967 NEW BEST:: SOT 2338790 SOS 478104 HAS SOPS 478104 HAS SOUS 319361 HAS SOUPS 319361 WITH SCORE 319839.104
AT ITER 3970 NEW BEST:: SOT 2336908 SOS 475987 HAS SOPS 475987 HAS SOUS 318740 HAS SOUPS 318740 WITH SCORE 319215.987
AT ITER 3991 NEW BEST:: SOT 2336810 SOS 475791 HAS SOPS 475791 HAS SOUS 318544 HAS SOUPS 318544 WITH SCORE 319019.791
AT ITER 4042 NEW BEST:: SOT 2336789 SOS 475749 HAS SOPS 475749 HAS SOUS 318523 HAS SOUPS 318523 WITH SCORE 318998.749
AT ITER 4046 NEW BEST:: SOT 2336789 SOS 475749 HAS SOPS 475749 HAS SOUS 318522 HAS SOUPS 318522 WITH SCORE 318997.749
AT ITER 4052 NEW BEST:: SOT 2336771 SOS 475752 HAS SOPS 475752 HAS SOUS 318515 HAS SOUPS 318515 WITH SCORE 318990.752
AT ITER 4058 NEW BEST:: SOT 2336743 SOS 475831 HAS SOPS 475831 HAS SOUS 318499 HAS SOUPS 318499 WITH SCORE 318974.831
AT ITER 4099 NEW BEST:: SOT 2336710 SOS 475765 HAS SOPS 475765 HAS SOUS 318466 HAS SOUPS 318466 WITH SCORE 318941.765
AT ITER 4112 NEW BEST:: SOT 2336385 SOS 475375 HAS SOPS 475375 HAS SOUS 318076 HAS SOUPS 318076 WITH SCORE 318551.375
AT ITER 4114 NEW BEST:: SOT 2336385 SOS 475364 HAS SOPS 475364 HAS SOUS 318065 HAS SOUPS 318065 WITH SCORE 318540.364
AT ITER 4126 NEW BEST:: SOT 2336189 SOS 475140 HAS SOPS 475140 HAS SOUS 317981 HAS SOUPS 317981 WITH SCORE 318456.14
AT ITER 4132 NEW BEST:: SOT 2336148 SOS 475058 HAS SOPS 475058 HAS SOUS 317967 HAS SOUPS 317967 WITH SCORE 318442.058
AT ITER 4170 NEW BEST:: SOT 2336085 SOS 474932 HAS SOPS 474932 HAS SOUS 317841 HAS SOUPS 317841 WITH SCORE 318315.932
AT ITER 4175 NEW BEST:: SOT 2335924 SOS 474610 HAS SOPS 474610 HAS SOUS 317680 HAS SOUPS 317680 WITH SCORE 318154.61
AT ITER 4228 NEW BEST:: SOT 2335924 SOS 474588 HAS SOPS 474588 HAS SOUS 317658 HAS SOUPS 317658 WITH SCORE 318132.588
AT ITER 4231 NEW BEST:: SOT 2336001 SOS 471402 HAS SOPS 471402 HAS SOUS 317615 HAS SOUPS 317615 WITH SCORE 318086.402
AT ITER 4234 NEW BEST:: SOT 2335928 SOS 471256 HAS SOPS 471256 HAS SOUS 317469 HAS SOUPS 317469 WITH SCORE 317940.256
AT ITER 4256 NEW BEST:: SOT 2335856 SOS 471208 HAS SOPS 471208 HAS SOUS 317421 HAS SOUPS 317421 WITH SCORE 317892.208
AT ITER 4261 NEW BEST:: SOT 2335856 SOS 471192 HAS SOPS 471192 HAS SOUS 317405 HAS SOUPS 317405 WITH SCORE 317876.192
AT ITER 4294 NEW BEST:: SOT 2335681 SOS 471066 HAS SOPS 471066 HAS SOUS 317230 HAS SOUPS 317230 WITH SCORE 317701.066
AT ITER 4318 NEW BEST:: SOT 2335596 SOS 470811 HAS SOPS 470811 HAS SOUS 317060 HAS SOUPS 317060 WITH SCORE 317530.811
AT ITER 4355 NEW BEST:: SOT 2335559 SOS 470737 HAS SOPS 470737 HAS SOUS 316986 HAS SOUPS 316986 WITH SCORE 317456.737
AT ITER 4379 NEW BEST:: SOT 2335420 SOS 470772 HAS SOPS 470772 HAS SOUS 316688 HAS SOUPS 316688 WITH SCORE 317158.772
AT ITER 4385 NEW BEST:: SOT 2335250 SOS 470365 HAS SOPS 470365 HAS SOUS 316360 HAS SOUPS 316360 WITH SCORE 316830.365
AT ITER 4388 NEW BEST:: SOT 2335199 SOS 470313 HAS SOPS 470313 HAS SOUS 316308 HAS SOUPS 316308 WITH SCORE 316778.313
AT ITER 4545 NEW BEST:: SOT 2335133 SOS 470180 HAS SOPS 470180 HAS SOUS 316175 HAS SOUPS 316175 WITH SCORE 316645.18
AT ITER 4567 NEW BEST:: SOT 2334914 SOS 469742 HAS SOPS 469742 HAS SOUS 315956 HAS SOUPS 315956 WITH SCORE 316425.742
AT ITER 4622 NEW BEST:: SOT 2334923 SOS 470180 HAS SOPS 470180 HAS SOUS 315607 HAS SOUPS 315607 WITH SCORE 316077.18
AT ITER 4652 NEW BEST:: SOT 2335062 SOS 470458 HAS SOPS 470458 HAS SOUS 315462 HAS SOUPS 315462 WITH SCORE 315932.458
AT ITER 4661 NEW BEST:: SOT 2335062 SOS 471943 HAS SOPS 471943 HAS SOUS 315330 HAS SOUPS 315330 WITH SCORE 315801.943
AT ITER 4671 NEW BEST:: SOT 2334848 SOS 471661 HAS SOPS 471661 HAS SOUS 315048 HAS SOUPS 315048 WITH SCORE 315519.661
AT ITER 4682 NEW BEST:: SOT 2334784 SOS 471533 HAS SOPS 471533 HAS SOUS 314971 HAS SOUPS 314971 WITH SCORE 315442.533
AT ITER 4704 NEW BEST:: SOT 2334753 SOS 471471 HAS SOPS 471471 HAS SOUS 314940 HAS SOUPS 314940 WITH SCORE 315411.471
AT ITER 4708 NEW BEST:: SOT 2334707 SOS 471638 HAS SOPS 471638 HAS SOUS 314894 HAS SOUPS 314894 WITH SCORE 315365.638
AT ITER 4711 NEW BEST:: SOT 2334622 SOS 471468 HAS SOPS 471468 HAS SOUS 314617 HAS SOUPS 314617 WITH SCORE 315088.468
AT ITER 4750 NEW BEST:: SOT 2334611 SOS 471446 HAS SOPS 471446 HAS SOUS 314606 HAS SOUPS 314606 WITH SCORE 315077.446
AT ITER 4752 NEW BEST:: SOT 2334599 SOS 471440 HAS SOPS 471440 HAS SOUS 314600 HAS SOUPS 314600 WITH SCORE 315071.44
AT ITER 4836 NEW BEST:: SOT 2334583 SOS 471437 HAS SOPS 471437 HAS SOUS 314599 HAS SOUPS 314599 WITH SCORE 315070.437
AT ITER 4894 NEW BEST:: SOT 2334583 SOS 471182 HAS SOPS 471182 HAS SOUS 314599 HAS SOUPS 314599 WITH SCORE 315070.182
AT ITER 4905 NEW BEST:: SOT 2334390 SOS 470989 HAS SOPS 470989 HAS SOUS 314406 HAS SOUPS 314406 WITH SCORE 314876.989
AT ITER 4923 NEW BEST:: SOT 2334390 SOS 470989 HAS SOPS 470989 HAS SOUS 314376 HAS SOUPS 314376 WITH SCORE 314846.989
AT ITER 4925 NEW BEST:: SOT 2334628 SOS 470653 HAS SOPS 470653 HAS SOUS 314208 HAS SOUPS 314208 WITH SCORE 314678.653
AT ITER 4933 NEW BEST:: SOT 2334603 SOS 470478 HAS SOPS 470478 HAS SOUS 314173 HAS SOUPS 314173 WITH SCORE 314643.478
AT ITER 4952 NEW BEST:: SOT 2334745 SOS 470366 HAS SOPS 470366 HAS SOUS 314065 HAS SOUPS 314065 WITH SCORE 314535.366
AT ITER 4994 NEW BEST:: SOT 2334745 SOS 470366 HAS SOPS 470366 HAS SOUS 314017 HAS SOUPS 314017 WITH SCORE 314487.366
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-04b-CTLFireability-00 (AU( (! ((potential((tk(P462)>=1) & (tk(P1117)>=1))))) , ((potential((tk(P1061)>=1)))) ))
PROPERTY: DLCround-PT-04b-CTLFireability-01 ( (! (EF( ((potential((tk(P1285)>=1))))))) | (AF( ( (EG( ((potential((tk(P144)>=1)))))) & (EX( ((potential((tk(P860)>=1) & (tk(P1357)>=1)))))) ))) )
PROPERTY: DLCround-PT-04b-CTLFireability-02 ( ( ((potential((tk(P1071)>=1)))) | (AU( (! ((potential((tk(P136)>=1))))) , ( ((potential((tk(P874)>=1)))) & ((potential((tk(P938)>=1) & (tk(P1437)>=1)))) ) )) ) | (EG( (EX( ( ((potential((tk(P759)>=1) & (tk(P1277)>=1)))) & ((potential((tk(P314)>=1)))) ))))) )
PROPERTY: DLCround-PT-04b-CTLFireability-03 (EX( (EF( ( ((potential((tk(P612)>=1)))) & ( ((potential((tk(P968)>=1)))) & ((potential((tk(P103)>=1)))) ) )))))
PROPERTY: DLCround-PT-04b-CTLFireability-04 ( ( ( ( ( ((potential((tk(P845)>=1)))) & ((potential((tk(P527)>=1)))) ) & ( ( ((potential((tk(P432)>=1)))) & ((potential((tk(P820)>=1)))) ) & ( ((potential((tk(P1646)>=1)))) | ((potential((tk(P182)>=1)))) ) ) ) & (! ( ((potential((tk(P1445)>=1)))) & ( ((potential((tk(P216)>=1)))) | ((potential((tk(P168)>=1) & (tk(P1107)>=1)))) ) )) ) & (AF( ( ( ((potential((tk(P1108)>=1)))) | ((potential((tk(P379)>=1)))) ) | ( ((potential((tk(P76)>=1)))) & ((potential((tk(P458)>=1) & (tk(P1507)>=1)))) ) ))) ) | ( (! (AF( ( ((potential((tk(P1136)>=1)))) & ((potential((tk(P1050)>=1)))) )))) | ( (AF( ( ((potential((tk(P514)>=1) & (tk(P1604)>=1)))) | ((potential((tk(P982)>=1)))) ))) & ( (EG( ((potential((tk(P1002)>=1)))))) | (! (! ((potential((tk(P739)>=1)))))) ) ) ) )
PROPERTY: DLCround-PT-04b-CTLFireability-05 (EF( ( ( (EF( ((potential((tk(P686)>=1) & (tk(P1244)>=1)))))) & ( ((potential((tk(P822)>=1) & (tk(P1637)>=1)))) & (! ((potential((tk(P1301)>=1))))) ) ) & ( (EF( ((potential((tk(P855)>=1) & (tk(P1637)>=1)))))) | (EF( ((potential((tk(P1648)>=1)))))) ) )))
PROPERTY: DLCround-PT-04b-CTLFireability-06 (EF( ((potential((tk(P472)>=1) & (tk(P1097)>=1))))))
PROPERTY: DLCround-PT-04b-CTLFireability-07 (AU( (AX( ( ((potential((tk(P973)>=1)))) & ((potential((tk(P1361)>=1)))) ))) , (AF( ( ((potential((tk(P471)>=1)))) | ((potential((tk(P1530)>=1)))) ))) ))
PROPERTY: DLCround-PT-04b-CTLFireability-08 (EU( ( (! ((potential((tk(P596)>=1))))) | ( ( ((potential((tk(P428)>=1)))) | ((potential((tk(P563)>=1)))) ) | ( ((potential((tk(P1122)>=1)))) | ((potential((tk(P1610)>=1)))) ) ) ) , ((potential((tk(P1598)>=1)))) ))
PROPERTY: DLCround-PT-04b-CTLFireability-09 ( ( ( (EF( ( ((potential((tk(P231)>=1)))) | ((potential((tk(P309)>=1)))) ))) & (AG( ((potential((tk(P859)>=1)))))) ) | ((potential((tk(P1419)>=1)))) ) | (AU( ((potential((tk(P198)>=1)))) , (AF( ((potential((tk(P352)>=1)))))) )) )
PROPERTY: DLCround-PT-04b-CTLFireability-10 ( ( ( ( ( (! ((potential((tk(P572)>=1) & (tk(P1217)>=1))))) | ( ((potential((tk(P206)>=1)))) | ((potential((tk(P791)>=1)))) ) ) | (EX( ((potential((tk(P1122)>=1)))))) ) & (! (EX( ((potential((tk(P769)>=1))))))) ) & (EU( ((potential((tk(P502)>=1)))) , ( ((potential((tk(P1466)>=1)))) & ((potential((tk(P294)>=1)))) ) )) ) | (EF( ( ( ( ((potential((tk(P803)>=1)))) & ((potential((tk(P754)>=1) & (tk(P1494)>=1)))) ) & ((potential((tk(P383)>=1) & (tk(P1147)>=1)))) ) | ((potential((tk(P151)>=1)))) ))) )
PROPERTY: DLCround-PT-04b-CTLFireability-11 (EF( (EG( (AG( ((potential((tk(P961)>=1))))))))))
PROPERTY: DLCround-PT-04b-CTLFireability-12 ( (EX( (! ( ( ((potential((tk(P822)>=1) & (tk(P1627)>=1)))) & ((potential((tk(P65)>=1) & (tk(P1247)>=1)))) ) | (! ((potential((tk(P514)>=1) & (tk(P1524)>=1))))) )))) | (! (! ( (AF( ((potential((tk(P684)>=1) & (tk(P1624)>=1)))))) | (AG( ((potential((tk(P1301)>=1)))))) ))) )
PROPERTY: DLCround-PT-04b-CTLFireability-13 (EU( (EF( ( ((potential((tk(P1671)>=1)))) & ((potential((tk(P1463)>=1)))) ))) , (EG( ( ((potential((tk(P1661)>=1)))) | ((potential((tk(P235)>=1)))) ))) ))
PROPERTY: DLCround-PT-04b-CTLFireability-14 ( ( ( ((potential((tk(P294)>=1)))) | (EX( (! ((potential((tk(P26)>=1))))))) ) | (EF( ( ( ((potential((tk(P478)>=1) & (tk(P1487)>=1)))) | ((potential((tk(P788)>=1)))) ) & ( ((potential((tk(P1279)>=1)))) | ((potential((tk(P244)>=1)))) ) ))) ) & (EU( (AX( ((potential((tk(P1638)>=1)))))) , (EF( ((potential((tk(P266)>=1) & (tk(P1214)>=1)))))) )) )
PROPERTY: DLCround-PT-04b-CTLFireability-15 ( ( (AU( (! ((potential((tk(P967)>=1))))) , ( ((potential((tk(P1270)>=1)))) & ((potential((tk(P178)>=1)))) ) )) | (AF( (EF( ((potential((tk(P1176)>=1)))))))) ) | ( ( ( (EX( ((potential((tk(P965)>=1)))))) | ( (! ((potential((tk(P532)>=1))))) & ( ((potential((tk(P1131)>=1)))) & ((potential((tk(P837)>=1)))) ) ) ) | ( ((potential((tk(P615)>=1) & (tk(P1237)>=1)))) & (EF( ((potential((tk(P634)>=1) & (tk(P1614)>=1)))))) ) ) & (EX( ((potential((tk(P1635)>=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-04b"
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-04b, 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-158902542200476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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