|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.11
|
1.40
|
1.52
|
||||
|
0.18
|
7.95
|
8.46
|
||||
|
0.22
|
10.61
|
9.49
|
||||
|
0.23
|
2.66
|
2.76
|
||||
|
0.61
|
8.28
|
8.34
|
||||
|
0.64
|
10.09
|
10.62
|
||||
|
0.11
|
3.91
|
3.73
|
||||
|
0.15
|
2.12
|
2.11
|
||||
|
0.24
|
4.97
|
4.98
|
||||
|
0.09
|
2.63
|
2.45
|
||||
|
0.07
|
2.33
|
2.29
|
||||
|
0.15
|
2.62
|
2.38
|
||||
|
0.25
|
7.87
|
7.21
|
||||
|
0.20
|
3.77
|
3.39
|
||||
|
0.36
|
7.07
|
6.99
|
||||
|
0.27
|
9.48
|
9.23
|
||||
|
0.29
|
10.70
|
11.68
|
||||
|
0.12
|
0.78
|
0.83
|
||||
|
0.28
|
9.80
|
9.19
|
||||
|
0.06
|
0.97
|
0.97
|
||||
|
0.54
|
18.55
|
19.32
|
||||
|
1.18
|
30.74
|
31.02
|
||||
|
0.68
|
19.41
|
17.06
|
||||
|
0.52
|
12.78
|
12.65
|
||||
|
0.41
|
10.98
|
10.95
|