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

SatSolvers Ranklist

Generators Ranklist