dekker-fences/note.txt

   1 We first ran dekker-fences-wildcard1 to get result1.txt, then we we run
   2 dekker-fences-wildcard2 to get get result2.txt. In result2.txt, those results
   3 that do not impose ordering to fences should be dropped, so we got the correct
   4 result.
   5
   6 time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken &> /scratch/a
   7
   8 We got result1.txt, and it took 1m20.790s.
   9
  10 time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken -o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
  11
  12 We got result2.txt, and it took 5m19.538s
  13
  14 In total, it took 6m40.328s.