Stats for formula: weezy-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 weezy-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf weezy-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:	weezy-0
Rank of generator:	76 / 114
Average score:	2.43
Median score:	0.07
Best solver:	Bar Shabtai
Description:	Generates cnf clauses dictating the guidelines for selecting from 220 courses of 4 different subjects and 5 time blocks.

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

SatSolvers Ranklist

Generators Ranklist