Index of /~mptp/1147/mptp/ilp0/relat_1
Name
Last modified
Size
Description
Parent Directory
-
relat_1__350_11.min1.thm1
2017-02-06 12:46
130
relat_1__2612_13.min1.thm1
2017-02-06 12:46
131
relat_1__2746_11.min1.thm1
2017-02-06 12:46
131
relat_1__835_11.min1.thm1.tptp
2017-02-06 16:47
231
relat_1__837_11.min1.thm1.tptp
2017-02-06 16:47
233
relat_1__1097_17.min1.thm1
2017-02-06 12:46
237
relat_1__992_16.min1.thm1
2017-02-06 12:46
244
relat_1__2151_18.min1.thm1
2017-02-06 12:46
244
relat_1__971_29.min1.thm1.tptp
2017-02-06 16:47
256
relat_1__2588_26.min1.thm1.tptp
2017-02-06 16:47
256
relat_1__1320_12.min1.thm1
2017-02-06 12:46
259
relat_1__2521_17.min1.thm1.tptp
2017-02-06 16:47
262
relat_1__3010_13.min1.thm1
2017-02-06 12:46
262
relat_1__1671_12.min1.thm1
2017-02-06 12:46
263
relat_1__1297_13.min1.thm1
2017-02-06 12:46
264
relat_1__1302_15.min1.thm1.tptp
2017-02-06 16:47
265
relat_1__2520_16.min1.thm1.tptp
2017-02-06 16:47
265
relat_1__141_18.min1.thm1
2017-02-06 12:46
266
relat_1__1239_20.min1.thm1
2017-02-06 12:46
266
relat_1__1655_12.min1.thm1
2017-02-06 12:46
266
relat_1__2926_16.min1.thm1
2017-02-06 12:46
270
relat_1__1574_14.min1.thm1.tptp
2017-02-06 16:47
271
relat_1__3160_14.min1.thm1.tptp
2017-02-06 16:47
271
relat_1__267_15.min1.thm1.tptp
2017-02-06 16:47
272
relat_1__284_17.min1.thm1.tptp
2017-02-06 16:47
272
relat_1__2935_17.min1.thm1
2017-02-06 12:46
272
relat_1__756_26.min1.thm1.tptp
2017-02-06 16:47
273
relat_1__264_21.min1.thm1.tptp
2017-02-06 16:47
276
relat_1__281_21.min1.thm1.tptp
2017-02-06 16:47
276
relat_1__43_55.min1.thm1.tptp
2017-02-06 16:47
278
relat_1__2999_21.min1.thm1.tptp
2017-02-06 16:47
279
relat_1__3141_17.min1.thm1.tptp
2017-02-06 16:47
284
relat_1__2960_28.min1.thm1
2017-02-06 12:46
286
relat_1__3032_46.min1.thm1
2017-02-06 12:46
291
relat_1__174_16.min1.thm1.tptp
2017-02-06 16:47
298
relat_1__2271_17.min1.thm1.tptp
2017-02-06 16:47
298
relat_1__1898_18.min1.thm1.tptp
2017-02-06 16:47
300
relat_1__3103_21.min1.thm1.tptp
2017-02-06 16:47
302
relat_1__2839_18.min1.thm1
2017-02-06 12:46
307
relat_1__583_20.min1.thm1.tptp
2017-02-06 16:47
308
relat_1__601_20.min1.thm1.tptp
2017-02-06 16:47
308
relat_1__1331_30.min1.thm1
2017-02-06 12:46
308
relat_1__1326_15.min1.thm1
2017-02-06 12:46
310
relat_1__1677_18.min1.thm1
2017-02-06 12:46
310
relat_1__835_11.min1.thm1
2017-02-06 12:46
312
relat_1__2259_26.min1.thm1.tptp
2017-02-06 16:47
312
relat_1__1886_27.min1.thm1.tptp
2017-02-06 16:47
313
relat_1__837_11.min1.thm1
2017-02-06 12:46
314
relat_1__1689_30.min1.thm1
2017-02-06 12:46
314
relat_1__1830_19.min1.thm1.tptp
2017-02-06 16:47
314
relat_1__2203_19.min1.thm1.tptp
2017-02-06 16:47
314
relat_1__80_18.min1.thm1.tptp
2017-02-06 16:47
323
relat_1__971_29.min1.thm1
2017-02-06 12:46
323
relat_1__3037_9.min1.thm1.tptp
2017-02-06 16:47
323
relat_1__1071_21.min1.thm1.tptp
2017-02-06 16:47
325
relat_1__3118_16.min1.thm1.tptp
2017-02-06 16:47
326
relat_1__1092_21.min1.thm1.tptp
2017-02-06 16:47
327
relat_1__2521_17.min1.thm1
2017-02-06 12:46
327
relat_1__2550_24.min1.thm1.tptp
2017-02-06 16:47
328
relat_1__2649_30.min1.thm1.tptp
2017-02-06 16:47
328
relat_1__2850_15.min1.thm1.tptp
2017-02-06 16:47
328
relat_1__3128_16.min1.thm1.tptp
2017-02-06 16:47
328
relat_1__2977_18.min1.thm1.tptp
2017-02-06 16:47
330
relat_1__3017_15.min1.thm1.tptp
2017-02-06 16:47
330
relat_1__271_22.min1.thm1.tptp
2017-02-06 16:47
332
relat_1__2987_18.min1.thm1.tptp
2017-02-06 16:47
332
relat_1__3009_31.min1.thm1
2017-02-06 12:46
332
relat_1__3026_15.min1.thm1.tptp
2017-02-06 16:47
332
relat_1__288_17.min1.thm1.tptp
2017-02-06 16:47
334
relat_1__1338_30.min1.thm1.tptp
2017-02-06 16:47
335
relat_1__267_15.min1.thm1
2017-02-06 12:46
337
relat_1__284_17.min1.thm1
2017-02-06 12:46
337
relat_1__326_24.min1.thm1.tptp
2017-02-06 16:47
339
relat_1__1066_18.min1.thm1.tptp
2017-02-06 16:47
339
relat_1__1087_18.min1.thm1.tptp
2017-02-06 16:47
339
relat_1__2588_26.min1.thm1
2017-02-06 12:46
339
relat_1__264_21.min1.thm1
2017-02-06 12:46
341
relat_1__281_21.min1.thm1
2017-02-06 12:46
341
relat_1__1682_30.min1.thm1.tptp
2017-02-06 16:47
341
relat_1__1417_15.min1.thm1.tptp
2017-02-06 16:47
342
relat_1__2520_16.min1.thm1
2017-02-06 12:46
342
relat_1__2604_59.min1.thm1
2017-02-06 12:46
342
relat_1__248_30.min1.thm1.tptp
2017-02-06 16:47
343
relat_1__1302_15.min1.thm1
2017-02-06 12:46
343
relat_1__43_55.min1.thm1
2017-02-06 12:46
345
relat_1__2025_11.min1.thm1.tptp
2017-02-06 16:47
345
relat_1__2376_11.min1.thm1.tptp
2017-02-06 16:47
345
relat_1__1400_18.min1.thm1.tptp
2017-02-06 16:47
346
relat_1__3192_17.min1.thm1.tptp
2017-02-06 16:47
346
relat_1__2875_25.min1.thm1.tptp
2017-02-06 16:47
347
relat_1__3198_17.min1.thm1.tptp
2017-02-06 16:47
348
relat_1__310_26.min1.thm1.tptp
2017-02-06 16:47
349
relat_1__322_19.min1.thm1.tptp
2017-02-06 16:47
349
relat_1__1574_14.min1.thm1
2017-02-06 12:46
349
relat_1__3160_14.min1.thm1
2017-02-06 12:46
349
relat_1__3183_26.min1.thm1.tptp
2017-02-06 16:47
349
relat_1__756_26.min1.thm1
2017-02-06 12:46
352
relat_1__2999_21.min1.thm1
2017-02-06 12:46
353
relat_1__117_62.min1.thm1
2017-02-06 12:46
354
relat_1__2574_30.min1.thm1.tptp
2017-02-06 16:47
354
relat_1__182_16.min1.thm1.tptp
2017-02-06 16:47
358
relat_1__2643_16.min1.thm1
2017-02-06 12:46
358
relat_1__3057_18.min1.thm1
2017-02-06 12:46
358
relat_1__306_21.min1.thm1.tptp
2017-02-06 16:47
359
relat_1__2009_20.min1.thm1.tptp
2017-02-06 16:47
361
relat_1__2360_20.min1.thm1.tptp
2017-02-06 16:47
361
relat_1__221_33.min1.thm1
2017-02-06 12:46
362
relat_1__3141_17.min1.thm1
2017-02-06 12:46
362
relat_1__174_16.min1.thm1
2017-02-06 12:46
368
relat_1__335_33.min1.thm1
2017-02-06 12:46
369
relat_1__2680_13.min1.thm1
2017-02-06 12:46
370
relat_1__2683_13.min1.thm1
2017-02-06 12:46
370
relat_1__2162_20.min1.thm1.tptp
2017-02-06 16:47
371
relat_1__1586_20.min1.thm1.tptp
2017-02-06 16:47
373
relat_1__2490_20.min1.thm1.tptp
2017-02-06 16:47
373
relat_1__1830_19.min1.thm1
2017-02-06 12:46
374
relat_1__2203_19.min1.thm1
2017-02-06 12:46
374
relat_1__2271_17.min1.thm1
2017-02-06 12:46
376
relat_1__2688_34.min1.thm1.tptp
2017-02-06 16:47
376
relat_1__2696_34.min1.thm1.tptp
2017-02-06 16:47
376
relat_1__3103_21.min1.thm1
2017-02-06 12:46
376
relat_1__1898_18.min1.thm1
2017-02-06 12:46
378
relat_1__1071_21.min1.thm1
2017-02-06 12:46
382
relat_1__80_18.min1.thm1
2017-02-06 12:46
383
relat_1__224_34.min1.thm1
2017-02-06 12:46
384
relat_1__1092_21.min1.thm1
2017-02-06 12:46
384
relat_1__1380_23.min1.thm1.tptp
2017-02-06 16:47
385
relat_1__865_10.min1.thm1
2017-02-06 12:46
388
relat_1__1233_26.min1.thm1.tptp
2017-02-06 16:47
388
relat_1__583_20.min1.thm1
2017-02-06 12:46
389
relat_1__601_20.min1.thm1
2017-02-06 12:46
389
relat_1__2259_26.min1.thm1
2017-02-06 12:46
390
relat_1__338_34.min1.thm1
2017-02-06 12:46
391
relat_1__1886_27.min1.thm1
2017-02-06 12:46
391
relat_1__271_22.min1.thm1
2017-02-06 12:46
392
relat_1__852_30.min1.thm1.tptp
2017-02-06 16:47
392
relat_1__326_24.min1.thm1
2017-02-06 12:46
393
relat_1__3037_9.min1.thm1
2017-02-06 12:46
393
relat_1__288_17.min1.thm1
2017-02-06 12:46
394
relat_1__893_25.min1.thm1
2017-02-06 12:46
394
relat_1__3105_31.min1.thm1.tptp
2017-02-06 16:47
396
relat_1__3065_25.min1.thm1.tptp
2017-02-06 16:47
398
relat_1__3076_12.min1.thm1.tptp
2017-02-06 16:47
399
relat_1__3091_13.min1.thm1.tptp
2017-02-06 16:47
399
relat_1__1990_25.min1.thm1.tptp
2017-02-06 16:47
400
relat_1__2341_25.min1.thm1.tptp
2017-02-06 16:47
400
relat_1__3118_16.min1.thm1
2017-02-06 12:46
400
relat_1__1338_30.min1.thm1
2017-02-06 12:46
401
relat_1__2850_15.min1.thm1
2017-02-06 12:46
402
relat_1__3128_16.min1.thm1
2017-02-06 12:46
402
relat_1__3142_16.min1.thm1.tptp
2017-02-06 16:47
402
relat_1__248_30.min1.thm1
2017-02-06 12:46
403
relat_1__310_26.min1.thm1
2017-02-06 12:46
403
relat_1__322_19.min1.thm1
2017-02-06 12:46
403
relat_1__1417_15.min1.thm1
2017-02-06 12:46
404
relat_1__2977_18.min1.thm1
2017-02-06 12:46
404
relat_1__3017_15.min1.thm1
2017-02-06 12:46
404
relat_1__2550_24.min1.thm1
2017-02-06 12:46
405
relat_1__2649_30.min1.thm1
2017-02-06 12:46
405
relat_1__2987_18.min1.thm1
2017-02-06 12:46
406
relat_1__3026_15.min1.thm1
2017-02-06 12:46
406
relat_1__1682_30.min1.thm1
2017-02-06 12:46
407
relat_1__2025_11.min1.thm1
2017-02-06 12:46
407
relat_1__2376_11.min1.thm1
2017-02-06 12:46
407
relat_1__1400_18.min1.thm1
2017-02-06 12:46
408
relat_1__3149_28.min1.thm1.tptp
2017-02-06 16:47
409
relat_1__1171_16.min1.thm1.tptp
2017-02-06 16:47
412
relat_1__306_21.min1.thm1
2017-02-06 12:46
413
relat_1__1066_18.min1.thm1
2017-02-06 12:46
413
relat_1__1087_18.min1.thm1
2017-02-06 12:46
413
relat_1__757_16.min1.thm1
2017-02-06 12:46
414
relat_1__1562_16.min1.thm1.tptp
2017-02-06 16:47
415
relat_1__227_32.min1.thm1.tptp
2017-02-06 16:47
416
relat_1__182_16.min1.thm1
2017-02-06 12:46
418
relat_1__3192_17.min1.thm1
2017-02-06 12:46
420
relat_1__3198_17.min1.thm1
2017-02-06 12:46
422
relat_1__341_32.min1.thm1.tptp
2017-02-06 16:47
423
relat_1__1725_39.min1.thm1
2017-02-06 12:46
423
relat_1__1736_38.min1.thm1
2017-02-06 12:46
423
relat_1__2009_20.min1.thm1
2017-02-06 12:46
423
relat_1__2360_20.min1.thm1
2017-02-06 12:46
423
relat_1__1184_16.min1.thm1.tptp
2017-02-06 16:47
425
relat_1__2875_25.min1.thm1
2017-02-06 12:46
425
relat_1__2954_19.min1.thm1
2017-02-06 12:46
426
relat_1__3183_26.min1.thm1
2017-02-06 12:46
427
relat_1__1921_17.min1.thm1.tptp
2017-02-06 16:47
430
relat_1__2690_46.min1.thm1.tptp
2017-02-06 16:47
430
relat_1__2574_30.min1.thm1
2017-02-06 12:46
431
relat_1__2698_46.min1.thm1.tptp
2017-02-06 16:47
431
relat_1__2162_20.min1.thm1
2017-02-06 12:46
433
relat_1__191_41.min1.thm1
2017-02-06 12:46
435
relat_1__1586_20.min1.thm1
2017-02-06 12:46
435
relat_1__2490_20.min1.thm1
2017-02-06 12:46
435
relat_1__2874_26.min1.thm1.tptp
2017-02-06 16:47
435
relat_1__2908_26.min1.thm1.tptp
2017-02-06 16:47
435
relat_1__3171_27.min1.thm1.tptp
2017-02-06 16:47
435
relat_1__145_11.min1.thm1
2017-02-06 12:46
437
relat_1__1293_16.min1.thm1
2017-02-06 12:46
437
relat_1__2564_17.min1.thm1
2017-02-06 12:46
437
relat_1__2513_25.min1.thm1
2017-02-06 12:46
439
relat_1__2863_26.min1.thm1.tptp
2017-02-06 16:47
439
relat_1__2897_26.min1.thm1.tptp
2017-02-06 16:47
439
relat_1__3182_27.min1.thm1.tptp
2017-02-06 16:47
439
relat_1__852_30.min1.thm1
2017-02-06 12:46
440
relat_1__2533_20.min1.thm1.tptp
2017-02-06 16:47
440
relat_1__3048_18.min1.thm1.tptp
2017-02-06 16:47
440
relat_1__332_51.min1.thm1.tptp
2017-02-06 16:47
441
relat_1__1286_37.min1.thm1.tptp
2017-02-06 16:47
443
relat_1__1468_11.min1.thm1
2017-02-06 12:46
444
relat_1__1651_16.min1.thm1
2017-02-06 12:46
445
relat_1__1754_12.min1.thm1
2017-02-06 12:46
445
relat_1__1380_23.min1.thm1
2017-02-06 12:46
447
relat_1__3119_21.min1.thm1
2017-02-06 12:46
447
relat_1__2587_19.min1.thm1
2017-02-06 12:46
449
relat_1__3129_21.min1.thm1
2017-02-06 12:46
449
relat_1__1233_26.min1.thm1
2017-02-06 12:46
450
relat_1__1644_37.min1.thm1.tptp
2017-02-06 16:47
451
relat_1__2599_29.min1.thm1.tptp
2017-02-06 16:47
453
relat_1__2688_34.min1.thm1
2017-02-06 12:46
453
relat_1__2696_34.min1.thm1
2017-02-06 12:46
453
relat_1__3076_12.min1.thm1
2017-02-06 12:46
453
relat_1__3091_13.min1.thm1
2017-02-06 12:46
453
relat_1__2481_17.min1.thm1.tptp
2017-02-06 16:47
454
relat_1__2130_17.min1.thm1.tptp
2017-02-06 16:47
458
relat_1__1990_25.min1.thm1
2017-02-06 12:46
462
relat_1__2341_25.min1.thm1
2017-02-06 12:46
462
relat_1__1598_24.min1.thm1
2017-02-06 12:46
465
relat_1__2884_38.min1.thm1
2017-02-06 12:46
467
relat_1__1746_41.min1.thm1.tptp
2017-02-06 16:47
469
relat_1__931_35.min1.thm1.tptp
2017-02-06 16:47
470
relat_1__3105_31.min1.thm1
2017-02-06 12:46
470
relat_1__3065_25.min1.thm1
2017-02-06 12:46
472
relat_1__1369_17.min1.thm1.tptp
2017-02-06 16:47
473
relat_1__1427_18.min1.thm1
2017-02-06 12:46
473
relat_1__3142_16.min1.thm1
2017-02-06 12:46
473
relat_1__3151_38.min1.thm1.tptp
2017-02-06 16:47
473
relat_1__1192_44.min1.thm1.tptp
2017-02-06 16:47
474
relat_1__577_27.min1.thm1
2017-02-06 12:46
475
relat_1__227_32.min1.thm1
2017-02-06 12:46
476
relat_1__1171_16.min1.thm1
2017-02-06 12:46
477
relat_1__595_27.min1.thm1
2017-02-06 12:46
479
relat_1__1562_16.min1.thm1
2017-02-06 12:46
480
relat_1__2690_46.min1.thm1
2017-02-06 12:46
480
relat_1__2698_46.min1.thm1
2017-02-06 12:46
481
relat_1__434_16.min1.thm1.tptp
2017-02-06 16:47
482
relat_1__341_32.min1.thm1
2017-02-06 12:46
483
relat_1__263_17.min1.thm1
2017-02-06 12:46
484
relat_1__280_19.min1.thm1
2017-02-06 12:46
484
relat_1__98_11.min1.thm1
2017-02-06 12:46
486
relat_1__332_51.min1.thm1
2017-02-06 12:46
487
relat_1__1718_17.min1.thm1.tptp
2017-02-06 16:47
487
relat_1__2072_17.min1.thm1.tptp
2017-02-06 16:47
487
relat_1__2423_17.min1.thm1.tptp
2017-02-06 16:47
487
relat_1__1184_16.min1.thm1
2017-02-06 12:46
490
relat_1__1921_17.min1.thm1
2017-02-06 12:46
490
relat_1__2542_14.min1.thm1
2017-02-06 12:46
490
relat_1__3149_28.min1.thm1
2017-02-06 12:46
490
relat_1__2632_16.min1.thm1
2017-02-06 12:46
493
relat_1__2633_17.min1.thm1
2017-02-06 12:46
493
relat_1__2979_22.min1.thm1
2017-02-06 12:46
493
relat_1__1471_11.min1.thm1
2017-02-06 12:46
495
relat_1__807_13.min1.thm1
2017-02-06 12:46
496
relat_1__1415_15.min1.thm1
2017-02-06 12:46
497
relat_1__2628_18.min1.thm1
2017-02-06 12:46
497
relat_1__2629_25.min1.thm1
2017-02-06 12:46
497
relat_1__2989_23.min1.thm1
2017-02-06 12:46
497
relat_1__2022_11.min1.thm1
2017-02-06 12:46
500
relat_1__2373_11.min1.thm1
2017-02-06 12:46
500
relat_1__922_18.min1.thm1.tptp
2017-02-06 16:47
501
relat_1__1392_18.min1.thm1
2017-02-06 12:46
501
relat_1__358_20.min1.thm1
2017-02-06 12:46
502
relat_1__472_17.min1.thm1
2017-02-06 12:46
502
relat_1__600_15.min1.thm1
2017-02-06 12:46
502
relat_1__1440_22.min1.thm1
2017-02-06 12:46
502
relat_1__1067_17.min1.thm1
2017-02-06 12:46
503
relat_1__1088_17.min1.thm1
2017-02-06 12:46
503
relat_1__2552_9.min1.thm1
2017-02-06 12:46
503
relat_1__3001_10.min1.thm1
2017-02-06 12:46
503
relat_1__3018_18.min1.thm1
2017-02-06 12:46
503
relat_1__360_15.min1.thm1
2017-02-06 12:46
504
relat_1__582_15.min1.thm1
2017-02-06 12:46
504
relat_1__1997_16.min1.thm1.tptp
2017-02-06 16:47
504
relat_1__2348_16.min1.thm1.tptp
2017-02-06 16:47
504
relat_1__799_15.min1.thm1
2017-02-06 12:46
505
relat_1__1002_17.min1.thm1
2017-02-06 12:46
505
relat_1__3027_19.min1.thm1
2017-02-06 12:46
505
relat_1__1321_17.min1.thm1
2017-02-06 12:46
506
relat_1__2874_26.min1.thm1
2017-02-06 12:46
506
relat_1__2908_26.min1.thm1
2017-02-06 12:46
506
relat_1__3171_27.min1.thm1
2017-02-06 12:46
506
relat_1__2727_28.min1.thm1
2017-02-06 12:46
507
relat_1__1269_22.min1.thm1
2017-02-06 12:46
508
relat_1__2764_19.min1.thm1
2017-02-06 12:46
508
relat_1__2781_19.min1.thm1
2017-02-06 12:46
508
relat_1__829_13.min1.thm1
2017-02-06 12:46
509
relat_1__1891_15.min1.thm1
2017-02-06 12:46
509
relat_1__2956_20.min1.thm1
2017-02-06 12:46
509
relat_1__269_19.min1.thm1
2017-02-06 12:46
510
relat_1__1201_26.min1.thm1
2017-02-06 12:46
510
relat_1__2812_12.min1.thm1
2017-02-06 12:46
510
relat_1__2863_26.min1.thm1
2017-02-06 12:46
510
relat_1__2897_26.min1.thm1
2017-02-06 12:46
510
relat_1__3182_27.min1.thm1
2017-02-06 12:46
510
relat_1__2264_15.min1.thm1
2017-02-06 12:46
511
relat_1__2533_20.min1.thm1
2017-02-06 12:46
511
relat_1__2736_29.min1.thm1
2017-02-06 12:46
511
relat_1__2799_15.min1.thm1
2017-02-06 12:46
511
relat_1__3048_18.min1.thm1
2017-02-06 12:46
511
relat_1__286_19.min1.thm1
2017-02-06 12:46
512
relat_1__902_24.min1.thm1
2017-02-06 12:46
512
relat_1__1062_22.min1.thm1
2017-02-06 12:46
512
relat_1__1254_13.min1.thm1
2017-02-06 12:46
512
relat_1__1992_32.min1.thm1.tptp
2017-02-06 16:47
512
relat_1__2343_30.min1.thm1.tptp
2017-02-06 16:47
512
relat_1__1628_22.min1.thm1
2017-02-06 12:46
513
relat_1__2166_11.min1.thm1
2017-02-06 12:46
513
relat_1__456_19.min1.thm1
2017-02-06 12:46
514
relat_1__1083_22.min1.thm1
2017-02-06 12:46
514
relat_1__1286_37.min1.thm1
2017-02-06 12:46
514
relat_1__1589_11.min1.thm1
2017-02-06 12:46
514
relat_1__1672_17.min1.thm1
2017-02-06 12:46
514
relat_1__2102_17.min1.thm1.tptp
2017-02-06 16:47
514
relat_1__2453_17.min1.thm1.tptp
2017-02-06 16:47
514
relat_1__2481_17.min1.thm1
2017-02-06 12:46
514
relat_1__2494_11.min1.thm1
2017-02-06 12:46
514
relat_1__1098_14.min1.thm1
2017-02-06 12:46
515
relat_1__434_16.min1.thm1
2017-02-06 12:46
516
relat_1__2002_20.min1.thm1
2017-02-06 12:46
516
relat_1__2353_20.min1.thm1
2017-02-06 12:46
516
relat_1__2708_11.min1.thm1
2017-02-06 12:46
516
relat_1__2130_17.min1.thm1
2017-02-06 12:46
518
relat_1__2718_11.min1.thm1
2017-02-06 12:46
518
relat_1__821_15.min1.thm1
2017-02-06 12:46
519
relat_1__1899_17.min1.thm1
2017-02-06 12:46
519
relat_1__2272_17.min1.thm1
2017-02-06 12:46
519
relat_1__3139_15.min1.thm1
2017-02-06 12:46
520
relat_1__1746_41.min1.thm1
2017-02-06 12:46
521
relat_1__1877_13.min1.thm1
2017-02-06 12:46
521
relat_1__1644_37.min1.thm1
2017-02-06 12:46
522
relat_1__2250_13.min1.thm1
2017-02-06 12:46
522
relat_1__2599_29.min1.thm1
2017-02-06 12:46
524
relat_1__931_35.min1.thm1
2017-02-06 12:46
528
relat_1__3108_15.min1.thm1
2017-02-06 12:46
528
relat_1__2189_17.min1.thm1
2017-02-06 12:46
529
relat_1__2469_19.min1.thm1
2017-02-06 12:46
529
relat_1__1236_17.min1.thm1
2017-02-06 12:46
530
relat_1__2661_17.min1.thm1
2017-02-06 12:46
530
relat_1__2670_17.min1.thm1
2017-02-06 12:46
530
relat_1__1816_17.min1.thm1
2017-02-06 12:46
531
relat_1__2118_19.min1.thm1
2017-02-06 12:46
531
relat_1__2227_17.min1.thm1
2017-02-06 12:46
534
relat_1__447_19.min1.thm1
2017-02-06 12:46
536
relat_1__1854_17.min1.thm1
2017-02-06 12:46
536
relat_1__1192_44.min1.thm1
2017-02-06 12:46
537
relat_1__465_19.min1.thm1
2017-02-06 12:46
538
relat_1__2969_24.min1.thm1
2017-02-06 12:46
539
relat_1__142_16.min1.thm1
2017-02-06 12:46
540
relat_1__1132_42.min1.thm1.tptp
2017-02-06 16:47
540
relat_1__1523_42.min1.thm1.tptp
2017-02-06 16:47
540
relat_1__3151_38.min1.thm1
2017-02-06 12:46
541
relat_1__1277_13.min1.thm1
2017-02-06 12:46
543
relat_1__1369_17.min1.thm1
2017-02-06 12:46
544
relat_1__950_27.min1.thm1
2017-02-06 12:46
546
relat_1__268_22.min1.thm1
2017-02-06 12:46
549
relat_1__285_22.min1.thm1
2017-02-06 12:46
549
relat_1__684_15.min1.thm1
2017-02-06 12:46
550
relat_1__1635_13.min1.thm1
2017-02-06 12:46
550
relat_1__2134_21.min1.thm1
2017-02-06 12:46
551
relat_1__558_17.min1.thm1
2017-02-06 12:46
553
relat_1__569_17.min1.thm1
2017-02-06 12:46
555
relat_1__1164_17.min1.thm1
2017-02-06 12:46
556
relat_1__587_17.min1.thm1
2017-02-06 12:46
558
relat_1__1555_17.min1.thm1
2017-02-06 12:46
558
relat_1__1718_17.min1.thm1
2017-02-06 12:46
558
relat_1__2072_17.min1.thm1
2017-02-06 12:46
558
relat_1__2423_17.min1.thm1
2017-02-06 12:46
558
relat_1__922_18.min1.thm1
2017-02-06 12:46
559
relat_1__605_17.min1.thm1
2017-02-06 12:46
560
relat_1__1031_33.min1.thm1
2017-02-06 12:46
560
relat_1__132_19.min1.thm1
2017-02-06 12:46
561
relat_1__3064_20.min1.thm1
2017-02-06 12:46
564
relat_1__3047_33.min1.thm1
2017-02-06 12:46
565
relat_1__668_24.min1.thm1
2017-02-06 12:46
566
relat_1__1997_16.min1.thm1
2017-02-06 12:46
566
relat_1__2348_16.min1.thm1
2017-02-06 12:46
566
relat_1__1591_17.min1.thm1
2017-02-06 12:46
567
relat_1__82_25.min1.thm1
2017-02-06 12:46
569
relat_1__1202_17.min1.thm1
2017-02-06 12:46
569
relat_1__209_19.min1.thm1
2017-02-06 12:46
571
relat_1__359_23.min1.thm1
2017-02-06 12:46
572
relat_1__126_21.min1.thm1
2017-02-06 12:46
573
relat_1__385_42.min1.thm1.tptp
2017-02-06 16:47
573
relat_1__1957_13.min1.thm1
2017-02-06 12:46
574
relat_1__1992_32.min1.thm1
2017-02-06 12:46
574
relat_1__2102_17.min1.thm1
2017-02-06 12:46
574
relat_1__2343_30.min1.thm1
2017-02-06 12:46
574
relat_1__2453_17.min1.thm1
2017-02-06 12:46
574
relat_1__2479_19.min1.thm1
2017-02-06 12:46
575
relat_1__2308_13.min1.thm1
2017-02-06 12:46
576
relat_1__965_29.min1.thm1
2017-02-06 12:46
577
relat_1__1919_19.min1.thm1
2017-02-06 12:46
577
relat_1__2128_19.min1.thm1
2017-02-06 12:46
577
relat_1__106_27.min1.thm1
2017-02-06 12:46
578
relat_1__312_19.min1.thm1
2017-02-06 12:46
581
relat_1__2830_33.min1.thm1
2017-02-06 12:46
581
relat_1__2920_21.min1.thm1
2017-02-06 12:46
581
relat_1__3054_30.min1.thm1
2017-02-06 12:46
581
relat_1__173_21.min1.thm1
2017-02-06 12:46
582
relat_1__581_17.min1.thm1
2017-02-06 12:46
583
relat_1__585_17.min1.thm1
2017-02-06 12:46
583
relat_1__1162_17.min1.thm1
2017-02-06 12:46
583
relat_1__154_41.min1.thm1
2017-02-06 12:46
584
relat_1__155_41.min1.thm1
2017-02-06 12:46
584
relat_1__599_17.min1.thm1
2017-02-06 12:46
585
relat_1__603_17.min1.thm1
2017-02-06 12:46
585
relat_1__1206_19.min1.thm1
2017-02-06 12:46
585
relat_1__1209_19.min1.thm1
2017-02-06 12:46
585
relat_1__1553_17.min1.thm1
2017-02-06 12:46
585
relat_1__1603_20.min1.thm1
2017-02-06 12:46
585
relat_1__1606_20.min1.thm1
2017-02-06 12:46
585
relat_1__2650_26.min1.thm1
2017-02-06 12:46
585
relat_1__1028_12.min1.thm1
2017-02-06 12:46
586
relat_1__1599_17.min1.thm1
2017-02-06 12:46
586
relat_1__1015_23.min1.thm1
2017-02-06 12:46
589
relat_1__2039_18.min1.thm1
2017-02-06 12:46
589
relat_1__2164_17.min1.thm1
2017-02-06 12:46
589
relat_1__2263_17.min1.thm1
2017-02-06 12:46
589
relat_1__2390_17.min1.thm1
2017-02-06 12:46
589
relat_1__463_17.min1.thm1
2017-02-06 12:46
591
relat_1__1588_17.min1.thm1
2017-02-06 12:46
591
relat_1__1890_17.min1.thm1
2017-02-06 12:46
591
relat_1__2492_17.min1.thm1
2017-02-06 12:46
591
relat_1__3152_19.min1.thm1
2017-02-06 12:46
591
relat_1__1278_15.min1.thm1
2017-02-06 12:46
592
relat_1__2955_15.min1.thm1
2017-02-06 12:46
592
relat_1__319_17.min1.thm1
2017-02-06 12:46
593
relat_1__445_17.min1.thm1
2017-02-06 12:46
593
relat_1__2949_30.min1.thm1
2017-02-06 12:46
593
relat_1__261_19.min1.thm1
2017-02-06 12:46
595
relat_1__2027_17.min1.thm1
2017-02-06 12:46
595
relat_1__2378_17.min1.thm1
2017-02-06 12:46
595
relat_1__278_19.min1.thm1
2017-02-06 12:46
597
relat_1__1581_40.min1.thm1
2017-02-06 12:46
597
relat_1__1958_25.min1.thm1
2017-02-06 12:46
597
relat_1__2477_17.min1.thm1
2017-02-06 12:46
597
relat_1__2728_19.min1.thm1
2017-02-06 12:46
598
relat_1__3104_23.min1.thm1
2017-02-06 12:46
598
relat_1__303_19.min1.thm1
2017-02-06 12:46
599
relat_1__1195_17.min1.thm1
2017-02-06 12:46
599
relat_1__2126_17.min1.thm1
2017-02-06 12:46
599
relat_1__2309_25.min1.thm1
2017-02-06 12:46
599
relat_1__321_26.min1.thm1
2017-02-06 12:46
600
relat_1__1636_15.min1.thm1
2017-02-06 12:46
601
relat_1__2576_24.min1.thm1
2017-02-06 12:46
601
relat_1__986_15.min1.thm1
2017-02-06 12:46
602
relat_1__1132_42.min1.thm1
2017-02-06 12:46
602
relat_1__1523_42.min1.thm1
2017-02-06 12:46
602
relat_1__3063_47.min1.thm1
2017-02-06 12:46
603
relat_1__163_11.min1.thm1
2017-02-06 12:46
604
relat_1__2737_19.min1.thm1
2017-02-06 12:46
604
relat_1__1332_17.min1.thm1
2017-02-06 12:46
605
relat_1__2759_17.min1.thm1
2017-02-06 12:46
605
relat_1__2762_17.min1.thm1
2017-02-06 12:46
605
relat_1__3138_30.min1.thm1
2017-02-06 12:46
606
relat_1__945_21.min1.thm1
2017-02-06 12:46
607
relat_1__1235_29.min1.thm1
2017-02-06 12:46
607
relat_1__2776_17.min1.thm1
2017-02-06 12:46
607
relat_1__2779_17.min1.thm1
2017-02-06 12:46
607
relat_1__97_27.min1.thm1
2017-02-06 12:46
608
relat_1__470_18.min1.thm1
2017-02-06 12:46
609
relat_1__949_25.min1.thm1
2017-02-06 12:46
609
relat_1__3078_15.min1.thm1
2017-02-06 12:46
609
relat_1__3093_16.min1.thm1
2017-02-06 12:46
609
relat_1__2940_23.min1.thm1
2017-02-06 12:46
610
relat_1__131_31.min1.thm1
2017-02-06 12:46
611
relat_1__431_33.min1.thm1
2017-02-06 12:46
611
relat_1__2575_28.min1.thm1
2017-02-06 12:46
611
relat_1__262_22.min1.thm1
2017-02-06 12:46
613
relat_1__279_22.min1.thm1
2017-02-06 12:46
613
relat_1__2925_25.min1.thm1
2017-02-06 12:46
613
relat_1__961_12.min1.thm1
2017-02-06 12:46
614
relat_1__454_18.min1.thm1
2017-02-06 12:46
615
relat_1__305_28.min1.thm1
2017-02-06 12:46
616
relat_1__3150_30.min1.thm1
2017-02-06 12:46
617
relat_1__208_31.min1.thm1
2017-02-06 12:46
618
relat_1__125_33.min1.thm1
2017-02-06 12:46
619
relat_1__1976_28.min1.thm1
2017-02-06 12:46
619
relat_1__2873_37.min1.thm1
2017-02-06 12:46
620
relat_1__1001_22.min1.thm1
2017-02-06 12:46
621
relat_1__1690_17.min1.thm1
2017-02-06 12:46
621
relat_1__2327_28.min1.thm1
2017-02-06 12:46
621
relat_1__2687_28.min1.thm1
2017-02-06 12:46
621
relat_1__2695_28.min1.thm1
2017-02-06 12:46
621
relat_1__3170_38.min1.thm1
2017-02-06 12:46
621
relat_1__840_14.min1.thm1
2017-02-06 12:46
622
relat_1__842_14.min1.thm1
2017-02-06 12:46
622
relat_1__2565_24.min1.thm1
2017-02-06 12:46
624
relat_1__244_17.min1.thm1
2017-02-06 12:46
626
relat_1__1869_24.min1.thm1
2017-02-06 12:46
626
relat_1__2862_37.min1.thm1
2017-02-06 12:46
626
relat_1__3181_38.min1.thm1
2017-02-06 12:46
626
relat_1__2242_24.min1.thm1
2017-02-06 12:46
628
relat_1__2598_40.min1.thm1
2017-02-06 12:46
628
relat_1__650_33.min1.thm1
2017-02-06 12:46
629
relat_1__944_35.min1.thm1
2017-02-06 12:46
631
relat_1__1425_19.min1.thm1
2017-02-06 12:46
631
relat_1__2811_26.min1.thm1
2017-02-06 12:46
631
relat_1__960_20.min1.thm1
2017-02-06 12:46
633
relat_1__1275_30.min1.thm1
2017-02-06 12:46
634
relat_1__1827_48.min1.thm1
2017-02-06 12:46
635
relat_1__2200_48.min1.thm1
2017-02-06 12:46
635
relat_1__556_19.min1.thm1
2017-02-06 12:46
637
relat_1__849_41.min1.thm1
2017-02-06 12:46
638
relat_1__567_19.min1.thm1
2017-02-06 12:46
639
relat_1__1880_17.min1.thm1
2017-02-06 12:46
639
relat_1__385_42.min1.thm1
2017-02-06 12:46
640
relat_1__1154_19.min1.thm1
2017-02-06 12:46
641
relat_1__2253_17.min1.thm1
2017-02-06 12:46
641
relat_1__2551_24.min1.thm1
2017-02-06 12:46
642
relat_1__681_15.min1.thm1
2017-02-06 12:46
643
relat_1__1545_20.min1.thm1
2017-02-06 12:46
643
relat_1__1634_30.min1.thm1
2017-02-06 12:46
643
relat_1__368_41.min1.thm1
2017-02-06 12:46
644
relat_1__2709_17.min1.thm1
2017-02-06 12:46
645
relat_1__376_30.min1.thm1
2017-02-06 12:46
647
relat_1__478_36.min1.thm1
2017-02-06 12:46
647
relat_1__1287_50.min1.thm1
2017-02-06 12:46
647
relat_1__2141_26.min1.thm1
2017-02-06 12:46
647
relat_1__2660_34.min1.thm1
2017-02-06 12:46
647
relat_1__2719_17.min1.thm1
2017-02-06 12:46
647
relat_1__2669_34.min1.thm1
2017-02-06 12:46
649
relat_1__966_17.min1.thm1
2017-02-06 12:46
650
relat_1__2566_13.min1.thm1
2017-02-06 12:46
652
relat_1__1645_51.min1.thm1
2017-02-06 12:46
656
relat_1__2465_21.min1.thm1
2017-02-06 12:46
657
relat_1__1303_17.min1.thm1
2017-02-06 12:46
658
relat_1__79_40.min1.thm1
2017-02-06 12:46
659
relat_1__661_24.min1.thm1
2017-02-06 12:46
659
relat_1__1911_21.min1.thm1
2017-02-06 12:46
659
relat_1__2114_21.min1.thm1
2017-02-06 12:46
659
relat_1__328_17.min1.thm1
2017-02-06 12:46
660
relat_1__1727_19.min1.thm1.tptp
2017-02-06 16:47
664
relat_1__1737_62.min1.thm1.tptp
2017-02-06 16:47
664
relat_1__87_10.min1.thm1
2017-02-06 12:46
665
relat_1__1270_32.min1.thm1
2017-02-06 12:46
665
relat_1__361_17.min1.thm1
2017-02-06 12:46
666
relat_1__874_19.min1.thm1
2017-02-06 12:46
668
relat_1__1575_17.min1.thm1
2017-02-06 12:46
668
relat_1__1845_16.min1.thm1
2017-02-06 12:46
672
relat_1__2541_24.min1.thm1
2017-02-06 12:46
672
relat_1__1042_19.min1.thm1
2017-02-06 12:46
678
relat_1__1048_19.min1.thm1
2017-02-06 12:46
678
relat_1__2185_54.min1.thm1
2017-02-06 12:46
678
relat_1__398_40.min1.thm1
2017-02-06 12:46
679
relat_1__1812_54.min1.thm1
2017-02-06 12:46
679
relat_1__421_49.min1.thm1
2017-02-06 12:46
680
relat_1__1582_34.min1.thm1
2017-02-06 12:46
683
relat_1__2040_38.min1.thm1
2017-02-06 12:46
683
relat_1__2391_38.min1.thm1
2017-02-06 12:46
683
relat_1__1843_18.min1.thm1
2017-02-06 12:46
685
relat_1__387_28.min1.thm1
2017-02-06 12:46
686
relat_1__1975_17.min1.thm1
2017-02-06 12:46
686
relat_1__2326_17.min1.thm1
2017-02-06 12:46
688
relat_1__243_33.min1.thm1
2017-02-06 12:46
689
relat_1__107_19.min1.thm1
2017-02-06 12:46
690
relat_1__846_15.min1.thm1
2017-02-06 12:46
690
relat_1__1929_52.min1.thm1
2017-02-06 12:46
691
relat_1__2280_51.min1.thm1
2017-02-06 12:46
691
relat_1__96_15.min1.thm1
2017-02-06 12:46
695
relat_1__1913_21.min1.thm1
2017-02-06 12:46
697
relat_1__1339_17.min1.thm1
2017-02-06 12:46
698
relat_1__962_19.min1.thm1
2017-02-06 12:46
699
relat_1__181_47.min1.thm1
2017-02-06 12:46
700
relat_1__327_34.min1.thm1
2017-02-06 12:46
700
relat_1__2907_37.min1.thm1
2017-02-06 12:46
702
relat_1__1177_41.min1.thm1
2017-02-06 12:46
706
relat_1__1568_42.min1.thm1
2017-02-06 12:46
706
relat_1__2024_16.min1.thm1
2017-02-06 12:46
708
relat_1__2026_19.min1.thm1
2017-02-06 12:46
708
relat_1__2167_19.min1.thm1
2017-02-06 12:46
708
relat_1__2375_15.min1.thm1
2017-02-06 12:46
708
relat_1__2377_18.min1.thm1
2017-02-06 12:46
708
relat_1__2495_18.min1.thm1
2017-02-06 12:46
708
relat_1__2896_37.min1.thm1
2017-02-06 12:46
708
relat_1__3079_29.min1.thm1
2017-02-06 12:46
708
relat_1__311_36.min1.thm1
2017-02-06 12:46
712
relat_1__540_54.min1.thm1
2017-02-06 12:46
713
relat_1__1012_19.min1.thm1
2017-02-06 12:46
713
relat_1__1683_17.min1.thm1
2017-02-06 12:46
714
relat_1__1727_19.min1.thm1
2017-02-06 12:46
714
relat_1__1737_62.min1.thm1
2017-02-06 12:46
714
relat_1__2851_14.min1.thm1
2017-02-06 12:46
719
relat_1__1878_19.min1.thm1
2017-02-06 12:46
722
relat_1__2251_19.min1.thm1
2017-02-06 12:46
722
relat_1__1423_24.min1.thm1
2017-02-06 12:46
724
relat_1__83_19.min1.thm1
2017-02-06 12:46
726
relat_1__932_40.min1.thm1
2017-02-06 12:46
726
relat_1__1122_8.min1.thm1
2017-02-06 12:46
727
relat_1__656_16.min1.thm1
2017-02-06 12:46
729
relat_1__698_21.min1.thm1
2017-02-06 12:46
729
relat_1__1387_14.min1.thm1
2017-02-06 12:46
729
relat_1__1450_23.min1.thm1
2017-02-06 12:46
729
relat_1__652_38.min1.thm1
2017-02-06 12:46
731
relat_1__1383_36.min1.thm1
2017-02-06 12:46
731
relat_1__1892_17.min1.thm1
2017-02-06 12:46
734
relat_1__369_17.min1.thm1
2017-02-06 12:46
736
relat_1__2089_18.min1.thm1
2017-02-06 12:46
736
relat_1__2265_17.min1.thm1
2017-02-06 12:46
736
relat_1__2440_17.min1.thm1
2017-02-06 12:46
736
relat_1__1271_19.min1.thm1
2017-02-06 12:46
739
relat_1__479_19.min1.thm1
2017-02-06 12:46
741
relat_1__982_19.min1.thm1
2017-02-06 12:46
742
relat_1__1853_37.min1.thm1
2017-02-06 12:46
744
relat_1__2052_37.min1.thm1
2017-02-06 12:46
744
relat_1__2063_37.min1.thm1
2017-02-06 12:46
744
relat_1__2146_14.min1.thm1
2017-02-06 12:46
744
relat_1__2226_37.min1.thm1
2017-02-06 12:46
744
relat_1__2403_37.min1.thm1
2017-02-06 12:46
744
relat_1__2414_37.min1.thm1
2017-02-06 12:46
744
relat_1__1424_13.min1.thm1
2017-02-06 12:46
745
relat_1__1426_18.min1.thm1
2017-02-06 12:46
745
relat_1__1495_11.min1.thm1
2017-02-06 12:46
745
relat_1__1193_19.min1.thm1
2017-02-06 12:46
746
relat_1__1841_26.min1.thm1
2017-02-06 12:46
748
relat_1__2214_26.min1.thm1
2017-02-06 12:46
748
relat_1__3038_17.min1.thm1
2017-02-06 12:46
748
relat_1__1248_18.min1.thm1
2017-02-06 12:46
749
relat_1__1267_13.min1.thm1
2017-02-06 12:46
749
relat_1__156_52.min1.thm1
2017-02-06 12:46
750
relat_1__3193_18.min1.thm1
2017-02-06 12:46
750
relat_1__320_37.min1.thm1
2017-02-06 12:46
751
relat_1__1630_19.min1.thm1
2017-02-06 12:46
752
relat_1__1917_26.min1.thm1
2017-02-06 12:46
752
relat_1__2001_15.min1.thm1
2017-02-06 12:46
752
relat_1__2008_15.min1.thm1
2017-02-06 12:46
752
relat_1__2098_13.min1.thm1
2017-02-06 12:46
752
relat_1__2352_15.min1.thm1
2017-02-06 12:46
752
relat_1__2359_15.min1.thm1
2017-02-06 12:46
752
relat_1__2449_13.min1.thm1
2017-02-06 12:46
752
relat_1__3199_18.min1.thm1
2017-02-06 12:46
752
relat_1__1390_18.min1.thm1
2017-02-06 12:46
753
relat_1__1398_18.min1.thm1
2017-02-06 12:46
753
relat_1__1442_23.min1.thm1
2017-02-06 12:46
755
relat_1__1785_11.min1.thm1
2017-02-06 12:46
755
relat_1__686_34.min1.thm1
2017-02-06 12:46
757
relat_1__2514_45.min1.thm1
2017-02-06 12:46
757
relat_1__2470_21.min1.thm1
2017-02-06 12:46
758
relat_1__1626_13.min1.thm1
2017-02-06 12:46
759
relat_1__2119_21.min1.thm1
2017-02-06 12:46
760
relat_1__2218_16.min1.thm1
2017-02-06 12:46
760
relat_1__720_22.min1.thm1
2017-02-06 12:46
761
relat_1__192_16.min1.thm1
2017-02-06 12:46
763
relat_1__1419_38.min1.thm1
2017-02-06 12:46
763
relat_1__2763_20.min1.thm1
2017-02-06 12:46
765
relat_1__2780_20.min1.thm1
2017-02-06 12:46
765
relat_1__2042_17.min1.thm1
2017-02-06 12:46
766
relat_1__2393_17.min1.thm1
2017-02-06 12:46
766
relat_1__304_39.min1.thm1
2017-02-06 12:46
767
relat_1__699_42.min1.thm1
2017-02-06 12:46
767
relat_1__2641_54.min1.thm1
2017-02-06 12:46
767
relat_1__1428_17.min1.thm1
2017-02-06 12:46
771
relat_1__1492_15.min1.thm1
2017-02-06 12:46
771
relat_1__386_35.min1.thm1
2017-02-06 12:46
772
relat_1__2216_18.min1.thm1
2017-02-06 12:46
774
relat_1__1251_17.min1.thm1
2017-02-06 12:46
775
relat_1__1268_17.min1.thm1
2017-02-06 12:46
775
relat_1__3161_17.min1.thm1
2017-02-06 12:46
776
relat_1__2475_17.min1.thm1
2017-02-06 12:46
778
relat_1__1155_17.min1.thm1
2017-02-06 12:46
779
relat_1__1393_17.min1.thm1
2017-02-06 12:46
779
relat_1__1401_17.min1.thm1
2017-02-06 12:46
779
relat_1__1546_17.min1.thm1
2017-02-06 12:46
779
relat_1__1250_21.min1.thm1
2017-02-06 12:46
780
relat_1__2124_17.min1.thm1
2017-02-06 12:46
780
relat_1__2190_19.min1.thm1
2017-02-06 12:46
780
relat_1__1782_15.min1.thm1
2017-02-06 12:46
782
relat_1__1817_19.min1.thm1
2017-02-06 12:46
782
relat_1__1828_34.min1.thm1
2017-02-06 12:46
784
relat_1__2201_34.min1.thm1
2017-02-06 12:46
784
relat_1__3000_33.min1.thm1
2017-02-06 12:46
785
relat_1__1215_41.min1.thm1
2017-02-06 12:46
786
relat_1__1310_43.min1.thm1
2017-02-06 12:46
786
relat_1__1627_17.min1.thm1
2017-02-06 12:46
786
relat_1__2003_31.min1.thm1
2017-02-06 12:46
786
relat_1__2010_31.min1.thm1
2017-02-06 12:46
786
relat_1__2354_30.min1.thm1
2017-02-06 12:46
786
relat_1__2361_30.min1.thm1
2017-02-06 12:46
786
relat_1__1484_13.min1.thm1
2017-02-06 12:46
787
relat_1__2090_21.min1.thm1
2017-02-06 12:46
788
relat_1__2100_19.min1.thm1
2017-02-06 12:46
788
relat_1__2441_21.min1.thm1
2017-02-06 12:46
788
relat_1__2451_19.min1.thm1
2017-02-06 12:46
788
relat_1__384_44.min1.thm1
2017-02-06 12:46
790
relat_1__530_34.min1.thm1
2017-02-06 12:46
790
relat_1__766_56.min1.thm1
2017-02-06 12:46
790
relat_1__772_55.min1.thm1
2017-02-06 12:46
790
relat_1__683_19.min1.thm1
2017-02-06 12:46
791
relat_1__685_22.min1.thm1
2017-02-06 12:46
791
relat_1__746_19.min1.thm1
2017-02-06 12:46
791
relat_1__1016_17.min1.thm1
2017-02-06 12:46
791
relat_1__1494_19.min1.thm1
2017-02-06 12:46
791
relat_1__202_67.min1.thm1
2017-02-06 12:46
792
relat_1__586_17.min1.thm1
2017-02-06 12:46
792
relat_1__604_17.min1.thm1
2017-02-06 12:46
792
relat_1__1288_17.min1.thm1
2017-02-06 12:46
793
relat_1__2950_25.min1.thm1
2017-02-06 12:46
795
relat_1__1774_13.min1.thm1
2017-02-06 12:46
796
relat_1__1612_42.min1.thm1
2017-02-06 12:46
798
relat_1__1661_44.min1.thm1
2017-02-06 12:46
798
relat_1__1698_52.min1.thm1
2017-02-06 12:46
798
relat_1__1749_42.min1.thm1
2017-02-06 12:46
798
relat_1__1793_43.min1.thm1
2017-02-06 12:46
798
relat_1__1794_44.min1.thm1
2017-02-06 12:46
798
relat_1__3094_29.min1.thm1
2017-02-06 12:46
798
relat_1__2936_21.min1.thm1
2017-02-06 12:46
799
relat_1__1133_40.min1.thm1
2017-02-06 12:46
800
relat_1__1524_40.min1.thm1
2017-02-06 12:46
800
relat_1__2978_21.min1.thm1
2017-02-06 12:46
800
relat_1__2021_18.min1.thm1
2017-02-06 12:46
802
relat_1__2372_18.min1.thm1
2017-02-06 12:46
802
relat_1__2988_21.min1.thm1
2017-02-06 12:46
802
relat_1__396_43.min1.thm1
2017-02-06 12:46
803
relat_1__1381_17.min1.thm1
2017-02-06 12:46
803
relat_1__1414_19.min1.thm1
2017-02-06 12:46
803
relat_1__1443_17.min1.thm1
2017-02-06 12:46
803
relat_1__1784_19.min1.thm1
2017-02-06 12:46
804
relat_1__2153_17.min1.thm1
2017-02-06 12:46
804
relat_1__471_15.min1.thm1
2017-02-06 12:46
805
relat_1__736_19.min1.thm1
2017-02-06 12:46
805
relat_1__1379_23.min1.thm1
2017-02-06 12:46
805
relat_1__1413_20.min1.thm1
2017-02-06 12:46
805
relat_1__1439_17.min1.thm1
2017-02-06 12:46
805
relat_1__527_62.min1.thm1
2017-02-06 12:46
806
relat_1__1105_17.min1.thm1
2017-02-06 12:46
807
relat_1__2095_16.min1.thm1
2017-02-06 12:46
808
relat_1__2446_15.min1.thm1
2017-02-06 12:46
808
relat_1__432_40.min1.thm1
2017-02-06 12:46
809
relat_1__1646_17.min1.thm1
2017-02-06 12:46
809
relat_1__1989_20.min1.thm1
2017-02-06 12:46
810
relat_1__2340_20.min1.thm1
2017-02-06 12:46
810
relat_1__1748_12.min1.thm1
2017-02-06 12:46
812
relat_1__1349_29.min1.thm1
2017-02-06 12:46
814
relat_1__1360_29.min1.thm1
2017-02-06 12:46
814
relat_1__1513_9.min1.thm1
2017-02-06 12:46
814
relat_1__2165_18.min1.thm1
2017-02-06 12:46
815
relat_1__2493_18.min1.thm1
2017-02-06 12:46
815
relat_1__2532_34.min1.thm1
2017-02-06 12:46
815
relat_1__446_18.min1.thm1
2017-02-06 12:46
817
relat_1__455_17.min1.thm1
2017-02-06 12:46
817
relat_1__464_18.min1.thm1
2017-02-06 12:46
817
relat_1__714_27.min1.thm1
2017-02-06 12:46
817
relat_1__1868_15.min1.thm1
2017-02-06 12:46
818
relat_1__1451_35.min1.thm1
2017-02-06 12:46
820
relat_1__2241_15.min1.thm1
2017-02-06 12:46
820
relat_1__2085_15.min1.thm1
2017-02-06 12:46
821
relat_1__2436_15.min1.thm1
2017-02-06 12:46
821
relat_1__2099_19.min1.thm1
2017-02-06 12:46
822
relat_1__2127_19.min1.thm1
2017-02-06 12:46
822
relat_1__2450_19.min1.thm1
2017-02-06 12:46
822
relat_1__2478_19.min1.thm1
2017-02-06 12:46
822
relat_1__1709_30.min1.thm1
2017-02-06 12:46
827
relat_1__557_36.min1.thm1
2017-02-06 12:46
830
relat_1__568_36.min1.thm1
2017-02-06 12:46
830
relat_1__615_41.min1.thm1
2017-02-06 12:46
830
relat_1__626_41.min1.thm1
2017-02-06 12:46
830
relat_1__637_41.min1.thm1
2017-02-06 12:46
830
relat_1__745_17.min1.thm1
2017-02-06 12:46
830
relat_1__876_30.min1.thm1
2017-02-06 12:46
830
relat_1__1029_19.min1.thm1
2017-02-06 12:46
833
relat_1__1064_19.min1.thm1
2017-02-06 12:46
833
relat_1__712_30.min1.thm1
2017-02-06 12:46
834
relat_1__1483_17.min1.thm1
2017-02-06 12:46
834
relat_1__859_50.min1.thm1
2017-02-06 12:46
836
relat_1__660_19.min1.thm1
2017-02-06 12:46
838
relat_1__667_19.min1.thm1
2017-02-06 12:46
838
relat_1__735_17.min1.thm1
2017-02-06 12:46
838
relat_1__2793_19.min1.thm1
2017-02-06 12:46
838
relat_1__1312_47.min1.thm1
2017-02-06 12:46
840
relat_1__1480_24.min1.thm1
2017-02-06 12:46
840
relat_1__2798_17.min1.thm1
2017-02-06 12:46
840
relat_1__1918_19.min1.thm1
2017-02-06 12:46
841
relat_1__987_17.min1.thm1
2017-02-06 12:46
842
relat_1__1311_55.min1.thm1
2017-02-06 12:46
842
relat_1__1163_17.min1.thm1
2017-02-06 12:46
844
relat_1__1279_17.min1.thm1
2017-02-06 12:46
844
relat_1__1554_18.min1.thm1
2017-02-06 12:46
844
relat_1__1773_17.min1.thm1
2017-02-06 12:46
844
relat_1__1991_36.min1.thm1
2017-02-06 12:46
844
relat_1__2342_34.min1.thm1
2017-02-06 12:46
844
relat_1__877_28.min1.thm1
2017-02-06 12:46
845
relat_1__747_29.min1.thm1
2017-02-06 12:46
846
relat_1__701_29.min1.thm1
2017-02-06 12:46
847
relat_1__1416_21.min1.thm1
2017-02-06 12:46
850
relat_1__1418_26.min1.thm1
2017-02-06 12:46
850
relat_1__1770_24.min1.thm1
2017-02-06 12:46
851
relat_1__1912_28.min1.thm1
2017-02-06 12:46
851
relat_1__1485_24.min1.thm1
2017-02-06 12:46
854
relat_1__1663_50.min1.thm1
2017-02-06 12:46
854
relat_1__2041_20.min1.thm1
2017-02-06 12:46
854
relat_1__402_66.min1.thm1
2017-02-06 12:46
855
relat_1__737_29.min1.thm1
2017-02-06 12:46
855
relat_1__1486_29.min1.thm1
2017-02-06 12:46
855
relat_1__1662_56.min1.thm1
2017-02-06 12:46
856
relat_1__1728_54.min1.thm1
2017-02-06 12:46
856
relat_1__1738_54.min1.thm1
2017-02-06 12:46
856
relat_1__1011_46.min1.thm1
2017-02-06 12:46
858
relat_1__1027_20.min1.thm1
2017-02-06 12:46
858
relat_1__1590_23.min1.thm1
2017-02-06 12:46
858
relat_1__1637_17.min1.thm1
2017-02-06 12:46
858
relat_1__981_25.min1.thm1
2017-02-06 12:46
859
relat_1__2801_22.min1.thm1
2017-02-06 12:46
859
relat_1__3107_27.min1.thm1
2017-02-06 12:46
859
relat_1__784_44.min1.thm1
2017-02-06 12:46
860
relat_1__1142_24.min1.thm1
2017-02-06 12:46
860
relat_1__2088_19.min1.thm1
2017-02-06 12:46
860
relat_1__2117_19.min1.thm1
2017-02-06 12:46
860
relat_1__2439_19.min1.thm1
2017-02-06 12:46
860
relat_1__2468_19.min1.thm1
2017-02-06 12:46
860
relat_1__1445_31.min1.thm1
2017-02-06 12:46
861
relat_1__2939_41.min1.thm1
2017-02-06 12:46
861
relat_1__2802_17.min1.thm1
2017-02-06 12:46
862
relat_1__1041_46.min1.thm1
2017-02-06 12:46
866
relat_1__1047_46.min1.thm1
2017-02-06 12:46
866
relat_1__662_34.min1.thm1
2017-02-06 12:46
867
relat_1__669_34.min1.thm1
2017-02-06 12:46
867
relat_1__2642_30.min1.thm1
2017-02-06 12:46
867
relat_1__3056_32.min1.thm1
2017-02-06 12:46
867
relat_1__1775_25.min1.thm1
2017-02-06 12:46
868
relat_1__721_26.min1.thm1
2017-02-06 12:46
870
relat_1__1776_30.min1.thm1
2017-02-06 12:46
870
relat_1__2168_17.min1.thm1
2017-02-06 12:46
870
relat_1__2496_17.min1.thm1
2017-02-06 12:46
870
relat_1__710_24.min1.thm1
2017-02-06 12:46
874
relat_1__718_32.min1.thm1
2017-02-06 12:46
878
relat_1__742_19.min1.thm1
2017-02-06 12:46
884
relat_1__1491_17.min1.thm1
2017-02-06 12:46
884
relat_1__680_22.min1.thm1
2017-02-06 12:46
886
relat_1__732_17.min1.thm1
2017-02-06 12:46
888
relat_1__489_17.min1.thm1
2017-02-06 12:46
889
relat_1__499_17.min1.thm1
2017-02-06 12:46
889
relat_1__649_24.min1.thm1
2017-02-06 12:46
890
relat_1__1104_47.min1.thm1
2017-02-06 12:46
890
relat_1__2927_30.min1.thm1
2017-02-06 12:46
891
relat_1__1781_20.min1.thm1
2017-02-06 12:46
896
relat_1__1429_32.min1.thm1
2017-02-06 12:46
900
relat_1__1454_31.min1.thm1
2017-02-06 12:46
900
relat_1__383_55.min1.thm1
2017-02-06 12:46
908
relat_1__1216_17.min1.thm1
2017-02-06 12:46
909
relat_1__1496_27.min1.thm1
2017-02-06 12:46
909
relat_1__1870_21.min1.thm1
2017-02-06 12:46
909
relat_1__541_40.min1.thm1
2017-02-06 12:46
911
relat_1__2243_21.min1.thm1
2017-02-06 12:46
911
relat_1__1394_32.min1.thm1
2017-02-06 12:46
912
relat_1__1402_32.min1.thm1
2017-02-06 12:46
912
relat_1__1085_19.min1.thm1
2017-02-06 12:46
920
relat_1__486_43.min1.thm1
2017-02-06 12:46
923
relat_1__1786_28.min1.thm1
2017-02-06 12:46
923
relat_1__377_17.min1.thm1
2017-02-06 12:46
928
relat_1__487_56.min1.thm1
2017-02-06 12:46
928
relat_1__497_57.min1.thm1
2017-02-06 12:46
928
relat_1__1613_17.min1.thm1
2017-02-06 12:46
930
relat_1__422_19.min1.thm1
2017-02-06 12:46
933
relat_1__2919_49.min1.thm1
2017-02-06 12:46
935
relat_1__2392_20.min1.thm1
2017-02-06 12:46
941
relat_1__3055_48.min1.thm1
2017-02-06 12:46
946
relat_1__3109_25.min1.thm1
2017-02-06 12:46
959
relat_1__1032_17.min1.thm1
2017-02-06 12:46
960
relat_1__651_42.min1.thm1
2017-02-06 12:46
968
relat_1__903_31.min1.thm1
2017-02-06 12:46
968
relat_1__1463_19.min1.thm1
2017-02-06 12:46
969
relat_1__860_19.min1.thm1
2017-02-06 12:46
970
relat_1__1123_19.min1.thm1
2017-02-06 12:46
971
relat_1__1514_19.min1.thm1
2017-02-06 12:46
971
relat_1__1368_33.min1.thm1
2017-02-06 12:46
1.0K
relat_1__509_17.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1382_40.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1533_24.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1876_22.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1717_45.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2071_37.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2422_33.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2249_22.min1.thm1
2017-02-06 12:46
1.0K
relat_1__700_24.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1143_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1534_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1759_50.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1462_51.min1.thm1
2017-02-06 12:46
1.0K
relat_1__60_18.min1.thm1
2017-02-06 12:46
1.0K
relat_1__531_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__719_28.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1760_17.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1930_14.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2281_14.min1.thm1
2017-02-06 12:46
1.0K
relat_1__507_59.min1.thm1
2017-02-06 12:46
1.0K
relat_1__713_32.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2794_45.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2800_16.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1156_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1547_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__1939_57.min1.thm1
2017-02-06 12:46
1.0K
relat_1__2290_56.min1.thm1
2017-02-06 12:46
1.0K
relat_1__767_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__773_19.min1.thm1
2017-02-06 12:46
1.0K
relat_1__401_24.min1.thm1.tptp
2017-02-06 16:47
1.0K
relat_1__99_19.min1.thm1
2017-02-06 12:46
1.1K
relat_1__401_24.min1.thm1
2017-02-06 12:46
1.1K
relat_1__1964_50.min1.thm1
2017-02-06 12:46
1.1K
relat_1__2315_50.min1.thm1
2017-02-06 12:46
1.1K
relat_1__1063_25.min1.thm1
2017-02-06 12:46
1.1K
relat_1__1084_27.min1.thm1
2017-02-06 12:46
1.1K
relat_1__2053_17.min1.thm1
2017-02-06 12:46
1.1K
relat_1__2064_17.min1.thm1
2017-02-06 12:46
1.1K
relat_1__2404_17.min1.thm1
2017-02-06 12:46
1.1K
relat_1__2415_17.min1.thm1
2017-02-06 12:46
1.1K
relat_1__3106_46.min1.thm1
2017-02-06 12:46
1.2K
relat_1__1452_13.min1.thm1
2017-02-06 12:46
1.2K
relat_1__2038_13.min1.thm1
2017-02-06 12:46
1.2K
relat_1__2389_13.min1.thm1
2017-02-06 12:46
1.2K
relat_1__498_59.min1.thm1
2017-02-06 12:46
1.2K
relat_1__616_17.min1.thm1
2017-02-06 12:46
1.2K
relat_1__627_17.min1.thm1
2017-02-06 12:46
1.2K
relat_1__1449_17.min1.thm1
2017-02-06 12:46
1.2K
relat_1__638_23.min1.thm1
2017-02-06 12:46
1.3K
relat_1__1444_24.min1.thm1
2017-02-06 12:46
1.3K
relat_1__697_17.min1.thm1
2017-02-06 12:46
1.3K
relat_1__1350_23.min1.thm1
2017-02-06 12:46
1.3K
relat_1__1361_17.min1.thm1
2017-02-06 12:46
1.3K
relat_1__1710_17.min1.thm1
2017-02-06 12:46
1.3K
relat_1__488_58.min1.thm1
2017-02-06 12:46
1.3K
relat_1__2150_25.min1.thm1
2017-02-06 12:46
1.3K
relat_1__1313_17.min1.thm1
2017-02-06 12:46
1.4K
relat_1__1977_17.min1.thm1
2017-02-06 12:46
1.5K
relat_1__2328_17.min1.thm1
2017-02-06 12:46
1.5K
relat_1__1699_17.min1.thm1
2017-02-06 12:46
1.5K
relat_1__1664_17.min1.thm1
2017-02-06 12:46
1.5K
relat_1__1750_17.min1.thm1
2017-02-06 12:46
1.7K
relat_1__1739_17.min1.thm1
2017-02-06 12:46
1.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80