-
Notifications
You must be signed in to change notification settings - Fork 0
/
benchmarking_ilp_no_kernel
570 lines (570 loc) · 65.1 KB
/
benchmarking_ilp_no_kernel
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
ILP bio-CE-CX.edges 15229 245952 1 375 20.821 []
ILP bio-diseasome.mtx 516 1188 1 50 0.085 []
ILP bio-dmela.mtx 7393 25569 1 190 1.549 []
ILP bio-yeast.mtx 1458 1948 1 56 0.111 []
ILP ca-CSphd.mtx 1882 1740 1 46 0.194 []
ILP ca-Erdos992.mtx 5094 7515 1 61 0.406 []
ILP ca-netscience.mtx 379 914 1 34 0.055 []
ILP econ-poli.mtx 3915 4119 1 63 0.333 []
ILP ENZYMES_g295.edges 123 139 1 5 0.017 []
ILP H2O.mtx 67024 1074856 1 36 186.67 []
ILP inf-openflights.edges 2939 15677 1 242 0.682 []
ILP inf-power.mtx 4941 6594 1 19 0.328 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 1 37 0.23 []
ILP rec-amazon.mtx 91813 125704 1 5 12.819 []
ILP rec-yelp-user-business.edges 50394 229572 1 844 28.105 []
ILP road-euroroad.edges 1174 1417 1 10 0.078 []
ILP rt-twitter-copen.mtx 761 1029 1 37 0.063 []
ILP soc-brightkite.mtx 56739 212945 1 1134 22.533 []
ILP soc-firm-hi-tech.txt 33 91 1 16 0.007 []
ILP bio-CE-CX.edges 15229 245952 2 748 3088.406 []
ILP bio-diseasome.mtx 516 1188 2 78 0.05 []
ILP bio-dmela.mtx 7393 25569 2 337 7.576 []
ILP bio-yeast.mtx 1458 1948 2 94 0.072 []
ILP ca-CSphd.mtx 1882 1740 2 70 0.08 []
ILP ca-Erdos992.mtx 5094 7515 2 121 0.43 []
ILP ca-netscience.mtx 379 914 2 61 0.032 []
ILP econ-poli.mtx 3915 4119 2 114 0.257 []
ILP ENZYMES_g295.edges 123 139 2 10 0.008 []
ILP H2O.mtx 67024 1074856 2 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 2 458 5.706 []
ILP inf-power.mtx 4941 6594 2 37 0.343 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 2 73 0.301 []
ILP rec-amazon.mtx 91813 125704 2 10 29.234 []
ILP rec-yelp-user-business.edges 50394 229572 2 1668 2456.732 []
ILP road-euroroad.edges 1174 1417 2 18 0.07 []
ILP rt-twitter-copen.mtx 761 1029 2 72 0.058 []
ILP soc-brightkite.mtx 56739 212945 2 2189 1105.284 []
ILP soc-firm-hi-tech.txt 33 91 2 27 0.007 []
ILP bio-CE-CX.edges 15229 245952 3 1098 2990.608 []
ILP bio-diseasome.mtx 516 1188 3 103 0.078 []
ILP bio-dmela.mtx 7393 25569 3 459 7.908 []
ILP bio-yeast.mtx 1458 1948 3 124 0.073 []
ILP ca-CSphd.mtx 1882 1740 3 91 0.081 []
ILP ca-Erdos992.mtx 5094 7515 3 179 0.568 []
ILP ca-netscience.mtx 379 914 3 86 0.044 []
ILP econ-poli.mtx 3915 4119 3 164 0.319 []
ILP ENZYMES_g295.edges 123 139 3 15 0.008 []
ILP H2O.mtx 67024 1074856 3 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 3 665 5.196 []
ILP inf-power.mtx 4941 6594 3 51 0.335 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 3 109 0.304 []
ILP rec-amazon.mtx 91813 125704 3 15 29.742 []
ILP rec-yelp-user-business.edges 50394 229572 3 2426 2529.923 []
ILP road-euroroad.edges 1174 1417 3 26 0.067 []
ILP rt-twitter-copen.mtx 761 1029 3 101 0.058 []
ILP soc-brightkite.mtx 56739 212945 3 3041 1093.017 []
ILP soc-firm-hi-tech.txt 33 91 3 35 0.007 []
ILP bio-CE-CX.edges 15229 245952 4 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 4 127 0.069 []
ILP bio-dmela.mtx 7393 25569 4 574 14.792 []
ILP bio-yeast.mtx 1458 1948 4 153 0.112 []
ILP ca-CSphd.mtx 1882 1740 4 110 0.084 []
ILP ca-Erdos992.mtx 5094 7515 4 235 0.717 []
ILP ca-netscience.mtx 379 914 4 105 0.048 []
ILP econ-poli.mtx 3915 4119 4 209 0.389 []
ILP ENZYMES_g295.edges 123 139 4 20 0.01 []
ILP H2O.mtx 67024 1074856 4 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 4 833 7.611 []
ILP inf-power.mtx 4941 6594 4 65 0.441 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 4 144 0.729 []
ILP rec-amazon.mtx 91813 125704 4 20 44.59 []
ILP rec-yelp-user-business.edges 50394 229572 4 3166 3061.06 []
ILP road-euroroad.edges 1174 1417 4 34 0.076 []
ILP rt-twitter-copen.mtx 761 1029 4 125 0.061 []
ILP soc-brightkite.mtx 56739 212945 4 3875 1319.109 []
ILP soc-firm-hi-tech.txt 33 91 4 42 0.047 []
ILP bio-CE-CX.edges 15229 245952 5 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 5 150 0.083 []
ILP bio-dmela.mtx 7393 25569 5 687 16.096 []
ILP bio-yeast.mtx 1458 1948 5 180 0.121 []
ILP ca-CSphd.mtx 1882 1740 5 129 0.103 []
ILP ca-Erdos992.mtx 5094 7515 5 290 0.839 []
ILP ca-netscience.mtx 379 914 5 122 0.049 []
ILP econ-poli.mtx 3915 4119 5 254 0.448 []
ILP ENZYMES_g295.edges 123 139 5 24 0.008 []
ILP H2O.mtx 67024 1074856 5 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 5 997 7.355 []
ILP inf-power.mtx 4941 6594 5 79 0.396 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 5 177 0.592 []
ILP rec-amazon.mtx 91813 125704 5 25 43.314 []
ILP rec-yelp-user-business.edges 50394 229572 5 3871 3000.233 []
ILP road-euroroad.edges 1174 1417 5 42 0.096 []
ILP rt-twitter-copen.mtx 761 1029 5 148 0.054 []
ILP soc-brightkite.mtx 56739 212945 5 4706 1363.449 []
ILP soc-firm-hi-tech.txt 33 91 5 48 0.026 []
ILP bio-CE-CX.edges 15229 245952 6 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 6 172 0.095 []
ILP bio-dmela.mtx 7393 25569 6 797 13.305 []
ILP bio-yeast.mtx 1458 1948 6 207 0.109 []
ILP ca-CSphd.mtx 1882 1740 6 148 0.114 []
ILP ca-Erdos992.mtx 5094 7515 6 341 0.737 []
ILP ca-netscience.mtx 379 914 6 138 0.059 []
ILP econ-poli.mtx 3915 4119 6 296 0.473 []
ILP ENZYMES_g295.edges 123 139 6 28 0.009 []
ILP H2O.mtx 67024 1074856 6 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 6 1158 5.923 []
ILP inf-power.mtx 4941 6594 6 92 0.54 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 6 208 0.395 []
ILP rec-amazon.mtx 91813 125704 6 30 29.827 []
ILP rec-yelp-user-business.edges 50394 229572 6 4519 2508.201 []
ILP road-euroroad.edges 1174 1417 6 50 0.07 []
ILP rt-twitter-copen.mtx 761 1029 6 170 0.066 []
ILP soc-brightkite.mtx 56739 212945 6 5479 1079.931 []
ILP soc-firm-hi-tech.txt 33 91 6 53 0.057 []
ILP bio-CE-CX.edges 15229 245952 7 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 7 194 0.09 []
ILP bio-dmela.mtx 7393 25569 7 899 12.16 []
ILP bio-yeast.mtx 1458 1948 7 232 0.115 []
ILP ca-CSphd.mtx 1882 1740 7 165 0.136 []
ILP ca-Erdos992.mtx 5094 7515 7 391 0.959 []
ILP ca-netscience.mtx 379 914 7 153 0.059 []
ILP econ-poli.mtx 3915 4119 7 332 0.47 []
ILP ENZYMES_g295.edges 123 139 7 32 0.011 []
ILP H2O.mtx 67024 1074856 7 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 7 1318 7.853 []
ILP inf-power.mtx 4941 6594 7 105 0.635 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 7 238 0.352 []
ILP rec-amazon.mtx 91813 125704 7 35 44.683 []
ILP rec-yelp-user-business.edges 50394 229572 7 5136 3131.074 []
ILP road-euroroad.edges 1174 1417 7 57 0.079 []
ILP rt-twitter-copen.mtx 761 1029 7 190 0.065 []
ILP soc-brightkite.mtx 56739 212945 7 6205 1163.864 []
ILP soc-firm-hi-tech.txt 33 91 7 56 0.101 []
ILP bio-CE-CX.edges 15229 245952 8 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 8 210 0.085 []
ILP bio-dmela.mtx 7393 25569 8 999 15.647 []
ILP bio-yeast.mtx 1458 1948 8 255 0.11 []
ILP ca-CSphd.mtx 1882 1740 8 182 0.119 []
ILP ca-Erdos992.mtx 5094 7515 8 441 0.804 []
ILP ca-netscience.mtx 379 914 8 168 0.061 []
ILP econ-poli.mtx 3915 4119 8 367 0.461 []
ILP ENZYMES_g295.edges 123 139 8 35 0.023 []
ILP H2O.mtx 67024 1074856 8 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 8 1473 7.028 []
ILP inf-power.mtx 4941 6594 8 118 0.483 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 8 268 0.312 []
ILP rec-amazon.mtx 91813 125704 8 40 37.2 []
ILP rec-yelp-user-business.edges 50394 229572 8 5725 2926.757 []
ILP road-euroroad.edges 1174 1417 8 64 0.095 []
ILP rt-twitter-copen.mtx 761 1029 8 206 0.064 []
ILP soc-brightkite.mtx 56739 212945 8 6764 1315.105 []
ILP soc-firm-hi-tech.txt 33 91 8 59 0.138 []
ILP bio-CE-CX.edges 15229 245952 9 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 9 225 0.102 []
ILP bio-dmela.mtx 7393 25569 9 1098 11.708 []
ILP bio-yeast.mtx 1458 1948 9 276 0.099 []
ILP ca-CSphd.mtx 1882 1740 9 197 0.1 []
ILP ca-Erdos992.mtx 5094 7515 9 491 0.791 []
ILP ca-netscience.mtx 379 914 9 183 0.058 []
ILP econ-poli.mtx 3915 4119 9 401 0.472 []
ILP ENZYMES_g295.edges 123 139 9 37 0.014 []
ILP H2O.mtx 67024 1074856 9 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 9 1623 6.795 []
ILP inf-power.mtx 4941 6594 9 131 0.404 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 9 298 0.368 []
ILP rec-amazon.mtx 91813 125704 9 45 37.842 []
ILP rec-yelp-user-business.edges 50394 229572 9 6307 2988.605 []
ILP road-euroroad.edges 1174 1417 9 71 0.075 []
ILP rt-twitter-copen.mtx 761 1029 9 222 0.065 []
ILP soc-brightkite.mtx 56739 212945 9 7310 1279.971 []
ILP soc-firm-hi-tech.txt 33 91 9 61 0.395 []
ILP bio-CE-CX.edges 15229 245952 10 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 10 239 0.067 []
ILP bio-dmela.mtx 7393 25569 10 1189 15.338 []
ILP bio-yeast.mtx 1458 1948 10 297 0.209 []
ILP ca-CSphd.mtx 1882 1740 10 212 0.169 []
ILP ca-Erdos992.mtx 5094 7515 10 540 1.512 []
ILP ca-netscience.mtx 379 914 10 197 0.076 []
ILP econ-poli.mtx 3915 4119 10 434 0.784 []
ILP ENZYMES_g295.edges 123 139 10 39 0.033 []
ILP H2O.mtx 67024 1074856 10 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 10 1766 5.349 []
ILP inf-power.mtx 4941 6594 10 144 0.441 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 10 326 0.499 []
ILP rec-amazon.mtx 91813 125704 10 50 33.25 []
ILP rec-yelp-user-business.edges 50394 229572 10 6887 2417.055 []
ILP road-euroroad.edges 1174 1417 10 78 0.08 []
ILP rt-twitter-copen.mtx 761 1029 10 238 0.063 []
ILP soc-brightkite.mtx 56739 212945 10 7781 1062.109 []
ILP soc-firm-hi-tech.txt 33 91 10 63 0.197 []
ILP bio-CE-CX.edges 15229 245952 11 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 11 253 0.095 []
ILP bio-dmela.mtx 7393 25569 11 1276 14.742 []
ILP bio-yeast.mtx 1458 1948 11 317 0.121 []
ILP ca-CSphd.mtx 1882 1740 11 227 0.153 []
ILP ca-Erdos992.mtx 5094 7515 11 587 0.881 []
ILP ca-netscience.mtx 379 914 11 209 0.058 []
ILP econ-poli.mtx 3915 4119 11 466 0.49 []
ILP ENZYMES_g295.edges 123 139 11 41 0.024 []
ILP H2O.mtx 67024 1074856 11 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 11 1907 7.504 []
ILP inf-power.mtx 4941 6594 11 156 0.502 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 11 353 0.36 []
ILP rec-amazon.mtx 91813 125704 11 55 44.209 []
ILP rec-yelp-user-business.edges 50394 229572 11 7459 2851.306 []
ILP road-euroroad.edges 1174 1417 11 84 0.056 []
ILP rt-twitter-copen.mtx 761 1029 11 253 0.055 []
ILP soc-brightkite.mtx 56739 212945 11 8236 1024.176 []
ILP soc-firm-hi-tech.txt 33 91 11 64 0.255 []
ILP bio-CE-CX.edges 15229 245952 12 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 12 266 0.084 []
ILP bio-dmela.mtx 7393 25569 12 1362 13.92 []
ILP bio-yeast.mtx 1458 1948 12 336 0.192 []
ILP ca-CSphd.mtx 1882 1740 12 241 0.204 []
ILP ca-Erdos992.mtx 5094 7515 12 634 1.103 []
ILP ca-netscience.mtx 379 914 12 221 0.05 []
ILP econ-poli.mtx 3915 4119 12 497 0.452 []
ILP ENZYMES_g295.edges 123 139 12 43 0.031 []
ILP H2O.mtx 67024 1074856 12 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 12 2045 7.865 []
ILP inf-power.mtx 4941 6594 12 168 0.427 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 12 380 0.349 []
ILP rec-amazon.mtx 91813 125704 12 60 38.237 []
ILP rec-yelp-user-business.edges 50394 229572 12 8005 2994.143 []
ILP road-euroroad.edges 1174 1417 12 90 0.084 []
ILP rt-twitter-copen.mtx 761 1029 12 267 0.053 []
ILP soc-brightkite.mtx 56739 212945 12 8676 1278.974 []
ILP soc-firm-hi-tech.txt 33 91 12 65 0.359 []
ILP bio-CE-CX.edges 15229 245952 13 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 13 279 0.062 []
ILP bio-dmela.mtx 7393 25569 13 1447 12.911 []
ILP bio-yeast.mtx 1458 1948 13 355 0.12 []
ILP ca-CSphd.mtx 1882 1740 13 255 0.115 []
ILP ca-Erdos992.mtx 5094 7515 13 680 0.803 []
ILP ca-netscience.mtx 379 914 13 232 0.094 []
ILP econ-poli.mtx 3915 4119 13 527 0.43 []
ILP ENZYMES_g295.edges 123 139 13 45 0.016 []
ILP H2O.mtx 67024 1074856 13 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 13 2180 7.868 []
ILP inf-power.mtx 4941 6594 13 180 0.483 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 13 406 0.417 []
ILP rec-amazon.mtx 91813 125704 13 65 38.698 []
ILP rec-yelp-user-business.edges 50394 229572 13 8546 1793.191 []
ILP road-euroroad.edges 1174 1417 13 96 0.073 []
ILP rt-twitter-copen.mtx 761 1029 13 281 0.076 []
ILP soc-brightkite.mtx 56739 212945 13 9115 752.618 []
ILP soc-firm-hi-tech.txt 33 91 13 65 0.382 []
ILP bio-CE-CX.edges 15229 245952 14 4507 2903.008 []
ILP bio-diseasome.mtx 516 1188 14 291 0.053 []
ILP bio-dmela.mtx 7393 25569 14 1529 6.647 []
ILP bio-yeast.mtx 1458 1948 14 373 0.088 []
ILP ca-CSphd.mtx 1882 1740 14 269 0.08 []
ILP ca-Erdos992.mtx 5094 7515 14 726 0.536 []
ILP ca-netscience.mtx 379 914 14 243 0.05 []
ILP econ-poli.mtx 3915 4119 14 557 0.275 []
ILP ENZYMES_g295.edges 123 139 14 47 0.023 []
ILP H2O.mtx 67024 1074856 14 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 14 2311 5.082 []
ILP inf-power.mtx 4941 6594 14 192 0.395 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 14 431 0.289 []
ILP rec-amazon.mtx 91813 125704 14 70 29.783 []
ILP rec-yelp-user-business.edges 50394 229572 14 9084 2477.21 []
ILP road-euroroad.edges 1174 1417 14 102 0.072 []
ILP rt-twitter-copen.mtx 761 1029 14 294 0.092 []
ILP soc-brightkite.mtx 56739 212945 14 9515 1040.904 []
ILP soc-firm-hi-tech.txt 33 91 14 66 0.337 []
ILP bio-CE-CX.edges 15229 245952 15 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 15 303 0.096 []
ILP bio-dmela.mtx 7393 25569 15 1611 11.883 []
ILP bio-yeast.mtx 1458 1948 15 391 0.133 []
ILP ca-CSphd.mtx 1882 1740 15 282 0.118 []
ILP ca-Erdos992.mtx 5094 7515 15 771 0.958 []
ILP ca-netscience.mtx 379 914 15 254 0.07 []
ILP econ-poli.mtx 3915 4119 15 585 0.48 []
ILP ENZYMES_g295.edges 123 139 15 49 0.024 []
ILP H2O.mtx 67024 1074856 15 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 15 2434 7.929 []
ILP inf-power.mtx 4941 6594 15 203 0.395 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 15 455 0.303 []
ILP rec-amazon.mtx 91813 125704 15 75 37.386 []
ILP rec-yelp-user-business.edges 50394 229572 15 9615 2948.525 []
ILP road-euroroad.edges 1174 1417 15 108 0.07 []
ILP rt-twitter-copen.mtx 761 1029 15 307 0.056 []
ILP soc-brightkite.mtx 56739 212945 15 9895 1034.93 []
ILP soc-firm-hi-tech.txt 33 91 15 66 0.271 []
ILP bio-CE-CX.edges 15229 245952 16 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 16 314 0.088 []
ILP bio-dmela.mtx 7393 25569 16 1691 11.114 []
ILP bio-yeast.mtx 1458 1948 16 409 0.094 []
ILP ca-CSphd.mtx 1882 1740 16 295 0.136 []
ILP ca-Erdos992.mtx 5094 7515 16 816 0.82 []
ILP ca-netscience.mtx 379 914 16 264 0.068 []
ILP econ-poli.mtx 3915 4119 16 613 0.534 []
ILP ENZYMES_g295.edges 123 139 16 51 0.028 []
ILP H2O.mtx 67024 1074856 16 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 16 2553 8.205 []
ILP inf-power.mtx 4941 6594 16 214 0.497 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 16 478 0.464 []
ILP rec-amazon.mtx 91813 125704 16 80 44.012 []
ILP rec-yelp-user-business.edges 50394 229572 16 10137 2893.277 []
ILP road-euroroad.edges 1174 1417 16 114 0.09 []
ILP rt-twitter-copen.mtx 761 1029 16 319 0.065 []
ILP soc-brightkite.mtx 56739 212945 16 10272 1289.155 []
ILP soc-firm-hi-tech.txt 33 91 16 66 0.412 []
ILP bio-CE-CX.edges 15229 245952 17 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 17 325 0.091 []
ILP bio-dmela.mtx 7393 25569 17 1767 11.162 []
ILP bio-yeast.mtx 1458 1948 17 424 0.095 []
ILP ca-CSphd.mtx 1882 1740 17 308 0.103 []
ILP ca-Erdos992.mtx 5094 7515 17 861 0.843 []
ILP ca-netscience.mtx 379 914 17 274 0.082 []
ILP econ-poli.mtx 3915 4119 17 640 0.438 []
ILP ENZYMES_g295.edges 123 139 17 53 0.021 []
ILP H2O.mtx 67024 1074856 17 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 17 2669 7.939 []
ILP inf-power.mtx 4941 6594 17 225 0.458 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 17 500 0.405 []
ILP rec-amazon.mtx 91813 125704 17 85 39.608 []
ILP rec-yelp-user-business.edges 50394 229572 17 10648 1707.933 []
ILP road-euroroad.edges 1174 1417 17 120 0.116 []
ILP rt-twitter-copen.mtx 761 1029 17 331 0.082 []
ILP soc-brightkite.mtx 56739 212945 17 10616 725.333 []
ILP soc-firm-hi-tech.txt 33 91 17 66 0.246 []
ILP bio-CE-CX.edges 15229 245952 18 5635 2918.194 []
ILP bio-diseasome.mtx 516 1188 18 336 0.061 []
ILP bio-dmela.mtx 7393 25569 18 1843 5.646 []
ILP bio-yeast.mtx 1458 1948 18 438 0.072 []
ILP ca-CSphd.mtx 1882 1740 18 321 0.063 []
ILP ca-Erdos992.mtx 5094 7515 18 905 0.538 []
ILP ca-netscience.mtx 379 914 18 284 0.063 []
ILP econ-poli.mtx 3915 4119 18 667 0.382 []
ILP ENZYMES_g295.edges 123 139 18 55 0.018 []
ILP H2O.mtx 67024 1074856 18 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 18 2783 5.297 []
ILP inf-power.mtx 4941 6594 18 236 0.376 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 18 522 0.321 []
ILP rec-amazon.mtx 91813 125704 18 90 29.623 []
ILP rec-yelp-user-business.edges 50394 229572 18 11155 2313.431 []
ILP road-euroroad.edges 1174 1417 18 126 0.066 []
ILP rt-twitter-copen.mtx 761 1029 18 342 0.103 []
ILP soc-brightkite.mtx 56739 212945 18 10947 981.488 []
ILP soc-firm-hi-tech.txt 33 91 18 66 0.277 []
ILP bio-CE-CX.edges 15229 245952 19 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 19 346 0.067 []
ILP bio-dmela.mtx 7393 25569 19 1919 10.905 []
ILP bio-yeast.mtx 1458 1948 19 452 0.09 []
ILP ca-CSphd.mtx 1882 1740 19 334 0.096 []
ILP ca-Erdos992.mtx 5094 7515 19 949 0.996 []
ILP ca-netscience.mtx 379 914 19 294 0.084 []
ILP econ-poli.mtx 3915 4119 19 693 0.572 []
ILP ENZYMES_g295.edges 123 139 19 57 0.027 []
ILP H2O.mtx 67024 1074856 19 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 19 2892 7.845 []
ILP inf-power.mtx 4941 6594 19 247 0.472 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 19 544 0.394 []
ILP rec-amazon.mtx 91813 125704 19 95 37.06 []
ILP rec-yelp-user-business.edges 50394 229572 19 11650 2907.453 []
ILP road-euroroad.edges 1174 1417 19 132 0.075 []
ILP rt-twitter-copen.mtx 761 1029 19 353 0.061 []
ILP soc-brightkite.mtx 56739 212945 19 11274 1522.137 []
ILP soc-firm-hi-tech.txt 33 91 19 66 0.441 []
ILP bio-CE-CX.edges 15229 245952 20 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 20 355 0.139 []
ILP bio-dmela.mtx 7393 25569 20 1992 14.52 []
ILP bio-yeast.mtx 1458 1948 20 465 0.219 []
ILP ca-CSphd.mtx 1882 1740 20 347 0.166 []
ILP ca-Erdos992.mtx 5094 7515 20 992 1.118 []
ILP ca-netscience.mtx 379 914 20 304 0.094 []
ILP econ-poli.mtx 3915 4119 20 718 0.709 []
ILP ENZYMES_g295.edges 123 139 20 59 0.048 []
ILP H2O.mtx 67024 1074856 20 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 20 2997 7.135 []
ILP inf-power.mtx 4941 6594 20 258 0.38 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 20 565 0.375 []
ILP rec-amazon.mtx 91813 125704 20 100 30.914 []
ILP rec-yelp-user-business.edges 50394 229572 20 12141 2509.243 []
ILP road-euroroad.edges 1174 1417 20 138 0.107 []
ILP rt-twitter-copen.mtx 761 1029 20 363 0.06 []
ILP soc-brightkite.mtx 56739 212945 20 11598 1060.143 []
ILP soc-firm-hi-tech.txt 33 91 20 65 0.372 []
ILP bio-CE-CX.edges 15229 245952 21 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 21 364 0.115 []
ILP bio-dmela.mtx 7393 25569 21 2065 12.164 []
ILP bio-yeast.mtx 1458 1948 21 478 0.132 []
ILP ca-CSphd.mtx 1882 1740 21 359 0.137 []
ILP ca-Erdos992.mtx 5094 7515 21 1035 1.02 []
ILP ca-netscience.mtx 379 914 21 313 0.104 []
ILP econ-poli.mtx 3915 4119 21 742 0.617 []
ILP ENZYMES_g295.edges 123 139 21 61 0.021 []
ILP H2O.mtx 67024 1074856 21 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 21 3101 10.052 []
ILP inf-power.mtx 4941 6594 21 268 0.544 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 21 586 0.549 []
ILP rec-amazon.mtx 91813 125704 21 105 40.904 []
ILP rec-yelp-user-business.edges 50394 229572 21 12631 3190.343 []
ILP road-euroroad.edges 1174 1417 21 143 0.089 []
ILP rt-twitter-copen.mtx 761 1029 21 373 0.078 []
ILP soc-brightkite.mtx 56739 212945 21 11921 1467.873 []
ILP soc-firm-hi-tech.txt 33 91 21 65 0.278 []
ILP bio-CE-CX.edges 15229 245952 22 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 22 373 0.109 []
ILP bio-dmela.mtx 7393 25569 22 2137 13.005 []
ILP bio-yeast.mtx 1458 1948 22 491 0.115 []
ILP ca-CSphd.mtx 1882 1740 22 370 0.144 []
ILP ca-Erdos992.mtx 5094 7515 22 1078 1.034 []
ILP ca-netscience.mtx 379 914 22 322 0.116 []
ILP econ-poli.mtx 3915 4119 22 764 0.622 []
ILP ENZYMES_g295.edges 123 139 22 63 0.037 []
ILP H2O.mtx 67024 1074856 22 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 22 3205 10.306 []
ILP inf-power.mtx 4941 6594 22 278 0.516 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 22 607 0.568 []
ILP rec-amazon.mtx 91813 125704 22 110 42.151 []
ILP rec-yelp-user-business.edges 50394 229572 22 13118 3308.385 []
ILP road-euroroad.edges 1174 1417 22 148 0.092 []
ILP rt-twitter-copen.mtx 761 1029 22 383 0.087 []
ILP soc-brightkite.mtx 56739 212945 22 12243 1408.659 []
ILP soc-firm-hi-tech.txt 33 91 22 64 0.416 []
ILP bio-CE-CX.edges 15229 245952 23 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 23 381 0.381 []
ILP bio-dmela.mtx 7393 25569 23 2209 14.831 []
ILP bio-yeast.mtx 1458 1948 23 504 0.159 []
ILP ca-CSphd.mtx 1882 1740 23 381 0.106 []
ILP ca-Erdos992.mtx 5094 7515 23 1121 1.054 []
ILP ca-netscience.mtx 379 914 23 331 0.1 []
ILP econ-poli.mtx 3915 4119 23 786 0.8 []
ILP ENZYMES_g295.edges 123 139 23 65 0.028 []
ILP H2O.mtx 67024 1074856 23 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 23 3307 6.746 []
ILP inf-power.mtx 4941 6594 23 288 0.446 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 23 628 0.378 []
ILP rec-amazon.mtx 91813 125704 23 115 32.916 []
ILP rec-yelp-user-business.edges 50394 229572 23 13594 2513.197 []
ILP road-euroroad.edges 1174 1417 23 153 0.092 []
ILP rt-twitter-copen.mtx 761 1029 23 392 0.061 []
ILP soc-brightkite.mtx 56739 212945 23 12559 1020.93 []
ILP soc-firm-hi-tech.txt 33 91 23 63 0.31 []
ILP bio-CE-CX.edges 15229 245952 24 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 24 389 0.273 []
ILP bio-dmela.mtx 7393 25569 24 2280 7.995 []
ILP bio-yeast.mtx 1458 1948 24 516 0.132 []
ILP ca-CSphd.mtx 1882 1740 24 392 0.151 []
ILP ca-Erdos992.mtx 5094 7515 24 1163 0.73 []
ILP ca-netscience.mtx 379 914 24 339 0.069 []
ILP econ-poli.mtx 3915 4119 24 808 0.603 []
ILP ENZYMES_g295.edges 123 139 24 67 0.021 []
ILP H2O.mtx 67024 1074856 24 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 24 3405 10.185 []
ILP inf-power.mtx 4941 6594 24 298 0.522 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 24 649 0.47 []
ILP rec-amazon.mtx 91813 125704 24 120 37.965 []
ILP rec-yelp-user-business.edges 50394 229572 24 14070 1693.575 []
ILP road-euroroad.edges 1174 1417 24 158 0.091 []
ILP rt-twitter-copen.mtx 761 1029 24 401 0.073 []
ILP soc-brightkite.mtx 56739 212945 24 12874 678.229 []
ILP soc-firm-hi-tech.txt 33 91 24 61 0.155 []
ILP bio-CE-CX.edges 15229 245952 25 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 25 397 0.3 []
ILP bio-dmela.mtx 7393 25569 25 2347 7.913 []
ILP bio-yeast.mtx 1458 1948 25 528 0.088 []
ILP ca-CSphd.mtx 1882 1740 25 403 0.077 []
ILP ca-Erdos992.mtx 5094 7515 25 1205 0.781 []
ILP ca-netscience.mtx 379 914 25 347 0.075 []
ILP econ-poli.mtx 3915 4119 25 830 0.421 []
ILP ENZYMES_g295.edges 123 139 25 69 0.028 []
ILP H2O.mtx 67024 1074856 25 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 25 3497 9.574 []
ILP inf-power.mtx 4941 6594 25 308 0.517 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 25 669 0.449 []
ILP rec-amazon.mtx 91813 125704 25 125 39.848 []
ILP rec-yelp-user-business.edges 50394 229572 25 14530 3128.23 []
ILP road-euroroad.edges 1174 1417 25 163 0.111 []
ILP rt-twitter-copen.mtx 761 1029 25 409 0.056 []
ILP soc-brightkite.mtx 56739 212945 25 13183 1211.424 []
ILP soc-firm-hi-tech.txt 33 91 25 59 0.14 []
ILP bio-CE-CX.edges 15229 245952 26 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 26 404 0.439 []
ILP bio-dmela.mtx 7393 25569 26 2413 12.745 []
ILP bio-yeast.mtx 1458 1948 26 539 0.153 []
ILP ca-CSphd.mtx 1882 1740 26 414 0.152 []
ILP ca-Erdos992.mtx 5094 7515 26 1247 0.947 []
ILP ca-netscience.mtx 379 914 26 354 0.122 []
ILP econ-poli.mtx 3915 4119 26 852 0.586 []
ILP ENZYMES_g295.edges 123 139 26 71 0.02 []
ILP H2O.mtx 67024 1074856 26 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 26 3586 16.326 []
ILP inf-power.mtx 4941 6594 26 318 0.596 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 26 689 0.735 []
ILP rec-amazon.mtx 91813 125704 26 130 55.059 []
ILP rec-yelp-user-business.edges 50394 229572 26 14984 3530.759 []
ILP road-euroroad.edges 1174 1417 26 168 0.088 []
ILP rt-twitter-copen.mtx 761 1029 26 417 0.068 []
ILP soc-brightkite.mtx 56739 212945 26 13488 1512.756 []
ILP soc-firm-hi-tech.txt 33 91 26 56 0.075 []
ILP bio-CE-CX.edges 15229 245952 27 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 27 411 0.611 []
ILP bio-dmela.mtx 7393 25569 27 2479 15.921 []
ILP bio-yeast.mtx 1458 1948 27 550 0.155 []
ILP ca-CSphd.mtx 1882 1740 27 425 0.174 []
ILP ca-Erdos992.mtx 5094 7515 27 1288 1.165 []
ILP ca-netscience.mtx 379 914 27 361 0.116 []
ILP econ-poli.mtx 3915 4119 27 873 0.904 []
ILP ENZYMES_g295.edges 123 139 27 73 0.069 []
ILP H2O.mtx 67024 1074856 27 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 27 3674 20.708 []
ILP inf-power.mtx 4941 6594 27 328 0.909 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 27 709 0.622 []
ILP rec-amazon.mtx 91813 125704 27 135 62.997 []
ILP rec-yelp-user-business.edges 50394 229572 27 0 TIMEOUT []
ILP road-euroroad.edges 1174 1417 27 173 0.193 []
ILP rt-twitter-copen.mtx 761 1029 27 425 0.13 []
ILP soc-brightkite.mtx 56739 212945 27 13785 2088.436 []
ILP soc-firm-hi-tech.txt 33 91 27 53 0.067 []
ILP bio-CE-CX.edges 15229 245952 28 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 28 418 0.644 []
ILP bio-dmela.mtx 7393 25569 28 2545 20.042 []
ILP bio-yeast.mtx 1458 1948 28 561 0.238 []
ILP ca-CSphd.mtx 1882 1740 28 435 0.178 []
ILP ca-Erdos992.mtx 5094 7515 28 1329 1.833 []
ILP ca-netscience.mtx 379 914 28 368 0.136 []
ILP econ-poli.mtx 3915 4119 28 894 0.923 []
ILP ENZYMES_g295.edges 123 139 28 75 0.057 []
ILP H2O.mtx 67024 1074856 28 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 28 3760 7.333 []
ILP inf-power.mtx 4941 6594 28 338 0.536 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 28 728 0.529 []
ILP rec-amazon.mtx 91813 125704 28 140 34.346 []
ILP rec-yelp-user-business.edges 50394 229572 28 15882 2291.232 []
ILP road-euroroad.edges 1174 1417 28 178 0.14 []
ILP rt-twitter-copen.mtx 761 1029 28 433 0.07 []
ILP soc-brightkite.mtx 56739 212945 28 14081 976.06 []
ILP soc-firm-hi-tech.txt 33 91 28 48 0.021 []
ILP bio-CE-CX.edges 15229 245952 29 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 29 425 0.41 []
ILP bio-dmela.mtx 7393 25569 29 2610 10.63 []
ILP bio-yeast.mtx 1458 1948 29 572 0.105 []
ILP ca-CSphd.mtx 1882 1740 29 445 0.129 []
ILP ca-Erdos992.mtx 5094 7515 29 1370 0.869 []
ILP ca-netscience.mtx 379 914 29 375 0.074 []
ILP econ-poli.mtx 3915 4119 29 915 0.562 []
ILP ENZYMES_g295.edges 123 139 29 77 0.031 []
ILP H2O.mtx 67024 1074856 29 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 29 3845 14.297 []
ILP inf-power.mtx 4941 6594 29 348 0.666 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 29 747 0.593 []
ILP rec-amazon.mtx 91813 125704 29 145 44.587 []
ILP rec-yelp-user-business.edges 50394 229572 29 16327 3550.703 []
ILP road-euroroad.edges 1174 1417 29 183 0.119 []
ILP rt-twitter-copen.mtx 761 1029 29 440 0.073 []
ILP soc-brightkite.mtx 56739 212945 29 14377 1587.998 []
ILP soc-firm-hi-tech.txt 33 91 29 42 0.024 []
ILP bio-CE-CX.edges 15229 245952 30 0 TIMEOUT []
ILP bio-diseasome.mtx 516 1188 30 432 0.827 []
ILP bio-dmela.mtx 7393 25569 30 2674 17.398 []
ILP bio-yeast.mtx 1458 1948 30 583 0.244 []
ILP ca-CSphd.mtx 1882 1740 30 455 0.197 []
ILP ca-Erdos992.mtx 5094 7515 30 1410 1.522 []
ILP ca-netscience.mtx 379 914 30 382 0.214 []
ILP econ-poli.mtx 3915 4119 30 936 0.933 []
ILP ENZYMES_g295.edges 123 139 30 79 0.032 []
ILP H2O.mtx 67024 1074856 30 0 TIMEOUT []
ILP inf-openflights.edges 2939 15677 30 3930 25.371 []
ILP inf-power.mtx 4941 6594 30 358 1.108 []
ILP mammalia-voles-bhp-trapping.edges 1686 4623 30 765 1.695 []
ILP rec-amazon.mtx 91813 125704 30 150 87.915 []
ILP rec-yelp-user-business.edges 50394 229572 30 0 TIMEOUT []
ILP road-euroroad.edges 1174 1417 30 188 0.174 []
ILP rt-twitter-copen.mtx 761 1029 30 447 0.097 []
ILP soc-brightkite.mtx 56739 212945 30 14663 2085.559 []
ILP soc-firm-hi-tech.txt 33 91 30 35 0.018 []