Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900028.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-3b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900028
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 3.2K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 12:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 12:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 01:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-3b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589357747984

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 7058 places, 9611 transitions, 24573 arcs.
AT ITER 0 NEW BEST:: SOT 42863379 SOS 8304026 HAS SOPS 8304026 HAS SOUS 6796181 HAS SOUPS 6796181 WITH SCORE 6804485.026
AT ITER 11 NEW BEST:: SOT 42861952 SOS 8302595 HAS SOPS 8302595 HAS SOUS 6794753 HAS SOUPS 6794753 WITH SCORE 6803055.595
AT ITER 15 NEW BEST:: SOT 42861289 SOS 8301932 HAS SOPS 8301932 HAS SOUS 6794090 HAS SOUPS 6794090 WITH SCORE 6802391.932
AT ITER 27 NEW BEST:: SOT 42861711 SOS 8302776 HAS SOPS 8302776 HAS SOUS 6793265 HAS SOUPS 6793265 WITH SCORE 6801567.776
AT ITER 38 NEW BEST:: SOT 42861711 SOS 8302776 HAS SOPS 8302776 HAS SOUS 6792233 HAS SOUPS 6792233 WITH SCORE 6800535.776
AT ITER 40 NEW BEST:: SOT 42861696 SOS 8302746 HAS SOPS 8302746 HAS SOUS 6792203 HAS SOUPS 6792203 WITH SCORE 6800505.746
AT ITER 47 NEW BEST:: SOT 42861558 SOS 8302471 HAS SOPS 8302471 HAS SOUS 6791928 HAS SOUPS 6791928 WITH SCORE 6800230.471
AT ITER 58 NEW BEST:: SOT 42861557 SOS 8302469 HAS SOPS 8302469 HAS SOUS 6791926 HAS SOUPS 6791926 WITH SCORE 6800228.469
AT ITER 59 NEW BEST:: SOT 42860696 SOS 8298164 HAS SOPS 8298164 HAS SOUS 6790204 HAS SOUPS 6790204 WITH SCORE 6798502.164
AT ITER 60 NEW BEST:: SOT 42860694 SOS 8298162 HAS SOPS 8298162 HAS SOUS 6790197 HAS SOUPS 6790197 WITH SCORE 6798495.162
AT ITER 67 NEW BEST:: SOT 42860694 SOS 8298318 HAS SOPS 8298318 HAS SOUS 6790195 HAS SOUPS 6790195 WITH SCORE 6798493.318
AT ITER 88 NEW BEST:: SOT 42860694 SOS 8297510 HAS SOPS 8297510 HAS SOUS 6790194 HAS SOUPS 6790194 WITH SCORE 6798491.51
AT ITER 123 NEW BEST:: SOT 42860197 SOS 8296517 HAS SOPS 8296517 HAS SOUS 6789201 HAS SOUPS 6789201 WITH SCORE 6797497.517
AT ITER 137 NEW BEST:: SOT 42856262 SOS 8295747 HAS SOPS 8295747 HAS SOUS 6787041 HAS SOUPS 6787041 WITH SCORE 6795336.747
AT ITER 194 NEW BEST:: SOT 42855426 SOS 8294907 HAS SOPS 8294907 HAS SOUS 6786204 HAS SOUPS 6786204 WITH SCORE 6794498.907
AT ITER 195 NEW BEST:: SOT 42855685 SOS 8294905 HAS SOPS 8294905 HAS SOUS 6786203 HAS SOUPS 6786203 WITH SCORE 6794497.905
AT ITER 237 NEW BEST:: SOT 42856066 SOS 8295039 HAS SOPS 8295039 HAS SOUS 6785955 HAS SOUPS 6785955 WITH SCORE 6794250.039
AT ITER 238 NEW BEST:: SOT 42856066 SOS 8295039 HAS SOPS 8295039 HAS SOUS 6784889 HAS SOUPS 6784889 WITH SCORE 6793184.039
AT ITER 266 NEW BEST:: SOT 42856065 SOS 8295037 HAS SOPS 8295037 HAS SOUS 6784887 HAS SOUPS 6784887 WITH SCORE 6793182.037
AT ITER 267 NEW BEST:: SOT 42853903 SOS 8294265 HAS SOPS 8294265 HAS SOUS 6783909 HAS SOUPS 6783909 WITH SCORE 6792203.265
AT ITER 269 NEW BEST:: SOT 42853467 SOS 8293481 HAS SOPS 8293481 HAS SOUS 6783379 HAS SOUPS 6783379 WITH SCORE 6791672.481
AT ITER 280 NEW BEST:: SOT 42853467 SOS 8293533 HAS SOPS 8293533 HAS SOUS 6783378 HAS SOUPS 6783378 WITH SCORE 6791671.533
AT ITER 312 NEW BEST:: SOT 42853509 SOS 8292923 HAS SOPS 8292923 HAS SOUS 6782768 HAS SOUPS 6782768 WITH SCORE 6791060.923
AT ITER 314 NEW BEST:: SOT 42852881 SOS 8292532 HAS SOPS 8292532 HAS SOUS 6782380 HAS SOUPS 6782380 WITH SCORE 6790672.532
AT ITER 359 NEW BEST:: SOT 42852753 SOS 8292780 HAS SOPS 8292780 HAS SOUS 6782250 HAS SOUPS 6782250 WITH SCORE 6790542.78
AT ITER 372 NEW BEST:: SOT 42852403 SOS 8292780 HAS SOPS 8292780 HAS SOUS 6782075 HAS SOUPS 6782075 WITH SCORE 6790367.78
AT ITER 375 NEW BEST:: SOT 42851158 SOS 8291531 HAS SOPS 8291531 HAS SOUS 6780829 HAS SOUPS 6780829 WITH SCORE 6789120.531
AT ITER 379 NEW BEST:: SOT 42851158 SOS 8291068 HAS SOPS 8291068 HAS SOUS 6780829 HAS SOUPS 6780829 WITH SCORE 6789120.068
AT ITER 388 NEW BEST:: SOT 42850415 SOS 8289582 HAS SOPS 8289582 HAS SOUS 6779343 HAS SOUPS 6779343 WITH SCORE 6787632.582
AT ITER 392 NEW BEST:: SOT 42850143 SOS 8289038 HAS SOPS 8289038 HAS SOUS 6779071 HAS SOUPS 6779071 WITH SCORE 6787360.038
AT ITER 409 NEW BEST:: SOT 42848625 SOS 8287101 HAS SOPS 8287101 HAS SOUS 6777137 HAS SOUPS 6777137 WITH SCORE 6785424.101
AT ITER 420 NEW BEST:: SOT 42847582 SOS 8281886 HAS SOPS 8281886 HAS SOUS 6775051 HAS SOUPS 6775051 WITH SCORE 6783332.886
AT ITER 424 NEW BEST:: SOT 42846797 SOS 8283094 HAS SOPS 8283094 HAS SOUS 6774444 HAS SOUPS 6774444 WITH SCORE 6782727.094
AT ITER 448 NEW BEST:: SOT 42846378 SOS 8283092 HAS SOPS 8283092 HAS SOUS 6774442 HAS SOUPS 6774442 WITH SCORE 6782725.092
AT ITER 451 NEW BEST:: SOT 42845037 SOS 8284222 HAS SOPS 8284222 HAS SOUS 6773858 HAS SOUPS 6773858 WITH SCORE 6782142.222
AT ITER 470 NEW BEST:: SOT 42844902 SOS 8283952 HAS SOPS 8283952 HAS SOUS 6773723 HAS SOUPS 6773723 WITH SCORE 6782006.952
AT ITER 495 NEW BEST:: SOT 42844936 SOS 8283478 HAS SOPS 8283478 HAS SOUS 6773249 HAS SOUPS 6773249 WITH SCORE 6781532.478
AT ITER 498 NEW BEST:: SOT 42845198 SOS 8283442 HAS SOPS 8283442 HAS SOUS 6773231 HAS SOUPS 6773231 WITH SCORE 6781514.442
AT ITER 521 NEW BEST:: SOT 42845198 SOS 8282865 HAS SOPS 8282865 HAS SOUS 6773231 HAS SOUPS 6773231 WITH SCORE 6781513.865
AT ITER 634 NEW BEST:: SOT 42845105 SOS 8285397 HAS SOPS 8285397 HAS SOUS 6773137 HAS SOUPS 6773137 WITH SCORE 6781422.397
AT ITER 636 NEW BEST:: SOT 42842933 SOS 8287745 HAS SOPS 8287745 HAS SOUS 6772814 HAS SOUPS 6772814 WITH SCORE 6781101.745
AT ITER 639 NEW BEST:: SOT 42842424 SOS 8287236 HAS SOPS 8287236 HAS SOUS 6772305 HAS SOUPS 6772305 WITH SCORE 6780592.236
AT ITER 640 NEW BEST:: SOT 42841618 SOS 8287321 HAS SOPS 8287321 HAS SOUS 6771626 HAS SOUPS 6771626 WITH SCORE 6779913.321
AT ITER 657 NEW BEST:: SOT 42841616 SOS 8287171 HAS SOPS 8287171 HAS SOUS 6771476 HAS SOUPS 6771476 WITH SCORE 6779763.171
AT ITER 665 NEW BEST:: SOT 42840680 SOS 8287170 HAS SOPS 8287170 HAS SOUS 6771475 HAS SOUPS 6771475 WITH SCORE 6779762.17
AT ITER 669 NEW BEST:: SOT 42840679 SOS 8287168 HAS SOPS 8287168 HAS SOUS 6771473 HAS SOUPS 6771473 WITH SCORE 6779760.168
AT ITER 676 NEW BEST:: SOT 42840245 SOS 8286300 HAS SOPS 8286300 HAS SOUS 6770605 HAS SOUPS 6770605 WITH SCORE 6778891.3
AT ITER 692 NEW BEST:: SOT 42839665 SOS 8285140 HAS SOPS 8285140 HAS SOUS 6770025 HAS SOUPS 6770025 WITH SCORE 6778310.14
AT ITER 694 NEW BEST:: SOT 42839253 SOS 8284930 HAS SOPS 8284930 HAS SOUS 6769818 HAS SOUPS 6769818 WITH SCORE 6778102.93
AT ITER 704 NEW BEST:: SOT 42836047 SOS 8284704 HAS SOPS 8284704 HAS SOUS 6767453 HAS SOUPS 6767453 WITH SCORE 6775737.704
AT ITER 736 NEW BEST:: SOT 42836047 SOS 8284704 HAS SOPS 8284704 HAS SOUS 6767010 HAS SOUPS 6767010 WITH SCORE 6775294.704
AT ITER 781 NEW BEST:: SOT 42836151 SOS 8286408 HAS SOPS 8286408 HAS SOUS 6766758 HAS SOUPS 6766758 WITH SCORE 6775044.408
AT ITER 787 NEW BEST:: SOT 42835739 SOS 8285584 HAS SOPS 8285584 HAS SOUS 6766345 HAS SOUPS 6766345 WITH SCORE 6774630.584
AT ITER 793 NEW BEST:: SOT 42835739 SOS 8284974 HAS SOPS 8284974 HAS SOUS 6766345 HAS SOUPS 6766345 WITH SCORE 6774629.974
AT ITER 796 NEW BEST:: SOT 42835738 SOS 8284972 HAS SOPS 8284972 HAS SOUS 6766343 HAS SOUPS 6766343 WITH SCORE 6774627.972
AT ITER 823 NEW BEST:: SOT 42835737 SOS 8284130 HAS SOPS 8284130 HAS SOUS 6765501 HAS SOUPS 6765501 WITH SCORE 6773785.13
AT ITER 836 NEW BEST:: SOT 42835692 SOS 8284040 HAS SOPS 8284040 HAS SOUS 6765411 HAS SOUPS 6765411 WITH SCORE 6773695.04
AT ITER 849 NEW BEST:: SOT 42835033 SOS 8283377 HAS SOPS 8283377 HAS SOUS 6764751 HAS SOUPS 6764751 WITH SCORE 6773034.377
AT ITER 852 NEW BEST:: SOT 42835032 SOS 8283375 HAS SOPS 8283375 HAS SOUS 6764749 HAS SOUPS 6764749 WITH SCORE 6773032.375
AT ITER 902 NEW BEST:: SOT 42835030 SOS 8283371 HAS SOPS 8283371 HAS SOUS 6764745 HAS SOUPS 6764745 WITH SCORE 6773028.371
AT ITER 911 NEW BEST:: SOT 42834635 SOS 8282581 HAS SOPS 8282581 HAS SOUS 6763955 HAS SOUPS 6763955 WITH SCORE 6772237.581
AT ITER 916 NEW BEST:: SOT 42834690 SOS 8282691 HAS SOPS 8282691 HAS SOUS 6763419 HAS SOUPS 6763419 WITH SCORE 6771701.691
AT ITER 933 NEW BEST:: SOT 42834172 SOS 8282428 HAS SOPS 8282428 HAS SOUS 6763159 HAS SOUPS 6763159 WITH SCORE 6771441.428
AT ITER 979 NEW BEST:: SOT 42832422 SOS 8281822 HAS SOPS 8281822 HAS SOUS 6761791 HAS SOUPS 6761791 WITH SCORE 6770072.822
AT ITER 993 NEW BEST:: SOT 42831906 SOS 8281306 HAS SOPS 8281306 HAS SOUS 6761275 HAS SOUPS 6761275 WITH SCORE 6769556.306
AT ITER 1048 NEW BEST:: SOT 42831905 SOS 8281304 HAS SOPS 8281304 HAS SOUS 6761273 HAS SOUPS 6761273 WITH SCORE 6769554.304
AT ITER 1070 NEW BEST:: SOT 42794311 SOS 8323136 HAS SOPS 8323136 HAS SOUS 6727865 HAS SOUPS 6727865 WITH SCORE 6736188.136
AT ITER 1074 NEW BEST:: SOT 42793918 SOS 8322350 HAS SOPS 8322350 HAS SOUS 6727472 HAS SOUPS 6727472 WITH SCORE 6735794.35
AT ITER 1098 NEW BEST:: SOT 42793002 SOS 8323263 HAS SOPS 8323263 HAS SOUS 6727470 HAS SOUPS 6727470 WITH SCORE 6735793.263
AT ITER 1102 NEW BEST:: SOT 42792408 SOS 8322075 HAS SOPS 8322075 HAS SOUS 6726282 HAS SOUPS 6726282 WITH SCORE 6734604.075
AT ITER 1114 NEW BEST:: SOT 42791438 SOS 8320135 HAS SOPS 8320135 HAS SOUS 6724342 HAS SOUPS 6724342 WITH SCORE 6732662.135
AT ITER 1124 NEW BEST:: SOT 42790808 SOS 8316982 HAS SOPS 8316982 HAS SOUS 6723082 HAS SOUPS 6723082 WITH SCORE 6731398.982
AT ITER 1125 NEW BEST:: SOT 42790807 SOS 8316980 HAS SOPS 8316980 HAS SOUS 6723080 HAS SOUPS 6723080 WITH SCORE 6731396.98
AT ITER 1131 NEW BEST:: SOT 42789936 SOS 8315238 HAS SOPS 8315238 HAS SOUS 6721338 HAS SOUPS 6721338 WITH SCORE 6729653.238
AT ITER 1146 NEW BEST:: SOT 42790143 SOS 8315652 HAS SOPS 8315652 HAS SOUS 6721336 HAS SOUPS 6721336 WITH SCORE 6729651.652
AT ITER 1157 NEW BEST:: SOT 42789681 SOS 8315186 HAS SOPS 8315186 HAS SOUS 6720873 HAS SOUPS 6720873 WITH SCORE 6729188.186
AT ITER 1173 NEW BEST:: SOT 42788691 SOS 8322848 HAS SOPS 8322848 HAS SOUS 6719172 HAS SOUPS 6719172 WITH SCORE 6727494.848
AT ITER 1181 NEW BEST:: SOT 42786949 SOS 8322142 HAS SOPS 8322142 HAS SOUS 6718466 HAS SOUPS 6718466 WITH SCORE 6726788.142
AT ITER 1217 NEW BEST:: SOT 42785949 SOS 8321142 HAS SOPS 8321142 HAS SOUS 6717466 HAS SOUPS 6717466 WITH SCORE 6725787.142
AT ITER 1227 NEW BEST:: SOT 42785381 SOS 8320858 HAS SOPS 8320858 HAS SOUS 6717182 HAS SOUPS 6717182 WITH SCORE 6725502.858
AT ITER 1228 NEW BEST:: SOT 42785200 SOS 8320496 HAS SOPS 8320496 HAS SOUS 6716266 HAS SOUPS 6716266 WITH SCORE 6724586.496
AT ITER 1252 NEW BEST:: SOT 42784531 SOS 8319158 HAS SOPS 8319158 HAS SOUS 6714392 HAS SOUPS 6714392 WITH SCORE 6722711.158
AT ITER 1263 NEW BEST:: SOT 42782001 SOS 8317318 HAS SOPS 8317318 HAS SOUS 6712322 HAS SOUPS 6712322 WITH SCORE 6720639.318
AT ITER 1266 NEW BEST:: SOT 42781266 SOS 8317294 HAS SOPS 8317294 HAS SOUS 6712298 HAS SOUPS 6712298 WITH SCORE 6720615.294
AT ITER 1274 NEW BEST:: SOT 42781085 SOS 8316272 HAS SOPS 8316272 HAS SOUS 6712298 HAS SOUPS 6712298 WITH SCORE 6720614.272
AT ITER 1279 NEW BEST:: SOT 42781084 SOS 8316270 HAS SOPS 8316270 HAS SOUS 6712296 HAS SOUPS 6712296 WITH SCORE 6720612.27
AT ITER 1296 NEW BEST:: SOT 42780905 SOS 8315206 HAS SOPS 8315206 HAS SOUS 6712285 HAS SOUPS 6712285 WITH SCORE 6720600.206
AT ITER 1316 NEW BEST:: SOT 42781146 SOS 8315688 HAS SOPS 8315688 HAS SOUS 6711026 HAS SOUPS 6711026 WITH SCORE 6719341.688
AT ITER 1336 NEW BEST:: SOT 42780625 SOS 8315688 HAS SOPS 8315688 HAS SOUS 6710505 HAS SOUPS 6710505 WITH SCORE 6718820.688
AT ITER 1338 NEW BEST:: SOT 42780081 SOS 8314600 HAS SOPS 8314600 HAS SOUS 6709417 HAS SOUPS 6709417 WITH SCORE 6717731.6
AT ITER 1354 NEW BEST:: SOT 42780081 SOS 8313672 HAS SOPS 8313672 HAS SOUS 6708953 HAS SOUPS 6708953 WITH SCORE 6717266.672
AT ITER 1362 NEW BEST:: SOT 42780201 SOS 8313912 HAS SOPS 8313912 HAS SOUS 6708532 HAS SOUPS 6708532 WITH SCORE 6716845.912
AT ITER 1388 NEW BEST:: SOT 42776393 SOS 8313370 HAS SOPS 8313370 HAS SOUS 6706494 HAS SOUPS 6706494 WITH SCORE 6714807.37
AT ITER 1390 NEW BEST:: SOT 42775909 SOS 8313128 HAS SOPS 8313128 HAS SOUS 6706252 HAS SOUPS 6706252 WITH SCORE 6714565.128
AT ITER 1394 NEW BEST:: SOT 42776364 SOS 8313434 HAS SOPS 8313434 HAS SOUS 6706103 HAS SOUPS 6706103 WITH SCORE 6714416.434
AT ITER 1418 NEW BEST:: SOT 42776364 SOS 8313878 HAS SOPS 8313878 HAS SOUS 6706102 HAS SOUPS 6706102 WITH SCORE 6714415.878
AT ITER 1444 NEW BEST:: SOT 42775708 SOS 8313352 HAS SOPS 8313352 HAS SOUS 6705576 HAS SOUPS 6705576 WITH SCORE 6713889.352
AT ITER 1447 NEW BEST:: SOT 42775052 SOS 8312040 HAS SOPS 8312040 HAS SOUS 6704264 HAS SOUPS 6704264 WITH SCORE 6712576.04
AT ITER 1449 NEW BEST:: SOT 42774803 SOS 8311542 HAS SOPS 8311542 HAS SOUS 6703766 HAS SOUPS 6703766 WITH SCORE 6712077.542
AT ITER 1456 NEW BEST:: SOT 42774802 SOS 8311540 HAS SOPS 8311540 HAS SOUS 6703764 HAS SOUPS 6703764 WITH SCORE 6712075.54
AT ITER 1484 NEW BEST:: SOT 42774028 SOS 8309991 HAS SOPS 8309991 HAS SOUS 6702215 HAS SOUPS 6702215 WITH SCORE 6710524.991
AT ITER 1485 NEW BEST:: SOT 42774028 SOS 8309165 HAS SOPS 8309165 HAS SOUS 6702215 HAS SOUPS 6702215 WITH SCORE 6710524.165
AT ITER 1502 NEW BEST:: SOT 42774028 SOS 8308956 HAS SOPS 8308956 HAS SOUS 6702215 HAS SOUPS 6702215 WITH SCORE 6710523.956
AT ITER 1511 NEW BEST:: SOT 42773588 SOS 8308922 HAS SOPS 8308922 HAS SOUS 6702057 HAS SOUPS 6702057 WITH SCORE 6710365.922
AT ITER 1608 NEW BEST:: SOT 42773588 SOS 8308509 HAS SOPS 8308509 HAS SOUS 6702057 HAS SOUPS 6702057 WITH SCORE 6710365.509
AT ITER 1611 NEW BEST:: SOT 42773588 SOS 8308508 HAS SOPS 8308508 HAS SOUS 6702056 HAS SOUPS 6702056 WITH SCORE 6710364.508
AT ITER 1621 NEW BEST:: SOT 42772890 SOS 8307112 HAS SOPS 8307112 HAS SOUS 6700525 HAS SOUPS 6700525 WITH SCORE 6708832.112
AT ITER 1628 NEW BEST:: SOT 42772585 SOS 8305587 HAS SOPS 8305587 HAS SOUS 6699915 HAS SOUPS 6699915 WITH SCORE 6708220.587
AT ITER 1632 NEW BEST:: SOT 42772227 SOS 8304871 HAS SOPS 8304871 HAS SOUS 6698541 HAS SOUPS 6698541 WITH SCORE 6706845.871
AT ITER 1634 NEW BEST:: SOT 42771978 SOS 8304373 HAS SOPS 8304373 HAS SOUS 6697402 HAS SOUPS 6697402 WITH SCORE 6705706.373
AT ITER 1661 NEW BEST:: SOT 42771451 SOS 8304450 HAS SOPS 8304450 HAS SOUS 6697252 HAS SOUPS 6697252 WITH SCORE 6705556.45
AT ITER 1662 NEW BEST:: SOT 42771123 SOS 8304122 HAS SOPS 8304122 HAS SOUS 6697251 HAS SOUPS 6697251 WITH SCORE 6705555.122
AT ITER 1666 NEW BEST:: SOT 42770211 SOS 8304027 HAS SOPS 8304027 HAS SOUS 6697156 HAS SOUPS 6697156 WITH SCORE 6705460.027
AT ITER 1683 NEW BEST:: SOT 42769304 SOS 8303116 HAS SOPS 8303116 HAS SOUS 6696248 HAS SOUPS 6696248 WITH SCORE 6704551.116
AT ITER 1713 NEW BEST:: SOT 42768852 SOS 8302212 HAS SOPS 8302212 HAS SOUS 6696005 HAS SOUPS 6696005 WITH SCORE 6704307.212
AT ITER 1720 NEW BEST:: SOT 42768850 SOS 8302210 HAS SOPS 8302210 HAS SOUS 6696003 HAS SOUPS 6696003 WITH SCORE 6704305.21
AT ITER 1733 NEW BEST:: SOT 42765709 SOS 8297341 HAS SOPS 8297341 HAS SOUS 6692424 HAS SOUPS 6692424 WITH SCORE 6700721.341
AT ITER 1741 NEW BEST:: SOT 42765292 SOS 8296507 HAS SOPS 8296507 HAS SOUS 6692423 HAS SOUPS 6692423 WITH SCORE 6700719.507
AT ITER 1759 NEW BEST:: SOT 42765290 SOS 8296334 HAS SOPS 8296334 HAS SOUS 6692250 HAS SOUPS 6692250 WITH SCORE 6700546.334
AT ITER 1781 NEW BEST:: SOT 42765053 SOS 8295860 HAS SOPS 8295860 HAS SOUS 6690975 HAS SOUPS 6690975 WITH SCORE 6699270.86
AT ITER 1806 NEW BEST:: SOT 42764861 SOS 8295476 HAS SOPS 8295476 HAS SOUS 6690083 HAS SOUPS 6690083 WITH SCORE 6698378.476
AT ITER 1810 NEW BEST:: SOT 42764788 SOS 8295473 HAS SOPS 8295473 HAS SOUS 6690082 HAS SOUPS 6690082 WITH SCORE 6698377.473
AT ITER 1868 NEW BEST:: SOT 42764305 SOS 8295812 HAS SOPS 8295812 HAS SOUS 6690034 HAS SOUPS 6690034 WITH SCORE 6698329.812
AT ITER 1884 NEW BEST:: SOT 42763194 SOS 8295004 HAS SOPS 8295004 HAS SOUS 6689125 HAS SOUPS 6689125 WITH SCORE 6697420.004
AT ITER 1926 NEW BEST:: SOT 42762822 SOS 8294818 HAS SOPS 8294818 HAS SOUS 6688939 HAS SOUPS 6688939 WITH SCORE 6697233.818
AT ITER 1944 NEW BEST:: SOT 42762551 SOS 8293463 HAS SOPS 8293463 HAS SOUS 6688397 HAS SOUPS 6688397 WITH SCORE 6696690.463
AT ITER 1987 NEW BEST:: SOT 42762001 SOS 8293188 HAS SOPS 8293188 HAS SOUS 6688122 HAS SOUPS 6688122 WITH SCORE 6696415.188
AT ITER 2004 NEW BEST:: SOT 42760841 SOS 8292753 HAS SOPS 8292753 HAS SOUS 6686969 HAS SOUPS 6686969 WITH SCORE 6695261.753
AT ITER 2005 NEW BEST:: SOT 42760841 SOS 8293036 HAS SOPS 8293036 HAS SOUS 6686968 HAS SOUPS 6686968 WITH SCORE 6695261.036
AT ITER 2011 NEW BEST:: SOT 42761145 SOS 8292958 HAS SOPS 8292958 HAS SOUS 6686586 HAS SOUPS 6686586 WITH SCORE 6694878.958
AT ITER 2012 NEW BEST:: SOT 42761106 SOS 8292854 HAS SOPS 8292854 HAS SOUS 6686482 HAS SOUPS 6686482 WITH SCORE 6694774.854
AT ITER 2018 NEW BEST:: SOT 42761212 SOS 8293062 HAS SOPS 8293062 HAS SOUS 6686481 HAS SOUPS 6686481 WITH SCORE 6694774.062
AT ITER 2042 NEW BEST:: SOT 42760912 SOS 8292462 HAS SOPS 8292462 HAS SOUS 6685863 HAS SOUPS 6685863 WITH SCORE 6694155.462
AT ITER 2043 NEW BEST:: SOT 42760912 SOS 8291114 HAS SOPS 8291114 HAS SOUS 6684515 HAS SOUPS 6684515 WITH SCORE 6692806.114
AT ITER 2063 NEW BEST:: SOT 42760863 SOS 8291016 HAS SOPS 8291016 HAS SOUS 6684417 HAS SOUPS 6684417 WITH SCORE 6692708.016
AT ITER 2102 NEW BEST:: SOT 42760193 SOS 8290846 HAS SOPS 8290846 HAS SOUS 6684247 HAS SOUPS 6684247 WITH SCORE 6692537.846
AT ITER 2115 NEW BEST:: SOT 42759974 SOS 8290408 HAS SOPS 8290408 HAS SOUS 6683809 HAS SOUPS 6683809 WITH SCORE 6692099.408
AT ITER 2131 NEW BEST:: SOT 42754214 SOS 8288828 HAS SOPS 8288828 HAS SOUS 6679665 HAS SOUPS 6679665 WITH SCORE 6687953.828
AT ITER 2143 NEW BEST:: SOT 42754173 SOS 8288787 HAS SOPS 8288787 HAS SOUS 6679665 HAS SOUPS 6679665 WITH SCORE 6687953.787
AT ITER 2157 NEW BEST:: SOT 42754173 SOS 8288787 HAS SOPS 8288787 HAS SOUS 6679031 HAS SOUPS 6679031 WITH SCORE 6687319.787
AT ITER 2170 NEW BEST:: SOT 42754514 SOS 8288918 HAS SOPS 8288918 HAS SOUS 6678820 HAS SOUPS 6678820 WITH SCORE 6687108.918
AT ITER 2171 NEW BEST:: SOT 42753076 SOS 8288918 HAS SOPS 8288918 HAS SOUS 6678101 HAS SOUPS 6678101 WITH SCORE 6686389.918
AT ITER 2201 NEW BEST:: SOT 42752455 SOS 8288402 HAS SOPS 8288402 HAS SOUS 6677585 HAS SOUPS 6677585 WITH SCORE 6685873.402
AT ITER 2249 NEW BEST:: SOT 42752780 SOS 8289052 HAS SOPS 8289052 HAS SOUS 6677487 HAS SOUPS 6677487 WITH SCORE 6685776.052
AT ITER 2264 NEW BEST:: SOT 42752779 SOS 8289050 HAS SOPS 8289050 HAS SOUS 6677485 HAS SOUPS 6677485 WITH SCORE 6685774.05
AT ITER 2273 NEW BEST:: SOT 42752006 SOS 8289001 HAS SOPS 8289001 HAS SOUS 6677436 HAS SOUPS 6677436 WITH SCORE 6685725.001
AT ITER 2323 NEW BEST:: SOT 42751655 SOS 8289167 HAS SOPS 8289167 HAS SOUS 6677356 HAS SOUPS 6677356 WITH SCORE 6685645.167
AT ITER 2346 NEW BEST:: SOT 42750635 SOS 8283551 HAS SOPS 8283551 HAS SOUS 6675316 HAS SOUPS 6675316 WITH SCORE 6683599.551
AT ITER 2386 NEW BEST:: SOT 42749333 SOS 8284193 HAS SOPS 8284193 HAS SOUS 6675096 HAS SOUPS 6675096 WITH SCORE 6683380.193
AT ITER 2398 NEW BEST:: SOT 42748758 SOS 8284191 HAS SOPS 8284191 HAS SOUS 6675091 HAS SOUPS 6675091 WITH SCORE 6683375.191
AT ITER 2418 NEW BEST:: SOT 42748237 SOS 8283149 HAS SOPS 8283149 HAS SOUS 6674049 HAS SOUPS 6674049 WITH SCORE 6682332.149
AT ITER 2430 NEW BEST:: SOT 42746735 SOS 8283175 HAS SOPS 8283175 HAS SOUS 6673557 HAS SOUPS 6673557 WITH SCORE 6681840.175
AT ITER 2435 NEW BEST:: SOT 42746553 SOS 8283175 HAS SOPS 8283175 HAS SOUS 6673466 HAS SOUPS 6673466 WITH SCORE 6681749.175
AT ITER 2451 NEW BEST:: SOT 42745810 SOS 8281555 HAS SOPS 8281555 HAS SOUS 6671846 HAS SOUPS 6671846 WITH SCORE 6680127.555
AT ITER 2474 NEW BEST:: SOT 42745704 SOS 8281449 HAS SOPS 8281449 HAS SOUS 6671740 HAS SOUPS 6671740 WITH SCORE 6680021.449
AT ITER 2477 NEW BEST:: SOT 42745478 SOS 8280997 HAS SOPS 8280997 HAS SOUS 6671180 HAS SOUPS 6671180 WITH SCORE 6679460.997
AT ITER 2497 NEW BEST:: SOT 42744959 SOS 8281207 HAS SOPS 8281207 HAS SOUS 6671077 HAS SOUPS 6671077 WITH SCORE 6679358.207
AT ITER 2509 NEW BEST:: SOT 42744681 SOS 8280929 HAS SOPS 8280929 HAS SOUS 6670521 HAS SOUPS 6670521 WITH SCORE 6678801.929
AT ITER 2564 NEW BEST:: SOT 42744023 SOS 8279613 HAS SOPS 8279613 HAS SOUS 6669863 HAS SOUPS 6669863 WITH SCORE 6678142.613
AT ITER 2626 NEW BEST:: SOT 42743862 SOS 8280011 HAS SOPS 8280011 HAS SOUS 6669541 HAS SOUPS 6669541 WITH SCORE 6677821.011
AT ITER 2681 NEW BEST:: SOT 42744047 SOS 8280009 HAS SOPS 8280009 HAS SOUS 6669540 HAS SOUPS 6669540 WITH SCORE 6677820.009
AT ITER 2707 NEW BEST:: SOT 42743914 SOS 8279876 HAS SOPS 8279876 HAS SOUS 6669540 HAS SOUPS 6669540 WITH SCORE 6677819.876
AT ITER 2739 NEW BEST:: SOT 42744150 SOS 8280348 HAS SOPS 8280348 HAS SOUS 6668594 HAS SOUPS 6668594 WITH SCORE 6676874.348
AT ITER 2740 NEW BEST:: SOT 42743830 SOS 8279708 HAS SOPS 8279708 HAS SOUS 6667954 HAS SOUPS 6667954 WITH SCORE 6676233.708
AT ITER 2746 NEW BEST:: SOT 42743767 SOS 8279645 HAS SOPS 8279645 HAS SOUS 6667954 HAS SOUPS 6667954 WITH SCORE 6676233.645
AT ITER 2751 NEW BEST:: SOT 42742735 SOS 8279151 HAS SOPS 8279151 HAS SOUS 6667172 HAS SOUPS 6667172 WITH SCORE 6675451.151
AT ITER 2755 NEW BEST:: SOT 42742255 SOS 8278192 HAS SOPS 8278192 HAS SOUS 6666892 HAS SOUPS 6666892 WITH SCORE 6675170.192
AT ITER 2757 NEW BEST:: SOT 42741657 SOS 8276996 HAS SOPS 8276996 HAS SOUS 6665696 HAS SOUPS 6665696 WITH SCORE 6673972.996
AT ITER 2796 NEW BEST:: SOT 42737111 SOS 8280504 HAS SOPS 8280504 HAS SOUS 6663512 HAS SOUPS 6663512 WITH SCORE 6671792.504
AT ITER 2822 NEW BEST:: SOT 42736810 SOS 8279902 HAS SOPS 8279902 HAS SOUS 6662471 HAS SOUPS 6662471 WITH SCORE 6670750.902
AT ITER 2836 NEW BEST:: SOT 42736588 SOS 8279458 HAS SOPS 8279458 HAS SOUS 6662027 HAS SOUPS 6662027 WITH SCORE 6670306.458
AT ITER 2837 NEW BEST:: SOT 42736220 SOS 8278722 HAS SOPS 8278722 HAS SOUS 6661291 HAS SOUPS 6661291 WITH SCORE 6669569.722
AT ITER 2846 NEW BEST:: SOT 42736220 SOS 8278099 HAS SOPS 8278099 HAS SOUS 6661291 HAS SOUPS 6661291 WITH SCORE 6669569.099
AT ITER 2855 NEW BEST:: SOT 42736220 SOS 8278089 HAS SOPS 8278089 HAS SOUS 6661290 HAS SOUPS 6661290 WITH SCORE 6669568.089
AT ITER 2870 NEW BEST:: SOT 42735856 SOS 8277360 HAS SOPS 8277360 HAS SOUS 6659866 HAS SOUPS 6659866 WITH SCORE 6668143.36
AT ITER 2880 NEW BEST:: SOT 42735856 SOS 8277224 HAS SOPS 8277224 HAS SOUS 6659730 HAS SOUPS 6659730 WITH SCORE 6668007.224
AT ITER 2899 NEW BEST:: SOT 42735361 SOS 8275904 HAS SOPS 8275904 HAS SOUS 6658905 HAS SOUPS 6658905 WITH SCORE 6667180.904
AT ITER 2907 NEW BEST:: SOT 42735361 SOS 8275904 HAS SOPS 8275904 HAS SOUS 6657360 HAS SOUPS 6657360 WITH SCORE 6665635.904
AT ITER 2911 NEW BEST:: SOT 42734521 SOS 8268308 HAS SOPS 8268308 HAS SOUS 6654831 HAS SOUPS 6654831 WITH SCORE 6663099.308
AT ITER 2913 NEW BEST:: SOT 42734521 SOS 8268161 HAS SOPS 8268161 HAS SOUS 6654684 HAS SOUPS 6654684 WITH SCORE 6662952.161
AT ITER 2915 NEW BEST:: SOT 42734210 SOS 8267539 HAS SOPS 8267539 HAS SOUS 6654062 HAS SOUPS 6654062 WITH SCORE 6662329.539
AT ITER 2992 NEW BEST:: SOT 42733046 SOS 8266375 HAS SOPS 8266375 HAS SOUS 6652898 HAS SOUPS 6652898 WITH SCORE 6661164.375
AT ITER 3006 NEW BEST:: SOT 42730321 SOS 8261181 HAS SOPS 8261181 HAS SOUS 6649549 HAS SOUPS 6649549 WITH SCORE 6657810.181
AT ITER 3037 NEW BEST:: SOT 42729594 SOS 8259727 HAS SOPS 8259727 HAS SOUS 6648095 HAS SOUPS 6648095 WITH SCORE 6656354.727
AT ITER 3059 NEW BEST:: SOT 42729416 SOS 8259371 HAS SOPS 8259371 HAS SOUS 6647917 HAS SOUPS 6647917 WITH SCORE 6656176.371
AT ITER 3088 NEW BEST:: SOT 42729387 SOS 8259313 HAS SOPS 8259313 HAS SOUS 6647859 HAS SOUPS 6647859 WITH SCORE 6656118.313
AT ITER 3108 NEW BEST:: SOT 42728300 SOS 8253878 HAS SOPS 8253878 HAS SOUS 6645685 HAS SOUPS 6645685 WITH SCORE 6653938.878
AT ITER 3161 NEW BEST:: SOT 42727981 SOS 8253240 HAS SOPS 8253240 HAS SOUS 6645047 HAS SOUPS 6645047 WITH SCORE 6653300.24
AT ITER 3178 NEW BEST:: SOT 42727728 SOS 8253667 HAS SOPS 8253667 HAS SOUS 6644794 HAS SOUPS 6644794 WITH SCORE 6653047.667
AT ITER 3198 NEW BEST:: SOT 42727134 SOS 8246699 HAS SOPS 8246699 HAS SOUS 6642929 HAS SOUPS 6642929 WITH SCORE 6651175.699
AT ITER 3231 NEW BEST:: SOT 42727134 SOS 8247189 HAS SOPS 8247189 HAS SOUS 6642928 HAS SOUPS 6642928 WITH SCORE 6651175.189
AT ITER 3290 NEW BEST:: SOT 42727134 SOS 8247034 HAS SOPS 8247034 HAS SOUS 6642773 HAS SOUPS 6642773 WITH SCORE 6651020.034
AT ITER 3319 NEW BEST:: SOT 42726306 SOS 8246206 HAS SOPS 8246206 HAS SOUS 6641945 HAS SOUPS 6641945 WITH SCORE 6650191.206
AT ITER 3320 NEW BEST:: SOT 42725147 SOS 8245336 HAS SOPS 8245336 HAS SOUS 6641078 HAS SOUPS 6641078 WITH SCORE 6649323.336
AT ITER 3337 NEW BEST:: SOT 42725147 SOS 8245336 HAS SOPS 8245336 HAS SOUS 6639592 HAS SOUPS 6639592 WITH SCORE 6647837.336
AT ITER 3356 NEW BEST:: SOT 42724951 SOS 8244944 HAS SOPS 8244944 HAS SOUS 6639005 HAS SOUPS 6639005 WITH SCORE 6647249.944
AT ITER 3366 NEW BEST:: SOT 42724406 SOS 8244826 HAS SOPS 8244826 HAS SOUS 6638784 HAS SOUPS 6638784 WITH SCORE 6647028.826
AT ITER 3367 NEW BEST:: SOT 42722505 SOS 8246814 HAS SOPS 8246814 HAS SOUS 6637400 HAS SOUPS 6637400 WITH SCORE 6645646.814
AT ITER 3378 NEW BEST:: SOT 42722504 SOS 8246812 HAS SOPS 8246812 HAS SOUS 6637398 HAS SOUPS 6637398 WITH SCORE 6645644.812
AT ITER 3382 NEW BEST:: SOT 42722934 SOS 8247672 HAS SOPS 8247672 HAS SOUS 6637214 HAS SOUPS 6637214 WITH SCORE 6645461.672
AT ITER 3393 NEW BEST:: SOT 42722493 SOS 8247231 HAS SOPS 8247231 HAS SOUS 6636773 HAS SOUPS 6636773 WITH SCORE 6645020.231
AT ITER 3394 NEW BEST:: SOT 42722493 SOS 8247231 HAS SOPS 8247231 HAS SOUS 6635321 HAS SOUPS 6635321 WITH SCORE 6643568.231
AT ITER 3409 NEW BEST:: SOT 42722304 SOS 8246853 HAS SOPS 8246853 HAS SOUS 6634407 HAS SOUPS 6634407 WITH SCORE 6642653.853
AT ITER 3413 NEW BEST:: SOT 42722295 SOS 8246835 HAS SOPS 8246835 HAS SOUS 6634389 HAS SOUPS 6634389 WITH SCORE 6642635.835
AT ITER 3439 NEW BEST:: SOT 42722090 SOS 8246425 HAS SOPS 8246425 HAS SOUS 6634184 HAS SOUPS 6634184 WITH SCORE 6642430.425
AT ITER 3485 NEW BEST:: SOT 42722089 SOS 8246423 HAS SOPS 8246423 HAS SOUS 6634182 HAS SOUPS 6634182 WITH SCORE 6642428.423
AT ITER 3494 NEW BEST:: SOT 42721543 SOS 8245331 HAS SOPS 8245331 HAS SOUS 6633090 HAS SOUPS 6633090 WITH SCORE 6641335.331
AT ITER 3519 NEW BEST:: SOT 42720713 SOS 8245228 HAS SOPS 8245228 HAS SOUS 6632987 HAS SOUPS 6632987 WITH SCORE 6641232.228
AT ITER 3530 NEW BEST:: SOT 42720439 SOS 8244680 HAS SOPS 8244680 HAS SOUS 6632439 HAS SOUPS 6632439 WITH SCORE 6640683.68
AT ITER 3542 NEW BEST:: SOT 42720438 SOS 8244678 HAS SOPS 8244678 HAS SOUS 6632437 HAS SOUPS 6632437 WITH SCORE 6640681.678
AT ITER 3552 NEW BEST:: SOT 42716637 SOS 8249354 HAS SOPS 8249354 HAS SOUS 6630903 HAS SOUPS 6630903 WITH SCORE 6639152.354
AT ITER 3555 NEW BEST:: SOT 42715093 SOS 8248208 HAS SOPS 8248208 HAS SOUS 6629757 HAS SOUPS 6629757 WITH SCORE 6638005.208
AT ITER 3586 NEW BEST:: SOT 42714817 SOS 8248190 HAS SOPS 8248190 HAS SOUS 6629679 HAS SOUPS 6629679 WITH SCORE 6637927.19
AT ITER 3587 NEW BEST:: SOT 42714817 SOS 8248190 HAS SOPS 8248190 HAS SOUS 6628538 HAS SOUPS 6628538 WITH SCORE 6636786.19
AT ITER 3635 NEW BEST:: SOT 42714498 SOS 8247867 HAS SOPS 8247867 HAS SOUS 6628537 HAS SOUPS 6628537 WITH SCORE 6636784.867
AT ITER 3655 NEW BEST:: SOT 42713904 SOS 8246679 HAS SOPS 8246679 HAS SOUS 6626724 HAS SOUPS 6626724 WITH SCORE 6634970.679
AT ITER 3657 NEW BEST:: SOT 42714389 SOS 8246678 HAS SOPS 8246678 HAS SOUS 6626723 HAS SOUPS 6626723 WITH SCORE 6634969.678
AT ITER 3671 NEW BEST:: SOT 42714346 SOS 8247043 HAS SOPS 8247043 HAS SOUS 6626631 HAS SOUPS 6626631 WITH SCORE 6634878.043
AT ITER 3683 NEW BEST:: SOT 42714345 SOS 8247041 HAS SOPS 8247041 HAS SOUS 6626629 HAS SOUPS 6626629 WITH SCORE 6634876.041
AT ITER 3695 NEW BEST:: SOT 42713717 SOS 8245785 HAS SOPS 8245785 HAS SOUS 6625373 HAS SOUPS 6625373 WITH SCORE 6633618.785
AT ITER 3704 NEW BEST:: SOT 42712611 SOS 8243573 HAS SOPS 8243573 HAS SOUS 6624267 HAS SOUPS 6624267 WITH SCORE 6632510.573
AT ITER 3717 NEW BEST:: SOT 42711463 SOS 8241277 HAS SOPS 8241277 HAS SOUS 6621971 HAS SOUPS 6621971 WITH SCORE 6630212.277
AT ITER 3734 NEW BEST:: SOT 42710967 SOS 8241029 HAS SOPS 8241029 HAS SOUS 6621723 HAS SOUPS 6621723 WITH SCORE 6629964.029
AT ITER 3827 NEW BEST:: SOT 42705782 SOS 8249447 HAS SOPS 8249447 HAS SOUS 6620030 HAS SOUPS 6620030 WITH SCORE 6628279.447
AT ITER 3828 NEW BEST:: SOT 42704317 SOS 8247978 HAS SOPS 8247978 HAS SOUS 6618564 HAS SOUPS 6618564 WITH SCORE 6626811.978
AT ITER 3837 NEW BEST:: SOT 42704317 SOS 8247237 HAS SOPS 8247237 HAS SOUS 6618564 HAS SOUPS 6618564 WITH SCORE 6626811.237
AT ITER 3855 NEW BEST:: SOT 42704253 SOS 8247370 HAS SOPS 8247370 HAS SOUS 6618436 HAS SOUPS 6618436 WITH SCORE 6626683.37
AT ITER 3887 NEW BEST:: SOT 42704253 SOS 8247178 HAS SOPS 8247178 HAS SOUS 6618388 HAS SOUPS 6618388 WITH SCORE 6626635.178
AT ITER 3893 NEW BEST:: SOT 42704250 SOS 8247180 HAS SOPS 8247180 HAS SOUS 6618387 HAS SOUPS 6618387 WITH SCORE 6626634.18
AT ITER 3899 NEW BEST:: SOT 42704016 SOS 8246712 HAS SOPS 8246712 HAS SOUS 6618152 HAS SOUPS 6618152 WITH SCORE 6626398.712
AT ITER 3913 NEW BEST:: SOT 42704016 SOS 8246331 HAS SOPS 8246331 HAS SOUS 6618152 HAS SOUPS 6618152 WITH SCORE 6626398.331
AT ITER 3914 NEW BEST:: SOT 42703882 SOS 8246063 HAS SOPS 8246063 HAS SOUS 6617884 HAS SOUPS 6617884 WITH SCORE 6626130.063
AT ITER 3935 NEW BEST:: SOT 42703726 SOS 8245751 HAS SOPS 8245751 HAS SOUS 6616928 HAS SOUPS 6616928 WITH SCORE 6625173.751
AT ITER 3952 NEW BEST:: SOT 42702840 SOS 8244861 HAS SOPS 8244861 HAS SOUS 6616041 HAS SOUPS 6616041 WITH SCORE 6624285.861
AT ITER 3974 NEW BEST:: SOT 42701339 SOS 8243479 HAS SOPS 8243479 HAS SOUS 6614659 HAS SOUPS 6614659 WITH SCORE 6622902.479
AT ITER 3981 NEW BEST:: SOT 42701339 SOS 8243121 HAS SOPS 8243121 HAS SOUS 6614292 HAS SOUPS 6614292 WITH SCORE 6622535.121
AT ITER 4026 NEW BEST:: SOT 42701339 SOS 8243040 HAS SOPS 8243040 HAS SOUS 6614211 HAS SOUPS 6614211 WITH SCORE 6622454.04
AT ITER 4035 NEW BEST:: SOT 42701339 SOS 8243879 HAS SOPS 8243879 HAS SOUS 6614210 HAS SOUPS 6614210 WITH SCORE 6622453.879
AT ITER 4041 NEW BEST:: SOT 42701688 SOS 8244227 HAS SOPS 8244227 HAS SOUS 6614209 HAS SOUPS 6614209 WITH SCORE 6622453.227
AT ITER 4047 NEW BEST:: SOT 42701355 SOS 8243561 HAS SOPS 8243561 HAS SOUS 6613989 HAS SOUPS 6613989 WITH SCORE 6622232.561
AT ITER 4064 NEW BEST:: SOT 42700779 SOS 8242985 HAS SOPS 8242985 HAS SOUS 6613413 HAS SOUPS 6613413 WITH SCORE 6621655.985
AT ITER 4087 NEW BEST:: SOT 42700731 SOS 8242889 HAS SOPS 8242889 HAS SOUS 6613365 HAS SOUPS 6613365 WITH SCORE 6621607.889
AT ITER 4101 NEW BEST:: SOT 42701306 SOS 8244039 HAS SOPS 8244039 HAS SOUS 6613180 HAS SOUPS 6613180 WITH SCORE 6621424.039
AT ITER 4102 NEW BEST:: SOT 42701155 SOS 8243737 HAS SOPS 8243737 HAS SOUS 6612878 HAS SOUPS 6612878 WITH SCORE 6621121.737
AT ITER 4116 NEW BEST:: SOT 42701056 SOS 8243612 HAS SOPS 8243612 HAS SOUS 6612025 HAS SOUPS 6612025 WITH SCORE 6620268.612
AT ITER 4130 NEW BEST:: SOT 42700547 SOS 8243419 HAS SOPS 8243419 HAS SOUS 6611791 HAS SOUPS 6611791 WITH SCORE 6620034.419
AT ITER 4160 NEW BEST:: SOT 42693554 SOS 8242705 HAS SOPS 8242705 HAS SOUS 6607215 HAS SOUPS 6607215 WITH SCORE 6615457.705
AT ITER 4164 NEW BEST:: SOT 42693045 SOS 8241969 HAS SOPS 8241969 HAS SOUS 6606453 HAS SOUPS 6606453 WITH SCORE 6614694.969
AT ITER 4173 NEW BEST:: SOT 42692609 SOS 8241533 HAS SOPS 8241533 HAS SOUS 6606017 HAS SOUPS 6606017 WITH SCORE 6614258.533
AT ITER 4251 NEW BEST:: SOT 42691960 SOS 8240721 HAS SOPS 8240721 HAS SOUS 6605205 HAS SOUPS 6605205 WITH SCORE 6613445.721
AT ITER 4265 NEW BEST:: SOT 42691176 SOS 8239937 HAS SOPS 8239937 HAS SOUS 6604421 HAS SOUPS 6604421 WITH SCORE 6612660.937
AT ITER 4271 NEW BEST:: SOT 42691299 SOS 8240183 HAS SOPS 8240183 HAS SOUS 6603976 HAS SOUPS 6603976 WITH SCORE 6612216.183
AT ITER 4293 NEW BEST:: SOT 42691299 SOS 8240083 HAS SOPS 8240083 HAS SOUS 6603876 HAS SOUPS 6603876 WITH SCORE 6612116.083
AT ITER 4303 NEW BEST:: SOT 42689671 SOS 8237641 HAS SOPS 8237641 HAS SOUS 6603112 HAS SOUPS 6603112 WITH SCORE 6611349.641
AT ITER 4328 NEW BEST:: SOT 42689670 SOS 8237639 HAS SOPS 8237639 HAS SOUS 6603110 HAS SOUPS 6603110 WITH SCORE 6611347.639
AT ITER 4364 NEW BEST:: SOT 42689670 SOS 8237639 HAS SOPS 8237639 HAS SOUS 6603004 HAS SOUPS 6603004 WITH SCORE 6611241.639
AT ITER 4447 NEW BEST:: SOT 42689098 SOS 8234779 HAS SOPS 8234779 HAS SOUS 6601860 HAS SOUPS 6601860 WITH SCORE 6610094.779
AT ITER 4473 NEW BEST:: SOT 42688577 SOS 8234599 HAS SOPS 8234599 HAS SOUS 6601826 HAS SOUPS 6601826 WITH SCORE 6610060.599
AT ITER 4527 NEW BEST:: SOT 42688577 SOS 8234322 HAS SOPS 8234322 HAS SOUS 6601826 HAS SOUPS 6601826 WITH SCORE 6610060.322
AT ITER 4533 NEW BEST:: SOT 42687972 SOS 8232429 HAS SOPS 8232429 HAS SOUS 6601310 HAS SOUPS 6601310 WITH SCORE 6609542.429
AT ITER 4534 NEW BEST:: SOT 42687085 SOS 8233313 HAS SOPS 8233313 HAS SOUS 6601308 HAS SOUPS 6601308 WITH SCORE 6609541.313
AT ITER 4544 NEW BEST:: SOT 42686947 SOS 8233271 HAS SOPS 8233271 HAS SOUS 6601227 HAS SOUPS 6601227 WITH SCORE 6609460.271
AT ITER 4608 NEW BEST:: SOT 42686525 SOS 8232427 HAS SOPS 8232427 HAS SOUS 6601149 HAS SOUPS 6601149 WITH SCORE 6609381.427
AT ITER 4622 NEW BEST:: SOT 42685856 SOS 8232161 HAS SOPS 8232161 HAS SOUS 6600684 HAS SOUPS 6600684 WITH SCORE 6608916.161
AT ITER 4630 NEW BEST:: SOT 42683704 SOS 8231085 HAS SOPS 8231085 HAS SOUS 6599608 HAS SOUPS 6599608 WITH SCORE 6607839.085
AT ITER 4670 NEW BEST:: SOT 42683254 SOS 8230635 HAS SOPS 8230635 HAS SOUS 6599158 HAS SOUPS 6599158 WITH SCORE 6607388.635
AT ITER 4722 NEW BEST:: SOT 42683254 SOS 8231434 HAS SOPS 8231434 HAS SOUS 6599157 HAS SOUPS 6599157 WITH SCORE 6607388.434
AT ITER 4726 NEW BEST:: SOT 42682735 SOS 8230396 HAS SOPS 8230396 HAS SOUS 6598119 HAS SOUPS 6598119 WITH SCORE 6606349.396
AT ITER 4736 NEW BEST:: SOT 42682735 SOS 8229782 HAS SOPS 8229782 HAS SOUS 6598119 HAS SOUPS 6598119 WITH SCORE 6606348.782
AT ITER 4744 NEW BEST:: SOT 42682735 SOS 8229707 HAS SOPS 8229707 HAS SOUS 6598119 HAS SOUPS 6598119 WITH SCORE 6606348.707
AT ITER 4750 NEW BEST:: SOT 42683476 SOS 8224383 HAS SOPS 8224383 HAS SOUS 6597952 HAS SOUPS 6597952 WITH SCORE 6606176.383
AT ITER 4783 NEW BEST:: SOT 42683175 SOS 8222927 HAS SOPS 8222927 HAS SOUS 6597651 HAS SOUPS 6597651 WITH SCORE 6605873.927
AT ITER 4785 NEW BEST:: SOT 42682799 SOS 8222319 HAS SOPS 8222319 HAS SOUS 6597358 HAS SOUPS 6597358 WITH SCORE 6605580.319
AT ITER 4802 NEW BEST:: SOT 42682997 SOS 8222715 HAS SOPS 8222715 HAS SOUS 6597194 HAS SOUPS 6597194 WITH SCORE 6605416.715
AT ITER 4815 NEW BEST:: SOT 42682868 SOS 8222458 HAS SOPS 8222458 HAS SOUS 6596937 HAS SOUPS 6596937 WITH SCORE 6605159.458
AT ITER 4895 NEW BEST:: SOT 42683194 SOS 8223110 HAS SOPS 8223110 HAS SOUS 6596910 HAS SOUPS 6596910 WITH SCORE 6605133.11
AT ITER 4911 NEW BEST:: SOT 42683010 SOS 8222926 HAS SOPS 8222926 HAS SOUS 6596726 HAS SOUPS 6596726 WITH SCORE 6604948.926
AT ITER 4914 NEW BEST:: SOT 42682886 SOS 8222678 HAS SOPS 8222678 HAS SOUS 6596478 HAS SOUPS 6596478 WITH SCORE 6604700.678
AT ITER 4919 NEW BEST:: SOT 42682322 SOS 8222114 HAS SOPS 8222114 HAS SOUS 6595914 HAS SOUPS 6595914 WITH SCORE 6604136.114
AT ITER 4925 NEW BEST:: SOT 42682322 SOS 8222114 HAS SOPS 8222114 HAS SOUS 6594937 HAS SOUPS 6594937 WITH SCORE 6603159.114
AT ITER 4941 NEW BEST:: SOT 42681927 SOS 8221324 HAS SOPS 8221324 HAS SOUS 6594542 HAS SOUPS 6594542 WITH SCORE 6602763.324
AT ITER 4944 NEW BEST:: SOT 42681927 SOS 8221259 HAS SOPS 8221259 HAS SOUS 6594477 HAS SOUPS 6594477 WITH SCORE 6602698.259
AT ITER 4956 NEW BEST:: SOT 42681927 SOS 8222026 HAS SOPS 8222026 HAS SOUS 6594476 HAS SOUPS 6594476 WITH SCORE 6602698.026
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-3b-CTLFireability-00 (EF( (AU( ( ((potential((tk(P6126)>=1)))) & ((potential((tk(P2027)>=1)))) ) , ( ((potential((tk(P6856)>=1)))) & ((potential((tk(P3286)>=1) & (tk(P6072)>=1)))) ) ))))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-01 (! (AF( (! (! ( ((potential((tk(P3884)>=1) & (tk(P6192)>=1)))) & ((potential((tk(P4481)>=1)))) ))))))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-02 (AF( ( ( (AG( ((potential((tk(P1681)>=1)))))) | ( ( ((potential((tk(P1715)>=1) & (tk(P4985)>=1)))) | ((potential((tk(P2622)>=1)))) ) | ( ((potential((tk(P4336)>=1) & (tk(P6415)>=1)))) & ((potential((tk(P3655)>=1)))) ) ) ) & (! (! (! ((potential((tk(P5853)>=1))))))) )))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-03 (EU( ( ( (! ((potential((tk(P4554)>=1))))) | ( ((potential((tk(P4373)>=1) & (tk(P6275)>=1)))) | ((potential((tk(P1787)>=1)))) ) ) | (AG( ((potential((tk(P892)>=1)))))) ) , ((potential((tk(P4230)>=1) & (tk(P5815)>=1)))) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-04 (! ( (AF( ( ( ((potential((tk(P6366)>=1)))) & ((potential((tk(P897)>=1) & (tk(P5612)>=1)))) ) & ( ((potential((tk(P4210)>=1) & (tk(P7025)>=1)))) & ((potential((tk(P4322)>=1) & (tk(P6342)>=1)))) ) ))) | (EU( ( ((potential((tk(P4272)>=1) & (tk(P5482)>=1)))) | ((potential((tk(P962)>=1)))) ) , ( ((potential((tk(P209)>=1)))) & ((potential((tk(P4886)>=1)))) ) )) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-05 (EU( (AF( ( ((potential((tk(P1350)>=1)))) & ((potential((tk(P3712)>=1) & (tk(P6925)>=1)))) ))) , (! ( (! ((potential((tk(P3918)>=1) & (tk(P5405)>=1))))) | ( ((potential((tk(P651)>=1)))) | ((potential((tk(P594)>=1)))) ) )) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-06 ( ( ((potential((tk(P4866)>=1)))) & (AF( ( ( ((potential((tk(P402)>=1) & (tk(P4732)>=1)))) | ((potential((tk(P2200)>=1)))) ) | ((potential((tk(P3055)>=1)))) ))) ) | (EG( (AF( ((potential((tk(P2325)>=1)))))))) )
PROPERTY: DLCshifumi-PT-3b-CTLFireability-07 (EF( ((potential((tk(P688)>=1))))))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-08 (EU( (EG( ((potential((tk(P3141)>=1)))))) , (EF( ((potential((tk(P4230)>=1) & (tk(P5895)>=1)))))) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-09 (AU( (EF( (! ((potential((tk(P4202)>=1) & (tk(P5942)>=1))))))) , ( (AG( ((potential((tk(P6766)>=1)))))) & (! ( ((potential((tk(P1613)>=1)))) | ((potential((tk(P693)>=1)))) )) ) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-10 ( (EF( ( (EX( ((potential((tk(P3305)>=1)))))) & ((potential((tk(P3316)>=1)))) ))) | ((potential((tk(P4350)>=1) & (tk(P6715)>=1)))) )
PROPERTY: DLCshifumi-PT-3b-CTLFireability-11 (AX( ( ((potential((tk(P4220)>=1) & (tk(P6175)>=1)))) | (EF( ((potential((tk(P3543)>=1)))))) )))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-12 (EU( ( (EF( ((potential((tk(P2448)>=1)))))) | (AG( ((potential((tk(P4356)>=1) & (tk(P6655)>=1)))))) ) , (EU( ((potential((tk(P3851)>=1)))) , ((potential((tk(P4372)>=1)))) )) ))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-13 (AF( (AX( (AF( ((potential((tk(P175)>=1))))))))))
PROPERTY: DLCshifumi-PT-3b-CTLFireability-14 ( ( ( (AU( ((potential((tk(P2273)>=1)))) , ((potential((tk(P3060)>=1) & (tk(P6812)>=1)))) )) | ((potential((tk(P4340)>=1) & (tk(P6635)>=1)))) ) | ( (AF( ((potential((tk(P671)>=1)))))) | ((potential((tk(P4741)>=1)))) ) ) | ( (! ( (! ( ((potential((tk(P4322)>=1) & (tk(P6502)>=1)))) | ((potential((tk(P1681)>=1) & (tk(P4972)>=1)))) )) | (AX( ((potential((tk(P4350)>=1) & (tk(P6775)>=1)))))) )) | (EU( (! ((potential((tk(P276)>=1))))) , ( ((potential((tk(P636)>=1)))) | ((potential((tk(P4277)>=1) & (tk(P5815)>=1)))) ) )) ) )
PROPERTY: DLCshifumi-PT-3b-CTLFireability-15 (AF( ((potential((tk(P2698)>=1))))))

BK_TIME_CONFINEMENT_REACHED

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

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="DLCshifumi-PT-3b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-3b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3b.tgz
mv DLCshifumi-PT-3b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;