Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/LibreOffice/sw/qa/core/   (LibreOffice Version 25.8.3.2©)  Datei vom 5.10.2025 mit Größe 645 B image not shown  

Quelle  performance-jobfile

  Sprache: Coq 		 

BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_end_1000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_end_10000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_end_100000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_end_1000000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_front_1000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_front_10000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_front_100000
BigPtrArrayPerformanceTest.BigPtrArrayPerformanceTest.test_insert_at_front_1000000


Messung V0.5 in Prozent
C=92 H=99 G=95

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet am  2026-06-10) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.