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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 74K Feb 26 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 454K Feb 26 01:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K 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 21K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 223K Feb 26 01:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.3M Feb 26 01:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 53K Feb 26 01:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 343K Feb 26 01:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 942K 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 1679566803803

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-PT-32
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:20:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:20:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:20:05] [INFO ] Load time of PNML (sax parser for PT used): 113 ms
[2023-03-23 10:20:05] [INFO ] Transformed 3806 places.
[2023-03-23 10:20:05] [INFO ] Transformed 506 transitions.
[2023-03-23 10:20:05] [INFO ] Parsed PT model containing 3806 places and 506 transitions and 8173 arcs in 186 ms.
[2023-03-23 10:20:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3806 places, 506 transitions and 8173 arcs took 24 ms.
Total runtime 238 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), 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 1161408 SOS 966523 HAS SOPS 966523 HAS SOUS 801408 HAS SOUPS 801408 WITH SCORE 802374.523
AT ITER 66 NEW BEST:: SOT 1161408 SOS 966191 HAS SOPS 966191 HAS SOUS 799199 HAS SOUPS 799199 WITH SCORE 800165.191
AT ITER 152 NEW BEST:: SOT 1161408 SOS 965861 HAS SOPS 965861 HAS SOUS 797732 HAS SOUPS 797732 WITH SCORE 798697.861
AT ITER 166 NEW BEST:: SOT 1161408 SOS 965471 HAS SOPS 965471 HAS SOUS 797537 HAS SOUPS 797537 WITH SCORE 798502.471
AT ITER 176 NEW BEST:: SOT 1161408 SOS 965137 HAS SOPS 965137 HAS SOUS 795834 HAS SOUPS 795834 WITH SCORE 796799.137
AT ITER 200 NEW BEST:: SOT 1161408 SOS 964999 HAS SOPS 964999 HAS SOUS 795696 HAS SOUPS 795696 WITH SCORE 796660.999
AT ITER 205 NEW BEST:: SOT 1161408 SOS 905961 HAS SOPS 905961 HAS SOUS 786398 HAS SOUPS 786398 WITH SCORE 787303.961
AT ITER 210 NEW BEST:: SOT 1161408 SOS 905961 HAS SOPS 905961 HAS SOUS 786363 HAS SOUPS 786363 WITH SCORE 787268.961
AT ITER 240 NEW BEST:: SOT 1161408 SOS 904267 HAS SOPS 904267 HAS SOUS 785595 HAS SOUPS 785595 WITH SCORE 786499.267
AT ITER 241 NEW BEST:: SOT 1161408 SOS 904267 HAS SOPS 904267 HAS SOUS 785581 HAS SOUPS 785581 WITH SCORE 786485.267
AT ITER 283 NEW BEST:: SOT 1161408 SOS 904267 HAS SOPS 904267 HAS SOUS 785552 HAS SOUPS 785552 WITH SCORE 786456.267
AT ITER 295 NEW BEST:: SOT 1161408 SOS 902953 HAS SOPS 902953 HAS SOUS 782840 HAS SOUPS 782840 WITH SCORE 783742.953
AT ITER 315 NEW BEST:: SOT 1161408 SOS 902953 HAS SOPS 902953 HAS SOUS 782801 HAS SOUPS 782801 WITH SCORE 783703.953
AT ITER 361 NEW BEST:: SOT 1005112 SOS 747614 HAS SOPS 747614 HAS SOUS 657558 HAS SOUPS 657558 WITH SCORE 658305.614
AT ITER 377 NEW BEST:: SOT 1005157 SOS 747574 HAS SOPS 747574 HAS SOUS 657538 HAS SOUPS 657538 WITH SCORE 658285.574
AT ITER 384 NEW BEST:: SOT 1005157 SOS 747574 HAS SOPS 747574 HAS SOUS 657503 HAS SOUPS 657503 WITH SCORE 658250.574
AT ITER 431 NEW BEST:: SOT 1005144 SOS 747561 HAS SOPS 747561 HAS SOUS 657490 HAS SOUPS 657490 WITH SCORE 658237.561
AT ITER 450 NEW BEST:: SOT 1005144 SOS 747047 HAS SOPS 747047 HAS SOUS 657383 HAS SOUPS 657383 WITH SCORE 658130.047
AT ITER 464 NEW BEST:: SOT 1005144 SOS 747047 HAS SOPS 747047 HAS SOUS 657350 HAS SOUPS 657350 WITH SCORE 658097.047
AT ITER 502 NEW BEST:: SOT 1005122 SOS 746900 HAS SOPS 746900 HAS SOUS 657328 HAS SOUPS 657328 WITH SCORE 658074.9
AT ITER 543 NEW BEST:: SOT 1005122 SOS 746256 HAS SOPS 746256 HAS SOUS 657166 HAS SOUPS 657166 WITH SCORE 657912.256
AT ITER 565 NEW BEST:: SOT 1005127 SOS 746243 HAS SOPS 746243 HAS SOUS 657153 HAS SOUPS 657153 WITH SCORE 657899.243
AT ITER 580 NEW BEST:: SOT 1005127 SOS 744883 HAS SOPS 744883 HAS SOUS 655247 HAS SOUPS 655247 WITH SCORE 655991.883
AT ITER 606 NEW BEST:: SOT 1005127 SOS 741672 HAS SOPS 741672 HAS SOUS 652869 HAS SOUPS 652869 WITH SCORE 653610.672
AT ITER 609 NEW BEST:: SOT 1005127 SOS 740820 HAS SOPS 740820 HAS SOUS 652467 HAS SOUPS 652467 WITH SCORE 653207.82
AT ITER 634 NEW BEST:: SOT 1004373 SOS 740695 HAS SOPS 740695 HAS SOUS 652342 HAS SOUPS 652342 WITH SCORE 653082.695
AT ITER 716 NEW BEST:: SOT 1004373 SOS 739002 HAS SOPS 739002 HAS SOUS 651618 HAS SOUPS 651618 WITH SCORE 652357.002
AT ITER 741 NEW BEST:: SOT 1004430 SOS 736165 HAS SOPS 736165 HAS SOUS 649925 HAS SOUPS 649925 WITH SCORE 650661.165
AT ITER 759 NEW BEST:: SOT 1004401 SOS 736136 HAS SOPS 736136 HAS SOUS 649896 HAS SOUPS 649896 WITH SCORE 650632.136
AT ITER 764 NEW BEST:: SOT 1004400 SOS 736135 HAS SOPS 736135 HAS SOUS 649895 HAS SOUPS 649895 WITH SCORE 650631.135
AT ITER 770 NEW BEST:: SOT 1004634 SOS 734882 HAS SOPS 734882 HAS SOUS 647371 HAS SOUPS 647371 WITH SCORE 648105.882
AT ITER 782 NEW BEST:: SOT 1004634 SOS 732936 HAS SOPS 732936 HAS SOUS 646398 HAS SOUPS 646398 WITH SCORE 647130.936
AT ITER 837 NEW BEST:: SOT 1004633 SOS 732935 HAS SOPS 732935 HAS SOUS 646397 HAS SOUPS 646397 WITH SCORE 647129.935
AT ITER 912 NEW BEST:: SOT 1004633 SOS 730683 HAS SOPS 730683 HAS SOUS 645271 HAS SOUPS 645271 WITH SCORE 646001.683
AT ITER 969 NEW BEST:: SOT 1004633 SOS 727474 HAS SOPS 727474 HAS SOUS 642939 HAS SOUPS 642939 WITH SCORE 643666.474
AT ITER 995 NEW BEST:: SOT 1004633 SOS 727474 HAS SOPS 727474 HAS SOUS 642908 HAS SOUPS 642908 WITH SCORE 643635.474
AT ITER 1025 NEW BEST:: SOT 1004633 SOS 727137 HAS SOPS 727137 HAS SOUS 642234 HAS SOUPS 642234 WITH SCORE 642961.137
AT ITER 1073 NEW BEST:: SOT 1004633 SOS 727117 HAS SOPS 727117 HAS SOUS 642214 HAS SOUPS 642214 WITH SCORE 642941.117
AT ITER 1106 NEW BEST:: SOT 1004633 SOS 727117 HAS SOPS 727117 HAS SOUS 642170 HAS SOUPS 642170 WITH SCORE 642897.117
AT ITER 1116 NEW BEST:: SOT 1004633 SOS 727316 HAS SOPS 727316 HAS SOUS 641833 HAS SOUPS 641833 WITH SCORE 642560.316
AT ITER 1123 NEW BEST:: SOT 1004633 SOS 727274 HAS SOPS 727274 HAS SOUS 641791 HAS SOUPS 641791 WITH SCORE 642518.274
AT ITER 1152 NEW BEST:: SOT 1005328 SOS 727875 HAS SOPS 727875 HAS SOUS 641378 HAS SOUPS 641378 WITH SCORE 642105.875
AT ITER 1170 NEW BEST:: SOT 1005291 SOS 727838 HAS SOPS 727838 HAS SOUS 641341 HAS SOUPS 641341 WITH SCORE 642068.838
AT ITER 1172 NEW BEST:: SOT 1005357 SOS 727676 HAS SOPS 727676 HAS SOUS 641179 HAS SOUPS 641179 WITH SCORE 641906.676
AT ITER 1184 NEW BEST:: SOT 1005357 SOS 726212 HAS SOPS 726212 HAS SOUS 638962 HAS SOUPS 638962 WITH SCORE 639688.212
AT ITER 1272 NEW BEST:: SOT 1005721 SOS 726529 HAS SOPS 726529 HAS SOUS 638346 HAS SOUPS 638346 WITH SCORE 639072.529
AT ITER 1277 NEW BEST:: SOT 1005698 SOS 726506 HAS SOPS 726506 HAS SOUS 638323 HAS SOUPS 638323 WITH SCORE 639049.506
AT ITER 1278 NEW BEST:: SOT 1005698 SOS 724532 HAS SOPS 724532 HAS SOUS 637336 HAS SOUPS 637336 WITH SCORE 638060.532
AT ITER 1294 NEW BEST:: SOT 1005698 SOS 723977 HAS SOPS 723977 HAS SOUS 636781 HAS SOUPS 636781 WITH SCORE 637504.977
AT ITER 1348 NEW BEST:: SOT 1005697 SOS 723976 HAS SOPS 723976 HAS SOUS 636780 HAS SOUPS 636780 WITH SCORE 637503.976
AT ITER 1358 NEW BEST:: SOT 1005697 SOS 723796 HAS SOPS 723796 HAS SOUS 636600 HAS SOUPS 636600 WITH SCORE 637323.796
AT ITER 1367 NEW BEST:: SOT 1006087 SOS 723181 HAS SOPS 723181 HAS SOUS 635370 HAS SOUPS 635370 WITH SCORE 636093.181
AT ITER 1380 NEW BEST:: SOT 1005615 SOS 722709 HAS SOPS 722709 HAS SOUS 634898 HAS SOUPS 634898 WITH SCORE 635620.709
AT ITER 1384 NEW BEST:: SOT 1005615 SOS 722546 HAS SOPS 722546 HAS SOUS 634540 HAS SOUPS 634540 WITH SCORE 635262.546
AT ITER 1430 NEW BEST:: SOT 1005615 SOS 722463 HAS SOPS 722463 HAS SOUS 634490 HAS SOUPS 634490 WITH SCORE 635212.463
AT ITER 1442 NEW BEST:: SOT 1005532 SOS 722380 HAS SOPS 722380 HAS SOUS 634407 HAS SOUPS 634407 WITH SCORE 635129.38
AT ITER 1480 NEW BEST:: SOT 1006046 SOS 721758 HAS SOPS 721758 HAS SOUS 633046 HAS SOUPS 633046 WITH SCORE 633767.758
AT ITER 1485 NEW BEST:: SOT 1006046 SOS 721106 HAS SOPS 721106 HAS SOUS 632394 HAS SOUPS 632394 WITH SCORE 633115.106
AT ITER 1508 NEW BEST:: SOT 1006046 SOS 720876 HAS SOPS 720876 HAS SOUS 632387 HAS SOUPS 632387 WITH SCORE 633107.876
AT ITER 1521 NEW BEST:: SOT 1006046 SOS 720586 HAS SOPS 720586 HAS SOUS 632097 HAS SOUPS 632097 WITH SCORE 632817.586
AT ITER 1534 NEW BEST:: SOT 1006046 SOS 720586 HAS SOPS 720586 HAS SOUS 632094 HAS SOUPS 632094 WITH SCORE 632814.586
AT ITER 1579 NEW BEST:: SOT 1006046 SOS 720229 HAS SOPS 720229 HAS SOUS 631652 HAS SOUPS 631652 WITH SCORE 632372.229
AT ITER 1584 NEW BEST:: SOT 1006639 SOS 719420 HAS SOPS 719420 HAS SOUS 629164 HAS SOUPS 629164 WITH SCORE 629883.42
AT ITER 1586 NEW BEST:: SOT 1006958 SOS 719101 HAS SOPS 719101 HAS SOUS 629164 HAS SOUPS 629164 WITH SCORE 629883.101
AT ITER 1605 NEW BEST:: SOT 1006952 SOS 719095 HAS SOPS 719095 HAS SOUS 629158 HAS SOUPS 629158 WITH SCORE 629877.095
AT ITER 1639 NEW BEST:: SOT 1006952 SOS 716922 HAS SOPS 716922 HAS SOUS 628525 HAS SOUPS 628525 WITH SCORE 629241.922
AT ITER 1673 NEW BEST:: SOT 1006952 SOS 716731 HAS SOPS 716731 HAS SOUS 628334 HAS SOUPS 628334 WITH SCORE 629050.731
AT ITER 1679 NEW BEST:: SOT 1006952 SOS 716688 HAS SOPS 716688 HAS SOUS 628291 HAS SOUPS 628291 WITH SCORE 629007.688
AT ITER 1721 NEW BEST:: SOT 1006952 SOS 716669 HAS SOPS 716669 HAS SOUS 628138 HAS SOUPS 628138 WITH SCORE 628854.669
AT ITER 1741 NEW BEST:: SOT 1007843 SOS 716167 HAS SOPS 716167 HAS SOUS 627732 HAS SOUPS 627732 WITH SCORE 628448.167
AT ITER 1763 NEW BEST:: SOT 1007843 SOS 715900 HAS SOPS 715900 HAS SOUS 627629 HAS SOUPS 627629 WITH SCORE 628344.9
AT ITER 1847 NEW BEST:: SOT 1007843 SOS 715899 HAS SOPS 715899 HAS SOUS 627628 HAS SOUPS 627628 WITH SCORE 628343.899
AT ITER 1925 NEW BEST:: SOT 1008134 SOS 716190 HAS SOPS 716190 HAS SOUS 627584 HAS SOUPS 627584 WITH SCORE 628300.19
AT ITER 1958 NEW BEST:: SOT 1008722 SOS 715309 HAS SOPS 715309 HAS SOUS 625083 HAS SOUPS 625083 WITH SCORE 625798.309
AT ITER 1997 NEW BEST:: SOT 1008709 SOS 715296 HAS SOPS 715296 HAS SOUS 625070 HAS SOUPS 625070 WITH SCORE 625785.296
AT ITER 2002 NEW BEST:: SOT 1009113 SOS 714564 HAS SOPS 714564 HAS SOUS 623709 HAS SOUPS 623709 WITH SCORE 624423.564
AT ITER 2008 NEW BEST:: SOT 1009113 SOS 712104 HAS SOPS 712104 HAS SOUS 621972 HAS SOUPS 621972 WITH SCORE 622684.104
AT ITER 2071 NEW BEST:: SOT 1009113 SOS 712102 HAS SOPS 712102 HAS SOUS 621970 HAS SOUPS 621970 WITH SCORE 622682.102
AT ITER 2116 NEW BEST:: SOT 1009067 SOS 712056 HAS SOPS 712056 HAS SOUS 621924 HAS SOUPS 621924 WITH SCORE 622636.056
AT ITER 2146 NEW BEST:: SOT 1009067 SOS 712050 HAS SOPS 712050 HAS SOUS 621918 HAS SOUPS 621918 WITH SCORE 622630.05
AT ITER 2251 NEW BEST:: SOT 1009067 SOS 711645 HAS SOPS 711645 HAS SOUS 621911 HAS SOUPS 621911 WITH SCORE 622622.645
AT ITER 2267 NEW BEST:: SOT 1009067 SOS 711619 HAS SOPS 711619 HAS SOUS 621885 HAS SOUPS 621885 WITH SCORE 622596.619
AT ITER 2323 NEW BEST:: SOT 1009067 SOS 711613 HAS SOPS 711613 HAS SOUS 621879 HAS SOUPS 621879 WITH SCORE 622590.613
AT ITER 2326 NEW BEST:: SOT 1008865 SOS 711491 HAS SOPS 711491 HAS SOUS 621757 HAS SOUPS 621757 WITH SCORE 622468.491
AT ITER 2357 NEW BEST:: SOT 1008840 SOS 711466 HAS SOPS 711466 HAS SOUS 621732 HAS SOUPS 621732 WITH SCORE 622443.466
AT ITER 2410 NEW BEST:: SOT 1008696 SOS 711346 HAS SOPS 711346 HAS SOUS 621612 HAS SOUPS 621612 WITH SCORE 622323.346
AT ITER 2453 NEW BEST:: SOT 1008696 SOS 710834 HAS SOPS 710834 HAS SOUS 621356 HAS SOUPS 621356 WITH SCORE 622066.834
AT ITER 2466 NEW BEST:: SOT 1008670 SOS 710808 HAS SOPS 710808 HAS SOUS 621330 HAS SOUPS 621330 WITH SCORE 622040.808
AT ITER 2476 NEW BEST:: SOT 1008602 SOS 710740 HAS SOPS 710740 HAS SOUS 621262 HAS SOUPS 621262 WITH SCORE 621972.74
AT ITER 2478 NEW BEST:: SOT 1008602 SOS 710374 HAS SOPS 710374 HAS SOUS 621165 HAS SOUPS 621165 WITH SCORE 621875.374
AT ITER 2533 NEW BEST:: SOT 1008602 SOS 710373 HAS SOPS 710373 HAS SOUS 621164 HAS SOUPS 621164 WITH SCORE 621874.373
AT ITER 2554 NEW BEST:: SOT 1008602 SOS 710367 HAS SOPS 710367 HAS SOUS 621158 HAS SOUPS 621158 WITH SCORE 621868.367
AT ITER 2569 NEW BEST:: SOT 1008602 SOS 708445 HAS SOPS 708445 HAS SOUS 620197 HAS SOUPS 620197 WITH SCORE 620905.445
AT ITER 2608 NEW BEST:: SOT 1008602 SOS 708445 HAS SOPS 708445 HAS SOUS 620163 HAS SOUPS 620163 WITH SCORE 620871.445
AT ITER 2614 NEW BEST:: SOT 1008570 SOS 708309 HAS SOPS 708309 HAS SOUS 620131 HAS SOUPS 620131 WITH SCORE 620839.309
AT ITER 2651 NEW BEST:: SOT 1008363 SOS 708102 HAS SOPS 708102 HAS SOUS 619924 HAS SOUPS 619924 WITH SCORE 620632.102
AT ITER 2661 NEW BEST:: SOT 1008563 SOS 707117 HAS SOPS 707117 HAS SOUS 618666 HAS SOUPS 618666 WITH SCORE 619373.117
AT ITER 2694 NEW BEST:: SOT 1008563 SOS 703995 HAS SOPS 703995 HAS SOUS 616406 HAS SOUPS 616406 WITH SCORE 617109.995
AT ITER 2696 NEW BEST:: SOT 1008273 SOS 703705 HAS SOPS 703705 HAS SOUS 616116 HAS SOUPS 616116 WITH SCORE 616819.705
AT ITER 2698 NEW BEST:: SOT 1007704 SOS 703136 HAS SOPS 703136 HAS SOUS 615547 HAS SOUPS 615547 WITH SCORE 616250.136
AT ITER 2709 NEW BEST:: SOT 1007682 SOS 703241 HAS SOPS 703241 HAS SOUS 615517 HAS SOUPS 615517 WITH SCORE 616220.241
AT ITER 2711 NEW BEST:: SOT 1007593 SOS 703152 HAS SOPS 703152 HAS SOUS 615428 HAS SOUPS 615428 WITH SCORE 616131.152
AT ITER 2746 NEW BEST:: SOT 1007593 SOS 703121 HAS SOPS 703121 HAS SOUS 615397 HAS SOUPS 615397 WITH SCORE 616100.121
AT ITER 2753 NEW BEST:: SOT 1007592 SOS 703120 HAS SOPS 703120 HAS SOUS 615396 HAS SOUPS 615396 WITH SCORE 616099.12
AT ITER 2760 NEW BEST:: SOT 1006892 SOS 702420 HAS SOPS 702420 HAS SOUS 614696 HAS SOUPS 614696 WITH SCORE 615398.42
AT ITER 2774 NEW BEST:: SOT 1007314 SOS 702181 HAS SOPS 702181 HAS SOUS 614076 HAS SOUPS 614076 WITH SCORE 614778.181
AT ITER 2793 NEW BEST:: SOT 1007313 SOS 702180 HAS SOPS 702180 HAS SOUS 614075 HAS SOUPS 614075 WITH SCORE 614777.18
AT ITER 2830 NEW BEST:: SOT 1007313 SOS 702339 HAS SOPS 702339 HAS SOUS 613701 HAS SOUPS 613701 WITH SCORE 614403.339
AT ITER 2863 NEW BEST:: SOT 1007257 SOS 702283 HAS SOPS 702283 HAS SOUS 613645 HAS SOUPS 613645 WITH SCORE 614347.283
AT ITER 2867 NEW BEST:: SOT 1007313 SOS 702283 HAS SOPS 702283 HAS SOUS 613639 HAS SOUPS 613639 WITH SCORE 614341.283
AT ITER 2873 NEW BEST:: SOT 1007462 SOS 702432 HAS SOPS 702432 HAS SOUS 613628 HAS SOUPS 613628 WITH SCORE 614330.432
AT ITER 2898 NEW BEST:: SOT 1007459 SOS 702429 HAS SOPS 702429 HAS SOUS 613625 HAS SOUPS 613625 WITH SCORE 614327.429
AT ITER 2906 NEW BEST:: SOT 1007448 SOS 702418 HAS SOPS 702418 HAS SOUS 613614 HAS SOUPS 613614 WITH SCORE 614316.418
AT ITER 2957 NEW BEST:: SOT 1007059 SOS 702029 HAS SOPS 702029 HAS SOUS 613225 HAS SOUPS 613225 WITH SCORE 613927.029
AT ITER 2997 NEW BEST:: SOT 1007162 SOS 702132 HAS SOPS 702132 HAS SOUS 613214 HAS SOUPS 613214 WITH SCORE 613916.132
AT ITER 2998 NEW BEST:: SOT 1007162 SOS 701515 HAS SOPS 701515 HAS SOUS 612836 HAS SOUPS 612836 WITH SCORE 613537.515
AT ITER 3051 NEW BEST:: SOT 1007162 SOS 701040 HAS SOPS 701040 HAS SOUS 612361 HAS SOUPS 612361 WITH SCORE 613062.04
AT ITER 3107 NEW BEST:: SOT 1008106 SOS 698518 HAS SOPS 698518 HAS SOUS 610408 HAS SOUPS 610408 WITH SCORE 611106.518
AT ITER 3119 NEW BEST:: SOT 1008855 SOS 697737 HAS SOPS 697737 HAS SOUS 608833 HAS SOUPS 608833 WITH SCORE 609530.737
AT ITER 3179 NEW BEST:: SOT 1008855 SOS 697395 HAS SOPS 697395 HAS SOUS 608658 HAS SOUPS 608658 WITH SCORE 609355.395
AT ITER 3233 NEW BEST:: SOT 1009575 SOS 697105 HAS SOPS 697105 HAS SOUS 608156 HAS SOUPS 608156 WITH SCORE 608853.105
AT ITER 3243 NEW BEST:: SOT 1010000 SOS 697530 HAS SOPS 697530 HAS SOUS 608065 HAS SOUPS 608065 WITH SCORE 608762.53
AT ITER 3258 NEW BEST:: SOT 1010000 SOS 695842 HAS SOPS 695842 HAS SOUS 607410 HAS SOUPS 607410 WITH SCORE 608105.842
AT ITER 3259 NEW BEST:: SOT 1010397 SOS 696239 HAS SOPS 696239 HAS SOUS 606849 HAS SOUPS 606849 WITH SCORE 607545.239
AT ITER 3306 NEW BEST:: SOT 1010397 SOS 695654 HAS SOPS 695654 HAS SOUS 606474 HAS SOUPS 606474 WITH SCORE 607169.654
AT ITER 3320 NEW BEST:: SOT 1010113 SOS 695370 HAS SOPS 695370 HAS SOUS 606190 HAS SOUPS 606190 WITH SCORE 606885.37
AT ITER 3360 NEW BEST:: SOT 1010471 SOS 695173 HAS SOPS 695173 HAS SOUS 605410 HAS SOUPS 605410 WITH SCORE 606105.173
AT ITER 3368 NEW BEST:: SOT 1010471 SOS 695184 HAS SOPS 695184 HAS SOUS 605264 HAS SOUPS 605264 WITH SCORE 605959.184
AT ITER 3394 NEW BEST:: SOT 1010592 SOS 694352 HAS SOPS 694352 HAS SOUS 604086 HAS SOUPS 604086 WITH SCORE 604780.352
AT ITER 3417 NEW BEST:: SOT 1010556 SOS 694316 HAS SOPS 694316 HAS SOUS 604050 HAS SOUPS 604050 WITH SCORE 604744.316
AT ITER 3451 NEW BEST:: SOT 1010548 SOS 694308 HAS SOPS 694308 HAS SOUS 604042 HAS SOUPS 604042 WITH SCORE 604736.308
AT ITER 3458 NEW BEST:: SOT 1010548 SOS 693535 HAS SOPS 693535 HAS SOUS 603269 HAS SOUPS 603269 WITH SCORE 603962.535
AT ITER 3558 NEW BEST:: SOT 1010598 SOS 693463 HAS SOPS 693463 HAS SOUS 603197 HAS SOUPS 603197 WITH SCORE 603890.463
AT ITER 3582 NEW BEST:: SOT 1010598 SOS 693449 HAS SOPS 693449 HAS SOUS 603183 HAS SOUPS 603183 WITH SCORE 603876.449
AT ITER 3651 NEW BEST:: SOT 1010598 SOS 690823 HAS SOPS 690823 HAS SOUS 601861 HAS SOUPS 601861 WITH SCORE 602551.823
AT ITER 3687 NEW BEST:: SOT 1010389 SOS 690405 HAS SOPS 690405 HAS SOUS 601443 HAS SOUPS 601443 WITH SCORE 602133.405
AT ITER 3761 NEW BEST:: SOT 1009735 SOS 690174 HAS SOPS 690174 HAS SOUS 601212 HAS SOUPS 601212 WITH SCORE 601902.174
AT ITER 3772 NEW BEST:: SOT 1010204 SOS 687031 HAS SOPS 687031 HAS SOUS 598568 HAS SOUPS 598568 WITH SCORE 599255.031
AT ITER 3809 NEW BEST:: SOT 1010517 SOS 686083 HAS SOPS 686083 HAS SOUS 597060 HAS SOUPS 597060 WITH SCORE 597746.083
AT ITER 3810 NEW BEST:: SOT 1009882 SOS 685448 HAS SOPS 685448 HAS SOUS 596425 HAS SOUPS 596425 WITH SCORE 597110.448
AT ITER 3936 NEW BEST:: SOT 977032 SOS 659061 HAS SOPS 659061 HAS SOUS 570409 HAS SOUPS 570409 WITH SCORE 571068.061
AT ITER 3940 NEW BEST:: SOT 977032 SOS 658804 HAS SOPS 658804 HAS SOUS 570152 HAS SOUPS 570152 WITH SCORE 570810.804
AT ITER 4027 NEW BEST:: SOT 977032 SOS 658771 HAS SOPS 658771 HAS SOUS 570119 HAS SOUPS 570119 WITH SCORE 570777.771
AT ITER 4053 NEW BEST:: SOT 977032 SOS 656502 HAS SOPS 656502 HAS SOUS 568484 HAS SOUPS 568484 WITH SCORE 569140.502
AT ITER 4098 NEW BEST:: SOT 978623 SOS 658146 HAS SOPS 658146 HAS SOUS 568300 HAS SOUPS 568300 WITH SCORE 568958.146
AT ITER 4109 NEW BEST:: SOT 978622 SOS 658145 HAS SOPS 658145 HAS SOUS 568299 HAS SOUPS 568299 WITH SCORE 568957.145
AT ITER 4130 NEW BEST:: SOT 978622 SOS 656188 HAS SOPS 656188 HAS SOUS 567390 HAS SOUPS 567390 WITH SCORE 568046.188
AT ITER 4143 NEW BEST:: SOT 978737 SOS 656303 HAS SOPS 656303 HAS SOUS 566569 HAS SOUPS 566569 WITH SCORE 567225.303
AT ITER 4185 NEW BEST:: SOT 978737 SOS 656300 HAS SOPS 656300 HAS SOUS 566566 HAS SOUPS 566566 WITH SCORE 567222.3
AT ITER 4206 NEW BEST:: SOT 978737 SOS 656269 HAS SOPS 656269 HAS SOUS 566566 HAS SOUPS 566566 WITH SCORE 567222.269
AT ITER 4210 NEW BEST:: SOT 978786 SOS 656292 HAS SOPS 656292 HAS SOUS 566540 HAS SOUPS 566540 WITH SCORE 567196.292
AT ITER 4232 NEW BEST:: SOT 978786 SOS 656092 HAS SOPS 656092 HAS SOUS 566340 HAS SOUPS 566340 WITH SCORE 566996.092
AT ITER 4253 NEW BEST:: SOT 978786 SOS 654038 HAS SOPS 654038 HAS SOUS 565313 HAS SOUPS 565313 WITH SCORE 565967.038
AT ITER 4269 NEW BEST:: SOT 978740 SOS 653992 HAS SOPS 653992 HAS SOUS 565267 HAS SOUPS 565267 WITH SCORE 565920.992
AT ITER 4300 NEW BEST:: SOT 978740 SOS 653752 HAS SOPS 653752 HAS SOUS 565027 HAS SOUPS 565027 WITH SCORE 565680.752
AT ITER 4369 NEW BEST:: SOT 978740 SOS 653453 HAS SOPS 653453 HAS SOUS 564943 HAS SOUPS 564943 WITH SCORE 565596.453
AT ITER 4462 NEW BEST:: SOT 951232 SOS 625945 HAS SOPS 625945 HAS SOUS 537435 HAS SOUPS 537435 WITH SCORE 538060.945
AT ITER 4495 NEW BEST:: SOT 951232 SOS 625908 HAS SOPS 625908 HAS SOUS 537398 HAS SOUPS 537398 WITH SCORE 538023.908
AT ITER 4538 NEW BEST:: SOT 952074 SOS 626256 HAS SOPS 626256 HAS SOUS 536844 HAS SOUPS 536844 WITH SCORE 537470.256
AT ITER 4551 NEW BEST:: SOT 952427 SOS 626243 HAS SOPS 626243 HAS SOUS 536418 HAS SOUPS 536418 WITH SCORE 537044.243
AT ITER 4588 NEW BEST:: SOT 952427 SOS 625329 HAS SOPS 625329 HAS SOUS 535504 HAS SOUPS 535504 WITH SCORE 536129.329
AT ITER 4662 NEW BEST:: SOT 952427 SOS 625171 HAS SOPS 625171 HAS SOUS 535346 HAS SOUPS 535346 WITH SCORE 535971.171
AT ITER 4674 NEW BEST:: SOT 953290 SOS 624142 HAS SOPS 624142 HAS SOUS 535293 HAS SOUPS 535293 WITH SCORE 535917.142
AT ITER 4688 NEW BEST:: SOT 953290 SOS 624114 HAS SOPS 624114 HAS SOUS 535210 HAS SOUPS 535210 WITH SCORE 535834.114
AT ITER 4797 NEW BEST:: SOT 953663 SOS 624473 HAS SOPS 624473 HAS SOUS 535196 HAS SOUPS 535196 WITH SCORE 535820.473
AT ITER 4831 NEW BEST:: SOT 953663 SOS 624398 HAS SOPS 624398 HAS SOUS 535121 HAS SOUPS 535121 WITH SCORE 535745.398
AT ITER 4857 NEW BEST:: SOT 953632 SOS 624367 HAS SOPS 624367 HAS SOUS 535090 HAS SOUPS 535090 WITH SCORE 535714.367
AT ITER 4929 NEW BEST:: SOT 952978 SOS 623713 HAS SOPS 623713 HAS SOUS 534436 HAS SOUPS 534436 WITH SCORE 535059.713
AT ITER 4949 NEW BEST:: SOT 952978 SOS 623488 HAS SOPS 623488 HAS SOUS 534411 HAS SOUPS 534411 WITH SCORE 535034.488
AT ITER 4952 NEW BEST:: SOT 952948 SOS 623458 HAS SOPS 623458 HAS SOUS 534381 HAS SOUPS 534381 WITH SCORE 535004.458
AT ITER 5012 NEW BEST:: SOT 952948 SOS 623426 HAS SOPS 623426 HAS SOUS 534349 HAS SOUPS 534349 WITH SCORE 534972.426
AT ITER 5025 NEW BEST:: SOT 952943 SOS 623421 HAS SOPS 623421 HAS SOUS 534344 HAS SOUPS 534344 WITH SCORE 534967.421
AT ITER 5034 NEW BEST:: SOT 954591 SOS 623598 HAS SOPS 623598 HAS SOUS 533770 HAS SOUPS 533770 WITH SCORE 534393.598
AT ITER 5040 NEW BEST:: SOT 954591 SOS 623587 HAS SOPS 623587 HAS SOUS 533759 HAS SOUPS 533759 WITH SCORE 534382.587
AT ITER 5050 NEW BEST:: SOT 954591 SOS 623161 HAS SOPS 623161 HAS SOUS 533333 HAS SOUPS 533333 WITH SCORE 533956.161
AT ITER 5057 NEW BEST:: SOT 954322 SOS 622892 HAS SOPS 622892 HAS SOUS 533064 HAS SOUPS 533064 WITH SCORE 533686.892
AT ITER 5058 NEW BEST:: SOT 953920 SOS 622490 HAS SOPS 622490 HAS SOUS 532662 HAS SOUPS 532662 WITH SCORE 533284.49
AT ITER 5067 NEW BEST:: SOT 953919 SOS 622489 HAS SOPS 622489 HAS SOUS 532661 HAS SOUPS 532661 WITH SCORE 533283.489
AT ITER 5121 NEW BEST:: SOT 953480 SOS 622050 HAS SOPS 622050 HAS SOUS 532661 HAS SOUPS 532661 WITH SCORE 533283.05
AT ITER 5160 NEW BEST:: SOT 953479 SOS 622049 HAS SOPS 622049 HAS SOUS 532660 HAS SOUPS 532660 WITH SCORE 533282.049
AT ITER 5226 NEW BEST:: SOT 953477 SOS 622047 HAS SOPS 622047 HAS SOUS 532658 HAS SOUPS 532658 WITH SCORE 533280.047
AT ITER 5251 NEW BEST:: SOT 953864 SOS 622403 HAS SOPS 622403 HAS SOUS 532627 HAS SOUPS 532627 WITH SCORE 533249.403
AT ITER 5252 NEW BEST:: SOT 953921 SOS 622450 HAS SOPS 622450 HAS SOUS 532617 HAS SOUPS 532617 WITH SCORE 533239.45
AT ITER 5268 NEW BEST:: SOT 953643 SOS 622172 HAS SOPS 622172 HAS SOUS 532339 HAS SOUPS 532339 WITH SCORE 532961.172
AT ITER 5314 NEW BEST:: SOT 952935 SOS 621464 HAS SOPS 621464 HAS SOUS 531631 HAS SOUPS 531631 WITH SCORE 532252.464
AT ITER 5316 NEW BEST:: SOT 952563 SOS 621278 HAS SOPS 621278 HAS SOUS 531631 HAS SOUPS 531631 WITH SCORE 532252.278
AT ITER 5339 NEW BEST:: SOT 953428 SOS 621599 HAS SOPS 621599 HAS SOUS 531027 HAS SOUPS 531027 WITH SCORE 531648.599
AT ITER 5358 NEW BEST:: SOT 953185 SOS 621356 HAS SOPS 621356 HAS SOUS 530784 HAS SOUPS 530784 WITH SCORE 531405.356
AT ITER 5398 NEW BEST:: SOT 954404 SOS 619649 HAS SOPS 619649 HAS SOUS 530177 HAS SOUPS 530177 WITH SCORE 530796.649
AT ITER 5401 NEW BEST:: SOT 954404 SOS 619648 HAS SOPS 619648 HAS SOUS 530176 HAS SOUPS 530176 WITH SCORE 530795.648
AT ITER 5415 NEW BEST:: SOT 954272 SOS 619516 HAS SOPS 619516 HAS SOUS 530044 HAS SOUPS 530044 WITH SCORE 530663.516
AT ITER 5430 NEW BEST:: SOT 954834 SOS 620153 HAS SOPS 620153 HAS SOUS 529698 HAS SOUPS 529698 WITH SCORE 530318.153
AT ITER 5441 NEW BEST:: SOT 954938 SOS 619858 HAS SOPS 619858 HAS SOUS 529277 HAS SOUPS 529277 WITH SCORE 529896.858
AT ITER 5477 NEW BEST:: SOT 954938 SOS 619792 HAS SOPS 619792 HAS SOUS 529211 HAS SOUPS 529211 WITH SCORE 529830.792
AT ITER 5514 NEW BEST:: SOT 954929 SOS 619783 HAS SOPS 619783 HAS SOUS 529202 HAS SOUPS 529202 WITH SCORE 529821.783
AT ITER 5560 NEW BEST:: SOT 954460 SOS 619314 HAS SOPS 619314 HAS SOUS 528733 HAS SOUPS 528733 WITH SCORE 529352.314
AT ITER 5562 NEW BEST:: SOT 954354 SOS 619208 HAS SOPS 619208 HAS SOUS 528733 HAS SOUPS 528733 WITH SCORE 529352.208
AT ITER 5580 NEW BEST:: SOT 954354 SOS 619175 HAS SOPS 619175 HAS SOUS 528700 HAS SOUPS 528700 WITH SCORE 529319.175
AT ITER 5582 NEW BEST:: SOT 954354 SOS 617301 HAS SOPS 617301 HAS SOUS 527763 HAS SOUPS 527763 WITH SCORE 528380.301
AT ITER 5588 NEW BEST:: SOT 954952 SOS 616719 HAS SOPS 616719 HAS SOUS 527012 HAS SOUPS 527012 WITH SCORE 527628.719
AT ITER 5635 NEW BEST:: SOT 954952 SOS 616686 HAS SOPS 616686 HAS SOUS 526979 HAS SOUPS 526979 WITH SCORE 527595.686
AT ITER 5643 NEW BEST:: SOT 954795 SOS 616529 HAS SOPS 616529 HAS SOUS 526822 HAS SOUPS 526822 WITH SCORE 527438.529
AT ITER 5650 NEW BEST:: SOT 954141 SOS 615875 HAS SOPS 615875 HAS SOUS 526168 HAS SOUPS 526168 WITH SCORE 526783.875
AT ITER 5686 NEW BEST:: SOT 953697 SOS 615431 HAS SOPS 615431 HAS SOUS 525724 HAS SOUPS 525724 WITH SCORE 526339.431
AT ITER 5721 NEW BEST:: SOT 953697 SOS 615420 HAS SOPS 615420 HAS SOUS 525713 HAS SOUPS 525713 WITH SCORE 526328.42
AT ITER 5730 NEW BEST:: SOT 953697 SOS 615321 HAS SOPS 615321 HAS SOUS 525568 HAS SOUPS 525568 WITH SCORE 526183.321
AT ITER 5781 NEW BEST:: SOT 953696 SOS 615320 HAS SOPS 615320 HAS SOUS 525567 HAS SOUPS 525567 WITH SCORE 526182.32
AT ITER 5835 NEW BEST:: SOT 953696 SOS 615299 HAS SOPS 615299 HAS SOUS 525546 HAS SOUPS 525546 WITH SCORE 526161.299
AT ITER 5838 NEW BEST:: SOT 953594 SOS 615197 HAS SOPS 615197 HAS SOUS 525444 HAS SOUPS 525444 WITH SCORE 526059.197
AT ITER 5857 NEW BEST:: SOT 953594 SOS 615162 HAS SOPS 615162 HAS SOUS 525409 HAS SOUPS 525409 WITH SCORE 526024.162
AT ITER 5916 NEW BEST:: SOT 953592 SOS 615160 HAS SOPS 615160 HAS SOUS 525407 HAS SOUPS 525407 WITH SCORE 526022.16
AT ITER 5919 NEW BEST:: SOT 953531 SOS 615099 HAS SOPS 615099 HAS SOUS 525346 HAS SOUPS 525346 WITH SCORE 525961.099
AT ITER 5922 NEW BEST:: SOT 953530 SOS 615098 HAS SOPS 615098 HAS SOUS 525345 HAS SOUPS 525345 WITH SCORE 525960.098
AT ITER 5945 NEW BEST:: SOT 953530 SOS 615095 HAS SOPS 615095 HAS SOUS 525342 HAS SOUPS 525342 WITH SCORE 525957.095
AT ITER 6079 NEW BEST:: SOT 953439 SOS 615004 HAS SOPS 615004 HAS SOUS 525251 HAS SOUPS 525251 WITH SCORE 525866.004
AT ITER 6105 NEW BEST:: SOT 953053 SOS 614618 HAS SOPS 614618 HAS SOUS 525251 HAS SOUPS 525251 WITH SCORE 525865.618
AT ITER 6111 NEW BEST:: SOT 953053 SOS 614577 HAS SOPS 614577 HAS SOUS 525210 HAS SOUPS 525210 WITH SCORE 525824.577
AT ITER 6163 NEW BEST:: SOT 953052 SOS 614576 HAS SOPS 614576 HAS SOUS 525209 HAS SOUPS 525209 WITH SCORE 525823.576
AT ITER 6248 NEW BEST:: SOT 953205 SOS 614728 HAS SOPS 614728 HAS SOUS 525208 HAS SOUPS 525208 WITH SCORE 525822.728
AT ITER 6251 NEW BEST:: SOT 953204 SOS 614727 HAS SOPS 614727 HAS SOUS 525207 HAS SOUPS 525207 WITH SCORE 525821.727
AT ITER 6287 NEW BEST:: SOT 953204 SOS 613074 HAS SOPS 613074 HAS SOUS 524418 HAS SOUPS 524418 WITH SCORE 525031.074
AT ITER 6329 NEW BEST:: SOT 952531 SOS 612401 HAS SOPS 612401 HAS SOUS 523745 HAS SOUPS 523745 WITH SCORE 524357.401
AT ITER 6351 NEW BEST:: SOT 952457 SOS 612327 HAS SOPS 612327 HAS SOUS 523671 HAS SOUPS 523671 WITH SCORE 524283.327
AT ITER 6398 NEW BEST:: SOT 952457 SOS 612315 HAS SOPS 612315 HAS SOUS 523659 HAS SOUPS 523659 WITH SCORE 524271.315
AT ITER 6399 NEW BEST:: SOT 952384 SOS 612242 HAS SOPS 612242 HAS SOUS 523586 HAS SOUPS 523586 WITH SCORE 524198.242
AT ITER 6452 NEW BEST:: SOT 952384 SOS 612128 HAS SOPS 612128 HAS SOUS 523451 HAS SOUPS 523451 WITH SCORE 524063.128
AT ITER 6523 NEW BEST:: SOT 952952 SOS 612128 HAS SOPS 612128 HAS SOUS 522883 HAS SOUPS 522883 WITH SCORE 523495.128
AT ITER 6524 NEW BEST:: SOT 952952 SOS 612119 HAS SOPS 612119 HAS SOUS 522874 HAS SOUPS 522874 WITH SCORE 523486.119
AT ITER 6537 NEW BEST:: SOT 952767 SOS 611934 HAS SOPS 611934 HAS SOUS 522689 HAS SOUPS 522689 WITH SCORE 523300.934
AT ITER 6558 NEW BEST:: SOT 953205 SOS 612112 HAS SOPS 612112 HAS SOUS 522607 HAS SOUPS 522607 WITH SCORE 523219.112
AT ITER 6594 NEW BEST:: SOT 953205 SOS 612089 HAS SOPS 612089 HAS SOUS 522584 HAS SOUPS 522584 WITH SCORE 523196.089
AT ITER 6645 NEW BEST:: SOT 953205 SOS 612086 HAS SOPS 612086 HAS SOUS 522581 HAS SOUPS 522581 WITH SCORE 523193.086
AT ITER 6673 NEW BEST:: SOT 952611 SOS 611492 HAS SOPS 611492 HAS SOUS 522581 HAS SOUPS 522581 WITH SCORE 523192.492
AT ITER 6740 NEW BEST:: SOT 952611 SOS 611184 HAS SOPS 611184 HAS SOUS 521822 HAS SOUPS 521822 WITH SCORE 522433.184
AT ITER 6792 NEW BEST:: SOT 952660 SOS 611193 HAS SOPS 611193 HAS SOUS 521782 HAS SOUPS 521782 WITH SCORE 522393.193
AT ITER 6815 NEW BEST:: SOT 952660 SOS 609313 HAS SOPS 609313 HAS SOUS 520842 HAS SOUPS 520842 WITH SCORE 521451.313
AT ITER 6832 NEW BEST:: SOT 952088 SOS 608741 HAS SOPS 608741 HAS SOUS 520270 HAS SOUPS 520270 WITH SCORE 520878.741
AT ITER 6888 NEW BEST:: SOT 952088 SOS 608793 HAS SOPS 608793 HAS SOUS 520139 HAS SOUPS 520139 WITH SCORE 520747.793
AT ITER 6911 NEW BEST:: SOT 952088 SOS 608685 HAS SOPS 608685 HAS SOUS 520031 HAS SOUPS 520031 WITH SCORE 520639.685
AT ITER 6981 NEW BEST:: SOT 952088 SOS 608652 HAS SOPS 608652 HAS SOUS 519998 HAS SOUPS 519998 WITH SCORE 520606.652
AT ITER 7064 NEW BEST:: SOT 952088 SOS 608645 HAS SOPS 608645 HAS SOUS 519991 HAS SOUPS 519991 WITH SCORE 520599.645
AT ITER 7112 NEW BEST:: SOT 951839 SOS 608396 HAS SOPS 608396 HAS SOUS 519991 HAS SOUPS 519991 WITH SCORE 520599.396
AT ITER 7154 NEW BEST:: SOT 951839 SOS 608380 HAS SOPS 608380 HAS SOUS 519975 HAS SOUPS 519975 WITH SCORE 520583.38
AT ITER 7157 NEW BEST:: SOT 951839 SOS 608359 HAS SOPS 608359 HAS SOUS 519954 HAS SOUPS 519954 WITH SCORE 520562.359
AT ITER 7255 NEW BEST:: SOT 952051 SOS 608546 HAS SOPS 608546 HAS SOUS 519929 HAS SOUPS 519929 WITH SCORE 520537.546
AT ITER 7358 NEW BEST:: SOT 952546 SOS 608500 HAS SOPS 608500 HAS SOUS 519929 HAS SOUPS 519929 WITH SCORE 520537.5
AT ITER 7367 NEW BEST:: SOT 952512 SOS 608466 HAS SOPS 608466 HAS SOUS 519895 HAS SOUPS 519895 WITH SCORE 520503.466
AT ITER 7369 NEW BEST:: SOT 951497 SOS 607451 HAS SOPS 607451 HAS SOUS 519895 HAS SOUPS 519895 WITH SCORE 520502.451
AT ITER 7391 NEW BEST:: SOT 951673 SOS 605268 HAS SOPS 605268 HAS SOUS 518458 HAS SOUPS 518458 WITH SCORE 519063.268
AT ITER 7465 NEW BEST:: SOT 951673 SOS 605154 HAS SOPS 605154 HAS SOUS 518068 HAS SOUPS 518068 WITH SCORE 518673.154
AT ITER 7535 NEW BEST:: SOT 951673 SOS 605309 HAS SOPS 605309 HAS SOUS 517773 HAS SOUPS 517773 WITH SCORE 518378.309
AT ITER 7559 NEW BEST:: SOT 952272 SOS 605884 HAS SOPS 605884 HAS SOUS 517749 HAS SOUPS 517749 WITH SCORE 518354.884
AT ITER 7562 NEW BEST:: SOT 952272 SOS 605875 HAS SOPS 605875 HAS SOUS 517740 HAS SOUPS 517740 WITH SCORE 518345.875
AT ITER 7582 NEW BEST:: SOT 952094 SOS 605697 HAS SOPS 605697 HAS SOUS 517562 HAS SOUPS 517562 WITH SCORE 518167.697
AT ITER 7767 NEW BEST:: SOT 953011 SOS 606299 HAS SOPS 606299 HAS SOUS 517193 HAS SOUPS 517193 WITH SCORE 517799.299
AT ITER 7778 NEW BEST:: SOT 953010 SOS 606298 HAS SOPS 606298 HAS SOUS 517192 HAS SOUPS 517192 WITH SCORE 517798.298
AT ITER 7785 NEW BEST:: SOT 953010 SOS 606267 HAS SOPS 606267 HAS SOUS 517161 HAS SOUPS 517161 WITH SCORE 517767.267
AT ITER 7879 NEW BEST:: SOT 953010 SOS 606214 HAS SOPS 606214 HAS SOUS 517161 HAS SOUPS 517161 WITH SCORE 517767.214
AT ITER 7921 NEW BEST:: SOT 953031 SOS 606211 HAS SOPS 606211 HAS SOUS 517158 HAS SOUPS 517158 WITH SCORE 517764.211
AT ITER 7990 NEW BEST:: SOT 953031 SOS 606369 HAS SOPS 606369 HAS SOUS 517129 HAS SOUPS 517129 WITH SCORE 517735.369
AT ITER 8007 NEW BEST:: SOT 953391 SOS 604272 HAS SOPS 604272 HAS SOUS 515551 HAS SOUPS 515551 WITH SCORE 516155.272
AT ITER 8037 NEW BEST:: SOT 953689 SOS 604563 HAS SOPS 604563 HAS SOUS 515178 HAS SOUPS 515178 WITH SCORE 515782.563
AT ITER 8112 NEW BEST:: SOT 953674 SOS 604605 HAS SOPS 604605 HAS SOUS 515163 HAS SOUPS 515163 WITH SCORE 515767.605
AT ITER 8270 NEW BEST:: SOT 953974 SOS 604604 HAS SOPS 604604 HAS SOUS 514861 HAS SOUPS 514861 WITH SCORE 515465.604
AT ITER 8297 NEW BEST:: SOT 953290 SOS 603920 HAS SOPS 603920 HAS SOUS 514177 HAS SOUPS 514177 WITH SCORE 514780.92
AT ITER 8306 NEW BEST:: SOT 953290 SOS 603662 HAS SOPS 603662 HAS SOUS 513919 HAS SOUPS 513919 WITH SCORE 514522.662
AT ITER 8308 NEW BEST:: SOT 953282 SOS 603654 HAS SOPS 603654 HAS SOUS 513911 HAS SOUPS 513911 WITH SCORE 514514.654
AT ITER 8324 NEW BEST:: SOT 953271 SOS 603643 HAS SOPS 603643 HAS SOUS 513900 HAS SOUPS 513900 WITH SCORE 514503.643
AT ITER 8334 NEW BEST:: SOT 952438 SOS 602810 HAS SOPS 602810 HAS SOUS 513067 HAS SOUPS 513067 WITH SCORE 513669.81
AT ITER 8385 NEW BEST:: SOT 952382 SOS 602754 HAS SOPS 602754 HAS SOUS 513011 HAS SOUPS 513011 WITH SCORE 513613.754
AT ITER 8397 NEW BEST:: SOT 952382 SOS 602753 HAS SOPS 602753 HAS SOUS 513010 HAS SOUPS 513010 WITH SCORE 513612.753
AT ITER 8430 NEW BEST:: SOT 952516 SOS 602877 HAS SOPS 602877 HAS SOUS 513000 HAS SOUPS 513000 WITH SCORE 513602.877
AT ITER 8557 NEW BEST:: SOT 953585 SOS 603946 HAS SOPS 603946 HAS SOUS 512966 HAS SOUPS 512966 WITH SCORE 513569.946
AT ITER 8566 NEW BEST:: SOT 954184 SOS 603763 HAS SOPS 603763 HAS SOUS 512966 HAS SOUPS 512966 WITH SCORE 513569.763
AT ITER 8671 NEW BEST:: SOT 953500 SOS 603079 HAS SOPS 603079 HAS SOUS 512882 HAS SOUPS 512882 WITH SCORE 513485.079
AT ITER 8678 NEW BEST:: SOT 953499 SOS 603078 HAS SOPS 603078 HAS SOUS 512881 HAS SOUPS 512881 WITH SCORE 513484.078
AT ITER 8699 NEW BEST:: SOT 953403 SOS 602982 HAS SOPS 602982 HAS SOUS 512785 HAS SOUPS 512785 WITH SCORE 513387.982
AT ITER 8755 NEW BEST:: SOT 953402 SOS 602981 HAS SOPS 602981 HAS SOUS 512784 HAS SOUPS 512784 WITH SCORE 513386.981
AT ITER 8808 NEW BEST:: SOT 953402 SOS 602948 HAS SOPS 602948 HAS SOUS 512751 HAS SOUPS 512751 WITH SCORE 513353.948
AT ITER 8830 NEW BEST:: SOT 953402 SOS 602948 HAS SOPS 602948 HAS SOUS 512029 HAS SOUPS 512029 WITH SCORE 512631.948
AT ITER 8862 NEW BEST:: SOT 953297 SOS 602843 HAS SOPS 602843 HAS SOUS 511924 HAS SOUPS 511924 WITH SCORE 512526.843
AT ITER 9025 NEW BEST:: SOT 953287 SOS 602833 HAS SOPS 602833 HAS SOUS 511914 HAS SOUPS 511914 WITH SCORE 512516.833
AT ITER 9090 NEW BEST:: SOT 953560 SOS 602833 HAS SOPS 602833 HAS SOUS 511641 HAS SOUPS 511641 WITH SCORE 512243.833
AT ITER 9120 NEW BEST:: SOT 953462 SOS 602735 HAS SOPS 602735 HAS SOUS 511543 HAS SOUPS 511543 WITH SCORE 512145.735
AT ITER 9128 NEW BEST:: SOT 955106 SOS 601186 HAS SOPS 601186 HAS SOUS 509843 HAS SOUPS 509843 WITH SCORE 510444.186
AT ITER 9161 NEW BEST:: SOT 954955 SOS 601035 HAS SOPS 601035 HAS SOUS 509692 HAS SOUPS 509692 WITH SCORE 510293.035
AT ITER 9162 NEW BEST:: SOT 954924 SOS 601004 HAS SOPS 601004 HAS SOUS 509661 HAS SOUPS 509661 WITH SCORE 510262.004
AT ITER 9172 NEW BEST:: SOT 954924 SOS 600746 HAS SOPS 600746 HAS SOUS 509532 HAS SOUPS 509532 WITH SCORE 510132.746
AT ITER 9191 NEW BEST:: SOT 954924 SOS 600730 HAS SOPS 600730 HAS SOUS 509516 HAS SOUPS 509516 WITH SCORE 510116.73
AT ITER 9196 NEW BEST:: SOT 954790 SOS 600596 HAS SOPS 600596 HAS SOUS 509516 HAS SOUPS 509516 WITH SCORE 510116.596
AT ITER 9214 NEW BEST:: SOT 954799 SOS 600559 HAS SOPS 600559 HAS SOUS 509502 HAS SOUPS 509502 WITH SCORE 510102.559
AT ITER 9246 NEW BEST:: SOT 954799 SOS 600337 HAS SOPS 600337 HAS SOUS 509280 HAS SOUPS 509280 WITH SCORE 509880.337
AT ITER 9255 NEW BEST:: SOT 954798 SOS 600336 HAS SOPS 600336 HAS SOUS 509279 HAS SOUPS 509279 WITH SCORE 509879.336
AT ITER 9257 NEW BEST:: SOT 954798 SOS 600323 HAS SOPS 600323 HAS SOUS 509260 HAS SOUPS 509260 WITH SCORE 509860.323
AT ITER 9362 NEW BEST:: SOT 954772 SOS 600297 HAS SOPS 600297 HAS SOUS 509234 HAS SOUPS 509234 WITH SCORE 509834.297
AT ITER 9384 NEW BEST:: SOT 954772 SOS 600294 HAS SOPS 600294 HAS SOUS 509231 HAS SOUPS 509231 WITH SCORE 509831.294
AT ITER 9463 NEW BEST:: SOT 954730 SOS 600252 HAS SOPS 600252 HAS SOUS 509189 HAS SOUPS 509189 WITH SCORE 509789.252
AT ITER 9488 NEW BEST:: SOT 954496 SOS 600018 HAS SOPS 600018 HAS SOUS 508955 HAS SOUPS 508955 WITH SCORE 509555.018
AT ITER 9543 NEW BEST:: SOT 954104 SOS 599626 HAS SOPS 599626 HAS SOUS 508563 HAS SOUPS 508563 WITH SCORE 509162.626
AT ITER 9555 NEW BEST:: SOT 954104 SOS 599578 HAS SOPS 599578 HAS SOUS 508515 HAS SOUPS 508515 WITH SCORE 509114.578
AT ITER 9626 NEW BEST:: SOT 954104 SOS 599561 HAS SOPS 599561 HAS SOUS 508498 HAS SOUPS 508498 WITH SCORE 509097.561
AT ITER 9695 NEW BEST:: SOT 954121 SOS 599561 HAS SOPS 599561 HAS SOUS 508481 HAS SOUPS 508481 WITH SCORE 509080.561
AT ITER 9730 NEW BEST:: SOT 955152 SOS 597999 HAS SOPS 597999 HAS SOUS 506537 HAS SOUPS 506537 WITH SCORE 507134.999
AT ITER 9743 NEW BEST:: SOT 955152 SOS 597966 HAS SOPS 597966 HAS SOUS 506504 HAS SOUPS 506504 WITH SCORE 507101.966
AT ITER 9744 NEW BEST:: SOT 956507 SOS 597635 HAS SOPS 597635 HAS SOUS 505910 HAS SOUPS 505910 WITH SCORE 506507.635
AT ITER 9779 NEW BEST:: SOT 956677 SOS 597788 HAS SOPS 597788 HAS SOUS 505893 HAS SOUPS 505893 WITH SCORE 506490.788
AT ITER 9793 NEW BEST:: SOT 956677 SOS 597482 HAS SOPS 597482 HAS SOUS 505632 HAS SOUPS 505632 WITH SCORE 506229.482
AT ITER 9796 NEW BEST:: SOT 956677 SOS 596598 HAS SOPS 596598 HAS SOUS 505240 HAS SOUPS 505240 WITH SCORE 505836.598
AT ITER 9841 NEW BEST:: SOT 957616 SOS 596491 HAS SOPS 596491 HAS SOUS 504386 HAS SOUPS 504386 WITH SCORE 504982.491
AT ITER 9970 NEW BEST:: SOT 958858 SOS 596865 HAS SOPS 596865 HAS SOUS 503892 HAS SOUPS 503892 WITH SCORE 504488.865
AT ITER 9981 NEW BEST:: SOT 958858 SOS 596831 HAS SOPS 596831 HAS SOUS 503842 HAS SOUPS 503842 WITH SCORE 504438.831
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 7885000 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16116224 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-PT-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-PT-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-167873953600912"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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