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

SatSolvers Ranklist

Generators Ranklist