Stats for formula: Ravi Tandon-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 Ravi Tandon-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Ravi Tandon-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:	Ravi Tandon-1
Rank of generator:	98 / 114
Average score:	0.40
Median score:	0.00
Best solver:	KingBach
Description:	This is a randomized generation of a CNF for the register to variable matching problem.The number of registers is taken as 3. The number of vaiables can be as large as 13 and as minimum as 3.

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

SatSolvers Ranklist

Generators Ranklist