About the Execution of smart for DLCround-PT-13b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.340 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
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-158902542400620.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-13b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400620
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.4K Mar 30 21:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 21:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 11:34 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:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 07:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 07:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 01:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 01:33 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 2.1M 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-13b-CTLFireability-00
FORMULA_NAME DLCround-PT-13b-CTLFireability-01
FORMULA_NAME DLCround-PT-13b-CTLFireability-02
FORMULA_NAME DLCround-PT-13b-CTLFireability-03
FORMULA_NAME DLCround-PT-13b-CTLFireability-04
FORMULA_NAME DLCround-PT-13b-CTLFireability-05
FORMULA_NAME DLCround-PT-13b-CTLFireability-06
FORMULA_NAME DLCround-PT-13b-CTLFireability-07
FORMULA_NAME DLCround-PT-13b-CTLFireability-08
FORMULA_NAME DLCround-PT-13b-CTLFireability-09
FORMULA_NAME DLCround-PT-13b-CTLFireability-10
FORMULA_NAME DLCround-PT-13b-CTLFireability-11
FORMULA_NAME DLCround-PT-13b-CTLFireability-12
FORMULA_NAME DLCround-PT-13b-CTLFireability-13
FORMULA_NAME DLCround-PT-13b-CTLFireability-14
FORMULA_NAME DLCround-PT-13b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590869274324
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13b
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: 5343 places, 8727 transitions, 24849 arcs.
AT ITER 0 NEW BEST:: SOT 30665414 SOS 7539059 HAS SOPS 7539059 HAS SOUS 3929360 HAS SOUPS 3929360 WITH SCORE 3936899.059
AT ITER 6 NEW BEST:: SOT 30664737 SOS 7532963 HAS SOPS 7532963 HAS SOUS 3928005 HAS SOUPS 3928005 WITH SCORE 3935537.963
AT ITER 8 NEW BEST:: SOT 30661720 SOS 7516981 HAS SOPS 7516981 HAS SOUS 3924008 HAS SOUPS 3924008 WITH SCORE 3931524.981
AT ITER 37 NEW BEST:: SOT 30661457 SOS 7516455 HAS SOPS 7516455 HAS SOUS 3923080 HAS SOUPS 3923080 WITH SCORE 3930596.455
AT ITER 100 NEW BEST:: SOT 30661457 SOS 7513491 HAS SOPS 7513491 HAS SOUS 3923080 HAS SOUPS 3923080 WITH SCORE 3930593.491
AT ITER 106 NEW BEST:: SOT 30661405 SOS 7513387 HAS SOPS 7513387 HAS SOUS 3922976 HAS SOUPS 3922976 WITH SCORE 3930489.387
AT ITER 116 NEW BEST:: SOT 30660382 SOS 7512360 HAS SOPS 7512360 HAS SOUS 3921952 HAS SOUPS 3921952 WITH SCORE 3929464.36
AT ITER 132 NEW BEST:: SOT 30660382 SOS 7512261 HAS SOPS 7512261 HAS SOUS 3921952 HAS SOUPS 3921952 WITH SCORE 3929464.261
AT ITER 138 NEW BEST:: SOT 30659286 SOS 7511165 HAS SOPS 7511165 HAS SOUS 3920856 HAS SOUPS 3920856 WITH SCORE 3928367.165
AT ITER 141 NEW BEST:: SOT 30659201 SOS 7511080 HAS SOPS 7511080 HAS SOUS 3920771 HAS SOUPS 3920771 WITH SCORE 3928282.08
AT ITER 148 NEW BEST:: SOT 30659200 SOS 7511078 HAS SOPS 7511078 HAS SOUS 3920769 HAS SOUPS 3920769 WITH SCORE 3928280.078
AT ITER 152 NEW BEST:: SOT 30658981 SOS 7511294 HAS SOPS 7511294 HAS SOUS 3920549 HAS SOUPS 3920549 WITH SCORE 3928060.294
AT ITER 186 NEW BEST:: SOT 30658981 SOS 7511294 HAS SOPS 7511294 HAS SOUS 3920433 HAS SOUPS 3920433 WITH SCORE 3927944.294
AT ITER 190 NEW BEST:: SOT 30658873 SOS 7511078 HAS SOPS 7511078 HAS SOUS 3920324 HAS SOUPS 3920324 WITH SCORE 3927835.078
AT ITER 204 NEW BEST:: SOT 30659308 SOS 7509980 HAS SOPS 7509980 HAS SOUS 3920320 HAS SOUPS 3920320 WITH SCORE 3927829.98
AT ITER 218 NEW BEST:: SOT 30659308 SOS 7509901 HAS SOPS 7509901 HAS SOUS 3920241 HAS SOUPS 3920241 WITH SCORE 3927750.901
AT ITER 242 NEW BEST:: SOT 30659056 SOS 7509397 HAS SOPS 7509397 HAS SOUS 3919621 HAS SOUPS 3919621 WITH SCORE 3927130.397
AT ITER 261 NEW BEST:: SOT 30658029 SOS 7509017 HAS SOPS 7509017 HAS SOUS 3918594 HAS SOUPS 3918594 WITH SCORE 3926103.017
AT ITER 265 NEW BEST:: SOT 30657470 SOS 7506781 HAS SOPS 7506781 HAS SOUS 3918035 HAS SOUPS 3918035 WITH SCORE 3925541.781
AT ITER 271 NEW BEST:: SOT 30657469 SOS 7506779 HAS SOPS 7506779 HAS SOUS 3918033 HAS SOUPS 3918033 WITH SCORE 3925539.779
AT ITER 280 NEW BEST:: SOT 30657121 SOS 7506727 HAS SOPS 7506727 HAS SOUS 3917981 HAS SOUPS 3917981 WITH SCORE 3925487.727
AT ITER 302 NEW BEST:: SOT 30654419 SOS 7504025 HAS SOPS 7504025 HAS SOUS 3915275 HAS SOUPS 3915275 WITH SCORE 3922779.025
AT ITER 368 NEW BEST:: SOT 30654419 SOS 7505456 HAS SOPS 7505456 HAS SOUS 3915270 HAS SOUPS 3915270 WITH SCORE 3922775.456
AT ITER 387 NEW BEST:: SOT 30654292 SOS 7506335 HAS SOPS 7506335 HAS SOUS 3915015 HAS SOUPS 3915015 WITH SCORE 3922521.335
AT ITER 434 NEW BEST:: SOT 30654292 SOS 7506049 HAS SOPS 7506049 HAS SOUS 3914872 HAS SOUPS 3914872 WITH SCORE 3922378.049
AT ITER 444 NEW BEST:: SOT 30654239 SOS 7505890 HAS SOPS 7505890 HAS SOUS 3914766 HAS SOUPS 3914766 WITH SCORE 3922271.89
AT ITER 452 NEW BEST:: SOT 30654238 SOS 7505888 HAS SOPS 7505888 HAS SOUS 3914764 HAS SOUPS 3914764 WITH SCORE 3922269.888
AT ITER 456 NEW BEST:: SOT 30654744 SOS 7506900 HAS SOPS 7506900 HAS SOUS 3914574 HAS SOUPS 3914574 WITH SCORE 3922080.9
AT ITER 481 NEW BEST:: SOT 30653838 SOS 7506236 HAS SOPS 7506236 HAS SOUS 3913919 HAS SOUPS 3913919 WITH SCORE 3921425.236
AT ITER 483 NEW BEST:: SOT 30653610 SOS 7507822 HAS SOPS 7507822 HAS SOUS 3913462 HAS SOUPS 3913462 WITH SCORE 3920969.822
AT ITER 484 NEW BEST:: SOT 30653610 SOS 7508946 HAS SOPS 7508946 HAS SOUS 3913335 HAS SOUPS 3913335 WITH SCORE 3920843.946
AT ITER 488 NEW BEST:: SOT 30652907 SOS 7515423 HAS SOPS 7515423 HAS SOUS 3911928 HAS SOUPS 3911928 WITH SCORE 3919443.423
AT ITER 509 NEW BEST:: SOT 30652907 SOS 7514598 HAS SOPS 7514598 HAS SOUS 3911927 HAS SOUPS 3911927 WITH SCORE 3919441.598
AT ITER 527 NEW BEST:: SOT 30652560 SOS 7514439 HAS SOPS 7514439 HAS SOUS 3911598 HAS SOUPS 3911598 WITH SCORE 3919112.439
AT ITER 548 NEW BEST:: SOT 30652305 SOS 7513929 HAS SOPS 7513929 HAS SOUS 3911088 HAS SOUPS 3911088 WITH SCORE 3918601.929
AT ITER 554 NEW BEST:: SOT 30652269 SOS 7513959 HAS SOPS 7513959 HAS SOUS 3911050 HAS SOUPS 3911050 WITH SCORE 3918563.959
AT ITER 560 NEW BEST:: SOT 30652268 SOS 7515814 HAS SOPS 7515814 HAS SOUS 3911047 HAS SOUPS 3911047 WITH SCORE 3918562.814
AT ITER 580 NEW BEST:: SOT 30652268 SOS 7514833 HAS SOPS 7514833 HAS SOUS 3911046 HAS SOUPS 3911046 WITH SCORE 3918560.833
AT ITER 593 NEW BEST:: SOT 30651899 SOS 7514577 HAS SOPS 7514577 HAS SOUS 3910799 HAS SOUPS 3910799 WITH SCORE 3918313.577
AT ITER 596 NEW BEST:: SOT 30651416 SOS 7514094 HAS SOPS 7514094 HAS SOUS 3910316 HAS SOUPS 3910316 WITH SCORE 3917830.094
AT ITER 601 NEW BEST:: SOT 30651296 SOS 7514093 HAS SOPS 7514093 HAS SOUS 3910315 HAS SOUPS 3910315 WITH SCORE 3917829.093
AT ITER 618 NEW BEST:: SOT 30651296 SOS 7513322 HAS SOPS 7513322 HAS SOUS 3910058 HAS SOUPS 3910058 WITH SCORE 3917571.322
AT ITER 619 NEW BEST:: SOT 30651186 SOS 7513212 HAS SOPS 7513212 HAS SOUS 3909948 HAS SOUPS 3909948 WITH SCORE 3917461.212
AT ITER 624 NEW BEST:: SOT 30651407 SOS 7513654 HAS SOPS 7513654 HAS SOUS 3908518 HAS SOUPS 3908518 WITH SCORE 3916031.654
AT ITER 631 NEW BEST:: SOT 30651407 SOS 7512799 HAS SOPS 7512799 HAS SOUS 3908233 HAS SOUPS 3908233 WITH SCORE 3915745.799
AT ITER 643 NEW BEST:: SOT 30650500 SOS 7512165 HAS SOPS 7512165 HAS SOUS 3907462 HAS SOUPS 3907462 WITH SCORE 3914974.165
AT ITER 649 NEW BEST:: SOT 30650102 SOS 7511369 HAS SOPS 7511369 HAS SOUS 3906243 HAS SOUPS 3906243 WITH SCORE 3913754.369
AT ITER 652 NEW BEST:: SOT 30650102 SOS 7511212 HAS SOPS 7511212 HAS SOUS 3906086 HAS SOUPS 3906086 WITH SCORE 3913597.212
AT ITER 680 NEW BEST:: SOT 30649730 SOS 7510468 HAS SOPS 7510468 HAS SOUS 3905342 HAS SOUPS 3905342 WITH SCORE 3912852.468
AT ITER 681 NEW BEST:: SOT 30649730 SOS 7508917 HAS SOPS 7508917 HAS SOUS 3905342 HAS SOUPS 3905342 WITH SCORE 3912850.917
AT ITER 697 NEW BEST:: SOT 30650042 SOS 7509541 HAS SOPS 7509541 HAS SOUS 3905253 HAS SOUPS 3905253 WITH SCORE 3912762.541
AT ITER 733 NEW BEST:: SOT 30649549 SOS 7508815 HAS SOPS 7508815 HAS SOUS 3904500 HAS SOUPS 3904500 WITH SCORE 3912008.815
AT ITER 754 NEW BEST:: SOT 30648102 SOS 7508132 HAS SOPS 7508132 HAS SOUS 3903790 HAS SOUPS 3903790 WITH SCORE 3911298.132
AT ITER 755 NEW BEST:: SOT 30645229 SOS 7505259 HAS SOPS 7505259 HAS SOUS 3900917 HAS SOUPS 3900917 WITH SCORE 3908422.259
AT ITER 772 NEW BEST:: SOT 30645009 SOS 7504599 HAS SOPS 7504599 HAS SOUS 3900697 HAS SOUPS 3900697 WITH SCORE 3908201.599
AT ITER 782 NEW BEST:: SOT 30642808 SOS 7503200 HAS SOPS 7503200 HAS SOUS 3898297 HAS SOUPS 3898297 WITH SCORE 3905800.2
AT ITER 785 NEW BEST:: SOT 30642808 SOS 7503116 HAS SOPS 7503116 HAS SOUS 3898213 HAS SOUPS 3898213 WITH SCORE 3905716.116
AT ITER 792 NEW BEST:: SOT 30642808 SOS 7504921 HAS SOPS 7504921 HAS SOUS 3898209 HAS SOUPS 3898209 WITH SCORE 3905713.921
AT ITER 808 NEW BEST:: SOT 30642808 SOS 7504517 HAS SOPS 7504517 HAS SOUS 3898209 HAS SOUPS 3898209 WITH SCORE 3905713.517
AT ITER 809 NEW BEST:: SOT 30642711 SOS 7504711 HAS SOPS 7504711 HAS SOUS 3898112 HAS SOUPS 3898112 WITH SCORE 3905616.711
AT ITER 818 NEW BEST:: SOT 30642743 SOS 7504313 HAS SOPS 7504313 HAS SOUS 3897730 HAS SOUPS 3897730 WITH SCORE 3905234.313
AT ITER 843 NEW BEST:: SOT 30641963 SOS 7504310 HAS SOPS 7504310 HAS SOUS 3896169 HAS SOUPS 3896169 WITH SCORE 3903673.31
AT ITER 852 NEW BEST:: SOT 30641924 SOS 7504232 HAS SOPS 7504232 HAS SOUS 3896130 HAS SOUPS 3896130 WITH SCORE 3903634.232
AT ITER 894 NEW BEST:: SOT 30641644 SOS 7504016 HAS SOPS 7504016 HAS SOUS 3895850 HAS SOUPS 3895850 WITH SCORE 3903354.016
AT ITER 923 NEW BEST:: SOT 30640777 SOS 7504883 HAS SOPS 7504883 HAS SOUS 3894795 HAS SOUPS 3894795 WITH SCORE 3902299.883
AT ITER 927 NEW BEST:: SOT 30640777 SOS 7503266 HAS SOPS 7503266 HAS SOUS 3894794 HAS SOUPS 3894794 WITH SCORE 3902297.266
AT ITER 936 NEW BEST:: SOT 30640230 SOS 7504356 HAS SOPS 7504356 HAS SOUS 3894246 HAS SOUPS 3894246 WITH SCORE 3901750.356
AT ITER 939 NEW BEST:: SOT 30640161 SOS 7504829 HAS SOPS 7504829 HAS SOUS 3894107 HAS SOUPS 3894107 WITH SCORE 3901611.829
AT ITER 944 NEW BEST:: SOT 30640161 SOS 7504829 HAS SOPS 7504829 HAS SOUS 3893558 HAS SOUPS 3893558 WITH SCORE 3901062.829
AT ITER 955 NEW BEST:: SOT 30639934 SOS 7504826 HAS SOPS 7504826 HAS SOUS 3893557 HAS SOUPS 3893557 WITH SCORE 3901061.826
AT ITER 958 NEW BEST:: SOT 30639934 SOS 7505266 HAS SOPS 7505266 HAS SOUS 3893555 HAS SOUPS 3893555 WITH SCORE 3901060.266
AT ITER 974 NEW BEST:: SOT 30639734 SOS 7505662 HAS SOPS 7505662 HAS SOUS 3893354 HAS SOUPS 3893354 WITH SCORE 3900859.662
AT ITER 988 NEW BEST:: SOT 30640022 SOS 7505374 HAS SOPS 7505374 HAS SOUS 3893354 HAS SOUPS 3893354 WITH SCORE 3900859.374
AT ITER 1006 NEW BEST:: SOT 30639655 SOS 7502434 HAS SOPS 7502434 HAS SOUS 3892619 HAS SOUPS 3892619 WITH SCORE 3900121.434
AT ITER 1009 NEW BEST:: SOT 30639506 SOS 7502136 HAS SOPS 7502136 HAS SOUS 3892321 HAS SOUPS 3892321 WITH SCORE 3899823.136
AT ITER 1021 NEW BEST:: SOT 30638744 SOS 7502136 HAS SOPS 7502136 HAS SOUS 3890949 HAS SOUPS 3890949 WITH SCORE 3898451.136
AT ITER 1022 NEW BEST:: SOT 30638268 SOS 7501184 HAS SOPS 7501184 HAS SOUS 3889497 HAS SOUPS 3889497 WITH SCORE 3896998.184
AT ITER 1030 NEW BEST:: SOT 30637927 SOS 7501864 HAS SOPS 7501864 HAS SOUS 3889156 HAS SOUPS 3889156 WITH SCORE 3896657.864
AT ITER 1057 NEW BEST:: SOT 30637327 SOS 7501264 HAS SOPS 7501264 HAS SOUS 3888556 HAS SOUPS 3888556 WITH SCORE 3896057.264
AT ITER 1062 NEW BEST:: SOT 30636230 SOS 7499070 HAS SOPS 7499070 HAS SOUS 3886111 HAS SOUPS 3886111 WITH SCORE 3893610.07
AT ITER 1097 NEW BEST:: SOT 30635842 SOS 7499836 HAS SOPS 7499836 HAS SOUS 3886110 HAS SOUPS 3886110 WITH SCORE 3893609.836
AT ITER 1117 NEW BEST:: SOT 30635771 SOS 7499694 HAS SOPS 7499694 HAS SOUS 3885968 HAS SOUPS 3885968 WITH SCORE 3893467.694
AT ITER 1118 NEW BEST:: SOT 30635771 SOS 7501232 HAS SOPS 7501232 HAS SOUS 3885966 HAS SOUPS 3885966 WITH SCORE 3893467.232
AT ITER 1127 NEW BEST:: SOT 30635402 SOS 7502980 HAS SOPS 7502980 HAS SOUS 3885860 HAS SOUPS 3885860 WITH SCORE 3893362.98
AT ITER 1132 NEW BEST:: SOT 30635402 SOS 7502980 HAS SOPS 7502980 HAS SOUS 3885859 HAS SOUPS 3885859 WITH SCORE 3893361.98
AT ITER 1161 NEW BEST:: SOT 30635402 SOS 7503224 HAS SOPS 7503224 HAS SOUS 3885470 HAS SOUPS 3885470 WITH SCORE 3892973.224
AT ITER 1169 NEW BEST:: SOT 30635189 SOS 7502798 HAS SOPS 7502798 HAS SOUS 3885257 HAS SOUPS 3885257 WITH SCORE 3892759.798
AT ITER 1206 NEW BEST:: SOT 30634279 SOS 7502805 HAS SOPS 7502805 HAS SOUS 3885250 HAS SOUPS 3885250 WITH SCORE 3892752.805
AT ITER 1240 NEW BEST:: SOT 30633747 SOS 7501741 HAS SOPS 7501741 HAS SOUS 3883199 HAS SOUPS 3883199 WITH SCORE 3890700.741
AT ITER 1242 NEW BEST:: SOT 30633274 SOS 7501268 HAS SOPS 7501268 HAS SOUS 3882726 HAS SOUPS 3882726 WITH SCORE 3890227.268
AT ITER 1285 NEW BEST:: SOT 30633023 SOS 7501516 HAS SOPS 7501516 HAS SOUS 3882474 HAS SOUPS 3882474 WITH SCORE 3889975.516
AT ITER 1296 NEW BEST:: SOT 30632242 SOS 7501526 HAS SOPS 7501526 HAS SOUS 3882217 HAS SOUPS 3882217 WITH SCORE 3889718.526
AT ITER 1312 NEW BEST:: SOT 30632591 SOS 7502224 HAS SOPS 7502224 HAS SOUS 3882094 HAS SOUPS 3882094 WITH SCORE 3889596.224
AT ITER 1339 NEW BEST:: SOT 30632240 SOS 7502224 HAS SOPS 7502224 HAS SOUS 3881392 HAS SOUPS 3881392 WITH SCORE 3888894.224
AT ITER 1353 NEW BEST:: SOT 30631219 SOS 7500964 HAS SOPS 7500964 HAS SOUS 3881266 HAS SOUPS 3881266 WITH SCORE 3888766.964
AT ITER 1361 NEW BEST:: SOT 30630966 SOS 7500457 HAS SOPS 7500457 HAS SOUS 3880759 HAS SOUPS 3880759 WITH SCORE 3888259.457
AT ITER 1373 NEW BEST:: SOT 30630531 SOS 7498282 HAS SOPS 7498282 HAS SOUS 3879889 HAS SOUPS 3879889 WITH SCORE 3887387.282
AT ITER 1387 NEW BEST:: SOT 30630602 SOS 7498424 HAS SOPS 7498424 HAS SOUS 3878974 HAS SOUPS 3878974 WITH SCORE 3886472.424
AT ITER 1389 NEW BEST:: SOT 30629928 SOS 7499098 HAS SOPS 7499098 HAS SOUS 3878300 HAS SOUPS 3878300 WITH SCORE 3885799.098
AT ITER 1403 NEW BEST:: SOT 30628280 SOS 7497450 HAS SOPS 7497450 HAS SOUS 3876652 HAS SOUPS 3876652 WITH SCORE 3884149.45
AT ITER 1428 NEW BEST:: SOT 30625909 SOS 7493982 HAS SOPS 7493982 HAS SOUS 3874281 HAS SOUPS 3874281 WITH SCORE 3881774.982
AT ITER 1461 NEW BEST:: SOT 30624875 SOS 7492948 HAS SOPS 7492948 HAS SOUS 3874281 HAS SOUPS 3874281 WITH SCORE 3881773.948
AT ITER 1553 NEW BEST:: SOT 30624636 SOS 7491992 HAS SOPS 7491992 HAS SOUS 3873803 HAS SOUPS 3873803 WITH SCORE 3881294.992
AT ITER 1558 NEW BEST:: SOT 30624635 SOS 7493867 HAS SOPS 7493867 HAS SOUS 3873800 HAS SOUPS 3873800 WITH SCORE 3881293.867
AT ITER 1572 NEW BEST:: SOT 30624107 SOS 7494154 HAS SOPS 7494154 HAS SOUS 3873780 HAS SOUPS 3873780 WITH SCORE 3881274.154
AT ITER 1574 NEW BEST:: SOT 30623258 SOS 7494144 HAS SOPS 7494144 HAS SOUS 3872930 HAS SOUPS 3872930 WITH SCORE 3880424.144
AT ITER 1591 NEW BEST:: SOT 30623226 SOS 7494390 HAS SOPS 7494390 HAS SOUS 3872929 HAS SOUPS 3872929 WITH SCORE 3880423.39
AT ITER 1594 NEW BEST:: SOT 30623539 SOS 7492621 HAS SOPS 7492621 HAS SOUS 3872599 HAS SOUPS 3872599 WITH SCORE 3880091.621
AT ITER 1600 NEW BEST:: SOT 30621937 SOS 7487038 HAS SOPS 7487038 HAS SOUS 3870294 HAS SOUPS 3870294 WITH SCORE 3877781.038
AT ITER 1611 NEW BEST:: SOT 30622185 SOS 7487534 HAS SOPS 7487534 HAS SOUS 3869000 HAS SOUPS 3869000 WITH SCORE 3876487.534
AT ITER 1623 NEW BEST:: SOT 30620892 SOS 7486231 HAS SOPS 7486231 HAS SOUS 3867706 HAS SOUPS 3867706 WITH SCORE 3875192.231
AT ITER 1654 NEW BEST:: SOT 30620618 SOS 7485683 HAS SOPS 7485683 HAS SOUS 3867295 HAS SOUPS 3867295 WITH SCORE 3874780.683
AT ITER 1717 NEW BEST:: SOT 30620294 SOS 7485359 HAS SOPS 7485359 HAS SOUS 3866647 HAS SOUPS 3866647 WITH SCORE 3874132.359
AT ITER 1718 NEW BEST:: SOT 30620049 SOS 7485604 HAS SOPS 7485604 HAS SOUS 3866402 HAS SOUPS 3866402 WITH SCORE 3873887.604
AT ITER 1719 NEW BEST:: SOT 30620049 SOS 7475732 HAS SOPS 7475732 HAS SOUS 3866403 HAS SOUPS 3866403 WITH SCORE 3873878.732
AT ITER 1733 NEW BEST:: SOT 30619518 SOS 7475728 HAS SOPS 7475728 HAS SOUS 3866402 HAS SOUPS 3866402 WITH SCORE 3873877.728
AT ITER 1738 NEW BEST:: SOT 30618588 SOS 7473868 HAS SOPS 7473868 HAS SOUS 3864273 HAS SOUPS 3864273 WITH SCORE 3871746.868
AT ITER 1755 NEW BEST:: SOT 30618561 SOS 7473841 HAS SOPS 7473841 HAS SOUS 3864246 HAS SOUPS 3864246 WITH SCORE 3871719.841
AT ITER 1756 NEW BEST:: SOT 30618816 SOS 7474351 HAS SOPS 7474351 HAS SOUS 3862885 HAS SOUPS 3862885 WITH SCORE 3870359.351
AT ITER 1762 NEW BEST:: SOT 30618552 SOS 7473897 HAS SOPS 7473897 HAS SOUS 3862431 HAS SOUPS 3862431 WITH SCORE 3869904.897
AT ITER 1768 NEW BEST:: SOT 30618087 SOS 7472967 HAS SOPS 7472967 HAS SOUS 3861966 HAS SOUPS 3861966 WITH SCORE 3869438.967
AT ITER 1795 NEW BEST:: SOT 30618087 SOS 7472316 HAS SOPS 7472316 HAS SOUS 3861749 HAS SOUPS 3861749 WITH SCORE 3869221.316
AT ITER 1797 NEW BEST:: SOT 30617021 SOS 7471250 HAS SOPS 7471250 HAS SOUS 3860683 HAS SOUPS 3860683 WITH SCORE 3868154.25
AT ITER 1807 NEW BEST:: SOT 30617565 SOS 7471174 HAS SOPS 7471174 HAS SOUS 3860645 HAS SOUPS 3860645 WITH SCORE 3868116.174
AT ITER 1861 NEW BEST:: SOT 30617202 SOS 7471886 HAS SOPS 7471886 HAS SOUS 3860280 HAS SOUPS 3860280 WITH SCORE 3867751.886
AT ITER 1868 NEW BEST:: SOT 30616711 SOS 7470904 HAS SOPS 7470904 HAS SOUS 3858477 HAS SOUPS 3858477 WITH SCORE 3865947.904
AT ITER 1871 NEW BEST:: SOT 30616711 SOS 7472639 HAS SOPS 7472639 HAS SOUS 3857607 HAS SOUPS 3857607 WITH SCORE 3865079.639
AT ITER 1872 NEW BEST:: SOT 30616711 SOS 7472629 HAS SOPS 7472629 HAS SOUS 3857606 HAS SOUPS 3857606 WITH SCORE 3865078.629
AT ITER 1925 NEW BEST:: SOT 30616579 SOS 7472541 HAS SOPS 7472541 HAS SOUS 3857508 HAS SOUPS 3857508 WITH SCORE 3864980.541
AT ITER 1948 NEW BEST:: SOT 30615882 SOS 7473017 HAS SOPS 7473017 HAS SOUS 3857485 HAS SOUPS 3857485 WITH SCORE 3864958.017
AT ITER 1962 NEW BEST:: SOT 30614619 SOS 7472311 HAS SOPS 7472311 HAS SOUS 3856221 HAS SOUPS 3856221 WITH SCORE 3863693.311
AT ITER 1990 NEW BEST:: SOT 30615626 SOS 7476804 HAS SOPS 7476804 HAS SOUS 3856206 HAS SOUPS 3856206 WITH SCORE 3863682.804
AT ITER 2015 NEW BEST:: SOT 30614827 SOS 7476392 HAS SOPS 7476392 HAS SOUS 3855793 HAS SOUPS 3855793 WITH SCORE 3863269.392
AT ITER 2017 NEW BEST:: SOT 30614207 SOS 7477009 HAS SOPS 7477009 HAS SOUS 3855172 HAS SOUPS 3855172 WITH SCORE 3862649.009
AT ITER 2035 NEW BEST:: SOT 30614283 SOS 7476962 HAS SOPS 7476962 HAS SOUS 3855125 HAS SOUPS 3855125 WITH SCORE 3862601.962
AT ITER 2043 NEW BEST:: SOT 30613475 SOS 7474942 HAS SOPS 7474942 HAS SOUS 3853913 HAS SOUPS 3853913 WITH SCORE 3861387.942
AT ITER 2047 NEW BEST:: SOT 30613145 SOS 7474777 HAS SOPS 7474777 HAS SOUS 3853748 HAS SOUPS 3853748 WITH SCORE 3861222.777
AT ITER 2085 NEW BEST:: SOT 30613145 SOS 7473673 HAS SOPS 7473673 HAS SOUS 3853380 HAS SOUPS 3853380 WITH SCORE 3860853.673
AT ITER 2087 NEW BEST:: SOT 30613145 SOS 7473670 HAS SOPS 7473670 HAS SOUS 3853379 HAS SOUPS 3853379 WITH SCORE 3860852.67
AT ITER 2091 NEW BEST:: SOT 30613145 SOS 7473488 HAS SOPS 7473488 HAS SOUS 3853197 HAS SOUPS 3853197 WITH SCORE 3860670.488
AT ITER 2100 NEW BEST:: SOT 30613145 SOS 7475108 HAS SOPS 7475108 HAS SOUS 3853195 HAS SOUPS 3853195 WITH SCORE 3860670.108
AT ITER 2105 NEW BEST:: SOT 30613145 SOS 7473884 HAS SOPS 7473884 HAS SOUS 3853194 HAS SOUPS 3853194 WITH SCORE 3860667.884
AT ITER 2125 NEW BEST:: SOT 30612285 SOS 7479904 HAS SOPS 7479904 HAS SOUS 3852334 HAS SOUPS 3852334 WITH SCORE 3859813.904
AT ITER 2136 NEW BEST:: SOT 30612165 SOS 7479664 HAS SOPS 7479664 HAS SOUS 3852213 HAS SOUPS 3852213 WITH SCORE 3859692.664
AT ITER 2138 NEW BEST:: SOT 30612165 SOS 7479664 HAS SOPS 7479664 HAS SOUS 3852212 HAS SOUPS 3852212 WITH SCORE 3859691.664
AT ITER 2142 NEW BEST:: SOT 30611932 SOS 7479664 HAS SOPS 7479664 HAS SOUS 3851979 HAS SOUPS 3851979 WITH SCORE 3859458.664
AT ITER 2165 NEW BEST:: SOT 30611931 SOS 7479662 HAS SOPS 7479662 HAS SOUS 3851977 HAS SOUPS 3851977 WITH SCORE 3859456.662
AT ITER 2196 NEW BEST:: SOT 30611913 SOS 7479626 HAS SOPS 7479626 HAS SOUS 3851941 HAS SOUPS 3851941 WITH SCORE 3859420.626
AT ITER 2199 NEW BEST:: SOT 30611209 SOS 7478218 HAS SOPS 7478218 HAS SOUS 3851254 HAS SOUPS 3851254 WITH SCORE 3858732.218
AT ITER 2216 NEW BEST:: SOT 30611149 SOS 7478188 HAS SOPS 7478188 HAS SOUS 3851224 HAS SOUPS 3851224 WITH SCORE 3858702.188
AT ITER 2244 NEW BEST:: SOT 30611149 SOS 7478895 HAS SOPS 7478895 HAS SOUS 3851222 HAS SOUPS 3851222 WITH SCORE 3858700.895
AT ITER 2304 NEW BEST:: SOT 30610890 SOS 7478377 HAS SOPS 7478377 HAS SOUS 3850666 HAS SOUPS 3850666 WITH SCORE 3858144.377
AT ITER 2309 NEW BEST:: SOT 30610494 SOS 7477585 HAS SOPS 7477585 HAS SOUS 3849874 HAS SOUPS 3849874 WITH SCORE 3857351.585
AT ITER 2318 NEW BEST:: SOT 30607104 SOS 7474195 HAS SOPS 7474195 HAS SOUS 3846484 HAS SOUPS 3846484 WITH SCORE 3853958.195
AT ITER 2339 NEW BEST:: SOT 30606769 SOS 7472675 HAS SOPS 7472675 HAS SOUS 3846035 HAS SOUPS 3846035 WITH SCORE 3853507.675
AT ITER 2354 NEW BEST:: SOT 30606769 SOS 7474198 HAS SOPS 7474198 HAS SOUS 3846033 HAS SOUPS 3846033 WITH SCORE 3853507.198
AT ITER 2367 NEW BEST:: SOT 30606757 SOS 7474174 HAS SOPS 7474174 HAS SOUS 3846009 HAS SOUPS 3846009 WITH SCORE 3853483.174
AT ITER 2372 NEW BEST:: SOT 30606635 SOS 7473930 HAS SOPS 7473930 HAS SOUS 3845493 HAS SOUPS 3845493 WITH SCORE 3852966.93
AT ITER 2394 NEW BEST:: SOT 30606125 SOS 7475122 HAS SOPS 7475122 HAS SOUS 3844709 HAS SOUPS 3844709 WITH SCORE 3852184.122
AT ITER 2404 NEW BEST:: SOT 30605593 SOS 7474058 HAS SOPS 7474058 HAS SOUS 3842855 HAS SOUPS 3842855 WITH SCORE 3850329.058
AT ITER 2419 NEW BEST:: SOT 30606235 SOS 7480992 HAS SOPS 7480992 HAS SOUS 3842776 HAS SOUPS 3842776 WITH SCORE 3850256.992
AT ITER 2425 NEW BEST:: SOT 30606109 SOS 7480866 HAS SOPS 7480866 HAS SOUS 3842650 HAS SOUPS 3842650 WITH SCORE 3850130.866
AT ITER 2429 NEW BEST:: SOT 30605823 SOS 7480688 HAS SOPS 7480688 HAS SOUS 3842364 HAS SOUPS 3842364 WITH SCORE 3849844.688
AT ITER 2443 NEW BEST:: SOT 30605361 SOS 7481147 HAS SOPS 7481147 HAS SOUS 3841901 HAS SOUPS 3841901 WITH SCORE 3849382.147
AT ITER 2448 NEW BEST:: SOT 30605532 SOS 7480991 HAS SOPS 7480991 HAS SOUS 3841745 HAS SOUPS 3841745 WITH SCORE 3849225.991
AT ITER 2472 NEW BEST:: SOT 30604809 SOS 7480981 HAS SOPS 7480981 HAS SOUS 3841554 HAS SOUPS 3841554 WITH SCORE 3849034.981
AT ITER 2483 NEW BEST:: SOT 30604567 SOS 7480906 HAS SOPS 7480906 HAS SOUS 3841411 HAS SOUPS 3841411 WITH SCORE 3848891.906
AT ITER 2485 NEW BEST:: SOT 30604300 SOS 7480372 HAS SOPS 7480372 HAS SOUS 3840876 HAS SOUPS 3840876 WITH SCORE 3848356.372
AT ITER 2494 NEW BEST:: SOT 30604208 SOS 7481088 HAS SOPS 7481088 HAS SOUS 3840782 HAS SOUPS 3840782 WITH SCORE 3848263.088
AT ITER 2495 NEW BEST:: SOT 30604298 SOS 7481268 HAS SOPS 7481268 HAS SOUS 3840673 HAS SOUPS 3840673 WITH SCORE 3848154.268
AT ITER 2518 NEW BEST:: SOT 30604473 SOS 7479260 HAS SOPS 7479260 HAS SOUS 3840149 HAS SOUPS 3840149 WITH SCORE 3847628.26
AT ITER 2523 NEW BEST:: SOT 30603927 SOS 7476530 HAS SOPS 7476530 HAS SOUS 3839603 HAS SOUPS 3839603 WITH SCORE 3847079.53
AT ITER 2538 NEW BEST:: SOT 30603764 SOS 7476204 HAS SOPS 7476204 HAS SOUS 3839440 HAS SOUPS 3839440 WITH SCORE 3846916.204
AT ITER 2572 NEW BEST:: SOT 30602880 SOS 7474440 HAS SOPS 7474440 HAS SOUS 3838336 HAS SOUPS 3838336 WITH SCORE 3845810.44
AT ITER 2606 NEW BEST:: SOT 30602669 SOS 7473754 HAS SOPS 7473754 HAS SOUS 3837861 HAS SOUPS 3837861 WITH SCORE 3845334.754
AT ITER 2637 NEW BEST:: SOT 30602559 SOS 7473644 HAS SOPS 7473644 HAS SOUS 3837751 HAS SOUPS 3837751 WITH SCORE 3845224.644
AT ITER 2649 NEW BEST:: SOT 30602559 SOS 7473408 HAS SOPS 7473408 HAS SOUS 3837633 HAS SOUPS 3837633 WITH SCORE 3845106.408
AT ITER 2665 NEW BEST:: SOT 30602121 SOS 7476474 HAS SOPS 7476474 HAS SOUS 3837195 HAS SOUPS 3837195 WITH SCORE 3844671.474
AT ITER 2671 NEW BEST:: SOT 30601857 SOS 7475946 HAS SOPS 7475946 HAS SOUS 3835775 HAS SOUPS 3835775 WITH SCORE 3843250.946
AT ITER 2705 NEW BEST:: SOT 30601857 SOS 7481203 HAS SOPS 7481203 HAS SOUS 3835659 HAS SOUPS 3835659 WITH SCORE 3843140.203
AT ITER 2743 NEW BEST:: SOT 30601258 SOS 7480617 HAS SOPS 7480617 HAS SOUS 3835060 HAS SOUPS 3835060 WITH SCORE 3842540.617
AT ITER 2766 NEW BEST:: SOT 30601258 SOS 7480571 HAS SOPS 7480571 HAS SOUS 3835014 HAS SOUPS 3835014 WITH SCORE 3842494.571
AT ITER 2785 NEW BEST:: SOT 30600759 SOS 7481070 HAS SOPS 7481070 HAS SOUS 3834515 HAS SOUPS 3834515 WITH SCORE 3841996.07
AT ITER 2803 NEW BEST:: SOT 30599740 SOS 7482341 HAS SOPS 7482341 HAS SOUS 3833496 HAS SOUPS 3833496 WITH SCORE 3840978.341
AT ITER 2807 NEW BEST:: SOT 30598632 SOS 7481223 HAS SOPS 7481223 HAS SOUS 3832387 HAS SOUPS 3832387 WITH SCORE 3839868.223
AT ITER 2809 NEW BEST:: SOT 30598632 SOS 7479918 HAS SOPS 7479918 HAS SOUS 3832386 HAS SOUPS 3832386 WITH SCORE 3839865.918
AT ITER 2827 NEW BEST:: SOT 30598057 SOS 7483933 HAS SOPS 7483933 HAS SOUS 3831235 HAS SOUPS 3831235 WITH SCORE 3838718.933
AT ITER 2828 NEW BEST:: SOT 30596845 SOS 7481509 HAS SOPS 7481509 HAS SOUS 3828811 HAS SOUPS 3828811 WITH SCORE 3836292.509
AT ITER 2841 NEW BEST:: SOT 30596556 SOS 7483821 HAS SOPS 7483821 HAS SOUS 3828706 HAS SOUPS 3828706 WITH SCORE 3836189.821
AT ITER 2856 NEW BEST:: SOT 30596376 SOS 7483461 HAS SOPS 7483461 HAS SOUS 3828346 HAS SOUPS 3828346 WITH SCORE 3835829.461
AT ITER 2857 NEW BEST:: SOT 30596000 SOS 7483085 HAS SOPS 7483085 HAS SOUS 3827970 HAS SOUPS 3827970 WITH SCORE 3835453.085
AT ITER 2864 NEW BEST:: SOT 30595555 SOS 7483081 HAS SOPS 7483081 HAS SOUS 3827969 HAS SOUPS 3827969 WITH SCORE 3835452.081
AT ITER 2898 NEW BEST:: SOT 30595438 SOS 7482523 HAS SOPS 7482523 HAS SOUS 3827852 HAS SOUPS 3827852 WITH SCORE 3835334.523
AT ITER 2909 NEW BEST:: SOT 30595438 SOS 7482523 HAS SOPS 7482523 HAS SOUS 3827660 HAS SOUPS 3827660 WITH SCORE 3835142.523
AT ITER 2924 NEW BEST:: SOT 30595438 SOS 7483941 HAS SOPS 7483941 HAS SOUS 3827185 HAS SOUPS 3827185 WITH SCORE 3834668.941
AT ITER 2936 NEW BEST:: SOT 30595313 SOS 7484797 HAS SOPS 7484797 HAS SOUS 3827059 HAS SOUPS 3827059 WITH SCORE 3834543.797
AT ITER 2937 NEW BEST:: SOT 30595313 SOS 7485766 HAS SOPS 7485766 HAS SOUS 3827058 HAS SOUPS 3827058 WITH SCORE 3834543.766
AT ITER 2940 NEW BEST:: SOT 30595313 SOS 7485766 HAS SOPS 7485766 HAS SOUS 3827057 HAS SOUPS 3827057 WITH SCORE 3834542.766
AT ITER 2963 NEW BEST:: SOT 30594905 SOS 7484134 HAS SOPS 7484134 HAS SOUS 3826649 HAS SOUPS 3826649 WITH SCORE 3834133.134
AT ITER 3017 NEW BEST:: SOT 30594964 SOS 7484169 HAS SOPS 7484169 HAS SOUS 3826625 HAS SOUPS 3826625 WITH SCORE 3834109.169
AT ITER 3024 NEW BEST:: SOT 30591514 SOS 7480593 HAS SOPS 7480593 HAS SOUS 3823049 HAS SOUPS 3823049 WITH SCORE 3830529.593
AT ITER 3038 NEW BEST:: SOT 30589507 SOS 7478401 HAS SOPS 7478401 HAS SOUS 3819985 HAS SOUPS 3819985 WITH SCORE 3827463.401
AT ITER 3043 NEW BEST:: SOT 30589507 SOS 7478071 HAS SOPS 7478071 HAS SOUS 3819985 HAS SOUPS 3819985 WITH SCORE 3827463.071
AT ITER 3052 NEW BEST:: SOT 30588653 SOS 7477263 HAS SOPS 7477263 HAS SOUS 3819177 HAS SOUPS 3819177 WITH SCORE 3826654.263
AT ITER 3061 NEW BEST:: SOT 30588758 SOS 7477189 HAS SOPS 7477189 HAS SOUS 3819103 HAS SOUPS 3819103 WITH SCORE 3826580.189
AT ITER 3074 NEW BEST:: SOT 30588540 SOS 7476753 HAS SOPS 7476753 HAS SOUS 3818667 HAS SOUPS 3818667 WITH SCORE 3826143.753
AT ITER 3077 NEW BEST:: SOT 30587739 SOS 7476367 HAS SOPS 7476367 HAS SOUS 3818280 HAS SOUPS 3818280 WITH SCORE 3825756.367
AT ITER 3096 NEW BEST:: SOT 30587739 SOS 7475065 HAS SOPS 7475065 HAS SOUS 3817846 HAS SOUPS 3817846 WITH SCORE 3825321.065
AT ITER 3137 NEW BEST:: SOT 30587291 SOS 7472699 HAS SOPS 7472699 HAS SOUS 3816366 HAS SOUPS 3816366 WITH SCORE 3823838.699
AT ITER 3157 NEW BEST:: SOT 30587291 SOS 7472081 HAS SOPS 7472081 HAS SOUS 3815747 HAS SOUPS 3815747 WITH SCORE 3823219.081
AT ITER 3180 NEW BEST:: SOT 30587240 SOS 7471979 HAS SOPS 7471979 HAS SOUS 3815645 HAS SOUPS 3815645 WITH SCORE 3823116.979
AT ITER 3196 NEW BEST:: SOT 30587240 SOS 7471979 HAS SOPS 7471979 HAS SOUS 3815440 HAS SOUPS 3815440 WITH SCORE 3822911.979
AT ITER 3206 NEW BEST:: SOT 30585232 SOS 7468967 HAS SOPS 7468967 HAS SOUS 3812428 HAS SOUPS 3812428 WITH SCORE 3819896.967
AT ITER 3214 NEW BEST:: SOT 30585232 SOS 7468856 HAS SOPS 7468856 HAS SOUS 3812317 HAS SOUPS 3812317 WITH SCORE 3819785.856
AT ITER 3218 NEW BEST:: SOT 30585232 SOS 7468856 HAS SOPS 7468856 HAS SOUS 3812316 HAS SOUPS 3812316 WITH SCORE 3819784.856
AT ITER 3255 NEW BEST:: SOT 30585232 SOS 7472858 HAS SOPS 7472858 HAS SOUS 3812106 HAS SOUPS 3812106 WITH SCORE 3819578.858
AT ITER 3261 NEW BEST:: SOT 30583950 SOS 7472812 HAS SOPS 7472812 HAS SOUS 3812062 HAS SOUPS 3812062 WITH SCORE 3819534.812
AT ITER 3268 NEW BEST:: SOT 30583686 SOS 7472558 HAS SOPS 7472558 HAS SOUS 3811800 HAS SOUPS 3811800 WITH SCORE 3819272.558
AT ITER 3280 NEW BEST:: SOT 30583572 SOS 7472330 HAS SOPS 7472330 HAS SOUS 3811572 HAS SOUPS 3811572 WITH SCORE 3819044.33
AT ITER 3296 NEW BEST:: SOT 30583521 SOS 7472228 HAS SOPS 7472228 HAS SOUS 3811470 HAS SOUPS 3811470 WITH SCORE 3818942.228
AT ITER 3304 NEW BEST:: SOT 30582066 SOS 7471034 HAS SOPS 7471034 HAS SOUS 3810275 HAS SOUPS 3810275 WITH SCORE 3817746.034
AT ITER 3313 NEW BEST:: SOT 30581524 SOS 7470499 HAS SOPS 7470499 HAS SOUS 3809733 HAS SOUPS 3809733 WITH SCORE 3817203.499
AT ITER 3331 NEW BEST:: SOT 30581524 SOS 7471254 HAS SOPS 7471254 HAS SOUS 3809732 HAS SOUPS 3809732 WITH SCORE 3817203.254
AT ITER 3333 NEW BEST:: SOT 30581524 SOS 7470422 HAS SOPS 7470422 HAS SOUS 3809732 HAS SOUPS 3809732 WITH SCORE 3817202.422
AT ITER 3343 NEW BEST:: SOT 30581524 SOS 7469615 HAS SOPS 7469615 HAS SOUS 3809168 HAS SOUPS 3809168 WITH SCORE 3816637.615
AT ITER 3352 NEW BEST:: SOT 30580653 SOS 7469612 HAS SOPS 7469612 HAS SOUS 3807425 HAS SOUPS 3807425 WITH SCORE 3814894.612
AT ITER 3402 NEW BEST:: SOT 30580653 SOS 7469498 HAS SOPS 7469498 HAS SOUS 3807368 HAS SOUPS 3807368 WITH SCORE 3814837.498
AT ITER 3440 NEW BEST:: SOT 30580708 SOS 7467505 HAS SOPS 7467505 HAS SOUS 3807268 HAS SOUPS 3807268 WITH SCORE 3814735.505
AT ITER 3461 NEW BEST:: SOT 30580708 SOS 7467505 HAS SOPS 7467505 HAS SOUS 3807267 HAS SOUPS 3807267 WITH SCORE 3814734.505
AT ITER 3496 NEW BEST:: SOT 30580708 SOS 7467012 HAS SOPS 7467012 HAS SOUS 3805794 HAS SOUPS 3805794 WITH SCORE 3813261.012
AT ITER 3508 NEW BEST:: SOT 30579787 SOS 7473459 HAS SOPS 7473459 HAS SOUS 3804873 HAS SOUPS 3804873 WITH SCORE 3812346.459
AT ITER 3529 NEW BEST:: SOT 30579856 SOS 7473597 HAS SOPS 7473597 HAS SOUS 3804140 HAS SOUPS 3804140 WITH SCORE 3811613.597
AT ITER 3532 NEW BEST:: SOT 30579670 SOS 7473411 HAS SOPS 7473411 HAS SOUS 3803954 HAS SOUPS 3803954 WITH SCORE 3811427.411
AT ITER 3556 NEW BEST:: SOT 30579670 SOS 7474731 HAS SOPS 7474731 HAS SOUS 3803897 HAS SOUPS 3803897 WITH SCORE 3811371.731
AT ITER 3559 NEW BEST:: SOT 30579928 SOS 7474396 HAS SOPS 7474396 HAS SOUS 3803562 HAS SOUPS 3803562 WITH SCORE 3811036.396
AT ITER 3561 NEW BEST:: SOT 30579857 SOS 7474183 HAS SOPS 7474183 HAS SOUS 3803491 HAS SOUPS 3803491 WITH SCORE 3810965.183
AT ITER 3580 NEW BEST:: SOT 30579762 SOS 7474182 HAS SOPS 7474182 HAS SOUS 3803490 HAS SOUPS 3803490 WITH SCORE 3810964.182
AT ITER 3582 NEW BEST:: SOT 30578784 SOS 7473389 HAS SOPS 7473389 HAS SOUS 3802697 HAS SOUPS 3802697 WITH SCORE 3810170.389
AT ITER 3585 NEW BEST:: SOT 30577967 SOS 7473379 HAS SOPS 7473379 HAS SOUS 3802112 HAS SOUPS 3802112 WITH SCORE 3809585.379
AT ITER 3599 NEW BEST:: SOT 30577143 SOS 7471731 HAS SOPS 7471731 HAS SOUS 3800033 HAS SOUPS 3800033 WITH SCORE 3807504.731
AT ITER 3602 NEW BEST:: SOT 30577143 SOS 7473317 HAS SOPS 7473317 HAS SOUS 3800031 HAS SOUPS 3800031 WITH SCORE 3807504.317
AT ITER 3606 NEW BEST:: SOT 30576734 SOS 7472499 HAS SOPS 7472499 HAS SOUS 3799621 HAS SOUPS 3799621 WITH SCORE 3807093.499
AT ITER 3607 NEW BEST:: SOT 30576721 SOS 7472447 HAS SOPS 7472447 HAS SOUS 3799595 HAS SOUPS 3799595 WITH SCORE 3807067.447
AT ITER 3608 NEW BEST:: SOT 30576381 SOS 7472444 HAS SOPS 7472444 HAS SOUS 3799254 HAS SOUPS 3799254 WITH SCORE 3806726.444
AT ITER 3610 NEW BEST:: SOT 30575515 SOS 7470712 HAS SOPS 7470712 HAS SOUS 3797405 HAS SOUPS 3797405 WITH SCORE 3804875.712
AT ITER 3623 NEW BEST:: SOT 30575515 SOS 7471063 HAS SOPS 7471063 HAS SOUS 3797403 HAS SOUPS 3797403 WITH SCORE 3804874.063
AT ITER 3640 NEW BEST:: SOT 30575229 SOS 7471811 HAS SOPS 7471811 HAS SOUS 3797193 HAS SOUPS 3797193 WITH SCORE 3804664.811
AT ITER 3641 NEW BEST:: SOT 30574993 SOS 7471808 HAS SOPS 7471808 HAS SOUS 3797192 HAS SOUPS 3797192 WITH SCORE 3804663.808
AT ITER 3643 NEW BEST:: SOT 30574769 SOS 7471360 HAS SOPS 7471360 HAS SOUS 3796752 HAS SOUPS 3796752 WITH SCORE 3804223.36
AT ITER 3662 NEW BEST:: SOT 30573802 SOS 7470412 HAS SOPS 7470412 HAS SOUS 3795785 HAS SOUPS 3795785 WITH SCORE 3803255.412
AT ITER 3668 NEW BEST:: SOT 30573802 SOS 7468741 HAS SOPS 7468741 HAS SOUS 3795228 HAS SOUPS 3795228 WITH SCORE 3802696.741
AT ITER 3697 NEW BEST:: SOT 30572418 SOS 7468049 HAS SOPS 7468049 HAS SOUS 3794536 HAS SOUPS 3794536 WITH SCORE 3802004.049
AT ITER 3700 NEW BEST:: SOT 30572418 SOS 7469506 HAS SOPS 7469506 HAS SOUS 3794048 HAS SOUPS 3794048 WITH SCORE 3801517.506
AT ITER 3703 NEW BEST:: SOT 30571599 SOS 7460497 HAS SOPS 7460497 HAS SOUS 3792410 HAS SOUPS 3792410 WITH SCORE 3799870.497
AT ITER 3711 NEW BEST:: SOT 30571599 SOS 7460497 HAS SOPS 7460497 HAS SOUS 3792409 HAS SOUPS 3792409 WITH SCORE 3799869.497
AT ITER 3723 NEW BEST:: SOT 30571599 SOS 7461396 HAS SOPS 7461396 HAS SOUS 3792408 HAS SOUPS 3792408 WITH SCORE 3799869.396
AT ITER 3735 NEW BEST:: SOT 30570824 SOS 7461464 HAS SOPS 7461464 HAS SOUS 3790652 HAS SOUPS 3790652 WITH SCORE 3798113.464
AT ITER 3768 NEW BEST:: SOT 30570824 SOS 7461464 HAS SOPS 7461464 HAS SOUS 3790651 HAS SOUPS 3790651 WITH SCORE 3798112.464
AT ITER 3770 NEW BEST:: SOT 30570598 SOS 7461012 HAS SOPS 7461012 HAS SOUS 3790424 HAS SOUPS 3790424 WITH SCORE 3797885.012
AT ITER 3778 NEW BEST:: SOT 30570788 SOS 7464883 HAS SOPS 7464883 HAS SOUS 3790414 HAS SOUPS 3790414 WITH SCORE 3797878.883
AT ITER 3790 NEW BEST:: SOT 30570788 SOS 7464531 HAS SOPS 7464531 HAS SOUS 3790236 HAS SOUPS 3790236 WITH SCORE 3797700.531
AT ITER 3800 NEW BEST:: SOT 30570788 SOS 7464180 HAS SOPS 7464180 HAS SOUS 3790236 HAS SOUPS 3790236 WITH SCORE 3797700.18
AT ITER 3828 NEW BEST:: SOT 30568960 SOS 7475945 HAS SOPS 7475945 HAS SOUS 3789777 HAS SOUPS 3789777 WITH SCORE 3797252.945
AT ITER 3830 NEW BEST:: SOT 30568653 SOS 7474451 HAS SOPS 7474451 HAS SOUS 3788723 HAS SOUPS 3788723 WITH SCORE 3796197.451
AT ITER 3834 NEW BEST:: SOT 30568653 SOS 7474280 HAS SOPS 7474280 HAS SOUS 3787960 HAS SOUPS 3787960 WITH SCORE 3795434.28
AT ITER 3835 NEW BEST:: SOT 30567685 SOS 7474411 HAS SOPS 7474411 HAS SOUS 3787681 HAS SOUPS 3787681 WITH SCORE 3795155.411
AT ITER 3848 NEW BEST:: SOT 30567262 SOS 7473988 HAS SOPS 7473988 HAS SOUS 3787258 HAS SOUPS 3787258 WITH SCORE 3794731.988
AT ITER 3853 NEW BEST:: SOT 30567043 SOS 7473985 HAS SOPS 7473985 HAS SOUS 3787257 HAS SOUPS 3787257 WITH SCORE 3794730.985
AT ITER 3854 NEW BEST:: SOT 30566980 SOS 7473956 HAS SOPS 7473956 HAS SOUS 3787097 HAS SOUPS 3787097 WITH SCORE 3794570.956
AT ITER 3859 NEW BEST:: SOT 30565694 SOS 7472935 HAS SOPS 7472935 HAS SOUS 3785559 HAS SOUPS 3785559 WITH SCORE 3793031.935
AT ITER 3861 NEW BEST:: SOT 30565280 SOS 7473346 HAS SOPS 7473346 HAS SOUS 3785144 HAS SOUPS 3785144 WITH SCORE 3792617.346
AT ITER 3886 NEW BEST:: SOT 30562945 SOS 7471049 HAS SOPS 7471049 HAS SOUS 3782846 HAS SOUPS 3782846 WITH SCORE 3790317.049
AT ITER 3887 NEW BEST:: SOT 30563032 SOS 7470962 HAS SOPS 7470962 HAS SOUS 3782846 HAS SOUPS 3782846 WITH SCORE 3790316.962
AT ITER 3893 NEW BEST:: SOT 30562104 SOS 7470962 HAS SOPS 7470962 HAS SOUS 3781602 HAS SOUPS 3781602 WITH SCORE 3789072.962
AT ITER 3908 NEW BEST:: SOT 30561925 SOS 7470846 HAS SOPS 7470846 HAS SOUS 3781486 HAS SOUPS 3781486 WITH SCORE 3788956.846
AT ITER 3921 NEW BEST:: SOT 30562064 SOS 7471124 HAS SOPS 7471124 HAS SOUS 3781077 HAS SOUPS 3781077 WITH SCORE 3788548.124
AT ITER 3929 NEW BEST:: SOT 30561946 SOS 7470888 HAS SOPS 7470888 HAS SOUS 3780841 HAS SOUPS 3780841 WITH SCORE 3788311.888
AT ITER 3937 NEW BEST:: SOT 30561850 SOS 7470792 HAS SOPS 7470792 HAS SOUS 3780745 HAS SOUPS 3780745 WITH SCORE 3788215.792
AT ITER 3952 NEW BEST:: SOT 30561786 SOS 7468621 HAS SOPS 7468621 HAS SOUS 3780681 HAS SOUPS 3780681 WITH SCORE 3788149.621
AT ITER 3961 NEW BEST:: SOT 30561663 SOS 7468498 HAS SOPS 7468498 HAS SOUS 3780558 HAS SOUPS 3780558 WITH SCORE 3788026.498
AT ITER 3962 NEW BEST:: SOT 30561663 SOS 7468188 HAS SOPS 7468188 HAS SOUS 3780403 HAS SOUPS 3780403 WITH SCORE 3787871.188
AT ITER 3966 NEW BEST:: SOT 30561624 SOS 7467993 HAS SOPS 7467993 HAS SOUS 3780325 HAS SOUPS 3780325 WITH SCORE 3787792.993
AT ITER 3979 NEW BEST:: SOT 30561433 SOS 7468921 HAS SOPS 7468921 HAS SOUS 3780132 HAS SOUPS 3780132 WITH SCORE 3787600.921
AT ITER 4029 NEW BEST:: SOT 30561259 SOS 7468747 HAS SOPS 7468747 HAS SOUS 3779958 HAS SOUPS 3779958 WITH SCORE 3787426.747
AT ITER 4086 NEW BEST:: SOT 30560861 SOS 7471103 HAS SOPS 7471103 HAS SOUS 3779910 HAS SOUPS 3779910 WITH SCORE 3787381.103
AT ITER 4098 NEW BEST:: SOT 30560226 SOS 7458403 HAS SOPS 7458403 HAS SOUS 3778640 HAS SOUPS 3778640 WITH SCORE 3786098.403
AT ITER 4125 NEW BEST:: SOT 30559323 SOS 7453350 HAS SOPS 7453350 HAS SOUS 3778048 HAS SOUPS 3778048 WITH SCORE 3785501.35
AT ITER 4127 NEW BEST:: SOT 30559269 SOS 7453242 HAS SOPS 7453242 HAS SOUS 3777940 HAS SOUPS 3777940 WITH SCORE 3785393.242
AT ITER 4129 NEW BEST:: SOT 30559146 SOS 7453484 HAS SOPS 7453484 HAS SOUS 3777816 HAS SOUPS 3777816 WITH SCORE 3785269.484
AT ITER 4131 NEW BEST:: SOT 30558812 SOS 7453436 HAS SOPS 7453436 HAS SOUS 3777768 HAS SOUPS 3777768 WITH SCORE 3785221.436
AT ITER 4156 NEW BEST:: SOT 30557674 SOS 7452294 HAS SOPS 7452294 HAS SOUS 3776629 HAS SOUPS 3776629 WITH SCORE 3784081.294
AT ITER 4162 NEW BEST:: SOT 30557425 SOS 7452045 HAS SOPS 7452045 HAS SOUS 3776131 HAS SOUPS 3776131 WITH SCORE 3783583.045
AT ITER 4204 NEW BEST:: SOT 30557114 SOS 7451423 HAS SOPS 7451423 HAS SOUS 3775509 HAS SOUPS 3775509 WITH SCORE 3782960.423
AT ITER 4210 NEW BEST:: SOT 30557114 SOS 7451341 HAS SOPS 7451341 HAS SOUS 3775426 HAS SOUPS 3775426 WITH SCORE 3782877.341
AT ITER 4220 NEW BEST:: SOT 30557114 SOS 7451313 HAS SOPS 7451313 HAS SOUS 3775398 HAS SOUPS 3775398 WITH SCORE 3782849.313
AT ITER 4222 NEW BEST:: SOT 30555353 SOS 7448949 HAS SOPS 7448949 HAS SOUS 3772540 HAS SOUPS 3772540 WITH SCORE 3779988.949
AT ITER 4231 NEW BEST:: SOT 30553609 SOS 7445680 HAS SOPS 7445680 HAS SOUS 3770869 HAS SOUPS 3770869 WITH SCORE 3778314.68
AT ITER 4233 NEW BEST:: SOT 30553609 SOS 7445388 HAS SOPS 7445388 HAS SOUS 3770723 HAS SOUPS 3770723 WITH SCORE 3778168.388
AT ITER 4243 NEW BEST:: SOT 30553265 SOS 7446546 HAS SOPS 7446546 HAS SOUS 3770254 HAS SOUPS 3770254 WITH SCORE 3777700.546
AT ITER 4255 NEW BEST:: SOT 30553178 SOS 7446372 HAS SOPS 7446372 HAS SOUS 3770166 HAS SOUPS 3770166 WITH SCORE 3777612.372
AT ITER 4288 NEW BEST:: SOT 30553010 SOS 7446204 HAS SOPS 7446204 HAS SOUS 3769998 HAS SOUPS 3769998 WITH SCORE 3777444.204
AT ITER 4327 NEW BEST:: SOT 30552522 SOS 7446200 HAS SOPS 7446200 HAS SOUS 3769673 HAS SOUPS 3769673 WITH SCORE 3777119.2
AT ITER 4330 NEW BEST:: SOT 30552522 SOS 7444577 HAS SOPS 7444577 HAS SOUS 3769566 HAS SOUPS 3769566 WITH SCORE 3777010.577
AT ITER 4337 NEW BEST:: SOT 30551818 SOS 7444567 HAS SOPS 7444567 HAS SOUS 3769425 HAS SOUPS 3769425 WITH SCORE 3776869.567
AT ITER 4357 NEW BEST:: SOT 30551940 SOS 7447961 HAS SOPS 7447961 HAS SOUS 3769410 HAS SOUPS 3769410 WITH SCORE 3776857.961
AT ITER 4390 NEW BEST:: SOT 30551869 SOS 7447748 HAS SOPS 7447748 HAS SOUS 3769197 HAS SOUPS 3769197 WITH SCORE 3776644.748
AT ITER 4403 NEW BEST:: SOT 30552420 SOS 7448849 HAS SOPS 7448849 HAS SOUS 3769083 HAS SOUPS 3769083 WITH SCORE 3776531.849
AT ITER 4444 NEW BEST:: SOT 30552398 SOS 7448805 HAS SOPS 7448805 HAS SOUS 3769039 HAS SOUPS 3769039 WITH SCORE 3776487.805
AT ITER 4445 NEW BEST:: SOT 30551347 SOS 7447821 HAS SOPS 7447821 HAS SOUS 3768055 HAS SOUPS 3768055 WITH SCORE 3775502.821
AT ITER 4456 NEW BEST:: SOT 30551347 SOS 7447599 HAS SOPS 7447599 HAS SOUS 3767833 HAS SOUPS 3767833 WITH SCORE 3775280.599
AT ITER 4474 NEW BEST:: SOT 30549650 SOS 7445079 HAS SOPS 7445079 HAS SOUS 3765262 HAS SOUPS 3765262 WITH SCORE 3772707.079
AT ITER 4477 NEW BEST:: SOT 30549644 SOS 7445057 HAS SOPS 7445057 HAS SOUS 3765249 HAS SOUPS 3765249 WITH SCORE 3772694.057
AT ITER 4478 NEW BEST:: SOT 30549644 SOS 7445057 HAS SOPS 7445057 HAS SOUS 3764936 HAS SOUPS 3764936 WITH SCORE 3772381.057
AT ITER 4500 NEW BEST:: SOT 30549644 SOS 7444200 HAS SOPS 7444200 HAS SOUS 3764079 HAS SOUPS 3764079 WITH SCORE 3771523.2
AT ITER 4511 NEW BEST:: SOT 30549644 SOS 7444196 HAS SOPS 7444196 HAS SOUS 3763806 HAS SOUPS 3763806 WITH SCORE 3771250.196
AT ITER 4546 NEW BEST:: SOT 30549795 SOS 7444498 HAS SOPS 7444498 HAS SOUS 3763691 HAS SOUPS 3763691 WITH SCORE 3771135.498
AT ITER 4558 NEW BEST:: SOT 30549795 SOS 7445058 HAS SOPS 7445058 HAS SOUS 3763689 HAS SOUPS 3763689 WITH SCORE 3771134.058
AT ITER 4562 NEW BEST:: SOT 30549627 SOS 7444722 HAS SOPS 7444722 HAS SOUS 3763353 HAS SOUPS 3763353 WITH SCORE 3770797.722
AT ITER 4577 NEW BEST:: SOT 30549702 SOS 7443790 HAS SOPS 7443790 HAS SOUS 3762799 HAS SOUPS 3762799 WITH SCORE 3770242.79
AT ITER 4606 NEW BEST:: SOT 30549662 SOS 7443710 HAS SOPS 7443710 HAS SOUS 3762759 HAS SOUPS 3762759 WITH SCORE 3770202.71
AT ITER 4653 NEW BEST:: SOT 30549662 SOS 7444645 HAS SOPS 7444645 HAS SOUS 3762758 HAS SOUPS 3762758 WITH SCORE 3770202.645
AT ITER 4658 NEW BEST:: SOT 30549300 SOS 7444642 HAS SOPS 7444642 HAS SOUS 3762757 HAS SOUPS 3762757 WITH SCORE 3770201.642
AT ITER 4659 NEW BEST:: SOT 30549300 SOS 7444389 HAS SOPS 7444389 HAS SOUS 3762757 HAS SOUPS 3762757 WITH SCORE 3770201.389
AT ITER 4681 NEW BEST:: SOT 30547735 SOS 7442974 HAS SOPS 7442974 HAS SOUS 3761198 HAS SOUPS 3761198 WITH SCORE 3768640.974
AT ITER 4694 NEW BEST:: SOT 30548224 SOS 7441324 HAS SOPS 7441324 HAS SOUS 3761055 HAS SOUPS 3761055 WITH SCORE 3768496.324
AT ITER 4712 NEW BEST:: SOT 30548224 SOS 7440019 HAS SOPS 7440019 HAS SOUS 3760910 HAS SOUPS 3760910 WITH SCORE 3768350.019
AT ITER 4750 NEW BEST:: SOT 30548125 SOS 7439960 HAS SOPS 7439960 HAS SOUS 3760851 HAS SOUPS 3760851 WITH SCORE 3768290.96
AT ITER 4801 NEW BEST:: SOT 30547743 SOS 7442634 HAS SOPS 7442634 HAS SOUS 3760469 HAS SOUPS 3760469 WITH SCORE 3767911.634
AT ITER 4803 NEW BEST:: SOT 30547614 SOS 7442376 HAS SOPS 7442376 HAS SOUS 3760340 HAS SOUPS 3760340 WITH SCORE 3767782.376
AT ITER 4817 NEW BEST:: SOT 30546932 SOS 7440330 HAS SOPS 7440330 HAS SOUS 3759317 HAS SOUPS 3759317 WITH SCORE 3766757.33
AT ITER 4838 NEW BEST:: SOT 30546922 SOS 7440310 HAS SOPS 7440310 HAS SOUS 3759297 HAS SOUPS 3759297 WITH SCORE 3766737.31
AT ITER 4840 NEW BEST:: SOT 30547050 SOS 7440028 HAS SOPS 7440028 HAS SOUS 3759233 HAS SOUPS 3759233 WITH SCORE 3766673.028
AT ITER 4843 NEW BEST:: SOT 30547050 SOS 7439161 HAS SOPS 7439161 HAS SOUS 3759232 HAS SOUPS 3759232 WITH SCORE 3766671.161
AT ITER 4848 NEW BEST:: SOT 30546753 SOS 7438567 HAS SOPS 7438567 HAS SOUS 3757417 HAS SOUPS 3757417 WITH SCORE 3764855.567
AT ITER 4915 NEW BEST:: SOT 30545917 SOS 7436895 HAS SOPS 7436895 HAS SOUS 3755643 HAS SOUPS 3755643 WITH SCORE 3763079.895
AT ITER 4928 NEW BEST:: SOT 30545547 SOS 7436525 HAS SOPS 7436525 HAS SOUS 3755273 HAS SOUPS 3755273 WITH SCORE 3762709.525
AT ITER 4932 NEW BEST:: SOT 30545546 SOS 7436523 HAS SOPS 7436523 HAS SOUS 3755271 HAS SOUPS 3755271 WITH SCORE 3762707.523
AT ITER 4983 NEW BEST:: SOT 30545546 SOS 7436568 HAS SOPS 7436568 HAS SOUS 3755246 HAS SOUPS 3755246 WITH SCORE 3762682.568
AT ITER 4991 NEW BEST:: SOT 30544518 SOS 7435540 HAS SOPS 7435540 HAS SOUS 3753190 HAS SOUPS 3753190 WITH SCORE 3760625.54
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-13b-CTLFireability-00 (AF( ( ( ((potential((tk(P3856)>=1)))) | ((potential((tk(P460)>=1)))) ) | (EG( ((potential((tk(P4062)>=1)))))) )))
PROPERTY: DLCround-PT-13b-CTLFireability-01 (EF( (AX( ( ( ((potential((tk(P1957)>=1)))) | ((potential((tk(P2261)>=1)))) ) | ((potential((tk(P509)>=1) & (tk(P3640)>=1)))) )))))
PROPERTY: DLCround-PT-13b-CTLFireability-02 (EG( (EU( (! ((potential((tk(P1469)>=1) & (tk(P4690)>=1))))) , (! ((potential((tk(P288)>=1))))) ))))
PROPERTY: DLCround-PT-13b-CTLFireability-03 ( (AG( (! ( ( ((potential((tk(P455)>=1) & (tk(P4567)>=1)))) | ((potential((tk(P5114)>=1)))) ) & ((potential((tk(P815)>=1) & (tk(P2647)>=1)))) )))) | (! (EF( ( ( ((potential((tk(P4181)>=1)))) & ((potential((tk(P1017)>=1)))) ) | ((potential((tk(P790)>=1)))) )))) )
PROPERTY: DLCround-PT-13b-CTLFireability-04 (EG( ( (AX( ( ((potential((tk(P1413)>=1) & (tk(P4117)>=1)))) & ((potential((tk(P509)>=1) & (tk(P3540)>=1)))) ))) | (AF( (! ((potential((tk(P5185)>=1))))))) )))
PROPERTY: DLCround-PT-13b-CTLFireability-05 ( (AF( (AF( ((potential((tk(P528)>=1) & (tk(P2460)>=1)))))))) & (EU( (! ( ((potential((tk(P455)>=1) & (tk(P3917)>=1)))) | ((potential((tk(P601)>=1) & (tk(P2500)>=1)))) )) , (EG( ((potential((tk(P1775)>=1) & (tk(P3307)>=1)))))) )) )
PROPERTY: DLCround-PT-13b-CTLFireability-06 ( (AF( (EG( ((potential((tk(P4344)>=1)))))))) | ( (AG( ( ( ((potential((tk(P3852)>=1)))) & ((potential((tk(P486)>=1)))) ) | ((potential((tk(P1237)>=1)))) ))) & ( (AG( (! ((potential((tk(P5325)>=1))))))) | ( (AG( ((potential((tk(P3185)>=1)))))) & (EF( ((potential((tk(P83)>=1) & (tk(P2570)>=1)))))) ) ) ) )
PROPERTY: DLCround-PT-13b-CTLFireability-07 (AU( ( (EF( ((potential((tk(P2088)>=1) & (tk(P5300)>=1)))))) & (EG( ((potential((tk(P816)>=1)))))) ) , (! (AF( ((potential((tk(P882)>=1))))))) ))
PROPERTY: DLCround-PT-13b-CTLFireability-08 ( (AG( ( (AF( ((potential((tk(P1723)>=1) & (tk(P5187)>=1)))))) | ( ( ((potential((tk(P471)>=1) & (tk(P3640)>=1)))) & ((potential((tk(P4831)>=1)))) ) & (! ((potential((tk(P1911)>=1) & (tk(P3440)>=1))))) ) ))) | ((potential((tk(P2374)>=1)))) )
PROPERTY: DLCround-PT-13b-CTLFireability-09 (AF( (EX( (AG( ((potential((tk(P799)>=1))))))))))
PROPERTY: DLCround-PT-13b-CTLFireability-10 ( ( (! ((potential((tk(P1471)>=1))))) & (EX( (! ((potential((tk(P1175)>=1) & (tk(P3577)>=1))))))) ) & (AX( (AF( ( ((potential((tk(P1589)>=1) & (tk(P3180)>=1)))) | ((potential((tk(P3124)>=1)))) ))))) )
PROPERTY: DLCround-PT-13b-CTLFireability-11 ( ((potential((tk(P1274)>=1) & (tk(P4510)>=1)))) | (EG( (AF( ( ((potential((tk(P318)>=1) & (tk(P3097)>=1)))) | ((potential((tk(P1464)>=1) & (tk(P3060)>=1)))) ))))) )
PROPERTY: DLCround-PT-13b-CTLFireability-12 (EG( (! ( (EF( ((potential((tk(P2064)>=1) & (tk(P3480)>=1)))))) | (AG( ((potential((tk(P711)>=1) & (tk(P2600)>=1)))))) ))))
PROPERTY: DLCround-PT-13b-CTLFireability-13 (AF( (EG( (! ((potential((tk(P996)>=1)))))))))
PROPERTY: DLCround-PT-13b-CTLFireability-14 (AF( ((potential((tk(P2177)>=1))))))
PROPERTY: DLCround-PT-13b-CTLFireability-15 ( (! (AG( (AX( ((potential((tk(P1154)>=1) & (tk(P4360)>=1))))))))) & (! (EF( (EF( ((potential((tk(P2027)>=1) & (tk(P3460)>=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-13b"
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-13b, 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-158902542400620"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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 '
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 ;