Stats for formula: Mickey Mouse-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 Mickey Mouse-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Mickey Mouse-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:	Mickey Mouse-1
Rank of generator:	77 / 114
Average score:	2.32
Median score:	0.05
Best solver:	haoyu
Description:	Creates an arrangement of students in a circle in a classroom. Does not allow students who dislike other students to sit next to the students they dislike, and sits friends next to one of their friends

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

SatSolvers Ranklist

Generators Ranklist