HipSpec results

{{ testsuite.name }}

close file 
{{ content }}
close file
Settings {{ prop | display_prop }}
Total: {{ num_solved }}/{{ num_problems() }} ✓ ×

{{ instance | ppresfile }}, {{ exploration_time | seconds }} s

  1. {{ eq }}
Instance Time (s) Attempts
{{ instance | ppresfile }} {{ $parent.result.time | seconds }} s {{ prop }}: ✓ ×
Time (s) Message
{{ msg.time | seconds }} s
File Processed
Theory Explored
QuickSpec done, {{ msg.classes }} classes, {{ msg.eqs }} equations. 
{{ msg.prop_name }}
proved by induction on 
{{ msg.vars.join(", ") }}
using 
{{ msg.used_lemmas.join(", ") }}
 
{{ msg.prop_name }}
proved without induction using 
{{ msg.used_lemmas.join(", ") }}
 
{{ msg.prop_name }}
failed to be proved
Finished