|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
4.54
|
19.01
|
18.21
|
||||
|
18.98
|
30.36
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
15.71
|
3.64
|
3.24
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
13.25
|
20.45
|
20.75
|
||||
|
31.02
|
23.54
|
25.27
|
||||
|
12.47
|
23.02
|
21.76
|
||||
|
6.74
|
18.64
|
17.33
|
||||
|
31.03
|
13.98
|
13.32
|
||||
|
21.05
|
19.96
|
20.73
|
||||
|
31.03
|
17.33
|
16.86
|
||||
|
31.04
|
15.53
|
16.95
|
||||
|
11.08
|
24.19
|
21.77
|
||||
|
31.03
|
24.15
|
25.11
|
||||
|
16.11
|
21.69
|
22.32
|
||||
|
8.39
|
20.04
|
19.19
|
||||
|
31.02
|
19.34
|
20.58
|
||||
|
26.63
|
19.11
|
20.25
|
||||
|
31.03
|
16.97
|
17.09
|
||||
|
31.03
|
13.35
|
14.42
|
||||
|
2.29
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
30.51
|
||||
|
31.02
|
23.09
|
22.61
|
||||
|
23.94
|
21.03
|
21.14
|