Index of /~mptp/1147/MPTP2/ilp0/topreal4
Name
Last modified
Size
Description
Parent Directory
-
topreal4__73_66.min1.thm1
2017-02-06 12:45
1.2K
topreal4__74_17.min1.thm1
2017-02-06 12:45
765
topreal4__81_65.min1.thm1
2017-02-06 12:45
1.2K
topreal4__82_17.min1.thm1
2017-02-06 12:45
764
topreal4__82_17.min1.thm1.tptp
2017-02-06 16:46
700
topreal4__89_28.min1.thm1
2017-02-06 12:45
858
topreal4__90_17.min1.thm1
2017-02-06 12:45
1.8K
topreal4__102_26.min1.thm1
2017-02-06 12:45
1.2K
topreal4__103_15.min1.thm1
2017-02-06 12:45
534
topreal4__107_33.min1.thm1
2017-02-06 12:45
602
topreal4__120_50.min1.thm1
2017-02-06 12:45
1.3K
topreal4__136_34.min1.thm1
2017-02-06 12:45
603
topreal4__141_36.min1.thm1
2017-02-06 12:45
1.8K
topreal4__142_67.min1.thm1
2017-02-06 12:45
3.3K
topreal4__159_34.min1.thm1
2017-02-06 12:45
614
topreal4__164_36.min1.thm1
2017-02-06 12:45
1.8K
topreal4__165_67.min1.thm1
2017-02-06 12:45
3.3K
topreal4__184_36.min1.thm1
2017-02-06 12:45
1.8K
topreal4__204_36.min1.thm1
2017-02-06 12:45
1.8K
topreal4__218_16.min1.thm1
2017-02-06 12:45
716
topreal4__222_17.min1.thm1
2017-02-06 12:45
253
topreal4__226_11.min1.thm1
2017-02-06 12:45
2.7K
topreal4__232_44.min1.thm1
2017-02-06 12:45
626
topreal4__250_22.min1.thm1
2017-02-06 12:45
570
topreal4__253_18.min1.thm1
2017-02-06 12:45
558
topreal4__258_17.min1.thm1
2017-02-06 12:45
253
topreal4__262_11.min1.thm1
2017-02-06 12:45
2.7K
topreal4__268_44.min1.thm1
2017-02-06 12:45
626
topreal4__286_22.min1.thm1
2017-02-06 12:45
570
topreal4__289_18.min1.thm1
2017-02-06 12:45
558
topreal4__292_14.min1.thm1
2017-02-06 12:45
546
topreal4__310_17.min1.thm1
2017-02-06 12:45
540
topreal4__313_18.min1.thm1
2017-02-06 12:45
1.5K
topreal4__319_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__320_37.min1.thm1
2017-02-06 12:45
2.2K
topreal4__321_24.min1.thm1
2017-02-06 12:45
1.0K
topreal4__324_21.min1.thm1
2017-02-06 12:45
2.5K
topreal4__327_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__331_20.min1.thm1
2017-02-06 12:45
1.4K
topreal4__351_17.min1.thm1
2017-02-06 12:45
540
topreal4__354_18.min1.thm1
2017-02-06 12:45
1.5K
topreal4__360_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__361_37.min1.thm1
2017-02-06 12:45
2.2K
topreal4__362_24.min1.thm1
2017-02-06 12:45
1.0K
topreal4__365_21.min1.thm1
2017-02-06 12:45
2.5K
topreal4__368_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__370_26.min1.thm1
2017-02-06 12:45
2.7K
topreal4__372_20.min1.thm1
2017-02-06 12:45
1.4K
topreal4__390_22.min1.thm1
2017-02-06 12:45
520
topreal4__392_18.min1.thm1
2017-02-06 12:45
1.5K
topreal4__395_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__396_21.min1.thm1
2017-02-06 12:45
522
topreal4__397_20.min1.thm1
2017-02-06 12:45
522
topreal4__398_19.min1.thm1
2017-02-06 12:45
522
topreal4__400_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__407_8.min1.thm1
2017-02-06 12:45
3.8K
topreal4__411_47.min1.thm1
2017-02-06 12:45
1.5K
topreal4__415_21.min1.thm1
2017-02-06 12:45
1.2K
topreal4__420_13.min1.thm1
2017-02-06 12:45
1.9K
topreal4__423_18.min1.thm1
2017-02-06 12:45
1.7K
topreal4__426_12.min1.thm1
2017-02-06 12:45
1.1K
topreal4__429_14.min1.thm1
2017-02-06 12:45
1.1K
topreal4__444_15.min1.thm1
2017-02-06 12:45
691
topreal4__449_15.min1.thm1
2017-02-06 12:45
693
topreal4__458_23.min1.thm1
2017-02-06 12:45
1.9K
topreal4__459_23.min1.thm1
2017-02-06 12:45
1.9K
topreal4__461_20.min1.thm1
2017-02-06 12:45
2.4K
topreal4__469_21.min1.thm1
2017-02-06 12:45
1.3K
topreal4__471_24.min1.thm1
2017-02-06 12:45
1.7K
topreal4__479_24.min1.thm1
2017-02-06 12:45
2.5K
topreal4__481_28.min1.thm1
2017-02-06 12:45
1.7K
topreal4__484_31.min1.thm1
2017-02-06 12:45
1.0K
topreal4__486_32.min1.thm1
2017-02-06 12:45
1.1K
topreal4__489_31.min1.thm1
2017-02-06 12:45
1.2K
topreal4__498_33.min1.thm1
2017-02-06 12:45
627
topreal4__498_33.min1.thm1.tptp
2017-02-06 16:46
562
topreal4__499_25.min1.thm1
2017-02-06 12:45
1.4K
topreal4__507_29.min1.thm1
2017-02-06 12:45
920
topreal4__508_31.min1.thm1
2017-02-06 12:45
2.0K
topreal4__510_32.min1.thm1
2017-02-06 12:45
1.1K
topreal4__512_31.min1.thm1
2017-02-06 12:45
1.2K
topreal4__525_21.min1.thm1
2017-02-06 12:45
1.3K
topreal4__527_24.min1.thm1
2017-02-06 12:45
1.7K
topreal4__535_24.min1.thm1
2017-02-06 12:45
2.5K
topreal4__537_28.min1.thm1
2017-02-06 12:45
1.7K
topreal4__540_31.min1.thm1
2017-02-06 12:45
1.0K
topreal4__542_32.min1.thm1
2017-02-06 12:45
1.1K
topreal4__545_31.min1.thm1
2017-02-06 12:45
1.2K
topreal4__554_33.min1.thm1
2017-02-06 12:45
627
topreal4__554_33.min1.thm1.tptp
2017-02-06 16:46
562
topreal4__555_25.min1.thm1
2017-02-06 12:45
1.4K
topreal4__563_29.min1.thm1
2017-02-06 12:45
920
topreal4__564_31.min1.thm1
2017-02-06 12:45
2.0K
topreal4__566_32.min1.thm1
2017-02-06 12:45
1.1K
topreal4__568_31.min1.thm1
2017-02-06 12:45
1.2K
topreal4__582_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__585_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__586_29.min1.thm1
2017-02-06 12:45
3.0K
topreal4__589_22.min1.thm1
2017-02-06 12:45
3.0K
topreal4__595_28.min1.thm1
2017-02-06 12:45
1.1K
topreal4__596_22.min1.thm1
2017-02-06 12:45
2.4K
topreal4__602_15.min1.thm1
2017-02-06 12:45
1.3K
topreal4__603_21.min1.thm1
2017-02-06 12:45
2.0K
topreal4__604_20.min1.thm1
2017-02-06 12:45
2.8K
topreal4__606_21.min1.thm1
2017-02-06 12:45
1.5K
topreal4__609_22.min1.thm1
2017-02-06 12:45
1.6K
topreal4__610_21.min1.thm1
2017-02-06 12:45
1.9K
topreal4__611_26.min1.thm1
2017-02-06 12:45
2.1K
topreal4__613_18.min1.thm1
2017-02-06 12:45
1.8K
topreal4__615_19.min1.thm1
2017-02-06 12:45
1.1K
topreal4__619_15.min1.thm1
2017-02-06 12:45
892
topreal4__622_21.min1.thm1
2017-02-06 12:45
2.0K
topreal4__623_25.min1.thm1
2017-02-06 12:45
1.2K
topreal4__633_26.min1.thm1
2017-02-06 12:45
1.8K
topreal4__640_51.min1.thm1
2017-02-06 12:45
832
topreal4__640_51.min1.thm1.tptp
2017-02-06 16:46
754
topreal4__643_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__647_28.min1.thm1
2017-02-06 12:45
1.9K
topreal4__655_18.min1.thm1
2017-02-06 12:45
720
topreal4__662_15.min1.thm1
2017-02-06 12:45
891
topreal4__664_13.min1.thm1
2017-02-06 12:45
1.5K
topreal4__665_15.min1.thm1
2017-02-06 12:45
1.3K
topreal4__671_16.min1.thm1
2017-02-06 12:45
1.3K
topreal4__673_19.min1.thm1
2017-02-06 12:45
1.5K
topreal4__674_19.min1.thm1
2017-02-06 12:45
1.4K
topreal4__676_25.min1.thm1
2017-02-06 12:45
1.5K
topreal4__679_23.min1.thm1
2017-02-06 12:45
1.8K
topreal4__684_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__688_23.min1.thm1
2017-02-06 12:45
1.4K
topreal4__689_23.min1.thm1
2017-02-06 12:45
1.6K
topreal4__691_29.min1.thm1
2017-02-06 12:45
1.5K
topreal4__692_21.min1.thm1
2017-02-06 12:45
1.0K
topreal4__694_27.min1.thm1
2017-02-06 12:45
1.7K
topreal4__702_34.min1.thm1
2017-02-06 12:45
1.5K
topreal4__703_47.min1.thm1
2017-02-06 12:45
1.6K
topreal4__706_43.min1.thm1
2017-02-06 12:45
509
topreal4__712_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__715_28.min1.thm1
2017-02-06 12:45
1.4K
topreal4__721_65.min1.thm1
2017-02-06 12:45
2.1K
topreal4__728_34.min1.thm1
2017-02-06 12:45
1.5K
topreal4__729_47.min1.thm1
2017-02-06 12:45
1.6K
topreal4__732_43.min1.thm1
2017-02-06 12:45
508
topreal4__737_43.min1.thm1
2017-02-06 12:45
1.4K
topreal4__740_39.min1.thm1
2017-02-06 12:45
496
topreal4__750_21.min1.thm1
2017-02-06 12:45
1.7K
topreal4__753_18.min1.thm1
2017-02-06 12:45
1.1K
topreal4__759_26.min1.thm1
2017-02-06 12:45
1.6K
topreal4__761_26.min1.thm1
2017-02-06 12:45
1.8K
topreal4__779_24.min1.thm1
2017-02-06 12:45
1.0K
topreal4__784_26.min1.thm1
2017-02-06 12:45
1.6K
topreal4__786_26.min1.thm1
2017-02-06 12:45
1.8K
topreal4__804_24.min1.thm1
2017-02-06 12:45
1.0K
topreal4__807_20.min1.thm1
2017-02-06 12:45
1.0K
topreal4__811_17.min1.thm1
2017-02-06 12:45
1.4K
topreal4__812_17.min1.thm1
2017-02-06 12:45
1.4K
topreal4__814_23.min1.thm1
2017-02-06 12:45
1.5K
topreal4__817_22.min1.thm1
2017-02-06 12:45
1.8K
topreal4__820_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__823_18.min1.thm1
2017-02-06 12:45
1.4K
topreal4__828_16.min1.thm1
2017-02-06 12:45
966
topreal4__830_19.min1.thm1
2017-02-06 12:45
1.5K
topreal4__832_12.min1.thm1
2017-02-06 12:45
1.2K
topreal4__837_26.min1.thm1
2017-02-06 12:45
1.9K
topreal4__838_37.min1.thm1
2017-02-06 12:45
2.2K
topreal4__848_19.min1.thm1
2017-02-06 12:45
772
topreal4__865_17.min1.thm1
2017-02-06 12:45
898
topreal4__866_20.min1.thm1
2017-02-06 12:45
2.0K
topreal4__868_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__869_17.min1.thm1
2017-02-06 12:45
1.4K
topreal4__871_23.min1.thm1
2017-02-06 12:45
1.6K
topreal4__879_29.min1.thm1
2017-02-06 12:45
550
topreal4__883_43.min1.thm1
2017-02-06 12:45
878
topreal4__889_19.min1.thm1
2017-02-06 12:45
708
topreal4__889_19.min1.thm1.tptp
2017-02-06 16:46
631
topreal4__891_15.min1.thm1
2017-02-06 12:45
883
topreal4__896_19.min1.thm1
2017-02-06 12:45
936
topreal4__896_19.min1.thm1.tptp
2017-02-06 16:46
859
topreal4__912_15.min1.thm1
2017-02-06 12:45
913
topreal4__916_15.min1.thm1
2017-02-06 12:45
1.0K
topreal4__928_14.min1.thm1
2017-02-06 12:45
284
topreal4__943_18.min1.thm1
2017-02-06 12:45
1.5K
topreal4__949_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__952_18.min1.thm1
2017-02-06 12:45
541
topreal4__958_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__961_24.min1.thm1
2017-02-06 12:45
2.7K
topreal4__963_37.min1.thm1
2017-02-06 12:45
1.2K
topreal4__965_35.min1.thm1
2017-02-06 12:45
2.3K
topreal4__982_14.min1.thm1
2017-02-06 12:45
1.1K
topreal4__991_19.min1.thm1
2017-02-06 12:45
2.0K
topreal4__992_23.min1.thm1
2017-02-06 12:45
588
topreal4__995_16.min1.thm1
2017-02-06 12:45
288
topreal4__997_21.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1001_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__1005_20.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1012_37.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1013_17.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1028_18.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1034_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1037_20.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1041_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__1044_24.min1.thm1
2017-02-06 12:45
2.7K
topreal4__1046_37.min1.thm1
2017-02-06 12:45
1.2K
topreal4__1048_35.min1.thm1
2017-02-06 12:45
2.3K
topreal4__1065_14.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1074_19.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1075_23.min1.thm1
2017-02-06 12:45
588
topreal4__1078_16.min1.thm1
2017-02-06 12:45
288
topreal4__1080_21.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1084_48.min1.thm1
2017-02-06 12:45
2.3K
topreal4__1088_20.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1096_17.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1108_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1112_16.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1115_20.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1118_30.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1122_56.min1.thm1
2017-02-06 12:45
2.8K
topreal4__1138_19.min1.thm1
2017-02-06 12:45
521
topreal4__1139_15.min1.thm1
2017-02-06 12:45
882
topreal4__1144_18.min1.thm1
2017-02-06 12:45
430
topreal4__1159_22.min1.thm1
2017-02-06 12:45
520
topreal4__1160_22.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1166_13.min1.thm1
2017-02-06 12:45
968
topreal4__1174_17.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1176_15.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1178_20.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1187_68.min1.thm1
2017-02-06 12:45
4.6K
topreal4__1194_68.min1.thm1
2017-02-06 12:45
4.6K
topreal4__1198_22.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1204_68.min1.thm1
2017-02-06 12:45
2.9K
topreal4__1208_18.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1213_20.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1222_68.min1.thm1
2017-02-06 12:45
4.5K
topreal4__1229_68.min1.thm1
2017-02-06 12:45
4.5K
topreal4__1233_22.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1238_20.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1244_18.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1249_20.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1253_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1262_32.min1.thm1
2017-02-06 12:45
2.1K
topreal4__1271_32.min1.thm1
2017-02-06 12:45
2.1K
topreal4__1277_22.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1287_18.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1308_15.min1.thm1
2017-02-06 12:45
764
topreal4__1314_16.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1332_22.min1.thm1
2017-02-06 12:45
520
topreal4__1333_20.min1.thm1
2017-02-06 12:45
521
topreal4__1334_22.min1.thm1
2017-02-06 12:45
520
topreal4__1335_19.min1.thm1
2017-02-06 12:45
522
topreal4__1336_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1338_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1339_16.min1.thm1
2017-02-06 12:45
541
topreal4__1347_19.min1.thm1
2017-02-06 12:45
1.9K
topreal4__1352_20.min1.thm1
2017-02-06 12:45
522
topreal4__1367_15.min1.thm1
2017-02-06 12:45
691
topreal4__1372_15.min1.thm1
2017-02-06 12:45
693
topreal4__1386_24.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1408_24.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1440_28.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1448_21.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1449_19.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1462_21.min1.thm1
2017-02-06 12:45
394
topreal4__1468_36.min1.thm1
2017-02-06 12:45
603
topreal4__1468_36.min1.thm1.tptp
2017-02-06 16:46
525
topreal4__1481_19.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1484_21.min1.thm1
2017-02-06 12:45
1.9K
topreal4__1487_19.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1492_19.min1.thm1
2017-02-06 12:45
898
topreal4__1499_18.min1.thm1
2017-02-06 12:45
718
topreal4__1505_15.min1.thm1
2017-02-06 12:45
891
topreal4__1507_13.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1508_19.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1509_15.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1519_16.min1.thm1
2017-02-06 12:45
1.3K
topreal4__1520_24.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1528_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1532_23.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1542_34.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1543_47.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1546_43.min1.thm1
2017-02-06 12:45
509
topreal4__1551_21.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1555_23.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1567_27.min1.thm1
2017-02-06 12:45
402
topreal4__1572_23.min1.thm1
2017-02-06 12:45
629
topreal4__1572_23.min1.thm1.tptp
2017-02-06 16:46
564
topreal4__1578_31.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1584_45.min1.thm1
2017-02-06 12:45
689
topreal4__1584_45.min1.thm1.tptp
2017-02-06 16:46
624
topreal4__1598_31.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1606_47.min1.thm1
2017-02-06 12:45
520
topreal4__1610_34.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1611_47.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1614_43.min1.thm1
2017-02-06 12:45
508
topreal4__1619_43.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1622_39.min1.thm1
2017-02-06 12:45
496
topreal4__1637_19.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1650_38.min1.thm1
2017-02-06 12:45
968
topreal4__1655_38.min1.thm1
2017-02-06 12:45
2.2K
topreal4__1664_18.min1.thm1
2017-02-06 12:45
768
topreal4__1668_37.min1.thm1
2017-02-06 12:45
479
topreal4__1668_37.min1.thm1.tptp
2017-02-06 16:46
405
topreal4__1670_19.min1.thm1
2017-02-06 12:45
798
topreal4__1676_13.min1.thm1
2017-02-06 12:45
890
topreal4__1680_13.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1684_25.min1.thm1
2017-02-06 12:45
504
topreal4__1709_33.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1710_31.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1711_19.min1.thm1
2017-02-06 12:45
2.6K
topreal4__1712_34.min1.thm1
2017-02-06 12:45
2.2K
topreal4__1718_33.min1.thm1
2017-02-06 12:45
2.9K
topreal4__1720_19.min1.thm1
2017-02-06 12:45
3.1K
topreal4__1722_23.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1723_21.min1.thm1
2017-02-06 12:45
433
topreal4__1723_21.min1.thm1.tptp
2017-02-06 16:46
356
topreal4__1724_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1725_13.min1.thm1
2017-02-06 12:45
541
topreal4__1730_22.min1.thm1
2017-02-06 12:45
3.4K
topreal4__1738_21.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1738_21.min1.thm1.tptp
2017-02-06 16:46
1.5K
topreal4__1739_16.min1.thm1
2017-02-06 12:45
3.9K
topreal4__1760_17.min1.thm1
2017-02-06 12:45
898
topreal4__1764_17.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1772_22.min1.thm1
2017-02-06 12:45
503
topreal4__1772_22.min1.thm1.tptp
2017-02-06 16:46
438
topreal4__1780_32.min1.thm1
2017-02-06 12:45
1.9K
topreal4__1787_21.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1791_60.min1.thm1
2017-02-06 12:45
2.8K
topreal4__1792_52.min1.thm1
2017-02-06 12:45
2.4K
topreal4__1793_27.min1.thm1
2017-02-06 12:45
2.9K
topreal4__1794_20.min1.thm1
2017-02-06 12:45
3.7K
topreal4__1796_36.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1796_36.min1.thm1.tptp
2017-02-06 16:46
1.4K
topreal4__1798_33.min1.thm1
2017-02-06 12:45
2.2K
topreal4__1800_18.min1.thm1
2017-02-06 12:45
3.2K
topreal4__1803_17.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1826_33.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1827_31.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1828_19.min1.thm1
2017-02-06 12:45
2.6K
topreal4__1829_34.min1.thm1
2017-02-06 12:45
2.2K
topreal4__1835_33.min1.thm1
2017-02-06 12:45
2.9K
topreal4__1837_19.min1.thm1
2017-02-06 12:45
3.1K
topreal4__1839_23.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1840_21.min1.thm1
2017-02-06 12:45
433
topreal4__1840_21.min1.thm1.tptp
2017-02-06 16:46
356
topreal4__1841_25.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1842_13.min1.thm1
2017-02-06 12:45
541
topreal4__1847_22.min1.thm1
2017-02-06 12:45
3.4K
topreal4__1855_21.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1855_21.min1.thm1.tptp
2017-02-06 16:46
1.5K
topreal4__1856_16.min1.thm1
2017-02-06 12:45
3.9K
topreal4__1877_17.min1.thm1
2017-02-06 12:45
898
topreal4__1881_17.min1.thm1
2017-02-06 12:45
1.4K
topreal4__1889_22.min1.thm1
2017-02-06 12:45
503
topreal4__1889_22.min1.thm1.tptp
2017-02-06 16:46
438
topreal4__1897_32.min1.thm1
2017-02-06 12:45
1.9K
topreal4__1904_21.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1908_60.min1.thm1
2017-02-06 12:45
2.8K
topreal4__1909_52.min1.thm1
2017-02-06 12:45
2.4K
topreal4__1910_27.min1.thm1
2017-02-06 12:45
2.9K
topreal4__1911_20.min1.thm1
2017-02-06 12:45
3.7K
topreal4__1913_36.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1913_36.min1.thm1.tptp
2017-02-06 16:46
1.4K
topreal4__1915_33.min1.thm1
2017-02-06 12:45
2.2K
topreal4__1917_18.min1.thm1
2017-02-06 12:45
3.2K
topreal4__1920_17.min1.thm1
2017-02-06 12:45
3.5K
topreal4__1936_19.min1.thm1
2017-02-06 12:45
521
topreal4__1938_16.min1.thm1
2017-02-06 12:45
540
topreal4__1940_7.min1.thm1
2017-02-06 12:45
712
topreal4__1945_35.min1.thm1
2017-02-06 12:45
907
topreal4__1947_26.min1.thm1
2017-02-06 12:45
1.5K
topreal4__1951_35.min1.thm1
2017-02-06 12:45
453
topreal4__1954_18.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1959_11.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1962_23.min1.thm1
2017-02-06 12:45
1.1K
topreal4__1966_33.min1.thm1
2017-02-06 12:45
1.7K
topreal4__1979_13.min1.thm1
2017-02-06 12:45
893
topreal4__1983_13.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1987_33.min1.thm1
2017-02-06 12:45
899
topreal4__1990_32.min1.thm1
2017-02-06 12:45
1.0K
topreal4__1991_26.min1.thm1
2017-02-06 12:45
1.6K
topreal4__1992_24.min1.thm1
2017-02-06 12:45
2.0K
topreal4__1999_16.min1.thm1
2017-02-06 12:45
1.2K
topreal4__2000_18.min1.thm1
2017-02-06 12:45
1.6K
topreal4__2001_21.min1.thm1
2017-02-06 12:45
2.9K
topreal4__2010_17.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2015_43.min1.thm1
2017-02-06 12:45
625
topreal4__2019_29.min1.thm1
2017-02-06 12:45
447
topreal4__2019_29.min1.thm1.tptp
2017-02-06 16:46
369
topreal4__2021_13.min1.thm1
2017-02-06 12:45
779
topreal4__2026_24.min1.thm1
2017-02-06 12:45
802
topreal4__2038_45.min1.thm1
2017-02-06 12:45
612
topreal4__2038_45.min1.thm1.tptp
2017-02-06 16:46
537
topreal4__2041_20.min1.thm1
2017-02-06 12:45
424
topreal4__2044_59.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2048_59.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2083_35.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2084_37.min1.thm1
2017-02-06 12:45
646
topreal4__2084_37.min1.thm1.tptp
2017-02-06 16:46
568
topreal4__2086_31.min1.thm1
2017-02-06 12:45
881
topreal4__2106_38.min1.thm1
2017-02-06 12:45
651
topreal4__2138_26.min1.thm1
2017-02-06 12:45
444
topreal4__2145_28.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2157_24.min1.thm1
2017-02-06 12:45
332
topreal4__2163_49.min1.thm1
2017-02-06 12:45
617
topreal4__2163_49.min1.thm1.tptp
2017-02-06 16:46
542
topreal4__2166_56.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2166_56.min1.thm1.tptp
2017-02-06 16:46
1.0K
topreal4__2168_68.min1.thm1
2017-02-06 12:45
1.5K
topreal4__2204_26.min1.thm1
2017-02-06 12:45
444
topreal4__2215_28.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2223_24.min1.thm1
2017-02-06 12:45
332
topreal4__2229_49.min1.thm1
2017-02-06 12:45
617
topreal4__2229_49.min1.thm1.tptp
2017-02-06 16:46
542
topreal4__2232_56.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2232_56.min1.thm1.tptp
2017-02-06 16:46
1.0K
topreal4__2234_68.min1.thm1
2017-02-06 12:45
1.5K
topreal4__2242_18.min1.thm1
2017-02-06 12:45
806
topreal4__2245_14.min1.thm1
2017-02-06 12:45
794
topreal4__2265_19.min1.thm1
2017-02-06 12:45
1.2K
topreal4__2267_13.min1.thm1
2017-02-06 12:45
315
topreal4__2272_43.min1.thm1
2017-02-06 12:45
329
topreal4__2274_50.min1.thm1
2017-02-06 12:45
849
topreal4__2279_17.min1.thm1
2017-02-06 12:45
227
topreal4__2287_51.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2289_54.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2296_51.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2298_44.min1.thm1
2017-02-06 12:45
572
topreal4__2299_34.min1.thm1
2017-02-06 12:45
675
topreal4__2300_26.min1.thm1
2017-02-06 12:45
917
topreal4__2303_18.min1.thm1
2017-02-06 12:45
464
topreal4__2306_14.min1.thm1
2017-02-06 12:45
454
topreal4__2309_58.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2324_14.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2326_17.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2329_45.min1.thm1
2017-02-06 12:45
773
topreal4__2334_47.min1.thm1
2017-02-06 12:45
1.9K
topreal4__2339_15.min1.thm1
2017-02-06 12:45
324
topreal4__2339_15.min1.thm1.tptp
2017-02-06 16:46
236
topreal4__2340_32.min1.thm1
2017-02-06 12:45
391
topreal4__2347_19.min1.thm1
2017-02-06 12:45
486
topreal4__2347_19.min1.thm1.tptp
2017-02-06 16:46
420
topreal4__2348_15.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2349_48.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2358_64.min1.thm1
2017-02-06 12:45
1.3K
topreal4__2361_28.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2369_64.min1.thm1
2017-02-06 12:45
1.3K
topreal4__2381_64.min1.thm1
2017-02-06 12:45
1.3K
topreal4__2391_17.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2404_14.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2406_17.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2409_45.min1.thm1
2017-02-06 12:45
773
topreal4__2416_18.min1.thm1
2017-02-06 12:45
556
topreal4__2419_24.min1.thm1
2017-02-06 12:45
472
topreal4__2426_14.min1.thm1
2017-02-06 12:45
472
topreal4__2427_19.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2428_24.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2435_15.min1.thm1
2017-02-06 12:45
325
topreal4__2435_15.min1.thm1.tptp
2017-02-06 16:46
237
topreal4__2436_31.min1.thm1
2017-02-06 12:45
392
topreal4__2443_51.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2445_17.min1.thm1
2017-02-06 12:45
211
topreal4__2458_49.min1.thm1
2017-02-06 12:45
353
topreal4__2459_22.min1.thm1
2017-02-06 12:45
893
topreal4__2469_25.min1.thm1
2017-02-06 12:45
437
topreal4__2469_25.min1.thm1.tptp
2017-02-06 16:46
351
topreal4__2472_18.min1.thm1
2017-02-06 12:45
258
topreal4__2476_17.min1.thm1
2017-02-06 12:45
1.7K
topreal4__2494_16.min1.thm1
2017-02-06 12:45
544
topreal4__2497_21.min1.thm1
2017-02-06 12:45
384
topreal4__2503_12.min1.thm1
2017-02-06 12:45
464
topreal4__2504_16.min1.thm1
2017-02-06 12:45
868
topreal4__2505_21.min1.thm1
2017-02-06 12:45
1.2K
topreal4__2508_14.min1.thm1
2017-02-06 12:45
242
topreal4__2520_13.min1.thm1
2017-02-06 12:45
869
topreal4__2522_43.min1.thm1
2017-02-06 12:45
501
topreal4__2522_43.min1.thm1.tptp
2017-02-06 16:46
426
topreal4__2523_30.min1.thm1
2017-02-06 12:45
1.2K
topreal4__2526_26.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2534_49.min1.thm1
2017-02-06 12:45
694
topreal4__2535_19.min1.thm1
2017-02-06 12:45
701
topreal4__2539_16.min1.thm1
2017-02-06 12:45
778
topreal4__2549_55.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2551_38.min1.thm1
2017-02-06 12:45
685
topreal4__2553_22.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2556_56.min1.thm1
2017-02-06 12:45
751
topreal4__2556_56.min1.thm1.tptp
2017-02-06 16:46
663
topreal4__2562_41.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2563_56.min1.thm1
2017-02-06 12:45
492
topreal4__2564_19.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2566_36.min1.thm1
2017-02-06 12:45
1.2K
topreal4__2569_39.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2570_35.min1.thm1
2017-02-06 12:45
2.1K
topreal4__2573_19.min1.thm1
2017-02-06 12:45
1.6K
topreal4__2574_37.min1.thm1
2017-02-06 12:45
2.1K
topreal4__2577_19.min1.thm1
2017-02-06 12:45
1.6K
topreal4__2578_22.min1.thm1
2017-02-06 12:45
846
topreal4__2579_41.min1.thm1
2017-02-06 12:45
1.8K
topreal4__2581_17.min1.thm1
2017-02-06 12:45
628
topreal4__2592_16.min1.thm1
2017-02-06 12:45
1.0K
topreal4__2606_37.min1.thm1
2017-02-06 12:45
1.1K
topreal4__2607_16.min1.thm1
2017-02-06 12:45
1.6K
topreal4__2609_44.min1.thm1
2017-02-06 12:45
443
topreal4__2609_44.min1.thm1.tptp
2017-02-06 16:46
365
topreal4__2615_17.min1.thm1
2017-02-06 12:45
741
topreal4__2618_17.min1.thm1
2017-02-06 12:45
614
topreal4__2618_17.min1.thm1.tptp
2017-02-06 16:46
555
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80