|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.28
|
31.01
|
30.68
|
||||
|
0.28
|
31.01
|
31.02
|
||||
|
0.42
|
30.52
|
30.90
|
||||
|
0.29
|
31.01
|
31.02
|
||||
|
0.23
|
31.01
|
30.04
|
||||
|
0.22
|
30.89
|
30.46
|
||||
|
0.43
|
31.01
|
31.02
|
||||
|
0.20
|
30.05
|
31.02
|
||||
|
3.44
|
31.02
|
30.37
|
||||
|
0.55
|
30.08
|
30.29
|
||||
|
3.18
|
30.11
|
30.76
|
||||
|
4.26
|
31.01
|
30.17
|
||||
|
3.59
|
30.12
|
30.46
|
||||
|
3.97
|
31.02
|
30.10
|
||||
|
4.61
|
31.02
|
30.39
|
||||
|
5.74
|
30.83
|
30.26
|
||||
|
3.73
|
30.97
|
30.44
|
||||
|
6.18
|
30.30
|
30.11
|
||||
|
3.02
|
30.55
|
30.51
|
||||
|
3.48
|
30.10
|
30.30
|
||||
|
5.19
|
31.01
|
30.68
|
||||
|
0.47
|
30.30
|
30.53
|
||||
|
0.11
|
31.01
|
30.37
|
||||
|
0.16
|
31.02
|
30.06
|
||||
|
0.16
|
30.45
|
30.82
|