detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-038.cnf (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-037.cnf (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-036.cnf (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-035.cnf (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-034.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-033.cnf (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-032.cnf (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-031.cnf (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-030.cnf (content) unsat unsat 0.197s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-03.cnf (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-029.cnf (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-028.cnf (content) unsat unsat 0.171s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-027.cnf (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-026.cnf (content) unsat unsat 0.094s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-025.cnf (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-024.cnf (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-023.cnf (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-022.cnf (content) unsat unsat 0.111s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.320s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.230s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.177s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.182s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.071s