Quellcodebibliothek
Statistik
Leitseite
products
/
sources
/
formale Sprachen
/
Roqc
/
test-suite
/
output
/ (
Beweissystem des Inria
Version 9.1.0
©
) Datei vom 15.8.2025 mit Größe 210 B
Quelle bug_12159.out Sprache: unbekannt
f 1%B
: unit
f 0
: unit
1%B
: unit
0
: unit
1%B
: unit
1
: unit
1
: unit
0
: unit
1
: unit
0%A
: unit
1
: unit
0%A
: unit
0
: unit
0
: unit
[ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet)
]
2026-04-04