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

[ ] vlsat2_544_8738.cnf.bz2  18.87Kb  August 27 2021
[ ] vlsat2_5525_327765.cnf.bz2  1.03Mb  August 27 2021
[ ] vlsat2_5568_1124240.cnf.bz2  3.55Mb  August 31 2021
[ ] vlsat2_5600_1042700.cnf.bz2  3.32Mb  August 27 2021
[ ] vlsat2_57038_10572502.cnf.bz2  43.68Mb  August 27 2021
[ ] vlsat2_58380_10775711.cnf.bz2  44.38Mb  August 27 2021
[ ] vlsat2_59204_10973962.cnf.bz2  45.15Mb  August 27 2021
[ ] vlsat2_600_11440.cnf.bz2  21.72Kb  August 27 2021
[ ] vlsat2_67996_13708722.cnf.bz2  56.13Mb  August 27 2021
[ ] vlsat2_684_13953.cnf.bz2  28.37Kb  August 27 2021
[ ] vlsat2_684_9417.cnf.bz2  21.85Kb  August 27 2021
[ ] vlsat2_68760_13862744.cnf.bz2  53.67Mb  August 27 2021
[ ] vlsat2_69524_14016766.cnf.bz2  57.35Mb  August 27 2021
[ ] vlsat2_70288_14170788.cnf.bz2  57.82Mb  August 27 2021
[ ] vlsat2_708_10259.cnf.bz2  23.75Kb  August 27 2021
[ ] vlsat2_71816_14478832.cnf.bz2  59.04Mb  August 27 2021
[ ] vlsat2_736_11022.cnf.bz2  25.99Kb  August 27 2021
[ ] vlsat2_7452_334035.cnf.bz2  1.05Mb  August 27 2021
[ ] vlsat2_798_17543.cnf.bz2  40.62Kb  August 31 2021
[ ] vlsat2_83334_20350783.cnf.bz2  80.27Mb  August 27 2021
[TXT] vlsat2_table1.html  39.42Kb  August 31 2021
[ ] vlsat3_a00.smt2.bz2  3.79Kb  August 18 2021
[ ] vlsat3_a01.smt2.bz2  6.48Kb  August 18 2021
[ ] vlsat3_a02.smt2.bz2  6.54Kb  August 18 2021
[ ] vlsat3_a03.smt2.bz2  3.80Kb  August 18 2021
[ ] vlsat3_a04.smt2.bz2  13.55Kb  August 18 2021
[ ] vlsat3_a05.smt2.bz2  17.67Kb  August 18 2021
[ ] vlsat3_a06.smt2.bz2  6.55Kb  August 18 2021
[ ] vlsat3_a07.smt2.bz2  13.73Kb  August 18 2021
[ ] vlsat3_a08.smt2.bz2  33.66Kb  August 18 2021

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