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-158902542200475.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-04b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200475
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 3.9K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 29 08:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 23:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 547K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-04b-CTLCardinality-00
FORMULA_NAME DLCround-PT-04b-CTLCardinality-01
FORMULA_NAME DLCround-PT-04b-CTLCardinality-02
FORMULA_NAME DLCround-PT-04b-CTLCardinality-03
FORMULA_NAME DLCround-PT-04b-CTLCardinality-04
FORMULA_NAME DLCround-PT-04b-CTLCardinality-05
FORMULA_NAME DLCround-PT-04b-CTLCardinality-06
FORMULA_NAME DLCround-PT-04b-CTLCardinality-07
FORMULA_NAME DLCround-PT-04b-CTLCardinality-08
FORMULA_NAME DLCround-PT-04b-CTLCardinality-09
FORMULA_NAME DLCround-PT-04b-CTLCardinality-10
FORMULA_NAME DLCround-PT-04b-CTLCardinality-11
FORMULA_NAME DLCround-PT-04b-CTLCardinality-12
FORMULA_NAME DLCround-PT-04b-CTLCardinality-13
FORMULA_NAME DLCround-PT-04b-CTLCardinality-14
FORMULA_NAME DLCround-PT-04b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589121983173

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1680 places, 2364 transitions, 6156 arcs.
AT ITER 0 NEW BEST:: SOT 2371064 SOS 494511 HAS SOPS 494511 HAS SOUS 353305 HAS SOUPS 353305 WITH SCORE 353799.511
AT ITER 53 NEW BEST:: SOT 2371003 SOS 494449 HAS SOPS 494449 HAS SOUS 353243 HAS SOUPS 353243 WITH SCORE 353737.449
AT ITER 55 NEW BEST:: SOT 2370758 SOS 493959 HAS SOPS 493959 HAS SOUS 352606 HAS SOUPS 352606 WITH SCORE 353099.959
AT ITER 61 NEW BEST:: SOT 2370758 SOS 493959 HAS SOPS 493959 HAS SOUS 352605 HAS SOUPS 352605 WITH SCORE 353098.959
AT ITER 71 NEW BEST:: SOT 2370758 SOS 493941 HAS SOPS 493941 HAS SOUS 352596 HAS SOUPS 352596 WITH SCORE 353089.941
AT ITER 94 NEW BEST:: SOT 2370756 SOS 493937 HAS SOPS 493937 HAS SOUS 352592 HAS SOUPS 352592 WITH SCORE 353085.937
AT ITER 95 NEW BEST:: SOT 2370755 SOS 493935 HAS SOPS 493935 HAS SOUS 352590 HAS SOUPS 352590 WITH SCORE 353083.935
AT ITER 101 NEW BEST:: SOT 2370588 SOS 493698 HAS SOPS 493698 HAS SOUS 352339 HAS SOUPS 352339 WITH SCORE 352832.698
AT ITER 104 NEW BEST:: SOT 2370588 SOS 493800 HAS SOPS 493800 HAS SOUS 352338 HAS SOUPS 352338 WITH SCORE 352831.8
AT ITER 122 NEW BEST:: SOT 2370273 SOS 493485 HAS SOPS 493485 HAS SOUS 352023 HAS SOUPS 352023 WITH SCORE 352516.485
AT ITER 153 NEW BEST:: SOT 2370273 SOS 493485 HAS SOPS 493485 HAS SOUS 351937 HAS SOUPS 351937 WITH SCORE 352430.485
AT ITER 169 NEW BEST:: SOT 2370036 SOS 493248 HAS SOPS 493248 HAS SOUS 351700 HAS SOUPS 351700 WITH SCORE 352193.248
AT ITER 171 NEW BEST:: SOT 2369817 SOS 493263 HAS SOPS 493263 HAS SOUS 351570 HAS SOUPS 351570 WITH SCORE 352063.263
AT ITER 199 NEW BEST:: SOT 2369816 SOS 493261 HAS SOPS 493261 HAS SOUS 351568 HAS SOUPS 351568 WITH SCORE 352061.261
AT ITER 216 NEW BEST:: SOT 2369211 SOS 492745 HAS SOPS 492745 HAS SOUS 351052 HAS SOUPS 351052 WITH SCORE 351544.745
AT ITER 244 NEW BEST:: SOT 2367943 SOS 491223 HAS SOPS 491223 HAS SOUS 349677 HAS SOUPS 349677 WITH SCORE 350168.223
AT ITER 263 NEW BEST:: SOT 2367593 SOS 491048 HAS SOPS 491048 HAS SOUS 349502 HAS SOUPS 349502 WITH SCORE 349993.048
AT ITER 267 NEW BEST:: SOT 2367538 SOS 491029 HAS SOPS 491029 HAS SOUS 349486 HAS SOUPS 349486 WITH SCORE 349977.029
AT ITER 291 NEW BEST:: SOT 2367367 SOS 490944 HAS SOPS 490944 HAS SOUS 349401 HAS SOUPS 349401 WITH SCORE 349891.944
AT ITER 300 NEW BEST:: SOT 2367065 SOS 490340 HAS SOPS 490340 HAS SOUS 348797 HAS SOUPS 348797 WITH SCORE 349287.34
AT ITER 315 NEW BEST:: SOT 2366751 SOS 490016 HAS SOPS 490016 HAS SOUS 348482 HAS SOUPS 348482 WITH SCORE 348972.016
AT ITER 327 NEW BEST:: SOT 2366557 SOS 489994 HAS SOPS 489994 HAS SOUS 348391 HAS SOUPS 348391 WITH SCORE 348880.994
AT ITER 332 NEW BEST:: SOT 2366584 SOS 490048 HAS SOPS 490048 HAS SOUS 348018 HAS SOUPS 348018 WITH SCORE 348508.048
AT ITER 335 NEW BEST:: SOT 2366583 SOS 490046 HAS SOPS 490046 HAS SOUS 348016 HAS SOUPS 348016 WITH SCORE 348506.046
AT ITER 356 NEW BEST:: SOT 2366369 SOS 489650 HAS SOPS 489650 HAS SOUS 347620 HAS SOUPS 347620 WITH SCORE 348109.65
AT ITER 371 NEW BEST:: SOT 2366171 SOS 489551 HAS SOPS 489551 HAS SOUS 347521 HAS SOUPS 347521 WITH SCORE 348010.551
AT ITER 372 NEW BEST:: SOT 2365859 SOS 489395 HAS SOPS 489395 HAS SOUS 347365 HAS SOUPS 347365 WITH SCORE 347854.395
AT ITER 411 NEW BEST:: SOT 2365416 SOS 488969 HAS SOPS 488969 HAS SOUS 346922 HAS SOUPS 346922 WITH SCORE 347410.969
AT ITER 422 NEW BEST:: SOT 2365116 SOS 488669 HAS SOPS 488669 HAS SOUS 346622 HAS SOUPS 346622 WITH SCORE 347110.669
AT ITER 441 NEW BEST:: SOT 2365144 SOS 488725 HAS SOPS 488725 HAS SOUS 346485 HAS SOUPS 346485 WITH SCORE 346973.725
AT ITER 467 NEW BEST:: SOT 2365081 SOS 488676 HAS SOPS 488676 HAS SOUS 346471 HAS SOUPS 346471 WITH SCORE 346959.676
AT ITER 469 NEW BEST:: SOT 2365080 SOS 488674 HAS SOPS 488674 HAS SOUS 346469 HAS SOUPS 346469 WITH SCORE 346957.674
AT ITER 470 NEW BEST:: SOT 2364996 SOS 488480 HAS SOPS 488480 HAS SOUS 346365 HAS SOUPS 346365 WITH SCORE 346853.48
AT ITER 472 NEW BEST:: SOT 2364837 SOS 488321 HAS SOPS 488321 HAS SOUS 346206 HAS SOUPS 346206 WITH SCORE 346694.321
AT ITER 475 NEW BEST:: SOT 2364756 SOS 489760 HAS SOPS 489760 HAS SOUS 346043 HAS SOUPS 346043 WITH SCORE 346532.76
AT ITER 490 NEW BEST:: SOT 2363590 SOS 492474 HAS SOPS 492474 HAS SOUS 345841 HAS SOUPS 345841 WITH SCORE 346333.474
AT ITER 498 NEW BEST:: SOT 2363518 SOS 491531 HAS SOPS 491531 HAS SOUS 345798 HAS SOUPS 345798 WITH SCORE 346289.531
AT ITER 509 NEW BEST:: SOT 2363202 SOS 491136 HAS SOPS 491136 HAS SOUS 345403 HAS SOUPS 345403 WITH SCORE 345894.136
AT ITER 524 NEW BEST:: SOT 2363202 SOS 491136 HAS SOPS 491136 HAS SOUS 345402 HAS SOUPS 345402 WITH SCORE 345893.136
AT ITER 542 NEW BEST:: SOT 2363202 SOS 491049 HAS SOPS 491049 HAS SOUS 345315 HAS SOUPS 345315 WITH SCORE 345806.049
AT ITER 544 NEW BEST:: SOT 2363203 SOS 491051 HAS SOPS 491051 HAS SOUS 345236 HAS SOUPS 345236 WITH SCORE 345727.051
AT ITER 562 NEW BEST:: SOT 2363203 SOS 491051 HAS SOPS 491051 HAS SOUS 345226 HAS SOUPS 345226 WITH SCORE 345717.051
AT ITER 574 NEW BEST:: SOT 2363194 SOS 491033 HAS SOPS 491033 HAS SOUS 345208 HAS SOUPS 345208 WITH SCORE 345699.033
AT ITER 596 NEW BEST:: SOT 2363193 SOS 491031 HAS SOPS 491031 HAS SOUS 345206 HAS SOUPS 345206 WITH SCORE 345697.031
AT ITER 611 NEW BEST:: SOT 2362885 SOS 490415 HAS SOPS 490415 HAS SOUS 344590 HAS SOUPS 344590 WITH SCORE 345080.415
AT ITER 630 NEW BEST:: SOT 2362875 SOS 490395 HAS SOPS 490395 HAS SOUS 344580 HAS SOUPS 344580 WITH SCORE 345070.395
AT ITER 641 NEW BEST:: SOT 2362649 SOS 488387 HAS SOPS 488387 HAS SOUS 343821 HAS SOUPS 343821 WITH SCORE 344309.387
AT ITER 661 NEW BEST:: SOT 2362403 SOS 488141 HAS SOPS 488141 HAS SOUS 343575 HAS SOUPS 343575 WITH SCORE 344063.141
AT ITER 679 NEW BEST:: SOT 2362402 SOS 488139 HAS SOPS 488139 HAS SOUS 343573 HAS SOUPS 343573 WITH SCORE 344061.139
AT ITER 697 NEW BEST:: SOT 2362298 SOS 488012 HAS SOPS 488012 HAS SOUS 343466 HAS SOUPS 343466 WITH SCORE 343954.012
AT ITER 714 NEW BEST:: SOT 2362157 SOS 487871 HAS SOPS 487871 HAS SOUS 343325 HAS SOUPS 343325 WITH SCORE 343812.871
AT ITER 739 NEW BEST:: SOT 2361759 SOS 487473 HAS SOPS 487473 HAS SOUS 343325 HAS SOUPS 343325 WITH SCORE 343812.473
AT ITER 751 NEW BEST:: SOT 2361758 SOS 487460 HAS SOPS 487460 HAS SOUS 343313 HAS SOUPS 343313 WITH SCORE 343800.46
AT ITER 754 NEW BEST:: SOT 2361634 SOS 487212 HAS SOPS 487212 HAS SOUS 343038 HAS SOUPS 343038 WITH SCORE 343525.212
AT ITER 758 NEW BEST:: SOT 2361634 SOS 487943 HAS SOPS 487943 HAS SOUS 343037 HAS SOUPS 343037 WITH SCORE 343524.943
AT ITER 763 NEW BEST:: SOT 2361259 SOS 487443 HAS SOPS 487443 HAS SOUS 342930 HAS SOUPS 342930 WITH SCORE 343417.443
AT ITER 798 NEW BEST:: SOT 2360997 SOS 487181 HAS SOPS 487181 HAS SOUS 342668 HAS SOUPS 342668 WITH SCORE 343155.181
AT ITER 802 NEW BEST:: SOT 2360775 SOS 487005 HAS SOPS 487005 HAS SOUS 342492 HAS SOUPS 342492 WITH SCORE 342979.005
AT ITER 807 NEW BEST:: SOT 2360688 SOS 487001 HAS SOPS 487001 HAS SOUS 342404 HAS SOUPS 342404 WITH SCORE 342891.001
AT ITER 809 NEW BEST:: SOT 2360615 SOS 486855 HAS SOPS 486855 HAS SOUS 342089 HAS SOUPS 342089 WITH SCORE 342575.855
AT ITER 833 NEW BEST:: SOT 2360507 SOS 486639 HAS SOPS 486639 HAS SOUS 341626 HAS SOUPS 341626 WITH SCORE 342112.639
AT ITER 837 NEW BEST:: SOT 2360445 SOS 486608 HAS SOPS 486608 HAS SOUS 341595 HAS SOUPS 341595 WITH SCORE 342081.608
AT ITER 839 NEW BEST:: SOT 2360367 SOS 486452 HAS SOPS 486452 HAS SOUS 341439 HAS SOUPS 341439 WITH SCORE 341925.452
AT ITER 858 NEW BEST:: SOT 2360367 SOS 486623 HAS SOPS 486623 HAS SOUS 341438 HAS SOUPS 341438 WITH SCORE 341924.623
AT ITER 859 NEW BEST:: SOT 2360364 SOS 486617 HAS SOPS 486617 HAS SOUS 341435 HAS SOUPS 341435 WITH SCORE 341921.617
AT ITER 866 NEW BEST:: SOT 2358388 SOS 488807 HAS SOPS 488807 HAS SOUS 341425 HAS SOUPS 341425 WITH SCORE 341913.807
AT ITER 868 NEW BEST:: SOT 2358388 SOS 488806 HAS SOPS 488806 HAS SOUS 341424 HAS SOUPS 341424 WITH SCORE 341912.806
AT ITER 915 NEW BEST:: SOT 2358303 SOS 489065 HAS SOPS 489065 HAS SOUS 341303 HAS SOUPS 341303 WITH SCORE 341792.065
AT ITER 917 NEW BEST:: SOT 2358137 SOS 488733 HAS SOPS 488733 HAS SOUS 340971 HAS SOUPS 340971 WITH SCORE 341459.733
AT ITER 920 NEW BEST:: SOT 2358055 SOS 488569 HAS SOPS 488569 HAS SOUS 340946 HAS SOUPS 340946 WITH SCORE 341434.569
AT ITER 925 NEW BEST:: SOT 2358055 SOS 489037 HAS SOPS 489037 HAS SOUS 340945 HAS SOUPS 340945 WITH SCORE 341434.037
AT ITER 943 NEW BEST:: SOT 2357855 SOS 488637 HAS SOPS 488637 HAS SOUS 340545 HAS SOUPS 340545 WITH SCORE 341033.637
AT ITER 950 NEW BEST:: SOT 2356507 SOS 489295 HAS SOPS 489295 HAS SOUS 340125 HAS SOUPS 340125 WITH SCORE 340614.295
AT ITER 951 NEW BEST:: SOT 2356507 SOS 489295 HAS SOPS 489295 HAS SOUS 340050 HAS SOUPS 340050 WITH SCORE 340539.295
AT ITER 954 NEW BEST:: SOT 2356507 SOS 489283 HAS SOPS 489283 HAS SOUS 340038 HAS SOUPS 340038 WITH SCORE 340527.283
AT ITER 996 NEW BEST:: SOT 2355730 SOS 490849 HAS SOPS 490849 HAS SOUS 339685 HAS SOUPS 339685 WITH SCORE 340175.849
AT ITER 1032 NEW BEST:: SOT 2355650 SOS 490689 HAS SOPS 490689 HAS SOUS 339342 HAS SOUPS 339342 WITH SCORE 339832.689
AT ITER 1053 NEW BEST:: SOT 2355433 SOS 490712 HAS SOPS 490712 HAS SOUS 339219 HAS SOUPS 339219 WITH SCORE 339709.712
AT ITER 1070 NEW BEST:: SOT 2355376 SOS 490598 HAS SOPS 490598 HAS SOUS 339105 HAS SOUPS 339105 WITH SCORE 339595.598
AT ITER 1087 NEW BEST:: SOT 2355259 SOS 490364 HAS SOPS 490364 HAS SOUS 339046 HAS SOUPS 339046 WITH SCORE 339536.364
AT ITER 1092 NEW BEST:: SOT 2355178 SOS 490156 HAS SOPS 490156 HAS SOUS 338838 HAS SOUPS 338838 WITH SCORE 339328.156
AT ITER 1096 NEW BEST:: SOT 2354972 SOS 489744 HAS SOPS 489744 HAS SOUS 338426 HAS SOUPS 338426 WITH SCORE 338915.744
AT ITER 1108 NEW BEST:: SOT 2354928 SOS 489656 HAS SOPS 489656 HAS SOUS 338243 HAS SOUPS 338243 WITH SCORE 338732.656
AT ITER 1143 NEW BEST:: SOT 2354912 SOS 489624 HAS SOPS 489624 HAS SOUS 338211 HAS SOUPS 338211 WITH SCORE 338700.624
AT ITER 1149 NEW BEST:: SOT 2354638 SOS 489346 HAS SOPS 489346 HAS SOUS 337936 HAS SOUPS 337936 WITH SCORE 338425.346
AT ITER 1154 NEW BEST:: SOT 2354638 SOS 489252 HAS SOPS 489252 HAS SOUS 337889 HAS SOUPS 337889 WITH SCORE 338378.252
AT ITER 1157 NEW BEST:: SOT 2354583 SOS 489197 HAS SOPS 489197 HAS SOUS 337834 HAS SOUPS 337834 WITH SCORE 338323.197
AT ITER 1167 NEW BEST:: SOT 2354583 SOS 489197 HAS SOPS 489197 HAS SOUS 337704 HAS SOUPS 337704 WITH SCORE 338193.197
AT ITER 1259 NEW BEST:: SOT 2353153 SOS 489168 HAS SOPS 489168 HAS SOUS 336987 HAS SOUPS 336987 WITH SCORE 337476.168
AT ITER 1261 NEW BEST:: SOT 2352633 SOS 488388 HAS SOPS 488388 HAS SOUS 336207 HAS SOUPS 336207 WITH SCORE 336695.388
AT ITER 1316 NEW BEST:: SOT 2352502 SOS 488126 HAS SOPS 488126 HAS SOUS 336076 HAS SOUPS 336076 WITH SCORE 336564.126
AT ITER 1338 NEW BEST:: SOT 2352534 SOS 488190 HAS SOPS 488190 HAS SOUS 336051 HAS SOUPS 336051 WITH SCORE 336539.19
AT ITER 1361 NEW BEST:: SOT 2352527 SOS 488182 HAS SOPS 488182 HAS SOUS 336043 HAS SOUPS 336043 WITH SCORE 336531.182
AT ITER 1372 NEW BEST:: SOT 2352506 SOS 488556 HAS SOPS 488556 HAS SOUS 336000 HAS SOUPS 336000 WITH SCORE 336488.556
AT ITER 1402 NEW BEST:: SOT 2352458 SOS 488460 HAS SOPS 488460 HAS SOUS 335904 HAS SOUPS 335904 WITH SCORE 336392.46
AT ITER 1419 NEW BEST:: SOT 2352432 SOS 488447 HAS SOPS 488447 HAS SOUS 335891 HAS SOUPS 335891 WITH SCORE 336379.447
AT ITER 1424 NEW BEST:: SOT 2352351 SOS 488012 HAS SOPS 488012 HAS SOUS 335757 HAS SOUPS 335757 WITH SCORE 336245.012
AT ITER 1457 NEW BEST:: SOT 2352305 SOS 487920 HAS SOPS 487920 HAS SOUS 335665 HAS SOUPS 335665 WITH SCORE 336152.92
AT ITER 1463 NEW BEST:: SOT 2352257 SOS 488012 HAS SOPS 488012 HAS SOUS 335616 HAS SOUPS 335616 WITH SCORE 336104.012
AT ITER 1486 NEW BEST:: SOT 2352166 SOS 488038 HAS SOPS 488038 HAS SOUS 335434 HAS SOUPS 335434 WITH SCORE 335922.038
AT ITER 1491 NEW BEST:: SOT 2351989 SOS 487684 HAS SOPS 487684 HAS SOUS 335257 HAS SOUPS 335257 WITH SCORE 335744.684
AT ITER 1554 NEW BEST:: SOT 2351751 SOS 487327 HAS SOPS 487327 HAS SOUS 335019 HAS SOUPS 335019 WITH SCORE 335506.327
AT ITER 1562 NEW BEST:: SOT 2351554 SOS 487191 HAS SOPS 487191 HAS SOUS 334890 HAS SOUPS 334890 WITH SCORE 335377.191
AT ITER 1567 NEW BEST:: SOT 2351410 SOS 487079 HAS SOPS 487079 HAS SOUS 334858 HAS SOUPS 334858 WITH SCORE 335345.079
AT ITER 1577 NEW BEST:: SOT 2351409 SOS 487064 HAS SOPS 487064 HAS SOUS 334843 HAS SOUPS 334843 WITH SCORE 335330.064
AT ITER 1595 NEW BEST:: SOT 2351408 SOS 487062 HAS SOPS 487062 HAS SOUS 334841 HAS SOUPS 334841 WITH SCORE 335328.062
AT ITER 1626 NEW BEST:: SOT 2351342 SOS 486930 HAS SOPS 486930 HAS SOUS 334709 HAS SOUPS 334709 WITH SCORE 335195.93
AT ITER 1629 NEW BEST:: SOT 2351180 SOS 486768 HAS SOPS 486768 HAS SOUS 334547 HAS SOUPS 334547 WITH SCORE 335033.768
AT ITER 1682 NEW BEST:: SOT 2351008 SOS 486767 HAS SOPS 486767 HAS SOUS 334546 HAS SOUPS 334546 WITH SCORE 335032.767
AT ITER 1738 NEW BEST:: SOT 2350620 SOS 486416 HAS SOPS 486416 HAS SOUS 333868 HAS SOUPS 333868 WITH SCORE 334354.416
AT ITER 1741 NEW BEST:: SOT 2350557 SOS 486290 HAS SOPS 486290 HAS SOUS 333742 HAS SOUPS 333742 WITH SCORE 334228.29
AT ITER 1770 NEW BEST:: SOT 2350389 SOS 485898 HAS SOPS 485898 HAS SOUS 333518 HAS SOUPS 333518 WITH SCORE 334003.898
AT ITER 1780 NEW BEST:: SOT 2350389 SOS 485868 HAS SOPS 485868 HAS SOUS 333503 HAS SOUPS 333503 WITH SCORE 333988.868
AT ITER 1810 NEW BEST:: SOT 2350318 SOS 485797 HAS SOPS 485797 HAS SOUS 333503 HAS SOUPS 333503 WITH SCORE 333988.797
AT ITER 1822 NEW BEST:: SOT 2349289 SOS 485407 HAS SOPS 485407 HAS SOUS 332995 HAS SOUPS 332995 WITH SCORE 333480.407
AT ITER 1832 NEW BEST:: SOT 2349267 SOS 485363 HAS SOPS 485363 HAS SOUS 332951 HAS SOUPS 332951 WITH SCORE 333436.363
AT ITER 1834 NEW BEST:: SOT 2349267 SOS 485363 HAS SOPS 485363 HAS SOUS 332852 HAS SOUPS 332852 WITH SCORE 333337.363
AT ITER 1844 NEW BEST:: SOT 2348803 SOS 484891 HAS SOPS 484891 HAS SOUS 332503 HAS SOUPS 332503 WITH SCORE 332987.891
AT ITER 1857 NEW BEST:: SOT 2348802 SOS 484889 HAS SOPS 484889 HAS SOUS 332501 HAS SOUPS 332501 WITH SCORE 332985.889
AT ITER 1858 NEW BEST:: SOT 2348802 SOS 484865 HAS SOPS 484865 HAS SOUS 332437 HAS SOUPS 332437 WITH SCORE 332921.865
AT ITER 1906 NEW BEST:: SOT 2348586 SOS 484859 HAS SOPS 484859 HAS SOUS 332342 HAS SOUPS 332342 WITH SCORE 332826.859
AT ITER 1958 NEW BEST:: SOT 2348586 SOS 484752 HAS SOPS 484752 HAS SOUS 332235 HAS SOUPS 332235 WITH SCORE 332719.752
AT ITER 1964 NEW BEST:: SOT 2348522 SOS 484624 HAS SOPS 484624 HAS SOUS 332107 HAS SOUPS 332107 WITH SCORE 332591.624
AT ITER 1970 NEW BEST:: SOT 2348479 SOS 484538 HAS SOPS 484538 HAS SOUS 332021 HAS SOUPS 332021 WITH SCORE 332505.538
AT ITER 1992 NEW BEST:: SOT 2348465 SOS 484496 HAS SOPS 484496 HAS SOUS 332007 HAS SOUPS 332007 WITH SCORE 332491.496
AT ITER 1996 NEW BEST:: SOT 2348411 SOS 484226 HAS SOPS 484226 HAS SOUS 331899 HAS SOUPS 331899 WITH SCORE 332383.226
AT ITER 1997 NEW BEST:: SOT 2348411 SOS 484192 HAS SOPS 484192 HAS SOUS 331865 HAS SOUPS 331865 WITH SCORE 332349.192
AT ITER 2011 NEW BEST:: SOT 2348375 SOS 484120 HAS SOPS 484120 HAS SOUS 331793 HAS SOUPS 331793 WITH SCORE 332277.12
AT ITER 2018 NEW BEST:: SOT 2348241 SOS 483986 HAS SOPS 483986 HAS SOUS 331659 HAS SOUPS 331659 WITH SCORE 332142.986
AT ITER 2063 NEW BEST:: SOT 2348241 SOS 483960 HAS SOPS 483960 HAS SOUS 331633 HAS SOUPS 331633 WITH SCORE 332116.96
AT ITER 2065 NEW BEST:: SOT 2348241 SOS 483960 HAS SOPS 483960 HAS SOUS 331630 HAS SOUPS 331630 WITH SCORE 332113.96
AT ITER 2069 NEW BEST:: SOT 2348033 SOS 483544 HAS SOPS 483544 HAS SOUS 331214 HAS SOUPS 331214 WITH SCORE 331697.544
AT ITER 2146 NEW BEST:: SOT 2348033 SOS 483369 HAS SOPS 483369 HAS SOUS 331214 HAS SOUPS 331214 WITH SCORE 331697.369
AT ITER 2172 NEW BEST:: SOT 2348021 SOS 483345 HAS SOPS 483345 HAS SOUS 331076 HAS SOUPS 331076 WITH SCORE 331559.345
AT ITER 2182 NEW BEST:: SOT 2348021 SOS 483659 HAS SOPS 483659 HAS SOUS 331075 HAS SOUPS 331075 WITH SCORE 331558.659
AT ITER 2215 NEW BEST:: SOT 2347399 SOS 482762 HAS SOPS 482762 HAS SOUS 329831 HAS SOUPS 329831 WITH SCORE 330313.762
AT ITER 2226 NEW BEST:: SOT 2347325 SOS 482376 HAS SOPS 482376 HAS SOUS 329662 HAS SOUPS 329662 WITH SCORE 330144.376
AT ITER 2249 NEW BEST:: SOT 2347147 SOS 482020 HAS SOPS 482020 HAS SOUS 329508 HAS SOUPS 329508 WITH SCORE 329990.02
AT ITER 2251 NEW BEST:: SOT 2347475 SOS 481772 HAS SOPS 481772 HAS SOUS 329403 HAS SOUPS 329403 WITH SCORE 329884.772
AT ITER 2289 NEW BEST:: SOT 2347339 SOS 481500 HAS SOPS 481500 HAS SOUS 329260 HAS SOUPS 329260 WITH SCORE 329741.5
AT ITER 2307 NEW BEST:: SOT 2347021 SOS 480864 HAS SOPS 480864 HAS SOUS 328710 HAS SOUPS 328710 WITH SCORE 329190.864
AT ITER 2321 NEW BEST:: SOT 2347012 SOS 480846 HAS SOPS 480846 HAS SOUS 328692 HAS SOUPS 328692 WITH SCORE 329172.846
AT ITER 2326 NEW BEST:: SOT 2347055 SOS 480932 HAS SOPS 480932 HAS SOUS 328517 HAS SOUPS 328517 WITH SCORE 328997.932
AT ITER 2328 NEW BEST:: SOT 2346989 SOS 480752 HAS SOPS 480752 HAS SOUS 328337 HAS SOUPS 328337 WITH SCORE 328817.752
AT ITER 2334 NEW BEST:: SOT 2346956 SOS 480719 HAS SOPS 480719 HAS SOUS 328304 HAS SOUPS 328304 WITH SCORE 328784.719
AT ITER 2392 NEW BEST:: SOT 2346972 SOS 481091 HAS SOPS 481091 HAS SOUS 328163 HAS SOUPS 328163 WITH SCORE 328644.091
AT ITER 2404 NEW BEST:: SOT 2346020 SOS 480195 HAS SOPS 480195 HAS SOUS 327211 HAS SOUPS 327211 WITH SCORE 327691.195
AT ITER 2405 NEW BEST:: SOT 2345844 SOS 480265 HAS SOPS 480265 HAS SOUS 327187 HAS SOUPS 327187 WITH SCORE 327667.265
AT ITER 2409 NEW BEST:: SOT 2345819 SOS 480215 HAS SOPS 480215 HAS SOUS 327162 HAS SOUPS 327162 WITH SCORE 327642.215
AT ITER 2412 NEW BEST:: SOT 2345579 SOS 479989 HAS SOPS 479989 HAS SOUS 326969 HAS SOUPS 326969 WITH SCORE 327448.989
AT ITER 2439 NEW BEST:: SOT 2345578 SOS 479987 HAS SOPS 479987 HAS SOUS 326967 HAS SOUPS 326967 WITH SCORE 327446.987
AT ITER 2443 NEW BEST:: SOT 2345560 SOS 479933 HAS SOPS 479933 HAS SOUS 326931 HAS SOUPS 326931 WITH SCORE 327410.933
AT ITER 2444 NEW BEST:: SOT 2345541 SOS 479895 HAS SOPS 479895 HAS SOUS 326893 HAS SOUPS 326893 WITH SCORE 327372.895
AT ITER 2453 NEW BEST:: SOT 2345540 SOS 479830 HAS SOPS 479830 HAS SOUS 326860 HAS SOUPS 326860 WITH SCORE 327339.83
AT ITER 2465 NEW BEST:: SOT 2345468 SOS 479686 HAS SOPS 479686 HAS SOUS 326797 HAS SOUPS 326797 WITH SCORE 327276.686
AT ITER 2470 NEW BEST:: SOT 2345443 SOS 479636 HAS SOPS 479636 HAS SOUS 326741 HAS SOUPS 326741 WITH SCORE 327220.636
AT ITER 2479 NEW BEST:: SOT 2345443 SOS 479877 HAS SOPS 479877 HAS SOUS 326655 HAS SOUPS 326655 WITH SCORE 327134.877
AT ITER 2480 NEW BEST:: SOT 2344985 SOS 479765 HAS SOPS 479765 HAS SOUS 326501 HAS SOUPS 326501 WITH SCORE 326980.765
AT ITER 2561 NEW BEST:: SOT 2344957 SOS 479737 HAS SOPS 479737 HAS SOUS 326473 HAS SOUPS 326473 WITH SCORE 326952.737
AT ITER 2581 NEW BEST:: SOT 2344899 SOS 479621 HAS SOPS 479621 HAS SOUS 326357 HAS SOUPS 326357 WITH SCORE 326836.621
AT ITER 2582 NEW BEST:: SOT 2344809 SOS 479441 HAS SOPS 479441 HAS SOUS 326177 HAS SOUPS 326177 WITH SCORE 326656.441
AT ITER 2614 NEW BEST:: SOT 2344809 SOS 479441 HAS SOPS 479441 HAS SOUS 326157 HAS SOUPS 326157 WITH SCORE 326636.441
AT ITER 2618 NEW BEST:: SOT 2344715 SOS 478480 HAS SOPS 478480 HAS SOUS 325896 HAS SOUPS 325896 WITH SCORE 326374.48
AT ITER 2628 NEW BEST:: SOT 2343548 SOS 478778 HAS SOPS 478778 HAS SOUS 325455 HAS SOUPS 325455 WITH SCORE 325933.778
AT ITER 2633 NEW BEST:: SOT 2342065 SOS 478313 HAS SOPS 478313 HAS SOUS 324998 HAS SOUPS 324998 WITH SCORE 325476.313
AT ITER 2693 NEW BEST:: SOT 2341775 SOS 477166 HAS SOPS 477166 HAS SOUS 324519 HAS SOUPS 324519 WITH SCORE 324996.166
AT ITER 2698 NEW BEST:: SOT 2341556 SOS 476947 HAS SOPS 476947 HAS SOUS 324300 HAS SOUPS 324300 WITH SCORE 324776.947
AT ITER 2709 NEW BEST:: SOT 2341556 SOS 476943 HAS SOPS 476943 HAS SOUS 324299 HAS SOUPS 324299 WITH SCORE 324775.943
AT ITER 2711 NEW BEST:: SOT 2341555 SOS 476941 HAS SOPS 476941 HAS SOUS 324297 HAS SOUPS 324297 WITH SCORE 324773.941
AT ITER 2746 NEW BEST:: SOT 2341555 SOS 476537 HAS SOPS 476537 HAS SOUS 324297 HAS SOUPS 324297 WITH SCORE 324773.537
AT ITER 2754 NEW BEST:: SOT 2341449 SOS 476427 HAS SOPS 476427 HAS SOUS 324296 HAS SOUPS 324296 WITH SCORE 324772.427
AT ITER 2760 NEW BEST:: SOT 2341449 SOS 476286 HAS SOPS 476286 HAS SOUS 324296 HAS SOUPS 324296 WITH SCORE 324772.286
AT ITER 2766 NEW BEST:: SOT 2341203 SOS 476040 HAS SOPS 476040 HAS SOUS 324050 HAS SOUPS 324050 WITH SCORE 324526.04
AT ITER 2770 NEW BEST:: SOT 2341203 SOS 476285 HAS SOPS 476285 HAS SOUS 324001 HAS SOUPS 324001 WITH SCORE 324477.285
AT ITER 2776 NEW BEST:: SOT 2341185 SOS 476249 HAS SOPS 476249 HAS SOUS 323935 HAS SOUPS 323935 WITH SCORE 324411.249
AT ITER 2796 NEW BEST:: SOT 2341177 SOS 476241 HAS SOPS 476241 HAS SOUS 323927 HAS SOUPS 323927 WITH SCORE 324403.241
AT ITER 2800 NEW BEST:: SOT 2341101 SOS 476542 HAS SOPS 476542 HAS SOUS 323851 HAS SOUPS 323851 WITH SCORE 324327.542
AT ITER 2825 NEW BEST:: SOT 2341094 SOS 476521 HAS SOPS 476521 HAS SOUS 323837 HAS SOUPS 323837 WITH SCORE 324313.521
AT ITER 2839 NEW BEST:: SOT 2341044 SOS 476421 HAS SOPS 476421 HAS SOUS 323737 HAS SOUPS 323737 WITH SCORE 324213.421
AT ITER 2887 NEW BEST:: SOT 2341041 SOS 476415 HAS SOPS 476415 HAS SOUS 323731 HAS SOUPS 323731 WITH SCORE 324207.415
AT ITER 2920 NEW BEST:: SOT 2340802 SOS 476206 HAS SOPS 476206 HAS SOUS 323524 HAS SOUPS 323524 WITH SCORE 324000.206
AT ITER 2931 NEW BEST:: SOT 2340802 SOS 476206 HAS SOPS 476206 HAS SOUS 323502 HAS SOUPS 323502 WITH SCORE 323978.206
AT ITER 2973 NEW BEST:: SOT 2340847 SOS 477070 HAS SOPS 477070 HAS SOUS 323407 HAS SOUPS 323407 WITH SCORE 323884.07
AT ITER 2976 NEW BEST:: SOT 2340838 SOS 476706 HAS SOPS 476706 HAS SOUS 323256 HAS SOUPS 323256 WITH SCORE 323732.706
AT ITER 2986 NEW BEST:: SOT 2340655 SOS 476195 HAS SOPS 476195 HAS SOUS 322991 HAS SOUPS 322991 WITH SCORE 323467.195
AT ITER 2995 NEW BEST:: SOT 2340252 SOS 475770 HAS SOPS 475770 HAS SOUS 322541 HAS SOUPS 322541 WITH SCORE 323016.77
AT ITER 3002 NEW BEST:: SOT 2340249 SOS 475770 HAS SOPS 475770 HAS SOUS 322535 HAS SOUPS 322535 WITH SCORE 323010.77
AT ITER 3011 NEW BEST:: SOT 2340041 SOS 475619 HAS SOPS 475619 HAS SOUS 322426 HAS SOUPS 322426 WITH SCORE 322901.619
AT ITER 3019 NEW BEST:: SOT 2339761 SOS 474884 HAS SOPS 474884 HAS SOUS 322069 HAS SOUPS 322069 WITH SCORE 322543.884
AT ITER 3020 NEW BEST:: SOT 2339748 SOS 474860 HAS SOPS 474860 HAS SOUS 322052 HAS SOUPS 322052 WITH SCORE 322526.86
AT ITER 3023 NEW BEST:: SOT 2339747 SOS 474858 HAS SOPS 474858 HAS SOUS 322050 HAS SOUPS 322050 WITH SCORE 322524.858
AT ITER 3071 NEW BEST:: SOT 2339709 SOS 474455 HAS SOPS 474455 HAS SOUS 322012 HAS SOUPS 322012 WITH SCORE 322486.455
AT ITER 3090 NEW BEST:: SOT 2339685 SOS 474407 HAS SOPS 474407 HAS SOUS 321964 HAS SOUPS 321964 WITH SCORE 322438.407
AT ITER 3122 NEW BEST:: SOT 2339569 SOS 474175 HAS SOPS 474175 HAS SOUS 321704 HAS SOUPS 321704 WITH SCORE 322178.175
AT ITER 3134 NEW BEST:: SOT 2338770 SOS 474316 HAS SOPS 474316 HAS SOUS 321272 HAS SOUPS 321272 WITH SCORE 321746.316
AT ITER 3162 NEW BEST:: SOT 2338646 SOS 474192 HAS SOPS 474192 HAS SOUS 321148 HAS SOUPS 321148 WITH SCORE 321622.192
AT ITER 3185 NEW BEST:: SOT 2338687 SOS 474153 HAS SOPS 474153 HAS SOUS 321109 HAS SOUPS 321109 WITH SCORE 321583.153
AT ITER 3206 NEW BEST:: SOT 2338636 SOS 474051 HAS SOPS 474051 HAS SOUS 321007 HAS SOUPS 321007 WITH SCORE 321481.051
AT ITER 3270 NEW BEST:: SOT 2338636 SOS 474001 HAS SOPS 474001 HAS SOUS 320957 HAS SOUPS 320957 WITH SCORE 321431.001
AT ITER 3286 NEW BEST:: SOT 2338404 SOS 473549 HAS SOPS 473549 HAS SOUS 320624 HAS SOUPS 320624 WITH SCORE 321097.549
AT ITER 3290 NEW BEST:: SOT 2338450 SOS 473641 HAS SOPS 473641 HAS SOUS 320561 HAS SOUPS 320561 WITH SCORE 321034.641
AT ITER 3306 NEW BEST:: SOT 2338371 SOS 473575 HAS SOPS 473575 HAS SOUS 320488 HAS SOUPS 320488 WITH SCORE 320961.575
AT ITER 3320 NEW BEST:: SOT 2338233 SOS 473299 HAS SOPS 473299 HAS SOUS 320212 HAS SOUPS 320212 WITH SCORE 320685.299
AT ITER 3325 NEW BEST:: SOT 2338213 SOS 473259 HAS SOPS 473259 HAS SOUS 320159 HAS SOUPS 320159 WITH SCORE 320632.259
AT ITER 3333 NEW BEST:: SOT 2338158 SOS 476222 HAS SOPS 476222 HAS SOUS 320049 HAS SOUPS 320049 WITH SCORE 320525.222
AT ITER 3401 NEW BEST:: SOT 2337981 SOS 476508 HAS SOPS 476508 HAS SOUS 320043 HAS SOUPS 320043 WITH SCORE 320519.508
AT ITER 3432 NEW BEST:: SOT 2337615 SOS 476065 HAS SOPS 476065 HAS SOUS 319600 HAS SOUPS 319600 WITH SCORE 320076.065
AT ITER 3473 NEW BEST:: SOT 2337443 SOS 475721 HAS SOPS 475721 HAS SOUS 319256 HAS SOUPS 319256 WITH SCORE 319731.721
AT ITER 3558 NEW BEST:: SOT 2337464 SOS 475687 HAS SOPS 475687 HAS SOUS 319222 HAS SOUPS 319222 WITH SCORE 319697.687
AT ITER 3574 NEW BEST:: SOT 2337284 SOS 475327 HAS SOPS 475327 HAS SOUS 318657 HAS SOUPS 318657 WITH SCORE 319132.327
AT ITER 3589 NEW BEST:: SOT 2337195 SOS 475232 HAS SOPS 475232 HAS SOUS 318651 HAS SOUPS 318651 WITH SCORE 319126.232
AT ITER 3590 NEW BEST:: SOT 2336990 SOS 474646 HAS SOPS 474646 HAS SOUS 318615 HAS SOUPS 318615 WITH SCORE 319089.646
AT ITER 3596 NEW BEST:: SOT 2336898 SOS 474556 HAS SOPS 474556 HAS SOUS 318523 HAS SOUPS 318523 WITH SCORE 318997.556
AT ITER 3613 NEW BEST:: SOT 2336803 SOS 474174 HAS SOPS 474174 HAS SOUS 318085 HAS SOUPS 318085 WITH SCORE 318559.174
AT ITER 3651 NEW BEST:: SOT 2336673 SOS 473914 HAS SOPS 473914 HAS SOUS 317825 HAS SOUPS 317825 WITH SCORE 318298.914
AT ITER 3671 NEW BEST:: SOT 2336465 SOS 473810 HAS SOPS 473810 HAS SOUS 317617 HAS SOUPS 317617 WITH SCORE 318090.81
AT ITER 3711 NEW BEST:: SOT 2336465 SOS 473807 HAS SOPS 473807 HAS SOUS 317616 HAS SOUPS 317616 WITH SCORE 318089.807
AT ITER 3737 NEW BEST:: SOT 2336267 SOS 470720 HAS SOPS 470720 HAS SOUS 317220 HAS SOUPS 317220 WITH SCORE 317690.72
AT ITER 3830 NEW BEST:: SOT 2336191 SOS 470294 HAS SOPS 470294 HAS SOUS 317007 HAS SOUPS 317007 WITH SCORE 317477.294
AT ITER 3837 NEW BEST:: SOT 2335663 SOS 469988 HAS SOPS 469988 HAS SOUS 316532 HAS SOUPS 316532 WITH SCORE 317001.988
AT ITER 3842 NEW BEST:: SOT 2335474 SOS 469816 HAS SOPS 469816 HAS SOUS 316360 HAS SOUPS 316360 WITH SCORE 316829.816
AT ITER 3887 NEW BEST:: SOT 2335211 SOS 469659 HAS SOPS 469659 HAS SOUS 316181 HAS SOUPS 316181 WITH SCORE 316650.659
AT ITER 3932 NEW BEST:: SOT 2335096 SOS 469628 HAS SOPS 469628 HAS SOUS 316150 HAS SOUPS 316150 WITH SCORE 316619.628
AT ITER 3938 NEW BEST:: SOT 2335095 SOS 469626 HAS SOPS 469626 HAS SOUS 316148 HAS SOUPS 316148 WITH SCORE 316617.626
AT ITER 3939 NEW BEST:: SOT 2335017 SOS 469470 HAS SOPS 469470 HAS SOUS 315992 HAS SOUPS 315992 WITH SCORE 316461.47
AT ITER 3943 NEW BEST:: SOT 2335023 SOS 468837 HAS SOPS 468837 HAS SOUS 315783 HAS SOUPS 315783 WITH SCORE 316251.837
AT ITER 3965 NEW BEST:: SOT 2334969 SOS 468729 HAS SOPS 468729 HAS SOUS 315630 HAS SOUPS 315630 WITH SCORE 316098.729
AT ITER 3977 NEW BEST:: SOT 2334968 SOS 468834 HAS SOPS 468834 HAS SOUS 315628 HAS SOUPS 315628 WITH SCORE 316096.834
AT ITER 3983 NEW BEST:: SOT 2334848 SOS 468594 HAS SOPS 468594 HAS SOUS 315469 HAS SOUPS 315469 WITH SCORE 315937.594
AT ITER 3996 NEW BEST:: SOT 2334749 SOS 468495 HAS SOPS 468495 HAS SOUS 315370 HAS SOUPS 315370 WITH SCORE 315838.495
AT ITER 4017 NEW BEST:: SOT 2334466 SOS 467292 HAS SOPS 467292 HAS SOUS 314972 HAS SOUPS 314972 WITH SCORE 315439.292
AT ITER 4062 NEW BEST:: SOT 2334342 SOS 467044 HAS SOPS 467044 HAS SOUS 314724 HAS SOUPS 314724 WITH SCORE 315191.044
AT ITER 4088 NEW BEST:: SOT 2334115 SOS 466835 HAS SOPS 466835 HAS SOUS 314501 HAS SOUPS 314501 WITH SCORE 314967.835
AT ITER 4092 NEW BEST:: SOT 2334115 SOS 466835 HAS SOPS 466835 HAS SOUS 314473 HAS SOUPS 314473 WITH SCORE 314939.835
AT ITER 4101 NEW BEST:: SOT 2334017 SOS 465750 HAS SOPS 465750 HAS SOUS 314131 HAS SOUPS 314131 WITH SCORE 314596.75
AT ITER 4119 NEW BEST:: SOT 2333912 SOS 465540 HAS SOPS 465540 HAS SOUS 313918 HAS SOUPS 313918 WITH SCORE 314383.54
AT ITER 4141 NEW BEST:: SOT 2333912 SOS 465426 HAS SOPS 465426 HAS SOUS 313804 HAS SOUPS 313804 WITH SCORE 314269.426
AT ITER 4182 NEW BEST:: SOT 2333789 SOS 465303 HAS SOPS 465303 HAS SOUS 313681 HAS SOUPS 313681 WITH SCORE 314146.303
AT ITER 4218 NEW BEST:: SOT 2333819 SOS 465231 HAS SOPS 465231 HAS SOUS 313654 HAS SOUPS 313654 WITH SCORE 314119.231
AT ITER 4240 NEW BEST:: SOT 2333819 SOS 465139 HAS SOPS 465139 HAS SOUS 313600 HAS SOUPS 313600 WITH SCORE 314065.139
AT ITER 4248 NEW BEST:: SOT 2333800 SOS 465101 HAS SOPS 465101 HAS SOUS 313600 HAS SOUPS 313600 WITH SCORE 314065.101
AT ITER 4280 NEW BEST:: SOT 2333710 SOS 465056 HAS SOPS 465056 HAS SOUS 313555 HAS SOUPS 313555 WITH SCORE 314020.056
AT ITER 4293 NEW BEST:: SOT 2333652 SOS 464997 HAS SOPS 464997 HAS SOUS 313494 HAS SOUPS 313494 WITH SCORE 313958.997
AT ITER 4345 NEW BEST:: SOT 2333591 SOS 464235 HAS SOPS 464235 HAS SOUS 313113 HAS SOUPS 313113 WITH SCORE 313577.235
AT ITER 4347 NEW BEST:: SOT 2333551 SOS 464155 HAS SOPS 464155 HAS SOUS 313113 HAS SOUPS 313113 WITH SCORE 313577.155
AT ITER 4410 NEW BEST:: SOT 2333593 SOS 464068 HAS SOPS 464068 HAS SOUS 313112 HAS SOUPS 313112 WITH SCORE 313576.068
AT ITER 4479 NEW BEST:: SOT 2333736 SOS 463385 HAS SOPS 463385 HAS SOUS 313048 HAS SOUPS 313048 WITH SCORE 313511.385
AT ITER 4487 NEW BEST:: SOT 2333679 SOS 463271 HAS SOPS 463271 HAS SOUS 312991 HAS SOUPS 312991 WITH SCORE 313454.271
AT ITER 4494 NEW BEST:: SOT 2333630 SOS 463222 HAS SOPS 463222 HAS SOUS 312942 HAS SOUPS 312942 WITH SCORE 313405.222
AT ITER 4497 NEW BEST:: SOT 2333529 SOS 463020 HAS SOPS 463020 HAS SOUS 312740 HAS SOUPS 312740 WITH SCORE 313203.02
AT ITER 4547 NEW BEST:: SOT 2333681 SOS 462868 HAS SOPS 462868 HAS SOUS 312740 HAS SOUPS 312740 WITH SCORE 313202.868
AT ITER 4620 NEW BEST:: SOT 2333317 SOS 462376 HAS SOPS 462376 HAS SOUS 312375 HAS SOUPS 312375 WITH SCORE 312837.376
AT ITER 4630 NEW BEST:: SOT 2333301 SOS 462344 HAS SOPS 462344 HAS SOUS 312359 HAS SOUPS 312359 WITH SCORE 312821.344
AT ITER 4640 NEW BEST:: SOT 2333153 SOS 461604 HAS SOPS 461604 HAS SOUS 312063 HAS SOUPS 312063 WITH SCORE 312524.604
AT ITER 4661 NEW BEST:: SOT 2332817 SOS 461435 HAS SOPS 461435 HAS SOUS 311894 HAS SOUPS 311894 WITH SCORE 312355.435
AT ITER 4699 NEW BEST:: SOT 2332653 SOS 461107 HAS SOPS 461107 HAS SOUS 311756 HAS SOUPS 311756 WITH SCORE 312217.107
AT ITER 4738 NEW BEST:: SOT 2332653 SOS 461021 HAS SOPS 461021 HAS SOUS 311756 HAS SOUPS 311756 WITH SCORE 312217.021
AT ITER 4739 NEW BEST:: SOT 2332913 SOS 461541 HAS SOPS 461541 HAS SOUS 311630 HAS SOUPS 311630 WITH SCORE 312091.541
AT ITER 4779 NEW BEST:: SOT 2332881 SOS 461477 HAS SOPS 461477 HAS SOUS 311566 HAS SOUPS 311566 WITH SCORE 312027.477
AT ITER 4854 NEW BEST:: SOT 2332879 SOS 461473 HAS SOPS 461473 HAS SOUS 311562 HAS SOUPS 311562 WITH SCORE 312023.473
AT ITER 4892 NEW BEST:: SOT 2332871 SOS 461470 HAS SOPS 461470 HAS SOUS 311561 HAS SOUPS 311561 WITH SCORE 312022.47
AT ITER 4899 NEW BEST:: SOT 2332870 SOS 461468 HAS SOPS 461468 HAS SOUS 311559 HAS SOUPS 311559 WITH SCORE 312020.468
AT ITER 4918 NEW BEST:: SOT 2332872 SOS 461472 HAS SOPS 461472 HAS SOUS 311458 HAS SOUPS 311458 WITH SCORE 311919.472
AT ITER 4920 NEW BEST:: SOT 2332755 SOS 461355 HAS SOPS 461355 HAS SOUS 311458 HAS SOUPS 311458 WITH SCORE 311919.355
AT ITER 4931 NEW BEST:: SOT 2332620 SOS 461532 HAS SOPS 461532 HAS SOUS 311323 HAS SOUPS 311323 WITH SCORE 311784.532
AT ITER 4979 NEW BEST:: SOT 2332639 SOS 461513 HAS SOPS 461513 HAS SOUS 311304 HAS SOUPS 311304 WITH SCORE 311765.513
AT ITER 4980 NEW BEST:: SOT 2332630 SOS 461495 HAS SOPS 461495 HAS SOUS 311286 HAS SOUPS 311286 WITH SCORE 311747.495
AT ITER 4983 NEW BEST:: SOT 2332492 SOS 461347 HAS SOPS 461347 HAS SOUS 311224 HAS SOUPS 311224 WITH SCORE 311685.347
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-04b-CTLCardinality-00 (EG( (! potential( ( 1 ) <= (tk(P1029)) ))))
PROPERTY: DLCround-PT-04b-CTLCardinality-01 ( ( ( (AG( potential( (tk(P956)) <= (tk(P834)) ))) | ( ( potential( (tk(P896)) <= (tk(P229)) ) & potential( ( 1 ) <= (tk(P1455)) ) ) & ( potential( (tk(P657)) <= (tk(P544)) ) | potential( (tk(P1619)) <= (tk(P997)) ) ) ) ) & potential( ( 3 ) <= (tk(P623)) ) ) | (AU( potential( (tk(P335)) <= (tk(P709)) ),( potential( ( 1 ) <= (tk(P1551)) ) | potential( ( 3 ) <= (tk(P256)) ) ) )) )
PROPERTY: DLCround-PT-04b-CTLCardinality-02 ( ( potential( (tk(P1492)) <= (tk(P764)) ) & (EU( potential( (tk(P1389)) <= (tk(P1032)) ),potential( ( 3 ) <= (tk(P342)) ) )) ) | (! (EU( potential( (tk(P327)) <= (tk(P999)) ),potential( ( 1 ) <= (tk(P728)) ) ))) )
PROPERTY: DLCround-PT-04b-CTLCardinality-03 ( (! (EF(( potential( (tk(P651)) <= (tk(P1450)) ) & potential( ( 2 ) <= (tk(P561)) ) )))) & ( ( (EF(potential( ( 1 ) <= (tk(P1557)) ))) | (EG( potential( (tk(P532)) <= (tk(P1058)) ))) ) | (AU( potential( (tk(P1578)) <= (tk(P815)) ),potential( ( 1 ) <= (tk(P1202)) ) )) ) )
PROPERTY: DLCround-PT-04b-CTLCardinality-04 ( (AG( ( ( potential( ( 3 ) <= (tk(P185)) ) & potential( ( 2 ) <= (tk(P974)) ) ) & (! potential( (tk(P51)) <= (tk(P196)) )) ))) | (! (EF(potential( ( 3 ) <= (tk(P699)) )))) )
PROPERTY: DLCround-PT-04b-CTLCardinality-05 (EF((EF((! potential( (tk(P1440)) <= (tk(P965)) ))))))
PROPERTY: DLCround-PT-04b-CTLCardinality-06 ( (! (AG( ( potential( (tk(P842)) <= (tk(P58)) ) | potential( (tk(P1567)) <= (tk(P1285)) ) )))) & ( ( (! (! potential( (tk(P1065)) <= (tk(P244)) ))) | (EF(potential( ( 2 ) <= (tk(P1251)) ))) ) & (EG( ( potential( (tk(P535)) <= (tk(P1562)) ) | potential( (tk(P741)) <= (tk(P599)) ) ))) ) )
PROPERTY: DLCround-PT-04b-CTLCardinality-07 (EF(( (EF(potential( ( 2 ) <= (tk(P1431)) ))) & ( potential( ( 3 ) <= (tk(P192)) ) | potential( ( 3 ) <= (tk(P860)) ) ) )))
PROPERTY: DLCround-PT-04b-CTLCardinality-08 (AF(( ( ( potential( ( 1 ) <= (tk(P1610)) ) & potential( ( 2 ) <= (tk(P755)) ) ) & potential( (tk(P586)) <= (tk(P1288)) ) ) | ( (! potential( (tk(P174)) <= (tk(P509)) )) & ( potential( ( 1 ) <= (tk(P332)) ) | potential( (tk(P1177)) <= (tk(P498)) ) ) ) )))
PROPERTY: DLCround-PT-04b-CTLCardinality-09 ( (EX( (AG( potential( (tk(P727)) <= (tk(P991)) ))))) & (EX( ( (! potential( ( 3 ) <= (tk(P566)) )) | potential( ( 3 ) <= (tk(P1489)) ) ))) )
PROPERTY: DLCround-PT-04b-CTLCardinality-10 (EF((AG( ( potential( ( 2 ) <= (tk(P668)) ) | potential( (tk(P778)) <= (tk(P1089)) ) )))))
PROPERTY: DLCround-PT-04b-CTLCardinality-11 ( (EF(( ( potential( (tk(P1051)) <= (tk(P6)) ) & potential( (tk(P973)) <= (tk(P1109)) ) ) & ( potential( ( 3 ) <= (tk(P1202)) ) | potential( ( 2 ) <= (tk(P807)) ) ) ))) | potential( ( 2 ) <= (tk(P508)) ) )
PROPERTY: DLCround-PT-04b-CTLCardinality-12 (AF(( (! potential( ( 3 ) <= (tk(P610)) )) & (AX( potential( ( 3 ) <= (tk(P936)) ))) )))
PROPERTY: DLCround-PT-04b-CTLCardinality-13 (EF((! (AG( potential( (tk(P120)) <= (tk(P360)) ))))))
PROPERTY: DLCround-PT-04b-CTLCardinality-14 (AF(( potential( ( 2 ) <= (tk(P919)) ) & ( ( potential( ( 2 ) <= (tk(P163)) ) | potential( (tk(P113)) <= (tk(P1052)) ) ) & (! potential( (tk(P344)) <= (tk(P1082)) )) ) )))
PROPERTY: DLCround-PT-04b-CTLCardinality-15 (EG( (! ( potential( ( 1 ) <= (tk(P1391)) ) | (! potential( (tk(P1494)) <= (tk(P642)) )) ))))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-04b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-04b, examination is CTLCardinality"
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-158902542200475"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-04b.tgz
mv DLCround-PT-04b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;