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 |
| 15765.660 | 3600000.00 | 3598040.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-158940140400316.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400316
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-01
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-02
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-03
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-04
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-05
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-06
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-07
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-08
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-09
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-10
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-11
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-12
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-13
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-14
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589614048105
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d5k3p2b10
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 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 13 NEW BEST:: SOT 108058065 SOS 35418755 HAS SOPS 35418755 HAS SOUS 12932668 HAS SOUPS 12932668 WITH SCORE 1.2968086755E7
AT ITER 35 NEW BEST:: SOT 108058065 SOS 35417621 HAS SOPS 35417621 HAS SOUS 12932542 HAS SOUPS 12932542 WITH SCORE 1.2967959621E7
AT ITER 44 NEW BEST:: SOT 108054068 SOS 35409627 HAS SOPS 35409627 HAS SOUS 12928132 HAS SOUPS 12928132 WITH SCORE 1.2963541627E7
AT ITER 49 NEW BEST:: SOT 108046148 SOS 35393269 HAS SOPS 35393269 HAS SOUS 12922072 HAS SOUPS 12922072 WITH SCORE 1.2957465269E7
AT ITER 52 NEW BEST:: SOT 108046148 SOS 35392973 HAS SOPS 35392973 HAS SOUS 12922072 HAS SOUPS 12922072 WITH SCORE 1.2957464973E7
AT ITER 59 NEW BEST:: SOT 108046148 SOS 35394653 HAS SOPS 35394653 HAS SOUS 12920392 HAS SOUPS 12920392 WITH SCORE 1.2955786653E7
AT ITER 72 NEW BEST:: SOT 108046148 SOS 35394582 HAS SOPS 35394582 HAS SOUS 12920321 HAS SOUPS 12920321 WITH SCORE 1.2955715582E7
AT ITER 78 NEW BEST:: SOT 108046148 SOS 35394479 HAS SOPS 35394479 HAS SOUS 12920218 HAS SOUPS 12920218 WITH SCORE 1.2955612479E7
AT ITER 81 NEW BEST:: SOT 108040595 SOS 35388309 HAS SOPS 35388309 HAS SOUS 12912280 HAS SOUPS 12912280 WITH SCORE 1.2947668309E7
AT ITER 84 NEW BEST:: SOT 108040476 SOS 35387000 HAS SOPS 35387000 HAS SOUS 12911923 HAS SOUPS 12911923 WITH SCORE 1.294731E7
AT ITER 103 NEW BEST:: SOT 108034221 SOS 35374490 HAS SOPS 35374490 HAS SOUS 12904973 HAS SOUPS 12904973 WITH SCORE 1.294034749E7
AT ITER 110 NEW BEST:: SOT 108034062 SOS 35374331 HAS SOPS 35374331 HAS SOUS 12904973 HAS SOUPS 12904973 WITH SCORE 1.2940347331E7
AT ITER 121 NEW BEST:: SOT 108034062 SOS 35372378 HAS SOPS 35372378 HAS SOUS 12904756 HAS SOUPS 12904756 WITH SCORE 1.2940128378E7
AT ITER 125 NEW BEST:: SOT 108034062 SOS 35372188 HAS SOPS 35372188 HAS SOUS 12904566 HAS SOUPS 12904566 WITH SCORE 1.2939938188E7
AT ITER 129 NEW BEST:: SOT 108034291 SOS 35372417 HAS SOPS 35372417 HAS SOUS 12904108 HAS SOUPS 12904108 WITH SCORE 1.2939480417E7
AT ITER 133 NEW BEST:: SOT 108028162 SOS 35360159 HAS SOPS 35360159 HAS SOUS 12897298 HAS SOUPS 12897298 WITH SCORE 1.2932658159E7
AT ITER 142 NEW BEST:: SOT 108030007 SOS 35363174 HAS SOPS 35363174 HAS SOUS 12894604 HAS SOUPS 12894604 WITH SCORE 1.2929967174E7
AT ITER 163 NEW BEST:: SOT 108031411 SOS 35365690 HAS SOPS 35365690 HAS SOUS 12892808 HAS SOUPS 12892808 WITH SCORE 1.292817369E7
AT ITER 173 NEW BEST:: SOT 108031411 SOS 35356980 HAS SOPS 35356980 HAS SOUS 12891066 HAS SOUPS 12891066 WITH SCORE 1.292642298E7
AT ITER 179 NEW BEST:: SOT 108031392 SOS 35356961 HAS SOPS 35356961 HAS SOUS 12891047 HAS SOUPS 12891047 WITH SCORE 1.2926403961E7
AT ITER 181 NEW BEST:: SOT 108029124 SOS 35352425 HAS SOPS 35352425 HAS SOUS 12888527 HAS SOUPS 12888527 WITH SCORE 1.2923879425E7
AT ITER 210 NEW BEST:: SOT 108029124 SOS 35349122 HAS SOPS 35349122 HAS SOUS 12888160 HAS SOUPS 12888160 WITH SCORE 1.2923509122E7
AT ITER 231 NEW BEST:: SOT 108029124 SOS 35349378 HAS SOPS 35349378 HAS SOUS 12887904 HAS SOUPS 12887904 WITH SCORE 1.2923253378E7
AT ITER 234 NEW BEST:: SOT 108028908 SOS 35349162 HAS SOPS 35349162 HAS SOUS 12887688 HAS SOUPS 12887688 WITH SCORE 1.2923037162E7
AT ITER 246 NEW BEST:: SOT 108028219 SOS 35342272 HAS SOPS 35342272 HAS SOUS 12886310 HAS SOUPS 12886310 WITH SCORE 1.2921652272E7
AT ITER 249 NEW BEST:: SOT 108028219 SOS 35347024 HAS SOPS 35347024 HAS SOUS 12881821 HAS SOUPS 12881821 WITH SCORE 1.2917168024E7
AT ITER 276 NEW BEST:: SOT 108028219 SOS 35346306 HAS SOPS 35346306 HAS SOUS 12881071 HAS SOUPS 12881071 WITH SCORE 1.2916417306E7
AT ITER 277 NEW BEST:: SOT 108028219 SOS 35344996 HAS SOPS 35344996 HAS SOUS 12880809 HAS SOUPS 12880809 WITH SCORE 1.2916153996E7
AT ITER 322 NEW BEST:: SOT 108027399 SOS 35336796 HAS SOPS 35336796 HAS SOUS 12879169 HAS SOUPS 12879169 WITH SCORE 1.2914505796E7
AT ITER 329 NEW BEST:: SOT 108026868 SOS 35331486 HAS SOPS 35331486 HAS SOUS 12878107 HAS SOUPS 12878107 WITH SCORE 1.2913438486E7
AT ITER 354 NEW BEST:: SOT 108026309 SOS 35325896 HAS SOPS 35325896 HAS SOUS 12876989 HAS SOUPS 12876989 WITH SCORE 1.2912314896E7
AT ITER 366 NEW BEST:: SOT 108026309 SOS 35325219 HAS SOPS 35325219 HAS SOUS 12876312 HAS SOUPS 12876312 WITH SCORE 1.2911637219E7
AT ITER 369 NEW BEST:: SOT 108027444 SOS 35327489 HAS SOPS 35327489 HAS SOUS 12873293 HAS SOUPS 12873293 WITH SCORE 1.2908620489E7
AT ITER 370 NEW BEST:: SOT 108027444 SOS 35319079 HAS SOPS 35319079 HAS SOUS 12871611 HAS SOUPS 12871611 WITH SCORE 1.2906930079E7
AT ITER 377 NEW BEST:: SOT 108027444 SOS 35316339 HAS SOPS 35316339 HAS SOUS 12871063 HAS SOUPS 12871063 WITH SCORE 1.2906379339E7
AT ITER 395 NEW BEST:: SOT 108027444 SOS 35311849 HAS SOPS 35311849 HAS SOUS 12870165 HAS SOUPS 12870165 WITH SCORE 1.2905476849E7
AT ITER 407 NEW BEST:: SOT 108027444 SOS 35308489 HAS SOPS 35308489 HAS SOUS 12869493 HAS SOUPS 12869493 WITH SCORE 1.2904801489E7
AT ITER 416 NEW BEST:: SOT 108027444 SOS 35301619 HAS SOPS 35301619 HAS SOUS 12868119 HAS SOUPS 12868119 WITH SCORE 1.2903420619E7
AT ITER 438 NEW BEST:: SOT 108019896 SOS 35286523 HAS SOPS 35286523 HAS SOUS 12861601 HAS SOUPS 12861601 WITH SCORE 1.2896887523E7
AT ITER 441 NEW BEST:: SOT 108019801 SOS 35285478 HAS SOPS 35285478 HAS SOUS 12861316 HAS SOUPS 12861316 WITH SCORE 1.2896601478E7
AT ITER 448 NEW BEST:: SOT 108019801 SOS 35285478 HAS SOPS 35285478 HAS SOUS 12861150 HAS SOUPS 12861150 WITH SCORE 1.2896435478E7
AT ITER 480 NEW BEST:: SOT 108019393 SOS 35281398 HAS SOPS 35281398 HAS SOUS 12860334 HAS SOUPS 12860334 WITH SCORE 1.2895615398E7
AT ITER 485 NEW BEST:: SOT 108015631 SOS 35273456 HAS SOPS 35273456 HAS SOUS 12855736 HAS SOUPS 12855736 WITH SCORE 1.2891009456E7
AT ITER 492 NEW BEST:: SOT 108015631 SOS 35273101 HAS SOPS 35273101 HAS SOUS 12853269 HAS SOUPS 12853269 WITH SCORE 1.2888542101E7
AT ITER 495 NEW BEST:: SOT 108015631 SOS 35273101 HAS SOPS 35273101 HAS SOUS 12853181 HAS SOUPS 12853181 WITH SCORE 1.2888454101E7
AT ITER 502 NEW BEST:: SOT 108008089 SOS 35258017 HAS SOPS 35258017 HAS SOUS 12844801 HAS SOUPS 12844801 WITH SCORE 1.2880059017E7
AT ITER 517 NEW BEST:: SOT 108008324 SOS 35258252 HAS SOPS 35258252 HAS SOUS 12844331 HAS SOUPS 12844331 WITH SCORE 1.2879589252E7
AT ITER 524 NEW BEST:: SOT 108008324 SOS 35254850 HAS SOPS 35254850 HAS SOUS 12843953 HAS SOUPS 12843953 WITH SCORE 1.287920785E7
AT ITER 525 NEW BEST:: SOT 108008324 SOS 35258468 HAS SOPS 35258468 HAS SOUS 12840862 HAS SOUPS 12840862 WITH SCORE 1.2876120468E7
AT ITER 536 NEW BEST:: SOT 108007811 SOS 35252484 HAS SOPS 35252484 HAS SOUS 12838982 HAS SOUPS 12838982 WITH SCORE 1.2874234484E7
AT ITER 538 NEW BEST:: SOT 108007811 SOS 35252484 HAS SOPS 35252484 HAS SOUS 12838568 HAS SOUPS 12838568 WITH SCORE 1.2873820484E7
AT ITER 539 NEW BEST:: SOT 108007601 SOS 35250174 HAS SOPS 35250174 HAS SOUS 12837938 HAS SOUPS 12837938 WITH SCORE 1.2873188174E7
AT ITER 556 NEW BEST:: SOT 108007458 SOS 35250031 HAS SOPS 35250031 HAS SOUS 12837850 HAS SOUPS 12837850 WITH SCORE 1.2873100031E7
AT ITER 564 NEW BEST:: SOT 108007458 SOS 35250031 HAS SOPS 35250031 HAS SOUS 12837707 HAS SOUPS 12837707 WITH SCORE 1.2872957031E7
AT ITER 567 NEW BEST:: SOT 108006854 SOS 35243991 HAS SOPS 35243991 HAS SOUS 12836499 HAS SOUPS 12836499 WITH SCORE 1.2871742991E7
AT ITER 576 NEW BEST:: SOT 108006854 SOS 35243991 HAS SOPS 35243991 HAS SOUS 12836190 HAS SOUPS 12836190 WITH SCORE 1.2871433991E7
AT ITER 586 NEW BEST:: SOT 108006854 SOS 35243991 HAS SOPS 35243991 HAS SOUS 12835038 HAS SOUPS 12835038 WITH SCORE 1.2870281991E7
AT ITER 589 NEW BEST:: SOT 108001702 SOS 35238839 HAS SOPS 35238839 HAS SOUS 12829886 HAS SOUPS 12829886 WITH SCORE 1.2865124839E7
AT ITER 590 NEW BEST:: SOT 108001702 SOS 35231239 HAS SOPS 35231239 HAS SOUS 12828366 HAS SOUPS 12828366 WITH SCORE 1.2863597239E7
AT ITER 600 NEW BEST:: SOT 108001632 SOS 35231099 HAS SOPS 35231099 HAS SOUS 12828226 HAS SOUPS 12828226 WITH SCORE 1.2863457099E7
AT ITER 611 NEW BEST:: SOT 108001632 SOS 35226347 HAS SOPS 35226347 HAS SOUS 12827698 HAS SOUPS 12827698 WITH SCORE 1.2862924347E7
AT ITER 624 NEW BEST:: SOT 108001632 SOS 35219547 HAS SOPS 35219547 HAS SOUS 12826338 HAS SOUPS 12826338 WITH SCORE 1.2861557547E7
AT ITER 625 NEW BEST:: SOT 108001436 SOS 35217391 HAS SOPS 35217391 HAS SOUS 12825750 HAS SOUPS 12825750 WITH SCORE 1.2860967391E7
AT ITER 626 NEW BEST:: SOT 108001436 SOS 35217911 HAS SOPS 35217911 HAS SOUS 12825165 HAS SOUPS 12825165 WITH SCORE 1.2860382911E7
AT ITER 631 NEW BEST:: SOT 108001364 SOS 35217767 HAS SOPS 35217767 HAS SOUS 12824373 HAS SOUPS 12824373 WITH SCORE 1.2859590767E7
AT ITER 633 NEW BEST:: SOT 108001190 SOS 35215853 HAS SOPS 35215853 HAS SOUS 12823851 HAS SOUPS 12823851 WITH SCORE 1.2859066853E7
AT ITER 647 NEW BEST:: SOT 108000571 SOS 35214615 HAS SOPS 35214615 HAS SOUS 12822613 HAS SOUPS 12822613 WITH SCORE 1.2857827615E7
AT ITER 648 NEW BEST:: SOT 107997466 SOS 35211510 HAS SOPS 35211510 HAS SOUS 12819508 HAS SOUPS 12819508 WITH SCORE 1.285471951E7
AT ITER 667 NEW BEST:: SOT 107995108 SOS 35208890 HAS SOPS 35208890 HAS SOUS 12816888 HAS SOUPS 12816888 WITH SCORE 1.285209689E7
AT ITER 679 NEW BEST:: SOT 107995108 SOS 35209754 HAS SOPS 35209754 HAS SOUS 12816120 HAS SOUPS 12816120 WITH SCORE 1.2851329754E7
AT ITER 680 NEW BEST:: SOT 107995108 SOS 35209754 HAS SOPS 35209754 HAS SOUS 12815710 HAS SOUPS 12815710 WITH SCORE 1.2850919754E7
AT ITER 700 NEW BEST:: SOT 107994534 SOS 35204014 HAS SOPS 35204014 HAS SOUS 12814562 HAS SOUPS 12814562 WITH SCORE 1.2849766014E7
AT ITER 702 NEW BEST:: SOT 107994992 SOS 35204472 HAS SOPS 35204472 HAS SOUS 12814494 HAS SOUPS 12814494 WITH SCORE 1.2849698472E7
AT ITER 710 NEW BEST:: SOT 107994992 SOS 35205147 HAS SOPS 35205147 HAS SOUS 12813969 HAS SOUPS 12813969 WITH SCORE 1.2849174147E7
AT ITER 717 NEW BEST:: SOT 107997036 SOS 35209235 HAS SOPS 35209235 HAS SOUS 12811529 HAS SOUPS 12811529 WITH SCORE 1.2846738235E7
AT ITER 720 NEW BEST:: SOT 107989800 SOS 35194763 HAS SOPS 35194763 HAS SOUS 12803489 HAS SOUPS 12803489 WITH SCORE 1.2838683763E7
AT ITER 732 NEW BEST:: SOT 107989800 SOS 35191353 HAS SOPS 35191353 HAS SOUS 12802807 HAS SOUPS 12802807 WITH SCORE 1.2837998353E7
AT ITER 744 NEW BEST:: SOT 107989602 SOS 35191155 HAS SOPS 35191155 HAS SOUS 12802609 HAS SOUPS 12802609 WITH SCORE 1.2837800155E7
AT ITER 755 NEW BEST:: SOT 107989689 SOS 35189664 HAS SOPS 35189664 HAS SOUS 12802598 HAS SOUPS 12802598 WITH SCORE 1.2837787664E7
AT ITER 759 NEW BEST:: SOT 107988033 SOS 35187824 HAS SOPS 35187824 HAS SOUS 12800902 HAS SOUPS 12800902 WITH SCORE 1.2836089824E7
AT ITER 790 NEW BEST:: SOT 107982741 SOS 35177240 HAS SOPS 35177240 HAS SOUS 12795022 HAS SOUPS 12795022 WITH SCORE 1.283019924E7
AT ITER 798 NEW BEST:: SOT 107974821 SOS 35160881 HAS SOPS 35160881 HAS SOUS 12788952 HAS SOUPS 12788952 WITH SCORE 1.2824112881E7
AT ITER 802 NEW BEST:: SOT 107974821 SOS 35160819 HAS SOPS 35160819 HAS SOUS 12788890 HAS SOUPS 12788890 WITH SCORE 1.2824050819E7
AT ITER 806 NEW BEST:: SOT 107974821 SOS 35160819 HAS SOPS 35160819 HAS SOUS 12787570 HAS SOUPS 12787570 WITH SCORE 1.2822730819E7
AT ITER 812 NEW BEST:: SOT 107969322 SOS 35154709 HAS SOPS 35154709 HAS SOUS 12781460 HAS SOUPS 12781460 WITH SCORE 1.2816614709E7
AT ITER 846 NEW BEST:: SOT 107968785 SOS 35155371 HAS SOPS 35155371 HAS SOUS 12778818 HAS SOUPS 12778818 WITH SCORE 1.2813973371E7
AT ITER 855 NEW BEST:: SOT 107968993 SOS 35151107 HAS SOPS 35151107 HAS SOUS 12778714 HAS SOUPS 12778714 WITH SCORE 1.2813865107E7
AT ITER 858 NEW BEST:: SOT 107961366 SOS 35135853 HAS SOPS 35135853 HAS SOUS 12772965 HAS SOUPS 12772965 WITH SCORE 1.2808100853E7
AT ITER 870 NEW BEST:: SOT 107954895 SOS 35128663 HAS SOPS 35128663 HAS SOUS 12760627 HAS SOUPS 12760627 WITH SCORE 1.2795755663E7
AT ITER 884 NEW BEST:: SOT 107954070 SOS 35127838 HAS SOPS 35127838 HAS SOUS 12760121 HAS SOUPS 12760121 WITH SCORE 1.2795248838E7
AT ITER 886 NEW BEST:: SOT 107954070 SOS 35124328 HAS SOPS 35124328 HAS SOUS 12759419 HAS SOUPS 12759419 WITH SCORE 1.2794543328E7
AT ITER 896 NEW BEST:: SOT 107954070 SOS 35117828 HAS SOPS 35117828 HAS SOUS 12758119 HAS SOUPS 12758119 WITH SCORE 1.2793236828E7
AT ITER 900 NEW BEST:: SOT 107949381 SOS 35107929 HAS SOPS 35107929 HAS SOUS 12752388 HAS SOUPS 12752388 WITH SCORE 1.2787495929E7
AT ITER 901 NEW BEST:: SOT 107948501 SOS 35099662 HAS SOPS 35099662 HAS SOUS 12749905 HAS SOUPS 12749905 WITH SCORE 1.2785004662E7
AT ITER 923 NEW BEST:: SOT 107948501 SOS 35095090 HAS SOPS 35095090 HAS SOUS 12749397 HAS SOUPS 12749397 WITH SCORE 1.278449209E7
AT ITER 925 NEW BEST:: SOT 107948501 SOS 35095090 HAS SOPS 35095090 HAS SOUS 12749395 HAS SOUPS 12749395 WITH SCORE 1.278449009E7
AT ITER 940 NEW BEST:: SOT 107947926 SOS 35089340 HAS SOPS 35089340 HAS SOUS 12748245 HAS SOUPS 12748245 WITH SCORE 1.278333434E7
AT ITER 948 NEW BEST:: SOT 107947926 SOS 35089340 HAS SOPS 35089340 HAS SOUS 12747967 HAS SOUPS 12747967 WITH SCORE 1.278305634E7
AT ITER 980 NEW BEST:: SOT 107946846 SOS 35087060 HAS SOPS 35087060 HAS SOUS 12746647 HAS SOUPS 12746647 WITH SCORE 1.278173406E7
AT ITER 983 NEW BEST:: SOT 107946150 SOS 35079404 HAS SOPS 35079404 HAS SOUS 12744559 HAS SOUPS 12744559 WITH SCORE 1.2779638404E7
AT ITER 1022 NEW BEST:: SOT 107942631 SOS 35072366 HAS SOPS 35072366 HAS SOUS 12740649 HAS SOUPS 12740649 WITH SCORE 1.2775721366E7
AT ITER 1024 NEW BEST:: SOT 107941961 SOS 35071696 HAS SOPS 35071696 HAS SOUS 12740649 HAS SOUPS 12740649 WITH SCORE 1.2775720696E7
AT ITER 1058 NEW BEST:: SOT 107941730 SOS 35071465 HAS SOPS 35071465 HAS SOUS 12740649 HAS SOUPS 12740649 WITH SCORE 1.2775720465E7
AT ITER 1069 NEW BEST:: SOT 107941282 SOS 35068247 HAS SOPS 35068247 HAS SOUS 12739495 HAS SOUPS 12739495 WITH SCORE 1.2774563247E7
AT ITER 1071 NEW BEST:: SOT 107941201 SOS 35067437 HAS SOPS 35067437 HAS SOUS 12739333 HAS SOUPS 12739333 WITH SCORE 1.2774400437E7
AT ITER 1093 NEW BEST:: SOT 107941201 SOS 35066881 HAS SOPS 35066881 HAS SOUS 12738777 HAS SOUPS 12738777 WITH SCORE 1.2773843881E7
AT ITER 1099 NEW BEST:: SOT 107940753 SOS 35062250 HAS SOPS 35062250 HAS SOUS 12737466 HAS SOUPS 12737466 WITH SCORE 1.277252825E7
AT ITER 1119 NEW BEST:: SOT 107940683 SOS 35062180 HAS SOPS 35062180 HAS SOUS 12737466 HAS SOUPS 12737466 WITH SCORE 1.277252818E7
AT ITER 1127 NEW BEST:: SOT 107940755 SOS 35061604 HAS SOPS 35061604 HAS SOUS 12736826 HAS SOUPS 12736826 WITH SCORE 1.2771887604E7
AT ITER 1133 NEW BEST:: SOT 107940755 SOS 35055504 HAS SOPS 35055504 HAS SOUS 12735606 HAS SOUPS 12735606 WITH SCORE 1.2770661504E7
AT ITER 1142 NEW BEST:: SOT 107937470 SOS 35051854 HAS SOPS 35051854 HAS SOUS 12730748 HAS SOUPS 12730748 WITH SCORE 1.2765799854E7
AT ITER 1161 NEW BEST:: SOT 107936742 SOS 35048940 HAS SOPS 35048940 HAS SOUS 12729130 HAS SOUPS 12729130 WITH SCORE 1.276417894E7
AT ITER 1174 NEW BEST:: SOT 107936742 SOS 35051932 HAS SOPS 35051932 HAS SOUS 12727448 HAS SOUPS 12727448 WITH SCORE 1.2762499932E7
AT ITER 1185 NEW BEST:: SOT 107936742 SOS 35056513 HAS SOPS 35056513 HAS SOUS 12723651 HAS SOUPS 12723651 WITH SCORE 1.2758707513E7
AT ITER 1187 NEW BEST:: SOT 107936742 SOS 35056513 HAS SOPS 35056513 HAS SOUS 12723187 HAS SOUPS 12723187 WITH SCORE 1.2758243513E7
AT ITER 1195 NEW BEST:: SOT 107936549 SOS 35054583 HAS SOPS 35054583 HAS SOUS 12722801 HAS SOUPS 12722801 WITH SCORE 1.2757855583E7
AT ITER 1220 NEW BEST:: SOT 107936549 SOS 35054583 HAS SOPS 35054583 HAS SOUS 12722255 HAS SOUPS 12722255 WITH SCORE 1.2757309583E7
AT ITER 1228 NEW BEST:: SOT 107929407 SOS 35040299 HAS SOPS 35040299 HAS SOUS 12719405 HAS SOUPS 12719405 WITH SCORE 1.2754445299E7
AT ITER 1240 NEW BEST:: SOT 107928668 SOS 35032909 HAS SOPS 35032909 HAS SOUS 12717927 HAS SOUPS 12717927 WITH SCORE 1.2752959909E7
AT ITER 1255 NEW BEST:: SOT 107928668 SOS 35035781 HAS SOPS 35035781 HAS SOUS 12715466 HAS SOUPS 12715466 WITH SCORE 1.2750501781E7
AT ITER 1264 NEW BEST:: SOT 107928877 SOS 35030160 HAS SOPS 35030160 HAS SOUS 12715213 HAS SOUPS 12715213 WITH SCORE 1.275024316E7
AT ITER 1269 NEW BEST:: SOT 107925223 SOS 35022852 HAS SOPS 35022852 HAS SOUS 12711153 HAS SOUPS 12711153 WITH SCORE 1.2746175852E7
AT ITER 1276 NEW BEST:: SOT 107924503 SOS 35022052 HAS SOPS 35022052 HAS SOUS 12710353 HAS SOUPS 12710353 WITH SCORE 1.2745375052E7
AT ITER 1281 NEW BEST:: SOT 107922111 SOS 35019660 HAS SOPS 35019660 HAS SOUS 12707961 HAS SOUPS 12707961 WITH SCORE 1.274298066E7
AT ITER 1286 NEW BEST:: SOT 107915559 SOS 35005900 HAS SOPS 35005900 HAS SOUS 12700025 HAS SOUPS 12700025 WITH SCORE 1.27350309E7
AT ITER 1297 NEW BEST:: SOT 107915559 SOS 35005547 HAS SOPS 35005547 HAS SOUS 12699672 HAS SOUPS 12699672 WITH SCORE 1.2734677547E7
AT ITER 1304 NEW BEST:: SOT 107915204 SOS 35004837 HAS SOPS 35004837 HAS SOUS 12698962 HAS SOUPS 12698962 WITH SCORE 1.2733966837E7
AT ITER 1348 NEW BEST:: SOT 107914835 SOS 35004099 HAS SOPS 35004099 HAS SOUS 12698224 HAS SOUPS 12698224 WITH SCORE 1.2733228099E7
AT ITER 1360 NEW BEST:: SOT 107906915 SOS 34987733 HAS SOPS 34987733 HAS SOUS 12691739 HAS SOUPS 12691739 WITH SCORE 1.2726726733E7
AT ITER 1388 NEW BEST:: SOT 107902658 SOS 34978746 HAS SOPS 34978746 HAS SOUS 12686536 HAS SOUPS 12686536 WITH SCORE 1.2721514746E7
AT ITER 1409 NEW BEST:: SOT 107901778 SOS 34973305 HAS SOPS 34973305 HAS SOUS 12684367 HAS SOUPS 12684367 WITH SCORE 1.2719340305E7
AT ITER 1419 NEW BEST:: SOT 107899204 SOS 34970731 HAS SOPS 34970731 HAS SOUS 12681793 HAS SOUPS 12681793 WITH SCORE 1.2716763731E7
AT ITER 1437 NEW BEST:: SOT 107896309 SOS 34967961 HAS SOPS 34967961 HAS SOUS 12679700 HAS SOUPS 12679700 WITH SCORE 1.2714667961E7
AT ITER 1445 NEW BEST:: SOT 107896309 SOS 34967287 HAS SOPS 34967287 HAS SOUS 12679026 HAS SOUPS 12679026 WITH SCORE 1.2713993287E7
AT ITER 1459 NEW BEST:: SOT 107896309 SOS 34966794 HAS SOPS 34966794 HAS SOUS 12678533 HAS SOUPS 12678533 WITH SCORE 1.2713499794E7
AT ITER 1478 NEW BEST:: SOT 107895762 SOS 34961324 HAS SOPS 34961324 HAS SOUS 12677439 HAS SOUPS 12677439 WITH SCORE 1.2712400324E7
AT ITER 1513 NEW BEST:: SOT 107895762 SOS 34961324 HAS SOPS 34961324 HAS SOUS 12677275 HAS SOUPS 12677275 WITH SCORE 1.2712236324E7
AT ITER 1516 NEW BEST:: SOT 107894882 SOS 34957080 HAS SOPS 34957080 HAS SOUS 12675239 HAS SOUPS 12675239 WITH SCORE 1.271019608E7
AT ITER 1535 NEW BEST:: SOT 107894882 SOS 34954670 HAS SOPS 34954670 HAS SOUS 12674757 HAS SOUPS 12674757 WITH SCORE 1.270971167E7
AT ITER 1545 NEW BEST:: SOT 107890715 SOS 34950040 HAS SOPS 34950040 HAS SOUS 12668823 HAS SOUPS 12668823 WITH SCORE 1.270377304E7
AT ITER 1556 NEW BEST:: SOT 107890715 SOS 34948496 HAS SOPS 34948496 HAS SOUS 12668823 HAS SOUPS 12668823 WITH SCORE 1.2703771496E7
AT ITER 1579 NEW BEST:: SOT 107890715 SOS 34948496 HAS SOPS 34948496 HAS SOUS 12668635 HAS SOUPS 12668635 WITH SCORE 1.2703583496E7
AT ITER 1587 NEW BEST:: SOT 107890184 SOS 34947434 HAS SOPS 34947434 HAS SOUS 12668045 HAS SOUPS 12668045 WITH SCORE 1.2702992434E7
AT ITER 1594 NEW BEST:: SOT 107890144 SOS 34947394 HAS SOPS 34947394 HAS SOUS 12668005 HAS SOUPS 12668005 WITH SCORE 1.2702952394E7
AT ITER 1603 NEW BEST:: SOT 107886319 SOS 34943144 HAS SOPS 34943144 HAS SOUS 12663171 HAS SOUPS 12663171 WITH SCORE 1.2698114144E7
AT ITER 1617 NEW BEST:: SOT 107884367 SOS 34941192 HAS SOPS 34941192 HAS SOUS 12661219 HAS SOUPS 12661219 WITH SCORE 1.2696160192E7
AT ITER 1631 NEW BEST:: SOT 107884367 SOS 34935099 HAS SOPS 34935099 HAS SOUS 12660542 HAS SOUPS 12660542 WITH SCORE 1.2695477099E7
AT ITER 1633 NEW BEST:: SOT 107886681 SOS 34939727 HAS SOPS 34939727 HAS SOUS 12659034 HAS SOUPS 12659034 WITH SCORE 1.2693973727E7
AT ITER 1639 NEW BEST:: SOT 107886555 SOS 34939587 HAS SOPS 34939587 HAS SOUS 12658894 HAS SOUPS 12658894 WITH SCORE 1.2693833587E7
AT ITER 1667 NEW BEST:: SOT 107884116 SOS 34936877 HAS SOPS 34936877 HAS SOUS 12654180 HAS SOUPS 12654180 WITH SCORE 1.2689116877E7
AT ITER 1684 NEW BEST:: SOT 107878868 SOS 34931629 HAS SOPS 34931629 HAS SOUS 12648932 HAS SOUPS 12648932 WITH SCORE 1.2683863629E7
AT ITER 1685 NEW BEST:: SOT 107876447 SOS 34928939 HAS SOPS 34928939 HAS SOUS 12644849 HAS SOUPS 12644849 WITH SCORE 1.2679777939E7
AT ITER 1710 NEW BEST:: SOT 107873396 SOS 34924477 HAS SOPS 34924477 HAS SOUS 12641661 HAS SOUPS 12641661 WITH SCORE 1.2676585477E7
AT ITER 1739 NEW BEST:: SOT 107872784 SOS 34918357 HAS SOPS 34918357 HAS SOUS 12640437 HAS SOUPS 12640437 WITH SCORE 1.2675355357E7
AT ITER 1745 NEW BEST:: SOT 107873378 SOS 34918951 HAS SOPS 34918951 HAS SOUS 12639315 HAS SOUPS 12639315 WITH SCORE 1.2674233951E7
AT ITER 1751 NEW BEST:: SOT 107867753 SOS 34910976 HAS SOPS 34910976 HAS SOUS 12633220 HAS SOUPS 12633220 WITH SCORE 1.2668130976E7
AT ITER 1759 NEW BEST:: SOT 107867753 SOS 34910976 HAS SOPS 34910976 HAS SOUS 12632623 HAS SOUPS 12632623 WITH SCORE 1.2667533976E7
AT ITER 1767 NEW BEST:: SOT 107867379 SOS 34907236 HAS SOPS 34907236 HAS SOUS 12631875 HAS SOUPS 12631875 WITH SCORE 1.2666782236E7
AT ITER 1786 NEW BEST:: SOT 107859459 SOS 34890574 HAS SOPS 34890574 HAS SOUS 12622775 HAS SOUPS 12622775 WITH SCORE 1.2657665574E7
AT ITER 1790 NEW BEST:: SOT 107859459 SOS 34882234 HAS SOPS 34882234 HAS SOUS 12621107 HAS SOUPS 12621107 WITH SCORE 1.2655989234E7
AT ITER 1796 NEW BEST:: SOT 107859459 SOS 34878805 HAS SOPS 34878805 HAS SOUS 12620726 HAS SOUPS 12620726 WITH SCORE 1.2655604805E7
AT ITER 1800 NEW BEST:: SOT 107859459 SOS 34878237 HAS SOPS 34878237 HAS SOUS 12620726 HAS SOUPS 12620726 WITH SCORE 1.2655604237E7
AT ITER 1805 NEW BEST:: SOT 107859459 SOS 34879380 HAS SOPS 34879380 HAS SOUS 12619710 HAS SOUPS 12619710 WITH SCORE 1.265458938E7
AT ITER 1809 NEW BEST:: SOT 107859286 SOS 34877650 HAS SOPS 34877650 HAS SOUS 12619364 HAS SOUPS 12619364 WITH SCORE 1.265424165E7
AT ITER 1838 NEW BEST:: SOT 107857756 SOS 34876120 HAS SOPS 34876120 HAS SOUS 12617834 HAS SOUPS 12617834 WITH SCORE 1.265271012E7
AT ITER 1883 NEW BEST:: SOT 107857605 SOS 34875818 HAS SOPS 34875818 HAS SOUS 12617532 HAS SOUPS 12617532 WITH SCORE 1.2652407818E7
AT ITER 1894 NEW BEST:: SOT 107856894 SOS 34874396 HAS SOPS 34874396 HAS SOUS 12611611 HAS SOUPS 12611611 WITH SCORE 1.2646485396E7
AT ITER 1933 NEW BEST:: SOT 107850414 SOS 34861436 HAS SOPS 34861436 HAS SOUS 12604411 HAS SOUPS 12604411 WITH SCORE 1.2639272436E7
AT ITER 1944 NEW BEST:: SOT 107850453 SOS 34855313 HAS SOPS 34855313 HAS SOUS 12603800 HAS SOUPS 12603800 WITH SCORE 1.2638655313E7
AT ITER 1974 NEW BEST:: SOT 107850453 SOS 34859993 HAS SOPS 34859993 HAS SOUS 12599964 HAS SOUPS 12599964 WITH SCORE 1.2634823993E7
AT ITER 1977 NEW BEST:: SOT 107850178 SOS 34857243 HAS SOPS 34857243 HAS SOUS 12599414 HAS SOUPS 12599414 WITH SCORE 1.2634271243E7
AT ITER 1992 NEW BEST:: SOT 107850178 SOS 34853607 HAS SOPS 34853607 HAS SOUS 12599010 HAS SOUPS 12599010 WITH SCORE 1.2633863607E7
AT ITER 1995 NEW BEST:: SOT 107850178 SOS 34852948 HAS SOPS 34852948 HAS SOUS 12598351 HAS SOUPS 12598351 WITH SCORE 1.2633203948E7
AT ITER 2019 NEW BEST:: SOT 107846803 SOS 34849573 HAS SOPS 34849573 HAS SOUS 12594976 HAS SOUPS 12594976 WITH SCORE 1.2629825573E7
AT ITER 2023 NEW BEST:: SOT 107846803 SOS 34847353 HAS SOPS 34847353 HAS SOUS 12594532 HAS SOUPS 12594532 WITH SCORE 1.2629379353E7
AT ITER 2126 NEW BEST:: SOT 107846554 SOS 34847104 HAS SOPS 34847104 HAS SOUS 12594283 HAS SOUPS 12594283 WITH SCORE 1.2629130104E7
AT ITER 2132 NEW BEST:: SOT 107844889 SOS 34845439 HAS SOPS 34845439 HAS SOUS 12592618 HAS SOUPS 12592618 WITH SCORE 1.2627463439E7
AT ITER 2135 NEW BEST:: SOT 107844889 SOS 34842439 HAS SOPS 34842439 HAS SOUS 12592018 HAS SOUPS 12592018 WITH SCORE 1.2626860439E7
AT ITER 2173 NEW BEST:: SOT 107844178 SOS 34835329 HAS SOPS 34835329 HAS SOUS 12590596 HAS SOUPS 12590596 WITH SCORE 1.2625431329E7
AT ITER 2184 NEW BEST:: SOT 107843298 SOS 34829792 HAS SOPS 34829792 HAS SOUS 12588715 HAS SOUPS 12588715 WITH SCORE 1.2623544792E7
AT ITER 2229 NEW BEST:: SOT 107843298 SOS 34830784 HAS SOPS 34830784 HAS SOUS 12587599 HAS SOUPS 12587599 WITH SCORE 1.2622429784E7
AT ITER 2264 NEW BEST:: SOT 107842503 SOS 34822039 HAS SOPS 34822039 HAS SOUS 12585214 HAS SOUPS 12585214 WITH SCORE 1.2620036039E7
AT ITER 2269 NEW BEST:: SOT 107842756 SOS 34822292 HAS SOPS 34822292 HAS SOUS 12584769 HAS SOUPS 12584769 WITH SCORE 1.2619591292E7
AT ITER 2274 NEW BEST:: SOT 107842434 SOS 34819072 HAS SOPS 34819072 HAS SOUS 12584125 HAS SOUPS 12584125 WITH SCORE 1.2618944072E7
AT ITER 2279 NEW BEST:: SOT 107842900 SOS 34820004 HAS SOPS 34820004 HAS SOUS 12583841 HAS SOUPS 12583841 WITH SCORE 1.2618661004E7
AT ITER 2286 NEW BEST:: SOT 107837148 SOS 34814324 HAS SOPS 34814324 HAS SOUS 12578737 HAS SOUPS 12578737 WITH SCORE 1.2613551324E7
AT ITER 2289 NEW BEST:: SOT 107830254 SOS 34806664 HAS SOPS 34806664 HAS SOUS 12567951 HAS SOUPS 12567951 WITH SCORE 1.2602757664E7
AT ITER 2292 NEW BEST:: SOT 107829710 SOS 34800680 HAS SOPS 34800680 HAS SOUS 12566319 HAS SOUPS 12566319 WITH SCORE 1.260111968E7
AT ITER 2307 NEW BEST:: SOT 107824202 SOS 34789052 HAS SOPS 34789052 HAS SOUS 12559587 HAS SOUPS 12559587 WITH SCORE 1.2594376052E7
AT ITER 2329 NEW BEST:: SOT 107824202 SOS 34789052 HAS SOPS 34789052 HAS SOUS 12559561 HAS SOUPS 12559561 WITH SCORE 1.2594350052E7
AT ITER 2331 NEW BEST:: SOT 107824202 SOS 34787342 HAS SOPS 34787342 HAS SOUS 12559219 HAS SOUPS 12559219 WITH SCORE 1.2594006342E7
AT ITER 2354 NEW BEST:: SOT 107824202 SOS 34778882 HAS SOPS 34778882 HAS SOUS 12557527 HAS SOUPS 12557527 WITH SCORE 1.2592305882E7
AT ITER 2371 NEW BEST:: SOT 107824202 SOS 34778882 HAS SOPS 34778882 HAS SOUS 12557310 HAS SOUPS 12557310 WITH SCORE 1.2592088882E7
AT ITER 2380 NEW BEST:: SOT 107823776 SOS 34774196 HAS SOPS 34774196 HAS SOUS 12556032 HAS SOUPS 12556032 WITH SCORE 1.2590806196E7
AT ITER 2382 NEW BEST:: SOT 107823669 SOS 34774089 HAS SOPS 34774089 HAS SOUS 12556032 HAS SOUPS 12556032 WITH SCORE 1.2590806089E7
AT ITER 2387 NEW BEST:: SOT 107824526 SOS 34775803 HAS SOPS 34775803 HAS SOUS 12553163 HAS SOUPS 12553163 WITH SCORE 1.2587938803E7
AT ITER 2404 NEW BEST:: SOT 107819020 SOS 34770615 HAS SOPS 34770615 HAS SOUS 12550764 HAS SOUPS 12550764 WITH SCORE 1.2585534615E7
AT ITER 2411 NEW BEST:: SOT 107818412 SOS 34769399 HAS SOPS 34769399 HAS SOUS 12548092 HAS SOUPS 12548092 WITH SCORE 1.2582861399E7
AT ITER 2418 NEW BEST:: SOT 107818412 SOS 34769356 HAS SOPS 34769356 HAS SOUS 12548049 HAS SOUPS 12548049 WITH SCORE 1.2582818356E7
AT ITER 2454 NEW BEST:: SOT 107818195 SOS 34768269 HAS SOPS 34768269 HAS SOUS 12547658 HAS SOUPS 12547658 WITH SCORE 1.2582426269E7
AT ITER 2490 NEW BEST:: SOT 107814163 SOS 34759992 HAS SOPS 34759992 HAS SOUS 12545036 HAS SOUPS 12545036 WITH SCORE 1.2579795992E7
AT ITER 2498 NEW BEST:: SOT 107814163 SOS 34759992 HAS SOPS 34759992 HAS SOUS 12544788 HAS SOUPS 12544788 WITH SCORE 1.2579547992E7
AT ITER 2505 NEW BEST:: SOT 107814163 SOS 34752344 HAS SOPS 34752344 HAS SOUS 12544180 HAS SOUPS 12544180 WITH SCORE 1.2578932344E7
AT ITER 2506 NEW BEST:: SOT 107814892 SOS 34753003 HAS SOPS 34753003 HAS SOUS 12542729 HAS SOUPS 12542729 WITH SCORE 1.2577482003E7
AT ITER 2507 NEW BEST:: SOT 107814226 SOS 34751671 HAS SOPS 34751671 HAS SOUS 12541989 HAS SOUPS 12541989 WITH SCORE 1.2576740671E7
AT ITER 2508 NEW BEST:: SOT 107814226 SOS 34748998 HAS SOPS 34748998 HAS SOUS 12541692 HAS SOUPS 12541692 WITH SCORE 1.2576440998E7
AT ITER 2528 NEW BEST:: SOT 107810007 SOS 34742952 HAS SOPS 34742952 HAS SOUS 12537270 HAS SOUPS 12537270 WITH SCORE 1.2572012952E7
AT ITER 2544 NEW BEST:: SOT 107809827 SOS 34742772 HAS SOPS 34742772 HAS SOUS 12537090 HAS SOUPS 12537090 WITH SCORE 1.2571832772E7
AT ITER 2549 NEW BEST:: SOT 107809827 SOS 34742096 HAS SOPS 34742096 HAS SOUS 12536414 HAS SOUPS 12536414 WITH SCORE 1.2571156096E7
AT ITER 2552 NEW BEST:: SOT 107809827 SOS 34739966 HAS SOPS 34739966 HAS SOUS 12535988 HAS SOUPS 12535988 WITH SCORE 1.2570727966E7
AT ITER 2554 NEW BEST:: SOT 107809617 SOS 34737866 HAS SOPS 34737866 HAS SOUS 12535568 HAS SOUPS 12535568 WITH SCORE 1.2570305866E7
AT ITER 2572 NEW BEST:: SOT 107809291 SOS 34734606 HAS SOPS 34734606 HAS SOUS 12534916 HAS SOUPS 12534916 WITH SCORE 1.2569650606E7
AT ITER 2580 NEW BEST:: SOT 107807977 SOS 34733146 HAS SOPS 34733146 HAS SOUS 12532142 HAS SOUPS 12532142 WITH SCORE 1.2566875146E7
AT ITER 2590 NEW BEST:: SOT 107807977 SOS 34731310 HAS SOPS 34731310 HAS SOUS 12531938 HAS SOUPS 12531938 WITH SCORE 1.256666931E7
AT ITER 2594 NEW BEST:: SOT 107801272 SOS 34717900 HAS SOPS 34717900 HAS SOUS 12524488 HAS SOUPS 12524488 WITH SCORE 1.25592059E7
AT ITER 2610 NEW BEST:: SOT 107801000 SOS 34717050 HAS SOPS 34717050 HAS SOUS 12523910 HAS SOUPS 12523910 WITH SCORE 1.255862705E7
AT ITER 2613 NEW BEST:: SOT 107801000 SOS 34718652 HAS SOPS 34718652 HAS SOUS 12522664 HAS SOUPS 12522664 WITH SCORE 1.2557382652E7
AT ITER 2622 NEW BEST:: SOT 107800612 SOS 34714384 HAS SOPS 34714384 HAS SOUS 12521500 HAS SOUPS 12521500 WITH SCORE 1.2556214384E7
AT ITER 2642 NEW BEST:: SOT 107800612 SOS 34712334 HAS SOPS 34712334 HAS SOUS 12521090 HAS SOUPS 12521090 WITH SCORE 1.2555802334E7
AT ITER 2644 NEW BEST:: SOT 107800590 SOS 34712114 HAS SOPS 34712114 HAS SOUS 12521046 HAS SOUPS 12521046 WITH SCORE 1.2555758114E7
AT ITER 2647 NEW BEST:: SOT 107799862 SOS 34707148 HAS SOPS 34707148 HAS SOUS 12519200 HAS SOUPS 12519200 WITH SCORE 1.2553907148E7
AT ITER 2667 NEW BEST:: SOT 107796901 SOS 34703858 HAS SOPS 34703858 HAS SOUS 12515910 HAS SOUPS 12515910 WITH SCORE 1.2550613858E7
AT ITER 2683 NEW BEST:: SOT 107796901 SOS 34703858 HAS SOPS 34703858 HAS SOUS 12513729 HAS SOUPS 12513729 WITH SCORE 1.2548432858E7
AT ITER 2697 NEW BEST:: SOT 107796901 SOS 34703858 HAS SOPS 34703858 HAS SOUS 12512777 HAS SOUPS 12512777 WITH SCORE 1.2547480858E7
AT ITER 2699 NEW BEST:: SOT 107796901 SOS 34703526 HAS SOPS 34703526 HAS SOUS 12512445 HAS SOUPS 12512445 WITH SCORE 1.2547148526E7
AT ITER 2711 NEW BEST:: SOT 107796426 SOS 34702576 HAS SOPS 34702576 HAS SOUS 12510727 HAS SOUPS 12510727 WITH SCORE 1.2545429576E7
AT ITER 2730 NEW BEST:: SOT 107797236 SOS 34703558 HAS SOPS 34703558 HAS SOUS 12507561 HAS SOUPS 12507561 WITH SCORE 1.2542264558E7
AT ITER 2732 NEW BEST:: SOT 107797326 SOS 34711668 HAS SOPS 34711668 HAS SOUS 12504415 HAS SOUPS 12504415 WITH SCORE 1.2539126668E7
AT ITER 2738 NEW BEST:: SOT 107790774 SOS 34693255 HAS SOPS 34693255 HAS SOUS 12500331 HAS SOUPS 12500331 WITH SCORE 1.2535024255E7
AT ITER 2741 NEW BEST:: SOT 107790019 SOS 34687677 HAS SOPS 34687677 HAS SOUS 12498393 HAS SOUPS 12498393 WITH SCORE 1.2533080677E7
AT ITER 2750 NEW BEST:: SOT 107790019 SOS 34687547 HAS SOPS 34687547 HAS SOUS 12498263 HAS SOUPS 12498263 WITH SCORE 1.2532950547E7
AT ITER 2763 NEW BEST:: SOT 107791722 SOS 34695201 HAS SOPS 34695201 HAS SOUS 12495319 HAS SOUPS 12495319 WITH SCORE 1.2530014201E7
AT ITER 2781 NEW BEST:: SOT 107791779 SOS 34695258 HAS SOPS 34695258 HAS SOUS 12495205 HAS SOUPS 12495205 WITH SCORE 1.2529900258E7
AT ITER 2827 NEW BEST:: SOT 107791779 SOS 34695258 HAS SOPS 34695258 HAS SOUS 12495125 HAS SOUPS 12495125 WITH SCORE 1.2529820258E7
AT ITER 2843 NEW BEST:: SOT 107791436 SOS 34694572 HAS SOPS 34694572 HAS SOUS 12494439 HAS SOUPS 12494439 WITH SCORE 1.2529133572E7
AT ITER 2850 NEW BEST:: SOT 107791389 SOS 34694055 HAS SOPS 34694055 HAS SOUS 12494298 HAS SOUPS 12494298 WITH SCORE 1.2528992055E7
AT ITER 2863 NEW BEST:: SOT 107791174 SOS 34693625 HAS SOPS 34693625 HAS SOUS 12493412 HAS SOUPS 12493412 WITH SCORE 1.2528105625E7
AT ITER 2876 NEW BEST:: SOT 107787718 SOS 34690169 HAS SOPS 34690169 HAS SOUS 12489956 HAS SOUPS 12489956 WITH SCORE 1.2524646169E7
AT ITER 2891 NEW BEST:: SOT 107787164 SOS 34689615 HAS SOPS 34689615 HAS SOUS 12489718 HAS SOUPS 12489718 WITH SCORE 1.2524407615E7
AT ITER 2892 NEW BEST:: SOT 107784878 SOS 34685043 HAS SOPS 34685043 HAS SOUS 12488690 HAS SOUPS 12488690 WITH SCORE 1.2523375043E7
AT ITER 2909 NEW BEST:: SOT 107784878 SOS 34686366 HAS SOPS 34686366 HAS SOUS 12487573 HAS SOUPS 12487573 WITH SCORE 1.2522259366E7
AT ITER 2911 NEW BEST:: SOT 107784199 SOS 34679576 HAS SOPS 34679576 HAS SOUS 12486215 HAS SOUPS 12486215 WITH SCORE 1.2520894576E7
AT ITER 2930 NEW BEST:: SOT 107784101 SOS 34679478 HAS SOPS 34679478 HAS SOUS 12486215 HAS SOUPS 12486215 WITH SCORE 1.2520894478E7
AT ITER 2933 NEW BEST:: SOT 107784101 SOS 34677521 HAS SOPS 34677521 HAS SOUS 12486146 HAS SOUPS 12486146 WITH SCORE 1.2520823521E7
AT ITER 2941 NEW BEST:: SOT 107784101 SOS 34677521 HAS SOPS 34677521 HAS SOUS 12484298 HAS SOUPS 12484298 WITH SCORE 1.2518975521E7
AT ITER 2952 NEW BEST:: SOT 107783612 SOS 34678294 HAS SOPS 34678294 HAS SOUS 12483167 HAS SOUPS 12483167 WITH SCORE 1.2517845294E7
AT ITER 2955 NEW BEST:: SOT 107783612 SOS 34678294 HAS SOPS 34678294 HAS SOUS 12483151 HAS SOUPS 12483151 WITH SCORE 1.2517829294E7
AT ITER 2960 NEW BEST:: SOT 107783612 SOS 34678294 HAS SOPS 34678294 HAS SOUS 12482937 HAS SOUPS 12482937 WITH SCORE 1.2517615294E7
AT ITER 2992 NEW BEST:: SOT 107784092 SOS 34678046 HAS SOPS 34678046 HAS SOUS 12480913 HAS SOUPS 12480913 WITH SCORE 1.2515591046E7
AT ITER 2996 NEW BEST:: SOT 107780582 SOS 34674146 HAS SOPS 34674146 HAS SOUS 12476325 HAS SOUPS 12476325 WITH SCORE 1.2510999146E7
AT ITER 3000 NEW BEST:: SOT 107780582 SOS 34666836 HAS SOPS 34666836 HAS SOUS 12474863 HAS SOUPS 12474863 WITH SCORE 1.2509529836E7
AT ITER 3034 NEW BEST:: SOT 107783572 SOS 34672816 HAS SOPS 34672816 HAS SOUS 12471648 HAS SOUPS 12471648 WITH SCORE 1.2506320816E7
AT ITER 3035 NEW BEST:: SOT 107776543 SOS 34665006 HAS SOPS 34665006 HAS SOUS 12461602 HAS SOUPS 12461602 WITH SCORE 1.2496267006E7
AT ITER 3037 NEW BEST:: SOT 107775364 SOS 34662648 HAS SOPS 34662648 HAS SOUS 12460292 HAS SOUPS 12460292 WITH SCORE 1.2494954648E7
AT ITER 3043 NEW BEST:: SOT 107775827 SOS 34662758 HAS SOPS 34662758 HAS SOUS 12459241 HAS SOUPS 12459241 WITH SCORE 1.2493903758E7
AT ITER 3058 NEW BEST:: SOT 107770085 SOS 34651274 HAS SOPS 34651274 HAS SOUS 12452861 HAS SOUPS 12452861 WITH SCORE 1.2487512274E7
AT ITER 3077 NEW BEST:: SOT 107770085 SOS 34650712 HAS SOPS 34650712 HAS SOUS 12452299 HAS SOUPS 12452299 WITH SCORE 1.2486949712E7
AT ITER 3078 NEW BEST:: SOT 107769981 SOS 34649672 HAS SOPS 34649672 HAS SOUS 12452091 HAS SOUPS 12452091 WITH SCORE 1.2486740672E7
AT ITER 3082 NEW BEST:: SOT 107769981 SOS 34649672 HAS SOPS 34649672 HAS SOUS 12451732 HAS SOUPS 12451732 WITH SCORE 1.2486381672E7
AT ITER 3102 NEW BEST:: SOT 107769981 SOS 34649454 HAS SOPS 34649454 HAS SOUS 12451514 HAS SOUPS 12451514 WITH SCORE 1.2486163454E7
AT ITER 3107 NEW BEST:: SOT 107769981 SOS 34649365 HAS SOPS 34649365 HAS SOUS 12451425 HAS SOUPS 12451425 WITH SCORE 1.2486074365E7
AT ITER 3141 NEW BEST:: SOT 107769981 SOS 34642185 HAS SOPS 34642185 HAS SOUS 12449989 HAS SOUPS 12449989 WITH SCORE 1.2484631185E7
AT ITER 3160 NEW BEST:: SOT 107762781 SOS 34634985 HAS SOPS 34634985 HAS SOUS 12442789 HAS SOUPS 12442789 WITH SCORE 1.2477423985E7
AT ITER 3167 NEW BEST:: SOT 107762781 SOS 34630695 HAS SOPS 34630695 HAS SOUS 12441931 HAS SOUPS 12441931 WITH SCORE 1.2476561695E7
AT ITER 3208 NEW BEST:: SOT 107762781 SOS 34625565 HAS SOPS 34625565 HAS SOUS 12441361 HAS SOUPS 12441361 WITH SCORE 1.2475986565E7
AT ITER 3211 NEW BEST:: SOT 107762168 SOS 34619435 HAS SOPS 34619435 HAS SOUS 12440135 HAS SOUPS 12440135 WITH SCORE 1.2474754435E7
AT ITER 3218 NEW BEST:: SOT 107757110 SOS 34613815 HAS SOPS 34613815 HAS SOUS 12430509 HAS SOUPS 12430509 WITH SCORE 1.2465122815E7
AT ITER 3238 NEW BEST:: SOT 107750711 SOS 34606705 HAS SOPS 34606705 HAS SOUS 12421937 HAS SOUPS 12421937 WITH SCORE 1.2456543705E7
AT ITER 3244 NEW BEST:: SOT 107750711 SOS 34606705 HAS SOPS 34606705 HAS SOUS 12420572 HAS SOUPS 12420572 WITH SCORE 1.2455178705E7
AT ITER 3249 NEW BEST:: SOT 107746337 SOS 34601845 HAS SOPS 34601845 HAS SOUS 12415307 HAS SOUPS 12415307 WITH SCORE 1.2449908845E7
AT ITER 3299 NEW BEST:: SOT 107739335 SOS 34594065 HAS SOPS 34594065 HAS SOUS 12403956 HAS SOUPS 12403956 WITH SCORE 1.2438550065E7
AT ITER 3341 NEW BEST:: SOT 107734979 SOS 34589225 HAS SOPS 34589225 HAS SOUS 12394908 HAS SOUPS 12394908 WITH SCORE 1.2429497225E7
AT ITER 3355 NEW BEST:: SOT 107734979 SOS 34589065 HAS SOPS 34589065 HAS SOUS 12393468 HAS SOUPS 12393468 WITH SCORE 1.2428057065E7
AT ITER 3356 NEW BEST:: SOT 107735447 SOS 34589173 HAS SOPS 34589173 HAS SOUS 12392400 HAS SOUPS 12392400 WITH SCORE 1.2426989173E7
AT ITER 3358 NEW BEST:: SOT 107734958 SOS 34584283 HAS SOPS 34584283 HAS SOUS 12391422 HAS SOUPS 12391422 WITH SCORE 1.2426006283E7
AT ITER 3361 NEW BEST:: SOT 107734687 SOS 34584012 HAS SOPS 34584012 HAS SOUS 12391151 HAS SOUPS 12391151 WITH SCORE 1.2425735012E7
AT ITER 3383 NEW BEST:: SOT 107734687 SOS 34586892 HAS SOPS 34586892 HAS SOUS 12388646 HAS SOUPS 12388646 WITH SCORE 1.2423232892E7
AT ITER 3393 NEW BEST:: SOT 107734687 SOS 34583562 HAS SOPS 34583562 HAS SOUS 12387980 HAS SOUPS 12387980 WITH SCORE 1.2422563562E7
AT ITER 3400 NEW BEST:: SOT 107736162 SOS 34587692 HAS SOPS 34587692 HAS SOUS 12387958 HAS SOUPS 12387958 WITH SCORE 1.2422545692E7
AT ITER 3403 NEW BEST:: SOT 107736076 SOS 34587606 HAS SOPS 34587606 HAS SOUS 12387872 HAS SOUPS 12387872 WITH SCORE 1.2422459606E7
AT ITER 3413 NEW BEST:: SOT 107736373 SOS 34587903 HAS SOPS 34587903 HAS SOUS 12387498 HAS SOUPS 12387498 WITH SCORE 1.2422085903E7
AT ITER 3443 NEW BEST:: SOT 107732379 SOS 34579915 HAS SOPS 34579915 HAS SOUS 12383436 HAS SOUPS 12383436 WITH SCORE 1.2418015915E7
AT ITER 3507 NEW BEST:: SOT 107732379 SOS 34573120 HAS SOPS 34573120 HAS SOUS 12382681 HAS SOUPS 12382681 WITH SCORE 1.241725412E7
AT ITER 3560 NEW BEST:: SOT 107732379 SOS 34573304 HAS SOPS 34573304 HAS SOUS 12382497 HAS SOUPS 12382497 WITH SCORE 1.2417070304E7
AT ITER 3569 NEW BEST:: SOT 107732379 SOS 34579944 HAS SOPS 34579944 HAS SOUS 12377341 HAS SOUPS 12377341 WITH SCORE 1.2411920944E7
AT ITER 3589 NEW BEST:: SOT 107729939 SOS 34575064 HAS SOPS 34575064 HAS SOUS 12374709 HAS SOUPS 12374709 WITH SCORE 1.2409284064E7
AT ITER 3604 NEW BEST:: SOT 107729236 SOS 34568034 HAS SOPS 34568034 HAS SOUS 12373303 HAS SOUPS 12373303 WITH SCORE 1.2407871034E7
AT ITER 3659 NEW BEST:: SOT 107729121 SOS 34568189 HAS SOPS 34568189 HAS SOUS 12373218 HAS SOUPS 12373218 WITH SCORE 1.2407786189E7
AT ITER 3710 NEW BEST:: SOT 107723226 SOS 34556399 HAS SOPS 34556399 HAS SOUS 12366668 HAS SOUPS 12366668 WITH SCORE 1.2401224399E7
AT ITER 3716 NEW BEST:: SOT 107723226 SOS 34554689 HAS SOPS 34554689 HAS SOUS 12366326 HAS SOUPS 12366326 WITH SCORE 1.2400880689E7
AT ITER 3717 NEW BEST:: SOT 107715306 SOS 34537996 HAS SOPS 34537996 HAS SOUS 12356889 HAS SOUPS 12356889 WITH SCORE 1.2391426996E7
AT ITER 3732 NEW BEST:: SOT 107715306 SOS 34537996 HAS SOPS 34537996 HAS SOUS 12355286 HAS SOUPS 12355286 WITH SCORE 1.2389823996E7
AT ITER 3741 NEW BEST:: SOT 107714444 SOS 34536272 HAS SOPS 34536272 HAS SOUS 12346049 HAS SOUPS 12346049 WITH SCORE 1.2380585272E7
AT ITER 3745 NEW BEST:: SOT 107713996 SOS 34531578 HAS SOPS 34531578 HAS SOUS 12344731 HAS SOUPS 12344731 WITH SCORE 1.2379262578E7
AT ITER 3756 NEW BEST:: SOT 107719594 SOS 34542516 HAS SOPS 34542516 HAS SOUS 12344703 HAS SOUPS 12344703 WITH SCORE 1.2379245516E7
AT ITER 3761 NEW BEST:: SOT 107719364 SOS 34542056 HAS SOPS 34542056 HAS SOUS 12344243 HAS SOUPS 12344243 WITH SCORE 1.2378785056E7
AT ITER 3802 NEW BEST:: SOT 107719364 SOS 34542056 HAS SOPS 34542056 HAS SOUS 12343525 HAS SOUPS 12343525 WITH SCORE 1.2378067056E7
AT ITER 3805 NEW BEST:: SOT 107719364 SOS 34542056 HAS SOPS 34542056 HAS SOUS 12342971 HAS SOUPS 12342971 WITH SCORE 1.2377513056E7
AT ITER 3840 NEW BEST:: SOT 107719364 SOS 34542056 HAS SOPS 34542056 HAS SOUS 12342228 HAS SOUPS 12342228 WITH SCORE 1.2376770056E7
AT ITER 3847 NEW BEST:: SOT 107719364 SOS 34537502 HAS SOPS 34537502 HAS SOUS 12341722 HAS SOUPS 12341722 WITH SCORE 1.2376259502E7
AT ITER 3849 NEW BEST:: SOT 107719313 SOS 34537451 HAS SOPS 34537451 HAS SOUS 12341722 HAS SOUPS 12341722 WITH SCORE 1.2376259451E7
AT ITER 3885 NEW BEST:: SOT 107719034 SOS 34534661 HAS SOPS 34534661 HAS SOUS 12341164 HAS SOUPS 12341164 WITH SCORE 1.2375698661E7
AT ITER 3886 NEW BEST:: SOT 107717630 SOS 34533257 HAS SOPS 34533257 HAS SOUS 12339760 HAS SOUPS 12339760 WITH SCORE 1.2374293257E7
AT ITER 3899 NEW BEST:: SOT 107717630 SOS 34525562 HAS SOPS 34525562 HAS SOUS 12338905 HAS SOUPS 12338905 WITH SCORE 1.2373430562E7
AT ITER 3967 NEW BEST:: SOT 107713553 SOS 34521032 HAS SOPS 34521032 HAS SOUS 12330338 HAS SOUPS 12330338 WITH SCORE 1.2364859032E7
AT ITER 3991 NEW BEST:: SOT 107708189 SOS 34510304 HAS SOPS 34510304 HAS SOUS 12324378 HAS SOUPS 12324378 WITH SCORE 1.2358888304E7
AT ITER 3993 NEW BEST:: SOT 107708189 SOS 34511663 HAS SOPS 34511663 HAS SOUS 12323203 HAS SOUPS 12323203 WITH SCORE 1.2357714663E7
AT ITER 4008 NEW BEST:: SOT 107711160 SOS 34517605 HAS SOPS 34517605 HAS SOUS 12322257 HAS SOUPS 12322257 WITH SCORE 1.2356774605E7
AT ITER 4025 NEW BEST:: SOT 107711162 SOS 34509707 HAS SOPS 34509707 HAS SOUS 12321383 HAS SOUPS 12321383 WITH SCORE 1.2355892707E7
AT ITER 4039 NEW BEST:: SOT 107711162 SOS 34504730 HAS SOPS 34504730 HAS SOUS 12320830 HAS SOUPS 12320830 WITH SCORE 1.235533473E7
AT ITER 4064 NEW BEST:: SOT 107710757 SOS 34504280 HAS SOPS 34504280 HAS SOUS 12320160 HAS SOUPS 12320160 WITH SCORE 1.235466428E7
AT ITER 4070 NEW BEST:: SOT 107710757 SOS 34504110 HAS SOPS 34504110 HAS SOUS 12319990 HAS SOUPS 12319990 WITH SCORE 1.235449411E7
AT ITER 4075 NEW BEST:: SOT 107710757 SOS 34503958 HAS SOPS 34503958 HAS SOUS 12319838 HAS SOUPS 12319838 WITH SCORE 1.2354341958E7
AT ITER 4088 NEW BEST:: SOT 107710329 SOS 34499910 HAS SOPS 34499910 HAS SOUS 12318686 HAS SOUPS 12318686 WITH SCORE 1.235318591E7
AT ITER 4136 NEW BEST:: SOT 107710329 SOS 34494440 HAS SOPS 34494440 HAS SOUS 12317592 HAS SOUPS 12317592 WITH SCORE 1.235208644E7
AT ITER 4139 NEW BEST:: SOT 107708145 SOS 34492256 HAS SOPS 34492256 HAS SOUS 12315408 HAS SOUPS 12315408 WITH SCORE 1.2349900256E7
AT ITER 4143 NEW BEST:: SOT 107707421 SOS 34485016 HAS SOPS 34485016 HAS SOUS 12313960 HAS SOUPS 12313960 WITH SCORE 1.2348445016E7
AT ITER 4152 NEW BEST:: SOT 107707317 SOS 34484808 HAS SOPS 34484808 HAS SOUS 12313752 HAS SOUPS 12313752 WITH SCORE 1.2348236808E7
AT ITER 4166 NEW BEST:: SOT 107699397 SOS 34468144 HAS SOPS 34468144 HAS SOUS 12304632 HAS SOUPS 12304632 WITH SCORE 1.2339100144E7
AT ITER 4171 NEW BEST:: SOT 107698702 SOS 34461194 HAS SOPS 34461194 HAS SOUS 12303242 HAS SOUPS 12303242 WITH SCORE 1.2337703194E7
AT ITER 4173 NEW BEST:: SOT 107699331 SOS 34461823 HAS SOPS 34461823 HAS SOUS 12303095 HAS SOUPS 12303095 WITH SCORE 1.2337556823E7
AT ITER 4188 NEW BEST:: SOT 107699331 SOS 34461732 HAS SOPS 34461732 HAS SOUS 12303004 HAS SOUPS 12303004 WITH SCORE 1.2337465732E7
AT ITER 4212 NEW BEST:: SOT 107699331 SOS 34460002 HAS SOPS 34460002 HAS SOUS 12302658 HAS SOUPS 12302658 WITH SCORE 1.2337118002E7
AT ITER 4227 NEW BEST:: SOT 107696406 SOS 34456752 HAS SOPS 34456752 HAS SOUS 12300079 HAS SOUPS 12300079 WITH SCORE 1.2334535752E7
AT ITER 4233 NEW BEST:: SOT 107695801 SOS 34450702 HAS SOPS 34450702 HAS SOUS 12298869 HAS SOUPS 12298869 WITH SCORE 1.2333319702E7
AT ITER 4242 NEW BEST:: SOT 107695801 SOS 34450702 HAS SOPS 34450702 HAS SOUS 12297805 HAS SOUPS 12297805 WITH SCORE 1.2332255702E7
AT ITER 4244 NEW BEST:: SOT 107695298 SOS 34445672 HAS SOPS 34445672 HAS SOUS 12296799 HAS SOUPS 12296799 WITH SCORE 1.2331244672E7
AT ITER 4260 NEW BEST:: SOT 107694740 SOS 34440092 HAS SOPS 34440092 HAS SOUS 12295683 HAS SOUPS 12295683 WITH SCORE 1.2330123092E7
AT ITER 4267 NEW BEST:: SOT 107689574 SOS 34434352 HAS SOPS 34434352 HAS SOUS 12289967 HAS SOUPS 12289967 WITH SCORE 1.2324401352E7
AT ITER 4280 NEW BEST:: SOT 107689105 SOS 34433883 HAS SOPS 34433883 HAS SOUS 12289498 HAS SOUPS 12289498 WITH SCORE 1.2323931883E7
AT ITER 4294 NEW BEST:: SOT 107688618 SOS 34428526 HAS SOPS 34428526 HAS SOUS 12288037 HAS SOUPS 12288037 WITH SCORE 1.2322465526E7
AT ITER 4305 NEW BEST:: SOT 107688618 SOS 34428878 HAS SOPS 34428878 HAS SOUS 12287641 HAS SOUPS 12287641 WITH SCORE 1.2322069878E7
AT ITER 4308 NEW BEST:: SOT 107688618 SOS 34428503 HAS SOPS 34428503 HAS SOUS 12287266 HAS SOUPS 12287266 WITH SCORE 1.2321694503E7
AT ITER 4311 NEW BEST:: SOT 107688618 SOS 34428503 HAS SOPS 34428503 HAS SOUS 12286869 HAS SOUPS 12286869 WITH SCORE 1.2321297503E7
AT ITER 4343 NEW BEST:: SOT 107688618 SOS 34430727 HAS SOPS 34430727 HAS SOUS 12284512 HAS SOUPS 12284512 WITH SCORE 1.2318942727E7
AT ITER 4360 NEW BEST:: SOT 107688057 SOS 34424936 HAS SOPS 34424936 HAS SOUS 12282905 HAS SOUPS 12282905 WITH SCORE 1.2317329936E7
AT ITER 4376 NEW BEST:: SOT 107688057 SOS 34420427 HAS SOPS 34420427 HAS SOUS 12282404 HAS SOUPS 12282404 WITH SCORE 1.2316824427E7
AT ITER 4389 NEW BEST:: SOT 107687458 SOS 34414437 HAS SOPS 34414437 HAS SOUS 12281206 HAS SOUPS 12281206 WITH SCORE 1.2315620437E7
AT ITER 4399 NEW BEST:: SOT 107687116 SOS 34411017 HAS SOPS 34411017 HAS SOUS 12280522 HAS SOUPS 12280522 WITH SCORE 1.2314933017E7
AT ITER 4404 NEW BEST:: SOT 107681401 SOS 34398952 HAS SOPS 34398952 HAS SOUS 12273537 HAS SOUPS 12273537 WITH SCORE 1.2307935952E7
AT ITER 4438 NEW BEST:: SOT 107679583 SOS 34396932 HAS SOPS 34396932 HAS SOUS 12271517 HAS SOUPS 12271517 WITH SCORE 1.2305913932E7
AT ITER 4452 NEW BEST:: SOT 107674660 SOS 34390829 HAS SOPS 34390829 HAS SOUS 12266358 HAS SOUPS 12266358 WITH SCORE 1.2300748829E7
AT ITER 4460 NEW BEST:: SOT 107672300 SOS 34386109 HAS SOPS 34386109 HAS SOUS 12263814 HAS SOUPS 12263814 WITH SCORE 1.2298200109E7
AT ITER 4463 NEW BEST:: SOT 107672300 SOS 34386109 HAS SOPS 34386109 HAS SOUS 12263800 HAS SOUPS 12263800 WITH SCORE 1.2298186109E7
AT ITER 4480 NEW BEST:: SOT 107672300 SOS 34386090 HAS SOPS 34386090 HAS SOUS 12263781 HAS SOUPS 12263781 WITH SCORE 1.229816709E7
AT ITER 4483 NEW BEST:: SOT 107671491 SOS 34378000 HAS SOPS 34378000 HAS SOUS 12262163 HAS SOUPS 12262163 WITH SCORE 1.2296541E7
AT ITER 4486 NEW BEST:: SOT 107671491 SOS 34378071 HAS SOPS 34378071 HAS SOUS 12262130 HAS SOUPS 12262130 WITH SCORE 1.2296508071E7
AT ITER 4492 NEW BEST:: SOT 107671096 SOS 34373726 HAS SOPS 34373726 HAS SOUS 12260945 HAS SOUPS 12260945 WITH SCORE 1.2295318726E7
AT ITER 4497 NEW BEST:: SOT 107671096 SOS 34373726 HAS SOPS 34373726 HAS SOUS 12260241 HAS SOUPS 12260241 WITH SCORE 1.2294614726E7
AT ITER 4499 NEW BEST:: SOT 107671096 SOS 34368956 HAS SOPS 34368956 HAS SOUS 12259287 HAS SOUPS 12259287 WITH SCORE 1.2293655956E7
AT ITER 4506 NEW BEST:: SOT 107670655 SOS 34368515 HAS SOPS 34368515 HAS SOUS 12258846 HAS SOUPS 12258846 WITH SCORE 1.2293214515E7
AT ITER 4517 NEW BEST:: SOT 107670622 SOS 34373777 HAS SOPS 34373777 HAS SOUS 12258780 HAS SOUPS 12258780 WITH SCORE 1.2293153777E7
AT ITER 4519 NEW BEST:: SOT 107670290 SOS 34370457 HAS SOPS 34370457 HAS SOUS 12258116 HAS SOUPS 12258116 WITH SCORE 1.2292486457E7
AT ITER 4521 NEW BEST:: SOT 107663387 SOS 34363554 HAS SOPS 34363554 HAS SOUS 12251213 HAS SOUPS 12251213 WITH SCORE 1.2285576554E7
AT ITER 4541 NEW BEST:: SOT 107663387 SOS 34363554 HAS SOPS 34363554 HAS SOUS 12251189 HAS SOUPS 12251189 WITH SCORE 1.2285552554E7
AT ITER 4556 NEW BEST:: SOT 107657654 SOS 34351451 HAS SOPS 34351451 HAS SOUS 12244182 HAS SOUPS 12244182 WITH SCORE 1.2278533451E7
AT ITER 4560 NEW BEST:: SOT 107655331 SOS 34346805 HAS SOPS 34346805 HAS SOUS 12242712 HAS SOUPS 12242712 WITH SCORE 1.2277058805E7
AT ITER 4594 NEW BEST:: SOT 107656042 SOS 34347426 HAS SOPS 34347426 HAS SOUS 12235051 HAS SOUPS 12235051 WITH SCORE 1.2269398426E7
AT ITER 4595 NEW BEST:: SOT 107656042 SOS 34345476 HAS SOPS 34345476 HAS SOUS 12234661 HAS SOUPS 12234661 WITH SCORE 1.2269006476E7
AT ITER 4623 NEW BEST:: SOT 107655505 SOS 34340106 HAS SOPS 34340106 HAS SOUS 12233587 HAS SOUPS 12233587 WITH SCORE 1.2267927106E7
AT ITER 4629 NEW BEST:: SOT 107652496 SOS 34336800 HAS SOPS 34336800 HAS SOUS 12230545 HAS SOUPS 12230545 WITH SCORE 1.22648818E7
AT ITER 4653 NEW BEST:: SOT 107652496 SOS 34341408 HAS SOPS 34341408 HAS SOUS 12225620 HAS SOUPS 12225620 WITH SCORE 1.2259961408E7
AT ITER 4658 NEW BEST:: SOT 107651488 SOS 34333824 HAS SOPS 34333824 HAS SOUS 12225508 HAS SOUPS 12225508 WITH SCORE 1.2259841824E7
AT ITER 4662 NEW BEST:: SOT 107649247 SOS 34331583 HAS SOPS 34331583 HAS SOUS 12223267 HAS SOUPS 12223267 WITH SCORE 1.2257598583E7
AT ITER 4663 NEW BEST:: SOT 107649119 SOS 34331455 HAS SOPS 34331455 HAS SOUS 12223139 HAS SOUPS 12223139 WITH SCORE 1.2257470455E7
AT ITER 4679 NEW BEST:: SOT 107649448 SOS 34325232 HAS SOPS 34325232 HAS SOUS 12222740 HAS SOUPS 12222740 WITH SCORE 1.2257065232E7
AT ITER 4701 NEW BEST:: SOT 107645803 SOS 34321587 HAS SOPS 34321587 HAS SOUS 12219095 HAS SOUPS 12219095 WITH SCORE 1.2253416587E7
AT ITER 4718 NEW BEST:: SOT 107638410 SOS 34306801 HAS SOPS 34306801 HAS SOUS 12215996 HAS SOUPS 12215996 WITH SCORE 1.2250302801E7
AT ITER 4733 NEW BEST:: SOT 107640234 SOS 34307897 HAS SOPS 34307897 HAS SOUS 12213933 HAS SOUPS 12213933 WITH SCORE 1.2248240897E7
AT ITER 4744 NEW BEST:: SOT 107639906 SOS 34307121 HAS SOPS 34307121 HAS SOUS 12211045 HAS SOUPS 12211045 WITH SCORE 1.2245352121E7
AT ITER 4748 NEW BEST:: SOT 107639738 SOS 34305273 HAS SOPS 34305273 HAS SOUS 12210541 HAS SOUPS 12210541 WITH SCORE 1.2244846273E7
AT ITER 4755 NEW BEST:: SOT 107635436 SOS 34296191 HAS SOPS 34296191 HAS SOUS 12205283 HAS SOUPS 12205283 WITH SCORE 1.2239579191E7
AT ITER 4845 NEW BEST:: SOT 107630775 SOS 34289901 HAS SOPS 34289901 HAS SOUS 12200441 HAS SOUPS 12200441 WITH SCORE 1.2234730901E7
AT ITER 4877 NEW BEST:: SOT 107630775 SOS 34286001 HAS SOPS 34286001 HAS SOUS 12199661 HAS SOUPS 12199661 WITH SCORE 1.2233947001E7
AT ITER 4879 NEW BEST:: SOT 107632284 SOS 34293083 HAS SOPS 34293083 HAS SOUS 12193495 HAS SOUPS 12193495 WITH SCORE 1.2227788083E7
AT ITER 4903 NEW BEST:: SOT 107632030 SOS 34292575 HAS SOPS 34292575 HAS SOUS 12192987 HAS SOUPS 12192987 WITH SCORE 1.2227279575E7
AT ITER 4913 NEW BEST:: SOT 107632028 SOS 34292571 HAS SOPS 34292571 HAS SOUS 12190567 HAS SOUPS 12190567 WITH SCORE 1.2224859571E7
AT ITER 4917 NEW BEST:: SOT 107631148 SOS 34283377 HAS SOPS 34283377 HAS SOUS 12187981 HAS SOUPS 12187981 WITH SCORE 1.2222264377E7
AT ITER 4919 NEW BEST:: SOT 107630772 SOS 34279617 HAS SOPS 34279617 HAS SOUS 12187229 HAS SOUPS 12187229 WITH SCORE 1.2221508617E7
AT ITER 4921 NEW BEST:: SOT 107624761 SOS 34267595 HAS SOPS 34267595 HAS SOUS 12185663 HAS SOUPS 12185663 WITH SCORE 1.2219930595E7
AT ITER 4950 NEW BEST:: SOT 107624761 SOS 34262625 HAS SOPS 34262625 HAS SOUS 12184669 HAS SOUPS 12184669 WITH SCORE 1.2218931625E7
AT ITER 4969 NEW BEST:: SOT 107624033 SOS 34255841 HAS SOPS 34255841 HAS SOUS 12182621 HAS SOUPS 12182621 WITH SCORE 1.2216876841E7
AT ITER 4970 NEW BEST:: SOT 107623277 SOS 34254329 HAS SOPS 34254329 HAS SOUS 12181781 HAS SOUPS 12181781 WITH SCORE 1.2216035329E7
AT ITER 4971 NEW BEST:: SOT 107622642 SOS 34253694 HAS SOPS 34253694 HAS SOUS 12181719 HAS SOUPS 12181719 WITH SCORE 1.2215972694E7
AT ITER 4974 NEW BEST:: SOT 107622642 SOS 34253694 HAS SOPS 34253694 HAS SOUS 12181663 HAS SOUPS 12181663 WITH SCORE 1.2215916694E7
AT ITER 4994 NEW BEST:: SOT 107620086 SOS 34251138 HAS SOPS 34251138 HAS SOUS 12179107 HAS SOUPS 12179107 WITH SCORE 1.2213358138E7
AT ITER 4996 NEW BEST:: SOT 107620086 SOS 34251138 HAS SOPS 34251138 HAS SOUS 12178939 HAS SOUPS 12178939 WITH SCORE 1.2213190138E7
Bounds file is: CTLFireability.xml
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-00 (AX( (AG( (EF( ((potential((tk(P2914)>=1) & (tk(P2671)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-01 (AU( (AF( (! ((potential((tk(P5106)>=1) & (tk(P2595)>=1))))))) , ( (EF( ((potential((tk(P5181)>=1) & (tk(P2670)>=1)))))) & ((potential((tk(P2690)>=1) & (tk(P2447)>=1)))) ) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-02 (! (AX( (EX( (! ((potential((tk(P3594)>=1) & (tk(P2622)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-03 (EG( ( ( (EX( ((potential((tk(P5866)>=1) & (tk(P2461)>=1)))))) | ( (! ((potential((tk(P5336)>=1) & (tk(P2582)>=1))))) & ( ((potential((tk(P3398)>=1) & (tk(P2669)>=1)))) & ((potential((tk(P3756)>=1) & (tk(P2541)>=1)))) ) ) ) & ( ((potential((tk(P5990)>=1) & (tk(P2585)>=1)))) | (EF( ((potential((tk(P6215)>=1) & (tk(P2569)>=1)))))) ) )))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-04 (AU( (AF( ((potential((tk(P5941)>=1) & (tk(P2545)>=1)))))) , ( (AF( ((potential((tk(P5923)>=1) & (tk(P2527)>=1)))))) & (! ((potential((tk(P5980)>=1) & (tk(P2575)>=1))))) ) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-05 (! (! (EG( (EF( ((potential((tk(P5913)>=1) & (tk(P2508)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-06 ( ( (EX( (AX( ((potential((tk(P5235)>=1) & (tk(P2481)>=1)))))))) & ( (EG( (! ((potential((tk(P3628)>=1) & (tk(P2656)>=1))))))) | (! ( ( ((potential((tk(P4468)>=1) & (tk(P1300)>=1)))) | ((potential((tk(P5499)>=1) & (tk(P2556)>=1)))) ) & ((potential((tk(P5824)>=1) & (tk(P2656)>=1)))) )) ) ) & (! (! ( (AX( ((potential((tk(P3378)>=1) & (tk(P2649)>=1)))))) | (! ( ((potential((tk(P3056)>=1) & (tk(P2570)>=1)))) & ((potential((tk(P5957)>=1) & (tk(P2552)>=1)))) )) ))) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-07 (AX( ( ((potential((tk(P2722)>=1) & (tk(P2479)>=1)))) | (! ( ( ((potential((tk(P6192)>=1) & (tk(P2546)>=1)))) & ((potential((tk(P3037)>=1) & (tk(P2551)>=1)))) ) & ( ((potential((tk(P3420)>=1) & (tk(P2448)>=1)))) & ((potential((tk(P3648)>=1) & (tk(P2433)>=1)))) ) )) )))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-08 (! (! (EF( (AG( ((potential((tk(P6256)>=1) & (tk(P2613)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-09 (EX( (AG( (AG( ((potential((tk(P6230)>=1) & (tk(P2584)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-10 (! (EU( (! ( ((potential((tk(P6052)>=1) & (tk(P2647)>=1)))) & ((potential((tk(P5465)>=1) & (tk(P2522)>=1)))) )) , ( ( ((potential((tk(P3297)>=1) & (tk(P2568)>=1)))) & ((potential((tk(P6010)>=1) & (tk(P2605)>=1)))) ) & ( ((potential((tk(P7162)>=1) & (tk(P1573)>=1)))) | ((potential((tk(P2718)>=1) & (tk(P2475)>=1)))) ) ) )))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-11 (EU( (AF( ( ((potential((tk(P5337)>=1) & (tk(P2583)>=1)))) | ((potential((tk(P3243)>=1) & (tk(P2514)>=1)))) ))) , ( ( ( ((potential((tk(P5145)>=1) & (tk(P2634)>=1)))) & ((potential((tk(P5765)>=1) & (tk(P2597)>=1)))) ) & ( ((potential((tk(P5429)>=1) & (tk(P2567)>=1)))) | ((potential((tk(P5286)>=1) & (tk(P2532)>=1)))) ) ) & ((potential((tk(P3192)>=1) & (tk(P2463)>=1)))) ) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 (AU( (AG( (! ((potential((tk(P5492)>=1) & (tk(P2549)>=1))))))) , (EU( ((potential((tk(P2687)>=1) & (tk(P2444)>=1)))) , ((potential((tk(P2969)>=1) & (tk(P2483)>=1)))) )) ))
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-13 ( (EF( (AX( ( ((potential((tk(P6240)>=1) & (tk(P2594)>=1)))) & ((potential((tk(P6267)>=1) & (tk(P2621)>=1)))) ))))) & (! ((potential((tk(P2901)>=1) & (tk(P2658)>=1))))) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-14 ( ( ( (AU( ((potential((tk(P5169)>=1) & (tk(P2658)>=1)))) , ((potential((tk(P3310)>=1) & (tk(P2581)>=1)))) )) | ((potential((tk(P5268)>=1) & (tk(P2514)>=1)))) ) | ( (! (EF( ((potential((tk(P5801)>=1) & (tk(P2633)>=1))))))) | ( ((potential((tk(P5338)>=1) & (tk(P2584)>=1)))) & ( ((potential((tk(P3680)>=1) & (tk(P2465)>=1)))) & ((potential((tk(P3621)>=1) & (tk(P2649)>=1)))) ) ) ) ) | (! (! (AU( ((potential((tk(P5228)>=1) & (tk(P2474)>=1)))) , ((potential((tk(P2874)>=1) & (tk(P2631)>=1)))) )))) )
PROPERTY: HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 (AF( ( ((potential((tk(P2869)>=1) & (tk(P2626)>=1)))) & ((potential((tk(P2729)>=1) & (tk(P2486)>=1)))) )))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d5k3p2b10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is HypertorusGrid-PT-d5k3p2b10, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140400316"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;