% Prover SPASS-yarralumla-run
% Settings -TimeLimit 600 -splitting -bld -ubl problem.dfg
% Computer wks-21-25
t ?
m ?
i ? U KAPT4\-bitca094_o no   	 19K 3415
i ? U KA*PT4\-bitca094_o no   	 20K 3638
i ? U KA*P*T4\-bitca094_o no   	 21K 3882
i ? U KA*PT4*\-bitca094_o no   	 30K 5101
i ? U KAP*T4\-bitca094_o no   	 19K 3609
i ? U KAP*T4*\-bitca094_o no   	 28K 5003
i ? U KA*P*T4*\-bitca094_o no   	 30K 5183
i ? U KAPTc4\-bitca094_o no   	 17K 3944
i ? U KS*T4\-bitca094_o no   	 23K 3891
i ? U KS*T4*\-bitca094_o no   	 34K 5746
i ? U KS*Tc4\-bitca094_o no   	 21K 4398
i ? U KAcPcTc4c\-bitca094_o no   	 13K 19906
i ? U KScTc4c\-bitca094_o no   	13K 14537
