Exercise algebra.equations.coverup

Description
solve an equation by covering up

Test report

Tests399
Errors0
Warnings0
Time2.512969s
Rating

Suites

Tests

Exercise algebra.equations.coverup (tests: 399, errors: 0, warnings: 0, 2.51296s)
Examples (tests: 396, errors: 0, warnings: 0, 1.251059s)
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   exercise terms defined
   equivalence implemented
   similarity implemented