|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.40
|
14.59
|
14.57
|
||||
|
0.22
|
4.98
|
5.22
|
||||
|
0.88
|
15.52
|
16.62
|
||||
|
0.17
|
3.01
|
2.98
|
||||
|
0.15
|
2.54
|
2.61
|
||||
|
0.46
|
8.66
|
9.92
|
||||
|
0.11
|
2.23
|
2.22
|
||||
|
0.38
|
5.18
|
5.29
|
||||
|
0.13
|
2.89
|
2.98
|
||||
|
0.15
|
2.95
|
3.06
|
||||
|
0.15
|
2.86
|
2.87
|
||||
|
0.42
|
6.10
|
5.98
|
||||
|
0.32
|
5.13
|
5.34
|
||||
|
0.63
|
12.47
|
11.69
|
||||
|
0.42
|
11.90
|
10.11
|
||||
|
0.74
|
14.25
|
15.49
|
||||
|
0.34
|
6.68
|
6.36
|
||||
|
0.62
|
11.28
|
11.54
|
||||
|
0.18
|
2.46
|
2.47
|
||||
|
0.30
|
16.13
|
15.53
|
||||
|
0.24
|
9.59
|
9.44
|
||||
|
0.21
|
7.35
|
7.63
|
||||
|
0.22
|
8.76
|
8.33
|
||||
|
0.09
|
2.03
|
2.00
|
||||
|
0.13
|
2.31
|
2.09
|