root
file
detailed [1275..1299]
prev
next
detailed results (1473 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-060.cnf
(content)
unsat
unsat
0.110s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-06.cnf
(content)
unsat
unsat
0.101s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-059.cnf
(content)
unsat
unsat
0.102s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-058.cnf
(content)
unsat
unsat
0.123s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-057.cnf
(content)
unsat
unsat
0.212s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-056.cnf
(content)
unsat
unsat
0.076s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-055.cnf
(content)
unsat
unsat
0.449s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-054.cnf
(content)
unsat
unsat
0.154s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-053.cnf
(content)
unsat
unsat
0.124s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-052.cnf
(content)
unsat
unsat
0.107s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-051.cnf
(content)
unsat
unsat
0.129s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-050.cnf
(content)
unsat
unsat
0.199s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-05.cnf
(content)
unsat
unsat
0.137s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-049.cnf
(content)
unsat
unsat
0.107s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-048.cnf
(content)
unsat
unsat
0.109s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-047.cnf
(content)
unsat
unsat
0.160s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-046.cnf
(content)
unsat
unsat
0.123s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-045.cnf
(content)
unsat
unsat
0.177s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-044.cnf
(content)
unsat
unsat
0.125s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf
(content)
unsat
unsat
0.072s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf
(content)
unsat
unsat
0.121s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf
(content)
unsat
unsat
0.129s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf
(content)
unsat
unsat
0.258s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf
(content)
unsat
unsat
0.145s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf
(content)
unsat
unsat
0.105s