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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 3.2K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 08:48 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.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 23:09 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 674K 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-05b-CTLFireability-00
FORMULA_NAME DLCround-PT-05b-CTLFireability-01
FORMULA_NAME DLCround-PT-05b-CTLFireability-02
FORMULA_NAME DLCround-PT-05b-CTLFireability-03
FORMULA_NAME DLCround-PT-05b-CTLFireability-04
FORMULA_NAME DLCround-PT-05b-CTLFireability-05
FORMULA_NAME DLCround-PT-05b-CTLFireability-06
FORMULA_NAME DLCround-PT-05b-CTLFireability-07
FORMULA_NAME DLCround-PT-05b-CTLFireability-08
FORMULA_NAME DLCround-PT-05b-CTLFireability-09
FORMULA_NAME DLCround-PT-05b-CTLFireability-10
FORMULA_NAME DLCround-PT-05b-CTLFireability-11
FORMULA_NAME DLCround-PT-05b-CTLFireability-12
FORMULA_NAME DLCround-PT-05b-CTLFireability-13
FORMULA_NAME DLCround-PT-05b-CTLFireability-14
FORMULA_NAME DLCround-PT-05b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589124648455

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05b
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: 1999 places, 2887 transitions, 7649 arcs.
AT ITER 0 NEW BEST:: SOT 3496588 SOS 761341 HAS SOPS 761341 HAS SOUS 512452 HAS SOUPS 512452 WITH SCORE 513213.341
AT ITER 19 NEW BEST:: SOT 3496588 SOS 761341 HAS SOPS 761341 HAS SOUS 512341 HAS SOUPS 512341 WITH SCORE 513102.341
AT ITER 51 NEW BEST:: SOT 3496211 SOS 760587 HAS SOPS 760587 HAS SOUS 511508 HAS SOUPS 511508 WITH SCORE 512268.587
AT ITER 60 NEW BEST:: SOT 3496211 SOS 760080 HAS SOPS 760080 HAS SOUS 511339 HAS SOUPS 511339 WITH SCORE 512099.08
AT ITER 63 NEW BEST:: SOT 3496182 SOS 760387 HAS SOPS 760387 HAS SOUS 511309 HAS SOUPS 511309 WITH SCORE 512069.387
AT ITER 70 NEW BEST:: SOT 3495824 SOS 760029 HAS SOPS 760029 HAS SOUS 510951 HAS SOUPS 510951 WITH SCORE 511711.029
AT ITER 97 NEW BEST:: SOT 3495408 SOS 759851 HAS SOPS 759851 HAS SOUS 510773 HAS SOUPS 510773 WITH SCORE 511532.851
AT ITER 103 NEW BEST:: SOT 3495342 SOS 759719 HAS SOPS 759719 HAS SOUS 510641 HAS SOUPS 510641 WITH SCORE 511400.719
AT ITER 127 NEW BEST:: SOT 3495351 SOS 759689 HAS SOPS 759689 HAS SOUS 510630 HAS SOUPS 510630 WITH SCORE 511389.689
AT ITER 130 NEW BEST:: SOT 3495082 SOS 761045 HAS SOPS 761045 HAS SOUS 510266 HAS SOUPS 510266 WITH SCORE 511027.045
AT ITER 137 NEW BEST:: SOT 3494833 SOS 760046 HAS SOPS 760046 HAS SOUS 509933 HAS SOUPS 509933 WITH SCORE 510693.046
AT ITER 145 NEW BEST:: SOT 3494499 SOS 759712 HAS SOPS 759712 HAS SOUS 509599 HAS SOUPS 509599 WITH SCORE 510358.712
AT ITER 204 NEW BEST:: SOT 3494245 SOS 759458 HAS SOPS 759458 HAS SOUS 509345 HAS SOUPS 509345 WITH SCORE 510104.458
AT ITER 215 NEW BEST:: SOT 3494223 SOS 759414 HAS SOPS 759414 HAS SOUS 509028 HAS SOUPS 509028 WITH SCORE 509787.414
AT ITER 222 NEW BEST:: SOT 3494223 SOS 759413 HAS SOPS 759413 HAS SOUS 509027 HAS SOUPS 509027 WITH SCORE 509786.413
AT ITER 237 NEW BEST:: SOT 3493828 SOS 759018 HAS SOPS 759018 HAS SOUS 508632 HAS SOUPS 508632 WITH SCORE 509391.018
AT ITER 240 NEW BEST:: SOT 3493804 SOS 759200 HAS SOPS 759200 HAS SOUS 508631 HAS SOUPS 508631 WITH SCORE 509390.2
AT ITER 262 NEW BEST:: SOT 3493802 SOS 759196 HAS SOPS 759196 HAS SOUS 508627 HAS SOUPS 508627 WITH SCORE 509386.196
AT ITER 268 NEW BEST:: SOT 3493564 SOS 758720 HAS SOPS 758720 HAS SOUS 507988 HAS SOUPS 507988 WITH SCORE 508746.72
AT ITER 303 NEW BEST:: SOT 3493490 SOS 758659 HAS SOPS 758659 HAS SOUS 507927 HAS SOUPS 507927 WITH SCORE 508685.659
AT ITER 311 NEW BEST:: SOT 3493288 SOS 758419 HAS SOPS 758419 HAS SOUS 507687 HAS SOUPS 507687 WITH SCORE 508445.419
AT ITER 352 NEW BEST:: SOT 3493248 SOS 758339 HAS SOPS 758339 HAS SOUS 507430 HAS SOUPS 507430 WITH SCORE 508188.339
AT ITER 368 NEW BEST:: SOT 3492932 SOS 758023 HAS SOPS 758023 HAS SOUS 507114 HAS SOUPS 507114 WITH SCORE 507872.023
AT ITER 383 NEW BEST:: SOT 3492686 SOS 757777 HAS SOPS 757777 HAS SOUS 506868 HAS SOUPS 506868 WITH SCORE 507625.777
AT ITER 396 NEW BEST:: SOT 3491900 SOS 756624 HAS SOPS 756624 HAS SOUS 505715 HAS SOUPS 505715 WITH SCORE 506471.624
AT ITER 417 NEW BEST:: SOT 3491830 SOS 756760 HAS SOPS 756760 HAS SOUS 505714 HAS SOUPS 505714 WITH SCORE 506470.76
AT ITER 428 NEW BEST:: SOT 3491538 SOS 756464 HAS SOPS 756464 HAS SOUS 505421 HAS SOUPS 505421 WITH SCORE 506177.464
AT ITER 455 NEW BEST:: SOT 3491537 SOS 756462 HAS SOPS 756462 HAS SOUS 505419 HAS SOUPS 505419 WITH SCORE 506175.462
AT ITER 472 NEW BEST:: SOT 3491602 SOS 756592 HAS SOPS 756592 HAS SOUS 505319 HAS SOUPS 505319 WITH SCORE 506075.592
AT ITER 474 NEW BEST:: SOT 3491602 SOS 756592 HAS SOPS 756592 HAS SOUS 505318 HAS SOUPS 505318 WITH SCORE 506074.592
AT ITER 479 NEW BEST:: SOT 3491602 SOS 756588 HAS SOPS 756588 HAS SOUS 505317 HAS SOUPS 505317 WITH SCORE 506073.588
AT ITER 480 NEW BEST:: SOT 3491634 SOS 756652 HAS SOPS 756652 HAS SOUS 505236 HAS SOUPS 505236 WITH SCORE 505992.652
AT ITER 493 NEW BEST:: SOT 3490564 SOS 759720 HAS SOPS 759720 HAS SOUS 505217 HAS SOUPS 505217 WITH SCORE 505976.72
AT ITER 500 NEW BEST:: SOT 3490467 SOS 759526 HAS SOPS 759526 HAS SOUS 505023 HAS SOUPS 505023 WITH SCORE 505782.526
AT ITER 526 NEW BEST:: SOT 3490466 SOS 759524 HAS SOPS 759524 HAS SOUS 505021 HAS SOUPS 505021 WITH SCORE 505780.524
AT ITER 533 NEW BEST:: SOT 3490431 SOS 759454 HAS SOPS 759454 HAS SOUS 504951 HAS SOUPS 504951 WITH SCORE 505710.454
AT ITER 548 NEW BEST:: SOT 3490157 SOS 759203 HAS SOPS 759203 HAS SOUS 504700 HAS SOUPS 504700 WITH SCORE 505459.203
AT ITER 553 NEW BEST:: SOT 3489811 SOS 759125 HAS SOPS 759125 HAS SOUS 504622 HAS SOUPS 504622 WITH SCORE 505381.125
AT ITER 578 NEW BEST:: SOT 3489811 SOS 759125 HAS SOPS 759125 HAS SOUS 504481 HAS SOUPS 504481 WITH SCORE 505240.125
AT ITER 580 NEW BEST:: SOT 3489731 SOS 759685 HAS SOPS 759685 HAS SOUS 504401 HAS SOUPS 504401 WITH SCORE 505160.685
AT ITER 596 NEW BEST:: SOT 3489278 SOS 759383 HAS SOPS 759383 HAS SOUS 504099 HAS SOUPS 504099 WITH SCORE 504858.383
AT ITER 611 NEW BEST:: SOT 3489061 SOS 758949 HAS SOPS 758949 HAS SOUS 503930 HAS SOUPS 503930 WITH SCORE 504688.949
AT ITER 622 NEW BEST:: SOT 3489061 SOS 758939 HAS SOPS 758939 HAS SOUS 503920 HAS SOUPS 503920 WITH SCORE 504678.939
AT ITER 625 NEW BEST:: SOT 3489061 SOS 758865 HAS SOPS 758865 HAS SOUS 503846 HAS SOUPS 503846 WITH SCORE 504604.865
AT ITER 642 NEW BEST:: SOT 3488977 SOS 758697 HAS SOPS 758697 HAS SOUS 503678 HAS SOUPS 503678 WITH SCORE 504436.697
AT ITER 652 NEW BEST:: SOT 3488696 SOS 758268 HAS SOPS 758268 HAS SOUS 503360 HAS SOUPS 503360 WITH SCORE 504118.268
AT ITER 684 NEW BEST:: SOT 3488767 SOS 758339 HAS SOPS 758339 HAS SOUS 503359 HAS SOUPS 503359 WITH SCORE 504117.339
AT ITER 692 NEW BEST:: SOT 3488763 SOS 758331 HAS SOPS 758331 HAS SOUS 503351 HAS SOUPS 503351 WITH SCORE 504109.331
AT ITER 705 NEW BEST:: SOT 3488732 SOS 758569 HAS SOPS 758569 HAS SOUS 503319 HAS SOUPS 503319 WITH SCORE 504077.569
AT ITER 727 NEW BEST:: SOT 3488682 SOS 758469 HAS SOPS 758469 HAS SOUS 503219 HAS SOUPS 503219 WITH SCORE 503977.469
AT ITER 744 NEW BEST:: SOT 3488291 SOS 757687 HAS SOPS 757687 HAS SOUS 502872 HAS SOUPS 502872 WITH SCORE 503629.687
AT ITER 755 NEW BEST:: SOT 3488290 SOS 757685 HAS SOPS 757685 HAS SOUS 502871 HAS SOUPS 502871 WITH SCORE 503628.685
AT ITER 774 NEW BEST:: SOT 3488130 SOS 757675 HAS SOPS 757675 HAS SOUS 502790 HAS SOUPS 502790 WITH SCORE 503547.675
AT ITER 780 NEW BEST:: SOT 3487847 SOS 757447 HAS SOPS 757447 HAS SOUS 502507 HAS SOUPS 502507 WITH SCORE 503264.447
AT ITER 794 NEW BEST:: SOT 3487635 SOS 756811 HAS SOPS 756811 HAS SOUS 502083 HAS SOUPS 502083 WITH SCORE 502839.811
AT ITER 799 NEW BEST:: SOT 3486786 SOS 757215 HAS SOPS 757215 HAS SOUS 501821 HAS SOUPS 501821 WITH SCORE 502578.215
AT ITER 885 NEW BEST:: SOT 3486786 SOS 756633 HAS SOPS 756633 HAS SOUS 501627 HAS SOUPS 501627 WITH SCORE 502383.633
AT ITER 891 NEW BEST:: SOT 3486856 SOS 756773 HAS SOPS 756773 HAS SOUS 501535 HAS SOUPS 501535 WITH SCORE 502291.773
AT ITER 925 NEW BEST:: SOT 3486947 SOS 756428 HAS SOPS 756428 HAS SOUS 501190 HAS SOUPS 501190 WITH SCORE 501946.428
AT ITER 937 NEW BEST:: SOT 3486946 SOS 756426 HAS SOPS 756426 HAS SOUS 501188 HAS SOUPS 501188 WITH SCORE 501944.426
AT ITER 970 NEW BEST:: SOT 3486946 SOS 756342 HAS SOPS 756342 HAS SOUS 501146 HAS SOUPS 501146 WITH SCORE 501902.342
AT ITER 972 NEW BEST:: SOT 3486930 SOS 756252 HAS SOPS 756252 HAS SOUS 501011 HAS SOUPS 501011 WITH SCORE 501767.252
AT ITER 983 NEW BEST:: SOT 3486509 SOS 756331 HAS SOPS 756331 HAS SOUS 500927 HAS SOUPS 500927 WITH SCORE 501683.331
AT ITER 993 NEW BEST:: SOT 3486508 SOS 756329 HAS SOPS 756329 HAS SOUS 500925 HAS SOUPS 500925 WITH SCORE 501681.329
AT ITER 1055 NEW BEST:: SOT 3486103 SOS 756425 HAS SOPS 756425 HAS SOUS 500889 HAS SOUPS 500889 WITH SCORE 501645.425
AT ITER 1069 NEW BEST:: SOT 3485966 SOS 756288 HAS SOPS 756288 HAS SOUS 500750 HAS SOUPS 500750 WITH SCORE 501506.288
AT ITER 1100 NEW BEST:: SOT 3485785 SOS 755926 HAS SOPS 755926 HAS SOUS 500638 HAS SOUPS 500638 WITH SCORE 501393.926
AT ITER 1111 NEW BEST:: SOT 3485387 SOS 755590 HAS SOPS 755590 HAS SOUS 500270 HAS SOUPS 500270 WITH SCORE 501025.59
AT ITER 1118 NEW BEST:: SOT 3485217 SOS 755590 HAS SOPS 755590 HAS SOUS 500269 HAS SOUPS 500269 WITH SCORE 501024.59
AT ITER 1144 NEW BEST:: SOT 3485070 SOS 755464 HAS SOPS 755464 HAS SOUS 500143 HAS SOUPS 500143 WITH SCORE 500898.464
AT ITER 1149 NEW BEST:: SOT 3485147 SOS 755618 HAS SOPS 755618 HAS SOUS 500093 HAS SOUPS 500093 WITH SCORE 500848.618
AT ITER 1166 NEW BEST:: SOT 3484983 SOS 755334 HAS SOPS 755334 HAS SOUS 499915 HAS SOUPS 499915 WITH SCORE 500670.334
AT ITER 1171 NEW BEST:: SOT 3484983 SOS 755258 HAS SOPS 755258 HAS SOUS 499877 HAS SOUPS 499877 WITH SCORE 500632.258
AT ITER 1174 NEW BEST:: SOT 3484608 SOS 753383 HAS SOPS 753383 HAS SOUS 499127 HAS SOUPS 499127 WITH SCORE 499880.383
AT ITER 1209 NEW BEST:: SOT 3484526 SOS 753342 HAS SOPS 753342 HAS SOUS 499086 HAS SOUPS 499086 WITH SCORE 499839.342
AT ITER 1230 NEW BEST:: SOT 3484298 SOS 753189 HAS SOPS 753189 HAS SOUS 498933 HAS SOUPS 498933 WITH SCORE 499686.189
AT ITER 1232 NEW BEST:: SOT 3484152 SOS 752897 HAS SOPS 752897 HAS SOUS 498867 HAS SOUPS 498867 WITH SCORE 499619.897
AT ITER 1284 NEW BEST:: SOT 3483937 SOS 751764 HAS SOPS 751764 HAS SOUS 498466 HAS SOUPS 498466 WITH SCORE 499217.764
AT ITER 1299 NEW BEST:: SOT 3483877 SOS 751554 HAS SOPS 751554 HAS SOUS 498346 HAS SOUPS 498346 WITH SCORE 499097.554
AT ITER 1300 NEW BEST:: SOT 3483652 SOS 751104 HAS SOPS 751104 HAS SOUS 497896 HAS SOUPS 497896 WITH SCORE 498647.104
AT ITER 1310 NEW BEST:: SOT 3481320 SOS 750347 HAS SOPS 750347 HAS SOUS 496255 HAS SOUPS 496255 WITH SCORE 497005.347
AT ITER 1312 NEW BEST:: SOT 3481303 SOS 750314 HAS SOPS 750314 HAS SOUS 496222 HAS SOUPS 496222 WITH SCORE 496972.314
AT ITER 1329 NEW BEST:: SOT 3481302 SOS 750312 HAS SOPS 750312 HAS SOUS 496220 HAS SOUPS 496220 WITH SCORE 496970.312
AT ITER 1330 NEW BEST:: SOT 3481236 SOS 750180 HAS SOPS 750180 HAS SOUS 496088 HAS SOUPS 496088 WITH SCORE 496838.18
AT ITER 1337 NEW BEST:: SOT 3481104 SOS 750180 HAS SOPS 750180 HAS SOUS 495956 HAS SOUPS 495956 WITH SCORE 496706.18
AT ITER 1341 NEW BEST:: SOT 3480602 SOS 749678 HAS SOPS 749678 HAS SOUS 495454 HAS SOUPS 495454 WITH SCORE 496203.678
AT ITER 1355 NEW BEST:: SOT 3480443 SOS 750983 HAS SOPS 750983 HAS SOUS 495135 HAS SOUPS 495135 WITH SCORE 495885.983
AT ITER 1356 NEW BEST:: SOT 3479916 SOS 750979 HAS SOPS 750979 HAS SOUS 494954 HAS SOUPS 494954 WITH SCORE 495704.979
AT ITER 1359 NEW BEST:: SOT 3479806 SOS 750539 HAS SOPS 750539 HAS SOUS 494734 HAS SOUPS 494734 WITH SCORE 495484.539
AT ITER 1367 NEW BEST:: SOT 3479772 SOS 750467 HAS SOPS 750467 HAS SOUS 494665 HAS SOUPS 494665 WITH SCORE 495415.467
AT ITER 1401 NEW BEST:: SOT 3479543 SOS 750466 HAS SOPS 750466 HAS SOUS 494664 HAS SOUPS 494664 WITH SCORE 495414.466
AT ITER 1416 NEW BEST:: SOT 3479400 SOS 750582 HAS SOPS 750582 HAS SOUS 494655 HAS SOUPS 494655 WITH SCORE 495405.582
AT ITER 1419 NEW BEST:: SOT 3479086 SOS 750314 HAS SOPS 750314 HAS SOUS 494341 HAS SOUPS 494341 WITH SCORE 495091.314
AT ITER 1433 NEW BEST:: SOT 3478822 SOS 752489 HAS SOPS 752489 HAS SOUS 494306 HAS SOUPS 494306 WITH SCORE 495058.489
AT ITER 1443 NEW BEST:: SOT 3478472 SOS 752139 HAS SOPS 752139 HAS SOUS 493956 HAS SOUPS 493956 WITH SCORE 494708.139
AT ITER 1445 NEW BEST:: SOT 3478472 SOS 752139 HAS SOPS 752139 HAS SOUS 493955 HAS SOUPS 493955 WITH SCORE 494707.139
AT ITER 1451 NEW BEST:: SOT 3478471 SOS 752137 HAS SOPS 752137 HAS SOUS 493953 HAS SOUPS 493953 WITH SCORE 494705.137
AT ITER 1464 NEW BEST:: SOT 3478407 SOS 752009 HAS SOPS 752009 HAS SOUS 493825 HAS SOUPS 493825 WITH SCORE 494577.009
AT ITER 1505 NEW BEST:: SOT 3478407 SOS 751733 HAS SOPS 751733 HAS SOUS 493549 HAS SOUPS 493549 WITH SCORE 494300.733
AT ITER 1514 NEW BEST:: SOT 3478406 SOS 751866 HAS SOPS 751866 HAS SOUS 493548 HAS SOUPS 493548 WITH SCORE 494299.866
AT ITER 1527 NEW BEST:: SOT 3477690 SOS 751150 HAS SOPS 751150 HAS SOUS 492832 HAS SOUPS 492832 WITH SCORE 493583.15
AT ITER 1537 NEW BEST:: SOT 3477544 SOS 750980 HAS SOPS 750980 HAS SOUS 492662 HAS SOUPS 492662 WITH SCORE 493412.98
AT ITER 1562 NEW BEST:: SOT 3477330 SOS 748626 HAS SOPS 748626 HAS SOUS 492234 HAS SOUPS 492234 WITH SCORE 492982.626
AT ITER 1565 NEW BEST:: SOT 3477330 SOS 747966 HAS SOPS 747966 HAS SOUS 492014 HAS SOUPS 492014 WITH SCORE 492761.966
AT ITER 1566 NEW BEST:: SOT 3476917 SOS 750636 HAS SOPS 750636 HAS SOUS 491652 HAS SOUPS 491652 WITH SCORE 492402.636
AT ITER 1587 NEW BEST:: SOT 3476848 SOS 750567 HAS SOPS 750567 HAS SOUS 491583 HAS SOUPS 491583 WITH SCORE 492333.567
AT ITER 1628 NEW BEST:: SOT 3476647 SOS 750165 HAS SOPS 750165 HAS SOUS 491381 HAS SOUPS 491381 WITH SCORE 492131.165
AT ITER 1629 NEW BEST:: SOT 3476443 SOS 750526 HAS SOPS 750526 HAS SOUS 490972 HAS SOUPS 490972 WITH SCORE 491722.526
AT ITER 1647 NEW BEST:: SOT 3476279 SOS 751187 HAS SOPS 751187 HAS SOUS 490643 HAS SOUPS 490643 WITH SCORE 491394.187
AT ITER 1650 NEW BEST:: SOT 3476232 SOS 751318 HAS SOPS 751318 HAS SOUS 490617 HAS SOUPS 490617 WITH SCORE 491368.318
AT ITER 1658 NEW BEST:: SOT 3476289 SOS 750718 HAS SOPS 750718 HAS SOUS 490493 HAS SOUPS 490493 WITH SCORE 491243.718
AT ITER 1677 NEW BEST:: SOT 3475913 SOS 750530 HAS SOPS 750530 HAS SOUS 490305 HAS SOUPS 490305 WITH SCORE 491055.53
AT ITER 1723 NEW BEST:: SOT 3475817 SOS 750338 HAS SOPS 750338 HAS SOUS 490052 HAS SOUPS 490052 WITH SCORE 490802.338
AT ITER 1728 NEW BEST:: SOT 3475793 SOS 750290 HAS SOPS 750290 HAS SOUS 489933 HAS SOUPS 489933 WITH SCORE 490683.29
AT ITER 1748 NEW BEST:: SOT 3475792 SOS 750288 HAS SOPS 750288 HAS SOUS 489931 HAS SOUPS 489931 WITH SCORE 490681.288
AT ITER 1759 NEW BEST:: SOT 3475653 SOS 750010 HAS SOPS 750010 HAS SOUS 489653 HAS SOUPS 489653 WITH SCORE 490403.01
AT ITER 1774 NEW BEST:: SOT 3475544 SOS 749792 HAS SOPS 749792 HAS SOUS 489519 HAS SOUPS 489519 WITH SCORE 490268.792
AT ITER 1795 NEW BEST:: SOT 3475544 SOS 749647 HAS SOPS 749647 HAS SOUS 489448 HAS SOUPS 489448 WITH SCORE 490197.647
AT ITER 1808 NEW BEST:: SOT 3475544 SOS 749505 HAS SOPS 749505 HAS SOUS 489306 HAS SOUPS 489306 WITH SCORE 490055.505
AT ITER 1812 NEW BEST:: SOT 3475505 SOS 749427 HAS SOPS 749427 HAS SOUS 489266 HAS SOUPS 489266 WITH SCORE 490015.427
AT ITER 1815 NEW BEST:: SOT 3475504 SOS 749425 HAS SOPS 749425 HAS SOUS 489264 HAS SOUPS 489264 WITH SCORE 490013.425
AT ITER 1845 NEW BEST:: SOT 3475502 SOS 749421 HAS SOPS 749421 HAS SOUS 489260 HAS SOUPS 489260 WITH SCORE 490009.421
AT ITER 1878 NEW BEST:: SOT 3475134 SOS 749053 HAS SOPS 749053 HAS SOUS 488892 HAS SOUPS 488892 WITH SCORE 489641.053
AT ITER 1883 NEW BEST:: SOT 3475106 SOS 748997 HAS SOPS 748997 HAS SOUS 488864 HAS SOUPS 488864 WITH SCORE 489612.997
AT ITER 1915 NEW BEST:: SOT 3475106 SOS 748967 HAS SOPS 748967 HAS SOUS 488834 HAS SOUPS 488834 WITH SCORE 489582.967
AT ITER 1921 NEW BEST:: SOT 3474860 SOS 748721 HAS SOPS 748721 HAS SOUS 488588 HAS SOUPS 488588 WITH SCORE 489336.721
AT ITER 1934 NEW BEST:: SOT 3474823 SOS 748610 HAS SOPS 748610 HAS SOUS 488514 HAS SOUPS 488514 WITH SCORE 489262.61
AT ITER 1950 NEW BEST:: SOT 3474803 SOS 748570 HAS SOPS 748570 HAS SOUS 488474 HAS SOUPS 488474 WITH SCORE 489222.57
AT ITER 1984 NEW BEST:: SOT 3474803 SOS 748570 HAS SOPS 748570 HAS SOUS 487970 HAS SOUPS 487970 WITH SCORE 488718.57
AT ITER 2010 NEW BEST:: SOT 3474511 SOS 748276 HAS SOPS 748276 HAS SOUS 487388 HAS SOUPS 487388 WITH SCORE 488136.276
AT ITER 2026 NEW BEST:: SOT 3474510 SOS 748274 HAS SOPS 748274 HAS SOUS 487386 HAS SOUPS 487386 WITH SCORE 488134.274
AT ITER 2072 NEW BEST:: SOT 3474498 SOS 748178 HAS SOPS 748178 HAS SOUS 487338 HAS SOUPS 487338 WITH SCORE 488086.178
AT ITER 2084 NEW BEST:: SOT 3474364 SOS 748044 HAS SOPS 748044 HAS SOUS 487338 HAS SOUPS 487338 WITH SCORE 488086.044
AT ITER 2113 NEW BEST:: SOT 3474412 SOS 747996 HAS SOPS 747996 HAS SOUS 487338 HAS SOUPS 487338 WITH SCORE 488085.996
AT ITER 2122 NEW BEST:: SOT 3474134 SOS 747718 HAS SOPS 747718 HAS SOUS 487060 HAS SOUPS 487060 WITH SCORE 487807.718
AT ITER 2150 NEW BEST:: SOT 3474084 SOS 747618 HAS SOPS 747618 HAS SOUS 487010 HAS SOUPS 487010 WITH SCORE 487757.618
AT ITER 2251 NEW BEST:: SOT 3474022 SOS 746950 HAS SOPS 746950 HAS SOUS 486684 HAS SOUPS 486684 WITH SCORE 487430.95
AT ITER 2263 NEW BEST:: SOT 3473703 SOS 746939 HAS SOPS 746939 HAS SOUS 486365 HAS SOUPS 486365 WITH SCORE 487111.939
AT ITER 2270 NEW BEST:: SOT 3473540 SOS 745484 HAS SOPS 745484 HAS SOUS 486126 HAS SOUPS 486126 WITH SCORE 486871.484
AT ITER 2284 NEW BEST:: SOT 3473505 SOS 745414 HAS SOPS 745414 HAS SOUS 486115 HAS SOUPS 486115 WITH SCORE 486860.414
AT ITER 2288 NEW BEST:: SOT 3473505 SOS 745336 HAS SOPS 745336 HAS SOUS 486076 HAS SOUPS 486076 WITH SCORE 486821.336
AT ITER 2297 NEW BEST:: SOT 3473505 SOS 745336 HAS SOPS 745336 HAS SOUS 485926 HAS SOUPS 485926 WITH SCORE 486671.336
AT ITER 2300 NEW BEST:: SOT 3473286 SOS 743426 HAS SOPS 743426 HAS SOUS 485528 HAS SOUPS 485528 WITH SCORE 486271.426
AT ITER 2317 NEW BEST:: SOT 3472163 SOS 743222 HAS SOPS 743222 HAS SOUS 484617 HAS SOUPS 484617 WITH SCORE 485360.222
AT ITER 2349 NEW BEST:: SOT 3471816 SOS 742875 HAS SOPS 742875 HAS SOUS 484270 HAS SOUPS 484270 WITH SCORE 485012.875
AT ITER 2360 NEW BEST:: SOT 3471394 SOS 742664 HAS SOPS 742664 HAS SOUS 484059 HAS SOUPS 484059 WITH SCORE 484801.664
AT ITER 2384 NEW BEST:: SOT 3471059 SOS 741213 HAS SOPS 741213 HAS SOUS 483445 HAS SOUPS 483445 WITH SCORE 484186.213
AT ITER 2394 NEW BEST:: SOT 3471057 SOS 741209 HAS SOPS 741209 HAS SOUS 483441 HAS SOUPS 483441 WITH SCORE 484182.209
AT ITER 2413 NEW BEST:: SOT 3470947 SOS 741205 HAS SOPS 741205 HAS SOUS 483385 HAS SOUPS 483385 WITH SCORE 484126.205
AT ITER 2427 NEW BEST:: SOT 3470825 SOS 741083 HAS SOPS 741083 HAS SOUS 483202 HAS SOUPS 483202 WITH SCORE 483943.083
AT ITER 2448 NEW BEST:: SOT 3470823 SOS 741075 HAS SOPS 741075 HAS SOUS 483197 HAS SOUPS 483197 WITH SCORE 483938.075
AT ITER 2469 NEW BEST:: SOT 3470757 SOS 740403 HAS SOPS 740403 HAS SOUS 483065 HAS SOUPS 483065 WITH SCORE 483805.403
AT ITER 2470 NEW BEST:: SOT 3470757 SOS 740328 HAS SOPS 740328 HAS SOUS 483065 HAS SOUPS 483065 WITH SCORE 483805.328
AT ITER 2475 NEW BEST:: SOT 3470757 SOS 740302 HAS SOPS 740302 HAS SOUS 483039 HAS SOUPS 483039 WITH SCORE 483779.302
AT ITER 2524 NEW BEST:: SOT 3470653 SOS 740094 HAS SOPS 740094 HAS SOUS 482831 HAS SOUPS 482831 WITH SCORE 483571.094
AT ITER 2543 NEW BEST:: SOT 3470195 SOS 739636 HAS SOPS 739636 HAS SOUS 482373 HAS SOUPS 482373 WITH SCORE 483112.636
AT ITER 2545 NEW BEST:: SOT 3470193 SOS 739632 HAS SOPS 739632 HAS SOUS 482369 HAS SOUPS 482369 WITH SCORE 483108.632
AT ITER 2599 NEW BEST:: SOT 3470193 SOS 739596 HAS SOPS 739596 HAS SOUS 482304 HAS SOUPS 482304 WITH SCORE 483043.596
AT ITER 2615 NEW BEST:: SOT 3470193 SOS 739595 HAS SOPS 739595 HAS SOUS 482131 HAS SOUPS 482131 WITH SCORE 482870.595
AT ITER 2629 NEW BEST:: SOT 3470034 SOS 739277 HAS SOPS 739277 HAS SOUS 481813 HAS SOUPS 481813 WITH SCORE 482552.277
AT ITER 2663 NEW BEST:: SOT 3469790 SOS 738789 HAS SOPS 738789 HAS SOUS 481325 HAS SOUPS 481325 WITH SCORE 482063.789
AT ITER 2668 NEW BEST:: SOT 3469790 SOS 738603 HAS SOPS 738603 HAS SOUS 481263 HAS SOUPS 481263 WITH SCORE 482001.603
AT ITER 2682 NEW BEST:: SOT 3469554 SOS 738131 HAS SOPS 738131 HAS SOUS 480876 HAS SOUPS 480876 WITH SCORE 481614.131
AT ITER 2701 NEW BEST:: SOT 3469333 SOS 738131 HAS SOPS 738131 HAS SOUS 480655 HAS SOUPS 480655 WITH SCORE 481393.131
AT ITER 2714 NEW BEST:: SOT 3468964 SOS 738017 HAS SOPS 738017 HAS SOUS 480372 HAS SOUPS 480372 WITH SCORE 481110.017
AT ITER 2728 NEW BEST:: SOT 3468667 SOS 737720 HAS SOPS 737720 HAS SOUS 480075 HAS SOUPS 480075 WITH SCORE 480812.72
AT ITER 2743 NEW BEST:: SOT 3468565 SOS 737516 HAS SOPS 737516 HAS SOUS 479871 HAS SOUPS 479871 WITH SCORE 480608.516
AT ITER 2750 NEW BEST:: SOT 3468565 SOS 737516 HAS SOPS 737516 HAS SOUS 479805 HAS SOUPS 479805 WITH SCORE 480542.516
AT ITER 2761 NEW BEST:: SOT 3468580 SOS 737515 HAS SOPS 737515 HAS SOUS 479804 HAS SOUPS 479804 WITH SCORE 480541.515
AT ITER 2805 NEW BEST:: SOT 3468508 SOS 737371 HAS SOPS 737371 HAS SOUS 479660 HAS SOUPS 479660 WITH SCORE 480397.371
AT ITER 2806 NEW BEST:: SOT 3468508 SOS 737371 HAS SOPS 737371 HAS SOUS 479508 HAS SOUPS 479508 WITH SCORE 480245.371
AT ITER 2830 NEW BEST:: SOT 3468019 SOS 738415 HAS SOPS 738415 HAS SOUS 479298 HAS SOUPS 479298 WITH SCORE 480036.415
AT ITER 2834 NEW BEST:: SOT 3466704 SOS 743167 HAS SOPS 743167 HAS SOUS 478731 HAS SOUPS 478731 WITH SCORE 479474.167
AT ITER 2854 NEW BEST:: SOT 3466828 SOS 742117 HAS SOPS 742117 HAS SOUS 478697 HAS SOUPS 478697 WITH SCORE 479439.117
AT ITER 2881 NEW BEST:: SOT 3466985 SOS 741957 HAS SOPS 741957 HAS SOUS 478696 HAS SOUPS 478696 WITH SCORE 479437.957
AT ITER 3019 NEW BEST:: SOT 3466977 SOS 741933 HAS SOPS 741933 HAS SOUS 478688 HAS SOUPS 478688 WITH SCORE 479429.933
AT ITER 3020 NEW BEST:: SOT 3466977 SOS 742191 HAS SOPS 742191 HAS SOUS 478686 HAS SOUPS 478686 WITH SCORE 479428.191
AT ITER 3029 NEW BEST:: SOT 3466977 SOS 742191 HAS SOPS 742191 HAS SOUS 478685 HAS SOUPS 478685 WITH SCORE 479427.191
AT ITER 3078 NEW BEST:: SOT 3466977 SOS 742052 HAS SOPS 742052 HAS SOUS 478546 HAS SOUPS 478546 WITH SCORE 479288.052
AT ITER 3090 NEW BEST:: SOT 3467097 SOS 742292 HAS SOPS 742292 HAS SOUS 478483 HAS SOUPS 478483 WITH SCORE 479225.292
AT ITER 3122 NEW BEST:: SOT 3465533 SOS 742739 HAS SOPS 742739 HAS SOUS 478435 HAS SOUPS 478435 WITH SCORE 479177.739
AT ITER 3131 NEW BEST:: SOT 3465449 SOS 742571 HAS SOPS 742571 HAS SOUS 478241 HAS SOUPS 478241 WITH SCORE 478983.571
AT ITER 3140 NEW BEST:: SOT 3465224 SOS 742471 HAS SOPS 742471 HAS SOUS 478141 HAS SOUPS 478141 WITH SCORE 478883.471
AT ITER 3147 NEW BEST:: SOT 3464894 SOS 742311 HAS SOPS 742311 HAS SOUS 477934 HAS SOUPS 477934 WITH SCORE 478676.311
AT ITER 3151 NEW BEST:: SOT 3464786 SOS 742229 HAS SOPS 742229 HAS SOUS 477861 HAS SOUPS 477861 WITH SCORE 478603.229
AT ITER 3170 NEW BEST:: SOT 3464780 SOS 742223 HAS SOPS 742223 HAS SOUS 477855 HAS SOUPS 477855 WITH SCORE 478597.223
AT ITER 3172 NEW BEST:: SOT 3464583 SOS 741829 HAS SOPS 741829 HAS SOUS 477583 HAS SOUPS 477583 WITH SCORE 478324.829
AT ITER 3177 NEW BEST:: SOT 3464577 SOS 741577 HAS SOPS 741577 HAS SOUS 477457 HAS SOUPS 477457 WITH SCORE 478198.577
AT ITER 3185 NEW BEST:: SOT 3464577 SOS 741520 HAS SOPS 741520 HAS SOUS 477400 HAS SOUPS 477400 WITH SCORE 478141.52
AT ITER 3188 NEW BEST:: SOT 3464704 SOS 741774 HAS SOPS 741774 HAS SOUS 477321 HAS SOUPS 477321 WITH SCORE 478062.774
AT ITER 3218 NEW BEST:: SOT 3464488 SOS 741558 HAS SOPS 741558 HAS SOUS 477105 HAS SOUPS 477105 WITH SCORE 477846.558
AT ITER 3231 NEW BEST:: SOT 3464488 SOS 741631 HAS SOPS 741631 HAS SOUS 477104 HAS SOUPS 477104 WITH SCORE 477845.631
AT ITER 3258 NEW BEST:: SOT 3464149 SOS 737902 HAS SOPS 737902 HAS SOUS 476426 HAS SOUPS 476426 WITH SCORE 477163.902
AT ITER 3262 NEW BEST:: SOT 3464151 SOS 737601 HAS SOPS 737601 HAS SOUS 476279 HAS SOUPS 476279 WITH SCORE 477016.601
AT ITER 3264 NEW BEST:: SOT 3464014 SOS 739649 HAS SOPS 739649 HAS SOUS 476005 HAS SOUPS 476005 WITH SCORE 476744.649
AT ITER 3282 NEW BEST:: SOT 3463945 SOS 739673 HAS SOPS 739673 HAS SOUS 475950 HAS SOUPS 475950 WITH SCORE 476689.673
AT ITER 3323 NEW BEST:: SOT 3463645 SOS 739373 HAS SOPS 739373 HAS SOUS 475650 HAS SOUPS 475650 WITH SCORE 476389.373
AT ITER 3327 NEW BEST:: SOT 3463748 SOS 739114 HAS SOPS 739114 HAS SOUS 475598 HAS SOUPS 475598 WITH SCORE 476337.114
AT ITER 3384 NEW BEST:: SOT 3463748 SOS 739587 HAS SOPS 739587 HAS SOUS 475595 HAS SOUPS 475595 WITH SCORE 476334.587
AT ITER 3386 NEW BEST:: SOT 3463809 SOS 739709 HAS SOPS 739709 HAS SOUS 475508 HAS SOUPS 475508 WITH SCORE 476247.709
AT ITER 3397 NEW BEST:: SOT 3463809 SOS 740165 HAS SOPS 740165 HAS SOUS 475451 HAS SOUPS 475451 WITH SCORE 476191.165
AT ITER 3407 NEW BEST:: SOT 3463790 SOS 740089 HAS SOPS 740089 HAS SOUS 475432 HAS SOUPS 475432 WITH SCORE 476172.089
AT ITER 3453 NEW BEST:: SOT 3463664 SOS 740026 HAS SOPS 740026 HAS SOUS 475369 HAS SOUPS 475369 WITH SCORE 476109.026
AT ITER 3461 NEW BEST:: SOT 3463520 SOS 739081 HAS SOPS 739081 HAS SOUS 475136 HAS SOUPS 475136 WITH SCORE 475875.081
AT ITER 3484 NEW BEST:: SOT 3463520 SOS 739049 HAS SOPS 739049 HAS SOUS 475135 HAS SOUPS 475135 WITH SCORE 475874.049
AT ITER 3493 NEW BEST:: SOT 3463470 SOS 739095 HAS SOPS 739095 HAS SOUS 475034 HAS SOUPS 475034 WITH SCORE 475773.095
AT ITER 3494 NEW BEST:: SOT 3463410 SOS 738975 HAS SOPS 738975 HAS SOUS 474973 HAS SOUPS 474973 WITH SCORE 475711.975
AT ITER 3499 NEW BEST:: SOT 3463328 SOS 738811 HAS SOPS 738811 HAS SOUS 474891 HAS SOUPS 474891 WITH SCORE 475629.811
AT ITER 3526 NEW BEST:: SOT 3463145 SOS 738445 HAS SOPS 738445 HAS SOUS 474525 HAS SOUPS 474525 WITH SCORE 475263.445
AT ITER 3527 NEW BEST:: SOT 3463145 SOS 737614 HAS SOPS 737614 HAS SOUS 474524 HAS SOUPS 474524 WITH SCORE 475261.614
AT ITER 3545 NEW BEST:: SOT 3463017 SOS 737358 HAS SOPS 737358 HAS SOUS 474268 HAS SOUPS 474268 WITH SCORE 475005.358
AT ITER 3553 NEW BEST:: SOT 3463017 SOS 737129 HAS SOPS 737129 HAS SOUS 474039 HAS SOUPS 474039 WITH SCORE 474776.129
AT ITER 3566 NEW BEST:: SOT 3463014 SOS 737123 HAS SOPS 737123 HAS SOUS 474033 HAS SOUPS 474033 WITH SCORE 474770.123
AT ITER 3596 NEW BEST:: SOT 3462901 SOS 736897 HAS SOPS 736897 HAS SOUS 473807 HAS SOUPS 473807 WITH SCORE 474543.897
AT ITER 3610 NEW BEST:: SOT 3462784 SOS 736806 HAS SOPS 736806 HAS SOUS 473794 HAS SOUPS 473794 WITH SCORE 474530.806
AT ITER 3613 NEW BEST:: SOT 3462784 SOS 736740 HAS SOPS 736740 HAS SOUS 473772 HAS SOUPS 473772 WITH SCORE 474508.74
AT ITER 3623 NEW BEST:: SOT 3462569 SOS 736627 HAS SOPS 736627 HAS SOUS 473557 HAS SOUPS 473557 WITH SCORE 474293.627
AT ITER 3633 NEW BEST:: SOT 3461062 SOS 736937 HAS SOPS 736937 HAS SOUS 473198 HAS SOUPS 473198 WITH SCORE 473934.937
AT ITER 3644 NEW BEST:: SOT 3460720 SOS 736253 HAS SOPS 736253 HAS SOUS 472928 HAS SOUPS 472928 WITH SCORE 473664.253
AT ITER 3653 NEW BEST:: SOT 3460719 SOS 736251 HAS SOPS 736251 HAS SOUS 472926 HAS SOUPS 472926 WITH SCORE 473662.251
AT ITER 3692 NEW BEST:: SOT 3460301 SOS 732323 HAS SOPS 732323 HAS SOUS 472157 HAS SOUPS 472157 WITH SCORE 472889.323
AT ITER 3701 NEW BEST:: SOT 3460244 SOS 732209 HAS SOPS 732209 HAS SOUS 471989 HAS SOUPS 471989 WITH SCORE 472721.209
AT ITER 3746 NEW BEST:: SOT 3459766 SOS 732087 HAS SOPS 732087 HAS SOUS 471511 HAS SOUPS 471511 WITH SCORE 472243.087
AT ITER 3747 NEW BEST:: SOT 3459761 SOS 732082 HAS SOPS 732082 HAS SOUS 471506 HAS SOUPS 471506 WITH SCORE 472238.082
AT ITER 3777 NEW BEST:: SOT 3459757 SOS 732104 HAS SOPS 732104 HAS SOUS 471501 HAS SOUPS 471501 WITH SCORE 472233.104
AT ITER 3779 NEW BEST:: SOT 3459641 SOS 732121 HAS SOPS 732121 HAS SOUS 471468 HAS SOUPS 471468 WITH SCORE 472200.121
AT ITER 3793 NEW BEST:: SOT 3459626 SOS 732091 HAS SOPS 732091 HAS SOUS 471453 HAS SOUPS 471453 WITH SCORE 472185.091
AT ITER 3806 NEW BEST:: SOT 3459600 SOS 732039 HAS SOPS 732039 HAS SOUS 471401 HAS SOUPS 471401 WITH SCORE 472133.039
AT ITER 3835 NEW BEST:: SOT 3459592 SOS 732023 HAS SOPS 732023 HAS SOUS 471385 HAS SOUPS 471385 WITH SCORE 472117.023
AT ITER 3882 NEW BEST:: SOT 3459354 SOS 732009 HAS SOPS 732009 HAS SOUS 471342 HAS SOUPS 471342 WITH SCORE 472074.009
AT ITER 3887 NEW BEST:: SOT 3459127 SOS 731725 HAS SOPS 731725 HAS SOUS 471058 HAS SOUPS 471058 WITH SCORE 471789.725
AT ITER 3942 NEW BEST:: SOT 3459127 SOS 732262 HAS SOPS 732262 HAS SOUS 471057 HAS SOUPS 471057 WITH SCORE 471789.262
AT ITER 4018 NEW BEST:: SOT 3459016 SOS 732292 HAS SOPS 732292 HAS SOUS 471030 HAS SOUPS 471030 WITH SCORE 471762.292
AT ITER 4046 NEW BEST:: SOT 3458982 SOS 732224 HAS SOPS 732224 HAS SOUS 470996 HAS SOUPS 470996 WITH SCORE 471728.224
AT ITER 4048 NEW BEST:: SOT 3458949 SOS 732158 HAS SOPS 732158 HAS SOUS 470930 HAS SOUPS 470930 WITH SCORE 471662.158
AT ITER 4052 NEW BEST:: SOT 3459281 SOS 732822 HAS SOPS 732822 HAS SOUS 470901 HAS SOUPS 470901 WITH SCORE 471633.822
AT ITER 4064 NEW BEST:: SOT 3459438 SOS 733136 HAS SOPS 733136 HAS SOUS 470572 HAS SOUPS 470572 WITH SCORE 471305.136
AT ITER 4088 NEW BEST:: SOT 3459414 SOS 733088 HAS SOPS 733088 HAS SOUS 470548 HAS SOUPS 470548 WITH SCORE 471281.088
AT ITER 4099 NEW BEST:: SOT 3459220 SOS 733090 HAS SOPS 733090 HAS SOUS 470505 HAS SOUPS 470505 WITH SCORE 471238.09
AT ITER 4103 NEW BEST:: SOT 3459085 SOS 732820 HAS SOPS 732820 HAS SOUS 470235 HAS SOUPS 470235 WITH SCORE 470967.82
AT ITER 4192 NEW BEST:: SOT 3459036 SOS 732722 HAS SOPS 732722 HAS SOUS 470137 HAS SOUPS 470137 WITH SCORE 470869.722
AT ITER 4262 NEW BEST:: SOT 3458668 SOS 731986 HAS SOPS 731986 HAS SOUS 469390 HAS SOUPS 469390 WITH SCORE 470121.986
AT ITER 4284 NEW BEST:: SOT 3458663 SOS 731976 HAS SOPS 731976 HAS SOUS 469380 HAS SOUPS 469380 WITH SCORE 470111.976
AT ITER 4335 NEW BEST:: SOT 3458663 SOS 731767 HAS SOPS 731767 HAS SOUS 469380 HAS SOUPS 469380 WITH SCORE 470111.767
AT ITER 4339 NEW BEST:: SOT 3458417 SOS 731084 HAS SOPS 731084 HAS SOUS 468697 HAS SOUPS 468697 WITH SCORE 469428.084
AT ITER 4345 NEW BEST:: SOT 3458275 SOS 730372 HAS SOPS 730372 HAS SOUS 468555 HAS SOUPS 468555 WITH SCORE 469285.372
AT ITER 4358 NEW BEST:: SOT 3458161 SOS 730144 HAS SOPS 730144 HAS SOUS 468492 HAS SOUPS 468492 WITH SCORE 469222.144
AT ITER 4378 NEW BEST:: SOT 3458065 SOS 730352 HAS SOPS 730352 HAS SOUS 468395 HAS SOUPS 468395 WITH SCORE 469125.352
AT ITER 4392 NEW BEST:: SOT 3458065 SOS 730352 HAS SOPS 730352 HAS SOUS 468390 HAS SOUPS 468390 WITH SCORE 469120.352
AT ITER 4407 NEW BEST:: SOT 3458138 SOS 730498 HAS SOPS 730498 HAS SOUS 468267 HAS SOUPS 468267 WITH SCORE 468997.498
AT ITER 4424 NEW BEST:: SOT 3457752 SOS 730880 HAS SOPS 730880 HAS SOUS 468236 HAS SOUPS 468236 WITH SCORE 468966.88
AT ITER 4481 NEW BEST:: SOT 3457419 SOS 730547 HAS SOPS 730547 HAS SOUS 467903 HAS SOUPS 467903 WITH SCORE 468633.547
AT ITER 4496 NEW BEST:: SOT 3457039 SOS 730221 HAS SOPS 730221 HAS SOUS 467577 HAS SOUPS 467577 WITH SCORE 468307.221
AT ITER 4526 NEW BEST:: SOT 3456830 SOS 729803 HAS SOPS 729803 HAS SOUS 467391 HAS SOUPS 467391 WITH SCORE 468120.803
AT ITER 4552 NEW BEST:: SOT 3456830 SOS 728898 HAS SOPS 728898 HAS SOUS 467164 HAS SOUPS 467164 WITH SCORE 467892.898
AT ITER 4568 NEW BEST:: SOT 3456658 SOS 728760 HAS SOPS 728760 HAS SOUS 467026 HAS SOUPS 467026 WITH SCORE 467754.76
AT ITER 4598 NEW BEST:: SOT 3456398 SOS 729142 HAS SOPS 729142 HAS SOUS 466506 HAS SOUPS 466506 WITH SCORE 467235.142
AT ITER 4605 NEW BEST:: SOT 3456389 SOS 728824 HAS SOPS 728824 HAS SOUS 466396 HAS SOUPS 466396 WITH SCORE 467124.824
AT ITER 4606 NEW BEST:: SOT 3456325 SOS 728697 HAS SOPS 728697 HAS SOUS 466269 HAS SOUPS 466269 WITH SCORE 466997.697
AT ITER 4726 NEW BEST:: SOT 3456304 SOS 728613 HAS SOPS 728613 HAS SOUS 466227 HAS SOUPS 466227 WITH SCORE 466955.613
AT ITER 4752 NEW BEST:: SOT 3456294 SOS 728593 HAS SOPS 728593 HAS SOUS 465698 HAS SOUPS 465698 WITH SCORE 466426.593
AT ITER 4805 NEW BEST:: SOT 3456150 SOS 728473 HAS SOPS 728473 HAS SOUS 465555 HAS SOUPS 465555 WITH SCORE 466283.473
AT ITER 4806 NEW BEST:: SOT 3455974 SOS 728285 HAS SOPS 728285 HAS SOUS 465508 HAS SOUPS 465508 WITH SCORE 466236.285
AT ITER 4847 NEW BEST:: SOT 3455818 SOS 729971 HAS SOPS 729971 HAS SOUS 465196 HAS SOUPS 465196 WITH SCORE 465925.971
AT ITER 4883 NEW BEST:: SOT 3455723 SOS 729781 HAS SOPS 729781 HAS SOUS 465196 HAS SOUPS 465196 WITH SCORE 465925.781
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-05b-CTLFireability-00 (AF( (AF( ( ((potential((tk(P490)>=1) & (tk(P1726)>=1)))) & (! ((potential((tk(P1612)>=1))))) )))))
PROPERTY: DLCround-PT-05b-CTLFireability-01 (EF( ((potential((tk(P1752)>=1))))))
PROPERTY: DLCround-PT-05b-CTLFireability-02 (AG( ( (AF( ((potential((tk(P1202)>=1)))))) | ((potential((tk(P312)>=1)))) )))
PROPERTY: DLCround-PT-05b-CTLFireability-03 ( (AU( (! ((potential((tk(P83)>=1))))) , ((potential((tk(P1023)>=1)))) )) & (! (! (! ((potential((tk(P490)>=1) & (tk(P1276)>=1))))))) )
PROPERTY: DLCround-PT-05b-CTLFireability-04 (! (AU( (AF( ((potential((tk(P565)>=1) & (tk(P1863)>=1)))))) , ((potential((tk(P786)>=1) & (tk(P1866)>=1)))) )))
PROPERTY: DLCround-PT-05b-CTLFireability-05 (EF( (AX( (AF( ((potential((tk(P331)>=1) & (tk(P1366)>=1))))))))))
PROPERTY: DLCround-PT-05b-CTLFireability-06 ( (! ( (EX( ((potential((tk(P569)>=1)))))) | (AF( ( ((potential((tk(P1927)>=1)))) & ((potential((tk(P765)>=1)))) ))) )) | (AG( (! ((potential((tk(P172)>=1))))))) )
PROPERTY: DLCround-PT-05b-CTLFireability-07 (EF( ((potential((tk(P805)>=1) & (tk(P1983)>=1))))))
PROPERTY: DLCround-PT-05b-CTLFireability-08 ( (! ( (EF( ( ((potential((tk(P1439)>=1)))) | ((potential((tk(P1802)>=1)))) ))) | (EX( ((potential((tk(P898)>=1)))))) )) | (! (AF( (! ((potential((tk(P760)>=1) & (tk(P1836)>=1)))))))) )
PROPERTY: DLCround-PT-05b-CTLFireability-09 (! (EF( (! (EF( ((potential((tk(P741)>=1) & (tk(P1816)>=1))))))))))
PROPERTY: DLCround-PT-05b-CTLFireability-10 (EU( ( (AF( ((potential((tk(P135)>=1)))))) | (! ((potential((tk(P1438)>=1))))) ) , ( ( ( ((potential((tk(P805)>=1) & (tk(P1773)>=1)))) & ((potential((tk(P971)>=1)))) ) | ( ((potential((tk(P405)>=1)))) & ((potential((tk(P773)>=1)))) ) ) | ( (! ((potential((tk(P666)>=1) & (tk(P1846)>=1))))) & ((potential((tk(P1299)>=1)))) ) ) ))
PROPERTY: DLCround-PT-05b-CTLFireability-11 (AG( (! ( (EX( ((potential((tk(P850)>=1) & (tk(P1856)>=1)))))) | ( (! ((potential((tk(P546)>=1) & (tk(P1776)>=1))))) & ( ((potential((tk(P981)>=1) & (tk(P1926)>=1)))) & ((potential((tk(P1388)>=1)))) ) ) ))))
PROPERTY: DLCround-PT-05b-CTLFireability-12 ( (AX( ((potential((tk(P1521)>=1)))))) | ( ( ((potential((tk(P760)>=1) & (tk(P1416)>=1)))) & (EF( ((potential((tk(P839)>=1) & (tk(P1876)>=1)))))) ) | ( (AF( ((potential((tk(P256)>=1) & (tk(P1433)>=1)))))) & (! (EX( ((potential((tk(P856)>=1) & (tk(P1886)>=1))))))) ) ) )
PROPERTY: DLCround-PT-05b-CTLFireability-13 (EF( (EG( ( ( ((potential((tk(P1540)>=1)))) & ((potential((tk(P639)>=1)))) ) & ( ((potential((tk(P546)>=1) & (tk(P1376)>=1)))) | ((potential((tk(P839)>=1) & (tk(P1476)>=1)))) ) )))))
PROPERTY: DLCround-PT-05b-CTLFireability-14 (AF( (EF( ((potential((tk(P751)>=1))))))))
PROPERTY: DLCround-PT-05b-CTLFireability-15 ( ( ( ( (EF( ((potential((tk(P305)>=1)))))) & ( (! ((potential((tk(P579)>=1) & (tk(P1756)>=1))))) & (! ((potential((tk(P1079)>=1) & (tk(P1966)>=1))))) ) ) | ( ( ( ((potential((tk(P1332)>=1)))) & ((potential((tk(P1397)>=1)))) ) & (! ((potential((tk(P651)>=1))))) ) | ((potential((tk(P953)>=1) & (tk(P1576)>=1)))) ) ) & (AU( ( ((potential((tk(P1839)>=1)))) | ((potential((tk(P964)>=1)))) ) , ( ((potential((tk(P1900)>=1)))) & ((potential((tk(P1871)>=1)))) ) )) ) | (AX( (AF( ( ((potential((tk(P362)>=1)))) | ((potential((tk(P839)>=1) & (tk(P1886)>=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-05b"
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-05b, 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-158902542300492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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