Stats for formula: Samuel Jerome-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 Samuel Jerome-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Samuel Jerome-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:	Samuel Jerome-0
Rank of generator:	49 / 114
Average score:	5.42
Median score:	0.61
Best solver:	haoyu
Description:	This is the dinner party problem, as per the assignment spec. The host and hostess sit at the front of the table, and the rest of the people sit around in a circle. Some dislike each other and cannot sit together with probability .1, and some love each other and must sit together with probability .03

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

SatSolvers Ranklist

Generators Ranklist