About the Execution of Smart for GlobalResAllocation-COL-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 513.084 | 3600000.00 | 3593253.00 | 4337.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r195-smll-167840342100184.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 smart
Input is GlobalResAllocation-COL-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100184
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 9.3K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 28K 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 1678472760243
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GlobalResAllocation-COL-06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 18:26:06] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 18:26:06] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 18:26:06] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 18:26:07] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 18:26:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1673 ms
[2023-03-10 18:26:08] [INFO ] Imported 5 HL places and 7 HL transitions for a total of 102 PT places and 136662.0 transition bindings in 31 ms.
[2023-03-10 18:26:12] [INFO ] Unfolded HLPN to a Petri net with 102 places and 136662 transitions 1226388 arcs in 3809 ms.
[2023-03-10 18:26:12] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 125202 transitions
Reduce isomorphic transitions removed 125202 transitions.
Reduce isomorphic (modulo) transitions removed 144 transitions.
[2023-03-10 18:26:16] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 102 places, 11388 transitions and 92748 arcs took 269 ms.
Total runtime 10302 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (COL), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 102 places, 11388 transitions, 92748 arcs.
AT ITER 0 NEW BEST:: SOT 990992 SOS 824982 HAS SOPS 824982 HAS SOUS 391949 HAS SOUPS 391949 WITH SCORE 392773.982
AT ITER 3 NEW BEST:: SOT 984849 SOS 849685 HAS SOPS 849685 HAS SOUS 391731 HAS SOUPS 391731 WITH SCORE 392580.685
AT ITER 5 NEW BEST:: SOT 984849 SOS 849685 HAS SOPS 849685 HAS SOUS 391233 HAS SOUPS 391233 WITH SCORE 392082.685
AT ITER 8 NEW BEST:: SOT 987461 SOS 864747 HAS SOPS 864747 HAS SOUS 383783 HAS SOUPS 383783 WITH SCORE 384647.747
AT ITER 10 NEW BEST:: SOT 987461 SOS 864747 HAS SOPS 864747 HAS SOUS 382383 HAS SOUPS 382383 WITH SCORE 383247.747
AT ITER 19 NEW BEST:: SOT 987461 SOS 864747 HAS SOPS 864747 HAS SOUS 375145 HAS SOUPS 375145 WITH SCORE 376009.747
AT ITER 26 NEW BEST:: SOT 987461 SOS 864747 HAS SOPS 864747 HAS SOUS 367198 HAS SOUPS 367198 WITH SCORE 368062.747
AT ITER 27 NEW BEST:: SOT 987461 SOS 864747 HAS SOPS 864747 HAS SOUS 361434 HAS SOUPS 361434 WITH SCORE 362298.747
AT ITER 29 NEW BEST:: SOT 986647 SOS 867591 HAS SOPS 867591 HAS SOUS 360973 HAS SOUPS 360973 WITH SCORE 361840.591
AT ITER 35 NEW BEST:: SOT 985151 SOS 871870 HAS SOPS 871870 HAS SOUS 356695 HAS SOUPS 356695 WITH SCORE 357566.87
AT ITER 37 NEW BEST:: SOT 985051 SOS 871770 HAS SOPS 871770 HAS SOUS 356129 HAS SOUPS 356129 WITH SCORE 357000.77
AT ITER 45 NEW BEST:: SOT 985051 SOS 871770 HAS SOPS 871770 HAS SOUS 349731 HAS SOUPS 349731 WITH SCORE 350602.77
AT ITER 46 NEW BEST:: SOT 985051 SOS 871770 HAS SOPS 871770 HAS SOUS 346359 HAS SOUPS 346359 WITH SCORE 347230.77
AT ITER 48 NEW BEST:: SOT 985051 SOS 871770 HAS SOPS 871770 HAS SOUS 346308 HAS SOUPS 346308 WITH SCORE 347179.77
AT ITER 49 NEW BEST:: SOT 985051 SOS 871770 HAS SOPS 871770 HAS SOUS 345931 HAS SOUPS 345931 WITH SCORE 346802.77
AT ITER 51 NEW BEST:: SOT 974396 SOS 863597 HAS SOPS 863597 HAS SOUS 337081 HAS SOUPS 337081 WITH SCORE 337944.597
AT ITER 55 NEW BEST:: SOT 974319 SOS 863520 HAS SOPS 863520 HAS SOUS 334379 HAS SOUPS 334379 WITH SCORE 335242.52
AT ITER 56 NEW BEST:: SOT 964985 SOS 862065 HAS SOPS 862065 HAS SOUS 324996 HAS SOUPS 324996 WITH SCORE 325858.065
AT ITER 60 NEW BEST:: SOT 972464 SOS 885464 HAS SOPS 885464 HAS SOUS 316735 HAS SOUPS 316735 WITH SCORE 317620.464
AT ITER 66 NEW BEST:: SOT 972034 SOS 885034 HAS SOPS 885034 HAS SOUS 316305 HAS SOUPS 316305 WITH SCORE 317190.034
AT ITER 72 NEW BEST:: SOT 972034 SOS 885034 HAS SOPS 885034 HAS SOUS 315814 HAS SOUPS 315814 WITH SCORE 316699.034
AT ITER 73 NEW BEST:: SOT 971954 SOS 884954 HAS SOPS 884954 HAS SOUS 312303 HAS SOUPS 312303 WITH SCORE 313187.954
AT ITER 74 NEW BEST:: SOT 971942 SOS 884942 HAS SOPS 884942 HAS SOUS 311834 HAS SOUPS 311834 WITH SCORE 312718.942
AT ITER 75 NEW BEST:: SOT 972042 SOS 885042 HAS SOPS 885042 HAS SOUS 311294 HAS SOUPS 311294 WITH SCORE 312179.042
AT ITER 87 NEW BEST:: SOT 965520 SOS 878520 HAS SOPS 878520 HAS SOUS 297096 HAS SOUPS 297096 WITH SCORE 297974.52
AT ITER 92 NEW BEST:: SOT 965252 SOS 878252 HAS SOPS 878252 HAS SOUS 294960 HAS SOUPS 294960 WITH SCORE 295838.252
AT ITER 94 NEW BEST:: SOT 965252 SOS 878252 HAS SOPS 878252 HAS SOUS 293725 HAS SOUPS 293725 WITH SCORE 294603.252
AT ITER 98 NEW BEST:: SOT 965252 SOS 878252 HAS SOPS 878252 HAS SOUS 292634 HAS SOUPS 292634 WITH SCORE 293512.252
AT ITER 99 NEW BEST:: SOT 965252 SOS 878252 HAS SOPS 878252 HAS SOUS 292249 HAS SOUPS 292249 WITH SCORE 293127.252
AT ITER 100 NEW BEST:: SOT 965204 SOS 878204 HAS SOPS 878204 HAS SOUS 291730 HAS SOUPS 291730 WITH SCORE 292608.204
AT ITER 102 NEW BEST:: SOT 965154 SOS 878154 HAS SOPS 878154 HAS SOUS 290373 HAS SOUPS 290373 WITH SCORE 291251.154
AT ITER 103 NEW BEST:: SOT 965600 SOS 878600 HAS SOPS 878600 HAS SOUS 289852 HAS SOUPS 289852 WITH SCORE 290730.6
AT ITER 121 NEW BEST:: SOT 963206 SOS 876323 HAS SOPS 876323 HAS SOUS 286747 HAS SOUPS 286747 WITH SCORE 287623.323
AT ITER 122 NEW BEST:: SOT 963206 SOS 876323 HAS SOPS 876323 HAS SOUS 284237 HAS SOUPS 284237 WITH SCORE 285113.323
AT ITER 123 NEW BEST:: SOT 963427 SOS 876544 HAS SOPS 876544 HAS SOUS 283190 HAS SOUPS 283190 WITH SCORE 284066.544
AT ITER 128 NEW BEST:: SOT 963388 SOS 876505 HAS SOPS 876505 HAS SOUS 282855 HAS SOUPS 282855 WITH SCORE 283731.505
AT ITER 147 NEW BEST:: SOT 963063 SOS 876180 HAS SOPS 876180 HAS SOUS 282530 HAS SOUPS 282530 WITH SCORE 283406.18
AT ITER 152 NEW BEST:: SOT 965002 SOS 862902 HAS SOPS 862902 HAS SOUS 280645 HAS SOUPS 280645 WITH SCORE 281507.902
AT ITER 153 NEW BEST:: SOT 970377 SOS 868531 HAS SOPS 868531 HAS SOUS 280291 HAS SOUPS 280291 WITH SCORE 281159.531
AT ITER 172 NEW BEST:: SOT 970377 SOS 868531 HAS SOPS 868531 HAS SOUS 280246 HAS SOUPS 280246 WITH SCORE 281114.531
AT ITER 173 NEW BEST:: SOT 970377 SOS 868531 HAS SOPS 868531 HAS SOUS 280224 HAS SOUPS 280224 WITH SCORE 281092.531
AT ITER 179 NEW BEST:: SOT 970377 SOS 868531 HAS SOPS 868531 HAS SOUS 279370 HAS SOUPS 279370 WITH SCORE 280238.531
AT ITER 184 NEW BEST:: SOT 965656 SOS 863810 HAS SOPS 863810 HAS SOUS 274649 HAS SOUPS 274649 WITH SCORE 275512.81
AT ITER 189 NEW BEST:: SOT 965656 SOS 858122 HAS SOPS 858122 HAS SOUS 274634 HAS SOUPS 274634 WITH SCORE 275492.122
AT ITER 194 NEW BEST:: SOT 965648 SOS 853855 HAS SOPS 853855 HAS SOUS 274587 HAS SOUPS 274587 WITH SCORE 275440.855
AT ITER 206 NEW BEST:: SOT 965648 SOS 853855 HAS SOPS 853855 HAS SOUS 274397 HAS SOUPS 274397 WITH SCORE 275250.855
AT ITER 208 NEW BEST:: SOT 971487 SOS 863472 HAS SOPS 863472 HAS SOUS 271693 HAS SOUPS 271693 WITH SCORE 272556.472
AT ITER 209 NEW BEST:: SOT 971243 SOS 863228 HAS SOPS 863228 HAS SOUS 270517 HAS SOUPS 270517 WITH SCORE 271380.228
AT ITER 214 NEW BEST:: SOT 971243 SOS 863228 HAS SOPS 863228 HAS SOUS 269997 HAS SOUPS 269997 WITH SCORE 270860.228
AT ITER 220 NEW BEST:: SOT 971243 SOS 863228 HAS SOPS 863228 HAS SOUS 267188 HAS SOUPS 267188 WITH SCORE 268051.228
AT ITER 223 NEW BEST:: SOT 971243 SOS 863228 HAS SOPS 863228 HAS SOUS 267050 HAS SOUPS 267050 WITH SCORE 267913.228
AT ITER 224 NEW BEST:: SOT 975478 SOS 878848 HAS SOPS 878848 HAS SOUS 264579 HAS SOUPS 264579 WITH SCORE 265457.848
AT ITER 226 NEW BEST:: SOT 975478 SOS 882599 HAS SOPS 882599 HAS SOUS 263817 HAS SOUPS 263817 WITH SCORE 264699.599
AT ITER 231 NEW BEST:: SOT 975475 SOS 876311 HAS SOPS 876311 HAS SOUS 263810 HAS SOUPS 263810 WITH SCORE 264686.311
AT ITER 238 NEW BEST:: SOT 965241 SOS 871110 HAS SOPS 871110 HAS SOUS 258371 HAS SOUPS 258371 WITH SCORE 259242.11
AT ITER 242 NEW BEST:: SOT 962537 SOS 868417 HAS SOPS 868417 HAS SOUS 257680 HAS SOUPS 257680 WITH SCORE 258548.417
AT ITER 243 NEW BEST:: SOT 960734 SOS 866602 HAS SOPS 866602 HAS SOUS 256930 HAS SOUPS 256930 WITH SCORE 257796.602
AT ITER 246 NEW BEST:: SOT 961526 SOS 867394 HAS SOPS 867394 HAS SOUS 256415 HAS SOUPS 256415 WITH SCORE 257282.394
AT ITER 247 NEW BEST:: SOT 961526 SOS 867394 HAS SOPS 867394 HAS SOUS 256083 HAS SOUPS 256083 WITH SCORE 256950.394
AT ITER 250 NEW BEST:: SOT 958238 SOS 864111 HAS SOPS 864111 HAS SOUS 255034 HAS SOUPS 255034 WITH SCORE 255898.111
AT ITER 251 NEW BEST:: SOT 958202 SOS 864075 HAS SOPS 864075 HAS SOUS 254617 HAS SOUPS 254617 WITH SCORE 255481.075
AT ITER 257 NEW BEST:: SOT 957556 SOS 863429 HAS SOPS 863429 HAS SOUS 252107 HAS SOUPS 252107 WITH SCORE 252970.429
AT ITER 259 NEW BEST:: SOT 957281 SOS 863154 HAS SOPS 863154 HAS SOUS 248500 HAS SOUPS 248500 WITH SCORE 249363.154
AT ITER 268 NEW BEST:: SOT 957358 SOS 863231 HAS SOPS 863231 HAS SOUS 247797 HAS SOUPS 247797 WITH SCORE 248660.231
AT ITER 271 NEW BEST:: SOT 957829 SOS 863692 HAS SOPS 863692 HAS SOUS 246714 HAS SOUPS 246714 WITH SCORE 247577.692
AT ITER 280 NEW BEST:: SOT 957806 SOS 863669 HAS SOPS 863669 HAS SOUS 246518 HAS SOUPS 246518 WITH SCORE 247381.669
AT ITER 300 NEW BEST:: SOT 958210 SOS 864073 HAS SOPS 864073 HAS SOUS 245085 HAS SOUPS 245085 WITH SCORE 245949.073
AT ITER 307 NEW BEST:: SOT 958175 SOS 864038 HAS SOPS 864038 HAS SOUS 244420 HAS SOUPS 244420 WITH SCORE 245284.038
AT ITER 308 NEW BEST:: SOT 958310 SOS 864173 HAS SOPS 864173 HAS SOUS 242266 HAS SOUPS 242266 WITH SCORE 243130.173
AT ITER 310 NEW BEST:: SOT 956993 SOS 862856 HAS SOPS 862856 HAS SOUS 238733 HAS SOUPS 238733 WITH SCORE 239595.856
AT ITER 312 NEW BEST:: SOT 956813 SOS 862676 HAS SOPS 862676 HAS SOUS 236934 HAS SOUPS 236934 WITH SCORE 237796.676
AT ITER 315 NEW BEST:: SOT 956696 SOS 860249 HAS SOPS 860249 HAS SOUS 236803 HAS SOUPS 236803 WITH SCORE 237663.249
AT ITER 323 NEW BEST:: SOT 960179 SOS 863742 HAS SOPS 863742 HAS SOUS 236183 HAS SOUPS 236183 WITH SCORE 237046.742
AT ITER 341 NEW BEST:: SOT 958930 SOS 862493 HAS SOPS 862493 HAS SOUS 234468 HAS SOUPS 234468 WITH SCORE 235330.493
AT ITER 356 NEW BEST:: SOT 959020 SOS 862606 HAS SOPS 862606 HAS SOUS 234066 HAS SOUPS 234066 WITH SCORE 234928.606
AT ITER 362 NEW BEST:: SOT 956674 SOS 860260 HAS SOPS 860260 HAS SOUS 227071 HAS SOUPS 227071 WITH SCORE 227931.26
AT ITER 366 NEW BEST:: SOT 956674 SOS 860260 HAS SOPS 860260 HAS SOUS 226822 HAS SOUPS 226822 WITH SCORE 227682.26
AT ITER 381 NEW BEST:: SOT 956674 SOS 858852 HAS SOPS 858852 HAS SOUS 226151 HAS SOUPS 226151 WITH SCORE 227009.852
AT ITER 398 NEW BEST:: SOT 956674 SOS 858852 HAS SOPS 858852 HAS SOUS 225809 HAS SOUPS 225809 WITH SCORE 226667.852
AT ITER 399 NEW BEST:: SOT 955866 SOS 858011 HAS SOPS 858011 HAS SOUS 225475 HAS SOUPS 225475 WITH SCORE 226333.011
AT ITER 410 NEW BEST:: SOT 954547 SOS 856692 HAS SOPS 856692 HAS SOUS 224156 HAS SOUPS 224156 WITH SCORE 225012.692
AT ITER 412 NEW BEST:: SOT 943254 SOS 845467 HAS SOPS 845467 HAS SOUS 220615 HAS SOUPS 220615 WITH SCORE 221460.467
AT ITER 417 NEW BEST:: SOT 943254 SOS 845467 HAS SOPS 845467 HAS SOUS 220523 HAS SOUPS 220523 WITH SCORE 221368.467
AT ITER 419 NEW BEST:: SOT 943254 SOS 845467 HAS SOPS 845467 HAS SOUS 220378 HAS SOUPS 220378 WITH SCORE 221223.467
AT ITER 448 NEW BEST:: SOT 943254 SOS 845467 HAS SOPS 845467 HAS SOUS 220236 HAS SOUPS 220236 WITH SCORE 221081.467
AT ITER 454 NEW BEST:: SOT 943254 SOS 849922 HAS SOPS 849922 HAS SOUS 218927 HAS SOUPS 218927 WITH SCORE 219776.922
AT ITER 456 NEW BEST:: SOT 943185 SOS 849853 HAS SOPS 849853 HAS SOUS 218588 HAS SOUPS 218588 WITH SCORE 219437.853
AT ITER 473 NEW BEST:: SOT 943181 SOS 842569 HAS SOPS 842569 HAS SOUS 218576 HAS SOUPS 218576 WITH SCORE 219418.569
AT ITER 474 NEW BEST:: SOT 940231 SOS 841248 HAS SOPS 841248 HAS SOUS 218280 HAS SOUPS 218280 WITH SCORE 219121.248
AT ITER 478 NEW BEST:: SOT 939697 SOS 840714 HAS SOPS 840714 HAS SOUS 216830 HAS SOUPS 216830 WITH SCORE 217670.714
AT ITER 479 NEW BEST:: SOT 939692 SOS 840704 HAS SOPS 840704 HAS SOUS 216820 HAS SOUPS 216820 WITH SCORE 217660.704
AT ITER 496 NEW BEST:: SOT 938921 SOS 839933 HAS SOPS 839933 HAS SOUS 216049 HAS SOUPS 216049 WITH SCORE 216888.933
AT ITER 501 NEW BEST:: SOT 939698 SOS 839179 HAS SOPS 839179 HAS SOUS 215565 HAS SOUPS 215565 WITH SCORE 216404.179
AT ITER 511 NEW BEST:: SOT 943415 SOS 842889 HAS SOPS 842889 HAS SOUS 215270 HAS SOUPS 215270 WITH SCORE 216112.889
AT ITER 515 NEW BEST:: SOT 942477 SOS 841951 HAS SOPS 841951 HAS SOUS 214332 HAS SOUPS 214332 WITH SCORE 215173.951
AT ITER 529 NEW BEST:: SOT 942477 SOS 841951 HAS SOPS 841951 HAS SOUS 214220 HAS SOUPS 214220 WITH SCORE 215061.951
AT ITER 536 NEW BEST:: SOT 940120 SOS 839594 HAS SOPS 839594 HAS SOUS 210017 HAS SOUPS 210017 WITH SCORE 210856.594
AT ITER 543 NEW BEST:: SOT 939677 SOS 839151 HAS SOPS 839151 HAS SOUS 207248 HAS SOUPS 207248 WITH SCORE 208087.151
AT ITER 553 NEW BEST:: SOT 935186 SOS 834660 HAS SOPS 834660 HAS SOUS 203882 HAS SOUPS 203882 WITH SCORE 204716.66
AT ITER 554 NEW BEST:: SOT 935186 SOS 834660 HAS SOPS 834660 HAS SOUS 203797 HAS SOUPS 203797 WITH SCORE 204631.66
AT ITER 566 NEW BEST:: SOT 934811 SOS 834285 HAS SOPS 834285 HAS SOUS 203422 HAS SOUPS 203422 WITH SCORE 204256.285
AT ITER 601 NEW BEST:: SOT 934811 SOS 833221 HAS SOPS 833221 HAS SOUS 203416 HAS SOUPS 203416 WITH SCORE 204249.221
AT ITER 610 NEW BEST:: SOT 929951 SOS 828361 HAS SOPS 828361 HAS SOUS 198556 HAS SOUPS 198556 WITH SCORE 199384.361
AT ITER 614 NEW BEST:: SOT 929932 SOS 828343 HAS SOPS 828343 HAS SOUS 198538 HAS SOUPS 198538 WITH SCORE 199366.343
AT ITER 655 NEW BEST:: SOT 929932 SOS 828180 HAS SOPS 828180 HAS SOUS 195649 HAS SOUPS 195649 WITH SCORE 196477.18
AT ITER 681 NEW BEST:: SOT 929920 SOS 828168 HAS SOPS 828168 HAS SOUS 195510 HAS SOUPS 195510 WITH SCORE 196338.168
AT ITER 682 NEW BEST:: SOT 929920 SOS 835549 HAS SOPS 835549 HAS SOUS 195260 HAS SOUPS 195260 WITH SCORE 196095.549
AT ITER 699 NEW BEST:: SOT 929657 SOS 835286 HAS SOPS 835286 HAS SOUS 194997 HAS SOUPS 194997 WITH SCORE 195832.286
AT ITER 702 NEW BEST:: SOT 929657 SOS 836573 HAS SOPS 836573 HAS SOUS 194995 HAS SOUPS 194995 WITH SCORE 195831.573
AT ITER 708 NEW BEST:: SOT 929668 SOS 836584 HAS SOPS 836584 HAS SOUS 194919 HAS SOUPS 194919 WITH SCORE 195755.584
AT ITER 710 NEW BEST:: SOT 928890 SOS 835819 HAS SOPS 835819 HAS SOUS 194587 HAS SOUPS 194587 WITH SCORE 195422.819
AT ITER 715 NEW BEST:: SOT 928890 SOS 835819 HAS SOPS 835819 HAS SOUS 194217 HAS SOUPS 194217 WITH SCORE 195052.819
AT ITER 726 NEW BEST:: SOT 928890 SOS 835819 HAS SOPS 835819 HAS SOUS 194195 HAS SOUPS 194195 WITH SCORE 195030.819
AT ITER 771 NEW BEST:: SOT 928524 SOS 835453 HAS SOPS 835453 HAS SOUS 192857 HAS SOUPS 192857 WITH SCORE 193692.453
AT ITER 800 NEW BEST:: SOT 928548 SOS 844332 HAS SOPS 844332 HAS SOUS 192284 HAS SOUPS 192284 WITH SCORE 193128.332
AT ITER 826 NEW BEST:: SOT 930853 SOS 846601 HAS SOPS 846601 HAS SOUS 189310 HAS SOUPS 189310 WITH SCORE 190156.601
AT ITER 829 NEW BEST:: SOT 930624 SOS 846372 HAS SOPS 846372 HAS SOUS 188258 HAS SOUPS 188258 WITH SCORE 189104.372
AT ITER 852 NEW BEST:: SOT 930624 SOS 842585 HAS SOPS 842585 HAS SOUS 188247 HAS SOUPS 188247 WITH SCORE 189089.585
AT ITER 863 NEW BEST:: SOT 931078 SOS 843039 HAS SOPS 843039 HAS SOUS 188235 HAS SOUPS 188235 WITH SCORE 189078.039
AT ITER 878 NEW BEST:: SOT 931078 SOS 843039 HAS SOPS 843039 HAS SOUS 187617 HAS SOUPS 187617 WITH SCORE 188460.039
AT ITER 890 NEW BEST:: SOT 931078 SOS 843039 HAS SOPS 843039 HAS SOUS 187521 HAS SOUPS 187521 WITH SCORE 188364.039
AT ITER 917 NEW BEST:: SOT 931078 SOS 859683 HAS SOPS 859683 HAS SOUS 187371 HAS SOUPS 187371 WITH SCORE 188230.683
AT ITER 925 NEW BEST:: SOT 931078 SOS 859683 HAS SOPS 859683 HAS SOUS 187247 HAS SOUPS 187247 WITH SCORE 188106.683
AT ITER 969 NEW BEST:: SOT 931277 SOS 859837 HAS SOPS 859837 HAS SOUS 186638 HAS SOUPS 186638 WITH SCORE 187497.837
AT ITER 970 NEW BEST:: SOT 929954 SOS 858514 HAS SOPS 858514 HAS SOUS 185315 HAS SOUPS 185315 WITH SCORE 186173.514
AT ITER 978 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 185249 HAS SOUPS 185249 WITH SCORE 186107.602
AT ITER 980 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 184857 HAS SOUPS 184857 WITH SCORE 185715.602
AT ITER 1004 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 184811 HAS SOUPS 184811 WITH SCORE 185669.602
AT ITER 1015 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 184596 HAS SOUPS 184596 WITH SCORE 185454.602
AT ITER 1025 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 184450 HAS SOUPS 184450 WITH SCORE 185308.602
AT ITER 1035 NEW BEST:: SOT 929954 SOS 858602 HAS SOPS 858602 HAS SOUS 184294 HAS SOUPS 184294 WITH SCORE 185152.602
AT ITER 1069 NEW BEST:: SOT 928276 SOS 856958 HAS SOPS 856958 HAS SOUS 183274 HAS SOUPS 183274 WITH SCORE 184130.958
AT ITER 1076 NEW BEST:: SOT 928276 SOS 856958 HAS SOPS 856958 HAS SOUS 182647 HAS SOUPS 182647 WITH SCORE 183503.958
AT ITER 1096 NEW BEST:: SOT 928184 SOS 856866 HAS SOPS 856866 HAS SOUS 181946 HAS SOUPS 181946 WITH SCORE 182802.866
AT ITER 1107 NEW BEST:: SOT 928184 SOS 856896 HAS SOPS 856896 HAS SOUS 181898 HAS SOUPS 181898 WITH SCORE 182754.896
AT ITER 1119 NEW BEST:: SOT 928011 SOS 856723 HAS SOPS 856723 HAS SOUS 181236 HAS SOUPS 181236 WITH SCORE 182092.723
AT ITER 1172 NEW BEST:: SOT 927636 SOS 856348 HAS SOPS 856348 HAS SOUS 180861 HAS SOUPS 180861 WITH SCORE 181717.348
AT ITER 1280 NEW BEST:: SOT 927636 SOS 856348 HAS SOPS 856348 HAS SOUS 180839 HAS SOUPS 180839 WITH SCORE 181695.348
AT ITER 1411 NEW BEST:: SOT 927636 SOS 848846 HAS SOPS 848846 HAS SOUS 180834 HAS SOUPS 180834 WITH SCORE 181682.846
AT ITER 1412 NEW BEST:: SOT 927636 SOS 848846 HAS SOPS 848846 HAS SOUS 180638 HAS SOUPS 180638 WITH SCORE 181486.846
AT ITER 1414 NEW BEST:: SOT 927180 SOS 848390 HAS SOPS 848390 HAS SOUS 179140 HAS SOUPS 179140 WITH SCORE 179988.39
AT ITER 1422 NEW BEST:: SOT 926808 SOS 848018 HAS SOPS 848018 HAS SOUS 178781 HAS SOUPS 178781 WITH SCORE 179629.018
AT ITER 1447 NEW BEST:: SOT 926745 SOS 847815 HAS SOPS 847815 HAS SOUS 178605 HAS SOUPS 178605 WITH SCORE 179452.815
AT ITER 1459 NEW BEST:: SOT 925683 SOS 846753 HAS SOPS 846753 HAS SOUS 177543 HAS SOUPS 177543 WITH SCORE 178389.753
AT ITER 1463 NEW BEST:: SOT 925683 SOS 846753 HAS SOPS 846753 HAS SOUS 177230 HAS SOUPS 177230 WITH SCORE 178076.753
AT ITER 1472 NEW BEST:: SOT 925527 SOS 846597 HAS SOPS 846597 HAS SOUS 177074 HAS SOUPS 177074 WITH SCORE 177920.597
AT ITER 1474 NEW BEST:: SOT 925527 SOS 846597 HAS SOPS 846597 HAS SOUS 176988 HAS SOUPS 176988 WITH SCORE 177834.597
AT ITER 1495 NEW BEST:: SOT 925529 SOS 838409 HAS SOPS 838409 HAS SOUS 176978 HAS SOUPS 176978 WITH SCORE 177816.409
AT ITER 1505 NEW BEST:: SOT 924309 SOS 837229 HAS SOPS 837229 HAS SOUS 176063 HAS SOUPS 176063 WITH SCORE 176900.229
AT ITER 1512 NEW BEST:: SOT 924270 SOS 837190 HAS SOPS 837190 HAS SOUS 175605 HAS SOUPS 175605 WITH SCORE 176442.19
AT ITER 1517 NEW BEST:: SOT 924270 SOS 837190 HAS SOPS 837190 HAS SOUS 175594 HAS SOUPS 175594 WITH SCORE 176431.19
AT ITER 1523 NEW BEST:: SOT 923730 SOS 836650 HAS SOPS 836650 HAS SOUS 173468 HAS SOUPS 173468 WITH SCORE 174304.65
AT ITER 1555 NEW BEST:: SOT 923728 SOS 835284 HAS SOPS 835284 HAS SOUS 173464 HAS SOUPS 173464 WITH SCORE 174299.284
AT ITER 1593 NEW BEST:: SOT 923545 SOS 835109 HAS SOPS 835109 HAS SOUS 173432 HAS SOUPS 173432 WITH SCORE 174267.109
AT ITER 1604 NEW BEST:: SOT 923316 SOS 834880 HAS SOPS 834880 HAS SOUS 172828 HAS SOUPS 172828 WITH SCORE 173662.88
AT ITER 1643 NEW BEST:: SOT 922879 SOS 834443 HAS SOPS 834443 HAS SOUS 172786 HAS SOUPS 172786 WITH SCORE 173620.443
AT ITER 1652 NEW BEST:: SOT 922726 SOS 834290 HAS SOPS 834290 HAS SOUS 172076 HAS SOUPS 172076 WITH SCORE 172910.29
AT ITER 1675 NEW BEST:: SOT 922421 SOS 833985 HAS SOPS 833985 HAS SOUS 171090 HAS SOUPS 171090 WITH SCORE 171923.985
AT ITER 1683 NEW BEST:: SOT 922151 SOS 833715 HAS SOPS 833715 HAS SOUS 170133 HAS SOUPS 170133 WITH SCORE 170966.715
AT ITER 1700 NEW BEST:: SOT 922046 SOS 833610 HAS SOPS 833610 HAS SOUS 169989 HAS SOUPS 169989 WITH SCORE 170822.61
AT ITER 1712 NEW BEST:: SOT 922046 SOS 833610 HAS SOPS 833610 HAS SOUS 169945 HAS SOUPS 169945 WITH SCORE 170778.61
AT ITER 1727 NEW BEST:: SOT 922046 SOS 833610 HAS SOPS 833610 HAS SOUS 169923 HAS SOUPS 169923 WITH SCORE 170756.61
AT ITER 1751 NEW BEST:: SOT 922046 SOS 833588 HAS SOPS 833588 HAS SOUS 169923 HAS SOUPS 169923 WITH SCORE 170756.588
AT ITER 1752 NEW BEST:: SOT 922046 SOS 834719 HAS SOPS 834719 HAS SOUS 169917 HAS SOUPS 169917 WITH SCORE 170751.719
AT ITER 1769 NEW BEST:: SOT 920362 SOS 833035 HAS SOPS 833035 HAS SOUS 165300 HAS SOUPS 165300 WITH SCORE 166133.035
AT ITER 1851 NEW BEST:: SOT 920362 SOS 832952 HAS SOPS 832952 HAS SOUS 165258 HAS SOUPS 165258 WITH SCORE 166090.952
AT ITER 1872 NEW BEST:: SOT 920362 SOS 832952 HAS SOPS 832952 HAS SOUS 165166 HAS SOUPS 165166 WITH SCORE 165998.952
AT ITER 1907 NEW BEST:: SOT 920086 SOS 832676 HAS SOPS 832676 HAS SOUS 164890 HAS SOUPS 164890 WITH SCORE 165722.676
AT ITER 1914 NEW BEST:: SOT 918689 SOS 831297 HAS SOPS 831297 HAS SOUS 164103 HAS SOUPS 164103 WITH SCORE 164934.297
AT ITER 1929 NEW BEST:: SOT 918689 SOS 831297 HAS SOPS 831297 HAS SOUS 163810 HAS SOUPS 163810 WITH SCORE 164641.297
AT ITER 1936 NEW BEST:: SOT 918505 SOS 831113 HAS SOPS 831113 HAS SOUS 163626 HAS SOUPS 163626 WITH SCORE 164457.113
AT ITER 1945 NEW BEST:: SOT 918469 SOS 831077 HAS SOPS 831077 HAS SOUS 163349 HAS SOUPS 163349 WITH SCORE 164180.077
AT ITER 1969 NEW BEST:: SOT 918467 SOS 831075 HAS SOPS 831075 HAS SOUS 163347 HAS SOUPS 163347 WITH SCORE 164178.075
AT ITER 1986 NEW BEST:: SOT 918467 SOS 834103 HAS SOPS 834103 HAS SOUS 163341 HAS SOUPS 163341 WITH SCORE 164175.103
AT ITER 1991 NEW BEST:: SOT 918467 SOS 834174 HAS SOPS 834174 HAS SOUS 163306 HAS SOUPS 163306 WITH SCORE 164140.174
AT ITER 2031 NEW BEST:: SOT 918467 SOS 834379 HAS SOPS 834379 HAS SOUS 163100 HAS SOUPS 163100 WITH SCORE 163934.379
AT ITER 2045 NEW BEST:: SOT 918217 SOS 834129 HAS SOPS 834129 HAS SOUS 162850 HAS SOUPS 162850 WITH SCORE 163684.129
AT ITER 2058 NEW BEST:: SOT 918217 SOS 834129 HAS SOPS 834129 HAS SOUS 162544 HAS SOUPS 162544 WITH SCORE 163378.129
AT ITER 2129 NEW BEST:: SOT 918095 SOS 834007 HAS SOPS 834007 HAS SOUS 162168 HAS SOUPS 162168 WITH SCORE 163002.007
AT ITER 2148 NEW BEST:: SOT 918095 SOS 835137 HAS SOPS 835137 HAS SOUS 162161 HAS SOUPS 162161 WITH SCORE 162996.137
AT ITER 2153 NEW BEST:: SOT 918072 SOS 835114 HAS SOPS 835114 HAS SOUS 162077 HAS SOUPS 162077 WITH SCORE 162912.114
AT ITER 2199 NEW BEST:: SOT 918073 SOS 839431 HAS SOPS 839431 HAS SOUS 162071 HAS SOUPS 162071 WITH SCORE 162910.431
AT ITER 2239 NEW BEST:: SOT 917621 SOS 838979 HAS SOPS 838979 HAS SOUS 161619 HAS SOUPS 161619 WITH SCORE 162457.979
AT ITER 2342 NEW BEST:: SOT 913469 SOS 834862 HAS SOPS 834862 HAS SOUS 159570 HAS SOUPS 159570 WITH SCORE 160404.862
AT ITER 2365 NEW BEST:: SOT 913449 SOS 834780 HAS SOPS 834780 HAS SOUS 159561 HAS SOUPS 159561 WITH SCORE 160395.78
AT ITER 2413 NEW BEST:: SOT 913293 SOS 834624 HAS SOPS 834624 HAS SOUS 159008 HAS SOUPS 159008 WITH SCORE 159842.624
AT ITER 2499 NEW BEST:: SOT 913293 SOS 834624 HAS SOPS 834624 HAS SOUS 158971 HAS SOUPS 158971 WITH SCORE 159805.624
AT ITER 2517 NEW BEST:: SOT 912783 SOS 834114 HAS SOPS 834114 HAS SOUS 158827 HAS SOUPS 158827 WITH SCORE 159661.114
AT ITER 2647 NEW BEST:: SOT 913994 SOS 835310 HAS SOPS 835310 HAS SOUS 158173 HAS SOUPS 158173 WITH SCORE 159008.31
AT ITER 2681 NEW BEST:: SOT 913893 SOS 835209 HAS SOPS 835209 HAS SOUS 158117 HAS SOUPS 158117 WITH SCORE 158952.209
AT ITER 2765 NEW BEST:: SOT 913893 SOS 835209 HAS SOPS 835209 HAS SOUS 157979 HAS SOUPS 157979 WITH SCORE 158814.209
AT ITER 2780 NEW BEST:: SOT 913892 SOS 835131 HAS SOPS 835131 HAS SOUS 157974 HAS SOUPS 157974 WITH SCORE 158809.131
AT ITER 2784 NEW BEST:: SOT 913892 SOS 840279 HAS SOPS 840279 HAS SOUS 157966 HAS SOUPS 157966 WITH SCORE 158806.279
AT ITER 2804 NEW BEST:: SOT 908910 SOS 835321 HAS SOPS 835321 HAS SOUS 155372 HAS SOUPS 155372 WITH SCORE 156207.321
AT ITER 2828 NEW BEST:: SOT 908727 SOS 835146 HAS SOPS 835146 HAS SOUS 155340 HAS SOUPS 155340 WITH SCORE 156175.146
AT ITER 2916 NEW BEST:: SOT 912983 SOS 839393 HAS SOPS 839393 HAS SOUS 153811 HAS SOUPS 153811 WITH SCORE 154650.393
AT ITER 2934 NEW BEST:: SOT 912899 SOS 839309 HAS SOPS 839309 HAS SOUS 153750 HAS SOUPS 153750 WITH SCORE 154589.309
AT ITER 2945 NEW BEST:: SOT 910498 SOS 836971 HAS SOPS 836971 HAS SOUS 153302 HAS SOUPS 153302 WITH SCORE 154138.971
AT ITER 2956 NEW BEST:: SOT 910498 SOS 836971 HAS SOPS 836971 HAS SOUS 153286 HAS SOUPS 153286 WITH SCORE 154122.971
AT ITER 2958 NEW BEST:: SOT 910376 SOS 836849 HAS SOPS 836849 HAS SOUS 152910 HAS SOUPS 152910 WITH SCORE 153746.849
AT ITER 2959 NEW BEST:: SOT 909784 SOS 836257 HAS SOPS 836257 HAS SOUS 152693 HAS SOUPS 152693 WITH SCORE 153529.257
AT ITER 2966 NEW BEST:: SOT 909783 SOS 836179 HAS SOPS 836179 HAS SOUS 152688 HAS SOUPS 152688 WITH SCORE 153524.179
AT ITER 2970 NEW BEST:: SOT 909967 SOS 836363 HAS SOPS 836363 HAS SOUS 152406 HAS SOUPS 152406 WITH SCORE 153242.363
AT ITER 3059 NEW BEST:: SOT 910116 SOS 836494 HAS SOPS 836494 HAS SOUS 152172 HAS SOUPS 152172 WITH SCORE 153008.494
AT ITER 3131 NEW BEST:: SOT 909887 SOS 836265 HAS SOPS 836265 HAS SOUS 151477 HAS SOUPS 151477 WITH SCORE 152313.265
AT ITER 3202 NEW BEST:: SOT 909977 SOS 836341 HAS SOPS 836341 HAS SOUS 150498 HAS SOUPS 150498 WITH SCORE 151334.341
AT ITER 3226 NEW BEST:: SOT 909797 SOS 836161 HAS SOPS 836161 HAS SOUS 149972 HAS SOUPS 149972 WITH SCORE 150808.161
AT ITER 3246 NEW BEST:: SOT 909977 SOS 836334 HAS SOPS 836334 HAS SOUS 149808 HAS SOUPS 149808 WITH SCORE 150644.334
AT ITER 3265 NEW BEST:: SOT 909596 SOS 835953 HAS SOPS 835953 HAS SOUS 148740 HAS SOUPS 148740 WITH SCORE 149575.953
AT ITER 3318 NEW BEST:: SOT 909144 SOS 835501 HAS SOPS 835501 HAS SOUS 148288 HAS SOUPS 148288 WITH SCORE 149123.501
AT ITER 3382 NEW BEST:: SOT 909144 SOS 835501 HAS SOPS 835501 HAS SOUS 148164 HAS SOUPS 148164 WITH SCORE 148999.501
AT ITER 3493 NEW BEST:: SOT 907072 SOS 833429 HAS SOPS 833429 HAS SOUS 144978 HAS SOUPS 144978 WITH SCORE 145811.429
AT ITER 3557 NEW BEST:: SOT 906691 SOS 833054 HAS SOPS 833054 HAS SOUS 144897 HAS SOUPS 144897 WITH SCORE 145730.054
AT ITER 3619 NEW BEST:: SOT 906691 SOS 833054 HAS SOPS 833054 HAS SOUS 144431 HAS SOUPS 144431 WITH SCORE 145264.054
AT ITER 3779 NEW BEST:: SOT 906409 SOS 832772 HAS SOPS 832772 HAS SOUS 144417 HAS SOUPS 144417 WITH SCORE 145249.772
AT ITER 3789 NEW BEST:: SOT 906398 SOS 832761 HAS SOPS 832761 HAS SOUS 144340 HAS SOUPS 144340 WITH SCORE 145172.761
AT ITER 3816 NEW BEST:: SOT 906398 SOS 832761 HAS SOPS 832761 HAS SOUS 144308 HAS SOUPS 144308 WITH SCORE 145140.761
AT ITER 3842 NEW BEST:: SOT 906352 SOS 832715 HAS SOPS 832715 HAS SOUS 144302 HAS SOUPS 144302 WITH SCORE 145134.715
AT ITER 3847 NEW BEST:: SOT 906352 SOS 832715 HAS SOPS 832715 HAS SOUS 144291 HAS SOUPS 144291 WITH SCORE 145123.715
AT ITER 3850 NEW BEST:: SOT 905971 SOS 832334 HAS SOPS 832334 HAS SOUS 143223 HAS SOUPS 143223 WITH SCORE 144055.334
AT ITER 3922 NEW BEST:: SOT 905925 SOS 832288 HAS SOPS 832288 HAS SOUS 143055 HAS SOUPS 143055 WITH SCORE 143887.288
AT ITER 3948 NEW BEST:: SOT 905579 SOS 831942 HAS SOPS 831942 HAS SOUS 142117 HAS SOUPS 142117 WITH SCORE 142948.942
AT ITER 4027 NEW BEST:: SOT 905127 SOS 831490 HAS SOPS 831490 HAS SOUS 141665 HAS SOUPS 141665 WITH SCORE 142496.49
AT ITER 4036 NEW BEST:: SOT 904965 SOS 831328 HAS SOPS 831328 HAS SOUS 141503 HAS SOUPS 141503 WITH SCORE 142334.328
AT ITER 4048 NEW BEST:: SOT 904958 SOS 831321 HAS SOPS 831321 HAS SOUS 141496 HAS SOUPS 141496 WITH SCORE 142327.321
AT ITER 4108 NEW BEST:: SOT 904946 SOS 831309 HAS SOPS 831309 HAS SOUS 141413 HAS SOUPS 141413 WITH SCORE 142244.309
AT ITER 4173 NEW BEST:: SOT 904946 SOS 831309 HAS SOPS 831309 HAS SOUS 141291 HAS SOUPS 141291 WITH SCORE 142122.309
AT ITER 4419 NEW BEST:: SOT 904488 SOS 830851 HAS SOPS 830851 HAS SOUS 140083 HAS SOUPS 140083 WITH SCORE 140913.851
AT ITER 4460 NEW BEST:: SOT 904488 SOS 830884 HAS SOPS 830884 HAS SOUS 140050 HAS SOUPS 140050 WITH SCORE 140880.884
AT ITER 4498 NEW BEST:: SOT 904488 SOS 830884 HAS SOPS 830884 HAS SOUS 140018 HAS SOUPS 140018 WITH SCORE 140848.884
AT ITER 4507 NEW BEST:: SOT 904021 SOS 830418 HAS SOPS 830418 HAS SOUS 140017 HAS SOUPS 140017 WITH SCORE 140847.418
AT ITER 4577 NEW BEST:: SOT 903271 SOS 829668 HAS SOPS 829668 HAS SOUS 139733 HAS SOUPS 139733 WITH SCORE 140562.668
AT ITER 4751 NEW BEST:: SOT 903211 SOS 829638 HAS SOPS 829638 HAS SOUS 139731 HAS SOUPS 139731 WITH SCORE 140560.638
AT ITER 4980 NEW BEST:: SOT 903201 SOS 829628 HAS SOPS 829628 HAS SOUS 139675 HAS SOUPS 139675 WITH SCORE 140504.628
AT ITER 5027 NEW BEST:: SOT 902833 SOS 829260 HAS SOPS 829260 HAS SOUS 139307 HAS SOUPS 139307 WITH SCORE 140136.26
AT ITER 5056 NEW BEST:: SOT 902833 SOS 829260 HAS SOPS 829260 HAS SOUS 138841 HAS SOUPS 138841 WITH SCORE 139670.26
AT ITER 5228 NEW BEST:: SOT 902537 SOS 828964 HAS SOPS 828964 HAS SOUS 138079 HAS SOUPS 138079 WITH SCORE 138907.964
AT ITER 5271 NEW BEST:: SOT 902537 SOS 828964 HAS SOPS 828964 HAS SOUS 138050 HAS SOUPS 138050 WITH SCORE 138878.964
AT ITER 5334 NEW BEST:: SOT 901725 SOS 828152 HAS SOPS 828152 HAS SOUS 137238 HAS SOUPS 137238 WITH SCORE 138066.152
AT ITER 5338 NEW BEST:: SOT 901725 SOS 828152 HAS SOPS 828152 HAS SOUS 137216 HAS SOUPS 137216 WITH SCORE 138044.152
AT ITER 5415 NEW BEST:: SOT 901720 SOS 828147 HAS SOPS 828147 HAS SOUS 137188 HAS SOUPS 137188 WITH SCORE 138016.147
AT ITER 5887 NEW BEST:: SOT 901719 SOS 828146 HAS SOPS 828146 HAS SOUS 137148 HAS SOUPS 137148 WITH SCORE 137976.146
AT ITER 6013 NEW BEST:: SOT 901695 SOS 828122 HAS SOPS 828122 HAS SOUS 137030 HAS SOUPS 137030 WITH SCORE 137858.122
AT ITER 6126 NEW BEST:: SOT 901801 SOS 828238 HAS SOPS 828238 HAS SOUS 136998 HAS SOUPS 136998 WITH SCORE 137826.238
AT ITER 6129 NEW BEST:: SOT 901716 SOS 828143 HAS SOPS 828143 HAS SOUS 136926 HAS SOUPS 136926 WITH SCORE 137754.143
AT ITER 6209 NEW BEST:: SOT 902174 SOS 828597 HAS SOPS 828597 HAS SOUS 136563 HAS SOUPS 136563 WITH SCORE 137391.597
AT ITER 6552 NEW BEST:: SOT 902174 SOS 828597 HAS SOPS 828597 HAS SOUS 136496 HAS SOUPS 136496 WITH SCORE 137324.597
AT ITER 6578 NEW BEST:: SOT 902151 SOS 828574 HAS SOPS 828574 HAS SOUS 136412 HAS SOUPS 136412 WITH SCORE 137240.574
AT ITER 6760 NEW BEST:: SOT 902151 SOS 828574 HAS SOPS 828574 HAS SOUS 136396 HAS SOUPS 136396 WITH SCORE 137224.574
AT ITER 7259 NEW BEST:: SOT 902137 SOS 828560 HAS SOPS 828560 HAS SOUS 136249 HAS SOUPS 136249 WITH SCORE 137077.56
AT ITER 7324 NEW BEST:: SOT 900580 SOS 827018 HAS SOPS 827018 HAS SOUS 135965 HAS SOUPS 135965 WITH SCORE 136792.018
AT ITER 7355 NEW BEST:: SOT 900234 SOS 826672 HAS SOPS 826672 HAS SOUS 135027 HAS SOUPS 135027 WITH SCORE 135853.672
AT ITER 7431 NEW BEST:: SOT 900269 SOS 826685 HAS SOPS 826685 HAS SOUS 135026 HAS SOUPS 135026 WITH SCORE 135852.685
AT ITER 8313 NEW BEST:: SOT 900269 SOS 826645 HAS SOPS 826645 HAS SOUS 135026 HAS SOUPS 135026 WITH SCORE 135852.645
AT ITER 8641 NEW BEST:: SOT 900089 SOS 826465 HAS SOPS 826465 HAS SOUS 134500 HAS SOUPS 134500 WITH SCORE 135326.465
AT ITER 8731 NEW BEST:: SOT 900011 SOS 826387 HAS SOPS 826387 HAS SOUS 134242 HAS SOUPS 134242 WITH SCORE 135068.387
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 16018464 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121108 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GlobalResAllocation-COL-06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is GlobalResAllocation-COL-06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840342100184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-06.tgz
mv GlobalResAllocation-COL-06 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 ;