Index of /~mptp/1147/MPTP2/ilp0/qc_lang2
Name
Last modified
Size
Description
Parent Directory
-
qc_lang2__41_24.min1.thm1
2017-02-06 12:44
677
qc_lang2__42_17.min1.thm1
2017-02-06 12:44
824
qc_lang2__58_42.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__68_23.min1.thm1
2017-02-06 12:44
931
qc_lang2__69_37.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__70_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__76_27.min1.thm1
2017-02-06 12:44
869
qc_lang2__77_17.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__84_19.min1.thm1
2017-02-06 12:44
2.1K
qc_lang2__85_42.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__90_17.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__99_24.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__100_17.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__115_13.min1.thm1
2017-02-06 12:44
537
qc_lang2__119_13.min1.thm1
2017-02-06 12:44
864
qc_lang2__122_13.min1.thm1
2017-02-06 12:44
893
qc_lang2__130_13.min1.thm1
2017-02-06 12:44
933
qc_lang2__143_4.min1.thm1
2017-02-06 12:44
900
qc_lang2__146_25.min1.thm1
2017-02-06 12:44
881
qc_lang2__163_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__325_13.min1.thm1
2017-02-06 12:44
726
qc_lang2__329_13.min1.thm1
2017-02-06 12:44
726
qc_lang2__333_13.min1.thm1
2017-02-06 12:44
696
qc_lang2__348_13.min1.thm1
2017-02-06 12:44
696
qc_lang2__352_13.min1.thm1
2017-02-06 12:44
696
qc_lang2__362_25.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__363_33.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__364_11.min1.thm1
2017-02-06 12:44
511
qc_lang2__366_26.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__367_33.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__368_11.min1.thm1
2017-02-06 12:44
511
qc_lang2__369_16.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__376_74.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__377_11.min1.thm1
2017-02-06 12:44
887
qc_lang2__379_17.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__380_33.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__381_11.min1.thm1
2017-02-06 12:44
511
qc_lang2__382_16.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__390_66.min1.thm1
2017-02-06 12:44
896
qc_lang2__404_25.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__405_27.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__406_23.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__407_46.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__408_43.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__410_32.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__411_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__421_52.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__432_57.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__453_31.min1.thm1
2017-02-06 12:44
869
qc_lang2__462_28.min1.thm1
2017-02-06 12:44
852
qc_lang2__463_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__482_36.min1.thm1
2017-02-06 12:44
509
qc_lang2__511_33.min1.thm1
2017-02-06 12:44
894
qc_lang2__511_33.min1.thm1.tptp
2017-02-06 16:47
839
qc_lang2__531_56.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__534_24.min1.thm1
2017-02-06 12:44
686
qc_lang2__536_27.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__549_26.min1.thm1
2017-02-06 12:44
688
qc_lang2__551_27.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__555_58.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__568_16.min1.thm1
2017-02-06 12:44
938
qc_lang2__572_61.min1.thm1
2017-02-06 12:44
639
qc_lang2__579_29.min1.thm1
2017-02-06 12:44
884
qc_lang2__581_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__583_28.min1.thm1
2017-02-06 12:44
690
qc_lang2__598_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__610_28.min1.thm1
2017-02-06 12:44
690
qc_lang2__617_56.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__631_17.min1.thm1
2017-02-06 12:44
920
qc_lang2__639_37.min1.thm1
2017-02-06 12:44
808
qc_lang2__640_17.min1.thm1
2017-02-06 12:44
961
qc_lang2__648_65.min1.thm1
2017-02-06 12:44
675
qc_lang2__649_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__657_45.min1.thm1
2017-02-06 12:44
675
qc_lang2__678_39.min1.thm1
2017-02-06 12:44
906
qc_lang2__680_50.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__693_15.min1.thm1
2017-02-06 12:44
228
qc_lang2__700_14.min1.thm1
2017-02-06 12:44
751
qc_lang2__704_38.min1.thm1
2017-02-06 12:44
2.1K
qc_lang2__705_17.min1.thm1
2017-02-06 12:44
1.8K
qc_lang2__714_13.min1.thm1
2017-02-06 12:44
261
qc_lang2__714_13.min1.thm1.tptp
2017-02-06 16:47
175
qc_lang2__715_19.min1.thm1
2017-02-06 12:44
710
qc_lang2__716_27.min1.thm1
2017-02-06 12:44
777
qc_lang2__722_14.min1.thm1
2017-02-06 12:44
805
qc_lang2__723_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__724_15.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__725_34.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__726_16.min1.thm1
2017-02-06 12:44
279
qc_lang2__734_31.min1.thm1
2017-02-06 12:44
715
qc_lang2__736_22.min1.thm1
2017-02-06 12:44
306
qc_lang2__769_37.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__770_19.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__773_15.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__774_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__776_17.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__777_9.min1.thm1
2017-02-06 12:44
659
qc_lang2__779_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__780_28.min1.thm1
2017-02-06 12:44
2.2K
qc_lang2__781_19.min1.thm1
2017-02-06 12:44
2.8K
qc_lang2__796_15.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__797_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__799_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__800_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__801_25.min1.thm1
2017-02-06 12:44
2.2K
qc_lang2__802_19.min1.thm1
2017-02-06 12:44
2.8K
qc_lang2__817_25.min1.thm1
2017-02-06 12:44
727
qc_lang2__825_10.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__826_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__828_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__829_25.min1.thm1
2017-02-06 12:44
728
qc_lang2__837_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__838_50.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__843_23.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__844_19.min1.thm1
2017-02-06 12:44
2.4K
qc_lang2__845_25.min1.thm1
2017-02-06 12:44
2.2K
qc_lang2__849_22.min1.thm1
2017-02-06 12:44
2.2K
qc_lang2__856_24.min1.thm1
2017-02-06 12:44
1.7K
qc_lang2__857_25.min1.thm1
2017-02-06 12:44
2.3K
qc_lang2__858_24.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__859_24.min1.thm1
2017-02-06 12:44
881
qc_lang2__861_17.min1.thm1
2017-02-06 12:44
862
qc_lang2__862_20.min1.thm1
2017-02-06 12:44
761
qc_lang2__864_22.min1.thm1
2017-02-06 12:44
3.1K
qc_lang2__872_18.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__877_23.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__878_24.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__879_19.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__881_70.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__887_19.min1.thm1
2017-02-06 12:44
1.8K
qc_lang2__891_22.min1.thm1
2017-02-06 12:44
3.0K
qc_lang2__895_40.min1.thm1
2017-02-06 12:44
468
qc_lang2__896_34.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__901_62.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__911_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__916_22.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__921_19.min1.thm1
2017-02-06 12:44
3.0K
qc_lang2__923_20.min1.thm1
2017-02-06 12:44
848
qc_lang2__936_34.min1.thm1
2017-02-06 12:44
799
qc_lang2__939_41.min1.thm1
2017-02-06 12:44
803
qc_lang2__940_41.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__941_21.min1.thm1
2017-02-06 12:44
735
qc_lang2__943_19.min1.thm1
2017-02-06 12:44
414
qc_lang2__943_19.min1.thm1.tptp
2017-02-06 16:47
326
qc_lang2__945_17.min1.thm1
2017-02-06 12:44
410
qc_lang2__945_17.min1.thm1.tptp
2017-02-06 16:47
322
qc_lang2__956_37.min1.thm1
2017-02-06 12:44
795
qc_lang2__958_22.min1.thm1
2017-02-06 12:44
847
qc_lang2__959_32.min1.thm1
2017-02-06 12:44
795
qc_lang2__981_65.min1.thm1
2017-02-06 12:44
646
qc_lang2__981_65.min1.thm1.tptp
2017-02-06 16:47
631
qc_lang2__1008_53.min1.thm1
2017-02-06 12:44
1.7K
qc_lang2__1009_31.min1.thm1
2017-02-06 12:44
937
qc_lang2__1010_16.min1.thm1
2017-02-06 12:44
1.7K
qc_lang2__1018_45.min1.thm1
2017-02-06 12:44
839
qc_lang2__1033_42.min1.thm1
2017-02-06 12:44
559
qc_lang2__1034_73.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1043_15.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1044_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1046_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1047_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__1048_50.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__1051_13.min1.thm1
2017-02-06 12:44
926
qc_lang2__1052_23.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1057_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1058_23.min1.thm1
2017-02-06 12:44
729
qc_lang2__1060_19.min1.thm1
2017-02-06 12:44
719
qc_lang2__1061_14.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__1066_19.min1.thm1
2017-02-06 12:44
2.4K
qc_lang2__1071_15.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1074_69.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1076_28.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1083_38.min1.thm1
2017-02-06 12:44
743
qc_lang2__1084_17.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1088_72.min1.thm1
2017-02-06 12:44
671
qc_lang2__1095_10.min1.thm1
2017-02-06 12:44
830
qc_lang2__1097_36.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1106_15.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1107_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1109_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1110_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__1111_23.min1.thm1
2017-02-06 12:44
2.2K
qc_lang2__1112_19.min1.thm1
2017-02-06 12:44
2.8K
qc_lang2__1116_50.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__1121_13.min1.thm1
2017-02-06 12:44
933
qc_lang2__1122_25.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1127_29.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1128_25.min1.thm1
2017-02-06 12:44
742
qc_lang2__1130_21.min1.thm1
2017-02-06 12:44
728
qc_lang2__1131_21.min1.thm1
2017-02-06 12:44
2.3K
qc_lang2__1136_17.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1139_69.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1141_30.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1151_74.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1153_17.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1159_43.min1.thm1
2017-02-06 12:44
758
qc_lang2__1170_15.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1171_20.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1173_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1174_35.min1.thm1
2017-02-06 12:44
453
qc_lang2__1175_50.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__1178_13.min1.thm1
2017-02-06 12:44
929
qc_lang2__1179_23.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1184_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1185_23.min1.thm1
2017-02-06 12:44
729
qc_lang2__1187_19.min1.thm1
2017-02-06 12:44
721
qc_lang2__1188_14.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__1193_19.min1.thm1
2017-02-06 12:44
2.4K
qc_lang2__1198_15.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1201_69.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1203_28.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1210_39.min1.thm1
2017-02-06 12:44
942
qc_lang2__1220_51.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1222_42.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1226_38.min1.thm1
2017-02-06 12:44
743
qc_lang2__1227_17.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1236_59.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1238_48.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1242_74.min1.thm1
2017-02-06 12:44
930
qc_lang2__1244_17.min1.thm1
2017-02-06 12:44
1.7K
qc_lang2__1251_17.min1.thm1
2017-02-06 12:44
920
qc_lang2__1258_57.min1.thm1
2017-02-06 12:44
806
qc_lang2__1259_17.min1.thm1
2017-02-06 12:44
828
qc_lang2__1268_58.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1269_17.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1276_54.min1.thm1
2017-02-06 12:44
806
qc_lang2__1277_17.min1.thm1
2017-02-06 12:44
828
qc_lang2__1288_46.min1.thm1
2017-02-06 12:44
853
qc_lang2__1291_13.min1.thm1
2017-02-06 12:44
574
qc_lang2__1306_13.min1.thm1
2017-02-06 12:44
638
qc_lang2__1315_47.min1.thm1
2017-02-06 12:44
815
qc_lang2__1316_39.min1.thm1
2017-02-06 12:44
878
qc_lang2__1317_19.min1.thm1
2017-02-06 12:44
596
qc_lang2__1319_51.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1320_52.min1.thm1
2017-02-06 12:44
787
qc_lang2__1321_17.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1345_39.min1.thm1
2017-02-06 12:44
548
qc_lang2__1348_18.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1365_46.min1.thm1
2017-02-06 12:44
830
qc_lang2__1366_14.min1.thm1
2017-02-06 12:44
339
qc_lang2__1378_28.min1.thm1
2017-02-06 12:44
736
qc_lang2__1379_26.min1.thm1
2017-02-06 12:44
968
qc_lang2__1380_17.min1.thm1
2017-02-06 12:44
834
qc_lang2__1384_62.min1.thm1
2017-02-06 12:44
724
qc_lang2__1384_62.min1.thm1.tptp
2017-02-06 16:47
711
qc_lang2__1395_34.min1.thm1
2017-02-06 12:44
782
qc_lang2__1396_19.min1.thm1
2017-02-06 12:44
604
qc_lang2__1397_19.min1.thm1
2017-02-06 12:44
442
qc_lang2__1401_22.min1.thm1
2017-02-06 12:44
363
qc_lang2__1401_22.min1.thm1.tptp
2017-02-06 16:47
298
qc_lang2__1402_17.min1.thm1
2017-02-06 12:44
852
qc_lang2__1415_14.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1416_19.min1.thm1
2017-02-06 12:44
506
qc_lang2__1420_17.min1.thm1
2017-02-06 12:44
427
qc_lang2__1420_17.min1.thm1.tptp
2017-02-06 16:47
362
qc_lang2__1432_41.min1.thm1
2017-02-06 12:44
635
qc_lang2__1433_19.min1.thm1
2017-02-06 12:44
466
qc_lang2__1433_19.min1.thm1.tptp
2017-02-06 16:47
412
qc_lang2__1439_36.min1.thm1
2017-02-06 12:44
456
qc_lang2__1439_36.min1.thm1.tptp
2017-02-06 16:47
402
qc_lang2__1440_41.min1.thm1
2017-02-06 12:44
692
qc_lang2__1441_33.min1.thm1
2017-02-06 12:44
838
qc_lang2__1442_17.min1.thm1
2017-02-06 12:44
871
qc_lang2__1457_47.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1458_34.min1.thm1
2017-02-06 12:44
779
qc_lang2__1459_33.min1.thm1
2017-02-06 12:44
856
qc_lang2__1461_50.min1.thm1
2017-02-06 12:44
632
qc_lang2__1462_19.min1.thm1
2017-02-06 12:44
604
qc_lang2__1462_19.min1.thm1.tptp
2017-02-06 16:47
542
qc_lang2__1470_27.min1.thm1
2017-02-06 12:44
740
qc_lang2__1471_44.min1.thm1
2017-02-06 12:44
905
qc_lang2__1472_45.min1.thm1
2017-02-06 12:44
832
qc_lang2__1473_38.min1.thm1
2017-02-06 12:44
844
qc_lang2__1474_38.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1475_19.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1479_23.min1.thm1
2017-02-06 12:44
399
qc_lang2__1479_23.min1.thm1.tptp
2017-02-06 16:47
334
qc_lang2__1480_19.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1482_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1497_47.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1498_58.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1499_54.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1500_50.min1.thm1
2017-02-06 12:44
586
qc_lang2__1500_50.min1.thm1.tptp
2017-02-06 16:47
524
qc_lang2__1502_67.min1.thm1
2017-02-06 12:44
782
qc_lang2__1504_19.min1.thm1
2017-02-06 12:44
754
qc_lang2__1504_19.min1.thm1.tptp
2017-02-06 16:47
692
qc_lang2__1510_23.min1.thm1
2017-02-06 12:44
431
qc_lang2__1510_23.min1.thm1.tptp
2017-02-06 16:47
366
qc_lang2__1511_19.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1517_27.min1.thm1
2017-02-06 12:44
740
qc_lang2__1518_44.min1.thm1
2017-02-06 12:44
723
qc_lang2__1519_45.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1520_38.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1521_38.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1522_19.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1528_28.min1.thm1
2017-02-06 12:44
740
qc_lang2__1529_44.min1.thm1
2017-02-06 12:44
723
qc_lang2__1530_45.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1531_38.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1532_38.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1533_19.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1536_18.min1.thm1
2017-02-06 12:44
550
qc_lang2__1537_17.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1553_34.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1554_33.min1.thm1
2017-02-06 12:44
856
qc_lang2__1556_51.min1.thm1
2017-02-06 12:44
664
qc_lang2__1557_19.min1.thm1
2017-02-06 12:44
636
qc_lang2__1557_19.min1.thm1.tptp
2017-02-06 16:47
574
qc_lang2__1565_27.min1.thm1
2017-02-06 12:44
740
qc_lang2__1566_45.min1.thm1
2017-02-06 12:44
760
qc_lang2__1574_24.min1.thm1
2017-02-06 12:44
431
qc_lang2__1574_24.min1.thm1.tptp
2017-02-06 16:47
366
qc_lang2__1577_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1584_74.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1587_4.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1589_13.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1591_11.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1593_14.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1595_15.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1597_9.min1.thm1
2017-02-06 12:44
952
qc_lang2__1598_76.min1.thm1
2017-02-06 12:44
920
qc_lang2__1607_8.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1609_18.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1611_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1613_33.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1615_39.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1617_39.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1619_27.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1621_27.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1623_28.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1625_23.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1627_24.min1.thm1
2017-02-06 12:44
1.2K
qc_lang2__1629_23.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1637_13.min1.thm1
2017-02-06 12:44
1.4K
qc_lang2__1639_40.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1642_11.min1.thm1
2017-02-06 12:44
2.0K
qc_lang2__1645_13.min1.thm1
2017-02-06 12:44
1.9K
qc_lang2__1648_14.min1.thm1
2017-02-06 12:44
1.8K
qc_lang2__1648_14.min1.thm1.tptp
2017-02-06 16:47
1.7K
qc_lang2__1651_13.min1.thm1
2017-02-06 12:44
1.8K
qc_lang2__1651_13.min1.thm1.tptp
2017-02-06 16:47
1.7K
qc_lang2__1653_50.min1.thm1
2017-02-06 12:44
1.8K
qc_lang2__1655_51.min1.thm1
2017-02-06 12:44
1.6K
qc_lang2__1657_46.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1666_19.min1.thm1
2017-02-06 12:44
827
qc_lang2__1668_68.min1.thm1
2017-02-06 12:44
628
qc_lang2__1674_54.min1.thm1
2017-02-06 12:44
835
qc_lang2__1675_55.min1.thm1
2017-02-06 12:44
832
qc_lang2__1676_48.min1.thm1
2017-02-06 12:44
844
qc_lang2__1678_41.min1.thm1
2017-02-06 12:44
886
qc_lang2__1679_41.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1685_59.min1.thm1
2017-02-06 12:44
1.1K
qc_lang2__1686_60.min1.thm1
2017-02-06 12:44
832
qc_lang2__1687_53.min1.thm1
2017-02-06 12:44
844
qc_lang2__1689_46.min1.thm1
2017-02-06 12:44
886
qc_lang2__1690_46.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1695_56.min1.thm1
2017-02-06 12:44
782
qc_lang2__1698_6.min1.thm1
2017-02-06 12:44
1.5K
qc_lang2__1701_50.min1.thm1
2017-02-06 12:44
829
qc_lang2__1702_43.min1.thm1
2017-02-06 12:44
842
qc_lang2__1704_38.min1.thm1
2017-02-06 12:44
884
qc_lang2__1705_36.min1.thm1
2017-02-06 12:44
2.5K
qc_lang2__1713_37.min1.thm1
2017-02-06 12:44
808
qc_lang2__1714_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang2__1722_66.min1.thm1
2017-02-06 12:44
675
qc_lang2__1723_17.min1.thm1
2017-02-06 12:44
1.3K
qc_lang2__1730_44.min1.thm1
2017-02-06 12:44
675
qc_lang2__1742_56.min1.thm1
2017-02-06 12:44
916
qc_lang2__1744_27.min1.thm1
2017-02-06 12:44
790
qc_lang2__1745_25.min1.thm1
2017-02-06 12:44
739
qc_lang2__1746_30.min1.thm1
2017-02-06 12:44
968
qc_lang2__1747_17.min1.thm1
2017-02-06 12:44
769
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80