0.00/0.00	./maedmax: /lib64/libtinfo.so.5: no version information available (required by ./maedmax)
0.00/0.02	MAYBE
0.00/0.02	Search time: 0.01 seconds
0.00/0.02	
0.00/0.02	iterations          2
0.00/0.02	equalities          3
0.00/0.02	goals               3
0.00/0.02	restarts            0
0.00/0.02	hard restarts       0
0.00/0.02	memory (MB)         3
0.00/0.02	time diffs          0. 0.
0.00/0.02	memory diffs        3 0
0.00/0.02	equation counts     2 3
0.00/0.02	goal counts         1 3
0.00/0.02	reduction counts    2
0.00/0.02	CP counts           0
0.00/0.02	TRS sizes           1
0.00/0.02	costs               0
0.00/0.02	oracle counts       0/0/0
0.00/0.02	progress estimates  
0.00/0.02	SMT checks          4
0.00/0.02	problem shape       none
0.00/0.02	times
0.00/0.02	 ground join checks 0.000
0.00/0.02	 maxk               0.002
0.00/0.02	 sat                0.000
0.00/0.02	 overlaps           0.000
0.00/0.02	 process            0.004
0.00/0.02	 subsumption check  0.000
0.00/0.02	 success checks     0.000
0.00/0.02	 constraints CPred  0.000
0.00/0.02	             Comp   0.000
0.00/0.02	             red    0.000
0.00/0.02	 rewriting          0.000
0.00/0.02	   on goals         0.000
0.00/0.02	 encode termination 0.001
0.00/0.02	 selection          0.000
0.00/0.02	 caching            0.000
0.00/0.02	 tmp1               0.000
0.00/0.02	 tmp2               0.000
0.00/0.02	 tmp3               0.000
0.00/0.02	 normalization      0.000
0.00/0.02	EOF