Index of ftp://ftp.inrialpes.fr/pub/vasy/benchmarks/vlsat/

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 04 of 43
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] vlsat1_80_178.cnf.bz2  844.00b  March 6 2020
[ ] vlsat1_810_22731.cnf.bz2  32.65Kb  March 6 2020
[ ] vlsat1_81_333.cnf.bz2  1.13Kb  March 6 2020
[ ] vlsat1_85_377.cnf.bz2  1.17Kb  March 6 2020
[ ] vlsat1_900_15616.cnf.bz2  38.79Kb  March 6 2020
[ ] vlsat1_90_316.cnf.bz2  1.11Kb  March 6 2020
[ ] vlsat1_93_409.cnf.bz2  1.28Kb  March 6 2020
[ ] vlsat1_9588_392364.cnf.bz2  1.35Mb  March 6 2020
[ ] vlsat1_96_611.cnf.bz2  1.56Kb  March 6 2020
[ ] vlsat1_992_13641.cnf.bz2  30.63Kb  March 6 2020
[ ] vlsat2_1000_22250.cnf.bz2  31.08Kb  August 27 2021
[ ] vlsat2_1022_14955.cnf.bz2  39.00Kb  August 27 2021
[ ] vlsat2_11130_1186888.cnf.bz2  3.76Mb  August 27 2021
[ ] vlsat2_1125_15795.cnf.bz2  37.07Kb  August 27 2021
[ ] vlsat2_11280_4223777.cnf.bz2  13.82Mb  August 27 2021
[ ] vlsat2_1134_26703.cnf.bz2  64.61Kb  August 27 2021
[ ] vlsat2_11374_1150943.cnf.bz2  4.05Mb  August 27 2021
[ ] vlsat2_1155_42917.cnf.bz2  75.05Kb  August 27 2021
[ ] vlsat2_11664_5532624.cnf.bz2  19.69Mb  August 27 2021
[ ] vlsat2_1183_26975.cnf.bz2  68.54Kb  August 27 2021
[ ] vlsat2_1209_29889.cnf.bz2  74.48Kb  August 27 2021
[ ] vlsat2_12690_1481522.cnf.bz2  5.35Mb  August 27 2021
[ ] vlsat2_1326_35956.cnf.bz2  90.24Kb  August 27 2021
[ ] vlsat2_1352_42432.cnf.bz2  104.82Kb  August 31 2021
[ ] vlsat2_14016_1374747.cnf.bz2  5.06Mb  August 27 2021
[ ] vlsat2_14280_6781327.cnf.bz2  23.53Mb  August 27 2021
[ ] vlsat2_14424_7585190.cnf.bz2  27.85Mb  August 27 2021
[ ] vlsat2_14637_1778453.cnf.bz2  6.59Mb  August 27 2021
[ ] vlsat2_14640_1323246.cnf.bz2  4.08Mb  August 27 2021
[ ] vlsat2_15249_1937993.cnf.bz2  7.23Mb  August 27 2021

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 04 of 43
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->