[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(Error (assertEqualToResult (miner GroundingSpace-0x19f5568 (ms) (depth)) (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (VarIdx Z) A) 2) (candidate (Inheritance B (VarIdx (S Z))) 1) (candidate (Inheritance C (VarIdx (S Z))) 2) (candidate (Inheritance D (VarIdx (S Z))) 1))) 
Expected: [(), (), (), (), (), (), (), (), (), (), (candidate (Inheritance (VarIdx Z) E) 2), (candidate (Inheritance (VarIdx Z) A) 2), (candidate (Inheritance B (VarIdx (S Z))) 1), (candidate (Inheritance C (VarIdx (S Z))) 2), (candidate (Inheritance D (VarIdx (S Z))) 1)]
Got: [(), (), (), ()]
Missed result: ())]
0.06user 0.00system 0:00.06elapsed 96%CPU (0avgtext+0avgdata 25816maxresident)k
24inputs+0outputs (1major+3221minor)pagefaults 0swaps