|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
30.14
|
30.03
|
||||
|
31.01
|
30.31
|
30.06
|
||||
|
1.83
|
30.34
|
30.10
|
||||
|
0.07
|
0.03
|
0.03
|
||||
|
31.02
|
31.02
|
30.71
|
||||
|
1.53
|
30.37
|
30.99
|
||||
|
31.02
|
30.32
|
30.78
|
||||
|
31.02
|
30.66
|
30.34
|
||||
|
31.02
|
30.14
|
30.24
|
||||
|
2.19
|
31.01
|
31.01
|
||||
|
31.01
|
30.76
|
30.30
|
||||
|
6.14
|
30.32
|
31.02
|
||||
|
1.41
|
31.02
|
31.02
|
||||
|
2.31
|
31.01
|
31.01
|
||||
|
12.85
|
30.10
|
30.29
|
||||
|
31.01
|
30.10
|
30.03
|
||||
|
31.01
|
31.02
|
30.65
|
||||
|
31.01
|
30.42
|
30.18
|
||||
|
31.01
|
30.42
|
31.01
|
||||
|
29.93
|
30.25
|
30.21
|
||||
|
2.92
|
30.59
|
30.64
|
||||
|
31.01
|
30.76
|
30.78
|
||||
|
31.02
|
30.18
|
31.01
|
||||
|
31.01
|
30.62
|
30.36
|
||||
|
5.08
|
31.02
|
31.01
|