Génération uniforme ou proche de l'uniformité de solutions pour de grandes formules de satisfiabilité est un problème théorique et pratique d'intérêt pour la communauté de test. Des travaux récents ont proposé deux algorithmes (Unigen et QuickSampler) pour un compromis entre temps d'exécution et garanties d'uniformité. Cette référence vise à fournir tous les modèles de fonctionnalités des bancs d'essai, des scripts Python pour exécuter des expériences, des scripts Python pour calculer des graphiques, des figures et des statistiques de ce document ainsi que d'autres, et des instructions pour réutiliser notre travail.