|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
3.89
|
31.02
|
31.03
|
||||
|
0.86
|
31.02
|
30.17
|
||||
|
18.86
|
25.10
|
24.08
|
||||
|
31.02
|
24.70
|
24.24
|
||||
|
18.25
|
31.02
|
31.02
|
||||
|
31.02
|
31.03
|
31.03
|
||||
|
27.08
|
27.09
|
26.27
|
||||
|
31.02
|
25.27
|
22.29
|
||||
|
7.24
|
31.02
|
31.02
|
||||
|
18.37
|
21.07
|
21.87
|
||||
|
31.02
|
28.61
|
27.80
|
||||
|
25.65
|
31.02
|
31.02
|
||||
|
31.02
|
30.11
|
30.90
|
||||
|
31.02
|
30.09
|
29.76
|
||||
|
10.83
|
31.02
|
30.12
|
||||
|
5.49
|
30.76
|
31.02
|
||||
|
31.02
|
31.75
|
31.90
|
||||
|
14.72
|
22.65
|
21.70
|
||||
|
27.82
|
24.66
|
24.84
|
||||
|
12.73
|
25.31
|
26.13
|
||||
|
15.97
|
23.63
|
20.76
|
||||
|
31.03
|
21.98
|
21.16
|
||||
|
21.67
|
8.41
|
8.56
|
||||
|
31.02
|
30.78
|
31.85
|
||||
|
31.03
|
26.96
|
20.54
|