|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
29.40
|
23.03
|
22.75
|
||||
|
31.02
|
17.02
|
15.95
|
||||
|
6.45
|
26.03
|
24.23
|
||||
|
12.77
|
22.61
|
24.97
|
||||
|
8.99
|
26.41
|
24.39
|
||||
|
31.03
|
19.32
|
21.10
|
||||
|
13.64
|
23.93
|
23.03
|
||||
|
31.04
|
20.27
|
20.34
|
||||
|
28.97
|
31.02
|
31.02
|
||||
|
31.03
|
17.62
|
18.24
|
||||
|
31.03
|
13.43
|
12.69
|
||||
|
14.15
|
23.54
|
23.66
|
||||
|
31.03
|
18.41
|
18.70
|
||||
|
2.69
|
30.32
|
31.02
|
||||
|
5.13
|
31.02
|
31.02
|
||||
|
11.10
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
31.01
|
31.02
|
||||
|
31.02
|
31.19
|
30.43
|
||||
|
31.02
|
31.02
|
30.73
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.02
|
21.73
|
21.17
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
7.47
|
25.62
|
25.28
|