Stats for formula: Tom T-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 Tom T-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Tom T-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:	Tom T-1
Rank of generator:	82 / 114
Average score:	1.62
Median score:	0.09
Best solver:	Andrew Werner
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	Andrew Werner	0.02	0
2	Aaron H	0.02	0
3	Walter Little	0.02	0
4	NA	0.02	0
5	Keji Xu	0.02	0
6	Anon5	0.02	0
7	Deric Cheng	0.02	0
8	Absurdity	0.03	0
9	jgs	0.03	0
10	Joshua Zimmer	0.03	0
11	Solving For Clauses	0.03	0
12	Bar Shabtai	0.03	0
13	haoyu	0.03	0
14	KingBach	0.03	0
15	Jameh	0.03	0
16	Glenn Fisher	0.03	0
17	EC	0.03	0
18	0108	0.04	0
19	Andrew Grasso	0.04	0
20	Nihar the Great	0.04	0
21	HashTagAlreadyFallBreak	0.04	0
22	Sabar Dasgupta	0.04	0
23	CAPS LOCK	0.04	0
24	Jonathan Kwok	0.04	0
25	Linda	0.04	0
26	Mr. Blobby	0.04	0
27	Janie Gu	0.04	0
28	Ben Chen	0.04	0
29	Ytterbium	0.04	0
30	Mike Hawk	0.04	0
31	Yacob Y.	0.04	0
32	Lisa Kim	0.04	0
33	Charlie Shucheng Zhu	0.05	0
34	Andys	0.05	0
35	Samuel Jerome	0.05	0
36	Yan Wu	0.05	0
37	R. A. B.	0.05	0
38	burrito	0.06	0
39	Elphaba	0.06	0
40	soccer	0.06	0
41	Khoa	0.06	0
42	kt4124	0.06	0
43	Valya Barboy	0.06	0
44	David Paulk	0.06	0
45	T. Capote	0.06	0
46	snowflakes	0.06	0
47	bigwig	0.06	0
48	dusty	0.06	0
49	Sunny	0.06	0
50	Aristotle	0.07	0
51	Blam	0.07	0
52	Mike Honcho	0.07	0
53	John Whelchel	0.08	0
54	LilThug	0.08	0
55	Sprt	0.08	0
56	David H.	0.08	0
57	Matt Haake	0.09	0
58	spl	0.09	0
59	Shaheed Chagani	0.09	0
60	An Extremely Ordinary Sloth	0.09	0
61	BH	0.11	0
62	13a	0.11	0
63	Tree Prophet	0.12	0
64	Tao	0.12	0
65	Cam Porter	0.13	0
66	CookieMonster	0.13	0
67	cat	0.13	0
68	Quite Satisfied	0.14	0
69	Aaron Doll	0.14	0
70	Alex Fish	0.15	0
71	AFC	0.16	0
72	David Lackey	0.17	0
73	dfshasdsf12	0.18	0
74	Nikhilesh Sigatapu	0.19	0
75	ModifiedWalkSatBreakZero	0.22	0
76	cjt	0.22	0
77	vhsiao	0.23	0
78	cmF5a3ly	0.23	0
79	bfang	0.24	0
80	Mark Fillmore	0.24	0
81	Miranda	0.25	0
82	Sally Smith	0.26	0
83	Anon_K_P	0.26	0
84	Bebe Shi	0.26	0
85	Gewang	0.27	0
86	Jessie Chen	0.28	0
87	Matt Goldsmith	0.31	0
88	Boomshanka	0.34	0
89	ebp	0.36	0
90	Bob Dondero	0.38	0
91	DeeEmEm	0.45	0
92	Dr Roberto	0.45	0
93	Jordan Ash	0.46	0
94	Tiny Wings	0.53	0
95	Ravi Tandon	0.73	0
96	bchouSolver	0.75	0
97	The Whitman Whale	0.76	0
98	Brendan Wright	0.91	0
99	Mercury	0.93	0
100	Mickey Mouse	1.81	0
101	Joel Faron	3.22	0
102	Fanny	3.81	0
103	SuperFan	4.24	0
104	Tom T	4.35	0
105	Sat Solver 2013	6.26	0
106	Qinlan Shen	6.60	0
107	Supahaka	7.44	0
108	Green "The Bean" Choi	15.00	4
109	RedOrangeBlue	14.99	13
110	George Okeowo	0.40	14
111	BMJ	15.00	124
112	K.L.	15.00	1459
113	weezy	15.00	1
114	Happy	15.00	11
115	The Kraken	15.01	11
116	TSATTER	15.01	464
117	jabreezy	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist