Index of /~mptp/1147/MPTP2/ilp0/setwop_2
Name
Last modified
Size
Description
Parent Directory
-
setwop_2__54_54.min1.thm1
2017-02-06 12:44
872
setwop_2__59_18.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__76_32.min1.thm1
2017-02-06 12:44
389
setwop_2__76_32.min1.thm1.tptp
2017-02-06 16:47
321
setwop_2__77_31.min1.thm1
2017-02-06 12:44
694
setwop_2__79_27.min1.thm1
2017-02-06 12:44
460
setwop_2__79_27.min1.thm1.tptp
2017-02-06 16:47
395
setwop_2__80_51.min1.thm1
2017-02-06 12:44
2.3K
setwop_2__82_24.min1.thm1
2017-02-06 12:44
1.8K
setwop_2__93_11.min1.thm1
2017-02-06 12:44
186
setwop_2__96_17.min1.thm1
2017-02-06 12:44
412
setwop_2__97_39.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__98_36.min1.thm1
2017-02-06 12:44
1.9K
setwop_2__119_22.min1.thm1
2017-02-06 12:44
282
setwop_2__125_16.min1.thm1
2017-02-06 12:44
438
setwop_2__125_16.min1.thm1.tptp
2017-02-06 16:47
367
setwop_2__127_21.min1.thm1
2017-02-06 12:44
906
setwop_2__128_25.min1.thm1
2017-02-06 12:44
435
setwop_2__128_25.min1.thm1.tptp
2017-02-06 16:47
373
setwop_2__130_30.min1.thm1
2017-02-06 12:44
697
setwop_2__131_16.min1.thm1
2017-02-06 12:44
407
setwop_2__131_16.min1.thm1.tptp
2017-02-06 16:47
332
setwop_2__133_23.min1.thm1
2017-02-06 12:44
522
setwop_2__134_15.min1.thm1
2017-02-06 12:44
204
setwop_2__137_37.min1.thm1
2017-02-06 12:44
810
setwop_2__138_23.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__142_49.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__147_12.min1.thm1
2017-02-06 12:44
524
setwop_2__147_12.min1.thm1.tptp
2017-02-06 16:47
460
setwop_2__149_20.min1.thm1
2017-02-06 12:44
329
setwop_2__150_31.min1.thm1
2017-02-06 12:44
659
setwop_2__152_29.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__165_24.min1.thm1
2017-02-06 12:44
402
setwop_2__165_24.min1.thm1.tptp
2017-02-06 16:47
343
setwop_2__181_13.min1.thm1
2017-02-06 12:44
258
setwop_2__185_20.min1.thm1
2017-02-06 12:44
282
setwop_2__190_45.min1.thm1
2017-02-06 12:44
2.1K
setwop_2__191_43.min1.thm1
2017-02-06 12:44
836
setwop_2__197_45.min1.thm1
2017-02-06 12:44
2.1K
setwop_2__198_43.min1.thm1
2017-02-06 12:44
836
setwop_2__201_18.min1.thm1
2017-02-06 12:44
864
setwop_2__218_31.min1.thm1
2017-02-06 12:44
473
setwop_2__218_31.min1.thm1.tptp
2017-02-06 16:47
399
setwop_2__219_24.min1.thm1
2017-02-06 12:44
356
setwop_2__221_22.min1.thm1
2017-02-06 12:44
743
setwop_2__223_19.min1.thm1
2017-02-06 12:44
1.8K
setwop_2__225_19.min1.thm1
2017-02-06 12:44
212
setwop_2__234_31.min1.thm1
2017-02-06 12:44
935
setwop_2__243_20.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__245_13.min1.thm1
2017-02-06 12:44
824
setwop_2__245_13.min1.thm1.tptp
2017-02-06 16:47
762
setwop_2__247_21.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__250_14.min1.thm1
2017-02-06 12:44
852
setwop_2__279_13.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__281_16.min1.thm1
2017-02-06 12:44
869
setwop_2__282_13.min1.thm1
2017-02-06 12:44
603
setwop_2__283_46.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__286_24.min1.thm1
2017-02-06 12:44
467
setwop_2__294_19.min1.thm1
2017-02-06 12:44
928
setwop_2__295_21.min1.thm1
2017-02-06 12:44
664
setwop_2__296_27.min1.thm1
2017-02-06 12:44
661
setwop_2__297_35.min1.thm1
2017-02-06 12:44
674
setwop_2__298_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__300_23.min1.thm1
2017-02-06 12:44
693
setwop_2__301_21.min1.thm1
2017-02-06 12:44
457
setwop_2__301_21.min1.thm1.tptp
2017-02-06 16:47
395
setwop_2__302_22.min1.thm1
2017-02-06 12:44
944
setwop_2__303_23.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__307_20.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__310_16.min1.thm1
2017-02-06 12:44
676
setwop_2__311_28.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__312_21.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__313_20.min1.thm1
2017-02-06 12:44
558
setwop_2__314_30.min1.thm1
2017-02-06 12:44
853
setwop_2__315_38.min1.thm1
2017-02-06 12:44
964
setwop_2__316_26.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__319_19.min1.thm1
2017-02-06 12:44
772
setwop_2__319_19.min1.thm1.tptp
2017-02-06 16:47
720
setwop_2__326_27.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__328_18.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__329_21.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__330_17.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__331_31.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__335_23.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__336_21.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__337_32.min1.thm1
2017-02-06 12:44
631
setwop_2__339_22.min1.thm1
2017-02-06 12:44
566
setwop_2__340_26.min1.thm1
2017-02-06 12:44
660
setwop_2__346_20.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__348_25.min1.thm1
2017-02-06 12:44
653
setwop_2__350_19.min1.thm1
2017-02-06 12:44
448
setwop_2__350_19.min1.thm1.tptp
2017-02-06 16:47
386
setwop_2__351_22.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__352_26.min1.thm1
2017-02-06 12:44
1.4K
setwop_2__354_29.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__356_19.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__357_16.min1.thm1
2017-02-06 12:44
529
setwop_2__358_30.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__359_29.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__363_11.min1.thm1
2017-02-06 12:44
412
setwop_2__364_22.min1.thm1
2017-02-06 12:44
827
setwop_2__365_27.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__366_41.min1.thm1
2017-02-06 12:44
2.5K
setwop_2__368_17.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__369_27.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__371_21.min1.thm1
2017-02-06 12:44
894
setwop_2__372_19.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__378_25.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__380_16.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__382_15.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__383_19.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__384_29.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__387_19.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__388_30.min1.thm1
2017-02-06 12:44
624
setwop_2__390_20.min1.thm1
2017-02-06 12:44
561
setwop_2__392_19.min1.thm1
2017-02-06 12:44
656
setwop_2__393_28.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__395_21.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__408_18.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__409_27.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__411_25.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__412_27.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__414_21.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__415_23.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__417_23.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__418_24.min1.thm1
2017-02-06 12:44
1.8K
setwop_2__427_17.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__428_17.min1.thm1
2017-02-06 12:44
604
setwop_2__429_22.min1.thm1
2017-02-06 12:44
845
setwop_2__431_20.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__432_18.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__439_19.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__441_15.min1.thm1
2017-02-06 12:44
194
setwop_2__444_18.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__445_27.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__453_19.min1.thm1
2017-02-06 12:44
608
setwop_2__454_27.min1.thm1
2017-02-06 12:44
837
setwop_2__462_16.min1.thm1
2017-02-06 12:44
666
setwop_2__472_26.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__474_16.min1.thm1
2017-02-06 12:44
597
setwop_2__475_38.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__476_19.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__479_14.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__491_11.min1.thm1
2017-02-06 12:44
594
setwop_2__492_20.min1.thm1
2017-02-06 12:44
817
setwop_2__494_16.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__495_20.min1.thm1
2017-02-06 12:44
955
setwop_2__506_25.min1.thm1
2017-02-06 12:44
748
setwop_2__529_15.min1.thm1
2017-02-06 12:44
194
setwop_2__533_17.min1.thm1
2017-02-06 12:44
424
setwop_2__535_25.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__539_18.min1.thm1
2017-02-06 12:44
608
setwop_2__541_22.min1.thm1
2017-02-06 12:44
837
setwop_2__542_23.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__547_17.min1.thm1
2017-02-06 12:44
818
setwop_2__549_20.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__551_18.min1.thm1
2017-02-06 12:44
402
setwop_2__551_18.min1.thm1.tptp
2017-02-06 16:47
324
setwop_2__552_21.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__553_25.min1.thm1
2017-02-06 12:44
2.1K
setwop_2__554_23.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__555_19.min1.thm1
2017-02-06 12:44
517
setwop_2__556_19.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__558_12.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__560_14.min1.thm1
2017-02-06 12:44
689
setwop_2__560_14.min1.thm1.tptp
2017-02-06 16:47
621
setwop_2__587_36.min1.thm1
2017-02-06 12:44
2.5K
setwop_2__590_39.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__594_14.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__594_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
setwop_2__656_48.min1.thm1
2017-02-06 12:44
2.4K
setwop_2__657_39.min1.thm1
2017-02-06 12:44
3.2K
setwop_2__660_31.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__663_11.min1.thm1
2017-02-06 12:44
856
setwop_2__665_14.min1.thm1
2017-02-06 12:44
926
setwop_2__665_14.min1.thm1.tptp
2017-02-06 16:47
849
setwop_2__686_48.min1.thm1
2017-02-06 12:44
2.4K
setwop_2__687_39.min1.thm1
2017-02-06 12:44
3.2K
setwop_2__690_31.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__693_11.min1.thm1
2017-02-06 12:44
854
setwop_2__695_14.min1.thm1
2017-02-06 12:44
924
setwop_2__695_14.min1.thm1.tptp
2017-02-06 16:47
847
setwop_2__708_16.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__722_16.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__745_35.min1.thm1
2017-02-06 12:44
2.9K
setwop_2__749_38.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__752_11.min1.thm1
2017-02-06 12:44
886
setwop_2__754_14.min1.thm1
2017-02-06 12:44
956
setwop_2__754_14.min1.thm1.tptp
2017-02-06 16:47
879
setwop_2__782_23.min1.thm1
2017-02-06 12:44
1.9K
setwop_2__795_28.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__798_12.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__806_11.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__814_15.min1.thm1
2017-02-06 12:44
372
setwop_2__817_11.min1.thm1
2017-02-06 12:44
693
setwop_2__824_14.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__825_24.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__828_20.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__843_14.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__847_20.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__850_21.min1.thm1
2017-02-06 12:44
2.8K
setwop_2__851_26.min1.thm1
2017-02-06 12:44
1.3K
setwop_2__853_56.min1.thm1
2017-02-06 12:44
2.7K
setwop_2__873_23.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__876_17.min1.thm1
2017-02-06 12:44
259
setwop_2__880_29.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__885_27.min1.thm1
2017-02-06 12:44
359
setwop_2__885_27.min1.thm1.tptp
2017-02-06 16:47
294
setwop_2__888_21.min1.thm1
2017-02-06 12:44
736
setwop_2__893_18.min1.thm1
2017-02-06 12:44
516
setwop_2__893_18.min1.thm1.tptp
2017-02-06 16:47
454
setwop_2__898_18.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__904_28.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__906_33.min1.thm1
2017-02-06 12:44
2.3K
setwop_2__907_16.min1.thm1
2017-02-06 12:44
355
setwop_2__907_16.min1.thm1.tptp
2017-02-06 16:47
290
setwop_2__912_27.min1.thm1
2017-02-06 12:44
368
setwop_2__925_15.min1.thm1
2017-02-06 12:44
253
setwop_2__951_24.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__952_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__953_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__957_15.min1.thm1
2017-02-06 12:44
253
setwop_2__962_19.min1.thm1
2017-02-06 12:44
3.2K
setwop_2__983_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__987_15.min1.thm1
2017-02-06 12:44
253
setwop_2__1000_56.min1.thm1
2017-02-06 12:44
2.5K
setwop_2__1011_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1015_15.min1.thm1
2017-02-06 12:44
253
setwop_2__1028_56.min1.thm1
2017-02-06 12:44
2.5K
setwop_2__1041_14.min1.thm1
2017-02-06 12:44
462
setwop_2__1073_13.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__1075_27.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1075_35.min1.thm1
2017-02-06 12:44
924
setwop_2__1077_8.min1.thm1
2017-02-06 12:44
502
setwop_2__1079_14.min1.thm1
2017-02-06 12:44
589
setwop_2__1079_14.min1.thm1.tptp
2017-02-06 16:47
512
setwop_2__1102_14.min1.thm1
2017-02-06 12:44
513
setwop_2__1107_18.min1.thm1
2017-02-06 12:44
280
setwop_2__1110_25.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1111_32.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__1112_46.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__1117_46.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1120_23.min1.thm1
2017-02-06 12:44
2.2K
setwop_2__1121_19.min1.thm1
2017-02-06 12:44
1.9K
setwop_2__1132_20.min1.thm1
2017-02-06 12:44
1.4K
setwop_2__1140_23.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__1151_18.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__1153_9.min1.thm1
2017-02-06 12:44
476
setwop_2__1155_19.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1179_40.min1.thm1
2017-02-06 12:44
1.0K
setwop_2__1180_22.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1183_11.min1.thm1
2017-02-06 12:44
694
setwop_2__1185_14.min1.thm1
2017-02-06 12:44
738
setwop_2__1185_14.min1.thm1.tptp
2017-02-06 16:47
661
setwop_2__1212_23.min1.thm1
2017-02-06 12:44
1.9K
setwop_2__1226_28.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1229_12.min1.thm1
2017-02-06 12:44
1.2K
setwop_2__1246_40.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__1247_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1248_24.min1.thm1
2017-02-06 12:44
1.1K
setwop_2__1249_67.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1250_61.min1.thm1
2017-02-06 12:44
1.7K
setwop_2__1261_28.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1282_28.min1.thm1
2017-02-06 12:44
1.6K
setwop_2__1290_65.min1.thm1
2017-02-06 12:44
858
setwop_2__1320_42.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__1321_53.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__1338_42.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__1339_53.min1.thm1
2017-02-06 12:44
1.5K
setwop_2__1355_16.min1.thm1
2017-02-06 12:44
2.0K
setwop_2__1369_16.min1.thm1
2017-02-06 12:44
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80