root
file
detailed [650..674]
prev
next
detailed results (1611 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0516.cnf
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0515.cnf
(content)
unsat
unsat
0.011s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0514.cnf
(content)
unsat
unsat
0.019s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0513.cnf
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0512.cnf
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0511.cnf
(content)
unsat
unsat
0.009s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0510.cnf
(content)
unsat
unsat
0.010s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-051.cnf
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0509.cnf
(content)
unsat
unsat
0.017s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0508.cnf
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0507.cnf
(content)
unsat
unsat
0.013s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0506.cnf
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0505.cnf
(content)
unsat
unsat
0.020s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0504.cnf
(content)
unsat
unsat
0.013s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0503.cnf
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0502.cnf
(content)
unsat
unsat
0.013s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0501.cnf
(content)
unsat
unsat
0.010s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0500.cnf
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-050.cnf
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-05.cnf
(content)
unsat
unsat
0.011s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0499.cnf
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0498.cnf
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0497.cnf
(content)
unsat
unsat
0.012s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0496.cnf
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick2/tests/uuf100/uuf100-0495.cnf
(content)
unsat
unsat
0.018s