Skip to content

Fix bug in pdnf_clause if empty data is passed (issue #92) #89

Fix bug in pdnf_clause if empty data is passed (issue #92)

Fix bug in pdnf_clause if empty data is passed (issue #92) #89

Job Run time
53s
1m 7s
1m 1s
57s
52s
52s
58s
1m 10s
57s
1m 11s
1m 1s
52s
54s
56s
59s
1m 6s
1m 5s
52s
50s
1m 1s
1m 2s
1m 10s
52s
1m 1s
1m 12s
52s
1m 1s
1m 7s
1m 9s
1m 10s
58s
1m 13s
59s
58s
1m 0s
1m 16s
1m 12s
1m 14s
57s
57s
1m 18s
1m 9s
55s
1m 8s
55s
1m 4s
54s
1m 16s
55s
1m 8s
49s
1m 4s
1m 16s
53s
58s
54s
51s
57s
55s
1m 4s
50s
51s
54s
52s
53s
1m 7s
1m 1s
1m 5s
47s
1m 6s
1m 5s
1m 8s
1m 4s
1m 8s
1m 13s
52s
1m 7s
1m 7s
56s
1m 6s
1m 6s
59s
54s
1m 9s
1m 7s
51s
1m 4s
57s
1m 22s
1m 14s
1m 14s
1m 5s
53s
1m 18s
56s
57s
59s
55s
53s
56s
52s
53s
52s
1m 14s
1m 11s
51s
59s
56s
53s
53s
1m 9s
50s
55s
1m 10s
56s
52s
1m 5s
1m 0s
1m 2s
58s
53s
1m 9s
1m 10s
1m 7s
58s
51s
56s
58s
56s
1m 17s
1m 2s
1m 1s
1m 12s
1m 9s
58s
54s
1m 11s
1m 31s
1m 0s
1m 4s
1m 15s
1m 12s
1m 43s
1m 18s
44s
1m 1s
45s
55s
43s
56s
1m 3s
54s
43s
47s
52s
45s
48s
48s
46s
46s
52s
58s
1m 0s
59s
53s
1m 3s
45s
58s
57s
45s
53s
56s
1m 0s
48s
54s
57s
47s
43s
2h 57m 58s