Stats for formula: Sprt-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 Sprt-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sprt-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:	Sprt-0
Rank of generator:	46 / 114
Average score:	7.65
Median score:	5.42
Best solver:	Aristotle
Description:	Generates CNF formulas for the real world situation of holiday-season gift giving. Randomly generates a number of gifts, number of recipients, number of small gifts and number of large gifts and produces a formula to ensure that each recipient has at least 1 gift, at least 2 if the gifts are small and certainly no more than 1 if the gifts are large.

	Solver	Time taken	Unsat
1	Aristotle	0.11	0
2	haoyu	0.12	0
3	Aaron Doll	0.14	0
4	Matt Goldsmith	0.16	0
5	bigwig	0.17	0
6	Mercury	0.36	0
7	dusty	0.40	0
8	spl	0.41	0
9	Nihar the Great	0.46	0
10	Mark Fillmore	0.54	0
11	Elphaba	0.66	0
12	Quite Satisfied	0.70	0
13	CookieMonster	0.76	0
14	ModifiedWalkSatBreakZero	0.85	0
15	vhsiao	1.07	0
16	Matt Haake	1.09	0
17	Bar Shabtai	1.32	0
18	Andrew Grasso	1.43	0
19	CAPS LOCK	1.71	0
20	HashTagAlreadyFallBreak	1.74	0
21	Jonathan Kwok	1.77	0
22	Dr Roberto	1.80	0
23	Glenn Fisher	1.85	0
24	Solving For Clauses	2.03	0
25	Tao	2.47	0
26	burrito	2.68	0
27	Green "The Bean" Choi	2.90	0
28	0108	3.03	0
29	Linda	3.15	0
30	John Whelchel	3.18	0
31	Jameh	3.21	0
32	Sabar Dasgupta	3.26	0
33	NA	3.26	0
34	DeeEmEm	3.42	0
35	Shaheed Chagani	3.45	0
36	Mike Hawk	3.46	0
37	Valya Barboy	3.51	0
38	Lisa Kim	3.53	0
39	Janie Gu	3.53	0
40	Sprt	3.53	0
41	KingBach	3.62	0
42	Yan Wu	3.67	0
43	EC	3.79	0
44	Joshua Zimmer	3.84	0
45	Ben Chen	3.93	0
46	David Paulk	3.96	0
47	jgs	3.97	0
48	David H.	3.99	0
49	Yacob Y.	4.20	0
50	Khoa	4.25	0
51	Absurdity	4.26	0
52	Anon5	4.30	0
53	Deric Cheng	4.47	0
54	Charlie Shucheng Zhu	4.61	0
55	Sunny	5.40	0
56	T. Capote	5.42	0
57	Mr. Blobby	5.54	0
58	13a	5.62	0
59	Andys	5.78	0
60	dfshasdsf12	5.98	0
61	kt4124	6.05	0
62	Walter Little	6.25	0
63	snowflakes	6.40	0
64	AFC	6.71	0
65	Ytterbium	6.76	0
66	BH	6.90	0
67	LilThug	8.60	0
68	Tom T	8.82	0
69	Andrew Werner	9.80	0
70	soccer	9.97	0
71	Mike Honcho	10.79	0
72	Keji Xu	10.97	0
73	Blam	12.07	0
74	Tree Prophet	12.88	0
75	ebp	14.99	44
76	George Okeowo	5.57	90
77	Boomshanka	15.00	183
78	RedOrangeBlue	14.99	624
79	R. A. B.	9.00	12107
80	Cam Porter	15.00	19433
81	BMJ	15.00	25384
82	K.L.	15.00	104807
83	cat	15.00	42
84	Ravi Tandon	15.00	67
85	weezy	15.00	6469
86	Samuel Jerome	15.00	12349
87	Joel Faron	15.00	55
88	bchouSolver	15.00	84
89	Supahaka	15.00	19458
90	Mickey Mouse	15.00	26941
91	Tiny Wings	15.00	17441
92	bfang	15.00	25866
93	Brendan Wright	15.00	84
94	Fanny	15.00	88
95	An Extremely Ordinary Sloth	15.01	4598
96	Aaron H	15.01	2366
97	Sat Solver 2013	15.01	3833
98	Bebe Shi	15.03	27098
99	The Kraken	15.04	106
100	jabreezy	15.07	90
101	Anon_K_P	15.13	13108
102	Alex Fish	15.48	28838
103	Jessie Chen	15.68	28063
104	Bob Dondero	16.36	26103
105	cmF5a3ly	16.47	27814
106	David Lackey	16.98	26588
107	Happy	17.67	90
108	Qinlan Shen	17.92	29791
109	SuperFan	18.30	24892
110	Gewang	18.72	27401
111	TSATTER	21.98	27115
112	cjt	22.50	29217
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist