|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.28
|
6.26
|
5.64
|
||||
|
0.24
|
4.47
|
4.50
|
||||
|
0.14
|
1.03
|
1.01
|
||||
|
0.38
|
7.29
|
7.50
|
||||
|
0.29
|
8.87
|
11.86
|
||||
|
0.35
|
8.93
|
11.55
|
||||
|
0.45
|
14.63
|
16.44
|
||||
|
0.07
|
0.84
|
0.86
|
||||
|
0.09
|
1.19
|
1.18
|
||||
|
0.07
|
1.25
|
1.16
|
||||
|
0.23
|
2.13
|
2.64
|
||||
|
0.53
|
5.70
|
5.74
|
||||
|
0.45
|
4.07
|
6.18
|
||||
|
0.07
|
6.88
|
7.87
|
||||
|
0.08
|
3.59
|
4.54
|
||||
|
0.34
|
3.51
|
3.71
|
||||
|
0.27
|
4.95
|
4.42
|
||||
|
0.35
|
3.09
|
3.42
|
||||
|
0.56
|
4.20
|
4.72
|
||||
|
0.39
|
4.22
|
5.15
|
||||
|
0.34
|
4.32
|
4.65
|
||||
|
0.39
|
2.51
|
3.06
|
||||
|
0.26
|
4.68
|
4.87
|
||||
|
0.26
|
3.53
|
4.16
|
||||
|
0.43
|
5.32
|
6.24
|