Index of /~mptp/1147/MPTP2/ilp0/t_1topsp
Name
Last modified
Size
Description
Parent Directory
-
t_1topsp__43_32.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__45_17.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__46_14.min1.thm1
2017-02-06 12:46
585
t_1topsp__46_14.min1.thm1.tptp
2017-02-06 16:47
503
t_1topsp__58_36.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__59_47.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__60_23.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__61_34.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__66_54.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__68_36.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__69_41.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__70_43.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__71_30.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__72_19.min1.thm1
2017-02-06 12:46
738
t_1topsp__76_54.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__78_30.min1.thm1
2017-02-06 12:46
738
t_1topsp__79_49.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__80_41.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__81_36.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__82_19.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__99_74.min1.thm1
2017-02-06 12:46
657
t_1topsp__100_46.min1.thm1
2017-02-06 12:46
317
t_1topsp__106_74.min1.thm1
2017-02-06 12:46
657
t_1topsp__107_16.min1.thm1
2017-02-06 12:46
695
t_1topsp__109_17.min1.thm1
2017-02-06 12:46
902
t_1topsp__118_76.min1.thm1
2017-02-06 12:46
598
t_1topsp__125_24.min1.thm1
2017-02-06 12:46
741
t_1topsp__126_18.min1.thm1
2017-02-06 12:46
495
t_1topsp__128_24.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__129_16.min1.thm1
2017-02-06 12:46
704
t_1topsp__130_19.min1.thm1
2017-02-06 12:46
967
t_1topsp__141_13.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__147_11.min1.thm1
2017-02-06 12:46
1.8K
t_1topsp__157_40.min1.thm1
2017-02-06 12:46
1.8K
t_1topsp__161_54.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__162_36.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__170_28.min1.thm1
2017-02-06 12:46
936
t_1topsp__171_18.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__177_33.min1.thm1
2017-02-06 12:46
641
t_1topsp__178_56.min1.thm1
2017-02-06 12:46
745
t_1topsp__180_41.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__181_18.min1.thm1
2017-02-06 12:46
438
t_1topsp__181_18.min1.thm1.tptp
2017-02-06 16:47
358
t_1topsp__185_65.min1.thm1
2017-02-06 12:46
709
t_1topsp__186_48.min1.thm1
2017-02-06 12:46
399
t_1topsp__192_49.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__194_18.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__195_21.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__199_23.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__200_30.min1.thm1
2017-02-06 12:46
748
t_1topsp__202_38.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__203_44.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__209_72.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__211_42.min1.thm1
2017-02-06 12:46
697
t_1topsp__215_44.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__216_26.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__218_17.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__224_14.min1.thm1
2017-02-06 12:46
413
t_1topsp__224_14.min1.thm1.tptp
2017-02-06 16:47
334
t_1topsp__233_15.min1.thm1
2017-02-06 12:46
681
t_1topsp__255_31.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__263_61.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__264_18.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__267_22.min1.thm1
2017-02-06 12:46
581
t_1topsp__268_39.min1.thm1
2017-02-06 12:46
335
t_1topsp__276_16.min1.thm1
2017-02-06 12:46
1.8K
t_1topsp__278_29.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__279_21.min1.thm1
2017-02-06 12:46
338
t_1topsp__280_22.min1.thm1
2017-02-06 12:46
2.5K
t_1topsp__285_16.min1.thm1
2017-02-06 12:46
1.8K
t_1topsp__290_17.min1.thm1
2017-02-06 12:46
481
t_1topsp__290_17.min1.thm1.tptp
2017-02-06 16:47
427
t_1topsp__291_21.min1.thm1
2017-02-06 12:46
1.3K
t_1topsp__293_18.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__294_21.min1.thm1
2017-02-06 12:46
1.3K
t_1topsp__295_22.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__297_31.min1.thm1
2017-02-06 12:46
360
t_1topsp__303_13.min1.thm1
2017-02-06 12:46
184
t_1topsp__307_19.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__308_40.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__309_20.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__310_21.min1.thm1
2017-02-06 12:46
338
t_1topsp__311_24.min1.thm1
2017-02-06 12:46
2.4K
t_1topsp__312_21.min1.thm1
2017-02-06 12:46
1.0K
t_1topsp__314_39.min1.thm1
2017-02-06 12:46
793
t_1topsp__324_14.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__325_20.min1.thm1
2017-02-06 12:46
707
t_1topsp__326_19.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__341_24.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__344_57.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__345_22.min1.thm1
2017-02-06 12:46
896
t_1topsp__346_73.min1.thm1
2017-02-06 12:46
693
t_1topsp__349_28.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__352_31.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__355_40.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__356_19.min1.thm1
2017-02-06 12:46
2.2K
t_1topsp__358_16.min1.thm1
2017-02-06 12:46
2.0K
t_1topsp__359_19.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__360_24.min1.thm1
2017-02-06 12:46
2.5K
t_1topsp__384_56.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__385_30.min1.thm1
2017-02-06 12:46
275
t_1topsp__386_38.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__388_29.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__409_24.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__410_31.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__417_55.min1.thm1
2017-02-06 12:46
1.5K
t_1topsp__418_32.min1.thm1
2017-02-06 12:46
283
t_1topsp__425_41.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__426_19.min1.thm1
2017-02-06 12:46
2.1K
t_1topsp__428_17.min1.thm1
2017-02-06 12:46
2.0K
t_1topsp__429_21.min1.thm1
2017-02-06 12:46
2.2K
t_1topsp__431_33.min1.thm1
2017-02-06 12:46
315
t_1topsp__431_33.min1.thm1.tptp
2017-02-06 16:47
238
t_1topsp__432_18.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__435_13.min1.thm1
2017-02-06 12:46
2.0K
t_1topsp__436_19.min1.thm1
2017-02-06 12:46
2.5K
t_1topsp__449_14.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__460_16.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__461_17.min1.thm1
2017-02-06 12:46
848
t_1topsp__462_24.min1.thm1
2017-02-06 12:46
2.1K
t_1topsp__463_24.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__466_16.min1.thm1
2017-02-06 12:46
232
t_1topsp__474_48.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__482_26.min1.thm1
2017-02-06 12:46
2.3K
t_1topsp__483_19.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__504_35.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__505_41.min1.thm1
2017-02-06 12:46
1.2K
t_1topsp__506_58.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__513_20.min1.thm1
2017-02-06 12:46
2.2K
t_1topsp__515_18.min1.thm1
2017-02-06 12:46
1.7K
t_1topsp__519_15.min1.thm1
2017-02-06 12:46
1.4K
t_1topsp__530_16.min1.thm1
2017-02-06 12:46
598
t_1topsp__532_30.min1.thm1
2017-02-06 12:46
2.1K
t_1topsp__533_15.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__534_19.min1.thm1
2017-02-06 12:46
886
t_1topsp__539_18.min1.thm1
2017-02-06 12:46
664
t_1topsp__541_36.min1.thm1
2017-02-06 12:46
562
t_1topsp__543_67.min1.thm1
2017-02-06 12:46
2.9K
t_1topsp__545_45.min1.thm1
2017-02-06 12:46
674
t_1topsp__549_76.min1.thm1
2017-02-06 12:46
1.1K
t_1topsp__556_17.min1.thm1
2017-02-06 12:46
427
t_1topsp__556_17.min1.thm1.tptp
2017-02-06 16:47
372
t_1topsp__557_69.min1.thm1
2017-02-06 12:46
956
t_1topsp__558_53.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__561_49.min1.thm1
2017-02-06 12:46
405
t_1topsp__561_49.min1.thm1.tptp
2017-02-06 16:47
327
t_1topsp__568_61.min1.thm1
2017-02-06 12:46
867
t_1topsp__568_61.min1.thm1.tptp
2017-02-06 16:47
779
t_1topsp__590_38.min1.thm1
2017-02-06 12:46
1.6K
t_1topsp__595_34.min1.thm1
2017-02-06 12:46
299
t_1topsp__605_15.min1.thm1
2017-02-06 12:46
1.9K
t_1topsp__610_20.min1.thm1
2017-02-06 12:46
2.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80