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

	Solver	Time taken	Unsat
1	Aristotle	0.09	0
2	haoyu	0.09	0
3	Mercury	0.12	0
4	Aaron Doll	0.14	0
5	Matt Goldsmith	0.15	0
6	dusty	0.17	0
7	spl	0.18	0
8	ModifiedWalkSatBreakZero	0.18	0
9	Quite Satisfied	0.24	0
10	CookieMonster	0.27	0
11	bigwig	0.27	0
12	Matt Haake	0.29	0
13	Mark Fillmore	0.30	0
14	Jonathan Kwok	0.32	0
15	David H.	0.34	0
16	Elphaba	0.37	0
17	Glenn Fisher	0.41	0
18	vhsiao	0.42	0
19	Tao	0.45	0
20	Andrew Grasso	0.47	0
21	HashTagAlreadyFallBreak	0.50	0
22	CAPS LOCK	0.56	0
23	Jameh	0.59	0
24	burrito	0.63	0
25	Sabar Dasgupta	0.69	0
26	0108	0.71	0
27	NA	0.71	0
28	Yan Wu	0.72	0
29	Solving For Clauses	0.72	0
30	Green "The Bean" Choi	0.73	0
31	Anon5	0.77	0
32	jgs	0.77	0
33	Linda	0.78	0
34	Shaheed Chagani	0.78	0
35	Sunny	0.80	0
36	EC	0.80	0
37	Joshua Zimmer	0.81	0
38	Dr Roberto	0.84	0
39	Yacob Y.	0.85	0
40	Charlie Shucheng Zhu	0.85	0
41	Janie Gu	0.89	0
42	Absurdity	0.95	0
43	Ben Chen	0.97	0
44	Deric Cheng	0.98	0
45	Lisa Kim	1.01	0
46	Andrew Werner	1.03	0
47	Sprt	1.07	0
48	Aaron H	1.11	0
49	KingBach	1.14	0
50	Walter Little	1.14	0
51	dfshasdsf12	1.17	0
52	Andys	1.20	0
53	David Paulk	1.20	0
54	BH	1.26	0
55	Khoa	1.26	0
56	John Whelchel	1.27	0
57	13a	1.28	0
58	Mr. Blobby	1.34	0
59	T. Capote	1.35	0
60	Mike Hawk	1.40	0
61	snowflakes	1.41	0
62	soccer	1.43	0
63	Valya Barboy	1.44	0
64	Mike Honcho	1.52	0
65	AFC	1.61	0
66	Boomshanka	1.64	0
67	R. A. B.	1.72	0
68	kt4124	2.07	0
69	DeeEmEm	2.30	0
70	Fanny	2.35	0
71	Blam	2.84	0
72	Tree Prophet	3.06	0
73	An Extremely Ordinary Sloth	4.70	0
74	Nikhilesh Sigatapu	5.74	0
75	The Whitman Whale	7.95	0
76	Keji Xu	10.93	0
77	ebp	13.61	0
78	Joel Faron	15.00	1
79	Samuel Jerome	15.00	2
80	George Okeowo	0.98	150
81	RedOrangeBlue	14.99	356
82	cat	14.99	1655
83	Cam Porter	15.00	5112
84	BMJ	15.00	6474
85	bfang	15.00	6687
86	K.L.	15.00	29491
87	LilThug	15.00	3
88	Nihar the Great	15.00	5
89	Ravi Tandon	15.00	41
90	Bar Shabtai	15.00	49
91	Happy	15.00	146
92	weezy	15.00	198
93	Tiny Wings	15.00	418
94	Supahaka	15.00	6256
95	Mickey Mouse	15.00	6773
96	Ytterbium	15.00	4
97	bchouSolver	15.00	52
98	Brendan Wright	15.00	75
99	jabreezy	15.01	74
100	Sally Smith	15.01	5943
101	Sat Solver 2013	15.01	746
102	The Kraken	15.01	140
103	Alex Fish	15.02	7375
104	Anon_K_P	15.08	2443
105	Jessie Chen	15.29	7079
106	Bob Dondero	15.32	7703
107	Bebe Shi	15.40	7744
108	SuperFan	15.41	7543
109	David Lackey	15.46	7582
110	Gewang	15.50	8083
111	cmF5a3ly	15.63	7636
112	TSATTER	16.45	7791
113	Tom T	18.92	0
114	Qinlan Shen	20.93	8149
115	cjt	22.50	7446
116	Miranda	-	-
117	Jordan Ash	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist