test, time(s), result 
pos/vector1.hs, 3.740159, True 
pos/meas3.hs, 1.182766, True 
pos/test00b.hs, 0.575632, True 
pos/meas0a.hs, 0.635000, True 
pos/for.hs, 2.728558, True 
pos/poly3.hs, 0.882590, True 
pos/range1.hs, 0.901675, True 
pos/poly3a.hs, 0.962588, True 
pos/data2.hs, 1.553421, True 
pos/meas1.hs, 0.625888, True 
pos/vector00.hs, 0.875478, True 
pos/string00.hs, 0.580794, True 
pos/meas00a.hs, 0.298730, True 
pos/test00.hs, 0.546639, True 
pos/poly0.hs, 1.099909, True 
pos/test00.old.hs, 0.441201, True 
pos/LambdaEvalMini.hs, 12.377707, True 
pos/poslist.hs, 2.022651, True 
pos/range.hs, 4.021839, True 
pos/rangeAdt.hs, 5.637609, True 
pos/vector1b.hs, 1.074929, False 
pos/test1.hs, 0.591867, True 
pos/LambdaEval.hs, 43.777319, True 
pos/poly2.hs, 0.670694, True 
pos/meas0.hs, 0.812809, True 
pos/polyfun.hs, 0.580830, True 
pos/poslist_dc.hs, 0.769472, True 
pos/mapreduce-bare.hs, 15.114100, False 
pos/foldr.hs, 0.821424, True 
pos/test0.hs, 0.571456, True 
pos/poly1.hs, 1.069220, True 
pos/test2.hs, 0.583304, True 
pos/meas2.hs, 0.504081, True 
pos/meas4.hs, 1.235992, True 
pos/vector1a.hs, 2.638991, True 
pos/vector0.hs, 3.545636, True 
pos/datacon0.hs, 1.192237, True 
pos/mapreduce.hs, 9.263365, True 
pos/forloop.hs, 1.645341, True 
pos/poly4.hs, 0.356046, True 
pos/deptup.hs, 1.353903, True 
pos/datacon1.hs, 0.353193, True 
pos/deptup2.hs, 1.454220, True 
pos/meas6.hs, 1.524488, True 
pos/duplicate-bind.hs, 1.167478, True 
pos/meas5.hs, 4.409192, True 
pos/test00c.hs, 1.922388, True 
pos/poly2-degenerate.hs, 0.656379, True 
neg/meas3.hs, 0.109783, True 
neg/test00b.hs, 0.108949, True 
neg/list00.hs, 0.106935, True 
neg/vector00.hs, 0.108598, True 
neg/string00.hs, 0.108926, True 
neg/test00.hs, 0.107762, True 
neg/poly0.hs, 0.109600, True 
neg/sumk.hs, 0.107191, True 
neg/poslist.hs, 0.109932, True 
neg/range.hs, 0.108654, True 
neg/test1.hs, 0.109865, True 
neg/poly2.hs, 0.106641, True 
neg/meas0.hs, 0.108464, True 
neg/test00a.hs, 0.107902, True 
neg/poly1.hs, 0.108820, True 
neg/test2.hs, 0.109022, True 
neg/meas2.hs, 0.107693, True 
neg/vector0.hs, 0.109459, True 
neg/vector0a.hs, 0.111668, True 
neg/poly2-degenerate.hs, 0.632837, True