detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0613.cnf (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0612.cnf (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0611.cnf (content) unsat unsat 0.015s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0610.cnf (content) unsat unsat 0.014s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-061.cnf (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0609.cnf (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0608.cnf (content) unsat unsat 0.011s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0607.cnf (content) unsat unsat 0.014s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0606.cnf (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0605.cnf (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0604.cnf (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0603.cnf (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0602.cnf (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0601.cnf (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0600.cnf (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-060.cnf (content) unsat unsat 0.014s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-06.cnf (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0599.cnf (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0598.cnf (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0597.cnf (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0596.cnf (content) unsat unsat 0.011s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0595.cnf (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0594.cnf (content) unsat unsat 0.014s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0593.cnf (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0592.cnf (content) unsat unsat 0.016s