|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
1.99
|
0.23
|
0.23
|
||||
|
1.56
|
0.22
|
0.22
|
||||
|
2.12
|
0.28
|
0.29
|
||||
|
1.53
|
1.48
|
1.56
|
||||
|
1.84
|
2.05
|
2.62
|
||||
|
1.53
|
2.85
|
2.86
|
||||
|
1.73
|
1.81
|
2.22
|
||||
|
4.96
|
13.08
|
12.57
|
||||
|
3.08
|
9.19
|
10.51
|
||||
|
5.19
|
21.41
|
20.17
|
||||
|
2.82
|
12.24
|
10.44
|
||||
|
2.53
|
13.59
|
13.98
|
||||
|
3.57
|
6.21
|
4.52
|
||||
|
6.07
|
21.39
|
20.67
|
||||
|
31.04
|
21.71
|
23.05
|
||||
|
31.04
|
7.55
|
8.41
|
||||
|
31.04
|
6.81
|
6.84
|
||||
|
31.04
|
7.12
|
7.03
|
||||
|
31.03
|
7.61
|
6.57
|
||||
|
31.04
|
6.79
|
7.21
|
||||
|
1.56
|
0.45
|
0.47
|
||||
|
1.51
|
0.15
|
0.14
|
||||
|
1.49
|
0.29
|
0.35
|
||||
|
2.05
|
31.02
|
31.02
|
||||
|
1.82
|
31.02
|
31.02
|