About the Execution of Tapaal for JoinFreeModules-PT-2000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 636.968 | 401830.00 | 1248322.00 | 237.60 | F????????FT??TTF | normal |
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.r237-tall-167856424300219.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 tapaal
Input is JoinFreeModules-PT-2000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r237-tall-167856424300219
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.6M
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 11:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 12:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 6.2M Mar 5 18:22 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 JoinFreeModules-PT-2000-LTLCardinality-00
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-01
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-02
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-03
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-04
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-05
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-06
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-07
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-08
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-09
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-10
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-11
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-12
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-13
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-14
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678674856536
tapaal
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> tapaal --- TAPAAL
Setting MODEL_PATH=.
Setting VERIFYPN=/home/mcc/BenchKit/bin/verifypn
Got BK_TIME_CONFINEMENT=3600
Setting TEMPDIR=/home/mcc/BenchKit/bin/tmp
Got BK_MEMORY_CONFINEMENT=16384
Limiting to 16265216 kB
Total timeout: 3590
Time left: 3590
*************************************
* TAPAAL verifying LTLCardinality *
*************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.CFMw8eiOHi
MF=/home/mcc/BenchKit/bin/tmp/tmp.1EfyX73dKL
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
Time left: 3590
---------------------------------------------------
Step 0: Parallel Simplification
---------------------------------------------------
Doing parallel simplification (16 in total)
Total simplification timout is 718 -- reduction timeout is 299
timeout 1017 /home/mcc/BenchKit/bin/verifypn -n -ltl -q 718 -l 29 -d 299 -z 4 -s OverApprox --binary-query-io 2 --write-simplified /home/mcc/BenchKit/bin/tmp/tmp.CFMw8eiOHi --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.1EfyX73dKL -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLCardinality.xml
FORMULA JoinFreeModules-PT-2000-LTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 0 was solved
Query is NOT satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 9 was solved
Query is NOT satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 10 was solved
Query is satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 13 was solved
Query is satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 14 was solved
Query is satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 15 was solved
Query is NOT satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3558
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058605 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196264@@@
Spent 0.002353 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.56,75220@@@
Spent 0.067524 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.83,196380@@@
Spent 0.058661 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.04,196416@@@
Time left: 3556
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062972 on verification
Spent 0.002528 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,75000@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196324@@@
Spent 0.05722 on verification
Spent 0.05245 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196296@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196196@@@
Time left: 3554
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.002932 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,76824@@@
Spent 0.050595 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196284@@@
Spent 0.073838 on verification
Spent 0.068773 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196400@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196408@@@
Time left: 3552
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.003017 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,75500@@@
Spent 0.065245 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196288@@@
Spent 0.052496 on verification
Spent 0.068935 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196292@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196540@@@
Time left: 3551
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.003044 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,76428@@@
Spent 0.063795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.71,196436@@@
Spent 0.062335 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.05,196428@@@
Spent 0.055931 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.09,196216@@@
Time left: 3548
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065272 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196448@@@
Spent 0.003093 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,75824@@@
Spent 0.066925 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.06972 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196368@@@
Command exited with non-zero status 255
@@@1.49,196208@@@
Time left: 3547
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.00404 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,74720@@@
Spent 0.057556 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196260@@@
Spent 0.081319 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.17,196244@@@
Spent 0.063525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.20,196292@@@
Time left: 3545
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057102 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196464@@@
Spent 0.003372 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,74792@@@
Spent 0.058705 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196328@@@
Spent 0.061165 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196536@@@
Time left: 3544
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.0573 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196176@@@
Spent 0.056241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196532@@@
Spent 0.003243 on verification
Spent 0.065672 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,75160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196492@@@
Time left: 3543
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.003579 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,75284@@@
Spent 0.064274 on verification
Spent 0.057859 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196360@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196308@@@
Spent 0.0668 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196292@@@
Time left: 3541
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 10 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 512 seconds)
Time left: 3541
------------------- QUERY 1 ----------------------
Running query 1 for 512 seconds. Remaining: 10 queries and 3541 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057536 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.56,212044@@@
Time left: 3540
------------------- QUERY 2 ----------------------
Running query 2 for 512 seconds. Remaining: 9 queries and 3540 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057581 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.63,212656@@@
Time left: 3538
------------------- QUERY 3 ----------------------
Running query 3 for 512 seconds. Remaining: 8 queries and 3538 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057235 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.76,212976@@@
Time left: 3536
------------------- QUERY 4 ----------------------
Running query 4 for 512 seconds. Remaining: 7 queries and 3536 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056543 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.01,212748@@@
Time left: 3534
------------------- QUERY 5 ----------------------
Running query 5 for 589 seconds. Remaining: 6 queries and 3534 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055095 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.77,229032@@@
Time left: 3532
------------------- QUERY 6 ----------------------
Running query 6 for 706 seconds. Remaining: 5 queries and 3532 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054726 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.13,212256@@@
Time left: 3530
------------------- QUERY 7 ----------------------
Running query 7 for 882 seconds. Remaining: 4 queries and 3530 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056515 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@6.37,212084@@@
Time left: 3524
------------------- QUERY 8 ----------------------
Running query 8 for 1174 seconds. Remaining: 3 queries and 3524 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059826 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.59,213700@@@
Time left: 3522
------------------- QUERY 9 ----------------------
Running query 9 for 1761 seconds. Remaining: 2 queries and 3522 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053919 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,212556@@@
Time left: 3520
------------------- QUERY 10 ----------------------
Running query 10 for 3520 seconds. Remaining: 1 queries and 3520 seconds
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053639 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,230504@@@
Time left: 3519
Time left: 3519
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 351 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.047721 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.60,196352@@@
Spent 0.046355 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.66,196372@@@
Spent 0.063825 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.71,196356@@@
Spent 0.070066 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.82,196424@@@
Time left: 3517
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065946 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196308@@@
Spent 0.047388 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.64,196548@@@
Spent 0.068265 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.92,196476@@@
Spent 0.04664 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.16,196556@@@
Time left: 3514
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.04786 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196352@@@
Spent 0.04852 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196564@@@
Spent 0.06264 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196404@@@
Spent 0.07183 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196512@@@
Time left: 3512
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065404 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196572@@@
Spent 0.049086 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196364@@@
Spent 0.048207 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.59,196496@@@
Spent 0.066516 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.61,196576@@@
Time left: 3511
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064378 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196476@@@
Spent 0.048656 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.64,196628@@@
Spent 0.04882 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.11,196372@@@
Spent 0.04907 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.21,196444@@@
Time left: 3508
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.050001 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196332@@@
Spent 0.066824 on verification
Spent 0.060035 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196280@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196320@@@
Spent 0.063693 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196200@@@
Time left: 3507
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052217 on verification
Spent 0.051419 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196204@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196412@@@
Spent 0.066158 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196312@@@
Spent 0.070305 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196236@@@
Time left: 3506
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051905 on verification
Spent 0.053882 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196340@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196528@@@
Spent 0.068069 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196320@@@
Spent 0.070698 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196388@@@
Time left: 3504
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062243 on verification
Spent 0.052335 on verification
Spent 0.051992 on verification
Spent 0.062573 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196232@@@
Command exited with non-zero status 255
@@@1.00,196324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196432@@@
Time left: 3503
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052339 on verification
Spent 0.050871 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196572@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196368@@@
Spent 0.065247 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.057605 on verification
Command exited with non-zero status 255
@@@1.02,196364@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196208@@@
Time left: 3502
Time left: 3502
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 350 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052682 on verification
Spent 0.065311 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196436@@@
Spent 0.063957 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196416@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196284@@@
Spent 0.05264 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196232@@@
Time left: 3500
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064084 on verification
Spent 0.054193 on verification
Spent 0.068485 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196272@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196332@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196224@@@
Spent 0.060261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196444@@@
Time left: 3498
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.06685 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196324@@@
Spent 0.063093 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.053649 on verification
Command exited with non-zero status 255
@@@1.43,196348@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196492@@@
Spent 0.058713 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196256@@@
Time left: 3497
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.06529 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.053957 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196248@@@
Spent 0.055329 on verification
Command exited with non-zero status 255
@@@1.43,196368@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196244@@@
Spent 0.061894 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196288@@@
Time left: 3495
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.067143 on verification
Spent 0.065332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196576@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196364@@@
Spent 0.051834 on verification
Spent 0.054189 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196508@@@
Time left: 3493
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064931 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196348@@@
Spent 0.063828 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.25,196284@@@
Spent 0.048089 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196344@@@
Spent 0.050653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196420@@@
Time left: 3492
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.066988 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196380@@@
Spent 0.052169 on verification
Spent 0.056139 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196440@@@
Spent 0.065153 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196088@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196232@@@
Time left: 3490
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062937 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196384@@@
Spent 0.051833 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196312@@@
Spent 0.065426 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.19,196476@@@
Spent 0.053184 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.18,196368@@@
Time left: 3489
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051416 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196356@@@
Spent 0.053317 on verification
Spent 0.067448 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196368@@@
Spent 0.066321 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196384@@@
Command exited with non-zero status 255
@@@1.04,196488@@@
Time left: 3488
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.050266 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.055479 on verification
Command exited with non-zero status 255
@@@1.02,196476@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196500@@@
Spent 0.069765 on verification
Spent 0.069085 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196476@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196500@@@
Time left: 3486
Time left: 3486
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 348 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.067757 on verification
Spent 0.054455 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196236@@@
Spent 0.056687 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196388@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196432@@@
Spent 0.062468 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196412@@@
Time left: 3484
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05611 on verification
Spent 0.065555 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196276@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196624@@@
Spent 0.055652 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196224@@@
Spent 0.068059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196424@@@
Time left: 3483
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065445 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196336@@@
Spent 0.059375 on verification
Spent 0.066657 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196376@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196496@@@
Spent 0.062304 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196352@@@
Time left: 3481
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062886 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.066623 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196444@@@
Spent 0.056314 on verification
Command exited with non-zero status 255
@@@1.48,196504@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196492@@@
Spent 0.055177 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196308@@@
Time left: 3479
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064574 on verification
Spent 0.065802 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196564@@@
Spent 0.055031 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196440@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196368@@@
Spent 0.053582 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196488@@@
Time left: 3477
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060407 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196324@@@
Spent 0.056938 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196452@@@
Spent 0.059621 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196332@@@
Spent 0.055131 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196380@@@
Time left: 3476
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063014 on verification
Spent 0.060912 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196452@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196272@@@
Spent 0.061934 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196320@@@
Spent 0.062046 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196416@@@
Time left: 3475
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058699 on verification
Spent 0.057129 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196356@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196344@@@
Spent 0.063444 on verification
Spent 0.063364 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196300@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196436@@@
Time left: 3474
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.061634 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196364@@@
Spent 0.059151 on verification
Spent 0.057427 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059917 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196316@@@
Command exited with non-zero status 255
@@@1.04,196360@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196332@@@
Time left: 3472
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.061917 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196176@@@
Spent 0.057545 on verification
Spent 0.062421 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196372@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196504@@@
Spent 0.05493 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196372@@@
Time left: 3471
Time left: 3471
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 347 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059776 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196404@@@
Spent 0.05673 on verification
Spent 0.059026 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196252@@@
Spent 0.059179 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196600@@@
Time left: 3469
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060686 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196356@@@
Spent 0.06117 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196428@@@
Spent 0.05472 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196632@@@
Spent 0.058662 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196544@@@
Time left: 3468
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057045 on verification
Spent 0.06038 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196444@@@
Spent 0.059721 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196384@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196260@@@
Spent 0.062893 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196272@@@
Time left: 3466
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053496 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059055 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196304@@@
Command exited with non-zero status 255
@@@1.44,196380@@@
Spent 0.062226 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196228@@@
Spent 0.057432 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196440@@@
Time left: 3464
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054255 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196452@@@
Spent 0.058427 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196316@@@
Spent 0.056782 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.56,196348@@@
Spent 0.058539 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.61,196360@@@
Time left: 3462
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060373 on verification
Spent 0.056097 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196252@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196468@@@
Spent 0.058077 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196352@@@
Spent 0.0646 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196232@@@
Time left: 3461
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062173 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.064601 on verification
Spent 0.057929 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196296@@@
Command exited with non-zero status 255
@@@1.01,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196320@@@
Spent 0.058353 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196152@@@
Time left: 3460
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059772 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196500@@@
Spent 0.06341 on verification
Spent 0.05841 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196320@@@
Spent 0.059456 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196372@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196468@@@
Time left: 3458
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05938 on verification
Spent 0.054475 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196544@@@
Spent 0.062414 on verification
Spent 0.062991 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196484@@@
Time left: 3457
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062434 on verification
Spent 0.058487 on verification
Spent 0.05813 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196472@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196468@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196268@@@
Spent 0.062029 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196500@@@
Time left: 3456
Time left: 3456
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 345 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063369 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196248@@@
Spent 0.054911 on verification
Spent 0.060158 on verification
Spent 0.060243 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196532@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196304@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196444@@@
Time left: 3454
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059378 on verification
Spent 0.056922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196156@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196264@@@
Spent 0.06278 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196508@@@
Spent 0.058402 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196408@@@
Time left: 3452
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059648 on verification
Spent 0.05393 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196320@@@
Spent 0.060819 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196372@@@
Command exited with non-zero status 255
@@@1.43,196428@@@
Spent 0.055629 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196204@@@
Time left: 3451
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056945 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196292@@@
Spent 0.062104 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196288@@@
Spent 0.061058 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196492@@@
Spent 0.057066 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196572@@@
Time left: 3449
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058113 on verification
Spent 0.058604 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196496@@@
Spent 0.058169 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196196@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196372@@@
Spent 0.059005 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196260@@@
Time left: 3447
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058855 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196312@@@
Spent 0.057692 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196152@@@
Spent 0.059485 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196348@@@
Spent 0.062538 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196288@@@
Time left: 3446
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053582 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196284@@@
Spent 0.057641 on verification
Spent 0.059159 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196432@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196348@@@
Spent 0.056231 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196244@@@
Time left: 3445
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057479 on verification
Spent 0.057482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196480@@@
Spent 0.061844 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196536@@@
Spent 0.065708 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196272@@@
Time left: 3443
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05818 on verification
Spent 0.058232 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196432@@@
Spent 0.06206 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196236@@@
Spent 0.059957 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196304@@@
Time left: 3442
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055191 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196496@@@
Spent 0.057986 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196472@@@
Spent 0.061464 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196308@@@
Spent 0.065959 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196492@@@
Time left: 3441
Time left: 3441
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 344 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057875 on verification
Spent 0.052897 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196532@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196256@@@
Spent 0.063623 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196356@@@
Spent 0.05995 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196268@@@
Time left: 3439
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055101 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196260@@@
Spent 0.055128 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196360@@@
Spent 0.060947 on verification
Spent 0.061727 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196240@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196488@@@
Time left: 3437
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051761 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196276@@@
Spent 0.061755 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196368@@@
Spent 0.055113 on verification
Spent 0.063185 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196264@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196436@@@
Time left: 3436
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054728 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
Spent 0.059892 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196236@@@
Spent 0.062416 on verification
@@@1.43,196424@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196308@@@
Spent 0.057766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196440@@@
Time left: 3434
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062545 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196160@@@
Spent 0.057689 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196568@@@
Spent 0.060212 on verification
Spent 0.058397 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196252@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196464@@@
Time left: 3432
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063072 on verification
Spent 0.054168 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196244@@@
Spent 0.058317 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196348@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196308@@@
Spent 0.063667 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196312@@@
Time left: 3431
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196264@@@
Spent 0.062517 on verification
Spent 0.061557 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196252@@@
Command exited with non-zero status 255
@@@1.01,196288@@@
Spent 0.052764 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196420@@@
Time left: 3430
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054029 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196288@@@
Spent 0.053258 on verification
Spent 0.059352 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196368@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196412@@@
Spent 0.053531 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196336@@@
Time left: 3428
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064072 on verification
Spent 0.065658 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196480@@@
Spent 0.058609 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196416@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196356@@@
Spent 0.064368 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196412@@@
Time left: 3427
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058673 on verification
Spent 0.056507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196564@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196384@@@
Spent 0.065214 on verification
Spent 0.068627 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196328@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196460@@@
Time left: 3426
Time left: 3426
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 342 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056853 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196516@@@
Spent 0.06356 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196216@@@
Spent 0.053942 on verification
Spent 0.059506 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196636@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196236@@@
Time left: 3424
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05421 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196436@@@
Spent 0.063923 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196420@@@
Spent 0.062146 on verification
Spent 0.055344 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196420@@@
Command exited with non-zero status 255
@@@1.47,196268@@@
Time left: 3422
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059422 on verification
Spent 0.054679 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196244@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196192@@@
Spent 0.064653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196468@@@
Spent 0.063024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196504@@@
Time left: 3421
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056653 on verification
Spent 0.063272 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.057774 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196292@@@
Command exited with non-zero status 255
@@@1.45,196256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196356@@@
Spent 0.057146 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196504@@@
Time left: 3419
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052314 on verification
Spent 0.059437 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196412@@@
Spent 0.05746 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.057664 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196372@@@
Command exited with non-zero status 255
@@@1.42,196540@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196464@@@
Time left: 3417
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057788 on verification
Spent 0.055757 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196472@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196504@@@
Spent 0.062854 on verification
Spent 0.058675 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196200@@@
Time left: 3416
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064716 on verification
Spent 0.055191 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196256@@@
Spent 0.062507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196260@@@
Spent 0.059583 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196444@@@
Time left: 3415
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057871 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196360@@@
Spent 0.055656 on verification
Spent 0.060309 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196244@@@
Spent 0.060558 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196336@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196548@@@
Time left: 3414
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055811 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196504@@@
Spent 0.057395 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196340@@@
Spent 0.054819 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196420@@@
Spent 0.056566 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196372@@@
Time left: 3412
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060634 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059083 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.058176 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196332@@@
Command exited with non-zero status 255
@@@1.01,196348@@@
Command exited with non-zero status 255
@@@1.00,196268@@@
Spent 0.063155 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196500@@@
Time left: 3411
Time left: 3411
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 341 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056661 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196368@@@
Spent 0.058168 on verification
Spent 0.05809 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196412@@@
Spent 0.061646 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196488@@@
Time left: 3409
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.118968 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196436@@@
Spent 0.057725 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.89,196512@@@
Spent 0.057554 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.90,196436@@@
Spent 0.061211 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.96,196512@@@
Time left: 3407
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196504@@@
Spent 0.058054 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.89,196372@@@
Spent 0.060596 on verification
Spent 0.058511 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196340@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.97,196308@@@
Time left: 3405
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058154 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196504@@@
Spent 0.05624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196400@@@
Spent 0.059404 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.77,196456@@@
Spent 0.058624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.75,196484@@@
Time left: 3403
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054843 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196388@@@
Spent 0.054807 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.79,196252@@@
Spent 0.054717 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.86,196328@@@
Spent 0.058139 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.15,196552@@@
Time left: 3401
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060709 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.053956 on verification
Spent 0.077992 on verification
Command exited with non-zero status 255
@@@1.02,196232@@@
Spent 0.07517 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196264@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196428@@@
Time left: 3399
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053788 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196300@@@
Spent 0.058773 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.24,196468@@@
Spent 0.059525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196300@@@
Spent 0.059888 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.66,196248@@@
Time left: 3397
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05967 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.060735 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.061038 on verification
Command exited with non-zero status 255
@@@1.00,196180@@@
Command exited with non-zero status 255
@@@1.01,196364@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196320@@@
Spent 0.061321 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196160@@@
Time left: 3396
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05648 on verification
Spent 0.061836 on verification
Spent 0.057884 on verification
Spent 0.05914 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196388@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196364@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196368@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196488@@@
Time left: 3395
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063212 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.05905 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196412@@@
Spent 0.056761 on verification
Spent 0.060448 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196492@@@
Command exited with non-zero status 255
@@@1.01,196276@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196568@@@
Time left: 3394
Time left: 3394
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 339 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055655 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196488@@@
Spent 0.057252 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059952 on verification
Command exited with non-zero status 255
@@@1.43,196336@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196440@@@
Spent 0.05853 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196280@@@
Time left: 3392
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05842 on verification
Spent 0.05889 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196388@@@
Spent 0.053262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196352@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196392@@@
Spent 0.061936 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196560@@@
Time left: 3390
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054697 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196348@@@
Spent 0.057355 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196264@@@
Spent 0.060261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196568@@@
Spent 0.056309 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196172@@@
Time left: 3389
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057948 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196304@@@
Spent 0.056241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196284@@@
Spent 0.059395 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196304@@@
Spent 0.059145 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196244@@@
Time left: 3387
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053205 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196232@@@
Spent 0.053725 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196384@@@
Spent 0.061105 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196380@@@
Spent 0.053815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196488@@@
Time left: 3385
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056218 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196296@@@
Spent 0.055552 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196252@@@
Spent 0.059744 on verification
Spent 0.058493 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196288@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196404@@@
Time left: 3384
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057928 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196228@@@
Spent 0.060736 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196232@@@
Spent 0.060718 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196168@@@
Spent 0.060723 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196500@@@
Time left: 3383
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055432 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196364@@@
Spent 0.062607 on verification
Spent 0.061711 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196504@@@
Spent 0.056874 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196400@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196236@@@
Time left: 3382
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196264@@@
Spent 0.057137 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196348@@@
Spent 0.057856 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196300@@@
Spent 0.058585 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196408@@@
Time left: 3380
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059837 on verification
Spent 0.057647 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196304@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196340@@@
Spent 0.057666 on verification
Spent 0.059613 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196628@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196236@@@
Time left: 3379
Time left: 3379
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 337 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054898 on verification
Spent 0.054858 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196516@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196360@@@
Spent 0.059525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196540@@@
Spent 0.061701 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196284@@@
Time left: 3377
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056311 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196484@@@
Spent 0.056753 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196428@@@
Spent 0.060651 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196364@@@
Spent 0.059824 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196532@@@
Time left: 3376
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057935 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196244@@@
Spent 0.057819 on verification
Spent 0.056299 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196296@@@
Spent 0.064649 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196272@@@
Command exited with non-zero status 255
@@@1.45,196372@@@
Time left: 3374
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054287 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196372@@@
Spent 0.058298 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196444@@@
Spent 0.056845 on verification
Spent 0.059113 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196172@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196248@@@
Time left: 3372
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058 on verification
Spent 0.059986 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196356@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196372@@@
Spent 0.056746 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196320@@@
Spent 0.057685 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196624@@@
Time left: 3370
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060812 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196232@@@
Spent 0.056466 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196180@@@
Spent 0.057711 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196368@@@
Spent 0.059014 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196444@@@
Time left: 3369
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057086 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196276@@@
Spent 0.057485 on verification
Spent 0.060364 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196180@@@
Spent 0.058901 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196320@@@
Command exited with non-zero status 255
@@@1.00,196324@@@
Time left: 3368
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057513 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196468@@@
Spent 0.060259 on verification
Spent 0.056688 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196420@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196328@@@
Spent 0.057931 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196268@@@
Time left: 3367
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058511 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196400@@@
Spent 0.055387 on verification
Spent 0.059046 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196236@@@
Spent 0.059162 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196260@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196160@@@
Time left: 3365
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058703 on verification
Spent 0.060759 on verification
Spent 0.055078 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196348@@@
Spent 0.061493 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196288@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196388@@@
Time left: 3364
Time left: 3364
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 336 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057581 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196432@@@
Spent 0.055552 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196504@@@
Spent 0.060693 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.061466 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196388@@@
Command exited with non-zero status 255
@@@1.43,196364@@@
Time left: 3363
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05851 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196428@@@
Spent 0.058957 on verification
Spent 0.060618 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196344@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196412@@@
Spent 0.060528 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196568@@@
Time left: 3361
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057435 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196240@@@
Spent 0.055647 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196480@@@
Spent 0.056316 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196212@@@
Spent 0.056961 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196368@@@
Time left: 3359
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055638 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196260@@@
Spent 0.057175 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196180@@@
Spent 0.062793 on verification
Spent 0.061764 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196184@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196452@@@
Time left: 3357
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055967 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196632@@@
Spent 0.057605 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196352@@@
Spent 0.060225 on verification
Spent 0.061626 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196532@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196360@@@
Time left: 3356
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196256@@@
Spent 0.06023 on verification
Spent 0.051897 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196484@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196348@@@
Spent 0.064088 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196496@@@
Time left: 3354
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054385 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196300@@@
Spent 0.053645 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.061009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196176@@@
Command exited with non-zero status 255
@@@1.00,196440@@@
Spent 0.061754 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196200@@@
Time left: 3353
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063579 on verification
Spent 0.055027 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196284@@@
Spent 0.057537 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196404@@@
Spent 0.06169 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196452@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196336@@@
Time left: 3352
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060836 on verification
Spent 0.054305 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196476@@@
Spent 0.054281 on verification
Spent 0.064052 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196564@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196512@@@
Command exited with non-zero status 255
@@@1.01,196256@@@
Time left: 3351
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052356 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196508@@@
Spent 0.062138 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196240@@@
Spent 0.062475 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196232@@@
Spent 0.063803 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,196360@@@
Time left: 3349
Time left: 3349
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 334 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.0579 on verification
Spent 0.061131 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196380@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196468@@@
Spent 0.061632 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.19,196320@@@
Spent 0.06317 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.18,196624@@@
Time left: 3346
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051444 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196276@@@
Spent 0.052965 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.58,196240@@@
Spent 0.060713 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.97,196384@@@
Spent 0.059777 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.18,196228@@@
Time left: 3344
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056224 on verification
Spent 0.05503 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196360@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196256@@@
Spent 0.062885 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196516@@@
Spent 0.056636 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196420@@@
Time left: 3342
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052387 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196292@@@
Spent 0.059125 on verification
Spent 0.055357 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196408@@@
Spent 0.084388 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196456@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196268@@@
Time left: 3341
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051642 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196292@@@
Spent 0.06009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196324@@@
Spent 0.052061 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.60,196392@@@
Spent 0.06079 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.67,196380@@@
Time left: 3339
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051948 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196204@@@
Spent 0.059313 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196244@@@
Spent 0.053358 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.11,196420@@@
Spent 0.06298 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.14,196260@@@
Time left: 3337
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052171 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196488@@@
Spent 0.053686 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196244@@@
Spent 0.06718 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.06461 on verification
Command exited with non-zero status 255
@@@1.01,196296@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196284@@@
Time left: 3336
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053215 on verification
Spent 0.055085 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196296@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196488@@@
Spent 0.062608 on verification
Spent 0.062277 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196224@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196544@@@
Time left: 3335
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059764 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196352@@@
Spent 0.054528 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196464@@@
Spent 0.052974 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196576@@@
Spent 0.059381 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.12,196512@@@
Time left: 3334
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05498 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196348@@@
Spent 0.0544 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196464@@@
Spent 0.061391 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196436@@@
Spent 0.054925 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196328@@@
Time left: 3332
Time left: 3332
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 333 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053968 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196276@@@
Spent 0.057116 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196528@@@
Spent 0.061837 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.060387 on verification
Command exited with non-zero status 255
@@@1.46,196484@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196500@@@
Time left: 3331
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.050943 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196400@@@
Spent 0.055061 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196508@@@
Spent 0.060914 on verification
Spent 0.058851 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196560@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196532@@@
Time left: 3329
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060187 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196516@@@
Spent 0.056196 on verification
Spent 0.055127 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196372@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196232@@@
Spent 0.064862 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196324@@@
Time left: 3327
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051785 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196324@@@
Spent 0.055484 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196564@@@
Spent 0.061742 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196244@@@
Spent 0.061832 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196496@@@
Time left: 3326
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051873 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196368@@@
Spent 0.053384 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196432@@@
Spent 0.060711 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196480@@@
Spent 0.053911 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196260@@@
Time left: 3324
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05272 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196360@@@
Spent 0.063583 on verification
Spent 0.055555 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196484@@@
Spent 0.062189 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196212@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196504@@@
Time left: 3323
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053224 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196368@@@
Spent 0.060904 on verification
Spent 0.052835 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196096@@@
Spent 0.062013 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196444@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196336@@@
Time left: 3321
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053924 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196496@@@
Spent 0.056219 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196488@@@
Spent 0.057211 on verification
Spent 0.061338 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196576@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196624@@@
Time left: 3320
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.050863 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196572@@@
Spent 0.057933 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196324@@@
Spent 0.052331 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196472@@@
Spent 0.06135 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.10,196428@@@
Time left: 3319
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052818 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196276@@@
Spent 0.06497 on verification
Spent 0.064862 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196308@@@
Spent 0.079406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196364@@@
Time left: 3317
Time left: 3317
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 331 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055265 on verification
Spent 0.05343 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196540@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196564@@@
Spent 0.057199 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196376@@@
Spent 0.052037 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196428@@@
Time left: 3316
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05251 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196344@@@
Spent 0.055264 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196260@@@
Spent 0.060492 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196480@@@
Spent 0.060342 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196364@@@
Time left: 3314
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051875 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196292@@@
Spent 0.059989 on verification
Spent 0.056242 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196328@@@
Spent 0.057847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196240@@@
Time left: 3312
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054046 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196508@@@
Spent 0.059415 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196508@@@
Spent 0.053419 on verification
Spent 0.060406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196392@@@
Time left: 3311
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.0513 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196444@@@
Spent 0.061724 on verification
Spent 0.063529 on verification
Spent 0.054051 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196560@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196460@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196176@@@
Time left: 3309
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051843 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196464@@@
Spent 0.054792 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196440@@@
Spent 0.062835 on verification
Spent 0.060695 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196424@@@
Time left: 3308
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.052694 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196472@@@
Spent 0.056528 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196244@@@
Spent 0.064627 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.065297 on verification
Command exited with non-zero status 255
@@@1.01,196148@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196288@@@
Time left: 3307
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196472@@@
Spent 0.055591 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196508@@@
Spent 0.066795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196240@@@
Spent 0.066422 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196324@@@
Time left: 3305
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064889 on verification
Spent 0.056488 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.064978 on verification
Command exited with non-zero status 255
@@@1.02,196312@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196360@@@
Spent 0.064846 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196512@@@
Time left: 3304
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058405 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196288@@@
Spent 0.067771 on verification
Spent 0.05922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196392@@@
Spent 0.067338 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196468@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196260@@@
Time left: 3303
Time left: 3303
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 330 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.051084 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196472@@@
Spent 0.063944 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.78,196600@@@
Spent 0.06272 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.08,196368@@@
Spent 0.063582 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.32,196352@@@
Time left: 3300
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196392@@@
Spent 0.064929 on verification
Spent 0.059693 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196320@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196392@@@
Spent 0.065795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196424@@@
Time left: 3298
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065782 on verification
Spent 0.064598 on verification
Spent 0.053079 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196516@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196300@@@
Spent 0.05912 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196264@@@
Time left: 3297
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196172@@@
Spent 0.058465 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.065409 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196452@@@
Spent 0.068832 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196420@@@
Command exited with non-zero status 255
@@@1.47,196276@@@
Time left: 3295
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054724 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196284@@@
Spent 0.060378 on verification
Spent 0.063009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.067248 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196416@@@
Command exited with non-zero status 255
@@@1.47,196452@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196400@@@
Time left: 3293
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055787 on verification
Spent 0.056787 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196288@@@
Spent 0.064588 on verification
Spent 0.065838 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196240@@@
Command exited with non-zero status 255
@@@1.05,196300@@@
Time left: 3292
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.066199 on verification
Spent 0.066057 on verification
Spent 0.057412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196192@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.056468 on verification
Command exited with non-zero status 255
@@@1.01,196204@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196504@@@
Time left: 3291
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053597 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196268@@@
Spent 0.065347 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196412@@@
Spent 0.052796 on verification
Spent 0.067001 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196304@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196564@@@
Time left: 3289
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055762 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196384@@@
Spent 0.054985 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196412@@@
Spent 0.062986 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196300@@@
Spent 0.063084 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196444@@@
Time left: 3288
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196504@@@
Spent 0.067149 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196408@@@
Spent 0.057557 on verification
Spent 0.066863 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196528@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196416@@@
Time left: 3287
Time left: 3287
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 328 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055647 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196276@@@
Spent 0.063124 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196384@@@
Spent 0.055319 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196336@@@
Spent 0.063656 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.59,196268@@@
Time left: 3285
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055208 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196272@@@
Spent 0.054796 on verification
Spent 0.059229 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196412@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196364@@@
Spent 0.060569 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196416@@@
Time left: 3283
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196328@@@
Spent 0.066851 on verification
Spent 0.058334 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196552@@@
Spent 0.06262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196348@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196184@@@
Time left: 3282
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056304 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196112@@@
Spent 0.055462 on verification
Spent 0.0651 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196484@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196488@@@
Spent 0.066364 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196256@@@
Time left: 3280
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062983 on verification
Spent 0.067429 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196528@@@
Spent 0.05423 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196280@@@
Spent 0.06203 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196468@@@
Time left: 3278
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065217 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196192@@@
Spent 0.059007 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196444@@@
Spent 0.05497 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196320@@@
Spent 0.061552 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196264@@@
Time left: 3277
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.063074 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
Spent 0.060148 on verification
Spent 0.055362 on verification
@@@1.00,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196512@@@
Spent 0.05529 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196476@@@
Time left: 3276
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055215 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196412@@@
Spent 0.067176 on verification
Spent 0.064653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059587 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196368@@@
Command exited with non-zero status 255
@@@1.03,196504@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196484@@@
Time left: 3274
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053693 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196368@@@
Spent 0.065174 on verification
Spent 0.054551 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196476@@@
Spent 0.064024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196220@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196216@@@
Time left: 3273
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055593 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196180@@@
Spent 0.064261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.10,196384@@@
Spent 0.063756 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059358 on verification
Command exited with non-zero status 255
@@@1.53,196304@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196336@@@
Time left: 3271
Time left: 3271
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 327 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05478 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196508@@@
Spent 0.065004 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.70,196352@@@
Spent 0.052832 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.03,196288@@@
Spent 0.053703 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.15,196296@@@
Time left: 3269
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.105694 on verification
Spent 0.057019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.68,196572@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.71,196304@@@
Spent 0.063332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.88,196256@@@
Spent 0.055003 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.28,196420@@@
Time left: 3266
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062457 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196180@@@
Spent 0.061223 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.75,196412@@@
Spent 0.057525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.23,196152@@@
Spent 0.056264 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.25,196320@@@
Time left: 3264
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062309 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196212@@@
Spent 0.056352 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.00,196344@@@
Spent 0.056907 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.24,196352@@@
Spent 0.057529 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.43,196160@@@
Time left: 3261
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196348@@@
Spent 0.056481 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.85,196484@@@
Spent 0.054747 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.99,196500@@@
Spent 0.065308 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.02,196200@@@
Time left: 3259
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062751 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196240@@@
Spent 0.062269 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.25,196468@@@
Spent 0.062637 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196256@@@
Spent 0.05467 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196304@@@
Time left: 3257
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.062792 on verification
Spent 0.060469 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196168@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196448@@@
Spent 0.066999 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196500@@@
Spent 0.06015 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196420@@@
Time left: 3256
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058351 on verification
Spent 0.066063 on verification
Spent 0.057846 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196420@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196380@@@
Command exited with non-zero status 255
@@@1.05,196468@@@
Spent 0.06804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196380@@@
Time left: 3255
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05753 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196576@@@
Spent 0.072446 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196264@@@
Spent 0.059818 on verification
Spent 0.068266 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196332@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196548@@@
Time left: 3254
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05539 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196216@@@
Spent 0.059263 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196432@@@
Spent 0.067632 on verification
Spent 0.067078 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196576@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196212@@@
Time left: 3252
Time left: 3252
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 325 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065833 on verification
Spent 0.056886 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196272@@@
Spent 0.056757 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196320@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196400@@@
Spent 0.063119 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196452@@@
Time left: 3250
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058854 on verification
Spent 0.057392 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196328@@@
Spent 0.065254 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196572@@@
Command exited with non-zero status 255
@@@1.51,196456@@@
Spent 0.069939 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.55,196252@@@
Time left: 3249
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065664 on verification
Spent 0.055573 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196460@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196384@@@
Spent 0.067085 on verification
Spent 0.054507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.71,196252@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.69,196328@@@
Time left: 3247
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054636 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196348@@@
Spent 0.057651 on verification
Spent 0.071142 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196268@@@
Spent 0.067396 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.55,196180@@@
Time left: 3245
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056041 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196408@@@
Spent 0.066836 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196572@@@
Spent 0.067902 on verification
Spent 0.059147 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196428@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196404@@@
Time left: 3243
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054267 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196304@@@
Spent 0.064036 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196304@@@
Spent 0.067179 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196404@@@
Spent 0.069583 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196424@@@
Time left: 3241
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059257 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196236@@@
Spent 0.063533 on verification
Spent 0.057747 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196228@@@
Spent 0.065795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196308@@@
Time left: 3240
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.069058 on verification
Spent 0.058726 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196420@@@
Spent 0.05869 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196260@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196496@@@
Spent 0.070653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196160@@@
Time left: 3239
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065133 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196496@@@
Spent 0.059413 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196268@@@
Spent 0.099905 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196216@@@
Spent 0.080344 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.11,196236@@@
Time left: 3237
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065235 on verification
Spent 0.054406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196180@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196436@@@
Spent 0.065834 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.56,196328@@@
Spent 0.055029 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.62,196500@@@
Time left: 3236
Time left: 3236
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 323 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.064235 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196300@@@
Spent 0.057691 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.072392 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196352@@@
Spent 0.060846 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196324@@@
Command exited with non-zero status 255
@@@1.50,196252@@@
Time left: 3234
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065779 on verification
Spent 0.055996 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196544@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196296@@@
Spent 0.061396 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196296@@@
Spent 0.064344 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196300@@@
Time left: 3232
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057534 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196484@@@
Spent 0.071139 on verification
Spent 0.063856 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196352@@@
Spent 0.059215 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196388@@@
Time left: 3230
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058567 on verification
Spent 0.056658 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196484@@@
Spent 0.062072 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196516@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196408@@@
Spent 0.066191 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196296@@@
Time left: 3228
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.058715 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196460@@@
Spent 0.06599 on verification
Spent 0.068957 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196240@@@
Spent 0.058104 on verification
Command exited with non-zero status 255
@@@1.51,196348@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196472@@@
Time left: 3227
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055123 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196420@@@
Spent 0.068278 on verification
Spent 0.070039 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059062 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196316@@@
Command exited with non-zero status 255
@@@1.06,196324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196228@@@
Time left: 3225
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065694 on verification
Spent 0.054831 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196304@@@
Spent 0.05898 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196436@@@
Spent 0.069172 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.10,196420@@@
Time left: 3224
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055442 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196344@@@
Spent 0.058815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196324@@@
Spent 0.066186 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196472@@@
Spent 0.055282 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196300@@@
Time left: 3223
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057291 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.057903 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196492@@@
Command exited with non-zero status 255
@@@0.99,196320@@@
Spent 0.070366 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196492@@@
Spent 0.060011 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196508@@@
Time left: 3221
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055084 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196304@@@
Spent 0.058315 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196320@@@
Spent 0.068894 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196308@@@
Spent 0.066411 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196376@@@
Time left: 3220
Time left: 3220
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 322 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057542 on verification
Spent 0.054494 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196232@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196232@@@
Spent 0.064624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196280@@@
Spent 0.067364 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196236@@@
Time left: 3218
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065736 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196316@@@
Spent 0.055029 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196572@@@
Spent 0.054805 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.64,196560@@@
Spent 0.063838 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.66,196272@@@
Time left: 3216
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057685 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196344@@@
Spent 0.057925 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196324@@@
Spent 0.069536 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.069016 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196196@@@
Command exited with non-zero status 255
@@@1.52,196292@@@
Time left: 3215
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.103221 on verification
Spent 0.103198 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196428@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196480@@@
Spent 0.056234 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196404@@@
Spent 0.068794 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,196324@@@
Time left: 3213
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.053977 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196628@@@
Spent 0.05301 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196232@@@
Spent 0.070826 on verification
Spent 0.069431 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.59,196424@@@
Time left: 3211
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055266 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196328@@@
Spent 0.058713 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196300@@@
Spent 0.062929 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.06,196340@@@
Spent 0.055945 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196500@@@
Time left: 3210
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057598 on verification
Spent 0.055791 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196172@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196440@@@
Spent 0.067152 on verification
Spent 0.066614 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.07,196444@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196300@@@
Time left: 3208
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054233 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196492@@@
Spent 0.064438 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.13,196284@@@
Spent 0.064625 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.26,196444@@@
Spent 0.055287 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.27,196296@@@
Time left: 3207
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.054041 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196364@@@
Spent 0.062903 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.12,196564@@@
Spent 0.062132 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196432@@@
Spent 0.056556 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196468@@@
Time left: 3205
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055214 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196548@@@
Spent 0.062294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196376@@@
Spent 0.064321 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196236@@@
Spent 0.053276 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196372@@@
Time left: 3203
Time left: 3203
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 320 seconds
------------------- QUERY 1 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060966 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196384@@@
Spent 0.063582 on verification
Spent 0.059942 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196512@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196328@@@
Spent 0.061509 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.52,196328@@@
Time left: 3202
------------------- QUERY 2 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.060705 on verification
Spent 0.055715 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196356@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196428@@@
Spent 0.058718 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196364@@@
Spent 0.066146 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196388@@@
Time left: 3200
------------------- QUERY 3 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.05753 on verification
Spent 0.057949 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196404@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196244@@@
Spent 0.060706 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196384@@@
Spent 0.056465 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.53,196568@@@
Time left: 3198
------------------- QUERY 4 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.059927 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196332@@@
Spent 0.059142 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196456@@@
Spent 0.063397 on verification
Spent 0.066623 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196488@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196480@@@
Time left: 3196
------------------- QUERY 5 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.06132 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196548@@@
Spent 0.058051 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196304@@@
Spent 0.065691 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196328@@@
Spent 0.063584 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196548@@@
Time left: 3195
------------------- QUERY 6 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.055313 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196336@@@
Spent 0.062025 on verification
Spent 0.056008 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196264@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196420@@@
Spent 0.063331 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196376@@@
Time left: 3193
------------------- QUERY 7 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.057636 on verification
Spent 0.061155 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196236@@@
Spent 0.062238 on verification
Spent 0.063962 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196300@@@
Time left: 3192
------------------- QUERY 8 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.06062 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196368@@@
Spent 0.064949 on verification
Spent 0.063826 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196180@@@
Spent 0.059758 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196340@@@
Command exited with non-zero status 255
@@@1.04,196332@@@
Time left: 3191
------------------- QUERY 9 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.056621 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196476@@@
Spent 0.060821 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196260@@@
Spent 0.063815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196528@@@
Spent 0.056014 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196320@@@
Time left: 3189
------------------- QUERY 10 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Spent 0.065548 on verification
Spent 0.062058 on verification
Spent 0.061887 on verification
Spent 0.061039 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196240@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196492@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196376@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196272@@@
Time left: 3188
Time left: 3188
End of script.
terminated-with-cleanup
BK_STOP 1678675258366
--------------------
content from stderr:
CPN OverApproximation is only usable on colored models
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="JoinFreeModules-PT-2000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="tapaal"
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 tapaal"
echo " Input is JoinFreeModules-PT-2000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r237-tall-167856424300219"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-2000.tgz
mv JoinFreeModules-PT-2000 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;