Stats for formula: dfshasdsf12-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 dfshasdsf12-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf dfshasdsf12-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:	dfshasdsf12-0
Rank of generator:	37 / 114
Average score:	6.88
Median score:	3.47
Best solver:	haoyu
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	haoyu	0.09	0
2	Aristotle	0.12	0
3	Nihar the Great	0.13	0
4	Aaron Doll	0.14	0
5	dusty	0.28	0
6	Matt Goldsmith	0.31	0
7	spl	0.34	0
8	Mark Fillmore	0.41	0
9	Quite Satisfied	0.51	0
10	vhsiao	0.57	0
11	bigwig	0.60	0
12	CookieMonster	0.66	0
13	Mercury	0.75	0
14	Matt Haake	0.78	0
15	Andrew Grasso	0.82	0
16	Glenn Fisher	1.10	0
17	CAPS LOCK	1.17	0
18	Solving For Clauses	1.24	0
19	Dr Roberto	1.32	0
20	Jonathan Kwok	1.46	0
21	HashTagAlreadyFallBreak	1.50	0
22	Tao	1.58	0
23	John Whelchel	1.60	0
24	Jameh	1.68	0
25	0108	1.75	0
26	ModifiedWalkSatBreakZero	1.90	0
27	burrito	1.93	0
28	Charlie Shucheng Zhu	1.95	0
29	Linda	2.12	0
30	David Paulk	2.13	0
31	Lisa Kim	2.15	0
32	Yan Wu	2.26	0
33	Yacob Y.	2.28	0
34	NA	2.36	0
35	Mike Hawk	2.37	0
36	Ben Chen	2.38	0
37	Anon5	2.40	0
38	EC	2.46	0
39	Khoa	2.46	0
40	Valya Barboy	2.51	0
41	DeeEmEm	2.52	0
42	Sunny	2.54	0
43	Absurdity	2.62	0
44	Janie Gu	2.63	0
45	Joshua Zimmer	2.63	0
46	Green "The Bean" Choi	2.67	0
47	Sprt	2.73	0
48	KingBach	2.76	0
49	Deric Cheng	2.84	0
50	Aaron H	2.97	0
51	Shaheed Chagani	3.20	0
52	jgs	3.23	0
53	T. Capote	3.24	0
54	Mr. Blobby	3.37	0
55	Andys	3.57	0
56	kt4124	3.78	0
57	Walter Little	4.01	0
58	dfshasdsf12	4.03	0
59	Sabar Dasgupta	4.13	0
60	David H.	4.54	0
61	Ytterbium	4.60	0
62	snowflakes	4.98	0
63	Fanny	5.67	0
64	Blam	5.91	0
65	Andrew Werner	6.08	0
66	AFC	6.15	0
67	LilThug	6.17	0
68	BH	6.27	0
69	Ravi Tandon	6.53	0
70	13a	7.04	0
71	Tree Prophet	8.76	0
72	Mike Honcho	11.22	0
73	Keji Xu	12.20	0
74	George Okeowo	4.38	77
75	R. A. B.	9.00	4341
76	RedOrangeBlue	14.99	5596
77	Boomshanka	15.00	10309
78	Cam Porter	15.00	14565
79	BMJ	15.00	18814
80	Elphaba	0.06	41566
81	K.L.	15.00	75008
82	cat	15.00	44
83	Happy	15.00	53
84	Sat Solver 2013	15.00	1971
85	weezy	15.00	3661
86	Supahaka	15.00	14968
87	bfang	15.00	17397
88	Mickey Mouse	15.00	21040
89	bchouSolver	15.00	14
90	Samuel Jerome	15.01	11055
91	Brendan Wright	15.01	49
92	The Kraken	15.01	407
93	An Extremely Ordinary Sloth	15.01	3006
94	Joel Faron	15.01	30
95	jabreezy	15.02	52
96	Tiny Wings	15.04	10916
97	Alex Fish	15.19	19698
98	Anon_K_P	15.26	7214
99	cmF5a3ly	15.34	19587
100	Jessie Chen	15.69	20170
101	Bob Dondero	16.06	20664
102	David Lackey	16.28	19952
103	Bebe Shi	16.37	21320
104	Gewang	16.46	19690
105	SuperFan	17.26	19305
106	TSATTER	20.09	22915
107	Qinlan Shen	21.46	23020
108	cjt	22.50	20499
109	Tom T	23.68	77
110	soccer	-	-
111	Miranda	-	-
112	Jordan Ash	-	-
113	The Whitman Whale	-	-
114	Bar Shabtai	-	-
115	ebp	-	-
116	Igor	-	-
117	Sally Smith	-	-
118	Nikhilesh Sigatapu	-	-

SatSolvers Ranklist

Generators Ranklist