Index of /~mptp/1147/MPTP2/ilp0/pscomp_1
Name
Last modified
Size
Description
Parent Directory
-
pscomp_1__62_56.min1.thm1
2017-02-06 12:44
2.1K
pscomp_1__65_11.min1.thm1
2017-02-06 12:44
603
pscomp_1__66_31.min1.thm1
2017-02-06 12:44
439
pscomp_1__67_12.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__68_17.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__78_25.min1.thm1
2017-02-06 12:44
774
pscomp_1__78_25.min1.thm1.tptp
2017-02-06 16:47
707
pscomp_1__100_53.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__102_39.min1.thm1
2017-02-06 12:44
3.0K
pscomp_1__103_34.min1.thm1
2017-02-06 12:44
2.4K
pscomp_1__104_30.min1.thm1
2017-02-06 12:44
2.1K
pscomp_1__113_11.min1.thm1
2017-02-06 12:44
754
pscomp_1__116_11.min1.thm1
2017-02-06 12:44
754
pscomp_1__144_56.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__145_20.min1.thm1
2017-02-06 12:44
561
pscomp_1__171_19.min1.thm1
2017-02-06 12:44
561
pscomp_1__200_55.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__201_19.min1.thm1
2017-02-06 12:44
573
pscomp_1__227_19.min1.thm1
2017-02-06 12:44
573
pscomp_1__238_18.min1.thm1
2017-02-06 12:44
1.6K
pscomp_1__256_53.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__258_16.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__260_27.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__262_13.min1.thm1
2017-02-06 12:44
221
pscomp_1__266_19.min1.thm1
2017-02-06 12:44
806
pscomp_1__268_21.min1.thm1
2017-02-06 12:44
937
pscomp_1__269_18.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__270_18.min1.thm1
2017-02-06 12:44
651
pscomp_1__275_23.min1.thm1
2017-02-06 12:44
815
pscomp_1__277_18.min1.thm1
2017-02-06 12:44
918
pscomp_1__278_14.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__279_18.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__290_53.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__292_16.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__294_27.min1.thm1
2017-02-06 12:44
2.7K
pscomp_1__296_13.min1.thm1
2017-02-06 12:44
221
pscomp_1__300_19.min1.thm1
2017-02-06 12:44
806
pscomp_1__302_21.min1.thm1
2017-02-06 12:44
937
pscomp_1__303_18.min1.thm1
2017-02-06 12:44
1.9K
pscomp_1__304_18.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__309_23.min1.thm1
2017-02-06 12:44
815
pscomp_1__311_18.min1.thm1
2017-02-06 12:44
918
pscomp_1__312_14.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__313_18.min1.thm1
2017-02-06 12:44
1.6K
pscomp_1__329_24.min1.thm1
2017-02-06 12:44
472
pscomp_1__331_23.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__333_24.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__334_45.min1.thm1
2017-02-06 12:44
1.6K
pscomp_1__340_11.min1.thm1
2017-02-06 12:44
421
pscomp_1__340_11.min1.thm1.tptp
2017-02-06 16:47
347
pscomp_1__342_20.min1.thm1
2017-02-06 12:44
700
pscomp_1__344_21.min1.thm1
2017-02-06 12:44
763
pscomp_1__346_22.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__347_17.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__358_20.min1.thm1
2017-02-06 12:44
440
pscomp_1__371_23.min1.thm1
2017-02-06 12:44
686
pscomp_1__383_13.min1.thm1
2017-02-06 12:44
583
pscomp_1__384_25.min1.thm1
2017-02-06 12:44
649
pscomp_1__385_62.min1.thm1
2017-02-06 12:44
724
pscomp_1__387_19.min1.thm1
2017-02-06 12:44
511
pscomp_1__420_27.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__424_22.min1.thm1
2017-02-06 12:44
1.6K
pscomp_1__428_25.min1.thm1
2017-02-06 12:44
711
pscomp_1__434_28.min1.thm1
2017-02-06 12:44
2.3K
pscomp_1__438_24.min1.thm1
2017-02-06 12:44
740
pscomp_1__439_32.min1.thm1
2017-02-06 12:44
879
pscomp_1__442_32.min1.thm1
2017-02-06 12:44
936
pscomp_1__443_29.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__444_35.min1.thm1
2017-02-06 12:44
759
pscomp_1__446_31.min1.thm1
2017-02-06 12:44
941
pscomp_1__466_29.min1.thm1
2017-02-06 12:44
822
pscomp_1__467_26.min1.thm1
2017-02-06 12:44
2.7K
pscomp_1__493_18.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__495_36.min1.thm1
2017-02-06 12:44
418
pscomp_1__496_15.min1.thm1
2017-02-06 12:44
773
pscomp_1__514_18.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__516_36.min1.thm1
2017-02-06 12:44
418
pscomp_1__517_17.min1.thm1
2017-02-06 12:44
773
pscomp_1__526_29.min1.thm1
2017-02-06 12:44
550
pscomp_1__540_20.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__551_14.min1.thm1
2017-02-06 12:44
830
pscomp_1__567_28.min1.thm1
2017-02-06 12:44
952
pscomp_1__569_26.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__575_26.min1.thm1
2017-02-06 12:44
936
pscomp_1__577_14.min1.thm1
2017-02-06 12:44
860
pscomp_1__593_19.min1.thm1
2017-02-06 12:44
728
pscomp_1__595_27.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__598_23.min1.thm1
2017-02-06 12:44
952
pscomp_1__602_45.min1.thm1
2017-02-06 12:44
565
pscomp_1__607_26.min1.thm1
2017-02-06 12:44
797
pscomp_1__609_35.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__629_15.min1.thm1
2017-02-06 12:44
225
pscomp_1__632_41.min1.thm1
2017-02-06 12:44
386
pscomp_1__632_41.min1.thm1.tptp
2017-02-06 16:47
305
pscomp_1__634_20.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__637_25.min1.thm1
2017-02-06 12:44
2.8K
pscomp_1__642_19.min1.thm1
2017-02-06 12:44
358
pscomp_1__642_19.min1.thm1.tptp
2017-02-06 16:47
270
pscomp_1__643_61.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__643_61.min1.thm1.tptp
2017-02-06 16:47
1.1K
pscomp_1__648_50.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__656_35.min1.thm1
2017-02-06 12:44
360
pscomp_1__656_35.min1.thm1.tptp
2017-02-06 16:47
282
pscomp_1__657_16.min1.thm1
2017-02-06 12:44
2.1K
pscomp_1__658_15.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__678_23.min1.thm1
2017-02-06 12:44
768
pscomp_1__679_43.min1.thm1
2017-02-06 12:44
774
pscomp_1__680_45.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__681_29.min1.thm1
2017-02-06 12:44
736
pscomp_1__683_43.min1.thm1
2017-02-06 12:44
774
pscomp_1__684_45.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__685_17.min1.thm1
2017-02-06 12:44
738
pscomp_1__711_37.min1.thm1
2017-02-06 12:44
2.2K
pscomp_1__712_61.min1.thm1
2017-02-06 12:44
715
pscomp_1__713_50.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__735_28.min1.thm1
2017-02-06 12:44
797
pscomp_1__737_23.min1.thm1
2017-02-06 12:44
455
pscomp_1__737_23.min1.thm1.tptp
2017-02-06 16:47
381
pscomp_1__750_56.min1.thm1
2017-02-06 12:44
645
pscomp_1__763_37.min1.thm1
2017-02-06 12:44
335
pscomp_1__763_37.min1.thm1.tptp
2017-02-06 16:47
252
pscomp_1__769_20.min1.thm1
2017-02-06 12:44
528
pscomp_1__774_26.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__776_20.min1.thm1
2017-02-06 12:44
563
pscomp_1__778_13.min1.thm1
2017-02-06 12:44
922
pscomp_1__781_15.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__782_37.min1.thm1
2017-02-06 12:44
870
pscomp_1__785_18.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__787_18.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__788_31.min1.thm1
2017-02-06 12:44
408
pscomp_1__791_24.min1.thm1
2017-02-06 12:44
2.1K
pscomp_1__795_42.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__804_35.min1.thm1
2017-02-06 12:44
2.2K
pscomp_1__805_59.min1.thm1
2017-02-06 12:44
709
pscomp_1__806_48.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__812_18.min1.thm1
2017-02-06 12:44
520
pscomp_1__837_26.min1.thm1
2017-02-06 12:44
779
pscomp_1__839_21.min1.thm1
2017-02-06 12:44
439
pscomp_1__839_21.min1.thm1.tptp
2017-02-06 16:47
365
pscomp_1__852_54.min1.thm1
2017-02-06 12:44
636
pscomp_1__865_36.min1.thm1
2017-02-06 12:44
329
pscomp_1__865_36.min1.thm1.tptp
2017-02-06 16:47
246
pscomp_1__867_24.min1.thm1
2017-02-06 12:44
1.6K
pscomp_1__869_19.min1.thm1
2017-02-06 12:44
555
pscomp_1__871_11.min1.thm1
2017-02-06 12:44
910
pscomp_1__874_14.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__875_35.min1.thm1
2017-02-06 12:44
856
pscomp_1__878_17.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__880_17.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__881_29.min1.thm1
2017-02-06 12:44
403
pscomp_1__884_22.min1.thm1
2017-02-06 12:44
2.1K
pscomp_1__888_40.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__901_15.min1.thm1
2017-02-06 12:44
344
pscomp_1__913_25.min1.thm1
2017-02-06 12:44
905
pscomp_1__914_69.min1.thm1
2017-02-06 12:44
755
pscomp_1__914_69.min1.thm1.tptp
2017-02-06 16:47
707
pscomp_1__915_26.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__916_70.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__929_45.min1.thm1
2017-02-06 12:44
912
pscomp_1__933_57.min1.thm1
2017-02-06 12:44
850
pscomp_1__934_45.min1.thm1
2017-02-06 12:44
899
pscomp_1__948_45.min1.thm1
2017-02-06 12:44
912
pscomp_1__952_57.min1.thm1
2017-02-06 12:44
850
pscomp_1__953_45.min1.thm1
2017-02-06 12:44
899
pscomp_1__989_25.min1.thm1
2017-02-06 12:44
466
pscomp_1__989_25.min1.thm1.tptp
2017-02-06 16:47
389
pscomp_1__990_19.min1.thm1
2017-02-06 12:44
466
pscomp_1__990_19.min1.thm1.tptp
2017-02-06 16:47
389
pscomp_1__1010_25.min1.thm1
2017-02-06 12:44
466
pscomp_1__1010_25.min1.thm1.tptp
2017-02-06 16:47
389
pscomp_1__1011_19.min1.thm1
2017-02-06 12:44
466
pscomp_1__1011_19.min1.thm1.tptp
2017-02-06 16:47
389
pscomp_1__1028_27.min1.thm1
2017-02-06 12:44
2.0K
pscomp_1__1030_48.min1.thm1
2017-02-06 12:44
952
pscomp_1__1031_42.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1037_16.min1.thm1
2017-02-06 12:44
818
pscomp_1__1041_14.min1.thm1
2017-02-06 12:44
589
pscomp_1__1057_25.min1.thm1
2017-02-06 12:44
547
pscomp_1__1057_25.min1.thm1.tptp
2017-02-06 16:47
459
pscomp_1__1066_26.min1.thm1
2017-02-06 12:44
835
pscomp_1__1076_51.min1.thm1
2017-02-06 12:44
827
pscomp_1__1096_27.min1.thm1
2017-02-06 12:44
2.0K
pscomp_1__1098_48.min1.thm1
2017-02-06 12:44
952
pscomp_1__1099_42.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1105_16.min1.thm1
2017-02-06 12:44
818
pscomp_1__1109_14.min1.thm1
2017-02-06 12:44
589
pscomp_1__1125_25.min1.thm1
2017-02-06 12:44
547
pscomp_1__1125_25.min1.thm1.tptp
2017-02-06 16:47
459
pscomp_1__1134_26.min1.thm1
2017-02-06 12:44
835
pscomp_1__1144_51.min1.thm1
2017-02-06 12:44
827
pscomp_1__1169_20.min1.thm1
2017-02-06 12:44
2.0K
pscomp_1__1173_33.min1.thm1
2017-02-06 12:44
423
pscomp_1__1174_68.min1.thm1
2017-02-06 12:44
819
pscomp_1__1174_68.min1.thm1.tptp
2017-02-06 16:47
747
pscomp_1__1186_22.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1207_20.min1.thm1
2017-02-06 12:44
2.0K
pscomp_1__1211_33.min1.thm1
2017-02-06 12:44
423
pscomp_1__1212_68.min1.thm1
2017-02-06 12:44
819
pscomp_1__1212_68.min1.thm1.tptp
2017-02-06 16:47
747
pscomp_1__1224_22.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1239_13.min1.thm1
2017-02-06 12:44
810
pscomp_1__1249_13.min1.thm1
2017-02-06 12:44
810
pscomp_1__1274_54.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1275_26.min1.thm1
2017-02-06 12:44
939
pscomp_1__1278_26.min1.thm1
2017-02-06 12:44
939
pscomp_1__1291_11.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1294_11.min1.thm1
2017-02-06 12:44
850
pscomp_1__1297_11.min1.thm1
2017-02-06 12:44
923
pscomp_1__1300_11.min1.thm1
2017-02-06 12:44
850
pscomp_1__1306_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1307_25.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1313_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1314_25.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1320_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1321_25.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1327_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1328_25.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1336_11.min1.thm1
2017-02-06 12:44
578
pscomp_1__1336_11.min1.thm1.tptp
2017-02-06 16:47
503
pscomp_1__1340_11.min1.thm1
2017-02-06 12:44
578
pscomp_1__1340_11.min1.thm1.tptp
2017-02-06 16:47
503
pscomp_1__1344_11.min1.thm1
2017-02-06 12:44
578
pscomp_1__1344_11.min1.thm1.tptp
2017-02-06 16:47
503
pscomp_1__1348_11.min1.thm1
2017-02-06 12:44
578
pscomp_1__1348_11.min1.thm1.tptp
2017-02-06 16:47
503
pscomp_1__1357_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1364_12.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1365_47.min1.thm1
2017-02-06 12:44
742
pscomp_1__1367_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1376_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1383_13.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1384_47.min1.thm1
2017-02-06 12:44
742
pscomp_1__1386_65.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1395_65.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1402_13.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1403_47.min1.thm1
2017-02-06 12:44
742
pscomp_1__1405_65.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1414_65.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1421_13.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1422_47.min1.thm1
2017-02-06 12:44
742
pscomp_1__1424_65.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1435_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1438_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1441_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1444_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1447_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1450_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1453_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1456_11.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1465_17.min1.thm1
2017-02-06 12:44
1.8K
pscomp_1__1474_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1475_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1477_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1483_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1497_34.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1503_61.min1.thm1
2017-02-06 12:44
502
pscomp_1__1503_61.min1.thm1.tptp
2017-02-06 16:47
412
pscomp_1__1506_4.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__1517_24.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1518_32.min1.thm1
2017-02-06 12:44
796
pscomp_1__1518_32.min1.thm1.tptp
2017-02-06 16:47
730
pscomp_1__1519_43.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1526_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1527_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1527_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1531_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1531_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1541_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1548_19.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1553_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1554_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1566_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1578_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__1578_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__1592_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1593_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1593_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__1596_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1597_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__1597_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__1600_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__1600_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__1603_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__1603_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__1607_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1614_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__1614_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__1628_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1629_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1629_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__1632_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1633_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__1633_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__1636_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__1636_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__1639_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__1639_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__1643_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1652_44.min1.thm1
2017-02-06 12:44
789
pscomp_1__1654_17.min1.thm1
2017-02-06 12:44
903
pscomp_1__1663_17.min1.thm1
2017-02-06 12:44
1.8K
pscomp_1__1672_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1673_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1675_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1681_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1695_34.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1701_61.min1.thm1
2017-02-06 12:44
502
pscomp_1__1701_61.min1.thm1.tptp
2017-02-06 16:47
412
pscomp_1__1704_4.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__1715_24.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1716_32.min1.thm1
2017-02-06 12:44
796
pscomp_1__1716_32.min1.thm1.tptp
2017-02-06 16:47
730
pscomp_1__1717_43.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1724_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1725_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1725_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1729_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1729_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1739_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1746_19.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1751_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1752_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1764_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1776_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__1776_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__1790_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1791_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1791_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__1794_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1795_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__1795_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__1798_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__1798_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__1801_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__1801_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__1805_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1812_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__1812_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__1826_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1827_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1827_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__1831_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__1831_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__1834_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__1834_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__1837_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__1837_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__1841_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1850_44.min1.thm1
2017-02-06 12:44
789
pscomp_1__1852_17.min1.thm1
2017-02-06 12:44
903
pscomp_1__1861_17.min1.thm1
2017-02-06 12:44
1.8K
pscomp_1__1870_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1871_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1873_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__1879_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__1893_34.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1899_61.min1.thm1
2017-02-06 12:44
502
pscomp_1__1899_61.min1.thm1.tptp
2017-02-06 16:47
412
pscomp_1__1902_4.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__1913_24.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1914_32.min1.thm1
2017-02-06 12:44
796
pscomp_1__1914_32.min1.thm1.tptp
2017-02-06 16:47
730
pscomp_1__1915_43.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__1922_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1923_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1923_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1927_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1927_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__1937_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1944_19.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__1949_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1950_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1962_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__1974_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__1974_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__1988_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1989_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__1989_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__1992_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__1993_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__1993_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__1996_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__1996_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__1999_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__1999_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__2003_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__2010_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__2010_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__2024_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2025_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2025_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__2029_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__2029_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__2032_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__2032_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__2035_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__2035_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__2048_44.min1.thm1
2017-02-06 12:44
789
pscomp_1__2050_17.min1.thm1
2017-02-06 12:44
903
pscomp_1__2059_17.min1.thm1
2017-02-06 12:44
1.8K
pscomp_1__2068_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__2069_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__2071_43.min1.thm1
2017-02-06 12:44
1.7K
pscomp_1__2077_46.min1.thm1
2017-02-06 12:44
1.4K
pscomp_1__2091_34.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__2097_61.min1.thm1
2017-02-06 12:44
502
pscomp_1__2097_61.min1.thm1.tptp
2017-02-06 16:47
412
pscomp_1__2100_4.min1.thm1
2017-02-06 12:44
2.5K
pscomp_1__2111_24.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2112_32.min1.thm1
2017-02-06 12:44
796
pscomp_1__2112_32.min1.thm1.tptp
2017-02-06 16:47
730
pscomp_1__2113_43.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__2120_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__2121_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2121_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__2125_37.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2125_37.min1.thm1.tptp
2017-02-06 16:47
929
pscomp_1__2135_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__2142_19.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__2147_64.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__2148_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__2160_16.min1.thm1
2017-02-06 12:44
1.3K
pscomp_1__2172_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__2172_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__2186_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2187_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2187_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__2190_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__2191_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__2191_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__2194_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__2194_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__2197_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__2197_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__2201_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__2208_28.min1.thm1
2017-02-06 12:44
638
pscomp_1__2208_28.min1.thm1.tptp
2017-02-06 16:47
563
pscomp_1__2222_27.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2223_39.min1.thm1
2017-02-06 12:44
1.0K
pscomp_1__2223_39.min1.thm1.tptp
2017-02-06 16:47
934
pscomp_1__2226_26.min1.thm1
2017-02-06 12:44
1.5K
pscomp_1__2227_38.min1.thm1
2017-02-06 12:44
801
pscomp_1__2227_38.min1.thm1.tptp
2017-02-06 16:47
735
pscomp_1__2230_25.min1.thm1
2017-02-06 12:44
457
pscomp_1__2230_25.min1.thm1.tptp
2017-02-06 16:47
380
pscomp_1__2231_26.min1.thm1
2017-02-06 12:44
1.1K
pscomp_1__2233_26.min1.thm1
2017-02-06 12:44
636
pscomp_1__2233_26.min1.thm1.tptp
2017-02-06 16:47
561
pscomp_1__2237_47.min1.thm1
2017-02-06 12:44
1.2K
pscomp_1__2246_44.min1.thm1
2017-02-06 12:44
789
pscomp_1__2248_17.min1.thm1
2017-02-06 12:44
903
pscomp_1__2289_11.min1.thm1
2017-02-06 12:44
469
pscomp_1__2291_11.min1.thm1
2017-02-06 12:44
469
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80