About the Execution of smart for HypertorusGrid-PT-d5k3p2b10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.950 | 3600000.00 | 3599020.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r093-oct2-158940140400315.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypertorusGrid-PT-d5k3p2b10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400315
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 5.5K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 14M Apr 27 15:14 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 HypertorusGrid-PT-d5k3p2b10-CTLCardinality-00
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-01
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-02
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-03
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-04
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-05
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-06
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-07
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-08
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-09
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-10
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-11
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-12
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-13
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-14
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589614035087
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d5k3p2b10
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: 7533 places, 24300 transitions, 97200 arcs.
AT ITER 0 NEW BEST:: SOT 108058065 SOS 35417755 HAS SOPS 35417755 HAS SOUS 12933793 HAS SOUPS 12933793 WITH SCORE 1.2969210755E7
AT ITER 10 NEW BEST:: SOT 108058065 SOS 35416878 HAS SOPS 35416878 HAS SOUS 12927530 HAS SOUPS 12927530 WITH SCORE 1.2962946878E7
AT ITER 11 NEW BEST:: SOT 108057867 SOS 35416680 HAS SOPS 35416680 HAS SOUS 12927112 HAS SOUPS 12927112 WITH SCORE 1.296252868E7
AT ITER 13 NEW BEST:: SOT 108054091 SOS 35412904 HAS SOPS 35412904 HAS SOUS 12923336 HAS SOUPS 12923336 WITH SCORE 1.2958748904E7
AT ITER 24 NEW BEST:: SOT 108053211 SOS 35403782 HAS SOPS 35403782 HAS SOUS 12920758 HAS SOUPS 12920758 WITH SCORE 1.2956161782E7
AT ITER 28 NEW BEST:: SOT 108052488 SOS 35396552 HAS SOPS 35396552 HAS SOUS 12919312 HAS SOUPS 12919312 WITH SCORE 1.2954708552E7
AT ITER 56 NEW BEST:: SOT 108052488 SOS 35396552 HAS SOPS 35396552 HAS SOUS 12918970 HAS SOUPS 12918970 WITH SCORE 1.2954366552E7
AT ITER 81 NEW BEST:: SOT 108052551 SOS 35396237 HAS SOPS 35396237 HAS SOUS 12916391 HAS SOUPS 12916391 WITH SCORE 1.2951787237E7
AT ITER 97 NEW BEST:: SOT 108050415 SOS 35394365 HAS SOPS 35394365 HAS SOUS 12915956 HAS SOUPS 12915956 WITH SCORE 1.2951350365E7
AT ITER 99 NEW BEST:: SOT 108050415 SOS 35394365 HAS SOPS 35394365 HAS SOUS 12915790 HAS SOUPS 12915790 WITH SCORE 1.2951184365E7
AT ITER 144 NEW BEST:: SOT 108043863 SOS 35380836 HAS SOPS 35380836 HAS SOUS 12908085 HAS SOUPS 12908085 WITH SCORE 1.2943465836E7
AT ITER 147 NEW BEST:: SOT 108040074 SOS 35373258 HAS SOPS 35373258 HAS SOUS 12903875 HAS SOUPS 12903875 WITH SCORE 1.2939248258E7
AT ITER 166 NEW BEST:: SOT 108040074 SOS 35368425 HAS SOPS 35368425 HAS SOUS 12903338 HAS SOUPS 12903338 WITH SCORE 1.2938706425E7
AT ITER 167 NEW BEST:: SOT 108040074 SOS 35368425 HAS SOPS 35368425 HAS SOUS 12902438 HAS SOUPS 12902438 WITH SCORE 1.2937806425E7
AT ITER 184 NEW BEST:: SOT 108033765 SOS 35355807 HAS SOPS 35355807 HAS SOUS 12895428 HAS SOUPS 12895428 WITH SCORE 1.2930783807E7
AT ITER 185 NEW BEST:: SOT 108033765 SOS 35357742 HAS SOPS 35357742 HAS SOUS 12893761 HAS SOUPS 12893761 WITH SCORE 1.2929118742E7
AT ITER 196 NEW BEST:: SOT 108033765 SOS 35357450 HAS SOPS 35357450 HAS SOUS 12892085 HAS SOUPS 12892085 WITH SCORE 1.292744245E7
AT ITER 211 NEW BEST:: SOT 108028518 SOS 35352203 HAS SOPS 35352203 HAS SOUS 12886838 HAS SOUPS 12886838 WITH SCORE 1.2922190203E7
AT ITER 217 NEW BEST:: SOT 108028293 SOS 35351978 HAS SOPS 35351978 HAS SOUS 12886613 HAS SOUPS 12886613 WITH SCORE 1.2921964978E7
AT ITER 222 NEW BEST:: SOT 108027498 SOS 35350388 HAS SOPS 35350388 HAS SOUS 12879186 HAS SOUPS 12879186 WITH SCORE 1.2914536388E7
AT ITER 224 NEW BEST:: SOT 108026618 SOS 35346135 HAS SOPS 35346135 HAS SOUS 12877149 HAS SOUPS 12877149 WITH SCORE 1.2912495135E7
AT ITER 239 NEW BEST:: SOT 108026618 SOS 35340240 HAS SOPS 35340240 HAS SOUS 12876494 HAS SOUPS 12876494 WITH SCORE 1.291183424E7
AT ITER 247 NEW BEST:: SOT 108026213 SOS 35339835 HAS SOPS 35339835 HAS SOUS 12876089 HAS SOUPS 12876089 WITH SCORE 1.2911428835E7
AT ITER 260 NEW BEST:: SOT 108026031 SOS 35338015 HAS SOPS 35338015 HAS SOUS 12875725 HAS SOUPS 12875725 WITH SCORE 1.2911063015E7
AT ITER 275 NEW BEST:: SOT 108026031 SOS 35330335 HAS SOPS 35330335 HAS SOUS 12874189 HAS SOUPS 12874189 WITH SCORE 1.2909519335E7
AT ITER 282 NEW BEST:: SOT 108025788 SOS 35330092 HAS SOPS 35330092 HAS SOUS 12873946 HAS SOUPS 12873946 WITH SCORE 1.2909276092E7
AT ITER 292 NEW BEST:: SOT 108024908 SOS 35323670 HAS SOPS 35323670 HAS SOUS 12871668 HAS SOUPS 12871668 WITH SCORE 1.290699167E7
AT ITER 294 NEW BEST:: SOT 108024908 SOS 35323122 HAS SOPS 35323122 HAS SOUS 12871120 HAS SOUPS 12871120 WITH SCORE 1.2906443122E7
AT ITER 295 NEW BEST:: SOT 108024908 SOS 35321082 HAS SOPS 35321082 HAS SOUS 12870712 HAS SOUPS 12870712 WITH SCORE 1.2906033082E7
AT ITER 310 NEW BEST:: SOT 108025394 SOS 35321228 HAS SOPS 35321228 HAS SOUS 12870426 HAS SOUPS 12870426 WITH SCORE 1.2905747228E7
AT ITER 336 NEW BEST:: SOT 108025394 SOS 35321228 HAS SOPS 35321228 HAS SOUS 12869208 HAS SOUPS 12869208 WITH SCORE 1.2904529228E7
AT ITER 349 NEW BEST:: SOT 108026834 SOS 35323820 HAS SOPS 35323820 HAS SOUS 12868456 HAS SOUPS 12868456 WITH SCORE 1.290377982E7
AT ITER 370 NEW BEST:: SOT 108026416 SOS 35319222 HAS SOPS 35319222 HAS SOUS 12867202 HAS SOUPS 12867202 WITH SCORE 1.2902521222E7
AT ITER 376 NEW BEST:: SOT 108026164 SOS 35318970 HAS SOPS 35318970 HAS SOUS 12866950 HAS SOUPS 12866950 WITH SCORE 1.290226897E7
AT ITER 395 NEW BEST:: SOT 108026395 SOS 35319201 HAS SOPS 35319201 HAS SOUS 12866488 HAS SOUPS 12866488 WITH SCORE 1.2901807201E7
AT ITER 403 NEW BEST:: SOT 108025800 SOS 35319191 HAS SOPS 35319191 HAS SOUS 12866359 HAS SOUPS 12866359 WITH SCORE 1.2901678191E7
AT ITER 406 NEW BEST:: SOT 108025944 SOS 35318615 HAS SOPS 35318615 HAS SOUS 12861519 HAS SOUPS 12861519 WITH SCORE 1.2896837615E7
AT ITER 412 NEW BEST:: SOT 108025282 SOS 35311995 HAS SOPS 35311995 HAS SOUS 12860195 HAS SOUPS 12860195 WITH SCORE 1.2895506995E7
AT ITER 413 NEW BEST:: SOT 108025282 SOS 35311620 HAS SOPS 35311620 HAS SOUS 12859820 HAS SOUPS 12859820 WITH SCORE 1.289513162E7
AT ITER 425 NEW BEST:: SOT 108025282 SOS 35311192 HAS SOPS 35311192 HAS SOUS 12856200 HAS SOUPS 12856200 WITH SCORE 1.2891511192E7
AT ITER 435 NEW BEST:: SOT 108025282 SOS 35303082 HAS SOPS 35303082 HAS SOUS 12854578 HAS SOUPS 12854578 WITH SCORE 1.2889881082E7
AT ITER 444 NEW BEST:: SOT 108021250 SOS 35294749 HAS SOPS 35294749 HAS SOUS 12851440 HAS SOUPS 12851440 WITH SCORE 1.2886734749E7
AT ITER 448 NEW BEST:: SOT 108021250 SOS 35294749 HAS SOPS 35294749 HAS SOUS 12851112 HAS SOUPS 12851112 WITH SCORE 1.2886406749E7
AT ITER 450 NEW BEST:: SOT 108016957 SOS 35289979 HAS SOPS 35289979 HAS SOUS 12844834 HAS SOUPS 12844834 WITH SCORE 1.2880123979E7
AT ITER 453 NEW BEST:: SOT 108016957 SOS 35289392 HAS SOPS 35289392 HAS SOUS 12844247 HAS SOUPS 12844247 WITH SCORE 1.2879536392E7
AT ITER 483 NEW BEST:: SOT 108016651 SOS 35289086 HAS SOPS 35289086 HAS SOUS 12843941 HAS SOUPS 12843941 WITH SCORE 1.2879230086E7
AT ITER 487 NEW BEST:: SOT 108016651 SOS 35289086 HAS SOPS 35289086 HAS SOUS 12842999 HAS SOUPS 12842999 WITH SCORE 1.2878288086E7
AT ITER 494 NEW BEST:: SOT 108016651 SOS 35288905 HAS SOPS 35288905 HAS SOUS 12842818 HAS SOUPS 12842818 WITH SCORE 1.2878106905E7
AT ITER 498 NEW BEST:: SOT 108016651 SOS 35288905 HAS SOPS 35288905 HAS SOUS 12842738 HAS SOUPS 12842738 WITH SCORE 1.2878026905E7
AT ITER 506 NEW BEST:: SOT 108016651 SOS 35288905 HAS SOPS 35288905 HAS SOUS 12842665 HAS SOUPS 12842665 WITH SCORE 1.2877953905E7
AT ITER 528 NEW BEST:: SOT 108016651 SOS 35284215 HAS SOPS 35284215 HAS SOUS 12841727 HAS SOUPS 12841727 WITH SCORE 1.2877011215E7
AT ITER 530 NEW BEST:: SOT 108016203 SOS 35279845 HAS SOPS 35279845 HAS SOUS 12840445 HAS SOUPS 12840445 WITH SCORE 1.2875724845E7
AT ITER 533 NEW BEST:: SOT 108015449 SOS 35271551 HAS SOPS 35271551 HAS SOUS 12838183 HAS SOUPS 12838183 WITH SCORE 1.2873454551E7
AT ITER 534 NEW BEST:: SOT 108015449 SOS 35273333 HAS SOPS 35273333 HAS SOUS 12836839 HAS SOUPS 12836839 WITH SCORE 1.2872112333E7
AT ITER 545 NEW BEST:: SOT 108014721 SOS 35266053 HAS SOPS 35266053 HAS SOUS 12835383 HAS SOUPS 12835383 WITH SCORE 1.2870649053E7
AT ITER 557 NEW BEST:: SOT 108014721 SOS 35257553 HAS SOPS 35257553 HAS SOUS 12833683 HAS SOUPS 12833683 WITH SCORE 1.2868940553E7
AT ITER 570 NEW BEST:: SOT 108007494 SOS 35249523 HAS SOPS 35249523 HAS SOUS 12824269 HAS SOUPS 12824269 WITH SCORE 1.2859518523E7
AT ITER 586 NEW BEST:: SOT 108002364 SOS 35243823 HAS SOPS 35243823 HAS SOUS 12813795 HAS SOUPS 12813795 WITH SCORE 1.2849038823E7
AT ITER 588 NEW BEST:: SOT 108002364 SOS 35243823 HAS SOPS 35243823 HAS SOUS 12813389 HAS SOUPS 12813389 WITH SCORE 1.2848632823E7
AT ITER 592 NEW BEST:: SOT 107995848 SOS 35236583 HAS SOPS 35236583 HAS SOUS 12805381 HAS SOUPS 12805381 WITH SCORE 1.2840617583E7
AT ITER 597 NEW BEST:: SOT 107991870 SOS 35232163 HAS SOPS 35232163 HAS SOUS 12800273 HAS SOUPS 12800273 WITH SCORE 1.2835505163E7
AT ITER 627 NEW BEST:: SOT 107991987 SOS 35231530 HAS SOPS 35231530 HAS SOUS 12797400 HAS SOUPS 12797400 WITH SCORE 1.283263153E7
AT ITER 639 NEW BEST:: SOT 107985435 SOS 35217802 HAS SOPS 35217802 HAS SOUS 12789496 HAS SOUPS 12789496 WITH SCORE 1.2824713802E7
AT ITER 648 NEW BEST:: SOT 107980170 SOS 35207272 HAS SOPS 35207272 HAS SOUS 12783646 HAS SOUPS 12783646 WITH SCORE 1.2818853272E7
AT ITER 652 NEW BEST:: SOT 107980170 SOS 35207222 HAS SOPS 35207222 HAS SOUS 12783596 HAS SOUPS 12783596 WITH SCORE 1.2818803222E7
AT ITER 660 NEW BEST:: SOT 107980170 SOS 35207110 HAS SOPS 35207110 HAS SOUS 12783596 HAS SOUPS 12783596 WITH SCORE 1.281880311E7
AT ITER 665 NEW BEST:: SOT 107980170 SOS 35205310 HAS SOPS 35205310 HAS SOUS 12783236 HAS SOUPS 12783236 WITH SCORE 1.281844131E7
AT ITER 686 NEW BEST:: SOT 107980170 SOS 35205174 HAS SOPS 35205174 HAS SOUS 12783100 HAS SOUPS 12783100 WITH SCORE 1.2818305174E7
AT ITER 697 NEW BEST:: SOT 107979672 SOS 35204178 HAS SOPS 35204178 HAS SOUS 12782104 HAS SOUPS 12782104 WITH SCORE 1.2817308178E7
AT ITER 702 NEW BEST:: SOT 107979672 SOS 35202610 HAS SOPS 35202610 HAS SOUS 12782104 HAS SOUPS 12782104 WITH SCORE 1.281730661E7
AT ITER 710 NEW BEST:: SOT 107979672 SOS 35206489 HAS SOPS 35206489 HAS SOUS 12780365 HAS SOUPS 12780365 WITH SCORE 1.2815571489E7
AT ITER 720 NEW BEST:: SOT 107979672 SOS 35206489 HAS SOPS 35206489 HAS SOUS 12779925 HAS SOUPS 12779925 WITH SCORE 1.2815131489E7
AT ITER 730 NEW BEST:: SOT 107980455 SOS 35229833 HAS SOPS 35229833 HAS SOUS 12779186 HAS SOUPS 12779186 WITH SCORE 1.2814415833E7
AT ITER 731 NEW BEST:: SOT 107979575 SOS 35221629 HAS SOPS 35221629 HAS SOUS 12776710 HAS SOUPS 12776710 WITH SCORE 1.2811931629E7
AT ITER 735 NEW BEST:: SOT 107979575 SOS 35221629 HAS SOPS 35221629 HAS SOUS 12775950 HAS SOUPS 12775950 WITH SCORE 1.2811171629E7
AT ITER 740 NEW BEST:: SOT 107976011 SOS 35214105 HAS SOPS 35214105 HAS SOUS 12771594 HAS SOUPS 12771594 WITH SCORE 1.2806808105E7
AT ITER 751 NEW BEST:: SOT 107975759 SOS 35213853 HAS SOPS 35213853 HAS SOUS 12771342 HAS SOUPS 12771342 WITH SCORE 1.2806555853E7
AT ITER 754 NEW BEST:: SOT 107975759 SOS 35214609 HAS SOPS 35214609 HAS SOUS 12770670 HAS SOUPS 12770670 WITH SCORE 1.2805884609E7
AT ITER 756 NEW BEST:: SOT 107975759 SOS 35216544 HAS SOPS 35216544 HAS SOUS 12768950 HAS SOUPS 12768950 WITH SCORE 1.2804166544E7
AT ITER 763 NEW BEST:: SOT 107975393 SOS 35212518 HAS SOPS 35212518 HAS SOUS 12767852 HAS SOUPS 12767852 WITH SCORE 1.2803064518E7
AT ITER 789 NEW BEST:: SOT 107970074 SOS 35206608 HAS SOPS 35206608 HAS SOUS 12760101 HAS SOUPS 12760101 WITH SCORE 1.2795307608E7
AT ITER 794 NEW BEST:: SOT 107970074 SOS 35206608 HAS SOPS 35206608 HAS SOUS 12760013 HAS SOUPS 12760013 WITH SCORE 1.2795219608E7
AT ITER 812 NEW BEST:: SOT 107962190 SOS 35197848 HAS SOPS 35197848 HAS SOUS 12747184 HAS SOUPS 12747184 WITH SCORE 1.2782381848E7
AT ITER 816 NEW BEST:: SOT 107958158 SOS 35189495 HAS SOPS 35189495 HAS SOUS 12743846 HAS SOUPS 12743846 WITH SCORE 1.2779035495E7
AT ITER 846 NEW BEST:: SOT 107957789 SOS 35185805 HAS SOPS 35185805 HAS SOUS 12743108 HAS SOUPS 12743108 WITH SCORE 1.2778293805E7
AT ITER 873 NEW BEST:: SOT 107957125 SOS 35179165 HAS SOPS 35179165 HAS SOUS 12741780 HAS SOUPS 12741780 WITH SCORE 1.2776959165E7
AT ITER 880 NEW BEST:: SOT 107957629 SOS 35179501 HAS SOPS 35179501 HAS SOUS 12739508 HAS SOUPS 12739508 WITH SCORE 1.2774687501E7
AT ITER 894 NEW BEST:: SOT 107957602 SOS 35179471 HAS SOPS 35179471 HAS SOUS 12739478 HAS SOUPS 12739478 WITH SCORE 1.2774657471E7
AT ITER 897 NEW BEST:: SOT 107957602 SOS 35181514 HAS SOPS 35181514 HAS SOUS 12737662 HAS SOUPS 12737662 WITH SCORE 1.2772843514E7
AT ITER 913 NEW BEST:: SOT 107956731 SOS 35171933 HAS SOPS 35171933 HAS SOUS 12735049 HAS SOUPS 12735049 WITH SCORE 1.2770220933E7
AT ITER 917 NEW BEST:: SOT 107956040 SOS 35165023 HAS SOPS 35165023 HAS SOUS 12733667 HAS SOUPS 12733667 WITH SCORE 1.2768832023E7
AT ITER 934 NEW BEST:: SOT 107956040 SOS 35162353 HAS SOPS 35162353 HAS SOUS 12733133 HAS SOUPS 12733133 WITH SCORE 1.2768295353E7
AT ITER 963 NEW BEST:: SOT 107955695 SOS 35158903 HAS SOPS 35158903 HAS SOUS 12732443 HAS SOUPS 12732443 WITH SCORE 1.2767601903E7
AT ITER 969 NEW BEST:: SOT 107947775 SOS 35142298 HAS SOPS 35142298 HAS SOUS 12722878 HAS SOUPS 12722878 WITH SCORE 1.2758020298E7
AT ITER 987 NEW BEST:: SOT 107947775 SOS 35141605 HAS SOPS 35141605 HAS SOUS 12721601 HAS SOUPS 12721601 WITH SCORE 1.2756742605E7
AT ITER 998 NEW BEST:: SOT 107940827 SOS 35133885 HAS SOPS 35133885 HAS SOUS 12713113 HAS SOUPS 12713113 WITH SCORE 1.2748246885E7
AT ITER 1016 NEW BEST:: SOT 107940827 SOS 35128365 HAS SOPS 35128365 HAS SOUS 12712009 HAS SOUPS 12712009 WITH SCORE 1.2747137365E7
AT ITER 1021 NEW BEST:: SOT 107940827 SOS 35124445 HAS SOPS 35124445 HAS SOUS 12711225 HAS SOUPS 12711225 WITH SCORE 1.2746349445E7
AT ITER 1061 NEW BEST:: SOT 107940694 SOS 35124312 HAS SOPS 35124312 HAS SOUS 12711092 HAS SOUPS 12711092 WITH SCORE 1.2746216312E7
AT ITER 1063 NEW BEST:: SOT 107940694 SOS 35124302 HAS SOPS 35124302 HAS SOUS 12711082 HAS SOUPS 12711082 WITH SCORE 1.2746206302E7
AT ITER 1080 NEW BEST:: SOT 107940694 SOS 35124181 HAS SOPS 35124181 HAS SOUS 12710961 HAS SOUPS 12710961 WITH SCORE 1.2746085181E7
AT ITER 1119 NEW BEST:: SOT 107940694 SOS 35124181 HAS SOPS 35124181 HAS SOUS 12710844 HAS SOUPS 12710844 WITH SCORE 1.2745968181E7
AT ITER 1126 NEW BEST:: SOT 107935987 SOS 35118951 HAS SOPS 35118951 HAS SOUS 12705614 HAS SOUPS 12705614 WITH SCORE 1.2740732951E7
AT ITER 1128 NEW BEST:: SOT 107934691 SOS 35117655 HAS SOPS 35117655 HAS SOUS 12704318 HAS SOUPS 12704318 WITH SCORE 1.2739435655E7
AT ITER 1130 NEW BEST:: SOT 107934627 SOS 35117527 HAS SOPS 35117527 HAS SOUS 12704190 HAS SOUPS 12704190 WITH SCORE 1.2739307527E7
AT ITER 1131 NEW BEST:: SOT 107934627 SOS 35119903 HAS SOPS 35119903 HAS SOUS 12701517 HAS SOUPS 12701517 WITH SCORE 1.2736636903E7
AT ITER 1137 NEW BEST:: SOT 107933956 SOS 35118561 HAS SOPS 35118561 HAS SOUS 12700175 HAS SOUPS 12700175 WITH SCORE 1.2735293561E7
AT ITER 1143 NEW BEST:: SOT 107931068 SOS 35115673 HAS SOPS 35115673 HAS SOUS 12697287 HAS SOUPS 12697287 WITH SCORE 1.2732402673E7
AT ITER 1148 NEW BEST:: SOT 107929556 SOS 35113993 HAS SOPS 35113993 HAS SOUS 12695607 HAS SOUPS 12695607 WITH SCORE 1.2730720993E7
AT ITER 1168 NEW BEST:: SOT 107929556 SOS 35117350 HAS SOPS 35117350 HAS SOUS 12692646 HAS SOUPS 12692646 WITH SCORE 1.272776335E7
AT ITER 1171 NEW BEST:: SOT 107929556 SOS 35118310 HAS SOPS 35118310 HAS SOUS 12691566 HAS SOUPS 12691566 WITH SCORE 1.272668431E7
AT ITER 1172 NEW BEST:: SOT 107928828 SOS 35113875 HAS SOPS 35113875 HAS SOUS 12689779 HAS SOUPS 12689779 WITH SCORE 1.2724892875E7
AT ITER 1186 NEW BEST:: SOT 107920971 SOS 35105145 HAS SOPS 35105145 HAS SOUS 12680281 HAS SOUPS 12680281 WITH SCORE 1.2715386145E7
AT ITER 1197 NEW BEST:: SOT 107920971 SOS 35108441 HAS SOPS 35108441 HAS SOUS 12676695 HAS SOUPS 12676695 WITH SCORE 1.2711803441E7
AT ITER 1204 NEW BEST:: SOT 107920971 SOS 35107919 HAS SOPS 35107919 HAS SOUS 12676173 HAS SOUPS 12676173 WITH SCORE 1.2711280919E7
AT ITER 1228 NEW BEST:: SOT 107920971 SOS 35107919 HAS SOPS 35107919 HAS SOUS 12676159 HAS SOUPS 12676159 WITH SCORE 1.2711266919E7
AT ITER 1260 NEW BEST:: SOT 107920361 SOS 35107309 HAS SOPS 35107309 HAS SOUS 12675549 HAS SOUPS 12675549 WITH SCORE 1.2710656309E7
AT ITER 1271 NEW BEST:: SOT 107919491 SOS 35105569 HAS SOPS 35105569 HAS SOUS 12670975 HAS SOUPS 12670975 WITH SCORE 1.2706080569E7
AT ITER 1273 NEW BEST:: SOT 107919007 SOS 35100729 HAS SOPS 35100729 HAS SOUS 12670007 HAS SOUPS 12670007 WITH SCORE 1.2705107729E7
AT ITER 1274 NEW BEST:: SOT 107918801 SOS 35100523 HAS SOPS 35100523 HAS SOUS 12669801 HAS SOUPS 12669801 WITH SCORE 1.2704901523E7
AT ITER 1286 NEW BEST:: SOT 107914529 SOS 35096251 HAS SOPS 35096251 HAS SOUS 12665529 HAS SOUPS 12665529 WITH SCORE 1.2700625251E7
AT ITER 1291 NEW BEST:: SOT 107914694 SOS 35096416 HAS SOPS 35096416 HAS SOUS 12665199 HAS SOUPS 12665199 WITH SCORE 1.2700295416E7
AT ITER 1292 NEW BEST:: SOT 107915531 SOS 35101967 HAS SOPS 35101967 HAS SOUS 12664926 HAS SOUPS 12664926 WITH SCORE 1.2700027967E7
AT ITER 1311 NEW BEST:: SOT 107915573 SOS 35094509 HAS SOPS 35094509 HAS SOUS 12664172 HAS SOUPS 12664172 WITH SCORE 1.2699266509E7
AT ITER 1322 NEW BEST:: SOT 107915519 SOS 35094455 HAS SOPS 35094455 HAS SOUS 12664118 HAS SOUPS 12664118 WITH SCORE 1.2699212455E7
AT ITER 1334 NEW BEST:: SOT 107907599 SOS 35078570 HAS SOPS 35078570 HAS SOUS 12660860 HAS SOUPS 12660860 WITH SCORE 1.269593857E7
AT ITER 1365 NEW BEST:: SOT 107907599 SOS 35078136 HAS SOPS 35078136 HAS SOUS 12660426 HAS SOUPS 12660426 WITH SCORE 1.2695504136E7
AT ITER 1381 NEW BEST:: SOT 107907677 SOS 35071486 HAS SOPS 35071486 HAS SOUS 12660192 HAS SOUPS 12660192 WITH SCORE 1.2695263486E7
AT ITER 1388 NEW BEST:: SOT 107907677 SOS 35072908 HAS SOPS 35072908 HAS SOUS 12659142 HAS SOUPS 12659142 WITH SCORE 1.2694214908E7
AT ITER 1401 NEW BEST:: SOT 107905256 SOS 35070218 HAS SOPS 35070218 HAS SOUS 12655601 HAS SOUPS 12655601 WITH SCORE 1.2690671218E7
AT ITER 1407 NEW BEST:: SOT 107904112 SOS 35069074 HAS SOPS 35069074 HAS SOUS 12654457 HAS SOUPS 12654457 WITH SCORE 1.2689526074E7
AT ITER 1419 NEW BEST:: SOT 107900521 SOS 35061892 HAS SOPS 35061892 HAS SOUS 12650467 HAS SOUPS 12650467 WITH SCORE 1.2685528892E7
AT ITER 1428 NEW BEST:: SOT 107899968 SOS 35061339 HAS SOPS 35061339 HAS SOUS 12650448 HAS SOUPS 12650448 WITH SCORE 1.2685509339E7
AT ITER 1440 NEW BEST:: SOT 107899968 SOS 35055228 HAS SOPS 35055228 HAS SOUS 12649769 HAS SOUPS 12649769 WITH SCORE 1.2684824228E7
AT ITER 1470 NEW BEST:: SOT 107899968 SOS 35055228 HAS SOPS 35055228 HAS SOUS 12649557 HAS SOUPS 12649557 WITH SCORE 1.2684612228E7
AT ITER 1472 NEW BEST:: SOT 107900510 SOS 35056312 HAS SOPS 35056312 HAS SOUS 12644323 HAS SOUPS 12644323 WITH SCORE 1.2679379312E7
AT ITER 1475 NEW BEST:: SOT 107892590 SOS 35039719 HAS SOPS 35039719 HAS SOUS 12635827 HAS SOUPS 12635827 WITH SCORE 1.2670866719E7
AT ITER 1493 NEW BEST:: SOT 107892590 SOS 35039791 HAS SOPS 35039791 HAS SOUS 12635763 HAS SOUPS 12635763 WITH SCORE 1.2670802791E7
AT ITER 1497 NEW BEST:: SOT 107892585 SOS 35039786 HAS SOPS 35039786 HAS SOUS 12635758 HAS SOUPS 12635758 WITH SCORE 1.2670797786E7
AT ITER 1519 NEW BEST:: SOT 107889588 SOS 35036789 HAS SOPS 35036789 HAS SOUS 12632761 HAS SOUPS 12632761 WITH SCORE 1.2667797789E7
AT ITER 1524 NEW BEST:: SOT 107889588 SOS 35036634 HAS SOPS 35036634 HAS SOUS 12632606 HAS SOUPS 12632606 WITH SCORE 1.2667642634E7
AT ITER 1528 NEW BEST:: SOT 107888897 SOS 35035252 HAS SOPS 35035252 HAS SOUS 12628994 HAS SOUPS 12628994 WITH SCORE 1.2664029252E7
AT ITER 1538 NEW BEST:: SOT 107888897 SOS 35030872 HAS SOPS 35030872 HAS SOUS 12628118 HAS SOUPS 12628118 WITH SCORE 1.2663148872E7
AT ITER 1539 NEW BEST:: SOT 107888897 SOS 35032488 HAS SOPS 35032488 HAS SOUS 12626310 HAS SOUPS 12626310 WITH SCORE 1.2661342488E7
AT ITER 1548 NEW BEST:: SOT 107887808 SOS 35031399 HAS SOPS 35031399 HAS SOUS 12625221 HAS SOUPS 12625221 WITH SCORE 1.2660252399E7
AT ITER 1578 NEW BEST:: SOT 107887514 SOS 35031105 HAS SOPS 35031105 HAS SOUS 12624927 HAS SOUPS 12624927 WITH SCORE 1.2659958105E7
AT ITER 1580 NEW BEST:: SOT 107887066 SOS 35026825 HAS SOPS 35026825 HAS SOUS 12623655 HAS SOUPS 12623655 WITH SCORE 1.2658681825E7
AT ITER 1592 NEW BEST:: SOT 107887066 SOS 35023395 HAS SOPS 35023395 HAS SOUS 12622969 HAS SOUPS 12622969 WITH SCORE 1.2657992395E7
AT ITER 1596 NEW BEST:: SOT 107887066 SOS 35016888 HAS SOPS 35016888 HAS SOUS 12622246 HAS SOUPS 12622246 WITH SCORE 1.2657262888E7
AT ITER 1604 NEW BEST:: SOT 107879538 SOS 35001832 HAS SOPS 35001832 HAS SOUS 12616808 HAS SOUPS 12616808 WITH SCORE 1.2651809832E7
AT ITER 1606 NEW BEST:: SOT 107874282 SOS 34990736 HAS SOPS 34990736 HAS SOUS 12610384 HAS SOUPS 12610384 WITH SCORE 1.2645374736E7
AT ITER 1614 NEW BEST:: SOT 107873486 SOS 34982776 HAS SOPS 34982776 HAS SOUS 12608792 HAS SOUPS 12608792 WITH SCORE 1.2643774776E7
AT ITER 1622 NEW BEST:: SOT 107873486 SOS 34983892 HAS SOPS 34983892 HAS SOUS 12607800 HAS SOUPS 12607800 WITH SCORE 1.2642783892E7
AT ITER 1642 NEW BEST:: SOT 107870228 SOS 34977014 HAS SOPS 34977014 HAS SOUS 12603818 HAS SOUPS 12603818 WITH SCORE 1.2638795014E7
AT ITER 1643 NEW BEST:: SOT 107869780 SOS 34973580 HAS SOPS 34973580 HAS SOUS 12602640 HAS SOUPS 12602640 WITH SCORE 1.263761358E7
AT ITER 1655 NEW BEST:: SOT 107868245 SOS 34968975 HAS SOPS 34968975 HAS SOUS 12600491 HAS SOUPS 12600491 WITH SCORE 1.2635459975E7
AT ITER 1684 NEW BEST:: SOT 107860325 SOS 34952330 HAS SOPS 34952330 HAS SOUS 12591561 HAS SOUPS 12591561 WITH SCORE 1.262651333E7
AT ITER 1717 NEW BEST:: SOT 107859478 SOS 34943013 HAS SOPS 34943013 HAS SOUS 12589020 HAS SOUPS 12589020 WITH SCORE 1.2623963013E7
AT ITER 1751 NEW BEST:: SOT 107859478 SOS 34943013 HAS SOPS 34943013 HAS SOUS 12588998 HAS SOUPS 12588998 WITH SCORE 1.2623941013E7
AT ITER 1753 NEW BEST:: SOT 107852800 SOS 34936697 HAS SOPS 34936697 HAS SOUS 12585768 HAS SOUPS 12585768 WITH SCORE 1.2620704697E7
AT ITER 1807 NEW BEST:: SOT 107852651 SOS 34936548 HAS SOPS 34936548 HAS SOUS 12585619 HAS SOUPS 12585619 WITH SCORE 1.2620555548E7
AT ITER 1811 NEW BEST:: SOT 107851771 SOS 34927748 HAS SOPS 34927748 HAS SOUS 12583859 HAS SOUPS 12583859 WITH SCORE 1.2618786748E7
AT ITER 1832 NEW BEST:: SOT 107851608 SOS 34925955 HAS SOPS 34925955 HAS SOUS 12583370 HAS SOUPS 12583370 WITH SCORE 1.2618295955E7
AT ITER 1851 NEW BEST:: SOT 107848971 SOS 34923025 HAS SOPS 34923025 HAS SOUS 12577914 HAS SOUPS 12577914 WITH SCORE 1.2612837025E7
AT ITER 1869 NEW BEST:: SOT 107848971 SOS 34919995 HAS SOPS 34919995 HAS SOUS 12577308 HAS SOUPS 12577308 WITH SCORE 1.2612227995E7
AT ITER 1874 NEW BEST:: SOT 107847795 SOS 34918819 HAS SOPS 34918819 HAS SOUS 12576132 HAS SOUPS 12576132 WITH SCORE 1.2611050819E7
AT ITER 1875 NEW BEST:: SOT 107843898 SOS 34914489 HAS SOPS 34914489 HAS SOUS 12570650 HAS SOUPS 12570650 WITH SCORE 1.2605564489E7
AT ITER 1877 NEW BEST:: SOT 107837349 SOS 34901391 HAS SOPS 34901391 HAS SOUS 12563403 HAS SOUPS 12563403 WITH SCORE 1.2598304391E7
AT ITER 1878 NEW BEST:: SOT 107837349 SOS 34901391 HAS SOPS 34901391 HAS SOUS 12563123 HAS SOUPS 12563123 WITH SCORE 1.2598024391E7
AT ITER 1881 NEW BEST:: SOT 107837349 SOS 34901391 HAS SOPS 34901391 HAS SOUS 12561835 HAS SOUPS 12561835 WITH SCORE 1.2596736391E7
AT ITER 1893 NEW BEST:: SOT 107835468 SOS 34897629 HAS SOPS 34897629 HAS SOUS 12559745 HAS SOUPS 12559745 WITH SCORE 1.2594642629E7
AT ITER 1911 NEW BEST:: SOT 107835468 SOS 34890150 HAS SOPS 34890150 HAS SOUS 12558914 HAS SOUPS 12558914 WITH SCORE 1.259380415E7
AT ITER 1912 NEW BEST:: SOT 107834740 SOS 34881948 HAS SOPS 34881948 HAS SOUS 12556536 HAS SOUPS 12556536 WITH SCORE 1.2591417948E7
AT ITER 1917 NEW BEST:: SOT 107830708 SOS 34873635 HAS SOPS 34873635 HAS SOUS 12553598 HAS SOUPS 12553598 WITH SCORE 1.2588471635E7
AT ITER 1925 NEW BEST:: SOT 107830708 SOS 34871475 HAS SOPS 34871475 HAS SOUS 12553358 HAS SOUPS 12553358 WITH SCORE 1.2588229475E7
AT ITER 1945 NEW BEST:: SOT 107830708 SOS 34870959 HAS SOPS 34870959 HAS SOUS 12552842 HAS SOUPS 12552842 WITH SCORE 1.2587712959E7
AT ITER 1971 NEW BEST:: SOT 107829376 SOS 34869479 HAS SOPS 34869479 HAS SOUS 12551362 HAS SOUPS 12551362 WITH SCORE 1.2586231479E7
AT ITER 2011 NEW BEST:: SOT 107828614 SOS 34861859 HAS SOPS 34861859 HAS SOUS 12549838 HAS SOUPS 12549838 WITH SCORE 1.2584699859E7
AT ITER 2020 NEW BEST:: SOT 107827110 SOS 34860355 HAS SOPS 34860355 HAS SOUS 12548334 HAS SOUPS 12548334 WITH SCORE 1.2583194355E7
AT ITER 2036 NEW BEST:: SOT 107819341 SOS 34844817 HAS SOPS 34844817 HAS SOUS 12541195 HAS SOUPS 12541195 WITH SCORE 1.2576039817E7
AT ITER 2037 NEW BEST:: SOT 107819341 SOS 34844360 HAS SOPS 34844360 HAS SOUS 12540738 HAS SOUPS 12540738 WITH SCORE 1.257558236E7
AT ITER 2039 NEW BEST:: SOT 107818733 SOS 34843752 HAS SOPS 34843752 HAS SOUS 12540450 HAS SOUPS 12540450 WITH SCORE 1.2575293752E7
AT ITER 2055 NEW BEST:: SOT 107824178 SOS 34854519 HAS SOPS 34854519 HAS SOUS 12540266 HAS SOUPS 12540266 WITH SCORE 1.2575120519E7
AT ITER 2057 NEW BEST:: SOT 107819579 SOS 34845321 HAS SOPS 34845321 HAS SOUS 12535156 HAS SOUPS 12535156 WITH SCORE 1.2570001321E7
AT ITER 2110 NEW BEST:: SOT 107817165 SOS 34840493 HAS SOPS 34840493 HAS SOUS 12532810 HAS SOUPS 12532810 WITH SCORE 1.2567650493E7
AT ITER 2118 NEW BEST:: SOT 107816437 SOS 34835131 HAS SOPS 34835131 HAS SOUS 12530920 HAS SOUPS 12530920 WITH SCORE 1.2565755131E7
AT ITER 2132 NEW BEST:: SOT 107816392 SOS 34835086 HAS SOPS 34835086 HAS SOUS 12530920 HAS SOUPS 12530920 WITH SCORE 1.2565755086E7
AT ITER 2148 NEW BEST:: SOT 107812405 SOS 34827112 HAS SOPS 34827112 HAS SOUS 12526530 HAS SOUPS 12526530 WITH SCORE 1.2561357112E7
AT ITER 2153 NEW BEST:: SOT 107812160 SOS 34825817 HAS SOPS 34825817 HAS SOUS 12526530 HAS SOUPS 12526530 WITH SCORE 1.2561355817E7
AT ITER 2167 NEW BEST:: SOT 107812160 SOS 34818158 HAS SOPS 34818158 HAS SOUS 12525679 HAS SOUPS 12525679 WITH SCORE 1.2560497158E7
AT ITER 2178 NEW BEST:: SOT 107812160 SOS 34814027 HAS SOPS 34814027 HAS SOUS 12525220 HAS SOUPS 12525220 WITH SCORE 1.2560034027E7
AT ITER 2202 NEW BEST:: SOT 107812160 SOS 34813755 HAS SOPS 34813755 HAS SOUS 12524948 HAS SOUPS 12524948 WITH SCORE 1.2559761755E7
AT ITER 2227 NEW BEST:: SOT 107809512 SOS 34811107 HAS SOPS 34811107 HAS SOUS 12522300 HAS SOUPS 12522300 WITH SCORE 1.2557111107E7
AT ITER 2257 NEW BEST:: SOT 107809746 SOS 34814814 HAS SOPS 34814814 HAS SOUS 12519742 HAS SOUPS 12519742 WITH SCORE 1.2554556814E7
AT ITER 2303 NEW BEST:: SOT 107809746 SOS 34814814 HAS SOPS 34814814 HAS SOUS 12518929 HAS SOUPS 12518929 WITH SCORE 1.2553743814E7
AT ITER 2306 NEW BEST:: SOT 107808866 SOS 34806223 HAS SOPS 34806223 HAS SOUS 12516410 HAS SOUPS 12516410 WITH SCORE 1.2551216223E7
AT ITER 2312 NEW BEST:: SOT 107809145 SOS 34801372 HAS SOPS 34801372 HAS SOUS 12516367 HAS SOUPS 12516367 WITH SCORE 1.2551168372E7
AT ITER 2347 NEW BEST:: SOT 107809145 SOS 34801372 HAS SOPS 34801372 HAS SOUS 12516279 HAS SOUPS 12516279 WITH SCORE 1.2551080372E7
AT ITER 2358 NEW BEST:: SOT 107808995 SOS 34801222 HAS SOPS 34801222 HAS SOUS 12516279 HAS SOUPS 12516279 WITH SCORE 1.2551080222E7
AT ITER 2362 NEW BEST:: SOT 107808995 SOS 34801222 HAS SOPS 34801222 HAS SOUS 12515703 HAS SOUPS 12515703 WITH SCORE 1.2550504222E7
AT ITER 2366 NEW BEST:: SOT 107808995 SOS 34801222 HAS SOPS 34801222 HAS SOUS 12515475 HAS SOUPS 12515475 WITH SCORE 1.2550276222E7
AT ITER 2377 NEW BEST:: SOT 107807915 SOS 34800022 HAS SOPS 34800022 HAS SOUS 12514275 HAS SOUPS 12514275 WITH SCORE 1.2549075022E7
AT ITER 2384 NEW BEST:: SOT 107800643 SOS 34784670 HAS SOPS 34784670 HAS SOUS 12505387 HAS SOUPS 12505387 WITH SCORE 1.254017167E7
AT ITER 2387 NEW BEST:: SOT 107800441 SOS 34782448 HAS SOPS 34782448 HAS SOUS 12504781 HAS SOUPS 12504781 WITH SCORE 1.2539563448E7
AT ITER 2388 NEW BEST:: SOT 107800441 SOS 34782968 HAS SOPS 34782968 HAS SOUS 12504196 HAS SOUPS 12504196 WITH SCORE 1.2538978968E7
AT ITER 2406 NEW BEST:: SOT 107799993 SOS 34779075 HAS SOPS 34779075 HAS SOUS 12502967 HAS SOUPS 12502967 WITH SCORE 1.2537746075E7
AT ITER 2409 NEW BEST:: SOT 107799750 SOS 34776402 HAS SOPS 34776402 HAS SOUS 12502238 HAS SOUPS 12502238 WITH SCORE 1.2537014402E7
AT ITER 2419 NEW BEST:: SOT 107799750 SOS 34776243 HAS SOPS 34776243 HAS SOUS 12502079 HAS SOUPS 12502079 WITH SCORE 1.2536855243E7
AT ITER 2424 NEW BEST:: SOT 107799215 SOS 34775708 HAS SOPS 34775708 HAS SOUS 12501544 HAS SOUPS 12501544 WITH SCORE 1.2536319708E7
AT ITER 2439 NEW BEST:: SOT 107799215 SOS 34775708 HAS SOPS 34775708 HAS SOUS 12501470 HAS SOUPS 12501470 WITH SCORE 1.2536245708E7
AT ITER 2447 NEW BEST:: SOT 107799215 SOS 34773118 HAS SOPS 34773118 HAS SOUS 12500952 HAS SOUPS 12500952 WITH SCORE 1.2535725118E7
AT ITER 2463 NEW BEST:: SOT 107797811 SOS 34771899 HAS SOPS 34771899 HAS SOUS 12500927 HAS SOUPS 12500927 WITH SCORE 1.2535698899E7
AT ITER 2476 NEW BEST:: SOT 107797811 SOS 34775651 HAS SOPS 34775651 HAS SOUS 12496966 HAS SOUPS 12496966 WITH SCORE 1.2531741651E7
AT ITER 2478 NEW BEST:: SOT 107797811 SOS 34776902 HAS SOPS 34776902 HAS SOUS 12495854 HAS SOUPS 12495854 WITH SCORE 1.2530630902E7
AT ITER 2488 NEW BEST:: SOT 107801395 SOS 34783822 HAS SOPS 34783822 HAS SOUS 12494910 HAS SOUPS 12494910 WITH SCORE 1.2529693822E7
AT ITER 2514 NEW BEST:: SOT 107801395 SOS 34783822 HAS SOPS 34783822 HAS SOUS 12494822 HAS SOUPS 12494822 WITH SCORE 1.2529605822E7
AT ITER 2534 NEW BEST:: SOT 107801395 SOS 34783730 HAS SOPS 34783730 HAS SOUS 12493902 HAS SOUPS 12493902 WITH SCORE 1.252868573E7
AT ITER 2549 NEW BEST:: SOT 107801096 SOS 34780740 HAS SOPS 34780740 HAS SOUS 12493304 HAS SOUPS 12493304 WITH SCORE 1.252808474E7
AT ITER 2550 NEW BEST:: SOT 107801128 SOS 34780772 HAS SOPS 34780772 HAS SOUS 12493240 HAS SOUPS 12493240 WITH SCORE 1.2528020772E7
AT ITER 2555 NEW BEST:: SOT 107801128 SOS 34780699 HAS SOPS 34780699 HAS SOUS 12493167 HAS SOUPS 12493167 WITH SCORE 1.2527947699E7
AT ITER 2580 NEW BEST:: SOT 107800842 SOS 34780413 HAS SOPS 34780413 HAS SOUS 12493103 HAS SOUPS 12493103 WITH SCORE 1.2527883413E7
AT ITER 2604 NEW BEST:: SOT 107800376 SOS 34775753 HAS SOPS 34775753 HAS SOUS 12492171 HAS SOUPS 12492171 WITH SCORE 1.2526946753E7
AT ITER 2607 NEW BEST:: SOT 107793120 SOS 34761241 HAS SOPS 34761241 HAS SOUS 12489815 HAS SOUPS 12489815 WITH SCORE 1.2524576241E7
AT ITER 2618 NEW BEST:: SOT 107793120 SOS 34761241 HAS SOPS 34761241 HAS SOUS 12489727 HAS SOUPS 12489727 WITH SCORE 1.2524488241E7
AT ITER 2619 NEW BEST:: SOT 107793120 SOS 34761241 HAS SOPS 34761241 HAS SOUS 12488628 HAS SOUPS 12488628 WITH SCORE 1.2523389241E7
AT ITER 2621 NEW BEST:: SOT 107791064 SOS 34759185 HAS SOPS 34759185 HAS SOUS 12486572 HAS SOUPS 12486572 WITH SCORE 1.2521331185E7
AT ITER 2649 NEW BEST:: SOT 107790812 SOS 34758905 HAS SOPS 34758905 HAS SOUS 12486292 HAS SOUPS 12486292 WITH SCORE 1.2521050905E7
AT ITER 2663 NEW BEST:: SOT 107783873 SOS 34745027 HAS SOPS 34745027 HAS SOUS 12478582 HAS SOUPS 12478582 WITH SCORE 1.2513327027E7
AT ITER 2669 NEW BEST:: SOT 107778176 SOS 34738697 HAS SOPS 34738697 HAS SOUS 12470570 HAS SOUPS 12470570 WITH SCORE 1.2505308697E7
AT ITER 2698 NEW BEST:: SOT 107778176 SOS 34738697 HAS SOPS 34738697 HAS SOUS 12470256 HAS SOUPS 12470256 WITH SCORE 1.2504994697E7
AT ITER 2724 NEW BEST:: SOT 107778176 SOS 34738697 HAS SOPS 34738697 HAS SOUS 12470133 HAS SOUPS 12470133 WITH SCORE 1.2504871697E7
AT ITER 2751 NEW BEST:: SOT 107777844 SOS 34738365 HAS SOPS 34738365 HAS SOUS 12469801 HAS SOUPS 12469801 WITH SCORE 1.2504539365E7
AT ITER 2768 NEW BEST:: SOT 107777844 SOS 34738075 HAS SOPS 34738075 HAS SOUS 12469743 HAS SOUPS 12469743 WITH SCORE 1.2504481075E7
AT ITER 2771 NEW BEST:: SOT 107777061 SOS 34737205 HAS SOPS 34737205 HAS SOUS 12468091 HAS SOUPS 12468091 WITH SCORE 1.2502828205E7
AT ITER 2772 NEW BEST:: SOT 107773029 SOS 34728812 HAS SOPS 34728812 HAS SOUS 12463466 HAS SOUPS 12463466 WITH SCORE 1.2498194812E7
AT ITER 2783 NEW BEST:: SOT 107773212 SOS 34722905 HAS SOPS 34722905 HAS SOUS 12463135 HAS SOUPS 12463135 WITH SCORE 1.2497857905E7
AT ITER 2785 NEW BEST:: SOT 107767028 SOS 34710537 HAS SOPS 34710537 HAS SOUS 12459109 HAS SOUPS 12459109 WITH SCORE 1.2493819537E7
AT ITER 2788 NEW BEST:: SOT 107765642 SOS 34709151 HAS SOPS 34709151 HAS SOUS 12457723 HAS SOUPS 12457723 WITH SCORE 1.2492432151E7
AT ITER 2797 NEW BEST:: SOT 107763797 SOS 34705256 HAS SOPS 34705256 HAS SOUS 12455468 HAS SOUPS 12455468 WITH SCORE 1.2490173256E7
AT ITER 2816 NEW BEST:: SOT 107757434 SOS 34698186 HAS SOPS 34698186 HAS SOUS 12448566 HAS SOUPS 12448566 WITH SCORE 1.2483264186E7
AT ITER 2823 NEW BEST:: SOT 107757215 SOS 34697967 HAS SOPS 34697967 HAS SOUS 12448566 HAS SOUPS 12448566 WITH SCORE 1.2483263967E7
AT ITER 2849 NEW BEST:: SOT 107757032 SOS 34697784 HAS SOPS 34697784 HAS SOUS 12448566 HAS SOUPS 12448566 WITH SCORE 1.2483263784E7
AT ITER 2853 NEW BEST:: SOT 107756521 SOS 34692674 HAS SOPS 34692674 HAS SOUS 12447544 HAS SOUPS 12447544 WITH SCORE 1.2482236674E7
AT ITER 2864 NEW BEST:: SOT 107756521 SOS 34692255 HAS SOPS 34692255 HAS SOUS 12447125 HAS SOUPS 12447125 WITH SCORE 1.2481817255E7
AT ITER 2904 NEW BEST:: SOT 107755846 SOS 34691505 HAS SOPS 34691505 HAS SOUS 12445700 HAS SOUPS 12445700 WITH SCORE 1.2480391505E7
AT ITER 2910 NEW BEST:: SOT 107755846 SOS 34687014 HAS SOPS 34687014 HAS SOUS 12445201 HAS SOUPS 12445201 WITH SCORE 1.2479888014E7
AT ITER 2925 NEW BEST:: SOT 107752246 SOS 34683414 HAS SOPS 34683414 HAS SOUS 12441601 HAS SOUPS 12441601 WITH SCORE 1.2476284414E7
AT ITER 2926 NEW BEST:: SOT 107751570 SOS 34676654 HAS SOPS 34676654 HAS SOUS 12440249 HAS SOUPS 12440249 WITH SCORE 1.2474925654E7
AT ITER 2937 NEW BEST:: SOT 107751570 SOS 34671353 HAS SOPS 34671353 HAS SOUS 12439660 HAS SOUPS 12439660 WITH SCORE 1.2474331353E7
AT ITER 2941 NEW BEST:: SOT 107751570 SOS 34671089 HAS SOPS 34671089 HAS SOUS 12439396 HAS SOUPS 12439396 WITH SCORE 1.2474067089E7
AT ITER 2953 NEW BEST:: SOT 107746673 SOS 34658959 HAS SOPS 34658959 HAS SOUS 12439374 HAS SOUPS 12439374 WITH SCORE 1.2474032959E7
AT ITER 2965 NEW BEST:: SOT 107746673 SOS 34658497 HAS SOPS 34658497 HAS SOUS 12438912 HAS SOUPS 12438912 WITH SCORE 1.2473570497E7
AT ITER 2996 NEW BEST:: SOT 107740652 SOS 34647916 HAS SOPS 34647916 HAS SOUS 12431979 HAS SOUPS 12431979 WITH SCORE 1.2466626916E7
AT ITER 3014 NEW BEST:: SOT 107740113 SOS 34645067 HAS SOPS 34645067 HAS SOUS 12431825 HAS SOUPS 12431825 WITH SCORE 1.2466470067E7
AT ITER 3041 NEW BEST:: SOT 107740113 SOS 34640900 HAS SOPS 34640900 HAS SOUS 12431362 HAS SOUPS 12431362 WITH SCORE 1.24660029E7
AT ITER 3049 NEW BEST:: SOT 107736408 SOS 34633305 HAS SOPS 34633305 HAS SOUS 12428585 HAS SOUPS 12428585 WITH SCORE 1.2463218305E7
AT ITER 3053 NEW BEST:: SOT 107730648 SOS 34621785 HAS SOPS 34621785 HAS SOUS 12422185 HAS SOUPS 12422185 WITH SCORE 1.2456806785E7
AT ITER 3058 NEW BEST:: SOT 107730648 SOS 34620057 HAS SOPS 34620057 HAS SOUS 12421993 HAS SOUPS 12421993 WITH SCORE 1.2456613057E7
AT ITER 3060 NEW BEST:: SOT 107730589 SOS 34619998 HAS SOPS 34619998 HAS SOUS 12421875 HAS SOUPS 12421875 WITH SCORE 1.2456494998E7
AT ITER 3070 NEW BEST:: SOT 107724325 SOS 34607470 HAS SOPS 34607470 HAS SOUS 12414915 HAS SOUPS 12414915 WITH SCORE 1.244952247E7
AT ITER 3071 NEW BEST:: SOT 107723615 SOS 34606050 HAS SOPS 34606050 HAS SOUS 12411213 HAS SOUPS 12411213 WITH SCORE 1.244581905E7
AT ITER 3074 NEW BEST:: SOT 107720906 SOS 34600331 HAS SOPS 34600331 HAS SOUS 12407902 HAS SOUPS 12407902 WITH SCORE 1.2442502331E7
AT ITER 3100 NEW BEST:: SOT 107720510 SOS 34599539 HAS SOPS 34599539 HAS SOUS 12405538 HAS SOUPS 12405538 WITH SCORE 1.2440137539E7
AT ITER 3107 NEW BEST:: SOT 107720510 SOS 34599252 HAS SOPS 34599252 HAS SOUS 12405251 HAS SOUPS 12405251 WITH SCORE 1.2439850252E7
AT ITER 3109 NEW BEST:: SOT 107713148 SOS 34591072 HAS SOPS 34591072 HAS SOUS 12397071 HAS SOUPS 12397071 WITH SCORE 1.2431662072E7
AT ITER 3118 NEW BEST:: SOT 107713148 SOS 34586592 HAS SOPS 34586592 HAS SOUS 12396175 HAS SOUPS 12396175 WITH SCORE 1.2430761592E7
AT ITER 3126 NEW BEST:: SOT 107713454 SOS 34581758 HAS SOPS 34581758 HAS SOUS 12396157 HAS SOUPS 12396157 WITH SCORE 1.2430738758E7
AT ITER 3145 NEW BEST:: SOT 107709566 SOS 34577870 HAS SOPS 34577870 HAS SOUS 12392269 HAS SOUPS 12392269 WITH SCORE 1.242684687E7
AT ITER 3206 NEW BEST:: SOT 107709566 SOS 34577150 HAS SOPS 34577150 HAS SOUS 12392125 HAS SOUPS 12392125 WITH SCORE 1.242670215E7
AT ITER 3220 NEW BEST:: SOT 107709566 SOS 34578770 HAS SOPS 34578770 HAS SOUS 12390685 HAS SOUPS 12390685 WITH SCORE 1.242526377E7
AT ITER 3230 NEW BEST:: SOT 107703032 SOS 34564976 HAS SOPS 34564976 HAS SOUS 12382699 HAS SOUPS 12382699 WITH SCORE 1.2417263976E7
AT ITER 3233 NEW BEST:: SOT 107704103 SOS 34565540 HAS SOPS 34565540 HAS SOUS 12382071 HAS SOUPS 12382071 WITH SCORE 1.241663654E7
AT ITER 3237 NEW BEST:: SOT 107700989 SOS 34562426 HAS SOPS 34562426 HAS SOUS 12378957 HAS SOUPS 12378957 WITH SCORE 1.2413519426E7
AT ITER 3246 NEW BEST:: SOT 107705869 SOS 34576090 HAS SOPS 34576090 HAS SOUS 12377461 HAS SOUPS 12377461 WITH SCORE 1.241203709E7
AT ITER 3251 NEW BEST:: SOT 107702449 SOS 34572290 HAS SOPS 34572290 HAS SOUS 12370439 HAS SOUPS 12370439 WITH SCORE 1.240501129E7
AT ITER 3261 NEW BEST:: SOT 107697202 SOS 34561213 HAS SOPS 34561213 HAS SOUS 12364026 HAS SOUPS 12364026 WITH SCORE 1.2398587213E7
AT ITER 3266 NEW BEST:: SOT 107689732 SOS 34546273 HAS SOPS 34546273 HAS SOUS 12359726 HAS SOUPS 12359726 WITH SCORE 1.2394272273E7
AT ITER 3275 NEW BEST:: SOT 107689732 SOS 34547369 HAS SOPS 34547369 HAS SOUS 12358750 HAS SOUPS 12358750 WITH SCORE 1.2393297369E7
AT ITER 3286 NEW BEST:: SOT 107686348 SOS 34543985 HAS SOPS 34543985 HAS SOUS 12355366 HAS SOUPS 12355366 WITH SCORE 1.2389909985E7
AT ITER 3307 NEW BEST:: SOT 107686348 SOS 34543970 HAS SOPS 34543970 HAS SOUS 12355351 HAS SOUPS 12355351 WITH SCORE 1.238989497E7
AT ITER 3309 NEW BEST:: SOT 107686135 SOS 34543757 HAS SOPS 34543757 HAS SOUS 12355351 HAS SOUPS 12355351 WITH SCORE 1.2389894757E7
AT ITER 3324 NEW BEST:: SOT 107683867 SOS 34541237 HAS SOPS 34541237 HAS SOUS 12351715 HAS SOUPS 12351715 WITH SCORE 1.2386256237E7
AT ITER 3325 NEW BEST:: SOT 107683867 SOS 34543389 HAS SOPS 34543389 HAS SOUS 12349563 HAS SOUPS 12349563 WITH SCORE 1.2384106389E7
AT ITER 3366 NEW BEST:: SOT 107675947 SOS 34526696 HAS SOPS 34526696 HAS SOUS 12340126 HAS SOUPS 12340126 WITH SCORE 1.2374652696E7
AT ITER 3369 NEW BEST:: SOT 107675947 SOS 34526388 HAS SOPS 34526388 HAS SOUS 12338650 HAS SOUPS 12338650 WITH SCORE 1.2373176388E7
AT ITER 3374 NEW BEST:: SOT 107675255 SOS 34524996 HAS SOPS 34524996 HAS SOUS 12334338 HAS SOUPS 12334338 WITH SCORE 1.2368862996E7
AT ITER 3375 NEW BEST:: SOT 107674076 SOS 34523686 HAS SOPS 34523686 HAS SOUS 12332292 HAS SOUPS 12332292 WITH SCORE 1.2366815686E7
AT ITER 3378 NEW BEST:: SOT 107673926 SOS 34522036 HAS SOPS 34522036 HAS SOUS 12331842 HAS SOUPS 12331842 WITH SCORE 1.2366364036E7
AT ITER 3388 NEW BEST:: SOT 107673926 SOS 34522036 HAS SOPS 34522036 HAS SOUS 12331226 HAS SOUPS 12331226 WITH SCORE 1.2365748036E7
AT ITER 3391 NEW BEST:: SOT 107673926 SOS 34522036 HAS SOPS 34522036 HAS SOUS 12331151 HAS SOUPS 12331151 WITH SCORE 1.2365673036E7
AT ITER 3398 NEW BEST:: SOT 107673926 SOS 34524646 HAS SOPS 34524646 HAS SOUS 12329004 HAS SOUPS 12329004 WITH SCORE 1.2363528646E7
AT ITER 3412 NEW BEST:: SOT 107673926 SOS 34522531 HAS SOPS 34522531 HAS SOUS 12328769 HAS SOUPS 12328769 WITH SCORE 1.2363291531E7
AT ITER 3423 NEW BEST:: SOT 107673926 SOS 34522150 HAS SOPS 34522150 HAS SOUS 12328388 HAS SOUPS 12328388 WITH SCORE 1.236291015E7
AT ITER 3429 NEW BEST:: SOT 107673786 SOS 34522010 HAS SOPS 34522010 HAS SOUS 12328388 HAS SOUPS 12328388 WITH SCORE 1.236291001E7
AT ITER 3472 NEW BEST:: SOT 107672906 SOS 34513210 HAS SOPS 34513210 HAS SOUS 12326628 HAS SOUPS 12326628 WITH SCORE 1.236114121E7
AT ITER 3486 NEW BEST:: SOT 107672906 SOS 34513210 HAS SOPS 34513210 HAS SOUS 12326334 HAS SOUPS 12326334 WITH SCORE 1.236084721E7
AT ITER 3500 NEW BEST:: SOT 107672906 SOS 34513210 HAS SOPS 34513210 HAS SOUS 12325762 HAS SOUPS 12325762 WITH SCORE 1.236027521E7
AT ITER 3525 NEW BEST:: SOT 107670602 SOS 34505826 HAS SOPS 34505826 HAS SOUS 12324949 HAS SOUPS 12324949 WITH SCORE 1.2359454826E7
AT ITER 3535 NEW BEST:: SOT 107670370 SOS 34505594 HAS SOPS 34505594 HAS SOUS 12324949 HAS SOUPS 12324949 WITH SCORE 1.2359454594E7
AT ITER 3542 NEW BEST:: SOT 107670370 SOS 34505520 HAS SOPS 34505520 HAS SOUS 12324875 HAS SOUPS 12324875 WITH SCORE 1.235938052E7
AT ITER 3558 NEW BEST:: SOT 107670370 SOS 34505520 HAS SOPS 34505520 HAS SOUS 12324764 HAS SOUPS 12324764 WITH SCORE 1.235926952E7
AT ITER 3580 NEW BEST:: SOT 107670370 SOS 34508136 HAS SOPS 34508136 HAS SOUS 12321888 HAS SOUPS 12321888 WITH SCORE 1.2356396136E7
AT ITER 3587 NEW BEST:: SOT 107670370 SOS 34508136 HAS SOPS 34508136 HAS SOUS 12321322 HAS SOUPS 12321322 WITH SCORE 1.2355830136E7
AT ITER 3595 NEW BEST:: SOT 107664140 SOS 34495676 HAS SOPS 34495676 HAS SOUS 12314686 HAS SOUPS 12314686 WITH SCORE 1.2349181676E7
AT ITER 3598 NEW BEST:: SOT 107660063 SOS 34491599 HAS SOPS 34491599 HAS SOUS 12310609 HAS SOUPS 12310609 WITH SCORE 1.2345100599E7
AT ITER 3607 NEW BEST:: SOT 107653173 SOS 34484363 HAS SOPS 34484363 HAS SOUS 12305777 HAS SOUPS 12305777 WITH SCORE 1.2340261363E7
AT ITER 3610 NEW BEST:: SOT 107653173 SOS 34484363 HAS SOPS 34484363 HAS SOUS 12304721 HAS SOUPS 12304721 WITH SCORE 1.2339205363E7
AT ITER 3614 NEW BEST:: SOT 107646873 SOS 34468947 HAS SOPS 34468947 HAS SOUS 12300023 HAS SOUPS 12300023 WITH SCORE 1.2334491947E7
AT ITER 3630 NEW BEST:: SOT 107646296 SOS 34464750 HAS SOPS 34464750 HAS SOUS 12298722 HAS SOUPS 12298722 WITH SCORE 1.233318675E7
AT ITER 3635 NEW BEST:: SOT 107638376 SOS 34448514 HAS SOPS 34448514 HAS SOUS 12293708 HAS SOUPS 12293708 WITH SCORE 1.2328156514E7
AT ITER 3640 NEW BEST:: SOT 107638577 SOS 34448715 HAS SOPS 34448715 HAS SOUS 12293581 HAS SOUPS 12293581 WITH SCORE 1.2328029715E7
AT ITER 3647 NEW BEST:: SOT 107638496 SOS 34447905 HAS SOPS 34447905 HAS SOUS 12293419 HAS SOUPS 12293419 WITH SCORE 1.2327866905E7
AT ITER 3652 NEW BEST:: SOT 107638272 SOS 34447681 HAS SOPS 34447681 HAS SOUS 12293195 HAS SOUPS 12293195 WITH SCORE 1.2327642681E7
AT ITER 3662 NEW BEST:: SOT 107630352 SOS 34439226 HAS SOPS 34439226 HAS SOUS 12287310 HAS SOUPS 12287310 WITH SCORE 1.2321749226E7
AT ITER 3698 NEW BEST:: SOT 107622432 SOS 34423216 HAS SOPS 34423216 HAS SOUS 12283033 HAS SOUPS 12283033 WITH SCORE 1.2317456216E7
AT ITER 3711 NEW BEST:: SOT 107622432 SOS 34417486 HAS SOPS 34417486 HAS SOUS 12281887 HAS SOUPS 12281887 WITH SCORE 1.2316304486E7
AT ITER 3719 NEW BEST:: SOT 107616825 SOS 34411256 HAS SOPS 34411256 HAS SOUS 12275313 HAS SOUPS 12275313 WITH SCORE 1.2309724256E7
AT ITER 3732 NEW BEST:: SOT 107615945 SOS 34408488 HAS SOPS 34408488 HAS SOUS 12273441 HAS SOUPS 12273441 WITH SCORE 1.2307849488E7
AT ITER 3743 NEW BEST:: SOT 107615945 SOS 34407816 HAS SOPS 34407816 HAS SOUS 12272769 HAS SOUPS 12272769 WITH SCORE 1.2307176816E7
AT ITER 3768 NEW BEST:: SOT 107615632 SOS 34404373 HAS SOPS 34404373 HAS SOUS 12271830 HAS SOUPS 12271830 WITH SCORE 1.2306234373E7
AT ITER 3826 NEW BEST:: SOT 107611573 SOS 34399863 HAS SOPS 34399863 HAS SOUS 12266833 HAS SOUPS 12266833 WITH SCORE 1.2301232863E7
AT ITER 3828 NEW BEST:: SOT 107611285 SOS 34399575 HAS SOPS 34399575 HAS SOUS 12266545 HAS SOUPS 12266545 WITH SCORE 1.2300944575E7
AT ITER 3838 NEW BEST:: SOT 107610939 SOS 34396115 HAS SOPS 34396115 HAS SOUS 12265853 HAS SOUPS 12265853 WITH SCORE 1.2300249115E7
AT ITER 3862 NEW BEST:: SOT 107610939 SOS 34393235 HAS SOPS 34393235 HAS SOUS 12265277 HAS SOUPS 12265277 WITH SCORE 1.2299670235E7
AT ITER 3871 NEW BEST:: SOT 107610939 SOS 34388905 HAS SOPS 34388905 HAS SOUS 12264411 HAS SOUPS 12264411 WITH SCORE 1.2298799905E7
AT ITER 3876 NEW BEST:: SOT 107610939 SOS 34386365 HAS SOPS 34386365 HAS SOUS 12263903 HAS SOUPS 12263903 WITH SCORE 1.2298289365E7
AT ITER 3904 NEW BEST:: SOT 107612631 SOS 34388805 HAS SOPS 34388805 HAS SOUS 12262903 HAS SOUPS 12262903 WITH SCORE 1.2297291805E7
AT ITER 3907 NEW BEST:: SOT 107612764 SOS 34388938 HAS SOPS 34388938 HAS SOUS 12262770 HAS SOUPS 12262770 WITH SCORE 1.2297158938E7
AT ITER 3935 NEW BEST:: SOT 107611150 SOS 34385902 HAS SOPS 34385902 HAS SOUS 12260998 HAS SOUPS 12260998 WITH SCORE 1.2295383902E7
AT ITER 3938 NEW BEST:: SOT 107606790 SOS 34381542 HAS SOPS 34381542 HAS SOUS 12256638 HAS SOUPS 12256638 WITH SCORE 1.2291019542E7
AT ITER 3940 NEW BEST:: SOT 107606790 SOS 34375057 HAS SOPS 34375057 HAS SOUS 12255977 HAS SOUPS 12255977 WITH SCORE 1.2290352057E7
AT ITER 3946 NEW BEST:: SOT 107603055 SOS 34367587 HAS SOPS 34367587 HAS SOUS 12251827 HAS SOUPS 12251827 WITH SCORE 1.2286194587E7
AT ITER 3992 NEW BEST:: SOT 107604027 SOS 34368177 HAS SOPS 34368177 HAS SOUS 12249288 HAS SOUPS 12249288 WITH SCORE 1.2283656177E7
AT ITER 3993 NEW BEST:: SOT 107604027 SOS 34360387 HAS SOPS 34360387 HAS SOUS 12247730 HAS SOUPS 12247730 WITH SCORE 1.2282090387E7
AT ITER 4018 NEW BEST:: SOT 107605522 SOS 34363377 HAS SOPS 34363377 HAS SOUS 12246283 HAS SOUPS 12246283 WITH SCORE 1.2280646377E7
AT ITER 4027 NEW BEST:: SOT 107603650 SOS 34361297 HAS SOPS 34361297 HAS SOUS 12244203 HAS SOUPS 12244203 WITH SCORE 1.2278564297E7
AT ITER 4032 NEW BEST:: SOT 107597404 SOS 34355051 HAS SOPS 34355051 HAS SOUS 12237957 HAS SOUPS 12237957 WITH SCORE 1.2272312051E7
AT ITER 4039 NEW BEST:: SOT 107597404 SOS 34359011 HAS SOPS 34359011 HAS SOUS 12234877 HAS SOUPS 12234877 WITH SCORE 1.2269236011E7
AT ITER 4043 NEW BEST:: SOT 107591482 SOS 34347167 HAS SOPS 34347167 HAS SOUS 12228297 HAS SOUPS 12228297 WITH SCORE 1.2262644167E7
AT ITER 4085 NEW BEST:: SOT 107583562 SOS 34337065 HAS SOPS 34337065 HAS SOUS 12220607 HAS SOUPS 12220607 WITH SCORE 1.2254944065E7
AT ITER 4092 NEW BEST:: SOT 107577613 SOS 34331116 HAS SOPS 34331116 HAS SOUS 12214658 HAS SOUPS 12214658 WITH SCORE 1.2248989116E7
AT ITER 4101 NEW BEST:: SOT 107577109 SOS 34330612 HAS SOPS 34330612 HAS SOUS 12214154 HAS SOUPS 12214154 WITH SCORE 1.2248484612E7
AT ITER 4111 NEW BEST:: SOT 107577109 SOS 34335476 HAS SOPS 34335476 HAS SOUS 12208682 HAS SOUPS 12208682 WITH SCORE 1.2243017476E7
AT ITER 4123 NEW BEST:: SOT 107574751 SOS 34330760 HAS SOPS 34330760 HAS SOUS 12206062 HAS SOUPS 12206062 WITH SCORE 1.224039276E7
AT ITER 4134 NEW BEST:: SOT 107574751 SOS 34329980 HAS SOPS 34329980 HAS SOUS 12205906 HAS SOUPS 12205906 WITH SCORE 1.224023598E7
AT ITER 4144 NEW BEST:: SOT 107574647 SOS 34329876 HAS SOPS 34329876 HAS SOUS 12205802 HAS SOUPS 12205802 WITH SCORE 1.2240131876E7
AT ITER 4164 NEW BEST:: SOT 107573767 SOS 34325335 HAS SOPS 34325335 HAS SOUS 12203733 HAS SOUPS 12203733 WITH SCORE 1.2238058335E7
AT ITER 4168 NEW BEST:: SOT 107573767 SOS 34325335 HAS SOPS 34325335 HAS SOUS 12202170 HAS SOUPS 12202170 WITH SCORE 1.2236495335E7
AT ITER 4197 NEW BEST:: SOT 107568025 SOS 34313851 HAS SOPS 34313851 HAS SOUS 12195790 HAS SOUPS 12195790 WITH SCORE 1.2230103851E7
AT ITER 4211 NEW BEST:: SOT 107568396 SOS 34314593 HAS SOPS 34314593 HAS SOUS 12189257 HAS SOUPS 12189257 WITH SCORE 1.2223571593E7
AT ITER 4219 NEW BEST:: SOT 107569025 SOS 34315222 HAS SOPS 34315222 HAS SOUS 12189110 HAS SOUPS 12189110 WITH SCORE 1.2223425222E7
AT ITER 4222 NEW BEST:: SOT 107569025 SOS 34315222 HAS SOPS 34315222 HAS SOUS 12188921 HAS SOUPS 12188921 WITH SCORE 1.2223236222E7
AT ITER 4241 NEW BEST:: SOT 107569199 SOS 34309216 HAS SOPS 34309216 HAS SOUS 12188563 HAS SOUPS 12188563 WITH SCORE 1.2222872216E7
AT ITER 4247 NEW BEST:: SOT 107568758 SOS 34304806 HAS SOPS 34304806 HAS SOUS 12187681 HAS SOUPS 12187681 WITH SCORE 1.2221985806E7
AT ITER 4258 NEW BEST:: SOT 107565725 SOS 34301436 HAS SOPS 34301436 HAS SOUS 12181209 HAS SOUPS 12181209 WITH SCORE 1.2215510436E7
AT ITER 4261 NEW BEST:: SOT 107565058 SOS 34294766 HAS SOPS 34294766 HAS SOUS 12179875 HAS SOUPS 12179875 WITH SCORE 1.2214169766E7
AT ITER 4291 NEW BEST:: SOT 107565058 SOS 34292318 HAS SOPS 34292318 HAS SOUS 12179603 HAS SOUPS 12179603 WITH SCORE 1.2213895318E7
AT ITER 4306 NEW BEST:: SOT 107565058 SOS 34292318 HAS SOPS 34292318 HAS SOUS 12179518 HAS SOUPS 12179518 WITH SCORE 1.2213810318E7
AT ITER 4308 NEW BEST:: SOT 107565058 SOS 34292318 HAS SOPS 34292318 HAS SOUS 12179396 HAS SOUPS 12179396 WITH SCORE 1.2213688318E7
AT ITER 4320 NEW BEST:: SOT 107564230 SOS 34291490 HAS SOPS 34291490 HAS SOUS 12178568 HAS SOUPS 12178568 WITH SCORE 1.221285949E7
AT ITER 4334 NEW BEST:: SOT 107559955 SOS 34286740 HAS SOPS 34286740 HAS SOUS 12170054 HAS SOUPS 12170054 WITH SCORE 1.220434074E7
AT ITER 4343 NEW BEST:: SOT 107559919 SOS 34286700 HAS SOPS 34286700 HAS SOUS 12169978 HAS SOUPS 12169978 WITH SCORE 1.22042647E7
AT ITER 4354 NEW BEST:: SOT 107559906 SOS 34286687 HAS SOPS 34286687 HAS SOUS 12169939 HAS SOUPS 12169939 WITH SCORE 1.2204225687E7
AT ITER 4358 NEW BEST:: SOT 107553336 SOS 34279387 HAS SOPS 34279387 HAS SOUS 12162639 HAS SOUPS 12162639 WITH SCORE 1.2196918387E7
AT ITER 4364 NEW BEST:: SOT 107554092 SOS 34286723 HAS SOPS 34286723 HAS SOUS 12161014 HAS SOUPS 12161014 WITH SCORE 1.2195300723E7
AT ITER 4389 NEW BEST:: SOT 107553711 SOS 34282913 HAS SOPS 34282913 HAS SOUS 12160252 HAS SOUPS 12160252 WITH SCORE 1.2194534913E7
AT ITER 4394 NEW BEST:: SOT 107549283 SOS 34277993 HAS SOPS 34277993 HAS SOUS 12155332 HAS SOUPS 12155332 WITH SCORE 1.2189609993E7
AT ITER 4423 NEW BEST:: SOT 107549283 SOS 34270893 HAS SOPS 34270893 HAS SOUS 12153912 HAS SOUPS 12153912 WITH SCORE 1.2188182893E7
AT ITER 4449 NEW BEST:: SOT 107549283 SOS 34270893 HAS SOPS 34270893 HAS SOUS 12153707 HAS SOUPS 12153707 WITH SCORE 1.2187977893E7
AT ITER 4454 NEW BEST:: SOT 107549133 SOS 34270743 HAS SOPS 34270743 HAS SOUS 12153707 HAS SOUPS 12153707 WITH SCORE 1.2187977743E7
AT ITER 4461 NEW BEST:: SOT 107548926 SOS 34270513 HAS SOPS 34270513 HAS SOUS 12153352 HAS SOUPS 12153352 WITH SCORE 1.2187622513E7
AT ITER 4468 NEW BEST:: SOT 107548926 SOS 34264973 HAS SOPS 34264973 HAS SOUS 12152244 HAS SOUPS 12152244 WITH SCORE 1.2186508973E7
AT ITER 4474 NEW BEST:: SOT 107542453 SOS 34252027 HAS SOPS 34252027 HAS SOUS 12145122 HAS SOUPS 12145122 WITH SCORE 1.2179374027E7
AT ITER 4483 NEW BEST:: SOT 107542453 SOS 34252027 HAS SOPS 34252027 HAS SOUS 12144562 HAS SOUPS 12144562 WITH SCORE 1.2178814027E7
AT ITER 4497 NEW BEST:: SOT 107542453 SOS 34253080 HAS SOPS 34253080 HAS SOUS 12143657 HAS SOUPS 12143657 WITH SCORE 1.217791008E7
AT ITER 4509 NEW BEST:: SOT 107542434 SOS 34253061 HAS SOPS 34253061 HAS SOUS 12143657 HAS SOUPS 12143657 WITH SCORE 1.2177910061E7
AT ITER 4566 NEW BEST:: SOT 107540480 SOS 34248807 HAS SOPS 34248807 HAS SOUS 12141243 HAS SOUPS 12141243 WITH SCORE 1.2175491807E7
AT ITER 4579 NEW BEST:: SOT 107540437 SOS 34248377 HAS SOPS 34248377 HAS SOUS 12141157 HAS SOUPS 12141157 WITH SCORE 1.2175405377E7
AT ITER 4606 NEW BEST:: SOT 107540437 SOS 34248377 HAS SOPS 34248377 HAS SOUS 12140562 HAS SOUPS 12140562 WITH SCORE 1.2174810377E7
AT ITER 4615 NEW BEST:: SOT 107533426 SOS 34241395 HAS SOPS 34241395 HAS SOUS 12133812 HAS SOUPS 12133812 WITH SCORE 1.2168053395E7
AT ITER 4621 NEW BEST:: SOT 107533426 SOS 34241395 HAS SOPS 34241395 HAS SOUS 12133427 HAS SOUPS 12133427 WITH SCORE 1.2167668395E7
AT ITER 4632 NEW BEST:: SOT 107526874 SOS 34234994 HAS SOPS 34234994 HAS SOUS 12128674 HAS SOUPS 12128674 WITH SCORE 1.2162908994E7
AT ITER 4635 NEW BEST:: SOT 107526455 SOS 34234575 HAS SOPS 34234575 HAS SOUS 12128226 HAS SOUPS 12128226 WITH SCORE 1.2162460575E7
AT ITER 4642 NEW BEST:: SOT 107526455 SOS 34238887 HAS SOPS 34238887 HAS SOUS 12123375 HAS SOUPS 12123375 WITH SCORE 1.2157613887E7
AT ITER 4647 NEW BEST:: SOT 107525829 SOS 34237635 HAS SOPS 34237635 HAS SOUS 12116857 HAS SOUPS 12116857 WITH SCORE 1.2151094635E7
AT ITER 4650 NEW BEST:: SOT 107518332 SOS 34229305 HAS SOPS 34229305 HAS SOUS 12108527 HAS SOUPS 12108527 WITH SCORE 1.2142756305E7
AT ITER 4653 NEW BEST:: SOT 107518332 SOS 34223518 HAS SOPS 34223518 HAS SOUS 12107884 HAS SOUPS 12107884 WITH SCORE 1.2142107518E7
AT ITER 4659 NEW BEST:: SOT 107518077 SOS 34220968 HAS SOPS 34220968 HAS SOUS 12107374 HAS SOUPS 12107374 WITH SCORE 1.2141594968E7
AT ITER 4688 NEW BEST:: SOT 107514045 SOS 34211532 HAS SOPS 34211532 HAS SOUS 12104450 HAS SOUPS 12104450 WITH SCORE 1.2138661532E7
AT ITER 4695 NEW BEST:: SOT 107514045 SOS 34211472 HAS SOPS 34211472 HAS SOUS 12104438 HAS SOUPS 12104438 WITH SCORE 1.2138649472E7
AT ITER 4701 NEW BEST:: SOT 107519114 SOS 34221610 HAS SOPS 34221610 HAS SOUS 12103884 HAS SOUPS 12103884 WITH SCORE 1.213810561E7
AT ITER 4720 NEW BEST:: SOT 107511599 SOS 34213260 HAS SOPS 34213260 HAS SOUS 12089592 HAS SOUPS 12089592 WITH SCORE 1.212380526E7
AT ITER 4733 NEW BEST:: SOT 107504035 SOS 34198132 HAS SOPS 34198132 HAS SOUS 12084708 HAS SOUPS 12084708 WITH SCORE 1.2118906132E7
AT ITER 4740 NEW BEST:: SOT 107504035 SOS 34193317 HAS SOPS 34193317 HAS SOUS 12084173 HAS SOUPS 12084173 WITH SCORE 1.2118366317E7
AT ITER 4754 NEW BEST:: SOT 107505708 SOS 34200031 HAS SOPS 34200031 HAS SOUS 12082234 HAS SOUPS 12082234 WITH SCORE 1.2116434031E7
AT ITER 4755 NEW BEST:: SOT 107505618 SOS 34202275 HAS SOPS 34202275 HAS SOUS 12081470 HAS SOUPS 12081470 WITH SCORE 1.2115672275E7
AT ITER 4786 NEW BEST:: SOT 107505490 SOS 34202147 HAS SOPS 34202147 HAS SOUS 12081078 HAS SOUPS 12081078 WITH SCORE 1.2115280147E7
AT ITER 4799 NEW BEST:: SOT 107503519 SOS 34199957 HAS SOPS 34199957 HAS SOUS 12077343 HAS SOUPS 12077343 WITH SCORE 1.2111542957E7
AT ITER 4803 NEW BEST:: SOT 107502159 SOS 34198597 HAS SOPS 34198597 HAS SOUS 12075983 HAS SOUPS 12075983 WITH SCORE 1.2110181597E7
AT ITER 4804 NEW BEST:: SOT 107498118 SOS 34194107 HAS SOPS 34194107 HAS SOUS 12072613 HAS SOUPS 12072613 WITH SCORE 1.2106807107E7
AT ITER 4806 NEW BEST:: SOT 107498065 SOS 34194001 HAS SOPS 34194001 HAS SOUS 12065678 HAS SOUPS 12065678 WITH SCORE 1.2099872001E7
AT ITER 4809 NEW BEST:: SOT 107490145 SOS 34177667 HAS SOPS 34177667 HAS SOUS 12059472 HAS SOUPS 12059472 WITH SCORE 1.2093649667E7
AT ITER 4837 NEW BEST:: SOT 107490145 SOS 34177667 HAS SOPS 34177667 HAS SOUS 12059230 HAS SOUPS 12059230 WITH SCORE 1.2093407667E7
AT ITER 4851 NEW BEST:: SOT 107490145 SOS 34175207 HAS SOPS 34175207 HAS SOUS 12058738 HAS SOUPS 12058738 WITH SCORE 1.2092913207E7
AT ITER 4865 NEW BEST:: SOT 107490541 SOS 34175919 HAS SOPS 34175919 HAS SOUS 12052961 HAS SOUPS 12052961 WITH SCORE 1.2087136919E7
AT ITER 4886 NEW BEST:: SOT 107490541 SOS 34179573 HAS SOPS 34179573 HAS SOUS 12050181 HAS SOUPS 12050181 WITH SCORE 1.2084360573E7
AT ITER 4889 NEW BEST:: SOT 107490541 SOS 34179757 HAS SOPS 34179757 HAS SOUS 12049974 HAS SOUPS 12049974 WITH SCORE 1.2084153757E7
AT ITER 4894 NEW BEST:: SOT 107487333 SOS 34176549 HAS SOPS 34176549 HAS SOUS 12046766 HAS SOUPS 12046766 WITH SCORE 1.2080942549E7
AT ITER 4895 NEW BEST:: SOT 107487338 SOS 34170052 HAS SOPS 34170052 HAS SOUS 12046053 HAS SOUPS 12046053 WITH SCORE 1.2080223052E7
AT ITER 4924 NEW BEST:: SOT 107487338 SOS 34167842 HAS SOPS 34167842 HAS SOUS 12045611 HAS SOUPS 12045611 WITH SCORE 1.2079778842E7
AT ITER 4925 NEW BEST:: SOT 107487338 SOS 34173908 HAS SOPS 34173908 HAS SOUS 12044080 HAS SOUPS 12044080 WITH SCORE 1.2078253908E7
AT ITER 4950 NEW BEST:: SOT 107486666 SOS 34167188 HAS SOPS 34167188 HAS SOUS 12042736 HAS SOUPS 12042736 WITH SCORE 1.2076903188E7
AT ITER 4955 NEW BEST:: SOT 107486666 SOS 34167188 HAS SOPS 34167188 HAS SOUS 12041812 HAS SOUPS 12041812 WITH SCORE 1.2075979188E7
AT ITER 4956 NEW BEST:: SOT 107486826 SOS 34167348 HAS SOPS 34167348 HAS SOUS 12041268 HAS SOUPS 12041268 WITH SCORE 1.2075435348E7
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-00 ( (EG( (EX( potential( ( 3 ) <= (tk(P1549)) ))))) & ( ( ( potential( (tk(P1987)) <= (tk(P6329)) ) & ( potential( (tk(P2449)) <= (tk(P6382)) ) | potential( (tk(P5941)) <= (tk(P4761)) ) ) ) | ( ( potential( (tk(P7523)) <= (tk(P2136)) ) | potential( ( 3 ) <= (tk(P5843)) ) ) | potential( (tk(P5766)) <= (tk(P277)) ) ) ) | ( potential( (tk(P6752)) <= (tk(P1328)) ) & (! (! potential( (tk(P6332)) <= (tk(P7360)) ))) ) ) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-01 ( (AF((AX( potential( (tk(P896)) <= (tk(P6074)) ))))) | (! (AF((! potential( ( 1 ) <= (tk(P4361)) ))))) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-02 (EX( (AF(( potential( (tk(P2859)) <= (tk(P721)) ) & potential( ( 3 ) <= (tk(P4595)) ) )))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-03 (EU( ( (! potential( (tk(P3812)) <= (tk(P5399)) )) | potential( ( 1 ) <= (tk(P1691)) ) ),(EG( potential( ( 1 ) <= (tk(P7190)) ))) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-04 ( (! ( (EG( potential( (tk(P4186)) <= (tk(P292)) ))) | (EG( potential( (tk(P3753)) <= (tk(P950)) ))) )) | ( potential( ( 3 ) <= (tk(P6773)) ) | ( potential( ( 3 ) <= (tk(P3095)) ) & ( potential( (tk(P2469)) <= (tk(P2469)) ) & potential( (tk(P2176)) <= (tk(P2786)) ) ) ) ) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-05 (! ( (EF(potential( (tk(P1470)) <= (tk(P6946)) ))) & (AX( ( potential( ( 1 ) <= (tk(P6557)) ) | potential( (tk(P6819)) <= (tk(P89)) ) ))) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-06 (EU( potential( ( 1 ) <= (tk(P5993)) ),(AF(potential( (tk(P673)) <= (tk(P4589)) ))) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-07 (EU( (AF(potential( ( 2 ) <= (tk(P3181)) ))),potential( ( 2 ) <= (tk(P2838)) ) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-08 ( ( ( (EG( potential( ( 1 ) <= (tk(P5443)) ))) & ( (! potential( (tk(P6876)) <= (tk(P1588)) )) & potential( (tk(P6450)) <= (tk(P7258)) ) ) ) & (EU( potential( ( 1 ) <= (tk(P2235)) ),potential( ( 2 ) <= (tk(P2514)) ) )) ) | ( (EG( ( potential( ( 1 ) <= (tk(P2821)) ) | potential( ( 1 ) <= (tk(P1836)) ) ))) | (! (EX( potential( (tk(P3029)) <= (tk(P7086)) )))) ) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-09 ( (AG( ( ( potential( (tk(P3184)) <= (tk(P1983)) ) & potential( ( 1 ) <= (tk(P572)) ) ) & ( potential( ( 3 ) <= (tk(P3945)) ) & potential( (tk(P4684)) <= (tk(P6636)) ) ) ))) | ( (AU( potential( ( 3 ) <= (tk(P2660)) ),potential( ( 3 ) <= (tk(P5295)) ) )) & potential( ( 2 ) <= (tk(P2328)) ) ) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-10 ( (EX( (AX( potential( (tk(P6390)) <= (tk(P5998)) ))))) | (EX( (AX( potential( (tk(P4109)) <= (tk(P1737)) ))))) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-11 (AF(potential( ( 1 ) <= (tk(P3640)) )))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-12 ( ( ( (EX( potential( ( 2 ) <= (tk(P4698)) ))) | ( (! potential( ( 2 ) <= (tk(P1322)) )) & ( potential( (tk(P4363)) <= (tk(P622)) ) & potential( ( 1 ) <= (tk(P2235)) ) ) ) ) & potential( (tk(P3588)) <= (tk(P6403)) ) ) & ( potential( (tk(P6658)) <= (tk(P3430)) ) | (! (AX( potential( ( 2 ) <= (tk(P1797)) )))) ) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-13 (EF((EG( ( potential( ( 1 ) <= (tk(P878)) ) | potential( (tk(P202)) <= (tk(P2893)) ) )))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-14 (AX( (AU( potential( ( 1 ) <= (tk(P6241)) ),potential( (tk(P2844)) <= (tk(P2430)) ) ))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLCardinality-15 (! ( potential( ( 1 ) <= (tk(P6711)) ) & ( ( ( potential( (tk(P7233)) <= (tk(P3906)) ) | potential( (tk(P3870)) <= (tk(P1045)) ) ) & (! potential( ( 1 ) <= (tk(P4658)) )) ) | (AF(potential( ( 2 ) <= (tk(P6578)) ))) ) ))
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="HypertorusGrid-PT-d5k3p2b10"
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 HypertorusGrid-PT-d5k3p2b10, 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 r093-oct2-158940140400315"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d5k3p2b10.tgz
mv HypertorusGrid-PT-d5k3p2b10 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 ;