|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.24
|
8.01
|
8.19
|
||||
|
7.26
|
31.02
|
30.87
|
||||
|
0.32
|
13.65
|
12.94
|
||||
|
11.23
|
30.31
|
30.46
|
||||
|
0.80
|
8.95
|
20.81
|
||||
|
12.94
|
30.75
|
30.87
|
||||
|
0.43
|
7.36
|
12.72
|
||||
|
15.68
|
30.65
|
30.72
|
||||
|
0.40
|
14.01
|
18.18
|
||||
|
16.87
|
31.01
|
30.28
|
||||
|
0.54
|
23.57
|
23.17
|
||||
|
20.48
|
30.14
|
30.95
|
||||
|
0.80
|
26.47
|
25.66
|
||||
|
23.92
|
30.52
|
30.36
|
||||
|
0.30
|
30.27
|
23.48
|
||||
|
30.15
|
31.02
|
31.02
|
||||
|
0.46
|
24.08
|
20.94
|
||||
|
31.01
|
30.47
|
30.18
|
||||
|
0.46
|
30.47
|
28.88
|
||||
|
31.01
|
30.46
|
30.22
|
||||
|
1.05
|
31.02
|
30.35
|
||||
|
31.01
|
30.16
|
31.01
|
||||
|
0.39
|
31.02
|
31.02
|
||||
|
31.01
|
30.73
|
30.23
|
||||
|
0.78
|
30.96
|
30.39
|