|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
28.77
|
19.00
|
19.20
|
||||
|
5.83
|
21.32
|
21.27
|
||||
|
31.03
|
19.75
|
21.65
|
||||
|
6.77
|
17.75
|
16.70
|
||||
|
31.07
|
20.61
|
21.53
|
||||
|
31.06
|
23.51
|
24.16
|
||||
|
10.60
|
25.84
|
25.74
|
||||
|
31.07
|
19.52
|
19.71
|
||||
|
23.80
|
18.48
|
20.01
|
||||
|
31.03
|
31.02
|
31.02
|
||||
|
31.04
|
31.02
|
31.02
|
||||
|
7.06
|
31.02
|
30.05
|
||||
|
31.04
|
31.02
|
31.02
|
||||
|
31.06
|
16.65
|
16.64
|
||||
|
31.04
|
31.02
|
31.02
|
||||
|
6.18
|
31.03
|
31.02
|
||||
|
31.05
|
23.92
|
22.27
|
||||
|
31.05
|
24.14
|
23.33
|
||||
|
25.06
|
13.59
|
12.77
|
||||
|
0.19
|
1.77
|
2.12
|
||||
|
0.22
|
16.19
|
15.84
|
||||
|
0.08
|
0.51
|
0.62
|
||||
|
0.74
|
12.60
|
13.86
|
||||
|
0.81
|
5.55
|
5.25
|
||||
|
17.56
|
31.02
|
30.77
|