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.r267-smll-167863541900504.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 PermAdmissibility-COL-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 6.6K Feb 26 01:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 01:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 01:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 26 01:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:31 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 54K 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 1678900646620

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=PermAdmissibility-COL-50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 17:17:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 17:17:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 17:17:30] [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-15 17:17:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 17:17:31] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 981 ms
[2023-03-15 17:17:31] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 25 ms.
[2023-03-15 17:17:31] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 56 ms.
[2023-03-15 17:17:31] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 17:17:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 1024 transitions and 5984 arcs took 23 ms.
Total runtime 1401 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 50
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: 208 places, 1024 transitions, 5984 arcs.
AT ITER 0 NEW BEST:: SOT 141659 SOS 83207 HAS SOPS 83207 HAS SOUS 52066 HAS SOUPS 52066 WITH SCORE 52149.207
AT ITER 4 NEW BEST:: SOT 141636 SOS 82560 HAS SOPS 82560 HAS SOUS 52052 HAS SOUPS 52052 WITH SCORE 52134.56
AT ITER 13 NEW BEST:: SOT 141441 SOS 82381 HAS SOPS 82381 HAS SOUS 52050 HAS SOUPS 52050 WITH SCORE 52132.381
AT ITER 35 NEW BEST:: SOT 141446 SOS 82386 HAS SOPS 82386 HAS SOUS 52047 HAS SOUPS 52047 WITH SCORE 52129.386
AT ITER 36 NEW BEST:: SOT 141446 SOS 82386 HAS SOPS 82386 HAS SOUS 51997 HAS SOUPS 51997 WITH SCORE 52079.386
AT ITER 50 NEW BEST:: SOT 141446 SOS 82386 HAS SOPS 82386 HAS SOUS 51949 HAS SOUPS 51949 WITH SCORE 52031.386
AT ITER 51 NEW BEST:: SOT 141446 SOS 83090 HAS SOPS 83090 HAS SOUS 51944 HAS SOUPS 51944 WITH SCORE 52027.09
AT ITER 58 NEW BEST:: SOT 141408 SOS 83052 HAS SOPS 83052 HAS SOUS 51789 HAS SOUPS 51789 WITH SCORE 51872.052
AT ITER 60 NEW BEST:: SOT 141408 SOS 83500 HAS SOPS 83500 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51823.5
AT ITER 72 NEW BEST:: SOT 141747 SOS 83839 HAS SOPS 83839 HAS SOUS 51700 HAS SOUPS 51700 WITH SCORE 51783.839
AT ITER 76 NEW BEST:: SOT 141747 SOS 83839 HAS SOPS 83839 HAS SOUS 51692 HAS SOUPS 51692 WITH SCORE 51775.839
AT ITER 108 NEW BEST:: SOT 141732 SOS 84479 HAS SOPS 84479 HAS SOUS 51678 HAS SOUPS 51678 WITH SCORE 51762.479
AT ITER 119 NEW BEST:: SOT 140708 SOS 83575 HAS SOPS 83575 HAS SOUS 50669 HAS SOUPS 50669 WITH SCORE 50752.575
AT ITER 145 NEW BEST:: SOT 140660 SOS 83711 HAS SOPS 83711 HAS SOUS 50530 HAS SOUPS 50530 WITH SCORE 50613.711
AT ITER 148 NEW BEST:: SOT 140583 SOS 84058 HAS SOPS 84058 HAS SOUS 50519 HAS SOUPS 50519 WITH SCORE 50603.058
AT ITER 151 NEW BEST:: SOT 140548 SOS 84279 HAS SOPS 84279 HAS SOUS 50331 HAS SOUPS 50331 WITH SCORE 50415.279
AT ITER 158 NEW BEST:: SOT 140542 SOS 84371 HAS SOPS 84371 HAS SOUS 50313 HAS SOUPS 50313 WITH SCORE 50397.371
AT ITER 169 NEW BEST:: SOT 140542 SOS 84194 HAS SOPS 84194 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50308.194
AT ITER 189 NEW BEST:: SOT 140542 SOS 84194 HAS SOPS 84194 HAS SOUS 50218 HAS SOUPS 50218 WITH SCORE 50302.194
AT ITER 190 NEW BEST:: SOT 139744 SOS 83524 HAS SOPS 83524 HAS SOUS 49767 HAS SOUPS 49767 WITH SCORE 49850.524
AT ITER 192 NEW BEST:: SOT 139631 SOS 83483 HAS SOPS 83483 HAS SOUS 49559 HAS SOUPS 49559 WITH SCORE 49642.483
AT ITER 198 NEW BEST:: SOT 139631 SOS 83483 HAS SOPS 83483 HAS SOUS 49463 HAS SOUPS 49463 WITH SCORE 49546.483
AT ITER 217 NEW BEST:: SOT 139562 SOS 83478 HAS SOPS 83478 HAS SOUS 49240 HAS SOUPS 49240 WITH SCORE 49323.478
AT ITER 220 NEW BEST:: SOT 139544 SOS 83972 HAS SOPS 83972 HAS SOUS 49219 HAS SOUPS 49219 WITH SCORE 49302.972
AT ITER 224 NEW BEST:: SOT 139354 SOS 84022 HAS SOPS 84022 HAS SOUS 49194 HAS SOUPS 49194 WITH SCORE 49278.022
AT ITER 230 NEW BEST:: SOT 138645 SOS 83403 HAS SOPS 83403 HAS SOUS 48463 HAS SOUPS 48463 WITH SCORE 48546.403
AT ITER 232 NEW BEST:: SOT 138645 SOS 83332 HAS SOPS 83332 HAS SOUS 48407 HAS SOUPS 48407 WITH SCORE 48490.332
AT ITER 239 NEW BEST:: SOT 138634 SOS 83321 HAS SOPS 83321 HAS SOUS 48396 HAS SOUPS 48396 WITH SCORE 48479.321
AT ITER 249 NEW BEST:: SOT 138634 SOS 83269 HAS SOPS 83269 HAS SOUS 48313 HAS SOUPS 48313 WITH SCORE 48396.269
AT ITER 253 NEW BEST:: SOT 138540 SOS 83605 HAS SOPS 83605 HAS SOUS 48297 HAS SOUPS 48297 WITH SCORE 48380.605
AT ITER 255 NEW BEST:: SOT 138501 SOS 83762 HAS SOPS 83762 HAS SOUS 48227 HAS SOUPS 48227 WITH SCORE 48310.762
AT ITER 259 NEW BEST:: SOT 138666 SOS 83927 HAS SOPS 83927 HAS SOUS 48107 HAS SOUPS 48107 WITH SCORE 48190.927
AT ITER 260 NEW BEST:: SOT 138533 SOS 83794 HAS SOPS 83794 HAS SOUS 47969 HAS SOUPS 47969 WITH SCORE 48052.794
AT ITER 262 NEW BEST:: SOT 138425 SOS 84166 HAS SOPS 84166 HAS SOUS 47849 HAS SOUPS 47849 WITH SCORE 47933.166
AT ITER 274 NEW BEST:: SOT 138264 SOS 84485 HAS SOPS 84485 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47839.485
AT ITER 279 NEW BEST:: SOT 137697 SOS 84077 HAS SOPS 84077 HAS SOUS 47703 HAS SOUPS 47703 WITH SCORE 47787.077
AT ITER 290 NEW BEST:: SOT 137633 SOS 84109 HAS SOPS 84109 HAS SOUS 47516 HAS SOUPS 47516 WITH SCORE 47600.109
AT ITER 296 NEW BEST:: SOT 137391 SOS 83887 HAS SOPS 83887 HAS SOUS 47300 HAS SOUPS 47300 WITH SCORE 47383.887
AT ITER 312 NEW BEST:: SOT 137583 SOS 84981 HAS SOPS 84981 HAS SOUS 47194 HAS SOUPS 47194 WITH SCORE 47278.981
AT ITER 322 NEW BEST:: SOT 137382 SOS 84780 HAS SOPS 84780 HAS SOUS 46993 HAS SOUPS 46993 WITH SCORE 47077.78
AT ITER 328 NEW BEST:: SOT 136998 SOS 84444 HAS SOPS 84444 HAS SOUS 46567 HAS SOUPS 46567 WITH SCORE 46651.444
AT ITER 329 NEW BEST:: SOT 136977 SOS 84423 HAS SOPS 84423 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46630.423
AT ITER 337 NEW BEST:: SOT 136996 SOS 84674 HAS SOPS 84674 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46614.674
AT ITER 339 NEW BEST:: SOT 136948 SOS 84626 HAS SOPS 84626 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46614.626
AT ITER 341 NEW BEST:: SOT 137074 SOS 84593 HAS SOPS 84593 HAS SOUS 46303 HAS SOUPS 46303 WITH SCORE 46387.593
AT ITER 355 NEW BEST:: SOT 136935 SOS 85006 HAS SOPS 85006 HAS SOUS 46050 HAS SOUPS 46050 WITH SCORE 46135.006
AT ITER 358 NEW BEST:: SOT 136861 SOS 84956 HAS SOPS 84956 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 46004.956
AT ITER 359 NEW BEST:: SOT 136815 SOS 84910 HAS SOPS 84910 HAS SOUS 45651 HAS SOUPS 45651 WITH SCORE 45735.91
AT ITER 361 NEW BEST:: SOT 136811 SOS 84906 HAS SOPS 84906 HAS SOUS 45647 HAS SOUPS 45647 WITH SCORE 45731.906
AT ITER 384 NEW BEST:: SOT 136962 SOS 85185 HAS SOPS 85185 HAS SOUS 45330 HAS SOUPS 45330 WITH SCORE 45415.185
AT ITER 396 NEW BEST:: SOT 136783 SOS 85006 HAS SOPS 85006 HAS SOUS 45329 HAS SOUPS 45329 WITH SCORE 45414.006
AT ITER 398 NEW BEST:: SOT 136775 SOS 84998 HAS SOPS 84998 HAS SOUS 45247 HAS SOUPS 45247 WITH SCORE 45331.998
AT ITER 423 NEW BEST:: SOT 136775 SOS 85103 HAS SOPS 85103 HAS SOUS 45212 HAS SOUPS 45212 WITH SCORE 45297.103
AT ITER 432 NEW BEST:: SOT 136709 SOS 85037 HAS SOPS 85037 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45219.037
AT ITER 447 NEW BEST:: SOT 136698 SOS 85026 HAS SOPS 85026 HAS SOUS 45083 HAS SOUPS 45083 WITH SCORE 45168.026
AT ITER 448 NEW BEST:: SOT 136503 SOS 85022 HAS SOPS 85022 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44873.022
AT ITER 457 NEW BEST:: SOT 136499 SOS 85018 HAS SOPS 85018 HAS SOUS 44784 HAS SOUPS 44784 WITH SCORE 44869.018
AT ITER 467 NEW BEST:: SOT 136302 SOS 85299 HAS SOPS 85299 HAS SOUS 44702 HAS SOUPS 44702 WITH SCORE 44787.299
AT ITER 478 NEW BEST:: SOT 136382 SOS 85467 HAS SOPS 85467 HAS SOUS 44649 HAS SOUPS 44649 WITH SCORE 44734.467
AT ITER 483 NEW BEST:: SOT 136275 SOS 85800 HAS SOPS 85800 HAS SOUS 44581 HAS SOUPS 44581 WITH SCORE 44666.8
AT ITER 498 NEW BEST:: SOT 136002 SOS 85908 HAS SOPS 85908 HAS SOUS 44408 HAS SOUPS 44408 WITH SCORE 44493.908
AT ITER 499 NEW BEST:: SOT 135842 SOS 85759 HAS SOPS 85759 HAS SOUS 44172 HAS SOUPS 44172 WITH SCORE 44257.759
AT ITER 500 NEW BEST:: SOT 135833 SOS 85750 HAS SOPS 85750 HAS SOUS 44131 HAS SOUPS 44131 WITH SCORE 44216.75
AT ITER 504 NEW BEST:: SOT 135346 SOS 87191 HAS SOPS 87191 HAS SOUS 43690 HAS SOUPS 43690 WITH SCORE 43777.191
AT ITER 515 NEW BEST:: SOT 135230 SOS 87179 HAS SOPS 87179 HAS SOUS 43633 HAS SOUPS 43633 WITH SCORE 43720.179
AT ITER 516 NEW BEST:: SOT 135227 SOS 87176 HAS SOPS 87176 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43709.176
AT ITER 526 NEW BEST:: SOT 135227 SOS 87112 HAS SOPS 87112 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43690.112
AT ITER 553 NEW BEST:: SOT 135227 SOS 87112 HAS SOPS 87112 HAS SOUS 43459 HAS SOUPS 43459 WITH SCORE 43546.112
AT ITER 560 NEW BEST:: SOT 135064 SOS 87037 HAS SOPS 87037 HAS SOUS 43314 HAS SOUPS 43314 WITH SCORE 43401.037
AT ITER 572 NEW BEST:: SOT 134687 SOS 86736 HAS SOPS 86736 HAS SOUS 43083 HAS SOUPS 43083 WITH SCORE 43169.736
AT ITER 587 NEW BEST:: SOT 134657 SOS 86706 HAS SOPS 86706 HAS SOUS 42934 HAS SOUPS 42934 WITH SCORE 43020.706
AT ITER 591 NEW BEST:: SOT 134663 SOS 86712 HAS SOPS 86712 HAS SOUS 42916 HAS SOUPS 42916 WITH SCORE 43002.712
AT ITER 592 NEW BEST:: SOT 134706 SOS 87091 HAS SOPS 87091 HAS SOUS 42894 HAS SOUPS 42894 WITH SCORE 42981.091
AT ITER 608 NEW BEST:: SOT 134706 SOS 87091 HAS SOPS 87091 HAS SOUS 42822 HAS SOUPS 42822 WITH SCORE 42909.091
AT ITER 627 NEW BEST:: SOT 134752 SOS 87137 HAS SOPS 87137 HAS SOUS 42812 HAS SOUPS 42812 WITH SCORE 42899.137
AT ITER 635 NEW BEST:: SOT 134752 SOS 87137 HAS SOPS 87137 HAS SOUS 42797 HAS SOUPS 42797 WITH SCORE 42884.137
AT ITER 640 NEW BEST:: SOT 134746 SOS 87131 HAS SOPS 87131 HAS SOUS 42785 HAS SOUPS 42785 WITH SCORE 42872.131
AT ITER 656 NEW BEST:: SOT 134746 SOS 87036 HAS SOPS 87036 HAS SOUS 42683 HAS SOUPS 42683 WITH SCORE 42770.036
AT ITER 681 NEW BEST:: SOT 134428 SOS 86542 HAS SOPS 86542 HAS SOUS 42087 HAS SOUPS 42087 WITH SCORE 42173.542
AT ITER 698 NEW BEST:: SOT 134339 SOS 86621 HAS SOPS 86621 HAS SOUS 41792 HAS SOUPS 41792 WITH SCORE 41878.621
AT ITER 707 NEW BEST:: SOT 134291 SOS 86573 HAS SOPS 86573 HAS SOUS 41696 HAS SOUPS 41696 WITH SCORE 41782.573
AT ITER 708 NEW BEST:: SOT 134265 SOS 86547 HAS SOPS 86547 HAS SOUS 41591 HAS SOUPS 41591 WITH SCORE 41677.547
AT ITER 712 NEW BEST:: SOT 134255 SOS 86537 HAS SOPS 86537 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41669.537
AT ITER 735 NEW BEST:: SOT 134120 SOS 86882 HAS SOPS 86882 HAS SOUS 41396 HAS SOUPS 41396 WITH SCORE 41482.882
AT ITER 772 NEW BEST:: SOT 134076 SOS 87286 HAS SOPS 87286 HAS SOUS 41285 HAS SOUPS 41285 WITH SCORE 41372.286
AT ITER 773 NEW BEST:: SOT 134038 SOS 87248 HAS SOPS 87248 HAS SOUS 41243 HAS SOUPS 41243 WITH SCORE 41330.248
AT ITER 799 NEW BEST:: SOT 134009 SOS 87219 HAS SOPS 87219 HAS SOUS 41122 HAS SOUPS 41122 WITH SCORE 41209.219
AT ITER 818 NEW BEST:: SOT 133998 SOS 87208 HAS SOPS 87208 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41198.208
AT ITER 819 NEW BEST:: SOT 134042 SOS 87308 HAS SOPS 87308 HAS SOUS 41104 HAS SOUPS 41104 WITH SCORE 41191.308
AT ITER 820 NEW BEST:: SOT 133950 SOS 87216 HAS SOPS 87216 HAS SOUS 41000 HAS SOUPS 41000 WITH SCORE 41087.216
AT ITER 823 NEW BEST:: SOT 133793 SOS 87207 HAS SOPS 87207 HAS SOUS 40760 HAS SOUPS 40760 WITH SCORE 40847.207
AT ITER 824 NEW BEST:: SOT 133767 SOS 87181 HAS SOPS 87181 HAS SOUS 40574 HAS SOUPS 40574 WITH SCORE 40661.181
AT ITER 837 NEW BEST:: SOT 133747 SOS 87161 HAS SOPS 87161 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40638.161
AT ITER 858 NEW BEST:: SOT 133726 SOS 87140 HAS SOPS 87140 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40617.14
AT ITER 859 NEW BEST:: SOT 133850 SOS 87264 HAS SOPS 87264 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40588.264
AT ITER 927 NEW BEST:: SOT 133970 SOS 87384 HAS SOPS 87384 HAS SOUS 40491 HAS SOUPS 40491 WITH SCORE 40578.384
AT ITER 929 NEW BEST:: SOT 133969 SOS 87383 HAS SOPS 87383 HAS SOUS 40489 HAS SOUPS 40489 WITH SCORE 40576.383
AT ITER 935 NEW BEST:: SOT 133930 SOS 87344 HAS SOPS 87344 HAS SOUS 40365 HAS SOUPS 40365 WITH SCORE 40452.344
AT ITER 936 NEW BEST:: SOT 133810 SOS 87224 HAS SOPS 87224 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40276.224
AT ITER 958 NEW BEST:: SOT 133772 SOS 87126 HAS SOPS 87126 HAS SOUS 40175 HAS SOUPS 40175 WITH SCORE 40262.126
AT ITER 983 NEW BEST:: SOT 133805 SOS 85759 HAS SOPS 85759 HAS SOUS 39855 HAS SOUPS 39855 WITH SCORE 39940.759
AT ITER 986 NEW BEST:: SOT 133829 SOS 87143 HAS SOPS 87143 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39877.143
AT ITER 992 NEW BEST:: SOT 133829 SOS 87143 HAS SOPS 87143 HAS SOUS 39779 HAS SOUPS 39779 WITH SCORE 39866.143
AT ITER 994 NEW BEST:: SOT 133934 SOS 87659 HAS SOPS 87659 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39799.659
AT ITER 1001 NEW BEST:: SOT 133107 SOS 87085 HAS SOPS 87085 HAS SOUS 38891 HAS SOUPS 38891 WITH SCORE 38978.085
AT ITER 1004 NEW BEST:: SOT 133132 SOS 87110 HAS SOPS 87110 HAS SOUS 38812 HAS SOUPS 38812 WITH SCORE 38899.11
AT ITER 1005 NEW BEST:: SOT 133104 SOS 87082 HAS SOPS 87082 HAS SOUS 38780 HAS SOUPS 38780 WITH SCORE 38867.082
AT ITER 1014 NEW BEST:: SOT 133076 SOS 87054 HAS SOPS 87054 HAS SOUS 38772 HAS SOUPS 38772 WITH SCORE 38859.054
AT ITER 1029 NEW BEST:: SOT 133059 SOS 87037 HAS SOPS 87037 HAS SOUS 38771 HAS SOUPS 38771 WITH SCORE 38858.037
AT ITER 1036 NEW BEST:: SOT 132991 SOS 86937 HAS SOPS 86937 HAS SOUS 38699 HAS SOUPS 38699 WITH SCORE 38785.937
AT ITER 1052 NEW BEST:: SOT 132937 SOS 86883 HAS SOPS 86883 HAS SOUS 38693 HAS SOUPS 38693 WITH SCORE 38779.883
AT ITER 1059 NEW BEST:: SOT 132937 SOS 86728 HAS SOPS 86728 HAS SOUS 38598 HAS SOUPS 38598 WITH SCORE 38684.728
AT ITER 1060 NEW BEST:: SOT 132937 SOS 86723 HAS SOPS 86723 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38650.723
AT ITER 1074 NEW BEST:: SOT 133007 SOS 86793 HAS SOPS 86793 HAS SOUS 38420 HAS SOUPS 38420 WITH SCORE 38506.793
AT ITER 1091 NEW BEST:: SOT 133188 SOS 86974 HAS SOPS 86974 HAS SOUS 38233 HAS SOUPS 38233 WITH SCORE 38319.974
AT ITER 1126 NEW BEST:: SOT 133212 SOS 86998 HAS SOPS 86998 HAS SOUS 38171 HAS SOUPS 38171 WITH SCORE 38257.998
AT ITER 1136 NEW BEST:: SOT 133232 SOS 87018 HAS SOPS 87018 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38066.018
AT ITER 1143 NEW BEST:: SOT 133080 SOS 86866 HAS SOPS 86866 HAS SOUS 37731 HAS SOUPS 37731 WITH SCORE 37817.866
AT ITER 1166 NEW BEST:: SOT 133083 SOS 86789 HAS SOPS 86789 HAS SOUS 37729 HAS SOUPS 37729 WITH SCORE 37815.789
AT ITER 1181 NEW BEST:: SOT 133059 SOS 86765 HAS SOPS 86765 HAS SOUS 37697 HAS SOUPS 37697 WITH SCORE 37783.765
AT ITER 1200 NEW BEST:: SOT 133059 SOS 86765 HAS SOPS 86765 HAS SOUS 37609 HAS SOUPS 37609 WITH SCORE 37695.765
AT ITER 1208 NEW BEST:: SOT 133113 SOS 86821 HAS SOPS 86821 HAS SOUS 37581 HAS SOUPS 37581 WITH SCORE 37667.821
AT ITER 1215 NEW BEST:: SOT 133113 SOS 86876 HAS SOPS 86876 HAS SOUS 37574 HAS SOUPS 37574 WITH SCORE 37660.876
AT ITER 1223 NEW BEST:: SOT 133112 SOS 86875 HAS SOPS 86875 HAS SOUS 37549 HAS SOUPS 37549 WITH SCORE 37635.875
AT ITER 1226 NEW BEST:: SOT 133106 SOS 86869 HAS SOPS 86869 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37629.869
AT ITER 1240 NEW BEST:: SOT 133141 SOS 87160 HAS SOPS 87160 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37554.16
AT ITER 1247 NEW BEST:: SOT 133130 SOS 87197 HAS SOPS 87197 HAS SOUS 37459 HAS SOUPS 37459 WITH SCORE 37546.197
AT ITER 1263 NEW BEST:: SOT 132977 SOS 87134 HAS SOPS 87134 HAS SOUS 37336 HAS SOUPS 37336 WITH SCORE 37423.134
AT ITER 1267 NEW BEST:: SOT 132977 SOS 86862 HAS SOPS 86862 HAS SOUS 37309 HAS SOUPS 37309 WITH SCORE 37395.862
AT ITER 1275 NEW BEST:: SOT 132977 SOS 86862 HAS SOPS 86862 HAS SOUS 37249 HAS SOUPS 37249 WITH SCORE 37335.862
AT ITER 1282 NEW BEST:: SOT 132990 SOS 86875 HAS SOPS 86875 HAS SOUS 37240 HAS SOUPS 37240 WITH SCORE 37326.875
AT ITER 1300 NEW BEST:: SOT 132931 SOS 86944 HAS SOPS 86944 HAS SOUS 37011 HAS SOUPS 37011 WITH SCORE 37097.944
AT ITER 1304 NEW BEST:: SOT 132972 SOS 86985 HAS SOPS 86985 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37074.985
AT ITER 1310 NEW BEST:: SOT 132972 SOS 86857 HAS SOPS 86857 HAS SOUS 36802 HAS SOUPS 36802 WITH SCORE 36888.857
AT ITER 1349 NEW BEST:: SOT 132972 SOS 88887 HAS SOPS 88887 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36881.887
AT ITER 1368 NEW BEST:: SOT 132969 SOS 88884 HAS SOPS 88884 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36854.884
AT ITER 1376 NEW BEST:: SOT 132986 SOS 89301 HAS SOPS 89301 HAS SOUS 36749 HAS SOUPS 36749 WITH SCORE 36838.301
AT ITER 1378 NEW BEST:: SOT 132970 SOS 89285 HAS SOPS 89285 HAS SOUS 36697 HAS SOUPS 36697 WITH SCORE 36786.285
AT ITER 1406 NEW BEST:: SOT 133005 SOS 89320 HAS SOPS 89320 HAS SOUS 36657 HAS SOUPS 36657 WITH SCORE 36746.32
AT ITER 1413 NEW BEST:: SOT 132918 SOS 89233 HAS SOPS 89233 HAS SOUS 36610 HAS SOUPS 36610 WITH SCORE 36699.233
AT ITER 1430 NEW BEST:: SOT 132918 SOS 89233 HAS SOPS 89233 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36690.233
AT ITER 1461 NEW BEST:: SOT 132918 SOS 89449 HAS SOPS 89449 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36536.449
AT ITER 1585 NEW BEST:: SOT 132918 SOS 89561 HAS SOPS 89561 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36522.561
AT ITER 1595 NEW BEST:: SOT 132814 SOS 88113 HAS SOPS 88113 HAS SOUS 36417 HAS SOUPS 36417 WITH SCORE 36505.113
AT ITER 1635 NEW BEST:: SOT 132814 SOS 88113 HAS SOPS 88113 HAS SOUS 36330 HAS SOUPS 36330 WITH SCORE 36418.113
AT ITER 1636 NEW BEST:: SOT 132586 SOS 87757 HAS SOPS 87757 HAS SOUS 36096 HAS SOUPS 36096 WITH SCORE 36183.757
AT ITER 1660 NEW BEST:: SOT 132270 SOS 87441 HAS SOPS 87441 HAS SOUS 35812 HAS SOUPS 35812 WITH SCORE 35899.441
AT ITER 1680 NEW BEST:: SOT 132414 SOS 87585 HAS SOPS 87585 HAS SOUS 35734 HAS SOUPS 35734 WITH SCORE 35821.585
AT ITER 1739 NEW BEST:: SOT 132414 SOS 87585 HAS SOPS 87585 HAS SOUS 35702 HAS SOUPS 35702 WITH SCORE 35789.585
AT ITER 1745 NEW BEST:: SOT 132333 SOS 87648 HAS SOPS 87648 HAS SOUS 35633 HAS SOUPS 35633 WITH SCORE 35720.648
AT ITER 1753 NEW BEST:: SOT 132331 SOS 87614 HAS SOPS 87614 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35718.614
AT ITER 1786 NEW BEST:: SOT 132326 SOS 87473 HAS SOPS 87473 HAS SOUS 35621 HAS SOUPS 35621 WITH SCORE 35708.473
AT ITER 1788 NEW BEST:: SOT 132231 SOS 87378 HAS SOPS 87378 HAS SOUS 35590 HAS SOUPS 35590 WITH SCORE 35677.378
AT ITER 1811 NEW BEST:: SOT 132095 SOS 87146 HAS SOPS 87146 HAS SOUS 35503 HAS SOUPS 35503 WITH SCORE 35590.146
AT ITER 1814 NEW BEST:: SOT 132076 SOS 87127 HAS SOPS 87127 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35575.127
AT ITER 1817 NEW BEST:: SOT 132076 SOS 87639 HAS SOPS 87639 HAS SOUS 35474 HAS SOUPS 35474 WITH SCORE 35561.639
AT ITER 1885 NEW BEST:: SOT 131884 SOS 87460 HAS SOPS 87460 HAS SOUS 35289 HAS SOUPS 35289 WITH SCORE 35376.46
AT ITER 1933 NEW BEST:: SOT 131879 SOS 87455 HAS SOPS 87455 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35364.455
AT ITER 1947 NEW BEST:: SOT 131834 SOS 87410 HAS SOPS 87410 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35319.41
AT ITER 1978 NEW BEST:: SOT 131962 SOS 87538 HAS SOPS 87538 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35299.538
AT ITER 2006 NEW BEST:: SOT 131962 SOS 87538 HAS SOPS 87538 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35227.538
AT ITER 2055 NEW BEST:: SOT 131954 SOS 87530 HAS SOPS 87530 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35227.53
AT ITER 2066 NEW BEST:: SOT 131954 SOS 87530 HAS SOPS 87530 HAS SOUS 35112 HAS SOUPS 35112 WITH SCORE 35199.53
AT ITER 2068 NEW BEST:: SOT 131824 SOS 87480 HAS SOPS 87480 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35074.48
AT ITER 2070 NEW BEST:: SOT 131826 SOS 81751 HAS SOPS 81751 HAS SOUS 34921 HAS SOUPS 34921 WITH SCORE 35002.751
AT ITER 2131 NEW BEST:: SOT 131762 SOS 81687 HAS SOPS 81687 HAS SOUS 34793 HAS SOUPS 34793 WITH SCORE 34874.687
AT ITER 2138 NEW BEST:: SOT 131762 SOS 81863 HAS SOPS 81863 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34804.863
AT ITER 2233 NEW BEST:: SOT 131743 SOS 81844 HAS SOPS 81844 HAS SOUS 34704 HAS SOUPS 34704 WITH SCORE 34785.844
AT ITER 2240 NEW BEST:: SOT 131743 SOS 81663 HAS SOPS 81663 HAS SOUS 34668 HAS SOUPS 34668 WITH SCORE 34749.663
AT ITER 2277 NEW BEST:: SOT 131729 SOS 81649 HAS SOPS 81649 HAS SOUS 34657 HAS SOUPS 34657 WITH SCORE 34738.649
AT ITER 2309 NEW BEST:: SOT 131613 SOS 81501 HAS SOPS 81501 HAS SOUS 34505 HAS SOUPS 34505 WITH SCORE 34586.501
AT ITER 2339 NEW BEST:: SOT 131613 SOS 81492 HAS SOPS 81492 HAS SOUS 34498 HAS SOUPS 34498 WITH SCORE 34579.492
AT ITER 2400 NEW BEST:: SOT 131613 SOS 81492 HAS SOPS 81492 HAS SOUS 34458 HAS SOUPS 34458 WITH SCORE 34539.492
AT ITER 2478 NEW BEST:: SOT 131581 SOS 81460 HAS SOPS 81460 HAS SOUS 34442 HAS SOUPS 34442 WITH SCORE 34523.46
AT ITER 2492 NEW BEST:: SOT 131573 SOS 81452 HAS SOPS 81452 HAS SOUS 34426 HAS SOUPS 34426 WITH SCORE 34507.452
AT ITER 2507 NEW BEST:: SOT 131471 SOS 81326 HAS SOPS 81326 HAS SOUS 34326 HAS SOUPS 34326 WITH SCORE 34407.326
AT ITER 2518 NEW BEST:: SOT 131391 SOS 81246 HAS SOPS 81246 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34359.246
AT ITER 2525 NEW BEST:: SOT 131370 SOS 81329 HAS SOPS 81329 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34309.329
AT ITER 2542 NEW BEST:: SOT 131314 SOS 81273 HAS SOPS 81273 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34309.273
AT ITER 2554 NEW BEST:: SOT 131052 SOS 81011 HAS SOPS 81011 HAS SOUS 33948 HAS SOUPS 33948 WITH SCORE 34029.011
AT ITER 2572 NEW BEST:: SOT 131046 SOS 81005 HAS SOPS 81005 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 34015.005
AT ITER 2589 NEW BEST:: SOT 131046 SOS 81107 HAS SOPS 81107 HAS SOUS 33928 HAS SOUPS 33928 WITH SCORE 34009.107
AT ITER 2648 NEW BEST:: SOT 130995 SOS 81096 HAS SOPS 81096 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33958.096
AT ITER 2665 NEW BEST:: SOT 130930 SOS 81031 HAS SOPS 81031 HAS SOUS 33852 HAS SOUPS 33852 WITH SCORE 33933.031
AT ITER 2668 NEW BEST:: SOT 130868 SOS 80969 HAS SOPS 80969 HAS SOUS 33813 HAS SOUPS 33813 WITH SCORE 33893.969
AT ITER 2709 NEW BEST:: SOT 130866 SOS 80983 HAS SOPS 80983 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33892.983
AT ITER 2721 NEW BEST:: SOT 130845 SOS 80962 HAS SOPS 80962 HAS SOUS 33775 HAS SOUPS 33775 WITH SCORE 33855.962
AT ITER 2726 NEW BEST:: SOT 130881 SOS 80998 HAS SOPS 80998 HAS SOUS 33741 HAS SOUPS 33741 WITH SCORE 33821.998
AT ITER 2763 NEW BEST:: SOT 130788 SOS 80905 HAS SOPS 80905 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33736.905
AT ITER 2764 NEW BEST:: SOT 130765 SOS 81034 HAS SOPS 81034 HAS SOUS 33614 HAS SOUPS 33614 WITH SCORE 33695.034
AT ITER 2780 NEW BEST:: SOT 130769 SOS 81102 HAS SOPS 81102 HAS SOUS 33610 HAS SOUPS 33610 WITH SCORE 33691.102
AT ITER 2789 NEW BEST:: SOT 130689 SOS 81022 HAS SOPS 81022 HAS SOUS 33530 HAS SOUPS 33530 WITH SCORE 33611.022
AT ITER 2794 NEW BEST:: SOT 130663 SOS 80964 HAS SOPS 80964 HAS SOUS 33518 HAS SOUPS 33518 WITH SCORE 33598.964
AT ITER 2798 NEW BEST:: SOT 130647 SOS 81108 HAS SOPS 81108 HAS SOUS 33501 HAS SOUPS 33501 WITH SCORE 33582.108
AT ITER 2815 NEW BEST:: SOT 130641 SOS 81102 HAS SOPS 81102 HAS SOUS 33487 HAS SOUPS 33487 WITH SCORE 33568.102
AT ITER 2824 NEW BEST:: SOT 130626 SOS 81071 HAS SOPS 81071 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33552.071
AT ITER 2844 NEW BEST:: SOT 130403 SOS 80848 HAS SOPS 80848 HAS SOUS 33458 HAS SOUPS 33458 WITH SCORE 33538.848
AT ITER 2850 NEW BEST:: SOT 130552 SOS 81117 HAS SOPS 81117 HAS SOUS 33438 HAS SOUPS 33438 WITH SCORE 33519.117
AT ITER 2865 NEW BEST:: SOT 130481 SOS 81078 HAS SOPS 81078 HAS SOUS 33367 HAS SOUPS 33367 WITH SCORE 33448.078
AT ITER 2869 NEW BEST:: SOT 130468 SOS 81049 HAS SOPS 81049 HAS SOUS 33361 HAS SOUPS 33361 WITH SCORE 33442.049
AT ITER 2913 NEW BEST:: SOT 130466 SOS 81047 HAS SOPS 81047 HAS SOUS 33357 HAS SOUPS 33357 WITH SCORE 33438.047
AT ITER 2926 NEW BEST:: SOT 130470 SOS 81051 HAS SOPS 81051 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33426.051
AT ITER 2939 NEW BEST:: SOT 130472 SOS 81053 HAS SOPS 81053 HAS SOUS 33335 HAS SOUPS 33335 WITH SCORE 33416.053
AT ITER 2950 NEW BEST:: SOT 130281 SOS 80862 HAS SOPS 80862 HAS SOUS 33116 HAS SOUPS 33116 WITH SCORE 33196.862
AT ITER 2952 NEW BEST:: SOT 130287 SOS 80788 HAS SOPS 80788 HAS SOUS 33100 HAS SOUPS 33100 WITH SCORE 33180.788
AT ITER 2991 NEW BEST:: SOT 130425 SOS 81198 HAS SOPS 81198 HAS SOUS 33058 HAS SOUPS 33058 WITH SCORE 33139.198
AT ITER 3010 NEW BEST:: SOT 130479 SOS 81340 HAS SOPS 81340 HAS SOUS 33054 HAS SOUPS 33054 WITH SCORE 33135.34
AT ITER 3029 NEW BEST:: SOT 130479 SOS 81439 HAS SOPS 81439 HAS SOUS 32971 HAS SOUPS 32971 WITH SCORE 33052.439
AT ITER 3101 NEW BEST:: SOT 130478 SOS 81406 HAS SOPS 81406 HAS SOUS 32968 HAS SOUPS 32968 WITH SCORE 33049.406
AT ITER 3137 NEW BEST:: SOT 130468 SOS 81396 HAS SOPS 81396 HAS SOUS 32878 HAS SOUPS 32878 WITH SCORE 32959.396
AT ITER 3149 NEW BEST:: SOT 130326 SOS 81254 HAS SOPS 81254 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32881.254
AT ITER 3346 NEW BEST:: SOT 130342 SOS 81366 HAS SOPS 81366 HAS SOUS 32745 HAS SOUPS 32745 WITH SCORE 32826.366
AT ITER 3372 NEW BEST:: SOT 130342 SOS 81366 HAS SOPS 81366 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32817.366
AT ITER 3389 NEW BEST:: SOT 130340 SOS 81364 HAS SOPS 81364 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32817.364
AT ITER 3394 NEW BEST:: SOT 130355 SOS 81379 HAS SOPS 81379 HAS SOUS 32701 HAS SOUPS 32701 WITH SCORE 32782.379
AT ITER 3403 NEW BEST:: SOT 130336 SOS 81448 HAS SOPS 81448 HAS SOUS 32639 HAS SOUPS 32639 WITH SCORE 32720.448
AT ITER 3416 NEW BEST:: SOT 130337 SOS 82345 HAS SOPS 82345 HAS SOUS 32631 HAS SOUPS 32631 WITH SCORE 32713.345
AT ITER 3477 NEW BEST:: SOT 130370 SOS 83210 HAS SOPS 83210 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32653.21
AT ITER 3545 NEW BEST:: SOT 130370 SOS 83199 HAS SOPS 83199 HAS SOUS 32566 HAS SOUPS 32566 WITH SCORE 32649.199
AT ITER 3554 NEW BEST:: SOT 130104 SOS 81421 HAS SOPS 81421 HAS SOUS 32513 HAS SOUPS 32513 WITH SCORE 32594.421
AT ITER 3573 NEW BEST:: SOT 130099 SOS 81413 HAS SOPS 81413 HAS SOUS 32501 HAS SOUPS 32501 WITH SCORE 32582.413
AT ITER 3577 NEW BEST:: SOT 130087 SOS 81401 HAS SOPS 81401 HAS SOUS 32473 HAS SOUPS 32473 WITH SCORE 32554.401
AT ITER 3580 NEW BEST:: SOT 130177 SOS 82107 HAS SOPS 82107 HAS SOUS 32417 HAS SOUPS 32417 WITH SCORE 32499.107
AT ITER 3633 NEW BEST:: SOT 130177 SOS 82128 HAS SOPS 82128 HAS SOUS 32398 HAS SOUPS 32398 WITH SCORE 32480.128
AT ITER 3635 NEW BEST:: SOT 130145 SOS 82096 HAS SOPS 82096 HAS SOUS 32366 HAS SOUPS 32366 WITH SCORE 32448.096
AT ITER 3702 NEW BEST:: SOT 130113 SOS 82064 HAS SOPS 82064 HAS SOUS 32286 HAS SOUPS 32286 WITH SCORE 32368.064
AT ITER 3726 NEW BEST:: SOT 130106 SOS 82057 HAS SOPS 82057 HAS SOUS 32279 HAS SOUPS 32279 WITH SCORE 32361.057
AT ITER 3738 NEW BEST:: SOT 130106 SOS 82249 HAS SOPS 82249 HAS SOUS 32181 HAS SOUPS 32181 WITH SCORE 32263.249
AT ITER 3774 NEW BEST:: SOT 130063 SOS 82206 HAS SOPS 82206 HAS SOUS 32154 HAS SOUPS 32154 WITH SCORE 32236.206
AT ITER 3787 NEW BEST:: SOT 129854 SOS 82036 HAS SOPS 82036 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32067.036
AT ITER 3844 NEW BEST:: SOT 129818 SOS 82000 HAS SOPS 82000 HAS SOUS 31949 HAS SOUPS 31949 WITH SCORE 32031.0
AT ITER 3880 NEW BEST:: SOT 129818 SOS 82088 HAS SOPS 82088 HAS SOUS 31896 HAS SOUPS 31896 WITH SCORE 31978.088
AT ITER 3944 NEW BEST:: SOT 129810 SOS 82080 HAS SOPS 82080 HAS SOUS 31888 HAS SOUPS 31888 WITH SCORE 31970.08
AT ITER 4008 NEW BEST:: SOT 129803 SOS 82073 HAS SOPS 82073 HAS SOUS 31881 HAS SOUPS 31881 WITH SCORE 31963.073
AT ITER 4059 NEW BEST:: SOT 129780 SOS 82050 HAS SOPS 82050 HAS SOUS 31864 HAS SOUPS 31864 WITH SCORE 31946.05
AT ITER 4075 NEW BEST:: SOT 129822 SOS 82188 HAS SOPS 82188 HAS SOUS 31856 HAS SOUPS 31856 WITH SCORE 31938.188
AT ITER 4114 NEW BEST:: SOT 129850 SOS 82088 HAS SOPS 82088 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31864.088
AT ITER 4124 NEW BEST:: SOT 129786 SOS 82024 HAS SOPS 82024 HAS SOUS 31698 HAS SOUPS 31698 WITH SCORE 31780.024
AT ITER 4151 NEW BEST:: SOT 129623 SOS 81861 HAS SOPS 81861 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31552.861
AT ITER 4176 NEW BEST:: SOT 129631 SOS 81869 HAS SOPS 81869 HAS SOUS 31452 HAS SOUPS 31452 WITH SCORE 31533.869
AT ITER 4181 NEW BEST:: SOT 129597 SOS 81867 HAS SOPS 81867 HAS SOUS 31432 HAS SOUPS 31432 WITH SCORE 31513.867
AT ITER 4194 NEW BEST:: SOT 129571 SOS 81841 HAS SOPS 81841 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31489.841
AT ITER 4242 NEW BEST:: SOT 129571 SOS 81841 HAS SOPS 81841 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31465.841
AT ITER 4328 NEW BEST:: SOT 129571 SOS 81585 HAS SOPS 81585 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31465.585
AT ITER 4357 NEW BEST:: SOT 129625 SOS 82135 HAS SOPS 82135 HAS SOUS 31301 HAS SOUPS 31301 WITH SCORE 31383.135
AT ITER 4377 NEW BEST:: SOT 129632 SOS 82070 HAS SOPS 82070 HAS SOUS 31277 HAS SOUPS 31277 WITH SCORE 31359.07
AT ITER 4447 NEW BEST:: SOT 129661 SOS 82195 HAS SOPS 82195 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31346.195
AT ITER 4738 NEW BEST:: SOT 129660 SOS 82194 HAS SOPS 82194 HAS SOUS 31263 HAS SOUPS 31263 WITH SCORE 31345.194
AT ITER 4818 NEW BEST:: SOT 129627 SOS 82161 HAS SOPS 82161 HAS SOUS 31232 HAS SOUPS 31232 WITH SCORE 31314.161
AT ITER 4905 NEW BEST:: SOT 129515 SOS 82049 HAS SOPS 82049 HAS SOUS 31176 HAS SOUPS 31176 WITH SCORE 31258.049
AT ITER 4997 NEW BEST:: SOT 129522 SOS 82056 HAS SOPS 82056 HAS SOUS 31169 HAS SOUPS 31169 WITH SCORE 31251.056
AT ITER 5040 NEW BEST:: SOT 129635 SOS 82057 HAS SOPS 82057 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 31010.057
AT ITER 5044 NEW BEST:: SOT 129565 SOS 81987 HAS SOPS 81987 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30995.987
AT ITER 5070 NEW BEST:: SOT 129507 SOS 81929 HAS SOPS 81929 HAS SOUS 30880 HAS SOUPS 30880 WITH SCORE 30961.929
AT ITER 5076 NEW BEST:: SOT 129514 SOS 81936 HAS SOPS 81936 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30952.936
AT ITER 5100 NEW BEST:: SOT 129517 SOS 81947 HAS SOPS 81947 HAS SOUS 30860 HAS SOUPS 30860 WITH SCORE 30941.947
AT ITER 5101 NEW BEST:: SOT 129509 SOS 81923 HAS SOPS 81923 HAS SOUS 30851 HAS SOUPS 30851 WITH SCORE 30932.923
AT ITER 5170 NEW BEST:: SOT 129510 SOS 81968 HAS SOPS 81968 HAS SOUS 30841 HAS SOUPS 30841 WITH SCORE 30922.968
AT ITER 5216 NEW BEST:: SOT 129510 SOS 81969 HAS SOPS 81969 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30921.969
AT ITER 5372 NEW BEST:: SOT 129508 SOS 81967 HAS SOPS 81967 HAS SOUS 30830 HAS SOUPS 30830 WITH SCORE 30911.967
AT ITER 5374 NEW BEST:: SOT 129401 SOS 81860 HAS SOPS 81860 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30884.86
AT ITER 5417 NEW BEST:: SOT 129401 SOS 81828 HAS SOPS 81828 HAS SOUS 30794 HAS SOUPS 30794 WITH SCORE 30875.828
AT ITER 5497 NEW BEST:: SOT 129382 SOS 81809 HAS SOPS 81809 HAS SOUS 30793 HAS SOUPS 30793 WITH SCORE 30874.809
AT ITER 5536 NEW BEST:: SOT 129376 SOS 81795 HAS SOPS 81795 HAS SOUS 30793 HAS SOUPS 30793 WITH SCORE 30874.795
AT ITER 5554 NEW BEST:: SOT 129358 SOS 81777 HAS SOPS 81777 HAS SOUS 30791 HAS SOUPS 30791 WITH SCORE 30872.777
AT ITER 5569 NEW BEST:: SOT 129248 SOS 81667 HAS SOPS 81667 HAS SOUS 30713 HAS SOUPS 30713 WITH SCORE 30794.667
AT ITER 5580 NEW BEST:: SOT 129248 SOS 81669 HAS SOPS 81669 HAS SOUS 30711 HAS SOUPS 30711 WITH SCORE 30792.669
AT ITER 5682 NEW BEST:: SOT 129250 SOS 81671 HAS SOPS 81671 HAS SOUS 30681 HAS SOUPS 30681 WITH SCORE 30762.671
AT ITER 5706 NEW BEST:: SOT 129247 SOS 81662 HAS SOPS 81662 HAS SOUS 30668 HAS SOUPS 30668 WITH SCORE 30749.662
AT ITER 5738 NEW BEST:: SOT 129244 SOS 81659 HAS SOPS 81659 HAS SOUS 30665 HAS SOUPS 30665 WITH SCORE 30746.659
AT ITER 5809 NEW BEST:: SOT 129233 SOS 81648 HAS SOPS 81648 HAS SOUS 30654 HAS SOUPS 30654 WITH SCORE 30735.648
AT ITER 5886 NEW BEST:: SOT 129233 SOS 81948 HAS SOPS 81948 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30730.948
AT ITER 6049 NEW BEST:: SOT 129233 SOS 82116 HAS SOPS 82116 HAS SOUS 30646 HAS SOUPS 30646 WITH SCORE 30728.116
AT ITER 6059 NEW BEST:: SOT 129236 SOS 82119 HAS SOPS 82119 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30715.119
AT ITER 6073 NEW BEST:: SOT 129176 SOS 82059 HAS SOPS 82059 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30715.059
AT ITER 6095 NEW BEST:: SOT 129180 SOS 82063 HAS SOPS 82063 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30707.063
AT ITER 6140 NEW BEST:: SOT 129154 SOS 82037 HAS SOPS 82037 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30651.037
AT ITER 6158 NEW BEST:: SOT 129154 SOS 82093 HAS SOPS 82093 HAS SOUS 30562 HAS SOUPS 30562 WITH SCORE 30644.093
AT ITER 6182 NEW BEST:: SOT 129111 SOS 82050 HAS SOPS 82050 HAS SOUS 30527 HAS SOUPS 30527 WITH SCORE 30609.05
AT ITER 6221 NEW BEST:: SOT 129114 SOS 82055 HAS SOPS 82055 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30594.055
AT ITER 6271 NEW BEST:: SOT 129111 SOS 82052 HAS SOPS 82052 HAS SOUS 30509 HAS SOUPS 30509 WITH SCORE 30591.052
AT ITER 6419 NEW BEST:: SOT 128982 SOS 81923 HAS SOPS 81923 HAS SOUS 30484 HAS SOUPS 30484 WITH SCORE 30565.923
AT ITER 6521 NEW BEST:: SOT 128974 SOS 81915 HAS SOPS 81915 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30549.915
AT ITER 6558 NEW BEST:: SOT 128986 SOS 82263 HAS SOPS 82263 HAS SOUS 30454 HAS SOUPS 30454 WITH SCORE 30536.263
AT ITER 6623 NEW BEST:: SOT 128986 SOS 82386 HAS SOPS 82386 HAS SOUS 30453 HAS SOUPS 30453 WITH SCORE 30535.386
AT ITER 6656 NEW BEST:: SOT 128980 SOS 82396 HAS SOPS 82396 HAS SOUS 30432 HAS SOUPS 30432 WITH SCORE 30514.396
AT ITER 6681 NEW BEST:: SOT 128993 SOS 82409 HAS SOPS 82409 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30483.409
AT ITER 6714 NEW BEST:: SOT 128993 SOS 82569 HAS SOPS 82569 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30482.569
AT ITER 6819 NEW BEST:: SOT 128968 SOS 82544 HAS SOPS 82544 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30481.544
AT ITER 6829 NEW BEST:: SOT 128982 SOS 82902 HAS SOPS 82902 HAS SOUS 30333 HAS SOUPS 30333 WITH SCORE 30415.902
AT ITER 6833 NEW BEST:: SOT 128976 SOS 82896 HAS SOPS 82896 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30409.896
AT ITER 6869 NEW BEST:: SOT 128982 SOS 82902 HAS SOPS 82902 HAS SOUS 30309 HAS SOUPS 30309 WITH SCORE 30391.902
AT ITER 6890 NEW BEST:: SOT 128974 SOS 82894 HAS SOPS 82894 HAS SOUS 30293 HAS SOUPS 30293 WITH SCORE 30375.894
AT ITER 6898 NEW BEST:: SOT 128975 SOS 82847 HAS SOPS 82847 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30372.847
AT ITER 6949 NEW BEST:: SOT 128995 SOS 82867 HAS SOPS 82867 HAS SOUS 30222 HAS SOUPS 30222 WITH SCORE 30304.867
AT ITER 7011 NEW BEST:: SOT 128995 SOS 82587 HAS SOPS 82587 HAS SOUS 30222 HAS SOUPS 30222 WITH SCORE 30304.587
AT ITER 7019 NEW BEST:: SOT 128932 SOS 82580 HAS SOPS 82580 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30194.58
AT ITER 7047 NEW BEST:: SOT 128930 SOS 82586 HAS SOPS 82586 HAS SOUS 30109 HAS SOUPS 30109 WITH SCORE 30191.586
AT ITER 7176 NEW BEST:: SOT 128923 SOS 82075 HAS SOPS 82075 HAS SOUS 30093 HAS SOUPS 30093 WITH SCORE 30175.075
AT ITER 7188 NEW BEST:: SOT 128923 SOS 82075 HAS SOPS 82075 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30163.075
AT ITER 7252 NEW BEST:: SOT 128940 SOS 82092 HAS SOPS 82092 HAS SOUS 30058 HAS SOUPS 30058 WITH SCORE 30140.092
AT ITER 7263 NEW BEST:: SOT 128859 SOS 81987 HAS SOPS 81987 HAS SOUS 29955 HAS SOUPS 29955 WITH SCORE 30036.987
AT ITER 7285 NEW BEST:: SOT 128859 SOS 81931 HAS SOPS 81931 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 30035.931
AT ITER 7316 NEW BEST:: SOT 128864 SOS 81936 HAS SOPS 81936 HAS SOUS 29951 HAS SOUPS 29951 WITH SCORE 30032.936
AT ITER 7388 NEW BEST:: SOT 128863 SOS 81935 HAS SOPS 81935 HAS SOUS 29950 HAS SOUPS 29950 WITH SCORE 30031.935
AT ITER 7514 NEW BEST:: SOT 128863 SOS 81935 HAS SOPS 81935 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 30015.935
AT ITER 7587 NEW BEST:: SOT 128853 SOS 81933 HAS SOPS 81933 HAS SOUS 29923 HAS SOUPS 29923 WITH SCORE 30004.933
AT ITER 7617 NEW BEST:: SOT 128853 SOS 81949 HAS SOPS 81949 HAS SOUS 29921 HAS SOUPS 29921 WITH SCORE 30002.949
AT ITER 7627 NEW BEST:: SOT 128853 SOS 81933 HAS SOPS 81933 HAS SOUS 29915 HAS SOUPS 29915 WITH SCORE 29996.933
AT ITER 7705 NEW BEST:: SOT 128853 SOS 81941 HAS SOPS 81941 HAS SOUS 29914 HAS SOUPS 29914 WITH SCORE 29995.941
AT ITER 7839 NEW BEST:: SOT 128790 SOS 81878 HAS SOPS 81878 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29968.878
AT ITER 8046 NEW BEST:: SOT 128814 SOS 81942 HAS SOPS 81942 HAS SOUS 29881 HAS SOUPS 29881 WITH SCORE 29962.942
AT ITER 8131 NEW BEST:: SOT 128814 SOS 81942 HAS SOPS 81942 HAS SOUS 29871 HAS SOUPS 29871 WITH SCORE 29952.942
AT ITER 8212 NEW BEST:: SOT 128811 SOS 81939 HAS SOPS 81939 HAS SOUS 29860 HAS SOUPS 29860 WITH SCORE 29941.939
AT ITER 8285 NEW BEST:: SOT 128760 SOS 82128 HAS SOPS 82128 HAS SOUS 29696 HAS SOUPS 29696 WITH SCORE 29778.128
AT ITER 8301 NEW BEST:: SOT 129006 SOS 82606 HAS SOPS 82606 HAS SOUS 29675 HAS SOUPS 29675 WITH SCORE 29757.606
AT ITER 8319 NEW BEST:: SOT 129009 SOS 82609 HAS SOPS 82609 HAS SOUS 29670 HAS SOUPS 29670 WITH SCORE 29752.609
AT ITER 8349 NEW BEST:: SOT 129009 SOS 82609 HAS SOPS 82609 HAS SOUS 29641 HAS SOUPS 29641 WITH SCORE 29723.609
AT ITER 8388 NEW BEST:: SOT 129006 SOS 82390 HAS SOPS 82390 HAS SOUS 29638 HAS SOUPS 29638 WITH SCORE 29720.39
AT ITER 8524 NEW BEST:: SOT 129001 SOS 82385 HAS SOPS 82385 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29707.385
AT ITER 8606 NEW BEST:: SOT 129007 SOS 82327 HAS SOPS 82327 HAS SOUS 29601 HAS SOUPS 29601 WITH SCORE 29683.327
AT ITER 8697 NEW BEST:: SOT 129022 SOS 82342 HAS SOPS 82342 HAS SOUS 29543 HAS SOUPS 29543 WITH SCORE 29625.342
AT ITER 8851 NEW BEST:: SOT 129022 SOS 82294 HAS SOPS 82294 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29624.294
AT ITER 9075 NEW BEST:: SOT 128983 SOS 82255 HAS SOPS 82255 HAS SOUS 29503 HAS SOUPS 29503 WITH SCORE 29585.255
AT ITER 9142 NEW BEST:: SOT 128967 SOS 82239 HAS SOPS 82239 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29577.239
AT ITER 9185 NEW BEST:: SOT 128956 SOS 82228 HAS SOPS 82228 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29567.228
AT ITER 9242 NEW BEST:: SOT 128931 SOS 82147 HAS SOPS 82147 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29557.147
AT ITER 9268 NEW BEST:: SOT 128930 SOS 82146 HAS SOPS 82146 HAS SOUS 29474 HAS SOUPS 29474 WITH SCORE 29556.146
AT ITER 9290 NEW BEST:: SOT 128983 SOS 82199 HAS SOPS 82199 HAS SOUS 29464 HAS SOUPS 29464 WITH SCORE 29546.199
AT ITER 9306 NEW BEST:: SOT 128951 SOS 82167 HAS SOPS 82167 HAS SOUS 29464 HAS SOUPS 29464 WITH SCORE 29546.167
AT ITER 9340 NEW BEST:: SOT 128899 SOS 82115 HAS SOPS 82115 HAS SOUS 29440 HAS SOUPS 29440 WITH SCORE 29522.115
AT ITER 9384 NEW BEST:: SOT 128899 SOS 82179 HAS SOPS 82179 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29521.179
AT ITER 9481 NEW BEST:: SOT 128890 SOS 82170 HAS SOPS 82170 HAS SOUS 29414 HAS SOUPS 29414 WITH SCORE 29496.17
AT ITER 9509 NEW BEST:: SOT 128891 SOS 82171 HAS SOPS 82171 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29481.171
AT ITER 9575 NEW BEST:: SOT 128901 SOS 82213 HAS SOPS 82213 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29477.213
AT ITER 9639 NEW BEST:: SOT 128907 SOS 82251 HAS SOPS 82251 HAS SOUS 29361 HAS SOUPS 29361 WITH SCORE 29443.251
AT ITER 9833 NEW BEST:: SOT 128911 SOS 82255 HAS SOPS 82255 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29423.255

BK_STOP 1678904105062

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 486 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-COL-50"
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 PermAdmissibility-COL-50, 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 r267-smll-167863541900504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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