|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
31.02
|
30.35
|
||||
|
8.58
|
31.02
|
31.02
|
||||
|
31.01
|
30.68
|
32.19
|
||||
|
1.72
|
31.02
|
30.38
|
||||
|
12.91
|
21.56
|
24.16
|
||||
|
32.11
|
21.49
|
22.83
|
||||
|
19.53
|
19.01
|
20.50
|
||||
|
42.16
|
29.10
|
30.31
|
||||
|
21.02
|
33.19
|
33.93
|
||||
|
32.19
|
24.36
|
26.10
|
||||
|
31.04
|
14.04
|
13.79
|
||||
|
15.72
|
16.44
|
16.53
|
||||
|
31.03
|
12.54
|
12.66
|
||||
|
19.78
|
29.23
|
30.43
|
||||
|
16.94
|
31.13
|
19.79
|
||||
|
31.02
|
16.13
|
13.84
|
||||
|
23.64
|
28.64
|
30.05
|
||||
|
31.03
|
16.63
|
13.75
|
||||
|
60.31
|
37.73
|
39.04
|
||||
|
0.62
|
31.02
|
31.02
|
||||
|
1.44
|
30.87
|
30.39
|
||||
|
3.16
|
31.02
|
31.02
|
||||
|
5.67
|
21.06
|
21.63
|
||||
|
20.03
|
31.01
|
31.02
|
||||
|
4.94
|
31.11
|
32.07
|