|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.50
|
18.10
|
17.23
|
||||
|
0.41
|
22.12
|
16.26
|
||||
|
0.43
|
15.08
|
13.67
|
||||
|
0.40
|
16.52
|
15.05
|
||||
|
0.29
|
14.49
|
13.53
|
||||
|
0.27
|
9.21
|
8.45
|
||||
|
0.34
|
4.89
|
6.56
|
||||
|
0.27
|
7.64
|
7.31
|
||||
|
0.44
|
10.57
|
9.87
|
||||
|
0.59
|
19.61
|
18.23
|
||||
|
0.45
|
21.10
|
16.51
|
||||
|
0.64
|
10.19
|
9.74
|
||||
|
0.67
|
12.74
|
10.87
|
||||
|
1.00
|
23.93
|
22.94
|
||||
|
0.77
|
20.22
|
19.25
|
||||
|
0.39
|
8.63
|
9.61
|
||||
|
0.85
|
26.54
|
21.42
|
||||
|
0.58
|
19.51
|
17.05
|
||||
|
0.64
|
12.11
|
10.85
|
||||
|
0.72
|
24.54
|
18.86
|
||||
|
0.42
|
22.86
|
17.81
|
||||
|
0.39
|
11.17
|
9.30
|
||||
|
0.10
|
3.38
|
3.27
|
||||
|
0.07
|
1.54
|
1.75
|
||||
|
0.08
|
2.13
|
2.16
|