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.r043-tajo-167813696900512.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 smartxred
Input is BusinessProcesses-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900512
=====================================================================

--------------------
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 1678790847277

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:47:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:47:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:47:28] [INFO ] Load time of PNML (sax parser for PT used): 55 ms
[2023-03-14 10:47:28] [INFO ] Transformed 393 places.
[2023-03-14 10:47:28] [INFO ] Transformed 344 transitions.
[2023-03-14 10:47:28] [INFO ] Found NUPN structural information;
[2023-03-14 10:47:28] [INFO ] Parsed PT model containing 393 places and 344 transitions and 911 arcs in 116 ms.
[2023-03-14 10:47:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 393 places, 344 transitions and 911 arcs took 5 ms.
Total runtime 147 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 2 NEW BEST:: SOT 85309 SOS 32505 HAS SOPS 32505 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30946.505
AT ITER 11 NEW BEST:: SOT 85086 SOS 32469 HAS SOPS 32469 HAS SOUS 30794 HAS SOUPS 30794 WITH SCORE 30826.469
AT ITER 20 NEW BEST:: SOT 84977 SOS 32251 HAS SOPS 32251 HAS SOUS 30576 HAS SOUPS 30576 WITH SCORE 30608.251
AT ITER 24 NEW BEST:: SOT 84974 SOS 32248 HAS SOPS 32248 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30605.248
AT ITER 27 NEW BEST:: SOT 84866 SOS 32083 HAS SOPS 32083 HAS SOUS 30408 HAS SOUPS 30408 WITH SCORE 30440.083
AT ITER 28 NEW BEST:: SOT 84866 SOS 32007 HAS SOPS 32007 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30364.007
AT ITER 43 NEW BEST:: SOT 84866 SOS 31978 HAS SOPS 31978 HAS SOUS 30303 HAS SOUPS 30303 WITH SCORE 30334.978
AT ITER 44 NEW BEST:: SOT 84942 SOS 32053 HAS SOPS 32053 HAS SOUS 30301 HAS SOUPS 30301 WITH SCORE 30333.053
AT ITER 47 NEW BEST:: SOT 84942 SOS 32053 HAS SOPS 32053 HAS SOUS 30299 HAS SOUPS 30299 WITH SCORE 30331.053
AT ITER 49 NEW BEST:: SOT 84942 SOS 32001 HAS SOPS 32001 HAS SOUS 30247 HAS SOUPS 30247 WITH SCORE 30279.001
AT ITER 53 NEW BEST:: SOT 84940 SOS 31954 HAS SOPS 31954 HAS SOUS 30200 HAS SOUPS 30200 WITH SCORE 30231.954
AT ITER 60 NEW BEST:: SOT 84838 SOS 31821 HAS SOPS 31821 HAS SOUS 30067 HAS SOUPS 30067 WITH SCORE 30098.821
AT ITER 67 NEW BEST:: SOT 84824 SOS 31844 HAS SOPS 31844 HAS SOUS 29940 HAS SOUPS 29940 WITH SCORE 29971.844
AT ITER 80 NEW BEST:: SOT 84824 SOS 31827 HAS SOPS 31827 HAS SOUS 29923 HAS SOUPS 29923 WITH SCORE 29954.827
AT ITER 84 NEW BEST:: SOT 84824 SOS 31813 HAS SOPS 31813 HAS SOUS 29909 HAS SOUPS 29909 WITH SCORE 29940.813
AT ITER 85 NEW BEST:: SOT 84791 SOS 31746 HAS SOPS 31746 HAS SOUS 29839 HAS SOUPS 29839 WITH SCORE 29870.746
AT ITER 92 NEW BEST:: SOT 84715 SOS 31656 HAS SOPS 31656 HAS SOUS 29749 HAS SOUPS 29749 WITH SCORE 29780.656
AT ITER 103 NEW BEST:: SOT 84615 SOS 31449 HAS SOPS 31449 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29573.449
AT ITER 104 NEW BEST:: SOT 84516 SOS 31336 HAS SOPS 31336 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29460.336
AT ITER 105 NEW BEST:: SOT 84409 SOS 31278 HAS SOPS 31278 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29412.278
AT ITER 111 NEW BEST:: SOT 84376 SOS 31252 HAS SOPS 31252 HAS SOUS 29355 HAS SOUPS 29355 WITH SCORE 29386.252
AT ITER 116 NEW BEST:: SOT 84338 SOS 31111 HAS SOPS 31111 HAS SOUS 29232 HAS SOUPS 29232 WITH SCORE 29263.111
AT ITER 127 NEW BEST:: SOT 84308 SOS 31051 HAS SOPS 31051 HAS SOUS 29202 HAS SOUPS 29202 WITH SCORE 29233.051
AT ITER 131 NEW BEST:: SOT 83983 SOS 30645 HAS SOPS 30645 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28858.645
AT ITER 135 NEW BEST:: SOT 84090 SOS 30651 HAS SOPS 30651 HAS SOUS 28749 HAS SOUPS 28749 WITH SCORE 28779.651
AT ITER 142 NEW BEST:: SOT 84041 SOS 30602 HAS SOPS 30602 HAS SOUS 28700 HAS SOUPS 28700 WITH SCORE 28730.602
AT ITER 145 NEW BEST:: SOT 83989 SOS 30498 HAS SOPS 30498 HAS SOUS 28596 HAS SOUPS 28596 WITH SCORE 28626.498
AT ITER 161 NEW BEST:: SOT 83906 SOS 30447 HAS SOPS 30447 HAS SOUS 28545 HAS SOUPS 28545 WITH SCORE 28575.447
AT ITER 174 NEW BEST:: SOT 83903 SOS 30442 HAS SOPS 30442 HAS SOUS 28540 HAS SOUPS 28540 WITH SCORE 28570.442
AT ITER 183 NEW BEST:: SOT 83902 SOS 30440 HAS SOPS 30440 HAS SOUS 28538 HAS SOUPS 28538 WITH SCORE 28568.44
AT ITER 193 NEW BEST:: SOT 83901 SOS 30439 HAS SOPS 30439 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28567.439
AT ITER 201 NEW BEST:: SOT 83796 SOS 30225 HAS SOPS 30225 HAS SOUS 28323 HAS SOUPS 28323 WITH SCORE 28353.225
AT ITER 203 NEW BEST:: SOT 83761 SOS 30190 HAS SOPS 30190 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28318.19
AT ITER 215 NEW BEST:: SOT 83700 SOS 30129 HAS SOPS 30129 HAS SOUS 28243 HAS SOUPS 28243 WITH SCORE 28273.129
AT ITER 244 NEW BEST:: SOT 83708 SOS 29574 HAS SOPS 29574 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27867.574
AT ITER 250 NEW BEST:: SOT 83757 SOS 29524 HAS SOPS 29524 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27803.524
AT ITER 272 NEW BEST:: SOT 83738 SOS 29505 HAS SOPS 29505 HAS SOUS 27755 HAS SOUPS 27755 WITH SCORE 27784.505
AT ITER 273 NEW BEST:: SOT 83738 SOS 29487 HAS SOPS 29487 HAS SOUS 27737 HAS SOUPS 27737 WITH SCORE 27766.487
AT ITER 291 NEW BEST:: SOT 83666 SOS 29343 HAS SOPS 29343 HAS SOUS 27665 HAS SOUPS 27665 WITH SCORE 27694.343
AT ITER 294 NEW BEST:: SOT 83625 SOS 29261 HAS SOPS 29261 HAS SOUS 27590 HAS SOUPS 27590 WITH SCORE 27619.261
AT ITER 309 NEW BEST:: SOT 83622 SOS 29255 HAS SOPS 29255 HAS SOUS 27587 HAS SOUPS 27587 WITH SCORE 27616.255
AT ITER 331 NEW BEST:: SOT 83620 SOS 29251 HAS SOPS 29251 HAS SOUS 27583 HAS SOUPS 27583 WITH SCORE 27612.251
AT ITER 338 NEW BEST:: SOT 83543 SOS 29097 HAS SOPS 29097 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27495.097
AT ITER 339 NEW BEST:: SOT 83543 SOS 29076 HAS SOPS 29076 HAS SOUS 27445 HAS SOUPS 27445 WITH SCORE 27474.076
AT ITER 342 NEW BEST:: SOT 83513 SOS 29008 HAS SOPS 29008 HAS SOUS 27383 HAS SOUPS 27383 WITH SCORE 27412.008
AT ITER 362 NEW BEST:: SOT 83512 SOS 29006 HAS SOPS 29006 HAS SOUS 27381 HAS SOUPS 27381 WITH SCORE 27410.006
AT ITER 372 NEW BEST:: SOT 83497 SOS 28959 HAS SOPS 28959 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27384.959
AT ITER 390 NEW BEST:: SOT 83466 SOS 28866 HAS SOPS 28866 HAS SOUS 27294 HAS SOUPS 27294 WITH SCORE 27322.866
AT ITER 399 NEW BEST:: SOT 83446 SOS 28824 HAS SOPS 28824 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27280.824
AT ITER 402 NEW BEST:: SOT 83446 SOS 28821 HAS SOPS 28821 HAS SOUS 27249 HAS SOUPS 27249 WITH SCORE 27277.821
AT ITER 407 NEW BEST:: SOT 83446 SOS 28743 HAS SOPS 28743 HAS SOUS 27171 HAS SOUPS 27171 WITH SCORE 27199.743
AT ITER 428 NEW BEST:: SOT 83391 SOS 28710 HAS SOPS 28710 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27166.71
AT ITER 433 NEW BEST:: SOT 83391 SOS 28602 HAS SOPS 28602 HAS SOUS 27030 HAS SOUPS 27030 WITH SCORE 27058.602
AT ITER 445 NEW BEST:: SOT 83311 SOS 28524 HAS SOPS 28524 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 26993.524
AT ITER 448 NEW BEST:: SOT 83125 SOS 28306 HAS SOPS 28306 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26663.306
AT ITER 472 NEW BEST:: SOT 83125 SOS 28266 HAS SOPS 28266 HAS SOUS 26595 HAS SOUPS 26595 WITH SCORE 26623.266
AT ITER 473 NEW BEST:: SOT 83060 SOS 28067 HAS SOPS 28067 HAS SOUS 26396 HAS SOUPS 26396 WITH SCORE 26424.067
AT ITER 481 NEW BEST:: SOT 83060 SOS 28029 HAS SOPS 28029 HAS SOUS 26358 HAS SOUPS 26358 WITH SCORE 26386.029
AT ITER 482 NEW BEST:: SOT 83080 SOS 27950 HAS SOPS 27950 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26245.95
AT ITER 500 NEW BEST:: SOT 83036 SOS 27845 HAS SOPS 27845 HAS SOUS 26125 HAS SOUPS 26125 WITH SCORE 26152.845
AT ITER 512 NEW BEST:: SOT 83059 SOS 27861 HAS SOPS 27861 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26138.861
AT ITER 513 NEW BEST:: SOT 83058 SOS 27755 HAS SOPS 27755 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26052.755
AT ITER 515 NEW BEST:: SOT 83007 SOS 27653 HAS SOPS 27653 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25933.653
AT ITER 536 NEW BEST:: SOT 82995 SOS 27641 HAS SOPS 27641 HAS SOUS 25894 HAS SOUPS 25894 WITH SCORE 25921.641
AT ITER 537 NEW BEST:: SOT 83004 SOS 27616 HAS SOPS 27616 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25896.616
AT ITER 539 NEW BEST:: SOT 83003 SOS 27614 HAS SOPS 27614 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25894.614
AT ITER 542 NEW BEST:: SOT 82976 SOS 27743 HAS SOPS 27743 HAS SOUS 25861 HAS SOUPS 25861 WITH SCORE 25888.743
AT ITER 553 NEW BEST:: SOT 82944 SOS 27679 HAS SOPS 27679 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25824.679
AT ITER 600 NEW BEST:: SOT 82944 SOS 27655 HAS SOPS 27655 HAS SOUS 25773 HAS SOUPS 25773 WITH SCORE 25800.655
AT ITER 614 NEW BEST:: SOT 82944 SOS 27640 HAS SOPS 27640 HAS SOUS 25773 HAS SOUPS 25773 WITH SCORE 25800.64
AT ITER 627 NEW BEST:: SOT 82944 SOS 27610 HAS SOPS 27610 HAS SOUS 25743 HAS SOUPS 25743 WITH SCORE 25770.61
AT ITER 635 NEW BEST:: SOT 82983 SOS 27558 HAS SOPS 27558 HAS SOUS 25677 HAS SOUPS 25677 WITH SCORE 25704.558
AT ITER 636 NEW BEST:: SOT 82915 SOS 27490 HAS SOPS 27490 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25636.49
AT ITER 642 NEW BEST:: SOT 81110 SOS 25867 HAS SOPS 25867 HAS SOUS 23893 HAS SOUPS 23893 WITH SCORE 23918.867
AT ITER 659 NEW BEST:: SOT 81107 SOS 25846 HAS SOPS 25846 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23897.846
AT ITER 664 NEW BEST:: SOT 81101 SOS 25834 HAS SOPS 25834 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23885.834
AT ITER 681 NEW BEST:: SOT 81106 SOS 25844 HAS SOPS 25844 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23883.844
AT ITER 697 NEW BEST:: SOT 81128 SOS 25844 HAS SOPS 25844 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23841.844
AT ITER 699 NEW BEST:: SOT 81081 SOS 25797 HAS SOPS 25797 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23816.797
AT ITER 700 NEW BEST:: SOT 81081 SOS 25797 HAS SOPS 25797 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23814.797
AT ITER 716 NEW BEST:: SOT 81058 SOS 25774 HAS SOPS 25774 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23791.774
AT ITER 739 NEW BEST:: SOT 81031 SOS 25696 HAS SOPS 25696 HAS SOUS 23699 HAS SOUPS 23699 WITH SCORE 23724.696
AT ITER 741 NEW BEST:: SOT 81031 SOS 25689 HAS SOPS 25689 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23717.689
AT ITER 748 NEW BEST:: SOT 81049 SOS 25636 HAS SOPS 25636 HAS SOUS 23637 HAS SOUPS 23637 WITH SCORE 23662.636
AT ITER 751 NEW BEST:: SOT 81053 SOS 25593 HAS SOPS 25593 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23615.593
AT ITER 773 NEW BEST:: SOT 81030 SOS 25555 HAS SOPS 25555 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23591.555
AT ITER 795 NEW BEST:: SOT 81021 SOS 25537 HAS SOPS 25537 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23573.537
AT ITER 804 NEW BEST:: SOT 80967 SOS 25510 HAS SOPS 25510 HAS SOUS 23494 HAS SOUPS 23494 WITH SCORE 23519.51
AT ITER 822 NEW BEST:: SOT 80743 SOS 25203 HAS SOPS 25203 HAS SOUS 23213 HAS SOUPS 23213 WITH SCORE 23238.203
AT ITER 872 NEW BEST:: SOT 80690 SOS 25153 HAS SOPS 25153 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23188.153
AT ITER 880 NEW BEST:: SOT 80633 SOS 24831 HAS SOPS 24831 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23074.831
AT ITER 883 NEW BEST:: SOT 80547 SOS 24659 HAS SOPS 24659 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22904.659
AT ITER 889 NEW BEST:: SOT 80598 SOS 24638 HAS SOPS 24638 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22883.638
AT ITER 891 NEW BEST:: SOT 80626 SOS 24694 HAS SOPS 24694 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22864.694
AT ITER 893 NEW BEST:: SOT 80620 SOS 24675 HAS SOPS 24675 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22845.675
AT ITER 922 NEW BEST:: SOT 80617 SOS 24672 HAS SOPS 24672 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22842.672
AT ITER 935 NEW BEST:: SOT 80596 SOS 24630 HAS SOPS 24630 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22821.63
AT ITER 963 NEW BEST:: SOT 80559 SOS 24556 HAS SOPS 24556 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22784.556
AT ITER 971 NEW BEST:: SOT 80514 SOS 24511 HAS SOPS 24511 HAS SOUS 22715 HAS SOUPS 22715 WITH SCORE 22739.511
AT ITER 973 NEW BEST:: SOT 80514 SOS 24430 HAS SOPS 24430 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22658.43
AT ITER 983 NEW BEST:: SOT 80514 SOS 24394 HAS SOPS 24394 HAS SOUS 22598 HAS SOUPS 22598 WITH SCORE 22622.394
AT ITER 984 NEW BEST:: SOT 80503 SOS 24360 HAS SOPS 24360 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22610.36
AT ITER 1005 NEW BEST:: SOT 80510 SOS 24348 HAS SOPS 24348 HAS SOUS 22574 HAS SOUPS 22574 WITH SCORE 22598.348
AT ITER 1028 NEW BEST:: SOT 80473 SOS 24277 HAS SOPS 24277 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22527.277
AT ITER 1031 NEW BEST:: SOT 80445 SOS 24221 HAS SOPS 24221 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22471.221
AT ITER 1036 NEW BEST:: SOT 80435 SOS 24201 HAS SOPS 24201 HAS SOUS 22427 HAS SOUPS 22427 WITH SCORE 22451.201
AT ITER 1040 NEW BEST:: SOT 80412 SOS 24178 HAS SOPS 24178 HAS SOUS 22404 HAS SOUPS 22404 WITH SCORE 22428.178
AT ITER 1047 NEW BEST:: SOT 80440 SOS 24108 HAS SOPS 24108 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22292.108
AT ITER 1064 NEW BEST:: SOT 80414 SOS 24082 HAS SOPS 24082 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22266.082
AT ITER 1074 NEW BEST:: SOT 80414 SOS 23868 HAS SOPS 23868 HAS SOUS 22238 HAS SOUPS 22238 WITH SCORE 22261.868
AT ITER 1083 NEW BEST:: SOT 80365 SOS 23749 HAS SOPS 23749 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22142.749
AT ITER 1091 NEW BEST:: SOT 80381 SOS 23719 HAS SOPS 23719 HAS SOUS 22047 HAS SOUPS 22047 WITH SCORE 22070.719
AT ITER 1094 NEW BEST:: SOT 80382 SOS 23649 HAS SOPS 23649 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21938.649
AT ITER 1096 NEW BEST:: SOT 80417 SOS 23647 HAS SOPS 23647 HAS SOUS 21913 HAS SOUPS 21913 WITH SCORE 21936.647
AT ITER 1105 NEW BEST:: SOT 80417 SOS 23647 HAS SOPS 23647 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21930.647
AT ITER 1111 NEW BEST:: SOT 80404 SOS 23539 HAS SOPS 23539 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21822.539
AT ITER 1113 NEW BEST:: SOT 80404 SOS 23504 HAS SOPS 23504 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21787.504
AT ITER 1128 NEW BEST:: SOT 80420 SOS 23498 HAS SOPS 23498 HAS SOUS 21758 HAS SOUPS 21758 WITH SCORE 21781.498
AT ITER 1130 NEW BEST:: SOT 80380 SOS 23453 HAS SOPS 23453 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21694.453
AT ITER 1142 NEW BEST:: SOT 80324 SOS 23341 HAS SOPS 23341 HAS SOUS 21583 HAS SOUPS 21583 WITH SCORE 21606.341
AT ITER 1173 NEW BEST:: SOT 80324 SOS 23323 HAS SOPS 23323 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21588.323
AT ITER 1189 NEW BEST:: SOT 80311 SOS 23310 HAS SOPS 23310 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21575.31
AT ITER 1218 NEW BEST:: SOT 80256 SOS 23200 HAS SOPS 23200 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21465.2
AT ITER 1233 NEW BEST:: SOT 80264 SOS 23172 HAS SOPS 23172 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21437.172
AT ITER 1254 NEW BEST:: SOT 80271 SOS 23144 HAS SOPS 23144 HAS SOUS 21396 HAS SOUPS 21396 WITH SCORE 21419.144
AT ITER 1258 NEW BEST:: SOT 80271 SOS 23143 HAS SOPS 23143 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21418.143
AT ITER 1278 NEW BEST:: SOT 80247 SOS 23095 HAS SOPS 23095 HAS SOUS 21351 HAS SOUPS 21351 WITH SCORE 21374.095
AT ITER 1282 NEW BEST:: SOT 80202 SOS 23068 HAS SOPS 23068 HAS SOUS 21324 HAS SOUPS 21324 WITH SCORE 21347.068
AT ITER 1289 NEW BEST:: SOT 80202 SOS 23062 HAS SOPS 23062 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21341.062
AT ITER 1303 NEW BEST:: SOT 80273 SOS 23090 HAS SOPS 23090 HAS SOUS 21285 HAS SOUPS 21285 WITH SCORE 21308.09
AT ITER 1313 NEW BEST:: SOT 80273 SOS 23090 HAS SOPS 23090 HAS SOUS 21277 HAS SOUPS 21277 WITH SCORE 21300.09
AT ITER 1336 NEW BEST:: SOT 80270 SOS 23084 HAS SOPS 23084 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21294.084
AT ITER 1349 NEW BEST:: SOT 80226 SOS 23026 HAS SOPS 23026 HAS SOUS 21227 HAS SOUPS 21227 WITH SCORE 21250.026
AT ITER 1350 NEW BEST:: SOT 78858 SOS 30302 HAS SOPS 30302 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20333.302
AT ITER 1355 NEW BEST:: SOT 78858 SOS 30302 HAS SOPS 30302 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20330.302
AT ITER 1356 NEW BEST:: SOT 78819 SOS 30176 HAS SOPS 30176 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20318.176
AT ITER 1362 NEW BEST:: SOT 78725 SOS 29989 HAS SOPS 29989 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20288.989
AT ITER 1378 NEW BEST:: SOT 78668 SOS 29930 HAS SOPS 29930 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20229.93
AT ITER 1395 NEW BEST:: SOT 78608 SOS 29870 HAS SOPS 29870 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20229.87
AT ITER 1411 NEW BEST:: SOT 78600 SOS 29854 HAS SOPS 29854 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20227.854
AT ITER 1412 NEW BEST:: SOT 78544 SOS 29604 HAS SOPS 29604 HAS SOUS 20085 HAS SOUPS 20085 WITH SCORE 20114.604
AT ITER 1424 NEW BEST:: SOT 78539 SOS 29594 HAS SOPS 29594 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20104.594
AT ITER 1450 NEW BEST:: SOT 78504 SOS 29251 HAS SOPS 29251 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20024.251
AT ITER 1452 NEW BEST:: SOT 78511 SOS 29258 HAS SOPS 29258 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20018.258
AT ITER 1475 NEW BEST:: SOT 78510 SOS 29256 HAS SOPS 29256 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20016.256
AT ITER 1476 NEW BEST:: SOT 78498 SOS 29184 HAS SOPS 29184 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19944.184
AT ITER 1479 NEW BEST:: SOT 78479 SOS 29146 HAS SOPS 29146 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19906.146
AT ITER 1499 NEW BEST:: SOT 78401 SOS 28786 HAS SOPS 28786 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19800.786
AT ITER 1520 NEW BEST:: SOT 78409 SOS 28794 HAS SOPS 28794 HAS SOUS 19771 HAS SOUPS 19771 WITH SCORE 19799.794
AT ITER 1533 NEW BEST:: SOT 78359 SOS 28694 HAS SOPS 28694 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19720.694
AT ITER 1552 NEW BEST:: SOT 78309 SOS 28643 HAS SOPS 28643 HAS SOUS 19690 HAS SOUPS 19690 WITH SCORE 19718.643
AT ITER 1554 NEW BEST:: SOT 78120 SOS 28443 HAS SOPS 28443 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19512.443
AT ITER 1560 NEW BEST:: SOT 78109 SOS 28412 HAS SOPS 28412 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19501.412
AT ITER 1569 NEW BEST:: SOT 78097 SOS 28388 HAS SOPS 28388 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19477.388
AT ITER 1598 NEW BEST:: SOT 78104 SOS 28379 HAS SOPS 28379 HAS SOUS 19440 HAS SOUPS 19440 WITH SCORE 19468.379
AT ITER 1601 NEW BEST:: SOT 78102 SOS 28377 HAS SOPS 28377 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19466.377
AT ITER 1613 NEW BEST:: SOT 78036 SOS 28305 HAS SOPS 28305 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19394.305
AT ITER 1622 NEW BEST:: SOT 78018 SOS 28254 HAS SOPS 28254 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19374.254
AT ITER 1625 NEW BEST:: SOT 77865 SOS 27948 HAS SOPS 27948 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19312.948
AT ITER 1634 NEW BEST:: SOT 77838 SOS 27935 HAS SOPS 27935 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19300.935
AT ITER 1670 NEW BEST:: SOT 77770 SOS 27867 HAS SOPS 27867 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19256.867
AT ITER 1693 NEW BEST:: SOT 77770 SOS 27861 HAS SOPS 27861 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19250.861
AT ITER 1694 NEW BEST:: SOT 77762 SOS 27810 HAS SOPS 27810 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19199.81
AT ITER 1699 NEW BEST:: SOT 77719 SOS 27768 HAS SOPS 27768 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19157.768
AT ITER 1707 NEW BEST:: SOT 77716 SOS 27765 HAS SOPS 27765 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19154.765
AT ITER 1712 NEW BEST:: SOT 77729 SOS 27683 HAS SOPS 27683 HAS SOUS 19044 HAS SOUPS 19044 WITH SCORE 19071.683
AT ITER 1714 NEW BEST:: SOT 77705 SOS 27659 HAS SOPS 27659 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19047.659
AT ITER 1723 NEW BEST:: SOT 77735 SOS 27670 HAS SOPS 27670 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19028.67
AT ITER 1726 NEW BEST:: SOT 77709 SOS 27622 HAS SOPS 27622 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18980.622
AT ITER 1768 NEW BEST:: SOT 77709 SOS 27619 HAS SOPS 27619 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18977.619
AT ITER 1773 NEW BEST:: SOT 77722 SOS 27618 HAS SOPS 27618 HAS SOUS 18949 HAS SOUPS 18949 WITH SCORE 18976.618
AT ITER 1808 NEW BEST:: SOT 77721 SOS 27616 HAS SOPS 27616 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18974.616
AT ITER 1818 NEW BEST:: SOT 77681 SOS 27576 HAS SOPS 27576 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18905.576
AT ITER 1824 NEW BEST:: SOT 77635 SOS 27484 HAS SOPS 27484 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18899.484
AT ITER 1849 NEW BEST:: SOT 77607 SOS 27456 HAS SOPS 27456 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18871.456
AT ITER 1855 NEW BEST:: SOT 77591 SOS 27411 HAS SOPS 27411 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18861.411
AT ITER 1859 NEW BEST:: SOT 77547 SOS 27323 HAS SOPS 27323 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18771.323
AT ITER 1877 NEW BEST:: SOT 77468 SOS 27244 HAS SOPS 27244 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18692.244
AT ITER 1883 NEW BEST:: SOT 77437 SOS 27151 HAS SOPS 27151 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18626.151
AT ITER 1907 NEW BEST:: SOT 77467 SOS 27130 HAS SOPS 27130 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18605.13
AT ITER 1919 NEW BEST:: SOT 77474 SOS 27115 HAS SOPS 27115 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18561.115
AT ITER 1921 NEW BEST:: SOT 77482 SOS 27111 HAS SOPS 27111 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18525.111
AT ITER 1922 NEW BEST:: SOT 77471 SOS 27100 HAS SOPS 27100 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18525.1
AT ITER 1925 NEW BEST:: SOT 77450 SOS 27051 HAS SOPS 27051 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18476.051
AT ITER 1932 NEW BEST:: SOT 77481 SOS 26906 HAS SOPS 26906 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18330.906
AT ITER 1946 NEW BEST:: SOT 77453 SOS 26850 HAS SOPS 26850 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18302.85
AT ITER 1954 NEW BEST:: SOT 77465 SOS 26809 HAS SOPS 26809 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18293.809
AT ITER 1955 NEW BEST:: SOT 77490 SOS 26806 HAS SOPS 26806 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18280.806
AT ITER 1963 NEW BEST:: SOT 77440 SOS 26706 HAS SOPS 26706 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18219.706
AT ITER 1980 NEW BEST:: SOT 77426 SOS 26692 HAS SOPS 26692 HAS SOUS 18179 HAS SOUPS 18179 WITH SCORE 18205.692
AT ITER 1982 NEW BEST:: SOT 77426 SOS 26679 HAS SOPS 26679 HAS SOUS 18178 HAS SOUPS 18178 WITH SCORE 18204.679
AT ITER 1989 NEW BEST:: SOT 77404 SOS 26667 HAS SOPS 26667 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18192.667
AT ITER 1996 NEW BEST:: SOT 77368 SOS 26625 HAS SOPS 26625 HAS SOUS 18154 HAS SOUPS 18154 WITH SCORE 18180.625
AT ITER 2011 NEW BEST:: SOT 77374 SOS 26610 HAS SOPS 26610 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18110.61
AT ITER 2044 NEW BEST:: SOT 77297 SOS 26494 HAS SOPS 26494 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18033.494
AT ITER 2056 NEW BEST:: SOT 77282 SOS 26347 HAS SOPS 26347 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17874.347
AT ITER 2058 NEW BEST:: SOT 77263 SOS 26328 HAS SOPS 26328 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17855.328
AT ITER 2064 NEW BEST:: SOT 77257 SOS 26229 HAS SOPS 26229 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17843.229
AT ITER 2075 NEW BEST:: SOT 77257 SOS 26195 HAS SOPS 26195 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17827.195
AT ITER 2076 NEW BEST:: SOT 77221 SOS 26123 HAS SOPS 26123 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17767.123
AT ITER 2078 NEW BEST:: SOT 77197 SOS 26112 HAS SOPS 26112 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17752.112
AT ITER 2085 NEW BEST:: SOT 77197 SOS 26112 HAS SOPS 26112 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17723.112
AT ITER 2119 NEW BEST:: SOT 77143 SOS 26115 HAS SOPS 26115 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17714.115
AT ITER 2122 NEW BEST:: SOT 77143 SOS 26096 HAS SOPS 26096 HAS SOUS 17669 HAS SOUPS 17669 WITH SCORE 17695.096
AT ITER 2123 NEW BEST:: SOT 77120 SOS 26073 HAS SOPS 26073 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17672.073
AT ITER 2141 NEW BEST:: SOT 77120 SOS 26064 HAS SOPS 26064 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17655.064
AT ITER 2142 NEW BEST:: SOT 77057 SOS 25981 HAS SOPS 25981 HAS SOUS 17589 HAS SOUPS 17589 WITH SCORE 17614.981
AT ITER 2155 NEW BEST:: SOT 77049 SOS 25965 HAS SOPS 25965 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17598.965
AT ITER 2184 NEW BEST:: SOT 77047 SOS 25961 HAS SOPS 25961 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17594.961
AT ITER 2185 NEW BEST:: SOT 77074 SOS 25835 HAS SOPS 25835 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17521.835
AT ITER 2195 NEW BEST:: SOT 77065 SOS 25817 HAS SOPS 25817 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17503.817
AT ITER 2198 NEW BEST:: SOT 77085 SOS 25833 HAS SOPS 25833 HAS SOUS 17470 HAS SOUPS 17470 WITH SCORE 17495.833
AT ITER 2216 NEW BEST:: SOT 77080 SOS 25829 HAS SOPS 25829 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17485.829
AT ITER 2217 NEW BEST:: SOT 77079 SOS 25827 HAS SOPS 25827 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17483.827
AT ITER 2219 NEW BEST:: SOT 77056 SOS 25804 HAS SOPS 25804 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17459.804
AT ITER 2221 NEW BEST:: SOT 77071 SOS 25819 HAS SOPS 25819 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17457.819
AT ITER 2243 NEW BEST:: SOT 77071 SOS 25811 HAS SOPS 25811 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.811
AT ITER 2260 NEW BEST:: SOT 77085 SOS 25803 HAS SOPS 25803 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17405.803
AT ITER 2298 NEW BEST:: SOT 77073 SOS 25767 HAS SOPS 25767 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17369.767
AT ITER 2302 NEW BEST:: SOT 77055 SOS 25749 HAS SOPS 25749 HAS SOUS 17326 HAS SOUPS 17326 WITH SCORE 17351.749
AT ITER 2324 NEW BEST:: SOT 77038 SOS 25715 HAS SOPS 25715 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17317.715
AT ITER 2352 NEW BEST:: SOT 77002 SOS 25643 HAS SOPS 25643 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17280.643
AT ITER 2361 NEW BEST:: SOT 77002 SOS 25643 HAS SOPS 25643 HAS SOUS 17254 HAS SOUPS 17254 WITH SCORE 17279.643
AT ITER 2402 NEW BEST:: SOT 77002 SOS 25633 HAS SOPS 25633 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17269.633
AT ITER 2405 NEW BEST:: SOT 77005 SOS 25636 HAS SOPS 25636 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17267.636
AT ITER 2406 NEW BEST:: SOT 77001 SOS 25683 HAS SOPS 25683 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17253.683
AT ITER 2417 NEW BEST:: SOT 76999 SOS 25679 HAS SOPS 25679 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17251.679
AT ITER 2435 NEW BEST:: SOT 77004 SOS 25644 HAS SOPS 25644 HAS SOUS 17214 HAS SOUPS 17214 WITH SCORE 17239.644
AT ITER 2453 NEW BEST:: SOT 76997 SOS 25614 HAS SOPS 25614 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17230.614
AT ITER 2476 NEW BEST:: SOT 76997 SOS 25614 HAS SOPS 25614 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17227.614
AT ITER 2505 NEW BEST:: SOT 76997 SOS 25614 HAS SOPS 25614 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17224.614
AT ITER 2506 NEW BEST:: SOT 76796 SOS 25326 HAS SOPS 25326 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16936.326
AT ITER 2515 NEW BEST:: SOT 76784 SOS 25314 HAS SOPS 25314 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16924.314
AT ITER 2520 NEW BEST:: SOT 76784 SOS 25244 HAS SOPS 25244 HAS SOUS 16829 HAS SOUPS 16829 WITH SCORE 16854.244
AT ITER 2553 NEW BEST:: SOT 76784 SOS 25244 HAS SOPS 25244 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16850.244
AT ITER 2558 NEW BEST:: SOT 76762 SOS 25171 HAS SOPS 25171 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16838.171
AT ITER 2565 NEW BEST:: SOT 76762 SOS 25171 HAS SOPS 25171 HAS SOUS 16792 HAS SOUPS 16792 WITH SCORE 16817.171
AT ITER 2586 NEW BEST:: SOT 76743 SOS 25133 HAS SOPS 25133 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16803.133
AT ITER 2608 NEW BEST:: SOT 76825 SOS 25129 HAS SOPS 25129 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16799.129
AT ITER 2623 NEW BEST:: SOT 76825 SOS 25111 HAS SOPS 25111 HAS SOUS 16756 HAS SOUPS 16756 WITH SCORE 16781.111
AT ITER 2627 NEW BEST:: SOT 76823 SOS 25107 HAS SOPS 25107 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16779.107
AT ITER 2643 NEW BEST:: SOT 76805 SOS 25105 HAS SOPS 25105 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16777.105
AT ITER 2662 NEW BEST:: SOT 76789 SOS 25089 HAS SOPS 25089 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16769.089
AT ITER 2676 NEW BEST:: SOT 76789 SOS 25089 HAS SOPS 25089 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16728.089
AT ITER 2690 NEW BEST:: SOT 76768 SOS 25088 HAS SOPS 25088 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16727.088
AT ITER 2702 NEW BEST:: SOT 76746 SOS 25066 HAS SOPS 25066 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16705.066
AT ITER 2711 NEW BEST:: SOT 76748 SOS 25058 HAS SOPS 25058 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16685.058
AT ITER 2741 NEW BEST:: SOT 76748 SOS 25057 HAS SOPS 25057 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16684.057
AT ITER 2790 NEW BEST:: SOT 76748 SOS 25050 HAS SOPS 25050 HAS SOUS 16658 HAS SOUPS 16658 WITH SCORE 16683.05
AT ITER 2793 NEW BEST:: SOT 76755 SOS 25040 HAS SOPS 25040 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16673.04
AT ITER 2817 NEW BEST:: SOT 76765 SOS 24979 HAS SOPS 24979 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16631.979
AT ITER 2828 NEW BEST:: SOT 76739 SOS 24975 HAS SOPS 24975 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16627.975
AT ITER 2841 NEW BEST:: SOT 76724 SOS 24945 HAS SOPS 24945 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16612.945
AT ITER 2935 NEW BEST:: SOT 76723 SOS 24944 HAS SOPS 24944 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16612.944
AT ITER 2962 NEW BEST:: SOT 76757 SOS 24964 HAS SOPS 24964 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16608.964
AT ITER 2964 NEW BEST:: SOT 76757 SOS 24939 HAS SOPS 24939 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16608.939
AT ITER 2985 NEW BEST:: SOT 76731 SOS 24813 HAS SOPS 24813 HAS SOUS 16521 HAS SOUPS 16521 WITH SCORE 16545.813
AT ITER 2994 NEW BEST:: SOT 76766 SOS 24810 HAS SOPS 24810 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16542.81
AT ITER 2997 NEW BEST:: SOT 76736 SOS 24576 HAS SOPS 24576 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16440.576
AT ITER 3005 NEW BEST:: SOT 76735 SOS 24574 HAS SOPS 24574 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16438.574
AT ITER 3042 NEW BEST:: SOT 76722 SOS 24548 HAS SOPS 24548 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16412.548
AT ITER 3058 NEW BEST:: SOT 76736 SOS 24576 HAS SOPS 24576 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16410.576
AT ITER 3062 NEW BEST:: SOT 76715 SOS 24555 HAS SOPS 24555 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16410.555
AT ITER 3066 NEW BEST:: SOT 76667 SOS 24459 HAS SOPS 24459 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16364.459
AT ITER 3089 NEW BEST:: SOT 76667 SOS 24447 HAS SOPS 24447 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16364.447
AT ITER 3110 NEW BEST:: SOT 76632 SOS 24386 HAS SOPS 24386 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16303.386
AT ITER 3116 NEW BEST:: SOT 76624 SOS 24378 HAS SOPS 24378 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16295.378
AT ITER 3138 NEW BEST:: SOT 76591 SOS 24389 HAS SOPS 24389 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16266.389
AT ITER 3142 NEW BEST:: SOT 76580 SOS 24381 HAS SOPS 24381 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16258.381
AT ITER 3144 NEW BEST:: SOT 76553 SOS 24354 HAS SOPS 24354 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16258.354
AT ITER 3191 NEW BEST:: SOT 76553 SOS 24353 HAS SOPS 24353 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16258.353
AT ITER 3228 NEW BEST:: SOT 76544 SOS 24351 HAS SOPS 24351 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16240.351
AT ITER 3314 NEW BEST:: SOT 76530 SOS 24336 HAS SOPS 24336 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16238.336
AT ITER 3324 NEW BEST:: SOT 76537 SOS 24332 HAS SOPS 24332 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16234.332
AT ITER 3348 NEW BEST:: SOT 76511 SOS 24306 HAS SOPS 24306 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16221.306
AT ITER 3361 NEW BEST:: SOT 76492 SOS 24283 HAS SOPS 24283 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16198.283
AT ITER 3379 NEW BEST:: SOT 76481 SOS 24261 HAS SOPS 24261 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16172.261
AT ITER 3398 NEW BEST:: SOT 76406 SOS 24212 HAS SOPS 24212 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16123.212
AT ITER 3460 NEW BEST:: SOT 76406 SOS 24202 HAS SOPS 24202 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16103.202
AT ITER 3481 NEW BEST:: SOT 76406 SOS 24222 HAS SOPS 24222 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16095.222
AT ITER 3497 NEW BEST:: SOT 76406 SOS 24203 HAS SOPS 24203 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16075.203
AT ITER 3512 NEW BEST:: SOT 76359 SOS 24137 HAS SOPS 24137 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16037.137
AT ITER 3550 NEW BEST:: SOT 76350 SOS 24119 HAS SOPS 24119 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16019.119
AT ITER 3608 NEW BEST:: SOT 76344 SOS 24113 HAS SOPS 24113 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16013.113
AT ITER 3622 NEW BEST:: SOT 76343 SOS 24112 HAS SOPS 24112 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16012.112
AT ITER 3629 NEW BEST:: SOT 76340 SOS 24109 HAS SOPS 24109 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16012.109
AT ITER 3668 NEW BEST:: SOT 76340 SOS 24109 HAS SOPS 24109 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 16001.109
AT ITER 3678 NEW BEST:: SOT 76352 SOS 24119 HAS SOPS 24119 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15997.119
AT ITER 3722 NEW BEST:: SOT 76348 SOS 24111 HAS SOPS 24111 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15995.111
AT ITER 3737 NEW BEST:: SOT 76352 SOS 24119 HAS SOPS 24119 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15969.119
AT ITER 3745 NEW BEST:: SOT 76343 SOS 24110 HAS SOPS 24110 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15960.11
AT ITER 3776 NEW BEST:: SOT 76332 SOS 24088 HAS SOPS 24088 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15938.088
AT ITER 3778 NEW BEST:: SOT 76329 SOS 24079 HAS SOPS 24079 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15929.079
AT ITER 3807 NEW BEST:: SOT 76355 SOS 24074 HAS SOPS 24074 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15893.074
AT ITER 3851 NEW BEST:: SOT 76324 SOS 24032 HAS SOPS 24032 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15871.032
AT ITER 3863 NEW BEST:: SOT 76349 SOS 24022 HAS SOPS 24022 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15861.022
AT ITER 3865 NEW BEST:: SOT 76349 SOS 23979 HAS SOPS 23979 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15845.979
AT ITER 3883 NEW BEST:: SOT 76330 SOS 23941 HAS SOPS 23941 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15807.941
AT ITER 3894 NEW BEST:: SOT 76314 SOS 23968 HAS SOPS 23968 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15777.968
AT ITER 3911 NEW BEST:: SOT 76328 SOS 23975 HAS SOPS 23975 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15775.975
AT ITER 3923 NEW BEST:: SOT 76423 SOS 23975 HAS SOPS 23975 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15755.975
AT ITER 3972 NEW BEST:: SOT 76416 SOS 23961 HAS SOPS 23961 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15751.961
AT ITER 3981 NEW BEST:: SOT 76383 SOS 23927 HAS SOPS 23927 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15725.927
AT ITER 4013 NEW BEST:: SOT 76383 SOS 23938 HAS SOPS 23938 HAS SOUS 15691 HAS SOUPS 15691 WITH SCORE 15714.938
AT ITER 4059 NEW BEST:: SOT 76379 SOS 23934 HAS SOPS 23934 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15710.934
AT ITER 4064 NEW BEST:: SOT 76314 SOS 23877 HAS SOPS 23877 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15692.877
AT ITER 4068 NEW BEST:: SOT 76314 SOS 23877 HAS SOPS 23877 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15632.877
AT ITER 4078 NEW BEST:: SOT 76292 SOS 23811 HAS SOPS 23811 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15566.811
AT ITER 4145 NEW BEST:: SOT 76291 SOS 23787 HAS SOPS 23787 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15542.787
AT ITER 4155 NEW BEST:: SOT 76247 SOS 23743 HAS SOPS 23743 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15498.743
AT ITER 4177 NEW BEST:: SOT 76247 SOS 23739 HAS SOPS 23739 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15494.739
AT ITER 4181 NEW BEST:: SOT 76243 SOS 23731 HAS SOPS 23731 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15490.731
AT ITER 4196 NEW BEST:: SOT 76237 SOS 23699 HAS SOPS 23699 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15474.699
AT ITER 4221 NEW BEST:: SOT 76210 SOS 23672 HAS SOPS 23672 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15474.672
AT ITER 4258 NEW BEST:: SOT 76194 SOS 23662 HAS SOPS 23662 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15464.662
AT ITER 4300 NEW BEST:: SOT 76182 SOS 23638 HAS SOPS 23638 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15459.638
AT ITER 4312 NEW BEST:: SOT 76182 SOS 23636 HAS SOPS 23636 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15457.636
AT ITER 4314 NEW BEST:: SOT 76182 SOS 23629 HAS SOPS 23629 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15450.629
AT ITER 4351 NEW BEST:: SOT 76180 SOS 23625 HAS SOPS 23625 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15448.625
AT ITER 4357 NEW BEST:: SOT 76258 SOS 23610 HAS SOPS 23610 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15433.61
AT ITER 4393 NEW BEST:: SOT 76258 SOS 23597 HAS SOPS 23597 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15407.597
AT ITER 4400 NEW BEST:: SOT 76254 SOS 23593 HAS SOPS 23593 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15407.593
AT ITER 4408 NEW BEST:: SOT 76259 SOS 23578 HAS SOPS 23578 HAS SOUS 15369 HAS SOUPS 15369 WITH SCORE 15392.578
AT ITER 4447 NEW BEST:: SOT 76253 SOS 23560 HAS SOPS 23560 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15386.56
AT ITER 4473 NEW BEST:: SOT 76246 SOS 23553 HAS SOPS 23553 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15379.553
AT ITER 4478 NEW BEST:: SOT 76241 SOS 23548 HAS SOPS 23548 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15374.548
AT ITER 4496 NEW BEST:: SOT 76234 SOS 23534 HAS SOPS 23534 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15374.534
AT ITER 4518 NEW BEST:: SOT 76234 SOS 23492 HAS SOPS 23492 HAS SOUS 15267 HAS SOUPS 15267 WITH SCORE 15290.492
AT ITER 4563 NEW BEST:: SOT 76224 SOS 23472 HAS SOPS 23472 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15270.472
AT ITER 4595 NEW BEST:: SOT 76204 SOS 23452 HAS SOPS 23452 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15259.452
AT ITER 4635 NEW BEST:: SOT 76193 SOS 23430 HAS SOPS 23430 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15251.43
AT ITER 4679 NEW BEST:: SOT 76135 SOS 23388 HAS SOPS 23388 HAS SOUS 15197 HAS SOUPS 15197 WITH SCORE 15220.388
AT ITER 4681 NEW BEST:: SOT 76192 SOS 23383 HAS SOPS 23383 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15215.383
AT ITER 4682 NEW BEST:: SOT 76182 SOS 23373 HAS SOPS 23373 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15205.373
AT ITER 4739 NEW BEST:: SOT 76174 SOS 23357 HAS SOPS 23357 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15189.357
AT ITER 4745 NEW BEST:: SOT 76139 SOS 23325 HAS SOPS 23325 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15185.325
AT ITER 4749 NEW BEST:: SOT 76123 SOS 23309 HAS SOPS 23309 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15169.309
AT ITER 4756 NEW BEST:: SOT 76118 SOS 23299 HAS SOPS 23299 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15152.299
AT ITER 4767 NEW BEST:: SOT 76128 SOS 23264 HAS SOPS 23264 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15141.264
AT ITER 4776 NEW BEST:: SOT 76128 SOS 23254 HAS SOPS 23254 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15141.254
AT ITER 4800 NEW BEST:: SOT 76128 SOS 23254 HAS SOPS 23254 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15132.254
AT ITER 4845 NEW BEST:: SOT 76125 SOS 23253 HAS SOPS 23253 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15131.253
AT ITER 4850 NEW BEST:: SOT 76102 SOS 23207 HAS SOPS 23207 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15079.207
AT ITER 4862 NEW BEST:: SOT 76087 SOS 23177 HAS SOPS 23177 HAS SOUS 15041 HAS SOUPS 15041 WITH SCORE 15064.177
AT ITER 4865 NEW BEST:: SOT 76081 SOS 23165 HAS SOPS 23165 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15052.165
AT ITER 4875 NEW BEST:: SOT 76079 SOS 23161 HAS SOPS 23161 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15048.161
AT ITER 4916 NEW BEST:: SOT 76077 SOS 23159 HAS SOPS 23159 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15048.159
AT ITER 4920 NEW BEST:: SOT 76077 SOS 23149 HAS SOPS 23149 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15038.149
AT ITER 4966 NEW BEST:: SOT 76071 SOS 23143 HAS SOPS 23143 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15032.143
AT ITER 4969 NEW BEST:: SOT 76067 SOS 23143 HAS SOPS 23143 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15028.143
AT ITER 5085 NEW BEST:: SOT 76074 SOS 23136 HAS SOPS 23136 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15021.136
AT ITER 5098 NEW BEST:: SOT 76052 SOS 23107 HAS SOPS 23107 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15007.107
AT ITER 5158 NEW BEST:: SOT 76056 SOS 23106 HAS SOPS 23106 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14997.106
AT ITER 5172 NEW BEST:: SOT 76032 SOS 23094 HAS SOPS 23094 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14985.094
AT ITER 5179 NEW BEST:: SOT 76031 SOS 23093 HAS SOPS 23093 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14984.093
AT ITER 5218 NEW BEST:: SOT 75999 SOS 23078 HAS SOPS 23078 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14976.078
AT ITER 5230 NEW BEST:: SOT 75967 SOS 23041 HAS SOPS 23041 HAS SOUS 14943 HAS SOUPS 14943 WITH SCORE 14966.041
AT ITER 5267 NEW BEST:: SOT 75963 SOS 23040 HAS SOPS 23040 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14965.04
AT ITER 5283 NEW BEST:: SOT 75953 SOS 23025 HAS SOPS 23025 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14950.025
AT ITER 5307 NEW BEST:: SOT 75948 SOS 23018 HAS SOPS 23018 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14946.018
AT ITER 5310 NEW BEST:: SOT 75948 SOS 22949 HAS SOPS 22949 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14935.949
AT ITER 5352 NEW BEST:: SOT 75948 SOS 22931 HAS SOPS 22931 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14917.931
AT ITER 5371 NEW BEST:: SOT 75948 SOS 22937 HAS SOPS 22937 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14904.937
AT ITER 5382 NEW BEST:: SOT 75971 SOS 22933 HAS SOPS 22933 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14900.933
AT ITER 5388 NEW BEST:: SOT 75918 SOS 22827 HAS SOPS 22827 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14794.827
AT ITER 5437 NEW BEST:: SOT 75915 SOS 22821 HAS SOPS 22821 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14788.821
AT ITER 5571 NEW BEST:: SOT 75913 SOS 22817 HAS SOPS 22817 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14784.817
AT ITER 5606 NEW BEST:: SOT 75910 SOS 22794 HAS SOPS 22794 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14703.794
AT ITER 5660 NEW BEST:: SOT 75908 SOS 22792 HAS SOPS 22792 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14701.792
AT ITER 5664 NEW BEST:: SOT 75911 SOS 22769 HAS SOPS 22769 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14678.769
AT ITER 5707 NEW BEST:: SOT 75911 SOS 22759 HAS SOPS 22759 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14668.759
AT ITER 5715 NEW BEST:: SOT 75886 SOS 22709 HAS SOPS 22709 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14618.709
AT ITER 5760 NEW BEST:: SOT 75886 SOS 22715 HAS SOPS 22715 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14615.715
AT ITER 5786 NEW BEST:: SOT 75885 SOS 22713 HAS SOPS 22713 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14613.713
AT ITER 5824 NEW BEST:: SOT 75860 SOS 22663 HAS SOPS 22663 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14584.663
AT ITER 5865 NEW BEST:: SOT 75855 SOS 22653 HAS SOPS 22653 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14574.653
AT ITER 5911 NEW BEST:: SOT 75841 SOS 22636 HAS SOPS 22636 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14557.636
AT ITER 5913 NEW BEST:: SOT 75838 SOS 22637 HAS SOPS 22637 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14551.637
AT ITER 5923 NEW BEST:: SOT 75853 SOS 22667 HAS SOPS 22667 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14547.667
AT ITER 5943 NEW BEST:: SOT 75853 SOS 22663 HAS SOPS 22663 HAS SOUS 14521 HAS SOUPS 14521 WITH SCORE 14543.663
AT ITER 6014 NEW BEST:: SOT 75823 SOS 22633 HAS SOPS 22633 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14504.633
AT ITER 6071 NEW BEST:: SOT 75837 SOS 22557 HAS SOPS 22557 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14484.557
AT ITER 6076 NEW BEST:: SOT 75834 SOS 22541 HAS SOPS 22541 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14468.541
AT ITER 6143 NEW BEST:: SOT 75833 SOS 22540 HAS SOPS 22540 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14467.54
AT ITER 6156 NEW BEST:: SOT 75831 SOS 22538 HAS SOPS 22538 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14465.538
AT ITER 6158 NEW BEST:: SOT 75835 SOS 22500 HAS SOPS 22500 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14458.5
AT ITER 6174 NEW BEST:: SOT 75826 SOS 22493 HAS SOPS 22493 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14431.493
AT ITER 6217 NEW BEST:: SOT 75831 SOS 22468 HAS SOPS 22468 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14406.468
AT ITER 6236 NEW BEST:: SOT 75819 SOS 22456 HAS SOPS 22456 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14394.456
AT ITER 6302 NEW BEST:: SOT 75819 SOS 22453 HAS SOPS 22453 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14388.453
AT ITER 6407 NEW BEST:: SOT 75800 SOS 22440 HAS SOPS 22440 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14375.44
AT ITER 6414 NEW BEST:: SOT 75797 SOS 22437 HAS SOPS 22437 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14375.437
AT ITER 6425 NEW BEST:: SOT 75789 SOS 22429 HAS SOPS 22429 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14367.429
AT ITER 6436 NEW BEST:: SOT 75785 SOS 22421 HAS SOPS 22421 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14359.421
AT ITER 6567 NEW BEST:: SOT 75782 SOS 22418 HAS SOPS 22418 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14356.418
AT ITER 6591 NEW BEST:: SOT 75777 SOS 22412 HAS SOPS 22412 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14350.412
AT ITER 6625 NEW BEST:: SOT 75781 SOS 22420 HAS SOPS 22420 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14342.42
AT ITER 6659 NEW BEST:: SOT 75781 SOS 22391 HAS SOPS 22391 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14313.391
AT ITER 6751 NEW BEST:: SOT 75727 SOS 22337 HAS SOPS 22337 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14259.337
AT ITER 6766 NEW BEST:: SOT 75702 SOS 22317 HAS SOPS 22317 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14234.317
AT ITER 6767 NEW BEST:: SOT 75696 SOS 22309 HAS SOPS 22309 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14226.309
AT ITER 6796 NEW BEST:: SOT 75693 SOS 22309 HAS SOPS 22309 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14225.309
AT ITER 6845 NEW BEST:: SOT 75677 SOS 22293 HAS SOPS 22293 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14220.293
AT ITER 6852 NEW BEST:: SOT 75677 SOS 22287 HAS SOPS 22287 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14214.287
AT ITER 6928 NEW BEST:: SOT 75631 SOS 22218 HAS SOPS 22218 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14168.218
AT ITER 6964 NEW BEST:: SOT 75631 SOS 22218 HAS SOPS 22218 HAS SOUS 14137 HAS SOUPS 14137 WITH SCORE 14159.218
AT ITER 6994 NEW BEST:: SOT 75632 SOS 21439 HAS SOPS 21439 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14131.439
AT ITER 7000 NEW BEST:: SOT 75630 SOS 21437 HAS SOPS 21437 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14129.437
AT ITER 7020 NEW BEST:: SOT 75625 SOS 21427 HAS SOPS 21427 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14119.427
AT ITER 7079 NEW BEST:: SOT 75618 SOS 21412 HAS SOPS 21412 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14104.412
AT ITER 7105 NEW BEST:: SOT 75601 SOS 21395 HAS SOPS 21395 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14103.395
AT ITER 7115 NEW BEST:: SOT 75611 SOS 21405 HAS SOPS 21405 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14090.405
AT ITER 7131 NEW BEST:: SOT 75627 SOS 21399 HAS SOPS 21399 HAS SOUS 14063 HAS SOUPS 14063 WITH SCORE 14084.399
AT ITER 7153 NEW BEST:: SOT 75619 SOS 21392 HAS SOPS 21392 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14077.392
AT ITER 7164 NEW BEST:: SOT 75638 SOS 21378 HAS SOPS 21378 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14063.378
AT ITER 7185 NEW BEST:: SOT 75637 SOS 21377 HAS SOPS 21377 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14062.377
AT ITER 7203 NEW BEST:: SOT 75635 SOS 21371 HAS SOPS 21371 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14060.371
AT ITER 7229 NEW BEST:: SOT 75629 SOS 21365 HAS SOPS 21365 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14054.365
AT ITER 7235 NEW BEST:: SOT 75627 SOS 21361 HAS SOPS 21361 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14050.361
AT ITER 7238 NEW BEST:: SOT 75614 SOS 21350 HAS SOPS 21350 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14011.35
AT ITER 7259 NEW BEST:: SOT 75590 SOS 21340 HAS SOPS 21340 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 14001.34
AT ITER 7263 NEW BEST:: SOT 75544 SOS 21284 HAS SOPS 21284 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13957.284
AT ITER 7267 NEW BEST:: SOT 75527 SOS 21250 HAS SOPS 21250 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13916.25
AT ITER 7289 NEW BEST:: SOT 75524 SOS 21244 HAS SOPS 21244 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13910.244
AT ITER 7320 NEW BEST:: SOT 75523 SOS 21242 HAS SOPS 21242 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13908.242
AT ITER 7355 NEW BEST:: SOT 75513 SOS 21241 HAS SOPS 21241 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13907.241
AT ITER 7412 NEW BEST:: SOT 75499 SOS 21213 HAS SOPS 21213 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13891.213
AT ITER 7466 NEW BEST:: SOT 75500 SOS 21213 HAS SOPS 21213 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13889.213
AT ITER 7467 NEW BEST:: SOT 75500 SOS 21204 HAS SOPS 21204 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13880.204
AT ITER 7518 NEW BEST:: SOT 75500 SOS 21196 HAS SOPS 21196 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13880.196
AT ITER 7625 NEW BEST:: SOT 75503 SOS 21189 HAS SOPS 21189 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13873.189
AT ITER 7630 NEW BEST:: SOT 75503 SOS 21161 HAS SOPS 21161 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13845.161
AT ITER 7658 NEW BEST:: SOT 75491 SOS 21125 HAS SOPS 21125 HAS SOUS 13807 HAS SOUPS 13807 WITH SCORE 13828.125
AT ITER 7659 NEW BEST:: SOT 75478 SOS 21112 HAS SOPS 21112 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13815.112
AT ITER 7691 NEW BEST:: SOT 75486 SOS 21111 HAS SOPS 21111 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13814.111
AT ITER 7785 NEW BEST:: SOT 75479 SOS 21096 HAS SOPS 21096 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13789.096
AT ITER 7797 NEW BEST:: SOT 75479 SOS 21096 HAS SOPS 21096 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13786.096
AT ITER 7895 NEW BEST:: SOT 75453 SOS 21070 HAS SOPS 21070 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13786.07
AT ITER 7921 NEW BEST:: SOT 75454 SOS 21069 HAS SOPS 21069 HAS SOUS 13764 HAS SOUPS 13764 WITH SCORE 13785.069
AT ITER 7928 NEW BEST:: SOT 75455 SOS 21065 HAS SOPS 21065 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13781.065
AT ITER 7946 NEW BEST:: SOT 75445 SOS 21046 HAS SOPS 21046 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13762.046
AT ITER 8000 NEW BEST:: SOT 75445 SOS 21046 HAS SOPS 21046 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13756.046
AT ITER 8002 NEW BEST:: SOT 75442 SOS 21040 HAS SOPS 21040 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13750.04
AT ITER 8071 NEW BEST:: SOT 75439 SOS 21039 HAS SOPS 21039 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13749.039
AT ITER 8122 NEW BEST:: SOT 75437 SOS 21034 HAS SOPS 21034 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13743.034
AT ITER 8278 NEW BEST:: SOT 75422 SOS 21004 HAS SOPS 21004 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13720.004
AT ITER 8308 NEW BEST:: SOT 75416 SOS 21000 HAS SOPS 21000 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13716.0
AT ITER 8336 NEW BEST:: SOT 75412 SOS 21000 HAS SOPS 21000 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13712.0
AT ITER 8417 NEW BEST:: SOT 75407 SOS 21005 HAS SOPS 21005 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13707.005
AT ITER 8496 NEW BEST:: SOT 75402 SOS 20994 HAS SOPS 20994 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13695.994
AT ITER 8584 NEW BEST:: SOT 75404 SOS 20994 HAS SOPS 20994 HAS SOUS 13673 HAS SOUPS 13673 WITH SCORE 13693.994
AT ITER 8594 NEW BEST:: SOT 75358 SOS 20990 HAS SOPS 20990 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13689.99
AT ITER 8613 NEW BEST:: SOT 75325 SOS 20940 HAS SOPS 20940 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13669.94
AT ITER 8634 NEW BEST:: SOT 75287 SOS 20902 HAS SOPS 20902 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13631.902
AT ITER 8666 NEW BEST:: SOT 75296 SOS 20897 HAS SOPS 20897 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13626.897
AT ITER 8684 NEW BEST:: SOT 75217 SOS 20816 HAS SOPS 20816 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13618.816
AT ITER 8706 NEW BEST:: SOT 75217 SOS 20812 HAS SOPS 20812 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13610.812
AT ITER 8789 NEW BEST:: SOT 75215 SOS 20808 HAS SOPS 20808 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13602.808
AT ITER 8791 NEW BEST:: SOT 75165 SOS 20758 HAS SOPS 20758 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13587.758
AT ITER 8819 NEW BEST:: SOT 75163 SOS 20749 HAS SOPS 20749 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13578.749
AT ITER 8832 NEW BEST:: SOT 75162 SOS 20726 HAS SOPS 20726 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13547.726
AT ITER 9059 NEW BEST:: SOT 75126 SOS 20690 HAS SOPS 20690 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13547.69
AT ITER 9263 NEW BEST:: SOT 75126 SOS 20690 HAS SOPS 20690 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13539.69
AT ITER 9295 NEW BEST:: SOT 75097 SOS 20670 HAS SOPS 20670 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13519.67
AT ITER 9338 NEW BEST:: SOT 75100 SOS 20670 HAS SOPS 20670 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13501.67
AT ITER 9368 NEW BEST:: SOT 75099 SOS 20669 HAS SOPS 20669 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13500.669
AT ITER 9378 NEW BEST:: SOT 75098 SOS 20673 HAS SOPS 20673 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13499.673
AT ITER 9404 NEW BEST:: SOT 75078 SOS 20662 HAS SOPS 20662 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13488.662
AT ITER 9437 NEW BEST:: SOT 75066 SOS 20650 HAS SOPS 20650 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13488.65
AT ITER 9495 NEW BEST:: SOT 75033 SOS 20616 HAS SOPS 20616 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13454.616
AT ITER 9511 NEW BEST:: SOT 75030 SOS 20613 HAS SOPS 20613 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13454.613
AT ITER 9512 NEW BEST:: SOT 75017 SOS 20618 HAS SOPS 20618 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13428.618
AT ITER 9611 NEW BEST:: SOT 75005 SOS 20606 HAS SOPS 20606 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13416.606
AT ITER 9658 NEW BEST:: SOT 75079 SOS 20586 HAS SOPS 20586 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13396.586
AT ITER 9673 NEW BEST:: SOT 75043 SOS 20511 HAS SOPS 20511 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13351.511
AT ITER 9687 NEW BEST:: SOT 75042 SOS 20456 HAS SOPS 20456 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13350.456
AT ITER 9709 NEW BEST:: SOT 75032 SOS 20477 HAS SOPS 20477 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13336.477
AT ITER 9801 NEW BEST:: SOT 75035 SOS 20469 HAS SOPS 20469 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13328.469
AT ITER 9826 NEW BEST:: SOT 75036 SOS 20453 HAS SOPS 20453 HAS SOUS 13292 HAS SOUPS 13292 WITH SCORE 13312.453
AT ITER 9894 NEW BEST:: SOT 75037 SOS 20448 HAS SOPS 20448 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13306.448
AT ITER 9911 NEW BEST:: SOT 75037 SOS 20448 HAS SOPS 20448 HAS SOUS 13284 HAS SOUPS 13284 WITH SCORE 13304.448
AT ITER 9927 NEW BEST:: SOT 75033 SOS 20444 HAS SOPS 20444 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13300.444
AT ITER 9938 NEW BEST:: SOT 75023 SOS 20517 HAS SOPS 20517 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13290.517
AT ITER 9978 NEW BEST:: SOT 75023 SOS 20511 HAS SOPS 20511 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13284.511
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 14969924 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16124316 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r043-tajo-167813696900512"
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 ;