Stats for formula: Happy-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 Happy-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Happy-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:	Happy-1
Rank of generator:	85 / 114
Average score:	1.06
Median score:	0.01
Best solver:	KingBach
Description:	Generates random CNF formulas representing table arrangements for 5 people, with pairs of people who want to be next to each other and pairs who don't.

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

SatSolvers Ranklist

Generators Ranklist