2: 0.42 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 2-19
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 81, characters 2-11
3: 0.42 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 6-18
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 81, characters 2-11
4: 0.42 true
Raised by primitive operation at Comballoc.f5 in file "comballoc.ml", line 18, characters 26-35
Called from Comballoc.f12 in file "comballoc.ml", line 23, characters 13-17
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 81, characters 2-11
2: 0.01 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 2-19
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 82, characters 2-11
3: 0.01 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 6-18
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 82, characters 2-11
4: 0.01 true
Raised by primitive operation at Comballoc.f5 in file "comballoc.ml", line 18, characters 26-35
Called from Comballoc.f12 in file "comballoc.ml", line 23, characters 13-17
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 82, characters 2-11
2: 0.83 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 2-19
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 83, characters 2-11
3: 0.83 false
Raised by primitive operation at Comballoc.f12 in file "comballoc.ml", line 23, characters 6-18
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 83, characters 2-11
4: 0.83 true
Raised by primitive operation at Comballoc.f5 in file "comballoc.ml", line 18, characters 26-35
Called from Comballoc.f12 in file "comballoc.ml", line 23, characters 13-17
Called from Comballoc.test in file "comballoc.ml", line 50, characters 25-50
Called from Comballoc in file "comballoc.ml", line 83, characters 2-11
OK