Index of /~mptp/1147/MPTP2/ilp0/pcomps_1
Name
Last modified
Size
Description
Parent Directory
-
pcomps_1__54_25.min1.thm1
2017-02-06 12:46
909
pcomps_1__56_20.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__57_22.min1.thm1
2017-02-06 12:46
967
pcomps_1__58_19.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__60_17.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__72_16.min1.thm1
2017-02-06 12:46
532
pcomps_1__78_20.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__80_16.min1.thm1
2017-02-06 12:46
410
pcomps_1__82_17.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__95_24.min1.thm1
2017-02-06 12:46
831
pcomps_1__104_36.min1.thm1
2017-02-06 12:46
515
pcomps_1__106_20.min1.thm1
2017-02-06 12:46
461
pcomps_1__114_35.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__117_29.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__120_23.min1.thm1
2017-02-06 12:46
751
pcomps_1__149_44.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__150_17.min1.thm1
2017-02-06 12:46
353
pcomps_1__152_17.min1.thm1
2017-02-06 12:46
457
pcomps_1__152_17.min1.thm1.tptp
2017-02-06 16:47
393
pcomps_1__171_20.min1.thm1
2017-02-06 12:46
333
pcomps_1__171_20.min1.thm1.tptp
2017-02-06 16:47
247
pcomps_1__172_23.min1.thm1
2017-02-06 12:46
333
pcomps_1__172_23.min1.thm1.tptp
2017-02-06 16:47
247
pcomps_1__184_24.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__186_25.min1.thm1
2017-02-06 12:46
365
pcomps_1__186_25.min1.thm1.tptp
2017-02-06 16:47
283
pcomps_1__187_27.min1.thm1
2017-02-06 12:46
938
pcomps_1__188_26.min1.thm1
2017-02-06 12:46
466
pcomps_1__192_23.min1.thm1
2017-02-06 12:46
654
pcomps_1__194_21.min1.thm1
2017-02-06 12:46
776
pcomps_1__210_18.min1.thm1
2017-02-06 12:46
764
pcomps_1__211_21.min1.thm1
2017-02-06 12:46
410
pcomps_1__211_21.min1.thm1.tptp
2017-02-06 16:47
332
pcomps_1__241_41.min1.thm1
2017-02-06 12:46
535
pcomps_1__242_54.min1.thm1
2017-02-06 12:46
833
pcomps_1__243_22.min1.thm1
2017-02-06 12:46
833
pcomps_1__246_15.min1.thm1
2017-02-06 12:46
389
pcomps_1__246_15.min1.thm1.tptp
2017-02-06 16:47
325
pcomps_1__251_41.min1.thm1
2017-02-06 12:46
535
pcomps_1__252_54.min1.thm1
2017-02-06 12:46
833
pcomps_1__253_22.min1.thm1
2017-02-06 12:46
833
pcomps_1__255_20.min1.thm1
2017-02-06 12:46
389
pcomps_1__255_20.min1.thm1.tptp
2017-02-06 16:47
325
pcomps_1__256_19.min1.thm1
2017-02-06 12:46
422
pcomps_1__269_16.min1.thm1
2017-02-06 12:46
599
pcomps_1__271_17.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__279_32.min1.thm1
2017-02-06 12:46
129
pcomps_1__288_36.min1.thm1
2017-02-06 12:46
906
pcomps_1__289_51.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__293_15.min1.thm1
2017-02-06 12:46
610
pcomps_1__300_32.min1.thm1
2017-02-06 12:46
129
pcomps_1__313_22.min1.thm1
2017-02-06 12:46
855
pcomps_1__321_38.min1.thm1
2017-02-06 12:46
944
pcomps_1__323_21.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__325_19.min1.thm1
2017-02-06 12:46
529
pcomps_1__325_19.min1.thm1.tptp
2017-02-06 16:47
447
pcomps_1__333_45.min1.thm1
2017-02-06 12:46
129
pcomps_1__341_36.min1.thm1
2017-02-06 12:46
940
pcomps_1__345_17.min1.thm1
2017-02-06 12:46
623
pcomps_1__365_34.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__377_34.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__384_30.min1.thm1
2017-02-06 12:46
454
pcomps_1__406_37.min1.thm1
2017-02-06 12:46
592
pcomps_1__406_37.min1.thm1.tptp
2017-02-06 16:47
506
pcomps_1__408_19.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__408_19.min1.thm1.tptp
2017-02-06 16:47
1.0K
pcomps_1__418_17.min1.thm1
2017-02-06 12:46
410
pcomps_1__418_17.min1.thm1.tptp
2017-02-06 16:47
347
pcomps_1__420_20.min1.thm1
2017-02-06 12:46
579
pcomps_1__435_56.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__437_57.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__439_19.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__441_15.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__442_13.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__443_22.min1.thm1
2017-02-06 12:46
1.6K
pcomps_1__444_26.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__446_23.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__447_32.min1.thm1
2017-02-06 12:46
708
pcomps_1__448_49.min1.thm1
2017-02-06 12:46
674
pcomps_1__449_41.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__450_19.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__451_27.min1.thm1
2017-02-06 12:46
848
pcomps_1__452_44.min1.thm1
2017-02-06 12:46
535
pcomps_1__452_44.min1.thm1.tptp
2017-02-06 16:47
458
pcomps_1__453_36.min1.thm1
2017-02-06 12:46
665
pcomps_1__453_36.min1.thm1.tptp
2017-02-06 16:47
594
pcomps_1__454_55.min1.thm1
2017-02-06 12:46
2.2K
pcomps_1__456_63.min1.thm1
2017-02-06 12:46
1.8K
pcomps_1__460_16.min1.thm1
2017-02-06 12:46
516
pcomps_1__469_23.min1.thm1
2017-02-06 12:46
1.7K
pcomps_1__470_32.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__471_19.min1.thm1
2017-02-06 12:46
2.1K
pcomps_1__477_22.min1.thm1
2017-02-06 12:46
728
pcomps_1__478_19.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__482_19.min1.thm1
2017-02-06 12:46
679
pcomps_1__484_18.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__485_28.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__486_32.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__487_19.min1.thm1
2017-02-06 12:46
1.6K
pcomps_1__490_12.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__492_19.min1.thm1
2017-02-06 12:46
1.8K
pcomps_1__494_17.min1.thm1
2017-02-06 12:46
883
pcomps_1__506_36.min1.thm1
2017-02-06 12:46
516
pcomps_1__509_32.min1.thm1
2017-02-06 12:46
133
pcomps_1__512_20.min1.thm1
2017-02-06 12:46
740
pcomps_1__515_17.min1.thm1
2017-02-06 12:46
495
pcomps_1__515_17.min1.thm1.tptp
2017-02-06 16:47
441
pcomps_1__525_49.min1.thm1
2017-02-06 12:46
619
pcomps_1__529_16.min1.thm1
2017-02-06 12:46
400
pcomps_1__550_20.min1.thm1
2017-02-06 12:46
262
pcomps_1__551_23.min1.thm1
2017-02-06 12:46
262
pcomps_1__556_32.min1.thm1
2017-02-06 12:46
744
pcomps_1__558_19.min1.thm1
2017-02-06 12:46
1.6K
pcomps_1__571_24.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__574_22.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__576_27.min1.thm1
2017-02-06 12:46
857
pcomps_1__580_24.min1.thm1
2017-02-06 12:46
291
pcomps_1__581_29.min1.thm1
2017-02-06 12:46
388
pcomps_1__581_29.min1.thm1.tptp
2017-02-06 16:47
302
pcomps_1__582_38.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__583_38.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__584_34.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__585_29.min1.thm1
2017-02-06 12:46
695
pcomps_1__597_20.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__598_40.min1.thm1
2017-02-06 12:46
644
pcomps_1__599_23.min1.thm1
2017-02-06 12:46
855
pcomps_1__600_45.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__601_48.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__603_22.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__607_23.min1.thm1
2017-02-06 12:46
919
pcomps_1__607_23.min1.thm1.tptp
2017-02-06 16:47
831
pcomps_1__616_30.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__631_42.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__632_35.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__638_27.min1.thm1
2017-02-06 12:46
133
pcomps_1__644_40.min1.thm1
2017-02-06 12:46
821
pcomps_1__648_34.min1.thm1
2017-02-06 12:46
423
pcomps_1__648_34.min1.thm1.tptp
2017-02-06 16:47
359
pcomps_1__655_48.min1.thm1
2017-02-06 12:46
1.6K
pcomps_1__658_37.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__671_19.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__675_15.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__683_20.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__685_22.min1.thm1
2017-02-06 12:46
748
pcomps_1__686_17.min1.thm1
2017-02-06 12:46
719
pcomps_1__688_24.min1.thm1
2017-02-06 12:46
774
pcomps_1__690_17.min1.thm1
2017-02-06 12:46
814
pcomps_1__691_23.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__693_21.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__698_17.min1.thm1
2017-02-06 12:46
821
pcomps_1__716_20.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__720_16.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__721_33.min1.thm1
2017-02-06 12:46
317
pcomps_1__722_20.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__723_20.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__724_21.min1.thm1
2017-02-06 12:46
854
pcomps_1__729_31.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__730_30.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__731_34.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__732_17.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__755_19.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__776_19.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__778_57.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__779_23.min1.thm1
2017-02-06 12:46
826
pcomps_1__780_28.min1.thm1
2017-02-06 12:46
280
pcomps_1__781_31.min1.thm1
2017-02-06 12:46
338
pcomps_1__781_31.min1.thm1.tptp
2017-02-06 16:47
260
pcomps_1__782_18.min1.thm1
2017-02-06 12:46
692
pcomps_1__805_19.min1.thm1
2017-02-06 12:46
861
pcomps_1__817_24.min1.thm1
2017-02-06 12:46
384
pcomps_1__817_24.min1.thm1.tptp
2017-02-06 16:47
298
pcomps_1__820_30.min1.thm1
2017-02-06 12:46
773
pcomps_1__827_24.min1.thm1
2017-02-06 12:46
446
pcomps_1__827_24.min1.thm1.tptp
2017-02-06 16:47
360
pcomps_1__828_24.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__830_30.min1.thm1
2017-02-06 12:46
773
pcomps_1__833_23.min1.thm1
2017-02-06 12:46
334
pcomps_1__836_27.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__838_24.min1.thm1
2017-02-06 12:46
845
pcomps_1__845_18.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__848_23.min1.thm1
2017-02-06 12:46
803
pcomps_1__853_20.min1.thm1
2017-02-06 12:46
597
pcomps_1__856_16.min1.thm1
2017-02-06 12:46
254
pcomps_1__858_20.min1.thm1
2017-02-06 12:46
816
pcomps_1__863_28.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__877_40.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__880_14.min1.thm1
2017-02-06 12:46
602
pcomps_1__881_34.min1.thm1
2017-02-06 12:46
516
pcomps_1__883_18.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__898_18.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__899_21.min1.thm1
2017-02-06 12:46
727
pcomps_1__900_38.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__901_31.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__902_34.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__903_32.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__904_31.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__905_31.min1.thm1
2017-02-06 12:46
625
pcomps_1__906_23.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__909_16.min1.thm1
2017-02-06 12:46
394
pcomps_1__916_29.min1.thm1
2017-02-06 12:46
599
pcomps_1__916_29.min1.thm1.tptp
2017-02-06 16:47
545
pcomps_1__917_33.min1.thm1
2017-02-06 12:46
490
pcomps_1__922_22.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__923_36.min1.thm1
2017-02-06 12:46
880
pcomps_1__924_35.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__925_25.min1.thm1
2017-02-06 12:46
640
pcomps_1__925_25.min1.thm1.tptp
2017-02-06 16:47
576
pcomps_1__926_24.min1.thm1
2017-02-06 12:46
742
pcomps_1__927_25.min1.thm1
2017-02-06 12:46
608
pcomps_1__940_16.min1.thm1
2017-02-06 12:46
1.1K
pcomps_1__942_20.min1.thm1
2017-02-06 12:46
262
pcomps_1__943_18.min1.thm1
2017-02-06 12:46
526
pcomps_1__946_19.min1.thm1
2017-02-06 12:46
829
pcomps_1__950_21.min1.thm1
2017-02-06 12:46
767
pcomps_1__970_17.min1.thm1
2017-02-06 12:46
663
pcomps_1__980_20.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__985_18.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1012_24.min1.thm1
2017-02-06 12:46
530
pcomps_1__1014_16.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1015_21.min1.thm1
2017-02-06 12:46
557
pcomps_1__1020_20.min1.thm1
2017-02-06 12:46
773
pcomps_1__1020_20.min1.thm1.tptp
2017-02-06 16:47
695
pcomps_1__1025_18.min1.thm1
2017-02-06 12:46
650
pcomps_1__1060_66.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1061_24.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1065_66.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1066_24.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1068_21.min1.thm1
2017-02-06 12:46
535
pcomps_1__1068_21.min1.thm1.tptp
2017-02-06 16:47
447
pcomps_1__1070_19.min1.thm1
2017-02-06 12:46
949
pcomps_1__1079_9.min1.thm1
2017-02-06 12:46
324
pcomps_1__1081_15.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1082_13.min1.thm1
2017-02-06 12:46
888
pcomps_1__1090_28.min1.thm1
2017-02-06 12:46
383
pcomps_1__1096_20.min1.thm1
2017-02-06 12:46
917
pcomps_1__1097_22.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1102_17.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1107_40.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1109_34.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1110_43.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1112_21.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1126_24.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1129_29.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1130_19.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1133_29.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1135_27.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__1136_33.min1.thm1
2017-02-06 12:46
693
pcomps_1__1137_27.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__1138_17.min1.thm1
2017-02-06 12:46
694
pcomps_1__1148_71.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1156_55.min1.thm1
2017-02-06 12:46
787
pcomps_1__1157_17.min1.thm1
2017-02-06 12:46
1.3K
pcomps_1__1173_18.min1.thm1
2017-02-06 12:46
687
pcomps_1__1176_21.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1177_13.min1.thm1
2017-02-06 12:46
780
pcomps_1__1180_21.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1183_29.min1.thm1
2017-02-06 12:46
1.6K
pcomps_1__1185_21.min1.thm1
2017-02-06 12:46
625
pcomps_1__1186_29.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__1187_26.min1.thm1
2017-02-06 12:46
625
pcomps_1__1188_19.min1.thm1
2017-02-06 12:46
895
pcomps_1__1206_13.min1.thm1
2017-02-06 12:46
701
pcomps_1__1207_35.min1.thm1
2017-02-06 12:46
516
pcomps_1__1212_17.min1.thm1
2017-02-06 12:46
250
pcomps_1__1213_19.min1.thm1
2017-02-06 12:46
712
pcomps_1__1214_19.min1.thm1
2017-02-06 12:46
615
pcomps_1__1224_43.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1235_11.min1.thm1
2017-02-06 12:46
560
pcomps_1__1241_14.min1.thm1
2017-02-06 12:46
850
pcomps_1__1263_21.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1264_25.min1.thm1
2017-02-06 12:46
2.5K
pcomps_1__1266_12.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1272_60.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1289_38.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1292_16.min1.thm1
2017-02-06 12:46
1.0K
pcomps_1__1303_18.min1.thm1
2017-02-06 12:46
873
pcomps_1__1326_35.min1.thm1
2017-02-06 12:46
756
pcomps_1__1332_47.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1334_47.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1335_70.min1.thm1
2017-02-06 12:46
1.5K
pcomps_1__1350_47.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__1352_47.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__1355_20.min1.thm1
2017-02-06 12:46
1.9K
pcomps_1__1360_17.min1.thm1
2017-02-06 12:46
1.2K
pcomps_1__1360_17.min1.thm1.tptp
2017-02-06 16:47
1.1K
pcomps_1__1370_14.min1.thm1
2017-02-06 12:46
1.4K
pcomps_1__1391_21.min1.thm1
2017-02-06 12:46
609
pcomps_1__1404_44.min1.thm1
2017-02-06 12:46
794
pcomps_1__1405_14.min1.thm1
2017-02-06 12:46
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80