|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
31.02
|
31.03
|
||||
|
0.56
|
31.01
|
30.54
|
||||
|
1.98
|
31.02
|
31.38
|
||||
|
1.20
|
31.02
|
31.23
|
||||
|
4.92
|
31.02
|
30.15
|
||||
|
31.02
|
30.44
|
31.02
|
||||
|
31.79
|
33.59
|
34.70
|
||||
|
3.56
|
30.30
|
30.58
|
||||
|
11.21
|
30.95
|
30.29
|
||||
|
31.77
|
25.77
|
25.23
|
||||
|
3.33
|
21.82
|
23.21
|
||||
|
13.24
|
30.81
|
31.44
|
||||
|
3.54
|
30.34
|
31.99
|
||||
|
0.50
|
31.02
|
31.02
|
||||
|
23.81
|
29.91
|
30.80
|
||||
|
31.02
|
24.87
|
23.79
|
||||
|
3.48
|
30.09
|
30.67
|
||||
|
4.01
|
28.60
|
29.96
|
||||
|
17.31
|
24.76
|
29.98
|
||||
|
11.21
|
27.74
|
25.90
|
||||
|
31.02
|
22.44
|
21.13
|
||||
|
12.33
|
21.47
|
21.19
|
||||
|
3.92
|
26.48
|
27.60
|
||||
|
15.72
|
21.40
|
19.04
|
||||
|
31.02
|
22.86
|
25.29
|