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.r107-tall-167814484500632.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 DLCround-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 18:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 18:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K 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 1678406208225

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=DLCround-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 23:56:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 23:56:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 23:56:50] [INFO ] Load time of PNML (sax parser for PT used): 111 ms
[2023-03-09 23:56:50] [INFO ] Transformed 1383 places.
[2023-03-09 23:56:50] [INFO ] Transformed 1887 transitions.
[2023-03-09 23:56:50] [INFO ] Found NUPN structural information;
[2023-03-09 23:56:50] [INFO ] Parsed PT model containing 1383 places and 1887 transitions and 4809 arcs in 195 ms.
[2023-03-09 23:56:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1383 places, 1887 transitions and 4809 arcs took 25 ms.
Total runtime 532 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03b
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: 1383 places, 1887 transitions, 4809 arcs.
AT ITER 0 NEW BEST:: SOT 1530587 SOS 280738 HAS SOPS 280738 HAS SOUS 223983 HAS SOUPS 223983 WITH SCORE 224263.738
AT ITER 23 NEW BEST:: SOT 1530587 SOS 280738 HAS SOPS 280738 HAS SOUS 223952 HAS SOUPS 223952 WITH SCORE 224232.738
AT ITER 29 NEW BEST:: SOT 1530493 SOS 281386 HAS SOPS 281386 HAS SOUS 223763 HAS SOUPS 223763 WITH SCORE 224044.386
AT ITER 43 NEW BEST:: SOT 1530475 SOS 281341 HAS SOPS 281341 HAS SOUS 223736 HAS SOUPS 223736 WITH SCORE 224017.341
AT ITER 90 NEW BEST:: SOT 1530390 SOS 281256 HAS SOPS 281256 HAS SOUS 223651 HAS SOUPS 223651 WITH SCORE 223932.256
AT ITER 93 NEW BEST:: SOT 1530228 SOS 281094 HAS SOPS 281094 HAS SOUS 223489 HAS SOUPS 223489 WITH SCORE 223770.094
AT ITER 107 NEW BEST:: SOT 1530167 SOS 280972 HAS SOPS 280972 HAS SOUS 223285 HAS SOUPS 223285 WITH SCORE 223565.972
AT ITER 112 NEW BEST:: SOT 1530141 SOS 281100 HAS SOPS 281100 HAS SOUS 223219 HAS SOUPS 223219 WITH SCORE 223500.1
AT ITER 124 NEW BEST:: SOT 1529457 SOS 284526 HAS SOPS 284526 HAS SOUS 223066 HAS SOUPS 223066 WITH SCORE 223350.526
AT ITER 129 NEW BEST:: SOT 1528318 SOS 287619 HAS SOPS 287619 HAS SOUS 222097 HAS SOUPS 222097 WITH SCORE 222384.619
AT ITER 139 NEW BEST:: SOT 1528318 SOS 287593 HAS SOPS 287593 HAS SOUS 222084 HAS SOUPS 222084 WITH SCORE 222371.593
AT ITER 167 NEW BEST:: SOT 1528318 SOS 287474 HAS SOPS 287474 HAS SOUS 222084 HAS SOUPS 222084 WITH SCORE 222371.474
AT ITER 178 NEW BEST:: SOT 1527654 SOS 286239 HAS SOPS 286239 HAS SOUS 221343 HAS SOUPS 221343 WITH SCORE 221629.239
AT ITER 188 NEW BEST:: SOT 1527584 SOS 286229 HAS SOPS 286229 HAS SOUS 221296 HAS SOUPS 221296 WITH SCORE 221582.229
AT ITER 228 NEW BEST:: SOT 1526086 SOS 285375 HAS SOPS 285375 HAS SOUS 220251 HAS SOUPS 220251 WITH SCORE 220536.375
AT ITER 308 NEW BEST:: SOT 1525683 SOS 285457 HAS SOPS 285457 HAS SOUS 220200 HAS SOUPS 220200 WITH SCORE 220485.457
AT ITER 343 NEW BEST:: SOT 1525683 SOS 285380 HAS SOPS 285380 HAS SOUS 220200 HAS SOUPS 220200 WITH SCORE 220485.38
AT ITER 345 NEW BEST:: SOT 1525508 SOS 285201 HAS SOPS 285201 HAS SOUS 220024 HAS SOUPS 220024 WITH SCORE 220309.201
AT ITER 365 NEW BEST:: SOT 1525377 SOS 286402 HAS SOPS 286402 HAS SOUS 219910 HAS SOUPS 219910 WITH SCORE 220196.402
AT ITER 372 NEW BEST:: SOT 1525377 SOS 286610 HAS SOPS 286610 HAS SOUS 219909 HAS SOUPS 219909 WITH SCORE 220195.61
AT ITER 406 NEW BEST:: SOT 1525326 SOS 286508 HAS SOPS 286508 HAS SOUS 219653 HAS SOUPS 219653 WITH SCORE 219939.508
AT ITER 417 NEW BEST:: SOT 1525252 SOS 286461 HAS SOPS 286461 HAS SOUS 219598 HAS SOUPS 219598 WITH SCORE 219884.461
AT ITER 422 NEW BEST:: SOT 1525298 SOS 286360 HAS SOPS 286360 HAS SOUS 219579 HAS SOUPS 219579 WITH SCORE 219865.36
AT ITER 454 NEW BEST:: SOT 1525297 SOS 286358 HAS SOPS 286358 HAS SOUS 219577 HAS SOUPS 219577 WITH SCORE 219863.358
AT ITER 492 NEW BEST:: SOT 1525297 SOS 286358 HAS SOPS 286358 HAS SOUS 219545 HAS SOUPS 219545 WITH SCORE 219831.358
AT ITER 510 NEW BEST:: SOT 1525297 SOS 286324 HAS SOPS 286324 HAS SOUS 219545 HAS SOUPS 219545 WITH SCORE 219831.324
AT ITER 522 NEW BEST:: SOT 1525297 SOS 286767 HAS SOPS 286767 HAS SOUS 219544 HAS SOUPS 219544 WITH SCORE 219830.767
AT ITER 534 NEW BEST:: SOT 1525296 SOS 286765 HAS SOPS 286765 HAS SOUS 219542 HAS SOUPS 219542 WITH SCORE 219828.765
AT ITER 554 NEW BEST:: SOT 1525256 SOS 286685 HAS SOPS 286685 HAS SOUS 219462 HAS SOUPS 219462 WITH SCORE 219748.685
AT ITER 559 NEW BEST:: SOT 1525203 SOS 286740 HAS SOPS 286740 HAS SOUS 219409 HAS SOUPS 219409 WITH SCORE 219695.74
AT ITER 575 NEW BEST:: SOT 1524614 SOS 286414 HAS SOPS 286414 HAS SOUS 218820 HAS SOUPS 218820 WITH SCORE 219106.414
AT ITER 576 NEW BEST:: SOT 1524584 SOS 286413 HAS SOPS 286413 HAS SOUS 218790 HAS SOUPS 218790 WITH SCORE 219076.413
AT ITER 577 NEW BEST:: SOT 1524542 SOS 286371 HAS SOPS 286371 HAS SOUS 218748 HAS SOUPS 218748 WITH SCORE 219034.371
AT ITER 579 NEW BEST:: SOT 1523579 SOS 290567 HAS SOPS 290567 HAS SOUS 218531 HAS SOUPS 218531 WITH SCORE 218821.567
AT ITER 590 NEW BEST:: SOT 1523400 SOS 290603 HAS SOPS 290603 HAS SOUS 218514 HAS SOUPS 218514 WITH SCORE 218804.603
AT ITER 615 NEW BEST:: SOT 1523200 SOS 290203 HAS SOPS 290203 HAS SOUS 218114 HAS SOUPS 218114 WITH SCORE 218404.203
AT ITER 618 NEW BEST:: SOT 1522591 SOS 289797 HAS SOPS 289797 HAS SOUS 217708 HAS SOUPS 217708 WITH SCORE 217997.797
AT ITER 648 NEW BEST:: SOT 1522401 SOS 289628 HAS SOPS 289628 HAS SOUS 217525 HAS SOUPS 217525 WITH SCORE 217814.628
AT ITER 695 NEW BEST:: SOT 1522386 SOS 289598 HAS SOPS 289598 HAS SOUS 217510 HAS SOUPS 217510 WITH SCORE 217799.598
AT ITER 704 NEW BEST:: SOT 1522192 SOS 289404 HAS SOPS 289404 HAS SOUS 217316 HAS SOUPS 217316 WITH SCORE 217605.404
AT ITER 708 NEW BEST:: SOT 1522186 SOS 289380 HAS SOPS 289380 HAS SOUS 217298 HAS SOUPS 217298 WITH SCORE 217587.38
AT ITER 794 NEW BEST:: SOT 1522133 SOS 289406 HAS SOPS 289406 HAS SOUS 217289 HAS SOUPS 217289 WITH SCORE 217578.406
AT ITER 806 NEW BEST:: SOT 1522048 SOS 289338 HAS SOPS 289338 HAS SOUS 217119 HAS SOUPS 217119 WITH SCORE 217408.338
AT ITER 816 NEW BEST:: SOT 1521665 SOS 289214 HAS SOPS 289214 HAS SOUS 217057 HAS SOUPS 217057 WITH SCORE 217346.214
AT ITER 859 NEW BEST:: SOT 1521449 SOS 288994 HAS SOPS 288994 HAS SOUS 216840 HAS SOUPS 216840 WITH SCORE 217128.994
AT ITER 885 NEW BEST:: SOT 1521352 SOS 287927 HAS SOPS 287927 HAS SOUS 216646 HAS SOUPS 216646 WITH SCORE 216933.927
AT ITER 887 NEW BEST:: SOT 1521183 SOS 284325 HAS SOPS 284325 HAS SOUS 216469 HAS SOUPS 216469 WITH SCORE 216753.325
AT ITER 895 NEW BEST:: SOT 1520701 SOS 284013 HAS SOPS 284013 HAS SOUS 216150 HAS SOUPS 216150 WITH SCORE 216434.013
AT ITER 910 NEW BEST:: SOT 1520609 SOS 283829 HAS SOPS 283829 HAS SOUS 215966 HAS SOUPS 215966 WITH SCORE 216249.829
AT ITER 914 NEW BEST:: SOT 1520495 SOS 283639 HAS SOPS 283639 HAS SOUS 215814 HAS SOUPS 215814 WITH SCORE 216097.639
AT ITER 917 NEW BEST:: SOT 1520455 SOS 283599 HAS SOPS 283599 HAS SOUS 215794 HAS SOUPS 215794 WITH SCORE 216077.599
AT ITER 927 NEW BEST:: SOT 1520342 SOS 283599 HAS SOPS 283599 HAS SOUS 215681 HAS SOUPS 215681 WITH SCORE 215964.599
AT ITER 932 NEW BEST:: SOT 1520261 SOS 283518 HAS SOPS 283518 HAS SOUS 215600 HAS SOUPS 215600 WITH SCORE 215883.518
AT ITER 933 NEW BEST:: SOT 1520240 SOS 283476 HAS SOPS 283476 HAS SOUS 215558 HAS SOUPS 215558 WITH SCORE 215841.476
AT ITER 959 NEW BEST:: SOT 1520240 SOS 283476 HAS SOPS 283476 HAS SOUS 215525 HAS SOUPS 215525 WITH SCORE 215808.476
AT ITER 962 NEW BEST:: SOT 1520177 SOS 283412 HAS SOPS 283412 HAS SOUS 215461 HAS SOUPS 215461 WITH SCORE 215744.412
AT ITER 985 NEW BEST:: SOT 1520063 SOS 283354 HAS SOPS 283354 HAS SOUS 215374 HAS SOUPS 215374 WITH SCORE 215657.354
AT ITER 996 NEW BEST:: SOT 1520132 SOS 283423 HAS SOPS 283423 HAS SOUS 215235 HAS SOUPS 215235 WITH SCORE 215518.423
AT ITER 1013 NEW BEST:: SOT 1520199 SOS 283557 HAS SOPS 283557 HAS SOUS 215049 HAS SOUPS 215049 WITH SCORE 215332.557
AT ITER 1027 NEW BEST:: SOT 1520084 SOS 283861 HAS SOPS 283861 HAS SOUS 214934 HAS SOUPS 214934 WITH SCORE 215217.861
AT ITER 1049 NEW BEST:: SOT 1519931 SOS 283708 HAS SOPS 283708 HAS SOUS 214781 HAS SOUPS 214781 WITH SCORE 215064.708
AT ITER 1069 NEW BEST:: SOT 1519930 SOS 284668 HAS SOPS 284668 HAS SOUS 214778 HAS SOUPS 214778 WITH SCORE 215062.668
AT ITER 1073 NEW BEST:: SOT 1519972 SOS 284752 HAS SOPS 284752 HAS SOUS 214717 HAS SOUPS 214717 WITH SCORE 215001.752
AT ITER 1083 NEW BEST:: SOT 1519652 SOS 284382 HAS SOPS 284382 HAS SOUS 214482 HAS SOUPS 214482 WITH SCORE 214766.382
AT ITER 1095 NEW BEST:: SOT 1519528 SOS 284134 HAS SOPS 284134 HAS SOUS 214358 HAS SOUPS 214358 WITH SCORE 214642.134
AT ITER 1107 NEW BEST:: SOT 1519518 SOS 284124 HAS SOPS 284124 HAS SOUS 214348 HAS SOUPS 214348 WITH SCORE 214632.124
AT ITER 1110 NEW BEST:: SOT 1519518 SOS 284087 HAS SOPS 284087 HAS SOUS 214311 HAS SOUPS 214311 WITH SCORE 214595.087
AT ITER 1122 NEW BEST:: SOT 1519296 SOS 283643 HAS SOPS 283643 HAS SOUS 214036 HAS SOUPS 214036 WITH SCORE 214319.643
AT ITER 1154 NEW BEST:: SOT 1519236 SOS 283573 HAS SOPS 283573 HAS SOUS 213975 HAS SOUPS 213975 WITH SCORE 214258.573
AT ITER 1169 NEW BEST:: SOT 1519162 SOS 283539 HAS SOPS 283539 HAS SOUS 213900 HAS SOUPS 213900 WITH SCORE 214183.539
AT ITER 1188 NEW BEST:: SOT 1519162 SOS 283539 HAS SOPS 283539 HAS SOUS 213797 HAS SOUPS 213797 WITH SCORE 214080.539
AT ITER 1217 NEW BEST:: SOT 1519014 SOS 283243 HAS SOPS 283243 HAS SOUS 213575 HAS SOUPS 213575 WITH SCORE 213858.243
AT ITER 1256 NEW BEST:: SOT 1518760 SOS 282993 HAS SOPS 282993 HAS SOUS 213325 HAS SOUPS 213325 WITH SCORE 213607.993
AT ITER 1316 NEW BEST:: SOT 1518649 SOS 283005 HAS SOPS 283005 HAS SOUS 213292 HAS SOUPS 213292 WITH SCORE 213575.005
AT ITER 1322 NEW BEST:: SOT 1518404 SOS 282736 HAS SOPS 282736 HAS SOUS 213023 HAS SOUPS 213023 WITH SCORE 213305.736
AT ITER 1348 NEW BEST:: SOT 1518186 SOS 282542 HAS SOPS 282542 HAS SOUS 212829 HAS SOUPS 212829 WITH SCORE 213111.542
AT ITER 1354 NEW BEST:: SOT 1517667 SOS 284829 HAS SOPS 284829 HAS SOUS 212557 HAS SOUPS 212557 WITH SCORE 212841.829
AT ITER 1365 NEW BEST:: SOT 1517491 SOS 284517 HAS SOPS 284517 HAS SOUS 212245 HAS SOUPS 212245 WITH SCORE 212529.517
AT ITER 1366 NEW BEST:: SOT 1517284 SOS 284103 HAS SOPS 284103 HAS SOUS 212125 HAS SOUPS 212125 WITH SCORE 212409.103
AT ITER 1376 NEW BEST:: SOT 1517272 SOS 284079 HAS SOPS 284079 HAS SOUS 212064 HAS SOUPS 212064 WITH SCORE 212348.079
AT ITER 1440 NEW BEST:: SOT 1517264 SOS 284063 HAS SOPS 284063 HAS SOUS 212048 HAS SOUPS 212048 WITH SCORE 212332.063
AT ITER 1483 NEW BEST:: SOT 1517274 SOS 284083 HAS SOPS 284083 HAS SOUS 211995 HAS SOUPS 211995 WITH SCORE 212279.083
AT ITER 1547 NEW BEST:: SOT 1517144 SOS 282311 HAS SOPS 282311 HAS SOUS 211784 HAS SOUPS 211784 WITH SCORE 212066.311
AT ITER 1551 NEW BEST:: SOT 1517016 SOS 282055 HAS SOPS 282055 HAS SOUS 211689 HAS SOUPS 211689 WITH SCORE 211971.055
AT ITER 1576 NEW BEST:: SOT 1516947 SOS 281956 HAS SOPS 281956 HAS SOUS 211627 HAS SOUPS 211627 WITH SCORE 211908.956
AT ITER 1613 NEW BEST:: SOT 1516010 SOS 289198 HAS SOPS 289198 HAS SOUS 211003 HAS SOUPS 211003 WITH SCORE 211292.198
AT ITER 1616 NEW BEST:: SOT 1516010 SOS 289198 HAS SOPS 289198 HAS SOUS 210889 HAS SOUPS 210889 WITH SCORE 211178.198
AT ITER 1634 NEW BEST:: SOT 1515994 SOS 289166 HAS SOPS 289166 HAS SOUS 210857 HAS SOUPS 210857 WITH SCORE 211146.166
AT ITER 1640 NEW BEST:: SOT 1515958 SOS 289136 HAS SOPS 289136 HAS SOUS 210827 HAS SOUPS 210827 WITH SCORE 211116.136
AT ITER 1683 NEW BEST:: SOT 1515952 SOS 289118 HAS SOPS 289118 HAS SOUS 210815 HAS SOUPS 210815 WITH SCORE 211104.118
AT ITER 1701 NEW BEST:: SOT 1515976 SOS 289166 HAS SOPS 289166 HAS SOUS 210576 HAS SOUPS 210576 WITH SCORE 210865.166
AT ITER 1702 NEW BEST:: SOT 1515911 SOS 288906 HAS SOPS 288906 HAS SOUS 210511 HAS SOUPS 210511 WITH SCORE 210799.906
AT ITER 1706 NEW BEST:: SOT 1515699 SOS 291168 HAS SOPS 291168 HAS SOUS 210325 HAS SOUPS 210325 WITH SCORE 210616.168
AT ITER 1715 NEW BEST:: SOT 1515674 SOS 291143 HAS SOPS 291143 HAS SOUS 210325 HAS SOUPS 210325 WITH SCORE 210616.143
AT ITER 1726 NEW BEST:: SOT 1515616 SOS 291607 HAS SOPS 291607 HAS SOUS 210293 HAS SOUPS 210293 WITH SCORE 210584.607
AT ITER 1733 NEW BEST:: SOT 1515598 SOS 291735 HAS SOPS 291735 HAS SOUS 210279 HAS SOUPS 210279 WITH SCORE 210570.735
AT ITER 1780 NEW BEST:: SOT 1515565 SOS 291708 HAS SOPS 291708 HAS SOUS 210255 HAS SOUPS 210255 WITH SCORE 210546.708
AT ITER 1793 NEW BEST:: SOT 1515565 SOS 291708 HAS SOPS 291708 HAS SOUS 210086 HAS SOUPS 210086 WITH SCORE 210377.708
AT ITER 1802 NEW BEST:: SOT 1515461 SOS 291500 HAS SOPS 291500 HAS SOUS 209981 HAS SOUPS 209981 WITH SCORE 210272.5
AT ITER 1807 NEW BEST:: SOT 1515459 SOS 291496 HAS SOPS 291496 HAS SOUS 209977 HAS SOUPS 209977 WITH SCORE 210268.496
AT ITER 1814 NEW BEST:: SOT 1515544 SOS 291666 HAS SOPS 291666 HAS SOUS 209876 HAS SOUPS 209876 WITH SCORE 210167.666
AT ITER 1876 NEW BEST:: SOT 1515544 SOS 291650 HAS SOPS 291650 HAS SOUS 209876 HAS SOUPS 209876 WITH SCORE 210167.65
AT ITER 1883 NEW BEST:: SOT 1515516 SOS 291594 HAS SOPS 291594 HAS SOUS 209792 HAS SOUPS 209792 WITH SCORE 210083.594
AT ITER 1899 NEW BEST:: SOT 1515516 SOS 291594 HAS SOPS 291594 HAS SOUS 209785 HAS SOUPS 209785 WITH SCORE 210076.594
AT ITER 1901 NEW BEST:: SOT 1515246 SOS 291880 HAS SOPS 291880 HAS SOUS 209776 HAS SOUPS 209776 WITH SCORE 210067.88
AT ITER 1903 NEW BEST:: SOT 1514540 SOS 291041 HAS SOPS 291041 HAS SOUS 209138 HAS SOUPS 209138 WITH SCORE 209429.041
AT ITER 1927 NEW BEST:: SOT 1513613 SOS 290811 HAS SOPS 290811 HAS SOUS 208598 HAS SOUPS 208598 WITH SCORE 208888.811
AT ITER 1957 NEW BEST:: SOT 1513585 SOS 290755 HAS SOPS 290755 HAS SOUS 208570 HAS SOUPS 208570 WITH SCORE 208860.755
AT ITER 2009 NEW BEST:: SOT 1513522 SOS 290708 HAS SOPS 290708 HAS SOUS 208549 HAS SOUPS 208549 WITH SCORE 208839.708
AT ITER 2020 NEW BEST:: SOT 1513513 SOS 290690 HAS SOPS 290690 HAS SOUS 208540 HAS SOUPS 208540 WITH SCORE 208830.69
AT ITER 2030 NEW BEST:: SOT 1513512 SOS 290688 HAS SOPS 290688 HAS SOUS 208538 HAS SOUPS 208538 WITH SCORE 208828.688
AT ITER 2039 NEW BEST:: SOT 1513512 SOS 290606 HAS SOPS 290606 HAS SOUS 208497 HAS SOUPS 208497 WITH SCORE 208787.606
AT ITER 2045 NEW BEST:: SOT 1513224 SOS 290349 HAS SOPS 290349 HAS SOUS 208223 HAS SOUPS 208223 WITH SCORE 208513.349
AT ITER 2052 NEW BEST:: SOT 1513177 SOS 290302 HAS SOPS 290302 HAS SOUS 208176 HAS SOUPS 208176 WITH SCORE 208466.302
AT ITER 2069 NEW BEST:: SOT 1512943 SOS 284954 HAS SOPS 284954 HAS SOUS 207942 HAS SOUPS 207942 WITH SCORE 208226.954
AT ITER 2075 NEW BEST:: SOT 1512857 SOS 284907 HAS SOPS 284907 HAS SOUS 207898 HAS SOUPS 207898 WITH SCORE 208182.907
AT ITER 2095 NEW BEST:: SOT 1512840 SOS 284873 HAS SOPS 284873 HAS SOUS 207864 HAS SOUPS 207864 WITH SCORE 208148.873
AT ITER 2113 NEW BEST:: SOT 1512713 SOS 284518 HAS SOPS 284518 HAS SOUS 207636 HAS SOUPS 207636 WITH SCORE 207920.518
AT ITER 2137 NEW BEST:: SOT 1512688 SOS 284719 HAS SOPS 284719 HAS SOUS 207611 HAS SOUPS 207611 WITH SCORE 207895.719
AT ITER 2147 NEW BEST:: SOT 1512682 SOS 284707 HAS SOPS 284707 HAS SOUS 207604 HAS SOUPS 207604 WITH SCORE 207888.707
AT ITER 2215 NEW BEST:: SOT 1512598 SOS 285295 HAS SOPS 285295 HAS SOUS 207436 HAS SOUPS 207436 WITH SCORE 207721.295
AT ITER 2257 NEW BEST:: SOT 1512539 SOS 285177 HAS SOPS 285177 HAS SOUS 207318 HAS SOUPS 207318 WITH SCORE 207603.177
AT ITER 2287 NEW BEST:: SOT 1512311 SOS 284873 HAS SOPS 284873 HAS SOUS 207014 HAS SOUPS 207014 WITH SCORE 207298.873
AT ITER 2305 NEW BEST:: SOT 1511986 SOS 284941 HAS SOPS 284941 HAS SOUS 206882 HAS SOUPS 206882 WITH SCORE 207166.941
AT ITER 2319 NEW BEST:: SOT 1511982 SOS 284933 HAS SOPS 284933 HAS SOUS 206866 HAS SOUPS 206866 WITH SCORE 207150.933
AT ITER 2336 NEW BEST:: SOT 1511970 SOS 284663 HAS SOPS 284663 HAS SOUS 206842 HAS SOUPS 206842 WITH SCORE 207126.663
AT ITER 2355 NEW BEST:: SOT 1511970 SOS 284467 HAS SOPS 284467 HAS SOUS 206842 HAS SOUPS 206842 WITH SCORE 207126.467
AT ITER 2371 NEW BEST:: SOT 1511761 SOS 283426 HAS SOPS 283426 HAS SOUS 206475 HAS SOUPS 206475 WITH SCORE 206758.426
AT ITER 2383 NEW BEST:: SOT 1511761 SOS 283432 HAS SOPS 283432 HAS SOUS 206433 HAS SOUPS 206433 WITH SCORE 206716.432
AT ITER 2384 NEW BEST:: SOT 1511630 SOS 283382 HAS SOPS 283382 HAS SOUS 206301 HAS SOUPS 206301 WITH SCORE 206584.382
AT ITER 2410 NEW BEST:: SOT 1511597 SOS 283349 HAS SOPS 283349 HAS SOUS 206268 HAS SOUPS 206268 WITH SCORE 206551.349
AT ITER 2449 NEW BEST:: SOT 1511593 SOS 283341 HAS SOPS 283341 HAS SOUS 206141 HAS SOUPS 206141 WITH SCORE 206424.341
AT ITER 2451 NEW BEST:: SOT 1511460 SOS 283208 HAS SOPS 283208 HAS SOUS 206141 HAS SOUPS 206141 WITH SCORE 206424.208
AT ITER 2456 NEW BEST:: SOT 1511460 SOS 283134 HAS SOPS 283134 HAS SOUS 206067 HAS SOUPS 206067 WITH SCORE 206350.134
AT ITER 2461 NEW BEST:: SOT 1510792 SOS 283422 HAS SOPS 283422 HAS SOUS 205771 HAS SOUPS 205771 WITH SCORE 206054.422
AT ITER 2478 NEW BEST:: SOT 1510710 SOS 283340 HAS SOPS 283340 HAS SOUS 205689 HAS SOUPS 205689 WITH SCORE 205972.34
AT ITER 2482 NEW BEST:: SOT 1510645 SOS 283351 HAS SOPS 283351 HAS SOUS 205671 HAS SOUPS 205671 WITH SCORE 205954.351
AT ITER 2488 NEW BEST:: SOT 1510559 SOS 282921 HAS SOPS 282921 HAS SOUS 205499 HAS SOUPS 205499 WITH SCORE 205781.921
AT ITER 2543 NEW BEST:: SOT 1510604 SOS 282589 HAS SOPS 282589 HAS SOUS 205436 HAS SOUPS 205436 WITH SCORE 205718.589
AT ITER 2565 NEW BEST:: SOT 1510604 SOS 282341 HAS SOPS 282341 HAS SOUS 205312 HAS SOUPS 205312 WITH SCORE 205594.341
AT ITER 2577 NEW BEST:: SOT 1510515 SOS 282403 HAS SOPS 282403 HAS SOUS 205134 HAS SOUPS 205134 WITH SCORE 205416.403
AT ITER 2612 NEW BEST:: SOT 1510459 SOS 282445 HAS SOPS 282445 HAS SOUS 205001 HAS SOUPS 205001 WITH SCORE 205283.445
AT ITER 2642 NEW BEST:: SOT 1510428 SOS 282383 HAS SOPS 282383 HAS SOUS 204939 HAS SOUPS 204939 WITH SCORE 205221.383
AT ITER 2648 NEW BEST:: SOT 1510413 SOS 282368 HAS SOPS 282368 HAS SOUS 204924 HAS SOUPS 204924 WITH SCORE 205206.368
AT ITER 2660 NEW BEST:: SOT 1510110 SOS 282065 HAS SOPS 282065 HAS SOUS 204621 HAS SOUPS 204621 WITH SCORE 204903.065
AT ITER 2710 NEW BEST:: SOT 1509865 SOS 282289 HAS SOPS 282289 HAS SOUS 204098 HAS SOUPS 204098 WITH SCORE 204380.289
AT ITER 2728 NEW BEST:: SOT 1509833 SOS 282225 HAS SOPS 282225 HAS SOUS 204066 HAS SOUPS 204066 WITH SCORE 204348.225
AT ITER 2729 NEW BEST:: SOT 1509826 SOS 282218 HAS SOPS 282218 HAS SOUS 204052 HAS SOUPS 204052 WITH SCORE 204334.218
AT ITER 2748 NEW BEST:: SOT 1509294 SOS 282546 HAS SOPS 282546 HAS SOUS 203901 HAS SOUPS 203901 WITH SCORE 204183.546
AT ITER 2755 NEW BEST:: SOT 1509294 SOS 282520 HAS SOPS 282520 HAS SOUS 203875 HAS SOUPS 203875 WITH SCORE 204157.52
AT ITER 2756 NEW BEST:: SOT 1508950 SOS 282037 HAS SOPS 282037 HAS SOUS 203531 HAS SOUPS 203531 WITH SCORE 203813.037
AT ITER 2780 NEW BEST:: SOT 1508922 SOS 282035 HAS SOPS 282035 HAS SOUS 203529 HAS SOUPS 203529 WITH SCORE 203811.035
AT ITER 2803 NEW BEST:: SOT 1508922 SOS 281732 HAS SOPS 281732 HAS SOUS 203529 HAS SOUPS 203529 WITH SCORE 203810.732
AT ITER 2825 NEW BEST:: SOT 1508908 SOS 281704 HAS SOPS 281704 HAS SOUS 203515 HAS SOUPS 203515 WITH SCORE 203796.704
AT ITER 2829 NEW BEST:: SOT 1508871 SOS 281630 HAS SOPS 281630 HAS SOUS 203478 HAS SOUPS 203478 WITH SCORE 203759.63
AT ITER 2873 NEW BEST:: SOT 1508804 SOS 281413 HAS SOPS 281413 HAS SOUS 203328 HAS SOUPS 203328 WITH SCORE 203609.413
AT ITER 2874 NEW BEST:: SOT 1508862 SOS 281529 HAS SOPS 281529 HAS SOUS 203293 HAS SOUPS 203293 WITH SCORE 203574.529
AT ITER 2896 NEW BEST:: SOT 1508871 SOS 281519 HAS SOPS 281519 HAS SOUS 203283 HAS SOUPS 203283 WITH SCORE 203564.519
AT ITER 2914 NEW BEST:: SOT 1508871 SOS 281514 HAS SOPS 281514 HAS SOUS 203278 HAS SOUPS 203278 WITH SCORE 203559.514
AT ITER 2932 NEW BEST:: SOT 1508025 SOS 281296 HAS SOPS 281296 HAS SOUS 202484 HAS SOUPS 202484 WITH SCORE 202765.296
AT ITER 2939 NEW BEST:: SOT 1508009 SOS 281288 HAS SOPS 281288 HAS SOUS 202476 HAS SOUPS 202476 WITH SCORE 202757.288
AT ITER 2951 NEW BEST:: SOT 1507525 SOS 280959 HAS SOPS 280959 HAS SOUS 202259 HAS SOUPS 202259 WITH SCORE 202539.959
AT ITER 2997 NEW BEST:: SOT 1507502 SOS 280913 HAS SOPS 280913 HAS SOUS 202176 HAS SOUPS 202176 WITH SCORE 202456.913
AT ITER 3024 NEW BEST:: SOT 1506252 SOS 280412 HAS SOPS 280412 HAS SOUS 201599 HAS SOUPS 201599 WITH SCORE 201879.412
AT ITER 3072 NEW BEST:: SOT 1506199 SOS 280306 HAS SOPS 280306 HAS SOUS 201546 HAS SOUPS 201546 WITH SCORE 201826.306
AT ITER 3127 NEW BEST:: SOT 1505865 SOS 279638 HAS SOPS 279638 HAS SOUS 200878 HAS SOUPS 200878 WITH SCORE 201157.638
AT ITER 3150 NEW BEST:: SOT 1505812 SOS 279532 HAS SOPS 279532 HAS SOUS 200772 HAS SOUPS 200772 WITH SCORE 201051.532
AT ITER 3151 NEW BEST:: SOT 1505812 SOS 279654 HAS SOPS 279654 HAS SOUS 200768 HAS SOUPS 200768 WITH SCORE 201047.654
AT ITER 3155 NEW BEST:: SOT 1505781 SOS 279623 HAS SOPS 279623 HAS SOUS 200737 HAS SOUPS 200737 WITH SCORE 201016.623
AT ITER 3159 NEW BEST:: SOT 1505501 SOS 279251 HAS SOPS 279251 HAS SOUS 200457 HAS SOUPS 200457 WITH SCORE 200736.251
AT ITER 3182 NEW BEST:: SOT 1505421 SOS 279549 HAS SOPS 279549 HAS SOUS 200383 HAS SOUPS 200383 WITH SCORE 200662.549
AT ITER 3221 NEW BEST:: SOT 1505447 SOS 279601 HAS SOPS 279601 HAS SOUS 200173 HAS SOUPS 200173 WITH SCORE 200452.601
AT ITER 3226 NEW BEST:: SOT 1505361 SOS 279429 HAS SOPS 279429 HAS SOUS 200001 HAS SOUPS 200001 WITH SCORE 200280.429
AT ITER 3262 NEW BEST:: SOT 1505297 SOS 279120 HAS SOPS 279120 HAS SOUS 199873 HAS SOUPS 199873 WITH SCORE 200152.12
AT ITER 3281 NEW BEST:: SOT 1505207 SOS 278940 HAS SOPS 278940 HAS SOUS 199693 HAS SOUPS 199693 WITH SCORE 199971.94
AT ITER 3295 NEW BEST:: SOT 1505207 SOS 278882 HAS SOPS 278882 HAS SOUS 199664 HAS SOUPS 199664 WITH SCORE 199942.882
AT ITER 3333 NEW BEST:: SOT 1505107 SOS 278806 HAS SOPS 278806 HAS SOUS 199584 HAS SOUPS 199584 WITH SCORE 199862.806
AT ITER 3343 NEW BEST:: SOT 1505094 SOS 278841 HAS SOPS 278841 HAS SOUS 199554 HAS SOUPS 199554 WITH SCORE 199832.841
AT ITER 3422 NEW BEST:: SOT 1505117 SOS 278272 HAS SOPS 278272 HAS SOUS 199383 HAS SOUPS 199383 WITH SCORE 199661.272
AT ITER 3460 NEW BEST:: SOT 1504906 SOS 277217 HAS SOPS 277217 HAS SOUS 198961 HAS SOUPS 198961 WITH SCORE 199238.217
AT ITER 3464 NEW BEST:: SOT 1504906 SOS 278620 HAS SOPS 278620 HAS SOUS 198803 HAS SOUPS 198803 WITH SCORE 199081.62
AT ITER 3527 NEW BEST:: SOT 1504824 SOS 278456 HAS SOPS 278456 HAS SOUS 198721 HAS SOUPS 198721 WITH SCORE 198999.456
AT ITER 3534 NEW BEST:: SOT 1504808 SOS 278456 HAS SOPS 278456 HAS SOUS 198673 HAS SOUPS 198673 WITH SCORE 198951.456
AT ITER 3560 NEW BEST:: SOT 1504815 SOS 278470 HAS SOPS 278470 HAS SOUS 198592 HAS SOUPS 198592 WITH SCORE 198870.47
AT ITER 3597 NEW BEST:: SOT 1504815 SOS 278420 HAS SOPS 278420 HAS SOUS 198585 HAS SOUPS 198585 WITH SCORE 198863.42
AT ITER 3646 NEW BEST:: SOT 1504741 SOS 278324 HAS SOPS 278324 HAS SOUS 198489 HAS SOUPS 198489 WITH SCORE 198767.324
AT ITER 3670 NEW BEST:: SOT 1504554 SOS 277950 HAS SOPS 277950 HAS SOUS 198302 HAS SOUPS 198302 WITH SCORE 198579.95
AT ITER 3697 NEW BEST:: SOT 1504705 SOS 278066 HAS SOPS 278066 HAS SOUS 198285 HAS SOUPS 198285 WITH SCORE 198563.066
AT ITER 3714 NEW BEST:: SOT 1504620 SOS 278286 HAS SOPS 278286 HAS SOUS 198152 HAS SOUPS 198152 WITH SCORE 198430.286
AT ITER 3730 NEW BEST:: SOT 1504546 SOS 278138 HAS SOPS 278138 HAS SOUS 198058 HAS SOUPS 198058 WITH SCORE 198336.138
AT ITER 3763 NEW BEST:: SOT 1504544 SOS 278134 HAS SOPS 278134 HAS SOUS 198054 HAS SOUPS 198054 WITH SCORE 198332.134
AT ITER 3776 NEW BEST:: SOT 1504443 SOS 278033 HAS SOPS 278033 HAS SOUS 197953 HAS SOUPS 197953 WITH SCORE 198231.033
AT ITER 3782 NEW BEST:: SOT 1504230 SOS 277820 HAS SOPS 277820 HAS SOUS 197740 HAS SOUPS 197740 WITH SCORE 198017.82
AT ITER 3797 NEW BEST:: SOT 1504230 SOS 277766 HAS SOPS 277766 HAS SOUS 197713 HAS SOUPS 197713 WITH SCORE 197990.766
AT ITER 3823 NEW BEST:: SOT 1504192 SOS 277752 HAS SOPS 277752 HAS SOUS 197699 HAS SOUPS 197699 WITH SCORE 197976.752
AT ITER 3831 NEW BEST:: SOT 1504126 SOS 277620 HAS SOPS 277620 HAS SOUS 197545 HAS SOUPS 197545 WITH SCORE 197822.62
AT ITER 3850 NEW BEST:: SOT 1504103 SOS 277575 HAS SOPS 277575 HAS SOUS 197500 HAS SOUPS 197500 WITH SCORE 197777.575
AT ITER 3857 NEW BEST:: SOT 1503748 SOS 277510 HAS SOPS 277510 HAS SOUS 197360 HAS SOUPS 197360 WITH SCORE 197637.51
AT ITER 3867 NEW BEST:: SOT 1503589 SOS 277192 HAS SOPS 277192 HAS SOUS 197042 HAS SOUPS 197042 WITH SCORE 197319.192
AT ITER 3898 NEW BEST:: SOT 1503580 SOS 277174 HAS SOPS 277174 HAS SOUS 197024 HAS SOUPS 197024 WITH SCORE 197301.174
AT ITER 3912 NEW BEST:: SOT 1503580 SOS 277131 HAS SOPS 277131 HAS SOUS 197024 HAS SOUPS 197024 WITH SCORE 197301.131
AT ITER 3920 NEW BEST:: SOT 1503488 SOS 277029 HAS SOPS 277029 HAS SOUS 196980 HAS SOUPS 196980 WITH SCORE 197257.029
AT ITER 3935 NEW BEST:: SOT 1503418 SOS 276889 HAS SOPS 276889 HAS SOUS 196840 HAS SOUPS 196840 WITH SCORE 197116.889
AT ITER 3972 NEW BEST:: SOT 1503261 SOS 276575 HAS SOPS 276575 HAS SOUS 196526 HAS SOUPS 196526 WITH SCORE 196802.575
AT ITER 3987 NEW BEST:: SOT 1503171 SOS 276495 HAS SOPS 276495 HAS SOUS 196463 HAS SOUPS 196463 WITH SCORE 196739.495
AT ITER 3992 NEW BEST:: SOT 1503022 SOS 275695 HAS SOPS 275695 HAS SOUS 196103 HAS SOUPS 196103 WITH SCORE 196378.695
AT ITER 4013 NEW BEST:: SOT 1503019 SOS 275059 HAS SOPS 275059 HAS SOUS 196097 HAS SOUPS 196097 WITH SCORE 196372.059
AT ITER 4020 NEW BEST:: SOT 1503019 SOS 275033 HAS SOPS 275033 HAS SOUS 196097 HAS SOUPS 196097 WITH SCORE 196372.033
AT ITER 4086 NEW BEST:: SOT 1503019 SOS 275013 HAS SOPS 275013 HAS SOUS 196087 HAS SOUPS 196087 WITH SCORE 196362.013
AT ITER 4126 NEW BEST:: SOT 1502890 SOS 274755 HAS SOPS 274755 HAS SOUS 195829 HAS SOUPS 195829 WITH SCORE 196103.755
AT ITER 4143 NEW BEST:: SOT 1502696 SOS 274710 HAS SOPS 274710 HAS SOUS 195785 HAS SOUPS 195785 WITH SCORE 196059.71
AT ITER 4146 NEW BEST:: SOT 1502696 SOS 274710 HAS SOPS 274710 HAS SOUS 195778 HAS SOUPS 195778 WITH SCORE 196052.71
AT ITER 4208 NEW BEST:: SOT 1502527 SOS 274718 HAS SOPS 274718 HAS SOUS 195767 HAS SOUPS 195767 WITH SCORE 196041.718
AT ITER 4222 NEW BEST:: SOT 1502503 SOS 274582 HAS SOPS 274582 HAS SOUS 195631 HAS SOUPS 195631 WITH SCORE 195905.582
AT ITER 4262 NEW BEST:: SOT 1502489 SOS 274571 HAS SOPS 274571 HAS SOUS 195603 HAS SOUPS 195603 WITH SCORE 195877.571
AT ITER 4309 NEW BEST:: SOT 1502452 SOS 274423 HAS SOPS 274423 HAS SOUS 195529 HAS SOUPS 195529 WITH SCORE 195803.423
AT ITER 4327 NEW BEST:: SOT 1502431 SOS 274402 HAS SOPS 274402 HAS SOUS 195508 HAS SOUPS 195508 WITH SCORE 195782.402
AT ITER 4354 NEW BEST:: SOT 1502313 SOS 274166 HAS SOPS 274166 HAS SOUS 195272 HAS SOUPS 195272 WITH SCORE 195546.166
AT ITER 4366 NEW BEST:: SOT 1502299 SOS 274138 HAS SOPS 274138 HAS SOUS 195014 HAS SOUPS 195014 WITH SCORE 195288.138
AT ITER 4402 NEW BEST:: SOT 1502298 SOS 274136 HAS SOPS 274136 HAS SOUS 195012 HAS SOUPS 195012 WITH SCORE 195286.136
AT ITER 4415 NEW BEST:: SOT 1502239 SOS 273558 HAS SOPS 273558 HAS SOUS 194894 HAS SOUPS 194894 WITH SCORE 195167.558
AT ITER 4437 NEW BEST:: SOT 1502184 SOS 273503 HAS SOPS 273503 HAS SOUS 194839 HAS SOUPS 194839 WITH SCORE 195112.503
AT ITER 4446 NEW BEST:: SOT 1502191 SOS 273517 HAS SOPS 273517 HAS SOUS 194831 HAS SOUPS 194831 WITH SCORE 195104.517
AT ITER 4449 NEW BEST:: SOT 1502083 SOS 274909 HAS SOPS 274909 HAS SOUS 194706 HAS SOUPS 194706 WITH SCORE 194980.909
AT ITER 4455 NEW BEST:: SOT 1501905 SOS 274553 HAS SOPS 274553 HAS SOUS 194609 HAS SOUPS 194609 WITH SCORE 194883.553
AT ITER 4489 NEW BEST:: SOT 1501904 SOS 274551 HAS SOPS 274551 HAS SOUS 194607 HAS SOUPS 194607 WITH SCORE 194881.551
AT ITER 4497 NEW BEST:: SOT 1501734 SOS 273616 HAS SOPS 273616 HAS SOUS 194437 HAS SOUPS 194437 WITH SCORE 194710.616
AT ITER 4512 NEW BEST:: SOT 1501611 SOS 273370 HAS SOPS 273370 HAS SOUS 194191 HAS SOUPS 194191 WITH SCORE 194464.37
AT ITER 4554 NEW BEST:: SOT 1501611 SOS 273370 HAS SOPS 273370 HAS SOUS 194185 HAS SOUPS 194185 WITH SCORE 194458.37
AT ITER 4557 NEW BEST:: SOT 1501610 SOS 273368 HAS SOPS 273368 HAS SOUS 194183 HAS SOUPS 194183 WITH SCORE 194456.368
AT ITER 4580 NEW BEST:: SOT 1501586 SOS 273320 HAS SOPS 273320 HAS SOUS 194135 HAS SOUPS 194135 WITH SCORE 194408.32
AT ITER 4608 NEW BEST:: SOT 1501571 SOS 273317 HAS SOPS 273317 HAS SOUS 194134 HAS SOUPS 194134 WITH SCORE 194407.317
AT ITER 4615 NEW BEST:: SOT 1501571 SOS 273303 HAS SOPS 273303 HAS SOUS 194134 HAS SOUPS 194134 WITH SCORE 194407.303
AT ITER 4622 NEW BEST:: SOT 1501514 SOS 273189 HAS SOPS 273189 HAS SOUS 194020 HAS SOUPS 194020 WITH SCORE 194293.189
AT ITER 4661 NEW BEST:: SOT 1501508 SOS 273177 HAS SOPS 273177 HAS SOUS 194014 HAS SOUPS 194014 WITH SCORE 194287.177
AT ITER 4668 NEW BEST:: SOT 1501434 SOS 273029 HAS SOPS 273029 HAS SOUS 193940 HAS SOUPS 193940 WITH SCORE 194213.029
AT ITER 4691 NEW BEST:: SOT 1501434 SOS 273029 HAS SOPS 273029 HAS SOUS 193926 HAS SOUPS 193926 WITH SCORE 194199.029
AT ITER 4698 NEW BEST:: SOT 1501434 SOS 273002 HAS SOPS 273002 HAS SOUS 193899 HAS SOUPS 193899 WITH SCORE 194172.002
AT ITER 4706 NEW BEST:: SOT 1501316 SOS 273040 HAS SOPS 273040 HAS SOUS 193861 HAS SOUPS 193861 WITH SCORE 194134.04
AT ITER 4729 NEW BEST:: SOT 1501092 SOS 272900 HAS SOPS 272900 HAS SOUS 193812 HAS SOUPS 193812 WITH SCORE 194084.9
AT ITER 4737 NEW BEST:: SOT 1500953 SOS 272622 HAS SOPS 272622 HAS SOUS 193673 HAS SOUPS 193673 WITH SCORE 193945.622
AT ITER 4738 NEW BEST:: SOT 1500689 SOS 272446 HAS SOPS 272446 HAS SOUS 193664 HAS SOUPS 193664 WITH SCORE 193936.446
AT ITER 4764 NEW BEST:: SOT 1500530 SOS 272316 HAS SOPS 272316 HAS SOUS 193530 HAS SOUPS 193530 WITH SCORE 193802.316
AT ITER 4780 NEW BEST:: SOT 1500530 SOS 272288 HAS SOPS 272288 HAS SOUS 193530 HAS SOUPS 193530 WITH SCORE 193802.288
AT ITER 4785 NEW BEST:: SOT 1500440 SOS 272018 HAS SOPS 272018 HAS SOUS 193260 HAS SOUPS 193260 WITH SCORE 193532.018
AT ITER 4798 NEW BEST:: SOT 1500440 SOS 272018 HAS SOPS 272018 HAS SOUS 193247 HAS SOUPS 193247 WITH SCORE 193519.018
AT ITER 4812 NEW BEST:: SOT 1500439 SOS 272016 HAS SOPS 272016 HAS SOUS 193245 HAS SOUPS 193245 WITH SCORE 193517.016
AT ITER 4827 NEW BEST:: SOT 1500439 SOS 271809 HAS SOPS 271809 HAS SOUS 193245 HAS SOUPS 193245 WITH SCORE 193516.809
AT ITER 4830 NEW BEST:: SOT 1500437 SOS 271805 HAS SOPS 271805 HAS SOUS 193198 HAS SOUPS 193198 WITH SCORE 193469.805
AT ITER 4858 NEW BEST:: SOT 1500391 SOS 271713 HAS SOPS 271713 HAS SOUS 193106 HAS SOUPS 193106 WITH SCORE 193377.713
AT ITER 4887 NEW BEST:: SOT 1500390 SOS 271838 HAS SOPS 271838 HAS SOUS 193104 HAS SOUPS 193104 WITH SCORE 193375.838
AT ITER 4891 NEW BEST:: SOT 1500286 SOS 272074 HAS SOPS 272074 HAS SOUS 193000 HAS SOUPS 193000 WITH SCORE 193272.074
AT ITER 4912 NEW BEST:: SOT 1500258 SOS 272018 HAS SOPS 272018 HAS SOUS 192972 HAS SOUPS 192972 WITH SCORE 193244.018
AT ITER 4917 NEW BEST:: SOT 1500258 SOS 271992 HAS SOPS 271992 HAS SOUS 192972 HAS SOUPS 192972 WITH SCORE 193243.992
AT ITER 4957 NEW BEST:: SOT 1500293 SOS 272062 HAS SOPS 272062 HAS SOUS 192889 HAS SOUPS 192889 WITH SCORE 193161.062
AT ITER 4983 NEW BEST:: SOT 1500293 SOS 272056 HAS SOPS 272056 HAS SOUS 192889 HAS SOUPS 192889 WITH SCORE 193161.056
AT ITER 4989 NEW BEST:: SOT 1500293 SOS 272047 HAS SOPS 272047 HAS SOUS 192887 HAS SOUPS 192887 WITH SCORE 193159.047
AT ITER 5000 NEW BEST:: SOT 1500293 SOS 272047 HAS SOPS 272047 HAS SOUS 192752 HAS SOUPS 192752 WITH SCORE 193024.047
AT ITER 5053 NEW BEST:: SOT 1500292 SOS 272045 HAS SOPS 272045 HAS SOUS 192750 HAS SOUPS 192750 WITH SCORE 193022.045
AT ITER 5092 NEW BEST:: SOT 1500292 SOS 271981 HAS SOPS 271981 HAS SOUS 192686 HAS SOUPS 192686 WITH SCORE 192957.981
AT ITER 5094 NEW BEST:: SOT 1500142 SOS 271831 HAS SOPS 271831 HAS SOUS 192686 HAS SOUPS 192686 WITH SCORE 192957.831
AT ITER 5095 NEW BEST:: SOT 1500136 SOS 271825 HAS SOPS 271825 HAS SOUS 192667 HAS SOUPS 192667 WITH SCORE 192938.825
AT ITER 5104 NEW BEST:: SOT 1500222 SOS 271997 HAS SOPS 271997 HAS SOUS 192665 HAS SOUPS 192665 WITH SCORE 192936.997
AT ITER 5105 NEW BEST:: SOT 1500206 SOS 271965 HAS SOPS 271965 HAS SOUS 192599 HAS SOUPS 192599 WITH SCORE 192870.965
AT ITER 5149 NEW BEST:: SOT 1500206 SOS 272132 HAS SOPS 272132 HAS SOUS 192553 HAS SOUPS 192553 WITH SCORE 192825.132
AT ITER 5153 NEW BEST:: SOT 1500206 SOS 272132 HAS SOPS 272132 HAS SOUS 192512 HAS SOUPS 192512 WITH SCORE 192784.132
AT ITER 5158 NEW BEST:: SOT 1500203 SOS 272129 HAS SOPS 272129 HAS SOUS 192509 HAS SOUPS 192509 WITH SCORE 192781.129
AT ITER 5170 NEW BEST:: SOT 1500203 SOS 272129 HAS SOPS 272129 HAS SOUS 192475 HAS SOUPS 192475 WITH SCORE 192747.129
AT ITER 5206 NEW BEST:: SOT 1500106 SOS 271995 HAS SOPS 271995 HAS SOUS 192441 HAS SOUPS 192441 WITH SCORE 192712.995
AT ITER 5222 NEW BEST:: SOT 1500106 SOS 271990 HAS SOPS 271990 HAS SOUS 192436 HAS SOUPS 192436 WITH SCORE 192707.99
AT ITER 5231 NEW BEST:: SOT 1500054 SOS 271886 HAS SOPS 271886 HAS SOUS 192384 HAS SOUPS 192384 WITH SCORE 192655.886
AT ITER 5232 NEW BEST:: SOT 1500054 SOS 271813 HAS SOPS 271813 HAS SOUS 192384 HAS SOUPS 192384 WITH SCORE 192655.813
AT ITER 5238 NEW BEST:: SOT 1499983 SOS 270853 HAS SOPS 270853 HAS SOUS 192314 HAS SOUPS 192314 WITH SCORE 192584.853
AT ITER 5251 NEW BEST:: SOT 1500045 SOS 270537 HAS SOPS 270537 HAS SOUS 192156 HAS SOUPS 192156 WITH SCORE 192426.537
AT ITER 5265 NEW BEST:: SOT 1500018 SOS 270483 HAS SOPS 270483 HAS SOUS 192102 HAS SOUPS 192102 WITH SCORE 192372.483
AT ITER 5278 NEW BEST:: SOT 1500018 SOS 270471 HAS SOPS 270471 HAS SOUS 192102 HAS SOUPS 192102 WITH SCORE 192372.471
AT ITER 5293 NEW BEST:: SOT 1500018 SOS 269373 HAS SOPS 269373 HAS SOUS 192102 HAS SOUPS 192102 WITH SCORE 192371.373
AT ITER 5296 NEW BEST:: SOT 1499911 SOS 268921 HAS SOPS 268921 HAS SOUS 191888 HAS SOUPS 191888 WITH SCORE 192156.921
AT ITER 5341 NEW BEST:: SOT 1499825 SOS 268877 HAS SOPS 268877 HAS SOUS 191758 HAS SOUPS 191758 WITH SCORE 192026.877
AT ITER 5353 NEW BEST:: SOT 1499825 SOS 269205 HAS SOPS 269205 HAS SOUS 191744 HAS SOUPS 191744 WITH SCORE 192013.205
AT ITER 5374 NEW BEST:: SOT 1499769 SOS 268925 HAS SOPS 268925 HAS SOUS 191632 HAS SOUPS 191632 WITH SCORE 191900.925
AT ITER 5375 NEW BEST:: SOT 1499693 SOS 268925 HAS SOPS 268925 HAS SOUS 191608 HAS SOUPS 191608 WITH SCORE 191876.925
AT ITER 5394 NEW BEST:: SOT 1499693 SOS 268805 HAS SOPS 268805 HAS SOUS 191608 HAS SOUPS 191608 WITH SCORE 191876.805
AT ITER 5417 NEW BEST:: SOT 1499720 SOS 268763 HAS SOPS 268763 HAS SOUS 191598 HAS SOUPS 191598 WITH SCORE 191866.763
AT ITER 5442 NEW BEST:: SOT 1499709 SOS 268741 HAS SOPS 268741 HAS SOUS 191588 HAS SOUPS 191588 WITH SCORE 191856.741
AT ITER 5450 NEW BEST:: SOT 1499683 SOS 268777 HAS SOPS 268777 HAS SOUS 191569 HAS SOUPS 191569 WITH SCORE 191837.777
AT ITER 5457 NEW BEST:: SOT 1499679 SOS 268769 HAS SOPS 268769 HAS SOUS 191561 HAS SOUPS 191561 WITH SCORE 191829.769
AT ITER 5508 NEW BEST:: SOT 1499675 SOS 268761 HAS SOPS 268761 HAS SOUS 191553 HAS SOUPS 191553 WITH SCORE 191821.761
AT ITER 5554 NEW BEST:: SOT 1499696 SOS 268803 HAS SOPS 268803 HAS SOUS 191460 HAS SOUPS 191460 WITH SCORE 191728.803
AT ITER 5616 NEW BEST:: SOT 1499678 SOS 268767 HAS SOPS 268767 HAS SOUS 191424 HAS SOUPS 191424 WITH SCORE 191692.767
AT ITER 5697 NEW BEST:: SOT 1499678 SOS 268092 HAS SOPS 268092 HAS SOUS 191419 HAS SOUPS 191419 WITH SCORE 191687.092
AT ITER 5708 NEW BEST:: SOT 1499591 SOS 267918 HAS SOPS 267918 HAS SOUS 191245 HAS SOUPS 191245 WITH SCORE 191512.918
AT ITER 5739 NEW BEST:: SOT 1499605 SOS 267946 HAS SOPS 267946 HAS SOUS 191203 HAS SOUPS 191203 WITH SCORE 191470.946
AT ITER 5748 NEW BEST:: SOT 1499605 SOS 267686 HAS SOPS 267686 HAS SOUS 191203 HAS SOUPS 191203 WITH SCORE 191470.686
AT ITER 5785 NEW BEST:: SOT 1499307 SOS 267289 HAS SOPS 267289 HAS SOUS 191059 HAS SOUPS 191059 WITH SCORE 191326.289
AT ITER 5799 NEW BEST:: SOT 1499039 SOS 267113 HAS SOPS 267113 HAS SOUS 190883 HAS SOUPS 190883 WITH SCORE 191150.113
AT ITER 5892 NEW BEST:: SOT 1499039 SOS 267101 HAS SOPS 267101 HAS SOUS 190871 HAS SOUPS 190871 WITH SCORE 191138.101
AT ITER 5896 NEW BEST:: SOT 1499038 SOS 267099 HAS SOPS 267099 HAS SOUS 190869 HAS SOUPS 190869 WITH SCORE 191136.099
AT ITER 5927 NEW BEST:: SOT 1498860 SOS 266743 HAS SOPS 266743 HAS SOUS 190634 HAS SOUPS 190634 WITH SCORE 190900.743
AT ITER 5937 NEW BEST:: SOT 1498776 SOS 266279 HAS SOPS 266279 HAS SOUS 190596 HAS SOUPS 190596 WITH SCORE 190862.279
AT ITER 5997 NEW BEST:: SOT 1498737 SOS 266162 HAS SOPS 266162 HAS SOUS 190518 HAS SOUPS 190518 WITH SCORE 190784.162
AT ITER 6007 NEW BEST:: SOT 1498724 SOS 266160 HAS SOPS 266160 HAS SOUS 190516 HAS SOUPS 190516 WITH SCORE 190782.16
AT ITER 6070 NEW BEST:: SOT 1498717 SOS 266146 HAS SOPS 266146 HAS SOUS 190502 HAS SOUPS 190502 WITH SCORE 190768.146
AT ITER 6074 NEW BEST:: SOT 1498413 SOS 265918 HAS SOPS 265918 HAS SOUS 190491 HAS SOUPS 190491 WITH SCORE 190756.918
AT ITER 6087 NEW BEST:: SOT 1498397 SOS 265886 HAS SOPS 265886 HAS SOUS 190475 HAS SOUPS 190475 WITH SCORE 190740.886
AT ITER 6149 NEW BEST:: SOT 1498354 SOS 265800 HAS SOPS 265800 HAS SOUS 190455 HAS SOUPS 190455 WITH SCORE 190720.8
AT ITER 6176 NEW BEST:: SOT 1498335 SOS 265762 HAS SOPS 265762 HAS SOUS 190417 HAS SOUPS 190417 WITH SCORE 190682.762
AT ITER 6183 NEW BEST:: SOT 1498223 SOS 266012 HAS SOPS 266012 HAS SOUS 190388 HAS SOUPS 190388 WITH SCORE 190654.012
AT ITER 6191 NEW BEST:: SOT 1498223 SOS 266012 HAS SOPS 266012 HAS SOUS 190357 HAS SOUPS 190357 WITH SCORE 190623.012
AT ITER 6210 NEW BEST:: SOT 1498144 SOS 266007 HAS SOPS 266007 HAS SOUS 190290 HAS SOUPS 190290 WITH SCORE 190556.007
AT ITER 6215 NEW BEST:: SOT 1498102 SOS 265923 HAS SOPS 265923 HAS SOUS 190227 HAS SOUPS 190227 WITH SCORE 190492.923
AT ITER 6233 NEW BEST:: SOT 1497860 SOS 264825 HAS SOPS 264825 HAS SOUS 189771 HAS SOUPS 189771 WITH SCORE 190035.825
AT ITER 6289 NEW BEST:: SOT 1497854 SOS 264813 HAS SOPS 264813 HAS SOUS 189762 HAS SOUPS 189762 WITH SCORE 190026.813
AT ITER 6328 NEW BEST:: SOT 1497402 SOS 264248 HAS SOPS 264248 HAS SOUS 189197 HAS SOUPS 189197 WITH SCORE 189461.248
AT ITER 6416 NEW BEST:: SOT 1497337 SOS 264119 HAS SOPS 264119 HAS SOUS 189068 HAS SOUPS 189068 WITH SCORE 189332.119
AT ITER 6446 NEW BEST:: SOT 1497232 SOS 263909 HAS SOPS 263909 HAS SOUS 188858 HAS SOUPS 188858 WITH SCORE 189121.909
AT ITER 6448 NEW BEST:: SOT 1497148 SOS 263745 HAS SOPS 263745 HAS SOUS 188757 HAS SOUPS 188757 WITH SCORE 189020.745
AT ITER 6477 NEW BEST:: SOT 1497117 SOS 263683 HAS SOPS 263683 HAS SOUS 188700 HAS SOUPS 188700 WITH SCORE 188963.683
AT ITER 6515 NEW BEST:: SOT 1497117 SOS 263683 HAS SOPS 263683 HAS SOUS 188687 HAS SOUPS 188687 WITH SCORE 188950.683
AT ITER 6535 NEW BEST:: SOT 1497117 SOS 263647 HAS SOPS 263647 HAS SOUS 188667 HAS SOUPS 188667 WITH SCORE 188930.647
AT ITER 6536 NEW BEST:: SOT 1497151 SOS 263715 HAS SOPS 263715 HAS SOUS 188662 HAS SOUPS 188662 WITH SCORE 188925.715
AT ITER 6573 NEW BEST:: SOT 1497151 SOS 263715 HAS SOPS 263715 HAS SOUS 188661 HAS SOUPS 188661 WITH SCORE 188924.715
AT ITER 6585 NEW BEST:: SOT 1497147 SOS 263707 HAS SOPS 263707 HAS SOUS 188636 HAS SOUPS 188636 WITH SCORE 188899.707
AT ITER 6625 NEW BEST:: SOT 1497138 SOS 263692 HAS SOPS 263692 HAS SOUS 188636 HAS SOUPS 188636 WITH SCORE 188899.692
AT ITER 6634 NEW BEST:: SOT 1497130 SOS 264165 HAS SOPS 264165 HAS SOUS 188628 HAS SOUPS 188628 WITH SCORE 188892.165
AT ITER 6637 NEW BEST:: SOT 1497007 SOS 263931 HAS SOPS 263931 HAS SOUS 188543 HAS SOUPS 188543 WITH SCORE 188806.931
AT ITER 6663 NEW BEST:: SOT 1497007 SOS 263857 HAS SOPS 263857 HAS SOUS 188543 HAS SOUPS 188543 WITH SCORE 188806.857
AT ITER 6665 NEW BEST:: SOT 1496997 SOS 263827 HAS SOPS 263827 HAS SOUS 188533 HAS SOUPS 188533 WITH SCORE 188796.827
AT ITER 6699 NEW BEST:: SOT 1496917 SOS 263667 HAS SOPS 263667 HAS SOUS 188373 HAS SOUPS 188373 WITH SCORE 188636.667
AT ITER 6708 NEW BEST:: SOT 1496837 SOS 263394 HAS SOPS 263394 HAS SOUS 188176 HAS SOUPS 188176 WITH SCORE 188439.394
AT ITER 6738 NEW BEST:: SOT 1496840 SOS 263281 HAS SOPS 263281 HAS SOUS 188063 HAS SOUPS 188063 WITH SCORE 188326.281
AT ITER 6741 NEW BEST:: SOT 1496652 SOS 262905 HAS SOPS 262905 HAS SOUS 187875 HAS SOUPS 187875 WITH SCORE 188137.905
AT ITER 6754 NEW BEST:: SOT 1496538 SOS 262905 HAS SOPS 262905 HAS SOUS 187761 HAS SOUPS 187761 WITH SCORE 188023.905
AT ITER 6770 NEW BEST:: SOT 1496409 SOS 262776 HAS SOPS 262776 HAS SOUS 187632 HAS SOUPS 187632 WITH SCORE 187894.776
AT ITER 6799 NEW BEST:: SOT 1496235 SOS 262428 HAS SOPS 262428 HAS SOUS 187425 HAS SOUPS 187425 WITH SCORE 187687.428
AT ITER 6804 NEW BEST:: SOT 1496223 SOS 262404 HAS SOPS 262404 HAS SOUS 187413 HAS SOUPS 187413 WITH SCORE 187675.404
AT ITER 6815 NEW BEST:: SOT 1496207 SOS 262372 HAS SOPS 262372 HAS SOUS 187381 HAS SOUPS 187381 WITH SCORE 187643.372
AT ITER 6825 NEW BEST:: SOT 1496207 SOS 262530 HAS SOPS 262530 HAS SOUS 187380 HAS SOUPS 187380 WITH SCORE 187642.53
AT ITER 6828 NEW BEST:: SOT 1496187 SOS 262338 HAS SOPS 262338 HAS SOUS 187368 HAS SOUPS 187368 WITH SCORE 187630.338
AT ITER 6830 NEW BEST:: SOT 1496053 SOS 262070 HAS SOPS 262070 HAS SOUS 187170 HAS SOUPS 187170 WITH SCORE 187432.07
AT ITER 6835 NEW BEST:: SOT 1496045 SOS 262054 HAS SOPS 262054 HAS SOUS 187158 HAS SOUPS 187158 WITH SCORE 187420.054
AT ITER 6850 NEW BEST:: SOT 1496045 SOS 262115 HAS SOPS 262115 HAS SOUS 187157 HAS SOUPS 187157 WITH SCORE 187419.115
AT ITER 6862 NEW BEST:: SOT 1495961 SOS 261611 HAS SOPS 261611 HAS SOUS 187031 HAS SOUPS 187031 WITH SCORE 187292.611
AT ITER 6868 NEW BEST:: SOT 1496192 SOS 261347 HAS SOPS 261347 HAS SOUS 187007 HAS SOUPS 187007 WITH SCORE 187268.347
AT ITER 6899 NEW BEST:: SOT 1496136 SOS 261179 HAS SOPS 261179 HAS SOUS 186839 HAS SOUPS 186839 WITH SCORE 187100.179
AT ITER 6925 NEW BEST:: SOT 1495828 SOS 260563 HAS SOPS 260563 HAS SOUS 186461 HAS SOUPS 186461 WITH SCORE 186721.563
AT ITER 6947 NEW BEST:: SOT 1495816 SOS 260560 HAS SOPS 260560 HAS SOUS 186460 HAS SOUPS 186460 WITH SCORE 186720.56
AT ITER 6948 NEW BEST:: SOT 1495725 SOS 260088 HAS SOPS 260088 HAS SOUS 186302 HAS SOUPS 186302 WITH SCORE 186562.088
AT ITER 6951 NEW BEST:: SOT 1495700 SOS 260097 HAS SOPS 260097 HAS SOUS 186276 HAS SOUPS 186276 WITH SCORE 186536.097
AT ITER 6954 NEW BEST:: SOT 1495658 SOS 260097 HAS SOPS 260097 HAS SOUS 186234 HAS SOUPS 186234 WITH SCORE 186494.097
AT ITER 6958 NEW BEST:: SOT 1495443 SOS 260591 HAS SOPS 260591 HAS SOUS 186214 HAS SOUPS 186214 WITH SCORE 186474.591
AT ITER 7009 NEW BEST:: SOT 1495377 SOS 260553 HAS SOPS 260553 HAS SOUS 186070 HAS SOUPS 186070 WITH SCORE 186330.553
AT ITER 7052 NEW BEST:: SOT 1495501 SOS 260801 HAS SOPS 260801 HAS SOUS 186039 HAS SOUPS 186039 WITH SCORE 186299.801
AT ITER 7088 NEW BEST:: SOT 1495498 SOS 260839 HAS SOPS 260839 HAS SOUS 186033 HAS SOUPS 186033 WITH SCORE 186293.839
AT ITER 7101 NEW BEST:: SOT 1495468 SOS 260779 HAS SOPS 260779 HAS SOUS 185947 HAS SOUPS 185947 WITH SCORE 186207.779
AT ITER 7114 NEW BEST:: SOT 1495468 SOS 261051 HAS SOPS 261051 HAS SOUS 185899 HAS SOUPS 185899 WITH SCORE 186160.051
AT ITER 7119 NEW BEST:: SOT 1495396 SOS 260907 HAS SOPS 260907 HAS SOUS 185755 HAS SOUPS 185755 WITH SCORE 186015.907
AT ITER 7126 NEW BEST:: SOT 1495376 SOS 260867 HAS SOPS 260867 HAS SOUS 185715 HAS SOUPS 185715 WITH SCORE 185975.867
AT ITER 7222 NEW BEST:: SOT 1495376 SOS 260854 HAS SOPS 260854 HAS SOUS 185715 HAS SOUPS 185715 WITH SCORE 185975.854
AT ITER 7224 NEW BEST:: SOT 1495357 SOS 261960 HAS SOPS 261960 HAS SOUS 185712 HAS SOUPS 185712 WITH SCORE 185973.96
AT ITER 7284 NEW BEST:: SOT 1495335 SOS 261949 HAS SOPS 261949 HAS SOUS 185690 HAS SOUPS 185690 WITH SCORE 185951.949
AT ITER 7286 NEW BEST:: SOT 1495310 SOS 261899 HAS SOPS 261899 HAS SOUS 185640 HAS SOUPS 185640 WITH SCORE 185901.899
AT ITER 7301 NEW BEST:: SOT 1495309 SOS 261897 HAS SOPS 261897 HAS SOUS 185638 HAS SOUPS 185638 WITH SCORE 185899.897
AT ITER 7325 NEW BEST:: SOT 1495309 SOS 261895 HAS SOPS 261895 HAS SOUS 185636 HAS SOUPS 185636 WITH SCORE 185897.895
AT ITER 7330 NEW BEST:: SOT 1495196 SOS 261895 HAS SOPS 261895 HAS SOUS 185632 HAS SOUPS 185632 WITH SCORE 185893.895
AT ITER 7332 NEW BEST:: SOT 1495220 SOS 261899 HAS SOPS 261899 HAS SOUS 185620 HAS SOUPS 185620 WITH SCORE 185881.899
AT ITER 7350 NEW BEST:: SOT 1495219 SOS 261897 HAS SOPS 261897 HAS SOUS 185618 HAS SOUPS 185618 WITH SCORE 185879.897
AT ITER 7384 NEW BEST:: SOT 1495219 SOS 261860 HAS SOPS 261860 HAS SOUS 185618 HAS SOUPS 185618 WITH SCORE 185879.86
AT ITER 7413 NEW BEST:: SOT 1495163 SOS 261580 HAS SOPS 261580 HAS SOUS 185562 HAS SOUPS 185562 WITH SCORE 185823.58
AT ITER 7430 NEW BEST:: SOT 1495031 SOS 261382 HAS SOPS 261382 HAS SOUS 185364 HAS SOUPS 185364 WITH SCORE 185625.382
AT ITER 7446 NEW BEST:: SOT 1494963 SOS 261246 HAS SOPS 261246 HAS SOUS 185296 HAS SOUPS 185296 WITH SCORE 185557.246
AT ITER 7483 NEW BEST:: SOT 1494963 SOS 261138 HAS SOPS 261138 HAS SOUS 185296 HAS SOUPS 185296 WITH SCORE 185557.138
AT ITER 7515 NEW BEST:: SOT 1494963 SOS 261211 HAS SOPS 261211 HAS SOUS 185199 HAS SOUPS 185199 WITH SCORE 185460.211
AT ITER 7521 NEW BEST:: SOT 1494965 SOS 261218 HAS SOPS 261218 HAS SOUS 185170 HAS SOUPS 185170 WITH SCORE 185431.218
AT ITER 7577 NEW BEST:: SOT 1494960 SOS 261217 HAS SOPS 261217 HAS SOUS 185160 HAS SOUPS 185160 WITH SCORE 185421.217
AT ITER 7594 NEW BEST:: SOT 1494942 SOS 261181 HAS SOPS 261181 HAS SOUS 185124 HAS SOUPS 185124 WITH SCORE 185385.181
AT ITER 7655 NEW BEST:: SOT 1494942 SOS 261165 HAS SOPS 261165 HAS SOUS 185124 HAS SOUPS 185124 WITH SCORE 185385.165
AT ITER 7675 NEW BEST:: SOT 1494832 SOS 261021 HAS SOPS 261021 HAS SOUS 184980 HAS SOUPS 184980 WITH SCORE 185241.021
AT ITER 7689 NEW BEST:: SOT 1494811 SOS 260979 HAS SOPS 260979 HAS SOUS 184938 HAS SOUPS 184938 WITH SCORE 185198.979
AT ITER 7698 NEW BEST:: SOT 1494794 SOS 260945 HAS SOPS 260945 HAS SOUS 184904 HAS SOUPS 184904 WITH SCORE 185164.945
AT ITER 7715 NEW BEST:: SOT 1494354 SOS 260505 HAS SOPS 260505 HAS SOUS 184376 HAS SOUPS 184376 WITH SCORE 184636.505
AT ITER 7756 NEW BEST:: SOT 1494376 SOS 260774 HAS SOPS 260774 HAS SOUS 184345 HAS SOUPS 184345 WITH SCORE 184605.774
AT ITER 7769 NEW BEST:: SOT 1494337 SOS 260696 HAS SOPS 260696 HAS SOUS 184267 HAS SOUPS 184267 WITH SCORE 184527.696
AT ITER 7775 NEW BEST:: SOT 1494214 SOS 260534 HAS SOPS 260534 HAS SOUS 184105 HAS SOUPS 184105 WITH SCORE 184365.534
AT ITER 7803 NEW BEST:: SOT 1494192 SOS 260490 HAS SOPS 260490 HAS SOUS 183947 HAS SOUPS 183947 WITH SCORE 184207.49
AT ITER 7872 NEW BEST:: SOT 1494081 SOS 260268 HAS SOPS 260268 HAS SOUS 183746 HAS SOUPS 183746 WITH SCORE 184006.268
AT ITER 7880 NEW BEST:: SOT 1494062 SOS 260230 HAS SOPS 260230 HAS SOUS 183727 HAS SOUPS 183727 WITH SCORE 183987.23
AT ITER 7889 NEW BEST:: SOT 1494061 SOS 260228 HAS SOPS 260228 HAS SOUS 183726 HAS SOUPS 183726 WITH SCORE 183986.228
AT ITER 7925 NEW BEST:: SOT 1494028 SOS 260162 HAS SOPS 260162 HAS SOUS 183646 HAS SOUPS 183646 WITH SCORE 183906.162
AT ITER 8016 NEW BEST:: SOT 1494028 SOS 260162 HAS SOPS 260162 HAS SOUS 183644 HAS SOUPS 183644 WITH SCORE 183904.162
AT ITER 8060 NEW BEST:: SOT 1493919 SOS 259853 HAS SOPS 259853 HAS SOUS 183608 HAS SOUPS 183608 WITH SCORE 183867.853
AT ITER 8132 NEW BEST:: SOT 1493885 SOS 259430 HAS SOPS 259430 HAS SOUS 183572 HAS SOUPS 183572 WITH SCORE 183831.43
AT ITER 8140 NEW BEST:: SOT 1493856 SOS 259373 HAS SOPS 259373 HAS SOUS 183515 HAS SOUPS 183515 WITH SCORE 183774.373
AT ITER 8144 NEW BEST:: SOT 1493743 SOS 258973 HAS SOPS 258973 HAS SOUS 183289 HAS SOUPS 183289 WITH SCORE 183547.973
AT ITER 8174 NEW BEST:: SOT 1493734 SOS 258955 HAS SOPS 258955 HAS SOUS 183280 HAS SOUPS 183280 WITH SCORE 183538.955
AT ITER 8229 NEW BEST:: SOT 1493715 SOS 258242 HAS SOPS 258242 HAS SOUS 183269 HAS SOUPS 183269 WITH SCORE 183527.242
AT ITER 8237 NEW BEST:: SOT 1493715 SOS 257708 HAS SOPS 257708 HAS SOUS 183180 HAS SOUPS 183180 WITH SCORE 183437.708
AT ITER 8242 NEW BEST:: SOT 1493715 SOS 257708 HAS SOPS 257708 HAS SOUS 183156 HAS SOUPS 183156 WITH SCORE 183413.708
AT ITER 8244 NEW BEST:: SOT 1493677 SOS 257661 HAS SOPS 257661 HAS SOUS 183109 HAS SOUPS 183109 WITH SCORE 183366.661
AT ITER 8310 NEW BEST:: SOT 1493660 SOS 257147 HAS SOPS 257147 HAS SOUS 183073 HAS SOUPS 183073 WITH SCORE 183330.147
AT ITER 8317 NEW BEST:: SOT 1493502 SOS 256831 HAS SOPS 256831 HAS SOUS 182888 HAS SOUPS 182888 WITH SCORE 183144.831
AT ITER 8344 NEW BEST:: SOT 1493462 SOS 256751 HAS SOPS 256751 HAS SOUS 182874 HAS SOUPS 182874 WITH SCORE 183130.751
AT ITER 8374 NEW BEST:: SOT 1493406 SOS 256583 HAS SOPS 256583 HAS SOUS 182818 HAS SOUPS 182818 WITH SCORE 183074.583
AT ITER 8384 NEW BEST:: SOT 1493406 SOS 256523 HAS SOPS 256523 HAS SOUS 182758 HAS SOUPS 182758 WITH SCORE 183014.523
AT ITER 8502 NEW BEST:: SOT 1493406 SOS 256436 HAS SOPS 256436 HAS SOUS 182758 HAS SOUPS 182758 WITH SCORE 183014.436
AT ITER 8522 NEW BEST:: SOT 1493406 SOS 256436 HAS SOPS 256436 HAS SOUS 182688 HAS SOUPS 182688 WITH SCORE 182944.436
AT ITER 8532 NEW BEST:: SOT 1493391 SOS 256406 HAS SOPS 256406 HAS SOUS 182658 HAS SOUPS 182658 WITH SCORE 182914.406
AT ITER 8549 NEW BEST:: SOT 1493383 SOS 256366 HAS SOPS 256366 HAS SOUS 182642 HAS SOUPS 182642 WITH SCORE 182898.366
AT ITER 8613 NEW BEST:: SOT 1493390 SOS 256380 HAS SOPS 256380 HAS SOUS 182593 HAS SOUPS 182593 WITH SCORE 182849.38
AT ITER 8662 NEW BEST:: SOT 1493333 SOS 256384 HAS SOPS 256384 HAS SOUS 182536 HAS SOUPS 182536 WITH SCORE 182792.384
AT ITER 8673 NEW BEST:: SOT 1493318 SOS 256354 HAS SOPS 256354 HAS SOUS 182506 HAS SOUPS 182506 WITH SCORE 182762.354
AT ITER 8678 NEW BEST:: SOT 1493309 SOS 257912 HAS SOPS 257912 HAS SOUS 182489 HAS SOUPS 182489 WITH SCORE 182746.912
AT ITER 8682 NEW BEST:: SOT 1493196 SOS 257902 HAS SOPS 257902 HAS SOUS 182376 HAS SOUPS 182376 WITH SCORE 182633.902
AT ITER 8730 NEW BEST:: SOT 1493174 SOS 257902 HAS SOPS 257902 HAS SOUS 182332 HAS SOUPS 182332 WITH SCORE 182589.902
AT ITER 8980 NEW BEST:: SOT 1493198 SOS 257676 HAS SOPS 257676 HAS SOUS 182302 HAS SOUPS 182302 WITH SCORE 182559.676
AT ITER 9055 NEW BEST:: SOT 1493074 SOS 257521 HAS SOPS 257521 HAS SOUS 182178 HAS SOUPS 182178 WITH SCORE 182435.521
AT ITER 9060 NEW BEST:: SOT 1493074 SOS 257521 HAS SOPS 257521 HAS SOUS 181981 HAS SOUPS 181981 WITH SCORE 182238.521
AT ITER 9070 NEW BEST:: SOT 1493072 SOS 257517 HAS SOPS 257517 HAS SOUS 181977 HAS SOUPS 181977 WITH SCORE 182234.517
AT ITER 9094 NEW BEST:: SOT 1493057 SOS 257487 HAS SOPS 257487 HAS SOUS 181947 HAS SOUPS 181947 WITH SCORE 182204.487
AT ITER 9095 NEW BEST:: SOT 1492960 SOS 257293 HAS SOPS 257293 HAS SOUS 181947 HAS SOUPS 181947 WITH SCORE 182204.293
AT ITER 9130 NEW BEST:: SOT 1492997 SOS 257346 HAS SOPS 257346 HAS SOUS 181932 HAS SOUPS 181932 WITH SCORE 182189.346
AT ITER 9186 NEW BEST:: SOT 1492991 SOS 257379 HAS SOPS 257379 HAS SOUS 181930 HAS SOUPS 181930 WITH SCORE 182187.379
AT ITER 9290 NEW BEST:: SOT 1492965 SOS 257361 HAS SOPS 257361 HAS SOUS 181907 HAS SOUPS 181907 WITH SCORE 182164.361
AT ITER 9410 NEW BEST:: SOT 1492966 SOS 257319 HAS SOPS 257319 HAS SOUS 181886 HAS SOUPS 181886 WITH SCORE 182143.319
AT ITER 9412 NEW BEST:: SOT 1492966 SOS 257319 HAS SOPS 257319 HAS SOUS 181840 HAS SOUPS 181840 WITH SCORE 182097.319
AT ITER 9420 NEW BEST:: SOT 1492966 SOS 257199 HAS SOPS 257199 HAS SOUS 181800 HAS SOUPS 181800 WITH SCORE 182057.199
AT ITER 9427 NEW BEST:: SOT 1492965 SOS 257197 HAS SOPS 257197 HAS SOUS 181798 HAS SOUPS 181798 WITH SCORE 182055.197
AT ITER 9455 NEW BEST:: SOT 1492937 SOS 257183 HAS SOPS 257183 HAS SOUS 181784 HAS SOUPS 181784 WITH SCORE 182041.183
AT ITER 9514 NEW BEST:: SOT 1492912 SOS 257133 HAS SOPS 257133 HAS SOUS 181696 HAS SOUPS 181696 WITH SCORE 181953.133
AT ITER 9546 NEW BEST:: SOT 1492733 SOS 256975 HAS SOPS 256975 HAS SOUS 181534 HAS SOUPS 181534 WITH SCORE 181790.975
AT ITER 9554 NEW BEST:: SOT 1492627 SOS 257078 HAS SOPS 257078 HAS SOUS 181533 HAS SOUPS 181533 WITH SCORE 181790.078
AT ITER 9680 NEW BEST:: SOT 1492588 SOS 257020 HAS SOPS 257020 HAS SOUS 181475 HAS SOUPS 181475 WITH SCORE 181732.02
AT ITER 9703 NEW BEST:: SOT 1492600 SOS 257032 HAS SOPS 257032 HAS SOUS 181453 HAS SOUPS 181453 WITH SCORE 181710.032
AT ITER 9726 NEW BEST:: SOT 1492583 SOS 256998 HAS SOPS 256998 HAS SOUS 181292 HAS SOUPS 181292 WITH SCORE 181548.998
AT ITER 9737 NEW BEST:: SOT 1492554 SOS 256940 HAS SOPS 256940 HAS SOUS 181292 HAS SOUPS 181292 WITH SCORE 181548.94
AT ITER 9754 NEW BEST:: SOT 1492546 SOS 257026 HAS SOPS 257026 HAS SOUS 181276 HAS SOUPS 181276 WITH SCORE 181533.026
AT ITER 9767 NEW BEST:: SOT 1492525 SOS 256984 HAS SOPS 256984 HAS SOUS 181234 HAS SOUPS 181234 WITH SCORE 181490.984
AT ITER 9768 NEW BEST:: SOT 1492524 SOS 256982 HAS SOPS 256982 HAS SOUS 181233 HAS SOUPS 181233 WITH SCORE 181489.982
AT ITER 9847 NEW BEST:: SOT 1492330 SOS 256594 HAS SOPS 256594 HAS SOUS 180955 HAS SOUPS 180955 WITH SCORE 181211.594
AT ITER 9850 NEW BEST:: SOT 1492330 SOS 256526 HAS SOPS 256526 HAS SOUS 180887 HAS SOUPS 180887 WITH SCORE 181143.526
AT ITER 9893 NEW BEST:: SOT 1492327 SOS 256936 HAS SOPS 256936 HAS SOUS 180884 HAS SOUPS 180884 WITH SCORE 181140.936
AT ITER 9897 NEW BEST:: SOT 1492271 SOS 256852 HAS SOPS 256852 HAS SOUS 180800 HAS SOUPS 180800 WITH SCORE 181056.852
AT ITER 9903 NEW BEST:: SOT 1492212 SOS 256734 HAS SOPS 256734 HAS SOUS 180682 HAS SOUPS 180682 WITH SCORE 180938.734
AT ITER 9970 NEW BEST:: SOT 1492130 SOS 256438 HAS SOPS 256438 HAS SOUS 180600 HAS SOUPS 180600 WITH SCORE 180856.438
AT ITER 9982 NEW BEST:: SOT 1492134 SOS 256431 HAS SOPS 256431 HAS SOUS 180600 HAS SOUPS 180600 WITH SCORE 180856.431
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12391728 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121032 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="DLCround-PT-03b"
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 DLCround-PT-03b, 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 r107-tall-167814484500632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-03b.tgz
mv DLCround-PT-03b 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 ;