|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.03
|
15.30
|
16.66
|
||||
|
31.04
|
13.91
|
12.83
|
||||
|
7.05
|
13.41
|
13.61
|
||||
|
31.03
|
14.09
|
14.60
|
||||
|
9.09
|
21.53
|
20.88
|
||||
|
18.59
|
19.44
|
18.89
|
||||
|
3.75
|
18.27
|
18.22
|
||||
|
9.14
|
18.32
|
17.82
|
||||
|
31.03
|
21.12
|
21.21
|
||||
|
7.93
|
18.52
|
20.04
|
||||
|
10.91
|
16.94
|
18.30
|
||||
|
22.26
|
16.67
|
15.12
|
||||
|
9.61
|
16.03
|
17.08
|
||||
|
5.13
|
16.71
|
17.21
|
||||
|
31.02
|
15.94
|
14.99
|
||||
|
2.60
|
16.86
|
16.83
|
||||
|
12.33
|
18.05
|
18.68
|
||||
|
3.41
|
19.91
|
20.15
|
||||
|
31.02
|
19.06
|
19.13
|
||||
|
4.35
|
17.49
|
19.39
|
||||
|
31.03
|
15.39
|
16.00
|
||||
|
4.42
|
18.07
|
17.87
|
||||
|
2.86
|
18.27
|
17.44
|
||||
|
8.79
|
17.33
|
18.58
|
||||
|
3.79
|
18.09
|
18.55
|