Test output for kanren
Testing time: 0.0s
CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/csi -script run.scm
Zebra
Testing Zebra
0.044 seconds elapsed
0.024 seconds in (major) GC
18193 mutations
19 minor GCs
12 major GCs
Testing test-nrev
0.06 seconds elapsed
0.016 seconds in (major) GC
15203 mutations
10 minor GCs
12 major GCs
0 lips for 10 Iterations taking 0 msecs ( 0 )
0 lips for 20 Iterations taking 0 msecs ( 0 )
0 lips for 50 Iterations taking 0 msecs ( 0 )
0 lips for 100 Iterations taking 0 msecs ( 0 )
0 lips for 200 Iterations taking 0 msecs ( 0 )
0 lips for 500 Iterations taking 0 msecs ( 0 )
0 lips for 1000 Iterations taking 0 msecs ( 0 )
0 lips for 2000 Iterations taking 0 msecs ( 0 )
0 lips for 5000 Iterations taking 0 msecs ( 0 )
0 lips for 10000 Iterations taking 0 msecs ( 0 )