Stats for formula: BMJ-1

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

SatSolvers Ranklist

Generators Ranklist