|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.63
|
30.90
|
30.28
|
||||
|
0.44
|
31.01
|
30.11
|
||||
|
0.52
|
31.01
|
31.02
|
||||
|
0.54
|
31.01
|
30.74
|
||||
|
0.47
|
31.01
|
30.98
|
||||
|
0.39
|
15.87
|
15.57
|
||||
|
0.74
|
30.37
|
29.54
|
||||
|
0.27
|
13.69
|
14.05
|
||||
|
0.16
|
4.97
|
4.99
|
||||
|
0.41
|
16.04
|
16.22
|
||||
|
0.39
|
14.87
|
16.38
|
||||
|
0.32
|
12.59
|
13.12
|
||||
|
0.31
|
12.43
|
12.63
|
||||
|
0.94
|
30.43
|
30.05
|
||||
|
0.86
|
30.27
|
30.27
|
||||
|
0.36
|
11.00
|
11.04
|
||||
|
0.75
|
31.01
|
31.02
|
||||
|
0.11
|
2.37
|
2.53
|
||||
|
0.61
|
31.01
|
30.42
|
||||
|
0.68
|
20.59
|
19.56
|
||||
|
0.58
|
27.13
|
24.42
|
||||
|
0.59
|
28.90
|
26.21
|
||||
|
0.40
|
30.14
|
31.01
|
||||
|
0.34
|
18.33
|
19.46
|
||||
|
0.56
|
31.01
|
30.67
|