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

SatSolvers Ranklist

Generators Ranklist