001+ ** ERROR: process timed out **
001- bool(false)
000713: 1437395489 0.87869800 < 1437395489 0.87870700
001082: 1437395489 0.87968100 < 1437395489 0.87969600
001773: 1437395489 0.88222800 < 1437395489 0.88224200
002116: 1437395489 0.88322500 < 1437395489 0.88324600
002512: 1437395489 0.88421700 < 1437395489 0.88423900
002918: 1437395489 0.88462800 < 1437395489 0.88523400
003144: 1437395489 0.88558400 < 1437395489 0.88560500
003925: 1437395489 0.88856500 < 1437395489 0.88859100
004300: 1437395489 0.88954900 < 1437395489 0.88957600
004712: 1437395489 0.89053900 < 1437395489 0.89057200
006409: 1437395489 0.89624000 < 1437395489 0.89626100
001+ Passed: 99818
002+ Failed: 182
001- Passed: 100000
002- Failed: 0
003+ 000713: 1437395489 0.87869800 < 1437395489 0.87870700
004+ 001082: 1437395489 0.87968100 < 1437395489 0.87969600
005+ 001773: 1437395489 0.88222800 < 1437395489 0.88224200
006+ 002116: 1437395489 0.88322500 < 1437395489 0.88324600
007+ 002512: 1437395489 0.88421700 < 1437395489 0.88423900
008+ 002918: 1437395489 0.88462800 < 1437395489 0.88523400
009+ 003144: 1437395489 0.88558400 < 1437395489 0.88560500
010+ 003925: 1437395489 0.88856500 < 1437395489 0.88859100
011+ 004300: 1437395489 0.88954900 < 1437395489 0.88957600
012+ 004712: 1437395489 0.89053900 < 1437395489 0.89057200
013+ 006409: 1437395489 0.89624000 < 1437395489 0.89626100