Experimental Results Set Discovery Problem ICTAI 2025

Files in csv format reporting the results of SDP (qualitative and hybrid) on B machines (just_sdp/), and some others reporting the times to validation for atelierB forces 0 and 1, cvc5 and z3 after pptransSMT, iProver and Vampire after pptransTPTP, and SDP (unsat_csvs/).