Index of /~mptp/1147/MPTP2/ilp0/hilbasis
Name
Last modified
Size
Description
Parent Directory
-
hilbasis__62_25.min1.thm1
2017-02-06 12:45
830
hilbasis__63_49.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__64_30.min1.thm1
2017-02-06 12:45
400
hilbasis__64_30.min1.thm1.tptp
2017-02-06 16:47
326
hilbasis__65_44.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__66_24.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__69_30.min1.thm1
2017-02-06 12:45
307
hilbasis__70_44.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__73_24.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__75_21.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__81_13.min1.thm1
2017-02-06 12:45
246
hilbasis__84_31.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__85_21.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__96_18.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__101_25.min1.thm1
2017-02-06 12:45
887
hilbasis__102_21.min1.thm1
2017-02-06 12:45
710
hilbasis__111_31.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__113_25.min1.thm1
2017-02-06 12:45
754
hilbasis__114_36.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__117_33.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__137_10.min1.thm1
2017-02-06 12:45
567
hilbasis__138_13.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__139_53.min1.thm1
2017-02-06 12:45
602
hilbasis__155_18.min1.thm1
2017-02-06 12:45
548
hilbasis__155_18.min1.thm1.tptp
2017-02-06 16:47
482
hilbasis__156_19.min1.thm1
2017-02-06 12:45
548
hilbasis__156_19.min1.thm1.tptp
2017-02-06 16:47
482
hilbasis__157_13.min1.thm1
2017-02-06 12:45
276
hilbasis__160_24.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__161_19.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__162_26.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__166_41.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__181_15.min1.thm1
2017-02-06 12:45
544
hilbasis__181_15.min1.thm1.tptp
2017-02-06 16:47
478
hilbasis__183_26.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__184_15.min1.thm1
2017-02-06 12:45
544
hilbasis__184_15.min1.thm1.tptp
2017-02-06 16:47
478
hilbasis__186_26.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__187_22.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__200_23.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__209_25.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__210_26.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__213_25.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__214_16.min1.thm1
2017-02-06 12:45
873
hilbasis__216_24.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__217_16.min1.thm1
2017-02-06 12:45
873
hilbasis__229_16.min1.thm1
2017-02-06 12:45
548
hilbasis__229_16.min1.thm1.tptp
2017-02-06 16:47
482
hilbasis__230_39.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__231_24.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__232_20.min1.thm1
2017-02-06 12:45
628
hilbasis__232_20.min1.thm1.tptp
2017-02-06 16:47
562
hilbasis__233_18.min1.thm1
2017-02-06 12:45
291
hilbasis__234_15.min1.thm1
2017-02-06 12:45
430
hilbasis__235_38.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__239_23.min1.thm1
2017-02-06 12:45
579
hilbasis__240_27.min1.thm1
2017-02-06 12:45
347
hilbasis__241_13.min1.thm1
2017-02-06 12:45
398
hilbasis__241_13.min1.thm1.tptp
2017-02-06 16:47
328
hilbasis__247_37.min1.thm1
2017-02-06 12:45
887
hilbasis__251_21.min1.thm1
2017-02-06 12:45
357
hilbasis__251_21.min1.thm1.tptp
2017-02-06 16:47
292
hilbasis__258_15.min1.thm1
2017-02-06 12:45
271
hilbasis__260_26.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__261_40.min1.thm1
2017-02-06 12:45
846
hilbasis__263_13.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__273_20.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__278_25.min1.thm1
2017-02-06 12:45
532
hilbasis__280_22.min1.thm1
2017-02-06 12:45
393
hilbasis__280_22.min1.thm1.tptp
2017-02-06 16:47
310
hilbasis__281_15.min1.thm1
2017-02-06 12:45
254
hilbasis__284_21.min1.thm1
2017-02-06 12:45
361
hilbasis__284_21.min1.thm1.tptp
2017-02-06 16:47
296
hilbasis__285_28.min1.thm1
2017-02-06 12:45
512
hilbasis__289_22.min1.thm1
2017-02-06 12:45
542
hilbasis__290_31.min1.thm1
2017-02-06 12:45
642
hilbasis__297_19.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__309_23.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__311_20.min1.thm1
2017-02-06 12:45
789
hilbasis__312_16.min1.thm1
2017-02-06 12:45
503
hilbasis__312_16.min1.thm1.tptp
2017-02-06 16:47
441
hilbasis__316_28.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__324_43.min1.thm1
2017-02-06 12:45
921
hilbasis__342_35.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__346_25.min1.thm1
2017-02-06 12:45
750
hilbasis__349_17.min1.thm1
2017-02-06 12:45
746
hilbasis__371_57.min1.thm1
2017-02-06 12:45
2.5K
hilbasis__372_17.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__375_23.min1.thm1
2017-02-06 12:45
644
hilbasis__377_27.min1.thm1
2017-02-06 12:45
297
hilbasis__381_17.min1.thm1
2017-02-06 12:45
640
hilbasis__399_11.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__409_24.min1.thm1
2017-02-06 12:45
691
hilbasis__410_11.min1.thm1
2017-02-06 12:45
722
hilbasis__421_38.min1.thm1
2017-02-06 12:45
903
hilbasis__422_28.min1.thm1
2017-02-06 12:45
561
hilbasis__424_29.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__426_21.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__427_13.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__444_43.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__473_31.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__477_25.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__525_42.min1.thm1
2017-02-06 12:45
320
hilbasis__525_42.min1.thm1.tptp
2017-02-06 16:47
242
hilbasis__527_15.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__536_17.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__537_17.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__551_14.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__552_26.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__565_10.min1.thm1
2017-02-06 12:45
238
hilbasis__566_49.min1.thm1
2017-02-06 12:45
534
hilbasis__574_58.min1.thm1
2017-02-06 12:45
525
hilbasis__575_47.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__584_35.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__590_18.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__593_28.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__594_31.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__605_18.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__607_19.min1.thm1
2017-02-06 12:45
682
hilbasis__625_17.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__639_17.min1.thm1
2017-02-06 12:45
396
hilbasis__641_19.min1.thm1
2017-02-06 12:45
569
hilbasis__648_17.min1.thm1
2017-02-06 12:45
396
hilbasis__662_16.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__673_15.min1.thm1
2017-02-06 12:45
215
hilbasis__681_26.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__682_19.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__685_32.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__704_15.min1.thm1
2017-02-06 12:45
209
hilbasis__721_19.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__733_17.min1.thm1
2017-02-06 12:45
2.9K
hilbasis__763_17.min1.thm1
2017-02-06 12:45
644
hilbasis__770_18.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__777_19.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__780_40.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__786_22.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__788_15.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__797_19.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__803_29.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__839_15.min1.thm1
2017-02-06 12:45
636
hilbasis__845_22.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__851_18.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__860_19.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__867_22.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__870_19.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__879_19.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__885_29.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__887_25.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__905_15.min1.thm1
2017-02-06 12:45
380
hilbasis__913_36.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__921_36.min1.thm1
2017-02-06 12:45
916
hilbasis__922_23.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__923_22.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__925_19.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__926_15.min1.thm1
2017-02-06 12:45
325
hilbasis__930_31.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__944_27.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__968_36.min1.thm1
2017-02-06 12:45
356
hilbasis__968_36.min1.thm1.tptp
2017-02-06 16:47
278
hilbasis__969_44.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__970_36.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__974_36.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__975_17.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__976_28.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__977_31.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__988_36.min1.thm1
2017-02-06 12:45
356
hilbasis__988_36.min1.thm1.tptp
2017-02-06 16:47
278
hilbasis__989_45.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__990_36.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__994_36.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__995_18.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__996_28.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__997_31.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1014_39.min1.thm1
2017-02-06 12:45
512
hilbasis__1015_18.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1016_44.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1017_33.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1018_25.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1035_20.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1038_44.min1.thm1
2017-02-06 12:45
2.7K
hilbasis__1041_17.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__1042_14.min1.thm1
2017-02-06 12:45
444
hilbasis__1068_35.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1081_15.min1.thm1
2017-02-06 12:45
289
hilbasis__1087_24.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__1089_24.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__1097_19.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1101_31.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1102_31.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__1113_35.min1.thm1
2017-02-06 12:45
2.9K
hilbasis__1125_53.min1.thm1
2017-02-06 12:45
2.9K
hilbasis__1126_19.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1127_15.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1128_35.min1.thm1
2017-02-06 12:45
911
hilbasis__1129_19.min1.thm1
2017-02-06 12:45
2.7K
hilbasis__1143_27.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1145_31.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1146_26.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1148_22.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1149_26.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1151_52.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1155_16.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1156_30.min1.thm1
2017-02-06 12:45
2.4K
hilbasis__1163_36.min1.thm1
2017-02-06 12:45
356
hilbasis__1163_36.min1.thm1.tptp
2017-02-06 16:47
278
hilbasis__1169_36.min1.thm1
2017-02-06 12:45
357
hilbasis__1169_36.min1.thm1.tptp
2017-02-06 16:47
279
hilbasis__1178_19.min1.thm1
2017-02-06 12:45
3.0K
hilbasis__1183_30.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__1184_20.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1186_23.min1.thm1
2017-02-06 12:45
623
hilbasis__1188_29.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__1190_32.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1191_17.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1207_31.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__1215_28.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1217_22.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1218_27.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1220_29.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1222_16.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1225_60.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1230_28.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1231_34.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1232_34.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1251_24.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1256_28.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1257_33.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1262_17.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1278_27.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1280_31.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1282_28.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1284_22.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1286_31.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1288_22.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__1289_16.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1291_33.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1292_26.min1.thm1
2017-02-06 12:45
2.5K
hilbasis__1296_17.min1.thm1
2017-02-06 12:45
965
hilbasis__1318_16.min1.thm1
2017-02-06 12:45
693
hilbasis__1319_37.min1.thm1
2017-02-06 12:45
364
hilbasis__1319_37.min1.thm1.tptp
2017-02-06 16:47
286
hilbasis__1320_63.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1321_29.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1322_49.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1328_23.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1330_23.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1331_27.min1.thm1
2017-02-06 12:45
479
hilbasis__1331_27.min1.thm1.tptp
2017-02-06 16:47
414
hilbasis__1332_45.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1339_59.min1.thm1
2017-02-06 12:45
917
hilbasis__1347_21.min1.thm1
2017-02-06 12:45
800
hilbasis__1354_34.min1.thm1
2017-02-06 12:45
836
hilbasis__1369_21.min1.thm1
2017-02-06 12:45
800
hilbasis__1375_35.min1.thm1
2017-02-06 12:45
903
hilbasis__1376_25.min1.thm1
2017-02-06 12:45
800
hilbasis__1380_24.min1.thm1
2017-02-06 12:45
350
hilbasis__1380_24.min1.thm1.tptp
2017-02-06 16:47
285
hilbasis__1381_42.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__1391_16.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1394_45.min1.thm1
2017-02-06 12:45
2.4K
hilbasis__1395_26.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1396_26.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1400_56.min1.thm1
2017-02-06 12:45
2.7K
hilbasis__1410_21.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__1411_21.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1413_32.min1.thm1
2017-02-06 12:45
625
hilbasis__1422_29.min1.thm1
2017-02-06 12:45
2.8K
hilbasis__1424_28.min1.thm1
2017-02-06 12:45
3.1K
hilbasis__1436_31.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__1437_17.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__1462_14.min1.thm1
2017-02-06 12:45
633
hilbasis__1471_18.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__1471_18.min1.thm1.tptp
2017-02-06 16:47
1.2K
hilbasis__1474_54.min1.thm1
2017-02-06 12:45
880
hilbasis__1487_15.min1.thm1
2017-02-06 12:45
297
hilbasis__1491_37.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__1495_28.min1.thm1
2017-02-06 12:45
2.5K
hilbasis__1500_26.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1501_29.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1502_51.min1.thm1
2017-02-06 12:45
777
hilbasis__1503_26.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1504_29.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1505_51.min1.thm1
2017-02-06 12:45
779
hilbasis__1510_28.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1511_49.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1513_23.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__1515_27.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1521_29.min1.thm1
2017-02-06 12:45
2.4K
hilbasis__1526_16.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1537_26.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1538_18.min1.thm1
2017-02-06 12:45
2.3K
hilbasis__1544_17.min1.thm1
2017-02-06 12:45
3.5K
hilbasis__1586_22.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1588_35.min1.thm1
2017-02-06 12:45
743
hilbasis__1602_17.min1.thm1
2017-02-06 12:45
331
hilbasis__1608_23.min1.thm1
2017-02-06 12:45
697
hilbasis__1613_30.min1.thm1
2017-02-06 12:45
676
hilbasis__1618_29.min1.thm1
2017-02-06 12:45
603
hilbasis__1622_42.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__1624_51.min1.thm1
2017-02-06 12:45
620
hilbasis__1624_51.min1.thm1.tptp
2017-02-06 16:47
540
hilbasis__1625_63.min1.thm1
2017-02-06 12:45
443
hilbasis__1625_63.min1.thm1.tptp
2017-02-06 16:47
363
hilbasis__1630_20.min1.thm1
2017-02-06 12:45
819
hilbasis__1636_58.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1637_23.min1.thm1
2017-02-06 12:45
596
hilbasis__1637_23.min1.thm1.tptp
2017-02-06 16:47
527
hilbasis__1638_60.min1.thm1
2017-02-06 12:45
841
hilbasis__1643_23.min1.thm1
2017-02-06 12:45
916
hilbasis__1651_59.min1.thm1
2017-02-06 12:45
2.7K
hilbasis__1670_28.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1671_43.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1680_18.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1688_47.min1.thm1
2017-02-06 12:45
738
hilbasis__1689_40.min1.thm1
2017-02-06 12:45
738
hilbasis__1693_22.min1.thm1
2017-02-06 12:45
851
hilbasis__1698_18.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1726_32.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__1733_43.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1770_53.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1772_18.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1802_42.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1807_18.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1839_53.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1845_18.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1869_23.min1.thm1
2017-02-06 12:45
519
hilbasis__1876_20.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1877_24.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__1878_47.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1879_37.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__1880_50.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1894_44.min1.thm1
2017-02-06 12:45
869
hilbasis__1894_44.min1.thm1.tptp
2017-02-06 16:47
789
hilbasis__1906_50.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1916_20.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1920_57.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__1920_57.min1.thm1.tptp
2017-02-06 16:47
1.0K
hilbasis__1922_40.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__1950_25.min1.thm1
2017-02-06 12:45
652
hilbasis__1952_15.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1962_61.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__1970_20.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__1976_40.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__1984_40.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__1991_40.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__1995_40.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__2015_37.min1.thm1
2017-02-06 12:45
588
hilbasis__2021_19.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__2026_45.min1.thm1
2017-02-06 12:45
950
hilbasis__2026_45.min1.thm1.tptp
2017-02-06 16:47
870
hilbasis__2038_21.min1.thm1
2017-02-06 12:45
287
hilbasis__2042_25.min1.thm1
2017-02-06 12:45
261
hilbasis__2053_27.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__2057_33.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__2058_34.min1.thm1
2017-02-06 12:45
727
hilbasis__2059_34.min1.thm1
2017-02-06 12:45
749
hilbasis__2061_26.min1.thm1
2017-02-06 12:45
817
hilbasis__2066_32.min1.thm1
2017-02-06 12:45
620
hilbasis__2086_24.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2087_30.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__2098_44.min1.thm1
2017-02-06 12:45
543
hilbasis__2119_21.min1.thm1
2017-02-06 12:45
541
hilbasis__2119_21.min1.thm1.tptp
2017-02-06 16:47
483
hilbasis__2122_20.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2124_31.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__2127_26.min1.thm1
2017-02-06 12:45
612
hilbasis__2127_26.min1.thm1.tptp
2017-02-06 16:47
554
hilbasis__2135_40.min1.thm1
2017-02-06 12:45
3.4K
hilbasis__2147_33.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__2150_32.min1.thm1
2017-02-06 12:45
722
hilbasis__2150_32.min1.thm1.tptp
2017-02-06 16:47
640
hilbasis__2153_63.min1.thm1
2017-02-06 12:45
704
hilbasis__2166_21.min1.thm1
2017-02-06 12:45
533
hilbasis__2166_21.min1.thm1.tptp
2017-02-06 16:47
475
hilbasis__2169_41.min1.thm1
2017-02-06 12:45
848
hilbasis__2169_41.min1.thm1.tptp
2017-02-06 16:47
766
hilbasis__2173_27.min1.thm1
2017-02-06 12:45
587
hilbasis__2173_27.min1.thm1.tptp
2017-02-06 16:47
529
hilbasis__2180_24.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__2181_29.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2187_41.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2208_52.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2212_17.min1.thm1
2017-02-06 12:45
429
hilbasis__2217_31.min1.thm1
2017-02-06 12:45
471
hilbasis__2217_31.min1.thm1.tptp
2017-02-06 16:47
394
hilbasis__2220_26.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__2228_22.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2232_21.min1.thm1
2017-02-06 12:45
271
hilbasis__2236_30.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__2247_37.min1.thm1
2017-02-06 12:45
564
hilbasis__2272_50.min1.thm1
2017-02-06 12:45
344
hilbasis__2272_50.min1.thm1.tptp
2017-02-06 16:47
266
hilbasis__2278_44.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2329_46.min1.thm1
2017-02-06 12:45
689
hilbasis__2330_39.min1.thm1
2017-02-06 12:45
689
hilbasis__2332_19.min1.thm1
2017-02-06 12:45
567
hilbasis__2338_32.min1.thm1
2017-02-06 12:45
611
hilbasis__2341_48.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2344_41.min1.thm1
2017-02-06 12:45
774
hilbasis__2348_38.min1.thm1
2017-02-06 12:45
501
hilbasis__2353_64.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__2355_16.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__2361_48.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__2363_61.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2368_32.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2375_63.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__2380_27.min1.thm1
2017-02-06 12:45
548
hilbasis__2384_30.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__2385_52.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2389_36.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2394_35.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2396_47.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2398_23.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2403_38.min1.thm1
2017-02-06 12:45
717
hilbasis__2405_17.min1.thm1
2017-02-06 12:45
359
hilbasis__2411_48.min1.thm1
2017-02-06 12:45
508
hilbasis__2416_55.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2442_50.min1.thm1
2017-02-06 12:45
508
hilbasis__2449_55.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2452_38.min1.thm1
2017-02-06 12:45
3.7K
hilbasis__2476_42.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2507_47.min1.thm1
2017-02-06 12:45
464
hilbasis__2507_47.min1.thm1.tptp
2017-02-06 16:47
386
hilbasis__2513_46.min1.thm1
2017-02-06 12:45
344
hilbasis__2513_46.min1.thm1.tptp
2017-02-06 16:47
266
hilbasis__2519_42.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2549_49.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2551_14.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2579_46.min1.thm1
2017-02-06 12:45
448
hilbasis__2579_46.min1.thm1.tptp
2017-02-06 16:47
370
hilbasis__2612_17.min1.thm1
2017-02-06 12:45
447
hilbasis__2615_50.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2619_57.min1.thm1
2017-02-06 12:45
605
hilbasis__2619_57.min1.thm1.tptp
2017-02-06 16:47
515
hilbasis__2626_33.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2629_54.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2631_28.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__2632_29.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2633_48.min1.thm1
2017-02-06 12:45
726
hilbasis__2648_62.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__2655_30.min1.thm1
2017-02-06 12:45
918
hilbasis__2657_24.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__2685_18.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2697_14.min1.thm1
2017-02-06 12:45
1.4K
hilbasis__2699_19.min1.thm1
2017-02-06 12:45
404
hilbasis__2700_23.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2712_25.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__2721_26.min1.thm1
2017-02-06 12:45
637
hilbasis__2733_49.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2738_35.min1.thm1
2017-02-06 12:45
598
hilbasis__2760_20.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2770_31.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__2786_29.min1.thm1
2017-02-06 12:45
2.5K
hilbasis__2787_33.min1.thm1
2017-02-06 12:45
3.0K
hilbasis__2796_22.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2800_19.min1.thm1
2017-02-06 12:45
404
hilbasis__2801_23.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__2807_17.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2813_33.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__2826_34.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2827_27.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2829_20.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__2838_27.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__2874_23.min1.thm1
2017-02-06 12:45
2.1K
hilbasis__2896_23.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__2915_43.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__2916_42.min1.thm1
2017-02-06 12:45
563
hilbasis__2916_42.min1.thm1.tptp
2017-02-06 16:47
475
hilbasis__2920_78.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__2922_54.min1.thm1
2017-02-06 12:45
566
hilbasis__2923_15.min1.thm1
2017-02-06 12:45
182
hilbasis__2924_23.min1.thm1
2017-02-06 12:45
959
hilbasis__2946_21.min1.thm1
2017-02-06 12:45
310
hilbasis__2958_25.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__2963_32.min1.thm1
2017-02-06 12:45
908
hilbasis__2982_36.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__2982_36.min1.thm1.tptp
2017-02-06 16:47
1.1K
hilbasis__2985_33.min1.thm1
2017-02-06 12:45
2.2K
hilbasis__2991_36.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__2991_36.min1.thm1.tptp
2017-02-06 16:47
1.1K
hilbasis__2992_36.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__2998_38.min1.thm1
2017-02-06 12:45
2.6K
hilbasis__3007_35.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__3020_29.min1.thm1
2017-02-06 12:45
456
hilbasis__3032_33.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__3054_28.min1.thm1
2017-02-06 12:45
1.1K
hilbasis__3054_28.min1.thm1.tptp
2017-02-06 16:47
1.1K
hilbasis__3056_31.min1.thm1
2017-02-06 12:45
500
hilbasis__3058_31.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__3060_26.min1.thm1
2017-02-06 12:45
372
hilbasis__3062_24.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__3063_24.min1.thm1
2017-02-06 12:45
2.5K
hilbasis__3075_24.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__3075_24.min1.thm1.tptp
2017-02-06 16:47
1.9K
hilbasis__3105_30.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__3116_25.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__3123_16.min1.thm1
2017-02-06 12:45
248
hilbasis__3147_73.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3147_73.min1.thm1.tptp
2017-02-06 16:47
1.1K
hilbasis__3158_14.min1.thm1
2017-02-06 12:45
1.6K
hilbasis__3161_58.min1.thm1
2017-02-06 12:45
2.0K
hilbasis__3162_24.min1.thm1
2017-02-06 12:45
1.0K
hilbasis__3163_19.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__3167_58.min1.thm1
2017-02-06 12:45
1.8K
hilbasis__3168_35.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3169_19.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__3178_20.min1.thm1
2017-02-06 12:45
837
hilbasis__3178_20.min1.thm1.tptp
2017-02-06 16:47
756
hilbasis__3196_62.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__3197_12.min1.thm1
2017-02-06 12:45
260
hilbasis__3198_66.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3201_15.min1.thm1
2017-02-06 12:45
430
hilbasis__3202_10.min1.thm1
2017-02-06 12:45
577
hilbasis__3203_43.min1.thm1
2017-02-06 12:45
924
hilbasis__3208_59.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3212_50.min1.thm1
2017-02-06 12:45
796
hilbasis__3217_15.min1.thm1
2017-02-06 12:45
360
hilbasis__3225_18.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__3228_19.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__3231_8.min1.thm1
2017-02-06 12:45
1.7K
hilbasis__3232_16.min1.thm1
2017-02-06 12:45
898
hilbasis__3235_14.min1.thm1
2017-02-06 12:45
1.3K
hilbasis__3236_36.min1.thm1
2017-02-06 12:45
316
hilbasis__3236_36.min1.thm1.tptp
2017-02-06 16:47
238
hilbasis__3238_57.min1.thm1
2017-02-06 12:45
917
hilbasis__3239_45.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3241_11.min1.thm1
2017-02-06 12:45
532
hilbasis__3242_44.min1.thm1
2017-02-06 12:45
938
hilbasis__3246_50.min1.thm1
2017-02-06 12:45
1.9K
hilbasis__3248_23.min1.thm1
2017-02-06 12:45
2.3K
hilbasis__3259_43.min1.thm1
2017-02-06 12:45
1.5K
hilbasis__3263_24.min1.thm1
2017-02-06 12:45
1.2K
hilbasis__3278_10.min1.thm1
2017-02-06 12:45
912
hilbasis__3279_18.min1.thm1
2017-02-06 12:45
806
hilbasis__3282_12.min1.thm1
2017-02-06 12:45
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80