Stats for formula: Tom T-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 Tom T-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Tom T-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:	Tom T-0
Rank of generator:	82 / 114
Average score:	1.74
Median score:	0.11
Best solver:	EC
Description:	Generates CNF sentences corresponding to the problem of planning where Colonial Club members will be seated for Houseparties. This problem can be reduced to the wedding party planning problem.

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

SatSolvers Ranklist

Generators Ranklist