Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2022-input.r214-oct2-165281605500208.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is SemanticWebServices-PT-S128P18, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r214-oct2-165281605500208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.1K Apr 29 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Apr 29 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Apr 29 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 29 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 9 08:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 9 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 9 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 9 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 261K May 10 09:34 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 SemanticWebServices-PT-S128P18-LTLFireability-00
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-01
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-02
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-03
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-04
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-05
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-06
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-07
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-08
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-09
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-10
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-11
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-12
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-13
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-14
FORMULA_NAME SemanticWebServices-PT-S128P18-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1653140976399

gold2021
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> tapaal --- TAPAAL v4
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 LTLFireability *
*************************************
/home/mcc/BenchKit/bin/tmp
/home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1
/home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y
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.AQ4pu1J8J1 --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLFireability.xml

No simplified files created. Constructing non simplified files.
Time left: 3590
/home/mcc/BenchKit/bin/verifypn -n -ltl none -q 0 -d 0 -z 4 --binary-query-io 2 --write-simplified /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLFireability.xml




Time left: 3590

---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (16 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5544@@@

Command terminated by signal 11
@@@0.01,5508@@@

Command terminated by signal 11
@@@0.00,5600@@@

Command terminated by signal 11
@@@0.02,5648@@@


Time left: 3589
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Time left: 3287
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.00,5628@@@


Command terminated by signal 11
@@@0.01,5728@@@
Command terminated by signal 11
@@@0.00,5808@@@


Time left: 3287
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5648@@@

Command terminated by signal 11
@@@0.01,5636@@@

Command terminated by signal 11
@@@0.01,5684@@@

Command terminated by signal 11
@@@0.02,5632@@@


Time left: 3287
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5564@@@

Command terminated by signal 11
@@@0.01,5716@@@


Command terminated by signal 11
@@@0.01,5720@@@
Command terminated by signal 11
@@@0.03,5616@@@


Time left: 3286
------------------- QUERY 6 ----------------------
Solution found by parallel processing (step 1)
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").




@@@0.01,17956@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ ndfs\ -q\ 0\ -l\ 0\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 6 -n

FORMULA SemanticWebServices-PT-S128P18-LTLFireability-07 FALSE TECHNIQUES EXPLICIT NDFS WEAK_SKIP
Time left: 3286
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5620@@@

Command terminated by signal 11
@@@0.01,5800@@@

Command terminated by signal 11
@@@0.02,5568@@@

Command terminated by signal 11
@@@0.03,5636@@@


Time left: 3286
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5652@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,7320@@@

Command terminated by signal 11
@@@0.02,5644@@@


Time left: 3285
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5580@@@

Command terminated by signal 11
@@@0.02,5604@@@


Command terminated by signal 11
@@@0.02,5740@@@
Command terminated by signal 11
@@@0.02,5680@@@


Time left: 3285
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Time left: 2984
------------------- QUERY 11 ----------------------
Solution found by parallel processing (step 1)
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").




@@@0.18,147740@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ tarjan\ -s\ RDFS\ -q\ 0\ -l\ 0\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 11 -n

FORMULA SemanticWebServices-PT-S128P18-LTLFireability-15 FALSE TECHNIQUES EXPLICIT TARJAN
Time left: 2983
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5616@@@


Command terminated by signal 11
@@@0.04,5700@@@
Command terminated by signal 11
@@@0.02,5736@@@

Command terminated by signal 11
@@@0.03,5668@@@


Time left: 2983
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").



Command terminated by signal 11
@@@0.02,5644@@@
Command terminated by signal 11
@@@0.01,5732@@@
Command terminated by signal 11
@@@0.03,5812@@@

Command terminated by signal 11
@@@0.05,5584@@@


Time left: 2983
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5660@@@
Command terminated by signal 11
@@@0.02,5696@@@


Command terminated by signal 11
@@@0.01,5724@@@
Command terminated by signal 11
@@@0.02,5564@@@


Time left: 2982
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5656@@@

Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.02,5648@@@

Command terminated by signal 11
@@@0.01,5656@@@


Time left: 2982
------------------- QUERY 16 ----------------------
Solution found by parallel processing (step 1)
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").



@@@0.03,18252@@@

parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ ndfs\ -q\ 0\ -l\ 0\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 16 -n

FORMULA SemanticWebServices-PT-S128P18-LTLFireability-12 FALSE TECHNIQUES EXPLICIT NDFS
Time left: 2982
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 13 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 598 seconds)
Time left: 2982
------------------- QUERY 1 ----------------------
Running query 1 for 598 seconds. Remaining: 13 queries and 2982 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.01,5660@@@


Time left: 2981
------------------- QUERY 2 ----------------------
Running query 2 for 598 seconds. Remaining: 12 queries and 2981 seconds
Solution found by sequential processing (step 2)
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


FORMULA SemanticWebServices-PT-S128P18-LTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Query index 0 was solved

Query is NOT satisfied.

@@@0.05,18160@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ tarjan\ -q\ 40\ -l\ 5\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 2 -n
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Query index 0 was solved

Query is NOT satisfied.

@@@0.05,18160@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ tarjan\ -q\ 40\ -l\ 5\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 2 -n

FORMULA SemanticWebServices-PT-S128P18-LTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 2981
------------------- QUERY 3 ----------------------
Running query 3 for 598 seconds. Remaining: 11 queries and 2981 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.01,5560@@@


Time left: 2981
------------------- QUERY 4 ----------------------
Running query 4 for 598 seconds. Remaining: 10 queries and 2981 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.01,5488@@@


Time left: 2981
------------------- QUERY 5 ----------------------
Running query 5 for 598 seconds. Remaining: 9 queries and 2981 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.01,5436@@@


Time left: 2980
------------------- QUERY 7 ----------------------
Running query 7 for 598 seconds. Remaining: 8 queries and 2980 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5540@@@


Time left: 2980
------------------- QUERY 8 ----------------------
Running query 8 for 598 seconds. Remaining: 7 queries and 2980 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5516@@@


Time left: 2980
------------------- QUERY 9 ----------------------
Running query 9 for 598 seconds. Remaining: 6 queries and 2980 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5532@@@


Time left: 2980
------------------- QUERY 10 ----------------------
Running query 10 for 598 seconds. Remaining: 5 queries and 2980 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Time left: 2379
------------------- QUERY 12 ----------------------
Running query 12 for 598 seconds. Remaining: 4 queries and 2379 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.02,5428@@@


Time left: 2379
------------------- QUERY 13 ----------------------
Running query 13 for 793 seconds. Remaining: 3 queries and 2379 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5492@@@


Time left: 2378
------------------- QUERY 14 ----------------------
Running query 14 for 1189 seconds. Remaining: 2 queries and 2378 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5656@@@


Time left: 2378
------------------- QUERY 15 ----------------------
Running query 15 for 2378 seconds. Remaining: 1 queries and 2378 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
Command terminated by signal 11
@@@0.00,5492@@@


Time left: 2378
Time left: 2378
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (12 in total)
Each query is verified by 4 parallel strategies for 198 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.00,5660@@@


Command terminated by signal 11
@@@0.01,5580@@@
Command terminated by signal 11
@@@0.02,5676@@@


Time left: 2378
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.02,5736@@@

Command terminated by signal 11
@@@0.02,5624@@@

Command terminated by signal 11
@@@0.03,5672@@@


Time left: 2378
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.01,5724@@@

Command terminated by signal 11
@@@0.01,5572@@@

Command terminated by signal 11
@@@0.00,5728@@@


Time left: 2377
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5640@@@
Command terminated by signal 11
@@@0.03,5672@@@


Command terminated by signal 11
@@@0.02,5784@@@
Command terminated by signal 11
@@@0.02,5676@@@


Time left: 2377
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5608@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.01,5740@@@

Command terminated by signal 11
@@@0.00,5684@@@


Time left: 2377
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5676@@@


Command terminated by signal 11
@@@0.00,5548@@@
Command terminated by signal 11
@@@0.00,5532@@@

Command terminated by signal 11
@@@0.00,5656@@@


Time left: 2377
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5596@@@
Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5584@@@

Command terminated by signal 11
@@@0.00,5676@@@


Time left: 2377
------------------- QUERY 10 ----------------------
Solution found in random processing (step 4)
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").




@@@0.07,148068@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n -ltl\ tarjan\ -s\ RDFS\ --seed-offset\ 2018\ -q\ 0\ -l\ 0\ -d\ 119 /home/mcc/BenchKit/bin/tmp/tmp.Go8es8LO4Y /home/mcc/BenchKit/bin/tmp/tmp.AQ4pu1J8J1 --binary-query-io 1 -x 10 -n

FORMULA SemanticWebServices-PT-S128P18-LTLFireability-14 FALSE TECHNIQUES EXPLICIT TARJAN
Time left: 2376
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5632@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5672@@@


Time left: 2376
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.00,5568@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5712@@@


Time left: 2376
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5672@@@


Command terminated by signal 11
@@@0.01,5756@@@
Command terminated by signal 11
@@@0.02,5740@@@


Time left: 2376
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5708@@@

Command terminated by signal 11
@@@0.00,5800@@@

Command terminated by signal 11
@@@0.00,5720@@@

Command terminated by signal 11
@@@0.00,5708@@@


Time left: 2375
Time left: 2375
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 215 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5548@@@

Command terminated by signal 11
@@@0.00,5524@@@

Command terminated by signal 11
@@@0.01,5624@@@

Command terminated by signal 11
@@@0.00,5608@@@


Time left: 2375
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5744@@@


Time left: 2375
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5628@@@

Command terminated by signal 11
@@@0.01,5680@@@

Command terminated by signal 11
@@@0.01,5716@@@

Command terminated by signal 11
@@@0.00,5652@@@


Time left: 2375
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5684@@@

Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.01,5680@@@


Time left: 2375
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.00,5660@@@


Time left: 2374
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,7208@@@
Command terminated by signal 11
@@@0.01,5552@@@

Command terminated by signal 11
@@@0.01,5504@@@

Command terminated by signal 11
@@@0.00,5736@@@


Time left: 2374
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.01,5788@@@

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.01,5732@@@


Time left: 2374
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5648@@@

Command terminated by signal 11
@@@0.00,5736@@@

Command terminated by signal 11
@@@0.01,5684@@@

Command terminated by signal 11
@@@0.00,5620@@@


Time left: 2374
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5636@@@

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.03,5724@@@

Command terminated by signal 11
@@@0.03,5672@@@


Time left: 2374
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5732@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5576@@@

Command terminated by signal 11
@@@0.00,5816@@@


Time left: 2373
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5744@@@
Command terminated by signal 11
@@@0.01,5748@@@


Command terminated by signal 11
@@@0.01,5724@@@
Command terminated by signal 11
@@@0.03,5680@@@


Time left: 2373
Time left: 2373
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 215 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5608@@@


Command terminated by signal 11
@@@0.02,5656@@@
Command terminated by signal 11
@@@0.03,5588@@@

Command terminated by signal 11
@@@0.02,5664@@@


Time left: 2373
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5736@@@


Command terminated by signal 11
@@@0.00,5728@@@
Command terminated by signal 11
@@@0.03,5624@@@

Command terminated by signal 11
@@@0.01,5612@@@


Time left: 2373
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5784@@@

Command terminated by signal 11
@@@0.02,7264@@@


Command terminated by signal 11
@@@0.00,5676@@@
Command terminated by signal 11
@@@0.01,5724@@@


Time left: 2373
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").



Command terminated by signal 11
@@@0.02,5668@@@
Command terminated by signal 11
@@@0.02,5728@@@
Command terminated by signal 11
@@@0.02,5712@@@

Command terminated by signal 11
@@@0.00,5668@@@


Time left: 2372
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5568@@@

Command terminated by signal 11
@@@0.00,5728@@@

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.00,5644@@@


Time left: 2372
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5644@@@

Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.00,5480@@@

Command terminated by signal 11
@@@0.04,5620@@@


Time left: 2372
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5632@@@


Command terminated by signal 11
@@@0.03,5688@@@

Command terminated by signal 11
@@@0.02,5676@@@
Command terminated by signal 11
@@@0.01,5668@@@


Time left: 2372
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5720@@@

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.01,5724@@@

Command terminated by signal 11
@@@0.00,5724@@@


Time left: 2372
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5680@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5752@@@

Command terminated by signal 11
@@@0.03,5732@@@


Time left: 2371
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5752@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.01,5812@@@

Command terminated by signal 11
@@@0.02,5732@@@


Time left: 2371
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5648@@@


Command terminated by signal 11
@@@0.03,5724@@@
Command terminated by signal 11
@@@0.01,5580@@@

Command terminated by signal 11
@@@0.03,5636@@@


Time left: 2371
Time left: 2371
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 215 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5512@@@
Command terminated by signal 11
@@@0.03,5660@@@

Command terminated by signal 11
@@@0.00,5820@@@

Command terminated by signal 11
@@@0.00,5588@@@


Time left: 2371
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5688@@@

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.01,5632@@@

Command terminated by signal 11
@@@0.00,5644@@@


Time left: 2370
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5704@@@

Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.00,5720@@@


Time left: 2370
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.02,5724@@@

Command terminated by signal 11
@@@0.01,5820@@@

Command terminated by signal 11
@@@0.03,5792@@@


Time left: 2370
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.01,5624@@@

Command terminated by signal 11
@@@0.02,5580@@@

Command terminated by signal 11
@@@0.02,5640@@@


Time left: 2370
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.02,5648@@@

Command terminated by signal 11
@@@0.00,5548@@@

Command terminated by signal 11
@@@0.00,5548@@@


Time left: 2370
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.01,5612@@@

Command terminated by signal 11
@@@0.02,5800@@@

Command terminated by signal 11
@@@0.03,5612@@@


Time left: 2369
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5712@@@
Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.04,5608@@@

Command terminated by signal 11
@@@0.01,5708@@@


Time left: 2369
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5648@@@


Command terminated by signal 11
@@@0.00,5728@@@
Command terminated by signal 11
@@@0.01,5692@@@

Command terminated by signal 11
@@@0.02,5716@@@


Time left: 2369
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.02,5752@@@

Command terminated by signal 11
@@@0.01,5712@@@

Command terminated by signal 11
@@@0.00,5724@@@


Time left: 2369
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.01,5668@@@
Command terminated by signal 11
@@@0.01,5716@@@

Command terminated by signal 11
@@@0.03,5796@@@


Time left: 2369
Time left: 2369
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 215 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5596@@@

Command terminated by signal 11
@@@0.03,5656@@@

Command terminated by signal 11
@@@0.02,5628@@@

Command terminated by signal 11
@@@0.02,5620@@@


Time left: 2368
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5784@@@

Command terminated by signal 11
@@@0.02,5624@@@


Command terminated by signal 11
@@@0.02,5716@@@
Command terminated by signal 11
@@@0.01,5720@@@


Time left: 2368
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@


Command terminated by signal 11
@@@0.03,5728@@@
Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,5568@@@


Time left: 2368
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5748@@@

Command terminated by signal 11
@@@0.00,5572@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.01,5712@@@


Time left: 2368
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.01,5748@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5620@@@


Time left: 2367
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.02,5616@@@


Command terminated by signal 11
Command terminated by signal 11
@@@0.00,5552@@@
@@@0.00,5596@@@


Time left: 2367
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.03,5712@@@

Command terminated by signal 11
@@@0.01,5712@@@

Command terminated by signal 11
@@@0.02,5812@@@


Time left: 2367
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.01,5816@@@

Command terminated by signal 11
@@@0.00,5700@@@

Command terminated by signal 11
@@@0.00,5620@@@


Time left: 2367
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5636@@@

Command terminated by signal 11
@@@0.01,5712@@@

Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.01,5724@@@


Time left: 2367
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5724@@@
Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5660@@@


Time left: 2366
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5660@@@


Command terminated by signal 11
@@@0.00,5632@@@
Command terminated by signal 11
@@@0.00,5712@@@

Command terminated by signal 11
@@@0.00,5812@@@


Time left: 2366
Time left: 2366
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 215 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5600@@@

Command terminated by signal 11
@@@0.00,5556@@@

Command terminated by signal 11
@@@0.00,5568@@@

Command terminated by signal 11
@@@0.03,5564@@@


Time left: 2366
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5724@@@

Command terminated by signal 11
@@@0.03,5684@@@


Command terminated by signal 11
@@@0.03,5632@@@
Command terminated by signal 11
@@@0.02,5600@@@


Time left: 2366
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5752@@@

Command terminated by signal 11
@@@0.00,5728@@@

Command terminated by signal 11
@@@0.00,5796@@@

Command terminated by signal 11
@@@0.00,5728@@@


Time left: 2366
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.01,5584@@@

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5600@@@


Time left: 2365
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5632@@@

Command terminated by signal 11
@@@0.00,5584@@@

Command terminated by signal 11
@@@0.00,5716@@@

Command terminated by signal 11
@@@0.00,5568@@@


Time left: 2365
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5556@@@
Command terminated by signal 11
@@@0.02,5616@@@

Command terminated by signal 11
@@@0.02,5752@@@

Command terminated by signal 11
@@@0.00,5576@@@


Time left: 2365
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5704@@@

Command terminated by signal 11
@@@0.02,5700@@@

Command terminated by signal 11
@@@0.03,5628@@@


Time left: 2365
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.01,5676@@@

Command terminated by signal 11
@@@0.00,5816@@@

Command terminated by signal 11
@@@0.01,5724@@@


Time left: 2365
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5632@@@

Command terminated by signal 11
@@@0.00,5600@@@


Command terminated by signal 11
@@@0.01,5660@@@
Command terminated by signal 11
@@@0.02,5608@@@


Time left: 2364
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5720@@@

Command terminated by signal 11
@@@0.01,5700@@@

Command terminated by signal 11
@@@0.01,5692@@@

Command terminated by signal 11
@@@0.00,5616@@@


Time left: 2364
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5604@@@


Command terminated by signal 11
@@@0.00,5660@@@
Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.00,5800@@@


Time left: 2364
Time left: 2364
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 214 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5552@@@

Command terminated by signal 11
@@@0.02,5608@@@

Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.03,5628@@@


Time left: 2364
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5600@@@

Command terminated by signal 11
@@@0.01,5616@@@

Command terminated by signal 11
@@@0.00,5600@@@


Time left: 2364
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5616@@@

Command terminated by signal 11
@@@0.00,5736@@@

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.02,5668@@@


Time left: 2363
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5724@@@


Command terminated by signal 11
@@@0.00,5636@@@
Command terminated by signal 11
@@@0.02,5604@@@

Command terminated by signal 11
@@@0.03,5648@@@


Time left: 2363
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.00,5568@@@

Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.03,5780@@@


Time left: 2363
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.03,5664@@@

Command terminated by signal 11
@@@0.02,5588@@@

Command terminated by signal 11
@@@0.00,5580@@@

Command terminated by signal 11
@@@0.02,5748@@@


Time left: 2363
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5728@@@


Command terminated by signal 11
@@@0.02,5724@@@
Command terminated by signal 11
@@@0.02,5692@@@

Command terminated by signal 11
@@@0.02,5708@@@


Time left: 2363
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5716@@@

Command terminated by signal 11
@@@0.00,5668@@@

Command terminated by signal 11
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.01,5580@@@


Time left: 2362
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5696@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.01,5660@@@


Time left: 2362
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5720@@@

Command terminated by signal 11
@@@0.00,5612@@@

Command terminated by signal 11
@@@0.02,5664@@@

Command terminated by signal 11
@@@0.01,5732@@@


Time left: 2362
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5664@@@


Command terminated by signal 11
@@@0.00,5604@@@
Command terminated by signal 11
@@@0.00,5660@@@


Time left: 2362
Time left: 2362
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 214 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5560@@@

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.00,5636@@@


Time left: 2362
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5716@@@


Command terminated by signal 11
@@@0.02,5720@@@
Command terminated by signal 11
@@@0.01,5672@@@

Command terminated by signal 11
@@@0.01,5752@@@


Time left: 2361
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5600@@@

Command terminated by signal 11
@@@0.01,5608@@@


Command terminated by signal 11
@@@0.01,5680@@@
Command terminated by signal 11
@@@0.01,5632@@@


Time left: 2361
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5740@@@


Command terminated by signal 11
@@@0.01,5572@@@
Command terminated by signal 11
@@@0.02,5668@@@

Command terminated by signal 11
@@@0.00,5692@@@


Time left: 2361
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.02,5820@@@

Command terminated by signal 11
@@@0.01,5628@@@

Command terminated by signal 11
@@@0.01,5608@@@


Time left: 2361
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.02,5560@@@

Command terminated by signal 11
@@@0.02,5564@@@
Command terminated by signal 11
@@@0.01,5516@@@

Command terminated by signal 11
@@@0.01,5612@@@


Time left: 2361
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5716@@@

Command terminated by signal 11

Command terminated by signal 11
@@@0.00,5680@@@
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.01,5736@@@


Time left: 2360
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.02,5716@@@


Time left: 2360
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5744@@@

Command terminated by signal 11
@@@0.00,5736@@@


Time left: 2360
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.01,5748@@@


Command terminated by signal 11
@@@0.01,5688@@@
Command terminated by signal 11
@@@0.00,5676@@@


Time left: 2360
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5812@@@

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.00,5628@@@


Time left: 2360
Time left: 2360
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 214 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5624@@@

Command terminated by signal 11
@@@0.02,5652@@@
Command terminated by signal 11
@@@0.03,5536@@@

Command terminated by signal 11
@@@0.01,5668@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.01,5568@@@
Command terminated by signal 11
@@@0.01,5724@@@

Command terminated by signal 11
@@@0.01,5708@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5796@@@

Command terminated by signal 11
@@@0.00,5736@@@

Command terminated by signal 11
@@@0.00,5736@@@

Command terminated by signal 11
@@@0.00,5804@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5756@@@

Command terminated by signal 11
@@@0.02,5884@@@


Command terminated by signal 11
@@@0.01,5712@@@
Command terminated by signal 11
@@@0.01,5792@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5612@@@

Command terminated by signal 11
@@@0.00,5652@@@


Command terminated by signal 11
Command terminated by signal 11
@@@0.02,5648@@@
@@@0.02,5676@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5500@@@

Command terminated by signal 11
@@@0.02,5604@@@

Command terminated by signal 11
@@@0.01,5596@@@

Command terminated by signal 11
@@@0.03,5668@@@


Time left: 2359
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5596@@@


Command terminated by signal 11
@@@0.00,5568@@@
Command terminated by signal 11
@@@0.00,5680@@@

Command terminated by signal 11
@@@0.01,5676@@@


Time left: 2358
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.03,5668@@@

Command terminated by signal 11
@@@0.02,5680@@@

Command terminated by signal 11
@@@0.04,5804@@@
Command terminated by signal 11
@@@0.03,5656@@@


Time left: 2358
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5644@@@

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.01,5648@@@


Time left: 2358
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5724@@@


Command terminated by signal 11
@@@0.02,5664@@@
Command terminated by signal 11
@@@0.01,5624@@@

Command terminated by signal 11
@@@0.01,5692@@@


Time left: 2358
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.02,5628@@@
Command terminated by signal 11
@@@0.03,5616@@@

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.00,5652@@@


Time left: 2358
Time left: 2358
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 214 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5604@@@

Command terminated by signal 11
@@@0.01,5580@@@


Command terminated by signal 11
@@@0.00,5748@@@
Command terminated by signal 11
@@@0.01,5552@@@


Time left: 2357
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5732@@@

Command terminated by signal 11
@@@0.02,5796@@@

Command terminated by signal 11
@@@0.02,5668@@@

Command terminated by signal 11
@@@0.02,5796@@@


Time left: 2357
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,7136@@@

Command terminated by signal 11
@@@0.00,5692@@@


Command terminated by signal 11
@@@0.01,5676@@@
Command terminated by signal 11
@@@0.01,5756@@@


Time left: 2357
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5680@@@
Command terminated by signal 11
@@@0.02,5636@@@

Command terminated by signal 11
@@@0.02,5732@@@

Command terminated by signal 11
@@@0.00,5704@@@


Time left: 2357
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@


Command terminated by signal 11
@@@0.02,5740@@@
Command terminated by signal 11
@@@0.02,5708@@@

Command terminated by signal 11
@@@0.03,5732@@@


Time left: 2356
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.02,5728@@@
Command terminated by signal 11
@@@0.04,5564@@@


Command terminated by signal 11
@@@0.02,5500@@@
Command terminated by signal 11
@@@0.02,5692@@@


Time left: 2356
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5724@@@


Command terminated by signal 11
@@@0.00,5688@@@
Command terminated by signal 11
@@@0.03,5736@@@

Command terminated by signal 11
@@@0.02,5760@@@


Time left: 2356
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5628@@@


Command terminated by signal 11
@@@0.01,5724@@@
Command terminated by signal 11
@@@0.01,5744@@@

Command terminated by signal 11
@@@0.00,5640@@@


Time left: 2356
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5808@@@
Command terminated by signal 11
@@@0.02,5740@@@

Command terminated by signal 11
@@@0.01,5632@@@

Command terminated by signal 11
@@@0.00,5736@@@


Time left: 2356
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5712@@@

Command terminated by signal 11
@@@0.02,5660@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5568@@@


Time left: 2355
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5732@@@


Command terminated by signal 11
@@@0.01,5616@@@
Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.00,5716@@@


Time left: 2355
Time left: 2355
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 214 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5600@@@

Command terminated by signal 11
@@@0.03,5544@@@

Command terminated by signal 11
@@@0.01,5652@@@

Command terminated by signal 11
@@@0.01,5568@@@


Time left: 2355
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5744@@@

Command terminated by signal 11
@@@0.02,5744@@@

Command terminated by signal 11
@@@0.03,5676@@@


Time left: 2355
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.01,5748@@@

Command terminated by signal 11
@@@0.01,5676@@@

Command terminated by signal 11
@@@0.02,5648@@@


Time left: 2354
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5564@@@

Command terminated by signal 11
@@@0.00,5744@@@

Command terminated by signal 11
@@@0.00,5680@@@

Command terminated by signal 11
@@@0.04,5748@@@


Time left: 2354
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5820@@@

Command terminated by signal 11
@@@0.01,5680@@@

Command terminated by signal 11
@@@0.01,5628@@@


Time left: 2354
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5720@@@

Command terminated by signal 11
@@@0.01,5552@@@

Command terminated by signal 11
@@@0.00,5616@@@

Command terminated by signal 11
@@@0.01,5672@@@


Time left: 2354
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5740@@@

Command terminated by signal 11
@@@0.00,5708@@@

Command terminated by signal 11
@@@0.02,5652@@@

Command terminated by signal 11
@@@0.03,5656@@@


Time left: 2353
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5716@@@

Command terminated by signal 11
@@@0.01,5608@@@

Command terminated by signal 11
@@@0.01,5704@@@

Command terminated by signal 11
@@@0.04,5640@@@


Time left: 2353
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5748@@@

Command terminated by signal 11
@@@0.01,5820@@@

Command terminated by signal 11
@@@0.04,5776@@@

Command terminated by signal 11
@@@0.01,5748@@@


Time left: 2353
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5728@@@

Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.01,5616@@@

Command terminated by signal 11
@@@0.03,5608@@@


Time left: 2353
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.01,5608@@@


Command terminated by signal 11
@@@0.02,5788@@@
Command terminated by signal 11
@@@0.03,5568@@@


Time left: 2352
Time left: 2352
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 213 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5812@@@

Command terminated by signal 11
@@@0.00,5592@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5672@@@


Time left: 2352
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5752@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.04,5640@@@


Time left: 2352
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5576@@@


Command terminated by signal 11
@@@0.01,5688@@@
Command terminated by signal 11
@@@0.01,5716@@@

Command terminated by signal 11
@@@0.01,5716@@@


Time left: 2352
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5816@@@


Time left: 2352
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5672@@@

Command terminated by signal 11
@@@0.00,5708@@@

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.03,5816@@@


Time left: 2351
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.01,5620@@@


Time left: 2351
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5692@@@


Command terminated by signal 11
@@@0.01,5700@@@

Command terminated by signal 11
@@@0.00,5612@@@
Command terminated by signal 11
@@@0.00,5700@@@


Time left: 2351
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5792@@@

Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5712@@@


Time left: 2351
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5628@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.02,5640@@@


Time left: 2350
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5796@@@

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5720@@@


Time left: 2350
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5740@@@

Command terminated by signal 11
@@@0.02,5636@@@

Command terminated by signal 11
@@@0.01,5728@@@

Command terminated by signal 11
@@@0.00,5688@@@


Time left: 2350
Time left: 2350
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 213 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5600@@@

Command terminated by signal 11
@@@0.01,5592@@@

Command terminated by signal 11
@@@0.01,5608@@@


Time left: 2350
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.01,5692@@@

Command terminated by signal 11
@@@0.01,5688@@@

Command terminated by signal 11
@@@0.01,5664@@@


Time left: 2350
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5668@@@

Command terminated by signal 11
@@@0.01,5584@@@

Command terminated by signal 11
@@@0.00,5640@@@

Command terminated by signal 11
@@@0.00,5584@@@


Time left: 2349
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5732@@@

Command terminated by signal 11
@@@0.00,5640@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,5744@@@


Time left: 2349
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.00,5580@@@


Time left: 2349
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5740@@@

Command terminated by signal 11
@@@0.01,5672@@@

Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.02,5628@@@


Time left: 2349
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5744@@@

Command terminated by signal 11

@@@0.00,5732@@@
Command terminated by signal 11
@@@0.01,5816@@@

Command terminated by signal 11
@@@0.02,5632@@@


Time left: 2349
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5720@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.01,5716@@@


Time left: 2348
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5640@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5680@@@


Time left: 2348
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5712@@@


Command terminated by signal 11
@@@0.02,5680@@@
Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.01,5624@@@


Time left: 2348
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5636@@@


Command terminated by signal 11
@@@0.00,5732@@@
Command terminated by signal 11
@@@0.01,5716@@@

Command terminated by signal 11
@@@0.00,5728@@@


Time left: 2348
Time left: 2348
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 213 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5592@@@

Command terminated by signal 11
@@@0.01,5508@@@

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.00,5516@@@


Time left: 2348
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.01,5644@@@


Command terminated by signal 11
@@@0.00,5740@@@
Command terminated by signal 11
@@@0.01,5680@@@


Time left: 2347
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5744@@@


Command terminated by signal 11
@@@0.01,5680@@@

Command terminated by signal 11
Command terminated by signal 11
@@@0.02,5628@@@
@@@0.01,5676@@@


Time left: 2347
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5744@@@


Command terminated by signal 11
@@@0.00,5616@@@
Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.01,5656@@@


Time left: 2347
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5564@@@

Command terminated by signal 11
@@@0.00,5740@@@

Command terminated by signal 11
@@@0.00,5744@@@

Command terminated by signal 11
@@@0.00,5716@@@


Time left: 2347
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5548@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.00,5544@@@

Command terminated by signal 11
@@@0.00,5564@@@


Time left: 2346
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5680@@@

Command terminated by signal 11
@@@0.00,5620@@@


Command terminated by signal 11
@@@0.01,5676@@@
Command terminated by signal 11
@@@0.01,5632@@@


Time left: 2346
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5664@@@
Command terminated by signal 11
@@@0.01,5744@@@

Command terminated by signal 11
@@@0.00,5668@@@

Command terminated by signal 11
@@@0.00,5640@@@


Time left: 2346
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.00,5820@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.02,5756@@@


Time left: 2346
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5720@@@


Time left: 2346
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5564@@@

Command terminated by signal 11
@@@0.00,5568@@@

Command terminated by signal 11
@@@0.00,5696@@@

Command terminated by signal 11
@@@0.00,5692@@@


Time left: 2345
Time left: 2345
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 213 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5608@@@

Command terminated by signal 11
@@@0.01,5588@@@

Command terminated by signal 11
@@@0.00,5688@@@

Command terminated by signal 11
@@@0.00,5592@@@


Time left: 2345
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5640@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.03,5572@@@


Time left: 2345
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.00,5712@@@

Command terminated by signal 11
@@@0.00,5600@@@


Time left: 2345
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5668@@@


Command terminated by signal 11
@@@0.00,5736@@@
Command terminated by signal 11
@@@0.01,5728@@@

Command terminated by signal 11
@@@0.00,5700@@@


Time left: 2345
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5724@@@
Command terminated by signal 11
@@@0.02,5752@@@

Command terminated by signal 11
@@@0.03,5628@@@

Command terminated by signal 11
@@@0.01,5684@@@


Time left: 2344
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5752@@@

Command terminated by signal 11
@@@0.00,5816@@@

Command terminated by signal 11
@@@0.01,5564@@@

Command terminated by signal 11
@@@0.00,5588@@@


Time left: 2344
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@


Command terminated by signal 11
@@@0.00,5796@@@
Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5812@@@


Time left: 2344
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5612@@@


Command terminated by signal 11
@@@0.01,5744@@@
Command terminated by signal 11
@@@0.01,5564@@@


Time left: 2344
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5812@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5680@@@

Command terminated by signal 11
@@@0.00,5676@@@


Time left: 2343
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5700@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.00,5720@@@


Time left: 2343
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5628@@@

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.00,5568@@@


Time left: 2343
Time left: 2343
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 213 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5640@@@


Command terminated by signal 11
@@@0.00,5560@@@
Command terminated by signal 11
@@@0.00,5648@@@

Command terminated by signal 11
@@@0.00,5436@@@


Time left: 2343
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5748@@@


Command terminated by signal 11
@@@0.00,5720@@@
Command terminated by signal 11
@@@0.02,5804@@@

Command terminated by signal 11
@@@0.01,5740@@@


Time left: 2343
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5748@@@

Command terminated by signal 11
@@@0.00,5612@@@


Command terminated by signal 11
@@@0.00,5668@@@
Command terminated by signal 11
@@@0.01,5740@@@


Time left: 2342
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5624@@@


Command terminated by signal 11
@@@0.00,5724@@@
Command terminated by signal 11
@@@0.01,5620@@@

Command terminated by signal 11
@@@0.00,5724@@@


Time left: 2342
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5728@@@

Command terminated by signal 11
@@@0.00,5748@@@

Command terminated by signal 11
@@@0.00,5740@@@

Command terminated by signal 11
@@@0.01,5700@@@


Time left: 2342
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5500@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.01,5672@@@


Time left: 2342
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5820@@@

Command terminated by signal 11
@@@0.01,5744@@@

Command terminated by signal 11
@@@0.01,5692@@@


Time left: 2342
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5720@@@

Command terminated by signal 11
@@@0.01,5708@@@

Command terminated by signal 11
@@@0.03,5664@@@

Command terminated by signal 11
@@@0.01,5624@@@


Time left: 2341
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@

Command terminated by signal 11
@@@0.01,5724@@@

Command terminated by signal 11
@@@0.00,5756@@@

Command terminated by signal 11
@@@0.01,5816@@@


Time left: 2341
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5716@@@


Command terminated by signal 11
@@@0.02,5676@@@
Command terminated by signal 11
@@@0.01,5728@@@

Command terminated by signal 11
@@@0.03,5712@@@


Time left: 2341
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5668@@@



Command terminated by signal 11
@@@0.01,5796@@@
Command terminated by signal 11
@@@0.02,5628@@@
Command terminated by signal 11
@@@0.04,5692@@@


Time left: 2341
Time left: 2341
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 212 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5652@@@

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.00,5604@@@

Command terminated by signal 11
@@@0.00,5624@@@


Time left: 2340
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5744@@@


Command terminated by signal 11
@@@0.02,5792@@@
Command terminated by signal 11
@@@0.02,5676@@@

Command terminated by signal 11
@@@0.02,5584@@@


Time left: 2340
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5676@@@


Command terminated by signal 11
@@@0.00,5648@@@
Command terminated by signal 11
@@@0.01,5624@@@

Command terminated by signal 11
@@@0.00,5624@@@


Time left: 2340
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5692@@@


Command terminated by signal 11
@@@0.00,5756@@@
Command terminated by signal 11
@@@0.02,5716@@@

Command terminated by signal 11
@@@0.01,5568@@@


Time left: 2340
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5680@@@

Command terminated by signal 11
@@@0.00,5652@@@

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.01,5744@@@


Time left: 2339
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5548@@@

Command terminated by signal 11
@@@0.01,5620@@@

Command terminated by signal 11
@@@0.00,5732@@@

Command terminated by signal 11
@@@0.00,5556@@@


Time left: 2339
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.00,5660@@@

Command terminated by signal 11
@@@0.01,5748@@@

Command terminated by signal 11
@@@0.00,5644@@@


Time left: 2339
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5660@@@

Command terminated by signal 11
@@@0.00,5648@@@

Command terminated by signal 11
@@@0.00,5728@@@

Command terminated by signal 11
@@@0.00,5752@@@


Time left: 2339
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5644@@@

Command terminated by signal 11
@@@0.01,5728@@@

Command terminated by signal 11
@@@0.01,5736@@@

Command terminated by signal 11
@@@0.01,5816@@@


Time left: 2339
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.00,5668@@@

Command terminated by signal 11
@@@0.01,5568@@@

Command terminated by signal 11
@@@0.01,5760@@@


Time left: 2338
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5796@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.00,5632@@@

Command terminated by signal 11
@@@0.00,5740@@@


Time left: 2338
Time left: 2338
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 212 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5552@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.01,5560@@@

Command terminated by signal 11
@@@0.01,5600@@@


Time left: 2338
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5712@@@

Command terminated by signal 11
@@@0.00,5580@@@

Command terminated by signal 11
@@@0.01,5732@@@
Command terminated by signal 11
@@@0.03,5740@@@


Time left: 2338
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5704@@@

Command terminated by signal 11
@@@0.00,5720@@@

Command terminated by signal 11
@@@0.01,5760@@@

Command terminated by signal 11
@@@0.01,5672@@@


Time left: 2337
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5732@@@

Command terminated by signal 11
@@@0.01,5616@@@


Command terminated by signal 11
Command terminated by signal 11
@@@0.01,5660@@@
@@@0.00,5740@@@


Time left: 2337
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5724@@@


Command terminated by signal 11
@@@0.01,5716@@@
Command terminated by signal 11
@@@0.00,5732@@@

Command terminated by signal 11
@@@0.00,5728@@@


Time left: 2337
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5672@@@

Command terminated by signal 11
@@@0.01,5620@@@

Command terminated by signal 11
@@@0.01,5640@@@

Command terminated by signal 11
@@@0.00,5560@@@


Time left: 2337
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5800@@@

Command terminated by signal 11
@@@0.01,5604@@@

Command terminated by signal 11
@@@0.01,5696@@@

Command terminated by signal 11
@@@0.03,5792@@@


Time left: 2337
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.01,5744@@@

Command terminated by signal 11
@@@0.00,5668@@@

Command terminated by signal 11
@@@0.04,5628@@@


Time left: 2336
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.00,5652@@@

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.00,5680@@@


Time left: 2336
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5716@@@
Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5792@@@

Command terminated by signal 11
@@@0.01,5752@@@


Time left: 2336
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5696@@@

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5728@@@
Command terminated by signal 11
@@@0.02,5696@@@


Time left: 2336
Time left: 2336
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 212 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5504@@@

Command terminated by signal 11
@@@0.01,5596@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.00,5560@@@


Time left: 2336
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5600@@@

Command terminated by signal 11
@@@0.01,5652@@@


Command terminated by signal 11
@@@0.03,5568@@@
Command terminated by signal 11
@@@0.02,5744@@@


Time left: 2335
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.00,5692@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.00,5732@@@


Time left: 2335
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5596@@@


Command terminated by signal 11
@@@0.01,5752@@@
Command terminated by signal 11
@@@0.01,5728@@@


Time left: 2335
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5628@@@

Command terminated by signal 11
@@@0.00,5668@@@


Command terminated by signal 11
@@@0.01,5728@@@
Command terminated by signal 11
@@@0.00,5712@@@


Time left: 2335
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5492@@@
Command terminated by signal 11
@@@0.02,5672@@@

Command terminated by signal 11
@@@0.01,5720@@@

Command terminated by signal 11
@@@0.00,5656@@@


Time left: 2334
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5728@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.01,5636@@@

Command terminated by signal 11
@@@0.02,5724@@@


Time left: 2334
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5656@@@

Command terminated by signal 11
@@@0.00,5732@@@

Command terminated by signal 11
@@@0.01,5740@@@

Command terminated by signal 11
@@@0.01,5604@@@


Time left: 2334
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5584@@@

Command terminated by signal 11
@@@0.00,5716@@@

Command terminated by signal 11
@@@0.00,5620@@@

Command terminated by signal 11
@@@0.00,5816@@@


Time left: 2334
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5716@@@

Command terminated by signal 11
@@@0.01,5664@@@

Command terminated by signal 11
@@@0.00,5800@@@

Command terminated by signal 11
@@@0.00,5640@@@


Time left: 2334
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5628@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,5684@@@

Command terminated by signal 11
@@@0.04,5740@@@


Time left: 2333
Time left: 2333
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 212 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5600@@@


Command terminated by signal 11
@@@0.00,5532@@@
Command terminated by signal 11
@@@0.01,5652@@@

Command terminated by signal 11
@@@0.00,5532@@@


Time left: 2333
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5668@@@


Command terminated by signal 11
@@@0.02,5656@@@

Command terminated by signal 11
@@@0.02,5724@@@
Command terminated by signal 11
@@@0.02,5656@@@


Time left: 2333
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5664@@@

Command terminated by signal 11
@@@0.01,5700@@@

Command terminated by signal 11
@@@0.02,5644@@@

Command terminated by signal 11
@@@0.02,5696@@@


Time left: 2333
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5704@@@

Command terminated by signal 11
@@@0.01,5672@@@


Command terminated by signal 11
@@@0.00,5668@@@
Command terminated by signal 11
@@@0.00,5688@@@


Time left: 2333
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5720@@@

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5708@@@

Command terminated by signal 11
@@@0.02,5728@@@


Time left: 2332
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.00,5544@@@

Command terminated by signal 11
@@@0.00,5540@@@

Command terminated by signal 11
@@@0.00,5556@@@


Time left: 2332
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5676@@@

Command terminated by signal 11
@@@0.00,5744@@@

Command terminated by signal 11
@@@0.01,5756@@@

Command terminated by signal 11
@@@0.02,5608@@@


Time left: 2332
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.00,5624@@@
Command terminated by signal 11
@@@0.01,5596@@@


Command terminated by signal 11
@@@0.00,5680@@@
Command terminated by signal 11
@@@0.00,5636@@@


Time left: 2332
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5664@@@

Command terminated by signal 11
@@@0.01,5792@@@


Command terminated by signal 11
@@@0.00,5780@@@
Command terminated by signal 11
@@@0.00,5728@@@


Time left: 2331
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5812@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.01,5668@@@

Command terminated by signal 11
@@@0.00,5624@@@


Time left: 2331
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5684@@@


Command terminated by signal 11
@@@0.02,5664@@@
Command terminated by signal 11
@@@0.02,5744@@@

Command terminated by signal 11
@@@0.01,5760@@@


Time left: 2331
Time left: 2331
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 211 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.02,5596@@@

Command terminated by signal 11
@@@0.03,5600@@@

Command terminated by signal 11
@@@0.00,5540@@@

Command terminated by signal 11
@@@0.03,5624@@@


Time left: 2331
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.00,5788@@@

Command terminated by signal 11
@@@0.00,5756@@@

Command terminated by signal 11
@@@0.01,5628@@@


Time left: 2331
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.02,5740@@@
Command terminated by signal 11
@@@0.00,5576@@@


Command terminated by signal 11
@@@0.03,5640@@@
Command terminated by signal 11
@@@0.01,5676@@@


Time left: 2330
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5724@@@

Command terminated by signal 11
@@@0.00,5624@@@

Command terminated by signal 11
@@@0.00,5608@@@

Command terminated by signal 11
@@@0.01,5804@@@


Time left: 2330
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").


Command terminated by signal 11
@@@0.01,5676@@@

Command terminated by signal 11
@@@0.00,5664@@@
Command terminated by signal 11
@@@0.00,5704@@@

Command terminated by signal 11
@@@0.01,5664@@@


Time left: 2330
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5552@@@

Command terminated by signal 11
@@@0.02,5684@@@

Command terminated by signal 11
@@@0.01,5656@@@

Command terminated by signal 11
@@@0.00,5560@@@


Time left: 2330
------------------- 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.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5644@@@

Command terminated by signal 11
@@@0.00,5728@@@


Command terminated by signal 11
@@@0.01,5728@@@
Command terminated by signal 11
@@@0.00,5700@@@


Time left: 2329
------------------- QUERY 12 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5672@@@



Command terminated by signal 11
@@@0.00,5688@@@
Command terminated by signal 11
@@@0.00,5652@@@
Command terminated by signal 11
@@@0.01,5624@@@


Time left: 2329
------------------- QUERY 13 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5720@@@

Command terminated by signal 11
@@@0.00,5684@@@

Command terminated by signal 11
@@@0.00,5792@@@

Command terminated by signal 11
@@@0.01,5632@@@


Time left: 2329
------------------- QUERY 14 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.01,5692@@@

Command terminated by signal 11
@@@0.01,5616@@@

Command terminated by signal 11
@@@0.00,5596@@@

Command terminated by signal 11
@@@0.00,5640@@@


Time left: 2329
------------------- QUERY 15 ----------------------
No solution found
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LANG = "fr_FR.UTF-8"
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.UTF-8"
are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").

Command terminated by signal 11
@@@0.00,5632@@@


Command terminated by signal 11
@@@0.00,5716@@@

Command terminated by signal 11
@@@0.01,5580@@@
Command terminated by signal 11
@@@0.01,5756@@@


Time left: 2329
Time left: 2329
End of script.

BK_STOP 1653142237874

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

CPN OverApproximation is only usable on colored models