Index of /~mptp/1147/MPTP2/ilp0/polyeq_1
Name
Last modified
Size
Description
Parent Directory
-
polyeq_1__40_11.min1.thm1
2017-02-06 12:45
130
polyeq_1__46_11.min1.thm1
2017-02-06 12:45
767
polyeq_1__52_11.min1.thm1
2017-02-06 12:45
824
polyeq_1__58_14.min1.thm1
2017-02-06 12:45
798
polyeq_1__70_15.min1.thm1
2017-02-06 12:45
676
polyeq_1__71_23.min1.thm1
2017-02-06 12:45
953
polyeq_1__73_17.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__77_53.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__81_30.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__87_11.min1.thm1
2017-02-06 12:45
130
polyeq_1__105_14.min1.thm1
2017-02-06 12:45
913
polyeq_1__117_44.min1.thm1
2017-02-06 12:45
919
polyeq_1__119_13.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__135_30.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__171_14.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__186_26.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__192_24.min1.thm1
2017-02-06 12:45
1.6K
polyeq_1__194_21.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__195_17.min1.thm1
2017-02-06 12:45
967
polyeq_1__209_26.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__226_27.min1.thm1
2017-02-06 12:45
397
polyeq_1__226_27.min1.thm1.tptp
2017-02-06 16:47
320
polyeq_1__228_21.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__229_18.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__230_20.min1.thm1
2017-02-06 12:45
548
polyeq_1__231_14.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__245_11.min1.thm1
2017-02-06 12:45
131
polyeq_1__274_42.min1.thm1
2017-02-06 12:45
536
polyeq_1__274_42.min1.thm1.tptp
2017-02-06 16:47
459
polyeq_1__276_25.min1.thm1
2017-02-06 12:45
1.6K
polyeq_1__277_22.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__278_22.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__281_29.min1.thm1
2017-02-06 12:45
972
polyeq_1__293_11.min1.thm1
2017-02-06 12:45
131
polyeq_1__311_14.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__314_11.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__317_16.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__326_37.min1.thm1
2017-02-06 12:45
2.0K
polyeq_1__327_28.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__328_11.min1.thm1
2017-02-06 12:45
762
polyeq_1__329_23.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__335_47.min1.thm1
2017-02-06 12:45
743
polyeq_1__336_48.min1.thm1
2017-02-06 12:45
743
polyeq_1__342_29.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__350_11.min1.thm1
2017-02-06 12:45
131
polyeq_1__362_14.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__383_28.min1.thm1
2017-02-06 12:45
747
polyeq_1__384_23.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__384_44.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__385_26.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__387_23.min1.thm1
2017-02-06 12:45
652
polyeq_1__388_44.min1.thm1
2017-02-06 12:45
600
polyeq_1__388_44.min1.thm1.tptp
2017-02-06 16:47
523
polyeq_1__406_29.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__409_34.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__410_27.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__412_31.min1.thm1
2017-02-06 12:45
841
polyeq_1__414_21.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__414_42.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__415_26.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__416_19.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__418_33.min1.thm1
2017-02-06 12:45
920
polyeq_1__419_21.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__419_42.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__420_26.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__421_19.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__422_28.min1.thm1
2017-02-06 12:45
823
polyeq_1__423_15.min1.thm1
2017-02-06 12:45
394
polyeq_1__423_15.min1.thm1.tptp
2017-02-06 16:47
317
polyeq_1__424_17.min1.thm1
2017-02-06 12:45
1.9K
polyeq_1__444_45.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__445_44.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__446_38.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__463_12.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__475_28.min1.thm1
2017-02-06 12:45
2.0K
polyeq_1__484_21.min1.thm1
2017-02-06 12:45
2.3K
polyeq_1__485_26.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__488_32.min1.thm1
2017-02-06 12:45
1.8K
polyeq_1__562_53.min1.thm1
2017-02-06 12:45
841
polyeq_1__595_26.min1.thm1
2017-02-06 12:45
617
polyeq_1__600_25.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__614_33.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__617_39.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__618_27.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__620_35.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__624_51.min1.thm1
2017-02-06 12:45
1.8K
polyeq_1__632_20.min1.thm1
2017-02-06 12:45
745
polyeq_1__645_60.min1.thm1
2017-02-06 12:45
1.9K
polyeq_1__646_59.min1.thm1
2017-02-06 12:45
2.3K
polyeq_1__652_19.min1.thm1
2017-02-06 12:45
548
polyeq_1__654_31.min1.thm1
2017-02-06 12:45
519
polyeq_1__655_35.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__657_33.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__658_53.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__662_29.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__662_50.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__663_32.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__664_29.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__666_40.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__670_34.min1.thm1
2017-02-06 12:45
679
polyeq_1__673_25.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__692_54.min1.thm1
2017-02-06 12:45
1.8K
polyeq_1__695_24.min1.thm1
2017-02-06 12:45
751
polyeq_1__708_64.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__713_23.min1.thm1
2017-02-06 12:45
560
polyeq_1__715_30.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__716_39.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__718_59.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__719_54.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__720_57.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__721_45.min1.thm1
2017-02-06 12:45
717
polyeq_1__724_33.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__726_45.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__727_42.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__729_44.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__737_35.min1.thm1
2017-02-06 12:45
526
polyeq_1__755_24.min1.thm1
2017-02-06 12:45
751
polyeq_1__771_66.min1.thm1
2017-02-06 12:45
1.9K
polyeq_1__773_65.min1.thm1
2017-02-06 12:45
2.2K
polyeq_1__779_23.min1.thm1
2017-02-06 12:45
560
polyeq_1__781_35.min1.thm1
2017-02-06 12:45
525
polyeq_1__782_33.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__785_40.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__786_39.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__788_59.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__789_54.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__791_53.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__794_33.min1.thm1
2017-02-06 12:45
327
polyeq_1__794_33.min1.thm1.tptp
2017-02-06 16:47
250
polyeq_1__795_43.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__811_18.min1.thm1
2017-02-06 12:45
4.2K
polyeq_1__815_35.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__819_56.min1.thm1
2017-02-06 12:45
2.2K
polyeq_1__829_33.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__833_52.min1.thm1
2017-02-06 12:45
2.1K
polyeq_1__837_20.min1.thm1
2017-02-06 12:45
745
polyeq_1__850_59.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__855_19.min1.thm1
2017-02-06 12:45
548
polyeq_1__857_26.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__858_35.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__860_55.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__861_50.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__862_54.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__863_41.min1.thm1
2017-02-06 12:45
705
polyeq_1__866_29.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__868_41.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__869_38.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__871_40.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__882_31.min1.thm1
2017-02-06 12:45
520
polyeq_1__890_39.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__894_59.min1.thm1
2017-02-06 12:45
2.3K
polyeq_1__898_37.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__902_56.min1.thm1
2017-02-06 12:45
2.1K
polyeq_1__912_24.min1.thm1
2017-02-06 12:45
751
polyeq_1__925_64.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__930_23.min1.thm1
2017-02-06 12:45
560
polyeq_1__932_30.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__933_39.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__935_59.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__936_54.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__937_57.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__938_45.min1.thm1
2017-02-06 12:45
717
polyeq_1__941_33.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__943_45.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__944_42.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__946_44.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__950_35.min1.thm1
2017-02-06 12:45
526
polyeq_1__951_31.min1.thm1
2017-02-06 12:45
529
polyeq_1__963_29.min1.thm1
2017-02-06 12:45
629
polyeq_1__966_39.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__970_59.min1.thm1
2017-02-06 12:45
2.3K
polyeq_1__974_37.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__977_56.min1.thm1
2017-02-06 12:45
1.6K
polyeq_1__985_24.min1.thm1
2017-02-06 12:45
751
polyeq_1__1004_23.min1.thm1
2017-02-06 12:45
560
polyeq_1__1006_30.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1008_33.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1008_54.min1.thm1
2017-02-06 12:45
1.4K
polyeq_1__1009_36.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__1010_31.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__1012_44.min1.thm1
2017-02-06 12:45
956
polyeq_1__1013_39.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__1015_37.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__1016_45.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1021_29.min1.thm1
2017-02-06 12:45
801
polyeq_1__1022_35.min1.thm1
2017-02-06 12:45
525
polyeq_1__1023_38.min1.thm1
2017-02-06 12:45
697
polyeq_1__1036_18.min1.thm1
2017-02-06 12:45
3.4K
polyeq_1__1039_14.min1.thm1
2017-02-06 12:45
4.4K
polyeq_1__1075_22.min1.thm1
2017-02-06 12:45
934
polyeq_1__1089_21.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1092_30.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__1093_26.min1.thm1
2017-02-06 12:45
737
polyeq_1__1095_21.min1.thm1
2017-02-06 12:45
764
polyeq_1__1098_39.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__1099_17.min1.thm1
2017-02-06 12:45
1.5K
polyeq_1__1109_21.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1112_30.min1.thm1
2017-02-06 12:45
1.3K
polyeq_1__1113_26.min1.thm1
2017-02-06 12:45
737
polyeq_1__1115_21.min1.thm1
2017-02-06 12:45
764
polyeq_1__1119_29.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__1121_16.min1.thm1
2017-02-06 12:45
739
polyeq_1__1124_27.min1.thm1
2017-02-06 12:45
772
polyeq_1__1125_35.min1.thm1
2017-02-06 12:45
1.0K
polyeq_1__1126_41.min1.thm1
2017-02-06 12:45
906
polyeq_1__1128_21.min1.thm1
2017-02-06 12:45
477
polyeq_1__1129_19.min1.thm1
2017-02-06 12:45
759
polyeq_1__1131_29.min1.thm1
2017-02-06 12:45
794
polyeq_1__1133_24.min1.thm1
2017-02-06 12:45
683
polyeq_1__1134_32.min1.thm1
2017-02-06 12:45
1.7K
polyeq_1__1139_33.min1.thm1
2017-02-06 12:45
798
polyeq_1__1140_44.min1.thm1
2017-02-06 12:45
1.2K
polyeq_1__1141_50.min1.thm1
2017-02-06 12:45
1.1K
polyeq_1__1143_30.min1.thm1
2017-02-06 12:45
667
polyeq_1__1145_29.min1.thm1
2017-02-06 12:45
794
polyeq_1__1149_19.min1.thm1
2017-02-06 12:45
760
polyeq_1__1150_13.min1.thm1
2017-02-06 12:45
537
polyeq_1__1151_35.min1.thm1
2017-02-06 12:45
1.8K
polyeq_1__1153_18.min1.thm1
2017-02-06 12:45
734
polyeq_1__1157_18.min1.thm1
2017-02-06 12:45
425
polyeq_1__1160_14.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80