root
file
detailed [25..49]
prev
next
detailed results (75 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-063.cnf
(content)
unknown
unknown
10.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-062.cnf
(content)
unknown
unknown
10.1s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-061.cnf
(content)
unknown
unknown
10.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-058.cnf
(content)
unknown
unknown
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-057.cnf
(content)
unknown
unknown
11s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-053.cnf
(content)
unknown
unknown
10.2s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-052.cnf
(content)
unknown
unknown
10.5s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-051.cnf
(content)
unknown
unknown
12.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-050.cnf
(content)
unknown
unknown
10.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-05.cnf
(content)
unknown
unknown
12.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-049.cnf
(content)
unknown
unknown
11s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-047.cnf
(content)
unknown
unknown
11.1s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-046.cnf
(content)
unknown
unknown
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-044.cnf
(content)
unknown
unknown
12.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-043.cnf
(content)
unknown
unknown
10.5s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-042.cnf
(content)
unknown
unknown
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-041.cnf
(content)
unknown
unknown
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-04.cnf
(content)
unknown
unknown
10.8s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-039.cnf
(content)
unknown
unknown
10.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-035.cnf
(content)
unknown
unknown
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-034.cnf
(content)
unknown
unknown
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-033.cnf
(content)
unknown
unknown
10.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-032.cnf
(content)
unknown
unknown
10.5s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-031.cnf
(content)
unknown
unknown
10.5s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-030.cnf
(content)
unknown
unknown
10.1s