|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
14.96
|
31.02
|
31.02
|
||||
|
1.43
|
30.86
|
30.16
|
||||
|
1.56
|
30.82
|
31.02
|
||||
|
1.06
|
30.41
|
30.52
|
||||
|
5.51
|
30.15
|
30.52
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
31.03
|
31.02
|
||||
|
31.03
|
30.17
|
31.02
|
||||
|
3.90
|
31.02
|
31.02
|
||||
|
18.51
|
28.63
|
29.58
|
||||
|
31.02
|
20.81
|
20.76
|
||||
|
17.40
|
31.02
|
31.03
|
||||
|
31.03
|
31.03
|
31.02
|
||||
|
31.03
|
26.35
|
27.21
|
||||
|
9.46
|
30.53
|
25.99
|
||||
|
10.28
|
31.02
|
31.02
|
||||
|
31.03
|
17.10
|
16.83
|
||||
|
31.03
|
27.11
|
25.91
|
||||
|
31.02
|
21.42
|
22.01
|
||||
|
31.02
|
18.24
|
18.39
|
||||
|
31.03
|
13.03
|
11.99
|
||||
|
31.02
|
23.46
|
26.54
|
||||
|
31.02
|
18.05
|
18.78
|
||||
|
31.03
|
10.76
|
11.03
|