Index of /~mptp/1147/MPTP2/ilp0/ranknull
Name
Last modified
Size
Description
Parent Directory
-
ranknull__58_19.min1.thm1
2017-02-06 12:46
722
ranknull__64_19.min1.thm1
2017-02-06 12:46
543
ranknull__65_19.min1.thm1
2017-02-06 12:46
1.4K
ranknull__68_20.min1.thm1
2017-02-06 12:46
545
ranknull__75_41.min1.thm1
2017-02-06 12:46
1.0K
ranknull__76_30.min1.thm1
2017-02-06 12:46
539
ranknull__78_31.min1.thm1
2017-02-06 12:46
1.3K
ranknull__79_20.min1.thm1
2017-02-06 12:46
1.2K
ranknull__81_31.min1.thm1
2017-02-06 12:46
683
ranknull__82_68.min1.thm1
2017-02-06 12:46
1.3K
ranknull__87_17.min1.thm1
2017-02-06 12:46
1.1K
ranknull__100_18.min1.thm1
2017-02-06 12:46
533
ranknull__101_17.min1.thm1
2017-02-06 12:46
849
ranknull__114_13.min1.thm1
2017-02-06 12:46
451
ranknull__114_13.min1.thm1.tptp
2017-02-06 16:47
397
ranknull__115_39.min1.thm1
2017-02-06 12:46
481
ranknull__117_18.min1.thm1
2017-02-06 12:46
437
ranknull__119_17.min1.thm1
2017-02-06 12:46
831
ranknull__119_17.min1.thm1.tptp
2017-02-06 16:47
805
ranknull__131_22.min1.thm1
2017-02-06 12:46
1.7K
ranknull__132_33.min1.thm1
2017-02-06 12:46
286
ranknull__134_15.min1.thm1
2017-02-06 12:46
381
ranknull__134_15.min1.thm1.tptp
2017-02-06 16:47
295
ranknull__157_21.min1.thm1
2017-02-06 12:46
2.4K
ranknull__170_13.min1.thm1
2017-02-06 12:46
1.6K
ranknull__180_35.min1.thm1
2017-02-06 12:46
330
ranknull__180_35.min1.thm1.tptp
2017-02-06 16:47
263
ranknull__181_19.min1.thm1
2017-02-06 12:46
2.0K
ranknull__184_17.min1.thm1
2017-02-06 12:46
1.7K
ranknull__193_18.min1.thm1
2017-02-06 12:46
655
ranknull__194_38.min1.thm1
2017-02-06 12:46
655
ranknull__195_51.min1.thm1
2017-02-06 12:46
1.9K
ranknull__200_19.min1.thm1
2017-02-06 12:46
439
ranknull__201_16.min1.thm1
2017-02-06 12:46
2.0K
ranknull__204_39.min1.thm1
2017-02-06 12:46
1.5K
ranknull__205_37.min1.thm1
2017-02-06 12:46
1.7K
ranknull__214_21.min1.thm1
2017-02-06 12:46
1.8K
ranknull__216_22.min1.thm1
2017-02-06 12:46
2.1K
ranknull__232_37.min1.thm1
2017-02-06 12:46
1.7K
ranknull__233_37.min1.thm1
2017-02-06 12:46
1.5K
ranknull__242_20.min1.thm1
2017-02-06 12:46
1.8K
ranknull__244_22.min1.thm1
2017-02-06 12:46
2.1K
ranknull__259_17.min1.thm1
2017-02-06 12:46
2.4K
ranknull__292_22.min1.thm1
2017-02-06 12:46
2.1K
ranknull__294_13.min1.thm1
2017-02-06 12:46
3.5K
ranknull__295_14.min1.thm1
2017-02-06 12:46
444
ranknull__311_18.min1.thm1
2017-02-06 12:46
1.9K
ranknull__313_36.min1.thm1
2017-02-06 12:46
1.8K
ranknull__319_18.min1.thm1
2017-02-06 12:46
503
ranknull__324_23.min1.thm1
2017-02-06 12:46
710
ranknull__326_17.min1.thm1
2017-02-06 12:46
1.9K
ranknull__330_75.min1.thm1
2017-02-06 12:46
618
ranknull__331_20.min1.thm1
2017-02-06 12:46
2.8K
ranknull__337_35.min1.thm1
2017-02-06 12:46
1.0K
ranknull__339_17.min1.thm1
2017-02-06 12:46
2.0K
ranknull__344_27.min1.thm1
2017-02-06 12:46
2.1K
ranknull__346_18.min1.thm1
2017-02-06 12:46
2.5K
ranknull__359_20.min1.thm1
2017-02-06 12:46
4.1K
ranknull__360_59.min1.thm1
2017-02-06 12:46
3.8K
ranknull__362_16.min1.thm1
2017-02-06 12:46
483
ranknull__366_23.min1.thm1
2017-02-06 12:46
3.9K
ranknull__367_17.min1.thm1
2017-02-06 12:46
4.1K
ranknull__375_38.min1.thm1
2017-02-06 12:46
1.4K
ranknull__376_19.min1.thm1
2017-02-06 12:46
800
ranknull__387_43.min1.thm1
2017-02-06 12:46
2.7K
ranknull__398_18.min1.thm1
2017-02-06 12:46
3.6K
ranknull__399_39.min1.thm1
2017-02-06 12:46
1.6K
ranknull__401_22.min1.thm1
2017-02-06 12:46
2.5K
ranknull__407_17.min1.thm1
2017-02-06 12:46
1.8K
ranknull__408_26.min1.thm1
2017-02-06 12:46
2.7K
ranknull__417_16.min1.thm1
2017-02-06 12:46
765
ranknull__419_16.min1.thm1
2017-02-06 12:46
765
ranknull__427_16.min1.thm1
2017-02-06 12:46
765
ranknull__433_20.min1.thm1
2017-02-06 12:46
2.8K
ranknull__434_19.min1.thm1
2017-02-06 12:46
2.4K
ranknull__436_28.min1.thm1
2017-02-06 12:46
1.9K
ranknull__438_18.min1.thm1
2017-02-06 12:46
2.5K
ranknull__446_22.min1.thm1
2017-02-06 12:46
2.1K
ranknull__448_13.min1.thm1
2017-02-06 12:46
3.5K
ranknull__456_26.min1.thm1
2017-02-06 12:46
3.9K
ranknull__468_43.min1.thm1
2017-02-06 12:46
4.1K
ranknull__469_28.min1.thm1
2017-02-06 12:46
3.9K
ranknull__474_35.min1.thm1
2017-02-06 12:46
1.6K
ranknull__476_18.min1.thm1
2017-02-06 12:46
2.5K
ranknull__482_19.min1.thm1
2017-02-06 12:46
2.5K
ranknull__484_26.min1.thm1
2017-02-06 12:46
3.9K
ranknull__485_19.min1.thm1
2017-02-06 12:46
4.1K
ranknull__487_17.min1.thm1
2017-02-06 12:46
1.0K
ranknull__487_17.min1.thm1.tptp
2017-02-06 16:47
937
ranknull__494_37.min1.thm1
2017-02-06 12:46
3.4K
ranknull__495_15.min1.thm1
2017-02-06 12:46
4.3K
ranknull__502_46.min1.thm1
2017-02-06 12:46
3.3K
ranknull__508_17.min1.thm1
2017-02-06 12:46
4.2K
ranknull__511_18.min1.thm1
2017-02-06 12:46
1.6K
ranknull__512_35.min1.thm1
2017-02-06 12:46
4.1K
ranknull__513_35.min1.thm1
2017-02-06 12:46
3.4K
ranknull__514_16.min1.thm1
2017-02-06 12:46
3.2K
ranknull__525_17.min1.thm1
2017-02-06 12:46
3.5K
ranknull__545_13.min1.thm1
2017-02-06 12:46
1.8K
ranknull__548_30.min1.thm1
2017-02-06 12:46
2.1K
ranknull__549_17.min1.thm1
2017-02-06 12:46
2.1K
ranknull__550_11.min1.thm1
2017-02-06 12:46
1.8K
ranknull__563_19.min1.thm1
2017-02-06 12:46
2.8K
ranknull__568_18.min1.thm1
2017-02-06 12:46
2.0K
ranknull__569_19.min1.thm1
2017-02-06 12:46
872
ranknull__571_14.min1.thm1
2017-02-06 12:46
1.6K
ranknull__586_35.min1.thm1
2017-02-06 12:46
490
ranknull__588_19.min1.thm1
2017-02-06 12:46
3.1K
ranknull__590_42.min1.thm1
2017-02-06 12:46
3.0K
ranknull__606_11.min1.thm1
2017-02-06 12:46
255
ranknull__609_22.min1.thm1
2017-02-06 12:46
3.0K
ranknull__610_49.min1.thm1
2017-02-06 12:46
3.4K
ranknull__611_42.min1.thm1
2017-02-06 12:46
1.8K
ranknull__616_48.min1.thm1
2017-02-06 12:46
572
ranknull__635_34.min1.thm1
2017-02-06 12:46
301
ranknull__643_36.min1.thm1
2017-02-06 12:46
1.2K
ranknull__645_36.min1.thm1
2017-02-06 12:46
1.2K
ranknull__664_35.min1.thm1
2017-02-06 12:46
401
ranknull__670_30.min1.thm1
2017-02-06 12:46
2.3K
ranknull__678_16.min1.thm1
2017-02-06 12:46
2.1K
ranknull__681_21.min1.thm1
2017-02-06 12:46
2.1K
ranknull__685_21.min1.thm1
2017-02-06 12:46
2.1K
ranknull__690_30.min1.thm1
2017-02-06 12:46
2.3K
ranknull__711_13.min1.thm1
2017-02-06 12:46
203
ranknull__715_21.min1.thm1
2017-02-06 12:46
1.6K
ranknull__721_21.min1.thm1
2017-02-06 12:46
1.3K
ranknull__731_18.min1.thm1
2017-02-06 12:46
1.9K
ranknull__733_16.min1.thm1
2017-02-06 12:46
3.8K
ranknull__735_19.min1.thm1
2017-02-06 12:46
2.6K
ranknull__745_13.min1.thm1
2017-02-06 12:46
203
ranknull__749_21.min1.thm1
2017-02-06 12:46
1.3K
ranknull__753_23.min1.thm1
2017-02-06 12:46
4.2K
ranknull__755_23.min1.thm1
2017-02-06 12:46
2.7K
ranknull__756_23.min1.thm1
2017-02-06 12:46
2.9K
ranknull__760_19.min1.thm1
2017-02-06 12:46
2.0K
ranknull__762_31.min1.thm1
2017-02-06 12:46
1.0K
ranknull__770_11.min1.thm1
2017-02-06 12:46
583
ranknull__791_39.min1.thm1
2017-02-06 12:46
1.8K
ranknull__793_15.min1.thm1
2017-02-06 12:46
1.9K
ranknull__794_19.min1.thm1
2017-02-06 12:46
1.8K
ranknull__814_19.min1.thm1
2017-02-06 12:46
3.3K
ranknull__815_29.min1.thm1
2017-02-06 12:46
2.3K
ranknull__823_37.min1.thm1
2017-02-06 12:46
3.5K
ranknull__838_23.min1.thm1
2017-02-06 12:46
2.0K
ranknull__851_20.min1.thm1
2017-02-06 12:46
1.8K
ranknull__853_38.min1.thm1
2017-02-06 12:46
1.7K
ranknull__870_22.min1.thm1
2017-02-06 12:46
2.5K
ranknull__877_45.min1.thm1
2017-02-06 12:46
2.0K
ranknull__886_37.min1.thm1
2017-02-06 12:46
1.8K
ranknull__887_19.min1.thm1
2017-02-06 12:46
2.1K
ranknull__891_21.min1.thm1
2017-02-06 12:46
2.5K
ranknull__892_57.min1.thm1
2017-02-06 12:46
1.1K
ranknull__896_18.min1.thm1
2017-02-06 12:46
352
ranknull__896_18.min1.thm1.tptp
2017-02-06 16:47
266
ranknull__898_19.min1.thm1
2017-02-06 12:46
2.4K
ranknull__912_32.min1.thm1
2017-02-06 12:46
3.5K
ranknull__918_13.min1.thm1
2017-02-06 12:46
315
ranknull__927_34.min1.thm1
2017-02-06 12:46
2.8K
ranknull__939_24.min1.thm1
2017-02-06 12:46
1.8K
ranknull__956_14.min1.thm1
2017-02-06 12:46
686
ranknull__966_17.min1.thm1
2017-02-06 12:46
2.5K
ranknull__972_14.min1.thm1
2017-02-06 12:46
540
ranknull__987_23.min1.thm1
2017-02-06 12:46
1.1K
ranknull__990_14.min1.thm1
2017-02-06 12:46
558
ranknull__993_26.min1.thm1
2017-02-06 12:46
693
ranknull__999_19.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1003_22.min1.thm1
2017-02-06 12:46
693
ranknull__1009_19.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1013_21.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1015_25.min1.thm1
2017-02-06 12:46
849
ranknull__1016_19.min1.thm1
2017-02-06 12:46
696
ranknull__1019_17.min1.thm1
2017-02-06 12:46
826
ranknull__1022_15.min1.thm1
2017-02-06 12:46
1.4K
ranknull__1031_14.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1039_19.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1040_19.min1.thm1
2017-02-06 12:46
1.4K
ranknull__1059_23.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1060_33.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1094_39.min1.thm1
2017-02-06 12:46
1.6K
ranknull__1096_17.min1.thm1
2017-02-06 12:46
812
ranknull__1096_17.min1.thm1.tptp
2017-02-06 16:47
737
ranknull__1108_16.min1.thm1
2017-02-06 12:46
638
ranknull__1109_69.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1116_18.min1.thm1
2017-02-06 12:46
767
ranknull__1128_20.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1130_38.min1.thm1
2017-02-06 12:46
1.7K
ranknull__1132_43.min1.thm1
2017-02-06 12:46
3.1K
ranknull__1139_18.min1.thm1
2017-02-06 12:46
2.4K
ranknull__1148_21.min1.thm1
2017-02-06 12:46
579
ranknull__1151_29.min1.thm1
2017-02-06 12:46
1.3K
ranknull__1160_26.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1161_52.min1.thm1
2017-02-06 12:46
1.6K
ranknull__1165_40.min1.thm1
2017-02-06 12:46
1.1K
ranknull__1173_25.min1.thm1
2017-02-06 12:46
781
ranknull__1173_25.min1.thm1.tptp
2017-02-06 16:47
727
ranknull__1174_23.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1175_39.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1177_23.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1182_17.min1.thm1
2017-02-06 12:46
2.2K
ranknull__1190_18.min1.thm1
2017-02-06 12:46
883
ranknull__1192_16.min1.thm1
2017-02-06 12:46
852
ranknull__1204_33.min1.thm1
2017-02-06 12:46
942
ranknull__1204_33.min1.thm1.tptp
2017-02-06 16:47
865
ranknull__1220_21.min1.thm1
2017-02-06 12:46
3.9K
ranknull__1228_17.min1.thm1
2017-02-06 12:46
561
ranknull__1231_25.min1.thm1
2017-02-06 12:46
1.3K
ranknull__1240_22.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1241_48.min1.thm1
2017-02-06 12:46
1.5K
ranknull__1245_36.min1.thm1
2017-02-06 12:46
1.1K
ranknull__1253_21.min1.thm1
2017-02-06 12:46
757
ranknull__1253_21.min1.thm1.tptp
2017-02-06 16:47
703
ranknull__1257_14.min1.thm1
2017-02-06 12:46
3.2K
ranknull__1266_50.min1.thm1
2017-02-06 12:46
3.1K
ranknull__1281_16.min1.thm1
2017-02-06 12:46
2.3K
ranknull__1284_39.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1285_27.min1.thm1
2017-02-06 12:46
2.8K
ranknull__1289_19.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1294_39.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1295_27.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1299_19.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1311_29.min1.thm1
2017-02-06 12:46
1.7K
ranknull__1329_34.min1.thm1
2017-02-06 12:46
2.3K
ranknull__1333_18.min1.thm1
2017-02-06 12:46
1.9K
ranknull__1334_25.min1.thm1
2017-02-06 12:46
3.0K
ranknull__1337_32.min1.thm1
2017-02-06 12:46
2.8K
ranknull__1341_44.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1343_34.min1.thm1
2017-02-06 12:46
1.2K
ranknull__1345_25.min1.thm1
2017-02-06 12:46
642
ranknull__1348_27.min1.thm1
2017-02-06 12:46
2.2K
ranknull__1349_25.min1.thm1
2017-02-06 12:46
2.7K
ranknull__1350_21.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1361_39.min1.thm1
2017-02-06 12:46
1.6K
ranknull__1362_19.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1364_18.min1.thm1
2017-02-06 12:46
1.9K
ranknull__1378_23.min1.thm1
2017-02-06 12:46
1.1K
ranknull__1396_19.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1405_13.min1.thm1
2017-02-06 12:46
1.9K
ranknull__1409_16.min1.thm1
2017-02-06 12:46
3.4K
ranknull__1410_20.min1.thm1
2017-02-06 12:46
1.3K
ranknull__1411_29.min1.thm1
2017-02-06 12:46
2.4K
ranknull__1420_12.min1.thm1
2017-02-06 12:46
1.9K
ranknull__1421_34.min1.thm1
2017-02-06 12:46
4.0K
ranknull__1436_20.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1437_17.min1.thm1
2017-02-06 12:46
1.7K
ranknull__1446_21.min1.thm1
2017-02-06 12:46
3.8K
ranknull__1449_11.min1.thm1
2017-02-06 12:46
395
ranknull__1453_15.min1.thm1
2017-02-06 12:46
896
ranknull__1458_30.min1.thm1
2017-02-06 12:46
4.2K
ranknull__1474_11.min1.thm1
2017-02-06 12:46
189
ranknull__1480_19.min1.thm1
2017-02-06 12:46
5.5K
ranknull__1494_37.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1498_18.min1.thm1
2017-02-06 12:46
2.2K
ranknull__1506_22.min1.thm1
2017-02-06 12:46
793
ranknull__1506_22.min1.thm1.tptp
2017-02-06 16:47
739
ranknull__1518_15.min1.thm1
2017-02-06 12:46
380
ranknull__1521_37.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1524_37.min1.thm1
2017-02-06 12:46
506
ranknull__1527_21.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1528_21.min1.thm1
2017-02-06 12:46
2.3K
ranknull__1532_22.min1.thm1
2017-02-06 12:46
755
ranknull__1540_19.min1.thm1
2017-02-06 12:46
5.5K
ranknull__1559_24.min1.thm1
2017-02-06 12:46
1.2K
ranknull__1562_40.min1.thm1
2017-02-06 12:46
931
ranknull__1566_15.min1.thm1
2017-02-06 12:46
380
ranknull__1568_25.min1.thm1
2017-02-06 12:46
2.7K
ranknull__1570_17.min1.thm1
2017-02-06 12:46
1.4K
ranknull__1572_18.min1.thm1
2017-02-06 12:46
1.2K
ranknull__1573_44.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1575_49.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1584_19.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1605_35.min1.thm1
2017-02-06 12:46
1.3K
ranknull__1609_38.min1.thm1
2017-02-06 12:46
3.1K
ranknull__1610_17.min1.thm1
2017-02-06 12:46
1.1K
ranknull__1622_23.min1.thm1
2017-02-06 12:46
2.7K
ranknull__1630_28.min1.thm1
2017-02-06 12:46
3.3K
ranknull__1635_17.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1651_10.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1652_14.min1.thm1
2017-02-06 12:46
584
ranknull__1670_24.min1.thm1
2017-02-06 12:46
770
ranknull__1670_24.min1.thm1.tptp
2017-02-06 16:47
699
ranknull__1672_26.min1.thm1
2017-02-06 12:46
2.7K
ranknull__1694_58.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1695_20.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1697_38.min1.thm1
2017-02-06 12:46
1.7K
ranknull__1707_58.min1.thm1
2017-02-06 12:46
2.4K
ranknull__1708_41.min1.thm1
2017-02-06 12:46
540
ranknull__1712_25.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1717_32.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1720_25.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1724_25.min1.thm1
2017-02-06 12:46
1.2K
ranknull__1726_23.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1742_19.min1.thm1
2017-02-06 12:46
918
ranknull__1743_31.min1.thm1
2017-02-06 12:46
1.0K
ranknull__1755_21.min1.thm1
2017-02-06 12:46
929
ranknull__1761_17.min1.thm1
2017-02-06 12:46
2.2K
ranknull__1768_37.min1.thm1
2017-02-06 12:46
1.8K
ranknull__1772_21.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1777_18.min1.thm1
2017-02-06 12:46
352
ranknull__1777_18.min1.thm1.tptp
2017-02-06 16:47
266
ranknull__1779_19.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1793_17.min1.thm1
2017-02-06 12:46
2.5K
ranknull__1807_11.min1.thm1
2017-02-06 12:46
309
ranknull__1818_35.min1.thm1
2017-02-06 12:46
1.3K
ranknull__1824_36.min1.thm1
2017-02-06 12:46
7.0K
ranknull__1826_13.min1.thm1
2017-02-06 12:46
201
ranknull__1836_36.min1.thm1
2017-02-06 12:46
826
ranknull__1837_44.min1.thm1
2017-02-06 12:46
5.9K
ranknull__1853_39.min1.thm1
2017-02-06 12:46
5.2K
ranknull__1859_16.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1877_11.min1.thm1
2017-02-06 12:46
4.0K
ranknull__1880_11.min1.thm1
2017-02-06 12:46
4.0K
ranknull__1893_39.min1.thm1
2017-02-06 12:46
2.2K
ranknull__1894_48.min1.thm1
2017-02-06 12:46
863
ranknull__1895_36.min1.thm1
2017-02-06 12:46
750
ranknull__1896_17.min1.thm1
2017-02-06 12:46
1.2K
ranknull__1897_35.min1.thm1
2017-02-06 12:46
518
ranknull__1898_39.min1.thm1
2017-02-06 12:46
3.1K
ranknull__1899_45.min1.thm1
2017-02-06 12:46
3.5K
ranknull__1909_55.min1.thm1
2017-02-06 12:46
518
ranknull__1909_55.min1.thm1.tptp
2017-02-06 16:47
432
ranknull__1915_11.min1.thm1
2017-02-06 12:46
916
ranknull__1921_20.min1.thm1
2017-02-06 12:46
2.1K
ranknull__1924_44.min1.thm1
2017-02-06 12:46
2.9K
ranknull__1928_33.min1.thm1
2017-02-06 12:46
2.4K
ranknull__1929_30.min1.thm1
2017-02-06 12:46
2.8K
ranknull__1933_23.min1.thm1
2017-02-06 12:46
742
ranknull__1936_30.min1.thm1
2017-02-06 12:46
3.4K
ranknull__1939_17.min1.thm1
2017-02-06 12:46
2.6K
ranknull__1944_23.min1.thm1
2017-02-06 12:46
818
ranknull__1952_36.min1.thm1
2017-02-06 12:46
409
ranknull__1952_36.min1.thm1.tptp
2017-02-06 16:47
323
ranknull__1955_16.min1.thm1
2017-02-06 12:46
3.3K
ranknull__1969_18.min1.thm1
2017-02-06 12:46
3.2K
ranknull__1982_23.min1.thm1
2017-02-06 12:46
2.0K
ranknull__1990_19.min1.thm1
2017-02-06 12:46
2.3K
ranknull__1992_14.min1.thm1
2017-02-06 12:46
586
ranknull__2001_23.min1.thm1
2017-02-06 12:46
2.9K
ranknull__2003_21.min1.thm1
2017-02-06 12:46
3.6K
ranknull__2004_33.min1.thm1
2017-02-06 12:46
3.0K
ranknull__2006_14.min1.thm1
2017-02-06 12:46
402
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80