Index of /~mptp/1147/MPTP2/ilp0/nat_1
Name
Last modified
Size
Description
Parent Directory
-
nat_1__48_57.min1.thm1
2017-02-06 12:44
555
nat_1__50_15.min1.thm1
2017-02-06 12:44
635
nat_1__52_13.min1.thm1
2017-02-06 12:44
356
nat_1__53_17.min1.thm1
2017-02-06 12:44
847
nat_1__73_25.min1.thm1
2017-02-06 12:44
549
nat_1__75_39.min1.thm1
2017-02-06 12:44
929
nat_1__76_32.min1.thm1
2017-02-06 12:44
1.0K
nat_1__79_25.min1.thm1
2017-02-06 12:44
1.6K
nat_1__81_13.min1.thm1
2017-02-06 12:44
448
nat_1__82_18.min1.thm1
2017-02-06 12:44
1.2K
nat_1__83_18.min1.thm1
2017-02-06 12:44
887
nat_1__84_44.min1.thm1
2017-02-06 12:44
717
nat_1__85_16.min1.thm1
2017-02-06 12:44
288
nat_1__92_14.min1.thm1
2017-02-06 12:44
1.2K
nat_1__98_14.min1.thm1
2017-02-06 12:44
1.2K
nat_1__120_12.min1.thm1
2017-02-06 12:44
608
nat_1__121_37.min1.thm1
2017-02-06 12:44
921
nat_1__122_15.min1.thm1
2017-02-06 12:44
512
nat_1__125_11.min1.thm1
2017-02-06 12:44
1.1K
nat_1__126_16.min1.thm1
2017-02-06 12:44
875
nat_1__127_30.min1.thm1
2017-02-06 12:44
661
nat_1__128_14.min1.thm1
2017-02-06 12:44
330
nat_1__137_53.min1.thm1
2017-02-06 12:44
1.3K
nat_1__139_26.min1.thm1
2017-02-06 12:44
913
nat_1__140_11.min1.thm1
2017-02-06 12:44
198
nat_1__142_17.min1.thm1
2017-02-06 12:44
322
nat_1__142_17.min1.thm1.tptp
2017-02-06 16:47
241
nat_1__158_38.min1.thm1
2017-02-06 12:44
272
nat_1__159_18.min1.thm1
2017-02-06 12:44
415
nat_1__162_8.min1.thm1
2017-02-06 12:44
711
nat_1__164_16.min1.thm1
2017-02-06 12:44
329
nat_1__164_16.min1.thm1.tptp
2017-02-06 16:47
248
nat_1__171_14.min1.thm1
2017-02-06 12:44
1.2K
nat_1__177_14.min1.thm1
2017-02-06 12:44
1.2K
nat_1__188_30.min1.thm1
2017-02-06 12:44
2.9K
nat_1__189_8.min1.thm1
2017-02-06 12:44
516
nat_1__191_14.min1.thm1
2017-02-06 12:44
298
nat_1__191_14.min1.thm1.tptp
2017-02-06 16:47
217
nat_1__195_25.min1.thm1
2017-02-06 12:44
1.3K
nat_1__202_11.min1.thm1
2017-02-06 12:44
294
nat_1__202_11.min1.thm1.tptp
2017-02-06 16:47
213
nat_1__203_17.min1.thm1
2017-02-06 12:44
796
nat_1__211_11.min1.thm1
2017-02-06 12:44
294
nat_1__211_11.min1.thm1.tptp
2017-02-06 16:47
213
nat_1__219_25.min1.thm1
2017-02-06 12:44
324
nat_1__220_8.min1.thm1
2017-02-06 12:44
208
nat_1__222_14.min1.thm1
2017-02-06 12:44
398
nat_1__222_14.min1.thm1.tptp
2017-02-06 16:47
337
nat_1__230_20.min1.thm1
2017-02-06 12:44
392
nat_1__231_17.min1.thm1
2017-02-06 12:44
1.6K
nat_1__239_15.min1.thm1
2017-02-06 12:44
196
nat_1__246_14.min1.thm1
2017-02-06 12:44
595
nat_1__248_11.min1.thm1
2017-02-06 12:44
1.6K
nat_1__258_41.min1.thm1
2017-02-06 12:44
908
nat_1__267_18.min1.thm1
2017-02-06 12:44
1.5K
nat_1__269_11.min1.thm1
2017-02-06 12:44
796
nat_1__271_8.min1.thm1
2017-02-06 12:44
363
nat_1__289_59.min1.thm1
2017-02-06 12:44
1.0K
nat_1__291_6.min1.thm1
2017-02-06 12:44
1.5K
nat_1__292_19.min1.thm1
2017-02-06 12:44
1.0K
nat_1__311_19.min1.thm1
2017-02-06 12:44
1.1K
nat_1__312_33.min1.thm1
2017-02-06 12:44
563
nat_1__316_15.min1.thm1
2017-02-06 12:44
304
nat_1__316_15.min1.thm1.tptp
2017-02-06 16:47
223
nat_1__319_20.min1.thm1
2017-02-06 12:44
1.4K
nat_1__320_21.min1.thm1
2017-02-06 12:44
1.5K
nat_1__322_19.min1.thm1
2017-02-06 12:44
856
nat_1__324_11.min1.thm1
2017-02-06 12:44
336
nat_1__326_14.min1.thm1
2017-02-06 12:44
556
nat_1__335_24.min1.thm1
2017-02-06 12:44
571
nat_1__336_17.min1.thm1
2017-02-06 12:44
698
nat_1__350_18.min1.thm1
2017-02-06 12:44
417
nat_1__350_18.min1.thm1.tptp
2017-02-06 16:47
348
nat_1__356_24.min1.thm1
2017-02-06 12:44
1.0K
nat_1__357_18.min1.thm1
2017-02-06 12:44
950
nat_1__360_19.min1.thm1
2017-02-06 12:44
1.0K
nat_1__367_18.min1.thm1
2017-02-06 12:44
2.6K
nat_1__370_14.min1.thm1
2017-02-06 12:44
442
nat_1__370_14.min1.thm1.tptp
2017-02-06 16:47
381
nat_1__376_23.min1.thm1
2017-02-06 12:44
1.2K
nat_1__377_17.min1.thm1
2017-02-06 12:44
1.3K
nat_1__395_35.min1.thm1
2017-02-06 12:44
676
nat_1__396_19.min1.thm1
2017-02-06 12:44
647
nat_1__398_12.min1.thm1
2017-02-06 12:44
274
nat_1__400_42.min1.thm1
2017-02-06 12:44
386
nat_1__400_42.min1.thm1.tptp
2017-02-06 16:47
325
nat_1__401_17.min1.thm1
2017-02-06 12:44
463
nat_1__419_65.min1.thm1
2017-02-06 12:44
449
nat_1__419_65.min1.thm1.tptp
2017-02-06 16:47
394
nat_1__420_19.min1.thm1
2017-02-06 12:44
424
nat_1__420_19.min1.thm1.tptp
2017-02-06 16:47
356
nat_1__436_30.min1.thm1
2017-02-06 12:44
368
nat_1__436_30.min1.thm1.tptp
2017-02-06 16:47
309
nat_1__444_11.min1.thm1
2017-02-06 12:44
234
nat_1__445_13.min1.thm1
2017-02-06 12:44
407
nat_1__448_18.min1.thm1
2017-02-06 12:44
288
nat_1__448_18.min1.thm1.tptp
2017-02-06 16:47
199
nat_1__449_18.min1.thm1
2017-02-06 12:44
1.4K
nat_1__451_16.min1.thm1
2017-02-06 12:44
431
nat_1__452_43.min1.thm1
2017-02-06 12:44
687
nat_1__454_14.min1.thm1
2017-02-06 12:44
502
nat_1__455_29.min1.thm1
2017-02-06 12:44
1.1K
nat_1__458_16.min1.thm1
2017-02-06 12:44
304
nat_1__466_21.min1.thm1
2017-02-06 12:44
1.0K
nat_1__467_11.min1.thm1
2017-02-06 12:44
294
nat_1__467_11.min1.thm1.tptp
2017-02-06 16:47
213
nat_1__468_24.min1.thm1
2017-02-06 12:44
1.4K
nat_1__469_17.min1.thm1
2017-02-06 12:44
1.5K
nat_1__483_15.min1.thm1
2017-02-06 12:44
959
nat_1__484_17.min1.thm1
2017-02-06 12:44
1.2K
nat_1__491_16.min1.thm1
2017-02-06 12:44
1.1K
nat_1__493_13.min1.thm1
2017-02-06 12:44
1.5K
nat_1__503_13.min1.thm1
2017-02-06 12:44
1.3K
nat_1__505_16.min1.thm1
2017-02-06 12:44
415
nat_1__506_11.min1.thm1
2017-02-06 12:44
742
nat_1__508_16.min1.thm1
2017-02-06 12:44
415
nat_1__511_17.min1.thm1
2017-02-06 12:44
1.2K
nat_1__520_15.min1.thm1
2017-02-06 12:44
694
nat_1__521_17.min1.thm1
2017-02-06 12:44
793
nat_1__534_42.min1.thm1
2017-02-06 12:44
626
nat_1__537_17.min1.thm1
2017-02-06 12:44
341
nat_1__537_17.min1.thm1.tptp
2017-02-06 16:47
266
nat_1__560_20.min1.thm1
2017-02-06 12:44
349
nat_1__560_20.min1.thm1.tptp
2017-02-06 16:47
261
nat_1__568_20.min1.thm1
2017-02-06 12:44
305
nat_1__568_20.min1.thm1.tptp
2017-02-06 16:47
217
nat_1__570_16.min1.thm1
2017-02-06 12:44
515
nat_1__573_11.min1.thm1
2017-02-06 12:44
1.3K
nat_1__575_11.min1.thm1
2017-02-06 12:44
1.0K
nat_1__590_17.min1.thm1
2017-02-06 12:44
528
nat_1__601_12.min1.thm1
2017-02-06 12:44
428
nat_1__602_19.min1.thm1
2017-02-06 12:44
571
nat_1__608_18.min1.thm1
2017-02-06 12:44
528
nat_1__619_13.min1.thm1
2017-02-06 12:44
428
nat_1__620_19.min1.thm1
2017-02-06 12:44
571
nat_1__623_17.min1.thm1
2017-02-06 12:44
908
nat_1__628_11.min1.thm1
2017-02-06 12:44
234
nat_1__636_15.min1.thm1
2017-02-06 12:44
326
nat_1__636_15.min1.thm1.tptp
2017-02-06 16:47
238
nat_1__648_17.min1.thm1
2017-02-06 12:44
366
nat_1__652_17.min1.thm1
2017-02-06 12:44
1.6K
nat_1__659_20.min1.thm1
2017-02-06 12:44
503
nat_1__663_17.min1.thm1
2017-02-06 12:44
1.2K
nat_1__671_14.min1.thm1
2017-02-06 12:44
581
nat_1__674_22.min1.thm1
2017-02-06 12:44
511
nat_1__677_37.min1.thm1
2017-02-06 12:44
925
nat_1__679_16.min1.thm1
2017-02-06 12:44
739
nat_1__684_16.min1.thm1
2017-02-06 12:44
359
nat_1__684_16.min1.thm1.tptp
2017-02-06 16:47
273
nat_1__696_14.min1.thm1
2017-02-06 12:44
503
nat_1__697_17.min1.thm1
2017-02-06 12:44
579
nat_1__704_12.min1.thm1
2017-02-06 12:44
725
nat_1__713_15.min1.thm1
2017-02-06 12:44
196
nat_1__719_14.min1.thm1
2017-02-06 12:44
1.6K
nat_1__724_14.min1.thm1
2017-02-06 12:44
893
nat_1__734_14.min1.thm1
2017-02-06 12:44
415
nat_1__737_17.min1.thm1
2017-02-06 12:44
2.2K
nat_1__750_41.min1.thm1
2017-02-06 12:44
908
nat_1__755_20.min1.thm1
2017-02-06 12:44
2.1K
nat_1__761_18.min1.thm1
2017-02-06 12:44
532
nat_1__762_11.min1.thm1
2017-02-06 12:44
503
nat_1__764_13.min1.thm1
2017-02-06 12:44
368
nat_1__765_17.min1.thm1
2017-02-06 12:44
1.0K
nat_1__787_11.min1.thm1
2017-02-06 12:44
543
nat_1__788_24.min1.thm1
2017-02-06 12:44
627
nat_1__789_19.min1.thm1
2017-02-06 12:44
758
nat_1__794_11.min1.thm1
2017-02-06 12:44
224
nat_1__796_52.min1.thm1
2017-02-06 12:44
543
nat_1__797_17.min1.thm1
2017-02-06 12:44
619
nat_1__810_12.min1.thm1
2017-02-06 12:44
1.3K
nat_1__818_15.min1.thm1
2017-02-06 12:44
719
nat_1__819_17.min1.thm1
2017-02-06 12:44
1.2K
nat_1__826_15.min1.thm1
2017-02-06 12:44
876
nat_1__827_17.min1.thm1
2017-02-06 12:44
1.4K
nat_1__834_15.min1.thm1
2017-02-06 12:44
876
nat_1__835_17.min1.thm1
2017-02-06 12:44
1.4K
nat_1__843_15.min1.thm1
2017-02-06 12:44
876
nat_1__844_17.min1.thm1
2017-02-06 12:44
1.5K
nat_1__852_15.min1.thm1
2017-02-06 12:44
876
nat_1__861_15.min1.thm1
2017-02-06 12:44
876
nat_1__870_15.min1.thm1
2017-02-06 12:44
876
nat_1__879_15.min1.thm1
2017-02-06 12:44
876
nat_1__888_15.min1.thm1
2017-02-06 12:44
878
nat_1__897_16.min1.thm1
2017-02-06 12:44
885
nat_1__906_16.min1.thm1
2017-02-06 12:44
885
nat_1__915_16.min1.thm1
2017-02-06 12:44
885
nat_1__934_34.min1.thm1
2017-02-06 12:44
194
nat_1__935_21.min1.thm1
2017-02-06 12:44
1.0K
nat_1__937_16.min1.thm1
2017-02-06 12:44
408
nat_1__939_8.min1.thm1
2017-02-06 12:44
360
nat_1__941_14.min1.thm1
2017-02-06 12:44
281
nat_1__960_33.min1.thm1
2017-02-06 12:44
1.0K
nat_1__962_28.min1.thm1
2017-02-06 12:44
725
nat_1__965_18.min1.thm1
2017-02-06 12:44
416
nat_1__967_16.min1.thm1
2017-02-06 12:44
1.5K
nat_1__979_24.min1.thm1
2017-02-06 12:44
1.3K
nat_1__980_21.min1.thm1
2017-02-06 12:44
1.2K
nat_1__982_16.min1.thm1
2017-02-06 12:44
1.1K
nat_1__984_13.min1.thm1
2017-02-06 12:44
128
nat_1__1001_16.min1.thm1
2017-02-06 12:44
529
nat_1__1006_14.min1.thm1
2017-02-06 12:44
606
nat_1__1007_16.min1.thm1
2017-02-06 12:44
1.7K
nat_1__1008_21.min1.thm1
2017-02-06 12:44
783
nat_1__1012_39.min1.thm1
2017-02-06 12:44
915
nat_1__1013_16.min1.thm1
2017-02-06 12:44
1.8K
nat_1__1014_21.min1.thm1
2017-02-06 12:44
1.8K
nat_1__1021_14.min1.thm1
2017-02-06 12:44
654
nat_1__1022_11.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1023_24.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1024_25.min1.thm1
2017-02-06 12:44
733
nat_1__1025_17.min1.thm1
2017-02-06 12:44
519
nat_1__1041_18.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1042_39.min1.thm1
2017-02-06 12:44
925
nat_1__1043_17.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1044_24.min1.thm1
2017-02-06 12:44
1.4K
nat_1__1046_29.min1.thm1
2017-02-06 12:44
1.7K
nat_1__1047_29.min1.thm1
2017-02-06 12:44
2.1K
nat_1__1052_21.min1.thm1
2017-02-06 12:44
327
nat_1__1052_21.min1.thm1.tptp
2017-02-06 16:47
250
nat_1__1054_13.min1.thm1
2017-02-06 12:44
783
nat_1__1055_18.min1.thm1
2017-02-06 12:44
768
nat_1__1057_13.min1.thm1
2017-02-06 12:44
426
nat_1__1058_13.min1.thm1
2017-02-06 12:44
320
nat_1__1058_13.min1.thm1.tptp
2017-02-06 16:47
241
nat_1__1059_17.min1.thm1
2017-02-06 12:44
633
nat_1__1060_19.min1.thm1
2017-02-06 12:44
524
nat_1__1062_8.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1064_14.min1.thm1
2017-02-06 12:44
442
nat_1__1070_37.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1071_28.min1.thm1
2017-02-06 12:44
1.5K
nat_1__1072_17.min1.thm1
2017-02-06 12:44
685
nat_1__1078_32.min1.thm1
2017-02-06 12:44
685
nat_1__1079_61.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1080_17.min1.thm1
2017-02-06 12:44
2.0K
nat_1__1088_35.min1.thm1
2017-02-06 12:44
909
nat_1__1091_17.min1.thm1
2017-02-06 12:44
674
nat_1__1095_18.min1.thm1
2017-02-06 12:44
896
nat_1__1096_21.min1.thm1
2017-02-06 12:44
1.3K
nat_1__1097_19.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1099_12.min1.thm1
2017-02-06 12:44
1.8K
nat_1__1100_34.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1108_18.min1.thm1
2017-02-06 12:44
338
nat_1__1108_18.min1.thm1.tptp
2017-02-06 16:47
270
nat_1__1116_26.min1.thm1
2017-02-06 12:44
560
nat_1__1117_17.min1.thm1
2017-02-06 12:44
924
nat_1__1127_30.min1.thm1
2017-02-06 12:44
732
nat_1__1128_30.min1.thm1
2017-02-06 12:44
538
nat_1__1129_15.min1.thm1
2017-02-06 12:44
292
nat_1__1133_35.min1.thm1
2017-02-06 12:44
909
nat_1__1134_23.min1.thm1
2017-02-06 12:44
620
nat_1__1135_17.min1.thm1
2017-02-06 12:44
868
nat_1__1141_35.min1.thm1
2017-02-06 12:44
909
nat_1__1142_10.min1.thm1
2017-02-06 12:44
1.7K
nat_1__1143_21.min1.thm1
2017-02-06 12:44
556
nat_1__1144_17.min1.thm1
2017-02-06 12:44
2.0K
nat_1__1151_26.min1.thm1
2017-02-06 12:44
864
nat_1__1152_17.min1.thm1
2017-02-06 12:44
625
nat_1__1168_21.min1.thm1
2017-02-06 12:44
232
nat_1__1169_19.min1.thm1
2017-02-06 12:44
669
nat_1__1171_15.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1172_17.min1.thm1
2017-02-06 12:44
756
nat_1__1187_32.min1.thm1
2017-02-06 12:44
452
nat_1__1188_16.min1.thm1
2017-02-06 12:44
416
nat_1__1188_16.min1.thm1.tptp
2017-02-06 16:47
355
nat_1__1191_21.min1.thm1
2017-02-06 12:44
646
nat_1__1196_13.min1.thm1
2017-02-06 12:44
286
nat_1__1197_23.min1.thm1
2017-02-06 12:44
572
nat_1__1198_18.min1.thm1
2017-02-06 12:44
681
nat_1__1201_45.min1.thm1
2017-02-06 12:44
815
nat_1__1203_16.min1.thm1
2017-02-06 12:44
2.0K
nat_1__1223_27.min1.thm1
2017-02-06 12:44
584
nat_1__1224_27.min1.thm1
2017-02-06 12:44
466
nat_1__1224_27.min1.thm1.tptp
2017-02-06 16:47
385
nat_1__1225_19.min1.thm1
2017-02-06 12:44
767
nat_1__1227_12.min1.thm1
2017-02-06 12:44
352
nat_1__1227_12.min1.thm1.tptp
2017-02-06 16:47
270
nat_1__1229_44.min1.thm1
2017-02-06 12:44
550
nat_1__1230_17.min1.thm1
2017-02-06 12:44
802
nat_1__1245_36.min1.thm1
2017-02-06 12:44
1.3K
nat_1__1247_43.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1249_23.min1.thm1
2017-02-06 12:44
554
nat_1__1255_12.min1.thm1
2017-02-06 12:44
431
nat_1__1256_37.min1.thm1
2017-02-06 12:44
925
nat_1__1257_12.min1.thm1
2017-02-06 12:44
780
nat_1__1259_21.min1.thm1
2017-02-06 12:44
1.9K
nat_1__1278_39.min1.thm1
2017-02-06 12:44
380
nat_1__1279_74.min1.thm1
2017-02-06 12:44
222
nat_1__1280_39.min1.thm1
2017-02-06 12:44
380
nat_1__1294_39.min1.thm1
2017-02-06 12:44
428
nat_1__1296_13.min1.thm1
2017-02-06 12:44
318
nat_1__1297_39.min1.thm1
2017-02-06 12:44
428
nat_1__1306_14.min1.thm1
2017-02-06 12:44
489
nat_1__1308_14.min1.thm1
2017-02-06 12:44
489
nat_1__1314_14.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1316_14.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1335_15.min1.thm1
2017-02-06 12:44
274
nat_1__1337_18.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1339_13.min1.thm1
2017-02-06 12:44
229
nat_1__1341_23.min1.thm1
2017-02-06 12:44
470
nat_1__1341_23.min1.thm1.tptp
2017-02-06 16:47
407
nat_1__1344_23.min1.thm1
2017-02-06 12:44
258
nat_1__1348_16.min1.thm1
2017-02-06 12:44
412
nat_1__1359_37.min1.thm1
2017-02-06 12:44
913
nat_1__1360_23.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1361_16.min1.thm1
2017-02-06 12:44
1.4K
nat_1__1388_44.min1.thm1
2017-02-06 12:44
857
nat_1__1390_17.min1.thm1
2017-02-06 12:44
561
nat_1__1396_16.min1.thm1
2017-02-06 12:44
376
nat_1__1397_21.min1.thm1
2017-02-06 12:44
567
nat_1__1397_21.min1.thm1.tptp
2017-02-06 16:47
508
nat_1__1398_16.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1410_48.min1.thm1
2017-02-06 12:44
857
nat_1__1411_27.min1.thm1
2017-02-06 12:44
1.3K
nat_1__1412_20.min1.thm1
2017-02-06 12:44
1.3K
nat_1__1414_18.min1.thm1
2017-02-06 12:44
922
nat_1__1427_21.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1428_40.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1429_19.min1.thm1
2017-02-06 12:44
634
nat_1__1430_17.min1.thm1
2017-02-06 12:44
2.0K
nat_1__1439_28.min1.thm1
2017-02-06 12:44
681
nat_1__1440_16.min1.thm1
2017-02-06 12:44
489
nat_1__1440_16.min1.thm1.tptp
2017-02-06 16:47
415
nat_1__1441_28.min1.thm1
2017-02-06 12:44
508
nat_1__1452_36.min1.thm1
2017-02-06 12:44
1.9K
nat_1__1466_11.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1493_10.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1498_10.min1.thm1
2017-02-06 12:44
1.8K
nat_1__1523_13.min1.thm1
2017-02-06 12:44
360
nat_1__1524_20.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1525_17.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1537_14.min1.thm1
2017-02-06 12:44
776
nat_1__1538_13.min1.thm1
2017-02-06 12:44
1.2K
nat_1__1539_17.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1549_18.min1.thm1
2017-02-06 12:44
2.0K
nat_1__1550_25.min1.thm1
2017-02-06 12:44
1.3K
nat_1__1559_34.min1.thm1
2017-02-06 12:44
1.0K
nat_1__1560_20.min1.thm1
2017-02-06 12:44
322
nat_1__1560_20.min1.thm1.tptp
2017-02-06 16:47
245
nat_1__1574_20.min1.thm1
2017-02-06 12:44
1.9K
nat_1__1579_30.min1.thm1
2017-02-06 12:44
824
nat_1__1580_44.min1.thm1
2017-02-06 12:44
1.8K
nat_1__1581_18.min1.thm1
2017-02-06 12:44
1.6K
nat_1__1582_18.min1.thm1
2017-02-06 12:44
964
nat_1__1584_55.min1.thm1
2017-02-06 12:44
621
nat_1__1586_14.min1.thm1
2017-02-06 12:44
737
nat_1__1589_14.min1.thm1
2017-02-06 12:44
907
nat_1__1590_37.min1.thm1
2017-02-06 12:44
1.7K
nat_1__1591_36.min1.thm1
2017-02-06 12:44
1.4K
nat_1__1592_28.min1.thm1
2017-02-06 12:44
798
nat_1__1595_20.min1.thm1
2017-02-06 12:44
2.6K
nat_1__1598_23.min1.thm1
2017-02-06 12:44
236
nat_1__1603_6.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1604_17.min1.thm1
2017-02-06 12:44
1.1K
nat_1__1611_22.min1.thm1
2017-02-06 12:44
418
nat_1__1611_22.min1.thm1.tptp
2017-02-06 16:47
352
nat_1__1612_18.min1.thm1
2017-02-06 12:44
418
nat_1__1618_32.min1.thm1
2017-02-06 12:44
506
nat_1__1629_11.min1.thm1
2017-02-06 12:44
240
nat_1__1632_19.min1.thm1
2017-02-06 12:44
699
nat_1__1637_16.min1.thm1
2017-02-06 12:44
2.2K
nat_1__1648_11.min1.thm1
2017-02-06 12:44
240
nat_1__1651_19.min1.thm1
2017-02-06 12:44
774
nat_1__1667_11.min1.thm1
2017-02-06 12:44
245
nat_1__1670_19.min1.thm1
2017-02-06 12:44
869
nat_1__1689_14.min1.thm1
2017-02-06 12:44
1.5K
nat_1__1691_11.min1.thm1
2017-02-06 12:44
468
nat_1__1699_22.min1.thm1
2017-02-06 12:44
354
nat_1__1699_22.min1.thm1.tptp
2017-02-06 16:47
277
nat_1__1700_26.min1.thm1
2017-02-06 12:44
371
nat_1__1700_26.min1.thm1.tptp
2017-02-06 16:47
306
nat_1__1703_21.min1.thm1
2017-02-06 12:44
448
nat_1__1705_20.min1.thm1
2017-02-06 12:44
477
nat_1__1705_20.min1.thm1.tptp
2017-02-06 16:47
425
nat_1__1708_14.min1.thm1
2017-02-06 12:44
547
nat_1__1717_16.min1.thm1
2017-02-06 12:44
889
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80