Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fdiff_5
Name
Last modified
Size
Description
Parent Directory
-
fdiff_5__l23_fdiff_5.depv1
2021-07-25 20:57
269
fdiff_5__l23_fdiff_5.depvmin1
2021-07-25 21:03
269
fdiff_5__t19_fdiff_5.depv1
2021-07-25 20:57
298
fdiff_5__t19_fdiff_5.depvmin1
2021-07-25 21:03
298
fdiff_5__l23_fdiff_5.vmin1
2021-07-25 20:57
2.5K
fdiff_5__t19_fdiff_5.vmin1
2021-07-25 20:57
3.9K
fdiff_5__l1_fdiff_5.vout
2021-07-25 17:25
6.8K
fdiff_5__t1_fdiff_5.vout
2021-07-25 14:46
6.8K
fdiff_5__l2_fdiff_5.vout
2021-07-25 18:42
6.8K
fdiff_5__t2_fdiff_5.vout
2021-07-25 19:56
6.8K
fdiff_5__t3_fdiff_5.vout
2021-07-25 18:09
6.8K
fdiff_5__t20_fdiff_5.vout
2021-07-25 20:57
6.8K
fdiff_5__t11_fdiff_5.vout
2021-07-25 20:00
6.8K
fdiff_5__t13_fdiff_5.vout
2021-07-25 19:41
6.8K
fdiff_5__t25_fdiff_5.vout
2021-07-25 19:15
6.8K
fdiff_5__t10_fdiff_5.vout
2021-07-25 16:53
6.8K
fdiff_5__t12_fdiff_5.vout
2021-07-25 19:12
6.8K
fdiff_5__t22_fdiff_5.vout
2021-07-25 20:38
6.8K
fdiff_5__t4_fdiff_5.vout
2021-07-25 15:44
7.3K
fdiff_5__l8_fdiff_5.vout
2021-07-25 15:28
7.3K
fdiff_5__l3_fdiff_5.vout
2021-07-25 16:20
7.3K
fdiff_5__t16_fdiff_5.vout
2021-07-25 19:58
7.3K
fdiff_5__t21_fdiff_5.vout
2021-07-25 19:41
7.3K
fdiff_5__l23_fdiff_5.vmin1out
2021-07-25 21:01
16K
fdiff_5__l23_fdiff_5
2021-07-17 20:56
20K
fdiff_5__l23_fdiff_5.vout
2021-07-25 20:28
20K
fdiff_5__t19_fdiff_5
2021-07-17 21:01
22K
fdiff_5__l8_fdiff_5
2021-07-17 21:04
27K
fdiff_5__t16_fdiff_5
2021-07-17 21:00
33K
fdiff_5__l2_fdiff_5
2021-07-17 21:03
34K
fdiff_5__t20_fdiff_5
2021-07-17 21:01
34K
fdiff_5__l1_fdiff_5
2021-07-17 21:03
34K
fdiff_5__t25_fdiff_5
2021-07-17 21:03
41K
fdiff_5__t4_fdiff_5
2021-07-17 20:58
42K
fdiff_5__t10_fdiff_5
2021-07-17 20:58
43K
fdiff_5__t12_fdiff_5
2021-07-17 20:59
43K
fdiff_5__t11_fdiff_5
2021-07-17 20:59
43K
fdiff_5__t13_fdiff_5
2021-07-17 21:00
43K
fdiff_5__t21_fdiff_5
2021-07-17 21:02
45K
fdiff_5__t19_fdiff_5.vout
2021-07-25 18:55
46K
fdiff_5__t19_fdiff_5.vmin1out
2021-07-25 20:59
46K
fdiff_5__t3_fdiff_5
2021-07-17 20:58
48K
fdiff_5__l3_fdiff_5
2021-07-17 21:04
118K
fdiff_5__t1_fdiff_5
2021-07-17 20:57
119K
fdiff_5__t2_fdiff_5
2021-07-17 20:57
119K
fdiff_5__t22_fdiff_5
2021-07-17 21:02
182K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80