Stats for formula: Scheduling Generator 203-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 Scheduling Generator 203-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Scheduling Generator 203-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:	Scheduling Generator 203-1
Rank of generator:	93 / 114
Average score:	1.23
Median score:	0.11
Best solver:	Jameh
Description:	Generates work scheduling problems- assigning workers to shifts. There are restrictions on number of workers per shift, total number of shifts per worker, and additional restrictions on which workers can work together

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

SatSolvers Ranklist

Generators Ranklist