Stats for formula: Blam-0

How to interpret the values

Each satsolver was run against each test case. Two cnf formulas were generated from each submitted generator to form the set of generators. For each run, a number of seconds were charged to the program based on the criteria described on the assignments webpage; this was the score for that run. If the program crashed or went into a loop, 150 seconds were charged. The two formulas generated by a generator are denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time each satsolver took for cnf Blam-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Blam-0 or terminated with an exception. Some important stats are summarized at the start.The ranking scheme is described on the Generators Ranklist page. Click on the name of a satsolver to see details of that satsolver.

Summary

Cnf:	Blam-0
Rank of generator:	79 / 114
Average score:	2.41
Median score:	0.02
Best solver:	Elphaba
Description:	This creates a cnf that asks if there is a path between a graph'sfirst and last nodes. (Note: This is really any two nodes with reindexing). The cnf includes all of the nodes and edges and determines if there is a pathbetween node 0 and node n if and only if (there is an edge between 0 and n) or if((nodes 0 and n are connected) and (there is an edge between x and n))

	Solver	Time taken	Unsat
1	Elphaba	0.00	0
2	haoyu	0.00	0
3	KingBach	0.00	0
4	jabreezy	0.00	0
5	Mercury	0.00	0
6	Glenn Fisher	0.01	0
7	Charlie Shucheng Zhu	0.01	0
8	EC	0.01	0
9	ModifiedWalkSatBreakZero	0.01	0
10	Yan Wu	0.01	0
11	Matt Haake	0.01	0
12	Walter Little	0.01	0
13	Jonathan Kwok	0.01	0
14	spl	0.01	0
15	burrito	0.01	0
16	Andys	0.01	0
17	Mr. Blobby	0.01	0
18	Jameh	0.01	0
19	Green "The Bean" Choi	0.01	0
20	Joshua Zimmer	0.01	0
21	HashTagAlreadyFallBreak	0.01	0
22	Anon5	0.01	0
23	Keji Xu	0.01	0
24	Deric Cheng	0.01	0
25	Ben Chen	0.01	0
26	snowflakes	0.01	0
27	Andrew Werner	0.01	0
28	NA	0.01	0
29	dusty	0.01	0
30	Sunny	0.01	0
31	jgs	0.01	0
32	Nihar the Great	0.01	0
33	John Whelchel	0.01	0
34	Yacob Y.	0.01	0
35	bigwig	0.01	0
36	Quite Satisfied	0.01	0
37	Shaheed Chagani	0.01	0
38	David H.	0.01	0
39	Matt Goldsmith	0.01	0
40	Aaron H	0.01	0
41	R. A. B.	0.01	0
42	Khoa	0.01	0
43	Mark Fillmore	0.01	0
44	An Extremely Ordinary Sloth	0.01	0
45	Linda	0.01	0
46	Janie Gu	0.02	0
47	Blam	0.02	0
48	Andrew Grasso	0.02	0
49	Solving For Clauses	0.02	0
50	Lisa Kim	0.02	0
51	Mike Hawk	0.02	0
52	AFC	0.02	0
53	kt4124	0.02	0
54	George Okeowo	0.02	0
55	Sabar Dasgupta	0.02	0
56	CAPS LOCK	0.02	0
57	Tree Prophet	0.02	0
58	dfshasdsf12	0.02	0
59	vhsiao	0.03	0
60	bfang	0.03	0
61	DeeEmEm	0.03	0
62	BH	0.03	0
63	Nikhilesh Sigatapu	0.03	0
64	Alex Fish	0.03	0
65	Fanny	0.03	0
66	0108	0.04	0
67	Absurdity	0.04	0
68	Sally Smith	0.04	0
69	bchouSolver	0.05	0
70	CookieMonster	0.05	0
71	Dr Roberto	0.05	0
72	Jordan Ash	0.06	0
73	Aaron Doll	0.06	0
74	Joel Faron	0.07	0
75	Sprt	0.07	0
76	Mike Honcho	0.07	0
77	Valya Barboy	0.07	0
78	Tao	0.07	0
79	David Lackey	0.07	0
80	Jessie Chen	0.08	0
81	The Whitman Whale	0.08	0
82	weezy	0.09	0
83	Ytterbium	0.09	0
84	Aristotle	0.09	0
85	Qinlan Shen	0.10	0
86	cjt	0.12	0
87	Gewang	0.13	0
88	Brendan Wright	0.13	0
89	cmF5a3ly	0.13	0
90	Tom T	0.20	0
91	David Paulk	0.44	0
92	Tiny Wings	0.66	0
93	13a	1.01	0
94	Anon_K_P	2.60	0
95	Mickey Mouse	4.31	0
96	Samuel Jerome	6.00	0
97	Ravi Tandon	14.48	0
98	Boomshanka	15.00	5
99	RedOrangeBlue	14.99	15
100	cat	14.99	24
101	Supahaka	0.03	28
102	The Kraken	15.00	46
103	BMJ	15.00	64
104	Cam Porter	15.00	69
105	K.L.	15.00	100
106	SuperFan	15.00	1
107	Bob Dondero	15.00	1
108	Happy	15.00	3
109	LilThug	15.00	3
110	Bebe Shi	15.00	5
111	Miranda	15.00	14
112	TSATTER	15.00	84
113	Sat Solver 2013	15.11	60
114	T. Capote	-	-
115	soccer	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist