fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r171-tall-167838858100120
Last Updated
May 14, 2023

About the Execution of Smart+red for Echo-PT-d05r03

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7649.523 3600000.00 3652673.00 8466.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858100120.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 Echo-PT-d05r03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858100120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 25 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 14:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 14:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679427717989

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=Echo-PT-d05r03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 19:41:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 19:41:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 19:41:59] [INFO ] Load time of PNML (sax parser for PT used): 237 ms
[2023-03-21 19:41:59] [INFO ] Transformed 3717 places.
[2023-03-21 19:41:59] [INFO ] Transformed 3222 transitions.
[2023-03-21 19:41:59] [INFO ] Found NUPN structural information;
[2023-03-21 19:41:59] [INFO ] Parsed PT model containing 3717 places and 3222 transitions and 28404 arcs in 413 ms.
[2023-03-21 19:42:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3717 places, 3222 transitions and 28404 arcs took 53 ms.
Total runtime 564 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d05r03
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: 3717 places, 3222 transitions, 28404 arcs.
AT ITER 0 NEW BEST:: SOT 7773016 SOS 3445776 HAS SOPS 3445776 HAS SOUS 2723303 HAS SOUPS 2723303 WITH SCORE 2726748.776
AT ITER 38 NEW BEST:: SOT 7773016 SOS 3445777 HAS SOPS 3445777 HAS SOUS 2723172 HAS SOUPS 2723172 WITH SCORE 2726617.777
AT ITER 147 NEW BEST:: SOT 7773016 SOS 3445777 HAS SOPS 3445777 HAS SOUS 2722938 HAS SOUPS 2722938 WITH SCORE 2726383.777
AT ITER 182 NEW BEST:: SOT 7773096 SOS 3445857 HAS SOPS 3445857 HAS SOUS 2722872 HAS SOUPS 2722872 WITH SCORE 2726317.857
AT ITER 270 NEW BEST:: SOT 7772472 SOS 3449418 HAS SOPS 3449418 HAS SOUS 2722778 HAS SOUPS 2722778 WITH SCORE 2726227.418
AT ITER 277 NEW BEST:: SOT 7772472 SOS 3449418 HAS SOPS 3449418 HAS SOUS 2722654 HAS SOUPS 2722654 WITH SCORE 2726103.418
AT ITER 315 NEW BEST:: SOT 7772472 SOS 3449418 HAS SOPS 3449418 HAS SOUS 2722644 HAS SOUPS 2722644 WITH SCORE 2726093.418
AT ITER 359 NEW BEST:: SOT 7772472 SOS 3449418 HAS SOPS 3449418 HAS SOUS 2722524 HAS SOUPS 2722524 WITH SCORE 2725973.418
AT ITER 378 NEW BEST:: SOT 7772442 SOS 3449423 HAS SOPS 3449423 HAS SOUS 2722489 HAS SOUPS 2722489 WITH SCORE 2725938.423
AT ITER 401 NEW BEST:: SOT 7772442 SOS 3449423 HAS SOPS 3449423 HAS SOUS 2722411 HAS SOUPS 2722411 WITH SCORE 2725860.423
AT ITER 419 NEW BEST:: SOT 7770577 SOS 3449512 HAS SOPS 3449512 HAS SOUS 2720919 HAS SOUPS 2720919 WITH SCORE 2724368.512
AT ITER 426 NEW BEST:: SOT 7770577 SOS 3449512 HAS SOPS 3449512 HAS SOUS 2720895 HAS SOUPS 2720895 WITH SCORE 2724344.512
AT ITER 434 NEW BEST:: SOT 7770577 SOS 3449512 HAS SOPS 3449512 HAS SOUS 2720887 HAS SOUPS 2720887 WITH SCORE 2724336.512
AT ITER 437 NEW BEST:: SOT 7770527 SOS 3451333 HAS SOPS 3451333 HAS SOUS 2720645 HAS SOUPS 2720645 WITH SCORE 2724096.333
AT ITER 505 NEW BEST:: SOT 7770527 SOS 3451333 HAS SOPS 3451333 HAS SOUS 2720639 HAS SOUPS 2720639 WITH SCORE 2724090.333
AT ITER 549 NEW BEST:: SOT 7770527 SOS 3451333 HAS SOPS 3451333 HAS SOUS 2720339 HAS SOUPS 2720339 WITH SCORE 2723790.333
AT ITER 551 NEW BEST:: SOT 7768069 SOS 3455780 HAS SOPS 3455780 HAS SOUS 2719239 HAS SOUPS 2719239 WITH SCORE 2722694.78
AT ITER 559 NEW BEST:: SOT 7767996 SOS 3455857 HAS SOPS 3455857 HAS SOUS 2719219 HAS SOUPS 2719219 WITH SCORE 2722674.857
AT ITER 611 NEW BEST:: SOT 7767996 SOS 3455857 HAS SOPS 3455857 HAS SOUS 2719213 HAS SOUPS 2719213 WITH SCORE 2722668.857
AT ITER 627 NEW BEST:: SOT 7767996 SOS 3455857 HAS SOPS 3455857 HAS SOUS 2719107 HAS SOUPS 2719107 WITH SCORE 2722562.857
AT ITER 639 NEW BEST:: SOT 7765554 SOS 3454038 HAS SOPS 3454038 HAS SOUS 2717003 HAS SOUPS 2717003 WITH SCORE 2720457.038
AT ITER 650 NEW BEST:: SOT 7765554 SOS 3454038 HAS SOPS 3454038 HAS SOUS 2716733 HAS SOUPS 2716733 WITH SCORE 2720187.038
AT ITER 705 NEW BEST:: SOT 7765554 SOS 3454038 HAS SOPS 3454038 HAS SOUS 2716725 HAS SOUPS 2716725 WITH SCORE 2720179.038
AT ITER 707 NEW BEST:: SOT 7765554 SOS 3454787 HAS SOPS 3454787 HAS SOUS 2716616 HAS SOUPS 2716616 WITH SCORE 2720070.787
AT ITER 749 NEW BEST:: SOT 7765554 SOS 3454787 HAS SOPS 3454787 HAS SOUS 2716610 HAS SOUPS 2716610 WITH SCORE 2720064.787
AT ITER 796 NEW BEST:: SOT 7765554 SOS 3454787 HAS SOPS 3454787 HAS SOUS 2716424 HAS SOUPS 2716424 WITH SCORE 2719878.787
AT ITER 903 NEW BEST:: SOT 7765031 SOS 3456092 HAS SOPS 3456092 HAS SOUS 2716165 HAS SOUPS 2716165 WITH SCORE 2719621.092
AT ITER 975 NEW BEST:: SOT 7765031 SOS 3456092 HAS SOPS 3456092 HAS SOUS 2716157 HAS SOUPS 2716157 WITH SCORE 2719613.092
AT ITER 976 NEW BEST:: SOT 7764429 SOS 3456500 HAS SOPS 3456500 HAS SOUS 2715683 HAS SOUPS 2715683 WITH SCORE 2719139.5
AT ITER 1051 NEW BEST:: SOT 7764421 SOS 3456547 HAS SOPS 3456547 HAS SOUS 2715665 HAS SOUPS 2715665 WITH SCORE 2719121.547
AT ITER 1068 NEW BEST:: SOT 7764421 SOS 3456547 HAS SOPS 3456547 HAS SOUS 2715657 HAS SOUPS 2715657 WITH SCORE 2719113.547
AT ITER 1087 NEW BEST:: SOT 7764421 SOS 3456547 HAS SOPS 3456547 HAS SOUS 2715533 HAS SOUPS 2715533 WITH SCORE 2718989.547
AT ITER 1145 NEW BEST:: SOT 7763889 SOS 3459042 HAS SOPS 3459042 HAS SOUS 2715434 HAS SOUPS 2715434 WITH SCORE 2718893.042
AT ITER 1152 NEW BEST:: SOT 7763236 SOS 3461754 HAS SOPS 3461754 HAS SOUS 2715262 HAS SOUPS 2715262 WITH SCORE 2718723.754
AT ITER 1222 NEW BEST:: SOT 7760725 SOS 3463789 HAS SOPS 3463789 HAS SOUS 2713569 HAS SOUPS 2713569 WITH SCORE 2717032.789
AT ITER 1228 NEW BEST:: SOT 7757973 SOS 3466035 HAS SOPS 3466035 HAS SOUS 2711557 HAS SOUPS 2711557 WITH SCORE 2715023.035
AT ITER 1267 NEW BEST:: SOT 7757777 SOS 3466214 HAS SOPS 3466214 HAS SOUS 2711311 HAS SOUPS 2711311 WITH SCORE 2714777.214
AT ITER 1268 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710871 HAS SOUPS 2710871 WITH SCORE 2714339.403
AT ITER 1287 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710867 HAS SOUPS 2710867 WITH SCORE 2714335.403
AT ITER 1292 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710859 HAS SOUPS 2710859 WITH SCORE 2714327.403
AT ITER 1404 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710755 HAS SOUPS 2710755 WITH SCORE 2714223.403
AT ITER 1469 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710693 HAS SOUPS 2710693 WITH SCORE 2714161.403
AT ITER 1493 NEW BEST:: SOT 7756748 SOS 3468403 HAS SOPS 3468403 HAS SOUS 2710685 HAS SOUPS 2710685 WITH SCORE 2714153.403
AT ITER 1543 NEW BEST:: SOT 7754823 SOS 3473134 HAS SOPS 3473134 HAS SOUS 2709635 HAS SOUPS 2709635 WITH SCORE 2713108.134
AT ITER 1555 NEW BEST:: SOT 7753449 SOS 3474182 HAS SOPS 3474182 HAS SOUS 2708625 HAS SOUPS 2708625 WITH SCORE 2712099.182
AT ITER 1578 NEW BEST:: SOT 7753449 SOS 3474182 HAS SOPS 3474182 HAS SOUS 2708623 HAS SOUPS 2708623 WITH SCORE 2712097.182
AT ITER 1659 NEW BEST:: SOT 7753449 SOS 3474182 HAS SOPS 3474182 HAS SOUS 2708619 HAS SOUPS 2708619 WITH SCORE 2712093.182
AT ITER 1799 NEW BEST:: SOT 7753443 SOS 3475927 HAS SOPS 3475927 HAS SOUS 2708492 HAS SOUPS 2708492 WITH SCORE 2711967.927
AT ITER 1833 NEW BEST:: SOT 7753443 SOS 3475927 HAS SOPS 3475927 HAS SOUS 2708370 HAS SOUPS 2708370 WITH SCORE 2711845.927
AT ITER 1847 NEW BEST:: SOT 7753443 SOS 3475927 HAS SOPS 3475927 HAS SOUS 2708362 HAS SOUPS 2708362 WITH SCORE 2711837.927
AT ITER 1930 NEW BEST:: SOT 7750774 SOS 3476489 HAS SOPS 3476489 HAS SOUS 2706229 HAS SOUPS 2706229 WITH SCORE 2709705.489
AT ITER 1945 NEW BEST:: SOT 7750774 SOS 3476489 HAS SOPS 3476489 HAS SOUS 2706225 HAS SOUPS 2706225 WITH SCORE 2709701.489
AT ITER 1950 NEW BEST:: SOT 7750769 SOS 3477051 HAS SOPS 3477051 HAS SOUS 2706139 HAS SOUPS 2706139 WITH SCORE 2709616.051
AT ITER 1952 NEW BEST:: SOT 7750769 SOS 3477051 HAS SOPS 3477051 HAS SOUS 2705807 HAS SOUPS 2705807 WITH SCORE 2709284.051
AT ITER 1963 NEW BEST:: SOT 7750769 SOS 3477051 HAS SOPS 3477051 HAS SOUS 2705799 HAS SOUPS 2705799 WITH SCORE 2709276.051
AT ITER 2026 NEW BEST:: SOT 7750769 SOS 3477051 HAS SOPS 3477051 HAS SOUS 2705793 HAS SOUPS 2705793 WITH SCORE 2709270.051
AT ITER 2151 NEW BEST:: SOT 7750751 SOS 3477033 HAS SOPS 3477033 HAS SOUS 2705775 HAS SOUPS 2705775 WITH SCORE 2709252.033
AT ITER 2191 NEW BEST:: SOT 7750729 SOS 3476987 HAS SOPS 3476987 HAS SOUS 2705705 HAS SOUPS 2705705 WITH SCORE 2709181.987
AT ITER 2208 NEW BEST:: SOT 7750724 SOS 3477013 HAS SOPS 3477013 HAS SOUS 2705695 HAS SOUPS 2705695 WITH SCORE 2709172.013
AT ITER 2264 NEW BEST:: SOT 7750724 SOS 3477013 HAS SOPS 3477013 HAS SOUS 2705691 HAS SOUPS 2705691 WITH SCORE 2709168.013
AT ITER 2288 NEW BEST:: SOT 7750218 SOS 3477044 HAS SOPS 3477044 HAS SOUS 2705364 HAS SOUPS 2705364 WITH SCORE 2708841.044
AT ITER 2410 NEW BEST:: SOT 7749625 SOS 3479912 HAS SOPS 3479912 HAS SOUS 2705272 HAS SOUPS 2705272 WITH SCORE 2708751.912
AT ITER 2468 NEW BEST:: SOT 7748569 SOS 3479906 HAS SOPS 3479906 HAS SOUS 2704016 HAS SOUPS 2704016 WITH SCORE 2707495.906
AT ITER 2478 NEW BEST:: SOT 7748167 SOS 3479504 HAS SOPS 3479504 HAS SOUS 2703614 HAS SOUPS 2703614 WITH SCORE 2707093.504
AT ITER 2516 NEW BEST:: SOT 7748104 SOS 3479441 HAS SOPS 3479441 HAS SOUS 2703551 HAS SOUPS 2703551 WITH SCORE 2707030.441
AT ITER 2544 NEW BEST:: SOT 7747834 SOS 3479171 HAS SOPS 3479171 HAS SOUS 2703271 HAS SOUPS 2703271 WITH SCORE 2706750.171
AT ITER 2573 NEW BEST:: SOT 7747834 SOS 3479171 HAS SOPS 3479171 HAS SOUS 2703145 HAS SOUPS 2703145 WITH SCORE 2706624.171
AT ITER 2607 NEW BEST:: SOT 7747834 SOS 3479171 HAS SOPS 3479171 HAS SOUS 2703143 HAS SOUPS 2703143 WITH SCORE 2706622.171
AT ITER 2652 NEW BEST:: SOT 7747834 SOS 3479171 HAS SOPS 3479171 HAS SOUS 2703049 HAS SOUPS 2703049 WITH SCORE 2706528.171
AT ITER 2816 NEW BEST:: SOT 7747843 SOS 3479215 HAS SOPS 3479215 HAS SOUS 2703043 HAS SOUPS 2703043 WITH SCORE 2706522.215
AT ITER 2825 NEW BEST:: SOT 7747455 SOS 3479275 HAS SOPS 3479275 HAS SOUS 2702805 HAS SOUPS 2702805 WITH SCORE 2706284.275
AT ITER 2888 NEW BEST:: SOT 7747455 SOS 3479275 HAS SOPS 3479275 HAS SOUS 2702801 HAS SOUPS 2702801 WITH SCORE 2706280.275
AT ITER 2939 NEW BEST:: SOT 7747455 SOS 3479275 HAS SOPS 3479275 HAS SOUS 2702799 HAS SOUPS 2702799 WITH SCORE 2706278.275
AT ITER 2960 NEW BEST:: SOT 7747455 SOS 3476678 HAS SOPS 3476678 HAS SOUS 2702170 HAS SOUPS 2702170 WITH SCORE 2705646.678
AT ITER 3064 NEW BEST:: SOT 7744433 SOS 3476723 HAS SOPS 3476723 HAS SOUS 2699777 HAS SOUPS 2699777 WITH SCORE 2703253.723
AT ITER 3172 NEW BEST:: SOT 7744433 SOS 3478466 HAS SOPS 3478466 HAS SOUS 2699652 HAS SOUPS 2699652 WITH SCORE 2703130.466
AT ITER 3185 NEW BEST:: SOT 7744433 SOS 3478466 HAS SOPS 3478466 HAS SOUS 2699646 HAS SOUPS 2699646 WITH SCORE 2703124.466
AT ITER 3240 NEW BEST:: SOT 7744433 SOS 3478466 HAS SOPS 3478466 HAS SOUS 2699634 HAS SOUPS 2699634 WITH SCORE 2703112.466
AT ITER 3314 NEW BEST:: SOT 7744433 SOS 3478466 HAS SOPS 3478466 HAS SOUS 2699628 HAS SOUPS 2699628 WITH SCORE 2703106.466
AT ITER 3337 NEW BEST:: SOT 7744433 SOS 3478466 HAS SOPS 3478466 HAS SOUS 2699624 HAS SOUPS 2699624 WITH SCORE 2703102.466
AT ITER 3368 NEW BEST:: SOT 7742731 SOS 3483056 HAS SOPS 3483056 HAS SOUS 2699035 HAS SOUPS 2699035 WITH SCORE 2702518.056
AT ITER 3509 NEW BEST:: SOT 7742731 SOS 3483056 HAS SOPS 3483056 HAS SOUS 2699029 HAS SOUPS 2699029 WITH SCORE 2702512.056
AT ITER 3588 NEW BEST:: SOT 7742731 SOS 3483056 HAS SOPS 3483056 HAS SOUS 2699021 HAS SOUPS 2699021 WITH SCORE 2702504.056
AT ITER 3617 NEW BEST:: SOT 7742313 SOS 3484081 HAS SOPS 3484081 HAS SOUS 2698773 HAS SOUPS 2698773 WITH SCORE 2702257.081
AT ITER 3705 NEW BEST:: SOT 7739500 SOS 3485063 HAS SOPS 3485063 HAS SOUS 2696568 HAS SOUPS 2696568 WITH SCORE 2700053.063
AT ITER 3764 NEW BEST:: SOT 7739328 SOS 3485222 HAS SOPS 3485222 HAS SOUS 2696328 HAS SOUPS 2696328 WITH SCORE 2699813.222
AT ITER 3765 NEW BEST:: SOT 7739328 SOS 3485222 HAS SOPS 3485222 HAS SOUS 2696096 HAS SOUPS 2696096 WITH SCORE 2699581.222
AT ITER 3813 NEW BEST:: SOT 7737716 SOS 3488514 HAS SOPS 3488514 HAS SOUS 2695245 HAS SOUPS 2695245 WITH SCORE 2698733.514
AT ITER 3988 NEW BEST:: SOT 7737698 SOS 3488540 HAS SOPS 3488540 HAS SOUS 2695233 HAS SOUPS 2695233 WITH SCORE 2698721.54
AT ITER 4003 NEW BEST:: SOT 7737698 SOS 3488540 HAS SOPS 3488540 HAS SOUS 2695191 HAS SOUPS 2695191 WITH SCORE 2698679.54
AT ITER 4101 NEW BEST:: SOT 7735632 SOS 3490182 HAS SOPS 3490182 HAS SOUS 2693702 HAS SOUPS 2693702 WITH SCORE 2697192.182
AT ITER 4103 NEW BEST:: SOT 7735518 SOS 3490068 HAS SOPS 3490068 HAS SOUS 2693562 HAS SOUPS 2693562 WITH SCORE 2697052.068
AT ITER 4215 NEW BEST:: SOT 7735518 SOS 3490068 HAS SOPS 3490068 HAS SOUS 2693558 HAS SOUPS 2693558 WITH SCORE 2697048.068
AT ITER 4295 NEW BEST:: SOT 7735461 SOS 3490011 HAS SOPS 3490011 HAS SOUS 2693501 HAS SOUPS 2693501 WITH SCORE 2696991.011
AT ITER 4296 NEW BEST:: SOT 7735443 SOS 3489993 HAS SOPS 3489993 HAS SOUS 2693481 HAS SOUPS 2693481 WITH SCORE 2696970.993
AT ITER 4330 NEW BEST:: SOT 7735443 SOS 3489993 HAS SOPS 3489993 HAS SOUS 2693357 HAS SOUPS 2693357 WITH SCORE 2696846.993
AT ITER 4336 NEW BEST:: SOT 7735443 SOS 3489993 HAS SOPS 3489993 HAS SOUS 2693349 HAS SOUPS 2693349 WITH SCORE 2696838.993
AT ITER 4461 NEW BEST:: SOT 7735401 SOS 3491381 HAS SOPS 3491381 HAS SOUS 2693101 HAS SOUPS 2693101 WITH SCORE 2696592.381
AT ITER 4478 NEW BEST:: SOT 7734853 SOS 3494484 HAS SOPS 3494484 HAS SOUS 2693035 HAS SOUPS 2693035 WITH SCORE 2696529.484
AT ITER 4539 NEW BEST:: SOT 7734853 SOS 3494484 HAS SOPS 3494484 HAS SOUS 2692899 HAS SOUPS 2692899 WITH SCORE 2696393.484
AT ITER 4559 NEW BEST:: SOT 7734325 SOS 3494816 HAS SOPS 3494816 HAS SOUS 2692546 HAS SOUPS 2692546 WITH SCORE 2696040.816
AT ITER 4650 NEW BEST:: SOT 7734260 SOS 3494850 HAS SOPS 3494850 HAS SOUS 2692500 HAS SOUPS 2692500 WITH SCORE 2695994.85
AT ITER 4693 NEW BEST:: SOT 7734260 SOS 3494850 HAS SOPS 3494850 HAS SOUS 2692210 HAS SOUPS 2692210 WITH SCORE 2695704.85
AT ITER 4780 NEW BEST:: SOT 7734203 SOS 3494793 HAS SOPS 3494793 HAS SOUS 2692095 HAS SOUPS 2692095 WITH SCORE 2695589.793
AT ITER 4873 NEW BEST:: SOT 7733917 SOS 3495122 HAS SOPS 3495122 HAS SOUS 2691882 HAS SOUPS 2691882 WITH SCORE 2695377.122
AT ITER 4919 NEW BEST:: SOT 7733917 SOS 3495122 HAS SOPS 3495122 HAS SOUS 2691848 HAS SOUPS 2691848 WITH SCORE 2695343.122
AT ITER 4984 NEW BEST:: SOT 7733896 SOS 3495932 HAS SOPS 3495932 HAS SOUS 2691743 HAS SOUPS 2691743 WITH SCORE 2695238.932
AT ITER 5075 NEW BEST:: SOT 7734442 SOS 3496478 HAS SOPS 3496478 HAS SOUS 2691715 HAS SOUPS 2691715 WITH SCORE 2695211.478
AT ITER 5154 NEW BEST:: SOT 7734442 SOS 3496478 HAS SOPS 3496478 HAS SOUS 2691709 HAS SOUPS 2691709 WITH SCORE 2695205.478
AT ITER 5175 NEW BEST:: SOT 7734442 SOS 3496478 HAS SOPS 3496478 HAS SOUS 2691705 HAS SOUPS 2691705 WITH SCORE 2695201.478
AT ITER 5200 NEW BEST:: SOT 7734442 SOS 3496478 HAS SOPS 3496478 HAS SOUS 2691475 HAS SOUPS 2691475 WITH SCORE 2694971.478
AT ITER 5283 NEW BEST:: SOT 7734442 SOS 3496477 HAS SOPS 3496477 HAS SOUS 2691401 HAS SOUPS 2691401 WITH SCORE 2694897.477
AT ITER 5348 NEW BEST:: SOT 7733662 SOS 3496348 HAS SOPS 3496348 HAS SOUS 2690928 HAS SOUPS 2690928 WITH SCORE 2694424.348
AT ITER 5350 NEW BEST:: SOT 7733662 SOS 3496348 HAS SOPS 3496348 HAS SOUS 2690922 HAS SOUPS 2690922 WITH SCORE 2694418.348
AT ITER 5364 NEW BEST:: SOT 7733662 SOS 3496348 HAS SOPS 3496348 HAS SOUS 2690680 HAS SOUPS 2690680 WITH SCORE 2694176.348
AT ITER 5366 NEW BEST:: SOT 7733662 SOS 3494969 HAS SOPS 3494969 HAS SOUS 2690669 HAS SOUPS 2690669 WITH SCORE 2694163.969
AT ITER 5478 NEW BEST:: SOT 7733662 SOS 3499471 HAS SOPS 3499471 HAS SOUS 2690387 HAS SOUPS 2690387 WITH SCORE 2693886.471
AT ITER 5543 NEW BEST:: SOT 7733649 SOS 3499438 HAS SOPS 3499438 HAS SOUS 2690374 HAS SOUPS 2690374 WITH SCORE 2693873.438
AT ITER 5594 NEW BEST:: SOT 7733071 SOS 3501240 HAS SOPS 3501240 HAS SOUS 2690136 HAS SOUPS 2690136 WITH SCORE 2693637.24
AT ITER 5610 NEW BEST:: SOT 7733065 SOS 3501234 HAS SOPS 3501234 HAS SOUS 2690120 HAS SOUPS 2690120 WITH SCORE 2693621.234
AT ITER 5613 NEW BEST:: SOT 7733014 SOS 3503542 HAS SOPS 3503542 HAS SOUS 2689774 HAS SOUPS 2689774 WITH SCORE 2693277.542
AT ITER 5666 NEW BEST:: SOT 7733053 SOS 3503581 HAS SOPS 3503581 HAS SOUS 2689569 HAS SOUPS 2689569 WITH SCORE 2693072.581
AT ITER 5668 NEW BEST:: SOT 7733053 SOS 3503581 HAS SOPS 3503581 HAS SOUS 2689563 HAS SOUPS 2689563 WITH SCORE 2693066.581
AT ITER 5750 NEW BEST:: SOT 7733053 SOS 3503581 HAS SOPS 3503581 HAS SOUS 2689555 HAS SOUPS 2689555 WITH SCORE 2693058.581
AT ITER 5751 NEW BEST:: SOT 7731019 SOS 3507322 HAS SOPS 3507322 HAS SOUS 2688409 HAS SOUPS 2688409 WITH SCORE 2691916.322
AT ITER 5993 NEW BEST:: SOT 7731019 SOS 3507322 HAS SOPS 3507322 HAS SOUS 2688399 HAS SOUPS 2688399 WITH SCORE 2691906.322
AT ITER 6062 NEW BEST:: SOT 7731009 SOS 3507377 HAS SOPS 3507377 HAS SOUS 2688325 HAS SOUPS 2688325 WITH SCORE 2691832.377
AT ITER 6124 NEW BEST:: SOT 7730215 SOS 3508820 HAS SOPS 3508820 HAS SOUS 2687812 HAS SOUPS 2687812 WITH SCORE 2691320.82
AT ITER 6156 NEW BEST:: SOT 7730215 SOS 3510110 HAS SOPS 3510110 HAS SOUS 2687693 HAS SOUPS 2687693 WITH SCORE 2691203.11
AT ITER 6168 NEW BEST:: SOT 7730215 SOS 3510110 HAS SOPS 3510110 HAS SOUS 2687687 HAS SOUPS 2687687 WITH SCORE 2691197.11
AT ITER 6180 NEW BEST:: SOT 7730215 SOS 3510110 HAS SOPS 3510110 HAS SOUS 2687679 HAS SOUPS 2687679 WITH SCORE 2691189.11
AT ITER 6275 NEW BEST:: SOT 7729604 SOS 3510506 HAS SOPS 3510506 HAS SOUS 2687430 HAS SOUPS 2687430 WITH SCORE 2690940.506
AT ITER 6277 NEW BEST:: SOT 7729604 SOS 3510506 HAS SOPS 3510506 HAS SOUS 2687180 HAS SOUPS 2687180 WITH SCORE 2690690.506
AT ITER 6287 NEW BEST:: SOT 7729604 SOS 3510506 HAS SOPS 3510506 HAS SOUS 2686674 HAS SOUPS 2686674 WITH SCORE 2690184.506
AT ITER 6335 NEW BEST:: SOT 7729598 SOS 3511556 HAS SOPS 3511556 HAS SOUS 2686545 HAS SOUPS 2686545 WITH SCORE 2690056.556
AT ITER 6436 NEW BEST:: SOT 7729274 SOS 3511565 HAS SOPS 3511565 HAS SOUS 2686263 HAS SOUPS 2686263 WITH SCORE 2689774.565
AT ITER 6442 NEW BEST:: SOT 7729271 SOS 3511692 HAS SOPS 3511692 HAS SOUS 2686195 HAS SOUPS 2686195 WITH SCORE 2689706.692
AT ITER 6473 NEW BEST:: SOT 7728652 SOS 3513643 HAS SOPS 3513643 HAS SOUS 2685934 HAS SOUPS 2685934 WITH SCORE 2689447.643
AT ITER 6488 NEW BEST:: SOT 7728652 SOS 3513643 HAS SOPS 3513643 HAS SOUS 2685928 HAS SOUPS 2685928 WITH SCORE 2689441.643
AT ITER 6530 NEW BEST:: SOT 7728652 SOS 3516363 HAS SOPS 3516363 HAS SOUS 2685895 HAS SOUPS 2685895 WITH SCORE 2689411.363
AT ITER 6608 NEW BEST:: SOT 7728652 SOS 3516363 HAS SOPS 3516363 HAS SOUS 2685893 HAS SOUPS 2685893 WITH SCORE 2689409.363
AT ITER 6610 NEW BEST:: SOT 7728316 SOS 3516207 HAS SOPS 3516207 HAS SOUS 2685605 HAS SOUPS 2685605 WITH SCORE 2689121.207
AT ITER 6614 NEW BEST:: SOT 7728316 SOS 3516207 HAS SOPS 3516207 HAS SOUS 2685601 HAS SOUPS 2685601 WITH SCORE 2689117.207
AT ITER 6669 NEW BEST:: SOT 7728316 SOS 3516207 HAS SOPS 3516207 HAS SOUS 2685561 HAS SOUPS 2685561 WITH SCORE 2689077.207
AT ITER 6693 NEW BEST:: SOT 7728316 SOS 3516207 HAS SOPS 3516207 HAS SOUS 2685435 HAS SOUPS 2685435 WITH SCORE 2688951.207
AT ITER 6720 NEW BEST:: SOT 7727252 SOS 3518373 HAS SOPS 3518373 HAS SOUS 2684789 HAS SOUPS 2684789 WITH SCORE 2688307.373
AT ITER 6777 NEW BEST:: SOT 7727277 SOS 3518552 HAS SOPS 3518552 HAS SOUS 2684748 HAS SOUPS 2684748 WITH SCORE 2688266.552
AT ITER 6895 NEW BEST:: SOT 7727271 SOS 3518546 HAS SOPS 3518546 HAS SOUS 2684716 HAS SOUPS 2684716 WITH SCORE 2688234.546
AT ITER 7026 NEW BEST:: SOT 7727271 SOS 3518546 HAS SOPS 3518546 HAS SOUS 2684668 HAS SOUPS 2684668 WITH SCORE 2688186.546
AT ITER 7050 NEW BEST:: SOT 7727158 SOS 3518936 HAS SOPS 3518936 HAS SOUS 2684630 HAS SOUPS 2684630 WITH SCORE 2688148.936
AT ITER 7059 NEW BEST:: SOT 7727158 SOS 3518936 HAS SOPS 3518936 HAS SOUS 2684488 HAS SOUPS 2684488 WITH SCORE 2688006.936
AT ITER 7079 NEW BEST:: SOT 7727158 SOS 3518936 HAS SOPS 3518936 HAS SOUS 2684368 HAS SOUPS 2684368 WITH SCORE 2687886.936
AT ITER 7096 NEW BEST:: SOT 7727131 SOS 3518944 HAS SOPS 3518944 HAS SOUS 2684357 HAS SOUPS 2684357 WITH SCORE 2687875.944
AT ITER 7188 NEW BEST:: SOT 7727131 SOS 3518944 HAS SOPS 3518944 HAS SOUS 2684355 HAS SOUPS 2684355 WITH SCORE 2687873.944
AT ITER 7232 NEW BEST:: SOT 7726703 SOS 3518516 HAS SOPS 3518516 HAS SOUS 2684151 HAS SOUPS 2684151 WITH SCORE 2687669.516
AT ITER 7332 NEW BEST:: SOT 7726703 SOS 3518516 HAS SOPS 3518516 HAS SOUS 2684145 HAS SOUPS 2684145 WITH SCORE 2687663.516
AT ITER 7362 NEW BEST:: SOT 7726703 SOS 3518516 HAS SOPS 3518516 HAS SOUS 2684143 HAS SOUPS 2684143 WITH SCORE 2687661.516
AT ITER 7460 NEW BEST:: SOT 7726703 SOS 3518516 HAS SOPS 3518516 HAS SOUS 2684139 HAS SOUPS 2684139 WITH SCORE 2687657.516
AT ITER 7468 NEW BEST:: SOT 7726700 SOS 3520598 HAS SOPS 3520598 HAS SOUS 2683905 HAS SOUPS 2683905 WITH SCORE 2687425.598
AT ITER 7551 NEW BEST:: SOT 7726700 SOS 3520675 HAS SOPS 3520675 HAS SOUS 2683894 HAS SOUPS 2683894 WITH SCORE 2687414.675
AT ITER 7569 NEW BEST:: SOT 7726700 SOS 3520675 HAS SOPS 3520675 HAS SOUS 2683884 HAS SOUPS 2683884 WITH SCORE 2687404.675
AT ITER 7572 NEW BEST:: SOT 7726464 SOS 3521755 HAS SOPS 3521755 HAS SOUS 2683802 HAS SOUPS 2683802 WITH SCORE 2687323.755
AT ITER 7581 NEW BEST:: SOT 7725827 SOS 3524001 HAS SOPS 3524001 HAS SOUS 2683702 HAS SOUPS 2683702 WITH SCORE 2687226.001
AT ITER 7646 NEW BEST:: SOT 7725827 SOS 3524001 HAS SOPS 3524001 HAS SOUS 2683678 HAS SOUPS 2683678 WITH SCORE 2687202.001
AT ITER 7696 NEW BEST:: SOT 7725827 SOS 3524001 HAS SOPS 3524001 HAS SOUS 2683414 HAS SOUPS 2683414 WITH SCORE 2686938.001
AT ITER 7706 NEW BEST:: SOT 7725825 SOS 3525159 HAS SOPS 3525159 HAS SOUS 2683332 HAS SOUPS 2683332 WITH SCORE 2686857.159
AT ITER 7742 NEW BEST:: SOT 7725753 SOS 3525087 HAS SOPS 3525087 HAS SOUS 2683260 HAS SOUPS 2683260 WITH SCORE 2686785.087
AT ITER 7770 NEW BEST:: SOT 7725753 SOS 3525087 HAS SOPS 3525087 HAS SOUS 2683250 HAS SOUPS 2683250 WITH SCORE 2686775.087
AT ITER 7846 NEW BEST:: SOT 7724852 SOS 3524335 HAS SOPS 3524335 HAS SOUS 2682551 HAS SOUPS 2682551 WITH SCORE 2686075.335
AT ITER 7866 NEW BEST:: SOT 7723981 SOS 3526454 HAS SOPS 3526454 HAS SOUS 2682271 HAS SOUPS 2682271 WITH SCORE 2685797.454
AT ITER 7872 NEW BEST:: SOT 7723981 SOS 3526454 HAS SOPS 3526454 HAS SOUS 2682251 HAS SOUPS 2682251 WITH SCORE 2685777.454
AT ITER 7880 NEW BEST:: SOT 7723981 SOS 3526454 HAS SOPS 3526454 HAS SOUS 2682247 HAS SOUPS 2682247 WITH SCORE 2685773.454
AT ITER 7888 NEW BEST:: SOT 7723239 SOS 3527077 HAS SOPS 3527077 HAS SOUS 2681677 HAS SOUPS 2681677 WITH SCORE 2685204.077
AT ITER 7943 NEW BEST:: SOT 7722926 SOS 3527087 HAS SOPS 3527087 HAS SOUS 2681361 HAS SOUPS 2681361 WITH SCORE 2684888.087
AT ITER 8045 NEW BEST:: SOT 7723193 SOS 3528385 HAS SOPS 3528385 HAS SOUS 2680797 HAS SOUPS 2680797 WITH SCORE 2684325.385
AT ITER 8164 NEW BEST:: SOT 7723193 SOS 3528385 HAS SOPS 3528385 HAS SOUS 2680643 HAS SOUPS 2680643 WITH SCORE 2684171.385
AT ITER 8244 NEW BEST:: SOT 7722127 SOS 3530033 HAS SOPS 3530033 HAS SOUS 2679967 HAS SOUPS 2679967 WITH SCORE 2683497.033
AT ITER 8249 NEW BEST:: SOT 7720131 SOS 3534530 HAS SOPS 3534530 HAS SOUS 2679310 HAS SOUPS 2679310 WITH SCORE 2682844.53
AT ITER 8265 NEW BEST:: SOT 7719774 SOS 3536247 HAS SOPS 3536247 HAS SOUS 2679214 HAS SOUPS 2679214 WITH SCORE 2682750.247
AT ITER 8282 NEW BEST:: SOT 7719369 SOS 3538586 HAS SOPS 3538586 HAS SOUS 2679205 HAS SOUPS 2679205 WITH SCORE 2682743.586
AT ITER 8305 NEW BEST:: SOT 7719369 SOS 3538586 HAS SOPS 3538586 HAS SOUS 2679203 HAS SOUPS 2679203 WITH SCORE 2682741.586
AT ITER 8408 NEW BEST:: SOT 7718557 SOS 3539952 HAS SOPS 3539952 HAS SOUS 2678776 HAS SOUPS 2678776 WITH SCORE 2682315.952
AT ITER 8412 NEW BEST:: SOT 7718520 SOS 3540185 HAS SOPS 3540185 HAS SOUS 2678694 HAS SOUPS 2678694 WITH SCORE 2682234.185
AT ITER 8415 NEW BEST:: SOT 7718520 SOS 3540185 HAS SOPS 3540185 HAS SOUS 2678680 HAS SOUPS 2678680 WITH SCORE 2682220.185
AT ITER 8451 NEW BEST:: SOT 7718284 SOS 3541251 HAS SOPS 3541251 HAS SOUS 2678657 HAS SOUPS 2678657 WITH SCORE 2682198.251
AT ITER 8594 NEW BEST:: SOT 7717760 SOS 3541063 HAS SOPS 3541063 HAS SOUS 2678071 HAS SOUPS 2678071 WITH SCORE 2681612.063
AT ITER 8636 NEW BEST:: SOT 7717340 SOS 3542167 HAS SOPS 3542167 HAS SOUS 2678045 HAS SOUPS 2678045 WITH SCORE 2681587.167
AT ITER 8716 NEW BEST:: SOT 7717340 SOS 3542167 HAS SOPS 3542167 HAS SOUS 2678035 HAS SOUPS 2678035 WITH SCORE 2681577.167
AT ITER 8728 NEW BEST:: SOT 7717187 SOS 3542014 HAS SOPS 3542014 HAS SOUS 2677418 HAS SOUPS 2677418 WITH SCORE 2680960.014
AT ITER 8796 NEW BEST:: SOT 7717187 SOS 3542014 HAS SOPS 3542014 HAS SOUS 2677416 HAS SOUPS 2677416 WITH SCORE 2680958.014
AT ITER 8857 NEW BEST:: SOT 7717187 SOS 3542014 HAS SOPS 3542014 HAS SOUS 2676780 HAS SOUPS 2676780 WITH SCORE 2680322.014
AT ITER 8864 NEW BEST:: SOT 7717187 SOS 3542014 HAS SOPS 3542014 HAS SOUS 2676776 HAS SOUPS 2676776 WITH SCORE 2680318.014
AT ITER 8894 NEW BEST:: SOT 7717187 SOS 3542014 HAS SOPS 3542014 HAS SOUS 2676774 HAS SOUPS 2676774 WITH SCORE 2680316.014
AT ITER 9024 NEW BEST:: SOT 7716233 SOS 3544972 HAS SOPS 3544972 HAS SOUS 2676715 HAS SOUPS 2676715 WITH SCORE 2680259.972
AT ITER 9194 NEW BEST:: SOT 7716233 SOS 3543316 HAS SOPS 3543316 HAS SOUS 2676508 HAS SOUPS 2676508 WITH SCORE 2680051.316
AT ITER 9368 NEW BEST:: SOT 7716233 SOS 3543316 HAS SOPS 3543316 HAS SOUS 2675810 HAS SOUPS 2675810 WITH SCORE 2679353.316
AT ITER 9396 NEW BEST:: SOT 7714616 SOS 3544782 HAS SOPS 3544782 HAS SOUS 2674612 HAS SOUPS 2674612 WITH SCORE 2678156.782
AT ITER 9408 NEW BEST:: SOT 7714616 SOS 3548000 HAS SOPS 3548000 HAS SOUS 2674245 HAS SOUPS 2674245 WITH SCORE 2677793.0
AT ITER 9460 NEW BEST:: SOT 7714173 SOS 3547927 HAS SOPS 3547927 HAS SOUS 2673811 HAS SOUPS 2673811 WITH SCORE 2677358.927
AT ITER 9515 NEW BEST:: SOT 7713713 SOS 3549123 HAS SOPS 3549123 HAS SOUS 2673621 HAS SOUPS 2673621 WITH SCORE 2677170.123
AT ITER 9529 NEW BEST:: SOT 7713647 SOS 3549057 HAS SOPS 3549057 HAS SOUS 2673079 HAS SOUPS 2673079 WITH SCORE 2676628.057
AT ITER 9632 NEW BEST:: SOT 7713646 SOS 3549602 HAS SOPS 3549602 HAS SOUS 2673000 HAS SOUPS 2673000 WITH SCORE 2676549.602
AT ITER 9637 NEW BEST:: SOT 7713646 SOS 3549602 HAS SOPS 3549602 HAS SOUS 2672996 HAS SOUPS 2672996 WITH SCORE 2676545.602
AT ITER 9641 NEW BEST:: SOT 7713456 SOS 3553174 HAS SOPS 3553174 HAS SOUS 2672539 HAS SOUPS 2672539 WITH SCORE 2676092.174
AT ITER 9662 NEW BEST:: SOT 7713451 SOS 3554954 HAS SOPS 3554954 HAS SOUS 2672324 HAS SOUPS 2672324 WITH SCORE 2675878.954
AT ITER 9759 NEW BEST:: SOT 7713446 SOS 3555329 HAS SOPS 3555329 HAS SOUS 2672319 HAS SOUPS 2672319 WITH SCORE 2675874.329
AT ITER 9769 NEW BEST:: SOT 7713156 SOS 3557080 HAS SOPS 3557080 HAS SOUS 2672258 HAS SOUPS 2672258 WITH SCORE 2675815.08
AT ITER 9777 NEW BEST:: SOT 7713189 SOS 3558470 HAS SOPS 3558470 HAS SOUS 2671511 HAS SOUPS 2671511 WITH SCORE 2675069.47
AT ITER 9780 NEW BEST:: SOT 7713187 SOS 3559479 HAS SOPS 3559479 HAS SOUS 2671375 HAS SOUPS 2671375 WITH SCORE 2674934.479
AT ITER 9790 NEW BEST:: SOT 7712776 SOS 3559729 HAS SOPS 3559729 HAS SOUS 2671134 HAS SOUPS 2671134 WITH SCORE 2674693.729
AT ITER 9890 NEW BEST:: SOT 7712776 SOS 3559729 HAS SOPS 3559729 HAS SOUS 2671130 HAS SOUPS 2671130 WITH SCORE 2674689.729
AT ITER 9924 NEW BEST:: SOT 7712776 SOS 3561069 HAS SOPS 3561069 HAS SOUS 2671034 HAS SOUPS 2671034 WITH SCORE 2674595.069
AT ITER 9938 NEW BEST:: SOT 7712776 SOS 3561069 HAS SOPS 3561069 HAS SOUS 2670914 HAS SOUPS 2670914 WITH SCORE 2674475.069
AT ITER 9990 NEW BEST:: SOT 7712776 SOS 3561069 HAS SOPS 3561069 HAS SOUS 2670912 HAS SOUPS 2670912 WITH SCORE 2674473.069
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8510632 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16113560 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="Echo-PT-d05r03"
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 Echo-PT-d05r03, 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 r171-tall-167838858100120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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