|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
30.91
|
30.66
|
||||
|
31.01
|
31.02
|
30.08
|
||||
|
31.01
|
30.18
|
31.02
|
||||
|
31.01
|
30.76
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
30.15
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
13.63
|
31.02
|
30.52
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
30.03
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
30.06
|
31.02
|
||||
|
31.01
|
30.37
|
30.21
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
31.01
|
30.42
|
||||
|
1.29
|
6.54
|
6.48
|
||||
|
0.98
|
8.08
|
7.37
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
31.01
|
||||
|
7.73
|
31.01
|
31.01
|
||||
|
31.03
|
20.69
|
19.12
|
||||
|
31.02
|
15.77
|
15.74
|