Stats for formula: Khoa-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 Khoa-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Khoa-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:	Khoa-0
Rank of generator:	50 / 114
Average score:	5.87
Median score:	1.57
Best solver:	haoyu
Description:	An implementation of the wedding party planning problem

	Solver	Time taken	Unsat
1	haoyu	0.09	0
2	Aristotle	0.09	0
3	Aaron Doll	0.11	0
4	Mercury	0.12	0
5	dusty	0.16	0
6	Matt Goldsmith	0.17	0
7	spl	0.17	0
8	ModifiedWalkSatBreakZero	0.19	0
9	Quite Satisfied	0.26	0
10	bigwig	0.30	0
11	David H.	0.30	0
12	Matt Haake	0.32	0
13	Elphaba	0.33	0
14	CookieMonster	0.34	0
15	Jonathan Kwok	0.38	0
16	Mark Fillmore	0.43	0
17	Glenn Fisher	0.43	0
18	vhsiao	0.44	0
19	Andrew Grasso	0.49	0
20	Tao	0.56	0
21	EC	0.67	0
22	burrito	0.69	0
23	NA	0.70	0
24	HashTagAlreadyFallBreak	0.72	0
25	Joshua Zimmer	0.74	0
26	0108	0.77	0
27	Anon5	0.77	0
28	Green "The Bean" Choi	0.77	0
29	Shaheed Chagani	0.78	0
30	Sunny	0.79	0
31	Charlie Shucheng Zhu	0.79	0
32	Janie Gu	0.80	0
33	Sabar Dasgupta	0.81	0
34	Lisa Kim	0.84	0
35	Yan Wu	0.87	0
36	Absurdity	0.87	0
37	jgs	0.88	0
38	Yacob Y.	0.93	0
39	KingBach	0.93	0
40	Ben Chen	0.94	0
41	Andrew Werner	0.95	0
42	Sprt	0.95	0
43	Linda	0.95	0
44	Dr Roberto	0.99	0
45	Aaron H	1.00	0
46	Andys	1.03	0
47	Deric Cheng	1.07	0
48	Jameh	1.08	0
49	Mr. Blobby	1.16	0
50	dfshasdsf12	1.19	0
51	Walter Little	1.22	0
52	BH	1.36	0
53	John Whelchel	1.36	0
54	Mike Hawk	1.40	0
55	Mike Honcho	1.42	0
56	soccer	1.56	0
57	Solving For Clauses	1.56	0
58	snowflakes	1.57	0
59	AFC	1.60	0
60	CAPS LOCK	1.72	0
61	Boomshanka	1.78	0
62	Khoa	1.86	0
63	13a	1.91	0
64	Fanny	2.15	0
65	DeeEmEm	2.27	0
66	Valya Barboy	2.50	0
67	R. A. B.	2.58	0
68	kt4124	2.75	0
69	Tree Prophet	2.84	0
70	David Paulk	3.02	0
71	Blam	3.17	0
72	T. Capote	3.98	0
73	Keji Xu	4.31	0
74	An Extremely Ordinary Sloth	4.77	0
75	Nikhilesh Sigatapu	5.81	0
76	Joel Faron	6.19	0
77	The Whitman Whale	7.73	0
78	ebp	13.51	0
79	Samuel Jerome	15.00	2
80	cat	14.99	28
81	Bar Shabtai	15.00	62
82	George Okeowo	1.04	150
83	RedOrangeBlue	14.99	370
84	Cam Porter	15.00	4670
85	BMJ	15.00	6025
86	bfang	15.00	6838
87	K.L.	15.00	29044
88	Ytterbium	15.00	2
89	Nihar the Great	15.00	2
90	LilThug	15.00	7
91	Ravi Tandon	15.00	45
92	weezy	15.00	194
93	Sat Solver 2013	15.00	456
94	Supahaka	15.00	4923
95	Mickey Mouse	15.00	7231
96	bchouSolver	15.00	55
97	Brendan Wright	15.00	78
98	Tiny Wings	15.00	395
99	jabreezy	15.01	82
100	The Kraken	15.01	158
101	Sally Smith	15.01	6612
102	TSATTER	15.02	8162
103	Anon_K_P	15.12	2376
104	Jessie Chen	15.16	7629
105	Happy	15.18	148
106	David Lackey	15.23	7378
107	cmF5a3ly	15.34	7625
108	Bebe Shi	15.36	7476
109	Bob Dondero	15.44	7573
110	Tom T	15.46	1
111	SuperFan	15.47	7382
112	Alex Fish	15.54	7053
113	Gewang	15.65	7253
114	Qinlan Shen	21.18	8251
115	cjt	22.50	7066
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist