About the Execution of Smart+red for QuasiCertifProtocol-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16211.292 | 3336455.00 | 3335745.00 | 22179.70 | 2.1512E+0010 ? 6 161 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953600880.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is QuasiCertifProtocol-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953600880
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 992K
-rw-r--r-- 1 mcc users 30K Feb 26 01:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 01:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 262K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 149K Mar 5 18:23 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 1679559658919
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=QuasiCertifProtocol-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:21:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:21:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:21:00] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-23 08:21:00] [INFO ] Transformed 550 places.
[2023-03-23 08:21:00] [INFO ] Transformed 176 transitions.
[2023-03-23 08:21:00] [INFO ] Parsed PT model containing 550 places and 176 transitions and 1287 arcs in 116 ms.
[2023-03-23 08:21:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 550 places, 176 transitions and 1287 arcs took 6 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 10
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: 550 places, 176 transitions, 1287 arcs.
AT ITER 0 NEW BEST:: SOT 58468 SOS 40527 HAS SOPS 40527 HAS SOUS 33008 HAS SOUPS 33008 WITH SCORE 33048.527
AT ITER 7 NEW BEST:: SOT 58467 SOS 40499 HAS SOPS 40499 HAS SOUS 32980 HAS SOUPS 32980 WITH SCORE 33020.499
AT ITER 22 NEW BEST:: SOT 58467 SOS 40475 HAS SOPS 40475 HAS SOUS 32927 HAS SOUPS 32927 WITH SCORE 32967.475
AT ITER 56 NEW BEST:: SOT 58467 SOS 40475 HAS SOPS 40475 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32913.475
AT ITER 57 NEW BEST:: SOT 58474 SOS 40464 HAS SOPS 40464 HAS SOUS 32862 HAS SOUPS 32862 WITH SCORE 32902.464
AT ITER 72 NEW BEST:: SOT 58722 SOS 40704 HAS SOPS 40704 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32894.704
AT ITER 76 NEW BEST:: SOT 58722 SOS 40680 HAS SOPS 40680 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32843.68
AT ITER 79 NEW BEST:: SOT 58722 SOS 40440 HAS SOPS 40440 HAS SOUS 32683 HAS SOUPS 32683 WITH SCORE 32723.44
AT ITER 87 NEW BEST:: SOT 58722 SOS 40305 HAS SOPS 40305 HAS SOUS 32620 HAS SOUPS 32620 WITH SCORE 32660.305
AT ITER 112 NEW BEST:: SOT 58707 SOS 40290 HAS SOPS 40290 HAS SOUS 32605 HAS SOUPS 32605 WITH SCORE 32645.29
AT ITER 131 NEW BEST:: SOT 58671 SOS 40254 HAS SOPS 40254 HAS SOUS 32569 HAS SOUPS 32569 WITH SCORE 32609.254
AT ITER 138 NEW BEST:: SOT 58809 SOS 40383 HAS SOPS 40383 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32600.383
AT ITER 151 NEW BEST:: SOT 58809 SOS 40362 HAS SOPS 40362 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32418.362
AT ITER 181 NEW BEST:: SOT 58809 SOS 40358 HAS SOPS 40358 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32418.358
AT ITER 195 NEW BEST:: SOT 58840 SOS 40388 HAS SOPS 40388 HAS SOUS 32377 HAS SOUPS 32377 WITH SCORE 32417.388
AT ITER 211 NEW BEST:: SOT 58840 SOS 40052 HAS SOPS 40052 HAS SOUS 32225 HAS SOUPS 32225 WITH SCORE 32265.052
AT ITER 223 NEW BEST:: SOT 59065 SOS 40264 HAS SOPS 40264 HAS SOUS 32212 HAS SOUPS 32212 WITH SCORE 32252.264
AT ITER 230 NEW BEST:: SOT 59065 SOS 40262 HAS SOPS 40262 HAS SOUS 32210 HAS SOUPS 32210 WITH SCORE 32250.262
AT ITER 236 NEW BEST:: SOT 59065 SOS 40192 HAS SOPS 40192 HAS SOUS 32140 HAS SOUPS 32140 WITH SCORE 32180.192
AT ITER 248 NEW BEST:: SOT 59065 SOS 40126 HAS SOPS 40126 HAS SOUS 32107 HAS SOUPS 32107 WITH SCORE 32147.126
AT ITER 267 NEW BEST:: SOT 59053 SOS 40114 HAS SOPS 40114 HAS SOUS 32095 HAS SOUPS 32095 WITH SCORE 32135.114
AT ITER 278 NEW BEST:: SOT 59038 SOS 40112 HAS SOPS 40112 HAS SOUS 32093 HAS SOUPS 32093 WITH SCORE 32133.112
AT ITER 315 NEW BEST:: SOT 59018 SOS 40102 HAS SOPS 40102 HAS SOUS 32083 HAS SOUPS 32083 WITH SCORE 32123.102
AT ITER 316 NEW BEST:: SOT 59018 SOS 40111 HAS SOPS 40111 HAS SOUS 31974 HAS SOUPS 31974 WITH SCORE 32014.111
AT ITER 334 NEW BEST:: SOT 59039 SOS 40115 HAS SOPS 40115 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32011.115
AT ITER 353 NEW BEST:: SOT 46475 SOS 28195 HAS SOPS 28195 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21505.195
AT ITER 355 NEW BEST:: SOT 46475 SOS 28195 HAS SOPS 28195 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21496.195
AT ITER 357 NEW BEST:: SOT 46460 SOS 28181 HAS SOPS 28181 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21496.181
AT ITER 369 NEW BEST:: SOT 46710 SOS 28426 HAS SOPS 28426 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21411.426
AT ITER 420 NEW BEST:: SOT 46710 SOS 28382 HAS SOPS 28382 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21395.382
AT ITER 434 NEW BEST:: SOT 46466 SOS 28138 HAS SOPS 28138 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21273.138
AT ITER 437 NEW BEST:: SOT 46466 SOS 27893 HAS SOPS 27893 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21012.893
AT ITER 443 NEW BEST:: SOT 46466 SOS 27798 HAS SOPS 27798 HAS SOUS 20872 HAS SOUPS 20872 WITH SCORE 20899.798
AT ITER 451 NEW BEST:: SOT 46667 SOS 28009 HAS SOPS 28009 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20836.009
AT ITER 476 NEW BEST:: SOT 46599 SOS 27941 HAS SOPS 27941 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20835.941
AT ITER 482 NEW BEST:: SOT 46598 SOS 27940 HAS SOPS 27940 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20834.94
AT ITER 493 NEW BEST:: SOT 46597 SOS 27939 HAS SOPS 27939 HAS SOUS 20806 HAS SOUPS 20806 WITH SCORE 20833.939
AT ITER 508 NEW BEST:: SOT 46632 SOS 27974 HAS SOPS 27974 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20700.974
AT ITER 522 NEW BEST:: SOT 46632 SOS 27909 HAS SOPS 27909 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20570.909
AT ITER 534 NEW BEST:: SOT 46632 SOS 27859 HAS SOPS 27859 HAS SOUS 20443 HAS SOUPS 20443 WITH SCORE 20470.859
AT ITER 551 NEW BEST:: SOT 46751 SOS 27918 HAS SOPS 27918 HAS SOUS 20442 HAS SOUPS 20442 WITH SCORE 20469.918
AT ITER 583 NEW BEST:: SOT 46473 SOS 27748 HAS SOPS 27748 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20191.748
AT ITER 603 NEW BEST:: SOT 46662 SOS 28013 HAS SOPS 28013 HAS SOUS 20160 HAS SOUPS 20160 WITH SCORE 20188.013
AT ITER 610 NEW BEST:: SOT 46636 SOS 27987 HAS SOPS 27987 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20161.987
AT ITER 617 NEW BEST:: SOT 46638 SOS 27996 HAS SOPS 27996 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20151.996
AT ITER 622 NEW BEST:: SOT 46638 SOS 27952 HAS SOPS 27952 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20107.952
AT ITER 625 NEW BEST:: SOT 46623 SOS 27937 HAS SOPS 27937 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20092.937
AT ITER 645 NEW BEST:: SOT 46639 SOS 27937 HAS SOPS 27937 HAS SOUS 20049 HAS SOUPS 20049 WITH SCORE 20076.937
AT ITER 655 NEW BEST:: SOT 46644 SOS 27919 HAS SOPS 27919 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20058.919
AT ITER 667 NEW BEST:: SOT 46645 SOS 27916 HAS SOPS 27916 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20055.916
AT ITER 670 NEW BEST:: SOT 46752 SOS 27929 HAS SOPS 27929 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19961.929
AT ITER 674 NEW BEST:: SOT 46791 SOS 27985 HAS SOPS 27985 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 19956.985
AT ITER 698 NEW BEST:: SOT 46775 SOS 27935 HAS SOPS 27935 HAS SOUS 19879 HAS SOUPS 19879 WITH SCORE 19906.935
AT ITER 741 NEW BEST:: SOT 46767 SOS 27927 HAS SOPS 27927 HAS SOUS 19879 HAS SOUPS 19879 WITH SCORE 19906.927
AT ITER 763 NEW BEST:: SOT 46965 SOS 28115 HAS SOPS 28115 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19897.115
AT ITER 779 NEW BEST:: SOT 46965 SOS 28141 HAS SOPS 28141 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19865.141
AT ITER 816 NEW BEST:: SOT 46890 SOS 28069 HAS SOPS 28069 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19849.069
AT ITER 821 NEW BEST:: SOT 46890 SOS 28048 HAS SOPS 28048 HAS SOUS 19800 HAS SOUPS 19800 WITH SCORE 19828.048
AT ITER 827 NEW BEST:: SOT 47061 SOS 27982 HAS SOPS 27982 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19445.982
AT ITER 852 NEW BEST:: SOT 47061 SOS 27874 HAS SOPS 27874 HAS SOUS 19310 HAS SOUPS 19310 WITH SCORE 19337.874
AT ITER 856 NEW BEST:: SOT 47061 SOS 27863 HAS SOPS 27863 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19326.863
AT ITER 899 NEW BEST:: SOT 47033 SOS 27835 HAS SOPS 27835 HAS SOUS 19284 HAS SOUPS 19284 WITH SCORE 19311.835
AT ITER 949 NEW BEST:: SOT 47033 SOS 27799 HAS SOPS 27799 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19275.799
AT ITER 969 NEW BEST:: SOT 46942 SOS 27708 HAS SOPS 27708 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19275.708
AT ITER 971 NEW BEST:: SOT 46892 SOS 27675 HAS SOPS 27675 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19267.675
AT ITER 977 NEW BEST:: SOT 46834 SOS 27644 HAS SOPS 27644 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19236.644
AT ITER 980 NEW BEST:: SOT 46812 SOS 27622 HAS SOPS 27622 HAS SOUS 19198 HAS SOUPS 19198 WITH SCORE 19225.622
AT ITER 1008 NEW BEST:: SOT 46812 SOS 27613 HAS SOPS 27613 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19216.613
AT ITER 1043 NEW BEST:: SOT 46590 SOS 27396 HAS SOPS 27396 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19128.396
AT ITER 1066 NEW BEST:: SOT 46623 SOS 27417 HAS SOPS 27417 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19116.417
AT ITER 1071 NEW BEST:: SOT 46623 SOS 27391 HAS SOPS 27391 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19090.391
AT ITER 1075 NEW BEST:: SOT 46579 SOS 27325 HAS SOPS 27325 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19046.325
AT ITER 1104 NEW BEST:: SOT 46579 SOS 27325 HAS SOPS 27325 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18830.325
AT ITER 1112 NEW BEST:: SOT 46579 SOS 27310 HAS SOPS 27310 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18830.31
AT ITER 1120 NEW BEST:: SOT 46579 SOS 27308 HAS SOPS 27308 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18828.308
AT ITER 1122 NEW BEST:: SOT 46568 SOS 27297 HAS SOPS 27297 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18817.297
AT ITER 1133 NEW BEST:: SOT 46566 SOS 27295 HAS SOPS 27295 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18815.295
AT ITER 1147 NEW BEST:: SOT 46573 SOS 27262 HAS SOPS 27262 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18782.262
AT ITER 1152 NEW BEST:: SOT 46565 SOS 27258 HAS SOPS 27258 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18782.258
AT ITER 1168 NEW BEST:: SOT 46565 SOS 27217 HAS SOPS 27217 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18741.217
AT ITER 1188 NEW BEST:: SOT 46565 SOS 27213 HAS SOPS 27213 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18737.213
AT ITER 1199 NEW BEST:: SOT 46565 SOS 27210 HAS SOPS 27210 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18734.21
AT ITER 1200 NEW BEST:: SOT 46534 SOS 27179 HAS SOPS 27179 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18734.179
AT ITER 1218 NEW BEST:: SOT 46128 SOS 26773 HAS SOPS 26773 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18327.773
AT ITER 1225 NEW BEST:: SOT 45940 SOS 26610 HAS SOPS 26610 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18258.61
AT ITER 1248 NEW BEST:: SOT 45968 SOS 26567 HAS SOPS 26567 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18215.567
AT ITER 1254 NEW BEST:: SOT 46004 SOS 26603 HAS SOPS 26603 HAS SOUS 18141 HAS SOUPS 18141 WITH SCORE 18167.603
AT ITER 1283 NEW BEST:: SOT 45998 SOS 26597 HAS SOPS 26597 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18164.597
AT ITER 1301 NEW BEST:: SOT 45998 SOS 26555 HAS SOPS 26555 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18122.555
AT ITER 1311 NEW BEST:: SOT 45997 SOS 26553 HAS SOPS 26553 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18120.553
AT ITER 1317 NEW BEST:: SOT 45997 SOS 26552 HAS SOPS 26552 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18119.552
AT ITER 1338 NEW BEST:: SOT 45997 SOS 26549 HAS SOPS 26549 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18113.549
AT ITER 1347 NEW BEST:: SOT 45997 SOS 26536 HAS SOPS 26536 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18100.536
AT ITER 1352 NEW BEST:: SOT 45980 SOS 26519 HAS SOPS 26519 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18083.519
AT ITER 1376 NEW BEST:: SOT 45978 SOS 26517 HAS SOPS 26517 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18082.517
AT ITER 1389 NEW BEST:: SOT 45870 SOS 26409 HAS SOPS 26409 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17974.409
AT ITER 1404 NEW BEST:: SOT 45842 SOS 26381 HAS SOPS 26381 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17946.381
AT ITER 1422 NEW BEST:: SOT 45835 SOS 26374 HAS SOPS 26374 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17939.374
AT ITER 1429 NEW BEST:: SOT 45834 SOS 26373 HAS SOPS 26373 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17938.373
AT ITER 1452 NEW BEST:: SOT 45834 SOS 26242 HAS SOPS 26242 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17807.242
AT ITER 1472 NEW BEST:: SOT 45832 SOS 26240 HAS SOPS 26240 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17805.24
AT ITER 1522 NEW BEST:: SOT 45906 SOS 26211 HAS SOPS 26211 HAS SOUS 17647 HAS SOUPS 17647 WITH SCORE 17673.211
AT ITER 1527 NEW BEST:: SOT 45906 SOS 26154 HAS SOPS 26154 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17616.154
AT ITER 1536 NEW BEST:: SOT 45684 SOS 25932 HAS SOPS 25932 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17513.932
AT ITER 1557 NEW BEST:: SOT 45621 SOS 25827 HAS SOPS 25827 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17408.827
AT ITER 1568 NEW BEST:: SOT 45648 SOS 25838 HAS SOPS 25838 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17404.838
AT ITER 1587 NEW BEST:: SOT 45643 SOS 25833 HAS SOPS 25833 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17399.833
AT ITER 1601 NEW BEST:: SOT 45710 SOS 25834 HAS SOPS 25834 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17333.834
AT ITER 1648 NEW BEST:: SOT 45710 SOS 25826 HAS SOPS 25826 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17325.826
AT ITER 1721 NEW BEST:: SOT 45710 SOS 25821 HAS SOPS 25821 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17320.821
AT ITER 1723 NEW BEST:: SOT 45710 SOS 25817 HAS SOPS 25817 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17316.817
AT ITER 1728 NEW BEST:: SOT 45710 SOS 25810 HAS SOPS 25810 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17309.81
AT ITER 1751 NEW BEST:: SOT 45706 SOS 25806 HAS SOPS 25806 HAS SOUS 17280 HAS SOUPS 17280 WITH SCORE 17305.806
AT ITER 1755 NEW BEST:: SOT 45592 SOS 25747 HAS SOPS 25747 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17303.747
AT ITER 1765 NEW BEST:: SOT 45592 SOS 25444 HAS SOPS 25444 HAS SOUS 16975 HAS SOUPS 16975 WITH SCORE 17000.444
AT ITER 1790 NEW BEST:: SOT 45592 SOS 25423 HAS SOPS 25423 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 16979.423
AT ITER 1793 NEW BEST:: SOT 45514 SOS 25358 HAS SOPS 25358 HAS SOUS 16928 HAS SOUPS 16928 WITH SCORE 16953.358
AT ITER 1794 NEW BEST:: SOT 45502 SOS 25346 HAS SOPS 25346 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16941.346
AT ITER 1800 NEW BEST:: SOT 45476 SOS 25314 HAS SOPS 25314 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16909.314
AT ITER 1817 NEW BEST:: SOT 45476 SOS 25249 HAS SOPS 25249 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16844.249
AT ITER 1820 NEW BEST:: SOT 45474 SOS 25247 HAS SOPS 25247 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16842.247
AT ITER 1854 NEW BEST:: SOT 45451 SOS 25224 HAS SOPS 25224 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16842.224
AT ITER 1856 NEW BEST:: SOT 45451 SOS 25224 HAS SOPS 25224 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16839.224
AT ITER 1916 NEW BEST:: SOT 45415 SOS 25188 HAS SOPS 25188 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16803.188
AT ITER 1951 NEW BEST:: SOT 45392 SOS 25165 HAS SOPS 25165 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16780.165
AT ITER 1955 NEW BEST:: SOT 45351 SOS 25124 HAS SOPS 25124 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16780.124
AT ITER 1964 NEW BEST:: SOT 45320 SOS 25093 HAS SOPS 25093 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16749.093
AT ITER 1965 NEW BEST:: SOT 45306 SOS 25079 HAS SOPS 25079 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16749.079
AT ITER 1988 NEW BEST:: SOT 45291 SOS 25064 HAS SOPS 25064 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16749.064
AT ITER 2070 NEW BEST:: SOT 45174 SOS 24943 HAS SOPS 24943 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16718.943
AT ITER 2087 NEW BEST:: SOT 45174 SOS 24886 HAS SOPS 24886 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16661.886
AT ITER 2096 NEW BEST:: SOT 45145 SOS 24857 HAS SOPS 24857 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16632.857
AT ITER 2104 NEW BEST:: SOT 45139 SOS 24851 HAS SOPS 24851 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16629.851
AT ITER 2106 NEW BEST:: SOT 45131 SOS 24843 HAS SOPS 24843 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16629.843
AT ITER 2110 NEW BEST:: SOT 45145 SOS 24830 HAS SOPS 24830 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16616.83
AT ITER 2112 NEW BEST:: SOT 45130 SOS 24815 HAS SOPS 24815 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16616.815
AT ITER 2119 NEW BEST:: SOT 45118 SOS 24803 HAS SOPS 24803 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16616.803
AT ITER 2122 NEW BEST:: SOT 44831 SOS 29570 HAS SOPS 29570 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16423.57
AT ITER 2152 NEW BEST:: SOT 44831 SOS 29549 HAS SOPS 29549 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16418.549
AT ITER 2169 NEW BEST:: SOT 44828 SOS 29546 HAS SOPS 29546 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16415.546
AT ITER 2190 NEW BEST:: SOT 44821 SOS 29539 HAS SOPS 29539 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16408.539
AT ITER 2210 NEW BEST:: SOT 44821 SOS 29536 HAS SOPS 29536 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16405.536
AT ITER 2223 NEW BEST:: SOT 44820 SOS 29535 HAS SOPS 29535 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16404.535
AT ITER 2267 NEW BEST:: SOT 44808 SOS 29523 HAS SOPS 29523 HAS SOUS 16363 HAS SOUPS 16363 WITH SCORE 16392.523
AT ITER 2275 NEW BEST:: SOT 44800 SOS 29513 HAS SOPS 29513 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16390.513
AT ITER 2276 NEW BEST:: SOT 44825 SOS 29534 HAS SOPS 29534 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16386.534
AT ITER 2292 NEW BEST:: SOT 44911 SOS 29599 HAS SOPS 29599 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16379.599
AT ITER 2312 NEW BEST:: SOT 44911 SOS 29594 HAS SOPS 29594 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16374.594
AT ITER 2322 NEW BEST:: SOT 44915 SOS 29593 HAS SOPS 29593 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16373.593
AT ITER 2324 NEW BEST:: SOT 44880 SOS 29558 HAS SOPS 29558 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16338.558
AT ITER 2329 NEW BEST:: SOT 44880 SOS 29552 HAS SOPS 29552 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16332.552
AT ITER 2336 NEW BEST:: SOT 44874 SOS 29546 HAS SOPS 29546 HAS SOUS 16297 HAS SOUPS 16297 WITH SCORE 16326.546
AT ITER 2349 NEW BEST:: SOT 44874 SOS 29536 HAS SOPS 29536 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16316.536
AT ITER 2411 NEW BEST:: SOT 44860 SOS 29522 HAS SOPS 29522 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16309.522
AT ITER 2419 NEW BEST:: SOT 44860 SOS 29500 HAS SOPS 29500 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16287.5
AT ITER 2462 NEW BEST:: SOT 44860 SOS 29486 HAS SOPS 29486 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16273.486
AT ITER 2464 NEW BEST:: SOT 44844 SOS 29470 HAS SOPS 29470 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16257.47
AT ITER 2483 NEW BEST:: SOT 44844 SOS 29469 HAS SOPS 29469 HAS SOUS 16227 HAS SOUPS 16227 WITH SCORE 16256.469
AT ITER 2491 NEW BEST:: SOT 44836 SOS 29461 HAS SOPS 29461 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16252.461
AT ITER 2502 NEW BEST:: SOT 44821 SOS 29446 HAS SOPS 29446 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16237.446
AT ITER 2522 NEW BEST:: SOT 44821 SOS 29438 HAS SOPS 29438 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16229.438
AT ITER 2559 NEW BEST:: SOT 44821 SOS 29424 HAS SOPS 29424 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16215.424
AT ITER 2572 NEW BEST:: SOT 44821 SOS 29421 HAS SOPS 29421 HAS SOUS 16183 HAS SOUPS 16183 WITH SCORE 16212.421
AT ITER 2580 NEW BEST:: SOT 44821 SOS 29393 HAS SOPS 29393 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16184.393
AT ITER 2614 NEW BEST:: SOT 44821 SOS 29392 HAS SOPS 29392 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16183.392
AT ITER 2619 NEW BEST:: SOT 44810 SOS 29381 HAS SOPS 29381 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16172.381
AT ITER 2634 NEW BEST:: SOT 44808 SOS 29379 HAS SOPS 29379 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16170.379
AT ITER 2636 NEW BEST:: SOT 44725 SOS 29231 HAS SOPS 29231 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16092.231
AT ITER 2646 NEW BEST:: SOT 44725 SOS 29228 HAS SOPS 29228 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16089.228
AT ITER 2693 NEW BEST:: SOT 44716 SOS 29219 HAS SOPS 29219 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16080.219
AT ITER 2694 NEW BEST:: SOT 44715 SOS 29218 HAS SOPS 29218 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16079.218
AT ITER 2710 NEW BEST:: SOT 44709 SOS 29201 HAS SOPS 29201 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16070.201
AT ITER 2717 NEW BEST:: SOT 44709 SOS 29198 HAS SOPS 29198 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16067.198
AT ITER 2736 NEW BEST:: SOT 44569 SOS 29128 HAS SOPS 29128 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16067.128
AT ITER 2796 NEW BEST:: SOT 44554 SOS 29113 HAS SOPS 29113 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16052.113
AT ITER 2833 NEW BEST:: SOT 44538 SOS 29097 HAS SOPS 29097 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16036.097
AT ITER 2937 NEW BEST:: SOT 44538 SOS 29087 HAS SOPS 29087 HAS SOUS 15997 HAS SOUPS 15997 WITH SCORE 16026.087
AT ITER 2981 NEW BEST:: SOT 44512 SOS 29061 HAS SOPS 29061 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 16000.061
AT ITER 3002 NEW BEST:: SOT 44512 SOS 29027 HAS SOPS 29027 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15966.027
AT ITER 3168 NEW BEST:: SOT 44508 SOS 29023 HAS SOPS 29023 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15962.023
AT ITER 3273 NEW BEST:: SOT 44502 SOS 29017 HAS SOPS 29017 HAS SOUS 15927 HAS SOUPS 15927 WITH SCORE 15956.017
AT ITER 3290 NEW BEST:: SOT 44488 SOS 29003 HAS SOPS 29003 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15942.003
AT ITER 3292 NEW BEST:: SOT 44488 SOS 28984 HAS SOPS 28984 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15922.984
AT ITER 3305 NEW BEST:: SOT 44488 SOS 28977 HAS SOPS 28977 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15915.977
AT ITER 3328 NEW BEST:: SOT 44488 SOS 28954 HAS SOPS 28954 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15892.954
AT ITER 3360 NEW BEST:: SOT 44488 SOS 28953 HAS SOPS 28953 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15891.953
AT ITER 3376 NEW BEST:: SOT 44488 SOS 28944 HAS SOPS 28944 HAS SOUS 15854 HAS SOUPS 15854 WITH SCORE 15882.944
AT ITER 3397 NEW BEST:: SOT 44488 SOS 28811 HAS SOPS 28811 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15749.811
AT ITER 3398 NEW BEST:: SOT 44462 SOS 28785 HAS SOPS 28785 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15723.785
AT ITER 3451 NEW BEST:: SOT 44442 SOS 28757 HAS SOPS 28757 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15708.757
AT ITER 3520 NEW BEST:: SOT 44424 SOS 28734 HAS SOPS 28734 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15691.734
AT ITER 3523 NEW BEST:: SOT 44415 SOS 28725 HAS SOPS 28725 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15682.725
AT ITER 3604 NEW BEST:: SOT 44415 SOS 28724 HAS SOPS 28724 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15681.724
AT ITER 3605 NEW BEST:: SOT 44421 SOS 28721 HAS SOPS 28721 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15669.721
AT ITER 3638 NEW BEST:: SOT 44420 SOS 28720 HAS SOPS 28720 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15668.72
AT ITER 3648 NEW BEST:: SOT 44415 SOS 28715 HAS SOPS 28715 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15663.715
AT ITER 3661 NEW BEST:: SOT 44415 SOS 28714 HAS SOPS 28714 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15662.714
AT ITER 3666 NEW BEST:: SOT 44415 SOS 28707 HAS SOPS 28707 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15655.707
AT ITER 3668 NEW BEST:: SOT 44427 SOS 28696 HAS SOPS 28696 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15644.696
AT ITER 3686 NEW BEST:: SOT 44423 SOS 28692 HAS SOPS 28692 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15640.692
AT ITER 3742 NEW BEST:: SOT 44397 SOS 28666 HAS SOPS 28666 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15630.666
AT ITER 3749 NEW BEST:: SOT 44468 SOS 28737 HAS SOPS 28737 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15619.737
AT ITER 3774 NEW BEST:: SOT 44468 SOS 28736 HAS SOPS 28736 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15618.736
AT ITER 3787 NEW BEST:: SOT 44464 SOS 28732 HAS SOPS 28732 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15614.732
AT ITER 3788 NEW BEST:: SOT 44463 SOS 28730 HAS SOPS 28730 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15613.73
AT ITER 3811 NEW BEST:: SOT 44463 SOS 28715 HAS SOPS 28715 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15598.715
AT ITER 3848 NEW BEST:: SOT 44449 SOS 28700 HAS SOPS 28700 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15597.7
AT ITER 3859 NEW BEST:: SOT 44449 SOS 28693 HAS SOPS 28693 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15590.693
AT ITER 3877 NEW BEST:: SOT 44391 SOS 28664 HAS SOPS 28664 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15590.664
AT ITER 3934 NEW BEST:: SOT 44379 SOS 28652 HAS SOPS 28652 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15584.652
AT ITER 4004 NEW BEST:: SOT 44379 SOS 28644 HAS SOPS 28644 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15576.644
AT ITER 4027 NEW BEST:: SOT 44379 SOS 28643 HAS SOPS 28643 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15575.643
AT ITER 4030 NEW BEST:: SOT 44353 SOS 28617 HAS SOPS 28617 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15549.617
AT ITER 4035 NEW BEST:: SOT 44200 SOS 28463 HAS SOPS 28463 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15548.463
AT ITER 4047 NEW BEST:: SOT 44200 SOS 28460 HAS SOPS 28460 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15545.46
AT ITER 4096 NEW BEST:: SOT 44200 SOS 28455 HAS SOPS 28455 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15540.455
AT ITER 4109 NEW BEST:: SOT 44142 SOS 28397 HAS SOPS 28397 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15540.397
AT ITER 4118 NEW BEST:: SOT 44258 SOS 28505 HAS SOPS 28505 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15532.505
AT ITER 4134 NEW BEST:: SOT 44252 SOS 28499 HAS SOPS 28499 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15511.499
AT ITER 4245 NEW BEST:: SOT 44241 SOS 28488 HAS SOPS 28488 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15500.488
AT ITER 4295 NEW BEST:: SOT 44224 SOS 28471 HAS SOPS 28471 HAS SOUS 15455 HAS SOUPS 15455 WITH SCORE 15483.471
AT ITER 4362 NEW BEST:: SOT 43968 SOS 28215 HAS SOPS 28215 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15474.215
AT ITER 4373 NEW BEST:: SOT 43968 SOS 28204 HAS SOPS 28204 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15463.204
AT ITER 4393 NEW BEST:: SOT 43968 SOS 28187 HAS SOPS 28187 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15446.187
AT ITER 4406 NEW BEST:: SOT 43967 SOS 28186 HAS SOPS 28186 HAS SOUS 15417 HAS SOUPS 15417 WITH SCORE 15445.186
AT ITER 4453 NEW BEST:: SOT 43967 SOS 28182 HAS SOPS 28182 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15441.182
AT ITER 4477 NEW BEST:: SOT 43967 SOS 28175 HAS SOPS 28175 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15434.175
AT ITER 4489 NEW BEST:: SOT 43931 SOS 28157 HAS SOPS 28157 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15434.157
AT ITER 4530 NEW BEST:: SOT 43931 SOS 28156 HAS SOPS 28156 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15433.156
AT ITER 4532 NEW BEST:: SOT 43918 SOS 28143 HAS SOPS 28143 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15420.143
AT ITER 4558 NEW BEST:: SOT 43837 SOS 28056 HAS SOPS 28056 HAS SOUS 15357 HAS SOUPS 15357 WITH SCORE 15385.056
AT ITER 4571 NEW BEST:: SOT 43837 SOS 28054 HAS SOPS 28054 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15383.054
AT ITER 4607 NEW BEST:: SOT 43824 SOS 27998 HAS SOPS 27998 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15326.998
AT ITER 4681 NEW BEST:: SOT 43722 SOS 27896 HAS SOPS 27896 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15326.896
AT ITER 4693 NEW BEST:: SOT 43722 SOS 27884 HAS SOPS 27884 HAS SOUS 15287 HAS SOUPS 15287 WITH SCORE 15314.884
AT ITER 4700 NEW BEST:: SOT 43722 SOS 27872 HAS SOPS 27872 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15302.872
AT ITER 4708 NEW BEST:: SOT 43842 SOS 27984 HAS SOPS 27984 HAS SOUS 15267 HAS SOUPS 15267 WITH SCORE 15294.984
AT ITER 4743 NEW BEST:: SOT 43809 SOS 27963 HAS SOPS 27963 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15273.963
AT ITER 4768 NEW BEST:: SOT 43809 SOS 27953 HAS SOPS 27953 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15263.953
AT ITER 4771 NEW BEST:: SOT 43809 SOS 27948 HAS SOPS 27948 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15258.948
AT ITER 4853 NEW BEST:: SOT 43803 SOS 27942 HAS SOPS 27942 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15258.942
AT ITER 4858 NEW BEST:: SOT 43803 SOS 27939 HAS SOPS 27939 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15255.939
AT ITER 4863 NEW BEST:: SOT 43835 SOS 27965 HAS SOPS 27965 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15249.965
AT ITER 4871 NEW BEST:: SOT 43835 SOS 27957 HAS SOPS 27957 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15241.957
AT ITER 4884 NEW BEST:: SOT 43835 SOS 27936 HAS SOPS 27936 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15220.936
AT ITER 4961 NEW BEST:: SOT 43985 SOS 28086 HAS SOPS 28086 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15217.086
AT ITER 5020 NEW BEST:: SOT 43953 SOS 28070 HAS SOPS 28070 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15217.07
AT ITER 5046 NEW BEST:: SOT 43951 SOS 28068 HAS SOPS 28068 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15215.068
AT ITER 5077 NEW BEST:: SOT 43951 SOS 28066 HAS SOPS 28066 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15213.066
AT ITER 5111 NEW BEST:: SOT 44111 SOS 28206 HAS SOPS 28206 HAS SOUS 15165 HAS SOUPS 15165 WITH SCORE 15193.206
AT ITER 5147 NEW BEST:: SOT 44087 SOS 28182 HAS SOPS 28182 HAS SOUS 15141 HAS SOUPS 15141 WITH SCORE 15169.182
AT ITER 5190 NEW BEST:: SOT 44079 SOS 28174 HAS SOPS 28174 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15161.174
AT ITER 5228 NEW BEST:: SOT 44096 SOS 28174 HAS SOPS 28174 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15144.174
AT ITER 5270 NEW BEST:: SOT 44108 SOS 28175 HAS SOPS 28175 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15133.175
AT ITER 5302 NEW BEST:: SOT 44108 SOS 28169 HAS SOPS 28169 HAS SOUS 15099 HAS SOUPS 15099 WITH SCORE 15127.169
AT ITER 5337 NEW BEST:: SOT 44108 SOS 28146 HAS SOPS 28146 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15104.146
AT ITER 5355 NEW BEST:: SOT 44131 SOS 28150 HAS SOPS 28150 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15085.15
AT ITER 5388 NEW BEST:: SOT 44036 SOS 28039 HAS SOPS 28039 HAS SOUS 14996 HAS SOUPS 14996 WITH SCORE 15024.039
AT ITER 5396 NEW BEST:: SOT 43977 SOS 27974 HAS SOPS 27974 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15017.974
AT ITER 5433 NEW BEST:: SOT 43977 SOS 27965 HAS SOPS 27965 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15008.965
AT ITER 5481 NEW BEST:: SOT 43957 SOS 27945 HAS SOPS 27945 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15008.945
AT ITER 5492 NEW BEST:: SOT 43945 SOS 27932 HAS SOPS 27932 HAS SOUS 14968 HAS SOUPS 14968 WITH SCORE 14995.932
AT ITER 5521 NEW BEST:: SOT 43945 SOS 27930 HAS SOPS 27930 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14993.93
AT ITER 5523 NEW BEST:: SOT 44015 SOS 27995 HAS SOPS 27995 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14988.995
AT ITER 5591 NEW BEST:: SOT 44014 SOS 27994 HAS SOPS 27994 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14987.994
AT ITER 5603 NEW BEST:: SOT 44005 SOS 27988 HAS SOPS 27988 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14981.988
AT ITER 5664 NEW BEST:: SOT 44005 SOS 27979 HAS SOPS 27979 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14972.979
AT ITER 5714 NEW BEST:: SOT 43948 SOS 27922 HAS SOPS 27922 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14967.922
AT ITER 5746 NEW BEST:: SOT 43948 SOS 27918 HAS SOPS 27918 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14963.918
AT ITER 5767 NEW BEST:: SOT 43972 SOS 27920 HAS SOPS 27920 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14943.92
AT ITER 5776 NEW BEST:: SOT 43972 SOS 27909 HAS SOPS 27909 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14932.909
AT ITER 5784 NEW BEST:: SOT 43972 SOS 27906 HAS SOPS 27906 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14929.906
AT ITER 5804 NEW BEST:: SOT 43972 SOS 27886 HAS SOPS 27886 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14909.886
AT ITER 5814 NEW BEST:: SOT 43963 SOS 27877 HAS SOPS 27877 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14905.877
AT ITER 5872 NEW BEST:: SOT 43963 SOS 27871 HAS SOPS 27871 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14899.871
AT ITER 5969 NEW BEST:: SOT 43956 SOS 27864 HAS SOPS 27864 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14899.864
AT ITER 6013 NEW BEST:: SOT 43905 SOS 27828 HAS SOPS 27828 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14895.828
AT ITER 6016 NEW BEST:: SOT 43895 SOS 27823 HAS SOPS 27823 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14895.823
AT ITER 6034 NEW BEST:: SOT 43895 SOS 27803 HAS SOPS 27803 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14875.803
AT ITER 6058 NEW BEST:: SOT 43895 SOS 27793 HAS SOPS 27793 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14865.793
AT ITER 6083 NEW BEST:: SOT 43911 SOS 27795 HAS SOPS 27795 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14853.795
AT ITER 6085 NEW BEST:: SOT 43894 SOS 27782 HAS SOPS 27782 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14840.782
AT ITER 6110 NEW BEST:: SOT 43882 SOS 27770 HAS SOPS 27770 HAS SOUS 14801 HAS SOUPS 14801 WITH SCORE 14828.77
AT ITER 6201 NEW BEST:: SOT 43874 SOS 27762 HAS SOPS 27762 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14820.762
AT ITER 6236 NEW BEST:: SOT 43874 SOS 27758 HAS SOPS 27758 HAS SOUS 14789 HAS SOUPS 14789 WITH SCORE 14816.758
AT ITER 6244 NEW BEST:: SOT 43873 SOS 27757 HAS SOPS 27757 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14815.757
AT ITER 6275 NEW BEST:: SOT 43872 SOS 27756 HAS SOPS 27756 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14814.756
AT ITER 6310 NEW BEST:: SOT 43848 SOS 27729 HAS SOPS 27729 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14799.729
AT ITER 6324 NEW BEST:: SOT 43848 SOS 27720 HAS SOPS 27720 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14790.72
AT ITER 6334 NEW BEST:: SOT 43841 SOS 27713 HAS SOPS 27713 HAS SOUS 14756 HAS SOUPS 14756 WITH SCORE 14783.713
AT ITER 6345 NEW BEST:: SOT 43841 SOS 27701 HAS SOPS 27701 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14771.701
AT ITER 6382 NEW BEST:: SOT 43841 SOS 27700 HAS SOPS 27700 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14770.7
AT ITER 6469 NEW BEST:: SOT 43831 SOS 27690 HAS SOPS 27690 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14770.69
AT ITER 6524 NEW BEST:: SOT 43830 SOS 27679 HAS SOPS 27679 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14759.679
AT ITER 6553 NEW BEST:: SOT 43830 SOS 27678 HAS SOPS 27678 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14758.678
AT ITER 6611 NEW BEST:: SOT 43829 SOS 27670 HAS SOPS 27670 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14750.67
AT ITER 6659 NEW BEST:: SOT 43829 SOS 27666 HAS SOPS 27666 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14746.666
AT ITER 6673 NEW BEST:: SOT 43829 SOS 27665 HAS SOPS 27665 HAS SOUS 14718 HAS SOUPS 14718 WITH SCORE 14745.665
AT ITER 6695 NEW BEST:: SOT 43815 SOS 27644 HAS SOPS 27644 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14731.644
AT ITER 6710 NEW BEST:: SOT 43827 SOS 27644 HAS SOPS 27644 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14719.644
AT ITER 6726 NEW BEST:: SOT 43827 SOS 27642 HAS SOPS 27642 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14717.642
AT ITER 6746 NEW BEST:: SOT 43816 SOS 27631 HAS SOPS 27631 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14706.631
AT ITER 6779 NEW BEST:: SOT 43750 SOS 27598 HAS SOPS 27598 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14706.598
AT ITER 6832 NEW BEST:: SOT 43740 SOS 27588 HAS SOPS 27588 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14696.588
AT ITER 6880 NEW BEST:: SOT 43740 SOS 27581 HAS SOPS 27581 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14689.581
AT ITER 6891 NEW BEST:: SOT 43688 SOS 27529 HAS SOPS 27529 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14689.529
AT ITER 6893 NEW BEST:: SOT 43682 SOS 27523 HAS SOPS 27523 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14683.523
AT ITER 6921 NEW BEST:: SOT 43682 SOS 27515 HAS SOPS 27515 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14675.515
AT ITER 6991 NEW BEST:: SOT 43679 SOS 27512 HAS SOPS 27512 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14675.512
AT ITER 6997 NEW BEST:: SOT 43657 SOS 27490 HAS SOPS 27490 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14653.49
AT ITER 7078 NEW BEST:: SOT 43555 SOS 27388 HAS SOPS 27388 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14653.388
AT ITER 7150 NEW BEST:: SOT 43555 SOS 27371 HAS SOPS 27371 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14636.371
AT ITER 7160 NEW BEST:: SOT 43555 SOS 27365 HAS SOPS 27365 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14630.365
AT ITER 7162 NEW BEST:: SOT 43538 SOS 27348 HAS SOPS 27348 HAS SOUS 14586 HAS SOUPS 14586 WITH SCORE 14613.348
AT ITER 7182 NEW BEST:: SOT 43529 SOS 27339 HAS SOPS 27339 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14604.339
AT ITER 7259 NEW BEST:: SOT 43529 SOS 27336 HAS SOPS 27336 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14601.336
AT ITER 7263 NEW BEST:: SOT 43514 SOS 27321 HAS SOPS 27321 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14586.321
AT ITER 7268 NEW BEST:: SOT 43514 SOS 27319 HAS SOPS 27319 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14584.319
AT ITER 7330 NEW BEST:: SOT 43514 SOS 27316 HAS SOPS 27316 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14581.316
AT ITER 7413 NEW BEST:: SOT 43492 SOS 27305 HAS SOPS 27305 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14581.305
AT ITER 7422 NEW BEST:: SOT 43639 SOS 27435 HAS SOPS 27435 HAS SOUS 14548 HAS SOUPS 14548 WITH SCORE 14575.435
AT ITER 7496 NEW BEST:: SOT 43636 SOS 27432 HAS SOPS 27432 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14572.432
AT ITER 7519 NEW BEST:: SOT 43512 SOS 27308 HAS SOPS 27308 HAS SOUS 14534 HAS SOUPS 14534 WITH SCORE 14561.308
AT ITER 7586 NEW BEST:: SOT 43512 SOS 27306 HAS SOPS 27306 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14559.306
AT ITER 7596 NEW BEST:: SOT 43511 SOS 27305 HAS SOPS 27305 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14558.305
AT ITER 7608 NEW BEST:: SOT 43498 SOS 27292 HAS SOPS 27292 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14545.292
AT ITER 7638 NEW BEST:: SOT 43477 SOS 27271 HAS SOPS 27271 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14524.271
AT ITER 7688 NEW BEST:: SOT 43473 SOS 27267 HAS SOPS 27267 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14520.267
AT ITER 7701 NEW BEST:: SOT 43473 SOS 27232 HAS SOPS 27232 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14485.232
AT ITER 7708 NEW BEST:: SOT 43472 SOS 27231 HAS SOPS 27231 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14484.231
AT ITER 7794 NEW BEST:: SOT 43472 SOS 27230 HAS SOPS 27230 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14483.23
AT ITER 7829 NEW BEST:: SOT 43472 SOS 27226 HAS SOPS 27226 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14479.226
AT ITER 7840 NEW BEST:: SOT 43460 SOS 27214 HAS SOPS 27214 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14467.214
AT ITER 7885 NEW BEST:: SOT 43410 SOS 27164 HAS SOPS 27164 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14442.164
AT ITER 7935 NEW BEST:: SOT 43410 SOS 27154 HAS SOPS 27154 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14432.154
AT ITER 7951 NEW BEST:: SOT 43408 SOS 27152 HAS SOPS 27152 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14430.152
AT ITER 8022 NEW BEST:: SOT 43408 SOS 27150 HAS SOPS 27150 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14428.15
AT ITER 8102 NEW BEST:: SOT 43480 SOS 27185 HAS SOPS 27185 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14426.185
AT ITER 8118 NEW BEST:: SOT 43478 SOS 27183 HAS SOPS 27183 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14426.183
AT ITER 8204 NEW BEST:: SOT 43478 SOS 27177 HAS SOPS 27177 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14420.177
AT ITER 8266 NEW BEST:: SOT 43455 SOS 27132 HAS SOPS 27132 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14402.132
AT ITER 8275 NEW BEST:: SOT 43438 SOS 27115 HAS SOPS 27115 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14402.115
AT ITER 8320 NEW BEST:: SOT 43417 SOS 27094 HAS SOPS 27094 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14381.094
AT ITER 8353 NEW BEST:: SOT 43417 SOS 27093 HAS SOPS 27093 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14380.093
AT ITER 8499 NEW BEST:: SOT 43417 SOS 27091 HAS SOPS 27091 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14378.091
AT ITER 8509 NEW BEST:: SOT 43417 SOS 27090 HAS SOPS 27090 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14377.09
AT ITER 8511 NEW BEST:: SOT 43417 SOS 27086 HAS SOPS 27086 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14373.086
AT ITER 8514 NEW BEST:: SOT 43417 SOS 27074 HAS SOPS 27074 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14361.074
AT ITER 8570 NEW BEST:: SOT 43417 SOS 27058 HAS SOPS 27058 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14345.058
AT ITER 8573 NEW BEST:: SOT 43387 SOS 27013 HAS SOPS 27013 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14315.013
AT ITER 8582 NEW BEST:: SOT 43349 SOS 26950 HAS SOPS 26950 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14294.95
AT ITER 8586 NEW BEST:: SOT 43321 SOS 26928 HAS SOPS 26928 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14286.928
AT ITER 8640 NEW BEST:: SOT 43327 SOS 26930 HAS SOPS 26930 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14284.93
AT ITER 8666 NEW BEST:: SOT 43323 SOS 26926 HAS SOPS 26926 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14280.926
AT ITER 8710 NEW BEST:: SOT 43285 SOS 26877 HAS SOPS 26877 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14250.877
AT ITER 8742 NEW BEST:: SOT 43260 SOS 26852 HAS SOPS 26852 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14225.852
AT ITER 8780 NEW BEST:: SOT 43257 SOS 26849 HAS SOPS 26849 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14222.849
AT ITER 8791 NEW BEST:: SOT 43261 SOS 26845 HAS SOPS 26845 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14218.845
AT ITER 8858 NEW BEST:: SOT 43261 SOS 26838 HAS SOPS 26838 HAS SOUS 14185 HAS SOUPS 14185 WITH SCORE 14211.838
AT ITER 8875 NEW BEST:: SOT 43250 SOS 26827 HAS SOPS 26827 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14200.827
AT ITER 8954 NEW BEST:: SOT 43247 SOS 26824 HAS SOPS 26824 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14197.824
AT ITER 9005 NEW BEST:: SOT 43247 SOS 26822 HAS SOPS 26822 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14195.822
AT ITER 9009 NEW BEST:: SOT 43244 SOS 26819 HAS SOPS 26819 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14192.819
AT ITER 9056 NEW BEST:: SOT 43261 SOS 26836 HAS SOPS 26836 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14181.836
AT ITER 9251 NEW BEST:: SOT 43265 SOS 26830 HAS SOPS 26830 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14175.83
AT ITER 9293 NEW BEST:: SOT 43261 SOS 26828 HAS SOPS 26828 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14173.828
AT ITER 9353 NEW BEST:: SOT 43259 SOS 26826 HAS SOPS 26826 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14171.826
AT ITER 9375 NEW BEST:: SOT 43258 SOS 26825 HAS SOPS 26825 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14170.825
AT ITER 9417 NEW BEST:: SOT 43243 SOS 26813 HAS SOPS 26813 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14158.813
AT ITER 9425 NEW BEST:: SOT 43321 SOS 26887 HAS SOPS 26887 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14154.887
AT ITER 9483 NEW BEST:: SOT 43299 SOS 26865 HAS SOPS 26865 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14143.865
AT ITER 9505 NEW BEST:: SOT 43284 SOS 26850 HAS SOPS 26850 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14128.85
AT ITER 9543 NEW BEST:: SOT 43284 SOS 26849 HAS SOPS 26849 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14127.849
AT ITER 9571 NEW BEST:: SOT 43279 SOS 26844 HAS SOPS 26844 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14122.844
AT ITER 9594 NEW BEST:: SOT 43274 SOS 26839 HAS SOPS 26839 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14122.839
AT ITER 9619 NEW BEST:: SOT 43274 SOS 23836 HAS SOPS 23836 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14080.836
AT ITER 9649 NEW BEST:: SOT 43180 SOS 23787 HAS SOPS 23787 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14078.787
AT ITER 9662 NEW BEST:: SOT 43178 SOS 23785 HAS SOPS 23785 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14076.785
AT ITER 9679 NEW BEST:: SOT 43177 SOS 23784 HAS SOPS 23784 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14075.784
AT ITER 9700 NEW BEST:: SOT 43177 SOS 23776 HAS SOPS 23776 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14067.776
AT ITER 9713 NEW BEST:: SOT 43125 SOS 23750 HAS SOPS 23750 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14067.75
AT ITER 9756 NEW BEST:: SOT 43125 SOS 23745 HAS SOPS 23745 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14062.745
AT ITER 9829 NEW BEST:: SOT 43125 SOS 23733 HAS SOPS 23733 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14050.733
AT ITER 9887 NEW BEST:: SOT 43115 SOS 23723 HAS SOPS 23723 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14040.723
AT ITER 9902 NEW BEST:: SOT 43121 SOS 23725 HAS SOPS 23725 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14038.725
AT ITER 9916 NEW BEST:: SOT 43120 SOS 23723 HAS SOPS 23723 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14037.723
STATE_SPACE STATES 21511680564 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 161 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679562995374
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}
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="QuasiCertifProtocol-PT-10"
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 QuasiCertifProtocol-PT-10, 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 r299-tall-167873953600880"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-10.tgz
mv QuasiCertifProtocol-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;