|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
2.12
|
0.22
|
0.26
|
||||
|
1.63
|
0.23
|
0.23
|
||||
|
1.99
|
0.29
|
0.30
|
||||
|
1.52
|
1.57
|
1.64
|
||||
|
1.67
|
2.45
|
2.90
|
||||
|
1.31
|
2.49
|
3.18
|
||||
|
1.78
|
1.83
|
1.84
|
||||
|
5.34
|
13.57
|
12.50
|
||||
|
3.45
|
11.11
|
10.29
|
||||
|
5.27
|
22.39
|
22.64
|
||||
|
3.24
|
10.61
|
11.60
|
||||
|
2.85
|
16.52
|
16.09
|
||||
|
3.72
|
5.57
|
5.46
|
||||
|
6.64
|
22.40
|
25.80
|
||||
|
31.03
|
22.76
|
22.54
|
||||
|
31.04
|
7.43
|
7.42
|
||||
|
31.05
|
8.21
|
7.88
|
||||
|
31.04
|
7.82
|
6.88
|
||||
|
31.03
|
6.72
|
7.82
|
||||
|
31.04
|
7.74
|
7.90
|
||||
|
1.99
|
0.46
|
0.49
|
||||
|
1.49
|
0.15
|
0.15
|
||||
|
1.50
|
0.30
|
0.28
|
||||
|
2.35
|
31.04
|
31.03
|
||||
|
1.88
|
31.02
|
31.02
|