Problem tipfixpoint_sample_gq.ts tipfixpoint_sample_gqc.ts tipfixpoint_sample_nq72.ts tipfixpoint_sample_quantor.ts tipfixpoint_sample_rareqsuuh3pb.ts tipfixpoint_sample_znenofex.ts
cmu.dme2.B-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (797+3) 452 (450+3)
cmu.periodic.N-f4.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (790+10) 327 (325+2)
eijk.S1196.S-f2.qdimacs.gz 494 (494+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (800+0) 18 (16+2) 800 (797+3) 144 (141+2)
eijk.S1238.S-f3.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (800+0) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
175 (173+2)
eijk.S1238.S-f4.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
800 (800+0) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
189 (186+2)
eijk.S1423.S-f4.qdimacs.gz 800 (799+1) 24 (24+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (796+4) 377 (374+2)
eijk.S208.S-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (800+0) 21 (19+2) 800 (794+6) 221 (219+2)
eijk.S208.S-f4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (800+1) 16 (14+2) 800 (796+4) 160 (158+2)
eijk.S208c.S-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 20 (18+2) 800 (793+7) 132 (130+2)
eijk.S208o.S-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 27 (25+2) 800 (796+4) 104 (102+2)
eijk.S208o.S-f3.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
19 (19+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (16+2) 800 (797+3) 141 (139+2)
eijk.S208o.S-f4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (800+0) 21 (19+2) 800 (796+4) 151 (149+2)
eijk.S298.S-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
281 (281+0)
s cnf 1 (s cnf 1)
14 (12+2) 3 (3+0)
s cnf 1 (s cnf 1)
99 (97+2)
eijk.S298.S-f4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (797+3) 115 (113+2)
eijk.S344.S-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (10+2) 800 (796+4) 190 (188+2)
eijk.S344.S-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (797+3) 179 (177+2)
eijk.S349.S-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (798+2) 96 (95+2)
eijk.S382.S-f4.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 30 (28+2) 800 (797+3) 248 (246+2)
eijk.S386.S-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 800 (800+0) 15 (14+2) 800 (796+4) 171 (168+2)
eijk.S386.S-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
43 (43+0)
s cnf 1 (s cnf 1)
800 (800+0) 24 (22+2) 800 (795+5) 215 (212+3)
eijk.S420.S-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (797+3) 184 (182+3)
eijk.S444.S-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (11+2) 800 (795+5) 149 (147+2)
eijk.S444.S-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 14 (12+2) 800 (797+3) 179 (177+2)
eijk.S510.S-f4.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (795+5) 199 (196+2)
eijk.S526.S-f2.qdimacs.gz 1 (0+0)
s cnf 1 (s cnf 1)
1 (0+0)
s cnf 1 (s cnf 1)
800 (800+0) 14 (12+2) 800 (794+6) 218 (216+2)
eijk.S526.S-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+1) 13 (12+2) 800 (797+3) 156 (154+2)
eijk.S5378.S-f2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (798+2) 14 (12+2) 800 (796+4) 602 (600+2)
eijk.S641.S-f4.qdimacs.gz 800 (800+0) 800 (800+1) 800 (800+0) 13 (11+2) 800 (797+3) 160 (158+2)
eijk.S713.S-f3.qdimacs.gz 800 (800+0) 800 (800+1) 800 (799+1) 13 (11+2) 800 (797+3) 154 (152+2)
eijk.S713.S-f4.qdimacs.gz 800 (800+0) 800 (800+1) 800 (799+1) 12 (10+2) 800 (796+4) 164 (162+3)
eijk.S820.S-f4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 13 (11+2) 800 (797+3) 187 (184+3)
eijk.S832.S-f3.qdimacs.gz 36 (35+0)
s cnf 1 (s cnf 1)
32 (32+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (796+4) 199 (196+2)
eijk.S838.S-f4.qdimacs.gz 48 (48+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (797+3) 296 (294+2)
eijk.S953.S-f4.qdimacs.gz 800 (800+1) 800 (799+1) 800 (799+1) 13 (12+2) 800 (797+3) 240 (237+3)
eijk.bs1512.S-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 800 (797+3) 331 (328+2)
eijk.bs3330.S-f3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (798+2) 14 (12+2) 715 (708+8) 324 (322+2)
eijk.bs4863.S-f3.qdimacs.gz 800 (798+2) 800 (799+1) 800 (798+2) 13 (11+2) 800 (797+3) 662 (659+2)
eijk.bs6669.S-f2.qdimacs.gz 800 (799+1) 800 (799+1) 768 (766+2) 12 (11+2) 671 (668+3) 579 (577+2)
eijk.bs6669.S-f3.qdimacs.gz 800 (799+1) 800 (799+1) 703 (701+2) 12 (10+2) 417 (414+4) 469 (467+2)
irst.dme4.B-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (795+5) 520 (517+2)
irst.dme5.B-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (794+6) 689 (687+2)
irst.dme6.B-f2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (793+7) 675 (673+2)
ken.flash^02.C-f4.qdimacs.gz 257 (257+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 16 (14+2) 800 (794+6) 186 (183+2)
ken.flash^06.C-f3.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
481 (479+2)
ken.flash^06.C-f4.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
313 (310+3)
ken.flash^07.C-f2.qdimacs.gz 800 (800+0) 800 (800+1) 800 (800+0) 13 (11+2) 800 (796+4) 144 (142+2)
ken.flash^07.C-f3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (799+1) 13 (11+2) 800 (791+9) 230 (228+2)
ken.flash^07.C-f4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 13 (11+2) 800 (788+12) 283 (280+2)
ken.flash^08.C-f4.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
11 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
257 (254+2)
ken.flash^09.C-f2.qdimacs.gz 11 (10+0)
s cnf 0 (s cnf 0)
11 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
11 (9+2) 0 (0+0)
s cnf 0 (s cnf 0)
291 (289+2)
ken.oop^2.C-f4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 11 (8+2) 800 (796+4) 367 (365+2)
nusmv.brp.B-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 63 (61+2) 800 (796+4) 214 (212+2)
nusmv.brp.B-f4.qdimacs.gz 14 (14+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 20 (18+2) 800 (794+6) 177 (175+2)
nusmv.dme1-16.B-f3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 14 (12+2) 595 (583+12) 387 (385+2)
nusmv.dme1-16.B-f4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (798+2) 15 (13+2) 539 (533+5) 398 (396+2)
nusmv.dme2-16.B-f4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (798+2) 15 (13+2) 800 (794+6) 758 (755+2)
nusmv.guidance^1.C-f4.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
800 (798+2) 13 (10+2) 535 (528+6) 258 (255+2)
nusmv.guidance^2.C-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 542 (535+7) 230 (228+2)
nusmv.guidance^3.C-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 798 (787+11) 341 (339+2)
nusmv.guidance^4.C-f2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (792+8) 279 (276+3)
nusmv.guidance^4.C-f3.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (791+9) 280 (278+2)
nusmv.guidance^4.C-f4.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 800 (792+8) 387 (384+3)
nusmv.guidance^5.C-f3.qdimacs.gz 6 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (791+10) 275 (272+2)
nusmv.guidance^6.C-f2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (794+6) 168 (166+2)
nusmv.guidance^6.C-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (791+9) 292 (290+3)
nusmv.guidance^9.C-f2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 601 (596+5) 287 (284+2)
nusmv.queue.B-f4.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 184 (183+1) 246 (244+2)
nusmv.reactor^2.C-f2.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 800 (792+8) 211 (209+2)
nusmv.reactor^2.C-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
3 (2+0)
s cnf 1 (s cnf 1)
800 (799+2) 11 (9+2) 800 (793+7) 284 (281+2)
nusmv.reactor^4.C-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 800 (796+4) 275 (272+2)
nusmv.reactor^6.C-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
3 (2+0)
s cnf 1 (s cnf 1)
800 (798+2) 11 (9+2) 674 (667+7) 320 (318+3)
nusmv.reactor^6.C-f4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (798+2) 11 (9+2) 658 (653+5) 315 (313+2)
nusmv.reactor^7.C-f4.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 800 (795+5) 272 (270+2)
nusmv.syncarb10^2.B-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 16 (14+2) 0 (0+0)
s cnf 1 (s cnf 1)
177 (175+2)
nusmv.syncarb10^2.B-f4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 640 (636+5) 167 (165+2)
nusmv.syncarb5^2.B-f4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
108 (106+2) 5 (5+0)
s cnf 1 (s cnf 1)
291 (290+2)
nusmv.tcas-t^1.B-f3.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 350 (347+3) 419 (417+2)
nusmv.tcas-t^2.B-f2.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (795+5) 297 (296+2)
nusmv.tcas-t^4.B-f3.qdimacs.gz 8 (8+0)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (796+4) 553 (550+3)
nusmv.tcas-t^5.B-f4.qdimacs.gz 14 (13+1)
s cnf 1 (s cnf 1)
13 (12+1)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 732 (727+5) 514 (512+2)
nusmv.tcas-t^6.B-f2.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)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 93 523)
nusmv.tcas^1.B-f3.qdimacs.gz 8 (8+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
800 (798+2) 14 (12+2) 680 (673+7) 542 (540+2)
nusmv.tcas^1.B-f4.qdimacs.gz 14 (14+1)
s cnf 1 (s cnf 1)
12 (12+1)
s cnf 1 (s cnf 1)
561 (559+2) 14 (12+2) 800 (795+5) 403 (401+2)
nusmv.tcas^2.B-f4.qdimacs.gz 12 (12+1)
s cnf 1 (s cnf 1)
12 (12+1)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 800 (793+7) 351 (349+2)
nusmv.tcas^3.B-f2.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (796+4) 352 (350+2)
nusmv.tcas^3.B-f3.qdimacs.gz 10 (10+0)
s cnf 1 (s cnf 1)
158 (158+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (792+8) 373 (370+2)
nusmv.tcas^3.B-f4.qdimacs.gz 18 (17+1)
s cnf 1 (s cnf 1)
51 (51+1)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 800 (795+5) 335 (333+2)
nusmv.tcas^4.B-f3.qdimacs.gz 7 (7+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (794+6) 405 (403+2)
nusmv.tcas^5.B-f2.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (793+7) 422 (420+2)
nusmv.tcas^5.B-f3.qdimacs.gz 8 (7+0)
s cnf 1 (s cnf 1)
8 (7+0)
s cnf 1 (s cnf 1)
630 (628+2) 12 (10+2) 800 (791+9) 389 (387+2)
nusmv.tcas^6.B-f3.qdimacs.gz 8 (7+0)
s cnf 1 (s cnf 1)
8 (7+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (795+5) 354 (352+2)
texas.PI_main^01.E-f2.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 24 64)
texas.PI_main^01.E-f3.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (798+2) 0 (0+0)
s cnf 1 (s cnf 1)
34 (32+2)
texas.PI_main^02.E-f3.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (800+1) 13 (11+2) 800 (797+3) 82 (80+2)
texas.PI_main^02.E-f4.qdimacs.gz 17 (16+1)
s cnf 1 (s cnf 1)
39 (38+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (11+2) 800 (798+3) 115 (113+2)
texas.PI_main^03.E-f4.qdimacs.gz 17 (15+1)
s cnf 1 (s cnf 1)
16 (15+1)
s cnf 1 (s cnf 1)
800 (800+0) 12 (10+2) 800 (796+4) 137 (135+2)
texas.PI_main^10.E-f3.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (800+1) 15 (13+2) 800 (796+4) 105 (104+2)
texas.PI_main^10.E-f4.qdimacs.gz 14 (13+1)
s cnf 1 (s cnf 1)
14 (13+1)
s cnf 1 (s cnf 1)
800 (800+1) 16 (14+2) 800 (797+3) 99 (97+2)
texas.PI_main^11.E-f2.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 16 (14+2) 800 (796+4) 125 (123+2)
texas.PI_main^11.E-f3.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (16+2) 800 (795+5) 369 (367+2)
texas.PI_main^12.E-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
41 (40+2)
texas.PI_main^12.E-f3.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 16 (14+2) 800 (796+4) 148 (147+2)
texas.PI_main^12.E-f4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 15 (13+2) 800 (797+3) 117 (115+2)
texas.PI_main^13.E-f2.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)
14 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
50 (48+2)
texas.PI_main^13.E-f4.qdimacs.gz 15 (14+1)
s cnf 1 (s cnf 1)
16 (15+1)
s cnf 1 (s cnf 1)
800 (799+1) 14 (13+2) 800 (797+3) 89 (87+2)
texas.PI_main^15.E-f2.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
298 (298+0)
s cnf 1 (s cnf 1)
800 (800+0) 15 (13+2) 800 (795+5) 177 (175+2)
texas.ifetch1^5.E-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (16+2) 175 (171+4)
s cnf 1 (s cnf 1)
246 (243+3)
texas.parsesys^1.E-f3.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 16 393)
texas.parsesys^2.E-f3.qdimacs.gz 23 (23+0)
s cnf 0 (s cnf 0)
169 (169+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
9 (8+0)
s cnf 0 (s FALSE)
2 (2+0)
s cnf 0 (s cnf 0)
21 (20+0)
s cnf 0 (s cnf 0 269 3246)
texas.two_proc^1.E-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
106 (104+2)
texas.two_proc^2.E-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (797+3) 182 (180+2)
texas.two_proc^3.E-f4.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (797+3) 139 (137+2)
texas.two_proc^4.E-f3.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (798+2) 150 (148+2)
texas.two_proc^4.E-f4.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
5 (5+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (796+4) 229 (226+3)
texas.two_proc^5.E-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
121 (119+2)
texas.two_proc^6.E-f3.qdimacs.gz 3 (2+0)
s cnf 1 (s cnf 1)
3 (2+0)
s cnf 1 (s cnf 1)
800 (800+0) 15 (13+2) 800 (795+5) 175 (173+2)
vis.4-arbit^1.E-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
800 (799+1) 0 (0+0)
s cnf 1 (s cnf 1)
34 (32+2)
s cnf 1 (s cnf 1 373 5088)
vis.4-arbit^1.E-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
36 (35+0)
s cnf 1 (s cnf 1)
19 (17+2) 121 (120+1)
s cnf 1 (s cnf 1)
101 (99+2)
vis.4-arbit^1.E-f4.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (796+4) 131 (129+3)
vis.arbiter.E-f2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
30 (28+2) 0 (0+0)
s cnf 1 (s cnf 1)
419 (418+2)
vis.arbiter.E-f3.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (800+0) 16 (14+2) 800 (795+5) 122 (120+2)
vis.arbiter.E-f4.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
800 (800+1) 14 (12+2) 800 (796+4) 127 (125+2)
vis.bakery.E-f4.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
800 (800+0) 34 (32+2) 800 (797+3) 171 (169+2)
vis.coherence^1.E-f2.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
31 (29+2) 0 (0+0)
s cnf 1 (s cnf 1)
44 (43+2)
vis.coherence^1.E-f3.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 40 (38+2) 800 (796+4) 304 (302+2)
vis.coherence^1.E-f4.qdimacs.gz 8 (7+1)
s cnf 1 (s cnf 1)
8 (7+1)
s cnf 1 (s cnf 1)
800 (799+1) 16 (14+2) 800 (794+6) 97 (95+2)
vis.coherence^2.E-f2.qdimacs.gz 2 (1+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 83 417)
vis.coherence^3.E-f3.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (800+1) 13 (11+2) 800 (796+4) 235 (233+2)
vis.coherence^3.E-f4.qdimacs.gz 8 (8+1)
s cnf 1 (s cnf 1)
8 (8+1)
s cnf 1 (s cnf 1)
800 (800+1) 16 (14+2) 800 (797+4) 140 (138+3)
vis.coherence^5.E-f2.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)
19 (17+2) 0 (0+0)
s cnf 1 (s cnf 1)
99 (96+2)
vis.elevator^2.E-f3.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (15+2) 800 (797+3) 233 (230+3)
vis.elevator^3.E-f3.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+0) 16 (14+2) 800 (793+7) 226 (223+3)
vis.prodcell^05.E-f3.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (793+7) 162 (159+3)
vis.prodcell^07.E-f3.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+2) 800 (791+9) 142 (140+2)
vis.prodcell^10.E-f4.qdimacs.gz 18 (17+1)
s cnf 1 (s cnf 1)
18 (17+1)
s cnf 1 (s cnf 1)
800 (800+1) 12 (11+2) 800 (795+5) 166 (164+2)
vis.prodcell^12.E-f3.qdimacs.gz 8 (8+1)
s cnf 1 (s cnf 1)
8 (8+1)
s cnf 1 (s cnf 1)
800 (800+0) 14 (12+2) 800 (794+6) 139 (137+2)
vis.prodcell^13.E-f4.qdimacs.gz 24 (23+1)
s cnf 1 (s cnf 1)
24 (23+1)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (796+5) 187 (185+3)
vis.prodcell^14.E-f4.qdimacs.gz 24 (22+1)
s cnf 1 (s cnf 1)
23 (22+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (796+4) 171 (169+3)
vis.prodcell^15.E-f3.qdimacs.gz 8 (7+1)
s cnf 1 (s cnf 1)
8 (7+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (9+2) 800 (796+4) 173 (171+2)
vis.prodcell^16.E-f4.qdimacs.gz 25 (23+1)
s cnf 1 (s cnf 1)
25 (23+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (795+5) 210 (207+3)
vis.prodcell^17.E-f2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
128 (126+2)
vis.prodcell^17.E-f3.qdimacs.gz 8 (8+1)
s cnf 1 (s cnf 1)
8 (7+1)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 800 (795+5) 212 (209+3)
vis.prodcell^18.E-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (795+5) 151 (149+2)
vis.prodcell^18.E-f4.qdimacs.gz 18 (17+1)
s cnf 1 (s cnf 1)
19 (17+1)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 800 (794+6) 124 (122+2)
vis.prodcell^19.E-f2.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (9+2) 800 (795+5) 119 (117+2)
vis.prodcell^19.E-f3.qdimacs.gz 8 (8+1)
s cnf 1 (s cnf 1)
8 (8+1)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 800 (796+4) 149 (147+2)
vis.prodcell^19.E-f4.qdimacs.gz 25 (23+1)
s cnf 1 (s cnf 1)
25 (23+1)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 800 (793+7) 128 (125+2)
vis.prodcell^22.E-f4.qdimacs.gz 19 (18+1)
s cnf 1 (s cnf 1)
19 (17+1)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 800 (795+5) 123 (121+2)
vis.prodcell^23.E-f2.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (800+0) 14 (12+2) 800 (794+6) 143 (141+2)
vis.prodcell^24.E-f3.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (11+2) 800 (796+4) 146 (144+2)
TOTAL solved: 128
wins: 96
solved: 127
wins: 86
solved: 22
wins: 18
solved: 5
wins: 4
solved: 26
wins: 22
solved: 6
wins: 4
tipfixpoint_sample_gq.ts tipfixpoint_sample_gqc.ts tipfixpoint_sample_nq72.ts tipfixpoint_sample_quantor.ts tipfixpoint_sample_rareqsuuh3pb.ts tipfixpoint_sample_znenofex.ts