|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.06
|
0.43
|
0.43
|
||||
|
0.06
|
2.02
|
2.19
|
||||
|
0.06
|
2.59
|
2.18
|
||||
|
0.06
|
0.69
|
0.70
|
||||
|
0.08
|
0.89
|
0.93
|
||||
|
0.20
|
31.01
|
30.42
|
||||
|
0.13
|
30.64
|
30.50
|
||||
|
0.06
|
0.93
|
0.92
|
||||
|
0.06
|
3.23
|
5.32
|
||||
|
0.10
|
2.03
|
16.66
|
||||
|
0.06
|
1.16
|
1.15
|
||||
|
0.06
|
1.63
|
1.54
|
||||
|
0.06
|
1.91
|
2.72
|
||||
|
0.06
|
1.92
|
1.55
|
||||
|
0.15
|
2.09
|
4.27
|
||||
|
0.12
|
31.01
|
31.01
|
||||
|
1.09
|
30.12
|
30.27
|
||||
|
0.23
|
30.88
|
30.29
|
||||
|
6.90
|
30.61
|
30.64
|
||||
|
7.60
|
30.41
|
30.11
|
||||
|
6.59
|
31.02
|
31.02
|
||||
|
8.99
|
31.01
|
30.37
|
||||
|
6.43
|
30.26
|
30.38
|
||||
|
6.36
|
31.02
|
30.19
|
||||
|
9.05
|
30.38
|
30.42
|