repeat 5 {/usr/bin/time -p /Users/richardli/HaskellProjects/parapresb/.stack-work/install/aarch64-osx/c9e82cb7a63eed2e20bd5eabce1cedb3e2193ebfccca029ddaaf66c51e509d33/9.6.6/bin/parapresb-exe +RTS -N1 -s -M8192m -RTS 2>&1 | awk '$1=="real"{print $2}' >> time_log.txt}

------------------------------ unoptimised ------------------------------
30.65
30.04
30.08
30.05
30.31

------------------------------ Data.IntMap ------------------------------
26.34
25.75
25.93
25.87
25.78

------------------------------ Data.IntMap + More Strictness ------------------------------
25.97
26.03
26.10
26.20
26.47

------------------------------ Extremely Linearly Optimised ------------------------------
11.82
11.42
11.51
11.38
11.43

------------------------------ checkSatPar, D8-N1 ------------------------------
13.72
13.78
13.45
13.44
13.19

------------------------------ checkSatPar, D8-N2 ------------------------------
8.10
8.02
8.06
7.88
7.75

------------------------------ checkSatPar, D8-N3 ------------------------------
5.47
5.49
5.45
5.45
5.45

------------------------------ checkSatPar, D8-N4 ------------------------------
4.41
4.47
4.39
4.45
4.55

------------------------------ checkSatPar, D8-N5 ------------------------------
3.80
3.75
3.77
3.75
3.70

------------------------------ checkSatPar, D8-N6 ------------------------------
3.12
3.21
3.21
3.19
3.22

------------------------------ checkSatPar, D8-N7 ------------------------------
2.75
2.76
2.79
2.81
2.76

------------------------------ checkSatPar, D8-N8 ------------------------------
2.57
2.58
2.72
2.68
2.62

------------------------------ checkSatPar, D8-N9 ------------------------------
2.70
2.48
2.52
2.56
2.58

------------------------------ checkSatPar, D8-N10 ------------------------------
2.55
2.63
2.59
2.54
2.60

------------------------------ checkSatPar, D4-N10 ------------------------------
2.51
3.18
3.20
2.58
3.24

------------------------------ checkSatPar, D16-N10 ------------------------------
3.03
2.51
2.47
2.49
2.46

------------------------------ solveIsNeg', D8-N10 ------------------------------
2.54
2.63
2.66
