Stats for formula: BMJ-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 BMJ-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf BMJ-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:	BMJ-0
Rank of generator:	91 / 114
Average score:	1.28
Median score:	0.02
Best solver:	Elphaba
Description:	This generator creates an instance of a logic grid puzzle. There are N people living in N different houses with N different pets, with clues like 'person 1 does not live in house number 2.' CNF formulas are generated by generating a satisfied instance, then extracting limited information from it and adding it that information as new clauses to the problem.

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

SatSolvers Ranklist

Generators Ranklist