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

[ ] vlsat1_1984_60716.cnf.bz2  147.91Kb  March 6 2020
[ ] vlsat1_210_1275.cnf.bz2  3.40Kb  March 6 2020
[ ] vlsat1_21_40.cnf.bz2  441.00b  March 6 2020
[ ] vlsat1_22110_2753207.cnf.bz2  10.30Mb  March 6 2020
[ ] vlsat1_222_1477.cnf.bz2  3.89Kb  March 6 2020
[ ] vlsat1_227046_49947755.cnf.bz2  186.01Mb  March 6 2020
[ ] vlsat1_2289_274818.cnf.bz2  764.72Kb  March 6 2020
[ ] vlsat1_228_3437.cnf.bz2  6.24Kb  March 6 2020
[ ] vlsat1_240_1624.cnf.bz2  4.34Kb  March 6 2020
[ ] vlsat1_2450_58066.cnf.bz2  134.23Kb  March 6 2020
[ ] vlsat1_24_34.cnf.bz2  428.00b  March 6 2020
[ ] vlsat1_24_56.cnf.bz2  478.00b  March 6 2020
[ ] vlsat1_252_3132.cnf.bz2  6.89Kb  March 6 2020
[ ] vlsat1_264_1474.cnf.bz2  3.61Kb  March 6 2020
[ ] vlsat1_272_1898.cnf.bz2  5.02Kb  March 6 2020
[ ] vlsat1_27_54.cnf.bz2  482.00b  March 6 2020
[ ] vlsat1_288_2066.cnf.bz2  5.08Kb  March 6 2020
[ ] vlsat1_28_56.cnf.bz2  480.00b  March 6 2020
[ ] vlsat1_304_2782.cnf.bz2  5.73Kb  March 6 2020
[ ] vlsat1_30_58.cnf.bz2  502.00b  March 6 2020
[ ] vlsat1_315_3608.cnf.bz2  7.79Kb  March 6 2020
[ ] vlsat1_32_84.cnf.bz2  542.00b  March 6 2020
[ ] vlsat1_336_2394.cnf.bz2  6.42Kb  March 6 2020
[ ] vlsat1_33_116.cnf.bz2  586.00b  March 6 2020
[ ] vlsat1_3480_149734.cnf.bz2  324.86Kb  March 6 2020
[ ] vlsat1_354_3239.cnf.bz2  8.17Kb  March 6 2020
[ ] vlsat1_35_82.cnf.bz2  550.00b  March 6 2020
[ ] vlsat1_378_1893.cnf.bz2  5.45Kb  March 6 2020
[ ] vlsat1_38_53.cnf.bz2  466.00b  March 6 2020
[ ] vlsat1_3920_93576.cnf.bz2  289.31Kb  March 6 2020

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