Stats for formula: totallyOnFallBreak-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 totallyOnFallBreak-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf totallyOnFallBreak-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:	totallyOnFallBreak-0
Rank of generator:	67 / 114
Average score:	3.60
Median score:	0.09
Best solver:	Nikhilesh Sigatapu
Description:	produces CNF sentences that represent acceptable academic course scheduling.

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

SatSolvers Ranklist

Generators Ranklist