Stats for formula: Samuel Jerome-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 Samuel Jerome-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Samuel Jerome-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:	Samuel Jerome-1
Rank of generator:	49 / 114
Average score:	6.39
Median score:	1.07
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	Bar Shabtai	0.04	0
3	Aristotle	0.07	0
4	HashTagAlreadyFallBreak	0.08	0
5	Aaron Doll	0.10	0
6	dusty	0.10	0
7	Glenn Fisher	0.11	0
8	Charlie Shucheng Zhu	0.11	0
9	Mike Hawk	0.11	0
10	spl	0.12	0
11	Andrew Werner	0.14	0
12	ModifiedWalkSatBreakZero	0.15	0
13	Shaheed Chagani	0.15	0
14	Yan Wu	0.17	0
15	Matt Haake	0.17	0
16	EC	0.17	0
17	Quite Satisfied	0.17	0
18	David H.	0.20	0
19	Sunny	0.21	0
20	dfshasdsf12	0.22	0
21	Mr. Blobby	0.23	0
22	Jonathan Kwok	0.23	0
23	Andys	0.24	0
24	CookieMonster	0.24	0
25	Samuel Jerome	0.25	0
26	Absurdity	0.26	0
27	Mike Honcho	0.27	0
28	Sabar Dasgupta	0.29	0
29	Yacob Y.	0.30	0
30	Matt Goldsmith	0.31	0
31	Sprt	0.31	0
32	Tao	0.32	0
33	Janie Gu	0.35	0
34	BH	0.35	0
35	Ben Chen	0.35	0
36	Tree Prophet	0.35	0
37	NA	0.36	0
38	Deric Cheng	0.39	0
39	Fanny	0.40	0
40	jgs	0.40	0
41	snowflakes	0.41	0
42	Andrew Grasso	0.42	0
43	Anon5	0.43	0
44	John Whelchel	0.44	0
45	Aaron H	0.49	0
46	Dr Roberto	0.50	0
47	KingBach	0.58	0
48	0108	0.58	0
49	Joshua Zimmer	0.59	0
50	Lisa Kim	0.66	0
51	Valya Barboy	0.67	0
52	Walter Little	0.69	0
53	vhsiao	0.70	0
54	Joel Faron	0.75	0
55	AFC	0.89	0
56	The Whitman Whale	1.01	0
57	ebp	1.07	0
58	DeeEmEm	1.17	0
59	An Extremely Ordinary Sloth	1.19	0
60	13a	1.68	0
61	Brendan Wright	1.87	0
62	burrito	2.09	0
63	Keji Xu	2.86	0
64	Mercury	2.88	0
65	Tom T	3.45	0
66	Ytterbium	3.61	0
67	Green "The Bean" Choi	3.86	0
68	bigwig	5.26	0
69	Alex Fish	7.20	0
70	David Lackey	12.41	0
71	Tiny Wings	14.66	0
72	CAPS LOCK	13.00	4
73	bfang	15.00	4
74	R. A. B.	9.00	5
75	bchouSolver	15.00	14
76	Nikhilesh Sigatapu	15.00	19
77	T. Capote	15.00	23
78	soccer	15.00	27
79	Elphaba	0.04	37
80	George Okeowo	0.32	40
81	RedOrangeBlue	14.99	236
82	BMJ	15.00	488
83	Boomshanka	15.00	1598
84	Cam Porter	15.00	2407
85	cat	14.99	3805
86	K.L.	15.00	13481
87	Mark Fillmore	15.00	2
88	Solving For Clauses	15.00	3
89	LilThug	15.00	4
90	Jameh	15.00	5
91	Nihar the Great	15.00	11
92	Linda	15.00	11
93	Ravi Tandon	15.00	17
94	kt4124	15.00	20
95	Blam	15.00	31
96	weezy	15.00	33
97	Happy	15.00	37
98	Khoa	15.00	40
99	Sat Solver 2013	15.00	868
100	Mickey Mouse	15.00	2177
101	Supahaka	15.00	2368
102	Anon_K_P	15.00	782
103	Sally Smith	15.01	19
104	The Kraken	15.01	43
105	cmF5a3ly	15.01	3485
106	Bebe Shi	15.02	4
107	SuperFan	15.04	2839
108	Gewang	15.04	191
109	Bob Dondero	15.05	2494
110	Jessie Chen	15.05	31
111	TSATTER	15.08	3575
112	Qinlan Shen	15.12	2880
113	Jordan Ash	17.25	38
114	cjt	22.50	50
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist