Stats for formula: Fanny-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 Fanny-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Fanny-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:	Fanny-1
Rank of generator:	31 / 114
Average score:	9.49
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.12	0
2	Anon5	0.12	0
3	Glenn Fisher	0.12	0
4	Mike Hawk	0.17	0
5	Sabar Dasgupta	0.18	0
6	Samuel Jerome	0.18	0
7	spl	0.22	0
8	Bar Shabtai	0.23	0
9	dusty	0.31	0
10	Sprt	0.32	0
11	BH	0.33	0
12	0108	0.34	0
13	Yacob Y.	0.35	0
14	Matt Goldsmith	0.40	0
15	dfshasdsf12	0.42	0
16	Jonathan Kwok	0.50	0
17	Deric Cheng	0.53	0
18	AFC	0.54	0
19	Dr Roberto	0.60	0
20	Andys	0.63	0
21	HashTagAlreadyFallBreak	0.68	0
22	Mike Honcho	0.69	0
23	David H.	0.73	0
24	Quite Satisfied	0.75	0
25	Walter Little	0.86	0
26	ModifiedWalkSatBreakZero	0.92	0
27	Matt Haake	0.98	0
28	Shaheed Chagani	1.02	0
29	Ben Chen	1.19	0
30	NA	1.49	0
31	Mr. Blobby	1.87	0
32	Andrew Grasso	1.91	0
33	Charlie Shucheng Zhu	2.12	0
34	KingBach	2.47	0
35	jgs	2.58	0
36	Andrew Werner	2.62	0
37	CookieMonster	2.88	0
38	Green "The Bean" Choi	2.89	0
39	Janie Gu	2.91	0
40	Aaron Doll	3.21	0
41	Valya Barboy	3.52	0
42	Joshua Zimmer	4.17	0
43	Aaron H	5.87	0
44	vhsiao	6.77	0
45	Sunny	7.56	0
46	snowflakes	7.94	0
47	Absurdity	8.85	0
48	Tao	9.04	0
49	Fanny	11.48	0
50	Brendan Wright	15.00	1
51	The Whitman Whale	15.00	1
52	13a	15.00	1
53	ebp	14.99	3
54	bfang	15.00	3
55	Joel Faron	15.00	13
56	CAPS LOCK	13.00	13
57	Nikhilesh Sigatapu	15.00	14
58	R. A. B.	9.00	16
59	bchouSolver	15.00	25
60	Boomshanka	0.65	25
61	George Okeowo	1.44	42
62	Elphaba	0.10	42
63	bigwig	15.00	47
64	T. Capote	15.00	56
65	Cam Porter	15.00	163
66	RedOrangeBlue	14.99	795
67	BMJ	15.00	1117
68	cat	14.99	1803
69	An Extremely Ordinary Sloth	15.00	1
70	EC	15.00	5
71	Nihar the Great	15.00	7
72	Mark Fillmore	15.00	10
73	Jameh	15.00	12
74	Solving For Clauses	15.00	13
75	burrito	15.00	24
76	Anon_K_P	15.00	31
77	Blam	15.00	35
78	weezy	15.00	40
79	Linda	15.00	66
80	Sat Solver 2013	15.00	447
81	Ravi Tandon	15.00	776
82	Mickey Mouse	15.00	2122
83	DeeEmEm	15.00	2
84	kt4124	15.00	37
85	Ytterbium	15.00	2
86	soccer	15.00	39
87	Khoa	15.00	42
88	Keji Xu	15.00	24
89	Sally Smith	15.00	38
90	K.L.	15.00	2485
91	Lisa Kim	15.01	5
92	Happy	15.01	40
93	Supahaka	15.01	1855
94	LilThug	15.01	1
95	Tree Prophet	15.01	2
96	The Kraken	15.01	744
97	Bebe Shi	15.01	1
98	John Whelchel	15.01	3321
99	Tiny Wings	15.01	42
100	haoyu	15.02	1
101	Bob Dondero	15.02	1595
102	Alex Fish	15.02	2
103	SuperFan	15.03	1594
104	Jessie Chen	15.03	35
105	David Lackey	15.03	1
106	Mercury	15.03	3
107	cmF5a3ly	15.04	6
108	TSATTER	15.04	2303
109	Gewang	15.05	30
110	Jordan Ash	15.99	42
111	Qinlan Shen	16.24	2262
112	Yan Wu	21.15	0
113	cjt	22.50	50
114	Tom T	29.23	1
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist