|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.18
|
2.41
|
2.44
|
||||
|
0.05
|
0.62
|
0.63
|
||||
|
0.06
|
0.47
|
0.47
|
||||
|
0.06
|
0.33
|
0.30
|
||||
|
0.06
|
0.57
|
0.56
|
||||
|
0.64
|
22.05
|
17.74
|
||||
|
0.62
|
26.94
|
22.70
|
||||
|
0.58
|
19.67
|
22.85
|
||||
|
0.61
|
24.66
|
24.28
|
||||
|
0.60
|
22.67
|
22.97
|
||||
|
0.09
|
2.07
|
1.90
|
||||
|
0.66
|
13.49
|
13.02
|
||||
|
0.93
|
21.42
|
23.31
|
||||
|
0.74
|
13.47
|
13.06
|
||||
|
0.69
|
11.53
|
12.13
|
||||
|
0.60
|
20.07
|
15.04
|
||||
|
0.95
|
29.76
|
31.02
|
||||
|
0.39
|
17.47
|
17.21
|
||||
|
0.45
|
8.98
|
10.20
|
||||
|
0.87
|
24.16
|
31.01
|
||||
|
0.74
|
27.42
|
24.02
|
||||
|
0.36
|
13.13
|
14.85
|
||||
|
0.34
|
9.42
|
11.13
|
||||
|
0.33
|
20.43
|
20.10
|
||||
|
0.11
|
2.24
|
2.61
|