psyco Benchmarks

Family
Namepsyco
Generation DateNone
First Occurrence2017-07-23
Benchmarks197

Benchmarks

LIA • Charts • Solver Isomap
176.smt2
091.smt2
143.smt2
036.smt2
147.smt2
130.smt2
073.smt2
088.smt2
069.smt2
134.smt2
001.smt2
100.smt2
026.smt2
133.smt2
169.smt2
195.smt2
021.smt2
005.smt2
121.smt2
099.smt2
052.smt2
075.smt2
004.smt2
010.smt2
045.smt2
179.smt2
188.smt2
047.smt2
186.smt2
029.smt2
037.smt2
086.smt2
022.smt2
079.smt2
115.smt2
145.smt2
044.smt2
031.smt2
173.smt2
180.smt2
118.smt2
103.smt2
139.smt2
018.smt2
078.smt2
074.smt2
090.smt2
056.smt2
194.smt2
034.smt2
049.smt2
080.smt2
030.smt2
178.smt2
142.smt2
132.smt2
087.smt2
097.smt2
172.smt2
119.smt2
124.smt2
185.smt2
042.smt2
039.smt2
092.smt2
171.smt2
081.smt2
135.smt2
098.smt2
122.smt2
027.smt2
089.smt2
144.smt2
146.smt2
061.smt2
151.smt2
140.smt2
038.smt2
020.smt2
152.smt2
066.smt2
141.smt2
123.smt2
019.smt2
012.smt2
187.smt2
094.smt2
054.smt2
137.smt2
160.smt2
161.smt2
196.smt2
193.smt2
057.smt2
106.smt2
181.smt2
177.smt2
170.smt2
055.smt2
127.smt2
082.smt2
014.smt2
032.smt2
167.smt2
048.smt2
013.smt2
102.smt2
025.smt2
116.smt2
162.smt2
015.smt2
065.smt2
138.smt2
084.smt2
053.smt2
046.smt2
017.smt2
104.smt2
159.smt2
008.smt2
071.smt2
109.smt2
050.smt2
035.smt2
125.smt2
009.smt2
158.smt2
166.smt2
136.smt2
110.smt2
058.smt2
148.smt2
168.smt2
111.smt2
175.smt2
002.smt2
131.smt2
068.smt2
112.smt2
064.smt2
153.smt2
007.smt2
156.smt2
011.smt2
157.smt2
063.smt2
051.smt2
113.smt2
163.smt2
070.smt2
024.smt2
129.smt2
107.smt2
083.smt2
028.smt2
126.smt2
101.smt2
041.smt2
190.smt2
149.smt2
114.smt2
155.smt2
085.smt2
154.smt2
040.smt2
128.smt2
174.smt2
076.smt2
062.smt2
067.smt2
016.smt2
023.smt2
117.smt2
108.smt2
096.smt2
120.smt2
077.smt2
189.smt2
003.smt2
072.smt2
093.smt2
033.smt2
105.smt2
164.smt2
043.smt2
095.smt2
150.smt2
165.smt2
006.smt2
NIA • Charts • Solver Isomap
060.smt2
059.smt2
184.smt2
183.smt2
182.smt2
UFLIA • Charts • Solver Isomap
192.smt2
191.smt2
UFNIA • Charts • Solver Isomap
197.smt2