Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/scm_halt
Name
Last modified
Size
Description
Parent Directory
-
scm_halt__63_45.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__109_38.min1.thm1
2017-02-06 12:45
898
scm_halt__110_26.min1.thm1
2017-02-06 12:45
664
scm_halt__113_18.min1.thm1
2017-02-06 12:45
442
scm_halt__113_18.min1.thm1.tptp
2017-02-06 16:47
386
scm_halt__119_16.min1.thm1
2017-02-06 12:45
442
scm_halt__140_20.min1.thm1
2017-02-06 12:45
604
scm_halt__141_26.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__159_20.min1.thm1
2017-02-06 12:45
604
scm_halt__160_26.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__182_23.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__186_37.min1.thm1
2017-02-06 12:45
877
scm_halt__187_54.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__216_16.min1.thm1
2017-02-06 12:45
597
scm_halt__221_24.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__225_37.min1.thm1
2017-02-06 12:45
878
scm_halt__229_36.min1.thm1
2017-02-06 12:45
656
scm_halt__233_25.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__235_31.min1.thm1
2017-02-06 12:45
401
scm_halt__235_31.min1.thm1.tptp
2017-02-06 16:47
333
scm_halt__241_31.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__243_32.min1.thm1
2017-02-06 12:45
721
scm_halt__243_32.min1.thm1.tptp
2017-02-06 16:47
641
scm_halt__244_29.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__248_18.min1.thm1
2017-02-06 12:45
604
scm_halt__251_17.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__255_37.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__259_47.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__260_45.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__262_42.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__267_23.min1.thm1
2017-02-06 12:45
972
scm_halt__293_14.min1.thm1
2017-02-06 12:45
604
scm_halt__295_24.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__308_38.min1.thm1
2017-02-06 12:45
593
scm_halt__311_56.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__313_14.min1.thm1
2017-02-06 12:45
886
scm_halt__320_17.min1.thm1
2017-02-06 12:45
887
scm_halt__334_38.min1.thm1
2017-02-06 12:45
693
scm_halt__338_9.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__340_14.min1.thm1
2017-02-06 12:45
886
scm_halt__346_18.min1.thm1
2017-02-06 12:45
887
scm_halt__356_11.min1.thm1
2017-02-06 12:45
330
scm_halt__398_37.min1.thm1
2017-02-06 12:45
3.4K
scm_halt__408_15.min1.thm1
2017-02-06 12:45
2.6K
scm_halt__410_30.min1.thm1
2017-02-06 12:45
2.6K
scm_halt__417_19.min1.thm1
2017-02-06 12:45
667
scm_halt__417_19.min1.thm1.tptp
2017-02-06 16:47
588
scm_halt__418_19.min1.thm1
2017-02-06 12:45
667
scm_halt__418_19.min1.thm1.tptp
2017-02-06 16:47
588
scm_halt__422_14.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__424_16.min1.thm1
2017-02-06 12:45
668
scm_halt__424_16.min1.thm1.tptp
2017-02-06 16:47
589
scm_halt__426_34.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__433_29.min1.thm1
2017-02-06 12:45
4.3K
scm_halt__439_14.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__439_14.min1.thm1.tptp
2017-02-06 16:47
1.7K
scm_halt__462_34.min1.thm1
2017-02-06 12:45
2.5K
scm_halt__463_34.min1.thm1
2017-02-06 12:45
2.5K
scm_halt__466_8.min1.thm1
2017-02-06 12:45
2.5K
scm_halt__500_33.min1.thm1
2017-02-06 12:45
3.5K
scm_halt__504_22.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__544_16.min1.thm1
2017-02-06 12:45
917
scm_halt__553_5.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__562_14.min1.thm1
2017-02-06 12:45
892
scm_halt__562_14.min1.thm1.tptp
2017-02-06 16:47
816
scm_halt__584_20.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__592_51.min1.thm1
2017-02-06 12:45
737
scm_halt__598_33.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__607_47.min1.thm1
2017-02-06 12:45
3.5K
scm_halt__636_16.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__639_18.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__640_17.min1.thm1
2017-02-06 12:45
886
scm_halt__644_17.min1.thm1
2017-02-06 12:45
886
scm_halt__648_24.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__667_19.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__670_19.min1.thm1
2017-02-06 12:45
890
scm_halt__671_15.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__692_44.min1.thm1
2017-02-06 12:45
2.3K
scm_halt__700_22.min1.thm1
2017-02-06 12:45
5.3K
scm_halt__712_12.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__713_18.min1.thm1
2017-02-06 12:45
606
scm_halt__717_35.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__734_14.min1.thm1
2017-02-06 12:45
787
scm_halt__740_16.min1.thm1
2017-02-06 12:45
886
scm_halt__741_16.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__758_30.min1.thm1
2017-02-06 12:45
941
scm_halt__758_30.min1.thm1.tptp
2017-02-06 16:47
872
scm_halt__760_31.min1.thm1
2017-02-06 12:45
967
scm_halt__760_31.min1.thm1.tptp
2017-02-06 16:47
898
scm_halt__772_19.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__775_15.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__795_43.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__802_22.min1.thm1
2017-02-06 12:45
5.3K
scm_halt__819_12.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__835_13.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__845_13.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__853_30.min1.thm1
2017-02-06 12:45
941
scm_halt__853_30.min1.thm1.tptp
2017-02-06 16:47
872
scm_halt__855_32.min1.thm1
2017-02-06 12:45
967
scm_halt__855_32.min1.thm1.tptp
2017-02-06 16:47
898
scm_halt__864_19.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__867_15.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__886_43.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__894_41.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__920_14.min1.thm1
2017-02-06 12:45
886
scm_halt__932_28.min1.thm1
2017-02-06 12:45
513
scm_halt__932_28.min1.thm1.tptp
2017-02-06 16:47
433
scm_halt__935_20.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__991_14.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__999_24.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1000_14.min1.thm1
2017-02-06 12:45
917
scm_halt__1003_28.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1005_22.min1.thm1
2017-02-06 12:45
505
scm_halt__1006_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__1009_49.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1016_18.min1.thm1
2017-02-06 12:45
918
scm_halt__1020_55.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__1029_34.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__1031_16.min1.thm1
2017-02-06 12:45
448
scm_halt__1031_16.min1.thm1.tptp
2017-02-06 16:47
394
scm_halt__1041_45.min1.thm1
2017-02-06 12:45
649
scm_halt__1059_30.min1.thm1
2017-02-06 12:45
585
scm_halt__1060_29.min1.thm1
2017-02-06 12:45
585
scm_halt__1061_30.min1.thm1
2017-02-06 12:45
473
scm_halt__1063_21.min1.thm1
2017-02-06 12:45
879
scm_halt__1075_22.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__1077_20.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__1088_31.min1.thm1
2017-02-06 12:45
573
scm_halt__1099_13.min1.thm1
2017-02-06 12:45
379
scm_halt__1109_40.min1.thm1
2017-02-06 12:45
889
scm_halt__1110_18.min1.thm1
2017-02-06 12:45
568
scm_halt__1110_18.min1.thm1.tptp
2017-02-06 16:47
486
scm_halt__1118_14.min1.thm1
2017-02-06 12:45
605
scm_halt__1121_14.min1.thm1
2017-02-06 12:45
918
scm_halt__1134_59.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__1156_25.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__1160_14.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1163_14.min1.thm1
2017-02-06 12:45
949
scm_halt__1169_14.min1.thm1
2017-02-06 12:45
950
scm_halt__1176_36.min1.thm1
2017-02-06 12:45
3.3K
scm_halt__1179_26.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__1181_40.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__1182_18.min1.thm1
2017-02-06 12:45
468
scm_halt__1182_18.min1.thm1.tptp
2017-02-06 16:47
414
scm_halt__1185_34.min1.thm1
2017-02-06 12:45
569
scm_halt__1187_17.min1.thm1
2017-02-06 12:45
893
scm_halt__1203_29.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1205_23.min1.thm1
2017-02-06 12:45
527
scm_halt__1219_14.min1.thm1
2017-02-06 12:45
950
scm_halt__1225_28.min1.thm1
2017-02-06 12:45
604
scm_halt__1227_57.min1.thm1
2017-02-06 12:45
2.8K
scm_halt__1233_24.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__1234_16.min1.thm1
2017-02-06 12:45
502
scm_halt__1254_17.min1.thm1
2017-02-06 12:45
886
scm_halt__1272_17.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1289_19.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1292_25.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1294_34.min1.thm1
2017-02-06 12:45
709
scm_halt__1300_37.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__1303_19.min1.thm1
2017-02-06 12:45
3.4K
scm_halt__1304_36.min1.thm1
2017-02-06 12:45
3.7K
scm_halt__1308_65.min1.thm1
2017-02-06 12:45
2.8K
scm_halt__1309_26.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__1347_17.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__1348_30.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__1349_23.min1.thm1
2017-02-06 12:45
507
scm_halt__1369_15.min1.thm1
2017-02-06 12:45
225
scm_halt__1372_25.min1.thm1
2017-02-06 12:45
435
scm_halt__1372_25.min1.thm1.tptp
2017-02-06 16:47
358
scm_halt__1379_27.min1.thm1
2017-02-06 12:45
2.4K
scm_halt__1386_39.min1.thm1
2017-02-06 12:45
703
scm_halt__1413_14.min1.thm1
2017-02-06 12:45
886
scm_halt__1418_20.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__1426_28.min1.thm1
2017-02-06 12:45
513
scm_halt__1426_28.min1.thm1.tptp
2017-02-06 16:47
433
scm_halt__1474_55.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__1476_45.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__1480_33.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1502_14.min1.thm1
2017-02-06 12:45
917
scm_halt__1504_20.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1507_14.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1511_20.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1513_14.min1.thm1
2017-02-06 12:45
917
scm_halt__1519_19.min1.thm1
2017-02-06 12:45
887
scm_halt__1522_29.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__1525_15.min1.thm1
2017-02-06 12:45
918
scm_halt__1532_20.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__1536_29.min1.thm1
2017-02-06 12:45
699
scm_halt__1538_53.min1.thm1
2017-02-06 12:45
2.3K
scm_halt__1539_29.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__1540_13.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__1541_33.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1542_27.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__1543_15.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__1563_30.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1571_46.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__1604_31.min1.thm1
2017-02-06 12:45
436
scm_halt__1604_31.min1.thm1.tptp
2017-02-06 16:47
359
scm_halt__1606_43.min1.thm1
2017-02-06 12:45
542
scm_halt__1615_31.min1.thm1
2017-02-06 12:45
339
scm_halt__1615_31.min1.thm1.tptp
2017-02-06 16:47
258
scm_halt__1617_43.min1.thm1
2017-02-06 12:45
542
scm_halt__1626_33.min1.thm1
2017-02-06 12:45
377
scm_halt__1626_33.min1.thm1.tptp
2017-02-06 16:47
312
scm_halt__1674_25.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__1675_18.min1.thm1
2017-02-06 12:45
918
scm_halt__1677_13.min1.thm1
2017-02-06 12:45
361
scm_halt__1682_17.min1.thm1
2017-02-06 12:45
439
scm_halt__1697_23.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1698_43.min1.thm1
2017-02-06 12:45
913
scm_halt__1706_29.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__1714_34.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__1714_34.min1.thm1.tptp
2017-02-06 16:47
1.2K
scm_halt__1796_2.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__1800_16.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__1803_47.min1.thm1
2017-02-06 12:45
707
scm_halt__1805_17.min1.thm1
2017-02-06 12:45
211
scm_halt__1815_26.min1.thm1
2017-02-06 12:45
538
scm_halt__1819_22.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__1825_50.min1.thm1
2017-02-06 12:45
631
scm_halt__1844_64.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__1845_23.min1.thm1
2017-02-06 12:45
479
scm_halt__1847_34.min1.thm1
2017-02-06 12:45
861
scm_halt__1866_64.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__1867_26.min1.thm1
2017-02-06 12:45
503
scm_halt__1869_34.min1.thm1
2017-02-06 12:45
954
scm_halt__1901_16.min1.thm1
2017-02-06 12:45
871
scm_halt__1907_35.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__1917_18.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1938_17.min1.thm1
2017-02-06 12:45
871
scm_halt__1941_36.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__1953_18.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1978_17.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1986_24.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__1993_16.min1.thm1
2017-02-06 12:45
498
scm_halt__2004_15.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__2016_34.min1.thm1
2017-02-06 12:45
813
scm_halt__2035_11.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__2080_21.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__2097_47.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2108_48.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__2109_34.min1.thm1
2017-02-06 12:45
2.4K
scm_halt__2124_14.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2127_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2129_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2149_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2151_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2152_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2167_16.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2170_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2172_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2193_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2195_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2196_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2218_27.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__2221_13.min1.thm1
2017-02-06 12:45
249
scm_halt__2224_47.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__2229_47.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__2236_34.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2238_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2257_13.min1.thm1
2017-02-06 12:45
245
scm_halt__2262_24.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2270_24.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2279_20.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2288_6.min1.thm1
2017-02-06 12:45
3.3K
scm_halt__2294_16.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2301_57.min1.thm1
2017-02-06 12:45
3.3K
scm_halt__2317_14.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2320_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2322_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2342_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2344_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2345_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2360_16.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2363_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2365_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2386_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2388_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2389_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2411_27.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__2414_13.min1.thm1
2017-02-06 12:45
275
scm_halt__2417_47.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__2422_47.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__2429_34.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2431_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2451_13.min1.thm1
2017-02-06 12:45
271
scm_halt__2456_24.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2464_24.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2473_20.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2481_59.min1.thm1
2017-02-06 12:45
3.3K
scm_halt__2487_16.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2494_57.min1.thm1
2017-02-06 12:45
3.3K
scm_halt__2512_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2514_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2515_17.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2531_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2533_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2534_17.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2550_26.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2552_30.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2553_17.min1.thm1
2017-02-06 12:45
3.1K
scm_halt__2571_43.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2576_13.min1.thm1
2017-02-06 12:45
245
scm_halt__2581_33.min1.thm1
2017-02-06 12:45
3.0K
scm_halt__2613_44.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2619_38.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2620_36.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2635_43.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2641_37.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2642_35.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__2655_36.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__2656_17.min1.thm1
2017-02-06 12:45
2.7K
scm_halt__2670_35.min1.thm1
2017-02-06 12:45
2.6K
scm_halt__2671_17.min1.thm1
2017-02-06 12:45
2.5K
scm_halt__2690_36.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__2711_22.min1.thm1
2017-02-06 12:45
445
scm_halt__2711_22.min1.thm1.tptp
2017-02-06 16:47
367
scm_halt__2714_23.min1.thm1
2017-02-06 12:45
502
scm_halt__2718_28.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__2720_6.min1.thm1
2017-02-06 12:45
2.3K
scm_halt__2724_17.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__2747_19.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__2760_32.min1.thm1
2017-02-06 12:45
2.1K
scm_halt__2770_47.min1.thm1
2017-02-06 12:45
3.5K
scm_halt__2802_32.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__2828_14.min1.thm1
2017-02-06 12:45
855
scm_halt__2831_19.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__2838_21.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__2844_34.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__2891_14.min1.thm1
2017-02-06 12:45
855
scm_halt__2894_19.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__2899_34.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__2908_19.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__2929_70.min1.thm1
2017-02-06 12:45
344
scm_halt__2929_70.min1.thm1.tptp
2017-02-06 16:47
268
scm_halt__2935_19.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__2940_44.min1.thm1
2017-02-06 12:45
587
scm_halt__2940_44.min1.thm1.tptp
2017-02-06 16:47
512
scm_halt__2946_21.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__2956_27.min1.thm1
2017-02-06 12:45
1.9K
scm_halt__2968_19.min1.thm1
2017-02-06 12:45
2.8K
scm_halt__3017_15.min1.thm1
2017-02-06 12:45
2.4K
scm_halt__3020_29.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__3067_29.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__3090_37.min1.thm1
2017-02-06 12:45
2.4K
scm_halt__3102_31.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3106_45.min1.thm1
2017-02-06 12:45
2.4K
scm_halt__3116_45.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__3116_45.min1.thm1.tptp
2017-02-06 16:47
2.1K
scm_halt__3126_60.min1.thm1
2017-02-06 12:45
2.5K
scm_halt__3128_56.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__3130_43.min1.thm1
2017-02-06 12:45
2.9K
scm_halt__3130_43.min1.thm1.tptp
2017-02-06 16:47
2.8K
scm_halt__3132_15.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__3240_9.min1.thm1
2017-02-06 12:45
2.6K
scm_halt__3245_26.min1.thm1
2017-02-06 12:45
798
scm_halt__3246_35.min1.thm1
2017-02-06 12:45
521
scm_halt__3250_27.min1.thm1
2017-02-06 12:45
433
scm_halt__3250_27.min1.thm1.tptp
2017-02-06 16:47
368
scm_halt__3254_42.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__3256_45.min1.thm1
2017-02-06 12:45
1.5K
scm_halt__3284_8.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__3301_11.min1.thm1
2017-02-06 12:45
269
scm_halt__3329_13.min1.thm1
2017-02-06 12:45
275
scm_halt__3333_30.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3345_31.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3440_36.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__3482_29.min1.thm1
2017-02-06 12:45
1.4K
scm_halt__3507_37.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__3507_37.min1.thm1.tptp
2017-02-06 16:47
1.0K
scm_halt__3508_22.min1.thm1
2017-02-06 12:45
678
scm_halt__3508_22.min1.thm1.tptp
2017-02-06 16:47
605
scm_halt__3511_29.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3517_18.min1.thm1
2017-02-06 12:45
742
scm_halt__3517_18.min1.thm1.tptp
2017-02-06 16:47
669
scm_halt__3531_20.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__3546_70.min1.thm1
2017-02-06 12:45
2.8K
scm_halt__3564_15.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3583_48.min1.thm1
2017-02-06 12:45
665
scm_halt__3583_48.min1.thm1.tptp
2017-02-06 16:47
588
scm_halt__3595_28.min1.thm1
2017-02-06 12:45
2.6K
scm_halt__3596_18.min1.thm1
2017-02-06 12:45
2.0K
scm_halt__3597_17.min1.thm1
2017-02-06 12:45
1.1K
scm_halt__3600_13.min1.thm1
2017-02-06 12:45
303
scm_halt__3611_58.min1.thm1
2017-02-06 12:45
639
scm_halt__3612_51.min1.thm1
2017-02-06 12:45
1.2K
scm_halt__3628_23.min1.thm1
2017-02-06 12:45
679
scm_halt__3628_23.min1.thm1.tptp
2017-02-06 16:47
606
scm_halt__3637_11.min1.thm1
2017-02-06 12:45
465
scm_halt__3642_37.min1.thm1
2017-02-06 12:45
2.8K
scm_halt__3660_38.min1.thm1
2017-02-06 12:45
570
scm_halt__3660_38.min1.thm1.tptp
2017-02-06 16:47
515
scm_halt__3671_24.min1.thm1
2017-02-06 12:45
1.7K
scm_halt__3673_28.min1.thm1
2017-02-06 12:45
1.8K
scm_halt__3674_28.min1.thm1
2017-02-06 12:45
2.2K
scm_halt__3688_50.min1.thm1
2017-02-06 12:45
766
scm_halt__3688_50.min1.thm1.tptp
2017-02-06 16:47
711
scm_halt__3720_17.min1.thm1
2017-02-06 12:45
237
scm_halt__3731_41.min1.thm1
2017-02-06 12:45
654
scm_halt__3746_37.min1.thm1
2017-02-06 12:45
2.3K
scm_halt__3747_40.min1.thm1
2017-02-06 12:45
1.6K
scm_halt__3787_33.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__3788_26.min1.thm1
2017-02-06 12:45
503
scm_halt__3790_13.min1.thm1
2017-02-06 12:45
954
scm_halt__3796_13.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__3811_33.min1.thm1
2017-02-06 12:45
1.3K
scm_halt__3812_23.min1.thm1
2017-02-06 12:45
479
scm_halt__3814_13.min1.thm1
2017-02-06 12:45
861
scm_halt__3834_26.min1.thm1
2017-02-06 12:45
503
scm_halt__3836_13.min1.thm1
2017-02-06 12:45
954
scm_halt__3856_23.min1.thm1
2017-02-06 12:45
479
scm_halt__3858_13.min1.thm1
2017-02-06 12:45
861
scm_halt__3874_29.min1.thm1
2017-02-06 12:45
465
scm_halt__3874_29.min1.thm1.tptp
2017-02-06 16:47
409
scm_halt__3879_8.min1.thm1
2017-02-06 12:45
1.0K
scm_halt__3880_37.min1.thm1
2017-02-06 12:45
446
scm_halt__3880_37.min1.thm1.tptp
2017-02-06 16:47
369
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80