Stats for formula: totallyOnFallBreak-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 totallyOnFallBreak-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf totallyOnFallBreak-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:	totallyOnFallBreak-1
Rank of generator:	67 / 114
Average score:	3.44
Median score:	0.10
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	Glenn Fisher	0.01	0
5	Bar Shabtai	0.01	0
6	Elphaba	0.02	0
7	13a	0.02	0
8	LilThug	0.02	0
9	Nihar the Great	0.03	0
10	cat	0.03	0
11	Andrew Werner	0.03	0
12	Andrew Grasso	0.03	0
13	Sprt	0.04	0
14	John Whelchel	0.04	0
15	Charlie Shucheng Zhu	0.04	0
16	Janie Gu	0.04	0
17	Walter Little	0.05	0
18	EC	0.05	0
19	KingBach	0.05	0
20	T. Capote	0.05	0
21	jgs	0.05	0
22	An Extremely Ordinary Sloth	0.05	0
23	Khoa	0.05	0
24	Absurdity	0.05	0
25	HashTagAlreadyFallBreak	0.05	0
26	Aristotle	0.05	0
27	Lisa Kim	0.05	0
28	Jameh	0.05	0
29	Mickey Mouse	0.05	0
30	0108	0.05	0
31	NA	0.05	0
32	Aaron H	0.06	0
33	Mr. Blobby	0.06	0
34	R. A. B.	0.06	0
35	Linda	0.06	0
36	Anon5	0.06	0
37	Joshua Zimmer	0.06	0
38	bchouSolver	0.07	0
39	Yan Wu	0.07	0
40	bigwig	0.07	0
41	Solving For Clauses	0.07	0
42	Deric Cheng	0.07	0
43	burrito	0.07	0
44	soccer	0.07	0
45	ModifiedWalkSatBreakZero	0.07	0
46	Mike Honcho	0.08	0
47	Mike Hawk	0.08	0
48	Ben Chen	0.08	0
49	Matt Goldsmith	0.08	0
50	Blam	0.09	0
51	Quite Satisfied	0.09	0
52	David H.	0.09	0
53	kt4124	0.09	0
54	Sabar Dasgupta	0.09	0
55	dusty	0.09	0
56	spl	0.10	0
57	Aaron Doll	0.10	0
58	snowflakes	0.10	0
59	Yacob Y.	0.10	0
60	Green "The Bean" Choi	0.10	0
61	CookieMonster	0.10	0
62	Ytterbium	0.11	0
63	Andys	0.11	0
64	ebp	0.11	0
65	Matt Haake	0.12	0
66	BH	0.13	0
67	CAPS LOCK	0.14	0
68	RedOrangeBlue	0.14	0
69	Tao	0.18	0
70	Mercury	0.20	0
71	Valya Barboy	0.20	0
72	DeeEmEm	0.21	0
73	Mark Fillmore	0.22	0
74	Boomshanka	0.23	0
75	Ravi Tandon	0.23	0
76	jabreezy	0.28	0
77	Joel Faron	0.29	0
78	Keji Xu	0.36	0
79	AFC	0.37	0
80	Dr Roberto	0.51	0
81	Fanny	0.59	0
82	Sunny	0.69	0
83	Tree Prophet	0.72	0
84	Sat Solver 2013	0.81	0
85	The Whitman Whale	1.49	0
86	Shaheed Chagani	2.29	0
87	dfshasdsf12	2.87	0
88	Happy	4.76	0
89	Tom T	5.99	0
90	vhsiao	8.83	0
91	weezy	10.58	0
92	George Okeowo	0.88	3
93	Samuel Jerome	15.00	3
94	Supahaka	5.11	7
95	Cam Porter	15.00	217
96	BMJ	15.00	1020
97	bfang	15.00	1116
98	K.L.	15.00	10066
99	Tiny Wings	15.00	2
100	The Kraken	15.01	123
101	Jessie Chen	15.07	2101
102	Qinlan Shen	15.18	2641
103	Miranda	15.45	1407
104	cmF5a3ly	15.51	1347
105	Gewang	15.56	2710
106	David Lackey	15.90	3
107	Igor	16.05	4
108	Alex Fish	16.26	1300
109	Bebe Shi	16.74	811
110	Bob Dondero	16.86	1272
111	SuperFan	17.04	1598
112	TSATTER	17.52	3072
113	cjt	22.50	18
114	Jordan Ash	42.41	0
115	Brendan Wright	-	-
116	David Paulk	-	-
117	Anon_K_P	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist