|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.07
|
0.33
|
0.32
|
||||
|
0.07
|
2.41
|
2.37
|
||||
|
0.09
|
1.88
|
1.73
|
||||
|
1.99
|
30.43
|
30.93
|
||||
|
0.08
|
0.28
|
0.33
|
||||
|
0.10
|
2.56
|
2.34
|
||||
|
0.10
|
2.14
|
2.27
|
||||
|
2.07
|
30.11
|
31.02
|
||||
|
0.07
|
0.38
|
0.38
|
||||
|
0.11
|
3.54
|
3.88
|
||||
|
0.10
|
2.55
|
2.87
|
||||
|
2.52
|
31.01
|
30.60
|
||||
|
0.08
|
0.36
|
0.38
|
||||
|
0.13
|
3.58
|
3.82
|
||||
|
0.10
|
3.18
|
3.18
|
||||
|
3.11
|
30.98
|
30.11
|
||||
|
0.09
|
0.47
|
0.45
|
||||
|
0.13
|
5.31
|
5.44
|
||||
|
0.17
|
3.56
|
3.74
|
||||
|
3.45
|
31.01
|
30.46
|
||||
|
0.13
|
0.79
|
0.77
|
||||
|
0.14
|
8.75
|
8.53
|
||||
|
0.16
|
5.56
|
6.02
|
||||
|
3.00
|
30.03
|
30.86
|
||||
|
0.09
|
0.58
|
0.58
|