| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/PVSioChecker/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 797 B |
|
Quelle primes.txt Sprache: Text |
|||||||||
|
% File to be checked
% Every record has the form: % Input in PVS syntax, e.g., natural number % Output in PVS syntax, e.g., boolean % PVS comments and empty lines are ignored % This is the first record 1 % This is an input in PVS syntax TRUE % This is an output in PVS syntax % This is the second record, etc. 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE 1 TRUE 5 TRUE 9 FALSE 10 FALSE 9 FALSE 3 TRUE 17 FALSE ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28