|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
30.54
|
31.02
|
||||
|
31.01
|
30.27
|
30.92
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
30.26
|
31.01
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
30.35
|
||||
|
31.01
|
31.01
|
31.01
|
||||
|
12.27
|
30.25
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
30.03
|
||||
|
31.01
|
30.29
|
30.53
|
||||
|
31.01
|
30.82
|
31.01
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
31.01
|
||||
|
1.25
|
6.92
|
6.22
|
||||
|
0.99
|
7.38
|
7.28
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.02
|
31.01
|
31.02
|
||||
|
31.01
|
31.01
|
31.01
|
||||
|
8.78
|
30.79
|
31.01
|
||||
|
31.02
|
17.05
|
17.26
|
||||
|
31.01
|
15.78
|
15.91
|