About the Execution of Smart for AutoFlight-PT-96b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2422.199 | 3600000.00 | 3600061.00 | 10.10 | [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/fkordon/mcc2023-input.r003-oct2-167813591000528.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AutoFlight-PT-96b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591000528
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 9.0K Feb 25 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 182K Feb 25 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 18:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 18:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678473593640
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-96b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 96b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 7894 places, 7868 transitions, 18200 arcs.
AT ITER 0 NEW BEST:: SOT 33327119 SOS 4582357 HAS SOPS 4582357 HAS SOUS 4222953 HAS SOUPS 4222953 WITH SCORE 4227535.357
AT ITER 20 NEW BEST:: SOT 33327118 SOS 4582356 HAS SOPS 4582356 HAS SOUS 4222952 HAS SOUPS 4222952 WITH SCORE 4227534.356
AT ITER 81 NEW BEST:: SOT 33326890 SOS 4582632 HAS SOPS 4582632 HAS SOUS 4222724 HAS SOUPS 4222724 WITH SCORE 4227306.632
AT ITER 94 NEW BEST:: SOT 33326890 SOS 4582558 HAS SOPS 4582558 HAS SOUS 4222650 HAS SOUPS 4222650 WITH SCORE 4227232.558
AT ITER 111 NEW BEST:: SOT 33326472 SOS 4581812 HAS SOPS 4581812 HAS SOUS 4221904 HAS SOUPS 4221904 WITH SCORE 4226485.812
AT ITER 133 NEW BEST:: SOT 33326141 SOS 4581150 HAS SOPS 4581150 HAS SOUS 4221573 HAS SOUPS 4221573 WITH SCORE 4226154.15
AT ITER 162 NEW BEST:: SOT 33325309 SOS 4580220 HAS SOPS 4580220 HAS SOUS 4221523 HAS SOUPS 4221523 WITH SCORE 4226103.22
AT ITER 311 NEW BEST:: SOT 33324815 SOS 4578600 HAS SOPS 4578600 HAS SOUS 4221188 HAS SOUPS 4221188 WITH SCORE 4225766.6
AT ITER 322 NEW BEST:: SOT 33324961 SOS 4578578 HAS SOPS 4578578 HAS SOUS 4221166 HAS SOUPS 4221166 WITH SCORE 4225744.578
AT ITER 342 NEW BEST:: SOT 33324960 SOS 4578577 HAS SOPS 4578577 HAS SOUS 4221165 HAS SOUPS 4221165 WITH SCORE 4225743.577
AT ITER 344 NEW BEST:: SOT 33324838 SOS 4578899 HAS SOPS 4578899 HAS SOUS 4221043 HAS SOUPS 4221043 WITH SCORE 4225621.899
AT ITER 357 NEW BEST:: SOT 33324397 SOS 4578898 HAS SOPS 4578898 HAS SOUS 4221042 HAS SOUPS 4221042 WITH SCORE 4225620.898
AT ITER 379 NEW BEST:: SOT 33324397 SOS 4578824 HAS SOPS 4578824 HAS SOUS 4221042 HAS SOUPS 4221042 WITH SCORE 4225620.824
AT ITER 403 NEW BEST:: SOT 33323988 SOS 4577303 HAS SOPS 4577303 HAS SOUS 4220908 HAS SOUPS 4220908 WITH SCORE 4225485.303
AT ITER 415 NEW BEST:: SOT 33323753 SOS 4577249 HAS SOPS 4577249 HAS SOUS 4220673 HAS SOUPS 4220673 WITH SCORE 4225250.249
AT ITER 429 NEW BEST:: SOT 33323166 SOS 4576075 HAS SOPS 4576075 HAS SOUS 4219499 HAS SOUPS 4219499 WITH SCORE 4224075.075
AT ITER 463 NEW BEST:: SOT 33323181 SOS 4575845 HAS SOPS 4575845 HAS SOUS 4219269 HAS SOUPS 4219269 WITH SCORE 4223844.845
AT ITER 478 NEW BEST:: SOT 33322939 SOS 4575603 HAS SOPS 4575603 HAS SOUS 4219027 HAS SOUPS 4219027 WITH SCORE 4223602.603
AT ITER 482 NEW BEST:: SOT 33322939 SOS 4575307 HAS SOPS 4575307 HAS SOUS 4218731 HAS SOUPS 4218731 WITH SCORE 4223306.307
AT ITER 509 NEW BEST:: SOT 33322821 SOS 4577373 HAS SOPS 4577373 HAS SOUS 4218034 HAS SOUPS 4218034 WITH SCORE 4222611.373
AT ITER 538 NEW BEST:: SOT 33322320 SOS 4576872 HAS SOPS 4576872 HAS SOUS 4217533 HAS SOUPS 4217533 WITH SCORE 4222109.872
AT ITER 566 NEW BEST:: SOT 33321788 SOS 4576623 HAS SOPS 4576623 HAS SOUS 4217257 HAS SOUPS 4217257 WITH SCORE 4221833.623
AT ITER 600 NEW BEST:: SOT 33321502 SOS 4576337 HAS SOPS 4576337 HAS SOUS 4216971 HAS SOUPS 4216971 WITH SCORE 4221547.337
AT ITER 611 NEW BEST:: SOT 33321502 SOS 4576129 HAS SOPS 4576129 HAS SOUS 4216763 HAS SOUPS 4216763 WITH SCORE 4221339.129
AT ITER 623 NEW BEST:: SOT 33321501 SOS 4576128 HAS SOPS 4576128 HAS SOUS 4216762 HAS SOUPS 4216762 WITH SCORE 4221338.128
AT ITER 630 NEW BEST:: SOT 33321152 SOS 4575818 HAS SOPS 4575818 HAS SOUS 4216676 HAS SOUPS 4216676 WITH SCORE 4221251.818
AT ITER 634 NEW BEST:: SOT 33319796 SOS 4573793 HAS SOPS 4573793 HAS SOUS 4214633 HAS SOUPS 4214633 WITH SCORE 4219206.793
AT ITER 722 NEW BEST:: SOT 33319316 SOS 4573312 HAS SOPS 4573312 HAS SOUS 4214388 HAS SOUPS 4214388 WITH SCORE 4218961.312
AT ITER 742 NEW BEST:: SOT 33318767 SOS 4572763 HAS SOPS 4572763 HAS SOUS 4213839 HAS SOUPS 4213839 WITH SCORE 4218411.763
AT ITER 763 NEW BEST:: SOT 33318410 SOS 4572049 HAS SOPS 4572049 HAS SOUS 4212689 HAS SOUPS 4212689 WITH SCORE 4217261.049
AT ITER 773 NEW BEST:: SOT 33318119 SOS 4571859 HAS SOPS 4571859 HAS SOUS 4212397 HAS SOUPS 4212397 WITH SCORE 4216968.859
AT ITER 785 NEW BEST:: SOT 33318248 SOS 4572117 HAS SOPS 4572117 HAS SOUS 4212004 HAS SOUPS 4212004 WITH SCORE 4216576.117
AT ITER 795 NEW BEST:: SOT 33318248 SOS 4571838 HAS SOPS 4571838 HAS SOUS 4211725 HAS SOUPS 4211725 WITH SCORE 4216296.838
AT ITER 817 NEW BEST:: SOT 33318248 SOS 4571611 HAS SOPS 4571611 HAS SOUS 4211498 HAS SOUPS 4211498 WITH SCORE 4216069.611
AT ITER 818 NEW BEST:: SOT 33318261 SOS 4570728 HAS SOPS 4570728 HAS SOUS 4210615 HAS SOUPS 4210615 WITH SCORE 4215185.728
AT ITER 868 NEW BEST:: SOT 33316421 SOS 4569392 HAS SOPS 4569392 HAS SOUS 4209220 HAS SOUPS 4209220 WITH SCORE 4213789.392
AT ITER 878 NEW BEST:: SOT 33316421 SOS 4569392 HAS SOPS 4569392 HAS SOUS 4209097 HAS SOUPS 4209097 WITH SCORE 4213666.392
AT ITER 1017 NEW BEST:: SOT 33316869 SOS 4569337 HAS SOPS 4569337 HAS SOUS 4209042 HAS SOUPS 4209042 WITH SCORE 4213611.337
AT ITER 1023 NEW BEST:: SOT 33316649 SOS 4568679 HAS SOPS 4568679 HAS SOUS 4208384 HAS SOUPS 4208384 WITH SCORE 4212952.679
AT ITER 1032 NEW BEST:: SOT 33316632 SOS 4569633 HAS SOPS 4569633 HAS SOUS 4208367 HAS SOUPS 4208367 WITH SCORE 4212936.633
AT ITER 1053 NEW BEST:: SOT 33316632 SOS 4569633 HAS SOPS 4569633 HAS SOUS 4208364 HAS SOUPS 4208364 WITH SCORE 4212933.633
AT ITER 1074 NEW BEST:: SOT 33316161 SOS 4568798 HAS SOPS 4568798 HAS SOUS 4207529 HAS SOUPS 4207529 WITH SCORE 4212097.798
AT ITER 1076 NEW BEST:: SOT 33316084 SOS 4568796 HAS SOPS 4568796 HAS SOUS 4207527 HAS SOUPS 4207527 WITH SCORE 4212095.796
AT ITER 1081 NEW BEST:: SOT 33316084 SOS 4568500 HAS SOPS 4568500 HAS SOUS 4207231 HAS SOUPS 4207231 WITH SCORE 4211799.5
AT ITER 1092 NEW BEST:: SOT 33316084 SOS 4568301 HAS SOPS 4568301 HAS SOUS 4207032 HAS SOUPS 4207032 WITH SCORE 4211600.301
AT ITER 1103 NEW BEST:: SOT 33316084 SOS 4567942 HAS SOPS 4567942 HAS SOUS 4206673 HAS SOUPS 4206673 WITH SCORE 4211240.942
AT ITER 1136 NEW BEST:: SOT 33316084 SOS 4567226 HAS SOPS 4567226 HAS SOUS 4205957 HAS SOUPS 4205957 WITH SCORE 4210524.226
AT ITER 1149 NEW BEST:: SOT 33316084 SOS 4567202 HAS SOPS 4567202 HAS SOUS 4205933 HAS SOUPS 4205933 WITH SCORE 4210500.202
AT ITER 1230 NEW BEST:: SOT 33316084 SOS 4566490 HAS SOPS 4566490 HAS SOUS 4205221 HAS SOUPS 4205221 WITH SCORE 4209787.49
AT ITER 1248 NEW BEST:: SOT 33315947 SOS 4566353 HAS SOPS 4566353 HAS SOUS 4205084 HAS SOUPS 4205084 WITH SCORE 4209650.353
AT ITER 1250 NEW BEST:: SOT 33315911 SOS 4566317 HAS SOPS 4566317 HAS SOUS 4205047 HAS SOUPS 4205047 WITH SCORE 4209613.317
AT ITER 1258 NEW BEST:: SOT 33315554 SOS 4565603 HAS SOPS 4565603 HAS SOUS 4204690 HAS SOUPS 4204690 WITH SCORE 4209255.603
AT ITER 1274 NEW BEST:: SOT 33315554 SOS 4565573 HAS SOPS 4565573 HAS SOUS 4204660 HAS SOUPS 4204660 WITH SCORE 4209225.573
AT ITER 1288 NEW BEST:: SOT 33315554 SOS 4565259 HAS SOPS 4565259 HAS SOUS 4204346 HAS SOUPS 4204346 WITH SCORE 4208911.259
AT ITER 1324 NEW BEST:: SOT 33315674 SOS 4565046 HAS SOPS 4565046 HAS SOUS 4204133 HAS SOUPS 4204133 WITH SCORE 4208698.046
AT ITER 1333 NEW BEST:: SOT 33315212 SOS 4564122 HAS SOPS 4564122 HAS SOUS 4203512 HAS SOUPS 4203512 WITH SCORE 4208076.122
AT ITER 1337 NEW BEST:: SOT 33315212 SOS 4563676 HAS SOPS 4563676 HAS SOUS 4203066 HAS SOUPS 4203066 WITH SCORE 4207629.676
AT ITER 1360 NEW BEST:: SOT 33314970 SOS 4563595 HAS SOPS 4563595 HAS SOUS 4203066 HAS SOUPS 4203066 WITH SCORE 4207629.595
AT ITER 1366 NEW BEST:: SOT 33314898 SOS 4563523 HAS SOPS 4563523 HAS SOUS 4202958 HAS SOUPS 4202958 WITH SCORE 4207521.523
AT ITER 1381 NEW BEST:: SOT 33314754 SOS 4563578 HAS SOPS 4563578 HAS SOUS 4202648 HAS SOUPS 4202648 WITH SCORE 4207211.578
AT ITER 1395 NEW BEST:: SOT 33314861 SOS 4563094 HAS SOPS 4563094 HAS SOUS 4202164 HAS SOUPS 4202164 WITH SCORE 4206727.094
AT ITER 1420 NEW BEST:: SOT 33314645 SOS 4561626 HAS SOPS 4561626 HAS SOUS 4201732 HAS SOUPS 4201732 WITH SCORE 4206293.626
AT ITER 1498 NEW BEST:: SOT 33314519 SOS 4561670 HAS SOPS 4561670 HAS SOUS 4201611 HAS SOUPS 4201611 WITH SCORE 4206172.67
AT ITER 1526 NEW BEST:: SOT 33314069 SOS 4561196 HAS SOPS 4561196 HAS SOUS 4200968 HAS SOUPS 4200968 WITH SCORE 4205529.196
AT ITER 1534 NEW BEST:: SOT 33313710 SOS 4561038 HAS SOPS 4561038 HAS SOUS 4200609 HAS SOUPS 4200609 WITH SCORE 4205170.038
AT ITER 1535 NEW BEST:: SOT 33313671 SOS 4561037 HAS SOPS 4561037 HAS SOUS 4200608 HAS SOUPS 4200608 WITH SCORE 4205169.037
AT ITER 1545 NEW BEST:: SOT 33313545 SOS 4561026 HAS SOPS 4561026 HAS SOUS 4200608 HAS SOUPS 4200608 WITH SCORE 4205169.026
AT ITER 1596 NEW BEST:: SOT 33313721 SOS 4560558 HAS SOPS 4560558 HAS SOUS 4200550 HAS SOUPS 4200550 WITH SCORE 4205110.558
AT ITER 1597 NEW BEST:: SOT 33313544 SOS 4560204 HAS SOPS 4560204 HAS SOUS 4199648 HAS SOUPS 4199648 WITH SCORE 4204208.204
AT ITER 1636 NEW BEST:: SOT 33313015 SOS 4560203 HAS SOPS 4560203 HAS SOUS 4199339 HAS SOUPS 4199339 WITH SCORE 4203899.203
AT ITER 1664 NEW BEST:: SOT 33312544 SOS 4560044 HAS SOPS 4560044 HAS SOUS 4198725 HAS SOUPS 4198725 WITH SCORE 4203285.044
AT ITER 1680 NEW BEST:: SOT 33312544 SOS 4559884 HAS SOPS 4559884 HAS SOUS 4198565 HAS SOUPS 4198565 WITH SCORE 4203124.884
AT ITER 1707 NEW BEST:: SOT 33312544 SOS 4559453 HAS SOPS 4559453 HAS SOUS 4198565 HAS SOUPS 4198565 WITH SCORE 4203124.453
AT ITER 1720 NEW BEST:: SOT 33312588 SOS 4559138 HAS SOPS 4559138 HAS SOUS 4198250 HAS SOUPS 4198250 WITH SCORE 4202809.138
AT ITER 1726 NEW BEST:: SOT 33312588 SOS 4559001 HAS SOPS 4559001 HAS SOUS 4198113 HAS SOUPS 4198113 WITH SCORE 4202672.001
AT ITER 1743 NEW BEST:: SOT 33312149 SOS 4558123 HAS SOPS 4558123 HAS SOUS 4197806 HAS SOUPS 4197806 WITH SCORE 4202364.123
AT ITER 1748 NEW BEST:: SOT 33311132 SOS 4555799 HAS SOPS 4555799 HAS SOUS 4196893 HAS SOUPS 4196893 WITH SCORE 4201448.799
AT ITER 1807 NEW BEST:: SOT 33310438 SOS 4554845 HAS SOPS 4554845 HAS SOUS 4195765 HAS SOUPS 4195765 WITH SCORE 4200319.845
AT ITER 1814 NEW BEST:: SOT 33310438 SOS 4554845 HAS SOPS 4554845 HAS SOUS 4195610 HAS SOUPS 4195610 WITH SCORE 4200164.845
AT ITER 1871 NEW BEST:: SOT 33310619 SOS 4555207 HAS SOPS 4555207 HAS SOUS 4195553 HAS SOUPS 4195553 WITH SCORE 4200108.207
AT ITER 1885 NEW BEST:: SOT 33310262 SOS 4554493 HAS SOPS 4554493 HAS SOUS 4194656 HAS SOUPS 4194656 WITH SCORE 4199210.493
AT ITER 1907 NEW BEST:: SOT 33309615 SOS 4554718 HAS SOPS 4554718 HAS SOUS 4194420 HAS SOUPS 4194420 WITH SCORE 4198974.718
AT ITER 1932 NEW BEST:: SOT 33308819 SOS 4555898 HAS SOPS 4555898 HAS SOUS 4193450 HAS SOUPS 4193450 WITH SCORE 4198005.898
AT ITER 1950 NEW BEST:: SOT 33308954 SOS 4556168 HAS SOPS 4556168 HAS SOUS 4192908 HAS SOUPS 4192908 WITH SCORE 4197464.168
AT ITER 1955 NEW BEST:: SOT 33309215 SOS 4559800 HAS SOPS 4559800 HAS SOUS 4192847 HAS SOUPS 4192847 WITH SCORE 4197406.8
AT ITER 2021 NEW BEST:: SOT 33308823 SOS 4560312 HAS SOPS 4560312 HAS SOUS 4192455 HAS SOUPS 4192455 WITH SCORE 4197015.312
AT ITER 2059 NEW BEST:: SOT 33308695 SOS 4560554 HAS SOPS 4560554 HAS SOUS 4192327 HAS SOUPS 4192327 WITH SCORE 4196887.554
AT ITER 2074 NEW BEST:: SOT 33308847 SOS 4560858 HAS SOPS 4560858 HAS SOUS 4192108 HAS SOUPS 4192108 WITH SCORE 4196668.858
AT ITER 2083 NEW BEST:: SOT 33308456 SOS 4560944 HAS SOPS 4560944 HAS SOUS 4191717 HAS SOUPS 4191717 WITH SCORE 4196277.944
AT ITER 2146 NEW BEST:: SOT 33308342 SOS 4560830 HAS SOPS 4560830 HAS SOUS 4191603 HAS SOUPS 4191603 WITH SCORE 4196163.83
AT ITER 2170 NEW BEST:: SOT 33308220 SOS 4560708 HAS SOPS 4560708 HAS SOUS 4191481 HAS SOUPS 4191481 WITH SCORE 4196041.708
AT ITER 2204 NEW BEST:: SOT 33307886 SOS 4560244 HAS SOPS 4560244 HAS SOUS 4190683 HAS SOUPS 4190683 WITH SCORE 4195243.244
AT ITER 2233 NEW BEST:: SOT 33307885 SOS 4560242 HAS SOPS 4560242 HAS SOUS 4190681 HAS SOUPS 4190681 WITH SCORE 4195241.242
AT ITER 2243 NEW BEST:: SOT 33307885 SOS 4560137 HAS SOPS 4560137 HAS SOUS 4190605 HAS SOUPS 4190605 WITH SCORE 4195165.137
AT ITER 2296 NEW BEST:: SOT 33307884 SOS 4560136 HAS SOPS 4560136 HAS SOUS 4190604 HAS SOUPS 4190604 WITH SCORE 4195164.136
AT ITER 2314 NEW BEST:: SOT 33307632 SOS 4559632 HAS SOPS 4559632 HAS SOUS 4190351 HAS SOUPS 4190351 WITH SCORE 4194910.632
AT ITER 2381 NEW BEST:: SOT 33307155 SOS 4558678 HAS SOPS 4558678 HAS SOUS 4188823 HAS SOUPS 4188823 WITH SCORE 4193381.678
AT ITER 2403 NEW BEST:: SOT 33307100 SOS 4558568 HAS SOPS 4558568 HAS SOUS 4188112 HAS SOUPS 4188112 WITH SCORE 4192670.568
AT ITER 2406 NEW BEST:: SOT 33306998 SOS 4558466 HAS SOPS 4558466 HAS SOUS 4188010 HAS SOUPS 4188010 WITH SCORE 4192568.466
AT ITER 2452 NEW BEST:: SOT 33306776 SOS 4558260 HAS SOPS 4558260 HAS SOUS 4187804 HAS SOUPS 4187804 WITH SCORE 4192362.26
AT ITER 2468 NEW BEST:: SOT 33306775 SOS 4558259 HAS SOPS 4558259 HAS SOUS 4187803 HAS SOUPS 4187803 WITH SCORE 4192361.259
AT ITER 2539 NEW BEST:: SOT 33306244 SOS 4558170 HAS SOPS 4558170 HAS SOUS 4187353 HAS SOUPS 4187353 WITH SCORE 4191911.17
AT ITER 2545 NEW BEST:: SOT 33305882 SOS 4557446 HAS SOPS 4557446 HAS SOUS 4186324 HAS SOUPS 4186324 WITH SCORE 4190881.446
AT ITER 2555 NEW BEST:: SOT 33305882 SOS 4557446 HAS SOPS 4557446 HAS SOUS 4185950 HAS SOUPS 4185950 WITH SCORE 4190507.446
AT ITER 2597 NEW BEST:: SOT 33305833 SOS 4557397 HAS SOPS 4557397 HAS SOUS 4185901 HAS SOUPS 4185901 WITH SCORE 4190458.397
AT ITER 2603 NEW BEST:: SOT 33305833 SOS 4557397 HAS SOPS 4557397 HAS SOUS 4185900 HAS SOUPS 4185900 WITH SCORE 4190457.397
AT ITER 2608 NEW BEST:: SOT 33304693 SOS 4555937 HAS SOPS 4555937 HAS SOUS 4184350 HAS SOUPS 4184350 WITH SCORE 4188905.937
AT ITER 2614 NEW BEST:: SOT 33304428 SOS 4555521 HAS SOPS 4555521 HAS SOUS 4183934 HAS SOUPS 4183934 WITH SCORE 4188489.521
AT ITER 2625 NEW BEST:: SOT 33304428 SOS 4555382 HAS SOPS 4555382 HAS SOUS 4183795 HAS SOUPS 4183795 WITH SCORE 4188350.382
AT ITER 2636 NEW BEST:: SOT 33304091 SOS 4555850 HAS SOPS 4555850 HAS SOUS 4183458 HAS SOUPS 4183458 WITH SCORE 4188013.85
AT ITER 2642 NEW BEST:: SOT 33304091 SOS 4555804 HAS SOPS 4555804 HAS SOUS 4183412 HAS SOUPS 4183412 WITH SCORE 4187967.804
AT ITER 2646 NEW BEST:: SOT 33303816 SOS 4556058 HAS SOPS 4556058 HAS SOUS 4183137 HAS SOUPS 4183137 WITH SCORE 4187693.058
AT ITER 2708 NEW BEST:: SOT 33303333 SOS 4555485 HAS SOPS 4555485 HAS SOUS 4182464 HAS SOUPS 4182464 WITH SCORE 4187019.485
AT ITER 2715 NEW BEST:: SOT 33303333 SOS 4555481 HAS SOPS 4555481 HAS SOUS 4182460 HAS SOUPS 4182460 WITH SCORE 4187015.481
AT ITER 2739 NEW BEST:: SOT 33303333 SOS 4555430 HAS SOPS 4555430 HAS SOUS 4182409 HAS SOUPS 4182409 WITH SCORE 4186964.43
AT ITER 2743 NEW BEST:: SOT 33302783 SOS 4554880 HAS SOPS 4554880 HAS SOUS 4181859 HAS SOUPS 4181859 WITH SCORE 4186413.88
AT ITER 2796 NEW BEST:: SOT 33302554 SOS 4554828 HAS SOPS 4554828 HAS SOUS 4181807 HAS SOUPS 4181807 WITH SCORE 4186361.828
AT ITER 2828 NEW BEST:: SOT 33302554 SOS 4554514 HAS SOPS 4554514 HAS SOUS 4181493 HAS SOUPS 4181493 WITH SCORE 4186047.514
AT ITER 2847 NEW BEST:: SOT 33302554 SOS 4554328 HAS SOPS 4554328 HAS SOUS 4181307 HAS SOUPS 4181307 WITH SCORE 4185861.328
AT ITER 2855 NEW BEST:: SOT 33301990 SOS 4553899 HAS SOPS 4553899 HAS SOUS 4180743 HAS SOUPS 4180743 WITH SCORE 4185296.899
AT ITER 2870 NEW BEST:: SOT 33302315 SOS 4553768 HAS SOPS 4553768 HAS SOUS 4180612 HAS SOUPS 4180612 WITH SCORE 4185165.768
AT ITER 2892 NEW BEST:: SOT 33302315 SOS 4553990 HAS SOPS 4553990 HAS SOUS 4180594 HAS SOUPS 4180594 WITH SCORE 4185147.99
AT ITER 2895 NEW BEST:: SOT 33302172 SOS 4553704 HAS SOPS 4553704 HAS SOUS 4180308 HAS SOUPS 4180308 WITH SCORE 4184861.704
AT ITER 2901 NEW BEST:: SOT 33302172 SOS 4553704 HAS SOPS 4553704 HAS SOUS 4180307 HAS SOUPS 4180307 WITH SCORE 4184860.704
AT ITER 2917 NEW BEST:: SOT 33302172 SOS 4553487 HAS SOPS 4553487 HAS SOUS 4180090 HAS SOUPS 4180090 WITH SCORE 4184643.487
AT ITER 2921 NEW BEST:: SOT 33302172 SOS 4553301 HAS SOPS 4553301 HAS SOUS 4180090 HAS SOUPS 4180090 WITH SCORE 4184643.301
AT ITER 2970 NEW BEST:: SOT 33301541 SOS 4551943 HAS SOPS 4551943 HAS SOUS 4179459 HAS SOUPS 4179459 WITH SCORE 4184010.943
AT ITER 3038 NEW BEST:: SOT 33301541 SOS 4551573 HAS SOPS 4551573 HAS SOUS 4179459 HAS SOUPS 4179459 WITH SCORE 4184010.573
AT ITER 3057 NEW BEST:: SOT 33301197 SOS 4550885 HAS SOPS 4550885 HAS SOUS 4179459 HAS SOUPS 4179459 WITH SCORE 4184009.885
AT ITER 3061 NEW BEST:: SOT 33300960 SOS 4550835 HAS SOPS 4550835 HAS SOUS 4179409 HAS SOUPS 4179409 WITH SCORE 4183959.835
AT ITER 3082 NEW BEST:: SOT 33300960 SOS 4551019 HAS SOPS 4551019 HAS SOUS 4179047 HAS SOUPS 4179047 WITH SCORE 4183598.019
AT ITER 3084 NEW BEST:: SOT 33300445 SOS 4550371 HAS SOPS 4550371 HAS SOUS 4178500 HAS SOUPS 4178500 WITH SCORE 4183050.371
AT ITER 3087 NEW BEST:: SOT 33300445 SOS 4549879 HAS SOPS 4549879 HAS SOUS 4178008 HAS SOUPS 4178008 WITH SCORE 4182557.879
AT ITER 3196 NEW BEST:: SOT 33300540 SOS 4549756 HAS SOPS 4549756 HAS SOUS 4177885 HAS SOUPS 4177885 WITH SCORE 4182434.756
AT ITER 3213 NEW BEST:: SOT 33300187 SOS 4549718 HAS SOPS 4549718 HAS SOUS 4177690 HAS SOUPS 4177690 WITH SCORE 4182239.718
AT ITER 3219 NEW BEST:: SOT 33299965 SOS 4548454 HAS SOPS 4548454 HAS SOUS 4176621 HAS SOUPS 4176621 WITH SCORE 4181169.454
AT ITER 3234 NEW BEST:: SOT 33299451 SOS 4547932 HAS SOPS 4547932 HAS SOUS 4176107 HAS SOUPS 4176107 WITH SCORE 4180654.932
AT ITER 3247 NEW BEST:: SOT 33299451 SOS 4547618 HAS SOPS 4547618 HAS SOUS 4175793 HAS SOUPS 4175793 WITH SCORE 4180340.618
AT ITER 3259 NEW BEST:: SOT 33299070 SOS 4546950 HAS SOPS 4546950 HAS SOUS 4174944 HAS SOUPS 4174944 WITH SCORE 4179490.95
AT ITER 3293 NEW BEST:: SOT 33298920 SOS 4546801 HAS SOPS 4546801 HAS SOUS 4174795 HAS SOUPS 4174795 WITH SCORE 4179341.801
AT ITER 3323 NEW BEST:: SOT 33298733 SOS 4546707 HAS SOPS 4546707 HAS SOUS 4174701 HAS SOUPS 4174701 WITH SCORE 4179247.707
AT ITER 3373 NEW BEST:: SOT 33298447 SOS 4546135 HAS SOPS 4546135 HAS SOUS 4174415 HAS SOUPS 4174415 WITH SCORE 4178961.135
AT ITER 3377 NEW BEST:: SOT 33298420 SOS 4546108 HAS SOPS 4546108 HAS SOUS 4174415 HAS SOUPS 4174415 WITH SCORE 4178961.108
AT ITER 3381 NEW BEST:: SOT 33298419 SOS 4546107 HAS SOPS 4546107 HAS SOUS 4174414 HAS SOUPS 4174414 WITH SCORE 4178960.107
AT ITER 3393 NEW BEST:: SOT 33298376 SOS 4545978 HAS SOPS 4545978 HAS SOUS 4174328 HAS SOUPS 4174328 WITH SCORE 4178873.978
AT ITER 3395 NEW BEST:: SOT 33298376 SOS 4545536 HAS SOPS 4545536 HAS SOUS 4173886 HAS SOUPS 4173886 WITH SCORE 4178431.536
AT ITER 3411 NEW BEST:: SOT 33298376 SOS 4545268 HAS SOPS 4545268 HAS SOUS 4173618 HAS SOUPS 4173618 WITH SCORE 4178163.268
AT ITER 3421 NEW BEST:: SOT 33298375 SOS 4545266 HAS SOPS 4545266 HAS SOUS 4173616 HAS SOUPS 4173616 WITH SCORE 4178161.266
AT ITER 3422 NEW BEST:: SOT 33298404 SOS 4544951 HAS SOPS 4544951 HAS SOUS 4173301 HAS SOUPS 4173301 WITH SCORE 4177845.951
AT ITER 3512 NEW BEST:: SOT 33298269 SOS 4544681 HAS SOPS 4544681 HAS SOUS 4173031 HAS SOUPS 4173031 WITH SCORE 4177575.681
AT ITER 3517 NEW BEST:: SOT 33298010 SOS 4544398 HAS SOPS 4544398 HAS SOUS 4172826 HAS SOUPS 4172826 WITH SCORE 4177370.398
AT ITER 3554 NEW BEST:: SOT 33297624 SOS 4544113 HAS SOPS 4544113 HAS SOUS 4172440 HAS SOUPS 4172440 WITH SCORE 4176984.113
AT ITER 3562 NEW BEST:: SOT 33297786 SOS 4544437 HAS SOPS 4544437 HAS SOUS 4172264 HAS SOUPS 4172264 WITH SCORE 4176808.437
AT ITER 3568 NEW BEST:: SOT 33297452 SOS 4544133 HAS SOPS 4544133 HAS SOUS 4171543 HAS SOUPS 4171543 WITH SCORE 4176087.133
AT ITER 3605 NEW BEST:: SOT 33297270 SOS 4543242 HAS SOPS 4543242 HAS SOUS 4171179 HAS SOUPS 4171179 WITH SCORE 4175722.242
AT ITER 3617 NEW BEST:: SOT 33297037 SOS 4543242 HAS SOPS 4543242 HAS SOUS 4170946 HAS SOUPS 4170946 WITH SCORE 4175489.242
AT ITER 3620 NEW BEST:: SOT 33297037 SOS 4543007 HAS SOPS 4543007 HAS SOUS 4170711 HAS SOUPS 4170711 WITH SCORE 4175254.007
AT ITER 3641 NEW BEST:: SOT 33296844 SOS 4542428 HAS SOPS 4542428 HAS SOUS 4170325 HAS SOUPS 4170325 WITH SCORE 4174867.428
AT ITER 3661 NEW BEST:: SOT 33296554 SOS 4541848 HAS SOPS 4541848 HAS SOUS 4170035 HAS SOUPS 4170035 WITH SCORE 4174576.848
AT ITER 3668 NEW BEST:: SOT 33296419 SOS 4542192 HAS SOPS 4542192 HAS SOUS 4169765 HAS SOUPS 4169765 WITH SCORE 4174307.192
AT ITER 3801 NEW BEST:: SOT 33296307 SOS 4542150 HAS SOPS 4542150 HAS SOUS 4169765 HAS SOUPS 4169765 WITH SCORE 4174307.15
AT ITER 3808 NEW BEST:: SOT 33296307 SOS 4542150 HAS SOPS 4542150 HAS SOUS 4169539 HAS SOUPS 4169539 WITH SCORE 4174081.15
AT ITER 3809 NEW BEST:: SOT 33295828 SOS 4541192 HAS SOPS 4541192 HAS SOUS 4169060 HAS SOUPS 4169060 WITH SCORE 4173601.192
AT ITER 3831 NEW BEST:: SOT 33295920 SOS 4541376 HAS SOPS 4541376 HAS SOUS 4168729 HAS SOUPS 4168729 WITH SCORE 4173270.376
AT ITER 3845 NEW BEST:: SOT 33295691 SOS 4541321 HAS SOPS 4541321 HAS SOUS 4168729 HAS SOUPS 4168729 WITH SCORE 4173270.321
AT ITER 3857 NEW BEST:: SOT 33295602 SOS 4541143 HAS SOPS 4541143 HAS SOUS 4168638 HAS SOUPS 4168638 WITH SCORE 4173179.143
AT ITER 3859 NEW BEST:: SOT 33295855 SOS 4541649 HAS SOPS 4541649 HAS SOUS 4168597 HAS SOUPS 4168597 WITH SCORE 4173138.649
AT ITER 3861 NEW BEST:: SOT 33295855 SOS 4541568 HAS SOPS 4541568 HAS SOUS 4168597 HAS SOUPS 4168597 WITH SCORE 4173138.568
AT ITER 3862 NEW BEST:: SOT 33295855 SOS 4540950 HAS SOPS 4540950 HAS SOUS 4167979 HAS SOUPS 4167979 WITH SCORE 4172519.95
AT ITER 3865 NEW BEST:: SOT 33295573 SOS 4540386 HAS SOPS 4540386 HAS SOUS 4167415 HAS SOUPS 4167415 WITH SCORE 4171955.386
AT ITER 3874 NEW BEST:: SOT 33294880 SOS 4539000 HAS SOPS 4539000 HAS SOUS 4165700 HAS SOUPS 4165700 WITH SCORE 4170239.0
AT ITER 3920 NEW BEST:: SOT 33294767 SOS 4538661 HAS SOPS 4538661 HAS SOUS 4165474 HAS SOUPS 4165474 WITH SCORE 4170012.661
AT ITER 3934 NEW BEST:: SOT 33294767 SOS 4538372 HAS SOPS 4538372 HAS SOUS 4165185 HAS SOUPS 4165185 WITH SCORE 4169723.372
AT ITER 3968 NEW BEST:: SOT 33294657 SOS 4538152 HAS SOPS 4538152 HAS SOUS 4164965 HAS SOUPS 4164965 WITH SCORE 4169503.152
AT ITER 3972 NEW BEST:: SOT 33294657 SOS 4538152 HAS SOPS 4538152 HAS SOUS 4164964 HAS SOUPS 4164964 WITH SCORE 4169502.152
AT ITER 3994 NEW BEST:: SOT 33294096 SOS 4537591 HAS SOPS 4537591 HAS SOUS 4164403 HAS SOUPS 4164403 WITH SCORE 4168940.591
AT ITER 4022 NEW BEST:: SOT 33294096 SOS 4537279 HAS SOPS 4537279 HAS SOUS 4164091 HAS SOUPS 4164091 WITH SCORE 4168628.279
AT ITER 4034 NEW BEST:: SOT 33294096 SOS 4537278 HAS SOPS 4537278 HAS SOUS 4164090 HAS SOUPS 4164090 WITH SCORE 4168627.278
AT ITER 4038 NEW BEST:: SOT 33294096 SOS 4537265 HAS SOPS 4537265 HAS SOUS 4164077 HAS SOUPS 4164077 WITH SCORE 4168614.265
AT ITER 4079 NEW BEST:: SOT 33293907 SOS 4537202 HAS SOPS 4537202 HAS SOUS 4163888 HAS SOUPS 4163888 WITH SCORE 4168425.202
AT ITER 4084 NEW BEST:: SOT 33293837 SOS 4537062 HAS SOPS 4537062 HAS SOUS 4163748 HAS SOUPS 4163748 WITH SCORE 4168285.062
AT ITER 4102 NEW BEST:: SOT 33293837 SOS 4537025 HAS SOPS 4537025 HAS SOUS 4163711 HAS SOUPS 4163711 WITH SCORE 4168248.025
AT ITER 4108 NEW BEST:: SOT 33293479 SOS 4536309 HAS SOPS 4536309 HAS SOUS 4162573 HAS SOUPS 4162573 WITH SCORE 4167109.309
AT ITER 4142 NEW BEST:: SOT 33293822 SOS 4536155 HAS SOPS 4536155 HAS SOUS 4162419 HAS SOUPS 4162419 WITH SCORE 4166955.155
AT ITER 4150 NEW BEST:: SOT 33293822 SOS 4535923 HAS SOPS 4535923 HAS SOUS 4162187 HAS SOUPS 4162187 WITH SCORE 4166722.923
AT ITER 4152 NEW BEST:: SOT 33293822 SOS 4535786 HAS SOPS 4535786 HAS SOUS 4162187 HAS SOUPS 4162187 WITH SCORE 4166722.786
AT ITER 4187 NEW BEST:: SOT 33293662 SOS 4535626 HAS SOPS 4535626 HAS SOUS 4162027 HAS SOUPS 4162027 WITH SCORE 4166562.626
AT ITER 4193 NEW BEST:: SOT 33293341 SOS 4535588 HAS SOPS 4535588 HAS SOUS 4161706 HAS SOUPS 4161706 WITH SCORE 4166241.588
AT ITER 4209 NEW BEST:: SOT 33292482 SOS 4534403 HAS SOPS 4534403 HAS SOUS 4160314 HAS SOUPS 4160314 WITH SCORE 4164848.403
AT ITER 4245 NEW BEST:: SOT 33292150 SOS 4534420 HAS SOPS 4534420 HAS SOUS 4160157 HAS SOUPS 4160157 WITH SCORE 4164691.42
AT ITER 4278 NEW BEST:: SOT 33292150 SOS 4534257 HAS SOPS 4534257 HAS SOUS 4159994 HAS SOUPS 4159994 WITH SCORE 4164528.257
AT ITER 4287 NEW BEST:: SOT 33291608 SOS 4533758 HAS SOPS 4533758 HAS SOUS 4159452 HAS SOUPS 4159452 WITH SCORE 4163985.758
AT ITER 4386 NEW BEST:: SOT 33291608 SOS 4533758 HAS SOPS 4533758 HAS SOUS 4159273 HAS SOUPS 4159273 WITH SCORE 4163806.758
AT ITER 4413 NEW BEST:: SOT 33291270 SOS 4533183 HAS SOPS 4533183 HAS SOUS 4158698 HAS SOUPS 4158698 WITH SCORE 4163231.183
AT ITER 4452 NEW BEST:: SOT 33291270 SOS 4532813 HAS SOPS 4532813 HAS SOUS 4158328 HAS SOUPS 4158328 WITH SCORE 4162860.813
AT ITER 4463 NEW BEST:: SOT 33291270 SOS 4532459 HAS SOPS 4532459 HAS SOUS 4158328 HAS SOUPS 4158328 WITH SCORE 4162860.459
AT ITER 4477 NEW BEST:: SOT 33290931 SOS 4531413 HAS SOPS 4531413 HAS SOUS 4157989 HAS SOUPS 4157989 WITH SCORE 4162520.413
AT ITER 4500 NEW BEST:: SOT 33290931 SOS 4531374 HAS SOPS 4531374 HAS SOUS 4157955 HAS SOUPS 4157955 WITH SCORE 4162486.374
AT ITER 4507 NEW BEST:: SOT 33290810 SOS 4531048 HAS SOPS 4531048 HAS SOUS 4157629 HAS SOUPS 4157629 WITH SCORE 4162160.048
AT ITER 4516 NEW BEST:: SOT 33290702 SOS 4531066 HAS SOPS 4531066 HAS SOUS 4157521 HAS SOUPS 4157521 WITH SCORE 4162052.066
AT ITER 4533 NEW BEST:: SOT 33290410 SOS 4530540 HAS SOPS 4530540 HAS SOUS 4156995 HAS SOUPS 4156995 WITH SCORE 4161525.54
AT ITER 4537 NEW BEST:: SOT 33291011 SOS 4530529 HAS SOPS 4530529 HAS SOUS 4156984 HAS SOUPS 4156984 WITH SCORE 4161514.529
AT ITER 4622 NEW BEST:: SOT 33290944 SOS 4530395 HAS SOPS 4530395 HAS SOUS 4156850 HAS SOUPS 4156850 WITH SCORE 4161380.395
AT ITER 4627 NEW BEST:: SOT 33290782 SOS 4530392 HAS SOPS 4530392 HAS SOUS 4156793 HAS SOUPS 4156793 WITH SCORE 4161323.392
AT ITER 4669 NEW BEST:: SOT 33290781 SOS 4530391 HAS SOPS 4530391 HAS SOUS 4156792 HAS SOUPS 4156792 WITH SCORE 4161322.391
AT ITER 4673 NEW BEST:: SOT 33284960 SOS 4534617 HAS SOPS 4534617 HAS SOUS 4151387 HAS SOUPS 4151387 WITH SCORE 4155921.617
AT ITER 4684 NEW BEST:: SOT 33284912 SOS 4534521 HAS SOPS 4534521 HAS SOUS 4151339 HAS SOUPS 4151339 WITH SCORE 4155873.521
AT ITER 4701 NEW BEST:: SOT 33284186 SOS 4534761 HAS SOPS 4534761 HAS SOUS 4151245 HAS SOUPS 4151245 WITH SCORE 4155779.761
AT ITER 4733 NEW BEST:: SOT 33284094 SOS 4534669 HAS SOPS 4534669 HAS SOUS 4151153 HAS SOUPS 4151153 WITH SCORE 4155687.669
AT ITER 4755 NEW BEST:: SOT 33283987 SOS 4534603 HAS SOPS 4534603 HAS SOUS 4150932 HAS SOUPS 4150932 WITH SCORE 4155466.603
AT ITER 4770 NEW BEST:: SOT 33283696 SOS 4534021 HAS SOPS 4534021 HAS SOUS 4150641 HAS SOUPS 4150641 WITH SCORE 4155175.021
AT ITER 4775 NEW BEST:: SOT 33283365 SOS 4534421 HAS SOPS 4534421 HAS SOUS 4150310 HAS SOUPS 4150310 WITH SCORE 4154844.421
AT ITER 4777 NEW BEST:: SOT 33283165 SOS 4534522 HAS SOPS 4534522 HAS SOUS 4150279 HAS SOUPS 4150279 WITH SCORE 4154813.522
AT ITER 4784 NEW BEST:: SOT 33283068 SOS 4534328 HAS SOPS 4534328 HAS SOUS 4149988 HAS SOUPS 4149988 WITH SCORE 4154522.328
AT ITER 4833 NEW BEST:: SOT 33282810 SOS 4534070 HAS SOPS 4534070 HAS SOUS 4149730 HAS SOUPS 4149730 WITH SCORE 4154264.07
AT ITER 4835 NEW BEST:: SOT 33282584 SOS 4534069 HAS SOPS 4534069 HAS SOUS 4149729 HAS SOUPS 4149729 WITH SCORE 4154263.069
AT ITER 4836 NEW BEST:: SOT 33282409 SOS 4534789 HAS SOPS 4534789 HAS SOUS 4149554 HAS SOUPS 4149554 WITH SCORE 4154088.789
AT ITER 4866 NEW BEST:: SOT 33282409 SOS 4534571 HAS SOPS 4534571 HAS SOUS 4149554 HAS SOUPS 4149554 WITH SCORE 4154088.571
AT ITER 4870 NEW BEST:: SOT 33282409 SOS 4534571 HAS SOPS 4534571 HAS SOUS 4148792 HAS SOUPS 4148792 WITH SCORE 4153326.571
AT ITER 4907 NEW BEST:: SOT 33282409 SOS 4534256 HAS SOPS 4534256 HAS SOUS 4148477 HAS SOUPS 4148477 WITH SCORE 4153011.256
AT ITER 4940 NEW BEST:: SOT 33282409 SOS 4533875 HAS SOPS 4533875 HAS SOUS 4148096 HAS SOUPS 4148096 WITH SCORE 4152629.875
AT ITER 4956 NEW BEST:: SOT 33282390 SOS 4532908 HAS SOPS 4532908 HAS SOUS 4147568 HAS SOUPS 4147568 WITH SCORE 4152100.908
AT ITER 4965 NEW BEST:: SOT 33281802 SOS 4531732 HAS SOPS 4531732 HAS SOUS 4146680 HAS SOUPS 4146680 WITH SCORE 4151211.732
AT ITER 4976 NEW BEST:: SOT 33281802 SOS 4531136 HAS SOPS 4531136 HAS SOUS 4146680 HAS SOUPS 4146680 WITH SCORE 4151211.136
AT ITER 4986 NEW BEST:: SOT 33281753 SOS 4530715 HAS SOPS 4530715 HAS SOUS 4146582 HAS SOUPS 4146582 WITH SCORE 4151112.715
AT ITER 5055 NEW BEST:: SOT 33281732 SOS 4530673 HAS SOPS 4530673 HAS SOUS 4146561 HAS SOUPS 4146561 WITH SCORE 4151091.673
AT ITER 5155 NEW BEST:: SOT 33281954 SOS 4530316 HAS SOPS 4530316 HAS SOUS 4146204 HAS SOUPS 4146204 WITH SCORE 4150734.316
AT ITER 5156 NEW BEST:: SOT 33281698 SOS 4530170 HAS SOPS 4530170 HAS SOUS 4145948 HAS SOUPS 4145948 WITH SCORE 4150478.17
AT ITER 5177 NEW BEST:: SOT 33281405 SOS 4529584 HAS SOPS 4529584 HAS SOUS 4144723 HAS SOUPS 4144723 WITH SCORE 4149252.584
AT ITER 5180 NEW BEST:: SOT 33281405 SOS 4529436 HAS SOPS 4529436 HAS SOUS 4144723 HAS SOUPS 4144723 WITH SCORE 4149252.436
AT ITER 5183 NEW BEST:: SOT 33281405 SOS 4529436 HAS SOPS 4529436 HAS SOUS 4144720 HAS SOUPS 4144720 WITH SCORE 4149249.436
AT ITER 5211 NEW BEST:: SOT 33281387 SOS 4529400 HAS SOPS 4529400 HAS SOUS 4144684 HAS SOUPS 4144684 WITH SCORE 4149213.4
AT ITER 5225 NEW BEST:: SOT 33281326 SOS 4529339 HAS SOPS 4529339 HAS SOUS 4144623 HAS SOUPS 4144623 WITH SCORE 4149152.339
AT ITER 5227 NEW BEST:: SOT 33281074 SOS 4528709 HAS SOPS 4528709 HAS SOUS 4144245 HAS SOUPS 4144245 WITH SCORE 4148773.709
AT ITER 5246 NEW BEST:: SOT 33280638 SOS 4527367 HAS SOPS 4527367 HAS SOUS 4143339 HAS SOUPS 4143339 WITH SCORE 4147866.367
AT ITER 5248 NEW BEST:: SOT 33280065 SOS 4526916 HAS SOPS 4526916 HAS SOUS 4142888 HAS SOUPS 4142888 WITH SCORE 4147414.916
AT ITER 5262 NEW BEST:: SOT 33280054 SOS 4526894 HAS SOPS 4526894 HAS SOUS 4142877 HAS SOUPS 4142877 WITH SCORE 4147403.894
AT ITER 5274 NEW BEST:: SOT 33280054 SOS 4526692 HAS SOPS 4526692 HAS SOUS 4142877 HAS SOUPS 4142877 WITH SCORE 4147403.692
AT ITER 5281 NEW BEST:: SOT 33279667 SOS 4525918 HAS SOPS 4525918 HAS SOUS 4142737 HAS SOUPS 4142737 WITH SCORE 4147262.918
AT ITER 5293 NEW BEST:: SOT 33278641 SOS 4524291 HAS SOPS 4524291 HAS SOUS 4141667 HAS SOUPS 4141667 WITH SCORE 4146191.291
AT ITER 5349 NEW BEST:: SOT 33278321 SOS 4524246 HAS SOPS 4524246 HAS SOUS 4141504 HAS SOUPS 4141504 WITH SCORE 4146028.246
AT ITER 5359 NEW BEST:: SOT 33278087 SOS 4524096 HAS SOPS 4524096 HAS SOUS 4141354 HAS SOUPS 4141354 WITH SCORE 4145878.096
AT ITER 5386 NEW BEST:: SOT 33278087 SOS 4524096 HAS SOPS 4524096 HAS SOUS 4141251 HAS SOUPS 4141251 WITH SCORE 4145775.096
AT ITER 5407 NEW BEST:: SOT 33277918 SOS 4524492 HAS SOPS 4524492 HAS SOUS 4141082 HAS SOUPS 4141082 WITH SCORE 4145606.492
AT ITER 5417 NEW BEST:: SOT 33277624 SOS 4524198 HAS SOPS 4524198 HAS SOUS 4140788 HAS SOUPS 4140788 WITH SCORE 4145312.198
AT ITER 5423 NEW BEST:: SOT 33277553 SOS 4524056 HAS SOPS 4524056 HAS SOUS 4140646 HAS SOUPS 4140646 WITH SCORE 4145170.056
AT ITER 5439 NEW BEST:: SOT 33277751 SOS 4523652 HAS SOPS 4523652 HAS SOUS 4140442 HAS SOUPS 4140442 WITH SCORE 4144965.652
AT ITER 5441 NEW BEST:: SOT 33277751 SOS 4522856 HAS SOPS 4522856 HAS SOUS 4140442 HAS SOUPS 4140442 WITH SCORE 4144964.856
AT ITER 5452 NEW BEST:: SOT 33277643 SOS 4522640 HAS SOPS 4522640 HAS SOUS 4140226 HAS SOUPS 4140226 WITH SCORE 4144748.64
AT ITER 5455 NEW BEST:: SOT 33277797 SOS 4522267 HAS SOPS 4522267 HAS SOUS 4139853 HAS SOUPS 4139853 WITH SCORE 4144375.267
AT ITER 5544 NEW BEST:: SOT 33277266 SOS 4522040 HAS SOPS 4522040 HAS SOUS 4139391 HAS SOUPS 4139391 WITH SCORE 4143913.04
AT ITER 5562 NEW BEST:: SOT 33277249 SOS 4522006 HAS SOPS 4522006 HAS SOUS 4139340 HAS SOUPS 4139340 WITH SCORE 4143862.006
AT ITER 5564 NEW BEST:: SOT 33276966 SOS 4521454 HAS SOPS 4521454 HAS SOUS 4138788 HAS SOUPS 4138788 WITH SCORE 4143309.454
AT ITER 5571 NEW BEST:: SOT 33276966 SOS 4520647 HAS SOPS 4520647 HAS SOUS 4137981 HAS SOUPS 4137981 WITH SCORE 4142501.647
AT ITER 5579 NEW BEST:: SOT 33276645 SOS 4520341 HAS SOPS 4520341 HAS SOUS 4137820 HAS SOUPS 4137820 WITH SCORE 4142340.341
AT ITER 5638 NEW BEST:: SOT 33275942 SOS 4519574 HAS SOPS 4519574 HAS SOUS 4136880 HAS SOUPS 4136880 WITH SCORE 4141399.574
AT ITER 5694 NEW BEST:: SOT 33275643 SOS 4519264 HAS SOPS 4519264 HAS SOUS 4136746 HAS SOUPS 4136746 WITH SCORE 4141265.264
AT ITER 5716 NEW BEST:: SOT 33275643 SOS 4519082 HAS SOPS 4519082 HAS SOUS 4136564 HAS SOUPS 4136564 WITH SCORE 4141083.082
AT ITER 5744 NEW BEST:: SOT 33275643 SOS 4519080 HAS SOPS 4519080 HAS SOUS 4136562 HAS SOUPS 4136562 WITH SCORE 4141081.08
AT ITER 5749 NEW BEST:: SOT 33275299 SOS 4518921 HAS SOPS 4518921 HAS SOUS 4136403 HAS SOUPS 4136403 WITH SCORE 4140921.921
AT ITER 5760 NEW BEST:: SOT 33275267 SOS 4518697 HAS SOPS 4518697 HAS SOUS 4136367 HAS SOUPS 4136367 WITH SCORE 4140885.697
AT ITER 5775 NEW BEST:: SOT 33275152 SOS 4518467 HAS SOPS 4518467 HAS SOUS 4136333 HAS SOUPS 4136333 WITH SCORE 4140851.467
AT ITER 5787 NEW BEST:: SOT 33275152 SOS 4518440 HAS SOPS 4518440 HAS SOUS 4136306 HAS SOUPS 4136306 WITH SCORE 4140824.44
AT ITER 5789 NEW BEST:: SOT 33274841 SOS 4517818 HAS SOPS 4517818 HAS SOUS 4135341 HAS SOUPS 4135341 WITH SCORE 4139858.818
AT ITER 5794 NEW BEST:: SOT 33274822 SOS 4517813 HAS SOPS 4517813 HAS SOUS 4135336 HAS SOUPS 4135336 WITH SCORE 4139853.813
AT ITER 5804 NEW BEST:: SOT 33274436 SOS 4517776 HAS SOPS 4517776 HAS SOUS 4135125 HAS SOUPS 4135125 WITH SCORE 4139642.776
AT ITER 5807 NEW BEST:: SOT 33274436 SOS 4517635 HAS SOPS 4517635 HAS SOUS 4134984 HAS SOUPS 4134984 WITH SCORE 4139501.635
AT ITER 5827 NEW BEST:: SOT 33274434 SOS 4517631 HAS SOPS 4517631 HAS SOUS 4134445 HAS SOUPS 4134445 WITH SCORE 4138962.631
AT ITER 5889 NEW BEST:: SOT 33274374 SOS 4517511 HAS SOPS 4517511 HAS SOUS 4134385 HAS SOUPS 4134385 WITH SCORE 4138902.511
AT ITER 5909 NEW BEST:: SOT 33274211 SOS 4517340 HAS SOPS 4517340 HAS SOUS 4134214 HAS SOUPS 4134214 WITH SCORE 4138731.34
AT ITER 5934 NEW BEST:: SOT 33274004 SOS 4516926 HAS SOPS 4516926 HAS SOUS 4133800 HAS SOUPS 4133800 WITH SCORE 4138316.926
AT ITER 5938 NEW BEST:: SOT 33273587 SOS 4516092 HAS SOPS 4516092 HAS SOUS 4132966 HAS SOUPS 4132966 WITH SCORE 4137482.092
AT ITER 5945 NEW BEST:: SOT 33273356 SOS 4514624 HAS SOPS 4514624 HAS SOUS 4132504 HAS SOUPS 4132504 WITH SCORE 4137018.624
AT ITER 5954 NEW BEST:: SOT 33272729 SOS 4515106 HAS SOPS 4515106 HAS SOUS 4131701 HAS SOUPS 4131701 WITH SCORE 4136216.106
AT ITER 5958 NEW BEST:: SOT 33272566 SOS 4515346 HAS SOPS 4515346 HAS SOUS 4131538 HAS SOUPS 4131538 WITH SCORE 4136053.346
AT ITER 5985 NEW BEST:: SOT 33272504 SOS 4515345 HAS SOPS 4515345 HAS SOUS 4131537 HAS SOUPS 4131537 WITH SCORE 4136052.345
AT ITER 5994 NEW BEST:: SOT 33272124 SOS 4514585 HAS SOPS 4514585 HAS SOUS 4131157 HAS SOUPS 4131157 WITH SCORE 4135671.585
AT ITER 6009 NEW BEST:: SOT 33272021 SOS 4514581 HAS SOPS 4514581 HAS SOUS 4131054 HAS SOUPS 4131054 WITH SCORE 4135568.581
AT ITER 6144 NEW BEST:: SOT 33272296 SOS 4515131 HAS SOPS 4515131 HAS SOUS 4130857 HAS SOUPS 4130857 WITH SCORE 4135372.131
AT ITER 6157 NEW BEST:: SOT 33272296 SOS 4515070 HAS SOPS 4515070 HAS SOUS 4130796 HAS SOUPS 4130796 WITH SCORE 4135311.07
AT ITER 6170 NEW BEST:: SOT 33272383 SOS 4515069 HAS SOPS 4515069 HAS SOUS 4130795 HAS SOUPS 4130795 WITH SCORE 4135310.069
AT ITER 6178 NEW BEST:: SOT 33272059 SOS 4514735 HAS SOPS 4514735 HAS SOUS 4130461 HAS SOUPS 4130461 WITH SCORE 4134975.735
AT ITER 6209 NEW BEST:: SOT 33272114 SOS 4514845 HAS SOPS 4514845 HAS SOUS 4130088 HAS SOUPS 4130088 WITH SCORE 4134602.845
AT ITER 6237 NEW BEST:: SOT 33272119 SOS 4515801 HAS SOPS 4515801 HAS SOUS 4129869 HAS SOUPS 4129869 WITH SCORE 4134384.801
AT ITER 6262 NEW BEST:: SOT 33271758 SOS 4515079 HAS SOPS 4515079 HAS SOUS 4129507 HAS SOUPS 4129507 WITH SCORE 4134022.079
AT ITER 6299 NEW BEST:: SOT 33271688 SOS 4515138 HAS SOPS 4515138 HAS SOUS 4129266 HAS SOUPS 4129266 WITH SCORE 4133781.138
AT ITER 6305 NEW BEST:: SOT 33271688 SOS 4514953 HAS SOPS 4514953 HAS SOUS 4129081 HAS SOUPS 4129081 WITH SCORE 4133595.953
AT ITER 6309 NEW BEST:: SOT 33271123 SOS 4514603 HAS SOPS 4514603 HAS SOUS 4128516 HAS SOUPS 4128516 WITH SCORE 4133030.603
AT ITER 6315 NEW BEST:: SOT 33271123 SOS 4514582 HAS SOPS 4514582 HAS SOUS 4128516 HAS SOUPS 4128516 WITH SCORE 4133030.582
AT ITER 6336 NEW BEST:: SOT 33271006 SOS 4514594 HAS SOPS 4514594 HAS SOUS 4128509 HAS SOUPS 4128509 WITH SCORE 4133023.594
AT ITER 6351 NEW BEST:: SOT 33270801 SOS 4513911 HAS SOPS 4513911 HAS SOUS 4128099 HAS SOUPS 4128099 WITH SCORE 4132612.911
AT ITER 6396 NEW BEST:: SOT 33270640 SOS 4514105 HAS SOPS 4514105 HAS SOUS 4128047 HAS SOUPS 4128047 WITH SCORE 4132561.105
AT ITER 6397 NEW BEST:: SOT 33270659 SOS 4513307 HAS SOPS 4513307 HAS SOUS 4127249 HAS SOUPS 4127249 WITH SCORE 4131762.307
AT ITER 6403 NEW BEST:: SOT 33270482 SOS 4513223 HAS SOPS 4513223 HAS SOUS 4127113 HAS SOUPS 4127113 WITH SCORE 4131626.223
AT ITER 6419 NEW BEST:: SOT 33270317 SOS 4512893 HAS SOPS 4512893 HAS SOUS 4126783 HAS SOUPS 4126783 WITH SCORE 4131295.893
AT ITER 6440 NEW BEST:: SOT 33270250 SOS 4512826 HAS SOPS 4512826 HAS SOUS 4126716 HAS SOUPS 4126716 WITH SCORE 4131228.826
AT ITER 6541 NEW BEST:: SOT 33270249 SOS 4512825 HAS SOPS 4512825 HAS SOUS 4126715 HAS SOUPS 4126715 WITH SCORE 4131227.825
AT ITER 6553 NEW BEST:: SOT 33270549 SOS 4512824 HAS SOPS 4512824 HAS SOUS 4126714 HAS SOUPS 4126714 WITH SCORE 4131226.824
AT ITER 6558 NEW BEST:: SOT 33270355 SOS 4512630 HAS SOPS 4512630 HAS SOUS 4126520 HAS SOUPS 4126520 WITH SCORE 4131032.63
AT ITER 6571 NEW BEST:: SOT 33269624 SOS 4511159 HAS SOPS 4511159 HAS SOUS 4125789 HAS SOUPS 4125789 WITH SCORE 4130300.159
AT ITER 6591 NEW BEST:: SOT 33269480 SOS 4511889 HAS SOPS 4511889 HAS SOUS 4125645 HAS SOUPS 4125645 WITH SCORE 4130156.889
AT ITER 6593 NEW BEST:: SOT 33269297 SOS 4511543 HAS SOPS 4511543 HAS SOUS 4125427 HAS SOUPS 4125427 WITH SCORE 4129938.543
AT ITER 6628 NEW BEST:: SOT 33268881 SOS 4510711 HAS SOPS 4510711 HAS SOUS 4124595 HAS SOUPS 4124595 WITH SCORE 4129105.711
AT ITER 6645 NEW BEST:: SOT 33268881 SOS 4510711 HAS SOPS 4510711 HAS SOUS 4124524 HAS SOUPS 4124524 WITH SCORE 4129034.711
AT ITER 6664 NEW BEST:: SOT 33268478 SOS 4510198 HAS SOPS 4510198 HAS SOUS 4124167 HAS SOUPS 4124167 WITH SCORE 4128677.198
AT ITER 6676 NEW BEST:: SOT 33267904 SOS 4511360 HAS SOPS 4511360 HAS SOUS 4123856 HAS SOUPS 4123856 WITH SCORE 4128367.36
AT ITER 6677 NEW BEST:: SOT 33267904 SOS 4510522 HAS SOPS 4510522 HAS SOUS 4123018 HAS SOUPS 4123018 WITH SCORE 4127528.522
AT ITER 6697 NEW BEST:: SOT 33267904 SOS 4510483 HAS SOPS 4510483 HAS SOUS 4122979 HAS SOUPS 4122979 WITH SCORE 4127489.483
AT ITER 6705 NEW BEST:: SOT 33266884 SOS 4509946 HAS SOPS 4509946 HAS SOUS 4121956 HAS SOUPS 4121956 WITH SCORE 4126465.946
AT ITER 6774 NEW BEST:: SOT 33266815 SOS 4509808 HAS SOPS 4509808 HAS SOUS 4121818 HAS SOUPS 4121818 WITH SCORE 4126327.808
AT ITER 6782 NEW BEST:: SOT 33265410 SOS 4507498 HAS SOPS 4507498 HAS SOUS 4120706 HAS SOUPS 4120706 WITH SCORE 4125213.498
AT ITER 6824 NEW BEST:: SOT 33265315 SOS 4507308 HAS SOPS 4507308 HAS SOUS 4120516 HAS SOUPS 4120516 WITH SCORE 4125023.308
AT ITER 6838 NEW BEST:: SOT 33265315 SOS 4507148 HAS SOPS 4507148 HAS SOUS 4120356 HAS SOUPS 4120356 WITH SCORE 4124863.148
AT ITER 6847 NEW BEST:: SOT 33265315 SOS 4506849 HAS SOPS 4506849 HAS SOUS 4120057 HAS SOUPS 4120057 WITH SCORE 4124563.849
AT ITER 6887 NEW BEST:: SOT 33265315 SOS 4506115 HAS SOPS 4506115 HAS SOUS 4119323 HAS SOUPS 4119323 WITH SCORE 4123829.115
AT ITER 6921 NEW BEST:: SOT 33264832 SOS 4505149 HAS SOPS 4505149 HAS SOUS 4118913 HAS SOUPS 4118913 WITH SCORE 4123418.149
AT ITER 7027 NEW BEST:: SOT 33264654 SOS 4504971 HAS SOPS 4504971 HAS SOUS 4118735 HAS SOUPS 4118735 WITH SCORE 4123239.971
AT ITER 7030 NEW BEST:: SOT 33264748 SOS 4504539 HAS SOPS 4504539 HAS SOUS 4118303 HAS SOUPS 4118303 WITH SCORE 4122807.539
AT ITER 7040 NEW BEST:: SOT 33264531 SOS 4504236 HAS SOPS 4504236 HAS SOUS 4118000 HAS SOUPS 4118000 WITH SCORE 4122504.236
AT ITER 7049 NEW BEST:: SOT 33264409 SOS 4503992 HAS SOPS 4503992 HAS SOUS 4117756 HAS SOUPS 4117756 WITH SCORE 4122259.992
AT ITER 7065 NEW BEST:: SOT 33264223 SOS 4503620 HAS SOPS 4503620 HAS SOUS 4117187 HAS SOUPS 4117187 WITH SCORE 4121690.62
AT ITER 7069 NEW BEST:: SOT 33264223 SOS 4503401 HAS SOPS 4503401 HAS SOUS 4117187 HAS SOUPS 4117187 WITH SCORE 4121690.401
AT ITER 7084 NEW BEST:: SOT 33264043 SOS 4503384 HAS SOPS 4503384 HAS SOUS 4117007 HAS SOUPS 4117007 WITH SCORE 4121510.384
AT ITER 7085 NEW BEST:: SOT 33263890 SOS 4503179 HAS SOPS 4503179 HAS SOUS 4116854 HAS SOUPS 4116854 WITH SCORE 4121357.179
AT ITER 7101 NEW BEST:: SOT 33263770 SOS 4502939 HAS SOPS 4502939 HAS SOUS 4116734 HAS SOUPS 4116734 WITH SCORE 4121236.939
AT ITER 7116 NEW BEST:: SOT 33263323 SOS 4503062 HAS SOPS 4503062 HAS SOUS 4116511 HAS SOUPS 4116511 WITH SCORE 4121014.062
AT ITER 7118 NEW BEST:: SOT 33263323 SOS 4502977 HAS SOPS 4502977 HAS SOUS 4116426 HAS SOUPS 4116426 WITH SCORE 4120928.977
AT ITER 7126 NEW BEST:: SOT 33263184 SOS 4502478 HAS SOPS 4502478 HAS SOUS 4115854 HAS SOUPS 4115854 WITH SCORE 4120356.478
AT ITER 7173 NEW BEST:: SOT 33262457 SOS 4501024 HAS SOPS 4501024 HAS SOUS 4115504 HAS SOUPS 4115504 WITH SCORE 4120005.024
AT ITER 7243 NEW BEST:: SOT 33262361 SOS 4500928 HAS SOPS 4500928 HAS SOUS 4115360 HAS SOUPS 4115360 WITH SCORE 4119860.928
AT ITER 7249 NEW BEST:: SOT 33262361 SOS 4500957 HAS SOPS 4500957 HAS SOUS 4115170 HAS SOUPS 4115170 WITH SCORE 4119670.957
AT ITER 7251 NEW BEST:: SOT 33261976 SOS 4500571 HAS SOPS 4500571 HAS SOUS 4115158 HAS SOUPS 4115158 WITH SCORE 4119658.571
AT ITER 7252 NEW BEST:: SOT 33261808 SOS 4500235 HAS SOPS 4500235 HAS SOUS 4114822 HAS SOUPS 4114822 WITH SCORE 4119322.235
AT ITER 7273 NEW BEST:: SOT 33262050 SOS 4499906 HAS SOPS 4499906 HAS SOUS 4114493 HAS SOUPS 4114493 WITH SCORE 4118992.906
AT ITER 7303 NEW BEST:: SOT 33262273 SOS 4500352 HAS SOPS 4500352 HAS SOUS 4114368 HAS SOUPS 4114368 WITH SCORE 4118868.352
AT ITER 7323 NEW BEST:: SOT 33261595 SOS 4498996 HAS SOPS 4498996 HAS SOUS 4113690 HAS SOUPS 4113690 WITH SCORE 4118188.996
AT ITER 7345 NEW BEST:: SOT 33261359 SOS 4498524 HAS SOPS 4498524 HAS SOUS 4113558 HAS SOUPS 4113558 WITH SCORE 4118056.524
AT ITER 7349 NEW BEST:: SOT 33261320 SOS 4498446 HAS SOPS 4498446 HAS SOUS 4113519 HAS SOUPS 4113519 WITH SCORE 4118017.446
AT ITER 7396 NEW BEST:: SOT 33261073 SOS 4497675 HAS SOPS 4497675 HAS SOUS 4113254 HAS SOUPS 4113254 WITH SCORE 4117751.675
AT ITER 7421 NEW BEST:: SOT 33260745 SOS 4497347 HAS SOPS 4497347 HAS SOUS 4112926 HAS SOUPS 4112926 WITH SCORE 4117423.347
AT ITER 7432 NEW BEST:: SOT 33260037 SOS 4496875 HAS SOPS 4496875 HAS SOUS 4112218 HAS SOUPS 4112218 WITH SCORE 4116714.875
AT ITER 7443 NEW BEST:: SOT 33259896 SOS 4496782 HAS SOPS 4496782 HAS SOUS 4112125 HAS SOUPS 4112125 WITH SCORE 4116621.782
AT ITER 7480 NEW BEST:: SOT 33259896 SOS 4496782 HAS SOPS 4496782 HAS SOUS 4112034 HAS SOUPS 4112034 WITH SCORE 4116530.782
AT ITER 7493 NEW BEST:: SOT 33259713 SOS 4495122 HAS SOPS 4495122 HAS SOUS 4111668 HAS SOUPS 4111668 WITH SCORE 4116163.122
AT ITER 7519 NEW BEST:: SOT 33258405 SOS 4493518 HAS SOPS 4493518 HAS SOUS 4110360 HAS SOUPS 4110360 WITH SCORE 4114853.518
AT ITER 7534 NEW BEST:: SOT 33258868 SOS 4494444 HAS SOPS 4494444 HAS SOUS 4110159 HAS SOUPS 4110159 WITH SCORE 4114653.444
AT ITER 7554 NEW BEST:: SOT 33258718 SOS 4494144 HAS SOPS 4494144 HAS SOUS 4109859 HAS SOUPS 4109859 WITH SCORE 4114353.144
AT ITER 7580 NEW BEST:: SOT 33258596 SOS 4493900 HAS SOPS 4493900 HAS SOUS 4109615 HAS SOUPS 4109615 WITH SCORE 4114108.9
AT ITER 7606 NEW BEST:: SOT 33258637 SOS 4493982 HAS SOPS 4493982 HAS SOUS 4109258 HAS SOUPS 4109258 WITH SCORE 4113751.982
AT ITER 7610 NEW BEST:: SOT 33258637 SOS 4493932 HAS SOPS 4493932 HAS SOUS 4109208 HAS SOUPS 4109208 WITH SCORE 4113701.932
AT ITER 7727 NEW BEST:: SOT 33257959 SOS 4493931 HAS SOPS 4493931 HAS SOUS 4109207 HAS SOUPS 4109207 WITH SCORE 4113700.931
AT ITER 7797 NEW BEST:: SOT 33257860 SOS 4493733 HAS SOPS 4493733 HAS SOUS 4109108 HAS SOUPS 4109108 WITH SCORE 4113601.733
AT ITER 7844 NEW BEST:: SOT 33257900 SOS 4491595 HAS SOPS 4491595 HAS SOUS 4108913 HAS SOUPS 4108913 WITH SCORE 4113404.595
AT ITER 7876 NEW BEST:: SOT 33257863 SOS 4491521 HAS SOPS 4491521 HAS SOUS 4108913 HAS SOUPS 4108913 WITH SCORE 4113404.521
AT ITER 7912 NEW BEST:: SOT 33257628 SOS 4491160 HAS SOPS 4491160 HAS SOUS 4108678 HAS SOUPS 4108678 WITH SCORE 4113169.16
AT ITER 7927 NEW BEST:: SOT 33257628 SOS 4490793 HAS SOPS 4490793 HAS SOUS 4108311 HAS SOUPS 4108311 WITH SCORE 4112801.793
AT ITER 7933 NEW BEST:: SOT 33257628 SOS 4490479 HAS SOPS 4490479 HAS SOUS 4107997 HAS SOUPS 4107997 WITH SCORE 4112487.479
AT ITER 7942 NEW BEST:: SOT 33257628 SOS 4490166 HAS SOPS 4490166 HAS SOUS 4107684 HAS SOUPS 4107684 WITH SCORE 4112174.166
AT ITER 7971 NEW BEST:: SOT 33257628 SOS 4489804 HAS SOPS 4489804 HAS SOUS 4107322 HAS SOUPS 4107322 WITH SCORE 4111811.804
AT ITER 7982 NEW BEST:: SOT 33257512 SOS 4489688 HAS SOPS 4489688 HAS SOUS 4107206 HAS SOUPS 4107206 WITH SCORE 4111695.688
AT ITER 7998 NEW BEST:: SOT 33258085 SOS 4490834 HAS SOPS 4490834 HAS SOUS 4107174 HAS SOUPS 4107174 WITH SCORE 4111664.834
AT ITER 8024 NEW BEST:: SOT 33257823 SOS 4490246 HAS SOPS 4490246 HAS SOUS 4106586 HAS SOUPS 4106586 WITH SCORE 4111076.246
AT ITER 8032 NEW BEST:: SOT 33257823 SOS 4490246 HAS SOPS 4490246 HAS SOUS 4106428 HAS SOUPS 4106428 WITH SCORE 4110918.246
AT ITER 8041 NEW BEST:: SOT 33257698 SOS 4490279 HAS SOPS 4490279 HAS SOUS 4106383 HAS SOUPS 4106383 WITH SCORE 4110873.279
AT ITER 8056 NEW BEST:: SOT 33257778 SOS 4490439 HAS SOPS 4490439 HAS SOUS 4106259 HAS SOUPS 4106259 WITH SCORE 4110749.439
AT ITER 8058 NEW BEST:: SOT 33257285 SOS 4492095 HAS SOPS 4492095 HAS SOUS 4106107 HAS SOUPS 4106107 WITH SCORE 4110599.095
AT ITER 8066 NEW BEST:: SOT 33257002 SOS 4491529 HAS SOPS 4491529 HAS SOUS 4105541 HAS SOUPS 4105541 WITH SCORE 4110032.529
AT ITER 8087 NEW BEST:: SOT 33256327 SOS 4491064 HAS SOPS 4491064 HAS SOUS 4104866 HAS SOUPS 4104866 WITH SCORE 4109357.064
AT ITER 8088 NEW BEST:: SOT 33256348 SOS 4490911 HAS SOPS 4490911 HAS SOUS 4104713 HAS SOUPS 4104713 WITH SCORE 4109203.911
AT ITER 8090 NEW BEST:: SOT 33256505 SOS 4492022 HAS SOPS 4492022 HAS SOUS 4104627 HAS SOUPS 4104627 WITH SCORE 4109119.022
AT ITER 8102 NEW BEST:: SOT 33256342 SOS 4492755 HAS SOPS 4492755 HAS SOUS 4104464 HAS SOUPS 4104464 WITH SCORE 4108956.755
AT ITER 8122 NEW BEST:: SOT 33255978 SOS 4492027 HAS SOPS 4492027 HAS SOUS 4103507 HAS SOUPS 4103507 WITH SCORE 4107999.027
AT ITER 8131 NEW BEST:: SOT 33255391 SOS 4490853 HAS SOPS 4490853 HAS SOUS 4102919 HAS SOUPS 4102919 WITH SCORE 4107409.853
AT ITER 8169 NEW BEST:: SOT 33255247 SOS 4490709 HAS SOPS 4490709 HAS SOUS 4102775 HAS SOUPS 4102775 WITH SCORE 4107265.709
AT ITER 8192 NEW BEST:: SOT 33255285 SOS 4490346 HAS SOPS 4490346 HAS SOUS 4102412 HAS SOUPS 4102412 WITH SCORE 4106902.346
AT ITER 8272 NEW BEST:: SOT 33255373 SOS 4490522 HAS SOPS 4490522 HAS SOUS 4102055 HAS SOUPS 4102055 WITH SCORE 4106545.522
AT ITER 8345 NEW BEST:: SOT 33255373 SOS 4490413 HAS SOPS 4490413 HAS SOUS 4101946 HAS SOUPS 4101946 WITH SCORE 4106436.413
AT ITER 8352 NEW BEST:: SOT 33255373 SOS 4490413 HAS SOPS 4490413 HAS SOUS 4101944 HAS SOUPS 4101944 WITH SCORE 4106434.413
AT ITER 8376 NEW BEST:: SOT 33255301 SOS 4490269 HAS SOPS 4490269 HAS SOUS 4101800 HAS SOUPS 4101800 WITH SCORE 4106290.269
AT ITER 8409 NEW BEST:: SOT 33255267 SOS 4490235 HAS SOPS 4490235 HAS SOUS 4101766 HAS SOUPS 4101766 WITH SCORE 4106256.235
AT ITER 8420 NEW BEST:: SOT 33255553 SOS 4490209 HAS SOPS 4490209 HAS SOUS 4101740 HAS SOUPS 4101740 WITH SCORE 4106230.209
AT ITER 8456 NEW BEST:: SOT 33255553 SOS 4489896 HAS SOPS 4489896 HAS SOUS 4101427 HAS SOUPS 4101427 WITH SCORE 4105916.896
AT ITER 8458 NEW BEST:: SOT 33255008 SOS 4488806 HAS SOPS 4488806 HAS SOUS 4099777 HAS SOUPS 4099777 WITH SCORE 4104265.806
AT ITER 8462 NEW BEST:: SOT 33254847 SOS 4488484 HAS SOPS 4488484 HAS SOUS 4099455 HAS SOUPS 4099455 WITH SCORE 4103943.484
AT ITER 8475 NEW BEST:: SOT 33254580 SOS 4487950 HAS SOPS 4487950 HAS SOUS 4099324 HAS SOUPS 4099324 WITH SCORE 4103811.95
AT ITER 8489 NEW BEST:: SOT 33254157 SOS 4487266 HAS SOPS 4487266 HAS SOUS 4098640 HAS SOUPS 4098640 WITH SCORE 4103127.266
AT ITER 8511 NEW BEST:: SOT 33253863 SOS 4487107 HAS SOPS 4487107 HAS SOUS 4098414 HAS SOUPS 4098414 WITH SCORE 4102901.107
AT ITER 8585 NEW BEST:: SOT 33253158 SOS 4486432 HAS SOPS 4486432 HAS SOUS 4097709 HAS SOUPS 4097709 WITH SCORE 4102195.432
AT ITER 8604 NEW BEST:: SOT 33253041 SOS 4486198 HAS SOPS 4486198 HAS SOUS 4097592 HAS SOUPS 4097592 WITH SCORE 4102078.198
AT ITER 8624 NEW BEST:: SOT 33252502 SOS 4484953 HAS SOPS 4484953 HAS SOUS 4097425 HAS SOUPS 4097425 WITH SCORE 4101909.953
AT ITER 8627 NEW BEST:: SOT 33251980 SOS 4483304 HAS SOPS 4483304 HAS SOUS 4097058 HAS SOUPS 4097058 WITH SCORE 4101541.304
AT ITER 8696 NEW BEST:: SOT 33251979 SOS 4483303 HAS SOPS 4483303 HAS SOUS 4097057 HAS SOUPS 4097057 WITH SCORE 4101540.303
AT ITER 8710 NEW BEST:: SOT 33251640 SOS 4482820 HAS SOPS 4482820 HAS SOUS 4096647 HAS SOUPS 4096647 WITH SCORE 4101129.82
AT ITER 8732 NEW BEST:: SOT 33251373 SOS 4482645 HAS SOPS 4482645 HAS SOUS 4096472 HAS SOUPS 4096472 WITH SCORE 4100954.645
AT ITER 8780 NEW BEST:: SOT 33251259 SOS 4482531 HAS SOPS 4482531 HAS SOUS 4096357 HAS SOUPS 4096357 WITH SCORE 4100839.531
AT ITER 8809 NEW BEST:: SOT 33249055 SOS 4483277 HAS SOPS 4483277 HAS SOUS 4095933 HAS SOUPS 4095933 WITH SCORE 4100416.277
AT ITER 8814 NEW BEST:: SOT 33248876 SOS 4483463 HAS SOPS 4483463 HAS SOUS 4095847 HAS SOUPS 4095847 WITH SCORE 4100330.463
AT ITER 8866 NEW BEST:: SOT 33248423 SOS 4484067 HAS SOPS 4484067 HAS SOUS 4095394 HAS SOUPS 4095394 WITH SCORE 4099878.067
AT ITER 8895 NEW BEST:: SOT 33248423 SOS 4483754 HAS SOPS 4483754 HAS SOUS 4095081 HAS SOUPS 4095081 WITH SCORE 4099564.754
AT ITER 8940 NEW BEST:: SOT 33248423 SOS 4483753 HAS SOPS 4483753 HAS SOUS 4095080 HAS SOUPS 4095080 WITH SCORE 4099563.753
AT ITER 8984 NEW BEST:: SOT 33247987 SOS 4482881 HAS SOPS 4482881 HAS SOUS 4094208 HAS SOUPS 4094208 WITH SCORE 4098690.881
AT ITER 9011 NEW BEST:: SOT 33247469 SOS 4481845 HAS SOPS 4481845 HAS SOUS 4093290 HAS SOUPS 4093290 WITH SCORE 4097771.845
AT ITER 9017 NEW BEST:: SOT 33247207 SOS 4481321 HAS SOPS 4481321 HAS SOUS 4092766 HAS SOUPS 4092766 WITH SCORE 4097247.321
AT ITER 9020 NEW BEST:: SOT 33246799 SOS 4480505 HAS SOPS 4480505 HAS SOUS 4091950 HAS SOUPS 4091950 WITH SCORE 4096430.505
AT ITER 9034 NEW BEST:: SOT 33246799 SOS 4480305 HAS SOPS 4480305 HAS SOUS 4091750 HAS SOUPS 4091750 WITH SCORE 4096230.305
AT ITER 9039 NEW BEST:: SOT 33246985 SOS 4480244 HAS SOPS 4480244 HAS SOUS 4091406 HAS SOUPS 4091406 WITH SCORE 4095886.244
AT ITER 9044 NEW BEST:: SOT 33246985 SOS 4480244 HAS SOPS 4480244 HAS SOUS 4090751 HAS SOUPS 4090751 WITH SCORE 4095231.244
AT ITER 9115 NEW BEST:: SOT 33246840 SOS 4479954 HAS SOPS 4479954 HAS SOUS 4090723 HAS SOUPS 4090723 WITH SCORE 4095202.954
AT ITER 9124 NEW BEST:: SOT 33246754 SOS 4479943 HAS SOPS 4479943 HAS SOUS 4090650 HAS SOUPS 4090650 WITH SCORE 4095129.943
AT ITER 9138 NEW BEST:: SOT 33246566 SOS 4479567 HAS SOPS 4479567 HAS SOUS 4090347 HAS SOUPS 4090347 WITH SCORE 4094826.567
AT ITER 9146 NEW BEST:: SOT 33246566 SOS 4479305 HAS SOPS 4479305 HAS SOUS 4090216 HAS SOUPS 4090216 WITH SCORE 4094695.305
AT ITER 9149 NEW BEST:: SOT 33246257 SOS 4479120 HAS SOPS 4479120 HAS SOUS 4090031 HAS SOUPS 4090031 WITH SCORE 4094510.12
AT ITER 9164 NEW BEST:: SOT 33246257 SOS 4479120 HAS SOPS 4479120 HAS SOUS 4089653 HAS SOUPS 4089653 WITH SCORE 4094132.12
AT ITER 9171 NEW BEST:: SOT 33246053 SOS 4479005 HAS SOPS 4479005 HAS SOUS 4089538 HAS SOUPS 4089538 WITH SCORE 4094017.005
AT ITER 9189 NEW BEST:: SOT 33245697 SOS 4478293 HAS SOPS 4478293 HAS SOUS 4088638 HAS SOUPS 4088638 WITH SCORE 4093116.293
AT ITER 9208 NEW BEST:: SOT 33245718 SOS 4478205 HAS SOPS 4478205 HAS SOUS 4088550 HAS SOUPS 4088550 WITH SCORE 4093028.205
AT ITER 9238 NEW BEST:: SOT 33245718 SOS 4477901 HAS SOPS 4477901 HAS SOUS 4088246 HAS SOUPS 4088246 WITH SCORE 4092723.901
AT ITER 9247 NEW BEST:: SOT 33245652 SOS 4477769 HAS SOPS 4477769 HAS SOUS 4088176 HAS SOUPS 4088176 WITH SCORE 4092653.769
AT ITER 9271 NEW BEST:: SOT 33245962 SOS 4477847 HAS SOPS 4477847 HAS SOUS 4088022 HAS SOUPS 4088022 WITH SCORE 4092499.847
AT ITER 9306 NEW BEST:: SOT 33246579 SOS 4479081 HAS SOPS 4479081 HAS SOUS 4087784 HAS SOUPS 4087784 WITH SCORE 4092263.081
AT ITER 9360 NEW BEST:: SOT 33246579 SOS 4479081 HAS SOPS 4479081 HAS SOUS 4087783 HAS SOUPS 4087783 WITH SCORE 4092262.081
AT ITER 9376 NEW BEST:: SOT 33246578 SOS 4479080 HAS SOPS 4479080 HAS SOUS 4087782 HAS SOUPS 4087782 WITH SCORE 4092261.08
AT ITER 9445 NEW BEST:: SOT 33246578 SOS 4479080 HAS SOPS 4479080 HAS SOUS 4087724 HAS SOUPS 4087724 WITH SCORE 4092203.08
AT ITER 9468 NEW BEST:: SOT 33246320 SOS 4478670 HAS SOPS 4478670 HAS SOUS 4087314 HAS SOUPS 4087314 WITH SCORE 4091792.67
AT ITER 9477 NEW BEST:: SOT 33245702 SOS 4476824 HAS SOPS 4476824 HAS SOUS 4086954 HAS SOUPS 4086954 WITH SCORE 4091430.824
AT ITER 9489 NEW BEST:: SOT 33245245 SOS 4475240 HAS SOPS 4475240 HAS SOUS 4086652 HAS SOUPS 4086652 WITH SCORE 4091127.24
AT ITER 9547 NEW BEST:: SOT 33245253 SOS 4475168 HAS SOPS 4475168 HAS SOUS 4086580 HAS SOUPS 4086580 WITH SCORE 4091055.168
AT ITER 9589 NEW BEST:: SOT 33245145 SOS 4474942 HAS SOPS 4474942 HAS SOUS 4086570 HAS SOUPS 4086570 WITH SCORE 4091044.942
AT ITER 9607 NEW BEST:: SOT 33244656 SOS 4474806 HAS SOPS 4474806 HAS SOUS 4086081 HAS SOUPS 4086081 WITH SCORE 4090555.806
AT ITER 9629 NEW BEST:: SOT 33244179 SOS 4473852 HAS SOPS 4473852 HAS SOUS 4084650 HAS SOUPS 4084650 WITH SCORE 4089123.852
AT ITER 9635 NEW BEST:: SOT 33244179 SOS 4473343 HAS SOPS 4473343 HAS SOUS 4084650 HAS SOUPS 4084650 WITH SCORE 4089123.343
AT ITER 9645 NEW BEST:: SOT 33244179 SOS 4472915 HAS SOPS 4472915 HAS SOUS 4084650 HAS SOUPS 4084650 WITH SCORE 4089122.915
AT ITER 9653 NEW BEST:: SOT 33243667 SOS 4472511 HAS SOPS 4472511 HAS SOUS 4084246 HAS SOUPS 4084246 WITH SCORE 4088718.511
AT ITER 9668 NEW BEST:: SOT 33243694 SOS 4472487 HAS SOPS 4472487 HAS SOUS 4083967 HAS SOUPS 4083967 WITH SCORE 4088439.487
AT ITER 9669 NEW BEST:: SOT 33243640 SOS 4472433 HAS SOPS 4472433 HAS SOUS 4083913 HAS SOUPS 4083913 WITH SCORE 4088385.433
AT ITER 9714 NEW BEST:: SOT 33242954 SOS 4474091 HAS SOPS 4474091 HAS SOUS 4083762 HAS SOUPS 4083762 WITH SCORE 4088236.091
AT ITER 9728 NEW BEST:: SOT 33242954 SOS 4473907 HAS SOPS 4473907 HAS SOUS 4083762 HAS SOUPS 4083762 WITH SCORE 4088235.907
AT ITER 9730 NEW BEST:: SOT 33243345 SOS 4474689 HAS SOPS 4474689 HAS SOUS 4083302 HAS SOUPS 4083302 WITH SCORE 4087776.689
AT ITER 9806 NEW BEST:: SOT 33243510 SOS 4474236 HAS SOPS 4474236 HAS SOUS 4082849 HAS SOUPS 4082849 WITH SCORE 4087323.236
AT ITER 9835 NEW BEST:: SOT 33243510 SOS 4473607 HAS SOPS 4473607 HAS SOUS 4082220 HAS SOUPS 4082220 WITH SCORE 4086693.607
AT ITER 9861 NEW BEST:: SOT 33243628 SOS 4473843 HAS SOPS 4473843 HAS SOUS 4082030 HAS SOUPS 4082030 WITH SCORE 4086503.843
AT ITER 9867 NEW BEST:: SOT 33243666 SOS 4473183 HAS SOPS 4473183 HAS SOUS 4081543 HAS SOUPS 4081543 WITH SCORE 4086016.183
AT ITER 9886 NEW BEST:: SOT 33243220 SOS 4472737 HAS SOPS 4472737 HAS SOUS 4081097 HAS SOUPS 4081097 WITH SCORE 4085569.737
AT ITER 9934 NEW BEST:: SOT 33243102 SOS 4472501 HAS SOPS 4472501 HAS SOUS 4080816 HAS SOUPS 4080816 WITH SCORE 4085288.501
AT ITER 9948 NEW BEST:: SOT 33243102 SOS 4471659 HAS SOPS 4471659 HAS SOUS 4079974 HAS SOUPS 4079974 WITH SCORE 4084445.659
AT ITER 9952 NEW BEST:: SOT 33243102 SOS 4471621 HAS SOPS 4471621 HAS SOUS 4079974 HAS SOUPS 4079974 WITH SCORE 4084445.621
AT ITER 9969 NEW BEST:: SOT 33242224 SOS 4470775 HAS SOPS 4470775 HAS SOUS 4079096 HAS SOUPS 4079096 WITH SCORE 4083566.775
AT ITER 9979 NEW BEST:: SOT 33241968 SOS 4470603 HAS SOPS 4470603 HAS SOUS 4078677 HAS SOUPS 4078677 WITH SCORE 4083147.603
AT ITER 9980 NEW BEST:: SOT 33241968 SOS 4470602 HAS SOPS 4470602 HAS SOUS 4078676 HAS SOUPS 4078676 WITH SCORE 4083146.602
AT ITER 9989 NEW BEST:: SOT 33242394 SOS 4470329 HAS SOPS 4470329 HAS SOUS 4078403 HAS SOUPS 4078403 WITH SCORE 4082873.329
AT ITER 9998 NEW BEST:: SOT 33242394 SOS 4470015 HAS SOPS 4470015 HAS SOUS 4078089 HAS SOUPS 4078089 WITH SCORE 4082559.015
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13773328 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150516 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
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="AutoFlight-PT-96b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-96b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813591000528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;