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

SatSolvers Ranklist

Generators Ranklist