|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.02
|
31.02
|
30.05
|
||||
|
31.03
|
31.10
|
30.06
|
||||
|
13.34
|
30.50
|
31.02
|
||||
|
4.35
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.01
|
30.37
|
30.83
|
||||
|
31.02
|
30.89
|
30.71
|
||||
|
31.01
|
31.02
|
31.01
|
||||
|
31.01
|
30.20
|
31.02
|
||||
|
31.01
|
30.65
|
31.02
|
||||
|
31.02
|
30.24
|
31.02
|
||||
|
31.02
|
31.02
|
31.03
|
||||
|
6.41
|
30.29
|
30.67
|
||||
|
8.13
|
27.17
|
26.54
|
||||
|
3.74
|
30.48
|
31.02
|
||||
|
21.96
|
25.51
|
23.96
|
||||
|
8.66
|
25.17
|
27.18
|
||||
|
6.99
|
31.02
|
31.02
|
||||
|
17.49
|
24.92
|
23.51
|
||||
|
24.84
|
16.29
|
17.24
|
||||
|
31.03
|
10.99
|
11.19
|
||||
|
19.47
|
25.18
|
27.62
|
||||
|
31.03
|
20.05
|
23.25
|
||||
|
31.04
|
19.57
|
19.34
|
||||
|
0.65
|
31.02
|
31.02
|