|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.02
|
25.65
|
20.58
|
||||
|
1.33
|
30.25
|
31.02
|
||||
|
9.16
|
18.86
|
22.38
|
||||
|
1.73
|
20.61
|
20.25
|
||||
|
9.74
|
16.27
|
15.57
|
||||
|
0.63
|
30.24
|
30.65
|
||||
|
0.92
|
31.02
|
31.02
|
||||
|
8.00
|
19.22
|
19.89
|
||||
|
1.25
|
30.07
|
30.38
|
||||
|
12.45
|
18.31
|
19.03
|
||||
|
0.66
|
30.71
|
30.29
|
||||
|
0.95
|
30.22
|
30.23
|
||||
|
16.15
|
25.36
|
23.95
|
||||
|
5.33
|
18.21
|
20.01
|
||||
|
3.92
|
13.16
|
13.21
|
||||
|
11.56
|
20.45
|
23.36
|
||||
|
1.31
|
18.23
|
18.13
|
||||
|
12.68
|
17.10
|
18.42
|
||||
|
10.81
|
19.61
|
19.62
|
||||
|
3.31
|
18.55
|
18.47
|
||||
|
1.98
|
18.99
|
19.01
|
||||
|
0.76
|
31.08
|
31.02
|
||||
|
0.54
|
31.02
|
31.02
|
||||
|
1.01
|
30.24
|
31.02
|
||||
|
15.75
|
19.82
|
20.57
|