Stats for formula: Joshua Zimmer-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 Joshua Zimmer-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Joshua Zimmer-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:	Joshua Zimmer-0
Rank of generator:	90 / 114
Average score:	1.20
Median score:	0.01
Best solver:	haoyu
Description:	This generates CNF models corresponding to a Bar Mitzvah party where every guest can request to sit with other people or avoid other people. Every table seats a variable number of individuals and there are a fixed number of tables. The number of invited guests exactly fills up all the tables.

	Solver	Time taken	Unsat
1	haoyu	0.00	0
2	Nihar the Great	0.00	0
3	Glenn Fisher	0.00	0
4	bigwig	0.00	0
5	burrito	0.00	0
6	KingBach	0.00	0
7	jgs	0.00	0
8	Jonathan Kwok	0.00	0
9	Aristotle	0.00	0
10	Yan Wu	0.01	0
11	Keji Xu	0.01	0
12	Jameh	0.01	0
13	Mercury	0.01	0
14	Andrew Grasso	0.01	0
15	Charlie Shucheng Zhu	0.01	0
16	Mike Hawk	0.01	0
17	Bar Shabtai	0.01	0
18	EC	0.01	0
19	Matt Goldsmith	0.01	0
20	ModifiedWalkSatBreakZero	0.01	0
21	Anon5	0.01	0
22	snowflakes	0.01	0
23	Absurdity	0.01	0
24	Aaron H	0.01	0
25	Janie Gu	0.01	0
26	Mr. Blobby	0.01	0
27	Aaron Doll	0.01	0
28	Lisa Kim	0.01	0
29	Deric Cheng	0.01	0
30	Matt Haake	0.01	0
31	NA	0.01	0
32	R. A. B.	0.01	0
33	Sabar Dasgupta	0.01	0
34	Walter Little	0.01	0
35	dusty	0.01	0
36	Solving For Clauses	0.01	0
37	13a	0.01	0
38	CAPS LOCK	0.01	0
39	Joshua Zimmer	0.01	0
40	Quite Satisfied	0.01	0
41	Sprt	0.01	0
42	Andrew Werner	0.01	0
43	0108	0.01	0
44	T. Capote	0.01	0
45	Andys	0.01	0
46	Valya Barboy	0.01	0
47	David H.	0.01	0
48	Khoa	0.01	0
49	Tao	0.01	0
50	Yacob Y.	0.01	0
51	Mark Fillmore	0.01	0
52	spl	0.01	0
53	Mike Honcho	0.01	0
54	Elphaba	0.01	0
55	Linda	0.01	0
56	Samuel Jerome	0.01	0
57	LilThug	0.01	0
58	Blam	0.01	0
59	dfshasdsf12	0.01	0
60	kt4124	0.01	0
61	Ben Chen	0.01	0
62	Alex Fish	0.01	0
63	Shaheed Chagani	0.01	0
64	Ytterbium	0.01	0
65	HashTagAlreadyFallBreak	0.01	0
66	Sunny	0.01	0
67	Green "The Bean" Choi	0.01	0
68	Boomshanka	0.01	0
69	An Extremely Ordinary Sloth	0.02	0
70	John Whelchel	0.02	0
71	Sally Smith	0.02	0
72	vhsiao	0.02	0
73	jabreezy	0.02	0
74	Miranda	0.02	0
75	CookieMonster	0.02	0
76	Bebe Shi	0.02	0
77	BH	0.02	0
78	Jordan Ash	0.02	0
79	Fanny	0.02	0
80	bfang	0.02	0
81	David Paulk	0.02	0
82	David Lackey	0.02	0
83	soccer	0.02	0
84	AFC	0.02	0
85	Tom T	0.03	0
86	Gewang	0.03	0
87	cjt	0.03	0
88	Tree Prophet	0.03	0
89	Nikhilesh Sigatapu	0.03	0
90	Ravi Tandon	0.04	0
91	Jessie Chen	0.04	0
92	cmF5a3ly	0.04	0
93	Dr Roberto	0.04	0
94	bchouSolver	0.04	0
95	Mickey Mouse	0.05	0
96	ebp	0.05	0
97	weezy	0.05	0
98	Tiny Wings	0.06	0
99	Joel Faron	0.07	0
100	DeeEmEm	0.07	0
101	Happy	0.07	0
102	The Whitman Whale	0.08	0
103	RedOrangeBlue	0.08	0
104	Brendan Wright	0.13	0
105	Qinlan Shen	0.27	0
106	SuperFan	0.52	0
107	Bob Dondero	0.57	0
108	Anon_K_P	2.20	0
109	The Kraken	15.00	13
110	cat	14.99	17
111	George Okeowo	0.03	18
112	BMJ	15.00	25
113	Cam Porter	15.00	42
114	Supahaka	0.05	44
115	K.L.	15.00	185
116	Sat Solver 2013	15.00	20
117	TSATTER	15.00	55
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist