Index of /~mptp/bob

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]00hist_bob1232017-12-11 10:53 40K 
[ ]Readme2017-08-29 12:58 474  
[ ]UseWatchlistEvo_mzr322017-10-09 12:25 292  
[ ]UseWatchlistEvo_mzr32_my2017-10-09 13:33 242  
[ ]UseWatchlistEvo_mzr32_my12017-10-09 14:11 214  
[ ]UseWatchlistEvo_mzr32_my22017-10-09 14:24 299  
[ ]UseWatchlistEvo_mzr32_my32017-10-09 14:46 305  
[ ]UseWatchlistEvo_mzr32_my3_1k2017-10-09 14:52 306  
[ ]UseWatchlistEvo_mzr32_my3_10k2017-10-09 14:55 307  
[ ]UseWatchlistEvo_mzr32_my42017-10-09 16:13 319  
[ ]UseWatchlistEvo_mzr32_my52017-10-09 16:51 323  
[ ]UseWatchlistEvo_mzr32_my62017-10-09 17:07 324  
[ ]UseWatchlistEvo_mzr32_my72017-10-09 17:26 241  
[ ]UseWatchlistEvo_mzr32_my82017-10-09 17:45 492  
[ ]UseWatchlistEvo_mzr32_my612017-10-09 17:17 324  
[ ]UseWatchlistEvo_mzr32_my622017-10-09 17:16 320  
[ ]UseWatchlistEvo_mzr32_my712017-10-09 17:26 237  
[ ]UseWatchlistEvo_mzr32_my722017-10-09 17:27 241  
[ ]UseWatchlistEvo_mzr32_my732017-10-09 17:27 240  
[ ]UseWatchlistEvo_mzr32_my812017-10-09 17:46 492  
[ ]UseWatchlistEvo_mzr32_my822017-10-09 17:46 491  
[ ]UseWatchlistEvo_mzr32_my832017-10-09 17:45 488  
[TXT]eprover-any.sh2017-10-09 13:34 149  
[ ]mis02222.prof2017-10-12 16:39 420K 
[ ]misc01.in2017-09-16 21:44 785K 
[ ]misc02.hints1.tptp1.hints2017-10-09 17:08 40K 
[ ]misc02.hints1.tptp1.in2017-10-09 16:43 2.4K 
[ ]misc02.in2017-09-20 10:20 6.5M 
[ ]misc02.in1.hints.tptp2017-10-09 13:20 14M 
[ ]misc02.in1.hints.tptp12017-10-09 13:29 15M 
[ ]misc02.in1.input.tptp2017-10-09 13:31 2.5K 
[ ]misc02.in1.input.tptp12017-10-09 13:32 2.7K 
[ ]misc02.in1.input.tptp1.out2017-10-09 17:12 289K 
[ ]misc02.in1.input.tptp1.out12017-10-11 21:05 664K 
[ ]misc02.in1.input.tptp1.out22017-10-11 21:05 672K 
[ ]misc02.in1.input.tptp1.out32017-10-09 14:47 25K 
[ ]misc02.in1.input.tptp1.out3_1k2017-10-09 15:14 95K 
[ ]misc02.in1.input.tptp1.out3_10k2017-10-11 21:07 548K 
[ ]misc02.in1.input.tptp1.out42017-10-09 16:14 7.9K 
[ ]misc02.in1.input.tptp1.out52017-10-09 17:38 920K 
[ ]misc02.in1.input.tptp1.out62017-10-09 17:41 2.8M 
[ ]misc02.in1.input.tptp1.out72017-10-09 17:41 1.7M 
[ ]misc02.in1.input.tptp1.out82017-10-11 21:05 37M 
[ ]misc02.in1.input.tptp1.out612017-10-09 17:41 544K 
[ ]misc02.in1.input.tptp1.out622017-10-09 17:41 852K 
[ ]misc02.in1.input.tptp1.out712017-10-09 17:41 872K 
[ ]misc02.in1.input.tptp1.out722017-10-09 17:41 528K 
[ ]misc02.in1.input.tptp1.out732017-10-09 20:47 1.3M 
[ ]misc02.in1.input.tptp1.out812017-10-11 21:05 4.1M 
[ ]misc02.in1.input.tptp1.out822017-10-11 21:07 4.5M 
[ ]misc02.in1.input.tptp1.out832017-10-11 21:07 7.2M 
[ ]misc02.in1.input.tptp1.prec12017-10-09 16:50 516  
[ ]misc02.in1.tptp2017-10-09 13:12 14M 
[ ]misc02.out2017-10-01 01:46 9.1M 
[ ]misc0222.prof2017-10-08 00:25 402K 
[ ]n01.in2017-08-18 15:38 10M 
[ ]n011.out.prof2017-10-08 08:36 448K 
[ ]n011_nohints.out.prof2017-10-09 12:42 437K 
[ ]n0111.out.prof2017-10-09 12:43 433K 
[ ]n02.in2017-08-18 15:38 10M 
[ ]n03.in2017-08-29 12:56 32M 
[ ]n04.in2017-09-05 16:18 10M 
[ ]n05.in2017-09-10 17:29 7.9M 
[ ]n06.in2017-09-10 18:03 7.9M 
[ ]n06b.in2017-09-13 14:31 8.1M 
[ ]n07.in2017-09-10 18:12 7.9M 
[ ]n08.out2017-10-15 10:37 32M 
[ ]screenlog.02017-12-11 10:53 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80