Index of /~mptp/1147/MPTP2/ilp0/graph_5
Name
Last modified
Size
Description
Parent Directory
-
graph_5__50_17.min1.thm1
2017-02-06 12:46
525
graph_5__51_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__63_13.min1.thm1
2017-02-06 12:46
225
graph_5__66_43.min1.thm1
2017-02-06 12:46
258
graph_5__68_17.min1.thm1
2017-02-06 12:46
573
graph_5__68_17.min1.thm1.tptp
2017-02-06 16:47
509
graph_5__73_20.min1.thm1
2017-02-06 12:46
435
graph_5__80_36.min1.thm1
2017-02-06 12:46
750
graph_5__85_20.min1.thm1
2017-02-06 12:46
859
graph_5__86_18.min1.thm1
2017-02-06 12:46
611
graph_5__86_18.min1.thm1.tptp
2017-02-06 16:47
547
graph_5__88_17.min1.thm1
2017-02-06 12:46
515
graph_5__88_17.min1.thm1.tptp
2017-02-06 16:47
457
graph_5__108_30.min1.thm1
2017-02-06 12:46
849
graph_5__110_20.min1.thm1
2017-02-06 12:46
1.1K
graph_5__111_15.min1.thm1
2017-02-06 12:46
372
graph_5__115_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__116_53.min1.thm1
2017-02-06 12:46
710
graph_5__117_30.min1.thm1
2017-02-06 12:46
1.0K
graph_5__118_20.min1.thm1
2017-02-06 12:46
1.1K
graph_5__119_19.min1.thm1
2017-02-06 12:46
695
graph_5__125_44.min1.thm1
2017-02-06 12:46
1.0K
graph_5__126_17.min1.thm1
2017-02-06 12:46
665
graph_5__127_23.min1.thm1
2017-02-06 12:46
831
graph_5__129_27.min1.thm1
2017-02-06 12:46
1.2K
graph_5__130_17.min1.thm1
2017-02-06 12:46
502
graph_5__147_17.min1.thm1
2017-02-06 12:46
775
graph_5__148_13.min1.thm1
2017-02-06 12:46
271
graph_5__152_25.min1.thm1
2017-02-06 12:46
335
graph_5__152_25.min1.thm1.tptp
2017-02-06 16:47
270
graph_5__153_21.min1.thm1
2017-02-06 12:46
614
graph_5__157_20.min1.thm1
2017-02-06 12:46
1.7K
graph_5__158_21.min1.thm1
2017-02-06 12:46
541
graph_5__161_16.min1.thm1
2017-02-06 12:46
448
graph_5__162_17.min1.thm1
2017-02-06 12:46
748
graph_5__173_14.min1.thm1
2017-02-06 12:46
1.4K
graph_5__175_13.min1.thm1
2017-02-06 12:46
362
graph_5__176_39.min1.thm1
2017-02-06 12:46
305
graph_5__177_33.min1.thm1
2017-02-06 12:46
310
graph_5__177_33.min1.thm1.tptp
2017-02-06 16:47
232
graph_5__179_13.min1.thm1
2017-02-06 12:46
264
graph_5__181_17.min1.thm1
2017-02-06 12:46
637
graph_5__182_13.min1.thm1
2017-02-06 12:46
394
graph_5__183_21.min1.thm1
2017-02-06 12:46
716
graph_5__184_29.min1.thm1
2017-02-06 12:46
773
graph_5__193_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__198_11.min1.thm1
2017-02-06 12:46
866
graph_5__199_17.min1.thm1
2017-02-06 12:46
470
graph_5__210_14.min1.thm1
2017-02-06 12:46
230
graph_5__225_15.min1.thm1
2017-02-06 12:46
505
graph_5__226_41.min1.thm1
2017-02-06 12:46
480
graph_5__227_38.min1.thm1
2017-02-06 12:46
588
graph_5__231_15.min1.thm1
2017-02-06 12:46
303
graph_5__235_22.min1.thm1
2017-02-06 12:46
681
graph_5__240_22.min1.thm1
2017-02-06 12:46
871
graph_5__243_32.min1.thm1
2017-02-06 12:46
609
graph_5__244_33.min1.thm1
2017-02-06 12:46
883
graph_5__248_33.min1.thm1
2017-02-06 12:46
742
graph_5__255_22.min1.thm1
2017-02-06 12:46
880
graph_5__260_22.min1.thm1
2017-02-06 12:46
779
graph_5__263_33.min1.thm1
2017-02-06 12:46
701
graph_5__267_33.min1.thm1
2017-02-06 12:46
924
graph_5__272_16.min1.thm1
2017-02-06 12:46
858
graph_5__272_16.min1.thm1.tptp
2017-02-06 16:47
853
graph_5__279_15.min1.thm1
2017-02-06 12:46
1.6K
graph_5__280_37.min1.thm1
2017-02-06 12:46
625
graph_5__282_18.min1.thm1
2017-02-06 12:46
577
graph_5__283_18.min1.thm1
2017-02-06 12:46
760
graph_5__291_16.min1.thm1
2017-02-06 12:46
709
graph_5__300_35.min1.thm1
2017-02-06 12:46
959
graph_5__301_25.min1.thm1
2017-02-06 12:46
466
graph_5__302_16.min1.thm1
2017-02-06 12:46
324
graph_5__302_16.min1.thm1.tptp
2017-02-06 16:47
238
graph_5__313_20.min1.thm1
2017-02-06 12:46
1.3K
graph_5__314_17.min1.thm1
2017-02-06 12:46
1.6K
graph_5__320_20.min1.thm1
2017-02-06 12:46
1.3K
graph_5__336_48.min1.thm1
2017-02-06 12:46
751
graph_5__337_28.min1.thm1
2017-02-06 12:46
1.6K
graph_5__338_28.min1.thm1
2017-02-06 12:46
1.6K
graph_5__341_15.min1.thm1
2017-02-06 12:46
238
graph_5__344_21.min1.thm1
2017-02-06 12:46
1.1K
graph_5__360_15.min1.thm1
2017-02-06 12:46
2.2K
graph_5__362_18.min1.thm1
2017-02-06 12:46
1.4K
graph_5__363_11.min1.thm1
2017-02-06 12:46
1.2K
graph_5__365_18.min1.thm1
2017-02-06 12:46
1.4K
graph_5__373_41.min1.thm1
2017-02-06 12:46
494
graph_5__373_41.min1.thm1.tptp
2017-02-06 16:47
425
graph_5__392_12.min1.thm1
2017-02-06 12:46
544
graph_5__392_12.min1.thm1.tptp
2017-02-06 16:47
474
graph_5__393_19.min1.thm1
2017-02-06 12:46
801
graph_5__395_21.min1.thm1
2017-02-06 12:46
578
graph_5__396_22.min1.thm1
2017-02-06 12:46
1.9K
graph_5__402_37.min1.thm1
2017-02-06 12:46
631
graph_5__403_15.min1.thm1
2017-02-06 12:46
1.4K
graph_5__405_18.min1.thm1
2017-02-06 12:46
1.5K
graph_5__406_35.min1.thm1
2017-02-06 12:46
449
graph_5__411_14.min1.thm1
2017-02-06 12:46
1.3K
graph_5__412_37.min1.thm1
2017-02-06 12:46
1.0K
graph_5__415_15.min1.thm1
2017-02-06 12:46
1.5K
graph_5__419_21.min1.thm1
2017-02-06 12:46
664
graph_5__420_24.min1.thm1
2017-02-06 12:46
907
graph_5__432_39.min1.thm1
2017-02-06 12:46
638
graph_5__433_17.min1.thm1
2017-02-06 12:46
1.4K
graph_5__435_14.min1.thm1
2017-02-06 12:46
2.3K
graph_5__436_27.min1.thm1
2017-02-06 12:46
2.5K
graph_5__440_14.min1.thm1
2017-02-06 12:46
351
graph_5__440_14.min1.thm1.tptp
2017-02-06 16:47
271
graph_5__441_17.min1.thm1
2017-02-06 12:46
786
graph_5__443_39.min1.thm1
2017-02-06 12:46
1.0K
graph_5__444_39.min1.thm1
2017-02-06 12:46
590
graph_5__444_39.min1.thm1.tptp
2017-02-06 16:47
523
graph_5__445_34.min1.thm1
2017-02-06 12:46
844
graph_5__446_28.min1.thm1
2017-02-06 12:46
854
graph_5__447_38.min1.thm1
2017-02-06 12:46
1.3K
graph_5__448_17.min1.thm1
2017-02-06 12:46
543
graph_5__464_28.min1.thm1
2017-02-06 12:46
708
graph_5__472_30.min1.thm1
2017-02-06 12:46
372
graph_5__472_30.min1.thm1.tptp
2017-02-06 16:47
290
graph_5__478_22.min1.thm1
2017-02-06 12:46
1.6K
graph_5__480_23.min1.thm1
2017-02-06 12:46
2.3K
graph_5__481_36.min1.thm1
2017-02-06 12:46
2.8K
graph_5__483_26.min1.thm1
2017-02-06 12:46
1.0K
graph_5__484_20.min1.thm1
2017-02-06 12:46
1.4K
graph_5__494_15.min1.thm1
2017-02-06 12:46
1.6K
graph_5__495_20.min1.thm1
2017-02-06 12:46
2.3K
graph_5__501_24.min1.thm1
2017-02-06 12:46
1.7K
graph_5__502_25.min1.thm1
2017-02-06 12:46
1.9K
graph_5__504_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__506_14.min1.thm1
2017-02-06 12:46
3.8K
graph_5__517_30.min1.thm1
2017-02-06 12:46
374
graph_5__517_30.min1.thm1.tptp
2017-02-06 16:47
292
graph_5__524_24.min1.thm1
2017-02-06 12:46
2.0K
graph_5__526_17.min1.thm1
2017-02-06 12:46
671
graph_5__527_20.min1.thm1
2017-02-06 12:46
1.4K
graph_5__536_24.min1.thm1
2017-02-06 12:46
2.2K
graph_5__540_23.min1.thm1
2017-02-06 12:46
1.2K
graph_5__542_24.min1.thm1
2017-02-06 12:46
1.7K
graph_5__543_25.min1.thm1
2017-02-06 12:46
1.9K
graph_5__544_23.min1.thm1
2017-02-06 12:46
1.3K
graph_5__546_27.min1.thm1
2017-02-06 12:46
2.5K
graph_5__548_28.min1.thm1
2017-02-06 12:46
1.3K
graph_5__555_22.min1.thm1
2017-02-06 12:46
1.3K
graph_5__556_21.min1.thm1
2017-02-06 12:46
837
graph_5__563_22.min1.thm1
2017-02-06 12:46
1.3K
graph_5__564_21.min1.thm1
2017-02-06 12:46
837
graph_5__576_28.min1.thm1
2017-02-06 12:46
708
graph_5__583_13.min1.thm1
2017-02-06 12:46
1.6K
graph_5__585_13.min1.thm1
2017-02-06 12:46
2.2K
graph_5__586_19.min1.thm1
2017-02-06 12:46
2.5K
graph_5__600_19.min1.thm1
2017-02-06 12:46
2.5K
graph_5__602_23.min1.thm1
2017-02-06 12:46
2.7K
graph_5__604_21.min1.thm1
2017-02-06 12:46
2.2K
graph_5__619_11.min1.thm1
2017-02-06 12:46
256
graph_5__623_18.min1.thm1
2017-02-06 12:46
278
graph_5__626_23.min1.thm1
2017-02-06 12:46
1.5K
graph_5__630_23.min1.thm1
2017-02-06 12:46
1.5K
graph_5__637_38.min1.thm1
2017-02-06 12:46
620
graph_5__638_26.min1.thm1
2017-02-06 12:46
1.3K
graph_5__640_19.min1.thm1
2017-02-06 12:46
2.2K
graph_5__641_17.min1.thm1
2017-02-06 12:46
918
graph_5__644_37.min1.thm1
2017-02-06 12:46
1.5K
graph_5__645_16.min1.thm1
2017-02-06 12:46
1.0K
graph_5__647_38.min1.thm1
2017-02-06 12:46
620
graph_5__648_26.min1.thm1
2017-02-06 12:46
1.3K
graph_5__650_19.min1.thm1
2017-02-06 12:46
2.2K
graph_5__651_17.min1.thm1
2017-02-06 12:46
919
graph_5__654_56.min1.thm1
2017-02-06 12:46
1.7K
graph_5__655_22.min1.thm1
2017-02-06 12:46
1.9K
graph_5__676_52.min1.thm1
2017-02-06 12:46
628
graph_5__687_11.min1.thm1
2017-02-06 12:46
256
graph_5__691_18.min1.thm1
2017-02-06 12:46
278
graph_5__694_23.min1.thm1
2017-02-06 12:46
1.2K
graph_5__698_23.min1.thm1
2017-02-06 12:46
1.2K
graph_5__708_25.min1.thm1
2017-02-06 12:46
1.5K
graph_5__709_28.min1.thm1
2017-02-06 12:46
712
graph_5__721_55.min1.thm1
2017-02-06 12:46
899
graph_5__729_20.min1.thm1
2017-02-06 12:46
2.1K
graph_5__732_15.min1.thm1
2017-02-06 12:46
1.2K
graph_5__740_55.min1.thm1
2017-02-06 12:46
899
graph_5__751_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__755_27.min1.thm1
2017-02-06 12:46
1.2K
graph_5__758_15.min1.thm1
2017-02-06 12:46
1.6K
graph_5__760_15.min1.thm1
2017-02-06 12:46
2.3K
graph_5__768_19.min1.thm1
2017-02-06 12:46
1.1K
graph_5__770_18.min1.thm1
2017-02-06 12:46
1.3K
graph_5__781_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__784_19.min1.thm1
2017-02-06 12:46
2.2K
graph_5__789_25.min1.thm1
2017-02-06 12:46
2.1K
graph_5__795_21.min1.thm1
2017-02-06 12:46
1.1K
graph_5__797_18.min1.thm1
2017-02-06 12:46
1.2K
graph_5__801_27.min1.thm1
2017-02-06 12:46
1.2K
graph_5__803_22.min1.thm1
2017-02-06 12:46
1.2K
graph_5__805_52.min1.thm1
2017-02-06 12:46
1.9K
graph_5__816_20.min1.thm1
2017-02-06 12:46
2.1K
graph_5__821_15.min1.thm1
2017-02-06 12:46
1.2K
graph_5__839_22.min1.thm1
2017-02-06 12:46
1.7K
graph_5__840_37.min1.thm1
2017-02-06 12:46
839
graph_5__844_20.min1.thm1
2017-02-06 12:46
1.7K
graph_5__847_24.min1.thm1
2017-02-06 12:46
1.9K
graph_5__852_10.min1.thm1
2017-02-06 12:46
1.0K
graph_5__854_36.min1.thm1
2017-02-06 12:46
2.1K
graph_5__855_28.min1.thm1
2017-02-06 12:46
1.3K
graph_5__857_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__865_14.min1.thm1
2017-02-06 12:46
1.9K
graph_5__866_18.min1.thm1
2017-02-06 12:46
1.1K
graph_5__867_16.min1.thm1
2017-02-06 12:46
940
graph_5__868_12.min1.thm1
2017-02-06 12:46
1.1K
graph_5__869_25.min1.thm1
2017-02-06 12:46
1.9K
graph_5__871_21.min1.thm1
2017-02-06 12:46
1.3K
graph_5__878_13.min1.thm1
2017-02-06 12:46
783
graph_5__881_20.min1.thm1
2017-02-06 12:46
1.1K
graph_5__882_17.min1.thm1
2017-02-06 12:46
948
graph_5__883_21.min1.thm1
2017-02-06 12:46
1.4K
graph_5__884_36.min1.thm1
2017-02-06 12:46
954
graph_5__888_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__889_21.min1.thm1
2017-02-06 12:46
1.4K
graph_5__890_36.min1.thm1
2017-02-06 12:46
954
graph_5__894_43.min1.thm1
2017-02-06 12:46
458
graph_5__899_11.min1.thm1
2017-02-06 12:46
1.0K
graph_5__900_32.min1.thm1
2017-02-06 12:46
1.7K
graph_5__901_50.min1.thm1
2017-02-06 12:46
1.6K
graph_5__924_15.min1.thm1
2017-02-06 12:46
1.7K
graph_5__932_24.min1.thm1
2017-02-06 12:46
1.4K
graph_5__937_37.min1.thm1
2017-02-06 12:46
1.6K
graph_5__944_13.min1.thm1
2017-02-06 12:46
336
graph_5__951_22.min1.thm1
2017-02-06 12:46
1.6K
graph_5__954_23.min1.thm1
2017-02-06 12:46
1.9K
graph_5__957_25.min1.thm1
2017-02-06 12:46
1.2K
graph_5__964_19.min1.thm1
2017-02-06 12:46
2.9K
graph_5__968_21.min1.thm1
2017-02-06 12:46
2.9K
graph_5__970_22.min1.thm1
2017-02-06 12:46
1.2K
graph_5__972_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__974_26.min1.thm1
2017-02-06 12:46
1.3K
graph_5__977_38.min1.thm1
2017-02-06 12:46
942
graph_5__985_26.min1.thm1
2017-02-06 12:46
1.7K
graph_5__987_30.min1.thm1
2017-02-06 12:46
2.0K
graph_5__988_30.min1.thm1
2017-02-06 12:46
1.1K
graph_5__989_31.min1.thm1
2017-02-06 12:46
525
graph_5__989_31.min1.thm1.tptp
2017-02-06 16:47
454
graph_5__997_22.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1007_13.min1.thm1
2017-02-06 12:46
450
graph_5__1012_15.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1015_18.min1.thm1
2017-02-06 12:46
2.0K
graph_5__1025_29.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1026_16.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1027_15.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1036_14.min1.thm1
2017-02-06 12:46
1.4K
graph_5__1037_39.min1.thm1
2017-02-06 12:46
472
graph_5__1040_15.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1041_22.min1.thm1
2017-02-06 12:46
3.9K
graph_5__1048_33.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1049_20.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1059_13.min1.thm1
2017-02-06 12:46
250
graph_5__1063_21.min1.thm1
2017-02-06 12:46
2.4K
graph_5__1072_18.min1.thm1
2017-02-06 12:46
2.1K
graph_5__1082_13.min1.thm1
2017-02-06 12:46
424
graph_5__1086_21.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1094_22.min1.thm1
2017-02-06 12:46
851
graph_5__1104_13.min1.thm1
2017-02-06 12:46
250
graph_5__1109_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1113_26.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1120_23.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1130_18.min1.thm1
2017-02-06 12:46
2.0K
graph_5__1131_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1136_36.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1138_22.min1.thm1
2017-02-06 12:46
1.8K
graph_5__1157_25.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1164_13.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1169_18.min1.thm1
2017-02-06 12:46
2.2K
graph_5__1172_39.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1173_17.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1175_23.min1.thm1
2017-02-06 12:46
2.8K
graph_5__1178_18.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1179_19.min1.thm1
2017-02-06 12:46
2.8K
graph_5__1180_23.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1181_21.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1194_11.min1.thm1
2017-02-06 12:46
130
graph_5__1213_18.min1.thm1
2017-02-06 12:46
926
graph_5__1215_16.min1.thm1
2017-02-06 12:46
437
graph_5__1215_16.min1.thm1.tptp
2017-02-06 16:47
359
graph_5__1236_25.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1238_18.min1.thm1
2017-02-06 12:46
2.2K
graph_5__1239_30.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1244_22.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1245_13.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1248_34.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1257_28.min1.thm1
2017-02-06 12:46
544
graph_5__1259_18.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1261_13.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1263_15.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1264_18.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1269_15.min1.thm1
2017-02-06 12:46
2.8K
graph_5__1271_13.min1.thm1
2017-02-06 12:46
2.8K
graph_5__1277_23.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1285_27.min1.thm1
2017-02-06 12:46
1.8K
graph_5__1297_28.min1.thm1
2017-02-06 12:46
544
graph_5__1298_18.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1300_19.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1305_14.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1311_23.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1322_27.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1341_27.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1365_27.min1.thm1
2017-02-06 12:46
536
graph_5__1366_25.min1.thm1
2017-02-06 12:46
840
graph_5__1383_17.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1384_35.min1.thm1
2017-02-06 12:46
448
graph_5__1387_12.min1.thm1
2017-02-06 12:46
971
graph_5__1388_35.min1.thm1
2017-02-06 12:46
449
graph_5__1389_19.min1.thm1
2017-02-06 12:46
2.6K
graph_5__1394_55.min1.thm1
2017-02-06 12:46
899
graph_5__1397_26.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1403_17.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1404_22.min1.thm1
2017-02-06 12:46
804
graph_5__1407_15.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1409_16.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1410_18.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1428_27.min1.thm1
2017-02-06 12:46
536
graph_5__1429_19.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1432_18.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1433_35.min1.thm1
2017-02-06 12:46
971
graph_5__1434_15.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1435_21.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1447_17.min1.thm1
2017-02-06 12:46
744
graph_5__1454_50.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1469_33.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1481_18.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1491_29.min1.thm1
2017-02-06 12:46
552
graph_5__1492_27.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1493_35.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1502_27.min1.thm1
2017-02-06 12:46
711
graph_5__1510_50.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1525_24.min1.thm1
2017-02-06 12:46
1.8K
graph_5__1535_28.min1.thm1
2017-02-06 12:46
552
graph_5__1538_15.min1.thm1
2017-02-06 12:46
256
graph_5__1543_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1545_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1552_37.min1.thm1
2017-02-06 12:46
289
graph_5__1555_22.min1.thm1
2017-02-06 12:46
2.1K
graph_5__1575_27.min1.thm1
2017-02-06 12:46
487
graph_5__1575_27.min1.thm1.tptp
2017-02-06 16:47
422
graph_5__1576_43.min1.thm1
2017-02-06 12:46
758
graph_5__1583_16.min1.thm1
2017-02-06 12:46
645
graph_5__1583_16.min1.thm1.tptp
2017-02-06 16:47
583
graph_5__1591_20.min1.thm1
2017-02-06 12:46
1.7K
graph_5__1593_19.min1.thm1
2017-02-06 12:46
2.2K
graph_5__1595_23.min1.thm1
2017-02-06 12:46
2.9K
graph_5__1600_22.min1.thm1
2017-02-06 12:46
459
graph_5__1600_22.min1.thm1.tptp
2017-02-06 16:47
394
graph_5__1620_26.min1.thm1
2017-02-06 12:46
536
graph_5__1633_13.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1634_37.min1.thm1
2017-02-06 12:46
464
graph_5__1637_12.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1638_18.min1.thm1
2017-02-06 12:46
1.8K
graph_5__1672_72.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1673_21.min1.thm1
2017-02-06 12:46
818
graph_5__1675_16.min1.thm1
2017-02-06 12:46
493
graph_5__1675_16.min1.thm1.tptp
2017-02-06 16:47
415
graph_5__1684_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1685_20.min1.thm1
2017-02-06 12:46
878
graph_5__1688_69.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1693_72.min1.thm1
2017-02-06 12:46
860
graph_5__1693_72.min1.thm1.tptp
2017-02-06 16:47
870
graph_5__1701_31.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1703_23.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1704_19.min1.thm1
2017-02-06 12:46
335
graph_5__1704_19.min1.thm1.tptp
2017-02-06 16:47
267
graph_5__1707_28.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1717_28.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1719_30.min1.thm1
2017-02-06 12:46
600
graph_5__1720_31.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1734_32.min1.thm1
2017-02-06 12:46
658
graph_5__1735_35.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1737_21.min1.thm1
2017-02-06 12:46
1.8K
graph_5__1738_17.min1.thm1
2017-02-06 12:46
865
graph_5__1741_16.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1745_12.min1.thm1
2017-02-06 12:46
2.6K
graph_5__1746_17.min1.thm1
2017-02-06 12:46
1.5K
graph_5__1758_31.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1763_19.min1.thm1
2017-02-06 12:46
865
graph_5__1765_27.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1767_40.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1768_28.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1770_41.min1.thm1
2017-02-06 12:46
734
graph_5__1806_30.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1807_21.min1.thm1
2017-02-06 12:46
850
graph_5__1809_16.min1.thm1
2017-02-06 12:46
493
graph_5__1809_16.min1.thm1.tptp
2017-02-06 16:47
415
graph_5__1827_32.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1828_21.min1.thm1
2017-02-06 12:46
865
graph_5__1830_16.min1.thm1
2017-02-06 12:46
523
graph_5__1830_16.min1.thm1.tptp
2017-02-06 16:47
445
graph_5__1854_21.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1856_16.min1.thm1
2017-02-06 12:46
463
graph_5__1856_16.min1.thm1.tptp
2017-02-06 16:47
385
graph_5__1872_58.min1.thm1
2017-02-06 12:46
648
graph_5__1873_21.min1.thm1
2017-02-06 12:46
788
graph_5__1875_16.min1.thm1
2017-02-06 12:46
433
graph_5__1875_16.min1.thm1.tptp
2017-02-06 16:47
355
graph_5__1883_40.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1884_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1888_65.min1.thm1
2017-02-06 12:46
618
graph_5__1897_29.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1898_31.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1899_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1910_14.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1919_8.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1920_14.min1.thm1
2017-02-06 12:46
790
graph_5__1928_72.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1936_31.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1937_35.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1938_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1953_28.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1956_31.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1957_75.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1959_36.min1.thm1
2017-02-06 12:46
1.6K
graph_5__1961_37.min1.thm1
2017-02-06 12:46
1.0K
graph_5__1962_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__1968_35.min1.thm1
2017-02-06 12:46
1.1K
graph_5__1969_38.min1.thm1
2017-02-06 12:46
1.2K
graph_5__1970_15.min1.thm1
2017-02-06 12:46
1.4K
graph_5__1978_20.min1.thm1
2017-02-06 12:46
566
graph_5__1980_24.min1.thm1
2017-02-06 12:46
948
graph_5__1981_33.min1.thm1
2017-02-06 12:46
1.4K
graph_5__1982_17.min1.thm1
2017-02-06 12:46
2.8K
graph_5__2007_20.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2011_25.min1.thm1
2017-02-06 12:46
2.5K
graph_5__2014_17.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2015_39.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2016_36.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2018_30.min1.thm1
2017-02-06 12:46
513
graph_5__2019_24.min1.thm1
2017-02-06 12:46
870
graph_5__2020_24.min1.thm1
2017-02-06 12:46
793
graph_5__2021_20.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2036_15.min1.thm1
2017-02-06 12:46
657
graph_5__2042_26.min1.thm1
2017-02-06 12:46
690
graph_5__2044_24.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2051_26.min1.thm1
2017-02-06 12:46
937
graph_5__2052_32.min1.thm1
2017-02-06 12:46
553
graph_5__2054_26.min1.thm1
2017-02-06 12:46
551
graph_5__2060_35.min1.thm1
2017-02-06 12:46
835
graph_5__2064_47.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2066_19.min1.thm1
2017-02-06 12:46
504
graph_5__2070_56.min1.thm1
2017-02-06 12:46
2.2K
graph_5__2073_39.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2074_24.min1.thm1
2017-02-06 12:46
971
graph_5__2084_39.min1.thm1
2017-02-06 12:46
907
graph_5__2088_58.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2093_39.min1.thm1
2017-02-06 12:46
851
graph_5__2098_16.min1.thm1
2017-02-06 12:46
812
graph_5__2106_51.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2107_14.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2111_16.min1.thm1
2017-02-06 12:46
876
graph_5__2116_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2117_19.min1.thm1
2017-02-06 12:46
878
graph_5__2119_32.min1.thm1
2017-02-06 12:46
2.5K
graph_5__2121_46.min1.thm1
2017-02-06 12:46
495
graph_5__2122_43.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2123_17.min1.thm1
2017-02-06 12:46
696
graph_5__2135_36.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2136_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2137_19.min1.thm1
2017-02-06 12:46
878
graph_5__2151_39.min1.thm1
2017-02-06 12:46
636
graph_5__2152_32.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2153_27.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2155_20.min1.thm1
2017-02-06 12:46
2.2K
graph_5__2156_35.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2158_16.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2160_19.min1.thm1
2017-02-06 12:46
907
graph_5__2163_44.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2166_15.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2173_35.min1.thm1
2017-02-06 12:46
829
graph_5__2182_28.min1.thm1
2017-02-06 12:46
744
graph_5__2184_16.min1.thm1
2017-02-06 12:46
1.9K
graph_5__2185_41.min1.thm1
2017-02-06 12:46
481
graph_5__2186_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2188_19.min1.thm1
2017-02-06 12:46
200
graph_5__2191_30.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2195_24.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2197_26.min1.thm1
2017-02-06 12:46
2.2K
graph_5__2201_31.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2202_23.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2203_24.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2204_27.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2205_21.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2206_45.min1.thm1
2017-02-06 12:46
505
graph_5__2212_26.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2217_34.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2218_54.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2221_34.min1.thm1
2017-02-06 12:46
3.5K
graph_5__2223_28.min1.thm1
2017-02-06 12:46
2.9K
graph_5__2226_39.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2227_23.min1.thm1
2017-02-06 12:46
1.9K
graph_5__2228_47.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2230_42.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2232_36.min1.thm1
2017-02-06 12:46
553
graph_5__2238_30.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2240_29.min1.thm1
2017-02-06 12:46
605
graph_5__2241_68.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2246_39.min1.thm1
2017-02-06 12:46
853
graph_5__2251_23.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2252_46.min1.thm1
2017-02-06 12:46
504
graph_5__2253_25.min1.thm1
2017-02-06 12:46
2.1K
graph_5__2258_45.min1.thm1
2017-02-06 12:46
504
graph_5__2263_20.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2265_22.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2270_27.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2271_30.min1.thm1
2017-02-06 12:46
924
graph_5__2275_32.min1.thm1
2017-02-06 12:46
2.9K
graph_5__2278_23.min1.thm1
2017-02-06 12:46
258
graph_5__2282_38.min1.thm1
2017-02-06 12:46
2.1K
graph_5__2285_43.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2286_29.min1.thm1
2017-02-06 12:46
3.3K
graph_5__2288_32.min1.thm1
2017-02-06 12:46
2.9K
graph_5__2289_27.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2290_51.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2292_46.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2294_40.min1.thm1
2017-02-06 12:46
565
graph_5__2301_50.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2302_55.min1.thm1
2017-02-06 12:46
1.9K
graph_5__2307_43.min1.thm1
2017-02-06 12:46
871
graph_5__2311_34.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2315_28.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2319_35.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2321_49.min1.thm1
2017-02-06 12:46
528
graph_5__2322_32.min1.thm1
2017-02-06 12:46
2.6K
graph_5__2327_55.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2328_30.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2331_49.min1.thm1
2017-02-06 12:46
2.2K
graph_5__2335_38.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2336_44.min1.thm1
2017-02-06 12:46
2.1K
graph_5__2337_34.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2339_34.min1.thm1
2017-02-06 12:46
949
graph_5__2342_38.min1.thm1
2017-02-06 12:46
2.3K
graph_5__2343_28.min1.thm1
2017-02-06 12:46
2.1K
graph_5__2348_27.min1.thm1
2017-02-06 12:46
3.2K
graph_5__2349_51.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2351_46.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2353_40.min1.thm1
2017-02-06 12:46
577
graph_5__2359_33.min1.thm1
2017-02-06 12:46
647
graph_5__2361_18.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2365_43.min1.thm1
2017-02-06 12:46
871
graph_5__2372_16.min1.thm1
2017-02-06 12:46
868
graph_5__2380_33.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2382_15.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2383_22.min1.thm1
2017-02-06 12:46
892
graph_5__2384_56.min1.thm1
2017-02-06 12:46
2.9K
graph_5__2387_16.min1.thm1
2017-02-06 12:46
876
graph_5__2390_32.min1.thm1
2017-02-06 12:46
3.6K
graph_5__2392_46.min1.thm1
2017-02-06 12:46
496
graph_5__2393_45.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2394_17.min1.thm1
2017-02-06 12:46
727
graph_5__2404_14.min1.thm1
2017-02-06 12:46
805
graph_5__2417_14.min1.thm1
2017-02-06 12:46
325
graph_5__2417_14.min1.thm1.tptp
2017-02-06 16:47
247
graph_5__2422_11.min1.thm1
2017-02-06 12:46
270
graph_5__2422_11.min1.thm1.tptp
2017-02-06 16:47
182
graph_5__2454_51.min1.thm1
2017-02-06 12:46
845
graph_5__2457_25.min1.thm1
2017-02-06 12:46
597
graph_5__2457_25.min1.thm1.tptp
2017-02-06 16:47
522
graph_5__2460_24.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2461_28.min1.thm1
2017-02-06 12:46
1.8K
graph_5__2464_25.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2467_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2482_27.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2483_18.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2493_11.min1.thm1
2017-02-06 12:46
900
graph_5__2500_53.min1.thm1
2017-02-06 12:46
839
graph_5__2502_17.min1.thm1
2017-02-06 12:46
839
graph_5__2513_50.min1.thm1
2017-02-06 12:46
839
graph_5__2517_23.min1.thm1
2017-02-06 12:46
578
graph_5__2522_40.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2523_14.min1.thm1
2017-02-06 12:46
326
graph_5__2538_37.min1.thm1
2017-02-06 12:46
969
graph_5__2540_21.min1.thm1
2017-02-06 12:46
327
graph_5__2540_21.min1.thm1.tptp
2017-02-06 16:47
241
graph_5__2555_26.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2556_23.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2567_18.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2579_19.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2580_50.min1.thm1
2017-02-06 12:46
888
graph_5__2581_45.min1.thm1
2017-02-06 12:46
949
graph_5__2582_19.min1.thm1
2017-02-06 12:46
1.5K
graph_5__2583_50.min1.thm1
2017-02-06 12:46
888
graph_5__2584_17.min1.thm1
2017-02-06 12:46
949
graph_5__2596_16.min1.thm1
2017-02-06 12:46
1.7K
graph_5__2600_23.min1.thm1
2017-02-06 12:46
578
graph_5__2601_24.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2604_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2609_16.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2611_18.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2612_35.min1.thm1
2017-02-06 12:46
449
graph_5__2617_14.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2620_16.min1.thm1
2017-02-06 12:46
1.9K
graph_5__2631_19.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2633_54.min1.thm1
2017-02-06 12:46
726
graph_5__2636_18.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2661_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2663_11.min1.thm1
2017-02-06 12:46
927
graph_5__2678_31.min1.thm1
2017-02-06 12:46
862
graph_5__2681_27.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2683_16.min1.thm1
2017-02-06 12:46
778
graph_5__2686_38.min1.thm1
2017-02-06 12:46
696
graph_5__2687_17.min1.thm1
2017-02-06 12:46
573
graph_5__2687_17.min1.thm1.tptp
2017-02-06 16:47
492
graph_5__2688_17.min1.thm1
2017-02-06 12:46
541
graph_5__2701_33.min1.thm1
2017-02-06 12:46
892
graph_5__2706_16.min1.thm1
2017-02-06 12:46
778
graph_5__2709_38.min1.thm1
2017-02-06 12:46
696
graph_5__2710_17.min1.thm1
2017-02-06 12:46
576
graph_5__2710_17.min1.thm1.tptp
2017-02-06 16:47
495
graph_5__2711_17.min1.thm1
2017-02-06 12:46
544
graph_5__2722_21.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2725_21.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2728_20.min1.thm1
2017-02-06 12:46
1.6K
graph_5__2731_27.min1.thm1
2017-02-06 12:46
1.8K
graph_5__2738_21.min1.thm1
2017-02-06 12:46
2.6K
graph_5__2786_23.min1.thm1
2017-02-06 12:46
736
graph_5__2790_42.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2791_37.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2792_52.min1.thm1
2017-02-06 12:46
950
graph_5__2794_42.min1.thm1
2017-02-06 12:46
937
graph_5__2795_25.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2805_16.min1.thm1
2017-02-06 12:46
812
graph_5__2814_13.min1.thm1
2017-02-06 12:46
1.1K
graph_5__2815_25.min1.thm1
2017-02-06 12:46
1.3K
graph_5__2816_19.min1.thm1
2017-02-06 12:46
940
graph_5__2819_16.min1.thm1
2017-02-06 12:46
1.8K
graph_5__2820_17.min1.thm1
2017-02-06 12:46
917
graph_5__2832_26.min1.thm1
2017-02-06 12:46
931
graph_5__2874_32.min1.thm1
2017-02-06 12:46
386
graph_5__2874_32.min1.thm1.tptp
2017-02-06 16:47
308
graph_5__2875_26.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2876_15.min1.thm1
2017-02-06 12:46
2.6K
graph_5__2878_19.min1.thm1
2017-02-06 12:46
970
graph_5__2879_37.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2880_18.min1.thm1
2017-02-06 12:46
659
graph_5__2887_13.min1.thm1
2017-02-06 12:46
1.2K
graph_5__2889_17.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2890_17.min1.thm1
2017-02-06 12:46
2.2K
graph_5__2891_22.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2896_18.min1.thm1
2017-02-06 12:46
2.0K
graph_5__2903_35.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2904_31.min1.thm1
2017-02-06 12:46
960
graph_5__2911_46.min1.thm1
2017-02-06 12:46
386
graph_5__2911_46.min1.thm1.tptp
2017-02-06 16:47
308
graph_5__2912_32.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2914_28.min1.thm1
2017-02-06 12:46
784
graph_5__2915_21.min1.thm1
2017-02-06 12:46
594
graph_5__2916_28.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2917_17.min1.thm1
2017-02-06 12:46
1.0K
graph_5__2929_7.min1.thm1
2017-02-06 12:46
765
graph_5__2930_38.min1.thm1
2017-02-06 12:46
1.4K
graph_5__2931_19.min1.thm1
2017-02-06 12:46
844
graph_5__2934_17.min1.thm1
2017-02-06 12:46
541
graph_5__2940_14.min1.thm1
2017-02-06 12:46
407
graph_5__2940_14.min1.thm1.tptp
2017-02-06 16:47
328
graph_5__2945_39.min1.thm1
2017-02-06 12:46
612
graph_5__2946_14.min1.thm1
2017-02-06 12:46
736
graph_5__2951_43.min1.thm1
2017-02-06 12:46
726
graph_5__2952_14.min1.thm1
2017-02-06 12:46
766
graph_5__2957_45.min1.thm1
2017-02-06 12:46
750
graph_5__2958_14.min1.thm1
2017-02-06 12:46
796
graph_5__2964_14.min1.thm1
2017-02-06 12:46
593
graph_5__2970_14.min1.thm1
2017-02-06 12:46
707
graph_5__2976_14.min1.thm1
2017-02-06 12:46
731
graph_5__2995_30.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3002_32.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3004_36.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3011_45.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3026_32.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3035_38.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3042_47.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3063_35.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3065_14.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3070_13.min1.thm1
2017-02-06 12:46
274
graph_5__3081_27.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3085_20.min1.thm1
2017-02-06 12:46
2.0K
graph_5__3087_39.min1.thm1
2017-02-06 12:46
473
graph_5__3092_48.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3095_24.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3101_20.min1.thm1
2017-02-06 12:46
1.9K
graph_5__3106_20.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3108_20.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3110_17.min1.thm1
2017-02-06 12:46
204
graph_5__3114_27.min1.thm1
2017-02-06 12:46
2.2K
graph_5__3130_21.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3131_20.min1.thm1
2017-02-06 12:46
2.4K
graph_5__3138_19.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3140_22.min1.thm1
2017-02-06 12:46
1.6K
graph_5__3142_35.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3149_22.min1.thm1
2017-02-06 12:46
2.3K
graph_5__3150_22.min1.thm1
2017-02-06 12:46
2.7K
graph_5__3152_19.min1.thm1
2017-02-06 12:46
1.7K
graph_5__3177_35.min1.thm1
2017-02-06 12:46
1.9K
graph_5__3182_31.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3183_44.min1.thm1
2017-02-06 12:46
2.3K
graph_5__3189_35.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3197_44.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3198_37.min1.thm1
2017-02-06 12:46
766
graph_5__3203_31.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3223_38.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3226_33.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3227_38.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3264_36.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3266_15.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3268_45.min1.thm1
2017-02-06 12:46
770
graph_5__3270_33.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3272_37.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3273_27.min1.thm1
2017-02-06 12:46
694
graph_5__3304_25.min1.thm1
2017-02-06 12:46
963
graph_5__3305_37.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3307_34.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3309_23.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3310_12.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3312_18.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3313_11.min1.thm1
2017-02-06 12:46
805
graph_5__3317_23.min1.thm1
2017-02-06 12:46
2.3K
graph_5__3318_28.min1.thm1
2017-02-06 12:46
461
graph_5__3318_28.min1.thm1.tptp
2017-02-06 16:47
391
graph_5__3319_37.min1.thm1
2017-02-06 12:46
464
graph_5__3326_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3327_19.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3330_17.min1.thm1
2017-02-06 12:46
316
graph_5__3330_17.min1.thm1.tptp
2017-02-06 16:47
234
graph_5__3337_30.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3338_23.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3339_30.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3340_44.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3342_32.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3352_15.min1.thm1
2017-02-06 12:46
282
graph_5__3361_21.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3363_19.min1.thm1
2017-02-06 12:46
326
graph_5__3366_23.min1.thm1
2017-02-06 12:46
1.7K
graph_5__3367_47.min1.thm1
2017-02-06 12:46
1.6K
graph_5__3372_25.min1.thm1
2017-02-06 12:46
807
graph_5__3404_29.min1.thm1
2017-02-06 12:46
843
graph_5__3408_32.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3415_29.min1.thm1
2017-02-06 12:46
533
graph_5__3418_29.min1.thm1
2017-02-06 12:46
538
graph_5__3419_26.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3425_25.min1.thm1
2017-02-06 12:46
1.7K
graph_5__3426_44.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3428_42.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3429_26.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3431_26.min1.thm1
2017-02-06 12:46
1.0K
graph_5__3432_32.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3435_34.min1.thm1
2017-02-06 12:46
2.0K
graph_5__3438_27.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3441_42.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3442_39.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3444_37.min1.thm1
2017-02-06 12:46
659
graph_5__3446_46.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3448_61.min1.thm1
2017-02-06 12:46
1.7K
graph_5__3449_44.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3453_45.min1.thm1
2017-02-06 12:46
513
graph_5__3463_39.min1.thm1
2017-02-06 12:46
867
graph_5__3465_47.min1.thm1
2017-02-06 12:46
1.5K
graph_5__3469_30.min1.thm1
2017-02-06 12:46
1.1K
graph_5__3507_45.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3508_41.min1.thm1
2017-02-06 12:46
1.7K
graph_5__3520_15.min1.thm1
2017-02-06 12:46
2.1K
graph_5__3532_17.min1.thm1
2017-02-06 12:46
1.3K
graph_5__3533_24.min1.thm1
2017-02-06 12:46
1.2K
graph_5__3534_22.min1.thm1
2017-02-06 12:46
1.4K
graph_5__3535_21.min1.thm1
2017-02-06 12:46
1.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80