|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.62
|
20.76
|
23.47
|
||||
|
0.78
|
30.22
|
30.27
|
||||
|
0.48
|
21.69
|
20.81
|
||||
|
0.44
|
23.68
|
24.75
|
||||
|
0.44
|
31.01
|
31.01
|
||||
|
0.53
|
16.29
|
15.23
|
||||
|
0.47
|
29.51
|
26.10
|
||||
|
0.32
|
11.08
|
11.01
|
||||
|
0.52
|
31.02
|
23.54
|
||||
|
0.44
|
24.17
|
18.20
|
||||
|
0.10
|
3.29
|
3.20
|
||||
|
1.77
|
31.01
|
31.01
|
||||
|
1.37
|
31.01
|
31.01
|
||||
|
1.67
|
31.01
|
30.20
|
||||
|
0.99
|
31.01
|
30.86
|
||||
|
0.77
|
31.03
|
29.34
|
||||
|
0.86
|
30.52
|
30.18
|
||||
|
1.26
|
31.01
|
31.02
|
||||
|
0.73
|
13.88
|
15.09
|
||||
|
0.61
|
19.16
|
20.08
|
||||
|
1.48
|
30.37
|
30.46
|
||||
|
0.82
|
30.22
|
30.67
|
||||
|
0.68
|
30.86
|
31.01
|
||||
|
0.56
|
31.01
|
28.91
|
||||
|
0.27
|
15.71
|
12.01
|