Index of /~mptp/1147/MPTP2/ilp0/comseq_3
Name
Last modified
Size
Description
Parent Directory
-
comseq_3__47_17.min1.thm1
2017-02-06 12:45
608
comseq_3__50_29.min1.thm1
2017-02-06 12:45
2.8K
comseq_3__63_36.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__64_41.min1.thm1
2017-02-06 12:45
668
comseq_3__64_41.min1.thm1.tptp
2017-02-06 16:48
591
comseq_3__71_48.min1.thm1
2017-02-06 12:45
638
comseq_3__71_48.min1.thm1.tptp
2017-02-06 16:48
561
comseq_3__72_16.min1.thm1
2017-02-06 12:45
428
comseq_3__72_16.min1.thm1.tptp
2017-02-06 16:48
351
comseq_3__73_11.min1.thm1
2017-02-06 12:45
759
comseq_3__88_11.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__89_46.min1.thm1
2017-02-06 12:45
542
comseq_3__89_46.min1.thm1.tptp
2017-02-06 16:48
454
comseq_3__92_44.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__94_48.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__98_14.min1.thm1
2017-02-06 12:45
507
comseq_3__103_11.min1.thm1
2017-02-06 12:45
538
comseq_3__108_14.min1.thm1
2017-02-06 12:45
837
comseq_3__125_59.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__133_14.min1.thm1
2017-02-06 12:45
742
comseq_3__149_26.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__176_22.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__186_11.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__204_44.min1.thm1
2017-02-06 12:45
1.6K
comseq_3__219_16.min1.thm1
2017-02-06 12:45
692
comseq_3__226_19.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__229_14.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__280_43.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__284_56.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__293_51.min1.thm1
2017-02-06 12:45
2.7K
comseq_3__297_17.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__297_17.min1.thm1.tptp
2017-02-06 16:48
1.2K
comseq_3__307_39.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__318_24.min1.thm1
2017-02-06 12:45
2.7K
comseq_3__319_17.min1.thm1
2017-02-06 12:45
2.2K
comseq_3__329_46.min1.thm1
2017-02-06 12:45
390
comseq_3__335_18.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__350_38.min1.thm1
2017-02-06 12:45
783
comseq_3__351_24.min1.thm1
2017-02-06 12:45
618
comseq_3__351_24.min1.thm1.tptp
2017-02-06 16:48
541
comseq_3__353_11.min1.thm1
2017-02-06 12:45
433
comseq_3__353_11.min1.thm1.tptp
2017-02-06 16:48
351
comseq_3__368_14.min1.thm1
2017-02-06 12:45
587
comseq_3__371_37.min1.thm1
2017-02-06 12:45
869
comseq_3__379_28.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__381_16.min1.thm1
2017-02-06 12:45
374
comseq_3__382_22.min1.thm1
2017-02-06 12:45
871
comseq_3__384_8.min1.thm1
2017-02-06 12:45
362
comseq_3__386_26.min1.thm1
2017-02-06 12:45
506
comseq_3__386_26.min1.thm1.tptp
2017-02-06 16:48
429
comseq_3__387_16.min1.thm1
2017-02-06 12:45
510
comseq_3__387_16.min1.thm1.tptp
2017-02-06 16:48
430
comseq_3__392_16.min1.thm1
2017-02-06 12:45
796
comseq_3__405_16.min1.thm1
2017-02-06 12:45
553
comseq_3__418_25.min1.thm1
2017-02-06 12:45
525
comseq_3__418_25.min1.thm1.tptp
2017-02-06 16:48
448
comseq_3__419_15.min1.thm1
2017-02-06 12:45
723
comseq_3__421_19.min1.thm1
2017-02-06 12:45
968
comseq_3__431_16.min1.thm1
2017-02-06 12:45
553
comseq_3__444_25.min1.thm1
2017-02-06 12:45
525
comseq_3__444_25.min1.thm1.tptp
2017-02-06 16:48
448
comseq_3__445_15.min1.thm1
2017-02-06 12:45
723
comseq_3__447_19.min1.thm1
2017-02-06 12:45
968
comseq_3__458_30.min1.thm1
2017-02-06 12:45
907
comseq_3__459_16.min1.thm1
2017-02-06 12:45
861
comseq_3__466_30.min1.thm1
2017-02-06 12:45
907
comseq_3__467_16.min1.thm1
2017-02-06 12:45
861
comseq_3__476_17.min1.thm1
2017-02-06 12:45
693
comseq_3__477_23.min1.thm1
2017-02-06 12:45
933
comseq_3__478_23.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__479_19.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__484_17.min1.thm1
2017-02-06 12:45
693
comseq_3__485_23.min1.thm1
2017-02-06 12:45
933
comseq_3__486_23.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__487_19.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__498_23.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__499_13.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__500_25.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__501_16.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__506_23.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__507_18.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__508_18.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__509_55.min1.thm1
2017-02-06 12:45
2.5K
comseq_3__516_28.min1.thm1
2017-02-06 12:45
2.3K
comseq_3__517_20.min1.thm1
2017-02-06 12:45
2.0K
comseq_3__526_23.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__527_13.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__528_25.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__529_16.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__534_23.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__535_18.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__536_18.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__537_55.min1.thm1
2017-02-06 12:45
2.5K
comseq_3__544_28.min1.thm1
2017-02-06 12:45
2.3K
comseq_3__545_20.min1.thm1
2017-02-06 12:45
2.0K
comseq_3__554_26.min1.thm1
2017-02-06 12:45
521
comseq_3__557_47.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__558_17.min1.thm1
2017-02-06 12:45
2.6K
comseq_3__564_18.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__566_40.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__567_18.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__569_50.min1.thm1
2017-02-06 12:45
2.6K
comseq_3__570_18.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__572_40.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__573_18.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__587_27.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__588_21.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__589_27.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__590_21.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__591_26.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__629_24.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__638_24.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__648_44.min1.thm1
2017-02-06 12:45
619
comseq_3__649_14.min1.thm1
2017-02-06 12:45
744
comseq_3__651_26.min1.thm1
2017-02-06 12:45
914
comseq_3__652_74.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__711_27.min1.thm1
2017-02-06 12:45
2.2K
comseq_3__727_27.min1.thm1
2017-02-06 12:45
2.2K
comseq_3__831_33.min1.thm1
2017-02-06 12:45
1.6K
comseq_3__832_37.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__833_55.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__834_44.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__842_11.min1.thm1
2017-02-06 12:45
912
comseq_3__856_44.min1.thm1
2017-02-06 12:45
758
comseq_3__863_17.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__877_37.min1.thm1
2017-02-06 12:45
681
comseq_3__877_37.min1.thm1.tptp
2017-02-06 16:48
604
comseq_3__884_44.min1.thm1
2017-02-06 12:45
648
comseq_3__884_44.min1.thm1.tptp
2017-02-06 16:48
571
comseq_3__884_60.min1.thm1
2017-02-06 12:45
2.7K
comseq_3__885_11.min1.thm1
2017-02-06 12:45
618
comseq_3__907_16.min1.thm1
2017-02-06 12:45
550
comseq_3__921_16.min1.thm1
2017-02-06 12:45
550
comseq_3__924_19.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__928_8.min1.thm1
2017-02-06 12:45
454
comseq_3__931_19.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__935_8.min1.thm1
2017-02-06 12:45
454
comseq_3__982_16.min1.thm1
2017-02-06 12:45
708
comseq_3__989_8.min1.thm1
2017-02-06 12:45
612
comseq_3__1017_21.min1.thm1
2017-02-06 12:45
2.2K
comseq_3__1021_14.min1.thm1
2017-02-06 12:45
656
comseq_3__1021_14.min1.thm1.tptp
2017-02-06 16:48
575
comseq_3__1043_29.min1.thm1
2017-02-06 12:45
2.3K
comseq_3__1065_12.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1086_16.min1.thm1
2017-02-06 12:45
1.6K
comseq_3__1100_15.min1.thm1
2017-02-06 12:45
380
comseq_3__1152_32.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1153_20.min1.thm1
2017-02-06 12:45
515
comseq_3__1153_20.min1.thm1.tptp
2017-02-06 16:48
438
comseq_3__1154_19.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1155_32.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1156_20.min1.thm1
2017-02-06 12:45
515
comseq_3__1156_20.min1.thm1.tptp
2017-02-06 16:48
438
comseq_3__1157_19.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1175_31.min1.thm1
2017-02-06 12:45
864
comseq_3__1175_31.min1.thm1.tptp
2017-02-06 16:48
807
comseq_3__1182_14.min1.thm1
2017-02-06 12:45
760
comseq_3__1182_14.min1.thm1.tptp
2017-02-06 16:48
700
comseq_3__1199_14.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__1202_42.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1209_17.min1.thm1
2017-02-06 12:45
2.5K
comseq_3__1213_14.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1234_68.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1244_13.min1.thm1
2017-02-06 12:45
968
comseq_3__1245_30.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1246_34.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__1248_8.min1.thm1
2017-02-06 12:45
598
comseq_3__1265_48.min1.thm1
2017-02-06 12:45
871
comseq_3__1268_16.min1.thm1
2017-02-06 12:45
592
comseq_3__1271_23.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1272_30.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__1274_8.min1.thm1
2017-02-06 12:45
496
comseq_3__1302_31.min1.thm1
2017-02-06 12:45
503
comseq_3__1303_51.min1.thm1
2017-02-06 12:45
966
comseq_3__1314_38.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1317_13.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1322_33.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1325_33.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1330_23.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__1332_27.min1.thm1
2017-02-06 12:45
737
comseq_3__1333_18.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__1334_32.min1.thm1
2017-02-06 12:45
737
comseq_3__1340_18.min1.thm1
2017-02-06 12:45
580
comseq_3__1350_38.min1.thm1
2017-02-06 12:45
241
comseq_3__1355_16.min1.thm1
2017-02-06 12:45
391
comseq_3__1362_21.min1.thm1
2017-02-06 12:45
673
comseq_3__1363_45.min1.thm1
2017-02-06 12:45
2.3K
comseq_3__1371_14.min1.thm1
2017-02-06 12:45
383
comseq_3__1378_21.min1.thm1
2017-02-06 12:45
650
comseq_3__1379_31.min1.thm1
2017-02-06 12:45
2.1K
comseq_3__1380_17.min1.thm1
2017-02-06 12:45
598
comseq_3__1380_17.min1.thm1.tptp
2017-02-06 16:48
527
comseq_3__1391_57.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1405_32.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1408_11.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1413_19.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1415_27.min1.thm1
2017-02-06 12:45
721
comseq_3__1416_14.min1.thm1
2017-02-06 12:45
1.4K
comseq_3__1417_32.min1.thm1
2017-02-06 12:45
721
comseq_3__1423_34.min1.thm1
2017-02-06 12:45
1.8K
comseq_3__1446_16.min1.thm1
2017-02-06 12:45
391
comseq_3__1453_25.min1.thm1
2017-02-06 12:45
695
comseq_3__1464_16.min1.thm1
2017-02-06 12:45
391
comseq_3__1469_19.min1.thm1
2017-02-06 12:45
607
comseq_3__1469_19.min1.thm1.tptp
2017-02-06 16:48
536
comseq_3__1474_30.min1.thm1
2017-02-06 12:45
695
comseq_3__1493_14.min1.thm1
2017-02-06 12:45
882
comseq_3__1493_14.min1.thm1.tptp
2017-02-06 16:48
830
comseq_3__1495_14.min1.thm1
2017-02-06 12:45
882
comseq_3__1495_14.min1.thm1.tptp
2017-02-06 16:48
830
comseq_3__1531_38.min1.thm1
2017-02-06 12:45
616
comseq_3__1531_38.min1.thm1.tptp
2017-02-06 16:48
539
comseq_3__1533_53.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1535_18.min1.thm1
2017-02-06 12:45
522
comseq_3__1537_11.min1.thm1
2017-02-06 12:45
1.6K
comseq_3__1539_16.min1.thm1
2017-02-06 12:45
480
comseq_3__1547_37.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__1551_40.min1.thm1
2017-02-06 12:45
552
comseq_3__1551_40.min1.thm1.tptp
2017-02-06 16:48
475
comseq_3__1557_10.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1564_30.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__1565_33.min1.thm1
2017-02-06 12:45
2.1K
comseq_3__1570_28.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1574_30.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__1575_33.min1.thm1
2017-02-06 12:45
2.1K
comseq_3__1580_28.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1583_21.min1.thm1
2017-02-06 12:45
960
comseq_3__1585_23.min1.thm1
2017-02-06 12:45
960
comseq_3__1586_17.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__1598_38.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1600_21.min1.thm1
2017-02-06 12:45
562
comseq_3__1600_21.min1.thm1.tptp
2017-02-06 16:48
485
comseq_3__1605_12.min1.thm1
2017-02-06 12:45
617
comseq_3__1608_33.min1.thm1
2017-02-06 12:45
573
comseq_3__1612_30.min1.thm1
2017-02-06 12:45
840
comseq_3__1613_18.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__1615_24.min1.thm1
2017-02-06 12:45
474
comseq_3__1615_24.min1.thm1.tptp
2017-02-06 16:48
397
comseq_3__1616_10.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1618_17.min1.thm1
2017-02-06 12:45
433
comseq_3__1622_17.min1.thm1
2017-02-06 12:45
657
comseq_3__1633_41.min1.thm1
2017-02-06 12:45
552
comseq_3__1637_21.min1.thm1
2017-02-06 12:45
925
comseq_3__1639_20.min1.thm1
2017-02-06 12:45
2.7K
comseq_3__1640_34.min1.thm1
2017-02-06 12:45
839
comseq_3__1658_18.min1.thm1
2017-02-06 12:45
399
comseq_3__1665_26.min1.thm1
2017-02-06 12:45
773
comseq_3__1680_18.min1.thm1
2017-02-06 12:45
399
comseq_3__1687_26.min1.thm1
2017-02-06 12:45
773
comseq_3__1695_30.min1.thm1
2017-02-06 12:45
855
comseq_3__1710_23.min1.thm1
2017-02-06 12:45
783
comseq_3__1711_22.min1.thm1
2017-02-06 12:45
1.6K
comseq_3__1735_53.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__1742_14.min1.thm1
2017-02-06 12:45
760
comseq_3__1755_31.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__1756_34.min1.thm1
2017-02-06 12:45
2.1K
comseq_3__1758_10.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1763_28.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__1766_56.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__1772_28.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1776_31.min1.thm1
2017-02-06 12:45
2.4K
comseq_3__1777_34.min1.thm1
2017-02-06 12:45
2.1K
comseq_3__1782_56.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__1788_29.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1791_21.min1.thm1
2017-02-06 12:45
959
comseq_3__1793_23.min1.thm1
2017-02-06 12:45
959
comseq_3__1794_17.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__1823_30.min1.thm1
2017-02-06 12:45
3.2K
comseq_3__1828_26.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__1855_46.min1.thm1
2017-02-06 12:45
1.5K
comseq_3__1886_14.min1.thm1
2017-02-06 12:45
740
comseq_3__1886_14.min1.thm1.tptp
2017-02-06 16:48
684
comseq_3__1907_11.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__1917_19.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__1924_14.min1.thm1
2017-02-06 12:45
784
comseq_3__1924_14.min1.thm1.tptp
2017-02-06 16:48
728
comseq_3__1932_41.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1935_25.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__1936_39.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1939_25.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__1940_23.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__1943_18.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__1950_14.min1.thm1
2017-02-06 12:45
513
comseq_3__1961_41.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1964_39.min1.thm1
2017-02-06 12:45
1.7K
comseq_3__1975_14.min1.thm1
2017-02-06 12:45
884
comseq_3__1975_14.min1.thm1.tptp
2017-02-06 16:48
834
comseq_3__1977_14.min1.thm1
2017-02-06 12:45
884
comseq_3__1977_14.min1.thm1.tptp
2017-02-06 16:48
834
comseq_3__1988_69.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__2002_69.min1.thm1
2017-02-06 12:45
1.2K
comseq_3__2013_14.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__2023_56.min1.thm1
2017-02-06 12:45
911
comseq_3__2032_14.min1.thm1
2017-02-06 12:45
1.1K
comseq_3__2042_39.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__2045_39.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__2049_59.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__2064_52.min1.thm1
2017-02-06 12:45
2.5K
comseq_3__2071_14.min1.thm1
2017-02-06 12:45
913
comseq_3__2084_17.min1.thm1
2017-02-06 12:45
850
comseq_3__2093_50.min1.thm1
2017-02-06 12:45
885
comseq_3__2117_31.min1.thm1
2017-02-06 12:45
864
comseq_3__2117_31.min1.thm1.tptp
2017-02-06 16:48
807
comseq_3__2120_17.min1.thm1
2017-02-06 12:45
833
comseq_3__2126_14.min1.thm1
2017-02-06 12:45
805
comseq_3__2126_14.min1.thm1.tptp
2017-02-06 16:48
749
comseq_3__2137_28.min1.thm1
2017-02-06 12:45
635
comseq_3__2157_62.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__2167_14.min1.thm1
2017-02-06 12:45
483
comseq_3__2176_15.min1.thm1
2017-02-06 12:45
376
comseq_3__2195_32.min1.thm1
2017-02-06 12:45
668
comseq_3__2195_32.min1.thm1.tptp
2017-02-06 16:48
591
comseq_3__2202_28.min1.thm1
2017-02-06 12:45
1.9K
comseq_3__2204_25.min1.thm1
2017-02-06 12:45
1.0K
comseq_3__2212_18.min1.thm1
2017-02-06 12:45
1.3K
comseq_3__2232_27.min1.thm1
2017-02-06 12:45
550
comseq_3__2235_28.min1.thm1
2017-02-06 12:45
743
comseq_3__2238_14.min1.thm1
2017-02-06 12:45
424
comseq_3__2249_48.min1.thm1
2017-02-06 12:45
600
comseq_3__2252_28.min1.thm1
2017-02-06 12:45
2.7K
comseq_3__2253_28.min1.thm1
2017-02-06 12:45
2.0K
comseq_3__2258_33.min1.thm1
2017-02-06 12:45
657
comseq_3__2259_34.min1.thm1
2017-02-06 12:45
2.9K
comseq_3__2285_30.min1.thm1
2017-02-06 12:45
864
comseq_3__2285_30.min1.thm1.tptp
2017-02-06 16:48
807
comseq_3__2296_30.min1.thm1
2017-02-06 12:45
864
comseq_3__2296_30.min1.thm1.tptp
2017-02-06 16:48
807
comseq_3__2307_30.min1.thm1
2017-02-06 12:45
864
comseq_3__2307_30.min1.thm1.tptp
2017-02-06 16:48
807
comseq_3__2321_17.min1.thm1
2017-02-06 12:45
741
comseq_3__2330_17.min1.thm1
2017-02-06 12:45
675
comseq_3__2347_60.min1.thm1
2017-02-06 12:45
3.2K
comseq_3__2348_68.min1.thm1
2017-02-06 12:45
4.8K
comseq_3__2350_75.min1.thm1
2017-02-06 12:45
4.8K
comseq_3__2365_55.min1.thm1
2017-02-06 12:45
790
comseq_3__2368_16.min1.thm1
2017-02-06 12:45
428
comseq_3__2368_16.min1.thm1.tptp
2017-02-06 16:48
347
comseq_3__2369_24.min1.thm1
2017-02-06 12:45
2.3K
comseq_3__2370_26.min1.thm1
2017-02-06 12:45
2.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80