CBMC in jackin lantern

52 secs

15 mins 13 secs

48 secs

2 mins 49 secs

7 mins 5 secs

5 mins 19 secs

22 mins 47 secs

23 secs

1 min 26 secs

40 secs

29 secs

3 mins 6 secs

1 min 14 secs

12 mins

10 mins 48 secs

1 min 7 secs

1 min 17 secs

5 mins

12 mins

1 min 18 secs

4 mins 57 secs

10 mins 45 secs

24 mins 49 secs

5 mins 55 secs

7 mins 48 secs

6 mins 13 secs

1 min 11 secs

44 secs

7 mins 32 secs

12 secs

49 secs

30 secs

11 secs

44 secs

31 secs

5 mins 34 secs

16 secs

11 mins 8 secs

37 secs

11 mins 8 secs