detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-078.cnf (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-078.cnf (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-077.cnf (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-077.cnf (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-076.cnf (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-076.cnf (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-075.cnf (content) unsat unsat 0.189s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-075.cnf (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-074.cnf (content) unsat unsat 0.097s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-074.cnf (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-073.cnf (content) unsat unsat 0.191s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-073.cnf (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-072.cnf (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-072.cnf (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-071.cnf (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-071.cnf (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-070.cnf (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-070.cnf (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-07.cnf (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-07.cnf (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-069.cnf (content) unsat unsat 0.146s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-069.cnf (content) unsat unsat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-068.cnf (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-068.cnf (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-067.cnf (content) unsat unsat 0.129s