Stats for formula: Tree Prophet-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 Tree Prophet-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Tree Prophet-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:	Tree Prophet-0
Rank of generator:	74 / 114
Average score:	2.34
Median score:	0.02
Best solver:	haoyu
Description:	This generator generates Christmas shopping problems in which a set of children each specify 3 presents. The "angel" children who have been really good specify one present they really want or (up to) two second best, forming a constraint of the form P1 v (P2 ^ P3). The average child will specify one present he really wants and (up to) two he absolutely doesn't want, forming a constraint of the form P1 v (~P2 ^ ~P3). And the "naughty" child will specify one present he really doesn't want or (up to) two other presents that he really doesn't want, forming a constraint of the form ~P1 v (~P2 ^ ~P3). These clauses are converted to CNF form using the law of distribution. The number of children (200) and presents(400) are static and the percentage of angel (20%) and naughty children (30%) are stati such that the actual number of naughty and angel children change with each iteration but the total number of children and presents to select from are constant.

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

SatSolvers Ranklist

Generators Ranklist