|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.04
|
0.64
|
0.63
|
||||
|
0.05
|
0.79
|
0.74
|
||||
|
0.11
|
5.73
|
5.76
|
||||
|
0.12
|
13.35
|
10.97
|
||||
|
0.07
|
3.59
|
3.81
|
||||
|
0.13
|
10.98
|
10.04
|
||||
|
0.09
|
2.76
|
3.02
|
||||
|
0.22
|
8.61
|
8.28
|
||||
|
0.12
|
10.69
|
11.42
|
||||
|
0.07
|
2.89
|
2.97
|
||||
|
0.12
|
5.99
|
6.74
|
||||
|
0.07
|
5.64
|
6.41
|
||||
|
0.08
|
4.84
|
4.91
|
||||
|
0.48
|
5.23
|
5.62
|
||||
|
0.33
|
6.11
|
5.95
|
||||
|
0.10
|
9.20
|
11.84
|
||||
|
0.09
|
7.10
|
7.28
|
||||
|
0.03
|
0.41
|
0.40
|
||||
|
0.19
|
5.77
|
5.75
|
||||
|
0.03
|
0.36
|
0.30
|
||||
|
0.09
|
6.35
|
6.43
|
||||
|
0.14
|
7.39
|
7.86
|
||||
|
0.12
|
9.68
|
8.74
|
||||
|
0.09
|
3.97
|
4.77
|
||||
|
0.08
|
3.98
|
4.72
|