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

SatSolvers Ranklist

Generators Ranklist