github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/u-benchmarks/propchecker/results.csv (about)

     1  Filename,NumProps,BuildTime,LoadTime,CheckTime,SD
     2  ./sample1.prop,1,0.081185,0.001006,0.000006,0.000002
     3  ./sample2.prop,2,0.161359,0.001161,0.000012,0.000003
     4  ./sample5.prop,5,0.405315,0.002943,0.000031,0.000006
     5  ./sample10.prop,10,0.831785,0.005382,0.000075,0.001224