Problem fpu_gq.ts fpu_gqc.ts fpu_nq72.ts fpu_quantor.ts fpu_rareqsuuh3pb.ts fpu_znenofex.ts
fpu-01Xh-error02-nonuniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 0 (0+0)
s cnf 1 (s cnf 1)
18 (11+7)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
19 (17+1)
s cnf 1 (s cnf 1 20776 172293)
fpu-01Xh-error02-uniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 0 (0+0)
s cnf 1 (s cnf 1)
18 (11+6)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
12 (11+1)
s cnf 1 (s cnf 1 14650 147428)
fpu-10Xe-correct01-nonuniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 5 (5+0)
s cnf 1 (s cnf 1)
2 (1+1)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1 21041 173900)
fpu-10Xe-correct01-uniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 459 (458+1)
s cnf 1 (s cnf 1)
2 (1+1)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1 14674 147849)
fpu-10Xh-error01-nonuniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 0 (0+0)
s cnf 1 (s cnf 1)
17 (10+7)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
18 (17+1)
s cnf 1 (s cnf 1 21159 173974)
fpu-10Xh-error01-uniform-depth-27.qdimacs.gz 800 (798+2) 800 (798+2) 0 (0+0)
s cnf 1 (s cnf 1)
16 (10+6)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+1)
s cnf 1 (s cnf 1 15008 151141)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 6
wins: 4
solved: 6
wins: 0
solved: 6
wins: 6
solved: 6
wins: 0
fpu_gq.ts fpu_gqc.ts fpu_nq72.ts fpu_quantor.ts fpu_rareqsuuh3pb.ts fpu_znenofex.ts