|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.03
|
19.07
|
18.24
|
||||
|
7.43
|
26.20
|
30.04
|
||||
|
31.03
|
24.29
|
25.26
|
||||
|
31.03
|
35.41
|
18.74
|
||||
|
4.66
|
31.02
|
31.02
|
||||
|
1.28
|
31.02
|
31.02
|
||||
|
3.83
|
31.02
|
31.02
|
||||
|
1.34
|
31.02
|
31.02
|
||||
|
3.75
|
31.02
|
30.92
|
||||
|
26.25
|
25.41
|
24.79
|
||||
|
10.40
|
24.70
|
24.66
|
||||
|
25.18
|
22.86
|
22.92
|
||||
|
19.52
|
27.31
|
32.17
|
||||
|
31.02
|
23.21
|
40.25
|
||||
|
4.16
|
22.88
|
26.39
|
||||
|
27.24
|
18.79
|
18.64
|
||||
|
31.04
|
20.31
|
20.67
|
||||
|
7.32
|
19.84
|
21.92
|
||||
|
15.60
|
27.57
|
29.06
|
||||
|
4.72
|
17.18
|
17.86
|
||||
|
0.50
|
31.02
|
31.02
|
||||
|
3.30
|
22.44
|
21.38
|
||||
|
16.47
|
28.45
|
29.11
|
||||
|
7.33
|
18.56
|
18.58
|
||||
|
0.54
|
31.03
|
31.03
|