|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.02
|
16.40
|
17.15
|
||||
|
6.57
|
26.40
|
31.57
|
||||
|
37.89
|
29.80
|
33.24
|
||||
|
31.03
|
18.91
|
17.20
|
||||
|
4.55
|
31.02
|
31.02
|
||||
|
1.23
|
31.02
|
31.02
|
||||
|
3.00
|
30.74
|
30.93
|
||||
|
1.38
|
31.03
|
31.02
|
||||
|
4.00
|
31.02
|
31.03
|
||||
|
23.34
|
25.97
|
26.84
|
||||
|
10.42
|
26.14
|
27.73
|
||||
|
25.34
|
24.14
|
25.49
|
||||
|
19.58
|
28.64
|
28.54
|
||||
|
31.02
|
19.82
|
19.51
|
||||
|
3.97
|
25.18
|
27.51
|
||||
|
26.15
|
21.08
|
23.05
|
||||
|
31.02
|
21.23
|
21.00
|
||||
|
6.68
|
19.30
|
23.51
|
||||
|
16.42
|
24.59
|
27.64
|
||||
|
4.37
|
16.46
|
17.82
|
||||
|
0.52
|
30.75
|
31.02
|
||||
|
3.23
|
21.71
|
20.87
|
||||
|
17.44
|
22.29
|
21.88
|
||||
|
7.36
|
17.28
|
16.84
|
||||
|
0.55
|
31.11
|
32.53
|