Stats for formula: Fanny-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 Fanny-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Fanny-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:	Fanny-0
Rank of generator:	31 / 114
Average score:	9.91
Median score:	15.00
Best solver:	Aristotle
Description:	This is a CNF generator based on the extension of the Rummikub game.For any legal combinations, if the colors for any two postions are different, this array must be consisted of the same symbol/number.If the colors of any of the two positions are the same, the symbols/numbers within the set must be in a(n) increasing/decreasing order.

	Solver	Time taken	Unsat
1	Aristotle	0.10	0
2	Mr. Blobby	0.16	0
3	Janie Gu	0.16	0
4	spl	0.18	0
5	EC	0.21	0
6	dusty	0.26	0
7	jgs	0.28	0
8	Sprt	0.34	0
9	Jonathan Kwok	0.42	0
10	Glenn Fisher	0.52	0
11	Sunny	0.54	0
12	Shaheed Chagani	0.60	0
13	Anon5	0.79	0
14	Deric Cheng	0.88	0
15	Walter Little	0.99	0
16	Yacob Y.	1.00	0
17	BH	1.05	0
18	Quite Satisfied	1.13	0
19	CookieMonster	1.15	0
20	AFC	1.15	0
21	David H.	1.23	0
22	Ben Chen	1.30	0
23	HashTagAlreadyFallBreak	1.36	0
24	dfshasdsf12	1.48	0
25	KingBach	1.65	0
26	Andys	1.66	0
27	0108	1.88	0
28	Matt Haake	1.88	0
29	Joshua Zimmer	1.98	0
30	Tao	2.14	0
31	ModifiedWalkSatBreakZero	2.69	0
32	Green "The Bean" Choi	3.01	0
33	Matt Goldsmith	3.05	0
34	Valya Barboy	3.26	0
35	NA	3.71	0
36	Sabar Dasgupta	3.74	0
37	Mike Hawk	3.94	0
38	snowflakes	5.56	0
39	vhsiao	5.63	0
40	Andrew Werner	5.64	0
41	Andrew Grasso	5.93	0
42	Aaron Doll	5.95	0
43	Yan Wu	7.01	0
44	Charlie Shucheng Zhu	7.17	0
45	Aaron H	10.12	0
46	An Extremely Ordinary Sloth	10.69	0
47	Fanny	11.58	0
48	Lisa Kim	12.93	0
49	Dr Roberto	14.62	0
50	Brendan Wright	15.00	1
51	The Whitman Whale	15.00	1
52	13a	15.00	1
53	Samuel Jerome	15.00	1
54	bfang	15.00	3
55	Joel Faron	15.00	8
56	ebp	14.99	13
57	CAPS LOCK	13.00	13
58	R. A. B.	9.00	15
59	bchouSolver	15.00	23
60	Boomshanka	0.76	26
61	George Okeowo	0.73	42
62	Elphaba	0.09	42
63	T. Capote	15.00	43
64	soccer	15.00	45
65	Nikhilesh Sigatapu	15.00	48
66	bigwig	15.00	93
67	Cam Porter	15.00	145
68	RedOrangeBlue	14.99	818
69	BMJ	15.00	1093
70	cat	14.99	2467
71	Mike Honcho	15.00	1
72	David Lackey	15.00	3
73	Nihar the Great	15.00	4
74	LilThug	15.00	6
75	Mark Fillmore	15.00	7
76	Solving For Clauses	15.00	11
77	Jameh	15.00	12
78	burrito	15.00	15
79	Anon_K_P	15.00	17
80	Linda	15.00	39
81	Khoa	15.00	42
82	weezy	15.00	51
83	Blam	15.00	56
84	Supahaka	15.00	1974
85	Mickey Mouse	15.00	2474
86	Bar Shabtai	15.00	1
87	Sat Solver 2013	15.00	399
88	Ravi Tandon	15.00	1208
89	Absurdity	15.00	4
90	K.L.	15.00	2820
91	haoyu	15.00	1
92	Tiny Wings	15.00	17
93	kt4124	15.00	32
94	Keji Xu	15.01	7
95	Alex Fish	15.01	2
96	The Kraken	15.01	750
97	Tree Prophet	15.01	2
98	Ytterbium	15.01	3
99	Jessie Chen	15.02	52
100	TSATTER	15.02	1819
101	Happy	15.02	37
102	Sally Smith	15.02	35
103	DeeEmEm	15.04	2
104	Gewang	15.04	20
105	SuperFan	15.04	1701
106	Bebe Shi	15.04	14
107	Mercury	15.05	1
108	John Whelchel	15.05	3212
109	Bob Dondero	15.06	1348
110	cmF5a3ly	15.06	806
111	Qinlan Shen	15.31	2006
112	Jordan Ash	16.05	42
113	Tom T	19.12	1
114	cjt	22.50	58
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist