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

[ ] vlsat1_400_1580.cnf.bz2  3.33Kb  March 6 2020
[ ] vlsat1_402_10189.cnf.bz2  19.23Kb  March 6 2020
[ ] vlsat1_40_108.cnf.bz2  615.00b  March 6 2020
[ ] vlsat1_4114810_3879649625.cnf.bz2  177.89Mb  March 6 2020
[ ] vlsat1_4114_186615.cnf.bz2  551.16Kb  March 6 2020
[ ] vlsat1_418_3119.cnf.bz2  8.19Kb  March 6 2020
[ ] vlsat1_448_7592.cnf.bz2  16.48Kb  March 6 2020
[ ] vlsat1_44_167.cnf.bz2  716.00b  March 6 2020
[ ] vlsat1_44_91.cnf.bz2  603.00b  March 6 2020
[ ] vlsat1_476_1523.cnf.bz2  3.93Kb  March 6 2020
[ ] vlsat1_48_128.cnf.bz2  660.00b  March 6 2020
[ ] vlsat1_49200_7490695.cnf.bz2  28.54Mb  March 6 2020
[ ] vlsat1_496_18680.cnf.bz2  31.53Kb  March 6 2020
[ ] vlsat1_510_9201.cnf.bz2  12.33Kb  March 6 2020
[ ] vlsat1_5184_184104.cnf.bz2  603.70Kb  March 6 2020
[ ] vlsat1_51_194.cnf.bz2  787.00b  March 6 2020
[ ] vlsat1_54_270.cnf.bz2  921.00b  March 6 2020
[ ] vlsat1_54_99.cnf.bz2  630.00b  March 6 2020
[ ] vlsat1_56_270.cnf.bz2  959.00b  March 6 2020
[ ] vlsat1_584_28218.cnf.bz2  46.68Kb  March 6 2020
[ ] vlsat1_588_8050.cnf.bz2  18.25Kb  March 6 2020
[ ] vlsat1_60_178.cnf.bz2  768.00b  March 6 2020
[ ] vlsat1_64_152.cnf.bz2  775.00b  March 6 2020
[ ] vlsat1_652_29387.cnf.bz2  49.82Kb  March 6 2020
[ ] vlsat1_68_161.cnf.bz2  805.00b  March 6 2020
[ ] vlsat1_6954_399521.cnf.bz2  1.31Mb  March 6 2020
[ ] vlsat1_702_5565.cnf.bz2  13.44Kb  March 6 2020
[ ] vlsat1_72_186.cnf.bz2  869.00b  March 6 2020
[ ] vlsat1_735_23842.cnf.bz2  43.84Kb  March 6 2020
[ ] vlsat1_75_367.cnf.bz2  1.08Kb  March 6 2020

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