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-167873953500856.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-32, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953500856
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.9K Feb 26 01:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 01:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 01:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 18K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 01:41 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 131K 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 1679559235766

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-32
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:13:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:13:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:13:57] [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 08:13:57] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 08:13:57] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 493 ms
[2023-03-23 08:13:57] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 3806 PT places and 506.0 transition bindings in 172 ms.
[2023-03-23 08:13:57] [INFO ] Unfolded HLPN to a Petri net with 3806 places and 506 transitions 8173 arcs in 41 ms.
[2023-03-23 08:13:57] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 08:13:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3806 places, 506 transitions and 8173 arcs took 25 ms.
Total runtime 819 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 32
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: 3806 places, 506 transitions, 8173 arcs.
AT ITER 0 NEW BEST:: SOT 1095305 SOS 884917 HAS SOPS 884917 HAS SOUS 730165 HAS SOUPS 730165 WITH SCORE 731049.917
AT ITER 55 NEW BEST:: SOT 1094665 SOS 884292 HAS SOPS 884292 HAS SOUS 729527 HAS SOUPS 729527 WITH SCORE 730411.292
AT ITER 87 NEW BEST:: SOT 1094665 SOS 880650 HAS SOPS 880650 HAS SOUS 725917 HAS SOUPS 725917 WITH SCORE 726797.65
AT ITER 121 NEW BEST:: SOT 1094665 SOS 880519 HAS SOPS 880519 HAS SOUS 725561 HAS SOUPS 725561 WITH SCORE 726441.519
AT ITER 192 NEW BEST:: SOT 1094898 SOS 877045 HAS SOPS 877045 HAS SOUS 722384 HAS SOUPS 722384 WITH SCORE 723261.045
AT ITER 245 NEW BEST:: SOT 1094898 SOS 875853 HAS SOPS 875853 HAS SOUS 721224 HAS SOUPS 721224 WITH SCORE 722099.853
AT ITER 247 NEW BEST:: SOT 1095101 SOS 872898 HAS SOPS 872898 HAS SOUS 720173 HAS SOUPS 720173 WITH SCORE 721045.898
AT ITER 255 NEW BEST:: SOT 1096090 SOS 871354 HAS SOPS 871354 HAS SOUS 719683 HAS SOUPS 719683 WITH SCORE 720554.354
AT ITER 262 NEW BEST:: SOT 1096057 SOS 871221 HAS SOPS 871221 HAS SOUS 719582 HAS SOUPS 719582 WITH SCORE 720453.221
AT ITER 293 NEW BEST:: SOT 1096235 SOS 870812 HAS SOPS 870812 HAS SOUS 718689 HAS SOUPS 718689 WITH SCORE 719559.812
AT ITER 363 NEW BEST:: SOT 1096202 SOS 870779 HAS SOPS 870779 HAS SOUS 718656 HAS SOUPS 718656 WITH SCORE 719526.779
AT ITER 503 NEW BEST:: SOT 1096543 SOS 867396 HAS SOPS 867396 HAS SOUS 715678 HAS SOUPS 715678 WITH SCORE 716545.396
AT ITER 543 NEW BEST:: SOT 1096756 SOS 867353 HAS SOPS 867353 HAS SOUS 715503 HAS SOUPS 715503 WITH SCORE 716370.353
AT ITER 579 NEW BEST:: SOT 1097429 SOS 865515 HAS SOPS 865515 HAS SOUS 713223 HAS SOUPS 713223 WITH SCORE 714088.515
AT ITER 614 NEW BEST:: SOT 1097433 SOS 865499 HAS SOPS 865499 HAS SOUS 713207 HAS SOUPS 713207 WITH SCORE 714072.499
AT ITER 618 NEW BEST:: SOT 1097720 SOS 862513 HAS SOPS 862513 HAS SOUS 710572 HAS SOUPS 710572 WITH SCORE 711434.513
AT ITER 619 NEW BEST:: SOT 1097880 SOS 861540 HAS SOPS 861540 HAS SOUS 709823 HAS SOUPS 709823 WITH SCORE 710684.54
AT ITER 625 NEW BEST:: SOT 1099037 SOS 860916 HAS SOPS 860916 HAS SOUS 708491 HAS SOUPS 708491 WITH SCORE 709351.916
AT ITER 708 NEW BEST:: SOT 1099036 SOS 859528 HAS SOPS 859528 HAS SOUS 707807 HAS SOUPS 707807 WITH SCORE 708666.528
AT ITER 816 NEW BEST:: SOT 1099015 SOS 859507 HAS SOPS 859507 HAS SOUS 707786 HAS SOUPS 707786 WITH SCORE 708645.507
AT ITER 861 NEW BEST:: SOT 1099015 SOS 859442 HAS SOPS 859442 HAS SOUS 707545 HAS SOUPS 707545 WITH SCORE 708404.442
AT ITER 881 NEW BEST:: SOT 1098994 SOS 859421 HAS SOPS 859421 HAS SOUS 707524 HAS SOUPS 707524 WITH SCORE 708383.421
AT ITER 890 NEW BEST:: SOT 1099087 SOS 858957 HAS SOPS 858957 HAS SOUS 706512 HAS SOUPS 706512 WITH SCORE 707370.957
AT ITER 1022 NEW BEST:: SOT 1099054 SOS 858924 HAS SOPS 858924 HAS SOUS 706479 HAS SOUPS 706479 WITH SCORE 707337.924
AT ITER 1073 NEW BEST:: SOT 1099051 SOS 858921 HAS SOPS 858921 HAS SOUS 706476 HAS SOUPS 706476 WITH SCORE 707334.921
AT ITER 1087 NEW BEST:: SOT 1099018 SOS 858772 HAS SOPS 858772 HAS SOUS 706359 HAS SOUPS 706359 WITH SCORE 707217.772
AT ITER 1127 NEW BEST:: SOT 1099016 SOS 858770 HAS SOPS 858770 HAS SOUS 706357 HAS SOUPS 706357 WITH SCORE 707215.77
AT ITER 1130 NEW BEST:: SOT 1098996 SOS 858750 HAS SOPS 858750 HAS SOUS 706337 HAS SOUPS 706337 WITH SCORE 707195.75
AT ITER 1165 NEW BEST:: SOT 1098642 SOS 858428 HAS SOPS 858428 HAS SOUS 706015 HAS SOUPS 706015 WITH SCORE 706873.428
AT ITER 1250 NEW BEST:: SOT 1098642 SOS 858405 HAS SOPS 858405 HAS SOUS 705992 HAS SOUPS 705992 WITH SCORE 706850.405
AT ITER 1392 NEW BEST:: SOT 1098759 SOS 854398 HAS SOPS 854398 HAS SOUS 702892 HAS SOUPS 702892 WITH SCORE 703746.398
AT ITER 1417 NEW BEST:: SOT 1098759 SOS 854334 HAS SOPS 854334 HAS SOUS 702825 HAS SOUPS 702825 WITH SCORE 703679.334
AT ITER 1441 NEW BEST:: SOT 1098759 SOS 854334 HAS SOPS 854334 HAS SOUS 702824 HAS SOUPS 702824 WITH SCORE 703678.334
AT ITER 1442 NEW BEST:: SOT 1097809 SOS 853384 HAS SOPS 853384 HAS SOUS 701874 HAS SOUPS 701874 WITH SCORE 702727.384
AT ITER 1462 NEW BEST:: SOT 1098549 SOS 853351 HAS SOPS 853351 HAS SOUS 701841 HAS SOUPS 701841 WITH SCORE 702694.351
AT ITER 1485 NEW BEST:: SOT 1100428 SOS 853283 HAS SOPS 853283 HAS SOUS 701773 HAS SOUPS 701773 WITH SCORE 702626.283
AT ITER 1488 NEW BEST:: SOT 1100427 SOS 853282 HAS SOPS 853282 HAS SOUS 701772 HAS SOUPS 701772 WITH SCORE 702625.282
AT ITER 1542 NEW BEST:: SOT 1100427 SOS 852780 HAS SOPS 852780 HAS SOUS 701594 HAS SOUPS 701594 WITH SCORE 702446.78
AT ITER 1546 NEW BEST:: SOT 1100820 SOS 850913 HAS SOPS 850913 HAS SOUS 699412 HAS SOUPS 699412 WITH SCORE 700262.913
AT ITER 1547 NEW BEST:: SOT 1100787 SOS 850871 HAS SOPS 850871 HAS SOUS 699370 HAS SOUPS 699370 WITH SCORE 700220.871
AT ITER 1560 NEW BEST:: SOT 1100516 SOS 850600 HAS SOPS 850600 HAS SOUS 699099 HAS SOUPS 699099 WITH SCORE 699949.6
AT ITER 1573 NEW BEST:: SOT 1100515 SOS 850599 HAS SOPS 850599 HAS SOUS 699098 HAS SOUPS 699098 WITH SCORE 699948.599
AT ITER 1693 NEW BEST:: SOT 1100485 SOS 850509 HAS SOPS 850509 HAS SOUS 699038 HAS SOUPS 699038 WITH SCORE 699888.509
AT ITER 1725 NEW BEST:: SOT 1100829 SOS 847072 HAS SOPS 847072 HAS SOUS 696009 HAS SOUPS 696009 WITH SCORE 696856.072
AT ITER 1735 NEW BEST:: SOT 1102008 SOS 846866 HAS SOPS 846866 HAS SOUS 695479 HAS SOUPS 695479 WITH SCORE 696325.866
AT ITER 1754 NEW BEST:: SOT 1101997 SOS 846855 HAS SOPS 846855 HAS SOUS 695468 HAS SOUPS 695468 WITH SCORE 696314.855
AT ITER 1766 NEW BEST:: SOT 1102579 SOS 846118 HAS SOPS 846118 HAS SOUS 693927 HAS SOUPS 693927 WITH SCORE 694773.118
AT ITER 1790 NEW BEST:: SOT 1102550 SOS 846089 HAS SOPS 846089 HAS SOUS 693898 HAS SOUPS 693898 WITH SCORE 694744.089
AT ITER 1840 NEW BEST:: SOT 1103256 SOS 842946 HAS SOPS 842946 HAS SOUS 693034 HAS SOUPS 693034 WITH SCORE 693876.946
AT ITER 1864 NEW BEST:: SOT 1103231 SOS 842921 HAS SOPS 842921 HAS SOUS 693009 HAS SOUPS 693009 WITH SCORE 693851.921
AT ITER 1887 NEW BEST:: SOT 1103364 SOS 841281 HAS SOPS 841281 HAS SOUS 692042 HAS SOUPS 692042 WITH SCORE 692883.281
AT ITER 1889 NEW BEST:: SOT 1103847 SOS 840317 HAS SOPS 840317 HAS SOUS 690210 HAS SOUPS 690210 WITH SCORE 691050.317
AT ITER 1890 NEW BEST:: SOT 1103847 SOS 840056 HAS SOPS 840056 HAS SOUS 689702 HAS SOUPS 689702 WITH SCORE 690542.056
AT ITER 1959 NEW BEST:: SOT 1103847 SOS 840046 HAS SOPS 840046 HAS SOUS 689400 HAS SOUPS 689400 WITH SCORE 690240.046
AT ITER 2009 NEW BEST:: SOT 1103833 SOS 840032 HAS SOPS 840032 HAS SOUS 689386 HAS SOUPS 689386 WITH SCORE 690226.032
AT ITER 2010 NEW BEST:: SOT 1104527 SOS 839931 HAS SOPS 839931 HAS SOUS 689285 HAS SOUPS 689285 WITH SCORE 690124.931
AT ITER 2012 NEW BEST:: SOT 1104527 SOS 837218 HAS SOPS 837218 HAS SOUS 686604 HAS SOUPS 686604 WITH SCORE 687441.218
AT ITER 2086 NEW BEST:: SOT 1104527 SOS 835708 HAS SOPS 835708 HAS SOUS 685094 HAS SOUPS 685094 WITH SCORE 685929.708
AT ITER 2098 NEW BEST:: SOT 1106110 SOS 835060 HAS SOPS 835060 HAS SOUS 684823 HAS SOUPS 684823 WITH SCORE 685658.06
AT ITER 2136 NEW BEST:: SOT 1106700 SOS 834404 HAS SOPS 834404 HAS SOUS 684790 HAS SOUPS 684790 WITH SCORE 685624.404
AT ITER 2176 NEW BEST:: SOT 1106460 SOS 834164 HAS SOPS 834164 HAS SOUS 684550 HAS SOUPS 684550 WITH SCORE 685384.164
AT ITER 2182 NEW BEST:: SOT 1107045 SOS 833086 HAS SOPS 833086 HAS SOUS 682444 HAS SOUPS 682444 WITH SCORE 683277.086
AT ITER 2236 NEW BEST:: SOT 1107063 SOS 833074 HAS SOPS 833074 HAS SOUS 682432 HAS SOUPS 682432 WITH SCORE 683265.074
AT ITER 2253 NEW BEST:: SOT 1107912 SOS 833073 HAS SOPS 833073 HAS SOUS 682431 HAS SOUPS 682431 WITH SCORE 683264.073
AT ITER 2285 NEW BEST:: SOT 1107912 SOS 832914 HAS SOPS 832914 HAS SOUS 682220 HAS SOUPS 682220 WITH SCORE 683052.914
AT ITER 2318 NEW BEST:: SOT 1107911 SOS 832913 HAS SOPS 832913 HAS SOUS 682219 HAS SOUPS 682219 WITH SCORE 683051.913
AT ITER 2362 NEW BEST:: SOT 1107871 SOS 832873 HAS SOPS 832873 HAS SOUS 682179 HAS SOUPS 682179 WITH SCORE 683011.873
AT ITER 2465 NEW BEST:: SOT 1107871 SOS 832415 HAS SOPS 832415 HAS SOUS 681753 HAS SOUPS 681753 WITH SCORE 682585.415
AT ITER 2499 NEW BEST:: SOT 1107899 SOS 826404 HAS SOPS 826404 HAS SOUS 679793 HAS SOUPS 679793 WITH SCORE 680619.404
AT ITER 2513 NEW BEST:: SOT 1107896 SOS 826401 HAS SOPS 826401 HAS SOUS 679790 HAS SOUPS 679790 WITH SCORE 680616.401
AT ITER 2533 NEW BEST:: SOT 1107896 SOS 825839 HAS SOPS 825839 HAS SOUS 678884 HAS SOUPS 678884 WITH SCORE 679709.839
AT ITER 2555 NEW BEST:: SOT 1108219 SOS 825516 HAS SOPS 825516 HAS SOUS 678884 HAS SOUPS 678884 WITH SCORE 679709.516
AT ITER 2581 NEW BEST:: SOT 1108452 SOS 825283 HAS SOPS 825283 HAS SOUS 678884 HAS SOUPS 678884 WITH SCORE 679709.283
AT ITER 2633 NEW BEST:: SOT 1107489 SOS 824320 HAS SOPS 824320 HAS SOUS 677896 HAS SOUPS 677896 WITH SCORE 678720.32
AT ITER 2701 NEW BEST:: SOT 1107491 SOS 824282 HAS SOPS 824282 HAS SOUS 677837 HAS SOUPS 677837 WITH SCORE 678661.282
AT ITER 2773 NEW BEST:: SOT 1107772 SOS 824522 HAS SOPS 824522 HAS SOUS 677796 HAS SOUPS 677796 WITH SCORE 678620.522
AT ITER 2791 NEW BEST:: SOT 1107175 SOS 823925 HAS SOPS 823925 HAS SOUS 677199 HAS SOUPS 677199 WITH SCORE 678022.925
AT ITER 2801 NEW BEST:: SOT 1107388 SOS 820059 HAS SOPS 820059 HAS SOUS 675473 HAS SOUPS 675473 WITH SCORE 676293.059
AT ITER 2823 NEW BEST:: SOT 1107524 SOS 820178 HAS SOPS 820178 HAS SOUS 675456 HAS SOUPS 675456 WITH SCORE 676276.178
AT ITER 2860 NEW BEST:: SOT 1108848 SOS 818441 HAS SOPS 818441 HAS SOUS 675196 HAS SOUPS 675196 WITH SCORE 676014.441
AT ITER 2899 NEW BEST:: SOT 1109756 SOS 817534 HAS SOPS 817534 HAS SOUS 674289 HAS SOUPS 674289 WITH SCORE 675106.534
AT ITER 2979 NEW BEST:: SOT 1109755 SOS 817533 HAS SOPS 817533 HAS SOUS 674288 HAS SOUPS 674288 WITH SCORE 675105.533
AT ITER 3017 NEW BEST:: SOT 1111291 SOS 816373 HAS SOPS 816373 HAS SOUS 674285 HAS SOUPS 674285 WITH SCORE 675101.373
AT ITER 3044 NEW BEST:: SOT 1111291 SOS 816362 HAS SOPS 816362 HAS SOUS 674274 HAS SOUPS 674274 WITH SCORE 675090.362
AT ITER 3090 NEW BEST:: SOT 1112353 SOS 815741 HAS SOPS 815741 HAS SOUS 673653 HAS SOUPS 673653 WITH SCORE 674468.741
AT ITER 3097 NEW BEST:: SOT 1112320 SOS 815703 HAS SOPS 815703 HAS SOUS 673615 HAS SOUPS 673615 WITH SCORE 674430.703
AT ITER 3126 NEW BEST:: SOT 1112307 SOS 815690 HAS SOPS 815690 HAS SOUS 673602 HAS SOUPS 673602 WITH SCORE 674417.69
AT ITER 3183 NEW BEST:: SOT 1112307 SOS 815557 HAS SOPS 815557 HAS SOUS 673578 HAS SOUPS 673578 WITH SCORE 674393.557
AT ITER 3250 NEW BEST:: SOT 1113587 SOS 815524 HAS SOPS 815524 HAS SOUS 673545 HAS SOUPS 673545 WITH SCORE 674360.524
AT ITER 3358 NEW BEST:: SOT 1113586 SOS 815523 HAS SOPS 815523 HAS SOUS 673544 HAS SOUPS 673544 WITH SCORE 674359.523
AT ITER 3360 NEW BEST:: SOT 1113541 SOS 815478 HAS SOPS 815478 HAS SOUS 673499 HAS SOUPS 673499 WITH SCORE 674314.478
AT ITER 3417 NEW BEST:: SOT 1113541 SOS 815478 HAS SOPS 815478 HAS SOUS 673498 HAS SOUPS 673498 WITH SCORE 674313.478
AT ITER 3429 NEW BEST:: SOT 1113541 SOS 815452 HAS SOPS 815452 HAS SOUS 673472 HAS SOUPS 673472 WITH SCORE 674287.452
AT ITER 3492 NEW BEST:: SOT 1113780 SOS 815396 HAS SOPS 815396 HAS SOUS 673416 HAS SOUPS 673416 WITH SCORE 674231.396
AT ITER 3504 NEW BEST:: SOT 1113639 SOS 815274 HAS SOPS 815274 HAS SOUS 673294 HAS SOUPS 673294 WITH SCORE 674109.274
AT ITER 3527 NEW BEST:: SOT 1113531 SOS 815166 HAS SOPS 815166 HAS SOUS 673186 HAS SOUPS 673186 WITH SCORE 674001.166
AT ITER 3532 NEW BEST:: SOT 1113530 SOS 815165 HAS SOPS 815165 HAS SOUS 673185 HAS SOUPS 673185 WITH SCORE 674000.165
AT ITER 3579 NEW BEST:: SOT 1113530 SOS 815009 HAS SOPS 815009 HAS SOUS 673029 HAS SOUPS 673029 WITH SCORE 673844.009
AT ITER 3595 NEW BEST:: SOT 1113866 SOS 814567 HAS SOPS 814567 HAS SOUS 672737 HAS SOUPS 672737 WITH SCORE 673551.567
AT ITER 3610 NEW BEST:: SOT 1114337 SOS 814096 HAS SOPS 814096 HAS SOUS 672737 HAS SOUPS 672737 WITH SCORE 673551.096
AT ITER 3622 NEW BEST:: SOT 1114337 SOS 813790 HAS SOPS 813790 HAS SOUS 672584 HAS SOUPS 672584 WITH SCORE 673397.79
AT ITER 3633 NEW BEST:: SOT 1114337 SOS 812627 HAS SOPS 812627 HAS SOUS 672089 HAS SOUPS 672089 WITH SCORE 672901.627
AT ITER 3667 NEW BEST:: SOT 1114337 SOS 812626 HAS SOPS 812626 HAS SOUS 672088 HAS SOUPS 672088 WITH SCORE 672900.626
AT ITER 3675 NEW BEST:: SOT 1114506 SOS 808388 HAS SOPS 808388 HAS SOUS 670040 HAS SOUPS 670040 WITH SCORE 670848.388
AT ITER 3679 NEW BEST:: SOT 1114506 SOS 807284 HAS SOPS 807284 HAS SOUS 669304 HAS SOUPS 669304 WITH SCORE 670111.284
AT ITER 3788 NEW BEST:: SOT 1114471 SOS 807249 HAS SOPS 807249 HAS SOUS 669269 HAS SOUPS 669269 WITH SCORE 670076.249
AT ITER 3831 NEW BEST:: SOT 1114471 SOS 804005 HAS SOPS 804005 HAS SOUS 667751 HAS SOUPS 667751 WITH SCORE 668555.005
AT ITER 3912 NEW BEST:: SOT 1114471 SOS 802103 HAS SOPS 802103 HAS SOUS 666800 HAS SOUPS 666800 WITH SCORE 667602.103
AT ITER 3913 NEW BEST:: SOT 1114471 SOS 748660 HAS SOPS 748660 HAS SOUS 665197 HAS SOUPS 665197 WITH SCORE 665945.66
AT ITER 3918 NEW BEST:: SOT 1114471 SOS 746275 HAS SOPS 746275 HAS SOUS 663723 HAS SOUPS 663723 WITH SCORE 664469.275
AT ITER 4083 NEW BEST:: SOT 1114471 SOS 745769 HAS SOPS 745769 HAS SOUS 663701 HAS SOUPS 663701 WITH SCORE 664446.769
AT ITER 4086 NEW BEST:: SOT 1117387 SOS 744870 HAS SOPS 744870 HAS SOUS 663597 HAS SOUPS 663597 WITH SCORE 664341.87
AT ITER 4159 NEW BEST:: SOT 1118167 SOS 744419 HAS SOPS 744419 HAS SOUS 663597 HAS SOUPS 663597 WITH SCORE 664341.419
AT ITER 4196 NEW BEST:: SOT 1118167 SOS 743931 HAS SOPS 743931 HAS SOUS 663109 HAS SOUPS 663109 WITH SCORE 663852.931
AT ITER 4204 NEW BEST:: SOT 1118228 SOS 740180 HAS SOPS 740180 HAS SOUS 659483 HAS SOUPS 659483 WITH SCORE 660223.18
AT ITER 4267 NEW BEST:: SOT 1118213 SOS 740165 HAS SOPS 740165 HAS SOUS 659468 HAS SOUPS 659468 WITH SCORE 660208.165
AT ITER 4300 NEW BEST:: SOT 1118494 SOS 738073 HAS SOPS 738073 HAS SOUS 658449 HAS SOUPS 658449 WITH SCORE 659187.073
AT ITER 4333 NEW BEST:: SOT 1118988 SOS 738040 HAS SOPS 738040 HAS SOUS 658416 HAS SOUPS 658416 WITH SCORE 659154.04
AT ITER 4340 NEW BEST:: SOT 1119463 SOS 738473 HAS SOPS 738473 HAS SOUS 658374 HAS SOUPS 658374 WITH SCORE 659112.473
AT ITER 4402 NEW BEST:: SOT 1119270 SOS 738280 HAS SOPS 738280 HAS SOUS 658181 HAS SOUPS 658181 WITH SCORE 658919.28
AT ITER 4407 NEW BEST:: SOT 1119270 SOS 736990 HAS SOPS 736990 HAS SOUS 657321 HAS SOUPS 657321 WITH SCORE 658057.99
AT ITER 4414 NEW BEST:: SOT 1119945 SOS 735688 HAS SOPS 735688 HAS SOUS 656994 HAS SOUPS 656994 WITH SCORE 657729.688
AT ITER 4498 NEW BEST:: SOT 1120648 SOS 734985 HAS SOPS 734985 HAS SOUS 656994 HAS SOUPS 656994 WITH SCORE 657728.985
AT ITER 4502 NEW BEST:: SOT 1120666 SOS 734984 HAS SOPS 734984 HAS SOUS 656993 HAS SOUPS 656993 WITH SCORE 657727.984
AT ITER 4504 NEW BEST:: SOT 1120680 SOS 733924 HAS SOPS 733924 HAS SOUS 654969 HAS SOUPS 654969 WITH SCORE 655702.924
AT ITER 4510 NEW BEST:: SOT 1120680 SOS 733771 HAS SOPS 733771 HAS SOUS 654816 HAS SOUPS 654816 WITH SCORE 655549.771
AT ITER 4543 NEW BEST:: SOT 1120680 SOS 732641 HAS SOPS 732641 HAS SOUS 653686 HAS SOUPS 653686 WITH SCORE 654418.641
AT ITER 4590 NEW BEST:: SOT 1120679 SOS 732640 HAS SOPS 732640 HAS SOUS 653685 HAS SOUPS 653685 WITH SCORE 654417.64
AT ITER 4614 NEW BEST:: SOT 1120679 SOS 732543 HAS SOPS 732543 HAS SOUS 653627 HAS SOUPS 653627 WITH SCORE 654359.543
AT ITER 4652 NEW BEST:: SOT 1118317 SOS 730181 HAS SOPS 730181 HAS SOUS 652334 HAS SOUPS 652334 WITH SCORE 653064.181
AT ITER 4683 NEW BEST:: SOT 1117806 SOS 729670 HAS SOPS 729670 HAS SOUS 651823 HAS SOUPS 651823 WITH SCORE 652552.67
AT ITER 4696 NEW BEST:: SOT 1117855 SOS 729446 HAS SOPS 729446 HAS SOUS 651599 HAS SOUPS 651599 WITH SCORE 652328.446
AT ITER 4704 NEW BEST:: SOT 1117602 SOS 729193 HAS SOPS 729193 HAS SOUS 651346 HAS SOUPS 651346 WITH SCORE 652075.193
AT ITER 4706 NEW BEST:: SOT 1117602 SOS 727814 HAS SOPS 727814 HAS SOUS 650500 HAS SOUPS 650500 WITH SCORE 651227.814
AT ITER 4717 NEW BEST:: SOT 1117602 SOS 727647 HAS SOPS 727647 HAS SOUS 649312 HAS SOUPS 649312 WITH SCORE 650039.647
AT ITER 4742 NEW BEST:: SOT 1117602 SOS 727640 HAS SOPS 727640 HAS SOUS 649305 HAS SOUPS 649305 WITH SCORE 650032.64
AT ITER 4757 NEW BEST:: SOT 1117834 SOS 727607 HAS SOPS 727607 HAS SOUS 649272 HAS SOUPS 649272 WITH SCORE 649999.607
AT ITER 4851 NEW BEST:: SOT 1117834 SOS 727607 HAS SOPS 727607 HAS SOUS 649271 HAS SOUPS 649271 WITH SCORE 649998.607
AT ITER 4889 NEW BEST:: SOT 1117868 SOS 724963 HAS SOPS 724963 HAS SOUS 648074 HAS SOUPS 648074 WITH SCORE 648798.963
AT ITER 4929 NEW BEST:: SOT 1117868 SOS 724929 HAS SOPS 724929 HAS SOUS 648040 HAS SOUPS 648040 WITH SCORE 648764.929
AT ITER 4938 NEW BEST:: SOT 1117868 SOS 724929 HAS SOPS 724929 HAS SOUS 648026 HAS SOUPS 648026 WITH SCORE 648750.929
AT ITER 4948 NEW BEST:: SOT 1117843 SOS 724904 HAS SOPS 724904 HAS SOUS 648026 HAS SOUPS 648026 WITH SCORE 648750.904
AT ITER 4949 NEW BEST:: SOT 1117842 SOS 724903 HAS SOPS 724903 HAS SOUS 648025 HAS SOUPS 648025 WITH SCORE 648749.903
AT ITER 4974 NEW BEST:: SOT 1117842 SOS 722204 HAS SOPS 722204 HAS SOUS 646693 HAS SOUPS 646693 WITH SCORE 647415.204
AT ITER 4987 NEW BEST:: SOT 1117793 SOS 722155 HAS SOPS 722155 HAS SOUS 646644 HAS SOUPS 646644 WITH SCORE 647366.155
AT ITER 5076 NEW BEST:: SOT 1117792 SOS 722154 HAS SOPS 722154 HAS SOUS 646643 HAS SOUPS 646643 WITH SCORE 647365.154
AT ITER 5168 NEW BEST:: SOT 1117792 SOS 722142 HAS SOPS 722142 HAS SOUS 646631 HAS SOUPS 646631 WITH SCORE 647353.142
AT ITER 5188 NEW BEST:: SOT 1117792 SOS 722139 HAS SOPS 722139 HAS SOUS 646628 HAS SOUPS 646628 WITH SCORE 647350.139
AT ITER 5252 NEW BEST:: SOT 1117792 SOS 721542 HAS SOPS 721542 HAS SOUS 645865 HAS SOUPS 645865 WITH SCORE 646586.542
AT ITER 5275 NEW BEST:: SOT 1117792 SOS 721534 HAS SOPS 721534 HAS SOUS 645857 HAS SOUPS 645857 WITH SCORE 646578.534
AT ITER 5313 NEW BEST:: SOT 1117792 SOS 721497 HAS SOPS 721497 HAS SOUS 645820 HAS SOUPS 645820 WITH SCORE 646541.497
AT ITER 5348 NEW BEST:: SOT 1117792 SOS 721497 HAS SOPS 721497 HAS SOUS 645816 HAS SOUPS 645816 WITH SCORE 646537.497
AT ITER 5454 NEW BEST:: SOT 1117972 SOS 721674 HAS SOPS 721674 HAS SOUS 645813 HAS SOUPS 645813 WITH SCORE 646534.674
AT ITER 5485 NEW BEST:: SOT 1118456 SOS 721641 HAS SOPS 721641 HAS SOUS 645780 HAS SOUPS 645780 WITH SCORE 646501.641
AT ITER 5514 NEW BEST:: SOT 1118479 SOS 721664 HAS SOPS 721664 HAS SOUS 645444 HAS SOUPS 645444 WITH SCORE 646165.664
AT ITER 5583 NEW BEST:: SOT 1118479 SOS 720772 HAS SOPS 720772 HAS SOUS 645017 HAS SOUPS 645017 WITH SCORE 645737.772
AT ITER 5610 NEW BEST:: SOT 1118472 SOS 720765 HAS SOPS 720765 HAS SOUS 645010 HAS SOUPS 645010 WITH SCORE 645730.765
AT ITER 5625 NEW BEST:: SOT 1118472 SOS 720729 HAS SOPS 720729 HAS SOUS 644974 HAS SOUPS 644974 WITH SCORE 645694.729
AT ITER 5658 NEW BEST:: SOT 1118472 SOS 720548 HAS SOPS 720548 HAS SOUS 644953 HAS SOUPS 644953 WITH SCORE 645673.548
AT ITER 5733 NEW BEST:: SOT 1118471 SOS 720547 HAS SOPS 720547 HAS SOUS 644952 HAS SOUPS 644952 WITH SCORE 645672.547
AT ITER 5748 NEW BEST:: SOT 1118393 SOS 720525 HAS SOPS 720525 HAS SOUS 644930 HAS SOUPS 644930 WITH SCORE 645650.525
AT ITER 5758 NEW BEST:: SOT 1118838 SOS 720492 HAS SOPS 720492 HAS SOUS 644897 HAS SOUPS 644897 WITH SCORE 645617.492
AT ITER 5797 NEW BEST:: SOT 1118826 SOS 720480 HAS SOPS 720480 HAS SOUS 644885 HAS SOUPS 644885 WITH SCORE 645605.48
AT ITER 5837 NEW BEST:: SOT 1118826 SOS 720362 HAS SOPS 720362 HAS SOUS 644767 HAS SOUPS 644767 WITH SCORE 645487.362
AT ITER 5841 NEW BEST:: SOT 1118810 SOS 720346 HAS SOPS 720346 HAS SOUS 644751 HAS SOUPS 644751 WITH SCORE 645471.346
AT ITER 5858 NEW BEST:: SOT 1119159 SOS 719931 HAS SOPS 719931 HAS SOUS 644718 HAS SOUPS 644718 WITH SCORE 645437.931
AT ITER 5928 NEW BEST:: SOT 1118460 SOS 719232 HAS SOPS 719232 HAS SOUS 643991 HAS SOUPS 643991 WITH SCORE 644710.232
AT ITER 5929 NEW BEST:: SOT 1118438 SOS 719210 HAS SOPS 719210 HAS SOUS 643969 HAS SOUPS 643969 WITH SCORE 644688.21
AT ITER 5992 NEW BEST:: SOT 1118438 SOS 700829 HAS SOPS 700829 HAS SOUS 643412 HAS SOUPS 643412 WITH SCORE 644112.829
AT ITER 6059 NEW BEST:: SOT 1118438 SOS 700829 HAS SOPS 700829 HAS SOUS 643411 HAS SOUPS 643411 WITH SCORE 644111.829
AT ITER 6095 NEW BEST:: SOT 1118438 SOS 698577 HAS SOPS 698577 HAS SOUS 642954 HAS SOUPS 642954 WITH SCORE 643652.577
AT ITER 6116 NEW BEST:: SOT 1118401 SOS 698540 HAS SOPS 698540 HAS SOUS 642917 HAS SOUPS 642917 WITH SCORE 643615.54
AT ITER 6134 NEW BEST:: SOT 1119360 SOS 694813 HAS SOPS 694813 HAS SOUS 641529 HAS SOUPS 641529 WITH SCORE 642223.813
AT ITER 6138 NEW BEST:: SOT 1118938 SOS 694391 HAS SOPS 694391 HAS SOUS 641107 HAS SOUPS 641107 WITH SCORE 641801.391
AT ITER 6150 NEW BEST:: SOT 1118938 SOS 694268 HAS SOPS 694268 HAS SOUS 640984 HAS SOUPS 640984 WITH SCORE 641678.268
AT ITER 6156 NEW BEST:: SOT 1118831 SOS 694161 HAS SOPS 694161 HAS SOUS 640877 HAS SOUPS 640877 WITH SCORE 641571.161
AT ITER 6170 NEW BEST:: SOT 1118684 SOS 694014 HAS SOPS 694014 HAS SOUS 640730 HAS SOUPS 640730 WITH SCORE 641424.014
AT ITER 6175 NEW BEST:: SOT 1118684 SOS 693835 HAS SOPS 693835 HAS SOUS 640551 HAS SOUPS 640551 WITH SCORE 641244.835
AT ITER 6195 NEW BEST:: SOT 1118683 SOS 693834 HAS SOPS 693834 HAS SOUS 640550 HAS SOUPS 640550 WITH SCORE 641243.834
AT ITER 6250 NEW BEST:: SOT 1118682 SOS 691983 HAS SOPS 691983 HAS SOUS 640167 HAS SOUPS 640167 WITH SCORE 640858.983
AT ITER 6259 NEW BEST:: SOT 1118250 SOS 692414 HAS SOPS 692414 HAS SOUS 640166 HAS SOUPS 640166 WITH SCORE 640858.414
AT ITER 6277 NEW BEST:: SOT 1118334 SOS 689832 HAS SOPS 689832 HAS SOUS 638621 HAS SOUPS 638621 WITH SCORE 639310.832
AT ITER 6311 NEW BEST:: SOT 1118348 SOS 689840 HAS SOPS 689840 HAS SOUS 638615 HAS SOUPS 638615 WITH SCORE 639304.84
AT ITER 6439 NEW BEST:: SOT 1118658 SOS 688476 HAS SOPS 688476 HAS SOUS 637593 HAS SOUPS 637593 WITH SCORE 638281.476
AT ITER 6474 NEW BEST:: SOT 1118675 SOS 688476 HAS SOPS 688476 HAS SOUS 637576 HAS SOUPS 637576 WITH SCORE 638264.476
AT ITER 6717 NEW BEST:: SOT 1117412 SOS 685492 HAS SOPS 685492 HAS SOUS 635018 HAS SOUPS 635018 WITH SCORE 635703.492
AT ITER 6759 NEW BEST:: SOT 1117412 SOS 685410 HAS SOPS 685410 HAS SOUS 634936 HAS SOUPS 634936 WITH SCORE 635621.41
AT ITER 6822 NEW BEST:: SOT 1117412 SOS 685410 HAS SOPS 685410 HAS SOUS 634935 HAS SOUPS 634935 WITH SCORE 635620.41
AT ITER 6848 NEW BEST:: SOT 1118314 SOS 684508 HAS SOPS 684508 HAS SOUS 634935 HAS SOUPS 634935 WITH SCORE 635619.508
AT ITER 6926 NEW BEST:: SOT 1118314 SOS 684508 HAS SOPS 684508 HAS SOUS 634934 HAS SOUPS 634934 WITH SCORE 635618.508
AT ITER 6982 NEW BEST:: SOT 1118314 SOS 683024 HAS SOPS 683024 HAS SOUS 634193 HAS SOUPS 634193 WITH SCORE 634876.024
AT ITER 7072 NEW BEST:: SOT 1118841 SOS 682511 HAS SOPS 682511 HAS SOUS 633846 HAS SOUPS 633846 WITH SCORE 634528.511
AT ITER 7119 NEW BEST:: SOT 1118841 SOS 682483 HAS SOPS 682483 HAS SOUS 633818 HAS SOUPS 633818 WITH SCORE 634500.483
AT ITER 7163 NEW BEST:: SOT 1118999 SOS 682600 HAS SOPS 682600 HAS SOUS 633777 HAS SOUPS 633777 WITH SCORE 634459.6
AT ITER 7252 NEW BEST:: SOT 1118999 SOS 681880 HAS SOPS 681880 HAS SOUS 633057 HAS SOUPS 633057 WITH SCORE 633738.88
AT ITER 7268 NEW BEST:: SOT 1118999 SOS 681880 HAS SOPS 681880 HAS SOUS 633049 HAS SOUPS 633049 WITH SCORE 633730.88
AT ITER 7315 NEW BEST:: SOT 1119932 SOS 681762 HAS SOPS 681762 HAS SOUS 632990 HAS SOUPS 632990 WITH SCORE 633671.762
AT ITER 7360 NEW BEST:: SOT 1119932 SOS 681399 HAS SOPS 681399 HAS SOUS 632976 HAS SOUPS 632976 WITH SCORE 633657.399
AT ITER 7385 NEW BEST:: SOT 1119924 SOS 681391 HAS SOPS 681391 HAS SOUS 632968 HAS SOUPS 632968 WITH SCORE 633649.391
AT ITER 7388 NEW BEST:: SOT 1119924 SOS 680530 HAS SOPS 680530 HAS SOUS 632536 HAS SOUPS 632536 WITH SCORE 633216.53
AT ITER 7422 NEW BEST:: SOT 1118965 SOS 679571 HAS SOPS 679571 HAS SOUS 631577 HAS SOUPS 631577 WITH SCORE 632256.571
AT ITER 7426 NEW BEST:: SOT 1118965 SOS 679568 HAS SOPS 679568 HAS SOUS 631574 HAS SOUPS 631574 WITH SCORE 632253.568
AT ITER 7464 NEW BEST:: SOT 1120131 SOS 679365 HAS SOPS 679365 HAS SOUS 631371 HAS SOUPS 631371 WITH SCORE 632050.365
AT ITER 7495 NEW BEST:: SOT 1120618 SOS 678864 HAS SOPS 678864 HAS SOUS 631364 HAS SOUPS 631364 WITH SCORE 632042.864
AT ITER 7532 NEW BEST:: SOT 1120618 SOS 678729 HAS SOPS 678729 HAS SOUS 631361 HAS SOUPS 631361 WITH SCORE 632039.729
AT ITER 7727 NEW BEST:: SOT 1122089 SOS 678583 HAS SOPS 678583 HAS SOUS 631215 HAS SOUPS 631215 WITH SCORE 631893.583
AT ITER 7746 NEW BEST:: SOT 1122089 SOS 678583 HAS SOPS 678583 HAS SOUS 631214 HAS SOUPS 631214 WITH SCORE 631892.583
AT ITER 7754 NEW BEST:: SOT 1122088 SOS 678582 HAS SOPS 678582 HAS SOUS 631213 HAS SOUPS 631213 WITH SCORE 631891.582
AT ITER 7810 NEW BEST:: SOT 1122088 SOS 678547 HAS SOPS 678547 HAS SOUS 631178 HAS SOUPS 631178 WITH SCORE 631856.547
AT ITER 7814 NEW BEST:: SOT 1122087 SOS 678546 HAS SOPS 678546 HAS SOUS 631177 HAS SOUPS 631177 WITH SCORE 631855.546
AT ITER 7845 NEW BEST:: SOT 1122087 SOS 678327 HAS SOPS 678327 HAS SOUS 631177 HAS SOUPS 631177 WITH SCORE 631855.327
AT ITER 7980 NEW BEST:: SOT 1122393 SOS 677955 HAS SOPS 677955 HAS SOUS 631144 HAS SOUPS 631144 WITH SCORE 631821.955
AT ITER 8065 NEW BEST:: SOT 1122393 SOS 677965 HAS SOPS 677965 HAS SOUS 631135 HAS SOUPS 631135 WITH SCORE 631812.965
AT ITER 8089 NEW BEST:: SOT 1122391 SOS 677963 HAS SOPS 677963 HAS SOUS 631133 HAS SOUPS 631133 WITH SCORE 631810.963
AT ITER 8106 NEW BEST:: SOT 1122322 SOS 677894 HAS SOPS 677894 HAS SOUS 631064 HAS SOUPS 631064 WITH SCORE 631741.894
AT ITER 8157 NEW BEST:: SOT 1122322 SOS 674750 HAS SOPS 674750 HAS SOUS 629492 HAS SOUPS 629492 WITH SCORE 630166.75
AT ITER 8168 NEW BEST:: SOT 1122322 SOS 674740 HAS SOPS 674740 HAS SOUS 629482 HAS SOUPS 629482 WITH SCORE 630156.74
AT ITER 8192 NEW BEST:: SOT 1122322 SOS 671291 HAS SOPS 671291 HAS SOUS 626982 HAS SOUPS 626982 WITH SCORE 627653.291
AT ITER 8296 NEW BEST:: SOT 1122322 SOS 669210 HAS SOPS 669210 HAS SOUS 625518 HAS SOUPS 625518 WITH SCORE 626187.21
AT ITER 8324 NEW BEST:: SOT 1122293 SOS 669181 HAS SOPS 669181 HAS SOUS 625489 HAS SOUPS 625489 WITH SCORE 626158.181
AT ITER 8368 NEW BEST:: SOT 1122293 SOS 669178 HAS SOPS 669178 HAS SOUS 625486 HAS SOUPS 625486 WITH SCORE 626155.178
AT ITER 8427 NEW BEST:: SOT 1124225 SOS 668891 HAS SOPS 668891 HAS SOUS 625199 HAS SOUPS 625199 WITH SCORE 625867.891
AT ITER 8462 NEW BEST:: SOT 1124601 SOS 668858 HAS SOPS 668858 HAS SOUS 625166 HAS SOUPS 625166 WITH SCORE 625834.858
AT ITER 8474 NEW BEST:: SOT 1124601 SOS 668585 HAS SOPS 668585 HAS SOUS 625088 HAS SOUPS 625088 WITH SCORE 625756.585
AT ITER 8565 NEW BEST:: SOT 1124601 SOS 667909 HAS SOPS 667909 HAS SOUS 624967 HAS SOUPS 624967 WITH SCORE 625634.909
AT ITER 8571 NEW BEST:: SOT 1124601 SOS 667806 HAS SOPS 667806 HAS SOUS 624864 HAS SOUPS 624864 WITH SCORE 625531.806
AT ITER 8932 NEW BEST:: SOT 1124577 SOS 667782 HAS SOPS 667782 HAS SOUS 624840 HAS SOUPS 624840 WITH SCORE 625507.782
AT ITER 8963 NEW BEST:: SOT 1125032 SOS 668174 HAS SOPS 668174 HAS SOUS 624776 HAS SOUPS 624776 WITH SCORE 625444.174
AT ITER 8994 NEW BEST:: SOT 1125065 SOS 667069 HAS SOPS 667069 HAS SOUS 624240 HAS SOUPS 624240 WITH SCORE 624907.069
AT ITER 9023 NEW BEST:: SOT 1125065 SOS 665353 HAS SOPS 665353 HAS SOUS 623382 HAS SOUPS 623382 WITH SCORE 624047.353
AT ITER 9057 NEW BEST:: SOT 1125357 SOS 665103 HAS SOPS 665103 HAS SOUS 623132 HAS SOUPS 623132 WITH SCORE 623797.103
AT ITER 9198 NEW BEST:: SOT 1125357 SOS 665110 HAS SOPS 665110 HAS SOUS 623118 HAS SOUPS 623118 WITH SCORE 623783.11
AT ITER 9207 NEW BEST:: SOT 1125910 SOS 665077 HAS SOPS 665077 HAS SOUS 623085 HAS SOUPS 623085 WITH SCORE 623750.077
AT ITER 9219 NEW BEST:: SOT 1125910 SOS 665077 HAS SOPS 665077 HAS SOUS 622866 HAS SOUPS 622866 WITH SCORE 623531.077
AT ITER 9409 NEW BEST:: SOT 1125357 SOS 664524 HAS SOPS 664524 HAS SOUS 622313 HAS SOUPS 622313 WITH SCORE 622977.524
AT ITER 9454 NEW BEST:: SOT 1125324 SOS 664405 HAS SOPS 664405 HAS SOUS 622280 HAS SOUPS 622280 WITH SCORE 622944.405
AT ITER 9477 NEW BEST:: SOT 1125324 SOS 664403 HAS SOPS 664403 HAS SOUS 622278 HAS SOUPS 622278 WITH SCORE 622942.403
AT ITER 9582 NEW BEST:: SOT 1125291 SOS 664294 HAS SOPS 664294 HAS SOUS 622234 HAS SOUPS 622234 WITH SCORE 622898.294
AT ITER 9668 NEW BEST:: SOT 1125495 SOS 664090 HAS SOPS 664090 HAS SOUS 622234 HAS SOUPS 622234 WITH SCORE 622898.09
AT ITER 9684 NEW BEST:: SOT 1125835 SOS 662538 HAS SOPS 662538 HAS SOUS 621628 HAS SOUPS 621628 WITH SCORE 622290.538
AT ITER 9882 NEW BEST:: SOT 1125835 SOS 661840 HAS SOPS 661840 HAS SOUS 620930 HAS SOUPS 620930 WITH SCORE 621591.84
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8669012 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119168 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-32"
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-32, 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-167873953500856"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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