|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.02
|
16.17
|
16.13
|
||||
|
22.93
|
21.21
|
20.33
|
||||
|
31.02
|
15.76
|
15.71
|
||||
|
31.02
|
16.82
|
17.68
|
||||
|
18.16
|
20.87
|
22.34
|
||||
|
21.92
|
20.85
|
21.51
|
||||
|
31.02
|
15.02
|
14.97
|
||||
|
31.02
|
21.92
|
21.37
|
||||
|
31.03
|
22.84
|
22.47
|
||||
|
31.03
|
15.12
|
15.08
|
||||
|
31.02
|
11.10
|
13.15
|
||||
|
31.02
|
19.56
|
16.27
|
||||
|
31.03
|
13.87
|
14.33
|
||||
|
31.03
|
16.36
|
16.95
|
||||
|
31.03
|
5.72
|
5.63
|
||||
|
1.05
|
31.02
|
30.21
|
||||
|
14.70
|
31.03
|
31.02
|
||||
|
3.83
|
31.02
|
31.02
|
||||
|
14.82
|
31.02
|
30.43
|
||||
|
31.02
|
26.77
|
27.26
|
||||
|
5.15
|
30.14
|
30.24
|
||||
|
31.01
|
11.50
|
11.47
|
||||
|
31.01
|
11.84
|
10.96
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.02
|
30.40
|
31.01
|