Stats for formula: 0108-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 0108-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf 0108-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:	0108-1
Rank of generator:	* / 114
Average score:	4.26
Median score:	0.13
Best solver:	haoyu
Description:	Dinner party planning with n guests at n chairs. Each guestwants to be together with another guest (chosen randomly) with someprobability, and each guest wants to be separated from another guestin the same way.

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

SatSolvers Ranklist

Generators Ranklist