Index of /~mptp/1147/MPTP2/ilp0/qc_lang4
Name
Last modified
Size
Description
Parent Directory
-
qc_lang4__46_11.min1.thm1
2017-02-06 12:44
192
qc_lang4__53_39.min1.thm1
2017-02-06 12:44
784
qc_lang4__66_39.min1.thm1
2017-02-06 12:44
780
qc_lang4__69_14.min1.thm1
2017-02-06 12:44
214
qc_lang4__81_11.min1.thm1
2017-02-06 12:44
2.1K
qc_lang4__82_16.min1.thm1
2017-02-06 12:44
1.7K
qc_lang4__92_57.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__93_38.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__94_14.min1.thm1
2017-02-06 12:44
815
qc_lang4__98_66.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__100_17.min1.thm1
2017-02-06 12:44
430
qc_lang4__101_33.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__102_19.min1.thm1
2017-02-06 12:44
867
qc_lang4__107_27.min1.thm1
2017-02-06 12:44
921
qc_lang4__108_43.min1.thm1
2017-02-06 12:44
969
qc_lang4__111_8.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__113_17.min1.thm1
2017-02-06 12:44
430
qc_lang4__114_30.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__115_19.min1.thm1
2017-02-06 12:44
867
qc_lang4__124_33.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__130_18.min1.thm1
2017-02-06 12:44
369
qc_lang4__130_18.min1.thm1.tptp
2017-02-06 16:47
315
qc_lang4__133_23.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__137_23.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__140_16.min1.thm1
2017-02-06 12:44
278
qc_lang4__145_28.min1.thm1
2017-02-06 12:44
921
qc_lang4__146_43.min1.thm1
2017-02-06 12:44
969
qc_lang4__149_8.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__151_17.min1.thm1
2017-02-06 12:44
430
qc_lang4__152_30.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__153_19.min1.thm1
2017-02-06 12:44
867
qc_lang4__167_57.min1.thm1
2017-02-06 12:44
879
qc_lang4__168_52.min1.thm1
2017-02-06 12:44
641
qc_lang4__170_43.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__172_16.min1.thm1
2017-02-06 12:44
834
qc_lang4__184_35.min1.thm1
2017-02-06 12:44
728
qc_lang4__188_22.min1.thm1
2017-02-06 12:44
560
qc_lang4__189_18.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__194_28.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__196_13.min1.thm1
2017-02-06 12:44
331
qc_lang4__198_28.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__199_23.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__211_37.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__215_22.min1.thm1
2017-02-06 12:44
917
qc_lang4__218_25.min1.thm1
2017-02-06 12:44
286
qc_lang4__219_27.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__223_27.min1.thm1
2017-02-06 12:44
1.7K
qc_lang4__227_20.min1.thm1
2017-02-06 12:44
534
qc_lang4__232_31.min1.thm1
2017-02-06 12:44
929
qc_lang4__233_48.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__235_67.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__238_13.min1.thm1
2017-02-06 12:44
331
qc_lang4__239_29.min1.thm1
2017-02-06 12:44
825
qc_lang4__241_25.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__242_23.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__245_19.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__274_57.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__275_64.min1.thm1
2017-02-06 12:44
1.7K
qc_lang4__276_26.min1.thm1
2017-02-06 12:44
828
qc_lang4__281_58.min1.thm1
2017-02-06 12:44
616
qc_lang4__281_58.min1.thm1.tptp
2017-02-06 16:47
528
qc_lang4__283_18.min1.thm1
2017-02-06 12:44
1.9K
qc_lang4__310_49.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__311_61.min1.thm1
2017-02-06 12:44
2.2K
qc_lang4__312_27.min1.thm1
2017-02-06 12:44
636
qc_lang4__312_27.min1.thm1.tptp
2017-02-06 16:47
559
qc_lang4__315_32.min1.thm1
2017-02-06 12:44
2.1K
qc_lang4__316_34.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__317_33.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__325_14.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__328_59.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__330_25.min1.thm1
2017-02-06 12:44
453
qc_lang4__330_25.min1.thm1.tptp
2017-02-06 16:47
389
qc_lang4__331_57.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__332_21.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__338_19.min1.thm1
2017-02-06 12:44
388
qc_lang4__338_19.min1.thm1.tptp
2017-02-06 16:47
318
qc_lang4__347_71.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__349_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__360_16.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__365_35.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__368_77.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__382_35.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__385_73.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__391_40.min1.thm1
2017-02-06 12:44
2.0K
qc_lang4__395_5.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__401_17.min1.thm1
2017-02-06 12:44
796
qc_lang4__401_17.min1.thm1.tptp
2017-02-06 16:47
719
qc_lang4__413_37.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__415_12.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__440_20.min1.thm1
2017-02-06 12:44
851
qc_lang4__446_15.min1.thm1
2017-02-06 12:44
445
qc_lang4__447_12.min1.thm1
2017-02-06 12:44
406
qc_lang4__449_16.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__450_24.min1.thm1
2017-02-06 12:44
786
qc_lang4__452_16.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__453_28.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__456_37.min1.thm1
2017-02-06 12:44
2.3K
qc_lang4__457_13.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__459_18.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__460_12.min1.thm1
2017-02-06 12:44
823
qc_lang4__461_19.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__465_13.min1.thm1
2017-02-06 12:44
448
qc_lang4__467_33.min1.thm1
2017-02-06 12:44
595
qc_lang4__468_20.min1.thm1
2017-02-06 12:44
851
qc_lang4__469_19.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__472_17.min1.thm1
2017-02-06 12:44
2.0K
qc_lang4__485_37.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__486_35.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__496_45.min1.thm1
2017-02-06 12:44
554
qc_lang4__499_29.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__502_35.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__503_21.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__508_20.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__511_70.min1.thm1
2017-02-06 12:44
1.9K
qc_lang4__514_68.min1.thm1
2017-02-06 12:44
456
qc_lang4__516_17.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__527_37.min1.thm1
2017-02-06 12:44
959
qc_lang4__529_9.min1.thm1
2017-02-06 12:44
294
qc_lang4__530_27.min1.thm1
2017-02-06 12:44
849
qc_lang4__531_19.min1.thm1
2017-02-06 12:44
852
qc_lang4__537_48.min1.thm1
2017-02-06 12:44
744
qc_lang4__538_19.min1.thm1
2017-02-06 12:44
741
qc_lang4__560_39.min1.thm1
2017-02-06 12:44
1.9K
qc_lang4__562_13.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__571_20.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__573_17.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__574_38.min1.thm1
2017-02-06 12:44
460
qc_lang4__575_30.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__577_17.min1.thm1
2017-02-06 12:44
498
qc_lang4__584_70.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__586_35.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__605_26.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__609_78.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__635_41.min1.thm1
2017-02-06 12:44
574
qc_lang4__636_18.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__646_70.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__655_19.min1.thm1
2017-02-06 12:44
897
qc_lang4__657_12.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__665_43.min1.thm1
2017-02-06 12:44
2.0K
qc_lang4__674_19.min1.thm1
2017-02-06 12:44
2.5K
qc_lang4__677_19.min1.thm1
2017-02-06 12:44
895
qc_lang4__690_26.min1.thm1
2017-02-06 12:44
336
qc_lang4__690_26.min1.thm1.tptp
2017-02-06 16:47
262
qc_lang4__697_68.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__701_35.min1.thm1
2017-02-06 12:44
713
qc_lang4__702_16.min1.thm1
2017-02-06 12:44
927
qc_lang4__703_23.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__705_18.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__714_31.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__716_18.min1.thm1
2017-02-06 12:44
518
qc_lang4__720_15.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__721_45.min1.thm1
2017-02-06 12:44
242
qc_lang4__722_21.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__737_28.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__740_35.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__741_18.min1.thm1
2017-02-06 12:44
962
qc_lang4__747_40.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__784_29.min1.thm1
2017-02-06 12:44
336
qc_lang4__784_29.min1.thm1.tptp
2017-02-06 16:47
262
qc_lang4__788_17.min1.thm1
2017-02-06 12:44
2.5K
qc_lang4__795_66.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__798_26.min1.thm1
2017-02-06 12:44
299
qc_lang4__798_26.min1.thm1.tptp
2017-02-06 16:47
216
qc_lang4__800_38.min1.thm1
2017-02-06 12:44
648
qc_lang4__805_53.min1.thm1
2017-02-06 12:44
454
qc_lang4__819_14.min1.thm1
2017-02-06 12:44
482
qc_lang4__822_38.min1.thm1
2017-02-06 12:44
412
qc_lang4__827_38.min1.thm1
2017-02-06 12:44
412
qc_lang4__844_35.min1.thm1
2017-02-06 12:44
200
qc_lang4__856_70.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__864_40.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__867_51.min1.thm1
2017-02-06 12:44
876
qc_lang4__873_40.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__874_20.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__876_21.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__887_43.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__888_46.min1.thm1
2017-02-06 12:44
513
qc_lang4__890_59.min1.thm1
2017-02-06 12:44
532
qc_lang4__892_23.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__895_19.min1.thm1
2017-02-06 12:44
805
qc_lang4__895_19.min1.thm1.tptp
2017-02-06 16:47
750
qc_lang4__910_41.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__911_71.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__912_39.min1.thm1
2017-02-06 12:44
827
qc_lang4__913_21.min1.thm1
2017-02-06 12:44
827
qc_lang4__919_41.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__920_71.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__921_39.min1.thm1
2017-02-06 12:44
827
qc_lang4__922_21.min1.thm1
2017-02-06 12:44
827
qc_lang4__938_6.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__939_70.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__940_38.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__941_16.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__949_58.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__950_19.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__959_43.min1.thm1
2017-02-06 12:44
770
qc_lang4__961_32.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__965_4.min1.thm1
2017-02-06 12:44
434
qc_lang4__968_50.min1.thm1
2017-02-06 12:44
460
qc_lang4__971_53.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__973_17.min1.thm1
2017-02-06 12:44
766
qc_lang4__994_16.min1.thm1
2017-02-06 12:44
1.7K
qc_lang4__1017_73.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__1019_64.min1.thm1
2017-02-06 12:44
3.0K
qc_lang4__1027_29.min1.thm1
2017-02-06 12:44
2.5K
qc_lang4__1033_19.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1033_19.min1.thm1.tptp
2017-02-06 16:47
927
qc_lang4__1039_19.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1039_19.min1.thm1.tptp
2017-02-06 16:47
922
qc_lang4__1057_31.min1.thm1
2017-02-06 12:44
766
qc_lang4__1057_31.min1.thm1.tptp
2017-02-06 16:47
713
qc_lang4__1058_20.min1.thm1
2017-02-06 12:44
517
qc_lang4__1058_20.min1.thm1.tptp
2017-02-06 16:47
428
qc_lang4__1059_49.min1.thm1
2017-02-06 12:44
2.6K
qc_lang4__1064_16.min1.thm1
2017-02-06 12:44
1.7K
qc_lang4__1080_41.min1.thm1
2017-02-06 12:44
2.3K
qc_lang4__1083_43.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1092_45.min1.thm1
2017-02-06 12:44
905
qc_lang4__1093_15.min1.thm1
2017-02-06 12:44
602
qc_lang4__1109_64.min1.thm1
2017-02-06 12:44
3.0K
qc_lang4__1110_16.min1.thm1
2017-02-06 12:44
681
qc_lang4__1114_49.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1117_19.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1122_47.min1.thm1
2017-02-06 12:44
2.1K
qc_lang4__1128_19.min1.thm1
2017-02-06 12:44
778
qc_lang4__1133_47.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__1150_41.min1.thm1
2017-02-06 12:44
2.3K
qc_lang4__1153_43.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1175_17.min1.thm1
2017-02-06 12:44
254
qc_lang4__1185_21.min1.thm1
2017-02-06 12:44
627
qc_lang4__1186_32.min1.thm1
2017-02-06 12:44
865
qc_lang4__1187_24.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1188_48.min1.thm1
2017-02-06 12:44
578
qc_lang4__1189_43.min1.thm1
2017-02-06 12:44
2.0K
qc_lang4__1193_38.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1196_11.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1199_41.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1200_21.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1206_25.min1.thm1
2017-02-06 12:44
593
qc_lang4__1208_22.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1212_27.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1218_27.min1.thm1
2017-02-06 12:44
2.2K
qc_lang4__1223_27.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1226_20.min1.thm1
2017-02-06 12:44
840
qc_lang4__1239_14.min1.thm1
2017-02-06 12:44
1.9K
qc_lang4__1243_19.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1280_68.min1.thm1
2017-02-06 12:44
721
qc_lang4__1283_41.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1285_21.min1.thm1
2017-02-06 12:44
417
qc_lang4__1285_21.min1.thm1.tptp
2017-02-06 16:47
335
qc_lang4__1286_56.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1287_43.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1288_21.min1.thm1
2017-02-06 12:44
631
qc_lang4__1289_17.min1.thm1
2017-02-06 12:44
255
qc_lang4__1290_32.min1.thm1
2017-02-06 12:44
869
qc_lang4__1291_24.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1292_48.min1.thm1
2017-02-06 12:44
581
qc_lang4__1294_14.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1297_68.min1.thm1
2017-02-06 12:44
2.5K
qc_lang4__1300_38.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1301_55.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1305_69.min1.thm1
2017-02-06 12:44
726
qc_lang4__1308_40.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__1309_64.min1.thm1
2017-02-06 12:44
486
qc_lang4__1314_25.min1.thm1
2017-02-06 12:44
593
qc_lang4__1316_22.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1320_27.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__1331_27.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__1334_20.min1.thm1
2017-02-06 12:44
844
qc_lang4__1346_14.min1.thm1
2017-02-06 12:44
858
qc_lang4__1347_70.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1351_69.min1.thm1
2017-02-06 12:44
703
qc_lang4__1352_63.min1.thm1
2017-02-06 12:44
1.2K
qc_lang4__1354_19.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1382_50.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1397_36.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1398_52.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1406_37.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1407_57.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1408_53.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1412_41.min1.thm1
2017-02-06 12:44
742
qc_lang4__1415_36.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1417_71.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1419_36.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1420_52.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1422_10.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1423_52.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1428_16.min1.thm1
2017-02-06 12:44
747
qc_lang4__1433_35.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1434_64.min1.thm1
2017-02-06 12:44
787
qc_lang4__1440_51.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1446_48.min1.thm1
2017-02-06 12:44
902
qc_lang4__1455_42.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1456_64.min1.thm1
2017-02-06 12:44
929
qc_lang4__1459_52.min1.thm1
2017-02-06 12:44
574
qc_lang4__1464_38.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1465_56.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1467_14.min1.thm1
2017-02-06 12:44
574
qc_lang4__1481_6.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1482_70.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1483_59.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1494_74.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1495_19.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1515_14.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1518_15.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1520_14.min1.thm1
2017-02-06 12:44
482
qc_lang4__1537_11.min1.thm1
2017-02-06 12:44
553
qc_lang4__1550_27.min1.thm1
2017-02-06 12:44
788
qc_lang4__1551_43.min1.thm1
2017-02-06 12:44
937
qc_lang4__1553_36.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1554_16.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__1566_69.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1579_27.min1.thm1
2017-02-06 12:44
788
qc_lang4__1580_19.min1.thm1
2017-02-06 12:44
1.3K
qc_lang4__1587_35.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1588_17.min1.thm1
2017-02-06 12:44
1.8K
qc_lang4__1605_59.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1606_11.min1.thm1
2017-02-06 12:44
161
qc_lang4__1607_19.min1.thm1
2017-02-06 12:44
968
qc_lang4__1614_30.min1.thm1
2017-02-06 12:44
842
qc_lang4__1615_19.min1.thm1
2017-02-06 12:44
804
qc_lang4__1627_37.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1629_52.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1633_74.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1636_37.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1637_17.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1648_37.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1650_52.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1654_4.min1.thm1
2017-02-06 12:44
935
qc_lang4__1655_51.min1.thm1
2017-02-06 12:44
765
qc_lang4__1682_39.min1.thm1
2017-02-06 12:44
1.1K
qc_lang4__1683_57.min1.thm1
2017-02-06 12:44
1.6K
qc_lang4__1703_39.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1704_65.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1705_16.min1.thm1
2017-02-06 12:44
390
qc_lang4__1705_16.min1.thm1.tptp
2017-02-06 16:47
308
qc_lang4__1720_47.min1.thm1
2017-02-06 12:44
850
qc_lang4__1733_72.min1.thm1
2017-02-06 12:44
1.4K
qc_lang4__1745_10.min1.thm1
2017-02-06 12:44
613
qc_lang4__1746_39.min1.thm1
2017-02-06 12:44
1.0K
qc_lang4__1748_38.min1.thm1
2017-02-06 12:44
1.5K
qc_lang4__1749_57.min1.thm1
2017-02-06 12:44
2.2K
qc_lang4__1752_13.min1.thm1
2017-02-06 12:44
544
qc_lang4__1756_14.min1.thm1
2017-02-06 12:44
480
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80