About the Execution of smart for PolyORBNT-PT-S10J20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15764.160 | 2933098.00 | 2933030.00 | 0.00 | [undef] | Cannot compute |
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.r123-tajo-158961355100675.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 PolyORBNT-PT-S10J20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100675
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 26M
-rw-r--r-- 1 mcc users 13K Apr 12 06:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Apr 12 06:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 490K Apr 11 06:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 06:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.0M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Apr 10 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 10 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 273K Apr 9 19:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 727K Apr 9 19:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M 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 PolyORBNT-PT-S10J20-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S10J20-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589647172260
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J20
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: 474 places, 11760 transitions, 111119 arcs.
AT ITER 0 NEW BEST:: SOT 3192894 SOS 1463028 HAS SOPS 1463028 HAS SOUS 207509 HAS SOUPS 207509 WITH SCORE 208972.028
AT ITER 11 NEW BEST:: SOT 3192894 SOS 1463093 HAS SOPS 1463093 HAS SOUS 207454 HAS SOUPS 207454 WITH SCORE 208917.093
AT ITER 13 NEW BEST:: SOT 3192662 SOS 1463151 HAS SOPS 1463151 HAS SOUS 207165 HAS SOUPS 207165 WITH SCORE 208628.151
AT ITER 16 NEW BEST:: SOT 3192662 SOS 1463151 HAS SOPS 1463151 HAS SOUS 207097 HAS SOUPS 207097 WITH SCORE 208560.151
AT ITER 19 NEW BEST:: SOT 3192617 SOS 1463106 HAS SOPS 1463106 HAS SOUS 207052 HAS SOUPS 207052 WITH SCORE 208515.106
AT ITER 22 NEW BEST:: SOT 3192617 SOS 1463106 HAS SOPS 1463106 HAS SOUS 206954 HAS SOUPS 206954 WITH SCORE 208417.106
AT ITER 24 NEW BEST:: SOT 3192606 SOS 1463111 HAS SOPS 1463111 HAS SOUS 206949 HAS SOUPS 206949 WITH SCORE 208412.111
AT ITER 33 NEW BEST:: SOT 3192524 SOS 1463029 HAS SOPS 1463029 HAS SOUS 206867 HAS SOUPS 206867 WITH SCORE 208330.029
AT ITER 41 NEW BEST:: SOT 3192475 SOS 1462918 HAS SOPS 1462918 HAS SOUS 206198 HAS SOUPS 206198 WITH SCORE 207660.918
AT ITER 47 NEW BEST:: SOT 3192429 SOS 1462872 HAS SOPS 1462872 HAS SOUS 206152 HAS SOUPS 206152 WITH SCORE 207614.872
AT ITER 53 NEW BEST:: SOT 3192492 SOS 1462982 HAS SOPS 1462982 HAS SOUS 206142 HAS SOUPS 206142 WITH SCORE 207604.982
AT ITER 56 NEW BEST:: SOT 3192469 SOS 1462917 HAS SOPS 1462917 HAS SOUS 205699 HAS SOUPS 205699 WITH SCORE 207161.917
AT ITER 60 NEW BEST:: SOT 3192765 SOS 1463151 HAS SOPS 1463151 HAS SOUS 205375 HAS SOUPS 205375 WITH SCORE 206838.151
AT ITER 64 NEW BEST:: SOT 3192773 SOS 1463255 HAS SOPS 1463255 HAS SOUS 205315 HAS SOUPS 205315 WITH SCORE 206778.255
AT ITER 71 NEW BEST:: SOT 3192747 SOS 1463255 HAS SOPS 1463255 HAS SOUS 205312 HAS SOUPS 205312 WITH SCORE 206775.255
AT ITER 73 NEW BEST:: SOT 3190071 SOS 1495229 HAS SOPS 1495229 HAS SOUS 204730 HAS SOUPS 204730 WITH SCORE 206225.229
AT ITER 74 NEW BEST:: SOT 3189967 SOS 1495127 HAS SOPS 1495127 HAS SOUS 204626 HAS SOUPS 204626 WITH SCORE 206121.127
AT ITER 78 NEW BEST:: SOT 3189959 SOS 1494951 HAS SOPS 1494951 HAS SOUS 204610 HAS SOUPS 204610 WITH SCORE 206104.951
AT ITER 96 NEW BEST:: SOT 3189894 SOS 1494886 HAS SOPS 1494886 HAS SOUS 204545 HAS SOUPS 204545 WITH SCORE 206039.886
AT ITER 101 NEW BEST:: SOT 3189894 SOS 1494817 HAS SOPS 1494817 HAS SOUS 204476 HAS SOUPS 204476 WITH SCORE 205970.817
AT ITER 114 NEW BEST:: SOT 3189885 SOS 1494808 HAS SOPS 1494808 HAS SOUS 204467 HAS SOUPS 204467 WITH SCORE 205961.808
AT ITER 118 NEW BEST:: SOT 3189868 SOS 1494791 HAS SOPS 1494791 HAS SOUS 204450 HAS SOUPS 204450 WITH SCORE 205944.791
AT ITER 146 NEW BEST:: SOT 3189836 SOS 1494797 HAS SOPS 1494797 HAS SOUS 204433 HAS SOUPS 204433 WITH SCORE 205927.797
AT ITER 147 NEW BEST:: SOT 3189805 SOS 1494840 HAS SOPS 1494840 HAS SOUS 204414 HAS SOUPS 204414 WITH SCORE 205908.84
AT ITER 148 NEW BEST:: SOT 3189799 SOS 1494793 HAS SOPS 1494793 HAS SOUS 204033 HAS SOUPS 204033 WITH SCORE 205527.793
AT ITER 161 NEW BEST:: SOT 3189935 SOS 1494793 HAS SOPS 1494793 HAS SOUS 203116 HAS SOUPS 203116 WITH SCORE 204610.793
AT ITER 162 NEW BEST:: SOT 3189931 SOS 1494789 HAS SOPS 1494789 HAS SOUS 203107 HAS SOUPS 203107 WITH SCORE 204601.789
AT ITER 165 NEW BEST:: SOT 3189931 SOS 1494796 HAS SOPS 1494796 HAS SOUS 203102 HAS SOUPS 203102 WITH SCORE 204596.796
AT ITER 177 NEW BEST:: SOT 3170411 SOS 1507669 HAS SOPS 1507669 HAS SOUS 184171 HAS SOUPS 184171 WITH SCORE 185678.669
AT ITER 178 NEW BEST:: SOT 3170411 SOS 1507662 HAS SOPS 1507662 HAS SOUS 184164 HAS SOUPS 184164 WITH SCORE 185671.662
AT ITER 180 NEW BEST:: SOT 3170411 SOS 1507673 HAS SOPS 1507673 HAS SOUS 184153 HAS SOUPS 184153 WITH SCORE 185660.673
AT ITER 191 NEW BEST:: SOT 3170295 SOS 1507557 HAS SOPS 1507557 HAS SOUS 184037 HAS SOUPS 184037 WITH SCORE 185544.557
AT ITER 202 NEW BEST:: SOT 3170201 SOS 1507422 HAS SOPS 1507422 HAS SOUS 183323 HAS SOUPS 183323 WITH SCORE 184830.422
AT ITER 212 NEW BEST:: SOT 3169907 SOS 1507128 HAS SOPS 1507128 HAS SOUS 183029 HAS SOUPS 183029 WITH SCORE 184536.128
AT ITER 219 NEW BEST:: SOT 3169805 SOS 1506985 HAS SOPS 1506985 HAS SOUS 182307 HAS SOUPS 182307 WITH SCORE 183813.985
AT ITER 228 NEW BEST:: SOT 3169783 SOS 1506922 HAS SOPS 1506922 HAS SOUS 181701 HAS SOUPS 181701 WITH SCORE 183207.922
AT ITER 244 NEW BEST:: SOT 3169561 SOS 1506700 HAS SOPS 1506700 HAS SOUS 181479 HAS SOUPS 181479 WITH SCORE 182985.7
AT ITER 258 NEW BEST:: SOT 3169491 SOS 1506630 HAS SOPS 1506630 HAS SOUS 181409 HAS SOUPS 181409 WITH SCORE 182915.63
AT ITER 263 NEW BEST:: SOT 3169163 SOS 1518545 HAS SOPS 1518545 HAS SOUS 181366 HAS SOUPS 181366 WITH SCORE 182884.545
AT ITER 276 NEW BEST:: SOT 3169163 SOS 1518545 HAS SOPS 1518545 HAS SOUS 181364 HAS SOUPS 181364 WITH SCORE 182882.545
AT ITER 286 NEW BEST:: SOT 3169161 SOS 1518543 HAS SOPS 1518543 HAS SOUS 181362 HAS SOUPS 181362 WITH SCORE 182880.543
AT ITER 291 NEW BEST:: SOT 3169243 SOS 1518584 HAS SOPS 1518584 HAS SOUS 180928 HAS SOUPS 180928 WITH SCORE 182446.584
AT ITER 293 NEW BEST:: SOT 3169172 SOS 1518513 HAS SOPS 1518513 HAS SOUS 180857 HAS SOUPS 180857 WITH SCORE 182375.513
AT ITER 312 NEW BEST:: SOT 3169189 SOS 1518304 HAS SOPS 1518304 HAS SOUS 180801 HAS SOUPS 180801 WITH SCORE 182319.304
AT ITER 323 NEW BEST:: SOT 3169186 SOS 1518298 HAS SOPS 1518298 HAS SOUS 180795 HAS SOUPS 180795 WITH SCORE 182313.298
AT ITER 325 NEW BEST:: SOT 3169186 SOS 1518257 HAS SOPS 1518257 HAS SOUS 180175 HAS SOUPS 180175 WITH SCORE 181693.257
AT ITER 328 NEW BEST:: SOT 3169186 SOS 1518257 HAS SOPS 1518257 HAS SOUS 179914 HAS SOUPS 179914 WITH SCORE 181432.257
AT ITER 340 NEW BEST:: SOT 3169151 SOS 1518187 HAS SOPS 1518187 HAS SOUS 179844 HAS SOUPS 179844 WITH SCORE 181362.187
AT ITER 360 NEW BEST:: SOT 3168954 SOS 1517903 HAS SOPS 1517903 HAS SOUS 179560 HAS SOUPS 179560 WITH SCORE 181077.903
AT ITER 365 NEW BEST:: SOT 3168912 SOS 1517820 HAS SOPS 1517820 HAS SOUS 178977 HAS SOUPS 178977 WITH SCORE 180494.82
AT ITER 367 NEW BEST:: SOT 3168906 SOS 1517814 HAS SOPS 1517814 HAS SOUS 178971 HAS SOUPS 178971 WITH SCORE 180488.814
AT ITER 372 NEW BEST:: SOT 3168740 SOS 1517648 HAS SOPS 1517648 HAS SOUS 178805 HAS SOUPS 178805 WITH SCORE 180322.648
AT ITER 381 NEW BEST:: SOT 3168740 SOS 1517648 HAS SOPS 1517648 HAS SOUS 178745 HAS SOUPS 178745 WITH SCORE 180262.648
AT ITER 385 NEW BEST:: SOT 3168577 SOS 1517485 HAS SOPS 1517485 HAS SOUS 178582 HAS SOUPS 178582 WITH SCORE 180099.485
AT ITER 386 NEW BEST:: SOT 3168526 SOS 1517434 HAS SOPS 1517434 HAS SOUS 178531 HAS SOUPS 178531 WITH SCORE 180048.434
AT ITER 388 NEW BEST:: SOT 3168526 SOS 1517432 HAS SOPS 1517432 HAS SOUS 178471 HAS SOUPS 178471 WITH SCORE 179988.432
AT ITER 389 NEW BEST:: SOT 3168510 SOS 1517400 HAS SOPS 1517400 HAS SOUS 178471 HAS SOUPS 178471 WITH SCORE 179988.4
AT ITER 396 NEW BEST:: SOT 3168510 SOS 1517400 HAS SOPS 1517400 HAS SOUS 178382 HAS SOUPS 178382 WITH SCORE 179899.4
AT ITER 400 NEW BEST:: SOT 3168428 SOS 1517318 HAS SOPS 1517318 HAS SOUS 178250 HAS SOUPS 178250 WITH SCORE 179767.318
AT ITER 424 NEW BEST:: SOT 3168444 SOS 1517293 HAS SOPS 1517293 HAS SOUS 177688 HAS SOUPS 177688 WITH SCORE 179205.293
AT ITER 435 NEW BEST:: SOT 3168385 SOS 1517276 HAS SOPS 1517276 HAS SOUS 177671 HAS SOUPS 177671 WITH SCORE 179188.276
AT ITER 437 NEW BEST:: SOT 3168453 SOS 1517303 HAS SOPS 1517303 HAS SOUS 177211 HAS SOUPS 177211 WITH SCORE 178728.303
AT ITER 452 NEW BEST:: SOT 3168595 SOS 1517433 HAS SOPS 1517433 HAS SOUS 177023 HAS SOUPS 177023 WITH SCORE 178540.433
AT ITER 455 NEW BEST:: SOT 3168491 SOS 1517329 HAS SOPS 1517329 HAS SOUS 176919 HAS SOUPS 176919 WITH SCORE 178436.329
AT ITER 466 NEW BEST:: SOT 3169011 SOS 1517808 HAS SOPS 1517808 HAS SOUS 176856 HAS SOUPS 176856 WITH SCORE 178373.808
AT ITER 473 NEW BEST:: SOT 3168955 SOS 1517752 HAS SOPS 1517752 HAS SOUS 176800 HAS SOUPS 176800 WITH SCORE 178317.752
AT ITER 475 NEW BEST:: SOT 3168953 SOS 1517750 HAS SOPS 1517750 HAS SOUS 176796 HAS SOUPS 176796 WITH SCORE 178313.75
AT ITER 480 NEW BEST:: SOT 3168535 SOS 1517332 HAS SOPS 1517332 HAS SOUS 176378 HAS SOUPS 176378 WITH SCORE 177895.332
AT ITER 482 NEW BEST:: SOT 3168523 SOS 1517320 HAS SOPS 1517320 HAS SOUS 176366 HAS SOUPS 176366 WITH SCORE 177883.32
AT ITER 490 NEW BEST:: SOT 3168383 SOS 1517139 HAS SOPS 1517139 HAS SOUS 175642 HAS SOUPS 175642 WITH SCORE 177159.139
AT ITER 492 NEW BEST:: SOT 3168371 SOS 1517014 HAS SOPS 1517014 HAS SOUS 174637 HAS SOUPS 174637 WITH SCORE 176154.014
AT ITER 499 NEW BEST:: SOT 3168365 SOS 1517008 HAS SOPS 1517008 HAS SOUS 174631 HAS SOUPS 174631 WITH SCORE 176148.008
AT ITER 501 NEW BEST:: SOT 3168352 SOS 1516919 HAS SOPS 1516919 HAS SOUS 173858 HAS SOUPS 173858 WITH SCORE 175374.919
AT ITER 516 NEW BEST:: SOT 3168408 SOS 1516975 HAS SOPS 1516975 HAS SOUS 173265 HAS SOUPS 173265 WITH SCORE 174781.975
AT ITER 517 NEW BEST:: SOT 3168408 SOS 1516989 HAS SOPS 1516989 HAS SOUS 173226 HAS SOUPS 173226 WITH SCORE 174742.989
AT ITER 518 NEW BEST:: SOT 3168309 SOS 1516896 HAS SOPS 1516896 HAS SOUS 173187 HAS SOUPS 173187 WITH SCORE 174703.896
AT ITER 525 NEW BEST:: SOT 3168079 SOS 1516666 HAS SOPS 1516666 HAS SOUS 172957 HAS SOUPS 172957 WITH SCORE 174473.666
AT ITER 527 NEW BEST:: SOT 3168057 SOS 1516702 HAS SOPS 1516702 HAS SOUS 172956 HAS SOUPS 172956 WITH SCORE 174472.702
AT ITER 528 NEW BEST:: SOT 3168076 SOS 1516674 HAS SOPS 1516674 HAS SOUS 172505 HAS SOUPS 172505 WITH SCORE 174021.674
AT ITER 537 NEW BEST:: SOT 3168038 SOS 1516636 HAS SOPS 1516636 HAS SOUS 172467 HAS SOUPS 172467 WITH SCORE 173983.636
AT ITER 539 NEW BEST:: SOT 3168034 SOS 1516628 HAS SOPS 1516628 HAS SOUS 172459 HAS SOUPS 172459 WITH SCORE 173975.628
AT ITER 540 NEW BEST:: SOT 3168201 SOS 1516795 HAS SOPS 1516795 HAS SOUS 172004 HAS SOUPS 172004 WITH SCORE 173520.795
AT ITER 551 NEW BEST:: SOT 2604714 SOS 953485 HAS SOPS 953485 HAS SOUS 128712 HAS SOUPS 128712 WITH SCORE 129665.485
AT ITER 564 NEW BEST:: SOT 2604714 SOS 953485 HAS SOPS 953485 HAS SOUS 128615 HAS SOUPS 128615 WITH SCORE 129568.485
AT ITER 583 NEW BEST:: SOT 2604672 SOS 953443 HAS SOPS 953443 HAS SOUS 128615 HAS SOUPS 128615 WITH SCORE 129568.443
AT ITER 590 NEW BEST:: SOT 2604629 SOS 953402 HAS SOPS 953402 HAS SOUS 128310 HAS SOUPS 128310 WITH SCORE 129263.402
AT ITER 592 NEW BEST:: SOT 2604587 SOS 953360 HAS SOPS 953360 HAS SOUS 128268 HAS SOUPS 128268 WITH SCORE 129221.36
AT ITER 599 NEW BEST:: SOT 2604710 SOS 953460 HAS SOPS 953460 HAS SOUS 127029 HAS SOUPS 127029 WITH SCORE 127982.46
AT ITER 604 NEW BEST:: SOT 2604963 SOS 953713 HAS SOPS 953713 HAS SOUS 126922 HAS SOUPS 126922 WITH SCORE 127875.713
AT ITER 605 NEW BEST:: SOT 2604946 SOS 953696 HAS SOPS 953696 HAS SOUS 126905 HAS SOUPS 126905 WITH SCORE 127858.696
AT ITER 607 NEW BEST:: SOT 2605021 SOS 953771 HAS SOPS 953771 HAS SOUS 125641 HAS SOUPS 125641 WITH SCORE 126594.771
AT ITER 608 NEW BEST:: SOT 2604923 SOS 953673 HAS SOPS 953673 HAS SOUS 125543 HAS SOUPS 125543 WITH SCORE 126496.673
AT ITER 614 NEW BEST:: SOT 2604923 SOS 953651 HAS SOPS 953651 HAS SOUS 125484 HAS SOUPS 125484 WITH SCORE 126437.651
AT ITER 619 NEW BEST:: SOT 2605412 SOS 954140 HAS SOPS 954140 HAS SOUS 125454 HAS SOUPS 125454 WITH SCORE 126408.14
AT ITER 624 NEW BEST:: SOT 2605544 SOS 954272 HAS SOPS 954272 HAS SOUS 123958 HAS SOUPS 123958 WITH SCORE 124912.272
AT ITER 625 NEW BEST:: SOT 2605468 SOS 954196 HAS SOPS 954196 HAS SOUS 123840 HAS SOUPS 123840 WITH SCORE 124794.196
AT ITER 633 NEW BEST:: SOT 2605729 SOS 954457 HAS SOPS 954457 HAS SOUS 123323 HAS SOUPS 123323 WITH SCORE 124277.457
AT ITER 634 NEW BEST:: SOT 2605702 SOS 954389 HAS SOPS 954389 HAS SOUS 123228 HAS SOUPS 123228 WITH SCORE 124182.389
AT ITER 635 NEW BEST:: SOT 2605646 SOS 954333 HAS SOPS 954333 HAS SOUS 123172 HAS SOUPS 123172 WITH SCORE 124126.333
AT ITER 641 NEW BEST:: SOT 2605624 SOS 954311 HAS SOPS 954311 HAS SOUS 123150 HAS SOUPS 123150 WITH SCORE 124104.311
AT ITER 642 NEW BEST:: SOT 2605760 SOS 954379 HAS SOPS 954379 HAS SOUS 122546 HAS SOUPS 122546 WITH SCORE 123500.379
AT ITER 657 NEW BEST:: SOT 2605771 SOS 954390 HAS SOPS 954390 HAS SOUS 122343 HAS SOUPS 122343 WITH SCORE 123297.39
AT ITER 660 NEW BEST:: SOT 2605767 SOS 954386 HAS SOPS 954386 HAS SOUS 122237 HAS SOUPS 122237 WITH SCORE 123191.386
AT ITER 662 NEW BEST:: SOT 2605672 SOS 954299 HAS SOPS 954299 HAS SOUS 122222 HAS SOUPS 122222 WITH SCORE 123176.299
AT ITER 667 NEW BEST:: SOT 2606082 SOS 954659 HAS SOPS 954659 HAS SOUS 122169 HAS SOUPS 122169 WITH SCORE 123123.659
AT ITER 675 NEW BEST:: SOT 2606009 SOS 954586 HAS SOPS 954586 HAS SOUS 121961 HAS SOUPS 121961 WITH SCORE 122915.586
AT ITER 680 NEW BEST:: SOT 2605871 SOS 954448 HAS SOPS 954448 HAS SOUS 121666 HAS SOUPS 121666 WITH SCORE 122620.448
AT ITER 681 NEW BEST:: SOT 2605868 SOS 954445 HAS SOPS 954445 HAS SOUS 121663 HAS SOUPS 121663 WITH SCORE 122617.445
AT ITER 695 NEW BEST:: SOT 2605854 SOS 954445 HAS SOPS 954445 HAS SOUS 121649 HAS SOUPS 121649 WITH SCORE 122603.445
AT ITER 722 NEW BEST:: SOT 2605826 SOS 954462 HAS SOPS 954462 HAS SOUS 121638 HAS SOUPS 121638 WITH SCORE 122592.462
AT ITER 736 NEW BEST:: SOT 2605793 SOS 954429 HAS SOPS 954429 HAS SOUS 121605 HAS SOUPS 121605 WITH SCORE 122559.429
AT ITER 740 NEW BEST:: SOT 2605774 SOS 954410 HAS SOPS 954410 HAS SOUS 121261 HAS SOUPS 121261 WITH SCORE 122215.41
AT ITER 746 NEW BEST:: SOT 2605698 SOS 954334 HAS SOPS 954334 HAS SOUS 121212 HAS SOUPS 121212 WITH SCORE 122166.334
AT ITER 750 NEW BEST:: SOT 2605698 SOS 954326 HAS SOPS 954326 HAS SOUS 121204 HAS SOUPS 121204 WITH SCORE 122158.326
AT ITER 766 NEW BEST:: SOT 2605698 SOS 954326 HAS SOPS 954326 HAS SOUS 121188 HAS SOUPS 121188 WITH SCORE 122142.326
AT ITER 767 NEW BEST:: SOT 2605663 SOS 954119 HAS SOPS 954119 HAS SOUS 121091 HAS SOUPS 121091 WITH SCORE 122045.119
AT ITER 785 NEW BEST:: SOT 2605658 SOS 954114 HAS SOPS 954114 HAS SOUS 121081 HAS SOUPS 121081 WITH SCORE 122035.114
AT ITER 831 NEW BEST:: SOT 2605658 SOS 954114 HAS SOPS 954114 HAS SOUS 120986 HAS SOUPS 120986 WITH SCORE 121940.114
AT ITER 833 NEW BEST:: SOT 2605623 SOS 954079 HAS SOPS 954079 HAS SOUS 120977 HAS SOUPS 120977 WITH SCORE 121931.079
AT ITER 836 NEW BEST:: SOT 2605476 SOS 953932 HAS SOPS 953932 HAS SOUS 120768 HAS SOUPS 120768 WITH SCORE 121721.932
AT ITER 846 NEW BEST:: SOT 2605414 SOS 953870 HAS SOPS 953870 HAS SOUS 120706 HAS SOUPS 120706 WITH SCORE 121659.87
AT ITER 857 NEW BEST:: SOT 2605393 SOS 953849 HAS SOPS 953849 HAS SOUS 120682 HAS SOUPS 120682 WITH SCORE 121635.849
AT ITER 880 NEW BEST:: SOT 2605271 SOS 953727 HAS SOPS 953727 HAS SOUS 120524 HAS SOUPS 120524 WITH SCORE 121477.727
AT ITER 893 NEW BEST:: SOT 2060930 SOS 700639 HAS SOPS 700639 HAS SOUS 80807 HAS SOUPS 80807 WITH SCORE 81507.639
AT ITER 898 NEW BEST:: SOT 2060763 SOS 700669 HAS SOPS 700669 HAS SOUS 80728 HAS SOUPS 80728 WITH SCORE 81428.669
AT ITER 912 NEW BEST:: SOT 2060781 SOS 700687 HAS SOPS 700687 HAS SOUS 80624 HAS SOUPS 80624 WITH SCORE 81324.687
AT ITER 915 NEW BEST:: SOT 2060809 SOS 700715 HAS SOPS 700715 HAS SOUS 80456 HAS SOUPS 80456 WITH SCORE 81156.715
AT ITER 916 NEW BEST:: SOT 2060808 SOS 700714 HAS SOPS 700714 HAS SOUS 80341 HAS SOUPS 80341 WITH SCORE 81041.714
AT ITER 919 NEW BEST:: SOT 2060698 SOS 700604 HAS SOPS 700604 HAS SOUS 80231 HAS SOUPS 80231 WITH SCORE 80931.604
AT ITER 925 NEW BEST:: SOT 2060664 SOS 700570 HAS SOPS 700570 HAS SOUS 80197 HAS SOUPS 80197 WITH SCORE 80897.57
AT ITER 935 NEW BEST:: SOT 2060043 SOS 700152 HAS SOPS 700152 HAS SOUS 79576 HAS SOUPS 79576 WITH SCORE 80276.152
AT ITER 940 NEW BEST:: SOT 2060501 SOS 700610 HAS SOPS 700610 HAS SOUS 79348 HAS SOUPS 79348 WITH SCORE 80048.61
AT ITER 948 NEW BEST:: SOT 2060499 SOS 700608 HAS SOPS 700608 HAS SOUS 79344 HAS SOUPS 79344 WITH SCORE 80044.608
AT ITER 965 NEW BEST:: SOT 2060391 SOS 700481 HAS SOPS 700481 HAS SOUS 79313 HAS SOUPS 79313 WITH SCORE 80013.481
AT ITER 966 NEW BEST:: SOT 2059723 SOS 699813 HAS SOPS 699813 HAS SOUS 77969 HAS SOUPS 77969 WITH SCORE 78668.813
AT ITER 991 NEW BEST:: SOT 2059749 SOS 699906 HAS SOPS 699906 HAS SOUS 77934 HAS SOUPS 77934 WITH SCORE 78633.906
AT ITER 997 NEW BEST:: SOT 2059747 SOS 699904 HAS SOPS 699904 HAS SOUS 77912 HAS SOUPS 77912 WITH SCORE 78611.904
AT ITER 1000 NEW BEST:: SOT 2059748 SOS 699905 HAS SOPS 699905 HAS SOUS 77905 HAS SOUPS 77905 WITH SCORE 78604.905
AT ITER 1001 NEW BEST:: SOT 2059736 SOS 699893 HAS SOPS 699893 HAS SOUS 77785 HAS SOUPS 77785 WITH SCORE 78484.893
AT ITER 1005 NEW BEST:: SOT 2059788 SOS 699945 HAS SOPS 699945 HAS SOUS 77029 HAS SOUPS 77029 WITH SCORE 77728.945
AT ITER 1025 NEW BEST:: SOT 2059953 SOS 700110 HAS SOPS 700110 HAS SOUS 76996 HAS SOUPS 76996 WITH SCORE 77696.11
AT ITER 1026 NEW BEST:: SOT 2059814 SOS 699971 HAS SOPS 699971 HAS SOUS 76857 HAS SOUPS 76857 WITH SCORE 77556.971
AT ITER 1030 NEW BEST:: SOT 2059814 SOS 699971 HAS SOPS 699971 HAS SOUS 76818 HAS SOUPS 76818 WITH SCORE 77517.971
AT ITER 1042 NEW BEST:: SOT 2059750 SOS 699907 HAS SOPS 699907 HAS SOUS 76683 HAS SOUPS 76683 WITH SCORE 77382.907
AT ITER 1045 NEW BEST:: SOT 2059735 SOS 699892 HAS SOPS 699892 HAS SOUS 76548 HAS SOUPS 76548 WITH SCORE 77247.892
AT ITER 1046 NEW BEST:: SOT 2059728 SOS 699885 HAS SOPS 699885 HAS SOUS 76534 HAS SOUPS 76534 WITH SCORE 77233.885
AT ITER 1055 NEW BEST:: SOT 2059728 SOS 699885 HAS SOPS 699885 HAS SOUS 76520 HAS SOUPS 76520 WITH SCORE 77219.885
AT ITER 1083 NEW BEST:: SOT 2059436 SOS 699593 HAS SOPS 699593 HAS SOUS 76228 HAS SOUPS 76228 WITH SCORE 76927.593
AT ITER 1104 NEW BEST:: SOT 2059701 SOS 699858 HAS SOPS 699858 HAS SOUS 75965 HAS SOUPS 75965 WITH SCORE 76664.858
AT ITER 1108 NEW BEST:: SOT 2059623 SOS 699780 HAS SOPS 699780 HAS SOUS 75843 HAS SOUPS 75843 WITH SCORE 76542.78
AT ITER 1112 NEW BEST:: SOT 2059679 SOS 699836 HAS SOPS 699836 HAS SOUS 75451 HAS SOUPS 75451 WITH SCORE 76150.836
AT ITER 1131 NEW BEST:: SOT 2059700 SOS 699877 HAS SOPS 699877 HAS SOUS 75443 HAS SOUPS 75443 WITH SCORE 76142.877
AT ITER 1137 NEW BEST:: SOT 2059700 SOS 699868 HAS SOPS 699868 HAS SOUS 75443 HAS SOUPS 75443 WITH SCORE 76142.868
AT ITER 1151 NEW BEST:: SOT 2059760 SOS 699928 HAS SOPS 699928 HAS SOUS 74544 HAS SOUPS 74544 WITH SCORE 75243.928
AT ITER 1153 NEW BEST:: SOT 2059727 SOS 699895 HAS SOPS 699895 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74801.895
AT ITER 1159 NEW BEST:: SOT 2059717 SOS 699885 HAS SOPS 699885 HAS SOUS 74082 HAS SOUPS 74082 WITH SCORE 74781.885
AT ITER 1177 NEW BEST:: SOT 2059677 SOS 699845 HAS SOPS 699845 HAS SOUS 73972 HAS SOUPS 73972 WITH SCORE 74671.845
AT ITER 1182 NEW BEST:: SOT 2059728 SOS 699896 HAS SOPS 699896 HAS SOUS 73768 HAS SOUPS 73768 WITH SCORE 74467.896
AT ITER 1202 NEW BEST:: SOT 2059666 SOS 699834 HAS SOPS 699834 HAS SOUS 73266 HAS SOUPS 73266 WITH SCORE 73965.834
AT ITER 1204 NEW BEST:: SOT 2059651 SOS 699819 HAS SOPS 699819 HAS SOUS 73265 HAS SOUPS 73265 WITH SCORE 73964.819
AT ITER 1205 NEW BEST:: SOT 2059607 SOS 699775 HAS SOPS 699775 HAS SOUS 73001 HAS SOUPS 73001 WITH SCORE 73700.775
AT ITER 1212 NEW BEST:: SOT 2059669 SOS 699837 HAS SOPS 699837 HAS SOUS 72965 HAS SOUPS 72965 WITH SCORE 73664.837
AT ITER 1231 NEW BEST:: SOT 2059937 SOS 700105 HAS SOPS 700105 HAS SOUS 72236 HAS SOUPS 72236 WITH SCORE 72936.105
AT ITER 1251 NEW BEST:: SOT 2059957 SOS 700125 HAS SOPS 700125 HAS SOUS 72146 HAS SOUPS 72146 WITH SCORE 72846.125
AT ITER 1256 NEW BEST:: SOT 2059949 SOS 700117 HAS SOPS 700117 HAS SOUS 72003 HAS SOUPS 72003 WITH SCORE 72703.117
AT ITER 1259 NEW BEST:: SOT 2059949 SOS 700117 HAS SOPS 700117 HAS SOUS 71943 HAS SOUPS 71943 WITH SCORE 72643.117
AT ITER 1271 NEW BEST:: SOT 2059937 SOS 700105 HAS SOPS 700105 HAS SOUS 71907 HAS SOUPS 71907 WITH SCORE 72607.105
AT ITER 1288 NEW BEST:: SOT 2059937 SOS 700105 HAS SOPS 700105 HAS SOUS 71717 HAS SOUPS 71717 WITH SCORE 72417.105
AT ITER 1293 NEW BEST:: SOT 2060006 SOS 700174 HAS SOPS 700174 HAS SOUS 71706 HAS SOUPS 71706 WITH SCORE 72406.174
AT ITER 1296 NEW BEST:: SOT 2060006 SOS 700171 HAS SOPS 700171 HAS SOUS 71699 HAS SOUPS 71699 WITH SCORE 72399.171
AT ITER 1297 NEW BEST:: SOT 2059961 SOS 700126 HAS SOPS 700126 HAS SOUS 71573 HAS SOUPS 71573 WITH SCORE 72273.126
AT ITER 1300 NEW BEST:: SOT 2059782 SOS 700058 HAS SOPS 700058 HAS SOUS 71342 HAS SOUPS 71342 WITH SCORE 72042.058
AT ITER 1312 NEW BEST:: SOT 2059833 SOS 700109 HAS SOPS 700109 HAS SOUS 71243 HAS SOUPS 71243 WITH SCORE 71943.109
AT ITER 1313 NEW BEST:: SOT 2059823 SOS 700082 HAS SOPS 700082 HAS SOUS 71229 HAS SOUPS 71229 WITH SCORE 71929.082
AT ITER 1315 NEW BEST:: SOT 2059815 SOS 700074 HAS SOPS 700074 HAS SOUS 71221 HAS SOUPS 71221 WITH SCORE 71921.074
AT ITER 1325 NEW BEST:: SOT 2059792 SOS 700051 HAS SOPS 700051 HAS SOUS 71164 HAS SOUPS 71164 WITH SCORE 71864.051
AT ITER 1331 NEW BEST:: SOT 2059710 SOS 699969 HAS SOPS 699969 HAS SOUS 71046 HAS SOUPS 71046 WITH SCORE 71745.969
AT ITER 1333 NEW BEST:: SOT 2059543 SOS 699802 HAS SOPS 699802 HAS SOUS 70879 HAS SOUPS 70879 WITH SCORE 71578.802
AT ITER 1337 NEW BEST:: SOT 2059516 SOS 699775 HAS SOPS 699775 HAS SOUS 70805 HAS SOUPS 70805 WITH SCORE 71504.775
AT ITER 1343 NEW BEST:: SOT 2059465 SOS 699584 HAS SOPS 699584 HAS SOUS 70703 HAS SOUPS 70703 WITH SCORE 71402.584
AT ITER 1370 NEW BEST:: SOT 2059395 SOS 699514 HAS SOPS 699514 HAS SOUS 70633 HAS SOUPS 70633 WITH SCORE 71332.514
AT ITER 1373 NEW BEST:: SOT 2059368 SOS 699487 HAS SOPS 699487 HAS SOUS 70541 HAS SOUPS 70541 WITH SCORE 71240.487
AT ITER 1389 NEW BEST:: SOT 2059455 SOS 699574 HAS SOPS 699574 HAS SOUS 70444 HAS SOUPS 70444 WITH SCORE 71143.574
AT ITER 1399 NEW BEST:: SOT 2059455 SOS 699574 HAS SOPS 699574 HAS SOUS 70416 HAS SOUPS 70416 WITH SCORE 71115.574
AT ITER 1408 NEW BEST:: SOT 2059357 SOS 699476 HAS SOPS 699476 HAS SOUS 70182 HAS SOUPS 70182 WITH SCORE 70881.476
AT ITER 1424 NEW BEST:: SOT 2059219 SOS 699338 HAS SOPS 699338 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 70605.338
AT ITER 1426 NEW BEST:: SOT 2059233 SOS 699352 HAS SOPS 699352 HAS SOUS 69523 HAS SOUPS 69523 WITH SCORE 70222.352
AT ITER 1431 NEW BEST:: SOT 2059301 SOS 699420 HAS SOPS 699420 HAS SOUS 69431 HAS SOUPS 69431 WITH SCORE 70130.42
AT ITER 1441 NEW BEST:: SOT 2059265 SOS 699384 HAS SOPS 699384 HAS SOUS 69306 HAS SOUPS 69306 WITH SCORE 70005.384
AT ITER 1445 NEW BEST:: SOT 2058250 SOS 698369 HAS SOPS 698369 HAS SOUS 68239 HAS SOUPS 68239 WITH SCORE 68937.369
AT ITER 1447 NEW BEST:: SOT 2058233 SOS 698417 HAS SOPS 698417 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68928.417
AT ITER 1459 NEW BEST:: SOT 2058225 SOS 698393 HAS SOPS 698393 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68928.393
AT ITER 1477 NEW BEST:: SOT 2058220 SOS 694747 HAS SOPS 694747 HAS SOUS 68204 HAS SOUPS 68204 WITH SCORE 68898.747
AT ITER 1501 NEW BEST:: SOT 2058217 SOS 694744 HAS SOPS 694744 HAS SOUS 68201 HAS SOUPS 68201 WITH SCORE 68895.744
AT ITER 1504 NEW BEST:: SOT 2058217 SOS 688614 HAS SOPS 688614 HAS SOUS 68149 HAS SOUPS 68149 WITH SCORE 68837.614
AT ITER 1511 NEW BEST:: SOT 2058223 SOS 688620 HAS SOPS 688620 HAS SOUS 68138 HAS SOUPS 68138 WITH SCORE 68826.62
AT ITER 1516 NEW BEST:: SOT 2058145 SOS 688542 HAS SOPS 688542 HAS SOUS 68137 HAS SOUPS 68137 WITH SCORE 68825.542
AT ITER 1518 NEW BEST:: SOT 2058135 SOS 688532 HAS SOPS 688532 HAS SOUS 68127 HAS SOUPS 68127 WITH SCORE 68815.532
AT ITER 1520 NEW BEST:: SOT 2058133 SOS 688530 HAS SOPS 688530 HAS SOUS 68069 HAS SOUPS 68069 WITH SCORE 68757.53
AT ITER 1522 NEW BEST:: SOT 2057879 SOS 688448 HAS SOPS 688448 HAS SOUS 67805 HAS SOUPS 67805 WITH SCORE 68493.448
AT ITER 1528 NEW BEST:: SOT 2057859 SOS 688428 HAS SOPS 688428 HAS SOUS 67629 HAS SOUPS 67629 WITH SCORE 68317.428
AT ITER 1581 NEW BEST:: SOT 2057783 SOS 688276 HAS SOPS 688276 HAS SOUS 67477 HAS SOUPS 67477 WITH SCORE 68165.276
AT ITER 1586 NEW BEST:: SOT 2057802 SOS 688295 HAS SOPS 688295 HAS SOUS 67344 HAS SOUPS 67344 WITH SCORE 68032.295
AT ITER 1590 NEW BEST:: SOT 2057795 SOS 688288 HAS SOPS 688288 HAS SOUS 67326 HAS SOUPS 67326 WITH SCORE 68014.288
AT ITER 1595 NEW BEST:: SOT 2057845 SOS 688338 HAS SOPS 688338 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 67466.338
AT ITER 1620 NEW BEST:: SOT 2057839 SOS 688326 HAS SOPS 688326 HAS SOUS 66775 HAS SOUPS 66775 WITH SCORE 67463.326
AT ITER 1626 NEW BEST:: SOT 2057709 SOS 688196 HAS SOPS 688196 HAS SOUS 66515 HAS SOUPS 66515 WITH SCORE 67203.196
AT ITER 1677 NEW BEST:: SOT 2057666 SOS 688153 HAS SOPS 688153 HAS SOUS 66441 HAS SOUPS 66441 WITH SCORE 67129.153
AT ITER 1678 NEW BEST:: SOT 2057648 SOS 688135 HAS SOPS 688135 HAS SOUS 66385 HAS SOUPS 66385 WITH SCORE 67073.135
AT ITER 1679 NEW BEST:: SOT 2057640 SOS 688127 HAS SOPS 688127 HAS SOUS 66369 HAS SOUPS 66369 WITH SCORE 67057.127
AT ITER 1691 NEW BEST:: SOT 2057612 SOS 688099 HAS SOPS 688099 HAS SOUS 66341 HAS SOUPS 66341 WITH SCORE 67029.099
AT ITER 1699 NEW BEST:: SOT 2057571 SOS 688058 HAS SOPS 688058 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 67000.058
AT ITER 1706 NEW BEST:: SOT 2057543 SOS 688030 HAS SOPS 688030 HAS SOUS 66292 HAS SOUPS 66292 WITH SCORE 66980.03
AT ITER 1739 NEW BEST:: SOT 2057543 SOS 688030 HAS SOPS 688030 HAS SOUS 65715 HAS SOUPS 65715 WITH SCORE 66403.03
AT ITER 1742 NEW BEST:: SOT 2057531 SOS 688022 HAS SOPS 688022 HAS SOUS 65699 HAS SOUPS 65699 WITH SCORE 66387.022
AT ITER 1751 NEW BEST:: SOT 2057497 SOS 687988 HAS SOPS 687988 HAS SOUS 65631 HAS SOUPS 65631 WITH SCORE 66318.988
AT ITER 1794 NEW BEST:: SOT 2057504 SOS 687988 HAS SOPS 687988 HAS SOUS 65629 HAS SOUPS 65629 WITH SCORE 66316.988
AT ITER 1796 NEW BEST:: SOT 2057455 SOS 687917 HAS SOPS 687917 HAS SOUS 65558 HAS SOUPS 65558 WITH SCORE 66245.917
AT ITER 1797 NEW BEST:: SOT 2057420 SOS 687882 HAS SOPS 687882 HAS SOUS 65426 HAS SOUPS 65426 WITH SCORE 66113.882
AT ITER 1813 NEW BEST:: SOT 2057424 SOS 687884 HAS SOPS 687884 HAS SOUS 65405 HAS SOUPS 65405 WITH SCORE 66092.884
AT ITER 1815 NEW BEST:: SOT 2057387 SOS 687884 HAS SOPS 687884 HAS SOUS 65331 HAS SOUPS 65331 WITH SCORE 66018.884
AT ITER 1823 NEW BEST:: SOT 2057387 SOS 687884 HAS SOPS 687884 HAS SOUS 65326 HAS SOUPS 65326 WITH SCORE 66013.884
AT ITER 1837 NEW BEST:: SOT 2057322 SOS 687819 HAS SOPS 687819 HAS SOUS 65210 HAS SOUPS 65210 WITH SCORE 65897.819
AT ITER 1844 NEW BEST:: SOT 2057315 SOS 483413 HAS SOPS 483413 HAS SOUS 64943 HAS SOUPS 64943 WITH SCORE 65426.413
AT ITER 1856 NEW BEST:: SOT 2057295 SOS 483302 HAS SOPS 483302 HAS SOUS 64894 HAS SOUPS 64894 WITH SCORE 65377.302
AT ITER 1890 NEW BEST:: SOT 2057275 SOS 483262 HAS SOPS 483262 HAS SOUS 64854 HAS SOUPS 64854 WITH SCORE 65337.262
AT ITER 1905 NEW BEST:: SOT 2057252 SOS 483268 HAS SOPS 483268 HAS SOUS 64820 HAS SOUPS 64820 WITH SCORE 65303.268
AT ITER 1928 NEW BEST:: SOT 2057188 SOS 483204 HAS SOPS 483204 HAS SOUS 64756 HAS SOUPS 64756 WITH SCORE 65239.204
AT ITER 1932 NEW BEST:: SOT 2057199 SOS 483215 HAS SOPS 483215 HAS SOUS 64705 HAS SOUPS 64705 WITH SCORE 65188.215
AT ITER 1950 NEW BEST:: SOT 2057180 SOS 482880 HAS SOPS 482880 HAS SOUS 64658 HAS SOUPS 64658 WITH SCORE 65140.88
AT ITER 1970 NEW BEST:: SOT 2057108 SOS 482808 HAS SOPS 482808 HAS SOUS 64534 HAS SOUPS 64534 WITH SCORE 65016.808
AT ITER 1972 NEW BEST:: SOT 2057067 SOS 482767 HAS SOPS 482767 HAS SOUS 64454 HAS SOUPS 64454 WITH SCORE 64936.767
AT ITER 1977 NEW BEST:: SOT 2057054 SOS 482822 HAS SOPS 482822 HAS SOUS 64447 HAS SOUPS 64447 WITH SCORE 64929.822
AT ITER 1979 NEW BEST:: SOT 2057063 SOS 482831 HAS SOPS 482831 HAS SOUS 64441 HAS SOUPS 64441 WITH SCORE 64923.831
AT ITER 1994 NEW BEST:: SOT 2057054 SOS 482799 HAS SOPS 482799 HAS SOUS 64409 HAS SOUPS 64409 WITH SCORE 64891.799
AT ITER 2007 NEW BEST:: SOT 2057008 SOS 482753 HAS SOPS 482753 HAS SOUS 64303 HAS SOUPS 64303 WITH SCORE 64785.753
AT ITER 2017 NEW BEST:: SOT 2056987 SOS 482732 HAS SOPS 482732 HAS SOUS 64282 HAS SOUPS 64282 WITH SCORE 64764.732
AT ITER 2018 NEW BEST:: SOT 2056971 SOS 482580 HAS SOPS 482580 HAS SOUS 64206 HAS SOUPS 64206 WITH SCORE 64688.58
AT ITER 2025 NEW BEST:: SOT 2045914 SOS 471526 HAS SOPS 471526 HAS SOUS 63305 HAS SOUPS 63305 WITH SCORE 63776.526
AT ITER 2030 NEW BEST:: SOT 2045793 SOS 471665 HAS SOPS 471358 HAS SOUS 63168 HAS SOUPS 63137 WITH SCORE 63608.665
AT ITER 2032 NEW BEST:: SOT 2045790 SOS 471662 HAS SOPS 471355 HAS SOUS 63164 HAS SOUPS 63133 WITH SCORE 63604.662
AT ITER 2048 NEW BEST:: SOT 2045786 SOS 471658 HAS SOPS 471351 HAS SOUS 63160 HAS SOUPS 63129 WITH SCORE 63600.658
AT ITER 2059 NEW BEST:: SOT 2045781 SOS 471653 HAS SOPS 471346 HAS SOUS 63143 HAS SOUPS 63112 WITH SCORE 63583.653
AT ITER 2062 NEW BEST:: SOT 2045780 SOS 471650 HAS SOPS 471343 HAS SOUS 63140 HAS SOUPS 63109 WITH SCORE 63580.65
AT ITER 2072 NEW BEST:: SOT 2045761 SOS 471612 HAS SOPS 471305 HAS SOUS 63121 HAS SOUPS 63090 WITH SCORE 63561.612
AT ITER 2078 NEW BEST:: SOT 2045761 SOS 471612 HAS SOPS 471305 HAS SOUS 63091 HAS SOUPS 63060 WITH SCORE 63531.612
AT ITER 2084 NEW BEST:: SOT 2045756 SOS 471607 HAS SOPS 471300 HAS SOUS 63085 HAS SOUPS 63054 WITH SCORE 63525.607
AT ITER 2085 NEW BEST:: SOT 2045756 SOS 471607 HAS SOPS 471300 HAS SOUS 63032 HAS SOUPS 63001 WITH SCORE 63472.607
AT ITER 2136 NEW BEST:: SOT 2045543 SOS 471352 HAS SOPS 471045 HAS SOUS 62777 HAS SOUPS 62746 WITH SCORE 63217.352
AT ITER 2153 NEW BEST:: SOT 2045476 SOS 471131 HAS SOPS 470824 HAS SOUS 62621 HAS SOUPS 62590 WITH SCORE 63061.131
AT ITER 2180 NEW BEST:: SOT 2045392 SOS 471047 HAS SOPS 470740 HAS SOUS 62429 HAS SOUPS 62398 WITH SCORE 62869.047
AT ITER 2203 NEW BEST:: SOT 2045383 SOS 471001 HAS SOPS 470694 HAS SOUS 62420 HAS SOUPS 62389 WITH SCORE 62860.001
AT ITER 2216 NEW BEST:: SOT 2045371 SOS 470989 HAS SOPS 470682 HAS SOUS 62402 HAS SOUPS 62371 WITH SCORE 62841.989
AT ITER 2219 NEW BEST:: SOT 2045402 SOS 471020 HAS SOPS 470713 HAS SOUS 62328 HAS SOUPS 62297 WITH SCORE 62768.02
AT ITER 2245 NEW BEST:: SOT 2045402 SOS 471038 HAS SOPS 470731 HAS SOUS 62309 HAS SOUPS 62278 WITH SCORE 62749.038
AT ITER 2252 NEW BEST:: SOT 2045385 SOS 455418 HAS SOPS 455111 HAS SOUS 62274 HAS SOUPS 62243 WITH SCORE 62698.418
AT ITER 2264 NEW BEST:: SOT 2045337 SOS 455370 HAS SOPS 455063 HAS SOUS 62178 HAS SOUPS 62147 WITH SCORE 62602.37
AT ITER 2266 NEW BEST:: SOT 2045398 SOS 455431 HAS SOPS 455124 HAS SOUS 62116 HAS SOUPS 62085 WITH SCORE 62540.431
AT ITER 2270 NEW BEST:: SOT 2045365 SOS 455398 HAS SOPS 455091 HAS SOUS 62106 HAS SOUPS 62075 WITH SCORE 62530.398
AT ITER 2286 NEW BEST:: SOT 2045371 SOS 455404 HAS SOPS 455097 HAS SOUS 62048 HAS SOUPS 62017 WITH SCORE 62472.404
AT ITER 2287 NEW BEST:: SOT 2045204 SOS 455237 HAS SOPS 454930 HAS SOUS 61893 HAS SOUPS 61862 WITH SCORE 62317.237
AT ITER 2306 NEW BEST:: SOT 2045204 SOS 455237 HAS SOPS 454930 HAS SOUS 61885 HAS SOUPS 61854 WITH SCORE 62309.237
AT ITER 2312 NEW BEST:: SOT 2045166 SOS 455199 HAS SOPS 454892 HAS SOUS 61843 HAS SOUPS 61812 WITH SCORE 62267.199
AT ITER 2326 NEW BEST:: SOT 2045114 SOS 455147 HAS SOPS 454840 HAS SOUS 61791 HAS SOUPS 61760 WITH SCORE 62215.147
AT ITER 2362 NEW BEST:: SOT 2045114 SOS 455135 HAS SOPS 454828 HAS SOUS 61791 HAS SOUPS 61760 WITH SCORE 62215.135
AT ITER 2364 NEW BEST:: SOT 2045052 SOS 455073 HAS SOPS 454766 HAS SOUS 61680 HAS SOUPS 61649 WITH SCORE 62104.073
AT ITER 2365 NEW BEST:: SOT 2045043 SOS 455064 HAS SOPS 454757 HAS SOUS 61671 HAS SOUPS 61640 WITH SCORE 62095.064
AT ITER 2394 NEW BEST:: SOT 2045033 SOS 455054 HAS SOPS 454747 HAS SOUS 61598 HAS SOUPS 61567 WITH SCORE 62022.054
AT ITER 2399 NEW BEST:: SOT 2044980 SOS 455001 HAS SOPS 454694 HAS SOUS 61472 HAS SOUPS 61441 WITH SCORE 61896.001
AT ITER 2400 NEW BEST:: SOT 2044976 SOS 454997 HAS SOPS 454690 HAS SOUS 61468 HAS SOUPS 61437 WITH SCORE 61891.997
AT ITER 2404 NEW BEST:: SOT 2044966 SOS 454987 HAS SOPS 454680 HAS SOUS 61448 HAS SOUPS 61417 WITH SCORE 61871.987
AT ITER 2410 NEW BEST:: SOT 2044925 SOS 454946 HAS SOPS 454639 HAS SOUS 61376 HAS SOUPS 61345 WITH SCORE 61799.946
AT ITER 2424 NEW BEST:: SOT 2044925 SOS 454946 HAS SOPS 454639 HAS SOUS 61342 HAS SOUPS 61311 WITH SCORE 61765.946
AT ITER 2428 NEW BEST:: SOT 2044915 SOS 454936 HAS SOPS 454629 HAS SOUS 61242 HAS SOUPS 61211 WITH SCORE 61665.936
AT ITER 2445 NEW BEST:: SOT 2044813 SOS 454834 HAS SOPS 454527 HAS SOUS 61036 HAS SOUPS 61005 WITH SCORE 61459.834
AT ITER 2468 NEW BEST:: SOT 2044813 SOS 454828 HAS SOPS 454521 HAS SOUS 61036 HAS SOUPS 61005 WITH SCORE 61459.828
AT ITER 2480 NEW BEST:: SOT 2044757 SOS 454772 HAS SOPS 454465 HAS SOUS 60922 HAS SOUPS 60891 WITH SCORE 61345.772
AT ITER 2486 NEW BEST:: SOT 2044737 SOS 454752 HAS SOPS 454445 HAS SOUS 60893 HAS SOUPS 60862 WITH SCORE 61316.752
AT ITER 2505 NEW BEST:: SOT 2044722 SOS 454737 HAS SOPS 454430 HAS SOUS 60878 HAS SOUPS 60847 WITH SCORE 61301.737
AT ITER 2523 NEW BEST:: SOT 2044725 SOS 454732 HAS SOPS 454425 HAS SOUS 60873 HAS SOUPS 60842 WITH SCORE 61296.732
AT ITER 2524 NEW BEST:: SOT 2044717 SOS 454716 HAS SOPS 454409 HAS SOUS 60857 HAS SOUPS 60826 WITH SCORE 61280.716
AT ITER 2526 NEW BEST:: SOT 2044717 SOS 454716 HAS SOPS 454409 HAS SOUS 60848 HAS SOUPS 60817 WITH SCORE 61271.716
AT ITER 2535 NEW BEST:: SOT 2044716 SOS 454715 HAS SOPS 454408 HAS SOUS 60840 HAS SOUPS 60809 WITH SCORE 61263.715
AT ITER 2560 NEW BEST:: SOT 2044676 SOS 454675 HAS SOPS 454368 HAS SOUS 60466 HAS SOUPS 60435 WITH SCORE 60889.675
AT ITER 2574 NEW BEST:: SOT 2044675 SOS 454674 HAS SOPS 454367 HAS SOUS 60463 HAS SOUPS 60432 WITH SCORE 60886.674
AT ITER 2590 NEW BEST:: SOT 2044659 SOS 454658 HAS SOPS 454351 HAS SOUS 60431 HAS SOUPS 60400 WITH SCORE 60854.658
AT ITER 2596 NEW BEST:: SOT 2044624 SOS 454623 HAS SOPS 454316 HAS SOUS 60363 HAS SOUPS 60332 WITH SCORE 60786.623
AT ITER 2613 NEW BEST:: SOT 2044589 SOS 454588 HAS SOPS 454281 HAS SOUS 60281 HAS SOUPS 60250 WITH SCORE 60704.588
AT ITER 2657 NEW BEST:: SOT 2044542 SOS 454541 HAS SOPS 454234 HAS SOUS 60239 HAS SOUPS 60208 WITH SCORE 60662.541
AT ITER 2691 NEW BEST:: SOT 2044536 SOS 454535 HAS SOPS 454228 HAS SOUS 60221 HAS SOUPS 60190 WITH SCORE 60644.535
AT ITER 2697 NEW BEST:: SOT 2044520 SOS 454516 HAS SOPS 454209 HAS SOUS 60205 HAS SOUPS 60174 WITH SCORE 60628.516
AT ITER 2730 NEW BEST:: SOT 2044485 SOS 454481 HAS SOPS 454174 HAS SOUS 59884 HAS SOUPS 59853 WITH SCORE 60307.481
AT ITER 2745 NEW BEST:: SOT 2044481 SOS 454477 HAS SOPS 454170 HAS SOUS 59872 HAS SOUPS 59841 WITH SCORE 60295.477
AT ITER 2759 NEW BEST:: SOT 2044457 SOS 454453 HAS SOPS 454146 HAS SOUS 59824 HAS SOUPS 59793 WITH SCORE 60247.453
AT ITER 2760 NEW BEST:: SOT 2044452 SOS 454448 HAS SOPS 454141 HAS SOUS 59816 HAS SOUPS 59785 WITH SCORE 60239.448
AT ITER 2771 NEW BEST:: SOT 2044438 SOS 454434 HAS SOPS 454127 HAS SOUS 59814 HAS SOUPS 59783 WITH SCORE 60237.434
AT ITER 2809 NEW BEST:: SOT 2044438 SOS 454416 HAS SOPS 454109 HAS SOUS 59794 HAS SOUPS 59763 WITH SCORE 60217.416
AT ITER 2824 NEW BEST:: SOT 2044414 SOS 454392 HAS SOPS 454085 HAS SOUS 59693 HAS SOUPS 59662 WITH SCORE 60116.392
AT ITER 2838 NEW BEST:: SOT 2044336 SOS 454258 HAS SOPS 453951 HAS SOUS 59546 HAS SOUPS 59515 WITH SCORE 59969.258
AT ITER 2866 NEW BEST:: SOT 2044248 SOS 454170 HAS SOPS 453863 HAS SOUS 59377 HAS SOUPS 59346 WITH SCORE 59800.17
AT ITER 2897 NEW BEST:: SOT 2044232 SOS 454154 HAS SOPS 453847 HAS SOUS 59330 HAS SOUPS 59299 WITH SCORE 59753.154
AT ITER 2904 NEW BEST:: SOT 2044195 SOS 454080 HAS SOPS 453773 HAS SOUS 59256 HAS SOUPS 59225 WITH SCORE 59679.08
AT ITER 2910 NEW BEST:: SOT 2044169 SOS 454054 HAS SOPS 453747 HAS SOUS 59230 HAS SOUPS 59199 WITH SCORE 59653.054
AT ITER 2942 NEW BEST:: SOT 2044172 SOS 454060 HAS SOPS 453753 HAS SOUS 59225 HAS SOUPS 59194 WITH SCORE 59648.06
AT ITER 2994 NEW BEST:: SOT 2044172 SOS 454028 HAS SOPS 453721 HAS SOUS 59225 HAS SOUPS 59194 WITH SCORE 59648.028
AT ITER 3041 NEW BEST:: SOT 2044192 SOS 454048 HAS SOPS 453741 HAS SOUS 59210 HAS SOUPS 59179 WITH SCORE 59633.048
AT ITER 3069 NEW BEST:: SOT 2044282 SOS 454099 HAS SOPS 453792 HAS SOUS 59105 HAS SOUPS 59074 WITH SCORE 59528.099
AT ITER 3070 NEW BEST:: SOT 2044272 SOS 454079 HAS SOPS 453772 HAS SOUS 59086 HAS SOUPS 59055 WITH SCORE 59509.079
AT ITER 3085 NEW BEST:: SOT 2044255 SOS 454045 HAS SOPS 453738 HAS SOUS 59086 HAS SOUPS 59055 WITH SCORE 59509.045
AT ITER 3087 NEW BEST:: SOT 2044255 SOS 454045 HAS SOPS 453738 HAS SOUS 59057 HAS SOUPS 59026 WITH SCORE 59480.045
AT ITER 3100 NEW BEST:: SOT 2044327 SOS 454117 HAS SOPS 453810 HAS SOUS 59003 HAS SOUPS 58972 WITH SCORE 59426.117
AT ITER 3131 NEW BEST:: SOT 2044311 SOS 454101 HAS SOPS 453794 HAS SOUS 58971 HAS SOUPS 58940 WITH SCORE 59394.101
AT ITER 3147 NEW BEST:: SOT 2044201 SOS 453991 HAS SOPS 453684 HAS SOUS 58792 HAS SOUPS 58761 WITH SCORE 59214.991
AT ITER 3156 NEW BEST:: SOT 2044200 SOS 453990 HAS SOPS 453683 HAS SOUS 58791 HAS SOUPS 58760 WITH SCORE 59213.99
AT ITER 3182 NEW BEST:: SOT 2044185 SOS 453995 HAS SOPS 453688 HAS SOUS 58775 HAS SOUPS 58744 WITH SCORE 59197.995
AT ITER 3186 NEW BEST:: SOT 2044180 SOS 453990 HAS SOPS 453683 HAS SOUS 58765 HAS SOUPS 58734 WITH SCORE 59187.99
AT ITER 3229 NEW BEST:: SOT 2044129 SOS 453963 HAS SOPS 453656 HAS SOUS 58676 HAS SOUPS 58645 WITH SCORE 59098.963
AT ITER 3233 NEW BEST:: SOT 2044108 SOS 453942 HAS SOPS 453635 HAS SOUS 58466 HAS SOUPS 58435 WITH SCORE 58888.942
AT ITER 3242 NEW BEST:: SOT 2044082 SOS 453760 HAS SOPS 453453 HAS SOUS 58381 HAS SOUPS 58350 WITH SCORE 58803.76
AT ITER 3253 NEW BEST:: SOT 2044024 SOS 453702 HAS SOPS 453395 HAS SOUS 58323 HAS SOUPS 58292 WITH SCORE 58745.702
AT ITER 3288 NEW BEST:: SOT 2043896 SOS 453574 HAS SOPS 453267 HAS SOUS 58080 HAS SOUPS 58049 WITH SCORE 58502.574
AT ITER 3310 NEW BEST:: SOT 2043891 SOS 453569 HAS SOPS 453262 HAS SOUS 58075 HAS SOUPS 58044 WITH SCORE 58497.569
AT ITER 3320 NEW BEST:: SOT 2043890 SOS 453945 HAS SOPS 453638 HAS SOUS 58074 HAS SOUPS 58043 WITH SCORE 58496.945
AT ITER 3326 NEW BEST:: SOT 2041094 SOS 451023 HAS SOPS 450716 HAS SOUS 57755 HAS SOUPS 57724 WITH SCORE 58175.023
AT ITER 3351 NEW BEST:: SOT 2041090 SOS 451019 HAS SOPS 450712 HAS SOUS 57741 HAS SOUPS 57710 WITH SCORE 58161.019
AT ITER 3356 NEW BEST:: SOT 2041087 SOS 451016 HAS SOPS 450709 HAS SOUS 57732 HAS SOUPS 57701 WITH SCORE 58152.016
AT ITER 3372 NEW BEST:: SOT 2041076 SOS 451005 HAS SOPS 450698 HAS SOUS 57671 HAS SOUPS 57640 WITH SCORE 58091.005
AT ITER 3382 NEW BEST:: SOT 2041073 SOS 451002 HAS SOPS 450695 HAS SOUS 57668 HAS SOUPS 57637 WITH SCORE 58088.002
AT ITER 3397 NEW BEST:: SOT 2041189 SOS 451118 HAS SOPS 450811 HAS SOUS 57610 HAS SOUPS 57579 WITH SCORE 58030.118
AT ITER 3403 NEW BEST:: SOT 2041163 SOS 451092 HAS SOPS 450785 HAS SOUS 57545 HAS SOUPS 57514 WITH SCORE 57965.092
AT ITER 3412 NEW BEST:: SOT 2041135 SOS 451064 HAS SOPS 450757 HAS SOUS 57526 HAS SOUPS 57495 WITH SCORE 57946.064
AT ITER 3414 NEW BEST:: SOT 2041118 SOS 451038 HAS SOPS 450731 HAS SOUS 57448 HAS SOUPS 57417 WITH SCORE 57868.038
AT ITER 3432 NEW BEST:: SOT 2041298 SOS 451218 HAS SOPS 450911 HAS SOUS 57137 HAS SOUPS 57106 WITH SCORE 57557.218
AT ITER 3450 NEW BEST:: SOT 2041298 SOS 451218 HAS SOPS 450911 HAS SOUS 57131 HAS SOUPS 57100 WITH SCORE 57551.218
AT ITER 3483 NEW BEST:: SOT 2041269 SOS 451160 HAS SOPS 450853 HAS SOUS 57073 HAS SOUPS 57042 WITH SCORE 57493.16
AT ITER 3488 NEW BEST:: SOT 2041170 SOS 451090 HAS SOPS 450783 HAS SOUS 57003 HAS SOUPS 56972 WITH SCORE 57423.09
AT ITER 3512 NEW BEST:: SOT 2041202 SOS 451122 HAS SOPS 450815 HAS SOUS 57002 HAS SOUPS 56971 WITH SCORE 57422.122
AT ITER 3552 NEW BEST:: SOT 2041140 SOS 451060 HAS SOPS 450753 HAS SOUS 56898 HAS SOUPS 56867 WITH SCORE 57318.06
AT ITER 3615 NEW BEST:: SOT 2041145 SOS 451065 HAS SOPS 450758 HAS SOUS 56857 HAS SOUPS 56826 WITH SCORE 57277.065
AT ITER 3619 NEW BEST:: SOT 2041145 SOS 451059 HAS SOPS 450752 HAS SOUS 56857 HAS SOUPS 56826 WITH SCORE 57277.059
AT ITER 3622 NEW BEST:: SOT 2041029 SOS 450943 HAS SOPS 450636 HAS SOUS 56645 HAS SOUPS 56614 WITH SCORE 57064.943
AT ITER 3672 NEW BEST:: SOT 2041023 SOS 450921 HAS SOPS 450614 HAS SOUS 56628 HAS SOUPS 56597 WITH SCORE 57047.921
AT ITER 3685 NEW BEST:: SOT 2041023 SOS 450921 HAS SOPS 450614 HAS SOUS 56616 HAS SOUPS 56585 WITH SCORE 57035.921
AT ITER 3699 NEW BEST:: SOT 2041006 SOS 450904 HAS SOPS 450597 HAS SOUS 56603 HAS SOUPS 56572 WITH SCORE 57022.904
AT ITER 3702 NEW BEST:: SOT 2041004 SOS 450900 HAS SOPS 450593 HAS SOUS 56599 HAS SOUPS 56568 WITH SCORE 57018.9
AT ITER 3726 NEW BEST:: SOT 2041042 SOS 450938 HAS SOPS 450631 HAS SOUS 56583 HAS SOUPS 56552 WITH SCORE 57002.938
AT ITER 3735 NEW BEST:: SOT 2041036 SOS 450932 HAS SOPS 450625 HAS SOUS 56517 HAS SOUPS 56486 WITH SCORE 56936.932
AT ITER 3755 NEW BEST:: SOT 2041036 SOS 450932 HAS SOPS 450625 HAS SOUS 56474 HAS SOUPS 56443 WITH SCORE 56893.932
AT ITER 3759 NEW BEST:: SOT 2041030 SOS 450938 HAS SOPS 450631 HAS SOUS 56309 HAS SOUPS 56278 WITH SCORE 56728.938
AT ITER 3770 NEW BEST:: SOT 2041017 SOS 450999 HAS SOPS 450692 HAS SOUS 56286 HAS SOUPS 56255 WITH SCORE 56705.999
AT ITER 3794 NEW BEST:: SOT 2040993 SOS 450975 HAS SOPS 450668 HAS SOUS 56253 HAS SOUPS 56222 WITH SCORE 56672.975
AT ITER 3803 NEW BEST:: SOT 2040988 SOS 451096 HAS SOPS 450789 HAS SOUS 56221 HAS SOUPS 56190 WITH SCORE 56641.096
AT ITER 3861 NEW BEST:: SOT 2040898 SOS 451006 HAS SOPS 450699 HAS SOUS 56037 HAS SOUPS 56006 WITH SCORE 56457.006
AT ITER 3867 NEW BEST:: SOT 2040874 SOS 450982 HAS SOPS 450675 HAS SOUS 55996 HAS SOUPS 55965 WITH SCORE 56415.982
AT ITER 3880 NEW BEST:: SOT 2040874 SOS 452180 HAS SOPS 451873 HAS SOUS 55991 HAS SOUPS 55960 WITH SCORE 56412.18
AT ITER 3902 NEW BEST:: SOT 2040843 SOS 452149 HAS SOPS 451842 HAS SOUS 55908 HAS SOUPS 55877 WITH SCORE 56329.149
AT ITER 3909 NEW BEST:: SOT 2040867 SOS 452173 HAS SOPS 451866 HAS SOUS 55902 HAS SOUPS 55871 WITH SCORE 56323.173
AT ITER 3910 NEW BEST:: SOT 2040854 SOS 452160 HAS SOPS 451853 HAS SOUS 55878 HAS SOUPS 55847 WITH SCORE 56299.16
AT ITER 3912 NEW BEST:: SOT 2040848 SOS 452154 HAS SOPS 451847 HAS SOUS 55872 HAS SOUPS 55841 WITH SCORE 56293.154
AT ITER 3913 NEW BEST:: SOT 2040832 SOS 452138 HAS SOPS 451831 HAS SOUS 55856 HAS SOUPS 55825 WITH SCORE 56277.138
AT ITER 3963 NEW BEST:: SOT 2040817 SOS 452123 HAS SOPS 451816 HAS SOUS 55841 HAS SOUPS 55810 WITH SCORE 56262.123
AT ITER 4012 NEW BEST:: SOT 2040743 SOS 452049 HAS SOPS 451742 HAS SOUS 55741 HAS SOUPS 55710 WITH SCORE 56162.049
AT ITER 4025 NEW BEST:: SOT 2040721 SOS 452027 HAS SOPS 451720 HAS SOUS 55719 HAS SOUPS 55688 WITH SCORE 56140.027
AT ITER 4066 NEW BEST:: SOT 2040689 SOS 451995 HAS SOPS 451688 HAS SOUS 55687 HAS SOUPS 55656 WITH SCORE 56107.995
AT ITER 4120 NEW BEST:: SOT 2040656 SOS 451781 HAS SOPS 451474 HAS SOUS 55605 HAS SOUPS 55574 WITH SCORE 56025.781
AT ITER 4144 NEW BEST:: SOT 2040656 SOS 451787 HAS SOPS 451480 HAS SOUS 55597 HAS SOUPS 55566 WITH SCORE 56017.787
AT ITER 4186 NEW BEST:: SOT 2040656 SOS 451782 HAS SOPS 451475 HAS SOUS 55572 HAS SOUPS 55541 WITH SCORE 55992.782
AT ITER 4204 NEW BEST:: SOT 2040644 SOS 451770 HAS SOPS 451463 HAS SOUS 55560 HAS SOUPS 55529 WITH SCORE 55980.77
AT ITER 4239 NEW BEST:: SOT 2040649 SOS 451472 HAS SOPS 451165 HAS SOUS 55550 HAS SOUPS 55519 WITH SCORE 55970.472
AT ITER 4288 NEW BEST:: SOT 2040626 SOS 451449 HAS SOPS 451142 HAS SOUS 55513 HAS SOUPS 55482 WITH SCORE 55933.449
AT ITER 4300 NEW BEST:: SOT 2040718 SOS 451541 HAS SOPS 451234 HAS SOUS 54897 HAS SOUPS 54866 WITH SCORE 55317.541
AT ITER 4302 NEW BEST:: SOT 2040730 SOS 451553 HAS SOPS 451246 HAS SOUS 54877 HAS SOUPS 54846 WITH SCORE 55297.553
AT ITER 4337 NEW BEST:: SOT 2040725 SOS 451543 HAS SOPS 451236 HAS SOUS 54867 HAS SOUPS 54836 WITH SCORE 55287.543
AT ITER 4399 NEW BEST:: SOT 2040717 SOS 451540 HAS SOPS 451233 HAS SOUS 54859 HAS SOUPS 54828 WITH SCORE 55279.54
AT ITER 4402 NEW BEST:: SOT 2040691 SOS 451514 HAS SOPS 451207 HAS SOUS 54743 HAS SOUPS 54712 WITH SCORE 55163.514
AT ITER 4424 NEW BEST:: SOT 2040627 SOS 451463 HAS SOPS 451156 HAS SOUS 54692 HAS SOUPS 54661 WITH SCORE 55112.463
AT ITER 4425 NEW BEST:: SOT 2040599 SOS 451435 HAS SOPS 451128 HAS SOUS 54664 HAS SOUPS 54633 WITH SCORE 55084.435
AT ITER 4435 NEW BEST:: SOT 2040593 SOS 451423 HAS SOPS 451116 HAS SOUS 54652 HAS SOUPS 54621 WITH SCORE 55072.423
AT ITER 4439 NEW BEST:: SOT 2040593 SOS 451620 HAS SOPS 451313 HAS SOUS 54651 HAS SOUPS 54620 WITH SCORE 55071.62
AT ITER 4441 NEW BEST:: SOT 2040558 SOS 451525 HAS SOPS 451218 HAS SOUS 54641 HAS SOUPS 54610 WITH SCORE 55061.525
AT ITER 4494 NEW BEST:: SOT 2040549 SOS 451536 HAS SOPS 451229 HAS SOUS 54624 HAS SOUPS 54593 WITH SCORE 55044.536
AT ITER 4520 NEW BEST:: SOT 2040538 SOS 451525 HAS SOPS 451218 HAS SOUS 54604 HAS SOUPS 54573 WITH SCORE 55024.525
AT ITER 4579 NEW BEST:: SOT 2040515 SOS 451502 HAS SOPS 451195 HAS SOUS 54581 HAS SOUPS 54550 WITH SCORE 55001.502
AT ITER 4608 NEW BEST:: SOT 2040480 SOS 451467 HAS SOPS 451160 HAS SOUS 54516 HAS SOUPS 54485 WITH SCORE 54936.467
AT ITER 4650 NEW BEST:: SOT 2040460 SOS 451427 HAS SOPS 451120 HAS SOUS 54476 HAS SOUPS 54445 WITH SCORE 54896.427
AT ITER 4658 NEW BEST:: SOT 2040453 SOS 451420 HAS SOPS 451113 HAS SOUS 54469 HAS SOUPS 54438 WITH SCORE 54889.42
AT ITER 4659 NEW BEST:: SOT 2040453 SOS 451419 HAS SOPS 451112 HAS SOUS 54469 HAS SOUPS 54438 WITH SCORE 54889.419
AT ITER 4696 NEW BEST:: SOT 2040450 SOS 451416 HAS SOPS 451109 HAS SOUS 54466 HAS SOUPS 54435 WITH SCORE 54886.416
AT ITER 4717 NEW BEST:: SOT 2040434 SOS 451400 HAS SOPS 451093 HAS SOUS 54450 HAS SOUPS 54419 WITH SCORE 54870.4
AT ITER 4733 NEW BEST:: SOT 2040406 SOS 451460 HAS SOPS 451153 HAS SOUS 54405 HAS SOUPS 54374 WITH SCORE 54825.46
AT ITER 4745 NEW BEST:: SOT 2040372 SOS 451426 HAS SOPS 451119 HAS SOUS 54371 HAS SOUPS 54340 WITH SCORE 54791.426
AT ITER 4781 NEW BEST:: SOT 2040369 SOS 451423 HAS SOPS 451116 HAS SOUS 54368 HAS SOUPS 54337 WITH SCORE 54788.423
AT ITER 4821 NEW BEST:: SOT 2040369 SOS 451423 HAS SOPS 451116 HAS SOUS 54332 HAS SOUPS 54301 WITH SCORE 54752.423
AT ITER 4825 NEW BEST:: SOT 2040359 SOS 451413 HAS SOPS 451106 HAS SOUS 54312 HAS SOUPS 54281 WITH SCORE 54732.413
AT ITER 4851 NEW BEST:: SOT 2040357 SOS 451411 HAS SOPS 451104 HAS SOUS 54282 HAS SOUPS 54251 WITH SCORE 54702.411
AT ITER 4919 NEW BEST:: SOT 2040348 SOS 451387 HAS SOPS 451080 HAS SOUS 54258 HAS SOUPS 54227 WITH SCORE 54678.387
AT ITER 4929 NEW BEST:: SOT 2040348 SOS 451383 HAS SOPS 451074 HAS SOUS 54228 HAS SOUPS 54195 WITH SCORE 54646.383
AT ITER 4930 NEW BEST:: SOT 2040327 SOS 451417 HAS SOPS 451108 HAS SOUS 54200 HAS SOUPS 54167 WITH SCORE 54618.417
AT ITER 4989 NEW BEST:: SOT 2040327 SOS 451417 HAS SOPS 451108 HAS SOUS 54197 HAS SOUPS 54164 WITH SCORE 54615.417
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-00 (EF(( (! ( potential( ( 3 ) <= (tk(P5)) ) & potential( (tk(P23) + tk(P77) + tk(P82) + tk(P101) + tk(P134) + tk(P137) + tk(P147) + tk(P160) + tk(P188) + tk(P214) + tk(P241) + tk(P264) + tk(P279) + tk(P305) + tk(P312) + tk(P330) + tk(P368) + tk(P372) + tk(P413) + tk(P420) + tk(P456)) <= (tk(P162)) ) )) & ( ( potential( (tk(P458)) <= (tk(P28) + tk(P30) + tk(P34) + tk(P53) + tk(P66) + tk(P115) + tk(P120) + tk(P167) + tk(P181) + tk(P189) + tk(P197) + tk(P218) + tk(P248) + tk(P250) + tk(P353) + tk(P362) + tk(P401) + tk(P402) + tk(P464) + tk(P467) + tk(P474)) ) & potential( ( 3 ) <= (tk(P23) + tk(P77) + tk(P82) + tk(P101) + tk(P134) + tk(P137) + tk(P147) + tk(P160) + tk(P188) + tk(P214) + tk(P241) + tk(P264) + tk(P279) + tk(P305) + tk(P312) + tk(P330) + tk(P368) + tk(P372) + tk(P413) + tk(P420) + tk(P456)) ) ) & ( potential( (tk(P61)) <= (tk(P324)) ) & potential( (tk(P410)) <= (tk(P24)) ) ) ) )))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-01 ( ( (! ( ( potential( ( 2 ) <= (tk(P26) + tk(P69) + tk(P131) + tk(P254) + tk(P256) + tk(P301) + tk(P395) + tk(P409) + tk(P461) + tk(P468)) ) & potential( ( 2 ) <= (tk(P28) + tk(P30) + tk(P34) + tk(P53) + tk(P66) + tk(P115) + tk(P120) + tk(P167) + tk(P181) + tk(P189) + tk(P197) + tk(P218) + tk(P248) + tk(P250) + tk(P353) + tk(P362) + tk(P401) + tk(P402) + tk(P464) + tk(P467) + tk(P474)) ) ) | ( potential( ( 3 ) <= (tk(P24)) ) & potential( (tk(P253)) <= (tk(P26) + tk(P69) + tk(P131) + tk(P254) + tk(P256) + tk(P301) + tk(P395) + tk(P409) + tk(P461) + tk(P468)) ) ) )) | potential( ( 1 ) <= (tk(P152)) ) ) & (AG( potential( (tk(P12)) <= (tk(P466)) ))) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-02 (AU( ( (! potential( (tk(P29) + tk(P32) + tk(P58) + tk(P83) + tk(P85) + tk(P108) + tk(P119) + tk(P136) + tk(P146) + tk(P166) + tk(P232) + tk(P234) + tk(P260) + tk(P286) + tk(P292) + tk(P304) + tk(P320) + tk(P331) + tk(P345) + tk(P411) + tk(P412)) <= (tk(P458)) )) & ( potential( (tk(P23) + tk(P77) + tk(P82) + tk(P101) + tk(P134) + tk(P137) + tk(P147) + tk(P160) + tk(P188) + tk(P214) + tk(P241) + tk(P264) + tk(P279) + tk(P305) + tk(P312) + tk(P330) + tk(P368) + tk(P372) + tk(P413) + tk(P420) + tk(P456)) <= (tk(P26) + tk(P69) + tk(P131) + tk(P254) + tk(P256) + tk(P301) + tk(P395) + tk(P409) + tk(P461) + tk(P468)) ) | potential( ( 1 ) <= (tk(P12)) ) ) ),(EF(potential( ( 1 ) <= (tk(P465)) ))) ))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-03 (EU( ( potential( (tk(P29) + tk(P32) + tk(P58) + tk(P83) + tk(P85) + tk(P108) + tk(P119) + tk(P136) + tk(P146) + tk(P166) + tk(P232) + tk(P234) + tk(P260) + tk(P286) + tk(P292) + tk(P304) + tk(P320) + tk(P331) + tk(P345) + tk(P411) + tk(P412)) <= (tk(P465)) ) | (! potential( (tk(P267)) <= (tk(P28) + tk(P30) + tk(P34) + tk(P53) + tk(P66) + tk(P115) + tk(P120) + tk(P167) + tk(P181) + tk(P189) + tk(P197) + tk(P218) + tk(P248) + tk(P250) + tk(P353) + tk(P362) + tk(P401) + tk(P402) + tk(P464) + tk(P467) + tk(P474)) )) ),(AF(potential( ( 3 ) <= (tk(P2)) ))) ))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-04 ( (AU( potential( (tk(P3) + tk(P6) + tk(P7) + tk(P9) + tk(P10) + tk(P11) + tk(P14) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P42) + tk(P45) + tk(P49) + tk(P51) + tk(P52) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P70) + tk(P72) + tk(P74) + tk(P75) + tk(P78) + tk(P79) + tk(P80) + tk(P84) + tk(P86) + tk(P87) + tk(P88) + tk(P91) + tk(P92) + tk(P94) + tk(P97) + tk(P98) + tk(P99) + tk(P102) + tk(P103) + tk(P105) + tk(P107) + tk(P109) + tk(P111) + tk(P112) + tk(P114) + tk(P123) + tk(P124) + tk(P125) + tk(P128) + tk(P130) + tk(P133) + tk(P138) + tk(P141) + tk(P143) + tk(P144) + tk(P145) + tk(P151) + tk(P153) + tk(P155) + tk(P156) + tk(P159) + tk(P163) + tk(P165) + tk(P168) + tk(P170) + tk(P171) + tk(P173) + tk(P174) + tk(P175) + tk(P177) + tk(P178) + tk(P180) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P192) + tk(P194) + tk(P196) + tk(P198) + tk(P199) + tk(P201) + tk(P204) + tk(P207) + tk(P208) + tk(P210) + tk(P211) + tk(P213) + tk(P216) + tk(P220) + tk(P221) + tk(P225) + tk(P226) + tk(P228) + tk(P229) + tk(P231) + tk(P233) + tk(P235) + tk(P237) + tk(P239) + tk(P240) + tk(P242) + tk(P245) + tk(P247) + tk(P249) + tk(P251) + tk(P257) + tk(P259) + tk(P263) + tk(P266) + tk(P269) + tk(P270) + tk(P273) + tk(P275) + tk(P276) + tk(P280) + tk(P281) + tk(P283) + tk(P285) + tk(P287) + tk(P289) + tk(P290) + tk(P293) + tk(P294) + tk(P303) + tk(P306) + tk(P307) + tk(P308) + tk(P310) + tk(P321) + tk(P322) + tk(P323) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P332) + tk(P333) + tk(P335) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P344) + tk(P348) + tk(P351) + tk(P355) + tk(P356) + tk(P358) + tk(P359) + tk(P361) + tk(P365) + tk(P366) + tk(P367) + tk(P369) + tk(P371) + tk(P374) + tk(P375) + tk(P376) + tk(P379) + tk(P383) + tk(P384) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P393) + tk(P394) + tk(P398) + tk(P399) + tk(P400) + tk(P407) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P436) + tk(P441) + tk(P442) + tk(P443) + tk(P445) + tk(P448) + tk(P449) + tk(P453) + tk(P457) + tk(P459) + tk(P463) + tk(P469) + tk(P472) + tk(P473)) <= (tk(P44) + tk(P48) + tk(P67) + tk(P127) + tk(P129) + tk(P140) + tk(P157) + tk(P172) + tk(P187) + tk(P212) + tk(P252) + tk(P277) + tk(P302) + tk(P319) + tk(P334) + tk(P338) + tk(P370) + tk(P380) + tk(P408) + tk(P444) + tk(P470)) ),potential( ( 1 ) <= (tk(P2)) ) )) & ( ( (! ( potential( (tk(P24)) <= (tk(P435)) ) & potential( (tk(P149)) <= (tk(P61)) ) )) | ( potential( ( 2 ) <= (tk(P410)) ) | (! potential( (tk(P46) + tk(P50) + tk(P122) + tk(P132) + tk(P209) + tk(P227) + tk(P297) + tk(P360) + tk(P450) + tk(P471)) <= (tk(P2)) )) ) ) | potential( (tk(P28) + tk(P30) + tk(P34) + tk(P53) + tk(P66) + tk(P115) + tk(P120) + tk(P167) + tk(P181) + tk(P189) + tk(P197) + tk(P218) + tk(P248) + tk(P250) + tk(P353) + tk(P362) + tk(P401) + tk(P402) + tk(P464) + tk(P467) + tk(P474)) <= (tk(P4) + tk(P15) + tk(P31) + tk(P73) + tk(P93) + tk(P150) + tk(P158) + tk(P195) + tk(P205) + tk(P236) + tk(P271) + tk(P291) + tk(P295) + tk(P316) + tk(P350) + tk(P357) + tk(P363) + tk(P364) + tk(P385) + tk(P454) + tk(P462)) ) ) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-05 ( (EF((EG( potential( ( 3 ) <= (tk(P117)) ))))) | (EX( ( ( potential( (tk(P438)) <= (tk(P47) + tk(P59) + tk(P179) + tk(P222) + tk(P296) + tk(P337) + tk(P396) + tk(P403) + tk(P447) + tk(P451)) ) & potential( ( 3 ) <= (tk(P1) + tk(P25) + tk(P41) + tk(P54) + tk(P81) + tk(P95) + tk(P118) + tk(P126) + tk(P169) + tk(P224) + tk(P262) + tk(P298) + tk(P299) + tk(P314) + tk(P317) + tk(P343) + tk(P373) + tk(P392) + tk(P405) + tk(P419) + tk(P422)) ) ) & (! potential( ( 2 ) <= (tk(P12)) )) ))) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-06 (AF(( (EG( potential( ( 1 ) <= (tk(P26) + tk(P69) + tk(P131) + tk(P254) + tk(P256) + tk(P301) + tk(P395) + tk(P409) + tk(P461) + tk(P468)) ))) & (AX( potential( ( 2 ) <= (tk(P12)) ))) )))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-07 (! (! (EG( ( potential( (tk(P44) + tk(P48) + tk(P67) + tk(P127) + tk(P129) + tk(P140) + tk(P157) + tk(P172) + tk(P187) + tk(P212) + tk(P252) + tk(P277) + tk(P302) + tk(P319) + tk(P334) + tk(P338) + tk(P370) + tk(P380) + tk(P408) + tk(P444) + tk(P470)) <= (tk(P61)) ) & potential( (tk(P152)) <= (tk(P315)) ) )))))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-08 ( (AU( potential( (tk(P322)) <= (tk(P451)) ),(! potential( (tk(P107)) <= (tk(P161)) )) )) & potential( (tk(P144)) <= (tk(P66)) ) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-09 (EG( (! (AG( potential( (tk(P28)) <= (tk(P353)) ))))))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-10 (AU( ( ( potential( ( 2 ) <= (tk(P115)) ) | potential( ( 1 ) <= (tk(P142)) ) ) | ( potential( ( 3 ) <= (tk(P254)) ) | potential( (tk(P437)) <= (tk(P403)) ) ) ),(! (! potential( ( 1 ) <= (tk(P273)) ))) ))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-11 ( ( ( (! (! potential( ( 2 ) <= (tk(P141)) ))) | (! (! potential( ( 1 ) <= (tk(P401)) ))) ) | potential( ( 2 ) <= (tk(P442)) ) ) | (AX( (AF(potential( ( 1 ) <= (tk(P22)) ))))) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-12 (EU( (AF(potential( ( 1 ) <= (tk(P210)) ))),(AF(potential( ( 2 ) <= (tk(P124)) ))) ))
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-13 ( ( (EG( ( potential( (tk(P417)) <= (tk(P371)) ) | potential( (tk(P85)) <= (tk(P194)) ) ))) | (EU( potential( (tk(P471)) <= (tk(P267)) ),potential( ( 3 ) <= (tk(P60)) ) )) ) | (AF((! (! potential( ( 1 ) <= (tk(P90)) ))))) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-14 ( ( potential( ( 3 ) <= (tk(P279)) ) | (! (! (! potential( (tk(P471)) <= (tk(P414)) )))) ) & (AU( potential( (tk(P85)) <= (tk(P411)) ),( potential( (tk(P47)) <= (tk(P297)) ) & potential( ( 2 ) <= (tk(P168)) ) ) )) )
PROPERTY: PolyORBNT-PT-S10J20-CTLCardinality-15 (AG( ( (! potential( ( 1 ) <= (tk(P169)) )) | potential( ( 3 ) <= (tk(P285)) ) )))
BK_STOP 1589650105358
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 478 Aborted ${SMART} ${INPUT_SM}
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="PolyORBNT-PT-S10J20"
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 PolyORBNT-PT-S10J20, 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 r123-tajo-158961355100675"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J20.tgz
mv PolyORBNT-PT-S10J20 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 '
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 ;