|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
1.40
|
3.57
|
4.04
|
||||
|
1.25
|
2.07
|
2.24
|
||||
|
1.26
|
2.81
|
2.63
|
||||
|
1.26
|
2.67
|
2.70
|
||||
|
1.31
|
6.99
|
6.77
|
||||
|
1.24
|
19.57
|
19.63
|
||||
|
1.49
|
31.02
|
30.90
|
||||
|
1.37
|
4.70
|
4.40
|
||||
|
1.56
|
30.80
|
30.51
|
||||
|
1.36
|
5.50
|
5.82
|
||||
|
1.34
|
17.66
|
16.75
|
||||
|
1.24
|
28.57
|
29.40
|
||||
|
1.25
|
23.04
|
25.14
|
||||
|
1.25
|
30.27
|
30.31
|
||||
|
1.28
|
4.49
|
4.56
|
||||
|
1.29
|
23.20
|
23.72
|
||||
|
1.26
|
2.34
|
2.36
|
||||
|
1.41
|
4.21
|
4.01
|
||||
|
1.85
|
30.76
|
31.01
|
||||
|
2.23
|
11.99
|
11.84
|
||||
|
1.30
|
2.39
|
2.36
|
||||
|
1.30
|
3.69
|
3.71
|
||||
|
1.28
|
4.01
|
3.57
|
||||
|
1.37
|
5.59
|
2.83
|
||||
|
1.33
|
3.84
|
6.18
|