Stats for formula: Solving For Clauses-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 Solving For Clauses-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Solving For Clauses-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:	Solving For Clauses-1
Rank of generator:	94 / 114
Average score:	1.20
Median score:	0.02
Best solver:	haoyu
Description:	A company is sorting 70 interns into several companies who have hired this company. A certain proportion of these companies need exactly one intern, a certain proportion need two or more, and the remainder need three or more. Every intern must get exactly one job.

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

SatSolvers Ranklist

Generators Ranklist