Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688300512.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:42 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:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 16:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 16:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K 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 1678469693116

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=BusinessProcesses-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 08
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: 393 places, 344 transitions, 911 arcs.
AT ITER 0 NEW BEST:: SOT 85386 SOS 32582 HAS SOPS 32582 HAS SOUS 30991 HAS SOUPS 30991 WITH SCORE 31023.582
AT ITER 4 NEW BEST:: SOT 85349 SOS 32545 HAS SOPS 32545 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31022.545
AT ITER 10 NEW BEST:: SOT 85395 SOS 32536 HAS SOPS 32536 HAS SOUS 30979 HAS SOUPS 30979 WITH SCORE 31011.536
AT ITER 26 NEW BEST:: SOT 85308 SOS 32449 HAS SOPS 32449 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30924.449
AT ITER 35 NEW BEST:: SOT 85308 SOS 32371 HAS SOPS 32371 HAS SOUS 30814 HAS SOUPS 30814 WITH SCORE 30846.371
AT ITER 37 NEW BEST:: SOT 85308 SOS 32371 HAS SOPS 32371 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30843.371
AT ITER 41 NEW BEST:: SOT 85298 SOS 32361 HAS SOPS 32361 HAS SOUS 30801 HAS SOUPS 30801 WITH SCORE 30833.361
AT ITER 57 NEW BEST:: SOT 85302 SOS 32355 HAS SOPS 32355 HAS SOUS 30691 HAS SOUPS 30691 WITH SCORE 30723.355
AT ITER 62 NEW BEST:: SOT 85299 SOS 32346 HAS SOPS 32346 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30720.346
AT ITER 64 NEW BEST:: SOT 85199 SOS 32150 HAS SOPS 32150 HAS SOUS 30510 HAS SOUPS 30510 WITH SCORE 30542.15
AT ITER 69 NEW BEST:: SOT 85199 SOS 32101 HAS SOPS 32101 HAS SOUS 30461 HAS SOUPS 30461 WITH SCORE 30493.101
AT ITER 71 NEW BEST:: SOT 85199 SOS 32041 HAS SOPS 32041 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30433.041
AT ITER 75 NEW BEST:: SOT 84977 SOS 32027 HAS SOPS 32027 HAS SOUS 30287 HAS SOUPS 30287 WITH SCORE 30319.027
AT ITER 81 NEW BEST:: SOT 84907 SOS 31958 HAS SOPS 31958 HAS SOUS 30218 HAS SOUPS 30218 WITH SCORE 30249.958
AT ITER 83 NEW BEST:: SOT 84906 SOS 31905 HAS SOPS 31905 HAS SOUS 30165 HAS SOUPS 30165 WITH SCORE 30196.905
AT ITER 86 NEW BEST:: SOT 84906 SOS 31841 HAS SOPS 31841 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30172.841
AT ITER 88 NEW BEST:: SOT 84845 SOS 31780 HAS SOPS 31780 HAS SOUS 30080 HAS SOUPS 30080 WITH SCORE 30111.78
AT ITER 93 NEW BEST:: SOT 84845 SOS 31728 HAS SOPS 31728 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30059.728
AT ITER 97 NEW BEST:: SOT 84839 SOS 31722 HAS SOPS 31722 HAS SOUS 30022 HAS SOUPS 30022 WITH SCORE 30053.722
AT ITER 98 NEW BEST:: SOT 84886 SOS 31571 HAS SOPS 31571 HAS SOUS 29871 HAS SOUPS 29871 WITH SCORE 29902.571
AT ITER 132 NEW BEST:: SOT 84847 SOS 31532 HAS SOPS 31532 HAS SOUS 29832 HAS SOUPS 29832 WITH SCORE 29863.532
AT ITER 133 NEW BEST:: SOT 84847 SOS 31486 HAS SOPS 31486 HAS SOUS 29786 HAS SOUPS 29786 WITH SCORE 29817.486
AT ITER 139 NEW BEST:: SOT 84847 SOS 31347 HAS SOPS 31347 HAS SOUS 29647 HAS SOUPS 29647 WITH SCORE 29678.347
AT ITER 144 NEW BEST:: SOT 84830 SOS 31387 HAS SOPS 31387 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29640.387
AT ITER 146 NEW BEST:: SOT 84796 SOS 31320 HAS SOPS 31320 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29573.32
AT ITER 174 NEW BEST:: SOT 84795 SOS 31318 HAS SOPS 31318 HAS SOUS 29540 HAS SOUPS 29540 WITH SCORE 29571.318
AT ITER 177 NEW BEST:: SOT 84793 SOS 31314 HAS SOPS 31314 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29569.314
AT ITER 205 NEW BEST:: SOT 84724 SOS 31263 HAS SOPS 31263 HAS SOUS 29487 HAS SOUPS 29487 WITH SCORE 29518.263
AT ITER 206 NEW BEST:: SOT 84701 SOS 31186 HAS SOPS 31186 HAS SOUS 29473 HAS SOUPS 29473 WITH SCORE 29504.186
AT ITER 221 NEW BEST:: SOT 84589 SOS 31131 HAS SOPS 31131 HAS SOUS 29418 HAS SOUPS 29418 WITH SCORE 29449.131
AT ITER 245 NEW BEST:: SOT 84589 SOS 31125 HAS SOPS 31125 HAS SOUS 29415 HAS SOUPS 29415 WITH SCORE 29446.125
AT ITER 256 NEW BEST:: SOT 84563 SOS 31087 HAS SOPS 31087 HAS SOUS 29398 HAS SOUPS 29398 WITH SCORE 29429.087
AT ITER 264 NEW BEST:: SOT 84292 SOS 30847 HAS SOPS 30847 HAS SOUS 29158 HAS SOUPS 29158 WITH SCORE 29188.847
AT ITER 267 NEW BEST:: SOT 84292 SOS 30827 HAS SOPS 30827 HAS SOUS 29138 HAS SOUPS 29138 WITH SCORE 29168.827
AT ITER 269 NEW BEST:: SOT 84292 SOS 30692 HAS SOPS 30692 HAS SOUS 29019 HAS SOUPS 29019 WITH SCORE 29049.692
AT ITER 273 NEW BEST:: SOT 84292 SOS 30667 HAS SOPS 30667 HAS SOUS 28994 HAS SOUPS 28994 WITH SCORE 29024.667
AT ITER 276 NEW BEST:: SOT 84292 SOS 30656 HAS SOPS 30656 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29013.656
AT ITER 284 NEW BEST:: SOT 84292 SOS 30656 HAS SOPS 30656 HAS SOUS 28964 HAS SOUPS 28964 WITH SCORE 28994.656
AT ITER 286 NEW BEST:: SOT 84292 SOS 30654 HAS SOPS 30654 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 28992.654
AT ITER 292 NEW BEST:: SOT 84223 SOS 30524 HAS SOPS 30524 HAS SOUS 28832 HAS SOUPS 28832 WITH SCORE 28862.524
AT ITER 302 NEW BEST:: SOT 84139 SOS 30353 HAS SOPS 30353 HAS SOUS 28661 HAS SOUPS 28661 WITH SCORE 28691.353
AT ITER 307 NEW BEST:: SOT 84072 SOS 30219 HAS SOPS 30219 HAS SOUS 28527 HAS SOUPS 28527 WITH SCORE 28557.219
AT ITER 312 NEW BEST:: SOT 83933 SOS 30116 HAS SOPS 30116 HAS SOUS 28424 HAS SOUPS 28424 WITH SCORE 28454.116
AT ITER 313 NEW BEST:: SOT 83933 SOS 30076 HAS SOPS 30076 HAS SOUS 28403 HAS SOUPS 28403 WITH SCORE 28433.076
AT ITER 315 NEW BEST:: SOT 83907 SOS 30050 HAS SOPS 30050 HAS SOUS 28377 HAS SOUPS 28377 WITH SCORE 28407.05
AT ITER 317 NEW BEST:: SOT 83907 SOS 30028 HAS SOPS 30028 HAS SOUS 28337 HAS SOUPS 28337 WITH SCORE 28367.028
AT ITER 319 NEW BEST:: SOT 83821 SOS 29872 HAS SOPS 29872 HAS SOUS 28181 HAS SOUPS 28181 WITH SCORE 28210.872
AT ITER 331 NEW BEST:: SOT 83781 SOS 29832 HAS SOPS 29832 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28170.832
AT ITER 335 NEW BEST:: SOT 83781 SOS 29812 HAS SOPS 29812 HAS SOUS 28121 HAS SOUPS 28121 WITH SCORE 28150.812
AT ITER 340 NEW BEST:: SOT 83781 SOS 29578 HAS SOPS 29578 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28033.578
AT ITER 344 NEW BEST:: SOT 83811 SOS 29499 HAS SOPS 29499 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27954.499
AT ITER 352 NEW BEST:: SOT 83811 SOS 29327 HAS SOPS 29327 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27782.327
AT ITER 360 NEW BEST:: SOT 83811 SOS 29317 HAS SOPS 29317 HAS SOUS 27743 HAS SOUPS 27743 WITH SCORE 27772.317
AT ITER 371 NEW BEST:: SOT 83796 SOS 29287 HAS SOPS 29287 HAS SOUS 27713 HAS SOUPS 27713 WITH SCORE 27742.287
AT ITER 386 NEW BEST:: SOT 83796 SOS 29262 HAS SOPS 29262 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27717.262
AT ITER 388 NEW BEST:: SOT 83688 SOS 29100 HAS SOPS 29100 HAS SOUS 27544 HAS SOUPS 27544 WITH SCORE 27573.1
AT ITER 392 NEW BEST:: SOT 83639 SOS 29072 HAS SOPS 29072 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27538.072
AT ITER 412 NEW BEST:: SOT 83639 SOS 29072 HAS SOPS 29072 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27534.072
AT ITER 416 NEW BEST:: SOT 80730 SOS 26773 HAS SOPS 26773 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24801.773
AT ITER 417 NEW BEST:: SOT 80647 SOS 26647 HAS SOPS 26647 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24736.647
AT ITER 429 NEW BEST:: SOT 80698 SOS 26541 HAS SOPS 26541 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24654.541
AT ITER 431 NEW BEST:: SOT 80678 SOS 26521 HAS SOPS 26521 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24634.521
AT ITER 441 NEW BEST:: SOT 80636 SOS 26350 HAS SOPS 26350 HAS SOUS 24437 HAS SOUPS 24437 WITH SCORE 24463.35
AT ITER 446 NEW BEST:: SOT 80557 SOS 26263 HAS SOPS 26263 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24384.263
AT ITER 447 NEW BEST:: SOT 80465 SOS 26069 HAS SOPS 26069 HAS SOUS 24164 HAS SOUPS 24164 WITH SCORE 24190.069
AT ITER 460 NEW BEST:: SOT 80467 SOS 26073 HAS SOPS 26073 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24185.073
AT ITER 464 NEW BEST:: SOT 80455 SOS 26061 HAS SOPS 26061 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24173.061
AT ITER 472 NEW BEST:: SOT 80409 SOS 26047 HAS SOPS 26047 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24159.047
AT ITER 473 NEW BEST:: SOT 80395 SOS 26033 HAS SOPS 26033 HAS SOUS 24119 HAS SOUPS 24119 WITH SCORE 24145.033
AT ITER 474 NEW BEST:: SOT 80393 SOS 26030 HAS SOPS 26030 HAS SOUS 24116 HAS SOUPS 24116 WITH SCORE 24142.03
AT ITER 476 NEW BEST:: SOT 80284 SOS 25890 HAS SOPS 25890 HAS SOUS 23976 HAS SOUPS 23976 WITH SCORE 24001.89
AT ITER 488 NEW BEST:: SOT 80222 SOS 25774 HAS SOPS 25774 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23885.774
AT ITER 491 NEW BEST:: SOT 79567 SOS 27779 HAS SOPS 27779 HAS SOUS 23296 HAS SOUPS 23296 WITH SCORE 23323.779
AT ITER 494 NEW BEST:: SOT 79565 SOS 27775 HAS SOPS 27775 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23319.775
AT ITER 499 NEW BEST:: SOT 79528 SOS 27713 HAS SOPS 27713 HAS SOUS 23230 HAS SOUPS 23230 WITH SCORE 23257.713
AT ITER 500 NEW BEST:: SOT 79569 SOS 27700 HAS SOPS 27700 HAS SOUS 23217 HAS SOUPS 23217 WITH SCORE 23244.7
AT ITER 508 NEW BEST:: SOT 79484 SOS 27530 HAS SOPS 27530 HAS SOUS 23132 HAS SOUPS 23132 WITH SCORE 23159.53
AT ITER 513 NEW BEST:: SOT 79369 SOS 27376 HAS SOPS 27376 HAS SOUS 22982 HAS SOUPS 22982 WITH SCORE 23009.376
AT ITER 535 NEW BEST:: SOT 79367 SOS 27319 HAS SOPS 27319 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23005.319
AT ITER 555 NEW BEST:: SOT 79384 SOS 27283 HAS SOPS 27283 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22969.283
AT ITER 603 NEW BEST:: SOT 79359 SOS 27233 HAS SOPS 27233 HAS SOUS 22892 HAS SOUPS 22892 WITH SCORE 22919.233
AT ITER 623 NEW BEST:: SOT 79260 SOS 27034 HAS SOPS 27034 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22796.034
AT ITER 626 NEW BEST:: SOT 79185 SOS 26837 HAS SOPS 26837 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22719.837
AT ITER 636 NEW BEST:: SOT 79182 SOS 26833 HAS SOPS 26833 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22717.833
AT ITER 647 NEW BEST:: SOT 79166 SOS 26817 HAS SOPS 26817 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22701.817
AT ITER 651 NEW BEST:: SOT 79092 SOS 26692 HAS SOPS 26692 HAS SOUS 22626 HAS SOUPS 22626 WITH SCORE 22652.692
AT ITER 658 NEW BEST:: SOT 79063 SOS 26634 HAS SOPS 26634 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22594.634
AT ITER 663 NEW BEST:: SOT 79050 SOS 26608 HAS SOPS 26608 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22568.608
AT ITER 665 NEW BEST:: SOT 79023 SOS 26583 HAS SOPS 26583 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22543.583
AT ITER 668 NEW BEST:: SOT 78940 SOS 26144 HAS SOPS 26144 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22373.144
AT ITER 673 NEW BEST:: SOT 78907 SOS 26111 HAS SOPS 26111 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22373.111
AT ITER 677 NEW BEST:: SOT 79120 SOS 26231 HAS SOPS 26231 HAS SOUS 22328 HAS SOUPS 22328 WITH SCORE 22354.231
AT ITER 696 NEW BEST:: SOT 79076 SOS 26187 HAS SOPS 26187 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22310.187
AT ITER 698 NEW BEST:: SOT 79128 SOS 26095 HAS SOPS 26095 HAS SOUS 22245 HAS SOUPS 22245 WITH SCORE 22271.095
AT ITER 705 NEW BEST:: SOT 78943 SOS 25836 HAS SOPS 25836 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22093.836
AT ITER 718 NEW BEST:: SOT 78941 SOS 25833 HAS SOPS 25833 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22090.833
AT ITER 721 NEW BEST:: SOT 78932 SOS 25832 HAS SOPS 25832 HAS SOUS 22064 HAS SOUPS 22064 WITH SCORE 22089.832
AT ITER 730 NEW BEST:: SOT 78805 SOS 25629 HAS SOPS 25629 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21886.629
AT ITER 741 NEW BEST:: SOT 78816 SOS 25650 HAS SOPS 25650 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21872.65
AT ITER 770 NEW BEST:: SOT 78812 SOS 25642 HAS SOPS 25642 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21864.642
AT ITER 777 NEW BEST:: SOT 78812 SOS 25604 HAS SOPS 25604 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21788.604
AT ITER 778 NEW BEST:: SOT 78811 SOS 25600 HAS SOPS 25600 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21786.6
AT ITER 780 NEW BEST:: SOT 78731 SOS 25507 HAS SOPS 25507 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21757.507
AT ITER 799 NEW BEST:: SOT 78731 SOS 25507 HAS SOPS 25507 HAS SOUS 21730 HAS SOUPS 21730 WITH SCORE 21755.507
AT ITER 820 NEW BEST:: SOT 78698 SOS 25440 HAS SOPS 25440 HAS SOUS 21624 HAS SOUPS 21624 WITH SCORE 21649.44
AT ITER 823 NEW BEST:: SOT 78523 SOS 25309 HAS SOPS 25309 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21489.309
AT ITER 827 NEW BEST:: SOT 78521 SOS 25307 HAS SOPS 25307 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21487.307
AT ITER 829 NEW BEST:: SOT 78488 SOS 25254 HAS SOPS 25254 HAS SOUS 21409 HAS SOUPS 21409 WITH SCORE 21434.254
AT ITER 846 NEW BEST:: SOT 78456 SOS 25190 HAS SOPS 25190 HAS SOUS 21345 HAS SOUPS 21345 WITH SCORE 21370.19
AT ITER 863 NEW BEST:: SOT 78435 SOS 25148 HAS SOPS 25148 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21328.148
AT ITER 865 NEW BEST:: SOT 78432 SOS 25146 HAS SOPS 25146 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21326.146
AT ITER 867 NEW BEST:: SOT 78379 SOS 25010 HAS SOPS 25010 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21190.01
AT ITER 886 NEW BEST:: SOT 78361 SOS 24942 HAS SOPS 24942 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21078.942
AT ITER 888 NEW BEST:: SOT 78285 SOS 24840 HAS SOPS 24840 HAS SOUS 20978 HAS SOUPS 20978 WITH SCORE 21002.84
AT ITER 895 NEW BEST:: SOT 78267 SOS 24804 HAS SOPS 24804 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20966.804
AT ITER 899 NEW BEST:: SOT 78190 SOS 24697 HAS SOPS 24697 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20859.697
AT ITER 915 NEW BEST:: SOT 78188 SOS 24693 HAS SOPS 24693 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20855.693
AT ITER 921 NEW BEST:: SOT 78278 SOS 24783 HAS SOPS 24783 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20840.783
AT ITER 932 NEW BEST:: SOT 78261 SOS 24793 HAS SOPS 24793 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20806.793
AT ITER 933 NEW BEST:: SOT 78261 SOS 24769 HAS SOPS 24769 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20782.769
AT ITER 947 NEW BEST:: SOT 78253 SOS 24760 HAS SOPS 24760 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20780.76
AT ITER 948 NEW BEST:: SOT 78253 SOS 24753 HAS SOPS 24753 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20773.753
AT ITER 960 NEW BEST:: SOT 78242 SOS 24731 HAS SOPS 24731 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20751.731
AT ITER 968 NEW BEST:: SOT 78222 SOS 24711 HAS SOPS 24711 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20751.711
AT ITER 971 NEW BEST:: SOT 78178 SOS 24623 HAS SOPS 24623 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20707.623
AT ITER 974 NEW BEST:: SOT 78152 SOS 24494 HAS SOPS 24494 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20578.494
AT ITER 980 NEW BEST:: SOT 78152 SOS 24459 HAS SOPS 24459 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20578.459
AT ITER 984 NEW BEST:: SOT 78175 SOS 24505 HAS SOPS 24505 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20554.505
AT ITER 988 NEW BEST:: SOT 78147 SOS 24380 HAS SOPS 24380 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20454.38
AT ITER 1004 NEW BEST:: SOT 78127 SOS 24340 HAS SOPS 24340 HAS SOUS 20390 HAS SOUPS 20390 WITH SCORE 20414.34
AT ITER 1006 NEW BEST:: SOT 78127 SOS 24323 HAS SOPS 24323 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20383.323
AT ITER 1007 NEW BEST:: SOT 78216 SOS 24366 HAS SOPS 24366 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20289.366
AT ITER 1023 NEW BEST:: SOT 78197 SOS 24309 HAS SOPS 24309 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20270.309
AT ITER 1025 NEW BEST:: SOT 78199 SOS 24250 HAS SOPS 24250 HAS SOUS 20223 HAS SOUPS 20223 WITH SCORE 20247.25
AT ITER 1027 NEW BEST:: SOT 78188 SOS 24228 HAS SOPS 24228 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20236.228
AT ITER 1034 NEW BEST:: SOT 78185 SOS 24225 HAS SOPS 24225 HAS SOUS 20209 HAS SOUPS 20209 WITH SCORE 20233.225
AT ITER 1042 NEW BEST:: SOT 78185 SOS 24225 HAS SOPS 24225 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20209.225
AT ITER 1045 NEW BEST:: SOT 78201 SOS 24215 HAS SOPS 24215 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20199.215
AT ITER 1051 NEW BEST:: SOT 78200 SOS 24213 HAS SOPS 24213 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20197.213
AT ITER 1101 NEW BEST:: SOT 78166 SOS 24182 HAS SOPS 24182 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20173.182
AT ITER 1119 NEW BEST:: SOT 78192 SOS 24181 HAS SOPS 24181 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20172.181
AT ITER 1139 NEW BEST:: SOT 78180 SOS 24169 HAS SOPS 24169 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20160.169
AT ITER 1153 NEW BEST:: SOT 78180 SOS 24169 HAS SOPS 24169 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20159.169
AT ITER 1156 NEW BEST:: SOT 78180 SOS 24157 HAS SOPS 24157 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20147.157
AT ITER 1158 NEW BEST:: SOT 78180 SOS 24118 HAS SOPS 24118 HAS SOUS 20084 HAS SOUPS 20084 WITH SCORE 20108.118
AT ITER 1159 NEW BEST:: SOT 78038 SOS 23892 HAS SOPS 23892 HAS SOUS 19858 HAS SOUPS 19858 WITH SCORE 19881.892
AT ITER 1171 NEW BEST:: SOT 78021 SOS 23858 HAS SOPS 23858 HAS SOUS 19824 HAS SOUPS 19824 WITH SCORE 19847.858
AT ITER 1172 NEW BEST:: SOT 77998 SOS 23820 HAS SOPS 23820 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19809.82
AT ITER 1182 NEW BEST:: SOT 77959 SOS 23790 HAS SOPS 23790 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19779.79
AT ITER 1189 NEW BEST:: SOT 77943 SOS 23758 HAS SOPS 23758 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19763.758
AT ITER 1213 NEW BEST:: SOT 77915 SOS 23702 HAS SOPS 23702 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19735.702
AT ITER 1221 NEW BEST:: SOT 77909 SOS 23645 HAS SOPS 23645 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19674.645
AT ITER 1236 NEW BEST:: SOT 77848 SOS 23459 HAS SOPS 23459 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19623.459
AT ITER 1257 NEW BEST:: SOT 77881 SOS 23481 HAS SOPS 23481 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19613.481
AT ITER 1267 NEW BEST:: SOT 77837 SOS 23405 HAS SOPS 23405 HAS SOUS 19514 HAS SOUPS 19514 WITH SCORE 19537.405
AT ITER 1271 NEW BEST:: SOT 77820 SOS 23371 HAS SOPS 23371 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19520.371
AT ITER 1275 NEW BEST:: SOT 77817 SOS 23368 HAS SOPS 23368 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19517.368
AT ITER 1282 NEW BEST:: SOT 77863 SOS 23441 HAS SOPS 23441 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19515.441
AT ITER 1287 NEW BEST:: SOT 77795 SOS 23355 HAS SOPS 23355 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19479.355
AT ITER 1294 NEW BEST:: SOT 77761 SOS 23321 HAS SOPS 23321 HAS SOUS 19422 HAS SOUPS 19422 WITH SCORE 19445.321
AT ITER 1295 NEW BEST:: SOT 77761 SOS 23285 HAS SOPS 23285 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19434.285
AT ITER 1301 NEW BEST:: SOT 77760 SOS 23283 HAS SOPS 23283 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19432.283
AT ITER 1321 NEW BEST:: SOT 77730 SOS 23253 HAS SOPS 23253 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19402.253
AT ITER 1335 NEW BEST:: SOT 77691 SOS 23205 HAS SOPS 23205 HAS SOUS 19361 HAS SOUPS 19361 WITH SCORE 19384.205
AT ITER 1343 NEW BEST:: SOT 77620 SOS 23248 HAS SOPS 23248 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19329.248
AT ITER 1348 NEW BEST:: SOT 77614 SOS 23236 HAS SOPS 23236 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19327.236
AT ITER 1355 NEW BEST:: SOT 77502 SOS 23086 HAS SOPS 23086 HAS SOUS 19301 HAS SOUPS 19301 WITH SCORE 19324.086
AT ITER 1362 NEW BEST:: SOT 77510 SOS 23094 HAS SOPS 23094 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19322.094
AT ITER 1389 NEW BEST:: SOT 77474 SOS 23022 HAS SOPS 23022 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19271.022
AT ITER 1398 NEW BEST:: SOT 77465 SOS 23004 HAS SOPS 23004 HAS SOUS 19230 HAS SOUPS 19230 WITH SCORE 19253.004
AT ITER 1400 NEW BEST:: SOT 77456 SOS 22996 HAS SOPS 22996 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19244.996
AT ITER 1407 NEW BEST:: SOT 77456 SOS 22995 HAS SOPS 22995 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19243.995
AT ITER 1410 NEW BEST:: SOT 77436 SOS 22955 HAS SOPS 22955 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19203.955
AT ITER 1416 NEW BEST:: SOT 77430 SOS 22953 HAS SOPS 22953 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19201.953
AT ITER 1424 NEW BEST:: SOT 77443 SOS 22948 HAS SOPS 22948 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19196.948
AT ITER 1439 NEW BEST:: SOT 77534 SOS 22946 HAS SOPS 22946 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19194.946
AT ITER 1446 NEW BEST:: SOT 77524 SOS 22936 HAS SOPS 22936 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19194.936
AT ITER 1455 NEW BEST:: SOT 77559 SOS 23006 HAS SOPS 23006 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19173.006
AT ITER 1473 NEW BEST:: SOT 77434 SOS 22799 HAS SOPS 22799 HAS SOUS 19085 HAS SOUPS 19085 WITH SCORE 19107.799
AT ITER 1475 NEW BEST:: SOT 77443 SOS 22749 HAS SOPS 22749 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19083.749
AT ITER 1500 NEW BEST:: SOT 77443 SOS 22730 HAS SOPS 22730 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19064.73
AT ITER 1544 NEW BEST:: SOT 77357 SOS 22640 HAS SOPS 22640 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19017.64
AT ITER 1551 NEW BEST:: SOT 77344 SOS 22627 HAS SOPS 22627 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19004.627
AT ITER 1582 NEW BEST:: SOT 77325 SOS 22608 HAS SOPS 22608 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18985.608
AT ITER 1584 NEW BEST:: SOT 77261 SOS 22512 HAS SOPS 22512 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18889.512
AT ITER 1622 NEW BEST:: SOT 77238 SOS 22158 HAS SOPS 22158 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18831.158
AT ITER 1637 NEW BEST:: SOT 77140 SOS 22011 HAS SOPS 22011 HAS SOUS 18662 HAS SOUPS 18662 WITH SCORE 18684.011
AT ITER 1640 NEW BEST:: SOT 77111 SOS 21980 HAS SOPS 21980 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.98
AT ITER 1643 NEW BEST:: SOT 77092 SOS 21957 HAS SOPS 21957 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18668.957
AT ITER 1645 NEW BEST:: SOT 77080 SOS 21933 HAS SOPS 21933 HAS SOUS 18623 HAS SOUPS 18623 WITH SCORE 18644.933
AT ITER 1647 NEW BEST:: SOT 76963 SOS 21783 HAS SOPS 21783 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18494.783
AT ITER 1651 NEW BEST:: SOT 76927 SOS 21768 HAS SOPS 21768 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18463.768
AT ITER 1658 NEW BEST:: SOT 76872 SOS 21658 HAS SOPS 21658 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18353.658
AT ITER 1675 NEW BEST:: SOT 76903 SOS 21642 HAS SOPS 21642 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18337.642
AT ITER 1687 NEW BEST:: SOT 76896 SOS 21628 HAS SOPS 21628 HAS SOUS 18308 HAS SOUPS 18308 WITH SCORE 18329.628
AT ITER 1693 NEW BEST:: SOT 76896 SOS 21628 HAS SOPS 21628 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18317.628
AT ITER 1704 NEW BEST:: SOT 76896 SOS 21613 HAS SOPS 21613 HAS SOUS 18281 HAS SOUPS 18281 WITH SCORE 18302.613
AT ITER 1707 NEW BEST:: SOT 76896 SOS 21600 HAS SOPS 21600 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18289.6
AT ITER 1715 NEW BEST:: SOT 76882 SOS 21572 HAS SOPS 21572 HAS SOUS 18240 HAS SOUPS 18240 WITH SCORE 18261.572
AT ITER 1719 NEW BEST:: SOT 76859 SOS 21519 HAS SOPS 21519 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18208.519
AT ITER 1720 NEW BEST:: SOT 76859 SOS 21519 HAS SOPS 21519 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18185.519
AT ITER 1722 NEW BEST:: SOT 76847 SOS 21501 HAS SOPS 21501 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18167.501
AT ITER 1727 NEW BEST:: SOT 76819 SOS 21473 HAS SOPS 21473 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18139.473
AT ITER 1732 NEW BEST:: SOT 76816 SOS 21467 HAS SOPS 21467 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18136.467
AT ITER 1734 NEW BEST:: SOT 76765 SOS 21583 HAS SOPS 21583 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18099.583
AT ITER 1747 NEW BEST:: SOT 76771 SOS 21582 HAS SOPS 21582 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18092.582
AT ITER 1785 NEW BEST:: SOT 76771 SOS 21604 HAS SOPS 21604 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18070.604
AT ITER 1790 NEW BEST:: SOT 76746 SOS 21559 HAS SOPS 21559 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18025.559
AT ITER 1797 NEW BEST:: SOT 76745 SOS 21356 HAS SOPS 21356 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17956.356
AT ITER 1812 NEW BEST:: SOT 76734 SOS 21310 HAS SOPS 21310 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17910.31
AT ITER 1848 NEW BEST:: SOT 76709 SOS 21397 HAS SOPS 21397 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17865.397
AT ITER 1850 NEW BEST:: SOT 76653 SOS 21341 HAS SOPS 21341 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17862.341
AT ITER 1873 NEW BEST:: SOT 76642 SOS 21330 HAS SOPS 21330 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17858.33
AT ITER 1874 NEW BEST:: SOT 76639 SOS 21324 HAS SOPS 21324 HAS SOUS 17831 HAS SOUPS 17831 WITH SCORE 17852.324
AT ITER 1886 NEW BEST:: SOT 76634 SOS 21319 HAS SOPS 21319 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17847.319
AT ITER 1902 NEW BEST:: SOT 76636 SOS 21297 HAS SOPS 21297 HAS SOUS 17804 HAS SOUPS 17804 WITH SCORE 17825.297
AT ITER 1916 NEW BEST:: SOT 76665 SOS 21312 HAS SOPS 21312 HAS SOUS 17792 HAS SOUPS 17792 WITH SCORE 17813.312
AT ITER 1956 NEW BEST:: SOT 76665 SOS 21229 HAS SOPS 21229 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17730.229
AT ITER 2005 NEW BEST:: SOT 76590 SOS 21154 HAS SOPS 21154 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17602.154
AT ITER 2007 NEW BEST:: SOT 76584 SOS 21136 HAS SOPS 21136 HAS SOUS 17563 HAS SOUPS 17563 WITH SCORE 17584.136
AT ITER 2074 NEW BEST:: SOT 76577 SOS 21122 HAS SOPS 21122 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17570.122
AT ITER 2088 NEW BEST:: SOT 76550 SOS 21068 HAS SOPS 21068 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17489.068
AT ITER 2092 NEW BEST:: SOT 76548 SOS 21064 HAS SOPS 21064 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17485.064
AT ITER 2094 NEW BEST:: SOT 76546 SOS 21062 HAS SOPS 21062 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17483.062
AT ITER 2115 NEW BEST:: SOT 76504 SOS 21020 HAS SOPS 21020 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17441.02
AT ITER 2121 NEW BEST:: SOT 76491 SOS 20998 HAS SOPS 20998 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17418.998
AT ITER 2138 NEW BEST:: SOT 76477 SOS 20970 HAS SOPS 20970 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17383.97
AT ITER 2146 NEW BEST:: SOT 76469 SOS 20901 HAS SOPS 20901 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17333.901
AT ITER 2151 NEW BEST:: SOT 76467 SOS 20899 HAS SOPS 20899 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17333.899
AT ITER 2159 NEW BEST:: SOT 76529 SOS 20961 HAS SOPS 20961 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17330.961
AT ITER 2161 NEW BEST:: SOT 76542 SOS 20974 HAS SOPS 20974 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17322.974
AT ITER 2180 NEW BEST:: SOT 76685 SOS 21074 HAS SOPS 21074 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17284.074
AT ITER 2187 NEW BEST:: SOT 76683 SOS 21071 HAS SOPS 21071 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17281.071
AT ITER 2230 NEW BEST:: SOT 76683 SOS 21071 HAS SOPS 21071 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17259.071
AT ITER 2233 NEW BEST:: SOT 76726 SOS 21063 HAS SOPS 21063 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17251.063
AT ITER 2270 NEW BEST:: SOT 76726 SOS 21050 HAS SOPS 21050 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17238.05
AT ITER 2285 NEW BEST:: SOT 76727 SOS 21046 HAS SOPS 21046 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17234.046
AT ITER 2290 NEW BEST:: SOT 76727 SOS 21046 HAS SOPS 21046 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17181.046
AT ITER 2293 NEW BEST:: SOT 76759 SOS 21016 HAS SOPS 21016 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17167.016
AT ITER 2311 NEW BEST:: SOT 76744 SOS 21001 HAS SOPS 21001 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17152.001
AT ITER 2324 NEW BEST:: SOT 76737 SOS 20974 HAS SOPS 20974 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17124.974
AT ITER 2349 NEW BEST:: SOT 76737 SOS 20972 HAS SOPS 20972 HAS SOUS 17102 HAS SOUPS 17102 WITH SCORE 17122.972
AT ITER 2401 NEW BEST:: SOT 76733 SOS 20964 HAS SOPS 20964 HAS SOUS 17094 HAS SOUPS 17094 WITH SCORE 17114.964
AT ITER 2406 NEW BEST:: SOT 76714 SOS 20911 HAS SOPS 20911 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17061.911
AT ITER 2432 NEW BEST:: SOT 76699 SOS 20896 HAS SOPS 20896 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17046.896
AT ITER 2475 NEW BEST:: SOT 76649 SOS 20838 HAS SOPS 20838 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16988.838
AT ITER 2480 NEW BEST:: SOT 76653 SOS 20776 HAS SOPS 20776 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16869.776
AT ITER 2486 NEW BEST:: SOT 76643 SOS 20761 HAS SOPS 20761 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16859.761
AT ITER 2502 NEW BEST:: SOT 76562 SOS 20643 HAS SOPS 20643 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16785.643
AT ITER 2526 NEW BEST:: SOT 76561 SOS 20642 HAS SOPS 20642 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16785.642
AT ITER 2561 NEW BEST:: SOT 76600 SOS 20681 HAS SOPS 20681 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16783.681
AT ITER 2566 NEW BEST:: SOT 76583 SOS 20673 HAS SOPS 20673 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16773.673
AT ITER 2591 NEW BEST:: SOT 76583 SOS 20664 HAS SOPS 20664 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16764.664
AT ITER 2592 NEW BEST:: SOT 76585 SOS 20650 HAS SOPS 20650 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16750.65
AT ITER 2610 NEW BEST:: SOT 76585 SOS 20645 HAS SOPS 20645 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16745.645
AT ITER 2620 NEW BEST:: SOT 76563 SOS 20642 HAS SOPS 20642 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16742.642
AT ITER 2635 NEW BEST:: SOT 76528 SOS 20603 HAS SOPS 20603 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16721.603
AT ITER 2637 NEW BEST:: SOT 76437 SOS 20537 HAS SOPS 20537 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16697.537
AT ITER 2643 NEW BEST:: SOT 76437 SOS 20534 HAS SOPS 20534 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16693.534
AT ITER 2654 NEW BEST:: SOT 76402 SOS 20464 HAS SOPS 20464 HAS SOUS 16645 HAS SOUPS 16645 WITH SCORE 16665.464
AT ITER 2664 NEW BEST:: SOT 76402 SOS 20464 HAS SOPS 20464 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16662.464
AT ITER 2674 NEW BEST:: SOT 76395 SOS 20450 HAS SOPS 20450 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16648.45
AT ITER 2708 NEW BEST:: SOT 76392 SOS 20444 HAS SOPS 20444 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16645.444
AT ITER 2726 NEW BEST:: SOT 76376 SOS 20428 HAS SOPS 20428 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16629.428
AT ITER 2728 NEW BEST:: SOT 76569 SOS 20290 HAS SOPS 20290 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16491.29
AT ITER 2750 NEW BEST:: SOT 76567 SOS 20286 HAS SOPS 20286 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16485.286
AT ITER 2758 NEW BEST:: SOT 76562 SOS 20276 HAS SOPS 20276 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16480.276
AT ITER 2775 NEW BEST:: SOT 76561 SOS 20275 HAS SOPS 20275 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16479.275
AT ITER 2797 NEW BEST:: SOT 76366 SOS 20147 HAS SOPS 20147 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16415.147
AT ITER 2893 NEW BEST:: SOT 76403 SOS 20015 HAS SOPS 20015 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16363.015
AT ITER 2894 NEW BEST:: SOT 76407 SOS 20006 HAS SOPS 20006 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16354.006
AT ITER 2907 NEW BEST:: SOT 76403 SOS 19998 HAS SOPS 19998 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16345.998
AT ITER 2927 NEW BEST:: SOT 76397 SOS 19986 HAS SOPS 19986 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16324.986
AT ITER 2936 NEW BEST:: SOT 76397 SOS 19960 HAS SOPS 19960 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16280.96
AT ITER 2940 NEW BEST:: SOT 76403 SOS 19964 HAS SOPS 19964 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16249.964
AT ITER 2951 NEW BEST:: SOT 76392 SOS 19920 HAS SOPS 19920 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16243.92
AT ITER 2978 NEW BEST:: SOT 76336 SOS 19880 HAS SOPS 19880 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16203.88
AT ITER 2992 NEW BEST:: SOT 76327 SOS 19845 HAS SOPS 19845 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16168.845
AT ITER 3007 NEW BEST:: SOT 76321 SOS 19833 HAS SOPS 19833 HAS SOUS 16137 HAS SOUPS 16137 WITH SCORE 16156.833
AT ITER 3014 NEW BEST:: SOT 76275 SOS 19830 HAS SOPS 19830 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16153.83
AT ITER 3051 NEW BEST:: SOT 76211 SOS 19771 HAS SOPS 19771 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16088.771
AT ITER 3088 NEW BEST:: SOT 76193 SOS 19753 HAS SOPS 19753 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16070.753
AT ITER 3090 NEW BEST:: SOT 76175 SOS 19718 HAS SOPS 19718 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16035.718
AT ITER 3106 NEW BEST:: SOT 76174 SOS 19716 HAS SOPS 19716 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16033.716
AT ITER 3135 NEW BEST:: SOT 76143 SOS 19672 HAS SOPS 19672 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16007.672
AT ITER 3157 NEW BEST:: SOT 76134 SOS 19655 HAS SOPS 19655 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15990.655
AT ITER 3189 NEW BEST:: SOT 76100 SOS 19587 HAS SOPS 19587 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15939.587
AT ITER 3220 NEW BEST:: SOT 76049 SOS 19588 HAS SOPS 19588 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15930.588
AT ITER 3276 NEW BEST:: SOT 76032 SOS 19472 HAS SOPS 19472 HAS SOUS 15893 HAS SOUPS 15893 WITH SCORE 15912.472
AT ITER 3282 NEW BEST:: SOT 76018 SOS 19459 HAS SOPS 19459 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15899.459
AT ITER 3319 NEW BEST:: SOT 75978 SOS 19413 HAS SOPS 19413 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15853.413
AT ITER 3331 NEW BEST:: SOT 75968 SOS 19366 HAS SOPS 19366 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15816.366
AT ITER 3367 NEW BEST:: SOT 75959 SOS 19356 HAS SOPS 19356 HAS SOUS 15787 HAS SOUPS 15787 WITH SCORE 15806.356
AT ITER 3399 NEW BEST:: SOT 75959 SOS 19356 HAS SOPS 19356 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15801.356
AT ITER 3402 NEW BEST:: SOT 75955 SOS 19348 HAS SOPS 19348 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15793.348
AT ITER 3408 NEW BEST:: SOT 75955 SOS 19348 HAS SOPS 19348 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15761.348
AT ITER 3417 NEW BEST:: SOT 75955 SOS 19326 HAS SOPS 19326 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15739.326
AT ITER 3449 NEW BEST:: SOT 75946 SOS 19272 HAS SOPS 19272 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15721.272
AT ITER 3454 NEW BEST:: SOT 75970 SOS 19253 HAS SOPS 19253 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15635.253
AT ITER 3478 NEW BEST:: SOT 75957 SOS 19240 HAS SOPS 19240 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15622.24
AT ITER 3483 NEW BEST:: SOT 75957 SOS 19240 HAS SOPS 19240 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15614.24
AT ITER 3496 NEW BEST:: SOT 75955 SOS 19236 HAS SOPS 19236 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15610.236
AT ITER 3500 NEW BEST:: SOT 75955 SOS 19232 HAS SOPS 19232 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15602.232
AT ITER 3529 NEW BEST:: SOT 75890 SOS 19135 HAS SOPS 19135 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15545.135
AT ITER 3530 NEW BEST:: SOT 75916 SOS 19106 HAS SOPS 19106 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15519.106
AT ITER 3535 NEW BEST:: SOT 75932 SOS 19104 HAS SOPS 19104 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15518.104
AT ITER 3538 NEW BEST:: SOT 75923 SOS 19086 HAS SOPS 19086 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15500.086
AT ITER 3586 NEW BEST:: SOT 75908 SOS 19071 HAS SOPS 19071 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15485.071
AT ITER 3587 NEW BEST:: SOT 75886 SOS 19027 HAS SOPS 19027 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15463.027
AT ITER 3590 NEW BEST:: SOT 75902 SOS 18994 HAS SOPS 18994 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15429.994
AT ITER 3604 NEW BEST:: SOT 75902 SOS 18992 HAS SOPS 18992 HAS SOUS 15409 HAS SOUPS 15409 WITH SCORE 15427.992
AT ITER 3616 NEW BEST:: SOT 75889 SOS 18978 HAS SOPS 18978 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15425.978
AT ITER 3624 NEW BEST:: SOT 75892 SOS 18977 HAS SOPS 18977 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15424.977
AT ITER 3732 NEW BEST:: SOT 75892 SOS 18968 HAS SOPS 18968 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15415.968
AT ITER 3741 NEW BEST:: SOT 75890 SOS 18964 HAS SOPS 18964 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15411.964
AT ITER 3769 NEW BEST:: SOT 75883 SOS 18950 HAS SOPS 18950 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15397.95
AT ITER 3796 NEW BEST:: SOT 75851 SOS 18834 HAS SOPS 18834 HAS SOUS 15327 HAS SOUPS 15327 WITH SCORE 15345.834
AT ITER 3799 NEW BEST:: SOT 75849 SOS 18826 HAS SOPS 18826 HAS SOUS 15319 HAS SOUPS 15319 WITH SCORE 15337.826
AT ITER 3811 NEW BEST:: SOT 75773 SOS 18750 HAS SOPS 18750 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15311.75
AT ITER 3836 NEW BEST:: SOT 75682 SOS 20808 HAS SOPS 20808 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15278.808
AT ITER 3902 NEW BEST:: SOT 75682 SOS 20796 HAS SOPS 20796 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15266.796
AT ITER 3905 NEW BEST:: SOT 75500 SOS 20580 HAS SOPS 20580 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15198.58
AT ITER 3915 NEW BEST:: SOT 75511 SOS 20577 HAS SOPS 20577 HAS SOUS 15165 HAS SOUPS 15165 WITH SCORE 15185.577
AT ITER 3927 NEW BEST:: SOT 75494 SOS 20528 HAS SOPS 20528 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15136.528
AT ITER 3949 NEW BEST:: SOT 75478 SOS 20506 HAS SOPS 20506 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15124.506
AT ITER 3952 NEW BEST:: SOT 75477 SOS 20505 HAS SOPS 20505 HAS SOUS 15103 HAS SOUPS 15103 WITH SCORE 15123.505
AT ITER 3964 NEW BEST:: SOT 75517 SOS 20509 HAS SOPS 20509 HAS SOUS 15069 HAS SOUPS 15069 WITH SCORE 15089.509
AT ITER 3972 NEW BEST:: SOT 75505 SOS 20497 HAS SOPS 20497 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15077.497
AT ITER 3992 NEW BEST:: SOT 75505 SOS 20492 HAS SOPS 20492 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15077.492
AT ITER 4007 NEW BEST:: SOT 75475 SOS 20462 HAS SOPS 20462 HAS SOUS 15042 HAS SOUPS 15042 WITH SCORE 15062.462
AT ITER 4008 NEW BEST:: SOT 75461 SOS 20455 HAS SOPS 20455 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15052.455
AT ITER 4046 NEW BEST:: SOT 75466 SOS 20449 HAS SOPS 20449 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15049.449
AT ITER 4058 NEW BEST:: SOT 75458 SOS 20452 HAS SOPS 20452 HAS SOUS 15020 HAS SOUPS 15020 WITH SCORE 15040.452
AT ITER 4065 NEW BEST:: SOT 75435 SOS 20310 HAS SOPS 20310 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15021.31
AT ITER 4095 NEW BEST:: SOT 75432 SOS 20331 HAS SOPS 20331 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15017.331
AT ITER 4109 NEW BEST:: SOT 75428 SOS 20323 HAS SOPS 20323 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15009.323
AT ITER 4164 NEW BEST:: SOT 75410 SOS 20309 HAS SOPS 20309 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14995.309
AT ITER 4179 NEW BEST:: SOT 75400 SOS 20299 HAS SOPS 20299 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14995.299
AT ITER 4213 NEW BEST:: SOT 75400 SOS 20298 HAS SOPS 20298 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14994.298
AT ITER 4223 NEW BEST:: SOT 75342 SOS 20222 HAS SOPS 20222 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14918.222
AT ITER 4250 NEW BEST:: SOT 75337 SOS 20212 HAS SOPS 20212 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14908.212
AT ITER 4290 NEW BEST:: SOT 75337 SOS 20206 HAS SOPS 20206 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14908.206
AT ITER 4341 NEW BEST:: SOT 75336 SOS 20205 HAS SOPS 20205 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14907.205
AT ITER 4346 NEW BEST:: SOT 75335 SOS 20203 HAS SOPS 20203 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14905.203
AT ITER 4370 NEW BEST:: SOT 75415 SOS 20189 HAS SOPS 20189 HAS SOUS 14871 HAS SOUPS 14871 WITH SCORE 14891.189
AT ITER 4394 NEW BEST:: SOT 75419 SOS 20153 HAS SOPS 20153 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14855.153
AT ITER 4423 NEW BEST:: SOT 75419 SOS 20153 HAS SOPS 20153 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14852.153
AT ITER 4441 NEW BEST:: SOT 75420 SOS 20150 HAS SOPS 20150 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14849.15
AT ITER 4446 NEW BEST:: SOT 75412 SOS 20134 HAS SOPS 20134 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14840.134
AT ITER 4483 NEW BEST:: SOT 75406 SOS 20128 HAS SOPS 20128 HAS SOUS 14814 HAS SOUPS 14814 WITH SCORE 14834.128
AT ITER 4484 NEW BEST:: SOT 75388 SOS 20119 HAS SOPS 20119 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14816.119
AT ITER 4517 NEW BEST:: SOT 75433 SOS 20185 HAS SOPS 20185 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14815.185
AT ITER 4567 NEW BEST:: SOT 75421 SOS 20159 HAS SOPS 20159 HAS SOUS 14769 HAS SOUPS 14769 WITH SCORE 14789.159
AT ITER 4576 NEW BEST:: SOT 75421 SOS 20159 HAS SOPS 20159 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14786.159
AT ITER 4585 NEW BEST:: SOT 75413 SOS 20149 HAS SOPS 20149 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14782.149
AT ITER 4731 NEW BEST:: SOT 75441 SOS 20145 HAS SOPS 20145 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14758.145
AT ITER 4742 NEW BEST:: SOT 75441 SOS 20145 HAS SOPS 20145 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14757.145
AT ITER 4753 NEW BEST:: SOT 75421 SOS 20125 HAS SOPS 20125 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14737.125
AT ITER 4759 NEW BEST:: SOT 75413 SOS 20113 HAS SOPS 20113 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14725.113
AT ITER 4766 NEW BEST:: SOT 75388 SOS 20066 HAS SOPS 20066 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14678.066
AT ITER 4768 NEW BEST:: SOT 75385 SOS 20060 HAS SOPS 20060 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14672.06
AT ITER 4777 NEW BEST:: SOT 75379 SOS 20078 HAS SOPS 20078 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14666.078
AT ITER 4833 NEW BEST:: SOT 75372 SOS 20071 HAS SOPS 20071 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14659.071
AT ITER 4881 NEW BEST:: SOT 75372 SOS 20071 HAS SOPS 20071 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14656.071
AT ITER 4961 NEW BEST:: SOT 75338 SOS 20036 HAS SOPS 20036 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14621.036
AT ITER 4969 NEW BEST:: SOT 75335 SOS 20030 HAS SOPS 20030 HAS SOUS 14595 HAS SOUPS 14595 WITH SCORE 14615.03
AT ITER 4982 NEW BEST:: SOT 75333 SOS 20028 HAS SOPS 20028 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14613.028
AT ITER 5005 NEW BEST:: SOT 75318 SOS 19997 HAS SOPS 19997 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14581.997
AT ITER 5035 NEW BEST:: SOT 75316 SOS 19993 HAS SOPS 19993 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14579.993
AT ITER 5044 NEW BEST:: SOT 75308 SOS 19991 HAS SOPS 19991 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14577.991
AT ITER 5086 NEW BEST:: SOT 75308 SOS 19985 HAS SOPS 19985 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14571.985
AT ITER 5090 NEW BEST:: SOT 75334 SOS 20001 HAS SOPS 20001 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14556.001
AT ITER 5110 NEW BEST:: SOT 75333 SOS 19999 HAS SOPS 19999 HAS SOUS 14534 HAS SOUPS 14534 WITH SCORE 14553.999
AT ITER 5140 NEW BEST:: SOT 75307 SOS 19996 HAS SOPS 19996 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14550.996
AT ITER 5152 NEW BEST:: SOT 75279 SOS 19940 HAS SOPS 19940 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14519.94
AT ITER 5205 NEW BEST:: SOT 75255 SOS 19892 HAS SOPS 19892 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14471.892
AT ITER 5310 NEW BEST:: SOT 75242 SOS 19887 HAS SOPS 19887 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14466.887
AT ITER 5401 NEW BEST:: SOT 75259 SOS 19882 HAS SOPS 19882 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14461.882
AT ITER 5429 NEW BEST:: SOT 75257 SOS 19876 HAS SOPS 19876 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14455.876
AT ITER 5456 NEW BEST:: SOT 75259 SOS 19891 HAS SOPS 19891 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14424.891
AT ITER 5461 NEW BEST:: SOT 75273 SOS 19878 HAS SOPS 19878 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14411.878
AT ITER 5472 NEW BEST:: SOT 75221 SOS 19774 HAS SOPS 19774 HAS SOUS 14373 HAS SOUPS 14373 WITH SCORE 14392.774
AT ITER 5494 NEW BEST:: SOT 75227 SOS 19772 HAS SOPS 19772 HAS SOUS 14371 HAS SOUPS 14371 WITH SCORE 14390.772
AT ITER 5524 NEW BEST:: SOT 75220 SOS 19758 HAS SOPS 19758 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14384.758
AT ITER 5527 NEW BEST:: SOT 75216 SOS 19740 HAS SOPS 19740 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14378.74
AT ITER 5650 NEW BEST:: SOT 75228 SOS 19736 HAS SOPS 19736 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14374.736
AT ITER 5664 NEW BEST:: SOT 75271 SOS 19720 HAS SOPS 19720 HAS SOUS 14339 HAS SOUPS 14339 WITH SCORE 14358.72
AT ITER 5666 NEW BEST:: SOT 75271 SOS 19718 HAS SOPS 19718 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14356.718
AT ITER 5674 NEW BEST:: SOT 75257 SOS 19694 HAS SOPS 19694 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14332.694
AT ITER 5676 NEW BEST:: SOT 75259 SOS 19689 HAS SOPS 19689 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14327.689
AT ITER 5679 NEW BEST:: SOT 75264 SOS 19694 HAS SOPS 19694 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14319.694
AT ITER 5704 NEW BEST:: SOT 75248 SOS 19662 HAS SOPS 19662 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14309.662
AT ITER 5708 NEW BEST:: SOT 75243 SOS 19651 HAS SOPS 19651 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14298.651
AT ITER 5715 NEW BEST:: SOT 75222 SOS 19639 HAS SOPS 19639 HAS SOUS 14265 HAS SOUPS 14265 WITH SCORE 14284.639
AT ITER 5753 NEW BEST:: SOT 75202 SOS 19647 HAS SOPS 19647 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14278.647
AT ITER 5780 NEW BEST:: SOT 75178 SOS 19636 HAS SOPS 19636 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14267.636
AT ITER 5796 NEW BEST:: SOT 75177 SOS 19634 HAS SOPS 19634 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14265.634
AT ITER 5856 NEW BEST:: SOT 75184 SOS 19627 HAS SOPS 19627 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14258.627
AT ITER 5904 NEW BEST:: SOT 75197 SOS 19529 HAS SOPS 19529 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14253.529
AT ITER 5937 NEW BEST:: SOT 75197 SOS 19594 HAS SOPS 19594 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14246.594
AT ITER 5949 NEW BEST:: SOT 75229 SOS 19544 HAS SOPS 19544 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14196.544
AT ITER 5954 NEW BEST:: SOT 75226 SOS 19538 HAS SOPS 19538 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14190.538
AT ITER 5960 NEW BEST:: SOT 75246 SOS 19553 HAS SOPS 19553 HAS SOUS 14137 HAS SOUPS 14137 WITH SCORE 14156.553
AT ITER 6005 NEW BEST:: SOT 75279 SOS 19609 HAS SOPS 19609 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14124.609
AT ITER 6058 NEW BEST:: SOT 75273 SOS 19554 HAS SOPS 19554 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14112.554
AT ITER 6062 NEW BEST:: SOT 75273 SOS 19554 HAS SOPS 19554 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14108.554
AT ITER 6095 NEW BEST:: SOT 75233 SOS 19465 HAS SOPS 19465 HAS SOUS 14031 HAS SOUPS 14031 WITH SCORE 14050.465
AT ITER 6170 NEW BEST:: SOT 75037 SOS 19382 HAS SOPS 19382 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14031.382
AT ITER 6202 NEW BEST:: SOT 75021 SOS 19364 HAS SOPS 19364 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14013.364
AT ITER 6229 NEW BEST:: SOT 75006 SOS 19331 HAS SOPS 19331 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13980.331
AT ITER 6234 NEW BEST:: SOT 75007 SOS 19354 HAS SOPS 19354 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13970.354
AT ITER 6239 NEW BEST:: SOT 75025 SOS 19390 HAS SOPS 19390 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13948.39
AT ITER 6330 NEW BEST:: SOT 75016 SOS 19361 HAS SOPS 19361 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13917.361
AT ITER 6368 NEW BEST:: SOT 75026 SOS 19380 HAS SOPS 19380 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13915.38
AT ITER 6454 NEW BEST:: SOT 75030 SOS 19372 HAS SOPS 19372 HAS SOUS 13872 HAS SOUPS 13872 WITH SCORE 13891.372
AT ITER 6467 NEW BEST:: SOT 75026 SOS 19364 HAS SOPS 19364 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13883.364
AT ITER 6474 NEW BEST:: SOT 75026 SOS 19364 HAS SOPS 19364 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13881.364
AT ITER 6508 NEW BEST:: SOT 75004 SOS 19342 HAS SOPS 19342 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13859.342
AT ITER 6510 NEW BEST:: SOT 74997 SOS 19336 HAS SOPS 19336 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13853.336
AT ITER 6562 NEW BEST:: SOT 74998 SOS 19337 HAS SOPS 19337 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13852.337
AT ITER 6567 NEW BEST:: SOT 74992 SOS 19328 HAS SOPS 19328 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13846.328
AT ITER 6634 NEW BEST:: SOT 74980 SOS 19316 HAS SOPS 19316 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13834.316
AT ITER 6691 NEW BEST:: SOT 74978 SOS 19312 HAS SOPS 19312 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13832.312
AT ITER 6696 NEW BEST:: SOT 74974 SOS 19316 HAS SOPS 19316 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13829.316
AT ITER 6769 NEW BEST:: SOT 74973 SOS 19324 HAS SOPS 19324 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13827.324
AT ITER 6774 NEW BEST:: SOT 74977 SOS 19320 HAS SOPS 19320 HAS SOUS 13804 HAS SOUPS 13804 WITH SCORE 13823.32
AT ITER 6809 NEW BEST:: SOT 74968 SOS 19302 HAS SOPS 19302 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13805.302
AT ITER 6890 NEW BEST:: SOT 74976 SOS 19293 HAS SOPS 19293 HAS SOUS 13777 HAS SOUPS 13777 WITH SCORE 13796.293
AT ITER 6919 NEW BEST:: SOT 74975 SOS 19292 HAS SOPS 19292 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13795.292
AT ITER 7060 NEW BEST:: SOT 74975 SOS 19285 HAS SOPS 19285 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13788.285
AT ITER 7073 NEW BEST:: SOT 74975 SOS 19277 HAS SOPS 19277 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13780.277
AT ITER 7077 NEW BEST:: SOT 74977 SOS 19271 HAS SOPS 19271 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13774.271
AT ITER 7081 NEW BEST:: SOT 74975 SOS 19269 HAS SOPS 19269 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13772.269
AT ITER 7127 NEW BEST:: SOT 74953 SOS 19269 HAS SOPS 19269 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13768.269
AT ITER 7140 NEW BEST:: SOT 74980 SOS 19281 HAS SOPS 19281 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13738.281
AT ITER 7179 NEW BEST:: SOT 74976 SOS 19273 HAS SOPS 19273 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13734.273
AT ITER 7194 NEW BEST:: SOT 74971 SOS 19263 HAS SOPS 19263 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13729.263
AT ITER 7271 NEW BEST:: SOT 74966 SOS 19248 HAS SOPS 19248 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13714.248
AT ITER 7288 NEW BEST:: SOT 74966 SOS 19246 HAS SOPS 19246 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13712.246
AT ITER 7292 NEW BEST:: SOT 74975 SOS 19228 HAS SOPS 19228 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13694.228
AT ITER 7354 NEW BEST:: SOT 74983 SOS 19221 HAS SOPS 19221 HAS SOUS 13668 HAS SOUPS 13668 WITH SCORE 13687.221
AT ITER 7388 NEW BEST:: SOT 74973 SOS 19217 HAS SOPS 19217 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13683.217
AT ITER 7442 NEW BEST:: SOT 74973 SOS 19167 HAS SOPS 19167 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13681.167
AT ITER 7463 NEW BEST:: SOT 74968 SOS 19162 HAS SOPS 19162 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13676.162
AT ITER 7518 NEW BEST:: SOT 74968 SOS 19157 HAS SOPS 19157 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13666.157
AT ITER 7529 NEW BEST:: SOT 74960 SOS 19142 HAS SOPS 19142 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13651.142
AT ITER 7544 NEW BEST:: SOT 74959 SOS 19140 HAS SOPS 19140 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13649.14
AT ITER 7589 NEW BEST:: SOT 74939 SOS 19120 HAS SOPS 19120 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13629.12
AT ITER 7629 NEW BEST:: SOT 74939 SOS 19121 HAS SOPS 19121 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13628.121
AT ITER 7634 NEW BEST:: SOT 74936 SOS 19118 HAS SOPS 19118 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13625.118
AT ITER 7671 NEW BEST:: SOT 74933 SOS 19116 HAS SOPS 19116 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13623.116
AT ITER 7672 NEW BEST:: SOT 74933 SOS 19113 HAS SOPS 19113 HAS SOUS 13601 HAS SOUPS 13601 WITH SCORE 13620.113
AT ITER 7825 NEW BEST:: SOT 74932 SOS 19111 HAS SOPS 19111 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13618.111
AT ITER 7837 NEW BEST:: SOT 74925 SOS 19104 HAS SOPS 19104 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13618.104
AT ITER 7854 NEW BEST:: SOT 74938 SOS 19130 HAS SOPS 19130 HAS SOUS 13595 HAS SOUPS 13595 WITH SCORE 13614.13
AT ITER 7999 NEW BEST:: SOT 74870 SOS 19013 HAS SOPS 19013 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13536.013
AT ITER 8032 NEW BEST:: SOT 74866 SOS 19009 HAS SOPS 19009 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13532.009
AT ITER 8072 NEW BEST:: SOT 74864 SOS 19011 HAS SOPS 19011 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13531.011
AT ITER 8082 NEW BEST:: SOT 74893 SOS 18962 HAS SOPS 18962 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13504.962
AT ITER 8113 NEW BEST:: SOT 74892 SOS 18990 HAS SOPS 18990 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13502.99
AT ITER 8125 NEW BEST:: SOT 74898 SOS 18974 HAS SOPS 18974 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13462.974
AT ITER 8157 NEW BEST:: SOT 74893 SOS 18964 HAS SOPS 18964 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13457.964
AT ITER 8209 NEW BEST:: SOT 74875 SOS 18947 HAS SOPS 18947 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13440.947
AT ITER 8217 NEW BEST:: SOT 74875 SOS 18897 HAS SOPS 18897 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13398.897
AT ITER 8233 NEW BEST:: SOT 74882 SOS 18893 HAS SOPS 18893 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13394.893
AT ITER 8294 NEW BEST:: SOT 74878 SOS 18885 HAS SOPS 18885 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13387.885
AT ITER 8301 NEW BEST:: SOT 74854 SOS 18837 HAS SOPS 18837 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13363.837
AT ITER 8309 NEW BEST:: SOT 74836 SOS 18811 HAS SOPS 18811 HAS SOUS 13332 HAS SOUPS 13332 WITH SCORE 13350.811
AT ITER 8355 NEW BEST:: SOT 74834 SOS 18814 HAS SOPS 18814 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13348.814
AT ITER 8387 NEW BEST:: SOT 74833 SOS 18813 HAS SOPS 18813 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13347.813
AT ITER 8423 NEW BEST:: SOT 74822 SOS 18804 HAS SOPS 18804 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13338.804
AT ITER 8424 NEW BEST:: SOT 74818 SOS 18795 HAS SOPS 18795 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13334.795
AT ITER 8631 NEW BEST:: SOT 74815 SOS 18786 HAS SOPS 18786 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13325.786
AT ITER 8733 NEW BEST:: SOT 74812 SOS 18779 HAS SOPS 18779 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13318.779
AT ITER 8758 NEW BEST:: SOT 74789 SOS 18755 HAS SOPS 18755 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13316.755
AT ITER 8785 NEW BEST:: SOT 74785 SOS 18747 HAS SOPS 18747 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13308.747
AT ITER 8918 NEW BEST:: SOT 74785 SOS 18721 HAS SOPS 18721 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13282.721
AT ITER 8927 NEW BEST:: SOT 74761 SOS 18694 HAS SOPS 18694 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13262.694
AT ITER 8961 NEW BEST:: SOT 74761 SOS 18691 HAS SOPS 18691 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13256.691
AT ITER 9002 NEW BEST:: SOT 74761 SOS 18675 HAS SOPS 18675 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13256.675
AT ITER 9005 NEW BEST:: SOT 74736 SOS 18700 HAS SOPS 18700 HAS SOUS 13213 HAS SOUPS 13213 WITH SCORE 13231.7
AT ITER 9012 NEW BEST:: SOT 74722 SOS 18691 HAS SOPS 18691 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13222.691
AT ITER 9019 NEW BEST:: SOT 74722 SOS 18670 HAS SOPS 18670 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13222.67
AT ITER 9084 NEW BEST:: SOT 74722 SOS 18623 HAS SOPS 18623 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13167.623
AT ITER 9114 NEW BEST:: SOT 74719 SOS 18620 HAS SOPS 18620 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13164.62
AT ITER 9116 NEW BEST:: SOT 74665 SOS 18588 HAS SOPS 18588 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13132.588
AT ITER 9186 NEW BEST:: SOT 74663 SOS 18586 HAS SOPS 18586 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13132.586
AT ITER 9255 NEW BEST:: SOT 74660 SOS 18580 HAS SOPS 18580 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13126.58
AT ITER 9257 NEW BEST:: SOT 74643 SOS 18546 HAS SOPS 18546 HAS SOUS 13074 HAS SOUPS 13074 WITH SCORE 13092.546
AT ITER 9361 NEW BEST:: SOT 74652 SOS 18552 HAS SOPS 18552 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13086.552
AT ITER 9553 NEW BEST:: SOT 74652 SOS 18534 HAS SOPS 18534 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13077.534
AT ITER 9607 NEW BEST:: SOT 74660 SOS 18513 HAS SOPS 18513 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13067.513
AT ITER 9610 NEW BEST:: SOT 74702 SOS 18488 HAS SOPS 18488 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12975.488
AT ITER 9636 NEW BEST:: SOT 74703 SOS 18471 HAS SOPS 18471 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12967.471
AT ITER 9669 NEW BEST:: SOT 74700 SOS 18468 HAS SOPS 18468 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12964.468
AT ITER 9701 NEW BEST:: SOT 74700 SOS 18468 HAS SOPS 18468 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12955.468
AT ITER 9705 NEW BEST:: SOT 74715 SOS 18466 HAS SOPS 18466 HAS SOUS 12935 HAS SOUPS 12935 WITH SCORE 12953.466
AT ITER 9708 NEW BEST:: SOT 74718 SOS 18465 HAS SOPS 18465 HAS SOUS 12934 HAS SOUPS 12934 WITH SCORE 12952.465
AT ITER 9715 NEW BEST:: SOT 74554 SOS 18441 HAS SOPS 18441 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12938.441
AT ITER 9903 NEW BEST:: SOT 74554 SOS 18440 HAS SOPS 18440 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12937.44
AT ITER 9978 NEW BEST:: SOT 74546 SOS 18424 HAS SOPS 18424 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12937.424
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14726192 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156968 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="BusinessProcesses-PT-08"
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 BusinessProcesses-PT-08, 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 r035-tajo-167813688300512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-08.tgz
mv BusinessProcesses-PT-08 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;