clasp version 1.2.1 Reading from stdin Reading : Done(0.170s) Preprocessing: Done(2.620s) Solving... Answer: 1 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 2 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 3 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 4 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 5 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 6 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 7 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 8 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) Answer: 9 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_balance(cpu,4) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,6) rasp_balance(rammodule,18) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),0) Answer: 10 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_balance(cpu,4) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,6) rasp_balance(rammodule,18) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),0) Answer: 11 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) Answer: 12 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) Answer: 13 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) Answer: 14 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) Answer: 15 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 16 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 17 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 18 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,5) rasp_balance(eidehd,3) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 19 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 20 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 21 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) Answer: 22 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_notfired(rasp_8) rasp_balance(cpu,5) rasp_balance(scsihd,5) rasp_balance(eidehd,9) rasp_balance(motherboard,7) rasp_balance(rammodule,20) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),0) Answer: 23 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) Answer: 24 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) Answer: 25 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) Answer: 26 rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) Models : 26 Time : 11.830 (Solving: 9.020)