Review the set of 'old versions' of provers
Closes #633
Current improvements: (added Z3 4.12.2, removed all proofs for Alt-Ergo 2.3.1, 2.3.2)
< Alt-Ergo 2.0.0 : 9046 9019 0.00 17.55 0.18
< Alt-Ergo 2.1.0 : 2053 2049 0.00 4.52 0.06
> Alt-Ergo 2.0.0 : 7759 7733 0.00 17.55 0.19
> Alt-Ergo 2.1.0 : 2396 2392 0.00 4.52 0.07
< Alt-Ergo 2.3.1 : 84 83 0.00 2.80 0.12
< Alt-Ergo 2.3.2 : 12 12 0.01 0.33 0.08
< Alt-Ergo 2.3.3 : 2512 2512 0.00 9.91 0.21
> Alt-Ergo 2.3.3 : 3302 3300 0.00 9.91 0.17
< Alt-Ergo 2.4.2 : 423 385 0.00 10.08 0.14
> Alt-Ergo 2.4.2 : 673 635 0.00 10.08 0.13
< CVC3 2.4.1 : 1996 1958 0.00 10.04 0.41
> CVC3 2.4.1 : 1926 1895 0.00 8.49 0.42
< CVC4 1.4 : 849 769 0.00 61.17 0.36
> CVC4 1.4 : 829 750 0.00 61.17 0.37
< CVC4 1.5 : 4010 3948 0.00 86.22 0.20
> CVC4 1.5 : 2830 2774 0.00 86.22 0.20
< CVC4 1.6 : 10944 10902 0.00 7.63 0.20
> CVC4 1.6 : 8691 8649 0.00 7.63 0.21
< CVC4 1.7 : 2447 2444 0.01 4.69 0.17
> CVC4 1.7 : 1809 1806 0.01 4.69 0.17
< CVC4 1.8 : 1640 1613 0.01 9.08 0.22
> CVC4 1.8 : 1234 1208 0.01 9.08 0.23
< CVC5 1.0.5 : 129 129 0.01 1.79 0.12
> CVC5 1.0.5 : 4679 4671 0.00 4.38 0.15
< Z3 3.2 : 175 155 0.00 33.45 0.81
> Z3 3.2 : 174 154 0.00 33.45 0.82
< Z3 4.11.2 : 921 906 0.01 11.46 0.14
< Z3 4.12.1 : 24 24 0.01 3.35 0.30
> Z3 4.11.2 : 578 563 0.01 11.46 0.19
> Z3 4.12.1 : 11 11 0.01 0.32 0.04
> Z3 4.12.2 : 428 428 0.00 2.49 0.07
< Z3 4.4.0 : 202 132 0.00 0.31 0.00
> Z3 4.4.0 : 199 129 0.00 0.31 0.00
< Z3 4.5.0 : 1512 1457 0.00 4.33 0.07
> Z3 4.5.0 : 1510 1455 0.00 4.33 0.07
< Z3 4.8.10 : 758 708 0.00 5.33 0.14
> Z3 4.8.10 : 695 645 0.00 4.33 0.11
< Z3 4.8.4 : 245 245 0.00 1.93 0.06
> Z3 4.8.4 : 243 243 0.00 1.93 0.06
< Z3 4.8.6 : 37 37 0.01 1.80 0.11
> Z3 4.8.6 : 36 36 0.01 1.80 0.11