Stats for formula: dfshasdsf12-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 dfshasdsf12-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf dfshasdsf12-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:	dfshasdsf12-1
Rank of generator:	37 / 114
Average score:	9.26
Median score:	9.77
Best solver:	Nihar the Great
Description:	This generator simulates the CNF formula of a dinner planning problem, with individuals wanting to or refusing to sit next to others.

	Solver	Time taken	Unsat
1	Nihar the Great	0.11	0
2	Aristotle	0.11	0
3	haoyu	0.14	0
4	Aaron Doll	0.15	0
5	bigwig	0.20	0
6	Matt Goldsmith	0.47	0
7	dusty	0.52	0
8	spl	0.65	0
9	Mark Fillmore	0.74	0
10	vhsiao	0.77	0
11	Quite Satisfied	0.88	0
12	Matt Haake	1.23	0
13	CookieMonster	1.23	0
14	Mercury	1.49	0
15	Jonathan Kwok	1.95	0
16	Dr Roberto	1.97	0
17	CAPS LOCK	2.41	0
18	Glenn Fisher	2.45	0
19	Solving For Clauses	2.76	0
20	ModifiedWalkSatBreakZero	2.88	0
21	HashTagAlreadyFallBreak	3.34	0
22	burrito	3.55	0
23	Tao	3.74	0
24	John Whelchel	4.09	0
25	Jameh	4.23	0
26	NA	4.38	0
27	DeeEmEm	4.58	0
28	0108	4.69	0
29	Janie Gu	4.84	0
30	Mike Hawk	4.85	0
31	Charlie Shucheng Zhu	4.91	0
32	Yacob Y.	4.94	0
33	KingBach	4.99	0
34	Ben Chen	5.01	0
35	Sprt	5.07	0
36	Khoa	5.21	0
37	Green "The Bean" Choi	5.42	0
38	EC	5.57	0
39	Linda	5.59	0
40	Yan Wu	5.63	0
41	Anon5	5.93	0
42	Absurdity	6.00	0
43	Lisa Kim	6.18	0
44	jgs	6.23	0
45	Deric Cheng	6.24	0
46	David Paulk	6.38	0
47	T. Capote	6.53	0
48	Joshua Zimmer	6.75	0
49	Shaheed Chagani	7.76	0
50	Valya Barboy	7.79	0
51	dfshasdsf12	9.20	0
52	kt4124	9.43	0
53	snowflakes	9.67	0
54	Ytterbium	9.77	0
55	David H.	9.81	0
56	Andrew Grasso	9.85	0
57	Sabar Dasgupta	10.13	0
58	BH	10.54	0
59	Walter Little	11.04	0
60	Fanny	11.15	0
61	Andys	12.16	0
62	LilThug	14.06	0
63	Blam	14.60	0
64	13a	15.00	31
65	George Okeowo	10.57	93
66	Andrew Werner	15.00	654
67	RedOrangeBlue	14.99	8876
68	cat	15.00	9244
69	R. A. B.	9.00	16719
70	BMJ	15.00	28094
71	Boomshanka	15.00	33902
72	Elphaba	0.08	77352
73	Mr. Blobby	15.00	4216
74	An Extremely Ordinary Sloth	15.00	15440
75	bfang	15.00	27678
76	Supahaka	15.00	28589
77	K.L.	15.00	117050
78	bchouSolver	15.00	32
79	Sunny	15.00	74
80	Mike Honcho	15.00	93
81	weezy	15.00	11837
82	Joel Faron	15.00	48
83	Mickey Mouse	15.00	34610
84	AFC	15.00	0
85	Ravi Tandon	15.00	1768
86	Aaron H	15.01	10366
87	Samuel Jerome	15.01	22889
88	Cam Porter	15.01	23546
89	Tiny Wings	15.02	22497
90	The Kraken	15.04	571
91	Brendan Wright	15.04	59
92	jabreezy	15.08	60
93	Tree Prophet	15.09	10
94	Anon_K_P	15.27	24652
95	SuperFan	15.49	29466
96	Bebe Shi	15.89	30786
97	Gewang	16.27	31085
98	David Lackey	16.36	32022
99	Jessie Chen	16.40	35894
100	Happy	17.77	62
101	Bob Dondero	18.76	30197
102	Alex Fish	19.62	31344
103	cmF5a3ly	22.00	30941
104	cjt	22.50	30065
105	TSATTER	27.85	34634
106	Qinlan Shen	34.38	32588
107	Tom T	51.24	93
108	Keji Xu	62.34	3
109	soccer	-	-
110	Miranda	-	-
111	Jordan Ash	-	-
112	The Whitman Whale	-	-
113	Bar Shabtai	-	-
114	ebp	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist