Index of /~mptp/1147/MPTP2/ilp0/sgraph1
Name
Last modified
Size
Description
Parent Directory
-
sgraph1__41_37.min1.thm1
2017-02-06 12:44
689
sgraph1__43_16.min1.thm1
2017-02-06 12:44
819
sgraph1__68_10.min1.thm1
2017-02-06 12:44
699
sgraph1__70_17.min1.thm1
2017-02-06 12:44
201
sgraph1__73_26.min1.thm1
2017-02-06 12:44
353
sgraph1__73_26.min1.thm1.tptp
2017-02-06 16:47
288
sgraph1__74_38.min1.thm1
2017-02-06 12:44
535
sgraph1__79_30.min1.thm1
2017-02-06 12:44
1.5K
sgraph1__80_40.min1.thm1
2017-02-06 12:44
463
sgraph1__80_40.min1.thm1.tptp
2017-02-06 16:47
401
sgraph1__83_33.min1.thm1
2017-02-06 12:44
350
sgraph1__86_29.min1.thm1
2017-02-06 12:44
521
sgraph1__86_29.min1.thm1.tptp
2017-02-06 16:47
457
sgraph1__87_17.min1.thm1
2017-02-06 12:44
635
sgraph1__88_31.min1.thm1
2017-02-06 12:44
734
sgraph1__89_19.min1.thm1
2017-02-06 12:44
734
sgraph1__110_10.min1.thm1
2017-02-06 12:46
699
sgraph1__112_17.min1.thm1
2017-02-06 12:44
201
sgraph1__115_26.min1.thm1
2017-02-06 12:44
353
sgraph1__115_26.min1.thm1.tptp
2017-02-06 16:47
288
sgraph1__116_38.min1.thm1
2017-02-06 12:44
535
sgraph1__121_30.min1.thm1
2017-02-06 12:44
1.5K
sgraph1__122_40.min1.thm1
2017-02-06 12:44
463
sgraph1__122_40.min1.thm1.tptp
2017-02-06 16:47
401
sgraph1__125_33.min1.thm1
2017-02-06 12:44
350
sgraph1__127_30.min1.thm1
2017-02-06 12:44
521
sgraph1__127_30.min1.thm1.tptp
2017-02-06 16:47
457
sgraph1__128_16.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__134_52.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__142_55.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__143_21.min1.thm1
2017-02-06 12:44
356
sgraph1__146_14.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__157_43.min1.thm1
2017-02-06 12:44
697
sgraph1__158_22.min1.thm1
2017-02-06 12:44
809
sgraph1__159_32.min1.thm1
2017-02-06 12:44
1.4K
sgraph1__162_34.min1.thm1
2017-02-06 12:44
421
sgraph1__162_34.min1.thm1.tptp
2017-02-06 16:47
357
sgraph1__166_55.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__167_23.min1.thm1
2017-02-06 12:44
695
sgraph1__169_37.min1.thm1
2017-02-06 12:44
421
sgraph1__169_37.min1.thm1.tptp
2017-02-06 16:47
357
sgraph1__170_17.min1.thm1
2017-02-06 12:44
470
sgraph1__185_8.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__186_11.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__187_23.min1.thm1
2017-02-06 12:44
837
sgraph1__189_17.min1.thm1
2017-02-06 12:44
437
sgraph1__189_17.min1.thm1.tptp
2017-02-06 16:47
373
sgraph1__202_34.min1.thm1
2017-02-06 12:46
1.7K
sgraph1__204_50.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__205_19.min1.thm1
2017-02-06 12:44
1.6K
sgraph1__206_58.min1.thm1
2017-02-06 12:44
587
sgraph1__209_46.min1.thm1
2017-02-06 12:44
535
sgraph1__209_46.min1.thm1.tptp
2017-02-06 16:47
471
sgraph1__210_42.min1.thm1
2017-02-06 12:44
720
sgraph1__211_17.min1.thm1
2017-02-06 12:44
1.6K
sgraph1__223_55.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__226_17.min1.thm1
2017-02-06 12:44
414
sgraph1__241_18.min1.thm1
2017-02-06 12:44
479
sgraph1__241_18.min1.thm1.tptp
2017-02-06 16:47
417
sgraph1__244_20.min1.thm1
2017-02-06 12:44
749
sgraph1__248_23.min1.thm1
2017-02-06 12:44
433
sgraph1__251_16.min1.thm1
2017-02-06 12:44
244
sgraph1__253_14.min1.thm1
2017-02-06 12:44
421
sgraph1__253_14.min1.thm1.tptp
2017-02-06 16:47
343
sgraph1__262_11.min1.thm1
2017-02-06 12:44
130
sgraph1__267_50.min1.thm1
2017-02-06 12:46
490
sgraph1__267_50.min1.thm1.tptp
2017-02-06 16:47
449
sgraph1__277_53.min1.thm1
2017-02-06 12:44
562
sgraph1__278_46.min1.thm1
2017-02-06 12:44
354
sgraph1__279_35.min1.thm1
2017-02-06 12:44
354
sgraph1__282_15.min1.thm1
2017-02-06 12:44
719
sgraph1__284_24.min1.thm1
2017-02-06 12:44
564
sgraph1__285_25.min1.thm1
2017-02-06 12:44
867
sgraph1__286_26.min1.thm1
2017-02-06 12:44
602
sgraph1__295_14.min1.thm1
2017-02-06 12:44
532
sgraph1__295_14.min1.thm1.tptp
2017-02-06 16:47
482
sgraph1__296_48.min1.thm1
2017-02-06 12:44
866
sgraph1__300_16.min1.thm1
2017-02-06 12:44
333
sgraph1__300_16.min1.thm1.tptp
2017-02-06 16:47
251
sgraph1__301_18.min1.thm1
2017-02-06 12:44
398
sgraph1__303_14.min1.thm1
2017-02-06 12:44
560
sgraph1__313_35.min1.thm1
2017-02-06 12:44
509
sgraph1__313_35.min1.thm1.tptp
2017-02-06 16:47
447
sgraph1__314_23.min1.thm1
2017-02-06 12:44
468
sgraph1__316_17.min1.thm1
2017-02-06 12:44
415
sgraph1__316_17.min1.thm1.tptp
2017-02-06 16:47
351
sgraph1__328_22.min1.thm1
2017-02-06 12:46
582
sgraph1__328_22.min1.thm1.tptp
2017-02-06 16:47
532
sgraph1__329_14.min1.thm1
2017-02-06 12:44
706
sgraph1__332_36.min1.thm1
2017-02-06 12:44
466
sgraph1__334_6.min1.thm1
2017-02-06 12:44
560
sgraph1__334_6.min1.thm1.tptp
2017-02-06 16:47
510
sgraph1__339_19.min1.thm1
2017-02-06 12:44
494
sgraph1__339_19.min1.thm1.tptp
2017-02-06 16:47
410
sgraph1__343_19.min1.thm1
2017-02-06 12:46
494
sgraph1__343_19.min1.thm1.tptp
2017-02-06 16:47
410
sgraph1__347_36.min1.thm1
2017-02-06 12:44
466
sgraph1__349_74.min1.thm1
2017-02-06 12:44
560
sgraph1__349_74.min1.thm1.tptp
2017-02-06 16:47
510
sgraph1__367_14.min1.thm1
2017-02-06 12:44
562
sgraph1__379_33.min1.thm1
2017-02-06 12:44
499
sgraph1__379_33.min1.thm1.tptp
2017-02-06 16:47
437
sgraph1__381_30.min1.thm1
2017-02-06 12:44
594
sgraph1__382_61.min1.thm1
2017-02-06 12:44
530
sgraph1__382_61.min1.thm1.tptp
2017-02-06 16:47
480
sgraph1__383_17.min1.thm1
2017-02-06 12:44
1.6K
sgraph1__387_61.min1.thm1
2017-02-06 12:46
428
sgraph1__394_13.min1.thm1
2017-02-06 12:44
381
sgraph1__395_48.min1.thm1
2017-02-06 12:44
323
sgraph1__395_48.min1.thm1.tptp
2017-02-06 16:47
239
sgraph1__396_30.min1.thm1
2017-02-06 12:44
401
sgraph1__396_30.min1.thm1.tptp
2017-02-06 16:47
318
sgraph1__398_20.min1.thm1
2017-02-06 12:44
379
sgraph1__398_20.min1.thm1.tptp
2017-02-06 16:47
302
sgraph1__399_17.min1.thm1
2017-02-06 12:44
520
sgraph1__401_11.min1.thm1
2017-02-06 12:44
335
sgraph1__401_11.min1.thm1.tptp
2017-02-06 16:47
267
sgraph1__402_15.min1.thm1
2017-02-06 12:44
963
sgraph1__403_17.min1.thm1
2017-02-06 12:44
1.7K
sgraph1__417_16.min1.thm1
2017-02-06 12:44
571
sgraph1__417_16.min1.thm1.tptp
2017-02-06 16:47
521
sgraph1__418_12.min1.thm1
2017-02-06 12:44
339
sgraph1__418_12.min1.thm1.tptp
2017-02-06 16:47
274
sgraph1__419_13.min1.thm1
2017-02-06 12:44
339
sgraph1__419_13.min1.thm1.tptp
2017-02-06 16:47
274
sgraph1__422_17.min1.thm1
2017-02-06 12:44
412
sgraph1__461_11.min1.thm1
2017-02-06 12:44
130
sgraph1__467_47.min1.thm1
2017-02-06 12:44
486
sgraph1__469_3.min1.thm1
2017-02-06 12:44
662
sgraph1__472_16.min1.thm1
2017-02-06 12:44
927
sgraph1__473_14.min1.thm1
2017-02-06 12:44
552
sgraph1__479_14.min1.thm1
2017-02-06 12:44
365
sgraph1__479_14.min1.thm1.tptp
2017-02-06 16:47
288
sgraph1__490_18.min1.thm1
2017-02-06 12:44
427
sgraph1__490_18.min1.thm1.tptp
2017-02-06 16:47
352
sgraph1__506_36.min1.thm1
2017-02-06 12:44
478
sgraph1__509_37.min1.thm1
2017-02-06 12:44
848
sgraph1__510_31.min1.thm1
2017-02-06 12:46
932
sgraph1__511_13.min1.thm1
2017-02-06 12:44
589
sgraph1__517_25.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__521_74.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__530_36.min1.thm1
2017-02-06 12:44
478
sgraph1__533_37.min1.thm1
2017-02-06 12:44
848
sgraph1__534_14.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__573_37.min1.thm1
2017-02-06 12:44
690
sgraph1__574_48.min1.thm1
2017-02-06 12:44
821
sgraph1__575_32.min1.thm1
2017-02-06 12:44
407
sgraph1__575_32.min1.thm1.tptp
2017-02-06 16:47
333
sgraph1__576_11.min1.thm1
2017-02-06 12:44
188
sgraph1__579_45.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__580_19.min1.thm1
2017-02-06 12:44
1.4K
sgraph1__584_44.min1.thm1
2017-02-06 12:44
226
sgraph1__589_33.min1.thm1
2017-02-06 12:44
553
sgraph1__591_28.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__592_48.min1.thm1
2017-02-06 12:44
972
sgraph1__595_37.min1.thm1
2017-02-06 12:44
2.2K
sgraph1__596_24.min1.thm1
2017-02-06 12:44
1.5K
sgraph1__598_15.min1.thm1
2017-02-06 12:44
536
sgraph1__603_15.min1.thm1
2017-02-06 12:44
234
sgraph1__609_36.min1.thm1
2017-02-06 12:44
734
sgraph1__610_47.min1.thm1
2017-02-06 12:44
598
sgraph1__614_64.min1.thm1
2017-02-06 12:44
345
sgraph1__614_64.min1.thm1.tptp
2017-02-06 16:47
265
sgraph1__621_64.min1.thm1
2017-02-06 12:44
575
sgraph1__623_39.min1.thm1
2017-02-06 12:46
628
sgraph1__624_51.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__625_52.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__626_17.min1.thm1
2017-02-06 12:44
884
sgraph1__630_12.min1.thm1
2017-02-06 12:44
2.3K
sgraph1__631_31.min1.thm1
2017-02-06 12:44
2.4K
sgraph1__637_40.min1.thm1
2017-02-06 12:44
683
sgraph1__638_25.min1.thm1
2017-02-06 12:44
606
sgraph1__643_78.min1.thm1
2017-02-06 12:44
695
sgraph1__643_78.min1.thm1.tptp
2017-02-06 16:47
649
sgraph1__647_56.min1.thm1
2017-02-06 12:44
1.5K
sgraph1__648_19.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__664_41.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__665_13.min1.thm1
2017-02-06 12:44
506
sgraph1__680_37.min1.thm1
2017-02-06 12:44
764
sgraph1__681_24.min1.thm1
2017-02-06 12:44
819
sgraph1__682_33.min1.thm1
2017-02-06 12:44
690
sgraph1__684_14.min1.thm1
2017-02-06 12:44
913
sgraph1__699_37.min1.thm1
2017-02-06 12:44
764
sgraph1__700_62.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__701_45.min1.thm1
2017-02-06 12:44
550
sgraph1__701_45.min1.thm1.tptp
2017-02-06 16:47
476
sgraph1__702_41.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__709_18.min1.thm1
2017-02-06 12:44
539
sgraph1__709_18.min1.thm1.tptp
2017-02-06 16:47
477
sgraph1__712_36.min1.thm1
2017-02-06 12:44
842
sgraph1__717_20.min1.thm1
2017-02-06 12:44
405
sgraph1__717_20.min1.thm1.tptp
2017-02-06 16:47
340
sgraph1__718_32.min1.thm1
2017-02-06 12:44
682
sgraph1__719_39.min1.thm1
2017-02-06 12:44
911
sgraph1__722_18.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__724_77.min1.thm1
2017-02-06 12:44
687
sgraph1__724_77.min1.thm1.tptp
2017-02-06 16:47
609
sgraph1__725_47.min1.thm1
2017-02-06 12:44
761
sgraph1__726_14.min1.thm1
2017-02-06 12:44
799
sgraph1__752_72.min1.thm1
2017-02-06 12:44
343
sgraph1__756_63.min1.thm1
2017-02-06 12:44
894
sgraph1__777_25.min1.thm1
2017-02-06 12:44
515
sgraph1__777_25.min1.thm1.tptp
2017-02-06 16:47
441
sgraph1__793_16.min1.thm1
2017-02-06 12:44
583
sgraph1__793_16.min1.thm1.tptp
2017-02-06 16:47
533
sgraph1__794_32.min1.thm1
2017-02-06 12:44
560
sgraph1__794_32.min1.thm1.tptp
2017-02-06 16:47
486
sgraph1__799_18.min1.thm1
2017-02-06 12:44
631
sgraph1__799_18.min1.thm1.tptp
2017-02-06 16:47
549
sgraph1__804_54.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__807_17.min1.thm1
2017-02-06 12:44
359
sgraph1__807_17.min1.thm1.tptp
2017-02-06 16:47
278
sgraph1__812_67.min1.thm1
2017-02-06 12:44
369
sgraph1__812_67.min1.thm1.tptp
2017-02-06 16:47
308
sgraph1__827_11.min1.thm1
2017-02-06 12:44
417
sgraph1__827_11.min1.thm1.tptp
2017-02-06 16:47
342
sgraph1__860_21.min1.thm1
2017-02-06 12:46
427
sgraph1__860_21.min1.thm1.tptp
2017-02-06 16:47
350
sgraph1__862_34.min1.thm1
2017-02-06 12:44
482
sgraph1__862_34.min1.thm1.tptp
2017-02-06 16:47
408
sgraph1__863_38.min1.thm1
2017-02-06 12:44
531
sgraph1__865_18.min1.thm1
2017-02-06 12:44
531
sgraph1__865_18.min1.thm1.tptp
2017-02-06 16:47
469
sgraph1__882_43.min1.thm1
2017-02-06 12:44
476
sgraph1__882_43.min1.thm1.tptp
2017-02-06 16:47
399
sgraph1__883_21.min1.thm1
2017-02-06 12:44
476
sgraph1__883_21.min1.thm1.tptp
2017-02-06 16:47
399
sgraph1__889_43.min1.thm1
2017-02-06 12:44
476
sgraph1__889_43.min1.thm1.tptp
2017-02-06 16:47
399
sgraph1__890_21.min1.thm1
2017-02-06 12:44
476
sgraph1__890_21.min1.thm1.tptp
2017-02-06 16:47
399
sgraph1__892_19.min1.thm1
2017-02-06 12:44
592
sgraph1__915_22.min1.thm1
2017-02-06 12:44
910
sgraph1__916_64.min1.thm1
2017-02-06 12:44
473
sgraph1__922_49.min1.thm1
2017-02-06 12:44
554
sgraph1__922_49.min1.thm1.tptp
2017-02-06 16:47
480
sgraph1__923_21.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__930_19.min1.thm1
2017-02-06 12:44
529
sgraph1__930_19.min1.thm1.tptp
2017-02-06 16:47
452
sgraph1__932_33.min1.thm1
2017-02-06 12:44
479
sgraph1__932_33.min1.thm1.tptp
2017-02-06 16:47
405
sgraph1__933_37.min1.thm1
2017-02-06 12:44
603
sgraph1__957_23.min1.thm1
2017-02-06 12:44
631
sgraph1__958_17.min1.thm1
2017-02-06 12:44
460
sgraph1__959_29.min1.thm1
2017-02-06 12:44
570
sgraph1__960_15.min1.thm1
2017-02-06 12:44
410
sgraph1__960_15.min1.thm1.tptp
2017-02-06 16:47
340
sgraph1__961_34.min1.thm1
2017-02-06 12:44
733
sgraph1__962_17.min1.thm1
2017-02-06 12:44
570
sgraph1__965_38.min1.thm1
2017-02-06 12:44
461
sgraph1__965_38.min1.thm1.tptp
2017-02-06 16:47
384
sgraph1__967_16.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__970_27.min1.thm1
2017-02-06 12:44
732
sgraph1__971_17.min1.thm1
2017-02-06 12:44
460
sgraph1__972_29.min1.thm1
2017-02-06 12:44
570
sgraph1__973_19.min1.thm1
2017-02-06 12:46
436
sgraph1__973_19.min1.thm1.tptp
2017-02-06 16:47
366
sgraph1__974_21.min1.thm1
2017-02-06 12:44
493
sgraph1__975_28.min1.thm1
2017-02-06 12:44
867
sgraph1__976_14.min1.thm1
2017-02-06 12:44
384
sgraph1__976_14.min1.thm1.tptp
2017-02-06 16:47
314
sgraph1__987_28.min1.thm1
2017-02-06 12:44
768
sgraph1__988_15.min1.thm1
2017-02-06 12:44
416
sgraph1__988_15.min1.thm1.tptp
2017-02-06 16:47
346
sgraph1__989_37.min1.thm1
2017-02-06 12:44
484
sgraph1__989_37.min1.thm1.tptp
2017-02-06 16:47
398
sgraph1__996_34.min1.thm1
2017-02-06 12:44
780
sgraph1__997_51.min1.thm1
2017-02-06 12:46
556
sgraph1__997_51.min1.thm1.tptp
2017-02-06 16:47
482
sgraph1__998_44.min1.thm1
2017-02-06 12:44
539
sgraph1__1000_15.min1.thm1
2017-02-06 12:44
925
sgraph1__1010_31.min1.thm1
2017-02-06 12:44
407
sgraph1__1010_31.min1.thm1.tptp
2017-02-06 16:47
330
sgraph1__1011_15.min1.thm1
2017-02-06 12:44
395
sgraph1__1011_15.min1.thm1.tptp
2017-02-06 16:47
318
sgraph1__1018_20.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1019_20.min1.thm1
2017-02-06 12:44
505
sgraph1__1023_24.min1.thm1
2017-02-06 12:44
546
sgraph1__1028_42.min1.thm1
2017-02-06 12:44
290
sgraph1__1029_24.min1.thm1
2017-02-06 12:44
473
sgraph1__1034_13.min1.thm1
2017-02-06 12:44
358
sgraph1__1036_21.min1.thm1
2017-02-06 12:44
795
sgraph1__1037_21.min1.thm1
2017-02-06 12:46
880
sgraph1__1045_19.min1.thm1
2017-02-06 12:44
307
sgraph1__1046_35.min1.thm1
2017-02-06 12:46
627
sgraph1__1047_25.min1.thm1
2017-02-06 12:44
566
sgraph1__1048_21.min1.thm1
2017-02-06 12:44
832
sgraph1__1052_17.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1061_49.min1.thm1
2017-02-06 12:44
479
sgraph1__1061_49.min1.thm1.tptp
2017-02-06 16:47
405
sgraph1__1071_6.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__1072_16.min1.thm1
2017-02-06 12:44
258
sgraph1__1077_16.min1.thm1
2017-02-06 12:44
1.4K
sgraph1__1078_10.min1.thm1
2017-02-06 12:44
348
sgraph1__1078_10.min1.thm1.tptp
2017-02-06 16:47
281
sgraph1__1087_6.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1088_16.min1.thm1
2017-02-06 12:44
360
sgraph1__1090_18.min1.thm1
2017-02-06 12:44
427
sgraph1__1091_17.min1.thm1
2017-02-06 12:44
845
sgraph1__1106_24.min1.thm1
2017-02-06 12:44
530
sgraph1__1120_22.min1.thm1
2017-02-06 12:44
569
sgraph1__1121_39.min1.thm1
2017-02-06 12:44
431
sgraph1__1132_46.min1.thm1
2017-02-06 12:44
442
sgraph1__1140_25.min1.thm1
2017-02-06 12:46
1.0K
sgraph1__1141_42.min1.thm1
2017-02-06 12:44
458
sgraph1__1141_42.min1.thm1.tptp
2017-02-06 16:47
384
sgraph1__1142_70.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__1147_23.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__1154_23.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__1155_21.min1.thm1
2017-02-06 12:44
376
sgraph1__1159_52.min1.thm1
2017-02-06 12:44
372
sgraph1__1159_52.min1.thm1.tptp
2017-02-06 16:47
312
sgraph1__1161_20.min1.thm1
2017-02-06 12:44
399
sgraph1__1161_20.min1.thm1.tptp
2017-02-06 16:47
335
sgraph1__1162_19.min1.thm1
2017-02-06 12:44
383
sgraph1__1162_19.min1.thm1.tptp
2017-02-06 16:47
319
sgraph1__1163_26.min1.thm1
2017-02-06 12:44
581
sgraph1__1166_23.min1.thm1
2017-02-06 12:46
341
sgraph1__1166_23.min1.thm1.tptp
2017-02-06 16:47
273
sgraph1__1170_18.min1.thm1
2017-02-06 12:44
385
sgraph1__1170_18.min1.thm1.tptp
2017-02-06 16:47
311
sgraph1__1171_33.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1174_34.min1.thm1
2017-02-06 12:44
316
sgraph1__1176_13.min1.thm1
2017-02-06 12:44
204
sgraph1__1211_18.min1.thm1
2017-02-06 12:44
877
sgraph1__1213_16.min1.thm1
2017-02-06 12:44
523
sgraph1__1213_16.min1.thm1.tptp
2017-02-06 16:47
445
sgraph1__1264_15.min1.thm1
2017-02-06 12:44
735
sgraph1__1266_15.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1267_15.min1.thm1
2017-02-06 12:44
2.0K
sgraph1__1274_25.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1275_28.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__1276_56.min1.thm1
2017-02-06 12:44
671
sgraph1__1278_16.min1.thm1
2017-02-06 12:44
465
sgraph1__1278_16.min1.thm1.tptp
2017-02-06 16:47
401
sgraph1__1279_14.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1280_26.min1.thm1
2017-02-06 12:44
1.8K
sgraph1__1281_29.min1.thm1
2017-02-06 12:44
2.1K
sgraph1__1285_64.min1.thm1
2017-02-06 12:44
1.4K
sgraph1__1289_47.min1.thm1
2017-02-06 12:44
928
sgraph1__1290_56.min1.thm1
2017-02-06 12:44
419
sgraph1__1292_15.min1.thm1
2017-02-06 12:44
617
sgraph1__1294_12.min1.thm1
2017-02-06 12:44
656
sgraph1__1315_12.min1.thm1
2017-02-06 12:44
792
sgraph1__1321_20.min1.thm1
2017-02-06 12:44
539
sgraph1__1324_25.min1.thm1
2017-02-06 12:44
382
sgraph1__1324_25.min1.thm1.tptp
2017-02-06 16:47
296
sgraph1__1328_25.min1.thm1
2017-02-06 12:44
382
sgraph1__1328_25.min1.thm1.tptp
2017-02-06 16:47
296
sgraph1__1331_41.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1333_39.min1.thm1
2017-02-06 12:44
453
sgraph1__1333_39.min1.thm1.tptp
2017-02-06 16:47
389
sgraph1__1334_67.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1337_27.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1338_47.min1.thm1
2017-02-06 12:44
853
sgraph1__1340_15.min1.thm1
2017-02-06 12:44
460
sgraph1__1340_15.min1.thm1.tptp
2017-02-06 16:47
380
sgraph1__1342_12.min1.thm1
2017-02-06 12:44
562
sgraph1__1350_13.min1.thm1
2017-02-06 12:44
427
sgraph1__1350_13.min1.thm1.tptp
2017-02-06 16:47
346
sgraph1__1370_16.min1.thm1
2017-02-06 12:44
514
sgraph1__1374_20.min1.thm1
2017-02-06 12:46
520
sgraph1__1381_51.min1.thm1
2017-02-06 12:44
1.9K
sgraph1__1385_51.min1.thm1
2017-02-06 12:44
2.0K
sgraph1__1388_44.min1.thm1
2017-02-06 12:44
512
sgraph1__1393_20.min1.thm1
2017-02-06 12:44
520
sgraph1__1396_51.min1.thm1
2017-02-06 12:44
2.0K
sgraph1__1404_51.min1.thm1
2017-02-06 12:46
1.9K
sgraph1__1407_44.min1.thm1
2017-02-06 12:44
512
sgraph1__1412_20.min1.thm1
2017-02-06 12:44
520
sgraph1__1415_51.min1.thm1
2017-02-06 12:44
2.0K
sgraph1__1419_51.min1.thm1
2017-02-06 12:44
2.0K
sgraph1__1426_44.min1.thm1
2017-02-06 12:44
512
sgraph1__1430_41.min1.thm1
2017-02-06 12:44
625
sgraph1__1430_41.min1.thm1.tptp
2017-02-06 16:47
561
sgraph1__1435_16.min1.thm1
2017-02-06 12:44
1.9K
sgraph1__1440_23.min1.thm1
2017-02-06 12:44
426
sgraph1__1441_41.min1.thm1
2017-02-06 12:44
604
sgraph1__1444_22.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1453_22.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1462_22.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1465_43.min1.thm1
2017-02-06 12:44
625
sgraph1__1465_43.min1.thm1.tptp
2017-02-06 16:47
561
sgraph1__1466_17.min1.thm1
2017-02-06 12:44
924
sgraph1__1471_34.min1.thm1
2017-02-06 12:44
1.0K
sgraph1__1486_60.min1.thm1
2017-02-06 12:44
1.3K
sgraph1__1490_27.min1.thm1
2017-02-06 12:46
867
sgraph1__1502_16.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1504_17.min1.thm1
2017-02-06 12:44
849
sgraph1__1505_16.min1.thm1
2017-02-06 12:44
514
sgraph1__1529_16.min1.thm1
2017-02-06 12:44
1.1K
sgraph1__1531_16.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1533_20.min1.thm1
2017-02-06 12:44
849
sgraph1__1536_12.min1.thm1
2017-02-06 12:44
1.2K
sgraph1__1537_16.min1.thm1
2017-02-06 12:44
514
sgraph1__1542_26.min1.thm1
2017-02-06 12:44
1.8K
sgraph1__1544_31.min1.thm1
2017-02-06 12:44
1.5K
sgraph1__1546_20.min1.thm1
2017-02-06 12:44
1.4K
sgraph1__1560_59.min1.thm1
2017-02-06 12:44
830
sgraph1__1564_17.min1.thm1
2017-02-06 12:44
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80