|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
18.96
|
22.82
|
24.44
|
||||
|
31.02
|
18.31
|
18.06
|
||||
|
5.25
|
23.65
|
24.84
|
||||
|
31.02
|
19.53
|
19.83
|
||||
|
1.83
|
31.02
|
31.02
|
||||
|
6.01
|
21.80
|
20.16
|
||||
|
22.47
|
14.91
|
15.32
|
||||
|
8.77
|
31.02
|
31.02
|
||||
|
31.02
|
23.49
|
25.36
|
||||
|
2.36
|
31.02
|
30.03
|
||||
|
31.03
|
22.47
|
21.88
|
||||
|
4.92
|
31.02
|
31.02
|
||||
|
8.47
|
16.16
|
16.37
|
||||
|
31.04
|
17.62
|
17.85
|
||||
|
2.10
|
31.02
|
31.02
|
||||
|
7.37
|
27.81
|
27.86
|
||||
|
19.60
|
19.63
|
19.92
|
||||
|
28.05
|
27.98
|
28.14
|
||||
|
31.02
|
17.86
|
18.42
|
||||
|
7.81
|
17.64
|
17.18
|
||||
|
25.44
|
20.99
|
20.66
|
||||
|
31.02
|
17.25
|
17.00
|
||||
|
9.47
|
22.98
|
24.09
|
||||
|
19.70
|
17.94
|
18.14
|
||||
|
27.35
|
25.11
|
23.90
|