root
file
detailed [1075..1099]
prev
next
detailed results (1611 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-09.cnf
(content)
unsat
unsat
0.045s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0899.cnf
(content)
unsat
unsat
0.029s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0898.cnf
(content)
unsat
unsat
0.041s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0897.cnf
(content)
unsat
unsat
0.036s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0896.cnf
(content)
unsat
unsat
0.029s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0895.cnf
(content)
unsat
unsat
0.025s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0894.cnf
(content)
unsat
unsat
0.024s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0893.cnf
(content)
unsat
unsat
0.040s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0892.cnf
(content)
unsat
unsat
0.025s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0891.cnf
(content)
unsat
unsat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0890.cnf
(content)
unsat
unsat
0.026s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-089.cnf
(content)
unsat
unsat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0889.cnf
(content)
unsat
unsat
0.028s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0888.cnf
(content)
unsat
unsat
0.029s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0887.cnf
(content)
unsat
unsat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0886.cnf
(content)
unsat
unsat
0.024s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0885.cnf
(content)
unsat
unsat
0.027s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0884.cnf
(content)
unsat
unsat
0.056s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0883.cnf
(content)
unsat
unsat
0.024s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0882.cnf
(content)
unsat
unsat
0.041s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0881.cnf
(content)
unsat
unsat
0.027s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0880.cnf
(content)
unsat
unsat
0.025s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-088.cnf
(content)
unsat
unsat
0.029s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0879.cnf
(content)
unsat
unsat
0.031s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf100/uuf100-0878.cnf
(content)
unsat
unsat
0.035s