rahmenlose Ansicht.summary DruckansichtMT940 {MT940[287] Hlasm[1763] Haskell[2123]}Entwicklung
***
*** top (16:16:8 2/25/2014)
*** Generated by proveit - ProofLite-6.0.7 (2/28/14)
*** Trusted Oracles
*** MetiTarski: MetiTarski Theorem Prover via PVS proof rule metit
***
Proof summary for theory top
Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)
Proof summary for theory allen_interval
Theory totals: 0 formulas, 0 attempted, 0 succeeded (0.00 s)
Proof summary for theory allen_interval_properties
before_before.........................proved - complete [shostak](0.05 s)
before_during.........................proved - complete [shostak](0.04 s)
before_contains.......................proved - complete [shostak](0.01 s)
before_overlaps.......................proved - complete [shostak](0.02 s)
before_overlapped_by..................proved - complete [shostak](0.03 s)
before_meets..........................proved - complete [shostak](0.01 s)
before_met_by.........................proved - complete [shostak](0.03 s)
before_starts.........................proved - complete [shostak](0.01 s)
before_started_by.....................proved - complete [shostak](0.02 s)
before_finishes.......................proved - complete [shostak](0.02 s)
before_finished_by....................proved - complete [shostak](0.02 s)
after_after...........................proved - complete [shostak](0.01 s)
after_during..........................proved - complete [shostak](0.03 s)
after_contains........................proved - complete [shostak](0.02 s)
after_overlaps........................proved - complete [shostak](0.03 s)
after_meets...........................proved - complete [shostak](0.02 s)
after_met_by..........................proved - complete [shostak](0.02 s)
after_starts..........................proved - complete [shostak](0.02 s)
after_started_by......................proved - complete [shostak](0.01 s)
after_finishes........................proved - complete [shostak](0.01 s)
after_finished_by.....................proved - complete [shostak](0.02 s)
during_before.........................proved - complete [shostak](0.01 s)
during_after..........................proved - complete [shostak](0.02 s)
during_during.........................proved - complete [shostak](0.02 s)
during_overlaps.......................proved - complete [shostak](0.03 s)
during_overlapped_by..................proved - complete [shostak](0.03 s)
during_meets..........................proved - complete [shostak](0.01 s)
during_t_meet_bay.....................proved - complete [shostak](0.02 s)
during_starts.........................proved - complete [shostak](0.02 s)
during_started_by.....................proved - complete [shostak](0.03 s)
during_finished_by....................proved - complete [shostak](0.02 s)
during_finishes.......................proved - complete [shostak](0.02 s)
contains_before.......................proved - complete [shostak](0.03 s)
contains_after........................proved - complete [shostak](0.03 s)
contains_during.......................proved - complete [shostak](0.05 s)
contains_contains.....................proved - complete [shostak](0.02 s)
contains_overlaps.....................proved - complete [shostak](0.03 s)
contains_overlapped_by................proved - complete [shostak](0.02 s)
contains_meets........................proved - complete [shostak](0.03 s)
contains_meet_by......................proved - complete [shostak](0.02 s)
contains_starts.......................proved - complete [shostak](0.03 s)
contains_started_by...................proved - complete [shostak](0.02 s)
contains_finishes.....................proved - complete [shostak](0.03 s)
contains_finished_by..................proved - complete [shostak](0.02 s)
overlaps_before.......................proved - complete [shostak](0.01 s)
overlaps_after........................proved - complete [shostak](0.03 s)
overlaps_during.......................proved - complete [shostak](0.02 s)
overlaps_overlapped_by................proved - complete [shostak](0.06 s)
overlaps_contains.....................proved - complete [shostak](0.04 s)
overlaps_overlaps.....................proved - complete [shostak](0.02 s)
overlaps_meets........................proved - complete [shostak](0.02 s)
overlaps_met_by.......................proved - complete [shostak](0.02 s)
overlaps_starts.......................proved - complete [shostak](0.02 s)
overlaps_start_by.....................proved - complete [shostak](0.03 s)
overlaps_finishes.....................proved - complete [shostak](0.03 s)
overlaps_finished_by..................proved - complete [shostak](0.02 s)
overlapped_by_before..................proved - complete [shostak](0.03 s)
overlapped_by_after...................proved - complete [shostak](0.02 s)
overlapped_by_during..................proved - complete [shostak](0.03 s)
overlapped_by_contains................proved - complete [shostak](0.03 s)
overlapped_by_overlaps................proved - complete [shostak](0.05 s)
overlapped_by_overlapped_by...........proved - complete [shostak](0.03 s)
overlapped_by_meets...................proved - complete [shostak](0.03 s)
overlapped_by_meet_by.................proved - complete [shostak](0.01 s)
overlapped_by_starts..................proved - complete [shostak](0.02 s)
overlapped_by_started_by..............proved - complete [shostak](0.03 s)
overlapped_by_finishes................proved - complete [shostak](0.02 s)
overlapped_by_finished_by.............proved - complete [shostak](0.03 s)
meets_before..........................proved - complete [shostak](0.01 s)
meets_after...........................proved - complete [shostak](0.03 s)
meets_during..........................proved - complete [shostak](0.02 s)
meets_contains........................proved - complete [shostak](0.02 s)
meets_overlaps........................proved - complete [shostak](0.01 s)
meets_overlapped_by...................proved - complete [shostak](0.03 s)
meets_meets...........................proved - complete [shostak](0.01 s)
meets_meet_by.........................proved - complete [shostak](0.02 s)
meets_starts..........................proved - complete [shostak](0.01 s)
meets_started_by......................proved - complete [shostak](0.01 s)
meets_finishes........................proved - complete [shostak](0.03 s)
meets_finished_by.....................proved - complete [shostak](0.02 s)
meet_by_before........................proved - complete [shostak](0.02 s)
meet_by_after.........................proved - complete [shostak](0.01 s)
meet_by_during........................proved - complete [shostak](0.03 s)
meet_by_contains......................proved - complete [shostak](0.01 s)
meet_by_overlaps......................proved - complete [shostak](0.02 s)
meet_by_meet..........................proved - complete [shostak](0.02 s)
meet_by_overlapped_by.................proved - complete [shostak](0.02 s)
meet_by_meet_by.......................proved - complete [shostak](0.01 s)
meet_by_starts........................proved - complete [shostak](0.03 s)
meet_by_started_by....................proved - complete [shostak](0.01 s)
meet_by_finishes......................proved - complete [shostak](0.01 s)
met_by_finished.......................proved - complete [shostak](0.01 s)
starts_by_before......................proved - complete [shostak](0.01 s)
starts_by_after.......................proved - complete [shostak](0.02 s)
starts_by_during......................proved - complete [shostak](0.02 s)
starts_by_contains....................proved - complete [shostak](0.03 s)
starts_by_overlaps....................proved - complete [shostak](0.02 s)
starts_by_overlapped_by...............proved - complete [shostak](0.03 s)
starts_by_meet........................proved - complete [shostak](0.01 s)
starts_by_meet_by.....................proved - complete [shostak](0.01 s)
starts_by_starts......................proved - complete [shostak](0.01 s)
starts_by_started_by..................proved - complete [shostak](0.00 s)
starts_by_finishes....................proved - complete [shostak](0.02 s)
starts_by_finished_by.................proved - complete [shostak](0.03 s)
started_by_before.....................proved - complete [shostak](0.02 s)
started_by_after......................proved - complete [shostak](0.02 s)
started_by_during.....................proved - complete [shostak](0.02 s)
started_by_contains...................proved - complete [shostak](0.02 s)
started_by_overlaps...................proved - complete [shostak](0.03 s)
started_by_overlapped_by..............proved - complete [shostak](0.02 s)
started_by_meet.......................proved - complete [shostak](0.03 s)
started_by_meet_by....................proved - complete [shostak](0.01 s)
started_by_starts.....................proved - complete [shostak](0.03 s)
started_by_started_by.................proved - complete [shostak](0.02 s)
started_by_finishes...................proved - complete [shostak](0.02 s)
started_by_finished_by................proved - complete [shostak](0.02 s)
finishes_before.......................proved - complete [shostak](0.01 s)
finishes_after........................proved - complete [shostak](0.02 s)
finishes_during.......................proved - complete [shostak](0.02 s)
finishes_contains.....................proved - complete [shostak](0.02 s)
finishes_overlaps.....................proved - complete [shostak](0.02 s)
finishes_overlapped_by................proved - complete [shostak](0.03 s)
finishes_meets........................proved - complete [shostak](0.01 s)
finishes_meet_by......................proved - complete [shostak](0.02 s)
finishes_starts.......................proved - complete [shostak](0.02 s)
finishes_started_by...................proved - complete [shostak](0.02 s)
finishes_finishes.....................proved - complete [shostak](0.02 s)
finishes_finished_by..................proved - complete [shostak](0.02 s)
finished_by_before....................proved - complete [shostak](0.02 s)
finished_by_after.....................proved - complete [shostak](0.02 s)
finished_by_during....................proved - complete [shostak](0.03 s)
finished_by_contains..................proved - complete [shostak](0.02 s)
finished_by_overlaps..................proved - complete [shostak](0.02 s)
finished_by_overlapped_by.............proved - complete [shostak](0.03 s)
finished_by_meets.....................proved - complete [shostak](0.01 s)
finished_by_meet_by...................proved - complete [shostak](0.02 s)
finished_by_starts....................proved - complete [shostak](0.02 s)
finished_by_started_by................proved - complete [shostak](0.02 s)
finished_by_finishes..................proved - complete [shostak](0.03 s)
finished_by_finished_by...............proved - complete [shostak](0.00 s)
Theory totals: 140 formulas, 140 attempted, 140 succeeded (3.15 s)
Grand Totals: 140 proofs, 140 attempted, 140 succeeded (3.15 s)
[ Verzeichnis aufwärts0.157unsichere Verbindung
]