First stage

In Tables 1, 2 and 3, letfmost number is the number of solved series (a series is solved if at least one of its instances is solved). Rightmost number (where breaking a tie is necessary) denotes the total number of instances solved.

Table 1: First stage results on Industrial instances

Complete solvers on
Industrial benchmarks
23	zchaff
22	limmat
18	berkmin
15	simo
14	2clseq
12	jquest
11	OKsolver
10	rb2cl, march2[se], modoc
3	blindsat

All solvers on satisfiable
industrial benchmarks
11	zchaff
10	limmat
8	berkmin
7	simo
6	unitwalk	57
6	2clseq	55
6	dlmsat2	54
6	dlmsat1	53
6	rb2cl	50
6	saturn	49
6	OKsolver	47
6	march2	44
6	march2se	43
6	jquest	32
5	usat10/usat05, modoc, dlmsat3
3	blindsat
1	ga

Table 2: First stage results on handmade instances

Complete solvers on handmade benchmarks
20	berkmin, OKsolver
19	2clseq, limmat, zchaff
18	simo
17	march2se
16	jquest
15	rb2cl, march2
14	modoc
2	blindsat

All solvers on satisfiable handmade benchmarks
11	berkmin, OKsolver, unitwalk
10	zchaff	73
10	limmat	65
10	2clseq	63
9	dlmsat2, simo, usat05/10
8	dlmsat3, dlmsat1, jquest, march2se, saturn
7	march2, rb2cl
5	modoc
2	ga, blindsat

Table 3: First stage results on randomly generated instances

Complete solvers on randomly generated benchmarks
34	2clseq, OKsolver
32	march2, march2se
31	rb2cl	616
31	simo	569
31	berkmin	541
30	zchaff
28	limmat, modoc
17	jquest
4	blindsat

All solvers on satisfiable randomly generated benchmarks
23	dlmsat1,dlmsat2,dlmsat3
22	unitwalk
21	OKsolver	261
21	usat10	257
21	saturn	255
21	2clseq	228
20	march2[se], rb2cl, simo, usat05
19	berkmin
18	modoc, zchaff
16	limmat
9	jquest
5	ga
4	blindsat