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

[ ] vlsat2_15440_1409906.cnf.bz2  4.46Mb  August 27 2021
[ ] vlsat2_1560_54564.cnf.bz2  138.03Kb  August 27 2021
[ ] vlsat2_15704_1804650.cnf.bz2  6.65Mb  August 27 2021
[ ] vlsat2_1586_57751.cnf.bz2  144.57Kb  August 27 2021
[ ] vlsat2_15960_1464039.cnf.bz2  4.66Mb  August 27 2021
[ ] vlsat2_16269_2203672.cnf.bz2  8.30Mb  August 27 2021
[ ] vlsat2_16297_1562268.cnf.bz2  5.78Mb  August 27 2021
[ ] vlsat2_16676_1598591.cnf.bz2  5.92Mb  August 27 2021
[ ] vlsat2_16788_9021307.cnf.bz2  33.90Mb  August 27 2021
[ ] vlsat2_17688_1741702.cnf.bz2  6.51Mb  August 27 2021
[ ] vlsat2_18250_2995915.cnf.bz2  9.47Mb  August 27 2021
[ ] vlsat2_19565_3665001.cnf.bz2  14.19Mb  August 27 2021
[ ] vlsat2_20424_2157568.cnf.bz2  8.24Mb  August 27 2021
[ ] vlsat2_21114_2240429.cnf.bz2  8.59Mb  August 27 2021
[ ] vlsat2_21190_2597791.cnf.bz2  9.66Mb  August 27 2021
[ ] vlsat2_21546_2615351.cnf.bz2  10.25Mb  August 27 2021
[ ] vlsat2_21573_2289124.cnf.bz2  8.79Mb  August 27 2021
[ ] vlsat2_22032_3022731.cnf.bz2  11.75Mb  August 27 2021
[ ] vlsat2_2231_68844.cnf.bz2  175.67Kb  August 27 2021
[ ] vlsat2_2340_70758.cnf.bz2  177.05Kb  August 27 2021
[ ] vlsat2_23961_2714844.cnf.bz2  10.56Mb  August 27 2021
[ ] vlsat2_2403_100259.cnf.bz2  281.93Kb  August 27 2021
[ ] vlsat2_24450_2770239.cnf.bz2  9.22Mb  August 27 2021
[ ] vlsat2_2548_119204.cnf.bz2  336.33Kb  August 27 2021
[ ] vlsat2_26104_3131630.cnf.bz2  12.22Mb  August 27 2021
[ ] vlsat2_26606_3191844.cnf.bz2  12.50Mb  August 27 2021
[ ] vlsat2_26988_3251923.cnf.bz2  12.72Mb  August 27 2021
[ ] vlsat2_27507_3314450.cnf.bz2  12.99Mb  August 27 2021
[ ] vlsat2_28930_6497511.cnf.bz2  25.35Mb  August 27 2021
[ ] vlsat2_29040_3874024.cnf.bz2  13.56Mb  August 31 2021

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