Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953500840.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is QuasiCertifProtocol-COL-22, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953500840
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 01:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 01:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 104K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679556695918

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=QuasiCertifProtocol-COL-22
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 07:31:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 07:31:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 07:31:37] [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-23 07:31:37] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 07:31:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 665 ms
[2023-03-23 07:31:38] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 1966 PT places and 356.0 transition bindings in 20 ms.
[2023-03-23 07:31:38] [INFO ] Unfolded HLPN to a Petri net with 1966 places and 356 transitions 4323 arcs in 50 ms.
[2023-03-23 07:31:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 07:31:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1966 places, 356 transitions and 4323 arcs took 16 ms.
Total runtime 855 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 22
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: 1966 places, 356 transitions, 4323 arcs.
AT ITER 0 NEW BEST:: SOT 394537 SOS 301949 HAS SOPS 301949 HAS SOUS 247578 HAS SOUPS 247578 WITH SCORE 247879.949
AT ITER 18 NEW BEST:: SOT 394537 SOS 301762 HAS SOPS 301762 HAS SOUS 247413 HAS SOUPS 247413 WITH SCORE 247714.762
AT ITER 53 NEW BEST:: SOT 394537 SOS 301454 HAS SOPS 301454 HAS SOUS 247105 HAS SOUPS 247105 WITH SCORE 247406.454
AT ITER 58 NEW BEST:: SOT 395022 SOS 300471 HAS SOPS 300471 HAS SOUS 246793 HAS SOUPS 246793 WITH SCORE 247093.471
AT ITER 90 NEW BEST:: SOT 395022 SOS 300467 HAS SOPS 300467 HAS SOUS 246789 HAS SOUPS 246789 WITH SCORE 247089.467
AT ITER 126 NEW BEST:: SOT 395202 SOS 299958 HAS SOPS 299958 HAS SOUS 245700 HAS SOUPS 245700 WITH SCORE 245999.958
AT ITER 173 NEW BEST:: SOT 395690 SOS 299526 HAS SOPS 299526 HAS SOUS 245268 HAS SOUPS 245268 WITH SCORE 245567.526
AT ITER 203 NEW BEST:: SOT 395690 SOS 299458 HAS SOPS 299458 HAS SOUS 245065 HAS SOUPS 245065 WITH SCORE 245364.458
AT ITER 284 NEW BEST:: SOT 395690 SOS 299114 HAS SOPS 299114 HAS SOUS 244294 HAS SOUPS 244294 WITH SCORE 244593.114
AT ITER 320 NEW BEST:: SOT 395690 SOS 298839 HAS SOPS 298839 HAS SOUS 243681 HAS SOUPS 243681 WITH SCORE 243979.839
AT ITER 337 NEW BEST:: SOT 395690 SOS 298817 HAS SOPS 298817 HAS SOUS 242979 HAS SOUPS 242979 WITH SCORE 243277.817
AT ITER 386 NEW BEST:: SOT 396084 SOS 298812 HAS SOPS 298812 HAS SOUS 242575 HAS SOUPS 242575 WITH SCORE 242873.812
AT ITER 398 NEW BEST:: SOT 396083 SOS 296605 HAS SOPS 296605 HAS SOUS 241271 HAS SOUPS 241271 WITH SCORE 241567.605
AT ITER 429 NEW BEST:: SOT 396278 SOS 295998 HAS SOPS 295998 HAS SOUS 240903 HAS SOUPS 240903 WITH SCORE 241198.998
AT ITER 473 NEW BEST:: SOT 396982 SOS 295974 HAS SOPS 295974 HAS SOUS 240879 HAS SOUPS 240879 WITH SCORE 241174.974
AT ITER 505 NEW BEST:: SOT 396982 SOS 295847 HAS SOPS 295847 HAS SOUS 240752 HAS SOUPS 240752 WITH SCORE 241047.847
AT ITER 543 NEW BEST:: SOT 397688 SOS 295638 HAS SOPS 295638 HAS SOUS 240335 HAS SOUPS 240335 WITH SCORE 240630.638
AT ITER 595 NEW BEST:: SOT 398161 SOS 295550 HAS SOPS 295550 HAS SOUS 240235 HAS SOUPS 240235 WITH SCORE 240530.55
AT ITER 612 NEW BEST:: SOT 398160 SOS 295549 HAS SOPS 295549 HAS SOUS 240234 HAS SOUPS 240234 WITH SCORE 240529.549
AT ITER 677 NEW BEST:: SOT 398310 SOS 295547 HAS SOPS 295547 HAS SOUS 240232 HAS SOUPS 240232 WITH SCORE 240527.547
AT ITER 728 NEW BEST:: SOT 398310 SOS 295538 HAS SOPS 295538 HAS SOUS 240223 HAS SOUPS 240223 WITH SCORE 240518.538
AT ITER 743 NEW BEST:: SOT 398305 SOS 295537 HAS SOPS 295537 HAS SOUS 240222 HAS SOUPS 240222 WITH SCORE 240517.537
AT ITER 780 NEW BEST:: SOT 399231 SOS 294320 HAS SOPS 294320 HAS SOUS 239975 HAS SOUPS 239975 WITH SCORE 240269.32
AT ITER 796 NEW BEST:: SOT 400005 SOS 294144 HAS SOPS 294144 HAS SOUS 239920 HAS SOUPS 239920 WITH SCORE 240214.144
AT ITER 837 NEW BEST:: SOT 400419 SOS 293934 HAS SOPS 293934 HAS SOUS 239692 HAS SOUPS 239692 WITH SCORE 239985.934
AT ITER 843 NEW BEST:: SOT 400805 SOS 293911 HAS SOPS 293911 HAS SOUS 239669 HAS SOUPS 239669 WITH SCORE 239962.911
AT ITER 933 NEW BEST:: SOT 400565 SOS 293671 HAS SOPS 293671 HAS SOUS 239211 HAS SOUPS 239211 WITH SCORE 239504.671
AT ITER 966 NEW BEST:: SOT 400568 SOS 293664 HAS SOPS 293664 HAS SOUS 239204 HAS SOUPS 239204 WITH SCORE 239497.664
AT ITER 967 NEW BEST:: SOT 400566 SOS 293662 HAS SOPS 293662 HAS SOUS 239202 HAS SOUPS 239202 WITH SCORE 239495.662
AT ITER 1038 NEW BEST:: SOT 400687 SOS 292075 HAS SOPS 292075 HAS SOUS 238378 HAS SOUPS 238378 WITH SCORE 238670.075
AT ITER 1048 NEW BEST:: SOT 400687 SOS 292067 HAS SOPS 292067 HAS SOUS 238370 HAS SOUPS 238370 WITH SCORE 238662.067
AT ITER 1053 NEW BEST:: SOT 400687 SOS 290472 HAS SOPS 290472 HAS SOUS 237531 HAS SOUPS 237531 WITH SCORE 237821.472
AT ITER 1076 NEW BEST:: SOT 400687 SOS 290586 HAS SOPS 290586 HAS SOUS 237515 HAS SOUPS 237515 WITH SCORE 237805.586
AT ITER 1080 NEW BEST:: SOT 400755 SOS 290553 HAS SOPS 290553 HAS SOUS 237482 HAS SOUPS 237482 WITH SCORE 237772.553
AT ITER 1102 NEW BEST:: SOT 400754 SOS 290284 HAS SOPS 290284 HAS SOUS 237260 HAS SOUPS 237260 WITH SCORE 237550.284
AT ITER 1119 NEW BEST:: SOT 400754 SOS 290284 HAS SOPS 290284 HAS SOUS 237259 HAS SOUPS 237259 WITH SCORE 237549.284
AT ITER 1127 NEW BEST:: SOT 400301 SOS 290270 HAS SOPS 290270 HAS SOUS 237245 HAS SOUPS 237245 WITH SCORE 237535.27
AT ITER 1145 NEW BEST:: SOT 400278 SOS 290105 HAS SOPS 290105 HAS SOUS 237151 HAS SOUPS 237151 WITH SCORE 237441.105
AT ITER 1168 NEW BEST:: SOT 400431 SOS 289208 HAS SOPS 289208 HAS SOUS 236729 HAS SOUPS 236729 WITH SCORE 237018.208
AT ITER 1186 NEW BEST:: SOT 400419 SOS 289207 HAS SOPS 289207 HAS SOUS 236728 HAS SOUPS 236728 WITH SCORE 237017.207
AT ITER 1218 NEW BEST:: SOT 400419 SOS 289193 HAS SOPS 289193 HAS SOUS 236034 HAS SOUPS 236034 WITH SCORE 236323.193
AT ITER 1271 NEW BEST:: SOT 400668 SOS 288657 HAS SOPS 288657 HAS SOUS 234845 HAS SOUPS 234845 WITH SCORE 235133.657
AT ITER 1293 NEW BEST:: SOT 401252 SOS 288656 HAS SOPS 288656 HAS SOUS 234844 HAS SOUPS 234844 WITH SCORE 235132.656
AT ITER 1387 NEW BEST:: SOT 402090 SOS 287953 HAS SOPS 287953 HAS SOUS 234821 HAS SOUPS 234821 WITH SCORE 235108.953
AT ITER 1416 NEW BEST:: SOT 402090 SOS 287006 HAS SOPS 287006 HAS SOUS 234353 HAS SOUPS 234353 WITH SCORE 234640.006
AT ITER 1419 NEW BEST:: SOT 402727 SOS 286983 HAS SOPS 286983 HAS SOUS 234330 HAS SOUPS 234330 WITH SCORE 234616.983
AT ITER 1440 NEW BEST:: SOT 402977 SOS 286755 HAS SOPS 286755 HAS SOUS 234102 HAS SOUPS 234102 WITH SCORE 234388.755
AT ITER 1509 NEW BEST:: SOT 402954 SOS 286650 HAS SOPS 286650 HAS SOUS 234079 HAS SOUPS 234079 WITH SCORE 234365.65
AT ITER 1521 NEW BEST:: SOT 402973 SOS 285747 HAS SOPS 285747 HAS SOUS 233306 HAS SOUPS 233306 WITH SCORE 233591.747
AT ITER 1523 NEW BEST:: SOT 402973 SOS 285255 HAS SOPS 285255 HAS SOUS 233060 HAS SOUPS 233060 WITH SCORE 233345.255
AT ITER 1536 NEW BEST:: SOT 403589 SOS 285232 HAS SOPS 285232 HAS SOUS 233037 HAS SOUPS 233037 WITH SCORE 233322.232
AT ITER 1556 NEW BEST:: SOT 403588 SOS 285231 HAS SOPS 285231 HAS SOUS 233036 HAS SOUPS 233036 WITH SCORE 233321.231
AT ITER 1594 NEW BEST:: SOT 404232 SOS 284709 HAS SOPS 284709 HAS SOUS 232514 HAS SOUPS 232514 WITH SCORE 232798.709
AT ITER 1649 NEW BEST:: SOT 404232 SOS 284708 HAS SOPS 284708 HAS SOUS 232513 HAS SOUPS 232513 WITH SCORE 232797.708
AT ITER 1701 NEW BEST:: SOT 404231 SOS 284707 HAS SOPS 284707 HAS SOUS 232512 HAS SOUPS 232512 WITH SCORE 232796.707
AT ITER 1782 NEW BEST:: SOT 404397 SOS 283965 HAS SOPS 283965 HAS SOUS 231980 HAS SOUPS 231980 WITH SCORE 232263.965
AT ITER 1790 NEW BEST:: SOT 404397 SOS 283961 HAS SOPS 283961 HAS SOUS 231976 HAS SOUPS 231976 WITH SCORE 232259.961
AT ITER 1900 NEW BEST:: SOT 404400 SOS 283949 HAS SOPS 283949 HAS SOUS 231964 HAS SOUPS 231964 WITH SCORE 232247.949
AT ITER 1905 NEW BEST:: SOT 404428 SOS 283951 HAS SOPS 283951 HAS SOUS 231938 HAS SOUPS 231938 WITH SCORE 232221.951
AT ITER 1940 NEW BEST:: SOT 404427 SOS 283950 HAS SOPS 283950 HAS SOUS 231937 HAS SOUPS 231937 WITH SCORE 232220.95
AT ITER 1941 NEW BEST:: SOT 404438 SOS 283741 HAS SOPS 283741 HAS SOUS 231838 HAS SOUPS 231838 WITH SCORE 232121.741
AT ITER 1989 NEW BEST:: SOT 405872 SOS 284042 HAS SOPS 284042 HAS SOUS 231537 HAS SOUPS 231537 WITH SCORE 231821.042
AT ITER 1998 NEW BEST:: SOT 405872 SOS 283958 HAS SOPS 283958 HAS SOUS 231475 HAS SOUPS 231475 WITH SCORE 231758.958
AT ITER 2022 NEW BEST:: SOT 405923 SOS 283239 HAS SOPS 283239 HAS SOUS 230756 HAS SOUPS 230756 WITH SCORE 231039.239
AT ITER 2159 NEW BEST:: SOT 405923 SOS 283238 HAS SOPS 283238 HAS SOUS 230755 HAS SOUPS 230755 WITH SCORE 231038.238
AT ITER 2187 NEW BEST:: SOT 405901 SOS 283216 HAS SOPS 283216 HAS SOUS 230733 HAS SOUPS 230733 WITH SCORE 231016.216
AT ITER 2230 NEW BEST:: SOT 406419 SOS 282696 HAS SOPS 282696 HAS SOUS 230732 HAS SOUPS 230732 WITH SCORE 231014.696
AT ITER 2234 NEW BEST:: SOT 406405 SOS 282668 HAS SOPS 282668 HAS SOUS 230718 HAS SOUPS 230718 WITH SCORE 231000.668
AT ITER 2236 NEW BEST:: SOT 406405 SOS 282736 HAS SOPS 282736 HAS SOUS 230710 HAS SOUPS 230710 WITH SCORE 230992.736
AT ITER 2266 NEW BEST:: SOT 406405 SOS 282736 HAS SOPS 282736 HAS SOUS 230704 HAS SOUPS 230704 WITH SCORE 230986.736
AT ITER 2327 NEW BEST:: SOT 406405 SOS 282713 HAS SOPS 282713 HAS SOUS 230681 HAS SOUPS 230681 WITH SCORE 230963.713
AT ITER 2335 NEW BEST:: SOT 406405 SOS 282679 HAS SOPS 282679 HAS SOUS 230647 HAS SOUPS 230647 WITH SCORE 230929.679
AT ITER 2343 NEW BEST:: SOT 406404 SOS 282678 HAS SOPS 282678 HAS SOUS 230646 HAS SOUPS 230646 WITH SCORE 230928.678
AT ITER 2386 NEW BEST:: SOT 406404 SOS 281731 HAS SOPS 281731 HAS SOUS 230178 HAS SOUPS 230178 WITH SCORE 230459.731
AT ITER 2465 NEW BEST:: SOT 406404 SOS 281401 HAS SOPS 281401 HAS SOUS 230008 HAS SOUPS 230008 WITH SCORE 230289.401
AT ITER 2483 NEW BEST:: SOT 406381 SOS 281303 HAS SOPS 281303 HAS SOUS 229981 HAS SOUPS 229981 WITH SCORE 230262.303
AT ITER 2487 NEW BEST:: SOT 406358 SOS 281328 HAS SOPS 281328 HAS SOUS 229958 HAS SOUPS 229958 WITH SCORE 230239.328
AT ITER 2502 NEW BEST:: SOT 406316 SOS 281285 HAS SOPS 281285 HAS SOUS 229915 HAS SOUPS 229915 WITH SCORE 230196.285
AT ITER 2506 NEW BEST:: SOT 406316 SOS 279496 HAS SOPS 279496 HAS SOUS 229100 HAS SOUPS 229100 WITH SCORE 229379.496
AT ITER 2524 NEW BEST:: SOT 406315 SOS 279495 HAS SOPS 279495 HAS SOUS 229099 HAS SOUPS 229099 WITH SCORE 229378.495
AT ITER 2537 NEW BEST:: SOT 407301 SOS 279198 HAS SOPS 279198 HAS SOUS 228296 HAS SOUPS 228296 WITH SCORE 228575.198
AT ITER 2596 NEW BEST:: SOT 407368 SOS 279215 HAS SOPS 279215 HAS SOUS 228246 HAS SOUPS 228246 WITH SCORE 228525.215
AT ITER 2606 NEW BEST:: SOT 407368 SOS 278953 HAS SOPS 278953 HAS SOUS 228115 HAS SOUPS 228115 WITH SCORE 228393.953
AT ITER 2651 NEW BEST:: SOT 407368 SOS 278930 HAS SOPS 278930 HAS SOUS 228092 HAS SOUPS 228092 WITH SCORE 228370.93
AT ITER 2658 NEW BEST:: SOT 407368 SOS 278450 HAS SOPS 278450 HAS SOUS 227772 HAS SOUPS 227772 WITH SCORE 228050.45
AT ITER 2666 NEW BEST:: SOT 407368 SOS 278258 HAS SOPS 278258 HAS SOUS 227769 HAS SOUPS 227769 WITH SCORE 228047.258
AT ITER 2701 NEW BEST:: SOT 407368 SOS 277426 HAS SOPS 277426 HAS SOUS 227361 HAS SOUPS 227361 WITH SCORE 227638.426
AT ITER 2706 NEW BEST:: SOT 407911 SOS 276294 HAS SOPS 276294 HAS SOUS 226816 HAS SOUPS 226816 WITH SCORE 227092.294
AT ITER 2739 NEW BEST:: SOT 408059 SOS 276108 HAS SOPS 276108 HAS SOUS 226797 HAS SOUPS 226797 WITH SCORE 227073.108
AT ITER 2839 NEW BEST:: SOT 408053 SOS 276102 HAS SOPS 276102 HAS SOUS 226791 HAS SOUPS 226791 WITH SCORE 227067.102
AT ITER 2842 NEW BEST:: SOT 408053 SOS 275630 HAS SOPS 275630 HAS SOUS 226541 HAS SOUPS 226541 WITH SCORE 226816.63
AT ITER 2960 NEW BEST:: SOT 408315 SOS 275322 HAS SOPS 275322 HAS SOUS 226518 HAS SOUPS 226518 WITH SCORE 226793.322
AT ITER 2968 NEW BEST:: SOT 408315 SOS 275322 HAS SOPS 275322 HAS SOUS 226517 HAS SOUPS 226517 WITH SCORE 226792.322
AT ITER 2978 NEW BEST:: SOT 408315 SOS 275299 HAS SOPS 275299 HAS SOUS 226494 HAS SOUPS 226494 WITH SCORE 226769.299
AT ITER 2987 NEW BEST:: SOT 408354 SOS 275311 HAS SOPS 275311 HAS SOUS 226444 HAS SOUPS 226444 WITH SCORE 226719.311
AT ITER 3002 NEW BEST:: SOT 408929 SOS 275257 HAS SOPS 275257 HAS SOUS 226444 HAS SOUPS 226444 WITH SCORE 226719.257
AT ITER 3012 NEW BEST:: SOT 408886 SOS 275214 HAS SOPS 275214 HAS SOUS 226401 HAS SOUPS 226401 WITH SCORE 226676.214
AT ITER 3053 NEW BEST:: SOT 409069 SOS 274826 HAS SOPS 274826 HAS SOUS 226016 HAS SOUPS 226016 WITH SCORE 226290.826
AT ITER 3079 NEW BEST:: SOT 409069 SOS 274823 HAS SOPS 274823 HAS SOUS 226013 HAS SOUPS 226013 WITH SCORE 226287.823
AT ITER 3113 NEW BEST:: SOT 409069 SOS 274812 HAS SOPS 274812 HAS SOUS 226002 HAS SOUPS 226002 WITH SCORE 226276.812
AT ITER 3144 NEW BEST:: SOT 409061 SOS 274804 HAS SOPS 274804 HAS SOUS 225994 HAS SOUPS 225994 WITH SCORE 226268.804
AT ITER 3263 NEW BEST:: SOT 409369 SOS 274496 HAS SOPS 274496 HAS SOUS 225994 HAS SOUPS 225994 WITH SCORE 226268.496
AT ITER 3283 NEW BEST:: SOT 409369 SOS 274280 HAS SOPS 274280 HAS SOUS 225687 HAS SOUPS 225687 WITH SCORE 225961.28
AT ITER 3319 NEW BEST:: SOT 409369 SOS 272158 HAS SOPS 272158 HAS SOUS 224626 HAS SOUPS 224626 WITH SCORE 224898.158
AT ITER 3336 NEW BEST:: SOT 409369 SOS 272023 HAS SOPS 272023 HAS SOUS 224491 HAS SOUPS 224491 WITH SCORE 224763.023
AT ITER 3340 NEW BEST:: SOT 410101 SOS 272022 HAS SOPS 272022 HAS SOUS 224490 HAS SOUPS 224490 WITH SCORE 224762.022
AT ITER 3377 NEW BEST:: SOT 410100 SOS 272021 HAS SOPS 272021 HAS SOUS 224489 HAS SOUPS 224489 WITH SCORE 224761.021
AT ITER 3411 NEW BEST:: SOT 410100 SOS 270797 HAS SOPS 270797 HAS SOUS 223914 HAS SOUPS 223914 WITH SCORE 224184.797
AT ITER 3482 NEW BEST:: SOT 410100 SOS 270818 HAS SOPS 270818 HAS SOUS 223844 HAS SOUPS 223844 WITH SCORE 224114.818
AT ITER 3502 NEW BEST:: SOT 411084 SOS 271063 HAS SOPS 271063 HAS SOUS 223713 HAS SOUPS 223713 WITH SCORE 223984.063
AT ITER 3504 NEW BEST:: SOT 410927 SOS 271040 HAS SOPS 271040 HAS SOUS 223689 HAS SOUPS 223689 WITH SCORE 223960.04
AT ITER 3542 NEW BEST:: SOT 410927 SOS 247661 HAS SOPS 247661 HAS SOUS 222863 HAS SOUPS 222863 WITH SCORE 223110.661
AT ITER 3549 NEW BEST:: SOT 410927 SOS 247653 HAS SOPS 247653 HAS SOUS 222855 HAS SOUPS 222855 WITH SCORE 223102.653
AT ITER 3553 NEW BEST:: SOT 410930 SOS 247650 HAS SOPS 247650 HAS SOUS 222852 HAS SOUPS 222852 WITH SCORE 223099.65
AT ITER 3632 NEW BEST:: SOT 411374 SOS 247206 HAS SOPS 247206 HAS SOUS 222852 HAS SOUPS 222852 WITH SCORE 223099.206
AT ITER 3654 NEW BEST:: SOT 411418 SOS 247108 HAS SOPS 247108 HAS SOUS 222754 HAS SOUPS 222754 WITH SCORE 223001.108
AT ITER 3657 NEW BEST:: SOT 411417 SOS 247088 HAS SOPS 247088 HAS SOUS 222734 HAS SOUPS 222734 WITH SCORE 222981.088
AT ITER 3679 NEW BEST:: SOT 411417 SOS 246402 HAS SOPS 246402 HAS SOUS 222697 HAS SOUPS 222697 WITH SCORE 222943.402
AT ITER 3684 NEW BEST:: SOT 411417 SOS 246519 HAS SOPS 246519 HAS SOUS 222161 HAS SOUPS 222161 WITH SCORE 222407.519
AT ITER 3701 NEW BEST:: SOT 411417 SOS 245927 HAS SOPS 245927 HAS SOUS 221749 HAS SOUPS 221749 WITH SCORE 221994.927
AT ITER 3703 NEW BEST:: SOT 411418 SOS 245912 HAS SOPS 245912 HAS SOUS 221734 HAS SOUPS 221734 WITH SCORE 221979.912
AT ITER 3725 NEW BEST:: SOT 411417 SOS 245911 HAS SOPS 245911 HAS SOUS 221733 HAS SOUPS 221733 WITH SCORE 221978.911
AT ITER 3741 NEW BEST:: SOT 411417 SOS 245894 HAS SOPS 245894 HAS SOUS 221716 HAS SOUPS 221716 WITH SCORE 221961.894
AT ITER 3748 NEW BEST:: SOT 411755 SOS 244826 HAS SOPS 244826 HAS SOUS 221351 HAS SOUPS 221351 WITH SCORE 221595.826
AT ITER 3755 NEW BEST:: SOT 411755 SOS 245105 HAS SOPS 245105 HAS SOUS 221254 HAS SOUPS 221254 WITH SCORE 221499.105
AT ITER 3795 NEW BEST:: SOT 411755 SOS 245094 HAS SOPS 245094 HAS SOUS 221243 HAS SOUPS 221243 WITH SCORE 221488.094
AT ITER 3822 NEW BEST:: SOT 411844 SOS 245093 HAS SOPS 245093 HAS SOUS 221151 HAS SOUPS 221151 WITH SCORE 221396.093
AT ITER 3936 NEW BEST:: SOT 411844 SOS 245042 HAS SOPS 245042 HAS SOUS 221148 HAS SOUPS 221148 WITH SCORE 221393.042
AT ITER 3943 NEW BEST:: SOT 411847 SOS 245028 HAS SOPS 245028 HAS SOUS 221134 HAS SOUPS 221134 WITH SCORE 221379.028
AT ITER 3960 NEW BEST:: SOT 411841 SOS 245033 HAS SOPS 245033 HAS SOUS 221130 HAS SOUPS 221130 WITH SCORE 221375.033
AT ITER 3975 NEW BEST:: SOT 411841 SOS 244637 HAS SOPS 244637 HAS SOUS 220932 HAS SOUPS 220932 WITH SCORE 221176.637
AT ITER 4037 NEW BEST:: SOT 411852 SOS 244627 HAS SOPS 244627 HAS SOUS 220922 HAS SOUPS 220922 WITH SCORE 221166.627
AT ITER 4045 NEW BEST:: SOT 411845 SOS 244625 HAS SOPS 244625 HAS SOUS 220920 HAS SOUPS 220920 WITH SCORE 221164.625
AT ITER 4059 NEW BEST:: SOT 411845 SOS 244621 HAS SOPS 244621 HAS SOUS 220852 HAS SOUPS 220852 WITH SCORE 221096.621
AT ITER 4062 NEW BEST:: SOT 412058 SOS 244621 HAS SOPS 244621 HAS SOUS 220639 HAS SOUPS 220639 WITH SCORE 220883.621
AT ITER 4079 NEW BEST:: SOT 412633 SOS 244044 HAS SOPS 244044 HAS SOUS 220638 HAS SOUPS 220638 WITH SCORE 220882.044
AT ITER 4173 NEW BEST:: SOT 412633 SOS 243900 HAS SOPS 243900 HAS SOUS 220494 HAS SOUPS 220494 WITH SCORE 220737.9
AT ITER 4191 NEW BEST:: SOT 412633 SOS 243664 HAS SOPS 243664 HAS SOUS 220376 HAS SOUPS 220376 WITH SCORE 220619.664
AT ITER 4202 NEW BEST:: SOT 412633 SOS 243541 HAS SOPS 243541 HAS SOUS 220294 HAS SOUPS 220294 WITH SCORE 220537.541
AT ITER 4281 NEW BEST:: SOT 412660 SOS 243043 HAS SOPS 243043 HAS SOUS 220061 HAS SOUPS 220061 WITH SCORE 220304.043
AT ITER 4303 NEW BEST:: SOT 412660 SOS 241943 HAS SOPS 241943 HAS SOUS 220033 HAS SOUPS 220033 WITH SCORE 220274.943
AT ITER 4336 NEW BEST:: SOT 412660 SOS 241943 HAS SOPS 241943 HAS SOUS 220032 HAS SOUPS 220032 WITH SCORE 220273.943
AT ITER 4355 NEW BEST:: SOT 412936 SOS 241667 HAS SOPS 241667 HAS SOUS 220032 HAS SOUPS 220032 WITH SCORE 220273.667
AT ITER 4425 NEW BEST:: SOT 413148 SOS 241455 HAS SOPS 241455 HAS SOUS 220032 HAS SOUPS 220032 WITH SCORE 220273.455
AT ITER 4430 NEW BEST:: SOT 413201 SOS 241508 HAS SOPS 241508 HAS SOUS 219992 HAS SOUPS 219992 WITH SCORE 220233.508
AT ITER 4436 NEW BEST:: SOT 413837 SOS 241165 HAS SOPS 241165 HAS SOUS 219839 HAS SOUPS 219839 WITH SCORE 220080.165
AT ITER 4476 NEW BEST:: SOT 414259 SOS 240031 HAS SOPS 240031 HAS SOUS 219600 HAS SOUPS 219600 WITH SCORE 219840.031
AT ITER 4498 NEW BEST:: SOT 414259 SOS 240025 HAS SOPS 240025 HAS SOUS 219594 HAS SOUPS 219594 WITH SCORE 219834.025
AT ITER 4550 NEW BEST:: SOT 414259 SOS 240002 HAS SOPS 240002 HAS SOUS 219571 HAS SOUPS 219571 WITH SCORE 219811.002
AT ITER 4572 NEW BEST:: SOT 414250 SOS 239993 HAS SOPS 239993 HAS SOUS 219562 HAS SOUPS 219562 WITH SCORE 219801.993
AT ITER 4649 NEW BEST:: SOT 414250 SOS 239956 HAS SOPS 239956 HAS SOUS 219515 HAS SOUPS 219515 WITH SCORE 219754.956
AT ITER 4673 NEW BEST:: SOT 414250 SOS 239955 HAS SOPS 239955 HAS SOUS 219514 HAS SOUPS 219514 WITH SCORE 219753.955
AT ITER 4684 NEW BEST:: SOT 414193 SOS 239897 HAS SOPS 239897 HAS SOUS 219456 HAS SOUPS 219456 WITH SCORE 219695.897
AT ITER 4753 NEW BEST:: SOT 414199 SOS 239884 HAS SOPS 239884 HAS SOUS 219443 HAS SOUPS 219443 WITH SCORE 219682.884
AT ITER 4764 NEW BEST:: SOT 414199 SOS 239884 HAS SOPS 239884 HAS SOUS 219243 HAS SOUPS 219243 WITH SCORE 219482.884
AT ITER 4880 NEW BEST:: SOT 414198 SOS 239883 HAS SOPS 239883 HAS SOUS 219242 HAS SOUPS 219242 WITH SCORE 219481.883
AT ITER 4932 NEW BEST:: SOT 414379 SOS 239702 HAS SOPS 239702 HAS SOUS 219242 HAS SOUPS 219242 WITH SCORE 219481.702
AT ITER 4934 NEW BEST:: SOT 414379 SOS 239919 HAS SOPS 239919 HAS SOUS 219239 HAS SOUPS 219239 WITH SCORE 219478.919
AT ITER 4939 NEW BEST:: SOT 414379 SOS 239838 HAS SOPS 239838 HAS SOUS 219158 HAS SOUPS 219158 WITH SCORE 219397.838
AT ITER 4958 NEW BEST:: SOT 414528 SOS 239815 HAS SOPS 239815 HAS SOUS 219135 HAS SOUPS 219135 WITH SCORE 219374.815
AT ITER 5021 NEW BEST:: SOT 414456 SOS 239777 HAS SOPS 239777 HAS SOUS 219097 HAS SOUPS 219097 WITH SCORE 219336.777
AT ITER 5075 NEW BEST:: SOT 414456 SOS 239767 HAS SOPS 239767 HAS SOUS 219097 HAS SOUPS 219097 WITH SCORE 219336.767
AT ITER 5083 NEW BEST:: SOT 414456 SOS 239763 HAS SOPS 239763 HAS SOUS 219093 HAS SOUPS 219093 WITH SCORE 219332.763
AT ITER 5117 NEW BEST:: SOT 414452 SOS 239761 HAS SOPS 239761 HAS SOUS 219091 HAS SOUPS 219091 WITH SCORE 219330.761
AT ITER 5122 NEW BEST:: SOT 414452 SOS 239761 HAS SOPS 239761 HAS SOUS 218950 HAS SOUPS 218950 WITH SCORE 219189.761
AT ITER 5128 NEW BEST:: SOT 414399 SOS 239708 HAS SOPS 239708 HAS SOUS 218897 HAS SOUPS 218897 WITH SCORE 219136.708
AT ITER 5173 NEW BEST:: SOT 414399 SOS 239605 HAS SOPS 239605 HAS SOUS 218885 HAS SOUPS 218885 WITH SCORE 219124.605
AT ITER 5255 NEW BEST:: SOT 414639 SOS 239453 HAS SOPS 239453 HAS SOUS 218733 HAS SOUPS 218733 WITH SCORE 218972.453
AT ITER 5329 NEW BEST:: SOT 414639 SOS 239452 HAS SOPS 239452 HAS SOUS 218732 HAS SOUPS 218732 WITH SCORE 218971.452
AT ITER 5369 NEW BEST:: SOT 414736 SOS 239355 HAS SOPS 239355 HAS SOUS 218732 HAS SOUPS 218732 WITH SCORE 218971.355
AT ITER 5422 NEW BEST:: SOT 414647 SOS 239266 HAS SOPS 239266 HAS SOUS 218643 HAS SOUPS 218643 WITH SCORE 218882.266
AT ITER 5490 NEW BEST:: SOT 414646 SOS 239265 HAS SOPS 239265 HAS SOUS 218642 HAS SOUPS 218642 WITH SCORE 218881.265
AT ITER 5492 NEW BEST:: SOT 414646 SOS 239261 HAS SOPS 239261 HAS SOUS 218638 HAS SOUPS 218638 WITH SCORE 218877.261
AT ITER 5557 NEW BEST:: SOT 414646 SOS 237767 HAS SOPS 237767 HAS SOUS 217871 HAS SOUPS 217871 WITH SCORE 218108.767
AT ITER 5689 NEW BEST:: SOT 414612 SOS 237733 HAS SOPS 237733 HAS SOUS 217837 HAS SOUPS 217837 WITH SCORE 218074.733
AT ITER 5744 NEW BEST:: SOT 414650 SOS 237695 HAS SOPS 237695 HAS SOUS 217837 HAS SOUPS 217837 WITH SCORE 218074.695
AT ITER 5777 NEW BEST:: SOT 414999 SOS 237346 HAS SOPS 237346 HAS SOUS 217837 HAS SOUPS 217837 WITH SCORE 218074.346
AT ITER 5807 NEW BEST:: SOT 414999 SOS 237355 HAS SOPS 237355 HAS SOUS 217815 HAS SOUPS 217815 WITH SCORE 218052.355
AT ITER 5893 NEW BEST:: SOT 414910 SOS 237309 HAS SOPS 237309 HAS SOUS 217769 HAS SOUPS 217769 WITH SCORE 218006.309
AT ITER 5896 NEW BEST:: SOT 414920 SOS 237315 HAS SOPS 237315 HAS SOUS 217765 HAS SOUPS 217765 WITH SCORE 218002.315
AT ITER 5975 NEW BEST:: SOT 414853 SOS 237248 HAS SOPS 237248 HAS SOUS 217697 HAS SOUPS 217697 WITH SCORE 217934.248
AT ITER 5981 NEW BEST:: SOT 415229 SOS 236520 HAS SOPS 236520 HAS SOUS 217273 HAS SOUPS 217273 WITH SCORE 217509.52
AT ITER 5990 NEW BEST:: SOT 415228 SOS 236519 HAS SOPS 236519 HAS SOUS 217272 HAS SOUPS 217272 WITH SCORE 217508.519
AT ITER 6016 NEW BEST:: SOT 415161 SOS 236478 HAS SOPS 236478 HAS SOUS 217231 HAS SOUPS 217231 WITH SCORE 217467.478
AT ITER 6034 NEW BEST:: SOT 415409 SOS 236230 HAS SOPS 236230 HAS SOUS 217231 HAS SOUPS 217231 WITH SCORE 217467.23
AT ITER 6052 NEW BEST:: SOT 414780 SOS 236151 HAS SOPS 236151 HAS SOUS 217076 HAS SOUPS 217076 WITH SCORE 217312.151
AT ITER 6113 NEW BEST:: SOT 414780 SOS 236151 HAS SOPS 236151 HAS SOUS 217075 HAS SOUPS 217075 WITH SCORE 217311.151
AT ITER 6151 NEW BEST:: SOT 414779 SOS 236150 HAS SOPS 236150 HAS SOUS 217074 HAS SOUPS 217074 WITH SCORE 217310.15
AT ITER 6253 NEW BEST:: SOT 414711 SOS 236082 HAS SOPS 236082 HAS SOUS 216996 HAS SOUPS 216996 WITH SCORE 217232.082
AT ITER 6319 NEW BEST:: SOT 414719 SOS 235763 HAS SOPS 235763 HAS SOUS 216724 HAS SOUPS 216724 WITH SCORE 216959.763
AT ITER 6432 NEW BEST:: SOT 414719 SOS 235754 HAS SOPS 235754 HAS SOUS 216715 HAS SOUPS 216715 WITH SCORE 216950.754
AT ITER 6435 NEW BEST:: SOT 414718 SOS 235753 HAS SOPS 235753 HAS SOUS 216714 HAS SOUPS 216714 WITH SCORE 216949.753
AT ITER 6462 NEW BEST:: SOT 414718 SOS 235730 HAS SOPS 235730 HAS SOUS 216691 HAS SOUPS 216691 WITH SCORE 216926.73
AT ITER 6466 NEW BEST:: SOT 414716 SOS 235728 HAS SOPS 235728 HAS SOUS 216689 HAS SOUPS 216689 WITH SCORE 216924.728
AT ITER 6498 NEW BEST:: SOT 414716 SOS 235705 HAS SOPS 235705 HAS SOUS 216666 HAS SOUPS 216666 WITH SCORE 216901.705
AT ITER 6549 NEW BEST:: SOT 414716 SOS 235425 HAS SOPS 235425 HAS SOUS 216386 HAS SOUPS 216386 WITH SCORE 216621.425
AT ITER 6563 NEW BEST:: SOT 414995 SOS 235333 HAS SOPS 235333 HAS SOUS 216224 HAS SOUPS 216224 WITH SCORE 216459.333
AT ITER 6577 NEW BEST:: SOT 414972 SOS 235369 HAS SOPS 235369 HAS SOUS 216196 HAS SOUPS 216196 WITH SCORE 216431.369
AT ITER 6578 NEW BEST:: SOT 414968 SOS 235365 HAS SOPS 235365 HAS SOUS 216192 HAS SOUPS 216192 WITH SCORE 216427.365
AT ITER 6592 NEW BEST:: SOT 414938 SOS 235335 HAS SOPS 235335 HAS SOUS 216162 HAS SOUPS 216162 WITH SCORE 216397.335
AT ITER 6616 NEW BEST:: SOT 414894 SOS 235291 HAS SOPS 235291 HAS SOUS 216118 HAS SOUPS 216118 WITH SCORE 216353.291
AT ITER 6710 NEW BEST:: SOT 414894 SOS 235200 HAS SOPS 235200 HAS SOUS 216027 HAS SOUPS 216027 WITH SCORE 216262.2
AT ITER 6751 NEW BEST:: SOT 414642 SOS 235081 HAS SOPS 235081 HAS SOUS 215908 HAS SOUPS 215908 WITH SCORE 216143.081
AT ITER 6854 NEW BEST:: SOT 415042 SOS 234635 HAS SOPS 234635 HAS SOUS 215885 HAS SOUPS 215885 WITH SCORE 216119.635
AT ITER 6881 NEW BEST:: SOT 415042 SOS 233765 HAS SOPS 233765 HAS SOUS 215450 HAS SOUPS 215450 WITH SCORE 215683.765
AT ITER 6959 NEW BEST:: SOT 415042 SOS 233764 HAS SOPS 233764 HAS SOUS 215449 HAS SOUPS 215449 WITH SCORE 215682.764
AT ITER 6967 NEW BEST:: SOT 415041 SOS 233763 HAS SOPS 233763 HAS SOUS 215448 HAS SOUPS 215448 WITH SCORE 215681.763
AT ITER 7008 NEW BEST:: SOT 415041 SOS 233763 HAS SOPS 233763 HAS SOUS 215401 HAS SOUPS 215401 WITH SCORE 215634.763
AT ITER 7012 NEW BEST:: SOT 415061 SOS 233043 HAS SOPS 233043 HAS SOUS 215095 HAS SOUPS 215095 WITH SCORE 215328.043
AT ITER 7165 NEW BEST:: SOT 415080 SOS 232984 HAS SOPS 232984 HAS SOUS 215092 HAS SOUPS 215092 WITH SCORE 215324.984
AT ITER 7203 NEW BEST:: SOT 415080 SOS 232963 HAS SOPS 232963 HAS SOUS 215071 HAS SOUPS 215071 WITH SCORE 215303.963
AT ITER 7212 NEW BEST:: SOT 415083 SOS 232956 HAS SOPS 232956 HAS SOUS 215064 HAS SOUPS 215064 WITH SCORE 215296.956
AT ITER 7232 NEW BEST:: SOT 415230 SOS 232809 HAS SOPS 232809 HAS SOUS 215064 HAS SOUPS 215064 WITH SCORE 215296.809
AT ITER 7301 NEW BEST:: SOT 415597 SOS 232786 HAS SOPS 232786 HAS SOUS 215041 HAS SOUPS 215041 WITH SCORE 215273.786
AT ITER 7303 NEW BEST:: SOT 415597 SOS 232538 HAS SOPS 232538 HAS SOUS 214877 HAS SOUPS 214877 WITH SCORE 215109.538
AT ITER 7316 NEW BEST:: SOT 415597 SOS 232520 HAS SOPS 232520 HAS SOUS 214859 HAS SOUPS 214859 WITH SCORE 215091.52
AT ITER 7401 NEW BEST:: SOT 416258 SOS 232479 HAS SOPS 232479 HAS SOUS 214818 HAS SOUPS 214818 WITH SCORE 215050.479
AT ITER 7430 NEW BEST:: SOT 416258 SOS 232479 HAS SOPS 232479 HAS SOUS 214734 HAS SOUPS 214734 WITH SCORE 214966.479
AT ITER 7434 NEW BEST:: SOT 416258 SOS 232478 HAS SOPS 232478 HAS SOUS 214733 HAS SOUPS 214733 WITH SCORE 214965.478
AT ITER 7460 NEW BEST:: SOT 416539 SOS 232197 HAS SOPS 232197 HAS SOUS 214733 HAS SOUPS 214733 WITH SCORE 214965.197
AT ITER 7476 NEW BEST:: SOT 416539 SOS 232160 HAS SOPS 232160 HAS SOUS 214696 HAS SOUPS 214696 WITH SCORE 214928.16
AT ITER 7494 NEW BEST:: SOT 416539 SOS 232140 HAS SOPS 232140 HAS SOUS 214676 HAS SOUPS 214676 WITH SCORE 214908.14
AT ITER 7555 NEW BEST:: SOT 416539 SOS 232132 HAS SOPS 232132 HAS SOUS 214603 HAS SOUPS 214603 WITH SCORE 214835.132
AT ITER 7584 NEW BEST:: SOT 416542 SOS 232129 HAS SOPS 232129 HAS SOUS 214603 HAS SOUPS 214603 WITH SCORE 214835.129
AT ITER 7638 NEW BEST:: SOT 416539 SOS 232126 HAS SOPS 232126 HAS SOUS 214600 HAS SOUPS 214600 WITH SCORE 214832.126
AT ITER 7661 NEW BEST:: SOT 416525 SOS 232112 HAS SOPS 232112 HAS SOUS 214548 HAS SOUPS 214548 WITH SCORE 214780.112
AT ITER 7670 NEW BEST:: SOT 416937 SOS 231654 HAS SOPS 231654 HAS SOUS 214525 HAS SOUPS 214525 WITH SCORE 214756.654
AT ITER 7751 NEW BEST:: SOT 416937 SOS 231633 HAS SOPS 231633 HAS SOUS 214504 HAS SOUPS 214504 WITH SCORE 214735.633
AT ITER 7796 NEW BEST:: SOT 417095 SOS 231500 HAS SOPS 231500 HAS SOUS 214504 HAS SOUPS 214504 WITH SCORE 214735.5
AT ITER 7814 NEW BEST:: SOT 417095 SOS 231386 HAS SOPS 231386 HAS SOUS 214390 HAS SOUPS 214390 WITH SCORE 214621.386
AT ITER 7823 NEW BEST:: SOT 417027 SOS 231318 HAS SOPS 231318 HAS SOUS 214315 HAS SOUPS 214315 WITH SCORE 214546.318
AT ITER 7832 NEW BEST:: SOT 417027 SOS 231317 HAS SOPS 231317 HAS SOUS 214314 HAS SOUPS 214314 WITH SCORE 214545.317
AT ITER 7862 NEW BEST:: SOT 417027 SOS 231316 HAS SOPS 231316 HAS SOUS 214313 HAS SOUPS 214313 WITH SCORE 214544.316
AT ITER 7953 NEW BEST:: SOT 417027 SOS 231272 HAS SOPS 231272 HAS SOUS 214269 HAS SOUPS 214269 WITH SCORE 214500.272
AT ITER 8010 NEW BEST:: SOT 417026 SOS 231271 HAS SOPS 231271 HAS SOUS 214268 HAS SOUPS 214268 WITH SCORE 214499.271
AT ITER 8020 NEW BEST:: SOT 417022 SOS 231267 HAS SOPS 231267 HAS SOUS 214264 HAS SOUPS 214264 WITH SCORE 214495.267
AT ITER 8076 NEW BEST:: SOT 417022 SOS 231266 HAS SOPS 231266 HAS SOUS 214263 HAS SOUPS 214263 WITH SCORE 214494.266
AT ITER 8128 NEW BEST:: SOT 417022 SOS 231261 HAS SOPS 231261 HAS SOUS 214258 HAS SOUPS 214258 WITH SCORE 214489.261
AT ITER 8205 NEW BEST:: SOT 417022 SOS 231261 HAS SOPS 231261 HAS SOUS 214187 HAS SOUPS 214187 WITH SCORE 214418.261
AT ITER 8222 NEW BEST:: SOT 417022 SOS 231261 HAS SOPS 231261 HAS SOUS 214186 HAS SOUPS 214186 WITH SCORE 214417.261
AT ITER 8229 NEW BEST:: SOT 417645 SOS 230130 HAS SOPS 230130 HAS SOUS 213932 HAS SOUPS 213932 WITH SCORE 214162.13
AT ITER 8271 NEW BEST:: SOT 417645 SOS 230061 HAS SOPS 230061 HAS SOUS 213863 HAS SOUPS 213863 WITH SCORE 214093.061
AT ITER 8324 NEW BEST:: SOT 417642 SOS 230057 HAS SOPS 230057 HAS SOUS 213859 HAS SOUPS 213859 WITH SCORE 214089.057
AT ITER 8331 NEW BEST:: SOT 417642 SOS 230055 HAS SOPS 230055 HAS SOUS 213857 HAS SOUPS 213857 WITH SCORE 214087.055
AT ITER 8356 NEW BEST:: SOT 417776 SOS 229849 HAS SOPS 229849 HAS SOUS 213821 HAS SOUPS 213821 WITH SCORE 214050.849
AT ITER 8427 NEW BEST:: SOT 416887 SOS 230006 HAS SOPS 230006 HAS SOUS 213820 HAS SOUPS 213820 WITH SCORE 214050.006
AT ITER 8441 NEW BEST:: SOT 416885 SOS 230004 HAS SOPS 230004 HAS SOUS 213818 HAS SOUPS 213818 WITH SCORE 214048.004
AT ITER 8443 NEW BEST:: SOT 416884 SOS 230003 HAS SOPS 230003 HAS SOUS 213817 HAS SOUPS 213817 WITH SCORE 214047.003
AT ITER 8489 NEW BEST:: SOT 416884 SOS 230003 HAS SOPS 230003 HAS SOUS 213724 HAS SOUPS 213724 WITH SCORE 213954.003
AT ITER 8537 NEW BEST:: SOT 416884 SOS 230003 HAS SOPS 230003 HAS SOUS 213714 HAS SOUPS 213714 WITH SCORE 213944.003
AT ITER 8540 NEW BEST:: SOT 416884 SOS 229981 HAS SOPS 229981 HAS SOUS 213692 HAS SOUPS 213692 WITH SCORE 213921.981
AT ITER 8674 NEW BEST:: SOT 416865 SOS 229962 HAS SOPS 229962 HAS SOUS 213673 HAS SOUPS 213673 WITH SCORE 213902.962
AT ITER 8704 NEW BEST:: SOT 416873 SOS 229950 HAS SOPS 229950 HAS SOUS 213661 HAS SOUPS 213661 WITH SCORE 213890.95
AT ITER 8731 NEW BEST:: SOT 416873 SOS 229798 HAS SOPS 229798 HAS SOUS 213585 HAS SOUPS 213585 WITH SCORE 213814.798
AT ITER 8763 NEW BEST:: SOT 416873 SOS 229798 HAS SOPS 229798 HAS SOUS 213579 HAS SOUPS 213579 WITH SCORE 213808.798
AT ITER 8851 NEW BEST:: SOT 416480 SOS 229750 HAS SOPS 229750 HAS SOUS 213531 HAS SOUPS 213531 WITH SCORE 213760.75
AT ITER 8918 NEW BEST:: SOT 416480 SOS 229068 HAS SOPS 229068 HAS SOUS 213190 HAS SOUPS 213190 WITH SCORE 213419.068
AT ITER 8927 NEW BEST:: SOT 416480 SOS 229066 HAS SOPS 229066 HAS SOUS 213188 HAS SOUPS 213188 WITH SCORE 213417.066
AT ITER 8933 NEW BEST:: SOT 416480 SOS 229060 HAS SOPS 229060 HAS SOUS 213182 HAS SOUPS 213182 WITH SCORE 213411.06
AT ITER 8955 NEW BEST:: SOT 416480 SOS 229059 HAS SOPS 229059 HAS SOUS 213181 HAS SOUPS 213181 WITH SCORE 213410.059
AT ITER 8975 NEW BEST:: SOT 416614 SOS 229040 HAS SOPS 229040 HAS SOUS 213162 HAS SOUPS 213162 WITH SCORE 213391.04
AT ITER 9018 NEW BEST:: SOT 416614 SOS 229020 HAS SOPS 229020 HAS SOUS 213142 HAS SOUPS 213142 WITH SCORE 213371.02
AT ITER 9075 NEW BEST:: SOT 416614 SOS 228924 HAS SOPS 228924 HAS SOUS 213046 HAS SOUPS 213046 WITH SCORE 213274.924
AT ITER 9114 NEW BEST:: SOT 416614 SOS 228917 HAS SOPS 228917 HAS SOUS 213039 HAS SOUPS 213039 WITH SCORE 213267.917
AT ITER 9132 NEW BEST:: SOT 416614 SOS 228872 HAS SOPS 228872 HAS SOUS 212994 HAS SOUPS 212994 WITH SCORE 213222.872
AT ITER 9138 NEW BEST:: SOT 417706 SOS 228133 HAS SOPS 228133 HAS SOUS 212989 HAS SOUPS 212989 WITH SCORE 213217.133
AT ITER 9178 NEW BEST:: SOT 417706 SOS 228162 HAS SOPS 228162 HAS SOUS 212825 HAS SOUPS 212825 WITH SCORE 213053.162
AT ITER 9217 NEW BEST:: SOT 417706 SOS 228155 HAS SOPS 228155 HAS SOUS 212818 HAS SOUPS 212818 WITH SCORE 213046.155
AT ITER 9273 NEW BEST:: SOT 418466 SOS 228084 HAS SOPS 228084 HAS SOUS 212818 HAS SOUPS 212818 WITH SCORE 213046.084
AT ITER 9342 NEW BEST:: SOT 418466 SOS 228074 HAS SOPS 228074 HAS SOUS 212808 HAS SOUPS 212808 WITH SCORE 213036.074
AT ITER 9375 NEW BEST:: SOT 418642 SOS 228069 HAS SOPS 228069 HAS SOUS 212803 HAS SOUPS 212803 WITH SCORE 213031.069
AT ITER 9388 NEW BEST:: SOT 418642 SOS 227695 HAS SOPS 227695 HAS SOUS 212616 HAS SOUPS 212616 WITH SCORE 212843.695
AT ITER 9410 NEW BEST:: SOT 418642 SOS 227694 HAS SOPS 227694 HAS SOUS 212615 HAS SOUPS 212615 WITH SCORE 212842.694
AT ITER 9567 NEW BEST:: SOT 418642 SOS 227694 HAS SOPS 227694 HAS SOUS 212614 HAS SOUPS 212614 WITH SCORE 212841.694
AT ITER 9609 NEW BEST:: SOT 418642 SOS 227694 HAS SOPS 227694 HAS SOUS 212438 HAS SOUPS 212438 WITH SCORE 212665.694
AT ITER 9669 NEW BEST:: SOT 418642 SOS 227691 HAS SOPS 227691 HAS SOUS 212435 HAS SOUPS 212435 WITH SCORE 212662.691
AT ITER 9708 NEW BEST:: SOT 418661 SOS 227691 HAS SOPS 227691 HAS SOUS 212416 HAS SOUPS 212416 WITH SCORE 212643.691
AT ITER 9788 NEW BEST:: SOT 418720 SOS 227679 HAS SOPS 227679 HAS SOUS 212404 HAS SOUPS 212404 WITH SCORE 212631.679
AT ITER 9790 NEW BEST:: SOT 418124 SOS 227662 HAS SOPS 227662 HAS SOUS 212387 HAS SOUPS 212387 WITH SCORE 212614.662
AT ITER 9825 NEW BEST:: SOT 418124 SOS 227626 HAS SOPS 227626 HAS SOUS 212369 HAS SOUPS 212369 WITH SCORE 212596.626
AT ITER 9860 NEW BEST:: SOT 418102 SOS 227604 HAS SOPS 227604 HAS SOUS 212347 HAS SOUPS 212347 WITH SCORE 212574.604
AT ITER 9900 NEW BEST:: SOT 418102 SOS 227537 HAS SOPS 227537 HAS SOUS 212280 HAS SOUPS 212280 WITH SCORE 212507.537
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8737668 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119808 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="QuasiCertifProtocol-COL-22"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is QuasiCertifProtocol-COL-22, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953500840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-COL-22.tgz
mv QuasiCertifProtocol-COL-22 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 ;