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

[ ] vlsat1_102_481.cnf.bz2  1.33Kb  March 6 2020
[ ] vlsat1_108_345.cnf.bz2  1.19Kb  March 6 2020
[ ] vlsat1_10_17.cnf.bz2  370.00b  March 6 2020
[ ] vlsat1_1104_75598.cnf.bz2  136.08Kb  March 6 2020
[ ] vlsat1_112_238.cnf.bz2  1.01Kb  March 6 2020
[ ] vlsat1_117_328.cnf.bz2  1.17Kb  March 6 2020
[ ] vlsat1_1200_31325.cnf.bz2  65.15Kb  March 6 2020
[ ] vlsat1_120_1016.cnf.bz2  2.38Kb  March 6 2020
[ ] vlsat1_120_724.cnf.bz2  1.75Kb  March 6 2020
[ ] vlsat1_12_16.cnf.bz2  371.00b  March 6 2020
[ ] vlsat1_130_393.cnf.bz2  1.19Kb  March 6 2020
[ ] vlsat1_135_510.cnf.bz2  1.64Kb  March 6 2020
[ ] vlsat1_1365_26963.cnf.bz2  70.79Kb  March 6 2020
[ ] vlsat1_140_1371.cnf.bz2  2.99Kb  March 6 2020
[ ] vlsat1_144_648.cnf.bz2  2.01Kb  March 6 2020
[ ] vlsat1_14847_1769105.cnf.bz2  6.56Mb  March 6 2020
[ ] vlsat1_14_19.cnf.bz2  384.00b  March 6 2020
[ ] vlsat1_153_714.cnf.bz2  1.95Kb  March 6 2020
[ ] vlsat1_15498_838393.cnf.bz2  3.06Mb  March 6 2020
[ ] vlsat1_15_23.cnf.bz2  395.00b  March 6 2020
[ ] vlsat1_1600_31240.cnf.bz2  50.84Kb  March 6 2020
[ ] vlsat1_160_1028.cnf.bz2  2.51Kb  March 6 2020
[ ] vlsat1_168_722.cnf.bz2  2.19Kb  March 6 2020
[ ] vlsat1_16_24.cnf.bz2  393.00b  March 6 2020
[ ] vlsat1_170_1247.cnf.bz2  2.43Kb  March 6 2020
[ ] vlsat1_185_1132.cnf.bz2  2.74Kb  March 6 2020
[ ] vlsat1_18_21.cnf.bz2  390.00b  March 6 2020
[ ] vlsat1_18_49.cnf.bz2  422.00b  March 6 2020
[ ] vlsat1_195_899.cnf.bz2  2.62Kb  March 6 2020
[ ] vlsat1_196_1092.cnf.bz2  3.08Kb  March 6 2020

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