|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.03
|
0.18
|
0.18
|
||||
|
0.03
|
0.11
|
0.10
|
||||
|
0.03
|
0.04
|
0.04
|
||||
|
0.02
|
0.08
|
0.08
|
||||
|
1.31
|
31.01
|
26.98
|
||||
|
0.77
|
30.32
|
29.21
|
||||
|
0.31
|
10.03
|
10.39
|
||||
|
0.12
|
3.34
|
3.34
|
||||
|
0.38
|
24.77
|
21.16
|
||||
|
0.19
|
4.86
|
4.81
|
||||
|
0.62
|
31.01
|
30.60
|
||||
|
0.46
|
11.94
|
13.00
|
||||
|
0.18
|
5.03
|
5.49
|
||||
|
0.53
|
15.23
|
12.69
|
||||
|
0.39
|
5.72
|
5.11
|
||||
|
0.62
|
22.38
|
20.76
|
||||
|
0.58
|
26.61
|
22.11
|
||||
|
0.31
|
12.01
|
10.71
|
||||
|
1.12
|
30.28
|
31.02
|
||||
|
0.80
|
22.95
|
20.03
|
||||
|
1.01
|
23.49
|
21.52
|
||||
|
1.45
|
31.01
|
30.38
|
||||
|
0.51
|
28.69
|
22.60
|
||||
|
0.88
|
25.28
|
22.02
|
||||
|
0.59
|
30.35
|
30.07
|