Stats for formula: Sprt-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 Sprt-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sprt-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:	Sprt-1
Rank of generator:	46 / 114
Average score:	5.14
Median score:	1.16
Best solver:	haoyu
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	haoyu	0.05	0
2	Aristotle	0.09	0
3	Nihar the Great	0.09	0
4	bigwig	0.11	0
5	Matt Goldsmith	0.11	0
6	Aaron Doll	0.12	0
7	Mercury	0.14	0
8	dusty	0.17	0
9	Elphaba	0.19	0
10	spl	0.20	0
11	Quite Satisfied	0.27	0
12	Mark Fillmore	0.28	0
13	ModifiedWalkSatBreakZero	0.29	0
14	Andrew Grasso	0.32	0
15	CookieMonster	0.33	0
16	Bar Shabtai	0.34	0
17	vhsiao	0.38	0
18	Matt Haake	0.42	0
19	Glenn Fisher	0.42	0
20	Jonathan Kwok	0.46	0
21	Solving For Clauses	0.47	0
22	HashTagAlreadyFallBreak	0.47	0
23	CAPS LOCK	0.48	0
24	burrito	0.63	0
25	Tao	0.63	0
26	0108	0.67	0
27	John Whelchel	0.67	0
28	Lisa Kim	0.70	0
29	Linda	0.70	0
30	Dr Roberto	0.71	0
31	Green "The Bean" Choi	0.71	0
32	jgs	0.73	0
33	David H.	0.74	0
34	Mike Hawk	0.75	0
35	Yan Wu	0.76	0
36	Keji Xu	0.76	0
37	Charlie Shucheng Zhu	0.78	0
38	Joshua Zimmer	0.78	0
39	NA	0.79	0
40	Janie Gu	0.82	0
41	EC	0.83	0
42	Valya Barboy	0.83	0
43	David Paulk	0.84	0
44	13a	0.84	0
45	Ben Chen	0.87	0
46	Sabar Dasgupta	0.88	0
47	Absurdity	0.90	0
48	Yacob Y.	0.91	0
49	KingBach	0.91	0
50	Sprt	0.92	0
51	Jameh	0.96	0
52	Shaheed Chagani	0.96	0
53	Sunny	0.96	0
54	Deric Cheng	1.01	0
55	Andys	1.06	0
56	Anon5	1.07	0
57	Aaron H	1.12	0
58	Andrew Werner	1.19	0
59	T. Capote	1.24	0
60	Khoa	1.28	0
61	Mr. Blobby	1.33	0
62	Walter Little	1.34	0
63	snowflakes	1.36	0
64	DeeEmEm	1.37	0
65	dfshasdsf12	1.39	0
66	kt4124	1.47	0
67	soccer	1.48	0
68	Ytterbium	1.53	0
69	BH	1.63	0
70	Samuel Jerome	1.67	0
71	AFC	1.73	0
72	R. A. B.	1.94	0
73	LilThug	1.96	0
74	Mike Honcho	2.33	0
75	Blam	2.48	0
76	Boomshanka	2.99	0
77	Tree Prophet	3.00	0
78	Fanny	3.05	0
79	Anon_K_P	6.07	0
80	An Extremely Ordinary Sloth	6.39	0
81	Joel Faron	6.61	0
82	Nikhilesh Sigatapu	7.60	0
83	The Whitman Whale	13.51	0
84	ebp	13.76	0
85	cat	14.99	15
86	George Okeowo	1.23	62
87	RedOrangeBlue	14.99	313
88	Cam Porter	15.00	7434
89	BMJ	15.00	9600
90	K.L.	15.00	42158
91	Ravi Tandon	15.00	31
92	bchouSolver	15.00	33
93	weezy	15.00	300
94	Mickey Mouse	15.00	10480
95	Supahaka	15.00	8898
96	bfang	15.00	10173
97	Sat Solver 2013	15.00	909
98	Brendan Wright	15.01	37
99	jabreezy	15.02	50
100	The Kraken	15.02	82
101	Tiny Wings	15.02	1836
102	Sally Smith	15.02	9334
103	cmF5a3ly	15.04	11220
104	SuperFan	15.15	11230
105	Jessie Chen	15.17	11694
106	Bob Dondero	15.30	10996
107	Alex Fish	15.43	11622
108	Happy	15.47	58
109	Gewang	15.50	12719
110	Bebe Shi	15.56	11009
111	David Lackey	15.67	10043
112	TSATTER	15.90	12235
113	Qinlan Shen	16.33	10711
114	cjt	22.50	10827
115	Tom T	24.80	1
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist