Index of /~mptp/1147/MPTP2/ilp0/cfdiff_1
Name
Last modified
Size
Description
Parent Directory
-
cfdiff_1__63_35.min1.thm1
2017-02-06 12:46
928
cfdiff_1__82_25.min1.thm1
2017-02-06 12:46
542
cfdiff_1__82_25.min1.thm1.tptp
2017-02-06 16:48
465
cfdiff_1__83_15.min1.thm1
2017-02-06 12:46
542
cfdiff_1__83_15.min1.thm1.tptp
2017-02-06 16:48
465
cfdiff_1__98_14.min1.thm1
2017-02-06 12:46
591
cfdiff_1__102_20.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__104_25.min1.thm1
2017-02-06 12:46
3.5K
cfdiff_1__105_22.min1.thm1
2017-02-06 12:46
947
cfdiff_1__106_20.min1.thm1
2017-02-06 12:46
2.7K
cfdiff_1__107_25.min1.thm1
2017-02-06 12:46
3.9K
cfdiff_1__115_14.min1.thm1
2017-02-06 12:46
871
cfdiff_1__129_14.min1.thm1
2017-02-06 12:46
599
cfdiff_1__133_22.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__135_25.min1.thm1
2017-02-06 12:46
3.5K
cfdiff_1__136_22.min1.thm1
2017-02-06 12:46
957
cfdiff_1__137_21.min1.thm1
2017-02-06 12:46
2.7K
cfdiff_1__138_27.min1.thm1
2017-02-06 12:46
3.9K
cfdiff_1__153_18.min1.thm1
2017-02-06 12:46
2.5K
cfdiff_1__157_16.min1.thm1
2017-02-06 12:46
895
cfdiff_1__158_19.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__167_15.min1.thm1
2017-02-06 12:46
736
cfdiff_1__173_14.min1.thm1
2017-02-06 12:46
792
cfdiff_1__176_46.min1.thm1
2017-02-06 12:46
733
cfdiff_1__183_15.min1.thm1
2017-02-06 12:46
586
cfdiff_1__197_22.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__198_27.min1.thm1
2017-02-06 12:46
491
cfdiff_1__222_61.min1.thm1
2017-02-06 12:46
734
cfdiff_1__229_19.min1.thm1
2017-02-06 12:46
590
cfdiff_1__233_24.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__235_34.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__268_50.min1.thm1
2017-02-06 12:46
619
cfdiff_1__268_50.min1.thm1.tptp
2017-02-06 16:48
572
cfdiff_1__269_28.min1.thm1
2017-02-06 12:46
425
cfdiff_1__269_28.min1.thm1.tptp
2017-02-06 16:48
361
cfdiff_1__271_22.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__272_23.min1.thm1
2017-02-06 12:46
793
cfdiff_1__275_22.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__276_16.min1.thm1
2017-02-06 12:46
862
cfdiff_1__299_24.min1.thm1
2017-02-06 12:46
682
cfdiff_1__299_24.min1.thm1.tptp
2017-02-06 16:48
605
cfdiff_1__300_23.min1.thm1
2017-02-06 12:46
646
cfdiff_1__300_23.min1.thm1.tptp
2017-02-06 16:48
569
cfdiff_1__315_24.min1.thm1
2017-02-06 12:46
684
cfdiff_1__315_24.min1.thm1.tptp
2017-02-06 16:48
607
cfdiff_1__316_23.min1.thm1
2017-02-06 12:46
648
cfdiff_1__316_23.min1.thm1.tptp
2017-02-06 16:48
571
cfdiff_1__333_21.min1.thm1
2017-02-06 12:46
568
cfdiff_1__333_21.min1.thm1.tptp
2017-02-06 16:48
491
cfdiff_1__369_13.min1.thm1
2017-02-06 12:46
632
cfdiff_1__389_20.min1.thm1
2017-02-06 12:46
739
cfdiff_1__389_20.min1.thm1.tptp
2017-02-06 16:48
666
cfdiff_1__402_13.min1.thm1
2017-02-06 12:46
958
cfdiff_1__407_13.min1.thm1
2017-02-06 12:46
629
cfdiff_1__426_13.min1.thm1
2017-02-06 12:46
781
cfdiff_1__437_58.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__456_29.min1.thm1
2017-02-06 12:46
2.7K
cfdiff_1__463_19.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__467_16.min1.thm1
2017-02-06 12:46
2.3K
cfdiff_1__485_24.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__490_19.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__493_13.min1.thm1
2017-02-06 12:46
793
cfdiff_1__498_13.min1.thm1
2017-02-06 12:46
629
cfdiff_1__503_11.min1.thm1
2017-02-06 12:46
1.9K
cfdiff_1__519_50.min1.thm1
2017-02-06 12:46
613
cfdiff_1__520_21.min1.thm1
2017-02-06 12:46
411
cfdiff_1__520_21.min1.thm1.tptp
2017-02-06 16:48
338
cfdiff_1__537_48.min1.thm1
2017-02-06 12:46
732
cfdiff_1__538_19.min1.thm1
2017-02-06 12:46
405
cfdiff_1__538_19.min1.thm1.tptp
2017-02-06 16:48
332
cfdiff_1__540_14.min1.thm1
2017-02-06 12:46
303
cfdiff_1__540_14.min1.thm1.tptp
2017-02-06 16:48
222
cfdiff_1__553_17.min1.thm1
2017-02-06 12:46
805
cfdiff_1__560_20.min1.thm1
2017-02-06 12:46
306
cfdiff_1__560_20.min1.thm1.tptp
2017-02-06 16:48
225
cfdiff_1__564_51.min1.thm1
2017-02-06 12:46
752
cfdiff_1__567_51.min1.thm1
2017-02-06 12:46
752
cfdiff_1__570_14.min1.thm1
2017-02-06 12:46
743
cfdiff_1__579_20.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__582_15.min1.thm1
2017-02-06 12:46
614
cfdiff_1__591_20.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__594_10.min1.thm1
2017-02-06 12:46
848
cfdiff_1__628_19.min1.thm1
2017-02-06 12:46
476
cfdiff_1__628_19.min1.thm1.tptp
2017-02-06 16:48
399
cfdiff_1__629_10.min1.thm1
2017-02-06 12:46
855
cfdiff_1__659_37.min1.thm1
2017-02-06 12:46
748
cfdiff_1__661_26.min1.thm1
2017-02-06 12:46
655
cfdiff_1__664_51.min1.thm1
2017-02-06 12:46
772
cfdiff_1__670_18.min1.thm1
2017-02-06 12:46
3.1K
cfdiff_1__674_23.min1.thm1
2017-02-06 12:46
685
cfdiff_1__674_23.min1.thm1.tptp
2017-02-06 16:48
608
cfdiff_1__679_17.min1.thm1
2017-02-06 12:46
915
cfdiff_1__680_24.min1.thm1
2017-02-06 12:46
1.8K
cfdiff_1__686_40.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__688_20.min1.thm1
2017-02-06 12:46
3.1K
cfdiff_1__696_17.min1.thm1
2017-02-06 12:46
553
cfdiff_1__702_51.min1.thm1
2017-02-06 12:46
517
cfdiff_1__707_55.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__710_25.min1.thm1
2017-02-06 12:46
801
cfdiff_1__712_21.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__713_24.min1.thm1
2017-02-06 12:46
795
cfdiff_1__715_20.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__717_17.min1.thm1
2017-02-06 12:46
396
cfdiff_1__719_18.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__726_12.min1.thm1
2017-02-06 12:46
802
cfdiff_1__731_12.min1.thm1
2017-02-06 12:46
802
cfdiff_1__769_20.min1.thm1
2017-02-06 12:46
656
cfdiff_1__770_17.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__795_19.min1.thm1
2017-02-06 12:46
466
cfdiff_1__802_20.min1.thm1
2017-02-06 12:46
306
cfdiff_1__802_20.min1.thm1.tptp
2017-02-06 16:48
225
cfdiff_1__808_22.min1.thm1
2017-02-06 12:46
426
cfdiff_1__808_22.min1.thm1.tptp
2017-02-06 16:48
343
cfdiff_1__811_17.min1.thm1
2017-02-06 12:46
448
cfdiff_1__811_17.min1.thm1.tptp
2017-02-06 16:48
382
cfdiff_1__815_41.min1.thm1
2017-02-06 12:46
395
cfdiff_1__818_19.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__830_17.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__831_38.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__832_18.min1.thm1
2017-02-06 12:46
620
cfdiff_1__832_18.min1.thm1.tptp
2017-02-06 16:48
543
cfdiff_1__833_19.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__840_14.min1.thm1
2017-02-06 12:46
603
cfdiff_1__844_22.min1.thm1
2017-02-06 12:46
1.8K
cfdiff_1__846_26.min1.thm1
2017-02-06 12:46
3.2K
cfdiff_1__847_58.min1.thm1
2017-02-06 12:46
630
cfdiff_1__847_58.min1.thm1.tptp
2017-02-06 16:48
553
cfdiff_1__851_17.min1.thm1
2017-02-06 12:46
3.0K
cfdiff_1__852_26.min1.thm1
2017-02-06 12:46
4.3K
cfdiff_1__871_13.min1.thm1
2017-02-06 12:46
677
cfdiff_1__874_49.min1.thm1
2017-02-06 12:46
752
cfdiff_1__876_16.min1.thm1
2017-02-06 12:46
485
cfdiff_1__888_21.min1.thm1
2017-02-06 12:46
472
cfdiff_1__892_23.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__894_13.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__901_10.min1.thm1
2017-02-06 12:46
811
cfdiff_1__902_21.min1.thm1
2017-02-06 12:46
858
cfdiff_1__904_22.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__905_26.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__913_46.min1.thm1
2017-02-06 12:46
669
cfdiff_1__913_46.min1.thm1.tptp
2017-02-06 16:48
662
cfdiff_1__920_40.min1.thm1
2017-02-06 12:46
265
cfdiff_1__926_19.min1.thm1
2017-02-06 12:46
314
cfdiff_1__926_19.min1.thm1.tptp
2017-02-06 16:48
233
cfdiff_1__930_51.min1.thm1
2017-02-06 12:46
958
cfdiff_1__932_23.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__949_17.min1.thm1
2017-02-06 12:46
928
cfdiff_1__957_40.min1.thm1
2017-02-06 12:46
265
cfdiff_1__963_46.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__964_50.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__970_23.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__980_31.min1.thm1
2017-02-06 12:46
2.2K
cfdiff_1__983_20.min1.thm1
2017-02-06 12:46
750
cfdiff_1__983_20.min1.thm1.tptp
2017-02-06 16:48
673
cfdiff_1__984_21.min1.thm1
2017-02-06 12:46
783
cfdiff_1__985_28.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__986_24.min1.thm1
2017-02-06 12:46
915
cfdiff_1__997_24.min1.thm1
2017-02-06 12:46
717
cfdiff_1__998_21.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1003_22.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1004_16.min1.thm1
2017-02-06 12:46
1.8K
cfdiff_1__1005_18.min1.thm1
2017-02-06 12:46
258
cfdiff_1__1008_13.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1010_32.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1013_17.min1.thm1
2017-02-06 12:46
909
cfdiff_1__1023_16.min1.thm1
2017-02-06 12:46
358
cfdiff_1__1023_16.min1.thm1.tptp
2017-02-06 16:48
277
cfdiff_1__1039_17.min1.thm1
2017-02-06 12:46
660
cfdiff_1__1041_28.min1.thm1
2017-02-06 12:46
673
cfdiff_1__1045_39.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__1051_26.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1052_29.min1.thm1
2017-02-06 12:46
899
cfdiff_1__1053_23.min1.thm1
2017-02-06 12:46
631
cfdiff_1__1060_52.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1063_22.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1069_20.min1.thm1
2017-02-06 12:46
290
cfdiff_1__1075_15.min1.thm1
2017-02-06 12:46
739
cfdiff_1__1076_30.min1.thm1
2017-02-06 12:46
454
cfdiff_1__1082_15.min1.thm1
2017-02-06 12:46
792
cfdiff_1__1083_15.min1.thm1
2017-02-06 12:46
423
cfdiff_1__1085_16.min1.thm1
2017-02-06 12:46
472
cfdiff_1__1086_24.min1.thm1
2017-02-06 12:46
878
cfdiff_1__1088_22.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__1091_16.min1.thm1
2017-02-06 12:46
434
cfdiff_1__1107_17.min1.thm1
2017-02-06 12:46
656
cfdiff_1__1113_28.min1.thm1
2017-02-06 12:46
671
cfdiff_1__1120_26.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1121_25.min1.thm1
2017-02-06 12:46
842
cfdiff_1__1122_19.min1.thm1
2017-02-06 12:46
656
cfdiff_1__1124_17.min1.thm1
2017-02-06 12:46
860
cfdiff_1__1143_31.min1.thm1
2017-02-06 12:46
590
cfdiff_1__1146_25.min1.thm1
2017-02-06 12:46
835
cfdiff_1__1149_17.min1.thm1
2017-02-06 12:46
435
cfdiff_1__1149_17.min1.thm1.tptp
2017-02-06 16:48
371
cfdiff_1__1150_39.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1151_22.min1.thm1
2017-02-06 12:46
435
cfdiff_1__1151_22.min1.thm1.tptp
2017-02-06 16:48
371
cfdiff_1__1152_22.min1.thm1
2017-02-06 12:46
491
cfdiff_1__1157_19.min1.thm1
2017-02-06 12:46
713
cfdiff_1__1158_29.min1.thm1
2017-02-06 12:46
769
cfdiff_1__1159_31.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1161_16.min1.thm1
2017-02-06 12:46
460
cfdiff_1__1175_30.min1.thm1
2017-02-06 12:46
732
cfdiff_1__1176_26.min1.thm1
2017-02-06 12:46
903
cfdiff_1__1187_22.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1192_34.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1214_24.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1215_25.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__1216_23.min1.thm1
2017-02-06 12:46
423
cfdiff_1__1216_23.min1.thm1.tptp
2017-02-06 16:48
358
cfdiff_1__1223_13.min1.thm1
2017-02-06 12:46
751
cfdiff_1__1224_18.min1.thm1
2017-02-06 12:46
477
cfdiff_1__1237_32.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__1242_33.min1.thm1
2017-02-06 12:46
457
cfdiff_1__1246_15.min1.thm1
2017-02-06 12:46
944
cfdiff_1__1256_33.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1280_16.min1.thm1
2017-02-06 12:46
910
cfdiff_1__1282_21.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1283_25.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__1284_19.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__1362_15.min1.thm1
2017-02-06 12:46
626
cfdiff_1__1363_18.min1.thm1
2017-02-06 12:46
469
cfdiff_1__1369_51.min1.thm1
2017-02-06 12:46
753
cfdiff_1__1373_16.min1.thm1
2017-02-06 12:46
808
cfdiff_1__1378_18.min1.thm1
2017-02-06 12:46
457
cfdiff_1__1379_18.min1.thm1
2017-02-06 12:46
815
cfdiff_1__1380_19.min1.thm1
2017-02-06 12:46
797
cfdiff_1__1384_18.min1.thm1
2017-02-06 12:46
386
cfdiff_1__1384_18.min1.thm1.tptp
2017-02-06 16:48
321
cfdiff_1__1386_18.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1387_23.min1.thm1
2017-02-06 12:46
572
cfdiff_1__1387_23.min1.thm1.tptp
2017-02-06 16:48
499
cfdiff_1__1389_22.min1.thm1
2017-02-06 12:46
1.8K
cfdiff_1__1390_16.min1.thm1
2017-02-06 12:46
908
cfdiff_1__1392_11.min1.thm1
2017-02-06 12:46
694
cfdiff_1__1402_21.min1.thm1
2017-02-06 12:46
638
cfdiff_1__1409_17.min1.thm1
2017-02-06 12:46
2.8K
cfdiff_1__1417_25.min1.thm1
2017-02-06 12:46
754
cfdiff_1__1426_18.min1.thm1
2017-02-06 12:46
652
cfdiff_1__1427_18.min1.thm1
2017-02-06 12:46
815
cfdiff_1__1428_19.min1.thm1
2017-02-06 12:46
797
cfdiff_1__1447_70.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1447_70.min1.thm1.tptp
2017-02-06 16:48
1.3K
cfdiff_1__1449_34.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__1453_20.min1.thm1
2017-02-06 12:46
462
cfdiff_1__1453_20.min1.thm1.tptp
2017-02-06 16:48
385
cfdiff_1__1454_10.min1.thm1
2017-02-06 12:46
845
cfdiff_1__1468_18.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__1483_21.min1.thm1
2017-02-06 12:46
799
cfdiff_1__1496_19.min1.thm1
2017-02-06 12:46
797
cfdiff_1__1503_18.min1.thm1
2017-02-06 12:46
749
cfdiff_1__1504_19.min1.thm1
2017-02-06 12:46
797
cfdiff_1__1512_39.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1512_39.min1.thm1.tptp
2017-02-06 16:48
1.5K
cfdiff_1__1553_36.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__1554_38.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__1557_15.min1.thm1
2017-02-06 12:46
792
cfdiff_1__1558_19.min1.thm1
2017-02-06 12:46
473
cfdiff_1__1559_16.min1.thm1
2017-02-06 12:46
473
cfdiff_1__1560_35.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__1565_15.min1.thm1
2017-02-06 12:46
438
cfdiff_1__1605_36.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1606_38.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1609_15.min1.thm1
2017-02-06 12:46
792
cfdiff_1__1610_19.min1.thm1
2017-02-06 12:46
473
cfdiff_1__1611_16.min1.thm1
2017-02-06 12:46
473
cfdiff_1__1612_35.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__1617_15.min1.thm1
2017-02-06 12:46
438
cfdiff_1__1648_37.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__1649_39.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__1653_15.min1.thm1
2017-02-06 12:46
435
cfdiff_1__1659_37.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__1695_40.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1696_40.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1697_40.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1698_40.min1.thm1
2017-02-06 12:46
2.1K
cfdiff_1__1702_40.min1.thm1
2017-02-06 12:46
2.8K
cfdiff_1__1703_40.min1.thm1
2017-02-06 12:46
2.8K
cfdiff_1__1704_38.min1.thm1
2017-02-06 12:46
2.8K
cfdiff_1__1707_15.min1.thm1
2017-02-06 12:46
792
cfdiff_1__1708_19.min1.thm1
2017-02-06 12:46
473
cfdiff_1__1709_16.min1.thm1
2017-02-06 12:46
474
cfdiff_1__1710_34.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__1715_15.min1.thm1
2017-02-06 12:46
438
cfdiff_1__1734_21.min1.thm1
2017-02-06 12:46
2.5K
cfdiff_1__1779_58.min1.thm1
2017-02-06 12:46
615
cfdiff_1__1780_22.min1.thm1
2017-02-06 12:46
224
cfdiff_1__1783_22.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1788_34.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1807_23.min1.thm1
2017-02-06 12:46
622
cfdiff_1__1808_19.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__1809_21.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1816_14.min1.thm1
2017-02-06 12:46
751
cfdiff_1__1822_18.min1.thm1
2017-02-06 12:46
653
cfdiff_1__1826_17.min1.thm1
2017-02-06 12:46
477
cfdiff_1__1830_32.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__1835_15.min1.thm1
2017-02-06 12:46
741
cfdiff_1__1836_33.min1.thm1
2017-02-06 12:46
457
cfdiff_1__1840_15.min1.thm1
2017-02-06 12:46
944
cfdiff_1__1843_15.min1.thm1
2017-02-06 12:46
792
cfdiff_1__1844_19.min1.thm1
2017-02-06 12:46
474
cfdiff_1__1849_19.min1.thm1
2017-02-06 12:46
752
cfdiff_1__1851_16.min1.thm1
2017-02-06 12:46
636
cfdiff_1__1855_33.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1872_67.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1882_60.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1883_45.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__1886_14.min1.thm1
2017-02-06 12:46
716
cfdiff_1__1901_67.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1911_60.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1915_14.min1.thm1
2017-02-06 12:46
720
cfdiff_1__1929_37.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__1930_42.min1.thm1
2017-02-06 12:46
972
cfdiff_1__1933_35.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__1939_31.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__1940_45.min1.thm1
2017-02-06 12:46
1.9K
cfdiff_1__1941_23.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__1943_14.min1.thm1
2017-02-06 12:46
664
cfdiff_1__1958_67.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1959_44.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__1962_37.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__1968_60.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1969_49.min1.thm1
2017-02-06 12:46
2.0K
cfdiff_1__1970_45.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__1972_14.min1.thm1
2017-02-06 12:46
942
cfdiff_1__1980_22.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__1985_34.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__2003_45.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__2009_13.min1.thm1
2017-02-06 12:46
751
cfdiff_1__2010_17.min1.thm1
2017-02-06 12:46
477
cfdiff_1__2011_22.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__2016_27.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__2017_36.min1.thm1
2017-02-06 12:46
806
cfdiff_1__2018_19.min1.thm1
2017-02-06 12:46
712
cfdiff_1__2025_32.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__2030_14.min1.thm1
2017-02-06 12:46
741
cfdiff_1__2031_18.min1.thm1
2017-02-06 12:46
471
cfdiff_1__2032_22.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__2037_25.min1.thm1
2017-02-06 12:46
1.4K
cfdiff_1__2038_34.min1.thm1
2017-02-06 12:46
790
cfdiff_1__2039_17.min1.thm1
2017-02-06 12:46
701
cfdiff_1__2043_33.min1.thm1
2017-02-06 12:46
457
cfdiff_1__2044_33.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2054_22.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2059_34.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__2083_13.min1.thm1
2017-02-06 12:46
751
cfdiff_1__2089_28.min1.thm1
2017-02-06 12:46
813
cfdiff_1__2094_17.min1.thm1
2017-02-06 12:46
477
cfdiff_1__2098_32.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__2103_14.min1.thm1
2017-02-06 12:46
741
cfdiff_1__2109_26.min1.thm1
2017-02-06 12:46
796
cfdiff_1__2114_18.min1.thm1
2017-02-06 12:46
473
cfdiff_1__2115_33.min1.thm1
2017-02-06 12:46
457
cfdiff_1__2116_33.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2118_14.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__2119_8.min1.thm1
2017-02-06 12:46
835
cfdiff_1__2132_14.min1.thm1
2017-02-06 12:46
433
cfdiff_1__2137_50.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__2146_21.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2147_14.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__2152_24.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__2159_23.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__2164_23.min1.thm1
2017-02-06 12:46
775
cfdiff_1__2175_26.min1.thm1
2017-02-06 12:46
889
cfdiff_1__2206_22.min1.thm1
2017-02-06 12:46
2.3K
cfdiff_1__2207_23.min1.thm1
2017-02-06 12:46
359
cfdiff_1__2207_23.min1.thm1.tptp
2017-02-06 16:48
294
cfdiff_1__2212_15.min1.thm1
2017-02-06 12:46
351
cfdiff_1__2212_15.min1.thm1.tptp
2017-02-06 16:48
286
cfdiff_1__2214_15.min1.thm1
2017-02-06 12:46
2.3K
cfdiff_1__2225_24.min1.thm1
2017-02-06 12:46
897
cfdiff_1__2230_23.min1.thm1
2017-02-06 12:46
737
cfdiff_1__2230_23.min1.thm1.tptp
2017-02-06 16:48
649
cfdiff_1__2237_17.min1.thm1
2017-02-06 12:46
753
cfdiff_1__2263_21.min1.thm1
2017-02-06 12:46
1.0K
cfdiff_1__2288_17.min1.thm1
2017-02-06 12:46
656
cfdiff_1__2293_26.min1.thm1
2017-02-06 12:46
669
cfdiff_1__2294_36.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__2295_17.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__2304_28.min1.thm1
2017-02-06 12:46
669
cfdiff_1__2305_15.min1.thm1
2017-02-06 12:46
656
cfdiff_1__2306_21.min1.thm1
2017-02-06 12:46
469
cfdiff_1__2314_14.min1.thm1
2017-02-06 12:46
739
cfdiff_1__2316_37.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__2323_16.min1.thm1
2017-02-06 12:46
792
cfdiff_1__2324_15.min1.thm1
2017-02-06 12:46
424
cfdiff_1__2326_24.min1.thm1
2017-02-06 12:46
1.6K
cfdiff_1__2327_27.min1.thm1
2017-02-06 12:46
1.3K
cfdiff_1__2328_20.min1.thm1
2017-02-06 12:46
622
cfdiff_1__2329_21.min1.thm1
2017-02-06 12:46
472
cfdiff_1__2330_24.min1.thm1
2017-02-06 12:46
878
cfdiff_1__2332_22.min1.thm1
2017-02-06 12:46
1.7K
cfdiff_1__2342_11.min1.thm1
2017-02-06 12:46
746
cfdiff_1__2362_40.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__2372_16.min1.thm1
2017-02-06 12:46
922
cfdiff_1__2373_31.min1.thm1
2017-02-06 12:46
1.1K
cfdiff_1__2376_14.min1.thm1
2017-02-06 12:46
758
cfdiff_1__2377_9.min1.thm1
2017-02-06 12:46
939
cfdiff_1__2388_35.min1.thm1
2017-02-06 12:46
929
cfdiff_1__2393_25.min1.thm1
2017-02-06 12:46
1.5K
cfdiff_1__2406_53.min1.thm1
2017-02-06 12:46
784
cfdiff_1__2406_53.min1.thm1.tptp
2017-02-06 16:48
718
cfdiff_1__2417_21.min1.thm1
2017-02-06 12:46
1.9K
cfdiff_1__2418_56.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2419_54.min1.thm1
2017-02-06 12:46
1.2K
cfdiff_1__2421_20.min1.thm1
2017-02-06 12:46
766
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80