Stats for formula: Tiny Wings-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 Tiny Wings-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Tiny Wings-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:	Tiny Wings-0
Rank of generator:	68 / 114
Average score:	3.09
Median score:	0.12
Best solver:	haoyu
Description:	Dinner party planning (# of people = 15, # of like pairs = 1, # of hate pairs = 3)

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

SatSolvers Ranklist

Generators Ranklist