============================================================================
2013-05-21 QBF Gallery 2013 preliminary results for showcase "Preprocessing"
============================================================================

Experiment: how many instances can be solved by running the four preprocessors
bloqqer, hiqqer3e, hiqqer3p, and squeeze incrementally in multiple rounds?
That is, the instance preprocessed by one preprocessor is fed into another and
the preprocessors can influence each other.

Notation:

"A" is hiqqer3e
"B" is bloqqer
"C" is hiqqer3p
"D" is squeeze

For the results reported below, we ran A, B, C, and D in rounds. In each
round, a predefined execution sequence of A, B, C, and D is run. This
execution sequence is fixed for all rounds. At most 6 rounds were run for each
instance.

For example, let "file 1" be the input QDIMACS file and consider the sequence
ABCD. In round 1, A gets file 1 and produces file 2. File 2 is fed into B,
which produces file 3,..., finally D produces file 5 at the end of round
1. Then round 2 starts and A gets file 5, and so on.

If an instance was solved by either A, B, C, or D then the whole run
terminates. A time limit of 120 seconds was imposed for each individual run of
A, B, C, and D. If a preprocessor fails to process an instance within that
given time limit or if it fails due to any other reason, then its input file
is passed on to the next preprocessor in the execution sequence without any
modifications.

For example, C gets file 3 but times out. Then file 3 is used as input file
for D.

We considered the benchmark set "eval12r2" (345 formulas) and tested all 24
possible execution sequences of A, B, C, and D.

Below, the notation "num-rounds-6-120sec-ABCD", for example, denotes the
experiment where the sequence ABCD was executed in at most 6 rounds with a
time limit of 120 seconds for each call of A, B, C, and D. Experiments with
other execution sequences are labelled accordingly.

Additionally, we ran each preprocessor in the sequence ABCD twice, which is
reported in the experiment "num-rounds-6-120sec-AABBCCDD". Here, we considered
the sequence ABCD because it solved the largest number of instances, as can be
seen below.

The results for the two experiments "num-rounds-12-120sec-ABCD-completion" and
"num-rounds-24-120sec-ABCD-completion" are reported below but can be ignored
for the moment. They will be explained in a separate, forthcoming posting.


-------------------------------------------------------------------------------

combined solved unsat:	71
combined solved sat:	49
combined solved all:	120

bloqqer unique solved unsat: 0
hiqqer3e unique solved unsat: 0
hiqqer3p unique solved unsat: 0
squeeze unique solved unsat: 0
num-rounds-6-120sec-ABCD unique solved unsat: 0
num-rounds-6-120sec-ABDC unique solved unsat: 0
num-rounds-6-120sec-ACBD unique solved unsat: 0
num-rounds-6-120sec-ACDB unique solved unsat: 0
num-rounds-6-120sec-ADBC unique solved unsat: 0
num-rounds-6-120sec-ADCB unique solved unsat: 0
num-rounds-6-120sec-BACD unique solved unsat: 0
num-rounds-6-120sec-BADC unique solved unsat: 1
num-rounds-6-120sec-BCAD unique solved unsat: 0
num-rounds-6-120sec-BCDA unique solved unsat: 1
num-rounds-6-120sec-BDAC unique solved unsat: 0
num-rounds-6-120sec-BDCA unique solved unsat: 0
num-rounds-6-120sec-CABD unique solved unsat: 0
num-rounds-6-120sec-CADB unique solved unsat: 0
num-rounds-6-120sec-CBAD unique solved unsat: 0
num-rounds-6-120sec-CBDA unique solved unsat: 0
num-rounds-6-120sec-CDAB unique solved unsat: 0
num-rounds-6-120sec-CDBA unique solved unsat: 1
num-rounds-6-120sec-DABC unique solved unsat: 0
num-rounds-6-120sec-DACB unique solved unsat: 0
num-rounds-6-120sec-DBAC unique solved unsat: 0
num-rounds-6-120sec-DBCA unique solved unsat: 0
num-rounds-6-120sec-DCAB unique solved unsat: 0
num-rounds-6-120sec-DCBA unique solved unsat: 0
num-rounds-6-120sec-AABBCCDD unique solved unsat: 0
num-rounds-12-120sec-ABCD-completion unique solved unsat: 0
num-rounds-24-120sec-ABCD-completion unique solved unsat: 0

bloqqer unique solved sat: 0
hiqqer3e unique solved sat: 0
hiqqer3p unique solved sat: 0
squeeze unique solved sat: 0
num-rounds-6-120sec-ABCD unique solved sat: 0
num-rounds-6-120sec-ABDC unique solved sat: 0
num-rounds-6-120sec-ACBD unique solved sat: 0
num-rounds-6-120sec-ACDB unique solved sat: 0
num-rounds-6-120sec-ADBC unique solved sat: 0
num-rounds-6-120sec-ADCB unique solved sat: 0
num-rounds-6-120sec-BACD unique solved sat: 0
num-rounds-6-120sec-BADC unique solved sat: 0
num-rounds-6-120sec-BCAD unique solved sat: 0
num-rounds-6-120sec-BCDA unique solved sat: 0
num-rounds-6-120sec-BDAC unique solved sat: 0
num-rounds-6-120sec-BDCA unique solved sat: 0
num-rounds-6-120sec-CABD unique solved sat: 0
num-rounds-6-120sec-CADB unique solved sat: 0
num-rounds-6-120sec-CBAD unique solved sat: 0
num-rounds-6-120sec-CBDA unique solved sat: 0
num-rounds-6-120sec-CDAB unique solved sat: 0
num-rounds-6-120sec-CDBA unique solved sat: 0
num-rounds-6-120sec-DABC unique solved sat: 0
num-rounds-6-120sec-DACB unique solved sat: 0
num-rounds-6-120sec-DBAC unique solved sat: 0
num-rounds-6-120sec-DBCA unique solved sat: 0
num-rounds-6-120sec-DCAB unique solved sat: 0
num-rounds-6-120sec-DCBA unique solved sat: 0
num-rounds-6-120sec-AABBCCDD unique solved sat: 1
num-rounds-12-120sec-ABCD-completion unique solved sat: 0
num-rounds-24-120sec-ABCD-completion unique solved sat: 0

bloqqer unique solved all: 0
hiqqer3e unique solved all: 0
hiqqer3p unique solved all: 0
squeeze unique solved all: 0
num-rounds-6-120sec-ABCD unique solved all: 0
num-rounds-6-120sec-ABDC unique solved all: 0
num-rounds-6-120sec-ACBD unique solved all: 0
num-rounds-6-120sec-ACDB unique solved all: 0
num-rounds-6-120sec-ADBC unique solved all: 0
num-rounds-6-120sec-ADCB unique solved all: 0
num-rounds-6-120sec-BACD unique solved all: 0
num-rounds-6-120sec-BADC unique solved all: 1
num-rounds-6-120sec-BCAD unique solved all: 0
num-rounds-6-120sec-BCDA unique solved all: 1
num-rounds-6-120sec-BDAC unique solved all: 0
num-rounds-6-120sec-BDCA unique solved all: 0
num-rounds-6-120sec-CABD unique solved all: 0
num-rounds-6-120sec-CADB unique solved all: 0
num-rounds-6-120sec-CBAD unique solved all: 0
num-rounds-6-120sec-CBDA unique solved all: 0
num-rounds-6-120sec-CDAB unique solved all: 0
num-rounds-6-120sec-CDBA unique solved all: 1
num-rounds-6-120sec-DABC unique solved all: 0
num-rounds-6-120sec-DACB unique solved all: 0
num-rounds-6-120sec-DBAC unique solved all: 0
num-rounds-6-120sec-DBCA unique solved all: 0
num-rounds-6-120sec-DCAB unique solved all: 0
num-rounds-6-120sec-DCBA unique solved all: 0
num-rounds-6-120sec-AABBCCDD unique solved all: 1
num-rounds-12-120sec-ABCD-completion unique solved all: 0
num-rounds-24-120sec-ABCD-completion unique solved all: 0

statistics for bloqqer:
  solved unsat:	36
  solved sat:	33
  solved all:	69

statistics for hiqqer3e:
  solved unsat:	19
  solved sat:	0
  solved all:	19

statistics for hiqqer3p:
  solved unsat:	42
  solved sat:	35
  solved all:	77

statistics for squeeze:
  solved unsat:	8
  solved sat:	3
  solved all:	11

statistics for num-rounds-6-120sec-ABCD:
  solved unsat:	63
  solved sat:	44
  solved all:	107

statistics for num-rounds-6-120sec-ABDC:
  solved unsat:	64
  solved sat:	42
  solved all:	106

statistics for num-rounds-6-120sec-ACBD:
  solved unsat:	60
  solved sat:	43
  solved all:	103

statistics for num-rounds-6-120sec-ACDB:
  solved unsat:	60
  solved sat:	43
  solved all:	103

statistics for num-rounds-6-120sec-ADBC:
  solved unsat:	62
  solved sat:	41
  solved all:	103

statistics for num-rounds-6-120sec-ADCB:
  solved unsat:	61
  solved sat:	41
  solved all:	102

statistics for num-rounds-6-120sec-BACD:
  solved unsat:	61
  solved sat:	41
  solved all:	102

statistics for num-rounds-6-120sec-BADC:
  solved unsat:	61
  solved sat:	41
  solved all:	102

statistics for num-rounds-6-120sec-BCAD:
  solved unsat:	60
  solved sat:	41
  solved all:	101

statistics for num-rounds-6-120sec-BCDA:
  solved unsat:	61
  solved sat:	42
  solved all:	103

statistics for num-rounds-6-120sec-BDAC:
  solved unsat:	60
  solved sat:	41
  solved all:	101

statistics for num-rounds-6-120sec-BDCA:
  solved unsat:	60
  solved sat:	39
  solved all:	99

statistics for num-rounds-6-120sec-CABD:
  solved unsat:	58
  solved sat:	41
  solved all:	99

statistics for num-rounds-6-120sec-CADB:
  solved unsat:	59
  solved sat:	40
  solved all:	99

statistics for num-rounds-6-120sec-CBAD:
  solved unsat:	58
  solved sat:	40
  solved all:	98

statistics for num-rounds-6-120sec-CBDA:
  solved unsat:	58
  solved sat:	40
  solved all:	98

statistics for num-rounds-6-120sec-CDAB:
  solved unsat:	59
  solved sat:	41
  solved all:	100

statistics for num-rounds-6-120sec-CDBA:
  solved unsat:	60
  solved sat:	40
  solved all:	100

statistics for num-rounds-6-120sec-DABC:
  solved unsat:	64
  solved sat:	38
  solved all:	102

statistics for num-rounds-6-120sec-DACB:
  solved unsat:	62
  solved sat:	38
  solved all:	100

statistics for num-rounds-6-120sec-DBAC:
  solved unsat:	63
  solved sat:	38
  solved all:	101

statistics for num-rounds-6-120sec-DBCA:
  solved unsat:	62
  solved sat:	38
  solved all:	100

statistics for num-rounds-6-120sec-DCAB:
  solved unsat:	59
  solved sat:	37
  solved all:	96

statistics for num-rounds-6-120sec-DCBA:
  solved unsat:	59
  solved sat:	37
  solved all:	96

statistics for num-rounds-6-120sec-AABBCCDD:
  solved unsat:	65
  solved sat:	46
  solved all:	111

statistics for num-rounds-12-120sec-ABCD-completion:
  solved unsat:	64
  solved sat:	44
  solved all:	108

statistics for num-rounds-24-120sec-ABCD-completion:
  solved unsat:	64
  solved sat:	44
  solved all:	108

bloqqer vs. hiqqer3e (format "< | = | >"):
all solved:	59 | 10 | 9
unsat solved:	26 | 10 | 9
sat solved:	33 | 0 | 0

bloqqer vs. hiqqer3p (format "< | = | >"):
all solved:	1 | 68 | 9
unsat solved:	0 | 36 | 6
sat solved:	1 | 32 | 3

bloqqer vs. squeeze (format "< | = | >"):
all solved:	58 | 11 | 0
unsat solved:	28 | 8 | 0
sat solved:	30 | 3 | 0

bloqqer vs. num-rounds-6-120sec-ABCD (format "< | = | >"):
all solved:	0 | 69 | 38
unsat solved:	0 | 36 | 27
sat solved:	0 | 33 | 11

bloqqer vs. num-rounds-6-120sec-ABDC (format "< | = | >"):
all solved:	0 | 69 | 37
unsat solved:	0 | 36 | 28
sat solved:	0 | 33 | 9

bloqqer vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	0 | 69 | 34
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 10

bloqqer vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	0 | 69 | 34
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 10

bloqqer vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	1 | 68 | 35
unsat solved:	0 | 36 | 26
sat solved:	1 | 32 | 9

bloqqer vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	1 | 68 | 34
unsat solved:	0 | 36 | 25
sat solved:	1 | 32 | 9

bloqqer vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	0 | 69 | 33
unsat solved:	0 | 36 | 25
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	0 | 69 | 33
unsat solved:	0 | 36 | 25
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	0 | 69 | 32
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	0 | 69 | 34
unsat solved:	0 | 36 | 25
sat solved:	0 | 33 | 9

bloqqer vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	0 | 69 | 32
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	0 | 69 | 30
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 6

bloqqer vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	0 | 69 | 30
unsat solved:	0 | 36 | 22
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	0 | 69 | 30
unsat solved:	0 | 36 | 23
sat solved:	0 | 33 | 7

bloqqer vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	0 | 69 | 29
unsat solved:	0 | 36 | 22
sat solved:	0 | 33 | 7

bloqqer vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	0 | 69 | 29
unsat solved:	0 | 36 | 22
sat solved:	0 | 33 | 7

bloqqer vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 69 | 31
unsat solved:	0 | 36 | 23
sat solved:	0 | 33 | 8

bloqqer vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 69 | 31
unsat solved:	0 | 36 | 24
sat solved:	0 | 33 | 7

bloqqer vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	2 | 67 | 35
unsat solved:	0 | 36 | 28
sat solved:	2 | 31 | 7

bloqqer vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	1 | 68 | 32
unsat solved:	0 | 36 | 26
sat solved:	1 | 32 | 6

bloqqer vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	2 | 67 | 34
unsat solved:	0 | 36 | 27
sat solved:	2 | 31 | 7

bloqqer vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	2 | 67 | 33
unsat solved:	0 | 36 | 26
sat solved:	2 | 31 | 7

bloqqer vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	1 | 68 | 28
unsat solved:	0 | 36 | 23
sat solved:	1 | 32 | 5

bloqqer vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	1 | 68 | 28
unsat solved:	0 | 36 | 23
sat solved:	1 | 32 | 5

bloqqer vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 69 | 42
unsat solved:	0 | 36 | 29
sat solved:	0 | 33 | 13

bloqqer vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 69 | 39
unsat solved:	0 | 36 | 28
sat solved:	0 | 33 | 11

bloqqer vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 69 | 39
unsat solved:	0 | 36 | 28
sat solved:	0 | 33 | 11

hiqqer3e vs. hiqqer3p (format "< | = | >"):
all solved:	9 | 10 | 67
unsat solved:	9 | 10 | 32
sat solved:	0 | 0 | 35

hiqqer3e vs. squeeze (format "< | = | >"):
all solved:	11 | 8 | 3
unsat solved:	11 | 8 | 0
sat solved:	0 | 0 | 3

hiqqer3e vs. num-rounds-6-120sec-ABCD (format "< | = | >"):
all solved:	0 | 19 | 88
unsat solved:	0 | 19 | 44
sat solved:	0 | 0 | 44

hiqqer3e vs. num-rounds-6-120sec-ABDC (format "< | = | >"):
all solved:	0 | 19 | 87
unsat solved:	0 | 19 | 45
sat solved:	0 | 0 | 42

hiqqer3e vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	0 | 19 | 84
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 43

hiqqer3e vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	0 | 19 | 84
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 43

hiqqer3e vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	0 | 19 | 84
unsat solved:	0 | 19 | 43
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	0 | 19 | 83
unsat solved:	0 | 19 | 42
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	0 | 19 | 83
unsat solved:	0 | 19 | 42
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	0 | 19 | 83
unsat solved:	0 | 19 | 42
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	0 | 19 | 82
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	0 | 19 | 84
unsat solved:	0 | 19 | 42
sat solved:	0 | 0 | 42

hiqqer3e vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	0 | 19 | 82
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	0 | 19 | 80
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 39

hiqqer3e vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	0 | 19 | 80
unsat solved:	0 | 19 | 39
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	0 | 19 | 80
unsat solved:	0 | 19 | 40
sat solved:	0 | 0 | 40

hiqqer3e vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	0 | 19 | 79
unsat solved:	0 | 19 | 39
sat solved:	0 | 0 | 40

hiqqer3e vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	0 | 19 | 79
unsat solved:	0 | 19 | 39
sat solved:	0 | 0 | 40

hiqqer3e vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 19 | 81
unsat solved:	0 | 19 | 40
sat solved:	0 | 0 | 41

hiqqer3e vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 19 | 81
unsat solved:	0 | 19 | 41
sat solved:	0 | 0 | 40

hiqqer3e vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	0 | 19 | 83
unsat solved:	0 | 19 | 45
sat solved:	0 | 0 | 38

hiqqer3e vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	0 | 19 | 81
unsat solved:	0 | 19 | 43
sat solved:	0 | 0 | 38

hiqqer3e vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	0 | 19 | 82
unsat solved:	0 | 19 | 44
sat solved:	0 | 0 | 38

hiqqer3e vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	0 | 19 | 81
unsat solved:	0 | 19 | 43
sat solved:	0 | 0 | 38

hiqqer3e vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	0 | 19 | 77
unsat solved:	0 | 19 | 40
sat solved:	0 | 0 | 37

hiqqer3e vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	0 | 19 | 77
unsat solved:	0 | 19 | 40
sat solved:	0 | 0 | 37

hiqqer3e vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 19 | 92
unsat solved:	0 | 19 | 46
sat solved:	0 | 0 | 46

hiqqer3e vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 19 | 89
unsat solved:	0 | 19 | 45
sat solved:	0 | 0 | 44

hiqqer3e vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 19 | 89
unsat solved:	0 | 19 | 45
sat solved:	0 | 0 | 44

hiqqer3p vs. squeeze (format "< | = | >"):
all solved:	66 | 11 | 0
unsat solved:	34 | 8 | 0
sat solved:	32 | 3 | 0

hiqqer3p vs. num-rounds-6-120sec-ABCD (format "< | = | >"):
all solved:	0 | 77 | 30
unsat solved:	0 | 42 | 21
sat solved:	0 | 35 | 9

hiqqer3p vs. num-rounds-6-120sec-ABDC (format "< | = | >"):
all solved:	1 | 76 | 30
unsat solved:	0 | 42 | 22
sat solved:	1 | 34 | 8

hiqqer3p vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	1 | 76 | 27
unsat solved:	0 | 42 | 18
sat solved:	1 | 34 | 9

hiqqer3p vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	1 | 76 | 27
unsat solved:	0 | 42 | 18
sat solved:	1 | 34 | 9

hiqqer3p vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	2 | 75 | 28
unsat solved:	0 | 42 | 20
sat solved:	2 | 33 | 8

hiqqer3p vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	3 | 74 | 28
unsat solved:	0 | 42 | 19
sat solved:	3 | 32 | 9

hiqqer3p vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	1 | 76 | 26
unsat solved:	0 | 42 | 19
sat solved:	1 | 34 | 7

hiqqer3p vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	1 | 76 | 26
unsat solved:	0 | 42 | 19
sat solved:	1 | 34 | 7

hiqqer3p vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	1 | 76 | 25
unsat solved:	0 | 42 | 18
sat solved:	1 | 34 | 7

hiqqer3p vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	1 | 76 | 27
unsat solved:	0 | 42 | 19
sat solved:	1 | 34 | 8

hiqqer3p vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	1 | 76 | 25
unsat solved:	0 | 42 | 18
sat solved:	1 | 34 | 7

hiqqer3p vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	1 | 76 | 23
unsat solved:	0 | 42 | 18
sat solved:	1 | 34 | 5

hiqqer3p vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	0 | 77 | 22
unsat solved:	0 | 42 | 16
sat solved:	0 | 35 | 6

hiqqer3p vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	0 | 77 | 22
unsat solved:	0 | 42 | 17
sat solved:	0 | 35 | 5

hiqqer3p vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	0 | 77 | 21
unsat solved:	0 | 42 | 16
sat solved:	0 | 35 | 5

hiqqer3p vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	0 | 77 | 21
unsat solved:	0 | 42 | 16
sat solved:	0 | 35 | 5

hiqqer3p vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 77 | 23
unsat solved:	0 | 42 | 17
sat solved:	0 | 35 | 6

hiqqer3p vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 77 | 23
unsat solved:	0 | 42 | 18
sat solved:	0 | 35 | 5

hiqqer3p vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	3 | 74 | 28
unsat solved:	0 | 42 | 22
sat solved:	3 | 32 | 6

hiqqer3p vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	3 | 74 | 26
unsat solved:	0 | 42 | 20
sat solved:	3 | 32 | 6

hiqqer3p vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	3 | 74 | 27
unsat solved:	0 | 42 | 21
sat solved:	3 | 32 | 6

hiqqer3p vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	3 | 74 | 26
unsat solved:	0 | 42 | 20
sat solved:	3 | 32 | 6

hiqqer3p vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	3 | 74 | 22
unsat solved:	0 | 42 | 17
sat solved:	3 | 32 | 5

hiqqer3p vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	3 | 74 | 22
unsat solved:	0 | 42 | 17
sat solved:	3 | 32 | 5

hiqqer3p vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 77 | 34
unsat solved:	0 | 42 | 23
sat solved:	0 | 35 | 11

hiqqer3p vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 77 | 31
unsat solved:	0 | 42 | 22
sat solved:	0 | 35 | 9

hiqqer3p vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 77 | 31
unsat solved:	0 | 42 | 22
sat solved:	0 | 35 | 9

squeeze vs. num-rounds-6-120sec-ABCD (format "< | = | >"):
all solved:	0 | 11 | 96
unsat solved:	0 | 8 | 55
sat solved:	0 | 3 | 41

squeeze vs. num-rounds-6-120sec-ABDC (format "< | = | >"):
all solved:	0 | 11 | 95
unsat solved:	0 | 8 | 56
sat solved:	0 | 3 | 39

squeeze vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	0 | 11 | 92
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 40

squeeze vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	0 | 11 | 92
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 40

squeeze vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	0 | 11 | 92
unsat solved:	0 | 8 | 54
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	0 | 11 | 91
unsat solved:	0 | 8 | 53
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	0 | 11 | 91
unsat solved:	0 | 8 | 53
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	0 | 11 | 91
unsat solved:	0 | 8 | 53
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	0 | 11 | 90
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	0 | 11 | 92
unsat solved:	0 | 8 | 53
sat solved:	0 | 3 | 39

squeeze vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	0 | 11 | 90
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	0 | 11 | 88
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 36

squeeze vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	0 | 11 | 88
unsat solved:	0 | 8 | 50
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	0 | 11 | 88
unsat solved:	0 | 8 | 51
sat solved:	0 | 3 | 37

squeeze vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	0 | 11 | 87
unsat solved:	0 | 8 | 50
sat solved:	0 | 3 | 37

squeeze vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	0 | 11 | 87
unsat solved:	0 | 8 | 50
sat solved:	0 | 3 | 37

squeeze vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 11 | 89
unsat solved:	0 | 8 | 51
sat solved:	0 | 3 | 38

squeeze vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 11 | 89
unsat solved:	0 | 8 | 52
sat solved:	0 | 3 | 37

squeeze vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	0 | 11 | 91
unsat solved:	0 | 8 | 56
sat solved:	0 | 3 | 35

squeeze vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	0 | 11 | 89
unsat solved:	0 | 8 | 54
sat solved:	0 | 3 | 35

squeeze vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	0 | 11 | 90
unsat solved:	0 | 8 | 55
sat solved:	0 | 3 | 35

squeeze vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	0 | 11 | 89
unsat solved:	0 | 8 | 54
sat solved:	0 | 3 | 35

squeeze vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	0 | 11 | 85
unsat solved:	0 | 8 | 51
sat solved:	0 | 3 | 34

squeeze vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	0 | 11 | 85
unsat solved:	0 | 8 | 51
sat solved:	0 | 3 | 34

squeeze vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 11 | 100
unsat solved:	0 | 8 | 57
sat solved:	0 | 3 | 43

squeeze vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 11 | 97
unsat solved:	0 | 8 | 56
sat solved:	0 | 3 | 41

squeeze vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 11 | 97
unsat solved:	0 | 8 | 56
sat solved:	0 | 3 | 41

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-ABDC (format "< | = | >"):
all solved:	3 | 104 | 2
unsat solved:	1 | 62 | 2
sat solved:	2 | 42 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	4 | 103 | 0
unsat solved:	3 | 60 | 0
sat solved:	1 | 43 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	4 | 103 | 0
unsat solved:	3 | 60 | 0
sat solved:	1 | 43 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	7 | 100 | 3
unsat solved:	3 | 60 | 2
sat solved:	4 | 40 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	9 | 98 | 4
unsat solved:	4 | 59 | 2
sat solved:	5 | 39 | 2

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	6 | 101 | 1
unsat solved:	3 | 60 | 1
sat solved:	3 | 41 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	7 | 100 | 2
unsat solved:	3 | 60 | 1
sat solved:	4 | 40 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	7 | 100 | 1
unsat solved:	3 | 60 | 0
sat solved:	4 | 40 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	6 | 101 | 2
unsat solved:	3 | 60 | 1
sat solved:	3 | 41 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	8 | 99 | 2
unsat solved:	3 | 60 | 0
sat solved:	5 | 39 | 2

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	8 | 99 | 0
unsat solved:	3 | 60 | 0
sat solved:	5 | 39 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	8 | 99 | 0
unsat solved:	5 | 58 | 0
sat solved:	3 | 41 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	8 | 99 | 0
unsat solved:	4 | 59 | 0
sat solved:	4 | 40 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	9 | 98 | 0
unsat solved:	5 | 58 | 0
sat solved:	4 | 40 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	9 | 98 | 0
unsat solved:	5 | 58 | 0
sat solved:	4 | 40 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	7 | 100 | 0
unsat solved:	4 | 59 | 0
sat solved:	3 | 41 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	8 | 99 | 1
unsat solved:	4 | 59 | 1
sat solved:	4 | 40 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	10 | 97 | 5
unsat solved:	4 | 59 | 5
sat solved:	6 | 38 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	12 | 95 | 5
unsat solved:	5 | 58 | 4
sat solved:	7 | 37 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	10 | 97 | 4
unsat solved:	4 | 59 | 4
sat solved:	6 | 38 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	10 | 97 | 3
unsat solved:	4 | 59 | 3
sat solved:	6 | 38 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	14 | 93 | 3
unsat solved:	6 | 57 | 2
sat solved:	8 | 36 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	14 | 93 | 3
unsat solved:	6 | 57 | 2
sat solved:	8 | 36 | 1

num-rounds-6-120sec-ABCD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 106 | 5
unsat solved:	1 | 62 | 3
sat solved:	0 | 44 | 2

num-rounds-6-120sec-ABCD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 107 | 1
unsat solved:	0 | 63 | 1
sat solved:	0 | 44 | 0

num-rounds-6-120sec-ABCD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 107 | 1
unsat solved:	0 | 63 | 1
sat solved:	0 | 44 | 0

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-ACBD (format "< | = | >"):
all solved:	4 | 102 | 1
unsat solved:	4 | 60 | 0
sat solved:	0 | 42 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	4 | 102 | 1
unsat solved:	4 | 60 | 0
sat solved:	0 | 42 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	5 | 101 | 2
unsat solved:	3 | 61 | 1
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	7 | 99 | 3
unsat solved:	4 | 60 | 1
sat solved:	3 | 39 | 2

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	5 | 101 | 1
unsat solved:	3 | 61 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	6 | 100 | 2
unsat solved:	4 | 60 | 1
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	6 | 100 | 1
unsat solved:	4 | 60 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	6 | 100 | 3
unsat solved:	4 | 60 | 1
sat solved:	2 | 40 | 2

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	7 | 99 | 2
unsat solved:	4 | 60 | 0
sat solved:	3 | 39 | 2

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	7 | 99 | 0
unsat solved:	4 | 60 | 0
sat solved:	3 | 39 | 0

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	8 | 98 | 1
unsat solved:	6 | 58 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	8 | 98 | 1
unsat solved:	5 | 59 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	9 | 97 | 1
unsat solved:	6 | 58 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	9 | 97 | 1
unsat solved:	6 | 58 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	7 | 99 | 1
unsat solved:	5 | 59 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	8 | 98 | 2
unsat solved:	5 | 59 | 1
sat solved:	3 | 39 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	7 | 99 | 3
unsat solved:	3 | 61 | 3
sat solved:	4 | 38 | 0

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	9 | 97 | 3
unsat solved:	4 | 60 | 2
sat solved:	5 | 37 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	8 | 98 | 3
unsat solved:	4 | 60 | 3
sat solved:	4 | 38 | 0

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	9 | 97 | 3
unsat solved:	5 | 59 | 3
sat solved:	4 | 38 | 0

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	13 | 93 | 3
unsat solved:	7 | 57 | 2
sat solved:	6 | 36 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	13 | 93 | 3
unsat solved:	7 | 57 | 2
sat solved:	6 | 36 | 1

num-rounds-6-120sec-ABDC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	2 | 104 | 7
unsat solved:	2 | 62 | 3
sat solved:	0 | 42 | 4

num-rounds-6-120sec-ABDC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 104 | 4
unsat solved:	2 | 62 | 2
sat solved:	0 | 42 | 2

num-rounds-6-120sec-ABDC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 104 | 4
unsat solved:	2 | 62 | 2
sat solved:	0 | 42 | 2

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-ACDB (format "< | = | >"):
all solved:	0 | 103 | 0
unsat solved:	0 | 60 | 0
sat solved:	0 | 43 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	5 | 98 | 5
unsat solved:	2 | 58 | 4
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	6 | 97 | 5
unsat solved:	2 | 58 | 3
sat solved:	4 | 39 | 2

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	3 | 100 | 2
unsat solved:	1 | 59 | 2
sat solved:	2 | 41 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	4 | 99 | 3
unsat solved:	1 | 59 | 2
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	4 | 99 | 2
unsat solved:	1 | 59 | 1
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	3 | 100 | 3
unsat solved:	1 | 59 | 2
sat solved:	2 | 41 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	5 | 98 | 3
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 2

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	2 | 58 | 0
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	1 | 59 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	4 | 99 | 1
unsat solved:	1 | 59 | 0
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	5 | 98 | 2
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	7 | 96 | 6
unsat solved:	2 | 58 | 6
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	9 | 94 | 6
unsat solved:	3 | 57 | 5
sat solved:	6 | 37 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	7 | 96 | 5
unsat solved:	2 | 58 | 5
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	7 | 96 | 4
unsat solved:	2 | 58 | 4
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	11 | 92 | 4
unsat solved:	4 | 56 | 3
sat solved:	7 | 36 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	11 | 92 | 4
unsat solved:	4 | 56 | 3
sat solved:	7 | 36 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 103 | 8
unsat solved:	0 | 60 | 5
sat solved:	0 | 43 | 3

num-rounds-6-120sec-ACBD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 103 | 5
unsat solved:	0 | 60 | 4
sat solved:	0 | 43 | 1

num-rounds-6-120sec-ACBD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 103 | 5
unsat solved:	0 | 60 | 4
sat solved:	0 | 43 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-ADBC (format "< | = | >"):
all solved:	5 | 98 | 5
unsat solved:	2 | 58 | 4
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	6 | 97 | 5
unsat solved:	2 | 58 | 3
sat solved:	4 | 39 | 2

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	3 | 100 | 2
unsat solved:	1 | 59 | 2
sat solved:	2 | 41 | 0

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	4 | 99 | 3
unsat solved:	1 | 59 | 2
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	4 | 99 | 2
unsat solved:	1 | 59 | 1
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	3 | 100 | 3
unsat solved:	1 | 59 | 2
sat solved:	2 | 41 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	5 | 98 | 3
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 2

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 0

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	2 | 58 | 0
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	1 | 59 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	4 | 99 | 1
unsat solved:	1 | 59 | 0
sat solved:	3 | 40 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	5 | 98 | 2
unsat solved:	1 | 59 | 1
sat solved:	4 | 39 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	7 | 96 | 6
unsat solved:	2 | 58 | 6
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	9 | 94 | 6
unsat solved:	3 | 57 | 5
sat solved:	6 | 37 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	7 | 96 | 5
unsat solved:	2 | 58 | 5
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	7 | 96 | 4
unsat solved:	2 | 58 | 4
sat solved:	5 | 38 | 0

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	11 | 92 | 4
unsat solved:	4 | 56 | 3
sat solved:	7 | 36 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	11 | 92 | 4
unsat solved:	4 | 56 | 3
sat solved:	7 | 36 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 103 | 8
unsat solved:	0 | 60 | 5
sat solved:	0 | 43 | 3

num-rounds-6-120sec-ACDB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 103 | 5
unsat solved:	0 | 60 | 4
sat solved:	0 | 43 | 1

num-rounds-6-120sec-ACDB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 103 | 5
unsat solved:	0 | 60 | 4
sat solved:	0 | 43 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-ADCB (format "< | = | >"):
all solved:	2 | 101 | 1
unsat solved:	1 | 61 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	6 | 97 | 5
unsat solved:	4 | 58 | 3
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	6 | 97 | 5
unsat solved:	4 | 58 | 3
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	6 | 97 | 4
unsat solved:	4 | 58 | 2
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	6 | 97 | 6
unsat solved:	4 | 58 | 3
sat solved:	2 | 39 | 3

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	7 | 96 | 5
unsat solved:	4 | 58 | 2
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	7 | 96 | 3
unsat solved:	4 | 58 | 2
sat solved:	3 | 38 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	7 | 96 | 3
unsat solved:	5 | 57 | 1
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	8 | 95 | 4
unsat solved:	5 | 57 | 2
sat solved:	3 | 38 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	8 | 95 | 3
unsat solved:	5 | 57 | 1
sat solved:	3 | 38 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	8 | 95 | 3
unsat solved:	5 | 57 | 1
sat solved:	3 | 38 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	7 | 96 | 4
unsat solved:	5 | 57 | 2
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	8 | 95 | 5
unsat solved:	5 | 57 | 3
sat solved:	3 | 38 | 2

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	5 | 98 | 4
unsat solved:	2 | 60 | 4
sat solved:	3 | 38 | 0

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	6 | 97 | 3
unsat solved:	2 | 60 | 2
sat solved:	4 | 37 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	5 | 98 | 3
unsat solved:	2 | 60 | 3
sat solved:	3 | 38 | 0

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	6 | 97 | 3
unsat solved:	3 | 59 | 3
sat solved:	3 | 38 | 0

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	9 | 94 | 2
unsat solved:	4 | 58 | 1
sat solved:	5 | 36 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	9 | 94 | 2
unsat solved:	4 | 58 | 1
sat solved:	5 | 36 | 1

num-rounds-6-120sec-ADBC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	2 | 101 | 10
unsat solved:	1 | 61 | 4
sat solved:	1 | 40 | 6

num-rounds-6-120sec-ADBC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 101 | 7
unsat solved:	1 | 61 | 3
sat solved:	1 | 40 | 4

num-rounds-6-120sec-ADBC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 101 | 7
unsat solved:	1 | 61 | 3
sat solved:	1 | 40 | 4

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BACD (format "< | = | >"):
all solved:	7 | 95 | 7
unsat solved:	4 | 57 | 4
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	6 | 96 | 6
unsat solved:	4 | 57 | 4
sat solved:	2 | 39 | 2

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	7 | 95 | 6
unsat solved:	4 | 57 | 3
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	7 | 95 | 8
unsat solved:	4 | 57 | 4
sat solved:	3 | 38 | 4

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	7 | 95 | 6
unsat solved:	4 | 57 | 3
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	8 | 94 | 5
unsat solved:	4 | 57 | 3
sat solved:	4 | 37 | 2

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	7 | 95 | 4
unsat solved:	4 | 57 | 1
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	8 | 94 | 5
unsat solved:	4 | 57 | 2
sat solved:	4 | 37 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	8 | 94 | 4
unsat solved:	4 | 57 | 1
sat solved:	4 | 37 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	8 | 94 | 4
unsat solved:	4 | 57 | 1
sat solved:	4 | 37 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	7 | 95 | 5
unsat solved:	4 | 57 | 2
sat solved:	3 | 38 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	8 | 94 | 6
unsat solved:	4 | 57 | 3
sat solved:	4 | 37 | 3

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	5 | 97 | 5
unsat solved:	1 | 60 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	5 | 97 | 3
unsat solved:	1 | 60 | 2
sat solved:	4 | 37 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	5 | 97 | 4
unsat solved:	1 | 60 | 3
sat solved:	4 | 37 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	6 | 96 | 4
unsat solved:	2 | 59 | 3
sat solved:	4 | 37 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	8 | 94 | 2
unsat solved:	3 | 58 | 1
sat solved:	5 | 36 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	8 | 94 | 2
unsat solved:	3 | 58 | 1
sat solved:	5 | 36 | 1

num-rounds-6-120sec-ADCB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	3 | 99 | 12
unsat solved:	1 | 60 | 5
sat solved:	2 | 39 | 7

num-rounds-6-120sec-ADCB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	3 | 99 | 9
unsat solved:	1 | 60 | 4
sat solved:	2 | 39 | 5

num-rounds-6-120sec-ADCB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	3 | 99 | 9
unsat solved:	1 | 60 | 4
sat solved:	2 | 39 | 5

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-BADC (format "< | = | >"):
all solved:	2 | 100 | 2
unsat solved:	1 | 60 | 1
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	2 | 100 | 1
unsat solved:	1 | 60 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	1 | 101 | 2
unsat solved:	1 | 60 | 1
sat solved:	0 | 41 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	3 | 99 | 2
unsat solved:	1 | 60 | 0
sat solved:	2 | 39 | 2

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	3 | 99 | 0
unsat solved:	1 | 60 | 0
sat solved:	2 | 39 | 0

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	4 | 98 | 1
unsat solved:	3 | 58 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	4 | 98 | 1
unsat solved:	2 | 59 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	5 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	5 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	3 | 99 | 1
unsat solved:	2 | 59 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	4 | 98 | 2
unsat solved:	2 | 59 | 1
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	6 | 96 | 6
unsat solved:	2 | 59 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	8 | 94 | 6
unsat solved:	3 | 58 | 4
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	7 | 95 | 6
unsat solved:	3 | 58 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	7 | 95 | 5
unsat solved:	3 | 58 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	11 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	11 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BACD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 101 | 10
unsat solved:	1 | 60 | 5
sat solved:	0 | 41 | 5

num-rounds-6-120sec-BACD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 101 | 7
unsat solved:	1 | 60 | 4
sat solved:	0 | 41 | 3

num-rounds-6-120sec-BACD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 101 | 7
unsat solved:	1 | 60 | 4
sat solved:	0 | 41 | 3

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-BCAD (format "< | = | >"):
all solved:	2 | 100 | 1
unsat solved:	1 | 60 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	2 | 100 | 3
unsat solved:	1 | 60 | 1
sat solved:	1 | 40 | 2

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	2 | 100 | 1
unsat solved:	1 | 60 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	3 | 99 | 0
unsat solved:	1 | 60 | 0
sat solved:	2 | 39 | 0

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	4 | 98 | 1
unsat solved:	3 | 58 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	4 | 98 | 1
unsat solved:	2 | 59 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	5 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	5 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	3 | 99 | 1
unsat solved:	2 | 59 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	4 | 98 | 2
unsat solved:	2 | 59 | 1
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	7 | 95 | 7
unsat solved:	3 | 58 | 6
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	9 | 93 | 7
unsat solved:	4 | 57 | 5
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	7 | 95 | 6
unsat solved:	3 | 58 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	7 | 95 | 5
unsat solved:	3 | 58 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	11 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	11 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BADC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	2 | 100 | 11
unsat solved:	1 | 60 | 5
sat solved:	1 | 40 | 6

num-rounds-6-120sec-BADC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 100 | 8
unsat solved:	1 | 60 | 4
sat solved:	1 | 40 | 4

num-rounds-6-120sec-BADC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 100 | 8
unsat solved:	1 | 60 | 4
sat solved:	1 | 40 | 4

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-BCDA (format "< | = | >"):
all solved:	0 | 101 | 2
unsat solved:	0 | 60 | 1
sat solved:	0 | 41 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	1 | 100 | 1
unsat solved:	0 | 60 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	2 | 99 | 0
unsat solved:	0 | 60 | 0
sat solved:	2 | 39 | 0

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	3 | 98 | 1
unsat solved:	2 | 58 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	3 | 98 | 1
unsat solved:	1 | 59 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	4 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	4 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	2 | 99 | 1
unsat solved:	1 | 59 | 0
sat solved:	1 | 40 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	3 | 98 | 2
unsat solved:	1 | 59 | 1
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	6 | 95 | 7
unsat solved:	2 | 58 | 6
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	8 | 93 | 7
unsat solved:	3 | 57 | 5
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	6 | 95 | 6
unsat solved:	2 | 58 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	6 | 95 | 5
unsat solved:	2 | 58 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	10 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	10 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BCAD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 101 | 10
unsat solved:	0 | 60 | 5
sat solved:	0 | 41 | 5

num-rounds-6-120sec-BCAD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 100 | 8
unsat solved:	0 | 60 | 4
sat solved:	1 | 40 | 4

num-rounds-6-120sec-BCAD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 100 | 8
unsat solved:	0 | 60 | 4
sat solved:	1 | 40 | 4

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-BDAC (format "< | = | >"):
all solved:	3 | 100 | 1
unsat solved:	1 | 60 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	4 | 99 | 0
unsat solved:	1 | 60 | 0
sat solved:	3 | 39 | 0

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	3 | 58 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	5 | 98 | 1
unsat solved:	2 | 59 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	6 | 97 | 1
unsat solved:	3 | 58 | 0
sat solved:	3 | 39 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	4 | 99 | 1
unsat solved:	2 | 59 | 0
sat solved:	2 | 40 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	5 | 98 | 2
unsat solved:	2 | 59 | 1
sat solved:	3 | 39 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	8 | 95 | 7
unsat solved:	3 | 58 | 6
sat solved:	5 | 37 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	10 | 93 | 7
unsat solved:	4 | 57 | 5
sat solved:	6 | 36 | 2

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	8 | 95 | 6
unsat solved:	3 | 58 | 5
sat solved:	5 | 37 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	8 | 95 | 5
unsat solved:	3 | 58 | 4
sat solved:	5 | 37 | 1

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	12 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	7 | 35 | 2

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	12 | 91 | 5
unsat solved:	5 | 56 | 3
sat solved:	7 | 35 | 2

num-rounds-6-120sec-BCDA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 102 | 9
unsat solved:	1 | 60 | 5
sat solved:	0 | 42 | 4

num-rounds-6-120sec-BCDA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 101 | 7
unsat solved:	1 | 60 | 4
sat solved:	1 | 41 | 3

num-rounds-6-120sec-BCDA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 101 | 7
unsat solved:	1 | 60 | 4
sat solved:	1 | 41 | 3

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-BDCA (format "< | = | >"):
all solved:	2 | 99 | 0
unsat solved:	0 | 60 | 0
sat solved:	2 | 39 | 0

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	4 | 97 | 2
unsat solved:	2 | 58 | 0
sat solved:	2 | 39 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	3 | 98 | 1
unsat solved:	1 | 59 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	4 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	4 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	3 | 98 | 2
unsat solved:	1 | 59 | 0
sat solved:	2 | 39 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	3 | 98 | 2
unsat solved:	1 | 59 | 1
sat solved:	2 | 39 | 1

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	7 | 94 | 8
unsat solved:	2 | 58 | 6
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	9 | 92 | 8
unsat solved:	3 | 57 | 5
sat solved:	6 | 35 | 3

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	7 | 94 | 7
unsat solved:	2 | 58 | 5
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	7 | 94 | 6
unsat solved:	2 | 58 | 4
sat solved:	5 | 36 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	10 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	10 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-BDAC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 100 | 11
unsat solved:	0 | 60 | 5
sat solved:	1 | 40 | 6

num-rounds-6-120sec-BDAC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 99 | 9
unsat solved:	0 | 60 | 4
sat solved:	2 | 39 | 5

num-rounds-6-120sec-BDAC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 99 | 9
unsat solved:	0 | 60 | 4
sat solved:	2 | 39 | 5

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CABD (format "< | = | >"):
all solved:	2 | 97 | 2
unsat solved:	2 | 58 | 0
sat solved:	0 | 39 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	1 | 98 | 1
unsat solved:	1 | 59 | 0
sat solved:	0 | 39 | 1

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	2 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	0 | 39 | 1

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	2 | 97 | 1
unsat solved:	2 | 58 | 0
sat solved:	0 | 39 | 1

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	1 | 98 | 2
unsat solved:	1 | 59 | 0
sat solved:	0 | 39 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	1 | 98 | 2
unsat solved:	1 | 59 | 1
sat solved:	0 | 39 | 1

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	5 | 94 | 8
unsat solved:	2 | 58 | 6
sat solved:	3 | 36 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	7 | 92 | 8
unsat solved:	3 | 57 | 5
sat solved:	4 | 35 | 3

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	5 | 94 | 7
unsat solved:	2 | 58 | 5
sat solved:	3 | 36 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	5 | 94 | 6
unsat solved:	2 | 58 | 4
sat solved:	3 | 36 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	4 | 35 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	4 | 35 | 2

num-rounds-6-120sec-BDCA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 99 | 12
unsat solved:	0 | 60 | 5
sat solved:	0 | 39 | 7

num-rounds-6-120sec-BDCA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 60 | 4
sat solved:	0 | 39 | 5

num-rounds-6-120sec-BDCA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 60 | 4
sat solved:	0 | 39 | 5

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-CADB (format "< | = | >"):
all solved:	1 | 98 | 1
unsat solved:	0 | 58 | 1
sat solved:	1 | 40 | 0

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	1 | 98 | 0
unsat solved:	0 | 58 | 0
sat solved:	1 | 40 | 0

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	1 | 98 | 0
unsat solved:	0 | 58 | 0
sat solved:	1 | 40 | 0

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 99 | 1
unsat solved:	0 | 58 | 1
sat solved:	0 | 41 | 0

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	1 | 98 | 2
unsat solved:	0 | 58 | 2
sat solved:	1 | 40 | 0

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	4 | 95 | 7
unsat solved:	0 | 58 | 6
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	6 | 93 | 7
unsat solved:	1 | 57 | 5
sat solved:	5 | 36 | 2

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	4 | 95 | 6
unsat solved:	0 | 58 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	4 | 95 | 5
unsat solved:	0 | 58 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-CABD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 99 | 12
unsat solved:	0 | 58 | 7
sat solved:	0 | 41 | 5

num-rounds-6-120sec-CABD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 58 | 6
sat solved:	0 | 41 | 3

num-rounds-6-120sec-CABD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 58 | 6
sat solved:	0 | 41 | 3

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-CBAD (format "< | = | >"):
all solved:	1 | 98 | 0
unsat solved:	1 | 58 | 0
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	1 | 98 | 0
unsat solved:	1 | 58 | 0
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 99 | 1
unsat solved:	0 | 59 | 0
sat solved:	0 | 40 | 1

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 99 | 1
unsat solved:	0 | 59 | 1
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	5 | 94 | 8
unsat solved:	1 | 58 | 6
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	7 | 92 | 8
unsat solved:	2 | 57 | 5
sat solved:	5 | 35 | 3

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	5 | 94 | 7
unsat solved:	1 | 58 | 5
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	5 | 94 | 6
unsat solved:	1 | 58 | 4
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	3 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	8 | 91 | 5
unsat solved:	3 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CADB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 99 | 12
unsat solved:	0 | 59 | 6
sat solved:	0 | 40 | 6

num-rounds-6-120sec-CADB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 59 | 5
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CADB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 99 | 9
unsat solved:	0 | 59 | 5
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-CBDA (format "< | = | >"):
all solved:	0 | 98 | 0
unsat solved:	0 | 58 | 0
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 98 | 2
unsat solved:	0 | 58 | 1
sat solved:	0 | 40 | 1

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 98 | 2
unsat solved:	0 | 58 | 2
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	4 | 94 | 8
unsat solved:	0 | 58 | 6
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	6 | 92 | 8
unsat solved:	1 | 57 | 5
sat solved:	5 | 35 | 3

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	4 | 94 | 7
unsat solved:	0 | 58 | 5
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	4 | 94 | 6
unsat solved:	0 | 58 | 4
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	7 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	7 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CBAD vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 98 | 13
unsat solved:	0 | 58 | 7
sat solved:	0 | 40 | 6

num-rounds-6-120sec-CBAD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 98 | 10
unsat solved:	0 | 58 | 6
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CBAD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 98 | 10
unsat solved:	0 | 58 | 6
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-CDAB (format "< | = | >"):
all solved:	0 | 98 | 2
unsat solved:	0 | 58 | 1
sat solved:	0 | 40 | 1

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	0 | 98 | 2
unsat solved:	0 | 58 | 2
sat solved:	0 | 40 | 0

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	4 | 94 | 8
unsat solved:	0 | 58 | 6
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	6 | 92 | 8
unsat solved:	1 | 57 | 5
sat solved:	5 | 35 | 3

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	4 | 94 | 7
unsat solved:	0 | 58 | 5
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	4 | 94 | 6
unsat solved:	0 | 58 | 4
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	7 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	7 | 91 | 5
unsat solved:	2 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CBDA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 98 | 13
unsat solved:	0 | 58 | 7
sat solved:	0 | 40 | 6

num-rounds-6-120sec-CBDA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 98 | 10
unsat solved:	0 | 58 | 6
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CBDA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 98 | 10
unsat solved:	0 | 58 | 6
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-CDBA (format "< | = | >"):
all solved:	1 | 99 | 1
unsat solved:	0 | 59 | 1
sat solved:	1 | 40 | 0

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	5 | 95 | 7
unsat solved:	1 | 58 | 6
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	7 | 93 | 7
unsat solved:	2 | 57 | 5
sat solved:	5 | 36 | 2

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	5 | 95 | 6
unsat solved:	1 | 58 | 5
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	5 | 95 | 5
unsat solved:	1 | 58 | 4
sat solved:	4 | 37 | 1

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	9 | 91 | 5
unsat solved:	3 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	9 | 91 | 5
unsat solved:	3 | 56 | 3
sat solved:	6 | 35 | 2

num-rounds-6-120sec-CDAB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 100 | 11
unsat solved:	0 | 59 | 6
sat solved:	0 | 41 | 5

num-rounds-6-120sec-CDAB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 100 | 8
unsat solved:	0 | 59 | 5
sat solved:	0 | 41 | 3

num-rounds-6-120sec-CDAB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 100 | 8
unsat solved:	0 | 59 | 5
sat solved:	0 | 41 | 3

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DABC (format "< | = | >"):
all solved:	6 | 94 | 8
unsat solved:	2 | 58 | 6
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	8 | 92 | 8
unsat solved:	3 | 57 | 5
sat solved:	5 | 35 | 3

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	6 | 94 | 7
unsat solved:	2 | 58 | 5
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	6 | 94 | 6
unsat solved:	2 | 58 | 4
sat solved:	4 | 36 | 2

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	9 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	9 | 91 | 5
unsat solved:	4 | 56 | 3
sat solved:	5 | 35 | 2

num-rounds-6-120sec-CDBA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 99 | 12
unsat solved:	1 | 59 | 6
sat solved:	0 | 40 | 6

num-rounds-6-120sec-CDBA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 99 | 9
unsat solved:	1 | 59 | 5
sat solved:	0 | 40 | 4

num-rounds-6-120sec-CDBA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	1 | 99 | 9
unsat solved:	1 | 59 | 5
sat solved:	0 | 40 | 4

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-DACB (format "< | = | >"):
all solved:	4 | 98 | 2
unsat solved:	2 | 62 | 0
sat solved:	2 | 36 | 2

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	1 | 101 | 0
unsat solved:	1 | 63 | 0
sat solved:	0 | 38 | 0

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	2 | 100 | 0
unsat solved:	2 | 62 | 0
sat solved:	0 | 38 | 0

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	8 | 94 | 2
unsat solved:	5 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	8 | 94 | 2
unsat solved:	5 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DABC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	2 | 100 | 11
unsat solved:	2 | 62 | 3
sat solved:	0 | 38 | 8

num-rounds-6-120sec-DABC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 98 | 10
unsat solved:	4 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DABC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 98 | 10
unsat solved:	4 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DACB vs. num-rounds-6-120sec-DBAC (format "< | = | >"):
all solved:	3 | 97 | 4
unsat solved:	1 | 61 | 2
sat solved:	2 | 36 | 2

num-rounds-6-120sec-DACB vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	4 | 96 | 4
unsat solved:	2 | 60 | 2
sat solved:	2 | 36 | 2

num-rounds-6-120sec-DACB vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	4 | 96 | 0
unsat solved:	3 | 59 | 0
sat solved:	1 | 37 | 0

num-rounds-6-120sec-DACB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	4 | 96 | 0
unsat solved:	3 | 59 | 0
sat solved:	1 | 37 | 0

num-rounds-6-120sec-DACB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	3 | 97 | 14
unsat solved:	2 | 60 | 5
sat solved:	1 | 37 | 9

num-rounds-6-120sec-DACB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 96 | 12
unsat solved:	3 | 59 | 5
sat solved:	1 | 37 | 7

num-rounds-6-120sec-DACB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 96 | 12
unsat solved:	3 | 59 | 5
sat solved:	1 | 37 | 7

num-rounds-6-120sec-DBAC vs. num-rounds-6-120sec-DBCA (format "< | = | >"):
all solved:	1 | 100 | 0
unsat solved:	1 | 62 | 0
sat solved:	0 | 38 | 0

num-rounds-6-120sec-DBAC vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	7 | 94 | 2
unsat solved:	4 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DBAC vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	7 | 94 | 2
unsat solved:	4 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DBAC vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 100 | 11
unsat solved:	1 | 62 | 3
sat solved:	0 | 38 | 8

num-rounds-6-120sec-DBAC vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	3 | 98 | 10
unsat solved:	3 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DBAC vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	3 | 98 | 10
unsat solved:	3 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DBCA vs. num-rounds-6-120sec-DCAB (format "< | = | >"):
all solved:	6 | 94 | 2
unsat solved:	3 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DBCA vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	6 | 94 | 2
unsat solved:	3 | 59 | 0
sat solved:	3 | 35 | 2

num-rounds-6-120sec-DBCA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	0 | 100 | 11
unsat solved:	0 | 62 | 3
sat solved:	0 | 38 | 8

num-rounds-6-120sec-DBCA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 98 | 10
unsat solved:	2 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DBCA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 98 | 10
unsat solved:	2 | 60 | 4
sat solved:	0 | 38 | 6

num-rounds-6-120sec-DCAB vs. num-rounds-6-120sec-DCBA (format "< | = | >"):
all solved:	0 | 96 | 0
unsat solved:	0 | 59 | 0
sat solved:	0 | 37 | 0

num-rounds-6-120sec-DCAB vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 95 | 16
unsat solved:	0 | 59 | 6
sat solved:	1 | 36 | 10

num-rounds-6-120sec-DCAB vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 94 | 14
unsat solved:	1 | 58 | 6
sat solved:	1 | 36 | 8

num-rounds-6-120sec-DCAB vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 94 | 14
unsat solved:	1 | 58 | 6
sat solved:	1 | 36 | 8

num-rounds-6-120sec-DCBA vs. num-rounds-6-120sec-AABBCCDD (format "< | = | >"):
all solved:	1 | 95 | 16
unsat solved:	0 | 59 | 6
sat solved:	1 | 36 | 10

num-rounds-6-120sec-DCBA vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 94 | 14
unsat solved:	1 | 58 | 6
sat solved:	1 | 36 | 8

num-rounds-6-120sec-DCBA vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	2 | 94 | 14
unsat solved:	1 | 58 | 6
sat solved:	1 | 36 | 8

num-rounds-6-120sec-AABBCCDD vs. num-rounds-12-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 107 | 1
unsat solved:	2 | 63 | 1
sat solved:	2 | 44 | 0

num-rounds-6-120sec-AABBCCDD vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	4 | 107 | 1
unsat solved:	2 | 63 | 1
sat solved:	2 | 44 | 0

num-rounds-12-120sec-ABCD-completion vs. num-rounds-24-120sec-ABCD-completion (format "< | = | >"):
all solved:	0 | 108 | 0
unsat solved:	0 | 64 | 0
sat solved:	0 | 44 | 0