Problem evader-pursuer_gq.ts evader-pursuer_gqc.ts evader-pursuer_nq72.ts evader-pursuer_quantor.ts evader-pursuer_rareqsuuh3pb.ts evader-pursuer_znenofex.ts
ev-pr-4x4-11-3-0-0-1-lg.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
155 (153+2) 0 (0+0)
s cnf 1 (s cnf 1)
33 (31+2)
ev-pr-4x4-13-3-0-0-1-lg.qdimacs.gz 20 (19+0)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
234 (232+2) 0 (0+0)
s cnf 1 (s cnf 1)
91 (89+2)
ev-pr-4x4-15-3-0-0-1-lg.qdimacs.gz 12 (12+0)
s cnf 1 (s cnf 1)
13 (12+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
169 (168+2) 0 (0+0)
s cnf 1 (s cnf 1)
37 (35+2)
ev-pr-4x4-17-3-0-0-1-lg.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
197 (195+2) 1 (1+0)
s cnf 1 (s cnf 1)
48 (46+2)
ev-pr-4x4-5-3-0-0-1-lg.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 104 5158)
ev-pr-4x4-7-3-0-0-1-lg.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
136 (135+1) 0 (0+0)
s cnf 1 (s cnf 1)
17 (15+2)
ev-pr-4x4-9-3-0-0-1-lg.qdimacs.gz 20 (19+0)
s cnf 1 (s cnf 1)
180 (180+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
168 (166+2) 0 (0+0)
s cnf 1 (s cnf 1)
30 (29+2)
ev-pr-8x8-11-7-0-1-2-lg.qdimacs.gz 391 (389+2)
s cnf 0 (s cnf 0)
800 (799+1) 204 (200+4)
s cnf 0 (s cnf 0)
148 (146+2) 800 (793+7) 17 (15+2)
ev-pr-8x8-13-7-0-1-2-lg.qdimacs.gz 428 (425+2) 588 (586+2) 233 (230+3) 150 (148+2) 800 (793+7) 17 (15+2)
ev-pr-8x8-15-7-0-1-2-lg.qdimacs.gz 404 (403+2) 712 (710+2) 179 (177+2) 157 (155+2) 800 (794+6) 21 (19+2)
ev-pr-8x8-17-7-0-1-2-lg.qdimacs.gz 435 (433+2) 800 (798+2) 156 (153+2) 83 (81+2) 800 (796+4) 17 (15+2)
ev-pr-8x8-19-7-0-1-2-lg.qdimacs.gz 416 (414+2) 800 (798+2) 176 (173+3) 80 (78+2) 800 (795+5) 18 (16+2)
ev-pr-8x8-5-7-0-1-2-lg.qdimacs.gz 12 (12+0)
s cnf 0 (s cnf 0)
14 (14+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
92 (91+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
408 (406+2)
s cnf 0 (s cnf 0 549 4507)
ev-pr-8x8-7-7-0-1-2-lg.qdimacs.gz 81 (80+1)
s cnf 0 (s cnf 0)
635 (633+2) 0 (0+0)
s cnf 0 (s cnf 0)
435 (433+2) 10 (10+0)
s cnf 0 (s cnf 0)
13 (11+2)
ev-pr-8x8-9-7-0-1-2-lg.qdimacs.gz 186 (185+1)
s cnf 0 (s cnf 0)
800 (798+2) 22 (22+0)
s cnf 0 (s cnf 0)
282 (280+2) 87 (86+1)
s cnf 0 (s cnf 0)
25 (23+2)
TOTAL solved: 11
wins: 0
solved: 8
wins: 0
solved: 11
wins: 11
solved: 2
wins: 1
solved: 10
wins: 7
solved: 2
wins: 0
evader-pursuer_gq.ts evader-pursuer_gqc.ts evader-pursuer_nq72.ts evader-pursuer_quantor.ts evader-pursuer_rareqsuuh3pb.ts evader-pursuer_znenofex.ts