|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
9.06
|
31.02
|
31.02
|
||||
|
31.01
|
30.06
|
32.12
|
||||
|
31.02
|
31.02
|
30.75
|
||||
|
21.60
|
30.33
|
29.89
|
||||
|
32.16
|
22.28
|
25.05
|
||||
|
27.14
|
19.95
|
21.44
|
||||
|
7.24
|
25.24
|
24.90
|
||||
|
31.03
|
23.09
|
22.91
|
||||
|
6.24
|
18.82
|
19.06
|
||||
|
13.67
|
24.54
|
24.85
|
||||
|
9.53
|
20.38
|
18.10
|
||||
|
4.22
|
30.54
|
31.02
|
||||
|
31.01
|
30.88
|
31.02
|
||||
|
2.40
|
31.02
|
30.39
|
||||
|
0.82
|
31.02
|
30.81
|
||||
|
10.89
|
23.27
|
22.31
|
||||
|
3.13
|
21.50
|
21.06
|
||||
|
9.97
|
32.48
|
33.48
|
||||
|
12.26
|
29.40
|
28.49
|
||||
|
1.41
|
31.02
|
31.02
|
||||
|
3.03
|
30.47
|
30.41
|
||||
|
11.44
|
23.36
|
23.78
|
||||
|
9.28
|
23.74
|
28.08
|
||||
|
11.91
|
31.03
|
30.02
|
||||
|
29.38
|
31.02
|
31.02
|