|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
1.48
|
3.85
|
3.86
|
||||
|
1.31
|
2.17
|
2.17
|
||||
|
1.28
|
2.77
|
2.70
|
||||
|
1.41
|
2.84
|
2.80
|
||||
|
1.36
|
7.24
|
7.51
|
||||
|
1.25
|
20.69
|
21.35
|
||||
|
1.46
|
30.69
|
30.92
|
||||
|
1.41
|
4.58
|
4.70
|
||||
|
1.58
|
30.70
|
30.34
|
||||
|
1.36
|
5.90
|
5.97
|
||||
|
1.28
|
17.90
|
17.96
|
||||
|
1.28
|
30.17
|
30.42
|
||||
|
1.28
|
25.78
|
25.70
|
||||
|
1.28
|
30.56
|
31.01
|
||||
|
1.30
|
4.84
|
4.87
|
||||
|
1.34
|
25.30
|
25.12
|
||||
|
1.36
|
2.39
|
2.59
|
||||
|
1.41
|
4.30
|
4.24
|
||||
|
1.87
|
30.37
|
30.19
|
||||
|
2.20
|
12.36
|
12.33
|
||||
|
1.34
|
2.50
|
2.50
|
||||
|
1.33
|
3.89
|
3.87
|
||||
|
1.36
|
3.77
|
3.68
|
||||
|
1.38
|
5.90
|
3.02
|
||||
|
1.31
|
4.01
|
6.69
|