Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/summaries/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 1 kB image not shown  

Quelle  PVSioChecker.summary   Sprache: unbekannt

 
*** 
*** top (19:20:36 11/7/2014)
*** Generated by proveit - ProofLite-6.0.9 (3/14/14)
*** 
 Proof summary for theory top
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

 Proof summary for theory time_fun
    hms_TCC1..............................proved - complete   [shostak](0.05 s)
    Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.05 s)

 Proof summary for theory pathname
    pathname_dir_TCC1.....................proved - complete   [shostak](0.02 s)
    Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.02 s)

 Proof summary for theory pvsio_checker
    safe_div_TCC1.........................proved - complete   [shostak](0.01 s)
    print_etc_TCC1........................proved - complete   [shostak](0.02 s)
    Theory totals: 2 formulas, 2 attempted, 2 succeeded (0.03 s)

 Proof summary for theory is_prime
    is_prime?_TCC1........................proved - complete   [shostak](0.00 s)
    Theory totals: 1 formulas, 1 attempted, 1 succeeded (0.00 s)

 Proof summary for theory prime_check
    Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)

Grand Totals: 5 proofs, 5 attempted, 5 succeeded (0.10 s)

[ Dauer der Verarbeitung: 0.37 Sekunden  (vorverarbeitet)  ]