Resolution
Chosen clause
size
length
height
Max time of proof
Max size of clauses
notrace
trace
Support Clauses
-p(a,d,d)
Usable Clauses
Proof
Unable to prove the empty clause Proof duration (in seconds): 2.86102294922e-06
examples
|
syntax
|
info
|
home
|
download
Last Modified : 18-Dec-2019