Skip to content

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

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

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

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