test, time(s), result 
pos/vector1.hs, 3.244083, True 
pos/meas3.hs, 1.422247, True 
pos/test00b.hs, 0.479826, True 
pos/data-mono0.hs, 0.318803, False 
pos/meas0a.hs, 0.853900, True 
pos/for.hs, 1.786530, True 
pos/poly3.hs, 0.602109, True 
pos/range1.hs, 0.753834, True 
pos/lambdaEval.hs, 34.348183, True 
pos/poly3a.hs, 0.654303, True 
pos/data2.hs, 1.098415, True 
pos/meas1.hs, 0.849759, True 
pos/vector00.hs, 1.023881, True 
pos/string00.hs, 0.450333, True 
pos/meas00a.hs, 0.255378, True 
pos/test00.hs, 0.431189, True 
pos/poly0.hs, 0.858771, True 
pos/test00.old.hs, 0.358064, True 
pos/poslist.hs, 1.472893, True 
pos/range.hs, 3.211161, True 
pos/rangeAdt.hs, 4.444544, True 
pos/test1.hs, 0.454869, True 
pos/lambda-mini.hs, 8.823683, True 
pos/poly2.hs, 0.502648, True 
pos/meas0.hs, 1.059757, True 
pos/binsearch.hs, 2.069690, True 
pos/poslist_dc.hs, 0.583867, True 
pos/mapreduce-bare.hs, 17.497114, True 
pos/foldr.hs, 1.070016, True 
pos/test0.hs, 0.452460, True 
pos/poly1.hs, 0.762016, True 
pos/test2.hs, 0.453171, True 
pos/meas2.hs, 0.680328, True 
pos/meas4.hs, 1.378292, True 
pos/vector1a.hs, 2.320193, True 
pos/vector0.hs, 3.738865, True 
pos/datacon0.hs, 0.851312, True 
pos/mapreduce.hs, 10.804907, True 
pos/forloop.hs, 1.231693, True 
pos/poly4.hs, 0.274932, True 
pos/deptup.hs, 0.939476, True 
pos/datacon1.hs, 0.287227, True 
pos/deptup2.hs, 0.920963, True 
pos/meas6.hs, 2.876580, True 
pos/duplicate-bind.hs, 0.767173, True 
pos/meas5.hs, 7.877882, True 
pos/poly2-degenerate.hs, 0.477453, True 
neg/meas3.hs, 0.468237, True 
neg/test00b.hs, 0.489200, True 
neg/list00.hs, 0.475684, True 
neg/vector00.hs, 1.055213, True 
neg/string00.hs, 0.464467, True 
neg/test00.hs, 0.350150, True 
neg/poly0.hs, 0.657314, True 
neg/sumk.hs, 1.016513, True 
neg/poslist.hs, 1.401633, True 
neg/range.hs, 2.832542, True 
neg/test1.hs, 0.393146, True 
neg/poly2.hs, 0.488278, True 
neg/meas0.hs, 0.397510, True 
neg/test00a.hs, 0.420431, True 
neg/poly1.hs, 0.618879, True 
neg/test2.hs, 0.430733, True 
neg/meas2.hs, 0.465163, True 
neg/vector0.hs, 4.686552, True 
neg/vector0a.hs, 1.575411, True