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

SatSolvers Ranklist

Generators Ranklist