|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.08
|
3.31
|
3.45
|
||||
|
0.06
|
2.85
|
3.14
|
||||
|
0.32
|
6.43
|
6.49
|
||||
|
0.18
|
6.00
|
6.42
|
||||
|
0.09
|
3.10
|
3.06
|
||||
|
0.45
|
11.27
|
12.02
|
||||
|
0.22
|
5.71
|
6.52
|
||||
|
0.09
|
1.75
|
1.74
|
||||
|
0.49
|
14.10
|
17.31
|
||||
|
0.85
|
19.53
|
19.66
|
||||
|
0.59
|
13.59
|
14.71
|
||||
|
0.43
|
11.01
|
9.52
|
||||
|
0.08
|
2.08
|
2.27
|
||||
|
0.24
|
4.57
|
4.71
|
||||
|
0.54
|
9.39
|
9.14
|
||||
|
0.59
|
10.89
|
12.33
|
||||
|
0.60
|
12.11
|
12.45
|
||||
|
0.53
|
12.81
|
14.87
|
||||
|
0.67
|
12.75
|
13.27
|
||||
|
0.23
|
2.94
|
2.92
|
||||
|
0.22
|
6.00
|
6.39
|
||||
|
0.08
|
1.56
|
1.61
|
||||
|
0.19
|
3.21
|
3.93
|
||||
|
0.16
|
2.16
|
2.19
|
||||
|
0.20
|
3.23
|
3.26
|